Branch point of log(z)












0












$begingroup$


I'm currently following a class on complex analysis (for physicists) and I'm having trouble with the concept of branch points. In my textbook, they say that log(z) has a branch point at zero and at infinity. They also state that every other point is not a branch point and i'm having a hard time proving that $z=2$ is actually not a branch point. I've searched a lot without finding anything convincing.



So far I tried the following :



Let's say we look at the function $f(z) = ln(z)$ at $z=2$. To show that this is, or is not a branch point, we can draw a circle of radius 1 around this point. Thus, let us take $z_i = 2+e^{icdot 0}$ and $z_f=2+e^{2pi i}$. In that case, $f(z_i)=ln(2+1) = ln(3e^{i2pi n})$ and $f(z_f)=ln(2+1) = ln(3e^{i 2pi n})$ and thus $ f(z_i)=f(z_f)$, which is what we want. However, if I take a circle of radius 3, the result of this methode is the sames, altough it shouldn't since the circle goes around zero. Indeed, in that case, this method leads to :



$f(z_i)=ln(2+3) = ln(5e^{i2pi n})$ and $f(z_f)=ln(2+3) = ln(5e^{i2pi n})$...



I guess there is something wrong with what I'm doing, but I don't know what...



I would like to show that $z=2$ is not a branch point using contours, not by other means.



Thanks a lot!










share|cite|improve this question











$endgroup$












  • $begingroup$
    If $f(z) = e^z$, then $f(log 2) = 2$, and $f'(log 2) neq 0$, hence $f$ has a local, analytic inverse $g$. It follows that $log$ does not have branch point at $2$.
    $endgroup$
    – copper.hat
    Feb 18 '17 at 22:00










  • $begingroup$
    Is there a way to find this answer using contours?
    $endgroup$
    – Xavier-rp
    Feb 18 '17 at 22:02










  • $begingroup$
    I don't understand what you mean by 'using contours'. If $g$ (which is $log$ plus a constant) is analytic at $2$ then the value of $g$ locally is independent of any path.
    $endgroup$
    – copper.hat
    Feb 18 '17 at 22:04










  • $begingroup$
    Page 4 of that textbook : (math.mit.edu/classes/18.305/Notes/n00Branch_Points_B_Cuts.pdf) states that ''consider again the case of the function log(z), take z0 = 2 and a closed curve around z = 2 that also encloses z = 0. The value of log(z) wil l change as this curve is traced, but this does not make z = 2 a branch point. In fact, for curves close to z = 2 there is no change, hence z = 2 is not a branch point of log(z)!) ''
    $endgroup$
    – Xavier-rp
    Feb 18 '17 at 22:09












  • $begingroup$
    The inverse function theorem shows that $log$ is analytic in a convex neighbourhood of $2$. So there is no issue with definition. If you take a path around $2$ that also encloses $0$, then the function will need to be extended ('define it continuously' in the book) as one goes around the path and on return to the starting point will have accumulated some multiple of $2 pi$ (depending on the net encirclements). The function $log$ is defined everywhere in a neighbourhood of $2$ so there is no need to extend.
    $endgroup$
    – copper.hat
    Feb 18 '17 at 22:24


















0












$begingroup$


I'm currently following a class on complex analysis (for physicists) and I'm having trouble with the concept of branch points. In my textbook, they say that log(z) has a branch point at zero and at infinity. They also state that every other point is not a branch point and i'm having a hard time proving that $z=2$ is actually not a branch point. I've searched a lot without finding anything convincing.



So far I tried the following :



Let's say we look at the function $f(z) = ln(z)$ at $z=2$. To show that this is, or is not a branch point, we can draw a circle of radius 1 around this point. Thus, let us take $z_i = 2+e^{icdot 0}$ and $z_f=2+e^{2pi i}$. In that case, $f(z_i)=ln(2+1) = ln(3e^{i2pi n})$ and $f(z_f)=ln(2+1) = ln(3e^{i 2pi n})$ and thus $ f(z_i)=f(z_f)$, which is what we want. However, if I take a circle of radius 3, the result of this methode is the sames, altough it shouldn't since the circle goes around zero. Indeed, in that case, this method leads to :



$f(z_i)=ln(2+3) = ln(5e^{i2pi n})$ and $f(z_f)=ln(2+3) = ln(5e^{i2pi n})$...



I guess there is something wrong with what I'm doing, but I don't know what...



