Evaluating $int_{-infty}^{infty}frac{e^{ax}}{cosh{x}}dx $ using contour integration












2












$begingroup$



Let $a in mathbb{C}$ with $-1 <$ Re $a < 1$. By considering a rectangular contour with corners at $R, R + ipi, -R+ ipi, -R,$ show that



$$int_{-infty}^{infty}frac{e^{ax}}{cosh{x}}dx = pisecleft( frac{pi a}{2}right)$$



and hence evaluate, for real $n$,



$$int_{-infty}^{infty}frac{cos nx}{cosh{x}}dx$$




I can do everything in the question except showing that the integrals along the two sides of the rectangle vanish as $R$ tends to infinity.



I have these two paths as $gamma_1(t) = R +it$ for $tin[0,pi]$ and $gamma_2(t) = -R + (pi-t)i$ for $tin[0,pi]$. I'm pretty sure these are right, but I really can't see how the integral of $frac{e^{az}}{cosh{z}}$ goes to zero when you integrate along these.



I'd really appreciate whatever help you could offer.










share|cite|improve this question











$endgroup$












  • $begingroup$
    @Martin Vacas Vignolo: No, the integral isn't zero along the rectangle. There's a pole at $frac{pi i}{2}$, and the two main segments end up reinforcing each other (a negative for flipping the values, another for switching direction).
    $endgroup$
    – jmerry
    Dec 31 '18 at 1:34










  • $begingroup$
    @jmerry The integral along the two vertical sides indeed goes to $0$ as $Rtoinfty$
    $endgroup$
    – Dylan
    Jan 1 at 10:49










  • $begingroup$
    @Dylan: Not disputing that - it's what my answer was about. My comment above was about the integral as a whole, and how the horizontal segments contribute.
    $endgroup$
    – jmerry
    Jan 1 at 10:51










  • $begingroup$
    @jmerry Nevermind, I saw that you were replying to someone else
    $endgroup$
    – Dylan
    Jan 1 at 10:54
















2












$begingroup$



Let $a in mathbb{C}$ with $-1 <$ Re $a < 1$. By considering a rectangular contour with corners at $R, R + ipi, -R+ ipi, -R,$ show that



$$int_{-infty}^{infty}frac{e^{ax}}{cosh{x}}dx = pisecleft( frac{pi a}{2}right)$$



and hence evaluate, for real $n$,



$$int_{-infty}^{infty}frac{cos nx}{cosh{x}}dx$$




I can do everything in the question except showing that the integrals along the two sides of the rectangle vanish as $R$ tends to infinity.



I have these two paths as $gamma_1(t) = R +it$ for $tin[0,pi]$ and $gamma_2(t) = -R + (pi-t)i$ for $tin[0,pi]$. I'm pretty sure these are right, but I really can't see how the integral of $frac{e^{az}}{cosh{z}}$ goes to zero when you integrate along these.



I'd really appreciate whatever help you could offer.










share|cite|improve this question











$endgroup$












  • $begingroup$
    @Martin Vacas Vignolo: No, the integral isn't zero along the rectangle. There's a pole at $frac{pi i}{2}$, and the two main segments end up reinforcing each other (a negative for flipping the values, another for switching direction).
    $endgroup$
    – jmerry
    Dec 31 '18 at 1:34










  • $begingroup$
    @jmerry The integral along the two vertical sides indeed goes to $0$ as $Rtoinfty$
    $endgroup$
    – Dylan
    Jan 1 at 10:49










  • $begingroup$
    @Dylan: Not disputing that - it's what my answer was about. My comment above was about the integral as a whole, and how the horizontal segments contribute.
    $endgroup$
    – jmerry
    Jan 1 at 10:51










  • $begingroup$
    @jmerry Nevermind, I saw that you were replying to someone else
    $endgroup$
    – Dylan
    Jan 1 at 10:54














2












2








2


1



$begingroup$



Let $a in mathbb{C}$ with $-1 <$ Re $a < 1$. By considering a rectangular contour with corners at $R, R + ipi, -R+ ipi, -R,$ show that



$$int_{-infty}^{infty}frac{e^{ax}}{cosh{x}}dx = pisecleft( frac{pi a}{2}right)$$



and hence evaluate, for real $n$,



$$int_{-infty}^{infty}frac{cos nx}{cosh{x}}dx$$




I can do everything in the question except showing that the integrals along the two sides of the rectangle vanish as $R$ tends to infinity.



I have these two paths as $gamma_1(t) = R +it$ for $tin[0,pi]$ and $gamma_2(t) = -R + (pi-t)i$ for $tin[0,pi]$. I'm pretty sure these are right, but I really can't see how the integral of $frac{e^{az}}{cosh{z}}$ goes to zero when you integrate along these.



I'd really appreciate whatever help you could offer.










share|cite|improve this question











$endgroup$





Let $a in mathbb{C}$ with $-1 <$ Re $a < 1$. By considering a rectangular contour with corners at $R, R + ipi, -R+ ipi, -R,$ show that



$$int_{-infty}^{infty}frac{e^{ax}}{cosh{x}}dx = pisecleft( frac{pi a}{2}right)$$



and hence evaluate, for real $n$,



