Está en la página 1de 82

Notas Para un Curso Basico de

Ecuaciones Diferenciales Parciales


Jorge Rivera Noriega
Facultad de Ciencias
Universidad Autonoma del Estado de Morelos
Mayo de 2007
Prefacio
En este texto se presentan las ideas y tecnicas basicas de las Ecuaciones
Diferenciales Parciales tratando de cubrir el temario del curso para la Licen-
ciatura en Ciencias (Matematicas) de la Facultad de Ciencias de la UAEM.
El material incluido se basa en notas de clase al impartir este curso en
varias ocasiones entre 2005 y 2007, y a su vez estas notas se basan funda-
mentalmente en la estructura del texto de W. Strauss con adiciones de las
otras referencias.
El contenido de estas notas se esta continuamente actualizando y con-
forme se siga impartiendo la clase el texto experimentara los cambios que se
consideren necesarios. Para las versiones actualizadas consultar
http://web.fc.uaem.mx:8080/material/matematicas/192 notas1.pdf
Cualquier comentario encaminado a la mejora de estas notas es bien-
venido, y se agradece que sea dirigido a: rnoriega@buzon.uaem.mx
Contenido
1 Generalidades y ecuaciones de primer orden 3
1.1 A manera de introduccion . . . . . . . . . . . . . . . . . . . . 3
1.2 Algunas generalidades de Ecuaciones Diferenciales Parciales . 5
1.3 Teora de existencia local para ecuaciones de primer orden . . 10
1.4 Clasicacion de ecuaciones lineales homogeneas de segundo
orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2 Ecuacion de Onda 16
2.1 Solucion general y formula de DAlambert . . . . . . . . . . . 16
2.2 Energa, ley del paralelogramo y principio de reexion . . . . 19
2.3 Ecuacion de onda no homogenea . . . . . . . . . . . . . . . . 21
2.4 Ecuacion de onda en dimensiones 2 y 3 . . . . . . . . . . . . . 24
3 Ecuacion de Calor 30
3.1 Problema de valores iniciales en R . . . . . . . . . . . . . . . 31
3.2 Principio del maximo y algunas consecuencias . . . . . . . . . 35
3.3 Otros problemas de valores iniciales . . . . . . . . . . . . . . 38
4 Separacion de variables y Series de Fourier 41
4.1 Problemas de tipo Dirichlet . . . . . . . . . . . . . . . . . . . 41
4.2 Otras condiciones en la frontera . . . . . . . . . . . . . . . . . 44
4.3 Coecientes de Fourier . . . . . . . . . . . . . . . . . . . . . . 46
4.3.1 Series de Seno y de Coseno . . . . . . . . . . . . . . . 46
4.3.2 Serie completa de Fourier . . . . . . . . . . . . . . . . 47
4.4 Convergencia de series trigonometricas . . . . . . . . . . . . . 50
4.5 Series de Fourier generalizadas . . . . . . . . . . . . . . . . . 53
4.6 Mas sobre convergencia de series de Fourier . . . . . . . . . . 55
4.6.1 Convergencia en L
2
. . . . . . . . . . . . . . . . . . . 56
4.6.4 Convergencia puntual . . . . . . . . . . . . . . . . . . 57
1
5 Ecuacion de Laplace 60
5.1 Principio del maximo . . . . . . . . . . . . . . . . . . . . . . . 60
5.2 Soluciones radiales fundamentales . . . . . . . . . . . . . . . . 62
5.2.1 Coordenadas polares en R
2
. . . . . . . . . . . . . . . 62
5.2.2 Coordenadas esfericas en R
3
. . . . . . . . . . . . . . . 63
5.3 Formula de Poisson . . . . . . . . . . . . . . . . . . . . . . . . 64
5.4 Consecuencias y variaciones de la Formula de Poisson . . . . 66
5.5 Identidades de Green y algunas consecuencias . . . . . . . . . 69
5.6 Funciones de Green . . . . . . . . . . . . . . . . . . . . . . . . 73
6 Distribuciones 78
6.1 Deniciones y ejemplos basicos . . . . . . . . . . . . . . . . . 78
6.2 Operaciones con distribuciones . . . . . . . . . . . . . . . . . 79
6.3 Transformada de Fourier: propiedades basicas . . . . . . . . . 79
6.4 Transformada de Fourier: uso en EDP . . . . . . . . . . . . . 79
2
Captulo 1
Generalidades y ecuaciones
de primer orden
En este captulo introductorio plantearemos por medio de ejemplos lo que
es una ecuacion diferencial en derivadas parciales, o en corto, una ecuacion
diferencial parcial. Tambien daremos las primeras nociones e introduciremos
algunos conceptos para este tipo de ecuaciones diferenciales.
1.1 A manera de introduccion
En principio, cualquier expresion de la forma
F(x, y, u, u/x, u/x) = 0,
donde F representa alguna expresion matematica, y u representa una
funcion de las variables x, y, sera llamada ecuacion diferencial parcial de
primer orden en las variables x, y. Notese que las derivadas de mayor orden
son precisamente derivadas de primer orden.
Para acortar la notacion escribiremos u
x
= u/x y u
y
= u/x. As
las siguientes seran ejemplos ecuaciones diferenciales de primer orden:
3u
x
uu
y
= 0
(u
y
)
2
3u
y
u
x
+u
2
u
x
= 0
exp(u
x
) = 0
(u
x
)
2
4 = 0
sen[(u
x
)
u
] = u
y
3
Observese sin embargo que la tercera ecuacion no tiene solucion por razones
mas o menos obvias, mientras que la cuarta ecuacion de hecho se factoriza
como dos ecuaciones de primer orden: u
x
+ 2 = 0 y u
x
2 = 0. La ultima
ecuacion tiene poco sentido util. Por esta razon seremos mas especcos al
describir el tipo de ecuaciones que iremos estudiando.
La funcion F puede escribirse como un operador que act ua en u, de
manera que podramos escribirlo como Lu = f(x, y). La funcion Lu rep-
resenta una nueva funcion, y entonces diremos que la ecuacion es lineal si
L act ua linealmente en u, es decir, si L(u + cv) = Lu + cLu para cua-
lesquiera funciones u y v, y cualquier real c. As por ejemplo, las ecuaciones
8u
x
+ 3u
y
= 0, u
x
= yu
y
, (cos xy
2
)u
x
y
2
u
y
= tan(x
2
+ y
2
) son lieales,
mientras que u
x
+uu
y
= 0 no lo es.
Cuando escribimos la ecuacion como Lu = f, diremos que la ecuacion
es no homogenea.
Ejemplo 1.1.1 (Ecuacion simple de transporte) Considerese un uido
moviendose a una velocidad constante c por una tubera horizontal cilndrica
(con la mima seccion transversal), y supongamos que cierta sustancia esta
suspendida en el uido.
Para simplicar, supondremos que la tubera es muy delgada de man-
era que la identicaremos con el eje x positivo. Denotemos por u(x, t) la
concentracion de la sustancia suspendida en el punto x y al tiempo t. As
por ejemplo, en el intervalo [0, b] y al tiempo t, la cantidad de sustancia
suspendida sera
M =
_
b
0
u(x, t)dx.
Al tiempo t + h, con h > 0, la sustancia se habra movido c h unidades de
longitud, por lo que
M =
_
b
0
u(x, t)dx =
_
b+ch
ch
u(x, t +h)dx.
Si derivamos respecto a b obtenemos
u(b, t) = u(b +ch, t +h)
y derivando,esta vez respecto a h, obtendremos
0 = cu
x
(b, t) +u
t
(b, t).

Esta es la llamada ecuaci on simple de transporte. Un modo sencillo de


generalizarla es considerando
au
x
+bu
y
= 0 (1.1)
4
donde a y b son, o bien constantes, o bien funciones de (x, y).
Si a partir de la ecuacion podemos hallar una funcion suave u(x, y) que
la cumpla, (en el ejemplo anterior querra decir que habremos determinado
la densidad de la substancia suspendida), diremos que u es solucion clasica,
o simplemente solucion de la ecuacion diferencial.
Parte de los objetivos de estas notas es revisar mas ejemplos de ecua-
ciones diferenciales parciales, as como tecnicas para obtener soluciones. Pos-
teriormente veremos que es importante obtener propiedades de tales solu-
ciones, incluso sin conocer formulas que las denan.
Observacion 1.1.2 En ecuaciones diferenciales ordinarias se sabe que a
partir de las llamadas soluciones generales, por medio de condiciones ini-
ciales, se pueden hallar soluciones de problemas particulares. La solucion
general incluye una cierta constante que sera luego determinada con dichas
condiciones.
En ecuaciones en derivadas parciales, incluso el ejemplo mas sencillo
u
x
= 0 muestra que su solucion general u(x, y) = f(y) es solucion para
cualquier funcion f. El objetivo sera entonces, no determinar el valor de
una constante, sino la regla de asignacion de una funcion.
Ejemplo 1.1.3 (Solucion general de la ecuacion de transporte) Podemos
re-escribir (1.1) como u v = 0, donde v = (a, b). Ahora bien, las lineas
en la direccion de v estan dadas por bx ay = k para distintos valores de
k. De aqu que como u es constante en direccion de v, si f(k) es ese valor
se tendra u(x, y) = f(bx ay).
Como en ecuaciones diferenciales ordinarias, a partir de la solucion gen-
eral se puede obtener la solucion particular.
Ejemplo 1.1.4 Para resolver 4u
x
3u
y
= 0 condicionada a u(0, y) = y
3
,
sabemos primero que la solucion general es u(x, y) = f(3x 4y). Al
usar la condicion tendremos f(4y) = y
3
. Con el cambio w = 4y y
obtenemos f(w) = w
3
/64 lo cual dene completamente a f. En conclusion
u(x, y) = (3x + 4y)
3
/64
1.2 Algunas generalidades de Ecuaciones Diferen-
ciales Parciales
El orden de la maxima derivada que aparece en una ecuacion diferencial
parcial dene el orden de la ecuacion. Los coecientes de las derivadas
5
parciales en una ecuacion lineal dene los coecientes de la ecuacion. La
ecuacion lineal mas general de orden k se puede escribir como

max{,}k
a

(x, y)

u
x
+b

(x, y)

u
x
= 0
El plan del curso podemos resumirlo a grosso modo como: algunas gen-
eralidades de ecuaciones diferenciales parciales; ecuaciones de primer orden;
tres ejemplos de ecuaciones lineales de segundo orden.
Como se vio en ejemplos arriba, por medio de condicionantes a una
ecuacion diferencial parcial, se puede especicar alguna solucion particular
de la misma. Tenemos esencialmente dos tipos de condiciones: condiciones
iniciales y condiciones en la frontera. Para hablar de cada una introducire-
mos mas ejemplos. Primero hablaremos de condiciones iniciales.
Ejemplo 1.2.1 [Ecuacion de Difusion]Supongase que un lquido sin movimiento
llena una tubera horizontal con un colorante que se diluye en el lquido. A
diferencia del ejemplo de la ecuacion de transporte, la inmovilidad del lquido
implica que la dinamica esta gobernada por el cambio de concentracion del
colorante. Supondremos que el colorante se mueve de regiones con alta
concentracion a regiones con baja concentracion. Ademas aplicaremos el
llamado principio de Flick, que dice que la razon de movimiento en este caso
es proporcional al gradiente de la concentracion.
Como antes, supondremos que la tubera es delgada, y la identicaremos
con el eje x. Sea u(x, t) la concentracion del colorante al tiempo t en el
punto x. En la seccion dada por el intervalo [x
0
, x
1
] la masa del colorante es
M(t) =
_
x
1
x
0
u(x, t)dx por lo que M

(t) =
_
x
1
x
0
u
t
(x, t)dx. La variacion de la
masa en este intervalo solo vara por medio de ujo que entre, o bien ujo
que salga. Tendremos pues por la Ley de Flick que
_
x
1
x
0
u
t
(x, t)dx = ujo entrante ujo saliente = ku
x
(x
1
, t) ku
(
x
0
, t).
Por tanto, al derivar respecto a x
1
tendremos u
t
= ku
xx
.
Una condicion inicial que tendra sentido sera el conocer al tiempo t = 0
la concentracion del colorante en cada x.
Veremos mas adelante que una ecuacion similar modela la difusion del
calor. En cualquier caso la condicion inicial se expresa como u(x, t
0
) = (x),
donde la funcion describe la condicion inicial.
En otras situaciones se considera un dominio por lo que tiene sentido
dar condicionantes en la frontera de dicho dominio.
6
Ejemplo 1.2.2 (La cuerda vibrante) Consideramos una cuerda exible,
elastica y homogenea, seg un especicamos a continuacion. Identicaremos la
cuerda con la recta real, por lo que cada n umero real sera una partcula de la
cuerda. La cuerda experimenta vibraciones peque nas, y se mueve sin salir de
un plano. La densidad de la cuerda es constante (homogenea). La tension
se dirige tangecialmente sobre la cuerda (exible) y la denotaremos por
T(x, t) al tiempo t y en el punto x. Denotamos por u(x, t) el desplazamiento
de la posicion de equilibrio del punto x al tiempo t.
En el segmento de cuerda de x
0
a x
1
se puede aplicar la segunda Ley de
Newton. Como la pendiente en x
1
es u
x
(x
1
, t), entonces en cada componente
tendremos
T
_
1 +u
2
x
_
x
1
x
0
=0 (horizontal)
Tu
x
_
1 +u
2
x
_
x
1
x
0
=
_
x
1
x
0
u
tt
dx (vertical)
La suposicion de que la cuerda experimenta vibraciones peque nas se traduce
como
_
1 +u
2
x
1. Podemos pues concluir que en direccion horizontal T
es constante para toda t.
Derivando la componente vertical respecto a x obtenemos (Tu
x
)
x
= u
tt
que podemos re-escribir como u
tt
= c
2
u
xx
, con c
2
= T/.
Cuando la cuerda esta ja por los dos extremos tendremos condiciones en
la frontera igual a cero (por no haber desplazamiento). Si por ejemplo un ex-
tremo pudiera moverse, de manera que no haya tension, entonces tendramos
u
x
= 0 en ese extremo. Si un extremo estuviera jo a un mecanismode re-
sorte (donde se pudiera aplicar la ley de Hook) tendramos u
x
+ ku = 0 en
ese extremo. Todos estos son ejemplos de condiciones en la frontera.
Una conjunto de condiciones iniciales en este ejemplo sera el especicar
la posicion y velocidad inicial de la cuerda.
Para introucir un ejemplo en mas de una dimension espacial necesitare-
mos un teorema de calculo vectorial:
Teorema 1.2.3 [Teorema de la divergencia] Sea D un dominio en R
2
con
frontera S de clase C
1
. Sea

N el vector normal unitario apuntando al exte-
rior de S. Sea F(x, y) un campo vectorial de clase C
1
denido en D DS
y u es una funcion real de clase C
1
denida en D. Entonces
__
D
udiv Fdxdy =
_
S
uF

NdS
__
D
F udxdy
7
La demostracion de este teorema puede verse en [5]. Tambien puede
verse que el teorema puede extenderse a cualquier dimension n 3.
Ejemplo 1.2.4 (Tambor vibrante) Consideramos ahora un tambor elastico,
exible y homogeneo. Supondremos que el marco del tambor esta en el plano
xy y que u(x, y, t) representa el desplazamiento vertical de laposicion de re-
poso de la partcula localizada en (x, y).
Sea D R
2
un dominio y D su frontera. Por las consideraciones
anteriores, la componente vertical de las fuerzas actuando en el sistema sera
_
D
T
u
N
dS =
__
D
u
tt
dxdy.
Aqu la derivada normal de u es u

N, con

N denotando al vector normal
exterior a D. Poniendo f 1 y F Tu tendremos
_
D
T
u
N
dS =
__
D
div(Tu)dxdy
y por tanto
__
D
u
tt
dxdy =
__
D
div(Tu)dxdy.
Como esto podra repetirse para cualquier subdominio D

D, y como T es
constante tendremos u
tt
= Tu, donde el Laplaciano en dos dimensiones
se dene como u = u
xx
+u
tt
. Esto puede re-escribirse como u
tt
= c
2
u.
Esta ultima expresion puede generalizarse a dimensiones n 3, deniendo
el Laplaciano n-dimensional como
u =
n

i=1

2
u
x
2
i
.
Las condiciones en la frontera expresaran la interaccion del cuero vi-
brante y el marco, analogos a las descritas para la cuerda vibrante.
En las condiciones en la frontera se pueden dar algunos de los siguientes
datos:
1. el valor de u es especicado (problema de Dirichlet);
2. la derivada normal de u se especica (problema de Neumann);
3. se especica una combinacion de los anteriores (problema de Robin).
8
Cuando el dominio es no-acotado, se pueden tambien dar condiciones en
el innito como en el siguiente ejemplo.
Ejemplo 1.2.5 (Ecuacion de Schrodinger) En el atomo de hidrogeno
hay un electron girando alrededor de un proton. Sea m la masa del electron,
e la carga del electron, la constante de Planck dividida por 2. En el
espacio xyz jemos el proton en el origen y sea r =
_
x
2
+y
2
+z
2
. Entonces
el movimiento del electron cumple la ecuacion de Schrodinger
iu
t
=

