Vous êtes sur la page 1sur 78

Un primer curso en ecuaciones

diferenciales parciales.
Manuel Elgueta.

P. Universidad Catolica de Chile.

Indice general
Captulo 1. La ecuacion de Ondas en una dimension espacial.
1.1. La cuerda infinita.
1.2. La cuerda semi infinita.
1.3. La cuerda finita.

5
6
9
11

Captulo 2. Series de Fourier.


2.1. Un poco de Algebra Lineal.
2.2. El espacio L2 ([, ]).
2.3. La ecuacion de ondas va Series de Fourier.
2.4. Unicidad y energa.
2.5. La expansion de Fourier en funciones sin(nx).

13
13
14
18
19
20

Captulo 3. La ecuacion de Ondas en mas dimensiones.


3.1. La ecuacion de Ondas en R3
3.2. La ecuacion de Ondas en R2 .
3.3. La ecuacion de ondas no homogenea.
3.4. La energa.

25
25
29
30
31

Captulo 4. Ecuacion de Laplace y de Poisson.


4.1. La solucion fundamental.
4.2. Ecuacion de Laplace y funciones armonicas.
4.3. Formula de representaci
on.
4.4. La funcion de Green.
4.5. Metodos de energa.
4.6. El Principio de Dirichlet.

35
35
39
45
46
49
50

Captulo 5. La Ecuacion del Calor.


5.1. La solucion en RN .
5.2. La ecuacion del calor no homogenea.
5.3. El Principio del Maximo.

53
53
55
56

Captulo 6. Aproximacion por diferencias finitas.


6.1. El Laplaciano discreto.
6.2. El Principio del Maximo para el Laplaciano discreto.
6.3. Relacion entre el Laplaciano y el Laplaciano Discreto.
6.4. El problema de Dirichlet para la Ecuacion de Poisson.
6.5. El problema de Dirichlet para la ecuacion del calor.

61
61
62
64
64
65

Indice general

Captulo 7. La ecuacion de primer orden.


7.1. La ecuacion lineal con coeficientes constantes.
7.2. La ecuacion lineal en general.
7.3. La ecuacion cuasi lineal.
7.4. La ecuacion de transporte.
7.5. Mas dimensiones.

69
69
71
74
75
77

CAPITULO 1

La ecuaci
on de Ondas en una dimensi
on espacial.
Consideremos una cuerda perfectamente elastica que se mueve sobre un
plano. Elijamos un eje horizontal en el plano y modelaremos la forma de la
cuerda en un instante t por el grafico de una funcion u(, t) donde la cantidad
u(x, t) es el desplazamiento de la cuerda con respecto al eje horizontal en
el punto x en el instante t. Asumiremos que la cuerda se mueve solo verticalmente y por lo tanto los puntos de la cuerda no se desplazan en forma
horizontal. Tal hipotesis da una buena aproximaci
on para desplazamientos
peque
nos.
Buscaremos ahora una ecuacion que deba satisfacer u para, estudiando
las soluciones de la ecuacion, obtener informacion sobre como se mueve la
cuerda.
Para esto tomemos un intervalo
[x, x + h] R
de nuestro eje y calculemos de dos maneras distintas la fuerza total, F , que
act
ua sobre el pedazo de cuerda correspondiente a dicho intervalo.
Por un lado, por la ley de Newton F = ma y recordando que no hay
movimiento horizontal, tenemos que la fuerza total vertical es
Z x+h
F =
(y)utt (y, t)dy
x

donde (x) es la densidad de la cuerda en el punto correspondiente a x.


Por otra parte, en ausencia de roces y fuerzas externas, la fuerza esta dada por la tension en los extremos del pedazo de cuerda. Dicha tension act
ua
en la direccion tangente a la cuerda en el punto y por lo tanto

