Ejercicios Resueltos de EDP-tommaso PDF

1
2
Ejercicios del curso
Ecuaciones en derivadas parciales
Tommaso Leonori e-mail: leonori@ugr.es

Dep. de Analisis Matematico
Universidad de Granada.
T.Leonori Ejercicios de EDP
c
Ejercicios del curso Ecuaciones en derivadas parciales
c
Tommaso Leonori
ISBN papel 978-84-686-2795-3
Impreso en Espana
Editado por Bubok Publishing S.L.
2
Indice general
Ecuaciones del Primer Orden 7
Ecuacion de Ondas 27
Ecuacion del Calor 75
Ecuaciones Elpticas 101
3
4
Introducion
En estos apuntes he reunido las soluciones de los ejercicios propuesto

durante el curso, dado juntos con el Prof. David Arcoya, y en los examenes
de Ecuaciones en Derivadas Parciales del ano academico 2009/2010.
En las referencias podeis encontrar unos libros o apuntes donde la teora
relativa a los ejercicios propuestos esta explicada de forma clara. Algunos de
los ejercicios propuestos han sido cogido desde [CF], [DF], [Per] y [St].
Si alguien encontrara erratas, misprints o tiene dudas sobre los ejercicios,

que no dudes en enviarme un correo (leonori@ugr.es).
5
6
Ecuaciones del Primer Orden
Ejercicio 1.1 Estudiad la linealidad y estableced el orden para cada una de

las e.d.p. siguientes:
1. ut uxx + 1 = 0,
2. ut uxx + xu = 0,
3. ut uxxt + uux = 0,
4. utt ux + x2 = 0,
u
5. iut uxx + x
= 0,
ux uy
6. p +q = 0,
(1 + u2x ) (1 + u2y )
7. ux + ey uy = 0,

8. ut + uxxxx + 1 + u = 0.
Solucion.1 No es complicado verificar que:

1
Con ecuacion diferencial de orden m se entiende una ecuacion de la forma
F (Dm u, Dm1 u, ...., Du, u, x) = 0 x RN N 2 ,
donde
m m1
F : RN RN ..... RN R R
es una funcion asignada y
u:R
7
1. es lineal del segundo orden;
3. es nolineal del tercer orden;
6. es nolineal del primer orden;
7. es lineal del primer orden;
8. es nolineal del cuarto orden.
es una funcion regular. Ademas decimos que la ecuacion es lineal si se escribe de la forma
m
X
a (x)D u(x) = f (x)
||k
donde f y a son funciones regulares.
8
Ejercicio 1.2 Dado c R, estudiad la linealidad y orden de la siguiente

ecuacion:
ux + cuy = 0, (x, y) R2 . (1.1)
Interpretad geometricamente la e.d.p. y calculad sus soluciones.
Solucion.
No es complicado verificar que la ecuacion es lineal del primer orden.
Notese que dicha ecuacion se puede escribir de la siguiente forma:
u(x, y) (1, c) = 0 ,
donde = (x , y ). Entonces el ejercicio consiste en encontrar funciones u

tales que su gradiente es ortogonal al vector (1, c).
Vamos a explicar dos manera de resolver este ejercicio.
Metodo 1. Geometrico. Aprovechando la idea del sentido geometrico de la

ecuacion, deducimos que la derivada direccional de u(x) en la direccion (1, c)
tiene que ser 0, es decir que u(x) es constante a lo largo de dicha direccion.
Entonces que las soluciones de la ecuacion (1.1) tienen que depender solo de
una direccion ortogonal a (1, c). Siendo el vector (c, 1) ortogonal a (1, c),
deducimos que
u(x, y) = f (y cx) ,
donde f es una funcion de clase C 1 (R). Las rectas y cx =constante se

llaman rectas caractersticas.
Metodo 2. Caractersticas. Aplicando el metodo de las caractersticas

(vease, por ejemplo [Ev], Cap. 2 para la teora de esto metodo) deducimos
que
x (t) = 1

y (t) = c tR

z (t) = 0 ,
9
as que resulta, siendo 1 , 2 , 3 constantes arbitrarias,

x(t) = t + 1

y(t) = ct + 2 tR

z(t) = 3 .
Por lo tanto
3 = z(x(t), y(t)) = z(t + 1 , ct + 2 )
y como
y(t) cx(t) = 2 c1
deducimos que las soluciones de (1.1) son de la forma
u(x, y) = f (y cx) ,
donde f es una cualquier funcion f C 1 (R).
10
Ejercicio 1.3 Resolved las ecuaciones:
1. ut + xux = 0, (x, t) R2 ,
2. ut + 2tx2 ux = 0, (x, t) R2 .
Solucion.
En los dos casos aplicamos el metodo de las caractersticas.
1. Escribimos el sistema caracterstico asociado a la primera de la ecua-

ciones resulta ser

t (s) = 1

x (s) = x(s) sR

z (s) = 0 .
Entonces, siendo ci i = 1, 2, 3 constantes, la solucion del sistema esta

dada por
t(s) = s + c1

x(s) = c2 es sR (1.2)

z(s) = c3 .
Por lo tanto la solucion de la ecuacion ut + xux = 0, (x, t) R2 resulta

ser constante si calculada a lo largo de la familia de las curvas carac-
terstica definida mediante las primeras dos ecuaciones en (1.2). Por lo
tanto, teniendo en cuenta que s = tc1 , resulta que xet = c2 ec1 = C1 .
Ademas aprovechando que la ecuacion es lineal no homogenea y que no
hay ningun termino de orden cero, las constantes cumplen tambien la
ecuacion as que las soluciones son de la forma:
u(x, t) = C1 xet + C2
con C1 y C2 constantes.
11
2. En este caso el sistema caracterstico resulta ser dado por

t (s) = 1

x (s) = 2t(s)x2 (s) sR

z (s) = 0 .
Entonces, siendo ci i = 1, 2, 3 constantes, las soluciones de la primera

y tercera ecuaciones del sistema son

t(s) = s + c
1 sR
z(s) = c2 ,
mientras que para resolver la segunda aplicamos el metodo de separa-

cion de las variables. Para x(s) 6= 0 tenemos que
x (s)
= 2t(s) = 2(s + c1 )
x2 (s)
as que
Z Z
1
c3 =2 t(s)ds = 2 (s + c1 )ds = (s + c1 )2 + c3 = t2 (s) + c3 ,
x(s)
por una constante c3 oportuna. Por lo tanto
1
+ t2 = c3 , con c3 R ,
x
y como la solucion es constante a lo largo de cada curva caracterstica,
deducimos, razonando como antes, que las soluciones tienen la forma
1
u(x, t) = C1 + t2 + C2 ,
x
con C1 y C2 constantes.
Se puede facilmente verificar que dichas soluciones cumplen las ecuaciones

diferenciales propuestas en el ejercicio.
12
Ejercicio 1.4 Calculad la solucion del problema

