MMII_L1_c3: Método de Lagrange.

Guión de la clase:

Esta clase está centrada en plantearse la resolución de las ecuaciones cuasi lineales de
primer orden mediante el Método de Lagrange. El método equivale a plantearse
directamente la solución cartesiana, y es más rico en interpretaciones geométricas que el
de las características, aunque el método de las características da una mejor
representación de las curvas características, por lo que concluimos que ambos métodos
se complementan.

El modelo lineal de la ecuación de conservación vuelve a ser el ejemplo obligado, solo

que ahora lo resolvemos con el método de Lagrange (ML). Otros ejemplos con
interpretaciones geométricas estimulantes son planteados. El ML también puede ser un
camino que nos permita obtener vías cómodas de integración del modelo.

La clase finaliza con el problema inverso, dada la congruencia de curvas cual es la

propiedad geométrica que se verifica en su plano tangente.

El método de Lagrange para 2 y n variables puede consultarse las referencias básicas de

la lección es el Capítulo 5, libro “Ecuaciones Diferenciales y Cálculo Variacional” de L.
Elsgoltz, y en el libro “Ecuaciones Diferenciales” de Puig Adam, Escuela de Ingenieros
Industriales 1967.

Ejercicio propuesto 1: Resolver los problemas de Cauchy siguientes:

xux ( y 1)u y 1 u 0
a) u(x,2)=f(x)=x 2 1; b) u( x, x 1) x
Ejercicio propuesto 2: Dada la congruencia (u, y / x) 0 obtener la propiedad de su
plano tangente.
Ejercicio propuesto 3: Solución general de: ( y n u n )ux (u n x n )u y u( x n yn ) 0

Estas notas son solo una ayuda, que ni pretender ni pueden sustituir a la asistencia a
clase, donde se desarrollan los conceptos, se aclararán las dudas y se subsanaran
posibles erratas, y a la consulta de la bibliografía recomendada.
Notas de clase: Método de Lagrange con 2vi

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
3
donde a, b, c C 1 (G ) , G es un abierto de

El método de Lagrange (ML) se plantea obtener la solución a partir de la forma

canónica del sistema de EDO equivalente a la ecuación tipo EDP10_CL_2VI. Ver la
ayuda de la clase anterior:
dx dy du
a( x, y, u ) b( x, y, u ) c( x, y, u )

El ML resuelve directamente esta forma canónica buscando en el sistema anterior dos

integrales primeras independientes. De estas relaciones se obtienen dos integrales
primeras:
1 ( x, y, z ) C1 C1 Congruencia curvas
2 ( x, y, z ) C2 C2

si son linealmente independientes, su intersección determina la congruencia de curvas o

solución general cartesiana de la ecuación, también llamadas curvas características de la
ecuación de partida.
La congruencia se puede establecer como una familia monoparamétrica de curvas,
estableciendo una dependencia continua entre los parámetros C1 y C2:
(C1 , C2 ) 0

que sustituyendo se puede poner como:

( 1 ( x, y, z ), 2 ( x, y, z )) 0
2 2
, donde es una función arbitraria de clase C1, que si cumple 1 2
0,

represente una relación funcional válida.

Problema de Cauchy (PCH): Si se exige de la familia de superficies arbitrarias
anterior aquella que pasa por una curva dada, que denominaremos curva directriz.
Suponiendo que la curva directriz viene dada por la intersección de las superficies
linealmente independientes, definidas por las funciones siguientes:

1 ( x, y , z ) 0
curva directriz
2 ( x, y , z ) 0

2
El PCH queda definido por la ecuación y esta representación de la condición inicial. La
solución del PCH viene dado por el sistema de ecuaciones no lineales formado por estas
4 ecuaciones: 2 de la congruencia de las curvas y 2 de la curva directriz, con 5
incógnitas {x, y, z, C1, C2}, donde buscamos una relación entre C1 y C2. Pudiendo
ocurrir tres casos:

(C1 , C2 ) 0 solución del PCH

C1 , C2 soluciones del PCH
solución de C1 ,C2 solución del PCH

Ej1_c3: Resolver por el ML la ecuación siguiente: cux u y 0

dx dy du
El sistema de EDO equivalente es:
c 1 0
dx c dy cy x C1
, integrándole nos queda: , la primera relación es la
du 0 u C2

proyección de las curvas características. La solución general implícita es:

arb ( cy x, u ) 0

, que con la ayuda del teorema de existencia y unidad de funciones implícitas, podremos
obtener la solución general en su forma explícita:

u arb ( x cy ) .
Veamos cual es la solución de los PCH siguientes:
1. Sea la condición inicial: u( x,2x) f ( x) . Podemos proceder de dos formas:
Imponiéndola a la solución general conoceremos el valor de la función arbitraria
de la solución general: arb ( x 2cx) f ( x) . Tomando

r
r x(1 2c), arb (r ) f , por lo que la solución particular del problema
1 2c

x cy
es u f .
1 2c

x cy C1
u C2
Resolviendo el sistema de ecuaciones siguiente:
y 2x
u f ( x)

3
 de la segunda y cuarta relaciones C2 f ( x) , y de la primera y tercera C1 x 2 xc ,

C1 x cy
por lo que C2 f 0 , así que, u f .
1 2c 1 2c
u
u
x-cy=C1
u=C2

x x

y
y

x cy C1
u C2
x x
2. u ( x, ) 0 ; y
c c curva directriz
u 0

De la primera y tercera relaciones C1 0 , mientras que de la segunda y la cuarta