T (x + h) = H(x + h)(
+ ux (x + h, t)
)
y

).
T (x) = H(x)(
+ ux (x, t)
Como no hay movimiento horizontal se debe tener
H(x + h) = H(x)
5

DE ONDAS EN UNA DIMENSION


ESPACIAL.
1. LA ECUACION

y como x y h son arbitrarios se tiene


H(x) = H = C te .
As tenemos que la fuerza total vertical es
F = H(ux (x + h, t) ux (x, t)).
Igualando estas dos cantidades obtenemos
Z x+h
(y)utt (y, t)dy = H(ux (x + h, t) ux (x, t)).
x

Dividiendo por h y haciendo tender h a cero, del Teorema Fundamental


del Calculo, se obtiene
(x)utt (x, t) = Huxx (x, t)
que es la llamada Ecuacion de Ondas en una dimension espacial.
En lo que sigue del captulo, salvo aviso, supondremos que la cuerda
tiene densidad constante, , y pondremos
H
C2 = .

De este modo la ecuacion toma la forma


utt (x, t) = C 2 uxx (x, t).
Ejercicio. Repita la deduccion anterior para deducir que en el caso en que
sobre la cuerda act
ue una fuerza vertical f la ecuacion toma la forma no
homogenea
utt (x, t) = C 2 uxx (x, t) + f.
De que depende f ? Depende. Por ejemplo si hubiera roce se tendra f =
Kux . Imagnese otro tipo de fuerzas.
1.1.

La cuerda infinita.

Trabajaremos en el caso de una cuerda infinita, es decir buscaremos


funciones u(x, t) tales que
(1.1)

utt (x, t) = C 2 uxx (x, t) en R R.

La ecuacion (1.1) tiene infinitas soluciones. Por ejemplo las constantes,


u(x, t) = ax + bt, u(x, t) = cos(Ct) sin(x), combinaciones lineales de estas y
muchas mas. Busque otras. Para tener solucion u
nica debemos pedirle algo
mas a la solucion.
Para buscar soluciones de (1.1) supongamos que u(x, t) es una solucion
y consideremos la siguiente forma diferencial
(1.2)

w = ut dx + C 2 ux dt

1.1. LA CUERDA INFINITA.

La forma diferencial (1.2) tiene dos propiedades importantes. Primero


ella es cerrada (recuerde la formula de Green en el plano (x, t)), es decir

(C 2 ux ) (ut ) = C 2 uxx utt = 0.


x
t

(1.3)

La segunda propiedad es que es facil de integrar, como integral de lnea,


sobre segnentos de rectas de pendiente C1 o C1 . Tales segmentos seran
llamados segmentos caractersticos. En efecto tomemos el segmento
dado por
1
(s) = (s, t1 + (s x1 )) con x1 s x2 .
C
Este es el segmento, de pendiente C1 , recorrido desde el punto (x1 , t1 ) al
punto (x2 , t1 + (x2 x1 ) C1 ).
Se tiene para la integral de lnea
Z
Z x2
1
1
1
w=
(ut (s, t1 + (s x1 ))ds + C 2 ux (s, t1 + (s x1 )) )ds
C
C
C

x1
Z

x2

=C
x1

1
d
(u(s, t1 + (s x1 )))ds
ds
C

= C(u(x2 , t1 +

1
(x2 x1 )) u(x1 , t1 )).
C

Resumimos lo anterior en el lema siguiente para referirnos a el en el


futuro.
Lema 1.1.1. Si es un segmento de pendiente C1 recorrido hacia arriba,
entonces
Z
w = C(u(punto final ) u(punto inicial )).

De manera analoga, si es un segmento de pendiente C1 recorrido


hacia arriba, entonces
Z
w = C(u(punto final ) u(punto inicial )).

Recordemos la formula de Green. Si P dx + Qdt es una forma diferencial


y D una region suave y acotada en el plano, entonces
Z
Z
(Qx Pt ) =
(P dx + Qdt)
D

con la integral de lnea con la orientaci


on correcta.
Apliquemos dicha formula a nuestra forma diferencial w siendo la region
D el triangulo equilatero de vertices (x, t), (x Ct, 0) y (x + Ct, 0) de la
figura siguiente.

DE ONDAS EN UNA DIMENSION


ESPACIAL.
1. LA ECUACION

t
(x, t)

@
@
@@

(x Ct, 0)

x
(x + Ct, 0)

Se tiene entonces, llevando la cuenta de las orientaciones,


Z

x+Ct

0 = C(u((x Ct, 0) u(x, t)) C(u(x, t) u(x + Ct, 0)) +


xCt

ut (y, 0)dy.

Despejando obtenemos la conocida formula de DAlambert


Z x+Ct
u((x + Ct, 0) + u(x Ct, 0)
1
(1.4)
u(x, t) =
+
ut (y, 0)dy.
2
2C xCt
La formula precedente nos dice que, en general, el valor de u en (x, t)
queda determinado por los valores de u y ut en (x, 0). Esto nos conduce,
para singularizar una solucion, a considerar el problema de condiciones
iniciales
utt (x, t) = uxx (x, t) en R R
u(x, 0) = u0 (x)
para x R
(1.5)
ut (x, 0) = v0 (x)
para x R
donde u0 y v0 son datos iniciales dados que representan el desplazamiento
inicial y la velocidad vertical inicial respectivamente. En este caso la solucion
al problema (1.5) esta dada por
Z x+Ct
u0 (x + Ct) + u0 (x Ct)
1
(1.6)
u(x, t) =
+
v0 (y)dy.
2
2C xCt
Hacemos notar que nuestro argumento ha sido que si el problema (1.5)
tiene una solucion suave esta esta dada por (1.6). Dejamos al lector comprobar que si los datos iniciales u0 y v0 son buenos, entonces (1.6) nos provee
de una solucion.
La formula (1.6) tambien nos dice que el valor de u en el punto (x, t)
depende solo de los valores de las condiciones iniciales en el intervalo [x
Ct, x + Ct]. Por esta razon dicho intervalo se denomina el Dominio de
Dependencia del punto (x, t)
Otra obsevacion que viene al caso es la siguiente. Supongamos que los
datos iniciales estan soportados en el semi eje negativo, esto quiere decir que

1.2. LA CUERDA SEMI INFINITA.

u0 (y) = 0 y v0 (y) = 0 para todo y 0. Fijemos x > 0. Entonces se tiene


x
u(x, t) = 0 para todo t < .
C
Si ademas, por ejemplo, v0 0 en todo R y u0 (y) > 0 para todo y < 0 se
tendra
x
u(x, t) > 0 para todo t > .
C
Esto, mas un momento de reflexion, nos lleva a llamar a la constante C la
velocidad de propagaci
on de la onda. Recordemos que
C2 =

donde es la densidad y H esta relacionada con la tension. Se ve de aqu que


en las cuerdas mas pesadas y menos tensas las ondas se propagan mas lentamente que en las menos pesadas y mas tensas.
Ejercicio. Deduzca una formula de DAlambert para la solucion del problema
(1.7)

utt (x, t) = uxx (x, t) + f (x, t)


u(x, 0) = u0 (x)
ut (x, 0) = v0 (x)

en R R
para x R
para x R.

Cual es el dominio de dependencia de (x, t) en este caso?


1.2.

La cuerda semi infinita.

Estudiaremos aqu la ecuacion


utt (x, t) = uxx (x, t) + f (x, t) en [0, ) R
que modela una cuerda semi infinita.
En este caso ademas de prescribir condiciones iniciales hay que prescribir
tambien el comportamiento de la cuerda en el borde x = 0.
Una de las condiciones de borde mas comunes es la que prescribe el
desplazamiento de la cuerda en x = 0, que se dice condicion de borde tipo
Dirichlet,
u(0, t) = g(t)
donde g es una funcion dada. Por ejemplo g 0 modela una cuerda que
permanece fija en el origen.
Otro tipo com
un es el de Neumann en el cual se prescribe la tension
en el borde, es decir
ux (0, t) = h(t)
donde h es una funcion dada.

DE ONDAS EN UNA DIMENSION


ESPACIAL.
1. LA ECUACION

10

Consideremos ahora el problema de Dirichlet para la cuerda semi infinita


sin fuerzas externas. Este es
utt (x, t)
u(0, t)
u(x, 0)
ut (x, 0)

(1.8)

=
=
=
=

uxx (x, t)
g(t)
u0 (x)
v0 (x)

en [0, ) R
para t R
para x [0, )
para x [0, ).

Para obtener una solucion del problema (1.8) usaremos tambien el metodo de integrar la forma diferencial w. La diferencia con la seccion anterior
radica en que en este caso hay que tomar en cuenta los rebotes de la onda
en el extremo de la cuerda. Distinguimos dos casos.
Caso 1: Si x Ct el triangulo caracterstico esta contenido en el primer
cuadrante, de modo que no hay rebotes, y la solucion esta dada por la
formula (1.6) al igual que para la cuerda infinita.
Caso 1: Si x Ct. En este caso aplicamos el Teorema de Green a la forma
w en la region D de la figura

t
(x, t)
@
(0, Ctx
)
D @
C
@
@

x
(x + Ct, 0)

@@

(Ct x, 0)

Usando el Lema 1.1.1 obtenemos en este caso


u0 (x + Ct) u0 (x Ct)
Ct x
1
u(x, t) =
+ g(
)+
2
C
2C

x+Ct

Ctx

v0 (y)dy.

Hemos comprobado que si u es una solucion suave del problema (1.8),


entonces
(1.9)
u(x, y) =

R x+Ct

u0 (x+Ct)+u0 (xCt)
2

u0 (x+Ct)u0 (xCt)
2

+ g( Ctx
C )+

1
2C

x+Ct

v0 (y)dy si x Ct
1
2C

R x+Ct
Ctx

v0 (y)dy si x Ct.

1.3. LA CUERDA FINITA.

11

Ejercicio. Que condiciones de compatibilidad deben satisfacer u0 , v0 y g


para que (1.9) sea una solucion C 2 de (1.8)?
Ejercicio. Como se ven las soluciones si al problema anterior se agrega un
termino de fuerza externa?
Consideremos ahora el problema de Neumann para la cuerda semi
infinita sin fuerzas externas. Este es
(1.10)

utt (x, t)
ux (0, t)
u(x, 0)
ut (x, 0)

=
=
=
=

uxx (x, t)
h(t)
u0 (x)
v0 (x)

en [0, ) R
para t R
para x [0, )
para x [0, ).

En este caso aplicamos el Teorema de Green a la forma diferencial w en


la region D de la figura
t
(0, t)

@
@

@
@(x, t)
D @
@
@

(0, 0)

x
(Ct, 0)

para obtener
Z
u(0, t) = u0 (Ct) +

Ct

v0 (y)dy +

h(s)ds.
0

De este modo a partir del dato de Neumann, ux (0, t) = h(t), hemos


obtenido el dato de Dirichlet, u(0, t), y podemos aplicar la formula (1.9).
Ejercicio. Que condiciones de compatibilidad deben satisfacer u0 , v0 y h
para obtener una solucion C 2 de (1.12)?
1.3.

La cuerda finita.

Consideremos el caso de una cuerda finita de largo l. En este caso hay


que prescribir datos de borde en ambos extremos de la cuerda. Estos datos
podran ser del tipo, por ejemplo Dirichlet-Dirichlet, Dirichlet-Neumann o

12

DE ONDAS EN UNA DIMENSION


ESPACIAL.
1. LA ECUACION

Neumann-Neumann seg
un lo que se quiera modelar. El metodo para encontrar soluciones es el mismo de la seccion anterior solo que aqu aparecen mas
rebotes. Proponemos al lector los dos ejercios siguientes.
Ejercicio. Sea u una solucion de

(1.11)

utt (x, t)
ux (0, t)
u(1, t)
u(x, 0)
ut (x, 0)

=
=
=
=
=

uxx (x, t)
t
t2
sin(x)
0

en [0, 1] R
para t R
para t R
para x [0, 1]
para x [0, 1].

Calcular u( 12 , 3).
Ejercicio. Sea u una solucion suave de

(1.12)

utt (x, t)
u(0, t)
u(1, t)
u(x, 0)
ut (x, 0)

=
=
=
=
=

uxx (x, t)
0
0
u0 (x)
v0 (x)

en [0, 1] R
para t R
para t R
para x [0, 1]
para x [0, 1].

Demostrar que existe p > 0 tal que


u(x, t + p) = u(x, t)
para todo (x, t) [0, 1]R. Es decir u es una funcion periodica en la variable
t. Cual es este perodo?

CAPITULO 2

Series de Fourier.
En este captulo probaremos que toda funcion C 1 (R) y periodica, de
perodo 2, f : R R admite la expansion en serie

X
f (x) =
f(n)einx
n=

donde los coeficientes f(n) estan dados por


Z
1
f (x)einx dx
f(n) =
2
y la convergencia de la serie es en el sentido de la convergencia uniforme.
2.1.

Un poco de Algebra Lineal.

Necesitamos un recuerdo de Algebra Lineal. Sea V un espacio vectorial


complejo con un producto interno h , i. Para v V definimos la norma por
1

||v|| = hv , vi 2
y recordamos que para todo par u, v V vale la desigualdad de Cauchy Schwartz
|hu , vi| ||u|| ||v||.
Demuestrela, por lo menos en el caso real, como ejercicio.
Sea {en }nZ un conjunto ortonormal. Si v V denotaremos por PN (v) a
la proyeccion ortogonal de v sobre el subespacio de dimension finita generado
por los vectorex {eN , ....., eN }.
Es facil ver que
N
X

PN (v) =

hv , en ien

n=N

y que vale el Teorema de Pitagoras, compruebelo,


||v||2 = ||v PN (v)||2 + ||PN (v)||2 .
Como
||PN (v)||2 =

N
X
n=N
13

|hv , en i|2

14

2. SERIES DE FOURIER.

se tiene que
N
X

|hv , en i|2 ||v||2 .

n=N

Por lo tanto, tratandose de una serie de terminos positivos cuyas sumas


parciales estan acotadas, la serie

|hv , en i|2

n=

converge. En particular
lm |hv , en i| = 0.

|n|

2.2.

El espacio L2 ([, ]).

Denotaremos por L2 ([, ]) o simplemente por L2 al espacio vectorial


de todas las funciones f : [, ] C que pueden ser integradas, en el
sentido de Lebesgue (ver el curso de Integraci
on o de Teoria de la Medida),
y tales que
Z
1
|f (x)|2 dx < .
2
Para f, g L2 se define el producto interno
Z
1
hf , gi =
f (x)
g (x)dx.
2
De la desigualdad de Cauchy - Schwartz se deduce que si f, g L2 , entonces
hf , gi es finito. Ademas este producto interno induce la norma
Z
1
2
1
2
||f ||2 =
|f (x)| dx
.
2
Ejercicio: Compruebe que la familia
en (x) = einx = cos(x) + i sin(x)
con n Z es una familia ortonormal en L2 .
Para f L2 se define el n-esimo coeficiente de Fourier por
Z
1

f (n) = hf , en i =
f (x)einx dx.
2
La proyeccion ortogonal de f L2 sobre el espacio generado por
{eN , ....., eN } esta dada en este caso por la suma parcial
SN (x) =

N
X
n=N

f(n)einx

2.2. EL ESPACIO L2 ([, ]).

15

y por el Teorema de Pitagoras tenemos


||f ||22

= ||f

SN ||22

N
X

|f(n)|2 .

n=N

Expresemos ahora la suma parcial


SN (x) =

N
X

f(n)einx

n=N

de una forma mas conveniente. Recordando que


Z
1

f (n) =
f (y)einy dy
2
y substituyendo en la formula para SN obtenemos
!
Z X
N
1
ein(xy) f (y)dy.
SN (x) =
2
n=N

Hacemos notar que hemos intercambiado el orden de la integral y la suma,


paso lcito ya que la suma es finita.
Haciendo el cambio de variables z = x y y usando la periodicidad de
f podemos escribir
!
Z X
N
1
einz f (x z)dz.
SN (x) =
2
n=N

Evaluamos ahora la sumatoria

N
P

einz . Observamos que esta es una

n=N

progresion geometrica de razon eiz y por lo tanto


N
X

inz

n=N

ei(N +1)z eiN z


ei(N + 2 ))z ei(N + 2 )z
=
=
z
z
eiz 1
ei 2 ei 2
=

sin((N + 12 )z)
.
sin( z2 )

Tambien, integrando en la identidad precedente, se tiene


Z
sin((N + 12 )z)
1
dz = 1.
2
sin( z2 )
Ahora tenemos
1
SN (x) =
2

sin((N + 21 )z)
f (x z)dz
sin( z2 )

16

2. SERIES DE FOURIER.

y por otra parte


1
f (x) =
2

sin((N + 21 )z)
f (x)dz.
sin( z2 )

Restando se tiene
1
SN (x) f (x) =
2

sin((N + 12 )z)
(f (x z) f (x))dz.
sin( z2 )

Fijemos x por el momento. Podemos escribir


Z
1
1
SN (x) f (x) =
h(z) sin((N + )z)dz
2
2
donde, como f C 1 (R), la funcion
(
h(z) =

f (xz)f (x)
sin( z2 )
1 0
2 f (x)

si

z 6= x

si

z=x

es continua y por lo tanto h L2 .


No es dificil comprobar, hagalo, que la familia {wN (x)}N N definida por
1
wN (x) = C sin((N + )z)
2
es una familia ortonormal en L2 para una buena eleccion de la constante C.
De este modo para este x fijo tenemos
SN (x) f (x) = hh , wN i
y de los resultados abstractos de algebra lineal sigue que
lm SN (x) = f (x)

para este x fijo.


Hemos probado la convergencia puntual. Debemos probar la uniforme.
Ejercicio: Sea f C 1 (R) y periodica de perodo 2. Probar que
(f 0b)(n) = inf(n).
(HINT: Integre por partes.)
Para probar la convergencia uniforme consideremos N, M N con M >
N . Se tiene
|SM (x) SN (x)| =

M
X
n=N +1

f(n)einx =

M
X
n=N +1

1 0b
(f )(n)einx .
in

2.2. EL ESPACIO L2 ([, ]).

17

Usando la desigualdad de Cauchy - Schwarz obtenemos


!
M
! M
X 1
X
2
0b
2
|SM (x) SN (x)|
((f )(n)) .
n2
n=N +1

n=N +1

Como f 0 L2 se tiene que


M
X

|(f 0b)(n)|2 ||f 0 ||22 .

n=N +1

As

|SM (x) SN (x)|

n=N +1

1
n2

!1
2

||f 0 ||2 .

Haciendo tender M a infinito en la desigualdad precedente y usando lo


probado para la convergencia puntual se tiene

!1
X 1 2
|f (x) SN (x)|
||f 0 ||2
n2
n=N +1

de donde sigue la convergencia uniforme ya que la serie

P
n=1

por lo tanto

lm

1
n2

converge y

1
= 0.
n2

n=N +1

Del Criterio Integral de Calculo II para la convergencia de series tenemos


que

X
n=N +1

n2

1
1
dy = .
2
y
N

De este modo tenemos la estimacion

|f (x) SN (x)|

1
N

1
2

||f 0 ||2 .

La convergencia uniforme de SN a f inplica que SN tambien converge a


f en la norma || ||2 , es decir
lm ||SN f ||2 = 0.

Recordando el Teorema de Pitagoras


||f ||22

= ||f

SN ||22

N
X
n=N

y haciendo tender N a infinito obtenemos la

|f(n)|2

18

2. SERIES DE FOURIER.

IDENTIDAD DE PARSEVAL:
||f ||22 =

|f(n)|2 .

n=

Observaci
on: Hemos probado la identidad de Parseval para funciones f
C 1 periodicas. Toda funcion f L2 puede ser aproximada en la norma || ||2
por funciones C 1 y periodicas. Es decir dada f L2 existe una sucesion fn
de funciones C 1 y periodicas tal que
lm ||fn f ||2 = 0.

Use este hecho para probar que la Identidad de Parseval vale para toda
f L2 .
Ejercicio: Demuestre que

X
1
2
=
.
2
n
6

n=1

Hint: Aplique la Identidad de Parseval a la funcion f (x) = x en [, ].

2.3.

La ecuaci
on de ondas va Series de Fourier.

Busquemos ahora soluciones de la ecuacion


utt = uxx
en el intervlo [, ].
Tomando transformada de Fourier a u en la ecuacion tenemos que esta
satisface
u
tt (n, t) = n2 u
(n, t).
Integrando en t obtenemos la solucion general
u
(n, t) = an eint + bn eint
con an , bn C. Esta puede ser escrita, cambiando las constantes an y bn , en
la forma
u
(n, t) = an cos nt + bn sin(nt)
con an , bn C.
Luego expandiendo u en serie de Fourier tenemos
X
u(x, t) =
(an cos(nt) + bn sin(nt))einx
nZ

con an , bn C.
? Como se determinan los coeficientes an y bn ? La respuesta es que
estan determinados por las condiciones iniciales. Hagalo como ejercicio. Para
determinar los an use u(x, 0) y para determinar los bn derive y use ut (x, 0).

2.4. UNICIDAD Y ENERGIA.

19

Sobre las condiciones de borde que satisface la solucion u observamos que


estas son condiciones periodicas, es decir u es la restriccion de una funcion
periodica en todo R, de periodo 2, al intervalo [, ].
2.4.

Unicidad y energa.

Demostraremos que para un problema de la forma


utt
u(, t)
u(, t)
u(x, 0)
ut (x, 0)

(2.1)

uxx
g(t)
h(t)
u0 (x)
v0 (x)

en el intervalo [, ] la solucion es u
nica.
Para esto definimos la energa asociada a la solucion u por
Z
Z
1
1
E(t) =
|ut (x.t)|2 dx +
|ux (x.t)|2 dx.
2
2
Probaremos que para una solucion de (2.1) con g h 0 la energa se
conserva. En efecto, derivando e integrando por partes se obtiene
Z
Z
E 0 (t) =
ut (x.t)utt (x, t)dx +
ux (x.t)uxt (x, t)dx

Z
=

ut (x, t)(utt (x, t) uxx (x, t))dx = 0.

Hacemos notar que la condicion g h 0 se uso al integrar por partes.


Probaremos ahora la unicidad. Sean u1 y u2 soluciones de (2.1). Su
diferencia u = u1 u2 tambien satisface (2.1) pero con g h 0 y ademas
u0 v0 0. Como g h 0 se tine que E(t) es constante. Como u0
v0 0 se tiene E(0) = 0. Por lo tanto E(t) 0. Esto implica
Z
|ux (x.t)|2 dx 0,

lo que a su vez implica


ux (x, t) 0
y por lo tanto u(x, t) es constante en la variable x. Pero u(, t) = 0, luego
u(x, t) 0. Hemos probado que
u1 u2
como queramos.
Ejercicio: Compruebe que lo anterior tambien vale para condiciones de
borde periodicas.

20

2. SERIES DE FOURIER.

La unicidad tiene como consecuencia el lema siguiente.


Lema: Sea u una solucion de (2.1) con g h 0 y datos iniciales u0 y v0
impares con respecto al origen. Entonces u(x, t) es una funcion impar con
respecto al origen en la variable x para todo t.
Demostraci
on: Observe que en este caso la funcion v(x, t) = u(x, t)
satisface (2.1) con los mismos datos de borde y los mismos datos iniciales
que u. Por la unicidad se tiene
u(x, t) u(x, t)
como queramos probar.
2.5.

La expansi
on de Fourier en funciones sin(nx).

Trabajaremos ahora en el intervalo [0, ]. Consideremos el problema

(2.2)

utt
u(, t)
u(, t)
u(x, 0)
ut (x, 0)

uxx
0
0
u0 (x)
v0 (x)

en el intervalo [0, ].
Se supone tambien que u0 (0) = u0 () = 0 y v0 (0) = v0 () = 0.
Extendamos primero las funciones u0 y v0 al intervalo [, ] como
funciones impares y luego a toda la recta como funciones 2 periodicas.
Resolvamos ahora el problema en [, ] con condiciones de borde periodicas
y estas condiciones iniciales. Por lo anterior u(x, t) es impar en la variable
x y suponiendo que es continua se tiene
u(0, t) 0.
Haciendo una traslacion, o argumentando de manera analoga, tambien se
debe tener
u(, t) 0.
De este modo tenemos que la funcion
X
u(x, t) =
an eint einx
nZ

restringida a [0, ] satisface (2.2). Debemos determinar los coeficientes an


para que se cumplan las condiciones iniciales. Observemos primero que como
u es real se debe tener que
an eint einx = an eint einx

DE FOURIER EN FUNCIONES sin(nx).


2.5. LA EXPANSION

21

y por lo tanto la serie puede escribirse


u(x, t) =

2Re(an eint einx )

n=0

o lo que es lo mismo
u(x, t) =

(an cos(nt) sin(nx) + bn sin(nt) sin(nx)

n=0

+cn cos(nt) cos(nx) + dn sin(nt) cos(nx))


con, ahora, an , bn , cn , dn R.
De la imparidad de u(x, t) como funcion de x se deduce que cn = dn = 0
para todo n y por lo tanto
u(x, t) =

(an cos(nt) + bn sin(nt)) sin(nx).

n=0

Ahora podemos determinar los coeficientes. Podramos haber llevado la


cuenta de lo que son pero es mas facil observar que la familia {sin(nx)}
n=1
es una familia ortonormal para concluir que
Z
1
an =
u0 (y) sin(ny)dy
0
y
nbn =

v0 (y) cos(ny)dy.

(O algo parecido)
As hemos encontrado la solucion de (2.2) en el caso de buenas condiciones iniciales.
Ejercicio: Repita el procedimiento anterior para resolver por series

(2.3)

utt
ux (0, t)
ux (, t)
u(x, 0)
ut (x, 0)

uxx
0
0
u0 (x)
v0 (x)

en el intervalo [0, ]. Hint: Extienda en forma par. Queda una serie en


cos(nx). Tenga cuidado con el coeficiente corresponiente a la constante
cos(0x) que en este caso si aparece en la expansion.

22

2. SERIES DE FOURIER.

Ejercicio: Repita el procedimiento anterior para resolver por series

(2.4)

utt
ux (0, t)
u( 2 , t)
u(x, 0)
ut (x, 0)

uxx
0
0
u0 (x)
v0 (x)

en el intervalo [0, 2 ].
Ejercicio: Resuelva por separacion de variables, es decir expandiendo en
serie de Fourier, el problema
utt
u(0, t)
u(, t)
u(x, 0)
ut (x, 0)

4uxx
0
0
x(x )
0

en el intervalo [0, ].
Ejercicio: Resuelva por separacion de variables, es decir expandiendo en
serie de Fourier, el problema
utt
u(0, t)
u(, t)
u(x, 0)
ut (x, 0)

4uxx
0
0
0
x( x)

en el intervalo [0, ].
Ejercicio: Resuelva por separacion de variables, es decir expandiendo en
serie de Fourier, el problema
utt
ux (0, t)
ux (, t)
u(x, 0)
ut (x, 0)

4uxx
0
0
x( x)
0

en el intervalo [0, ].
Ejercicio: (Hecho en clases) Resuelva por separacion de variables, es decir
expandiendo en serie de Fourier, el problema con fuerza externa
utt
u(0, t)
u(, t)
u(x, 0)
ux (x, 0)

uxx + sin(t) sin(x)


0
0
x( x)
0

en el intervalo [0, ]. Que pasa con la solucion cuando t ? Se acuerda


de los puentes que entran en resonancia?

DE FOURIER EN FUNCIONES sin(nx).


2.5. LA EXPANSION

23

Ejercicio: Resuelva por separacion de variables, es decir expandiendo en


serie de Fourier, el problema con fuerza de roce
utt
u(0, t)
u(, t)
u(x, 0)
ut (x, 0)

uxx ut
0
0
x( x)
0

en el intervalo [0, ]. Que pasa con la solucion cuando t ?


Observaci
on: Hemos trabajado solo en el intervalo [, ] o el intervalo
[0, ]. Ud. debe ser capaz de recuperar todos estos resultados en un intervalo
cualquiera [a, b] haciendo cambios de escala.

CAPITULO 3

La ecuaci
on de Ondas en mas dimensiones.
3.1.

La ecuaci
on de Ondas en R3

En esta seccion encontraremos la solucion al problema


(3.1)
(3.2)
(3.3)

utt = u en (x, t) R3 R
u(x, 0) = u0 (x)
ut (x, 0) = v0 (x)

donde u0 y v0 son funciones suaves.


La solucion que daremos se basa en el metodo de los promedios esfericos
y la idea es la siguiente.
Para x R3 y r > 0 definimes
B(x, r) = {y R3 / ||x y|| < r}
la bola de centro x de radio r y por
S(x, r) = {y R3 / ||x y|| < r}
la esfera de centro x de radio r.
Hacemos notar que S(x, r) es la frontera, o el borde, de B(x, r).
Sea una f : R3 R una funcion continua. Fijemos x R3 . Definimos el
promedio esferico de f alrededor de x por
Z
1
A(r) = Af,x (r) =
f (y)dS(y)
4r2 S(x,r)
donde dS es el elemento de area de la esfera.
El teorema siguiente es sumamente intuitivo.
Teorema 3.1.1. Sea f : R3 R continua en una vecindad de x R3 .
Entonces
lm A(r) = f (x).
r0+

Demostraci
on: Sea > 0 dado. Como f es continua en x existe r0 > 0 tal
que para todo 0 < r < r0 se tiene
y B(x, r) |f (y) f (x)| < .
25

DE ONDAS EN MAS DIMENSIONES.


3. LA ECUACION

26

Ahora, usando el hecho que


|A(r) f (x)|

1
4r2

1
4r2

S(x,r) dS(y)

= 1, tenemos para 0 < r < r0

|f (y) f (x)|dS(y) <


S(x,r)

lo que demuestra la afirmacion.


Definimos ahora la funcion
1
U (r, t) =
4r

Z
u(y, t)dS(y).
S(x,r)

Lema 3.1.1. Si u satisface utt = u en R3 R, entonces U (r, t) satisface


la ecuaci
on
Utt = U rr en (0, ) R.
Demostraci
on: Escribamos, haciendo el cambio de variables y = x + rw,
Z
r
U (r, t) =
u(x + rw, t)dS(w).
4 ||w||=1
Derivando bajo la integral tenemos
Z
Z
1
r
Ur (r, t) =
u(x + rw, t)dS(w) +
u(x + rw, t) wdS(w).
4 ||w||=1
4 ||w||=1
Revirtiendo el cambio de variables en la segunda intergral se tiene
Z
Z
1
1
(y x)
dS(y).
Ur (r, t) =
u(x + rw, t)dS(w) +
u(y, t)
4 ||w||=1
4r S(x,r)
r
Como

(yx)
r

es la normal exterior a S(x, r) en el punto y tenemos


Z
Z
1
1
du
Ur (r, t) =
(y, t)dS(y)
u(x + rw, t)dS(w) +
4 ||w||=1
4r S(x,r) d
n

y recordando la formula de Green ( demuestrela como ejercicio )


Z
Z
df
(y)dS(y),
f (y)dy =
d
D
D n
obtenemos
Z
Z
1
1
Ur (r, t) =
u(x + rw, t)dS(w) +
u(y, t)dy.
4 ||w||=1
4r B(x,r)
Derivamos nuevamente para obtener
Z
1
Urr (r, t) =
u(x + rw, t) w dS(w)
4 ||w||=1
Z
!
Z
1
1 d

u(y, t)dy .
u(y, t)dy +
4r2 B(x,r)
4r dr
B(x,r)

DE ONDAS EN R3
3.1. LA ECUACION

27

Pero el mismo calculo anterior prueba que


Z
Z
1
1
u(x + rw, t) w dS(w) =
u(y, t)dy.
4 ||w||=1
4r2 B(x,r)
As
1 d
Urr (r, t) =
4r dr

u(y, t)dy .
B(x,r)

Pero usando coordenadas esfericas,


Z
Z rZ
u(y, t)dy =
u(x + sw, t)s2 dS(w)ds
0

B(x,r)

S(0,1)

y por el Teorema Fundamental del Calculo


! Z
Z
Z
d
2
u(y, t)dy =
u(x+rw, t)r dS(w) =
u(y, t)dS(y).
dr
S(0,1)
S(x,r)
B(x,r)
De este modo
Z
Z
1
1
Urr (r, t) =
u(y, t)dS(y) =
utt (y, t)dS(y) = Utt (r, t)
4r S(x,r)
4r S(x,r)
como se quera probar.
Observamos ahora que la funcion U (r, t) satisface el problema
Utt = Urr en (0, ) R
con condicion de borde
U (0, t) 0
y condiciones iniciales
1
U (r, 0) =
4r
y
Ut (r, 0) =

1
4r

Z
S(x,r)

u0 (y)dS(y)

Z
S(x,r)

v0 (y)dS(y).

Como ejercicio use el metodo de la formula de Green con rebotes, o en su


defecto la formula de DAlambert extendiendo los datos iniciales en forma
impar al semieje negativo, para concluir que si 0 < r < t, entonces
Z
U (r + t, 0) U (t r, 0) 1 t+r
+
Ut (s, 0)ds.
U (r, t) =
2
2 tr
As
1
U (r + t, 0) U (t r, 0)
1
A(r, t) = U (r, t) =
+
r
2r
2r

t+r

tr

Ut (s, 0)ds

DE ONDAS EN MAS DIMENSIONES.


3. LA ECUACION

28

y haciendo tender r a 0 se obtiene


(3.4)

u(x, t) = lm A(r, t) =
r0

d
U (r, 0) |r=t + Ut (t, 0).
dr

Pero, repitiendo un calculo anterior, se tiene


Z
!
r
d
d
U (r, 0) =
u0 (x + rw)dS(w)
dr
dr 4 S(0,1)
Z
Z
1
r
=
u0 (x + rw)dS(w) +
u0 (x + rw) w dS(w)
4 S(0,1)
4 S(0,1)
Z
Z
1
r
u
(y)dS(y)
+
u0 (y) (y x) dS(w).
=
0
4r2 S(x,r)
4r2 S(x,r)
Despues de evaluar en r = t y substituir en (3.4) se obtiene la conocida
formula de Kirchhoff
Z
1
u(x, t) =
(u0 (y) + u0 (y) (y x) + tv0 (y)) dS(y)
4t2 S(x,t)
para t > 0.
Ejercicio: Compruebe que si u0 , v0 C 2 (R3 ), entonces u(x, t) definida por
la formula de Kirchhoff satisface (3.1), (3.2) y (3.3).
Ejercicio: Que forma toma la formula de Kirchhoff si se reemplaza la
ecuacion (3.1) por
utt = C 2 u?
Observaci
on: Hacemos notar que el valor de u en el punto (x, t) con t > 0
depende de los valores de las condiciiones iniciales sobre la esfera S(x, t).
En este sentido decimos que el dominio de dependencia del punto (x, t)
es la esfera S(x, t). Esto tiene como consecuencia que si las perturbaciones
iniciales u0 y v0 tienen soporte acotado (es decir existe un R > 0 tal que
u0 (x) = v0 (x) = 0 para todo x tal que ||x|| R), entonces para cada x R3
existe un tiempo T (x) tal que u(x, t) = 0 para todo t > T (x). En lenguaje
de la calle esto quiere decir que en el tiempo T (x) la onda ya paso de largo
por el punto x
Ejercicio: Encuentre una formula de Kirchhoff para t < 0.
Ejercicio: Sea u la solucion de (3.1), (3.2) y (3.3) con u0 y v0 funciones
suaves de soporte acotado. Demuestre que existe una constante K > 0 tal
que
K
para todo x R3 y todo t > 0.
|u(x, t)|
t
En otras palabras la solucion decae en el tiempo, o se amortigua, uniformemente en x como 1t .

DE ONDAS EN R2 .
3.2. LA ECUACION

3.2.

29

La ecuaci
on de Ondas en R2 .

En esta seccion encontraremos la solucion al problema


(3.5)
(3.6)
(3.7)

utt = u en (x, t) R2 R
u(x, 0) = u0 (x)
ut (x, 0) = v0 (x)

donde u0 y v0 son funciones suaves.


La solucion que daremos se basa en el metodo del descenso que consiste
en extender los datos iniciales a R3 como constantes en la tercera variable,
resolver la ecuacion por el metodo de Kichhoff en R3 y luego restringir la
solucion a R2 .
Usaremos la notacion x = (x1 , x2 ) R2 para puntos de R2 y (x, z) =
(x1 , x2 , z) R3 para puntos de R3 .
Definimos las funciones
u
0 (x, z) = u0 (x),
v0 (x, z) = v0 (x)
y consideramos la solucion u
del problema
u
tt =
u
u
(x, z, 0) = u
0 (x, z)
u
t (x, z, 0) = v0 (x, z)
en R3 .
Parametrizando cada uno de los hemisferios de la esfera por
p
z = t2 ||x||2 con ||x|| t,
lo que da en estas coordenadas
dS = p

t
t2 ||x||2

dx,

usando la formula de Kirchhoff se obtiene la formula


Z
1
tu0 (y) + t2 v0 (y) + tu0 (y) (y x)
p
u(x, t) =
dy.
2t2 B(x,t)
t2 ||x||2
Hacemos notar que al aplicar la formula de Kirchhoff la solucion u en R3
no depende de la variable z y por lo tanto al restringirla satisface la ecuacion
en R2 .
Para los detalles de los c
alculos sugiero, m
as bien exijo, mirar
las p
aginas 73 y 74 del libro de Evans.
Observaci
on: Hacemos notar que en este caso el valor de u en el punto
(x, t) con t > 0 depende de los valores de las condiciiones iniciales sobre

DE ONDAS EN MAS DIMENSIONES.


3. LA ECUACION

30

la bola B(x, t). En este sentido decimos que el dominio de dependencia


del punto (x, t) es la bola B(x, t). Esto tiene como consecuencia que si las
perturbaciones iniciales u0 y v0 tienen soporte acotado (es decir existe un
R > 0 tal que u0 (x) = v0 (x) = 0 para todo x tal que ||x|| R), entonces
para cada x R3 existe un tiempo T (x) tal que de ah en adelante el valor
de u(x, t) se ve afectado por las condiciones iniciales para todo t > T (x). O
sea en este caso la onda no pasa de largo por el punto x. En este sentido el
comportamiento de la onda en R2 es muy distinto del comportamiento en
R3 .
3.3.

La ecuaci
on de ondas no homogenea.

Sea f : RN (0, ) R una funcion suave. En esta seccion resolveremos


el problema no homogeneo
utt = u + f en RN (0, ),
u(x, 0) = u0 (x) en RN ,

(3.8)

ut (x, 0) = v0 (x) en RN .
En vista de la linealidad tenemos que si u1 es solucion de
utt = u + f en RN (0, ),
u(x, 0) = 0 en RN ,

(3.9)

ut (x, 0) = 0 en RN .
y u2 es solucion de
utt = u en RN (0, ),
(3.10)

u(x, 0) = u0 (x) en RN ,
ut (x, 0) = v0 (x) en RN

entonces
u = u1 + u2
es solucion de (3.8).
Como sabemos resolver (3.10) nos basta resolver (3.9), es decir (3.8) con
datos iniciales nulos.
Usaremos el siguiente principio de Duhamel. Pensemos una variable s
como un parametro y consideremos la solucion
u = u(x, t; s)
del problema
utt = u en RN (s, ),
(3.11)

u(x, 0) = 0 en RN ,
ut (x, s) = f (x, s) en RN .

3.4. LA ENERGIA.

Definamos ahora

Z
u(x, t) =

31

u(x, t; s)ds.
0

Es claro que u(x, 0) = 0 y que ut (x, 0) = 0. Ahora derivando tenemos


Z t
Z t
ut (x, t) = u(x, t : t) +
ut (x, t; s)ds =
ut (x, t; s)ds
0

y por lo tanto

utt (x, t) = ut (x, t : t) +

utt (x, t; s)ds = f (x, t) + u(x, t).

Ejercicio: Use lo anterior y la formula de Kirchhoff para probar que en R3


la solucion de
ut = u + f en RN (0, ),
u(x, 0) = 0 en RN ,
ut (x, 0) = 0 en RN
esta dada por
1
u(x, t) =
4

Z tZ
0

S(x,r)

f (y, t r)
1
dSdr =
r
4
3.4.

Z
B(x,r)

f (y, t ||y x||)


dS.
||y x||

La energa.

Sea una buena region de RN y sean f : (0, ) R y g :


(0, ) R funciones suaves. Consideremos el problema
utt = u + f en (0, ),
u(x, t) = g(x, t) en (0, ),
(3.12)
u(x, 0) = u0 (x) en ,
ut (x, 0) = v0 (x) en .
En vista de la linealidad tenemos qu si u1 y u2 fueran soluciones de
(3.12), entonces su diferencia
u = u1 u2
es solucion de
ut = u en (0, ),
u(x, t) = 0 en (0, ),
(3.13)
u(x, 0) = 0 en ,
ut (x, 0) = 0 en .

DE ONDAS EN MAS DIMENSIONES.


3. LA ECUACION

32

De este modo para probar que la solucion de (3.12) es u


nica basta probar
que la u
nica solucionde (3.13) es u 0. Para esto introducimos la nocion de
energa.
Z
Z
1
1
2
E(t) =
u (y, t)dy +
||u||2 (y, t)dy.
2 t
2
R
Observamos que la integral 12 u2t (y, t)dy es la energa cinetica en el
R
tiempo t y que 21 ||u||2 (y, t)dy es la energa potencial en el tiempo t.
El punto aq es que en problemas con condiciones de borde nulas la
energa se conserva. Esto lo comprobamos derivando e integrando por partes.
Se tiene
Z
Z
Z
Z
dE
(t) =
ut utt dy +
u ut dy =
ut utt dy
uut dy = 0.
dt

Observamos que en la integraci


on po partes no aparecen terminos de integracion en la frontera debido a que la condicion de borde es nula.
Si las condiciones iniciales son nulas se tiene
E(t) E(0) = 0
y por lo tanto
ut 0.
Esto implica u(x, t) = u(x, 0) = 0. As hemos demostrado el siguiente teorema.
as una soluci
on.
Teorema 3.4.1. El problema (3.12) tiene a lo m
Otro uso de estos metodos de energa es estudiar desde otro punto de
vista el dominio de dependencia para soluciones de
ut = u en RN [0, ).
Consideremos el cono
C(x.t) = {(y, s) RN / 0 s t ||y x|| t s}.
Notemos que la base del cono es la bola B(x, t).
Podemos enunciar ahora
Teorema 3.4.2. Si u ut 0 en la base B(x, t), entonces u 0 en
todo el cono C(x, t).
Demostraci
on:
Fijemos (x, t) y definamos la energa en este caso por
Z
Z
1
1
2
I(s) =
u (y, s)dy +
||u||2 (y, s)dy.
2 B(x,ts) t
2 B(x,ts)

3.4. LA ENERGIA.

33

Derivando con respecto a s se tiene


Z
Z
Z
dI
1
(s) =
ut utt dy+
uut dy
(u2 +||u||2 )dS.
ds
2 S(x,ts) t
B(x,ts)
B(x,ts)
Integrando por partes obtenemos
Z
Z
Z
dI
1
du
(u2t +||u||2 )dS
(s) =
ut dy
ut (utt u) dy+
ds
d
n
2
S(x,ts)
B(x,ts)
S(x,ts)
y usando la ecuacion
Z
Z
dI
du
1
(s) =
ut dy
(u2 + ||u||2 )dS.
ds
n
2 S(x,ts) t
S(x,ts) d
Pero se sabe que

du
| ||u||
d
n
y que para dos reales a y b se tiena
|

ab
As

Z
S(x,ts)

1
du
ut dy
d
n
2

a2 + b2
.
2
Z
S(x,ts)

(u2t + ||u||2 )dS

y por lo tanto

dI
0.
ds
Como I(0) = 0 y la energa es positiva se tiene
I(s) 0.
Esto implica
ut 0 en el cono C(x, t)
y por lo tanto
u 0 en el cono C(x, t)
ya que u se anula en la base.
Observaci
on: La demostracion anterior es una demostracion simple en
cualquier dimension de algo que ya conociamos en dimensiones dos y tres.
Esta demostracion no prueba que en el caso de dimension tres el dominio
de dependencia es la cascara de la bola y no la bola entera. La gracia de la
demostracion es su simpleza y que vale en cualquier dimension.

CAPITULO 4

Ecuaci
on de Laplace y de Poisson.
En esta seccion estudiaremos la ecuacion de Laplace
u = 0
y la ecuaci0n de Poisson
u = f.
4.1.

La soluci
on fundamental.

Compruebe que la funcion

C
||x||N 2
(x) =

C log(||x||)

si

N 3

si

N =2

satisface
u = 0 en RN \ {0}.
Hint: A lo mejor le conviene usar coordenadas esfericas.
La funcion , con la constante C que elegiremos luego seg
un nos convenga, se denomina la soluci
on fundamental.
Pretendemos ahora dar una solucion al problema de Poisson en RN bajo
la hipotesis que f C (RN ) y adem
as f tiene soporte compacto.
Para esto consideremos la convoluci
on entre y f
Z
u(x) =
(x y)f (y)dy.
RN

Observamos que haciendo el cambio de variables z = xy la convoluci


on
u tambien puede escribirse
Z
u(x) =
(y)f (x y)dy.
RN

Esta observacion es fome pero no trivial pues implica en alg


un sentido que la
convolucion entre dos funciones hereda las propiedades de la mejor de ellas.
Un ejemplo de esto es el siguiente: Probaremos que u satisface la ecuacion
de Poisson. Para esto debemos ver primero que las derivadas de u existen.
Esto nos lleva a derivar bajo la integral. Si usamos la primera versi
on como
35

DE LAPLACE Y DE POISSON.
4. ECUACION

36

la dependencia en x esta en el y esta no es derivable en el origen estaremos


en problemas. Por otra parte si usamos la segunda versi
on tenemos futuro
ya que f si es derivable en todo RN .
Lema 4.1.1. Bajo nuestras hipotesis la convoluci
on u est
a en C (RN ).
Demostraci
on: Fijemos x RN y probemos que
u(x + hei ) u(x)
u
(x) = lm
h0
xi
h
existe.
Se tiene
Z
u(x + hei ) u(x)
f (x + hei y) f (x y)
=
(y)
dy.
h
h
N
R
Como f tiene soporte compacto existe R suficientemente grande tal que
si |h| 1, entonces
f (x + hei y) = 0 y f (x y) = 0 para todo y tal que ||y|| R.
Por lo tanto podemos escribir
Z
u(x + hei ) u(x)
f (x + hei y) f (x y)
=
dy.
(y)
h
h
B(0,R)
Por el Teorema de Taylor tenemos que
f (x + hei y) f (x y)
f
2f

(x y) =
(x + ei y)h
h
xi
x2i
para alg
un entre 0 y h.
2

Como xf2 es continua y con soporte compacto esta acotada, es decir


i
existe M tal que
2f
| 2| M
xi
y en consecuencia
f (x + hei y) f (x y)
f
|

(x y)| M h.
h
xi
Hacemos notar que esto implica la convergencia uniforme en y de
f (x+hei y)f (xy)
f
a x
(xy) cuando h tiende a 0. (Recuerde que x est
a fijo.)
h
i
Ahora tenemos
Z
f
u(x + hei ) u(x)

(y)
(x y)dy
h
xi
B(0,R)
Z
f (x + hei y) f (x y)
f
=
(y)(
)
(x y))dy
h
xi
B(0,R)

FUNDAMENTAL.
4.1. LA SOLUCION

y por lo tanto
u(x + hei ) u(x)
|

h
Pero

f
(y)
(x y)dy| M h
xi
B(0,R)

Z
(y)dy = |S(0, 1)|
B(0,R)

37

Z
(y)dy.
B(0,R)

R2
2

donde |S(0, 1)| denota el area de la esfera unitaria en RN .


De este modo
Z
u(x + hei ) u(x)
f
(x y)dy

(y)
h
xi
B(0,R)
Z
f (x + hei y) f (x y)
f
=
(y)(
(x y))dy
)
h
xi
B(0,R)
y por lo tanto
Z
R2
u(x + hei ) u(x)
f

(x y)dy| M
h.
|
(y)
h
xi
2|S(0, 1)|
B(0,R)
Haciendo h 0 obtenemos
Z
u
u(x + hei ) u(x)
f
(x) = lm
=
(y)
(x y)dy
h0
xi
h
x
i
B(0,R)
o lo que es lo mismo, por que?,
Z
u
f
(x) =
(x y)dy
(y)
xi
xi
RN
Hemos probado que u tiene derivadas parciales de primer orden y que
u
estan dadas por la formula precedente. Repitiendo el argumento con x
en
i
lugar de u se prueba que u tiene derivadas parciales de segundo orden y en
particular que
Z
u(x) =

(y)f (x y)dy.
RN

Usando las derivadas de segundo orden se obtiene las de tercer orden y


as siguiendo se prueba que u C (RN ) y se tiene una formula para las
derivadas que es la que Ud. imagina. Esto termina la demostracion.
Ejercicio: Demuestre que si f es una buena funcion tal que
y gn g uniformemente en RN , entonces
Z
Z
lm
f (y)gn (y)dy =
f (y)g(y)dy.
n RN

RN

Probaremos ahora el siguiente teorema.

R
RN

|f (y)|dy <

DE LAPLACE Y DE POISSON.
4. ECUACION

38

Teorema 4.1.1. Bajo nuestras hipotesis la convoluci


on u satisface
u = f en RN
si se elige adecuadamente la constante C en la soluci
on fudamental.
Demostraci
on: Daremos la demostracion en el caso N 3. se sugiere
fuertemente hacerla como ejercicio en el caso N = 2.
Del lema preceente sabemos que
Z
u(x) =
(y)f (x y)dy.
RN

Fijemos > 0 y escribamos


Z
Z
u(x) =
(y)f (x y)dy +
B c (0,)

B(0,)

(y)f (x y)dy = I1 () + I2 ().

Como f esta acotada, es funcion continua con soporte compacto, existe


M > 0 tal que
Z
2
|I1 ()| M
(y)dy = M |S(0, 1)| .
2
B(0,)
De este modo
lm I1 () = 0.

Ahora integrando por partes obtenemos


Z
Z
Z
I2 () =
(y)f (xy)dy =
(y)f (xy)dy+
B c (0,)

B c (0,)

(y)

B c (0,)

Z
=
B c (0,)

(y)f (x y)dy + I3 ().

f
Como n
esta acotada, es funcion continua con soporte compacto, existe
M > 0 tal que
Z

|I3 ()| M
(y)dS(y) = M |S(0, 1)| .
2
B c (0,)

De este modo
lm I3 () = 0.

Hasta ahora tenemos


u(x) = I1 () + I2 ()

Z
(y)f (x y)dy.
B c (0,)

f
(xy)dS(y)
n

DE LAPLACE Y FUNCIONES ARMONICAS.

4.2. ECUACION

39

Integrando por partes una vez mas, usando el hecho que = 0 en


B c (0, ) y que f tiene soporte compacto obtenemos
Z

u(x) = I1 () + I2 ()
(y)f (x y)dS(y).
S(0,) n
Es facil ver que para y S(0, ) se tiene

1
C
.
=
n
N 2 N 1
Por lo tanto
(4.1)

u(x) = I1 () + I2 () +

C
1
N
N 2 1

Z
f (x y)dS(y).
S(0,)

Eligiendo C de modo que


Z
1
C
dS(y) = 1
N 2 N 1 S(0,)
se tiene que
C
1
N
0 N 2 1

lm

f (x y)dS(y) = f (x)
S(0,)

y por lo tanto haciendo 0 en (4.1) se obtiene


u(x) = f (x)
como se quera probar.
Ejercicio. Cuanto vale la constante C para que la convoluci
on resuelva la
ecuacion de Poisson?
4.2.

Ecuaci
on de Laplace y funciones arm
onicas.

Una funcion u, dos veces continuamente diferenciable, definida en un


dominio U de RN se dice arm
onica si satisface la ecuacion de Laplace
u = 0 en U.
Quizas la propiedad mas importante de las funciones armonicas es que
satisfacen la propiedad de la media que enunciamos en el teorema que
sigue.
Teorema 4.2.1. (Propiedad de la Media) Sea u C 2 (U ), entonces u es
arm
onica si y s
olo s
Z
1
u(x) =
u(y)dSr (y)
|S(x, r)| S(x,r)
para toda esfera tal que S(x, r) U .

DE LAPLACE Y DE POISSON.
4. ECUACION

40

Aqu |S(x, r)| denota el


area de la esfera S(x, r) y dSr su elemento de

area.
Demostraci
on: Fijemos x U y definamos la funcion
Z
1
R(r) =
u(y)dSr (y).
|S(x, r)| S(x,r)
Como en captulos anteriores se tiene
Z
1
R(r) =
u(x + ry)dS1 (y).
|S(0, 1)| S(0,1)
Derivando con respecto a r obtenemos
Z
Z
1
1
0
R (r) =
u(x+ry)
ndS1 (y) =
u(y)
ndSr (y)
|S(0, 1)| S(0,1)
|S(x, r)| S(x,r)
y usando la formula de Green
(4.2)

1
R (r) =
|S(x, r)|

u(y)dy.
B(x,r)

Ahora, si u es armonica se tiene R0 = 0 y por lo tanto


R(r) C te = C,
es decir

1
C=
|S(x, r)|

Z
S(x,r)

u(y)dSr (y).

Para determinar la constante C hacemos tender r a 0 y debido a la


continuidad de u se tiene, seg
un un argumento que ya hicimos,
Z
1
C = lm
u(y)dSr (y) = u(x).
r0 |S(x, r)| S(x,r)
As hemos probado que si u es armonica, entonces
Z
1
u(x) =
u(y)dSr (y).
|S(x, r)| S(x,r)
Para demostrar el recproco supongamos, para una contradicci
on, que
existe alg
un x0 U tal que u(x0 ) 6= 0. Sin perdida de la generalidad
podemos suponer u(x0 ) > 0. Por la continuidad de u existe r tal que
u(x) > 0 para todo x B(x0 , r).
Ahora si vale la propiedad de la media se tiene R0 (r) 0. Pero de (4.2)
tendramos
Z
1
0
u(y)dy > 0
0 = R (r) =
|S(x0 , r)| B(x0 ,r)
Esta contradiccion demuestra el teorema.

DE LAPLACE Y FUNCIONES ARMONICAS.

4.2. ECUACION

41

Ejercicio. Demuestre que si u es armonica, entonces


Z
1
u(y)dy.
u(x) =
|B(x, r)| B(x,r)
Hint: Integre en coordenadas polares.
Una consecuencia de la propiedad de la media es el principio del m
aximo que enunciamos a continuaci
on.
Teorema 4.2.2. Sea u arm
onica en U y continua en U . Entonces
m
ax u(x) max u(x).
xU

xU

Demostraci
on: Supongamos que u alcanza un maximo en un punto x0 U .
Tomemos cualquier r tal que B(x, r) U . Como u(x0 ) u(y) para todo
y U la propiedad de la media
Z
1
u(x0 ) =
u(y)dy
|B(x0 , r)| B(x0 ,r)
implica
u(y) = u(x0 ) para todo y B(x0 , r).
Ahora tomando el r mas grande tal que B(x, r) U conseguimos un punto
x1 U tal que
u(x0 ) = u(x1 )
y el teorema esta demostrado.
Ejercicio. Demuestre el principio del mnimo. Sea u arm
onica en U y continua en U . Entonces
mn u(x) mn u(x).
xU

xU

A continuacion proponemos como ejercicio dos consecuencias importantes del principio del maximo.
Ejercicio. Sea U un dominio acotado y suave. La u
nica solucion regular del
problema
u = 0 en U
u(x) = 0 en U
es u 0.
Ejercicio. Sea U un dominio acotado y suave. El problema
u = f
u(x) = g

en U
en U

DE LAPLACE Y DE POISSON.
4. ECUACION

42

tiene a lo mas una solucion regular.


Probaremos ahora un teorema de regularidad que dice que la propiedad
de la media implica diferenciabilidad. Necesitamos primero el ejercicio siguiente que ha sido discutido en clases.
Ejercicio.
a) Construya una funcionR C radial, no negativa, soportada en la
bola B(0, 1) y tal que B(0,1) (y)dy = 1. Hint: Use la funcion
(
12
r
si r 0
e
h(r) =
0 si r 0
b) Para > 0 defina
x
1
( )
N

