Closed paths in the complex plane











up vote
1
down vote

favorite












enter image description here



I have attached the image above, which is from lecture notes dealing with branch cuts and branch points. My question is: why does $phi$ change by multiples of $2pi$ as we travel around the point $z=1$, on a closed path? How do we show this?



Thanks in advance.










share|cite|improve this question


























    up vote
    1
    down vote

    favorite












    enter image description here



    I have attached the image above, which is from lecture notes dealing with branch cuts and branch points. My question is: why does $phi$ change by multiples of $2pi$ as we travel around the point $z=1$, on a closed path? How do we show this?



    Thanks in advance.










    share|cite|improve this question
























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite











      enter image description here



      I have attached the image above, which is from lecture notes dealing with branch cuts and branch points. My question is: why does $phi$ change by multiples of $2pi$ as we travel around the point $z=1$, on a closed path? How do we show this?



      Thanks in advance.










      share|cite|improve this question













      enter image description here



      I have attached the image above, which is from lecture notes dealing with branch cuts and branch points. My question is: why does $phi$ change by multiples of $2pi$ as we travel around the point $z=1$, on a closed path? How do we show this?



      Thanks in advance.







      complex-analysis complex-numbers






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Nov 20 at 22:36









      Live Free or π Hard

      440213




      440213






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          1
          down vote



          accepted










          This example might be confusing because of the translation. In fact, if $phi$ is allowed to be $any$ real number, then $log$ as written, isn't even a function.



          So let's distinguish branch points from "non"-branch points using simpler examples.



          Take for example $f(z)=frac{z}{z+1}$ and write $z=rho e^{iphi}.$ Then, of course, since $z=rho e^{i(phi+2pi n)}; nin mathbb Z, $ we can use $any$ of these representations of $z$ that we want. And, substituting any of these into the formula for $f$, we get the $same$ result.



          Now consider $f(z)=z^{sqrt 2}$. Take $phi=0, $ and then $phi=2pi$ and $z=(1,0)=e^{i(0)}=e^{i(0+2pi)}.$ Substituting these two representations of $z$ into $f$, we get $1$ and $e^{2pisqrt 2 i}, $ respectively, and these are $textit{different}.$



          Now if we consider the line segment in $mathbb C$ from $z=(0,0)$ to $z=(1,0)$ we can regard the second representation of $z$ as having been obtained from the first by a counterclockwise rotation by $2pi$ radians of the segment about $z=0$. And when we do this, we get back to the same point $z$, but the value of $f$ has changed. By definition then, $z=0$ is a branch point.



          When we perform this geometric analysis on the first example, we see that the value of $f$ at the rotated vs. unrotated point has not changed, and so $z=0$ is not a branch point for $f$.



          So what is the problem with the second example? It lies in the definition of the power function, which uses the Arg function, which is discontinuous on the negative real axis, so that a rotation through $2pi$ radians forces you to "jump" over the discontinuity.



          To apply this to your case, translate the whole picture by $1$ unit to the right and use $log$ instead of the power function.






          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%2f3007004%2fclosed-paths-in-the-complex-plane%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            1 Answer
            1






            active

            oldest

            votes








            1 Answer
            1






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            1
            down vote



            accepted










            This example might be confusing because of the translation. In fact, if $phi$ is allowed to be $any$ real number, then $log$ as written, isn't even a function.



            So let's distinguish branch points from "non"-branch points using simpler examples.



            Take for example $f(z)=frac{z}{z+1}$ and write $z=rho e^{iphi}.$ Then, of course, since $z=rho e^{i(phi+2pi n)}; nin mathbb Z, $ we can use $any$ of these representations of $z$ that we want. And, substituting any of these into the formula for $f$, we get the $same$ result.



            Now consider $f(z)=z^{sqrt 2}$. Take $phi=0, $ and then $phi=2pi$ and $z=(1,0)=e^{i(0)}=e^{i(0+2pi)}.$ Substituting these two representations of $z$ into $f$, we get $1$ and $e^{2pisqrt 2 i}, $ respectively, and these are $textit{different}.$



            Now if we consider the line segment in $mathbb C$ from $z=(0,0)$ to $z=(1,0)$ we can regard the second representation of $z$ as having been obtained from the first by a counterclockwise rotation by $2pi$ radians of the segment about $z=0$. And when we do this, we get back to the same point $z$, but the value of $f$ has changed. By definition then, $z=0$ is a branch point.



            When we perform this geometric analysis on the first example, we see that the value of $f$ at the rotated vs. unrotated point has not changed, and so $z=0$ is not a branch point for $f$.



            So what is the problem with the second example? It lies in the definition of the power function, which uses the Arg function, which is discontinuous on the negative real axis, so that a rotation through $2pi$ radians forces you to "jump" over the discontinuity.



            To apply this to your case, translate the whole picture by $1$ unit to the right and use $log$ instead of the power function.






            share|cite|improve this answer

























              up vote
              1
              down vote



              accepted










              This example might be confusing because of the translation. In fact, if $phi$ is allowed to be $any$ real number, then $log$ as written, isn't even a function.



              So let's distinguish branch points from "non"-branch points using simpler examples.



              Take for example $f(z)=frac{z}{z+1}$ and write $z=rho e^{iphi}.$ Then, of course, since $z=rho e^{i(phi+2pi n)}; nin mathbb Z, $ we can use $any$ of these representations of $z$ that we want. And, substituting any of these into the formula for $f$, we get the $same$ result.



              Now consider $f(z)=z^{sqrt 2}$. Take $phi=0, $ and then $phi=2pi$ and $z=(1,0)=e^{i(0)}=e^{i(0+2pi)}.$ Substituting these two representations of $z$ into $f$, we get $1$ and $e^{2pisqrt 2 i}, $ respectively, and these are $textit{different}.$



              Now if we consider the line segment in $mathbb C$ from $z=(0,0)$ to $z=(1,0)$ we can regard the second representation of $z$ as having been obtained from the first by a counterclockwise rotation by $2pi$ radians of the segment about $z=0$. And when we do this, we get back to the same point $z$, but the value of $f$ has changed. By definition then, $z=0$ is a branch point.



              When we perform this geometric analysis on the first example, we see that the value of $f$ at the rotated vs. unrotated point has not changed, and so $z=0$ is not a branch point for $f$.



              So what is the problem with the second example? It lies in the definition of the power function, which uses the Arg function, which is discontinuous on the negative real axis, so that a rotation through $2pi$ radians forces you to "jump" over the discontinuity.



              To apply this to your case, translate the whole picture by $1$ unit to the right and use $log$ instead of the power function.






              share|cite|improve this answer























                up vote
                1
                down vote



                accepted







                up vote
                1
                down vote



                accepted






                This example might be confusing because of the translation. In fact, if $phi$ is allowed to be $any$ real number, then $log$ as written, isn't even a function.



                So let's distinguish branch points from "non"-branch points using simpler examples.



                Take for example $f(z)=frac{z}{z+1}$ and write $z=rho e^{iphi}.$ Then, of course, since $z=rho e^{i(phi+2pi n)}; nin mathbb Z, $ we can use $any$ of these representations of $z$ that we want. And, substituting any of these into the formula for $f$, we get the $same$ result.



                Now consider $f(z)=z^{sqrt 2}$. Take $phi=0, $ and then $phi=2pi$ and $z=(1,0)=e^{i(0)}=e^{i(0+2pi)}.$ Substituting these two representations of $z$ into $f$, we get $1$ and $e^{2pisqrt 2 i}, $ respectively, and these are $textit{different}.$



                Now if we consider the line segment in $mathbb C$ from $z=(0,0)$ to $z=(1,0)$ we can regard the second representation of $z$ as having been obtained from the first by a counterclockwise rotation by $2pi$ radians of the segment about $z=0$. And when we do this, we get back to the same point $z$, but the value of $f$ has changed. By definition then, $z=0$ is a branch point.



                When we perform this geometric analysis on the first example, we see that the value of $f$ at the rotated vs. unrotated point has not changed, and so $z=0$ is not a branch point for $f$.



                So what is the problem with the second example? It lies in the definition of the power function, which uses the Arg function, which is discontinuous on the negative real axis, so that a rotation through $2pi$ radians forces you to "jump" over the discontinuity.



                To apply this to your case, translate the whole picture by $1$ unit to the right and use $log$ instead of the power function.






                share|cite|improve this answer












                This example might be confusing because of the translation. In fact, if $phi$ is allowed to be $any$ real number, then $log$ as written, isn't even a function.



                So let's distinguish branch points from "non"-branch points using simpler examples.



                Take for example $f(z)=frac{z}{z+1}$ and write $z=rho e^{iphi}.$ Then, of course, since $z=rho e^{i(phi+2pi n)}; nin mathbb Z, $ we can use $any$ of these representations of $z$ that we want. And, substituting any of these into the formula for $f$, we get the $same$ result.



                Now consider $f(z)=z^{sqrt 2}$. Take $phi=0, $ and then $phi=2pi$ and $z=(1,0)=e^{i(0)}=e^{i(0+2pi)}.$ Substituting these two representations of $z$ into $f$, we get $1$ and $e^{2pisqrt 2 i}, $ respectively, and these are $textit{different}.$



                Now if we consider the line segment in $mathbb C$ from $z=(0,0)$ to $z=(1,0)$ we can regard the second representation of $z$ as having been obtained from the first by a counterclockwise rotation by $2pi$ radians of the segment about $z=0$. And when we do this, we get back to the same point $z$, but the value of $f$ has changed. By definition then, $z=0$ is a branch point.



                When we perform this geometric analysis on the first example, we see that the value of $f$ at the rotated vs. unrotated point has not changed, and so $z=0$ is not a branch point for $f$.



                So what is the problem with the second example? It lies in the definition of the power function, which uses the Arg function, which is discontinuous on the negative real axis, so that a rotation through $2pi$ radians forces you to "jump" over the discontinuity.



                To apply this to your case, translate the whole picture by $1$ unit to the right and use $log$ instead of the power function.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Nov 20 at 23:41









                Matematleta

                9,5992918




                9,5992918






























                    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.





                    Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                    Please pay close attention to the following guidance:


                    • 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.


                    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%2f3007004%2fclosed-paths-in-the-complex-plane%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

                    Le Mesnil-Réaume

                    Ida-Boy-Ed-Garten

                    web3.py web3.isConnected() returns false always