Is complex residue related to the word residue?











up vote
8
down vote

favorite
2












I know little formal math terminology and don't understand much of anything about complex analysis. Also, if this isn't a good starting point for complex integration feel free to say (I'm learning about it partly for Cauchy's residue theorem).



My first and intuitive idea of residue has to do with remainder, subtraction, division, etc., But more generally something that's leftover, extra, or unused by an operation or something. Do these ideas tie together?










share|cite|improve this question


























    up vote
    8
    down vote

    favorite
    2












    I know little formal math terminology and don't understand much of anything about complex analysis. Also, if this isn't a good starting point for complex integration feel free to say (I'm learning about it partly for Cauchy's residue theorem).



    My first and intuitive idea of residue has to do with remainder, subtraction, division, etc., But more generally something that's leftover, extra, or unused by an operation or something. Do these ideas tie together?










    share|cite|improve this question
























      up vote
      8
      down vote

      favorite
      2









      up vote
      8
      down vote

      favorite
      2






      2





      I know little formal math terminology and don't understand much of anything about complex analysis. Also, if this isn't a good starting point for complex integration feel free to say (I'm learning about it partly for Cauchy's residue theorem).



      My first and intuitive idea of residue has to do with remainder, subtraction, division, etc., But more generally something that's leftover, extra, or unused by an operation or something. Do these ideas tie together?










      share|cite|improve this question













      I know little formal math terminology and don't understand much of anything about complex analysis. Also, if this isn't a good starting point for complex integration feel free to say (I'm learning about it partly for Cauchy's residue theorem).



      My first and intuitive idea of residue has to do with remainder, subtraction, division, etc., But more generally something that's leftover, extra, or unused by an operation or something. Do these ideas tie together?







      complex-analysis






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Nov 16 at 16:20









      Benjamin Thoburn

      1579




      1579






















          3 Answers
          3






          active

          oldest

          votes

















          up vote
          6
          down vote



          accepted










          The residue (latin residuere - remain) is named that way because
          $frac{1}{2pi i}int_{|w-z_0|=r}f(w)dw=sum_{n=-infty}^{infty} a_nint_{|w-z_0|=r}(w-z_0)^n,dw= a_{-1}$ is what remains after integration.






          share|cite|improve this answer




























            up vote
            4
            down vote













            If $ainmathbb C$, $rin(0,infty)$, $fcolon B_r(a)setminus{a}longrightarrowmathbb C$ is an analytic function, and $gammacolon[a,b]longrightarrow B_r(a)setminus{a}$ is a simple loop around $a$, then$$frac1{2pi i}int_gamma f(z),mathrm dz=operatorname{res}_{z=a}bigl(f(z)bigr).$$So, the residue is what's leftover after integrating along such a loop.






            share|cite|improve this answer




























              up vote
              3
              down vote













              Yes, it is. The residue of the Laurent series of a function in an annulus is the coefficient $c_{-1}$ of this series, that is what is left after integration of the function in a loop on the annulus (that is, after the integration of the Laurent series that represent the function in this annulus).



              Note that



              $$oint z^{-k}, dz=begin{cases}0,& kinBbb Zsetminus{1}\2pi i,& k=1end{cases}$$



              Hence (assuming a Laurent series around a pole in the origin for simplicity) we have that



              $$oint f(z), dz=ointsum_{kinBbb Z}c_k z^k, dz=sum_{kinBbb Z}c_k oint z^k, dz=c_{-1}2pi i$$






              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: 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%2f3001335%2fis-complex-residue-related-to-the-word-residue%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








                up vote
                6
                down vote



                accepted










                The residue (latin residuere - remain) is named that way because
                $frac{1}{2pi i}int_{|w-z_0|=r}f(w)dw=sum_{n=-infty}^{infty} a_nint_{|w-z_0|=r}(w-z_0)^n,dw= a_{-1}$ is what remains after integration.






                share|cite|improve this answer

























                  up vote
                  6
                  down vote



                  accepted










                  The residue (latin residuere - remain) is named that way because
                  $frac{1}{2pi i}int_{|w-z_0|=r}f(w)dw=sum_{n=-infty}^{infty} a_nint_{|w-z_0|=r}(w-z_0)^n,dw= a_{-1}$ is what remains after integration.






                  share|cite|improve this answer























                    up vote
                    6
                    down vote



                    accepted







                    up vote
                    6
                    down vote



                    accepted






                    The residue (latin residuere - remain) is named that way because
                    $frac{1}{2pi i}int_{|w-z_0|=r}f(w)dw=sum_{n=-infty}^{infty} a_nint_{|w-z_0|=r}(w-z_0)^n,dw= a_{-1}$ is what remains after integration.






                    share|cite|improve this answer












                    The residue (latin residuere - remain) is named that way because
                    $frac{1}{2pi i}int_{|w-z_0|=r}f(w)dw=sum_{n=-infty}^{infty} a_nint_{|w-z_0|=r}(w-z_0)^n,dw= a_{-1}$ is what remains after integration.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered Nov 16 at 16:35









                    Nodt Greenish

                    15011




                    15011






















                        up vote
                        4
                        down vote













                        If $ainmathbb C$, $rin(0,infty)$, $fcolon B_r(a)setminus{a}longrightarrowmathbb C$ is an analytic function, and $gammacolon[a,b]longrightarrow B_r(a)setminus{a}$ is a simple loop around $a$, then$$frac1{2pi i}int_gamma f(z),mathrm dz=operatorname{res}_{z=a}bigl(f(z)bigr).$$So, the residue is what's leftover after integrating along such a loop.






                        share|cite|improve this answer

























                          up vote
                          4
                          down vote













                          If $ainmathbb C$, $rin(0,infty)$, $fcolon B_r(a)setminus{a}longrightarrowmathbb C$ is an analytic function, and $gammacolon[a,b]longrightarrow B_r(a)setminus{a}$ is a simple loop around $a$, then$$frac1{2pi i}int_gamma f(z),mathrm dz=operatorname{res}_{z=a}bigl(f(z)bigr).$$So, the residue is what's leftover after integrating along such a loop.






                          share|cite|improve this answer























                            up vote
                            4
                            down vote










                            up vote
                            4
                            down vote









                            If $ainmathbb C$, $rin(0,infty)$, $fcolon B_r(a)setminus{a}longrightarrowmathbb C$ is an analytic function, and $gammacolon[a,b]longrightarrow B_r(a)setminus{a}$ is a simple loop around $a$, then$$frac1{2pi i}int_gamma f(z),mathrm dz=operatorname{res}_{z=a}bigl(f(z)bigr).$$So, the residue is what's leftover after integrating along such a loop.






                            share|cite|improve this answer












                            If $ainmathbb C$, $rin(0,infty)$, $fcolon B_r(a)setminus{a}longrightarrowmathbb C$ is an analytic function, and $gammacolon[a,b]longrightarrow B_r(a)setminus{a}$ is a simple loop around $a$, then$$frac1{2pi i}int_gamma f(z),mathrm dz=operatorname{res}_{z=a}bigl(f(z)bigr).$$So, the residue is what's leftover after integrating along such a loop.







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered Nov 16 at 16:28









                            José Carlos Santos

                            140k19111204




                            140k19111204






















                                up vote
                                3
                                down vote













                                Yes, it is. The residue of the Laurent series of a function in an annulus is the coefficient $c_{-1}$ of this series, that is what is left after integration of the function in a loop on the annulus (that is, after the integration of the Laurent series that represent the function in this annulus).



                                Note that



                                $$oint z^{-k}, dz=begin{cases}0,& kinBbb Zsetminus{1}\2pi i,& k=1end{cases}$$



                                Hence (assuming a Laurent series around a pole in the origin for simplicity) we have that



                                $$oint f(z), dz=ointsum_{kinBbb Z}c_k z^k, dz=sum_{kinBbb Z}c_k oint z^k, dz=c_{-1}2pi i$$






                                share|cite|improve this answer



























                                  up vote
                                  3
                                  down vote













                                  Yes, it is. The residue of the Laurent series of a function in an annulus is the coefficient $c_{-1}$ of this series, that is what is left after integration of the function in a loop on the annulus (that is, after the integration of the Laurent series that represent the function in this annulus).



                                  Note that



                                  $$oint z^{-k}, dz=begin{cases}0,& kinBbb Zsetminus{1}\2pi i,& k=1end{cases}$$



                                  Hence (assuming a Laurent series around a pole in the origin for simplicity) we have that



                                  $$oint f(z), dz=ointsum_{kinBbb Z}c_k z^k, dz=sum_{kinBbb Z}c_k oint z^k, dz=c_{-1}2pi i$$






                                  share|cite|improve this answer

























                                    up vote
                                    3
                                    down vote










                                    up vote
                                    3
                                    down vote









                                    Yes, it is. The residue of the Laurent series of a function in an annulus is the coefficient $c_{-1}$ of this series, that is what is left after integration of the function in a loop on the annulus (that is, after the integration of the Laurent series that represent the function in this annulus).



                                    Note that



                                    $$oint z^{-k}, dz=begin{cases}0,& kinBbb Zsetminus{1}\2pi i,& k=1end{cases}$$



                                    Hence (assuming a Laurent series around a pole in the origin for simplicity) we have that



                                    $$oint f(z), dz=ointsum_{kinBbb Z}c_k z^k, dz=sum_{kinBbb Z}c_k oint z^k, dz=c_{-1}2pi i$$






                                    share|cite|improve this answer














                                    Yes, it is. The residue of the Laurent series of a function in an annulus is the coefficient $c_{-1}$ of this series, that is what is left after integration of the function in a loop on the annulus (that is, after the integration of the Laurent series that represent the function in this annulus).



                                    Note that



                                    $$oint z^{-k}, dz=begin{cases}0,& kinBbb Zsetminus{1}\2pi i,& k=1end{cases}$$



                                    Hence (assuming a Laurent series around a pole in the origin for simplicity) we have that



                                    $$oint f(z), dz=ointsum_{kinBbb Z}c_k z^k, dz=sum_{kinBbb Z}c_k oint z^k, dz=c_{-1}2pi i$$







                                    share|cite|improve this answer














                                    share|cite|improve this answer



                                    share|cite|improve this answer








                                    edited Nov 16 at 16:38

























                                    answered Nov 16 at 16:28









                                    Masacroso

                                    12.2k41746




                                    12.2k41746






























                                         

                                        draft saved


                                        draft discarded



















































                                         


                                        draft saved


                                        draft discarded














                                        StackExchange.ready(
                                        function () {
                                        StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3001335%2fis-complex-residue-related-to-the-word-residue%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

                                        Quarter-circle Tiles

                                        build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

                                        Mont Emei