y compruebe que R es C radial, no negativa, soportada en la bola


B(0, ) y tal que B(0,) (y)dy = 1.
c) Sea f una funcion continua en RN y defina
Z
f (x) = f (x) =
f (x y) (y)dy.
(x) =

RN

C .

Demuestre que f
d) Demuestre que para cada x se tiene
lm f (x) = f (x).

e) Demuestre que el lmite es uniforme en cualquier region compacta


de RN .
Teorema 4.2.3. Sea u C(U ) tal que satisface la propiedad de la media
para toda bola B(x, r) contenida en U . Entonces u C (U ).
Demostraci
on: Sea como en el ejercicio precedente. Abusando de la
notacion escribiremos indistintamente (x) = (|x|) = (r).
Definamos
u (x) = u (x)
en la region U = {x U / dist(x, U ) }.
Por el ejercicio anterior se tiene que u C . Probaremos que u u
en U .
En efecto, si x U tenemos
Z
Z
Z
1
1
|x y|
r
u (x) = N
)u(y)dy = N
u(y)dSr (y)dr
(
( )

S(x,r)
B(x,)
0

DE LAPLACE Y FUNCIONES ARMONICAS.

4.2. ECUACION

Z
r
1
r
( )|S(x, r)|dr = N u(x)
( )|S(0, r)|dr

0
0
Z
1
r
= u(x) N
( )dy = u(x).

B(0,)
S
U .
Esto demuestra que u C (U ) ya que U =
=

1
u(x)
N

43

>0

Estimaciones para u y sus derivadas.


En esta seccion usaremos la propiedad de la media para dar estimaciones
para una funcion armonica u y para sus derivadas. Comenzamos por la
derivada de orden 0.
Teorema 4.2.4. Sea u arm
onica en D RN . Existe una constante C0
que depende s
olo de N tal que
Z
C0
|u(x)| N
|u(y)|dy
r
B(x,r)
para cualquier x y r tales que B(x, r) D.
Demostraci
on: La demostracion es inmediata de la Propiedad de la Media.
1
Observamos que ademas C0 = |B(0,1)|
.
Pasemos ahora a las derivadas de orden 1.
Teorema 4.2.5. Sea u arm
onica en D RN . Existe una constante C1
que depende s
olo de N tal que
Z
C1
|uxi (x)| N +1
|u(y)|dy
r
B(x,r)
para cualquier x y r tales que B(x, r) D.
Demostraci
on: Como uxi es armonica se tiene

N
2

|uxi (x)| =
u
(y)dy
.
x
|B(0, 1)|rN B(x, r ) i

Aplicando el Teorema de la Divergencia al campo F = u


e i obtenemos
Z
Z
uxi (y)dy =
u(y)ni (y)dy
S(x, r2 )

B(x, 2r )

donde ni (y) es la i-esima componente del vector unitario normal a S(x, 2r ).


Ahora, para y S(x, 2r ) se tiene que B(x, 2r ) D y luego, por el teorema
(4.2.4) se tiene
Z
Z
C0 2N
C0 2N
|u(y)| N
|u(z)|dz N
|u(z)|dz.
r
r
B(y, r )
B(x,r)
2

DE LAPLACE Y DE POISSON.
4. ECUACION

44

Por lo tanto, como |ni | 1, se tiene


Z
Z
Z
C0 2N |S(0, 12 )|
C0 2N |S(x, 2r )|
|u(z)|dz =
|u(z)|dz
uxi (y)dy
r
r
B(x,r)
B(x,r)
B(x, r )
2

y en consecuencia
2N +1 C0 |S(0, 1)|
|uxi (x)| =
|B(0, 1)|rN +1

Z
u(z)dz
B(x,r)

como se quera probar.

Corolario 4.2.1. Teorema de Liouville.


Toda funci
on arm
onica en todo RN y acotada es constante.
Demostraci
on: Sea u armonica y M tal que u(x) M en R. Por el teorema
4.2.5 se tiene que
Z
C1
M C1
.
|uxi (x)| N +1
|u(y)|dy
r
r
B(x,r)
Como r puede hacerse arbitariamente grande se tiene uxi 0 para i =
1, 2, ..., N y por lo tanto u es constante.

Ejercicio. Siguiendo las ideas de la demostracion del Teorema 4.2.5 demuestre por induccion estimaciones analogas para las derivadas de mayor
orden para las soluciones u de u = 0.
Ejercicio. Recuerde la solucion fundamental del Laplaciano.
a) Sea N 3 y sea f C 2 (RN ) con soporte compacto. Demuestre que
toda soluccion ACOTADA de
u = f en RN
esta dada por
Z
u(x) =

