El problema de Cauchy el método de las caracterı́sticas

Miguel Angel Vargas Cruz

17 de Abril del 2023

1. Muestre cuál es la diferencia entre una EDP lineal y una EDP cuasilineal. Considere la definición matemática
para su explicación.

EDP Lineal. Una EDP es lineal si puede ser escrita en la forma general:
X ∂2u X ∂u
L(u) = aij (x) + bi (x) + c(x)u − f (x) = 0
i,j
∂xi ∂xj i
∂x i

donde u = u(x) es la función desconocida, x = (x1 , x2 , . . . , xn ) es un vector de variables independientes, aij (x), bi (x), c(x)
son funciones de coeficientes dadas, y f (x) es una función dada. Las sumas se extienden sobre todos los indices
i, j = 1, 2, . . . , n.

Una EDP lineal cumple con las siguientes condiciones:

• La función desconocida u y sus derivadas parciales de cualquier orden sólo aparecen en forma lineal (es decir,
con exponentes de 1).
• Los coeficientes aij (x), bi (x), c(x) no dependen de la función desconocida u ni de sus derivadas parciales.
EDP Cuasilineal. Una EDP es cuasilineal si es lineal en las derivadas parciales de orden más alto de la función
desconocida, pero los coeficientes de estas derivadas pueden depender de la función misma y/o de sus derivadas
parciales de orden inferior. La forma general de una EDP cuasilineal de primer orden es:
∂u ∂u ∂u
A(u, x) + B(u, x) + · · · + N (u, x) = F (u, x)
∂x1 ∂x2 ∂xn
donde A(u, x), B(u, x), . . . , N (u, x) y F (u, x) son funciones de la función desconocida u y sus variables independientes
x.

La principal diferencia entre una EDP lineal y una EDP cuasilineal radica en la dependencia de los coeficientes
en la función desconocida u y sus derivadas parciales. En las EDP lineales, los coeficientes sólo dependen de las
variables independientes, mientras que en las EDP cuasilineales, los coeficientes también pueden depender de la
función desconocida u y/o de sus derivadas parciales de orden inferior.

2. Explique de manera clara y precisa en qué consiste el problema de Cauchy.

El problema de Cauchy es un problema de valores iniciales para EDP’s, en el cual se busca encontrar una solución
de una EDP en un dominio que satisface ciertas condiciones iniciales en una hipersuperficie (la cual suele ser un
subconjunto de menor dimensión en el espacio donde la función desconocida está definida).

De manera general, el problema de Cauchy puede ser definido para una EDP de primer orden como sigue:

Dada una EDP cuasilineal de primer orden,

 
∂u ∂u ∂u
F x, u, , ,..., =0
∂x1 ∂x2 ∂xn

y una hipersuperficie S parametrizada por φ : Rn−1 → Rn , φ(ξ) = x0 , con ξ = (ξ1 , ξ2 , . . . , ξn−1 ), queremos encontrar
una función u(x) que satisface la EDP y las condiciones iniciales en S:

u(φ(ξ)) = u0 (ξ)

1
donde u0 (ξ) es una función dada en la hipersuperficie S. El problema de Cauchy para una EDP lineal se plantea de
manera similar. Consideremos la EDP lineal general:
X ∂2u X ∂u
L(u) = aij (x) + bi (x) + c(x)u − f (x) = 0
i,j
∂xi ∂xj i
∂xi

Dada una hipersuperficie S parametrizada por φ : Rn−1 → Rn , φ(ξ) = x0 , con ξ = (ξ1 , ξ2 , . . . , ξn−1 ), buscamos una
solución u(x) que satisface la EDP y las condiciones iniciales en S :

u(φ(ξ)) = u0 (ξ)

Sin embargo, no siempre existe una solución única y, en algunos casos, puede no haber solución o existir múltiples
soluciones.

3. Explique cómo funciona de manera general el método de las caracterı́sticas.

El método de las caracterı́sticas es una técnica para resolver EDP’s de primer orden, especialmente EDP’s cuasi-
lineales. Este método transforma la EDP en un sistema EDO, lo que permite encontrar soluciones de manera más
sencilla.

