Hey there! Sign in to join this conversationNew here? Join for free
    • Thread Starter
    Offline

    10
    ReputationRep:
    Let C denote spiral given by r= 2e^θ (in polars) . There is a unique holomorphic branch of log on ℂ\C s.t log(1)= 0.

    For this branch determine:

    log(i), log(3), log(-1), log(1000), log(-1000), log(2000)


    I'm struggling to understand the intuition here. I know about how holomorphic branches of L(z) can can be found by restricting to say ℂ\[-inf, 0] etc, and we do this so the value of L(z) can be single valued. However, I'm unsure how to define L(z) in the case of a spiral. I have an idea but its just a guess really:

    Say we define L(z) = log(|z|) + i*arg(z) + 2n*pi, where n is the number of times the spiral has wrapped around the origin by the time we get to the complex number we need (say for 1000, the spiral has wrapped around 0 times, but for 2000 its wrapped around once) (I'm sort of thinking of this in a 3d plane and 'moving up a level')

    However, I've never seen an example with spirals (or infact any other curve that isn't a line in the complex plane) so I'm not sure if this is anywhere near. Any help appreciated
    Offline

    10
    ReputationRep:
    (Original post by Gome44)
    Let C denote spiral given by r= 2e^θ (in polars) . There is a unique holomorphic branch of log on ℂ\C s.t log(1)= 0.

    For this branch determine:

    log(i), log(3), log(-1), log(1000), log(-1000), log(2000)


    I'm struggling to understand the intuition here. I know about how holomorphic branches of L(z) can can be found by restricting to say ℂ\[-inf, 0] etc, and we do this so the value of L(z) can be single valued. However, I'm unsure how to define L(z) in the case of a spiral. I have an idea but its just a guess really:

    Say we define L(z) = log(|z|) + i*arg(z) + 2n*pi, where n is the number of times the spiral has wrapped around the origin by the time we get to the complex number we need (say for 1000, the spiral has wrapped around 0 times, but for 2000 its wrapped around once) (I'm sort of thinking of this in a 3d plane)

    However, I've never seen an example with spirals (or infact any other curve that isn't a line in the complex plane) so I'm not sure if this is anywhere near. Any help appreciated
    Still at A level and have only watched videos regarding this topic and wiki...

    However,

    Draw the spiral by sampling  \theta at least every  \frac{2\pi}{3} , between two arms of the spiral there is a curved strip of the complex plane. Following  \arg(z) by continuity (starting from  \arg(1) = 0) you get a branch of  \log(z) on  \mathbb{C}/C

    Hope this helps
    • Thread Starter
    Offline

    10
    ReputationRep:
    (Original post by Naruke)
    Still at A level and have only watched videos regarding this topic and wiki...

    However,

    Draw the spiral by sampling  \theta at least every  \frac{2\pi}{3} , between two arms of the spiral there is a curved strip of the complex plane. Following  \arg(z) by continuity (starting from  \arg(1) = 0) you get a branch of  \log(z) on  \mathbb{C}/C

    Hope this helps
    Sorry I don't really get what you mean by the bolded bits, is my idea correct?
    Offline

    15
    ReputationRep:
    (Original post by Gome44)
    Say we define L(z) = log(|z|) + i*arg(z) + 2n*pi, where n is the number of times the spiral has wrapped around the origin by the time we get to the complex number we need (say for 1000, the spiral has wrapped around 0 times, but for 2000 its wrapped around once) (I'm sort of thinking of this in a 3d plane and 'moving up a level')
    You have the right idea.

    log(1)=0. And this branch will agree with the standard lnx in the range

    exp(-2pi) < x < exp(2pi) of the real axis

    To the right of exp(2pi) and as far as exp(4pi) the function is lnx + 2 pi i as we are one level up.

    Across the curve C there will always be a 2 pi i discontinuity.
    • Thread Starter
    Offline

    10
    ReputationRep:
    (Original post by RichE)
    You have the right idea.

    log(1)=0. And this branch will agree with the standard lnx in the range

    exp(-2pi) < x < exp(2pi) of the real axis

    To the right of exp(2pi) and as far as exp(4pi) the function is lnx + 2 pi i as we are one level up.

    Across the curve C there will always be a 2 pi i discontinuity.
    Thanks

    Spoiler:
    Show
    Nice question btw
 
 
 
  • See more of what you like on The Student Room

    You can personalise what you see on TSR. Tell us a little about yourself to get started.

  • Poll
    Brussels sprouts
    Useful resources

    Make your revision easier

    Maths

    Maths Forum posting guidelines

    Not sure where to post? Read the updated guidelines here

    Equations

    How to use LaTex

    Writing equations the easy way

    Student revising

    Study habits of A* students

    Top tips from students who have already aced their exams

    Study Planner

    Create your own Study Planner

    Never miss a deadline again

    Polling station sign

    Thinking about a maths degree?

    Chat with other maths applicants

    Can you help? Study help unanswered threads

    Groups associated with this forum:

    View associated groups
  • See more of what you like on The Student Room

    You can personalise what you see on TSR. Tell us a little about yourself to get started.

  • The Student Room, Get Revising and Marked by Teachers are trading names of The Student Room Group Ltd.

    Register Number: 04666380 (England and Wales), VAT No. 806 8067 22 Registered Office: International House, Queens Road, Brighton, BN1 3XE

    Quick reply
    Reputation gems: You get these gems as you gain rep from other members for making good contributions and giving helpful advice.