Real integral using residue theorem - why doesn't this work? The Next CEO of Stack...

Can you replace a racial trait cantrip when leveling up?

I believe this to be a fraud - hired, then asked to cash check and send cash as Bitcoin

WOW air has ceased operation, can I get my tickets refunded?

What is the purpose of the Evocation wizard's Potent Cantrip feature?

Why does standard notation not preserve intervals (visually)

Example of a Mathematician/Physicist whose Other Publications during their PhD eclipsed their PhD Thesis

Why has the US not been more assertive in confronting Russia in recent years?

Can we say or write : "No, it'sn't"?

What benefits would be gained by using human laborers instead of drones in deep sea mining?

Bold, vivid family

To not tell, not take, and not want

Would this house-rule that treats advantage as a +1 to the roll instead (and disadvantage as -1) and allows them to stack be balanced?

Sending manuscript to multiple publishers

Elegant way to replace substring in a regex with optional groups in Python?

Is it possible to search for a directory/file combination?

Anatomically Correct Strange Women In Ponds Distributing Swords

Several mode to write the symbol of a vector

Is 'diverse range' a pleonastic phrase?

Won the lottery - how do I keep the money?

Why don't programming languages automatically manage the synchronous/asynchronous problem?

If the heap is initialized for security, then why is the stack uninitialized?

Real integral using residue theorem - why doesn't this work?

Can I run my washing machine drain line into a condensate pump so it drains better?

Unreliable Magic - Is it worth it?



Real integral using residue theorem - why doesn't this work?



The Next CEO of Stack OverflowMistake with using residue theory for calculating $int_{-infty}^{infty}frac{sin(x)}{x}dx$Evaluating Integral with Residue TheoremReal Pole Residue theoremSolving this complicated integral using the Residue TheoremIntegrating secans over the imaginary axis using the residue theoremWhy doesn't this residue method work for calculating $sum_{k=1}^{k=infty} frac{cos(k x)}{k^2}$Compute integral using residue theoremEvaluating a real definite integral using residue theoremCalculating this integral using Residue TheoremCalculating integrals using the residue theoremsolving integral with real exponent and real pole with residue theorem












2












$begingroup$


Consider the following definite real integral:
$$I = int_{0}^infty dx frac{e^{-ix} - e^{ix}}{x}$$



Using the $text{Si}(x)$ function, I can solve it easily,
$$I = -2i int_{0}^infty dx frac{e^{-ix} - e^{ix}}{-2ix} = -2i int_{0}^infty dx frac{sin{x}}{x} = -2i lim_{x to infty} text{Si}(x) = -2i left(frac{pi}{2}right) = - i pi,$$
simply because I happen to know that $mathrm{Si}(x)$ asymptotically approaches $pi/2$.



However, if I try to calculate it using the residue theorem, I get the wrong answer, off by a factor of $2$ and I'm not sure if I understand why. Here's the procedure:
$$I= int_{0}^infty dx frac{e^{-ix}}{x} - int_{0}^infty dx frac{ e^{ix}}{x} = color{red}{-int_{-infty}^0 dx frac{e^{ix}}{x}} - int_{0}^infty dx frac{ e^{ix}}{x}
= -int_{-infty}^infty dx frac{e^{ix}}{x} $$

Then I define $$I_epsilon := -int_{-infty}^infty dx frac{e^{ix}}{x-ivarepsilon}$$ for $varepsilon > 0$ so that$$I=lim_{varepsilon to 0^+} I_varepsilon.$$
Then I complexify the integration variable and integrate over a D-shaped contour over the upper half of the complex plane. I choose that contour because
$$lim_{x to +iinfty} frac{e^{ix}}{x-ivarepsilon} = 0$$ and it contains the simple pole at $x_0 = i varepsilon$. Using the residue theorem with the contour enclosing $x_0$ $$I_varepsilon = -2 pi i , text{Res}_{x_0} left( frac{e^{ix}}{x-ivarepsilon}right) = -2 pi i left( frac{e^{ix}}{1} right)Biggrvert_{x=x_0=ivarepsilon}=-2 pi i , e^{-varepsilon}.$$
Therefore,
$$I=lim_{varepsilon to 0^+} left( -2 pi i , e^{-varepsilon} right) = -2pi i.$$



