You get a bonus - 1 coin for daily activity. Now you have 1 coin

Complex logarithm

Lecture




  Complex logarithm
Visual representation of the function of the natural complex logarithm (main branch). The argument of the function value is indicated by color, and the modulus by brightness.

Complex logarithm is an analytic function obtained by extending the real logarithm to the entire complex plane (except for zero). There are several equivalent ways to do this. This feature is widely used in complex analysis. In contrast to the real case, the complex logarithm function is multivalued.

Content

  • 1 Definition and properties
  • 2 Examples of complex logarithm values
  • 3 Complex logarithmic function and Riemann surface
  • 4 Analytical continuation
  • 5 Relationship with inverse trigonometric and hyperbolic functions.
  • 6 Historical essay
  • 7 Literature
  • 8 Notes

Definition and properties [edit]

For complex numbers, the logarithm can be defined in the same way as for real numbers, that is, as the inversion of an indicative function. In practice, only the natural complex logarithm is used, the base of which is the Euler number   Complex logarithm : it is usually indicated   Complex logarithm .

The natural logarithm of a complex number   Complex logarithm determined by [1] as a solution   Complex logarithm the equations   Complex logarithm .

Other equivalent definitions are given below.

In the field of complex numbers, the solution of this equation, in contrast to the real case, is not uniquely determined. For example, according to Euler's identity,   Complex logarithm ; however also   Complex logarithm . This is due to the fact that the exponential function along the imaginary axis is periodic (with a period   Complex logarithm ) [2] , and the same value of the function takes infinitely many times. Thus, the complex logarithmic function   Complex logarithm is multi-valued.

Complex zero has no logarithm, since complex exponent does not take a zero value. Non-zero   Complex logarithm can be presented in indicative form:

  Complex logarithm Where   Complex logarithm - arbitrary integer

Then   Complex logarithm is the formula [3] :

  Complex logarithm

Here   Complex logarithm - real logarithm. From here follows:

Complex logarithm   Complex logarithm exists for any   Complex logarithm , and its real part is determined uniquely, while the imaginary part has an infinite number of values ​​that differ by an integer multiple   Complex logarithm

  Complex logarithm
The real part of the complex logarithm

It can be seen from the formula that for one and only one of the values ​​the imaginary part is in the interval   Complex logarithm . This value is called the main value of the complex natural logarithm [1] . The corresponding (already unambiguous) function is called the main branch of the logarithm and is denoted by   Complex logarithm . Sometimes through   Complex logarithm also denote the logarithm value, not lying on the main branch. If a   Complex logarithm - a real number, then the principal value of its logarithm coincides with the usual real logarithm.

It also follows from the above formula that the real part of the logarithm is defined as follows through the components of the argument:

  Complex logarithm

The figure shows that the real part as a function of the components is centrally symmetric and depends only on the distance to the origin of coordinates. It is obtained by rotating the graph of the real logarithm around the vertical axis. As it approaches zero, the function tends to   Complex logarithm

The logarithm of a negative number is found by the formula [3] :

  Complex logarithm

Examples of complex logarithm values ​​[edit]

We give the main value of the logarithm (   Complex logarithm ) and its general expression (   Complex logarithm ) for some arguments:

  Complex logarithm
  Complex logarithm
  Complex logarithm

You should be careful when converting complex logarithms, taking into account that they are multi-valued, and therefore equality of these expressions does not follow from the equality of the logarithms of any expressions. Example of erroneous reasoning:

  Complex logarithm - a clear mistake.

Note that the main logarithm value is on the left, and the value from the underlying branch is on the right (   Complex logarithm ). The cause of the error is careless use of the property   Complex logarithm which, generally speaking, in the complex case implies the entire infinite set of logarithm values, and not just the main value.

Complex logarithmic function and Riemann surface [edit]

  Complex logarithm
Riemann surface for complex logarithm

In complex analysis, instead of considering multivalued functions on a complex plane, a different decision was made: to consider a function as single-valued, but not defined on a plane, but on a more complex manifold, which is called a Riemann surface [4] . The complex logarithmic function also falls into this category: its image (see figure) consists of an infinite number of branches twisted in the form of a spiral. This surface is continuous and simply connected. The only zero of the function (first order) is obtained by   Complex logarithm . Special points:   Complex logarithm and   Complex logarithm (branch points of infinite order) [5] .

By virtue of the simply connectedness, the Riemann surface of the logarithm is a universal covering [6] for a complex plane without a point   Complex logarithm .

Analytical sequel [edit]