C2 0 , al no existir relación funcional de C1, C2, esta queda indeterminada.

x
3. u ( x, ) x : La última ecuación es u=x, con lo que resulta que C1 tiene que ser
c
igual a x, lo que es imposible, no existe solución del PCH.

Método de Lagrange con nvi

El planteamiento es similar al caso anterior, solo que en vez de dos ecuaciones

diferenciales ordinarias, se tendrán n ecuaciones diferenciales ordinarias:
dx1 dxn du
..... ,
a1 an c

, y se obtendrán n integrales primeras: Ci i ( x, u ) i 1....n

La solución general cartesiana de la ecuación quedará de la forma

arb ( 1 ( x, u ),.... n ( x, u )) 0 ; la solución particular cartesiana del PCH se obtendrá

imponiendo la condición inicial.

ux u y uz u 2 , x, y, z
Ej2_c3_L1:
u ( x, y, 0) f ( x, y), x, y

4
 dx dy x y C1
du 1
dx dy dz dx dz x z C2 arb (z , x y, x z ) 0
u2 u
du 1
dz z C3 u 0
u2 u
1
De donde, despejando u u
arb ( x y, x z ) z
1
1. PCH: imponiendo la condición inicial u ( x, y, 0) f ( x, y) .
arb ( x y, x)
1
r x y, s x arb (r , s )
f ( s, s r )
1 f ( x z, y z )
arb ( x y, x z ) , la solución particular es u
f ( x z, y z ) 1 zf ( x z, y z )

Problema Inverso
Hasta ahora, lo que se ha estado haciendo es, dada aux + buy = c, obtener
ar ( 1, 2)=0; pero ahora nos planteamos exactamente la situación inversa, es decir, dada
ar ( 1, 2)=0, obtener la E.D.P. de la que es solución, para lo que :
Derivamos respecto de x y de y:

1
( 1x 1u ux ) 2
( 2x 2u ux ) 0

1
( 1y 1u uy ) 2
( 2y 2u uy ) 0

Lo que puede verse como un sistema con variables 1

, 2
, y como no se anulan

simultáneamente pues ar ( 1, 2)=0 es una relación funcional, deberá verificarse que:

1x 1u ux 2x 2u ux
0 , que es la ecuación que se busca, pudiéndose
1y 1u uy 1y 1u uy

comprobar que la ecuación que resulta es:

( 1, 2 ) ( 1, 2 ) ( 1, 2 )
ux uy
( y, u ) (u, x) ( x, y)
Ej3_c3: Dada la congruencia de curvas dada por (u, y x) 0 , buscar la ecuación de
la que es solución. Siguiendo los pasos que se acaban de indicar, se obtiene fácilmente,

1x 0, 1u 1, 2y 1, 2u 0
1 u, 2 y x
1y 0, 2x 1

5
que nos da la ecuación: ux u y 0 . Comprobar cuál es su solución general.

MMII_c4_ej1: Resolver mediante el método de Lagrande los PCH

siguientes xux yu y 0 , con a) u ( x, x 2 ) f ( x) ; b) u( x, x) x ; c) u( x, x) 0

dx dy du y
Integrando c1; u c2 es decir: u ar ( y / x)
x y 0 x

u
u
y/x =C1
u=C2

x x

y
y

y y
a) u ( x, x 2 ) f ( x) : c1; u c2 ; y x2 ; u f ( x) c2 f (c1 ) u f( )
x x

y
b) u( x, x) x: c1; u c2 ; y x; u x c1 1; c2 x no existe solución.
x

y
c) 0: c1; u c2 ; y x; u 0 c1 1; c2 0 existen infinitas soluciones.
x

ut 2 u t
MMII_c4_ej2: t ux . Por el método de las Lagrange, se obtiene que
2 1 2 t2

dx
2dt
t x t2 C1
2
PCC
1 2t u (1 2t 2 ) C2
2dt du
2 u t
y la solución general cartesiana será:

2 2 (x t2 )
arb
arb ( x t , u (1 2t )) 0 th.F .I . u
1 2t 2

Imponiendo las condiciones iniciales:

6
 (0)
a) u( t 2 , t ) t arb
t , no existe solución ya que:
1 2t 2
C1 0, C2 t (1 2t 2 ) cte

(0)
b) u( t 2 , t ) 0 arb
0 : existen infinitas soluciones: C1 arb (0) 0,
1 2t 2
sen(2 x) x 1
c) u ( x, 0) r ( x)
0 x 1

( x)
arb
2 0 r ( x) arb ( x) r ( x)
1
sen(2 (x t 2 ))
r(x t 2 ) x+t 2 1
u 1 2t 2
1 2 t2
0 x+t 2 1

Interpretando la solución, la onda solución se desplaza a lo largo de las parábolas

que son las proyecciones de las curvas características, y sólo existe entre los valores de
1
x comprendidos entre –1 y 1, y se amortigua con el factor 2
.
2t 1
u

u(x,0)

1 x
-1
Proyecciones de
las curvas
características
u(x,t)

7
 En el ML puede ser de utilidad considerar combinaciones lineales de las
dx dy du d( x y u)
relaciones básicas: , como por
a ( x, y , u ) b( x, y, u) c( x, y , u ) a b c
ejemplo: sea la ecuación: x( y u)ux y(u x)u y u( y x) 0 , se obtienen

cómodamente dos integrales primeras como se indica:

dx dy du
dx dy du d(x y u) x y u
, obteniéndose:
x( y u ) y (u x ) u( x y ) 0 0

x + y + u = c1
x y u = c2