El problema de Dirichlet en el rectangulo

Elmir. R. A. de Carvalho

Resumen
En este artculo, establecemos el problema de Dirichlet, examinamos
las condiciones de existencia y unicidad de la solucion, presentamos el
ejemplo de Zaremba y tratamos el problema de Dirichlet para la ecuaci on
de Laplace en regiones rectangulares del plano a traves de las series de
Fourier.

Introducci
on
La ecuaci on de Laplace aparece en muchas ramas de la Fsica, por ejemplo, es
satisfecha por el potencial electrostatico, el potencial de velocidad en el caso del
flujo irrotacional o estacionario y en general es de utilidad en situaciones fsicas
donde prevalecen condiciones de equilibrio.
El problema que vamos a estudiar est a relacionado con dicha ecuacion y de
forma general con la ecuaci on de Poisson dada por

2u 2u
u= + 2 =f
x2 y
El operador es conocido como el laplaciano y en el caso particular f 0,
la ecuaci
on es conocida como la ecuacion de Laplace. El problema de Dirichlet
para regiones cualesquiera, como cilindros y esferas, puede ser tratado con los
metodos aqu expuestos. Sin embargo, nos limitaremos al caso del problema de
Dirichlet para una regi
on rectangular.

Nociones b
asicas
Daremos, para beneficio del lector no experimentado en el tema, algunas defi-
niciones y nociones y recordaremos algunos resultados fundamentales para una
mejor comprension del problema. Los terminos regi on y dominio los utilizamos
para referirnos a conjuntos abiertos y conexos en un espacio metrico.
Consideremos una regi on R en el plano, denotamos por R y R a la clausura y
a la frontera de R respectivamente.
Una funciom continua u : R R es armonica si satisface la ecuacion de Laplace:

2u 2u
u= + 2 =0
x2 y

23
Factorial!-Revista matem
atica de la Universidad de Panam
a 24

Un calculo rutinario es suficiente para mostrar que la funcion continua u definida

sobre R2 por u(x, y) = cosx senhy es arm onica.
Si f : R C es una funcion analtica, sus partes real e imaginaria son funciones
armonicas.
Por otro lado, no es cierto que cualquiera funcion que satisfce la ecuacion de
Laplace sea continua, como es el caso de la funcion:
1
Re z4 z 6= 0
u(x, y) =
0 z=0

la cual es armonica pero discontinua en el origen. El problema de Dirichlet para

la ecuacion de Laplace lo formulamos de la siguiente manera:
Dada una funcion f : R R, determinar una funcion u : R R que satisface
las siguientes condiciones:
1. u es continua en R.
2. u es arm
onica en R.
3. u f sobre R.
Nos referimos a la exigencia (3) como la condici on de frontera en el problema
de Dirichlet.
Este problema para regiones arbitrarias es extremadamente complejo. Mas ade-
lante presentaremos un ejemplo clasico por medio del cual se establece que el
problema de Dirichlet no siempre tiene solucion. Hay que anadir que en el caso
que el problema sea resoluble, la soluci
on es u
nica.
Teorema 1 Toda funci on continua F : K R definida en un conjunto com-
pacto K de R2 tiene un valor m aximo , esto es, existe (x0 , y0 ) tal que f (x, y)
f (x0 , y0 ) = , para todo (x, y) K.
La prueba de la unicidad de la soluci
on del problema de Dirichlet se fundamenta
en el siguiente teorema, conocido como el Principio del maximo.
Teorema 2 (El principio del m aximo) Sea R una regi on acotada del plano y
u : R R continua en R y arm onica en R. Entonce el valor m aximo de u se
alcanza en R. Esto es, existe (x0 , y0 ) R tal que u(x, y) u(x0 , y0 ), para
todo (x, y) R.
Demostracion. Utilizando el Teorema 1 y dado que R es una regi
on acotada,
se tiene que los conjuntos R y R son cerrados y acotados, y por lo tanto
compactos. As, podemos considerar los valores maximos:
M1 = max u(x, y) , M2 = max u(x, y)
R R

y supongamos que M2 < M1 . Supongamos que u alcanza su valor maximo en

(x0 , y0 ) R R Definamos la funcion:
M1 M2 
(x x0 )2 + (y y0 )2

v(x, y) = u(x, y) + 2
(1)
2d

VOL.1, NO.1, JULIO 2011 c

Universidad de Panama
Factorial!-Revista matem
atica de la Universidad de Panam
a 25

donde d es el diametro de la regi

on R, i.e., d = sup {d(P, Q) : P, Q R}.
Podemos observar que v(x0 , y0 ) = u(x0 , y0 ) = M . Ademas, si (x, y) R
M1 M2 2 M1 + M2
v(x, y) M2 + d = < M1 .
2d2 2
Por consiguiente, v asume su maximo en (x0 , y0 ) R R. Lo que nos da:

v 0 (2)

Por otro lado se tiene, gracias a la igualdad (1) que

2(M 1 M2 )
v = >0 (3)
d2
para todos los puntos de R. Las desigualdades (2) y (3) son contradictorias entre
s. Lo que establece la validez del Principio del maximo.
Si aplicamos el principio del maximo a la funcion u, obtenemos que el siguiente
corolario:
Corolario 1 Sea u : R R continua en R y arm
onica en R. Entonces el
m
aximo de u se alcanza en R.
Probaremos ahora la unicidad del problema de Dirichlet.
Teorema 3 Sean u1 y u2 dos soluciones del problema de Direchlet para una
misma funci
on f . Entonces u1 u2 .
Demostracion. La funcion u = u1 u2 es continua en R, arm onica en R y nula
en R. Entonces, por el Principio del maximo, u(x, y) 0, para todo (x, y) R
y por el corolario 1, u(x, y) 0, lo que implica que u 0 y as u1 = u2 .
El siguiente teorema, cuya demostraci on sera omitida, es de suma importancia
para justificar el ejemplo de Zaremba.
Teorema 4 Sean R una regi on del plano, (x0 , y0 ) R y u : R{(x0 , y0 )} R
una funci
on arm
onica, acotada en una vecindad de (x0 , y0 ), Entonces existe
u0 R tal que
lm u(x, y) = u0
(x,y)(x0 ,y0 )

