Proof of exponential function integral
up vote
2
down vote
favorite
I fully apologize if this is a duplicate, but I really can’t find the answer to this online here. But a proof of the rule
$$int a^x dx= frac{a^x}{ln(a)}+C$$
would be really helpful. I need it for something I’m doing. This is all I need. I have no sources on the problem as I want the proof myself, but I use this rule so much that it struck me as second nature when I wanted to solve it! Any possible answers would be appreciated.
calculus integration proof-writing exponential-function
add a comment |
up vote
2
down vote
favorite
I fully apologize if this is a duplicate, but I really can’t find the answer to this online here. But a proof of the rule
$$int a^x dx= frac{a^x}{ln(a)}+C$$
would be really helpful. I need it for something I’m doing. This is all I need. I have no sources on the problem as I want the proof myself, but I use this rule so much that it struck me as second nature when I wanted to solve it! Any possible answers would be appreciated.
calculus integration proof-writing exponential-function
5
It's quite simple. $(a^x)' = a^xcdot ln(a)$, and the rule follows.
– Jakobian
7 hours ago
@Jakobian : The only real answer. +1.
– MPW
7 hours ago
add a comment |
up vote
2
down vote
favorite
up vote
2
down vote
favorite
I fully apologize if this is a duplicate, but I really can’t find the answer to this online here. But a proof of the rule
$$int a^x dx= frac{a^x}{ln(a)}+C$$
would be really helpful. I need it for something I’m doing. This is all I need. I have no sources on the problem as I want the proof myself, but I use this rule so much that it struck me as second nature when I wanted to solve it! Any possible answers would be appreciated.
calculus integration proof-writing exponential-function
I fully apologize if this is a duplicate, but I really can’t find the answer to this online here. But a proof of the rule
$$int a^x dx= frac{a^x}{ln(a)}+C$$
would be really helpful. I need it for something I’m doing. This is all I need. I have no sources on the problem as I want the proof myself, but I use this rule so much that it struck me as second nature when I wanted to solve it! Any possible answers would be appreciated.
calculus integration proof-writing exponential-function
calculus integration proof-writing exponential-function
edited 7 hours ago
asked 7 hours ago
Math Bob
138
138
5
It's quite simple. $(a^x)' = a^xcdot ln(a)$, and the rule follows.
– Jakobian
7 hours ago
@Jakobian : The only real answer. +1.
– MPW
7 hours ago
add a comment |
5
It's quite simple. $(a^x)' = a^xcdot ln(a)$, and the rule follows.
– Jakobian
7 hours ago
@Jakobian : The only real answer. +1.
– MPW
7 hours ago
5
5
It's quite simple. $(a^x)' = a^xcdot ln(a)$, and the rule follows.
– Jakobian
7 hours ago
It's quite simple. $(a^x)' = a^xcdot ln(a)$, and the rule follows.
– Jakobian
7 hours ago
@Jakobian : The only real answer. +1.
– MPW
7 hours ago
@Jakobian : The only real answer. +1.
– MPW
7 hours ago
add a comment |
3 Answers
3
active
oldest
votes
up vote
4
down vote
accepted
I assume it's kosher to use the exponential integral with base $e$, i.e. $int e^x dx = e^x +C$? Or, more generally, for a constant $k$,
$$int e^{kx}dx = frac{1}{k}e^{kx}+C$$
If so, then note:
$$int a^x dx = int e^{ln(a^x)} dx = int e^{x ln(a)}dx = frac{1}{ln(a)}e^{x ln(a)}+C= frac{1}{ln(a)}e^{ln(a^x)}+C= frac{a^x}{ln(a)}+C$$
This is mostly just manipulation of various logarithm properties: namely,
$$e^{ln(x)} = x$$
$$ln(a^b) = b ln(a)$$
Also, a nitpick: the integral in your question, OP, needs a $+C$ after it, since indefinite integration introduces an arbitrary constant.
OK, so I know this already seems taken for granted, I guess (because it was used in all the other proofs I saw online), can you please furthermore prove ∫e^kx dx=1/k(e^kx)+C?
– Math Bob
7 hours ago
Personally I like proving it by using the power series definition for $e^{kx}$, i.e. $$e^{kx} = sum_{n=0}^infty frac{(kx)^n}{n!}$$ but that involves a few technicalities regarding how infinite summations work under differentiation/integration. You could always just go "well, see, $$frac{d}{dx} frac{e^{kx}}{k} + C= k frac{e^{kx}}{k} +0= e^{kx}$$ so $e^{kx}/k + C$ must be the antiderivative."
– Eevee Trainer
6 hours ago
Okay. I have taken this in so thanks for the answer!
– Math Bob
3 hours ago
add a comment |
up vote
1
down vote
Well this one can be found within every good integration table $($e.g. take at look at this$)$. Anyway it is actually not that hard to compute therefore I will demonstrate it for you. First of all the basic property of any exponential function with a basis $a$ is that it can be rewritten in terms of $e$ in the following way
$$a^x=left(e^{ln(a)}right)^x=e^{xln(a)}$$
Now we know that $e^x$ remains $e^x$ after integration aswell as after differentiation. Adding a constant $c$ before the $x$ within the exponent yields to
$$frac d{dx}e^{cx}=ce^{cx}text{ and }int e^{cx}dx=frac1ce^{cx}+k$$
From hereon we are basically done since $ln(a)$ can be seens as a constant while integrating. So plugging this together leads to
$$int a^x dx=int e^{xln(a)}dx=frac1{ln(a)}e^{xln(a)}+k=frac{a^x}{ln(a)}+k$$
$$int a^xdx=frac{a^x}{ln(a)}+k$$
add a comment |
up vote
1
down vote
Just differentiate the right hand side and see what you get. Note that
$$
frac{d}{dx}left(frac{a^x}{ln a}right)=frac{1}{ln a}frac{d}{dx}(e^{xln a})=frac{1}{ln a}times e^{xln a}times ln a=a^x
$$
where we used the chain rule in the second equality.
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',
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%2f3043321%2fproof-of-exponential-function-integral%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
up vote
4
down vote
accepted
I assume it's kosher to use the exponential integral with base $e$, i.e. $int e^x dx = e^x +C$? Or, more generally, for a constant $k$,
$$int e^{kx}dx = frac{1}{k}e^{kx}+C$$
If so, then note:
$$int a^x dx = int e^{ln(a^x)} dx = int e^{x ln(a)}dx = frac{1}{ln(a)}e^{x ln(a)}+C= frac{1}{ln(a)}e^{ln(a^x)}+C= frac{a^x}{ln(a)}+C$$
This is mostly just manipulation of various logarithm properties: namely,
$$e^{ln(x)} = x$$
$$ln(a^b) = b ln(a)$$
Also, a nitpick: the integral in your question, OP, needs a $+C$ after it, since indefinite integration introduces an arbitrary constant.
OK, so I know this already seems taken for granted, I guess (because it was used in all the other proofs I saw online), can you please furthermore prove ∫e^kx dx=1/k(e^kx)+C?
– Math Bob
7 hours ago
Personally I like proving it by using the power series definition for $e^{kx}$, i.e. $$e^{kx} = sum_{n=0}^infty frac{(kx)^n}{n!}$$ but that involves a few technicalities regarding how infinite summations work under differentiation/integration. You could always just go "well, see, $$frac{d}{dx} frac{e^{kx}}{k} + C= k frac{e^{kx}}{k} +0= e^{kx}$$ so $e^{kx}/k + C$ must be the antiderivative."
– Eevee Trainer
6 hours ago
Okay. I have taken this in so thanks for the answer!
– Math Bob
3 hours ago
add a comment |
up vote
4
down vote
accepted
I assume it's kosher to use the exponential integral with base $e$, i.e. $int e^x dx = e^x +C$? Or, more generally, for a constant $k$,
$$int e^{kx}dx = frac{1}{k}e^{kx}+C$$
If so, then note:
$$int a^x dx = int e^{ln(a^x)} dx = int e^{x ln(a)}dx = frac{1}{ln(a)}e^{x ln(a)}+C= frac{1}{ln(a)}e^{ln(a^x)}+C= frac{a^x}{ln(a)}+C$$
This is mostly just manipulation of various logarithm properties: namely,
$$e^{ln(x)} = x$$
$$ln(a^b) = b ln(a)$$
Also, a nitpick: the integral in your question, OP, needs a $+C$ after it, since indefinite integration introduces an arbitrary constant.
OK, so I know this already seems taken for granted, I guess (because it was used in all the other proofs I saw online), can you please furthermore prove ∫e^kx dx=1/k(e^kx)+C?
– Math Bob
7 hours ago
Personally I like proving it by using the power series definition for $e^{kx}$, i.e. $$e^{kx} = sum_{n=0}^infty frac{(kx)^n}{n!}$$ but that involves a few technicalities regarding how infinite summations work under differentiation/integration. You could always just go "well, see, $$frac{d}{dx} frac{e^{kx}}{k} + C= k frac{e^{kx}}{k} +0= e^{kx}$$ so $e^{kx}/k + C$ must be the antiderivative."
– Eevee Trainer
6 hours ago
Okay. I have taken this in so thanks for the answer!
– Math Bob
3 hours ago
add a comment |
up vote
4
down vote
accepted
up vote
4
down vote
accepted
I assume it's kosher to use the exponential integral with base $e$, i.e. $int e^x dx = e^x +C$? Or, more generally, for a constant $k$,
$$int e^{kx}dx = frac{1}{k}e^{kx}+C$$
If so, then note:
$$int a^x dx = int e^{ln(a^x)} dx = int e^{x ln(a)}dx = frac{1}{ln(a)}e^{x ln(a)}+C= frac{1}{ln(a)}e^{ln(a^x)}+C= frac{a^x}{ln(a)}+C$$
This is mostly just manipulation of various logarithm properties: namely,
$$e^{ln(x)} = x$$
$$ln(a^b) = b ln(a)$$
Also, a nitpick: the integral in your question, OP, needs a $+C$ after it, since indefinite integration introduces an arbitrary constant.
I assume it's kosher to use the exponential integral with base $e$, i.e. $int e^x dx = e^x +C$? Or, more generally, for a constant $k$,
$$int e^{kx}dx = frac{1}{k}e^{kx}+C$$
If so, then note:
$$int a^x dx = int e^{ln(a^x)} dx = int e^{x ln(a)}dx = frac{1}{ln(a)}e^{x ln(a)}+C= frac{1}{ln(a)}e^{ln(a^x)}+C= frac{a^x}{ln(a)}+C$$
This is mostly just manipulation of various logarithm properties: namely,
$$e^{ln(x)} = x$$
$$ln(a^b) = b ln(a)$$
Also, a nitpick: the integral in your question, OP, needs a $+C$ after it, since indefinite integration introduces an arbitrary constant.
answered 7 hours ago
Eevee Trainer
3,340225
3,340225
OK, so I know this already seems taken for granted, I guess (because it was used in all the other proofs I saw online), can you please furthermore prove ∫e^kx dx=1/k(e^kx)+C?
– Math Bob
7 hours ago
Personally I like proving it by using the power series definition for $e^{kx}$, i.e. $$e^{kx} = sum_{n=0}^infty frac{(kx)^n}{n!}$$ but that involves a few technicalities regarding how infinite summations work under differentiation/integration. You could always just go "well, see, $$frac{d}{dx} frac{e^{kx}}{k} + C= k frac{e^{kx}}{k} +0= e^{kx}$$ so $e^{kx}/k + C$ must be the antiderivative."
– Eevee Trainer
6 hours ago
Okay. I have taken this in so thanks for the answer!
– Math Bob
3 hours ago
add a comment |
OK, so I know this already seems taken for granted, I guess (because it was used in all the other proofs I saw online), can you please furthermore prove ∫e^kx dx=1/k(e^kx)+C?
– Math Bob
7 hours ago
Personally I like proving it by using the power series definition for $e^{kx}$, i.e. $$e^{kx} = sum_{n=0}^infty frac{(kx)^n}{n!}$$ but that involves a few technicalities regarding how infinite summations work under differentiation/integration. You could always just go "well, see, $$frac{d}{dx} frac{e^{kx}}{k} + C= k frac{e^{kx}}{k} +0= e^{kx}$$ so $e^{kx}/k + C$ must be the antiderivative."
– Eevee Trainer
6 hours ago
Okay. I have taken this in so thanks for the answer!
– Math Bob
3 hours ago
OK, so I know this already seems taken for granted, I guess (because it was used in all the other proofs I saw online), can you please furthermore prove ∫e^kx dx=1/k(e^kx)+C?
– Math Bob
7 hours ago
OK, so I know this already seems taken for granted, I guess (because it was used in all the other proofs I saw online), can you please furthermore prove ∫e^kx dx=1/k(e^kx)+C?
– Math Bob
7 hours ago
Personally I like proving it by using the power series definition for $e^{kx}$, i.e. $$e^{kx} = sum_{n=0}^infty frac{(kx)^n}{n!}$$ but that involves a few technicalities regarding how infinite summations work under differentiation/integration. You could always just go "well, see, $$frac{d}{dx} frac{e^{kx}}{k} + C= k frac{e^{kx}}{k} +0= e^{kx}$$ so $e^{kx}/k + C$ must be the antiderivative."
– Eevee Trainer
6 hours ago
Personally I like proving it by using the power series definition for $e^{kx}$, i.e. $$e^{kx} = sum_{n=0}^infty frac{(kx)^n}{n!}$$ but that involves a few technicalities regarding how infinite summations work under differentiation/integration. You could always just go "well, see, $$frac{d}{dx} frac{e^{kx}}{k} + C= k frac{e^{kx}}{k} +0= e^{kx}$$ so $e^{kx}/k + C$ must be the antiderivative."
– Eevee Trainer
6 hours ago
Okay. I have taken this in so thanks for the answer!
– Math Bob
3 hours ago
Okay. I have taken this in so thanks for the answer!
– Math Bob
3 hours ago
add a comment |
up vote
1
down vote
Well this one can be found within every good integration table $($e.g. take at look at this$)$. Anyway it is actually not that hard to compute therefore I will demonstrate it for you. First of all the basic property of any exponential function with a basis $a$ is that it can be rewritten in terms of $e$ in the following way
$$a^x=left(e^{ln(a)}right)^x=e^{xln(a)}$$
Now we know that $e^x$ remains $e^x$ after integration aswell as after differentiation. Adding a constant $c$ before the $x$ within the exponent yields to
$$frac d{dx}e^{cx}=ce^{cx}text{ and }int e^{cx}dx=frac1ce^{cx}+k$$
From hereon we are basically done since $ln(a)$ can be seens as a constant while integrating. So plugging this together leads to
$$int a^x dx=int e^{xln(a)}dx=frac1{ln(a)}e^{xln(a)}+k=frac{a^x}{ln(a)}+k$$
$$int a^xdx=frac{a^x}{ln(a)}+k$$
add a comment |
up vote
1
down vote
Well this one can be found within every good integration table $($e.g. take at look at this$)$. Anyway it is actually not that hard to compute therefore I will demonstrate it for you. First of all the basic property of any exponential function with a basis $a$ is that it can be rewritten in terms of $e$ in the following way
$$a^x=left(e^{ln(a)}right)^x=e^{xln(a)}$$
Now we know that $e^x$ remains $e^x$ after integration aswell as after differentiation. Adding a constant $c$ before the $x$ within the exponent yields to
$$frac d{dx}e^{cx}=ce^{cx}text{ and }int e^{cx}dx=frac1ce^{cx}+k$$
From hereon we are basically done since $ln(a)$ can be seens as a constant while integrating. So plugging this together leads to
$$int a^x dx=int e^{xln(a)}dx=frac1{ln(a)}e^{xln(a)}+k=frac{a^x}{ln(a)}+k$$
$$int a^xdx=frac{a^x}{ln(a)}+k$$
add a comment |
up vote
1
down vote
up vote
1
down vote
Well this one can be found within every good integration table $($e.g. take at look at this$)$. Anyway it is actually not that hard to compute therefore I will demonstrate it for you. First of all the basic property of any exponential function with a basis $a$ is that it can be rewritten in terms of $e$ in the following way
$$a^x=left(e^{ln(a)}right)^x=e^{xln(a)}$$
Now we know that $e^x$ remains $e^x$ after integration aswell as after differentiation. Adding a constant $c$ before the $x$ within the exponent yields to
$$frac d{dx}e^{cx}=ce^{cx}text{ and }int e^{cx}dx=frac1ce^{cx}+k$$
From hereon we are basically done since $ln(a)$ can be seens as a constant while integrating. So plugging this together leads to
$$int a^x dx=int e^{xln(a)}dx=frac1{ln(a)}e^{xln(a)}+k=frac{a^x}{ln(a)}+k$$
$$int a^xdx=frac{a^x}{ln(a)}+k$$
Well this one can be found within every good integration table $($e.g. take at look at this$)$. Anyway it is actually not that hard to compute therefore I will demonstrate it for you. First of all the basic property of any exponential function with a basis $a$ is that it can be rewritten in terms of $e$ in the following way
$$a^x=left(e^{ln(a)}right)^x=e^{xln(a)}$$
Now we know that $e^x$ remains $e^x$ after integration aswell as after differentiation. Adding a constant $c$ before the $x$ within the exponent yields to
$$frac d{dx}e^{cx}=ce^{cx}text{ and }int e^{cx}dx=frac1ce^{cx}+k$$
From hereon we are basically done since $ln(a)$ can be seens as a constant while integrating. So plugging this together leads to
$$int a^x dx=int e^{xln(a)}dx=frac1{ln(a)}e^{xln(a)}+k=frac{a^x}{ln(a)}+k$$
$$int a^xdx=frac{a^x}{ln(a)}+k$$
answered 7 hours ago
mrtaurho
2,9901928
2,9901928
add a comment |
add a comment |
up vote
1
down vote
Just differentiate the right hand side and see what you get. Note that
$$
frac{d}{dx}left(frac{a^x}{ln a}right)=frac{1}{ln a}frac{d}{dx}(e^{xln a})=frac{1}{ln a}times e^{xln a}times ln a=a^x
$$
where we used the chain rule in the second equality.
add a comment |
up vote
1
down vote
Just differentiate the right hand side and see what you get. Note that
$$
frac{d}{dx}left(frac{a^x}{ln a}right)=frac{1}{ln a}frac{d}{dx}(e^{xln a})=frac{1}{ln a}times e^{xln a}times ln a=a^x
$$
where we used the chain rule in the second equality.
add a comment |
up vote
1
down vote
up vote
1
down vote
Just differentiate the right hand side and see what you get. Note that
$$
frac{d}{dx}left(frac{a^x}{ln a}right)=frac{1}{ln a}frac{d}{dx}(e^{xln a})=frac{1}{ln a}times e^{xln a}times ln a=a^x
$$
where we used the chain rule in the second equality.
Just differentiate the right hand side and see what you get. Note that
$$
frac{d}{dx}left(frac{a^x}{ln a}right)=frac{1}{ln a}frac{d}{dx}(e^{xln a})=frac{1}{ln a}times e^{xln a}times ln a=a^x
$$
where we used the chain rule in the second equality.
answered 7 hours ago
Foobaz John
20.4k41250
20.4k41250
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%2f3043321%2fproof-of-exponential-function-integral%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
5
It's quite simple. $(a^x)' = a^xcdot ln(a)$, and the rule follows.
– Jakobian
7 hours ago
@Jakobian : The only real answer. +1.
– MPW
7 hours ago