Branch cut

  • Thread starter MisterX
  • Start date
  • #1
760
69

Homework Statement


Given that [itex]g(z) = ln(1-z^2)[/itex], defined on [itex]\mathbb{C}\backslash \left(-\infty, 1\right][/itex], i.e. the branch cut is from [itex]-\infty[/itex] to [itex]1[/itex] along the real axis. Find [itex]g(-i)[/itex] given [itex]g(i) = ln(2)[/itex].


Homework Equations





The Attempt at a Solution


I tried drawing it out but I'm having trouble making sense of this. I understand how [itex](-\infty, 0][/itex] works as a branch cut for [itex]ln(z)[/itex]. If [itex]ln(z) = a + bi[/itex] we restrict [itex]-\pi<b < \pi[/itex] so there is a single value for [itex]ln(z)[/itex]. This means every time [itex]z[/itex] passes through [itex](-\infty, 0][/itex] there is a discontinuous jump in the value of [itex]ln(z)[/itex].

However I've not been successful for explaining how [itex]-\infty[/itex] to [itex]1[/itex] works for [itex]g(z) = ln(1-z^2)[/itex].

From my drawing I think this means that the branch cut for [itex]ln(g)[/itex] is not [itex](-\infty, 0][/itex]. But maybe that's not the right way to think about this.

It seems like if [itex]\left| z\right|^2 > 1[/itex], then making the argument of z go around a circle causes the argument of [itex]1 - z^2[/itex] to go around a circle twice.
 

Answers and Replies

  • #2
vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
14,877
1,451
You can write the function as
$$g(z) = \log (1+z) + \log (1-z).$$ It has two branch points, one at z=1 and the other at z=-1.
 
  • #3
1,796
53
I tried drawing it out but I'm having trouble making sense of this.
Yeah really. If you're just starting Complex Analysis then the best advice I can give you is to go out of your way to learn how to do this or you will never cultivate a deep understanding of multi-valued functions. We can always write the expression for the multi-valued log function as:
[tex]\log(g)=\ln|g|+i(\text{Arg}(g)+2n\pi),\quad n=0,\pm 1,\pm2\cdots[/tex]
where [itex]-\pi<Arg(1+z^2)\leq \pi[/itex]. So that in your case we have:
[tex]\log(1+z^2)=\ln|1+z^2|+i(\text{Arg}(1+z^2)+2n\pi),\quad n=0,\pm 1,\pm2\cdots[/tex]
So what does that mean? Well, it means that the real part of the function is single-valued. It's just [itex]\ln|1+z^2|[/itex]. However, the imaginary part is multivalued but more importantly, it's (locally) analytically continuous except at the branch points which are simply the points where [itex]g=0[/itex] and in your case, that's -1 and 1 (and the point at infinity). And that means there are no discontinuities except at the branch-points. Now, in practice, we excise a single-valued piece of this multi-valued function by creating entirely arbitrary "branch-cuts" that extend from one singular point (branch-point) to another singular point. But those branch-cuts are really NOT an integral component of the function, rather just artificial constructions to suit a particular need.

But let's get back to just plotting a part of this function pertaining to your question and since the difficulty lies with the multivalued-ness of the function, we'll plot the imaginary component. And the easiest way to do this is to define say three parts:

[tex]f0[z]:=\log(1+z^2)=\ln|1+z^2|+i(\text{Arg}(1+z^2)[/tex]
[tex]fp1[z]:=\log(1+z^2)=\ln|1+z^2|+i(\text{Arg}(1+z^2)+2\pi)[/tex]
[tex]fm1[z]:=\log(1+z^2)=\ln|1+z^2|+i(\text{Arg}(1+z^2)-2\pi)[/tex]

And that's not at all difficult to plot in Mathematica:

Code:
reim = Im; 
f0[z_] := Log[Abs[1 - z^2]] + I*Arg[1 - z^2]; 
fp1[z_] := Log[Abs[1 - z^2]] + 
    I*(Arg[1 - z^2] + 2*Pi); 
fm1[z_] := Log[Abs[1 - z^2]] + 
    I*(Arg[1 - z^2] - 2*Pi); 
p1 = ParametricPlot3D[Evaluate[
     {Re[z], Im[z], reim[f0[z]]} /. 
      z -> r*Exp[I*t]], {r, 0, 2}, {t, -Pi, Pi}, 
    PlotStyle -> Blue]; 
p2 = ParametricPlot3D[Evaluate[
     {Re[z], Im[z], reim[fm1[z]]} /. 
      z -> r*Exp[I*t]], {r, 0, 2}, {t, -Pi, Pi}, 
    PlotStyle -> Red]; 
p3 = ParametricPlot3D[Evaluate[
     {Re[z], Im[z], reim[fp1[z]]} /. 
      z -> r*Exp[I*t]], {r, 0, 2}, {t, -Pi, Pi}, 
    PlotStyle -> Green]; 
mypoint1 = Graphics3D[{PointSize[0.05], Black, 
     Point[{0, 1, reim[f0[I]]}]}]; 
Show[{p1, p2, p3, mypoint1}, PlotRange -> All, 
  BoxRatios -> {1, 1, 1.5}]
I should point out the plots have a spurious discontinuity at [itex][1,\infty)[/itex] and is due to the plotting software. The actual multi-function is of course analytically continuous there. There are ways to make the plot smooth there but are involved.

And you'll notice I placed a black dot at [itex]Im(f0)[/itex]. But this does not in itself answer your question. I've not created or rather, I've not excised a single-valued part of this multi-valued sheet with a branch-cut at [itex](\infty,1][/itex] such that it is analytically-continuous (and single-valued) everywhere except at the branch cut and having the property of [itex]\text{mysheet}(i)=\ln(2).[/itex]. Can you do that? I'll give you a hint: half of blue, half of red, and get rid of green. :)
 

