Tema 5.1: Funciones armnicas y subarmnicas.

Principio del mximo. Principio del mdulo

mximo
Facultad de Ciencias Experimentales, Curso 2008-09
Enrique de Amo, Universidad de Almera
Que la grca de una funcin f :
C ! C est en R4 conlleva la
imposibilidad de su visualizacin. No obstante, la consideracin de la aplicacin
z ! jf (z)j permite extraer, a travs de lo que se llama "supercie modular",
consecuecias muy interesantes para f . En el presente tema veremos que la
supercie modular de una funcin holomorfa (salvo casos triviales) no tiene
mximos locales.
Tambin ser un tema donde sacaremos provecho de la frmula elemental de
Cauchy
Z
1
f (w)
f (z) =
dw;
8z 2 D(a; r);
i2 C(a;r) w z
de modo que el conocimiento de una funcin holomorfa sobre C(a; r) nos permitir conocerla sobre todo el interior del disco D(a; r).
Comenzamos con el llamado
Principio de la Media. Sean

1
f (a) =
2

C, f 2 H ( ) y D(a; r)

. Entonces

f (a + rei )d :

Demostracin. Por la frmula de Cauchy, con z = a:

Z
1
f (w)
f (a) =
dw
i2 C(a;r) w a
Z 2
Z 2
1
f (a + rei ) i
1
=
ire d =
f (a + rei )d :
i2 0
rei
2 0
Observemos con detenimiento lo que se ha probado: el valor de una funcin
holomorfa en un punto es siempre el promedio de los valores que dicha funcin
toma sobre los puntos de cualquier circunferencia que tenga a dicho punto como
centro. Como consecuencia del principio de la media tenemos la muy importante

Desigualdad de la Media. Sean

Entonces

=
Z

1
2

jf (a)j

C, f 2 H ( ) y D(a; r)

f (a + rei ) d :

El hecho de vericar la tesis anterior es de tan suma importancia, que se ha

hecho un estudio sistemtico de tales funciones.
Denicin. Sean =
C y ' : ! R una funcin real de variable compleja. Diremos que ' es subarmnica en si verica las dos condiciones
siguientes:
a.

' es continua en

b.

D(a; r)

.
1
2

) '(a)

R2

'(a + rei )d :

Consecuencia: el mdulo de una funcin holomorfa es una funcin subarmnica.

Del curso de una variable real sabemos que:
Rb
Lema. Sea ' : [a; b] ! R continua y no negativa. Si a '
0, entonces
'(t) = 0; 8t 2 [a; b].
Principio del Mximo para funciones subarmnicas. Sean un dominio
de C y ' : ! R una funcin subarmnica en . Supongamos que existe
a 2 tal que '(z) '(a), para todo z 2 . Entonces ' es constante.
Demostracin. Sea
A := fz 2

: '(z) = '(a)g :

Claramente, A 6= ? (por qu?) Nuestro objetivo: lograr A = ; y para ello,

haremos uso del lema de conexin. Sean, por tanto, b 2 A y D(b; R)
.
Consideremos 0 < r < R; por ser ' subarmnica:
Z 2
1
'(b)
'(b + rei )d ;
2 0
lo cual equivale a que
1
2

'(b)

'(b + rei ) d

0:

Pero, por hiptesis, '(b) '(b + rei )

0; 8 2 [0; 2 ] : Luego, aplicando el
lema
'(b) '(b + rei ) = 0; 8 2 [0; 2 ] ;
y, por tanto,

C(b; r)
de donde

A; 8r 2 ]0; R[ ;

D(b; R)
En conclusin: A = : Q.E.D.
2

A:

Corolario. Sean un dominio acotado de C y ' :

en y subarmnica en . Entonces
max '(z) : z 2

! R una funcin continua

= max f'(z) : z 2 @ g :

Es decir, el mximo sobre el cerrado se alcanza, siempre, en la frontera.

Demostracin. La acotacin del dominio nos provee de compacidad, tanto
para
como para @ . La continuidad de ' nos garantiza la existencia de
ambos nmeros reales que aparecen en la igualdad a probar. Supondremos que
' alcanza su mximo sobre en algn punto de . (Por qu podemos hacer
esta restriccin?) Pero, si este es el caso, el principio del mximo para funciones
subarmnicas nos dice que ' ha de ser constante en , y, por continuidad de
' sobre la frontera, ser constante sobre todo ; y de este modo el mximo lo
alcanzar tambin sobre la frontera. Q.E.D.
Ahora perseguimos aplicarle nuestros resultados sobre funciones subarmnicas al mdulo de una funcin holomorfa.
Principio del Mdulo Mximo Sean un dominio del plano complejo C y
f una funcin holomorfa en . Si jf j alcanza un mximo relativo en ,
entonces f es constante en :
Demostracin. Sea a 2 un punto donde la funcin jf j alcance un mximo
relativo. En tales condiciones: existe r > 0 tal que
D(a; r)

