Can the lower limit of $frac{d}{dx} int^x_a f(t)dt = f(x)$ be $-infty$?
$begingroup$
I'm self studying math, based on the fundamental theorem of Calculus, $$frac{d}{dx} int^x_a f(t)dt = f(x)$$ can the lower limit be $-infty$?
calculus
$endgroup$
add a comment |
$begingroup$
I'm self studying math, based on the fundamental theorem of Calculus, $$frac{d}{dx} int^x_a f(t)dt = f(x)$$ can the lower limit be $-infty$?
calculus
$endgroup$
3
$begingroup$
If $int_{-infty}^{x_0} f(t) , dt$ is defined for some $x_0$, then write $$ int_{-infty}^{x} f(t) , dt = underbrace{int_{-infty}^{x_0} f(t) , dt}_{text{constant}} + int_{x_0}^{x} f(t) , dt$$ and apply FToC to the second term!
$endgroup$
– Sangchul Lee
Dec 8 '18 at 1:03
$begingroup$
@SangchulLee what is the constant equal to?
$endgroup$
– drerD
Dec 8 '18 at 1:18
$begingroup$
Nothing can be said unless the function $f$ is specified. But as soon as differentiation is concerned, its value is irrelevant for obtaining FToC-type result for $a=-infty$.
$endgroup$
– Sangchul Lee
Dec 8 '18 at 1:21
$begingroup$
if you can break down the integral into infinite smaller pieces, $sum^{x}_{k=-infty} f(k)$ then wouldn't it be infinity?
$endgroup$
– drerD
Dec 8 '18 at 1:59
$begingroup$
Putting aside the issue that $sum_{k=0}^{infty} f(k)$ is not necessarily related to the improper integral $int_{0}^{infty} f(t) , dt$, are you asking whether $int_{0}^{infty} f(t) , dt$ always diverges? If so, then the answer is definitely no, much like an infinite sum need not necessarily diverge. For instance, $$ int_{0}^{infty} e^{-x} , dx = 1, qquad int_{0}^{infty} e^{-x^2} , dx = frac{sqrt{pi}}{2}, qquad int_{0}^{infty} frac{dx}{1+x^2} = frac{pi}{2}, quad cdots. $$
$endgroup$
– Sangchul Lee
Dec 8 '18 at 2:05
add a comment |
$begingroup$
I'm self studying math, based on the fundamental theorem of Calculus, $$frac{d}{dx} int^x_a f(t)dt = f(x)$$ can the lower limit be $-infty$?
calculus
$endgroup$
I'm self studying math, based on the fundamental theorem of Calculus, $$frac{d}{dx} int^x_a f(t)dt = f(x)$$ can the lower limit be $-infty$?
calculus
calculus
edited Dec 8 '18 at 4:40
Andrews
3901317
3901317
asked Dec 8 '18 at 0:49
drerDdrerD
1559
1559
3
$begingroup$
If $int_{-infty}^{x_0} f(t) , dt$ is defined for some $x_0$, then write $$ int_{-infty}^{x} f(t) , dt = underbrace{int_{-infty}^{x_0} f(t) , dt}_{text{constant}} + int_{x_0}^{x} f(t) , dt$$ and apply FToC to the second term!
$endgroup$
– Sangchul Lee
Dec 8 '18 at 1:03
$begingroup$
@SangchulLee what is the constant equal to?
$endgroup$
– drerD
Dec 8 '18 at 1:18
$begingroup$
Nothing can be said unless the function $f$ is specified. But as soon as differentiation is concerned, its value is irrelevant for obtaining FToC-type result for $a=-infty$.
$endgroup$
– Sangchul Lee
Dec 8 '18 at 1:21
$begingroup$
if you can break down the integral into infinite smaller pieces, $sum^{x}_{k=-infty} f(k)$ then wouldn't it be infinity?
$endgroup$
– drerD
Dec 8 '18 at 1:59
$begingroup$
Putting aside the issue that $sum_{k=0}^{infty} f(k)$ is not necessarily related to the improper integral $int_{0}^{infty} f(t) , dt$, are you asking whether $int_{0}^{infty} f(t) , dt$ always diverges? If so, then the answer is definitely no, much like an infinite sum need not necessarily diverge. For instance, $$ int_{0}^{infty} e^{-x} , dx = 1, qquad int_{0}^{infty} e^{-x^2} , dx = frac{sqrt{pi}}{2}, qquad int_{0}^{infty} frac{dx}{1+x^2} = frac{pi}{2}, quad cdots. $$
$endgroup$
– Sangchul Lee
Dec 8 '18 at 2:05
add a comment |
3
$begingroup$
If $int_{-infty}^{x_0} f(t) , dt$ is defined for some $x_0$, then write $$ int_{-infty}^{x} f(t) , dt = underbrace{int_{-infty}^{x_0} f(t) , dt}_{text{constant}} + int_{x_0}^{x} f(t) , dt$$ and apply FToC to the second term!
$endgroup$
– Sangchul Lee
Dec 8 '18 at 1:03
$begingroup$
@SangchulLee what is the constant equal to?
$endgroup$
– drerD
Dec 8 '18 at 1:18
$begingroup$
Nothing can be said unless the function $f$ is specified. But as soon as differentiation is concerned, its value is irrelevant for obtaining FToC-type result for $a=-infty$.
$endgroup$
– Sangchul Lee
Dec 8 '18 at 1:21
$begingroup$
if you can break down the integral into infinite smaller pieces, $sum^{x}_{k=-infty} f(k)$ then wouldn't it be infinity?
$endgroup$
– drerD
Dec 8 '18 at 1:59
$begingroup$
Putting aside the issue that $sum_{k=0}^{infty} f(k)$ is not necessarily related to the improper integral $int_{0}^{infty} f(t) , dt$, are you asking whether $int_{0}^{infty} f(t) , dt$ always diverges? If so, then the answer is definitely no, much like an infinite sum need not necessarily diverge. For instance, $$ int_{0}^{infty} e^{-x} , dx = 1, qquad int_{0}^{infty} e^{-x^2} , dx = frac{sqrt{pi}}{2}, qquad int_{0}^{infty} frac{dx}{1+x^2} = frac{pi}{2}, quad cdots. $$
$endgroup$
– Sangchul Lee
Dec 8 '18 at 2:05
3
3
$begingroup$
If $int_{-infty}^{x_0} f(t) , dt$ is defined for some $x_0$, then write $$ int_{-infty}^{x} f(t) , dt = underbrace{int_{-infty}^{x_0} f(t) , dt}_{text{constant}} + int_{x_0}^{x} f(t) , dt$$ and apply FToC to the second term!
$endgroup$
– Sangchul Lee
Dec 8 '18 at 1:03
$begingroup$
If $int_{-infty}^{x_0} f(t) , dt$ is defined for some $x_0$, then write $$ int_{-infty}^{x} f(t) , dt = underbrace{int_{-infty}^{x_0} f(t) , dt}_{text{constant}} + int_{x_0}^{x} f(t) , dt$$ and apply FToC to the second term!
$endgroup$
– Sangchul Lee
Dec 8 '18 at 1:03
$begingroup$
@SangchulLee what is the constant equal to?
$endgroup$
– drerD
Dec 8 '18 at 1:18
$begingroup$
@SangchulLee what is the constant equal to?
$endgroup$
– drerD
Dec 8 '18 at 1:18
$begingroup$
Nothing can be said unless the function $f$ is specified. But as soon as differentiation is concerned, its value is irrelevant for obtaining FToC-type result for $a=-infty$.
$endgroup$
– Sangchul Lee
Dec 8 '18 at 1:21
$begingroup$
Nothing can be said unless the function $f$ is specified. But as soon as differentiation is concerned, its value is irrelevant for obtaining FToC-type result for $a=-infty$.
$endgroup$
– Sangchul Lee
Dec 8 '18 at 1:21
$begingroup$
if you can break down the integral into infinite smaller pieces, $sum^{x}_{k=-infty} f(k)$ then wouldn't it be infinity?
$endgroup$
– drerD
Dec 8 '18 at 1:59
$begingroup$
if you can break down the integral into infinite smaller pieces, $sum^{x}_{k=-infty} f(k)$ then wouldn't it be infinity?
$endgroup$
– drerD
Dec 8 '18 at 1:59
$begingroup$
Putting aside the issue that $sum_{k=0}^{infty} f(k)$ is not necessarily related to the improper integral $int_{0}^{infty} f(t) , dt$, are you asking whether $int_{0}^{infty} f(t) , dt$ always diverges? If so, then the answer is definitely no, much like an infinite sum need not necessarily diverge. For instance, $$ int_{0}^{infty} e^{-x} , dx = 1, qquad int_{0}^{infty} e^{-x^2} , dx = frac{sqrt{pi}}{2}, qquad int_{0}^{infty} frac{dx}{1+x^2} = frac{pi}{2}, quad cdots. $$
$endgroup$
– Sangchul Lee
Dec 8 '18 at 2:05
$begingroup$
Putting aside the issue that $sum_{k=0}^{infty} f(k)$ is not necessarily related to the improper integral $int_{0}^{infty} f(t) , dt$, are you asking whether $int_{0}^{infty} f(t) , dt$ always diverges? If so, then the answer is definitely no, much like an infinite sum need not necessarily diverge. For instance, $$ int_{0}^{infty} e^{-x} , dx = 1, qquad int_{0}^{infty} e^{-x^2} , dx = frac{sqrt{pi}}{2}, qquad int_{0}^{infty} frac{dx}{1+x^2} = frac{pi}{2}, quad cdots. $$
$endgroup$
– Sangchul Lee
Dec 8 '18 at 2:05
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Yes, lower limit can be $-infty$ but only provided the resulting improper integral converges. This only means if you first integrate from $a$ to $x,$ get that answer, and then let $a to -infty,$ that limit exists.
I'm assuming $f(t)$ is defined and continuous (or sufficiently nice) on $(-infty,x).$
$endgroup$
$begingroup$
why does the function f(x) needs to be continuous? Is the integral of a non-continuous f(x) non-continuous?
$endgroup$
– drerD
Dec 8 '18 at 1:20
$begingroup$
@user14042 Integration theory does not require integrand to be continuous. But it gets complicated in more general cases, and at least one needs to know if it's Riemann integral or other type.
$endgroup$
– coffeemath
Dec 8 '18 at 1:26
$begingroup$
@user14042 Consider the case of a function $f(x)$ that is equal to $e^x$ for non integers and equal to $x$ for integers. If you integrate it and take the derivative, you'll get $e^x$, which is a different function from $f$. Continuity is sufficient to ensure this doesn't happen.
$endgroup$
– eyeballfrog
Dec 8 '18 at 5:23
add a comment |
$begingroup$
f(x) depeds only on x not on a.
If f(t)=-t then $frac{d}{dx} intlimits^x_a (-t)dt = -frac{x^2}{2}$ and the lower boun of this function is $-infty$.
$endgroup$
$begingroup$
what's lim sup?
$endgroup$
– drerD
Dec 8 '18 at 1:17
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%2f3030569%2fcan-the-lower-limit-of-fracddx-intx-a-ftdt-fx-be-infty%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$
Yes, lower limit can be $-infty$ but only provided the resulting improper integral converges. This only means if you first integrate from $a$ to $x,$ get that answer, and then let $a to -infty,$ that limit exists.
I'm assuming $f(t)$ is defined and continuous (or sufficiently nice) on $(-infty,x).$
$endgroup$
$begingroup$
why does the function f(x) needs to be continuous? Is the integral of a non-continuous f(x) non-continuous?
$endgroup$
– drerD
Dec 8 '18 at 1:20
$begingroup$
@user14042 Integration theory does not require integrand to be continuous. But it gets complicated in more general cases, and at least one needs to know if it's Riemann integral or other type.
$endgroup$
– coffeemath
Dec 8 '18 at 1:26
$begingroup$
@user14042 Consider the case of a function $f(x)$ that is equal to $e^x$ for non integers and equal to $x$ for integers. If you integrate it and take the derivative, you'll get $e^x$, which is a different function from $f$. Continuity is sufficient to ensure this doesn't happen.
$endgroup$
– eyeballfrog
Dec 8 '18 at 5:23
add a comment |
$begingroup$
Yes, lower limit can be $-infty$ but only provided the resulting improper integral converges. This only means if you first integrate from $a$ to $x,$ get that answer, and then let $a to -infty,$ that limit exists.
I'm assuming $f(t)$ is defined and continuous (or sufficiently nice) on $(-infty,x).$
$endgroup$
$begingroup$
why does the function f(x) needs to be continuous? Is the integral of a non-continuous f(x) non-continuous?
$endgroup$
– drerD
Dec 8 '18 at 1:20
$begingroup$
@user14042 Integration theory does not require integrand to be continuous. But it gets complicated in more general cases, and at least one needs to know if it's Riemann integral or other type.
$endgroup$
– coffeemath
Dec 8 '18 at 1:26
$begingroup$
@user14042 Consider the case of a function $f(x)$ that is equal to $e^x$ for non integers and equal to $x$ for integers. If you integrate it and take the derivative, you'll get $e^x$, which is a different function from $f$. Continuity is sufficient to ensure this doesn't happen.
$endgroup$
– eyeballfrog
Dec 8 '18 at 5:23
add a comment |
$begingroup$
Yes, lower limit can be $-infty$ but only provided the resulting improper integral converges. This only means if you first integrate from $a$ to $x,$ get that answer, and then let $a to -infty,$ that limit exists.
I'm assuming $f(t)$ is defined and continuous (or sufficiently nice) on $(-infty,x).$
$endgroup$
Yes, lower limit can be $-infty$ but only provided the resulting improper integral converges. This only means if you first integrate from $a$ to $x,$ get that answer, and then let $a to -infty,$ that limit exists.
I'm assuming $f(t)$ is defined and continuous (or sufficiently nice) on $(-infty,x).$
answered Dec 8 '18 at 0:54
coffeemathcoffeemath
2,7501415
2,7501415
$begingroup$
why does the function f(x) needs to be continuous? Is the integral of a non-continuous f(x) non-continuous?
$endgroup$
– drerD
Dec 8 '18 at 1:20
$begingroup$
@user14042 Integration theory does not require integrand to be continuous. But it gets complicated in more general cases, and at least one needs to know if it's Riemann integral or other type.
$endgroup$
– coffeemath
Dec 8 '18 at 1:26
$begingroup$
@user14042 Consider the case of a function $f(x)$ that is equal to $e^x$ for non integers and equal to $x$ for integers. If you integrate it and take the derivative, you'll get $e^x$, which is a different function from $f$. Continuity is sufficient to ensure this doesn't happen.
$endgroup$
– eyeballfrog
Dec 8 '18 at 5:23
add a comment |
$begingroup$
why does the function f(x) needs to be continuous? Is the integral of a non-continuous f(x) non-continuous?
$endgroup$
– drerD
Dec 8 '18 at 1:20
$begingroup$
@user14042 Integration theory does not require integrand to be continuous. But it gets complicated in more general cases, and at least one needs to know if it's Riemann integral or other type.
$endgroup$
– coffeemath
Dec 8 '18 at 1:26
$begingroup$
@user14042 Consider the case of a function $f(x)$ that is equal to $e^x$ for non integers and equal to $x$ for integers. If you integrate it and take the derivative, you'll get $e^x$, which is a different function from $f$. Continuity is sufficient to ensure this doesn't happen.
$endgroup$
– eyeballfrog
Dec 8 '18 at 5:23
$begingroup$
why does the function f(x) needs to be continuous? Is the integral of a non-continuous f(x) non-continuous?
$endgroup$
– drerD
Dec 8 '18 at 1:20
$begingroup$
why does the function f(x) needs to be continuous? Is the integral of a non-continuous f(x) non-continuous?
$endgroup$
– drerD
Dec 8 '18 at 1:20
$begingroup$
@user14042 Integration theory does not require integrand to be continuous. But it gets complicated in more general cases, and at least one needs to know if it's Riemann integral or other type.
$endgroup$
– coffeemath
Dec 8 '18 at 1:26
$begingroup$
@user14042 Integration theory does not require integrand to be continuous. But it gets complicated in more general cases, and at least one needs to know if it's Riemann integral or other type.
$endgroup$
– coffeemath
Dec 8 '18 at 1:26
$begingroup$
@user14042 Consider the case of a function $f(x)$ that is equal to $e^x$ for non integers and equal to $x$ for integers. If you integrate it and take the derivative, you'll get $e^x$, which is a different function from $f$. Continuity is sufficient to ensure this doesn't happen.
$endgroup$
– eyeballfrog
Dec 8 '18 at 5:23
$begingroup$
@user14042 Consider the case of a function $f(x)$ that is equal to $e^x$ for non integers and equal to $x$ for integers. If you integrate it and take the derivative, you'll get $e^x$, which is a different function from $f$. Continuity is sufficient to ensure this doesn't happen.
$endgroup$
– eyeballfrog
Dec 8 '18 at 5:23
add a comment |
$begingroup$
f(x) depeds only on x not on a.
If f(t)=-t then $frac{d}{dx} intlimits^x_a (-t)dt = -frac{x^2}{2}$ and the lower boun of this function is $-infty$.
$endgroup$
$begingroup$
what's lim sup?
$endgroup$
– drerD
Dec 8 '18 at 1:17
add a comment |
$begingroup$
f(x) depeds only on x not on a.
If f(t)=-t then $frac{d}{dx} intlimits^x_a (-t)dt = -frac{x^2}{2}$ and the lower boun of this function is $-infty$.
$endgroup$
$begingroup$
what's lim sup?
$endgroup$
– drerD
Dec 8 '18 at 1:17
add a comment |
$begingroup$
f(x) depeds only on x not on a.
If f(t)=-t then $frac{d}{dx} intlimits^x_a (-t)dt = -frac{x^2}{2}$ and the lower boun of this function is $-infty$.
$endgroup$
f(x) depeds only on x not on a.
If f(t)=-t then $frac{d}{dx} intlimits^x_a (-t)dt = -frac{x^2}{2}$ and the lower boun of this function is $-infty$.
edited Dec 8 '18 at 1:47
answered Dec 8 '18 at 1:06
Станчо ПавловСтанчо Павлов
12
12
$begingroup$
what's lim sup?
$endgroup$
– drerD
Dec 8 '18 at 1:17
add a comment |
$begingroup$
what's lim sup?
$endgroup$
– drerD
Dec 8 '18 at 1:17
$begingroup$
what's lim sup?
$endgroup$
– drerD
Dec 8 '18 at 1:17
$begingroup$
what's lim sup?
$endgroup$
– drerD
Dec 8 '18 at 1:17
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%2f3030569%2fcan-the-lower-limit-of-fracddx-intx-a-ftdt-fx-be-infty%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
3
$begingroup$
If $int_{-infty}^{x_0} f(t) , dt$ is defined for some $x_0$, then write $$ int_{-infty}^{x} f(t) , dt = underbrace{int_{-infty}^{x_0} f(t) , dt}_{text{constant}} + int_{x_0}^{x} f(t) , dt$$ and apply FToC to the second term!
$endgroup$
– Sangchul Lee
Dec 8 '18 at 1:03
$begingroup$
@SangchulLee what is the constant equal to?
$endgroup$
– drerD
Dec 8 '18 at 1:18
$begingroup$
Nothing can be said unless the function $f$ is specified. But as soon as differentiation is concerned, its value is irrelevant for obtaining FToC-type result for $a=-infty$.
$endgroup$
– Sangchul Lee
Dec 8 '18 at 1:21
$begingroup$
if you can break down the integral into infinite smaller pieces, $sum^{x}_{k=-infty} f(k)$ then wouldn't it be infinity?
$endgroup$
– drerD
Dec 8 '18 at 1:59
$begingroup$
Putting aside the issue that $sum_{k=0}^{infty} f(k)$ is not necessarily related to the improper integral $int_{0}^{infty} f(t) , dt$, are you asking whether $int_{0}^{infty} f(t) , dt$ always diverges? If so, then the answer is definitely no, much like an infinite sum need not necessarily diverge. For instance, $$ int_{0}^{infty} e^{-x} , dx = 1, qquad int_{0}^{infty} e^{-x^2} , dx = frac{sqrt{pi}}{2}, qquad int_{0}^{infty} frac{dx}{1+x^2} = frac{pi}{2}, quad cdots. $$
$endgroup$
– Sangchul Lee
Dec 8 '18 at 2:05