Recordatorio: Caractersticas en ecuaciones

semi-lineales de segundo orden en dos variables

, + 2 , + , = , , , ,

2
Ecuacin diferencial para las curvas
2 + =0 caractersticas asociadas.

(2 ) > 0 Ecuacin hiperblica: existirn dos ()

familias uniparamtricas de caractersticas.
(2 ) = 0 Ecuacin parablica: existir una
familia uniparamtrica de caractersticas.

(2 ) < 0 Ecuacin elptica: no existirn curvas

caractersticas. 1
Ecuacin de ondas unidimensional
, + 2 , + , = , , , ,
2

2 + =0

= 1, 2 = 0, 2 = (, )
= 2 , > 0

2 2 Ecuacin hiperblica: existirn dos ()

( ) = > 0 familias uniparamtricas de caractersticas.

2 Curvas caractersticas:

2 = 0
+ = cte
= cte
=
2
 2 = (, )
Para resolver la EDP aplicaremos el cambio de variable:

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

= = +


= =

( ) ( )
= +

= 2 +
= 2 2 + 3

= = + = +

( + ) ( + )
= +

= + + + = + 2 +

= 2 2 +
= + 2 +

2 = (, )

2 2 + 2 + 2 + = ,

2
4 = (, ) 4
Resolvamos el caso homogneo:

4 2 = 0; = 0
Integrando con
respecto a a = ; =
ambos lados:
E integrando ahora con respecto a a ambos lados:

, = + () = + ()
Y deshaciendo finalmente el cambio, obtenemos la solucin:

, = + ( + )
In other words, solutions of the 1D wave equation are sums of a right traveling function
G and a left traveling function H. "Traveling" means that the shape of these individual
arbitrary functions with respect to x stays constant, however the functions are translated
left and right with time at the speed c. From Wikipedia.
 2 = 0
, = + ( + )
Aadamos condiciones
iniciales con curvas iniciales en
= 0. Por ejemplo, la
posicin y la velocidad de cada
punto de la cuerda:

, 0 = , 0 = ()

, 0 = 0 + + 0 =
+ =

, 0 = () + = ()
Integremos la EDO: () + = ()

+ =
0 0 0

0 + 0 =
0

+ 0 0 =
0

1
= +

0

7
 + =
1
= +

0

Sumando y restando ambas ecuaciones obtenemos:

1 1
= + +
2 2
0

1 1
=
2 2
0

8
 Sustituyendo en la solucin:
, = + ( + )

1 1 +
+ = + + +
2 2
0

1 1
=
2 2
0 Jean Le Rond dAlembert
1717 - 1783

+ + 1 +
, = +
2 2
La solucin puede interpretarse como suma de
dos ondas de velocidades c que se desplazan
Frmula de DAlembert
en direcciones opuestas a lo largo del eje x. 9
Resolvamos:

( = 0)

Podemos interpretar la condicin inicial como una perturbacin y seguirla.

Stunning bass-string shot on Vimeo Slow motion: rubber string pulled and released
10
Puesto que = 0, la solucin ser:

1
, = + +
2
que podemos separar en dos componentes. Teniendo en
cuenta que = 1 si 1 1 y 0 en el resto de casos:

1 1

(Viaja hacia la derecha)

1 + 1

(Viaja hacia la izquierda)

11
 1 + 2 = 1
1/2 = 2 + 0 1 + 0 = 1/2

La ecuacin de ondas modeliza la transmisin de una seal con velocidad finita

(en este caso con velocidad c = 1). Si entendemos la condicin inicial como una
perturbacin, observemos como viaja hacia la derecha mediante f(x-ct) y hacia
12
la izquierda con f(x+ct).
 1/2 = 2 + 0 1 + 0 = 1/2

1/2 = 2 + 0 1 + 0 = 1/2

13
Supongamos que () es el tringulo
de la figura y que () = 0. Entonces la
solucin es:
1
, = + +
2
Dibuja la solucin para distintos , mostrando como la perturbacin
triangular viaja en forma de dos ondas a derecha e izquierda.

14
 Curvas caractersticas: + = cte
= cte
1
, = + +
2

= ( + ) = ( )

Una perturbacin que

se produzca en x0
alcanzar puntos a la
derecha e izquierda
como muestra el tringulo
abierto en azul a medida
que transcurre el tiempo.

0
15
 Apuntes de ecuaciones diferenciales II
(EDPs) Pepe Aranda
Mtodos Matemticos
Fsicas Complutense
http://jacobi.fis.ucm.es/pparanda/EDPs.html

Curvas caractersticas:
+ = cte
= cte

1
, = + +
2

16
Resuelve:

2 = 0 , 0 = = 0 , 0 = =

+ + 1 +
, = +
2 2

0 + 0 1 +
, = + =
2 2

