Leccion

10

Funciones armnicas
En una segunda serie de aplicaciones de la teora local de Cauchy, empezamos por analizar
las propiedades de la parte real e imaginaria de una funcin holomorfa, funciones que tenemos
abandonadas desde que aparecieron las ecuaciones de Cauchy-Riemann. Ahora comprobamos
muy fcilmente que son funciones de clase C y verifican la llamada ecuacin de Laplace,
una ecuacin en derivadas parciales que tiene gran inters en Fsica. Sus soluciones reciben
el nombre de funciones armnicas, para las que estudiamos la relacin con las partes reales
de funciones holomorfas. Aunque por ahora no aclaramos del todo esta relacin, obtenemos
suficiente informacin como para deducir varias propiedades clave de las funciones armnicas.
Queda as de manifiesto una lnea de aplicacin del Anlisis complejo en problemas de Anlisis
real, que a su vez tienen inters en Fsica.
Entre los resultados que probamos para funciones armnicas, deducindolas del anlogo
para funciones holomorfas, destaca la propiedad de la media, que motiva el concepto de funcin
subarmnica. Para este tipo de funciones, probamos slo un resultado concreto, que se conoce
como principio del mximo. Deducimos un anlogo para funciones armnicas y, sobre todo, el
principio del mdulo mximo una importante propiedad de las funciones holomorfas. Resulta
ser equivalente a otro importante resultado, el teorema de la aplicacin abierta, con el que
completamos la ya larga lista de aplicaciones de la teora local.

10.1.

La parte real de una funcin holomorfa

Recordemos la notacin que usamos para la parte real y la parte imaginaria de una funcin
compleja de variable compleja. Sea un abierto del plano que consideramos indistintamente
como subconjunto de C o de R2 . A cada funcin f : C asociamos las funciones reales de
dos variables reales u, v : R dadas por
u(x, y) = Re f (x + i y)

v(x, y) = Im f (x + i y)

(x, y) R2

Veremos tambin a u y v como funciones reales de una variable compleja, escribiendo

u(z) = Re f (z)

v(z) = Im f (z)

z C

con lo que u es la parte real de f y v su parte imaginaria: u = Re f y v = Im f .

115

10. Funciones armnicas

116

Sabemos que f H() si, y slo si, u y v son funciones diferenciables en que verifican
las ecuaciones de Cauchy-Riemann,
v
u
=
x
y

u
v
=
y
x

en cuyo caso la derivada de f se puede obtener a partir de u y v de diversas formas entre las
que destacaremos slo una, escrita en la forma que ms nos interesa. Concretamente, tenemos
u
= Re f
x

u
= Im f 0 = Re (i f 0 )
y

(1)

donde para las derivadas parciales de u estamos usando el mismo convenio que antes hemos
explicado para u : tambin podemos verlas como funciones reales de una variable compleja.
En uno de los dos sentidos, es decir, tomando como hiptesis que f H() , podemos ahora
mejorar mucho la informacin que sobre las funciones u y v , por separado, nos da el teorema
anterior. Basta para ello usar (1) , teniendo en cuenta lo que ahora sabemos: f 0 H() . Puesto
que v = Im f = Re (i f ) y la funcin i f es tan holomorfa como f , cualquier propiedad que
obtengamos sobre u se aplica automticamente a v , luego no perdemos informacin trabajando
slo con u .
Como es habitual, para n N denotamos por C n () al conjunto de todas las funciones de
clase C n en , esto es, funciones de en R que admiten derivadas parciales hasta las de
orden n en todo punto de , siendo todas esas derivadas parciales, funciones continuas en .
Denotamos entonces por C () al conjunto de todas las funciones de clase C en , es decir,
las funciones que son de clase C n en para todo n N .
Teorema. Si es un abierto del plano, f H() y u = Re f , entonces u C () y
verifica, en todo punto de , la llamada ecuacin de Laplace:
2u 2u
+ 2 =0
x 2
y
Demostracin. En primer lugar, como f 0 H() , sabemos que u/ x y u/y son
diferenciables en y verifican la primera ecuacin de Cauchy-Riemann, es decir, se verifica la
igualdad
 


