Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
ux
(1 +
u2x )
u
x
= 0,
+q
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 ecuaci
on de la forma
F (Dm u, Dm1 u, ...., Du, u, x) = 0 x RN N 2 ,
donde
F : RN
RN
m1
..... RN R R
T.Leonori
Ejercicios de EDP
||k
T.Leonori
Ejercicios de EDP
(x, y) R2 .
(1.1)
x (t) = 1
y (t) = c
tR
z (t) = 0 ,
9
T.Leonori
Ejercicios de EDP
x(t) = t + 1
Por lo tanto
y(t) = ct + 2
z(t) = 3 .
tR
10
T.Leonori
Ejercicios de EDP
(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
t(s) = s + c1
(1.2)
x(s) = c2 es
sR
z(s) = c3 .
T.Leonori
Ejercicios de EDP
t (s) = 1
x (s) = 2t(s)x2 (s)
z (s) = 0 .
sR
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) 6= 0 tenemos que
x (s)
= 2t(s) = 2(s + c1 )
x2 (s)
as que
1
=2
c3
x(s)
t(s)ds = 2
(s + c1 )ds = (s + c1 )2 + c3 = t2 (s) + c3 ,
con c3 R ,
con C1 y C2 constantes.
12
T.Leonori
Ejercicios de EDP
=1
t0 () = 0
t(s)
x(s)
= 1
x0 () =
z(s)
= z 2 (s)
z0 () = 12 e .
Entonces
t(s, ) = s
x(s, ) = s +
1
1
z(s,)
= 2e
z0 ()
y consecuentemente
s = t(s, )
= x(s, ) + t(s, )
1
z(s,)
= s,
1
1
= x(s,)+t(s,)
s
2e
t(s, )
2e
u(x, t) =
1
2ex+t
13
T.Leonori
Ejercicios de EDP
x(s)
=
1
x0 () = 0
y(s)
= z(s)
y0 () =
z(s)
=2
z0 () = .
Esta claro que las primeras y las terceras ecuaciones nos dan
(
x(s, ) = s
z(s, ) = 2s + ,
as que tenemos
y(s, ) =
(2 + )d = s2 + s.
0
14
T.Leonori
Ejercicios de EDP
y x2
+ 2x para x 6= 1 .
1+x
15
T.Leonori
Ejercicios de EDP
1
g(x) = 1 x
if x 0
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
=1
t(s)
x(s)
= z(s)
z(s)
=0
det
t0 () = 0
x0 () =
z0 () = g() .
1 0
1 1
16
6= 0,
T.Leonori
Ejercicios de EDP
t(s) = s
(1.5)
z(s) = g()
x(s) = + sg() .
Por lo tanto
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
if 0 < xt
1
= 1t
1t
=x
if x > 1 .
if x t
xt
1x
u(x, t) =
if t < x 1, 0 < t < 1
1t
0
if x > 1 .
T.Leonori
Ejercicios de EDP
t=1
u1
1x
1t
u(x, 0) = 1
u0
x
b
u(x, 0) = 1 x
u(x, 0) = 0
if x 0
1
g(x) =
0 g(x) 1 if 0 x 1
if x 1.
18
T.Leonori
Ejercicios de EDP
= 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)
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
T.Leonori
Ejercicios de EDP
(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
s > 0.
t (s) = a1
z (s) = f x(s) at(s)
(1.9)
x(s) = s + c2 ,
c3 R ,
y entonces
d
u(x(s), t(s)) = z (s) = f x(s) at(s) = f (2s + c)
ds
1
z(s) = uz(x(s), t(s)) = F (2s + c) ,
2
T.Leonori
Ejercicios de EDP
= x at,
x = + ,
2
y consecuentemente
(1.10)
= x + at,
t =
.
2a
Por lo tanto si llamamos
v(, ) = u
+
,
2
2a
v(, ) = 0 = v(, ) .
(1.11)
T.Leonori
Ejercicios de EDP
de clase C 2 (R).
con F y G
22
T.Leonori
Ejercicios de EDP
N
X
2u
i=1
x2i
(x1 , x2 , . . . , xN ).
1
2N
, si N > 2,
N 2 |x |
E (x) =
log |x |,
si N = 2.
Probad que
E (x) = 0,
x RN \ {}.
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
xi i
1
|x |2N = |x |1N xi |x | =
,
N 2
|x |N
donde la u
ltima identidad es consecuencia del siguiente calculo directo:
sX
xi i
1
2(xi i )
=
(xk k )2 = pP
xi |x | = xi
.
2
2
|x |
N
k=1N (xk k )
k=1
1
(xi i )2
.
N
+2
|x |
|x |N
23
T.Leonori
Ejercicios de EDP
N
X
x2i E (x)
i=1
N
X
i=1
1
(xi i )2
N
N
+2
|x |
|x |N
N
N
X
X
1
1
N
N
2
2
|x|
N = 0.
(x
1
=
i
i
|x |N +2 i=1
|x |N i=1
|x |N +2
|x |N
xi i
,
|x |2
1
(xi i )2
.
4
|x |
|x |2
Por lo tanto
x21 E (x) + x22 E (x) = 0 .
24
T.Leonori
Ejercicios de EDP
(x, y) .
u(x, y) = f (x, y)
no posee soluci
on cuando la funcion f C() satisface f (P ) 6= 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
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
26
Ecuaci
on de Ondas
Ejercicio 2.1 Resolved el el siguiente problema de Cauchy
x, y R,
ux (0, y) = sen y,
Soluci
on.
Aplicando la formula de DAlembert
por
y R,
y R.
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
ut (x, 0) = h(x),
x R, t > 0
x R,
x R,
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
u (x, 0) = xex2 ,
t
u(x, 0) = 0,
u(0, t) = 0,
de Cauchy
en C,
x 0,
x0
(2.2)
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
ut (x, 0) = g(x),
u(x, 0) = f (x),
x R,
2
T.Leonori
Ejercicios de EDP
Finalmente u(x, t) = u(x, t)C con
g(x) = xex
1
u(x, t) =
2c
x+ct
x R .
ses ds ,
xct
y consecuentemente
u(x, t) =
2x ct
e2x ct
1 (x+ct)2 1 (xct)2
2
2e
+ e
= ex (ct)
e
,
4c
4c
4c
(x, t) C .
Lo de la f es la definici
on de funcion impar, para la g, n
otese que derivando la
condicion
Z 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
b
m
b
b
b
b
b
b
b
xj h xj
xj + h
30
T.Leonori
Ejercicios de EDP
y consecuentemente
2
2 u(x, t)
2 u(x, t)
c
=0
t2
x2
x (0, L) ,
t > 0,
t 0 .
Este problema esta bien definido si lo emparejamos con un problema de Cauchy, es decir que para encontrar una soluci
on tenemos que saber la posici
on
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 soluci
on del siguiente
problema
x (0, 1),
u(x, 0) = u0 (x),
ut (x, 0) = u1 (x),
u(L, t) = 0,
u(0, t) = 0,
x (0, 1)
t > 0,
t > 0,
31
(2.3)
T.Leonori
Ejercicios de EDP
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.
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:
x (0, 1),
F (x) + G(x) = sen x,
F (x) G (x) = 0,
x (0, 1)
F (t) + G(t) = 0,
F (1 + t) + G(t) = 0,
32
t > 0,
t > 0.
T.Leonori
Ejercicios de EDP
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
u(x, 0) = f (x),
ut (x, 0) = g(x),
(2.5)
x R,
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
Z
1
1 x+t
1
g(s)ds .
(2.6)
u(x, t) = f (x + t) + f (x t) +
2
2
2 xt
Notese que tanto f como g tienen que ser elegidas de forma que se cumplan
la condiciones u(0, t) = 0 y u(1, t) = 0, t > 0.
Por lo tanto, por un lado notamos que la primera condicion nos da que
Z
1
1
1 t
g(s)ds 0
t > 0 .
u(0, t) = f (t) + f (t) +
2
2
2 t
Por eso se ve que tanto la f como la g tienen que ser funciones impares.
Por otro lado, cuando calculamos la condicion a lo largo de la recta x = 1
deducimos que
Z
1
1 1+t
1
g(s)ds 0
t > 0 .
u(1, t) = f (1 + t) + f (1 t) +
2
2
2 1t
34
T.Leonori
Ejercicios de EDP
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 6= 0, > 0 y C = {(x, t) R2+ tales que 0 < x < , t >
0}. Probad la unicidad de la soluci
on u(x, t) C 2 (C) C 1 (C) del problema
mixto
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
0x
w(x, 0) = 0,
0x
wt (x, 0) = 0,
w(0, t) = 0,
w(, t) = 0,
(2.8)
t0
t 0.
Notese que la energa, por ser la integral de una funcion positiva, es positiva.
Ademas, como las funcion que aparecen al interior de la integral sol continuas,
es posible calcular
Z
Z
1 2
1 2
2 2
wt (x, t)+c wx (x, t) dx =
wt (x, 0)+c2 wx2 (x, 0) dx = 0 ,
e(0) = lm+
t0 2 0
2 0
36
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
Z
e (t) =
wtt (x, t)wt (x, t) + c2 wxt (x, t)wx (x, t) dx .
0
y entonces
Z
e (t) =
wtt (x, t)wt (x, t) c2 wxx (x, t)wt (x, t) dx
Z 0
wt (x, t) wtt (x, t) c2 wxx (x, t) dx = 0
=
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)
u(x, x) = f (x),
0x
0x
ut (x, x) = 0,
u(0, t) = 0,
u(, t) = 0,
t0
t
(2.9)
T.Leonori
Ejercicios de EDP
tt (x, t) c xx (x, t) = 0,
(x, x) = (x),
t (x, x) = 0,
x R, t x,
x R,
(2.10)
xR
(x, t) + c (x, t) = 0,
x R, t x,
t
x
(x, x) = c (x),
x R,
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 (s, ) = 1
t(0, ) =
x (s, ) = c
s>0
x(0, ) = > 0
z (s, ) = 0
z(0, ) = c () .
Aprovechando que c 6= 1, deducimos que
det
1
1
1
c
6= 0 ,
xct
1c
z(s, ) = c ()
x(s, ) = cs + ,
deducimos que
x ct
1c
con y g funciones continuas. Otra vez, calculamos las ecuaciones caracterstica de dicha ecuacion que resultan ser:
40
T.Leonori
Ejercicios de EDP
t (s, ) = 1
x (s, ) = c
s>0
z (s, ) = (x(s), t(s))
t(0, ) =
x(0, ) = > 0
z(0, ) = () .
t(s, ) = s +
x(s, ) = cs + Z
s>0
s
z(s, ) () =
(x(s ), t(s ))ds .
0
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
x + ct
x + ct
,s +
cs +
1+c
1+c
ds.
s ds
c
(x, t) =
1+c
1+c
1c
0
tx
1+c
x + ct
1c
x + ct
2c
=
c
s
1+c
2c
1 +c
1 c
0
x + ct
x ct
1+c
1c
=
+
2
1+c
2
1c
Por lo tanto, la solucion de (2.10) sera
1c
x + ct
x ct
1+c
+
en C1 ,
(x, t) =
2
1+c
2
1c
41
(2.13)
T.Leonori
Ejercicios de EDP
r1 = {(x, t) : x = 0, t > 0}
r2 = {(x, t) : x = l, t > } .
+
= 0 t > 0,
u(0, t) = (0, t) =
2
1+c
2
1c
mientras que en r2 :
1+c
u(, t) = (, t) =
2
+ ct
1+c
1c
+
ct
1c
= 0 t .
Por lo tanto la funcion tiene que verificar las siguientes tres condiciones:
ct
ct
1+c
=
t>0
1 c 1 + c
1 c
+ ct
ct
1c
=
t>
1+c
1+c
1c
(x) = f (x)
0 x .
42
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
(2.14)
(s) = f (s)
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
1c
1+c
f
s ;
(s) =
1c
1+c
si < s
1+c
2
s < 1+c
+ entonces 1+c
2(1+c)s
< 0 as que
1c
1c
1 c 2 (1 + c)s
1+c
2
1c
f
+s ;
=f
(s) =
1+c
1c
1+c
1c
1+c
ademas, si
1+c
2
1+c
2
en cambio si 1c
< s 1c
deducimos que 1c
s 1+c
y
1+c
consecuentemente
"
!#
2 (1 + c) (1c)s
1+c
2
1c
1+c
(s) =
f
+s ;
=f
1c
1+c
1c
1c
43
T.Leonori
Ejercicios de EDP
Por lo tanto
2
+s
f
1c
1c
f 1+c
s
1+c
1c
(s) = f (s)
1c
2 (1 + c)s
1+c
1c
+s
f
1+c
2
1+c
1c
< s 1c
1+c
s < 0,
1c
0 s ,
<s
2
1+c
(2.15)
2
,
1+c
s<
1+c
1c
(s) =
1+c
1+c
2
deducimos que 1c
2 (1 + c) (1c)s
1+c
1c
1c
f
=
1+c
f s+j
1c
1c
1+c
2
1 cf 1 + c s + j 1 c
(s) =
2k
f s
1+c
2
1+c
1c
2
sk
1+c
1c 1c
1+c
44
2(1+c)s
1c
2
1+c
2
s .
1c 1c
si
1+c
1c
2
1+c
s + j 1c
< 1c
,
si
1+c
2
1c
s + j 1c
< 0,
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
1+c
1c
f ( 1c
s)
1+c
2
1+c
2
1+c
1c
f ( 2(1+c)s
)
1+c
1c
b
2
f ( 1c
+ s)
f (s)
b
b
f (s
2
1+c )
+
u(x, t) =
2
1+c
2
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
T.Leonori
Ejercicios de EDP
F (s) = G(s),
para
F (s) + G(2 s) = 0,
para
),
para
F (s) = G (s 1+c
1c
s
1+c
) = f ( 1c
), para
F (s) + G(s 1c
s0
s (1 c)
0 s (1 c)
0 s (1 c) .
1c
s
2
1c
46
G(s) =
s
1+c
(
,
2
1+c
T.Leonori
Ejercicios de EDP
1 3
,
2 2
si u(x, t) es la soluci
on de
u(x, 0) = 0,
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
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
x+t
g(y)dy .
xt
Para determinar el valor de u en el punto 12 , 23 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)
48
(2, 0)
T.Leonori
Ejercicios de EDP
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
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
Z tZ
0
x+c(ts)
f (y, s)dyds .
xc(ts)
49
(2.16)
T.Leonori
Ejercicios de EDP
solucion de
es decir
u(x, 0) = 0,
ut (x, 0) = 0,
1
u(x, t) =
2
as que
1
ux (x, t) =
2
t
0
Z tZ
0
x R, t > 0,
x R,
x R,
x+(ts)
f (y)dyds ,
x(ts)
f (x + (t s)) f (x (t s)) ds .
Z t
1
f (t s) f ((t s)) ds = 0 ,
ux (t, 0) =
2 Z0
t > 0 ,
1 t
ux (t, 1) =
f (1 + (t s)) f (1 (t s)) ds = 0 ,
2 0
f () f () d = 0 ,
Z0 1+t
t > 0 .
f () f (2 ) d = 0 ,
1
1 3
1 3
1
u( , ) = u( , ) =
4 2
4 2
2
3
2
7
s
4
f (y)dyds .
45 +s
Definiendo
F (s) =
f ()d
0
para 2 s 2 ,
50
(2.17)
T.Leonori
Ejercicios de EDP
t
( 14 , 32 )
x
( 54 , 0)
(1, 0)
(1, 0)
( 74 , 0)
(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
21 s4 + s3
1 4
s + s3 + 21
2
1
2
si 2 s 1,
si 1 s 0,
si 0 s 1,
si 1 s 2 .
1
1 3
u( , ) =
4 2
2
Z 3
1 2
7
5
f (y)dyds =
[F ( + s) F ( s)]ds
2 0
4
4
5 +s
0
Z 34
Z 3
1 2
1 2
5
7
=
F ( + s)ds
F ( s)ds .
2 0
4
2 0
4
Z
3
2
7
s
4
51
T.Leonori
Ejercicios de EDP
+ 5
+
= + +
8 4 10
4 44 10 45
4 10 45
4
10 45
4
1
1
5
9 1
= +
5+
.
8 10 4
10 45
Por el otro lado:
Z 3
Z 3
Z 3
2
4
2
7
7
7
F ( s)ds =
F ( s)ds +
F ( s)ds
3
4
4
4
0
0
4
Z 3
Z 3
4 1
2 7
7
1 7
1 7
( s)3 + ( s)4 ds
+ ( s)3 ( s)4 ds +
=
3
2
4
2 4
4
2 4
0
43 4
32
1 7
1 7
1 7
1 7
1
4
5
4
5
+ ( s) ( s)
= s ( s) + ( s)
2
4 4
10 4
4 4
10 4
3
0
4
1 7 4
1
1
1 7 5
1
1 1
1
3 1
( ) + ( ) + 5
+
=
8 4 10
4 4
10 4
4
10 45
4 10
1 3
3 75 11 1
= + +
.
5 8 10 45 10 45
Por lo tanto
Z 3
Z 3
1 2
1 2
5
7
1 3
F ( + s)ds
F ( s)ds
u( , ) =
4 2
2 0
4
2 0 4
4
1
3 75
3 25
=
+
.
2
5
45
10 45
52
T.Leonori
Ejercicios de EDP
u(0, t) = u(1, t) = 0,
(2.18)
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)
Z t
1
cos x + (t s) cos x (t s) ds
u(x, t) =
0
Z2
t
1
=
cos x + (t s) cos x (t s) ds
2 0 Z
t
1
1
= sen (x)
sen (t s) ds = 2 sen (x)[1 cos(t)] .
0
Metodo 2. Notamos primero que sen(x) = 2 sen(x); es decir, dandole la vuelta, que z(x) = 12 sen(x) cumple
Vease (2.16)
53
T.Leonori
Ejercicios de EDP
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)
+
sen
(x
t)
= 2 sen(x) cos(t) .
2 2
2 2
1
1
sen(x) cos(t) 2 sen(x) .
2
54
T.Leonori
Ejercicios de EDP
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.
ut (x, 0) = 0,
0 x 1,
u(0, t) = u(1, t) = 0,
t > 0.
(2.20)
x R, t > 0
ut (x, 0) = 0,
x R,
verifique
t > 0.
5
(x4
Ya hemos visto que la manera de encontrar f es extender la funcion 16
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
Z
10 1 4
(x 2x3 + x) sin(nx)dx
g(x) sin(nx)dx =
bn =
16 0
1
15
= 5 5 (1 (1)n ) .
n
Z
+
X
bn sen(nx)
con bn =
n=1
15
(1 (1)n ) .
n5 5
R1
0
R1
0
R1
0
x sin(nx)dx =
2
x sin(nx)dx =
3
x sin(nx)dx =
4
sin(nx)nx cos(nx)
n2 2
x sin(nx)dx =
= (1)
n ;
2
n3 3
3( 2 n2 x2 2) sin(nx)nx( 2 n2 x2 6) cos(nx)
n4 4
(2 2 n2 )(1)n
;
n3 3
= (
n2 6)(1)n
;
n3 3
( 4 n4 12 2 n2 24)(1)n
n5 5
24
n5 5
56
T.Leonori
Ejercicios de EDP
u(x, t) =
donde bn =
1X
1X
bn sen n(x ct) +
bn sen n(x + ct)
2 n=1
2 n=1
15
(1
n5 5
1
1
sen( + ) + sen( ) = sen cos
2
2
finalmente deducimos que
u(x, t) =
+
X
15
n
(1
(1)
)
sen
nx
cos
nct
n5 5
n=1
1
30 X
sen (2n + 1)x cos (2n + 1)ct .
u(x, t) = 5
5
n=0 (2n + 1)
57
T.Leonori
Ejercicios de EDP
u(x, 0) = 0,
ut (x, 0) = 0,
u(0, t) = u(1, t) = 0,
(2.22)
t > 0.
v (x) = x,
0 < x < 1,
xx
c2
v(0) = v(1) = 0.
x(x2 1) .
2
6c
Definimos ahora
z(x, t) = u(x, t) + v(x)
(2.23)
x = 0.
c2
T.Leonori
Ejercicios de EDP
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
donde
x R,
z(x, 0) = v(x),
zt (x, 0) = 0,
(2.24)
x R,
x(x2 1),
v(x) = 6 c2
2periodica
x (1, 1)
x1
6= 2 = lm + v (x) .
2
x1
c
c
(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
Z 1
Z 1
2
x(x 1) sin(nx)dx = 2
x(x2 1) sin(nx)dx = 2 3 3 (1)n .
bn = 2
6 c 1
3c 0
c n
Por lo tanto
v(x) =
+
X
n=1
2
c2 3 n 3
(1)n sen(nx) .
+
1 2 X (1)n
sen
n(xct)
+sen
n(x+ct)
,
2 c2 3 n=1 n3
(x, t) C ,
2 X (1)n
2
x(x
1)
+
sen(nx) cos(n ct) .
6 c2
c2 3 n=1 n3
60
T.Leonori
Ejercicios de EDP
sen(2t), calcular la soluci
on
Ejercicio 2.11 Para g(x, t) = A sen mx
de
mx
0x
u(x, 0) = sen ,
(2.26)
0x
ut (x, 0) = 0,
u(0, t) = 0,
u(, t) = 0,
t0
t 0,
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
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
1
m(x + ct)
m(x ct)
1
v(x, t) = sen
+ sen
2
Z x+ct2
ms
A
1
sen
ds
+
c (2)2 c2 m 2 xct
m
m
m 2
m
A
sen
= sen
x cos
ct +
x
sen
ct .
mc (2)2 c2 m 2
61
T.Leonori
Ejercicios de EDP
mc
2
donde (2)2 c2 m
= 6= 0.
2
hay que razonar de otra forma. La dea
Para el caso (2)2 = c2 m
2 m 2
T (t) = A sen(2t)
t > 0,
T
(t)
+
c
(2.29)
T (0) = 1 ,
T (0) = 0 .
la forma
cm
cm
Tp (t) = t sen
t + t cos
t
cm
cm
cm
A2
A
t cos
t + 2 2 2 sen
t + cos
t
2cm
2c m
62
T.Leonori
Ejercicios de EDP
cm
cm
mx A2
sen
t + cos
t .
+ sen
2c2 m2 2
63
(2.30)
T.Leonori
Ejercicios de EDP
64
T.Leonori
Ejercicios de EDP
k, si |x a| ,
g(x) =
0, si |x a| > ,
u(x, 0) = 0,
ut (x, 0) = g(x),
0 x , t > 0
0x
0x
t 0,
4k X 1
na
n
nx
nct
sen
sen
sen
sen
.
u(x, t) = 2
2
c n=1 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 clasico sino en un sentido mas debil de lo que
hemos entendido hasta ahora. De hecho la solucion que vamos a construir
sera data por una serie de Fourier que no converge uniformemente en (0, )
(0, +), as que solo tiene un sentido en un espacio mas grande de lo de las
funciones C 2 ((0, ) (0, +)).
65
T.Leonori
Ejercicios de EDP
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,
Z
1
g(x)dx = 0 ,
a0 =
y finalmente
1
bn =
nx
dx
Z
Z
2
2k a+
nx
nx
=
dx =
dx
g(x) sin
sin
0
a+
i
2k h
nx
2k
=
cos
cos n (a + ) + cos n (a ) .
=
n
a
g(x) sin
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
X
na
n
nx
4k
.
sen
sen
sen
g(x) =
n
n=1
1 x+ct X 4k
na
n
ny
=
sen
dy .
sen
sen
2c xct n=1 n
Hacemos ahora otro paso formal, es decir supongamos que podemos llevar la
integral al interior del smbolo de suma: por lo tanto tenemos que
Z x+ct
2k X 1
na
n
ny
u(x, t) =
dy
sen
sen
sen
c n=1 n
xct
x+ct
na
n
ny
2k X 1
sen
.
sen
cos
=
c n=1 n2
xct
n(x ct)
n(x + ct)
na
n
2k X 1
.
sen
+ cos
sen
cos
= 2
c n=1 n2
Gracias a (2.31) y recordando que u(x, t) = u(x, t)C , deducimos que
na
n
ctn
nx
4kl X 1
sen
sen
sen
sen
.
u(x, t) = 2
c n=1 n2
67
T.Leonori
Ejercicios de EDP
ut (x, 0) = (x),
si x R.
Consideremos
1
K(t) =
2
1
V (t) =
2
Probad
u2t (x, t) dx
(Energa cinetica),
u2x (x, t) dx
(Energa potencial).
if
x 6 t + sop
(x t) = 0
if
x 6 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
x+t
(s)ds = 0,
x+t
para todo x t + sup sop . Por tanto, podemos suponer sin perdida de
generalidad que el punto x0 previamente escogido verifica tambien
Z x+t
Z +
(s)ds =
(s)ds,
xt
(s)ds = cte,
|x| x0
(2.34)
Z +
ut uxx + ux utx dx
=
Z +
=
x (ut ux ) dx
|x|
|x|
E (t) = 0 .
T.Leonori
Ejercicios de EDP
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) =
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
0,
en otro caso.
T.Leonori
Ejercicios de EDP
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
Z
t
2
e|y| dSy
u(x, t) =
|Bt (x)| Bt (x)
que con el cambio y = x + tz se transforma en
Z
Z
t (|x|2 +t2 )
t (|x|2 +t2 )
2t xz
e
dSz =
e2t |x| xz dSz ,
e
e
u(x, t) =
4
4
B1 (0)
B1 (0)
donde x =
x
.
|x|
(2.35)
B1 (0)
La f
ormula de Poisson-Kirchoff nos da una f
ormula de representaci
on 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)
t
t
u(x, t) =
f (s)dSx +
g(s)dSx ,
t |Bct (x)| Bct (x)
|Bct (x)| Bct (x)
donde Br (x) = {y R3 : |y x| = r} y |Br (x)| = 4r2 .
71
T.Leonori
Ejercicios de EDP
donde
1 =
y
Entonces
Z
q
2
2
(z1 , z2 , z3 ) : z3 = 1 z1 z2
q
2
2
2 = (z1 , z2 , z3 ) : z3 = 1 z1 z2 .
e
2t |x| z1
dSz = 2
B1 (0)
e
1
Z
2t |x| z1
dSz =
1z12
e2t |x| z1
z12 +z22 1
1 z12 z22
dz1 dz2
e2t |x| z1
p
dz1 dz2
2
2
1
z
0
1z12
1
2
!
Z 1
Z 1z12
dz
2
=
e2t |x| z1
dz1 .
2p
1 z12 z22
0
1z1
=
!1z12
z2
e2t |x| z1 dSz = 2
e2t |x| z1 arc sen
dz1
2 12
(1 z1 ) 1z2
B1 (0)
0
1
Z 1
Z 1
=2
e2t |x| z1 [arc sen 1 arc sen(1)]dz1 = 2
e2t |x| z1 dz1
0
0
1
e2t |x| e2t |x|
e2t |x| z1
=
= 2
2t|x| 1
t|x|
2
e2t |x| e2t |x|
=
senh (2t|x|) .
=
t|x|
t|x|
Z
2 +t2 )
72
senh (2t|x|)
.
2|x|
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.
2.
3.
Soluci
on.
11
11
Recordamos que gracias a la formula de Poisson, data una funcion g(x) C 0 (RN ),
2
N 1, tal que g(x) Ce|x| , para C, > 0, entonces la funcion
Z
|xy|2
1
e 4t g(y)dy .
u(x, t) =
N
(4t) 2 RN
es tal que:
u(x, t) C 0 (RN [0, +)) C 2 (RN (0, +));
cumple
ut (x, t) u(x, t) = 0,
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
u(x, t) = 2 +
(s + es )ds =
0
t2
+ et + 1.
2
(
(
zt zxx = 0,
(x R, t > 0),
u(x, 0) = sen(x), (x R),
1
u(x, t) = t +
4 t
3
76
e
R
|xy|2
4t
sen(y)dy .
T.Leonori
Ejercicios de EDP
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
77
T.Leonori
Ejercicios de EDP
u(x, 0) = g(x)
0x
u(0, t) = (t)
u(l, t) = (t)
t>0
(3.1)
t>0
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
w(x, 0) = 0
u(0, t) = 0 = u(, t)
t > 0.
e (t) =
w(x, t)wt (x, t)dx .
0
78
T.Leonori
Ejercicios de EDP
79
T.Leonori
Ejercicios de EDP
Soluci
on.
Supongamos que el problema tenga dos soluciones u1 y u2 , y sea w = u1 u2 .
Entonces w(x, t) 6 0 cumple
w (x, t) w (x, t) = 0
x R, t > 0
t
xx
w(x, 0) = 0
x R.
Multiplicamos la ecuacion satisfecha por w por w misma para obtener
Z
Z
0=
wt (x, t)w(x, t)dx wxx (x, t)w(x, t)dx
R
donde hemos utilizado ademas que lm w(x, t)wx (x, t) = 0. Ahora integrax
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:
Z
|xy|2
1
e 4t f (y)dy
u(x, t) =
4t R
Z
(x y)
2 t
2
y dy = 2 tdy =
con el cambio z =
ez f (x 2 tz)dy
4t R
Z 2 t
Z 0
1
2
2
z
z
e f (x 2 tz)dy .
e f (x 2 tz)dy +
=
0
1
z 2
z 2
e f (x 2 tz)dy ;
e f (x 2 tz)dy +
lm u(x, t) = lm
t+
t+
0
1
z 2
z 2
lm f (x 2 tz)dy
e
lm f (x 2 tz)dy +
e
=
t+
0 Z t+
Z
f () z2
f (+) 0 z2
f (+) + f ()
=
e dy +
e dy =
,
2
t+
Z
ya que
z 2
dz =
e
0
z 2
1
dz =
2
81
ez dz =
R
1
.
2
(3.2)
T.Leonori
Ejercicios de EDP
2
ex
2 y 2
dxdy .
2
0
rer drd,
x2 y 2
dxdy =
As deducimos que
Z
Z
x2
dx
Z
ex dx =
y 2
82
dy
Z
x2
dx
2
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) soluci
on de
u(0, t) = 0,
u(, t) = 0,
u(x, 0) = f (x),
(3.3)
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)
n2 2
,
L2
n N.
2 2
n2 2
t
L2
t > 0.
12
N
otese que si fuese positivo tendramos que la solucion general de la ecuaci
on diferencial en (3.4) vendra data por
X(x) = Ae
+ Be
84
T.Leonori
Ejercicios de EDP
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
n2 2 t
e L2 .
del calor, es una combinacion lineal de sen nx
L
+
X
bn sen
n=1
con
2
bn =
L
f (x) sen
0
+
X
bn sen
n=1
nx
L
(3.6)
nx
.
L
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
+
X
n=1
|bn |n2 e
n2 2
t
L2
< + ,
T.Leonori
Ejercicios de EDP
+
X
bn sen
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 soluci
on generalizada
de (3.3).
Aplicaremos este metodo en los siguientes ejercicios, aunque no siempre
directamente.
86
T.Leonori
Ejercicios de EDP
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
Z
Z
1
1
f (x) cos(nx)dx
y a0 =
f (x)dx
an =
nos saldran iguales a cero, por ser cos(nx) y 1 funciones pares. Calculamos
entonces
Z
Z
2
1
f (x) sen(nx)dx =
f (x) sen(nx)dx
bn =
0
Z
Z
2
2 2
x sen(nx)dx +
x sen(nx)dx .
=
0
2
c R.
T.Leonori
Ejercicios de EDP
Consecuentemente
Z
Z
Z
2
2
2 2
x sen(nx)dx
x sen(nx)dx +
sen(nx)dx
bn =
0
2
2
2
1
1
2 1
2 1
sen(nx) x cos(nx)
sen(nx) x cos(nx)
=
n2
n
n2
n
0
2
2
cos(nx)
+
2
2 1
n
n
n
1
+ 1 sen
=
cos
2sen(n)
sen
+
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
+
2X
1
2
u(x, t) =
sen((2n + 1)x)e(2n+1) t .
2
n=1 (2n + 1)
88
T.Leonori
Ejercicios de EDP
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, ) .
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 =
90
n 0 ,
T.Leonori
Ejercicios de EDP
u(x, 0) = f (x),
0 x 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
T.Leonori
Ejercicios de EDP
x=0
x=L
= f (l) = 0 .
X
nx
An sen
z(x, 0) =
L
n=1
donde
Z
nx
2 L
dx .
An =
f (x)
x sen
0
L
L
Ahora nos podemos utilizar que la solucion de (3.9) es
X
nx n2 2 2 t
z(x, t) =
An sen
e L .
L
n=1
Puesto que f es de clase C 1 , deducimos que
X
|An | < +
n=1
y consecuentemente
X
nx n2 2 2 t X n2 2 2 t
e L
An sen
|z(x, t)|
An e L
L
n=1
n=1
2 X
2 t
L
e
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 ,
(3.9)
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:
u(x, 0) = f (x),
0 x L,
la funcion V (x), soluci
on del problema:
(
V (x) = g(x),
V (0) = , V (L) = ,
0 < x < L,
z(0, t) = 0
t 0,
z(L, t) = 0,
t 0,
(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
2
bn =
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
X
X
2
n 2
nx
)
t
(
bn = 0 .
) = lm e( L ) t
bn e L sen(
lm z(x, t) = lm
t+
t+
t+
L
n=1
n=1
Por lo tanto
lm u(x, t) = V (x) .
t+
94
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:
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 soluci
on 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
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
z(x, 0) = 0,
0 x L.
Por lo tanto, si multiplicamos la ecuacion en (3.13) por z(x, t) e integramos
con respecto a x entre 0 y L, obtenemos, integrando por partes:
Z
Z L
Z L
Z L
1 L 2
2
[z (x, t)]t dx+
zx2 (x, t)dx = 0 .
zx (x, t)dx =
zt (x, t)z(x, t)dx+
2
0
0
0
0
95
T.Leonori
Ejercicios de EDP
L
1 L 2
1 L 2
zx2 (x, t)dxd = 0 ,
z (x, )dx
z (x, 0)dx +
=
2 0
2 0
{z
} | 0 0 {z
}
|
=0
(3.14)
t+
(3.15)
T.Leonori
Ejercicios de EDP
w(x, t) =
donde
2
an =
L
n x ( n )2 t
a0 X
an cos
+
e L
2
L
n=1
cos
0
n x
w(x, 0)dx
L
+
X
n=1
n 0,
+
X
2
( n )2 t
a0
n
x
e L ae L 2 t ,
an cos
|w(x, t) |
2
L
n=1
t+
a0
2
(3.16)
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
Entonces una condicion necesaria para que exista l a temperatura de equilibrio es que
Z L
g(x)dx = .
0
v (L) =
(g(s))ds + h (L) = .
0
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
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
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
Z
2 1
1 (1)n
bn =
[ x(x ) sen(nx)]dx = 2
0
2
n3
entonces
+
X
1 (1)n n2 t
2
+ 1 et sen(x) +
e
sen(nx)
z(x, t) =
3
n
n=2
y consecuentemente
+
t
2 X 1 (1)n n2 t
1
2
u(x, t) = x(x ) +
+ 1 e sen(x) +
e
sen(nx)
2
n=2
n3
2
+
2
4 X e(2n+1) t
1
+ 1 et sen(x) +
sen((2n + 1)x) .
= x(x ) +
2
99
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
v
u N
uX
|x| = r = t
x2j .
j=1
Siendo
u(x) =
N
X
x2i xi u(x) ,
i=1
qP
N
j=1
x2j =
1
1
qP
xi
N
2
2
xi
j=1 xj
xi
1
1
qP
2xj i,j = ,
N
2
r
2
xi
j=1 xj
101
PN
j=1
x2j
si r 6= 0 ,
T.Leonori
Ejercicios de EDP
2
xi xi u(x) = xi v (r)
r
2
x2i
1
xi
x2i
1
xi
N
X
x2i xi u(x)
i=1
2
1
x2i
x
i
=
v (r) 2 + v (r) v (r) 3
r
r
r
i=1
2
2
r
N 1
r
N
= v (r) 2 + v (r) v (r) = v (r) +
v (r) .
r
r
r
r3
N
X
N 1
r
v
(r)
= 0,
1 < r < 2,
u(x) = v (r) +
v(1) = 0,
v(2) = 1,
102
T.Leonori
Ejercicios de EDP
PN
i=1
x2i
12
rN 1 v (r) = c1 ,
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
u(x) = 1,
u(x) = 0,
(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 (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,
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
(R2 |x|2 ) = ,
xi u(x) = xi
2N
N
y entonces
1
1
x2i xi u(x) = xi xi = .
N
N
Por lo tanto
u(x) =
u(x) =
N
X
i=1
x2i xi u(x) =
105
N
X
i=1
1
= 1,
N
T.Leonori
Ejercicios de EDP
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)
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
N
(R2 R1N ) .
N
(4.5)
R2
R2N 1
N
N
1N N 1
r.
(R2 r ) = r
R2
+
v (r) = N 1 +
N
1
r
Nr
N
N
106
T.Leonori
Ejercicios de EDP
r n
r
n
v(r) =
R2 + R2 log r r2 + C ,
2
4
C R,
C R.
107
T.Leonori
Ejercicios de EDP
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
(r
v (R) = ,
v (0) = 0 .
N
r ,
N
r.
N
R.
N
2
r +c
2N
108
T.Leonori
Ejercicios de EDP
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
Z
Z
Z
u
dSx .
0=
u(x)dx =
div u(x)dx =
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
Z
f (x) dSx = 0 ,
13
Teorema de la divergencia:
Sea un abierto de clase C 1 y F un campo C 1 (, RN ), N 2. Entonces
Z
Z
div F dx =
F n dSx ,
109
(4.6)
T.Leonori
Ejercicios de EDP
u(x) = g(x),
x ,
u (x) = f (x),
x ,
n
pueda tener soluci
on u C 2 ().
n
es decir que la condicion necesaria resulta ser
Z
Z
g(x)dx =
f (x)dSx .
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
|n{z }
=0
Por la condicion
|v(x)|2 = 0
111
T.Leonori
Ejercicios de EDP
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
Z
Z
1
N
u(x) =
u(y)dSy =
u(y)dy .
(4.7)
|Br (x)| Br (x)
|Br (x)| Br (x)
Recordamos que |Br (x)| = N rN mientras que |Br (x)| = N N rN 1 , donde N es |B1 | =
N .
112
T.Leonori
Ejercicios de EDP
113
T.Leonori
Ejercicios de EDP
Soluci
on.
Dado que el abierto es regular, podemos integrar por partes y deducir
Z
Z
Z
Z
Z
2
uu
|u||u| .
u div u =
u u =
|u| =
15
1 p
1
a + bp
p
p
114
con
1
1
+
= 1.
p p
T.Leonori
Ejercicios de EDP
xK
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:
Z
Z
1
1
u(x1 ) =
u(x)dx
u(x)dx ,
|Br (x1 )| Br (x1 )
|Br (x1 )| B2r (x0 )
y
1
u(x2 ) =
|B3r (x2 )|
1
u(x)dx
|Br (x2 )|
B3r (x1 )
u(x)dx .
B2r (x0 )
Br (x0 )
16
N
otese que la hip
otesis conexo es necesaria. Supongamos que el abierto tuviese dos
componentes conexas 1 y 2 . Entonces para la funcion
(
1
si x 1 ,
u(x) =
0
si x 2 ,
la desigualdad de Harnack no es cierta en (pero si que es cierta en cada componente
conexa).
115
T.Leonori
Ejercicios de EDP
x1
x0
b
x2
116
T.Leonori
Ejercicios de EDP
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
(4.9)
i = 1, ..., j 1 .
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
b
xm
118
T.Leonori
Ejercicios de EDP
Ejercicio 4.11 [Teorema de compacidad de Harnack] Sea un abierto y conexo en RN y {un } una sucesi
on de funciones armonicas en verificando
1. Existe una funcion u0 armonica en tal que u0 un para cualquier
n N.
2. Existe x0 tal que {un (x0 )} esta acotada superiormente.
Probar (con el teorema de Ascoli-Arzel`
a) que existe una subsucesi
on {unk }
que converge uniformemente en compactos de .
Soluci
on.
Paso 1. Probamos que si u es armonica en , entonces
|uxi |
CN
kukL1 (Br )
rN +1
uyi (y)dy .
B r (x0 )
2
119
(4.11)
T.Leonori
Ejercicios de EDP
CN
kukL1 (Br (x0 )) .
rN +1
con C = C(K) .
para cada K .
Paso 3. Conclusion.
Sea un la sucesion de funciones armonicas considerada. Notese que un puede
ser considerada positiva sin perder generalidad (si no se aplica el metodo
siguiente a un = un (x) u0 ). Por el Paso 2 la sucesion es equiLipschitziana,
y as equicontinua. Ademas por ii) la sucesion es equiacotada. Por lo tanto
el teorema de Ascoli-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)
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 6 R2+ ,
tenemos que la solucion fundamental
p
1
log (z x)2 + (w + y)2
v(z, w) = E(z x, w + y) =
2
(centrada en P ) verifica
2
2
v(z, w) + v(z, w) = 0,
z 2
z 2
(z, w) R2+ ,
z R.
T.Leonori
Ejercicios de EDP
(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
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)
y
G
((x, y), (z, 0)) =
.
=
w
[(x z)2 + y 2 ]
(b) Por la formula de Poisson y el apartado (a):
Z +
y
2
dz, y > 0
ez
[(x z)2 + y 2 ]
u(x, y) =
ex2 ,
y = 0.
0x,y1
max
(x,y)([0,1][0,1])
122
u(x, y)
T.Leonori
Ejercicios de EDP
h (y) = 0,
y
x
hx (y) = E(x y), y
y probamos con
hx (y) = E(x y) + E(x y) + E(x y).
Puesto que los puntos x , x, x 6 , tenemos que hx es necesariamente
armonica en para cualesquiera constantes , , . La dificultad esta en
elegir , , de forma que
E(x y) + E(x y) + E(x y) = E(x y),
(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
T.Leonori
implica
Ejercicios de EDP
= =
= 1.
RN 2
(N 2)N |x|N 2
E(x y) = E(x y)
+
N 2
.
|x|
|x y|N 2 |x y|N 2 |x|N 2 |x y|N 2
124
T.Leonori
Ejercicios de EDP
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
Soluci
on. No es difcil probar la siguiente afirmacion:
i) Si la ecuacion
u(x, y) = 0, 0 < x < , 0 < y < A
(4.14)
(4.16)
125
T.Leonori
Ejercicios de EDP
20
0 x , 0 y A.
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)
, x [0, ].
tales que Y (0) 6= 1 y X(x) = Yf (x)
(0)
Se hace as necesario estudiar para que valores de R los problemas
(4.17) y (4.18) poseen solucion no trivial. Entonces, el problema (4.17) posee
solucion no trivial si y solamente si = n2 con n N. Ademas, en este
caso, las soluciones de (4.17) son 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) 6= 0.
126
(4.19)
T.Leonori
Ejercicios de EDP
X
n=1
Bn
sen nx senh n(A y)
senh (nA)
(4.20)
y la mayoracion
+
X
n=1
X
X
Bn
sen nx senh n(A y)
|Bn |eny
|Bn | < +.
senh (nA)
n=1
n=1
2
127
T.Leonori
Ejercicios de EDP
n2 |Bn |eny .
+
X
Bn sen nx.
n=1
128
T.Leonori
Ejercicios de EDP
u(x, y) = 0,
0 < x2 + y 2 < 1,
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)
p
con r = x2 + y 2 y v satisfaciendo
rv (r) = 0,
0 < r < 1,
v(1) = 0,
lm v(r) = 1.
r0+
c1 , c2 R .
129
T.Leonori
Ejercicios de EDP
21
El Principio del M
aximo Fuerte nos dice que:
Sean RN un abierto y conexo y u una funci
on verificando
Z
1
u(z)dz ,
u(x)
|Br (x)| 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
Calculad el maximo 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
132
T.Leonori
Ejercicios de EDP
=
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
Z
|w(x)|2 0 ,
133
T.Leonori
Ejercicios de EDP
E(xy)dSy E(xy)
u(y)dSy ,
u(x) = E(xy)u(y)dy+ u(y)
ny
ny
log |y|
,
si N = 2,
2
E(y) =
1
, si N 3
(N 2)N |y|N 2
y RN
z(y)v(y) v(y)z(y) dy =
v(y)
z(y)
z(y)
dSy .
v(y)
n
n
Z
E(x y)
u(y)
u(y)
dSy .
+
E(x y)
ny
ny
B (x)
(4.21)
134
T.Leonori
Ejercicios de EDP
E(x y)u(y)dy =
en L1 ()22
E(x y)u(y)dy.
(4.22)
E(x y)
as que
Z
pues
B (x)
1
(N 2)N N 2
Z
1
u(y)
u(y)
dSy =
dSy =
E(x y)
N
2
ny
(N 2)N
B (x) ny
B (x)
Z
1
u(y)
N
0
dSy 0
(4.23)
=
(N 2) N N N 1 B (x) ny
u
ny
C 1 () implica que
Z
1
u(y)
0 u
dSy
(x) .
N
1
N N
ny
B (x) ny
Z
Z
1
xy
E(x y)
(x y)
u(y)
dSy =
u(y)
dSy
N
ny
N B (x)
|x y|
B (x)
Z
I
1
0
u(y)dSy =
u(y)dSy u(x).
(4.24)
=
N
1
N
B (x)
B (x)
Gracias a (4.22), (4.23) y (4.24), tomando lmites cuando tiende a cero en
(4.21) concluimos la formula pedida en el ejercicio.
22
Es decir:
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