Calculating $intfrac{e^{iz}}{z}, dz$ on the semi-circle given by $re^{itheta}$ where $theta:,0topi$












5












$begingroup$


As a part of an exercise I need to calculate




$$ lim_{rto0}int_{sigma_{r}}frac{e^{iz}}{z}, dz $$



Where $$ sigma_{r}:,[0,pi]tomathbb{C} $$



$$ sigma_{r}(t)=re^{it} $$




I know how to calculate the integral on the full circle ($|z|=r$)
using Cauchy integral formula: $$2pi ie^{iz}|_{z=0}=2pi i$$



I have checked if
$$
(overline{frac{e^{iz}}{z})}=frac{e^{iz}}{z}
$$



so that the integral I want to calculate is $$frac{1}{2}cdot2pi i=pi i$$
but I got that that the equality above does not hold.



Can someone please suggest a way of calculating this integral ?










share|cite|improve this question









$endgroup$












  • $begingroup$
    There might be a big difference in the difficulty between finding the integral and finding the limit. Are you sure you're asking what you want to ask?
    $endgroup$
    – Git Gud
    Jul 14 '13 at 14:33












  • $begingroup$
    @GitGud - Yes (but I think that the answer is independent of $r$ so there isn't actually a difference between the two)
    $endgroup$
    – Belgi
    Jul 14 '13 at 14:35










  • $begingroup$
    @Belgi The answer is not independent of $r$. You can relatively easily find a series expression for the integral by expanding $e^{iz}$ into its Taylor series.
    $endgroup$
    – Daniel Fischer
    Jul 14 '13 at 14:46
















5












$begingroup$


As a part of an exercise I need to calculate




$$ lim_{rto0}int_{sigma_{r}}frac{e^{iz}}{z}, dz $$



Where $$ sigma_{r}:,[0,pi]tomathbb{C} $$



$$ sigma_{r}(t)=re^{it} $$




I know how to calculate the integral on the full circle ($|z|=r$)
using Cauchy integral formula: $$2pi ie^{iz}|_{z=0}=2pi i$$



I have checked if
$$
(overline{frac{e^{iz}}{z})}=frac{e^{iz}}{z}
$$



so that the integral I want to calculate is $$frac{1}{2}cdot2pi i=pi i$$
but I got that that the equality above does not hold.



Can someone please suggest a way of calculating this integral ?










share|cite|improve this question









$endgroup$












  • $begingroup$
    There might be a big difference in the difficulty between finding the integral and finding the limit. Are you sure you're asking what you want to ask?
    $endgroup$
    – Git Gud
    Jul 14 '13 at 14:33












  • $begingroup$
    @GitGud - Yes (but I think that the answer is independent of $r$ so there isn't actually a difference between the two)
    $endgroup$
    – Belgi
    Jul 14 '13 at 14:35










  • $begingroup$
    @Belgi The answer is not independent of $r$. You can relatively easily find a series expression for the integral by expanding $e^{iz}$ into its Taylor series.
    $endgroup$
    – Daniel Fischer
    Jul 14 '13 at 14:46














5












5








5





$begingroup$


As a part of an exercise I need to calculate




$$ lim_{rto0}int_{sigma_{r}}frac{e^{iz}}{z}, dz $$



Where $$ sigma_{r}:,[0,pi]tomathbb{C} $$



$$ sigma_{r}(t)=re^{it} $$




I know how to calculate the integral on the full circle ($|z|=r$)
using Cauchy integral formula: $$2pi ie^{iz}|_{z=0}=2pi i$$



I have checked if
$$
(overline{frac{e^{iz}}{z})}=frac{e^{iz}}{z}
$$



so that the integral I want to calculate is $$frac{1}{2}cdot2pi i=pi i$$
but I got that that the equality above does not hold.



Can someone please suggest a way of calculating this integral ?










share|cite|improve this question









$endgroup$




As a part of an exercise I need to calculate




$$ lim_{rto0}int_{sigma_{r}}frac{e^{iz}}{z}, dz $$



Where $$ sigma_{r}:,[0,pi]tomathbb{C} $$



$$ sigma_{r}(t)=re^{it} $$




I know how to calculate the integral on the full circle ($|z|=r$)
using Cauchy integral formula: $$2pi ie^{iz}|_{z=0}=2pi i$$



I have checked if
$$
(overline{frac{e^{iz}}{z})}=frac{e^{iz}}{z}
$$



so that the integral I want to calculate is $$frac{1}{2}cdot2pi i=pi i$$
but I got that that the equality above does not hold.



Can someone please suggest a way of calculating this integral ?







complex-analysis integration






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jul 14 '13 at 14:30









BelgiBelgi

14.6k1054115




14.6k1054115












  • $begingroup$
    There might be a big difference in the difficulty between finding the integral and finding the limit. Are you sure you're asking what you want to ask?
    $endgroup$
    – Git Gud
    Jul 14 '13 at 14:33












  • $begingroup$
    @GitGud - Yes (but I think that the answer is independent of $r$ so there isn't actually a difference between the two)
    $endgroup$
    – Belgi
    Jul 14 '13 at 14:35










  • $begingroup$
    @Belgi The answer is not independent of $r$. You can relatively easily find a series expression for the integral by expanding $e^{iz}$ into its Taylor series.
    $endgroup$
    – Daniel Fischer
    Jul 14 '13 at 14:46


















  • $begingroup$
    There might be a big difference in the difficulty between finding the integral and finding the limit. Are you sure you're asking what you want to ask?
    $endgroup$
    – Git Gud
    Jul 14 '13 at 14:33












  • $begingroup$
    @GitGud - Yes (but I think that the answer is independent of $r$ so there isn't actually a difference between the two)
    $endgroup$
    – Belgi
    Jul 14 '13 at 14:35










  • $begingroup$
    @Belgi The answer is not independent of $r$. You can relatively easily find a series expression for the integral by expanding $e^{iz}$ into its Taylor series.
    $endgroup$
    – Daniel Fischer
    Jul 14 '13 at 14:46
















$begingroup$
There might be a big difference in the difficulty between finding the integral and finding the limit. Are you sure you're asking what you want to ask?
$endgroup$
– Git Gud
Jul 14 '13 at 14:33






$begingroup$
There might be a big difference in the difficulty between finding the integral and finding the limit. Are you sure you're asking what you want to ask?
$endgroup$
– Git Gud
Jul 14 '13 at 14:33














$begingroup$
@GitGud - Yes (but I think that the answer is independent of $r$ so there isn't actually a difference between the two)
$endgroup$
– Belgi
Jul 14 '13 at 14:35




$begingroup$
@GitGud - Yes (but I think that the answer is independent of $r$ so there isn't actually a difference between the two)
$endgroup$
– Belgi
Jul 14 '13 at 14:35












$begingroup$
@Belgi The answer is not independent of $r$. You can relatively easily find a series expression for the integral by expanding $e^{iz}$ into its Taylor series.
$endgroup$
– Daniel Fischer
Jul 14 '13 at 14:46




$begingroup$
@Belgi The answer is not independent of $r$. You can relatively easily find a series expression for the integral by expanding $e^{iz}$ into its Taylor series.
$endgroup$
– Daniel Fischer
Jul 14 '13 at 14:46










2 Answers
2






active

oldest

votes


















3












$begingroup$

Note that $dfrac{e^{iz}-1}{z}$ is bounded near $z=0$. Since the length of $sigma_r$ tends to $0$, we get
$$
lim_{rto0^+}int_{largesigma_r}frac{e^{iz}-1}{z},mathrm{d}z=0
$$
Thus,
$$
begin{align}
lim_{rto0^+}int_{largesigma_r}frac{e^{iz}}{z},mathrm{d}z
&=lim_{rto0^+}int_{largesigma_r}frac{e^{iz}-1}{z},mathrm{d}z
+lim_{rto0^+}int_{largesigma_r}frac{1}{z},mathrm{d}z\
&=0+lim_{rto0^+}int_0^pifrac{1}{re^{it}},mathrm{d}re^{it}\
&=lim_{rto0^+}int_0^pi i,mathrm{d}t\[9pt]
&=pi i
end{align}
$$






share|cite|improve this answer











$endgroup$





















    3












    $begingroup$

    For $k neq -1$, the function $z mapsto z^k$ has a primitive on $mathbb{C}setminus {0}$, namely $z mapsto frac{1}{k+1}z^{k+1}$.



    Thus, for $f$ holomorphic in a punctured neighbourhood of $0$, with the Laurent expansion



    $$f(z) = sum_{-infty}^infty a_k z^k,$$



    you can semi-explicitly evaluate the integral over $sigma_r$ (for small enough $r$) as



    $$begin{align}
    int_{sigma_r} f(z),dz &= a_{-1}int_{sigma_r}frac{dz}{z} + sum_{kneq -1} a_k int_{sigma_r}z^k\
    &= pi i a_{-1} + sum_{k neq -1} frac{a_k r^{k+1}}{k+1} left((-1)^{k+1} - 1right)\
    &= pi i a_{-1} -2 sum_{-infty}^infty frac{a_{2k}r^{2k+1}}{2k+1}.
    end{align}$$



    From that, you can read off that in general the integral depends on $r$, and it converges to $pi i operatorname{res}_0 f$ when $f$ has a simple pole in $0$ (generally, if $f$ has an odd principal part).



    Your integrand



    $$frac{e^{iz}}{z} = sum_{k=0}^infty frac{i^k}{k!}z^{k-1} = frac1z + i -frac{z}{2} -ifrac{z^2}{6} + frac{z^3}{24} + dotsb$$



    has $0$ as a simple pole, hence the above applies. Since not all even coefficients of the Laurent expansion vanish, the integral depends on $r$, but the limit is $pi i$.






    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%2f443418%2fcalculating-int-fraceizz-dz-on-the-semi-circle-given-by-rei-theta%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









      3












      $begingroup$

      Note that $dfrac{e^{iz}-1}{z}$ is bounded near $z=0$. Since the length of $sigma_r$ tends to $0$, we get
      $$
      lim_{rto0^+}int_{largesigma_r}frac{e^{iz}-1}{z},mathrm{d}z=0
      $$
      Thus,
      $$
      begin{align}
      lim_{rto0^+}int_{largesigma_r}frac{e^{iz}}{z},mathrm{d}z
      &=lim_{rto0^+}int_{largesigma_r}frac{e^{iz}-1}{z},mathrm{d}z
      +lim_{rto0^+}int_{largesigma_r}frac{1}{z},mathrm{d}z\
      &=0+lim_{rto0^+}int_0^pifrac{1}{re^{it}},mathrm{d}re^{it}\
      &=lim_{rto0^+}int_0^pi i,mathrm{d}t\[9pt]
      &=pi i
      end{align}
      $$






      share|cite|improve this answer











      $endgroup$


















        3












        $begingroup$

        Note that $dfrac{e^{iz}-1}{z}$ is bounded near $z=0$. Since the length of $sigma_r$ tends to $0$, we get
        $$
        lim_{rto0^+}int_{largesigma_r}frac{e^{iz}-1}{z},mathrm{d}z=0
        $$
        Thus,
        $$
        begin{align}
        lim_{rto0^+}int_{largesigma_r}frac{e^{iz}}{z},mathrm{d}z
        &=lim_{rto0^+}int_{largesigma_r}frac{e^{iz}-1}{z},mathrm{d}z
        +lim_{rto0^+}int_{largesigma_r}frac{1}{z},mathrm{d}z\
        &=0+lim_{rto0^+}int_0^pifrac{1}{re^{it}},mathrm{d}re^{it}\
        &=lim_{rto0^+}int_0^pi i,mathrm{d}t\[9pt]
        &=pi i
        end{align}
        $$






        share|cite|improve this answer











        $endgroup$
















          3












          3








          3





          $begingroup$

          Note that $dfrac{e^{iz}-1}{z}$ is bounded near $z=0$. Since the length of $sigma_r$ tends to $0$, we get
          $$
          lim_{rto0^+}int_{largesigma_r}frac{e^{iz}-1}{z},mathrm{d}z=0
          $$
          Thus,
          $$
          begin{align}
          lim_{rto0^+}int_{largesigma_r}frac{e^{iz}}{z},mathrm{d}z
          &=lim_{rto0^+}int_{largesigma_r}frac{e^{iz}-1}{z},mathrm{d}z
          +lim_{rto0^+}int_{largesigma_r}frac{1}{z},mathrm{d}z\
          &=0+lim_{rto0^+}int_0^pifrac{1}{re^{it}},mathrm{d}re^{it}\
          &=lim_{rto0^+}int_0^pi i,mathrm{d}t\[9pt]
          &=pi i
          end{align}
          $$






          share|cite|improve this answer











          $endgroup$



          Note that $dfrac{e^{iz}-1}{z}$ is bounded near $z=0$. Since the length of $sigma_r$ tends to $0$, we get
          $$
          lim_{rto0^+}int_{largesigma_r}frac{e^{iz}-1}{z},mathrm{d}z=0
          $$
          Thus,
          $$
          begin{align}
          lim_{rto0^+}int_{largesigma_r}frac{e^{iz}}{z},mathrm{d}z
          &=lim_{rto0^+}int_{largesigma_r}frac{e^{iz}-1}{z},mathrm{d}z
          +lim_{rto0^+}int_{largesigma_r}frac{1}{z},mathrm{d}z\
          &=0+lim_{rto0^+}int_0^pifrac{1}{re^{it}},mathrm{d}re^{it}\
          &=lim_{rto0^+}int_0^pi i,mathrm{d}t\[9pt]
          &=pi i
          end{align}
          $$







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Jul 14 '13 at 17:18

























          answered Jul 14 '13 at 17:13









          robjohnrobjohn

          267k27308632




          267k27308632























              3












              $begingroup$

              For $k neq -1$, the function $z mapsto z^k$ has a primitive on $mathbb{C}setminus {0}$, namely $z mapsto frac{1}{k+1}z^{k+1}$.



              Thus, for $f$ holomorphic in a punctured neighbourhood of $0$, with the Laurent expansion



              $$f(z) = sum_{-infty}^infty a_k z^k,$$



              you can semi-explicitly evaluate the integral over $sigma_r$ (for small enough $r$) as



              $$begin{align}
              int_{sigma_r} f(z),dz &= a_{-1}int_{sigma_r}frac{dz}{z} + sum_{kneq -1} a_k int_{sigma_r}z^k\
              &= pi i a_{-1} + sum_{k neq -1} frac{a_k r^{k+1}}{k+1} left((-1)^{k+1} - 1right)\
              &= pi i a_{-1} -2 sum_{-infty}^infty frac{a_{2k}r^{2k+1}}{2k+1}.
              end{align}$$



              From that, you can read off that in general the integral depends on $r$, and it converges to $pi i operatorname{res}_0 f$ when $f$ has a simple pole in $0$ (generally, if $f$ has an odd principal part).



              Your integrand



              $$frac{e^{iz}}{z} = sum_{k=0}^infty frac{i^k}{k!}z^{k-1} = frac1z + i -frac{z}{2} -ifrac{z^2}{6} + frac{z^3}{24} + dotsb$$



              has $0$ as a simple pole, hence the above applies. Since not all even coefficients of the Laurent expansion vanish, the integral depends on $r$, but the limit is $pi i$.






              share|cite|improve this answer









              $endgroup$


















                3












                $begingroup$

                For $k neq -1$, the function $z mapsto z^k$ has a primitive on $mathbb{C}setminus {0}$, namely $z mapsto frac{1}{k+1}z^{k+1}$.



                Thus, for $f$ holomorphic in a punctured neighbourhood of $0$, with the Laurent expansion



                $$f(z) = sum_{-infty}^infty a_k z^k,$$



                you can semi-explicitly evaluate the integral over $sigma_r$ (for small enough $r$) as



                $$begin{align}
                int_{sigma_r} f(z),dz &= a_{-1}int_{sigma_r}frac{dz}{z} + sum_{kneq -1} a_k int_{sigma_r}z^k\
                &= pi i a_{-1} + sum_{k neq -1} frac{a_k r^{k+1}}{k+1} left((-1)^{k+1} - 1right)\
                &= pi i a_{-1} -2 sum_{-infty}^infty frac{a_{2k}r^{2k+1}}{2k+1}.
                end{align}$$



                From that, you can read off that in general the integral depends on $r$, and it converges to $pi i operatorname{res}_0 f$ when $f$ has a simple pole in $0$ (generally, if $f$ has an odd principal part).



                Your integrand



                $$frac{e^{iz}}{z} = sum_{k=0}^infty frac{i^k}{k!}z^{k-1} = frac1z + i -frac{z}{2} -ifrac{z^2}{6} + frac{z^3}{24} + dotsb$$



                has $0$ as a simple pole, hence the above applies. Since not all even coefficients of the Laurent expansion vanish, the integral depends on $r$, but the limit is $pi i$.






                share|cite|improve this answer









                $endgroup$
















                  3












                  3








                  3





                  $begingroup$

                  For $k neq -1$, the function $z mapsto z^k$ has a primitive on $mathbb{C}setminus {0}$, namely $z mapsto frac{1}{k+1}z^{k+1}$.



                  Thus, for $f$ holomorphic in a punctured neighbourhood of $0$, with the Laurent expansion



                  $$f(z) = sum_{-infty}^infty a_k z^k,$$



                  you can semi-explicitly evaluate the integral over $sigma_r$ (for small enough $r$) as



                  $$begin{align}
                  int_{sigma_r} f(z),dz &= a_{-1}int_{sigma_r}frac{dz}{z} + sum_{kneq -1} a_k int_{sigma_r}z^k\
                  &= pi i a_{-1} + sum_{k neq -1} frac{a_k r^{k+1}}{k+1} left((-1)^{k+1} - 1right)\
                  &= pi i a_{-1} -2 sum_{-infty}^infty frac{a_{2k}r^{2k+1}}{2k+1}.
                  end{align}$$



                  From that, you can read off that in general the integral depends on $r$, and it converges to $pi i operatorname{res}_0 f$ when $f$ has a simple pole in $0$ (generally, if $f$ has an odd principal part).



                  Your integrand



                  $$frac{e^{iz}}{z} = sum_{k=0}^infty frac{i^k}{k!}z^{k-1} = frac1z + i -frac{z}{2} -ifrac{z^2}{6} + frac{z^3}{24} + dotsb$$



                  has $0$ as a simple pole, hence the above applies. Since not all even coefficients of the Laurent expansion vanish, the integral depends on $r$, but the limit is $pi i$.






                  share|cite|improve this answer









                  $endgroup$



                  For $k neq -1$, the function $z mapsto z^k$ has a primitive on $mathbb{C}setminus {0}$, namely $z mapsto frac{1}{k+1}z^{k+1}$.



                  Thus, for $f$ holomorphic in a punctured neighbourhood of $0$, with the Laurent expansion



                  $$f(z) = sum_{-infty}^infty a_k z^k,$$



                  you can semi-explicitly evaluate the integral over $sigma_r$ (for small enough $r$) as



                  $$begin{align}
                  int_{sigma_r} f(z),dz &= a_{-1}int_{sigma_r}frac{dz}{z} + sum_{kneq -1} a_k int_{sigma_r}z^k\
                  &= pi i a_{-1} + sum_{k neq -1} frac{a_k r^{k+1}}{k+1} left((-1)^{k+1} - 1right)\
                  &= pi i a_{-1} -2 sum_{-infty}^infty frac{a_{2k}r^{2k+1}}{2k+1}.
                  end{align}$$



                  From that, you can read off that in general the integral depends on $r$, and it converges to $pi i operatorname{res}_0 f$ when $f$ has a simple pole in $0$ (generally, if $f$ has an odd principal part).



                  Your integrand



                  $$frac{e^{iz}}{z} = sum_{k=0}^infty frac{i^k}{k!}z^{k-1} = frac1z + i -frac{z}{2} -ifrac{z^2}{6} + frac{z^3}{24} + dotsb$$



                  has $0$ as a simple pole, hence the above applies. Since not all even coefficients of the Laurent expansion vanish, the integral depends on $r$, but the limit is $pi i$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Jul 14 '13 at 16:02









                  Daniel FischerDaniel Fischer

                  174k16167286




                  174k16167286






























                      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%2f443418%2fcalculating-int-fraceizz-dz-on-the-semi-circle-given-by-rei-theta%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

                      How to send String Array data to Server using php in android

                      Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents

                      Is anime1.com a legal site for watching anime?