1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Possible branch cuts for arcsin derivative

  1. Feb 14, 2017 #1
    1. The problem statement, all variables and given/known data
    Our text book, Fundamentals of Complex Analysis, (....) by Saff Snider says on page 135 that by choosing some suitable branch for the square root and the logarithm then one can show that any such branch satisfies the equation below.

    The homework/task is to find all such branch cuts such that this formula is valid.

    2. Relevant equations

    $$\frac{d}{dz}\sin^{-1}(z) = \frac{1}{(1-z^2)^{1/2}}$$ for all $z \neq 1,-1$, where $$\sin^{-1}(z) = -i \log(iz + (1-z^2)^{1/2})$$

    3. The attempt at a solution

    My initial hunch is that there is no such branch cut since any choice of branch for the square root and the logarithm have to imply that ##\sin^{-1}(z)## is not continuous for some value of the argument. Therefore the derivative of ##\sin^{-1}(z)## can not be well defined on all C except at z =1,-1?
     
    Last edited: Feb 14, 2017
  2. jcsd
  3. Feb 15, 2017 #2

    stevendaryl

    User Avatar
    Staff Emeritus
    Science Advisor

    The existence of a branch cut just means that the function is multi-valued, not that it is not continuous. In the same way that [itex]\sqrt{1} = \pm 1[/itex], [itex]sin^{-1}(1) = \pi \pm \frac{\pi}{2}[/itex].

    Multivalued functions are not a problem for real numbers--we can just say that we always choose the positive square root, and then it becomes single-valued. But in the complex plane, any choice you make runs into an inconsistency: If you start at [itex]z=1[/itex] and choose [itex]\sqrt{z} = +1[/itex], and then move around the circle in the complex plane with [itex]|z| = 1[/itex] and always pick the sign of the square root so that it is continuous, then when you get back to where you started, you will find [itex]\sqrt{1} = -1[/itex]. So you cannot make [itex]\sqrt{z}[/itex] both single-valued and continuous everywhere. If you put in a branch cut, and say that the line along the real axis with [itex]z > 0[/itex] is not in the domain, then you can make the square-root single-valued and continuous everywhere else.
     
  4. Feb 15, 2017 #3
    Thank you! Yes, I agree with what you are saying. So is it just sloppy notation by the book? That is, what they really want to say is that for some choice of branch cut the derivative is $$\frac{d}{dz}\sin^{-1}(z) = -i \log(iz + (1-z^2)^{1/2})$$ for all ##z \in \mathbb{C}^*\backslash \{1,-1\}## where ##\mathbb{C}^*## is the complex plane except the branch cut made? By this notation any branch cut should be ok, right?
     
  5. Feb 16, 2017 #4

    stevendaryl

    User Avatar
    Staff Emeritus
    Science Advisor

    Did you make a typo? It's not that the derivative is equal to that.

    You can solve for the inverse sine as follows:

    [itex]y = sin^{-1}(z) \Rightarrow z = sin(y)[/itex]
    [itex]\Rightarrow z = \frac{e^{iy} - e^{-iy}}{2i}[/itex]
    [itex]\Rightarrow 2 i e^{iy} z = e^{2iy} - 1[/itex]
    [itex]\Rightarrow (e^{iy} - iz)^2 = 1-z^2[/itex]
    [itex]\Rightarrow e^{iy} = iz + \sqrt{1-z^2}[/itex]
    [itex]\Rightarrow y = \frac{1}{i} log(iz + \sqrt{1-z^2})[/itex]

    So in relating [itex]y[/itex] to [itex]z[/itex], there are two choices to be made:
    1. Which branch of the square-root?
    2. Which branch of the log?
    I'm not sure I understand the original problem: Are they asking for which choice makes the differential equation for [itex]sin^{-1}[/itex] valid? Or which branch makes the expression for [itex]sin^{-1}[/itex] in terms of [itex]log[/itex] valid?
     
  6. Feb 22, 2017 #5
    Sorry, yes I wrote incorrectly, what I meant was $$\frac{d}{dz}\sin^{-1}(z) = \frac{1}{(1-z^2)^{1/2}}$$ for all ##z##in ##\mathbb{C}^*\backslash\{1,-1\}##.

    Another way to restate the question is: Are there any branch cut such that ##sin^{-1}(z)## is holomorphic (simultaneously as being single valued) for all ##z## in ##\mathbb{C}\backslash\{1,-1\}##?
     
  7. Feb 22, 2017 #6

    stevendaryl

    User Avatar
    Staff Emeritus
    Science Advisor

    We can show that [itex]sin^{-1}(z)[/itex] can't be single-valued and continuous everywhere.

    Let [itex]z = R e^{i \theta}[/itex] and pick [itex]R \gg 1[/itex]. Then we can write:

    [itex]dz = R i e^{i \theta} d \theta[/itex]

    [itex]sin^{-1}(z) = sin^{-1}(R) + \int_R^z \frac{1}{(1-z^2)^{1/2}} dz[/itex]

    Let's pick an integration path parametrized by [itex]\theta[/itex], holding [itex]R[/itex] constant. Then we have:

    [itex]sin^{-1}(R e^{i\theta}) = sin^{-1}(R) + \int_0^\theta \frac{1}{(1-R^2e^{i 2 \theta})^{1/2}} R i e^{i \theta} d \theta[/itex]

    Now, expand in powers of [itex]\frac{1}{R}[/itex]:

    [itex]\frac{1}{(1-R^2e^{i 2 \theta})^{1/2}} = \pm i \frac{1}{R} e^{-i \theta} + [/itex] higher order terms

    So:

    [itex]sin^{-1}(R e^{i\theta}) = sin^{-1}(R) + \mp \int_0^\theta d \theta[/itex] + higher order terms
    [itex] = sin^{-1}(R) + \mp \theta[/itex] + higher order terms

    So if we choose [itex]\theta = 2\pi[/itex], meaning we should get back to where we started, we find instead:

    [itex]sin^{-1}(R e^{i2\pi}) = sin^{-1}(R) \mp 2 \pi[/itex]

    So [itex]sin^{-1}[/itex] changes by [itex]2\pi[/itex] when you go in a complete circle back to where you started. So it's not single-valued. So you have to have a cut.

    Now, the question is: where to draw the cut? I'm not exactly sure, but the fact that we get into trouble when [itex]z[/itex] is large means that the cut has to go all the way out to infinity.
     
  8. Feb 22, 2017 #7
    Oh, thank you so much! This definitely helps!
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Possible branch cuts for arcsin derivative
  1. Branch Cut (Replies: 1)

  2. Branch Cut (Replies: 2)

  3. Branch cut (Replies: 8)

Loading...