> O(z)—e y Upp (2) —Cw(z)< 0 (x4) +8, es decir,
D(x) —e — Cw (2)< Upp (TF) (2) -- e+ Cw (az)
para todo t€Qpp. Por lo tanto, para cualquier 2€Q
© (2!) —e — Cur (x) 0 arbitrario, se deduce que wu (z) es continua
en zy ‘ata = D (2°) = @ (2). El lema esté demostrade.
DEMOSTREMOS AHORA EL TEOREMA tc. Examinemos ln funeidn
up (a) = | U(z—y) f(y) dy, que es un potencial volumétrico de den-
sidad J. Segdn el lema 2, up (z)EC*(G)NC'(@) as en G la solu-
cién de la ecuacién (18). De acucrdo con el lema 4, existo la
solucién clisica v(x) del problema Av=—0 en @Q, Bag = pP— up lag-
En este caso, w=uy++v es solucién clasica del problema (18),
(19). El teorema est domostrada,
‘Valiéndonos del teorema 10, enunciemos la siguiente importante
propiedad de las funciones arménicas.
TeoREMa 11 (sobre la eliminacién de la singularidad). Supongamos
que la funcién u (z) es arménica en el dominio Q~ {z*}, donde 2° es
un poe del dominio @. Si para r+ 2%, u{z) = 0 (U (x — 2%),
donde U es la solucidn fundamental de ia ecuacién de Laplace, entonces,
extste iim u (z) = A, y la funcién wu (2), definida complementaria-
mente en el punto x° por el valor de A, es arménica en Q.
pemostracion. Tomemos una bola Sp (x) = {| 2o— 2? |<
< R} estriclamente interior respecto de Q. Designemos con v (z) la
solucién clasica dol problema de Dirichlet para la ecuacién de Laplace
on la bola Sy (2°) que satisfaga la condicién limite & lag, iso) = 4 2 SOLUCIONES DE LAS ECUACIONES DE LAPLACE Y DE POISSON 289
=u las, cm, La fancién u(x} — v(x) = (2) es arménica en
Sez") ¥ lospan = 6. Para demostrar el teorema basta
mostrar que en todo punto del conjunto S, (2*)\ {z"} la funcién
w — 0: en este caso la funcién u (x) coincide con la funcién v (x)
para todos los puntos x € Sp {a")\{z"} y, por tanto, la funcién
u (z), definida complementariamente en el z* por el nimero A =
= ae coincide con la funciém arménica v(x) por toda la bola
Sp iz").
Examinemos, siendo ¢ > 0 arbitrario, dos funciones
Ta (2) =Goer see (z)
(supongamos, para concretar, que la dimensién del espacio es n > 2;
cuando m= 2, las funciones sy (z) =e ln ate Po w(z)). Las fun-
ciones 24(z) son arménicas en Sp(a*)s{z"}, yo 24 (2) las, =
=e/A">>0. Dado que, por la condicién, u(z)=0 (=)
para z+ 2, entonces 25 (2) este = GT + feria = Gat
+o (oer): Por lo tanto, cuando p>O son suficientemente
pequenios, Za (2) ljxes0)—_p >> 0. De acuerdo ¢on el principio
de méiximo, 2. (z)>0 pera todo 2 de la capa esférica p=
<|r—2"|< A. Sen zt un punto cualquiera de Sp (x°){2*}.
Siendo p suficientomente pequeiio, este punto pertenace a la capa
esigricn p< [z—a"|< RA. Por consiguiente, 2. (z')>0, es decir,
[wey l< aoa de donde, por ser ¢>>0 arbitrario, tenemos:
uw (at}—0. El teorema queda demostrado.
En cl teorema 10 fue demostrada la existencia de una solucién
clésica del problema de Dirichlet (18), (19) para cualesquiera f €
€C* (0), p EC (40), 2Q € C*. Surge la pregunta: éno sera suficiente,
pata que este problema sea soluble, suponer sdlo ol cumplimiento
de la condicién f € C (@)? La condicién f € Ct (Q) es realmente oxa-
gerada: se puede domostrar que para poder solucionar el problema
en tidn, os suficiente suponer que la funcién f satisface en Ola
condicién de Halder de cierto orden positive*). Sin embargo, como
lo demuestra un ejemplo que sigue, no se puede sustituir esta condi-
cién por Ia condicién f €C ().
") Suelo decirso gue Ja funcién f (z) satisfaco on @ la condicion de Holder
dol orden & > 6, si existe una constante Af tal que para cualesquiora puntos 2°
ye de OL FG) —ft)) 1} y, vicever-
a, cl dominio {| x | = 1} se representa en el dominio (0 < | 2} <
2. de 3}. Para demostrar la desigualdad derecha de la mien
Propiedad, cuindo n= 2, indiquemos que siendo |x |< R,
lett Le pane one Per! tacts caches ye te ig
< [2}| + AP < 2A%. Por tanto, cuando | z
[Ei O También podría gustarte
