Metodos3 PDF

OLP
W

[
W
W
= [
Nelson Pantoja V
asquez
Universidad de Los Andes
M
erida, Venezuela
Julio, 2002
Version revisada
Junio 2005.
Nelson Pantoja Vasquez
Ecuaciones Diferenciales Parciales
La Mathematique ...
instrument de pensee au service de notre effort dintelligence du monde physique
A. Lichnerowicz
Pr
ologo
Estas son las notas de clase, corregidas y aumentadas, del u
ltimo 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 u
tiles.
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 a
nos.
Mayo, 2005
N. R. Pantoja
Indice General
Pr
ologo
1 Operadores Diferenciales
1.1 Vectores y covectores . . .
1.2 La derivada covariante . .
1.3 Los operadores divergencia
1.4 Problemas y ejercicios . .
.
.
y
.
. . . . . .
. . . . . .
laplaciano
. . . . . .
2 Distribuciones
2.1 Funciones de prueba . . . . . . . .
2.2 Distribuciones . . . . . . . . . . . .
2.3 Multiplicacion de distribuciones . .
2.4 Derivacion de distribuciones . . . .
2.5 Sucesiones y series de distribuciones
2.6 Producto tensorial de distribuciones
2.7 El producto de convolucion . . . . .
2.8 Ecuaciones de convolucion . . . . .
2.9 Problemas y ejercicios . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
11
11
17
19
21
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
23
23
24
26
27
30
31
32
36
37
3 Ecuaciones diferenciales ordinarias. Funciones de Green.

43
3.1 El problema de valores iniciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2 El problema de contorno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.3 Problemas y ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4 Ecuaciones Diferenciales Parciales
4.1 Introduccion . . . . . . . . . . . . . . . .
4.2 EDPs de primer orden en dos variables .
4.3 EDPs de segundo orden en dos variables
4.3.1 Clasificacion . . . . . . . . . . . .
4.3.2 Formas canonicas . . . . . . . . .
4.4 EDPs de segundo orden en n variables .
4.5 Problemas y ejercicios . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
53
53
54
55
55
57
60
62
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
5.3 Problemas y ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
6 El problema de contorno y valores iniciales

6.1 Formulacion del problema . . . . . . . . . .
6.2 El problema para la ecuacion de onda . . .
6.2.1 El problema homogeneo . . . . . . .
6.2.2 El problema no homogeneo . . . . . .
6.3 El problema para la ecuacion de difusion . .
6.4 Problemas y ejercicios . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7 El Problema de Contorno Puro

7.1 El problema de Dirichlet . . . . . . . . . . . . . . . . . . . .
7.1.1 El problema de Dirichlet para la ecuacion de Laplace
7.1.2 El problema de Dirichlet para la ecuacion de Poisson
7.2 El problema de Neumann para la ecuacion de Poisson . . .
7.3 Problemas y ejercicios . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
85
85
87
87
89
98
101
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
105
. 105
. 105
. 110
. 117
. 120
8 Problemas en mayor dimensionalidad

8.1 El problema de contorno para la ecuacion de Laplace en 3 dimensiones
8.1.1 El problema de Dirichlet para un cubo . . . . . . . . . . . . . .
8.1.2 El problema de Dirichlet para un cilindro . . . . . . . . . . . . .
8.1.3 El problema de Dirichlet para la esfera . . . . . . . . . . . . . .
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 . . . . . . . . . . .
8.3 La funcion de Green para la ecuacion de onda en (3 + 1) dimensiones .
8.4 La funcion de Green para la ecuacion de Schrodinger . . . . . . . . . .
8.5 Problemas y ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Indice de Materias
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
125
125
125
127
129
131
131
132
135
136
137
Indice de Cajas
5.1
5.2
6.1
6.2
6.3
7.1
7.2
Transformadas de Laplace . . . . . . . . . . . . . . .
Transformadas de Fourier . . . . . . . . . . . . . . .
Series de Fourier . . . . . . . . . . . . . . . . . . . . .
El espacio de Hilbert L2(r) (, ) . . . . . . . . . . .
Bases en L2(r) (a, b) . . . . . . . . . . . . . . . . . . . . .
Distribuciones y transformaciones de coordenadas
Expansiones ortogonales y funciones de Green . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
69
73
92
96
99
110
118
10
Captulo 1
Operadores Diferenciales
En lo que sigue se asume un conocimiento elemental del calculo vectorial. Las ideas que desarrollaremos 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 alg
un 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 u
ltimo que denotaremos por Tx (Rn ). Entonces
0
~x = xi~ei = xi ~ei0 ,
(1.1)
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
x =
0
aij
0
aij
x,
xi
=
.
xj
(1.2)
0
Si para la transformacion considerada se tiene que los coeficientes aij son constantes i0 , j, entonces 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
~ si bajo transformaciones generales de coordenadas se
las componentes de un campo vectorial A
cumple
0
0
Ai = aij Aj ,
(1.3)
0
donde los coeficientes aij vienen dados por (1.2) y se sobrentiende que Ai = Ai (xj ) y Ai = Ai (xj ).
~ sobre Rn es la asignacion de un vector A(x)
~
Se sigue que un campo vectorial A
a cada punto x de
n
i
n
~
R y A = A ~ei Tx (R ).
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
12

0
transformaciones considerado, esto es, si se cumple 0 (xi ) = (xi ). Se tiene

i0 0
0
xj 0
xj
=
=
= aji0 j .
0
0
0
i
i
j
i
j
x
x x
x x
(1.4)
donde hemos definido
xj
.
xi0
Notese que el conjunto {i } no transforma como la componentes de un campo vectorial.
Ahora
0
0
xi xj
xi
i0 j
i0
a j a k0 =
0 =
0 = k0 .
j
k
k
x x
x
0
~ = Ai~ei = Ai ~ei0 se sigue que
Por otro lado, de A
aji0
(1.5)
(1.6)
Ai~ei = Ai ~ei0 = aij Aj ~ei0 ,

de donde se desprende que
~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)
(
i , ~ej1 + ~ej2 ) (
i , ~ej1 ) + (
i , ~ej2 )
(1.9)
2. y que dicha aplicacion es lineal, esto es
con y constantes reales.

Considerese a continuacion el objeto
= Bi
B
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)
en la cobase {
con aji0 dado por (1.5). Diremos que {Bi } son las componentes del covector B
i }.
n
Al espacio de los covectores lo denotaremos por Tx (R ) y a la cobase en Tx (R ) 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 .
13
~ Tx (Rn ) y B
Tx (Rn ), se sigue de (1.8)
Sean {~ei } y {
j } bases duales. Entonces, dados A
que
~ej ) = (Bi
(B,
i , ~ej ) = Bi (
i , ~ej ) = Bi ji = Bj
(1.13)
y
~ = Aj (
(
i , A)
i , ~ej ) = ij = Ai .
(1.14)
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.
A),
~
Consideremos a continuacion al objeto (B,
A)
~ = (Bi
(B,
i , Aj ~ej ) = Bi Aj (
i , ~ej ) = Bi Ai .
(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
= Bi
como se sigue de B
i = Bi0
i . Por otro lado, de acuerdo con (1.2), (1.5) y (1.6) se tiene
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 n

umero que es un escalar (un invariante) bajo las transformaciones generales de coordenadas (1.2).
Es facil verificar que
+ C,
A)
~ = (B,
A)
~ + (C,
A),
~
( B
(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
S1
i0
j10 jq0
i0
i ip
(x) = a 1i1 a pip aj1j 0 a qjq0 S 1

1
j1 jq
(1.20)
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)
14
donde
g(~ei , ~ej ) = gkl (
k , ~ei )(
l , ~ei ) = gij
si {~ei } es la base dual a {
i }, con
gij gji .
~yB
~ cualesquiera, g provee la aplicacion
Ahora, dados dos vectores A
~ B)
~ = gij (
~ j , B)
~ = gij B j Ai .
g(A,
i , A)(
(1.22)
Identificando esta ultima expresion con la contraccion Bi Ai

Bi Ai gij B j Ai ,
(1.23)
Bi = gij B j .
(1.24)
se sigue que
a todo vector
As, el tensor g, que denominaremos tensor metrico, permite asociar un covector B
~ a traves de
B
= Bi
B
i gij B j
i,
(1.25)
dado por (1.25) es el dual metrico de B.
~ Por
de forma tal que se satisfaga (1.23). Se dice que B
otro lado, puesto que con esta identificacion logramos asociar un invariante (escalar) a dos vectores
~ y B,
~ el tensor metrico g endosa al espacio vectorial Tx (Rn ) con un producto interno
cualesquiera A
~B
~ definido por
(escalar) A
~B
~ g(A,
~ B),
~
A
~ B
~ Tx (Rn ) .
A,
(1.26)
~ de un vector A
~ Tx (Rn ) viene generada por el producto interior definido arriba a
La norma kAk
traves de
~ 2 = g(A,
~ A)
~ = gij Ai Aj
kAk
~ 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
,
~ex2
,
(1.29)
1
x
x2
15
se postulan independientes de dichas coordenadas y se tiene

~x = x1 ~ex1 + x2 ~ex2 .
(1.30)
~yB
~ dos vectores cualesquiera en Tx (R2 ). En la base cartesiana escogida tendremos que
Sean A
dichos vectores pueden ser escritos como
~ = Ax1 ~ex1 + Ax2 ~ex2 ,
A
1
~ = B x1 ~ex1 + B x2 ~ex2 .
B
(1.31)
La cobase {
x ,
x } dual a {~ex1 , ~ex2 } viene especificada por
1
(
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
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
~ el producto escalar eucldeo definido por
A continuacion, tomemos como producto escalar A
~B
~ Ax B x + A y B y .
A
(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
~ y B
~ son campos vectoriales arbitrarios, se desprende de lo anterior que Bx1 = B x1 y
que A
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
g=
x
x +
x
x
(1.37)
~ B).
~ Al espacio vectorial R2 equipado con el tensor metrico g que
y (1.34) viene dado por g(A,
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
16
(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 u
nico . Ahora con
~x = r cos ~ex1 + r sin ~ex2 ,
(1.38)
se sigue que
~x
= cos ~ex1 + sin ~ex2 ,
r
~x
~e
= r sin ~ex1 + r cos ~ex2 .
~er
(1.39)
(1.40)
La cobase {
r ,
} dual a {~er , ~e } viene dada por
1
r = cos
x + sin
x ,
1
1
1
2
= sin
x + cos
x ,
r
r
(1.41)
(1.42)
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
(1.46)
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
~ = B r~er + B ~e , el producto
Finalmente, en la base {~er , ~e } tendremos A
~B
~ vendra dado por
escalar A
~B
~ g(A,
~ B)
~ = Ar B r + r 2 A B
A
~ B)
~ es por construccion un invariante (no depende del sistema de coordenadas
y puesto que g(A,
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
~B
~ Ax1 B x1 Ax2 B x2 .
A
(1.48)
17
El producto (1.48) se preserva bajo el conjunto de transformaciones lineales

10
10
axx1 = cosh ,
axx2 = sinh ,
20
20
axx2 = cosh ,
axx1 = sinh ,
(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
g=
x
x
x
x
(1.50)
~ B).
~ Al espacio pseudo-eucldeo (R2 , g), con g en coordenadas pseudoy (1.48) viene dado por g(A,
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 transformaciones generales de coordenadas como lo hace (1.51)). Es claro, este covector no debe confundirse
~ (g ij j ) ~ei que con frecuencia se denomina gradiente de . En lo que sigue
con el vector
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 .
xj
(1.55)
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)
18
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)
Dk T ij k T ij + ikl T lj + jkl T il
(1.66)
T (Dk T ij )
k ~ei ~ej .
(1.67)
se desprende que
y definimos T como
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
19
Los operadores divergencia y laplaciano
Sea V~ un campo vectorial Tx (Rn ) y sea {~ex1 , , ~exn } una base cartesiana en Tx (Rn ), entonces V~
1
n
admite la expansion V~ = V x ~ex1 + + V x ~exn . Adicionalmente, supongamos que hemos equipado
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
Di V i = x1 V x + + xn V x =
x1
n
V + + nV x .
1
x
x
(1.69)
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
~ V~ . Por construccion (1.68) no depende del sistema de coordenadas escogido y por lo
como
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
x2
x1
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
1
Di V i = x1 V x + x2 V x =
V~ = V r ~er + V ~e .
(1.73)
Ahora,
~er
r
~er
~e
r
~e
=0
rrr = rr = 0 ,
1
= sin ~ex1 + cos ~ex2 = ~e
r
1
= sin ~ex1 + cos ~ex2 = ~e
r
1
,
r
1
= ,
r
rr = 0,
r =
rr = 0,
= r cos ~ex1 r sin ~ex2 = r~er
r = r,
= 0 .
20
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 ,
r
(1.74)
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 .
r
r
(1.75)
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 com
unmente denominada laplaciano 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 u
ltimo 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)
21
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 ,
r
r
(1.82)
esto es,
1
1
= r (rr ) + 2 .
(1.83)
r
r
Por u
ltimo, 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
= Di (i V k + kij V j )~ek
(1.84)
= Di ( i V k + g il klj V j )~ek
(1.85)
Di T ik = i T ik + ili T lk + li T il
(1.86)
y usando
(que se sigue de (1.64)) se tendra

j
i
l k
kl j
k
i l
li j
V~ = i ( i V k + ki
V
)
+
(
V
+
V
)
+
(
V
+
V
)
~ek ,
j
li
j
li
j
(1.87)
k li
donde ki
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

1 r 2
2
2
r
r
~
V = {V } V V ~er + {V } + r V + 3 V ~e ,
r
r
r
r
(1.89)
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
para B
un campo covector y demuestre
1. Haciendo uso de (1.8) para obtener
i , obtenga B
que en este caso se tiene
j
= j Bi kji Bk
B

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.
22

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 distribucion 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 rigurosa. 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
Definici
on 1 Una funcion de prueba (x) = (x1 , x2 , x3 , , xn ) sobre Rn es una funci
on infinitamente 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
si |x| 1
1
si |x| < 1
exp 1x
2
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 ,

23
con tan peque

no como se quiera.
24
2.2
Distribuciones
Definici
on 2 Diremos que f es un funcional lineal sobre D si existe una regla que asigna a cada
(x) D un n
umero 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.
Definici
on 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.
Definici
on 4 El soporte de una distribuci
on T es el conjunto cerrado m
as peque
no 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
dn xf (x)(x),
(x) 7
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.
25
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
2
a (x) =
exp |x|2aa2 , si |x| < a
donde
1
,
e
1
|a (x)|
.
e
a (0) =
Se tiene

Z
Z

1 Z
2

a

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

2 a2
|x|
e
n

R
|x|<a
|x|<a
Si f (x) es localmente integrable entonces lim
a0
|x|<a
Z
lim
a0
Rn
dn x|f (x)| = 0. Se sigue entonces que
dn xf (x)a (x) = 0,
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
26
y dado que
Z
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
Multiplicaci
on 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.
Definici
on 5 El producto T , con T una distribuci
on arbitraria y una funci
on infinitamente
derivable en el sentido usual, define a la distribuci
on
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.
27
Ejemplo 7
Sea vp x1 el valor principal de Cauchy de
1
x
en R1 , definido por
1
hvp , i lim+
0
x
Z
dx +
x
Z

dx
x
para D(R1 ). Tenemos

0 = ((0) x)vp
1
1
6= (0) (x vp ) = (0) ,
x
x
que muestra claramente la no asociatividad.
2.4
Derivaci
on 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
En este caso, la distribucion

f
vendra dada por
x1

Z
Z
Z
Z
Z
f
f
n f
2
3
n
, (x)
=
d x 1 (x) = dx
dx dx
dx1 1 (x)
1
x
x
x
x
Rn
Z
Z
Z
dx1 f (x) 1
=
dx2 dxn f (x)(x)|

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

xi
x
x
x
(2.4)
lo que sugiere la siguiente definicion.

Definici
on 6 T D0 , la distribucion

T
xi
viene dada por

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

Sea D el operador diferencial de orden p en n variables independientes x1 , x2 , , xn
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
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
P
Sea D = , con = i i i el operador laplaciano en coordenadas cartesianas. Se tiene =
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
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).
29
Se sigue que
0 = (0) 0 0 (0),
y en particular,
x 0 = ,
x2 0 = 0,
x (m) = m (m1) .
Por u
ltimo, 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

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

1
,
=
r
y por lo tanto

Z
Z
1
1
2
, = lim dr r
d .
0
r
r

Esta ultima integral puede evaluarse usando la identidad de Green

Z
Z
g
f
3
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
1
1
1
1
2
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
1
1
1
2
dr r
d = da
r
r r
r r

r=
Z
=
r=
1
da
r
1
da 2 .

r=
30

Puesto que < M D, entonces
r

Z

Z

da 1 M da = M 42 0,

r

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

r=
r=
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
Proposici
on 1 Sea {f (x)} una familia de funciones localmente integrables sobre Rn tales que
lim f (x) = f (x)
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 mediante sucesiones o series de funciones. Por ejemplo, si {f (x)} es una familia de funciones localmente
integrables en Rn tales que
Z
lim
0
Rn
dn xf (x)(x) = (0)
D,
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.
31
Ejemplo 14
{fr ()} para r 1 con
(
fr () =
1
2
1r 2
1+r 2 2r cos
si ||
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
fk (x) = m=k 2
2.6
si |x|
si |x| >
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 aco0
tado sobre X m , Y n , X m Y n respectivamente y Dx0 , Dy0 , Dxy
los espacios D0 de las distribuciones
correspondientes. Es facil ver que:
0
Proposici
on 2 Si Sx Dx0 y Ty Dy0 , existe una distribuci
on Wxy Dxy
bien determinada y
u
nica, 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
funci
on Dy y se tiene
(x) = hTy , (x, y)i,
n
umero que depende de x. Ahora, como funci
on de x, Dx y se tendr
a
hW, i = hS, i = hSx , hTy , (x, y)ii.
An
alogamente,
hW, i = hTy , hSx , (x, y)ii.
Proposici
on 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 n
umero 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.
32
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
dm xhTy , xy i =
h1x Ty , i =
Ty ,
xm
dm x(x, y)
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 convoluci
on
Definici
on 7 Sean S y T dos distribuciones sobre Rn . Se llama producto de convoluci
on S T a
n
la distribuci
on sobre R 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
n
h(x) = d yf (x y)g(y) = dn yf (y)g(x y) .
Rn
Rn
33
Esto puede verse facilmente haciendo W = f g

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

Z

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

1
x2
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 com
unmente 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
x2
1/2
dx x2 G (x)
= ,
de donde se desprende
que es la desviacion cuadratica media de la variable x en torno de su
p
valor medio, x2 x2 .
Si dos variables aleatorias, reales e independientes, siguen la distribucion de Gauss con desviaciones 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 .
Proposici
on 4 En R1 , si (x) es una funci
on infinitamente derivable (en el sentido usual de la
teora de funciones) y T una distribuci
on arbitraria, T es una funci
on infinitamente derivable,
en el sentido usual, dada por
h(x) = (T )(x) = hTy , (x y)i.
34
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.
Proposici
on 5 La transformada de Laplace de S T es el producto ordinario de las transformadas
de Laplace de S y T ,
(S T )= ST.
Se tiene que
s
hS T, esx i = hS() T() , es(+) i = hS() T() , e es i

= hS() , es i hT() , es i
T(s).
= S(s)

Veamos a continuacion algunas propiedades de la convolucion con la distribucion y sus derivadas.
Proposici
on 6 En R1 , para T una distribuci
on 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,
35
(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 distribucion 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.
36
2.8
Ecuaciones de convoluci
on
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 n
umero finito de distribuciones A0 , que
0
dicho producto sea conmutativo y que (0) A .
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
0
en R1 . Usualmente D0 (R+ ) se denota por D+
.
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.
Proposici
on 7 Para que A X = B tenga soluci
on, 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 soluci
on elemental de la ecuaci
on 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 u
nica. Por ejemplo, en R3 con el operador laplaciano y r = |~x| se tiene
(ejemplo 12)
1
= 4(0) .
r
1
Se sigue que existe una inversa ((0) ) = 1/4r D0 (R3 ), pero D0 (R3 ) no es un algebra de
convolucion. As, para la ecuacion de Poisson
= 4,
la solucion no es u
nica, 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.
37
0
Considerese a continuacion el algebra D+
y sea = (0) . Se tiene el siguiente resultado.
Proposici
on 8 Sea D el operador diferencial de orden m con coeficientes constantes en una variable
dm1
d
dm
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 distribuci
on de Heaviside y Z
es la soluci
on 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
1. La solucion elemental para D =
por
d
dx

, con una constante real arbitraria, viene dada
( 0 )1 = (x)ex .
2

d
2
2. La solucion elemental para D = dx
, con una constante real arbitraria diferente de
2 +
cero, viene dada por
sin x
( 00 + 2 )1 = (x)
.
2.9
1. En R1 , calcule en el sentido de las distribuciones

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

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.
(a)
d2
((x) cos x),
dx2
(b)
d2
| cos x|.
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
f (x) =
2
+ x2
Ayuda: tenemos
Z
lim
0+
Z
dxf (x)(x) = lim+
0
dxf (x) ((x) (0)) +

dxf (x)(0) .
A continuacion, haciendo el cambio x = y, eval

ue 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)) .
Eval
ue 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 .

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

definida por
Z
hf, i lim+
0
dx ln x (x).

Eval
ue df /dx en el sentido de las distribuciones y muestre que

Z
1
df
dx (x) + () ln .
h , i = lim+
0
dx
x

A continuacion, utilizando la descomposicion (x) = (0) + [(x) (0)], muestre que
Z A
df
(x) (0)
dx
+ (0) ln A ,
h , i =
dx
x
0
donde hemos supuesto que el soporte de [A, A]. Muestre ademas que esta u
ltima
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. Efect
ue 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. Efect
ue el producto de convolucion Pa Pb con
Pa =
1
a
,
2
x + a2
donde a es una constante positiva.

En todos los problemas que siguen, denota a la distribuci
on 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
40
16. Demuestre

0 (x)ex ( 0 ) = 00 0
y de aqu que
0 (x)ex
1
= ( 0 ) ( 00 0 )
1
Utilice esta u
ltima expresion para encontrar 0 (x)ex .
0
17. Sea (x) D+
definida por (x) = ( 0 )1 = (x)ex y considerense los productos
de convolucion siguientes.
(a)
0
i. Sea 2 (x) D+
definida por 2 (x) = (x) (x). Entonces,
2
( 0 )
= 2 (x),
( 0 )
donde
( 0 )
( 0 )
Encuentre de manera explcita 2 (x).

0
ii. Sea 3 (x) D+
definida por 3 (x) = (x) (x) (x). Entonces,
3
( 0 )
donde
( 0 )
= ( 0 )
= 3 (x),
1
( 0 )
( 0 )
Encuentre de manera explcita 3 (x).

iii. Muestre que estos resultados se pueden generalizar a
m
( 0 )
= m
(x),
donde
m
( 0 )
( 0 )
( 0 )
... ( 0 )
(m veces)
y
x
m
(x) = (x) e
xm1
.
(m 1)!
0
(b) Considere a continuacion la distribucion (x) D+
definida por
(x) = (x) ex
x1
,
()
donde es la funcion gamma de Euler. Muestre que

1
2 (x) 2 (x) = (x).

Este resultado sugiere la siguiente definicion
12
( 0 )
2 (x)
Las convoluciones de este tipo juegan un papel importante en la teora de derivacion

de orden fraccional.
41
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
1
( + K)
=K
{1}
+K
{2}
{3}
+ ... = +
(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 ecuaciones 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.
42
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
+
a
+
+
a
+ am ,
(3.2)
1
m1
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
Lx =
y(0) = 0 ,
y (1) (0) = 1 ,
...,
y (m1) (0) = m1 .
(3.3)
Proposici
on 9 Existe una u
nica soluci
on al problema de valores iniciales (3.1,3.2,3.3) dada por
Zx
dZ(x )f () +
y(x) =
m1
X
k Z (k) (x),
(3.4)
k=0
donde Z(x) es la solucion al problema de valores iniciales para la ecuaci

on 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 .
43
(3.7)
44
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 Proposici
on 8) se sigue que
y = (Lx )1 Lx (y) = Z D(y).
Por lo tanto,
y = Z
Lx y +
m1
X
!
k (k)
k=0
esto es,
y = Z Lx y +
m1
X
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
Z Zx
=
dx d Z(x )f () (x)
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
45
y se tendra
Zx
d Z(x )f () +
y =
k (Z),(k) ,
k=0
esto es
m1
X
Zx
d Z(x )f () +
y(x) =
m1
X
k Z (k) (x)
k=0
para x > 0.

1
La solucion elemental (Lx ) = Z se conoce com
unmente 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
F
dx
2
x(t) + x(t) =
sin t,
x(0) = a,
= 0.
dt2
m
dt t=0
En este caso Lt =
d2
dt2
+ 2 y tenemos que
(Lt )1 = (t)
sin t
.
Por lo tanto, la solucion al problema viene dada por

Zt
x(t) =
sin (t ) F
sin + a cos t .
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 u
nica que
satisface condiciones en un punto.
El problema de contorno en dos puntos lineal puede plantearse de la manera siguiente
Lx y = f (x),
Ui y = i ,
a < x < b,
1 i n,
donde Lx es un operador diferencial lineal de orden n

Lx = an (x)
dn
dn1
d
+
a
(x)
+ + a1 (x) + a0 (x),
n1
n
n1
dx
dx
dx
(3.8)
y Ui es el operador definido por

Ui y
n
X
(cij y (j1) (a) + dij y (j1) (b))
j=1
46
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 u
nica.
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 n
umero 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
a2 (x)
d
d2
y + a1 (x) y + a0 (x)y = g(x),
2
dx
dx
puede ser llevada a la forma de Sturm-Liouville multiplicando por

Z x

a1 (x)
1
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 contorno homogeneo asociado definido por
Lx y = 0,
(3.15)
c1 y(a) + c2 y 0 (a) = 0,
0
d1 y(b) + d2 y (b) = 0.
(3.16)
(3.17)
47
Proposici
on 10 Si el problema de contorno homogeneo asociado (3.15,3.10,3.16,3.17) tiene como
u
nica soluci
on la trivial, entonces existe una u
nica soluci
on 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 u
nica solucion la trivial
tenemos que
Proposici
on 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)
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 soluci

on 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 incorporadas en (3.18) a traves de g. A continuacion, con y dada por (3.18) se tiene que
Zb
h y, Lx i =
Zb
d hg(x, ), Lx (x)ix f () =
d hLx g(x, ), (x)ix f ()

a
Zb
Zb
= d h(x ), (x)ix f () = ()f () = h f, i,
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 u
nica 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 independientes porque de lo contrario tendremos y1 = y2 y y1 lograra entonces satisfacer las condiciones
48
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
=
p(x)
+ q(x)g
dx
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.
En el limite 0 tendremos
(3.27)
Z+
lim dxq(x)g(x, ) = 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= +
g 0 (x, )|x= =
1
.
p()
(3.28)
De (3.25) y (3.28) se desprende

u2 ()y20 () u1 ()y10 () =
1
.
p()
(3.29)
Finalmente, resolviendo algebraicamente las ecuaciones (3.26) y (3.29) encontramos

u1 () =
y2 ()
p()W (y1 , y2 , )
(3.30)
49
u2 () =
y1 ()
p()W (y1 , y2 , )
(3.31)
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 u
nica solucion y = 0.
Ahora, dos soluciones linealmente independientes de y 00 = 0 son
y1 = x
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
u1 () =
( 1)
=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) ,
50
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
v(x) =
2
1
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 u