(x y)f (y)dy + C
RN

para alguna constante C.


b) Es cierto esto en el caso N = 2?

DE REPRESENTACION.
4.3. FORMULA

4.3.

45

F
ormula de representaci
on.

Comenzamos por probar una formula de representaci


on. Para esto necesitaremos la identidad de Green
Z
Z
df
dg
(4.3)
(f g f g)dV =
( g f )dS.
d
n
d
n
D
D
Si no recuerda la identidad ded
uzcala como ejercicio.
El teorema siguiente nos da la formula de representaci
on anunciada. Hacemos notar que dicha formula es valida para cualquier funcion
u C 2 (D).
Teorema 4.3.1. Sea D un dominio en RN . Entonces para cualquier
funci
on u C 2 (D) se tiene
(4.4) Z
Z
du
d
u(x) =
((x y) (y)
(x y)u(y))dS(y)
(x y)u(y)dy.
d
n
d
n
D
D
Demostraci
on: Fijemos x D y sea > 0 tal que B(x, ) D. Para aislar
la singularidad definimos
D = D \ B(x, ).
Aplicamos ahora la formula de Green a las funciones f (y) = (x y) y
g(y) = u(y) en la region D . Recordando que (x y) es armonica en esa
region y que la frontera D consiste de dos pedazos D y S(x, ) y llevando
la cuenta correcta de las orientaciones, es decir de los signos, obtenemos
Z
Z
d
du
(x y)u(y)dS(y)
(y)(x y)dS(y)
d
n
d
S(x,)
S(x,) n
(4.5)
Z
Z
d
du
(x y)u(y))dS(y)
(x y)u(y)dy.
=
((x y) (y)
d
n
d
n
D
D
Trabajaremos ahora el caso N 3 dejando el caso N = 2 como ejercicio.
Para y S(x, ) se tiene
(x y) =

C
N 2

y por lo tanto
Z
Z
C
du
du
(y)(x y)dS(y) = lm N 2
(y)dS(y) = 0
lm
0
0 S(x,) d
n
d
S(x,) n
debido a que

du
d
n (y)

esta acotada en S(x, ).

46

DE LAPLACE Y DE POISSON.
4. ECUACION

Por otra parte para y S(x, ) se tiene

C(N 2)
(x y) =
n

N 1
y por lo tanto
Z
Z
C(N 2)
d
u(y)dS(y) = u(x)
(x y)u(y)dS(y) = lm
lm
0
0 S(x,) d
n
N 1
S(x,)
debido a la continuidad de u y a la eleccion de la constante C en la solucion
fundamental. De este modo la formula de representaci
on se obtiene haciendo
tender a 0 en (4.5).

4.4.

La funci
on de Green.

Fijemos x D y consideremos la solucion x (y), que asumimos existe,


del problema
x (y) = 0
x (y)
= (x y)

en D
para y D.

Aplicando nuevamente la formula de Green a las funciones u y x en


el dominio D, lo que es posible pues ambas son fuciones regulares en D,
obtenemos
Z
Z
u
x
(y) (x y) (y))dS(y).
(4.6)

