Generalized Hamiltonian gradient flow of contact type I: regularity of the fundamental solutions

Resumen Técnico: Flujo de Gradiente Hamiltoniano Generalizado de Tipo Contacto I: Regularidad de las Soluciones Fundamentales

Planteamiento del Problema
Este artículo investiga las propiedades de regularidad asociadas a las soluciones fundamentales de ecuaciones de Hamilton-Jacobi de tipo contacto. Específicamente, se centra en los flujos de gradiente hamiltonianos generalizados definidos por la desigualdad de disipación de energía (EDI) y la ecuación de características singulares estrictas (SC). Los autores abordan la necesidad de obtener estimaciones precisas de regularidad de primer y segundo orden para la solución fundamental $h_L(t, x, y, u)$, la cual surge del principio de variación de Herglotz. Mientras que la dinámica de los sistemas hamiltonianos de contacto y su comportamiento a largo plazo han recibido una atención creciente, un análisis intrínseco riguroso de la regularidad de sus soluciones fundamentales —particularmente en el contexto de los flujos de gradiente generalizados— sigue siendo una laguna fundamental. El trabajo se sitúa en el entorno euclidiano ($\mathbb{R}^n$), pero está destinado a sustentar aplicaciones más amplias en variedades.

Metodología
Los autores adoptan un marco variacional basado en el principio de Herglotz. La solución fundamental $h_L(t, x, y, u)$ se define como el ínfimo de un funcional de acción sobre curvas que conectan $x$ con $y$, donde la acción está acoplada con una ecuación diferencial para una variable auxiliar $u_\xi$ (que representa la evolución de la "energía" o la variable de contacto del sistema).

La metodología central consiste en:

1. Análisis Variacional: Análisis detallado de las trayectorias minimizantes $\xi$ y sus arcos duales asociados $p$. Los autores utilizan la ecuación de Herglotz y las ecuaciones de Lie correspondientes (sistema hamiltoniano con un término de contacto) para caracterizar los minimizadores.
2. Análisis de Sensibilidad: La derivación de las relaciones de sensibilidad de primer orden mediante la perturbación de las condiciones de contorno ($x, y, u$) y el horizonte temporal ($t$). Esto implica resolver las ecuaciones variacionales asociadas para vincular las derivadas de la función de valor $h_L$ con los arcos duales de las trayectorias minimizantes.
3. Estimaciones Cuantitativas: El establecimiento de estimaciones de segundo orden mediante la construcción de curvas de comparación específicas. Al definir curvas perturbadas $\xi^\pm$ y analizar la convexidad/concavidad del Lagrangiano $L$ (asumido como $C^2$, estrictamente convexo en la velocidad, y que satisface crecimiento superlineal y condiciones de acotación en su derivada $r$), los autores derivan cotas explícitas para las diferencias de segundo orden de $h_L$.
4. Argumentos de Gronwall y Compacidad: Las demostraciones se apoyan fuertemente en la desigualdad de Gronwall para controlar el crecimiento de las perturbaciones en la variable auxiliar $u_\xi$ y la trayectoria $\xi$, junto con argumentos de compacidad para asegurar cotas uniformes de los minimizadores dentro de conos específicos del dominio.

Contribuciones Clave y Resultados

• Regularidad de Primer Orden (Relaciones de Sensibilidad):
  El artículo establece relaciones precisas entre las derivadas de la solución fundamental $h_L$ y los arcos duales de las trayectorias minimizantes.

  • Derivadas Espaciales: El superdiferencial de $h_L$ con respecto al punto final $y$ contiene el momento dual $p(t) = L_v(\xi(t), \dot{\xi}(t), u_\xi(t))$. De manera similar, la derivada con respecto al punto inicial $x$ está vinculada al momento inicial $p(0)$, escalado por un factor exponencial que involucra la integral de $L_u$.
  • Variables $u$ y Tiempo $t$: El artículo deriva fórmulas explícitas para los superdiferenciales con respecto al valor inicial $u$ y al tiempo $t$. Notablemente, se muestra que la derivada temporal se relaciona con el Hamiltoniano $H$ evaluado a lo largo de la trayectoria: $D_t h_L = -H(\xi(t), p(t), u_\xi(t))$.
  • Diferenciabilidad: Donde $h_L$ es diferenciable, estos superdiferenciales se convierten en gradientes exactos, proporcionando un vínculo directo entre el gradiente de la solución de viscosidad y la dinámica hamiltoniana de contacto subyacente.

• Regularidad de Segundo Orden (Semiconcavidad y Convexidad):
  Los autores demuestran estimaciones cuantitativas para la semiconcavidad y semiconvexidad de $h_L$:

  • Semiconcavidad: Se demuestra que $h_L$ es localmente semiconcava en todas las variables $(t, x, y, u)$. El artículo proporciona una cota superior explícita para la diferencia de segundo orden de $h_L$ en términos de las normas al cuadrado de las perturbaciones, escalada por $1/t$.
  • Semiconvexidad de Tiempo Corto: Para tiempos $t$ suficientemente pequeños, se prueba que la función es semiconcava en un cono específico $S_{\lambda, \delta}$.
  • Convexidad Uniforme:
    • En la variable espacial $y$ (y de manera similar en $x$), $h_L$ es uniformemente convexa en bolas $B(x, \lambda t)$ para tiempos cortos, con una constante de convexidad proporcional a $1/t$.
    • En la variable temporal $t$, bajo la condición de que las trayectorias minimizantes tengan una velocidad no nula (una cota inferior en $|\dot{\xi}|^2$), $h_L$ es uniformemente convexa respecto al tiempo.
  • Regularidad $C^{1,1}$: Combinando estos resultados, el artículo concluye que, para tiempos cortos, el mapa $(t, y, u) \mapsto h_L(t, x, y, u)$ es localmente $C^{1,1}$ (continuamente diferenciable con derivadas Lipschitz).

Significancia y Reivindicaciones
El artículo se posiciona como el primero en una serie dedicada a la teoría de los flujos de gradiente hamiltonianos generalizados en el contexto de tipo contacto. Los autores afirman que las propiedades de regularidad establecidas son fundamentales para:

• Métodos Intrínsecos: Proporcionar las estimaciones necesarias para analizar la propagación de singularidades y los flujos de gradiente generalizados de manera intrínseca dentro del contexto de contacto.
• Conexiones Teóricas: Clarificar la relación entre la solución fundamental y el sistema hamiltoniano de contacto subyacente, lo cual es esencial para la teoría KAM débil.
• Aplicaciones Más Amplias: Los resultados se presentan como esenciales para diversas áreas existentes y en desarrollo, incluyendo la regularización de Lasry–Lions, el teorema de Arnaud sobre la evolución de la gráfica ampliada de los gradientes, la regularidad SBV de las soluciones de viscosidad, los conmutadores de Lax–Oleinik y problemas de transporte óptimo.

Este trabajo no propone nuevas aplicaciones experimentales, sino que consolida los fundamentos analíticos requeridos para estos desarrollos teóricos avanzados. Los autores enfatizan que las estimaciones cuantitativas derivadas son cruciales para manejar los fenómenos de irreversibilidad intrínsecos a los sistemas hamiltonianos de contacto, particularmente en la dirección hacia adelante del tiempo.