Universidad De Chile Facultad De Ciencias Fsicas y M atem ticas

Escuela de Ingeniera Departam ento de Ingeniera M atem tica

Gua de Resolucin de EDP s va Mtodo de las Caractersticas

Ma26-B Matemticas Aplicadas Profesor: Rafael Correa Auxiliares: Omar Larr, Tomas Spencer, Leonardo Zepeda La forma ms general de representar cualquier ecuacin diferencial de primer orden a dos variables independientes x e y es: F (x; y; u; ux ; uy ) = 0 (x; y ) 2 D R

Donde F es una funcin dada y u = u(x; y ) es una funcin desconocida de sus varibles x e y . Y por @u @u comodidad notaremos ux = y uy = : @x @y Ahora slo trabajaremos con ecuaciones que llamaremos Ecuaciones Diferenciales Cuasi Lineales que tienen la forma: a(x; y; u)ux + b(x; y; u)uy = c(x; y; u) En donde algunos ejemplos son: xux + yuy = 0 nux + (x + y )uy = u + ex yux + xuy = xy (y z )ux + (z x)uy + (x y )uz = 0 x(y 2 + u)ux y (x2 + u)uy = (x2 y 2 )u (y 2 u2 )ux xyuy = xu Resolucin de una Edp: 1. Transformar la Edp a la forma cannica, i.e. a(x; y; u)ux + b(x; y; u)uy = c(x; y; u) 2. Luego Imponer las curvas Caractersticas: dy du dx = = a(x; y; u) b(x; y; u) c(x; y; u) 3. Resolver Las Ecuaciones Diferenciales que se obtendrs de las igualdades de arriba (si c(x; y; u) = 0 entonces du = 0 y as para cualquier coeciente que sea nulo) hasta obtener relaciones de la forma, (x; y; u) = C1 y (x; y; u) = C2

(esta es la parte difcil ya que generalmente hay varios trucos dentro de esto, y hay que tener siempre presente los diferenciales totales, factores integrantes y todo lo aprendido en el curso de Ecuaciones Diferenciales Ordinarias)

Universidad De Chile Facultad De Ciencias Fsicas y M atem ticas

Escuela de Ingeniera Departam ento de Ingeniera M atem tica

4. Una vez hecho esto, la solucin tendr la forma: f( ; ) = 0 para una funcin f arbitraria, g ( ) = 0 con g como funcin arbitraria.

pero en particular puede ser de la forma: f ( ; ) =

5. Casi siempre una vez ya encontrada la solucin general se procede a imponer la informacin de Cauchy, pero en el desarrollo hay que tener el cuidado de ir dejando las funciones y de manera que sea cmodo imponer las condiciones.

Generalmente estos son los 6 pasos a seguir al resolver Edp s va Caractersticas, pero hay que considerar de que hay veces en los cuales los pasos no van en este orden, en n mostraremos algunos ejemplos para intentar una idea lo ms clara posible de como emplear este mtodo: Example 1 Resuelva 3ux + 2uy = 0 con la informacin u(x; 0) = h(x)

Como la ecuacin ya est en la forma Cannica simplemente reconocemos trminos a(x; y; u) = 3; b(x; y; u) = 2; c(x; y; u) = 0 Luego Imponiendo las Ecuaciones de las Curvas Caractersticas obtenemos: dy du dx = = luego du = 0, 3 2 0 y de la primera igualdad obtenemos 2dx 3dy = 0, el cual es el diferencial total de 2x 3y = C1 , pero haremos un pequeo cambio en esta ltima ecuacin por algo equivalente pero que despus nos ayudar al imponer la informacin de Cauchy que es dejar que C1 absorba un medio y dejar la relacin como: (x; y; u) x 3y = C1 2 (x; y; u) u = C2

