Log(z) : singularity, series and pole

Click For Summary
Log(z) has singular points at z=0 and infinity, both classified as logarithmic branch points of infinite order. Unlike poles, these points are not isolated, meaning there is no neighborhood around them where the function remains analytic and single-valued. The Laurent series expansion is not applicable for log(z) due to the nature of its singularities. Additionally, the function √z has algebraic branch points of order one at both the origin and infinity, with its behavior changing after circuits around these points. Overall, neither log(z) nor √z possess Laurent expansions at their respective singular points.
Ritz_physics
Messages
26
Reaction score
0
Firstly does log(z) have any singularity other than z=0?
Secondly, z=0 is a pole of what order for log(z)? What is the Laurent series expansion for log(z)
at z=0?
 
Physics news on Phys.org
You got \sqrt{z} straight? How many singular points that one has? Two right. Zero and infinity. That is, there exists a neighborhood of zero and infinity such that one complete circuit around them carries a branch of \sqrt{z} into another branch. There's one at infinity cus' any very large circle around the origin is a circle around the point at infinity and that circle carries the value of \sqrt{z} into another branch. For example a circle starting at 4 starts at \sqrt{4}=2, then after one full circuit along an analytically continuous path over the function, goes to -2. After a 4\pi circuit, it goes back to 2. And the order of a branch-point is the number of times for this minus one so \sqrt{z} has an algebraic branch point of order one at both the origin and infinity. If it were \sqrt[3]{z}, same dif except the order is 2. Those singular point are not poles because they are not issolated. That is, there is no neighborhood around them where the function is analytic and single-valued. Obviously since \sqrt{z} will be different after one full circuit around the neighborhood so it's not single-valued.

But the Laurent series expansion is a power series around poles so therefore \sqrt[n]{z} does not have a Laurent expansion about it's singular points.

Now what about log(z)? That one has singular points called "logarithmic branch points" of infinite order since circuits around the origin or infinity around the function never return to the starting value. These too are not poles since they also are not issolated and so therefore do not have Laurent series expansions about their singular points.
 
Last edited:
There are probably loads of proofs of this online, but I do not want to cheat. Here is my attempt: Convexity says that $$f(\lambda a + (1-\lambda)b) \leq \lambda f(a) + (1-\lambda) f(b)$$ $$f(b + \lambda(a-b)) \leq f(b) + \lambda (f(a) - f(b))$$ We know from the intermediate value theorem that there exists a ##c \in (b,a)## such that $$\frac{f(a) - f(b)}{a-b} = f'(c).$$ Hence $$f(b + \lambda(a-b)) \leq f(b) + \lambda (a - b) f'(c))$$ $$\frac{f(b + \lambda(a-b)) - f(b)}{\lambda(a-b)}...

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
Replies
14
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K