y jf (z)j

jf (a)j ; 8z 2 D(a; r):

Podemos aplicar el principio del mdulo mximo para funciones subarmnicas

a jf j en D(a; r): jf j es constante en el disco. Pero como f 2 H (D(a; r))
y jf j constante en D(a; r), entonces f es constante en todo el disco D(a; r).
Finalmente, el principio de identidad se encarga del resto. Q.E.D.
Corolario. Sean un abierto acotado de C y f :
en y holomorfa en . Entonces
max jf j (z) : z 2

! R una funcin continua

= max fjf j (z) : z 2 @ g :

Demostracin. Si, en la hiptesis, el abierto (acotado) fuese dominio (acotado), no habra nada que probar gracias al corolario del principio del mximo
para funciones subarmnicas. Sea a 2 un punto donde jf j alcanza su mximo
(absoluto) sobre . Sea e la componente conexa de tal que a 2 e . As, ahora
podemos armar que jf j alcanza su mximo (absoluto) sobre @ e ; pero, al n y
al cabo, es @ e @ . Q.E.D.
Aplicacin. Si f es una funcin entera vericando
jf j (z)

1
;
jIm zj

Entonces, f (z) = 0; 8z 2 C:
3

8z 2 CnR:

Demostracin. Sea R > 1 y veamos que, para conveniente M > 0,

f D(0; R)
D(0; M ).
Consideremos la funcin auxiliar
g(z) := z 2

R2 f (z); 8z 2 C:

Sea z 2 C(0; R) con Re z > 0: Tendremos que

p

jz Rj
=: sec
jIm zj

p
2, en el caso
(pues 2 [0; =4]), de modo que j(z R) f (z)j
p Re z > 0. Si
hubisemos considerado Re z 0, tendramos j(z + R) f (z)j
2.
En consecuencia,
p
p
2 jIm zj 2 < 2R:
z 2 C(0; R) ) jg (z)j = jz Rj jz + Rj jf (z)j
Aplicando el principio del mdulo mximo:
z 2 D(0; R) ) jg (z)j

2R:

Pero, para nuestra funcin f , sto signica que

jzj

R ) jf (z)j

jz 2

2R
;
R2 j

de modo que, haciendo R ! +1, f es idnticamente nula en D(0; R). Ahora

ya, el principio de identidad, se encarga del resto. Q.E.D.
Principio del Mdulo Mnimo. Sean un dominio de C y f : ! C una
holomorfa en . Supongamos que jf j alcanza un mnimo relativo en a 2 .
Entonces, o bien f es constante en o bien f (a) = 0.
Demostracin. Razonamos del siguiente modo: supongamos que f (a) 6= 0,
y que, por tanto, existe > 0 tal que
D(a; )

y jf (z)j

jf (a)j > 0; 8z 2 D(a; ):

Consideremos entonces la funcin auxiliar

1
: D (a; ) ! C
jf j
que es holomorfa en todo su dominio. Consecuentemente, jf1 j tiene un mximo
absoluto en D(a; ). El principio del mdulo mximo nos dir entonces que f1 es
constante en D(a; ), y, por tanto, lo ser la propia f . Una vez ms, el principio
de identidad es el responsable de lograr el resto. Q.E.D.
Encaramos ahora la segunda parte de este tema. En ella vamos a poner
de maniesto la estrecha relacin existente entre las funciones holomorfas y las
funciones armnicas.
4

Todo aparecer, de modo natural, al conectar lo que acabamos de probar

