Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have found in several books the following affirmation :

Let $f: \Delta \rightarrow \Delta$ be a non constant holomorphic function that extends continuously to $\overline{\Delta}$, $\Delta$ being the open unit disk. Then $f$ is a finite Blaschke product, i.e. of the form $$B(z) = e^{i \theta} \prod_{k=1}^d \frac{z- a_i}{1-\overline{a_i} z}$$

Now it is not hard to check that those rational fractions do indeed send $\Delta$ onto $\Delta$, but I do not know where to find a proof that they are the only ones.

Where can I find that proof in the literature ? I am not interested in the infinite product case, only finite. (Of course, if anyone is kind enough to post a proof, that would do fine as well =)

share|improve this question
    
You need to multiply with a constant of modulus 1 as well. –  Harald Hanche-Olsen Jun 7 '12 at 14:22
    
yup, i'll edit it –  Glougloubarbaki Jun 7 '12 at 14:36

2 Answers 2

up vote 2 down vote accepted

I think you have to assume that $f$ is non constant and that $f$ maps the unit circle into itself. In this case, the result follows by the maximum modulus principle.

Indeed, first note that $f$ has a finite number of zeros in $\mathbb{D}$, otherwise since $f$ is not identically zero the zeros would accumulate on the circle, which contradicts the fact that $|f|=1$ there.

Then, consider $B$ a finite blaschke product that has exactly the same zeros than $f$. Then $B/f$ and $f/B$ are holomorphic in $\mathbb{D}$, continuous in $\overline{\mathbb{D}}$. Furthermor, $|B/f|=1$ and $|f/B|=1$ on the unit circle. By the maximum modulus principle, we get that $|B/f| \equiv 1$ in $\mathbb{D}$ and thus $B/f$ is a unimodular constant. This gives the result.

Note that infinite blaschke products do not extend continuously to the unit circle : they have (essential) singularities where the zeros accumulate.

share|improve this answer
    
thanks ! I suspected there was an easy proof since nobody seemed to bother mentionning it, but I didn't think of it ! –  Glougloubarbaki Jun 7 '12 at 14:38
1  
Nit: zeros can't accumulate at a pole. You get essential singularities. –  Harald Hanche-Olsen Jun 7 '12 at 14:47
    
You're right, I meant singularities. I'll edit the answer. Thank you! –  Malik Younsi Jun 7 '12 at 18:00

The result can be found in section 6.12 (p. 197) of the encyclopedic An introduction to classical complex analysis, vol 1, by Robert B. Burckel. In case you like to go to original sources, the author cites Fatou, “Sur les fonctions holomorphes et bornées à l'intérieur d'un cercle”, Bull. Soc. Math. France 51 (1923), 191–202.

share|improve this answer
    
thank you very much! –  Glougloubarbaki Jun 7 '12 at 14:38

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.