Meromorphic on unit disc with absolute value 1 on the circle is a rational function.

Let $f$ be a meromorphic function on the open unit disk such that $f$ has a continuous extension to the boundary circle.Suppose $f$ has only poles in the open unit disc and suppose $|f(z)|=1$ for all $z$ with $|z|=1$.Prove that $f$ is a rational function.

• Have you heard of Blaschke products? Alternatively: Which forms of the reflection principle do you know? – Daniel Fischer May 6 '14 at 15:33
• I know about Schwarz reflection principle.And I can show zeros and poles of $f$ are reflected by the unit circle.I do know about Blaschke product,but I don't know how to show the quotient of this function and the Blaschke product is a polynomial. – Daniel S. May 6 '14 at 15:44
• @DanielFischer I can reach to an entire function without poles or zeros,but this is not necessarily a polynomial,say,exponential functions. – Daniel S. May 6 '14 at 15:46

Since the closed unit disk is compact, $f$ can have only finitely many zeros and poles in the unit disk. Let $k$ be the order of $f$ in $0$, that is, $f(z) = z^k\cdot g(z)$ where $g$ is holomorphic in a neighbourhood of $0$ with $g(0) \neq 0$. Let $\zeta_1,\dotsc, \zeta_k$ be the zeros of $f$ in the punctured unit disk, with multiplicities $\mu_1,\dotsc,\mu_k$. Let $\pi_1,\dotsc,\pi_r$ be the poles of $f$ in the punctured unit disk with orders $\nu_1,\dotsc,\nu_r$. Consider the finite Blaschke products

$$Z(z) = \prod_{\kappa=1}^k \left(\frac{z - \zeta_\kappa}{1 - \overline{\zeta}_\kappa z}\right)^{\mu_\kappa}$$

and

$$P(z) = \prod_{\rho = 1}^r \left(\frac{z-\pi_\rho}{1-\overline{\pi}_\rho z}\right)^{\nu_\rho}.$$

Evidently,

$$h(z) = z^k\frac{Z(z)}{P(z)}$$

is a rational function, and it has the same zeros and poles in the unit disk as $f$.

Since every factor in $h$ has modulus $1$ on the unit circle, we have $\lvert h(z)\rvert = 1$ for all $z$ with $\lvert z\rvert = 1$, and hence

$$\frac{f(z)}{h(z)}$$

is a zero-free holomorphic function on the unit disk with $\left\lvert \frac{f(z)}{h(z)}\right\rvert = 1$ for $\lvert z\rvert = 1$, thus constant.

An alternative way to obtain the result is by using the reflection principle:

$$F(z) = \begin{cases} f(z) &, \lvert z\rvert \leqslant 1 \\ \dfrac{1}{\overline{f(1/\overline{z})}} &, \lvert z\rvert > 1\end{cases}$$

defines a function that is meromorphic on $\widehat{\mathbb{C}}$ by the reflection principle. A function that is meromorphic on the entire sphere is a rational function, so $F$, and hence $f$ is rational.

• Final step use the maximum principle to show it's constant.Thanks! – Daniel S. May 6 '14 at 16:02