$$int_{-infty}^{infty}frac{cos nx}{cosh{x}}dx$$




I can do everything in the question except showing that the integrals along the two sides of the rectangle vanish as $R$ tends to infinity.



I have these two paths as $gamma_1(t) = R +it$ for $tin[0,pi]$ and $gamma_2(t) = -R + (pi-t)i$ for $tin[0,pi]$. I'm pretty sure these are right, but I really can't see how the integral of $frac{e^{az}}{cosh{z}}$ goes to zero when you integrate along these.



I'd really appreciate whatever help you could offer.







integration complex-analysis analysis contour-integration residue-calculus






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 31 '18 at 0:53







guxy

















asked Dec 30 '18 at 23:58









guxyguxy

112




112












  • $begingroup$
    @Martin Vacas Vignolo: No, the integral isn't zero along the rectangle. There's a pole at $frac{pi i}{2}$, and the two main segments end up reinforcing each other (a negative for flipping the values, another for switching direction).
    $endgroup$
    – jmerry
    Dec 31 '18 at 1:34










  • $begingroup$
    @jmerry The integral along the two vertical sides indeed goes to $0$ as $Rtoinfty$
    $endgroup$
    – Dylan
    Jan 1 at 10:49










  • $begingroup$
    @Dylan: Not disputing that - it's what my answer was about. My comment above was about the integral as a whole, and how the horizontal segments contribute.
    $endgroup$
    – jmerry
    Jan 1 at 10:51










  • $begingroup$
    @jmerry Nevermind, I saw that you were replying to someone else
    $endgroup$
    – Dylan
    Jan 1 at 10:54


















  • $begingroup$
    @Martin Vacas Vignolo: No, the integral isn't zero along the rectangle. There's a pole at $frac{pi i}{2}$, and the two main segments end up reinforcing each other (a negative for flipping the values, another for switching direction).
    $endgroup$
    – jmerry
    Dec 31 '18 at 1:34










  • $begingroup$
    @jmerry The integral along the two vertical sides indeed goes to $0$ as $Rtoinfty$
    $endgroup$
    – Dylan
    Jan 1 at 10:49










  • $begingroup$
    @Dylan: Not disputing that - it's what my answer was about. My comment above was about the integral as a whole, and how the horizontal segments contribute.
    $endgroup$
    – jmerry
    Jan 1 at 10:51










  • $begingroup$
    @jmerry Nevermind, I saw that you were replying to someone else
    $endgroup$
    – Dylan
    Jan 1 at 10:54
















$begingroup$
@Martin Vacas Vignolo: No, the integral isn't zero along the rectangle. There's a pole at $frac{pi i}{2}$, and the two main segments end up reinforcing each other (a negative for flipping the values, another for switching direction).
$endgroup$
– jmerry
Dec 31 '18 at 1:34




$begingroup$
@Martin Vacas Vignolo: No, the integral isn't zero along the rectangle. There's a pole at $frac{pi i}{2}$, and the two main segments end up reinforcing each other (a negative for flipping the values, another for switching direction).
$endgroup$
– jmerry
Dec 31 '18 at 1:34












$begingroup$
@jmerry The integral along the two vertical sides indeed goes to $0$ as $Rtoinfty$
$endgroup$
– Dylan
Jan 1 at 10:49




$begingroup$
@jmerry The integral along the two vertical sides indeed goes to $0$ as $Rtoinfty$
$endgroup$
– Dylan
Jan 1 at 10:49












$begingroup$
@Dylan: Not disputing that - it's what my answer was about. My comment above was about the integral as a whole, and how the horizontal segments contribute.
$endgroup$
– jmerry
Jan 1 at 10:51




$begingroup$
@Dylan: Not disputing that - it's what my answer was about. My comment above was about the integral as a whole, and how the horizontal segments contribute.
$endgroup$
– jmerry
Jan 1 at 10:51












$begingroup$
@jmerry Nevermind, I saw that you were replying to someone else
$endgroup$
– Dylan
Jan 1 at 10:54




$begingroup$
@jmerry Nevermind, I saw that you were replying to someone else
$endgroup$
– Dylan
Jan 1 at 10:54










3 Answers
3






active

oldest

votes


















2












$begingroup$

I'll provide the complete solution to the integral. Inside the proof, I've detailed by the side integrals tend towards zero along with how to complete the proof, in case you were having trouble with it.



Denote the function $f(z)$ as$$f(z)=frac {e^{az}}{cosh z}$$And take the rectangular contour with vertices of $pm R$ and $pm R+pi i$.



uh oh



