This page uses content from Wikipedia and is licensed under CC BY-SA.

In complex analysis, a **complex logarithm** of the non-zero complex number z, denoted by ** w = log z**, is defined to be any complex number w for which

Since any complex number has infinitely many complex logarithms (see next paragraph), the complex logarithm cannot be defined to be a function on the complex numbers, but only as a multivalued function. Settings for a formal treatment of this are, among others, the associated Riemann surface, branches, or partial inverses of the complex exponential function.

If z is given in polar form as *z* = *r*⋅*e*^{ i⋅θ} (r and θ real numbers with *r* > 0), then *w*_{0} = ln(*r*) + *i*⋅*θ* is one logarithm of *z*. Since *z* = *r*⋅*e*^{ i⋅(θ + 2kπ)} exactly for all integer k, adding integer multiples of 2π to the argument θ gives all the numbers that are logarithms of *z*:^{[1]}

*w*_{k}= ln(*r*) +*i*⋅(*θ*+ 2*k*π).

All these complex logarithms of z are on a vertical line in the complex plane at the distance ln(*r*) to the origin.

Since every nonzero complex number *z* has infinitely many logarithms, care is required to give such a notion an unambiguous meaning. Sometimes the notation ln –instead of log– is used when addressing the complex logarithm.

For a function to have an inverse, it must map distinct values to distinct values, that is, it must be injective. But the complex exponential function is not injective, because *e*^{w+2πi} = *e*^{w} for any *w*, since adding *iθ* to *w* has the effect of rotating *e*^{w} counterclockwise *θ* radians. So the points

equally spaced along a vertical line, are all mapped to the same number by the exponential function. This means that the exponential function does not have an inverse function in the standard sense.^{[2]}^{[3]} There are two solutions to this problem.

One is to restrict the domain of the exponential function to a region that *does not contain any two numbers differing by an integer multiple of 2πi*: this leads naturally to the definition of branches of log *z*, which are certain functions that single out one logarithm of each number in their domains. This is analogous to the definition of arcsin *x* on [−1, 1] as the inverse of the restriction of sin *θ* to the interval [−*π*/2, *π*/2]: there are infinitely many real numbers *θ* with sin *θ* = *x*, but one arbitrarily chooses the one in [−*π*/2, *π*/2].

Another way to resolve the indeterminacy is to view the logarithm as a function whose domain is not a region in the complex plane, but a Riemann surface that *covers* the punctured complex plane in an infinite-to-1 way.

Branches have the advantage that they can be evaluated at complex numbers. On the other hand, the function on the Riemann surface is elegant in that it packages together *all* branches of the logarithm and does not require an arbitrary choice as part of its definition.

For each nonzero complex number *z* = *x* + *yi*, the **principal value** Log *z* is the logarithm whose imaginary part lies in the interval (−*π*, *π*]. The expression Log 0 is left undefined since there is no complex number *w* satisfying *e*^{w} = 0.

The principal value can be described also in a few other ways.

