Linearization Problem for Third-Order ODEs with Four- and Five-Dimensional Lie Symmetry Algebras under Contact Transformations

Resumen Técnico: Linealización de EDOs de Tercer Orden con Álgebras de Simetría de Lie de Cuatro y Cinco Dimensiones bajo Transformaciones de Contacto

Planteamiento del Problema
El artículo aborda el problema de la linealización para ecuaciones diferenciales ordinarias (EDO) escalares de tercer orden de la forma $u''' = f(x, u, u', u'')$. Específicamente, investiga las condiciones bajo las cuales tales ecuaciones pueden transformarse en formas canónicas lineales mediante transformaciones de contacto (transformaciones que involucran la variable independiente, la variable dependiente y la primera derivada). El estudio se centra en dos clases específicas de ecuaciones linealizables caracterizadas por sus álgebras de simetría de Lie: aquellas que admiten un álgebra de Lie cuatridimensional y aquellas que admiten un álgebra de Lie pentadimensional.

Mientras que trabajos anteriores (por ejemplo, Chern, Neut, Petitot, Ibragimov, Meleshko y Al-Dweik et al.) han establecido criterios para la linealización bajo transformaciones puntuales o han proporcionado condiciones para la equivalencia a formas lineales, este trabajo tiene como objetivo:

1. Generalizar estos resultados a la clase más amplia de transformaciones de contacto.
2. Distinguir claramente entre las formas canónicas que admiten cuatro versus cinco simetrías.
3. Proporcionar un procedimiento explícito y algorítmico para construir las transformaciones de contacto que reducen una EDO no lineal dada a su forma canónica lineal, en lugar de meramente establecer condiciones de existencia.

Metodología
Los autores emplean el método de equivalencia de Cartan para resolver el problema. La metodología procede a través de los siguientes pasos técnicos:

1. Configuración Geométrica: El problema se formula en el espacio de jets de segundo orden $J^2$ con coordenadas locales $(x, u, p, q)$ donde $p=u'$ y $q=u''$. Se define un co-frame base, y la equivalencia de dos EDOs bajo transformaciones de contacto se expresa como una condición fundamental de equivalencia que involucra un pullback de este co-frame por un grupo estructural de nueve dimensiones $G$.
2. Proceso de Reducción: Los autores realizan una reducción sistemática del grupo estructural normalizando los coeficientes de torsión en las ecuaciones estructurales. Esto implica:
   • Absorber los términos de torsión en los parámetros del grupo.
   • Identificar coeficientes de torsión esenciales que sirven como invariantes relativos ($I_1, I_2, \dots, I_{15}$).
   • Ramificar el análisis basándose en la anulación o no anulación de estos invariantes.
3. Ramificación y Clasificación: El proceso de reducción conduce a dos ramas principales basadas en el invariante $I_3$ (relacionado con la no anulación de un invariante de tipo Wünschmann).
   • Rama $I_3 \neq 0$: Una reducción adicional conduce a una sub-rama definida por la anulación de un conjunto de invariantes ($I_6, I_8, I_{10}, I_{11}, I_{12}$). Dentro de esta, se hace una distinción adicional basada en el invariante $K = I_9/J_3^2$:
     • Caso $K$ es constante: Corresponde a la forma canónica $\bar{u}''' = s\bar{u}' + \bar{u}$ (cinco simetrías).
     • Caso $K$ no es constante: Corresponde a la forma canónica $\bar{u}''' = \bar{a}_3(\bar{x})\bar{u}$ (cuatro simetrías), sujeto a condiciones adicionales de anulación sobre las derivadas de $K$.
4. Construcción de Transformaciones: Una vez establecidos los coframes invariantes para las formas canónicas, los autores derivan sistemas de ecuaciones diferenciales parciales (EDP) para construir las transformaciones de contacto explícitas. Estos sistemas son de naturaleza lineal o de Riccati, ofreciendo una alternativa constructiva a la resolución directa de sistemas de EDP no lineales.

Resultados Clave

• Teorema 3.1 (Cinco Simetrías): Una EDO de tercer orden es equivalente a la forma canónica $\bar{u}''' = s\bar{u}' + \bar{u}$ (donde $s$ es una constante) mediante transformaciones de contacto si y solo si los invariantes relativos $I_6, I_8, I_{10}, I_{11}, I_{12}$ se anulan idénticamente, y el invariante $K$ es constante (específicamente $K=s$).
• Teorema 3.2 (Cuatro Simetrías): Una EDO de tercer orden es equivalente a la forma canónica $\bar{u}''' = \bar{a}_3(\bar{x})\bar{u}$ (donde $\bar{a}_3$ no es constante) mediante transformaciones de contacto si y solo si los invariantes relativos $I_6, I_8, I_{10}, I_{11}, I_{12}$ se anulan, y los invariantes adicionales $I_{13}, I_{14}, I_{15}$ (que involucran derivadas de $K$) se anulan, con la condición de que $K$ no es constante ($\hat{D}_x K \neq 0$).
• Procedimientos Constructivos (Proposiciones 4.1 y 4.2): El artículo proporciona algoritmos explícitos para encontrar las transformaciones de contacto $(\bar{x}, \bar{u}, \bar{p}) = (\phi, \psi, \chi)$:
  • Para el caso de cinco simetrías, la transformación se encuentra resolviendo un sistema de EDP lineales de primer orden para funciones auxiliares $a_1, \phi, \eta, \chi, \psi$.
  • Para el caso de cuatro simetrías, el procedimiento implica un paso adicional de resolver una ecuación de tipo Riccati para una función auxiliar $H$, seguido de sistemas lineales para $b, a_1, \phi, \eta, \chi, \psi$.
• Ejemplos Ilustrativos:
  • Se muestra que la ecuación $u''' = \alpha (u'')^2 / u'$ es linealizable a la forma de cinco simetrías bajo transformaciones de contacto, pero no bajo transformaciones puntuales (demostrando la necesidad del marco de contacto).
  • Se muestra que la ecuación $u''' = -x(u')^4(u'')^3 + u(u')^3(u'')^3$ es linealizable a la forma de cuatro simetrías bajo transformaciones de contacto, fallando nuevamente los criterios para la linealización por transformación puntual.

Significado y Afirmaciones
Los autores afirman que su trabajo proporciona un marco novedoso para implementar el método de Cartan que gestiona eficazmente la complejidad y el crecimiento de expresiones inherentes al problema de equivalencia. Las contribuciones principales son:

1. Generalización: Extender los criterios de linealización desde transformaciones puntuales a las transformaciones de contacto más generales, capturando así una clase más amplia de EDOs linealizables.
2. Distinción: Separar claramente las formas canónicas basándose en la dimensión de sus álgebras de simetría de Lie (cuatro versus cinco), las cuales anteriormente se trataban con menos distinción en el contexto de las transformaciones de contacto.
3. Construcción Algorítmica: A diferencia de enfoques anteriores que a menudo requerían resolver sistemas no lineales de EDP o no abordaban la construcción de transformaciones, este artículo ofrece un procedimiento constructivo y algorítmico. Al reducir el problema a sistemas de EDP lineales o de Riccati derivados de coframes invariantes, el método proporciona una vía práctica para calcular las transformaciones explícitas.
4. Claridad Geométrica: El uso de coframes invariantes proporciona una caracterización geométrica completa de las ecuaciones linealizables, definiendo las condiciones necesarias y suficientes para la equivalencia.

El artículo concluye que este marco ofrece una vía computacional efectiva para construir transformaciones de contacto, extendiendo la utilidad del método de equivalencia de Cartan a la linealización de EDOs de tercer orden en un contexto más amplio que el previamente disponible.