Manipulating Taylor Series for $e^{2x}$ using $e^x$
$begingroup$
I’m a calculus student learning infinite series and sequences for the first time, and I have a question about manipulating the Taylor series for $e^x$ to arrive at one for $e^{2x}$.
My first thought was to say that
$$g(x) = e^x = sum_{n=0}^infty frac{x^n}{n!}$$
And $f(x) = x^2$, so
$$
e^{2x}
= g(f(x))
= left(sum_{n=0}^infty frac{x^n}{n!}right)^2
= sum_{n=0}^infty frac{x^{2n}}{(n!)^2}
$$
However, this isn’t what my textbook got. It said that I can just set $f(x) = e^x$ and $g(x) = 2x$, meaning that $$f(g(x)) = e^{2x} = sum_{n=0}^infty frac{(2x)^n}{n!}$$
I understand this and think it’s a little simpler than what I originally tried out.
So both of these methods make sense to me, but I got different answers for each of them. What am I doing wrong in the first one?
sequences-and-series taylor-expansion
$endgroup$
add a comment |
$begingroup$
I’m a calculus student learning infinite series and sequences for the first time, and I have a question about manipulating the Taylor series for $e^x$ to arrive at one for $e^{2x}$.
My first thought was to say that
$$g(x) = e^x = sum_{n=0}^infty frac{x^n}{n!}$$
And $f(x) = x^2$, so
$$
e^{2x}
= g(f(x))
= left(sum_{n=0}^infty frac{x^n}{n!}right)^2
= sum_{n=0}^infty frac{x^{2n}}{(n!)^2}
$$
However, this isn’t what my textbook got. It said that I can just set $f(x) = e^x$ and $g(x) = 2x$, meaning that $$f(g(x)) = e^{2x} = sum_{n=0}^infty frac{(2x)^n}{n!}$$
I understand this and think it’s a little simpler than what I originally tried out.
So both of these methods make sense to me, but I got different answers for each of them. What am I doing wrong in the first one?
sequences-and-series taylor-expansion
$endgroup$
$begingroup$
It is true that when you expand the product $(e^x)^2 = (1+x+x^2/2!+x^3/3! + ldots)^2$ then you will arrive at the power-series of $e^{2x}$. You probably didn't compute it correctly. Note how much easier the second method is compare to this one (you need to compute the product of two infinite series). To compute the product of two power-series $sum_{ngeq 0} a_n x^n cdot sum_{ngeq 0} b_n x^n = sum_{ngeq 0} c_n x^n$ see Cauchy product
$endgroup$
– Winther
Jan 15 at 20:11
$begingroup$
Thank you, that makes a lot of sense!!
$endgroup$
– elbecker
Jan 15 at 20:19
$begingroup$
@ElizabethBecker i updated my answer to write out the correct multiplication logic
$endgroup$
– gt6989b
Jan 15 at 20:26
1
$begingroup$
Freshman's dream $(a+b)^2 ne a^2 + b^2.$ You need those cross terms. ($sum_limits{n=0}^infty a_n x^n)(sum_limits{n=0}^infty b_n x^n) = sum_limits{n=0}^infty sum_limits{k=0}^n a_{n-k}b_k x^n$
$endgroup$
– Doug M
Jan 15 at 20:30
add a comment |
$begingroup$
I’m a calculus student learning infinite series and sequences for the first time, and I have a question about manipulating the Taylor series for $e^x$ to arrive at one for $e^{2x}$.
My first thought was to say that
$$g(x) = e^x = sum_{n=0}^infty frac{x^n}{n!}$$
And $f(x) = x^2$, so
$$
e^{2x}
= g(f(x))
= left(sum_{n=0}^infty frac{x^n}{n!}right)^2
= sum_{n=0}^infty frac{x^{2n}}{(n!)^2}
$$
However, this isn’t what my textbook got. It said that I can just set $f(x) = e^x$ and $g(x) = 2x$, meaning that $$f(g(x)) = e^{2x} = sum_{n=0}^infty frac{(2x)^n}{n!}$$
I understand this and think it’s a little simpler than what I originally tried out.
So both of these methods make sense to me, but I got different answers for each of them. What am I doing wrong in the first one?
sequences-and-series taylor-expansion
$endgroup$
I’m a calculus student learning infinite series and sequences for the first time, and I have a question about manipulating the Taylor series for $e^x$ to arrive at one for $e^{2x}$.
My first thought was to say that
$$g(x) = e^x = sum_{n=0}^infty frac{x^n}{n!}$$
And $f(x) = x^2$, so
$$
e^{2x}
= g(f(x))
= left(sum_{n=0}^infty frac{x^n}{n!}right)^2
= sum_{n=0}^infty frac{x^{2n}}{(n!)^2}
$$
However, this isn’t what my textbook got. It said that I can just set $f(x) = e^x$ and $g(x) = 2x$, meaning that $$f(g(x)) = e^{2x} = sum_{n=0}^infty frac{(2x)^n}{n!}$$
I understand this and think it’s a little simpler than what I originally tried out.
So both of these methods make sense to me, but I got different answers for each of them. What am I doing wrong in the first one?
sequences-and-series taylor-expansion
sequences-and-series taylor-expansion
edited Jan 15 at 20:20
gt6989b
35.2k22557
35.2k22557
asked Jan 15 at 20:06
elbeckerelbecker
33
33
$begingroup$
It is true that when you expand the product $(e^x)^2 = (1+x+x^2/2!+x^3/3! + ldots)^2$ then you will arrive at the power-series of $e^{2x}$. You probably didn't compute it correctly. Note how much easier the second method is compare to this one (you need to compute the product of two infinite series). To compute the product of two power-series $sum_{ngeq 0} a_n x^n cdot sum_{ngeq 0} b_n x^n = sum_{ngeq 0} c_n x^n$ see Cauchy product
$endgroup$
– Winther
Jan 15 at 20:11
$begingroup$
Thank you, that makes a lot of sense!!
$endgroup$
– elbecker
Jan 15 at 20:19
$begingroup$
@ElizabethBecker i updated my answer to write out the correct multiplication logic
$endgroup$
– gt6989b
Jan 15 at 20:26
1
$begingroup$
Freshman's dream $(a+b)^2 ne a^2 + b^2.$ You need those cross terms. ($sum_limits{n=0}^infty a_n x^n)(sum_limits{n=0}^infty b_n x^n) = sum_limits{n=0}^infty sum_limits{k=0}^n a_{n-k}b_k x^n$
$endgroup$
– Doug M
Jan 15 at 20:30
add a comment |
$begingroup$
It is true that when you expand the product $(e^x)^2 = (1+x+x^2/2!+x^3/3! + ldots)^2$ then you will arrive at the power-series of $e^{2x}$. You probably didn't compute it correctly. Note how much easier the second method is compare to this one (you need to compute the product of two infinite series). To compute the product of two power-series $sum_{ngeq 0} a_n x^n cdot sum_{ngeq 0} b_n x^n = sum_{ngeq 0} c_n x^n$ see Cauchy product
$endgroup$
– Winther
Jan 15 at 20:11
$begingroup$
Thank you, that makes a lot of sense!!
$endgroup$
– elbecker
Jan 15 at 20:19
$begingroup$
@ElizabethBecker i updated my answer to write out the correct multiplication logic
$endgroup$
– gt6989b
Jan 15 at 20:26
1
$begingroup$
Freshman's dream $(a+b)^2 ne a^2 + b^2.$ You need those cross terms. ($sum_limits{n=0}^infty a_n x^n)(sum_limits{n=0}^infty b_n x^n) = sum_limits{n=0}^infty sum_limits{k=0}^n a_{n-k}b_k x^n$
$endgroup$
– Doug M
Jan 15 at 20:30
$begingroup$
It is true that when you expand the product $(e^x)^2 = (1+x+x^2/2!+x^3/3! + ldots)^2$ then you will arrive at the power-series of $e^{2x}$. You probably didn't compute it correctly. Note how much easier the second method is compare to this one (you need to compute the product of two infinite series). To compute the product of two power-series $sum_{ngeq 0} a_n x^n cdot sum_{ngeq 0} b_n x^n = sum_{ngeq 0} c_n x^n$ see Cauchy product
$endgroup$
– Winther
Jan 15 at 20:11
$begingroup$
It is true that when you expand the product $(e^x)^2 = (1+x+x^2/2!+x^3/3! + ldots)^2$ then you will arrive at the power-series of $e^{2x}$. You probably didn't compute it correctly. Note how much easier the second method is compare to this one (you need to compute the product of two infinite series). To compute the product of two power-series $sum_{ngeq 0} a_n x^n cdot sum_{ngeq 0} b_n x^n = sum_{ngeq 0} c_n x^n$ see Cauchy product
$endgroup$
– Winther
Jan 15 at 20:11
$begingroup$
Thank you, that makes a lot of sense!!
$endgroup$
– elbecker
Jan 15 at 20:19
$begingroup$
Thank you, that makes a lot of sense!!
$endgroup$
– elbecker
Jan 15 at 20:19
$begingroup$
@ElizabethBecker i updated my answer to write out the correct multiplication logic
$endgroup$
– gt6989b
Jan 15 at 20:26
$begingroup$
@ElizabethBecker i updated my answer to write out the correct multiplication logic
$endgroup$
– gt6989b
Jan 15 at 20:26
1
1
$begingroup$
Freshman's dream $(a+b)^2 ne a^2 + b^2.$ You need those cross terms. ($sum_limits{n=0}^infty a_n x^n)(sum_limits{n=0}^infty b_n x^n) = sum_limits{n=0}^infty sum_limits{k=0}^n a_{n-k}b_k x^n$
$endgroup$
– Doug M
Jan 15 at 20:30
$begingroup$
Freshman's dream $(a+b)^2 ne a^2 + b^2.$ You need those cross terms. ($sum_limits{n=0}^infty a_n x^n)(sum_limits{n=0}^infty b_n x^n) = sum_limits{n=0}^infty sum_limits{k=0}^n a_{n-k}b_k x^n$
$endgroup$
– Doug M
Jan 15 at 20:30
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Note that
$$
e^y = sum_{k=0}^infty frac{y^k}{k!}
$$
therefore, if $y=2x$ you get
$$
e^{2x}
= sum_{k=0}^infty frac{(2x)^k}{k!}
= sum_{k=0}^infty frac{2^k x^k}{k!}
$$
There are issues with what you did. Even though as you claim
$$
e^{2x}
= left(e^xright)^2
= left(sum_{k=0}^infty frac{x^k}{k!}right)^2,
$$
but squaring that sum is not a simple matter because of the crossing terms, since
$$(x+y)^2 = x^2 + y^2 + 2xy ne x^2 + y^2$$
If you want to continue your method to its logical end, you can use
$$
begin{split}
e^{2x}
&= left(sum_{k=0}^infty frac{x^k}{k!}right)
cdot left(sum_{k=0}^infty frac{x^k}{k!}right)\
&= sum_{n=0}^infty sum_{k=0}^n frac{x^k}{k!} frac{x^{n-k}}{(n-k)!} \
&= sum_{n=0}^infty x^n left( sum_{k=0}^n frac{1}{k!(n-k)!}right) \
&= sum_{n=0}^infty frac{x^n}{n!}
sum_{k=0}^n frac{n!}{k!(n-k)!} \
&= sum_{n=0}^infty frac{x^n}{n!} sum_{k=0}^n binom{n}{k} \
&= sum_{n=0}^infty frac{2^n x^n}{n!},
end{split}
$$
with the last step using the Binomial theorem.
$endgroup$
add a comment |
$begingroup$
Your step $$left(sum_{n=0}^infty frac{x^n}{n!}right)^2
= sum_{n=0}^infty frac{x^{2n}}{(n!)^2}$$
is akin to claiming that
$$(a+b)^2=a^2+b^2$$
$endgroup$
add a comment |
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3074896%2fmanipulating-taylor-series-for-e2x-using-ex%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Note that
$$
e^y = sum_{k=0}^infty frac{y^k}{k!}
$$
therefore, if $y=2x$ you get
$$
e^{2x}
= sum_{k=0}^infty frac{(2x)^k}{k!}
= sum_{k=0}^infty frac{2^k x^k}{k!}
$$
There are issues with what you did. Even though as you claim
$$
e^{2x}
= left(e^xright)^2
= left(sum_{k=0}^infty frac{x^k}{k!}right)^2,
$$
but squaring that sum is not a simple matter because of the crossing terms, since
$$(x+y)^2 = x^2 + y^2 + 2xy ne x^2 + y^2$$
If you want to continue your method to its logical end, you can use
$$
begin{split}
e^{2x}
&= left(sum_{k=0}^infty frac{x^k}{k!}right)
cdot left(sum_{k=0}^infty frac{x^k}{k!}right)\
&= sum_{n=0}^infty sum_{k=0}^n frac{x^k}{k!} frac{x^{n-k}}{(n-k)!} \
&= sum_{n=0}^infty x^n left( sum_{k=0}^n frac{1}{k!(n-k)!}right) \
&= sum_{n=0}^infty frac{x^n}{n!}
sum_{k=0}^n frac{n!}{k!(n-k)!} \
&= sum_{n=0}^infty frac{x^n}{n!} sum_{k=0}^n binom{n}{k} \
&= sum_{n=0}^infty frac{2^n x^n}{n!},
end{split}
$$
with the last step using the Binomial theorem.
$endgroup$
add a comment |
$begingroup$
Note that
$$
e^y = sum_{k=0}^infty frac{y^k}{k!}
$$
therefore, if $y=2x$ you get
$$
e^{2x}
= sum_{k=0}^infty frac{(2x)^k}{k!}
= sum_{k=0}^infty frac{2^k x^k}{k!}
$$
There are issues with what you did. Even though as you claim
$$
e^{2x}
= left(e^xright)^2
= left(sum_{k=0}^infty frac{x^k}{k!}right)^2,
$$
but squaring that sum is not a simple matter because of the crossing terms, since
$$(x+y)^2 = x^2 + y^2 + 2xy ne x^2 + y^2$$
If you want to continue your method to its logical end, you can use
$$
begin{split}
e^{2x}
&= left(sum_{k=0}^infty frac{x^k}{k!}right)
cdot left(sum_{k=0}^infty frac{x^k}{k!}right)\
&= sum_{n=0}^infty sum_{k=0}^n frac{x^k}{k!} frac{x^{n-k}}{(n-k)!} \
&= sum_{n=0}^infty x^n left( sum_{k=0}^n frac{1}{k!(n-k)!}right) \
&= sum_{n=0}^infty frac{x^n}{n!}
sum_{k=0}^n frac{n!}{k!(n-k)!} \
&= sum_{n=0}^infty frac{x^n}{n!} sum_{k=0}^n binom{n}{k} \
&= sum_{n=0}^infty frac{2^n x^n}{n!},
end{split}
$$
with the last step using the Binomial theorem.
$endgroup$
add a comment |
$begingroup$
Note that
$$
e^y = sum_{k=0}^infty frac{y^k}{k!}
$$
therefore, if $y=2x$ you get
$$
e^{2x}
= sum_{k=0}^infty frac{(2x)^k}{k!}
= sum_{k=0}^infty frac{2^k x^k}{k!}
$$
There are issues with what you did. Even though as you claim
$$
e^{2x}
= left(e^xright)^2
= left(sum_{k=0}^infty frac{x^k}{k!}right)^2,
$$
but squaring that sum is not a simple matter because of the crossing terms, since
$$(x+y)^2 = x^2 + y^2 + 2xy ne x^2 + y^2$$
If you want to continue your method to its logical end, you can use
$$
begin{split}
e^{2x}
&= left(sum_{k=0}^infty frac{x^k}{k!}right)
cdot left(sum_{k=0}^infty frac{x^k}{k!}right)\
&= sum_{n=0}^infty sum_{k=0}^n frac{x^k}{k!} frac{x^{n-k}}{(n-k)!} \
&= sum_{n=0}^infty x^n left( sum_{k=0}^n frac{1}{k!(n-k)!}right) \
&= sum_{n=0}^infty frac{x^n}{n!}
sum_{k=0}^n frac{n!}{k!(n-k)!} \
&= sum_{n=0}^infty frac{x^n}{n!} sum_{k=0}^n binom{n}{k} \
&= sum_{n=0}^infty frac{2^n x^n}{n!},
end{split}
$$
with the last step using the Binomial theorem.
$endgroup$
Note that
$$
e^y = sum_{k=0}^infty frac{y^k}{k!}
$$
therefore, if $y=2x$ you get
$$
e^{2x}
= sum_{k=0}^infty frac{(2x)^k}{k!}
= sum_{k=0}^infty frac{2^k x^k}{k!}
$$
There are issues with what you did. Even though as you claim
$$
e^{2x}
= left(e^xright)^2
= left(sum_{k=0}^infty frac{x^k}{k!}right)^2,
$$
but squaring that sum is not a simple matter because of the crossing terms, since
$$(x+y)^2 = x^2 + y^2 + 2xy ne x^2 + y^2$$
If you want to continue your method to its logical end, you can use
$$
begin{split}
e^{2x}
&= left(sum_{k=0}^infty frac{x^k}{k!}right)
cdot left(sum_{k=0}^infty frac{x^k}{k!}right)\
&= sum_{n=0}^infty sum_{k=0}^n frac{x^k}{k!} frac{x^{n-k}}{(n-k)!} \
&= sum_{n=0}^infty x^n left( sum_{k=0}^n frac{1}{k!(n-k)!}right) \
&= sum_{n=0}^infty frac{x^n}{n!}
sum_{k=0}^n frac{n!}{k!(n-k)!} \
&= sum_{n=0}^infty frac{x^n}{n!} sum_{k=0}^n binom{n}{k} \
&= sum_{n=0}^infty frac{2^n x^n}{n!},
end{split}
$$
with the last step using the Binomial theorem.
edited Mar 15 at 0:52
Rócherz
3,0013821
3,0013821
answered Jan 15 at 20:09
gt6989bgt6989b
35.2k22557
35.2k22557
add a comment |
add a comment |
$begingroup$
Your step $$left(sum_{n=0}^infty frac{x^n}{n!}right)^2
= sum_{n=0}^infty frac{x^{2n}}{(n!)^2}$$
is akin to claiming that
$$(a+b)^2=a^2+b^2$$
$endgroup$
add a comment |
$begingroup$
Your step $$left(sum_{n=0}^infty frac{x^n}{n!}right)^2
= sum_{n=0}^infty frac{x^{2n}}{(n!)^2}$$
is akin to claiming that
$$(a+b)^2=a^2+b^2$$
$endgroup$
add a comment |
$begingroup$
Your step $$left(sum_{n=0}^infty frac{x^n}{n!}right)^2
= sum_{n=0}^infty frac{x^{2n}}{(n!)^2}$$
is akin to claiming that
$$(a+b)^2=a^2+b^2$$
$endgroup$
Your step $$left(sum_{n=0}^infty frac{x^n}{n!}right)^2
= sum_{n=0}^infty frac{x^{2n}}{(n!)^2}$$
is akin to claiming that
$$(a+b)^2=a^2+b^2$$
answered Jan 15 at 20:26
TonyKTonyK
43.7k358137
43.7k358137
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3074896%2fmanipulating-taylor-series-for-e2x-using-ex%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown

$begingroup$
It is true that when you expand the product $(e^x)^2 = (1+x+x^2/2!+x^3/3! + ldots)^2$ then you will arrive at the power-series of $e^{2x}$. You probably didn't compute it correctly. Note how much easier the second method is compare to this one (you need to compute the product of two infinite series). To compute the product of two power-series $sum_{ngeq 0} a_n x^n cdot sum_{ngeq 0} b_n x^n = sum_{ngeq 0} c_n x^n$ see Cauchy product
$endgroup$
– Winther
Jan 15 at 20:11
$begingroup$
Thank you, that makes a lot of sense!!
$endgroup$
– elbecker
Jan 15 at 20:19
$begingroup$
@ElizabethBecker i updated my answer to write out the correct multiplication logic
$endgroup$
– gt6989b
Jan 15 at 20:26
1
$begingroup$
Freshman's dream $(a+b)^2 ne a^2 + b^2.$ You need those cross terms. ($sum_limits{n=0}^infty a_n x^n)(sum_limits{n=0}^infty b_n x^n) = sum_limits{n=0}^infty sum_limits{k=0}^n a_{n-k}b_k x^n$
$endgroup$
– Doug M
Jan 15 at 20:30