Principio de Reexi on de Schwarz

Rodrigo Vargas

1. Sea f anal tica en {0 < |z | < 1} y suponga que f es real sobre el c rculo unitario |z | = 1. Demuestre que f (z ) = f 1 z , z C .

Soluci on. Considere las dos mapeos conformes (z ) = Sea g(z ) = f (z ) = f zi z+i y 1 (z ) = i 1+z . 1z

zi , entonces g es anal tica en el semi-plano z+i superior, g es real sobre el eje real, y por el principio de reexi on de Schwarz, g(z ) = g(z ). Se sigue que para todo z C f (z ) = g 1 (z ) = g i = f
z i 1+ 1z i z i 1+ 1z

1+z 1z

= g i
1+z 1z 1+z 1z

1+z 1z 1 z .

+i

=f

+1 1

=f

2. Suponga que f es anal tica en D y real sobre el c rculo unitario {|z | = 1}. Es f constante? Soluci on. f se puede extender a una funci on entera si la denimos mediante f (z ) |z | 1 , g(z ) = f 1 |z | > 1 z

Luego, g es entera y real sobre el c rculo unitario |z | = 1. Escribimos g(z ) = u(z ) + iv (z ). Entonces v (z ) es arm onica en C y v (z ) = 0 sobre |z | = 1. Luego, por el principio del m aximo para funciones arm onicas, v (z ) 0 en D. Luego, g es real en |z | 1. Por el teorema del mapeo abierto, g(z ) = c para alguna constante c C. Por lo tanto, f tiene que ser constante. 1

Rodrigo Vargas

3. Sea f : C {0} C anal tica y suponga que f (1/z ) = f (z ). Suponga tambi en que f (z ) es real para todo |z | = 1. Pruebe que f es real para todo z R {0}. Soluci on. Por el principio de reexi on de Schwarz para c rculos, f (z ) = f 1 z , z C {0} .

Luego, para x R {0}, f (x) = f (1/x) = f (x). Entonces, f es real sobre R {0}. 4. Sea f una funci on anal tica en la regi on |z | > 1 del plano complejo. Pruebe que si f es real valuada sobre el intervalo (1, ) del eje real, entonces f es tambi en real valuada sobre el intervalo (, 1). Soluci on. Sea g(z ) = f (z ), entonces g es anal tica en |z | > 1, y g(x) = f (x) = f (x) para todo x (1, ). Luego, por el Teorema de unicidad, g f sobre |z | > 1. Se sigue que, para todo x (, 1), f (x) = f (x) = f (x). Por lo tanto, f es real sobre (, 1). 5. Suponga que f es entera y real sobre ambos ejes el real y el imaginario. Demuestre que f tiene que ser par, i.e., f (z ) = f (z ), z C. Soluci on. Por el principio de Reexi on de Schwarz sobre el eje real, f (z ) = f (z ) para todo z C. Tambi en, el principio de reexi on sobre el eje imaginario se puede aplicar de la siguiente manera: Sea g(z ) = f (iz ), entonces g es entera y real sobre el eje real y luego por el principio de reexi on, g(z ) = g(z ), z C. Luego, f (z ) = g(iz ) = g(iz ) = f (z ) , z C.

Luego, f (z ) = f (z ) = f (z) para todo z C. Entonces, f (z ) = f (z ) para todo z C. 6. Sea f una funci on anal tica en el plano complejo, real sobre el eje real, 0 en el origen, y no identicamente cero. Pruebe que si f mapea el eje imaginario sobre una l nea recta, entonces la l nea recta recta tiene que ser el eje real o el eje imaginario.

Principio de Reexi on de Schwarz

Soluci on. Como f es real sobre el eje real, por el principio de reexi on de Schwarz se tiene que f (z ) = f (z ) para todo z C. Como f (0) = 0, f mapea el eje imaginario sobre una l nea recta que pasa por el origen. Luego, como el eje imaginario es sim etrico con respecto al eje real, la imagen debe ser sim etrica con respecto al eje real. (Por sim etrica, queremos decir que es su propio reejo). La u nicas dos rectas que son su propio reejo, son eje real y el eje imaginario. 7. Suponga que f es entera y real sobre las rectas L1 = {z : Im z = 1}, L2 = {z : Im z = 4}. Demuestre que f es peri odica y calcule su per odo. Soluci on. Sean g1 (z ) = f (z + i) y g2 (z ) = f (z + 4i) para cada z C, entonces g1 y g2 son enteras y real sobre el eje real. Luego, por el principio de reexi on de Schwarz, g1 (z ) = g1 (z ) y g2 (z ) = g2 (z ) para todo z C. Ahora bien, observe que f (z ) = g1 (z i) = g1 (z + i) = f (z + 2i) , f (z ) = g2 (z 4i) = g2 (z + 4i) = f (z + 8i) , z C, z C.

Se sigue que f (z + 2i) = f (z + 8i) para todo z C, lo que implica que f (z + 2i) = f (z + 8i) para todo z C, por tanto, f (w) = f (w + 6i) para todo z C. Por lo tanto, f es peri odica de per odo 6i. 8. Suponga que f es entera y real sobre la recta y = x y y = x 2. Demuestre que f es peri odica y calcule su per odo. Soluci on. Sean L1 = {rei 4 : r R} (la recta y = x) y L2 = {rei 4 + 2 : r R} (la l nea recta y = x 2).
y y=x y =x2

Rodrigo Vargas

Sean g1 (z ) = f (ei 4 z ) y g2 (z ) = f (ei 4 + 2), entonces ambas funciones son enteras, y real sobre el eje real. Por el principio de reexi on de Schwarz, g1 (z ) = g1 (z ), g2 (z ) = g2 (z ) para todo z C. Luego, para cada z C f (z ) = g1 (ei 4 z ) = g1 (ei 4 z ) = f (ei 2 z ) = f (iz ) , f (z ) = g2 (ei 4 (z 2)) = g2 (ei 4 (z 2)) = f (ei 2 (z 2) + 2) = f (iz + (2 2i)) , se sigue que f (iz ) = f (iz + 2 2i) lo que implica que f (z ) = f (z + (2 2i)) para todo z C. Por lo tanto, f es peri odica de per odo 2 2i.