I would like to show that $z=2$ is not a branch point using contours, not by other means.



Thanks a lot!










share|cite|improve this question











$endgroup$












  • $begingroup$
    If $f(z) = e^z$, then $f(log 2) = 2$, and $f'(log 2) neq 0$, hence $f$ has a local, analytic inverse $g$. It follows that $log$ does not have branch point at $2$.
    $endgroup$
    – copper.hat
    Feb 18 '17 at 22:00










  • $begingroup$
    Is there a way to find this answer using contours?
    $endgroup$
    – Xavier-rp
    Feb 18 '17 at 22:02










  • $begingroup$
    I don't understand what you mean by 'using contours'. If $g$ (which is $log$ plus a constant) is analytic at $2$ then the value of $g$ locally is independent of any path.
    $endgroup$
    – copper.hat
    Feb 18 '17 at 22:04










  • $begingroup$
    Page 4 of that textbook : (math.mit.edu/classes/18.305/Notes/n00Branch_Points_B_Cuts.pdf) states that ''consider again the case of the function log(z), take z0 = 2 and a closed curve around z = 2 that also encloses z = 0. The value of log(z) wil l change as this curve is traced, but this does not make z = 2 a branch point. In fact, for curves close to z = 2 there is no change, hence z = 2 is not a branch point of log(z)!) ''
    $endgroup$
    – Xavier-rp
    Feb 18 '17 at 22:09












  • $begingroup$
    The inverse function theorem shows that $log$ is analytic in a convex neighbourhood of $2$. So there is no issue with definition. If you take a path around $2$ that also encloses $0$, then the function will need to be extended ('define it continuously' in the book) as one goes around the path and on return to the starting point will have accumulated some multiple of $2 pi$ (depending on the net encirclements). The function $log$ is defined everywhere in a neighbourhood of $2$ so there is no need to extend.
    $endgroup$
    – copper.hat
    Feb 18 '17 at 22:24
















0












0








0





$begingroup$


I'm currently following a class on complex analysis (for physicists) and I'm having trouble with the concept of branch points. In my textbook, they say that log(z) has a branch point at zero and at infinity. They also state that every other point is not a branch point and i'm having a hard time proving that $z=2$ is actually not a branch point. I've searched a lot without finding anything convincing.



So far I tried the following :



Let's say we look at the function $f(z) = ln(z)$ at $z=2$. To show that this is, or is not a branch point, we can draw a circle of radius 1 around this point. Thus, let us take $z_i = 2+e^{icdot 0}$ and $z_f=2+e^{2pi i}$. In that case, $f(z_i)=ln(2+1) = ln(3e^{i2pi n})$ and $f(z_f)=ln(2+1) = ln(3e^{i 2pi n})$ and thus $ f(z_i)=f(z_f)$, which is what we want. However, if I take a circle of radius 3, the result of this methode is the sames, altough it shouldn't since the circle goes around zero. Indeed, in that case, this method leads to :



$f(z_i)=ln(2+3) = ln(5e^{i2pi n})$ and $f(z_f)=ln(2+3) = ln(5e^{i2pi n})$...



I guess there is something wrong with what I'm doing, but I don't know what...



I would like to show that $z=2$ is not a branch point using contours, not by other means.



Thanks a lot!










share|cite|improve this question











$endgroup$




I'm currently following a class on complex analysis (for physicists) and I'm having trouble with the concept of branch points. In my textbook, they say that log(z) has a branch point at zero and at infinity. They also state that every other point is not a branch point and i'm having a hard time proving that $z=2$ is actually not a branch point. I've searched a lot without finding anything convincing.



So far I tried the following :



Let's say we look at the function $f(z) = ln(z)$ at $z=2$. To show that this is, or is not a branch point, we can draw a circle of radius 1 around this point. Thus, let us take $z_i = 2+e^{icdot 0}$ and $z_f=2+e^{2pi i}$. In that case, $f(z_i)=ln(2+1) = ln(3e^{i2pi n})$ and $f(z_f)=ln(2+1) = ln(3e^{i 2pi n})$ and thus $ f(z_i)=f(z_f)$, which is what we want. However, if I take a circle of radius 3, the result of this methode is the sames, altough it shouldn't since the circle goes around zero. Indeed, in that case, this method leads to :



