I'm taking a course on complex analysis, and I've been working on this problem forever, but can't seem to figure out. The question asks you to show the following:
∫2π0log|1−aeiθ|dθ=0
when |a|<1. I was able to do this by showing that ∫2π0log(1−aeiθ)dθ=0 by substituting z=eiθ and then calculating the residue of log(1−az)zi at the origin to be zero.
However, the question further asks you to show the same equation holds when |a|=1. Can someone help me with this? Thank you in advance.
My attempt at solution ->
Define F(a)=∫2π0log(1−aeiθ)dθ
Then, it can be shown that F(a) is holomorphic in |a|<1. Given that F(a)=0 on the entire |a|<1, we can say that limit of F(a) is 0 when |a| approaches 1.
Therefore, since F(a) is holomorphic in |a|<1 and converges uniformly to 0 as |a| approaches 1, we can extend F(a) to the boundary |a|=1 ((Is this true? Or in general, when can you "continuously extend" a holomorphic function defined on an open set to the boundary of the open set?))
Thus, we have a function F(a) that takes on the value 0 for |a|<=1. Since ∫2π0log|1−aeiθ|dθ is the real part of ∫2π0log(1−aeiθ)dθ, it follows that ∫2π0log|1−aeiθ|dθ=0 for |a|=1 as well.
Could you let me know if the steps are correct? I'm very iffy about the "continuous extension" that I did.
No comments:
Post a Comment