Supongamos que f:D→C es una función holomorfa con Re f(z)≥0 para todos z∈D y f(0)=1 .
( D es el disco unitario abierto {|z|<1} )
Demuéstralo:
(i) Re f(z)>0 para todos z∈D .
(ii) |f(z)|≤1+|z|1−|z| para todos z∈D .
(iii) |f(z)|≥1−|z|1+|z| para todos z∈D .
Hasta ahora sólo he podido demostrar (ii), utilizando el lema de Schwarz. ¡Gracias por cualquier ayuda!
Prueba de (ii):
Sea g(z)=z−1z+1 que se sabe que asigna el semiplano derecho al disco unitario abierto, de modo que gf:D→D es analítica y gf(0)=g(1)=0 . Esto satisface el lema de Schwarz, de modo que
|f(z)−1f(z)+1|≤|z|
Romper el módulo: |f(z)|−1≤||f(z)|−1|≤|f(z)−1|≤|zf(z)+z|≤|f(z)||z|+|z|
La reordenación da |f(z)|(1−|z|)≤1+|z| que da |f(z)|≤1+|z|1−|z| que es (ii).