I have seen the definition of a principal logarithm as the logarithm whose imaginary part is in $(-\pi, \pi]$. However, I have also seen that the principal logarithm defined as the logarithm obtained from the branch cut that removes the negative real axis. The first allows one to take logarithms of negative numbers, while the second does not. Is one definition more standard than the other, or am I misinterpreting something?
Is the principal logarithm defined for negative numbers?
2
$\begingroup$
complex-analysis
-
0Well, due to the cut, you can take either of $\log|p|\pm i\pi$ as the "logarithm" of $p$ for $p$ negative... (i.e., taking the exponential of either value does give $p$). Thus, one chooses a particular value for the "principal branch", and in this case, it's the one with positive imaginary part... – 2011-09-01
-
0One thing that makes the principal branch more standard is that it extends the real log, i.e., numbers on the real axis have an argument $Argz=0$ , so that, for x in the positive real axis, Logx=ln|x|+iArgx=lnx+0=lnx. – 2011-09-01
-
1@gary: The principal branch is not the only one that agrees with the usual $\ln$ on the positive real axis. Lots of others do too. The question is about the value on the negative real axis (where the arg is not 0: it is $\pi$ (for the principal branch), by the same convention that says the imaginary part of the principal branch of the logarithm is $\pi$ there. – 2011-09-01
-
0@Robert: in the layout I am familiar with, we remove a half-line $theta=theta_0$ from the plane, and then we measure the argument against that line, increasing when we go clockwise and otherwise decreasing. Under this layout, only the standard branch is the only one that agrees with lnx. What layout do you use? – 2011-09-01
-
0@Robert: Never mind; my comment may be too off-topic, and I don't want to distract from the OP. – 2011-09-01
-
0Give the principal branch of √(1 - z) – 2011-10-16
2 Answers
5
Branch cut is the curve of discontinuity of the function. It is not being removed from the plane.
The principal logarithm is discontinuous on the negative real axis with continuity from above, i.e.
$$ \lim_{\epsilon \to 0^+} \log (-z + i \epsilon) = \log(-z) \qquad \lim_{\epsilon \to 0^+} \log (-z - i \epsilon) = \log(-z) - 2 \pi i $$ for $z>0$.
4
The principal branch sometimes varies from author to author depending on their preference and what they are trying to accomplish. Removing the negative real axis gives essentially the same function, except it is defined on an open set, which is more useful for topics such as holomorphism.
A lot of questions in complex analysis deal only with open sets or open subsets.