Metodos3 PDF

[
OLP H W
= [
W
W

Nelson Pantoja Vasquez

Universidad de Los Andes
Merida, Venezuela
Julio, 2002
Version revisada
Junio 2005.
2 Ecuaciones Diferenciales Parciales

La Mathematique ...
instrument de pensee au service de notre effort dintelligence du monde physique
A. Lichnerowicz

Prologo
Estas son las notas de clase, corregidas y aumentadas, del ultimo curso de metodos matematicos
para fsicos, dictado en repetidas ocasiones a estudiantes de la Licenciatura en la Universidad de Los
Andes. Las mismas proveen de manera concisa una exposicion contemporanea sobre las Ecuaciones
Diferenciales Parciales (EDPs) donde, como requisito inicial, se asume un conocimiento elemental
de ecuaciones diferenciales ordinarias y funciones especiales.
Especficamente, se trata el tema de las EDPs lineales, introduciendo herramientas tales como
funciones de Green y expansiones ortogonales, entendidas desde el punto de vista de la teora de
distribuciones y desarrolladas dentro del contexto del tipo de problemas para el cual son utiles.
Todos los ejemplos son tomados de la fsica. Sin embargo, se hace mas enfasis en la estructura
de la EDP y las propiedades de su solucion que en los sistemas fsicos que pueden ser descritos
por el ejemplo particular considerado. Por lo tanto estas notas tambien seran de utilidad para
qumicos e ingenieros. Por supuesto, un tratamiento exhaustivo del tema esta mas alla del alcance
pretendido y al final de cada captulo el lector encontrara las referencias donde aparecen aquellas
demostraciones omitidas as como posibles generalizaciones.
Quisiera agradecer especialmente a Alejandra Melfo, quien utilizo en varias oportunidades una
version preliminar de estas notas como material complementario en los cursos por ella dictados, por
todas las observaciones y sugerencias que en gran medida contribuyeron a mejorar la exposicion y
el desarrollo de las ideas.
Julio, 2002 N. R. Pantoja
En la presente version se han corregido varios errores tipograficos, se han mejorado algunas
deducciones y se ha agregado una cantidad importante de problemas y ejercicios. Agradezco a
todos los colegas y estudiantes que han tenido la gentileza de hacerme llegar sus comentarios y
sugerencias a lo largo de estos anos.
Mayo, 2005 N. R. Pantoja
5

Indice General
Prologo 5
1 Operadores Diferenciales 11
1.1 Vectores y covectores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2 La derivada covariante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.3 Los operadores divergencia y laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.4 Problemas y ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2 Distribuciones 23
2.1 Funciones de prueba . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2 Distribuciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3 Multiplicacion de distribuciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.4 Derivacion de distribuciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.5 Sucesiones y series de distribuciones . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.6 Producto tensorial de distribuciones . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.7 El producto de convolucion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.8 Ecuaciones de convolucion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3 Ecuaciones diferenciales ordinarias. Funciones de Green. 43

3.1 El problema de valores iniciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2 El problema de contorno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4 Ecuaciones Diferenciales Parciales 53

4.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.2 EDPs de primer orden en dos variables . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.3 EDPs de segundo orden en dos variables . . . . . . . . . . . . . . . . . . . . . . . . 55
4.3.1 Clasificacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.3.2 Formas canonicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.4 EDPs de segundo orden en n variables . . . . . . . . . . . . . . . . . . . . . . . . . 60
5 El problema de Cauchy 65
5.1 El problema de Cauchy para las ecuaciones
hiperbolicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
5.1.1 El problema para la ecuacion de onda . . . . . . . . . . . . . . . . . . . . . . 65
5.1.2 La ecuacion de ondas esfericas . . . . . . . . . . . . . . . . . . . . . . . . . . 72
7
5.2 El Problema de Cauchy para las ecuaciones

parabolicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.2.1 El problema para la ecuacion de difusion . . . . . . . . . . . . . . . . . . . . 73
6 El problema de contorno y valores iniciales 85

6.1 Formulacion del problema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
6.2 El problema para la ecuacion de onda . . . . . . . . . . . . . . . . . . . . . . . . . 87
6.2.1 El problema homogeneo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
6.2.2 El problema no homogeneo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
6.3 El problema para la ecuacion de difusion . . . . . . . . . . . . . . . . . . . . . . . . 98
7 El Problema de Contorno Puro 105

7.1 El problema de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
7.1.1 El problema de Dirichlet para la ecuacion de Laplace . . . . . . . . . . . . . 105
7.1.2 El problema de Dirichlet para la ecuacion de Poisson . . . . . . . . . . . . . 110
7.2 El problema de Neumann para la ecuacion de Poisson . . . . . . . . . . . . . . . . 117
8 Problemas en mayor dimensionalidad 125

8.1 El problema de contorno para la ecuacion de Laplace en 3 dimensiones . . . . . . . 125
8.1.1 El problema de Dirichlet para un cubo . . . . . . . . . . . . . . . . . . . . . 125
8.1.2 El problema de Dirichlet para un cilindro . . . . . . . . . . . . . . . . . . . . 127
8.1.3 El problema de Dirichlet para la esfera . . . . . . . . . . . . . . . . . . . . . 129
8.2 El problema de contorno para la ecuacion de Poisson en 3 dimensiones . . . . . . . 131
8.2.1 El problema de Dirichlet interior a la esfera . . . . . . . . . . . . . . . . . . 131
8.3 La funcion de Green para la ecuacion de onda en (3 + 1) dimensiones . . . . . . . . 132
8.4 La funcion de Green para la ecuacion de Schrodinger . . . . . . . . . . . . . . . . . 135
Indice de Materias 137

Indice de Cajas
5.1 Transformadas de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69

5.2 Transformadas de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
6.1 Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
6.2 El espacio de Hilbert L2(r) (, ) . . . . . . . . . . . . . . . . . . . . . . . . . . 96
6.3 Bases en L2(r) (a, b) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
7.1 Distribuciones y transformaciones de coordenadas . . . . . . . . . . . . . . . 110
7.2 Expansiones ortogonales y funciones de Green . . . . . . . . . . . . . . . . . 118
9

Captulo 1
Operadores Diferenciales
En lo que sigue se asume un conocimiento elemental del calculo vectorial. Las ideas que des-
arrollaremos en esta seccion, ademas de proveer herramientas de calculo muy eficientes, admiten
generalizaciones posteriores de utilidad en varias areas de la fsica y las matematicas.
1.1 Vectores y covectores

Sea P un punto en Rn y denotemos por ~x al vector cuyas componentes son las coordenadas
(x1 , , xn ) de P relativas al origen O de coordenadas. Un campo vectorial se define usualmente
como un objeto cuyo comportamiento bajo transformaciones generales de coordenadas se identifica
con el correspondiente comportamiento del vector ~x. A continuacion revisemos en algun detalle
dicha definicion.
Sean {~ei , i = 1, , n} y {~ei0 , i0 = 1, , n} dos conjuntos de vectores base para el espacio
vectorial n-dimensional, este ultimo que denotaremos por Tx (Rn ). Entonces
0
~x = xi~ei = xi ~ei0 , (1.1)
0
donde {xi , i = 1, , n} y {xi , i0 = 1, , n} son las componentes (la representacion) de ~x en las
bases {~ei } y {~ei0 } respectivamente y donde
0
i0 0 0 xi
x = aij j
x, aij = . (1.2)
xj
0
Si para la transformacion considerada se tiene que los coeficientes aij son constantes i0 , j, en-
tonces la transformacion es lineal. En este sentido, debera insistirse en que (1.2) se refiere a
transformaciones generales de coordenadas. As, diremos que los elementos del conjunto {Ai } son
las componentes de un campo vectorial A ~ si bajo transformaciones generales de coordenadas se
cumple
0 0
Ai = aij Aj , (1.3)
0 0 0 0
donde los coeficientes aij vienen dados por (1.2) y se sobrentiende que Ai = Ai (xj ) y Ai = Ai (xj ).
Se sigue que un campo vectorial A ~ sobre Rn es la asignacion de un vector A(x)
~ a cada punto x de
n ~ i
R y A = A ~ei Tx (R ).n
Consideremos a continuacion la accion del operador i /xi sobre un campo escalar

definido sobre Rn . Recordemos que es un campo escalar si es invariante bajo el grupo de
11
0
transformaciones considerado, esto es, si se cumple 0 (xi ) = (xi ). Se tiene
0 xj 0 xj
i0 0 i0 = i0 j
= i0 j
= aji0 j . (1.4)
x x x x x
donde hemos definido
xj
aji0 . (1.5)
xi0
Notese que el conjunto {i } no transforma como la componentes de un campo vectorial.
Ahora 0 0
i0 j xi xj xi i0
a j a k0 = j k 0 = k 0 = k0 . (1.6)
x x x
0
Por otro lado, de A~ = Ai~ei = Ai ~ei0 se sigue que
0 0
Ai~ei = Ai ~ei0 = aij Aj ~ei0 ,
de donde se desprende que

0
~ej = aij ~ei0
y usando (1.6) encontramos
~ei0 = aji0 ~ej , (1.7)
que provee la ley de transformacion de los vectores base.
Sea {~ei , i = 1, , n} alguna base particular en Tx (Rn ). Ahora, definimos el conjunto { i , i =
1, 2, , n} tal que:
1. los objetos i proveen la aplicacion definida sobre los vectores base {~ei } dada por
( i , ~ej ) ji (1.8)
2. y que dicha aplicacion es lineal, esto es
( i , ~ej1 + ~ej2 ) ( i , ~ej1 ) + ( i , ~ej2 ) (1.9)
con y constantes reales.

Considerese a continuacion el objeto
B = Bi i , (1.10)
donde asumiremos que el conjunto {Bi } transforma, bajo el conjunto de transformaciones generales
de coordenadas considerado, como lo hace el conjunto {i }, esto es,
Bi0 = aji0 Bj , (1.11)
con aji0 dado por (1.5). Diremos que {Bi } son las componentes del covector B en la cobase { i }.
Al espacio de los covectores lo denotaremos por Tx (Rn ) y a la cobase en Tx (Rn ) especificada por
el conjunto { i } que satisface (1.8) le denominaremos base dual a {~ei }.
Es claro, el objeto
i i , (1.12)
es un covector, esto es Tx (Rn ) y definimos , ec.(1.12), como la derivada covariante de .

Ecuaciones Diferenciales Parciales 13
Sean {~ei } y { j } bases duales. Entonces, dados A ~ Tx (Rn ) y B Tx (Rn ), se sigue de (1.8)
que
(B, ~ej ) = (Bi i , ~ej ) = Bi ( i , ~ej ) = Bi ji = Bj (1.13)
y
~ = Aj ( i , ~ej ) = i = Ai .
( i , A) (1.14)
j
As, un covector es un objeto que aplica vectores a numeros y (1.13) y (1.14) proveen los valores
numericos de Bj = Bj (x) y Ai = Ai (x) en x.
~
Consideremos a continuacion al objeto (B, A),
~ = (Bi i , Aj ~ej ) = Bi Aj ( i , ~ej ) = Bi Ai .
(B, A) (1.15)
Ahora, al cambio de base en Tx (Rn ) dado por (1.7) le corresponde un cambio de base en Tx (Rn )
definido por
0 0
i = aij j , (1.16)
0
como se sigue de B = Bi i = Bi0 i . Por otro lado, de acuerdo con (1.2), (1.5) y (1.6) se tiene
0 0 0
Bi0 Ai = aji0 Bj aii Ai = aji0 aii Bj Ai = ji Bj Ai = Bi Ai (1.17)
y la contraccion Bi Ai provee entonces un numero que es un escalar (un invariante) bajo las trans-
formaciones generales de coordenadas (1.2).
Es facil verificar que
~ = (B, A)
( B + C, A) ~ + (C, A),
~ (1.18)
donde y son constantes reales y por lo tanto una combinacion lineal de covectores es un
covector. Se sigue que el espacio de los covectores Tx (Rn ), esto es, el espacio de las formas lineales
definidas sobre Tx (Rn ), tiene tambien estructura de espacio vectorial y se le denominara espacio
vectorial dual.
p
Considerese la siguiente generalizacion. Denominemos tensores del tipo (q ) a objetos de la
forma
i i
S = S 1 p j1 jq ~ei1 ~eip j1 jq , (1.19)
i i i i
donde el conjunto de numeros {S 1 p j1 jq = S 1 p j1 jq (x)} (esto es los valores numericos en
x Rn ) transforman bajo cambios generales de coordenadas de acuerdo a
i0 i0p i0 i0 j i ip
S1 j10 jq0 (x) = a 1i1 a pip aj1j 0 a qjq0 S 1 j1 jq (1.20)
1
y donde denota el producto directo (tensorial). Estos tensores aplican q vectores y p covectores
a escalares de manera lineal (diremos que los tensores son aplicaciones multilineales) y al espacio
p
tensorial de los tensores del tipo (q ) de la forma (1.19) lo denotaremos por p Tx (Rn ) q Tx (Rn ).
Aqu el orden de los indices es esencial. Intercambiar ~ei1 y ~ei2 , por ejemplo, dara un elemento
base diferente siempre que i1 6= i2 . Lo mismo ocurre si intercambiamos ~ei1 y j1 (la multiplicacion
tensorial es asociativa y distributiva con respecto a la suma, pero no es conmutativa). De lo
anterior se desprende que el espacio tensorial Tx Tx es diferente al espacio tensorial Tx Tx ,
1
aunque los tensores en ambos espacios son del tipo (1). Es claro que un campo vectorial es un
1 0
tensor del tipo (0) y un campo covector es un tensor del tipo (1).
0
Introduzcamos a continuacion el tensor g del tipo (2),
g gij i j , (1.21)

donde
g(~ei , ~ej ) = gkl ( k , ~ei )( l , ~ei ) = gij
si {~ei } es la base dual a { i }, con
gij gji .
~yB
Ahora, dados dos vectores A ~ cualesquiera, g provee la aplicacion
~ B)
g(A, ~ = gij ( i , A)(
~ j , B)
~ = gij B j Ai . (1.22)
Identificando esta ultima expresion con la contraccion Bi Ai
Bi Ai gij B j Ai , (1.23)
se sigue que
Bi = gij B j . (1.24)
As, el tensor g, que denominaremos tensor metrico, permite asociar un covector B a todo vector
~ a traves de
B
B = Bi i gij B j i , (1.25)
de forma tal que se satisfaga (1.23). Se dice que B dado por (1.25) es el dual metrico de B. ~ Por
otro lado, puesto que con esta identificacion logramos asociar un invariante (escalar) a dos vectores
~ y B,
cualesquiera A ~ el tensor metrico g endosa al espacio vectorial Tx (Rn ) con un producto interno
~B
(escalar) A ~ definido por
~B
A ~ g(A,
~ B),
~ ~ B
A, ~ Tx (Rn ) . (1.26)
~ de un vector A
La norma kAk ~ Tx (Rn ) viene generada por el producto interior definido arriba a
traves de
~ 2 = g(A,
kAk ~ A)
~ = gij Ai Aj
~ no depende entonces de la eleccion del sistema de coordenadas. En lo que sigue, denotaremos
y kAk
por (Rn , g) al espacio Rn equipado con tensor metrico g. Debera tenerse presente sin embargo que
la definicion del dual Tx (Rn ) de Tx (Rn ) no necesita de equipamiento metrico alguno de Rn .
Consideremos a continuacion el conjunto {g ij } tal que
g ij gjk = ik , (1.27)
esto es, {g ij } son los elementos de la inversa de la matriz cuyos elementos son las componentes
{gij } de g en la base asociada a las coordenadas escogidas. Supondremos que por definicion,
dicho conjunto existe y que esta bien definido en todo punto de la region de Rn descrita por las
coordenadas escogidas. Entonces
g ij Bj = g ij gjk B k = ik B k = B i (1.28)
y tenemos una correspondencia uno a uno entre vectores y covectores. Se debe hacer enfasis en
que vectores y covectores viven en espacios lineales diferentes y que es el tensor metrico el que
permite establecer dicha correspondencia entre los objetos de dichos espacios.
Ilustremos la ideas desarrolladas con un ejemplo muy sencillo. Considerese un espacio vectorial
2-dimensional Tx (R2 ) y hagamos la descripcion en coordenadas cartesianas {x1 , x2 }. Los vectores
base en estas coordenadas,
~x ~x
~ex1 1
, ~ex2 , (1.29)
x x2

se postulan independientes de dichas coordenadas y se tiene
~x = x1 ~ex1 + x2 ~ex2 . (1.30)
Sean A~yB ~ dos vectores cualesquiera en Tx (R2 ). En la base cartesiana escogida tendremos que
dichos vectores pueden ser escritos como
~ = Ax1 ~ex1 + Ax2 ~ex2 ,
A ~ = B x1 ~ex1 + B x2 ~ex2 .
B (1.31)
1 2
La cobase { x , x } dual a {~ex1 , ~ex2 } viene especificada por
1 1 2 2
( x , ~ex1 ) = 1, ( x , ~ex2 ) = 0, ( x , ~ex1 ) = 0, ( x , ~ex2 ) = 1 , (1.32)
y tambien se postula independiente de las coordenadas.

En terminos de dicha base, el tensor metrico g viene dado por
1 1 1 2 2 1 2 2
g = gx1 x1 x x + gx1 x2 x x + gx2 x1 x x + gx2 x2 x x , (1.33)
donde exigiremos gx1 x2 = gx2 x1 .

~ B
A continuacion, tomemos como producto escalar A ~ el producto escalar eucldeo definido por
~B
A ~ Ax B x + A y B y . (1.34)
El producto (1.34) se preserva bajo el conjunto de transformaciones lineales

10 10
axx1 = cos , axx2 = sin ,
20 20
axx1 = sin , axx2 = cos , (1.35)
donde es un parametro real tal que 0 < 2 y las coordenadas cartesianas en terminos
de las cuales el producto escalar es de esta forma se denominaran coordenadas eucldeas. Las
transformaciones (1.35) forman un grupo que usualmente se denota por SO(2).
A continuacion, identificando la contraccion Bi Ai con el producto escalar eucldeo entre vectores
a traves de Bi Ai = gij Ai B j (note que Bi Ai involucra a las componentes de un covector y un vector,
1 2 1 1 2 2
no a las componentes de dos vectores), se sigue que Bx1 Ax + Bx2 Ax = Ax B x + Ax B x . Puesto
que A~ y B ~ son campos vectoriales arbitrarios, se desprende de lo anterior que Bx1 = B x1 y
2
Bx2 = B x y por lo tanto
gx1 x1 = 1, gx1 x2 = gx2 x1 = 0, gx2 x2 = 1, (1.36)
esto es, gij = ij . As, en coordenadas eucldeas tenemos

1 1 2 2
g = x x + x x (1.37)
y (1.34) viene dado por g(A, ~ B).

~ Al espacio vectorial R2 equipado con el tensor metrico g que
en coordenadas eucldeas viene dado por (1.37) se le denominara espacio vectorial 2-dimensional
eucldeo.
A continuacion, en el espacio eucldeo (R2 , g) con g en coordenadas eucldeas dado por (1.37),
introduzcamos coordenadas polares r y definidas a traves de las relaciones
x1 = r cos , x2 = r sin

(note que la transformacion que nos lleva de coordenadas cartesianas eucldeas a coordenadas
esfericas no es una transformacion lineal). Puesto que (r, ) y (r, + 2n) representan el mismo
punto (x1 , x2 ), restringiremos los valores de a 0 < 2 de forma tal que a cada (x1 , x2 ) le
corresponda un unico . Ahora con
~x = r cos ~ex1 + r sin ~ex2 , (1.38)
se sigue que
~x
~er = cos ~ex1 + sin ~ex2 , (1.39)
r
~x
~e = r sin ~ex1 + r cos ~ex2 . (1.40)

La cobase { r , } dual a {~er , ~e } viene dada por
1 2
r = cos x + sin x , (1.41)
1 1 1 2
= sin x + cos x , (1.42)
r r
como puede verificarse facilmente. En terminos de dicha base, el tensor metrico se escribe como
g = grr r r + gr r + gr r + g , (1.43)
donde exigiremos que gr = gr . Ahora, empleando
gi0 j 0 = gij ( i , ~ei0 )( j , ~ej 0 ) (1.44)
para obtener directamente las componentes gi0 j 0 en coordenadas polares a partir de (1.37), (1.32)
y (1.41) o bien, empleando (1.20) para obtener
gi0 j 0 = gij aii0 ajj 0 , (1.45)
con aji0 dado por (1.5), encontramos
grr = 1, gr = gr = 0, g = r2 . (1.46)
1 2
Se sigue que el tensor metrico g, que en la cobase cartesiana { x , x } viene dado por (1.37), se
escribe como
g = r r + r2 (1.47)
en la cobase { r , }.
~ = Ar~er + A~e y B
Finalmente, en la base {~er , ~e } tendremos A ~ = B r~er + B ~e , el producto
~B
escalar A ~ vendra dado por
~B
A ~ g(A,
~ B)
~ = Ar B r + r 2 A B
y puesto que g(A,~ B)

~ es por construccion un invariante (no depende del sistema de coordenadas
elegido) se sigue de inmediato que Ax B x + Ay B y = Ar B r + r2 A B .
Es posible alguna otra eleccion de producto escalar en Tx (R2 )? En vez de (1.34), escojamos
como producto escalar el definido por
A ~ Ax1 B x1 Ax2 B x2 .
~B (1.48)

El producto (1.48) se preserva bajo el conjunto de transformaciones lineales

10 10
axx1 = cosh , axx2 = sinh ,
20 20
axx1 = sinh , axx2 = cosh , (1.49)
donde es un parametro real tal que 0 < y a las coordenadas cartesianas en terminos
de las cuales el producto escalar es de esta forma se les denomina coordenadas pseudo-eucldeas.
Estas transformaciones forman tambien un grupo que se denota por SO(1, 1).
En estas coordenadas tendremos que
1 1 2 2
g = x x x x (1.50)
y (1.48) viene dado por g(A,~ B).

~ Al espacio pseudo-eucldeo (R2 , g), con g en coordenadas pseudo-
eucldeas dado por (1.50), se le conoce como el espacio de Minkowski 2-dimensional y el tensor
metrico (1.50) se dice lorentziano.
1.2 La derivada covariante

En la seccion anterior definimos la derivada covariante de un campo escalar , esto es la derivada
0 0
covariante de un tensor del tipo (0), como el covector o tensor del tipo (1) dado por
i i (1.51)
(de hecho tomamos como definicion de covector a aquellos objetos que se comportan bajo transfor-
maciones generales de coordenadas como lo hace (1.51)). Es claro, este covector no debe confundirse
con el vector ~ (g ij j ) ~ei que con frecuencia se denomina gradiente de . En lo que sigue
veremos que es posible definir un operador derivada sobre tensores T de tipo arbitrario tal que su
accion tambien arroje como resultado un tensor.
1
Sea V~ un campo vectorial Tx (Rn ), esto es un tensor del tipo (0) y consideremos a continuacion
el objeto V~ ,
V~ = (V i~ei ) = (V i ) ~ei + V i (~ei ) , (1.52)
donde hemos asumido que vale la regla de Leibniz. Ahora bien, la accion de sobre la funcion V i
es como en (1.51)
V i j
V i = j V i j . (1.53)
xj
Por otro lado, escribimos
~ei = kj i j ~ek , (1.54)
donde {~ei } y { i } son bases duales y donde hemos definido

kj i ~ek ~ei . (1.55)
xj
Los kj i se denominan coeficientes conexion o conexiones.
As,
V~ = j V i j ~ei + V i kj i j ~ek
= (j V i + V k ij k ) j ~ei
(Dj V i ) j ~ei , (1.56)

donde
Dj V i j V i + ijk V k . (1.57)
1
El tensor V~ del tipo (1), definido en (1.56,1.57), se conoce como la derivada covariante del campo
vectorial V~ . Notese que la accion de sobre escalares y sobre vectores es diferente. Con la
identificacion
(Di ) i (1.58)
se desprende que
Di i . (1.59)
Es posible extender la nocion de derivada covariante a otros tipos de tensores. Para ello
definimos la derivada covariante direccional ~u V~ de V~ en la direccion de ~u
~u V~ uj (Dj V i )~ei (1.60)
y exigimos que cumpla la regla de Leibniz
~u (T S) = ~u T S + T ~u S (1.61)
para T y S tensores de tipo arbitrario.

2
Como ejemplo, consideremos a continuacion T donde T es un tensor (0). En la base escogida,
T se escribe como
T T ij ~ei ~ej . (1.62)
Ahora, con
~u (~ei ~ej ) = (~u~ei ) ~ej + ~ei (~u~ej ) , (1.63)
se sigue que
~u T = ~u (T ij ~ei ~ej )
= (~u T ij )~ei ~ej + T ij (~u~ei ) ~ej + T ij ~ei (~u~ej )
= (uk k T ij )~ei ~ej + T ij (uk lki~el ) ~ej + T ij ~ei (uk lkj ~el )
= uk (k T ij + ikl T lj + jkl T il ) ~ei ~ej . (1.64)
A continuacion, comparando con
~u T = uk (Dk T ij ) ~ei ~ej , (1.65)
se desprende que
Dk T ij k T ij + ikl T lj + jkl T il (1.66)
y definimos T como
T (Dk T ij ) k ~ei ~ej . (1.67)
2 p p
Es claro, T es un tensor del tipo (1). En general si S es un tensor (q ), S sera un tensor (q+1).

1.3 Los operadores divergencia y laplaciano

Sea V~ un campo vectorial Tx (Rn ) y sea {~ex1 , , ~exn } una base cartesiana en Tx (Rn ), entonces V~
admite la expansion V~ = V x ~ex1 + + V x ~exn . Adicionalmente, supongamos que hemos equipado
1 n
al espacio Rn con un tensor metrico g eucldeo.

Consideremos a continuacion el objeto Di V i que de acuerdo con (1.57) viene dado por
Di V i i V i + iik V k . (1.68)
Ahora, dado que los vectores base ~ex1 , , ~exn se postulan independientes de las coordenadas,
tendremos

~exj = 0, i, j
xi
de donde se sigue que todos los coeficientes conexion son cero y por lo tanto
1 n x1 n
Di V i = x1 V x + + xn V x = 1
V + + nV x . (1.69)
x x
En (1.69) reconocemos (si las coordenadas x1 , , xn son eucldeas) la expresion conocida como
la divergencia del campo vectorial V~ , que denotaremos por div V~ y que suele escribirse tambien
como ~ V~ . Por construccion (1.68) no depende del sistema de coordenadas escogido y por lo
tanto (1.68) provee la expresion a ser identificada con div V~ en cualesquiera otras coordenadas que
se obtengan (a traves de transformaciones generales de coordenadas) a partir de las coordenadas
eucldeas x1 , , xn . As definimos
div V~ Di V i . (1.70)
Por simplicidad, sea V~ un campo vectorial Tx (R2 ), {~ex1 , ~ex2 } una base cartesiana en Tx (R2 )
y supongamos equipado al espacio R2 con el tensor metrico eucldeo g dado por (1.37). V~ admite
la expansion
1 2
V~ = V x ~ex1 + V x ~ex2 (1.71)
y tendremos
1 x1
2 x2
Di V i = x1 V x + x2 V x = V + V . (1.72)
x1 x2
que es la expresion usual de la divergencia de un campo vectorial en coordenadas cartesianas. Por
otro lado, en la base {~er , ~e }, dada por (1.39,1.40), se tendra que
V~ = V r ~er + V ~e . (1.73)
Ahora,

~er =0 rrr = rr = 0 ,
r
1 1
~er = sin ~ex1 + cos ~ex2 = ~e rr = 0, r = ,
r r
1 1
~e = sin ~ex1 + cos ~ex2 = ~e rr = 0, r = ,
r r r

~e = r cos ~ex1 r sin ~ex2 = r~er r = r, = 0 .


Se sigue entonces que
divV~ Di V i = Dr V r + D V = r V r + rrk V k + V + k V k
1
= r V r + V + V r
r
1
= r (rV r ) + V , (1.74)
r
que es la expresion de la divergencia del campo vectorial V~ en coordenadas polares. Notese que
(1.74) ha sido obtenida partiendo de la expansion de V~ en una base ortogonal no normalizada. Si
se escoge trabajar en la base ortonormal definida como {er = ~er , e = 1r ~e }, entonces
1
V~ = v r er + v e = v r~er + v ~e = V r~er + V ~e
r
y por lo tanto v r = V r y V = 1r v . De aqu que
1 1
divV~ Di v i = r (rv r ) + v . (1.75)
r r
Veamos a continuacion la accion del operador escalar Di Di sobre campos escalares y vectoriales.
Sea un campo escalar definido sobre el espacio eucldeo (Rn , g). Tendremos
Di Di = Di i , (1.76)
donde hemos hecho Di = i , de acuerdo a (1.59). Ahora
Di Di = Di i = Di gik g kj j = gik Di g kj j = Dk g kj j = Di g ij j , (1.77)
donde hemos usado (1.27) y el hecho de que la operacion de derivacion covariante asociada a g
conmuta con la contraccion de indices con las componentes de g (vease el ejercicio 3). Ahora,
puesto que g ij j son las componentes de un campo vectorial, podemos emplear (??). Se sigue
que
Di Di = Di (g ij j ) = i (g ij j ) + iik (g kj j ). (1.78)
Por construccion, Di Di es un escalar y (1.78) define la expresion comunmente denominada la-
placiano del campo escalar ,
Di Di , (1.79)
donde Di Di viene dado por (1.78). Puesto que en coordenadas eucldeas todas las conexiones
son cero y g ij = ij , se sigue que
Di Di = x1 x1 + + xn xn (1.80)
que es la expresion usual del laplaciano del campo escalar (x), definido sobre el espacio eucldeo
(Rn , g), en coordenadas eucldeas.
Nuevamente, por simplicidad, consideremos un campo escalar definido sobre el espacio R2 ,
este ultimo equipado con el tensor metrico eucldeo g que en coordenadas cartesianas viene dado
por (1.37). En estas coordenadas tendremos
Di Di = x1 x1 + x2 x2 . (1.81)

Por otro lado, en coordenadas polares tendremos

Di Di = r (g rr r + g r ) + (g r r + g )
+(rrr + r )(g rr r + g r ) + (rr + )(g r r + g )
1 1
= r r + 2 + r , (1.82)
r r
esto es,
1 1
= r (rr ) + 2 . (1.83)
r r
Por ultimo, consideremos el campo vectorial (Di Di V k )~ek que definiremos como el laplaciano
del campo vectorial V~ y que denotaremos como V~ . Se tiene
V~ (Di Di V k )~ek (1.84)
= Di (i V k + kij V j )~ek
= Di ( i V k + g il klj V j )~ek (1.85)
y usando
Di T ik = i T ik + ili T lk + li T il (1.86)
(que se sigue de (1.64)) se tendra
V~ = i ( i V k + ki j i l k kl j k i l li j

j V ) + li ( V + j V ) + li ( V + j V ) ~ek , (1.87)
donde ki k li
j j l g , etc.
As, para V~ Tx (R2 ) dado por (1.71) y R2 equipado con el tensor metrico eucldeo que en
coordenadas eucldeas viene dado (1.37) obtenemos
V~ = [(x x + y y )V x ]~ex + [(x x + y y )V y ]~ey (1.88)
y en coordenadas polares obtenemos

~ r 1 r 2 2 2 r
V = {V } V V ~er + {V } + r V + 3 V ~e , (1.89)
r r r r
donde {V r } y {V } se obtienen a partir de (1.83) reemplazando por V r y V respectivamente
y donde debe recordarse que {~er , ~e } es una base ortogonal de vectores no unitarios.
1.4 Problemas y ejercicios

1. Haciendo uso de (1.8) para obtener i , obtenga B para B un campo covector y demuestre
que en este caso se tiene
B = j Bi kji Bk j i .

1
2. Obtenga T para T un tensor del tipo (1).
0
3. Obtenga T para T un tensor del tipo (2). A continuacion, muestre de manera explcita
que g = 0 para g dado por (1.47). Note que este resultado es el esperado, como se sigue del
hecho de que g es una expresion covariante y de que g = 0 en coordenadas cartesianas. Se
dice que es el operador derivada asociado a g y la correspondiente operacion de derivacion
covariante conmuta con la contraccion de indices con las componentes de g.

4. Usando el hecho de que la derivada covariante de un campo vectorial V~ (definida por

1
(1.56,1.57)) es un tensor del tipo (1), muestre que las conexiones kji definidas en (1.55) no
son las componentes de un tensor.
5. Calcule las derivadas covariantes direccionales ~u ~er y ~u ~e a lo largo de los vectores ~u = ~er
y ~u = ~e , con ~er y ~e dados por (1.39) y (1.40) respectivamente.
Referencias
B. Felsager, Geometry, Particles and Fields. Springer Verlag. 1998.
B. Schutz, Geometrical methods of mathematical Physics. Cambridge University Press. 1990.
Y.Choquet-Bruhat, C. De Witt-Morette and M. Dillard-Bleick, Analysis, Manifolds and Physics,
Part 1. (revised edition) North Holland. 1996.
B. A. Dubrovin, A. T. Fomenko and S. P. Novikov, Modern Geometry - Methods and Applications,
Part 1. (2nd edition). Springer. 1992.

Captulo 2
Distribuciones
Este captulo provee una introduccion a la teora de distribuciones. La primera definicion de dis-
tribucion en el sentido moderno, esto es como funcional, se debe a Sovolev (1936). En lo que
sigue, revisaremos la teora de distribuciones de L. Schwartz (1950), considerada en la actualidad
como la teora adecuada para tratar funciones impropias de manera matematicamente riguro-
sa. Posteriormente, en los captulos siguientes, veremos que la teora de distribuciones es una
herramienta esencial en la construccion de soluciones para las Ecuaciones Diferenciales Parciales
(EDPs) lineales.
2.1 Funciones de prueba

Definicion 1 Una funcion de prueba (x) = (x1 , x2 , x3 , , xn ) sobre Rn es una funcion infini-
tamente derivable sobre Rn y que es identicamente nula fuera de un subconjunto cerrado K de Rn .
El espacio de todas las funciones de prueba sobre Rn se denotara por D. A K se le denomina el
soporte de . A D se le conoce tambien como el espacio de las funciones infinitamente derivables
con soporte compacto C0 (Rn ).
Ejemplo 1
En Rn , la funcion definida por

(x) =
0
1
si |x| 1
exp 1x 2 si |x| < 1
es una funcion de prueba. El soporte de (x) es |x| 1.
Ejemplo 2
Si 1 (x) y 2 (x) son funciones de prueba sobre Rn , tambien lo es c1 1 (x) + c2 2 (x) con c1 y c2
reales. D es entonces un espacio vectorial.
Introduzcamos a continuacion una topologa o nocion de convergencia en el espacio de funciones
de prueba D. Diremos que una sucesion de funciones {j } D converge a D para j si:
1. Los soportes de las j estan contenidos en un mismo conjunto acotado, independiente de j.
(n)
2. Las derivadas de todo orden n, j , de las j convergen uniformemente para j a las
derivadas correspondientes (n) de , esto es,
(n)
|(n) (x) j (x)| paraj , con tan pequeno como se quiera.
23
2.2 Distribuciones
Definicion 2 Diremos que f es un funcional lineal sobre D si existe una regla que asigna a cada
(x) D un numero real que denotaremos por hf, i, tal que
hf, 1 1 + 2 2 i = 1 hf, 1 i + 2 hf, 2 i
con 1 y 2 reales.
Definicion 3 Diremos que T es un funcional lineal continuo sobre el espacio vectorial D, si hT, j i
converge a hT, i siempre que {j } converja a en el sentido de la topologa de D. Denominaremos
distribuciones a los funcionales lineales continuos sobre D y denotaremos por D0 al espacio de las
distribuciones.
El espacio de las distribuciones, D0 , es el dual (topologico) del espacio vectorial topologico D
definido en 2.1. Por otro lado, D0 es un espacio vectorial tambien, estando definida la suma T1 + T2
y el producto T , con real, por
hT1 + T2 , i = hT1 , i + hT2 , i,
y
hT, i = hT, i.
Definicion 4 El soporte de una distribucion T es el conjunto cerrado mas pequeno fuera del cual
T es nula.
Veamos algunos ejemplos de distribuciones.
Ejemplo 3
Sea L1loc (Rn ) el espacio de las funciones localmente integrables sobre Rn , esto es, integrables sobre
todo dominio acotado de Rn . Sea f L1loc (Rn ), entonces f define a la distribucion f : D(Rn ) R
a traves de Z
(x) 7 dn xf (x)(x), D(Rn )
Rn
y hacemos la identificacion
Z
hf, i dn xf (x)(x).
Rn
Decimos que la distribucion as definida es regular.

Ejemplo 4
Sea un dominio en Rn y considere el funcional sobre D definido por
Z
hI , i dn x(x).

Este funcional es una distribucion.

Ejemplo 5
Introduzcamos a continuacion la distribucion de Dirac.

1. En R1 , la distribucion (0) de Dirac es la distribucion definida por
h(0) , i = (0), D(R1 ). (2.1)
El soporte de (0) es el punto 0 de R1 . Con frecuencia se escribe (0) = (x).
2. La distribucion de Dirac (a) con soporte en el punto a de Rn , definida por
h(a) , i = (a), D(Rn ). (2.2)
Vamos a demostrar a continuacion que (0) es un tipo de distribucion que denominaremos singular,
en contraposicion a las ya definidas distribuciones regulares. Si fuese regular entonces existira
una funcion f (x) localmente integrable tal que
Z
dn xf (x)(x) = (0) D(Rn ). (2.3)
Rn
Considerese la funcion de prueba dada por

(
0, si |x| a
a (x) = 2
exp |x|2aa2 , si |x| < a
donde
1
a (0) = ,
e
1
|a (x)| .
e
Se tiene

2
Z Z 1 Z
n
n a
d xf (x)a (x) = d xf (x) exp dn x|f (x)|.

|x|2 a2 e
n
R |x|<a |x|<a
R
Si f (x) es localmente integrable entonces lim dn x|f (x)| = 0. Se sigue entonces que
a0
|x|<a
Z
lim dn xf (x)a (x) = 0,
a0
Rn
lo que contradice nuestra suposicion inicial, ecuacion (2.3).
Ejemplo 6
Si f (x) es localmente integrable, tambien lo es f (x/), real diferente de cero. La distribucion
f (x/) : D(Rn ) R viene definida por
Z
hf (x/), (x)i = dn x f (x/)(x), D(Rn )
Rn

y dado que
Z Z
n n
d x f (x/)(x) = || dn y f (y)(y),
Rn Rn
se tendra
hf (x/), (x)i = ||n hf (x), (x)i, D(Rn ).
Ahora bien, sea ( f ) (x) f (x/). Entonces
h( f ) (x), (x)i = ||n hf (x), (x)i
y Tx D0 (Rn ) la distribucion ( T )x viene definida por
h( T )x , (x)i = ||n hTx , (x)i, D(Rn ).
En R1 , si (0) es la distribucion de Dirac con soporte en el origen se tendra
h( )(0) , i = ||h(0) , (x)i = ||(0)
y por lo tanto, en R1 y con 6= 0 se tendra
( )(0) = ||(0) ,
que usualmente se escribe como (x/) = ||(x).
2.3 Multiplicacion de distribuciones

La multiplicacion ST , de dos distribuciones arbitrarias S y T , no tiene en general sentido como
distribucion. Por ejemplo, una funcion f localmente integrable define una distribucion, sin embargo
f 2 no es necesariamente localmente integrable y de aqu que no necesariamente le este asociada
una distribucion. Sin embargo, es posible en algunos casos obtener una distribucion bien definida
a partir del producto de distribuciones particulares.
Definicion 5 El producto T , con T una distribucion arbitraria y una funcion infinitamente

derivable en el sentido usual, define a la distribucion
hT, i hT, i.
As, en R1 se tiene
h(0) , i = h(0) , i = (0)(0) = h(0)(0) , i,
esto es,
(0) = (0)(0)
y en particular
x(0) = 0.
Por otro lado, se puede demostrar que no es posible definir un producto de distribuciones
cualesquiera que tenga las propiedades usuales de asociatividad y conmutatividad.

Ejemplo 7
Sea vp x1 el valor principal de Cauchy de 1
x
en R1 , definido por
Z Z
1
hvp , i lim+ dx + dx
x 0 x x
para D(R1 ). Tenemos

1 1
0 = ((0) x)vp 6= (0) (x vp ) = (0) ,
x x
que muestra claramente la no asociatividad.
2.4 Derivacion de distribuciones

Una de las razones que nos lleva a considerar la idea de distribucion es la posibilidad de extender
la nocion de derivada. Sea f (x) una funcion localmente integrable y continuamente diferenciable
en Rn . A f (x) se le asocia de manera natural la distribucion regular
Z
hf (x), (x)ix = dn xf (x)(x), D(Rn ).
Rn
f
En este caso, la distribucion vendra dada por
x1
Z Z Z Z Z
f n f 2 3 n f
1
, (x) = d x 1 (x) = dx dx dx dx1 1 (x)
x x x x
Rn
Z

Z Z

= dx2 dxn f (x)(x)|
dx1 f (x) 1
x

Z Z Z

= dx1 dx2 dxn f (x) 1
x

= f (x), 1 (x) .
x x
As, en general se tendra

f (x)
, (x) = f (x), i (x) , (2.4)
xi x x x
lo que sugiere la siguiente definicion.
Definicion 6 T D0 , la distribucion T
xi
viene dada por

T
, (x) = T, i (x) , D(Rn ). (2.5)
xi x x x

Sea D el operador diferencial de orden p en n variables independientes x1 , x2 , , xn

X
D= ak D k , (2.6)
|k|p
con
Dk = (1 )k1 (2 )k2 . (n )kn , |k| = k1 + k2 + + kn , (2.7)
donde todos los coeficientes ak se suponen constantes. Entonces
hDTx , (x)i = hTx , D (x)i, D(Rn ), (2.8)
donde X
D = (1)|k| ak Dk (2.9)
|k|p
se conoce como el operador adjunto de D. Si D = D, se dice que D es autoadjunto.

Ejemplo 8
Sea D = , con = i i i el operador laplaciano en coordenadas cartesianas. Se tiene =
P
y por lo tanto es autoadjunto.
Ejemplo 9
Considerese a continuacion el operador diferencial lineal de segundo orden en una variable definido
por
d d
L p(x) + q(x), (2.10)
dx dx
donde p(x) y q(x) se suponen funciones infinitamente derivables. Entonces, Tx D0 (R1 ) y
D(R1 ) se tiene
hLTx , (x)i = hTx , L(x)i. (2.11)
L dado por (2.10) es autoadjunto.
Ejemplo 10
En R1 , sea (x) la distribucion de Heaviside, asociada a la funcion localmente integrable = 1 si
x > 0 y = 0 si x < 0. Entonces,
Z Z
d d d d
(x), = (x), = dx(x) = dx = (0).
dx dx dx dx
0
Por lo tanto,
d
(x) = (0) ,
dx
en el sentido de las distribuciones.
Ejemplo 11
En R1 , sea (x) una funcion infinitamente derivable en el sentido usual de la teora de funciones
y sea = (0) la distribucion delta de Dirac con soporte en x = 0. Entonces,
h 0 , i = h 0 , i = ()0 |x=0 = 0 (0)(0) (0)0 (0).

Se sigue que
0 = (0) 0 0 (0),
y en particular,
x 0 = ,
x2 0 = 0,
x (m) = m (m1) .
Por ultimo, consideremos un ejemplo en R3 sumamente importante.
Ejemplo 12
Sea el operador laplaciano. En R3 tenemos en el sentido de las distribuciones
1
= 4(~0) .
|~x|
Por supuesto, r1 = |~x|1 no es derivable en r = 0 en el sentido usual de la teora de funciones.
Ahora bien, en el sentido de las distribuciones se tiene

1 1
, = (x x + y y + z z ) ,
r r

2 1
= (1) ( , (x x + y y + z z )
r

1
= ,
r
y por lo tanto
Z Z
1 2 1
, = lim dr r d .
r 0 r

Esta ultima integral puede evaluarse usando la identidad de Green
Z Z
3 g f
d x(f g gf ) = da f g ,
n n

~
donde es la superficie que encierra al volumen , n es la normal a externa a y n
n
~ el operador gradiente. Tenemos,
con
Z Z Z
2 1 1 1 1
dr r d = da ,
r r r r r r
r=
donde {} indica derivacion en el sentido usual de la teora de funciones. Es trivial verificar que
{ 1r = 0} y por lo tanto
Z Z Z
2 1 1 1
dr r d = da
r r r r r
r=
Z Z
1 1
= da da 2 .
r
r= r=


Puesto que < M D, entonces
r

Z Z
da 1 M da = M 42 0,

para 0.

r

r= r=
Se sigue entonces
Z Z Z Z
1 1 1
dr r 2
d = 2 da(~x) = 2 da[(~0) + ((~x) (~0))],
r
r= r=
Z
1 1
= 2 42 (~0) 2 da((~x) (~0)).

r=
En virtud de la continuidad de , la ultima integral del miembro derecho tiende a cero para 0
(note que da 2 ), entonces
1
, = 4(~0)
r
y por lo tanto
1
= 4(~0) .
r
2.5 Sucesiones y series de distribuciones

Proposicion 1 Sea {f (x)} una familia de funciones localmente integrables sobre Rn tales que
lim f (x) = f (x)

0
uniformemente sobre toda bola acotada en Rn , entonces f f en el sentido de las distribuciones

para 0 .
As, una manera usual de introducir la distribucion de Dirac, consiste en representarla median-
te sucesiones o series de funciones. Por ejemplo, si {f (x)} es una familia de funciones localmente
integrables en Rn tales que
Z
lim dn xf (x)(x) = (0) D,
0
Rn
diremos que el conjunto {f (x)} es una familia n-dimensional.

Veamos algunos ejemplos de familias en R1 .
Ejemplo 13
{ft (x)} para t 0+ con
x2
e 4t
ft (x) =
4t
ft (x) se conoce con el nombre de kernel de Gauss.

Ejemplo 14
{fr ()} para r 1 con (
1 1r 2
1+r 2 2r cos
si ||
fr () = 2
0 si || >
A fr () se le conoce como el kernel de Poisson.
Ejemplo 15
{fk (x)} para k con fk (x) el kernel de Dirichlet:

k
P 1 imx
e si |x|
fk (x) = m=k 2
si |x| >

0
2.6 Producto tensorial de distribuciones

Sean X m y Y n dos espacios eucldeos de dimensiones respectivas m y n. Si f (x) es una funcion sobre
X m y g(y) una funcion sobre Y n , el producto tensorial f (x)g(y) es una funcion h(x, y) = f (x)g(y)
definida sobre Z m+n = X m Y n . En particular, si f y g son localmente integrables sobre X m y Y n ,
h es localmente integrable sobre Z m+n y se puede pensar en extender el producto tensorial a las
distribuciones.
Sean Dx , Dy , Dxy los espacios D de las funciones infinitamente derivables con soporte aco-
tado sobre X m , Y n , X m Y n respectivamente y Dx0 , Dy0 , Dxy
0
los espacios D0 de las distribuciones
correspondientes. Es facil ver que:
Proposicion 2 Si Sx Dx0 y Ty Dy0 , existe una distribucion Wxy Dxy0

bien determinada y
unica, tal que, Dxy de la forma (x, y) = u(x)v(y) con u Dx y v Dy se tiene
hWxy , i = hWxy , u(x)v(y)i = hS, uihT, vi.
Wxy es el producto tensorial de las distribuciones S y T : W = ST . En general, para (x, y) Dxy
se puede calcular hW, i por la regla de Fubini. Fijando x, entonces (x, y) se piensa como una
funcion Dy y se tiene
(x) = hTy , (x, y)i,
numero que depende de x. Ahora, como funcion de x, Dx y se tendra
hW, i = hS, i = hSx , hTy , (x, y)ii.
Analogamente,
hW, i = hTy , hSx , (x, y)ii.
Proposicion 3 El soporte de W es el producto AB de los soportes de S y T , esto es, el conjunto

de puntos (x, y) tal que x A, y B.
Lo anterior es trivialmente extendible al caso de un numero arbitrario finito de distribuciones.
Por ejemplo, es facil ver que
Rx Sy Tz = Rx (Sy Tz ) = (Rx Sy ) Tz ,
empleando la regla de Fubini.
Consideremos a continuacion algunos ejemplos.

Ejemplo 16
Una funcion g se dice independiente de x si es de la forma g = 1x g(y). De la misma manera,
diremos que una distribucion es independiente de x si es de la forma 1x Ty :
Z * Z +
h1x Ty , i = dm xhTy , xy i = Ty , dm x(x, y)
xm xm
Ejemplo 17
Sean Dxp y Dyq dos operadores diferenciales con respecto a las variables x, y, respectivamente.
Entonces,
Dxp Dyq (Sx Ty ) = (Dxp Sx ) (Dyq Ty )
Ejemplo 18
En coordenadas cartesianas, la distribucion en R3 con soporte en ~x = ~0,
(~0) x y z
y que escribiremos usualmente como

(~0) = (~x).
Ejemplo 19
Considerese en Rn , en coordenadas cartesianas, la distribucion
= (x1 ) (x2 ) (x3 ) (xn )
donde (xi ) es la funcion de Heaviside para la variable xi . Es facil ver que

n
= (~x)
x1 x2 xn
con ~x Rn .
2.7 El producto de convolucion

Definicion 7 Sean S y T dos distribuciones sobre Rn . Se llama producto de convolucion S T a
la distribucion sobre Rn definida por
hS T, i = hS T , ( + )i.
Es claro, si existe S T tambien existe T S y se satisface S T = T S.

El producto de convolucion definido arriba tiene sentido si los soportes A y B de S y T son
tales que, para A y B, + acotado implica y ambos acotados. Esto garantiza que
la interseccion entre el conjunto de puntos (, ), soporte de S T y el soporte de , permanece
acotado. Observese que aunque (x) para x Rn sea de soporte acotado, ( + ) no lo es.
Si f y g son dos funciones localmente integrables y sus soportes verifican las condiciones arriba
mencionadas, f g es una funcion h localmente integrable dada por
Z Z
h(x) = d yf (x y)g(y) = dn yf (y)g(x y) .
n
Rn Rn

Esto puede verse facilmente haciendo W = f g

Z Z
hW, i = hf g , ( + )i = d df ()g()( + )
y con el cambio de variables x = + , y = , dd = dxdy se tiene

Z Z Z
hW, i = dx dyf (x y)g(y) (x) = dxh(x)(x).
Ejemplo 20
En R1 , consideremos a continuacion la distribucion G definida por
x2

1
G = exp 2 .
2 2
Es facil demostrar que

G G = G2 + 2 .
G (x) considerada como densidad de probabilidad para la variable x se conoce comunmente como
la distribucion de Gauss y satisface
Z
x dx x G (x) = 0,

esto es, el valor medio de la variable x es cero y

1/2
Z

x2 dx x2 G (x) = ,

de donde se desprende
p que es la desviacion cuadratica media de la variable x en torno de su
valor medio, x2 x2 .
Si dos variables aleatorias, reales e independientes, siguen la distribucion de Gauss con desvia-
ciones medias y , la suma sigue la distribucion
G G = G2 + 2 ,

que es tambien una distribucion de Gauss con desviacion 2 + 2 . En particular, la suma de n
variables aleatorias independientes que siguen,
cada una, la distribucion de Gauss, obedece tambien
una distribucion de Gauss con desviacion n. De aqu que la media aritmetica de los resultados
de n medidas arroje un error del orden de nn = 1n .
Proposicion 4 En R1 , si (x) es una funcion infinitamente derivable (en el sentido usual de la

teora de funciones) y T una distribucion arbitraria, T es una funcion infinitamente derivable,
en el sentido usual, dada por
h(x) = (T )(x) = hTy , (x y)i.

La demostracion es sencilla,
hT , i = hT (), ( + )i = hT , h(), ( + )ii

Z Z
= T , d()( + ) = T , dx(x )(x)
Z Z
= dxhT , (x )i(x) = dx h(x)(x) = hh, i.

Se dice que la convolucion con es una regularizacion de T provista por .
En R1 , si T es de soporte acotado se llama transformada de Laplace de T a la funcion de
variable compleja T (s) definida por
T (s) hT(x) , esx ix .
En relacion a la transformada de Laplace del producto de convolucion S T tenemos el siguiente

resultado, conocido como el teorema de convolucion para transformadas.
Proposicion 5 La transformada de Laplace de S T es el producto ordinario de las transformadas

de Laplace de S y T ,
(S T )= S T .
Se tiene que
s
hS T, esx i = hS() T() , es(+) i = hS() T() , e es i
= hS() , es i hT() , es i
= S(s)T (s).

Veamos a continuacion algunas propiedades de la convolucion con la distribucion y sus deri-
vadas.
Proposicion 6 En R1 , para T una distribucion cualquiera, se tiene
1. (0) T = T ,
2. (a) T = Txa ,
0
3. (0) T = T 0.
Pruebas:
1. Partiendo de la definicion del producto de convolucion se tiene
h(0) T, i = h() T , ( + )i = hT , h(), ( + )ii

= hT , ()i = hT, i
y por lo tanto
(0) T = T,

(0) es la unidad del producto de convolucion. Con frecuencia, esto se escribe como
Z
d (x )T () = T (x) .
2. Para T D0 se define
hTxa , i hTx , (x + a)i,
que no es mas que la extension, para T arbitraria, de la expresion correspondiente para la distri-
bucion asociada a una funcion localmente sumable. Ahora,
h(a) T, i = h( a) T , ( + )i = hT , h( a), ( + )ii

= hT , (a + )i = hTxa , i.
3. Se tiene
0
h(0) T, i = h 0 () T , ( + )i = hT , h 0 (), ( + )ii
= hT , 0 ()i = hT, 0 i
= hT 0 , i
(n)
y en general (0) T = T (n) .
n
Si D es un operador diferencial con coeficientes constantes en R y (0) la distribucion de Dirac
en Rn con soporte en el origen, entonces
(D(0) ) T = DT.
As,
D(T S) = D(0) (T S) = (D(0) T ) S = DT S
o bien
D(T S) = D(S T ) = D(0) (S T ) = (D(0) S) T = DS T
y por lo tanto
D(T S) = DT S = T DS.
Ejemplo 21
El producto de convolucion
1
= ,
r
aparece en la teora electromagnetica clasica de Maxwell, donde es el potencial electrostatico
asociado a la distribucion de carga (de soporte acotado) y r = |~x|. Con el operador laplaciano
en R3 se tiene
1 1
= = = (4(0) ) = 4,
r r
que es la ecuacion de Poisson.

2.8 Ecuaciones de convolucion

Sea A0 un algebra de convolucion, es decir, un subespacio vectorial del espacio D0 tal que A0 es
cerrado con respecto al producto de convolucion de un numero finito de distribuciones A0 , que
dicho producto sea conmutativo y que (0) A0 .
Ejemplos.
1. A0 = E 0 el algebra de convolucion de las distribuciones con soporte acotado en Rn
2. A0 = D0 (R+ ) el algebra de convolucion de las distribuciones con soporte en la semirecta x 0
en R1 . Usualmente D0 (R+ ) se denota por D+ 0
.
3. A0 = D0 (+ ) el algebra de convolucion de las distribuciones en R4 con soporte en el cono de
luz futuro + = {x R4 : (x1 )2 + (x2 )2 + (x3 )2 (x0 )2 , x0 0}.
Se entendera por ecuacion de convolucion una expresion de la forma
A X = B,
donde A, B y X estan en A0 , A y B son conocidos y X es la incognita.
Proposicion 7 Para que A X = B tenga solucion, es necesario y suficiente que A posea una
inversa A1 A0 , tal que
A1 A = A A1 = (0)
y por lo tanto X = A1 B. Se denominara a A1 solucion elemental de la ecuacion de convolucion
A X = B.
Ejemplo 22
Es crucial el hecho de estar en un algebra de convolucion para que una ecuacion de convolucion
tenga una solucion unica. Por ejemplo, en R3 con el operador laplaciano y r = |~x| se tiene
(ejemplo 12)
1
= 4(0) .
r
Se sigue que existe una inversa ((0) ) = 1/4r D0 (R3 ), pero D0 (R3 ) no es un algebra de
1
convolucion. As, para la ecuacion de Poisson

= 4,
la solucion no es unica, ya que
= = ( X)
si X satisface
X = X = 0.
Por otro lado, puesto que 1/4r no es de soporte acotado, la convolucion
()1 (4) = (1/4r) (4)
tiene sentido solo si es de soporte acotado. Tendremos entonces que la solucion general de la
ecuacion de Poisson viene dada por
1
= + X,
r
donde debera ser necesariamente de soporte acotado y X una distribucion que satisface X = 0
pero por lo demas arbitraria.

0
Considerese a continuacion el algebra D+ y sea = (0) . Se tiene el siguiente resultado.
Proposicion 8 Sea D el operador diferencial de orden m con coeficientes constantes en una va-
riable
dm dm1 d
D = m + a1 m1 + + am1 + am .
dx dx dx
0
D es invertible en D+ y se tiene que (D)1 = Z, donde es la distribucion de Heaviside y Z
es la solucion de la ecuacion homogenea DZ = 0 que verifica las condiciones iniciales
Z(0) = Z (1) (0) = = Z (m2) (0) = 0 y Z (m1) (0) = 1.
A (D)1 se le denominara solucion elemental para el operador D.

Tenemos,
D(Z) = (Z (m) + Z (m1) (0) + + (m1) Z(0))

+a1 (Z (m1) + Z (m2) (0) + + (m2) Z(0))
+ + am1 (Z (1) + Z(0)) + am Z .
De las condiciones iniciales y con DZ = 0 se sigue que
D(Z) = .
Ahora,
D(Z) = D(Z) = D (Z) =
y por lo tanto
(D)1 = Z.

Ejemplo 23
d

1. La solucion elemental para D = dx
, con una constante real arbitraria, viene dada
por
( 0 )1 = (x)ex .
2
d 2
2. La solucion elemental para D = dx 2 + , con una constante real arbitraria diferente de
cero, viene dada por
sin x
( 00 + 2 )1 = (x) .


1. En R1 , calcule en el sentido de las distribuciones
d2 d3 x2

d
(a) 2 |x|, (b) 3 (x) , (c) log |x|.
dx dx 2! dx
2. En R1 , pruebe la identidad
(m) (m1)
x(0) = m(0) .

3. Sea f la distribucion definida sobre (x) D(R) asociada a la funcion
+1, (2k 1) 2 < x < (2k + 1) 2

f (x) =
1, (2k + 1) 2 < x < (2k + 3) 2

donde k toma todos los valores enteros positivos, negativos y cero. Calcule df /dx en el
sentido de las distribuciones.
d2 d2
(a) ((x) cos x), (b) | cos x|.
dx2 dx2
2
((x) (y))
xy
6. Demuestre que en R2 , 1
2
log |~x|1 satisface en el sentido de las distribuciones
1
log |~x|1 = (~x),
2
donde es el operador laplaciano.
7. Pruebe que el conjunto {f (x)} para 0+ es una familia en R1 con f (x) dado por
1
f (x) =
+ x2
2
Ayuda: tenemos
Z Z Z
lim dxf (x)(x) = lim+ dxf (x) ((x) (0)) + dxf (x)(0) .
0+ 0
A continuacion, haciendo el cambio x = y, evalue esta ultima expresion. Haga uso del hecho
de que las (x) son funciones infinitamente derivables con continuidad y de soporte acotado.
8. Sea {f (x)} la familia de funciones localmente integrables en R1 con f (x) dada por
f (x) = exp( exp(x)) .
Evalue df (x)/dx en el sentido de las distribuciones. A continuacion, demuestre que
lim df (x)/dx = (x)

y deduzca a partir de esto que {f (x)} es una familia Heaviside para .

9. En R1 , considerese la distribucion asociada a la funcion localmente integrable f (x) = (x) ln x

definida por Z
hf, i lim+ dx ln x (x).
0
Evalue df /dx en el sentido de las distribuciones y muestre que
Z
df 1
h , i = lim+ dx (x) + () ln .
dx 0 x
A continuacion, utilizando la descomposicion (x) = (0) + [(x) (0)], muestre que
Z A
df (x) (0)
h , i = dx + (0) ln A ,
dx 0 x
donde hemos supuesto que el soporte de [A, A]. Muestre ademas que esta ultima
expresion no depende de A. La distribucion as definida se conoce como parte finita de x1 y
se denota usualmente como Fp x1 .
10. Sea R2 la region interior al cuadrado cuyos vertices son los puntos (1, 1), (2, 0), (3, 1),
(2, 2). Sea E(x, y) la funcion indicadora definida por

+1, (x, y) ,
E(x, y) =
0, (x, y) R2 y (x, y)
/ .
Calcule en el sentido de las distribuciones y y E x x E.
11. Efectue los productos de convolucion que se indican a continuacion
(a) (x a) (x b)
(b) (x) cos(x) ( 0 (x) + (x))
(c) (x) sin x (x) sinh 2x
12. Demuestre
(a) (x)eix (x)eix = (x) sin x

(b) (x)e 2x
(x)e 2x
= (x) sinh 2x/ 2
13. Efectue el producto de convolucion Pa Pb con

1 a
Pa = ,
x + a2
2
donde a es una constante positiva.

En todos los problemas que siguen, denota a la distribucion de Dirac (0) en R1 .
0
14. Encuentre en D+ la inversa de 00 + 2 0 + 02 . Trate los casos 2 > 2 y 2 < 2 .
0
15. Encuentre la inversa en D+ de D con D dado por
d4 d2

d d d d
D = 4 2 2= +i i 2 + 2
dx dx dx dx dx dx

16. Demuestre
0 (x)ex ( 0 ) = 00 0

y de aqu que
1 1
0 (x)ex
= ( 0 ) ( 00 0 ) .
1
Utilice esta ultima expresion para encontrar 0 (x)ex .
17. Sea (x) D+ 0

definida por (x) = ( 0 )1 = (x)ex y considerense los productos
de convolucion siguientes.
0
(a) i. Sea 2 (x) D+ definida por 2 (x) = (x) (x). Entonces,
2 2 1 1
( 0 ) = 2 (x), donde ( 0 ) ( 0 ) ( 0 ) .
Encuentre de manera explcita 2 (x).

0
ii. Sea 3 (x) D+ definida por 3 (x) = (x) (x) (x). Entonces,
3
( 0 ) = 3 (x),
donde
3 1 1 1
( 0 ) = ( 0 ) ( 0 ) ( 0 ) .
Encuentre de manera explcita 3 (x).
iii. Muestre que estos resultados se pueden generalizar a
m
( 0 ) = m
(x),
donde
m 1 1 1
( 0 ) ( 0 ) ( 0 ) ... ( 0 ) (m veces)
y
xm1
m
(x) = (x) e
x
.
(m 1)!
0
(b) Considere a continuacion la distribucion (x) D+ definida por
x1
(x) = (x) ex ,
()
donde es la funcion gamma de Euler. Muestre que
1 1
2 (x) 2 (x) = (x).
Este resultado sugiere la siguiente definicion

1
12
( 0 ) 2 (x)
Las convoluciones de este tipo juegan un papel importante en la teora de derivacion

de orden fraccional.

18. Considerese la ecuacion de convolucion
F + K F = G,
0
donde F , K y G pertenecen a D+ , con K = (x)k(x), G = (x)g(x) y F = (x)f (x),
el kernel k(x) y la funcion g(x) se suponen conocidos y localmente sumables y se desea
conocer f (x).
Si existe ( + K)1 , se sigue que
F = ( + K)1 G
y suponiendo valida la expansion

X
1 {1} {2} {3}
( + K) =K +K K + ... = + (1)n K {n} + H,
n=1
donde
K {n} K K ... K (n veces),
se desprende que
F = ( + H) G.
Para k(x) = ex , muestre que H viene dado por H = (x)e(1)x .
La ecuacion de convolucion F = G + H G es un tipo particular de las denominadas ecua-
ciones integrales de Volterra de segunda especie, aunque no todas las ecuaciones integrales
de Volterra son ecuaciones de convolucion en el sentido de la seccion 2.7.
Referencias
L. Schwartz, Mathematics for the Physical Sciences. Hermann, Paris (1968).
I. Stakgold, Greens functions and Boundary Value Problems. Wiley, New York (1979).
Part 1. North Holland. 1982.


Captulo 3
Ecuaciones diferenciales ordinarias.

Funciones de Green.
En este captulo revisaremos la resolucion de aquellos problemas de valores iniciales y de contorno,

que involucran ecuaciones diferenciales ordinarias, empleando la solucion elemental o funcion de
Green asociada al problema.
3.1 El problema de valores iniciales

Busquemos a continuacion la solucion (en el sentido de la teora de funciones) de la ecuacion
diferencial ordinaria no homogenea
Lx y = f (x), x > 0, (3.1)
con Lx definido por
dm dm1 d
Lx = + a 1 + + a m1 + am , (3.2)
dxm dxm1 dx
donde los coeficientes {ai , i = 1, 2, , m} son todos constantes, f (x) es una funcion conocida y
sobre y se imponen las condiciones iniciales
y(0) = 0 , y (1) (0) = 1 , ..., y (m1) (0) = m1 . (3.3)
Proposicion 9 Existe una unica solucion al problema de valores iniciales (3.1,3.2,3.3) dada por
Zx m1
X
y(x) = dZ(x )f () + k Z (k) (x), (3.4)
0 k=0
donde Z(x) es la solucion al problema de valores iniciales para la ecuacion homogenea

Lx Z = 0, x > 0, (3.5)
que satisface las condiciones iniciales
Z(0) = Z (1) (0) = . . . = Z (m2) (0) = 0, Z (m1) (0) = 1 (3.6)
y donde
k = m1k + a1 m2k + + am1k 0 . (3.7)
43
0
Considerese la distribucion (x)y(x) D+ . Tendremos (en el sentido de las distribuciones)
Lx (y) = (y m + y m1 (0) + + (m1) y(0))

+a1 (y m1 + y m2 (0) + + (m2) y(0))
+ + am1 (y (1) + y(0)) + am y
m1
X
= Lx y + k (k) ,
k=0
donde
k = y (m1k) (0) + a1 y (m2k) (0) + + am1k y(0),

= m1k + a1 m2k + + am1k 0 .
Ahora bien,
Lx (y) = Lx (y) = Lx (y)
y con (Lx )1 = Z (vease Proposicion 8) se sigue que
y = (Lx )1 Lx (y) = Z D(y).
Por lo tanto, !
m1
X
y = Z Lx y + k (k) ,
k=0
esto es,
m1
X
y = Z Lx y + k Z (k) .
k=0
Puesto que Lx y = f , se tendra
hZ Lx y, i = hZ f, i
Z Z
= d d ()Z()()f () ( + )
Z Z
= d d Z()f () ( + )
0 0
Z Zx
= dx d Z(x )f () (x)
0 0
donde se ha hecho el cambio de variables x = + y = . Se sigue que

Zx
Z Lx y = dZ(x )f () .
0
Por otro lado,

Z (m) = (Z)m

y se tendra
Zx m1
X
y = d Z(x )f () + k (Z),(k) ,
0 k=0
esto es
Zx m1
X
y(x) = d Z(x )f () + k Z (k) (x)
0 k=0
para x > 0.
1
La solucion elemental (Lx ) = Z se conoce comunmente como la funcion de Green para Lx en
0
D+ .
Ejemplo 24
Considere el problema del oscilador armonico forzado descrito por el problema de valores iniciales
d2

2 F dx
x(t) + x(t) = sin t, x(0) = a, = 0.
dt2 m dt t=0
d2
En este caso Lt = dt2
+ 2 y tenemos que
sin t
(Lt )1 = (t) .

Por lo tanto, la solucion al problema viene dada por
Zt
sin (t ) F
x(t) = d sin + a cos t .
m
0
3.2 El problema de contorno

El problema de contorno que nos ocupara por el momento, consiste en encontrar la solucion a una
ecuacion diferencial ordinaria con condiciones de contorno prescritas en dos puntos. Este difiere,
de manera importante, del problema de valores iniciales para el cual existe una solucion unica que
satisface condiciones en un punto.
El problema de contorno en dos puntos lineal puede plantearse de la manera siguiente
Lx y = f (x), a < x < b,
Ui y = i , 1 i n,
donde Lx es un operador diferencial lineal de orden n
dn dn1 d
Lx = an (x) n
+ a n1 (x) n1
+ + a1 (x) + a0 (x), (3.8)
dx dx dx
y Ui es el operador definido por
n
X
Ui y (cij y (j1) (a) + dij y (j1) (b))
j=1

dj y
donde cij , dij y i son constantes y y (j) . En general, el problema de contorno puede no
dxj
tener solucion y si la tiene puede no ser unica.
En lo que sigue consideraremos el problema de contorno para operadores diferenciales lineales de
segundo orden autoadjuntos. Como veremos, las ecuaciones diferenciales ordinarias que aparecen
al separar variables en un gran numero de ecuaciones diferenciales parciales de interes involucran
a operadores de este tipo.
Considerese entonces la ecuacion diferencial ordinaria no homogenea dada por
Lx y = f (x), (3.9)
donde Lx es el operador diferencial lineal de segundo orden autoadjunto (vease ejemplo 9)

d d
Lx p(x) + q(x). (3.10)
dx dx
Se dice que (3.9,3.10) esta dada en la forma de Sturm-Liouville. Notese que cualquier ecuacion
diferencial ordinaria lineal de segundo orden no homogenea
d2 d
a2 (x) 2
y + a1 (x) y + a0 (x)y = g(x),
dx dx
puede ser llevada a la forma de Sturm-Liouville multiplicando por
Z x
1 a1 (x)
exp d .
a2 (x) a2 (x)
Se deja como ejercicio propuesto.
Ahora, queremos encontrar la solucion al problema
Lx y = f (x), a < x < b, (3.11)
con Lx dado por (3.10) y que satisface las condiciones de contorno homogeneas y sin mezcla dadas
por
U1 y = c1 y(a) + c2 y 0 (a) = 0, (3.12)
U2 y = d1 y(b) + d2 y 0 (b) = 0, (3.13)
donde al menos unas de las ci y unas de las di son no nulas. Supondremos que p(x) y q(x) son
infinitamente derivables, que p(x) 6= 0 en [a, b] y admitiremos la posibilidad de que f sea solo
localmente integrable, esto es, que f sea una distribucion regular tal que las distribuciones Lx y y
f coincidan en (a, b). As, para (x) D(a, b) se tiene
hLx y, i hy, Lx i,
donde hemos usado el hecho de que Lx es autoadjunto, y por lo tanto y debera satisfacer
hy, Lx i = hf, i, D(a, b). (3.14)
Relacionado al problema de contorno no homogeneo considerado tenemos el problema de con-
torno homogeneo asociado definido por
Lx y = 0, (3.15)
c1 y(a) + c2 y 0 (a) = 0, (3.16)
0
d1 y(b) + d2 y (b) = 0. (3.17)

Proposicion 10 Si el problema de contorno homogeneo asociado (3.15,3.10,3.16,3.17) tiene como

unica solucion la trivial, entonces existe una unica solucion al problema de contorno no homogeneo
(3.11,3.10,3.12,3.13).
Suponiendo entonces que el problema (3.15,3.10,3.16,3.17) admite como unica solucion la trivial
tenemos que
Proposicion 11 La solucion al problema de contorno (3.11,3.10,3.12,3.13) viene dada por
Zb
y(x) = d g(x, )f () , (3.18)
a
donde g(x, ) satisface

Lx g(x, ) = (x ), a < x, < b, (3.19)
y las condiciones de contorno homogeneas y sin mezcla
c1 g(a, ) + c2 g 0 (a, ) = 0, (3.20)
d1 g(b, ) + d2 g 0 (b, ) = 0. (3.21)

g(x, ) se conoce como la funcion de Green o solucion elemental asociada al problema de contorno
(3.11,3.10,3.12,3.13)
La prueba es sencilla. Primero, notese que las condiciones de contorno (3.12,3.13) estan incor-
poradas en (3.18) a traves de g. A continuacion, con y dada por (3.18) se tiene que
Zb Zb
h y, Lx i = d hg(x, ), Lx (x)ix f () = d hLx g(x, ), (x)ix f ()
a a
Zb Zb
= d h(x ), (x)ix f () = ()f () = h f, i,
a a
y (3.18) satisface (3.14).

Por lo tanto (3.18) es solucion al problema de contorno (3.11,3.10,3.12,3.13) en el sentido de
las distribuciones. El problema se reduce entonces al de encontrar la funcion de Green asociada.
Mostraremos, por construccion, que existe una funcion de Green bien definida y unica para el
problema (3.11,3.10,3.12,3.13).
Sean y1 (x) y y2 (x) dos soluciones linealmente independientes de
Lx y = 0, a < x < b, (3.22)
tales que
c1 y1 (a) + c2 y10 (a) = 0, (3.23)
d1 y2 (b) + d2 y20 (b) = 0. (3.24)
Se sigue que u1 y1 (x) y u2 y2 (x), con u1 y u2 constantes, son las soluciones mas generales a
(3.22,3.23) y (3.22,3.24), respectivamente. Notese que y1 y y2 deben ser linealmente indepen-
dientes porque de lo contrario tendremos y1 = y2 y y1 lograra entonces satisfacer las condiciones

de contorno en x = a y x = b, lo que contradice nuestra suposicion inicial sobre la trivialidad de

dicha solucion.
A continuacion, supongamos g(x, ) dada por

u1 ()y1 (x) para x < ,
g(x, ) = (3.25)
u2 ()y2 (x) para x > .

Exigiendo continuidad de g en x = se tiene
u1 ()y1 () u2 ()y2 () = 0 (3.26)
Ahora, integrando (3.19) en un entorno B de

Z+ Z+
d d
dxLx g(x, ) = dx p(x) + q(x) g(x, )
dx dx

Z+
d dg
= dx p(x) + q(x)g
dx dx

+ Z+
dg(x, )
= p(x) + dxq(x)g(x, )
dx

y por lo tanto
Z+ Z+
p( + )g 0 ( + , ) p( )g 0 ( , ) + dxq(x)g(x, ) = dx(x ) = 1. (3.27)

En el limite 0 tendremos
Z+
lim dxq(x)g(x, ) = 0
0

en virtud de la continuidad de q(x) y g(x, ) en x = . De aqu que
p()[g 0 ( + , ) g 0 ( , )] = 1 ,
de donde se sigue
x= + 1
g 0 (x, )|x= = . (3.28)
p()
De (3.25) y (3.28) se desprende
1
u2 ()y20 () u1 ()y10 () = . (3.29)
p()
Finalmente, resolviendo algebraicamente las ecuaciones (3.26) y (3.29) encontramos
y2 ()
u1 () = (3.30)
p()W (y1 , y2 , )

y1 ()
u2 () = (3.31)
p()W (y1 , y2 , )
donde
W (y1 , y2 , ) = y1 ()y20 () y2 ()y10 (), (3.32)
es el Wronskiano de y1 y y2 , claramente diferente de cero puesto que y1 y y2 son linealmente
independientes.
Se sigue entonces que la funcion de Green, solucion elemental del problema de contorno
(3.19,3.20,3.21) viene dada por
g(x, ) = ( x) u1 () y1 (x) + (x ) u2 () y2 (x), (3.33)
con la funcion de Heaviside y u1 y u2 dados por (3.30) y (3.31). Por supuesto, (3.19) debera
entenderse en el sentido de las distribuciones. As, para (x) D(a, b) se tiene
hLx g(x, ), (x)i hg(x, ), Lx (x)i,
donde hemos usado el hecho de que Lx es autoadjunto, y por lo tanto (3.33) sera solucion de (3.19)
si y solo si
hg(x, ), Lx (x)i = (), (x) D(a, b).
Es facil verificar que (3.33) satisface la igualdad anterior suponiendo que y1 y y2 satisfacen Lx y1 =
0 = Lx y2 . Se deja como ejercicio propuesto.
Ejemplo 25
Considere el problema de encontrar la funcion de Green asociada al problema de contorno
y 00 = x , 0 < x < 1,
donde y satisface las condiciones de contorno y(0) = y(1) = 0.

El problema homogeneo asociado es y 00 = 0 con y(0) = y(1) = 0 y es facil verificar que admite
como unica solucion y = 0.
Ahora, dos soluciones linealmente independientes de y 00 = 0 son
y1 = x y y2 = x 1,
que satisfacen y1 (0) = 0 y y2 (1) = 0. Se sigue que
g(x, ) = ( x)u1 ()x + (x )u2 ()(x 1),
donde
( 1)
u1 () = =1
( 1)
y

u2 () = = .
( 1)
De aqu que la funcion de Green g asociada al problema venga dada por
g(x, ) = ( x)(1 )x + (x )(1 x) ,

que puede ser escrita como

g(x, ) = x< (1 x> )
donde x> = max{x, } y x< = min{x, }.
Por ultimo, consideremos el problema
Lx y = f (x) (3.34)
con Lx dado por (3.10) y las condiciones de contorno no homogeneas con mezcla
U1 y = c11 y(a) + c12 y 0 (a) + d11 y(b) + d12 y 0 (b) = 1 (3.35)
U2 y = c21 y(a) + c22 y 0 (a) + d21 y(b) + d22 y 0 (b) = 2 . (3.36)

La solucion al problema (3.34,3.10) con condiciones de contorno (3.35,3.36), para 1 = 0 = 2 ,
viene dada por
Zb
y(x) = G(x, )f ()d (3.37)
a
con
G(x, ) = g(x, ) + Au1 (x) + Bu2 (x) (3.38)
donde g(x, ) viene dada por (3.33), u1 es una solucion no trivial de Lx u = 0 que satisface U1 u = 0
y u2 es una solucion no trivial de Lx u = 0 que satisface U2 u = 0, con A y B constantes a ser
fijadas de forma tal que G(x, ) satisfaga U1 G(x, ) = 0 y U2 G(x, ) = 0. Por otra parte, puesto
que el problema homogeneo
Lx v(x) = 0 ,
con condiciones generales (3.35,3.36) tiene como solucion
2 1
v(x) = u1 (x) + u2 (x) ,
U2 u1 U1 u2
se sigue (por superposicion) que el problema (3.34,3.10,3.35,3.36) tiene como unica solucion
Zb
2 1
y(x) = G(x, )f ()d + u1 (x) + u2 (x) . (3.39)
U2 u 1 U1 u2
a

1. Considere el problema de valores iniciales para la ecuacion de diferencial ordinaria de segundo
orden
d2 d F (t) d
2
x(t) + 2 x(t) + 2 x(t) = , t > 0, x(0) = 0, x(0) = b, (3.40)
dt dt m dt
que representa el movimiento de un oscilador armonico amortiguado bajo la accion de una
fuerza externa F (t). Supondremos que F (t) = 0 para t < 0.

0
(a) Encuentre la inversa en D+ del operador
d2 d
2
+ 2 + 2 .
dt dt
Trate los casos 2 > 2 (subamortiguado) y 2 < 2 (sobreamortiguado).
(b) De la solucion al problema planteado en (3.40) en terminos de la funcion de Green
encontrada en la parte 1a.
2. Encuentre la funcion de Green asociada a los problemas de contorno siguientes

(a)
d2
y(x) + 2 y(x) = f (x), 0 < x < L, y(0) = y(L) = 0.
dx2
(b)
d 2 d
(x y) n(n + 1)y = f (x), 0 < x < a, y(0) = y(a) = 0.
dx dx
3. Encuentre la funcion de Green solucion al problema de contorno
d d
(x g) = (x ), 0 < x, < 1,
dx dx

g < , g = 0.

x=0 x=1
4. Encuentre la funcion de Green apropiada al problema de contorno

d 2 d
(x y) = f (x), 0 < x < 1,
dx dx
y(0) < , y(1) = 0.
5. Encuentre la funcion de Green, g(x, ), solucion al problema de contorno
d 2 d
(x g) 2 x2 g = (x ), 0 < x, < ;
dx dx
g(0, ) < para x 0 , g(x, ) 0 para x ;
donde es una constante real.
Referencias
E. Butkov, Mathematical Physics. Addison-Wesley, (1968).


Captulo 4
Ecuaciones Diferenciales Parciales
En los proximos captulos veremos que la teora de distribuciones y el empleo de tecnicas de

espacios de Hilbert nos permitira desarrollar una teora bien construida de Ecuaciones Diferenciales
Parciales (EDPs). En este captulo estableceremos la clasificacion de las EDPs basada en sus
superficies caractersticas.
4.1 Introduccion
Considerese la ecuacion diferencial parcial de orden p, en n variables independientes x1 , x2 , , xn ,
dada por
Du = f (x), (4.1)
donde
X
D= ak (x)Dk (4.2)
|k|p
con
Dk = (1 )k1 (2 )k2 . (n )kn (4.3)
y
|k| = k1 + k2 + + kn . (4.4)
Tanto los coeficientes {ak (x)} como la funcion f (x) se suponen conocidos.
Queremos encontrar la solucion u de (4.1), bajo el requerimiento de que satisfaga ciertas condi-
ciones subsidiarias. Suponga que queremos asociar datos iniciales a (4.1). Para ello, asignamos
valores a u y sus derivadas normales de orden p 1 sobre una hipersuperficie . Este tipo de
datos iniciales se conoce como data de Cauchy y el problema de valores iniciales resultante como el
problema de Cauchy para D. Si lo que queremos es encontrar la solucion de (4.1) en un dominio
que satisface condiciones de frontera, esto es, que u y/o sus derivadas normales (o combinaciones
de ambas) tengan un comportamiento prescrito en la frontera de , entonces el problema se
dice de contorno o con condiciones en la frontera.
Para problemas en los que la solucion buscada debe satisfacer ciertas condiciones, en general,
deberemos considerar los siguientes puntos:
i Existe al menos una solucion? (existencia)
ii Hay solo una solucion? (unicidad)
53
iii Depende la solucion en forma continua de la data ? Esto es, cambios pequenos en los valores
prescritos por las condiciones subsidiarias, producen cambios pequenos en la solucion?
Si la respuesta a estas 3 preguntas es afirmativa se dice que el problema esta bien planteado.
Puesto que estamos interesados en resolver el problema de Cauchy (entre otros), vamos a
introducir algunos conceptos importantes en relacion a este. Considerese un punto P siendo
una hipersuperficie suave. Puesto que es suave podemos introducir un sistema de coordenadas
{ 1 , , n1 }, (n 1)dimensional para etiquetar los puntos de en un entorno de P . Sea 0
la coordenada a lo largo de la normal a en P . Tendremos que ( 0 , 1 , , n1 ) sera entonces
un sistema de coordenadas normal para todos aquellos puntos cercanos a P . Es claro que es la
superficie coordenada 0 = 0 y P es el punto (0, 0, , 0)
De la data de Cauchy sobre se conocen
u p1 u
u(0, 1 , , n1 ), (0, 1
, , n1
), , (0, 1 , , n1 ).
0 0 p1
Si es lo suficientemente suave, podemos calcular sobre las derivadas de cualquier orden con res-
pecto a las coordenadas tangenciales y las derivadas de orden p 1 con respecto a la coordenada
normal. Retornando a las variables originales
u u j
=
xi j xi
y se tendra que cualquier derivada m-esima con respecto a las coordenadas x involucra solo deri-
vadas de orden m con respecto a las coordenadas .
Puesto que las derivadas de orden p 1 con respecto a las coordenadas se conocen a partir
de la data de Cauchy, se desprende entonces, que todas las derivadas de orden p 1 con respecto
a las coordenadas x se conocen a partir de la data de Cauchy. Para construir la solucion u en
p
puntos cercanos a P pero no sobre , las derivadas p / 0 en P se espera vengan determinadas
por Du = f (x), pero esto no sera posible si Du en P se puede determinar por completo a partir
de la data de Cauchy.
Definicion 8 Si Du se evalua en un punto P sobre a partir de la data de Cauchy unica y exclu-

sivamente, la superficie se dice caracterstica para D en P . Si la superficie es caracterstica
para todo P sobre , se dice que es una superficie caracterstica.
En relacion al problema de Cauchy tenemos lo siguiente: Si es caracterstica en P no se
espera que el problema de Cauchy este bien planteado, ni siquiera en un entorno de P . Por otro
lado, veremos que si no es caracterstica en ningun punto el problema de Cauchy estara bien
planteado solo para ciertos tipos de EDPs.
4.2 EDPs de primer orden en dos variables

Sean {x, y} coordenadas cartesianas en R2 y sea una curva suave en el plano. Para D un operador
diferencial de primer orden, la data de Cauchy consistira en especificar u sobre .
La ecuacion en derivadas parciales de primer orden en dos variables independientes
a(x, y)x u + b(x, y)y u g(x, y, u) = 0, (4.5)

se dice lineal si g(x, y, u) = c(x, y) u+d(x, y) y se dice semilineal si g(x, y, u) depende no-linealmente
de u.
Sean P y Q dos puntos vecinos, P (x, y) y Q(x + dx, y + dy), sobre . Se sigue que
u(Q) u(P ) = dx x u|P + dy y u|P

g (P, u (P )) = a(P ) x u|P + b(P ) y u|P
y se tendra solucion unica si y solo si

dx dy
det 6= 0
a(P ) b(P )
o
b(P )dx a(P )dy 6= 0.
Por lo tanto, la curva sera caracterstica en P = (x, y) si y solo si
b(x, y)dx a(x, y)dy = 0. (4.6)
Integrando la ecuacion (4.6), se obtiene una familia de curvas que son las curvas caractersticas de
(4.5).
Como una ilustracion muy sencilla, consideremos la ecuacion
x u + t u + u = 0 (4.7)
donde 0. Se sigue de (4.6) que (4.7) sera caracterstica sobre la familia de curvas xt = C, con
C constante. El problema usual de Cauchy asociado a (4.7) involucra data dada sobre la curva
inicial t = 0, que no es caracterstica en ningun punto.
Queremos resolver (4.7) para t > 0 y < x < , sujetos a la condicion inicial u(x, 0) = f (x)
con f (x) conocida pero arbitraria. Como lo sugieren las curvas caractersticas de la ecuacion,
haciendo el cambio de variables
= x t, = x + t,
se tiene

u + u = 0,
2
cuya solucion viene dada por
u(x, t) = F (x t)e(x+t)/2 .
Finalmente, exigiendo que se cumpla la condicion inicial u(x, 0) = f (x), tendremos
u(x, t) = f (x t)et . (4.8)
4.3 EDPs de segundo orden en dos variables

4.3.1 Clasificacion
Considerese la ecuacion de segundo orden en dos variables independientes
a(x, y)x x u + b(x, y)x y u + c(x, y)y y u + F (x, y, u, x u, y u) = 0. (4.9)

La ecuacion se dice lineal si
F (x, y, u, x u, y u) = dx u + ey u + f u + g, (4.10)
en caso contrario se dice que es semilineal. Aqu supondremos que u y los coeficientes son derivables
con continuidad dos veces.
La clasificacion de las ecuaciones de segundo orden se basa en la posibilidad de reducir (4.9),
bajo una transformacion de coordenadas adecuada, a una forma canonica o estandar.
Consideremos a continuacion el problema de Cauchy. Entonces, u y su derivada normal sobre
una curva suave son conocidas. Por lo tanto, x u y y u sobre son conocidas. Como antes,
sean P y Q dos puntos vecinos sobre , entonces
x u|Q x u|P = dx x x u|P + dy x y u|P ,
y u|Q y u|P = dx x y u|P + dy y y u|P

y
F |P = a(P )x x u|P + b(P )x y u|P + c(P )y y u|P ,
donde la tercera ecuacion proviene de (4.9). Notese que los lados izquierdos se conocen a partir de
la data de Cauchy. La condicion suficiente y necesaria para tener una solucion unica es

dx dy 0

det 0 dx dy 6= 0 = a(dy)2 b dx dy + c(dx)2 6= 0.
a(P ) b(P ) c(P )
Si a(P ) 6= 0, se sigue que sera caracterstica en P = (x, y) si y solo s la tangente a en P

satisface
dy b b2 4ac
= . (4.11)
dx 2a
Las integrales de (4.11) son las curvas caractersticas del operador diferencial considerado y que
denotaremos por
1 (x, y) = c1 = const,
2 (x, y) = c2 = const.
Distinguiremos tres casos:
1. b2 4ac > 0 en P , hay por lo tanto dos direcciones caractersticas en P y la ec. (4.9) se dice
hiperbolica en P .
2. b2 4ac = 0 en P y solo hay una direccion caractersticas en P , la ec (4.9) se dice parabolica

en P .
3. b2 4ac < 0 en P , no existe curva real que satisfaga (4.11) y no hay curva caracterstica en
P . La ec (4.9) se dice elptica en P .
Debe hacerse enfasis en que si los coeficientes no son constantes, la ecuacion puede ser de
diferentes tipos en varias partes del plano. En lo que sigue ilustraremos el uso de las curvas
caractersticas para transformar (4.9) a la denominada forma canonica.

4.3.2 Formas canonicas

Para llevar (4.9) a la forma canonica, efectuamos la transformacion de coordenadas
= 1 (x, y), (4.12)
= 2 (x, y), (4.13)
insistiendo en el hecho de que (4.11) provee en principio las tangentes de aquellas familias de curvas
en el plano xy sobre las cuales = c1 y = c2 con c1 y c2 constantes. Obtenemos
A u + B u + C u = G1 , (4.14)
donde
A = a(x )2 + bx y + c(y )2 ,
B = 2ax x + b (x y + y x ) + 2cy y ,
C = a(x )2 + bx y + c(y )2 ,
G1 = G (, , u, u, u) .
Supongamos que b2 4ac > 0, entonces la integracion de (4.11) proveera dos familias reales
distintas de caractersticas. Tendremos
A = a(x )2 + b(x )(y ) + c(y )2 = a(x 1 )2 + b(x 1 )(y 1 ) + c(x 1 )2
y sobre la curva = 1 = 1 (x, y) = c1 = const se tiene
d1 = x 1 dx + y 1 dy = 0,
de donde se sigue que
dy x 1
=
dx y 1
y por lo tanto
" 2 #

x 1
x 1
A = (y 1 )2 a +b +c ,
y 1 y 1
" #
2
dy dy
= (y 1 )2 a b + c = 0,
dx dx
en virtud de (4.11). Otro tanto puede hacerse con C, esta vez utilizando 2 , obteniendose C = 0.
Por otro lado, es facil ver que bajo la transformacion de coordenadas considerada se tiene que
B 6= 0. As, (4.14) se reduce a
G1
u = G2 . (4.15)
B
La ecuacion (4.15) es la denominada primera forma canonica para las ecuaciones hiperbolicas. Si
definimos dos nuevas variables independientes
=+ y = , (4.16)
(4.15) se transforma en
u u = G3 (, , u, u, u) (4.17)
que se conoce como la segunda forma canonica de las ecuaciones hiperbolicas.

Ejemplo 26
La ecuacion de onda en (1+1)-dimensiones, t t u x x u = 0, es una ecuacion del tipo hiperbolico
y se dice que es t-hiperbolica.
Supongamos ahora que b2 4ac = 0. Entonces de (4.11) solo obtenemos una familia real de
caractersticas = c1 = const. y procediendo de la misma manera que en el caso anterior se tiene
A = 0, de donde se sigue que
1 1
2
a (x )2 + bx y + c (y )2 = a 2 x + c 2 y = 0,
donde hemos usado b2 4ac = 0. De aqu que
B = 2ax x + b (x y + y x ) + 2cy y
1 1
1 1

= 2 a 2 x + c 2 y a 2 x + c 2 y
= 0,
para valores arbitrarios de = (x, y). As , (4.14) toma la forma
u = G3 (, , u, u, u) (4.18)
donde G3 G1 /C, con C 6= 0. La expresion (4.18) define la denominada forma canonica de las
ecuaciones parabolicas.
Ejemplo 27
La ecuacion de difusion en (1+1)-dimensiones, t u x x u = q(x, t), es una ecuacion del tipo
hiperbolico y se dice que es t-parabolica.
Por ultimo, consideremos el caso b2 4ac < 0. La ec (4.11) no tiene soluciones reales, pero tiene
dos soluciones complejas conjugadas que son funciones complejas continuas de variables reales x, y.
Ahora y son complejas e introduciendo las nuevas variables reales
1 1
= ( + ) y = ( ), (4.19)
2 2i
se tendra
= + i y = i (4.20)
y la ec (4.14) tendra la forma
A(, ) u + B(, ) u + C(, ) u = D(, , u, u, u), (4.21)
donde
A = a (x )2 + bx y + c (y )2
B = 2ax x + b (x y + y x ) + 2cy y
C = a (x )2 + bx y + c (y )2 .
Ahora, al igual que en el caso hiperbolico, tenemos que A = C = 0 lo que a su vez implica
(A C) + iB = 0,
(A C) iB = 0,

que se satisface si y solo si A = C y B = 0. Por lo tanto, la ec (4.21) toma la forma
u + u = D2 (, , u, u, u) (4.22)
donde D2 D/A. La expresion (4.22) define a la denominada forma canonica para las ecuaciones
elpticas.
Ejemplo 28
La ecuacion de Laplace en (2)-dimensiones, x x u + y y u = 0, es una ecuacion del tipo elptico.
Note que una ecuacion diferencial parcial dada, puede ser de diferentes tipos en diferentes
regiones.
Ejemplo 29
Considerese la ecuacion de Tricomi
x x u + xy y u = 0,
para la cual b2 4ac = 4x. Por lo tanto, dicha ecuacion es hiperbolica para x < 0 con forma
canonica
u u
u =
6 ( )
3y 3
y elptica para x > 0 con forma canonica (haciendo el cambio de variables = 2
y = x 2 )
1
u + u = u.
3
Si la forma canonica de una ecuacion diferencial parcial es simple, entonces su solucion general
puede ser encontrada con relativa facilidad. Veamos algunos ejemplos.
Ejemplo 30
La ecuacion del tipo hiperbolico
x x u y y u = 0,
bajo la transformacion = 12 (x + y), = 12 (x y), puede ser llevada a la primera forma canonica
u = 0.
Esta ultima puede ser integrada facilmente, obteniendose u = F () + G(), con F y G arbitrarias
y por lo tanto
u(x, y) = F (x + y) + G(x y) .
Ejemplo 31
Considerese la ecuacion
x2 x x u + 2xyx y u + y 2 y y u = 0.
Puesto que
b2 4ac = 4x2 y 2 4x2 y 2 = 0,
es del tipo parabolico. De (4.11) se sigue que las tangentes caractersticas vienen dadas por
dy y
= ,
dx x

y de aqu que las curvas caractersticas vienen dadas por

y
= constante.
x
Bajo la transformacion = xy y = x (donde la escogencia de es arbitraria) tenemos que u
satisface
u = 0.
Integrando esta ultima expresion y volviendo a las variables originales, tenemos que u viene dada
por
y y
u(x, y) = xf ( ) + g( )
x x
con f y g arbitrarias.
Problemas bien planteados para EDPs de segundo orden en dos variables

El problema de Cauchy para ecuaciones hiperbolicas estara bien planteado, si la data de Cauchy
se especifica sobre una curva no caracterstica. Si es caracterstica en P , la data de Cauchy y
la ecuacion diferencial son, en general, incompatibles. Por otro lado, el problema de contorno puro
no esta bien planteado para las ecuaciones del tipo hiperbolico, aun con data dada sobre curvas
no caractersticas.
Para las ecuaciones parabolicas puede plantearse el problema de valores iniciales, dado que
las caractersticas no juegan aqu el papel importante que tienen para las ecuaciones hiperbolicas.
Para las ecuaciones elpticas no hay caractersticas reales, sin embargo el problema de Cauchy no
esta bien planteado para este tipo de ecuaciones y es el problema de contorno puro el que esta bien
planteado.
4.4 EDPs de segundo orden en n variables

Por simplicidad, nos restringiremos a considerar solo EDPs lineales de segundo orden con coe-
ficientes constantes y a enunciar sin demostracion algunos resultados importantes. Considerese
entonces la EDP de segundo orden en n variables independientes x1 , x2 , , xn , dada por
Du = f (x), (4.23)
donde X
D= ak D k (4.24)
|k|2
con
Dk = (1 )k1 (2 )k2 . (n )kn , |k| = k1 + k2 + + kn . (4.25)
Todos los coeficientes ak se supone que son constantes reales conocidas y definimos la parte principal
de D como X
ak D k .
|k|=2
La hipersuperficie (x) = 0 de dimension n 1 se dice caracterstica para el operador D si

satisface X
ak pk = 0, pk = (1 )k1 (n )kn .
|k|=2

Clasificacion
1. La ecuacion (4.23,4.24,4.25) se dice x1 -hiperbolica si la ecuacion
X
ak pk = 0,
|k|=2
tiene 2 races reales distintas para todo sistema de numeros reales {p2 }.
Ejemplo 32 n
La ecuacion de onda, u 1 1 u j j u = 0 , es x1 -hiperbolica.
P
j=2
2. La ecuacion (4.23,4.24,4.25) se dice elptica si la ecuacion

X
ak pk = 0,
|k|=2
no tiene soluciones reales diferentes de cero.

Ejemplo 33 n
P
La ecuacion de Laplace, u j j u = 0 , es elptica.
j=1
3. Por ultimo tenemos las ecuaciones parabolicas que no estan caracterizadas solo por la parte
principal de D. La ecuacion (4.23,4.24,4.25) se dice x1 -parabolica si puede ser escrita como
X
1 u ak Dk u = f,
|k| 2
k1 = 0
ak p k > 0 , ak Dk sea un operador

P P
con p 6= 0, esto es, de forma tal que
|k| = 2 |k| 2
k1 = 0 k1 = 0
diferencial elptico en Rn1 .
Ejemplo 34
La ecuacion de difusion, t u u = 0, es t-parabolica.
Sobre la descripcion en terminos de EDPs de segundo orden

Como es bien conocido, una gran cantidad de sistemas fsicos puede ser descrita en terminos
de campos i (x), que satisfacen sistemas de EDPs semilineales de segundo orden. Ahora bien,
introduciendo campos auxiliares, siempre es posible llevar EDPs de segundo orden a EDPs de
primer orden. Como un ejemplo muy sencillo, considerese el espaciotiempo (1 + 1)-dimensional
(R2 , g), con tensor metrico g dado por
g = t t + x x , { t , x } una cobase cartesiana, (4.26)
y sea (x, t) el campo definido por
(t t x x )(x, t) = 0, (t, x) R2 .

Este problema puede ser reemplazado por el siguiente sistema de EDPs de primer orden
i = Ai , i Aj j Ai = 0, i Ai = 0, i, j = t, x,
como puede verificarse facilmente. Sin embargo, las EDPs de segundo orden semilineales permiten
una caracterizacion conveniente de muchos problemas de interes. Las EDPs hiperbolicas proveen
una descripcion causal con velocidad de propagacion < , mientras que las EDPs parabolicas lo
hacen tambien de manera causal pero con velocidad de propagacion infinita. Por otro lado, sistemas
en estado estacionario en los que no hay propagacion pueden ser representados por campos que
satisfacen EDPs elpticas. Por supuesto, a un nivel fundamental todas las EDPs que aparecen
en fsica son hiperbolicas y la descripcion de un sistema fsico en terminos de EDPs elpticas o
parabolicas debe entenderse en todo caso como una aproximacion o comportamiento limite del
sistema.

1. Considere la E.D.P.
x2 x x u y 2 y y u = 0.
Encuentre la forma canonica en cada uno de los dominios donde su tipo se conserva.
2. Considerese la E.D.P.
x2 x x u + 2xyx y u + y 2 y y u = 0.
(a) Verifique que dicha ecuacion es parabolica en todas partes y llevela a la forma canonica.
Ayuda: demuestre que las curvas caractersticas de la ecuacion vienen dadas por =
y
x
= const. A continuacion, haciendo el cambio de variables = xy y = x, muestre que
la ecuacion considerada puede ser llevada a la forma u = 0.
(b) Integrando la forma canonica y volviendo a las variables originales, muestre que la
solucion de dicha ecuacion viene dada por
y y
u(x, y) = xf ( ) + g( ),
x x
con f y g arbitrarias.
3. Demuestre que la ecuacion
sin2 xx x u 2y sin xx y u + y 2 y y u = 0,
es del tipo parabolico en todas partes y llevela a la forma canonica.
Ayuda: demuestre que las curvas caractersticas vienen dadas por = y tan x2 = const. A
continuacion, mediante la sustitucion = y tan x2 , = y, muestre que la ecuacion considerada
se reduce a la forma canonica
2
u 2 u = 0.
+ 2

(1 + x2 )x x u + xx u + yy u + (1 + y 2 )y y u = 0,
es del tipo elptico en todas partes y llevela a la forma canonica.


y 2 x x u x2 y y u = 0,
es del tipo hiperbolico en todas partes. A continuacion, haciendo el cambio de variables
sugerido por las curvas caracteristicas muestre que la forma canonica viene dada por

u + u u = 0.
2( 2 2
) 2( 2 )
2
6. Considere la E.D.P.
yx x u + xy y u = 0.
Encuentre la forma canonica en cada uno de los dominios donde su tipo se conserva.
Ayuda: en el segundo y cuarto cuadrantes la ecuacion es del tipo hiperbolico y en el primer
y tercer cuadrantes la ecuacion es elptica.
Referencias
I. Stakgold, Greens functions and Boundary Value Problems. Wiley, Interscience, New York
(1979).
T. Myint-U, Partial Differential Equations for Scientists and Engineers. Pearson Education POD
(1987).
R. Courant and D. Hilbert, Methods of Mathematical Physics, Vols. I and II, Wiley, Interscience,
New York (1966).


Captulo 5
El problema de Cauchy
5.1 El problema de Cauchy para las ecuaciones

hiperbolicas
En lo que sigue nos restringiremos a tratar el problema de Cauchy para la ecuacion de onda. Este
nos servira para ilustrar la formulacion y resolucion del problema general de valores iniciales para
las ecuaciones hiperbolicas.
5.1.1 El problema para la ecuacion de onda

Vamos a estudiar a continuacion el problema de valores iniciales para la ecuacion de onda. Con-
siderese el problema
(t t x x )u = q(x, t), t > 0, < x < (5.1)
con condiciones iniciales

u(x, 0) = f1 (x), t u(x, 0) = f2 (x). (5.2)
Este problema puede ser asociado al problema de la propagacion de vibraciones en una cuerda
infinita, sujeta a una fuerza externa q(x, t) para t > 0. Entonces, u representa el desplazamiento
transverso de la cuerda y a t = 0 se dan el desplazamiento inicial f1 (x) y la velocidad inicial f2 (x).
Comenzaremos con el caso sencillo q = 0. En una oportunidad anterior, encontramos que la
solucion general de la ecuacion homogenea vena dada por
u(x, t) = F (x + t) + H(x t). (5.3)
Imponiendo las condiciones iniciales (5.2), se tiene
u(x, 0) = F (x) + H(x) = f1 (x) (5.4)

t u(x, 0) = F 0 (x) H 0 (x) = f2 (x). (5.5)
De (5.5) se sigue que

Zx
F (x) H(x) = df2 () +
x0
65
y de (5.4) y (5.5) se tiene

Zx
1 1
F (x) = f1 (x) + df2 () + ,
2 2 2
x0
Zx
1 1
H(x) = f1 (x) df2 ()
2 2 2
x0
y la solucion de (5.1) y (5.2) con q = 0 viene dada por
Zx+t
1 1
u(x, t) = [f1 (x + t) + f1 (x t)] + df2 (). (5.6)
2 2
xt
La ec.(5.6) se conoce como la solucion de dAlambert para el problema de Cauchy (5.1, 5.2)
homogeneo, esto es, con q = 0.
Ahora bien, para el problema (5.1, 5.2) con q 6= 0 queremos encontrar una solucion que sea
causal con respecto a la variable temporal t. Busquemos la solucion fundamental G, solucion al
problema
(t t x x )G = G = (t)(x), < x, t < , (5.7)
y que satisface
G 0, t < 0. (5.8)
G es la funcion de Green o propagador para el problema de valores iniciales considerado.
Ahora bien, como se desprende de (5.7), para x > 0 (o x < 0) G satisface
G = 0, (5.9)
cuya solucion general nos es conocida
G = f (x + t) + h(x t),
con f y h funciones ordinarias derivables dos veces, pero por lo demas arbitrarias. Vamos a
demostrar que G = 21 [(x + t) (x t)] es solucion en el sentido de las distribuciones de (5.9).
Sea = (x, t) D. Entonces,
h(x + t), i = h(x + t), i,
esto es,
Z Z
h(x + t), i = dt dx (t t x x )(x, t).
t
1 1
Haciendo u = 2
(t x) y v = 2
(t + x), encontramos
Z Z Z Z
dt dx (t t x x )(x, t) = 2 dv du u v (u, v) = 0,
t 0

donde hemos usado el hecho de que es de soporte acotado. Por lo tanto,
h(x + t), i = 0.
En forma analoga, se prueba que

h(x t), i = 0
y por lo tanto
1
[(x + t) (x t)] = 0,
2
Lo anterior sugiere que propongamos entonces
1
G(x, t) = (t) [(x + t) (x t)] , (5.10)
2
expresion que satisface automaticamente el requerimiento de causalidad impuesto en (5.8). Para
= (x, t) D, tenemos
Z Z Z Z
1 1
hG, i = hG, i = dt dx dt dx ,
2 2
t>0 t>0
x+t>0 xt>0
esto es,
Z Z t
1
hG, i = dt dx .
2
0 t
Bajo el cambio u = 21 (t x), v = 12 (x + t) se sigue que

Z Z
hG, i = du dv u v = (0, 0) = h(t)(x), i.
0 0
y por lo tanto G(x, t) dada por (5.10) satisface (5.7).

Ahora bien, notese que

1 12 , si t < x < t, t > 0,
G(x, t) = (t) [(x + t) (x t)] = (5.11)
2
0, en el resto del plano,

esto es, G(x, t) tiene soporte en el interior del cono + = {(x, t) : x2 t2 , t 0} y es por lo tanto
un elemento del algebra D0 (+ ).
Se puede verificar con facilidad que la solucion de la ecuacion inhomogenea con data inicial
nula
t t x x = q(x, t), < x < , t > 0,
(x, 0) = t (x, 0) = 0,
viene dada por
Z Z
(x, t) = d d G(x , t ) ( ) q(, ), (5.12)


con G dada por (5.10). La interpretacion de G como propagador se sigue directamente de (5.12),
ya que G propaga el efecto de la fuerza externa q en el punto (, ) al punto (x, t). De (5.12) y
(5.11) se sigue que
Z t x+(t
Z )
1
(x, t) = d d q(, )
2
0 x(t )
y G propaga entonces de manera causal (t > 0) y con velocidad finita (|x | < t ) el efecto
de q.
Finalmente, la solucion general de (5.1, 5.2) viene dada por
Zx+t Z t x+(t
Z )
1 1 1
u(x, t) = [f1 (x + t) + f1 (x t)] + df2 () + d d q(, ). (5.13)
2 2 2
xt 0 x(t )
El problema con una condicion de contorno

Anteriormente encontramos la solucion al problema de valores iniciales para la ecuacion de onda
en la recta, < x < . Consideraremos a continuacion el problema en la semirecta 0 < x < ,
imponiendo una condicion de contorno en x = 0 muy sencilla. El problema de valores iniciales con
condiciones de contorno generales sera tratado en el captulo 6.
Considerese el problema
t t x x u = q(x, t), 0 < x < , t > 0; (5.14)
u(x, 0) = f1 (x), t u(x, 0) = f2 (x), 0 x < ; (5.15)

u (0, t) = 0, t 0. (5.16)
Este puede ser asociado a las vibraciones de una cuerda semi-infinita con un extremo fijo.
Para el problema homogeneo, q = 0, en la region x > t > 0 la solucion es la misma que para el
caso de la cuerda infinita (5.6). Para 0 < x < t, la solucion (5.6) involucra a f1 y f2 para x < 0 y
de (5.15) es claro que f1 y f2 no estan prescritas para x < 0. No obstante, la solucion se obtiene
facilmente extendiendo f1 y f2 como funciones impares para x < 0. As de (5.6) tenemos que
Zx+t
1 1
u(x, t) = [f1 (x + t) f (t x)] + df2 () (5.17)
2 2
tx
es solucion de (5.14, 5.15) para q = 0, en la region x < t, como puede verificarse facilmente.
La solucion de (5.14, 5.15) para q 6= 0 implica encontrar la funcion de Green G = G(x, t; , ),
kernel elemental del operador t t x x ,
(t t x x ) G = (x ) (t ) , 0 < x, < , < t, < (5.18)
que satisface las condiciones
G|x=0 = 0; G 0 para t < . (5.19)
En este caso G viene dada por
G(x, t; , ) = G(x , t ) G(x + , t ) (5.20)

con G dada por (5.10). G dada por (5.20) puede ser obtenida por el denominado metodo de las
imagenes, esto es, notando que es posible satisfacer la condicion de contorno G|x=0 = 0 colocando
fuentes imagen en x = . De esta forma el problema (5.14, 5.15) paraf1 = f2 = 0, tiene como
solucion
Z Z
u(x, t) = d d G (x, t; , ) q(, ). (5.21)
0 0
Finalmente, la solucion al problema no homogeneo con condiciones iniciales no nulas viene dada por
la suma de la solucion al problema homogeneo con condiciones no nulas mas la solucion particular
provista por (5.21).
Otro problema interesante para la cuerda semi-infinita es el de una condicion de contorno
no-homogenea. Por ejemplo:
(t t x x ) = 0, 0 < x < , t>0 (5.22)
(x, 0) = t (x, 0) = 0, (0, t) = h(t) (5.23)

Hay muchas maneras, relacionadas entre s, para resolver problemas de este tipo: funciones de
Green, transformadas de Fourier en la coordenada espacial, transformadas de Laplace en la coor-
denada tiempo, el metodo de las caractersticas, etc. Vamos a ilustrar el uso de las transformadas
de Laplace.
........... ..
...........
.... ...
...
.
Caja 5.1: Transformadas de Laplace
Definicion 9 Sea f (t), 0 t < , una funcion O(et ) en t , esto es,
|f (t)| < cet para t .
La transformada de Laplace de f (t) viene definida por

Z
f(s) = est f (t)dt, (5.24)
0
donde s es complejo y la integral converge para <e{s} > .

Ahora, veamos como obtener la inversion de (5.24). Supongamos que =m{s} = v y
<e{s} = 0 y definamos F (t) eut f (t). Se sigue que
Z Z
Fu (iv) = dte e f (t) = dte(u+iv)t f (t) = f(u + iv)
ut ivt
0 0
y por lo tanto
Z Z Z Z
dveivt0 Fu (iv) = dveivt0 f (u + iv) = dteut f (t) dveiv(tt0 ) . (5.25)
0

Ahora, haciendo uso de la expresion

Z
dveivt = 2(t), (5.26)

(cuya demostracion se hara mas adelante dentro del contexto de transformadas de

Fourier para distribuciones) se tendra
Z Z
ivt0
dve f (u + iv) = dteut f (t)2 (t t0 ) = 2eut0 f (t0 ) .
0
Por lo tanto,
Z u+i
Z
1 1
f (t0 ) = dv e(u+iv)t0
f(u + iv) = ds est0 f(s), t0 > 0. (5.27)
2 2i
ui
La ecuacion (5.27) es la inversion de (5.24) y la integral se toma sobre una lnea vertical
en el semiplano derecho de analiticidad.
Para distribuciones, la expresion (5.24) sugiere la siguiente definicion.
Definicion 10 Sea T una distribucion con soporte en la semirecta t 0, esto es,

0
T D+ . Entonces, la transformada de Laplace de T viene dada por
Ts hT, est it (5.28)
y Ts tendra sentido siempre y cuando el miembro derecho de (5.28) tenga sentido.
Notese que, aunque est es una funcion infinitamente derivable de t, no es de soporte

acotado. Esta es la razon por la cual se deben imponer restricciones adicionales sobre
T para que admita transformadas de Laplace. Sobre este punto volveremos con algun
detalle al considerar transformadas de Fourier de distribuciones.
A continuacion, consideremos el producto de convolucion de f y g, donde es la
funcion de Heaviside,
Z Zt
h(t) = d (t )f (t )( )g( ) = d f (t )g( ). (5.29)
0
Se tiene (vease Proposicion 5)
h (s) = f (s) g (s) . (5.30)

... ..
... ..
.
.......... .
. ..........

Multiplicando ambos lados de (5.22) por est e integrando en t desde 0 hasta obtenemos
Z Z
dt e (t t x x ) = dt est t t est x x .
st

0 0
Ahora bien
est t t = t est t + s t est + s2 est .

De aqu que
Z Z
dt est t t = dt t est t + s t est + s2 est ,

0 0
Z
st

= e t 0 + s est 0 + s2 dtest ,
0
2
= s (x, s) .
Por otro lado

Z Z
st d2 st d2
dt e x x (x, t) = 2 dt e (x, t) = 2 (x, s) = 0
dx dx
0 0
y por lo tanto
2 d2
s 2 = 0. (5.31)
dx
De la condicion de contorno se tiene
Z
(0, s) = h(s) = dtest h(t). (5.32)
0
Resolviendo (5.31, 5.32) bajo los requerimientos lim (x, s) = 0 y <e{s} > 0, obtenemos
x
(x, s) = h(s)esx . (5.33)
Queremos a continuacion invertir (5.33) para x > 0. Ahora bien, de (5.28) se sigue que
st
[(t x)]
s h(t x), e it = esx . (5.34)
De (5.33), (5.34) y del teorema de convolucion para transformadas de Laplace (5.30), se sigue que
(x, t) viene dada por
(x, t) = (t x) ((t)h(t)) = (t x)h(t x). (5.35)

5.1.2 La ecuacion de ondas esfericas

Consideremos a continuacion la ecuacion de onda homogenea en 3 + 1 dimensiones,
[t t ]u(~x, t) = 0. (5.36)
En (5.36), es el operador laplaciano 3-dimensional. Escrita en coordenadas esfericas, dicha
ecuacion viene dada por
1 1 1
t t u = 2
r (r2 r u) + 2 2 (sin u) + 2 2 u. (5.37)
r r sin r sin
Si u es una solucion de (5.36), que solo depende de t y r, entonces u(~x, t) = u(r, t) satisface la
ecuacion de onda con simetra esferica
1
t t u = 2 r (r2 r u). (5.38)
r
Introduciendo una nueva funcion U (r, t) ru(r, t), de (5.38) se tiene que
t t U = r r U . (5.39)
Notese que (5.39) es identica a la ecuacion de onda unidimensional y por lo tanto, su solucion
general es de la forma
U (r, t) = 1 (r + t) + 2 (r t), (5.40)
donde 1 y 2 son funciones derivables dos veces en el sentido usual, pero por lo demas, arbitrarias.
Se sigue entonces que la solucion de (5.38) viene dada por
1
u(r, t) = [1 (r + t) + 2 (r t)]. (5.41)
r
Siguiendo un analisis similar al que nos llevo a la solucion (5.6) para el problema (5.1, 5.2) con
q = 0, se tiene que la solucion a la ecuacion (5.38) que satisface las condiciones iniciales
u(r, 0) = f1 (r), t u(r, 0) = f2 (r), para r 0, (5.42)
viene dada para r > t por
Zr+t
1 1
u(r, t) = [(r + t)f1 (r + t) + (r t)f1 (r t)] + d f2 (). (5.43)
2r 2r
rt
Para r < t, u dada por (5.43) no es solucion de (5.38), (5.42), puesto que f1 y f2 no se conocen
para r < t . De (5.40) y (5.41) se desprende que U (0, t) 0 para que u(r, t) este acotada en r = 0
para t 0. Siguiendo el razonamiento que nos llevo a (5.17), tendremos
Zt+r
1 1
U (r, t) = [(r + t)f1 (r + t) (t r)f1 (t r)] + d f2 (), (5.44)
2 2
tr
para r < t. Finalmente, obtenemos

Zt+r
1 1
u(r, t) = [(r + t)f1 (r + t) (t r)f1 (t r)] + d f2 (), (5.45)
2r 2r
tr
como la solucion para r < t al problema (5.38),(5.42).

5.2 El Problema de Cauchy para las ecuaciones

parabolicas
Nos restringiremos a considerar la ecuacion de difusion para ilustrar con un ejemplo muy sencillo
los metodos que se emplean en la resolucion de problemas de valores iniciales para ecuaciones
parabolicas.
5.2.1 El problema para la ecuacion de difusion

Consideremos el problema de valores iniciales
t u x x u = q(x, t), < x < , t>0 (5.46)
u(x, 0) = f (x) (5.47)
donde solo el valor inicial de u es requerido puesto que la ecuacion (5.46) es de primer orden en t.
El problema (5.46, 5.47) puede asociarse al problema de conduccion de calor en una barra infinita
y (5.46) se conoce comunmente como ecuacion de difusion.
Para resolver (5.46, 5.47) busquemos la solucion fundamental causal G(x, t), solucion al pro-
blema
t G x x G = (t)(x), < t, x < (5.48)
G 0 para t < 0, G 0 para |x| , (5.49)
en terminos de la cual la solucion de (5.46, 5.47) viene dada por
Z Z Z
u(x, t) = d d G(x , t )( )q(, ) + d G(x , t)f (). (5.50)

La funcion de Green o propagador, solucion al problema (5.48, 5.49), se puede encontrar facilmente
empleando transformadas de Fourier.
........ ..
...........
..... ...
... ...
Caja 5.2: Transformadas de Fourier
1. La transformada de Fourier para funciones.
Definicion 11 Sea f (x) una funcion con valores complejos de la variable real x,
que se anula suficientemente rapido para |x| . Entonces,
Z
1
f (x) = d eix f() (5.51)
2

donde
Z Z
f() = i
d e f () = dx eix f (x), real. (5.52)

La expresion (5.52) define f() como la transformadas de Fourier de f y (5.51)

nos dice como reconstruir f (x) a partir de su transformada.

Note que aun cuando a la expresion (5.51) le estamos asociando la expresion

(5.52), la primera puede no tener sentido en la teora de funciones. Aun si f (x) es
integrable, solo se deduce que f() es acotada pero no necesariamente integrable,
de forma tal que (5.51) podra no tener sentido. Por otro lado, no es claro como
(5.51) puede recuperar f (x) para todo valor de x. Por ejemplo, un cambio en los
valores de f sobre un conjunto de medida nula no cambiara f() y de aqu que
no es claro en que sentido se debera entender la igualdad en (5.51).
2. La transformada de Fourier de una distribucion.
Sea f una funcion localmente integrable y una funcion cualquiera D y
consideremos f y f como distribuciones. Entonces
Z Z Z

hf , i = d() dx e f (x) = ddx eix f (x)()
ix
(5.53)
que tiene perfecto sentido y por lo tanto

Z Z

hf , i = dx f (x) d eix () = hf, ix (5.54)
que es valida incluso si 6 D con tal que sea localmente sumable. (5.54) se
conoce como la formula de Parseval y sugiere la siguiente definicion
hT , i = hT, i. (5.55)
Es claro que (5.55) no tendra sentido para una distribucion T D0 cualquiera:

si D , no tiene por que pertenecer a Dx (de hecho se puede demostrar
que si Dx entonces 0). La transformada de Fourier de una distribucion
cualquiera no existe. Consideremos entonces distribuciones particulares.
Definicion 12 Sea S el espacio de las funciones complejas definidas sobre R,

infinitamente derivables y que decrecen mas rapido que cualquier potencia negativa
de |x| para x , lo mismo que cada una de sus derivadas. Denominaremos
funciones de prueba de decrecimiento rapido a las funciones S.
Se puede demostrar que si Sx entonces S . Por otro lado, de acuerdo a

la definicion de S, es claro que D S.
Definicion 13 Denominaremos distribucion atemperada (o de crecimiento lento)

a una distribucion T que sea prolongable a un funcional lineal continuo sobre S.
El espacio de las distibuciones atemperadas, dual del espacio S, se denotara por
S 0.
Solo aquellas distribuciones T D0 que crecen muy rapido en no pueden

ser prolongables como funcionales lineales continuos sobre S. Algunos ejemplos
de distribuciones atemperadas: las distribuciones definidas por una funcion lo-
calmente integrable, por una funcion acotada, por una distribucion con soporte
acotado, las derivadas de una distribucion atemperada, etc.
Si T es una distribucion atemperada, entonces el miembro derecho de (5.55) tiene
sentido puesto que S y (5.55) define entonces la transformada de Fourier T
de T . Se tiene ademas que T es tambien una distribucion atemperada.

Definicion 14 Sea T S 0 , entonces su transformada de Fourier T es tambien

una distribucion S 0 definida por
hT , i = hT, i . (5.56)
Consideremos a continuacion la transformada de Fourier de la derivada k-esima

de una distribucion atemperada. De acuerdo a (5.56)
h(Tx(k) ) , ()i = hTx(k) , (x)ix = (1)k hTx , ((x))(k) ix
ahora bien
dk
Z Z
k i
d(i) e () = k d ei (),
d
esto es
[(i)k ()] = (())(k)
y por lo tanto
h(Tx(k) ) , ()i = (1)k hTx , [(i)k ()]x ix = hT , (i)k ()i

= h(i)k T , ()i ,

[T (k) ] = (i)k T . (5.57)
De la misma manera se pueden probar las siguientes expresiones
dk
[(ix)k T ]w = T , (5.58)
dwk
Tx = 2Tx , (5.59)
[Txa ] = eia Tw , (5.60)
[Tx ] = Tw

, (5.61)
que se dejan como ejercicios propuestos.
Ejemplo 35
Como un caso particularmente interesante, consideremos la distribucion . Ten-
dremos
Z Z
h , i = h, ix = h, de ()ix = dh, eix ix ()
ix
Z
= d () = h1, i ,

= 1.
De lo anterior se desprende ademas que
= h, eix ix .
En general, si T es de soporte acotado, se tendra T = hT, eix ix .

Ejemplo 36
A continuacion, considerese la distribucion T = 1, que es obviamente una distri-
bucion acotada. De (5.57) con k = 1 se sigue que
0 = ix1 .
Puesto que x T = 0 implica T = c con c constante, se tendra
1 = c.
La constante c viene determinada por la convencion seguida en la definicion de la

transformada. Para S, de (5.52) se sigue
Z Z Z Z Z
ix ix i
d e () = d e d e () = d d ei(x) (),

Z Z Z
= d dy eiy (y + x) = d[(y + x)] ,

= h1, [(y + x)] i = h1 , (y + x)iy ,
= hc y , (y + x)i = c (x)
y comparando con (5.51) se desprende que c = 2. Por lo tanto
1 = 2.
Ejemplo 37
La distribucion (x) puede considerarse como el lmite para 0 de (x)ex .
De aqu que

i = lim iex
0
Z
i
= lim(i dxeix ex ) = lim
0 0 i
0

= lim 2 2
i lim 2 .
0 + 0 + 2
Se sigue que i = vp 1 i() en el sentido de las distribuciones.
Ahora, considerese la transformacion inversa de Fourier que denotaremos por .

Con ( ) = ( ) = , S, tenemos el siguiente resultado,
Proposicion 12 Sea T S 0 . Entonces
h(T ) , i = hT, ( ) i = hT, i = hT, ( ) i = h(T ) , i. (5.62)
(5.62) provee la prueba rigurosa de la formula de reciprocidad de Fourier.

A continuacion, consideremos el producto de convolucion de dos distribuciones S

y T de soporte acotado. Transformando por Fourier se tiene
Z
i(+)
h[S T ] , i h[S T ], i = S T , d e ()
,
Z
= d hS , ei i hT , ei i ()
Z
= d S T () hS T , i ,

[S T ] = S T . (5.63)
Asumiremos sin demostracion que (5.63) sigue siendo cierta si S es una distribu-
cion atemperada y T una distribucion de soporte acotado. Por ultimo, usando la
formula de reciprocidad encontramos
[S T ] = S T . (5.64)
Proposicion 13 La transformada de Fourier transforma productos de convolu-

cion en productos ordinarios (5.63) y productos ordinarios en productos de con-
volucion (5.64).
Transformadas de Laplace y de Fourier. La definicion de transformada de

Laplace de una funcion f (t) definida para 0 t < y O(et ) para t
coincide con la de la transformada de Fourier de la misma funcion si se hace
... s i y la identificacion t x.
... ...
.......... ..
. ...........
Tomando transformadas de Fourier de (5.48) en la coordenada espacial o bien sustituyendo

Z
1
G(x, t) = d eix G (, t) (5.65)
2

y
Z
1
(x) = d eix (5.66)
2

en (5.48), se encuentra
d
G (, t) + 2 G (, t) = (t). (5.67)
dt
Por otro lado, la condicion (5.49) se transforma en
G (, t) = 0 para t < 0. (5.68)
As,
d 2
G (, t) = ( (t) + 2 (t))1 = (t)e t , (5.69)
dt

e invirtiendo
Z
1 2
G(x, t) = d eix (t)e t . (5.70)
2

Se sigue que
Z 2 Z 2
1 1

ix ix
ix 2 t t1/2 +
G(x, t) = (t) d e e = (t)e 2t1/2 d e 2t1/2
2 2

2
x4t Z
1 e 2
= (t) 1/2 dz ez ,
2 t

donde = {z = u + iv : < u < , v = x/(2t1/2 )}. Ahora bien, puesto que el integrando es
una funcion analtica se tendra que I
2
dt ez = 0
y por lo tanto
x x
R+i R+i
ZR Z 2t1/2 Z 2t1/2
2
ZR
u2 2 2 u2 + x4t 2 +v 2
du e +i dv eR +v e2iRv + du e +i dv eR ei2Rv = 0.
R R x x
R+i R+i
2t1/2 2t1/2
Para R se tiene
R+i x R+i x
Z 2t1/2 ZR Z 2t1/2
R2 2 2 2+ x
1/2
+ lim e i dv ev ei2Rv + dv ev ei2Rv + lim du eu = 0,
4t
R R
x x
R R+i 1/2 R+i 1/2
2t 2t
esto es,
Z
2
1/2
dz ez = 0.

Por lo tanto,
x2
e 4t
G(x, t) = (t) . (5.71)
4t
G(x, t ), con G(x, t) dado por (5.71), es el kernel elemental en (x, t) para el operador t x x
en R2 y se le conoce como el kernel de Gauss.
Definicion 15 Un kernel sobre Rn es una distribucion sobre Rn Rn , esto es, un elemento del
dual D0 (Rn Rn ) de las funciones de prueba definidas sobre Rn Rn .
Notese que esta funcion de Green es causal, sin embargo el tipo de causalidad es diferente al
de (5.10): G(x, t) dada por (5.71) propaga de manera instantanea o con velocidad infinita, como
se sigue del hecho de que G(x , t ) es diferente de cero siempre y cuando t 0.

Finalmente, es interesante ver como toma (5.50) los valores iniciales. Por simplicidad supon-
gamos q = 0, entonces
Z 2
ex /4t
u(x, t) = d G(x , t)f () = f (x) (5.72)
4t

para t > 0. Ahora, en el sentido de las distribuciones se tiene que (Ejemplo 13)
2
ex /4t
lim+ = (x)
t0 4t
y por lo tanto
lim u(x, t) = (x) f (x) = f (x).
t0
El problema con una condicion de contorno

Consideremos a continuacion el efecto de introducir condiciones de contorno. El problema de
Cauchy mas sencillo para la ecuacion de difusion, con una condicion de contorno, consiste en
encontrar la solucion al problema
t u x x u = q(x, t), 0 < x < , t > 0; (5.73)
u(x, 0) = f (x), 0 x < ; u(0, t) = 0, t 0. (5.74)

Es claro son posibles condiciones de contorno mas complicadas que sin embargo no contemplaremos
por los momentos.
Para el problema no homogeneo es necesario conseguir la funcion de Green G causal, G 0
para t < , que satisfaga la condicion de contorno G|x=0 = 0. Por consideraciones de simetra
(metodo de las imagenes), es facil ver que G viene dada por
G(x, , t, ) = G(x , t ) G(x + , t ), 0 < x, < , < t, < , (5.75)
con G(x, t) dado por (5.71). La solucion de (5.73) (5.74) vendra dada entonces por
Z Z Z
u(x, t) d d G(x, , t, ) ( ) q(, ) + d G(x, , t, 0) f (). (5.76)
0 0
El problema de valores iniciales con condiciones de contorno mas generales sera tratado en el
proximo captulo.

1. Considere el problema de valores iniciales
t t u x x u = 0, < x < , t > 0;
u(x, 0) = f1 (x), t u(x, 0) = f2 (x), < x < .

(a) Empleando transformada de Laplace en la variable t obtenga
1
Z
s|x| 1
u(x, s) = d e f1 () + f2 ()
2 s
(b) A continuacion, separe la integral de acuerdo a < x o > x y usando el cambio

de variable x = invierta la expresion obtenida en (1a). Obtenga de esta manera
la solucion de dAlambert, ecuacion (5.6).
2. Encuentre la funcion de Green causal solucion fundamental al problema
t t G(x, t) x x G(x, t) = (t)(x), < x, t < ;
G 0 para t < 0, < x < ;

utilizando transformadas de Fourier en la variable x y de Laplace en la variable t.
t t u x x u c2 u = 0, < x < , t>0
u(x, 0) = f1 (x), t u(x, 0) = f2 (x), < x < .
(a) Empleando transformadas de Fourier en la variable x, demuestre que la solucion viene

dada por
1
Z
ix
Z
u(x, t) = d e d f1 () cos( 2 c2 t)ei
2
Z Z
1 ix sin( 2 c2 t) i
+ d e d f2 () e
2 2 c2
(b) Encuentre la funcion de Green causal G(x, t), solucion al problema
t t G x x G c2 G = (x) (t), < x < , < t < ;
G 0, t < 0, < x < ;

empleando transformadas de Fourier en la variable x. Deje expresada la funcion de
Green en forma integral.
(c) Verifique que la solucion encontrada en (3a) puede ser escrita como
Z
d
Z
u(x, t) = d G(x , t)f2 () + d G(x , t)f1 (),
dt
donde G es la funcion de Green encontrada en (3b).
t u + u x x u = q(x, t), < x < , t > 0,
u(x, 0) = f (x), < x < .

(a) Demuestre que la funcion de Green apropiada al problema, solucion elemental de
t G + G x x G = (x)(t), < x < , < t < ;
G 0, t < 0, < x < ;

viene dada por
x2 /4t
t e
G(x, t) = (t)e .
4t
Para ello, en la ecuacion para G tome transformada de Fourier en la variable x y luego
transformada de Laplace en la variable t. A continuacion despeje algebraicamente la
doble transformada e invierta.
(b) Muestre que u(x, t) dado por
Z Z Z
u(x, t) = d d G(x , t )( )q(, ) + d G(x , t)f (),

es solucion al problema de valores iniciales considerado, con u tomando el valor inicial

5. Encuentre la funcion de Green causal G(x, t), solucion fundamental al problema
t G x x G + v x G = (x)(t), < x < , < t < ;
G 0, t < 0, < x < ;

donde v es una constante. Para ello tome transformada de Laplace en t y transformada
de Fourier en x y obtenga G(, s). A continuacion, invierta y obtenga G(x, t) de manera
be
explcita, esto es, no en forma integral.
6. Considerese el problema de valores iniciales

1
t t u + t u x x u = q(x, t), < x < , t > 0;

u(x, 0) = f1 (x), t u(x, 0) = f2 (x), < x < ;
con y constantes positivas. Demuestre que la funcion de Green G(x, t) apropiada al
problema viene dada por
s s !
1 |x| 1 x 2
G(x, t) = (t ) et/2 I0 t2 ,
2 2
donde I0 es la funcion de Bessel modificada de primer tipo y orden cero. Para ello,
(a) aplique transformada de Laplace en la variable t a la ecuacion para G(x, t) y obtenga

G(x, s). A continuacion invierta usando

p
1 exp(k s(s + a))
(t k)eat/2 I0 ( a t2 k 2 ) = p , k 0.
2 s s(s + a)

(b) aplique transformada de Fourier en la variable x a la ecuacion para G(x, t), obtenga
G(, t) e invierta usando
h i exp(ba2 2 )
(x b)J0 (a x2 b2 ) = ,
a2 2
donde J0 es la funcion de Bessel de primer tipo y orden cero y I0 () J0 (i).
7. (a) Considere el problema para la ecuacion de difusion en la semirecta
t w x x w = 0 , 0 < x < , t > 0;
w(x, 0) = 0, 0 x < ; w(0, t) = 1, t 0.

Empleando transformada de Laplace en la variable t muestre que w(x, s) = ex s /s y
luego invierta.
(b) Considere a continuacion el problema
t u x x u = 0 , 0 < x < , t > 0;
u(x, 0) = 0, 0 x < ; u(0, t) = f (t), t 0.

Tomando transformada de Laplace en t, usando el teorema de convolucion para trans-
formadas y el resultado obtenido anteriormente, muestre que
Z t

u(x, t) = d f ( ) w(x, t ).
0
8. Demuestre que la solucion al problema (5.14-5.16) puede ser escrita completamente en

terminos de la funcion de Green (5.20) en la forma
Z Z
u(x, t) = d d G(x, , t, ) (t)q(, )
0
Z Z
d
+ d G(x, , t, 0) f2 () + d G(x, , t, 0) f1 ().
dt
0 0
9. Considere el problema de valores iniciales con una condicion de contorno
t u x x u + q 2 u = 0, 0 < x < , t > 0;
u(x, 0) = 0, 0 x < ;
x u(0, t) = f (t), u(x, t) acotada para x ,

donde q 2 es una constante.

(a) Empleando transformada coseno de Fourier en la variable espacial

2
Z
f (x, t) = d cos xfc (, t),
0
donde Z

fc (, t) dx cos xf (x, t),
0
encuentre u(, t) e invierta.
Ayuda:
Z x2
2 1
1/2
d cos x e a = e 4a , <e{a} > 0.
0 2 a
Puede dejar su resultado expresado en forma de una integral simple.
(b) Empleando transformada de Laplace en la variable temporal t encuentre u(x, s) e in-
vierta. Deje expresado el resultado en forma de una integral simple.
10. Encuentre la funcion de Green causal G(x, , t) solucion al problema
t G x x G = (x )(t), 0 < x, < , < t < ;
G 0, t < 0;
G|x=0 = 0, t > 0.
Para ello utilice transformada seno de Fourier en la variable x, definida por
Z

fs (, t) dx sin x f (x, t),
0
y la relacion inversa
2
Z
f (x, t) = d sin x fs (, t).
0
Puede hacer uso de la relacion espectral
2
Z
(x ) = d sin x sin , 0 < x, < .
0
Obtenga de esta manera la solucion dada en (5.75).
11. Encuentre la funcion de Green causal G(x, , t), solucion fundamental del problema
t G x x G + q 2 G = (x )(t), 0 < x, < < t < ;
G 0, t < 0;
G|x=0 = 0, G 0 para x ;
donde q 2 es una constante. Para ello emplee transformada seno de Fourier. Obtenga la
funcion de Green de manera explcita, esto es, no en forma integral.
Referencias
I. Stakgold, Greens functions and Boundary Value Problems. Wiley, Interscience, New York
(1979).
E. Butkov, Mathematical Physics. Addison-Wesley, Reading, Mass. (1968).


Captulo 6
El problema de contorno y valores

iniciales
En este captulo consideraremos el problema de contorno y valores iniciales para las EDPs del tipo
hiperbolico y parabolico. Por simplicidad, nos restringiremos a aquellos problemas que involucran
a las ecuaciones de onda y de difusion en (1 + 1)-dimensiones.
6.1 Formulacion del problema

Considerese la ecuacion diferencial parcial de segundo orden, en n + 1 variables independientes
x0 , x1 , , xn , dada por
D u(x) = f (x) , (6.1)
donde X
D= ak (x)Dk , (6.2)
|k|2
con
Dk = (0 )k0 (1 )k1 (n )kn (6.3)
y
|k| = k0 + k1 + + kn . (6.4)
Los coeficientes ak (x) y la funcion f (x) se suponen conocidos y continuos. Queremos encontrar
la solucion u(x) de (6.1), en la region (n + 1)-dimensional M (esto es, para x M), sujeta a
condiciones iniciales y de contorno.
Sea un conjunto abierto acotado de Rn con frontera regular. Asumiremos que M es de
la forma M = R1+ , con x0 R1+ y (x1 , , xn ) y que x0 = 0 determina la superficie
sobre la que queremos asignar datos iniciales (fig. 6.1). As, el problema de valores iniciales
y de contorno para (6.1) 0 en M consiste en encontrar la solucion u(x) de (6.1) en el volumen
M = {x R+ , x R+ , (x1 , , xn ) }, con datos iniciales dados sobre la superficie
1 1
0 = {x0 = 0, (x1 , , xn ) } y que satisface condiciones de contorno prescritas sobre la frontera

R1+ de M.
Puesto que la asignacion de datos iniciales ha sido suficientemente discutida con anterioridad, en
lo que sigue centraremos nuestra atencion sobre las condiciones de contorno. Entre las condiciones
de contorno mas sencillas y frecuentes encontramos,
1. La condicion de Dirichlet: u se prescribe sobre , x0 R1+ .
85
Figura 6.1: Ejemplo de un dominio (2+1)-dimensional M = R1+
u
2. La condicion de Neumann: se prescribe la derivada direccional n
de u a lo largo de la
normal externa n a la frontera sobre dicha frontera, x0 R1+ .
u
3. La condicion mixta: se prescribe n
+ hu sobre la frontera , con h continua, x0 R1+ .
4. La condicion de Robin: se prescribe una condicion en una parte de la frontera y otra
condicion en el resto.
Entre las tecnicas mas sencillas para resolver cierto tipo de problemas con condiciones de
contorno se encuentra el metodo de separacion de variables. Introduciremos aqu dicho metodo,
examinando las condiciones que se deben cumplir para su aplicabilidad en la resolucion del pro-
blema de contorno que involucra a las EDPs de segundo orden. Posteriormente, despues de haber
considerado algunos ejemplos especficos, se discutiran sobre bases mas rigurosas la existencia y
unicidad de las soluciones obtenidas.
Consideremos la ecuacion de segundo orden en dos variables independientes
a(x, y)x x u + b(x, y)x y u + c(x, y)y y u + F (x u, y u, u, x, y) = 0 , (6.5)
que se dice lineal si
F (x u, y u, u, x, y) = dx u + ey u + f u + g. (6.6)
La aplicacion del metodo de separacion de variables requiere que la EDP sea lineal y homogenea
y por lo tanto F debera ser como en (6.6) con g = 0. Ademas, en general, sera necesario llevar
(6.5) a la forma canonica, salvo en aquellos casos en los que los coeficientes sean constantes. Bajo
estas premisas consideremos entonces la EDP lineal y homogenea de segundo orden dada por
a(x, y)x x u + c(x, y)y y u + d(x, y)x u + e(x, y)y u + f u = 0 (6.7)
que es claro sera

i) hiperbolica, si a = c
ii) parabolica, si a = 0 o c = 0
iii) elptica si a = c.
La idea del metodo es construir la solucion de (6.7) a partir de soluciones basicas de la forma
u(x, y) = X(x)Y (y) 6= 0. (6.8)
Sustituyendo (6.8) en (6.7) encontramos
aX 00 Y + cXY 00 + dX 0 Y + eXY 0 + f XY = 0, (6.9)
donde las primas indican derivacion con respecto a la variable respectiva.
Supongamos a continuacion que existe una funcion p(x, y) tal que dividiendo (6.9) entre el
producto p(x, y)X(x)Y (y) se obtiene
X 00 X0 Y 00 Y0

1 + 2 + 3 = 1 + 2 + 3 , (6.10)
X X Y Y
donde todas las i son solo funciones de x y todas las i son solo funciones de la variable y.
Ahora, puesto que las coordenadas x, y son independientes, los miembros izquierdo y derecho
de (6.10) deberan ser iguales a la misma constante, que denotaremos por y que denominaremos
constante de separacion. As, hemos llevado entonces el problema (6.7) al problema de resolver las
dos ecuaciones diferenciales ordinarias dadas por
1 X 00 + 2 X 0 + 3 X = X, (6.11)
1 Y 00 + 2 Y 0 + 3 Y = Y. (6.12)
Por supuesto, (6.8) sera solucion de (6.7) si X e Y son soluciones de (6.11) y (6.12) respectivamente.
Hemos establecido entonces las condiciones bajo las cuales (6.7) es separable.
Por otro lado, para que el problema de contorno sea separable es necesario que las condiciones
de contorno sean separables, lo que nos obliga a elegir un sistema de coordenadas adaptado a
la simetra del problema. Por ejemplo, coordenadas cartesianas si la region (en la cual u es
solucion) es un rectangulo, coordenadas polares si es una region circular, etc., de forma tal
que la frontera venga determinada al fijar una de estas variables. Ademas las condiciones de
contorno deberan ser tales que no involucren derivadas ni variables distintas a las escogidas bajo
el criterio anterior. Por ejemplo, la condicion de contorno (u + y u)|r=r0 = 0 con x = r cos y
y = r sin no es separable.
Si las condiciones de contorno son separables, las mismas definen junto a (6.11) (o (6.12)) un
problema de autovalores que determina los valores posibles de como los autovalores del espectro
de autovalores correspondiente y a X(x) (o a Y (y)) como las autofunciones asociadas.
6.2 El problema para la ecuacion de onda

6.2.1 El problema homogeneo
Consideremos el siguiente problema
t t u x x u = 0, 0 < x < `, t > 0; (6.13)

u(x, 0) = f1 (x), t u(x, 0) = f2 (x), 0 x `; (6.14)

u(0, t) = u(`, t) = 0, t > 0. (6.15)
Este puede asociarse a las vibraciones de una cuerda de longitud ` con los extremos fijos.
De acuerdo a (6.8), proponemos una solucion de la forma
u(x, t) = X(x)T (t). (6.16)
Sustituyendo en (6.13), se tiene

XT 00 = X 00 T, (6.17)
de donde, dividiendo entre X(x)T (t), obtenemos
X 00 T 00
= , (6.18)
X T
esto es,
X 00 X = 0, (6.19)
T 00 T = 0. (6.20)
De (6.15) y (6.16) se sigue que u(0, t) = X(0) T (t) = 0 y u(`, t) = X(`)T (t) = 0 de donde se
desprende que
X(0) = 0, X(`) = 0. (6.21)
(6.19, 6.21) especifican un problema de autovalores y debemos entonces determinar los valores de
la constante de separacion para los cuales existen soluciones no triviales.
Es facil ver que las soluciones al problema de autovalores (6.19, 6.21) vienen dadas por las
autofunciones nx
Xn = sin (6.22)
`
con autovalores n 2
= n = , (6.23)
`
donde n es un entero positivo.
Para s dados por (6.23), la solucion general de (6.20) puede ser escrita en la forma

nt nt
Tn (t) = an cos + bn sin , (6.24)
` `
donde an y bn son constantes arbitrarias. As, una solucion de la ecuacion diferencial (6.13) que
satisface las condiciones de contorno (6.15) viene dada por

nt nt nx
un (x, t) = an cos + bn sin sin , (6.25)
` ` `
aunque claramente la misma no puede satisfacer las condiciones iniciales arbitrarias (6.14).
Ahora bien, puesto que (6.13) es lineal y homogenea, entonces la combinacion lineal

X nt nt nx
u(x, t) = an cos + bn sin sin (6.26)
n=1
` ` `

tambien sera solucion. Dejando de lado por los momentos la convergencia de la serie de Fourier
(6.26), quedan por determinar los coeficientes an y bn y exigiendo que se cumplan las condiciones
iniciales (6.14) se sigue que

X nx
u(x, 0) = an sin = f1 (x) (6.27)
n=1
`
y

X n nx
t u(x, 0) = bn sin = f2 (x). (6.28)
n=1
` `
Multiplicando (6.27) por sin(mx/`) e integrando en x se tiene
X Z ` nx mx Z ` mx
an dx sin sin = dx f1 (x) sin . (6.29)
n=1 0 ` ` 0 `
Ahora bien Z l nx mx `
dx sin sin = m,n (6.30)
0 ` ` 2
y por lo tanto
2 `
Z nx
an = dx f1 (x) sin . (6.31)
` 0 `
Procediendo en forma analoga, a partir de (6.28) se encuentra que
Z `
2 nx
bn = dx f2 (x) sin . (6.32)
n 0 `
Notese que an y nbn /` son los coeficientes de la expansion de f1 y f2 en serie de Fourier.
Finalmente, la solucion al problema (6.13, 6.15, 6.14) viene dada por (6.26) donde los coefi-
cientes an y bn vienen dados por (6.31) y (6.32) respectivamente.
6.2.2 El problema no homogeneo

Consideremos a continuacion el problema
t t u x x u = q(x, t), 0 < x < `, t>0 (6.33)
u(x, o) = f1 (x) , t u(x, 0) = f2 (x) , 0x` (6.34)
u(0, t) = u(`, t) = 0 (6.35)
Al igual que el problema (6.13) con condiciones (6.14) y (6.15), este tambien puede asociarse a la
propagacion de vibraciones en una cuerda de longitud ` con los extremos fijos, pero esta vez bajo
la accion de una fuerza externa q(x, t).
En la seccion anterior resolvimos el problema homogeneo por separacion de variables y encon-
tramos que la solucion viene dada en terminos de las autofunciones (6.22) con autovalores (6.23).
Pues bien, una alternativa para resolver (6.33) con las condiciones (6.34) y (6.35) consiste en
proponer la solucion como la expansion en serie de Fourier

X nx
u(x, t) = un (t) sin , (6.36)
n=1
`

donde debemos determinar un (t). Evidentemente (6.36) satisface las condiciones (6.35). De la
misma manera, reemplazamos q(x, t) por su expansion en serie en la misma base de funciones

X nx
q(x, t) = qn (t) sin , (6.37)
n=1
`
donde Z `
2 nx
qn (t) = dx q(x, t) sin . (6.38)
` 0 `
Sustituyendo (6.36) y (6.37) en (6.33) se tiene
2
X d n 2 nx X nx
un (t) + un (t) sin = qn (t) sin (6.39)
n=1
dt2 ` ` n=1
`
A continuacion, multiplicando ambos miembros de (6.39) por sin(mx/`), integrando en x

desde 0 hasta ` y usando la relacion de ortogonalidad (6.30) encontramos
d2 m 2
u m (t) + um (t) = qm (t) , (6.40)
dt2 `

nt nt
un (t) = an cos + bn sin
` `
Z t
` n (t )
+ d qn ( ) sin . (6.41)
n 0 `
Se deja como ejercicio la verificacion de que (6.41) es la solucion general de (6.40).

De aqu que la solucion de (6.33) con las condiciones de contorno (6.35) venga dada por

X nt nt nx
u(x, t) = an cos + bn sin sin
n=1
` ` `
t
n (t )
Z
X ` nx
+ d qn ( ) sin sin (6.42)
n=1
n 0 ` `
De las condiciones iniciales (6.34) se sigue que an y bn vienen dados por (6.31) y (6.32).
Ahora, es oportuno hacer algunos comentarios sobre la convergencia de las soluciones obtenidas.
Admitiendo que los datos iniciales f1 y f2 sean continuamente derivables al menos una vez, las
series de Fourier (6.27) y (6.28) son uniformemente convergentes, aunque esto no nos dice nada
sobre la convergencia de (6.26) y (6.42) ni de la derivabilidad de u respecto a x y t hasta segundo
orden. Mas adelante veremos que las dificultades mencionadas estan totalmente ausentes si se
consideran las convergencia y las derivadas en el sentido de las distribuciones o tambien si se
proponen funciones f1 y f2 suficientemente derivables.
Consideremos a continuacion otros tipos de condiciones de contorno. El problema de Cauchy
(6.13), (6.14) con condiciones de contorno
x u(0, t) = x u(`, t) = 0 (6.43)

puede asociarse a las vibraciones longitudinales de un gas contenido en un tubo de longitud ` con
los extremos abiertos. Este se resuelve de la misma manera que el problema anterior, pero esta
vez las condiciones (6.43) imponen soluciones de la forma
nx
Xn (x) = Cn (x) cos , (6.44)
`
autofunciones de (6.19) con autovalores
n 2
n = . (6.45)
`
El desarrollo posterior es completamente analogo al seguido para el problema (6.13), (6.14), y
(6.15). Por supuesto, f1 y f2 deben ser expandidas en serie de Fourier de cos (nx/`).
Otro problema interesante es el problema (6.13), (6.14) con condiciones de contorno
u(0, t) = x u(`, t) = 0, (6.46)
que impone soluciones a (6.19) de la forma

(2n + 1) x
Xn (x) = sin , (6.47)
2`
autofunciones del problema
X 00 (x) X = 0 , X(0) = X 0 (`) = 0 (6.48)
con autovalores 2
(2n + 1)
n = . (6.49)
2`
La solucion al problema (6.13, 6.14, 6.46) se obtiene siguiendo los pasos dados al resolver el
problema (6.13, 6.14, 6.15), pero esta vez desarrollando las funciones f1 y f2 en la base de funciones
(6.47). Todo lo anterior es facilmente extendible al problema no homogeneo.
Consideremos de nuevo el problema (6.33, 6.34, 6.35), esta vez empleando un tratamiento
distribucional. La funcion de Green asociada es la solucion elemental del problema
(t t x x ) G(x, t; ) = (x )(t) , ` < x, < ` , t > 0, (6.50)
G = 0 para t < 0 , (6.51)

G|x=0 = G|x=` = 0 (6.52)
y la solucion de (6.33, 6.34, 6.35) viene dada por
Z Z `
d `
Z
u(x, t) = d d G(x, t; , )( )q(, ) + d G(x, t, , 0)f1o ()
0 dt `
Z `
+ dG(x, t, , 0)f2o () (6.53)
`
donde G(x, t; , ) = G(x, t ; ) y f1o y f2o son las extensiones impares de f1 y f2 respectivamente.
El primer termino del miembro derecho de (6.53) es la solucion del problema no homogeneo con
condiciones iniciales homogeneas, el segundo y tercer termino proveen la solucion al problema
homogeneo con condiciones iniciales no homogeneas.

....... ..
...........
..... ...
... ...
Caja 6.1: Series de Fourier
Sea f (x) una funcion periodica definida sobre R1 con periodo 2. Su serie de Fourier
viene dada por

X
cn exp (inx) (6.54)
n=
o por

a0 X
+ (an cos (nx) + bn sin (nx)) (6.55)
2 n=1
donde los coeficientes cn , an y bn estan relacionados por
a0 = 2c0 , an = cn + cn , bn = i (cn cn ) , n>0
y vienen dados por

Z
1
cn = dx einx f (x) ; n = 0, 1, 2... (6.56)
2
Z
1
an = dx cos nx f (x) ; n = 1, 2... (6.57)

Z
1
bn = dx sin nx f (x) ; n = 1, 2... (6.58)

Para funciones periodicas f (x) definidas sobre R1 y con periodo la serie de Fourier
se define como
X
cn exp(i2nx/ ), (6.59)
n=
donde Z /2
1
cn = dx f (x) exp(i2nx/ ). (6.60)
/2
Ahora, debera notarse que la serie de Fourier de una funcion localmente integrable
f (x) no converge a f (x) en todo punto x. Esto es evidente, ya que una modificacion
de f sobre un conjunto de medida nula no cambia los coeficientes de la serie de Fourier
asociada. Se puede demostrar que tampoco son posibles convergencia en la media (casi
en todas partes) y que aun suponiendo f (x) continua no hay convergencia en todo
punto x.
Considerese la funcion f (x) = x para 0 x < 2, con f (x + 2) = f (x) para
otros valores de x. La serie de Fourier de f (x) viene dada por
X einx
X 1
2 sin nx = i . (6.61)
n=1
n n6=0
n

Se puede demostrar que (6.61) no converge uniformemente a f .

Sea D. Entonces

X 1
f (x) = 2 sin nx, (6.62)
n=1
n
se entendera como

X 1
hf, i = h2 sin nx, i, D, (6.63)
n=1
n
esto es, (6.62) es una igualdad en el sentido de las distribuciones y la convergencia de

la serie (6.61) a f es una convergencia distribucional como en (6.63).
Derivando f (x) en el sentido de las distribuciones (seccion 2.4 del captulo 2) se tiene

X
f 0 (x) = 1 2 (x n2) (6.64)
n=
y derivando la serie de Fourier (6.62) de f (x) se tiene

X
0
f (x) = 2 cos nx. (6.65)
n=1
De (6.64) y (6.65) se desprende que

X 1 1X
(x n2) = + cos nx (6.66)
n=
2 n=1
o bien

X 1 X inx
(x n2) = e (6.67)
n=
2 n=
De (6.66) se tiene

X 1 1X
(x n2) = + (cos n cos nx + sin n sin nx) (6.68)
n=
2 n=1
y de (6.67) se sigue

X 1 X in(x)
(x n2) = e (6.69)
n=
2 n=
Sea (x) D(, ), con D(, ) el espacio de las funciones de prueba con soporte
compacto en (, ). Entonces

X 1 1X
h (x 2n) , ()i = h + (cos n cos nx + sin n sin nx) , ()i
n=
2 n=1

y se sigue que
Z Z
1 X 1
(x) = d () + d cos n () cos nx
2 n=1

Z
1
+ d sin n () sin nx . (6.70)

En (6.70) reconocemos la serie de Fourier asociada a (x).
Hemos mostrado rigurosamente que la identidad en el sentido de las distribuciones
(6.68) expresa el hecho de que el conjunto de funciones { sin nx, cos nx; n = 0, 1, 2, . . . }
es base en D(, ). Lo mismo puede decirse de la identidad (6.69) con respecto al
conjunto de funciones { einx ; n = 0, 1, . . . } y a las expresiones (6.68) y (6.69) se les
conoce como relaciones de cierre o completitud. Estos resultados pueden extenderse al
espacio de Hilbert L2(r) (, ): el espacio de todas las funciones reales f (x) de cuadrado
... integrable definidas en el intervalo acotado x .
... ...
.......... .
.
. ..........
Sea
X nx nx
G (x, ; t) = Gsn (; t) sin + Gcn (; t) cos (6.71)
n=0
` `
y con

1 1X n nx n nx
(x ) = + cos cos + sin sin , (6.72)
2` ` n=1 ` ` ` `
esta ultima obtenida de la identidad (6.68) para ` x, `, se sigue de (6.53) que
2 n 2
X d s nx c nx
+ Gn (; t) sin + Gn (; t) cos =
n=1
dt2 ` ` `

!
1 1X n nx n nx
+ cos cos + sin sin (t). (6.73)
2` ` n=1 ` ` ` `
A continuacion, multiplicando (6.73) por sin (mx/`), integrando en x entre ` y ` y usando

la relacion de ortogonalidad (6.30) obtenemos
2 n 2
d 1 n
2 + Gsn (; t) = sin (t) , (6.74)
dt ` ` `
1 n sin nt
Gsn (; t) = sin (t) n ` . (6.75)
` ` `
Ahora bien, solo las partes Gsn (; t) sin nx/` de (6.71) satisfacen las condiciones de contorno (6.52)
y por lo tanto la solucion al problema (6.50-6.52) viene dada por

X 1 n nx nt
G (x, ; t) = (t) sin sin sin . (6.76)
n=1
n ` ` `

Hasta ahora hemos considerado problemas con condiciones de contorno homogeneas. Consi-
deremos a continuacion el problema de contorno y valores iniciales para la ecuacion de onda con
condiciones de contorno no homogeneas,
t t u x x u = q (x, t) , 0<x<` , t>0 (6.77)
u (x, 0) = f1 (x) , t u (x, 0) = f2 (x) , 0x` (6.78)

u (0, t) = h1 (t) , u (`, t) = h2 (t) , t0 (6.79)
Es posible llevar el problema (6.77, 6.78, 6.79) a uno con condiciones de contorno homogeneas.
Para ello, supongamos una solucion de la forma
u (x, t) = v (x, t) + U (x, t) . (6.80)
Sustituyendo (6.80) en (6.77) se tiene
t t v x x v = q (x, t) t t U (x, t) + x x U (x, t) (6.81)
De las condiciones iniciales (6.78) y las condiciones de contorno (6.79) se desprende que
v (x, 0) = f1 (x) U (x, 0) , t v (x, 0) = f2 (x) t U (x, 0)

(6.82)
v (0, t) = h1 (t) U (0, t) , v (`, t) = h2 (x) U (`, t) .
De (6.82) se sigue que haciendo

U (0, t) = h1 (t)
U (`, t) = h2 (t)
se obtendran condiciones de contorno homogeneas para v. Entonces, escogiendo U (x, t) de la forma
x
U (x, t) = h1 (t) + (h2 (t) h1 (t)) (6.83)
`
el problema se reduce al de encontrar v(x, t) que satisface
t t v x x v = q(x, t) t t U (x, t) Q(x, t) (6.84)
v(x, 0) = f1 (x) U (x, 0) = F1 (x)

t v(x, 0) = f2 (x) t U (x, 0) = F2 (x) (6.85)
0x`
v(0, t) = v(`, t)0, t0 (6.86)

que resulta ser un problema del mismo tipo que (6.33, 6.34, 6.35).

....... ..
...........
..... ...
... ...
Caja 6.2: El espacio de Hilbert L2(r) (, )
Definicion 16 Se denota por L2(r) (, ) al espacio vectorial de todas las funciones

reales f (x) de cuadrado integrable definidas en el intervalo acotado x , con
metrica Z 1/2
2
d2 (f, g) =k f g k2 = dx| f (x) g(x) | , (6.87)

definida por la norma

Z 1/2
1/2 2
k f k2 = (f, f ) = dx| f (x) | , (6.88)

donde Z
(f, g) dx f (x)g(x) (6.89)

se toma como el producto interior (escalar).

L2(r) (, ) es un espacio vectorial metrico completo con metrica tal que es un espacio
de Hilbert .
Definicion 17 Un conjunto X = {u, v, w, } se dice que es un espacio metrico si a

cada par de elementos u, v le esta asociado un numero d(u, v) tal que
1. d(u, v) 0,
2. d(u, v) = 0 si y solo si u = v,
3. d(u, v) = d(v, u),
4. d(u, w) d(u, v) + d(v, w).
Definicion 18 Una sucesion fundamental o de Cauchy en un espacio metrico X es

una sucesion {uk } de X tal que
lim d(um , un ) = 0,
n,m
esto es, N tal que para m, p > N , d(um , up ) < , > 0.
Definicion 19 Un espacio metrico X se dice completo en d si toda sucesion funda-

mental o de Cauchy {uk , k = 1, 2...} de X converge a un lmite en X.
Definicion 20 Un espacio de Hilbert es un espacio vectorial sobre el que se ha definido

un producto interior (escalar), siendo el espacio completo en la metrica generada por
el producto interior.

Espacios de Hilbert de dimension finita e infinita.

Los espacios vectoriales n-dimensionales con producto interior y norma definida positiva
se denominan espacios eucldeos. Todo espacio eucldeo es un espacio de Hilbert.
Como se sigue de su definicion, todos los espacios de Hilbert disfrutan de propiedades
algebraicas y geometricas equivalentes a las de los espacios eucldeos. Sin embargo,
no todos los espacios vectoriales infinito-dimensionales con producto interior definido
positivo son automaticamente espacios de Hilbert, requiriendo ser completados para
convertirlos en espacios de Hilbert.
Considerese el espacio vectorial de todas las funciones continuas y acotadas en (, ),
que se denota por C 0 (, ), y tomese como metrica la metrica uniforme d definida
por
d (u, v) = max | u(x) v(x)|,
x
que genera la denominada norma uniforme

k u k = max | u(x)|.
x
Ahora bien, toda sucesion de Cauchy {uk , k = 1, 2...} de C 0 (, ) converge a un

lmite en C 0 (, ), esto es
d (um , up ) < , m, p > N
(criterio de Cauchy para convergencia uniforme) y por lo tanto C 0 (, ) es un espacio
metrico completo en d . Sin embargo, la norma uniforme no puede ser generada a
partir de un producto interno.
A continuacion, considerese de nuevo C 0 (, ) y tomese como metrica la generada por
el producto interior (7.105), esto es, d2 dada por(6.97). Es facil verificar que C 0 (, )
es un espacio metrico en d2 . Por otro lado, sea {uk } la sucesion de Cauchy en d2 con
uk C 0 (, ) dada por
1
uk (x) = arctan kx, x .

Tenemos
lim d2 (uk , u) = 0,
k
donde u(x) = 21 sgnx y u 6 C 0 (, ). Puesto que no existe funcion v C 0 (, )

para la cual d2 (u, v) = 0, no existe v C 0 (, ) para la cual limk d2 (uk , v) = 0.
C 0 (, ) no es completo en la metrica d2 .
Ahora bien, el espacio de Hilbert L2(r) (, ) puede ser entendido como la completa-
cion o clausura de C 0 (, ) en la metrica (6.97). Del ejemplo anterior, es claro que
L2(r) (, ) contiene entonces elementos asociados con sucesiones de Cauchy no conver-
gentes en C 0 (, ). Cabe destacar que L2(r) (, ) puede ser entendido ademas como
la completacion en la metrica (6.97) del conjunto C 1 (, ) de las funciones derivables
una vez en (, ) o tambien de D(, ), entre otras. As, C 0 (, ), C 1 (, ) y
D(, ) son densos en L2(r) (, ), esto es, todo elemento de L2(r) (, ) puede ser
aproximado con precision arbitraria por elementos de dichos conjuntos.
Por ultimo enunciemos (sin demostracion) el teorema de representacion de Riesz, que
establece la relacion entre los vectores de un espacio de Hilbert y su dual.

Teorema 1 Existe una correspondencia uno a uno entre los vectores de un espacio de
Hilbert H y su dual H0 , definida por
u H 7 (u, ) H0 .
Esto es, a cada forma lineal continua sobre H le corresponde un unico vector definido
a traves del producto escalar con un elemento de H
hu, vi = (u, v).
As, el dual de L2(r) (, ) es (o puede ser identificado con) L2(r) (, ) y se tienen las
siguientes inclusiones
D(, ) L2(r) (, )
L2(r) (, ) D0 (, )
... ..
... ..
.......... .
. ..........
6.3 El problema para la ecuacion de difusion

Consideremos a continuacion el problema de contorno y valores iniciales para la ecuacion de difusion
t u x x u = q (x, t) , 0<x<` , t>0 (6.90)
u (x, 0) = f (x) , 0x` (6.91)

u (0, t) = u (`, t) = 0 , t0 (6.92)
El problema (6.90, 6.91, 6.92) se puede resolver empleando las mismas tecnicas usadas en
6.2.1. Para el problema homogeneo, esto es, con q = 0, se puede usar el metodo de separacion
de variables. Para el problema no homogeneo, q 6= 0, la solucion se puede encontrar proponiendo
una expansion en las autofunciones espaciales sin nx/` para u (x, t) directamente, o bien para la
funcion de Green g (x, t; , 0) apropiada a (6.90, 6.91, 6.92), esta ultima, la solucion elemental de
t g x x g = (x ) (t) , ` < x, < ` , < t < (6.93)
g0 , t<0 ; g |x=0 = g |x=` = 0 , t > 0. (6.94)

La solucion de (6.90, 6.91, 6.92) en terminos de la funcion de Green viene dada por
Z Z ` Z `
u (x, t) = d d g (x, t; , ) ( )q(, ) + d g (x, t; , 0) f o (), (6.95)
0 `
donde f o es la extension impar de f y g (x, t; , ) = g (x, t ; , 0), con g (x, t; , 0) dada por

1 X n2 2 t/`2 n nx
g (x, t; , 0) = (t) e sin sin , (6.96)
` n=1 ` `
que es la solucion a (6.93, 6.94). Se deja como ejercicio propuesto la obtencion de (6.96).

....... ..
...........
..... ...
... ...
Caja 6.3: Bases en L2(r) (a, b)
Los conjuntos de funciones { einx ; n = 0, 1, . . . } y { cos x, sin nx ; n = 0, 1, 2, . . . },

que expanden bases en L2(r) (, ), aparecen como las autofunciones del problema
d2
f = f, < x < ;
dx2
U1 f = c1 f () + c2 f 0 () = 0, U2 f = d1 f () + d2 f 0 () = 0;
asociadas al autovalor = n2 . Para establecer sobre bases rigurosas esta relacion y
sus posibles generalizaciones, en lo que sigue daremos algunas definiciones y mostra-
remos unos pocos resultados fundamentales de la teora de operadores lineales sobre
espacios vectoriales normados y metrizables. Nos restringiremos a considerar solo el
caso de los denominados operadores Hilbert-Schmidt autoadjuntos (a los cuales se ex-
tienden muchas de las propiedades de los operadores lineales sobre espacios eucldeos)
y mostraremos que la existencia de la funcion de Green para el problema de contorno
(autoadjunto) implica entonces la existencia de bases ortogonales en L2(r) .
Definicion 21 Denotaremos por L2(r) (a, b) al espacio vectorial de todas las funciones
reales f (x) de cuadrado integrable definidas en el intervalo acotado a x b, con
metrica Z b 1/2
2
d2 (f, g) =k f g k2 = dx| f (x) g(x) | , (6.97)
a
definida por la norma

Z b 1/2
1/2 2
k f k2 = (f, f ) = dx| f (x) | , (6.98)
a
donde Z b
(f, g) dx f (x)g(x) (6.99)
a
se toma como el producto interior (escalar). L2(r) (a, b) es un espacio de Hilbert.
Definicion 22 Sea el intervalo cerrado [a, b] en R1 y sea K el operador lineal sobre

L2(r) ()
K : f L2(r) () 7 h L2(r) ()
definido por
Z b
h(x) = d k(x, ) f (), a x b, (6.100)
a
donde k(x, ) es una funcion continua sobre L2(r) ( ). Se dice que k(x, ) es un
kernel Hilbert-Schmidt y por tanto que K es un operador Hilbert-Schmidt.

Considerese a continuacion la ecuacion integral (conocida como ecuacion de Fredholm

del primer tipo)
Z b
d k(x, ) f () = f (x), a x b, (6.101)
a
que interpretamos como un problema de autovalores para el operador integral K ge-
nerado por el kernel k(x, ), esto es, queremos encontrar los autovalores para los
cuales
Kf = f (6.102)
tiene soluciones f no triviales.
Definicion 23 El operador lineal K sobre L2(r) ()
K f = f
definido por Z b
d k(, x)f () = f (x), a x b,
a
se dice el adjunto del operador K, que aparece en (6.102), definido por (6.101). Si
k(, x) = k(x, ), entonces K es autoadjunto.
Proposicion 14 Sea K un operador Hilbert-Schmidt autoadjunto definido sobre el es-

pacio de Hilbert L2(r) (), entonces las autofunciones de K correspondientes a autovalores
6= 0 expanden una base ortogonal para L2(r) () si y solo si = 0 no es un autovalor
de K.
Considerese entonces el problema de autovalores
Lx f = f, a < x < b, U1 f = 0 = U2 f, (6.103)
con Lx el operador diferencial de segundo orden autoadjunto dado por (3.10) y U1 f = 0,

U2 f = 0, condiciones de contorno homogeneas y sin mezcla del tipo (3.12,3.13).
Primero, notese que para f y h funciones arbitrarias, derivables dos veces en a < x < b
y que satisfacen U1 f = 0 = U2 f y U1 h = 0 = U2 h, se encuentra
Z b Z b
dx (Lx f ) h = dx f (Lx h), (6.104)
a a
como puede verificarse facilmente integrando por partes.

A continuacion, sean fi y fj soluciones de (6.103) correspondientes a los autovalores i
y j , respectivamente, se tiene
Z b Z b Z b
0= dx (Lx fi ) fj dx fi (Lx fj ) = (i j ) dx fi (x)fj (x),
a a a
de donde se sigue que si i 6= j entonces fi y fj son ortogonales en L2(r) (a, b). Fi-
nalmente, puede probarse que los autovalores de (6.103) son simples y que pueden ser
listados como
1 < 2 < < n <

con n + para n .
Supongamos ahora que = 0 no es un autovalor de (6.103). En terminos de la funcion
de Green g0 (x, ) definida por
Lx g0 = (x ), a < x, < b, U1 g0 = 0 = U2 g0 , (6.105)
el problema (6.103) puede ser planteado como la ecuacion integral

Z b
f (x) = d g0 (x, ) f (), a < x < b,
a
que es de la forma
Gf = f, = 1 .
As, las autofunciones de (6.103) son las autofunciones de G y puesto que la funcion de
Green es simetrica, g0 (, x) = g0 (x, ), se sigue que el operador integral G es un operador
Hilbert-Schmidt autoadjunto . Por otro lado, dado que el problema de contorno
Lx y = f, a < x < b, U1 y = 0 = U2 y, (6.106)
tiene una unica solucion

y = G f,
tendremos que y = 0 implica f = 0 y de aqu que = 0 no es un autovalor de G. As,
de acuerdo al teorema 14, las autofunciones de G y por lo tanto las autofunciones de
(6.103) expanden una base ortogonal en L2(r) (a, b).
... .
...
.......... ...
.
. ..........

1. Encuentre la solucion a los problemas de contorno y valores iniciales siguientes
(a)
t t x x = 0, 0 < x < l, t>0
(0, t) = x (l, t) = 0, t0
(x, 0) = f1 (x), t (x, 0) = f2 (x), 0 x l.
(b)
t t u x x u = q(x, t), 0 < x < l, t>0
x u(0, t) = x u(l, t) = 0, t0
u(x, 0) = t u(x, 0) = 0, 0 x l.

(c)
t t u x x u = A sinh x, 0 < x < l, t>0
u(0, t) = h, u(l, t) = k, t0
u(x, 0) = t u(x, 0) = 0, 0 x l,
donde A, h y k son constantes.
(d)
t t u + at u x x u = 0, 0 < x < l, t>0
u(0, t) = u(l, t) = 0, t0
u(x, 0) = 0, t u(x, 0) = f2 (x), 0 x l.
(e)
t t u + 2xx u (1 x2 )x x u = 0, 0 < x < 1, t>0
u(0, t) = 0, u(1, t) < , t>0

u(x, 0) = f1 (x), t u(x, 0) = f2 (x), 0x1
(f)
1
t u x (xx u) = 0, 0 < x < a, t>0
x
u(0, t) < , u(a, t) = 0, t>0
u(x, 0) = f (x), 0xa
(g)
t u x x u = q(x, t), 0 < x < l, t>0
u(0, t) = h1 (t), x u(l, t) = h2 (t), t0

u(x, 0) = f (x), 0 x l.
Indicaciones: lleve el problema a uno con condiciones de contorno homogeneas y propon-
ga la solucion a este ultimo como una expansion en serie de Fourier de sin[(2n + 1)x/2l].
(h)
t t u ax (xx u) 2 u = 0, 0 < x < l, t>0
u(0, t) < , u(l, t) = 0, t>0

u(x, 0) = f1 (x), t u(x, 0) = f2 (x), 0 x l.
2. Verifique que la ec.(6.53) es la solucion para el problema planteado en las ecs.(6.33, 6.34,
6.35).
3. (a) Verifique que la ec.(6.95) es la solucion para el problema planteado en las ecs.(6.90, 6.91,
6.92).

(b) Obtenga la funcion de Green dada por ec.(6.96), solucion fundamental al problema
planteado en las ecs.(6.93, 6.94).
4. Obtenga la funcion de Green G(x, , t), solucion elemental causal al problema de contorno y
valores iniciales
t G x x G + hG = (x )(t), 0 < x, < 1, < t < ;
G 0 para t < 0;
G|x=0 = 0, x G|x=1 = 0;
donde h es una constante positiva.
Referencias


Captulo 7
El Problema de Contorno Puro
Las EDPs elpticas no tienen caractersticas reales. Sin embargo, el problema de Cauchy no es el
indicado para estas ecuaciones ya que se obtienen existencia y unicidad solo en dominios pequenos
y en situaciones en las que todo es analtico; ademas no hay dependencia continua con la data. Es
el problema de contorno puro el que esta bien planteado para las ecuaciones elpticas.
Ahora bien, sea un conjunto abierto acotado de Rn con frontera regular y supongamos
que queremos encontrar la solucion a un problema en con condiciones de contorno prescritas
sobre . En (6.1) mencionamos las condiciones de contorno mas simples y usuales,
1. La condicion de Dirichlet: u se prescribe sobre la frontera del dominio donde se

busca la solucion.
u
2. La condicion de Neumann: se prescribe la derivada normal n
sobre .
u
3. Condicion mixta: se prescribe n
+ hu sobre , con h continua.
4. La condicion de Robin: se prescribe una condicion en una parte de y otra condicion

en el resto.
A continuacion estudiaremos algunos problemas de contorno que involucran condiciones de Diri-

chlet y de Neumann para las denominadas ecuaciones de Laplace y de Poisson. Por simplicidad
nos restringiremos al caso de dos variables independientes.
7.1 El problema de Dirichlet

7.1.1 El problema de Dirichlet para la ecuacion de Laplace
Sea el operador Laplaciano. Una distribucion que satisfaga
u = 0
en un dominio se dice armonica en y dicha ecuacion se conoce comunmente como la ecuacion

de Laplace.
105
El problema interior de Dirichlet para el disco

Supongamos a continuacion que a es un disco de radio a. Queremos encontrar una funcion
u armonica en a con valores prescritos sobre el circulo a frontera de a . El laplaciano en
dos dimensiones y en coordenadas cartesianas viene dado por x x + y y . Sin embargo,
es conveniente emplear coordenadas adaptadas a la simetra de a , esto es coordenadas polares
x = r cos , y = r sin con 0 r a y . Es claro r = 0, = y = no
corresponden a ninguna frontera real y deberemos asegurarnos que la solucion buscada u (r, )
tenga un comportamiento razonableen r = 0 y sobre las lneas = y = que deben ser
identificadas.
As, el problema interior de Dirichlet para el disco viene especificado por
1 1
u = r (rr u) + 2 u = 0, 0 r a, < ; (7.1)
r r
u (a, ) = f () , f () = f () , (7.2)
con f continua.
El problema (7.1,7.2) puede ser resuelto por separacion de variables. Proponiendo una solucion
de la forma
u (r, ) = R (r) () (7.3)
y sustituyendo (7.3) en (7.1), se obtiene despues de dividir entre R
1 d2

r d dR
r = = (7.4)
R dr dr d2
donde es la constante de separacion. Tenemos entonces dos ecuaciones diferenciales ordinarias
d2
= , (7.5)
d2
y
d dR
r r = R , 0 < r < a (7.6)
dr dr
Para que u sea armonica en a , u y sus derivadas deben ser continuas y de aqu que para
asegurar continuidad en la recta = que es la misma que = , deberemos asociar a (7.5)
condiciones de contorno periodicas
() = () , 0 () = 0 () (7.7)
Para la ecuacion radial (7.6) exigiremos R(0) < . La ecuacion (7.5) junto con las condiciones
(7.7) define un problema de autovalores, con autovalores = n2 y autofunciones
n = C sin n + D cos n , n = 0, 1, 2...
o
n = Aein , nZ
De (7.6) con = n2 se tiene

Crn + Drn , n 6= 0
Rn (x) =
E + F log r, n=0


Exigiendo que R este acotada en el origen, se sigue que
Rn = r|n| , n Z,
y tenemos entonces que

un (r, ) = r|n| ein , n Z,
es armonica en el plano entero. Por supuesto, tambien lo es cualquier combinacion lineal finita de
dichas funciones. Sin embargo, como veremos a continuacion, a fin de satisfacer la condicion (7.2)
sera necesario considerar una combinacion lineal infinita.
Supongamos que
r |n|
X r
u(r, ) = an ein , < 1. (7.8)
n=
a a
De (7.2) tenemos

X
f () = an ein , (7.9)
n=
de donde se sigue que Z

1
an = d ein f (). (7.10)
2
La solucion al problema (7.1,7.2) viene dada entonces por (7.8), donde los an (7.10) son los coefi-
cientes de la expansion de f () en serie de Fourier.
Es posible, en este caso, reducir la solucion a una integral simple. Sustituyendo (7.10) en (7.8)
tenemos "
Z #
1 X r |n| in() r
u(r, ) = df () e , <1
2 n= a a
Ahora,

X
X
X
z |n| eina = 1 + z n eina + z n eina
n= n=1 n=1

X n X n
= 1+ zeia + zeia
n=1 n=1
zeia zeia
= 1+ +
1 zeia 1 zeia
1 z2
=
1 2z cos a + z 2
y por lo tanto
r 2

1
Z
1 a r
u(r, ) = df () , <1 (7.11)
2 r 2 a
1 2 ar cos ( ) +

a
La funcion
1 1 2
k(, ) = (7.12)
2 1 2 cos + 2

se conoce como el kernel de Poisson y puede demostrarse que (Ejemplo 14)
lim k(, ) = () , | | (7.13)

1
en el sentido de las distribuciones. De aqu que u satisface la condicion de contorno en el sentido

de las distribuciones como se sigue de manera directa de (7.11) y (7.13).
El problema exterior de Dirichlet para el disco

El problema exterior de Dirichlet para el disco, que consiste en encontrar una funcion ue armonica
en el dominio no acotado = {(r, ) R2 , r > a, < < }, con condiciones prescritas sobre
la frontera r = a y con ue 0 para r , tiene como solucion
a |n|
X a
ue (r, ) = an ein , <1 (7.14)
=
r r
con Z
1
an = dein f () (7.15)
2
y que puede ser re-escrita como

r 2

1
Z
1 a r
ue (r, ) = df () , > 1. (7.16)
2 r 2 a
2 ar

1 cos ( ) + a
El problema de Dirichlet para un rectangulo

Retomemos de nuevo el problema de Dirichlet, esta vez para un dominio rectangular. Consideremos
el problema
u = x x u + y y u = 0, 0 < x < a, 0 < y < b; (7.17)
u(x, 0) = f (x), u(x, b) = 0, 0 x a,
(7.18)
u(0, y) = 0 = u(a, y), 0 y b.
El problema planteado se puede resolver por el metodo de separacion de variables. As, proponiendo
u(x, y) = X(x)Y (y) (7.19)
y sustituyendo en (7.17) se tiene

X 00 X = 0, (7.20)
Y 00 + Y = 0. (7.21)
Las condiciones de contorno (7.18) imponen a su vez las condiciones
X(0) = X(a) = 0. (7.22)
(7.20) y (7.22) especifican un problema de autovalores con autofunciones

nx
Xn (x) = sin (7.23)
a

y autovalores
n 2
= , n = 1, 2, . . . (7.24)
a
La solucion de (7.21) es entonces
n
Yn (y) = sinh (y + ) (7.25)
a
y la condicion u(x, b) = 0 nos lleva a exigir que Yn (b) = 0, de donde se desprende que = b y
por lo tanto n
Yn (y) = sinh (y b) . (7.26)
a
As, la solucion de (7.17) es de la forma
n
X nx
u(x, y) = An sinh (y b) sin (7.27)
n=1
a a
y la condicion u(x, 0) = f (x) nos lleva a

X nb nx
f (x) = An sinh sin . (7.28)
n=1
a a
En (7.28) reconocemos los coeficientes An sinh nb

a
como los coeficientes de la expansion en serie
de Fourier de senos de f (x),
Z a
nb 2 nx
An sinh = dx f (x) sin (7.29)
a a 0 a
y con Z a
2 nx
an = dx f (x) sin (7.30)
a 0 a
de (7.27) se tiene

sinh n

X
a
(y b) nx
u(x, y) = an nb
sin . (7.31)
n=1
sinh a
a
La solucion al problema de Dirichlet con condiciones de contorno no homogeneas general
u = 0 , 0<x<a , 0<y<b (7.32)
u(x, 0) = f1 (x) , u(x, b) = f2 (x) , 0xa (7.33)
u(0, y) = f3 (y) , u(a, y) = f4 (y) , 0yb (7.34)

se resuelve separando el problema en cuatro sub-problemas, cada uno con solo una condicion de
contorno no homogenea y las restantes homogeneas. Determinando las soluciones de cada uno
de estos sub-problemas como en el caso tratado, la solucion de (7.32,7.33,7.34) viene dada por la
suma de estas soluciones.

7.1.2 El problema de Dirichlet para la ecuacion de Poisson

El problema de Dirichlet interior al disco
Consideremos a continuacion el problema de Dirichlet interior al disco para la ecuacion de Pois-
son. Teniendo en cuenta que siempre es posible anadir la solucion del problema (7.1,7.2), nos
restringiremos el caso con condiciones de contorno homogeneas. Tenemos entonces
v = q(r, ), 0 < r < 1, < < ; (7.35)
v(1, ) = 0, < . (7.36)

Este problema se puede resolver directamente proponiendo la solucion como una expansion en serie
de Fourier
X
v(r, ) = vn (r)ein , (7.37)
n=
expandiendo tambien q(r, ) en serie de Fourier

X
q(r, ) = qn (r)ein , (7.38)
n=
con Z
1
qn (r) = dein q(r, ). (7.39)
2
Sustituyendo (7.37) y (7.38) en (7.35) se tiene

n2

X 1 d d X
r vn (r) 2 vn (r) ein = qn (r)ein , (7.40)

r dr dr r n=
de donde se sigue que vn satisface

n2

1 d d
r vn 2 vn = qn (r) , vn (1) = 0 (7.41)
r dr dr r
Resolveremos (7.41) usando funciones de Green.
...... ..
...........
...... ...
.... ...
Caja 7.1: Distribuciones y transformaciones de coordenadas
Sea {xi , i = 1, 2, . . . , n} un conjunto de coordenadas cartesianas en Rn . Sea D(Rn ).

A toda funcion localmente integrable f (x) = f (x1 , . . . , xn ) se le asocia una distribucion
a traves de la regla Z
hf, i dn xf (x)(x) ,
Rn
donde dn x = dx1 dx2 dx3 . . . dxn .

Veamos como expresar esta distribucion en otros sistemas de coordenadas. Sean
{y i , i = 1, 2, . . . , n} las coordenadas que se obtienen de {xi , i = 1, 2, . . . , n} a traves de

la transformacion y = (x), esto es asocia las coordenadas (y1 , , yn ) con las coor-
denadas (x1 , , xn ) del mismo punto. Supondremos ademas que la transformacion es
suave. Si el Jacobiano J de la transformacion es positivo en todas partes, entonces f
es la distribucion definida por
Z
hf, ix = dn x f (x)(x)
n
ZRx Z
n
= d y Jf (x(y)) (x(y)) = dn y (f ) (y) (y)
Rn
y Rn
y
= h(f ) , iy , (7.42)
donde (f ) (y) = f (x(y)) y (y) J (x(y)). Usaremos (7.42) para definir cambios
de coordenadas en distribuciones no necesariamente regulares.
Sea
(x0 ) (x1 x10 )(x2 x20 ) . . . (xn xn0 )
la distribucion delta de Dirac con soporte en x0 Rn , entonces

(x0 ) , (x) x = (x0 ) (7.43)
Por otro lado, con y0 = y(x0 ), la consistencia con (7.42) requiere que
D E
(x0 ) = (y0 ) = ()(y0 ) , (y) (7.44)
y
y por lo tanto
()(y0 ) = J 1 (y0 ) , (7.45)
donde
(y0 ) (y 1 y01 )(y 2 y02 ) . . . (y n y0n )
Consideremos a continuacion algunas transformaciones particulares.
1. Dilataciones. En Rn , sea la transformacion x 7 y, > 0 y sea (0) la

distribucion de Dirac con soporte en el origen. Entonces (vease el ejemplo 6)
( )(0) = n (0) .
2. Coordenadas esfericas en R3 . Sean {r, , } las coordenadas esfericas usuales

en R3 . Al punto con coordenadas cartesianas x0 = (x10 , x20 , x30 ) le corresponde
el punto con coordenadas esfericas (r0 , 0 , 0 ), donde x10 = r0 sin 0 cos 0 , x20 =
r0 sin 0 sin 0 y x30 = r0 cos 0 . As, la distribucion (x0 ) con soporte en x0 , que en
coordenadas cartesianas se escribe como
(x0 ) (x1 x10 )(x2 x20 )(x3 x30 )
se escribe en coordenadas esfericas como

(r r0 )( 0 )( 0 )
()(r0 ,0 ,0 ) = , r0 6= 0, 0 6= 0, , (7.46)
r2 sin

donde r2 sin es el jacobiano J de la transformacion. Si r0 = 0 o 0 = 0, , la

transformacion de coordenadas es singular, J = 0 y (7.46) debera modificarse.
Supongamos que 0 = 0 y r0 > 0, la manera mas sencilla de obtener la distribucion
delta con soporte en dicho punto consiste en suponer que el soporte de la misma
esta sobre el anillo intercepcion de la esfera r = r0 y el cono = 0 y luego hacer
0 0. La distribucion con soporte sobre el anillo viene dada por
(r r0 )( 0 )
. (7.47)
2r sin
Para 0 0, el anillo tiende a un punto en r = r0 , = 0 y la distribucion con
soporte en dicho punto vendra dada por
(r r0 )( 0 ) (r r0 )()
lim = . (7.48)
0 0 2r sin 2r sin
Si necesitamos la distribucion con soporte en r0 = 0, podemos pensar en una

distribucion con soporte sobre una esfera de radio r = r0 y luego hacer r0 0.
La distribucion con soporte sobre la superficie de la esfera viene dada por
(r r0 )
, (7.49)
4r2
como se puede verificar facilmente, y de aqu que la distribucion con soporte en
el origen se escriba en coordenadas esfericas como
(r r0 ) (r)
lim 2
= . (7.50)
r0 0 4r 4r2
Debemos enfatizar que los miembros derechos de (7.48) y (7.50) deben entenderse
siempre como resultado de un limite.
... ..
... ...
..........
. ...........
La funcion de Green asociada al problema (7.41) satisface
n2

1 d d 1
r Gn 2 Gn = (r r0 ) , 0 < r, r0 < 1 (7.51)
r dr dr r 2r
junto con la condicion

Gn |r=1 = 0. (7.52)
Exigiremos ademas que Gn sea acotada en r = 0.
De (7.51) multiplicando por r se tendra
n2

d d
r gn gn = (r r0 ) , 0 < r, r0 < 1
dr dr r
gn |r=1 = 0 , gn |r=0 = acotada,
donde hemos definido gn = 2Gn . Ahora bien,

1. para n 6= 0, con y1 (0) = r|n| y y2 = r|n| r|n| soluciones linealmente independientes de la

ecuacion homogenea (n 6= 0) y que satisfacen
y1 (0) = 0 < , y2 (1) = 0 (7.53)
se tiene W (r0 ) = +|n|r01 y con p(r) = r
|n|
1 |n| |n|
2|n| (r r ) r0 ,
0 < r0 < r
gn (r, r0 ) = (7.54)
1 r|n| (r|n| r|n| ),

r < r0 < 1
2|n| 0 0
que escribimos como

1 |n| |n| |n|

gn (r, r0 ) = r < r > r> , n 6= 0 (7.55)
2|n|
donde hemos definido r< = min{r, r0 } y r> = max{r, r0 };
2. para n = 0, con y1 = 1 y y2 = log r, tales que
y1 (0) = 0 , y2 (1) = 0
se tiene
g0 (r, r0 ) = log r> . (7.56)
De lo anterior se sigue que

1 |n| |n| |n|
4|n| r< r> r> , n 6= 0
Gn (r, r0 ) = (7.57)
1
2 log r> , n=0
La solucion de (7.41) viene dada por
Z 1
vn (r) = 2 dr0 r0 Gn (r, r0 ) qn (r0 ) . (7.58)
0
Notese la presencia del factor r0 en la integral, que proviene del Jacobiano de la transformacion.
Finalmente, la solucion de (7.35,7.36) viene dada por (7.37) con vn dado por (7.58), esto es
X X Z 1
in
v(r, ) = vn (r) e = dr0 2r0 Gn (r, r0 ) qn (r0 ) ein
n= n= 0
X Z 1 Z
= dr0 r0 Gn (r, r0 ) e in
d0 ein0 q(r0 , 0 )
n= 0
Z Z 1
= d0 dr0 r0 G(r, ; r0 , 0 )q(r0 , 0 ) (7.59)
0
donde G(r, ; r0 , 0 ) viene dado por

X
G(r, ; r0 , 0 ) ein(0 ) Gn (r, r0 )
n=

1 1 X ein(0 ) |n| |n| |n|

= log r> r < r> r> , (7.60)
2 4 n= |n|

o alternativamente por

1 1 X cos n( 0 ) n n n

G(r, ; r0 , 0 ) log r> r< r > r> . (7.61)
2 2 n=1 n
Notese que (7.60) (o bien (7.61)) es la solucion elemental de
1 1 (r r0 )( 0 )
r (rr G) + 2 G = , 0 < r, r0 < 1 , < , 0 < ; (7.62)
r r r
G|r=1 = 0; (7.63)
esto es, la funcion de Green asociada al problema (7.35,7.36). Por otro lado, partiendo de
(7.62,7.63) es facil obtener (7.60) (o (7.61)). Se deja como ejercicio propuesto.
La solucion al problema de Dirichlet interior al disco para la ecuacion de Laplace con condiciones
de contorno no homogeneas, puede tambien ser expresada en terminos de la funcion de Green como
Z
G(r, ; r0 , 0 )
u(r, ) = d0 r0 f (0 ) (7.64)
r0
r0 =1
como puede verificarse facilmente. As, la solucion al problema de Dirichlet interior al disco para
la ecuacion de Poisson con condiciones de contorno no homogeneas
u = q(r, ) , 0r<1 , ; (7.65)
u(1, ) = f () (7.66)
viene entonces dada por
Z Z 1 Z
G
u(r, ) = d0 dr0 r0 G(r, ; r0 , 0 )q(r0 , 0 ) d0 r0 f (0 )
0 r0 r0 =1
Z Z
2 G
= d x0 G(x; x0 )q(x0 ) ds0 f (0 ) (7.67)
n0
donde es la region interior al disco, la frontera del mismo y G/n0 es la derivada de G con
respecto a la normal externa al disco.
El problema de Dirichlet para la ecuacion de Poisson en terminos de la funcion de

Green
La expresion (7.67) es un caso particular de un resultado general que puede obtenerse partiendo
de la segunda identidad de Green
Z Z
n
d x(vu uv) = ~ uv),
ds n.(v u ~ (7.68)

donde es un conjunto abierto en Rn con frontera diferenciable.

Sea v(x0 ) = G(x; x0 ) el kernel sobre definido por
G(x; x0 ) = (x x0 ), x , x0 ; (7.69)
G(x; x0 ) = 0 para x , x0 , (7.70)

esto es, G(x; x0 ) es la funcion de Green o kernel elemental para el operador en x que satisface
condiciones de contorno de Dirichlet sobre . Por otro lado, sea u(x0 ) la solucion al problema
x0 u(x0 ) = q(x0 ), x ; (7.71)
u(x0 ) = f (x0 ), x0 . (7.72)

De (7.68) se sigue que
Z Z
n 0 0 0 0 0
d x (G(x; x ) q(x ) + u(x ) (x x )) = ~ x0 G(x; x0 ) .
ds0 f (x0 ) n0

De aqu que Z Z
n 0 0 0 G
u(x) = d x G(x; x ) q(x ) ds0 f (x0 ) , (7.73)
n0
donde
G ~ x0 G(x; x0 ) .
n0
n0
Aqu las integrales representan simbolicamente convoluciones de distribuciones en el sentido de
Volterra.
Definicion 24 La convolucion de Volterra del kernel K(x, x0 ) con la distribucion S(x0 ), si existe,
es la distribucion h(x) definida por
hh(x), (x)ix hS(x0 ), hK(x, x0 ), (x)ix ix0 , D,
que simbolicamente escribimos como

Z
h(x) = dn x0 K(x, x0 )S(x0 ).
Notese que la convolucion T S en el sentido de la seccion 2.7 puede ser considerada como la
0
convolucion en el sentido de Volterra de la distribucion
R n S(x ) con un kernel T (x; x0 ) invariante bajo
traslaciones T (x; x ) = T (x x ), simbolicamente d x T (x x0 )S(x0 ).
0 0 0
Especializando (7.73) al caso 2-dimensional con u la solucion de (7.65,7.66), obtenemos (7.67).
Funciones de Green para el operador laplaciano y expansiones bilineales

Hemos visto que las funciones de Green pueden ser escritas como una expansion en un conjunto
de funciones base conveniente. Veamos a continuacion otro tipo de expansion que se obtiene al
emplear como funciones base el conjunto de autofunciones del denominado problema de autovalores
asociado.
Sea un dominio acotado en Rn con frontera regular y considerese el problema de autova-
lores para el operador laplaciano
(x) + (x) = 0 , x ; (7.74)
| = 0. (7.75)
Las autofunciones {n } de (7.74,7.75) forman una base ortogonal (que asumiremos ademas nor-
malizada) Z
d2 x n0 (x) n (x) = n0 n , (7.76)


para el espacio de las funciones L2(r) () tales que | = 0 y por lo tanto
X Z
2 0 0 0
(x) = d x n (x ) (x ) n (x). (7.77)
n
Sea G(x, x0 ) la funcion de Green (o kernel elemental) del operador en ,
G(x; x0 ) = (x x0 ), x, x0 , (7.78)
que satisface condiciones de contorno de Dirichlet sobre ,
G| = 0 . (7.79)
Expandiendo G(x; x0 ) en la base {n }, se tiene

X
G(x; x0 ) = Gn (x0 ) n (x). (7.80)
n
A continuacion, sustituyendo (7.80) en (7.78) y usando (7.74), obtenemos

X
n Gn (x0 ) n (x) = (x x0 ). (7.81)
n
Multiplicando (7.81) por n0 (x), integrando sobre las variables x en la region y usando (7.76)
encontramos
n Gn (x0 ) = n (x0 ) (7.82)
y la funcion de Green solucion elemental de (7.78,7.87) vendra dada entonces por la serie bilineal
X 1
G(x; x0 ) = n (x0 ) n (x). (7.83)
n
n
Notese que G(x, x0 ) tendra singularidades para n = 0.

En particular, para el dominio rectangular 0 < x < a, 0 < y < b, el problema de autovalores
+ = 0, 0 < x < a, 0 < y < b;
(0, y) = (a, y) = 0, 0 y b; (x, 0) = (x, b) = 0, 0 x a;

tiene como soluciones las autofunciones
r r
2 mx 2 ny
mn = sin sin , (7.84)
a a b b
con autovalores
m2 n2

2
mn = + 2 , (7.85)
a2 b
como puede verificarse facilmente usando separacion de variables.
De (7.83) y (7.84) se sigue que la funcion de Green definida por
G = (x )(y ), 0 < x, < a, 0 < y, < b; (7.86)

G| = 0; (7.87)
donde es la frontera del rectangulo, viene dada por

4ab X X 1 mx m ny n
G(x, y; , ) = 2 2 2 2 2
sin sin sin sin . (7.88)
m=1 n=1 (m b + n a ) a a b b
La solucion al problema de Dirichlet no homogeneo para la ecuacion de Poisson, en el interior
de un rectangulo y con condiciones de contorno no homogeneas
u = q(x, y) , 0<x<a , 0<y<b (7.89)
u(x, 0) = f1 (x) , u(x, b) = f2 (x) 0xa (7.90)
u(0, y) = f3 (y) , u(a, y) = f4 (y) , 0yb (7.91)
viene dada por la version 2-dimensional de (7.73) con G dado por (7.88). Notese que si q = 0,
obtenemos la solucion al problema (7.32,7.33,7.34).
7.2 El problema de Neumann para la ecuacion de Poisson
A continuacion consideremos el problema de Neumann

u = q(x), x ; (7.92)

u
=f (7.93)
n
donde es un conjunto abierto en Rn con frontera diferenciable. En este caso la funcion de
Green es la solucion elemental del problema
G(x; x0 ) = (x x0 ), x , x0 , (7.94)

G 1
= , S = area total de . (7.95)
n S
Debera notarse que no es posible exigir G/n| = 0 debido a
R n
Z d x (x x0 ) = 1
G = ~ G
~ n ~ G
d x . ~ =
R

ds G/n, (por el teorema de la divergencia).
Con v(x0 ) = G(x; x0 ) la solucion elemental de (7.94,7.95) y u(x) la solucion al problema
(7.92,7.93), de (7.68) se sigue
Z Z
n 0 0 0 0 0 0 u 1
d x [G(x; x )q(x ) + u(x )(x x )] = ds G 0 + u
n S
y la solucion de (7.92,7.93) viene dada por
Z Z Z
1 n 0 0 0
u(x) = ds u + d x G(x; x ) q(x ) + ds0 G(x; x0 ) f (x0 ), (7.96)
S
donde el primer termino del miembro derecho de (7.96) es una constante igual al valor promedio
de u sobre . (7.96) es la solucion unica de (7.92,7.93), modulo una constante aditiva.

El Problema de Neumann para el disco

Consideremos el problema interior de Neumann para el disco unitario
u = q(r, ), 0 r < 1, ; (7.97)
r u|r=1 = f () , . (7.98)
La funcion de Green asociada al problema (7.97,7.98) es la solucion elemental de
1 1 (r r0 )( 0 )
r (rr G) + 2 G = , 0 < r, r0 < 1, , 0 < ; (7.99)
r r r
1
r G|r=1 =
. (7.100)
2
Siguiendo pasos analogos a los que nos llevaron a (7.60) obtenemos en este caso

X
G(r, ; r0 , 0 ) = ein(0 ) Gn (r, ro ) (7.101)
n=
con
1 |n| |n| |n|
4|n| r> + r > r< , n 6= 0
Gn (r, r0 ) = (7.102)
1
2 log r> , n = 0,
donde r< = min{r, r0 } y r> = max{r, r0 }. La solucion de (7.97,7.98) viene dada por la version
2-dimensional de (7.96) con G dada por (7.101,7.102). Se deja como ejercicio la verificacion de lo
anterior.
........ ..
...........
..... ...
... ...
Caja 7.2: Expansiones ortogonales y funciones de Green
Con frecuencia las ecuaciones diferenciales ordinarias que aparecen al separar variables
en coordenadas curvilneas, en EDPs que involucran al operador laplaciano, tienen la
forma
Lx u = s(x) u, a < x < b; U1 u = 0 = U2 u; (7.103)
con Lx el operador diferencial de segundo orden autoadjunto dado por (3.10), U1 u = 0
y U2 u = 0 condiciones de contorno homogeneas y sin mezcla del tipo (3.12,3.13) y s
una funcion real, continua y positiva en a < x < b.
Denotemos a continuacion por Hs (a, b) al espacio vectorial de todas las funciones reales
u(x) definidas en el intervalo acotado a x b, con norma definida por
Z b 1/2
k u ks = (u, u)1/2
s = dx s(x) | u (x) |2
< , (7.104)
a
donde Z b
(u, v)s dx s(x) u(x) v(x) (7.105)
a

se toma como el producto interior (escalar). Hs (a, b) es un espacio de Hilbert.

Veremos a continuacion que, aun cuando (7.103) no tiene la forma estandar de un
problema de autovalores, el problema (7.103) tiene en Hs (a, b) propiedades equivalentes
a las del problema de autovalores (6.103) en L2(r) (a, b).
Primero, notese que para u, v funciones arbitrarias, derivables dos veces en a < x < b
y que satisfacen U1 u = 0 = U2 u y U1 v = 0 = U2 v, se tiene
Z b Z b
1 1
Lx u, v = dx (Lx u) v = dx u(Lx v) = u, Lx v ,
s s a a s s
donde hemos usado (6.104).

A continuacion, sean ui y uj soluciones de (7.103) correspondientes a los autovalores
i y j , respectivamente, entonces

1 1
0= Lx ui , uj ui , Lx uj = (i j ) (ui , uj )s ,
s s s s
de donde se sigue
que si i 6= j entonces ui y uj son ortogonales en Hs (a, b) (se dice
tambien que s ui y s uj son ortogonales en L2(r) (a, b)). Por otro lado, puede probarse
que los autovalores de (7.103) son simples y que pueden ser listados como
1 < 2 < < n <
con n + para n .
Ahora, en terminos de la funcion de Green (6.105), el problema (7.103) es equivalente
a la ecuacion integral Z b
u(x) = d s() g0 (x, ) u(),
a
que puede ser reescrita como
Z b
f (x) = d k(x, ) f () = K f,
a
p p p
donde hemos definido k(x, ) = s(x) g0 (x, ) s(), = 1 y f (x) = s(x) u(x). El
operador integral K generado por el kernel k(x, ) as definido, es un operador Hilbert-
Schmidt autoadjunto sobre las funciones f (x) L2(r) (a, b). De acuerdo al teorema 14,
las autofunciones f (x) de K correspondientes a 6= 0 expanden una base ortogonal en
L2(r) (a, b). Se sigue entonces que las autofunciones u(x) de (7.103) expanden una base
ortogonal en Hs y escribimos
(x ) X
= un () un (x), (7.106)
s(x) n
donde hemos supuesto que k un ks = 1.

Considerese a continuacion la funcion de Green g(x, ; ) definida por
Lx g + s(x) g = (x ), a < x, < b; U1 g = 0 = U2 g. (7.107)

Puesto que el conjunto {un (x)} de las autofunciones de (7.103) es una base ortogonal
en Hs , g admite la expansion
X
g(x, ; ) = gn (, ) un (x), (7.108)
n
donde Z b
gn (, ) = (g, un )s = dx s(x) g(x, ; ) un (x).
a
Sustituyendo (7.108) y (7.106) en (7.107), multiplicando el resultado por um (x) e inte-
grando en x entre a y b encontramos
un ()
gn (, ) =
n
y por lo tanto g(x, ; ) viene dada por la expansion bilineal
X un () un (x)
g(x, ; ) = . (7.109)
n
n
Finalmente, notese que la expansion (7.109) como funcion del parametro complejo
tiene polos simples reales en = n con residuos un ()un (x). Esto sugiere entonces la
relacion I
1 X
d g(x, ; ) = un ()un (x), (7.110)
2i n
donde la integral en el plano complejo se toma sobre un circulo de radio infinito, que
permite generar las autofunciones normalizadas y los correspondientes autovalores del
... problema (7.103) una vez conocida g(x, ; ). ..
... ..
.......... .
. ..........

1. Muestre que en el problema de Neumann

u
u = q en con =f,
n
se debe satisfacer la condicion de compatibilidad
Z Z
dd q = ds f .

2. Encuentre la solucion al problema de contorno de Dirichlet para la ecuacion de Laplace, en

el interior de la region bidimensional con forma de anillo comprendida entre r = a y r = b
u = 0 , a<r<b , 0 < < 2
u(a, ) = f () , u(b, ) = g() 0 2

3. Encuentre la solucion al problema de contorno de Neumann para la ecuacion de Laplace, en

u = 0 , a<r<b , 0 < < 2
r u(a, ) = f () , r u(b, ) = g() , 0 2

donde Z Z
ds f + ds g = 0
r=a r=b
4. Encuentre la solucion al problema de contorno de Dirichlet
u = 0 , 0<x<1 , 0<y<1
u(x, 0) = x(x 1) , u(x, 1) = 0 , 0x1

u(0, y) = u(1, y) = 0 , 0y1
5. Encuentre la solucion al problema de contorno de Dirichlet
u + u = 0 , 0<r<a , 0<<
u(r, 0) = u(r, ) = 0 , 0ra

u(0, ) < , u(a, ) = f () , 0
Solucion: Z
X 2 n n
u(r, ) = df () sin J (r) sin
n=1
J (a) 0
n
con =
y J la funcion de Bessel de primer tipo de orden , solucion regular de la
ecuacion de Bessel
x2 y 00 + xy 0 + x2 y = 2 y , 2 > 0.
6. En lo que sigue nos proponemos encontrar de tres maneras diferentes la funcion de Green
G(x, y, , ), solucion elemental al problema de contorno
G(x, y, , ) = (x )(y ), 0 < x < , 0 < y < ,
G|x=0 = G|x= = G|y=0 = 0
(a) Empleando transformada seno de Fourier en la variable y obtenga

2 sinh(x< ) sinh((x> ))
Z
G(x, y, , ) = d sin y sin ,
0 sinh
donde x< min{x, } y x> max{x, }.
(b) Proponiendo una espansion apropiada en serie de Fourier en la variable x obtenga

2X1
G(x, y, , ) = sin nx sin n eny> sinh ny< ,
n=1 n
donde y< min{y, } y y> max{y, }.

(c) Usando las soluciones del problema de autovalores asociado

+ = 0, 0 < x < , 0 < y < ,
|x=0 = |x= = |y=0 = 0,
obtenga
Z
4 X sin nx sin n sin y sin
G(x, y, , ) = d .
n=1 0 2 + n2
7. En coordenadas cilndricas , , z, muestre que

(a) la distribucion de Dirac con soporte en (0 , 0 , z0 ) viene descrita por
1
( 0 )( 0 )(z z0 ), 0 > 0.

(b) la distribucion de Dirac con soporte en el anillo interseccion del cilindro = 0 y el
plano z = 0 viene dada por
( 0 )(z)
.
2
(c) la distribucion de Dirac con soporte en el origen viene dada por
()(z)
.
2
8. Encuentre la solucion al problema de contorno de Dirichlet para la ecuacion de Poisson, en
4u = q(r, ), a < r < b, 0 < 2;
u(a, ) = f1 (), u(b, ) = f2 (), 0 < 2.
9. Encuentre la funcion de Green para el operador laplaciano en el interior de la region bidi-
mensional limitada por = 0, = y = a y que satisface condiciones de contorno de
Dirichlet.
Ayuda: proponga una expansion en serie de Fourier en la variable y utilice la relacion

1 1X n n0 n n0
+ cos cos + sin sin = ( 0 ), 0 < , 0 < .
2 n=1
10. Usando los autovalores y autofunciones del problema bidimensional

+ = 0, 0 < r < 1, < <
|r=1 = 0, |r=0 acotada,
obtenga una expresion para la solucion elemental G al problema
1
G = (r r0 )( 0 ), 0 < r, r0 < 1, < , 0 <
r
G|r=1 = 0, G|r=0 acotada.
Discuta la relacion entre la expansion encontrada para G (con la doble suma) y la dada por
(7.60) (o (7.61).

11. Obtenga la funcion de Green, solucion elemental del problema bidimensional

1
G + G = ( 0 )( 0 ), 0 , 0 a, 0 , 0

G|=a = G|=0 = G|= = 0, G acotada en = 0.

Ayuda: proponga una expansion en serie de Fourier de sin n

para G.
Referencias


Captulo 8
Problemas en mayor dimensionalidad
Aquellos problemas que involucran mas de dos variables independientes pueden ser tratados con
las mismas tecnicas desarrolladas en los captulos anteriores, las cuales se extienden con facilidad
al caso de n variables independientes.
8.1 El problema de contorno para la ecuacion de Laplace

en 3 dimensiones
8.1.1 El problema de Dirichlet para un cubo
Consideremos a continuacion el problema de encontrar la solucion a la ecuacion de Laplace en el
interior de un cubo con condiciones de contorno de Dirichlet sobre las paredes,
u = x x u + y y u + z z u = 0, 0 < x < , 0 < y < , 0 < z < ; (8.1)
u(0, y, z) = u(, y, z) = 0 , 0y , 0 z , (8.2)

u(x, 0, z) = u(x, , z) = 0 , 0x , 0 z , (8.3)
u(x, y, 0) = f (x, y) , u(x, y, ) = 0 , 0x , 0 y . (8.4)
Proponiendo una solucion de la forma (separacion de variables)
u(x, y, z) = X(x)Y (y)Z(z) (8.5)
se obtiene de (8.1)
X 00 Y 00 Z 00
+ = ,
X Y Z
X 00 Y 00
+ = , (8.6)
X Y
Z 00
= (8.7)
Z
donde es una constante de separacion. En forma analoga, de (8.6) se desprende que
X 00 Y 00
= + = ,
X Y
125
donde es otra constante de separacion y por lo tanto
X 00
= , (8.8)
X
Y 00
= . (8.9)
Y
De las condiciones (8.2) y (8.3), se desprende que
X(0) = X() = 0, Y (0) = Y () = 0. (8.10)
y las ecuaciones (8.8), (8.9) junto con las condiciones (8.10) definen problemas de autovalores con
autofunciones y autovalores
Xm = Am sin mx, = m = m2 , m = 1, 2, 3 . . . (8.11)
Yn = An sin nx, m = n2 , n = 1, 2, 3 . . . (8.12)

respectivamente. La solucion de (8.7) es entonces
h 12 i
Z(z) = Cmn sinh m2 + n2 ( z) , (8.13)
donde hemos escogido las constantes de integracion en forma tal que (8.5) satisfaga u(x, y, ) = 0
de acuerdo a (8.4). La solucion de (8.1), que satisface las condiciones de contorno homogeneas
especificadas en (8.4), es la superposicion
X

X h
2 2
12 i
u(x, y, z) = amn sinh m +n ( z) sin mx sin ny (8.14)
m=1 n=1
De la condicion de frontera no homogenea en (8.4) se desprende que
2
Z Z
2 2 2
amn sinh m +n = dx sin mx dy sin nyf (x, y)
0 0
y por lo tanto los coeficientes amn sinh (m2 + n2 ) son los coeficientes de la serie de Fourier doble
de f (x, y). La solucion al problema (8.1-8.4) viene dada entonces por
h 1
i
X
X sinh (m2 + n2 ) 2 ( z)
u(x, y, z) = bmn h 1
i sin mx sin ny, (8.15)
2
sinh (m + n ) 2 2
m=1 n=1
donde 2 Z Z
2
bmn = dx dyf (x, y) sin mx sin ny. (8.16)
0 0
La solucion al problema con condiciones de contorno mas generales se puede obtener por su-
perposicion.

8.1.2 El problema de Dirichlet para un cilindro

Consideremos a continuacion el problema de encontrar la solucion a la ecuacion de Laplace en el
interior de un cilindro de altura ` y radio a,
1 1
u = r r u + r u + 2 u + z z u = 0, 0 r < a, 0 2, 0 < z < `, (8.17)
r r
con condiciones de contorno de Dirichlet
u(a, , z) = 0, 0 2, 0z` (8.18)
u(r, , `) = 0, u(r, , 0) = f (r, ), 0 r a, 0 2 (8.19)

donde f (a, ) 0.
Proponiendo una solucion de la forma
u(r, , z) = R(r)()Z(z)
y sustituyendo en (8.17) se tiene
R00 + r1 R0 1 00 Z 00
+ 2 = = (8.20)
R r Z
de donde se desprende que
Z 00 + Z = 0. (8.21)
De la misma manera se tiene
r2 R00 + rR0 00
r2 = =
R
y por lo tanto
r2 R00 + rR0 (r2 + )R = 0, (8.22)

00 + = 0. (8.23)
Puesto que = 0 y = 2 no son fronteras reales, imponemos condiciones de contorno

periodicas
(0) = (2) , 0 (0) = 0 (2). (8.24)
As, (8.23,8.24) define un problema de autovalores con autofunciones y autovalores
n () = A cos n + B sin n (8.25)

= n2 , n = 0, 1, 2 . . . (8.26)
Suponiendo = 2 con > 0, la condicion u(r, , `) = 0 implica que Z(`) = 0 y la solucion

de (8.21) apropiada viene dada por
Z(z) = C sinh (` z). (8.27)
Haciendo r = en (8.22) se tiene
d2 R dR
2 2
+ + ( 2 n2 )R = 0, (8.28)
d d

que es la ecuacion de Bessel de orden n y cuya solucion general viene dada por
Rn () = DJn () + ENn (), (8.29)
donde Jn y Nn son las funciones de Bessel de primer y segundo tipo (Nn se conoce tambien como
la funcion de Neumann).
Exigiendo que limr0 u(r, , z) < llegamos a la conclusion de que E = 0, ya que Nn no
esta acotada en el origen. Por otro lado, u(a, , z) = 0 implica que R(a) = 0 y de aqu que
Jn (a) = 0, de donde se desprende que nm = nm /a, donde los {nm } son las races de Jn , esto
es, Jn (nm ) = 0. Por lo tanto se tendra que
Rn (r) = D Jn (nm r/a) (8.30)
La solucion de (8.17) viene dada entonces por

X

X r (` z)
u(r, , z) = Jn (nm )[ anm cos n + bnm sin n ] sinh nm . (8.31)
n=0 m=1
a a
De la condicion de contorno no homogenea (8.19) se desprende que

X

X r `
f (r, ) = Jn nm [ anm cos n + bnm sin n ] sinh nm , (8.32)
n=0 m=1
a a
que reconocemos como una serie de Fourier en y una serie de Fourier-Bessel en r para f (r, ).
Usando Z a r r a0
dr rJn nm0 Jn nm = [Jn+1 (nm )]2 m0 m , (8.33)
0 a a 2
de (8.32) se sigue
a 2
a2
Z Z
r `
dr rJ0 0m df (r, ) = a0m sinh 0m 2 [J1 (0m )]2 ,
0 a 0 a 2
de donde obtenemos
Z a Z 2
1 r
a0m = dr d rJ0 0m f (r, ). (8.34)
a2 sinh 0m a` [J1 (0m )]2

0 0 a
De la misma manera obtenemos

Z a Z 2
2 r
anm = dr d rJn nm cos n f (r, ) (8.35)
a2 sinh nm a [Jn+1 (nm )]2
`

0 0 a
y
Z a Z 2
2 r
bnm = dr d rJn nm sin n f (r, ). (8.36)
a2 sinh nm a [Jn+1 (nm )]2
`

0 0 a

8.1.3 El problema de Dirichlet para la esfera

Consideremos a continuacion el problema de Dirichlet homogeneo para el operador laplaciano con
condiciones de contorno impuestas sobre una esfera de radio a,
1 1 1
2
r (r2 r u) + 2 (sin u) + 2 2 u = 0, 0 r < a, 0 < < , 0 2,
r r sin r sin
(8.37)
u(a, , ) = f (, ). (8.38)
Proponiendo una solucion de la forma
u(r, , ) = R(r)Y (, ) (8.39)
y sustituyendola en (8.37) se sigue que R y Y satisfacen

d 2 dR
r = R (8.40)
dr dr
y
1 1
(sin Y ) + Y = Y, (8.41)
sin sin2
donde es una constante de separacion. Proponiendo tambien separacion de variables para (8.41)
Y (, ) = ()(), (8.42)
obtenemos
d d
sin sin + sin2 = m2 (8.43)
d d
y
d2
+ m2 = 0, (8.44)
d2
donde m2 es otra constante de separacion.
La solucion general de (8.44) es
= Aeim + Beim (8.45)
e imponiendo
() = ( + 2), 0 () = 0 ( + 2), (8.46)
se tiene que
m () = Ceim , m = 0, 1, 2, . . . (8.47)
Puesto que la ecuacion (8.40) es del tipo de Euler, la solucion es de la forma
R(r) = r` (8.48)
y sustituyendo (8.48) en (8.40) se tiene
`(` + 1) = 0,
de donde se sigue que r(`+1) es tambien solucion. La solucion general de (8.40) es entonces
R` (r) = Dr` + Er(1+`) , (8.49)

con ` arbitrario. Para resolver (8.43) es conveniente hacer el cambio x = cos , con 1 x 1.
As, (8.43) se reescribe como
m2

d 2 d
(1 x ) + `(` + 1) = 0. (8.50)
dx dx 1 x2
La ecuacion (8.50) admite como solucion la funcion de Legendre P`m de grado ` y orden m, con
|m| ` y ` entero tal que ` 0. (En realidad (8.50) admite tambien como solucion a la funcion
de Legendre de segundo tipo Qm ` (x), pero esta no esta acotada en x = 1). La solucion de (8.50)
es entonces
= P`m (cos ). (8.51)
De lo anterior se desprende que la solucion de (8.41) viene dada por
12
(2` + 1)(` m)!
Y`m (, ) = (1)m eim P`m (cos ), (8.52)
4(` + m)!
donde
m` , m>0
y

Y`m (, ) = (1)m Y`m (, ) , |m| ` , m < 0. (8.53)
El coeficiente de (8.52) se ha escogido de forma tal que
Z 2 Z
0
d d sin Y`m
0 (, )Y`m (, ) = m0 m ``0 . (8.54)
0 0
Los Ym` son los conocidos armonicos esfericos y constituyen un conjunto ortonormal completo como
veremos mas adelante en la seccion 8.2.
As, la solucion a la ecuacion de Laplace (8.37) viene dada por
X
X `
A`m r` + B`m r(`+1) Y`m (, ).

u(r, , ) = (8.55)
`=0 m=`
Exigiendo que u(r, , ) este acotada en r = 0 se sigue que B`m = 0, `. Finalmente, de (8.38) se
desprende que
X
X `
f (, ) = A`n a` Y`n (, ) (8.56)
`=0 n=`
y por lo tanto
Z 2 Z
A` a =`
d d sin Y`m (, )f (, ). (8.57)
0 0
Entonces, la solucion al problema (8.37, 8.38) viene dada por

X ` Z 2 Z
X
0 0 0 n 0 0 0 0 r ` n
u(r, , ) = d d sin Y` ( , )f ( , ) Y` (, ). (8.58)
`=0 m=` 0 0 a

8.2 El problema de contorno para la ecuacion de Poisson

en 3 dimensiones
8.2.1 El problema de Dirichlet interior a la esfera
Considerese el siguiente problema
= (r, , ), 0 < r < a, 0 < < , 0 2, (8.59)
con la condicion de contorno

(a, , ) = f (, ). (8.60)
La solucion de (8.59, 8.60) viene dada en terminos de la funcion de Green G por la expresion
Z a Z Z 2
0 02 0 0
(r, , ) = dr r d sin d0 G(r, , ; r0 , 0 , 0 )(r0 , 0 , 0 )
Z0 0 0
G
ds0 f (0 , 0 ) 0 (8.61)
Sa n
donde ds0 = a2 sin 0 d0 d0 es el elemento infinitesimal de area de la esfera Sa de radio a y n

G
0 es
la derivada normal externa de G

G G
= . (8.62)
n0 r0 r0 =a
La funcion de Green es la solucion elemental de
1
r,, G(r, , ; r0 , 0 , 0 ) = (r r0 )( 0 )( 0 ), (8.63)
r2 sin
donde 0 < r, r0 < a, 0 < , 0 < y 0 < , 0 < 2, que satisface la condicion de contorno de
Dirichlet
G|r=a = 0. (8.64)
El problema se reduce entonces al de encontrar G.
Haciendo uso del hecho que los armonicos esfericos (8.52-8.54) son un conjunto ortonormal
completo
X `
X 1
Y`m (0 , 0 )Y`m (, ) = ( 0 )( 0 ), (8.65)
`=0 m=`
sin
podemos proponer una expansion para G en la base de los Y`m ,
X
X `
0
G (~x, ~x ) = G`m (r; r0 , 0 , 0 )Y`m (, ). (8.66)
`=0 m=`
Sustituyendo (8.66) en (8.63), obtenemos

X`
X 1 d 2 1
2 dr
(r G`m ) 2 `(` + 1)G`m Y`m (, ) =
` m=`
r r
X `
X (r r0 ) m 0 0 m
Y` ( , )Y` (, ), (8.67)
`=0 m=`
r2

donde hemos usado (8.41), esto es,
1 1
[sin Y`m (, )] + m m
2 Y` (, ) = `(` + 1)Y` (, ).
sin sin
0
Multiplicando (8.67) por Y`m0 (, ) e integrando en los angulos y se tiene, usando (8.54),

1 d 2 d 1 1
2
r G`m 2 `(` + 1)G`m = 2 (r r0 )Y`m (0 , 0 ). (8.68)
r dr dr r r
Definiendo
G`m (r; r0 , 0 , 0 ) g` (r; r0 )Y`m (0 , 0 ), (8.69)
se sigue de (8.68) que g satisface

d 2 d
r g` `(` + 1)g` = (r r0 ). (8.70)
dr dr
Por otro lado, de (8.64), se desprende que
g` |r=a = 0 (8.71)
La solucion de (8.70, 8.71) viene dada por
0 1 `

(`+1) (2`+1) `

g` (r, r ) = r r a r> (8.72)
(2` + 1) < >
donde r< = min{r, r0 }, r> = max{r, r0 }. Finalmente, de (8.66), (8.69) y (8.72) obtenemos
X `
Y`m (0 , 0 )Y`m (, ) ` `

0 0 0
X 1 r>
G (r, , ; r , , )= r< `+1
2`+1 (8.73)
`=0 m=`
2` + 1 r> a
Se deja como ejercicio verificar que la integral de superficie en(8.61) es en efecto la solucion
dada en (8.58) para el problema homogeneo.
8.3 La funcion de Green para la ecuacion de onda en (3+1)

dimensiones
Considerese el problema para la ecuacion de onda
(t t )(~x, t) = F (~x, t), < t < , ~x R3 , (8.74)
donde es el operador laplaciano 3-dimensional, con condiciones en el pasado remoto
lim (~x, t) 0 (~x, t), (8.75)

t
donde 0 es solucion al problema homogeneo (F = 0). Supondremos ademas que esta acotada
en todas partes, |(~x, t)| < ~x R3 , y que F (~x, t) es de soporte acotado.

Puesto que (8.74) es lineal, la solucion de (8.74, 8.75) es la suma de la solucion al problema
homogeneo 0 mas la solucion al problema no homogeneo
(t t )p (~x, t) = F (~x, t), < t < , ~x R3 , (8.76)
que satisface las condiciones
lim p (~x, t) = 0, lim t p (~x, t) = 0. (8.77)

t t
La solucion de (8.76, 8.77) viene dada por

Z
p (~x, t) = d3 x0 dt0 Gret (~x x~0 , t t0 )F (x~0 , t0 ), (8.78)
donde el propagador Gret satisface
(t t )Gret = (~x x~0 )(t t0 ), (8.79)
y las condiciones
lim Gret = 0, lim Gret = 0. (8.80)
t |~
x|
Por los momentos, vamos a restringirnos a la busqueda de soluciones de
(t t )G = (~x)(t). (8.81)
La manera mas conveniente de encontrar G es empleando transformadas de Fourier. Introduzcamos

las transformadas de Fourier 4-dimensionales
Z
1 ~
G(~x, t) = 4
d3 kd ei(k.~xt) G(~k, ), (8.82)
(2)
Z
~ ~
G(k, ) = d3 xdt ei(k.~xt) G(~x, t), (8.83)
donde Z
1 ~
(~x)(t) = d3 kd ei(k.~xt) . (8.84)
(2)4
Sustituyendo (8.82) y (8.84) en (8.81) se sigue que
1
G(~k, ) = . (8.85)
~k 2 2
Notese que G(~k, ) depende de ~k solo a traves de |~k|. Tenemos entonces que
Z
1 3 i(~k.~
xt) 1
G(~x, t) = d kd e . (8.86)
(2)4 ~k 2 2
Pasando a coordenadas esfericas, rotando los ejes en el espacio ~k de forma tal que ~k.~x = |~k| |~x| cos
con el angulo polar e integrando en las variables angulares se tiene
Z Z
1 1
G(~x, t) = 3 dk k sin kr deit , (8.87)
4 r 0 ( k)( + k)

donde k = |~k| y r = |~x|. La evaluacion explcita de (8.87) requiere de alguna prescripcion para
manejar los polos en = |~k|, esta ultima viene determinada por el tipo de causalidad impuesta
en (8.80).
Para obtener Gret , para t > 0, desplazamos los polos de forma tal que = k k i y
= k k i, con 0+ . Entonces
Z Z
1 1
Gret (~x, t) = (t) 3 dk k sin kr deit . (8.88)
4 r 0 ( (k i))( + (k + i))
Considerando como variable compleja, cerrando el contorno de integracion por debajo del eje
real y usando el teorema del residuo se tiene
Z
1 exp(it)
Gret (~x, t) = (t) 3 dk k sin kr 2iRes
4 r 0 ( (k i))( + (k + i))
Z
1
= (t) 2 dk sin kr sin kt, (8.89)
2 r 0
de donde se obtiene finalmente
1
Gret (~x, t) = (t) (t r). (8.90)
4r
Gret (~x, t) es un elemento del algebra de convolucion D0 (+ ), donde + es el cono t2 |~x|2 0, t 0.
Todas las ecuaciones del tipo hiperbolico con coeficientes constantes tienen soluciones elementales
en D0 (+ ). Por otro lado, el que Gret (~x, t) tenga soporte sobre la superficie del cono juega un
papel determinante en las teoras relativistas.
De (8.90) se sigue
1
Gret (~x x~0 , t t0 ) = (t t0 ) (t t0 |~x x~0 |). (8.91)
4|~x x~0 |
Esta funcion de Green se denomina retardada porque propaga el efecto de una fuente en el punto
(x~0 , t0 ) al punto (~x, t), siempre y cuando t t0 = |~x x~0 | > 0, esto es, solo para t posterior a t0 . Es
claro, t t0 debe ser igual a la distancia |~x x~0 |, lo que nos dice que dicho efecto se propaga con
velocidad 1 (velocidad de propagacion finita).
Es posible encontrar otras funciones de Green para el operador (t t ) que propagan con
una causalidad diferente. Por ejemplo, para t < 0, si desplazamos los polos del eje real anadiendo
una pequena parte imaginaria positiva y cerramos el contorno por encima del eje real, calculos
analogos a los de arriba nos proveen la funcion de Green avanzada
1
Gav (~x x~0 , t t0 ) = (t0 t) (t t0 + |~x x~0 |), (8.92)
4|~x x~0 |
que propaga con velocidad 1 para t t0 = |~x x~0 | < 0.
En teora de campos se define el propagador de Feynman
Z
~ 0 1 ~ ~0 0 1
0
GF (~x x , t t ) = d3 kd ei(k.(~xx )(tt )) , (8.93)
(2)4 ~k 2 2 i
con 0+ . Si interpretamos (8.93) como representando la onda producida en (~x, t) por una
fuente unidad localizada en (x~0 , t0 ), entonces (8.93) propaga (con velocidad 1) las partes de la onda
con frecuencias > 0 hacia adelante en el tiempo y las de frecuencias < 0 hacia atras en el
tiempo.

8.4 La funcion de Green para la ecuacion de Schrodinger

Consideremos a continuacion la ecuacion de Schrodinger en (3 + 1)-dimensiones
1
(it + )(~x, t) = V (~x, t)(~x, t), (8.94)
2m
donde supondremos que V (~x, t) es de soporte acotado. Veamos como emplear en la resolucion de
(8.94) algunas de las tecnicas desarrolladas con anterioridad.
Supongase que imponemos como condicion inicial (~x, t) 0 (~x, t) para t , donde
0 (~x, t) es solucion de (8.94) para V (~x, t) = 0. Entonces la solucion formal de (8.94) viene dada
por Z
(~x, t) = 0 (~x, t) + d3 x0 dt0 G(~x x~0 , t t0 )V (x~0 , t0 )(x~0 , t0 ), (8.95)
donde la funcion de Green G satisface

1
(it + )G(~x, t) = (~x)(t), (8.96)
2m
junto con la condicion de borde
G 0, t < 0. (8.97)
Sustituyendo (8.82) y (8.84) en (8.96) se sigue que
1
G(~k, ) = . (8.98)
~k 2 /(2m)
Note que (8.98) tiene singularidades en = ~k 2 /(2m) y por lo tanto, al igual que en (8.87),
requeriremos alguna prescripcion para manejar el polo = ~k 2 /(2m) en la integral
Z
1 ~ 1
G(~x, t) = d3 k d ei(k.~xt) . (8.99)
(2)4
~k 2 /(2m)
Esta prescripcion se sigue de la condicion (8.97) y en este caso se tiene

Z
1 ~ 1
G(~x, t) = d3 k d ei(k.~xt) , (8.100)
(2)4
~k 2 /(2m) + i
donde 0+ . Considerando como variable compleja, cerrando el contorno de integracion por

debajo del eje real y usando el teorema del residuo se tiene
i
Z
~ ~2
G(~x, t) = 3
(t) d3 kei(k.~xk t/2m)
(2)
m 32 2
= i (t) eim~x /2t , (8.101)
2 it
que es esencialmente el propagador en (3 + 1)-dimensiones para la ecuacion de difusion bajo el
reemplazo t it, el mismo que transforma a la ecuacion de Schrodinger libre en la ecuacion de
difusion.

Por ultimo, note que la solucion (8.95) permite establecer un esquema iterativo por medio del
cual obtener una solucion de (8.94) en teora de perturbaciones. As,
Z
(~x, t) = 0 (~x, t) + d3 x0 dt0 G(~x x~0 , t t0 )V (x~0 , t0 )(x~0 , t0 ),
Z
= 0 (~x, t) + d3 x0 dt0 G(~x x~0 , t t0 )V (x~0 , t0 )0 (x~0 , t0 )
Z Z
+ d x dt G(~x x , t t )V (x , t ) d3 x00 dt00 G(x~0 x~00 , t0 t00 )V (x~00 , t00 )(x~00 , t00 )
3 0 0 ~ 0 0 ~ 0 0
Z
= 0 (~x, t) + d3 x0 dt0 G(~x x~0 , t t0 )V (x~0 , t0 )0 (x~0 , t0 )
Z Z
+ 3 0 0
d x dt d3 x00 dt00 G(~x x~0 , t t0 )V (x~0 , t0 )G(x~0 x~00 , t0 t00 )V (x~00 , t00 )0 (x~00 , t00 )

1. Encuentre la solucion al problema para la ecuacion de onda en (2 + 1)-dimensiones
1 1
t t u r (rr u) 2 u = 0, 0 < r < a, 0 < < 2, t > 0,
r r
con condiciones de contorno de Dirichlet
u(a, , t) = 0, 0 2, t 0,
y condiciones iniciales
u(r, , 0) = f (r, ), t u(r, , 0) = 0, 0 r a, 0 < 2.
Puede dejar los coeficientes de la expansion expresados en forma integral.
2. Encuentre la solucion a la ecuacion de difusion

1 1
t u r (rr u) 2 u = 0, 0 < r < a, 0 < < 2, t > 0,
r r
independiente de , esto es u(r, , t) = u(r, t), que satisface condiciones de contorno de
Dirichlet
u(a, t) = 0, t 0,
y condiciones iniciales
u(r, 0) = u0 = constante, 0 r a.
Puede dejar los coeficientes de la expansion expresados en forma integral.
3. Encuentre la solucion a la ecuacion de Laplace

1 1 1
2
r (r2 r u) + 2 (sin u) + 2 2 u = 0,
r r sin r sin
0 < r < a, 0 < < , 0 < < 2,

independiente de , esto es u(r, , ) = u(r, ), que satisface condiciones de contorno de

Dirichlet
+u0 si 0 < 2 ,
u(a, ) =
u si < ,
0 2
donde u0 es una constante positiva. Puede dejar los coeficientes de la expansion expresados
en forma integral.
4. Siguiendo pasos analogos a los dados en la obtencion de (8.73), obtenga la funcion de Green
solucion elemental de
1
r,, G(r, , ; r0 , 0 , 0 ) = (r r0 )( 0 )( 0 ),
r2 sin
a < r, r0 < b, 0 < , 0 < , 0 < , 0 < 2,
que satisface las condiciones de contorno de Dirichlet
G|r=a = 0 = G|r=b .
5. De acuerdo a los resultados obtenidos en la seccion 8.1.2, la funcion de Green solucion al

problema
1 1 1
r r G + r G + 2 G + z z G = (r r0 ) ( 0 ) (z z 0 ),
r r r
0 < r, r0 < a, 0 , 0 2, 0 < z, z 0 < `,
G|r=a = 0, G|z=0 = 0, G|z=` ,
admite la expansion
X

0 0 0
X r
G(r, , z; r , , z ) = Jn (nm ) [Gcnm (z; r0 , 0 , z 0 ) cos n + Gsnm (z; r0 , 0 , z 0 ) sin n] .
n=0 m=1
a
Obtenga los coeficientes Gcnm y Gsnm .
Referencias
J. D. Jackson, Classical Electrodynamics (third edition). Wiley, (1999).
Y.Choquet-Bruhat and C. De Witt-Morette, Analysis, Manifolds and Physics, Part 2. North
Holland. 2000.

Indice de Materias
Algebra de Dirac, 24, 25

de convolucion, 36 atemperadas, 74
derivacion de, 27, 3739
Armonicos Esfericos, 130, 131 ejemplos de, 24, 25, 33
derivadas de, 28, 29
Base(s) multiplicacion de, 26
en el espacio de Hilbert L2(r) (, ), 94, producto de convolucion, 32
99 producto tensorial, 31
en espacios vectoriales de dimension n, 11 producto tensorial de, 31, 32
dual, 12 series de, 30
Bessel soporte de, 24
ecuacion de, 121, 128 sucesiones de, 30
funcion de, 121, 128 transformacion de coordenadas de, 110,
111
Cauchy
Divergencia, de un campo vectorial, 19
problema(s) de, 5356, 60, 65, 66, 73, 105
para la ecuacion de difusion, 73, 79 Ecuaciones en Derivadas Parciales, 53
para la ecuacion de onda, 65, 68, 90 clasificacion, 55, 57
valor principal de, 27 elpticas, 56, 105
Conexiones, 17 hiperbolicas, 56, 65, 85
Convergencia parabolicas, 56, 73, 85
de la serie de Fourier, 89, 90, 92, 93 Espacio(s)
sobre D, 23 L2(r) (, ), 94, 96, 97, 99
Convolucion, 32 L2(r) (a, b), 99
de Volterra, 115 de funciones de prueba
ecuaciones de, 36, 41 de decrecimiento rapido, S, 74
en D0 , algebra de, 36 de soporte acotado, D, 23
producto de, 32, 34, 36, 39, 70, 77 de Hilbert, 96, 99, 119
propiedades de la, 34, 35, 71 de las distribuciones
sobre D, D0 , 24
Derivada
sobre S (atemperadas), S 0 , 74
covariante, 17, 18
Eucldeos, 15, 97
covariante direccional, 18
vectorial de dimension n, 11
de distribuciones, 27
Difusion, ecuacion de, 73, 135 Fourier
Dirichlet series de, 89, 92
kernel de, 31 transformadas de, 69, 73, 74, 83
condiciones de contorno de, 85, 105, 110, y de Laplace, 77
114 multiplicacion y convolucion de, 77
Distribuciones, 5, 23, 24 Funcional lineal, 24
138
continuo, 24
Gauss, kernel de, 30, 78

Green, funciones de
para EDOs
problema de contorno, 45, 47, 49
problema de valores iniciales, 43, 45
para la ecuacion de difusion, 73, 78, 98
para la ecuacion de onda, 66, 68, 91, 132
para la ecuacion de Poisson, 114, 116, 117,
131
para la ecuacion de Schrodinger, 135
Hilbert, espacio de, 96
Kernel, 78
de Gauss, 78
Laplace
ecuacion de, 105
transformadas de, 34, 69, 70
y convolucion, 71
y de Fourier, 77
Laplaciano, 20, 21
Legendre
funciones de, 130
Neumann
condiciones de contorno de, 86, 105, 117,
118
funciones de, 128
Ondas, ecuacion de las

en (1 + 1) dimensiones, 65, 87
en (3 + 1) dimensiones
esfericas, 72
funciones de Green, 132
Poisson
kernel de, 31, 108
ecuacion de, 35, 36, 110
Tensor, 13
metrico, 13

Metodos3 PDF

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Metodos3 PDF

Загружено:

Авторское право:

Доступные форматы

 [

Nelson Pantoja Vasquez

Nelson Pantoja Vasquez

Nelson Pantoja Vasquez

Julio, 2002 N. R. Pantoja

Mayo, 2005 N. R. Pantoja

Nelson Pantoja Vasquez

3 Ecuaciones diferenciales ordinarias. Funciones de Green. 43

4 Ecuaciones Diferenciales Parciales 53

5.2 El Problema de Cauchy para las ecuaciones

6 El problema de contorno y valores iniciales 85

7 El Problema de Contorno Puro 105

8 Problemas en mayor dimensionalidad 125

Indice de Materias 137

Nelson Pantoja Vasquez

5.1 Transformadas de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69

Nelson Pantoja Vasquez

1.1 Vectores y covectores

Consideremos a continuacion la accion del operador i /xi sobre un campo escalar

de donde se desprende que

2. y que dicha aplicacion es lineal, esto es

( i , ~ej1 + ~ej2 ) ( i , ~ej1 ) + ( i , ~ej2 ) (1.9)

con y constantes reales.

Bi0 = aji0 Bj , (1.11)

Nelson Pantoja Vasquez

Nelson Pantoja Vasquez

Nelson Pantoja Vasquez

se postulan independientes de dichas coordenadas y se tiene

~x = x1 ~ex1 + x2 ~ex2 . (1.30)

y tambien se postula independiente de las coordenadas.

donde exigiremos gx1 x2 = gx2 x1 .

El producto (1.34) se preserva bajo el conjunto de transformaciones lineales

gx1 x1 = 1, gx1 x2 = gx2 x1 = 0, gx2 x2 = 1, (1.36)

esto es, gij = ij . As, en coordenadas eucldeas tenemos

y (1.34) viene dado por g(A, ~ B).

Nelson Pantoja Vasquez

~x = r cos ~ex1 + r sin ~ex2 , (1.38)

donde exigiremos que gr = gr . Ahora, empleando

gi0 j 0 = gij ( i , ~ei0 )( j , ~ej 0 ) (1.44)

gi0 j 0 = gij aii0 ajj 0 , (1.45)

con aji0 dado por (1.5), encontramos

y puesto que g(A,~ B)

Nelson Pantoja Vasquez

El producto (1.48) se preserva bajo el conjunto de transformaciones lineales

y (1.48) viene dado por g(A,~ B).

1.2 La derivada covariante

Nelson Pantoja Vasquez

~u V~ uj (Dj V i )~ei (1.60)

y exigimos que cumpla la regla de Leibniz

para T y S tensores de tipo arbitrario.

A continuacion, comparando con

~u T = uk (Dk T ij ) ~ei ~ej , (1.65)

Nelson Pantoja Vasquez

1.3 Los operadores divergencia y laplaciano

al espacio Rn con un tensor metrico g eucldeo.

Nelson Pantoja Vasquez

Se sigue entonces que

donde hemos hecho Di = i , de acuerdo a (1.59). Ahora

Di Di = Di i = Di gik g kj j = gik Di g kj j = Dk g kj j = Di g ij j , (1.77)

Nelson Pantoja Vasquez

Por otro lado, en coordenadas polares tendremos

1.4 Problemas y ejercicios

Nelson Pantoja Vasquez

[