Attachments

Last edited:
  • #4
vanhees71
Science Advisor
Insights Author
Gold Member
17,053
8,161
You can write the function as
$$g(z) = \log (1+z) + \log (1-z).$$ It has two branch points, one at z=1 and the other at z=-1.
I'd be VERY careful following that suggestion. The function in the original problem is well defined, considering all the given data. In the complex plane you cannot so easily use
[tex]\ln(a b)=\ln a + \ln b \qquad (\text{WRONG!})[/tex]
as for the real logarithm.

The original function is defined as given in the original problem with the branch cut as given. Of course you can also define the function with other cuts (one starting from [itex]z=+1[/itex] and one from [itex]z=-1[/itex]), but that's a different function then!
 
  • #5
vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
14,877
1,451
Yeah, I should've been more careful. The idea is to write the function as
$$g(z) = \log [-(z+1)(z-1)] = \log(-re^{i\theta}\rho e^{i\phi})$$ where ##z-(-1) = r^{i\theta}## and ##z-1 = \rho e^{i\phi}##. You want to determine appropriate ranges for ##\theta## and ##\phi## that are consistent with the branch cut and the other information given in the problem about g(z).
 
  • #6
760
69
Well here is one way I was thinking about it.
[itex] ln(-(z+1)(z-1)) = \pi + ln(z + 1) + ln(z - 1)[/itex]

Then for the first [itex]ln[/itex] on the right we can have a branch cut [itex] \left(-\infty, -1 \right][/itex] and for the 2nd we have can have a branch cut [itex] \left(-\infty, 1 \right][/itex]. So the cut[itex] \left(-\infty, 1 \right][/itex] works for the entire function.

However if what vanhees71 is wrote is right then maybe this is not a correct way. Based on vela's recent post we have

[itex] ln(-(z+1)(z-1)) = ln(e^{i\pi}re^{i\theta}\rho e^{i\phi}) = ln(r\rho) + i\pi + i\theta + i\phi + i2\pi n[/itex]

But maybe it's not as clear what to do this way.
 
Last edited:
  • #7
vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
14,877
1,451
You dropped a factor of ##i##. It should be ##\ln [-(z+1)(z-1)] = \ln (r\rho) + i(\pi + \theta+\phi+2\pi n)##.

The reason you don't want to say ##\log ab = \log a + \log b## is because ##\log## is a multivalued function, so the two sides could differ by a multiple of ##2\pi i##. The way I was thinking about the problem yesterday, everything worked out with n=0, so I overlooked the complication.

You're on the right track. Given the branch cut, what values would you assign to ##\theta## and ##\phi## when ##z=i##? What does ##n## have to equal so that ##g(i)## is purely real? Given that choice, you can then calculate ##g(-i)##.
 
  • #8
760
69
You're on the right track. Given the branch cut, what values would you assign to ##\theta## and ##\phi## when ##z=i##?
I would assign them values of [itex]\pi/4[/itex] and [itex]3\pi/4[/itex]. Although I may have a question about the "given the branch cut" part.

What does ##n## have to equal so that ##g(i)## is purely real? Given that choice, you can then calculate ##g(-i)##.
Then I suppose I would have to have [itex]n = -1[/itex] since the other imaginary terms add up to [itex]2\pi i[/itex].
 
Last edited:
  • #9
760
69
So I ended up with

[itex]g(-i) = ln(2) + i(-3\pi/4 - \pi/4 - \pi) = ln(2) - 2\pi i[/itex]
 

Related Threads on Branch cut

  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
2
Views
7K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
0
Views
3K
  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
0
Views
884
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
6
Views
4K
Top