$f(z_i)=ln(2+3) = ln(5e^{i2pi n})$ and $f(z_f)=ln(2+3) = ln(5e^{i2pi n})$...



I guess there is something wrong with what I'm doing, but I don't know what...



I would like to show that $z=2$ is not a branch point using contours, not by other means.



Thanks a lot!







complex-analysis logarithms branch-points






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Feb 18 '17 at 22:03







Xavier-rp

















asked Feb 18 '17 at 21:52









Xavier-rpXavier-rp

11




11












  • $begingroup$
    If $f(z) = e^z$, then $f(log 2) = 2$, and $f'(log 2) neq 0$, hence $f$ has a local, analytic inverse $g$. It follows that $log$ does not have branch point at $2$.
    $endgroup$
    – copper.hat
    Feb 18 '17 at 22:00










  • $begingroup$
    Is there a way to find this answer using contours?
    $endgroup$
    – Xavier-rp
    Feb 18 '17 at 22:02










  • $begingroup$
    I don't understand what you mean by 'using contours'. If $g$ (which is $log$ plus a constant) is analytic at $2$ then the value of $g$ locally is independent of any path.
    $endgroup$
    – copper.hat
    Feb 18 '17 at 22:04










  • $begingroup$
    Page 4 of that textbook : (math.mit.edu/classes/18.305/Notes/n00Branch_Points_B_Cuts.pdf) states that ''consider again the case of the function log(z), take z0 = 2 and a closed curve around z = 2 that also encloses z = 0. The value of log(z) wil l change as this curve is traced, but this does not make z = 2 a branch point. In fact, for curves close to z = 2 there is no change, hence z = 2 is not a branch point of log(z)!) ''
    $endgroup$
    – Xavier-rp
    Feb 18 '17 at 22:09












  • $begingroup$
    The inverse function theorem shows that $log$ is analytic in a convex neighbourhood of $2$. So there is no issue with definition. If you take a path around $2$ that also encloses $0$, then the function will need to be extended ('define it continuously' in the book) as one goes around the path and on return to the starting point will have accumulated some multiple of $2 pi$ (depending on the net encirclements). The function $log$ is defined everywhere in a neighbourhood of $2$ so there is no need to extend.
    $endgroup$
    – copper.hat
    Feb 18 '17 at 22:24




















  • $begingroup$
    If $f(z) = e^z$, then $f(log 2) = 2$, and $f'(log 2) neq 0$, hence $f$ has a local, analytic inverse $g$. It follows that $log$ does not have branch point at $2$.
    $endgroup$
    – copper.hat
    Feb 18 '17 at 22:00










  • $begingroup$
    Is there a way to find this answer using contours?
    $endgroup$
    – Xavier-rp
    Feb 18 '17 at 22:02










  • $begingroup$
    I don't understand what you mean by 'using contours'. If $g$ (which is $log$ plus a constant) is analytic at $2$ then the value of $g$ locally is independent of any path.
    $endgroup$
    – copper.hat
    Feb 18 '17 at 22:04










  • $begingroup$
    Page 4 of that textbook : (math.mit.edu/classes/18.305/Notes/n00Branch_Points_B_Cuts.pdf) states that ''consider again the case of the function log(z), take z0 = 2 and a closed curve around z = 2 that also encloses z = 0. The value of log(z) wil l change as this curve is traced, but this does not make z = 2 a branch point. In fact, for curves close to z = 2 there is no change, hence z = 2 is not a branch point of log(z)!) ''
    $endgroup$
    – Xavier-rp
    Feb 18 '17 at 22:09












  • $begingroup$
    The inverse function theorem shows that $log$ is analytic in a convex neighbourhood of $2$. So there is no issue with definition. If you take a path around $2$ that also encloses $0$, then the function will need to be extended ('define it continuously' in the book) as one goes around the path and on return to the starting point will have accumulated some multiple of $2 pi$ (depending on the net encirclements). The function $log$ is defined everywhere in a neighbourhood of $2$ so there is no need to extend.
    $endgroup$
    – copper.hat
    Feb 18 '17 at 22:24


















$begingroup$
If $f(z) = e^z$, then $f(log 2) = 2$, and $f'(log 2) neq 0$, hence $f$ has a local, analytic inverse $g$. It follows that $log$ does not have branch point at $2$.
$endgroup$
– copper.hat
Feb 18 '17 at 22:00




