0
$\begingroup$

Suppose we have a simply connected domain in the complex plane containing 0. I would like to show that there is no holomorphic n'th root function defined on the domain.

Using some student logic, I feel that I have to use the log function and its properties. Indeed, log is not defined at 0 so it seems I could come up with a contradiction if I could relate a hypothetical n'th root function on the domain to log.

  • 0
    Sorry, I meant, in a ball B(0,e) contained in the region, consider the images of , e/2 and -e/2 under $z^1/2$ .2011-05-15

2 Answers 2

6

Pick a circle around the origin that lies within the domain and move around it once. If you have a holomorphic $n$-th root function, you get the same function value again when you get back to where you started. But that can't be, since the argument (angle in polar coordinates) of your point and the argument of the function value must vary continuously with each other, with the argument of the function value increasing at one n-th of the rate of the argument of your point. Since the argument of your point has increased by $2\pi$, the argument of the function value must have increased by $2\pi/n$, so you can't get the same function value again. The contradiction shows that there can be no such function.

3

Here's a simple proof by contradiction: Cauchy's theorem tells us that the integral of a holomorphic function over a closed curve in a simply-connected domain vanishes. Show that this is not the case for $\oint_C z^{\frac{1}{n}} \, dz$ where C is the unit circle.

  • 0
    But do we know if z^1/n is exact in |z|<1 , to do this test?2011-05-15