nica solucion
Zb
G(x, )f ()d +
y(x) =
2
1
u1 (x) +
u2 (x) .
U2 u 1
U1 u2
(3.39)
3.3
1. Considere el problema de valores iniciales para la ecuacion de diferencial ordinaria de segundo

orden
d2
d
F (t)
x(t) + 2 x(t) + 2 x(t) =
,
2
dt
dt
m
t > 0,
x(0) = 0,
d
x(0) = b,
dt
(3.40)
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.
51
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),
dx2
0 < x < L,
y(0) = y(L) = 0.
(b)
d 2 d
(x
y) n(n + 1)y = f (x),
dx
dx
0 < x < a,
y(0) = y(a) = 0.
3. Encuentre la funcion de Green solucion al problema de contorno

d
d
(x g) = (x ),
dx dx

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

d 2 d
(x
y) = f (x),
dx
dx
y(0) < ,
0 < x < 1,
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 ),
dx
dx
g(0, ) < para x 0 ,
0 < x, < ;
g(x, ) 0 para x ;
donde es una constante real.
Referencias
E. Butkov, Mathematical Physics. Addison-Wesley, (1968).
52
Captulo 4
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
Introducci
on
Considerese la ecuacion diferencial parcial de orden p, en n variables independientes x1 , x2 , , xn ,