(y)u(y)dy =
(u(y)

D
D
Definamos ahora la funci
on de Green para D por
G(x, y) = (x y) x (y).
Sumando (4.6) y (4.4) obtenemos
Z
Z
G
(x.y)dS(y)
G(x, y)u(y)dy.
(4.7)
u(x) =
(u(y)
n

D
D
De este modo tenemos
es una soluci
Teorema 4.4.1. Si u C 2 (D)
on de
u = f
u(x) = g(x)

en D,
para x D,

entonces vale la f
ormula de representaci
on
Z
Z
G
(4.8)
u(x) =
(g(y)
(x.y)dS(y)
G(x, y)f (y)dy.
n

D
D

DE GREEN.
4.4. LA FUNCION

47

La derivada normal de la funcion de Green


G
(x, y)
K(x, y) =
n

se denomina el N
ucleo de Poisson.
Probaremos a continuaci
on que la funcion de Green es simetrica.
Teorema 4.4.2. Para todo x, y D tales que x 6= y se tiene
G(x, y) = G(y, x).
Demostraci
on: Fijemos x, y D y definamos para z D
v(z) = G(x, z)
y
w(z) = G(y, z).
Aplicando la formula de Green a las funciones v y w en la region
D \ (B(x, ) B(y, ))
con peque
no, recordando que v y w son armonicas en dicha region y ademas
v = 0 y w = 0 en D, obtenemos
Z
Z
w
v
v
w
(4.9)
)dS(z) =
v w )dS(z).
( wv
(

S(x,) n
S(y,) n
Calculando de manera analoga a calculos anteriores se comprueba que
(hagalo como ejercicio)
Z
v
lm
wdS(z) = w(x)
0 S(x,) n

y que
Z
w
lm
vdS(z) = 0
0 S(x,) n

ya que w es continua en z = x.
De manera analoga

Z
lm

0 S(y,)

y que

w
vdS(z) = v(y)
n

Z
lm

0 S(y,)

v
wdS(z) = 0.
n

El teorema sigue ahora haciendo tender a 0 en (4.9).


C
alculo de algunas funciones de Green.

DE LAPLACE Y DE POISSON.
4. ECUACION

48

El semiespacio superior:
Se define el semiespacio superior por
RN
+ = {(x1 , ..., xN )/xN > 0}.
Se tiene
RN
+ = {(x1 , ..., xN )/xN = 0}.
En este caso es muy facil encontrar la funcion x por reflexion.
Sea x = (x1 , ..., xN ) RN
+ . Se define su reflejado
x
= (x1 , ..., xN ).
En este caso, mrelo geometricamente,
G(x, y) = (y x) (y x
)
y calculando (hagalo) el n
ucleo de Poisson es
K(x, y) =

G
1
xN
(x, y) =
.
yN
n(n) |x y|N

Ejercicio. (Hecho en clases)


Sea g continua y acotada en RN 1 . Defina para x RN
+
Z
u(x) =
K(x, y)g(y)dy.
RN 1

Demuestre que
a) u C (RN
+ ).
b) u = 0 en RN
+.
c)
lm
u(x) = g(x0 ) para todo x0 RN 1 .
x x0
x RN
+
La bola unitaria:
En el caso de la bola B(0, 1) tambien se puede proceder geometricamente
de la manera que sigue. en este caso la reflexion en la esfera para x 6= 0
esta dada por
x
.
x
=
|x|2
Compruebe que en este caso la funcion correctora esta dada por
x (y) = (|x|(y x
)).
Hint: Recuerde que (z) =
N = 2.