u

u
2u
2u
=
=

x 2
x x
y
y
y 2
en todo punto de . Esto ya prueba que u es solucin de la ecuacin de Laplace. Pero adems,
hemos visto que u/ x y u/y son continuas, luego u es de clase C 1 : u C 1 () . Esto sirve
como etapa base para una induccin que es muy sencilla si se plantea adecuadamente.
Fijado n N , supongamos ya demostrado que la parte real de cualquier funcin holomorfa
en es una funcin de clase C n en , y probemos la misma afirmacin para el nmero natural
n+1 . Dadas f H() y u = Re f , aplicamos la hiptesis de induccin, no a la funcin f , sino
a las funciones f 0 , i f 0 H() , y en vista de (1) obtenemos que las dos derivadas parciales
de u son funciones de clase C n en , es decir que u C n+1 () como queramos ver.
Por induccin tenemos, para cualquier f H() , que u = Re f C n () para todo n N ,
es decir, u C () , como queramos demostrar.


10. Funciones armnicas

10.2.

117

La ecuacin de Laplace

Queda claro que las funciones holomorfas nos dan abundantes ejemplos de soluciones de
la ecuacin de Laplace, que tienen adems una mayor regularidad de la necesaria para que la
ecuacin tenga sentido. En el tratamiento clsico de las ecuaciones en derivadas parciales, a las
soluciones se les exige que sean funciones de clase C k donde k es el orden de la ecuacin.
Por tanto, las soluciones de la ecuacin de Laplace slo deben ser funciones de clase C 2 , no
necesariamente de clase C como las que hemos encontrado.
En el estudio de la ecuacin de Laplace suele usarse el operador de Laplace, o simplemente
el laplaciano, que se define en general, para funciones reales de n variables reales con n N
arbitrario. Concretamente, si es un abierto no vaco de Rn , podemos considerar el conjunto
C 2 () de las funciones reales de clase C 2 en , y el conjunto C() de todas las funciones
reales continuas, que son espacios vectoriales sobre R . El laplaciano en es el operador lineal
: C 2 () C() definido por
n

2
2
k=1 xk

C 2 ()

con lo que la ecuacin de Laplace en dimensin n se resume como = 0 . Sus soluciones

reciben el nombre de funciones armnicas en , y forman un subespacio vectorial de C 2 () ,
el ncleo del laplaciano:


Ker = C 2 () : = 0
El estudio de las funciones armnicas tiene gran inters en Fsica, de hecho la ecuacin de
Laplace es una de las tres que, por su utilidad se conocen como las ecuaciones clsicas de la
Fsica Matemtica: la ecuacin del calor, la de ondas y la de Laplace, tambin llamada ecuacin
del potencial. La razn es que, ciertos campos vectoriales en Rn que tienen inters en Fsica,
como el campo gravitatorio o el campo elctrico, se obtienen como el campo de gradientes de un
campo escalar llamado potencial, que es una funcin armnica. Los casos ms interesantes se
presentan obviamente cuando n = 2 o n = 3 y, aunque pueda parecer sorprendente, el segundo
caso es bastante ms fcil de estudiar que el primero, del que aqu nos vamos a ocupar.

10.3.

Funciones armnicas

Repetimos la definicin de funcin armnica en dimensin 2 . Dado un abierto R2

decimos que u : R es una funcin armnica, cuando u C 2 () y verifica que
u =

2 u
2 u
+
=0
x2
y2

Denotaremos por A() al conjunto de todas las funciones armnicas en , que obviamente es
un espacio vectorial sobre R , el ncleo del laplaciano en . El teorema anterior nos dice que
u = Re f con f H() = u A()

10. Funciones armnicas

118