However, that is obviously wrong. Where exactly is the mistake?










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    math.stackexchange.com/a/2270510/155436
    $endgroup$
    – Count Iblis
    5 hours ago










  • $begingroup$
    @CountIblis Didn't catch that one before, thank you!
    $endgroup$
    – Ivan V.
    5 hours ago
















2












$begingroup$


Consider the following definite real integral:
$$I = int_{0}^infty dx frac{e^{-ix} - e^{ix}}{x}$$



Using the $text{Si}(x)$ function, I can solve it easily,
$$I = -2i int_{0}^infty dx frac{e^{-ix} - e^{ix}}{-2ix} = -2i int_{0}^infty dx frac{sin{x}}{x} = -2i lim_{x to infty} text{Si}(x) = -2i left(frac{pi}{2}right) = - i pi,$$
simply because I happen to know that $mathrm{Si}(x)$ asymptotically approaches $pi/2$.



However, if I try to calculate it using the residue theorem, I get the wrong answer, off by a factor of $2$ and I'm not sure if I understand why. Here's the procedure:
$$I= int_{0}^infty dx frac{e^{-ix}}{x} - int_{0}^infty dx frac{ e^{ix}}{x} = color{red}{-int_{-infty}^0 dx frac{e^{ix}}{x}} - int_{0}^infty dx frac{ e^{ix}}{x}
= -int_{-infty}^infty dx frac{e^{ix}}{x} $$

Then I define $$I_epsilon := -int_{-infty}^infty dx frac{e^{ix}}{x-ivarepsilon}$$ for $varepsilon > 0$ so that$$I=lim_{varepsilon to 0^+} I_varepsilon.$$
Then I complexify the integration variable and integrate over a D-shaped contour over the upper half of the complex plane. I choose that contour because
$$lim_{x to +iinfty} frac{e^{ix}}{x-ivarepsilon} = 0$$ and it contains the simple pole at $x_0 = i varepsilon$. Using the residue theorem with the contour enclosing $x_0$ $$I_varepsilon = -2 pi i , text{Res}_{x_0} left( frac{e^{ix}}{x-ivarepsilon}right) = -2 pi i left( frac{e^{ix}}{1} right)Biggrvert_{x=x_0=ivarepsilon}=-2 pi i , e^{-varepsilon}.$$
Therefore,
$$I=lim_{varepsilon to 0^+} left( -2 pi i , e^{-varepsilon} right) = -2pi i.$$



However, that is obviously wrong. Where exactly is the mistake?










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    math.stackexchange.com/a/2270510/155436
    $endgroup$
    – Count Iblis
    5 hours ago










  • $begingroup$
    @CountIblis Didn't catch that one before, thank you!
    $endgroup$
    – Ivan V.
    5 hours ago














2












2








2





$begingroup$


Consider the following definite real integral:
$$I = int_{0}^infty dx frac{e^{-ix} - e^{ix}}{x}$$



Using the $text{Si}(x)$ function, I can solve it easily,
$$I = -2i int_{0}^infty dx frac{e^{-ix} - e^{ix}}{-2ix} = -2i int_{0}^infty dx frac{sin{x}}{x} = -2i lim_{x to infty} text{Si}(x) = -2i left(frac{pi}{2}right) = - i pi,$$
simply because I happen to know that $mathrm{Si}(x)$ asymptotically approaches $pi/2$.



However, if I try to calculate it using the residue theorem, I get the wrong answer, off by a factor of $2$ and I'm not sure if I understand why. Here's the procedure:
$$I= int_{0}^infty dx frac{e^{-ix}}{x} - int_{0}^infty dx frac{ e^{ix}}{x} = color{red}{-int_{-infty}^0 dx frac{e^{ix}}{x}} - int_{0}^infty dx frac{ e^{ix}}{x}
= -int_{-infty}^infty dx frac{e^{ix}}{x} $$

Then I define $$I_epsilon := -int_{-infty}^infty dx frac{e^{ix}}{x-ivarepsilon}$$ for $varepsilon > 0$ so that$$I=lim_{varepsilon to 0^+} I_varepsilon.$$
Then I complexify the integration variable and integrate over a D-shaped contour over the upper half of the complex plane. I choose that contour because
$$lim_{x to +iinfty} frac{e^{ix}}{x-ivarepsilon} = 0$$ and it contains the simple pole at $x_0 = i varepsilon$. Using the residue theorem with the contour enclosing $x_0$ $$I_varepsilon = -2 pi i , text{Res}_{x_0} left( frac{e^{ix}}{x-ivarepsilon}right) = -2 pi i left( frac{e^{ix}}{1} right)Biggrvert_{x=x_0=ivarepsilon}=-2 pi i , e^{-varepsilon}.$$
Therefore,
$$I=lim_{varepsilon to 0^+} left( -2 pi i , e^{-varepsilon} right) = -2pi i.$$