C
|z|N 2

si N 3 y que (z) = C log(|z|) si


DE ENERGIA.
4.5. METODOS

49

Haga el calculo correspondiente para obtener que en este caso el n


ucleo
de Poisson esta dado por
K(x, y) =

1 1 |x|2
.
n(n) |x y|N

Ejercicio. (Hecho en clases)


Sea g continua en S(0, 1). Defina para x B(0, 1)
Z
u(x) =
K(x, y)g(y)dS(y).
S(0,1)

Demuestre que
a) u C (B(0, 1)).
b) u = 0 en B(0, 1).
c)
lm
u(x) = g(x0 ) para todo x0 S(0, 1).
x x0
x B(0, 1)

Ejercicio. Encuentre el n
ucleo de Poisson para la bola B(0, r). Hint Evite
calcular.

4.5.

M
etodos de energa.

Teorema 4.5.1. El problema


(4.10)

u = f
u(x) = g

en D
en D

tiene a lo m
as una soluci
on en C 2 (D).
Entonces w = u v satisface
Demostraci
on: Sean u, v C 2 (D).
w = 0
y ademas w 0 en D.
Multiplicando la ecuacion por w, integrando e integrando por partes se
tiene
Z
|w|2 = 0.
D

(Observe que no aparecen terminos de borde ya que w 0 en D.)


Esto inplica w 0 y por lo tanto w C te . Por las condiciones de
borde se debe tener w 0 y por lo tanto u v.

DE LAPLACE Y DE POISSON.
4. ECUACION

50

4.6.

El Principio de Dirichlet.

Consideremos el conjunto

A = {w C 2 (D)/w
= g en D}
y el funcional, funcion cuyos argumentos son funciones, I : A R definido
por
Z
1
I(w) =
( |u|2 (y) f (y)w(y))dy.
D 2
Teorema 4.6.1. Sea u A. La funci
on u satisface (4.10) si y s
olo s el
funcional I alcanza un mnimo en A y
I(u) = mn I(w).
wA

Demostraci
on:
1) Supongamos primero que u satisface (4.10). Sea w A. De la ecuacion
se tiene que
Z
(u(y) f (y))(u(y) w(y))dy = 0.
D

Intergrando por partes obtenemos


Z
Z
Z
(|u|2 (y) u(y)f (y))dy =
u(y) w(y)dy
f (y)w(y)dy.
D

Pero por el cuadrado del binomio se tiene


1
1
u(y) w(y) |u(y)|2 + |w(y)|2
2
2
y por lo tanto
Z
Z
Z
Z
1
1
2
2
2
|u(y)| +
|w(y)| f (y)w(y)dy.
(|u| (y)u(y)f (y))dy
D 2
D
D
D 2
Luego
Z
Z
1
1
2
( |u| (y) u(y)f (y))dy
( |w(y)|2 f (y)w(y))dy.
D 2
D 2
O sea
I(u) I(w) para cualquier w A.
Esto prueba que si u A satisface (4.10), entonces el funcional I alcanza su
maximo en u.
Probamos ahora el recproco.
2) Supongamos que el funcional I alcanza su maximo en u A. Sea
z C 2 (D) y tal que su soporte esta contenido en el interior de D. En
particular z 0 en D. Sea t R. Entonces se tiene que
u + tz A.

4.6. EL PRINCIPIO DE DIRICHLET.

51

Como el funcional alcanza su mnimo en u la funcion, de las de Calculo


I,
h(t) = I(u + tz)
alcanza un mnimo en t = 0. Luego si es derivable se debe tener h0 (0) = 0.
Un simple calculo, que ni siquiera necesita de derivaci
on bajo el signo
de la integral, nos da
Z
Z
0
u(y) z(y)dy
z(y)f (y)dy.
0 = h (0) =
D

Integrando por partes en la primera integral, no aparecen teminos de


frontera ya que z 0 en D, obtenemos
Z
0
0 = h (0) =
(u(y) f (y))z(y)dy.
Como esto vale para toda z
el interior de D se obtiene

D
C 2 (D)

tal que su soporte esta contenido en

u = f en D.
Esto finaliza la demostracion.
Observaci
on: Hacemos notar que en este captulo, como tambien en los
anteriores, no hemos demostrado muchas veces la existencia de soluciones
de los diferentes problemas. Por ejemplo en este captulo solo demostramos
existencia de soluciones para la ecuacion de Laplace, es decir (4.10) con
f = 0, para el caso de D = RN
+ y el caso de D = B(0, R). En los casos
mas generles es posible probar la existencia de soluciones minimizando funcionales en subconjuntos de espacios adecuados. Si sobra tiempo en el curso
trataremos de ver algo de esto.

CAPITULO 5

La Ecuaci
on del Calor.
La soluci
on en RN .

5.1.

En esta seccion estudiaremos la ecuacion de calor


ut = u.
Compruebe que la funcion
(x, t) =

1
(4t)

x2

N
2

e 4t

satisface
ut = en RN (0, ).
Ejercicio. Compruebe que

R
RN

(x, t)dx = 1.

Definici
on: La funcion se denomina la soluci
on fundamental de la
N
ecuacion del calor en R .
Teorema 5.1.1. Sea g : RN R continua y acotada. Se define para
(x, t) RN (0, )
Z
u(x, t) =
(x y, t)g(y)dy.
RN

