7.5 Complex Logarithm

We finish the chapter on conformal mappings with the natural logarithm. It is well known, that there exists no logarithm for negative numbers in the space of real numbers, since the inverse function ex always leads to a positive number. This limitation is lifted in the space of complex number, in which the logarithm is well defined for all numbers.

Do calculate the complex logarithm one has to use the complex number z in a form, which allows for the separation of real and imaginary part when taking the logarithm. This is not the case for the form z = x + iy, but in polar coordinates it works out:

z = reiφ;r = z = x2 + y2;φ = arctan y x; lnz = lnx2 + y2 + i(φ + k2π);kinteger main value for k  =  0 : lnz = lnx2 + y2 + iφ = 1 2 ln(x2 + y2) + iφ

Because of the periodicity of the exponential function wt a period of 2πi, the z plane is mapped identically to an infinitely number of strips parallel to the real axis in the u-plane of width 2π. The main value for k = 0 maps the z-plane to π < y < π on the u-plane.


PIC
Figure 7.10: Conformal Mapping with the complex log function: Mapping of a point grid and of a circular array around the origin with radius x in the z-plane to the u-plane. A circle with radius e in the z-plane and a circle with radius π in the u-plane are drawn in black. The red lines in the z-plane mark the boundaries of the main value of the logarithm. Visible shows the transformed curves of parallels to the x and y axes in the z-plane. Play shifts the array parallel to the real axis.

In Fig.7.10 one sees for the quadratic point array the logarithmic compression along the real axis and the compression due to the arc-tangent along the imaginary axis.

For the logarithmic mapping u = lnz one distinguishes 4 regions according to the real part of z in the z-plane

A circle around the origin is transformed into a line parallel to the imaginary axis, since the real component of the logarithm 0.5ln(x2 + y2) = lnr is constant on it. Changing the radius shifts the line in the x-direction.

How are the curves defined, that are shown in Fig.7.10 and appear after activating the switch Visible. In the z-plane x = 1 is the boundary for positive logarithms. Therefore the coordinates of the bounding curve in the u-plane are: x = 0.5ln(1 + yz2);y = arctanyz. For a line with an imaginary part y = 1 in the z-plane we get in the u-plane x = 0.5ln(xz2 + 1);y = arctan( 1 xz). These two curves are orthogonal to each other.

Further details and hints for experiments are obtained in the description pages of the simulation.

This relatively complex example demonstrates quite clearly the advantage of the interactive simulation over a discussion with formulas and words. When moving the arrays parallel or at a right angle to the imaginary axis the context is immediately grasped visually, which could only be described in lengthy and time consuming verbal descriptions.

From the many examples shown above it should have become clear how to calculate and visualize conformal mappings in general. The examples include on the custom page of the EJS console the code for the other functions that fit on a few lines in an inactive mode. From this it is easy to derive the code for further conformal mappings.

End of Chapter 7