Show that exp(x) is of the form $e^x$?
Let me define the function $exp(x)$ as that which satisfies:
$$ frac{d}{dx}exp(x) = exp(x) $$
We can show that
$$ exp(x) = sum_{n=0}^{infty} frac{x^n}{n!}.$$
So far so good, we have just defined the exponential by the differential equation it satisfies.
How can we show that the exponential, as defined above, is of the form:
$$exp(x) = e^x,$$
where $e$ is a real number.
In other words, how can we show, for example that:
$$ e^a = prod_{m=1}^{a}e^1$$
$$sum_{n=0}^infty frac{a^n}{n!} = prod_{m=1}^a left[ sum_{l=0}^{infty} frac{1}{n!} right]$$
for any positive integer $a$.
algebra-precalculus differential-equations functions special-functions
|
show 2 more comments
Let me define the function $exp(x)$ as that which satisfies:
$$ frac{d}{dx}exp(x) = exp(x) $$
We can show that
$$ exp(x) = sum_{n=0}^{infty} frac{x^n}{n!}.$$
So far so good, we have just defined the exponential by the differential equation it satisfies.
How can we show that the exponential, as defined above, is of the form:
$$exp(x) = e^x,$$
where $e$ is a real number.
In other words, how can we show, for example that:
$$ e^a = prod_{m=1}^{a}e^1$$
$$sum_{n=0}^infty frac{a^n}{n!} = prod_{m=1}^a left[ sum_{l=0}^{infty} frac{1}{n!} right]$$
for any positive integer $a$.
algebra-precalculus differential-equations functions special-functions
An interesting question. This is so often considered trivial that it is often treated as a definition.
– The Count
Nov 22 at 21:25
2
"We can show that ..." You need an initial condition for the differential equation.
– user587192
Nov 22 at 21:32
The first identity after "how can we show, for example that:" does not make sense.
– user587192
Nov 22 at 21:34
Usually, the limit definition is used to prove this property
– Yuriy S
Nov 22 at 21:37
@user587192 Could you expand on why it doesn't make sense?
– Daniel Duque
Nov 22 at 21:41
|
show 2 more comments
Let me define the function $exp(x)$ as that which satisfies:
$$ frac{d}{dx}exp(x) = exp(x) $$
We can show that
$$ exp(x) = sum_{n=0}^{infty} frac{x^n}{n!}.$$
So far so good, we have just defined the exponential by the differential equation it satisfies.
How can we show that the exponential, as defined above, is of the form:
$$exp(x) = e^x,$$
where $e$ is a real number.
In other words, how can we show, for example that:
$$ e^a = prod_{m=1}^{a}e^1$$
$$sum_{n=0}^infty frac{a^n}{n!} = prod_{m=1}^a left[ sum_{l=0}^{infty} frac{1}{n!} right]$$
for any positive integer $a$.
algebra-precalculus differential-equations functions special-functions
Let me define the function $exp(x)$ as that which satisfies:
$$ frac{d}{dx}exp(x) = exp(x) $$
We can show that
$$ exp(x) = sum_{n=0}^{infty} frac{x^n}{n!}.$$
So far so good, we have just defined the exponential by the differential equation it satisfies.
How can we show that the exponential, as defined above, is of the form:
$$exp(x) = e^x,$$
where $e$ is a real number.
In other words, how can we show, for example that:
$$ e^a = prod_{m=1}^{a}e^1$$
$$sum_{n=0}^infty frac{a^n}{n!} = prod_{m=1}^a left[ sum_{l=0}^{infty} frac{1}{n!} right]$$
for any positive integer $a$.
algebra-precalculus differential-equations functions special-functions
algebra-precalculus differential-equations functions special-functions
edited Nov 22 at 21:52
asked Nov 22 at 21:23
Daniel Duque
267
267
An interesting question. This is so often considered trivial that it is often treated as a definition.
– The Count
Nov 22 at 21:25
2
"We can show that ..." You need an initial condition for the differential equation.
– user587192
Nov 22 at 21:32
The first identity after "how can we show, for example that:" does not make sense.
– user587192
Nov 22 at 21:34
Usually, the limit definition is used to prove this property
– Yuriy S
Nov 22 at 21:37
@user587192 Could you expand on why it doesn't make sense?
– Daniel Duque
Nov 22 at 21:41
|
show 2 more comments
An interesting question. This is so often considered trivial that it is often treated as a definition.
– The Count
Nov 22 at 21:25
2
"We can show that ..." You need an initial condition for the differential equation.
– user587192
Nov 22 at 21:32
The first identity after "how can we show, for example that:" does not make sense.
– user587192
Nov 22 at 21:34
Usually, the limit definition is used to prove this property
– Yuriy S
Nov 22 at 21:37
@user587192 Could you expand on why it doesn't make sense?
– Daniel Duque
Nov 22 at 21:41
An interesting question. This is so often considered trivial that it is often treated as a definition.
– The Count
Nov 22 at 21:25
An interesting question. This is so often considered trivial that it is often treated as a definition.
– The Count
Nov 22 at 21:25
2
2
"We can show that ..." You need an initial condition for the differential equation.
– user587192
Nov 22 at 21:32
"We can show that ..." You need an initial condition for the differential equation.
– user587192
Nov 22 at 21:32
The first identity after "how can we show, for example that:" does not make sense.
– user587192
Nov 22 at 21:34
The first identity after "how can we show, for example that:" does not make sense.
– user587192
Nov 22 at 21:34
Usually, the limit definition is used to prove this property
– Yuriy S
Nov 22 at 21:37
Usually, the limit definition is used to prove this property
– Yuriy S
Nov 22 at 21:37
@user587192 Could you expand on why it doesn't make sense?
– Daniel Duque
Nov 22 at 21:41
@user587192 Could you expand on why it doesn't make sense?
– Daniel Duque
Nov 22 at 21:41
|
show 2 more comments
3 Answers
3
active
oldest
votes
First note that apart from $exp'=exp$, you need to postulate $exp(0)=1$. Then it is the uniqueness of the solution to the differential equation that determines the desired properties:
The derivative of $f(x)= bcdot exp(a+x)+cexp(x)$ apparently is $$f'(x)=bexp'(a+x)+cexp'(x)=bexp(a+x)+cexp(x)=f(x).$$ So if we adjust $b,c$ to ensure $f(0)=1$, we conclude that $fequiv exp$.
If $exp(a)=0$, we take $b=c=1$ and infer $exp(x)=exp(a+x)+exp(x)$ for all $x$, i.e., $expequiv 0$, contradiction.
Hence we may assume $exp(a)ne 0$, can take $c=0$ and $b=frac 1{exp(a)}$, and find
$$ exp(x)=frac{exp(a+x)}{exp(a)}$$
for all $a,xinBbb R$. In other words,
$$ exp(a+b)=exp(a)exp(b)$$
for all $a,binBbb R$.
From this, we learn among others (by induction) that $$exp(n)=exp(1)^n$$ for all $ninBbb Z$.
Great answer, I would only add that we can say that $f(x) = exp(x)$ given the uniqueness of the solution to the differential equation. Do you recall any text book which introduces the exponential in the way you have answered my question?
– Daniel Duque
Nov 22 at 22:02
add a comment |
It suffices to show that $$exp(x+y)=exp (x)exp(y)$$But this can be easily shown since $$exp(x)exp(y){=sum_{n=0}^{infty}{x^nover n!}sum_{m=0}^{infty}{y^mover m!}\=sum_{n,m=0}^{infty}{x^ny^mover n!m!}\=sum_{k=0}^infty{1over k!}sum_{m+n=k}{k!x^ny^{k-n}over n!(k-n)!}\=sum_{k=0}^infty {(x+y)^kover k!}\=exp(x+y)}$$
add a comment |
One way is through $$e^xequivlim_{nrightarrowinfty}left(1+frac{x}{n}right)^n
$$
You can show through the binomial expansion that this recipe gives the Taylor series for $exp x$ and thence that it solves the differential equation; or by differentiating the expression with 'lim' in it directly; and also showing that this expression is also the natural extension of exponentiation into the domain of reals from its definition for integer argument in terms of iterated multiplication. If you ply these various relations backward & forward in every conceivable direction, bringing in also the fundamental definition of differentiation in terms of limits, it becomes clear that it all constitutes a beautifully internally consistent system of relations. And you can also get
$$frac{dy}{dx}equiv afrac{y}{x}$$ &
$$x=1implies y=1$$
as a definition of $x^a$ for general real $a$.
add a comment |
Your Answer
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%2f3009676%2fshow-that-expx-is-of-the-form-ex%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
First note that apart from $exp'=exp$, you need to postulate $exp(0)=1$. Then it is the uniqueness of the solution to the differential equation that determines the desired properties:
The derivative of $f(x)= bcdot exp(a+x)+cexp(x)$ apparently is $$f'(x)=bexp'(a+x)+cexp'(x)=bexp(a+x)+cexp(x)=f(x).$$ So if we adjust $b,c$ to ensure $f(0)=1$, we conclude that $fequiv exp$.
If $exp(a)=0$, we take $b=c=1$ and infer $exp(x)=exp(a+x)+exp(x)$ for all $x$, i.e., $expequiv 0$, contradiction.
Hence we may assume $exp(a)ne 0$, can take $c=0$ and $b=frac 1{exp(a)}$, and find
$$ exp(x)=frac{exp(a+x)}{exp(a)}$$
for all $a,xinBbb R$. In other words,
$$ exp(a+b)=exp(a)exp(b)$$
for all $a,binBbb R$.
From this, we learn among others (by induction) that $$exp(n)=exp(1)^n$$ for all $ninBbb Z$.
Great answer, I would only add that we can say that $f(x) = exp(x)$ given the uniqueness of the solution to the differential equation. Do you recall any text book which introduces the exponential in the way you have answered my question?
– Daniel Duque
Nov 22 at 22:02
add a comment |
First note that apart from $exp'=exp$, you need to postulate $exp(0)=1$. Then it is the uniqueness of the solution to the differential equation that determines the desired properties:
The derivative of $f(x)= bcdot exp(a+x)+cexp(x)$ apparently is $$f'(x)=bexp'(a+x)+cexp'(x)=bexp(a+x)+cexp(x)=f(x).$$ So if we adjust $b,c$ to ensure $f(0)=1$, we conclude that $fequiv exp$.
If $exp(a)=0$, we take $b=c=1$ and infer $exp(x)=exp(a+x)+exp(x)$ for all $x$, i.e., $expequiv 0$, contradiction.
Hence we may assume $exp(a)ne 0$, can take $c=0$ and $b=frac 1{exp(a)}$, and find
$$ exp(x)=frac{exp(a+x)}{exp(a)}$$
for all $a,xinBbb R$. In other words,
$$ exp(a+b)=exp(a)exp(b)$$
for all $a,binBbb R$.
From this, we learn among others (by induction) that $$exp(n)=exp(1)^n$$ for all $ninBbb Z$.
Great answer, I would only add that we can say that $f(x) = exp(x)$ given the uniqueness of the solution to the differential equation. Do you recall any text book which introduces the exponential in the way you have answered my question?
– Daniel Duque
Nov 22 at 22:02
add a comment |
First note that apart from $exp'=exp$, you need to postulate $exp(0)=1$. Then it is the uniqueness of the solution to the differential equation that determines the desired properties:
The derivative of $f(x)= bcdot exp(a+x)+cexp(x)$ apparently is $$f'(x)=bexp'(a+x)+cexp'(x)=bexp(a+x)+cexp(x)=f(x).$$ So if we adjust $b,c$ to ensure $f(0)=1$, we conclude that $fequiv exp$.
If $exp(a)=0$, we take $b=c=1$ and infer $exp(x)=exp(a+x)+exp(x)$ for all $x$, i.e., $expequiv 0$, contradiction.
Hence we may assume $exp(a)ne 0$, can take $c=0$ and $b=frac 1{exp(a)}$, and find
$$ exp(x)=frac{exp(a+x)}{exp(a)}$$
for all $a,xinBbb R$. In other words,
$$ exp(a+b)=exp(a)exp(b)$$
for all $a,binBbb R$.
From this, we learn among others (by induction) that $$exp(n)=exp(1)^n$$ for all $ninBbb Z$.
First note that apart from $exp'=exp$, you need to postulate $exp(0)=1$. Then it is the uniqueness of the solution to the differential equation that determines the desired properties:
The derivative of $f(x)= bcdot exp(a+x)+cexp(x)$ apparently is $$f'(x)=bexp'(a+x)+cexp'(x)=bexp(a+x)+cexp(x)=f(x).$$ So if we adjust $b,c$ to ensure $f(0)=1$, we conclude that $fequiv exp$.
If $exp(a)=0$, we take $b=c=1$ and infer $exp(x)=exp(a+x)+exp(x)$ for all $x$, i.e., $expequiv 0$, contradiction.
Hence we may assume $exp(a)ne 0$, can take $c=0$ and $b=frac 1{exp(a)}$, and find
$$ exp(x)=frac{exp(a+x)}{exp(a)}$$
for all $a,xinBbb R$. In other words,
$$ exp(a+b)=exp(a)exp(b)$$
for all $a,binBbb R$.
From this, we learn among others (by induction) that $$exp(n)=exp(1)^n$$ for all $ninBbb Z$.
answered Nov 22 at 21:40
Hagen von Eitzen
275k21268495
275k21268495
Great answer, I would only add that we can say that $f(x) = exp(x)$ given the uniqueness of the solution to the differential equation. Do you recall any text book which introduces the exponential in the way you have answered my question?
– Daniel Duque
Nov 22 at 22:02
add a comment |
Great answer, I would only add that we can say that $f(x) = exp(x)$ given the uniqueness of the solution to the differential equation. Do you recall any text book which introduces the exponential in the way you have answered my question?
– Daniel Duque
Nov 22 at 22:02
Great answer, I would only add that we can say that $f(x) = exp(x)$ given the uniqueness of the solution to the differential equation. Do you recall any text book which introduces the exponential in the way you have answered my question?
– Daniel Duque
Nov 22 at 22:02
Great answer, I would only add that we can say that $f(x) = exp(x)$ given the uniqueness of the solution to the differential equation. Do you recall any text book which introduces the exponential in the way you have answered my question?
– Daniel Duque
Nov 22 at 22:02
add a comment |
It suffices to show that $$exp(x+y)=exp (x)exp(y)$$But this can be easily shown since $$exp(x)exp(y){=sum_{n=0}^{infty}{x^nover n!}sum_{m=0}^{infty}{y^mover m!}\=sum_{n,m=0}^{infty}{x^ny^mover n!m!}\=sum_{k=0}^infty{1over k!}sum_{m+n=k}{k!x^ny^{k-n}over n!(k-n)!}\=sum_{k=0}^infty {(x+y)^kover k!}\=exp(x+y)}$$
add a comment |
It suffices to show that $$exp(x+y)=exp (x)exp(y)$$But this can be easily shown since $$exp(x)exp(y){=sum_{n=0}^{infty}{x^nover n!}sum_{m=0}^{infty}{y^mover m!}\=sum_{n,m=0}^{infty}{x^ny^mover n!m!}\=sum_{k=0}^infty{1over k!}sum_{m+n=k}{k!x^ny^{k-n}over n!(k-n)!}\=sum_{k=0}^infty {(x+y)^kover k!}\=exp(x+y)}$$
add a comment |
It suffices to show that $$exp(x+y)=exp (x)exp(y)$$But this can be easily shown since $$exp(x)exp(y){=sum_{n=0}^{infty}{x^nover n!}sum_{m=0}^{infty}{y^mover m!}\=sum_{n,m=0}^{infty}{x^ny^mover n!m!}\=sum_{k=0}^infty{1over k!}sum_{m+n=k}{k!x^ny^{k-n}over n!(k-n)!}\=sum_{k=0}^infty {(x+y)^kover k!}\=exp(x+y)}$$
It suffices to show that $$exp(x+y)=exp (x)exp(y)$$But this can be easily shown since $$exp(x)exp(y){=sum_{n=0}^{infty}{x^nover n!}sum_{m=0}^{infty}{y^mover m!}\=sum_{n,m=0}^{infty}{x^ny^mover n!m!}\=sum_{k=0}^infty{1over k!}sum_{m+n=k}{k!x^ny^{k-n}over n!(k-n)!}\=sum_{k=0}^infty {(x+y)^kover k!}\=exp(x+y)}$$
answered Nov 22 at 22:11
Mostafa Ayaz
13.7k3836
13.7k3836
add a comment |
add a comment |
One way is through $$e^xequivlim_{nrightarrowinfty}left(1+frac{x}{n}right)^n
$$
You can show through the binomial expansion that this recipe gives the Taylor series for $exp x$ and thence that it solves the differential equation; or by differentiating the expression with 'lim' in it directly; and also showing that this expression is also the natural extension of exponentiation into the domain of reals from its definition for integer argument in terms of iterated multiplication. If you ply these various relations backward & forward in every conceivable direction, bringing in also the fundamental definition of differentiation in terms of limits, it becomes clear that it all constitutes a beautifully internally consistent system of relations. And you can also get
$$frac{dy}{dx}equiv afrac{y}{x}$$ &
$$x=1implies y=1$$
as a definition of $x^a$ for general real $a$.
add a comment |
One way is through $$e^xequivlim_{nrightarrowinfty}left(1+frac{x}{n}right)^n
$$
You can show through the binomial expansion that this recipe gives the Taylor series for $exp x$ and thence that it solves the differential equation; or by differentiating the expression with 'lim' in it directly; and also showing that this expression is also the natural extension of exponentiation into the domain of reals from its definition for integer argument in terms of iterated multiplication. If you ply these various relations backward & forward in every conceivable direction, bringing in also the fundamental definition of differentiation in terms of limits, it becomes clear that it all constitutes a beautifully internally consistent system of relations. And you can also get
$$frac{dy}{dx}equiv afrac{y}{x}$$ &
$$x=1implies y=1$$
as a definition of $x^a$ for general real $a$.
add a comment |
One way is through $$e^xequivlim_{nrightarrowinfty}left(1+frac{x}{n}right)^n
$$
You can show through the binomial expansion that this recipe gives the Taylor series for $exp x$ and thence that it solves the differential equation; or by differentiating the expression with 'lim' in it directly; and also showing that this expression is also the natural extension of exponentiation into the domain of reals from its definition for integer argument in terms of iterated multiplication. If you ply these various relations backward & forward in every conceivable direction, bringing in also the fundamental definition of differentiation in terms of limits, it becomes clear that it all constitutes a beautifully internally consistent system of relations. And you can also get
$$frac{dy}{dx}equiv afrac{y}{x}$$ &
$$x=1implies y=1$$
as a definition of $x^a$ for general real $a$.
One way is through $$e^xequivlim_{nrightarrowinfty}left(1+frac{x}{n}right)^n
$$
You can show through the binomial expansion that this recipe gives the Taylor series for $exp x$ and thence that it solves the differential equation; or by differentiating the expression with 'lim' in it directly; and also showing that this expression is also the natural extension of exponentiation into the domain of reals from its definition for integer argument in terms of iterated multiplication. If you ply these various relations backward & forward in every conceivable direction, bringing in also the fundamental definition of differentiation in terms of limits, it becomes clear that it all constitutes a beautifully internally consistent system of relations. And you can also get
$$frac{dy}{dx}equiv afrac{y}{x}$$ &
$$x=1implies y=1$$
as a definition of $x^a$ for general real $a$.
answered Nov 23 at 3:24
AmbretteOrrisey
56710
56710
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3009676%2fshow-that-expx-is-of-the-form-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
An interesting question. This is so often considered trivial that it is often treated as a definition.
– The Count
Nov 22 at 21:25
2
"We can show that ..." You need an initial condition for the differential equation.
– user587192
Nov 22 at 21:32
The first identity after "how can we show, for example that:" does not make sense.
– user587192
Nov 22 at 21:34
Usually, the limit definition is used to prove this property
– Yuriy S
Nov 22 at 21:37
@user587192 Could you expand on why it doesn't make sense?
– Daniel Duque
Nov 22 at 21:41