Integration problem solving without contour integration
Can the following question be solved without using contour integration.
$F:(0,infty)times (0,infty)to Bbb R$ be given by
$F(alpha,beta)=displaystyleint_0^inftyfrac{cos(alpha x)}{x^4+beta^4},dx$
Show that
$frac{F(alpha,beta)}{F(beta,alpha)}=frac{alpha^3}{beta^3}$ as long as there is no positive integer n such that $alpha=frac{(4n-1)pisqrt{2}}{4beta}$
integration improper-integrals self-learning contour-integration
|
show 2 more comments
Can the following question be solved without using contour integration.
$F:(0,infty)times (0,infty)to Bbb R$ be given by
$F(alpha,beta)=displaystyleint_0^inftyfrac{cos(alpha x)}{x^4+beta^4},dx$
Show that
$frac{F(alpha,beta)}{F(beta,alpha)}=frac{alpha^3}{beta^3}$ as long as there is no positive integer n such that $alpha=frac{(4n-1)pisqrt{2}}{4beta}$
integration improper-integrals self-learning contour-integration
I gave it a few tries, but I am not able to solve it by Feynman integration. Integrating by power series also seems unlikely to succeed. And obviously finding an anti-derivative is completely hopeless as it is not elementary.
– SmileyCraft
Dec 22 '18 at 13:45
@SmileyCraft. In fact, there is an explicit formula for the integral.
– Claude Leibovici
Dec 22 '18 at 15:11
@ClaudeLeibovici Yeah, but do you know of a way of finding it without contour integration? And all I said was there is no explicit formula for the antiderivative of the integrand.
– SmileyCraft
Dec 22 '18 at 15:15
@SmileyCraft. A CAS made it for me (the integral) ! The antiderivative is quite awful but doable in terms of sine and cosine integrals after partial fracion decomposition.
– Claude Leibovici
Dec 22 '18 at 15:18
@ClaudeLeibovici I meant that it is not elementary. But indeed there is an antiderivative, but there always is one for continuous functions. By the way, what is a CAS?
– SmileyCraft
Dec 22 '18 at 15:21
|
show 2 more comments
Can the following question be solved without using contour integration.
$F:(0,infty)times (0,infty)to Bbb R$ be given by
$F(alpha,beta)=displaystyleint_0^inftyfrac{cos(alpha x)}{x^4+beta^4},dx$
Show that
$frac{F(alpha,beta)}{F(beta,alpha)}=frac{alpha^3}{beta^3}$ as long as there is no positive integer n such that $alpha=frac{(4n-1)pisqrt{2}}{4beta}$
integration improper-integrals self-learning contour-integration
Can the following question be solved without using contour integration.
$F:(0,infty)times (0,infty)to Bbb R$ be given by
$F(alpha,beta)=displaystyleint_0^inftyfrac{cos(alpha x)}{x^4+beta^4},dx$
Show that
$frac{F(alpha,beta)}{F(beta,alpha)}=frac{alpha^3}{beta^3}$ as long as there is no positive integer n such that $alpha=frac{(4n-1)pisqrt{2}}{4beta}$
integration improper-integrals self-learning contour-integration
integration improper-integrals self-learning contour-integration
asked Dec 22 '18 at 12:56
Dhamnekar Winod
387414
387414
I gave it a few tries, but I am not able to solve it by Feynman integration. Integrating by power series also seems unlikely to succeed. And obviously finding an anti-derivative is completely hopeless as it is not elementary.
– SmileyCraft
Dec 22 '18 at 13:45
@SmileyCraft. In fact, there is an explicit formula for the integral.
– Claude Leibovici
Dec 22 '18 at 15:11
@ClaudeLeibovici Yeah, but do you know of a way of finding it without contour integration? And all I said was there is no explicit formula for the antiderivative of the integrand.
– SmileyCraft
Dec 22 '18 at 15:15
@SmileyCraft. A CAS made it for me (the integral) ! The antiderivative is quite awful but doable in terms of sine and cosine integrals after partial fracion decomposition.
– Claude Leibovici
Dec 22 '18 at 15:18
@ClaudeLeibovici I meant that it is not elementary. But indeed there is an antiderivative, but there always is one for continuous functions. By the way, what is a CAS?
– SmileyCraft
Dec 22 '18 at 15:21
|
show 2 more comments
I gave it a few tries, but I am not able to solve it by Feynman integration. Integrating by power series also seems unlikely to succeed. And obviously finding an anti-derivative is completely hopeless as it is not elementary.
– SmileyCraft
Dec 22 '18 at 13:45
@SmileyCraft. In fact, there is an explicit formula for the integral.
– Claude Leibovici
Dec 22 '18 at 15:11
@ClaudeLeibovici Yeah, but do you know of a way of finding it without contour integration? And all I said was there is no explicit formula for the antiderivative of the integrand.
– SmileyCraft
Dec 22 '18 at 15:15
@SmileyCraft. A CAS made it for me (the integral) ! The antiderivative is quite awful but doable in terms of sine and cosine integrals after partial fracion decomposition.
– Claude Leibovici
Dec 22 '18 at 15:18
@ClaudeLeibovici I meant that it is not elementary. But indeed there is an antiderivative, but there always is one for continuous functions. By the way, what is a CAS?
– SmileyCraft
Dec 22 '18 at 15:21
I gave it a few tries, but I am not able to solve it by Feynman integration. Integrating by power series also seems unlikely to succeed. And obviously finding an anti-derivative is completely hopeless as it is not elementary.
– SmileyCraft
Dec 22 '18 at 13:45
I gave it a few tries, but I am not able to solve it by Feynman integration. Integrating by power series also seems unlikely to succeed. And obviously finding an anti-derivative is completely hopeless as it is not elementary.
– SmileyCraft
Dec 22 '18 at 13:45
@SmileyCraft. In fact, there is an explicit formula for the integral.
– Claude Leibovici
Dec 22 '18 at 15:11
@SmileyCraft. In fact, there is an explicit formula for the integral.
– Claude Leibovici
Dec 22 '18 at 15:11
@ClaudeLeibovici Yeah, but do you know of a way of finding it without contour integration? And all I said was there is no explicit formula for the antiderivative of the integrand.
– SmileyCraft
Dec 22 '18 at 15:15
@ClaudeLeibovici Yeah, but do you know of a way of finding it without contour integration? And all I said was there is no explicit formula for the antiderivative of the integrand.
– SmileyCraft
Dec 22 '18 at 15:15
@SmileyCraft. A CAS made it for me (the integral) ! The antiderivative is quite awful but doable in terms of sine and cosine integrals after partial fracion decomposition.
– Claude Leibovici
Dec 22 '18 at 15:18
@SmileyCraft. A CAS made it for me (the integral) ! The antiderivative is quite awful but doable in terms of sine and cosine integrals after partial fracion decomposition.
– Claude Leibovici
Dec 22 '18 at 15:18
@ClaudeLeibovici I meant that it is not elementary. But indeed there is an antiderivative, but there always is one for continuous functions. By the way, what is a CAS?
– SmileyCraft
Dec 22 '18 at 15:21
@ClaudeLeibovici I meant that it is not elementary. But indeed there is an antiderivative, but there always is one for continuous functions. By the way, what is a CAS?
– SmileyCraft
Dec 22 '18 at 15:21
|
show 2 more comments
2 Answers
2
active
oldest
votes
To answer your question concerning why the quotient
$$frac{F(alpha, beta)}{F(beta, alpha)} = frac{alpha^3}{beta^3},$$
is only defined provided
$$alpha neq frac{(4n - 1) pi sqrt{2}}{4b},$$
where $n in mathbb{N}$, it is helpful if one has the explicit expression for $F$ at hand.
Using the Residue Theorem a value for $F(alpha, beta)$ can be found. It is given by (for a proof of this, see here)
$$F (alpha, beta) = frac{pi}{2 alpha^3} exp left (-frac{alpha beta}{sqrt{2}} right ) sin left (frac{alpha beta}{sqrt{2}} + frac{pi}{4} right ), qquad alpha, beta > 0.$$
Similarly,
$$F (beta, alpha) = frac{pi}{2 beta^3} exp left (-frac{alpha beta}{sqrt{2}} right ) sin left (frac{alpha beta}{sqrt{2}} + frac{pi}{4} right ), qquad alpha, beta > 0.$$
If the required quotient is to be defined, clearly $F (beta, alpha) neq 0$. Thus the sine term appearing in the expression for $F(beta, alpha)$ must be non-zero. Thus
$$frac{alpha beta}{sqrt{2}} + frac{pi}{4} neq n pi quad text{or} quad alpha neq frac{(4n - 1) pi sqrt{2}}{4 beta},$$
where $n in mathbb{N}$, as required.
add a comment |
Switching to integration parameter $t=frac{alpha}{beta}x$ gives $$F(alpha,beta)=displaystyleint_0^inftyfrac{cos(beta t)}{(frac{beta}{alpha}t)^4+beta^4},frac{beta}{alpha},dt=frac{alpha^3}{beta^3}F(beta,alpha)$$
1
,what about the condition of positive integer n?
– Dhamnekar Winod
Dec 22 '18 at 16:03
As mentioned by Zachary, for such a special $bf{n}$ one has $F(alpha,beta)=F(beta,alpha)=0$, so their quotient is undefined. Rewriting the equation as ${beta}^3F(alpha,beta)={alpha}^3F(beta,alpha)$ avoids that problem.
– random
Dec 23 '18 at 1:26
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%2f3049430%2fintegration-problem-solving-without-contour-integration%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
To answer your question concerning why the quotient
$$frac{F(alpha, beta)}{F(beta, alpha)} = frac{alpha^3}{beta^3},$$
is only defined provided
$$alpha neq frac{(4n - 1) pi sqrt{2}}{4b},$$
where $n in mathbb{N}$, it is helpful if one has the explicit expression for $F$ at hand.
Using the Residue Theorem a value for $F(alpha, beta)$ can be found. It is given by (for a proof of this, see here)
$$F (alpha, beta) = frac{pi}{2 alpha^3} exp left (-frac{alpha beta}{sqrt{2}} right ) sin left (frac{alpha beta}{sqrt{2}} + frac{pi}{4} right ), qquad alpha, beta > 0.$$
Similarly,
$$F (beta, alpha) = frac{pi}{2 beta^3} exp left (-frac{alpha beta}{sqrt{2}} right ) sin left (frac{alpha beta}{sqrt{2}} + frac{pi}{4} right ), qquad alpha, beta > 0.$$
If the required quotient is to be defined, clearly $F (beta, alpha) neq 0$. Thus the sine term appearing in the expression for $F(beta, alpha)$ must be non-zero. Thus
$$frac{alpha beta}{sqrt{2}} + frac{pi}{4} neq n pi quad text{or} quad alpha neq frac{(4n - 1) pi sqrt{2}}{4 beta},$$
where $n in mathbb{N}$, as required.
add a comment |
To answer your question concerning why the quotient
$$frac{F(alpha, beta)}{F(beta, alpha)} = frac{alpha^3}{beta^3},$$
is only defined provided
$$alpha neq frac{(4n - 1) pi sqrt{2}}{4b},$$
where $n in mathbb{N}$, it is helpful if one has the explicit expression for $F$ at hand.
Using the Residue Theorem a value for $F(alpha, beta)$ can be found. It is given by (for a proof of this, see here)
$$F (alpha, beta) = frac{pi}{2 alpha^3} exp left (-frac{alpha beta}{sqrt{2}} right ) sin left (frac{alpha beta}{sqrt{2}} + frac{pi}{4} right ), qquad alpha, beta > 0.$$
Similarly,
$$F (beta, alpha) = frac{pi}{2 beta^3} exp left (-frac{alpha beta}{sqrt{2}} right ) sin left (frac{alpha beta}{sqrt{2}} + frac{pi}{4} right ), qquad alpha, beta > 0.$$
If the required quotient is to be defined, clearly $F (beta, alpha) neq 0$. Thus the sine term appearing in the expression for $F(beta, alpha)$ must be non-zero. Thus
$$frac{alpha beta}{sqrt{2}} + frac{pi}{4} neq n pi quad text{or} quad alpha neq frac{(4n - 1) pi sqrt{2}}{4 beta},$$
where $n in mathbb{N}$, as required.
add a comment |
To answer your question concerning why the quotient
$$frac{F(alpha, beta)}{F(beta, alpha)} = frac{alpha^3}{beta^3},$$
is only defined provided
$$alpha neq frac{(4n - 1) pi sqrt{2}}{4b},$$
where $n in mathbb{N}$, it is helpful if one has the explicit expression for $F$ at hand.
Using the Residue Theorem a value for $F(alpha, beta)$ can be found. It is given by (for a proof of this, see here)
$$F (alpha, beta) = frac{pi}{2 alpha^3} exp left (-frac{alpha beta}{sqrt{2}} right ) sin left (frac{alpha beta}{sqrt{2}} + frac{pi}{4} right ), qquad alpha, beta > 0.$$
Similarly,
$$F (beta, alpha) = frac{pi}{2 beta^3} exp left (-frac{alpha beta}{sqrt{2}} right ) sin left (frac{alpha beta}{sqrt{2}} + frac{pi}{4} right ), qquad alpha, beta > 0.$$
If the required quotient is to be defined, clearly $F (beta, alpha) neq 0$. Thus the sine term appearing in the expression for $F(beta, alpha)$ must be non-zero. Thus
$$frac{alpha beta}{sqrt{2}} + frac{pi}{4} neq n pi quad text{or} quad alpha neq frac{(4n - 1) pi sqrt{2}}{4 beta},$$
where $n in mathbb{N}$, as required.
To answer your question concerning why the quotient
$$frac{F(alpha, beta)}{F(beta, alpha)} = frac{alpha^3}{beta^3},$$
is only defined provided
$$alpha neq frac{(4n - 1) pi sqrt{2}}{4b},$$
where $n in mathbb{N}$, it is helpful if one has the explicit expression for $F$ at hand.
Using the Residue Theorem a value for $F(alpha, beta)$ can be found. It is given by (for a proof of this, see here)
$$F (alpha, beta) = frac{pi}{2 alpha^3} exp left (-frac{alpha beta}{sqrt{2}} right ) sin left (frac{alpha beta}{sqrt{2}} + frac{pi}{4} right ), qquad alpha, beta > 0.$$
Similarly,
$$F (beta, alpha) = frac{pi}{2 beta^3} exp left (-frac{alpha beta}{sqrt{2}} right ) sin left (frac{alpha beta}{sqrt{2}} + frac{pi}{4} right ), qquad alpha, beta > 0.$$
If the required quotient is to be defined, clearly $F (beta, alpha) neq 0$. Thus the sine term appearing in the expression for $F(beta, alpha)$ must be non-zero. Thus
$$frac{alpha beta}{sqrt{2}} + frac{pi}{4} neq n pi quad text{or} quad alpha neq frac{(4n - 1) pi sqrt{2}}{4 beta},$$
where $n in mathbb{N}$, as required.
answered Dec 23 '18 at 9:40
omegadot
4,7222727
4,7222727
add a comment |
add a comment |
Switching to integration parameter $t=frac{alpha}{beta}x$ gives $$F(alpha,beta)=displaystyleint_0^inftyfrac{cos(beta t)}{(frac{beta}{alpha}t)^4+beta^4},frac{beta}{alpha},dt=frac{alpha^3}{beta^3}F(beta,alpha)$$
1
,what about the condition of positive integer n?
– Dhamnekar Winod
Dec 22 '18 at 16:03
As mentioned by Zachary, for such a special $bf{n}$ one has $F(alpha,beta)=F(beta,alpha)=0$, so their quotient is undefined. Rewriting the equation as ${beta}^3F(alpha,beta)={alpha}^3F(beta,alpha)$ avoids that problem.
– random
Dec 23 '18 at 1:26
add a comment |
Switching to integration parameter $t=frac{alpha}{beta}x$ gives $$F(alpha,beta)=displaystyleint_0^inftyfrac{cos(beta t)}{(frac{beta}{alpha}t)^4+beta^4},frac{beta}{alpha},dt=frac{alpha^3}{beta^3}F(beta,alpha)$$
1
,what about the condition of positive integer n?
– Dhamnekar Winod
Dec 22 '18 at 16:03
As mentioned by Zachary, for such a special $bf{n}$ one has $F(alpha,beta)=F(beta,alpha)=0$, so their quotient is undefined. Rewriting the equation as ${beta}^3F(alpha,beta)={alpha}^3F(beta,alpha)$ avoids that problem.
– random
Dec 23 '18 at 1:26
add a comment |
Switching to integration parameter $t=frac{alpha}{beta}x$ gives $$F(alpha,beta)=displaystyleint_0^inftyfrac{cos(beta t)}{(frac{beta}{alpha}t)^4+beta^4},frac{beta}{alpha},dt=frac{alpha^3}{beta^3}F(beta,alpha)$$
Switching to integration parameter $t=frac{alpha}{beta}x$ gives $$F(alpha,beta)=displaystyleint_0^inftyfrac{cos(beta t)}{(frac{beta}{alpha}t)^4+beta^4},frac{beta}{alpha},dt=frac{alpha^3}{beta^3}F(beta,alpha)$$
edited Dec 22 '18 at 14:00
answered Dec 22 '18 at 13:55
random
50626
50626
1
,what about the condition of positive integer n?
– Dhamnekar Winod
Dec 22 '18 at 16:03
As mentioned by Zachary, for such a special $bf{n}$ one has $F(alpha,beta)=F(beta,alpha)=0$, so their quotient is undefined. Rewriting the equation as ${beta}^3F(alpha,beta)={alpha}^3F(beta,alpha)$ avoids that problem.
– random
Dec 23 '18 at 1:26
add a comment |
1
,what about the condition of positive integer n?
– Dhamnekar Winod
Dec 22 '18 at 16:03
As mentioned by Zachary, for such a special $bf{n}$ one has $F(alpha,beta)=F(beta,alpha)=0$, so their quotient is undefined. Rewriting the equation as ${beta}^3F(alpha,beta)={alpha}^3F(beta,alpha)$ avoids that problem.
– random
Dec 23 '18 at 1:26
1
1
,what about the condition of positive integer n?
– Dhamnekar Winod
Dec 22 '18 at 16:03
,what about the condition of positive integer n?
– Dhamnekar Winod
Dec 22 '18 at 16:03
As mentioned by Zachary, for such a special $bf{n}$ one has $F(alpha,beta)=F(beta,alpha)=0$, so their quotient is undefined. Rewriting the equation as ${beta}^3F(alpha,beta)={alpha}^3F(beta,alpha)$ avoids that problem.
– random
Dec 23 '18 at 1:26
As mentioned by Zachary, for such a special $bf{n}$ one has $F(alpha,beta)=F(beta,alpha)=0$, so their quotient is undefined. Rewriting the equation as ${beta}^3F(alpha,beta)={alpha}^3F(beta,alpha)$ avoids that problem.
– random
Dec 23 '18 at 1:26
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%2f3049430%2fintegration-problem-solving-without-contour-integration%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
I gave it a few tries, but I am not able to solve it by Feynman integration. Integrating by power series also seems unlikely to succeed. And obviously finding an anti-derivative is completely hopeless as it is not elementary.
– SmileyCraft
Dec 22 '18 at 13:45
@SmileyCraft. In fact, there is an explicit formula for the integral.
– Claude Leibovici
Dec 22 '18 at 15:11
@ClaudeLeibovici Yeah, but do you know of a way of finding it without contour integration? And all I said was there is no explicit formula for the antiderivative of the integrand.
– SmileyCraft
Dec 22 '18 at 15:15
@SmileyCraft. A CAS made it for me (the integral) ! The antiderivative is quite awful but doable in terms of sine and cosine integrals after partial fracion decomposition.
– Claude Leibovici
Dec 22 '18 at 15:18
@ClaudeLeibovici I meant that it is not elementary. But indeed there is an antiderivative, but there always is one for continuous functions. By the way, what is a CAS?
– SmileyCraft
Dec 22 '18 at 15:21