Cabe preguntarse hasta qu punto es cierto el recproco. Esta pregunta tiene inters en s
misma, pues conviene saber hasta qu punto el teorema anterior incluye toda la informacin
que podemos obtener sobre la parte real de una funcin holomorfa. Desde el punto de vista de
las aplicaciones, tambin es interesante saber si todas las soluciones de la ecuacin de Laplace
se obtienen como partes reales de funciones holomorfas. Veremos que la respuesta depende del
abierto , es afirmativa en ciertos casos, pero no siempre.
Si es un dominio estrellado, entonces toda funcin armnica en es la parte real de
una funcin holomorfa en .
Si u A() donde es un dominio estrellado, consideramos la funcin : C definida,
para z = x + iy con x, y R , por
(z) =

u
u
(x, y) i (x, y)
x
y

que evidentemente verifica Re = u/ x y Im = u/ y . Ntese que si f H()

verifica que Re f = u , se tendr f 0 = , luego sta es la razn para considerar la funcin .
Pues bien, como u C 2 () , tenemos que Re y Im , funciones de dos variables reales,
son diferenciables en . Pero comprobamos fcilmente que tambin verifican las ecuaciones
de Cauchy-Riemann. Para la primera usamos que u verifica la ecuacin de Laplace:
 


2 u
u
u
2 u

= 2 =
x x
x2
y
y
y
Para la segunda usamos el teorema de Schwartz (igualdad de las derivadas parciales segundas
cruzadas), que es aplicable por ser u C 2 () , obteniendo:
 


u
2 u
2 u

u
=
=
=

y x
y x
x y
x
y
As pues, tenemos H() .
Como es un dominio estrellado, el teorema local de Cauchy nos dice que admite una
primitiva en , es decir, existe f0 H() tal que f00 = . Si ahora tomamos u0 = Re f0
tenemos claramente
u0
u
u
u0
i
= f0==
i
x
y
x
y
de donde deducimos que
u0
u
=
x
x

u0
u
=
y
y

As pues, u u0 es una funcin diferenciable en cuya diferencial es idnticamente nula.

Como es conexo, el teorema del valor medio para funciones reales de dos variables reales nos
dice que u u0 es constante: existe c R tal que u(x, y) = u0 (x, y) + c para todo (x, y) .
Tomando entonces f = f0 + c tenemos claramente f H() y Re f = u .

10. Funciones armnicas

119

La principal utilidad del resultado anterior consiste en que podemos aplicarlo localmente,
por ser vlido en todo disco abierto. Cualquiera que sea el abierto , y dada u A() , para
cada a podemos tomar R+ de forma que D(a, ) y aplicar el resultado anterior al
dominio estrellado D(a, ) , obteniendo que la restriccin de u a dicho disco es la parte real de
una funcin holomorfa. Por eso se dice a veces que toda funcin armnica es localmente la
parte real de una funcin holomorfa. Como consecuencia, cualquier propiedad local que tenga
la parte real de una funcin holomorfa la tendrn todas las funciones armnicas. Por ejemplo,
ser de clase C es una propiedad local, luego:
Si es un abierto de R2 , y u A() , entonces u C () .
Tenemos aqu un buen ejemplo para ilustrar una afirmacin que se atribuye a Hadamard: el
camino ms corto entre dos verdades en el mundo real, pasa a menudo por el mundo complejo.
Enseguida veremos otra importante propiedad de las funciones armnicas que tambin se
deduce de la anloga para funciones holomorfas. Pero veamos antes que no siempre se puede
asegurar que una funcin armnica sea globalmente la parte real de una funcin holomorfa.
Ejemplo. Una funcin armnica en un dominio, que no es la parte real de ninguna funcin
holomorfa. Sea = C y consideremos la funcin u : R definida por
p
1
(x, y) R2 \ {(0, 0)}
u(x, y) = log x 2 + y 2 = log (x 2 + y 2 )
2
o lo que es lo mismo, u(z) = log | z | para todo z C .
Es obvio que u C 2 () y se comprueba sin dificultad que u verifica la ecuacin de Laplace,
pero no es necesario hacer ningn clculo. Basta tener en cuenta que, ser una funcin armnica,
es una propiedad local. Concretamente, para cada a C podemos pensar que en el disco
Da = D(a, | a |) existe un logaritmo holomorfo, es decir una funcin fa H(Da ) tal que
fa (z) Log z , y en particular Re fa (z) = u(z) , para todo z Da . As pues, la restriccin de
u al disco Da es una funcin armnica, por ser la parte real de una funcin holomorfa. Como
esto ocurre para todo a C , deducimos claramente que u A(C ) .
La idea recin usada hace sospechar por qu no puede existir una funcin holomorfa en C
cuya parte real sea u : obtendramos fcilmente un logaritmo holomorfo en C , que sabemos
no existe. Supongamos, por reduccin al absurdo, que f H(C ) y Re f = u . Entonces,
 f (z) 