Entonces u C (RN (0, ) y satisface


ut = en RN (0, ).
Adem
as
lm

(x,t)(x0 ,0)

u(x, t) = g(x0 )

para todo x0 RN .
Demostraci
on: La funcion satisface la ecuacion. El hecho que u satisface
la ecuacion para t > 0 sigue por derivaci
on bajo la integral. Observe que
para t > 0 el n
ucleo es muy absolutamente convergente y es facil en este
caso justificar la derivacion bajo la integral. Hagalo como ejercicio.
53

DEL CALOR.
5. LA ECUACION

54

Para probar que


lm
u(x, t) = g(x0 ) fijemos x0 RN y, recordando
(x,t)(x0 ,0)
R
que RN (x, t)dx = 1, pongamos
Z
(x y, t)(g(y) g(x0 ))dy.
u(x, t) g(x0 ) =
RN

Dado > 0 la continuidad de g garantiza la existencia de r0 tal que


|g(y) g(x0 )| < cada vez que |y x0 | < r0 .
Ademas como g es acotada existe M tal que
|g(y)| M para todo y RN .
Se tiene ahora
Z
|u(x, t)g(x0 )|

|yx0 |r0

Z
(xy, t)|g(y)g(x0 )|dy+

|yx0 |r0

(xy, t)|g(y)g(x0 )|dy.

Por la continuidad de g tenemos


Z
(x y, t)|g(y) g(x0 )|dy .
|yx0 |r0

Por otra parte


Z
Z
(x y, t)|g(y) g(x0 )|dy 2M
|yx0 |r0

(x y, t)dy.

|yx0 |r0

Pero si |x x0 | < r20 y |y x0 | r0 , entonces |y x| r20 . De este modo


para x tal que |x x0 | < r20 se tiene
Z
Z
2M
(x y, t)dy 2M
(x y, t)dy
|yx0 |r0

= 2M

1
(4t)

= 2M

|yx|

N
2

|yx|

1
(4t)

N
2

r0
2

r2

r0
2

|xy|2
4t

dy = 2M

e 4t rN 1 dr = 2M

r0
2

1
(4t)

N
2

1
(4)

N
2

r2

r0

2 t

r0
2

e 4t rN 1 dr
r2

e 4 rN 1 dr.

Es facil ver, (hagalo), que esta u


ltima integral tiende a cero cuando
t 0, luego existe tal que 0 < t < y |x x0 | < r20 implican
Z
(x y, t)|g(y) g(x0 )|dy .
|yx0 |r0

Hemos probado que


|u(x, t) g(x0 )| 2
cada vez que |x x0 | <

r0
2

y 0 t < . Esto termina la demostracion.

DEL CALOR NO HOMOGENEA.

5.2. LA ECUACION

5.2.

55

La ecuaci
on del calor no homog
enea.

Sea f : RN (0, ) R una funcion suave. En esta seccion resolveremos


el problema no homogeneo
ut = u + f en RN (0, ),
(5.1)
u(x, 0) = u0 (x) en RN
usando el Principio de Duhamel ya visto para la ecuacionde ondas.
En vista de la linealidad tenemos que si u1 es solucion de
ut = u + f en RN (0, ),
(5.2)
u(x, 0) = 0 en RN ,
y u2 es solucion de
ut = u en RN (0, ),
(5.3)
u(x, 0) = u0 (x) en RN .
entonces
u = u1 + u2
es solucion de (5.1).
Como sabemos resolver (5.3) nos basta resolver (5.2), es decir (5.1) con
datos iniciales nulos.
Usaremos el siguiente principio de Duhamel. Pensemos una variable s
como un parametro y consideremos la solucion
u = u(x, t; s)
del problema
ut = u en RN (s, ),
(5.4)
u(x, s) = f (x, s) en RN .
Definamos ahora

Z
u(x, t) =

u(x, t; s)ds.
0

Es claro que u(x, 0) = 0. Ahora derivando tenemos


Z t
ut (x, t) = u(x, t : t) +
ut (x, t; s)ds = f (x, t) + u.
0

DEL CALOR.
5. LA ECUACION

56

Ejercicio: Use lo anterior y la formula para la solucion del problema de


valores iniciales en RN para obtener una formula para la solucion de (5.1).
5.3.

El Principio del M
aximo.

Damos primero una notacion para simplificar la escritura. Sea D RN


abierto acotado y T > 0. Definimos
DT = D (0, T ).
Ademas definimos la frontera parab
olica de DT por
p DT = (D {0}) (D [0, T )).
En palabras la frontera parabolica de DT es la frontera de DT menos la tapa
superior.
Teorema 5.3.1. Sea u C (2,1) (DT ) tal que satisface
ut u en DT
y
u 0 en p DT .
Entonces
u 0 en DT .
Demostraci
on: Definamos
v(x, t) = et u(x, t)
y supongamos, para obtener una contradicci
on, que la conclusion es falsa.
En este caso existe (x0 , t0 ) DT tal que
v(x0 , t0 ) = max v(x, t) > 0.
(x,t)DT

El punto (x0 , t0 ) no puede estar en p DT y por lo tanto se tiene


0 v(x0 , t0 ) = et u(x0 , t0 )
y
0 vt (x0 , t0 ) = et ut (x0 , t0 ) et u(x0 , t0 ) < et ut (x0 , t0 ).
Esto implica
0 < et ut (x0 , t0 ) et u(x0 , t0 ) 0
que es la contradiccion deseada.


5.3. EL PRINCIPIO DEL MAXIMO.

57

Corolario 5.3.1. (Principio del M


aximo) Sea u C (2,1) (DT ) tal que
satisface
ut u en DT .
Entonces
max u(x, t)

(x,t)DT

max

(x,t)p DT

u(x, t).

Demostraci
on:
Sea M =

max

(x,t)p DT

u(x, t) y definamos v(x, t) = u(x, t) M . Entonces

se tiene vt v y v(x, t) 0 en p DT . Por el teorema precedente se tiene


v 0 en DT , o sea
uM
en DT como se quera demostrar.
De la misma manera se demuestra
Teorema 5.3.2. Sea u C (2,1) (DT ) tal que satisface
ut u en DT
y
u 0 en p DT .
Entonces
u 0 en DT .
y ademas
Corolario 5.3.2. (Principio del Mnimo) Sea u C (2,1) (DT ) tal que
satisface
ut u en DT .
Entonces
mn u(x, t)

(x,t)DT

mn

(x,t)p DT

u(x, t).

De los dos corolarios anteriores se deduce el teorema siguiente.


Teorema 5.3.3. Sea u C (2,1) (DT ) tal que satisface
ut = u en DT .
Entonces
mn

(x,t)p DT

para todo (x, t) DT .

u(x, t) u(x, t)

max

(x,t)p DT

u(x, t)

58

DEL CALOR.
5. LA ECUACION

Ejercicio. (Unicidad) Demuestre que el problema


ut (x, t) = u(x, t)
u(x, t) = g(x, t)
u(x, 0) = u0 (x)

en DT
en D [0, T ]
en D

tiene a lo mas una solucion u C (2,1) (DT ).


Ejercicio. (Comparacion) Sea u C (2,1) (DT ) solucion de
ut (x, t) = u(x, t) + f (x, t)
u(x, t) = g(x, t)
u(x, 0) = u0 (x)

en DT
en D [0, T ]
en D.

y sea u C (2,1) (DT ) solucion de


ut (x, t) = u(x, t) + f (x, t)
u(x, t) = g(x, t)
u(x, 0) = u0 (x)

en DT
en D [0, T ]
en D.

Suponga que f f , g g y u0 u0 . Demuestre que entonces u u.


Ejercicio. Sea u C (2,1) (DT ) tal que satisface
ut (x, t) = u(x, t) + f (x, t)
u(x, t) = g(x, t)
u(x, 0) = u0 (x)

en DT
en D [0, T ]
en D.

De una estimacion para el tama


no de |u| en terminos de ||f || , ||g|| ,
||u0 || y T .
Hint: Sea M = max(||g|| , ||u0 || ) y considere la funcion v(x, t) = M +
||f || t.
Observaci
on: Hemos probado el principio del maximo en el caso en que el
dominio D es acotado. En el caso en que D no es acotado a veces hay que
agregar alguna informacion extra como por ejemplo en el siguiente teorema
que no demostraremos aqu.
Teorema 5.3.4. Sea u C (2,1) (RN (0, T )) y continua en RN [0, T ).
Supongamos que u satisface
ut = u en
y
u(x, 0) = u0 (x) en RN .


5.3. EL PRINCIPIO DEL MAXIMO.

Supongamos adem
as que existen constantes a y b tales que
2

|u(x, t)| aeb|x| para todo (x, t) RN [0, T ).


Entonces
sup
(x,t)RN [0,T )

u(x, t) sup u0 (x).


xRN

59

CAPITULO 6

Aproximaci
on por diferencias finitas.
6.1.

El Laplaciano discreto.

En esta seccion trabajaremos en R2 . Los argumentos en mas dimensiones


son similares.
Sea h > 0. Definimos la malla en R2 de paso h como el conjunto
Mh = {(mh, nh) R2 / m, n Z}.
Sea v : Mh R. Definimos el Laplaciano discreto de v por
d v(mh, nh) =
v((n + 1)h, mh) + v((n 1)h, mh) + v(nh, (m + 1)h) + v(nh, (m 1)h) 4v(nh, mh)
.
h2
Sea Dd , el sub ndice d se refiere a discreto, un subconjunto de Mh .
Decimos que (mh, nh) Dd es un punto interior de Dd si el y sus cuatro
vecinos estan en Dd . Si (mh, nh) Dd no es un punto interior diremos que
(mh, nh) es un punto de la frontera de Dd . Definimos
I(Dd ) = {(mh, nh) Dd / (mh, nh) es punto interior de Dd }
y
Dd = {(mh, nh) Dd / (mh, nh) es punto de la frontera de Dd }.
Consideremos ahora el problema de Laplace discreto
h v(mh, nh) = f (mh, nh)

si

(mh, nh) I(Dd )

v(mh, nh) = g(mh, nh)

si

(mh, nh) Dd

(6.1)
donde f : I(Dd ) R y g : Dd R son funciones dadas.
Observaci
on: El sistema lineal (6.1) tiene tantas incognitas como puntos
hay en I(Dd ) y tantas ecuaciones como puntos hay en I(Dd ). Por lo tanto, si
Dd es finito, siempre tiene solucion. Probaremos mas adelante, sin recurrir
a algebra lineal, que dicha solucion es u
nica.
61

POR DIFERENCIAS FINITAS.


6. APROXIMACION

62

6.2.

El Principio del M
aximo para el Laplaciano discreto.

Es importante hacer notar que el si v satisface


h v(mh, nh) = 0,
entonces el valor de v en (mh, nh) es igual al promedio de v sobre los cuatro
puntos vecinos de (mh, nh) en la malla. Esta es una forma discreta de la
propiedad de la media que conduce a un Principio del Maximo discreto.
Dejamos a continuacion como ejercicio demostrar dicho principio.
Teorema 6.2.1. Sea v1 una soluci
on de
h v1 (mh, nh) = f1 (mh, nh)

si

(mh, nh) I(Dd )

v1 (mh, nh) = g1 (mh, nh)

si

(mh, nh) Dd

h v2 (mh, nh) = f2 (mh, nh)

si

(mh, nh) I(Dd )

v2 (mh, nh) = g2 (mh, nh)

si

(mh, nh) Dd .

y v2 una soluci
on de

Supongamos que
f1 (mh, nh) f2 (mh, nh) si (mh, nh) I(Dd )
y
g1 (mh, nh) g2 (mh, nh) si (mh, nh) Dd .
Entonces
v1 (mh, nh) v2 (mh, nh) para todo (mh, nh) Dd .
Demostraci
on: Ejercicio. Hint: Imite la demostraci
on del caso continuo.
Ejercicio. Demuestre que la solucion de (6.1) es u
nica.
Ejercicio. Compruebe que la funcion
v(mh, nh) = C(m2 + n2 )h2
satisface
h v = 4C.
Definimos ahora si Dd es finito las normas
||f ||L (I(Dd )) =
||g||L (Dd ) =

max

(mh,nh)I(Dd )

max

(mh,nh)Dd

|f (mh, nh)|,

|g(mh, nh)|


PARA EL LAPLACIANO DISCRETO.
6.2. EL PRINCIPIO DEL MAXIMO

63

y el diametro
diam Dd = diametro de Dd .

El teorema siguiente nos da una estimacion del tama


no de la soluion en
teminos del tama
no de los datos y del diametro de Dd .
on de (6.1). Entonces
Teorema 6.2.2. Sea v la soluci
|v(mh, nh)| max(||f ||L (I(Dd )) , ||g||L (Dd ) )(2diam Dd )2
para todo (mh, nh) Dd .
Demostraci
on: Sin perdida de la generalidad podemos suponer que (0, 0)
/
Dd pero que uno de sus vecinos si esta en Dd . De este modo
1 m2 h2 + n2 h2 (2diam Dd )2 para todo (mh, nh) Dd .
Pongamos
C = max(||f ||L (I(Dd )) , ||g||L (Dd ) )
y consideremos la funcion
v2 (mh, nh) = C(m2 + n2 )h2 .
Se tiene
h v2 = 4C f en I(Dd )
y
v2 g en Dd .
Del teorma 6.2.1 resulta que
v v2 en Dd .
De manera analoga se prueba que
v2 v en Dd
y el teorema esta demostrado.

Ejercicio. Si no lo hizo en el captulo correspondiente demuestre el resultado


analogo al Teorema 6.2.2, para el caso del problema de Dirichlet para la
ecuacion de Poisson en un dominio acotado de RN .

POR DIFERENCIAS FINITAS.


6. APROXIMACION

64

6.3.

Relaci
on entre el Laplaciano y el Laplaciano Discreto.

Lo que sigue es tambien una motivaci


on para la definicion del Laplaciano
Discreto.
Sea u C 3 y fijemos h > 0. Expandiendo por Taylor en el punto
(mh, nh) de la malla tenemos
u((n+1)h, mh) = u(nh, mh)+ux (nh, mh)h+uxx (nh, mh)h2 +uxxx (c, mh)h3
u((n1)h, mh) = u(nh, mh)ux (nh, mh)h+uxx (nh, mh)h2 uxxx (d, mh)h3
donde mh c (m + 1)h y (m 1)h c mh.
Sumando obtenemos

uxx (nh, mh) =

u((n + 1)h, mh) + u((n 1)h, mh) 2u(nh, mh)


+E1 (nh, mh)h.
h2

Analogamente
u(nh, (m + 1)h) + u(nh, (m 1)h) 2u(nh, mh)
uyy (nh, mh) =
+E2 (nh, mh)h.
h2
Sumando nuevamente se tiene
u(nh, mh) = d u(mh, nh) + E(nh, mh)h.
Si suponemos tambien que las terceras derivadas de u estan acotadas
tenemoa
|E(mh, nh)| M
para alg
un M > 0.
As, SI LAS DERIVADAS DE TERCER ORDEN DE u ESTAN ACOTADAS, el error que se comete al aproximar el Laplaciano de u, en un punto
de la malla Mh , por el Laplaciano Discreto es del orden de h. De esta manera
el Laplaciano Discreto aproxima al Laplaciano.
6.4.

El problema de Dirichlet para la Ecuaci


on de Poisson.

Sea D un dominio suave y acotado en R2 . Sean f y g funciones suaves.


Consideremos el problema
u = f

en

u =g

en

D.

(6.2)

DEL CALOR.
6.5. EL PROBLEMA DE DIRICHLET PARA LA ECUACION

65

Sea h > 0 y consideremos la malla Mh . Definamos


Dd = {(mh, nh) Mh / (mh, nh) D}.
Para (mh, nh) Dd definamos
g(mh, nh) = g(c, d)
donde (c, d) es el punto de D mas cercano a (mh,
nh). Es claro que la
distancia entre (mh, nh) y (c, d) es menor o igual a 2h.
Sea ahora u la solucion de (6.2) y v la solucion de (6.1). Supondremos
que u C 3 (D) y que sus terceras derivadas estan acotadas por M en D.
Consideremos la diferencia
w =uv
como funcion en la malla. Entonces w satisface
d w = u Eh d v = Eh en I(Dd )
con
|E(nh, mh)| M.
Por otra parte si (mh, nh) Dd tenemos
w(mh, nh) = u(mh, nh) g(c, d) = u(mh, nh) u(c, d).

Como la distancia entre (mh, nh) y (c, d) es menor o igual a 2h y las


primeras derivadas de u tambien estan acotadas, digamos por M , tenemos

|w(mh, nh)| M 2h para todo (mh, nh) Dd .


As por el Teorema 6.2.2 obtenemos

|u v| = |w| hM 2(2 diam D)2 en Dd


lo que demuestra la convergencia de la solucion discreta a u en los puntos
de la malla. Hacemos notar que el error es del orden de h.

6.5.

El problema de Dirichlet para la ecuaci


on del calor.

En este caso trabajaremos en una variable espacial dejando al lector el


hacerlo en mas variables.
Trabajaremos en el dominio [0, 1] [0, T ]. Pongamos h =
consideremos la malla

1
N1 ,

k=

T
N2

POR DIFERENCIAS FINITAS.


6. APROXIMACION

66

Mh,k = {(mh, nk) / 0 m N1 y 0 k N2 }


en [0, 1] [0, T ].
Para una funcion v sobre la malla consideramos el siguiente problema
discreto
(6.3)
v(mh,(n+1)k)v(mh,nk)
k

= d v(mh, nk) 0 < m < N1 , 0 n < N2

v(0, nk) = g0 (nk)


v(1, nk) = g1 (nk)
v(mh, 0) = v0 (mh)

0 n N2
0 n N2
0 m N1

donde
v((m + 1)h, nk) + v((m 1)h, nk) 2v(mh, nk)
h2
es el Laplaciano discreto unidimensional.
d v(mh, nk) =

Si se conocen los datos g0 , g1 y u0 el problema (6.3) puede resolverse


explicitamente por iteraciones.
El problema (6.3) tambien tiene un principio del Maximo parabolico.
Teorema 6.5.1. Suponga que
2k
1.
h2
Si g0 0, g1 0 y u0 0, entonces si v resuelve (6.3) se tiene que
v(mh, nk) 0 en Mh,k .
Demostraci
on: Despejando en la ecuacion tenemos
v(mh, (n + 1)k) =

v((m + 1)h, nk) + v((m 1)h, nk))


2k
+ (1 2 )v(mh, nk).
2
h
h

As tenemos por induccion que si los datos de borde son no negativos y


la solucion es no negativa en el tiempo t = nk, entonces tambien lo es en el
tiempo t = (n + 1)k.
Corolario 6.5.1. Suponga que
2k
1.
h2
Sean v y v soluciones de (6.3) con datos g 0 , g 1 , v 0 y g 0 , g 1 , v 0 respectivamente.

DEL CALOR.
6.5. EL PROBLEMA DE DIRICHLET PARA LA ECUACION

67

Entonces si
g0 g0 ,
g1 g1

v0 v0
se tiene
v v.
Ejercicio. Demuestre que la solucion de (6.3) es u
nica.
Ejercicio. Sea u(x, t) la solucion de
ut
u(0, t)
u(1, t)
u(x, 0)

=
=
=
=

u + f
g0 (t)
g1 (t)
v0 (x)

en [0, 1] [0, T ]
para t [0, T ]
para t [0, T ]
0 para x [0, 1]

con derivadas terceras acotadas.


Suponga que

2k
1.
h2

Demuestre que la solucion del problema discreto


v(mh,(n+1)k)v(mh,nk)
k

= d v(mh, nk) + f (mh, nk) 0 < m < N1 , 0 n < N2

v(0, nk) = g0 (nk)


v(1, nk) = g1 (nk)
v(mh, 0) = v0 (mh)

0 n N2
0 n N2
0 m N1

converge a u, cuando h 0, en puntos de la malla.


Ejercicio. Repita el ejercicio anterior en el caso de dos variables espaciales.
Ejercicio. Demuestre que el problema discreto implcito
v(mh,nk)v(mh,(n1)k)
k

= d v(mh, nk) 0 < m < N1 , 1 n N2

v(0, nk) = g0 (nk)


v(1, nk) = g1 (nk)
v(mh, 0) = v0 (mh)

0 n N2
0 n N2
0 m N1

tiene principio del maximo sin restricciones en h y k.

CAPITULO 7

La ecuaci
on de primer orden.
En esta seccion estudiaremos la ecuacion de primer orden. Por esto
entendemos una ecuacion que involucra a la incognita u y a sus primeras
derivadas. Los ejemplos pueden ser extremadamente complicados. Que tal
resolver
sin(ux uy + u7 uy ) + euux 25u3 (u2x uy 5) = x2 arctan(xy)
en R2 ?
En este curso solo trataremos la ecuacion cuasi-lineal que, en en R2 , es
de la forma
a(x, y, u)ux + b(x, y, u)uy = c(x, y, u).
Tambien en estas notas trabajaremos en R2 y propondremos al final unn
ejercicio en R3 para que el alumno se convenza que en mas dimensiones las
cosas se hacen de manera analoga.
Comencemos con el caso mas simple posible, este es el de la ecuacion
lineal con coeficientes constantes.

7.1.

La ecuaci
on lineal con coeficientes constantes.

Esta ecuacion es de la forma


aux + buy = cu
donde a, b, c R.
Para resolverla consideremos, para s fijo, la recta caracterstica
x(t, s) = at + (s),
y(t, s) = bt + (s)
donde t es la variable de la forma parametrica de la recta y ((s), (s)) es
una curva en el plano.
La gracia de las caractersticas es que si uno considera la funcion
z(t, s) = u(x(t, s), y(t, s))
69

DE PRIMER ORDEN.
7. LA ECUACION

70

esta satisface, para s fijo, la ecuacion diferencial ordinaria


z =

dz
= aux + buy = cu = cz.
dt

O sea
z = cz
y por lo tanto
z(t, s) = Kect .
Para determinar la constante K tenemos
k = z(0, s) = u(x(0, s), y(0, s)) = u((s), (s)).
Por lo tanto
(7.1)

u(x(t, s), y(t, s)) = z(t, s) = u((s), (s))ect .

La formula (7.1) muestra que si uno prescribe el valor de u en el punto


