Using contour integration for the inverse Laplace transform to find the inverse transform of $dfracss^2 + a^2$

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
3
down vote

favorite
2












I am trying to use the contour integration formula for the inverse Laplace transform, find the inverse transform of $dfracss^2 + a^2$.



My textbook says that the solution is $cos(at)$, but it doesn't show any intermediate steps, and it isn't clear to me how this is done.



Do we somehow use Cauchy's residue theorem?




If $f(z)$ is analytic in a domain $D$ then for every closed path $C$ in $D$,



$$oint_C f(z) dz = 0$$




Can someone please show and explain how this is done so that I can understand it and do it myself for future problems? Thank you.










share|cite|improve this question

























    up vote
    3
    down vote

    favorite
    2












    I am trying to use the contour integration formula for the inverse Laplace transform, find the inverse transform of $dfracss^2 + a^2$.



    My textbook says that the solution is $cos(at)$, but it doesn't show any intermediate steps, and it isn't clear to me how this is done.



    Do we somehow use Cauchy's residue theorem?




    If $f(z)$ is analytic in a domain $D$ then for every closed path $C$ in $D$,



    $$oint_C f(z) dz = 0$$




    Can someone please show and explain how this is done so that I can understand it and do it myself for future problems? Thank you.










    share|cite|improve this question























      up vote
      3
      down vote

      favorite
      2









      up vote
      3
      down vote

      favorite
      2






      2





      I am trying to use the contour integration formula for the inverse Laplace transform, find the inverse transform of $dfracss^2 + a^2$.



      My textbook says that the solution is $cos(at)$, but it doesn't show any intermediate steps, and it isn't clear to me how this is done.



      Do we somehow use Cauchy's residue theorem?




      If $f(z)$ is analytic in a domain $D$ then for every closed path $C$ in $D$,



      $$oint_C f(z) dz = 0$$




      Can someone please show and explain how this is done so that I can understand it and do it myself for future problems? Thank you.










      share|cite|improve this question













      I am trying to use the contour integration formula for the inverse Laplace transform, find the inverse transform of $dfracss^2 + a^2$.



      My textbook says that the solution is $cos(at)$, but it doesn't show any intermediate steps, and it isn't clear to me how this is done.



      Do we somehow use Cauchy's residue theorem?




      If $f(z)$ is analytic in a domain $D$ then for every closed path $C$ in $D$,



      $$oint_C f(z) dz = 0$$




      Can someone please show and explain how this is done so that I can understand it and do it myself for future problems? Thank you.







      integration complex-analysis laplace-transform contour-integration analytic-functions






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Aug 30 at 7:40









      Wyuw

      1488




      1488




















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          2
          down vote













          The inverse Laplace transform of $F(s)=fracss^2+a^2$ is given by



          $$f(x)=frac12pi iint_alpha-iinfty^alpha+iinftyF(s)e^sxds$$
          where $alpha=Re (s)$.
          The integral is carried out by contour integration.
          enter image description here



          The contour from $alpha-iinfty$ to $alpha+iinfty$ is referred to as the Bromwich contour, and $alpha$ is taken to the right of all singularities in order to insure



          $$int_0^infty e^-alpha xvert f(x)vert dx<infty$$
          Hence, using the residue theorem and as $Rtoinfty$ and so $Ttoinfty$, we get
          $$f(x)=sum_j=1^2 operatornameResleft(fracse^sxs^2+a^2,s_jright),quad s_1=ia,quad s_2=-ia$$
          so
          $$f(x)=fracia e^iax2ia+fraciae^-iax2ia=cos(ax)quad (x>0)$$






          share|cite|improve this answer



























            up vote
            1
            down vote













            We go by the definition here:
            $$f(t) = frac12 pi i oint_C^F(s)e^stds = frac12pi i 2pi i sumResF(s)e^st$$
            We can see that we have poles in $s=ia$ and $s = -ia$ and these are complex conjugetes and therefore we have that the sum of these residues is:
            $$Res_s=ia F(s)e^st + Res_s=-ia F(s)e^st = 2Re(Res_s=ia F(s)e^st)$$
            So we have:
            $$Res_s=ia = lim_srightarrow ia frac(s-ia)se^st(s-ia)(s+ia) = frace^iat2 = frac12 (cos(at) + i sin(at))$$
            therefore:
            $$f(t) = 2 * frac12 Re(cos(at) + i sint(at))$$
            $$f(t) = cos(at)$$






            share|cite|improve this answer




















              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: false,
              showLowRepImageUploadWarning: true,
              reputationToPostImages: 10,
              bindNavPrevention: true,
              postfix: "",
              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%2f2899241%2fusing-contour-integration-for-the-inverse-laplace-transform-to-find-the-inverse%23new-answer', 'question_page');

              );

              Post as a guest






























              2 Answers
              2






              active

              oldest

              votes








              2 Answers
              2






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes








              up vote
              2
              down vote













              The inverse Laplace transform of $F(s)=fracss^2+a^2$ is given by



              $$f(x)=frac12pi iint_alpha-iinfty^alpha+iinftyF(s)e^sxds$$
              where $alpha=Re (s)$.
              The integral is carried out by contour integration.
              enter image description here



              The contour from $alpha-iinfty$ to $alpha+iinfty$ is referred to as the Bromwich contour, and $alpha$ is taken to the right of all singularities in order to insure



              $$int_0^infty e^-alpha xvert f(x)vert dx<infty$$
              Hence, using the residue theorem and as $Rtoinfty$ and so $Ttoinfty$, we get
              $$f(x)=sum_j=1^2 operatornameResleft(fracse^sxs^2+a^2,s_jright),quad s_1=ia,quad s_2=-ia$$
              so
              $$f(x)=fracia e^iax2ia+fraciae^-iax2ia=cos(ax)quad (x>0)$$






              share|cite|improve this answer
























                up vote
                2
                down vote













                The inverse Laplace transform of $F(s)=fracss^2+a^2$ is given by



                $$f(x)=frac12pi iint_alpha-iinfty^alpha+iinftyF(s)e^sxds$$
                where $alpha=Re (s)$.
                The integral is carried out by contour integration.
                enter image description here



                The contour from $alpha-iinfty$ to $alpha+iinfty$ is referred to as the Bromwich contour, and $alpha$ is taken to the right of all singularities in order to insure



                $$int_0^infty e^-alpha xvert f(x)vert dx<infty$$
                Hence, using the residue theorem and as $Rtoinfty$ and so $Ttoinfty$, we get
                $$f(x)=sum_j=1^2 operatornameResleft(fracse^sxs^2+a^2,s_jright),quad s_1=ia,quad s_2=-ia$$
                so
                $$f(x)=fracia e^iax2ia+fraciae^-iax2ia=cos(ax)quad (x>0)$$






                share|cite|improve this answer






















                  up vote
                  2
                  down vote










                  up vote
                  2
                  down vote









                  The inverse Laplace transform of $F(s)=fracss^2+a^2$ is given by



                  $$f(x)=frac12pi iint_alpha-iinfty^alpha+iinftyF(s)e^sxds$$
                  where $alpha=Re (s)$.
                  The integral is carried out by contour integration.
                  enter image description here



                  The contour from $alpha-iinfty$ to $alpha+iinfty$ is referred to as the Bromwich contour, and $alpha$ is taken to the right of all singularities in order to insure



                  $$int_0^infty e^-alpha xvert f(x)vert dx<infty$$
                  Hence, using the residue theorem and as $Rtoinfty$ and so $Ttoinfty$, we get
                  $$f(x)=sum_j=1^2 operatornameResleft(fracse^sxs^2+a^2,s_jright),quad s_1=ia,quad s_2=-ia$$
                  so
                  $$f(x)=fracia e^iax2ia+fraciae^-iax2ia=cos(ax)quad (x>0)$$






                  share|cite|improve this answer












                  The inverse Laplace transform of $F(s)=fracss^2+a^2$ is given by



                  $$f(x)=frac12pi iint_alpha-iinfty^alpha+iinftyF(s)e^sxds$$
                  where $alpha=Re (s)$.
                  The integral is carried out by contour integration.
                  enter image description here



                  The contour from $alpha-iinfty$ to $alpha+iinfty$ is referred to as the Bromwich contour, and $alpha$ is taken to the right of all singularities in order to insure



                  $$int_0^infty e^-alpha xvert f(x)vert dx<infty$$
                  Hence, using the residue theorem and as $Rtoinfty$ and so $Ttoinfty$, we get
                  $$f(x)=sum_j=1^2 operatornameResleft(fracse^sxs^2+a^2,s_jright),quad s_1=ia,quad s_2=-ia$$
                  so
                  $$f(x)=fracia e^iax2ia+fraciae^-iax2ia=cos(ax)quad (x>0)$$







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Aug 30 at 13:26









                  user296113

                  6,847828




                  6,847828




















                      up vote
                      1
                      down vote













                      We go by the definition here:
                      $$f(t) = frac12 pi i oint_C^F(s)e^stds = frac12pi i 2pi i sumResF(s)e^st$$
                      We can see that we have poles in $s=ia$ and $s = -ia$ and these are complex conjugetes and therefore we have that the sum of these residues is:
                      $$Res_s=ia F(s)e^st + Res_s=-ia F(s)e^st = 2Re(Res_s=ia F(s)e^st)$$
                      So we have:
                      $$Res_s=ia = lim_srightarrow ia frac(s-ia)se^st(s-ia)(s+ia) = frace^iat2 = frac12 (cos(at) + i sin(at))$$
                      therefore:
                      $$f(t) = 2 * frac12 Re(cos(at) + i sint(at))$$
                      $$f(t) = cos(at)$$






                      share|cite|improve this answer
























                        up vote
                        1
                        down vote













                        We go by the definition here:
                        $$f(t) = frac12 pi i oint_C^F(s)e^stds = frac12pi i 2pi i sumResF(s)e^st$$
                        We can see that we have poles in $s=ia$ and $s = -ia$ and these are complex conjugetes and therefore we have that the sum of these residues is:
                        $$Res_s=ia F(s)e^st + Res_s=-ia F(s)e^st = 2Re(Res_s=ia F(s)e^st)$$
                        So we have:
                        $$Res_s=ia = lim_srightarrow ia frac(s-ia)se^st(s-ia)(s+ia) = frace^iat2 = frac12 (cos(at) + i sin(at))$$
                        therefore:
                        $$f(t) = 2 * frac12 Re(cos(at) + i sint(at))$$
                        $$f(t) = cos(at)$$






                        share|cite|improve this answer






















                          up vote
                          1
                          down vote










                          up vote
                          1
                          down vote









                          We go by the definition here:
                          $$f(t) = frac12 pi i oint_C^F(s)e^stds = frac12pi i 2pi i sumResF(s)e^st$$
                          We can see that we have poles in $s=ia$ and $s = -ia$ and these are complex conjugetes and therefore we have that the sum of these residues is:
                          $$Res_s=ia F(s)e^st + Res_s=-ia F(s)e^st = 2Re(Res_s=ia F(s)e^st)$$
                          So we have:
                          $$Res_s=ia = lim_srightarrow ia frac(s-ia)se^st(s-ia)(s+ia) = frace^iat2 = frac12 (cos(at) + i sin(at))$$
                          therefore:
                          $$f(t) = 2 * frac12 Re(cos(at) + i sint(at))$$
                          $$f(t) = cos(at)$$






                          share|cite|improve this answer












                          We go by the definition here:
                          $$f(t) = frac12 pi i oint_C^F(s)e^stds = frac12pi i 2pi i sumResF(s)e^st$$
                          We can see that we have poles in $s=ia$ and $s = -ia$ and these are complex conjugetes and therefore we have that the sum of these residues is:
                          $$Res_s=ia F(s)e^st + Res_s=-ia F(s)e^st = 2Re(Res_s=ia F(s)e^st)$$
                          So we have:
                          $$Res_s=ia = lim_srightarrow ia frac(s-ia)se^st(s-ia)(s+ia) = frace^iat2 = frac12 (cos(at) + i sin(at))$$
                          therefore:
                          $$f(t) = 2 * frac12 Re(cos(at) + i sint(at))$$
                          $$f(t) = cos(at)$$







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered Aug 30 at 8:53









                          user1949350

                          1097




                          1097



























                               

                              draft saved


                              draft discarded















































                               


                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function ()
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2899241%2fusing-contour-integration-for-the-inverse-laplace-transform-to-find-the-inverse%23new-answer', 'question_page');

                              );

                              Post as a guest













































































                              這個網誌中的熱門文章

                              How to combine Bézier curves to a surface?

                              Mutual Information Always Non-negative

                              Why am i infinitely getting the same tweet with the Twitter Search API?