en la primera parte del tema y el hecho, tal vez ya lejano, de que toda funcin
compleja f se puede ver como una pareja (u; v) de funciones reales de dos
variables reales que acostumbramos en llamar partes real e imaginaria de f .
Toda la riqueza informativa que nos dan estas funciones se encierra (va
ecuaciones de Cauchy-Riemann, tambin llamadas de Euler-DAlembert) en la
llamada ecuacin de Laplace:
@2v
@2v
@2u @2u
+
=
+
= 0:
@2x @2y
@2x @2y

[ ]

Pasemos ya a formalizar estos comentarios expuestos.

Teorema. Sean
un abierto de C y f :
! C una holomorfa en
llamamos u := Re f y v := Im f , entonces:
i.
ii.

. Si

u y v son funciones diferenciables de clase C 1 :

u y v verican, ambas dos, la ecuacin de Laplace [ ] :

Demostracin. Como v := Re ( if ) ; podemos razonar, sin prdida de

generalidad, sobre u (pues if hereda las propiedades que tenga f ).
i. Lo vamos a probar por induccin. Sea:
A := fn 2 N : f 2 H ( ) ) u := Re f 2 C n ( )g :
1 2 A? Usando la holomorfa de f , las
dicen que
@u
f0 =
@x

ecuaciones de Cauchy-Riemann nos

i

@u
:
@y

Como, adems, f 0 2 C ( ), se sigue la continuidad de las derivadas parciales de

u sobre . Consecuentemente, u 2 C 1 ( ) y, por tanto, 1 2 A.
Si n 2 A, n + 1 2 A? Razonando sobre la holomorfa de la funcin derivada
f 0 , u := Re f 0 2 C n ( ). Pero, razonando como arriba, ahora u 2 C n+1 ( ) y,
por tanto, n + 1 2 A. Luego A = N.
ii. Como ya sabemos, la holomorfa de f nos dice, entre otras cosas, que
f0 =

@u
@x

@u
@v
@v
=
+i :
@y
@y
@x

As, derivando en tales frmulas y usando las ecuaciones de Cauchy-Riemann o

de Euler-DAlembert:
9
@2u
@
@u
@
@v
@2v
=
=
=
=
2
@x
@x @x
@x @y
@x@y
:
2
@2u
@
@u
@v
= @
= @ v ;
2 =
@y

@y

@y

@y

@x

@y@x

Pero las derivadas cruzadas coinciden para funciones de clase C 2 , de donde surge
la ecuacin de Laplace para u: Q.E.D.
5

Denicin (Funcin armnica o funcin de potencial). Sean un abierto

del plano C y una funcin real denida sobre l: ' : ! R. Diremos que
' es una funcin armnica en si verica las dos condiciones siguientes:
i.
ii.

' es de clase C 2 en

' verica la ecuacin de Laplace en

Notaremos ' 2 A ( ) :
Con esta denicin, el resultado anterior nos dice que las partes real e imaginaria de una funcin holomorfa son funciones armnicas (es ms, son diferenciables de clase C 1 ) en el abierto :
Ahora nos planteamos si el problema recproco ser cierto: es decir, las
funciones armnicas, son la parte real de alguna funcin holomorfa?
Este problema, con respuestas local "s" y global "no", nos permite enganchar (sorpresa?... no lo creo!) con algunos resultados ya conocidos por
nosotros:
Teorema. Dado un abierto del plano complejo, consideremos las siguientes
armaciones:
R
i.
f = 0, para toda funcin f holomorfa y cualquier camino cerrado
con soporte en :
ii.

Toda funcin holomorfa en

admite primitiva:

f 2 H ( ) ) 9F 2 H ( ) : F 0 = f:
iii.

Toda funcin armnica en es la parte real de alguna funcin holomorfa:

u 2 A ( ) ) 9Fe 2 H ( ) : Re Fe = u:

iv.

Las funciones holomorfas sin ceros en

admiten logaritmo holomorfo:
f 2 H( ) : 0 2
= f ( ) ) 9g 2 H ( ) : f = eg :

v.

Las funciones holomorfas sin ceros en admiten raz cuadrada holomorfa:

f 2 H( ) : 0 2
= f ( ) ) 9g 2 H ( ) : f = g 2 :

Entonces: i. , ii. ) iii. ) iv. ) v.