Consideremos una EDP cuasilineal de primer orden en dos variables:

∂u ∂u
A(u, x, y) + B(u, x, y) = C(u, x, y)
∂x ∂y
donde A, B, y C son funciones de u, x, y y. El método de las caracterı́sticas se basa en buscar curvas parametrizadas
(x(t), y(t)) en el plano (x, y), llamadas ”caracterı́sticas”, de modo que a lo largo de estas curvas la EDP se convierta
en una EDO.

Derivamos u(x(t), y(t)) con respecto a t:

du ∂u dx ∂u dy
= +
dt ∂x dt ∂y dt
dx dy
Ahora, si escogemos = A(u, x, y) y = B(u, x, y), obtenemos:
dt dt
du ∂u ∂u
= A(u, x, y) + B(u, x, y)
dt ∂x ∂y
Comparando esto con la EDP original, podemos reemplazar la derivada de u con respecto a t:
∂u ∂u
C(u, x, y) = A(u, x, y) + B(u, x, y)
∂x ∂y
Entonces, el método de las caracterı́sticas transforma la EDP cuasilineal en el siguiente sistema de EDO:
dx


 = A(u, x, y)



 dt
dy

= B(u, x, y)


 dt
 du = C(u, x, y)



dt
Este sistema de EDO puede resolverse utilizando diversas técnicas, como el método de Euler, el método de Runge-
Kutta, entre otros. Una vez que se encuentra la solución u(t), se puede despejar u(x, y) en términos de las variables
originales.

Es importante mencionar que el método de las caracterı́sticas es aplicable principalmente a EDP cuasilineales de
primer orden, y su éxito depende de la estructura de la ecuación y las condiciones iniciales. En algunos casos, puede
no ser aplicable o no proporcionar una solución única.

2
4. A partir del método de las caracterı́sticas encuentre la solución para una EDP lineal de primer orden. Utilizando
el mismo método, encuentre la solución de una EDP cuasilineal de primer orden.

Solución para una EDP lineal de primer orden

Consideremos una EDP lineal de primer orden en dos variables:

∂u ∂u
a(x, y) + b(x, y) = c(x, y)
∂x ∂y
Aplicando el método de las caracterı́sticas, planteamos el siguiente sistema de EDO:
dx


 = a(x, y)



 dt
dy

= b(x, y)


 dt
 du = c(x, y)



dt
Resolvemos las dos primeras ecuaciones del sistema de EDO para obtener las curvas caracterı́sticas en función del
parámetro t:  Z
x(t) = a(x(t), y(t))dt + x (s)

 0
Z
y(t) = b(x(t), y(t))dt + y0 (s)



donde x0 (s) y y0 (s) son funciones de s, un parámetro que representa la curva caracterı́stica.

Sustituimos las soluciones x(t) y y(t) en la tercera ecuación del sistema de EDO:

du
= c(x(t), y(t))
dt
Integramos la ecuación con respecto a t para obtener u(t, s):
Z
u(t, s) = c(x(t), y(t))dt + u0 (s)

donde u0 (s) es una función de s. Eliminamos el parámetro t al expresar s en términos de x y y utilizando las
soluciones x(t) y y(t):
s = G(x, y)
Sustituimos s en la solución u(t, s) para obtener la solución de la EDP lineal de primer orden en términos de las
variables originales x y y:
u(x, y) = u(t, G(x, y))

Solución para una EDP cuasilineal de primer orden

Consideremos una EDP cuasilineal de primer orden en dos variables:

∂u ∂u
A(u, x, y) + B(u, x, y) = C(u, x, y)
∂x ∂y
Aplicando el método de las caracterı́sticas, planteamos el siguiente sistema de EDO:
dx


 = A(u, x, y)
 dt



dy

= B(u, x, y)


 dt
 du = C(u, x, y)



dt

3
Resolvemos las dos primeras ecuaciones del sistema de EDO para obtener las curvas caracterı́sticas en función del
parámetro t:  Z


 x(t) = A(u(t), x(t), y(t))dt + x0 (s)
Z
y(t) = B(u(t), x(t), y(t))dt + y0 (s)



