Is there a change-of-variables solution for integrals from negative infinity to a constant?
$begingroup$
I found a fantastic and generalizable substitution technique for computing definite integrals that go to infinity from either negative infinity or a constant, regardless of the function (sorry for the external link):
http://ab-initio.mit.edu/wiki/index.php/Cubature#Infinite_intervals
But what's killing me is that I need the same sort of thing for a function going from negative infinity to a constant, and I can't convince myself that some obvious transformation of either of these two is correct. Doing u-substitution on any given integrand to take care of a (negative) infinite bound is simple enough, but a general transformation rule like one of the ones in the link - totally independent of the function itself - would be invaluable.
Edit 1 (Might be a Wild Goose Chase)
So the second formula up in that link, is:
$int_{-infty}^{infty}f(x)dx=int_{-1}^1 f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt$
If $a$ represents our generic real-number constant, the above could certainly be broken up as:
$int_{-infty}^{infty}f(x)dx=int_{-1}^a f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt+int_{a}^1 f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt$
Which tempts me to jump to the conclusion that the first term on the RHS can be used as our general negative-infinity-to-constant formula:
$int_{-infty}^{a}f(x)dx=int_{-1}^a f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt$
In order for this to be true, however, the second RHS term would have to complement it by being a valid formula to integrate from any constant up to infinity, IE:
$int_{a}^{infty}f(x)dx=int_{a}^1 f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt$
...but the first formula given at the above link is also supposed to be such a formula, solving for that exact LHS term! So the two would have to be equivalent - IE:
$int_{a}^{infty}f(x)dx=int_{a}^1 f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt=int_{0}^1 f(a+frac{t}{1-t})frac{1}{(1-t)^2}dt$
And here I'm stuck, because I can't figure out whether or not that's plausible for all convergent $f(x)$. I have a bad feeling about that whole approach because it relies on the assumption that dividing up a finite space at a given point is the same as dividing up an equivalent infinite space at the exact same point, proportionally.
integration infinity substitution
$endgroup$
add a comment |
$begingroup$
I found a fantastic and generalizable substitution technique for computing definite integrals that go to infinity from either negative infinity or a constant, regardless of the function (sorry for the external link):
http://ab-initio.mit.edu/wiki/index.php/Cubature#Infinite_intervals
But what's killing me is that I need the same sort of thing for a function going from negative infinity to a constant, and I can't convince myself that some obvious transformation of either of these two is correct. Doing u-substitution on any given integrand to take care of a (negative) infinite bound is simple enough, but a general transformation rule like one of the ones in the link - totally independent of the function itself - would be invaluable.
Edit 1 (Might be a Wild Goose Chase)
So the second formula up in that link, is:
$int_{-infty}^{infty}f(x)dx=int_{-1}^1 f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt$
If $a$ represents our generic real-number constant, the above could certainly be broken up as:
$int_{-infty}^{infty}f(x)dx=int_{-1}^a f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt+int_{a}^1 f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt$
Which tempts me to jump to the conclusion that the first term on the RHS can be used as our general negative-infinity-to-constant formula:
$int_{-infty}^{a}f(x)dx=int_{-1}^a f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt$
In order for this to be true, however, the second RHS term would have to complement it by being a valid formula to integrate from any constant up to infinity, IE:
$int_{a}^{infty}f(x)dx=int_{a}^1 f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt$
...but the first formula given at the above link is also supposed to be such a formula, solving for that exact LHS term! So the two would have to be equivalent - IE:
$int_{a}^{infty}f(x)dx=int_{a}^1 f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt=int_{0}^1 f(a+frac{t}{1-t})frac{1}{(1-t)^2}dt$
And here I'm stuck, because I can't figure out whether or not that's plausible for all convergent $f(x)$. I have a bad feeling about that whole approach because it relies on the assumption that dividing up a finite space at a given point is the same as dividing up an equivalent infinite space at the exact same point, proportionally.
integration infinity substitution
$endgroup$
add a comment |
$begingroup$
I found a fantastic and generalizable substitution technique for computing definite integrals that go to infinity from either negative infinity or a constant, regardless of the function (sorry for the external link):
http://ab-initio.mit.edu/wiki/index.php/Cubature#Infinite_intervals
But what's killing me is that I need the same sort of thing for a function going from negative infinity to a constant, and I can't convince myself that some obvious transformation of either of these two is correct. Doing u-substitution on any given integrand to take care of a (negative) infinite bound is simple enough, but a general transformation rule like one of the ones in the link - totally independent of the function itself - would be invaluable.
Edit 1 (Might be a Wild Goose Chase)
So the second formula up in that link, is:
$int_{-infty}^{infty}f(x)dx=int_{-1}^1 f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt$
If $a$ represents our generic real-number constant, the above could certainly be broken up as:
$int_{-infty}^{infty}f(x)dx=int_{-1}^a f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt+int_{a}^1 f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt$
Which tempts me to jump to the conclusion that the first term on the RHS can be used as our general negative-infinity-to-constant formula:
$int_{-infty}^{a}f(x)dx=int_{-1}^a f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt$
In order for this to be true, however, the second RHS term would have to complement it by being a valid formula to integrate from any constant up to infinity, IE:
$int_{a}^{infty}f(x)dx=int_{a}^1 f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt$
...but the first formula given at the above link is also supposed to be such a formula, solving for that exact LHS term! So the two would have to be equivalent - IE:
$int_{a}^{infty}f(x)dx=int_{a}^1 f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt=int_{0}^1 f(a+frac{t}{1-t})frac{1}{(1-t)^2}dt$
And here I'm stuck, because I can't figure out whether or not that's plausible for all convergent $f(x)$. I have a bad feeling about that whole approach because it relies on the assumption that dividing up a finite space at a given point is the same as dividing up an equivalent infinite space at the exact same point, proportionally.
integration infinity substitution
$endgroup$
I found a fantastic and generalizable substitution technique for computing definite integrals that go to infinity from either negative infinity or a constant, regardless of the function (sorry for the external link):
http://ab-initio.mit.edu/wiki/index.php/Cubature#Infinite_intervals
But what's killing me is that I need the same sort of thing for a function going from negative infinity to a constant, and I can't convince myself that some obvious transformation of either of these two is correct. Doing u-substitution on any given integrand to take care of a (negative) infinite bound is simple enough, but a general transformation rule like one of the ones in the link - totally independent of the function itself - would be invaluable.
Edit 1 (Might be a Wild Goose Chase)
So the second formula up in that link, is:
$int_{-infty}^{infty}f(x)dx=int_{-1}^1 f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt$
If $a$ represents our generic real-number constant, the above could certainly be broken up as:
$int_{-infty}^{infty}f(x)dx=int_{-1}^a f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt+int_{a}^1 f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt$
Which tempts me to jump to the conclusion that the first term on the RHS can be used as our general negative-infinity-to-constant formula:
$int_{-infty}^{a}f(x)dx=int_{-1}^a f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt$
In order for this to be true, however, the second RHS term would have to complement it by being a valid formula to integrate from any constant up to infinity, IE:
$int_{a}^{infty}f(x)dx=int_{a}^1 f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt$
...but the first formula given at the above link is also supposed to be such a formula, solving for that exact LHS term! So the two would have to be equivalent - IE:
$int_{a}^{infty}f(x)dx=int_{a}^1 f(frac{t}{1-t^2})frac{1+t^2}{(1-t^2)^2}dt=int_{0}^1 f(a+frac{t}{1-t})frac{1}{(1-t)^2}dt$
And here I'm stuck, because I can't figure out whether or not that's plausible for all convergent $f(x)$. I have a bad feeling about that whole approach because it relies on the assumption that dividing up a finite space at a given point is the same as dividing up an equivalent infinite space at the exact same point, proportionally.
integration infinity substitution
integration infinity substitution
edited Aug 4 '15 at 20:16
DHW
asked Aug 4 '15 at 18:44
DHWDHW
1215
1215
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
From the wikipedia page for integration by substitution, you need a differentiable function $varphi$ with integrable derivative. If $f$ is continuous, then
$$ int_{varphi(a)}^{varphi(b)} f(x) dx = int_a^b f(varphi(x)) varphi'(x) dx$$
As long as $varphi(a) = -infty$ and $varphi(b) = c$, it should work.
Some functions you can use are:
$$ varphi(x) = c + 1 - frac{1}{x} $$
$$ int_{-infty}^{c} f(x) dx = int_0^1 fleft(c + 1 - frac{1}{x} right) frac{1}{x^2} dx$$
$$ varphi(x) = c + log(x) $$
$$ int_{-infty}^{c} f(x) dx = int_0^1 f(c + log(x)) frac{1}{x} dx$$
$endgroup$
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%2f1384456%2fis-there-a-change-of-variables-solution-for-integrals-from-negative-infinity-to%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
From the wikipedia page for integration by substitution, you need a differentiable function $varphi$ with integrable derivative. If $f$ is continuous, then
$$ int_{varphi(a)}^{varphi(b)} f(x) dx = int_a^b f(varphi(x)) varphi'(x) dx$$
As long as $varphi(a) = -infty$ and $varphi(b) = c$, it should work.
Some functions you can use are:
$$ varphi(x) = c + 1 - frac{1}{x} $$
$$ int_{-infty}^{c} f(x) dx = int_0^1 fleft(c + 1 - frac{1}{x} right) frac{1}{x^2} dx$$
$$ varphi(x) = c + log(x) $$
$$ int_{-infty}^{c} f(x) dx = int_0^1 f(c + log(x)) frac{1}{x} dx$$
$endgroup$
add a comment |
$begingroup$
From the wikipedia page for integration by substitution, you need a differentiable function $varphi$ with integrable derivative. If $f$ is continuous, then
$$ int_{varphi(a)}^{varphi(b)} f(x) dx = int_a^b f(varphi(x)) varphi'(x) dx$$
As long as $varphi(a) = -infty$ and $varphi(b) = c$, it should work.
Some functions you can use are:
$$ varphi(x) = c + 1 - frac{1}{x} $$
$$ int_{-infty}^{c} f(x) dx = int_0^1 fleft(c + 1 - frac{1}{x} right) frac{1}{x^2} dx$$
$$ varphi(x) = c + log(x) $$
$$ int_{-infty}^{c} f(x) dx = int_0^1 f(c + log(x)) frac{1}{x} dx$$
$endgroup$
add a comment |
$begingroup$
From the wikipedia page for integration by substitution, you need a differentiable function $varphi$ with integrable derivative. If $f$ is continuous, then
$$ int_{varphi(a)}^{varphi(b)} f(x) dx = int_a^b f(varphi(x)) varphi'(x) dx$$
As long as $varphi(a) = -infty$ and $varphi(b) = c$, it should work.
Some functions you can use are:
$$ varphi(x) = c + 1 - frac{1}{x} $$
$$ int_{-infty}^{c} f(x) dx = int_0^1 fleft(c + 1 - frac{1}{x} right) frac{1}{x^2} dx$$
$$ varphi(x) = c + log(x) $$
$$ int_{-infty}^{c} f(x) dx = int_0^1 f(c + log(x)) frac{1}{x} dx$$
$endgroup$
From the wikipedia page for integration by substitution, you need a differentiable function $varphi$ with integrable derivative. If $f$ is continuous, then
$$ int_{varphi(a)}^{varphi(b)} f(x) dx = int_a^b f(varphi(x)) varphi'(x) dx$$
As long as $varphi(a) = -infty$ and $varphi(b) = c$, it should work.
Some functions you can use are:
$$ varphi(x) = c + 1 - frac{1}{x} $$
$$ int_{-infty}^{c} f(x) dx = int_0^1 fleft(c + 1 - frac{1}{x} right) frac{1}{x^2} dx$$
$$ varphi(x) = c + log(x) $$
$$ int_{-infty}^{c} f(x) dx = int_0^1 f(c + log(x)) frac{1}{x} dx$$
answered Dec 13 '18 at 3:39
slek120slek120
101
101
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%2f1384456%2fis-there-a-change-of-variables-solution-for-integrals-from-negative-infinity-to%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