Prove $int^infty_0 fraccos(ax)cosh(beta x)dx = fracpi2betaoperatornamesech(fracapi2beta)$ The 2019 Stack Overflow Developer Survey Results Are InFourier transform of 1/coshShow $int_0^infty fraccos a x-cos b xsinh beta xfracdxx=logbig( fraccosh fracbpi2 betacosh fracapi2betabig)$Integral of the product of squared exponential and two erf functionsIntegration of $int e^axcos bxcosh cx,dx$Derivation of Gradshteyn and Ryzhik integral 3.876.1 (in question)The entry-level PhD integral: $int_0^inftyfracsin 3xsin 4xsin5xcos6xxsin^2 xcosh x dx$Calculate using residues $int_0^inftyint_0^inftycosfracpi2Big(nx^2-fracy^2nBig)cospi xyovercoshpi xcoshpi ydxdy,ninmathbbN$Computing the Integral $inttanh[b(x-a)]cosbeta x,dx$Evaluate $int_-infty^inftycos(x)operatornamesech(x)dx$Integral $intlimits_0^inftye^-frac12left(y^2+fract^2y^2right),dy$Evaluating $int_-infty^inftyfrac1-acosh(alpha x)(cosh(alpha x)-a)^2cos(beta x),dx$
Flight paths in orbit around Ceres?
How did passengers keep warm on sail ships?
Why doesn't UInt have a toDouble()?
How do I free up internal storage if I don't have any apps downloaded?
Can a flute soloist sit?
Worn-tile Scrabble
Ubuntu Server install with full GUI
Can we generate random numbers using irrational numbers like π and e?
How can I define good in a religion that claims no moral authority?
Can there be female White Walkers?
What is this business jet?
Relationship between Gromov-Witten and Taubes' Gromov invariant
Does HR tell a hiring manager about salary negotiations?
Why are there uneven bright areas in this photo of black hole?
If I score a critical hit on an 18 or higher, what are my chances of getting a critical hit if I roll 3d20?
Why isn't the circumferential light around the M87 black hole's event horizon symmetric?
Is an up-to-date browser secure on an out-of-date OS?
How can I add encounters in the Lost Mine of Phandelver campaign without giving PCs too much XP?
Button changing its text & action. Good or terrible?
Star Trek - X-shaped Item on Regula/Orbital Office Starbases
How to charge AirPods to keep battery healthy?
What do these terms in Caesar's Gallic wars mean?
ODD NUMBER in Cognitive Linguistics of WILLIAM CROFT and D. ALAN CRUSE
What is the motivation for a law requiring 2 parties to consent for recording a conversation
Prove $int^infty_0 fraccos(ax)cosh(beta x)dx = fracpi2betaoperatornamesech(fracapi2beta)$
The 2019 Stack Overflow Developer Survey Results Are InFourier transform of 1/coshShow $int_0^infty fraccos a x-cos b xsinh beta xfracdxx=logbig( fraccosh fracbpi2 betacosh fracapi2betabig)$Integral of the product of squared exponential and two erf functionsIntegration of $int e^axcos bxcosh cx,dx$Derivation of Gradshteyn and Ryzhik integral 3.876.1 (in question)The entry-level PhD integral: $int_0^inftyfracsin 3xsin 4xsin5xcos6xxsin^2 xcosh x dx$Calculate using residues $int_0^inftyint_0^inftycosfracpi2Big(nx^2-fracy^2nBig)cospi xyovercoshpi xcoshpi ydxdy,ninmathbbN$Computing the Integral $inttanh[b(x-a)]cosbeta x,dx$Evaluate $int_-infty^inftycos(x)operatornamesech(x)dx$Integral $intlimits_0^inftye^-frac12left(y^2+fract^2y^2right),dy$Evaluating $int_-infty^inftyfrac1-acosh(alpha x)(cosh(alpha x)-a)^2cos(beta x),dx$
$begingroup$
Proof of 3.981.3 Gradshteyn ed.8.
$$int^infty_0 fraccos(ax)cosh(beta x)dx = fracpi2betaoperatornamesech(fracapi2beta)$$
I was interested in the derivation (not necessarily rigorously proved) of the above result. I've tried using derivation under integral sign using $$I(a) = int^infty_0 fraccos(ax)cosh(x)dx$$ but with no success.
A hint would be highly appreciated.
calculus integration definite-integrals trigonometric-integrals
$endgroup$
add a comment |
$begingroup$
Proof of 3.981.3 Gradshteyn ed.8.
$$int^infty_0 fraccos(ax)cosh(beta x)dx = fracpi2betaoperatornamesech(fracapi2beta)$$
I was interested in the derivation (not necessarily rigorously proved) of the above result. I've tried using derivation under integral sign using $$I(a) = int^infty_0 fraccos(ax)cosh(x)dx$$ but with no success.
A hint would be highly appreciated.
calculus integration definite-integrals trigonometric-integrals
$endgroup$
$begingroup$
You can look at this answer by Ron Gordon and use some basic substitutions in the integral to transform it to yours.
$endgroup$
– aleden
Mar 24 at 13:55
$begingroup$
@aleden Thanks, the cited procedure was a nice insight.
$endgroup$
– Elianther
Mar 25 at 0:17
add a comment |
$begingroup$
Proof of 3.981.3 Gradshteyn ed.8.
$$int^infty_0 fraccos(ax)cosh(beta x)dx = fracpi2betaoperatornamesech(fracapi2beta)$$
I was interested in the derivation (not necessarily rigorously proved) of the above result. I've tried using derivation under integral sign using $$I(a) = int^infty_0 fraccos(ax)cosh(x)dx$$ but with no success.
A hint would be highly appreciated.
calculus integration definite-integrals trigonometric-integrals
$endgroup$
Proof of 3.981.3 Gradshteyn ed.8.
$$int^infty_0 fraccos(ax)cosh(beta x)dx = fracpi2betaoperatornamesech(fracapi2beta)$$
I was interested in the derivation (not necessarily rigorously proved) of the above result. I've tried using derivation under integral sign using $$I(a) = int^infty_0 fraccos(ax)cosh(x)dx$$ but with no success.
A hint would be highly appreciated.
calculus integration definite-integrals trigonometric-integrals
calculus integration definite-integrals trigonometric-integrals
edited Mar 24 at 4:39
Andrews
1,2812423
1,2812423
asked Mar 24 at 3:53
EliantherElianther
12
12
$begingroup$
You can look at this answer by Ron Gordon and use some basic substitutions in the integral to transform it to yours.
$endgroup$
– aleden
Mar 24 at 13:55
$begingroup$
@aleden Thanks, the cited procedure was a nice insight.
$endgroup$
– Elianther
Mar 25 at 0:17
add a comment |
$begingroup$
You can look at this answer by Ron Gordon and use some basic substitutions in the integral to transform it to yours.
$endgroup$
– aleden
Mar 24 at 13:55
$begingroup$
@aleden Thanks, the cited procedure was a nice insight.
$endgroup$
– Elianther
Mar 25 at 0:17
$begingroup$
You can look at this answer by Ron Gordon and use some basic substitutions in the integral to transform it to yours.
$endgroup$
– aleden
Mar 24 at 13:55
$begingroup$
You can look at this answer by Ron Gordon and use some basic substitutions in the integral to transform it to yours.
$endgroup$
– aleden
Mar 24 at 13:55
$begingroup$
@aleden Thanks, the cited procedure was a nice insight.
$endgroup$
– Elianther
Mar 25 at 0:17
$begingroup$
@aleden Thanks, the cited procedure was a nice insight.
$endgroup$
– Elianther
Mar 25 at 0:17
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Hint: The function is even, so it's easily turned into an integral over the real line. Try rewriting it as a contour integral to turn it into an infinite sum over the residues at the poles of $mathrmsech$.
$endgroup$
$begingroup$
Thanks, I was rather hesitant in using the residue theorem (since it just too powerful and might as well be considered "cheating"). Now, I think it is interesting (and might as well be another separate question) to note the procedure cited by @aleden where Gordon used a different criteria of determining the residue: $sum_kRe_z=z_kleft[pi cot(pi z)f(z)right] sim sum_kRe_z=z_kleft[pi csc(pi z)f(z)right]$ Is there any difference between both criteria? I have used the r.h.s. and the residue is zero however, using the l.h.s. the desired result is obtained.
$endgroup$
– Elianther
Mar 25 at 0:29
add a comment |
$begingroup$
Interesting problem, for sure.
Using a CAS, the antiderivative can be found. If as
$$I=int cos (a x), textsech(b x),dx$$ write $$(a^2+b^2),e^-bx,I=(b+i a)e^- i a x , _2F_1left(1,fracb-i a2 b;frac3b-ia2;-e^2 b
xright)+$$ $$(b-i a) e^ i a x , _2F_1left(1,fracb+i a2 b;frac3b+i a2
b;-e^2 b xright)$$ where appear the gaussian hypergeometric functions.
Using the limits
$$K=int_0^infty cos (a x), textsech(b x),dx=fracpsi left(frac3b-ia4 bright)+psi left(frac3b+i
a4 bright)-psi left(fracb-i a4 bright)-psi
left(fracb+i a4 bright)4 b$$ and using the properties of the digamma function
$$K=fracpi 2 b textsechleft(fracpi a2 bright)$$
$endgroup$
$begingroup$
I have found that using the following substitutions: $t = e^-x rightarrow u = t^2beta$ one gets the following integral: $frac12betaint_0^1fracu^ia/2beta-1/2-u^-ia/2beta-1/21-udu = frac12betaleft[psileft(frac1+beta+ia2right)-psileft(frac1+beta-ia2right)right]$. From here, the result may be near but not quite apparent; it seems it is somehow logically conected to the procedure you have posted.
$endgroup$
– Elianther
Mar 25 at 0:43
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%2f3160080%2fprove-int-infty-0-frac-cosax-cosh-beta-xdx-frac-pi2-beta%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$
Hint: The function is even, so it's easily turned into an integral over the real line. Try rewriting it as a contour integral to turn it into an infinite sum over the residues at the poles of $mathrmsech$.
$endgroup$
$begingroup$
Thanks, I was rather hesitant in using the residue theorem (since it just too powerful and might as well be considered "cheating"). Now, I think it is interesting (and might as well be another separate question) to note the procedure cited by @aleden where Gordon used a different criteria of determining the residue: $sum_kRe_z=z_kleft[pi cot(pi z)f(z)right] sim sum_kRe_z=z_kleft[pi csc(pi z)f(z)right]$ Is there any difference between both criteria? I have used the r.h.s. and the residue is zero however, using the l.h.s. the desired result is obtained.
$endgroup$
– Elianther
Mar 25 at 0:29
add a comment |
$begingroup$
Hint: The function is even, so it's easily turned into an integral over the real line. Try rewriting it as a contour integral to turn it into an infinite sum over the residues at the poles of $mathrmsech$.
$endgroup$
$begingroup$
Thanks, I was rather hesitant in using the residue theorem (since it just too powerful and might as well be considered "cheating"). Now, I think it is interesting (and might as well be another separate question) to note the procedure cited by @aleden where Gordon used a different criteria of determining the residue: $sum_kRe_z=z_kleft[pi cot(pi z)f(z)right] sim sum_kRe_z=z_kleft[pi csc(pi z)f(z)right]$ Is there any difference between both criteria? I have used the r.h.s. and the residue is zero however, using the l.h.s. the desired result is obtained.
$endgroup$
– Elianther
Mar 25 at 0:29
add a comment |
$begingroup$
Hint: The function is even, so it's easily turned into an integral over the real line. Try rewriting it as a contour integral to turn it into an infinite sum over the residues at the poles of $mathrmsech$.
$endgroup$
Hint: The function is even, so it's easily turned into an integral over the real line. Try rewriting it as a contour integral to turn it into an infinite sum over the residues at the poles of $mathrmsech$.
answered Mar 24 at 5:12
eyeballfrogeyeballfrog
7,212633
7,212633
$begingroup$
Thanks, I was rather hesitant in using the residue theorem (since it just too powerful and might as well be considered "cheating"). Now, I think it is interesting (and might as well be another separate question) to note the procedure cited by @aleden where Gordon used a different criteria of determining the residue: $sum_kRe_z=z_kleft[pi cot(pi z)f(z)right] sim sum_kRe_z=z_kleft[pi csc(pi z)f(z)right]$ Is there any difference between both criteria? I have used the r.h.s. and the residue is zero however, using the l.h.s. the desired result is obtained.
$endgroup$
– Elianther
Mar 25 at 0:29
add a comment |
$begingroup$
Thanks, I was rather hesitant in using the residue theorem (since it just too powerful and might as well be considered "cheating"). Now, I think it is interesting (and might as well be another separate question) to note the procedure cited by @aleden where Gordon used a different criteria of determining the residue: $sum_kRe_z=z_kleft[pi cot(pi z)f(z)right] sim sum_kRe_z=z_kleft[pi csc(pi z)f(z)right]$ Is there any difference between both criteria? I have used the r.h.s. and the residue is zero however, using the l.h.s. the desired result is obtained.
$endgroup$
– Elianther
Mar 25 at 0:29
$begingroup$
Thanks, I was rather hesitant in using the residue theorem (since it just too powerful and might as well be considered "cheating"). Now, I think it is interesting (and might as well be another separate question) to note the procedure cited by @aleden where Gordon used a different criteria of determining the residue: $sum_kRe_z=z_kleft[pi cot(pi z)f(z)right] sim sum_kRe_z=z_kleft[pi csc(pi z)f(z)right]$ Is there any difference between both criteria? I have used the r.h.s. and the residue is zero however, using the l.h.s. the desired result is obtained.
$endgroup$
– Elianther
Mar 25 at 0:29
$begingroup$
Thanks, I was rather hesitant in using the residue theorem (since it just too powerful and might as well be considered "cheating"). Now, I think it is interesting (and might as well be another separate question) to note the procedure cited by @aleden where Gordon used a different criteria of determining the residue: $sum_kRe_z=z_kleft[pi cot(pi z)f(z)right] sim sum_kRe_z=z_kleft[pi csc(pi z)f(z)right]$ Is there any difference between both criteria? I have used the r.h.s. and the residue is zero however, using the l.h.s. the desired result is obtained.
$endgroup$
– Elianther
Mar 25 at 0:29
add a comment |
$begingroup$
Interesting problem, for sure.
Using a CAS, the antiderivative can be found. If as
$$I=int cos (a x), textsech(b x),dx$$ write $$(a^2+b^2),e^-bx,I=(b+i a)e^- i a x , _2F_1left(1,fracb-i a2 b;frac3b-ia2;-e^2 b
xright)+$$ $$(b-i a) e^ i a x , _2F_1left(1,fracb+i a2 b;frac3b+i a2
b;-e^2 b xright)$$ where appear the gaussian hypergeometric functions.
Using the limits
$$K=int_0^infty cos (a x), textsech(b x),dx=fracpsi left(frac3b-ia4 bright)+psi left(frac3b+i
a4 bright)-psi left(fracb-i a4 bright)-psi
left(fracb+i a4 bright)4 b$$ and using the properties of the digamma function
$$K=fracpi 2 b textsechleft(fracpi a2 bright)$$
$endgroup$
$begingroup$
I have found that using the following substitutions: $t = e^-x rightarrow u = t^2beta$ one gets the following integral: $frac12betaint_0^1fracu^ia/2beta-1/2-u^-ia/2beta-1/21-udu = frac12betaleft[psileft(frac1+beta+ia2right)-psileft(frac1+beta-ia2right)right]$. From here, the result may be near but not quite apparent; it seems it is somehow logically conected to the procedure you have posted.
$endgroup$
– Elianther
Mar 25 at 0:43
add a comment |
$begingroup$
Interesting problem, for sure.
Using a CAS, the antiderivative can be found. If as
$$I=int cos (a x), textsech(b x),dx$$ write $$(a^2+b^2),e^-bx,I=(b+i a)e^- i a x , _2F_1left(1,fracb-i a2 b;frac3b-ia2;-e^2 b
xright)+$$ $$(b-i a) e^ i a x , _2F_1left(1,fracb+i a2 b;frac3b+i a2
b;-e^2 b xright)$$ where appear the gaussian hypergeometric functions.
Using the limits
$$K=int_0^infty cos (a x), textsech(b x),dx=fracpsi left(frac3b-ia4 bright)+psi left(frac3b+i
a4 bright)-psi left(fracb-i a4 bright)-psi
left(fracb+i a4 bright)4 b$$ and using the properties of the digamma function
$$K=fracpi 2 b textsechleft(fracpi a2 bright)$$
$endgroup$
$begingroup$
I have found that using the following substitutions: $t = e^-x rightarrow u = t^2beta$ one gets the following integral: $frac12betaint_0^1fracu^ia/2beta-1/2-u^-ia/2beta-1/21-udu = frac12betaleft[psileft(frac1+beta+ia2right)-psileft(frac1+beta-ia2right)right]$. From here, the result may be near but not quite apparent; it seems it is somehow logically conected to the procedure you have posted.
$endgroup$
– Elianther
Mar 25 at 0:43
add a comment |
$begingroup$
Interesting problem, for sure.
Using a CAS, the antiderivative can be found. If as
$$I=int cos (a x), textsech(b x),dx$$ write $$(a^2+b^2),e^-bx,I=(b+i a)e^- i a x , _2F_1left(1,fracb-i a2 b;frac3b-ia2;-e^2 b
xright)+$$ $$(b-i a) e^ i a x , _2F_1left(1,fracb+i a2 b;frac3b+i a2
b;-e^2 b xright)$$ where appear the gaussian hypergeometric functions.
Using the limits
$$K=int_0^infty cos (a x), textsech(b x),dx=fracpsi left(frac3b-ia4 bright)+psi left(frac3b+i
a4 bright)-psi left(fracb-i a4 bright)-psi
left(fracb+i a4 bright)4 b$$ and using the properties of the digamma function
$$K=fracpi 2 b textsechleft(fracpi a2 bright)$$
$endgroup$
Interesting problem, for sure.
Using a CAS, the antiderivative can be found. If as
$$I=int cos (a x), textsech(b x),dx$$ write $$(a^2+b^2),e^-bx,I=(b+i a)e^- i a x , _2F_1left(1,fracb-i a2 b;frac3b-ia2;-e^2 b
xright)+$$ $$(b-i a) e^ i a x , _2F_1left(1,fracb+i a2 b;frac3b+i a2
b;-e^2 b xright)$$ where appear the gaussian hypergeometric functions.
Using the limits
$$K=int_0^infty cos (a x), textsech(b x),dx=fracpsi left(frac3b-ia4 bright)+psi left(frac3b+i
a4 bright)-psi left(fracb-i a4 bright)-psi
left(fracb+i a4 bright)4 b$$ and using the properties of the digamma function
$$K=fracpi 2 b textsechleft(fracpi a2 bright)$$
answered Mar 24 at 5:32
Claude LeiboviciClaude Leibovici
125k1158135
125k1158135
$begingroup$
I have found that using the following substitutions: $t = e^-x rightarrow u = t^2beta$ one gets the following integral: $frac12betaint_0^1fracu^ia/2beta-1/2-u^-ia/2beta-1/21-udu = frac12betaleft[psileft(frac1+beta+ia2right)-psileft(frac1+beta-ia2right)right]$. From here, the result may be near but not quite apparent; it seems it is somehow logically conected to the procedure you have posted.
$endgroup$
– Elianther
Mar 25 at 0:43
add a comment |
$begingroup$
I have found that using the following substitutions: $t = e^-x rightarrow u = t^2beta$ one gets the following integral: $frac12betaint_0^1fracu^ia/2beta-1/2-u^-ia/2beta-1/21-udu = frac12betaleft[psileft(frac1+beta+ia2right)-psileft(frac1+beta-ia2right)right]$. From here, the result may be near but not quite apparent; it seems it is somehow logically conected to the procedure you have posted.
$endgroup$
– Elianther
Mar 25 at 0:43
$begingroup$
I have found that using the following substitutions: $t = e^-x rightarrow u = t^2beta$ one gets the following integral: $frac12betaint_0^1fracu^ia/2beta-1/2-u^-ia/2beta-1/21-udu = frac12betaleft[psileft(frac1+beta+ia2right)-psileft(frac1+beta-ia2right)right]$. From here, the result may be near but not quite apparent; it seems it is somehow logically conected to the procedure you have posted.
$endgroup$
– Elianther
Mar 25 at 0:43
$begingroup$
I have found that using the following substitutions: $t = e^-x rightarrow u = t^2beta$ one gets the following integral: $frac12betaint_0^1fracu^ia/2beta-1/2-u^-ia/2beta-1/21-udu = frac12betaleft[psileft(frac1+beta+ia2right)-psileft(frac1+beta-ia2right)right]$. From here, the result may be near but not quite apparent; it seems it is somehow logically conected to the procedure you have posted.
$endgroup$
– Elianther
Mar 25 at 0:43
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%2f3160080%2fprove-int-infty-0-frac-cosax-cosh-beta-xdx-frac-pi2-beta%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$
You can look at this answer by Ron Gordon and use some basic substitutions in the integral to transform it to yours.
$endgroup$
– aleden
Mar 24 at 13:55
$begingroup$
@aleden Thanks, the cited procedure was a nice insight.
$endgroup$
– Elianther
Mar 25 at 0:17