Resolución de EDPs no lineales de primer orden usando el método de

las caracterı́sticas
Someone

1. Introducción
Consideremos una EDP no lineal de primer orden de la forma

F (∇u, u, x) = 0 (1)

Donde u = u(x1 , ..., xn ) sobre un entorno abierto U sujeto a las condiciones de frontera

u=g sobre Γ (2)

Donde Γ ⊂ ∂U y g : Γ → R están dadas. También suponemos que F, g son suaves en U .

El método de las caracterı́sticas convierte a la EDP no lineal en un sistema de EDOs apropiado. Supongamos
que u es la solución de (1) y fijemos un punto x ∈ U . Nos gustarı́a calcular u(x) por medio de una curva que
pase a través de U , que conecte x con un punto x0 ∈ Γ sobre la cuál podamos evaluar u. Como (2) establece
que u = g sobre Γ, conocemos el valor de u en un extremo x0 . Entonces esperamos ser capaces de calcular u a
lo largo de toda la curva, y en particular en x.
Para encontrar la curva necesaria, supongamos que está parametrizada por la función ~x(s) = (x1 (s), ..., xn (s)),
el parámetro s está definido sobre algún intervalo de R. Asumiendo que u es una solución de (1), definamos

z(s) = u(~x(s)) (3)

Además
p~(s) = ∇u(~x(s)) (4)
1 n
tal que p~(s) = (p (s), ..., p (s)), donde
∂u
pi (s) =
(~x(s)) (5)
∂xi
Ası́ que z da el valor de u a lo largo de la curva y p~ almacena el valor del gradiente ∇u. Debemos escoger la
función ~x de tal forma que podamos evaluar z y p~. Para esto, primero derivemos (5)
n
dpi X ∂2u
= p0i (s) = (~x(s))x0j (s) (6)
ds j=1
∂xi ∂xj

La expresión anterior es algo complicada debido a que involucra segundas derivadas de u. Por otra parte, también
podemos derivar (1) con respecto a xi
n
X ∂F ∂2u ∂F ∂u ∂F
(∇u, u, x) + (∇u, u, x) + (∇u, u, x) = 0 (7)
j=1
∂pj ∂xj ∂xi ∂z ∂xi ∂xi

Hemos sido capaces de usar esta identidad para evitar los términos de segundas derivadas en (6). Establezcamos
ahora
∂F
x0j (s) = (~
p(s), z(s), ~x(s)) (j = 1, ..., n) (8)
∂pj
Asumiendo ahora que (8) es correcta, evaluemos (7) en x = ~x(s), obteniendo con ayuda de (3) y (4) la identidad
n
X ∂F ∂2u ∂F ∂F
(~
p(s), z(s), ~x(s)) (~x(s)) + p(s), z(s), ~x(s))pi (s) +
(~ (~
p(s), z(s), ~x(s)) = 0
j=1
∂pj ∂xi ∂xj ∂z ∂xi

Sustituyendo esta expresión y (8) en (6)

∂F ∂F
p0i (s) = − p(s), z(s), ~x(s)) −
(~ p(s), z(s), ~x(s))pi (s) (i = 1, ..., n)
(~ (9)
∂xi ∂z

1
Finalmente diferenciamos (3)
n n
X ∂u X ∂F
z 0 (s) = (~x(s))x0j (s) = pj (s) (~
p(s), z(s), ~x(s)) (10)
j=1
∂xj j=1
∂pj

Para tener la segunda igualdad anterior también usamos (5) y (8). Podemos resumir los resultados anteriores
como
0

 a) p~ (s) = −Dx F (~


p(s), z(s), ~x(s)) − Dz F (~
p(s), z(s), ~x(s))~
p(s)


b) z 0 (s) = Dp (~
p(s), z(s), ~x(s)) · p~(s) (11)



c) ~x0 (s) = Dp F (~

p(s), z(s), ~x(s))


Este sistema de 2n + 1 EDOs de primer orden constituyen las ecuaciones caracterı́sticas de la EDP no lineal de
primer orden (1). Las funciones p~(·) = (p1 (·), ..., pn (·)), z(·), ~x(·) = (x1 (·), .., xn (·)) se conocen como funciones
caracterı́sticas.

F lineal
Consideremos un caso especial en el que la EDP es lineal y homogénea de la forma
F (∇u, u, x) = ~b(x) · ∇u(x) + c(x)u(x) = 0 (12)

p, z, ~x) = ~b(x) · p~ + c(x)z y por tanto

Entonces F (~
∂F ~
= b(x) (13)
∂p
Entonces la ecuación (11)c se convierte en
~x(s) = ~b(x(s)) (14)
Que es una EDO que involucra solo la función ~x. Avanzando en el desarrollo, la ecuación (11)b es

z 0 (s) = ~b(~x(s)) · p~(s) (15)

Como p~ = ∇u(~x), se puede simplificar la ecuación (15) usando (12)
z 0 (s) = −c(~x(s))z(s) (16)
Esta EDO es lineal en z una vez que conocemos la función ~x al resolver (14). En resumen tenemos

a) ~x0 (s) = ~b(~x(s))


(17)
b) z 0 (s) = −c(~x(s))z(s)

2. Ejemplo
Sea u = u(x, y), resolvamos la ecuación
∂u ∂u
−y +x = u en U
∂x ∂y
Sujeta a las condiciones u = g sobre Γ. Donde U es el cuadrante x > 0, y > 0 y Γ = {x > 0, y = 0} ⊂ ∂U . La
ecuación anterior está en la forma de la ecuación (12), con ~b = (−y, x) y c = −1, entonces tenemos
 0
 x = −y
y0 = x (18)
 0
z =z
Cuyas soluciones son 
 x(s) = x0 cos(s)
y(s) = x0 sin(s) (19)
z(s) = z 0 es = g(x0 )es


Ahorapfijemos un punto (x, y) ∈ U . Sea s > 0 tal que (x, y) = (x(s), y(s)) = (x0 cos(s), x0 sin(s)). Es decir
x0 = x2 + y 2 , s = arctan(y/x). Por tanto
u(x, y) = u(x(s), y(s)) = z(s) = g(x0 )es
p
= g( x2 + y 2 )earctan(y/x)