dada por
Du = f (x),
(4.1)
donde
D=
ak (x)Dk
(4.2)
|k|p
con
Dk = (1 )k1 (2 )k2 . (n )kn
(4.3)
|k| = k1 + k2 + + kn .
(4.4)
y
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 condiciones 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
54

iii Depende la solucion en forma continua de la data ? Esto es, cambios peque
nos en los valores
prescritos por las condiciones subsidiarias, producen cambios peque
nos 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(0, 1 , , n1 ),
u
p1 u
1
n1
(0,
),
,
(0, 1 , , n1 ).
0
0 p1
Si es lo suficientemente suave, podemos calcular sobre las derivadas de cualquier orden con respecto 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 derivadas 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.
Definici
on 8 Si Du se eval
ua en un punto P sobre a partir de la data de Cauchy u
nica y exclusivamente, 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 ning
un 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)
55
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 u
nica si y solo si

dx
dy
det
a(P ) b(P )

6= 0

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 ning
un 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.3
4.3.1
(4.8)
EDPs de segundo orden en dos variables

Clasificaci
on
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)
56
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 u
nica es

dx
dy
0

dx
dy 6= 0 = a(dy)2 b dx dy + c(dx)2 6= 0.
det 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
b b2 4ac
dy
=
.
(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
57
Formas can
onicas
Para llevar (4.9) a la forma canonica, efectuamos la transformacion de coordenadas

= 1 (x, y),
= 2 (x, y),
(4.12)
(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
B
C
G1
=
=
=
=
a(x )2 + bx y + c(y )2 ,
2ax x + b (x y + y x ) + 2cy y ,
a(x )2 + bx y + c(y )2 ,
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
x 1
dy
=
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.

58
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
2
1
1
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
= ( + )
2
1
( ),
2i
(4.19)
se tendra
= + i
= i
(4.20)
y la ec (4.14) tendra la forma

A(, ) u + B(, ) u + C(, ) u = D(, , u, u, u),
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,
(4.21)
59
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 ( )
y elptica para x > 0 con forma canonica (haciendo el cambio de variables =
u + u =
3y
2
y = x 2 )
1
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 u
ltima 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
60
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 coeficientes 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)
(4.24)
donde
D=
ak D k
|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
61
Clasificaci
on
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 n

umeros reales {p2 }.
Ejemplo 32
n
P
La ecuacion de onda, u 1 1 u j j u = 0 , es x1 -hiperbolica.
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 u
ltimo 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
1 u
ak Dk u = f,
|k| 2
k1 = 0
con
ak p k > 0 ,
|k| = 2
k1 = 0
ak Dk sea un operador
p 6= 0, esto es, de forma tal que
|k| 2
k1 = 0
diferencial elptico en Rn1 .

Ejemplo 34
La ecuacion de difusion, t u u = 0, es t-parabolica.
Sobre la descripci
on en t
erminos 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 .
62
Este problema puede ser reemplazado por el siguiente sistema de EDPs de primer orden
i Aj j Ai = 0,
i = Ai ,
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.
4.5
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
= const. A continuacion, haciendo el cambio de variables = xy y = x, muestre que
x
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.
63

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 +
2( 2
u
u = 0.
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).
64
Captulo 5
El problema de Cauchy
5.1
El problema de Cauchy para las ecuaciones

hiperb
olicas
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 ecuaci

on de onda
Vamos a estudiar a continuacion el problema de valores iniciales para la ecuacion de onda. Considerese 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)
t u(x, 0) = F 0 (x) H 0 (x) = f2 (x).
De (5.5) se sigue que
Zx
F (x) H(x) =
df2 () +
x0
65
(5.4)
(5.5)
66
y de (5.4) y (5.5) se tiene

Zx
1
1
f1 (x) +
F (x) =
2
2
df2 () +
,
2
df2 ()
x0
Zx
H(x) =
1
1
f1 (x)
2
2
x0
y la solucion de (5.1) y (5.2) con q = 0 viene dada por

1
1
u(x, t) = [f1 (x + t) + f1 (x t)] +
2
2
Zx+t
df2 ().
(5.6)
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).
Haciendo u =
1
(t
2
x) y v =
1
(t
2
+ x), encontramos
Z Z
Z Z
dt dx (t t x x )(x, t) = 2 dv du u v (u, v) = 0,
67
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
G(x, t) =
1
(t) [(x + t) (x t)] ,
2
(5.10)
expresion que satisface automaticamente el requerimiento de causalidad impuesto en (5.8). Para

