Contour integral with branch points inside argument of logarithm











up vote
1
down vote

favorite
1












This question comes from the context of calculating the grand potential for a simple toy problem (a linear chain of masses connected by springs with a mass defect) using statistical field theory.



In order to compute an infinite sum, I have been following Eliashberg procedure to instead relate the sum to a contour integral. The resulting integral is:



$displaystylemathcal{I} = oint dz frac{1}{e^{z/T}-1}lnleft[1-aleft(sqrt{frac{z^2}{z^2-omega_D^2}}-1right)right], $



where $a$ and $omega_D$ are real constants and $T$ is another real variable (temperature) to be retained. The original contour, $Gamma_1$, is shown on the left of the figure.



Eliashberg contours



My thoughts (please point out errors) are that the points $ z=pmomega_D $ are branch points from the square root. They would therefore require a branch cuts on the real axis. We could either use one cut on $(-omega_D, omega_D)$ or two, one on $(-infty, -omega_D)$ and one on $(omega_D, infty)$. The second contour in the figure, $Gamma_2$ shows a possible deformation if we choose the two infinite cuts.



I am also aware however that the logarithm itself requires a branch cut to be imposed. As far as I'm aware we may choose this to be on the real axis and it should begin at the point where the argument of the logarithm is zero, and extend to infinity. The starting point is found to be on the real axis and is $>omega_D$. For this reason I thought it best to pick the two infinite cuts relating to the square root, since then they just overlap?



My questions are:




  1. How would one evaluate the residues at the branch points, since they are also poles?


  2. Instead of tackling the integral directly by calculating residues, is there a way of using contour $Gamma_2$ to write $mathcal{I}$ as a combination of integrals over a real variable (since I believe The large and small arcing integrals are zero in the appropriate limits) from the contributions on the real axis? ie. the parts tracing close to the branch cuts.



Help and advice would be greatly appreciated.










