Sei sulla pagina 1di 141

1

Ejercicios del curso


Ecuaciones en derivadas parciales

Tommaso Leonori
Dep. de Analisis Matematico
Universidad de Granada.

e-mail: leonori@ugr.es

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 Espa
na
Editado por Bubok Publishing S.L.

Indice general
Ecuaciones del Primer Orden

Ecuaci
on de Ondas

27

Ecuaci
on del Calor

75

Ecuaciones Elpticas

101

T.Leonori

Ejercicios de EDP

Introduci
on
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 a
no 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).

T.Leonori

Ejercicios de EDP

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,
5. iut uxx +
6.

ux

(1 +

u2x )

u
x

= 0,
uy

= 0,

(1 + u2y )

7. ux + ey uy = 0,

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

Con ecuaci
on 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
F : RN

RN

m1

..... RN R R

es una funci
on asignada y
u:R

T.Leonori

Ejercicios de EDP

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.

es una funci
on regular. Adem
as decimos que la ecuacion es lineal si se escribe de la forma
m

a (x)D u(x) = f (x)


||k

donde f y a son funciones regulares.

T.Leonori

Ejercicios de EDP

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


ecuaci
on:
ux + cuy = 0,

(x, y) R2 .

(1.1)

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


Soluci
on.
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

T.Leonori

Ejercicios de EDP

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

x(t) = t + 1
Por lo tanto

y(t) = ct + 2

z(t) = 3 .

tR

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

T.Leonori

Ejercicios de EDP

Ejercicio 1.3 Resolved las ecuaciones:


1. ut + xux = 0,
2. ut + 2tx2 ux = 0,

(x, t) R2 ,
(x, t) R2 .

Soluci
on.
En los dos casos aplicamos el metodo de las caractersticas.
1. Escribimos el sistema caracterstico asociado a la primera de la ecuaciones resulta ser

t (s) = 1

x (s) = x(s)

z (s) = 0 .

sR

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


dada por

t(s) = s + c1
(1.2)
x(s) = c2 es
sR

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 caracterstica 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 ning
un 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

T.Leonori

Ejercicios de EDP

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

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

z (s) = 0 .

sR

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


y tercera ecuaciones del sistema son

t(s) = s + c
sR
1
z(s) = c2 ,

mientras que para resolver la segunda aplicamos el metodo de separacion de las variables. Para x(s) = 0 tenemos que
x (s)
= 2t(s) = 2(s + c1 )
x2 (s)
as que
c3

1
=2
x(s)

t(s)ds = 2

(s + c1 )ds = (s + c1 )2 + c3 = t2 (s) + c3 ,

por una constante c3 oportuna. Por lo tanto


1
+ t2 = c3 ,
x

con c3 R ,

y como la solucion es constante a lo largo de cada curva caracterstica,


deducimos, razonando como antes, que las soluciones tienen la forma
u(x, t) = C1

1
+ t2 + C2 ,
x

con C1 y C2 constantes.
Se puede facilmente verificar que dichas soluciones cumplen las ecuaciones
diferenciales propuestas en el ejercicio.

12

T.Leonori

Ejercicios de EDP

Ejercicio 1.4 Calculad la soluci


on del problema
ut u x = u2 ,
u(x, 0) = 21 ex ,

x R, t > 0
x R.

Soluci
on.
Aplicamos el metodo de las caractersticas y por lo tanto queremos resolver
el siguiente sistema de ecuaciones diferenciales ordinarias:

=1

t0 () = 0
t(s)
x0 () =
x(s)

= 1

z0 () = 12 e .
z(s)

= z 2 (s)

Entonces

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

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

y consecuentemente

s = t(s, )

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

u(x(s, ), t(s, )) = z(s, ) =

1
z(s,)

= s,

1
1
= x(s,)+t(s,)
s
2e
t(s, )

2e

y finalmente deducimos que

u(x, t) =

1
2ex+t

Es facil comprobar que esta es efectivamente una solucion del problema.

13

T.Leonori

Ejercicios de EDP

Ejercicio 1.5 Calculad la solucion del problema


ux + uuy = 2,
u(0, y) = y,

(x, y) R2
y R.

Soluci
on.
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
det

a(x0 (s), y0 (s)) x0 (s)


b(x0 (s), y0 (s)) y0 (s)

= 0.

Ademas la curva s (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

y0 () =
y(s)

= z(s)

z0 () = .
z(s)

=2
Esta claro que las primeras y las terceras ecuaciones nos dan
x(s, ) = s
z(s, ) = 2s + ,
as que tenemos
s

y(s, ) =

(2 + )d = s2 + s.
0

14

T.Leonori

Ejercicios de EDP

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


x=s
2
= yx
1+x

para x = 1 .

Consecuentemente,
u(x, y) =

y x2
+ 2x para x = 1 .
1+x

Es facil comprobar que esta es efectivamente una solucion del problema.

15

T.Leonori

Ejercicios de EDP

Ejercicio 1.6 Calculad la solucion del problema


(x, t) R (0, +)
x R,

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

if x 0

1x

if 0 x 1

(1.3)

(1.4)

if x 1.

Soluci
on.
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

Siendo

t0 () = 0
x0 () =

z0 () = g() .

=1

t(s)
x(s)

= z(s)

z(s)

=0
det

1 0
1 1
16

= 0,

T.Leonori

Ejercicios de EDP

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
(1.5)
z(s) = g()

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) explcitamente:

if 0
x=+t
x = + t(1 )
if 0 < 1

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

if x t
=xt
xt
= 1t
if 0 < xt
1
1t

=x
if x > 1 .

es decir t < x 1, 0 < t < 1

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


g data por (1.4), por

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

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

Ejercicios de EDP

t=1

u1

1x
1t

u0

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 hubieramos elegido un cualquier dato inicial g C 1 (R) que cumpliese

if x 0

1
g(x) =

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

0 g(x) 1 if 0 x 1
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 acercamos 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

T.Leonori

Ejercicios de EDP

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


ecuaci
on:
1 2u
2u

= 0, (x, t) R2 .
(1.6)
x2 a2 t2
Calculad algunas soluciones particulares.
Soluci
on.
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),
a
a
a
a

(1.7)

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:

t (s, ) = a
x (s, ) = 1
s>0


z (s, ) = 0 .

Por lo tanto

1
t(s) = s + c1 ,
a

x(s) = s + c2 ,
19

z(s) = (x(s), t(s)) = c3

T.Leonori

Ejercicios de EDP

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

(x, t) R2 .

Para hallar la expresion de u(x, t), aplicamos otra vez el metodo de las caractersticas a la ecuacion no homogenea que verifica u. Entonces deducimos

x (s) = 1
t (s) = a1


z (s) = f x(s) at(s)

s > 0.

(1.9)

Por lo tanto desde las primeras dos ecuaciones deducimos que


1
t(s) = s + c1 ,
a

x(s) = s + c2 ,

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


nadir a la solucion
anula el operador x a1 t , as que siempre podemos a
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

T.Leonori

Ejercicios de EDP

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


Metodo 2. Para calcular las soluciones, notamos, como antes, la descomposicion 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 = + ,
= x at,
2
y consecuentemente
(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
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 a
nadir
(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

T.Leonori

Ejercicios de EDP

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
ax + t ,
u(x, t) = F ax t + G
de clase C 2 (R).
con F y G

22

T.Leonori

Ejercicios de EDP

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


laplaciano mediante
N

u(x1 , x2 , . . . , xN ) =
i=1

2u
(x1 , x2 , . . . , xN ).
x2i

Dado = (1 , 2 , . . . , N ) RN , definimos (la solucion fundamental del laplaciano) E : RN \ {} R mediante

1
2N

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

log |x |,
si N = 2.

Probad que

x RN \ {}.

E (x) = 0,

Soluci
on.
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 :
xi

1
xi i
|x |2N = |x |1N xi |x | =
,
N 2
|x |N

donde la u
ltima identidad es consecuencia del siguiente calculo directo:
xi |x | = xi

k=1N

(xk k )2 =

1
2

xi i
2(xi i )
=
.
2
|x |
k=1N (xk k )

Ahora derivamos otra vez con respecto a xi as que


x2i E (x) = N

(xi i )2
1

.
N
+2
|x |
|x |N
23

T.Leonori

Ejercicios de EDP

Por tanto, al sumar i entre 1 y N obtenemos:


N

x2i E (x) =

E (x) =

i=1

i=1

N
|x |N +2

i=1

(xi i )2

1
|x |N

(xi i )2
1

N
+2
|x |
|x |N

1=
i=1

N
1
2
|x|

N = 0.
|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 log |x | =
y consecuentemente
x2i E (x) = 2

xi i
,
|x |2

(xi i )2
1

.
4
|x |
|x |2

Por lo tanto
x21 E (x) + x22 E (x) = 0 .

24

T.Leonori

Ejercicios de EDP

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 proyecci


on (x(t), y(t)) de (t) sobre corta la frontera
de en dos puntos P = 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) ,
(x, y) ,

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

no posee soluci
on cuando la funci
on f C() satisface f (P ) = f (Q).
Soluci
on.
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) ,
(x, y) ,

u(x, y) = f (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

T.Leonori

Ejercicios de EDP

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

Figura 1.2: El abierto y la curva .

26

Ecuaci
on de Ondas
Ejercicio 2.1 Resolved el el siguiente problema de Cauchy

x, y R,

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


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

ux (0, y) = sen y,

Soluci
on.
Aplicando la formula de DAlembert
por

y R,

y R.

la solucion del problema esta dada

1
1
1
u(x, y) = [1 + (y x)2 ] + [1 + (y + x)]2
2
2
2

y+x

sen(s)ds
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)

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


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

ut (x, 0) = h(x),

x R, t > 0

x R,

x R,

con g C 2 (R) y h C 1 (R), c = 0, la u


nica solucion u C 2 (R (0, +)) esta dada por
u(x, t) =

1
1
1
g(x ct) + g(x + ct) +
2
2
2c

27

x+ct

h(s)ds .
xct

(2.1)

T.Leonori

Ejercicios de EDP