Integrating about each section of the contour $mathrm C$, the contour integral is equal to$$begin{multline}ointlimits_{mathrm C}mathrm dz, f(z)=intlimits_{-R}^{R}mathrm dx, f(x)+iintlimits_0^{pi}mathrm dx, f(R+pi i)-intlimits_{-R}^{R}mathrm dx, f(x+pi i)-iintlimits_0^{pi}mathrm dx, f(-R+pi i)end{multline}$$Now let's observe the second, third, and fourth integral separately. From the function $f(z)$, it should be quite obvious what each of the integrands are$$begin{align*}f(R+pi i) & =-frac {e^{a(R+pi i)}}{cosh R}sim -e^{pi a i}e^{R(a-1)}\f(-R+pi i) & =-frac {e^{a(-R+pi i)}}{cosh R}sim -e^{pi a i}e^{-R(a+1)}\f(x+pi i) & =-frac {e^{a(x+pi i)}}{cosh x}=-e^{pi a i}f(x)end{align*}$$
Note that in the first two equations, I've used the fact that $operatorname{sech} x$ behaves like $e^{-x}$ for large values of $x$. Now we use the fact that $|a|<1$. This means that $a$ will always be a fraction smaller than one. Hence, for the first equality, $a-1<0$. What this means is that the exponential function is actually decreasing which means as $Rtoinfty$, then$$intlimits_0^{pi}mathrm dx, f(R+pi i)xrightarrow{phantom{hello}}0$$Similarly, the second equality tends towards zero because $a$ will be a positive number if added by one, so the exponential function is once again negative. Therefore$$intlimits_0^{pi}mathrm dx, f(-R+pi i)xrightarrow{phantom{hello}}0$$



What's left now is$$ointlimits_{mathrm C}mathrm dz, f(z)=(1+e^{pi a i})intlimits_{-infty}^{infty}mathrm dx, f(x)$$The contour integral is also equal to $2pi i$ times the sum of its residues. The rectangular contour encloses only one singularity at $z=tfrac {pi i}2$ of order one. Therefore, the calculations are as follows$$begin{align*}operatorname*{Res}_{z, =, tfrac {pi i}2}f(z) & =limlimits_{z,to,tfrac {pi i}2}frac {left(z-tfrac {pi i}2right)e^{az}}{cosh z}\ & =frac {e^{pi a i/2}}iend{align*}$$Thus$$begin{align*}intlimits_{-infty}^{infty}mathrm dx, f(x) & =frac {2pi e^{pi a i/2}}{1+e^{pi a i}}end{align*}$$



Dividing both the numerator and denominator by $e^{pi a i/2}$ for simplification finally gives the closed form as$$intlimits_{-infty}^{infty}mathrm dx,frac {e^{ax}}{cosh x}color{blue}{=pisecleft(frac {pi a}2right)}$$The proof for the second part of the question can be completed by replacing $a$ with $ni$ and taking the real part of both sides.






share|cite|improve this answer