e
 = e u(z) = | z |
z C
Por tanto, la funcin z 7 e f (z) /z es holomorfa en el dominio C y tiene mdulo constante,
luego es constante:
e f (z)
= e f (1) z C ,
z

es decir,

e f (z) f (1) = z z C

Llegamos as a que existe un logaritmo holomorfo en C , una contradiccin.

Queda claramente planteado un problema que resolveremos ms adelante: caracterizar los

abiertos del plano, tales que toda funcin armnica en es la parte real de una funcin
holomorfa en .

10. Funciones armnicas

10.4.

120

Propiedad de la media

En gran medida, todos los resultados que siguen se basan en una observacin muy sencilla:
Propiedad de la media para funciones holomorfas. Sea un abierto de C y f H() .
Si a y r R+ verifican que D (a, r) , se tiene:
1
f (a) =
2

f a + r e it dt

(1)

Demostracin. Basta aplicar la frmula de Cauchy:

Z
Z
Z


f a + r e it
1
f (z)
1
1
it
it
f (a) =
dz =
i
r
e
dt
=
f
a
+
r
e
dt
2 i C(a,r) z a
2 i
r e it
2

Si tenemos en cuenta la definicin de la integral de Cauchy como lmite de sumas integrales,

el segundo miembro de (1) puede muy bien interpretarse como la media de los valores de f en
la circunferencia C(a, r) . Se pone aqu de manifiesto una idea que ya se coment al obtener la
frmula de Cauchy: para conocer la funcin f en D(a, r) basta conocerla en C(a, r) . Ocurre
simplemente que es muy fcil obtener f (a) a partir de los valores de f en C(a, r) . Para
preparar la forma en que usaremos la propiedad de la media, conviene destacar la siguiente
consecuencia obvia:
Con las mismas hiptesis del resultado anterior, se tiene:
1
| f (a) | 6
2


 f a + r e it  dt

(2)

De nuevo, el segundo miembro es la media de los valores de | f | en la circunferencia, lo

cual es an ms intuitivo, pues ahora estamos promediando nmeros reales. Tenemos solamente
una desigualdad, pero es suficiente para deducir que | f (a) | no puede ser estrictamente mayor
que todos los valores de | f | en C(a, r) , una idea que pronto aprovecharemos. La igualdad (1)
se mantiene si, en vez del mdulo, tomamos la parte real de ambos miembros. Ello nos lleva
fcilmente al siguiente resultado:
Propiedad de la media para funciones armnicas. Sea un abierto de C y u A() .
Si a C y r R+ verifican que D (a, r) , se tiene:
u(a) =

1
2

u a + r e it dt

(3)

Demostracin. Como otras veces, tomamos R R+ con D (a, r) D(a, R) . Ahora

usamos que, en el dominio estrellado D(a,

R) la funcin armnica u ha de coincidir con la
parte real de una funcin f H D(a, R) . Basta entonces aplicar que f verifica (1) e igualar
las partes reales de ambos miembros:
1
u(a) = Re f (a) =
2

Re f a + r e

it

1
dt =
2

u a + r e it dt

10. Funciones armnicas

121

Ntese que escribimos la funcin armnica u como funcin de variable compleja, porque
es ms cmodo, pero (3) se puede escribir de forma que no aparezcan nmeros complejos. Si
a = x0 + i y0 con x0 , y0 R , tenemos
1
u (x0 + r cos t , y0 + r sen t) dt
2
Tenemos de nuevo un resultado de Anlisis real cuya demostracin pasa por el cuerpo complejo.
Z