Ejercicio 2.2 Resolved el el siguiente problema

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

u (x, 0) = xex2 ,
t

u(x, 0) = 0,

u(0, t) = 0,

de Cauchy
en C,
x 0,

(2.2)

x0
t 0.

donde C = {x 0, t > 0}.

Soluci
on.
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

x R, t > 0

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


x R,

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

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 u
nica solucion
2
u C (R (0, +)) esta dada por
1
1
1
u(x, t) = f (x ct) + f (x + ct) +
2
2
2c

x+ct

g(s)ds .
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:
1
1
1
u(0, t) = f (ct) + f (ct) +
2
2
2c
28

ct
ct

g(s)ds = 0 t 0 .

T.Leonori

Ejercicios de EDP

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
1
0
2c

ct

g(s)ds

ct

1
1
0 f (ct) + f (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
f (x) 0
Finalmente u(x, t) = u(x, t)

y
C

g(x) = xex

x R .

con

u(x, t) =

1
2c

x+ct

ses ds ,
xct

y consecuentemente
u(x, t) =

2x ct
e2x ct
1 (x+ct)2 1 (xct)2
2
2e
e
+ e
= ex (ct)
,
4c
4c
4c

(x, t) C .

Lo de la f es la definici
on de funcion impar, para la g, notese que derivando la
condicion
ct
1
g(s)ds
0
2c ct
deducimos
cg(ct) (c)g(ct) = 0 g(ct) = g(ct)
es decir g impar.

29

t > 0 ,

T.Leonori

Ejercicios de EDP
m

xj h xj

xj + h

Figura 2.3: La curda vibrante modelizada con los muelles.


Ejercicio 2.3 Una cuerda de longitud = 1 con los extremos fijos tiene
la posici
on 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 dimensi
on representa el perfil de una cuerda que vibra con velocidad 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 s
olo 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.


es decir: F (x) = kx, donde k es la constante de elasticidad del muelle y x el desplaciamento de su condici
on de equilibrio.
5

30

T.Leonori

Ejercicios de EDP

y acordando que nh = L, deducimos que


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

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)
=
,
h0
h2
x2
lm

y consecuentemente
2
2 u(x, t)
2 u(x, t)

c
=0
t2
x2

x (0, L) ,

t > 0,

la velocidad de propagacion de la cuerda. Como la cuerda


siendo c2 = KL
M
esta fija en sus extremos, tiene ademas que cumplir
u(0, t) = 0 = u(L, t) ,

t 0 .

Este problema est


a bien definido si lo emparejamos con un problema de Cauchy, 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

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

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

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

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

T.Leonori

Ejercicios de EDP

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.
Soluci
on.
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):

x (0, 1), t > 0

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

x (0, 1),

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

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 ecuacion 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

T.Leonori

Ejercicios de EDP

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
F (s) G(s) =
Por lo tanto
u(x, t) =

1
sen s
2

s R .

1
1
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

x R, t > 0

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


x R,

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

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

(2.5)

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

Ejercicios de EDP

co
t=

t=
co

+
t.
ns

ns
t.

=1

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
1
1
1
u(x, t) = f (x + t) + f (x t) +
2
2
2

x+t

g(s)ds .

(2.6)

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
1
1
1
u(0, t) = f (t) + f (t) +
2
2
2

t
t

g(s)ds 0

t > 0 .

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
1
1
1
u(1, t) = f (1 + t) + f (1 t) +
2
2
2
34

1+t
1t

g(s)ds 0

t > 0 .

T.Leonori

Ejercicios de EDP

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 tenemos que aplicar la formula de DAlembert a (2.5) con f (x) = sen x y g = 0,
x R, as que:
u(x, t) =

1
1
sen[(x t)] + sen[(x + t)] = sen x cos t .
2
2

35

T.Leonori

Ejercicios de EDP

Ejercicio 2.4 Sea c = 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

0x

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

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+ ).

Soluci
on.
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

0x

w(x, 0) = 0,
0x

wt (x, 0) = 0,

w(0, t) = 0,

w(, t) = 0,

(2.8)

t0

t 0.

Para deducir que la u


nica solucion de (2.8) es la cero, aplicamos un metodo
de energa. Definimos la siguiente cantidad (la energa):
1
e(t) =
2

wt2 (x, t) + c2 wx2 (x, t) dx .


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
e(0) = lm+
t0

1
2

wt2 (x, t)+c2 wx2 (x, t) dx =


0

36

1
2

wt2 (x, 0)+c2 wx2 (x, 0) dx = 0 ,


0

T.Leonori

Ejercicios de EDP

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

wtt (x, t)wt (x, t) + c2 wxt (x, t)wx (x, t) dx .

e (t) =
0

Ahora en el segundo termino, aplicamos la integracion por partes, es decir

wxt (x, t)wx (x, t)dx = wt (x, t)wx (x, t)


0

wt (x, t)wxx (x, t)dx .


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

e (t) =
0

=
0

wtt (x, t)wt (x, t) c2 wxx (x, t)wt (x, t) dx


wt (x, t) wtt (x, t) c2 wxx (x, t) dx = 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

T.Leonori

Ejercicios de EDP

utt c2uxx = 0

x + ct = const.

x)

u(0, t) = 0

u(, 0) = 0

f(

x ct = const.

(0, 0)
(, 0)

Figura 2.5: El dominio de u y las rectas caractersticas (|c| < 1).


Ejercicio 2.5 Para c2 < 1, ded
uzcase una formula para la resolucion del
siguiente problema

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


0 x , t x

0x

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

ut (x, x) = 0,

u(0, t) = 0,

u(, t) = 0,

t0
t

donde f es una funci


on continua tal que f (0) = f () = 0.
Soluci
on.
38

(2.9)

T.Leonori

Ejercicios de EDP

Paso 1. Hallar la soluci


on de:

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

t (x, x) = 0,

x R, t x,
x R,

(2.10)

xR

para una funci


on : 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,
x R, t x,
t
x
(x, x) = c (x),
x R,
y

(x, t) c (x, t) = (x, t),


t
x
(x, x) = (x),
39

x R, t x,
x R.

(2.11)

T.Leonori

Ejercicios de EDP

Notese que el primer sistema es independiente del segundo, as que la estrategia 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(0, ) =
t (s, ) = 1
x(0, ) = > 0
x (s, ) = c
s>0


z(0, ) = c () .
z (s, ) = 0
Aprovechando que c = 1, deducimos que
det

1
1

1
c

= 0,

as que el sistema es compatible. Entonces


t(s, ) = s + ,
y siendo =

xct
1c

x(s, ) = cs + ,

z(s, ) = c ()

deducimos que

(x, t) = z(s(x, t), (x, t)) = c

x ct
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 caracterstica de dicha ecuacion que resultan ser:
40

T.Leonori

Ejercicios de EDP

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

z(0, ) = () .

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


z (s, ) = (x(s), t(s))

y, otra vez, el sistema es compatible siendo c = 1. Por lo tanto, resolviendo


el sistema caracterstico, resulta que

t(s, ) = s +

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

z(s, ) () =
(x(s ), t(s ))ds .
0

Desde las primeras dos ecuaciones deducimos que


s=

xt
1c

x + ct
,
1+c

as que, siendo
z(s, ) = (x(s, ), t(s, ))
deducimos que
w(x, t) =

x + ct
1+c

tx
1+c

+
0

cs +

x + ct
x + ct
,s +
1+c
1+c

ds.

Entonces aplicando esta formula al problema (2.12), deducimos que (x, t)


esta dada por

tx
1+c

x + ct
2c

s ds
1+c
1c
0
tx
1+c
x + ct
1c
x + ct
2c
c

s
1+c
2c
1+c
1c
0
1+c
1c
x + ct
x ct
=

2
1+c
2
1c

(x, t) =

x + ct
1+c

Por lo tanto, la solucion de (2.10) sera


(x, t) =

1+c

x + ct
1+c

1c

41

x ct
1c

en C1 ,

(2.13)

T.Leonori

Ejercicios de EDP

donde C1 = {(x, t) R2 : t x}.


Paso 2. Hallar la soluci
on 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}

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
u(0, t) = (0, t) =

1+c

ct
1+c

1c

ct
1c

= 0 t > 0,

+ ct
1+c

1c

ct
1c

= 0 t .

mientras que en r2 :
u(, t) = (, t) =

1+c

Por lo tanto la funcion tiene que verificar las siguientes tres condiciones:
ct
1+c
ct
=

1c
1c
1+c
+ ct
1c
ct

1+c
1+c
1c
(x) = f (x)

42

t>0
t>
0 x .

T.Leonori

Ejercicios de EDP

ct
en la primera ecuacion y s = +ct
Hallando unos cambio de variable (s = 1c
1+c
en la segunda) deducimos que

1+c
1c


s
s < 0,

1+c
1c
(s) = f (s)
(2.14)
0 s ,

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
s < 0 entonces desde la primera condicion en (2.14)
1c
(s) =
si < s

1+c

(s) =

1+c

1c
s ;
1+c

entonces desde la tercera condicion en (2.14)


(s) =

ademas, si

1+c
f
1c

s<

1+c

1c
1+c

f
1+c
1c

1c
f
1+c

2 (1 + c)s
1c

1+c
+ entonces 1c

1 c 2 (1 + c)s
1+c
1c

;
2(1+c)s
1c

=f

< 0 as que

2
+s ;
1+c

2
en cambio si 1c
< s 1+c
deducimos que 1c
s
1c
1+c
consecuentemente

1+c
1c
(s) =

f
1c
1+c

2 (1 + c) (1c)s
1+c
1c
43

=f

1+c

2
+s ;
1c

T.Leonori

Ejercicios de EDP

Por lo tanto

f
+s

1c

1c

1+c f 1+c
s

1c
(s) = f (s)

1c
2 (1 + c)s

1+c
1c

+s
f
1+c

2
1c
< s 1+c

1c

1+c
s < 0,
1c
0 s ,
<s
2

1+c

(2.15)

2
,
1+c

s<

1+c

Calculamos la funcion en dos trozos de recta mas:


2
+
si 1c
as que