2
2m
u +
e
2
r
u
donde u(x, y, z, t) puede tomar valores complejos y esta denida en todo
R
3
. La funcion u se conoce como funcion de onda y representa un posible
estado del electron, de manera que
___
D
[u(x, y, z, t)[
2
dxdydz representa la
probabilidad de que el electron se encuentre en D al tiempo t. Una condicion
natural que se impone en este problema es que se cumpla que
___
[u(x, y, z, t)[
2
dxdydz = 1.
Esta condicion no solo signica que el electron no desaparece con probabil-
idad 1, sino ademas impone una restriccion en innito, a saber, que u se
anula en innito (de otro modo la integral no poda ser nita).
Una vez discutidas con ejemplos algunas de las condiciones que se pueden
a nadir a una ecuacion diferencial parcial, diremos que un problema esta bien
planteado si cumple las siguientes propiedades:
1. Existencia. Que haya al menos una solucion al problema en alguna
vecindad del punto que se tome como referencia.
2. Unicidad. Que la solucion sea unica. Aqu podremos preguntarnos en
general bajo que condiciones esto ocurrira.
3. Estabilidad. Que la solucion dependa continuamente del dato pro-
porcionado. La continuidad puede entenderse en muchos sentidos, y
trateremos de precisar algunos de ellos.
En este ultimo rubro tambien puede preguntarse mas generalmente sobre
las propiedades de derivabilidad de las soluciones a las ecuaciones.
9
1.3 Teora de existencia local para ecuaciones de
primer orden
Como resolveremos ecuaciones mas generales que las lineales, introduciremos
una clase un poco mas extensa. Decimos que una ecuacion es cuasi lineal si
todas las derivadas de orden superior de u ocurren de manera lineal, pero
con coecientes que dependan tambien de las derivadas de orden inferior.
As la ecuacion cuasi lineal de orden uno en dosvariables mas general tendra
la forma
a(x, y, u)u
x
+b(x, y, u)u
y
= c(x, y, u).
Desarrollaremos a continuacion el llamado metodo de las caractersticas para
resolver ecuaciones cuasi lineales de primer orden.
La idea fundamental de este metodo la describimos brevemente. Sabe-
mos que la ecuacion ordinaria u
t
= f(t) con condicion u(0) = u
0
tiene
solucion unica para valores peque nos de t. Incluso si f dependiera de u,
el problema asociado u
t
= f(t, u) con u(0) = u
0
tiene solucion unica para
valores peque nos.
A nadiendo ahora un parametro x tendramos una familia de problemas
dados por u
t
= f(x, t, u) con u(x, 0) = u
0
(x), y que al solucionarse nos dara
un acumulado de curvas integrales. No es difcil entonces suponer que la
supercie que se forma con esta acumulacion de curvas sea la solucion de
la ecuacion parcial.
Ejemplo 1.3.1 Considerando la ecuacion de transporte u
t
+ cu
x
= 0, con
u(x, 0) = h(x), podramos escribir x = x(t) e intentar ver la ecuacion en
derivadas parciales como
d
dt
(u(x(t), t)) = cu
x
+u
t
= 0
que por la regla de la cadena implica que dx/dt = c, o sea que x(t) = ct+x
0
.
Usanod la condicion inicial, y como u es constante en la direccion de x(t),
tendremos u(x, t) = h(x
0
) = h(xat).

Esto coincide con la solucion general
que obtuvimos antes. En este caso a la curva x(t) = ct+x
0
se le llama curva
caractersitica de la ecuacion diferencial parcial.
A este metodo en que se reduce una ecuacion diferencial parcial en
una ecuacion ordinaria sobre cierta curva le llamaremos metodo de carac-
tersticas.
10
Volviendo a la ecuacion cuasi lineal, tomemos una solucion u(x, y), y
consideremos su graca z = u(x, y). Esta supercie tiene vector normal a
N
0
(u
x
(x
0
, y
0
), u
y
(x
0
, y
0
), 1)
en el punto (x
0
, y
0
, z
0
) (x
0
, y
0
, u(x
0
, y
0
)) (para ver esto hagase el producto
cruz de los vectores (1, 0, u
x
) y (0, 1, u
y
), que estan en el plano tangente).
La ecacion nos implica entonces que
V
0
(a(x
0
, y
0
, z
0
), b(x
0
, y
0
, z
0
), c(x
0
, y
0
, z
0
))
esperpendicular a N
0
. Por tanto V
0
pertenece al plano tangente a la graca, o
en otras palabras, el campo vectorial V (x, y, z) (a(x, y, z), b(x, y, z), c(x, y, z))
es tangente a las soluciones en cada punto. Buscamos pues una supercie que
sea tangente al campo vectorial, o sea una supercie integral, de maner sim-
ilar que en ecuaciones diferenciales ordinarias se buscaba curvas que fueran
tangentes al campo direccional.
Y as como en ecuaciones ordinarias se puede especicar ua condicion
(posicion) inicial, as aqu para hallar la supercie integral hara falta es-
pecicar una curva inicial. El problema de Cauchy para ecuaciones cuasi
lineales de primer orden puede enuncuarse como sigue:
Dada una curva R
3
, hallar una solucion u cuya graca
contenga a .
De entrada, la curva especicada no puede ser arbitraria. Notemos por
ejemplo que para la ecuacion de transporte si la curva es la misma curva
caracterstica, el problema no podra solucionarse. Decimos que R
3
es
una curva no caracterstica respecto al campo vectorial V , si es no tangente
a dicho campo vectorial.
La idea entonces sera ahora trazar a partir de una curva no caracterstica
las curvas integrales en direccion de la curva caracterstica para as formar
la supercie que sera la graca de la solucion.
Teorema 1.3.2 Si es una curva no caracterstica para el campo vecto-
rial V (x, y, z) (a(x, y, z), b(x, y, z), c(x, y, z)), o equivalentemente para la
ecuacion a(x, y, u)u
x
+b(x, y, u)u
y
= c(x, y, u), entonces en una vecindad de
existira una solucion unica al problema de Cauchy asociado.
Una prueba de este teorema aparece en [3, p. 36-38], y no la reproduci-
mos aqu por no tener las herramientas que se desarrollan en ese texto. Lo
11
que haremos es explicar la logica de esta demostracion y mostrar con alunos
ejemplos como aplicarla.
Denimos la curva (t) = (x(t), y(t), z(t)) donde se cumplira
_
_
_
x = a(x, y, z), x(t
0
) = x
0
y = b(x, y, z), y(t
0
) = y
0
z = c(x, y, z), z(t
0
) = z
0
donde el punto indica derivada respecto a t. Ahora escribamos la curva dato
como la parametrizacion (s) = (f(s), g(s), h(s)) y hacemos x
0
= f(s), y
0
=
g(s), z
0
= h(s). La supercie integral aparecera parametrizada respecto a s
y t, que se podran sustituir por x y y siempre que
det
_
x
s
y
s
x
t
y
t
_
,= 0
En el caso concreto en que sea la curva dada por una graca (x, h(x))
en el plano xz, la variable y puede verse como la variable del tiempo y se
tiene un problema de valores iniciales.
Ejemplo 1.3.3 Consideremos u
x
+ 2u
y
= u
2
, u(x, 0) = h(x). En este caso
parametrizamos la curva como (s) = (s, 0, h(s)) y las ecuaciones carac-
tersticas son x = 1, y = 2, z = z
2
. De la primera y segunda ecuaciones
obtenemos
x(s, t) = t +c
1
(s), y(s, t) = 2t +c
2
(s)
pero al usar los datos de la curva inicial x(s, 0) = c
1
(s) = s, y(s, 0) = c
2
(s) =
0 y por tanto
x(s, t) = t +s, y(s, t) = 2t
que podemos re-escribir como
s = x y/2, t = y/2
Integrando ahora la tercera ecuacion caracterstica obtenemos

1
z
= t +c
3
(s), o bien z =
1
t +c
3
(s)
que al usar los datos de la curva inicial nos da z(s, 0) = h(s) = 1/c
3
(s), y
de aqu que z(s, t) =
h(s)
1th(s)
. Al sustituir las variables s y t nos da
u(x, y) =
h(x y/2)
1 (y/2)h(x y/2)
12
Ejemplo 1.3.4 Ahora tomemos uu
x
+ yu
y
= x con u(x, 1) = 2x. En este
caso la curva se parametriza como (s) = (s, 1, 2s) mientras que las ecua-
ciones caractersticas son x = z, y = y, z = x. De la segunda ecuacion
y(s, t) = c(s)e
t
, que al usar el dato inicial lleva a y(s, t) = e
t
. Observamos
ahora que la primera y tercera ecuaciones se pueden escribir como el sistema
_
x
z
_
=
_
0 1
1 0
__
x
z
_
cuyas soluciones son
x(s, t) =
3
2
se
t

1
2
se
t
, y(s, t) =
3
2
se
t
+
1
2
se
t
.
Como x +z = 3sy y ademas x z = sy
1
entonces tendremos
u(x, y) = x
3y
2
+ 1
3y
2
1
Un modo alternativo de resolver ecuaciones de primer orden con coe-
cientes constantes au
x
+bu
y
= 0 es por medio del cambio de variable
x

= ax +by y

= bx ay.
Obtenemos entonces que u
x
= au
x
+ bu
y
y u
y
= bu
x
au
y
. De aqu se
puede deducir que se tiene au
x
+bu
y
= (a
2
+b
2
)u
x
y por tanto basta ahora
resolver u
x
= 0 en las nuevas variables x

, y

. La conclusion de nuevo es que


u(x, y) = f(bx ay) es la solucion general, tal y como lo habamos hecho
usando las lneas caractersticas.
Por otro lado, un metodo para obterner la curva caracterstica, que in-
cluso puede aplicarse a ecuaciones lineales (no necesariamente de coecientes
constantes), es como sigue. Si tenemos a(x, y)u
x
+ b(x, y)u
y
= 0, ponemos
la ecuacion
dy
dx
=
b(x, y)
a(x, y)
y suponemos en principio que podemos resolverla, digamos que y = y(x)+C.
Observamos ahora que
d
dx
u(x, y(x) +C) =
u
x
+
u
y
dy
dx
= 0
lo cual quiere decir que u es constante en la curva (x, y(x) +C).

Esto quiere
decir que (x, y(x) +C) es la curva caracterstica.
13
Ejemplo 1.3.5 Hallemos la solucion general de u
x
+ yu
y
= 0. Tendremos
dy/dx = y por lo que y(x) = Ce
x
y la curva caracterstica es (x, Ce
x
). Susi-
tituyendo x = 0 tenemos u(0, Ce
0
) f(C) y por tanto u(x, y) = f(ye
x
).
Si nos fuera dado que el dato inicial es u(0, y) = y
3
entonces tendramos
y
3
= f(ye
0
), es decir f(y) = y
3
. La solucion resulta entonces u(x, y) =
y
3
e
3x
.
Ejemplo 1.3.6 Para encontrar la solucion general de u
x
+ 2xy
2
u
y
= 0
plantearamos dy/dx = 2xy
2
. Separando variables e interando queda 1/y
2
=
x
2
C o bien y = 1/(Cx
2
), lo cual dene la curva caracterstica. De nuevo
tendramos u(x, 0) = f(C) y entonces u(x, y) = f(x
2
+ 1/y)
Existe un teorema que describe ciertas propiedades de regularidad de
la solucion, asumiendo por supuesto otra propiedad de regularidad en la
ecuacion misma. La regularidad esta descrita en terminos de expansion en
series de las funciones. Una funcion de variables reales es analtica si tiene
una serie de Taylor absolutamente convergente en una vecindad de cada
punto.
Antes de enunciar el teorema, observemos que una ecuacion de primer
orden, junto con cierto dato inicial, puede escribirse como
_
u
y
= G(x, y, u, u
x
)
u(x, 0) = g(x)
a la cual se le conoce como forma normal del problema de Cauchy.
Teorema 1.3.7 Si g es real y analtica en una vecindad de 0 R y G es
real y analtica en una vecindad de (0, y, u(0, y), u
x
(0, y)), entonces existe
una unica solucion u(x, y) real y analtica en una vecinad del origen de R
2
al problema de Cauchy en forma normal.
El celebre ejemplo de Lewy muestra que la hipotesis de analiticidad de
G no puede ser ignorada, al menos cuando consideramos tres dimensiones
espaciales.
Ejemplo 1.3.8 Existe una ecuacion lineal de la forma
u
x
iu
y
+ 2i(x +iy)u
z
= F(x, y, z),
con F C

(R
3
) que no admite solucion en cualquier abierto.
Una demostracion del Teorema as como una descripcion completa del
ejemplo pueden verse en [4].
14
1.4 Clasicacion de ecuaciones lineales homogeneas
de segundo orden
Simbolicamente podemos escribir tales ecuaciones como
_
(
x

y
)
_
a
11
a
12
a
21
a
22
__

x

y
_
+ (a
1
a
2
)
_

x

y
_
+b
_
u = 0.
Al resultado del primer producto de matrices se le conoce como la parte
principal de la ecuacion.
Podemos asumir que a
21
= a
12
, por lo que la matriz de la parte principal
sera real y simetrica, por tanto diagonalizable, y con valores propios reales.
Si los valores son de signos iguales se tendra una ecuacion elptica; si los
valores propios tienen signos opuestos se tiene una ecuacion hiperbolica; si
un valor propio es cero, tendremos una ecuacion parabolica.
Un modo equivalente de determinar la clase a la que una ecuacion
pertenece es considerando = a
11
a
22
a
2
12
: si > 0 la ecuacion es elptica,
si = 0 parabolica, y si < 0 hiperbolica.
Ejemplos 1.4.1 La ecuacion u
xx
5u
xy
= 0 es hiperbolica; la ecuacion
4u
xx
12u
xy
+9u
yy
+u
y
= 0 es parabolica; la ecuacion 4u
xx
+6u
xy
+9u
yy
+
u
y
8u = 0 es elptica.
Para la ecuacion yu
xx
2u
xy
+ xu
yy
= 0 tenemos que = xy 1. La
ecuacion sera entonces parabolica en la curva y = 1/x, elptica en xy > 1
(que consta de dos regiones conexas), hiperbolica en xy < 1 (una region
conexa).
Por medio de ciertos cambios de variable, se pueden reducir las partes
principales de ecuaciones de segundo orden considerados en esta seccion en
tres tipos fundamentales:
1. Elptica:
xx
+
yy
= 0,
2. Parabolica:
y

xx
= 0,
3. Hiperbolica:
xx

yy
= 0.
En lo que sigue estudiaremos a detalle algunas de las caractersticas,
propiedades de soluciones, regularidad, etc, de cada una de estas clases,
tratando al mismo tiempo de obtener algunas generalizaciones.
15
Captulo 2
Ecuacion de Onda
2.1 Solucion general y formula de DAlambert
Iniciamos con la ecuacion de onda en una dimension
u
tt
c
2
u
xx
= 0
que como vimos anteriormente, puede pensarse como el modelo matematico
de una cuerda vibrando.
En este caso, podemos factorizar al operador, obteniendo
u
tt
c
2
u
xx
= (
t
c
x
)(
t
+c
x
)u.
Sea v = u
t
+cu
x
de modo que querramos resolver v
t
cv
x
= 0. La solucion
general de esta ecuacion es v(x, t) = h(x +ct) y habra que resolver
u
t
+cu
x
= h(x +ct) (2.1)
Sea w(x, t) = u(x, t) f(x +ct), donde u es solucion de (2.1), y ademas re-
querimos que f cumpla f

(s) = h(s)/2c. Con este requerimiento tendremos


w
t
+cw
x
= 0, por lo que w(x, t) = g(x ct) es la solucion general. De aqu
que la solucion general de la ecuacion de onda sea
u(x, t) = f(x +ct) +g(x ct). (2.2)
Otro modo de deducir la solucion general de la ecuacion de onda es
introduciendo las coordenadas caractersticas:
= x +ct, = x ct.
16
De acuerdo a este cambio de variables tendremos

x
u =

u +

u,
t
u = c

u c

u.
Por tanto la ecuacion se transforma en
(2c

)(2c

)u = 0 o bien u

= 0.
Integrando dos veces obtenemos de nuevo (2.2).
La solucion general (2.2) puede pensarse como dos ondas cuya forma la
dictan las funciones f y g, y que viajan en direcciones opuestas, siguiendo
las lineas caractersticas.
Consideremos ahora el siguiente problema de valores iniciales:
_
_
_
u
tt
= c
2
u
xx
x R, t R
u(x, 0) = (x) x R
u
t
(x, 0) = (x) x R
(2.3)
con y describiendo la posicion y velocidad inicial del sistema. Podemos
pues suponer cierta regularidad de estas funciones. Para hallar la solucion
volvemos a (2.2), y notamos que
(x) = f(x) +g(x), o sea

(x) = f

(x) +g

(x),
y derivando respecto a t, evaluando luego en t = 0, obenemos
(x) = cf

(x) cg

(x).
A partir de estas ecuaciones podemos concluir que
f

(x) =
1
2
_

(x) +
(x)
c
_
y g

(x) =
1
2
_

(x)
(x)
c
_
.
Integrando obtenemos
f(x) =
1
2
(x) +
1
2c
_
x
0
(s)ds +A
g(x) =
1
2
(x)
1
2c
_
x
0
(s)ds +B.
Como f + g = entonces A + B = 0 y por tanto, al evaluar f(x + ct) y
g(x ct) obtendremos
u(x, t) =
1
2
(x +ct) +
1
2c
_
x+ct
0
(s)ds +
1
2
(x ct)
1
2c
_
xct
0
(s)ds
=
1
2
[(x +ct) +(x +ct)] +
1
2c
_
x+ct
xct
(s)ds (2.4)
17
La expresion (2.4) se conoce como formula de DAlambert y nos da de in-
mediato el siguiente teorema de regularidad y unicidad.
Teorema 2.1.1 En el problema (2.3), si es de clase C
2
y es de clase
C
1
, entonces la solucion sera de clase C
2
. Ademas la solucion sera unica.
Para probar el teorema solo resta probar la unicidad. Pero esto puede
hacerse observando que si u
1
y u
2
son soluciones de (2.3), entonces v = u
1

u
2
tendra datos iniciales iguales a cero. Usando la formula (2.4) implicara
que v 0.
Observese tambien que cuando y experimentan peque nas varia-
ciones, tambien lo experimentara u, por lo que de hecho tenemos un prob-
lema bien planteado.
Ejemplos 2.1.2 Si 0 y (x) = cos x la solucion tendra la forma
u(x, t) =
1
2c
[sen(x +ct) sen(x ct)] =
1
c
cos xsen ct
Si (x) = e
x
y (x) = sen x entonces
u(x, t) =
e
x+ct
+e
xct
2
+
1
2c
_
x+ct
xct
sen s ds = e
x
cosh ct +
1
c
sen xsen ct
Ejemplo 2.1.3 (Cuerda Pulsada) Supongamos que (x) 0 y que
(x) =
_
b b[x[/a si [x[ < a
0 si [x[ a
La solucion sera u(x, t) = 2
1
((x+ct) +(xct)), y para valores consec-
utivos de t podremos obtener retratos de la solucion al tiempo t.
Para t = a/(2c) por ejemplo, tendremos x ct = x a/2.
Al evaluar en estos valores notamos que u se anula para [xa/2[ > a,
es decir x < 3a/2 o bien x > 3a/2.
Consideramos a continuacion los valores [x[ < a/2. Se tendra:
u(x, t) =
1
2
[(x +a/2) +(x a/2))]
= b
b(x +a/2)
a
+b
b(x +a/2)
a
=
b
2
Para hallar la graca en los intervalos 3a/2 < x < a/2 y a/2 < x <
3a/2, consideremos por ejemplo el primer intervalo, donde xa/2 < a < 0
por lo que (x a/2) = 0. Entonces
u(x, t) =
(x +a/2)
2
=
1
2
_
b
b(x +a/2)
a
_
=
3b
4
+
bx
2a
.
18
Analogamente en el segundo intervalo
u(x, t) =
(x a/2)
2
=
1
2
_
b
b(x a/2)
a
_
=
3b
4

bx
2a
.
En concluision, si t = a/(2c)
u(x, t) =
_
_
_
b/2 si [x[ < a/2
3b/4 b[x[/(2a) si a/2 < [x[ < 3a/2
0 si [x[ > 3a/2
Se puede hacer un analisis similar para hallar las gracas de t = a/c, o
t = 2a/c.
Ejemplos 2.1.4
1. El lector puede vericar que la solucion de
_
_
_
u
tt
= c
2
u
xx
u(x, 0) = e
x
u
t
(x, 0) = sen x
es u(x, t) = e
x
cosh ct + (sen xsen ct)/c
2. Una conjetura razonable, que podra vericarse directamente, es que
cuando 0 y es par, entonces u(x, t) es par en la variable x para
toda t.
3. Cuando 0 y (x) = 1 si [x[ < a, (x) = 0 si [x[ a, entonces se
puede vericar que
u(x, t) =
1
2c
[longitud (x ct, x +ct) (a, a)] .
Las gracas de u(x, t) para valores de t = a/2c, por ejemplo, pueden
hallarse como en el Ejemplo 2.1.3, considerando los casos [x[ < a/2,
a/2 < [x[ < 3a/2 o bien [x[ > 3a/2.
2.2 Energa, ley del paralelogramo y principio de
reexion
Estudiamos ahora una interesante propiedad del sistema que modela la
cuerda innita y que se conoce como principio de conservacion de energa.
Recuerdese que la ecuacion de onda puede escribirse como
u
tt
= Tu
xx
.
19
Luego podemos denir la energa cinetica en la cuerda como
EC(t) =
1
2
(masa) (velocidad)
2
=

2
_

u
2
t
(x, t)dx
y la energa potencial como
EP(t) =
T
2
_

u
2
x
(x, t)dx
y la energa total como E = EC +EP.
Teorema 2.2.1 Si los datos iniciales y se anulan fuera de un intervalo,
entonces la energa total de la cuerda es constante.
Para demostrar el teorema calcularemos dE/dt, y veremos que es cero.
Derivando, usando la ecuacion de onda e integrando por partes
dEC
dt
=
_

u
t
(x, t)u
tt
(x, t)dx = T
_

u
t
(x, t)u
xx
(x, t)dx
= Tu
t
u
x
]

T
_

u
x
(x, t)u
tx
(x, t)dx
Supongamos ahora que tanto como se anulan en [x[ > R. Por la formula
de DAlambert esto implica que u y u
t
se anulan en [x[ > R +ct. Tenemos
pues dEC/dt = dEP/dt, por lo que dE/dt = 0.
Ejemplo 2.2.2 La energa en la cuerda pulsada (Ejemplo 2.1.3) es
E =
T
2
_

2
x
(x)dx =
T
2
_
b
a
_
2
2a =
Tb
2
a
.
Consideremos ahora el problema
_

_
u
tt
c
2
u
xx
= 0 0 < x < L, t > 0
u(x, 0) = (x) 0 < x < L
u
t
(x, 0) = (x) 0 < x < L
u(0, t) = g(t) t > 0
u(0, L) = h(t) t > 0
que con toda razon puede llamarse problema de valores iniciales de tipo
Dirichlet. Hacemos ahora una observacion importante. Se sabe que u(, ) =
F()+G(), por lo que F es constante en lineas verticales del plano , mien-
tras que G es constante en lineas horizontales. Si ABCD es un rectangulo en
20
, enotnces F(A) = F(D), F(B) = F(C), G(C) = G(D) y G(A) = G(B).
De aqu que u(A) + u(C) = u(B) + u(D). Esta identidad se conoce como
ley del paralelogramo.
Denotemos la region donde este problema se plantea R = (x, t) : 0 <
x < L, t > y lo dividiremos en regiones donde apliquemos la ley del
paralelogramo. En el triangulo inferior se puede aplicar la formula de
DAlambert, mientras que en las lineas laterales se pueden usar las condi-
ciones en la frontera.
Notemos que si A tiende a D entonces tanto B como C tienden a 0.
Por tanto u(A) tiende a (0) + (0) + u(D) y tendremos la condicion de
compatibilidad (0) = (0), en caso de que se quiera una solucion continua.
Para que la solucion sea de clase C
1
se necesita que

(0) = (0), y para


que la solucion sea C
2
, se tine que cumplir

(0) = c
2

(0). Condiciones
de compatibilidad para el valor x = L se pueden obtener analogamente.
Ejemplo 2.2.3 Para resolver el problema
_

_
u
tt
= 4u
xx
x > 0, t > 0
u(x, 0) = 1 0 < x < L
u
t
(x, 0) = 0 0 < x < L
u(0, t) = 0 t > 0
dividimos el primer cuadrante en dos regiones separadas por la linea x = 2t.
Denotemos por R
1
y R
2
la region inferior y superior as denidas. En R
1
u 1 mientras que en R
2
u 0. La singularidad inicial se preserva sobre
la linea t = x/2.
2.3 Ecuacion de onda no homogenea
Consideramos ahora
_
u
tt
c
2
u
xx
= f(x, t) < x < , t > 0
u(x, 0) = u
t
(x, 0) = 0
(2.5)
para el cual usaremos el siguiente
Teorema 2.3.1 (Principio de Duhamel) Si U(x, t, s) es de clase C
2
en
las variables (x, t) y continua en la variable s, y es solucion de
_
_
_
U
tt
c
2
U
xx
= 0 x R, t > s 0
U(x, 0, s) = 0 x R, s 0
U
t
(x, 0, s) = f(x, s) x R, s 0
21
Entonces
u(x, t) =
_
t
0
U(x, t s, s)ds (2.6)
es solucion de (2.5).
Antes de demostrar el teorema, enunciamos y probamos un resultado
sobre derivacion de integrales.
Teorema 2.3.2 Si g(x, t) es de clase C
1
en ambas variables y se dene
I(t) =
_
b(t)
a(t)
g(x, t)dx
entonces
I

(t) =
_
b(t)
a(t)
g
t
(x, t)dx +g(b(t), t)b

(t) g(a(t), t)a

(t)
La funcion I de hecho puede verse como funcion de las variables a y
b, digamos I(t) = G(t, a, b). Aplicando la regla de la cadena I

= G
t
+
a

G
a
+ b

G
b
. Observemos ahora que G
t
=
_
b(t)
a(t)
g
t
(x, t)dx, G
a
= g(a, t),
G
b
= g(b, t), lo cual demuestra el teorema.
Para demostrar el Principio de Duhamel, derivemos respecto a t la
ecuacion (2.6) y usando la condicion inicial
u
t
(x, t) = U(x, 0, s) +
_
t
0
U
t
(x, t s, s)ds =
_
t
0
U
t
(x, t s, s)ds.
Derivando una vez mas
u
tt
(x, t) = U
t
(x, 0, s) +
_
t
0
U
tt
(x, t s, s)ds
= f(x, t) +
_
t
0
U
tt
(x, t s, s)ds.
Del mismo modo derivando (2.6) dos veces respecto a x obtenemos
u
xx
(x, t) =
_
t
0
U
xx
(x, t s, s)ds.
Por tanto
u
tt
c
2
u
xx
= f(x, t) +
_
t
0
(U
tt
c
2
U
xx
)(x, t s, s)ds = f(x, t).
22
Por otro lado, las condiciones son faciles de vericar. QED
Usando la formula de DAlambert se tiene
U(x, t, s) =
1
2c
_
x+ct
xct
f(, s) d
y en conclusion
u(x, t) =
1
2c
_
t
0
_
x+c(ts)
xc(ts)
f(, s) dds
De esta formula obtenemosde inemdiato
Teorema 2.3.3 Si f es de clase C
1
en la variable x y continua en la vari-
able t, entonces la solucion de (2.5) es de clase C
2
en ambas variables.
Ademas del teorema anterior, notese que para resolver el problema
_
_
_
u
tt
c
2
u
xx
x R, t > 0
u(x, 0) = (x)
u
t
(x, 0) = (x)
(2.7)
simplemente podemos sumar las soluciones anteriores.
Teorema 2.3.4 La solucion de (2.7) esta dada por
u(x, t) =
1
2
[(x +ct) +(x ct)] +
1
2c
_
x+ct
xct
(s)ds +
1
2c
__

f(y, s)dyds
(2.8)
Daremos una demostracion alterna que no usa principio de Duhamel.
Consideremos
__

f(y, s)dyds =
__

(u
tt
c
2
u
xx
)dxdt
y recordemos la siguiente forma de la formula de Green: Si (P, Q) es un
campo vectorial de clase C
1
entonces
__

(P
x
Q
t
)dxdt =
_

Qdx +Pdt.
Poniendo P = c
2
u
x
, Q = u
t
tendramos
__

(u
tt
c
2
u
xx
)dxdt =
_

c
2
u
x
dt u
t
dx (2.9)
23
La integral del lado derecho de (2.9) se puede dividir en la integral sobre los
tres segmentos L
0
, L
1
y L
2
, siendo la primera una lnea sobre el eje x.
En L
0
, (x, 0) es una parametrizacion por lo que dt = 0 y dx = 1. Por
tanto
__
L
0
c
2
u
x
dt u
t
dx =
_
x
0
+ct
0
x
0
ct
0
(s)ds
En L
1
una parametrizacion es () = ((1 )(x
0
+ ct
0
) + x
0
, t
0
),
0 1, de donde dx = ct
0
, dt = t
0
, es decir dx = cdt. Por tanto
c
2
u
x
dt u
t
dx = cu
t
dt +cu
x
dx = u

y en conclusion
__
L
1
c
2
u
x
dt u
t
dx = c
_
L
1
du = cu(x
0
, t
0
) c(x
0
+ct
0
).
Un calculo similar nos lleva concluir que
__
L
2
c
2
u
x
dt u
t
dx = c
_
L
2
du = cu(x
0
, t
0
) c(x
0
ct
0
).
Solo resta somar los tres terminos de los tres segmentos de lnea para
concluir la prueba del teorema.
2.4 Ecuacion de onda en dimensiones 2 y 3
En esta seccion estudiaremos algunos analogos n-dimensionales de las sec-
ciones anteriores. Mas concretamente, obtendremos el caso bidimensional
(dos dimensiones espaciales) a partir del tridimensional por medio del metodo
del descenso.
Iniciemos resolviendo de nuevo el problema unidimensional
_

_
u
tt
c
2
u
xx
= 0 x > 0, t > 0
u(x, 0) = (x)
u
t
(x, 0) = (x)
u(0, t) = g(t)
usando las extensiones impares de y . Denamos pues
(x) =
_
_
_
(x) x > 0
0 x = 0
(x) x < 0
24
y tomemos

con una denicion similar.
Como extendimos las deniciones de los datos iniciales, tenemos ahora
un problema en la recta real, para el cual podemos aplicar la fomula de
DAlambert:
u(x, t) =
1
2
[ (x +ct) + (x +ct)] +
1
2c
_
x+ct
xct

(s)ds
=
1
2
[ (ct +x) + (ct x)] +
1
2c
_
x+ct
0
(s)ds+
1
2c
_
0
xct
(s)ds
donde hemos usado que y

son impares. Con el cambio de variables
s s obtenemos
u(x, t) =
1
2
[(ct +x) +(ct x)] +
1
2c
_
ct+x
ctx
(s)ds. (2.10)
El problema que nos planteamos resolver es
_
_
_
u
tt
c
2
u = 0 x = (x
1
, . . . , x
n
) R
n
, t > 0
u(x, 0) = g(x)
u
t
(x, 0) = h(x)
(2.11)
donde el Laplaciano en n dimensiones se dene como
u =
n

i=1

2
u
x
2
i
.
El procedimiento para obtener la solucion que explicaremos es conocido
como el metodo de promedios esfericos.
Dada h : R
n
R denimos
M
h
(x, r) =
1

n
_
||=1
h(x +r)dS()
donde
n
denota la medida (n 1)-dimensional de S
n1
. Cuando h es
continua el teorema de diferenciacion de Lebesgue arma que M
h
(x, 0) =
h(x) y si h es de clase C
k
entonces M
h
tambien lo es. Ahora obtendremos
formulas para algunas derivadas de M:

r
M
h
(x, r) =
1

n
_
||=1

i
h
x
i
(x +r)
i
dS().
Ahora notese que si V () =

(h(x + r)/r) entonces V N =



i
h
x
i
(x +
r)
i
, donde N = N() denota el vector exterior normal unitario en de
25
= R
n
: [[ < 1. Ademas V () =
x
h(x +r). Por el teorema de la
divergencia

r
M
h
(x, r) =
1

n
_
||<1
div V ()d.
Pero por otro lado
div V () = r

h
x
i
x
i
(x +r) = r
x
h(x +rh).
Por tanto

r
M
h
(x, r) =
r

_
||<1
h(x +r)d,
que con el cambio de variables

= r, d

= r
n
d lleva a
_
||<1
h(x +r)d =
1
r
n
_
|

|<r
h(x +r

)d

=
1
r
n
_
r
0

n1
_
|

|=1
h(x +)dS()d

=
1
r
n
_
r
0

n1
M
h
(x, )d
y por tanto

r
M
h
(x, r) =
1
r
n1

x
_
r
0

n1
M
h
(x, )d.
Multiplicando por r
n1
y derivando respecto a r
r
n1

2
r
2
M
h
(x, r) + (n 1)r
n2

r
M
h
(x, r) =
x
r
n1
M
h
(x, r),
es decir
_

2
r
2
+
n 1
r

r
_
M
h
(x, r) =
x
M
h
(x, r) (2.12)
que es conocida como ecuacion de Darboux.
Observacion 2.4.1 Si h fuera radial entonces M
h
(x, r) = h(r) y la ecuacion
de Darboux (2.12) puede tomars como la denicion del llamado laplaciano
en coordenadas esfericas de h
26
Volviendo al problema (2.11), cualquier solucion de este problema cumplira
que

2
t
2
M
u
(x, r, t) =
1

n
_
||=1
u
tt
(x +r, t)dS()
=
c
2

n
_
||=1
u(x +r, t)dS()
= c
2
M
u
(x, r, t).
Usando la ecuacion de Darboux se concluye que

2
t
2
M
u
(x, r, t) = c
2
_

2
r
2
+
n 1
r

r
_
M
u
(x, r, t).
Las condiciones iniciales son ahora
M
u
(x, r, 0) = M
g
(x, r)
M
u
t
(x, r, 0) = M
h
(x, r).
Si resolvieramos este nuevo problema de valores iniciales podramos recu-
perar a u por medio del lmite
u(x, t) = lim
r0
M
u
(x, r, t).
Cuando n = 3 se tiene

2
t
2
M
u
(x, r, t) = c
2
_

2
r
2
+
2
r

r
_
M
u
(x, r, t),
es decir

2
t
2
rM
u
(x, r, t) = c
2
_
r

2
r
2
+ 2

r
_
M
u
(x, r, t)
= c
2

r
_
r
M
r
+M
_
(x, r, t)
= c
2

2
Mr
r
2
(x, r, t)
Sea V
x
(r, t) = rM
u
(x, r, t). Todo el procedimiento anterior nos ha llevado
ahora a cambiar nuestro problema original (2.11) en n dimensiones espaciales
27
en un problema en dimension 1, al que podemos aplicar toda la teora que
hemos desarrollado hasta ahora. En efecto, tenemos que resolver el problema
_

_
V
x
tt
(r, t) c
2
V
x
rr
(r, t) = 0 r > 0, t > 0
V
x
(r, 0) = rM
g
(x, r) G
x
(r)
V
x
t
(r, 0) = rM
h
(x, r) H
x
(r)
V
x
(0, t) = lim
r0
rM
u
(x, r, t) = 0
Notemos que, tal y como se hizo en la ultima condicion, podemos obtener
G
x
(0) = H
x
(0) = 0, que es la condicion de compatibilidad en r = 0 discutida
en la pagina 21. Extendemos a G
x
y H
x
como funciones impares y usando
la formula (2.10) obtenemos
V
x
(r, t) =
G
x
(r +ct) +G
x
(r ct)
2
+
1
2c
_
r+ct
rct
H
x
()d
y por tanto
M
u
(x, r, t) =
1
r
V
x
(r, t) =
G
x
(r +ct) +G
x
(r ct)
2r
+
1
2rc
_
r+ct
rct
H
x
()d
=
(ct +r)M
g
(x, ct +r) (ct r)M
g
(x, ct r)
2r
+
+
1
2rc
_
r+ct
rct
M
h
(x, )d.
Ahora estamos listos para tomar lmites cuando r 0, quedando de hecho
algunas derivadas:
u(x, t) =

(M
g
(x, ))
_
=ct
+tM
h
(x, ct)
=

t
(tM
g
(x, t)) +tM
h
(x, ct)
=
1
4

t
_
t
_
||=1
g(x +ct)dS()
_
+
t
4
_
||=1
h(x +ct)dS()
que se conoce como formula de Kirjof. En particular este razonamiento lleva
al siguiente
Teorema 2.4.2 Si g es de clase C
3
en R
3
y h es de clase C
2
en R
3
, entonces
el problema (2.11) con n = 3 tiene una solucion de clase C
2
en R
3
28
Observacion 2.4.3 Notemos un par de diferencias de la solucion tridimen-
sional respecto a la solucion unidimiensional:
Una onda se percibira en un punto x
1
al tiempo t
1
= [x
1
[/c y no de-
spues.

Esto de alg un modo jusica que no nos pasemos escuchando
una innidad de veces los mismos sonidos emitidos una sola vez.
En el caso tridimensional hay una perdida de regularidad: si g es de
clase C
2
y h es de clase C
1
, entonces la solucion sera simplemente de
clase C
1
.
Para obtener una formula analoga a la formula de Kirjof para n = 2
usaremos el llamado metodo de Hadamard del descenso. Para esto, veremos
a S
2
+
como la graca de la funcion (
1
,
2
) =
_
1
2
1

2
2
denida para

2
1
+
2
2
< 1, de modo que
dS() =
_
1 +
2

1
+
2

2
d
1
d
2
=
d
1
d
2
_
1
2
1

2
2
Entonces podremos ver al caso bidimensional como un caso particular del
caso tridimensional,en donde las condiciones iniciales no dependan de x
3
.
En la formula de Kirjof integramos dS() solo en S
2
+
y multiplicamos por 2,
para obtener
u(x, t) =
1
4

t
_
2t
_

2
1
+
2
2
<1
g(x
1
+ct
1
, x
2
+ct
2
)d
1
d
2
_
1
2
1

2
2
)
_
+
+
2t
4
_

2
1
+
2
2
<1
h(x
1
+ct
1
, x
2
+ct
2
)d
1
d
2
_
1
2
1

2
2
)
Observacion 2.4.4 Notese que en la formula de Kirjof tridimensional el
rango de inuencia de un punto (x
1
, x
2
) es un cono como supercie, mientras
que en el caso bidimensional se tiene un cono solido.
Ejemplo 2.4.5 Puede vericarse que la solucion de
_
_
_
u
tt
= u
xx
+u
yy
+u
zz
u(x, y, z, 0) = x
2
+y
2
u
t
(x, y, z, 0) = 0
es u(x, y, z) = x
2
+y
2
+ 2t
29
Captulo 3
Ecuacion de Calor
Recordemos que hemos ya obtenido la deduccion de la llamada ecuacion
de difusion. Iniciaremos con la deducion de la ecuacion de calor en tres
dimensiones y se vera que es esencialmente de la misma forma que la ecuacion
de difusion.
Supongamos que u(x, y, z, t) representa la temperatura en el punto (x, y, z)
al tiempo t en una region D R
3
simplemente conexo y con frontera suave.
Sea H(t) la cantidad de calor al tiempo t. Entonces
H(t) =
___
D
cu(x, y, z, t) dxdydz
donde c es el calor especco y es la densidad del cuerpo representado por
D. La variacion de calor sera entonces
dH
dt
(t) =
___
D
cu
t
(x, y, z, t) dxdydz.
Laley de Fourier dice que el calor uye de regiones claientes a regiones mas
fras, de manera proporcional al gradiente de la temperatura.Como el calor
no se pierde (conservacion universal de la energa) sino que sale por la fron-
tera de D, entonces la variacion del calor sera tambien el ujo a traves de
la frontera, es decir
dH
dt
(t) =
__
D
(u

N) dS
donde denota la conductividad del material, y

N denota el vector normal
unitario exterior. Igualando terminos y aplicando el teorema de la divergen-
cia (Teorema 1.2.3) obtenemos
___
D
cu
t
(x, y, z, t) dxdydz =
___
D
div(u)(x, y, z, t) dxdydz.
30
Como este razonamiento lo pudimos aplicar a cualquier subdominio D

D
entonces obtendremos
cu
t
= div(u) = u
que es el analogo multidimensional de la ecuacion de difusion (Ejemplo
1.2.1).
3.1 Problema de valores iniciales en R
El ejemplo unidimensional que estudiaremos en esta seccion es entonces u
t
=
ku
xx
. Nos proponemos estudiar primero un problema de valores iniciales en
donde tenemos prescrito u(x, 0) = (x) para x R.
La solucion que construiremos sera a partir de una muy particular,
y luego aplicando algunas propiedades de invariancia de soluciones de la
ecuacion de calor, a saber:
1. Si u(x, t) es solucion de la ecuacion de calor y a > 0 entonces u(ax, a
2
t),
u(x y, t), u
x
, u
t
, y derivadas de orden superior tambien lo son;
2. Combinaciones lineales de soluciones es solucion;
3. Si S(x, t) es soucion entonces para g de manera que la integral exista
(p. ej. para g continua, con soporte compacto), entonces
v(x, t) =
_

S(x y, t)g(y)dy
Como primer paso buscaremos una solucion Q(x, t) con las condiciones
Q(x, 0) =
_
1 si x > 0
0 si x 0
y que ademas tenga la forma Q(x, t) = g(p), con p = x/

4kt y g una funcion


de una variable real. Por la regla de la cadena tendremos
Q
t
=
dg
dp

p
t
=
1
2t
x

4kt
g

(p)
Q
x
=
dg
dp

p
x
=
1

4kt
g

(p)
Q
xx
=
dQ
x
dp

p
x
=
1
4kt
g

(p).
31
De aqu que
0 = Q
t
kQ
xx
=
1
t
_

1
2
pg

(p)
1
4
g

(p)
_
y por tanto g

+ 2pg

= 0.
El segundo paso ahora consiste en usar el factor integrante e
p
2
para
obtener g

(p) = c
1
e
p
2
. Por tanto
Q(x, t) = g(p) = c
1
_
x/

4kt
0
exp(p
2
)dp +c
2
.
Usando las condiciones dadas para Q en t = 0 en el sentido de lmites
tenemos:
Si x > 0:
1 = lim
t0
+
Q(x, t) = c
1
_

0
exp(p
2
)dp +c
2
= c
1

2
+c
2
.
Si x < 0:
0 = lim
t0
+
Q(x, t) = c
1
_

0
exp(p
2
)dp +c
2
= c
1

2
+c
2
.
Resolviendo el sistema hallamos c
1
= 1/

y c
2
= 1/2. Tendremos pues
para t > 0
Q(x, t) =
1
2
+
1

_
x/

4kt
0
exp(p
2
)dp (3.1)
El tercer paso ahora consiste en denir S = Q/x. Dada el dato inicial
(x) armamos ahora que
u(x, t) =
_

S(x y, t)(y)dy
es solucion del problema original. Para vericarlo, usamos integracion por
partes para obtener
u(x, t) =
_

Q
x
(x y, t)(y)dy
=
_

x
[Q(x y, t)] (y)dy
=
_

Q(x y, t)

(y)dy Q(x y, t)(y)

y=
y=
32
Suponiendo que el dato inicial vale cero para [y[ grande concluimos
u(x, 0) =
_

Q(x y, 0)

(y)dy =
_
x

(y)dy = (x)
El caso en el que no se cumple que vale cero fuera de un intervalo grande
lo cubrimos en el siguiente
Teorema 3.1.1 Si es una funcion continua y acotada denida en R en-
tonces
u(x, t) =
_

Q
x
(x y, t)(y)dy
dene una funcion innitamente diferenciable en (x, t) que cumple la ecuacion
u
t
= ku
xx
y ademas
lim
t0
+
u(x, t) = (x)
para toda x R.
Para demostrar el teorema, notemos que podemos obtener una formula
para S(x, t) directamente de (3.1):
S(x, t) =
1

4kt
exp
_
x
2
4kt
_
(3.2)
para t > 0. De aqu que podamos escribir
u(x, t) =
1

4kt
_

exp
_
(x y)
2
4kt
_
(y)dy (3.3)
=
1

4
_

exp
_
p
2
4
_
(x p

kt)dp
Esta ultima integral es absoluta y uniformemente convergente pues
[u(x, t)[
1

4
sup
yR
[(y)[
_

exp
_
p
2
4
_
dp.
Para ver que las derivadas existen notemos por ejemplo que:
u
x
(x, t) =
1

4kt
_

x y
2kt
exp
_
(x y)
2
4kt
_
(y)dy
=
C

t
_

p exp
_
p
2
4
_
(x p

kt)dp

t
sup
yR
[(y)[
_

p exp
_
p
2
4
_
dp
33
Para derivadas de orden superior tendramos que revisar la convergencia de
integrales de la forma
_

p
n
exp
_
p
2
4
_
dp.
Todas estas integrales resultan ser convergentes. Para derivadas respecto a
t hay formulas analogas que dan lugar a integrales convergentes.
Para revisar que u tiene los valores iniciales dados, observese que
u(x, t) (x) =
1

4
_

exp
_
p
2
4
_
_

_
x p

kt
_
(x)
_
dp.
Sea > 0 y escojase > 0 tal que
sup
|xy|<
[(y) (x)[ <

2
(por continuidad)
De acuerdo a esto, consideramos dos integrales, la primera de las cuales es:

_
|p|</

4kt
exp
_
p
2
4
_
_

_
x p

kt
_
(x)
_
dp

4
_

exp
_
p
2
4
_
dp sup
|xy|<
[(y) (x)[ < /2.
La segunda integral es

_
|p|/

4kt
exp
_
p
2
4
_
_

_
x p

kt
_
(x)
_
dp


2 sup
yR
[(y)[
1

4
_

exp
_
p
2
4
_
dp < /2.
En ambos casos se usa que la integral
_

exp
_
p
2
4
_
dp es convergente.
Notemos que en la formula (3.3) implica que aunque no sea diferen-
ciable, la solucion lo es. A la funcion S(x, t) se le conoce como n ucleo de
calor. Notemos las siguientes propiedades:
1. Con la sustitucion q = x/

4kt se tiene
_

S(x, t)dx =
1

e
q
2
dq = 1
2. supS(x, t) : [x[ > 0 cuando t 0
34
Introducimos ahora la funcion error:
Erf(x) =
2

x
_
x
0
e
p
2
dp, para x ,= 0,
Erf(0) = 0, Erf(+) = 1. As por ejemplo Q(x, t) en (3.1) puede escribirse
como
Q(x, t) =
1
2
+
1
2
Erf
_
x

4kt
_
3.2 Principio del maximo y algunas consecuencias
Para estudiar mas propiedades de soluciones introducimos el siguiente prin-
cipio fundamental.
Teorema 3.2.1 (Principio del maximo) Si u(x, t) es solucion de u
t
=
ku
xx
en el rectangulo 0 x L, 0 t T, entonces el maximo valor de
u(x, t) ocurre o bien inicialmente (t = 0), o en la frontera lateral (x = 0 o
bien x = L).
La demostracion del teorema es como sigue. Sea M el valor maximo de
u(x, t) en los laterales x = 0, x = L, o en el fondo t = 0. Sea > 0 y defnase
v(x, t) = u(x, t) +x
2
, de modo que v(x, t) M +L
2
en los laterales o en
el fondo. Esta funcion cumple
v
t
kv
xx
= u
t
k(u +x
2
)
xx
= u
t
ku
xx
2k = 2k < 0. (3.4)
Supongamos que v(x, t) alcanza su maximo en un punto interior (x
0
, t
0
)
del rectangulo. Se sabe entonces que v
t
(x
0
, t
0
) = 0 y v
xx
(x
0
, t
0
) 0, lo
cual contradice la desigualdad (3.4). Si un maximo ocurre en la tapa t = T,
entonces v
x
(x
0
, t
0
) = 0 y v
xx
(x
0
, t
0
) 0. Ademas como v(x
0
, t
0
) v(x
0
, t
0

), entonces se tendra
v
t
(x
0
, t
0
) = lim
0
+
v(x
0
, t
0
) v(x
0
, t
0
)

0
lo cual contradice una vez mas la desigualdad (3.4). Como v(x, t) es continua
tendra que alcanzar su maximo en alg un punto en el rectangulo cerrado
0 x L, 0 t T. Por tanto tal maximo se alcanzara en los laterales o
en el fondo. Por tanto v(x, t) M + L
2
para todo (x, t) en el rectangulo
cerrado. De aqu se concluye que para todo > 0
u(x, t) M +L
2
x
2
.
35
Tomando lmites cuando 0 tenemos u(x, t) M. QED
Ademas de dar una propiedad de regularidad de soluciones de la ecuacion
de calor, el teorema anterior tiene interesantes y utiles consecuencias.
Teorema 3.2.2 (Unicidad en el problema inicial de Dirichlet) Existe
a lo mas una solucion de
_

_
u
t
ku
xx
= f(x, t) 0 < x < L, t > 0
u(x, 0) = (x)
u(0, t) = g(t)
u(L, t) = h(t)
Si u
1
, u
2
son soluciones de la ecuacion u
t
ku
xx
= f(x, t), sea w = u
1
u
2
.
Entonces w cumple
_
w
t
kw
xx
= 0 0 < x < L, t > 0
w(0, t) = w(L, t) = w(x, 0) = 0
Por el principio del maximo, w(x, t) 0 en el rectangulo. Similarmente, al
tomar w y aplicar el principio del maximo, tendremos un principio del
mnimo. Tendramos que el mnimo se alcanza tambien en el rectangulo, y
por tanto se tendra w(x, t) 0. Por tanto w(x, t) 0. QED
Observacion 3.2.3 El resultado de unicidad del teorema anterior pudo
haberse demostrado con la tecnica de energa usada para la ecuacion de
onda. Sea w = u
1
u
2
como arriba. Entonces
0 = (w
t
kw
xx
) w =
_
w
2
/2
_
t
+ (kw
x
w)
x
+kw
2
x
.
Integrando en 0 < x < L
0 =
_
L
0
1
2
_
w
2
(x, t)
_
t
dx kw
x
(x, t)w(x, t)
_
x=L
x=0
+k
_
L
0
w
2
x
(x, t)dx.
Usando las condiciones en la frontera
d
dt
_
L
0
1
2
w
2
(x, t)dx = k
_
L
0
w
2
x
(x, t)dx 0.
Entonces como funcion de t la integral
_
L
0
w
2
(x, t)dx es decreciente. Por
tanto
_
L
0
w
2
(x, t)dx
_
L
0
w
2
(x, 0)dx = 0
parat oda t > 0. En conclusion, w(x, t) 0.
36
Teorema 3.2.4 (Estabilidad) El problema
_
_
_
u
t
ku
xx
= 0 0 < x < L, t > 0
u(x, 0) = (x)
u(0, t) = u(L, t) = 0
(3.5)
es estable uniformemente y en el sentido de la norma L
2
.
Al demostrar el teorema, de hecho se explicara lo que cada uno de estos
sentidos de estabilidad signica. Supongamos que u
1
y u
2
son soluciones del
problema (3.5) con dato inicial u
1
(x, 0) =
1
(x) y u
2
(x, 0) =
2
(x).
Por el principio del maximo u
1
(x, t) u
2
(x, t) sup [
1

2
[, y por el
principio del mnimo u
1
(x, t) u
2
(x, t) inf [
1

2
[, ambas ciertas para
toda t > 0. Por tanto
sup
0xL
[u
1
(x, t) u
2
(x, t)[ sup
0xL
[
1
(x)
2
(x)[
para toda t > 0. Esta desigualdad establece que cuando los datos iniciales
1
y
2
estan cercanos uniformemente, entonces las correspondientes soluciones
tambien lo estan.

Esto es lo que en el enunciado del teorema se llama ser
estable uniformemente.
Apliquemos ahora las ideas de las tecnicas de energa para ver el otro sen-
tido de la estabilidad. Si w = u
1
u
2
, entoncesesta sera la unica solucion al
problema (3.5) con dato inicial =
1

2
. Del hecho de que
_
L
0
w
2
(x, t)dx
es decreciente como funcion de t obtenemos
_
L
0
[u
1
(x, t) u
2
(x, t)]
2
dx
_
L
0
[
1
(x, t)
2
(x, t)]
2
dx.
Esta desigualdad ahora establece que si
1
y
2
estan cercanos usando la
integral del cuadrado de su diferencia, entonces las correspondientes solu-
ciones tambien lo estan en el mismo sentido. Esto a su vez dene la llamada
estabilidad en el sentido L
2
.
Observacion 3.2.5 El principio del maximo falla para soluciones de la
ecuacion u
t
= xu
xx
, pues u(x, t) = 2xt x
2
es solucion en el rectangulo
2 x 2, 0 t 1, pero tiene un mnimo en x = 1, t = 1. Asque el
principio del maximo falla para ecuaciones con coecientes no-constantes.
Observacion 3.2.6 Notese que las soluciones de la ecuacion de onda en
general no cumplen el principio del maximo. Basta tomar por ejemplo un
dato inicial 0.
37
3.3 Otros problemas de valores iniciales
Consideremos ahora
_
_
_
u
t
ku
xx
= 0, 0 < x < , t > 0
u(x, 0) = (x)
u(0, t) = 0
(3.6)
El modo de proceder sera una vez mas usando extensiones impares. De-
namos pues
(x) =
_
_
_
(x) x > 0
0 x = 0
(x) x < 0
y resolvamos el correspondiente problema
_
_
_
v
t
kv
xx
= 0, < x < , t > 0
v(x, 0) = (x)
v(0, t) = 0
De acuerdo con lo visto antes, la unica solucion sera
v(x, t) =
_

S(x y, t) (y)dy.
As la restriccion de v para x > 0 sera tambien la unica solucion de (3.6),
siempre que veriquemos las condiciones iniciales y de la frontera.
Las condiciones iniciales de hecho ya se establecieron antes. Para ver
la condicion en la frontera notemos que v(x, t) es una funcion impar en la
variable x (para demostrar esto, considerese u(x, t) + u(x, t) y aplquese
unicidad). Ahora poniendo x = 0 se tendra u(0, t) = 0.
Para el problema (3.6) se puede de hecho dar una formula explcita como
sigue:
v(x, t) =
_

0
S(x y, t)(y)dy
_
0

S(x y, t)(y)dy,
con el cambio de variable z = y en la segunda integral obtendremos
v(x, t) =
_

0
[S(x y, t) S(x +y, t)] (y)dy
=
1

4kt
_

0
_
exp
_
(x y)
2
4kt
_
exp
_
(x +y)
2
4kt
__
(y)dy
38
Ejemplo 3.3.1 Con dato 1 obtendramos
_
x/

4kt

e
p
2 dp


_

x/

4kt
e
q
2 dq

con los cambios p = (x y)/

4kt y q = (x + y)/

4kt respectivamente. El
resultado lo podemos escribir como
_
1
2
+
1
2
Erf
_
x

4kt
__

_
1
2

1
2
Erf
_
x

4kt
__
= Erf
_
x

4kt
_
Para terminar este captulo, consideremos el siguiente problema para la
ecuacion no homogenea:
_
u
t
ku
xx
= f(x, t), < x < , t > 0
u(x, 0) = (x)
(3.7)
Armamos que la solucion de este problema esta dada por
u(x, t) =
_

S(x y, t)(y)dy +
_
t
0
_

S(x y, t s)f(y, s)dyds (3.8)


Observacion 3.3.2 Antes de demostrar esta armacion, hagamos un par
de observaciones comparando la solucion (3.8) con algo conocido.
Primero, notese que para la ecuacion de onda habamos hallado una
formula similar en (2.8), en el sentido que se suman las solucion del problema
homogeneo con una integral que involucra el lado derecho de la ecuacion no
homogenea.
Segundo, al considerar un problema de ecuaciones diferenciales ordinar-
ias
_
dU/dt +AU(t) = F(t) t R
U(0) =
donde A y son constantes reales, luego de usar el factor integrante e
tA
se
obtiene la solucion
U(t) = e
tA
+
_
t
0
e
(st)A
f(s)ds
que tiene cierta similitud con (3.8).
Procedamos pues con la justicacion de la formula (3.8), para lo cual
vericaremos que la funcion propuesta cumple la ecuacion y la condicion
inicial; por unicidad habremos entonces concluido.
39
Supongamos primero que 0. En este caso por el Teorema 2.3.2 y el
Teorema 3.1.1 tendremos
u
t
=

t
_
t
0
_

S(x y, t s)f(y, s)dyds


=
_
t
0
_

S
t
(x y, t s)f(y, s)dyds + lim
st
_

S(x y, t s)f(y, s)dy


=
_
t
0
_

2
S
x
2
(x y, t s)f(y, s)dyds + lim
0
_

S(x y, )f(y, t)dy


= k

2
x
2
_
t
0
_

S(x y, t s)f(y, s)dyds +f(x, t)


= ku
xx
+f(x, t).
Para cubrir el caso de ,= 0, observese que el primer termino de (3.8) es
solucion de la ecuacion homogenea, por lo que la identidad de arriba se
seguira cumpliendo. Resta vericar la condicion inicial, para lo que, como
habamos visto antes, se tendra
lim
t0
u(x, t) = (x) +
_
0
0
_

S(x y, t s)f(y, s)dyds = (x).


Observacion 3.3.3 En el caso 0 la formula (3.8) tiene una forma mas
explcita:
u(x, t) =
_
t
0
_

1
_
4k(t s)
exp
_
(x y)
2
4k(t s)
_
f(y, s)dyds
40
Captulo 4
Separacion de variables y
Series de Fourier
Para resolver problemas de tipo Dirichlet en un intervalo nito hemos de-
sarrollado metodos tanto para la ecuacion de onda como para la ecuacion
del calor. Uno de ellos consiste en usar extensiones impares de los datos
iniciales y teoremas de unicidad para resolver el correspondiente problema
en la semirecta positiva. En este captulo explicaremos un nuevo metodo
que reduce la ecuacion diferencial parcial a un tipo particular de ecuacion
ordinaria, que junto con los datos en la frontera permitiran el dessarrollo de
las soluciones en las llamadas series de Fourier.
4.1 Problemas de tipo Dirichlet
Consideremos para empezar el problema de tipo Dirichlet para la ecuacion
de onda
_

_
u
tt
= c
2
u
xx
0 < x < L, t > 0
u(x, 0) = (x) 0 < x < L
u
t
(x, 0) = (x) 0 < x < L
u(0, t) = u(L, t) = 0 t > 0
y supongamos que la solucion separa las variables, de manera que podamos
escribirla como u(x, t) = F(x)G(t). Al sustituir en la ecuacion tendremos
F(x)G

(t) = c
2
F

(x)G(t) y dividiendo por c


2
F(x)G(t) tendremos
G

c
2
G
=
F

F
= (x, t).
No es difcil ver que estos cocientes denen una cantidad constante. Basta
derivar a respecto a t, usando el lado derecho de la denicion y derivarla
41
respecto a x usando el lado izquierdo, y notar que ambas derivadas as
calculadas son cero. Veremos ademas que de hecho > 0.
Supongase que = 0. Entonces tenemos F

= 0, por lo que F(x) =


C + Dx. Como F(0) = F(L) = 0 enotonces C = D = 0, y tendramos a la
solucion trivial, misma que no querramos considerar. Por tanto ,= 0.
Supongamos ahora que < 0, digamos =
2
. Al resolver F

=
2
F
obtenemos F(x) = C cosh x + Dsenh x. Usando los datos en la frontera,
0 = F(0) = C, 0 = F(L) = Dsenh L, y de aqu que D = 0. Una vez mas
concluimos que no puede ser negativa.
Tratemos de descartar el caso en que sea un n umero complejo, una vez
mas trabajando por contradiccion. Como la ecuacion diferencial es F

=
F, querramos considerar las races de . Sea una de estas races, por
lo que sera la otra. Entonces la solucion general esta dada por F(x) =
Ce
x
+De
x
, donde esta exponencial es de hecho la exponencial compleja.
Por las condiciones en la frontera 0 = F(0) = C +D, 0 = Ce
L
+De
L
y
por tanto e
2L
= 1. Esto implica que Re = 0, 2LIm = 2n, por lo que
= ni/L. Por tanto =
2
= n
2

2
que de hecho es real y positiva.
En adelante pues supongamos que =
2
, con ,= 0, y consideremos
las siguientes ecuaciones diferenciales
F

+
2
F = 0, G

+c
2

2
G = 0
Las soluciones generales a este problema son
F(x) = C cos x +Dsen x, G(t) = Acos ct +Bsen ct.
Usando las condiciones iniciales concluimos que 0 = F(0) = C y 0 = F(L) =
Dsen L. Para evitar la solucion trivial tendremos pues que L = n y por
tanto
n
= n
2

2
/L
2
, n = 1, 2, . . . , por lo que las soluciones correspondientes
seras
F
n
(x) = sen
nx
L
, n = 1, 2, . . .
Similarmente se tendra
G
n
(t) = A
n
cos
nct
L
+B
n
sen
nct
L
, n = 1, 2, . . .
Dado que la ecuacion de onda es lineal, podremos sumar las soluciones
obteniendo una nueva solucion:
U(x, t) =

n
_
A
n
cos
nct
L
+B
n
sen
nct
L
_
sen
nx
L
.
42
La suma la hemos dejado sin indicar si se trata de suma innita o nita,
dado que no hemos hablado nada sobre su convegencia.
A los n umeros
n
se les llama valores propios y a las funciones F
n
(x) =
sen
nx
L
, n = 1, 2, . . . se les llama funciones propias del problema F

+F =
0, con condiciones en la frontera F(0) = F(L) = 0.
Observese que para que U(x, t) sea solucion, se requerira que
(x) =

n
A
n
sen
nx
L
, (x) =

n
nc
L
B
n
sen
nx
L
con la misma formalidad en la sumas que en la formula que dene a U(x, t).
Ahora veremos como se aplica esta tecnica a la solucion al correspondi-
ente problema
_
_
_
u
t
= ku
xx
0 < x < L, t > 0
u(x, 0) = (x) 0 < x < L
u(0, t) = u(L, t) = 0 t > 0
asociado a la ecuacion de calor. Separando variables proponemos u(x, t) =
F(x)G(t), de donde FG

= kF

G, y esta vez tenemos


G

kG
=
F

F
= .
El problema asociado a F es exactamente igual al considerado anteriormente.
Para G tenemos G

= kG, y por tanto G(t) = Ae


kt
. En conclusion
tendramos
U(x, t) =

n
A
n
exp
_

n
2

2
L
2
kt
_
sen
nx
L
que sera solucion siempre que
(x) =

n
A
n
sen
nx
L
.
De los dos ejemplos anteriores podemos proponer el problema de es-
tudiar para que funciones se tiene una representacion en forma de suma
de expresiones trigonometricas, e incluso para las que las correspondientes
series converjan en alg un sentido muy especco. Antes de tratar de ilus-
trar este par de preguntas, veremos mas ejemplos donde se puede aplicar la
separacion de vaiables.
Po ejemplo para la ecuacion de Schrodinger consideremos el problema
_
_
_
u
t
= iu
xx
0 < x < L, t > 0
u(x, 0) = (x) 0 < x < L
u(0, t) = u(L, t) = 0 t > 0
43
donde i
2
= 1. Con separacion de variables proponemos U(x, t) = X(x)T(t)
y obtenemos
T

iT
=
X

X
= .
De aqu que T(t) = e
it
y se tiene la formula
U(x, t) =

n
A
n
exp
_

n
2

2
L
2
it
_
sen
nx
L
.
4.2 Otras condiciones en la frontera
Para la ecuacion de calor se pueden considerar condiciones en la frontera de
tipo Neumann u
x
(0, t) = u
x
(L, t) = 0. Las funciones propias ahora tendran
que cumplir F

= F, F

(0) = F

(L) = 0.
Busquemos primero valores propios positivos =
2
> 0. Como antes,
F(x) = Dsen x + C cos x, y por tanto F

(x) = c sen x + D cos x.


Usando las condiciones en la frontera: 0 = F

(0) = D y entonces D = 0, y
por otro lado 0 = F

(L) = c sen L; como C ,= 0 entonces sen L = 0 y


por tanto = n/L, es decir = n
2

2
/L
2
. Las funciones propias asociadas
a estos valores son
F
n
(x) = cos
nx
L
, n = 1, 2, . . . .
Como en el caso del problema de tipo Dirichlet, preguntemos si es posible
tener = 0. En este caso F

= 0 por lo que F(x) = C + Dx con F

= D.
Por tanto D = 0 y entonces F es constante. Es decir, = 0 es un valor
propio valido, y la funcion propia asociada es cualquier constante.
Al considerar la posibilidad de que < 0, escribamos =
2
. Entonces
tenemos F

=
2
y por tanto F(x) = C cosh + Dsenh x y F

(x) =
C senh x + Dcosh x. Usando las condiciones en la frontera C = D = 0,
por lo que no consideraremos < 0 un valor valido.
Un razonamiento analogo al dado en el problema de tipo Dirichlet nos
lleva a que no puede haber valores propios complejos. En resumen, los
valores propios validos son

n
=
_
n
L
_
2
, n = 0, 1, 2, . . .
La solucion al problema de la ecuacion de calor tomara la forma de
U(x, t) =
1
2
A
0
+

n
A
n
exp
_

n
2

2
L
2
kt
_
cos
nx
L
44
lo cual requiere que el dato inicial tome la forma
(x) =
1
2
A
0
+

n
A
n
cos
nx
L
.
El poner la funcion propia asociada al valor propio = 0 como A
0
/2 es pura
conveniencia. La justicacion la daremos mas adelante.
Para la ecuacion de onda, por consideraciones similares, el valor propio
= 0 lleva a F constante, y G

= 0 lleva a la solucion de la forma


U(x, t) =
1
2
A
0
+
1
2
B
0
t +

n
_
A
n
cos
nct
L
+B
n
sen
nct
L
_
cos
nx
L
y el dato inicial se tendra que representar como
(x) =
1
2
A
0
+

n
A
n
cos
nx
L
(x) =
1
2
B
0
+

n
nc
L
B
n
cos
nx
L
,
en donde la segunda expresion se obtuvo al derivar y poner t = 0 en la
solucion propuesta.
Para la ecuacion de Schrodinger podramos considerar el problema de
Neumann
_
_
_
u
t
= iu
xx
0 < x < L, t > 0
u(x, 0) = (x) 0 < x < L
u
x
(0, t) = u
x
(L, t) = 0 t > 0
y por el analisis hecho anteriormente tendramos la solucion de la forma
U(x, t) =
1
2
A
0
+

n
A
n
exp
_

n
2

2
L
2
it
_
cos
nx
L
con condicion inicial
(x) =
1
2
A
0
+

n
A
n
cos
nx
L
Como ultimo ejemplo consideremos condiciones en la frontera mixtas u(0, t) =
u
x
(L, t) = 0, es decir, que en un extremos la condicion es de tipo Dirichlet
y en el otro es de tipo Neumann. Se puede vericar que en este caso los
valores propios y funciones propias quedan como

n
=
(n + 1/2)
2

2
L
2
, F
n
(x) = sen
_
(n + 1/2)
2

2
L
2
_
, n = 0, 1, 2, . . .
45
4.3 Coecientes de Fourier
De las secciones anteriores podramos aislar algunos casos para ser estudia-
dos, por lo pronto en lo que respecta a los tipos de series que consideramos.
En una seccion posterior estudiaremos brevemente la convergencia de series.
Recordemos primero las siguientes formulas:
sen t =
e
it
e
it
2i
, cos t =
e
it
+e
it
2
que implican que en la expresion

c
n
e
inx/L
=

c
n
_
e
ix/L
_
n
se incluyan los casos

n=1
A
n
sen
nx
L
,
1
2
A
0
+

n=1
A
n
cos
nx
L
.
Estos casos, por cierto, tambien fueron incluidos en las secciones anteriores
al requerir que los datos iniciales tomaran la forma de algunas de estas
sumas.
4.3.1 Series de Seno y de Coseno
Notemos que si m ,= n
_
L
0
sen
nx
L
sen
mx
L
dx =
1
2
_
L
0
_
cos
_
(n m)x
L
_
cos
_
(n +m)x
L
__
dx
=
1
2(mn)
sen
(mn)x
L
_
L
0

1
2(m+n)
sen
(m+n)x
L
_
L
0
= 0
Para el caso m = n
_
L
0
2
sen
nx
L
dx =
_
L
0
_
1 cos
2mx
L
_
=
L
2
+
L
2m
sen
2mx
L
_
L
0
=
L
2
.
En consecuencia sen(mx/L) forma un sistema ortonormal respecto al
producto interior
f, g) =
2
L
_
L
0
f(x)g(x)dx.
46
Es de esperarse pues que f, sen(mx/L)) exprese las coordenadas de f
respecto a este sistema. Notese que
_
f, sen
mx
L
_
=
2
L
_
L
0
f(x) sen
mx
L
dx = A
n
y esta expresion dene el coeciente de Fourier de la serie de seno de f.
Por ejemplo si (x) =

n
A
n
sen
nx
L
, entonces usando lo anterior
_
, sen
mx
L
_
= A
m
por lo que coincide con su serie de seno. Como otro ejemplo recuerdese
que otro dato inicial es
(x) =

n
nc
L
B
n
sen
nx
L
y en este caso
2
L
_
L
0
(x) sen
mx
L
dx =
mc
L
B
m
Por otro lado cos(mx/L) resulta tambien ser un sistema ortonormal
respecto al producto interior denido anteriormente. Notemos que ahora
para m = 0 se tiene que incluir una constante en el sistema. As, si por
ejemplo
(x) =
1
2
A
0
+

n1
A
n
cos
nx
L
entonces
2
L
_
L
0
(x)dx =
2
L
1
2
A
0
L = A
0
(de aqu la conveniencia de usar A
0
/2). En general entonces podemos denir
el coeciente de la serie del coseno como
A
m
=
2
L
_
L
0
(x) cos
mx
L
dx.
4.3.2 Serie completa de Fourier
Al considerar combinaciones de los casos anteriores tendramos que tomar el
sistema sen mx/L, cos kx/L con m = 1, 2, 3, . . . , k = 0, 1, 2, . . .. Como
algunas de las funciones son pares y las otras son impares, no tendra caso
47
considerar extensiones pares o impares de estas funciones. Por tanto con-
sideramos el intervalo (L, L). Tambien haremos consideraciones sobre las
funciones del sistema en relacion a su periocidad.
Decimos que una funcion real es periodica si existe P > 0 tal que
(x + P) = (x). El mas peque no de tales P > 0 se llama el perdiodo
fundamental. As por ejemplo cos x y sen x son periodicas de periodo 2,
mientras que cos mx/L y sen mx/L tienen periodo 2L. Y esta es otra
razon por la cual trabajaremos en el intervalo (L, L).
Para vericar que el sistema resulta un sistema ortogonal observese que
_
L
L
cos
nx
L
sen
mx
L
dx = 0
y por tener funciones periodicas de periodo 2L, entonces para cualesquiera
constantes A y B
_
L
L
Acos
nx
L
dx =
_
L
L
Asen
nx
L
dx = 0
Si supusieramos que nos es dada
(x) =
1
2
A
0
+

n1
_
A
n
cos
nx
L
+B
n
sen
nx
L
_
en [L, L], entonces los calculos anteriores nos implicarian que
A
n
=
1
L
_
L
L
(x) cos
nx
L
dx, n = 0, 1, 2, . . .
B
n
=
1
L
_
L
L
(x) sen
nx
L
dx, n = 1, 2, 3, . . .
Estas formulas una vez mas, denen los coecientes de Fourier de la serie
completa de Fourier.
Ejemplo 4.3.3 Para hallar la serie completa de Fourier de la funcion
(x) =
_
x L x < 0
x 0 x < L
observemos que
A
0
=
1
L
_
0
L
(x)dx +
1
L
_
0
L
xdx = L
48
y si m > 0, integrando por partes,
A
m
=
1
L
_
0
L
(x) cos
mx
L
dx +
1
L
_
0
L
xcos
mx
L
dx
=
1
L
_

L
m
xsen
mx
L

_
L
m
_
2
cos
mx
L
_
0
L
+
+
1
L
_
L
m
xsen
mx
L

_
L
m
_
2
cos
mx
L
_
L
0
=
2L
(m)
2
[cos m 1]
=
_
0 si m es par
4L/(m)
2
si m es par
Un calculo similar con integracion por partes lleva a que B
n
= 0, para
n = 1, 2, 3, . . . . Obtenemos entonces
(x) =
L
2

4L

2
_
cos
x
L
+
1
3
2
cos
3x
L
+
_
=
L
2

4L

mimpar
cos mx/L
m
2
=
L
2

4L

n=1
cos(2n 1)x/L
(2n 1)
2
Observacion 4.3.4 Una funcion con periodo fundamental P puede ex-
tenderse a la recta real usando (x+P) = (x). Como la serie completa de
Fourier es la acumulacion de funciones periodicas con periodo 2L, entonces
la serie podra extenderse como una funcion 2L periodica a toda la recta.
Ejemplos 4.3.5
1. Para hallar la serie completa de Fourier de
(x) =
_
_
_
0 3 < x < 1
1 1 x < 1
0 1 x < 3
observemos que
A
0
=
1
3
_
3
3
(x)dx =
2
3
.
49
Ademas
A
n
=
1
3
_
1
1
cos
nx
3
dx =
1
n
sen
nx
3
_
1
1
=
2
n
sen
n
3
, n = 1, 2, 3, . . .
B
n
=
1
3
_
1
1
sen
nx
3
dx =
1
n
cos
nx
3
_
1
1
= 0, n = 1, 2, 3, . . .
En conclusion se tiene
(x) =
1
3
+

2
n
sen
n
3
cos
nx
3
.
2. Para la funcion
(x) =
_
0 L < x < 0
L 0 x < L
tenemos A
0
= L, A
m
= 0 para m = 1, 2, . . . , y B
m
= 0 si m es par, y
B
m
= 2L/m si m es impar.
4.4 Convergencia de series trigonometricas
La cuestion crucial para estudiar las series trigonometricas es su convergen-
cia a la funcion . Denimos tres modos de convergencia.
Una serie de funciones

n=1
f
n
(x) converge puntualmente a la funcion f(x)
en el intervalo (a, b) si para cada x (a, b)

f(x)
N

n=1
f
n
(x)

0 si N .
La serie converge uniformemente si
max
a<x<b

f(x)
N

n=1
f
n
(x)

0 si N
y converge en L
2
si
_
b
a

f(x)
N

n=1
f
n
(x)

2
dx 0 si N .
50
Observacion 4.4.1 Que tiene de especial la convergencia en L
2
? El pro-
ducto interior
f, g) =
_
b
a
f(x)g(x)dx
es bajo el cual se denio la expansion ortogonal de las series trigonometricas.
La norma asociada a este producto interior es precisamente |f|
2
=
_
[f(x)[
2
dx,
que es la cantidad que converge a cero en la denicion arriba.
Ejemplos 4.4.2
1. Tomando f
n
(x) = (1x)x
n1
en (0, 1), la serie correspondiente converge
puntualmente a f 1, pues
N

n=1
(x
n1
x
n
) = 1 x
N
1.
La serie converge en L
2
pues
_
1
0
[x
N
[
2
dx =
1
2N + 1
0.
La serie no converge uniformemente pues
max
0x1
_
1 (1 x
N
)

= max
0x1
x
N
= 1
2. Para el termino general
f
n
(x) =
n
1 +n
2
x
2

n 1
1 + (n 1)
2
x
2
en el intervalo (0, L), la suma parcial resulta ser una suma telescopica y se
tiene
N

n=1
f
n
(x) =
N
1 +N
2
x
0
Por otro lado
_
L
o
N
2
(1 +N
2
x
2
)
2
dx = N
_
NL
0
dy
(1 +y
2
)
2
y esto ultimo dene una sucesion no convergente, por lo que la serie no es
convergente en L
2
. Notemos que
max
0xL
N
1 +N
2
x
2
= N
y por tanto la serie no converge uniformemente.
51
Observacion 4.4.3 Convergencia uniforme claramente implica los otros
tipos de convergencia.
Teorema 4.4.4 (Convergencia de series de Fourier) Sea X
n
la sucesion
de funciones propias asociadas a un problema de valores en la frontera al
efectuar la separacion de variables. Sean A
n
los correspondientes coe-
cientes de Fourier.
1. La serie de Fourier

A
n
X
n
converge uniformemente a f si f es de
clase C
1
y satisface las correspondientes condiciones en la frontera, y
de compatibilidad.
2. Si f esta en la clase L
2
, es decir |f|
2
< , entonces la serie de
Fourier

A
n
X
n
asociada a f converge a f en L
2
.
3. Si f es tal que f y f

son continuas por pedazos en el intervalo [a, b],


entonces la serie de Fourier

A
n
X
n
asociada a f converge en todo
punto, y su valor para x (a, b) es [f(x+) +f(x)]/2
Dedicaremos la ultima seccion de este captulo a repasar argumentos de
cada uno de los incisos del teorema anterior.
Ejemplo 4.4.5 Si f 1 en (0, ), entonces su serie de Fourier es

nimpar
4
n
sen nx.
Esta serie no converge uniformemente. Que falla en la parte 1 del teorema?
Observemos que f no cumple las condiciones de Dirichlet de compatibilidad
(de modo que se pueda tener una extension impar).
Notemos sin embargo que s se cumple la tercera condicion del teorema
y por tanto
1 = f(/2) =

nimpar
4
n
(1)
(n1)/2
=
4

m=1
(1)
m
2m+ 1
Con un razonamiento analogo obtenemos tambien

4
=

n=1
sen(2n 1),
lo cual muestra que las series de Fourier tambien pueden ser utiles al evaluar
series numericas. Veremos mas ejemplos al revisar a detalle la teora L
2
de
series de Fourier.
52
Observacion 4.4.6 Recordemos que
u(x, t) =

n
_
A
n
cos
nct
L
+B
n
sen
nct
L
_
es solucion de u
tt
= c
2
u
xx
con condiciones iniciales
u(x, 0) =

A
n
sen
nx
L
(x)
u
x
(x, 0) =

nc
L
B
n
sen
nx
L
(x).
Como funcion de x, u(X, t) resulta impar, como tambien lo son (x) y (x)
y sus extensiones periodicas.

Esto de alg un modo justica que se hayan
usado extensiones impares en secciones anteriores.
De igual modo se puede justicar el haber usado extensiones impares
para resolver u
t
= ku
xx
con condicion inicial
u(x, 0) =

A
n
sen
nx
L
(x)
y recordando que la solucion tiene la forma
u(x, t) =

A
n
exp
_

_
n
L
_
2
kt
_
sen
nx
L
.
Existen ejemplos de funciones continuas cuya serie de Fourier diverge en
todo x, por lo que las condiciones en la parte 3 del teorema no son superuas.
En una seccion posterior revisaremos parte de los teoremas al trabajar en
L
2
.
4.5 Series de Fourier generalizadas
Como antes, al aplicar separacion de variables supongamos que llegamos a la
ecuacion de valores propios X

= X. Consideramos ahora las condiciones


en la frontera en el intervalo (a, b) dadas por

1
X(a) +
1
X(b) +
1
X

(a) +
1
X

(b) = 0 (4.1)

2
X(a) +
2
X(b) +
2
X

(a) +
2
X

(b) = 0
Estas condiciones claramente abarcan los casos de condiciones que provienen
de probelmas de tipo Dirichlet, Neumann y mixtas. Analicemos las condi-
ciones que llevaron a que las funciones propias asociadas al problema fueran
ortogonales.
53
Supongase que tenemos dos funciones propias f y g asociadas a valores
propios
1
y
2
, con
1
,=
2
. Por denicion tendremos f

=
1
f y
g

=
2
g. De aqu que
(f

g +fg

= f

g +fg

= (
1

2
)fg.
Integrando obtenemos
_
b
a
(f

g +fg

)dx = f

g +fg

b
a
(4.2)
que se conoce como identidad de Green para el operador d
2
/dt
2
. Esta
identidad implica que
(
1

2
)
_
b
a
fg dx = f

g +fg

b
a
(4.3)
Diremos que las condiciones (4.1) son simetricas si
f

g +fg

b
a
= 0.
se cumple para cualquier par de funciones que cumplan (4.1). As por ejem-
plo las condiciones de Dirichlet, Neumann y Robin son simetricas.
Es inmediato ver que cuando se tienen condiciones simetricas, (4.3) im-
plica que cualesquiera dos funciones propias asociadas a valores propios dis-
tintos seran ortogonales.
Tambien cuando se tienen condiciones simetricas podra probarse que los
valores propios forman una sucuesion
n
y que ademas
n
. Aunque
no daremos una demostracion de este hecho, si probaremos el siguiente
Teorema 4.5.1 Considerese el problema de valores propios X

+X = 0 en
el intervalo (a, b) y con condiciones el la frontera (4.1) que son simetricas.
Entonces todos los valores propios son reales y las funciones propias asoci-
adas pueden tomarse como funciones reales.
Para demostrar este teorema tendramos que considerar la posibilidad
de que f y g tomen valores complejos, en cuyo caso no tenemos denida
las nociones de producto interior y de simetra. Si f y g toman valores
complejos denimos
f, g) =
_
b
a
fgdx
54
y decimos que las condiciones en la frontera (4.1) son hermitianas si
f

g +fg

b
a
= 0.
para cualquier par de funciones que cumplan (4.1).
Procedamos con la demostracion del teorema. Sea un valor propio posi-
blemente complejo. Sea X su funcion propia no trivial asociada. Tomando
su conjugada tendramos X

= X por lo que tambien es un valor pro-


pio con funcion propia X. Aplicando la identidad de Green para X y X, y
usando que las condiciones son hermitianas (simetricas), obtenemos
( )
_
b
a
[X[
2
= 0
lo cual implica que es real. Ahora bien, si X tomara valores complejos
la escribiramos como X = Y + iZ y entonces se tendra Y

iZ

=
Y + iZ, pues R. De aqu que Y

= Y y Z

= Z. Como
las constantes en (4.1) son reales, entonces Y y Z cumpliran (4.1). Por
tanto, las combinaciones lineales aX +bX podran sustituirse por cY +dZ;
ademas X y X podran sustituirse por Y y Z. Con esto queda demostrado
el teorema.
Con lo que hemos observado hasta ahora tendra sentido denir, para
continua, el coeciente generalizado de Fourier como
A
m
=
, X
m
)
X
m
, X
m
)
y la serie generalizada de Fourier para es

A
m
X
m
.
Para nalizar esta seccion, el siguiente teorema da condiciones sucientes
para que todos los valores propios sean no-negativos.
Teorema 4.5.2 Supongase que tenemos el problema de valores propios X

+
X = 0 en el intervalo (a, b) con condiciones el la frontera (4.1) que son
simetricas. Si ff

]
b
a
= 0 para toda funcion que cumpla (4.1), entonces no
hay valores propios negativos.
4.6 Mas sobre convergencia de series de Fourier
Nos referimos ahora al Teorema 4.4.4, donde se dieron condiciones sucientes
para la convergencia en tres sentidos de la serie de Fourier. Una vez que
repasamos condiciones masgenerales bajo las cuales se puede obtener un
sistema ortogonal de funciones, y en general hablar de series de Fourier,
repasaremos algunos argumentos adicionales al Teorema 4.4.4 considerando
dos tipos de convergencia.
55
4.6.1 Convergencia en L
2
Recuerdese que para f y g denidas en (a, b) y tomando valores en C,
habamos denido
f, g) =
_
b
a
fg y |f|
2
= f, f)
1/2
=
__
b
a
[f(x)[
2
dx
_
1/2
.
Denotaremos por L
2
a la coleccion de funciones para las cuales |f|
2
< .
El primer resultado que mostraremos se reere a minimizar el residuo
_
_
_
_
_
f
N

n=1
c
n
X
n
_
_
_
_
_
de manera que tengamos una buena aproximacion a f por medio de sumas
parciales de Fourier.
Teorema 4.6.2 Sea X
n
un sistema ortogonal y sean f L
2
y N un en-
tero positivo jo. Entonces de entre las elecciones de N constantes c
1
, c
2
, . . . , c
N
,
la eleccion que minimiza a
_
_
_f

N
n=1
c
n
X
n
_
_
_ es
c
m
= A
m

f, X
m
)
|X
m
|
2
, m = 1, 2, . . . , N
Para la demostracion podemos suponer que tanto f como X
n
son fun-
ciones reales. Expandiendo el cuadrado se tiene
_
_
_
_
_
f
N

n=1
c
n
X
n
_
_
_
_
_
=
_
b
a

f(x)
N

m=1
c
m
X
m
(x)

2
dx =
_
b
a
[f(x)[
2

2
N

m=1
c
m
_
b
a
f(x)X
m
(x)dx +

m
c
n
c
m
_
b
a
X
n
(x)X
m
(x)dx
que por la ortogonalidad se reduce a
|f|
2
2
2
N

m=1
c
n
f, X
m
) +
N

m=1
c
2
m
|X
m
|
2
.
Completando el cuadrado, esta expresion se convierte en
|f|
2
2
+
N

m=1
|X
m
|
2
2
_
c
n

f, X
m
)
|X
m
|
2
2
_
2

m=1
f, X
m
)
2
|X
m
|
2
2
,
56
expresion que se hara mnima cuando c
n
= f, X
m
)/|X
m
|
2
2
, es decir cuando
c
m
= A
m
.
A partir de esta demostracion podemos obtener una dsigualdad conocida.
En efecto, si tomamos c
m
= A
m
tendremos
0 |f|
2
2

N

m=1
f, X
m
)
2
|X
m
|
2
2
= |f|
2
2

N

m=1
A
2
m
|X
m
|
2
2
,
que es valida para toda N. Sacando lmites obtenemos la llamada desigual-
dad de Bessel:

m=1
A
2
m
_
b
a
[X
m
(x)[
2
dx
_
b
a
[f(x)[
2
dx.
Tener igualdad en lugar de desigualdad en esta expresion tiene consecencias
importantes.
Teorema 4.6.3 La serie de Fourier de f(x) converge a f(x) en L
2
si y solo
si

m=1
A
2
m
_
b
a
[X
m
(x)[
2
dx =
_
b
a
[f(x)[
2
dx.
A esta ecuacion se le conoce como identidad de Parseval. La demostracion
es mas o menos inmediata y la omitimos.
4.6.4 Convergencia puntual
Supongamos que f es de clase C
1
y denotemos por S
N
la suma parcial de
la suma trigonometrica
S
N
(x) =
1
2
+
N

n=1
(A
n
cos nx +B
n
sen nx)
donde
A
n
=
1

f(y) cos ny dy, n = 0, 1, 2, . . .


B
n
=
1

f(y) sen ny dy, n = 1, 2, 3, . . .


Fijemos x R y demostremos que S
N
(x) converge a f(x).
57
Paso 1. Sustituimos las formulas de los coecientes de Fourier en la suma
parcial:
S
N
(x) =
1

_
1 + 2
N

n=1
(cos ny cos nx + sen ny sen nx)
_
f(y) dy
=
1

K
N
(x y)f(y) dy
donde
K
N
(s) = 1 + 2
N

n=1
cos s
es conocido como el n ucleo de Dirichlet.
Paso 2. Una forma equivalente de escribir a K
N
:
K
N
(s) = 1 + 2
N

n=1
_
e
ins
+e
ins
_
= 1 +
N

n=N
e
ins
.

Esto esta dado por una serie geometrica, y por tanto


K
N
(s) =
e
iNs
e
i(N+1)s
1 e
is
=
e
i(N+1/2)s
e
i(N+1/2)s
e
is/2
e
is/2
=
sen(N + 1/2)s
sen s/2
Observese que tambien se tiene
1

K
N
(s)ds = 1
y que K
N
es par.
Paso 3. Usar un cambio de variable y el calculo del paso 2 para obtener
S
N
(x) =
_
x+
x
pues K
N
tiene periodo 2. De aqu se obtiene
S
N
(x) f(x) =
1
2
_

K
N
(s) [f(x +s) f(x)] ds
=
1
2
_

g(s) sen[(N + 1/2)s] ds


58
donde
g(s) =
f(x +s) f(x)
sen s/2
Paso 4. Probar que la integral tiende a 0.
Observese que
(
s) = sen[(N + 1/2)s] es una funcion propia correspon-
diente a condiciones en la frontera mixtas, por lo que
n
forma un sistema
ortogonal, para el cual se cimplira la desigualdad de Bessel:

n=1
g,
n
)
2
||
2
2
|g|
2
2
(4.4)
Ademas ||
2
2
= y
|g|
2
2
=
_

[f(x +s) f(x)[


2
[ sen s/2[
2
ds
y que esta expresion es continua salvo quizas en s = 0, en donde ocurre que
lim
s0
g(s) = lim
s0
f(x +s) f(x)
s
s
sen s/2
= 2f

(x).
En conclusion la suma en (4.4) es convergente, por lo que g,
n
) converge
a 0, es decir S
N
(x) converge a f(x).
59
Captulo 5
Ecuacion de Laplace
5.1 Principio del maximo
Para la ecuacion de Laplace existe una terminologa especializada, pues a
las soluciones a u = 0 se les llama funciones armonicas. Las funciones
armonicas aparecen en situaciones variadas:
1. Electrostatica. Las ecuaciones de Maxwell son
_
rot

E = 0
div

E = 4
La primera ecucion implica que existe un a fucnon tal que

E = .
Por tanto = div = 4, y entonces + 4 es armonica.
2. Variable Compleja. Si f : C C, digamos f = u + iv, decimos
que f es analtica si f admite una representacion en serie de la forma
f(z) =

A
n
z
n
, con coecientes A
n
C, valida para toda z C.
Como se tiene la representacion u + iv =

A
n
z
n
, se cumpliran las
llamadas ecuaciones de Cauchy-Riemann:
u
x
=
v
y
,
u
y
=
v
x
Derivando una vez mas se obtiene
u
xx
= v
yx
= v
xy
= u
yy
, es decir u
xx
+u
yy
= 0.
Un razonamiento similar funciona para concluir que las partes reales
e imaginaria de una funcion analtica son armonicas.
60
3. Movimiento Browniano. Supongase que en un recipiente D se en-
cuentran partculas suspendidas, con movimiento aleatorio, hasta que
tocan la frontera de D y entonces se detienen. Si u(x, y, z) es la prob-
abilidad de que (x, y, z) se pare en alg un punto de B
1
= x : [x z[ <
D, donde z D esta jo de antemano y > 0 tambien es jo,
entonces se cumplira:
_
_
_
u = 0 en D
u = 1 en B
1
u = 0 en D B
1
En todos estos casos hemos obtenido funciones armonicas. Veremos
propiedades de funciones armonicas para luego ver formulas que permitan
concluir la existencia de soluciones a problemas con valores en la frontera.
Teorema 5.1.1 (Principio del maximo) Sea D un abierto conexo y aco-
tado de R
2
o de R
3
. Sea u una funcion armonica en D continua en D. En-
tonces los maximos y mnimos de u se alcanzan en D y no en el interior
de D.
La demostracion del teorema es como sigue. Dada > 0 denimos
v(x) = u(x) + [x[
2
. Entonces v = u + [x[
2
> 0. Pero v 0 en
puntos maximos interiores en D, por lo que v no tendra maximos interiores
en D. Como v es continua, alcanzara su maximo en v, por lo que de hecho
alcanzara este maximo en x
0
= D. Se tendra pues
u(x) < v(x) v(x
0
) = u(x
0
) +[x
0
[
2
max
D
u +
donde = max[x[ : x D. Como la > 0 es arbitraria concluimos que
u(x) maxu(x) : x D. Como este maximo se alcanza en alg un punto
x
M
D, tendremos u(x) u(x
M
) para todo x D.
Observacion 5.1.2 Existe un principio del mnimo, con un enunciado mas
o menos obvio, y cuya demostracion se sigue al aplicar el principio del
maximo a la funcion u.
Como consecuencia del principio del maximo podemos probar la unicidad
en problemas de tipo Dirichlet.
Teorema 5.1.3 (Unicidad en el problema de Dirichlet) Si u
1
y u
2
cumplen
_
u = f enD
u = h enD
donde f y h son funciones continuas, entonces u
1
= u
2
en D.
61
Si w = u
1
u
2
, entonces w = 0 y w = 0 en D. Aplicando el principio
del maximo
0 = w(x
M
) w(x) (x
M
) = 0, para todo x D
por lo que w(x) = 0 en todo D.
5.2 Soluciones radiales fundamentales
Las funciones armonicas son invariantes bajo ciertas transformaciones rgidas,
com rotaciones y traslaciones. Para ser precisos, si se denene las nuevas
coordenadas

X

=

X +

A entonces

X
u =

u, sin importar la dimension


de

X.
Una nocion que se puede dar para cualquier dimension es la de funciones
radiales. Decimos que f es radial si f(x) = f([x[), es decir, si es consante en
esferas concentricas. Para hallar las funciones armonicas que son invariantes
bajorotaciones, o lo que es lo mismo radiales, consideraremos los casos n = 2
y n = 3 independientemente.
5.2.1 Coordenadas polares en R
2
Si hacemos el cambio de coordenadas
_
x

_
=
_
cos sen
sen cos
__
x
y
_
Se seguira cumpliendo u
xx
+u
yy
= u
x

x
+u
y

y
. Usando coordenadas polares
x = r cos , y = r sen
su jacobiano sera
det
_
x/r y/r
x/ y/
_
= det
_
cos sen
r sen r cos
_
= r
y la matriz jacobiana inversa es
_
cos sen /r
sen cos /r
_
Por tanto tenemos

x
= cos

r

sen
r

y
= sen

r
+
cos
r

62
Al sacar cuadrados a estos operadores obtenemos

2
x
2
= cos
2


2
r
2
2
_
sen cos
r
_

2
r
+
+
sen
2

r
2

2
+ 2
_
sen cos
r
2
_

+
sen
2

2
y
2
= sen
2


2
r
2
+ 2
_
sen cos
r
_

2
r
+
+
cos
2

r
2

2
+ 2
_
sen cos
r
2
_

+
cos
2

r
Sumando obtenemos
=

2
r
2
+
1
r

r
+
1
r
2

2
(5.1)
que dene al laplaciano en coordenadas polares.
Observese que si u es una funcion armonica y radial, entonces cumplira
u
rr
+
1
r
u
r
= 0
o sea (ru
r
)
r
= 0. De aqu que una solucion radial en R
2
tendra la forma
u(r, ) = c
1
log r +c
2
. (5.2)
A esta le llamaremos solucion radial fundamental en R
2
.
5.2.2 Coordenadas esfericas en R
3
Una rotacion en dimension n = 3 esta dada por

X

= B

X, donde B es una
matriz tal que B
t
B = BB
t
= I. Para las coordenadas esfericas consideramos
r =
_
x
2
+y
2
+z
2

s
2
+z
2
es decir s =
_
x
2
+y
2
; ademas
x = s cos , y = s sen , z = cos , s = r sen .
Notese que usando la formula de coordenadas polares del parrafo anterior
u
zz
+u
ss
= u
rr
+
1
r
u
r
+
1
r
2
u

u
xx
+u
yy
= u
ss
+
1
s
u
s
+
1
s
2
u

Sumando
= u
rr
+
1
r
u
r
+
1
r
2
u

+
1
s
u
s
+
1
s
2
u

.
63
Usando s
2
= r
2
sen
2
obtenemos
u
s
= u
r
r
s
+u

s
+u

s
= u
r
s
r
+u

cos
r
Por tanto
u = u
rr
+
2
r
u
r
+
1
r
2
_
u

+ (cot )u

+
1
sen
2

_
representa al laplaciano en coordenadas esfericas. Si de nuevo buscaramos
funciones armonicas invariantes bajo rotaciones (radiales), tendramos
0 = u
rr
+
2
r
u
r
, por lo que (r
2
u
r
)
r
= 0.
En conclusion u = c
1
/r + c
2
, a la cual llamaremos solucion radial funda-
mental en R
3
.
Notemos que en ambos casos la solucion fundamental radial tienen una
singularidad en el orgen
5.3 Formula de Poisson
En R
2
consideremos el problema
_
u
xx
+u
yy
= 0 en x
2
+y
2
< a
2
u = h si x
2
+y
2
= a
2
(5.3)
donde h es continua para x
2
+ y
2
= a
2
. Separando variables buscamos una
solucion de la forma u(r, ) = R(r)T().
En este caso sabemos que el laplaciano se podra escribir
u = u
rr
+
1
r
u
r
+
1
r
2
u

= R

T +
1
r
R

T +
1
r
2
RT

.
Dividiendo entre RT y multiplicando por r
2
obtenemos
T

+T = 0, r
2
R

+rR

R = 0.
Las condiciones en la frontera que suenan naturales para T seran que
fuera 2-periodica. Por lo aprendido anteriormente, se tiene que = n
2
y
T
n
() = A
n
cos n +B
n
sen n, n = 1, 2, . . . , mientras que T
0
() = A
0
, para
= 0.
64
La ecuacion para R es de tipo Euler y tendra la forma R(r) = r

, con
cumpliendo ( 1)r

+r

n
2
r

= 0. De aqu que = n y entonces


R
n
(r) = C
n
r
n
+D
n
r
n
.
Las soluciones que propondamos tendran entonces la forma
u(r, ) =
_
C
n
r
n
+
D
r
n
_
(A
n
cos n +B
n
sen n) , n = 1, 2, . . .
mientras que para = 0 se tendra
u(r, ) = C +Dlog r.
Imponiendo la condicion en u de que sea nita en r = 0, estas soluciones se
pueden agrupar en una solucion de la forma
u(r, ) =
1
2
A
0
+

n1
r
n
(A
n
cos n +B
n
sen n)
siempre que la funcion de condiciones en la frontera tenga la forma
h() =
1
2
A
0
+

n1
a
n
(A
n
cos n +B
n
sen n) .
Sabemos que esto ocurre cuando
A
n
=
1
a
n
_
2
0
h(s) cos ns ds
B
n
=
1
a
n
_
2
0
h(s) sen ns ds.
Al sustituir estas expresiones obtenemos
u(r, ) =
1
2
_
2
0
h(s) ds +
+

n1
r
n
a
n
_
2
0
h(s) (cos ns cos n + sen ns sen n) ds
=
1
2
_
2
0
h(s)
_
_
1 + 2

n1
_
r
a
_
n
cos n( s)
_
_
ds
=
1
2
_
2
0
h(s)
_
_

n1
_
r
a
_
n
e
in(s)
_
_
ds
65
usando identidades trigonometricas. Ahora usamos formulas para series
geometricas para llegar a
1
2
_
2
0
h(s)
_
1 +
re
i(s)
a re
i(s)
+
re
i(s)
a re
i(s)
_
ds =
=
1
2
_
2
0
h(s)
_
1 +
r
ae
i(s)
r
+
r
ae
i(s)
r
_
ds
=
1
2
_
2
0
h(s)
_
1 +
are
i(s)
+are
i(s)
2r
2
a
2
ar(e
i(s)
+e
i(s)
) +r
2
_
ds
=
1
2
_
2
0
h(s)
_
1 +
ar(2 cos( s)) 2r
2
a
2
2ar cos( s) +r
2
_
ds
=
1
2
_
2
0
h(s)
_
a
2
r
2
a
2
2ar cos( s) +r
2
_
ds (5.4)
que es conocida como formula de Poisson. Proporciona en una sola expresion
la solucion al problema (5.3) como una integral de tipo convolucion (como
en el caso de la formula de Gauss) involucrando al dato en la frontera. A la
expresion
P
r
(s) =
a
2
r
2
a
2
2ar cos(s) +r
2
(5.5)
es conocida como n ucleo de Poisson.
5.4 Consecuencias y variaciones de la Formula de
Poisson
Hallaremos ahora una forma equivalente de la formula de Poisson que tendra
la apariencia que tomara en dimension n = 3. Si x = (r), x

= (a, ),
entonces por la ley de cosenos se tiene [x x

[
2
= a
2
+ r
2
2ar cos( s).
Como el elemento de longitud es d =
_
x
2
+ y
2
dt = a dt tendremos
u(x) =
a
2
[x[
2
2a
_
|x

|=a
u(x

)
[x x

[
2
d
que es una integral de linea. Como consecuencia obtenemos
Teorema 5.4.1 (Propiedad del valor medio) Si u es una funcion armo-
nica en un disco D de radio a > 0 y continua en D, entonces el valor de u
en el centro de D es el promedio de u en la frontera.
66
Para la demostracion trasladamos el centro de D al orgen y aplicamos
la formula de Poisson:
u(0) =
a
2
2a
_
|x

|=a
u(x

)
a
2
d =
1
2a
_
|x

|=a
u(x

)d.
Una consecuencia de esta formula es la siguiente mejora al proncipio del
maximo.
Teorema 5.4.2 (Principio fuerte del maximo) Si el maximo de una funcion
armonica u en D se alcanza en un punto x
M
D entonces u es constante.
Para demostrarlo, sabemos que u(x) u(x
M
) M para toda x D.
Como D es abierto, se puede hallar un crculo ( alrededor de x
M
totalmente
contenido en D. Entonces
M = u(x
M
) =
1
longitud (
_
C
u(x

)d M
por lo que u(x) = M para todo x (. Como el crculo rodeando x
M
fue
arbitrario, podemos concluir que u(x) = M en todo el disco rodeado por (.
Usando una cubierta de D por medio de discos, y repitiendo el argumento
concluimos que u es constante en D.
Teorema 5.4.3 Una funcion armonica en un abierto D del plano tiene
derivadas parciales de todos los ordenes en D.
Esta vez, para la demostracion, usaremos la formula de Poisson directa-
mente. Como
u(x) =
a
2
[x[
2
2a
_
|x

|=a
u(x

)
[x x

[
2
d
y el integrando es diferenciable como funcion de x (pues x

,= x), para x D
arbitrario se toma una bola alrededor de x y se aplica esta idea.
A continuacion veremos otros dominios en los que podemos aplicar las
tecnicas anteriores.
Ejemplo 5.4.4 (Sectores circulares) Consideremos el problema en el sec-
tor circular de angulo , con datos en la frontera
u(r, 0) = u(r, ) = 0, u
r
(a, ) = h().
67
Como en la deduccion de la formula de Poisson usamos separacion de vari-
ables para proponer la solucion de forma u(r, ) = R(r)T(). Tendramos
T

+T = 0, r
2
R

+rR

R = 0
Las condiciones para T son T(0) = T() = 0, por lo que
=
_
n

_
2
, T(t) = sen nt/.
Por otro lado R(r) = r

con cumpliendo
2
= 0, es decir = n/.
Una vez mas requerimos que las soluciones sean nitas en el origen, por lo
que nos queda
u(r, ) =

n1
A
n
r
n/
sen n/.
La condicion en la frontera tendra que escribirse como
h() =

n1
A
n
n

a
1+n/
sen
n

,
que es una serie de seno en el intervalo (0, ), por lo que
A
n
= a
1+n/
2
n
_

0
h() sen
n

d.
Ejemplo 5.4.5 (Exterior de un disco) Consideramos esta vez
_
_
_
u
xx
+u
yy
= 0 en x
2
+y
2
> a
2
u = h si x
2
+y
2
= a
2
u acotada si x
2
+y
2

donde h es continua para x
2
+ y
2
= a
2
. La condicion tercera, que parece
ser la mas apropiada para eliminar singularidades en innito, implica que al
repetir la separacion de variables como anteriormente, nos quede
u(r, ) =
1
2
A
0
+

n1
r
n
(A
n
cos n +B
n
sen n)
(pues se han eliminado las soluciones R(r) = r
n
y R(r) = log r), y el dato
en la frontera debera tener la forma
h() =
1
2
A
0
+

n1
a
n
(A
n
cos n +B
n
sen n) .
68

Esta es una serie completa de Fourier en (, ) por lo que


A
n
=
a
n

_
2
0
h(s) cos ns ds
B
n
=
a
n

_
2
0
h(s) sen ns ds.
Siguiendo el procedimiento detallado arriba obtenemos la siguiente formula
para u:
u(r, ) =
1
2
_
2
0
h(s)
_
r
2
a
2
a
2
2ar cos( s) +r
2
_
ds
5.5 Identidades de Green y algunas consecuencias
Recordemos que el teorema de divergencia implica que si D R
3
, y

F es
un campo vectorial en R
3
___
D
div

F dX =
__
D

F nd
donde n denota el vector normal exterior a D unitario. Notemos tambien
que div(vu) = u v +vu, para funciones suaves u y v. De aqu que
__
D
v
u
n
d =
___
D
v udX +
___
D
vudX (5.6)
lo cual nos da una formula de integracion por partes. Tomando v = 1 se
obtiene la primera identidad de Green
__
D
u
n
d =
___
D
udX. (5.7)
Intercamiando u y v en (5.6) y restando las correspondientes formulas obten-
emos la segunda identidad de Green:
__
D
v
u
n
d
__
D
u
v
n
d =
___
D
vudX
___
D
uvdX. (5.8)
Enunciaremos algunas consecuencias de estas identidades a manera de
ejemplos.
Ejemplo 5.5.1 La primera identidad de Green implica que para el prob-
lema de Neumann
_
u = f en D
u/n = h en D
69
se debe tener __
D
hd =
___
D
f dX.

Esto ya por s implica que el problema de Neumann no esta bien planteado.


Observese ademas que a una solucion al problema se le puede sumar una
constante y de este modo se perdera la unicidad.
Ejemplo 5.5.2 Ahora obtendremos la propiedad del valor medio en R
3
.
Sea D = X : [X[ < a. Entonces si u = 0 en cualquier region que
contenga a D tendremos
u
n
= n u =
1
r
X u =
x
r
u
x
+
y
r
u
y
+
z
r
u
z
=
u
r
,
donde r = [X[. Por (5.7) se tendra
__
D
u
r
d = 0
que en coordenadas esfericas toma la forma
_
2
0
_

0
u
r
(a, , )a
2
sen dd = 0.
Dividiendo por el area de D, que es 4a
2
, y viendo a la integral como
funcion de a, podemos intercambiar la derivada con la integral y obtener

r
_
1
4
_
2
0
_

0
u(a, , ) sen dd
_
= 0.
Por lo tanto, el promedio de u en la esfera D, es decir
1
4
_
2
0
_

0
u(a, , ) sen dd,
no depende de a. Si a tiende a cero se obtendra
1
4
_
2
0
_

0
u(0) sen dd = u(0).
En conclusion, si S = D y es su medida de supercie
u(0) =
1
area S
_
S
ud (5.9)
que es la formula del principio del valor medio en R
3
. A partir de esta
formula se puede obtener el principio del maximo de igual manera a como
se probo en R
2
.
70
Ejemplo 5.5.3 Ahora podemos obtener la unicidad en el problema de Dirich-
let
_
u = f en D
u = h en D
Si u
1
y u
2
son soluciones de este problema quisieramos probar que u
1
= u
2
.
Observemos que si u = v en (5.6), ambas igual a la funcion que denotaremos
por w, obtendramos
__
D
w
w
n
d =
___
D
[w[
2
dX +
___
D
ww
Si ponemos w = u
1
u
2
, resultara esta ser una funcion armonica con dato
en la frontera igual a cero, y entonces tenemos
___
D
[w[
2
dX = 0. (5.10)
El razonamiento anterior podra haberse hecho para cualquier subdominio
D

de D y obtener (5.10) en ese subdominio.



Esto implica que [w[ = 0
en D, y como w es cero en D, se tendra w 0 en todo D, lo cual implica
nuestra armacion.
Una consecuencia digna de enunciarse como un teorema es el llamado
Principio de Dirichlet, que establece otro modo de ver a las funciones armonicas
con cierta condicion en la frontera pre-establecida.
Teorema 5.5.4 (Principio de Dirichlet) Supongase que u cumple
_
u = 0 en D
u = h en D
Para w denida en D, y tal que w = h denamos la energa como
Ew =
1
2
___
D
[w[
2
dX.
Entonces Ew Eu.
En otras palabras, de entre todas las funciones con dato en la frontera
dado por h, la que minimiza la energa es la funcion armonica que es solucion
al problema de Dirichlet correspondiente.
La demostracion de este teorema es como sigue. Sea v = uw, de modo
que
Ew =
1
2
___
D
[(u v)[
2
dX = Eu
___
D
(u v) dX +Ev.
71
Usando (5.6) concluimos que
___
D
(u v) dX = 0
por lo que Ew = Eu +Ev Eu, y el teorema queda demostrado.
Una ultima consecuencia de las identidades de Green, que establecemos
para dar paso a la denicion y propiedades de la funcion de Green, en la
siguiente seccion, es el siguiente
Teorema 5.5.5 (Teorema de representacion) Si u = 0 en D R
3
entonces
u(X
0
) =
1
4
__
D
_
u(X)

n
_
1
[X X
0
[
_
+
1
[X X
0
[
u
n
_
d (5.11)
Para la demostracion, notemos que las identidades de Green podran
aplicarse, salvo que 1/(4[X X
0
[) es singular en X
0
. Para esquivar este
obstaculo denamos D

= X D : [X X
0
[ > , y en todo caso
trasladamos todo para que X
0
coincida con el origen. Sea
v(x, y, z) =
1
4
1
(x
2
+y
2
+z
2
)
1/2
.
Se tendra entonces por (5.8)

__
D
_
u
v
n
v
u
n
_
d = 0
y como D

= D X : [X[ = tendremos

__
D
_
u
v
n
v
u
n
_
d =
__
{X:|X|=}
_
u
v
n
v
u
n
_
d (5.12)
y bastara mostrar que el lado derecho de esta igualdad tiende a 4u(

0)
cuando 0.
Sea r = (x
2
+y
2
+z
2
)
1/2
y notemos que /n = /r, y que r
1
/r =
r
2
implica que para r = tendremos (r
1
/r)() =
2
. Entonces el lado
derecho de (5.12) es
1

2
__
r=
ud +
1

__
r=
u
r
d = 4M

(u) + 4M

_
u
r
_
donde M
R
f denota el promedio integral de f en una esfera centrada en el
origen de radio R > 0. Si ahora tiende a cero el lado derecho tiende a
4u(

0), pues u es continua y u/r es acotada. El teorema queda entonces


demostrado.
72
Observacion 5.5.6 Observando a detalle esta demostracion, no sera difcil
convencerse que la formula (5.11) en R
2
toma la forma
u(X
0
) =
1
2
_
D
_
u(X)

n
(log [X X
0
[) + log [X X
0
[
u
n
_
d (5.13)
5.6 Funciones de Green
Basados en observaciones de la seccion anterior denimos ahora la funcion
de Green de con polo en X
0
, en el dominio D como la funcion G(X, X
0
)
denida para X D que cumple
(i) Como funcion de X, G(X, X
0
) es armonica excepto en X = X
0
;
(ii) G(P, X
0
) = 0 para todo P D;
(iii) G(X, X
0
) = W(X) 1/(4[XX
0
[) para cierta funcion W, armonica
en D, y sin singularidades en X = X
0
.
No es difcil ver que la funcion de Green de con polo en X
0
, en el dominio
D siempre existe y es unica.
Teorema 5.6.1 (Formula general de Poisson) Si G(X, X
0
) es la funcion
de Green de con polo en X
0
, en el dominio D, entonces la solucion del
problema de Dirichlet con dato en la frontera h(X) es
u(X
0
) =
__
D
h(X)
G(X, , X
0
)
n
d (5.14)
Observese que la formula guarda un gran parecido con la formula de
Poisson (5.4), por lo que a la derivada normal de la funcion de Green se
le conocera como n ucleo de Poisson generalizado, en analoga con (5.5) del
caso bidimensional.
Del teorema de representacion sabemos que
u(X
0
) =
__
D
_
u
v
n
v
u
n
_
d
con v(X) = 1/(4[X X
0
[), y por denicion G(X, X
0
) = v(X) + W(X).
La identidad de Green (5.8) aplicada a W y u nos da
0 =
__
D
_
u
W
n
W
u
n
_
d.
73
Sumando estas ultimas dos identidades obtenemos
u(X
0
) =
__
D
_
u(X)
G(X, X
0
)
n
G(X, X
0
)
u(X)
n
_
d
=
__
D
u(X)
G(X, X
0
)
n
d
por la segunda propiedad en la denicion de G(X, X
0
), lo cual establece el
teorema.
Teorema 5.6.2 (Simetra de la funcion de Green) G(X, X
0
) = G(X
0
, X)
siempre que X ,= X
0
.
Sean a, b D, a ,= b, de manera que querramos demostrar que G(a, b) =
G(b, a). Para tal efecto, sean u(X) = G(X, a) y v(X) = G(X, b). Denamos
esta vez D

como el dominio D luego de extirparle dos esferas, una alrededor


de a y la otra alrededor de b, ambas de radio > 0:
D

= D (X : [X a[ < X : [X b[ < ) .
Tendremos pues por la identidad (5.8)
___
D
(uv vu)dX =
__
D
_
u
v
n
v
u
n
_
d
=
_
_
_
_
D
+
_
|Xa|=
+
_
|Xb|=
_
_
_
_
u
v
n
v
u
n
_
d
I +A

+B

Como u y v son armonicas, el lado izquierdo es cero, y como u y v se


anulan en D se tendra I = 0 y por tanto A

+ B

= 0 para toda > 0.


De existir ambos lmites, tendramos lim
0
A

+lim
0
B

= 0, por lo que
nos damos a la terea de hallar estos lmites. Por la tercera propiedad de la
funcion de Green y usanod coordenadas esfericas
lim
0
A

= lim
0
__
{r=}
__

1
4r
+W
_
v
n
v

n
_

1
4r
+W
__
r
2
sen dd.
Todos los terminos son cero excepto el tercero, por lo que
lim
0
A

= lim
0
_
2
0
_

0
v
1
4
2

2
sen dd = v(a).
74
Similarmente se puede ver que lim
0
B

= u(b) por lo que concluimos


0 = lim
0
(A

+B

) = G(a, b) G(b, a).


Ejemplo 5.6.3 La funcion de Green y las tecnicas recien expuestas sirven
para dar una forma explcita a la solucion al problema de Dirichlet asociado
a la ecuacion de Poisson:
_
u = f en D
u = h en D
La solucion esta dada por
u(X
0
) =
__
D
h(X)
G(X, X
0
)
n
d +
___
D
f(X)G(X, X
0
)dX,
y para demostrarlo basta iniciar con
___
D
f(X)G(X, X
0
)dX y luego usar las
identidades y tecnicas de esta seccion. Es un buen ejercicio para el lector.
Observacion 5.6.4 El ejemplo anterior se usa a veces para denir a la
funcion de Green asociada a operadores diferenciales L mas generales que
. La funcion de Green sera la solucion en cierto espacio de funciones al
problema
_
Lu = f en D
u = 0 en D
que estara representada por la formula
u(X
0
) =
___
D
f(X)G(X, X
0
)dX.

Esto se aclarara al usar distribuciones.


Para nalizar este captulo veremos dos ejemplos concretos de la formula
(5.14): semiespacios y esferas. En ambos ejemplos la simetra del dominio es
importante, as como el poder calcular explcitamente las derivadas normales
en dichos dominios.
Ejemplo 5.6.5 (Semiespacio superior) Denamos R
3
+
= (x, y, z) R
3
:
z > 0, y para X = (x, y, z) R
3
n denamos X

= (x, y, z). Armamos


ahora que
G(X, X
0
) =
1
4[X X
0
[
+
1
4[X X

0
[
(5.15)
75
es la funcion de Green en R
3
+
. Para vericar esto vericaremos las tres
propiedades de la denicion. Claramente G(X, X
0
) es armonica como funcion
de X, excepto en X
0
. Ademas
W(X) =
1
4[X X

0
[
es armonica en todo R
3
+
, pues X

0
/ R
3
+
. Finalmente si P R
3
+
= x, y, 0) :
x R, y R entonces [P X
0
[ = [P X

0
[, por lo que G(P, X
0
) = 0.
Para darle una foma explcita a la formula de Poisson generalizada, es
decir a la solucion de
_
u = f en R
3
+
u = 0 en R
3
+
notemos que /n = /z. Por tanto

G(X, X
0
)
z

z=0
=
1
4
_
Z Z
0
[X X

0
[
3

Z Z
0
[X X
0
[
3
_
=
1
2
Z
0
[X X
0
[
3
y de aqu que
u(x
0
, y
0
, z
0
) =
z
0
2
_
h(x, y)
_
(x
0
)
2
+ (y y
0
)
2
+z
2
0

3/2
dxdy
o bien
u(X
0
) =
z
0
2
__
R
2
h(P)
[P X
0
[
3
d
Ejemplo 5.6.6 (Esferas) Sea D = X R
3
: [X[ < a, y para obtener la
funcion de Green en D, denimos para X D su reexion X

con respecto
a D con las siguientes propiedades:
(i) X

0
es colineal con el origen y con X;
(ii) se cumple [X
0
[[X

0
[ = a
2
.
De la segunda propiedad es inmediato obtener
X

0
=
a
2
X
0
[X
0
[
2
.
Aqu armamos que la funcion de Green para D es
G(X, X
0
) =
1
4[X X
0
[
+
a
[X
0
[
1
4[X X

0
[
(5.16)
76
La demostracion dada en el inciso anterior sirve para este caso, excepto
por la segunda propiedad de la denicion de funcion de Green. Para esta
propiedad probaremos que [P X
0
[ y [P X

0
[ son proporcionales para
P D. Por triangulos semejantes tenemos
[P X
0
[ =

[X
0
[
a
P
a
[X
0
[
X
0

=
[X
0
[
a

P
a
2
[X
0
[
2
X
0

=
[X
0
[
a
[X X

0
[
Esta proporcionalidad implica que G(P, X
0
) = 0 para P D.
Para el caso particular en que X
0
es el origen, la funcion de Green toma
la forma
G(X, 0) =
1
4[X[
+
1
4a
pue la reexion del origen es el origen mismo.
Como antes, podramos dar una forma explcita a la formula de Poisson,
es decir a la solucion al problema
_
u = f en D
u = 0 en D
77
Captulo 6
Distribuciones
6.1 Deniciones y ejemplos basicos
Introduciremos primero algo de notacion. Llamaremos multi-ndice a cualquier
n-tupla = (
1
,
2
, . . . ,
n
), n 2,
i
N, i = 1, 2, . . . , n. Para cualquier
multi-ndice denimos [[ =

n
j=1

j
y ! =
1
!
2
! . . .
n
!. Si ahora
x = (x
1
, . . . , x
n
) R
n
denimos x

= x

1
1
. . . x
n
n
y al operador diferencial

=
n

j=1
_

x
j
_

j
=

||
x

1
1
x
n
n
donde el producto denota composicion de operadores. El gradiente de una
funcion escalar u sera u = (
1
u, . . . ,
n
u), donde aqu y en adelante se usa
la notacion
i
u = u/x
i
. SI F es un campo vectorial en R
n
denotamos por

F
la derivada direccional en direccion de F, es decir, para u una funcion
escalar,
F
u = F u.
Si R
n
es un abierto denimos los siguientes espacios de funciones:
C() es el espacio de funciones continuas en ;
C
k
() es el espacio de funciones cuyas derivadas hasta de orden k son
continuas en , k N;
C
k
() = u C
k
() :

ues continua en , 0 [[ k;
C

() =

k=1
C
k
(), C

() =

k=1
C
k
();
78
Para 0 < < 1, C

() denota al conjunto de u C() tales que para


todo compacto V existe C > 0 tal que
sup [u(x +y) u(x)[ : x V, [y[ peque no C[y[

;
Para k N y 0 < < 1, C
k+
() denota al conjunto de u C
k
()
tales que

u C

() si [[ = k.
El soporte de una funcion u es el complemento del abierto mas grande
en el que u = 0
C

c
() denota la clase de fnciones u C

() tales que el soporte de


u, contenido en , es compacto.
Decimos que una sucesion
6.2 Operaciones con distribuciones
6.3 Transformada de Fourier: propiedades basicas
6.4 Transformada de Fourier: uso en EDP
79
Bibliografa sugerida
[1] Boyce, W. E. y R. C. DiPrima: Elementary Dierential Equations and
boundary value problems, 5ta ed., John Wiley & Sons, New York, 1992.
[2] Courant R. y D. Hilbert: Methods of Mathematical Physics, 2 vol umenes,
John Wiley & Sons, New York, 1989.
[3] Folland, G. B.: Introduction to Partial Dierential Equations, Princeton
University Press, Princeton, 1995.
[4] John, F.: Partial Dierential Equations, 4a. edicion, Springer, New York,
1982.
[5] Marsden, J. y A. Tromba: Vector Calculus, W. H. Freeman, San Fran-
cisco, 1976.
[6] McOwen, R.: Partial Dierential Equations: methods and applications,
Prentice-Hall, Upper Saddle River, 1995.
[7] Strauss, W. A.: Partial Dierential Equations: an introduction, John
Wiley & Sons, New York, 1992.
[8] Weinberger, H. F.: A rst course in Partial Dierential Equations with
complex variables and transform methods, Dover, New York, 1995.
80