u(x0 , y0 ) =

10.5.

Funciones subarmnicas

Los resultados anteriores sobre el mdulo de una funcin holomorfa y sobre las funciones
armnicas motivan la siguiente definicin.
Dado un abierto del plano, diremos que : R es una funcin subarmnica, cuando
es continua y verifica la siguiente condicin: para cualesquiera a y r R+ tales que
D (a, r) , se tiene
Z


1
a + r e it dt
(a) 6
2
De (2) y (3) se deduce claramente que si f H() y u A() , entonces las funciones
| f | , u y u son subarmnicas. En realidad no vamos a estudiar las funciones subarmnicas,
usamos su definicin solamente como una forma fcil de englobar los tres ejemplos recin
citados. La nica propiedad de las funciones subarmnicas que nos interesa es la siguiente, que
intuitivamente es bastante clara:
Principio del mximo para funciones subarmnicas. Sea un dominio y : R una
funcin subarmnica. Supongamos que alcanza un mximo absoluto en un punto a , es
decir,
f (z) 6 f (a)
z
Entonces es constante.


Demostracin. Consideramos el conjunto A = z : (z) = (a) . Como es
continua, A es un subconjunto cerrado (relativo) de , y obviamente A 6= 0/ , luego por ser
conexo, bastar probar que A es abierto, pues entonces A = y es constante.
Dado A , tomamos R R+ tal que D(, R) . Fijado r ] 0, R [ , por definicin de
funcin subarmnica tenemos
Z
Z




1
1
it
(a) ( + r e ) dt =
() ( + r e it ) dt
2
2
(4)
Z
1
it
= ()
( + r e ) dt 6 0
2
En la primera integral de (4) , la funcin integrando es continua en [, ] y no toma
valores negativos, ya que (a) es el mximo valor de . Por tanto, la desigualdad anterior no
deja ms salida que ( + r e it ) = (a) para todo t [, ] . Pero esto es vlido para todo
r ] 0, R [ , luego tenemos (z) = (a) para todo z D(, R) , es decir D(, R) A . Puesto
que A era arbitrario, hemos probado que A es abierto, como queramos.


10. Funciones armnicas

10.6.

122

Principio del mdulo mximo

El principio del mximo para funciones subarmnicas se aplica obviamente al mdulo de

una funcin holomorfa, pero el principio de identidad permite trabajar con un mximo que slo
sea relativo. Llegamos as a una propiedad clave de las funciones holomorfas:
Principio del mdulo mximo. Sea un dominio y f H() . Supongamos que | f |
tiene un mximo relativo en un punto a , es decir, existe > 0 tal que D(a, ) y
| f (z) | 6 | f (a) | para todo z D(a, ) . Entonces f es constante.
Demostracin. Consideramos la funcin : D(a, ) R dada por (z) = | f (z) | para
todo z D(a, ) , que es subarmnica y tiene un mximo absoluto en a . Por el principio del
mximo para funciones subarmnicas, es constante, es decir, | f | es constante en D(a, ) .
Por tanto, la restriccin de f al dominio D(a, ) es holomorfa y tiene mdulo constante, luego
es constante. Como tambin es conexo, y obviamente D(a, ) tiene puntos de acumulacin
en , el principio de identidad nos dice que f es constante en .

Para sacar partido al teorema anterior, es natural ponerse en una situacin que asegure la
existencia de un mximo:
Sea un dominio
 acotado y f :
C una
 funcin continua en y holomorfa en .
Entonces: max | f (z) | : z = max | f (z) | : z Fr () .
Ntese que ambos
pues y Fr () son compactos. Dado a tal que
 mximos existen,

| f (a) | = max | f (z) | : z , caben dos posibilidades. Si a Fr () , la igualdad buscada
es evidente. En otro caso tenemos a y podemos aplicar el teorema anterior a la restriccin
de f a , cuyo mdulo tiene un mximo absoluto en a , obteniendo que f es constante en .

Por continuidad, f es constante en y la igualdad buscada vuelve a ser evidente.
As pues, para una funcin en las condiciones del enunciado anterior, cualquier acotacin
de su mdulo que consigamos en la frontera de , es tambin vlida en . Como ejemplo,
probamos un resultado nada trivial sobre sucesiones de funciones holomorfas:
Sea { fn } una sucesin de funciones continuas en y holomorfas en , donde es un
dominio acotado. Si { fn } converge uniformemente en Fr () , entonces { fn } converge
uniformemente en a una funcin continua en y holomorfa en .
Por hiptesis, { fn } es uniformemente de Cauchy
en Fr () , es decir, para todo
> 0 existe


m N tal que, para p, q > m se tiene max | f p (z) fq (z) | : z Fr () < . Entonces,
para p, q > m , podemos aplicar
el resultado anterior a la funcin f p fq , obteniendo que
max | f p (z) fq (z) | : z < . Por tanto, { fn } es uniformemente de Cauchy en luego
converge uniformemente en a una funcin f : C , que de entrada es continua, pues
la convergencia uniforme preserva la continuidad. Como obviamente tenemos convergencia
uniforme en todo subconjunto compacto de , el teorema de convergencia de Weierstrass nos
asegura que f H() .


10. Funciones armnicas

123

Si una funcin holomorfa en un dominio se anula en un punto, es claro que su mdulo

tiene un mnimo absoluto en dicho punto. Recprocamente, vamos a comprobar que, descartado
el caso trivial de que la funcin sea constante, sus ceros son los nicos puntos en los que el
mdulo de la funcin puede tener un mnimo absoluto, o incluso relativo.
Principio del mdulo mnimo. Sea un dominio y f H() . Supongamos que | f | tiene
un mnimo relativo en un punto a . Entonces, o bien f (a) = 0 , o bien f es constante.
Demostracin. Por hiptesis, existe > 0 tal que D(a, ) y | f (z) | > | f (a) | para todo
z D(a, ) . Suponiendo que f (a) 6= 0 , probaremos que f es constante. Por continuidad, existe
> 0 tal que D(a, ) D(a, ) y f (z) 6= 0 para todo z D(a, ) . Esto nos permite considerar
la funcin g : D(a, ) C dada por g(z) = 1/ f (z) para todo z D(a, ) , holomorfa en el
dominio D(a, ) , cuyo mdulo tiene un mximo absoluto en el punto a . Por el principio del
mdulo mximo, g es constante, luego f es constante en D(a, ) , y basta aplicar el principio
de identidad.

Ntese que este principio es ms dbil que el del mdulo mximo, pero ha quedado claro
que es lo mejor que podamos esperar. Los dos principios pueden usarse conjuntamente para
encontrar ceros de una funcin, es decir, para probar que ciertas ecuaciones tienen solucin.
Sea un dominio acotado y f una funcin continua en y holomorfa en , que no
sea constante. Si | f | es constante en Fr () , entonces existe a tal que f (a) = 0 .
existen a, b tales
Si | f | fuese constante
 en , f sera
constante.
 Como es compacto,

que | f (a) | = mn | f (z) | : z < max | f (z) | : z = | f (b) | . Por el principio del
mdulo mximo, tenemos b Fr () y, puesto que | f | es constante en Fr () , deducimos que
a . El principio del mdulo mnimo nos dice entonces que f (a) = 0 .


10.7.

Extremos de funciones armnicas.

Si u es una funcin armnica en un dominio, no constante, podemos aplicar el principio del

mximo para funciones subarmnicas tanto a u como a u , concluyendo que u no puede tener
mximos ni mnimos absolutos.
Para trabajar con extremos relativos, igual que hemos hecho con las funciones holomorfas,
necesitamos un principio de identidad para funciones armnicas. Es fcil ver que tal principio
no puede ser literalmente el mismo que conocemos para funciones holomorfas.
Por ejemplo, definiendo u(x, y) = e x sen y para todo (x, y) R2 , tenemos una funcin
armnica en el dominio R2 , la parte imaginaria de la exponencial compleja. Vemos que u se
anula por ejemplo en el eje real, un conjunto con abundantes puntos de acumulacin, pero u no
es idnticamente nula.
No todo est perdido, para funciones armnicas hay un principio de identidad ms dbil que
el de las holomorfas, pero suficiente para el uso que queremos darle. Este es un nuevo resultado
sobre funciones armnicas que deducimos del anlogo para funciones holomorfas, aunque en
una versin ms dbil.

10. Funciones armnicas

124

Principio de identidad para funciones armnicas. Sea un dominio y u, v A() . Si

u y v coinciden en un subconjunto de que tenga interior no vaco, entonces u = v .
Demostracin. Consideremos el interior del conjunto donde u y v coinciden:


A = z : u(z) = v(z)
Obviamente A es abierto y, por hiptesis A 6= 0/ , luego bastar ver que A es un subconjunto
cerrado (relativo) de . Ello se deducir fcilmente de la siguiente implicacin:
a A , R R+ , D(a, R)

D(a, R) A

(5)

Ntese que, como A es abierto, existe r R+ tal que D(a, r) A , pero en principio no
sabemos si podemos tomar r = R , as que trabajamos con r < R . En el dominio estrellado
D(a, R) , las funciones armnicas u y v coinciden con las partes reales de sendas funciones
holomorfas f y g . Entonces, la restriccin de f g al dominio D(a, r) es holomorfa, y su parte
real es idnticamente nula, luego f y g coinciden en D(a, r) . Puesto que obviamente D(a, r)
tiene puntos de acumulacin en D(a, R) , el principio de identidad para funciones holomorfas
nos dice que f y g coinciden en D(a, R) , luego lo mismo les ocurre a u y v . Como D(a, R) es
abierto, concluimos que D(a, R) A , como queramos.
Sea ahora z A y tomemos R R+ tal que D(a, 2R) . Existe entonces a A tal
que | z a | < R , con lo que D(a, R) D(z, 2R) . Usando (5) deducimos que D(a, R) A
y, en particular, z A . Esto prueba que A es un subconjunto cerrado de , lo que concluye la
demostracin.

Podemos ya trabajar con funciones armnicas igual que hicimos con las holomorfas, con la
ventaja de que ahora nos da igual que tengamos un mximo o un mnimo relativo.
Principio de extremo para funciones armnicas. Sea un dominio y u A() . Si u
tiene un extremo relativo en un punto de , entonces u es constante.
Demostracin. Basta considerar el caso de que u tenga un mximo relativo, es decir, que
existan a y > 0 tales que D(a, ) y u(z) 6 u(a) para todo z D(a, ) . Entonces la
restriccin de u a D(a, ) es subarmnica y tiene un mximo absoluto en a , luego es constante.
Como D(a, ) tiene interior no vaco, al principio de identidad para funciones armnicas nos
dice que u es constante.

De nuevo podemos fcilmente asegurarnos la existencia de extremos, usando la compacidad.
El razonamiento es exactamente el mismo que hicimos para funciones holomorfas, con una
conclusin ms clara:
Sea un dominio y u : R una funcin continua en y armnica en . Se tiene
entonces:




max u(z) : z = max u(z) : z Fr ()
y




mn u(z) : z = mn u(z) : z Fr ()
En particular, si u es constante en Fr () , tambin lo es en .

10. Funciones armnicas

10.8.

125

Teorema de la aplicacin abierta

El principio del mdulo mximo se reformula equivalentemente, para poner de manifiesto

otra propiedad clave de las funciones holomorfas. No hay nada anlogo a esta propiedad, ni
siquiera para funciones reales de una variable real.
Teorema de la aplicacin abierta. Sea un dominio y f H() no constante. Entonces
f es una aplicacin abierta, es decir, para todo abierto U se tiene que f (U) es abierto.
Demostracin. Probamos que f () es abierto, y el caso general se deducir fcilmente.
Fijado b f () , escribimos b = f (a) con a , y debemos ver que b f () .
La funcin holomorfa z 7 f (z) b se anula en el punto a y no es idnticamente nula, ya
que f no es constante. Por el principio de los ceros aislados, existe r R+ tal que D (a, r)
y f (z) 6= b para 0 < |z a| 6 r . Tomando entonces
=



1
max | f (z) b | : z C(a, r) > 0
2

probaremos que D(b, ) f () . Fijado w0 D(b, ) , pensamos en la funcin g : D (a, r) C

dada por g(z) = f (z) w0 para todo z D (a, r) . Como | g | es continua en el compacto
D (a, r) , existe z0 D (a, r) tal que | g(z0 ) | 6 | g(z) | para todo z D (a, r) . Para z C(a, r)
tenemos
| g(z) | = | f (z) w0 | > | f (z) b | | w0 b | > 2 | w0 b | >
mientras que | g(z0 ) | 6 | g(a) | = | b w0 | <
, luego z0
/ C(a, r) , as que z0 D(a, r) . Por
tanto, el mdulo de la funcin g H D(a, r) tiene un mnimo absoluto en z0 D(a, r) . Si
g fuese constante, f sera constante en D(a, r) y, por el principio de identidad, tambin sera
constante en , contra la hiptesis. Al aplicar a g el principio del mdulo mnimo, obtenemos
que g(z0 ) = 0 , es decir, w0 = f (z0 ) f (D(a, r)) f () , como queramos.
Si ahora U es un subconjunto abierto de , comprobamos fcilmente que f (U) es abierto.
Expresando U como unin de sus componentes conexas, basta obviamente ver que la imagen
por f de cada componente conexa de U es un conjunto abierto. Si V es una componente
conexa de U , entonces V es un dominio y f V es una funcin holomorfa en V , no constante,
pues si f fuese constante en V , el principio de identidad
nos dira que f es constante en , de


nuevo en contra de la hiptesis. Aplicando a V y f V lo ya demostrado para y f , obtenemos
que f (V ) es abierto, como queramos.

Este resultado generaliza claramente otros que habamos deducido de las ecuaciones de
Cauchy-Riemann. Si es un dominio y f H() no es constante, el conjunto f () es
abierto, luego no puede estar contenido en una recta ni en una circunferencia, y en particular,
ninguna de las funciones Re f , Im f y | f | puede ser constante.
Tambin vemos fcilmente que el principio del mdulo mximo se deduce a su vez del
teorema anterior. Si | f | tuviese un mximo relativo

en un punto a , existira un
> 0 tal
que D(a, ) y el conjunto
abierto f D(a, ) estara contenido en D 0 , | f (a) | , pero
entonces tendramos f D(a, ) D(0, | f (a) |) , lo cual es absurdo. Por tanto, el principio del
mdulo mximo y el teorema de la aplicacin abierta son resultados equivalentes.

10. Funciones armnicas

10.9.

126

Ejercicios

1. Dado un abierto del plano, encontrar la condicin necesaria y suficiente que deben
cumplir dos funciones u, v A() , para que se tenga u v A() .
2. Probar que, si es un dominio y u A() verifica que u 2 A() , entonces u es
constante.
3. Sean 1 y 2 abiertos del plano, f H(1 ) con f (1 ) 2 , y u A(2 ) . Probar
que u f A(1 ) .
4. Sea u A(C) y supongamos que existen constantes , R+ tales que
z C , | z | > 1 = u(z) 6 log | z | +
Probar que u es constante.


5. Sea f H D(0, 1) y supongamos que existe n N tal que, para todo r ] 0, 1 [ se tiene


max | f (z) | : | z | = r = r n
Probar que existe T tal que f (z) = z n para todo z D(0, 1) .


6. Sea f H D(0, 1) verificando que
| f (z) | 6 | f (z 2 ) |

z D(0, 1)

Probar que f es constante.

7. Sea un dominio y u, v A() tales que u(z)v(z) = 0 para todo z . Probar que, o
bien u(z) = 0 para todo z , o bien v(z) = 0 para todo z .