However, that is obviously wrong. Where exactly is the mistake?










share|cite|improve this question









$endgroup$




Consider the following definite real integral:
$$I = int_{0}^infty dx frac{e^{-ix} - e^{ix}}{x}$$



Using the $text{Si}(x)$ function, I can solve it easily,
$$I = -2i int_{0}^infty dx frac{e^{-ix} - e^{ix}}{-2ix} = -2i int_{0}^infty dx frac{sin{x}}{x} = -2i lim_{x to infty} text{Si}(x) = -2i left(frac{pi}{2}right) = - i pi,$$
simply because I happen to know that $mathrm{Si}(x)$ asymptotically approaches $pi/2$.



However, if I try to calculate it using the residue theorem, I get the wrong answer, off by a factor of $2$ and I'm not sure if I understand why. Here's the procedure:
$$I= int_{0}^infty dx frac{e^{-ix}}{x} - int_{0}^infty dx frac{ e^{ix}}{x} = color{red}{-int_{-infty}^0 dx frac{e^{ix}}{x}} - int_{0}^infty dx frac{ e^{ix}}{x}
= -int_{-infty}^infty dx frac{e^{ix}}{x} $$

Then I define $$I_epsilon := -int_{-infty}^infty dx frac{e^{ix}}{x-ivarepsilon}$$ for $varepsilon > 0$ so that$$I=lim_{varepsilon to 0^+} I_varepsilon.$$
Then I complexify the integration variable and integrate over a D-shaped contour over the upper half of the complex plane. I choose that contour because
$$lim_{x to +iinfty} frac{e^{ix}}{x-ivarepsilon} = 0$$ and it contains the simple pole at $x_0 = i varepsilon$. Using the residue theorem with the contour enclosing $x_0$ $$I_varepsilon = -2 pi i , text{Res}_{x_0} left( frac{e^{ix}}{x-ivarepsilon}right) = -2 pi i left( frac{e^{ix}}{1} right)Biggrvert_{x=x_0=ivarepsilon}=-2 pi i , e^{-varepsilon}.$$
Therefore,
$$I=lim_{varepsilon to 0^+} left( -2 pi i , e^{-varepsilon} right) = -2pi i.$$



However, that is obviously wrong. Where exactly is the mistake?







integration residue-calculus






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 6 hours ago









Ivan V.Ivan V.

811216




811216








  • 1




    $begingroup$
    math.stackexchange.com/a/2270510/155436
    $endgroup$
    – Count Iblis
    5 hours ago










  • $begingroup$
    @CountIblis Didn't catch that one before, thank you!
    $endgroup$
    – Ivan V.
    5 hours ago














  • 1




    $begingroup$
    math.stackexchange.com/a/2270510/155436
    $endgroup$
    – Count Iblis
    5 hours ago










  • $begingroup$
    @CountIblis Didn't catch that one before, thank you!
    $endgroup$
    – Ivan V.
    5 hours ago








1




1




$begingroup$
math.stackexchange.com/a/2270510/155436
$endgroup$
– Count Iblis
5 hours ago




$begingroup$
math.stackexchange.com/a/2270510/155436
$endgroup$
– Count Iblis
5 hours ago












$begingroup$
@CountIblis Didn't catch that one before, thank you!
$endgroup$
– Ivan V.
5 hours ago




$begingroup$
@CountIblis Didn't catch that one before, thank you!
$endgroup$
– Ivan V.
5 hours ago










3 Answers
3






active

oldest

votes


















3












$begingroup$

You've replaced the converging integral $int_0^infty frac{mathrm{e}^{-mathrm{i} x} - mathrm{e}^{mathrm{i} x}}{x} ,mathrm{d}x$ with two divergent integrals, $int_0^infty frac{mathrm{e}^{-mathrm{i} x}}{x} ,mathrm{d}x$ and $int_0^infty frac{mathrm{e}^{mathrm{i} x}}{x} ,mathrm{d}x$. (That something divergent has been introduced is evident in your need to sneak up on a singularity at $0$ that was not in the original integral.)