(
ut u x = u2 , x R, t > 0
1 x
u(x, 0) = 2 e , x R.
Solucion.
Aplicamos el metodo de las caractersticas y por lo tanto queremos resolver
el siguiente sistema de ecuaciones diferenciales ordinarias:

t(s) = 1
t0 () = 0

x(s) = 1 x0 () =

z0 () = 12 e .

z(s) = z 2 (s)
Entonces
t(s, ) = s

x(s, ) = s +

1 1 1
z0 ()
z(s,) = 2e z(s,)
= s,
y consecuentemente

s = t(s, )

= x(s, ) + t(s, )

1 1
u(x(s, ), t(s, )) = z(s, ) = = x(s,)+t(s,)
2e s 2e t(s, )
y finalmente deducimos que

1
u(x, t) = .
2ex+t t
Es facil comprobar que esta es efectivamente una solucion del problema.
13

(
ux + uuy = 2, (x, y) R2
u(0, y) = y, y R.
Solucion.
Observemos que es un problema de Cauchy de la forma
(
a(x, y, u)ux + b(x, y, u)uy = c(x, y, u),
u(x0 (s), y0 (s)) = z0 (s), s R,
con coeficientes a(x, y, u) = 1, b(x, y, u) = u, c(x, y, u) = 2 y con la curva

inicial (s) = (x0 (s), y0 (s), z0 (s)) dada por x0 (s) = 0, y0 (s) = s y z0 (s) = s.
Observemos tambien que este problema es no caracterstico ya que
!
a(x0 (s), y0 (s)) x0 (s)
det 6= 0.
b(x0 (s), y0 (s)) y0 (s)
Ademas la curva s 7 (x0 (s), y0 (s)) = (0, s) = (s) es inyectiva. Por tanto
existe una superficie integral (o solucion local) que contiene a la curva inicial
(s).
Para calcular dicha solucion, consideramos el sistema caracterstico:

x(s) = 1 x0 () = 0

y(s) = z(s) y0 () =

z(s) = 2 z0 () = .
Esta claro que las primeras y las terceras ecuaciones nos dan
(
x(s, ) = s
z(s, ) = 2s + ,
as que tenemos
Z s
y(s, ) = (2 + )d = s2 + s.
0
14
Podemos obtener una expreson para s y t en funcion de x e y:

(
x=s
2
= yx
1+x
para x 6= 1 .
Consecuentemente,
y x2
u(x, y) = + 2x para x 6= 1 .
1+x
Es facil comprobar que esta es efectivamente una solucion del problema.
15

(
ut + uux = 0, (x, t) R (0, +)
(1.3)
u(x, 0) = g(x), x R,
with g tal que

1

if x 0
g(x) = 1x if 0 x 1 (1.4)

0 if x 1.
Solucion.
Primero, notamos que en principio el metodo de las caractersticas no se
puede aplicar a este problema siendo el dato inicial de clase C 1 a trozos pero
no C 1 (R). A pesar de esto facto, podemos pensar en aplicar dicho metodo en
las regiones del semiplano correspondientes a las zonas donde el dato inicial
es regular e intentar, luego, de pegar las soluciones encontradas.
La ecuacion diferencial que aparece en (1.3) es muy bien conocida en
mecanica de luidos como Ecuacion de Burges (con coeficiente de viscosidad
0). Mas in general este es un ejemplo sencillo de una ley de conservacion, es
decir de ecuaciones que tienen la forma
ut + F (u)x = 0
con F una funcion regular (F (s) = 21 s2 en (1.3)).

Escribimos el sistema asociado, es decir

t(s) = 1
t0 () = 0

x(s) = z(s) x0 () =

z(s) = 0 z0 () = g() .
Siendo !
1 0
det 6= 0,
1 1
16
el sistema es compatible, as que tiene sentido buscar una solucion al rededor

de la curva (s) = (t(), x(), g()). Por lo tanto

t(s) = s

z(s) = g() (1.5)

x(s) = + sg() .
Por lo tanto
u(x(s, ), t(s, )) = z(s, ) = g()
as que ahora solo tenemos que encontrar una expresion explcita para g()
en funcion de x y t.
Siendo t = s, deducimos que x(s) = + tg(); ademas, aprovechando
(1.4), podemos escribir la solucion de la tercera ecuacion en (1.5) explcita-
mente:
x=+t
if 0
x = + t(1 ) if 0 < 1

x=+t if > 1 .
Por lo tanto (vease tambien Figura 1.1)

=xt
if x t
xt
= 1t if 0 < xt
1t
1 es decir t < x 1, 0 < t < 1

=x if x > 1 .
Consecuentemente la solucion de (1.3) esta data, acordando la definicion de

g data por (1.4), por

xt
if x t
1x
u(x, t) = 1t
if t < x 1, 0 < t < 1

0 if x > 1 .
Como ya hemos observado, la solucion encontrada no es de clase C 1 (R

(0, 1)) siendo el dato inicial solo continuo (y C 1 a trozos pero no C 1 (R))
y por no tener, la ecuacion considerada, un efecto de regularizacion en las
soluciones.
17
t=1
1x
u1 u 1t u0
b b x
u(x, 0) = 1 u(x, 0) = 1 x u(x, 0) = 0
Figura 1.1: Las rectas caractersticas en la region 0 < t < 1.
De todas formas el mismo tipo de fenomeno si habra presentado si hu-

bieramos elegido un cualquier dato inicial g C 1 (R) que cumpliese

1

if x 0
g(x) = g(x) C 1 [0, 1], 0 g(x) 1 if 0 x 1

0 if x 1.
Efectivamente, las curvas caracterstica que salen de la zona x 0 y x 1

al tiempo t = 0 habran sido las misma y notese que las rectas caractersticas
cruzan en (x, t) = (1, 1). A la solucion en este punto no se le puede asignar
un valor preciso, siendo el punto (1, 1) en el cruce de tres familias de curvas
caractersticas que dan valor distinto en alcanzar dicho punto: si nos acerca-
mos desde la zona verde la solucion vale cero, si nos acercamos desde la
zona roja la solucion vale uno mientras que si nos acercamos desde la zona
azul la solucion es indeterminada.
Por lo tanto se produce un fenomeno de shock que limita el dominio de
la solucion (en sentido clasico) al conjunto {0 < t < 1}.
De todas formas, se puede definir la solucion en un conjunto mas grande
utilizando una condicion adicional (conocida como la Condicion de Entropia)
para elegir el valor de la solucion por t > 1 (vease por ejemplo [Ev], Seccion
3.4).
18
Ejercicio 1.7 Dado a R\{0}, estudiad la linealidad y orden de la siguiente

ecuacion:
2u 1 2u
= 0, (x, t) R2 . (1.6)
x2 a2 t2
Calculad algunas soluciones particulares.
Solucion.
No es complicado probar que la ecuacion es lineal del segundo orden.
Metodo 1. Caractersticas.
Vamos a aplicar el metodo de las caractersticas a esta clase de ecuaciones.
Siendo la ecuacion del primer orden, la idea es descomponer el operador

diferencial como x a1 t x + a1 t as como x + a1 t x a1 t , es
decir que la ecuacion se puede escribir de las formas:
1 1 1 1
x t x + t u(x, t) = 0 = x + t x t u(x, t), (1.7)
a a a a
para (x, t) R2 . Por lo tanto las soluciones de la ecuacion (1.6) se pueden
ver como soluciones del siguiente sistema caracterstico:

u (x, t) 1 u (x, t) = (x, t), x R, (x, t) R,
x a t
(1.8)
x (x, t) + 1 t (x, t) = 0, x R, (x, t) R .
a
Primero, buscamos las soluciones de la segunda ecuacion: una vez encontrada

la substituyamos en la primera as que podemos hallar u(x, t).
Pues, tratandose de un sistema de ecuaciones lineales del primer orden,
escribimos el sistema caracterstico asociado a la segunda ecuacion:

1
t (s, ) = a

x (s, ) = 1 s>0

z (s, ) = 0 .
Por lo tanto
1
t(s) = s + c1 , x(s) = s + c2 , z(s) = (x(s), t(s)) = c3
a
19
con ci , i = 1, 2, 3 constantes. Observamos que x at es constante, as que

deducimos que
(x, t) = f (x at) , f C 1 (R).
Ahora substituyendo la expresion de (x, t) en la primera de (1.8), deducimos
que u(x, t) cumple
1
ux (x, t) ut (x, t) = f (x at), (x, t) R2 .
a
Para hallar la expresion de u(x, t), aplicamos otra vez el metodo de las ca-
ractersticas a la ecuacion no homogenea que verifica u. Entonces deducimos

x (s) = 1

t (s) = a1 s > 0. (1.9)

z (s) = f x(s) at(s)
Por lo tanto desde las primeras dos ecuaciones deducimos que
1
t(s) = s + c1 , x(s) = s + c2 ,
a
con ci , i = 1, 2 constantes, as que
x + at = c3 , c3 R ,
son rectas caractersticas. Entonces una cualquier funcion de la variable x+at

anula el operador x a1 t , as que siempre podemos anadir a la solucion
particular una funcion g(x + at) con g de clase C 2 (R).
Desde la tercera ecuacion en (1.9) nos sale que
d
u(x(s), t(s)) = z (s) = f x(s) at(s) = f (2s + c)
ds
y entonces
1
z(s) = uz(x(s), t(s)) = F (2s + c) ,
2

con F = f . Finalmente deducimos que, siendo 2s = x at, las soluciones de
(1.6) son de la forma
u(x, t) = F (x at) + G(x + at)
20
con F , G de clase C 2 (R).

Metodo 2. Para calcular las soluciones, notamos, como antes, la descomposi-
cion del operador x2 a12 t2 como hemos ya hecho en (1.7).
Buscamos ahora un cambio de variable para llevar este problema a uno
mas sencillo. La descomposicion del operador sugieres, siguiendo la idea del
metodo de las caractersticas, de definir la pareja de nuevas variables y
de la siguiente forma

= x at, x = + ,

y consecuentemente 2 (1.10)
= x + at,
t = .
2a
Por lo tanto si llamamos
+
v(, ) = u ,
2 2a
deducimos, con un calculo directo, que
v(, ) = 0 = v(, ) . (1.11)
Vamos a disfrutar de la primera identidad. Notamos que desde (1.11) la

funcion v(, ) es independiente de la variable , es decir existe una funcion
f de clase C 1 (R) tal que
v(, ) = f () .
Siendo esta identidad cierta para cada y R, se pueden integrar ambos
lados con respecto a as que, aprovechando el teorema fundamental del
calculo, deducimos que
Z Z
v(, )d = f ()d .
Como estamos integrando una funcion de dos variables con respecto solo a
una de las dos, en calcular la familia de primitivas de f , hay que anadir
(en lugar de una constante, como se hace en el calculo de primitivas en una
variable) una funcion arbitraria dependiente solo de la variable . Por lo tanto
v(, ) = F () + G() ,
21
donde G de clase C 2 (R) y F = f . Notese que dicha v verifica tanto la primera

como la segunda identidad en (1.11).
Deshaciendo el cambio de variable introducido en (1.10), deducimos que
las soluciones de (1.6) son de la forma

u(x, t) = F ax t + G ax + t ,
con F y G de clase C 2 (R).
22
Ejercicio 1.8 Para (x1 , x2 , . . . , xN ) RN (N 2) se define el operador

laplaciano mediante
N
X 2u
u(x1 , x2 , . . . , xN ) = (x1 , x2 , . . . , xN ).
i=1
x2i
Dado = (1 , 2 , . . . , N ) RN , definimos (la solucion fundamental del la-

placiano) E : RN \ {} R mediante

1 2N
N 2 |x |
, si N > 2,
E (x) =

log |x |, si N = 2.
Probad que
E (x) = 0, x RN \ {}.
Solucion.
Notese que la funcion E , tanto en el caso N 3 como en el caso N = 2,
es una funcion no acotada, definida en RN \ {} y diferenciable en todo su
dominio de definicion. Por lo tanto, como el ejercicio nos pide de calcular su
Laplaciano en RN \ {}, el calculo de las derivadas esta permitido.
Empezamos por el caso N 3.
Calculamos las derivadas parciales de E con respecto a la variable xi , por un
cualquier i entre 1 y N :
1 xi i
xi |x |2N = |x |1N xi |x | = ,
N 2 |x |N
donde la ultima identidad es consecuencia del siguiente calculo directo:
sX
1 2(xi i ) xi i
xi |x | = xi (xk k )2 = pP = .
N
2 k=1N (xk k )
2 |x |
k=1
Ahora derivamos otra vez con respecto a xi as que
(xi i )2 1
x2i E (x) = N +2
.
|x | N |x |N
23
Por tanto, al sumar i entre 1 y N obtenemos:

N N
X X (xi i )2 1
E (x) = x2i E (x) = N +2

i=1 i=1
|x | N |x |N
N N
N X
2 1 X N 2 1
= (x i i ) 1 = |x| N = 0.
|x |N +2 i=1 |x |N i=1 |x |N +2 |x |N
En el caso N = 2, con el mismo espiritu del caso anterior, calculamos por i
igual a 1 o 2 la derivada de E (x) con respecto a xi :
xi i
xi log |x | = ,
|x |2
y consecuentemente
(xi i )2 1
x2i E (x) = 2 4
.
|x | |x |2
Por lo tanto
x21 E (x) + x22 E (x) = 0 .
24
Ejercicio 1.9 Sean a, b C 1 ( R) con R2 un conjunto abierto y

acotado. Supongamos que (t) = (x(t), y(t), z(t)) R (con t en un
intervalo de R) es una curva caracterstica de la ecuacion casilineal
a(x, y, u)ux + b(x, y, u)uy = 0, (x, y) .
Probar que si la proyeccion (x(t), y(t)) de (t) sobre corta la frontera

de en dos puntos P 6= Q, entonces el problema

a(x, y, u(x, y))ux (x, y) + b(x, y, u(x, y))uy (x, y) = 0 (x, y) ,
u(x, y) = f (x, y) (x, y) ,
no posee solucion cuando la funcion f C() satisface f (P ) 6= f (Q).
Solucion.
Sin perdida de generalidad podemos suponer que (x(0), y(0)) = P y (x(1), y(1)) =
Q. Probaremos que si para f C() tenemos una solucion u del problema

a(x, y, u(x, y))ux (x, y) + b(x, y, u(x, y))uy (x, y) = 0 (x, y) ,
u(x, y) = f (x, y) (x, y) ,
entonces f (P ) = f (Q) (vease Figura 1.2) Para ello, basta ver que u(x, y) es
constante a lo largo de la proyeccion (x(s), y(s)) de la curva caracterstica.
Esto es deducido usando que la superficie integral contiene toda la curva
caracterstica (t) = (x(t), y(t), z(t)) (i.e., u(x(t), y(t)) = z(t)) y observando
que por ser homogenea la ecuacion satisfecha por u tenemos que z(t) es
constante (pues la tercera ecuacion del sistema caracterstico es z (t) = 0).
Por tanto, f (P ) = u(P ) = u(x(0), y(0)) = z(0) = z(1) = u(x(1), y(1)) =
u(Q) = f (Q).
25
(x(t), y(t))
Figura 1.2: El abierto y la curva .
26
Ecuacion de Ondas
Ejercicio 2.1 Resolved el el siguiente problema de Cauchy

uxx (x, y) uyy (x, y) = 0, x, y R,

u(0, y) = 1 + y 2 , y R,

ux (0, y) = sen y, y R.
Solucion.
2
Aplicando la formula de DAlembert la solucion del problema esta dada
por
Z y+x
1 1 1
u(x, y) = [1 + (y x)2 ] + [1 + (y + x)]2 sen(s)ds
2 2 2 yx
1
= 1 + y 2 + x2 + [cos(x + y) cos(x y)] = 1 + y 2 + x2 sen x sen y .
2
2
Recordamos la formula de DAlembert. Dato el problema (homogeneo)

2
utt (x, t) c uxx (x, t) = 0, x R, t > 0

u(x, 0) = g(x), x R,

ut (x, 0) = h(x), x R,
con g C 2 (R) y h C 1 (R), c 6= 0, la unica solucion u C 2 (R (0, +)) esta dada por
Z x+ct
1 1 1
u(x, t) = g(x ct) + g(x + ct) + h(s)ds . (2.1)
2 2 2c xct
27
Ejercicio 2.2 Resolved el el siguiente problema de Cauchy

utt (x, t) uxx (x, t) = 0, en C,

u (x, 0) = xex2 , x 0,
t
(2.2)

u(x, 0) = 0, x0

u(0, t) = 0, t 0.
donde C = {x 0, t > 0}.
Solucion.
En este caso, siendo el problema definido solo en la cuarta parte del plano, la
formula de DAlembert no se puede aplicar directamente. Entonces la idea es
la de extender de una forma oportuna el problema a uno definido en todo el
semiespacio (por el que sabemos calcular la solucion via la formula (2.1)); la
dificultad esta en encontrar la extension correcta para que se cumpla tambien
la condicion en x = 0.
Mas concretamente definimos u la solucion de

2
utt (x, t) c uxx (x, t) = 0, x R, t > 0

ut (x, 0) = g(x), x R,

u(x, 0) = f (x), x R,
2
con g C 1 (R) y f C 2 (R) tales que g(x) = xex if x 0 y f = 0 if
x 0. Por lo tanto, gracias a la formula de DAlembert, la la unica solucion
u C 2 (R (0, +)) esta dada por
Z
1 1 1 x+ct
u(x, t) = f (x ct) + f (x + ct) + g(s)ds .
2 2 2c xct
Para que la u(x, t) sea solucion de (2.2) tiene que cumplir la condicion
u(0, t) = 0, t 0, y consecuentemente:
Z
1 1 1 ct
u(0, t) = f (ct) + f (ct) + g(s)ds = 0 t 0 .
2 2 2c ct
28
Esta condicion nos lleva a las definiciones tanto de f como de g en todo el

eje: en efecto esta condicion es equivalente a pedir que
Z
1 ct 1 1
0 g(s)ds y 0 f (ct) + f (ct) .
2c ct 2 2
Por lo tanto deducimos que f y g tienen que ser impares3 y la f y g son las
2
extensiones impares, respectivamente, de 0 y xex , es decir
2
f (x) 0 y g(x) = xex x R .

Finalmente u(x, t) = u(x, t)C con
Z x+ct
1 2
u(x, t) = ses ds ,
2c xct
y consecuentemente
2x ct
1 (x+ct)2 1 (xct)2 2 2e e2x ct
u(x, t) = e + e = ex (ct) , (x, t) C .
4c 4c 4c
3
Lo de la f es la definicion de funcion impar, para la g, notese que derivando la
condicion Z ct
1
0 g(s)ds
2c ct
deducimos
cg(ct) (c)g(ct) = 0 g(ct) = g(ct) t > 0 ,
es decir g impar.
29
b
m b
b
b
b b b
b b b b b
0 xj h xj xj + h L
Figura 2.3: La curda vibrante modelizada con los muelles.
Ejercicio 2.3 Una cuerda de longitud = 1 con los extremos fijos tiene
la posicion inicial u = sen (x) y se suelta en el instante t = 0. Halle su
movimiento subsiguiente.
Comentario 2.1 (La Cuerda Vibrante) La ecuacion de ondas en el caso

de una sola dimension representa el perfil de una cuerda que vibra con velo-
cidad c. Imagina una cuerda de largueza L en la que hay colgados n = L/h
puntos cada uno de masa m a distancia h uno de otro y cada uno conectado
con un muelle con constante de elasticidad k a los de a lado (vease Figura
2.3) . Supongamos, entonces, de tener una sucesion x0 = 0, x1 = h, x2 =
2h, ... xn = L de puntos y sea u(xi , t) la funcion que representa las alturas
de dichos puntos en el tiempo. Supongamos ademas que los puntos de masas
m solo puedes moverse verticalmente (para que u sea una funcion).
Gracias a la ley de Newton 4 el punto que se encuentra en la posicion xj ,
con 1 j n 1, esta sujeto a una fuerza data por la ley de Hook 5 es decir

F (xj + h, t) = k u(xj , t) u(xj + h, t) u(xj h, t) u(xj , t)

= k u(xj + h, t) + 2u(xj , t) u(xj h, t) .
Por lo tanto, siendo M = nm la masa total de la cuerda, K = nk su rigidez

4
es decir: F = ma, donde F es la fuerza, m la masa y a la aceleracion.
5
es decir: F (x) = kx, donde k es la constante de elasticidad del muelle y x el despla-
ciamento de su condicion de equilibrio.
30
y acordando que nh = L, deducimos que
d2 u(xj , t) nK h2 u(xj + h, t) 2u(xj , t) + u(xj h, t)

= M
dt2 n
h2
KL2 u(xj + h), t) 2u(xj , t) + u(xj h, t)

= .
M h2
Ahora queremos tirar h a cero, es decir pasar de un modelo discreto (los
muelles) a uno continuo (la cuerda elastica). Siendo u suficientemente suave
(u es de clase por lo menos C 2 (0, L)) deducimos que
u(xj + h), t) 2u(xj , t) + u(xj h, t) 2 u(x, t)

lm = ,
h0 h2 x2
y consecuentemente
2 u(x, t) 2
2 u(x, t)
c =0 x (0, L) , t > 0,
t2 x2
2
siendo c2 = KL M
la velocidad de propagacion de la cuerda. Como la cuerda
esta fija en sus extremos, tiene ademas que cumplir
u(0, t) = 0 = u(L, t) , t 0 .
Este problema esta bien definido si lo emparejamos con un problema de Cau-

chy, es decir que para encontrar una solucion tenemos que saber la posicion
inicial (es decir u0 (x)) y su velocidad (denotada con u1 (x)) en un momento
dato. Entonces el perfil de la cuerda esta dado por la solucion del siguiente
problema

utt (x, t) c2 uxx (x, t) = 0, x (0, L), t > 0

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

x (0, 1),
ut (x, 0) = u1 (x), x (0, 1) (2.3)

u(L, t) = 0, t > 0,

u(0, t) = 0, t > 0,
31
siendo u0 (x) C 2 (0, L) C 0 [0, L] y u1 (x) C 1 (0, L) C 0 [0, L].

Nos referiremos a (2.3) como el problema mixto asociado a la ecuacion
de ondas.
Solucion.
En este caso la cuerda fija en sus extremos significa que queremos resolver
un problema de Cauchy con condiciones en la frontera lateral iguales a 0.
Ademas la cuerda tiene un perfil inicial asignado (sen x) que representa el
dato inicial mientras que el hecho que se suelte significa que su velocidad
inicial es igual a cero. Por lo tanto, el problema que tenemos que resolver es
el siguiente (ponemos por simplicidad c = 1):

utt (x, t) uxx (x, t) = 0, x (0, 1), t > 0

u(x, 0) = sen x,

x (0, 1),
ut (x, 0) = 0, x (0, 1) (2.4)

u(t, 0) = 0, t > 0,

u(t, 1) = 0, t > 0.
Aqu proponemos dos maneras de resolver el ejercicio.

Metodo 1. Hemos ya visto (vease Ejercicio 1.7) que las soluciones de la ecua-
cion de las ondas tienen la forma
u(x, t) = F (x + t) + G(x t) ,
con F, G : R R funciones de clase C 2 (R). Nuestro objetivo es hallar una

expresion explcita para F y G de forma que la solucion cumpla ademas las
condiciones en la frontera. Entonces, desde (2.4), F y G tienen que cumplir
las siguientes condiciones:

F (x) + G(x) = sen x, x (0, 1),

F (x) G (x) = 0, x (0, 1)

F (t) + G(t) = 0, t > 0,

F (1 + t) + G(t) = 0, t > 0.
32
De la segunda ecuacion resulta que, en (0, 1), F y G coinciden (a menos de

una constante que puede ser elegida 0) y de la primera ecuacion entonces
deducimos que F (x) G(x) = 12 sen x, para x (0, 1).
Finalmente, de la tercera y la cuarta ecuaciones nos sale que F y G tienen
que ser impares y 2periodicas, as que
1
F (s) G(s) = sen s s R .
2
Por lo tanto
1 1
u(x, t) = sen[(x t)] + sen[(x + t)] ,
2 2
es la (unica6 ) solucion de (2.4). Aprovechando que para cada , R

sen( + ) sen( ) = sen cos + sen cos sen cos sen cos
= 2 sen cos
deducimos que
u(x, t) = sen x cos t .
Metodo 2. Otra forma de resolver el problema es la siguiente. Como el

problema esta definido en un subconjunto de (0, +) R, la formula de
DAlembert no se puede aplicar directamente. Entonces queremos encontrar
un problema definido en todo (0, +) R, cuya solucion u(x, t) restringida
al (0, 1) (0, +), sea sol de (2.4).
Por eso resolvemos el problema

utt (x, t) uxx (x, t) = 0, x R, t > 0

u(x, 0) = f (x), x R, (2.5)

ut (x, 0) = g(x), x R,
con f y g funciones regulares tales que f (x) sen(x) si x (0, 1) y g(x) 0

si x (0, 1).
6
Vease ejercicio 2.4
33
t.
ns
x
co
+
t=
t=

co
x
ns
t.
=1 x
Figura 2.4: Aqu esta representada la forma que tiene el cono de influencia.
La parte amarilla es la area que esta por debajo de las rectas caractersticas
y que calculamos mediante la integral que aparece en (2.6).

La solucion de (2.4) sera, entonces, u(x, t) = u(x, t)C donde C = [0, 1]
[0, +). Gracias a la Formula de DAlembert (vease (2.1)), las solucion de
(2.5) esta dada por
Z
1 1 1 x+t
u(x, t) = f (x + t) + f (x t) + g(s)ds . (2.6)
2 2 2 xt
Notese que tanto f como g tienen que ser elegidas de forma que se cumplan
la condiciones u(0, t) = 0 y u(1, t) = 0, t > 0.
Por lo tanto, por un lado notamos que la primera condicion nos da que
Z
1 1 1 t
u(0, t) = f (t) + f (t) + g(s)ds 0 t > 0 .
2 2 2 t
Por eso se ve que tanto la f como la g tienen que ser funciones impares.
Por otro lado, cuando calculamos la condicion a lo largo de la recta x = 1
deducimos que
Z
1 1 1 1+t
u(1, t) = f (1 + t) + f (1 t) + g(s)ds 0 t > 0 .
2 2 2 1t
34
Esta expresion (vease tambien la Figura 2.4) lleva (con el cambio 1 t = t ,

si necesario) a la secunda condicion sobre f y g, es decir que tanto f como g
tienen que ser 2periodicas.
Siendo los datos iniciales ya funciones impares y 2periodicas, solo tene-
mos que aplicar la formula de DAlembert a (2.5) con f (x) = sen x y g = 0,
x R, as que:
1 1
u(x, t) = sen[(x t)] + sen[(x + t)] = sen x cos t .
2 2
35
Ejercicio 2.4 Sea c 6= 0, > 0 y C = {(x, t) R2+ tales que 0 < x < , t >
0}. Probad la unicidad de la solucion u(x, t) C 2 (C) C 1 (C) del problema
mixto

utt (x, t) c2 uxx (x, t) = 0, in C

u(x, 0) = f (x),

0x
ut (x, 0) = g(x), 0x (2.7)

u(0, t) = h(t), t0

u(, t) = m(t), t0
donde f C 2 [0, ], g C 1 [0, ] mientras h y m C 1 (R+ ).
Solucion.
Supongamos que el problema (2.7) tenga dos soluciones u1 (x, t) y u2 (x, t);
definimos la funcion w(x, t) = u1 (x, t) u2 (x, t) y probamos que w(x, t) 0.
Notese que siendo el problema (2.7) lineal, es sencillo deducir que w(x, t)
cumpla

wtt (x, t) c2 wxx (x, t) = 0, 0 x , t 0

w(x, 0) = 0,

0x
wt (x, 0) = 0, 0x (2.8)

w(0, t) = 0, t0

w(, t) = 0, t 0.
Para deducir que la unica solucion de (2.8) es la cero, aplicamos un metodo

de energa. Definimos la siguiente cantidad (la energa):
Z
1 2
e(t) = wt (x, t) + c2 wx2 (x, t) dx .
2 0
Notese que la energa, por ser la integral de una funcion positiva, es positiva.
Ademas, como las funcion que aparecen al interior de la integral sol continuas,
es posible calcular
Z Z
1 2 2 2
1 2
e(0) = lm+ wt (x, t)+c wx (x, t) dx = wt (x, 0)+c2 wx2 (x, 0) dx = 0 ,
t0 2 0 2 0
36

siendo wt (x, 0) = 0 gracias a las condiciones iniciales y y wx (x, 0) = w(x, 0) x
0. El siguiente paso es probar que e(t) = 0, t > 0.
Para probar este facto, hallamos la derivada de e(t) y probamos que dicha
funcion es decreciente, es decir que e (t) 0, t > 0. Siendo las funciones
que aparecen en la definicion de e regulares en C, podemos llevar la derivada
al interior de la integral, as que
Z

e (t) = wtt (x, t)wt (x, t) + c2 wxt (x, t)wx (x, t) dx .
0
Ahora en el segundo termino, aplicamos la integracion por partes, es decir

Z Z

wxt (x, t)wx (x, t)dx = wt (x, t)wx (x, t) wt (x, t)wxx (x, t)dx .
0 0 0
Utilizando que w(0, t) 0 w(, t) y que consecuentemente wt (0, t) 0

wt (, t), deducimos que

wt (x, t)wx (x, t) = 0 ,
0
y entonces
Z

e (t) = wtt (x, t)wt (x, t) c2 wxx (x, t)wt (x, t) dx
Z 0

= wt (x, t) wtt (x, t) c2 wxx (x, t) dx = 0
0
siendo w(x, t) una solucion de (2.8). Por lo tanto
e(t) 0 t 0 .
Consecuentemente tanto wt (x, t) como wx (x, t) son nulas y, siendo w(x, 0) =

0, deducimos que w(x, t) = 0, t > 0.
37
u(, 0) = 0
u(0, t) = 0 utt c2uxx = 0
x + ct = const.
x)
x ct = const.
f(
(0, 0)
(, 0) x
Figura 2.5: El dominio de u y las rectas caractersticas (|c| < 1).
Ejercicio 2.5 Para c2 < 1, deduzcase una formula para la resolucion del
siguiente problema

utt (x, t) c2 uxx (x, t) = 0, 0 x , t x

u(x, x) = f (x),

0x
ut (x, x) = 0, 0x (2.9)

u(0, t) = 0, t0

u(, t) = 0, t
donde f es una funcion continua tal que f (0) = f () = 0.
Solucion.
38
Paso 1. Hallar la solucion de:

2
tt (x, t) c xx (x, t) = 0, x R, t x,

(x, x) = (x), x R, (2.10)

t (x, x) = 0, xR
para una funcion : R R de clase C 1 (R).

Para encontrar la solucion de (2.10), descomponemos el problema como
un sistema caracterstico (vease Ejercicio 1.7) as que, el primer paso es definir
una funcion auxiliar (x, t) como
(x, t) = t (x, t) cx (x, t) .
Entonces la ecuacion en (2.10) se puede escribir como el siguiente sistema de

ecuaciones:

(x, t) c (x, t) = (x, t), x R, t x,
t x
t (x, t) + cx (x, t) = 0, x R, t x.
Por lo visto, (2.10) nos da una condicion en la recta x = t, mientras que la

condicion cumplida por la calculamos gracias a la segunda y la tercera en
(2.10), es decir
(x, x) = t (x, x) cx (x, x) = 0 c (x) x R .
Por lo tanto hemos encontrado dos sistemas del primer orden que, acoplados,
nos proporcionan la solucion de (2.10):

(x, t) + c (x, t) = 0,
t x x R, t x,
(x, x) = c (x), x R,
y
(x, t) c (x, t) = (x, t), x R, t x,
t x
(2.11)
(x, x) = (x), x R.
39
Notese que el primer sistema es independiente del segundo, as que la estrate-

gia sera hallar la solucion del primero, substituirla en el segundo y finalmente
encontrar la (x, t).
Para el calculo de (x, t), escribimos su sistema caracterstico, que resulta
ser

t (s, ) = 1
t(0, ) =

x (s, ) = c s>0 x(0, ) = > 0

z (s, ) = 0 z(0, ) = c () .
Aprovechando que c 6= 1, deducimos que
!
1 1
det 6= 0 ,
1 c
as que el sistema es compatible. Entonces
t(s, ) = s + , x(s, ) = cs + , z(s, ) = c ()
xct
y siendo = 1c
deducimos que

x ct
(x, t) = z(s(x, t), (x, t)) = c .
1c
Substituyendo la expresion encontrada de (x, t) en (2.11), nos encontramos

con el siguiente problema de Cauchy:

(x, t) c (x, t) = c xct , x R, t x
t x 1c
(2.12)
(x, x) = (x), xR
Mas en general, hallamos la solucion del problema del primer orden

w (x, t) cw (x, t) = (x, t), xR
t x
w(x, x) = g(x), xR
con y g funciones continuas. Otra vez, calculamos las ecuaciones carac-

terstica de dicha ecuacion que resultan ser:
40

t (s, ) = 1
t(0, ) =

x (s, ) = c s>0 x(0, ) = > 0

z (s, ) = (x(s), t(s)) z(0, ) = () .
y, otra vez, el sistema es compatible siendo c 6= 1. Por lo tanto, resolviendo
el sistema caracterstico, resulta que

t(s, ) = s +

x(s, ) = cs + Z s>0
s

z(s, ) () = (x(s ), t(s ))ds .
0
Desde las primeras dos ecuaciones deducimos que

xt x + ct
s= y = ,
1c 1+c
as que, siendo
z(s, ) = (x(s, ), t(s, ))
deducimos que
Z tx
x + ct 1+c x + ct x + ct
w(x, t) = + cs + ,s + ds.
1+c 0 1+c 1+c
Entonces aplicando esta formula al problema (2.12), deducimos que (x, t)

esta dada por
Z tx
x + ct 1+c
x + ct 2c
(x, t) = c s ds
1+c 0 1+c 1c
tx
x + ct 1c x + ct 2c 1+c
= c s
1+c 2c 1 +c 1 c 0
1+c x + ct 1c x ct
= +
2 1+c 2 1c
Por lo tanto, la solucion de (2.10) sera

1+c x + ct 1c x ct
(x, t) = + en C1 , (2.13)
2 1+c 2 1c
41
donde C1 = {(x, t) R2 : t x}.

Paso 2. Hallar la solucion de (2.9).
En este segundo paso queremos encontrar una funcion (s) de forma que
la funcion (x, t) definida en (2.13) sea la solucion cuando es restringida al
cilindro
C = {(x, t) R2 : t > 0 , 0 x c , t x} ,

es decir u(x, t) = (x, t)C . La dificultad esta en encontrar una definicion de
(s) para cualquier s R, de forma que la funcion (x, t) definida en (2.13)
cumpla tambien las condiciones

(x, t)r1 = (x, t)r2 = 0 .
a lo largo de las semirectas
r1 = {(x, t) : x = 0, t > 0} y r2 = {(x, t) : x = l, t > } .
La otra informacion que conocemos sobre (s) es que cumple la siguiente

condicion en [o, ]:
(x) f (x) si 0 x .
La condicion en r1 esta dada por

1+c ct 1c ct
u(0, t) = (0, t) = + = 0 t > 0,
2 1+c 2 1c
mientras que en r2 :

1+c + ct 1c ct
u(, t) = (, t) = + = 0 t .
2 1+c 2 1c
Por lo tanto la funcion tiene que verificar las siguientes tres condiciones:

ct 1+c ct
= t>0
1 c 1 c 1 + c
+ ct 1c ct
= t>
1+c 1+c 1c
(x) = f (x) 0 x .
42
ct
Hallando unos cambio de variable (s = 1c en la primera ecuacion y s = +ct
1+c
en la segunda) deducimos que

1+c 1c

s s < 0,
1c 1+c

(s) = f (s) 0 s , (2.14)

1c 2 (1 + c)s

s > .
1+c 1c
Notese que la definicion de que hemos dado vale para cada s R aunque
no es directa, es decir que depende de la misma. Mas en detalle observamos
que esta definicion de involucra unas transformaciones de la funcion f , es
decir hay que reflexionar y contraer (o dilatar) la f para obtener .
Mas concretamente notemos que podemos conocer el valor de cuando
calculado en un cualquier punto s con el siguiente argumento recursivo:
si 0 s simplemente calculando f en s
si 1+c
1c
s < 0 entonces desde la primera condicion en (2.14)

1+c 1c
(s) = f s ;
1c 1+c
2
si < s 1+c
entonces desde la tercera condicion en (2.14)

1c 2 (1 + c)s
(s) = f ;
1+c 1c
ademas, si 2
1+c
2
s < 1+c 1+c
+ entonces 1c 2(1+c)s
1c
< 0 as que

1c 1+c 1 c 2 (1 + c)s 2
(s) = f =f +s ;
1+c 1c 1+c 1c 1+c
2
en cambio si 1c < s 1+c
1c
deducimos que 1c
1+c
2
s 1+c y
consecuentemente
" !#
2 (1 + c) (1c)s

1+c 1c 1+c 2
(s) = f =f +s ;
1c 1+c 1c 1c
43
Por lo tanto

2 2

f +s 1c < s 1+c
1c

1c

1+c 1c

1c f 1+c s 1+c
1c
s < 0,

(s) = f (s) 0 s , (2.15)

1c 2 (1 + c)s 2

f <s 1+c
,

1+c
1c

2 2 2
f
+s 1+c
s< 1+c
+
1+c
Calculamos la funcion en dos trozos de recta mas:

2 1+c
2 2c 1c 2
si 1c + 1c s < 1c entonces 1+c 1+c s < 1+c +
as que

1+c 1c 1+c 1c 2
(s) = s = f s+ ;
1c 1+c 1c 1+c 1+c
2 4 2 2(1+c)s
en cambio si 1+c + < s 1+c
deducimos que 1c 1c

1+c
1c y consecuentemente
!
2 (1 + c) (1c)s

1c 1+c 1c 2 1+c
(s) = = f 2 s .
1+c 1c 1+c 1c 1c
Por fin deducimos que la funcion (s) es una funcion definida de la si-
guiente forma: par a cada j y k N

2 1+c 2 1+c

f s+j si 1c
s + j 1c < 1c ,

1c

1+c 1c 2 1+c 2
1 cf 1 + c s + j 1 c si 1c s + j 1c < 0,

(s) =
2k 2

f s si 0 s k 1+c < ,

1+c

1c 2 1+c 2 2 2

f sk si s k 1+c < 1+c
.
1+c 1c 1c 1+c
44
2 1+c 2 2
1c 1c 0 1+c 1+c +
1+c
1c f ( 1c
1+c
s) 1c
1+c
f ( 2(1+c)s
1c
)
b b b b b b
2 2
f ( 1c + s) f (s) f (s 1+c )
Figura 2.6: En negro en el intervalo (0, ) esta dibujada la f , mientras que

las partes en rojo y verde representan la pinta que tiene la fuera de dicho
intervalo.
Finalmente la solucion de (2.9) sera

1+c x + ct 1c x ct
u(x, t) = + en C ,
2 1+c 2 1c
donde
C = {(x, t) R2 : t > 0 , 0 x c , t x} .
Observamos que la necesidad de hacer el primer paso es solo para cons-
truir la solucion explcitamente. Otra manera para resolver dicho ejercicio es
observar (vease Ejercicio 1.7) que la u(x, t) por ser solucion de la ecuacion
de ondas es de la forma
u(x, t) = F (x ct) + G(x + ct),
con F y G : R R de clase C 2 (R) por determinar. El objetivo es ahora

encontrar las funciones F y G de forma que se cumplen las condiciones en la
frontera de C, es decir

F (ct) + G(ct) = 0, para t 0

F ( ct) + G( + ct) = 0, para t 0

F (x cx) + G(x + cx) = f (x), para 0 x

cF (x cx) + cG (x + cx) = 0, para 0 x .
45
Manipulando las ecuaciones, deducimos que

F (s) = G(s), para s0

F (s) + G(2 s) = 0, para s (1 c)

F (s) = G (s 1+c
1c
), para 0 s (1 c)

1+c s
F (s) + G(s 1c ) = f ( 1c ), para 0 s (1 c) .
Desarrollando las cuentas llegamos a que

1c s 1+c s
F (s) = y G(s) = ( ,
2 1c 2 1+c
con C 2 (R) satisfaciendo (2.14).
46
1 3

Ejercicio 2.6 Calcula u ,
2 2
si u(x, t) es la solucion de

utt (x, t) uxx (x, t) = 0, 0 x 1, t 0

u(x, 0) = 0, 0x1

ut (x, 0) = x(1 x), 0x1

u(0, t) = 0 = u(1, t), t 0.
Solucion.
Primero, extendemos el dato inicial de forma que sea impar en (1, 1) (o en
(0, 2), es lo mismo). Ademas los extendemos a todo el eje, de forma que se
pueda aplicar la formula de DAlambert. As que definimos u(x, t) como la
solucion del problema definido en todo el eje

utt (x, t) uxx (x, t) = 0, x R, t 0

u(x, 0) = 0, xR

ut (x, 0) = g(x), xR
donde
x(1 x) 0x1

g(x) = x(1 + x) 1 x 0

2-perodica
Gracias a la formula de DAlembert tenemos una representacion de u(x, t)

en todo R (0, +):
Z x+t
1
u(x, y) = g(y)dy .
2 xt

Para determinar el valor de u en el punto 12 , 32 solo nos hace falta conocer

g en el cono de influencia de 21 , 32 , es decir por debajo de las rectas carac-
terstica que en este caso estan dada por x t = 1 y x + t = 2 (vease Figura
2.7).
47
t
1 3

2, 2
x
+
1
t=
t=
2

x
(1, 0) (1, 0) (2, 0) x
Figura 2.7: El cono de influencia
Entonces
Z
1 3 1 3 1 2
u , = u , = g(y)dy
Z 0 2 2 Z 2 2 2 1 Z
1 1 1 1 2
= y(1 + y)dy + y(1 y)dy + (y 2)(y 1)dy
2 1 2 0 2 1
| {z }
=0 por ser g impar
2
1 1 3 3 2 1
= y y + 2y = .
2 3 2 1 12
48
Ejercicio 2.7 Calcula u( 14 , 32 ) si

utt (x, t) uxx (x, t) = 3x2 2x3 , 0 x 1, t > 0

u(x, 0) = 0,

0 x 1,
ut (x, 0) = 0, 0 x 1,

ux (0, t) = 0, t 0,

ux (1, t) = 0, t 0,
Solucion.
La idea es parecida a la del ejercicio anterior. Pero, en este caso, hay dos difi-
cultades mas: primero la ecuacion no es homogenea y segundo en la frontera
lateral hay condiciones de tipo Neumann (es decir que involucran la derivada
de la solucion)
El principio de Duhamel 7 nos da una solucion del problema definida en
todo R [0, +). As que tenemos que elegir el dato f (x, t) = f (x) definido
para cada x R de forma que coincida con 3x2 2x3 en (0, 1) y de forma
que la funcion definida por la formula (2.16) cumpla las condiciones en la
frontera del dominio (0, 1) (0, +). Por lo tanto definimos u(x, t) como la
7
El principio de Duhamel nos da una formula de representacion para soluciones de
ecuaciones no homogeneas. Consideramos el problema

2
utt (x, t) c uxx (x, t) = f (x, t), x R, t > 0,

u(x, 0) = 0, x R,

ut (x, 0) = 0, xR
con f de clase C 1 (R R+ ), la unica solucion de dicho problema tiene la siguiente forma:
Z tZ x+c(ts)
1
u(x, t) = f (y, s)dyds . (2.16)
2c 0 xc(ts)
49
solucion de

utt (x, t) uxx (x, t) = f (x), x R, t > 0,

u(x, 0) = 0, x R,

ut (x, 0) = 0, x R,
es decir Z tZ x+(ts)
1
u(x, t) = f (y)dyds ,
2 0 x(ts)
as que Z t
1
ux (x, t) = f (x + (t s)) f (x (t s)) ds .
2 0
Entonces las condiciones en la frontera del cilindro (0, 1) (0, +) son

Z t
1
ux (t, 0) =
f (t s) f ((t s)) ds = 0 ,
2 Z0 t > 0 ,
1 t
ux (t, 1) =
f (1 + (t s)) f (1 (t s)) ds = 0 ,
2 0
que gracias a un cambio de variable (t s = en la primera expresion y
= 1 + (t s) en la segunda) quedan
Z t

f () f () d = 0 ,
Z0 1+t
t > 0 .

f () f (2 ) d = 0 ,
1
Consecuentemente, desde la primera condicion deducimos que f tiene que

ser par mientras que la segunda implica que es ademas 2periodica.
Finalmente, podemos calcular
Z 3 Z 7
s
1 3 1 3 1 2 4
u( , ) = u( , ) = f (y)dyds . (2.17)
4 2 4 2 2 0 54 +s
Definiendo
Z s
F (s) = f ()d para 2 s 2 ,
0
50
t
( 14 , 32 )
x
( 45 , 0) (1, 0) (1, 0) ( 74 , 0)
Figura 2.8: El area de la region roja es donde calculamos la integral en (2.17).
(solo nos hace falta dar la definicion de F al interior del cono de influencia)
tenemos que

12 s4 + s3 1
2
si 2 s 1,

1 s4 + s3 si 1 s 0,
F (s) = 2

12 s4 + s3 si 0 s 1,

1 4
2
s + s3 + 12 si 1 s 2 .
Por lo tanto, hallando la integral, deducimos que
Z 3 Z 7 Z 3
s
1 3 1 2 4 1 2 5 7
u( , ) = f (y)dyds = [F ( + s) F ( s)]ds
4 2 2 0 5 +s 2 0 4 4
Z 34 Z 3
1 2 5 1 2 7
= F ( + s)ds F ( s)ds .
2 0 4 2 0 4
51
Calculamos las dos integrales por separado:

Z 3 Z 1 Z 5 Z 3
2 5 4 5 4 5 2 5
F ( + s)ds = F ( + s)ds + F ( + s)ds + F ( + s)ds
0 4 0 4 1
4
4 5
4
4
Z 1 Z 5
4 1 5 1 5 4 5 1 5
= + ( + s)3 ( + s)4 ds + ( + s)3 + ( + s)4 ds
0 2 4 2 4 1
4
4 2 4
Z 3
2 5 1 5
+ ( + s)3 ( + s)4 ds
5
4
4 2 4
14 54
1 1 5 4 1 5 5 1 5 4 1 5 5
= s + ( + s) ( + s) + ( + s) + ( + s) +
2 4 4 10 4 0 4 4 10 4 1
4
32
1 5 1 5
( + s)4 ( + s)5
4 4 10 4 5
4 4
5
1 1 1 15 1 5 1 1 55 1 1 1
= + + + + 5
8 4 10 4 44 10 45 4 10 45 4 10 45
4
1 1 5 9 1
= + 5+ .
8 10 4 10 45
Por el otro lado:
Z 3 Z 3 Z 3
2 7 4 7 2 7
F ( s)ds = F ( s)ds + F ( s)ds
0 4 0 4 3
4
4
Z 3 Z 3
4 1 7 1 7 2 7 1 7
= + ( s)3 ( s)4 ds + ( s)3 + ( s)4 ds
0 2 4 2 4 3 4 2 4
34 4 32
1 1 7 4 1 7 5 1 7 4 1 7 5
= s ( s) + ( s) + ( s) ( s)
2 4 4 10 4 0 4 4 10 4 3
4
3 1 1 1 7 4 1 7 5 1 1 1 1 1
= + ( ) + ( ) + 5
8 4 10 4 4 10 4 4 10 45 4 10
1 3 3 75 11 1
= + + .
5 8 10 45 10 45
Por lo tanto
Z 3 Z 3
1 3 1 2 5 1 2 7
u( , ) = F ( + s)ds F ( s)ds
4 2 2 0 4 2 0 4
4
1 3 25 3 75
= + .
2 5 45 10 45
52
Ejercicio 2.8 Encontrad la solucion de

utt (x, t) uxx (x, t) = sen (x), 0 < x < 1, t > 0

u(x, 0) = ut (x, 0) = 0, 0 x 1, (2.18)

u(0, t) = u(1, t) = 0, t > 0.
Solucion.
Metodo 1. Razonamos como en el ejercicio anterior. Extendemos el problema
a uno definido en todo el semiplano con un dato impar y 2periodico (notese
que la extension de sin(x) impar y 2periodica es la funcion misma)

u (x, t) u (x, t) = sen (x), x R, t > 0
tt xx
u(x, 0) = ut (x, 0) = 0, x R.
Calculamos ahora su solucion utilizando el de Duhamel 8

Z Z
1 t x+(ts)
u(x, t) = sin(y)dyds .
2 0 x(ts)

Por lo tanto la solucion de (2.18) sera u(x, t)C , es decir
Z t
1
u(x, t) = cos x + (t s) cos x (t s) ds
Z2
t
0
1
= cos x + (t s) cos x (t s) ds
2 0 Z
t
1 1
= sen (x) sen (t s) ds = 2 sen (x)[1 cos(t)] .
0

Metodo 2. Notamos primero que sen(x) = 2 sen(x); es decir, dan-
dole la vuelta, que z(x) = 12 sen(x) cumple

z (x) = sen(x), 0 < x < 1,
xx
v(0) = v(1) = 0.
8
Vease (2.16)
53
Por lo tanto si definimos v(x, t) = u(x, t) + z(x), entonces v(x, t) es solucion

de

vtt (x, t) vxx (x, t) = 0, 0 < x < 1, t > 0

v(x, 0) = 1 sen(x), 0 x 1,
2
(2.19)
vt (x, 0) = 0,

0 x 1,

v(0, t) = v(1, t) = 0, t > 0.
Razonando como antes, tenemos que encontrar una v que resuelva el proble-
ma (2.19) en todo R[0, +) con un dato inicial que coincide con 12 sen(x)
para 0 x 1. Ya hemos visto que la eleccion que hay que hacer es la exten-
sion de 12 sen(x) de forma impar y 2periodica, es decir la funcion misma
en todo el eje. Por lo tanto, gracias a la formula de DAlembert, deducimos
que
1 1 1
v(x, t) = sen (x + t) + sen (x t) = 2 sen(x) cos(t) .
2 2 2 2
Finalmente, deshaciendo el cambio,
1 1
u(x, t) = 2
sen(x) cos(t) 2 sen(x) .

54
Ejercicio 2.9 Una cuerda se encuentra fija en sus extremos x = 0 y x = 1.

En el instante inicial tiene la forma
5 4
u(x, 0) = (x 2x3 + x)
16
y esta en reposo (velocidad inicial nula). Analice sus vibraciones a partir de
ese momento.
Solucion.
Primero observamos que, siendo al cuerda fija en su extremos, significa que
la funcion que describe su perfil cumple las condiciones
u(0, t) = 0 = u(1, t), t > 0.
Por lo tanto estamos buscando una solucion del problema

utt (x, t) c2 uxx (x, t) = 0, 0 < x < 1, t > 0

u(x, 0) = 5 (x4 2x3 + x), 0 x 1,
16
(2.20)

ut (x, 0) = 0, 0 x 1,

u(0, t) = u(1, t) = 0, t > 0.
Actuamos como antes, es decir buscando una funcion f : R R tal que
5
cuando restringida a (0, 1) coincida con 16 (x4 2x3 + x) y tal que la solucion
del problema

2
utt (x, t) c uxx (x, t) = 0, x R, t > 0

u(x, 0) = f (x), x R, (2.21)

ut (x, 0) = 0, x R,
verifique
u(0, t) = 0 = u(1, t), t > 0.
5
Ya hemos visto que la manera de encontrar f es extender la funcion 16 (x4
2x3 +x) de forma impar y 2periodica en todo el eje x. Por lo tanto al solucion
del problema (2.21) sera
1 1
u(x, t) = f (x ct) + f (x + ct)
2 2
55
donde
5 4 3
16 (x 2x + x), x (0, 1)

5
f (x) = 16 (x4 + 2x3 x) x (1, 0)

2periodica

y u(x, t) = u(x, t)C , donde C = [0, 1] [0, +).
5
Notese que siendo el polinomio asignado g(x) = 16 (x4 2x3 + x) de clase
5
infinito, y tal que g(0) = g(0) = 0, g (0+ ) = g (1 ) = 16 y g (0+ ) =
g (1 ) = 0, la funcion f resulta ser de clase C 2 (R). Por lo tanto la aplicacion
de la formula de DAlembert esta justificada. Ademas podemos escribir una
formula de representacion de la solucion aprovechando que el dato inicial
tiene un desarrollo en serie de Fourier. Hallamos ahora los coeficientes de
g(x), es decir an = 0, n 0, por ser g impar, mientras que 9
Z 1 Z
10 1 4
bn = g(x) sin(nx)dx = (x 2x3 + x) sin(nx)dx
1 16 0
15
= 5 5 (1 (1)n ) .
n
Por lo tanto deducimos que la serie de Fourier de la g esta dada por
+
X 15
g(x) = bn sen(nx) con bn = (1 (1)n ) .
n=1
n5 5
9
Aprovechamos de las siguientes integrales:
1
R1 sin(nx)nx cos(nx)
n
0
x sin(nx)dx = n2 2 = (1)
n ;
0 1
R1 2 22nx sin(nx)+(2 2 n2 x2 ) cos(nx)
2 (2 2 n2 )(1)n
0
x sin(nx)dx = n3 3 = n3 3 n3 3 ;
0 1
R1 3( 2 n2 x2 2) sin(nx)nx( 2 n2 x2 6) cos(nx)
2
n2 6)(1)n
0
3
x sin(nx)dx = n4 4 = ( n3 3 ;
0 1
R1 4 4nx( 2 n2 x2 6) sin(nx)( 4 n4 x4 12 2 n2 x2 +24) cos(nx)

0
x sin(nx)dx = n5 5
0
( 4 n4 12 2 n2 24)(1)n 24
= n5 5 + n5 5
56
Por lo tanto la solucion de (2.20) tendra la forma

+ +
1X 1X
u(x, t) = bn sen n(x ct) + bn sen n(x + ct)
2 n=1 2 n=1
15
donde bn = n5 5
(1 (1)n ) . Aprovechando que para cada , R
1 1
sen( + ) + sen( ) = sen cos
2 2
finalmente deducimos que
+
X 15 n

u(x, t) = (1 (1) ) sen nx cos nct
n=1
n5 5
que, opportunamente manipulada, se trasforma en

+
30 X 1
u(x, t) = 5 5
sen (2n + 1)x cos (2n + 1)ct .
n=0 (2n + 1)
57
Ejercicio 2.10 Estudiad el problema consistente en hallad la funcion u(x, t)

que describe las vibraciones de una cuerda de longitud = 1, fija en sus
extremos y en posicion horizontal, cuyo desplazamiento y velocidad iniciales
son nulos y que esta sometida a una fuerza externa proporcional a la distancia
a uno de sus extremos.
Solucion.
En este caso la cuerda esta fija en sus extremos x = 0 y x = 1, la fuerza
externa sera de la forma f (x, t) = x, con R. Por lo tanto tenemos que
resolver el siguiente problema:

2
utt (x, t) c uxx (x, t) = x, 0 < x < 1, t > 0

u(x, 0) = 0, 0 x 1,
(2.22)

ut (x, 0) = 0, 0 x 1,

u(0, t) = u(1, t) = 0, t > 0.
Sea v(x) la solucion del siguiente problema estacionario

v (x) = x, 0 < x < 1,
xx c2
v(0) = v(1) = 0.
Integrando la ecuacion dos veces y aprovechando de las condiciones en la

frontera, no es complicado verificar que la solucion esta dada por

v(x) = 2
x(x2 1) .
6c
Definimos ahora
z(x, t) = u(x, t) + v(x) (2.23)
y utilizando las ecuaciones cumplida tanto por u cuanto por v, deducimos

que

ztt (x, t) c2 zxx (x, t) = utt (x, t) c2 uxx (x, t) c2 vxx (x) = x c2 x = 0.
c2
58
Teniendo ademas en cuenta las condiciones en la frontera, z(x, t) es solucion

del siguiente problema:

2
ztt (x, t) c zxx (x, t) = 0, 0 < x < 1, t > 0

u(x, 0) = v(x), 0 x 1,

ut (x, 0) = 0, 0 x 1,

u(0, t) = u(1, t) = 0, t > 0.
Ya hemos visto que la estrategia para encontrar esta solucion es exten-

der el problema a uno en definido en el semiespacio, aplicar la formula de
DAlembert y restringir la solucion encontrada al cilindro C = [0, 1][0, +).
Por lo tanto definimos

2
ztt (x, t) c zxx (x, t) = 0, en x R, t > 0

z(x, 0) = v(x), x R, (2.24)

zt (x, 0) = 0, x R,
donde
x(x2 1), x (1, 1)
v(x) = 6 c2
2periodica
(por ser la funcion x(x2 1) impar).

Notese que la funcion v(x) C 2 (1, 1) C 1 [1, 1] y v(x) C 1 (R) pero
v(x) 6 C 2 (R), por ser

lm v (x) = 2
6= 2 = lm + v (x) .
x1 c c x1
Entonces la Formula de DAlembert no se puede aplicar.

Lo que si se puede hacer es escribir una solucion formal de (2.22) de forma
que pueda dar, en algun sentido, una aproximacion de la solucion.
Entonces, primero observamos que si pudiesemos aplicar la formula de
DAlembert, la solucion de (2.24) se quedara en
1 1
z(x, t) = v(x ct) + v(x + ct) , (2.25)
2 2
59

y consecuentemente la solucion de (2.22) sera z(x, t) = z(x, t)C , con C =
[0, 1] [0, +).
Calculamos ahora los coeficientes de Fourier de la v(x). Siendo la funcion
impar (y 2periodica) deducimos que los coeficientes an = 0, n y que
(vease la nota en el Ejercicio 2.9) los coeficientes estan dado s por
Z 1 Z 1
2 2
bn = 2 x(x 1) sin(nx)dx = 2 x(x2 1) sin(nx)dx = 2 3 3 (1)n .
6 c 1 3c 0 c n
Por lo tanto
+
X 2
v(x) = (1)n sen(nx) .
n=1
c2 3 n 3
Consecuentemente aprovechando (2.25), deducimos
+
1 2 X (1)n
z(x, t) = sen n(xct) +sen n(x+ct) , (x, t) C ,
2 c2 3 n=1 n3
y finalmente deshaciendo el cambio (2.23) obtenemos que

+
2 2 X (1)n
u(x, t) = x(x 1) + sen(nx) cos(n ct) .
6 c2 c2 3 n=1 n3
Notese que la escritura de la u(x, t) es solo formal, es decir que no podemos

concluir que la funcion aqu definida cumpla verdaderamente la ecuacion.
60

Ejercicio 2.11 Para g(x, t) = A sen mx
sen(2t), calcular la solucion
de

utt (x, t) c2 uxx (x, t) = g(x, t), 0 x , t > 0

mx
u(x, 0) = sen ,

0x
ut (x, 0) = 0, 0x (2.26)

u(0, t) = 0, t0

u(, t) = 0, t 0,
donde A, c, , R \ {0} y m Z \ {0}.
Solucion.
2
Supongamos que (2)2 6= c2 m
.

m 2

Primero notamos que gtt (x, t) c gxx (x, t) = (2)2 c2
2

g(x, t),
entonces si definimos
1
v(x, t) = u(x, t) + 2 g(x, t), (2.27)
(2)2 c2 m

resulta que v(x, t) cumple

vtt (x, t) c2 vxx (x, t) = 0, 0 x , t > 0

v(x, 0) = sen mx

, 0x

2A mx
vt (x, 0) = 2 sen
, 0x (2.28)
(2)2 c2 ( m
)

v(0, t) = 0, t0

v(, t) = 0, t 0.
Como los datos iniciales del problema son impares y periodicos deducimos
que la solucion del problema (2.28) esta dada por la funcion definida por la
formula de DAlembert restringida al cilindro (0, ) (0, +). Por lo tanto

1 m(x + ct) 1 m(x ct)
v(x, t) = sen + sen
2 Z x+ct2
1 A ms
+ sen ds
c (2)2 c2 m 2 xct
m m 2 A m m
= sen x cos ct + sen x sen ct .
mc (2)2 c2 m 2

61
Finalmente deshaciendo el cambio (2.27) encontramos la solucion buscada:

m m 2 A m A
u(x, t) = sen x cos ct + sen ct sen(2t) ,
mc
2
donde (2)2 c2 m
= 6= 0.
2
Para el caso (2)2 = c2 m
hay que razonar de otra forma. La dea
es buscar una solucion del problema que tenga la forma
mx
u(x, t) = sen T (t).

con T C 2 (0, ) C 1 [0, ). Notese que las condiciones en los extremos
de la cuerda se cumplen (siendo sen 0 = sen = 0); entonces para que u
sea solucion solo tenemos que pedir a T de verificar el siguiente problema de
Cauchy:

2 m 2

T (t) + c
T (t) = A sen(2t) t > 0,
T (0) = 1 , (2.29)

T (0) = 0 .
La familia de soluciones de la ecuacion homogenea asociada a (2.29) es

cm cm
T0 (t) = sen t + cos t

con , R. Siendo cm
= 2, buscare la solucion particular de (2.29) de
la forma cm cm
Tp (t) = t sen t + t cos t

con , R. Operando resulta que la integral general de la ecuacion en
(2.29) resulta ser
A cm cm cm
T (t) = t cos t + sen t + cos t
2cm
con , R. Finalmente la solucion de (2.29) esta dada por
A cm A2 cm cm
T (t) = t cos t + 2 2 2 sen t + cos t
2cm 2c m
62
y consecuentemente deducimos la expresion de la solucion de (2.26):
A cm mx
u(x, t) = t cos t sen
2cm
mx A2 cm cm (2.30)
+ sen sen t + cos t .
2c2 m2 2
63
Comentario 2.2 (La resonancia) Porque en el ejercicio anterior nos han

solido dos casos?
El segundo caso es lo que describe el fenomeno de la resonancia.
La resonancia es un fenomeno que se produce cuando un cuerpo elastico
(es decir que es capaz de vibrar, como una cuerda, un puente...) le largueza

es sometido a la accion de una fuerza periodica (F (x, t) = A sen mx

sen(2t)),
cuyo periodo de vibracion coincide con el periodo de vibracion caracterstico
2
de dicho cuerpo (es decir estamos en el caso (2)2 = c2 m ). En esto caso
una fuerza, aunque pequena puede llevar a vibraciones cuya amplitud crece
imparablemente.
Como se puede observar en (2.30) la solucion es la suma de dos terminos:
el segundo que aparece es agotado mientras que el primero es una funcion que
oscila y cuya amplitud de oscilaciones crece proporcionalmente al tiempo.
En particular, en los ejemplos practico, esto significa que el cuerpo someti-
do a la fuerza periodica se va a romper cuando pase un tiempo t dependiente
del coeficiente de elasticidad de dicho cuerpo.
El ejemplo mas famoso de este fenomeno ha sido el derrumbe del Puente
Tacoma Narrows Bridge en el estado de Washington el 7 de noviembre de
1940. Concretamente la fuerza externa que provoco la rotura del puente ha
sido el viento (hay videos de este derrumbe en la web que son impresionan-
tes!).
Por la misma razon se le pide a las tropas que cruzan un puente de romper
el paso: las vibraciones provocadas por marchar podran entrar en resonancia
y romper el puente.
64
Ejercicio 2.12 (Cuerda percutida por un martillo de amplitud 2)

Sea
k, si |x a| ,
g(x) =
0, si |x a| > ,
donde 0 < 2 < a < 2 y k > 0. Demostrad que la solucion del problema

utt (x, t) c2 uxx (x, t) = 0, 0 x , t > 0

u(x, 0) = 0, 0x

ut (x, 0) = g(x), 0x

u(0, t) = 0 = u(, t), t 0,
esta dada por

4k X 1 na n nx nct
u(x, t) = 2 2
sen sen sen sen .
c n=1 n
Solucion.
El ejercicio se puede intentar de resolver con el mismo esquema de los anterio-
res: es un problema mixto, entonces extendemos los datos iniciales; aplicamos
la Formula de DAlembert para encontrar una solucion definida en todo el
semiplano; si la extension ha sido hecha de forma oportuna, la funcion encon-
trada al ser restringida al cilindro (0, ) (0, +) sera solucion de nuestro
problema.
Pues, en este caso notamos que el dato inicial g(x) no es una funcion
suficientemente regular (no es tampoco continua) y entonces no podemos
aplicar la Formula de DAlembert (cualquier extension hagamos).
Por lo tanto, las cuentas que siguen son formales, es decir no hay que
entenderlas en un sentido clasico sino en un sentido mas debil de lo que
hemos entendido hasta ahora. De hecho la solucion que vamos a construir
sera data por una serie de Fourier que no converge uniformemente en (0, )
(0, +), as que solo tiene un sentido en un espacio mas grande de lo de las
funciones C 2 ((0, ) (0, +)).
65
El truco que vamos a utilizar sera lo de desarrollar el dato inicial en serie

de Fourier y trabajar con dicha serie tratandola como si fuese una suma finita.
El resultado, como ya explicado, sera una solucion que tiene que entenderse
en un sentido mas grande de lo que hemos hecho hasta ahora.
Por lo tanto, desarrollamos en serie de Fourier de la funcion g(x). Primero
extendemos dicha funcion al intervalo (, ) y luego de forma que sea 2
periodica, es decir definimos g : R R como la unica funcion 2periodica
tal que
g(x)

si 0 x ,
g(x) = g(x) si x 0 ,

g(x) es 2-periodica .
Ahora calculamos los coeficientes de Fourier a0 , an y bn , n 1, de la s g: En

primer lugar, Z
1
a0 = g(x)dx = 0 ,

siendo g impar. Ademas, por la misma razon,
Z
1 nx
an = g(x) cos dx = 0 ,

y finalmente Z
1 nx
bn = g(x) sin
dx

Z Z
2 nx 2k a+ nx
= g(x) sin dx = sin dx
0 a
a+ i
2k nx 2k h
= cos = cos n (a + ) + cos n (a ) .
n a n
Teniendo en cuenta que
, R cos( ) cos( + ) = 2 sen sen (2.31)
deducimos
4k na n
bn = sen sen .
n
66
Por lo tanto la funcion g(x) tiene su expresion como serie de Fourier data
por

X 4k na n nx
g(x) = sen sen sen .
n=1
n
Notes e que la convergencia de la Serie de Fourier a la funcion g(x) no es
uniforme, sino solo en L2 (, ). Por lo tanto dicha identidad tiene que ser
entendida solo como una identidad entre funciones de lates espacios y no
puntual.
Aplicamos ahora la formula de de DAlembert a la serie de Fourier de g,
as que
Z
1 x+ct
u(x, t) = g(y)dy
2c xct
Z
1 x+ct X 4k na n ny
= sen sen sen dy .
2c xct n=1 n
Hacemos ahora otro paso formal, es decir supongamos que podemos llevar la
integral al interior del smbolo de suma: por lo tanto tenemos que
Z x+ct
2k X 1 na n ny
u(x, t) = sen sen sen dy
c n=1 n xct
x+ct
2k X 1 na n ny
= sen sen cos .
c n=1 n2 xct

2k X 1 na n n(x + ct) n(x ct)
= 2 sen sen cos + cos .
c n=1 n2

Gracias a (2.31) y recordando que u(x, t) = u(x, t)C , deducimos que

4kl X 1 na n ctn nx
u(x, t) = 2 sen sen sen sen .
c n=1 n2
67
Ejercicio 2.13 Para y funciones continuas de soporte compacto en R,

supongamos que u C 2 (R [0, )) es una solucion del problema

utt (x, t) uxx (x, t) = 0, si x R, t > 0,

u(x, 0) = (x), si x R, (2.32)

ut (x, 0) = (x), si x R.
Consideremos
Z +
1
K(t) = u2t (x, t) dx (Energa cinetica),
2
Z +
1
V (t) = u2x (x, t) dx (Energa potencial).
2
Probad
1. La funcion E(t) := K(t) + V (t) es constante.
2. Existe t0 dependiente de y tal que K(t) = V (t), para todo t t0 .
Solucion.
Por la formula de DAlembert (vease (2.1)), la solucion de (2.32) esta data
por:
Z
1 1 x+t
u(x, t) = [(x + t) + (x t)] + (s)ds, x R, t 0. (2.33)
2 2 xt
1) Si fijamos t 0, observamos que
(x + t) = 0 if x 6 t + sop
y analogamente
(x t) = 0 if x 6 t + sop .
Aprovechamos, entonces, que tiene soporte compacto para deducir que los
conjuntos t + sop y t + sop son acotados y, por tanto, existe x0 >> 0
(dependiente de t) tal que (x + t) = (x t) = 0 si |x| x0 .
68
Analogamente, como el soporte de esta acotado,

Z xt Z +
(s)ds = (s)ds = 0,
x+t
para todo x t + nf sop y

Z +
(s)ds = 0,
x+t
para todo x t + sup sop . Por tanto, podemos suponer sin perdida de
generalidad que el punto x0 previamente escogido verifica tambien
Z x+t Z +
(s)ds = (s)ds,
xt
para todo |x| x0 . As que

Z +
u(x, t) = (s)ds = cte, |x| x0 (2.34)

E (t) = K (t) + V (t)

Z +
= ut utt + ux uxt dx

Z +
= ut uxx + ux utx dx

Z +
= x (ut ux ) dx

Gracias al Teorema Fundamental del Calculo y siendo para cada t 0
lm ut (x, t) = lm ux (x, t) = 0 ,
|x| |x|
deducimos entonces que
t 0 , E (t) = 0 .
Por lo tanto E(t) es constante.
69
2) Gracias a (2.33), deducimos que

1 1
ut (x, t) = [ (x + t) (x t)] + [(x + t) + (x t)]
2 2
y
1 1
ux (x, t) = [ (x + t) + (x t)] + [(x + t) (x t)]
2 2
Como los datos iniciales y tienen soporte compacto, existe t0 >> 0 tal
que
([sop sop ] + t) ([sop sop ] t) = ,
para todo t t0 . As, teniendo en cuenta que
x + t sop = x + t sop x sop t
x t sop = x t sop x sop + t

x + t sop x sop t
x t sop x sop + t,
deducimos que si t t0 entonces

1 1
2 (x + t) + 2 (x + t),
si x [sop sop ] t
1 1
ut (x, t) = 2 (x t) + 2 (x t), si x [sop sop ] + t

0, en otro caso,
y

1 1
2 (x + t) + 2 (x + t), si x [sop sop ] t

1
ux (x, t) = 2
(x t) 12 (x t), si x [sop sop ] + t

0, en otro caso.
Consecuentemente, si t t0 , ux (x, t)2 = ut (x, t)2 para todo x R y as

Z Z
1 + 2 1 + 2
K(t) = ut (x, t) dx = u (x, t) dx = V (t),
2 2 x
para todo t t0 .
70
Ejercicio 2.14 Hallad la solucion de:

utt u = 0

en R3 (0, +)
u(x, 0) = 0 en R3 {0}

ut (x, 0) = e|x|2

en R3 {0}
Solucion.
Para el calculo de dicha solucion necesitamos aplicar la formula de Poisson-
Kirchoff 10 que representa la extension de la formula de DAlembert en di-
mension 3. En consecuencia
Z
t 2
u(x, t) = e|y| dSy
|Bt (x)| Bt (x)
que con el cambio y = x + tz se transforma en

Z Z
t (|x|2 +t2 ) 2t xz t (|x|2 +t2 )
u(x, t) = e e dSz = e e2t |x| xz dSz ,
4 B1 (0) 4 B1 (0)
x
donde x = |x|
. Sin perder generalidad, se puede suponer que x = e1 |x|, as que
Z
t (|x|2 +t2 )
u(x, t) = e e2t |x| z1 dSz . (2.35)
4 B1 (0)
Notese que la frontera de B1 (0) se puede descomponer como
B1 (0) = 1 + 2
10
La formula de Poisson-Kirchoff nos da una formula de representacion para la unica
solucion de
2
utt c u = 0

en R3 (0, +)
u(x, 0) = f (x) en R3 {0}

ut (x, 0) = g(x) en R3 {0}
con f C 2 (R3 ) y g C 1 (R3 ). La solucion se escribe de la siguiente forma:

Z Z
t t
u(x, t) = f (s)dSx + g(s)dSx ,
t |Bct (x)| Bct (x) |Bct (x)| Bct (x)
donde Br (x) = {y R3 : |y x| = r} y |Br (x)| = 4r2 .
71
donde q
1 = (z1 , z2 , z3 ) : z3 = 1 z12 z22
y
q
2 2
2 = (z1 , z2 , z3 ) : z3 = 1 z1 z2 .
Entonces
Z Z Z
2t |x| z1 2t |x| z1 e2t |x| z1
e dSz = 2 e dSz = p dz1 dz2
B1 (0) 1 z12 +z22 1 1 z12 z22
Z 1 Z 1z12
e2t |x| z1
= p
2 2
dz1 dz2
0 1z12 1 z z
Z 1z12
1 2 !
Z 1
dz 2
= e2t |x| z1 2p dz1 .
0 1z1 1 z12 z22
La integral entre parentesis admite una familia de primitivas explcitas:
Z Z
dz2 dz2
p = p q =
1 z12 z22 2
1 z1 1 1z2
z22
1
z2 dz2
con el cambio s = 1 ds = 1
(1z12 ) 2 2
Z (1z1 ) 2
ds z2
= = arc sen s = arc sen 1 + C, C R.
2
1s (1 z12 ) 2
Entonces:
Z Z !1z12
1
z2
e2t |x| z1 dSz = 2 e2t |x| z1 arc sen

dz1
2 12
B1 (0) 0 (1 z1 ) 1z2
Z 1 Z 1 1
=2 e2t |x| z1 [arc sen 1 arc sen(1)]dz1 = 2 e2t |x| z1 dz1

0 1 0
e2t |x| z1 e2t |x| e2t |x|
= 2 =
2t|x| 1 t|x|
e2t |x| e2t |x| 2
= = senh (2t|x|) .
t|x| t|x|
Finalmente, sustituyendo en (2.35), llegamos a
2 +t2 ) senh (2t|x|)
u(x, t) = e(|x| .
2|x|
72
73
74
Ecuacion del Calor
Ejercicio 3.1 Resuelve mediante la formula de Poisson:
1. (
ut (x, t) uxx (x, t) = t + et , x R, t > 0,
u(x, 0) = 2, x R,
2. (
ut (x, t) uxx (x, t) = 3t2 , x R, t > 0,
u(x, 0) = sen(x), x R,
3. (
ut (x, t) uxx (x, t) = et cos(x), x R, t > 0,
u(x, 0) = cos(x), x R,
11
Solucion.
11
Recordamos que gracias a la formula de Poisson, data una funcion g(x) C 0 (RN ),
2
N 1, tal que g(x) Ce|x| , para C, > 0, entonces la funcion
Z
1 |xy|2
u(x, t) = N e 4t g(y)dy .
(4t) 2 RN
es tal que:
u(x, t) C 0 (RN [0, +)) C 2 (RN (0, +));
cumple (
ut (x, t) u(x, t) = 0, x RN , t > 0,
u(x, 0) = g(x), x RN .
75
1. Para este apartado no necesitamos la formula de Poisson. En efecto, ob-

servamos que u(x, t) es independiente del espacio (es decir no depende
de la variable x), as que es la solucion de 1) es de la forma

z (t) = t + et
u(x, t) = z(t) con z resolviendo
z(0) = 2 .
Entonces Z t
t2
u(x, t) = 2 + (s + es )ds = + et + 1.
0 2
2. En este caso la solucion u(x, t) es la suma de dos funciones:
u(x, t) = v(x, t) + z(x, t)
donde: (
vt vxx = 3t2 , (x R, t > 0),
u(x, 0) = 0, (x R),
y (
zt zxx = 0, (x R, t > 0),
u(x, 0) = sen(x), (x R),
En particular, esta claro que v(x, t) = v(t) y entonces
v(x, t) = t3 .
Por otro lado, la formula de Poisson nos da

Z
1 |xy|2
z(x, t) = S(x, t) sen x = e 4t sen(y)dy
4 t R
Entonces Z
3 1 |xy|2
u(x, t) = t + e 4t sen(y)dy .
4 t R
76
3. Vamos buscando una solucion de la forma:
u(x, t) = A(t) cos x

y entonces A tiene que cumplir

A (t) + A(t) = et t>0
A(0) = 1
et +et
y la solucion es A(t) = 2
. Por lo tanto
et + et
u(x, t) = cos x = cosh t cos x .
2
Es sencillo verificar que las soluciones encontradas cumplen los problemas

propuestos.
77
Ejercicio 3.2 Probad la unicidad de la solucion del problema

ut (x, t) uxx (x, t) = f (x, t) 0 x , t > 0

u(x, 0) = g(x) 0x
(3.1)

u(0, t) = (t) t>0

u(l, t) = (t) t>0
donde f (x, t) C 0 ((0, )(0, +)), g(x) C 0 (0, ), (t), (t) C 0 (0, +).
Solucion.
Supongamos por contradiccion que (3.1) tenga dos soluciones u1 y u2 y sea
w = u1 u2 . Entonces w(x, t) cumple

wt (x, t) wxx (x, t) = 0 0 x , t > 0

w(x, 0) = 0 0x

u(0, t) = 0 = u(, t) t > 0.
Definimos la siguiente funcion de una variable real:

Z
1 2
e(t) = w (x, t)dx .
2 0
Primero observamos que
Z Z
1 2 1 2
lm w (x, t)dx = w (x, 0)dx = 0.
t0+ 2 0 2 0
Nuestro objetivo es probar que e(t) 0, t > 0, que directamente implica
w(x, t) 0 y consecuentemente u1 u2 .
Observamos que e(t) 0 siendo la integral de una funcion positiva; en-
tonces nos queda de probar que e(t) 0, t > 0.
Calculamos la primera derivada de e(t): siendo w es de clase 2, se puede
pasar la derivada bajo el sino de integral, as que
Z

e (t) = w(x, t)wt (x, t)dx .
0
78
Utilizando la ecuacion satisfecha por w, sale

Z

e (t) = w(x, t)wxx (x, t)dx ,
0
e integrando por partes, aprovechando ademas las condiciones en la frontera,

x= Z Z

e (t) = w(x, t)wt (x, t)
wx (x, t)wx (x, t)dx = wx2 (x, t)dx 0 .
x=0 0 0
Por lo tanto e(t) 0 y consecuentemente w(x, t) 0, que implica u1 (x, t)

u2 (x, t).
79
Ejercicio 3.3 Probad la unicidad de la solucion del problema

u (x, t) u (x, t) = f (x, t) x R, t > 0
t xx
u(x, 0) = g(x) xR
donde f (x, t) C 0 (R (0, +)), g(x) C 0 (R), en la clase de funciones

v(x, t) C 2 (R (0, +)) C 0 (R [0, +)) tales que
Z
2
v (x, t) + vx2 (x, t) + vt2 (x, t) dx < + y lm v(x, t) = 0 , t > 0 .
R |x|
Solucion.
Supongamos que el problema tenga dos soluciones u1 y u2 , y sea w = u1 u2 .
Entonces w(x, t) 6 0 cumple

w (x, t) w (x, t) = 0 x R, t > 0
t xx
w(x, 0) = 0 x R.
Multiplicamos la ecuacion satisfecha por w por w misma para obtener
Z Z
0= wt (x, t)w(x, t)dx wxx (x, t)w(x, t)dx
R R
e integrando por partes nos sale

Z Z
0= wt (x, t)w(x, t)dx + wx2 (x, t)dx ,
R R
donde hemos utilizado ademas que lm w(x, t)wx (x, t) = 0. Ahora integra-
x
mos la anterior identidad entre 0 y t, para cualquier t > 0,
Z tZ Z tZ Z tZ
2
0= ws (x, s)w(x, s)dxds+ wx (x, s)dxds ws (x, s)w(x, s)dxds .
0 R 0 R 0 R
Gracias al teorema de Tonelli se puede cambiar el orden de integracion y,

observando que ws (x, s)w(x, s) = 12 [w2 (x, s)]s , deducimos
Z Z t Z Z Z
1 2 1 2 1 2 1
0 [w (x, s)]s dsdx = w (x, t)dx w (x, 0)dx = w2 (x, t)dx ,
2 R 0 2 R 2 R 2 R
siendo w(x, 0) 0. Consecuentemente deducimos que w(x, t) 0, x R y
t > 0, que contradice u1 6= u2 .
80
Ejercicio 3.4 Sea f : R R una funcion continua y acotada tal que existen:
f () = lm f (x), f (+) = lm f (x).

x x+
Probad que la unica solucion acotada u(x, t) del problema de Cauchy:

(
ut uxx = 0, (x R, t > 0),
u(x, 0) = f (x), (x R),
satisface:
f () + f (+)
lm u(x, t) = .
t+ 2
Solucion.
Calculamos la solucion utilizando al formula de Poisson:
Z
1 |xy|2
u(x, t) = e 4t f (y)dy
4t R Z
(x y) 2 t 2
con el cambio z = y dy = 2 tdy = ez f (x 2 tz)dy
Z 2 t Z 0 4t R
1 z 2 z 2
= e f (x 2 tz)dy + e f (x 2 tz)dy .
0
Ahora queremos calcular

Z Z 0
1 z 2
z 2

lm u(x, t) = lm e f (x 2 tz)dy + e f (x 2 tz)dy ;
t+ t+ 0
gracias al teorema de Lebesgue (aqu se utiliza que f es acotada) deducimos
lm u(x, t)
Z t+
Z 0
1 z 2 z 2
= e lm f (x 2 tz)dy + e lm f (x 2 tz)dy
0 Z t+ Z t+
f () z2 f (+) 0 z2 f (+) + f ()
= e dy + e dy = ,
0 2
ya que Z Z Z
0 +
z 2 z 2 1 2 1
e dz = e dz = ez dz = . (3.2)
0 2 R 2
81
2
En efecto es bien conocido que la funcion ez no tiene una primitiva que
se pueda representar mediante funciones elementales. De todas formas se
p
puede calcular su integral en todo el eje. Sea r = x2 + y 2 y consideramos
la integral: Z Z + +
2 y 2
ex dxdy .

Cambiando a polares deducimos que

Z + Z + Z 2 Z +
x2 y 2 2
e dxdy = rer drd,
0
donde la r que aparece en la integral es debida al cambio de diferencial. Por

lo tanto
Z + Z + Z + +
x2 y 2 r2

r 2
e dxdy = 2 re dr = e = .
0
Por otro lado,

Z + Z + Z + Z + Z + 2
x2 y 2 x2 y 2 x2
e dxdy = e dx e dy = e dx .

As deducimos que Z +
2
ex dx =

x2
y aprovechando que e es una funcion par sale (3.2).
82
Metodo de Fourier para el problema mixto

Hara falta una tecnica peculiar para resolver el problema mixto asociado
a la ecuacion del calor, as que lo resumimos brevemente aqu. Nos fijamos
en el siguiente problema:
Encontrar una (de hecho la, gracias al Ejercicio 2.4) solucion de

ut (x, t) uxx (x, t) = 0, 0 < x < L, t > 0,

u(0, t) = 0, t 0,
(3.3)

u(, t) = 0, t 0,

u(x, 0) = f (x), 0 x L.
donde f : [0, L] R es de clase C 0 ([0, L]) y tal que f (0) = f (L) = 0.

Primero, analizamos la ecuacion diferencial. La manera mas sencilla de
resolver la ecuacion
ut (x, t) uxx (x, t) = 0, en 0 < x < L, t > 0,
es buscar una solucion con variable separadas, es decir
u(x, t) = X(x)T (t)
con
X(x) C 2 (0, L) C 0 [0, L] y T (t) C 1 (0, +) C 0 [0, +) .
Por lo tanto, deducimos que
X(x)T (t) + X (x)T (t) = 0 en 0 < x < L, t > 0,
y consecuentemente X(x) y T (t) resuelven, respectivamente,
X (x) X(x) = 0 x (0, L)
y
T (t) T (t) = 0 t>0
83
para algun R.
Ahora anadimos las condiciones de contorno: por un lado pediremos a
la X de anularse en la frontera de su dominio de definicion y por otro nos
hara falta que, en el tiempo 0, T sea igual a un numero positivo (que fijaremos
en 1, sin perder de generalidad). Por lo tanto, para R, resolveremos

X (x) X(x) = 0 x (0, L)
(3.4)
X(0) = 0 = X(L)
y
T (t) T (t) = 0 t>0
(3.5)
T (0) = 1 .
Observamos que las condiciones al contorno en el problema asociado a X

implican que tiene que ser negativo. 12 Ademas las soluciones de (3.4)
estan datas por
nx
X(x) = A sen x (0, L) ,
L
para cualquier A R y con la condicion
n2 2
= , n N.
L2
2 2
En otras palabras, = nL2 , con n N es una sucesion de valores propios

para el operador menos derivada segunda y sen nx L
es la autofuncion
asociada a dicho valor proprio.
Consecuentemente deducimos que la solucion de (3.5) esta dada por
n2 2
T (t) = e L2
t
t > 0.
12
Notese que si fuese positivo tendramos que la solucion general de la ecuacion dife-
rencial en (3.4) vendra data por

X(x) = Ae x
+ Be x
para A, B R, que es incompatible con las condiciones X(0) = X(L) = 0.
84
n2 2
Por lo tanto para A R y n N, u(x, t) = A sen nx
L
e L2
t
es la solucion

de (3.3) con f (x) = A sen nx
L
.

Ademas si f (x) es una combinacion lineal (finita) de sen nx
L
, para algu-
nos valores de n N, entonces la solucion, dada la linealidad de la ecuacion
n2 2 t
del calor, es una combinacion lineal de sen nxL
e L2 .
Para extender esta idea a una funcion f cualquiera observamos que a
cualquier funcion f L2 (0, L) corresponde su desarrollo en serie de Fourier.
Queremos probar que, bajo algunas hipotesis de regularidad, el metodo expli-
cado previamente funciona tambien si consideramos una combinacion lineal

infinita de sen nx
L
como dato inicial.
Mas concretamente, consideramos una funcion f C 1 (0, L) tal que f (0) =
f (L) = 0. Dicha funcion, aprovechando las condiciones en 0 y L, puede ex-
tenderse a una funcion fimp (x) continua en (L, L), 2Lperiodica e impar.
Por lo tanto fimp (x) admite un desarrollo en Serie de Fourier:
+
X nx
fimp (x) = bn sen (3.6)
n=1
L
con Z L
2 nx
bn = f (x) sen .
L 0 L
Ademas la funcion definida por
+
X nx n2 2 2 t
u(x, t) = bn sen e L (3.7)
n=1
L

es de clase Cx2 (0, L) (0, +) Ct1 (0, L) (0, +) y cumple la ecuacion
del calor. En efecto, condiderando que t > 0, sus coeficientes son tales que
+
X n2 2
|bn |n2 e L2
t
< + ,
n=1
y consecuentemente se puede derivar termino a termino la funcion definida

en (3.7) y es facil verificar entonces que u(x, t) cumple la ecuacion del calor.
85
Ademas, calculando u(x, t) para t = 0, deducimos que

+
X nx
u(x, 0) = bn sen ,
n=1
L
es decir que u(x, t) cumple su dato inicial. Siendo u(x, t) una serie de solo
senos, se sigue que la funcion se anula en la frontera lateral del cilindro.
Notese que todo tiene sentido si f solo pertenece a L2 (0, L) la u(x, t) defi-
nida en (3.7) tiene sentido c.t.p. y la u(x, t) es dicha solucion generalizada
de (3.3).
Aplicaremos este metodo en los siguientes ejercicios, aunque no siempre
directamente.
86
Ejercicio 3.5 Considerese la funcion f : [0, ] R dada por

(
x, si x [0, /2],
f (x) =
x, si x [/2, ].
Encontrad una expresion para la solucion del problema:

ut (x, t) uxx (x, t) = 0, 0 < x < , t > 0,

u(0, t) = 0, t 0,

u(, t) = 0, t 0,

u(x, 0) = f (x), 0 x .
Solucion.
Para resolver este ejercicio solo nos hace falta aplicar el metodo explicado
previamente.
Definimos una funcion f(x) como la extension impar del dato inicial en el
intervalo (, ) y calculamos sus coeficientes de Fourier. Notese que, siendo
la funcion extendida de forma impar, los coeficientes de Fourier
Z Z
1 1
an = f (x) cos(nx)dx y a0 = f (x)dx

nos saldran iguales a cero, por ser cos(nx) y 1 funciones pares. Calculamos
entonces
Z Z
1 2
bn = f (x) sen(nx)dx = f (x) sen(nx)dx
0
Z Z
2 2 2
= x sen(nx)dx + x sen(nx)dx .
0 2
Calculamos una primitiva de la funcion integrando por partes

Z
1 1
s sen(ns) = 2 sen(ns) s cos(ns) + c , c R,
n n
mientras con un calculo directo nos sale que
Z
1
sen(ns) = cos(ns) + c c R.
n
87
Consecuentemente
Z Z Z
2 2 2 2
bn = x sen(nx)dx x sen(nx)dx + sen(nx)dx
0 2 2
2
2 1 1 2 1 1
= sen(nx) x cos(nx) sen(nx) x cos(nx)
n2 n 0 n2 n
2
2
+ cos(nx)
n

2

2 1 n n
1
+ 1 sen n

= 2
sen cos
2sen(n) +
cos(n)
2
n 2 2n 2 n n n 2

cos(n)
n
n
+

cos
cos
2n 2 n
n 2
2 n
= 2 sen .
n 2
Entonces
0 si n es par,
bn = n1
2

n2
1 2
si n es impar.
Manipulando los coeficientes obtenemos que la solucion generalizada esta da-
da por
+
2X 1 2
u(x, t) = 2
sen((2n + 1)x)e(2n+1) t .
n=1 (2n + 1)
88
Ejercicio 3.6 (Barra con un extremo a temperatura 0 y el otro aislado

termicamente). Obtened mediante series de Fourier, una expresion para la
solucion del problema:

ut (x, t) uxx (x, t) = 0,
0 < x < /2, t > 0,
u(0, t) = 0 = ux (/2, t), t 0, (3.8)

u(x, 0) = f (x), 0 x /2.
donde f C 1 ([0, /2]), con f (0) = 0 = f (/2).
Solucion.
Este ejercicio es parecido al anterior. En este caso tambien buscamos una
solucion aprovechando que el dato inicial es una funcion que admite un desa-
rrollo en serie de Fourier. Consideramos f, la extension par de la funcion f
con respecto al eje x = 2 , es decir

f (x) si x (0, /2) ,
f(x) =
f ( x) si x (/2, ) .
Entonces f cumple la condicion f(0) = f() = f (0) = 0. Para aplicar otra

vez la formula (3.7) y encontrar la solucion generalizada de (3.8), extendemos
f a fimp en el intervalo (, ), de forma impar, es decir:

f (x + ) si x (, /2) ,

f (x) si x (/2, 0) ,
fimp (x) =

f (x) si x (0, /2) ,

f ( x) si x (/2, ) .
Por lo tanto, la solucion es

X 2
u(x, t) = bn en t sen(nx)
n=1
donde
Z Z Z

1 2 4 2
bn = fimp (x) sen(nx)dx = f(x) sen(nx)dx = f (x) sen(nx)dx ,
0 0
89
siendo Z
1
an = fimp (x) cos(nx)dx = 0 n 0 ,

por ser fimp (x) impar.
90
Ejercicio 3.7 Una funcion V : [0, L] R se llama temperatura de equili-

brio cuando:
lm [u(x, t) V (x)] = 0, x [0, L].
t+
Probad que la solucion V (x) del problema:

(
V (x) = 0, 0 < x < L,
V (0) = , V (L) = ,
es una temperatura de equilibrio para el problema de tipo mixto:

ut (x, t) uxx (x, t) = 0,
0 < x < L, t > 0,
u(0, t) = , u(L, t) = , t 0,

u(x, 0) = f (x), 0 x L,
para cualquier f C 1 ([0, L]), con f (0) = , f (L) = .
Solucion.
Primero, vamos a ver quien es V (x). Ya que V (x) = 0 in (0, L), deducimos
que V (x) tiene que ser una funcion lineal, as que

V (x) = + x.
L
Definimos ahora z(x, t) = u(x, t) V (x) y notamos que z(x, t) verifica:
zt (x, t) zxx (x, t) = [ut (x, t) uxx (x, t)] [t V (x) xx V (x)] = 0 ,
| {z }
=0
as que z(x, t) cumple la misma ecuacion de u(x, t). Ademas
= u(0, t) = V (0) + z(0, t) = + z(0, t)
y
= u(L, t) = V (L) + z(L, t) = + z(0, t)
y finalmente
f (x) = u(x, 0) = V (x) + z(0, x)
91
as que z(x, t) es solucion de

zt (x, t) zxx (x, t) = 0,
0 < x < L, t > 0,
z(0, t) = 0 = z(L, t) t 0, (3.9)

z(x, 0) = f (x) V (x), 0 x L,
Observamos que

f (x) V (x) = f (0) = 0 y f (x) V (x) = f (l) = 0 .
x=0 x=L
Entonces f (x) admite un de desarrollo en serie de Fourier de la forma

X nx
z(x, 0) = An sen
n=1
L
donde Z
2 L nx
An = f (x) x sen dx .
0 L L
Ahora nos podemos utilizar que la solucion de (3.9) es

X nx n2 2 2 t
z(x, t) = An sen e L .
n=1
L
Puesto que f es de clase C 1 , deducimos que
X
|An | < +
n=1
y consecuentemente
X
nx n2 2 2 t X n2 2 2 t
|z(x, t)| An sen e L An e L
n=1
L n=1
2 X

2 t
e L An .
n=1
Por lo tanto,
lm |z(x, t)| = 0 , x (0, L) ,
t+
y consecuentemente

lm z(x, t) = lm u(x, t) V (x) = 0 , x (0, L) ,
t+ t+
que prueba que V (x) es la temperatura de equilibrio.
92
Ejercicio 3.8 Dadas g C([0, L]) y f C 1 ([0, L]), con f (0) = , f (L) =
, probad que para el problema de tipo mixto:

ut (x, t) uxx (x, t) = g(x), 0 < x < L, t > 0,

u(0, t) = , u(L, t) = , t 0,

u(x, 0) = f (x), 0 x L,
la funcion V (x), solucion del problema:

(
V (x) = g(x), 0 < x < L,
V (0) = , V (L) = ,
es una temperatura de equilibrio.
Solucion.
Para resolver este ejercicio definimos la funcion
z(x, t) = u(x, t) V (x) .
Notese que
zt (x, t) zxx (x, t) = ut (x, t) uxx (x, t) + Vxx (x) = 0
y as z(x, t) es la unica solucion del problema

zt (x, t) zxx (x, t) = 0, 0 < x < L, t > 0,

z(0, t) = 0 t 0,
(3.10)

z(L, t) = 0, t 0,
u(x, 0) = f (x) V (x) = f(x), 0 x L.

con f(0) = f(L) = 0. Por lo tanto la solucion del problema (3.10) tiene la
forma que ya hemos encontrado en los ejercicios anteriores, es decir

X n 2 nx
z(x, t) = bn e( L ) t sen
n=1
L
donde Z L
2 nx
bn = f(x) sen( )dx .
L 0 L
93
Ademas siendo tanto la f como la V , por lo menos, de clase C 1 [0, L], entonces
hay convergencia absoluta de los coeficientes de Fourier as que deducimos
que

X ( n 2
) nx 2
X
lm z(x, t) = lm bn e L sen( t
) = lm e( L ) t bn = 0 .
t+ t+
n=1
L t+
n=1
Por lo tanto
lm u(x, t) = V (x) .
t+
94
Ejercicio 3.9 Dadas g C([0, L]) y f C 1 ([0, L]) con f (0) = , f (L) =
, probad que, en general, el problema de tipo mixto:

ut (x, t) uxx (x, t) = g(x),
0 < x < L, t > 0,
ux (0, t) = , ux (L, t) = , t 0, (3.11)

u(x, 0) = f (x), 0 x L.
no tiene solucion de equilibrio. Estableced una condicion que deben verificar
, , g, L para la existencia de una solucion de equilibrio.
Solucion.
Empezamos observando varias cosas.
Primero, no es obvio que el problema tenga una temperatura de equilibrio.
Por lo visto, el problema

ut (x, t) uxx (x, t) = 1,
0 < x < L, t > 0,
ux (0, t) = 0, ux (L, t) = 0, t 0, (3.12)

u(x, 0) = 0, 0 x L.
(es decir (3.11) con g(x) = 1 y f (x) = = = 0) tiene como unica solucion
u(x, t) = t
y
lm u(x, t) = + .
t+
Ademas u(x, t) es la unica solucion de (3.12). En efecto, mas en general,

supongamos que (3.11) tenga mas de una solucion, u1 (x, t) y u2 (x, t), entonces
z(x, t) = u1 (x, t) u2 (x, t) verifica

zt (x, t) zxx (x, t) = 0,
0 < x < L, t > 0,
zx (0, t) = 0, zx (L, t) = 0, t 0, (3.13)

z(x, 0) = 0, 0 x L.
Por lo tanto, si multiplicamos la ecuacion en (3.13) por z(x, t) e integramos
con respecto a x entre 0 y L, obtenemos, integrando por partes:
Z L Z L Z Z L
2 1 L 2
zt (x, t)z(x, t)dx+ zx (x, t)dx = [z (x, t)]t dx+ zx2 (x, t)dx = 0 .
0 0 2 0 0
95
Integrando esta identidad con respecto a t entre 0 y un > 0 deducimos que

Z Z Z Z L
1 L 2
[z (x, t)]t dxd + zx2 (x, t)dxd
2 Z0 0Z 0
Z 0
Z L
1 L 2
= [z (x, t)]t dxd + zx2 (x, t)dxd
Z 2 0 0 Z 0 Z 0 Z
1 L 2 1 L 2 L
= z (x, )dx z (x, 0)dx + zx2 (x, t)dxd = 0 ,
2 0 2 0
| {z } | 0 0 {z }
=0 0
donde, para cambiar el orden de integracion, hemos utilizado el Teorema de

Tonelli. Por lo tanto, siendo las cantidades en las integrales positivas, para
un cualquier > 0, z(x, ) 0. Esto implica que u1 (x, t) = u2 (x, t).
Supongamos ahora que el problema elptico asociado a (3.11), es decir
(
vxx (x) = g(x), 0 < x < L,
(3.14)
vx (0) = , vx (L) = ,
tenga una solucion. Queremos probar que entonces
lm u(x, t) = v(x) .
t+
En efecto si arrestamos las ecuaciones verificadas por u(x, t) y v(x) deducimos

que w(x, t) = u(x, t) v(x) cumple

wt (x, t) wxx (x, t) = 0,
0 < x < L, t > 0,
wx (0, t) = 0, wx (L, t) = 0, t 0, (3.15)

w(x, 0) = f (x) v(x), 0 x L.
Notese que w(x, 0) C 1 (0, L) y
wx (0, 0) = fx (0) vx (0) = = 0 ,
and
wx (L, 0) = fx (L) vx (L) = = 0 .
96
Por lo tanto, adaptando el metodo explicado previamente para problemas

con condiciones de Dirichlet, la unica solucion de (3.15) esta data por
+
a0 X n x ( n )2 t
w(x, t) = + an cos e L
2 n=1
L
donde Z L
2 n x
an = cos w(x, 0)dx n 0,
L 0 L
+
X
Siendo w(x, 0) C 1 [0, L] entonces |an | a < y por lo tanto
n=1
+
a0 X n x ( n )2 t 2
e L ae L 2 t ,
|w(x, t) | an cos
2 n=1
L
as que, acordando que

Z Z
2 L 2 L
a0 = w(x, 0)dx = [f (x) v(x)]dx .
L 0 L 0
tenemos que
a0
lm w(x, t) = uniformemente con respecto a x [0, L] . (3.16)
t+ 2
Notese que la solucion v(x) de (3.14) no es unica, sino es unica a menos de
constantes (vease Ejercicio 4.5 para los detalles de esta prueba), as que entre
las infinitas soluciones elegimos la que cumple la condicion
Z L Z L
v(x)dx = f (x)dx ,
0 0
as que desde (3.16) deducimos
lm u(x, t) = v(x) .
t+
Por lo tanto una condicion suficiente para la existencia de una tempera-

tura de equilibrio es la existencia de una solucion para (3.14).
97
Cuando es posible encontrar dicha solucion?

Supongamos que (3.14) tenga una: si integramos la ecuacion arriba entre
0 y L obtenemos
Z L Z L
g(x)dx = vxx (x)dx = vx (L) + vx (0) = + .
0 0
Entonces una condicion necesaria para que exista l a temperatura de equili-

brio es que Z L
g(x)dx = .
0
Por otro lado, cada solucion de la ecuacion en (3.14) tiene la forma

Z xZ y
v(x) = (g(s))dsdy + h(x) ,
0 0
con h(x) = ax + b, y donde a, b R. Por lo tanto v(x) es solucion (3.14) si
v (0) = h (0) =
y Z L

v (L) = (g(s))ds + h (L) = .
0
Esto implica, desde la primera condicion, que
a=
y desde la segunda Z L
g(s)ds = . (3.17)
0
Por lo visto, la condicion de compatibilidad (3.17) es necesaria y suficiente pa-

ra encontrar una solucion (unica salvo constantes) de (3.14). Dicha condicion,
por lo probado anteriormente, es suficiente para encontrar una temperatura
de equilibrio para (3.11).
98
Ejercicio 3.10 Obtened una expresion para la solucion del problema:

ut (x, t) uxx (x, t) = 1, 0 < x < , t > 0,

u(0, t) = 0, u(, t) = 0, t 0, (3.18)

u(x, 0) = sen(x), 0 x .
Solucion.
Se trata de aplicar el metodo de Fourier a un oportuno problema homogeneo
asociado a (3.18).
Llamamos v(x) la solucion de
(
vxx (x) = 1, 0 < x < ,
v(0) = 0 = u(),
es decir, integrando dos veces la ecuacion satisfecha por v(x),
1
v(x) = x(x ) .
2
Por lo tanto definiendo z(x, t) = u(x, t) v(x) resulta que z(x, t) cumple

zt (x, t) zxx (x, t) = 0,
0 < x < , t > 0,
z(0, t) = 0, z(, t) = 0, t 0,

1
z(x, 0) = sen(x) 2 x(x ), 0 x .
Entonces para escribir una formula de representacion de (x, t)z (y consecuen-
temente de u(x, t)) hay que desarrollar z(x, 0) en serie de Fourier. Notese que
Z
2 1 1 (1)n
bn = [ x(x ) sen(nx)]dx = 2
0 2 n3
entonces
+
2 X 1 (1)n n2 t
z(x, t) = + 1 et sen(x) + 3
e sen(nx)
n=2
n
y consecuentemente
+
1 2 t 2 X 1 (1)n n2 t
u(x, t) = x(x ) + + 1 e sen(x) + e sen(nx)
2 n=2 n3
+ 2
1 2 4 X e(2n+1) t
= x(x ) + + 1 et sen(x) + sen((2n + 1)x) .
2 n=1 (2n + 1)3
99
100
Ecuaciones Elpticas
Ejercicio 4.1 Sea N 2 y = {x RN : 1 < |x| < 2}. Calculad la

solucion del problema

u(x) = 0, x ,

u(x) = 0, |x| = 1

u(x) = 1, |x| = 2.
Solucion.
Buscamos una solucion radial del problema. Observemos que la solucion es
unica gracias al principio del maximo.
Supongamos que u(x) = v(|x|) = v(r), donde
v
u N
uX
|x| = r = t x2j .
j=1
Siendo
N
X
u(x) = x2i xi u(x) ,
i=1
empezamos calculando xi u(x) para algun i entre 1 y N . As tenemos que
xi u(x) = xi v(r) = v (r)xi r
y como qP
N 1 1
PN
xi r = xi j=1 x2j = 2
qP
N 2
xi j=1 x2j
xi j=1 xj
1 1 xi
= qP 2xj i,j = , si r 6= 0 ,
2 N 2 r
xi j=1 xj
101
siendo i,j la Delta de Kroneker (es decir i,j = 1 si i = j y i,j = 0 si i 6= j),

deducimos
xi
xi u(x) = v (r)
r
Consecuentemente
xi
xi u(x) = v (r) ,
r
y entonces podemos calcular

2 xi
xi xi u(x) = xi v (r)
2 r
xi 1 xi x2i 1 x2i
= v (r) + v (r) v (r) 2 xi r = v (r) 2 + v (r) v (r) 3 .
r r r r r r
Por lo tanto
N
X
u(x) = x2i xi u(x)
i=1
N 2

X
x i 1 x2i
= v (r) 2 + v (r) v (r) 3
i=1
r r r
2 2
r N r N 1
= v (r) 2 + v (r) v (r) = v (r) + v (r) .
r r r3 r
Entonces el Laplaciano en polares esta dado por
N 1
u(x) = v (r) + v (r) (4.1)
r
para cada r > 0, N 1. Muchas veces sera comodo escribir el Laplaciano en
polares en su forma compacta:

rN 1 v (r)
u(x) = .
rN 1
Por lo tanto la funcion armonica radial que buscamos es solucion del
siguiente problema de Dirichlet:

N 1

r v (r) = 0, 1 < r < 2,
v(1) = 0,

v(2) = 1,
102
21
PN
con u(x) = v(r) y r = i=1 x2i . Consecuentemente v(r) cumple
rN 1 v (r) = c1 ,
con c1 una constante arbitraria.

Supongamos que N 6= 2, entonces integrando la identidad anterior, nos
sale
c1
v(r) = r2N + c2
2N
y gracias a las condiciones al contorno deducimos

c1 + c = 0,
2N 2
c1 22N + c2 = 1,
2N
lo cual implica
1 1
v(r) = 2N
r2N + .
12 1 22N
En el caso N = 2, repitiendo los argumentos anteriores, deducimos que
log r
v(r) = .
log 2
103
Ejercicio 4.2 Resolved el problema

u(x) = 1, |x| < R = BR (0),
(4.2)
u(x) = 0, |x| = R,
con x RN , N 1.
Solucion.
Buscamos una solucion radial: si la encontramos, por el principio de compa-
racion es la unica solucion. Teniendo en cuenta la expresion del Laplaciano
dada por (4.1) resulta que u(x) = v(r) resuelve

N 1
v (r) r v (r) = 1, 0 < r < R,

v(R) = 0,

v (0) = 0.
Observamos que la ultima condicion, v (0) = 0, es consecuencia de la simetra

de v(r). Efectivamente, por ser u(x) una solucion radial y siendo de clase
C 2 (BR (0)), hay que tener en cuenta que su primera derivada en cero tiene
que ser 0 (si no la solucion no sera tampoco de clase C 1 (BR (0)) ).
Notese que la ecuacion diferencial asociada a tal problema puede escribirse
como

rN 1 v (r) = rN 1 0 < r < R,
que integrando entre 0 y un cualquier r (0, R) queda
r r
N 1
1 N
s v (s) = s ,

0 N 0
es decir
1
v (r) =
r.
N
Integrando otra vez entre r (0, R) y R llegamos a
1
v(R) v(r) = (R2 r2 ) ,
2N
104
y consecuentemente
1
u(x) = (R2 |x|2 ) .
2N
Si queremos comprobar que la funcion encontrada es la solucion buscada,
es suficiente notar que en el conjunto |x| = R, u(x) = 0. Ademas para cada
i = 1, ..., N ,
1 xi
xi u(x) = xi (R2 |x|2 ) = ,
2N N
y entonces
1 1
x2i xi u(x) = xi xi = .
N N
Por lo tanto
N N
X X 1
u(x) = x2i xi u(x) = = 1,
i=1 i=1
N
y entonces u(x) es solucion de (4.2).
105
Ejercicio 4.3 Dados R2 > R1 > 0 y , R, resuelve el problema

u(x) = , R1 < |x| < R2 ,

u(x)
= , |x| = R1 (4.3)

n

u(x) = ,

|x| = R2 ,
n
con x RN , N 1.
Solucion.
Empezamos con el caso N 2. Utilizando la formula del Laplaciano en
coordinadas polares resulta que v(r) = u(x) cumple

rN 1 v (r) = rN 1 r (R1 , R2 ) . (4.4)
Ademas notese que la normal al dominio es paralela a la direccion radial,

y tiene el mismo sentido en la frontera exterior y el sentido contrario en la
frontera interior (vease la Figura 4.9). As que las condiciones en la frontera
de estan dada por
v (R2 ) = y v (R1 ) = .
Por lo tanto notamos que e problema tiene que satisfacer una condicion de
compatibilidad: en efecto integrando (4.4) entre R1 y R2 , deducimos que
N
R2N 1 v (R2 ) + R1N 1 v (R1 ) = (R R1N ) ,
N 2
que implica la siguiente relacion entre , , R1 y R2 :
N
[R2N 1 + R1N 1 ] = (R2 R1N ) . (4.5)
N
Para calcular explcitamente la solucion de (4.3), integramos la identidad
(4.4) entre r (R1 , R2 ) y R2 , as que

R2N 1 N N 1N N 1 R2
v (r) = N 1 + N 1
(R2 r ) = r R2 + r.
r Nr N N
106
r n
r
n
Figura 4.9: El Anillo y las normales en la frontera.
Por lo tanto para N 3 la solucion esta dada por

1 N 2
v(r) = R2 + R2 r2N
N 1
r +C, C R,
2N N 2N
mientras que si N = 2

2
v(r) = R2 + R2 log r r2 + C , C R.
2 4
En ambos casos y verifican la identidad (4.5).

Se puede facilmente verificar que la funcion encontrada verifica el proble-
ma propuesto.
107
Ejercicio 4.4 Dados R > 0 y , R, resuelve el problema

u(x) = , |x| < R,
u (x) = , |x| = R,
n
con x RN , N 1.
Solucion.
Al encontrar las soluciones del problema nos daremos cuenta que y
tendran que cumplir una condicion de compatibilidad. Primero, escribimos
el problema teniendo en cuenta que el problema tiene una simetra esferica,
as que u(x) = v(r), y v cumple

N 1
(r

v (r)) = rN 1 , 0 < r < R,
v (R) = ,

v (0) = 0 .
Integrando entre 0 y r la ecuacion satisfecha por v, deducimos que

N
rN 1 v (r) = r ,
N
es decir

v (r) = r.
N
Notese que la v es solucion si y solo si

v (R) = = R.
N
Las soluciones del problema seran entonces de la forma
2
v(r) = r +c
2N
con = N R y c una constante arbitraria (es decir que el problema es
invariante con respecto a traslaciones verticales).
108
Ejercicio 4.5 Sea RN abierto, acotado y regular y f C 1 (). Probad

que una condicion necesaria para la existencia de solucion del problema

u(x) = 0, x ,
u
(x) = f (x), x
n
es que se cumpla Z
f (x) dSx = 0.

Solucion.
El ejercicio es una aplicacion del Teorema de la Divergencia 13 . Si integramos
la ecuacion satisfecha por u(x) en , nos sale que
Z Z Z
u
0= u(x)dx = div u(x)dx = dSx .
n
Utilizando ahora las condiciones en la frontera de , la ultima integral es

igual a la integral en en la frontera de f , y as la condicion
Z
f (x) dSx = 0 ,

es necesaria para que el dato sea compatible con el problema.
13
Teorema de la divergencia:
Sea un abierto de clase C 1 y F un campo C 1 (, RN ), N 2. Entonces
Z Z
div F dx = F n dSx , (4.6)

siendo n la normal exterior a .
109
Ejercicio 4.6 Sea RN abierto, acotado y regular y f C 1 () y g

C().
1. Dad una condicion de compatibilidad para que el problema

u(x) = g(x), x ,
u (x) = f (x), x ,
n
pueda tener solucion u C 2 ().
2. Probad que si existe dicha solucion y es conexo, esta es unica salvo

constantes aditivas.
Solucion.
1. Actuando como en el ejercicio anterior, integramos la ecuacion que

cumple u(x) en y aprovechando la condicion en la frontera deducimos,
gracias al Teorema de la Divergencia, que
Z Z Z Z
u
g(x)dx = u(x)dx = (x)dSx = f (x)dSx
n
es decir que la condicion necesaria resulta ser

Z Z
g(x)dx = f (x)dSx .

2. Sean u1 , u2 C 2 () C 1 () dos soluciones y definimos v(x) como

v(x) = u1 (x) u2 (x) C 2 () C 1 (). Aprovechando la linealidad de
la ecuacion, v cumple

v(x) = 0, x ,
v (x) = 0, x .
n
Es suficiente probar que v(x) 0, x : siendo conexo esto

implica que u es constante en . Por lo tanto, multiplicamos la ecuacion
110
verificada por v(x) por v misma e integramos en , as que, aplicando

la integracion por partes
Z Z
0= v(x)v(x)dx = v(x) div v(x)
Z Z
v
= |v(x)|2 v(x) (x) .
|n{z }
=0
Por la condicion Z
|v(x)|2 = 0

2
deducimos que |v(x)| 0 y consecuentemente la (eventual) solucion
del problema es unica salvo constante.
111
Ejercicio 4.7 [Teorema de Liouville] Probad que toda funcion armonica

en RN acotada superiormente (o inferiormente) es constante.
Solucion.
Para este ejercicio vamos a utilizar unas propiedades de las funciones armoni-
cas: la propiedad de la media. 14 Supongamos que u sea superiormente acota-
da: entonces existe M = sup u(x) y consecuentemente v(x) = u(x) M 0.
RN
Probaremos que v es constante.
Llamamos {xn } una sucesion de puntos tales que v(xn ) 0 y fijamos
x0 RN . Ademas s Rn = |xn x0 |, notamos que
BRn (x0 ) B2Rn (xn ) .
Por lo tanto, aprovechando que v 0, y por (4.7)

Z Z
1 1
0 v(x0 ) = v(y)dy v(y)dy
|BRn (x0 )| BRn (x0 ) |BRn (x0 )| B2Rn (xn )
Z
2N
= v(y)dy = v(xn ) 0 cuando n + .
|B2Rn (x0 )| B2Rn (xn )
Entonces v(x0 ) es igual a 0 por cualquier x0 y esto concluye la prueba.
14
Hay varias maneras de averiguar si una funcion es armonica, una de ellas es la si-
guiente:
Una funcion u(x) definida en RN es armonica si para cada x y cada r tales que
Br (x) se verifica
Z Z
1 N
u(x) = u(y)dSy = u(y)dy . (4.7)
|Br (x)| Br (x) |Br (x)| Br (x)
Recordamos que |Br (x)| = N rN mientras que |Br (x)| = N N rN 1 , donde N es |B1 | =
N .
112
Ejercicio 4.8 [Teorema de convergencia de Harnack] Probad que el

lmite uniforme en compactos de funciones armonicas en un abierto es una
funcion armonica en .
Solucion.
Sea {un } una sucesion de funciones que convergen localmente uniformemente
a u, entonces
x un (x) u(x) .
Ademas, siendo un armonicas, para cualquier x0 existe un r(x0 ) tal que
Br (x0 ) , r < r(x0 ). Gracias a la propiedad de la media
Z
1
un (x0 ) = un (y)dy . (4.8)
|Br (x0 )| Br (x0 )
Para cada r < r(x0 )

Br (x0 ) Br (x0 ) .
Ya que un u uniformemente en Br (x0 ), podemos pasar al limite bajo el
signo de integral en (4.8) y as u tambien verifica la propiedad de la media.
Consecuentemente u es armonica.
113
Ejercicio 4.9 Sean RN de clase C 1 , y u C 2 () tal que u(x) = 0 para

todo x . Probad que para todo > 0 se tiene
Z Z Z
2 2 1
|u| |u| + u2 .
4
Solucion.
Dado que el abierto es regular, podemos integrar por partes y deducir
Z Z Z Z Z
2
|u| = u u = u div u = uu |u||u| .

Aplicando la desigualdad de Young 15 con p = p = 2 con a = 2|u|
y b = 12 |u| concluimos. (Notese que la desigualdad de Young en el caso
p = p = 2 se puede deducir perfectamente desarrollando el cuadrado de un
binomio).
15
Recordamos la desigualdad de Young: a, b R+
1 p 1 1 1
ab a + bp con + = 1.
p p p p
114
Ejercicio 4.10 [Desigualdad de Harnack] Sea un abierto en RN y

K un subconjunto compacto y conexo de . Probad que existe una constante
C > 0 (dependiente solo de N ,K y ) tal que
max u(x) C mn u(x),

xK xK
16
para toda funcion no-negativa y armonica en .
Solucion.
Probamos, primero, el teorema si K = Br (x0 ) con x0 y r tal que
B4r (x0 ) . Notese que para cada y Br (x0 ), B3r (y) (vease Figu-
ra 4.10). Entonces, siendo u no negativa para cualquier x1 y x2 Br (x0 )
resulta:
Z Z
1 1
u(x1 ) = u(x)dx u(x)dx ,
|Br (x1 )| Br (x1 ) |Br (x1 )| B2r (x0 )
y Z Z
1 1
u(x2 ) = u(x)dx u(x)dx .
|B3r (x2 )| B3r (x1 ) |Br (x2 )| B2r (x0 )
Por lo tanto para cualquier funcion armonica no negativa
u(x1 ) 3N u(x2 ) ,
y consecuentemente
u(x1 ) = max u(x) 3N mn u(x) = 3N u(x2 ) ,

Br (x0 ) Br (x0 )
16
Notese que la hipotesis conexo es necesaria. Supongamos que el abierto tuviese dos
componentes conexas 1 y 2 . Entonces para la funcion
(
1 si x 1 ,
u(x) =
0 si x 2 ,
la desigualdad de Harnack no es cierta en (pero si que es cierta en cada componente

conexa).
115
b
x1
x0
b
b x2
Figura 4.10: Fijado un x0 y un radio r > 0 hemos construido varias bolas de

esta forma: En Br (x0 ) hay dos puntos tales que se puedan construir una bola
de centro x1 y radio r (bola roja) contenida en B2r (x0 ) que esta contenida
en B3r (x2 ) (bola verde). Todo queda en el interior de B4r (x0 ).
116
y queda probad la desigualdad de Harnack en el caso de una bola. El caso

general es consecuencia de la siguiente tecnica de recubrimiento: Sea K cual-
quier subconjunto compacto conexo de . Como u(x) es continua en K, u(x)
alcanza su valor maximo y mnimo en K. Consideramos
xM K : u(xM ) = max u(x) := M
K
y
xm K : u(xm ) = mn u(x) := m
K
y una curva que une los dos puntos, contenida en K. Fijamos r > 0 tal que
B4r (y) , y y, usando que es compacto, fijamos un recubrimiento
finito de bolas de radio r, digamos B1 , ....., Bj , que recubran toda la curva ,
y con (vease Figura 4.11
Mi = max u(x) mi = mn u(x) .
Bri Bri
Para cada i = 1, . . . , k la desigualdad de Harnack nos da que

Mi 3 N mi . (4.9)
Nuestro objetivo es probar que
M c m con c = c(N, K, ) .
Entre las j bolas que recubren cogemos j con 1 j j de forma que

i i+1
M = M1 , mj = m y para cada i = 1, ..., j 1, B r B r 6= . Por lo tanto
es sencillo probar 17 que
Mi mi+1 i = 1, ..., j 1 . (4.10)
Juntando (4.9) y (4.10) deducimos

M1 3 j N
m.
17
Mi = max u max u mn u mn u = mi+1 .

i i i+1 i i+1 i+1
Br B r B r B r B r Br
117
xM
b
b
xm
Figura 4.11: El metodo de recubrimiento de la curva .
118
Ejercicio 4.11 [Teorema de compacidad de Harnack] Sea un abier-

to y conexo en RN y {un } una sucesion de funciones armonicas en verifi-
cando
1. Existe una funcion u0 armonica en tal que u0 un para cualquier

n N.
2. Existe x0 tal que {un (x0 )} esta acotada superiormente.
Probar (con el teorema de Ascoli-Arzela) que existe una subsucesion {unk }

que converge uniformemente en compactos de .
Solucion.
Paso 1. Probamos que si u es armonica en , entonces
CN
|uxi | kukL1 (Br )
rN +1
para cada Br y cada i = 1, . . . , N y donde CN > 0.
Gracias a la propiedad de la media la u esta dada por
Z
N 2N
u(x) = u(y)dy .
N rN Br/2 (x)
Por lo tanto, derivado ambos lados de dicha identidad con respecto a xi ,

i = 1, ..., N (se puede llevar la derivacion bajo el signo de la integral ya que
u es suficientemente regular), deducimos que para cualquier x0 ,
Z
N 2N
uxi (x0 ) = uyi (y)dy .
N rN B r (x0 )
2
Entonces, gracias al teorema de Gauss,

Z
N 2N
|uxi (x0 )| =
u y i
(y)dy
N rN B r (x0 )

N 2N
Z 2
2N (4.11)
= u(y)n i dS y
kukL1 (B r (x0 )) .
N rN B r (x0 ) r 2
2
119
Observamos ademas que para cada y B r2 (x0 ), resulta que B r2 (y)

Br (x0 ) as que
N
2 1
|u(x)| kukL1 (Br (x0 )) ,
r N
y utilizando esta desigualdad en (4.11), deducimos que
CN
|uxi (x0 )| kukL1 (Br (x0 )) .
rN +1
Paso 2. u es Lipschitz en K con constante que depende solo de K.
El Paso 2 es una consecuencia del Paso 1: aplicando un oportuno argu-
mento de recubrimiento de K deducimos que
kuxi kL (K) CkukL1 (K) con C = C(K) .
para cada K .
Paso 3. Conclusion.
Sea un la sucesion de funciones armonicas considerada. Notese que un puede
ser considerada positiva sin perder generalidad (si no se aplica el metodo
siguiente a un = un (x) u0 ). Por el Paso 2 la sucesion es equiLipschitziana,
y as equicontinua. Ademas por ii) la sucesion es equiacotada. Por lo tanto
el teorema de Ascoli-Arzela 18 nos permite concluir la prueba.
18
El teorema de Ascoli-Arzela nos dice lo siguiente:
Sea {un } una sucesion de funciones un : K R, con K compacto tal que
1. (equicontinuidad) > 0 > 0 such that |un (x) un (y)| , if |x y| , n;
2. (equiacotacion) M > 0 such that supK |un (x)| M , n.
Entonces existe una subsusesion unk que converge uniformemente en K.
120
2
R+
(z, 0)
(z, 0) = (1, 0)
Figura 4.12: R2+ y la normal en (z, 0).
Ejercicio 4.12 a) Determinad la funcion de Green y el nucleo de Poisson

para la ecuacion de Laplace en el semiplano superior R2+ = {(x, y)
R2 / y > 0}.
b) Considerad el problema

u(x, y) = 0, x R, y > 0,
u(x, 0) = ex2 , x R.
Probad que u(x, y) > 0, si y > 0 y que
max u(x, y) = 1.
0x,y1
Solucion.
(a) Dado P = (x, y) R2+ , definimos P = (x, y). Puesto que P 6 R2+ ,
tenemos que la solucion fundamental
1 p
v(z, w) = E(z x, w + y) = log (z x)2 + (w + y)2
2
(centrada en P ) verifica
2 2
v(z, w) + v(z, w) = 0, (z, w) R2+ ,
z 2 z 2

v(z, 0) = E(z x, y), z R.
121
Por tanto, hP (z, w) = E(z x, w + y) verifica

(z,w) hP (z, w) = 0, (z, w) R2+ ,
hP (z, 0) = E(z x, y), z R.
y la funcion de Green esta dada por
G((x, y), (z, w)) = E(z x, w y) E(z x, w + y)
"p #
1 (z x)2 + (w y)2
= log p .
2 (z x)2 + (w + y)2
Para calcular el nucleo de Poisson K((x, y), (z, w)) = G((x,y),(z,w))

n
, usamos
2 2
que el vector normal exterior n a R+ en (z, 0) R+ esta dado (vease Figura
4.12) por
n(z, 0) = (0, 1).
As,
K((x, y), (z, w)) = (z,w) G((x, y), (z, 0)) n(z, 0)
G y
= ((x, y), (z, 0)) = .
w [(x z)2 + y 2 ]
(b) Por la formula de Poisson y el apartado (a):

Z +
2 y

ez dz, y > 0
u(x, y) = [(x z)2 + y 2 ]

ex2 , y = 0.
Claramente, u es positiva y por el principio del maximo:
max u(x, y) = max u(x, y)

0x,y1 (x,y)([0,1][0,1])
y es facil probar que este ultimo vale 1.
122
Ejercicio 4.13 Para N 3, calculad la funcion de Green para la ecuacion

de Laplace en
= {x RN : |x| < R, xN > 0}.
Solucion. Supongamos N 3. Sabemos que G(x, y) = E(x y) + hx (y),

para todo x, y , donde

h (y) = 0, y
x
hx (y) = E(x y), y
El problema por tanto es la determinacion de la funcion hx . Para ello, dada

la simetra del dominio, consideramos para cada x = (x1 , x2 , . . . , xN ) los
puntos
R2
x = 2 x, x = (x1 , x2 , . . . , xN ),
|x|
x = (x1 , x2 , . . . , xN ) = (x1 , x2 , . . . , xN ),
y probamos con
hx (y) = E(x y) + E(x y) + E(x y).
Puesto que los puntos x , x, x 6 , tenemos que hx es necesariamente

armonica en para cualesquiera constantes , , . La dificultad esta en
elegir , , de forma que
E(x y) + E(x y) + E(x y) = E(x y), y (4.12)
Recordando (vease el calculo de la funcion de Green para una bola B(0, R))
que
RN 2 1
2 2
= , y B(0, R),
|x| N |x y| N |x y|N 2
puede probarse que si y B(0, R), entonces
E(x y) + E(x y) + E(x y) E(x y) = 0
123
implica (
RN 2
= = (N 2)N |x|N 2
= 1.
De otra parte, si y {xN = 0}, entonces
E(x y) = E(x y), E(x y) = E(x y)
y as para = y = 1 se verifica (4.12). En resumen:

1 1
G(x, y) =
(N 2)N |x y|N 2

RN 2 1 RN 2
N 2 + .
|x| |x y|N 2 |x y|N 2 |x|N 2 |x y|N 2
124
Ejercicio 4.14 Mediante el metodo de series de Fourier calculad la solucion

del problema

u(x, y) = 0, 0 < x < , 0 < y < A

u(0, y) = u(, y) = u(x, A) = 0, 0 y A, 0 x (4.13)

u(x, 0) = f (x), 0x
donde f C 0 ([0, ]) y f (0) = 0 = f ().
Solucion. No es difcil probar la siguiente afirmacion:
i) Si la ecuacion
u(x, y) = 0, 0 < x < , 0 < y < A (4.14)
posee una solucion u de la forma u(x, y) = X(x) Y (y), (x (0, ), y

(0, A)), con X C 2 ((0, )), Y C 2 ((0, A)) y X(x) 6= 0 6= Y (y),
(x, y) , entonces existe una constante R tal que X e Y verifi-
can
X (x) + X(x) = 0, 0 < x < (4.15)
Y (y) Y (y) = 0, 0 < y < A (4.16)
ii) Recprocamente, si existen una constante R y funciones X

C 2 ((0, )), Y C 2 ((0, A)) verificando (4.15) y (4.16) 19 , entonces la
funcion u(x, y) = X(x)Y (y) ((x, y) ) es una solucion de (4.14).
Como siempre, a nosotros nos interesara la implicacion probada en ii) (y

no la probada en i)).
Una vez que hemos demostrado la existencia de infinitas soluciones de
(4.14) nos preguntamos si alguna de estas verificara la condicion de contorno:
19
aunque X o Y se anulen en algun punto!
125

u(0, y) = u(, y) = u(x, A) = 0
0 x , 0 y A.
u(x, 0) = f (x),
20
Imponiendo esta condicion se llegara a que X e Y deben verificar
f (x)
X(0) = 0 = X(), Y (A) = 0, X(x) = , x [0, ]
Y (0)
De esta forma, hemos observado que (4.13) posee una solucion u con la forma
u(x, y) = X(x)Y (y) (siendo X C 2 ((0, )) C 0 ([0, ]) y Y C 2 ((0, A))
C 0 ([0, A])) si para alguna constante R existen soluciones X e Y de los
problemas

X (x) + X(x) = 0, x (0, )
(4.17)
X(0) = 0 = X()

Y (y) Y (y) = 0, 0<y<A
(4.18)
Y (A) = 0
tales que Y (0) 6= 1 y X(x) = Yf (x)

(0)
, x [0, ].
Se hace as necesario estudiar para que valores de R los problemas
(4.17) y (4.18) poseen solucion no trivial. Entonces, el problema (4.17) posee
solucion no trivial si y solamente si = n2 con n N. Ademas, en este
caso, las soluciones de (4.17) son multiplos de la funcion sen nx En otras
palabras, n2 es un valor proprio del operador derivada segunda y sen(nx)
la autofuncion asociada.
Igualmente, para = n2 (n N), el problema (4.18) tiene soluciones no
triviales y estas son los multiplos de la funcion senh n(A y)
Por estas observaciones, llegamos a que cualquier multiplo de la funcion
sen nx senh n(A y) es una solucion de (4.14) que, ademas, verifica
u(0, y) = u(, y) = u(x, A) = 0, x [0, ], y [0, A] (4.19)

20
Suponiendo Y (0) 6= 0.
126
Sin embargo, a menos que f sea un multiplo de la funcion sen nx, esta
solucion de (4.14) y (4.19) no lo sera del problema (4.13) puesto que no se
verificara la condicion u(x, 0) = f (x), x [0, ].
Como ya es habitual, pensamos entonces si una superposicion (finita o
infinita) de sen nx senh n(A y) nos dara la solucion buscada de (4.13).
As probaremos que si para f C 1 ([0, ]) con f (0) = 0 = f (), consideramos
los coeficientes de Fourier
Z
2
Bn = f (x) sen nx dx, n N

0
entonces la funcion u : [0, ] (0, A] R definida como

X Bn
u(x, y) = sen nx senh n(A y) (4.20)
n=1
senh (nA)
para x [0, ], y (0, A], verifica
i) u C 0 ([0, ] (0, A]) H((0, ) (0, A)) y
u(0, y) = u(, y) = u(x, A) = 0, 0 x , 0 < y A.
ii) u C 0 ([0, ] [0, A]) y u(x, 0) = f (x), para todo x [0, ]. En conse-
cuencia, esta u es la unica solucion de (4.13).
En efecto, por ser f de clase C 1 , tenemos la convergencia de la serie

X
|Bn |
n1
y la mayoracion
+ + +
X Bn X X
sen nx senh n(A y) |Bn |eny |Bn | < +.
n=1
senh (nA) n=1 n=1
2 2 2
Ademas, las series de las derivadas parciales formales x , y , x2 , y 2 , xy
obtenidas mediante la derivacion termino a termino de la serie que define u
127
estan mayoradas por la serie

+
X
n2 |Bn |eny .
n=1
La convergencia de esta y el criterio de Weiertrass da que u es armonica en

(0, ) (0, A). El resto de l prueba es facil con tal que recordemos que
+
X
f (x) = Bn sen nx.
n=1
128
Ejercicio 4.15 Probar que el problema

u(x, y) = 0,

0 < x2 + y 2 < 1,
u(x, y) = 0, x2 + y 2 = 1,

u(0, 0) = 1,
no posee solucion u C 2 (B(0, 1)).
Solucion.
Como el dominio tiene simetra esferica, la solucion necesariamente tendra la
misma simetra. As escribimos la ecuacion en polares, es decir: u(x, y) = v(r)
p
con r = x2 + y 2 y v satisfaciendo

rv (r) = 0, 0 < r < 1,

v(1) = 0,

lm v(r) = 1.
r0+
De la ecuacion deducimos que rv (r) = c1 , con c1 una oportuna constante.

Por lo tanto v (r) = cr1 y consecuentemente
v(r) = c2 + c1 log r c1 , c2 R .
La condicion v(1) = 0 implica que c2 = 0 y la expresion que queda de v no

es compatible con la condicion lm+ v(r) = 1.
r0
129
Ejercicio 4.16 Probad que si RN es abierto y acotado y una solucion

u C 2 () C() de
u + u2 = 0, x
alcanza su valor maximo en entonces u 0.
Solucion.
Como u2 0, resulta que u 0, es decir u(x) es subarmonica. Gracias
al Principio del Maximo Fuerte para funciones subarmonicas 21 , deducimos
que si u(x) alcanza su maximo en , entonces es constante (en ). Siendo 0
la unica constante que cumple la ecuacion, el ejercicio esta probado.
21
El Principio del Maximo Fuerte nos dice que:
Sean RN un abierto y conexo y u una funcion verificando
Z
1
u(x) u(z)dz ,
|Br (x)| Br (x)
para cualquier Br (x) . Si existe un punto y tal que
u(y) = sup u(x)

x
entonces la funcion u es constante en .
130
Ejercicio 4.17 Sea f : (0, 1) R una funcion continuamente diferencia-

ble y no-negativa. Supongamos que u C 2 (BRN (0, 1)) C(BRN (0, 1)) es una
solucion del problema

u(x) + u2 (x) + f (|x|) = 0, |x| < 1,
u(x) = 1, |x| = 1.
Calculad el maximo de u.
Solucion.
Queremos probar que el maximo de u es 1, es decir el valor que alcanza en
la frontera de la bola. Supongamos que exista un x0 BRN (0, 1) tal que u
alcance su maximo en dicho punto. Aprovechando que u es regular, en sus
puntos de maximo u(x0 ) 0; ademas recordamos que f 0. Entonces por
la ecuacion satisfecha por u deducimos que
0 = u(x0 ) + u2 (x0 ) + f (|x0 |) u2 (x0 ) ,
lo cual implica u(x0 ) = 0.
131
Ejercicio 4.18 Sean un subconjunto abierto y acotado en RN , f C()

y g : R R una funcion creciente y continua. Probad que el problema
(
u(x) + g(u(x)) = f (x), si x
u(x) = 0, si x
tiene a lo mas una solucion u.
Solucion. Metodo 1. Principio del maximo
Sean u1 , u2 dos soluciones. Probaremos que v := u1 u2 es cero. Para ello
observemos que verifica
(
v(x) + g(u1 (x)) g(u2 (x)) = 0, si x
v(x) = 0, si x .
Consideremos el subconjunto abierto 1 := {x / v(x) > 0} = {x
/ u1 (x) > u2 (x)}. Probaremos que 1 = por contradiccion. Supongamos
que 1 6= . Ya que g es creciente, g(u1 (x)) g(u2 (x)) 0, x 1 y as

v(x) = g(u (x)) + g(u (x)) 0, si x
1 2
v(x) = 0, si x 1 .
Por tanto, v = u1 u2 0 en 1 , una contradiccion probando que 1 = .
Analogamente, 2 := {x / v(x) < 0} = {x / u1 (x) < u2 (x)} = y,
consecuentemente, v 0.
Metodo 2. Integracion por partes.

Supongamos de clase 1 y supongamos que tenemos dos soluciones u1 y u2 .
Definimos, entonces, la funcion w = u1 u2 la cual queremos demostrar que
es identicamente cero. Notese que w cumple
(
w(x) + g(u1 (x)) g(u2 (x)) = 0, si x
w(x) = 0, si x .
Multiplicamos la ecuacion por w(x) = u1 (x) u2 (x) e integramos en para
deducir que
Z Z

u1 (x)u2 (x))(u1 (x)u2 (x) + [g(u1 (x))g(u2 (x))](u1 (x)u2 (x)) = 0 .

132
Aplicando la integracion por partes, se tiene que

Z Z
2
|w(x)| + [g(u1 (x)) g(u2 (x))](u1 (x) u2 (x))

Z
= w(x) w(x)dSx .

La ultima integral es cero, ya que w(x) = 0 en . Ademas, como g es no

decreciente, entonces s, t R, [g(s) g(t)](s t) 0, as que
Z
|w(x)|2 0 ,

que implica w(x) 0, ya que w(x) = 0 en .

Consecuentemente u1 (x) u2 (x) 0.
133
Ejercicio 4.19 Pruebese la Tercera Identidad de Green: Si RN es un

subconjunto abierto y acotado en el que es valido el teorema de la divergencia,
u C 2 () y x , entonces
Z Z Z

u(x) = E(xy)u(y)dy+ u(y) E(xy)dSy E(xy) u(y)dSy ,
ny ny

donde la funcion E : RN RN esta dada por

log |y|

, si N = 2,
2
E(y) = y RN
1

, si N 3
(N 2)N |y|N 2
y n y = n(y) , con n(y) el vector normal unitario exterior a en y

y N = |B1 |.
Solucion.
La segunda identidad de Green dice que para cualquier v, z C 2 ()C 1 (),
Z Z
v(y) z(y)
z(y)v(y) v(y)z(y) dy = z(y) v(y) dSy .
n n
Si fijamos x , elegimos v = u(y), z = E(x y) y aplicamos la segunda

identidad de Green en = \ B (x), con <dist(x, ), deducimos que
(ya que E(x y) = 0 en , vease Ejercicio 1.8):
Z
0= u(y)E(x y)dy
Z Z
u(y) E(x y)
= E(x y)u(y)dy E(x y) u(y) dSy
Z Z ny ny
u(y) E(x y)
= E(x y)u(y)dy E(x y) u(y) dSy
Z n y n y
u(y) E(x y)
+ E(x y) u(y) dSy .
B (x) ny ny
(4.21)
134
Vamos a tomar lmites cuando tiende a cero. Por el Teorema de Lebesgue,

0
E(x y)u(y) E(x y)u(y) en L1 ()22
y as Z Z
lm E(x y)u(y)dy = E(x y)u(y)dy. (4.22)
0
Estudiamos ahora las ultimas dos integrales en (4.21). Haremos el calculo
solo para N 3 (siendo analogo en el caso N = 2). En primer lugar,
B (x) = {y RN : |x y| = }
y por lo tanto
1
E(x y) =
B (x) (N 2)N N 2
as que
Z Z
u(y) 1 u(y)
E(x y) dSy = 2
dSy =
B (x) ny (N 2)N N
B (x) ny
Z
N 1 u(y) 0
= dSy 0 (4.23)
(N 2) N N N 1 B (x) ny
u
pues ny
C 1 () implica que
Z
1 u(y) 0 u
N 1
dSy (x) .
N N B (x) ny ny
Por otro lado, como n(y) = xy
,
Z Z
E(x y) 1 xy (x y)
u(y) dSy = u(y) dSy
B (x) ny N B (x) |x y| N
Z I
1 0
= N 1
u(y)dSy = u(y)dSy u(x). (4.24)
N B (x) B (x)
Gracias a (4.22), (4.23) y (4.24), tomando lmites cuando tiende a cero en

(4.21) concluimos la formula pedida en el ejercicio.
22
Es decir:
Z

lm E(x y)u(y) E(x y)u(y) dy = 0 .
0
135
136
Bibliografa
[Ca] A. Canada Villar, Apuntes de Ecuaciones en Derivadas Parciales,

http://www.ugr.es/dpto am/docencia/Apuntes/EDPMatematicas Canada.pdf
[CF] A. Castro Figueroa, Curso basico de ecuaciones en derivadas parciales.

Addison-Wesley Iberoamericana (1997).
[DF] D.G. De Figueiredo, Analise de Fourier e Equacoes Diferenciais Par-

ciais. Instituto de matematica pura e aplicada (1997).
[Ev] L. C. Evans, Partial Differential Equations, Graduate Studies in Mat-

hematics 19, American Mathematical Society (1998).
[Per] I. Peral, Primer Curso de Ecuaciones en Derivadas Parciales,

http://www.uam.es/personal pdi/ciencias/ireneo/libro.pdf
[St] W.A. Strauss, Partial differential equations. An introduction. John Wi-

ley & Sons, Inc., New York (1992).
137

Ejercicios Resueltos de EDP-tommaso PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Ejercicios Resueltos de EDP-tommaso PDF

Uploaded by

Copyright:

Available Formats

1

Tommaso Leonori e-mail: leonori@ugr.es

Ecuaciones del Primer Orden 7

Ecuacion del Calor 75

Ecuaciones Elpticas 101

En estos apuntes he reunido las soluciones de los ejercicios propuesto

Si alguien encontrara erratas, misprints o tiene dudas sobre los ejercicios,

Ejercicio 1.1 Estudiad la linealidad y estableced el orden para cada una de

Solucion.1 No es complicado verificar que:

F (Dm u, Dm1 u, ...., Du, u, x) = 0 x RN N 2 ,

1. es lineal del segundo orden;

2. es lineal del segundo orden;

3. es nolineal del tercer orden;

4. es lineal del segundo orden;

5. es lineal del segundo orden;

6. es nolineal del primer orden;

7. es lineal del primer orden;

8. es nolineal del cuarto orden.

donde f y a son funciones regulares.

Ejercicio 1.2 Dado c R, estudiad la linealidad y orden de la siguiente

Interpretad geometricamente la e.d.p. y calculad sus soluciones.

donde = (x , y ). Entonces el ejercicio consiste en encontrar funciones u

Vamos a explicar dos manera de resolver este ejercicio.

Metodo 1. Geometrico. Aprovechando la idea del sentido geometrico de la

donde f es una funcion de clase C 1 (R). Las rectas y cx =constante se

Metodo 2. Caractersticas. Aplicando el metodo de las caractersticas

as que resulta, siendo 1 , 2 , 3 constantes arbitrarias,

donde f es una cualquier funcion f C 1 (R).

Ejercicio 1.3 Resolved las ecuaciones:

1. Escribimos el sistema caracterstico asociado a la primera de la ecua-

Entonces, siendo ci i = 1, 2, 3 constantes, la solucion del sistema esta

Por lo tanto la solucion de la ecuacion ut + xux = 0, (x, t) R2 resulta

2. En este caso el sistema caracterstico resulta ser dado por

Entonces, siendo ci i = 1, 2, 3 constantes, las soluciones de la primera

mientras que para resolver la segunda aplicamos el metodo de separa-

Se puede facilmente verificar que dichas soluciones cumplen las ecuaciones

Ejercicio 1.4 Calculad la solucion del problema

y finalmente deducimos que

Ejercicio 1.5 Calculad la solucion del problema

con coeficientes a(x, y, u) = 1, b(x, y, u) = u, c(x, y, u) = 2 y con la curva

Podemos obtener una expreson para s y t en funcion de x e y:

Ejercicio 1.6 Calculad la solucion del problema

with g tal que

con F una funcion regular (F (s) = 21 s2 en (1.3)).

el sistema es compatible, as que tiene sentido buscar una solucion al rededor

Consecuentemente la solucion de (1.3) esta data, acordando la definicion de

Como ya hemos observado, la solucion encontrada no es de clase C 1 (R

Figura 1.1: Las rectas caractersticas en la region 0 < t < 1.

De todas formas el mismo tipo de fenomeno si habra presentado si hu-

Efectivamente, las curvas caracterstica que salen de la zona x 0 y x 1

Ejercicio 1.7 Dado a R\{0}, estudiad la linealidad y orden de la siguiente

Primero, buscamos las soluciones de la segunda ecuacion: una vez encontrada

con ci , i = 1, 2, 3 constantes. Observamos que x at es constante, as que

son rectas caractersticas. Entonces una cualquier funcion de la variable x+at

u(x, t) = F (x at) + G(x + at)

con F , G de clase C 2 (R).

v(, ) = 0 = v(, ) . (1.11)

Vamos a disfrutar de la primera identidad. Notamos que desde (1.11) la

donde G de clase C 2 (R) y F = f . Notese que dicha v verifica tanto la primera

con F y G de clase C 2 (R).

Ejercicio 1.8 Para (x1 , x2 , . . . , xN ) RN (N 2) se define el operador

Dado = (1 , 2 , . . . , N ) RN , definimos (la solucion fundamental del la-

Ahora derivamos otra vez con respecto a xi as que