1+c
1c

(s) =

2
s < 1c
entonces

1+c
1c

s
1c
1+c

2
en cambio si 1+c
+ < s
1+c
1c y consecuentemente

(s) =

1c

1+c

1+c

2c

1+c

1+c
f
1c

Por fin deducimos que la funcion (s) es una


guiente forma: par a cada j y k N

f s+j

1c

1+c
1c
2

1 cf 1 + c s + j 1 c
(s) =

2k

f
s

1+c

1c
2
1+c
2

sk

1+c
1c 1c
1+c

1+c

1c
2
s+
1+c
1+c

2
deducimos que 1c

2 (1 + c) (1c)s
1+c
1c

44

1c
1+c
s <

1c
f
1+c

2(1+c)s
1c

2
1+c

s .
1c 1c

funcion definida de la si-

si

1+c

1c

2
1+c
s + j 1c
< 1c
,

si

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

si

2
< ,
0 s k 1+c

si

2
<
s k 1+c

2
1+c

T.Leonori

Ejercicios de EDP
2
1c

1+c
1c

0
1+c
1c
f ( 1c
s)
1+c

2
+ s)
f ( 1c

2
1+c

2
1+c

1c
f ( 2(1+c)s
)
1+c
1c

f (s)

f (s

2
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
u(x, t) =

1+c

x + ct
1+c

1c

x ct
1c

en C ,

donde
C = {(x, t) R2 : t > 0 , 0 x c , t x} .
Observamos que la necesidad de hacer el primer paso es solo para construir 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

T.Leonori

Ejercicios de EDP

Manipulando las ecuaciones, deducimos que

F (s) = G(s),
para

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

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

1c

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

s0
s (1 c)
0 s (1 c)
0 s (1 c) .

Desarrollando las cuentas llegamos a que


F (s) =

1c
s

2
1c

con C 2 (R) satisfaciendo (2.14).

46

G(s) =

1+c
s
(
,
2
1+c

T.Leonori

Ejercicios de EDP

Ejercicio 2.6 Calcula u

1 3
,
2 2

si u(x, t) es la solucion de

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

u(x, 0) = 0,

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

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

0 x 1, t 0
0x1
0x1
t 0.

Soluci
on.
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

x R, t 0

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


donde

xR

u(x, 0) = 0,

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

xR

x(1 x)

0x1

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, +):
1
u(x, y) =
2

x+t

g(y)dy .
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 caracterstica que en este caso estan dada por x t = 1 y x + t = 2 (vease Figura
2.7).
47

T.Leonori

Ejercicios de EDP

t
1 3
2, 2

t=

t=

(1, 0)

(1, 0)

Figura 2.7: El cono de influencia


Entonces
1 2
1 3
1 3
,
= u ,
=
g(y)dy
2 2
2 2
2 1
1 0
1 1
1 2
=
y(1 + y)dy +
y(1 y)dy +
(y 2)(y 1)dy
2 1
2 0
2 1
u

=0 por ser g impar


1 1 3 3 2
y y + 2y
=
2 3
2

48

2
1

1
.
12

(2, 0)

T.Leonori

Ejercicios de EDP

Ejercicio 2.7 Calcula u( 14 , 32 ) si

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

u(x, 0) = 0,

ut (x, 0) = 0,

ux (0, t) = 0,

ux (1, t) = 0,

0 x 1, t > 0
0 x 1,
0 x 1,
t 0,
t 0,

Soluci
on.
La idea es parecida a la del ejercicio anterior. Pero, en este caso, hay dos dificultades 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

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


u(x, 0) = 0,

ut (x, 0) = 0,

x R, t > 0,

x R,
xR

con f de clase C 1 (R R+ ), la u
nica solucion de dicho problema tiene la siguiente forma:
u(x, t) =

1
2c

x+c(ts)

f (y, s)dyds .
0

xc(ts)

49

(2.16)

T.Leonori

Ejercicios de EDP

solucion de

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

es decir

u(x, 0) = 0,

ut (x, 0) = 0,

u(x, t) =
as que
ux (x, t) =

1
2

1
2

x R, t > 0,
x R,
x R,

x+(ts)

f (y)dyds ,
0

x(ts)

f (x + (t s)) f (x (t s)) ds .

Entonces las condiciones en la frontera del cilindro (0, 1) (0, +) son

1 t

f (t s) f ((t s)) ds = 0 ,
ux (t, 0) =
2 0
t > 0 ,
t

ux (t, 1) = 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
t

f () f () d = 0 ,

0
t > 0 .
1+t

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
3
2

1 3
1 3
1
u( , ) = u( , ) =
4 2
4 2
2

7
s
4

f (y)dyds .

54 +s

Definiendo
s

F (s) =

f ()d
0

para 2 s 2 ,
50

(2.17)

T.Leonori

Ejercicios de EDP
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 s4 + s3
F (s) = 2

12 s4 + s3

1 4
s + s3 + 12
2

1
2

si 2 s 1,
si 1 s 0,
si 0 s 1,
si 1 s 2 .

Por lo tanto, hallando la integral, deducimos que

1 3
1
u( , ) =
4 2
2

3
2

7
s
4

1 2
5
7
f (y)dyds =
[F ( + s) F ( s)]ds
2 0
4
4
0
54 +s
3
3
1 2
5
1 2
7
=
F ( + s)ds
F ( s)ds .
2 0
4
2 0
4
51

T.Leonori

Ejercicios de EDP

Calculamos las dos integrales por separado:


3
2

4
4
2
5
5
5
5
F ( + s)ds +
F ( + s)ds
F ( + s)ds =
F ( + s)ds +
1
5
4
4
4
4
0
0
4
4
1
5
4
4
5
1
5
1 5
1 5
( + s)3 + ( + s)4 ds
+ ( + s)3 ( + s)4 ds +
=
1
2
4
2 4
4
2 4
0
4
3
2
5
1 5
( + s)3 ( + s)4 ds
+
5
4
2 4
4

1 5
1
5
1
s + ( + s)4 ( + s)5
2
4 4
10 4

1
4

1
5
1 5
+ ( + s)4 + ( + s)5
4 4
10 4
3

2
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
4
5
5
8 4 10
44
10 4
4 10 4
4
10 45
4
1
1
5
9 1
5+
.
= +
8 10 4
10 45
Por el otro lado:
3
2

3
4

=
0

4
2
7
7
7
F ( s)ds =
F ( s)ds +
F ( s)ds
3
4
4
4
0
0
4
3
2
7
7
1 7
1 7
1
( s)3 + ( s)4 ds
+ ( s)3 ( s)4 ds +
3
2
4
2 4
4
2 4
4
3

4
2
1
1 7
1 7
1 7
1 7
= s ( s)4 + ( s)5 + ( s)4 ( s)5
2
4 4
10 4
4 4
10 4
3
0
4
3 1
1
1 7 4
1 7 5
1
1 1
1
1
=
+
( ) + ( ) + 5

5
8 4 10
4 4
10 4
4
10 4
4 10
1 3
3 75 11 1
= + +

.
5 8 10 45 10 45
Por lo tanto
3
2

5
7
1 2
F ( + s)ds
F ( s)ds
4
2 0
4
0
4
5
1
3 25
3 7
=
+

.
5
2
5
4
10 45

1
1 3
u( , ) =
4 2
2

52

5
4

+
1
4

T.Leonori

Ejercicios de EDP

Ejercicio 2.8 Encontrad la solucion de

utt (x, t) uxx (x, t) = sen (x),

0 < x < 1, t > 0


(2.18)

0 x 1,

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

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

t > 0.

Soluci
on.
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
u(x, t) =

1
2

x+(ts)

sin(y)dyds .
0

x(ts)

Por lo tanto la solucion de (2.18) sera u(x, t) C , es decir


u(x, t) =
=
=

1
2

1
2
t

1
sen (x)

t
0

cos x + (t s) cos x (t s) ds

cos x + (t s) cos x (t s) ds
t

sen (t s) ds =

Metodo 2. Notamos primero que sen(x)

1
sen (x)[1 cos(t)] .
2

= 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

T.Leonori

Ejercicios de EDP

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 problema (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 extension 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
v(x, t) =

1
1
1
sen (x + t) + 2 sen (x t) = 2 sen(x) cos(t) .
2 2
2

Finalmente, deshaciendo el cambio,


u(x, t) =

1
1
sen(x) cos(t) 2 sen(x) .
2

54

T.Leonori

Ejercicios de EDP

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
(x 2x3 + x)
16
y est
a en reposo (velocidad inicial nula). Analice sus vibraciones a partir de
ese momento.
u(x, 0) =

Soluci
on.
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

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

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

(2.20)

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

x R, t > 0

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


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

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

T.Leonori

Ejercicios de EDP

donde
f (x) =

5
4
3

16 (x 2x + x),

x (0, 1)

5
(x4 + 2x3 x)
16

2periodica

x (1, 0)

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
y g (0+ ) =
infinito, y tal que g(0) = g(0) = 0, g (0+ ) = g (1 ) = 16
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
1

bn =

g(x) sin(nx)dx =
1

10
16

(x4 2x3 + x) sin(nx)dx

15
(1 (1)n ) .
n5 5

Por lo tanto deducimos que la serie de Fourier de la g esta dada por


+

bn sen(nx)

g(x) =

con bn =

n=1
9

15
(1 (1)n ) .
n5 5

Aprovechamos de las siguientes integrales:


1
0
1
0
1
0
1
0

x sin(nx)dx =

sin(nx)nx cos(nx)
n2 2

= (1)
n ;

(2 2 n2 )(1)n
;
n3 3

22nx sin(nx)+(2 2 n2 x2 ) cos(nx)


n3 3

3( 2 n2 x2 2) sin(nx)nx( 2 n2 x2 6) cos(nx)
n4 4

4nx( 2 n2 x2 6) sin(nx)( 4 n4 x4 12 2 n2 x2 +24) cos(nx)


n5 5

x sin(nx)dx =
x sin(nx)dx =
x sin(nx)dx =

( 4 n4 12 2 n2 24)(1)n
n5 5

24
n5 5

56

=
0

2
n3 3

1
0

= (

n2 6)(1)n
;
n3 3
1
0

T.Leonori

Ejercicios de EDP

Por lo tanto la solucion de (2.20) tendra la forma


u(x, t) =
donde bn =

1
2

15
(1
n5 5

n=1

bn sen n(x ct) +

1
2

bn sen n(x + ct)


n=1

(1)n ) . Aprovechando que para cada , R

1
1
sen( + ) + sen( ) = sen cos
2
2
finalmente deducimos que
+

u(x, t) =
n=1

15
(1 (1)n ) sen nx cos nct
n5 5

que, opportunamente manipulada, se trasforma en


30
u(x, t) = 5

n=0

1
sen (2n + 1)x cos (2n + 1)ct .
(2n + 1)5

57

T.Leonori

Ejercicios de EDP

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 posici
on horizontal, cuyo desplazamiento y velocidad iniciales
son nulos y que est
a sometida a una fuerza externa proporcional a la distancia
a uno de sus extremos.
Soluci
on.
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:

utt (x, t) c uxx (x, t) = x,

u(x, 0) = 0,

ut (x, 0) = 0,

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

0 < x < 1, t > 0


0 x 1,
0 x 1,

(2.22)

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

x(x2 1) .
2
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
58

x = 0.
c2

T.Leonori

Ejercicios de EDP

Teniendo ademas en cuenta las condiciones en la frontera, z(x, t) es solucion


del siguiente problema:

0 < x < 1, t > 0

ztt (x, t) c zxx (x, 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 extender 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

en x R, t > 0

ztt (x, t) c zxx (x, t) = 0,


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

zt (x, 0) = 0,
x R,

donde

x(x2 1),
v(x) = 6 c2
2periodica

x (1, 1)

(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) C 2 (R), por ser
lm v (x) =

x1

= 2 = lm + v (x) .
2
x1
c
c

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 alg
un 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
2
59

(2.25)

T.Leonori

Ejercicios de EDP

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

bn = 2
6c

x(x 1) sin(nx)dx = 2
3c
1

Por lo tanto

v(x) =
n=1

2
c2 3 n 3

x(x2 1) sin(nx)dx =

2
c2 3 n3

(1)n .

(1)n sen(nx) .

Consecuentemente aprovechando (2.25), deducimos


z(x, t) =

1 2
2 c2 3

n=1

(1)n
sen n(xct) +sen n(x+ct)
n3

(x, t) C ,

y finalmente deshaciendo el cambio (2.23) obtenemos que


u(x, t) =

2
2
x(x

1)
+
6 c2
c2 3

n=1

(1)n
sen(nx) cos(n ct) .
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

T.Leonori

Ejercicios de EDP

sen(2t), calcular la solucion


Ejercicio 2.11 Para g(x, t) = A sen mx

de

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


0 x , t > 0

mx

0x

u(x, 0) = sen ,
(2.26)

0x

ut (x, 0) = 0,

u(0, t) = 0,

u(, t) = 0,

t0

t 0,

donde A, c, , R \ {0} y m Z \ {0}.


Soluci
on.
2
Supongamos que (2)2 = c2 m
.

2
Primero notamos que gtt (x, t) c gxx (x, t) = (2)2 c2
entonces si definimos
1
v(x, t) = u(x, t) +
2 g(x, t),
(2)2 c2 m

resulta que v(x, t) cumple

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

v(x, 0) = sen mx
,

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

v(0, t) = 0,

v(, t) = 0,

m 2

g(x, t),
(2.27)

0 x , t > 0
mx

0x
0x

(2.28)

t0
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

m(x ct)

x+ct
1
ms
+
sen
ds
c (2)2 c2 m 2 xct

m
m
m
2
A
m
sen
= sen
x cos
ct +
x sen
ct .
2

mc (2)2 c2 m

v(x, t) =

1
sen
2

m(x + ct)

61

1
sen
2

T.Leonori

Ejercicios de EDP

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


u(x, t) = sen

m
x

donde (2)2 c2

cos

m 2

m
2 A
m
A
ct +
sen
ct sen(2t) ,

mc

= = 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


u(x, t) = sen

mx
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) = A sen(2t)
t > 0,

T (t) + c
(2.29)

T (0) = 1 ,

T (0) = 0 .

La familia de soluciones de la ecuacion homogenea asociada a (2.29) es


T0 (t) = sen

cm
cm
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
T (t) =

A
cm
cm
cm
t cos
t + sen
t + cos
t
2cm

con , R. Finalmente la solucion de (2.29) esta dada por


T (t) =

A
cm
A2
cm
cm
t cos
t + 2 2 2 sen
t + cos
t
2cm

2c m

62

T.Leonori

Ejercicios de EDP

y consecuentemente deducimos la expresion de la solucion de (2.26):


cm
mx
A
t cos
t sen
2cm

2
A
cm
cm
sen
t + cos
t
2
2
2
2c m

u(x, t) =
mx
+ sen

63

(2.30)
.

T.Leonori

Ejercicios de EDP

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 acci
on de una fuerza periodica (F (x, t) = A sen mx
sen(2t)),

cuyo periodo de vibraci


on 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 peque
na 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 sometido a la fuerza peri
odica se va a romper cuando pase un tiempo t dependiente
del coeficiente de elasticidad de dicho cuerpo.
El ejemplo m
as 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 impresionantes!).
Por la misma raz
on 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

T.Leonori

Ejercicios de EDP

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,

u(x, 0) = 0,

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

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

0 x , t > 0
0x
0x
t 0,

est
a dada por

4k
u(x, t) = 2
c

n=1

1
na
n
nx
nct
sen
sen
sen
sen
.
2
n

Soluci
on.
El ejercicio se puede intentar de resolver con el mismo esquema de los anteriores: 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 encontrada 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 cl
asico 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

T.Leonori

Ejercicios de EDP

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 u
nica funcion 2periodica
tal que

si 0 x ,

g(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,
1
a0 =
g(x)dx = 0 ,

siendo g impar. Ademas, por la misma razon,


an =

g(x) cos

nx
dx = 0 ,

y finalmente
bn =
=

g(x) sin

nx
dx

nx
2k a+
nx
dx =
sin
dx

2k
cos n (a + ) + cos n (a )
=
n

g(x) sin
0

a+

2k
nx
=
cos
n

Teniendo en cuenta que


, R

cos( ) cos( + ) = 2 sen sen

deducimos
bn =

4k
sen
n

na

66

sen

(2.31)

T.Leonori

Ejercicios de EDP

Por lo tanto la funcion g(x) tiene su expresion como serie de Fourier data
por

na
n
nx
4k
sen
sen
sen
.
g(x) =
n

n=1
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
u(x, t) =
=

1
2c

x+ct
xct

n=1

4k
sen
n

1 x+ct
g(y)dy
2c xct
na
n
ny
sen
sen
dy .

Hacemos ahora otro paso formal, es decir supongamos que podemos llevar la
integral al interior del smbolo de suma: por lo tanto tenemos que
2k
u(x, t) =
c
2k
=
c
2k
= 2
c

n=1

n=1

1
sen
n2

n=1

1
sen
n

1
sen
n2

na

sen

na

na

sen
sen

cos

x+ct

sen
xct

cos

ny
dy

ny

x+ct

.
xct

n(x + ct)
n(x ct)
+ cos

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


4kl
u(x, t) = 2
c

n=1

1
sen
n2

na

sen

67

sen

ctn

sen

nx
.

T.Leonori

Ejercicios de EDP

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,


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

ut (x, 0) = (x),
si x R.
Consideremos

K(t) =

1
2

1
V (t) =
2

u2t (x, t) dx

(Energa cinetica),

u2x (x, t) dx

(Energa potencial).

Probad
1. La funci
on E(t) := K(t) + V (t) es constante.
2. Existe t0 dependiente de y tal que K(t) = V (t), para todo t t0 .
Soluci
on.
Por la formula de DAlembert (vease (2.1)), la solucion de (2.32) esta data
por:
u(x, t) =

1
1
[(x + t) + (x t)] +
2
2

x+t
xt

(s)ds, x R, t 0. (2.33)

1) Si fijamos t 0, observamos que


(x + t) = 0

if

x t + sop

(x t) = 0

if

x t + sop .

y analogamente

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

T.Leonori

Ejercicios de EDP

Analogamente, como el soporte de esta acotado,


+

xt

(s)ds =

(s)ds = 0,

x+t

para todo x t + nf sop y


+

(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
+

x+t

(s)ds =

(s)ds,

xt

para todo |x| x0 . As que


+

u(x, t) =

(s)ds = cte,

|x| x0

(2.34)

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

ut utt + ux uxt dx

ut uxx + ux utx dx

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

T.Leonori

Ejercicios de EDP

2) Gracias a (2.33), deducimos que


ut (x, t) =

1
1
[ (x + t) (x t)] + [(x + t) + (x t)]
2
2

1
1
[ (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) = ,
ux (x, 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

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

0,
en otro caso,

1
1

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


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

0,
en otro caso.

Consecuentemente, si t t0 , ux (x, t)2 = ut (x, t)2 para todo x R y as


K(t) =

1
2

u2t (x, t) dx =

para todo t t0 .
70

1
2

u2x (x, t) dx = V (t),

T.Leonori

Ejercicios de EDP

Ejercicio 2.14 Hallad la soluci


on de:

en R3 (0, +)

utt u = 0
en R3 {0}

u(x, 0) = 0

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

en R3 {0}

Soluci
on.
Para el calculo de dicha solucion necesitamos aplicar la formula de PoissonKirchoff 10 que representa la extension de la formula de DAlembert en dimension 3. En consecuencia
u(x, t) =

t
|Bt (x)|

e|y| dSy
Bt (x)

que con el cambio y = x + tz se transforma en


u(x, t) =
donde x =

t (|x|2 +t2 )
e
4
x
.
|x|

e2t xz dSz =
B1 (0)

t (|x|2 +t2 )
e
4

e2t |x| xz dSz ,


B1 (0)

Sin perder generalidad, se puede suponer que x = e1 |x|, as que


u(x, t) =

t (|x|2 +t2 )
e
4

e2t |x| z1 dSz .

(2.35)

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 u


nica
solucion de

en R3 (0, +)
utt c u = 0

en R3 {0}

u(x, 0) = f (x)

en R3 {0}

ut (x, 0) = g(x)

con f C 2 (R3 ) y g C 1 (R3 ). La soluci


on se escribe de la siguiente forma:
u(x, t) =

t |Bct (x)|

f (s)dSx +
Bct (x)

t
|Bct (x)|

donde Br (x) = {y R3 : |y x| = r} y |Br (x)| = 4r2 .

71

g(s)dSx ,
Bct (x)

T.Leonori

Ejercicios de EDP

donde
(z1 , z2 , z3 ) : z3 =

1 z12 z22

(z1 , z2 , z3 ) : z3 =

1 z12 z22

1 =
y
2 =

Entonces
e2t |x| z1
e2t |x| z1 dSz =
dz1 dz2
1 z12 z22
1
z12 +z22 1
1z12
1
e2t |x| z1
=
dz1 dz2

2
2
1

z
1z12
0
1
2
2
1
1z1
dz2
dz1 .
=
e2t |x| z1
2
1 z12 z22
1z1
0

e2t |x| z1 dSz = 2


B1 (0)

La integral entre parentesis admite una familia de primitivas explcitas:


dz2
1 z12 z22

dz2

=
1

con el cambio s =
=

z2

z12

ds =

(1z12 ) 2

ds
= arc sen s = arc sen
1 s2

Entonces:

B1 (0)

e2t |x| z1 arc sen

1
0

(1 z12 ) 2

Finalmente, sustituyendo en (2.35), llegamos a

72

senh (2t|x|)
.
2|x|

1z12

dz1
1z12

e2t |x| z1 dz1


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|

2 +t2 )

C R.

z2

e2t |x| z1 [arc sen 1 arc sen(1)]dz1 = 2

u(x, t) = e(|x|

+ C,

(1 z12 ) 2

=2

dz2

(1z12 ) 2

z2

e2t |x| z1 dSz = 2

z22
1z12

T.Leonori

Ejercicios de EDP

73

T.Leonori

Ejercicios de EDP

74

Ecuaci
on 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,
Soluci
on.

11

11

Recordamos que gracias a la f


ormula de Poisson, data una funcion g(x) C 0 (RN ),
|x|2
N 1, tal que g(x) Ce
, para C, > 0, entonces la funcion
u(x, t) =

1
(4t)

N
2

|xy|2
4t

g(y)dy .

RN

es tal que:
u(x, t) C 0 (RN [0, +)) C 2 (RN (0, +));
cumple
ut (x, t) u(x, t) = 0,
u(x, 0) = g(x),

75

x RN , t > 0,
x RN .

T.Leonori

Ejercicios de EDP

1. Para este apartado no necesitamos la formula de Poisson. En efecto, observamos 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

(s + es )ds =

u(x, t) = 2 +
0

t2
+ et + 1.
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),
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(x, t) = S(x, t) sen x =
Entonces
u(x, t) = t3 +

1
4 t

76

1
4 t
e

|xy|2
4t

sen(y)dy

|xy|2
4t

sen(y)dy .

T.Leonori

Ejercicios de EDP

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

y la solucion es A(t) =

et +et
.
2

u(x, t) =

Por lo tanto

et + et
cos x = cosh t cos x .
2

Es sencillo verificar que las soluciones encontradas cumplen los problemas


propuestos.

77

T.Leonori

Ejercicios de EDP

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

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

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

(3.1)

donde f (x, t) C 0 ((0, )(0, +)), g(x) C 0 (0, ), (t), (t) C 0 (0, +).

Soluci
on.
Supongamos por contradiccion que (3.1) tenga dos soluciones u1 y u2 y sea
w = u1 u2 . Entonces w(x, t) cumple

0 x , t > 0

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


0x

w(x, 0) = 0

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

t > 0.

Definimos la siguiente funcion de una variable real:


1
2

e(t) =

w2 (x, t)dx .
0

Primero observamos que


lm+

t0

1
2

w2 (x, t)dx =
0

1
2

w2 (x, 0)dx = 0.
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; entonces 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 si
no de integral, as que

e (t) =

w(x, t)wt (x, t)dx .


0

78

T.Leonori

Ejercicios de EDP

Utilizando la ecuacion satisfecha por w, sale

e (t) =

w(x, t)wxx (x, t)dx ,


0

e integrando por partes, aprovechando ademas las condiciones en la frontera,


x=

e (t) = w(x, t)wt (x, t)


x=0

wx (x, t)wx (x, t)dx =

wx2 (x, t)dx 0 .

Por lo tanto e(t) 0 y consecuentemente w(x, t) 0, que implica u1 (x, t)


u2 (x, t).

79

T.Leonori

Ejercicios de EDP

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
v 2 (x, t) + vx2 (x, t) + vt2 (x, t) dx < +

lm v(x, t) = 0 , t > 0 .

|x|

Soluci
on.
Supongamos que el problema tenga dos soluciones u1 y u2 , y sea w = u1 u2 .
Entonces w(x, t) 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
0=
R

wt (x, t)w(x, t)dx

wxx (x, t)w(x, t)dx


R

e integrando por partes nos sale


0=

wx2 (x, t)dx ,

wt (x, t)w(x, t)dx +


R

donde hemos utilizado ademas que lm w(x, t)wx (x, t) = 0. Ahora integrax

mos la anterior identidad entre 0 y t, para cualquier t > 0,


t

0=

ws (x, s)w(x, s)dxds+


0

wx2 (x, s)dxds

ws (x, s)w(x, s)dxds .


0

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
1
0
2

[w2 (x, s)]s dsdx =


R

1
2

w2 (x, t)dx
R

1
2

w2 (x, 0)dx =
R

1
2

w2 (x, t)dx ,
R

siendo w(x, 0) 0. Consecuentemente deducimos que w(x, t) 0, x R y


t > 0, que contradice u1 = u2 .
80

T.Leonori

Ejercicios de EDP

Ejercicio 3.4 Sea f : R R una funcion continua y acotada tal que existen:
f () = lm f (x),

f (+) = lm f (x).

x+

Probad que la u
nica soluci
on acotada u(x, t) del problema de Cauchy:
ut uxx = 0,
(x R, t > 0),
u(x, 0) = f (x), (x R),
satisface:
lm u(x, t) =

t+

f () + f (+)
.
2

Soluci
on.
Calculamos la solucion utilizando al formula de Poisson:
u(x, t) =

1
4t

|xy|2
4t

f (y)dy

(x y)
2 t
2
y dy = 2 tdy =
con el cambio z =
ez f (x 2 tz)dy
2 t
4t R
0

1
2
2
=
ez f (x 2 tz)dy .
ez f (x 2 tz)dy +
0

Ahora queremos calcular


1
lm u(x, t) = lm
t+
t+

2
ez f (x 2 tz)dy +

2
ez f (x 2 tz)dy ;

gracias al teorema de Lebesgue (aqu se utiliza que f es acotada) deducimos


lm u(x, t)

lm f (x 2 tz)dy +
t+

1
2
ez
=
t+
0
f () z2
f (+)
=
e dy +

ya que

ez dz =

ez

t+

ez dy =

ez dz =
0

81

1
2

lm f (x 2 tz)dy

f (+) + f ()
,
2

ez dz =
R

1
.
2

(3.2)

T.Leonori

Ejercicios de EDP
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
puede calcular su integral en todo el eje. Sea r = x2 + y 2 y consideramos
la integral:
+

ex

2 y 2

dxdy .

Cambiando a polares deducimos que


+

ex

2 y 2

rer drd,

dxdy =
0

donde la r que aparece en la integral es debida al cambio de diferencial. Por


lo tanto
+

x2 y 2

dxdy = 2

re

r2

dr = e

r 2

= .
0

Por otro lado,


+

ex

2 y 2

As deducimos que

ex dx

dxdy =

ey dy

ex dx =

y aprovechando que e

x2

es una funcion par sale (3.2).

82

ex dx

T.Leonori

Ejercicios de EDP

M
etodo 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,

u(0, t) = 0,

u(, t) = 0,

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

0 < x < L, t > 0,


t 0,
t 0,
0 x L.

(3.3)

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]

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
83

t>0

T.Leonori

Ejercicios de EDP

para alg
un R.
Ahora a
nadimos 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

T (0) = 1 .

(3.5)

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

n N.

2 2

En otras palabras, = nL2 , con n N es una sucesion de valores propios


para el operador menos derivada segunda y sen nx
es la autofuncion
L
asociada a dicho valor proprio.
Consecuentemente deducimos que la solucion de (3.5) esta dada por
T (t) = e

n2 2
t
L2

t > 0.

12

N
otese que si fuese positivo tendramos que la solucion general de la ecuacion diferencial en (3.4) vendra data por
X(x) = Ae

+ Be

para A, B R, que es incompatible con las condiciones X(0) = X(L) = 0.

84

T.Leonori

Ejercicios de EDP

Por lo tanto para A R y n N, u(x, t) = A sen


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

nx
L

n2 2
t
L2

es la solucion

, para alguAdemas si f (x) es una combinacion lineal (finita) de sen nx


L
nos valores de n N, entonces la solucion, dada la linealidad de la ecuacion
nx
L

del calor, es una combinacion lineal de sen

n2 2
t
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 explicado previamente funciona tambien si consideramos una combinacion lineal
infinita de sen nx
como dato inicial.
L
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 extenderse a una funcion fimp (x) continua en (L, L), 2Lperiodica e impar.
Por lo tanto fimp (x) admite un desarrollo en Serie de Fourier:
+

bn sen

fimp (x) =
n=1

con
bn =

2
L

f (x) sen
0

nx
L

(3.6)

nx
.
L

Ademas la funcion definida por


+

bn sen

u(x, t) =
n=1

nx n2 2 2 t
e L
L

(3.7)

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
+

n=1

|bn |n2 e

n2 2
t
L2

< + ,

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

T.Leonori

Ejercicios de EDP

Ademas, calculando u(x, t) para t = 0, deducimos que


+

bn sen

u(x, 0) =
n=1

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

T.Leonori

Ejercicios de EDP

Ejercicio 3.5 Considerese la funcion f : [0, ] R dada por


f (x) =

si x [0, /2],
si x [/2, ].

x,
x,

Encontrad una expresi


on para la solucion

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

u(0, t) = 0,

u(, t) = 0,

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

del problema:
0 < x < , t > 0,
t 0,
t 0,
0 x .

Soluci
on.
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
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
bn =
=

f (x) sen(nx)dx =

x sen(nx)dx +

f (x) sen(nx)dx
0

x sen(nx)dx .

Calculamos una primitiva de la funcion integrando por partes


s sen(ns) =

1
1
sen(ns) s cos(ns) + c ,
2
n
n

mientras con un calculo directo nos sale que


1
sen(ns) = cos(ns) + c
n
87

c R.

c R,

T.Leonori

Ejercicios de EDP

Consecuentemente

2
2
2 2
x sen(nx)dx +
sen(nx)dx
x sen(nx)dx
bn =
0
2
2

2
2 1
1
1
2 1
=
sen(nx)

x
cos(nx)
sen(nx)

x
cos(nx)

n2
n
n2
n

0
2

2
+
cos(nx)

2 1
n
n
n
1

+ 1 sen

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

2
2
n
2
2n
2
n
n
n
2

n
n

cos(n)

cos
cos

2n
2
n
n
2

2
n
.
= 2 sen
n
2
Entonces
bn =

2
n2

si n es par,
1

n1
2

si n es impar.

Manipulando los coeficientes obtenemos que la solucion generalizada esta dada por
+
2
1
2
u(x, t) =
sen((2n + 1)x)e(2n+1) t .
2
n=1 (2n + 1)

88

T.Leonori

Ejercicios de EDP

Ejercicio 3.6 (Barra con un extremo a temperatura 0 y el otro aislado


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

0 < x < /2, t > 0,


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

u(x, 0) = f (x),
0 x /2.

donde f C 1 ([0, /2]), con f (0) = 0 = f (/2).

Soluci
on.
Este ejercicio es parecido al anterior. En este caso tambien buscamos una
solucion aprovechando que el dato inicial es una funcion que admite un desarrollo 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

u(x, t) =

bn en t sen(nx)

n=1

donde
1
bn =

2
fimp (x) sen(nx)dx =

4
f(x) sen(nx)dx =

89

f (x) sen(nx)dx ,

T.Leonori
siendo

Ejercicios de EDP

1
an =

por ser fimp (x) impar.

fimp (x) cos(nx)dx = 0

90

n 0 ,

T.Leonori

Ejercicios de EDP

Ejercicio 3.7 Una funci


on V : [0, L] R se llama temperatura de equilibrio cuando:
lm [u(x, t) V (x)] = 0, x [0, L].
t+

Probad que la soluci


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

0 < x < L, t > 0,


ut (x, t) uxx (x, 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) = .

Soluci
on.
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 ,
=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

T.Leonori

Ejercicios de EDP

as que z(x, t) es solucion de

zt (x, t) zxx (x, t) = 0,


z(0, t) = 0 = z(L, t)

z(x, 0) = f (x) V (x),


Observamos que
f (x) V (x)

x=0

= f (0) = 0

0 < x < L, t > 0,


t 0,
0 x L,
f (x) V (x)

x=L

(3.9)

= f (l) = 0 .

Entonces f (x) admite un de desarrollo en serie de Fourier de la forma

z(x, 0) =

An sen

n=1

nx
L

donde

nx
2 L
dx .
f (x)
x sen
0
L
L
Ahora nos podemos utilizar que la solucion de (3.9) es
An =

z(x, t) =

An sen

n=1

nx n2 2 2 t
e L .
L

Puesto que f es de clase C , deducimos que

n=1

|An | < +

y consecuentemente
|z(x, t)|

An sen

n=1

nx n2 2 2 t
e L

L
2
2 t
L

An e

n2 2
t
L2

n=1

An .

n=1

Por lo tanto,
lm |z(x, t)| = 0 ,

t+

x (0, L) ,

y consecuentemente
lm z(x, t) = lm

t+

t+

u(x, t) V (x) = 0 ,

que prueba que V (x) es la temperatura de equilibrio.


92

x (0, L) ,

T.Leonori

Ejercicios de EDP

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 funci
on V (x), soluci
on del problema:

V (x) = g(x),
V (0) = , V (L) = ,

0 < x < L,

es una temperatura de equilibrio.


Soluci
on.
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 u
nica solucion del problema

zt (x, t) zxx (x, t) = 0,


0 < x < L, t > 0,

z(0, t) = 0
t 0,

z(L, t) = 0,
t 0,

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

(3.10)

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

n 2

bn e( L ) t sen

n=1

donde
bn =

2
L

L
0

nx
L

nx
f(x) sen(
)dx .
L
93

T.Leonori

Ejercicios de EDP

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
lm z(x, t) = lm

t+

t+

n 2

bn e( L ) t sen(

n=1

Por lo tanto
lm u(x, t) = V (x) .

t+

94

2
nx
) = lm e( L ) t
bn = 0 .
t+
L
n=1

T.Leonori

Ejercicios de EDP

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:

0 < x < L, t > 0,


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

u(x, 0) = f (x),
0 x L.
no tiene soluci
on de equilibrio. Estableced una condicion que deben verificar
, , g, L para la existencia de una solucion de equilibrio.

Soluci
on.
Empezamos observando varias cosas.
Primero, no es obvio que el problema tenga una temperatura de equilibrio.
Por lo visto, el problema

0 < x < L, t > 0,


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

u(x, 0) = 0,
0 x L.
(es decir (3.11) con g(x) = 1 y f (x) = = = 0) tiene como u
nica solucion
u(x, t) = t
y
lm u(x, t) = + .

t+

Ademas u(x, t) es la u
nica 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

0 < x < L, t > 0,


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

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:
L

zx2 (x, t)dx =

zt (x, t)z(x, t)dx+


0

1
2

95

[z 2 (x, t)]t dx+


0

zx2 (x, t)dx = 0 .


0

T.Leonori

Ejercicios de EDP

Integrando esta identidad con respecto a t entre 0 y un > 0 deducimos que


1
2

1
=
2

1
=
2

zx2 (x, t)dxd


0

zx2 (x, t)dxd

[z (x, t)]t dxd +


0

1
z (x, )dx
2

[z 2 (x, t)]t dxd +

zx2 (x, t)dxd = 0 ,

z (x, 0)dx +
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,
vx (0) = , vx (L) = ,

(3.14)

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

0 < x < L, t > 0,


wt (x, t) wxx (x, t) = 0,
wx (0, t) = 0, wx (L, t) = 0, t 0,

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

(3.15)

T.Leonori

Ejercicios de EDP

Por lo tanto, adaptando el metodo explicado previamente para problemas


con condiciones de Dirichlet, la u
nica solucion de (3.15) esta data por
+

n x ( n )2 t
a0
an cos
+
e L
2
L
n=1

w(x, t) =
donde

2
L

an =

cos
0

n x
w(x, 0)dx
L

n 0,

Siendo w(x, 0) C 1 [0, L] entonces


|w(x, t)

a0
|
2

n=1

|an | a < y por lo tanto

2
n x ( n )2 t
e L ae L2 t ,
L

an cos
n=1

as que, acordando que


a0 =

2
L

w(x, 0)dx =
0

2
L

[f (x) v(x)]dx .

tenemos que
lm w(x, t) =

t+

a0
2

uniformemente con respecto a x [0, L] .

(3.16)

Notese que la solucion v(x) de (3.14) no es u


nica, sino es u
nica 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
L

v(x)dx =
0

f (x)dx ,
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 temperatura de equilibrio es la existencia de una solucion para (3.14).
97

T.Leonori

Ejercicios de EDP

Cuando es posible encontrar dicha solucion?


Supongamos que (3.14) tenga una: si integramos la ecuacion arriba entre
0 y L obtenemos
L
0

g(x)dx =

vxx (x)dx = vx (L) + vx (0) = + .

Entonces una condicion necesaria para que exista l a temperatura de equilibrio es que
L

g(x)dx = .

Por otro lado, cada solucion de la ecuacion en (3.14) tiene la forma


x

v(x) =

(g(s))dsdy + h(x) ,
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
L

v (L) =

(g(s))ds + h (L) = .
0

Esto implica, desde la primera condicion, que


a=
y desde la segunda
L
0

g(s)ds = .

(3.17)

Por lo visto, la condicion de compatibilidad (3.17) es necesaria y suficiente para 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

T.Leonori

Ejercicios de EDP

Ejercicio 3.10 Obtened una expresion para la solucion del problema:

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


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

u(x, 0) = sen(x),
0 x .

Soluci
on.
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

0 < x < , t > 0,


zt (x, t) zxx (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 consecuentemente de u(x, t)) hay que desarrollar z(x, 0) en serie de Fourier. Notese que
2
bn =

1
1 (1)n
[ x(x ) sen(nx)]dx = 2
2
n3

entonces
+

z(x, t) =

1 (1)n n2 t
2
+ 1 et sen(x) +
e
sen(nx)
3

n
n=2

y consecuentemente
2
1
2
u(x, t) = x(x ) +
+ 1 et sen(x) +
2

1
2
4
= x(x ) +
+ 1 et sen(x) +
2

99

n=2
+

n=1

1 (1)n n2 t
e
sen(nx)
n3
2

e(2n+1) t
sen((2n + 1)x) .
(2n + 1)3

T.Leonori

Ejercicios de EDP

100

Ecuaciones Elpticas
Ejercicio 4.1 Sea N 2 y = {x RN : 1 < |x| < 2}. Calculad la
soluci
on del problema

x ,

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

u(x) = 0,

u(x) = 1,

|x| = 2.

Soluci
on.
Buscamos una solucion radial del problema. Observemos que la solucion es
u
nica gracias al principio del maximo.
Supongamos que u(x) = v(|x|) = v(r), donde
N

x2j .

|x| = r =
Siendo

j=1

x2i xi u(x) ,

u(x) =
i=1

empezamos calculando xi u(x) para alg


un i entre 1 y N . As tenemos que
xi u(x) = xi v(r) = v (r)xi r
y como
N
j=1

xi r = xi
=

1
2

1
xi

N
j=1

x2j

x2j =

1
2
xi

2xj i,j =

101

1
N
j=1

xi
,
r

x2j

xi

N
j=1

x2j

si r = 0 ,

T.Leonori

Ejercicios de EDP

siendo i,j la Delta de Kroneker (es decir i,j = 1 si i = j y i,j = 0 si i = j),


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

xi
r

xi
x2i
1
x2i
1

+ v (r) v (r) 2 xi r = v (r) 2 + v (r) v (r) 3 .


r
r
r
r
r

Por lo tanto
N

x2i xi u(x)

u(x) =
i=1
N

x2
1
x2
=
v (r) 2i + v (r) v (r) 3i
r
r
r
i=1
2
2
r
N
N 1
r

= v (r) 2 + v (r) v (r) = v (r) +


v (r) .
r
r
r
r3

Entonces el Laplaciano en polares esta dado por


N 1
v (r)
(4.1)
r
para cada r > 0, N 1. Muchas veces sera comodo escribir el Laplaciano en
polares en su forma compacta:
u(x) = v (r) +

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

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

r
v(1) = 0,

v(2) = 1,

102

T.Leonori

Ejercicios de EDP

con u(x) = v(r) y r =

N
i=1

x2i

1
2

. Consecuentemente v(r) cumple

rN 1 v (r) = c1 ,
con c1 una constante arbitraria.
Supongamos que N = 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,
2
2N
c1 22N + c2 = 1,
2N

lo cual implica

1
1
r2N +
.
2N
12
1 22N
En el caso N = 2, repitiendo los argumentos anteriores, deducimos que
v(r) =

v(r) =

log r
.
log 2

103

T.Leonori

Ejercicios de EDP

Ejercicio 4.2 Resolved el problema

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

|x| < R = BR (0),


|x| = R,

(4.2)

con x RN , N 1.

Soluci
on.
Buscamos una solucion radial: si la encontramos, por el principio de comparacion es la u
nica 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 u
ltima 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

sN 1 v (s)

=
0

1 N
s
N

,
0

es decir

1
r.
N
Integrando otra vez entre r (0, R) y R llegamos a
v (r) =

v(R) v(r) =

1
(R2 r2 ) ,
2N

104

T.Leonori

Ejercicios de EDP

y consecuentemente

1
(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 ,
xi
1
xi u(x) = xi
(R2 |x|2 ) = ,
2N
N
y entonces
1
1
x2i xi u(x) = xi xi = .
N
N
Por lo tanto
u(x) =

u(x) =

i=1

x2i xi u(x) =

y entonces u(x) es solucion de (4.2).

105

i=1

1
= 1,
N

T.Leonori

Ejercicios de EDP

Ejercicio 4.3 Dados R2 > R1 > 0 y , R,

u(x) = ,
R1 <

u(x)
= ,
n

u(x) = ,
n

resuelve el problema
|x| < R2 ,
|x| = R1

(4.3)

|x| = R2 ,

con x RN , N 1.

Soluci
on.
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 ) =

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
R2N 1 v (R2 ) + R1N 1 v (R1 ) =

N
(R R1N ) ,
N 2

que implica la siguiente relacion entre , , R1 y R2 :


[R2N 1 + R1N 1 ] =

N
(R2 R1N ) .
N

(4.5)

Para calcular explcitamente la solucion de (4.3), integramos la identidad


(4.4) entre r (R1 , R2 ) y R2 , as que
v (r) =

R2N 1

R2

+
(R2N rN ) = r1N R2N 1 +
r.
N
1
N
1
r
Nr
N
N
106

T.Leonori

Ejercicios de EDP

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
v(r) =

2
1
N
R2 + R2N 1 r2N
r +C,
2N N
2N

C R,

mientras que si N = 2
v(r) =

R2 + R2 log r r2 + C ,
2
4

C R.

En ambos casos y verifican la identidad (4.5).


Se puede facilmente verificar que la funcion encontrada verifica el problema propuesto.

107

T.Leonori

Ejercicios de EDP

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.

Soluci
on.
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

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

(r
v (R) = ,

v (0) = 0 .

Integrando entre 0 y r la ecuacion satisfecha por v, deducimos que


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

N
r ,
N

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


v(r) =

2
r +c
2N

con = N R y c una constante arbitraria (es decir que el problema es


invariante con respecto a traslaciones verticales).

108

T.Leonori

Ejercicios de EDP

Ejercicio 4.5 Sea RN abierto, acotado y regular y f C 1 (). Probad


que una condici
on necesaria para la existencia de solucion del problema

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

f (x) dSx = 0.

Soluci
on.
El ejercicio es una aplicacion del Teorema de la Divergencia 13 . Si integramos
la ecuacion satisfecha por u(x) en , nos sale que
0=

u(x)dx =

div u(x)dx =

u
dSx .
n

Utilizando ahora las condiciones en la frontera de , la u


ltima integral es
igual a la integral en en la frontera de f , y as la condicion
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
div F dx =

siendo n la normal exterior a .

109

F n dSx ,

(4.6)

T.Leonori

Ejercicios de EDP

Ejercicio 4.6 Sea RN abierto, acotado y regular y f C 1 () y g


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

u(x) = g(x),
x ,
u (x) = f (x),
x ,
n
pueda tener soluci
on u C 2 ().

2. Probad que si existe dicha solucion y es conexo, esta es u


nica salvo
constantes aditivas.
Soluci
on.
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

g(x)dx =

u(x)dx =

u
(x)dSx =
n

f (x)dSx

es decir que la condicion necesaria resulta ser


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

T.Leonori

Ejercicios de EDP

verificada por v(x) por v misma e integramos en , as que, aplicando


la integracion por partes
0=

v(x)v(x)dx =

|v(x)|2

v(x) div v(x)

v(x)

v
(x) .
n
=0

Por la condicion

|v(x)|2 = 0

deducimos que |v(x)| 0 y consecuentemente la (eventual) solucion


del problema es u
nica salvo constante.

111

T.Leonori

Ejercicios de EDP

Ejercicio 4.7 [Teorema de Liouville] Probad que toda funcion armonica


en RN acotada superiormente (o inferiormente) es constante.
Soluci
on.
Para este ejercicio vamos a utilizar unas propiedades de las funciones armonicas: la propiedad de la media. 14 Supongamos que u sea superiormente acotada: 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)
0 v(x0 ) =
=

1
|BRn (x0 )|

2N
|B2Rn (x0 )|

B2Rn (xn )

BRn (x0 )

v(y)dy

1
|BRn (x0 )|

v(y)dy = v(xn ) 0

v(y)dy
B2Rn (xn )

cuando n + .

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 siguiente:
Una funci
on u(x) definida en RN es arm
onica si para cada x y cada r tales que
Br (x) se verifica
u(x) =

1
|Br (x)|

u(y)dSy =
Br (x)

N
|Br (x)|

u(y)dy .

(4.7)

Br (x)

Recordamos que |Br (x)| = N rN mientras que |Br (x)| = N N rN 1 , donde N es |B1 | =
N .

112

T.Leonori

Ejercicios de EDP

Ejercicio 4.8 [Teorema de convergencia de Harnack] Probad que el


lmite uniforme en compactos de funciones armonicas en un abierto es una
funci
on arm
onica en .
Soluci
on.
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
un (x0 ) =

1
|Br (x0 )|

un (y)dy .

(4.8)

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

T.Leonori

Ejercicios de EDP

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

|u|2

|u|2 +

1
4

u2 .

Soluci
on.
Dado que el abierto es regular, podemos integrar por partes y deducir

|u|2 =

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+


ab

1 p
1
a + bp
p
p

114

con

1
1
+
= 1.
p p

T.Leonori

Ejercicios de EDP

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 s
olo de N ,K y ) tal que
max u(x) C mn u(x),
xK

xK

para toda funci


on no-negativa y armonica en .

16

Soluci
on.
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 Figura 4.10). Entonces, siendo u no negativa para cualquier x1 y x2 Br (x0 )
resulta:
u(x1 ) =

1
|Br (x1 )|

Br (x1 )

u(x)dx

1
|Br (x1 )|

u(x)dx ,
B2r (x0 )

y
u(x2 ) =

1
|B3r (x2 )|

B3r (x1 )

u(x)dx

1
|Br (x2 )|

u(x)dx .
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 hip


otesis conexo es necesaria. Supongamos que el abierto tuviese dos
componentes conexas 1 y 2 . Entonces para la funcion
u(x) =

si x 1 ,
si x 2 ,

1
0

la desigualdad de Harnack no es cierta en (pero si que es cierta en cada componente


conexa).

115

T.Leonori

Ejercicios de EDP

x1
x0
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

T.Leonori

Ejercicios de EDP

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 cualquier 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 = . Por lo tanto
es sencillo probar 17 que
Mi mi+1

i = 1, ..., j 1 .

Juntando (4.9) y (4.10) deducimos


M1 3 j

m.

17

Mi = m
ax u
i

Br

m
ax u

i+1

B r B r

mn

i+1

B r B r

117

u mn u = mi+1 .
i+1

Br

(4.10)

T.Leonori

Ejercicios de EDP

xM

xm

Figura 4.11: El metodo de recubrimiento de la curva .

118

T.Leonori

Ejercicios de EDP

Ejercicio 4.11 [Teorema de compacidad de Harnack] Sea un abierto y conexo en RN y {un } una sucesion de funciones armonicas en verificando
1. Existe una funci
on u0 arm
onica 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-Arzel`a) que existe una subsucesion {unk }
que converge uniformemente en compactos de .
Soluci
on.
Paso 1. Probamos que si u es armonica en , entonces
|uxi |

CN
u
rN +1

L1 (Br )

para cada Br y cada i = 1, . . . , N y donde CN > 0.


Gracias a la propiedad de la media la u esta dada por
u(x) =

N 2N
N rN

u(y)dy .
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 ,
N 2N
N rN

uxi (x0 ) =

uyi (y)dy .
B r (x0 )
2

Entonces, gracias al teorema de Gauss,


|uxi (x0 )| =
N 2N
=
N rN

N 2N
N rN

uyi (y)dy
B r (x0 )

u(y)ni dSy
B r (x0 )
2

119

(4.11)

2N

u
r

L1 (B r (x0 ))
2

T.Leonori

Ejercicios de EDP

Observamos ademas que para cada y B r2 (x0 ), resulta que B r2 (y)


Br (x0 ) as que
|u(x)|

2
r

1
u
N

L1 (Br (x0 ))

y utilizando esta desigualdad en (4.11), deducimos que


|uxi (x0 )|

CN
u
rN +1

L1 (Br (x0 ))

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 argumento de recubrimiento de K deducimos que
u xi

L (K)

C u

L1 (K)

con C = C(K) .

para cada K .
Paso 3. Conclusi
on.
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-Arzel`a 18 nos permite concluir la prueba.

18

El teorema de Ascoli-Arzel`a nos dice lo siguiente:


Sea {un } una sucesi
on 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. (equiacotaci
on) M > 0 such that supK |un (x)| M , n.
Entonces existe una subsusesi
on unk que converge uniformemente en K.

120

T.Leonori

Ejercicios de EDP

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 n
ucleo de Poisson
para la ecuaci
on 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

Soluci
on.
(a) Dado P = (x, y) R2+ , definimos P = (x, y). Puesto que P R2+ ,
tenemos que la solucion fundamental
v(z, w) = E(z x, w + y) =

1
log
2

(centrada en P ) verifica
2
2
v(z, w) + v(z, w) = 0,
z 2
z 2

v(z, 0) = E(z x, y),


121

(z x)2 + (w + y)2

(z, w) R2+ ,
z R.

T.Leonori

Ejercicios de EDP

Por tanto, hP (z, w) = E(z x, w + y) verifica

(z, w) R2+ ,
(z,w) hP (z, w) = 0,
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)


=

1
log
2

(z x)2 + (w y)2
(z x)2 + (w + y)2

Para calcular el n
ucleo de Poisson K((x, y), (z, w)) = G((x,y),(z,w))
, usamos
n
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):
+
y
2

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

u(x, y) =

ex2 ,
y = 0.

Claramente, u es positiva y por el principio del maximo:


max u(x, y) =

0x,y1

max

(x,y)([0,1][0,1])

y es facil probar que este u


ltimo vale 1.

122

u(x, y)

T.Leonori

Ejercicios de EDP

Ejercicio 4.13 Para N 3, calculad la funcion de Green para la ecuacion


de Laplace en
= {x RN : |x| < R, xN > 0}.
Soluci
on. 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 , 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),

(4.12)

Recordando (vease el calculo de la funcion de Green para una bola B(0, R))
que
RN 2
1
=
, y B(0, R),
N
2

N
2
|x|
|x y|
|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

T.Leonori

Ejercicios de EDP

implica
= =
= 1.

RN 2
(N 2)N |x|N 2

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:


G(x, y) =

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

RN 2
1
RN 2

+
.
|x|N 2 |x y|N 2 |x y|N 2 |x|N 2 |x y|N 2

124

T.Leonori

Ejercicios de EDP

Ejercicio 4.14 Mediante el metodo de series de Fourier calculad la solucion


del problema

0 < x < , 0 < y < A

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

u(x, 0) = f (x),
0x
donde f C 0 ([0, ]) y f (0) = 0 = f ().

Soluci
on. No es difcil probar la siguiente afirmacion:
i) Si la ecuaci
on
u(x, y) = 0, 0 < x < , 0 < y < A

(4.14)

posee una soluci


on 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) = 0 = Y (y),
(x, y) , entonces existe una constante R tal que X e Y verifican
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
funci
on 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 alg


un punto!

125

T.Leonori

Ejercicios de EDP

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


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

Imponiendo esta condicion

20

0 x , 0 y A.

se llegara a que X e Y deben verificar

f (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(0) = 0 = X(), Y (A) = 0, X(x) =

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

X(0) = 0 = X()

Y (y) Y (y) = 0,
Y (A) = 0

x (0, )
0<y<A

(4.17)

(4.18)

tales que Y (0) = 1 y X(x) = Yf (x)


, x [0, ].
(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 m
ultiplos de la funcion sen nx En otras
2
palabras, n 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 m
ultiplos de la funcion senh n(A y)
Por estas observaciones, llegamos a que cualquier m
ultiplo 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]
20

Suponiendo Y (0) = 0.

126

(4.19)

T.Leonori

Ejercicios de EDP

Sin embargo, a menos que f sea un m


ultiplo 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

2
Bn =

f (x) sen nx dx, n N


0

entonces la funci
on u : [0, ] (0, A] R definida como
u(x, y) =

n=1

Bn
sen nx senh n(A y)
senh (nA)

(4.20)

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 consecuencia, esta u es la u
nica solucion de (4.13).
En efecto, por ser f de clase C 1 , tenemos la convergencia de la serie

n1

|Bn |

y la mayoracion
+

n=1

Bn
sen nx senh n(A y)
senh (nA)

n=1

|Bn |e

ny

n=1

|Bn | < +.
2

Ademas, las series de las derivadas parciales formales x


, y
, x
2 , y 2 , xy
obtenidas mediante la derivacion termino a termino de la serie que define u

127

T.Leonori

Ejercicios de EDP

estan mayoradas por la serie


+

n=1

n2 |Bn |eny .

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
+

Bn sen nx.

f (x) =
n=1

128

T.Leonori

Ejercicios de EDP

Ejercicio 4.15 Probar que el problema

0 < x2 + y 2 < 1,

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

u(x, y) = 0,

u(0, 0) = 1,

no posee soluci
on u C 2 (B(0, 1)).
Soluci
on.
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)
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

T.Leonori

Ejercicios de EDP

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 m
aximo en entonces u 0.
Soluci
on.
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 u
nica constante que cumple la ecuacion, el ejercicio esta probado.

21

El Principio del M
aximo Fuerte nos dice que:
Sean RN un abierto y conexo y u una funci
on verificando
u(x)

1
|Br (x)|

u(z)dz ,
Br (x)

para cualquier Br (x) . Si existe un punto y tal que


u(y) = sup u(x)
x

entonces la funci
on u es constante en .

130

T.Leonori

Ejercicios de EDP

Ejercicio 4.17 Sea f : (0, 1) R una funcion continuamente diferenciable y no-negativa. Supongamos que u C 2 (BRN (0, 1)) C(BRN (0, 1)) es una
soluci
on del problema

u(x) + u2 (x) + f (|x|) = 0,


|x| < 1,
u(x) = 1,
|x| = 1.
Calculad el m
aximo de u.

Soluci
on.
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

T.Leonori

Ejercicios de EDP

Ejercicio 4.18 Sean un subconjunto abierto y acotado en RN , f C()


y g : R R una funci
on creciente y continua. Probad que el problema
u(x) + g(u(x)) = f (x), si x
u(x) = 0,
si x
tiene a lo m
as una soluci
on u.
Soluci
on. 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 = . 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

u1 (x)u2 (x))(u1 (x)u2 (x) +

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

132

T.Leonori

Ejercicios de EDP

Aplicando la integracion por partes, se tiene que

|w(x)|2 +

[g(u1 (x)) g(u2 (x))](u1 (x) u2 (x))

w(x) w(x)dSx .

La u
ltima 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

|w(x)|2 0 ,

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


Consecuentemente u1 (x) u2 (x) 0.

133

T.Leonori

Ejercicios de EDP

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
u(x) =

E(xy)u(y)dy+

u(y)

E(xy)dSy
ny

E(xy)

u(y)dSy ,
ny

donde la funci
on E : RN RN esta dada por

log |y|

,
si N = 2,

2
E(y) =
1


, si N 3
(N 2)N |y|N 2

y RN

y n y = n(y) , con n(y) el vector normal unitario exterior a en y


y N = |B1 |.
Soluci
on.
La segunda identidad de Green dice que para cualquier v, z C 2 ()C 1 (),

z(y)v(y) v(y)z(y) dy =

z(y)

z(y)
v(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):
0=

u(y)E(x y)dy

u(y)
E(x y)
u(y)
dSy
ny
ny

u(y)
E(x y)
E(x y)u(y)dy
E(x y)
=
u(y)
dSy
ny
ny

u(y)
E(x y)
+
E(x y)
u(y)
dSy .
ny
ny
B (x)
(4.21)

E(x y)u(y)dy

E(x y)

134

T.Leonori

Ejercicios de EDP

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
lm

E(x y)u(y)dy =

E(x y)u(y)dy.

(4.22)

Estudiamos ahora las u


ltimas 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
E(x y)

B (x)

as que
B (x)

E(x y)
=

pues

u
ny

1
(N 2)N N 2

u(y)
1
dSy =
ny
(N 2)N N 2

N
1
(N 2) N N N 1

B (x)

B (x)

u(y)
dSy =
ny

u(y)
0
dSy 0
ny

(4.23)

C 1 () implica que
1
N N N 1

Por otro lado, como n(y) =


u(y)
B (x)

B (x)

u(y)
0 u
dSy
(x) .
ny
ny

xy
,

E(x y)
1
dSy =
ny
N

1
N N 1

u(y)
B (x)

u(y)dSy =
B (x)

xy
(x y)

dSy
N
|x y|

B (x)

u(y)dSy u(x).

(4.24)

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:
lm

E(x y)u(y) E(x y)u(y) dy = 0 .

135

T.Leonori

Ejercicios de EDP

136

Bibliografa
[Ca] A. Ca
nada 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 Parciais. Instituto de matematica pura e aplicada (1997).
[Ev] L. C. Evans, Partial Differential Equations, Graduate Studies in Mathematics 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 Wiley & Sons, Inc., New York (1992).

137

Potrebbero piacerti anche