Demostracin. i. , ii. es el teorema de caracterizacin de la existencia
de primitiva.
iv. ) v. ya es conocido.
i @u
ii. ) iii. Para u 2 A ( ) ; veamos que f := @u
@x
@y es holomorfa en . Por
2
1
ser u de clase C , sus parciales sern de clase C . Vemos (pues es lo que basta

para concluir la holomorfa de f ) que, adems, las parciales de u verican las

ecuaciones de C-R o de E-D:
9
@u
@
@u
@2u
@2u
@
=
=
=
=
2
2
@x @x
@x
@y
@y
@y
@
@y

@u
@x

@2u
@y@x

@2u
@x@y

@
@x

@u
@y

(donde se ha usado la armona de u, la ecuacin de Laplace, en la primera

cadena de igualdades y la conmutacin de las derivadas cruzadas en la segunda
de ellas).
Por tanto, podemos aplicar la hiptesis ii. a f , de modo que existe una
primitiva para ella en ; llammosla F; y escribamos F := u
e + ie
v para denotar
a sus partes real e imaginaria.
Y tendremos, por un lado:
F0 =

@e
u
@x

f=

@u
@x

@e
u
;
@y

pero, por el otro:

De este modo

@u
:
@y

@u
@e
u @u
@e
u
=
y
=
;
@x
@x @y
@y

lo que conlleva que u u

e sea constante sobre cada componente conexa de
Consideremos, ahora, la funcin dada por
Fe (z) := F (z)

u
e (z) + u (z) ; 8z 2 :

Pues bien esta es la funcin buscada: la holomorfa de Fe se logra razonando sobre

cada componente conexa de
(carcter local de la derivabilidad), y, adems,
se tiene que:
Re Fe = Re (F u
e + u) = Re F u
e + u = u:
iii. ) iv. precisa del siguiente lema:

Lema. Sean
un abierto de C y f :
! C una holomorfa en
tal que
0 2
= f ( ). Si denimos u (z) := ln jf (z)j para cada z en , entonces
u 2 A ( ).
Demostracin (del lema). Ser armnica es un concepto local; por tanto,
consideremos a arbitrario en (f (a) 6= 0) y razonaremos en un entorno suyo:
> 0 : D(a; )
.
Sea := jf (a)j > 0. Existe
l 2 H (D(f (a) ; )) : el(z) = z; 8z 2 D(f (a) ; );
(por qu?)
7

Por argumentos de continuidad para f ,

9 > 0 : D(a; )

y f (D(a; ))

D(f (a) ; )

(casualidad llamar precisamente a este nmero positivo?... no lo creo!)

La funcin h(z) := l(f (z)); 8z 2 D(a; ) es holomorfa en su disco de denicin y, adems,
eh(z) = el(f (z)) = f (z); 8z 2 D(a; );
de donde, tomando mdulos
eh(z) = jf (z)j = eRe h(z) ; 8z 2 D(a; );
y por las propiedades de la exponencial (real)
Re h(z) = ln jf (z)j =: u(z); 8z 2 D(a; );
luego u es armnica en el disco D(a; ). Q.E.D.
Demostracin (de iii. ) iv. del teorema, y, por n, del teorema entero!).
Sea f : ! C una holomorfa en tal que 0 2
= f ( ). Consideremos la funcin
(segn el lema que acabamos de probar) armnica en
dada por u (z) :=
ln jf (z)j para cada z en .
Hagamos uso de la hiptesis iii.: 9Fe 2 H ( ) : Re Fe = u: Llamemos ' :=
e
f e F (est bien denida en todo ). Adems de ser, evidentemente, holomorfa
en todo su dominio de denicin, se tiene, para z 2 , que:
j' (z)j = f (z)e

e(z)
F

e(z)
Re F

= jf (z)j e

= jf (z)j e

lnjf (z)j

= 1;

de modo que la funcin ' es constante sobre cada componente conexa de .

(Siempre con valores en la circunferencia unidad T.) De este modo, log ' tambin lo ser (por qu?).
Sea ahora g := Fe + log ' (la notacin delata un nal muy cercano!). Esta
funcin es holomorfa en y, adems, se tiene que
e

eg = eF +log ' = eF ' = eF f e

e
F

= f:

Q.E.D.