Y como du = 0 entonces u = C2 que ser nuestro psi, i.e. Luego nuestra solucin general ser: 3y ; u) = 0; lo cual equivale a 2 3y u(x; y ) = g (x );con g arbitraria, 2 f (x y ahora aplicando la informacin de Cauchy u(x; 0) = h(x) = g (x);

con lo cual encontramos la "forma" que tiene g , por lo cual la solucin nos queda como: u(x; y ) = h(x 3y ) 2

Universidad De Chile Facultad De Ciencias Fsicas y M atem ticas

Escuela de Ingeniera Departam ento de Ingeniera M atem tica

Lo cual satisface todas las condiciones necesarias.

Example 2 Resuelva aux + buy = cu con la informacin de Cauchy u(x; 0) = h(x): La ecuacin est en la forma cannica por lo cual simplemente imponemos las ecuaciones de las curva caractersticas, i.e. dx dy du = = a b cu de la primera Igualdad obtenemos bdx cual deniremos como nuestro phi, i.e. (x; y; u) ady = 0 es cual es un diferencial total de bx ay = C1 b ay = C1 , el

a+b ln u + C2 , ln u c aplicando exponencial llegamos a: x+y =

Ahora jugando un poco con las igualdades entre el primer y tercer trmino, junto con el segundo y tercer, obtenemos: 9 adu > = dx = (a + b)du cu luego integrando obtenemos: bdu > dx + dy = cu ; dy = cu c (x + y ) = C2 esto absorbiendo constantes, con lo cual a+b
c

ue a+b (x+y) = C2 con lo cual llegamos a algo relativamente complicado, por lo cual dejaremos descanzar un rato esta relacin para ver si podemos obtener alguna ms simple, entonces considereremos dx = x a adu ; cu con lo cual obtenemos :

ln u = C3 luego realizando el mismo procedimiento anterior llegamos a c cx ue a = C3 que es bastante ms simple que la anterior y la llamaremos (x; y; u) cx ue a = C3 :

Entonces nuestra solucin general est dada por: f( x cx ay ; ue a ) = 0 b

Con f arbitraria, lo cual es equivalente a escribir: cx u(x; y ) = e a g (x ay ) b

Universidad De Chile Facultad De Ciencias Fsicas y M atem ticas

Escuela de Ingeniera Departam ento de Ingeniera M atem tica

Y aplicando ahora la informacin de Cauchy u(x; 0) = h(x); tendremos que: cx u(x; 0) = h(x) = e a g (x) , cx g (x) = e a h(x)

Con lo cual conocemos la forma de g y ahora simplemente reemplazando. cx cx cy + u(x; y ) = e a e a b h(x Solucin que satisface todo lo pedido. Example 3 Resuelva xux + yuy = xe
u

cy ay ) = e b h(x b

ay ) b

con la informacin u = 0 si y = x2

Como la ecuacin ya est en la forma cannica, procedemos a imponer las ecuaciones de las curvas caractersticas, i.e. dx dy du = = x y xe u Luego de la primera igualdad resolvemos y obtenemos: ln x = ln y + C1 () ln x ln y = C1 () ln y = x C1

Lo cual aplicando exponencial y absorbiendo constantes y = C1 x Ahora de la igualdad entre el primer y el tercer trmino resolvemos la siguiente ecuacin dx = eu du Que integrando llegamos eu x = C2

Con lo cual la solucin general queda dada por: f (eu o equivalentemente: y x; ) = 0 x

y eu = x + g ( ) x con f y g funciones arbitrarias. Aplicando ahora la informacin de Cauchy, tendremos que: e0 = x + g ( x2 ) x , g (x) = 1 x

Con lo cual la solucin queda dada por

Universidad De Chile Facultad De Ciencias Fsicas y M atem ticas

Escuela de Ingeniera Departam ento de Ingeniera M atem tica

eu = x + 1 o equivalentemente por u = ln(x + 1 Ejercicios:

y x

y ) x

1. Resuelva los siguientes problemas con la informacin de Cauchy asociada: (a) 3ux + 2uy = 0 con u(x; 0) = sin x (b) yux + xuy = 0 con u(0; y ) = e
y2

(c) xux + yuy = 2xy con u = 2 en y = x2 (d) ux + xuy = 0 con u(0; y ) = sin y (e) ux + xuy = (y
1 2 2 2x )

con u(0; y ) = ey

(f) xux + yuy = u + 1 con u(x; y ) = x2 en y = x2 2. Resuelva la ecuacin: ux + xuy = y con la informacin de Cauchy u(0; y ) = y 2 u(1; y ) = 2y