$begingroup$
If $f(z) = e^z$, then $f(log 2) = 2$, and $f'(log 2) neq 0$, hence $f$ has a local, analytic inverse $g$. It follows that $log$ does not have branch point at $2$.
$endgroup$
– copper.hat
Feb 18 '17 at 22:00












$begingroup$
Is there a way to find this answer using contours?
$endgroup$
– Xavier-rp
Feb 18 '17 at 22:02




$begingroup$
Is there a way to find this answer using contours?
$endgroup$
– Xavier-rp
Feb 18 '17 at 22:02












$begingroup$
I don't understand what you mean by 'using contours'. If $g$ (which is $log$ plus a constant) is analytic at $2$ then the value of $g$ locally is independent of any path.
$endgroup$
– copper.hat
Feb 18 '17 at 22:04




$begingroup$
I don't understand what you mean by 'using contours'. If $g$ (which is $log$ plus a constant) is analytic at $2$ then the value of $g$ locally is independent of any path.
$endgroup$
– copper.hat
Feb 18 '17 at 22:04












$begingroup$
Page 4 of that textbook : (math.mit.edu/classes/18.305/Notes/n00Branch_Points_B_Cuts.pdf) states that ''consider again the case of the function log(z), take z0 = 2 and a closed curve around z = 2 that also encloses z = 0. The value of log(z) wil l change as this curve is traced, but this does not make z = 2 a branch point. In fact, for curves close to z = 2 there is no change, hence z = 2 is not a branch point of log(z)!) ''
$endgroup$
– Xavier-rp
Feb 18 '17 at 22:09






$begingroup$
Page 4 of that textbook : (math.mit.edu/classes/18.305/Notes/n00Branch_Points_B_Cuts.pdf) states that ''consider again the case of the function log(z), take z0 = 2 and a closed curve around z = 2 that also encloses z = 0. The value of log(z) wil l change as this curve is traced, but this does not make z = 2 a branch point. In fact, for curves close to z = 2 there is no change, hence z = 2 is not a branch point of log(z)!) ''
$endgroup$
– Xavier-rp
Feb 18 '17 at 22:09














$begingroup$
The inverse function theorem shows that $log$ is analytic in a convex neighbourhood of $2$. So there is no issue with definition. If you take a path around $2$ that also encloses $0$, then the function will need to be extended ('define it continuously' in the book) as one goes around the path and on return to the starting point will have accumulated some multiple of $2 pi$ (depending on the net encirclements). The function $log$ is defined everywhere in a neighbourhood of $2$ so there is no need to extend.
$endgroup$
– copper.hat
Feb 18 '17 at 22:24






$begingroup$
The inverse function theorem shows that $log$ is analytic in a convex neighbourhood of $2$. So there is no issue with definition. If you take a path around $2$ that also encloses $0$, then the function will need to be extended ('define it continuously' in the book) as one goes around the path and on return to the starting point will have accumulated some multiple of $2 pi$ (depending on the net encirclements). The function $log$ is defined everywhere in a neighbourhood of $2$ so there is no need to extend.
$endgroup$
– copper.hat
Feb 18 '17 at 22:24












1 Answer
1






active

oldest

votes


















0












$begingroup$

You need that the function can be defined like singlevalue function and this definition must be at least continuos inside the set joined to their interior. This assumption doesn't satisfy in the second contour.






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%2f2150639%2fbranch-point-of-logz%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









    0












    $begingroup$

    You need that the function can be defined like singlevalue function and this definition must be at least continuos inside the set joined to their interior. This assumption doesn't satisfy in the second contour.






    share|cite|improve this answer









    $endgroup$


















      0












      $begingroup$

      You need that the function can be defined like singlevalue function and this definition must be at least continuos inside the set joined to their interior. This assumption doesn't satisfy in the second contour.






      share|cite|improve this answer









      $endgroup$
















        0












        0








        0





        $begingroup$

        You need that the function can be defined like singlevalue function and this definition must be at least continuos inside the set joined to their interior. This assumption doesn't satisfy in the second contour.






        share|cite|improve this answer









        $endgroup$



        You need that the function can be defined like singlevalue function and this definition must be at least continuos inside the set joined to their interior. This assumption doesn't satisfy in the second contour.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Aug 26 '18 at 7:15









        TomásTomás

        1




        1






























            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%2f2150639%2fbranch-point-of-logz%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

            Human spaceflight

            Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?

            張江高科駅