Corolario. Si es dominio estrellado, entonces las cinco armaciones del teorema anterior son ciertas.
Demostracin. Por el teorema de Cauchy para dominios estrellados ii. es
cierta, luego todas las dems tambin lo sern. Q.E.D.
En particular, sabemos que v. es falsa sobre Cnf0g.
Corolario. Si := Cnf0g; entonces las cinco armaciones del teorema anterior
son falsas.
Como cada disco es un entorno estrellado de su centro, basta considerar estos
abiertos tan especiales para tener la veracidad de esta armacin:
8

Corolario. Toda funcin armnica es, localmente, la parte real de alguna funcin holomorfa.
Corolario. Las funciones armnicas son diferenciables de clase C 1 :
Demostracin. Evidente, por ser localmente la parte real de una funcin
holomorfa, ser localmente una funcin diferenciable de clase C 1 . El hecho de
que holomorfa y diferenciabilidad sean propiedades locales es una verdadera
suerte en este caso. Q.E.D.
Corolario. Sean u 2 A ( ) y D(a; r)
u(a) =

1
2

. Entonces
Z

u a + rei

d :

Equivalentemente: u 2 A ( ) ) u y

u son subarmnicas.

Demostracin. Sea R > 0 : D(a; r)

D(a; R)
: Por ser el disco
D(a; R) dominio estrellado, existe una f funcin holomorfa en l, tal que u =
Re f . Pero, en tal caso, f verica el principio de la media en a:
Z 2
1
f (a) =
f (a + rei )d ;
2 0
luego tomando partes reales:
Z 2
Z 2
1
1
i
u(a) = Re f (a) =
Re f (a + re )d =
u(a + rei )d :
2 0
2 0
Ya que hemos probado el hecho, nada evidente, de que las funciones armnicas son subarmnicas, qu nos dir de una funcin armnica el principio del
mximo para funciones subarmnicas?
La respuesta pondr de maniesto la potencia de ser algo ms que subarmnica: nos esperan dos principios del mximo (uno absoluto y otro relativo)
y, por medio, un principio de identidad para funciones armnicas.
El principio de extremo absoluto, consecuencia inmediata (como veremos)
del corolario anterior, nos va a decir que las nicas funciones armnicas con
extremos (absolutos) en un dominio son las constantes. Nos resultar muy
prctico, a n de su demostracin, el siguiente enunciado:
Principio de extremo (absoluto) para funciones armnicas. Sean un dominio
del plano complejo C y una funcin armnica u 2 A ( ) : Para
que u sea constante en basta que se verique alguna de las dos siguientes
armaciones:
a.
b.

9a 2
9b 2

: u(z)
: u(b)

u(a); 8z 2 :

u(z); 8z 2 :

Demostracin. Si se da a., el principio del mximo para funciones subarmnicas aplicado a u nos va a decir que u es constante en .
Si es b. lo que se verica, aplicando ahora el principio del mximo para
funciones subarmnicas a la funcin u (pues sera u(z)
u(b); 8z 2 )
tendremos que u es constante en , luego lo ha de ser u: Q.E.D.
Una consecuencia extraordinaria de este hecho ser el que las funciones armnicas que sean continuas en la frontera de su dominio de denicin (en el
enunciado obviaremos la conexin bajo el impuesto de razonar sobre cada componente conexa) no se pueden denir "de cualquier modo" en el abierto:
Corolario. Sea un abierto acotado y sean u y v armnicas en y continuas
en . Supongamos que u y v coinciden sobre @ . Entonces u y v coinciden
en todo :
Demostracin. Consideremos la funcin ' := u v; que es continua en
y armnica en . Probaremos que ' es idnticamente cero en razonando
primero que ' 0; despus, bastar con aplicar a ' lo hecho con '.
Como quiera que ' alcanza su mximo absoluto en algn a 2 (por qu?),
ha de ocurrir que o bien a 2 @ , o bien a 2 : Si es a 2 @ ; entonces
' (z)

' (a) = 0; 8z 2 :

Si es a 2 , razonemos con la componente conexa e en la que se encuentra a.

Pero entonces, por el principio de extremo (absoluto) para funciones armnicas
aplicado a ' en e ; sta ha de ser constante; luego por continuidad tambin lo
ser en su frontera, de modo que ' alcanza su mximo absoluto en @ e
@ .
Por tanto, y en cualquier caso,
' (z)

0; 8z 2 :

La conclusin nal ya es trivial. Q.E.D.

