551

Scientia et Technica Ao XIII, No 34, Mayo de 2007. Universidad Tecnolgica de Pereira. ISSN 0122-1701

EL ESTUDIO DE ALGUNAS PROPIEDADES DE LAS FUNCIONES ARMNICAS

PARA EL PROBLEMA DE DIRICHLET DE LA ECUACIN DE LAPLACE
RESUMEN
En contraste con las ecuaciones diferenciales ordinarias, no existe una teora
unificada para el estudio de las ecuaciones en derivadas parciales. Algunas
ecuaciones en derivadas parciales poseen sus propias teoras, mientras que otras
an no las poseen. La razn para esto es por la complejidad de su geometra. En
el caso de una ecuacin diferencial ordinaria un campo vectorial local es
definido en una variedad. Para una ecuacin diferencial parcial un subconjunto
de la tangente al un espacio de dimensin mayor que 1 es definido en cada punto
de la variedad. Como es sabido, inclusive para un campo bidimensional inmerso
en uno tridimensional en general no es integrable. Una teora consolidada para el
estudio de la ecuacin de Laplace es la considerada en este artculo, la teora de
las funciones armnicas.
En este artculo se estudiaran algunas propiedades de las funciones armnicas
para la solucin de la ecuacin de Laplace.
PALABRAS CLAVES: Funcin armnica, Funcin analtica, energa de
Dirichlet, ecuacin de Laplace, Solucin fundamental, frmula integral de
Poisson.
ABSTRACT
In contrst to ordinary differential equations, there is no unified theory of partial
differential equations. Few equations have their own theories for its study. In
this paper the analysis of harmonic functions for the solution of Laplace
equation is investigated.

JOS R. GONZALEZ
Profesor Auxiliar, PhD
Matemtico
Departamento de Matemticas
Facultad de Ciencias Bsicas
Universidad Tecnolgica de Pereira
jorodryy@utp.edu.co
ABEL E. POSSO AGUDELO
Matemtico.
PhD. Ciencias Matemticas
Profesor Titular
Departamento de Matemticas
Facultad de Ciencias Bsicas
Universidad Tecnolgica de Pereira
possoa@utp.edu.co
CARLOS ESCOBAR
Ingeniero Civil.
Mg. En Matemticas
Profesor Auxiliar
Departamento de Matemticas
Facultad de Ciencias Bsicas
Universidad Tecnolgica de Pereira
ccescobar@utp.edu.co

KEYWORDS: Harmonic function, Holomorphic function, Dirichlet energy

principle, Laplace equation, Fundamental solution, Poisson integral formula.

1. INTRODUCCIN
El anlisis complejo juega un papel fundamental en el
estudio de las ecuaciones en derivadas parciales y en
muchos campos de las ciencias fsico-matemticas. En
particular, la teora de funciones analticas es una
herramienta fundamental en la solucin de problemas con
condiciones en la frontera para la ecuacin de Laplace.
Esto es debido a la conexin que poseen las funciones
analticas de variable compleja con las funciones
armnicas de la variable real.
2. LA RELACIN ENTRE LAS FUNCIONES
ARMNICAS Y LAS FUNCIONES ANALTICAS
Sea f ( x, y ) = u ( x, y ) + iv( x, y ) , una funcin de
variable compleja, analtica en un dominio del plano.
En este dominio las funciones u y v estn relacionadas
mediante las condiciones de Cauchy-Riemann

u
v
(1)
= .
y
x
Debido a que en un dominio una funcin analtica
u v
= ,
x y

posee derivadas de todos los ordenes, las funciones de

variable real u ( x, y ) y v( x, y ) tambin tienen
derivadas parciales de cualquier orden en dicho dominio
Fecha de Recepcin: 09 Febrero de 2007
Fecha de Aceptacin: 17 Mayo de 2007

del plano x, y . Diferenciando la primera condicin en

(1) con respecto a x , la segunda respecto a y y
sumando obtenemos

2 u 2u
+
= 0,
x 2 y 2
De forma similar para v ,

x, y .

(2)

2v 2v
+
= 0 , x, y .
(3)
x 2 y 2
As, las componentes u ( x, y ) y v( x, y ) de la funcin
f son funciones armnicas ya que satisfacen la
ecuacin de Laplace (2) y (3) respectivamente. Esta
conexin entre las funciones analticas y armnicas
permite utilizar algunas propiedades de las funciones
analticas para el estudio de las funciones armnicas.
3. EL PROBLEMA DE DIRICHLET PARA LA
ECUACIN DE LAPLACE
Las funciones armnicas en una sola dimensin espacial
son simplemente las funciones lineales y el valor de la
funcin lineal en el punto medio de un intervalo finito es
el promedio de sus valores en sus puntos extremos ver
([3]).