share|cite|improve this question




























    up vote
    1
    down vote

    favorite
    1












    This question comes from the context of calculating the grand potential for a simple toy problem (a linear chain of masses connected by springs with a mass defect) using statistical field theory.



    In order to compute an infinite sum, I have been following Eliashberg procedure to instead relate the sum to a contour integral. The resulting integral is:



    $displaystylemathcal{I} = oint dz frac{1}{e^{z/T}-1}lnleft[1-aleft(sqrt{frac{z^2}{z^2-omega_D^2}}-1right)right], $



    where $a$ and $omega_D$ are real constants and $T$ is another real variable (temperature) to be retained. The original contour, $Gamma_1$, is shown on the left of the figure.



    Eliashberg contours



    My thoughts (please point out errors) are that the points $ z=pmomega_D $ are branch points from the square root. They would therefore require a branch cuts on the real axis. We could either use one cut on $(-omega_D, omega_D)$ or two, one on $(-infty, -omega_D)$ and one on $(omega_D, infty)$. The second contour in the figure, $Gamma_2$ shows a possible deformation if we choose the two infinite cuts.



    I am also aware however that the logarithm itself requires a branch cut to be imposed. As far as I'm aware we may choose this to be on the real axis and it should begin at the point where the argument of the logarithm is zero, and extend to infinity. The starting point is found to be on the real axis and is $>omega_D$. For this reason I thought it best to pick the two infinite cuts relating to the square root, since then they just overlap?



    My questions are:




    1. How would one evaluate the residues at the branch points, since they are also poles?


    2. Instead of tackling the integral directly by calculating residues, is there a way of using contour $Gamma_2$ to write $mathcal{I}$ as a combination of integrals over a real variable (since I believe The large and small arcing integrals are zero in the appropriate limits) from the contributions on the real axis? ie. the parts tracing close to the branch cuts.



    Help and advice would be greatly appreciated.










    share|cite|improve this question


























      up vote
      1
      down vote

      favorite
      1









      up vote
      1
      down vote

      favorite
      1






      1





      This question comes from the context of calculating the grand potential for a simple toy problem (a linear chain of masses connected by springs with a mass defect) using statistical field theory.



      In order to compute an infinite sum, I have been following Eliashberg procedure to instead relate the sum to a contour integral. The resulting integral is:



      $displaystylemathcal{I} = oint dz frac{1}{e^{z/T}-1}lnleft[1-aleft(sqrt{frac{z^2}{z^2-omega_D^2}}-1right)right], $



      where $a$ and $omega_D$ are real constants and $T$ is another real variable (temperature) to be retained. The original contour, $Gamma_1$, is shown on the left of the figure.



      Eliashberg contours



      My thoughts (please point out errors) are that the points $ z=pmomega_D $ are branch points from the square root. They would therefore require a branch cuts on the real axis. We could either use one cut on $(-omega_D, omega_D)$ or two, one on $(-infty, -omega_D)$ and one on $(omega_D, infty)$. The second contour in the figure, $Gamma_2$ shows a possible deformation if we choose the two infinite cuts.



      I am also aware however that the logarithm itself requires a branch cut to be imposed. As far as I'm aware we may choose this to be on the real axis and it should begin at the point where the argument of the logarithm is zero, and extend to infinity. The starting point is found to be on the real axis and is $>omega_D$. For this reason I thought it best to pick the two infinite cuts relating to the square root, since then they just overlap?



      My questions are:




      1. How would one evaluate the residues at the branch points, since they are also poles?


      2. Instead of tackling the integral directly by calculating residues, is there a way of using contour $Gamma_2$ to write $mathcal{I}$ as a combination of integrals over a real variable (since I believe The large and small arcing integrals are zero in the appropriate limits) from the contributions on the real axis? ie. the parts tracing close to the branch cuts.



      Help and advice would be greatly appreciated.










      share|cite|improve this question















      This question comes from the context of calculating the grand potential for a simple toy problem (a linear chain of masses connected by springs with a mass defect) using statistical field theory.



      In order to compute an infinite sum, I have been following Eliashberg procedure to instead relate the sum to a contour integral. The resulting integral is:



      $displaystylemathcal{I} = oint dz frac{1}{e^{z/T}-1}lnleft[1-aleft(sqrt{frac{z^2}{z^2-omega_D^2}}-1right)right], $



      where $a$ and $omega_D$ are real constants and $T$ is another real variable (temperature) to be retained. The original contour, $Gamma_1$, is shown on the left of the figure.



      Eliashberg contours



      My thoughts (please point out errors) are that the points $ z=pmomega_D $ are branch points from the square root. They would therefore require a branch cuts on the real axis. We could either use one cut on $(-omega_D, omega_D)$ or two, one on $(-infty, -omega_D)$ and one on $(omega_D, infty)$. The second contour in the figure, $Gamma_2$ shows a possible deformation if we choose the two infinite cuts.



      I am also aware however that the logarithm itself requires a branch cut to be imposed. As far as I'm aware we may choose this to be on the real axis and it should begin at the point where the argument of the logarithm is zero, and extend to infinity. The starting point is found to be on the real axis and is $>omega_D$. For this reason I thought it best to pick the two infinite cuts relating to the square root, since then they just overlap?



      My questions are:




      1. How would one evaluate the residues at the branch points, since they are also poles?


      2. Instead of tackling the integral directly by calculating residues, is there a way of using contour $Gamma_2$ to write $mathcal{I}$ as a combination of integrals over a real variable (since I believe The large and small arcing integrals are zero in the appropriate limits) from the contributions on the real axis? ie. the parts tracing close to the branch cuts.



      Help and advice would be greatly appreciated.







      summation physics contour-integration statistical-mechanics






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 15 at 17:32









      Felix Marin

      66k7107139




      66k7107139










      asked Nov 15 at 16:35









      J. Wise

      162




      162



























          active

          oldest

          votes











          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',
          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%2f2999932%2fcontour-integral-with-branch-points-inside-argument-of-logarithm%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown






























          active

          oldest

          votes













          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes
















           

          draft saved


          draft discarded



















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2999932%2fcontour-integral-with-branch-points-inside-argument-of-logarithm%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

          Plaza Victoria

          In PowerPoint, is there a keyboard shortcut for bulleted / numbered list?

          How to put 3 figures in Latex with 2 figures side by side and 1 below these side by side images but in...