To give a formula for Log *z*, begin by expressing *z* in polar form, *z* = *re*^{iθ}. Given *z*, the polar form is not quite unique, because of the possibility of adding an integer multiple of 2*π* to *θ*, but it can be *made* unique by requiring *θ* to lie in the interval (−*π*, *π*]; this *θ* is called the principal value of the argument, and is sometimes written Arg *z* or (especially in computer languages) atan2(*y*,*x*), which agrees with arctan(*y*/*x*) when *x* > 0 but gives a correct value for any (*x*, *y*) ≠ (0, 0). Then the principal value of the logarithm^{[1]} can be defined by

For example, Log(-3*i*) = ln 3 − *πi*/2.

Another way to describe Log *z* is as the inverse of a restriction of the complex exponential function, as in the previous section. The horizontal strip *S* consisting of complex numbers *w* = *x*+*yi* such that −*π* < *y* ≤ *π* is an example of a region not containing any two numbers differing by an integer multiple of 2*πi*, so the restriction of the exponential function to *S* has an inverse. In fact, the exponential function maps *S* bijectively to the punctured complex plane , and the inverse of this restriction is . The conformal mapping section below explains the geometric properties of this map in more detail.

When the notation log *z* appears without any particular logarithm having been specified, it is generally best to assume that the principal value is intended. In particular, this gives a value consistent with the real value of ln *z* when *z* is a positive real number. The capitalization in the notation Log is used by some authors^{[1]} to distinguish the principal value from other logarithms of *z*.

Not all identities satisfied by ln extend to complex numbers. It is true that *e*^{Log z} = *z* for all *z* ≠ 0 (this is what it means for Log *z* to be a logarithm of *z*), but the identity Log *e*^{z} = *z* fails for *z* outside the strip *S*. For this reason, one cannot always apply Log to both sides of an identity *e*^{z} = *e*^{w} to deduce *z* = *w*. Also, the identity Log(*z*_{1}*z*_{2}) = Log *z*_{1} + Log *z*_{2} can fail: the two sides can differ by an integer multiple of 2*πi* : for instance,

but

The function Log *z* is discontinuous at each negative real number, but continuous everywhere else in . To explain the discontinuity, consider what happens to Arg *z* as *z* approaches a negative real number *a*. If *z* approaches *a* from above, then Arg *z* approaches *π*, which is also the value of Arg *a* itself. But if *z* approaches *a* from below, then Arg *z* approaches −*π*. So Arg *z* "jumps" by 2*π* as *z* crosses the negative real axis, and similarly Log *z* jumps by 2*πi*.

Is there a different way to choose a logarithm of each nonzero complex number so as to make a function *L*(*z*) that is continuous on *all* of ? The answer is no. To see why, imagine tracking such a logarithm function along the unit circle, by evaluating *L* at *e*^{iθ} as *θ* increases from 0 to 2*π*. For simplicity, suppose that the starting value *L*(1) is 0. Then for *L*(*z*) to be continuous, *L*(*e*^{iθ}) must agree with *iθ* as *θ* increases (the difference is a continuous function of *θ* taking values in the discrete set ). In particular, *L*(*e*^{2πi}) = 2*πi*, but *e*^{2πi} = 1, so this contradicts *L*(1) = 0.

To obtain a continuous logarithm defined on complex numbers, it is hence necessary to restrict the domain to a smaller subset *U* of the complex plane. Because one of the goals is to be able to differentiate the function, it is reasonable to assume that the function is defined on a neighborhood of each point of its domain; in other words, *U* should be an open set. Also, it is reasonable to assume that *U* is connected, since otherwise the function values on different components of *U* could be unrelated to each other. All this motivates the following definition:

- A
**branch**of log*z*is a continuous function*L*(*z*) defined on a connected open subset*U*of the complex plane such that*L*(*z*) is a logarithm of*z*for each*z*in*U*.^{[1]}

For example, the principal value defines a branch on the open set where it is continuous, which is the set obtained by removing 0 and all negative real numbers from the complex plane.

Another example: The Mercator series

converges locally uniformly for |*u*| < 1, so setting *z* = 1+*u* defines a branch of log *z* on the open disk of radius 1 centered at 1. (Actually, this is just a restriction of Log *z*, as can be shown by differentiating the difference and comparing values at 1.)

Once a branch is fixed, it may be denoted "log *z*" if no confusion can result. Different branches can give different values for the logarithm of a particular complex number, however, so a branch must be fixed *in advance* (or else the principal branch must be understood) in order for "log *z*" to have a precise unambiguous meaning.

The argument above involving the unit circle generalizes to show that no branch of log *z* exists on an open set *U* containing a closed curve that winds around 0. To foil this argument, *U* is typically chosen as the complement of a ray or curve in the complex plane going from 0 (inclusive) to infinity in some direction. In this case, the curve is known as a branch cut. For example, the principal branch has a branch cut along the negative real axis.

If the function *L*(*z*) is extended to be defined at a point of the branch cut, it will necessarily be discontinuous there; at best it will be continuous "on one side", like Log *z* at a negative real number.

Each branch *L*(*z*) of log *z* on an open set *U* is an inverse of a restriction of the exponential function, namely the restriction to the image of *U* under *L*. Since the exponential function is holomorphic (that is, complex differentiable) with nonvanishing derivative, the complex analogue of the inverse function theorem applies. It shows that *L*(*z*) is holomorphic at each *z* in *U*, and *L*′(*z*) = 1/*z*.^{[1]} Another way to prove this is to check the Cauchy–Riemann equations in polar coordinates.^{[1]}

The function for can be constructed by the formula

If the range of integration started at a positive number *a* other than 1, the formula would have to be

instead.

In developing the analogue for the *complex* logarithm, there is an additional complication: the definition of the complex integral requires a choice of path. Fortunately, if the integrand is holomorphic, then the value of the integral is unchanged by deforming the path (while holding the endpoints fixed), and in a simply connected region *U* (a region with "no holes") *any* path from *a* to *z* inside *U* can be continuously deformed inside *U* into any other. All this leads to the following:

- If
*U*is a simply connected open subset of not containing 0, then a branch of log*z*defined on*U*can be constructed by choosing a starting point*a*in*U*, choosing a logarithm*b*of*a*, and defining

- for each
*z*in*U*.^{[4]}

Any holomorphic map satisfying for all is a conformal map, which means that if two curves passing through a point *a* of *U* form an angle *α* (in the sense that the tangent lines to the curves at *a* form an angle *α*), then the images of the two curves form the *same* angle *α* at *f*(*a*).
Since a branch of log *z* is holomorphic, and since its derivative 1/*z* is never 0, it defines a conformal map.

For example, the principal branch *w* = Log *z*, viewed as a mapping from to the horizontal strip defined by |Im *z*| < *π*, has the following properties, which are direct consequences of the formula in terms of polar form:

- Circles
^{[5]}in the*z*-plane centered at 0 are mapped to vertical segments in the*w*-plane connecting*a*−*πi*to*a*+*πi*, where*a*is the real log of the radius of the circle. - Rays emanating from 0 in the
*z*-plane are mapped to horizontal lines in the*w*-plane.

Each circle and ray in the *z*-plane as above meet at a right angle. Their images under Log are a vertical segment and a horizontal line (respectively) in the *w*-plane, and these too meet at a right angle. This is an illustration of the conformal property of Log.

The various branches of log *z* cannot be glued to give a single function because two branches may give different values at a point where both are defined. Compare, for example, the principal branch Log(*z*) on with imaginary part *θ* in (−*π*,*π*) and the branch *L*(*z*) on whose imaginary part *θ* lies in (0,2*π*). These agree on the upper half plane, but not on the lower half plane. So it makes sense to glue the domains of these branches *only along the copies of the upper half plane*. The resulting glued domain is connected, but it has two copies of the lower half plane. Those two copies can be visualized as two levels of a parking garage, and one can get from the Log level of the lower half plane up to the *L* level of the lower half plane by going 360° counterclockwise around 0, first crossing the positive real axis (of the Log level) into the shared copy of the upper half plane and then crossing the negative real axis (of the *L* level) into the *L* level of the lower half plane.

One can continue by gluing branches with imaginary part *θ* in (*π*,3*π*), in (2*π*,4*π*), and so on, and in the other direction, branches with imaginary part *θ* in (−2*π*,0), in (−3*π*,−*π*), and so on. The final result is a connected surface that can be viewed as a spiralling parking garage with infinitely many levels extending both upward and downward. This is the Riemann surface *R* associated to log *z*.

A point on *R* can be thought of as a pair (*z*,*θ*) where *θ* is a possible value of the argument of *z*. In this way, *R* can be embedded in .

Because the domains of the branches were glued only along open sets where their values agreed, the branches glue to give a single well-defined function .^{[6]} It maps each point (*z*,*θ*) on *R* to ln |*z*| + *iθ*. This process of extending the original branch Log by gluing compatible holomorphic functions is known as analytic continuation.

There is a "projection map" from *R* down to that "flattens" the spiral, sending (*z*,*θ*) to *z*. For any , if one takes all the points (*z*,*θ*) of *R* lying "directly above" *z* and evaluates log_{R} at all these points, one gets all the logarithms of *z*.

Instead of gluing only the branches chosen above, one can start with *all* branches of log *z*, and simultaneously glue *every* pair of branches and along the largest open subset of on which *L*_{1} and *L*_{2} agree. This yields the same Riemann surface *R* and function log_{R} as before. This approach, although slightly harder to visualize, is more natural in that it does not require selecting any particular branches.

If *U*′ is an open subset of *R* projecting bijectively to its image *U* in , then the restriction of log_{R} to *U*′ corresponds to a branch of log *z* defined on *U*. Every branch of log *z* arises in this way.

The projection map realizes *R* as a covering space of . In fact, it is a Galois covering with deck transformation group isomorphic to , generated by the homeomorphism sending (*z*,*θ*) to (*z*,*θ*+2*π*).

As a complex manifold, *R* is biholomorphic with via log_{R}. (The inverse map sends *z* to (*e*^{z},Im *z*).) This shows that *R* is simply connected, so *R* is the universal cover of .

- The complex logarithm is needed to define exponentiation in which the base is a complex number. Namely, if
*a*and*b*are complex numbers with*a*≠ 0, one can use the principal value to define*a*^{b}=*e*^{b Log a}. One can also replace Log*a*by other logarithms of*a*to obtain other values of*a*^{b}.^{[7]} - Since the mapping
*w*= Log*z*transforms circles centered at 0 into vertical straight line segments, it is useful in engineering applications involving an annulus.^{[citation needed]}

Just as for real numbers, one can define for complex numbers *b* and *x*

the only caveat being that its value depends on the choice of a branch of log defined at *b* and *x* (with log *b* ≠ 0). For example, using the principal value gives

If *f* is a holomorphic function on a connected open subset *U* of , then a **branch of log f** on

If *U* is a simply connected open subset of , and *f* is a nowhere-vanishing holomorphic function on *U*, then a branch of log *f* defined on *U* can be constructed by choosing a starting point *a* in *U*, choosing a logarithm *b* of *f*(*a*), and defining

for each *z* in *U*.^{[1]}

- ^
^{a}^{b}^{c}^{d}^{e}^{f}^{g}^{h}Sarason, Section IV.9. **^**Conway, p. 39.**^**Another interpretation of this is that the "inverse" of the complex exponential function is a multivalued function taking each nonzero complex number*z*to the*set*of all logarithms of*z*.**^**Lang, p. 121.**^**Strictly speaking, the point on each circle on the negative real axis should be discarded, or the principal value should be used there.**^**The notations*R*and log_{R}are not universally used.**^**Kreyszig, Erwin (August 16, 2011).*Advanced Engineering Mathematics*(10th (posthumous) ed.). Berlin: Wiley. p. 640. ISBN 9780470458365.

- Conway, John B. (1978).
*Functions of One Complex Variable*(2nd ed.). Springer. - Lang, Serge (1993).
*Complex Analysis*(3rd ed.). Springer-Verlag. - Moretti, Gino (1964).
*Functions of a Complex Variable*. Prentice-Hall. - Sarason, Donald (2007).
*Complex Function Theory*(2nd ed.). American Mathematical Society. - Whittaker, E. T.; Watson, G. N. (1927).
*A Course of Modern Analysis*(Fourth ed.). Cambridge University Press.