11. Sea (, , ; ) el cual denota una esfera con centro (, , ) y radio .

Para cada punto

(,,) dentro de la esfera, introducir las coordenadas esfricas = + , = +
, = + , 0 , 0 2, . Sea u una funcin definida
en la esfera (, , ; ). La integral
2
1
(, , ; ) = (, , )2
42 0 0

es llamada valor medio de u sobre la esfera S. Probar que si u es una funcin armnica en el
espacio xyz, entonces (, , ) = (, , ; ). (Esta es la propiedad del valor medio de las
funciones armnicas en un espacio tridimensional.)

12. Sea u una funcin continua de x, y, z, con derivadas de primer y segundo orden continuas en
un dominio D. Probar que, si u tiene la propiedad de valor medio establecida en el ejercicio
precedente, entonces u es armnica en D.

7. Problema de Neumann en un Disco

Consideramos el problema de Neumann

(7.1) + = 0 , =

Donde D denota el interior y C la frontera del disco 2 + 2 2 .

En coordenadas polares (r,) este problema se transforma en

1 1
+ + 2 = 0 ( < )


(7.2) (, ) = ()(0 2)

2
(7.3) 0 () = 0

(7.2) .
5,
0
(7.4) (, ) = 2
+
=1 ( cos + sin )

Diferenciando (7.4) con respecto a r y aplicando la condicin de frontera en (7.2) para r =a,
encontramos

() = 1 ( cos + n sin )
=1

=
=1( cos + sin )

Donde hemos establecido que 1 = and 1 = para n1 . Esto es

precisamente la expansin de la serie de Fourier de en el intervalo , con su constante
0 siendo cero por la condicin (7.3). Entonces,
 1
(7.6) = 1 () cos
1
= 1 () sin

Donde n= 1, 2,. . . . Sustituyendo estos en (7.4), obtenemos

0 1
(, ) = + ( ) [cos cos + ]()
2 =1
0 1
(7.7) = 2
+
=1 ( ) () cos ( )

0 1
= 2
+ [
=1 ( ) cos ( )]()

Donde 0 permanece como constante arbitraria. Notar que el intercambio en el orden de suma
e integracin en (7.7) est justificado, para r<a, la serie
1
(7.8)
=1 ( ) cos ( ) converge uniformemente con respecto a .

Ahora calculamos la suma de la serie (7.8). De (6.5) recordamos que, para<1,

1 2 1
= 2

