Principal branch of the log function

Click For Summary
SUMMARY

The discussion centers on the principal branch of the logarithm function as described in Joseph Taylor's "Complex Variables." Theorem 1.4.8 states that the logarithm agrees with the natural logarithm on positive real numbers only if the interval I includes 0. This implies that the properties of the real logarithm are preserved only when the interval contains 0; otherwise, the logarithm behaves differently in the complex plane, leading to multiple branches. The principal value is typically defined within the interval of -π to π for the imaginary part of the logarithm.

PREREQUISITES
  • Understanding of complex analysis concepts
  • Familiarity with logarithmic functions
  • Knowledge of branches in complex functions
  • Basic comprehension of intervals and their implications in mathematics
NEXT STEPS
  • Study the properties of the complex logarithm in detail
  • Learn about branch cuts in complex analysis
  • Explore the implications of different intervals on logarithmic functions
  • Investigate the relationship between real and complex logarithms
USEFUL FOR

Students and professionals in mathematics, particularly those focusing on complex analysis, as well as educators seeking to clarify the properties of logarithmic functions in both real and complex domains.

Measle
Messages
4
Reaction score
0
I'm learning complex analysis right now, and I'm reading from Joseph Taylor's Complex Variables.

On Theorem 1.4.8, it says "If a log is the branch of the log function determined by an interval I, then log agrees with the ordinary natural log function on the positive real numbers if and only if the interval I contains 0."

Can anyone help me understand what this means? Is it just saying that the properties of the real log function only hold if the interval I contains 0? I don't understand why.
 
Physics news on Phys.org
220px-Riemann_surface_log.svg.png

(from: https://de.wikipedia.org/wiki/Logarithmus#Komplexer_Logarithmus; engl.: https://en.wikipedia.org/wiki/Logarithm#Complex_logarithm)

You see, that the logarithm ##w## for a value ##z##, i.e. ##e^w=z## has all solutions ##w+2k\pi i\; , \;k\in\mathbb{Z}##. To make it unique, we have to choose one of these branches, i.e. one value for ##k##. This prinicpal value is usually determined by ##- \pi < \operatorname{Im}(w) \leq \pi\,.## Of course we could also say ##-\pi/2 < \operatorname{Im}(w) \leq 3/2 \pi## or any other interval with ##0## in it. But if we climb up, such that zero isn't part of the interval anymore, then we are in the complex world, i.e. we ran around the circle once before regarding the logarithm, but this "run around once" has no real counterpart, because in the reals we would arrive at where we started, whereas in the complexes we climbed up a branch, which is not identical to where we started.
 

Attachments

  • 220px-Riemann_surface_log.svg.png
    220px-Riemann_surface_log.svg.png
    11.4 KB · Views: 637

Similar threads

  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 17 ·
Replies
17
Views
10K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K