Scientia et Technica Ao XIII, No 34, Mayo de 2007. Universidad Tecnolgica de Pereira

552
Generalizando

este

resultado

dos

dimensiones

espaciales tenemos que si es un abierto de

R ,
2

g : R es dada, y u : R , con u = g
sobre , para cada y Br ( ) se cumple
que

u ( ) =
Veamos: sea

La integral de energa para una funcin armnica

u : R est dada por la expresin

E = u dx .
2

Para u fijo y para cualquier

E (t ) = (u + t ) dx
2

2 r Br( )

u ( x, y )ds .

= ( x0 , yo )

= u dx + t 2 dx
2

un punto interior a .

+ 2t u dx .

Entonces se tiene que

u ( ) =

2 r Br( )

u ( x, y )ds

u ( xo + r cos , yo + rsen )rd

2 r 0
1 2
=
u ( xo + r cos , yo + rsen )d = (r ).
2 0
Derivando con respecto a r y teniendo en cuenta que
u ( x0 , yo ) es constante tenemos que
=

d
1
=
dr 2

u
0 x cos + y sen d

1 2 u
u
cos +
sen rd
=

2 r 0 x
y

1
=
u ids
2 r Br( )
=
=
=

2 r Br( )
1

2 r Br( )

2 r Br (

Al derivar esta ltima integral, denominada la integral de

Dirichlet, con respecto a t y evaluarla en t = 0 , se
obtiene

E (t )

Si asumimos a

= 0 sobre entonces

( u ) ds = [u ] dx .

Utilizando (3), tenemos

E (t )

t =0

= 2 udx .

Si adems suponemos
entonces

E (u )

t =0

que u es armnica en ,

= 0 , para todo .

div(u )dxdy

Una conclusin importante que se desprende del anlisis

anterior, es el siguiente resultado.
Si u1 es una funcin armnica sobre y un

udxdy = 0 .

abierto de

1
u ( ) =
uds = 2

r
2 r Br ( )
y

(5)

u ds = 0 .

udxdy ,

Br ( )

dx u2 dx ,
2

para las funciones

u2 que satisfacen u1 = u2 sobre

.
Como

Br ( ) .

De esta forma, para hallar una funcin u que coincida

con una funcin dada g sobre
es suficiente
resolver el problema de Dirichlet para la ecuacin de
Laplace

u = 0, en , u = g , sobre .

R n entonces las funciones u1 poseen la

energa ms pequea de Dirichlet para sus valores en la

frontera

Hemos establecido as la propiedad del valor medio para

la funcin armnica u

= 2 u dx .

udxdy

Puesto que r > 0 , entonces u = 0 , para cada

para cada

t =0

Aplicando el teorema de Gauss-Ostrogradski a esta

ltima expresin,

C , obtenemos

(4)

4. ENERGA DE DIRICHLET PARA FUNCIONES

ARMNICAS

(u

u1 )(u2 + u1 ) ds = 0 ,

(6)

aplicando el teorema de Gauss-Ostrogradski en (6)

obtenemos

(u

u1 ) (u2 + u1 )dx = (u2 u1 ) (u2 + u1 )dx.

De manera similar

Scientia et Technica Ao XIII, No 34, Mayo de 2007. Universidad Tecnolgica de Pereira

(u

u1 ) (u2 u1 )dx = (u2 u1 ) (u2 u1 )dx.

Utilizando estos resultados, obtenemos

( u

2
2

u1

) dx = (u + u ) (u u )dx
2

= (u2 u1 ) (u2 + u1 )dx = (u2 u1 ) (u2 u1 )dx

553

mximo y un mnimo en y como en el interior de

la funcin no posee valores mximos ni mnimos
entonces estos valores los adquiere en la frontera de .
Otro resultado importante es el siguiente:
Si las funciones u y v son armnicas en la regin y
si en la frontera de se cumple una de las siguientes
condiciones

uv

= (u2 u1 ) dx 0 .
2

Es decir

dx u1 dx .
2

4. TEOREMAS SOBRE MXIMOS Y MNIMOS

Si la funcin u es armnica en una regin
, entonces en el interior de esta funcin no posee
ni valores mximos ni mnimos, estos valores mximos y
mnimos los adquiere la funcin u nicamente en la
frontera vase ([1-2,4,5]).
Para ver esto, supongamos que la funcin u toma su
valor mximo en un punto x interior a .

>0
= B ( x, )

Existe

adems

suficientemente pequeo tal que la bola

esta contenida en el interior de y

u ( x) > uH + ,

(7)

uH es el valor mximo de u en la frontera de .

Sea > 0 tal que para cualquier punto que se
encuentre dentro o sobre la frontera de se cumpla que
donde

x <

donde x es la distancia entre los puntos x y

Entonces de (7), la funcin

v( ) = u ( ) + x

en el punto obtendr un valor mayor que su valor

mximo en la frontera de . Esto significa que el valor
mximo lo obtendr dentro de . Pero en el punto
mximo las segundas derivadas tomadas con respecto a
las coordenadas del punto no pueden ser mayores que
cero. Al igual

v =

interior de .
Utilizando el teorema sobre mximos y mnimos
podemos demostrar un resultado muy importante sobre
las singularidades de la funcin armnica u .
Sea el punto = x una singularidad de la funcin u ( )
y en todos los dems puntos de la regin la funcin es
armnica. Entonces la funcin u ( ) cuando x no
crece ms rpido que 1/ r , donde r = x , o la
funcin u ( ) en el punto donde tiene la singularidad se
puede redefinir de tal forma que sea armnica.
Otra propiedad muy usada en las funciones armnicas es
la desigualdad de Harnack.
Sea

v v v
2
+
+
= x = 6 > 0.
2
2
2
1 2 3
2

u v,

entonces estas condiciones se cumplen tambin en el

u C 2 () una funcin armnica y no-negativa.

1 es un dominio acotado tal que 1 .

Entonces existe una constante A tal que
(8).
sup u ( x) A inf u ( x)
Adems si

Veamos:
Sean x , r > 0 de tal forma que

en , por el teorema de Weierstrass tendr al menos un

B4 r ( x) se

encuentre en , el factor cuatro en el radio de la bola es

escogido para asegurar que si tomamos y , z en la bola
de radio r y centrada en x y utilizando la propiedad
triangular, tenemos que

Br ( y ) B2 r ( x) B3r ( z ) .
Por la propiedad del promedio esfrico para la funcin u

u( y) =

n
n (3r )n

Absurdo ya que no se cumple (7). De aqu se desprende

que la funcin u en el interior del dominio no puede
obtener puntos mximos. De manera similar se puede
comprobar que la funcin u en el interior de no
posee valores mnimos. Como u es una funcin continua

x1

x1

u( z) =

n
n r n

u ( s )ds

Br ( x )

u ( s )ds .

(9)

B2 r ( x )

n
n (3r ) n

B3 r ( z )

n
n (3r ) n

B2 r ( x )

u ( s )ds

u ( s )ds .

(10)

Las estimaciones (9) y (10) son vlidas para cada y ,

en la bola de radio r y centrada en x .
De (9) tenemos que

Scientia et Technica Ao XIII, No 34, Mayo de 2007. Universidad Tecnolgica de Pereira

554

sup u ( x)
Br ( x )

n
n r n

Con

u ( s )ds = const = A .

En el caso de soluciones radiales, independientes de las

variables angulares, u ( x ) = ( r ) con r = x

u ( s )ds inf u ( z ) .
Br ( x )

B2 r ( z )

sup u ( y ) 3 inf u ( z ) .
n

r=

(11)

Br ( x )

Para generalizar (11) a

1 escogemos dos puntos en la

y el valor mnimo de u , y y

z respectivamente. Por
ser 1 conexo, los puntos y y z los podemos unir por

, contenida en

i =1

frontera de esta regin, donde se alcanza el valor mximo

medio de una curva

tomamos

1 . Adems si

0 < 4r min { c1 c2 } ,

'(r ) xi

u xi =

xi 2

x
r ,
u xi xi = ''(r ) i2 + '(r )
2
r

para i = 1, 2, n . Considerando a n como la

2

dimensin espacial tenemos la siguiente ecuacin

diferencial ordinaria, para calcular el Laplaciano de la
funcin u

(n 1)
'(r ) .
r

Con c1 1 y c2 R , se tiene que todas las

u = ''(r ) +

4r estn contenidas en . De otro lado por la

compacidad de la curva al unir los puntos y , z se

Para resolver (12) consideremos dos casos:

a) n = 2

