A Question about branch of logarithm

Click For Summary
The discussion centers on the well-defined nature of the function g(w) on the domain D \ {0} and the role of the logarithm in this context. The periodicity of the function h(z) allows g(w) to be independent of the branch of the logarithm chosen, ensuring it is well-defined. It is noted that within any small neighborhood around a point in D \ {0}, a holomorphic branch of the logarithm exists. This construction leads to the conclusion that g is holomorphic as well. The explanation clarifies the existence of the logarithm in the specified domain, emphasizing the importance of avoiding the origin.
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.
 
Thread 'Problem with calculating projections of curl using rotation of contour'
Hello! I tried to calculate projections of curl using rotation of coordinate system but I encountered with following problem. Given: ##rot_xA=\frac{\partial A_z}{\partial y}-\frac{\partial A_y}{\partial z}=0## ##rot_yA=\frac{\partial A_x}{\partial z}-\frac{\partial A_z}{\partial x}=1## ##rot_zA=\frac{\partial A_y}{\partial x}-\frac{\partial A_x}{\partial y}=0## I rotated ##yz##-plane of this coordinate system by an angle ##45## degrees about ##x##-axis and used rotation matrix to...

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
882
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 9 ·
Replies
9
Views
1K
  • · Replies 14 ·
Replies
14
Views
3K