Surge en esta discusin el conocido como
Problema de Dirichlet. Caracterizacin de los dominios acotados del plano
complejo C tales que para cada f 2 C (@ ) existe u 2 C
tal que
u 2 A ( ) y u(z) = f (z); 8z 2 @ :
Se puede consultar, entre otros muchos, la seccin 4.2 del captulo 6 de
Ahlfors. Se tiene que existe solucin al problema si, y slo si, Cn no tiene
componentes conexas que se "reduzcan" a un punto (en un sentido que se precisar ms adelante).
Terminamos ya este tema reformulando el principio de extremo relativo para
funciones armnicas. Recordemos, acabamos de probarlo, que precisamos que
una funcin armnica alcance extremo absoluto para que sea constante. Sera
deseable que bastase con que fuese relativo tal extremo (tal y como ocurra
para el mdulo de funciones holomorfas por ser funciones subarmnicas). Pero,

10

tngase presente ahora, no disponemos de un principio de identidad ad litera

para funciones armnicas:
u(x; y) := ex sin (y) ;
8 (x; y) 2 R2
v (x; y) := 0;
8 (x; y) 2 R2 :
Ambas funciones son armnicas en cualquier dominio del plano, coinciden en R
y, evidentemente, son distintas.
Afortunadamente, s que disponemos del siguiente "sucedneo": la condicin
suciente para que dos funciones armnicas coincidan sobre un dominio es que
el conjunto donde coincidan sea abierto no vaco (observemos que en el ejemplo
recin presentado, tal conjunto es de interior vaco); y lo enunciamos as:
Principio de identidad para funciones armnicas. Sean dadas ' y dos
funciones armnicas sobre un dominio . Si A := fz 2 : '(z) = (z)g
es tal que A 6= ?, entonces A = :

Demostracin. Haremos uso del lema de conexin: sea D(a; r)

; con

a 2 A y r > 0. (Bastar, por tanto, probar que D(a; r) A.)

Por tratarse de un dominio estrellado, armamos que
9f; g 2 H (D(a; r)) : ' (z) = Re f (z) y
Ahora bien, como a 2 A existe
y coinciden.)
As, si consideramos
h : D(a; r) ! C;

(z) = Re g (z) , 8z 2 D(a; r):