tiene que basta una cantidad finita de tales bolas, digamos

n , para cubrir a . De manera anloga, empezando
por el punto mximo y aplicando (11) de forma reiterada,
obtenemos la desigualdad buscada
sup u ( x) A inf u ( x) ,

b) n 3

bolas con centro en los puntos de la curva y de radio

(r ) =
con

donde A = 3 .
Este resultado sobre las funciones armnicas es uno de
los ms importantes. Por ejemplo si la funcin u es
positiva o cero y armnica en la bola con centro en el
origen y de radio r y si inf u ( x ) = 0 , entonces u es

En

mn

xBr (0)

idnticamente cero sobre

Br (0) . Este resultado se puede

obtener procediendo como en la demostracin de la

desigualdad de Harnack.

fijo

de

R n , hallemos una funcin

u C 2 ( R n { } ) de la forma

u ( x) = ( x ) ,

C1
+ C2 ,
(n 2)r n 2

consecuencia,

(14)

toda

funcin

de

la

forma

u ( x) = ( x ) , con (r ) dada en (13) y R n

fijo, es una funcin de clase

C ( R n { } ) que es

solucin de u = 0 en R { } .
n

Si introducimos la solucin fundamental de la ecuacin

de Laplace en R a la funcin
tiene que
n

punto