y la funcion u : R R definida por u

(x0 , y0 ) = u0 y u
(x, y) = u(x, y) para
(x, y) 6= (x0 , y0 ) es arm
onica.

El ejemplo de Zaremba
Sea R el disco agujereado, esto es:

R = (x, y) R2 : 0 < x2 + y 2 < 1



En este caso R = (x, y) R2 : x2 + y 2 = 1 {(0, 0)}. Consideramos el disco



D1 = (x, y) R2 : x2 + y 2 < 1


VOL.1, NO.1, JULIO 2011 c

Universidad de Panama
Factorial!-Revista matem
atica de la Universidad de Panam
a 26

y la funcion f definida como sigue:

f : R R
1 si (x, y) = (0, 0)
(x, y) f (x, y) =
0 si x2 + y 2 = 1

Mostraremos que el problema de Dirichlet no admite soluci on para esta funcion

f en esta regi
on R.
En efecto, si existiese tal funcion u, esta resultara continua en D1 y arm onica
en R. Avalados por el Teorema 3, podemos asegurar que u es arm onica en D1 .
As, por el Principio del maximo, u(x, y) = 0 para todo (x, y) D1 , lo que
contradice el hecho de que u(0, 0) = 1.

El problema de Dirichlet en el rect

angulo
Sean a, b n
umeros reales mayores que cero. Consideremos la region rectangular
R = {(x, y) R2 : 0 < x < a; 0 < y < b}. En este caso,la frontera de R
est
a compuesta por cuatros segmentos y se tienen las siguientes condiciones de
frontera
u(x, 0) = f0 (x) u(x, b) = f1 (x)
(4)
u(0, y) = g0 (y) u(a, y) = g1 (y)
La idea inicial, para la resoluci
on de este problema, es descomponerlo en cuatro
problema de Dirichlet; cada uno de los cuales es obtenido al hacer tres de las
funciones en (4) identicamente igual a cero y mantener la otra. La solucion del
problema, en principio es la suma de las cuatros soluciones parciales. Esto nos
indica que basta resolver el problema de Dirichlket para el rectangulo R con las
siguientes condiciones de frontera:

u(x, 0) = f (x) , u(x, b) = u(0, y) = u(a, y) = 0 (5)

Para simplificar, consideramos la hip otesis f (0) = f (a), lo que convierte los
datos de frontera continuos a lo largo del contorno rectangular.
En resumen, el problema de determinar una funcion continua u : R , arm onica
en R y satisfaciendo las condiciones de frontera (5).
Buscaremos las soluciones de la forma u(x, y) = A(x)B(y), reemplazamos en la
ecuaci
on de Laplace, obtenemos despues de algunos calculos:
A B
= =
A B
Donde es un par ametro independiente de x e y. D esto obtenemos dos ecua-
ciones diferenciales ordiarias:

A A = 0 (6)

B B = 0 (7)

VOL.1, NO.1, JULIO 2011 c

Universidad de Panama
Factorial!-Revista matem
atica de la Universidad de Panam
a 27

La condicion de frontera implica A(0)B(0) = A(a)B(b) = 0 y como B 0 no

nos interesa, debemos tener:
A(0) = A(a) = 0 (8)
El sistema de ecuaciones (6)-(8) exige que
n2 2
=
a2
que son los valores propios del problema (6)-(7), y cuyas autofunciones son
 nx 
An (x) = sen
a
Para cada n, escribimos la ecuaci
on (7) en la forma:
n2 2
B B=0 (9)
a2
cuya soluci
on general es:
ny ny
Bn (y) = n e a + n e a

La condici
on de frontera (5) exige A(x)B(b) = 0 y como A 0 no es relevante;
2nb
obtenemos B(b) = 0. Esta condici on impuesta en (8), nos da n = n e a
y consecuentemente:
nb
h n i
Bn (y) = n e a e a (yb) e a (b)
n

es armonica y satisface las igualdades de la condicion de frontera (5), exceto la

primera.
Buscaremos ahora, una funcion arm onica que satisfaga plenamente la condici on
(5) y que tenga la forma:
 
X nb
 nx  n(y b)
u(x, y) = n e a sen senh (10)
n=1
a a

Por lo tanto, los coeficientes n deben ser escogidos de modo que:

 
X
nb nb  nx 
f (x) = n e a senh sen
n=1
a a

lo que es posible si la derivada f de f es seccionalmente continua.

Designando con:
2 a
Z  n 
fn (x) = f (x) sen
a 0 a
vemos despues de algunos calculos que (10) toma finalmente la forma:
 
X  nx  senh n(yb)
a
u(x, y) = fn sen nb


n=1
a senh a

VOL.1, NO.1, JULIO 2011 c

Universidad de Panama
Factorial!-Revista matem
atica de la Universidad de Panam
a 28

Referencias
1. Volkovsky, L.I., et al. Problemas sobre la Teora de funciones de variable
compleja. Editorial Mir, 1972.

2. Schecter, Martin. Modern Methods in Partial differential equations, Mc

Graw-Hill, 1976.

3. Churchill, Ruel. Fourier series and boundary value problems. Mc Graw-

Hill, 1966.

VOL.1, NO.1, JULIO 2011 c

Universidad de Panama