Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Funcion de Greend
Funcion de Greend
id=46800204
Red de Revistas Cientficas de Amrica Latina, el Caribe, Espaa y Portugal
Sistema de Informacin Cientfica
Pedro Isaza Jaramillo, Jorge Elicer Ospino Portillo
Solucin del problema de Dirichlet por medio de la integral de Poisson
Matemticas: Enseanza Universitaria, vol. XIII, nm. 2, diciembre, 2005, pp. 35-48,
Escuela Regional de Matemticas
Colombia
Cmo citar? Fascculo completo Ms informacin del artculo Pgina de la revista
Matemticas: Enseanza Universitaria,
ISSN (Versin impresa): 0120-6788
reviserm@univalle.edu.co
Escuela Regional de Matemticas
Colombia
www.redalyc.org
Proyecto acadmico sin fines de lucro, desarrollado bajo la iniciativa de acceso abierto
Vol. XIII N
o
2 Diciembre (2005)
Matemticas: 3548
Matemticas:
Enseanza Universitaria
c Escuela Regional de Matemticas
Universidad del Valle - Colombia
Solucin del problema de Dirichlet por medio de la integral
de Poisson
Pedro Isaza Jaramillo, Jorge Elicer Ospino Portillo,
Recibido Mar. 30, 2005 Aceptado Jun. 2, 2005
Abstract
In this paper we study the solution of the Dirichlet problem by means of the Poisson
integral, this is, we prove by using classical potential theory tools, that for a bounded
regular domain R
n
with C
2
boundary S = having the property that
= ()
c
is
connected, and g C(S), the solution u C
2
() C(), of the problem
_
u = 0 en ,
u = g en S,
(1)
is given by
u(x) =
_
S
y
G(x, y)g(y)d(y), x , (2)
where G is the Green function of operator in and for x and y S, y
G(x, y) is
the normal interior derivative of G(x, ) at the point y, more precisely,
y
G(x, y) = lim
t0
0
(R
n
),
such that gn g uniformly in S and we use a generalized version of the second Green
identity applied to the Green function and to the solutions un of problem (1) with gn
instead of g.
Keywords: Dirichlet problem, Poisson integral, normal interior derivative, normal exterior
derivative, Green identities.
AMSC(2000): Primary: 35J05, Secondary: 31A30.
Resumen
En este trabajo se estudia la solucin del problema de Dirichlet por medio de la integral
de Poisson, esto es, se prueba usando herramientas de la teora clsica del potencial que
para un dominio regular acotado R
n
con frontera S = de clase C
2
, que tiene la
propiedad de que
= ()
c
es conexo y g C(S), la solucin u C
2
() C(), del
problema
_
u = 0 en ,
u = g en S,
(3)
est dada por
u(x) =
_
S
y
G(x, y)g(y)d(y), x , (4)
donde G es la funcin de Green del operador en y para x y y S, y
G(x, y) es
la derivada normal interior de G(x, ) en el punto y; ms precisamente,
y
G(x, y) = lim
t0
0
(R
n
), tales que gn g
uniformemente en S y se usa una versin generalizada de la segunda identidad de Green
aplicada a la funcin de Green y a las soluciones un del problema (3) con gn en lugar de g.
Palabras y frases claves: Problema de Dirichlet, integral de Poisson, derivada normal
interior y exterior, identidades de Green.
1 Introduccin
Sea R
n
un dominio regular de clase C
2
con frontera S. El problema
de Dirichlet clsico en consiste en hallar una funcin u C() que sea
armnica en y que coincida en S con una funcin dada g C(S). Dicho
de otra manera, consideraremos el problema
_
_
_
u C
2
() C(),
u = 0 en ,
u = g en S.
(5)
Usando la teora clsica del potencial se puede probar que el problema (5)
tiene una solucin nica. Este hecho se demuestra a partir de las propiedades
del potencial de capa doble. Pero dicho procedimiento no dilucida cmo
expresar la solucin u, en trminos de la funcin dato g, por medio de una
frmula explcita, la cual quisiramos conocer. Si supiramos que la solucin
u de (5) no slo pertenece a C
2
() C() sino que adems pertenece a
C
2
()C
1
(), entonces, dado x , es posible utilizar la segunda identidad
clsica de Green, la propiedad de valor medio de las funciones armnicas y el
potencial newtoniano N para establecer que
u(x) =
_
S
y
M(x, y)g(y)d(y)
_
S
M(x, y)
y
u(y)d(y), (6)
donde M(x, y) = N(x y) =
xy
(2n)n
, n 3,
n
es la medida (n
1)-dimensional de la esfera (N se conoce como el potencial newtoniano) y
y
M(x, y) y
y
u(y) denotan respectivamente las derivadas normales de
M(x, ) y de u en el punto y de S.
Sin embargo, la frmula (6) no slo depende de la funcin g, la cual
determina unvocamente a u pues la solucin de (5) es nica, sino que tambin
depende de
y
u(y), la cual es desconocida. Adems, la existencia de
y
u(y)
slo est justicada por el hecho de que hemos supuesto adicionalmente que
u C
1
(). De esta manera, la frmula (6) no es de utilidad para conocer a
u a partir de g.
Para desarrollar una expresin de u(x) que no dependa del trmino
y
u(y)
puede pensarse en sustituir a M por una funcin G : R que per-
mita obtener una frmula similar a (6) (con G en lugar de M) y para la cual
Solucin del problema de Dirichlet 37
G(x, y) = 0 para y S. As, tendramos que
u(x) =
_
S
y
G(x, y)g(y)d(y), (7)
al menos todava bajo el supuesto de que u C
1
().
El resultado central de este trabajo, demuestra que la funcin de Green G
es la funcin adecuada para los propsitos mencionados en el prrafo anterior
y que la expresin (7) es vlida para la solucin u del problema (5), an sin
necesidad de suponer que u C
1
().
A diferencia del mtodo de Perron que utiliza la caracterizacin de las
funciones armnicas como lmite uniforme de funciones subarmnicas (sin
exigir la conexidad de
) C
2
(). v = f en , v = 0
en
y v(x) 0 si x .
Para la demostracin ver [3] teorema 5.3 pgina 267.
Si es un dominio regular y L
y
M(x, y)(y)d(y), x R
n
, (9)
donde
y
M(x, y) =
y
M(x, y) (y).
Si L
y
M(x
0
, y)(y)d(y), (11)
lim
xx
0
xR
n
\
(x) =
1
2
(x
0
) +
_
S
y
M(x
0
, y)(y)d(y). (12)
Adems, si C(S), los anteriores lmites son uniformes para x
0
S.
Para la demostracin ver [2] lema 3.20 pgina 126 y teorema 3.22 pgina
128, y [3] teorema 1.3 pgina 289 y teorema 1.4 pgina 290.
Para enunciar las propiedades principales del potencial de capa simple
introducimos las nociones de derivada normal interior y de derivada normal
exterior: Si u C
1
(R
n
\ S) decimos que u tiene derivada normal exterior
(respectivamente interior) en S si para todo x
0
S existe el siguiente lmite
+u(x
0
) := lim
t0
+
(x
0
) u(x
0
+t(x
0
))
(respectivamente
u(x
0
) := lim
t0
(x
0
) u(x
0
+ t(x
0
))) uniformemente
en S.
La siguiente proposicin recoge las propiedades ms importantes del po-
tencial de capa simple.
Proposicin 3. Sean C(S) y el potencial de capa simple asociado a
. Entonces:
i) es armnica en R
n
\ S y (x) 0 cuando x .
ii) C(R
n
).
iii) tiene derivadas normales interior y exterior en S, dadas por:
(x)
=
1
2
(x) +
_
S
x
M(y, x)(y)d(y), x S, (13)
(x)
+
=
1
2
(x) +
_
S
x
M(y, x)(y)d(y), x S. (14)
Para la demostracin ver [2] proposicin 3.25 pgina 129 y teorema 3.28
pgina 131, y [3] teorema 1.1 pgina 286 y teorema 1.5 pgina 293.
Solucin del problema de Dirichlet 39
2.2 Problemas clsicos
Las propiedades del potencial de capa doble expresadas en la proposicin 2,
muestran que para g C(S), el problema de Dirichlet clsico
_
_
_
u C
2
() C(),
u = 0, en ,
u = g, en S,
(15)
tiene una solucin dada por
u(x) =
_ _
S
y
M(x, y)(y)d(y), si x ,
1
2
(x) +
_
S
y
M(x, y)(y)d(y), si x S,
(16)
donde C(S) es la nica solucin de la ecuacin integral
1
2
(x) +
_
S
y
M(x, y)(y)d(y) = g(x), x S.
(Ver [3] pginas 294 a 299). Como g C(S), el principio del mximo para
funciones armnicas (ver [2] pgina 72) garantiza la unicidad de u.
De modo similar, para g C(S) las propiedades del potencial de capa
simple, expuestas en la proposicin 3, garantizan que el problema exterior de
Neumann
_
_
u C
2
(
) C(
),
u
+
= g en S,
lim
x
u(x) = 0,
(17)
tiene una solucin, dada en trminos del potencial de capa simple por
u(x) =
_
S
M(x, y)(y)d(y), para x
, (18)
donde C(S) es la nica solucin de la ecuacin integral
1
2
(x) +
_
S
x
M(y, x)(y)d(y) = g(x), x S.
Si
conexo.
i) Para x , la funcin G(x, ) tiene derivada normal interior en S.
ii) G(x, y) = G(y, x), para (x, y) , x = y, y por tanto G puede
extenderse de manera continua a
__
(x, x)
x
_
,
deniendo G(x, y) = 0 para x S.
iii) Si f C
1
() L
es (x).
La prueba se puede ver en [4] pgina 8.
2.5 Identidades de Green generalizadas
Teorema 6. Si u, v C
2
()C(), u, v L
2
() y uy v tienen derivada
normal interior en S , entonces
_
(uv vu) dx =
_
S
_
u
v
v
u
_
d. (21)
Aqu
v
y
u
vudx =
_
v udx +
_
S
v
u
d, (22)
donde la primera integral del lado derecho tiene el sentido de cierta integral
impropia que se precisa en la demostracin. Para t sucientemente pequeo,
sean
t
y S
t
como en el lema 5. Como las restricciones de u y v a
t
satisfacen
las hiptesis para aplicar la identidad de Green clsica, se tiene que
_
t
vudx =
_
t
v udx +
_
St
v
u
d
t
. (23)
Por simplicidad efectuamos la demostracin para n = 3, siendo el caso n > 3
similar. Como v C(), y u L
2
(), entonces vu L
1
(). Como
vu
t
est dominada por la funcin integrable vu, entonces, por el teo-
rema de la convergencia dominada, se tiene
_
t
vudx =
_
vu
t
dx
t0
vudx. (24)
Sean U
R
3
, denida por y = (x
) una
parametrizacin local de S de clase C
2
, entonces F
t
: U
R
2
R
3
,
denida por
y := (F
t
) (x
) = (x
) +t((x
)),
42 Pedro Isaza y Jorge Opino
es una parametrizacin local de S
t
de clase C
1
. Como para t sucientemente
pequeo y y S, el vector normal exterior unitario a S
t
en y = y + t(y) es
(y), entonces
_
(Ft)(U
)
v(y)
u(y)
d
t
(y) =
=
_
U
v((x
) +t((x
)))u((x
) +t((x
))) ((x
))Adx
, ()
donde A =
1
(F
t
)(x
)
2
(F
t
)(x
) . Como
i
(F
t
)(x
) =
i
(x
) +t
i
( )(x
); i = 1, 2,
entonces:
_
_
1
(F
t
)(x
)
2
(F
t
)(x
)
_
_
t0
_
_
1
(x
)
2
(x
)
_
_
uniformemente para x
)
1
(F
t
)(x
)
2
(F
t
)(x
)
es uniformemente continua en [/2, /2] U
. Tambin:
u((x
) +t((x
))) ((x
))
t0
u((x
)) ((x
))
uniformemente en U
; y
v((x
) +t((x
)))
t0
v((x
))
uniformemente en U
. Entonces cuando t 0
v((x
))
u((x
))
_
_
1
(x
)
2
(x
)
_
_
dx
=
_
(U
)
v(y)
u(y)
d(y).
Por tanto
_
(Ft)(U
)
v(y)
u(y)
d
t
(y)
t0
_
(U
)
v(y)
u(y)
d(y), (25)
y as, utilizando particiones de la unidad se puede probar a partir de (25),
que
_
St
v
u
d
t
t0
_
S
v
u
d. (26)
Solucin del problema de Dirichlet 43
De (23), teniendo presentes a (24) y (26), se concluye que existe
lim
t0
_
t
v udx =:
_
vudx =
_
v udx +
_
S
v
u
d. (27)
De manera anloga, si S es de clase C
2
, v C
2
(), v L
2
(), v tiene
derivada normal interior en S y u C
1
() C(), entonces
_
uv dx =
_
u v dx +
_
S
u
v
d. (28)
Restando (28) y (27) obtenemos (21). 2
3 Existencia de derivadas normales interiores
Como el resultado central del trabajo se apoya en el uso de la segunda iden-
tidad de Green generalizada teorema 6, es necesario establecer la existencia
de la derivada normal para las funciones all involucradas. Ello es posible
a partir del estudio efectuado en el teorema 7 y el corolario 8 los cuales se
enuncian y prueban a continuacin. En esta seccin y en la que sigue ser
un dominio regular de clase C
2
con
conexo.
Teorema 7. Si f C
1
() C() y
u(x) =
_
M(x, y)f(y) dy +
_
_
w C
2
(
) C(
),
w = 0 en
,
w
+
= g en S,
w(x) 0 si x .
(30)
Por la proposicin 1, v es armnica en
, v C
1
(R
n
) y v(x) 0 si
x , entonces claramente v C
2
(
) C(
x
M(y, x)(y) d(y) = g(x),
para toda x S; y sea w el potencial de capa simple asociado a , es decir,
w(x) =
_
S
M(x, y)(y) d(y), x R
n
,
entonces w
.
Tenemos adems de la proposicin 3 que w es armnica en , continua
en y w(x) = v(x) para toda x S. Como la funcin v tiene exactamente
estas propiedades entonces v(x) = w(x) para toda x . Como sabemos que
w tiene derivada normal interior en S (por ser un potencial de capa simple)
entonces
v
existe en S.
Solucin del problema de Dirichlet 45
Demostracin. Sea v C
2
() C() la solucin del problema de Poisson
_
v = g en ,
v = 0 en S.
Como g C
3
(R
n
), entonces g C
1
() C(), entonces por las propie-
dades de la funcin de Green (proposicin 4)
v(x) =
_
G(x, y)g(y)dy, x
y as, por el teorema 7, v tiene derivada normal interior en S, pero (gv) = 0
en y g v = g en S, entonces por la unicidad de la solucin del problema
interior de Dirichlet clsico (seccin 2.2), u = g v y por tanto u tiene
derivada normal interior en S. 2
4 Resultado
En esta seccin demostraremos el resultado central del trabajo; es decir, pro-
baremos que la solucin al problema de Dirichlet
_
u = 0 en ,
u = g en S,
en est dado por la integral de Poisson
u(x) =
_
S
y
G(x, y)g(y)d(y).
La demostracin se basa en la construccin de una funcin de Green para
de la forma G(x, y) = M(x, y) + H(x, y), regularizando g C() por una
sucesin de funciones de clase C
en R
n
y resolviendo
_
u
j
= 0 en ,
u
j
= g
j
en S.
se muestra que u es el lmite uniforme de la sucesin u
j
en como resultado
de que g es el lmite uniforme de la sucesin g
j
sobre .
Teorema 9. Sea en R
n
un abierto regular de clase C
2
, con frontera S y
con
y
G(x, y)g(y)d(y), x . (32)
46 Pedro Isaza y Jorge Opino
Demostracin. La solucin u del problema de Dirichlet (31) existe y es nica
por la existencia y unicidad de la solucin del problema interior de Dirichlet
clsico (seccin 2.2), obtenido de las propiedades del potencial de capa doble
(seccin 2.1). En una primera fase de la demostracin procederemos a hallar
una sucesin {g
j
}
j
de funciones en C
(R
n
), que converge uniformemente
a g en S. Para conseguir esta sucesin se procede as: Para g C(S),
hallemos g C
0
(R
n
), tal que g(y) = g(y), y S. Si V es una vecindad
tubular de S (que existe por un lema anterior), dado x V , existen nicos
y S, t (, ), tales que y + t(y) = x; en realidad, (y, t) = F
1
(x), con
F como en el teorema 6.
Denimos g
1
: V R por g
1
(x) := g(y). Notemos que g
1
es continua
por ser la composicin de g con la primera proyeccin de F
1
. Como S es
compacto y V abierto, S V , entonces existe una C
0
(R
n
), tal que
(y) = 1, y S, supp V ; 0 1. Sea
g(x) =
_
g
1
(x)(x), x V,
0, x / V.
Entonces g C
0
(R
n
) y para y S, g(y) = g
1
(y)(y) = g(y). Para
construir la sucesin {g
j
}
j
utilizamos la funcin denida por
(x) =
_
ce
1
1x
2
, x < 1,
0, x 1,
con c escogida de tal manera que
_
R
n
= 1. Si para > 0, se dene
(x) :=
1
n
(x/) entonces, dado j N, con lo sucientemente pequeo se tiene
|(
g)(x) g(x)| =
_
|t|
_
|t|
sup
|t|
| g(x t) g(x)|
_
(t)dt
= sup
|t|
| g(x t) g(x)| .
Por la continuidad uniforme de g se tiene que existe
j
tal que el ltimo
trmino es menor a
1
j
, para toda x R
n
.
Solucin del problema de Dirichlet 47
Para j N denimos entonces g
j
:=
j
g la cual es de clase C
en R
n
.
Consideremos ahora para cada j la solucin u
j
del problema de Dirichlet
_
u
j
= 0 en ,
u
j
= g
j
en S.
(33)
Como g
j
C
3
(R
n
), entonces por el Corolario 8, u
j
tiene derivada normal
interior en S. Adems, sabemos que para toda x , G(x, ) tiene derivada
normal interior en S (proposicin 4 (i)). Para x tomemos > 0 con
B
(x) y denamos
:= \B
(x)
y S
:= B
[u
j
(y)
y
G(x, y) u
j
(y)G(x, y)] dy,
0 =
_
_
u
j
(y)
y
G(x, y)
u
j
(y)G(x, y)
d(y).
Aplicando la proposicin 4, el hecho de que H(, y) es una funcin armnica
en , u
j
es armnica en B
y que
= S B
, se obtiene
0 =
_
S
u
j
(y)
y
G(x, y)d(y)
1
w
n
n1
_
S
u
j
(y)d(y).
Por la propiedad del valor medio de funciones armnicas el ltimo trmino es
u
j
(x). As,
0 =
_
S
u
j
(y)
y
G(x, y)d(y) u
j
(x).
Como u
j
(y) = g
j
(y), para y S, entonces
u
j
(x) =
_
S
g
j
(y)
y
G(x, y)d(y). (34)
Por el principio del mximo para funciones armnicas
u
j
u
L
()
= g
j
g
L
(S)
y como g
j
g uniformemente en S, de (34) concluimos nalmente que
u(x) =
_
S
g(y)
y
G(x, y)d(y), x .
Lo que prueba el teorema. 2
48 Pedro Isaza y Jorge Opino
Referencias
[1] Brezis, H. Analyse fonctionnelle. Masson. 1983.
[2] Folland, G. Introduction to partial dierential equations. Princeton Uni-
versity Press. 1995.
[3] Irio, R., Irio, V. Ecuaciones diferenciales parciales. Una introduccin.
Impa, Projecto Euclides. 1988.
[4] Ospino, P. J. E. Solucin del problema de Dirichlet por medio de la inte-
gral de Poisson. Tesis de Maestra en Matemticas. Universidad Nacional
de Colombia. Sede Medelln. En convenio con la Universidad del Norte.
2003.
[5] Petrovsky, I. G. Lectures on partial dierential equations. Dover. 1991.
[6] Vladimirov, V. S. Ecuaciones de la fsica matemtica. Nauka. 1981.
Direccin de los autores: Pedro Isaza Jaramillo, Universidad Nacional de Colom-
bia, Sede Medelln, Cll 65 Cr 64 Autopista Norte pisaza@unalmed.edu.co Jorge
Elicer Ospino Portillo, Universidad del Norte jospino@uninorte.edu.co