Also, notice that your D-shaped contour does not go around your freshly minted singularity at $x = 0$. The singularity lands on your contour. See the Sokhotski–Plemelj theorem to find that the multiplier for the residue of the pole is $pm pi mathrm{i}$, not $pm 2 pi mathrm{i}$.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Ah, of course! And thank you for the additional info, very useful.
    $endgroup$
    – Ivan V.
    5 hours ago



















2












$begingroup$

You cannot shift the pole from the integration contour at will. Imagine that you shift it in the lower complex half-plane. Then instead of $-2pi i$ you would obtain for the integral the value $0$!



The correct way to handle the pole is to take the half of its residue value, which is equivalent to bypassing the pole along a tiny semicircle around it (observe that the result does not depend on the choice between upper and lower semicircle).






share|cite|improve this answer











$endgroup$





















    0












    $begingroup$

    There is a problem at the very first step. You cannot split the integral because both integrals are divergent.






    share|cite|improve this answer









    $endgroup$














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


      }
      });














      draft saved

      draft discarded


















      StackExchange.ready(
      function () {
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3167734%2freal-integral-using-residue-theorem-why-doesnt-this-work%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









      3












      $begingroup$

      You've replaced the converging integral $int_0^infty frac{mathrm{e}^{-mathrm{i} x} - mathrm{e}^{mathrm{i} x}}{x} ,mathrm{d}x$ with two divergent integrals, $int_0^infty frac{mathrm{e}^{-mathrm{i} x}}{x} ,mathrm{d}x$ and $int_0^infty frac{mathrm{e}^{mathrm{i} x}}{x} ,mathrm{d}x$. (That something divergent has been introduced is evident in your need to sneak up on a singularity at $0$ that was not in the original integral.)



      Also, notice that your D-shaped contour does not go around your freshly minted singularity at $x = 0$. The singularity lands on your contour. See the Sokhotski–Plemelj theorem to find that the multiplier for the residue of the pole is $pm pi mathrm{i}$, not $pm 2 pi mathrm{i}$.






      share|cite|improve this answer









      $endgroup$













      • $begingroup$
        Ah, of course! And thank you for the additional info, very useful.
        $endgroup$
        – Ivan V.
        5 hours ago
















      3












      $begingroup$

      You've replaced the converging integral $int_0^infty frac{mathrm{e}^{-mathrm{i} x} - mathrm{e}^{mathrm{i} x}}{x} ,mathrm{d}x$ with two divergent integrals, $int_0^infty frac{mathrm{e}^{-mathrm{i} x}}{x} ,mathrm{d}x$ and $int_0^infty frac{mathrm{e}^{mathrm{i} x}}{x} ,mathrm{d}x$. (That something divergent has been introduced is evident in your need to sneak up on a singularity at $0$ that was not in the original integral.)



      Also, notice that your D-shaped contour does not go around your freshly minted singularity at $x = 0$. The singularity lands on your contour. See the Sokhotski–Plemelj theorem to find that the multiplier for the residue of the pole is $pm pi mathrm{i}$, not $pm 2 pi mathrm{i}$.






      share|cite|improve this answer









      $endgroup$













      • $begingroup$
        Ah, of course! And thank you for the additional info, very useful.
        $endgroup$
        – Ivan V.
        5 hours ago














      3












      3








      3





      $begingroup$

      You've replaced the converging integral $int_0^infty frac{mathrm{e}^{-mathrm{i} x} - mathrm{e}^{mathrm{i} x}}{x} ,mathrm{d}x$ with two divergent integrals, $int_0^infty frac{mathrm{e}^{-mathrm{i} x}}{x} ,mathrm{d}x$ and $int_0^infty frac{mathrm{e}^{mathrm{i} x}}{x} ,mathrm{d}x$. (That something divergent has been introduced is evident in your need to sneak up on a singularity at $0$ that was not in the original integral.)



      Also, notice that your D-shaped contour does not go around your freshly minted singularity at $x = 0$. The singularity lands on your contour. See the Sokhotski–Plemelj theorem to find that the multiplier for the residue of the pole is $pm pi mathrm{i}$, not $pm 2 pi mathrm{i}$.






      share|cite|improve this answer









      $endgroup$



      You've replaced the converging integral $int_0^infty frac{mathrm{e}^{-mathrm{i} x} - mathrm{e}^{mathrm{i} x}}{x} ,mathrm{d}x$ with two divergent integrals, $int_0^infty frac{mathrm{e}^{-mathrm{i} x}}{x} ,mathrm{d}x$ and $int_0^infty frac{mathrm{e}^{mathrm{i} x}}{x} ,mathrm{d}x$. (That something divergent has been introduced is evident in your need to sneak up on a singularity at $0$ that was not in the original integral.)



      Also, notice that your D-shaped contour does not go around your freshly minted singularity at $x = 0$. The singularity lands on your contour. See the Sokhotski–Plemelj theorem to find that the multiplier for the residue of the pole is $pm pi mathrm{i}$, not $pm 2 pi mathrm{i}$.







      share|cite|improve this answer












      share|cite|improve this answer



      share|cite|improve this answer










      answered 5 hours ago









      Eric TowersEric Towers

      33.3k22370




      33.3k22370












      • $begingroup$
        Ah, of course! And thank you for the additional info, very useful.
        $endgroup$
        – Ivan V.
        5 hours ago


















      • $begingroup$
        Ah, of course! And thank you for the additional info, very useful.
        $endgroup$
        – Ivan V.
        5 hours ago
















      $begingroup$
      Ah, of course! And thank you for the additional info, very useful.
      $endgroup$
      – Ivan V.
      5 hours ago




      $begingroup$
      Ah, of course! And thank you for the additional info, very useful.
      $endgroup$
      – Ivan V.
      5 hours ago











      2












      $begingroup$

      You cannot shift the pole from the integration contour at will. Imagine that you shift it in the lower complex half-plane. Then instead of $-2pi i$ you would obtain for the integral the value $0$!



      The correct way to handle the pole is to take the half of its residue value, which is equivalent to bypassing the pole along a tiny semicircle around it (observe that the result does not depend on the choice between upper and lower semicircle).






      share|cite|improve this answer











      $endgroup$


















        2












        $begingroup$

        You cannot shift the pole from the integration contour at will. Imagine that you shift it in the lower complex half-plane. Then instead of $-2pi i$ you would obtain for the integral the value $0$!



        The correct way to handle the pole is to take the half of its residue value, which is equivalent to bypassing the pole along a tiny semicircle around it (observe that the result does not depend on the choice between upper and lower semicircle).






        share|cite|improve this answer











        $endgroup$
















          2












          2








          2





          $begingroup$

          You cannot shift the pole from the integration contour at will. Imagine that you shift it in the lower complex half-plane. Then instead of $-2pi i$ you would obtain for the integral the value $0$!



          The correct way to handle the pole is to take the half of its residue value, which is equivalent to bypassing the pole along a tiny semicircle around it (observe that the result does not depend on the choice between upper and lower semicircle).






          share|cite|improve this answer











          $endgroup$



          You cannot shift the pole from the integration contour at will. Imagine that you shift it in the lower complex half-plane. Then instead of $-2pi i$ you would obtain for the integral the value $0$!



          The correct way to handle the pole is to take the half of its residue value, which is equivalent to bypassing the pole along a tiny semicircle around it (observe that the result does not depend on the choice between upper and lower semicircle).







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited 5 hours ago

























          answered 5 hours ago









          useruser

          6,09811031




          6,09811031























              0












              $begingroup$

              There is a problem at the very first step. You cannot split the integral because both integrals are divergent.






              share|cite|improve this answer









              $endgroup$


















                0












                $begingroup$

                There is a problem at the very first step. You cannot split the integral because both integrals are divergent.






                share|cite|improve this answer









                $endgroup$
















                  0












                  0








                  0





                  $begingroup$

                  There is a problem at the very first step. You cannot split the integral because both integrals are divergent.






                  share|cite|improve this answer









                  $endgroup$



                  There is a problem at the very first step. You cannot split the integral because both integrals are divergent.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 5 hours ago









                  Kavi Rama MurthyKavi Rama Murthy

                  71.1k53170




                  71.1k53170






























                      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%2f3167734%2freal-integral-using-residue-theorem-why-doesnt-this-work%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

                      Щит и меч (фильм) Содержание Названия серий | Сюжет |...

                      is 'sed' thread safeWhat should someone know about using Python scripts in the shell?Nexenta bash script uses...

                      Meter-Bus Содержание Параметры шины | Стандартизация |...