2 ]0; r[ tal que D(a; )

h(z) := f (z)

A. (Es decir, ah '

g(z), 8z 2 D(a; r);

resulta que se trata de una funcin holomorfa con parte real nula: en efecto,
para algn 2 R:
h(z) := i , 8z 2 D(a; );
pero, por el principio de identidad para funciones holomorfas,
h(z) := i , 8z 2 D(a; r);
y claro, esto no es ni ms ni menos que
'(z) = (z), 8z 2 D(a; r);
es decir, D(a; r)

A: Pero esto equivale a tener D(a; r)

A (por qu?), luego,

por el lema de conexin, A = : Q.E.D.

Por n, al n, el n:
Principio de extremo (relativo) para funciones armnicas. Sean
un
dominio del plano complejo C y ' una funcin armnica en . Si '
alcanza un extremo relativo en , entonces ' es constante en :
11

Demostracin. Llamemos a 2 al punto donde la funcin ' alcanza su

extremo relativo. Para conveniente r > 0 (que garantice D(a; r)
) tendremos que ' (a) es extremo absoluto para ' en D(a; r). Pero, por el principio
de extremo absoluto para funciones armnicas, tal ' es constante en D(a; r).
Ahora, el principio de identidad para funciones armnicas, recin demostrado,
nos dice que ' es constante en todo el dominio : Q.E.D.
EJERCICIOS PROPUESTOS.
1. Justica que:
(a) las funciones ex cos y y ex sin y son armnicas en todo el plano.
(b) si f 2 H ( ) ; entonces jf j es subarmnica pero no armnica.
(c) las funciones ln z y Arg son armnicas en Cnf0g:
2. Estudia la armona de las partes real e imaginaria de la funcin
z ! Log

z
z

a
b

denida sobre Cn fa; bg (para a 6= b).

3. Usa la funcin z ! z 2 para poner de maniesto que en la propiedad
ser "armnica conjugada de" hay que tener en cuenta el orden de las
funciones del par (u; v) = (Re f; Im f ). Completa lo anterior resolviendo
y discutiendo el siguiente resultado: Si dos funciones holomorfas f y g en
un dominio son de la forma
Re f = Im g;

Im f = Re g;

entonces, han de ser constantes.

4. Prueba que u 2 A ( ) )

@u @u
@x ; @y

2 A( ):

5. Comprueba que la funcin u(x; y) := cosh y sin x es armnica en todo el

plano C y encuentra su armnica conjugada; es decir, una funcin v tal
que f := u + iv 2 H (C) : Quin es la tal f ?
6. Supongamos que la funcin
u(x; y) = g(x) e2y

2y

es armnica. Si sabes que g(0) = 0 y g 0 (0) = 1, quin habr de ser g?

7. Sea f una funcin holomorfa no constante sobre algn disco abierto D(a; R).
Para r 2 ]0; R[, se denen las funciones
M (r) := max fjf (z)j : jz

aj = rg ; A(r) := min fRe f (z) : jz

aj = rg :

Prueba que se trata de funciones estrictamente crecientes y que, adems,

en el caso R = +1, se tiene
lim M (r) = lim A(r) = +1:

r!+1

r!+1

12

8. Sea un dominio acotado de C y sea (fn ) una sucesin de funciones continuas en y holomorfas en : Prueba que si (fn ) converge uniformemente
en la frontera de ; entonces (fn ) converge uniformemente en :
9. Sea f una funcin entera, f 2 H (C), que lleva la circunferencia unidad
en la recta real: f (T) R. Prueba que f es constante.
10. Sea u : C ! R una funcin armnica. Supongamos que u(z)
Prueba que u es constante.

0; 8z 2 C.

11. Sea la funcin

(x; y) := 6x2 y 2

x4

y4 + y

x + 1;

y sea, por otro lado, f = u + iv 2 H (C). Se pide:

(a) si
(b) si

= u, calcular v;
= v, calcular u.

12. Prueba que la clase de las funciones armnicas A ( ) es cerrada para

combinaciones lineales, y que para que sea cerrada para productos, uv 2
A ( ) ; es suciente que u y v sean armnicas conjugadas. Concretamente,
si u 2 A ( ), ser u2 2 A ( )? Con u 2 A ( ), para qu funciones f
ser f u 2 A ( )?
13. Sea u 2 A ( ). Supongamos dado el cambio a coordenadas polares
Prubese que:

u
e := u ( cos ; sin ) :

(a) si u
e slo depende de , el laplaciano de u
e tiene la forma
u
e

1
e =0
+ u

(b) si estamos sometidos a la condicin de a., entonces

u
e ( ; ) = a log + b

(a; b 2 C) :

14. Calcule, para n 2 f1; 2; 3; 4g, los polinomios armnicos pn y qn , dados por
la igualdad
n
z n := (x + iy) := pn (x; y) + iqn (x; y) :
Encuentre la forma general de pn y qn en el sistema polar de coordenadas.
15. Sea u 2 A ( ), u = u (x; y). Sea el cambio de variable
x := ' ( ; ) ;
con ' y

y :=

( ; )

armnicas conjugadas en un abierto e . Prueba que la funcin

es armnica en e :

u
e ( ; ) := u (' ( ; ) ;
13

( ; ))

16. Determina todos los polinomios armnicos u de la forma u(x; y) := ax3 +

bx2 y +cxy 2 +dy 3 , donde a; b; c; d 2 R. Encuentra a v; conjugada armnica
de u; y expresa f := u + iv como funcin de z:
17. Determina los valores del parmetro real k para los que la funcin
(x; y) ! x ey + eky
sea armnica.
18. Encuentra la armnica conjugada de la funcin
u(x; y) := ex cos y + ey cos x + xy
explicitando su dominio de denicin, y comprueba que para ella se verica
la ecuacin de Laplace.
19. Halle la armnica conjugada v en el recinto indicado para la funcin u en
cada uno de los siguientes casos:
a.
b.
c.
d.

u(x; y) := x2 y 2 + x;
x
u(x; y) := x2 +y
2;
1
u(x; y) := 2 ln x2 + y 2 ;
u(x; y) := 12 ln x2 + y 2 ;

8 (x; y) 2 R2
8 (x; y) 2 R2 nf0g
8 (x; y) 2 R2 nR0
8 (x; y) 2 R2 nf0g

20. Disctase sobre la existencia o no de funciones holomorfas f = u + iv en

cada caso:
2
2
a. u(x; y) := (xx2 +yy2 )2 ;
b. u(x; y) := ln x2 + y 2
x2 + y 2 ;
y
c. u(x; y) := exp x :
21. Para qu valores del natural n es armnica la funcin xn

yn ?

22. Sea un dominio acotado del plano complejo C. Sean f; g 2 C

Supongamos que
a. f (z) g (z) 6= 0;
Prueba que existe

8z 2 ;

b. jf (z)j = jg (z)j ;

\H ( ).

8z 2 @ :

2 T, tal que
f (z) = g (z) ;

8z 2 :

23. Sea u 2 A (C). Supongamos que u (C) no es denso en R; es decir, existe

a 2 R tal que a 2Ais(u (C)). Prueba que u es constante.
24. Sea f una funcin entera no constante y sea
un nmero real positivo. Prueba que el cierre del conjunto fz 2 C : jf (z)j < g es el conjunto
fz 2 C : jf (z)j
g:
14

25. Sea un dominio acotado de C y sea f una funcin continua en ; holomorfa en y no constante. Supongamos que jf j es constante en la frontera
de . Prueba que, en este caso, f se anula en, al menos, un punto de .
26. Sea p un polinomio de grado n y sea
> 0: Prueba que el conjunto
fz 2 C : jp (z)j < g tiene, a lo sumo, n componentes conexas.
27. Determina la armnica conjugada de arctan xy (donde arctan xy 2 ]

; ]).

