Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Derivadas Parciales
Derivadas Parciales
O encontramos, basdndonos en (4,30) y (5,30) : . . 7 aR 1 R+e— : Qn Pee! Unwl(R + &, 9) dy S no(p, 9) < . - ax i R+e+e ST R + e, &) dy. SR | rool m R+e—p 2 Pero segun el teorema de la media aritmética 2 Jef Pao 6 4) dy = ta90, 9) = Ong). - 2n ° Por eso R+e—p Rtoe+e- Rhete Uno(A) < rno(e, @) & Re— m.o(4) - (6,30) Aqui se ve que la sucesién #» converge uniformemente en K1 si converge en el punto, 4. Por eso, de actierdo con el primer teorema de Garnak, la funcién limite.sera arménica dentro de Ki. Para demostrar la convergencia de la sucesién , en algan punto B de la regién G unimos este punto y 4 mediante una que- brada J que se encuentra integramente dentro de G y esta com-° puesta por un numero finito de lados; esto siempre es posible de acuerdo con la definicién de regién. La quebrada‘/ junto con los puntos A y B forma un conjunto cerrado. No tiene puntos co- munes con la frontera de G y por eso se encuentra a una distancia positiva 6 de esta frontera que también es un conjunto cerrado. Sea Az el punto dd interseccién de K, con J. Sea Kz un circulo350 ECUACIONES EN DERIVADAS PARCIALES de radio 4 5 y centro.en 4». De acuerdo con lo visto anterior- mente, la sucesién u, converge uniformemente en todo punto de este circulo incluyendo su frontera. De la misma forma esta sucesién converge uniformemente en el circulo Ks de radio tiy en su frontera, si el centro de K, esta en la interseccién de J con la circunferencia Ky. Mediante un numero finito de circulos K; (i= 1, ..., N) podemos cubrir toda la quebrada de manera que el punto B quede dentro de Ky. Con esto quedara probado que en toda la linea J y, en particular, en el punto B, la sucesién u, converge. Ademis en cada circulo Ki, y en particular en Ky, esta sucesién converge uniformemente Y Por eso, segiin el primer teo- rema de Garnak, el limite de esta sucesién sera una funcion, armé- nica en una. vecindad de B. : , Demostremos ahora que la sucesién tn(%,y) converge unifor- memente en cualquier conjunto cerrado acotado F que se encuen- tra integramente dentro de G. Segtin el teorema de Geine-Borel, el conjunto F se puede cubrir mediante un niimero finito de circulos Ky, ..., Ky que junto con sus fronteras pertenecen a G. Acabamos de demostrar que la sucesién un (x, y) converge en el centro de cada uno de estos circulos. Por consiguiente, esta su- cesién converge uniformemente, segtin hemos visto, en cada circulo K; y, por lo tanto, en todo el conjunto F, Frecuentemente este teorema se llama segundo teorema de Garnak. Teorema 6 (sobre los valores de las derivadas de ~ las funciones arménicas). Supongamos que en la regién G se tiene una familia uniformemente acotada de funciones armém- cas, Entonces en cualquier region G’, que junto con su frontera esté contenida en G, las derivadas de todas las funciones ‘de la familia estén uniformemente acotadas.ECUACIONES EL{PTICAS 351 * Demostracién. Sea M 1a cota superior de los valores ab- ~golutos de las funciones dé la familia dada y seal > Ola distancia © “minima entre lds puntos de la frontera de G’-y la frontera de G. e Entonces un circulo K de radio 4 7 y centro en un punto arbitra- . tio (£0, yo) de la regiéa G’ esté contenido en G. Puesto que la derivada de una funcién arménica es también una funcién arménica, obtenemos segun el teorema 2 au _ 1 au _4 a seem ——eryl fet mar «cos (#, #) ds; 2) * 7 8 , . _ (7,30) aqui «(x,y) es una funcidn arbitraria de la familia considerada, S es la frontera del circulo K y n es la normal exterior a S. De (7,30) deducimos la desigualdad au 4 L 4M - [55 (e099) |< pM te = pH we el punto (4, Jo) y la funcién » son arbitrarios y por eso obtene- * mos de aqui la acotacién uniforme en G’ de las derivadas respecto. a x de todas las funciones de la familia. Andlogamente se de- muestra que las derivadas respecto’a y estén uniformemente acotadas en G’. Teorema 7 (propiedad de ser compacta de una fa- . milia uniformemente acotada de funciones arménicas). De cualquier familia infinita de funciones arménicas, uniforme- mente acotadas en la regién G, se puede separar una sucesién infinite que converge uniformemente en cualquier regién acotada G’ contenida, junto con su frontera, en G. .es . 352 ECUACIONES EN DERIVADAS PARCIALES Esta afirmacién se deduce del teorema de Arzela, ya que todas * Tas. funciones de la familia son equipotencialmente continuas en G’ de acuerdo con el teorema 6. ‘ Teorema 8 (teorema de Liouville), Una funcién u(x, ¥), arménica en todo el plano, no puede ser acotada inferior ni su- . Periormente si no es una constante, Demostracién. Sea, por ejemplo, u(x, y) > M en todo el plano; M es una constante. Afiadiendo, si es necesario, una cons- tante a la funcién u(x, y) podemog lograr siempre que M > 0. Comprobemos entonces que el valor de % en cualquier punto Q(p, 9) es exactamente igual al valor de # en el origen de coor- denadas (polo) O. Con esto quedardé probado que « es una constante. Tomemos para ello un circulo K de centro en O y-de radio R tan grande que el Punto Q(p, 9) esté dentro del mismo, Representando en K la funcién mediante Ja integral de Poisson, tenemos ae 7 . Oa fury ° Rep ET dy. Re +e? — 2Rp cos (9 — $) De aqui, andlogamente a (6,30), encontramos R-p Rte RHe *() S40) < EE u(o). Cuando R -> 0, tenemos u(O) <. “(Q) < u(O), de donde -“(Q) = u(O). : Esta igualdad significa ‘que Ja funcién- es constante, ya que Q es un punto arbitrario del plano, \ECUACIONES EL{PTICAS . 353. Teorema 9 (sobre la singularidad evitable). Sea u(x, y) una funcidn acotada, arménica en una vecindad del punto A, excepto en el propio punto A donde u(x, y) no estd definida, Entonces la funcién u(x, y): se puede definir en A de manera que u(#,y) sea arménica en toda la vecindad considerada _ de A, incluyendo. el propio punto A. Demostracién. Para simplificar las deriotaciones, acepta remos que A es el origen de coordenadas. Sea K un circulo de radio R y centro en A, perteneciente integramente a la vecindad considerada de A. Sea u, una funcién arménica dentro de K que coincide con # en la frontera de K. Pongamos u — =v. La funcién v(x, y) sera acotada y arménica en todo el circulo K, excepto el ‘punto A donde no est4 definida. En la circunferencia _ K la funcién v se anula. Demostremos que v = 0 y, por consi- guiente, « = u en todo K excepto el punto A. Si una vez demos- trado esto, hacemos la funcién v igual a cero en el punto 4 y, por _ consiguiente, w = mm, nuestro teorema quedara probado. Para demostrar la identidad v = 0 en todo el circulo K, excepto el punto 4, consideremos en este circulo la funcién e M In ne wm (P)-= donde M, es la cota superior de |w| en K, ¢ es un niimero pe- quefio, positivo y g = AP. La funcién w,(P) es arménica en la region comprendida entre las circunferencias p = Ry p= 8, igual a cero cuando p = R e igual a M cuando p = s. De acuer- do con el teorema de m4ximo y minimo para las funciones arménicas, podemos afirmar que en cualquier punto P del anillo354 " ECUACIONES EN. DERIVADAS PARCIALES comprendido entre las circunferencias ° =Ryp=ey para cualquier e se tiene In R : — |e(P)|(8,30) n= ya que sobre estas circunferencias ~w, (P) Sv (P) 0 el miembro derecho de la’ desigualdad’ (8,30) tiende a cero. Por eso el miembro izquierdo es igual a cero, ya que no depende de e, , Observacién 1. El teorema 9 se verifica para un plantea- miento mds general: sea u(x, y) una funcién arménica en una vecindad de A, excepto el propio punto 4, donde u(x, y) no est& definida y supongamos que Para sun punto arbitrario P de esta vecindad : 1 |™(P) | m, donde m es la cota inferior de los valores de u(x, y)' en la fron- tera de G. . Consideremos la regién G, formada por todos los Observacién 3. Todas las propiedades de las funciones arménicas de dos variables independientes que hemos demostrado en este epigrafe conservan su validez para funciones arménicas de cualquier numero de variables independientes y se pueden de- mostrar andlogamente. Cuando el ntimero de variables independientes n > 2, la con- dicién . : 1 [H(P) | Se) apy donde AP es la distancia entre los puntos 4 y P y p(P) > 0 cuando P => A.356 ECUACIONES EN DERIVADAS PARCIALES § 31. DEMOSTRACION DE LA EXISTENCIA DE SOLUCIGN DEL PROBLEMA DE DIRICHLET La idea de la demostracién que damos a. continuacién es de Poincaré. La demostracién inicial de Poincaré fue perfeccionada por Perron. ‘Las consideraciones sucesivas son validas para re- giones de cualquier numero de dimensiones 3} Por eso no nos’ yamos “a limitar a la consideracién del caso bidimensional. 1. Definiciones principales yy método de solucién del problema Supongamos que dentro y en la frontera de’ una region G acotada #-dimensional se tiene una funcién continua v; mediante K denotaremos siempre’ una esfera n-dimensional cuyos puntos interiores pertenecen a G, mediante (v)x una funcién continua que es igual a v fuera de K y en su frontera, y es arménica dentro de K. Para que v sea arménica es necesario y suficiente, eviden- temente, que para toda esfera % K tengamos (v)x = v. Diremos que v es una funcién superarménica (respectivamente subarménica) si para toda esfera K ‘ (v)x Sv (respectivamente (v)x > v). (1,31) Dada en la frontera de G una funcién continua f, diremos que Ja funcién v superarménica (respectivamente subarménica) en la regién G es funcién superior (respectivamente inferior) para la funcién f, si en la frontera de G v > f (respectivamente v < f). *8 Cuando m = 2, denominamos a K circulo en vez de esfera.+ECUACIONES EL{PTICAS 357 En lo sucesivo consideremos solamente funciones superarméni- cas y subarménicas, superiores e inferiores, que sean continuas dentro de Gy en su frontera. Por eso.al hablar de funciones super y subarménicas siempre, sin sefialarlo explicitamente, supondremos a que son continuas dentro y en la frontera de G. El método de Poincaré-Perron consiste en lo siguiente. Dada una regién acotada G y una funcién continua f definida ‘en. su frontera, consideramos Ia familia de todas las funciones -superio- _tes. Estd claro que esta familia no es vacia, ya que toda constante * ¢ > supf ya es una funcién superior. Definamos ef valor de la funcién « en el punto P, perteneciente a G; como la cota inferior de los valores de todas las funciones superiores en este punto. Demostraremos que la funcién % es arménica dentro de “G, toma los valores dados de f y es ‘continua en aquellos puntos dela fron- teta de la regién, donde se cumplen ciertas condiciones que indi- ». * caremos mas abajo. Previamente debemos demostrar algunas propiedades de las funciones superarménicas y de las superiores. 2. Algunas propiedades de las funciones superarménicas y de las superiores _Teorema 1. . a) Toda funcién arménica es super y subar- monica, . b) Sives superarménica’ y u es arménica, vu + u es super- arménica. c). La suma de dos (y, por. consiguiente, de cualquier ntimero finito) funciones superarménicas es superarménica, 4) Siu es superarmonica y w es subarménica v — wes super: arménica. Teoremas ‘andlogos son validos para funciones subarménicas.358 ECUACIONES EN DERIVADAS PARCTALES La primera de estas afirmaciones es evidente. Las otras tres se demuestran fAcilmente, si tomamos en cuenta que (+ me = (Met (tee. * Demostremos, por ejemplo, la afirmacién c) basdndonos en la relacion anterior. Sean v, Y % dos funciones superarménicas. Entonces (de Say (rede f. Nos resta probar que v verifica la desigualdad (1,31) cualquiera que sea la esfera K. Observemos para ello que v(P) es igual al valor que toma en P una de Jas funciones %, Vz, .--, Un, POT ejemplo, v,. Por eso en el punto P vu > (ude > (x, lo que demuestra la desigualdad (1,31). Aqui tenemos en cuenta que siv < v, siempre (v)x < (%)x- Teorema 5. Sives una funcion superior, también (v)x es una funcidn superior. Demostracién. Pongamos (v)e = 2.-360 ECUACIONES EN DERIVADAS PARCIALES Entre todas las propiedades que debe verificar una funcién superior, es necesario demostrar, evidentemente, que para cual- quier esfera K, (2) x, Se . (2,31) Esta propiedad también es evidente, si la esfera K, se encuentra integramente dentro o fuera de K. Queda por considerar sola- mente el caso en que la esfera K se encuentra dentro de Kio ctiando las fronteras de estas esferas se intersectan. Sobre la frontera de Ky 2g. ‘Por eso también dentro de K; @q< On, ya que ambas funciones (2) x, Y (v)x, som armonicas dentro de K,. Como v es superarménica, : Mr Sv. Fuera de la esfera K y en su frontera las funciones z y v coin- ciden. Por eso fuera de K y en su frontera se cumple la relaci6n (2,31) independientemente de si la esfera K estA dentro de K,o si sus fronteras se intersectan, Finalmente, la validez de esta relacién dentro de la interseccién KK, de las esferas K y Ky'se desprende de que las funciones z y (2)x, son arménicas dentro de KK, y por eso, si la relacién (2,31) se cumple en Ja frontera de la regién KK, también se cumple dentro de esta regién.ECUACIONES ELEPTICAS ~ 361 , 3. Demostracién de que la cota inferior u(P) de todas las funciones superiores es arménica Para demostrar que “ es arménica en toda la region, bastard, evidentemente, probar que es arménica en cualquieir esfera K. Tomemos una de las funciones superiores v, que en el centro P de la esfera K toma un valor no mayor que u(P) + €. Podemos suponer que v, es arménica dentro de K; si v, no fucse armonica dentro de K, podriamos en lugar de v tomar (v1) que, segun ° el teorema 5, también es uria funcién superior y que, al igual que v, toma en el punto P un valor no mayor que u(P) ++ «. ‘Tomemos ahora la funcién superior v/, que en el punto P toma un valor no mayor que u(P) + &/2. Pongamos U2 = (min (v4, ¥4))x- Segtin los teoremas 4 y 5 la funcién ve es también una funcién superior. : Continuando estas construccioines, obtendremos una sucesién jnfinita decreciente de funciones superiores v1, V2, --+» Un» +++9 arménicas dentro de K. Esta sucesin est4 acotada inferior mente (teorema 3). Por consiguiente, segin el teorema 5 de § 30 (segundo teorema de Garnak) esta sucesi6n converge uniforme- mente dentro de K a una funcién armonica v. it Demostremos que dentro de K . ‘ vu. Supongamos que esto no es asi. Entonces existe una funcién superior z que en cierto punto P, dentro de Ja esfera K toma un valor menor que v(P;). Tomemos una esfera Ki, de radio p y362 ECUACIONES EN DERIVADAS PARCIALES . . centro en P, en cuya superficie se encuentra el punto P,. Entonces toda funcién . . a = (min (z, On) dae, es una funcién superior., Pero la sucesién Un converge uniforme- mente en K,av; luego 2,(P) también converge uniformemente en K, y por eso difiere tan poco como se quiera para un n sufi- cientemente grande del valor que toma en el punto P la funcién (ain (2,¥) )x1, que es menor que el valor v(P), igual a u(P). Esto, sin embargo, contradice la suposicién de que u(P) es la cota inferior de los valores en el punto P de todas las funciones su- periores, . La-cota inferior de todas las funciones superiores suele Ila- marse solucién generalizada del problema de Dirichlet correspon- diente a la funcién de contorno dada f. Es evidente, que si existe Ja solucién del problema de Dirichlet en la region G, que toma en la frontera los valores dados f, esta solucién coincide con la solucién generalizada del problema de Dirichlet correspondiente a la funcién dada f. El punto Q de ld frontera de la ‘region G se llamara regular, si cualquiera que sea la funcién continua f definida en la frontera de la region G, la solucién generalizada del problema de Dirichlet, correspondiente a la funcién f, es con- tinua en el punto Q y toma en él, el valor f(Q). A continuacién daremos una serie de criterios suficientes para que el punto -Q de la frontera de la region G sea regular. 4. Comportamiento de la funcién u(P) en la frontera de G Teorema. La funcién u(P) es continua y toma el valor F(Q) en el punto fronterizo Q, si para esta funcién se verifica la siguiente’ .ECUACIONES EL{PTICAS. 363 Condicién A. Existe una funcién superarménica wg (bo rrera) continua dentro de G y en su frontera y tal que 1. 0(Q) = 0, 2. en todos los puntos P de la regién G y de su frontera, excepto el punto Q, og(P) > 0. Demostracién. Cualquiera que sea el numero positivo ¢ tan pequefio como se quiera, siempre se puede, debido a la continuidad de f, escoger la, vecindad Ug del punto, Q tan pequefia que en todo punto P de la misma, perteneciente a la frontera de G, . * #(Q) —e 0 se escoja suficiente- mente grande. Probemos, por ejemplo, que la funcién ¢(P) es una funcién superior. Es facil ver que la misma es superarmonica para cual- quier C no negativo. Resta probar que en la frontera de G, en ningdn punto, es menor que f. Esta afirmacién es cierta en la vecindad Ug del punto Q, debido a la definicién de la vecindad U,yaqueC a (P) > 0. Fuera de esta vecindad ,(P), por364 ECUACIONES EN DERIVADAS PARCIALES hipétesis, es mayor que una constante positiva y por eso para un C suficientemente grande el valor Cag(P) se puede hacer tan grande como-se quiera en toda la frontera de’G fuera de Ug. Es evidente que la funcién u(P) est comprendida entre las dos funciones continuas ¢(P) y p(P)' cualquiera que seae > 0 Y, Por consiguiente, . , f(Q) — © = @(Q) < lim u(P) < lim u(P) < Pag P2Q < HO) = (0) +e. Pero e es tan pequefio como se quiera, de manera que lim u(P) = f(Q), PQ *y la funcién construida u(P) es continua en el punto Q. Cuando » > 2, es facil construir la barrera para un punto fronterio Q tal que existe una esfera n-dimensional que tiene su centro en cierto punto O, que no contiene en su interior ningan punto de la regién G y para la cual el unico punto comtin entre su frontera y la frontera de G es el punto Q. En este caso se puede tomar como @9(P) la funcién - ed 1 OQ*-2 PQnr-2” donde PO (respectivamente OQ) es la distancia entre los puntos P y O (respectivamente O y Q). Para cualquier n > 2 esta funcién es arménica. En el caso » = 2 se puede probar que todo punto fronterizo. Q de una regién limitada por una curva que no se intersecta a si misma verifica la condicién 4. En efecto, si tomamos el punto QECUACIONES EL{PTICAS . ' 365 como origen de coordenadas, la funcién — FF , donde py q son la parte real e imaginaria respectivamente de la funcién In a , tiene todas las ptopiedades de la funcién a9, si D denota el diametro de la. region? G. Pero la funcién : p 1 —ay9 = -® sa +g. net? 2D puede no tener estas propiedades, si el punto Q se encuentra en la frontera de una regién G que no es simplemente conexa. Esto ocurre, por ejemplo, cuando la regién G estd contenida entre dos circunferencias concéntricas y el punto Q se encuentra en la menor p P+e lente. Por eso ‘es conveniente sustituir la condicién A .por la siguiente condicién mas general. de las dos. En este caso la funcién — ya no es univa- Condicién B. Para una vecindad Ug tan pequefia como se quiera del punto Q (Ug significa aqui la parte de la vecindad del punto que pertenece a la regién' G y ‘su frontera) existe una funcién univalente Qg superarménica (barrera) que tiene las si- guientes propiedades: 1, Qo esté definida dentro y en la frontera de Ug y es contix nua en todo punto. 2, 99(Q) =0. 3. Qo > 0 en todos los puntos, excepto Q. De estas tres -propiedades de Qg se desprende Ja cuarta.366 ECUACIONES EN DERIVADAS PARCIALES 4. Qo > k > 0 en aquellos puntos de la frontera de Ug que. pertenecen a G; aqui k es una constante. “ Cotnprobemos que si el punto Q verifica la condicién B, tam- bién verifica la condicién A. Consideremos Para ello la funcién w9(P) 9(P) = min { Zo0P), 1} dentro de Ug, @o(P) =-1 fuera de Ug. Consideremos que esta funcidn tiene todas las propiedades que se exigen en la condicién A. En efecto, 1. @g(P) es-continila en G, 2. w9(Q) = 0, 3. wg > 0 en todos los puntos de G, excepto Q. 4. Resta demostrar que wg(P) es superarménica, es decir, que (09) < oy. * 3,31) Denotemos mediante G, la parte de G donde a = 1 y me- diante Go la parte restante de G. Entonces (3, 31) es evidente si dentro de la esfera K hay sdlo puntos de Gi o sdlo puntos de Go. Debemos analizar el ultimo caso posible, cuando dentro de la esfera K hay puntos, tanto de G, como de Go. En este caso (3,31) se cumple para la parte de la esfera K que pertenece a G, ya que ahi 9 = 1 y (w9)x < 1. En la interseccién KG, de las regiones Ky G, (3,31) también se cumple ya. que en toda region en que puede descomponer'se KG, la funcién wg es superarménica mien- tras que la funcién (#9)x es atménica; ademas, los valores de @@ en la frontera de cada’ una de estas regiones son no menores que los valores de (wg) x.ECUACIONES EL{PTICAS 367 Cuando ” = 1, el problema de contorno considerado es trivial. Por eso en lo sucesivo supondremos que » > 2., Si m = 2, es fAcil demostrar que todo punto Q de la frontera de la regién G verifica,la condicién B, si el punto Q es el extremo de una curva J que se encuentra fuera de G + Ie intersecta todas Jas circunferencias de radio suficientemente pequefio que tienen” su centro en Q. En efecto, tomemos el origen de coordenadas en el punto Q y aceptemos que la vecindad Ug es tan pequefia que todos sus puntos distan de.Q en menos de c, donde c < 1, y que el arco / intersecta la frontera del circulo que contiene Ug. Si ahora ‘hace- mos In (4 + y= = fp + ig, la funcién —P_ P+ tendra todas las propiedades enumeradas en la condicién B. a =— En el caso m > 2 es facil canstruir una fyncién Qg para todo punto Q de la frontera que sea vértice de un cono circular n-di- mensional Cg con generatrices rectilineas y tal que todos sus puntos suficientemente préximos a Q no pertenecen a G.. Consi- deremés para ello la regién simplemente conexa G*, formada por todos los puntos que se encuentran dentro de una esfera n-dimen- sional S de radio R y centro en el punto Q y que no pertenecen af cono Cg. En la frontera de G* definiremos una funcién f* suponiendo . : RP) = donde QP es la distancia entre los puntos P y Q. La cota inferior w* de todas las funciones superiores, correspondientes a la region ~ G*, y de la funcidn f*, de acuerdo con el criterio de la esfera enun-368 . ECUACIONES EN DERIVADAS PARCIALES ciado en la pagina 364, toma el valor de f* en todos lés puntos de la frontera de G*, excepto el punto Q donde este criterio no se puede aplicar. Para comprobar que la funcién wu* tiene todas lag Propiedades de la funcién Qg, es necesario probar que toma ef valor 0 en el punto Q. Para ello observemos, primeramente, que u*(Q) > 0, ya que la funcién idénticamente nula es una funcién inferior, Aqui empleamos la denotacién u*(Q) = lim u*(P), respectivamente u*(Q) = lim u*(P) . Psa . PQ Debemos probar atin que u*(Q) = 0. Supongamos que no es cierto, es decir, que #(Q) =e >0. © (431) Escojamos el otigen de coordenadas en el punto QO y consideremos la funcién U** (41, . 0, tn) = u(t, oo, hxn), donde & > 1. Evidentemente w(Q) = W(Q) =e > 0. Pero, por otro lado, basandose en que u*(P) < R dentro de G*, es facil ver que én todo punto de la frontera de la regién G**, donde esta definida la funcién w**, exceptuando el punto Q, se tiene uk < cue, (5,31).ECUACIONES ELfpTicaS 369 donde c, es una constante menor que 1 y dependiente de #. La funcién'u* — ¢,u**, que es arménica en G**, es continua en todos jos puntos de Ja frontera de G**, excepto el punto Q, y la cota superior de los valores u* — c,w** en Ja frontera de G** es no negativa. Por eso y de acuerdo con la observacién 2 al § 30, u* — cw** < 0 en toda la region G**, Puesto que la relacién (5,31) se cumple en toda la regién G**, tenemos que . u*(Q) < cw**(Q) = aac. Perd c, < 1, de modo que este resultado contradice a (4,31) sic>0. Problema 1, Compruebe que no existe una funcién u(x, y) continua en el circulo x? + y* < 1 y armonica en todo punto fuera de este circulo, exceptuando su centro, que tome valor 0 sobre la circunferencia y 1 en el centro. Problema 2. Demuestre que no existe una funcién u(x, y, 2) que sea continua en el cilindro {*7+y?<1, —i 0, si |u(P)| <«, donde e >0 es un numero arbitrario, para todos los puntos P que estan fuera de una esfera de radio suficientemente grande y centro en el origen de coordenadas). La resolucién del problema exterior de Dirichlet se reduce al problema de Dirichlet para regiones acotadas, que hemos consi- derado en el § 31 yi que ahora Ilamaremos problema interior de ' Dirichlet para distinguirlo del problema exterior de Dirichlet. Simulténeamente se aclara el papel de las condiciones suplemen- tarias en el infinito que se exigen de la solucién del problema exterior de Dirichlet (mas exactamente, las condiciones que se imponen a los valores de esta solucién en los puntos lejanos).ECUACIONES EL{PTICAS . 371 . Tomemos dentro de la regién G un punto Oy una esfera (circunferencia, en el caso bidimensional) S de radio ,.R y.centro en el punto O. .Realicemos una transformacién del. espacio por radios: vectores reciprocos respecto a esta esfera, es decir, una transformacién que a cada punto P de este-espacio asigna el punto P* que se encuentra sobre ef rayo OP y tal que OP. OP* = R?. . Esta transformacién deja los puntos de la esfera S en su lugar, pasa toda la region del espacio que se encuentra fuera (respecti- vamente. dentro) de S a la parte del espacio que esta dentro | (respectivamente fuera) de S. . Por lo tanto, todos los puntos del espacio que se encuentran fuera de G se transforman en los puntos, de una regién acotada G* que contiene a O, En esta transformacidén a cada punto de G*, excepto O, le corresponde uno y sdlo un punto fuera de G. Uni- camente al punto O no le corresponde en esta transformacion ningun punto del espacio. Para poder continuar el estudio tendre- mios que considerar por separado el caso del espacio de dos dimensiones (plano) y el caso del espacio de tres dimensiones. Consideremos primeramente el caso dél plano. Sea u la solucién del problema exterior de Dirichlet para la regién G, Pongamos wt(P*) = u(P) y fr(P*) = F(P). La funcién u* estard definida en toda la regién G* excepto el punto O y tomara el valor f*(P*) en la frontera de G*. Se puede demostrar directamente®® que la funcién u*(P*) sera una funcién arménica de las coordenadas del punto P* (mas breve- mente, una funcién arménica de P*), si u(P) era una funcién arménica de P. 8° Para demostrarlo hay que plantear la ecuacién de Laplace en coorde- nadas polares, con polo en el punto O, ya que en estas coordenadas nuestra transformacion se representa por formulas mas simples.372 ECUACIONES EN DERIVADAS PARCIALES . Si la funcién 4(P) era acotada, u*(P*). también es acotada.” Entonces por el teorema sobre la singularidad evitable, se puede definir u* en el punto O de manera que la funcién obtenida sea arménica en todo punto de G*. Segtn el teorema de la unicidad . de la solucién del problema interior de Dirichlet, de aqui se des- prende que la funcién acotada u* se determina en’ G* univoca- mente por los valores que toma en la frontera. Y de aqui se deduce la unicidad de la solucién del problema exterior de.Diri- chlet en la clase de funciones acotadas. La existencia de la solucién se deduce de que todos los puntos de la frontera de G* son regulares, debido a que G es conexa (véase la pagina 368). Caso de tres dimensiones. Sea de nuevo u ta solucién del problema exterior de Dirichlet para la regién G. Pongamos R u*(P*) = Ope u(P) o, en forma ‘equivalente, up) = * W(Pr), (1,32) OP Andlogamente pongamos R . *(P*) = P (PY) = Oe HP) 0, en forma equivalente, Rk AP) = Se HP).ECUACIONES EL{PTICAS ” 373 Esto define la funcién u* en todo G* excepto el punto O. Funcién que en la frontera de G* toma el valor f*. Llevando la ecuacién a coordenadas esféricas, se puede comprobar directamente que u*(P*) es funcién arménica de P*, si u(P) era funcién arménica de P. Si u(P) tiende a cero cuando P > 0, la funcién u*(P*) verifica, como se comprueba facifmente, la condicién wer) | < | ul) | Ep, donde | u(P) | > 0 cuando OP* > 0. Entonces, segtin las observaciones 1 y 3 al § 30, u* se puede definir en O de manera que Ja funcién obtenida sea arménica en todo G*. Debido a la unicidad de la solucién del. problema interior de Dirichlet, de aqui se desprendera que la funcién acotada u* se determina univocamente en G por sus va- lores en la frontera. De aqui, a su vez, se itfiere la unicidad de la solucién del problema exterior de Dirichlet en la clase de fun- ciones que tienden a cero cuando P > o. Si la regién G* es tal que todos los puntos de su frontera son regulares, los razonamientos anteriores demostrarén también - la existencia de la solucién del problema exterior de Dirichlet para la regién G eualquiera que sea la funcién continua dada en su frontera y esta solucién, como se ve de (1,32) verificara la condicién M. [(P) |< ap donde M es una constante y OP es la distancia entre P y el punto fijo O. . Ejemplos, La: solucién del problema exterior de Dirichlet para el plano, cuando la funcién definidg en la frontera es una374 ECUACIONES EN DERIVADAS PARCIALES constante C, és una funcién que en todo, punto.es:igual a C, Esta , solucién es tinica en la clase de funciones acotadas.: - La solucién del problema ‘exterior .de Dirichlet en el espacio tridimensional cuando la regién esta acotada por una esfera de radio R y centro'en O, y cuando la funcién dada en la frontera es una constante C, es la funcién . C.R ‘ u(P) = : (2,32) Esta es la tinica solucién: del problema exterior’ de Dirichlet con- siderado, en fa clase de funciones que tienden a cero cuando OP > o. _ Se puede demostrar que a la constante C en el caso bidimensio- nal, y a la funcién (2,32), en el caso tridimensional, se aproximan las soluciones de los dos problemas siguientes de conduccién del calor: 1. En la superficie de un tubo cilindrico de longitud infinita se da una temperatura constante igual a C. La temperatura inicial del aire es cero. Entonces, la temperatura u(t,-x, y, 2) del aire en el punto (#,y,2) en el instante ¢ tiende a C-cuando t > 0. Fisicamente esto significa que mediante un tubo de longitud infi- nita, cuya superficie tiene una temperatura constante C, se puede ~ calentar todo el espacio circundante hasta la temperatura C. 2. La superficie de una esfera de radio R y centro en O se mantiene en un régimen térmico constante C. La temperatura inicial del aire alrededor de la esfera es cero. Entonces, la tem- peratura u(t, x, y,2) del aire en el punto (4%, y,2) en el instante t tiende a la funcién (2,32) cuando t > oECUACIONES EL{PTICAS + 375 Problema 1. -Demuestre que cualquier funcién u(%,y) ar- monica y acotada fuera de una regién cerrada tiende a un limite determinado cuando +* -- ym ow. Problema 2. Demuestre, mediante una transformacion por radios vectores reciprocos, la unicidad de la solucion del problema exterior de Dirichlet.en la clase de funciones acotadas para el caso plano, y en la clase de funciones que tienden a cero cuando OP -> o en el caso del espacio de tres dimensiones, si la region G es infinita. . . § 33. SEGUNDO PROBLEMA DE CONTORNO - 1. Segundo problema interior de contorno Supongamos que la region G sobre el plano (+, ‘y)' es finita y éstd limitada por la curva I’ que en todo punto tiene cutvatura limitada. Como hemos explicado (§ 27), el segundo problema de contorno consiste en encontrar dentro de G una. funcién arménica w(x, ) que sea continua en G + Ty cuya derivada en Ja direccion de la normal exterior sea igual en todo punto de la frontera de G al valor que en este punto toma una funcién dada f. La funcion f se supone continua. Este problema se conoce como segundo _ Problema interior de contorno para distinguirlo del segundo pro- blema exterior de contorno que sera considerado en el subepigrafe 3. En el § 28 hemos demostrado que todas las soluciones del segundo problema interior de contorno correspondientes a ‘una -- misma funcién f pueden diferir solamente en sumandos constantes. ~ Una condicién necesaria para la existencia de la solucién del | Segundo problema interior de contorno es la siguiente: la integral | de f tomada segin la frontera de G debe ser igual a cero.376° ECUACIONES EN DERIVADAS PARCIALES Demostraremos la.necesidad de esta solucién .suponiendo que u(#, y) tiene dentro de G derivadas continuas acotadas de segundo Ou ou orden y que ax y By frontera de G. En el § 35 nos libraremos de estas, restricciones. . En ese mismo epigrafe demostraremos la existencia de Ja solucién | del segundo problema de contorno, si se cumple la condicién ne- cesaria que acabamos de enunciar. se pueden extender continuamente a la Sea u(x, ¥) la solucién del segundo problema de contorno en la region G y sea ou = f(s) enT. Consideremos la integral on [[ +B) uw que es igual a cero, ya que la funcién 4 es arménica, Transfor- memos esta integral en una integral referida a la frontera P de la region G empleando la férmula de Ostrogradski; entonces fe ds = 0 0 bien [rs ds=0; (1,33) r vr ya que segun la suposicién, & = f(s) en la frontera de la ne region. Si la regién G no es simplemente conexa y su frontera consta de un numero finito de lineas cerradas, la integral en la igualdad (1,33) debe referirse a todas estas lineas y en cada una la direccién positiva se escoge de manera que la. regién G esté del lado izquierdo de ta frontera. , En el caso tridimensional se pueden aplicar los mismos razo- ‘mientos. De la misma forma obtendremos que debe ser igual aECUACIONES ELfPTICAS 377 cero la integral, segtin la frontera de G, de los valores eS dados en esta frontera. 2. En el caso de una regién G bidimensional simplemente vonexa, el segundo problema interior de contorno se reduce facil- mente al problema interior de Dirichlet del siguiente modo. Su- pongamos que existe la solucién « del segundo problema interior de contorno que puede ser extendida continuamente, , junto con sus primeras derivadas, a G. Construimos entonces en G una funcién v de manera que dentro de G se verifiquen las igualdades de Cauchy-Riemann . ou _ Or Oy (2,33) ou _ _ oe ay Or” La funcion wv, cuyas derivadas se determinan por estas ecuaciones, existe, ya que ‘se cumple la condicién ov fw my oe _ ayox oxdy = Estas equaciones determinan v univocamente salvo un sumando constante. Es facil ver que en cada punto de G la derivada de « * en cierta direccién J es igual a la derivada de v en la direccién que se obtiene girando / 90° en sentido contrario al movimiento de las agujas del reloj. De la misma forma se puede probar que en la frontera-de G la derivada de u en la direccién de la: iormal a la frontera es igual a la derivada de v en la direccién de la tangente a la frontera. Por eso, fijando el valor de v en algin378 ECUACIONES EN. DERIVADAS PARCIALES punto 4 de la frontera de la regién, encontraremos que en todo punto B de la frontera de G : ’ B v(B) — (A) = J fs)ds (3,33) donde ds es un elemento de longitud de la frontera de G. Puesto | que la integral de f(s), seguin toda la frontera de G, es igual a cexo, la ‘igualdad (3,33) determina v en la frontera de G como una funcién univalente y continua. . Es facil ver que si u es arménica, entonces wv, definida por las ecuaciones (2,33), también es arménica. Por eso, conociendo los valores de v en la frontera de G, podemos determinar v dentro de G de modo tinico. Por consiguiente, suponiendo que para la fun- . cién dada f(s) existe en la régién G fa solucién ula, y) del segundo problema interior de contorno, que se puede extender continuamente a G + I’ junto con sus primeras derivadas, pode- mos encontrar «(+, y) univocamente, salvo un sumando constante, de las ecuaciones (2,33) construyendo la solucién correspondiente u(#,y) del problema de Dirichlet, En el caso de tres dimensiones este procedimiento no es posible, 3. El segundo problema exterior de contorno consiste en lo siguiente Sea G una'regién acotada simplemente conexa de frontera” suave T. Supongamos que los puntos que no pertenecen a G +7 forman una regién H de fronteraT. Se busca una funcién que sea arménica en H, continua en H + TD y cuya derivada en la direccién de la normal exterior (respecto.a H) tome en cada punto de la frontera de H el valor que tiene en-ese punto una-ECUACIONES EL{PTICAS 379 funcién dada f. Ademds exigimos que la solucién u(P). del se- gundo problema exterior de contorno sea acotada, en el caso de dos variables independientes, y tienda a cero cuando P -> « en el caso.de tres y mas variables independientes. En el caso de dos variables independientes el segundo probe ma exterior de contorno se reduce al segundo problema interior de contorno empleando la transformacién por radios vectores reciprocos. Es muy importante que debido a que esta transforma~- cién es conforme, los 4ngulos no varian. Por eso la normal de la frontera de Ja regién inicial se transforma en una linea normal a la frontera de la nueva regién. La funcién de frontera para el segundo problema interior de contorno que entonces se plantea se obtiene, en el caso bidimensional, del siguiente modo. Conser~- vando las notaciones introducidas al considerar ‘el problema exte- rior de Dirichlet, tenemos u*(P*) = u(P), OP.OP* = R’, Ou* ou dn _ Pi) = aa® On an® f(s Y oR a Aqui s y s* son los puntos correspondientes de las fronteras de las regiones inicial y nueva, 2 y n* son las normales’a las fronteras . dn, respectivas, at es el coeficiente de semejanza, en la direccién \ de la normal en.un punto de la frontera, Puesto que en.una transformacién conforme el coeficiente de semejanza en el punto dado no depende de la direccién, para calcular + se puede suponer que las direcciones n y n* pasan por el centro O de la transformacién. Entonces dn — 4(OP) _ Re. an* = GOP) ~ (OP*)*"380 RCUACIONES EN DERIVADAS PARCIALES Para que el segundo problema exterior de contorno que esta- mos considerando tenga solucién, es necesario y suficiente que tenga solucién el correspondiente segundo problema interior de contorno, Para ello, como probaremos en el § 35, es necesario y suficiente que , : . in ast . o= frre) ds* = [10 ~ a #= [70 ds. (4,33) Aqui mediante L* hemos denotado la linea en que se transforma L.. Debido a que Ja transformacién es conforme, ténemos dn dst _ dn*¥ - ds Por consiguiente, reduciendo el segundo problema exterior de contorno al interior y aplicando el teorema sobre la singularidad evitable, obtendremos que, en el caso de dos variables indepen- dientes, las soluciones de un mismo segundo problema exterior de contorno difieren solamente en sumandos constantes y que la condicién (1,33) es suficiente y necesaria para la existencia de la solucién del segundo problema exterior de contorno, En el caso de tres variables independientes, la transformacién por radios vectores reciprocos no permite reducir el segundo pro- blema exterior de contorno al problema interior, ya que en este ou* ‘ . ou caso aa* se expresa en la frontera no sélo mediante on sino 1 in ‘también mediante los valores enT’ de la propia funcién incdgnita u, En el caso de tres y mas variables independientes, es facil de- mostrar la unicidad de la solucién del segundo problema exterior de contorno en la clase de funciones que tienden a cero cuando el punto P tiende a infinito (decimos que u(P) tiende a cero siECUACIONES EL{PTICAS 3B1 para cualquier « > O tenemos |u(P)| < ¢ cuando la distancia * entre P y el origen de coordenadas es suficientenrente grande). Supondremos que la frontera I de la regién H es tal que por cada punto de la frontera se puede pasar una esfera que Pertenece a la region H. Sea u(P) una funcién arménica, continua en H + Ty tal que B= OenT y u(P) > 0 cuando P > o. Probemos que u = 0. Consideremos la regién limitada por I’ y por una esfera de radio tan grande que en la misma |u(P)| < ¢. Puesto que en la frontera T' se tiene oe = 0, dedubimos —basandonos en el teo- rema 1 del § 28 y en el teorema de maximo y minimo de fun- ciones arménicas— que «(P) toma su mayor y menor ‘valor en la superficie de la esfera, es decir, |u(P)| <'e en toda la region considerada. Pero ¢ > 0 se puede escoger tan pequefio como se quiera, de modo que u(P) = 0 en cada punto P de la region H, que es lo que queriamos demostrar. § 34. TEORIA DEL POTENCIAL 1. En los dos epigrafes siguientes obtendremos la solucién de los principales problemas de contorno para la ecuacién de Laplace y la ecuacién de Poisson (véase el § 1) empleando el método de las ecuaciones integrales. Este método se basa en la representaci6n ‘de las soluciones mediante las integrales que aparecen frecuente- mente en la mecdnica y fisica y que debido a eso llevan el nombre ‘de potenciales. Estos potenciales se construyen mediante solucio- nes partieulares especiales que tienen en un punto variable una Singularidad determinada.382 ECUACIONES EN DERIVADAS’ PARCIALES Supongamos que en cierto punto O del espacio (4, y,2) se tiene una carga eléctrica puntual g. Entonces, de acuerdo con.una 4 ley fisica.conocida, esta carga origina un -campo electrostatico cuya intensidad E en cualquier punto Q diferente de O es. igual a r =i © en proyecciones *—a y—b z—e E, = kai Ey = hq E,= kg (1,34) Aqui a, 5, c son las coordenadas del punto O 3%, y, # las coorde- nadas de Q, r= 00, r= OQ y el coeficiente de proporcionalidad k depende del sistema de unidades escogido. Los miembros derechos de (1,34) difieren solamente en el signo de las derivadas parciales de la funcién u(Q) = 4g + — + const, (2,34) respecto a x, y, 2 respectivamente. Esta funcién se llama poten- cial del campo electrostatico dado, Generalmente la constante arbitraria que aparece en el miembro, derecho de (2,34) se hace. igual a cero para que u(Q) — 0 cuando Q se va al infinito. Ademas, en los trabajos matemAticos se toma para mayor simpli- cidad k = 1. Por consiguiente, ‘consideraremos que una carga puntual g origina el potencial u(Q) = 4 = a - (3,34) V (4@—~a)? + (y—6)? + (2—c)*ECUACIGNES-EL{PTICAS * 383 Si consideramos varias cargas puntitales sus potenciales se suman, por 'eso-los potenciales creados por cargas distribuidas. continuamente se calculan como el limite de una suma, es decir, como una integral. En particular, si la carga esta distribuida por - una superficie S con una densidad superficial «(A), donde 4 € S, el potencial creado por esta carga es igual a = 0(A) oO . 4(Q) SJ ae (4,34) Aqui (A, Q) es la distancia entre ‘A y Q, A es el punto variable de integiacién lo que se’ subraya mediante el subindice del dife- rencial. Sila carga estd distribuida en un volumen V con una densidad p(A), donde A € V, el potencial que crea esta carga es = war = fff 4) ay (5,34) SILI a , El miembro derecho de (4,34) se llama potencial de simple capa y- el miembro derecho de (5,34) se conoce. como potencial de volumen. Las suposiciones que deben hacerse para asegurar la existencia de estas integrales serdn sefialadas ,mas adelante. Supongamos ahora que dos cargas Gy.-g, que estin a una distancia h > 0 sobre el eje J (fig. 12), tienden aun punto O de manera que la direccion de -q a q siempre coincide con la direc- cién positiva del eje. Entonces el potericial en cualquier punto excep- : ‘tuando O, est4 dado por la diferencia Fig. 12384 ECUACIONES EN DERIYADAS PARCIALES entre dos cantidades que tienden a hacerse iguales; por consiguien- . te, este potencial tiende a cero. Pero si durante el movimiento q varia de manera que qh = p = const, . el limite del potencial es igual a 1 1 a( ) Por “(9) =tima ([— 5) = or = Fae Spe _ cos (OQ, I) = p ———_..._ (6,34 p=. (634) En fisica, la posicién limite de estas cargas se llama dipolo, ala cantidad p, momento, y al eje I, ee del dipolo. Un dipolo se puede formar sélo aproximadamente mediante cargas puntuales (dos cargas grandes a una distancia pequefia). En el estudio de cam- pos electrostaticos es cémodo considerar el campo ‘del dipolo, al igual que el campo de una carga puntual, como un campo ele- mental, Consideremos ahora una superficie S orientada, es decir, de modo que en la misma estén sefialados los lados exterior e interior, Supongamos que sobre S hay distribuida una carga en forma de dipolo con un momento de densidad +(A), donde A E S,y de manera que en cada punto 4 Ja direccién del eje del dipolo coin- cide con la direccién de Ja normal exterior a S'en el punto 4. Entonces el potencial que crea este dipolo es igual a —> _ f(A) 008 (AQ, m4) «(Q) = f J Sa Or (434)ECUACIONES EL{PTICAS 385 donde ny‘es la normal exterior a S'en A. Esta integral se llama - potencial de doble capa, ya que, la carga considerada sé puede obtener aproximadamente distribuyendo sobre S dos cargas con densidad + (A) y— + (A) que estén a una distancia h (en el sentido de la normal a S) una de la‘otra, siempre que h > 0 sea suficientemente pequefo. : . Los miembros derechos de (3,34) y (6,34) son funciones arménicas en todo punto del espacio excepto en O. Esto se puede ‘comprobar directamente (basta ver que (3,34) es arménica, ya que entonces (6,34) en la vecindad de todo punto distinto de O, se puede representar como el limite uniforme de funciones armdé- nicas). De aqui, para suposiciones poco rigidas respecto a la densidad se desprende directamente que los potenciales de simple y doble capa son arménicos en todo punto fuera de S. Problema, Hiallese el potencial de simple capa correspon- diente a una carga distribuida uniformemente sobre la superficie de una esfera; hallese el potencial de volumen de una carga dis- tribuida uniformemente segdn el volumen de una esfera. 2. Supongamos que la distribucién de ta carga en el espacio es constante respecto a 2. Entonces el campo electrostatico tampoco depende de z. En este caso es suficiente considerar la distribu- cién de Jas cargas y los potenciales en cualquiera de los planos z = const. Sean x e y las coordenadas en este plano. En lugar de la intensidad-creada por una carga puntual debemos considerar aqui la intensidad en el punto Q(#,4) creada por una carga de densidad lineal -constante q distribuida uniformemente segiin la recta + = a, y = b. Denotemos el punto (a, b) mediante O. Por razones de simetria tenemos que si Q # 0 la intensidad buscada es , E = @f(r)r, (7,34)386 ECUACIONES EN .DERIVADAS PARCIALES donde r = OO y r = rl. Para calcular f(r) consideremos que O es el punto ‘o, 0) y Q el punto (7,0). Entonces Ey = =0, a (2 =r tg 9). Por eso de (7,34) tenemos : 2k f(r) = ae de donde E= 2kq r r Y, por consiguiente, cualquiera que sea la posicién del punto Q en el plano (+, y), tenemos 2k 2kq By = 28 (ea), By = Ey). Estas cantidades difieren en el signo de las.. derivadas’ parciales segin + ey, respectivamente, de la funcién : : u(Q) = 2kq In — pt const. 8) que se conoce como potencial logaritmico ° ‘simplemente potencial En los estudios matematicos se acostumbra tomar 2k = 1 y+ ECUACIONES EL{PTICAS 387 const. = 0. Por lo tanto, en el caso del campo’ plano, una a carga puntual origina en el plano el potencial 1 = qin i, (9,34) V(e—a)? + (y— 8)? u(Q) =qin Subrayemos que este poténcial no se puede encontrar de (3,34) integrando directamenite. por una linea dle cargas, ya que obten- driamos una integral divergente. El potencial del dipolo se define en el caso plano, andloga- mente al 1, por la formula 1 amt —- HQ) = pp SEO (00. (10,34) Los miembros derechos de (9,34) y (10,34) son funciones arménicas en todo el plano, excepto en el punto O (comparese con el 1). Las lineas equipotenciales de estas funciones tienen la forma re- ~ presentada en la figura 13 (carga puntual) yh la figura 14 (dipolo puntual). Los potenciales de una carga o dipolo distribuida’ se plantean facilmente de acuerdo con (9,34) y (10,34). En lugar del po- tencial de volumen, tendremos aqui el potencial bidimensional “(Q) = [fom za py das (L84)388 ECUACIONES EN DERIVADAS PARCIALES L © Fig. 13 Fig. 14 donde G es una regién del plano, Los potenciales de simple y doble capa tienen en el caso del plano la forma 1 u(Q) = [ o(4) In aay dle (12,34) : > cos (AQ, m4) u(Q) = f <(A) Fao) dl,, (13,34) L respectivamente. Aqui L es una linea del plano, m4 es un vector dirigido segtin la normal a L en A. Consideraremos que la linea L esta orientada, es decir, en la misma esta sefialado el lado exterior y el interior. La normal n, es la exterior.ECUACIONES EL{PTICAS . 389 En lo que sigue se va a’ considerar la teoria del potencial solamente en el plano. En el caso de un espacio de dimensién cualquiera la teorfa se desarrolla andlogamente. Problema. Calcule el potencial de simple capa dé una carga distribuida uniformemente por una circunferencia. (La integral que se obtiene-se puede calcular aplicando la teoria de los residuos). 3. En lo sucesivo siempre se considerar4 una linea L sin pun- tos de interseccién y de tangente que varia continuamente. En- tonces cualquiera que sea P é L, se pueden situar los ejes de - - coordenadas x = 0, y y = Oy que en una vecindad de P- la linea L se pueda representar en la forma yer) (—hgwxgh; h> 0), (14,34) de manera que 9’(#) exista y sea continua. Supongamos que la funcién F(A, Q) esta definida y es con- tinua respecto al conjunto de variables, cuando A & L y Q recorre el plano sin coincidir con A, y no esta definida para Q=A. Entonces la integral w(Q) = fF Q) dl, (15,34) i tiene sentido y es una funcién continua de Q, cuando Q varia fuera de L; esto se demuestra de un modo elemental. Si'Q = P estd sobre L, la integral (15,34) es impropia, ya que el integrando no esta definido para A = P. Consideraremos entonces la convergencia 0 divergencia de la integral (15,34) en el sentido corriente, es decir, de acuerdo con la existencia 0 no existencia. del limite - lim |. F(A, P) dla, (16,34) A‘oP aoe bot390 : ECUACIONES EN DERIVADAS PARCIALES donde J es un arco de L-con extremos en A’ y A” y que com- * prende el punto P (fig.-15). Diremos que Ja integral (15,34) converge uniformemente en el punto P_€ L, si para cualquier e > 0 Lo existe una vecindad V del punto P (véase fig. 15) y wn arco de la curva © L que contiene el punto P en su inte- rior, tales que para cualquier punto Q € V Ia integral fr, Q) dla (17,34) i Fig. 15 converge y es én valor absoluto menor que ¢ (es esencial exigir la convergen- cia de esta integral solamente si Q esta en la parte comin al yV). Teorema 1, Supongamos que la integral (15,34) converge uniformemente en un punto P € L. Entonces para todos los puntos Q de L suficientemente proximos a P, la integral (15,34) conver- ge-y determina una funcién © (Q) en cierta vecindad del punto P. Esta funcién es continua en el punto P. , Demostracién. Tomemos cualquier ¢ > 0 y consideremos la vecindad V y el arco J segun la definicin de convergencia ‘uniforme en el punto. Entonces para cualquier punto interior Q del arco J y perténeciente a V, la integral (17,34) converge. Por eso también la integral (15,34) converge para estos puntos Q y la primera afirmacién del teorema (sobre la existencia de w(Q) en una vecindad de P) queda demostrada.ECUACIONES EL{PTICAS 391 Para probar que w(Q) es continua en P supongamos que Q pertenece a V. Entonces | w(Q) — w(P) | = | [Fa Q) dl, — fF, P) ats| < <| [#40 de t + | fran) at,| + f [F(4,9) — 1 L-t —F(4,P)] dis| <2et | | F(A, Q) — F(A, P) | dlae L-t Pero si J es fijo, la Ultima integral es menor que.e cuando Q est4 suficientemente préximo a P; esto se debe a que el integrando es uniformemente continuo cuando A varia en L — ly Qenla vecindad indicada de P. Por lo tanto, si Q es suficientemente préximo a P, | (2) — w(P)| < 3, lo que, debido a la ‘atbitrariedad de ¢, prueba que la funcién w(Q) es continua en Q = P. El teorema 1 queda asi demostrado. Teorema 2. Siw (A) y+ (A) son funciones continuas, los potenciales de simple y doble capa (12;34) y (13,34) son funcio- nes arménicas fuera de L. . En efecto, el hecho de que las funciones (12,34) y (13,34) se puedan derivar respecto a Jas coordenadas de Q tantas veces como se quiere, si Q no pertenece a L, se demuestra de la misma forma que se hace en el anilisis matematico al probar que una integral definida se puede derivar respecto al parametro del cual392 ECUACIONES EN DERIVADAS PARCIALES depende el integrando. Por eso la afirmacién del teorema 2 se infiere directamente de que los integrandos en (12,34) y (13,34) son funciones arménicas, Teorema 3. Si (A) es una funcidn continua en L, la integral (12,34) converge cuando Q esté sobre L. Por lo tanto, el poten- cial de simple capa es una funcién definida en todo el plano. Esta funcién es continua en cada punto del plano. En efecto, de acuerdo con los teoremas 1 y 2 es suficiente probar que la integral (12,34) converge uniformemente en cual- » quier punto P € L. Para ello tomemos P como origen de coorde- nadas y, escogiendo convenientemente los ejes, escribamos la ecuaci6n de L en una vecindad de P en la forma (14,34). Deno- temos, mediante 4, la parte de L compreridida en esta vecindad. Tenemos wall Ifo In ay dl, < max jo(ad|.f [inrca, Q) | dia= L 1, a = max [o(4)| [ |in Va) OOP | VIF Te eda, ~ (18,34) donde b = 9 (a). Si V y h son suficientemente Pequefios, la distancia entre cualquier punto Q(x, y) de la regién V y cualquier punto A(a,b) de la linea J, sera menor que 1, de donde * 0 0 uniformemente respecto al punto Q que varia en V. Con esto queda demostrado el teorema 3. Observacién. La convergencia de la integral que figura en el miembro izquierdo de (18,34) cuando Q € hse ha demostrado simultaneamente con la estimacién de esta integral, ya que -la integral impropia converge siempre si converge absolutamente. En lo sucesivo denotaremos mediante G la regién limitada por una curva cerrada L de tangente que varia continuamente y me- diante H la regién formada por los puntos que no pertenecen aG+L. Teorema 4. El potencial de doble capa en L con densidad unitaria (es decir, la integral (13,34), donde + (4) = 1) es igual a — 2m, siQ & G, converge y es igual a —m, siQ GL, y es igual acerosiQ EH.394 ECUACIONES EN DERIVADAS PARCIALES En efecto, sea Q.un punto in- terior de G y supongamos que 4 recorre L en direccién- positiva (fig. 16). Designemos mediante Goa el Angulo entre el vector QA y el eje #. Entonces, denotando mediante AB el vector que se ob- tiene girando QA + 90° tene- Fig. 16 ‘mos: . Q _ - > daga __ cos (AB, t4) _ 60s(QA, ma) __ c0s(AQ, m) ad 7(4,0) ~ 74,0). ~ F(a Oy De donde cos (AQ, n,) _ _ aay le = — ff dag = — Be. L L . “Los casos Q € Ly Q G H se analizan andlogamente. Con esto queda demostrado el teorema 4, .Consideremos ahora el, caso general. Supongamos’adicionalmente que Ja curva plana cerrada L. de tangente-que varia continuamente, esté compuesta de un‘ numero finito de arcos convexos y segmentos rectilineos. Decimos que un arco es convexo si toda recta lo intersecta a lo sumo en dos puntos. Sea G la regién limitada por L. Algunos de-los arcos 90 Esto se compricha fAcilmente si los diferenciales se sustituyen por los incrementos y el arco AJ por su tangente en el punto A.ECUACIONES EL{PTICAS ~ * 395 que componen L pueden ser convexos hacia el interior de G,.otros convexos hacia el exterior de G. . Teorema 5. La integral (13,34) converge, cuando Q EL, si <(A) es una funcién continua en L. Por lo tanto, el potencial de doblé capa u(Q) se define mediante la, formula (13,34) en todo el plano, pero tiene en L, em general, wna discontinuidad de pri- mera especie, Mads exactamente, se tiene una funcién u(Q) con- tinua enG +L, y una furicién'u(Q) continua enH+Ly 4(Q) = u(Q), i DEG, u(Q) = 4(Q), si QEH, UO)+u(Q) (19,34) u(Q) =——z-——_ 1 9 EL, (OQ) — u(Q) = 2nx(Q), i DEL. ‘Demostracién. Tomemos cualquier punto P’€ Ly conside- remos ademas del potencial (13,34) otro potencial de doble capa ‘Oe — 2n(P), si DEG. AQ, ade 5 ui(Q) = fey SO ate = — a(P), 3 OGL, L Osi OEH. Planteemos la diferencia . = cos (AQ, ma) (4,0) 7 w(Q)— (0) = f [4)— +)] L (20,34)396 ECUACIONES EN DERIVADAS PARCIALES y comprobemos que la integral en el miembro derecho converge uniformemente en el punto Q = P. De aqui, de acuerdo con el teorema 1, se desprenderé que u(Q) tendré en Q = P una discontinuidad de la misma especie que u(Q). Esto significa que u(Q) tiene limites cuando Q -» P en G yQ>PendH; el propio valor u(P) existe y es igual a la media aritmética de los valores limites y el salto de u(Q) en P al pasar de Ga H es igual a 2nt(P). La funcién 4(Q) considerada paaQeEeGy extendida a L mediante sus valores limites suministra una funcién u(Q) continua en G + L; andlogamente si Q € H. Esto es’ suficiente para demostrar el teorema 5. Para probar la convergencia uniforme de la integral (20,34) en el punto P, tomemos un arco jh, igual que en la demostracién del teorema 3, y estimemos la integral del tipo (20,34) tomada segtn J. Tendremos (40, cos (AQ, m4) [fram a | < — cos (AQ, m4) 74,0) | < max | «(4) — +(P) | f| Ly Podemos suponer que el arco h, es tan pequefio que esté compuesto a io sumo de dos arcos convexos o segmentos rectilineos. Es facil ver, que la expresién |cos (AQ, ,)| dl,°es igual a la pro- yeccién del elemento dl, del arco sobre la tangente en el punto A a la circunferencia de radio r(A, Q) y centro en Q y queECUACIONES EL{PTICAS ~ 397. cos (AO, mm) 7(4,Q) « . elemento di, desde el punto Q. dl, es igual al dngulo bajo el cual se ve el’ ’ Es evidente que para cualquier arco convexo | que puede ser: intersectado por cualquier rayo que sale de Q a lo sumo en un punto, y para cualquier segmento rectilineo se cumple la desi- gualdad , — fs (AO,ma) | a, < an. 1 r(A,Q) Todo arco convexo | se puede dividir en dos partes Lh y lz de modo que todo rayo que sale del punto Q lo intersecte a lo sumo en un punto, Puesto que /, consta a lo sumo de cuatro arcos (o segmentos) que tienen esta propiedad, (40, m) cos (AQ, m4 y, por consiguiente, ~ AQ, max [2(4) — 2(P)| f | EEE | ate < D , < max | +(4) — #(P) | -8e. 4 Si h tiende a cero, la expresién max | t(4) — +(P) |. 8x tiende L h a cero uniformemente respecto a Q, debido a la continuidad de, (A). Con esto queda demostrado el teorema 5.398 ECUACIONES EN DERIVADAS PARCIALES . Consideremos la derivada normal del potencial de simple capa. Sea P € L y sea F(Q) una funcion definida en una vecindad de P. Entontes OF(P) lin F(P)—F(P) | On ip PGP)? aF(P) _., F(P)—F(P") on Te P”) Aqui n es la normal a la linea L en el punto P; n* es su parte exterior y m- su parte interior, ambas respecto a G. Aceptaremos que la direccién positiva de la normal es la direccién de n segin la parte exterior de plano respecto a G. El Punto PC H, el punto P” € G. Supondremos que L verifica todas las condiciones que hemos sefialado en la pagina 395 y que ademas tiene curvatura acotada. Entonces se cumple el siguiente teorema. Teorema 6. Ei potencial u(Q) de simple capa definido mediante (12,34) posee en cada punto P € L las derivadas ——— ao y CHP) ademas On . -_- Ou(P) _ . cos (AP, np) _ of . oe —fe Sab te — 0(P)s (2134) ll » uP) f (a) SLAP, me) cos (AP, me) ™) a, 4 mo(P). (22,34) One r(A, P)ECUACIONES EL{PTICAS . 399 Las integrales que figuran en los miembros derechos de (21,34) y (22,34) convergen. Se supone que (A) es una funcidn con-- tinua en L. , Demostracién, Si Q esta en np pero no pertenece a L, la derivada de u(Q) en la direccién mp existe y se determina deri- vando la integral (12,34) respecto al pardmetro: au(Q) _ ainr(4,Q) _ om [ (4) “Sy, . , — . cos (AQ, np) _ i (4) oe (23,34) Consideremos el potencial 1:(Q) de doble capa obtenido dis- tribuyendo el dipolo ‘por E con una densidad (4). Entonces, si Q no pertenece a L, tenemos . au(Q) (49 40 ) a ( _ cos (AQ, na) — cos (AQ, np. oe tm (0) = f a4) (4,0) da: ° (24,34) Probemos que la integral obtenida converge uniformemente en‘ el punto P si Q pertenece a mp. Por supuesto, la definicién de con- vergencia uniforme en el punto P (véase 3) debe ser modificada: hay que exigir que el punto Q no esté dondequiera en V sino en la interseccién de mp con la vecindad V de P Sin embargo, el teorema 1 conserva su validez si en su enunciado se exige que Q pertenezca a Mp.' 400 ECUACIONES EN DERIVADAS PARCIALES Sea 7 una parte pequefia de L cercana a P. Entonces, si max | (4)| = C, tenemos : fe (Ay 228 (ZO, my) ~con (40, nr) (4,0) |< . ces f 3a aay aly. “ (26,34) Si el arco / es suficientemente pequeiio, para Ad % P . 1 — < |sen (AP, ne) | <1 V2 : y . ly dP) > > | AP |. Si A’ es la proyeccién de A sobre np (fig. 17) tenemos Fig. 17 (4, Q) > r(A, A’) > +4, Py > + |#| V2 2V2 y (26,34) prueba que el miembro izquierdo de (25,34) sera menor , que CC, 2y/25di= 2\f2 CC; |i]. De aqui se ve que el miiem- 1 bro izquierdo de (25,34) tiende a cero cuando | > 0 uniforme- mente para todo Q en mp. Con esto queda demostrado que la integral (24,34) converge uniformemente. Debido a la convergencia uniforme de la integral (24,34) en el punto P, podemos afirmar, de acuerdo ‘con el teorema 1 {co- trespondientemente modificado, ya que Q esta en la interseccién de V con mp), que la integral (24,34) tiene sentido (converge),402 ECUACIONES EN DERIVADAS PARCIALES si iQ= Py tiene limite cuando Q —> P por la recta np. Este. limite; es igual al valor que toma la integral (24,34) cuando Q=P. ” Dicho de otra forma, Prop Ge okn et e)- =f (A) cos (AP, ars (AP, np) dy. (27,34) Sin embargo, el caracter de la discontinuidad del segundo su- mando del miembro izquierdo de (24,34) se determina por el- teorema 5: . 2) oe py cos (AP, nig) im (P’) =m w= faa ee dl, +70(P), lim ws (P”) =u, (P) =f« (A) CSSA Ma CaP, £08 (AP M8) ge (B) | PusaP ~ r(4,P) De aqui y de (27,34) se sigue que _ 7 pr lim OM? “tim one ) / (a) £28 (AP, np) iP dl, Pap OMe" pap 1r(A, P) ‘ECUACIONES EL{PTICAS* 403 existen y que . ou(P’) cos (aP, mp) Jin == faa dl, —no(P), (28,34) . om cos (AP, np) , tim --fe een aae dy + 20(P). Es facil probar, mediante el teoremia de los incrementos finitos, . que si en cierto segmento [a, 6] (a < b) esté dada la funcién f(#) continua y si f’(%) existeena << # 0 au(P) | au(P) Por eso de lo anterior se desprende que existen Ont y or. y que . au(P) uP’) au(P) _. Qu(P’”) —— = lim = = lm ———. ont pap. OMp on- prop Op De aqui y de (28,34) se obtienen las formulas (21,34) y (22,34). Con esto queda demostrado el teorema 6.404 ECUACIONES EN DERIVADAS PARCIALES Problema 1, Demuestre los teoremas 5 y 6 en el caso en que L es una curva no cerrada de tangente que varia continuamente, ‘de curvatura acotada y compuesta por un numero finito de arcos corivexas. Problema 2. Extienda los teoremas 3, 4 y 5 al caso en que G es un poligono. Observaciones. 1. Todos los teoremas sobre los potencia- Tes de simple y doble capa que hemos demostrado en este epigrafe, conservan su validez si se supone que la linea L tiene en todo punto curvatura acotada. 2. Todos los teoremas demostrados en este epigrafe se extien- den de modo natural a los potenciales de simple y dobld-capa en -el espacio de tres dimensiones, si se supone que la superficie S, a la que se refieren.las integrales (4,34) (potencial de simple capa) y (4,34*) (potencial de doble capa), tiene en todo punto curvatura acotada. Resulta que el potencial de simple capa es con; tinuo en todo punto y que el-potericial de doble capa y las derivadas normales del potencial de simple capa tienen, cerca del punto Q de la superficie cargada, saltos de 4 mt(Q) y 4 rw(Q), en lugar de 2 n<(Q) y 2 no(Q), como en el caso plano. Aqui a(Q) y <(Q) son, respectivamente, las densidades de la distribucién de las cargas y los dipolos, sobre la superficie S. Se supone que estas densidades. son continuas. Del mismo modo se pueden aplicar al caso tridimensional todos los razonamientos del epigrafe siguien- te. La demostracién de todos estos resultados se puede encontrar, por ejemplo, en el libro de S. L. Sobotiev “Ecuaciones de la fisica matematica”, Gostiejizdat, 1954, paginas 208-228."ECUACIONES ELfPTICAS . 405 § 35. SOLUCION DE PROBLEMAS DE CONTORNO MEDIANTE POTENCIALES 1., Reduccién-de problemas de contorno para funciones . . arménicas a ecuaciones integrales ‘ .Sea Z una curva plana cesrada de tangente que varia conti- © nuamente y de curvatura continua® que consta de un nimero finito de arcos convexos y segmentos rectilineos. Sea f(P) una funcién continua definida en L. Busquemos la solucién del problema interior de Dirichlet que consiste, segin hemos indicado en el § 27, en buscar una funcién 4(Q) continua en G + Ly arménica en G de modo que en L u(P) = f(P). . — 35) » Buscaremos esta funcién arménica como el potencial’ de doble capa (13,34) con una densidad’ incdgnita ‘continua +(A) de distribucién del dipolo en L. De acuerdo con los teoremas 2 y 5 del § 34, a esta distribucién corresponde la funcién ¥(Q) continua en G + Ly armonica siQ € G. De acuerdo con (19,34) ten- dremos cuando P € L : — cos (AP, m4) (AP) dl, = m(P). (P) = [ A) ®2 La curvatura %(A) en el punto A de la curva L la consideraremos con * el signo que se determina por el sentido positivo de recorrido de L, es decir, da A= —, , 4(A) Gi donde a es el Angulo formado por la direccién positiva de la tangente con el eje.Ox. El.sentido de recorrido de L se considera positivo, si al. reco- trer L la regién G queda a la izquierda.406 ECUACIONES EN DERIVADAS PARCIALES . Por eso para cumplir la condicién de contorno (1,35) ‘es necesario y suficiente que la funcidn + (A) verifique la ecuacién” integral de Fredholm de segunda especie _ cos (AP, m4) 1 ay tet). (238), 1 1(P) =— f (4) Andlogamente se analiza el problema exterior de Dirichlet (véase § 32). Si la solucién se busca en forma de un potencial de ‘doble capa con una densidad continua incdgnita 2 (A) de dis- tribucién del dipolo en L, andlogamente'a (2,35) encontraremos para t (4) la ecuacién , — cos (AP, ny) 7(A,P) | +(P) =—— ua (4) dt HP); (3,38)6 donde f(P) es la funcién continua definida en L. El. segundo problema interior de contorno consiste, segin hemos indicado en el § 27, en encontrar una funcién u(Q) continua en G + L y arménica en G que tenga en cada punto _ de L derivada en la direccién de la normal exterior y que esta derivada sea igual a una funcién continua f(P) dada de antemano. En el § 34 hemos denotado mediante a la derivada en la direccién de la normal exterior, por eso para la solucién’ u(P) del segundo problema de contorno- Qu(P) One = HP) (PEL) (4,35)ECUACIONES ELEPTICAS . * 407 Bustaremos la solucién en forma de un potencial de simple capa (12,34) con la funcién incégnita @ (A) que se considerara coatinua. En virtud del teorema 6 del § 34, para cumplir la condicién de contorno (4,35) es necesario y suficiente que se cumpla la relacién - , o> cos (AP, np) 1 7(A,P) dla + —F(P). (5,35) L o(P) =— | (A) T L Analogamente se plantea- el segundo problema exterior de contorno que lleva a la ecuacién integral cos (aP, np). r(A,P) ‘dla +> FCP). (6,35). Ir. wma fata) Observacién. $i trataramos de resolver el problema inte- rior de Dirichlet mediante um potencial de simple capa con densi- * dad continua incégnita @ (A) de distribucién de cargas, llegaria- mos a la ecuacién . 1 [sa yin ooh da = 10) (PEL) *) que es una ecuacién integral de Fredholm de primera especie. La teoria de tstas ecuaciones es mucho mas compleja que la teoria de las ecuaciones de segunda especie. Se puede probar que la ecuacién (*) no tiene solucién para cualesquiera f(P) continuas. Si, por ejemplo, G es un circulo de radio 1, entonces para f(P) > 0 no existe solucién de la ecuacién (*), ya que el miembro izquierdo de (12,34) se anula en el centro de este circulo cualquiera que sea la funcién o (A); si f(P) > 0, esto es impo- sible de acuerdo con el teorema de maximo y minimo.408 ECUACIONES EN DERIVADAS PARCIALES 2. Estudio de las ecuaciones ‘integrales obtenidas Hagamos : 5 > cos (AP, ny) cos (AP, mp) Ki(P, A) = —+——-; K.(P, A) = — —— (P, A) 7(A, P) oP, 4) r(A, P) (AGL, PEL, AP). -Entonces Ki(4, P) = K,(P, A). Por eso los nticleos de las ecuaciones (2,35) y (6, 35) y de las * ecuaciones. 3, 35) y (5,35) resultan ser traspuestos. El nticleo K, 1(P, A) esta definido y es continuo cuando 4 € L, P€L, AP. Sin embargo, cualquiera que sea Po € L el ntcleo K,(P, A) tiene un limite determinado cuando A. > Po,P > > P, (AP). Sea T, la tangente a la‘curva L en el punto A y sea Py la proyeccién del punto P sobre Ty. _Entonces, si la curvatura x(Po) es positiva, tendremos cos (AP, ma) = — | sen (AB, Ta) | en una. vecindad suficientemente’ pequefia . de Po | Tomando en cuenta la equivalencia de [sen (AB, T,)| y |tg (4B, Ta)| y de r(A,P) y r(A, Pa), obtenemos — — 1 cos (AP, my) . [tg (AP, Ts) | tin ———— = — lm ———-.. 1" TP) im GPa) (739) Tomemos el origen de coordenadas en A, el eje x segun Tay el eje y lo dirigimos al interior de G., .Entonces la ecuacién de L” cerca de A sera y = g(x). Sea # la abscisa del punto PendECUACIONES EL{PTICAS 409 sistema de coordenadas construido. Aplicando la formula de Taylor, encontramos . . —_ ~~. [tg (AP, Ts) |. ) - =— 9’ (0x) = 1(A, Pa) x #"(0#) 8 2 == 5 EM) (1 + [9/(0%)]2)?,. (8,35) donde “el punto M .(de abscisa 0 x) esta en L entre A y P y" %(M) es, la curvatura en el punto M.* De (7,35). y (835) se sigue que , => cos (AP, m4) . cos (AM) _ _ ¥(P,). (4, P) z u(Pe) ‘cuando A > Po, P > Po(A P). De la misma forma se puede demostrar ‘que’ la ltima igualdad se cumple también en el caso en que x(Po) < 0., . Si completamos ‘Ja definicién de K,(P,A) para P = A,ha- ciendo Ky(4, A) = — 4264), la funcién obténida, que seguiremos denotando mediante Ki{P, A), seré continua respecto al conjunto de variables cualesquiera que sean A €L, P € Ly por eso sera uniformemente continua. Lo mismo se refiere a K2(P, A).410 ECUACIONES EN DERIVADAS PARCIALES Aplicaremos a continuacién la teoria de ecuaciones integrales con nucleo continuo del tipo y(P) = f K(P, A) y (A) dla +-f(P), que se expone, por ejemplo, en mi curso de ecuaciones integrales.** Previamente demostraremos la siguiente proposicién que nos hara falta en lo sucesivo. Lema 1. El potencial de simple capa “u(Q) = [ @(A) In a tiende a cero cuando el punto Q estd en eb infinito sdlo si fa) dl, = 0. (9,35) L Si la condicién (9,35) no se cumple, la funcién u(Q) crece en valor absoluto infinitamente cuando el punto Q se aleja al infinito. Demostracién: Sea O cualquier punto del plano. Entonces 1 | (A) In ra = L . ue In 7(0,Q) 74,0) r(O, r(0,Q) 70, wmf atat fo me nag oO yy tle t fo) In 93 I, G. Petrovski, Lecciones sobre la teoria de las ecuaciones inte- grales, Gostiejizdat, 1951, pp. 50 - 54.ECUACIONES EL{PTICAS . ‘ 411 Cuando Q tiende al infinito el segundo sumando de Ia suma obte- nida tiende a cero mientras que el primer sumando crece infini- tamente en valor absoluto si y sdlo si se cumple qué focaau #0. ped ‘ So, De aqui se deduce la afirmacién del lema. Teorema 1. La ecuacién (2,35) del problema interior de - Dirichlet y la. ecwacién (6,35) del segundo problema exterior de contorno tienen una y sélo una solucién, cualquiera que sea la funcién continua f(P). . Demostracién. De acuerdo con el primer teorema de Fredholm, quedara probado que las ecuaciones (2,35) y (6,35) tienen solucién tinica cualquiera que sea la funcién continua f(P), si se demuestra que las ecuaciones homogéneas correspondientes tienen solamente soluciones triviales, es decir, idénticamente nu- las. Por otro lado, debido a que (2,35) es la ecuacién traspuesta de (6,33), bastard probar, segiin el segundo teorema de Fredholm, que la ecuacién homogénea ‘ => cos (AP, np) r(A,P) tiene solamente solucién trivial. : Sea @(P) solucién de la ecuacién (10,35). Probemos que § (4 dl, = 0. Integrando los miembros izquierdo y derecho de L o(P) = — =f dl (10,35) . i la ecuacién (10,35) segdn el contorno L, encontramos > Jew dlp = -s/ [J (A) te a] dlp.412 “ ECUACIONGS EN DERIVADAS PARCIALES Cambiando el orden de integracién en el miembro dereché de esta igualdad y aplicando el teorema 4 del § 34, obtenemos fo) ae =4 =f [tae a] diy = ot 2 — f o(4) dl, . L es decir, §o(P) dlp= 0. bh - 4 Consideremos la funcién . : 1 u(Q) = i ofA) In rag) Del lema 1 del § 35 se desprende que u(Q) tiende a cero , cuando Q tiende al infinito. La funcién u(Q). es armonica fuera de L y ademas oe = 0, ya que w(P) verifica la ecuacién in | (10,35). Pero en el § 33 hemos probado que las soluciones de ~ un mismo segundo problema exterior difieren en sumandos cons- tantes. Por. consiguiente, u(Q) = const. en H. Ademés, * w(Q) = 0 en H, ya que u(Q) — 0 cuando Q > @. De la continuidad del potencial de simple capa se desprende que u = 0 en L. Segun el teorema de mAximo y minimo u = 0 en G, y por consiguiente, Se ="0. Restando '(21,34) de (22,34), encontra- 1 - : Ou . remos que o(P) = 0 ya que 24 = oy M4 =0. ont On-ECUACIONES. ELEPTICAS . 413 Teorema 2. La ecuacion homogénea ; yal cos (AP, me) np) : o(P) fe o(4) SE ty (11,35) correspondiente a la ecuacién (5,35) tiene solamente una solucién linealmente independiente (P), y §@ (A) dla A0. es Demostracién. Probemos primeramente que si la solucién o (P) de la ecuacién (11,35). no es idénticamente nula, entonces | @(A) dy 0. L : Considererhos la funcién 1 u(Q) = [ou In ——_— HAO) dl, La funcién «(Q) es arménica fuera de L. Seguin el teorema'6 * del § 34, tenemos x = Oen L’ ya que o verifica la ecuacién 7 (11,35). Segiin el teorema 2 del 3, del § 28, tenerhos = const. nG+HUL. Si fede = = 0, de acuerdo con el lema 1 del § 35, u(Q) 20 cuando Q se va al infinito, es decir, u(Q) es una ‘ solucién acotada del problema exterior de Dirichlet que es igual a una constante C en L. En el § 32 hemos demostrado la unicidad de una solucién de este tipo y por eso u(Q) = C en H. Luego 4 = 0 en todo el plano, ya que #(Q)’—> 0 cuando Q > «, Del teorema 6 del § 34 obtenemos que @ (P) =0 en L. .414 ECUACIONES EN DERIVADAS PARCIALES . El hecho de que la ecuacién (11,35) tenga al' menos una solu- cién no trivial © se desprende de que la ecuiacién traspuesta . _ cos (AP, my) 1 , (P) = ~a fo “ary tiene, como se comprucha fdcilinente, la solucién +(P) == const. Probemos que la ecuacién (11,35) no _Buede tener ‘dos so- luciones linealmente independientes. Sea @ cierta solucién de (11,35) diferente de @. Siempre podemos escoger la constante 2 de manera que §'(a © + 0) dla = 0, ya que § w (A) dla x 0. Pero antes hemos probado’ gue para la solucién de la ecuacién (11,35) de la igualdad § (« @ + 0) dy = = 0 se desprende que . L . ao + ® 0. . ¥ asi hemos demostrado el teorema. La funcién © (P)‘tiene un sentido fisico simple. Es igual a la densidad de distribucién de las cargas en L, en el’ caso en _ que G + L sea un conductor. , Aplicando el teorema 2 y el tercer teorema de Fredholm, obtenemos : Teorema 3. La ecuacién (3,35) del problema exterior de Dirichlet tiene solucién si y sdlo si [iaeomas =0. . (12,35) L - - Si esta condicidn se cumple, la solucién de la ecuacién (335) se determina univocamente salvo un sumando constante arbitrario.ECUACIONES ELIPTICAS . 415° La ecuacién (5,35) del segundo problema interior de contorno tiene solucién si y sdlo si f #4) dy, = 0. (13,35) Si esta condicién se cumple, la solucién de (5,35) se. determina univocamente, salvo el swmando C 6 (P), donde C es una cons- tante arbitrario, 3. Solucién de los problemas de contorno De los teoremas 1 y 3 del presente epigrafe obtendremos las condiciones bajo las cuales tienen solucién los principales proble- mas de contorno. Antes que todo, del teorema 1 se desprende que, bajo nuestras suposiciones, siempre existe en G una solucion tinica del problema interior de Dirichlet que se puede representar en forma de un potencial de doble capa. Pero anteriormente hemos demostrado Ia unicidad de la solucién del problema de Dirichlet; por eso -:podemos decir que la solucién de la ecuacién integral (2,35) es equivalente-a la solucién del problema interior de Dirithlet. Ademés; del teorema 3 se desprende que la solucién del se- gundo problema interior de contorno existe para las funciones f(A), definidas en la frontera, que cumplen la condicién [saya =0. * Probemos que.esta condicién es necesaria para que el segun- do problema interior de contorno correspondiente a Ja funcién © f(A) tenga solucién.* Sea «(Q) una funcién arménica en G, 4 En el § 33 hemos demostrado Ja necesidad de esta condicién para" supo- siciones mas restringidas,416 ECUACIONES EN DERIVADAS PARCIALES + continua en G + L, y sea = f(A) en L. Escojamos Ja constante C de manera que fom +od =o. L “Hemos probado anteriormente que existe una funcién v(Q) armonica en G y continua en G -} L para la cual & = f(A) + + Cen L. La funcién w = v — wes armonica en G, continua aG+LyS=Cen L. Seguin el teorema 1 del 3 del §' 28, w = const. y C=0, ya qué si w es diferente de una constante entonces = debe tener - jn signos diferentes en los puntos de L donde -w toma sus valores menor y mayor. De aqui se sigue que . fia dl, = 0. En el § 28 hemos probado. que la solucién del segundo pro- blema interior de contorno se determina univocamenté salvo un * sumando constante. Pasando a la solucién del problema exterior de Dirichlet vemos que, debido al teorema 3, para cualquier-funcién de contorno no se puede hallar la distribucion de los dipolos que resuelve este problema. Esto se debe a que, como es facil comprobar, todo potencial de doble capa (12,34) tiende a cero en el infinito, mien- tras que en el § 32 hemos demostrado la existencia y unicidad del problema exterior de Dirichlet suponiendo solamente que laECUAGIONES EL{PTICAS 417 solucién es acotada en el infinito. Cuando la condicién de con- torno verifica'la condidién (12,35), existe la solucién-del problema exterior de Dirichlet en’ forma de un potencial de doble capa. © Cuando la funcién f(P) es arbitraria, se puede proceder asi. Formemos fa funcién c: f(P) = F(P) + C% y escojamos la constante C# de modo que f:(P) verifique. la condicién (12,35).: Para ello debe cumplitse que [Has due coi —4 , (14,35) f a (A) dy y lo que tiene sentido, ya que ‘debido al teorema 2 : : [oa au ~0. L Encontrada C*, resolvemos la ecuacién (3,35) tomando fs en vez de f. Sea t,(P) una de las soluciones. Entonces la solucién del problema exterior de Dirichlet considerado sera la funcion _ “cos (AQ, ma) “(Q) = | na) SE dla — OF. L En cuanto al sumando constante que figura en la densidad de los dipolos hallada de la ecuacion (3,35), no influye en la solucion del problema exterior de Dirichlet ya que fuera de G el potencial de una distribucién constante de dipolos es igual a cero (véase teorema 4 del § 34).418 ECUACIONES EN DERIVADAS PARCIALES ~ Consideremos finalmente el segundo problema exterior de con- torno. Como hemos probado, la ecuacién integral (6,35) corres- pondiente a este problema tiene solucién cualquiera que sea la funcién continua f(P). La solucién del segundo problema exte- rior de contorno es una funcion acotada en el infinito; por eso el potencial de simpla capa, cuya densidad esta dada por la solu- cién de‘la ecuacién (6,35), serd solucién del segundo problema exterior de contorno si y sdlo si es acotado. Para que el potencial de simple capa sea acotado en el infinito es necesario y suficiente, de acuerdo con el lema 1, que / (A) dl, = 0. L Integrando la ecuacién (6,35), cambiando el orden de inte- gracion y aplicando el teorema 4 del § 34, obtenemos’ [re dlp = =f oP) dlp + . _ + | LJ (A) ee dt, | dlp = =a J @(P) dlp — = foo Lf “ ee dip | dl, = an | o(P) dlp. L IECUACIONES EL{PTICAS 419 Por eso la condicién § f(P) dlp’ = 0 es necesaria y suficiente L para que el potencial de simple capa, construido mediante la ecuacién (6,35), sea acotado en el infinito, Si esta condicién se cumple, de acuerdo con el lema 1, el potencial construido tiende obligatoriamente a cero en el infinito, La condicién (13,35) es a la vez necesaria para que el segundo problema exterior de con- torno tenga solucién. Esto se debe al caracter necesario de la condicién (13,35) para que tenga solucién el segundo problema interior de contorno y a la igualdad (4,33). Ademéas del 3 del § 33 se deduce que la solucién del segundo problema exterior de contorno se determina univocamente, salvo un sumando constante arbitrario. 4. Solucidn de los problemas de contorno para el circulo Si G es un circulo, las ecuaciones integrales (2,35), (3,35), (5,35) y (6,35) se resuelven facilmente. En efecto, si R es el radio del. circulo, es facil ver que para A € L y P € L se tiene A 1(A,P) —_ n> cos (AP,n4) = — cos (AP, np) = — 3 B y las ecuaciones (2,35), (3,35) se transforman en (P)=spg | Adee LIP) (PED, (1585)20 mientras que las ecuaciones (5,35), (6,35) se transforman en 1 oP) =*5% o(4) dg +—f(P) (PEL). (16,35): tb420 ECUACIONES EN DERIVADAS PARCIALES Resolvamos la ecuacién (15,35),. Para ello denotemos fw dl =¢ ¢ integremos ambos miembros de (15,35). segiin L. Obtendremos 1 c=—c—= fre) dlp; ca~3 [7e) dlp. ° 2u L L Sustituyendo el valor de C en (15,35): encontramos 1 Lo. . = gag] IM Me Z HP) PEL. * Ahora de (13,34) -se sigue, en virtud del teorema 4 del § 34, que para Q.€'G - . — . to [[eefroa hun] 7 . — _ 1 1 cos{AQ,ma) nie (rant =) (Fao (OA, nm) “aD — goes De este modo hemos obtenido otra forma de la integral de Poisson considerada en el § 29. Consideremos la ecuacién (15,35)2. La ecuacién homogénea correspondiente a (16,35), tiene la solucién no trivial @ (P) =ECUACIONES EL{PTICAS 421 = const. 0 (véase el teorema 2). Por lo tanto las condiciones (12,35) .y 5 f(A) dl, = 0 coinciden. Si 5 f(A) dl4 = 0 se, cumple, Ia la eeuacién (5, ” 2 tiene la solucién (PY = 2 4) +¢ (PEt), donde C es arbitrario. En el caso general tendremos (véase. (14,35) ) : . . cee ate fA) alas HP) =I) — RR HA) tas . L L a(P) = 21) — gag [ HA) ae + : — ~ 1 1 cos (AQ, ma) w(Q) = [=H sag [14 | ay at . > 1 1 cos (QA, m,) + aR fitou=—s][ dO) — an) 1) du (QEH)- Problema.. Resolver las ecuaciones (16,35)s,2 y encontrar las soluciones del segundo problema interior y exterior de con- torno en el caso del circulo. Enda solucién del tltimo problema emplear la formula fm + 2p c08 @) de =O -1< p<). o . .422 ECUACIONES EN DERIVADAS PARCIALES 5. Consideremos la ecuacién de Poisson Au = f(a, y)- (17,35) Supondremos que la funcién'f(#, y) = f(P) esta definida, es acotada y tiene derivadas parciales continuas de primer orden en una regién acotada G. Buscaremos la solucién del problema inte- rior de Dirichlet para esta ectiacién.®> Es suficiente hallar cierta ‘solucién de la ecuacién (17,35) que sea continua en G = G + L sin preocuparse de la condicién de contorno. En efecto, si v es una solucién de este tipo, entonces haciendo w=v+u, donde w es la solucién del problema interior de Dirichlet para la ecuacién de Laplace con Ia condicién de contorno w|=u|—e, . . Lb L L obtendremos que u es la solucién del problema inicial. De este modo el problema sobre la existencia y unicidad de la solucién del problema interior de Dirichlet para la ecuacién (17,35) se’ reduce totalmente a ese mismo problema para la ecuacién de Laplace. ‘ Comprobemos que la solucién particular de la ecuacién (17,35) es la funcién uP) = — xl f(A) In ——— a Bt (18,35) (potencial logaritmico con densidad de carga — x f(A)). +95 Es decir, buscaremos una solucién de la ecuacién (17,35) que sea continua en G y tome en la frontera de G los valores de una funcién con- tinua dada. .