Disponible en: http://www.redalyc.org/articulo.oa?

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

yG(x, y + t(y)) (y),

where (y) is the exterior unitary normal vector to the surface S at the point y of S.
In order to solve this problem, we approximate g by means of a sequence gn C

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

yG(x, y + t(y)) (y),

donde (y) es el vector normal exterior unitario a la supercie S en el punto y de S.
36 Pedro Isaza y Jorge Opino
Para resolver (3), se aproxima g por medio de funciones gn C

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

), en este trabajo se utiliza la tcnica de funciones de

Green y se resuelve el problema de Dirichlet en y

, ste ltimo suponiendo

decaimiento en .
Este artculo est basado en la Tesis de Maestra de Jorge Elicer Ospino
Portillo, realizada en la Universidad del Norte, en convenio con la Universidad
Nacional de Colombia, Sede Medelln, bajo la direccin del profesor Pedro
Isaza Jaramillo.
2 Preliminares
2.1 Potenciales de capa doble y capa simple
Para f : R denimos el potencial volumtrico de f en x R
n
por
v(x) :=
_

M(x, y)f(y)dy, (8)

siempre que dicha integral exista.
Proposicin 1. Sean f C
1
() L

() y v el potencial volumtrico aso-

ciado a f. Entonces v C
1
(R
n
) C

) 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

(S), el potencial de capa doble

asociado a es la funcin denida por:
(x) :=
_
S

y
M(x, y)(y)d(y), x R
n
, (9)
donde
y
M(x, y) =
y
M(x, y) (y).
Si L

(S), el potencial de capa simple para es la funcin denida

por:
(x) :=
_
S
M(x, y)(y)d(y), x R
n
. (10)
38 Pedro Isaza y Jorge Opino
En la siguiente proposicin enunciamos las propiedades ms relevantes del
potencial de capa doble.
Proposicin 2. Sean L

(S) y el potencial de capa doble asociado a

. Entonces:
i) es armnica en R
n
\ S y (x) 0 cuando x .
ii) C(S).
iii) Si es continua en x
0
S, entonces
lim
xx
0
x
(x) =
1
2
(x
0
) +
_
S

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

es conexo, la solucin del problema exterior de Neumann (17) es nica.

La demostracin se puede consultar en [6] pgina 311.
2.3 La funcin de Green
Para x , denimos g
x
(y) := M(x, y), y S. Existe una nica funcin
H(x, ) : R tal que H(x, ) C
2
() C();
y
H(x, y) = 0 para todo
40 Pedro Isaza y Jorge Opino
y y H(x, y) = g
x
(y) para todo y S. Denamos la funcin de Green en
para el operador , como la funcin
G :
_

_
\ {(x, x) | x } R,
dada por
G(x, y) = M(x, y) +H(x, y), x , y .
De la denicin de G se desprende que G(x, y) = 0 para toda y S. En
la siguiente proposicin enunciamos algunas propiedades importantes de la
funcin de Green.
Proposicin 4. Sea un dominio regular con

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

(), entonces el problema

_
_
_
u C
2
() C(),
u = f, en ,
u = 0, en S,
(19)
tiene solucin nica dada por
u(x) =
_

G(x, y)f(y)dy, x . (20)

La prueba de (i) y (ii) puede consultarse en [6] pgina 320, la de (iii) se
puede ver en [3], cuando n = 3 teorema 5.3 pgina 267 y en [6] pgina 327.
De (ii) y de la denicin de la funcin de Green se sigue fcilmente que
para y , H(, y) es una funcin armnica en .
2.4 Vecindad tubular
Lema 5. Sea un dominio regular de clase C
2
. Entonces:
i. Existen una vecindad V de S = en R
n
y un > 0 tales que la
funcin F : S (, ) V denida por F(x, t) := x + t(x) es un
homeomorsmo de clase C
1
.
Solucin del problema de Dirichlet 41
ii. Para t (, 0) S
t
:= {x +t(x) | x S} es una supercie de clase C
1
,
y existe (0, ) tal que si t (, 0), S
t
es la frontera de un dominio
regular
t
con
t
.
iii. Para x S y t (, 0), si x

= x + t(x), entonces el vector normal

unitario exterior a S
t
en x

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

denotan las derivadas normales interiores en S de v y u

respectivamente.
Demostracin. Probamos inicialmente la Primera identidad de Green genera-
lizada: Si S es de clase C
2
, u C
2
(), u L
2
(), u tiene derivada normal
interior en S y v C
1
() C(), entonces
_

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

cierta bola abierta de R

2
y : 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

, ya que es continua y la funcin

(t, 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

el lado derecho de () con-

verge a
_
U

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 =:
_

v udx (integral impropia),

y tiene lugar la igualdad
_

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) =
_

G(x, y)f(y) dy, x ,

donde G es la funcin de Green para el operador , entonces u tiene derivada
normal interior en S.
Demostracin. Si f C
1
() C() y u(x) =
_

G(x, y)f(y) dy, x ,

sabemos de la proposicin 4 que u C
2
() C() y que u|
S
= 0, pues
G(x, y) = 0, para toda x S.
Como G(x, y) = M(x, y) +H(x, y), se tiene que
u(x) =
_

M(x, y)f(y) dy +
_

H(x, y)f(y) dy. (29)

Denamos el potencial volumtrico mediante
v(x) :=
_

M(x, y)f(y) dy, x R

n
.
44 Pedro Isaza y Jorge Opino
Por la proposicin 1 v C
1
(R
n
), y por tanto v tiene derivada normal interior
en S. Por tanto, es suciente probar que la funcin v denida por
v(x) :=
_

H(x, y)f(y) dy, x ,

tiene derivada normal interior en S. Del comentario que sigue a la proposicin
4 se desprende que v es una funcin armnica en .
Sea g(y) := v(y) (y), y S. Entonces g C(S). Consideremos el
siguiente problema exterior de Neumann:
_

_
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(

) es solucin del problema

anterior.
Sea C(S) la solucin de la ecuacin integral
1
2
(x) +
_
S

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

es solucin del problema (30) y por la unicidad de dicho pro-

blema w(x) = v(x) para toda x

.
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. Como adems

v

existe en S, se concluye que u

tiene derivada normal interior en S. 2
Corolario 8. Si g C
3
(R
n
) y u C
2
() C() es la solucin de
_
u = 0 en ,
u = g en S,
entonces
u

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

conexo; y sea g en C(S). Entonces la solucin u C

2
() C() del
problema de Dirichlet
_
u = 0 en ,
u = g en S,
(31)
est dada por
u(x) =
_
S

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)| <

1
j
,
para toda x R
n
. En efecto:
|(

g)(x) g(x)| =

_
|t|

(t) g(x t)dt g(x)

_
|t|

(t) [ g(x t) g(x)] dt

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

(x). Entonces aplicando el teorema 6, se tiene que

0 =
_

[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