2(1 2 cos + 2
=1

cos 2
=
2(1 2 cos + 2 )
Por lo tanto,

cos
1 =
1 2 cos + 2
=1

La ltima serie converge uniformemente para <1 as que, integrando trminos, obtenemos

1
cos = cos 1
0
=1 =1

(cos )
=
0 1 2 cos + 2
1
= ln(1 2 cos + 2 ) ( < 1)
2
Por lo tanto, la serie (7.8) tiene la suma
1 1 2 2 ()+ 2
(7.9)
=1 ( ) cos ( ) = 2 ln[ ]
2

Y la solucin (7.7) se convierte en

0
(7.10) (, ) = 2
2 () ln[2 2 ( ) + 2 ]

Donde hemos usado (7.3) para reducir el factor 1/2 en el argumento del logaritmo.
Cuando es continua y satisface la condicin (7.3), la formula (7.10) provee una solucin al
problema de Neumann (7.1), (ver el problema 6). De acuerdo al Teorema 2.2de este captulo,

esta solucin es nica hasta para una constante adicional = 0.
2

Ejemplo 7.1. Encuentre la solucin del problema

= 0 (r<1)

= sin (0 2)

Solucin: Hemos notado que

2
sin = 0
0

As la condicin (7.3) se mantiene. De (7.6) vemos que = = 0 para n 1, excepto 1 = 1.

Por lo tanto, por (7.4), la solucin es

(, ) = +
Donde C es una constante arbitraria.

Ejemplo 7.2. Encuentre la solucin del problema

= 0, 2 + 2 < 4

= 2 + 2 = 4

Solucin: En coordenadas polares notamos que la condicin de frontera se convierte

( ) (2, ) = 2 sin 2, para cada condicin (7.3) se mantiene. De (7.6) se sigue que el nico

coeficiente diferente de cero en (7.4) es 2 = 1/2. Por lo tanto, la solucin es

2
(, ) = sin 2 +
2
lo cual, en coordenadas rectangulares, se convierte en (, ) = + , con constante
arbitraria C.

Es interesante notar que el problema de Neumann en el plano xy puede ser reducido al problema
de Dirichlet utilizando ciertos resultados elementales de la teora de variable compleja. Es sabido
que si es una funcin armnica en un simple dominio D conectado, hay otra funcin armnica
en D, llamada el conjugado armnico de , tal que

(7.11) = , =

Estas ecuaciones son conocidas como las condiciones de Cauchy-Riemann para funciones
analticas. De (7.11) se sigue que

= + =

Por consiguiente, si es una funcin armnica en un dominio D, entonces su conjugada
armnica est dada por la integral de lnea
 (,)
(7.12) (, ) = ( ( )
0, 0 )

Junto a cualquier paso dentro de D que una un punto arbitrario (0, 0) (, ).

Ahora supongamos que es una solucin del problema de Neumann

(7.13) = 0 , =

Que es continua junto con su primera derivada en D + C. Como es es armnica, sabemos que
su conjugada armnica existe. Sea la frontera C de D dada de forma paramtrica por las
ecuaciones = (), = (), 0 0 , donde s denota la longitud del arco de C. Por las
condiciones de Cauchy-Riemann (7.11), vemos que en C,

(7.14) = + = + =

Que es, la derivada tangencial de en C es igual a la derivada normal de . Por

consiguiente, la conjugada armnica de la solucin del problema (7.13) satisface la ecuacin

(7.15)
=

Se sigue que est dada en C por la frmula

(,)
(7.16) (, ) = ( = (, )
0, 0 )

Con (0 , 0 ) siendo un punto arbitrario en C. Por lo tanto, es una solucin del problema de
Dirichlet

(7.17) = 0 , =

Donde est dado por (7.16). Habiendo encontrado de (7.17), podemos entonces determinar
su conjugada armnica por (7.12). Porque de (7.14) y (7.15), se sigue que es una solucin al
problema (7.13). Como una ilustracin, consideramos el siguiente ejemplo.

Ejemplo 7.3. Resolver el problema

= 0 2 + 2 < 2

= 2 2 2 + 2 = 2

Primero reducindolo a un problema de Dirichlet.

Solucin: En coordenadas polares vemos que sobre la circunferencia r=a, (7.16) nos da

(, ) = 2 ( 2 2 )
0

3 sin 2
= 3 cos 2 =
0 2

Por lo tanto, el correspondiente problema de Dirichlet es

= 0 en 2 + 2 < 2
2
(, ) = 2
2 sobre 2 + 2 = 2
Lo cual, por (5.11), tiene solucin

2
(, ) = sin 2 =
2
Por consiguiente, por (7.12), la solucin de nuestro problema original es
(,)
(, ) = ( )

(,)
( 2 2 )
= ( ) = +
2

Donde C es una constante arbitraria.

Ejercicios 7.6

1. Expresar por qu el problema de Neumann

= 0 ( < 1)

= 2 (0 2)

No tiene solucin. As como el problema

= 1 (r < 1)


= 2 (0 2)

Tiene solucin? Si es as, encuentre la solucin.

2. Resolver el problema

u = 0 (r < 2)


= 23 (0 2)

3. Resolver el problema
= 0 (r < 1)


= sin 2 (0 2)

4. Encontrar la solucin del problema

+ = 0 ( 2 + 2 < 4)

= 3 ( 2 + 2 = 4)

5. Encontrar la solucin del problema
+ = 0 ( 2 + 2 < 1)


= 3 3 2 ( 2 + 2 = 1)
6. Diferenciando (7.10) respecto a r dentro de la integral, muestra que

= (, , )()

Donde K es el ncleo de Poisson dado en (6.7), y por consiguiente se deduce que

lim = () (r < a)


7. (a) Sea f una funcin peridica tal que () = 0 . Definir

() = () = 0
0

Muestra que () () = 0.

(b) Reemplazar () en (7.10) por () e integrando por partes para mostrar que (7.10) puede
escrito como

2 () sin( )
(, ) = 2
2 ( ) + 2

8. Encontrar la solucin del problema de Neumann para el exterior de un disco

u = 0 (r >a)


= () (0 2; u acotado como )

9. Mostrar que si la funcin en (7.10) es impar respecto a y, entonces (7.10) puede ser
escrito como

2 2 cos( ) + 2
(, ) = ()ln( 2 )
2 0 2 cos( + ) + 2

El cual resuelve el problema mixto de valor de frontera = 0, < , 0 < < ; (, ) =

(, ) = 0; = (), 0 , = .

10. Deducir de (7.10) la solucin del problema de valor de frontera

u = 0 ( < , 0 < < )
0 (, ) = 0 (, ) = 0


= () (0 , = )

Donde 0 () = 0.

8. Problemas en Dominios Infinitos

En esta seccin vamos a considerar problemas con valores de frontera para ecuaciones de
Laplace en un dominio infinito del plano xy. Vamos a usar de nuevo el mtodo de la
transformada de Fourier, como hicimos en el caso de la ecuacin del calor. Consideramos
primero el problema de Dirichlet en el semiplano superior > 0, llamado,

(8.1) + = 0 ( < < , > 0)

(, 0) = () ( < < )

Tomamos la transformada de Fourier de la solucin con respecto a la variable x, tratando a

como un parmetro. Siguiendo el por el momento procedimiento familiar, asumimos que el
problema (8.1) tiene una solucin que, junto con su derivadas parciales de primer y segundo
orden, es suave por tramos y absolutamente integrable en < < > 0. Luego la
transformada de Fourier de ,
1
(8.2) (, ) = (, )
2

Existe y
1
(8.3) (, ) = (, )
2

Diferenciando (8.2) bajo la integral dos veces con respecto a , y usando la ecuacin de
Laplace, obtenemos

1
(, ) = (, )
2
1
= (, )
2

Como es usual, requerimos que ambos y tiendan a cero as como . Luego

integrando por partes dos veces nos lleva a la ecuacin

(8.4) (, ) = 2 (, )

Para la transformada (8.2). Este tiene la solucin general

(8.5) (, ) = 1 () + 2 ()

Involucrando dos funciones arbitrarias 1 2 . De la condicin de frontera en (8.1) obtenemos

una condicin que se satisface por (8.5). Nosotros por lo tanto, necesitamos de otra condicin
para ser capaces de determinar las funciones 1 2 . Una condicin fsicamente plausible es que
nuestra solucin est acotada mientras se vuelve infinito. Esto requiere que (8.5) sea
acotada para largos valores de . Consecuentemente, cuando > 0, debemos escoger 2 = 0
as que (8.5) se convierte en

(8.6) (, ) = 1 () ( > 0)

Haciendo = 0 en (8.2) y (8.6) y usando la condicin de frontera dada en (8.1), vemos que

(, 0) = 1 () = ()
Donde F denota la transformada de Fourier de . Entonces, cuando > 0, (8.6) se convierte en

(8.7)
(, ) = ()

De la misma forma, cuando < 0, encontramos que

(8.8)
(, ) = ()

Las formulas (8.7) y (8.8) pueden juntas escribirse como

(8.9)
(, ) = ()
Para todos los valores de y 0. Sustituyendo esto en (8.3), entonces obtenemos

1
(, ) = ()
2

(8.10)
1
= 2 () ()

Donde hemos introducido la definicin de () y formalmente intercambiamos el orden de las

integraciones. La integral interior con respecto de s puede ser evaluada para dar
0
() = ()+ + ()
0

= 0 ()+ + 0 ()

(8.11) = 2 0 cos ( )
2
= ()2 +2

Aqu hemos observado que 2 cos = + . Por lo tanto, (8.10) se simplifica

()
(8.12) (, ) = ()2 +2 ( > 0)

Esto es conocido como la integral de Poisson para el semiplano > 0.

Bajo la suposicin que escontinua y acotada de < < , puede ser mostrado que la
integral (8.12), junto con su derivada parcial de cualquier orden tomada bajo el signo de la
integral, converge uniformemente en y para 0 , 1/0 1/0 para cualquier 0 >
0. Esto significa que tiene derivadas parciales continuas de todos los rdenes. Por un clculo
directo, se muestra de que satisface la ecuacin de Laplace para > 0. Adems, haciendo el
cambio de variable = tan , (8.12) se transforma

1 2
(, ) = ( tan )

2

El cual se puede mostrar que tiene lmite

1 /2
lim+ (, ) = lim+ ( tan )
0 0 /2

= ()

Si definimos por (8.12) para > 0 y (, 0) = () para = 0, entonces representa

solucin acotada del problema (8.1).

Debera anotarse que el requisito para que sea acotada, lo cual fue impuesto en la
determinacin de (8.9), es una condicin esencial si el problema (8.1) es tener una nica
solucin. Por lo que vemos la funcin

(, ) = ( ) sin
La cual no es acotada para > 0, satisface la ecuacin de Laplace y desaparece en = 0. Por
consiguiente, la superposicin de (8.12) y es tambin una solucin del problema (8.1), y
entonces el problema no tiene una nica solucin.
Es importante notar que el problema (8.1) puede tambin ser resuelto considerando la
transformada de seno de Fourier de su solucin con respecto de la variable . Que ya hemos
establecido
1
2 2
(8.13) (, ) = () 0 (, ) sin

Luego, diferenciando (8.13) dos veces respecto a y usando la ecuacin diferencial junto con la
condicin de frontera en (8.1), obtenemos

2 2 1
(, ) = ( )2 (, ) sin
2 0
2 1
= ( )2 () 2 (, )

Aqu hemos asumido como es usual que y desaparecen cuando . Adems, la
transformacin satisface la ecuacin
1
2 2 2 2
(8.14) 2
+ = () ()

Adems, asumimos que es acotada para < , 0 < < , y desaparece cuando
. Esto requiere que satisfaga la condicin de frontera

(8.15) (, ) 0

La ecuacin (8.14) junto con la condicin (8.15) constituyen un problema singular de Sturm-
Liouville. Mediante el mtodo de la Seccin 2, Captulo 4, la funcin de Green (Problema 17,
Ejercicio 4.2) para este problema est dado
1
(; ) =
2
Por lo tanto,

2 1
(, ) = ( )2 ()(; )


1
= ()
2

Sustituyendo esto en la formula (8.8) del Captulo 5 para la transformada inversa de Fourier de
senos, encontramos
2 1
(8.16) (, ) = ( )2 0 (, ) sin

1
= () 0 sin

Despus de un cambio en el orden de integracin. Tenemos

0 sin = 2 +2 ( > 0)

Vemos que (8.16) nos regresa a la solucin (8.12).

Luego, consideramos el problema de Dirichlet en una seccin D semi-infinita; 0 < < , 0 <
< ;que es

= 0
(, 0) = () ( 0)

(8.17) (, ) = 0 ( 0)

(0, ) = 0 (0 )

Donde requerimos que sea acotada cuando .Es apropiado para este problema usar la
transformada de Fourier de senos en la variable , usando como parmetro.

As, tenemos
2 1
(8.18) (, ) = ()2 0 (, ) sin ( > 0)

Luego, diferenciando (8.18) dos veces respecto a y usando la ecuacin diferencial, obtenemos

2 2 1
= ( )2 (, ) sin
2 0

Esto nos lleva la ecuacin diferencial para ,

2
(8.19) 2
2 = 0

Bajo la suposicin comn de que y desaparecen cuando . De las condiciones de

frontera en (8.17), tenemos

(8.20) (, 0) = (), (, ) = 0

Donde () denota la transformada de Fourier de senos de ().

Ahora la ecuacin (8.19) tiene la solucin general

(8.21) (, ) = 1 () + 2 ()

La cual satisface la segunda condicin en (8.20) si elegimos

() ()
1 = 2
y 2 = 2

Para la funcin arbitraria (). As, (8.21) puede ser escrita como

(8.22) (, ) = () sinh ( )

Usando la primera condicin en (8.20), vemos que

()
() =
sinh
Y adems (8.22) se transforma en
sinh ()
(8.23) (, ) = () sinh

Invirtiendo (8.23), la solucin del problema (8.17) por lo tanto est dada por
 2 sinh ()
(8.24) (, ) = 0 sinh
sin 0 () sin

Si las condiciones de frontera en (8.17) son tales que la parte no-homognea est preescrita en
el lado = 0, la solucin puede ser obtenida mediante el mtodo descrito en la Seccin 5 del
Captulo 6. Por ejemplo, suponiendo que deseamos resolver el problema

= 0 (0 < < , 0 < < )

(8.25) (, 0) = (, ) = 0 ( 0)

(0, ) = () (0 )

Observamos que el mtodo de separacin de variables (, ) = ()() nos lleva a un

problema devalor propio para la funcin , cuyos valores son = 2 2 / 2; las funciones

propias correspondientes son = sin ( ) , = 1,2, . Por ende, asumimos una solucin

del problema en la forma

(8.26) (, ) =
=1 () sin

Donde
2
(8.27) () = 0 (, ) sin

Entonces, diferenciando (8.27) dos veces con respecto a y usando la ecuacin diferencial junto
con las condiciones de frontera homogneas en (8.25) obtenemos la ecuacin
2
(8.28) () ( ) () = 0

Para las funciones . De las condiciones de frontera en (8.25)tenemos

2
(8.29) (0) = 0 () sin
= ( = 1,2, )

Los cuales son los coeficientes del seno de Fourier de en (0, ). Ahora la ecuacin (8.28) tiene
una solucin general

( ) ( )
(8.30) = 1 () + 2 ()

Para que as (8.26) sea acotada mientras tiende a , ()debe ser acotada;por consiguiente,
escogemos 2 = 0 en (8.30). Por la condicin (8.29) vemos adems que 1 = . Por lo tanto,
la solucin del problema (8.19) es

( )
(8.31) (, ) =
=1 sin

Donde las constantes son dadas por (8.29).

Por ejemeplo, cuando () = sin y = en (8.19), tenemos la solucin

(, ) = sin
En el caso del problema de Neumann

= 0 ( < < , > 0)

(8.32)

(, 0) = () ( < < )

En el semiplano, esto es posible por un simple artificio para reducir el problema (8.32) a un
problema de Dirichlet y de ese modo obtener la solucin. De hecho, suponemos que es una
(,)
solucin de (8.32). Sea (, ) =
. Luego, claramente,

(, ) = (, )


(, ) =0 ( > 0)

Y

(, 0) = (, 0) = () ( < < )

Entonces resuelve el problema de Dirichlet en el semi-plano, > 0. Por consiguiente, por

(8.12), tenemos
()
(8.33) (, ) = ()2 +2 ( > 0)

Y de la definicin se sigue que

(, ) = (, )

()
=
( )2 + 2
1
(8.34) = () ()2 +2

1
= () ln[( )2 + 2 ]
2

El intercambio en el de orden de integracin en (8.34) es vlido en vista del hecho que la integral
(8.33) es uniformemente convergente en para , como hemos observado
anteriormente en conexin con (8.12).

Bajo la suposicin que es continua y satisface una relacin de orden () < para
< < , donde > 1 y es una constante, puede ser verificado que (8.34) es una
solucin del problema de Neumann (8.32), el cual es nico hasta una constante adicional.

Ejercicios 7.7

1. Verificar que
1

()2 + 2
=1 ( < < , 0 < < )

2. Demostrar que si es una funcin impar, la formula (8.12) puede ser escrita como
1 1
(, ) = ( 2 2
) ()
0 ( ) + ( )2 + 2
El cual resuelve el problema de Dirichlet = 0 en el primer cuadrante > 0, > 0 con las
condiciones de frontera: (0, ) = 0; > 0; (, 0) = (), 0. En particular, cuando
2
() = 1 para > 0 y () = 1 para < 0, demostrar que = ( ) arctan( ).

3. Deducir de la formula (8.12) la solucin del problema

= 0 ( > 0, > 0)
(0, ) = 0 ( 0)
(, 0) = () ( 0)

Donde es acotada y continua para 0.

4. Intercambiando el rol de y en (8.12), una solucin de la frmula del problema de

Dirichlet = 0 para el semiplano derecho > 0, < < , con la condicin de
frontera (0, ) = (), < < , es obtenida. Como caso especial de esta
frmula, deducir la solucin del problema

= 0 ( > 0, > 0)

(0, ) = () ( 0)
(, 0) = 0 ( 0)
acotada para 0, 0.

5. Encontrar la solucin del problema de Dirichlet

= 0 ( > 0, > 0)
(, 0) = () ( 0)
(0, ) = () ( 0)

Asumiendo que es acotada para > 0, > 0

6. Encontrar la solucin al problema

= 0 (0 < < , 0 < < )

(0, ) = () (0 )
(, 0) = 0, (, ) = () ( 0)

acotada cuando .

7. Resolver el problema

= 0 ( > 0, 0 < < )

(0, ) = () (0 )
(, 0) = 0, (, ) = 0 ( 0)

acotada cuando .

8. Resolver el problema

= 0 ( > 0, 0 < < )

 (0, ) = 0 (0 )
(, 0) = 0, (, ) = () ( > 0)

acotada cuando .

9. Encontrar la solucin para el problema por sector

1 1
+ + 2 = 0 ( < 1, 0 < < )

(, 0) = 0, (, ) = ()(0 1)

(1, ) = 0 (0 )
1
Introduciendo la nueva variable = ln () , = . (Ver ejercicios 7.2.)

10. Resolver el problema

= 0 ( > 0, 0 < < )

(0, ) = 0 (0 )
(, 0) = 0, (, ) = () ( 0)
acotada cuando ; es una constante positiva.

11. Resolver el problema

= 0 ( > 0, 0 < < )

(0, ) = () (0 )
(, 0) = 0, (, ) = 0 ( 0)
acotada cuando ; es constante positiva.

12. Deducir de (8.34) la formula solucin

1 ( )2 + 2
(, ) = ln ()
2 0 ( + )2 + 2

Para el problema = 0, > 0, > 0; (0, ) = 0, 0; (, 0) = (), 0.

13. Deducir de la formula (8.34) una solucin para el problema de Neumann

= 0 ( > 0, > 0)

(0, ) = 0 ( 0)
(, 0) = () ( 0)

14. Encontrar una solucin para el problema mixto

= 0 ( > 0, > 0)

(, 0) = 0 ( 0)
(, 0) = () ( 0)

acotada para 0, 0.
 15. Resolver el problema de Neumann

= 0 ( > 0, > 0)

(, 0) = 0 ( 0)

(0, ) = () ( 0)

16. Encontrar la solucin del problema de Neumann

= 0 ( > 0, > 0)

(0, ) = () ( 0)
(, 0) = () ( 0)

acotada para 0, 0.

9. Solucin Fundamental y Funcin de Green

Sean (, ) y (, ) denotan un arbitrario punto fijo y un punto variable, respectivamente, en el

plano . Recordamos que en coordenadas polares con el polo en (, ), la ecuacin de Laplace
toma la forma
2 1 1 2
(9.1) = + + =0
2 2 2

Donde

= ( )2 + ( )2

Y
( )
= 1
( )
Si es una solucin de (9.1) que depende solo de , entonces satisface la ecuacin diferencial
ordinaria
2 1 1
(9.2) 2
+ = ( ) = 0

Por lo tanto, debe ser de la forma

(9.3) (, ) = 1 ln + 2
1
Donde 1 y 2 son constantes arbitrarias. Si escogemos 1 = y 2 = 0, entonces la solucin
2
particular
1
(9.4) (, ) = ln
2

Es llamada la solucin fundamental de la ecuacin de Laplace en dos dimensiones. La solucin

fundamental tiene la propiedad de ser armnica a travs del plano excepto en el polo (, ),
donde este se vuelve logartmicamente infinito. Esta es la solucin ms simple que se puede
concebir teniendo este tipo de singularidad en un punto.
El rol esencial que juega la solucin fundamental (9.4) es que nos lleva a la formula integral que
expresa el valor de cualquier funcin armnica dentro de un dominio en trminos de los

valores de y su derivada normal en la frontera del dominio. Esto hace posible para nosotros

obtener las representaciones explcitas para las soluciones del problema de Dirichlet y de
Neumann en trminos de las funciones de ncleo conocidas como funciones de Green y
funciones de Neumann, respectivamente.

Nuestra herramienta bsica es la segunda identidad de Green

(9.5) ( ) = ( )

Sobre un dominio D con frontera suave C. Las funciones y juntas con sus derivadas de primer
y segundo orden se asumen continuas en D. Tomaremos en (9.5) para ser la solucin
fundamental con el polo (,) en . Como es singular en el polo, borramos de un pequeo
disco cerca (, ) con radio y frontera 0 (fig. 7.5).

Aplicando (9.5) al dominio sealado acotado por y 0 , y notando que = 0 a travs

de , encontramos

(9.6) (ln ) = + [ (ln ) ln ]
0

1
Donde anulamos el factor comn 2. Esta relacin se mantiene para todos los valores de
no importa cun pequeo. Mostraremos que la integral 0 resulta en el valor 2(, )
cuando esta permitido aproximarse a cero.
En0 notamos que = = y el vector normal hacia afuera es opuesto en direccin
del radio vector, Por consiguiente,
1
(ln ) = = ln = =

As, introduciendo coordenadas polares, vemos que
2
1
lim (ln ) = lim ( + , + sin ) . ( )
0
0
0 0

(9.7)
= 2(, )

Pues las primeras derivadas de son continuas en , hay una constante tal que
en0. Por consiguiente,
(9.8)
2

ln ln 2 ln
0 0

Que tiende a cero con . Adems, dejando aproximarse a cero en (9.6) y usando (9.7) y
(9.8), obtenemos que la formula integral
1 1
(9.9) (, ) = 2 [ (ln ) ln ] + 2 () ln

Esto expresa el valor de en cualquier punto en en trminos de los valores de y en
la frontera y de en . En particular, cuando = 1, obtenemos una importante
propiedad de la solucin fundamental, llamada,
(9.10)

1
(ln ) = 1
2

La formula (9.9) no nos da una representacin inmediata para la solucin del problema de
Dirichlet o del problema de Neumann, desde que esto involucra los valores de ambos y su

derivada normal en . Debemos por lo tanto convertir esto en una frmula de integral

de la cual sera posible eliminar o .

Sea = (, ; , ) una funcin de (, ) que depende en el polo (, ) tal que es armnica

a travs del dominio . Aplicando (9.5) para la funcin y , entonces tenemos

(9.11)

( ) + = 0

Combinando esto con (9.9), as obtenemos

(9.12)

(, ) = ( ) +

Donde hemos escrito = (, ; , )

(9.13)
 1
(, ; , ) = ln + (, ; , )
2
Ahora, si la funcin armnica puede ser determinada en tal forma que o /
desaparece en , el trmino involucrando / o en (9.12) desaparece, y la formula
resultante nos brinda una representacin para la solucin correspondiente del problema de
Dirichlet o de Neumann.
Concentramos nuestra atencin aqu en el problema de determinar la funcin tal que
desaparece en la frontera del dominio . Es claro que si es una solucin del problema
de valor de frontera.
2 2
2
+ 2 = 0 en

(9.14)
1
(, ; , ) = ln en
2

Para cada punto (, ) en , entonces la funcin definido por (9.13) desaparece cuando
(, ) yace en . As, obtenemos de (9.12) la frmula de representacin especfica

(9.15)

(, ) = (, ) (, ; , ) + (, ; , )

Para la solucin de del problema de Dirichlet

(9.16)
= (, ) en , = (, ) en
En trminos de la funcin (9.13) y su derivada normal en la frontera. Establecemos nuestro
resultado como un teorema.
TEOREMA 9.1.Si denota la solucin del problema (9,16), entonces tiene la
representacin

(9.17) (, ) = (, ) (, ; , ) + (, )(, ; , )

Donde es la funcin definida por (9.13) y (9.14) con el rol de (, ) y (, )intercambiados.

La funcin definida por (9.13) y (9.14) es llamada la funcin de Green. Est claro que la
funcin de Green, cuando quiera que exista para un dominio dado, es nicamente
determinado. Esto sigue de la originalidad de la funcin como solucin de (9.14). el cual
es un problema de Dirichlet. Es posible tambin ver desde el hecho que si 1 y 2 son dos
funciones de Green distintas para un mismo dominio, entonces su diferencia 1 2 es una
funcin armnica a travs del dominio que desaparece en la frontera, y as, por el principio
mximo, debe desaparecer idnticamente.
Dejemos notar las siguientes propiedades importantes que caracterizan la funcin de Green
:
(i) Para cada (, ) en , satisface la ecuacin de Laplace
2 2
+ = 0 para todo (, ) en
2 2
Excepto en (, ).
(ii) (, ; , ) = 0 cuando (, ) yace en la frontera .
(iii) tiene una singularidad logartmica en (, ) tal que

= 1

(iv) es simtrica con respecto a los puntos (, ) y (, )

Las primeras dos de estas propiedades claramente sigue la definicin de la funcin de Green.
La tercera propiedad es una consecuencia de (9.10) y (2.11), siendo armnica en . La
ltima de las propiedades puede ser probada haciendo
(, ) = (, ; , ), (, ) = (, ; , )
En la segunda identidad de Green (9.5) sobre el dominio acotado por , 1 , y 2 , donde
1 y 2 son pequeos crculos de radio cerca a los polos (, ) y (, ), Figura 7.6. Notamos
que = 0 y = 0 en , y y desaparecen de , (9.5) resulta en
(9.19)

( ) + ( ) = 0
1 2

FIG. 7-6Prueba de la simetra de la funcin de Green

Usando la definicin (9.13) junto con (2.11), y un clculo como la derivacin de (9.9), vemos
que

lim ( ) = (, )
0
1

(9.20)

lim ( ) = (, )
0
2

As, de (9.19), tenemos (, ) = (, ), o (, ; , ) = (, ; , ).
10.Ejemplos de Funciones de Green

En esta seccin vamos a presentar ejemplos de funciones de Green para la ecuacin de Laplace
para dominios especiales en el plano . Determinamos primero la funcin de Green para el
interior del disco (Fig. 7.7),

FIG. 7-7Puntos inversos con respecto a un crculo.

(10.1)

Sea : (, ) que denota el polo de la funcin de Green = (, ; , ) en , con : (, )

siendo un punto variable, y siendo

= ( )2 + ( )2

Que denota la distancia del punto del polo . Deseamos determinar una funcin =
1
(, ; , ), la cul es armnica a travs de y la cul asume el valor (2) ln cuando 2 +
1
2 = . Si (, ) = (0,0), entonces claramente = ( 2) ln satisface el requerimiento. Por
consiguiente, por (9.13), la funcin de Green para el disco (10.1) con el polo en (0,0) est dado
por
1 1
(, ; 0,0) = ln ln
2 2
(10.2)
1
= 2 ln ( = 2 + 2 )

Suponiendo ahora que (, ) (0,0) y denotado por = 2 + 2 , la distancia del polo

desde el centro del disco. Sea
 2 2
: ( 2 , 2 )

Denota la inversa del punto con respecto al crculo : 2 + 2 = 2 (que es, = 2

con y yaciendo sobre la misma lnea de ). Cuando el punto est ubicado sobre el
crculo , vemos que los tringulos y son similares. Esto es cierto porque los dos
tringulos tienen un ngulo en comn en , y los lados correspondientes formando ese
ngulo son proporcionales; esto es,



= = )
(

En vista de la relacin = 2 . Por lo tanto,

= =



Del cul obtenemos

(10.3)
=
=

As,
2 2
2 2
(10.4) = [( 2 ) + ( 2 ) ]1/2

Cuando 2 + 2 = 2 .
Ahora considerando la funcin
1
2 2 2
1 2 2
(10.5) (, ; , ) = 2 ln [( 2 ) + ( 2 ) ]

Es fcilmente verificada por diferenciacin directa que sta funcin satisface la ecuacin de
Laplace para todo (, ) en . Por otra parte, en vista de (10.4), la funcin asume el valor
1
(2) ln cuando (, ) yace en la frontera de . Por lo tanto, (10.5) es la solucin del
problema de Dirichlet (9.14) para el disco (10.1).
Por (9.13) la funcin de Green para el disco (10.1) es por lo tanto, dada por
1 1 1
(10.6) (, ; , ) = ln ln = ln
2 2 2

Donde hemos escrito

2 2
2 2
(10.7) = [( 2 ) + ( 2 ) ]1/2

Como hemos encontrado la funcin de Green, la solucin del problema de Dirichlet no-
homogneo (9.16) para cualquier disco es ahora inmediato, por el Teorema 9.1. En
particular, cuando = 0, tenemos

(10.8) (, ) = (, ) (, ; , )

Donde hemos intercambiado el rol de (, ) y (, ) en (10.6). Demostramos que si esto

corresponde con la formula de la integral de Poisson (6.6), la cual fue previamente obtenida
en la Seccin 6. Tenemos que calcular la derivada normal de la funcin de Green (10.6) para
 2 + 2 = 2 . Para este propsito, es conveniente introducir coordenadas polares para
describir los puntos (, ) y (, ). As, hacemos = cos , = sin ,y = cos , =
sin .Entonces

2 = ( )2 + ( )2

= 2 2 cos( ) + 2
2 2
2 2
(10.9) 2 = ( 2 ) + ( 2 )

2 4
= 2 2 cos( ) + 2

Como la derivada normal hacia afuera de la funcin sobre un crculo coincide con la derivada
en la direccin radial, se sigue de (10.6) y (10.9) que
1
(, ; , ) = [ (ln ) (ln )]
2
1
= [ (ln 2 ) (ln 2 )]
4
1 1 2
= [ 2 (ln 2 )]
4
(10.10)
2
1 cos( ) ( ) cos( )
= [ ]
2 2 2

Esto resulta en
(10.11)
1 2 2
(, ; , ) =
2 2 2 cos( ) + 2
Mediante el ajuste = y tomando nota de que = ()/. Sustituyendo este resultado
en (10.8) y tomando nota que = , hemos, de hecho, obtenido la formula de la integral
de Poisson (6.6).
Tomamos la siguiente determinacin de la funcin de Green para el operador de Laplace
para el semi-plano > 0 (Fig. 7.8). De nuevo sea : (, ) denota
FIG. 7-8Funcin de Green en el semiplano y > 0
El polo de la funcin de Green en el semiplano > 0 y sea : (, ), > 0, sea cualquier
punto cuya distancia desde el polo es denotada por . Considere la imagen reflejada
: (, ) del punto con respecto al eje . Est claro que cuando est ubicado sobre la
frontera = 0 del semiplano 0, es equidistante desde y . As, tomamos
1
(10.12) (, ; , ) = 2 ln

Donde

(10.13) = ( )2 + ( + )2

Claramente, esta funcin es armnica para todo (, ) en el semiplano 0 y se reduce a

1
(2) ln sobre = 0. Por lo tanto, la funcin de Green para el semiplano 0 est dada
por
1 1 1
(10.14) (, ; , ) = 2 ln 2 ln = 2 ln

As, podemos formalmente establecer el siguiente teorema, el cul corresponde al Teorema

9.1.
TEOREMA 10.1.Si denota la solucin del problema de Dirichlet
(10.15) = (, ) ( < < , > 0)
(, 0) = () ( < < )
Luego tiene la representacin


(, ) = () (, 0; , ) + (, )(, ; , )
0

(10.16)
()
= + (, )(, ; , )
( )2 + 2 0

Donde es la funcin de Green (10.14).

Cuando = 0, (10.16) nos lleva de regreso a la formula de la integral de Poisson (8.12) para
el semiplano > 0.
Ejercicios 7.8
1. Establecer el resultado dado en (9.20).
2. Verificar que la funcin definida en (10.5) satisface la ecuacin de Laplace en las
variables y .
3. Verificar directamente que la funcin de Green (10.6) es simtrica con respecto al
punto (, ) y el polo(, ).
4. Demostrar que introduciendo las coordenadas polares = cos , = sin y
= , = sin , la funcin de Green (10.6) toma la forma

1 2 ( 2 2 cos( ) + 2 )
(, ; , ) = ln
4 (4 22 cos( ) + 2 2 )
Y as verificar que = 0 cuando = .
5. Determinar la funcin armnica (10.5) mediante la resolucin del problema de
Dirichlet
2 1 1 2
2
+ + 2 2 = 0 ( < )
1
(, ; , ) = ln[2 2 cos( ) + 2 ] ( = )
4

Para y fijos. Sugerencia: Asumir una solucin anloga a (5.8) y usar la serie (7.9) para
datos de frontera.
6. Sean (, ; , ) y (, ; , ) (, ; , ) las funciones de Green para un
disco de radio con polos en los puntos (, ) y (, ), respectivamente.
Demostrar que
(, ; , ) = (, ; , ) (, ; , )

Es la funcin de Green para el dominio semicircular , 0 . Cul es la funcin

armnica (, ; , ) en este caso?

7. Usando funcin de Green obtenida en el Problema 6, y por un procedimiento similar,

obtener la funcin de Green para el cuarto de disco 0 , 0 2 .

8. Encontrar la funcin de Green para el sector 0 , 0 3 . Sugerencia:
Hacer = 3 , = 3, y usar el resultado del Problema 6.
9. Probar que la funcin de Green (, ; , ) satisface la relacin

2 2 2
= (, ; , )
4 0
Sugerencia: Tomar = 0 y = 1 en (9.16) y obtener una solucin por inspeccin; luego usar
(9.17).

10. Determinar la funcin armnica (10.12) mediante la resolucin del problema de

Dirichlet

= 0 ( > 0, < < )

1
(, ; , ) = ln[( )2 + 2 ] ( = 0)
4

Para cada (, ), > 0 fijo.

11. Por un procedimiento similar al usado en el Problema 6, encontrar la funcin de Green

para el cuadrante 0, 0.

11. Ejemplos de Funciones de Neumann

En la seccin 9 del presente Capitulo obtuvimos de la formula bsica (9.12) una representacin
explcita para la solucin del problema de Dirichlet (9.16) en trminos de la derivada normal de
la funcin de Green (9.13). En esta seccin vamos a derivar de (9.12) una frmula de
representacin similar para la solucin del problema de Neumann no-homogneo

(11.1) = (, ) en ,
= (, ) sobre

Reescribimos (9.12) en una notacin diferente como

(11.2) (, ) = ( ) +

Donde
1
(11.3) (, ; , ) = 2 ln + (, ; , )

Con siendo una funcin armnica arbitraria a travs de . A fin de que (11.2) represente una

solucin del problema (11.1), parece natural escoger la funcin as
desaparece en , as
eliminando de (11.2) el trmino que involucra los valores de en la frontera . Esto podra
significar que es una solucin especial del problema de Neumann

= 0 en
1

= 2 (ln ) en

Pero este problema no puede tener una solucin porque, por (9.10),

= 1

La cul se opone a la condicin necesaria (2.12) para la solubilidad del problema de Neumann.

Determinemos as = sobre ; decimos, = 0.

Entonces, de (11.3), tenemos

 1
= (ln ) +
2

El cul, por (9.10) y (2.11), resulta en

= 1

Esto implica que

1
(11.4) =

Donde denota el permetro del dominio . Esto significa que debemos determinar como
solucin del problema de Neumann

(11.5) = 0 en D
1 1
= (ln ) en
2

Notar que aqu la condicin (2.12) se satisface. Entonces, si la funcin en (11.3) es una solucin
de (11.5), entonces la sustitucin de (11.3) en (11.2) conduce a la representacin especfica
1
(11.6) (, ) = (, ; , ) + (, ; , ) +

Para una solucin del problema de Neumann (11.1). El ltimo trmino de la derecha de (11.6)
es simplemente una constante adicional, representado el valor promedio de la solucin. As,
tenemos el siguiente teorema de representacin para (11.1).

TEOREMA 11.1. Haciendo denota una solucin del problema no-homogneo de Neumann
(11.1)para la cual la condicin de compatibilidad (2.13)ya mantiene. Luego tiene la
representacin

(11.7) (, ) = (, ; , )(, ) + (, )(, ; , ) +

Donde est definida por (11.3) y (11.5)con el rol de (, ) y (, ) intercambiados, y donde

es una constante arbitraria igual al valor promedio de .

La funcin definida por (11.3) y (11.5) es llamada una funcin de Neumann para ecuacin de
Laplace. Diferente a la funcin de Green, una funcin de Neumann es nica hasta agregarle una
constante. Esto debido al hecho que una solucin de (11.5) es nicamente determinada hasta
agregarle una constante. De cualquier forma, si escogemos agregarle una constante en tal forma
que la condicin de normalizacin

(11.8) (, ; , ) = 0

Se mantiene, entonces se vuelve nicamente determinada. En esta discusin vamos asumir

que nuestra funcin de Neumann satisface (11.8).

Es de inters notar las siguientes propiedades caractersticas de la funcin de Neumann:

(i) satisface la ecuacin de Laplace para todo (, ) en , excepto para (, ).

(ii)
= 1/ sobre , donde es el permetro de .
(iii) tiene una singularidad logartmica en (, ) tal que

(11.9)
=1

(iv) es simtrica respecto a los puntos (, ) y (, ); que es, (, ; , ) = (, ; , ).

La propiedad simtrica (iv) puede ser establecida con la ayuda de (11.8) de exactamente la
misma manera que establecimos la simetra de la funcin de Green, y queda desde luego como
un ejercicio (Problema 1).

Consideramos ahora la construccin de la funcin de Neumann (11.3) para el interior del disco
2 + 2 2 . Usando la misma notacin que en (10.6) hacemos
1 1
(11.10) (, ; , ) = 2 ln + 2 ln + (, )

Donde es una funcin armnica. Est claro que la funcin (11.10) es armnica en el interior
del disco para todos los puntos (, ) excepto en el polo (, ). Adems, del clculo en (10.10),
hemos verificado de que cuando (, ) yace sobre la circunferencia del disco, tenemos
1 1
(, ; , ) = =
2
As, las primeras tres propiedades enumeradas para la funcin de Neumann se cumplen
absolutamente. Para asegurar la simetra de una funcin de Neumann, hemos introducido la
funcin armnica (, ) en (11.10). La funcin ser determinada requiriendo (11.10) para
satisfacer la condicin de normalizacin (11.8). En este trayecto, vamos a tener que asegurar la
unicidad de nuestra funcin de Neumann.

As, aplicando (11.8) en (11.10) y notando que sobre la circunferencia del disco, = /,
tenemos

1
(, ; , ) = (ln + 2)
2
1
(11.11) = 2 (ln 2 + 2)

=0
Ahora el integrado en la ltima integral de (11.11) es una funcin armnica de (, ) a travs
del disco. Por consiguiente, por la propiedad del valor medio de una funcin armnica (Teorema
6.1), la integral en (11.11) es igual al valor del integrando en el centro (, ) = (0,0) del disco.
As, encontramos

4 2
ln 4 ( + 2 ) + 2 = 0

O
1
(11.12) (, ) = 2 ln 3

Por consiguiente, nuestra funcin de Neumann para el disco 2 + 2 2 es

1
(, ; , ) = [ln + ln + ln 3 ]
2
(11.13)
1
= ln 3
2
Donde = [( )2 + ( )2 ]1/2,
2 2
2 2
= [( 2 ) + ( 2 ) ]1/2

Y = ( 2 + 2 )1/2. As, una solucin al problema de Neumann (11.1) para un disco es

inmediatamente conocido por el Teorema 11.1. En el caso particular donde = 0, es fcil
demostrar que, en coordenadas polares,

(11.14) (, ) = (, ; , )(, )

Donde est dado por (11.13) con el rol de (, ) y (, ) intercambiados, corresponde con la
frmula (7.10) previamente obtenida.

La funcin de Neumann para el semi-plano > 0 est dada por

1 1
(11.15) (, ; , ) = [ln + ln ] = ln
2 2

Donde hemos usado la misma notacin que en (10.14). Claramente, esta funcin es armnica a

travs del semiplano superior excepto en el polo (, ). Adems,
= 0, como se esperaba,
pues la frontera aqu es de longitud infinita. La funcin (11.15) es nica hasta agregar una
constante. As, una solucin del problema de Neumann no-homogneo

= (, ) ( < < , > 0)

(11.16)


= () ( < < )

Tiene la representacin

(11.17)
1 1
(, ) = 2 () ln[( )2 + 2 ] + 2 0 ln( ) (, ) +

Donde es una constante arbitraria. Donde = 0, esta frmula se reduce a (8.34).

Ejercicios 7.9

1. Demostrar que la funcin de Neumann (11.3) satisfaciendo la condicin de

normalizacin (11.8) es simtrica respecto a los puntos (, ) y (, ).
2. Verificar que la funcin (11.10) satisface la relacin
1
(, ; , ) =
2
Donde 2 + 2 = 2 .
 3. Verificar directamente que la funcin de Neumann (11.13) para un disco es simtrica
con respecto a (, ) y (, ).
4. Introducir las coordenadas polares = cos , = sin y = cos , = sin ,
y demostrar que la frmula (11.14) corresponde con (7.10) excepto para una constante
agregada.
5. Demostrar que la funcin de Neumann (11.13) satisface la relacin
1
= [(, , ) 1]
2
Donde es el ncleo de Poisson dado en (6.7).

6. Encontrar una funcin de Neumann para el cuadrante > 0, > 0.

Solucin de los Ejercicios

Captulo 1

Ejercicios 1.1

1. (a) Continua y suave por tramos.

(b) Continua por tramos y suave por tramos.

2. La extensin de es continua por tramos si es continua por tramos en [, ]; la

extensin es continua si es continua en [, ] y () = (). La extensin
peridica de es suave por tramos si es suave por tramos; la extensin es suave si
es suave en [, ] y () = ().

5. No. 6. No.

Ejercicios 1.2

1. = 2 + 2 ; = 2 + 2.
2. = cos + ; = sin + .
2 2
3. = 2 +2 ; = 2 +2
2 2
4. = (+)2 ; = (+)2
1
5. = 2 ; = 2
2