donde x0 (s) y y0 (s) son funciones de s, un parámetro que representa la curva caracterı́stica.

Sustituimos las soluciones x(t) y y(t) en la tercera ecuación del sistema de EDO:
du
= C(u(t), x(t), y(t))
dt
Integramos la ecuación con respecto a t para obtener u(t, s):
Z
u(t, s) = C(u(t), x(t), y(t))dt + u0 (s)

donde u0 (s) es una función de s. Eliminamos el parámetro t al expresar s en términos de x y y utilizando las
soluciones x(t) y y(t):
s = G(x, y)
Sustituimos s en la solución u(t, s) para obtener la solución de la EDP cuasilineal de primer orden en términos de
las variables originales x y y:
u(x, y) = u(t, G(x, y))

Referencias

[1] Tveito, A., Winther, R. (2005). Introduction to partial differential equations: A computational approach. Springer.
DOI: 10.1007/b138016.
[2] Shah, N. H., Jani, M. Y. (2021). Partial differential equations: An introduction. CRC Press.
[3] Tolstykh, V. A. (2020). Partial differential equations: An unhurried introduction. de Gruyter.
[4] Borodzik, M., Goldstein, P., Rybka, P., Zatorska-Goldstein, A. (2019). Problems on partial differential equations. Springer.
DOI: 10.1007/978-3-030-14734-1.
[5] Sauvigny, F. (2012). Partial differential equations 1: Foundations and integral representations. Springer. DOI: 10.1007/978-
1-4471-2981-3.
[6] Nandakumaran, A. K., Datti, P. S. (2020). Partial differential equations: Classical theory with a modern touch. Cambridge
University Press.
[7] Salsa, S. (2015). Partial differential equations in action: From modelling to theory. Springer. DOI: 10.1007/978-3-319-
15093-2.
[8] Fritz, J. (1971). Partial Differential Equations. Springer. DOI: 10.1007/978-1-4615-9966-1.
[9] Arnold, V. I. (2004). Lectures on partial differential equations. Springer. DOI: 10.1007/978-3-662-05441-3.
[10] Alazard, T., Zuily, C. (2020). Tools and problems in partial differential equations. Springer. DOI: 10.1007/978-3-030-
50284-3.
[11] Taylor, M. (2011). Partial Differential Equations I. Springer. DOI: 10.1007/978-1-4419-7055-8.
[12] Taylor, M. (2011). Partial Differential Equations II. Springer. DOI: 10.1007/978-1-4419-7052-7.
[13] Arrigo, D. J. (2019). Analytical techniques for solving nonlinear partial differential equations. Morgan & Claypool.
[14] Nakao, M. T., Plum, M., Watanabe, Y. (2019). Numerical verification methods and computer-assisted proofs for partial
differential equations. Springer. DOI: 10.1007/978-981-13-7669-6.
[15] Henner, V., Belozerova, T., Nepomnyashchy, A. (2020). Partial differential equations: Analytical methods and applica-
tions. CRC Press.
[16] Exner, P., Frank, R. L., Gesztesy, F., Holden, H., Weidl, T. (2021). Partial differential equations, spectral theory, and
mathematical physics: The Ari Laptev Anniversary Volume. EMS Press.
[17] Bagchi, B. K. (2020). Partial differential equations for mathematical physicists. CRC Press.
[18] Öchsner, A. (2020). Partial differential equations of classical structural members: A consistent approach. Springer. DOI:
10.1007/978-3-030-35311-7.
[19] Chetverushkin, B. N., Fitzgibbon, W., Kuznetsov, Y. A., Neittaanmäki, P., Periaux, J., Pironneau, O. (2019). Contribu-
tions to partial differential equations and applications. Springer. DOI: 10.1007/978-3-319-78325-3.
[20] Vargas, M. (2023). References. Recuperado de: https://www.miguelangelvargascruz.com/en/references

UNADM. Universidad Abierta y a Distancia de México.

Licenciatura en matemáticas · Ecuaciones diferenciales parciales · Unidad 1. Actividad 2. El problema de Cauchy el método
de las caracterı́sticas.
Miguel Angel Vargas Cruz · Creative Commons Attribution license (CC BY 4.0)