The logarithm of a complex number can also be defined as the analytic continuation of the real logarithm to the entire complex plane. Let the curve   Complex logarithm starts at one, does not pass through zero and does not cross the negative part of the real axis. Then the principal value of the logarithm at the end point   Complex logarithm crooked   Complex logarithm can be determined by the formula [5] :

  Complex logarithm

If a   Complex logarithm - a simple curve (without self-intersections), then for numbers lying on it, logarithmic identities can be applied without fear, for example:

  Complex logarithm

The main branch of the logarithmic function is continuous and differentiable on the whole complex plane, except for the negative part of the real axis, on which the imaginary part abruptly changes to   Complex logarithm . But this fact is a consequence of the artificial limitation of the imaginary part of the main value by the interval   Complex logarithm . If we consider all branches of a function, then continuity takes place at all points except zero, where the function is not defined. If you allow the curve   Complex logarithm intersect the negative part of the real axis, the first such intersection transfers the result from the branch of the principal value to the neighboring branch, and each subsequent intersection causes a similar displacement along the branches of the logarithmic function [5] (see figure).

It follows from the analytic continuation formula that on any branch of the logarithm [2] :

  Complex logarithm

For any circle   Complex logarithm covering the point   Complex logarithm :

  Complex logarithm

The integral is taken in the positive direction (counterclockwise). This identity underlies the theory of residues.

You can also define the analytic continuation of the complex logarithm using series known for the real case:

  Complex logarithm (Row 1)

  Complex logarithm (Row 2)

However, from the form of these series it follows that in the unit the sum of the series is zero, that is, the series refers only to the main branch of the multivalued function of the complex logarithm. The radius of convergence of both series is 1.

Relationship with inverse trigonometric and hyperbolic functions [edit]

Since complex trigonometric functions are associated with the exponent (Euler formula), the complex logarithm as an inverse of the exponential function is associated with companion trigonometric functions [7] [8] :

  Complex logarithm
  Complex logarithm
  Complex logarithm
  Complex logarithm

Hyperbolic functions on the complex plane can be considered as trigonometric functions of an imaginary argument, so there is a connection with the logarithm here [8] :

  Complex logarithm - reverse hyperbolic sine
  Complex logarithm - reverse hyperbolic cosine
  Complex logarithm - reverse hyperbolic tangent
  Complex logarithm - reverse hyperbolic cotangent

Historical essay [edit]

Leibniz and Johann Bernoulli made the first attempts to extend logarithms to complex numbers at the turn of the XVII – XVIII centuries, but they failed to create a holistic theory, primarily because the concept of logarithm was not yet clearly defined [9] . The discussion on this issue was conducted first between Leibniz and Bernoulli, and in the middle of the XVIII century - between D'Alembert and Euler. Bernoulli and D'Alembert believed that should be determined   Complex logarithm while Leibniz argued that the logarithm of a negative number is an imaginary number [9] . The complete theory of the logarithms of negative and complex numbers was published by Euler in 1747–1751 and essentially does not differ from the modern one [10] . Although the controversy continued (D'Alembert defended his point of view and argued it in detail in an article in his Encyclopedia and in other works), Euler’s approach towards the end of the 18th century was universally accepted.

In the XIX century, with the development of complex analysis, the study of the complex logarithm stimulated new discoveries. Gauss in 1811 developed a complete theory of the multiplicity of the logarithmic function [11] , defined as the integral of   Complex logarithm . Riemann, based on already known facts about this and similar functions, built a general theory of Riemann surfaces.

The development of the theory of conformal mappings showed that the Mercator projection in cartography, which arose before the discovery of logarithms (1550), can be described as a complex logarithm [12] .

Literature [edit]

The theory of logarithms
  • Korn G., Korn T. Mathematics Handbook (for scientists and engineers). - M .: Science, 1973. - 720 p.
  • Sveshnikov A. G., Tikhonov A. N. The Theory of Functions of a Complex Variable. - M .: Science, 1967. - 304 p.
  • G. Fikhtengolts. Course of differential and integral calculus. - ed. 6th - M .: Science, 1966. - 680 p.
History of logarithms
  • Mathematics of the XVIII century // History of Mathematics / Edited by A.P. Yushkevich, in three volumes. - M .: Science, 1972. - T. III.
  • Kolmogorov A.N., Yushkevich A.P. (ed.). Mathematics of the XIX century. Geometry. Theory of Analytic Functions. - M .: Science, 1981. - T. II.

Comments


To leave a comment
If you have any suggestion, idea, thanks or comment, feel free to write. We really value feedback and are glad to hear your opinion.
To reply

Comprehensive analysis and operational calculus

Terms: Comprehensive analysis and operational calculus