= (x, t) D, tenemos
Z
Z
Z
Z
1
1
dt dx
dt dx ,
hG, i = hG, i =
2
2
t>0
t>0
x+t>0
xt>0
esto es,
1
hG, i =
2
Z Z t
dt dx .
0
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
y por lo tanto G(x, t) dada por (5.10) satisface (5.7).

Ahora bien, notese que
12 , si t < x < t,
1
G(x, t) = (t) [(x + t) (x t)] =
0,
t > 0,
(5.11)
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
(x, t) =
Z
d
d G(x , t ) ( ) q(, ),
(5.12)
68
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
1
1
u(x, t) = [f1 (x + t) + f1 (x t)] +
2
2
Zx+t
Z t x+(t
Z )
1
df2 () +
d
d q(, ).
2
xt
(5.13)
x(t )
El problema con una condici

on 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),
u(x, 0) = f1 (x),
0 < x < ,
t u(x, 0) = f2 (x),
u (0, t) = 0,
t > 0;
(5.14)
0 x < ;
(5.15)
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
1
1
u(x, t) = [f1 (x + t) f (t x)] +
2
2
Zx+t
df2 ()
(5.17)
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)
69
con G dada por (5.10). G dada por (5.20) puede ser obtenida por el denominado metodo de las
im
agenes, 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
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 < ,
(x, 0) = t (x, 0) = 0,
t>0
(5.22)
(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 coordenada tiempo, el metodo de las caractersticas, etc. Vamos a ilustrar el uso de las transformadas
de Laplace.
...........
....
.
..
...........
...
...
Caja 5.1: Transformadas de Laplace
Definici
on 9 Sea f (t), 0 t < , una funci
on 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)
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
ut
ivt
Fu (iv) = dte e f (t) = dte(u+iv)t f (t) = f(u + iv)
0
y por lo tanto
Z
dveivt0 Fu (iv) =
Z
Z
dveivt0 f (u + iv) = dteut f (t) dveiv(tt0 ) .
0
(5.25)
70

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
ivt0
dve
Z
f (u + iv) = dteut f (t)2 (t t0 ) = 2eut0 f (t0 ) .
Por lo tanto,
1
f (t0 ) =
2
(u+iv)t0
dv e
1
f(u + iv) =
2i
u+i
Z
ds est0 f(s),
t0 > 0.
(5.27)
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.
Definici
on 10 Sea T una distribuci
on 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 alg
un
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
d (t )f (t )( )g( ) =
h(t) =
d f (t )g( ).
(5.29)
Se tiene (vease Proposici

on 5)
(s) = f (s) g (s) .
h
...
...
..........
.
(5.30)
..
.
.
.
.
..........
71
Multiplicando ambos lados de (5.22) por est e integrando en t desde 0 hasta obtenemos
Z
Z

st
dt e (t t x x ) = dt est t t est x x .
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
st

t 0 + s est 0 + s2
Z
dtest ,
0
= s
(x, s) .
Por otro lado
Z
Z
d2
d2
st
st
(x, s) = 0
dt e x x (x, t) = 2 dt e (x, t) = 2
dx
dx
0
y por lo tanto
d2
= 0.
s
2
dx
2
(5.31)
De la condicion de contorno se tiene

Z
(0, s) = h(s)
= dtest h(t).
(5.32)
Resolviendo (5.31, 5.32) bajo los requerimientos lim

(x, s) = 0 y <e{s} > 0, obtenemos
x
sx
(x, s) = h(s)e
.
(5.33)
Queremos a continuacion invertir (5.33) para x > 0. Ahora bien, de (5.28) se sigue que
st
[(t x)]
it = esx .
s h(t x), e
(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)
72
5.1.2
La ecuaci
on de ondas esf
ericas
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
r (r2 r u) + 2 2 (sin u) + 2 2 u.
(5.37)
2
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 =
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

1
1
u(r, t) = [(r + t)f1 (r + t) + (r t)f1 (r t)] +
2r
2r
Zr+t
d f2 ().
(5.43)
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
1
1
U (r, t) = [(r + t)f1 (r + t) (t r)f1 (t r)] +
2
2
Zt+r
d f2 (),
(5.44)
tr
para r < t. Finalmente, obtenemos

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

(5.45)
5.2
73
El Problema de Cauchy para las ecuaciones

parab
olicas
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

on de difusi
on
Consideremos el problema de valores iniciales

t u x x u = q(x, t),
< x < ,
t>0
u(x, 0) = f (x)
(5.46)
(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 com
unmente como ecuacion de difusion.
Para resolver (5.46, 5.47) busquemos la solucion fundamental causal G(x, t), solucion al problema
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
u(x, t) =
Z
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.

Definici
on 11 Sea f (x) una funci
on con valores complejos de la variable real x,
que se anula suficientemente r
apido para |x| . Entonces,
1
f (x) =
2
d eix f()
(5.51)
donde
f() =
d e
Z
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.
74

Note que a
un cuando a la expresion (5.51) le estamos asociando la expresion
(5.52), la primera puede no tener sentido en la teora de funciones. A
un 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 distribuci
on.
Sea f una funcion localmente integrable y una funcion cualquiera D y
consideremos f y f como distribuciones. Entonces
Z
Z
Z
ix
hf , i = d() dx e f (x) = ddx eix f (x)()

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

x
(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.
Definici
on 12 Sea S el espacio de las funciones complejas definidas sobre R,
infinitamente derivables y que decrecen mas r
apido que cualquier potencia negativa
de |x| para x , lo mismo que cada una de sus derivadas. Denominaremos
funciones de prueba de decrecimiento r
apido 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.
Definici
on 13 Denominaremos distribuci
on 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 denotar
a 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 localmente 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.
75
Definici
on 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)
(k)
k
h(Tx(k) ) , ()i = hTx(k) , (x)i
ix
x = (1) hTx , ((x))
ahora bien
k i
d(i) e
dk
() = k
d
d ei (),
esto es
(k)
[(i)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

[(ix)k T ]w =
dk
T ,
dwk
(5.58)
Tx = 2Tx ,
(5.59)
[Txa ] = eia Tw ,
(5.60)
[Tx ] = Tw
,
(5.61)
que se dejan como ejercicios propuestos.

Ejemplo 35
TenComo un caso particularmente interesante, consideremos la distribucion .
dremos
Z
Z
ix
h , i = h, i
x = h, de ()ix = dh, eix 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 .
76

Ejemplo 36
A continuacion, considerese la distribucion T = 1, que es obviamente una distribucion 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
ix
d e
Z
()
ix
d e
Z
() =
Z
d
d e
Z
d
dy eiy (y + x) =
d ei(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
Z
= lim(i dxeix ex ) = lim
i
0 i
= lim 2
i lim 2
.
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,
Proposici
on 12 Sea T S 0 . Entonces
h(T ) , i = hT, ( ) i = hT, i = hT, ( ) i = h(T ) , i.
(5.62) provee la prueba rigurosa de la formula de reciprocidad de Fourier.
(5.62)
77
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 distribucion atemperada y T una distribucion de soporte acotado. Por u
ltimo, usando la
formula de reciprocidad encontramos
[S T ] = S T.
(5.64)
Proposici
on 13 La transformada de Fourier transforma productos de convoluci
on en productos ordinarios (5.63) y productos ordinarios en productos de convolucion (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

1
G(x, t) =
2
d eix G (, t)
(5.65)
y
1
(x) =
2
d eix
(5.66)
en (5.48), se encuentra
d
G (, t) + 2 G (, t) = (t).
dt
Por otro lado, la condicion (5.49) se transforma en
G (, t) = 0 para t < 0.
(5.67)
(5.68)
As,
G (, t) = (
d
2
(t) + 2 (t))1 = (t)e t ,
dt
(5.69)
78
e invirtiendo
1
G(x, t) =
2
d eix (t)e t .
(5.70)
Se sigue que
1
G(x, t) =
(t)
2
ix 2 t
d e
1
=
(t)e
2
ix
2t1/2
2 Z

t1/2 +
d e
ix
2t1/2
2
x4t
1
e
(t) 1/2
t
2
dz ez ,
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
R+i
ZR
u2
du e
R
+i
Z 2t1/2
2
2
dv eR +v e2iRv +
R+i
x
2t1/2
2
u2 + x4t
du e
R+i
x
2t1/2
Para R se tiene
R+i x
Z 2t1/2
2
1/2
R2
+ lim e
dv ev ei2Rv +
i
ZR
dv eR
+i
R+i
2 +v 2
ei2Rv = 0.
x
2t1/2
R+i
dv ev ei2Rv + lim
x
2t1/2
x
R+i 1/2
2t
ZR
du eu
2+ x
4t
= 0,
x
R+i 1/2
2t
esto es,
1/2
dz ez = 0.
Por lo tanto,
x2
e 4t
G(x, t) = (t)
.
4t
(5.71)
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.
Definici
on 15 Un kernel sobre Rn es una distribuci
on 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.
79
Finalmente, es interesante ver como toma (5.50) los valores iniciales. Por simplicidad supongamos q = 0, entonces
Z
u(x, t) =
ex /4t
d G(x , t)f () =
f (x)
4t
(5.72)
para t > 0. Ahora, en el sentido de las distribuciones se tiene que (Ejemplo 13)
2
ex /4t
= (x)
lim+
t0
4t
y por lo tanto
lim u(x, t) = (x) f (x) = f (x).
t0
El problema con una condici

on 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
u(x, 0) = f (x),
0 < x < ,
0 x < ;
t > 0;
u(0, t) = 0,
(5.73)
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
u(x, t)
Z
Z
d d G(x, , t, ) ( ) q(, ) + d G(x, , t, 0) f ().
0
(5.76)
El problema de valores iniciales con condiciones de contorno mas generales sera tratado en el
proximo captulo.
5.3
1. Considere el problema de valores iniciales

t t u x x u = 0,
u(x, 0) = f1 (x),
< x < ,
t u(x, 0) = f2 (x),
t > 0;
< x < .
80

(a) Empleando transformada de Laplace en la variable t obtenga

Z
1
1
s|x|
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),
G 0 para t < 0,
< x, t < ;
< 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,
u(x, 0) = f1 (x),
< x < ,
t u(x, 0) = f2 (x),
t>0
< x < .
(a) Empleando transformadas de Fourier en la variable x, demuestre que la solucion viene

dada por
Z
Z
1
ix
u(x, t) =
d e
d f1 () cos( 2 c2 t)ei
2
Z
Z
1
sin( 2 c2 t) i
ix
+
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),
G 0,
t < 0,
< x < ,
< t < ;
< 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
Z
d
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),
u(x, 0) = f (x),
< x < ,
< x < .
t > 0,
81
(a) Demuestre que la funcion de Green apropiada al problema, solucion elemental de

t G + G x x G = (x)(t),
G 0,
< x < ,
< t < ;
< x < ;
t < 0,
viene dada por

x2 /4t
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.
G(x, t) = (t)e
(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),
G 0,
t < 0,
< x < ,
< t < ;
< x < ;
donde v es una constante. Para ello tome transformada de Laplace en t y transformada

be
de Fourier en x y obtenga G(,
s). A continuacion, invierta y obtenga G(x, t) de manera
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),
u(x, 0) = f1 (x),
< x < ,
t u(x, 0) = f2 (x),
t > 0;
< x < ;
con y constantes positivas. Demuestre que la funcion de Green G(x, t) apropiada al

