MMII_L1_c2: Ecuaciones casi lineales de primer orden: Mtodo de las caractersticas

Guin de la clase:
En esta clase se desarrolla la bsqueda de soluciones paramtricas del problema de Cauchy definido por ecuaciones casi lineales de primer orden. Esta metodologa se estudia en primer lugar para ecuaciones con dos variables independientes para despus generalizarlas para ecuaciones con n variables Para estudiar el mtodo de las caractersticas pueden consultarse las referencias bsicas de la leccin, indicadas en la hoja anterior. La aplicacin al trfico se puede encontrar en Ecuaciones en Derivadas Parciales de R. Haberman. Prentice Hall 2003.

Ejercicios propuestos: Resolver los PCH siguientes: 1. aux bu y constantes 2. ux u y uz

u 2 , x, y , z ; u( x, y ,0) f ( x, y ) cu 0, x, y
2

u( x,0)

f ( x ), x

, donde a,b,c son

Estas notas son solo una ayuda, que ni pretender ni pueden sustituir a la asistencia a clase, donde se desarrollan los conceptos, se aclararn las dudas y se subsanaran posibles erratas, y a la consulta de la bibliografa recomendada.

Notas de clase:
Dada la EDP10_CL_2VI de la forma:

a(x,y,u) u x +b(x,y,u) u y =c(x,y,u), (x,y,u) G

donde a, b, c C1 (G ) , G es un abierto de
3

Sea u(x,y) una solucin del PCH de las edp10_cl_2vi. La ecuacin se puede ver como una propiedad geomtrica de la superficie integral (SI): En todo punto perteneciente a la SI: (x 0 ,y0 ,u(x 0 ,y0 ))
SI , la normal a la superficie (N) es paralela al

vector (ux ( x0 , y0 ), u y ( x0 , y0 ), 1) , por lo que la ecuacin puede interpretarse por la condicin de que en los puntos de la SI, el vector normal es perpendicular al campo vectorial de clase C1 (V) definido por a( x, y, z ), b( x, y, z ), c( x, y, z ) en G
3

Encontrar la solucin de la ecuacin, consiste en determinar las lneas vectoriales del campo vectorial formado por las curvas caractersticas (CC). Estas son las curvas tangentes al campo vectorial V en cada punto, es decir, las CC se caracterizan por ser las soluciones de la forma cannica de un sistema de ecuaciones diferenciales ordinarias, definida por los coeficientes de la ecuacin:

dx a( x, y, z )

dy b( x, y, z )

dz c ( x, y , z )

En esta representacin cannica, el mtodo de las caractersticas (MC) introduce una representacin paramtrica de las CC, (x(t),y(t),z(t)),
t It

, lo que equivale a

plantearse las igualdades anteriores igual a la diferencial del parmetro t (dt), lo que nos conduce a la forma normal del sistema de ecuaciones diferenciales ordinarias equivalente a la ecuacin anterior:

dx dt dy dt du dt

a ( x, y , z ) b ( x, y , z ) c ( x, y , z )

Resolviendo el sistema se obtiene la solucin paramtrica de la ecuacin, o solucin general paramtrica del sistema:

x y z

x(c1 , c2 , c3 , t ) y (c1 , c2 , c3 , t ) , t u (c1 , c2 , c3 , t ) It

Ntese que, por el teorema de existencia y unicidad de los sistemas de ecuaciones diferenciales ordinarias, si las funciones a( x, y, u), b( x, y, u), c( x, y, u) son continuas y lispchitzianas, por cada punto de G, tal que (a, b, c) (0,0,0) , pasa una, y solo una CC. La existencia y unicidad de la forma explcita de la solucin, la solucin cartesiana del PCH de las EDP10_CL_2VI se caracterizar en una clase prxima. La solucin paramtrica del PCH se obtiene imponiendo la condicin inicial, representada por una curva directriz (CD), en la que se apoyarn todas las curvas caractersticas que definan la SI. La representacin paramtrica de la CD, la elegiremos a nuestra conveniencia, en funcin de un parmetro s: ( x( s ), y ( s ), z ( s )), s PCH).
u t

Is

