How to solve integrals like $int frac{e^{pm i 2pi t/T}}{a^{2}+t^{2}} dt$
$begingroup$
How can one solve integrals of the form
$$int frac{e^{pm i 2pi t/T}}{a^{2}+t^{2}} dt, $$
in general (indefinite) and in the definite cases with integration domains over the period ($T$) or infinity,
$$int_{-T/2}^{T/2}cdots text{or} int_{-infty}^{infty}cdots, $$
where $i=sqrt{-1}$ and $aneq0$ ?
Note: please note that I am looking for direct methods, not methods that rely on Fourier analysis and the Fourier duality property.
calculus integration
$endgroup$
add a comment |
$begingroup$
How can one solve integrals of the form
$$int frac{e^{pm i 2pi t/T}}{a^{2}+t^{2}} dt, $$
in general (indefinite) and in the definite cases with integration domains over the period ($T$) or infinity,
$$int_{-T/2}^{T/2}cdots text{or} int_{-infty}^{infty}cdots, $$
where $i=sqrt{-1}$ and $aneq0$ ?
Note: please note that I am looking for direct methods, not methods that rely on Fourier analysis and the Fourier duality property.
calculus integration
$endgroup$
$begingroup$
From what I recall from one of my classes last semester, I recall seeing Fourier transforms used to solve integrals like this, perhaps combined with the properties of the transform under convolution. This is just a shot in the dark, though, but it might be worth a shot. (EDIT: Well, with that edit forbidding Fourier stuff, I've got nothing.)
$endgroup$
– Eevee Trainer
Jan 6 at 3:16
$begingroup$
@Eevee I just added the note on Fourier analysis (you were quicker than my edit!). I am looking for more direct methods :) This would be more helpful to solve cases with different integration limits than infinity, and also to see an alternative way of reaching it.
$endgroup$
– user135626
Jan 6 at 3:17
$begingroup$
Are those limits meant to be $int_{-T/2}^{T/2}$ and $int_{-infty}^infty$?
$endgroup$
– John Doe
Jan 6 at 3:25
$begingroup$
This looks like something that can be solved through the use of contour integrals.
$endgroup$
– Aldon
Jan 6 at 3:26
$begingroup$
@JohnDoe Yes, corrected it, thanks.
$endgroup$
– user135626
Jan 6 at 4:28
add a comment |
$begingroup$
How can one solve integrals of the form
$$int frac{e^{pm i 2pi t/T}}{a^{2}+t^{2}} dt, $$
in general (indefinite) and in the definite cases with integration domains over the period ($T$) or infinity,
$$int_{-T/2}^{T/2}cdots text{or} int_{-infty}^{infty}cdots, $$
where $i=sqrt{-1}$ and $aneq0$ ?
Note: please note that I am looking for direct methods, not methods that rely on Fourier analysis and the Fourier duality property.
calculus integration
$endgroup$
How can one solve integrals of the form
$$int frac{e^{pm i 2pi t/T}}{a^{2}+t^{2}} dt, $$
in general (indefinite) and in the definite cases with integration domains over the period ($T$) or infinity,
$$int_{-T/2}^{T/2}cdots text{or} int_{-infty}^{infty}cdots, $$
where $i=sqrt{-1}$ and $aneq0$ ?
Note: please note that I am looking for direct methods, not methods that rely on Fourier analysis and the Fourier duality property.
calculus integration
calculus integration
edited Jan 6 at 4:27
user135626
asked Jan 6 at 3:14
user135626user135626
432413
432413
$begingroup$
From what I recall from one of my classes last semester, I recall seeing Fourier transforms used to solve integrals like this, perhaps combined with the properties of the transform under convolution. This is just a shot in the dark, though, but it might be worth a shot. (EDIT: Well, with that edit forbidding Fourier stuff, I've got nothing.)
$endgroup$
– Eevee Trainer
Jan 6 at 3:16
$begingroup$
@Eevee I just added the note on Fourier analysis (you were quicker than my edit!). I am looking for more direct methods :) This would be more helpful to solve cases with different integration limits than infinity, and also to see an alternative way of reaching it.
$endgroup$
– user135626
Jan 6 at 3:17
$begingroup$
Are those limits meant to be $int_{-T/2}^{T/2}$ and $int_{-infty}^infty$?
$endgroup$
– John Doe
Jan 6 at 3:25
$begingroup$
This looks like something that can be solved through the use of contour integrals.
$endgroup$
– Aldon
Jan 6 at 3:26
$begingroup$
@JohnDoe Yes, corrected it, thanks.
$endgroup$
– user135626
Jan 6 at 4:28
add a comment |
$begingroup$
From what I recall from one of my classes last semester, I recall seeing Fourier transforms used to solve integrals like this, perhaps combined with the properties of the transform under convolution. This is just a shot in the dark, though, but it might be worth a shot. (EDIT: Well, with that edit forbidding Fourier stuff, I've got nothing.)
$endgroup$
– Eevee Trainer
Jan 6 at 3:16
$begingroup$
@Eevee I just added the note on Fourier analysis (you were quicker than my edit!). I am looking for more direct methods :) This would be more helpful to solve cases with different integration limits than infinity, and also to see an alternative way of reaching it.
$endgroup$
– user135626
Jan 6 at 3:17
$begingroup$
Are those limits meant to be $int_{-T/2}^{T/2}$ and $int_{-infty}^infty$?
$endgroup$
– John Doe
Jan 6 at 3:25
$begingroup$
This looks like something that can be solved through the use of contour integrals.
$endgroup$
– Aldon
Jan 6 at 3:26
$begingroup$
@JohnDoe Yes, corrected it, thanks.
$endgroup$
– user135626
Jan 6 at 4:28
$begingroup$
From what I recall from one of my classes last semester, I recall seeing Fourier transforms used to solve integrals like this, perhaps combined with the properties of the transform under convolution. This is just a shot in the dark, though, but it might be worth a shot. (EDIT: Well, with that edit forbidding Fourier stuff, I've got nothing.)
$endgroup$
– Eevee Trainer
Jan 6 at 3:16
$begingroup$
From what I recall from one of my classes last semester, I recall seeing Fourier transforms used to solve integrals like this, perhaps combined with the properties of the transform under convolution. This is just a shot in the dark, though, but it might be worth a shot. (EDIT: Well, with that edit forbidding Fourier stuff, I've got nothing.)
$endgroup$
– Eevee Trainer
Jan 6 at 3:16
$begingroup$
@Eevee I just added the note on Fourier analysis (you were quicker than my edit!). I am looking for more direct methods :) This would be more helpful to solve cases with different integration limits than infinity, and also to see an alternative way of reaching it.
$endgroup$
– user135626
Jan 6 at 3:17
$begingroup$
@Eevee I just added the note on Fourier analysis (you were quicker than my edit!). I am looking for more direct methods :) This would be more helpful to solve cases with different integration limits than infinity, and also to see an alternative way of reaching it.
$endgroup$
– user135626
Jan 6 at 3:17
$begingroup$
Are those limits meant to be $int_{-T/2}^{T/2}$ and $int_{-infty}^infty$?
$endgroup$
– John Doe
Jan 6 at 3:25
$begingroup$
Are those limits meant to be $int_{-T/2}^{T/2}$ and $int_{-infty}^infty$?
$endgroup$
– John Doe
Jan 6 at 3:25
$begingroup$
This looks like something that can be solved through the use of contour integrals.
$endgroup$
– Aldon
Jan 6 at 3:26
$begingroup$
This looks like something that can be solved through the use of contour integrals.
$endgroup$
– Aldon
Jan 6 at 3:26
$begingroup$
@JohnDoe Yes, corrected it, thanks.
$endgroup$
– user135626
Jan 6 at 4:28
$begingroup$
@JohnDoe Yes, corrected it, thanks.
$endgroup$
– user135626
Jan 6 at 4:28
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
For the definite integral case, if we have $$int_{-infty}^inftyfrac{e^{2pi i t/T}}{a^2+t^2}mathrm dt$$then we can evaluate this using contour integration by picking a semi-circular contour in the upper half plane. This encloses a simple pole at $t=ai$, and it can be shown that as the radius of the semi-circle tends to $infty$, the contribution to the integral from the curved part of the contour is zero. So the integral is equal to $$2pi i,text{Res}left(frac{e^{2pi i t/T}}{a^2+t^2},airight)=2pi i frac{e^{-2pi a/T}}{2ai}=fracpi ae^{-2pi a/T}$$
For $$int_{-T/2}^{T/2}frac{e^{2pi i t/T}}{a^2+t^2}mathrm dt$$we have that this integral equals $$int_0^pifrac{e^{pi i e^{itheta}}}{a^2+T^2/4cdot e^{2itheta}}(T/2) e^{itheta}imathrm dtheta+fracpi ae^{-2pi a/T}textbf 1_{[0,T/2]}(|a|)$$ where $textbf 1_{A}(x)=begin{cases}1&xin A\0&xnotin Aend{cases}$ is an indicator function. I am not sure of a simple way to compute this integral.
The indefinite case is, of course, the hardest.
$endgroup$
add a comment |
$begingroup$
The indefinite integral can't be done using elementary functions. It can be expressed in terms of special functions. Thus Maple writes it as
$$ {frac {i}{2a} left( {{rm e}^{-{frac {2pi,a}{T}}}}{rm Ei}_1
left( -{frac {2pi, left( it+a right) }{T}} right) -{
{rm e}^{{frac {2pi,a}{T}}}}{rm Ei}_1 left(-{frac {2pi,
left( it-a right) }{T}} right) right) }$$
EDIT: The fact that there is no elementary antiderivative can be proven. It follows from the Risch theory (actually this case is a theorem of Liouville, IIRC) that the only cases where $int r(t) exp(a t); dt$ is elementary, where $a$ is a nonzero constant and $r(t)$ is a rational function, is where the antiderivatives are of the form $R(t) exp(a t) + c$, and then $r(t) = R'(t) + a R(t)$. In particular, this can't happen if $r(t)$ has a simple pole.
$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%2f3063437%2fhow-to-solve-integrals-like-int-frace-pm-i-2-pi-t-ta2t2-dt%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$
For the definite integral case, if we have $$int_{-infty}^inftyfrac{e^{2pi i t/T}}{a^2+t^2}mathrm dt$$then we can evaluate this using contour integration by picking a semi-circular contour in the upper half plane. This encloses a simple pole at $t=ai$, and it can be shown that as the radius of the semi-circle tends to $infty$, the contribution to the integral from the curved part of the contour is zero. So the integral is equal to $$2pi i,text{Res}left(frac{e^{2pi i t/T}}{a^2+t^2},airight)=2pi i frac{e^{-2pi a/T}}{2ai}=fracpi ae^{-2pi a/T}$$
For $$int_{-T/2}^{T/2}frac{e^{2pi i t/T}}{a^2+t^2}mathrm dt$$we have that this integral equals $$int_0^pifrac{e^{pi i e^{itheta}}}{a^2+T^2/4cdot e^{2itheta}}(T/2) e^{itheta}imathrm dtheta+fracpi ae^{-2pi a/T}textbf 1_{[0,T/2]}(|a|)$$ where $textbf 1_{A}(x)=begin{cases}1&xin A\0&xnotin Aend{cases}$ is an indicator function. I am not sure of a simple way to compute this integral.
The indefinite case is, of course, the hardest.
$endgroup$
add a comment |
$begingroup$
For the definite integral case, if we have $$int_{-infty}^inftyfrac{e^{2pi i t/T}}{a^2+t^2}mathrm dt$$then we can evaluate this using contour integration by picking a semi-circular contour in the upper half plane. This encloses a simple pole at $t=ai$, and it can be shown that as the radius of the semi-circle tends to $infty$, the contribution to the integral from the curved part of the contour is zero. So the integral is equal to $$2pi i,text{Res}left(frac{e^{2pi i t/T}}{a^2+t^2},airight)=2pi i frac{e^{-2pi a/T}}{2ai}=fracpi ae^{-2pi a/T}$$
For $$int_{-T/2}^{T/2}frac{e^{2pi i t/T}}{a^2+t^2}mathrm dt$$we have that this integral equals $$int_0^pifrac{e^{pi i e^{itheta}}}{a^2+T^2/4cdot e^{2itheta}}(T/2) e^{itheta}imathrm dtheta+fracpi ae^{-2pi a/T}textbf 1_{[0,T/2]}(|a|)$$ where $textbf 1_{A}(x)=begin{cases}1&xin A\0&xnotin Aend{cases}$ is an indicator function. I am not sure of a simple way to compute this integral.
The indefinite case is, of course, the hardest.
$endgroup$
add a comment |
$begingroup$
For the definite integral case, if we have $$int_{-infty}^inftyfrac{e^{2pi i t/T}}{a^2+t^2}mathrm dt$$then we can evaluate this using contour integration by picking a semi-circular contour in the upper half plane. This encloses a simple pole at $t=ai$, and it can be shown that as the radius of the semi-circle tends to $infty$, the contribution to the integral from the curved part of the contour is zero. So the integral is equal to $$2pi i,text{Res}left(frac{e^{2pi i t/T}}{a^2+t^2},airight)=2pi i frac{e^{-2pi a/T}}{2ai}=fracpi ae^{-2pi a/T}$$
For $$int_{-T/2}^{T/2}frac{e^{2pi i t/T}}{a^2+t^2}mathrm dt$$we have that this integral equals $$int_0^pifrac{e^{pi i e^{itheta}}}{a^2+T^2/4cdot e^{2itheta}}(T/2) e^{itheta}imathrm dtheta+fracpi ae^{-2pi a/T}textbf 1_{[0,T/2]}(|a|)$$ where $textbf 1_{A}(x)=begin{cases}1&xin A\0&xnotin Aend{cases}$ is an indicator function. I am not sure of a simple way to compute this integral.
The indefinite case is, of course, the hardest.
$endgroup$
For the definite integral case, if we have $$int_{-infty}^inftyfrac{e^{2pi i t/T}}{a^2+t^2}mathrm dt$$then we can evaluate this using contour integration by picking a semi-circular contour in the upper half plane. This encloses a simple pole at $t=ai$, and it can be shown that as the radius of the semi-circle tends to $infty$, the contribution to the integral from the curved part of the contour is zero. So the integral is equal to $$2pi i,text{Res}left(frac{e^{2pi i t/T}}{a^2+t^2},airight)=2pi i frac{e^{-2pi a/T}}{2ai}=fracpi ae^{-2pi a/T}$$
For $$int_{-T/2}^{T/2}frac{e^{2pi i t/T}}{a^2+t^2}mathrm dt$$we have that this integral equals $$int_0^pifrac{e^{pi i e^{itheta}}}{a^2+T^2/4cdot e^{2itheta}}(T/2) e^{itheta}imathrm dtheta+fracpi ae^{-2pi a/T}textbf 1_{[0,T/2]}(|a|)$$ where $textbf 1_{A}(x)=begin{cases}1&xin A\0&xnotin Aend{cases}$ is an indicator function. I am not sure of a simple way to compute this integral.
The indefinite case is, of course, the hardest.
edited Jan 6 at 3:47
answered Jan 6 at 3:30
John DoeJohn Doe
11.1k11238
11.1k11238
add a comment |
add a comment |
$begingroup$
The indefinite integral can't be done using elementary functions. It can be expressed in terms of special functions. Thus Maple writes it as
$$ {frac {i}{2a} left( {{rm e}^{-{frac {2pi,a}{T}}}}{rm Ei}_1
left( -{frac {2pi, left( it+a right) }{T}} right) -{
{rm e}^{{frac {2pi,a}{T}}}}{rm Ei}_1 left(-{frac {2pi,
left( it-a right) }{T}} right) right) }$$
EDIT: The fact that there is no elementary antiderivative can be proven. It follows from the Risch theory (actually this case is a theorem of Liouville, IIRC) that the only cases where $int r(t) exp(a t); dt$ is elementary, where $a$ is a nonzero constant and $r(t)$ is a rational function, is where the antiderivatives are of the form $R(t) exp(a t) + c$, and then $r(t) = R'(t) + a R(t)$. In particular, this can't happen if $r(t)$ has a simple pole.
$endgroup$
add a comment |
$begingroup$
The indefinite integral can't be done using elementary functions. It can be expressed in terms of special functions. Thus Maple writes it as
$$ {frac {i}{2a} left( {{rm e}^{-{frac {2pi,a}{T}}}}{rm Ei}_1
left( -{frac {2pi, left( it+a right) }{T}} right) -{
{rm e}^{{frac {2pi,a}{T}}}}{rm Ei}_1 left(-{frac {2pi,
left( it-a right) }{T}} right) right) }$$
EDIT: The fact that there is no elementary antiderivative can be proven. It follows from the Risch theory (actually this case is a theorem of Liouville, IIRC) that the only cases where $int r(t) exp(a t); dt$ is elementary, where $a$ is a nonzero constant and $r(t)$ is a rational function, is where the antiderivatives are of the form $R(t) exp(a t) + c$, and then $r(t) = R'(t) + a R(t)$. In particular, this can't happen if $r(t)$ has a simple pole.
$endgroup$
add a comment |
$begingroup$
The indefinite integral can't be done using elementary functions. It can be expressed in terms of special functions. Thus Maple writes it as
$$ {frac {i}{2a} left( {{rm e}^{-{frac {2pi,a}{T}}}}{rm Ei}_1
left( -{frac {2pi, left( it+a right) }{T}} right) -{
{rm e}^{{frac {2pi,a}{T}}}}{rm Ei}_1 left(-{frac {2pi,
left( it-a right) }{T}} right) right) }$$
EDIT: The fact that there is no elementary antiderivative can be proven. It follows from the Risch theory (actually this case is a theorem of Liouville, IIRC) that the only cases where $int r(t) exp(a t); dt$ is elementary, where $a$ is a nonzero constant and $r(t)$ is a rational function, is where the antiderivatives are of the form $R(t) exp(a t) + c$, and then $r(t) = R'(t) + a R(t)$. In particular, this can't happen if $r(t)$ has a simple pole.
$endgroup$
The indefinite integral can't be done using elementary functions. It can be expressed in terms of special functions. Thus Maple writes it as
$$ {frac {i}{2a} left( {{rm e}^{-{frac {2pi,a}{T}}}}{rm Ei}_1
left( -{frac {2pi, left( it+a right) }{T}} right) -{
{rm e}^{{frac {2pi,a}{T}}}}{rm Ei}_1 left(-{frac {2pi,
left( it-a right) }{T}} right) right) }$$
EDIT: The fact that there is no elementary antiderivative can be proven. It follows from the Risch theory (actually this case is a theorem of Liouville, IIRC) that the only cases where $int r(t) exp(a t); dt$ is elementary, where $a$ is a nonzero constant and $r(t)$ is a rational function, is where the antiderivatives are of the form $R(t) exp(a t) + c$, and then $r(t) = R'(t) + a R(t)$. In particular, this can't happen if $r(t)$ has a simple pole.
edited Jan 6 at 15:41
answered Jan 6 at 4:12
Robert IsraelRobert Israel
321k23210462
321k23210462
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%2f3063437%2fhow-to-solve-integrals-like-int-frace-pm-i-2-pi-t-ta2t2-dt%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$
From what I recall from one of my classes last semester, I recall seeing Fourier transforms used to solve integrals like this, perhaps combined with the properties of the transform under convolution. This is just a shot in the dark, though, but it might be worth a shot. (EDIT: Well, with that edit forbidding Fourier stuff, I've got nothing.)
$endgroup$
– Eevee Trainer
Jan 6 at 3:16
$begingroup$
@Eevee I just added the note on Fourier analysis (you were quicker than my edit!). I am looking for more direct methods :) This would be more helpful to solve cases with different integration limits than infinity, and also to see an alternative way of reaching it.
$endgroup$
– user135626
Jan 6 at 3:17
$begingroup$
Are those limits meant to be $int_{-T/2}^{T/2}$ and $int_{-infty}^infty$?
$endgroup$
– John Doe
Jan 6 at 3:25
$begingroup$
This looks like something that can be solved through the use of contour integrals.
$endgroup$
– Aldon
Jan 6 at 3:26
$begingroup$
@JohnDoe Yes, corrected it, thanks.
$endgroup$
– user135626
Jan 6 at 4:28