problema viene dada por
s
s
!
2
1
x
1
|x|
t2
,
(t ) et/2 I0
G(x, t) =
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
s). A continuacion invierta usando
G(x,
p

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

(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 < ,
0 x < ;
w(x, 0) = 0,
t > 0;
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 ,
u(x, 0) = 0,
0 < x < ,
0 x < ;
t > 0;
u(0, t) = f (t),
t 0.
Tomando transformada de Laplace en t, usando el teorema de convolucion para transformadas y el resultado obtenido anteriormente, muestre que
Z
u(x, t) =
d f ( )
0
w(x, t ).
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
u(x, t) =
Z
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
9. Considere el problema de valores iniciales con una condicion de contorno

t u x x u + q 2 u = 0,
u(x, 0) = 0,
x u(0, t) = f (t),
donde q 2 es una constante.
0 < x < ,
t > 0;
0 x < ;
u(x, t) acotada para x ,
83
(a) Empleando transformada coseno de Fourier en la variable espacial

Z
2
f (x, t) =
d cos xfc (, t),
0
donde
Z
fc (, t)
dx cos xf (x, t),
0
encuentre u(, t) e invierta.

Ayuda:
x2
Z

1/2
1
2
e 4a ,
<e{a} > 0.
d cos x e a =
2 a
0
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 invierta. 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, < ,
G 0,
G|x=0 = 0,
< t < ;
t < 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
Z
2
f (x, t) =
d sin x fs (, t).
0
Puede hacer uso de la relacion espectral
Z
2
(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),
G 0,
G|x=0 = 0,
0 < x, <
< t < ;
t < 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).
84
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
Formulaci
on del problema
Considerese la ecuacion diferencial parcial de segundo orden, en n + 1 variables independientes

x0 , x1 , , xn , dada por
(6.1)
D u(x) = f (x) ,
donde
D=
ak (x)Dk ,
(6.2)
|k|2
con
Dk = (0 )k0 (1 )k1 (n )kn
(6.3)
|k| = k0 + k1 + + kn .
(6.4)
y
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)
consiste en encontrar la solucion u(x) de (6.1) en el volumen
0 en M
1
1
M = {x R+ , x R+ , (x1 , , xn ) }, con datos iniciales dados sobre la superficie
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 condici
on de Dirichlet: u se prescribe sobre , x0 R1+ .
85
86
Figura 6.1: Ejemplo de un dominio (2+1)-dimensional M = R1+

2. La condici
on de Neumann: se prescribe la derivada direccional
normal externa n a la frontera sobre dicha frontera, x0 R1+ .
3. La condici
on mixta: se prescribe
u
n
u
n
de u a lo largo de la
+ hu sobre la frontera , con h continua, x0 R1+ .
4. La condici
on 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 problema 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
que es claro sera
(6.7)
87
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,
1 Y 00 + 2 Y 0 + 3 Y = Y.
(6.11)
(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
6.2.1

on de onda
El problema homog
eneo
Consideremos el siguiente problema

t t u x x u = 0,
0 < x < `,
t > 0;
(6.13)
88

u(x, 0) = f1 (x),
t u(x, 0) = f2 (x),
u(0, t) = u(`, t) = 0,
0 x `;
t > 0.
(6.14)
(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)
XT 00 = X 00 T,
(6.17)
Sustituyendo en (6.13), se tiene

de donde, dividiendo entre X(x)T (t), obtenemos
X 00
T 00
=
,
X
T
(6.18)
X 00 X = 0,
(6.19)
T 00 T = 0.
(6.20)
esto es,
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
(6.22)
Xn = sin
`
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

nx
nt
nt
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