(condicin inicial del

C. directriz
s

Curvas caractersticas que se apoyan en la curva directriz x

La SI viene descrita por los parmetros: s de la curva directriz y t de las curvas caractersticas. Imponiendo las condiciones iniciales en t=0, podemos obtener el valor

x(c1 , c2 , c3 , 0)
de las constantes en funcin de s:

f (s) g (s) , s h( s ) Is

y (c1 , c2 , c3 , 0) u (c1 , c2 , c3 , 0)

La solucin particular paramtrica del PCH queda de la forma:

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

Is , t

It

Para obtener la forma explcita de la solucin, u =u (x,y), se eliminarn de las tres ltimas expresiones los parmetros s y t, lo que no ser posible en general,

1 se elimina el parmetro t entre las expresiones de x e y, obteniendo

( x, y, s) 0 , expresin de la proyeccin de las curvas caractersticas

2 se elimina el parmetro s para obtener u( x, y) , la forma cartesiana explcita de la solucin del PCH. La posibilidad de realizar estas eliminaciones se estudia en el teorema de existencia y unicidad de solucin explcita del PCH, que est incluido en el mdulo 4.

Ej1_c2
uy c ux 0

y 0, x
dx dt dy dt du dt c

, con c

x 1 0 y u

x0 y0 u0

ct t , t

El sistema de EDO equivalente es:

1. Imponiendo la condicin inicial con x=s : u(x,0)=h(x)

f(s)=s g(s)=0 h(s)

x0 en t=0, se verificar y0 u0

s 0 h( s ) x s t h( s ) ct
, con lo que se obtienen los valores de las constantes, y

nos queda la solucin paramtrica del PCH:

y u

Eliminando t entre las dos primeras expresiones x

s c y , que es la expresin

de la PCC; eliminando s entre la tercera expresin y esta ltima, obtenemos:

u( x, y) h( x cy) solucin cartesiana particular del PCH.

Para finalizar, conviene comprobar que la solucin obtenida cumple tanto la ecuacin como la condicin inicial.

x0
2. Imponiendo la condicin inicial u(x,x)=h(x): en t=0

s s h( s )
,

y0 u0

donde la curva directriz se ha definido por: f (s)

s, g(s)

s, h( s)

h( s), con x

s;

por lo que la solucin particular paramtrica del problema de Cauchy es:

x y u

ct s, t

s t h( s )

de forma que la proyeccin de las curvas caractersticas es: x s c( y s) . La solucin particular cartesiana del mismo ser u

h(

x cy ). 1 c

3. Si la condicin inicial es u(cy, y) h( y) ; la solucin particular paramtrica, haciendo t=0, es:

x y u

c( s t ) s t h( s )

cy ,

No existe una familia de PCC, no se conoce una relacin existe solucin del PCH.

( x, y, s)

0 y como h(s), no

4. Si la condicin inicial es u(cy, y) 0 ; la solucin particular paramtrica es

x y

c( s t ) s t

cy , u

soluciones

u 0 profundizaremos en estas conclusiones con ayuda del mtodo de Lagrange

Ecuaciones en derivadas parciales de primer orden casi lineales con n variables independientes (EDP, 1o, cl, nvi)
La generalizacin para n variables independientes surge en los problemas reales de cualquier fenmeno fsico que se desarrolle con dimensiones espaciales y evolucione con el tiempo, ya que, en general, estar gobernado por una EDP que depender de las coordenadas espaciales y el tiempo. Las EDP10_CL_NVI tienen como expresin general:
n

ai ( x1.... xn , u)uxi
i 1

h( x1.... xn , u), ( x1.... xn , u) G

n 1

n 1

, donde ai,h C1(G) , G abierto de

. En el marco de la FF, buscamos soluciones

u( x) C1 (G1 ) , donde G1 es el abierto donde estn definidas las variables

independientes. El mtodo de las caractersticas (MC) se aplica de forma anloga a como se ha hecho para el caso de 2 vi. Las curvas caractersticas son las soluciones del sistema de n+1 ecuaciones diferenciales ordinarias equivalente a la ecuacin anterior:
dxi dt du dt ai (x,u) , i 1,...., n h( x, u )
5

Integrando el sistema obtenemos la solucin general paramtrica:

xi xi (ctes, t ) i 1,..., n; u u (ctes, t ), t 0

El PCH se define al imponer la condicin inicial, eligiendo una parametrizacin de la variedad directriz f1 ( s1 ,.., sn 1 ),.., f n 1 ( s1 ,.., sn 1 ), s
u( f1 ( s1 ,.., sn 1 ),...., f n ( s1 ,.., sn 1 )) f n 1 ( s1 ,..., sn 1 ), s ( s1,.., sn 1 ) Is :

(s1 ,..., sn 1 ) I s , donde

fi

C1 ( I s ), i 1,.., n 1 . Es decir, resolvemos:

f i (s), i 1,..., n; u( ctes,0) f n 1( s)

xi (ctes, o )

La solucin particular paramtrica del PCH tendr la expresin general:

xi xi ( s, t ), i 1,.., n, u u ( s, t ), s Is , t 0.

Igual como en el caso de 2vi, la solucin cartesiana del PCH se obtiene despejando s y t en funcin del vector x, si es posible.

Ej2_c2
1. ux

xu y

uz

u, x, y, z

u( x, y,1)

El sistema de 4 ecuaciones equivalente a la ecuacin es:

dx dt dy dt dz dt du dt
x r, y

x
x

x0 y0 z0

t x0 t t u 0 t2 2

integrando obtenemos la solucin general:

1 u

y z u

u0 et

Parametrizando la variedad inicial

f1 (r , s )

r , f 2 (r , s )

s, f 3 (r , s ) 1, f 4 (r , s )

Imponiendo la condicin inicial en t=0:

r s

x0 y0 la solucin particular paramtica es

x=r+t y=s+r t+ z 1 t u ( r s ) et , r s 0.
z

1 z0 r s u0

t2 2

Eliminando los parmetros (r,s,t) en funcin de (x,y,z): u

( y zx

z2 1 ) exp1 2

Conviene comprobar que esta funcin verifica la ecuacin y la condicin inicial.