La cuerda infinita se inclina progresivamente, cosa poco real. La ecuacin es slo

un modelo simplificado. Ms inters (y ms complicacin de anlisis) tienen los
problemas en los que los datos son no nulos slo en intervalos acotados.
Pepe Aranda
17
 Resolveremos ahora la ecuacin
2
= (, ) no homognea.

, 0 = , 0 = ()
Disponemos de la solucin al problema homogneo.
Por el principio de superposicin solo necesitamos entonces
una solucin (, ) con = = 0. Puedes comprobar que:

1 +()
, = ,
2 0 ()

cumple la EDP con 2 = (, )

las c.i.: , 0 = , 0 = 0
18
De modo que la solucin final es:

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

19
Ejercicio: Resuelve = 2 , 0 = = ()
, 0 = 3 = ()
La solucin ser:
+ + 1 +
, = +
2 2
1 +()
+ 0 ()
,
2

(+)+ 1 + 1 +()
, = +
3+ 0 () 2
2 2 2

, = + 3+ 2 0

, = + 3 + 2

20
utt u xx 2 A veces es fcil ver una solucin particular
(, ) de la ecuacin no homognea. Resolvamos
u( x,0) x el mismo ejemplo. Si suponemos que (, ) =
ut ( x,0) 3 (), sustituyendo en la EDP tenemos:
ptt p xx 2; p xx 2
p x 2 x c1 ; p( x, t ) x c1 x c2
2

Tomemos el caso ms sencillo (, ) = 2. Observa que esta

solucin cumple otras condiciones iniciales:
p( x,0) x ;
2
pt ( x,0) 0
Sabemos que (, ) = (, ) + (, ) o
(, ) = (, ) (, ), donde (, ) es la solucin a la EDP
homognea con condiciones iniciales:
h( x,0) u( x,0) p( x,0) x x 2
ht ( x,0) ut ( x,0) pt ( x,0) 3 0 3
htt hxx 0
Llegamos as a un problema homogneo
h( x,0) x x 2 que podemos resolver por la frmula de
DAlembert:
ht ( x,0) 3
1
1 x t
h( x, y ) ( x t ) ( x t ) ( x t ) ( x t ) 3ds
2
2 2

2 x t
h( x, y ) x x 2 3t t 2

Sumando esta solucin a la particular encontramos

la solucin de la EDP:

u( x, y ) h( x, y ) p( x, y ) x 3t t 2
que coincide con nuestro resultado anterior.
utt u xx 2 Repite el ejercicio suponiendo ahora que
(, ) = ().
u( x,0) x
ptt p xx 2; ptt 2
ut ( x,0) 3
pt 2t c1 ; p( x, t ) t 2 c1t c2
El caso ms sencillo sera (, ) = 2.
Sus condiciones iniciales seran: p( x,0) 0
pt ( x,0) 0
htt hxx 0
h( x,0) u( x,0) p( x,0) x
ht ( x,0) ut ( x,0) pt ( x,0) 3

h( x, y ) ( x t ) ( x t ) 3ds
1 1 x t
2 2 x t
h( x, y ) x 3t
u( x, y ) h( x, y ) p( x, y ) x 3t t 2
 Ecuacin de ondas en dominios semi-infinitos:

2 = 0, (, ) 0, 0,
, 0 = (), 0, Dominio
semi-infinito
, 0 = () 0,
+ Condicin de contorno: que puede ser (a) de Dirichlet,
(b) de Neumann o (c) mixta.
0, = () Aprovecharemos las simetras de la
solucin para resolver el problema:
0, = () Mtodo de las imgenes.

0, (0, ) = ()
24

Mtodo de las imgenes
Supongamos que la condicin
de contorno es de tipo Dirichlet
Cuerda semi-infinita y fija en un extremo.
Observemos que (0) debe ser igual a 0
para que la cuerda no se rompa.
0, = 0
(Cuando la condicin de contorno es igual a cero,
diremos que es homognea).

Para resolver el problema lo extenderemos a todo el dominio

real, extendiendo las funciones y anti-simtricamente
alrededor del origen:
, 0 = (), 0,
, 0 = , 0,

= , 0, = , 0,
= (), (, 0] = (), (, 0]
 2 = 0, 0,
, 0 = , 0,
, 0 = , 0,
0, = 0
Pasamos de nuestro problema
original a otro que podemos
resolver por la frmula de DAlembert

2 = 0, (, )
, 0 = , (, )
, 0 = , (, )
Qu pasa con la condicin de contorno homognea, 0, = 0?
Veamos que la extensin impar de y aseguran su cumplimiento:
26
El nuevo problema puede resolverse mediante la frmula
de DAlembert:
~
1 ~ ~

u ( x, t ) f ( x ct ) f ( x ct )
2
1 x ct ~