28. Encuentre, caso de existir, las funciones armnicas (no constantes) del
tipo indicado:
a. u := ' (x) ;
c. u := ' x2 + y 2 ;

b. u := ' (ax + by) ;

d. u := ' xy ;

e. u := ' (xy) ;

f. u := '

p
g. u := ' x + x2 + y 2 ;

x2 +y 2
x

(a; b 2 R)

h. u := ' x2 + y :

29. Analice la existencia de funciones analticas f (y encuntrelas caso de

existir) a partir del conocimiento de su mdulo o argumento:
a.
c.

= x2 + y 2 ex ;
= xy;

b.
d.

30. Encuentra una funcin f holomorfa en

armnica dada:
a.
b.
c.
d.

= er cos 2' ;
= ' + sin ':

, f = u + iv, a partir de la

y
u(x; y) := x2 y 2 + 5x + y x2 +y
2
x
u(x; y) := e (x cos y y sin y) + 2 sin x sinh y + x3
v(x; y) := 3 + x2 y 2 2(x2y+y2 )
v(x; y) := ln x2 + y 2 + x 2y

Especica el dominio

3xy 2 + y

en cada caso.

31. Sea un dominio acotado de C y sea f una funcin holomorfa en , no

constante. Supongamos que existe una constante real postiva M , vericando la siguiente propiedad: si (zn ) es una sucesin de puntos de
convergente a un punto de su frontera, entonces
8" > 0; 9m 2 N : n
Prueba que jf (z)j < M;

m ) jf (zn )j < M + ":

8z 2 :

32. Sea f 2 C D \ H (D) una funcin continua en el disco cerrado unidad

y holomorfa en el abierto. Supongamos que si z 2 T ) jf (z)j = 1:
Determina el comportamiento de f a partir del conocimiento de sus ceros.
(Indicacin: Si no tiene ceros habr de ser constante; en otro caso, se
podr construir, mediante funciones de Mbius, una funcin que verica
las mismas hiptesis que f y que tiene "los mismos" ceros.)
15

33. Sean 1 y 2 dos abiertos del plano complejo C, f 2 H ( 1 ) con f ( 1 )

2 , y u 2 A ( 2 ). Prueba que la composicin es armnica en
1: u f 2
A ( 1 ) : (Indicacin: no es aconsejable optar por vericar la ecuacin de
Laplace para u f .)
34. Sea
un dominio del plano C y sea a 2
H ( ), verican:
jf (z)j + jg(z)j

jf (a)j + jg(a)j ; 8z 2 :

Prueba que tanto f como g son constantes en

las funciones

f (a)
f (a) f

tal que las funciones f; g 2

g(a)
g(a) g.)

16

. (Indicacin: trabaja con