4
$\begingroup$

Actually, I'm solving the following problem. there are some steps I can't understand. Can you guys help me to understand?

The problem is: Find all entire functions that map the unit circle to itself. (problem from Rudin's real & complex analysis chapter 12 ex.4)

excluding the constant function, I first showed that $f$ should have zero inside unit disk and $f$ should map open unit disk into itself by using maximum modulus theorem.

Lots of proof I found then say that its zero should locate at only origin. That's the first part that I cannot understand.

and then they consider $ g(z) = [\bar f(\frac{1}{\bar z})]^{-1} $ and showed that $g(z) = f(z)$ on unit circle. which has a limit point in $C - \{0\}$. so by identity theorem, (that's the second part; I'm not sure $g(z)$ is even analytic except some singular point, since it involves conjugation.) $f(z) = g(z)$ on $C-\{0\}$. Then by considering the order of pole at $0$, we can conclude that.

To study further, I tried to find lots of materials and above discussion may due to identity theorem for meromorphic functions, analytic continuation, etc. But we never learned this.

I think there may be an easier way by just using elementary properties of analytic function or schwarz lemma. Can you help me please?

1 Answers 1

2

Hint: $f(z) \overline{f(1/\overline{z})}$ is analytic on ${\mathbb C} \backslash \{0\}$. What is it on the unit circle?

  • 0
    Or if you prefer you can use power series: if $f(z) = \sum_n a_n (z - p)^n$ near $z=p$, then $\overline{f(\overline{z})} = \sum_n \overline{a_n} (z - \overline{p})^n$ near $z=\overline{p}$.2012-11-08