$endgroup$





















    0












    $begingroup$

    Let's write everything in terms of exponentials; the integrand is $frac{2exp(ax)}{exp(x)+exp(-x)}$. For $x$ with large positive real part, the first term $e^x$ of the denominator is much larger than the second term $e^{-x}$, so the overall fraction is very close to $frac{2exp(ax)}{exp(x)}=2e^{(a-1)x}$. Now we use that condition about $a$ - since its real part is less than $1$, $a-1$ has negative real part, and $e^{(a-1)x}$ goes to zero (exponentially fast, not that we really need that). Well, OK, we need more than just a large real part for $x$ there; we also need it to be close to the real axis in angular terms, so that multiplying by $a-1$ doesn't rotate it back to the right-hand half-plane. Fortunately, the vertical edge of the rectangle we're looking at is close to the real axis.

    For the vertical edge at $-R$, we do the same thing, except that it's $e^{-x}$ that dominates the denominator, and $a+1$ has positive real part.






    share|cite|improve this answer









    $endgroup$





















      0












      $begingroup$

      Let $a=b+ci$. First rewrite the function in exponential form



      $$ f(z) = frac{e^{az}}{cosh z} = frac{2e^{az}}{e^z+e^{-z}} = frac{2e^{(1+a)z}}{e^{2z}+1} $$



      On the straight line from $R$ to $R+ipi$ the integral is



      $$ int_{yin(0,pi)} f(R+iy)dy = int_0^pi frac{e^{(1+a)(R+iy)}}{e^{2(R+iy)}+1}dy $$



      The ML inequality gives an upper bound for the magnitude of this integral



      $$ leftvert int_0^pi frac{e^{(1+a)(R+iy)}}{e^{2(R+iy)}+1}dy rightvert le pi max leftvertfrac{e^{(1+a)(R+iy)}}{e^{2(R+iy)}+1} rightvert $$



      where



      $$ |e^{(1+b+ci)(R+iy)}| = e^{(1+b)R-cy} le e^{(b+1)R} $$



      And from the triangle inequality



      $$|e^{2(R+iy)}-(-1)| ge ||e^{2(R+iy)}|-|-1|| = e^{2R}-1$$



      Thus



      $$ leftvert int_{yin(0,pi)} f(R+iy)dy rightvert le frac{pi e^{(1+b)R}}{e^{2R}-1} $$



      As $Rto infty$, the upper bound goes to $0$



      $$ frac{pi e^{(1+b)R}}{e^{2R}-1} to pi e^{-(1-b)R} to 0 $$



      and hence the integral must also go to $0$.



      You can apply the same process for the other vertical line, replacing $R$ with $-R$



      $$ leftvert int_{yin(0,pi)} f(-R+iy)dy rightvert le frac{pi e^{-(1+b)R}}{1-e^{-2R}} to pi e^{-(1+b)R} to 0 $$






      share|cite|improve this answer









      $endgroup$














        Your Answer








        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
        });


        }
        });














        draft saved

        draft discarded


















        StackExchange.ready(
        function () {
        StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3057297%2fevaluating-int-infty-infty-fraceax-coshxdx-using-contour-int%23new-answer', 'question_page');
        }
        );

        Post as a guest















        Required, but never shown

























        3 Answers
        3






        active

        oldest

        votes








        3 Answers
        3






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes









        2












        $begingroup$

        I'll provide the complete solution to the integral. Inside the proof, I've detailed by the side integrals tend towards zero along with how to complete the proof, in case you were having trouble with it.



        Denote the function $f(z)$ as$$f(z)=frac {e^{az}}{cosh z}$$And take the rectangular contour with vertices of $pm R$ and $pm R+pi i$.



        uh oh



        Integrating about each section of the contour $mathrm C$, the contour integral is equal to$$begin{multline}ointlimits_{mathrm C}mathrm dz, f(z)=intlimits_{-R}^{R}mathrm dx, f(x)+iintlimits_0^{pi}mathrm dx, f(R+pi i)-intlimits_{-R}^{R}mathrm dx, f(x+pi i)-iintlimits_0^{pi}mathrm dx, f(-R+pi i)end{multline}$$Now let's observe the second, third, and fourth integral separately. From the function $f(z)$, it should be quite obvious what each of the integrands are$$begin{align*}f(R+pi i) & =-frac {e^{a(R+pi i)}}{cosh R}sim -e^{pi a i}e^{R(a-1)}\f(-R+pi i) & =-frac {e^{a(-R+pi i)}}{cosh R}sim -e^{pi a i}e^{-R(a+1)}\f(x+pi i) & =-frac {e^{a(x+pi i)}}{cosh x}=-e^{pi a i}f(x)end{align*}$$
        Note that in the first two equations, I've used the fact that $operatorname{sech} x$ behaves like $e^{-x}$ for large values of $x$. Now we use the fact that $|a|<1$. This means that $a$ will always be a fraction smaller than one. Hence, for the first equality, $a-1<0$. What this means is that the exponential function is actually decreasing which means as $Rtoinfty$, then$$intlimits_0^{pi}mathrm dx, f(R+pi i)xrightarrow{phantom{hello}}0$$Similarly, the second equality tends towards zero because $a$ will be a positive number if added by one, so the exponential function is once again negative. Therefore$$intlimits_0^{pi}mathrm dx, f(-R+pi i)xrightarrow{phantom{hello}}0$$



        What's left now is$$ointlimits_{mathrm C}mathrm dz, f(z)=(1+e^{pi a i})intlimits_{-infty}^{infty}mathrm dx, f(x)$$The contour integral is also equal to $2pi i$ times the sum of its residues. The rectangular contour encloses only one singularity at $z=tfrac {pi i}2$ of order one. Therefore, the calculations are as follows$$begin{align*}operatorname*{Res}_{z, =, tfrac {pi i}2}f(z) & =limlimits_{z,to,tfrac {pi i}2}frac {left(z-tfrac {pi i}2right)e^{az}}{cosh z}\ & =frac {e^{pi a i/2}}iend{align*}$$Thus$$begin{align*}intlimits_{-infty}^{infty}mathrm dx, f(x) & =frac {2pi e^{pi a i/2}}{1+e^{pi a i}}end{align*}$$



        Dividing both the numerator and denominator by $e^{pi a i/2}$ for simplification finally gives the closed form as$$intlimits_{-infty}^{infty}mathrm dx,frac {e^{ax}}{cosh x}color{blue}{=pisecleft(frac {pi a}2right)}$$The proof for the second part of the question can be completed by replacing $a$ with $ni$ and taking the real part of both sides.






        share|cite|improve this answer









        $endgroup$


















          2












          $begingroup$

          I'll provide the complete solution to the integral. Inside the proof, I've detailed by the side integrals tend towards zero along with how to complete the proof, in case you were having trouble with it.



          Denote the function $f(z)$ as$$f(z)=frac {e^{az}}{cosh z}$$And take the rectangular contour with vertices of $pm R$ and $pm R+pi i$.



          uh oh



          Integrating about each section of the contour $mathrm C$, the contour integral is equal to$$begin{multline}ointlimits_{mathrm C}mathrm dz, f(z)=intlimits_{-R}^{R}mathrm dx, f(x)+iintlimits_0^{pi}mathrm dx, f(R+pi i)-intlimits_{-R}^{R}mathrm dx, f(x+pi i)-iintlimits_0^{pi}mathrm dx, f(-R+pi i)end{multline}$$Now let's observe the second, third, and fourth integral separately. From the function $f(z)$, it should be quite obvious what each of the integrands are$$begin{align*}f(R+pi i) & =-frac {e^{a(R+pi i)}}{cosh R}sim -e^{pi a i}e^{R(a-1)}\f(-R+pi i) & =-frac {e^{a(-R+pi i)}}{cosh R}sim -e^{pi a i}e^{-R(a+1)}\f(x+pi i) & =-frac {e^{a(x+pi i)}}{cosh x}=-e^{pi a i}f(x)end{align*}$$
          Note that in the first two equations, I've used the fact that $operatorname{sech} x$ behaves like $e^{-x}$ for large values of $x$. Now we use the fact that $|a|<1$. This means that $a$ will always be a fraction smaller than one. Hence, for the first equality, $a-1<0$. What this means is that the exponential function is actually decreasing which means as $Rtoinfty$, then$$intlimits_0^{pi}mathrm dx, f(R+pi i)xrightarrow{phantom{hello}}0$$Similarly, the second equality tends towards zero because $a$ will be a positive number if added by one, so the exponential function is once again negative. Therefore$$intlimits_0^{pi}mathrm dx, f(-R+pi i)xrightarrow{phantom{hello}}0$$



          What's left now is$$ointlimits_{mathrm C}mathrm dz, f(z)=(1+e^{pi a i})intlimits_{-infty}^{infty}mathrm dx, f(x)$$The contour integral is also equal to $2pi i$ times the sum of its residues. The rectangular contour encloses only one singularity at $z=tfrac {pi i}2$ of order one. Therefore, the calculations are as follows$$begin{align*}operatorname*{Res}_{z, =, tfrac {pi i}2}f(z) & =limlimits_{z,to,tfrac {pi i}2}frac {left(z-tfrac {pi i}2right)e^{az}}{cosh z}\ & =frac {e^{pi a i/2}}iend{align*}$$Thus$$begin{align*}intlimits_{-infty}^{infty}mathrm dx, f(x) & =frac {2pi e^{pi a i/2}}{1+e^{pi a i}}end{align*}$$



          Dividing both the numerator and denominator by $e^{pi a i/2}$ for simplification finally gives the closed form as$$intlimits_{-infty}^{infty}mathrm dx,frac {e^{ax}}{cosh x}color{blue}{=pisecleft(frac {pi a}2right)}$$The proof for the second part of the question can be completed by replacing $a$ with $ni$ and taking the real part of both sides.






          share|cite|improve this answer









          $endgroup$
















            2












            2








            2





            $begingroup$

            I'll provide the complete solution to the integral. Inside the proof, I've detailed by the side integrals tend towards zero along with how to complete the proof, in case you were having trouble with it.



            Denote the function $f(z)$ as$$f(z)=frac {e^{az}}{cosh z}$$And take the rectangular contour with vertices of $pm R$ and $pm R+pi i$.



            uh oh



            Integrating about each section of the contour $mathrm C$, the contour integral is equal to$$begin{multline}ointlimits_{mathrm C}mathrm dz, f(z)=intlimits_{-R}^{R}mathrm dx, f(x)+iintlimits_0^{pi}mathrm dx, f(R+pi i)-intlimits_{-R}^{R}mathrm dx, f(x+pi i)-iintlimits_0^{pi}mathrm dx, f(-R+pi i)end{multline}$$Now let's observe the second, third, and fourth integral separately. From the function $f(z)$, it should be quite obvious what each of the integrands are$$begin{align*}f(R+pi i) & =-frac {e^{a(R+pi i)}}{cosh R}sim -e^{pi a i}e^{R(a-1)}\f(-R+pi i) & =-frac {e^{a(-R+pi i)}}{cosh R}sim -e^{pi a i}e^{-R(a+1)}\f(x+pi i) & =-frac {e^{a(x+pi i)}}{cosh x}=-e^{pi a i}f(x)end{align*}$$
            Note that in the first two equations, I've used the fact that $operatorname{sech} x$ behaves like $e^{-x}$ for large values of $x$. Now we use the fact that $|a|<1$. This means that $a$ will always be a fraction smaller than one. Hence, for the first equality, $a-1<0$. What this means is that the exponential function is actually decreasing which means as $Rtoinfty$, then$$intlimits_0^{pi}mathrm dx, f(R+pi i)xrightarrow{phantom{hello}}0$$Similarly, the second equality tends towards zero because $a$ will be a positive number if added by one, so the exponential function is once again negative. Therefore$$intlimits_0^{pi}mathrm dx, f(-R+pi i)xrightarrow{phantom{hello}}0$$



            What's left now is$$ointlimits_{mathrm C}mathrm dz, f(z)=(1+e^{pi a i})intlimits_{-infty}^{infty}mathrm dx, f(x)$$The contour integral is also equal to $2pi i$ times the sum of its residues. The rectangular contour encloses only one singularity at $z=tfrac {pi i}2$ of order one. Therefore, the calculations are as follows$$begin{align*}operatorname*{Res}_{z, =, tfrac {pi i}2}f(z) & =limlimits_{z,to,tfrac {pi i}2}frac {left(z-tfrac {pi i}2right)e^{az}}{cosh z}\ & =frac {e^{pi a i/2}}iend{align*}$$Thus$$begin{align*}intlimits_{-infty}^{infty}mathrm dx, f(x) & =frac {2pi e^{pi a i/2}}{1+e^{pi a i}}end{align*}$$



            Dividing both the numerator and denominator by $e^{pi a i/2}$ for simplification finally gives the closed form as$$intlimits_{-infty}^{infty}mathrm dx,frac {e^{ax}}{cosh x}color{blue}{=pisecleft(frac {pi a}2right)}$$The proof for the second part of the question can be completed by replacing $a$ with $ni$ and taking the real part of both sides.






            share|cite|improve this answer









            $endgroup$



            I'll provide the complete solution to the integral. Inside the proof, I've detailed by the side integrals tend towards zero along with how to complete the proof, in case you were having trouble with it.



            Denote the function $f(z)$ as$$f(z)=frac {e^{az}}{cosh z}$$And take the rectangular contour with vertices of $pm R$ and $pm R+pi i$.



            uh oh



            Integrating about each section of the contour $mathrm C$, the contour integral is equal to$$begin{multline}ointlimits_{mathrm C}mathrm dz, f(z)=intlimits_{-R}^{R}mathrm dx, f(x)+iintlimits_0^{pi}mathrm dx, f(R+pi i)-intlimits_{-R}^{R}mathrm dx, f(x+pi i)-iintlimits_0^{pi}mathrm dx, f(-R+pi i)end{multline}$$Now let's observe the second, third, and fourth integral separately. From the function $f(z)$, it should be quite obvious what each of the integrands are$$begin{align*}f(R+pi i) & =-frac {e^{a(R+pi i)}}{cosh R}sim -e^{pi a i}e^{R(a-1)}\f(-R+pi i) & =-frac {e^{a(-R+pi i)}}{cosh R}sim -e^{pi a i}e^{-R(a+1)}\f(x+pi i) & =-frac {e^{a(x+pi i)}}{cosh x}=-e^{pi a i}f(x)end{align*}$$
            Note that in the first two equations, I've used the fact that $operatorname{sech} x$ behaves like $e^{-x}$ for large values of $x$. Now we use the fact that $|a|<1$. This means that $a$ will always be a fraction smaller than one. Hence, for the first equality, $a-1<0$. What this means is that the exponential function is actually decreasing which means as $Rtoinfty$, then$$intlimits_0^{pi}mathrm dx, f(R+pi i)xrightarrow{phantom{hello}}0$$Similarly, the second equality tends towards zero because $a$ will be a positive number if added by one, so the exponential function is once again negative. Therefore$$intlimits_0^{pi}mathrm dx, f(-R+pi i)xrightarrow{phantom{hello}}0$$



            What's left now is$$ointlimits_{mathrm C}mathrm dz, f(z)=(1+e^{pi a i})intlimits_{-infty}^{infty}mathrm dx, f(x)$$The contour integral is also equal to $2pi i$ times the sum of its residues. The rectangular contour encloses only one singularity at $z=tfrac {pi i}2$ of order one. Therefore, the calculations are as follows$$begin{align*}operatorname*{Res}_{z, =, tfrac {pi i}2}f(z) & =limlimits_{z,to,tfrac {pi i}2}frac {left(z-tfrac {pi i}2right)e^{az}}{cosh z}\ & =frac {e^{pi a i/2}}iend{align*}$$Thus$$begin{align*}intlimits_{-infty}^{infty}mathrm dx, f(x) & =frac {2pi e^{pi a i/2}}{1+e^{pi a i}}end{align*}$$



            Dividing both the numerator and denominator by $e^{pi a i/2}$ for simplification finally gives the closed form as$$intlimits_{-infty}^{infty}mathrm dx,frac {e^{ax}}{cosh x}color{blue}{=pisecleft(frac {pi a}2right)}$$The proof for the second part of the question can be completed by replacing $a$ with $ni$ and taking the real part of both sides.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Dec 31 '18 at 6:04









            Frank W.Frank W.

            3,7371421




            3,7371421























                0












                $begingroup$

                Let's write everything in terms of exponentials; the integrand is $frac{2exp(ax)}{exp(x)+exp(-x)}$. For $x$ with large positive real part, the first term $e^x$ of the denominator is much larger than the second term $e^{-x}$, so the overall fraction is very close to $frac{2exp(ax)}{exp(x)}=2e^{(a-1)x}$. Now we use that condition about $a$ - since its real part is less than $1$, $a-1$ has negative real part, and $e^{(a-1)x}$ goes to zero (exponentially fast, not that we really need that). Well, OK, we need more than just a large real part for $x$ there; we also need it to be close to the real axis in angular terms, so that multiplying by $a-1$ doesn't rotate it back to the right-hand half-plane. Fortunately, the vertical edge of the rectangle we're looking at is close to the real axis.

                For the vertical edge at $-R$, we do the same thing, except that it's $e^{-x}$ that dominates the denominator, and $a+1$ has positive real part.






                share|cite|improve this answer









                $endgroup$


















                  0












                  $begingroup$

                  Let's write everything in terms of exponentials; the integrand is $frac{2exp(ax)}{exp(x)+exp(-x)}$. For $x$ with large positive real part, the first term $e^x$ of the denominator is much larger than the second term $e^{-x}$, so the overall fraction is very close to $frac{2exp(ax)}{exp(x)}=2e^{(a-1)x}$. Now we use that condition about $a$ - since its real part is less than $1$, $a-1$ has negative real part, and $e^{(a-1)x}$ goes to zero (exponentially fast, not that we really need that). Well, OK, we need more than just a large real part for $x$ there; we also need it to be close to the real axis in angular terms, so that multiplying by $a-1$ doesn't rotate it back to the right-hand half-plane. Fortunately, the vertical edge of the rectangle we're looking at is close to the real axis.

                  For the vertical edge at $-R$, we do the same thing, except that it's $e^{-x}$ that dominates the denominator, and $a+1$ has positive real part.






                  share|cite|improve this answer









                  $endgroup$
















                    0












                    0








                    0





                    $begingroup$

                    Let's write everything in terms of exponentials; the integrand is $frac{2exp(ax)}{exp(x)+exp(-x)}$. For $x$ with large positive real part, the first term $e^x$ of the denominator is much larger than the second term $e^{-x}$, so the overall fraction is very close to $frac{2exp(ax)}{exp(x)}=2e^{(a-1)x}$. Now we use that condition about $a$ - since its real part is less than $1$, $a-1$ has negative real part, and $e^{(a-1)x}$ goes to zero (exponentially fast, not that we really need that). Well, OK, we need more than just a large real part for $x$ there; we also need it to be close to the real axis in angular terms, so that multiplying by $a-1$ doesn't rotate it back to the right-hand half-plane. Fortunately, the vertical edge of the rectangle we're looking at is close to the real axis.

                    For the vertical edge at $-R$, we do the same thing, except that it's $e^{-x}$ that dominates the denominator, and $a+1$ has positive real part.






                    share|cite|improve this answer









                    $endgroup$



                    Let's write everything in terms of exponentials; the integrand is $frac{2exp(ax)}{exp(x)+exp(-x)}$. For $x$ with large positive real part, the first term $e^x$ of the denominator is much larger than the second term $e^{-x}$, so the overall fraction is very close to $frac{2exp(ax)}{exp(x)}=2e^{(a-1)x}$. Now we use that condition about $a$ - since its real part is less than $1$, $a-1$ has negative real part, and $e^{(a-1)x}$ goes to zero (exponentially fast, not that we really need that). Well, OK, we need more than just a large real part for $x$ there; we also need it to be close to the real axis in angular terms, so that multiplying by $a-1$ doesn't rotate it back to the right-hand half-plane. Fortunately, the vertical edge of the rectangle we're looking at is close to the real axis.

                    For the vertical edge at $-R$, we do the same thing, except that it's $e^{-x}$ that dominates the denominator, and $a+1$ has positive real part.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered Dec 31 '18 at 1:31









                    jmerryjmerry

                    17.1k11633




                    17.1k11633























                        0












                        $begingroup$

                        Let $a=b+ci$. First rewrite the function in exponential form



                        $$ f(z) = frac{e^{az}}{cosh z} = frac{2e^{az}}{e^z+e^{-z}} = frac{2e^{(1+a)z}}{e^{2z}+1} $$



                        On the straight line from $R$ to $R+ipi$ the integral is



                        $$ int_{yin(0,pi)} f(R+iy)dy = int_0^pi frac{e^{(1+a)(R+iy)}}{e^{2(R+iy)}+1}dy $$



                        The ML inequality gives an upper bound for the magnitude of this integral



                        $$ leftvert int_0^pi frac{e^{(1+a)(R+iy)}}{e^{2(R+iy)}+1}dy rightvert le pi max leftvertfrac{e^{(1+a)(R+iy)}}{e^{2(R+iy)}+1} rightvert $$



                        where



                        $$ |e^{(1+b+ci)(R+iy)}| = e^{(1+b)R-cy} le e^{(b+1)R} $$



                        And from the triangle inequality



                        $$|e^{2(R+iy)}-(-1)| ge ||e^{2(R+iy)}|-|-1|| = e^{2R}-1$$



                        Thus



                        $$ leftvert int_{yin(0,pi)} f(R+iy)dy rightvert le frac{pi e^{(1+b)R}}{e^{2R}-1} $$



                        As $Rto infty$, the upper bound goes to $0$



                        $$ frac{pi e^{(1+b)R}}{e^{2R}-1} to pi e^{-(1-b)R} to 0 $$



                        and hence the integral must also go to $0$.



                        You can apply the same process for the other vertical line, replacing $R$ with $-R$



                        $$ leftvert int_{yin(0,pi)} f(-R+iy)dy rightvert le frac{pi e^{-(1+b)R}}{1-e^{-2R}} to pi e^{-(1+b)R} to 0 $$






                        share|cite|improve this answer









                        $endgroup$


















                          0












                          $begingroup$

                          Let $a=b+ci$. First rewrite the function in exponential form



                          $$ f(z) = frac{e^{az}}{cosh z} = frac{2e^{az}}{e^z+e^{-z}} = frac{2e^{(1+a)z}}{e^{2z}+1} $$



                          On the straight line from $R$ to $R+ipi$ the integral is



                          $$ int_{yin(0,pi)} f(R+iy)dy = int_0^pi frac{e^{(1+a)(R+iy)}}{e^{2(R+iy)}+1}dy $$



                          The ML inequality gives an upper bound for the magnitude of this integral



                          $$ leftvert int_0^pi frac{e^{(1+a)(R+iy)}}{e^{2(R+iy)}+1}dy rightvert le pi max leftvertfrac{e^{(1+a)(R+iy)}}{e^{2(R+iy)}+1} rightvert $$



                          where



                          $$ |e^{(1+b+ci)(R+iy)}| = e^{(1+b)R-cy} le e^{(b+1)R} $$



                          And from the triangle inequality



                          $$|e^{2(R+iy)}-(-1)| ge ||e^{2(R+iy)}|-|-1|| = e^{2R}-1$$



                          Thus



                          $$ leftvert int_{yin(0,pi)} f(R+iy)dy rightvert le frac{pi e^{(1+b)R}}{e^{2R}-1} $$



                          As $Rto infty$, the upper bound goes to $0$



                          $$ frac{pi e^{(1+b)R}}{e^{2R}-1} to pi e^{-(1-b)R} to 0 $$



                          and hence the integral must also go to $0$.



                          You can apply the same process for the other vertical line, replacing $R$ with $-R$



                          $$ leftvert int_{yin(0,pi)} f(-R+iy)dy rightvert le frac{pi e^{-(1+b)R}}{1-e^{-2R}} to pi e^{-(1+b)R} to 0 $$






                          share|cite|improve this answer









                          $endgroup$
















                            0












                            0








                            0





                            $begingroup$

                            Let $a=b+ci$. First rewrite the function in exponential form



                            $$ f(z) = frac{e^{az}}{cosh z} = frac{2e^{az}}{e^z+e^{-z}} = frac{2e^{(1+a)z}}{e^{2z}+1} $$



                            On the straight line from $R$ to $R+ipi$ the integral is



                            $$ int_{yin(0,pi)} f(R+iy)dy = int_0^pi frac{e^{(1+a)(R+iy)}}{e^{2(R+iy)}+1}dy $$



                            The ML inequality gives an upper bound for the magnitude of this integral



                            $$ leftvert int_0^pi frac{e^{(1+a)(R+iy)}}{e^{2(R+iy)}+1}dy rightvert le pi max leftvertfrac{e^{(1+a)(R+iy)}}{e^{2(R+iy)}+1} rightvert $$



                            where



                            $$ |e^{(1+b+ci)(R+iy)}| = e^{(1+b)R-cy} le e^{(b+1)R} $$



                            And from the triangle inequality



                            $$|e^{2(R+iy)}-(-1)| ge ||e^{2(R+iy)}|-|-1|| = e^{2R}-1$$



                            Thus



                            $$ leftvert int_{yin(0,pi)} f(R+iy)dy rightvert le frac{pi e^{(1+b)R}}{e^{2R}-1} $$



                            As $Rto infty$, the upper bound goes to $0$



                            $$ frac{pi e^{(1+b)R}}{e^{2R}-1} to pi e^{-(1-b)R} to 0 $$



                            and hence the integral must also go to $0$.



                            You can apply the same process for the other vertical line, replacing $R$ with $-R$



                            $$ leftvert int_{yin(0,pi)} f(-R+iy)dy rightvert le frac{pi e^{-(1+b)R}}{1-e^{-2R}} to pi e^{-(1+b)R} to 0 $$






                            share|cite|improve this answer









                            $endgroup$



                            Let $a=b+ci$. First rewrite the function in exponential form



                            $$ f(z) = frac{e^{az}}{cosh z} = frac{2e^{az}}{e^z+e^{-z}} = frac{2e^{(1+a)z}}{e^{2z}+1} $$



                            On the straight line from $R$ to $R+ipi$ the integral is



                            $$ int_{yin(0,pi)} f(R+iy)dy = int_0^pi frac{e^{(1+a)(R+iy)}}{e^{2(R+iy)}+1}dy $$



                            The ML inequality gives an upper bound for the magnitude of this integral



                            $$ leftvert int_0^pi frac{e^{(1+a)(R+iy)}}{e^{2(R+iy)}+1}dy rightvert le pi max leftvertfrac{e^{(1+a)(R+iy)}}{e^{2(R+iy)}+1} rightvert $$



                            where



                            $$ |e^{(1+b+ci)(R+iy)}| = e^{(1+b)R-cy} le e^{(b+1)R} $$



                            And from the triangle inequality



                            $$|e^{2(R+iy)}-(-1)| ge ||e^{2(R+iy)}|-|-1|| = e^{2R}-1$$



                            Thus



                            $$ leftvert int_{yin(0,pi)} f(R+iy)dy rightvert le frac{pi e^{(1+b)R}}{e^{2R}-1} $$



                            As $Rto infty$, the upper bound goes to $0$



                            $$ frac{pi e^{(1+b)R}}{e^{2R}-1} to pi e^{-(1-b)R} to 0 $$



                            and hence the integral must also go to $0$.



                            You can apply the same process for the other vertical line, replacing $R$ with $-R$



                            $$ leftvert int_{yin(0,pi)} f(-R+iy)dy rightvert le frac{pi e^{-(1+b)R}}{1-e^{-2R}} to pi e^{-(1+b)R} to 0 $$







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered Jan 1 at 10:48









                            DylanDylan

                            14.6k31127




                            14.6k31127






























                                draft saved

                                draft discarded




















































                                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.




                                draft saved


                                draft discarded














                                StackExchange.ready(
                                function () {
                                StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3057297%2fevaluating-int-infty-infty-fraceax-coshxdx-using-contour-int%23new-answer', 'question_page');
                                }
                                );

                                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







                                Popular posts from this blog

                                Willebadessen

                                Ida-Boy-Ed-Garten

                                Residenzschloss Arolsen