Math 2.0

Special functions Definition

Complex logarithm

Builds on Complex exponentialArgument of a complex numberModulus of a complex number

Definition

Let zz be a complex number with z≠0z \neq 0. A complex logarithm of zz is a complex number ww with ew=ze^w = z, where ewe^w is the complex exponential of ww. The notation log⁡z\log z means the set of all complex logarithms of zz, or one chosen element of this set.

Remarks

Let ∣z∣|z| be the modulus of zz, let ln⁡\ln be the real natural logarithm, and let θ\theta be an argument of zz. Then the logarithms of zz are exactly the numbers ln⁡∣z∣+i(θ+2πk)\ln |z| + i (\theta + 2 \pi k) with k∈ℤk \in \mathbb{Z}. The number 00 has no logarithm, because ew≠0e^w \neq 0 for each ww. So log⁡\log is a multivalued function on ℂ∖{0}\mathbb{C} \setminus \{0\}. Its principal branch is Log⁡z=ln⁡∣z∣+iArg⁡z\operatorname{Log} z = \ln |z| + i \operatorname{Arg} z, with −π<Arg⁡z≤π-\pi < \operatorname{Arg} z \le \pi. For example, the logarithms of −1-1 are iπ(2k+1)i \pi (2k + 1) with k∈ℤk \in \mathbb{Z}, and Log⁡(−1)=iπ\operatorname{Log}(-1) = i \pi.

Reading path

To understand this page from the ground up, read these 12 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Complex numbers object
  2. Real numbers object
  3. Set bounded above definition
  4. Complex exponential definition
  5. Real and imaginary parts definition
  6. Supremum definition
  7. Completeness axiom statement
  8. Existence of square roots of nonnegative reals statement
  9. Square root definition
  10. Modulus of a complex number definition
  11. Argument of a complex number definition
  12. Complex logarithm definition

Where this leads

8 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Complex_logarithm, lead section
  2. Web https://en.wikipedia.org/wiki/Complex_logarithm, Problems with inverting the complex exponential function
About this page
Tag0X2FY491PF
URIm2://0X2FY491PF
Kinddefinition
WritingW0 stub
MSC33B10
DefinesComplex logarithm
UsesComplex exponential, Argument of a complex number, Modulus of a complex number

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by