((s), (s)) esto determina los valores de u a lo largo de toda la caracterstica
(x(t, s), y(t, s)) con t R.
Lo anterior nos conduce a pensar que podemos determinar una solucion
de
aux + buy = cu
si conocemos los valores que u toma en una curva ((s), (s)). Es decir si
prescribimos los valores iniciales
u((s), (s)) = g(s)
donde g es una funcion dada.
Veamos ahora un ejemplo.
Ejemplo: Tomemos ((s), (s)) = (s, 0) y g(s) = s. En este caso estamos
pidiendo que sobre el eje de las x la solucion u compla con
u(x, 0) = x.
En este caso particular tenemos
x(t, s) = at + s,
y(t, s) = bt
y
u(x(t, s), y(t, s)) = z(t, s) = sect .
Para conseguir u(x.y) ponemos
x = x(t, s) = at + s,
y = y(t, s) = bt.

LINEAL EN GENERAL.
7.2. LA ECUACION

71

despejando s y t en terminos de x e y y substituyendo en la tercera ecuacion


obtenemos
c
a
u(x, y) = (x y)e b y .
b
Compruebe que esta es en efecto la solucion de nuestro problema.
Todo esto esta muy bien PERO SIEMPRE QUE b 6= 0. Que pasa si b =
0? En este caso las caractersticas de la ecuacion son las rectas horizontales
y nosotros estamos prescribiendo los datos iniciales sobre una de ellas. No
es posible prescribir arbitrariamente los valores de la solucion a lo largo de
una caracterstica ya que el valor en un punto de ella determina los valores
a lo largo de toda la caracterstica. Si uno insiste en hacerlo debe hacerlo de
manera consistente y en este caso la solucion no sera necesariamente u
nica.
En nuestro ejemplo si b = 0 y pedimos que u(0, 0) = 0 estamos obligados a
pedir u(x, 0) = 0. Ahora cualquier solucion de la ecuacion con dato inicial
u(0, y) = g(y) con g(0) = 0 satisface u(x, 0) = 0 lo que nos da que el
problema
aux = cu
u(x, 0) = 0,
con a 6= 0 y c 6= 0, no tiene solucion u
nica.
Hacemos notar tambien que en este caso las caractersticas son rectas
paralelas que no se cruzan. De este modo si la curva ((s), (s)) cruza exactamente una vez cada una de las caractersticas tendremos una solucion
definida en todo el plano. Si la curva cruza dos veces una caracterstica
habra que tener cuidado en como prescribir u en estos dos puntos. En casos
mas generales, como el que veremos a continuaci
on, las caractersticas se
pueden cruzar restringendo a veces el dominio de existencia de la solucion.

7.2.

La ecuaci
on lineal en general.

Esta ecuacion es de la forma


(7.2)
donde a, b, c :

a(x, y)ux + b(x, y)uy = c(x, y)u


R2

R son funciones suaves.

Como en la seccion anterior denotaremos


dx
x =
.
dt
Para resolver la ecuacion consideremos, para s fijo, la curva caracterstica (x(t, s), y(t, s)) que es la que satisface la ecuacion diferencial ordinaria
x(t,
s) = a(x(t, s), y(t, s)),
y(t,
s) = b(x(t, s), y(t, s))

DE PRIMER ORDEN.
7. LA ECUACION

72

con condicion inicial


(x(0, s), y(0, s)) = ((s), (s))
donde ((s), (s)) es una curva suave en el plano.
Si, como antes, uno considera la funcion
z(t, s) = u(x(t, s), y(t, s))
esta satisface, para s fijo, la ecuacion diferencial ordinaria
z(t,
s) = c(x(t, s), y(t, s))z(t, s).
Si ademas pedimos la condicion inicial
(7.3)

u((s), (s)) = g(s)

se debe tener
z(0, s) = g(s).
De este modo para resolver
a(x, y)ux + b(x, y)uy = c(x, y)u
con condicion inicial
u((s), (s)) = g(s)
debemos resolver, para s fijo, el sistema de ecuaciones diferenciales ordinarias
(7.4)

x(t,
s) = a(x(t, s), y(t, s)),
y(t,
s) = b(x(t, s), y(t, s)),
z(t,
s) = c(x(t, s), y(t, s))z(t, s)

con condiciones iniciales


(7.5)

x(0, s) = (s),
y(0, s) = (s),
z(0, s) = g(s).

Si a, b, c, , y g son funciones buenas, con la suficiente diferenciabilidad, un teorema de ecuaciones diferenciales ordinarias garantiza la existencia
de t0 > 0 y s0 > 0 tales que para todo s (s0 , s0 ) el sistema (7.4), (7.5)
tiene una solucion
(x(t, s), y(t, s), z(t, s))
definida para t (t0 , t0 ). Ademas la solucion es diferenciable en ambas
variables t y s.
Pongamos ahora (x0 , y0 ) = ((0), (0)) y consideremos el sistema
(7.6)

x = x(t, s),
y = y(t, s).

No confundir las variables x, y con las funciones x(t, s) e y(t, s) !!!

LINEAL EN GENERAL.
7.2. LA ECUACION

73

Se tiene
x0 = x(0, 0),
y0 = y(0, 0).

(7.7)
Si suponemos ahora que

(7.8)
det

dx
dt (0, 0)
dy
dt (0, 0)

6= 0

dy

ds (0, 0)

dx
ds (0, 0)

el Teorema de la Funcion Inversa garantiza la existencia de funciones


t(x, y)
y
s(x, y),
definidas en una vecindad de (x0 , y0 ), tales que t(x0 , y0 ) = 0, s(x0 , y0 ) = 0 e
invierten el sistema (7.6).
Poniendo ahora
u(x, y) = z(t(x, y), s(x, y))
obtenemos una solucion de (7.2), (7.3).
Observaci
on: Hacemos notar que la condicion (7.8) significa exactamente
que la curva ((s), (s)) y la caracterstica de (7.2) que pasa por (x0 , y0 )
NO son tangentes en (x0 , y0 ).
Hemos as probado el teorema siguiente.
Teorema 7.2.1. Sean a, b, c funciones suaves. Sea g una funci
on suave.
Sea ((s), (s)) una curva suave tal que ((0), (0)) = (x0 , y0 ). Supongamos
adem
as que la curva ((s), (s)) y la caracterstica de (7.2) que pasa por
(x0 , y0 ) NO son tangentes en (x0 , y0 ).
Entonces (7.2) tiene una soluci
on u definida en una vecindad de (x0 , y0 )
que satisface u((s), (s)) = g(s).
Ejercicio. Resolver
xuy yux = u
con condicion inicial
u(s, 0) = s para s > 0.

DE PRIMER ORDEN.
7. LA ECUACION

74

7.3.

La ecuaci
on cuasi lineal.

Como antes sean a, b, c : R3 R funciones suaves. Sea g : R R suave


y sea ((s), (s)) una curva suave en R2 tal que ((0), (0)) = (x0 , y0 ).
Este caso se trata de resolver
(7.9)

a(x, y, u)ux + b(x, y, u)uy = c(x, y, u)

con condicion inicial


(7.10)

u((s), (s)) = g(s).

Como en la seccion anterior denotaremos


dx
x =
.
dt
El mismo analisis del caso lineal nos lleva a considerar, para s fijo, la curva caracterstica (x(t, s), y(t, s), z(t, s)) que es la que satisface la ecuacion
diferencial ordinaria
x(t,
s) = a(x(t, s), y(t, s), z(t, s))
y(t,
s) = b(x(t, s), y(t, s), z(t, s))
z(t,
s) = c(x(t, s), y(t, s), z(t, s))
con condicion inicial
(x(0, s), y(0, s), z(0, s)) = ((s), (s), g(s)).
Si los datos son buenos para garantizar unicidad en la solucion del sistema, y la solucion u existiera, se debera tener
z(t, s) = u(x(t, s), y(t, s)).
Como antes un teorema de ecuaciones diferenciales ordinarias garantiza
la existencia de t0 > 0 y s0 > 0 tales que para todo s (s0 , s0 ) el sistema
(7.4), (7.5) tiene una solucion
(x(t, s), y(t, s), z(t, s))
definida para t (t0 , t0 ). Ademas la solucion es diferenciable en ambas
variables t y s.
Consideremos el sistema
(7.11)

x = x(t, s),
y = y(t, s).

No confundir las variables x, y con las funciones x(t, s) e y(t, s) !!!


Se tiene
(7.12)

x0 = x(0, 0),
y0 = y(0, 0).

DE TRANSPORTE.
7.4. LA ECUACION

Si suponemos ahora que

(7.13)
det

dx
dt (0, 0)
dy
dt (0, 0)

75

6= 0

dy

ds (0, 0)

dx
ds (0, 0)

el Teorema de la Funcion Inversa garantiza la existencia de funciones


t(x, y)
y
s(x, y),
definidas en una vecindad de (x0 , y0 ), tales que t(x0 , y0 ) = 0, s(x0 , y0 ) = 0 e
invierten el sistema (7.11).
Poniendo nuevamente
u(x, y) = z(t(x, y), s(x, y))
obtenemos una solucion de (7.2), (7.3).
Ejercicio. Resolver
ux + uy = u2
con condicion inicial
u(s, 0) = s para s R.

7.4.

La ecuaci
on de transporte.

Supongamos que tenemos en un medio unidimensional, que modelaremos


por el eje real R, un material que se esta moviendo a una velocidad V . En
este momento seremos intencionalmente vagos sobre de que depende V .
Denotemos por u(x, t) la densidad del material en la posicion x en el
instante t.
Tomemos un intervalo [x, x + h] R y dos tiempos t < t + k. Asumiendo
que el material se conserva, es decir no se crea ni se pierde material, calculemos de dos maneras distintas la diferencia de cantidad, , de material que
hay en [x, x + h] en el istante t + k menos la que hay en el instante t.
Por una parte tenemos
Z
=

x+h

(u(y, t + k) u(y, t))dy.

Por otra parte debe ser igual a la cantidad de material que ha sido arrastrada a traves de los bordes de [x, x + h]. Esto es
Z t+k
=
(V u(x, s) V u(x + h, s))ds.
t

DE PRIMER ORDEN.
7. LA ECUACION

76

Igualando estas cantidades, dividiendo por h y por k y haciendo tender


h y k a cero obtenemos por el Teorema Fundamental del Calculo
(7.14)

ut + (V u)x = 0

que es la ecuaci
on del transporte.
Ejercicio. Suponga ademas que en este proceso hay una fuente F que en
cada punto esta produciendo o sacando material. Deduzca que en este caso
la ecuacion toma la forma
(7.15)

ut + (V u)x = F.

De qu
e depende V ?:
La respueta a esta pregunta es: De lo que Ud. quiera seg
un la situacion.
Pero veamos algunos ejemplos.
1. Pensemos en el caso de un ro que se mueve en forma unidimensional sobre cuya superficie hay un contaminante que es simplemente
arrastrado por el ro. Denotemos por u(x, t) la densidad del contaminante.
a) Si la velocidad del ro es V = V = constante, la ecuacion (7.16)
toma la forma
ut + (V u)x = 0.
Dese un dato inicial u(x, 0) y resuelva.
b) Si la velocidad del ro depende de la posicion tenemos que V =
V (x) y la ecuacion (7.16) toma la forma
ut + V (x)ux + Vx (x)u = 0.
Dese un dato inicial u(x, 0) y resuelva.
c) Si ademas la velocidad del ro depende del tiempo tenemos que
V = V (x, t) y la ecuacion (7.16) toma la forma
ut + V (x, t)ux + Vx (x, t)u = 0.
Dese un dato inicial u(x, 0) y resuelva.
d) Podramos pensar tambien en el caso en que la velocidad con que
se desplaza el contaminante depende de su densidad. Esto nos
conduce a un modelo donde V = V (x, t, u). La ecuacion (7.16)
en este caso toma la forma
ut + (V (x, t, u)u)x = 0.
Escoja un V = V (u), un dato inicial u(x, 0) y resuelva.
e) Si al caso anterior agregamos una fuente F que produce contaminante y un sistema G que retira contaminante llegamos a la
ecuacion
ut + (V (x, t, u)u)x = F G.

DIMENSIONES.
7.5. MAS

77

Escoja un V = V (u), un dato inicial u(x, 0), un F , un G y


resuelva. Esta la solucion u de su modelo definida para todo
t 0? Si lo estuviera, Que pasa con la densidad u en su modelo
cuando t ?
2. La ecuaci
on del tr
afico. Pensemos u(x, t) como la densidad de
autos en el punto x en el instante t en una carretera recta.
a) En este caso es natural pensar que la velocidad depende de la
densidad, o sea V = V (u). Escoja un V = V (u) que le parezca
natural, un dato inicial u(x, 0) y resuelva. Colapsan las caractersticas en su modelo?
b) Tambien se puede pensar que la velocidad depende de la cantidad de autos que hay una cuadra mas adelante. En este caso
Z x+1
V =V(
u(y, t)dy).
x

As podramos seguir para siempre agregando, por ejemplo, entradas


y salidas de la carretera.

7.5.

M
as dimensiones.

Supongamos que tenemos ahora en un medio bidimensional, que modelaremos por el plano R2 , un material que se esta moviendo a una velocidad

V.
Denotemos por u(x, t) la densidad del material en la posicion x en el
instante t.
Tomemos una region D R2 y dos tiempos t < t + k. Asumiendo que
el material se conserva, es decir no se crea ni se pierde material, calculemos
de dos maneras distintas la diferencia de cantidad, , de material que hay
en D en el istante t + k menos la que hay en el instante t.
Por una parte tenemos

(u(y, t + k) u(y, t))dy.


D

Por otra parte debe ser igual a la cantidad de material que ha sido arrastrada a traves del borde de D. Esto es
Z t+k Z

=
u(y, s) V n
dS(y)ds.
t

Igualando estas cantidades, dividiendo por h y por k y haciendo tender


h y k a cero y aplicando la formula de Green obtenemos
Z
Z

(7.16)
ut (y, t)dy +
div(u(y, t) V (y, t))dy = 0.
D

78

DE PRIMER ORDEN.
7. LA ECUACION

Como D es arbitrario obtenemos la ecuacion

ut + div(u V ) = 0.

Ejercicio. Dese un V , una condicion inicial adecuada y resuelva.