2c x ct
g ( s )ds
,

Observemos que esta solucin cumple la condicin de

contorno homognea de Dirichlet, (0,
) = 0:

~
1 ~ ~
u (0, t ) f ( ct ) f ( ct )
2
1 ct ~

2c ct
g ( s )ds

~ 1 ~
~
u (0, t ) f ( ct ) f ( ct )
2
1
2c
00
As que para 0, la solucin del problema ampliado
coincide por unicidad con la solucin que buscbamos:
, = , .
 Cuando las condiciones de contorno son de tipo Neumann, las funciones y se
extienden simtricamente:
= , 0, Observa que si = (), es decir,
es par; entonces su derivada:
= (), (, 0] = (), es impar.
= , 0,
Y recuerda la regla de derivacin de una
= (), (, 0] integral:
()
= )( + ( )

Veamos que la solucin de DAlembert al problema extendido simtricamente, cumple
la condicin homognea de contorno de Neumann, 0, = 0:
~
1 ~ ~
u ( x, t ) f ( x ct ) f ( x ct )
2
1 x ct ~
2c x ct
g ( s )ds ,

u~x ( x, t )
1 d ~
2 dx
~
f ( x ct ) f ( x ct ) 1 d x ct ~
2c dx
x ct g ( s ) ds

2
1 ~
f ' ( x ct )
~

f ' ( x ct )

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

1 ~ ~
u~x (0, t ) f ' ( ct ) f ' ( ct )
2
1 ~
2c
g (ct ) g~( ct )
1 ~
2
~

f ' ( ct ) f ' ( ct )
1 ~
2c
g (ct ) g~(ct ) 0
Ejemplo de aplicacin del mtodo de las imgenes.
= 0, (, ) 0, 0,
, 0 = , 0,
, 0 = 1, 0,
Tipo Neumann 0, = 0, 0,
Extendemos simtricamente (porque tenemos una condicin de Neumann):
= 0, (, ) , 0,
Extensin par , 0 = || , (, )
, 0 = 1, (, )
Y resolvemos aplicando la frmula de DAlembert:

+ + 1 +
, = +
2 2
29
 |+| + || 1 +
, = + 1
2 2

|+| + || 1
, = + ++
2 2
Esta solucin es la extendida
|+| + || a todos los reales. A nosotros
, = + nos interesa la solucin para
2
> 0.
Para > 0, tenemos:

+ ||
, = , = +
2
Veamos que la derivada de la solucin presenta una discontinuidad en
= (es decir, a lo largo de la curva caracterstica):

30
 + ||
, = , = + Para >
2
+ +
, = +
2
( + )
= +
2
, = cosh() +
Para <
Observemos que la derivada con respecto a +
es discontinua sobre la recta caracterstica = : , = +
Para > , = cosh() 2
( + )
Para < , = sinh() = +
2
La condicin de contorno del problema dice
que: 0, = 0.
, = cosh() +
Y nuestra solucin nos da: 31
0, = cosh 0.
Cmo resolver el caso ms general con una fuerza externa
(, ) y, por ejemplo, un extremo mvil, una condicin de
Dirichlet no homognea, (0, ) = 0()?

La idea es usar una solucin particular, , , de la

ecuacin de ondas que cumpla la condicin de contorno.
La ms inmediata es que la solucin sea la condicin:
(, ) = 0(). De ese modo, la solucin ser:
, = , + (, ), donde , ser la solucin
de una ecuacin de ondas con condicin de contorno
homognea, ya que:
0, = 0, + 0, = 0 + 0().
Y sabemos resolver el problema para (, ), extendiendo
, y de manera impar.
Veamos un ejemplo:
 (Por el mtodo de
las imgenes)

(La condicin de
contorno no es
homognea) c

Usemos (, ) = 1 (+) como solucin particular de la ecuacin de ondas

propuesta, ya que adems de cumplirla, (0, ) = 1 .

(La condicin
de contorno
ahora es
homognea)

Este problema s lo podemos resolver por el mtodo de las imgenes,

33
extendiendo antisimtricamente las condiciones inciales...
34
35
Qu solucin particular nos puede servir para homogeneizar la condicin de
contorno de Neuman? Haremos , = , + (, ), donde (, ) es
solucin particular del problema con condicin no homognea y (, ) del
problema homogneo.

(, )

36
Extensin
simtrica

37
Cuerda acotada y fija en los extremos:
utt c 2 u xx 0, x [0, L] Debe ocurrir que
(0) = () = 0
u( x,0) f ( x ), ut ( x,0) g ( x )
u(0, t ) u( L, t ) 0
Extenderemos y de manera impar al intervalo [, ] y luego
extenderemos peridicamente a todo .

= , + 2 = ,
= , (
+ 2) = ()

A pulse traveling through a string with fixed endpoints as modeled by the wave equation.
Wikipedia
Mtodo de las caractersticas para la ecuacin de ondas.
Resolvamos por este = 0, (, ) 0, 0,
mtodo el problema , 0 = , 0,
anterior, pero con
condiciones de contorno
, 0 = 1 0,
mixtas: 0, (0, ) = 0 0,

Dividimos el dominio
de validez de la EDP en
dos zonas separadas por
la recta caracterstica:
Zona I con >
y
Zona II con <
Observemos que en la zona I
el tringulo de dependencia
de la solucin cae dentro de la
regin donde solo influyen los
valores iniciales (x,0). 39
En la zona I, con > , tendremos como solucin:

, = + ( + )
Imponiendo las c.i.:
, 0 = = +
, 0 = 1 = + ()
Integrando la ltima ecuacin: = +
Sumando y +
restando: = +; =
2 2
1 ()
, = [ + + + + ]
2
que coincide con
, = cosh() + ( > ) nuestro anterior
resultado. 40
Sin embargo, en la zona II con < , el dominio de
dependencia afecta de lleno a la condicin de contorno,
que es la que ahora debemos imponer a la solucin:
, = + ( + )
Puesto que: , = + ( + )
0, 0, = 0
= + ; >0
Observemos que la funcin () ya estaba determinada
por las condiciones iniciales para s 0:
Conservaremos la constante
+ arbitraria k para comprobar que
= + no afecta a la solucin final. Y a
2 partir de ahora la haremos
siempre cero.
 = + ; >0
+ 1
= + ; =
2 2
Sustituyendo en la ecuacin diferencial haciendo = < 0:
= +


1
= + +
2 2

1+ 1
= +
2 2 2
Cuya solucin es: = + ()
Probando como
solucin particular: = + + 42
 1 + 1
= + + + ; < 0
2(1 ) 2

()
1 +
1 +
, = + + + + +
2(1 ) 2 2 2

, 0 = = ; 0,0 = 1 = 0 + (0)
0 + 0 1
0 = + = +
2 2

1 1
0 =1 + =
2 2
43
 1 + 1
= + + + ; < 0
2(1 ) 2
1+ 1 1
0 =+ + =
2(1 ) 2
1
=
1
1 + 1
, = + + 1
2(1 ) 2 1

Observemos que ambas soluciones coinciden en la

caracterstica = :
1+ 2
, = + + = ,
2(1 ) 2 1 44
 , = + ( + )

45
En la zona I, con > , tendremos como solucin:

, = + ( + )
Imponiendo las c.i.:
, 0 = 0 = +
, 0 = 1 = + ()
Integrando la ltima ecuacin: = +
Sumando y
= +; =
restando: 2 2
1 Observa que hemos
, = [ + ] obtenido las funciones
2 H y G para argumentos
positivos...
, = ( > )
46


, = + ( + )
Puesto que: , = + ( + )
0, + 0, = 0
+ = ; >0
Observemos que la funcin () ya estaba determinada
por las condiciones iniciales para s 0:

1
= + ; =
2 2 47
 + = ; >0
0
1
= + ; =
2 2
Sustituyendo en la ecuacin diferencial haciendo = < 0:
+ =

1
+ = +
2 2

1
+ =
2
Cuya solucin es: = + ()
Probando como
solucin particular: = + 48

2
= + =
2 2
zona II zona I
1 1
0 = = 0; =


, = + ( + ) =
2
1 + 2 +
, = + +
2 2
1
, = + + 1

49
 En la zona I ( > , 0 1, 0 1/2):
, = + ( + )
, 0 = = +
Imponiendo las c.i.:
, 0 = 1 = + ()
De donde, obviando +
1/2 constantes: = ; () =
2 2

1 ()
, = [ + + + + ]
2

, = cosh() +
1/2

50
zona II ( < , 0 1/2, 0 1)
, = + ( + )
, = + ( + )
0, = 0 = + ()
+
Observa que: = () =
2
Resolviendo la ecuacin diferencial:
1
= ( = ) 1
2

= +
2
1
0 = 0 = ; = 0
2

1/2

= , =
cosh() +
2
zona III ( > , 1/2 1, 0 1/2)
, = + ( + )
, = + ( + )
1, = 0 = 1 + (1 + )

Observa que ahora: = () =
2
1 + 1 2 +
1+ = ; = 1 + ; = +
2 2
1 + 1
1 = 1 = ; = 0
2
() ( ) +2 + +
, = +
2 2
2 +
, = +
2 52
zona IV ( > , 1/2 1, 0 1/2)

, = + ( + )

2 +
= () = = () =
2 2

( ) (+)2 + ( + )
, = +
2 2

+ 2
, = +
2

53
Se trata de hallar la solucin en
la zona IV y particularizar para
= 1.

54
55
56
57
58
59