Question about branch of logarithm

Click For Summary
SUMMARY

The discussion centers on the definition and properties of the logarithm function in the context of complex analysis, specifically regarding the function g(w) defined on the domain \(\mathbb{D} \setminus \{0\}\). It clarifies that the periodicity of the function h(z) allows g(w) to be well-defined regardless of the branch of the logarithm chosen. The conversation references the principal branch of the logarithm, which is defined on \(\mathbb{C} \setminus \mathbb{R}_{-}\), and emphasizes that a holomorphic branch exists in any neighborhood of points in \(\mathbb{D} \setminus \{0\}\).

PREREQUISITES
  • Understanding of complex analysis concepts, particularly logarithmic functions.
  • Familiarity with periodic functions and their properties.
  • Knowledge of holomorphic functions and their definitions.
  • Basic understanding of the complex plane and its regions, such as \(\mathbb{D}\) and \(\mathbb{C}\).
NEXT STEPS
  • Study the properties of the logarithm function in complex analysis, focusing on branches and their definitions.
  • Learn about periodic functions and their applications in complex functions.
  • Explore holomorphic functions and the conditions under which they are defined.
  • Investigate the implications of defining functions on specific domains in complex analysis.
USEFUL FOR

Mathematicians, students of complex analysis, and anyone interested in the properties of logarithmic functions and their applications in mathematical theory.

MathLearner123
Messages
25
Reaction score
4
I have a question about Daniel Fischer's answer here

Why the function ##g(w)## is well-defined on ##\mathbb{D} \setminus \{0\}##? I don't understand how ##\log## function works here and how a branch of ##\log## function can be defined on whole ##\mathbb{D} \setminus \{0\}##. For example principal branch of logarithm is defined on ##\mathbb{C} \setminus \mathbb{R}_{-}## so can not be used for ##\mathbb{D} \setminus \{0\}##. Thanks!
 
Physics news on Phys.org
For all who do not want to switch between pages, here is the quotation (link):

Consider the function
$$h(z) = f(z)\cdot e^{-2\pi iaz}$$
on the upper half-plane. We have
$$h(z+1) = f(z+1)\cdot e^{-2\pi i a (z+1)} = \bigl(f(z)e^{2\pi i a}\bigr)e^{-2\pi ia}e^{-2\pi i az} = f(z)e^{-2\pi i az} = h(z),$$
i.e. ##h## is periodic with period ##1##. Now define ##g \colon \mathbb{D}\setminus \{0\} \to \mathbb{C}## by
$$g(w) := h\left(\frac{\log w}{2\pi i}\right).$$
By the periodicity of ##h##, the value of ##g(w)## is independent of the choice of the branch of the logarithm, hence ##g## is well-defined. In a small enough neighbourhood of any ##w \in \mathbb{D}\setminus\{0\}##, there is a holomorphic branch of the logarithm, hence ##g## is holomorphic.
By construction, we have
$$h(z) = g\left(e^{2\pi i z}\right)$$
and hence
$$f(z) = e^{2\pi i az}g\left(e^{2\pi iz}\right),$$
as desired.
 
I understood Fischer was referring to its existence, of the log, in a neighborhood of ##D-\{0\}##. Just take an open ball that avoids the origin.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K