(13)

C1 y C2 constantes arbitrarias.

5. SOLUCIONES FUNDAMENTALES
Busquemos soluciones a la ecuacin de Laplace en un
dominio de R que posean algn tipo de simetra
esfrica ver ([5]). En el caso particular si suponemos un

(12)

(r ) = C1 ln r + C2 .

x1

x1

Al considerar que

As,
Br ( x )

una funcin armnica en

R n { } .

B2 r ( z )

De igual forma de (10) se tiene que

A
n
=
n
3 n (3r ) n

C 2 ( 0, + ) , con u

con

K ( x, ) con x , se

(n 2) r n 2 , n 3
n
(15)
K ( x, ) =
1
ln r ,
n = 2,
2
la medida de la esfera

S n 1 = { x R n : x = 1} .

5. CONCLUSIN
Introduciendo una funcin w( x) armnica en y
utilizando (15) podemos definir las funciones de Green
como

Scientia et Technica Ao XIII, No 34, Mayo de 2007. Universidad Tecnolgica de Pereira

G ( x, ) = K ( x, ) + w( x) .
(16)
Si suponemos que para cada podemos encontrar
una funcin w ( x ) armnica en que satisface la
condicin

w ( x ) = K ( x, ) ,

para x . Entonces la funcin

G ( x, ) = K ( x, ) + w ( x )
es una funcin armnica en y adems es una solucin

fundamental del operador de Laplace , con la propiedad

G ( x, ) = 0 para todo x .
En general, la construccin de tales funciones es
complicada ya que requiere la solucin del problema de
Dirichlet

w = 0, en

w = K , sobre
con .
Haciendo uso de (15) de las frmulas de Green (16) y de
la frmula de representacin de Green, el problema de
Dirichlet para la ecuacin de Laplace tiene como
solucin

u ( ) =

G ( x, )
g ( x)dS x ,
x

expresin que es conocida como la frmula integral de

Poisson. La expresin H ( x, ) =

G ( x, )
, es el
x

llamado ncleo de Poisson.

Es decir, el problema de Dirichlet posee solucin para

( )

u C 2 , luego podemos calcular u de la frmula

integral de Poisson siempre y cuando conozcamos las
respectivas funciones de Green.
6. BIBLIOGRAFA
[1] V.P. Mijaylov. Ecuaciones en derivadas parciales,
Nauka, Mosc 1976.
[2] L. Evans, Partial Differential Equations, American
Mathematical Society, Providence, 1998.
[3] J.R.Gonzlez, A.E. Posso, Mtodo del promedio
esfrico en la solucin de ecuaciones
diferenciales parciales de tipo hiperblico. Scientia et
Technica Ano XII, No 32, Diciembre de 2006. UTP.
[4] John Fritz. Partial Differential Equations 4th ed.,
Springer-Verlag, New York, 1982.
[5] Robert C. McOwen Robert. Partial Differential
Equations: methods and applications, Prentice Hall,
1996.

555