nx
X
nt
nt
u(x, t) =
an cos
+ bn sin
sin
(6.26)
`
`
`
n=1
89
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
u(x, 0) =
an sin
n=1
y
t u(x, 0) =
bn
n=1
nx
`
= f1 (x)
(6.27)
nx
n
sin
= f2 (x).
`
`
(6.28)
Multiplicando (6.27) por sin(mx/`) e integrando en x se tiene

Z `
nx
mx Z `
mx
X
an
dx sin
sin
=
dx f1 (x) sin
.
`
`
`
0
0
n=1
Ahora bien
Z
dx sin
nx
sin
mx
`
`
= m,n
2
(6.29)
(6.30)
y por lo tanto
Z
nx
2 `
dx f1 (x) sin
.
an =
` 0
`
Procediendo en forma analoga, a partir de (6.28) se encuentra que
Z `
nx
2
bn =
dx f2 (x) sin
.
n 0
`
(6.31)
(6.32)
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 coeficientes an y bn vienen dados por (6.31) y (6.32) respectivamente.
6.2.2
El problema no homog
eneo
Consideremos a continuacion el problema

t t u x x u = q(x, t),
u(x, o) = f1 (x) ,
0 < x < `,
t u(x, 0) = f2 (x) ,
u(0, t) = u(`, t) = 0
t>0
(6.33)
0x`
(6.34)
(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 encontramos 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
u(x, t) =
X
n=1
un (t) sin
nx
`
(6.36)
90
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
q(x, t) =
qn (t) sin
nx
`
n=1
donde
2
qn (t) =
`
dx q(x, t) sin
nx
`
(6.37)
(6.38)
Sustituyendo (6.36) y (6.37) en (6.33) se tiene

2
X
d
n=1
dt2
un (t) +
n 2
`
nx X
nx
un (t) sin
=
qn (t) sin
`
`
n=1
(6.39)
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
m 2
d2
u
(t)
+
um (t) = qm (t) ,
m
dt2
`
(6.40)

un (t) = an cos
nt
`
nt
`
+ bn sin

Z t
n (t )
`
d qn ( ) sin
.
+
n 0
`
(6.41)
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
u(x, t) =
+

X
n=1

X
n=1

an cos
`
n
nt
`

+ bn sin

d qn ( ) sin
nt
`

n (t )
`
sin
nx

sin
`
nx
`
(6.42)
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)
91
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 =
n 2
`
(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

Xn (x) = sin
(2n + 1) x
2`

,
(6.47)
autofunciones del problema

X 00 (x) X = 0 ,
X(0) = X 0 (`) = 0
con autovalores

(2n + 1)
n =
2`
(6.48)
2
.
(6.49)
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 `
Z
d `
u(x, t) =
d
d G(x, t; , )( )q(, ) +
d G(x, t, , 0)f1o ()
dt
0
`
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.
92
.......
.....
...
..
...........
...
...
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
(6.54)
cn exp (inx)
n=
o por
a0 X
+
(an cos (nx) + bn sin (nx))
2
n=1
(6.55)
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

1
cn =
2
dx einx f (x) ;
n = 0, 1, 2...
(6.56)
1
an =
bn =
dx cos nx f (x) ;
n = 1, 2...
(6.57)
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
1
cn =
/2
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 a
un 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
X einx
1
2
sin nx = i
.
n
n
n=1
n6=0
(6.61)
93
Se puede demostrar que (6.61) no converge uniformemente a f .

Sea D. Entonces
f (x) = 2
X
1
sin nx,
n
n=1
(6.62)
se entendera como
hf, i = h2
X
1
sin nx, i,
n
n=1
D,
(6.63)
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
f 0 (x) = 1
2 (x n2)
(6.64)
n=
y derivando la serie de Fourier (6.62) de f (x) se tiene

0
f (x) = 2
cos nx.
(6.65)
n=1
De (6.64) y (6.65) se desprende que
1
1X
(x n2) =
+
cos nx
2
n=
n=1
o bien
(6.66)
1 X inx
e
(x n2) =
2 n=
n=
(6.67)
De (6.66) se tiene
1
1X
(x n2) =
+
(cos n cos nx + sin n sin nx)
2 n=1
n=
(6.68)
y de (6.67) se sigue
X
n=
(x n2) =
1 X in(x)
e
2 n=
(6.69)
Sea (x) D(, ), con D(, ) el espacio de las funciones de prueba con soporte
compacto en (, ). Entonces
1
1X
h
(x 2n) , ()i = h
+
(cos n cos nx + sin n sin nx) , ()i
2 n=1
n=
94

y se sigue que
1
(x) =
2

Z
X
1
d () +
d cos n () cos nx

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
G (x, ; t) =

X
Gsn (; t) sin
n=0
y con
nx
`
+ Gcn (; t) cos
nx
`

1
1X
n
nx
n
nx
(x ) =
+
cos
cos
+ sin
sin
,
2` ` n=1
`
`
`
`
esta u
ltima obtenida de la identidad (6.68) para ` x, `, se sigue de (6.53) que
2
n 2
X
nx
nx
d
c
s
+
Gn (; t) sin
+ Gn (; t) cos
=
`
`
`
dt2
n=1
!
1
1X
n
nx
n
nx
+
cos
cos
+ sin
sin
(t).
2` ` n=1
`
`
`
`
(6.71)
(6.72)
(6.73)
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
Gsn (; t) = sin
(t) ,
(6.74)
2 +
`
`
`
dt
Gsn (; t) =
sin nt
1
n
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
.
n
`
`
`
n=1
(6.76)
95
Hasta ahora hemos considerado problemas con condiciones de contorno homogeneas. Consideremos 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)
u (x, 0) = f1 (x)
u (0, t) = h1 (t)
0<x<` ,
t>0
(6.77)
t u (x, 0) = f2 (x)
0x`
(6.78)
t0
(6.79)
u (`, t) = h2 (t)
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
U (x, t) = h1 (t) +
x
(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)
0x`
(6.85)
v(0, t) = v(`, t)0,
t0
(6.86)
que resulta ser un problema del mismo tipo que (6.33, 6.34, 6.35).
96
.......
.....
...
..
...........
...
...
Caja 6.2: El espacio de Hilbert L2(r) (, )
Definici
on 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

1/2
k f k2 = (f, f )
Z
dx| f (x) |
1/2
,
(6.88)
donde
(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 .
Definici
on 17 Un conjunto X = {u, v, w, } se dice que es un espacio metrico si a
cada par de elementos u, v le est
a asociado un n
umero 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).
Definici
on 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.

Definici
on 19 Un espacio metrico X se dice completo en d si toda sucesi
on fundamental o de Cauchy {uk , k = 1, 2...} de X converge a un lmite en X.
Definici
on 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.
97
Espacios de Hilbert de dimensi

on 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
uk (x) =
1
arctan kx,
x .
Tenemos
lim d2 (uk , u) = 0,
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 completacion 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 convergentes 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 u
ltimo enunciemos (sin demostracion) el teorema de representacion de Riesz, que
establece la relacion entre los vectores de un espacio de Hilbert y su dual.
98

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 u
nico 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
..
.
.
.
..........

on de difusi
on
Consideremos a continuacion el problema de contorno y valores iniciales para la ecuacion de difusion

t u x x u = q (x, t)
u (x, 0) = f (x)
0<x<` ,
,
t>0
(6.90)
0x`
(6.91)
t0
(6.92)
u (0, t) = u (`, t) = 0 ,
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 u
ltima, la solucion elemental de
t g x x g = (x ) (t)
g0 ,
t<0 ;
` < x, < ` ,
g |x=0 = g |x=` = 0 ,
< t <
(6.93)
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)
donde f o es la extension impar de f y g (x, t; , ) = g (x, t ; , 0), con g (x, t; , 0) dada por
g (x, t; , 0) = (t)
1 X n2 2 t/`2
n
nx
e
sin
sin
,
` n=1
`
`
que es la solucion a (6.93, 6.94). Se deja como ejercicio propuesto la obtencion de (6.96).
(6.96)
.......
.....
...
99
..
...........
...
...
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,
dx2
< x < ;
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 mostraremos 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 extienden 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) .
Definici
on 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

1/2
k f k2 = (f, f )
Z
b
2
dx| f (x) |
1/2
,
(6.98)
donde
Z
(f, g)
dx f (x)g(x)
(6.99)
se toma como el producto interior (escalar). L2(r) (a, b) es un espacio de Hilbert.

Definici
on 22 Sea el intervalo cerrado [a, b] en R1 y sea K el operador lineal sobre
2
L(r) ()
K : f L2(r) () 7 h L2(r) ()
definido por
Z
h(x) =
d k(x, ) f (),
a x b,
(6.100)
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.
100

Considerese a continuacion la ecuacion integral (conocida como ecuacion de Fredholm
del primer tipo)
Z b
(6.101)
d k(x, ) f () = f (x),
a x b,
a
que interpretamos como un problema de autovalores para el operador integral K generado por el kernel k(x, ), esto es, queremos encontrar los autovalores para los
cuales
Kf = f
(6.102)
tiene soluciones f no triviales.
Definici
on 23 El operador lineal K sobre L2(r) ()
K f = f
definido por
Z
d k(, x)f () = f (x),
a x b,
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.
Proposici
on 14 Sea K un operador Hilbert-Schmidt autoadjunto definido sobre el espacio 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
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
de donde se sigue que si i 6= j entonces fi y fj son ortogonales en L2(r) (a, b). Finalmente, puede probarse que los autovalores de (6.103) son simples y que pueden ser
listados como
1 < 2 < < n <
101
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
f (x) =
d g0 (x, ) f (),
a < x < b,
que es de la forma
= 1 .
Gf = f,
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 u
nica 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).
...
...
..........
.
6.4
.
..
.
.
..........
1. Encuentre la solucion a los problemas de contorno y valores iniciales siguientes

(a)
t t x x = 0,
0 < x < l,
(0, t) = x (l, t) = 0,
(x, 0) = f1 (x),
t>0
t0
0 x l.
t (x, 0) = f2 (x),
(b)
t t u x x u = q(x, t),
0 < x < l,
x u(0, t) = x u(l, t) = 0,
u(x, 0) = t u(x, 0) = 0,
t>0
t0
0 x l.
102

(c)
t t u x x u = A sinh x,
u(0, t) = h,
0 < x < l,
t>0
t0
u(l, t) = k,
0 x l,
u(x, 0) = t u(x, 0) = 0,
donde A, h y k son constantes.
(d)
t t u + at u x x u = 0,
0 < x < l,
t0
u(0, t) = u(l, t) = 0,
u(x, 0) = 0,
t>0
0 x l.
t u(x, 0) = f2 (x),
(e)
t t u + 2xx u (1 x2 )x x u = 0,
u(0, t) = 0,
u(x, 0) = f1 (x),
0 < x < 1,
u(1, t) < ,
t>0
t>0
0x1
t u(x, 0) = f2 (x),
(f)
1
t u x (xx u) = 0,
x
u(0, t) < ,
0 < x < a,
u(a, t) = 0,
u(x, 0) = f (x),
t>0
t>0
0xa
(g)
u(0, t) = h1 (t),
0 < x < l,
t>0
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 proponga la solucion a este u
ltimo como una expansion en serie de Fourier de sin[(2n + 1)x/2l].
(h)
t t u ax (xx u) 2 u = 0,
u(0, t) < ,
u(x, 0) = f1 (x),
0 < x < l,
u(l, t) = 0,
t u(x, 0) = f2 (x),
t>0
t>0
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).
103
(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
104
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 peque
nos
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 condici
on de Dirichlet: u se prescribe sobre la frontera del dominio donde se
busca la solucion.
2. La condici
on de Neumann: se prescribe la derivada normal
3. Condici
on mixta: se prescribe
u
n
u
n
sobre .
+ hu sobre , con h continua.
4. La condici
on 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 Dirichlet y de Neumann para las denominadas ecuaciones de Laplace y de Poisson. Por simplicidad
nos restringiremos al caso de dos variables independientes.
7.1
7.1.1
El problema de Dirichlet
El problema de Dirichlet para la ecuaci
on de Laplace
Sea el operador Laplaciano. Una distribucion que satisfaga

u = 0
en un dominio se dice armonica en y dicha ecuacion se conoce com
unmente como la ecuacion
de Laplace.
105
106
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,
r
r
u (a, ) = f () ,
0 r a,
< ;
f () = f () ,
(7.1)
(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

r d
dR
1 d2
r
=
=
R dr
dr
d2
(7.4)
donde es la constante de separacion. Tenemos entonces dos ecuaciones diferenciales ordinarias
d2
= ,
d2
(7.5)
y

dR
d
r
= R , 0 < r < a
(7.6)
r
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

Rn (x) =
Crn + Drn , n 6= 0
E + F log r,
n=0
107
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)
a
a
n=
De (7.2) tenemos
f () =
an ein ,
(7.9)
d ein f ().
(7.10)
n=

1
an =
2
La solucion al problema (7.1,7.2) viene dada entonces por (7.8), donde los an (7.10) son los coeficientes 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
r
1 X r |n| in()
u(r, ) =
df ()
e
,
<1
2 n= a
a
Ahora,
z |n| eina = 1 +
n=
z n eina +
n=1
= 1+
zeia
n
z n eina
n=1
n=1
zeia
n
n=1
zeia
zeia
= 1+
+
1 zeia 1 zeia
1 z2
=
1 2z cos a + z 2
y por lo tanto
1
u(r, ) =
2
df ()

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

r 2
a
r
<1
a
(7.11)
(7.12)
108
se conoce como el kernel de Poisson y puede demostrarse que (Ejemplo 14)

| |
lim k(, ) = () ,
(7.13)
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
ue (r, ) =
a |n|
an
con
1
an =
2
ein
a
<1
r
(7.14)
dein f ()
(7.15)
y que puede ser re-escrita como

1
ue (r, ) =
2

r 2
a
df ()
2 ar
cos ( ) +

r 2
a
r
> 1.
a
(7.16)
El problema de Dirichlet para un rect

angulo
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,
u(0, y) = 0 = u(a, y),
0 y b.
(7.18)
El problema planteado se puede resolver por el metodo de separacion de variables. As, proponiendo
u(x, y) = X(x)Y (y)
(7.19)
X 00 X = 0,
(7.20)
Y 00 + Y = 0.
(7.21)
y sustituyendo en (7.17) se tiene
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

Xn (x) = sin
nx
a
(7.23)
109
y autovalores
=
n 2
n = 1, 2, . . .
(7.24)
La solucion de (7.21) es entonces

Yn (y) = sinh
n

(y + )
(7.25)
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
u(x, y) =
An sinh
n

nx
(y b) sin
a
a
n=1
(7.27)
y la condicion u(x, 0) = f (x) nos lleva a

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

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

sinh n
(y b)
nx
a

u(x, y) =
an
sin
.
nb
a
sinh
a
n=1
(7.31)
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.
110
7.1.2

on de Poisson
El problema de Dirichlet interior al disco

Consideremos a continuacion el problema de Dirichlet interior al disco para la ecuacion de Poisson. Teniendo en cuenta que siempre es posible a
nadir 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,
< < ;
< .
v(1, ) = 0,
(7.35)
(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
q(r, ) =
qn (r)ein ,
(7.38)
dein q(r, ).
(7.39)
n=
con
1
qn (r) =
2
Sustituyendo (7.37) y (7.38) en (7.35) se tiene

X
X
1 d
d
n2
r vn (r) 2 vn (r) ein =
qn (r)ein ,
r
dr
dr
r
n=
de donde se sigue que vn satisface

1 d
d
n2
r vn 2 vn = qn (r) ,
r dr
dr
r
vn (1) = 0
(7.40)
(7.41)
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
111
la transformacion y = (x), esto es asocia las coordenadas (y1 , , yn ) con las coordenadas (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 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 esf
ericas 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
()(r0 ,0 ,0 ) =
(r r0 )( 0 )( 0 )
,
r2 sin
r0 6= 0,
0 6= 0, ,
(7.46)
112

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 )
.
2r sin
(7.47)
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 )()
=
.
0 0
2r sin
2r sin
lim
(7.48)
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 )
,
4r2
(7.49)
como se puede verificar facilmente, y de aqu que la distribucion con soporte en

el origen se escriba en coordenadas esfericas como
(r)
(r r0 )
=
.
2
r0 0
4r
4r2
(7.50)
lim
...
...
..........
.
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

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

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

d
d
n2
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,
(7.52)
113
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
se tiene W (r0 ) = +|n|r01 y con p(r) = r
|n|
1
|n|
|n|
2|n| (r r ) r0 ,
gn (r, r0 ) =
1 r|n| (r|n| r|n| ),

0
0
2|n|
(7.53)
0 < r0 < r
(7.54)
r < r0 < 1
que escribimos como

gn (r, r0 ) =

1 |n| |n|
|n|
r < r > r>
2|n|
n 6= 0
(7.55)
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

|n|
|n|
|n|
1
4|n|
r< r> r>
, n 6= 0
Gn (r, r0 ) =
1
2
log r> ,
(7.57)
n=0
La solucion de (7.41) viene dada por

Z
vn (r) = 2
dr0 r0 Gn (r, r0 ) qn (r0 ) .
(7.58)
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
Z 1
X
X
in
v(r, ) =
vn (r) e =
dr0 2r0 Gn (r, r0 ) qn (r0 ) ein
=
n=
Z 1
X
n=
Z
n=
in
dr0 r0 Gn (r, r0 ) e
d0 ein0 q(r0 , 0 )
d0
dr0 r0 G(r, ; r0 , 0 )q(r0 , 0 )
(7.59)
donde G(r, ; r0 , 0 ) viene dado por

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

1
1 X ein(0 ) |n| |n|
|n|
= log r>
r < r> r>
,
2
4 n= |n|
(7.60)
114
o alternativamente por

1
1 X cos n( 0 ) n n
n
G(r, ; r0 , 0 ) log r>
.
r< r > r>
2
2 n=1
n
(7.61)
Notese que (7.60) (o bien (7.61)) es la solucion elemental de

1
(r r0 )( 0 )
1
r (rr G) + 2 G =
,
r
r
r
0 < r, r0 < 1 , < , 0 < ;
G|r=1 = 0;
(7.62)
(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 ,
u(1, ) = f ()
(7.65)
(7.66)
viene entonces dada por

Z
Z 1
Z
G
f (0 )
u(r, ) =
d0
dr0 r0 G(r, ; r0 , 0 )q(r0 , 0 )
d0 r0
r0 r0 =1
Z
Z
G
2
=
d x0 G(x; x0 )q(x0 )
ds0
f (0 )
n0
(7.67)
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.
on de Poisson en t
erminos de la funci
on 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
~ uv),
~
d x(vu 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 ,
G(x; x0 ) = 0 para x ,
x0 ;
x0 ,
(7.69)
(7.70)
115
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 ),
u(x0 ) = f (x0 ),
x ;
(7.71)
x0 .
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 )) =
(7.72)
~ x0 G(x; x0 ) .
ds0 f (x0 ) n
0
De aqu que
Z
n 0
ds0 f (x0 )
d x G(x; x ) q(x )
u(x) =
G
,
n0
(7.73)
donde
G
~ x0 G(x; x0 ) .
n
0
n0
Aqu las integrales representan simbolicamente convoluciones de distribuciones en el sentido de
Volterra.
Definici
on 24 La convolucion de Volterra del kernel K(x, x0 ) con la distribuci
on 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 simb
olicamente 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 distribuci
) con un kernel T (x; x0 ) invariante bajo
R onn S(x
0
0
0
traslaciones T (x; x ) = T (x x ), simbolicamente d x T (x x0 )S(x0 ).
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 autovalores para el operador laplaciano
(x) + (x) = 0 ,
| = 0.
x ;
(7.74)
(7.75)
Las autofunciones {n } de (7.74,7.75) forman una base ortogonal (que asumiremos ademas normalizada)
Z
d2 x n0 (x) n (x) = n0 n ,
(7.76)
116
para el espacio de las funciones L2(r) () tales que | = 0 y por lo tanto

(x) =
X Z

d x n (x ) (x ) n (x).
2 0
(7.77)
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)
A continuacion, sustituyendo (7.80) en (7.78) y usando (7.74), obtenemos

X
n Gn (x0 ) n (x) = (x x0 ).
(7.81)
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
G(x; x0 ) =
X 1
n (x0 ) n (x).
n
n
(7.83)
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, y) = (a, y) = 0,
0 < x < a,
0 y b;
0 < y < b;
(x, 0) = (x, b) = 0,
0 x a;
tiene como soluciones las autofunciones

r
mn =
2
mx
sin
a
a
con autovalores
mn =
2
ny
sin
,
b
b
m2 n2
+ 2
a2
b
(7.84)

,
(7.85)
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)
117
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
sin
sin
sin
sin
.
2
2
2
2
m=1 n=1 (m b + n a )
a
a
b
b
(7.88)
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 ecuaci

on 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 ,

G
1
=
,
S=
area total de .
n
S
(7.94)
(7.95)
Debera notarse que no es posible exigir G/n| = 0 debido a

R n
Z
d x (x x0 ) = 1
n
~ G
~
~ G
~ =
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
u
1
n 0
0
0
0
0
0
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 ),
S
(7.96)
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 u
nica de (7.92,7.93), modulo una constante aditiva.
118
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 =
,
r
r
r
0 < r, r0 < 1,
, 0 < ;
1
.
2
Siguiendo pasos analogos a los que nos llevaron a (7.60) obtenemos en este caso
r G|r=1 =
G(r, ; r0 , 0 ) =
ein(0 ) Gn (r, ro )
(7.99)
(7.100)
(7.101)
n=
con
Gn (r, r0 ) =

|n|
|n|
|n|
1
4|n|
r> + r >
r< , n 6= 0
1
2
log r> ,
(7.102)
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
k u ks =
(u, u)1/2
s
Z
b
2
1/2
dx s(x) | u (x) |
< ,
(7.104)
donde
Z
(u, v)s
dx s(x) u(x) v(x)

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

Veremos a continuacion que, a
un 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
dx (Lx u) v =
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

b
Z
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 HilbertSchmidt 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),
s(x)
n
(7.106)
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)
120

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
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 integrando en x entre a y b encontramos
gn (, ) =
un ()
n
y por lo tanto g(x, ; ) viene dada por la expansi

on bilineal
g(x, ; ) =
X un () un (x)
n
(7.109)
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
X
1
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, ; ).
..
...
.
.
..........
.
.
..........
7.3
1. Muestre que en el problema de Neumann

u = q en
con
se debe satisfacer la condicion de compatibilidad

Z
Z
dd q =

u
=f,
n
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 ,
u(a, ) = f () ,
a<r<b ,
0 < < 2
u(b, ) = g()
0 2
121
3. Encuentre la solucion al problema de contorno de Neumann para la ecuacion de Laplace, en

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

u = 0 ,
0<x<1 ,
u(x, 0) = x(x 1) ,
0<y<1
0x1
u(x, 1) = 0 ,
u(0, y) = u(1, y) = 0 ,
0y1
5. Encuentre la solucion al problema de contorno de Dirichlet

u + u = 0 ,
0<r<a ,
u(r, 0) = u(r, ) = 0 ,
u(0, ) < ,
Soluci
on:
u(r, ) =
X
n=1
2
J (a)
0ra
u(a, ) = f () ,
Z
0
0<<

n
n
df () sin
J (r) sin
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
Z
2
sinh(x< ) sinh((x> ))
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
G(x, y, , ) =
2X1
sin nx sin n eny> sinh ny< ,
n=1 n
donde y< min{y, } y y> max{y, }.

122

(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
d
.
G(x, y, , ) =
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, ),
u(a, ) = f1 (),
a < r < b,
u(b, ) = f2 (),
0 < 2;
0 < 2.
9. Encuentre la funcion de Green para el operador laplaciano en el interior de la region bidimensional 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 ),
2 n=1
0 < , 0 < .
10. Usando los autovalores y autofunciones del problema bidimensional

+ = 0,
|r=1 = 0,
0 < r < 1, < <

|r=0 acotada,
obtenga una expresion para la solucion elemental G al problema

1
G = (r r0 )( 0 ),
r
G|r=1 = 0,
0 < r, r0 < 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).
123
11. Obtenga la funcion de Green, solucion elemental del problema bidimensional

1
G + G = ( 0 )( 0 ),
G|=a = G|=0 = G|= = 0,
0 , 0 a, 0 , 0
G acotada en = 0.
Ayuda: proponga una expansion en serie de Fourier de sin n

para G.
Referencias
124
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
8.1.1
El problema de contorno para la ecuaci

on de Laplace
en 3 dimensiones
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
+
= ,
X
Y
Z 00
=
Z
donde es una constante de separacion. En forma analoga, de (8.6) se desprende que
X 00
Y 00
=
+ = ,
X
Y
125
(8.6)
(8.7)
126
donde es otra constante de separacion y por lo tanto

X 00
= ,
X
(8.8)
Y 00
= .
Y
(8.9)
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,
Yn = An sin nx,
= m = m2 ,
m = 1, 2, 3 . . .
m = n2 ,
n = 1, 2, 3 . . .
(8.11)
(8.12)
respectivamente. La solucion de (8.7) es entonces

Z(z) = Cmn sinh
m2 + n2
12
i
( 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
u(x, y, z) =
amn sinh
m +n
12
i
( z) sin mx sin ny
(8.14)
m=1 n=1
De la condicion de frontera no homogenea en (8.4) se desprende que

amn sinh
2
m +n =
Z
0
2
dx sin mx
dy sin nyf (x, y)

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
i
1
sinh (m2 + n2 ) 2 ( z)
i
h
sin mx sin ny,
u(x, y, z) =
bmn
1
2
2
2
sinh (m + n )
m=1 n=1
X
(8.15)
donde
bmn
2 Z Z
2
=
dx
dyf (x, y) sin mx sin ny.
0
0
(8.16)
La solucion al problema con condiciones de contorno mas generales se puede obtener por superposicion.
8.1.2
127
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,
r
r
0 r < a, 0 2, 0 < z < `,
(8.17)
con condiciones de contorno de Dirichlet

u(a, , z) = 0,
u(r, , `) = 0,
0 2,
u(r, , 0) = f (r, ),
0z`
0 r a,
(8.18)
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
=
=
R
r
Z
(8.20)
Z 00 + Z = 0.
(8.21)
de donde se desprende que

De la misma manera se tiene
r2 R00 + rR0
00
r2 =
=
R
y por lo tanto
r2 R00 + rR0 (r2 + )R = 0,
00 + = 0.
(8.22)
(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
= n2 , n = 0, 1, 2 . . .
(8.25)
(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

2
d2 R
dR
+
+ ( 2 n2 )R = 0,
2
d
d
(8.28)
128
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

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

f (r, ) =
Jn
n=0 m=1

r
`
nm
[ anm cos n + bnm sin n ] sinh nm
,
a
a
(8.32)
que reconocemos como una serie de Fourier en y una serie de Fourier-Bessel en r para f (r, ).
Usando
Z a

r a0
r
dr rJn nm0
Jn nm
= [Jn+1 (nm )]2 m0 m ,
(8.33)
a
a
2
0
de (8.32) se sigue
a
dr rJ0
r
0m
a
Z
0
`
df (r, ) = a0m sinh 0m
a

2
a2
[J1 (0m )]2 ,
2
de donde obtenemos
a0m =
1

a2 sinh 0m a` [J1 (0m )]2
Z
dr
d rJ0
0
r
0m
f (r, ).
a
(8.34)
De la misma manera obtenemos

anm =
2

`
2

`
Z
dr
a2 sinh nm a [Jn+1 (nm )]2

r
d rJn nm
cos n f (r, )
a
(8.35)
r
nm
sin n f (r, ).
a
(8.36)
y
bnm =
a2 sinh nm a [Jn+1 (nm )]2
Z
dr
d rJn
0
8.1.3
129
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
r (r2 r u) + 2
(sin u) + 2 2 u = 0,
2
r
r sin
r sin
0 r < a, 0 < < , 0 2,

(8.37)
(8.38)
u(a, , ) = f (, ).
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
dr
dr
(8.40)
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 (, ) = ()(),
obtenemos
d
sin
d
d
sin
d
(8.42)
+ sin2 = m2
(8.43)
y
d2
+ m2 = 0,
d2
(8.44)
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)
m = 0, 1, 2, . . .
(8.47)
se tiene que
m () = Ceim ,
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)
130
con ` arbitrario. Para resolver (8.43) es conveniente hacer el cambio x = cos , con 1 x 1.
As, (8.43) se reescribe como

d
m2
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
esta no esta acotada en x = 1). La solucion de (8.50)
` (x), pero
es entonces
= P`m (cos ).
(8.51)
De lo anterior se desprende que la solucion de (8.41) viene dada por
Y`m (, )
(2` + 1)(` m)!

=
4(` + m)!
12
(1)m eim P`m (cos ),
(8.52)
donde
m` ,
m>0
Y`m (, ) = (1)m Y`m (, ) ,
|m| ` ,
m < 0.
(8.53)
El coeficiente de (8.52) se ha escogido de forma tal que

Z
Z
d
d sin Y`m
(, )Y`m (, ) = m0 m ``0 .
0
(8.54)
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

u(r, , ) =
A`m r` + B`m r(`+1) Y`m (, ).
(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
`
A` a =
Z
d
d sin Y`m (, )f (, ).
(8.57)
Entonces, la solucion al problema (8.37, 8.38) viene dada por

X
` Z 2 Z
X
r ` n
0
0
0 n 0
0
0
0
u(r, , ) =
d d sin Y` ( , )f ( , )
Y` (, ).
a
0
0
`=0 m=`
(8.58)
8.2
8.2.1
131
El problema de contorno para la ecuaci

on de Poisson
en 3 dimensiones
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 )
0
0
Z0
G
ds0 f (0 , 0 ) 0
(8.61)
n
Sa
G
donde ds0 = a2 sin 0 d0 d0 es el elemento infinitesimal de area de la esfera Sa de radio a y n
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

r,, G(r, , ; r0 , 0 , 0 ) =
1
(r r0 )( 0 )( 0 ),
r2 sin
(8.63)
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)
sin
`=0 m=`
podemos proponer una expansion para G en la base de los Y`m ,
0
G (~x, ~x ) =
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
(r G`m ) 2 `(` + 1)G`m Y`m (, ) =
2 dr
r
r
` m=`
X
`
X
(r r0 ) m 0 0 m
Y` ( , )Y` (, ),
r2
`=0 m=`
(8.67)
132
donde hemos usado (8.41), esto es,

1
1
m
m
[sin Y`m (, )] +
2 Y` (, ) = `(` + 1)Y` (, ).
sin
sin
0
Multiplicando (8.67) por Y`m

(, ) e integrando en los angulos y se tiene, usando (8.54),
0

1
1
1 d
2 d
r
G`m 2 `(` + 1)G`m = 2 (r r0 )Y`m (0 , 0 ).
(8.68)
2
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 ).
dr
dr
(8.70)
Por otro lado, de (8.64), se desprende que

g` |r=a = 0
(8.71)

1
(`+1)
`
(2`+1) `
g` (r, r ) =
r r
a
r>
(2` + 1) < >
(8.72)
La solucion de (8.70, 8.71) viene dada por

0
donde r< = min{r, r0 }, r> = max{r, r0 }. Finalmente, de (8.66), (8.69) y (8.72) obtenemos

X
`
`
X
r>
1
Y`m (0 , 0 )Y`m (, ) `
G (r, , ; r , , )=
r<
2`+1
`+1
2` + 1
a
r>
`=0 m=`
0
(8.73)
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 funci
on de Green para la ecuaci
on 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)
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.
133
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)
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)
|~
x|
Por los momentos, vamos a restringirnos a la b

usqueda 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) =
d3 kd ei(k.~xt) G(~k, ),
(8.82)
4
(2)
Z
~
~
G(k, ) =
d3 xdt ei(k.~xt) G(~x, t),
(8.83)
donde
1
(~x)(t) =
(2)4
d3 kd ei(k.~xt) .
(8.84)
Sustituyendo (8.82) y (8.84) en (8.81) se sigue que

G(~k, ) =
1
~k 2
(8.85)
Notese que G(~k, ) depende de ~k solo a traves de |~k|. Tenemos entonces que
Z
1
1
3
i(~k.~
xt)
G(~x, t) =
d
kd
e
.
~k 2 2
(2)4
(8.86)
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)
134
donde k = |~k| y r = |~x|. La evaluacion explcita de (8.87) requiere de alguna prescripcion para
manejar los polos en = |~k|, esta u
ltima 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
Gret (~x, t) = (t)
1
(t r).
4r
(8.90)
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
Gret (~x x~0 , t t0 ) = (t t0 )
1
4|~x x~0 |
(t t0 |~x x~0 |).
(8.91)
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 a
nadiendo
una peque
na 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
Gav (~x x~0 , t t0 ) = (t0 t)
1
4|~x x~0 |
(t t0 + |~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
1
1
0
~0
~
0
0
~
GF (~x x , t t ) =
d3 kd ei(k.(~xx )(tt ))
,
4
~k 2 2 i
(2)
(8.92)
(8.93)
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
135
La funci
on de Green para la ecuaci
on de Schr
odinger
Consideremos a continuacion la ecuacion de Schrodinger en (3 + 1)-dimensiones

(it +
1
)(~x, t) = V (~x, t)(~x, t),
2m
(8.94)
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

(it +
1
)G(~x, t) = (~x)(t),
2m
(8.96)
junto con la condicion de borde

G 0,
t < 0.
(8.97)
Sustituyendo (8.82) y (8.84) en (8.96) se sigue que

G(~k, ) =
1
~k 2 /(2m)
(8.98)
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)
4
(2)
~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)
,
4
(2)
~k 2 /(2m) + i
(8.100)
donde 0+ . Considerando como variable compleja, cerrando el contorno de integracion por

debajo del eje real y usando el teorema del residuo se tiene
Z
i
~
~2
G(~x, t) =
(t) d3 kei(k.~xk t/2m)
3
(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.
136
Por u
ltimo, 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
3 0 0
0
0
0
0
~
~
+
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 )
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
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 )
+
d x dt
8.5
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,
r
r
0 < r < a,
0 < < 2,
t > 0,
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,
r
r
0 < r < a,
0 < < 2,
t > 0,
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
r (r2 r u) + 2
(sin u) + 2 2 u = 0,
2
r
r sin
r sin
0 < r < a,
0 < < ,
0 < < 2,
137
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
r,, G(r, , ; r0 , 0 , 0 ) =
a < r, r0 < b,
r2
1
(r r0 )( 0 )( 0 ),
sin
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,
G|r=a = 0,
0 , 0 2,
G|z=0 = 0,
0 < z, z 0 < `,
G|z=` ,
admite la expansion
0
G(r, , z; r , , z ) =
r
Jn (nm ) [Gcnm (z; r0 , 0 , z 0 ) cos n + Gsnm (z; r0 , 0 , z 0 ) sin n] .
a
n=0 m=1
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 convolucion, 36
de Dirac, 24, 25
atemperadas, 74
derivacion de, 27, 3739
ejemplos de, 24, 25, 33
derivadas de, 28, 29
multiplicacion de, 26
producto de convolucion, 32
producto tensorial, 31
producto tensorial de, 31, 32
series de, 30
soporte de, 24
sucesiones de, 30
transformacion de coordenadas de, 110,
111
Divergencia, de un campo vectorial, 19
Armonicos Esfericos, 130, 131

Base(s)
en el espacio de Hilbert L2(r) (, ), 94,
99
en espacios vectoriales de dimension n, 11
dual, 12
Bessel
ecuacion de, 121, 128
funcion de, 121, 128
Cauchy
problema(s) de, 5356, 60, 65, 66, 73, 105
para la ecuacion de difusion, 73, 79
para la ecuacion de onda, 65, 68, 90
valor principal de, 27
Conexiones, 17
Convergencia
de la serie de Fourier, 89, 90, 92, 93
sobre D, 23
Convolucion, 32
de Volterra, 115
ecuaciones de, 36, 41
en D0 , algebra de, 36
producto de, 32, 34, 36, 39, 70, 77
propiedades de la, 34, 35, 71
Ecuaciones en Derivadas Parciales, 53

clasificacion, 55, 57
elpticas, 56, 105
hiperbolicas, 56, 65, 85
parabolicas, 56, 73, 85
Espacio(s)
L2(r) (, ), 94, 96, 97, 99
L2(r) (a, b), 99
de funciones de prueba
de decrecimiento rapido, S, 74
de soporte acotado, D, 23
de Hilbert, 96, 99, 119
de las distribuciones
sobre D, D0 , 24
sobre S (atemperadas), S 0 , 74
Eucldeos, 15, 97
vectorial de dimension n, 11
Derivada
covariante, 17, 18
covariante direccional, 18
de distribuciones, 27
Difusion, ecuacion de, 73, 135
Dirichlet
kernel de, 31
condiciones de contorno de, 85, 105, 110,
114
Distribuciones, 5, 23, 24
Fourier
series de, 89, 92
transformadas de, 69, 73, 74, 83
y de Laplace, 77
multiplicacion y convolucion de, 77
Funcional lineal, 24
138
139
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

Загружено:

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

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

OLP

Nelson Pantoja Vasquez

Ecuaciones Diferenciales Parciales

Nelson Pantoja Vasquez

Ecuaciones Diferenciales Parciales

Nelson Pantoja Vasquez

Ecuaciones Diferenciales Parciales

3 Ecuaciones diferenciales ordinarias. Funciones de Green.

Ecuaciones Diferenciales Parciales

El Problema de Cauchy para las ecuaciones

6 El problema de contorno y valores iniciales

7 El Problema de Contorno Puro

8 Problemas en mayor dimensionalidad

Nelson Pantoja Vasquez

Nelson Pantoja Vasquez

Ecuaciones Diferenciales Parciales

donde {xi , i = 1, , n} y {xi , i0 = 1, , n} son las componentes (la representacion) de ~x en las

Ecuaciones Diferenciales Parciales

transformaciones considerado, esto es, si se cumple 0 (xi ) = (xi ). Se tiene

donde hemos definido

Ai~ei = Ai ~ei0 = aij Aj ~ei0 ,

~ej = aij ~ei0

que provee la ley de transformacion de los vectores base.

2. y que dicha aplicacion es lineal, esto es

con y constantes reales.

Ecuaciones Diferenciales Parciales

Bi0 Ai = aji0 Bj aii Ai = aji0 aii Bj Ai = ji Bj Ai = Bi Ai

y la contraccion Bi Ai provee entonces un n

donde el conjunto de numeros {S 1 p j1 jq = S 1 p j1 jq (x)} (esto es los valores numericos en

(x) = a 1i1 a pip aj1j 0 a qjq0 S 1

Ecuaciones Diferenciales Parciales

Identificando esta ultima expresion con la contraccion Bi Ai

Ecuaciones Diferenciales Parciales

se postulan independientes de dichas coordenadas y se tiene

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

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

Ecuaciones Diferenciales Parciales

donde exigiremos que gr = gr . Ahora, empleando

con aji0 dado por (1.5), encontramos

Se sigue que el tensor metrico g, que en la cobase cartesiana {

Ecuaciones Diferenciales Parciales

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

En la seccion anterior definimos la derivada covariante de un campo escalar , esto es la derivada

Los kj i se denominan coeficientes conexion o conexiones.

Ecuaciones Diferenciales Parciales

y exigimos que cumpla la regla de Leibniz

para T y S tensores de tipo arbitrario.

Como ejemplo, consideremos a continuacion T donde T es un tensor (0). En la base escogida,

A continuacion, comparando con

Ecuaciones Diferenciales Parciales

Los operadores divergencia y laplaciano

= r cos ~ex1 r sin ~ex2 = r~er

Nelson Pantoja Vasquez

Ecuaciones Diferenciales Parciales

Se sigue entonces que

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

Ecuaciones Diferenciales Parciales

Por otro lado, en coordenadas polares tendremos

V~ = [(x x + y y )V x ]~ex + [(x x + y y )V y ]~ey

y en coordenadas polares obtenemos

donde {V r } y {V } se obtienen a partir de (1.83) reemplazando por V r y V respectivamente

|(n) (x) j (x)| paraj ,

con tan peque