Recent progress in generalized Hamiltonian gradient flow: Singularities

Resumen Técnico: Progreso Reciente en el Flujo de Gradiente Hamiltoniano Generalizado: Singularidades

Enunciado del Problema
El artículo aborda la propagación de singularidades en ecuaciones de Hamilton-Jacobi (HJ), centrándose específicamente en la ecuación evolutiva $\partial_t u + H(x, D_x u) = 0$ y la ecuación estacionaria $H(x, D\phi) = c[H]$. Aunque las soluciones de viscosidad proporcionan un marco bien planteado para estas ecuaciones, generalmente son solo semiconcavas, lo que conduce a la formación de singularidades (puntos de no diferenciabilidad). Un desafío central en el campo es comprender la dinámica de estas singularidades, particularmente la existencia, unicidad y propagación global de "características generalizadas" y "características singulares estrictas" que emanan de puntos singulares. Además, el artículo investiga la conexión entre estas dinámicas singulares y las medidas invariantes del flujo asociado, relacionándolas específicamente con las medidas de Mather y el valor crítico de Ma˜n´e.

Metodología
Los autores emplean una síntesis de análisis variacional, teoría KAM débil, transporte óptimo y la teoría de flujos de gradiente en espacios métricos. Los componentes metodológicos clave incluyen:

1. Construcción Variacional mediante Movimientos Minimizantes: El artículo utiliza un esquema de movimientos minimizantes (análogo al esquema de Jordan-Kinderlehrer-Otto en transporte óptimo) para construir características generalizadas. Al tomar el límite débil de soluciones aproximadas generadas por problemas de maximización iterativa que involucran al semigrupo de Lax-Oleinik, los autores utilizan la compacidad de medidas de Young para demostrar que la curva límite satisface la inclusión diferencial de característica generalizada.
2. Formalismo de la Desigualdad de Disipación de Energía (EDI): Los autores adoptan el marco EDI de la teoría de flujos de gradiente para definir "curvas de máxima pendiente". Al seleccionar el elemento de energía mínima $p^\#_{\phi,H}(x)$ del superdiferencial $D^+\phi(x)$, definen "características singulares estrictas" que satisfacen una ecuación diferencial ordinaria (EDO) específica en lugar de una inclusión diferencial con una envoltura convexa.
3. Levantamiento al Espacio de Trayectorias: Para abordar la falta de unicidad en la dinámica hacia adelante de las características singulares estrictas (un problema conocido para Hamiltonianos de Tonelli generales), los autores levantan la dinámica al espacio de trayectorias $C_0^+ = C_0([0, +\infty), M)$. Definen un semiflujo en este espacio de trayectorias y estudian sus medidas de probabilidad invariantes.
4. Punto de Vista Euleriano: El marco se extiende al espacio de medidas de probabilidad $\mathcal{P}_c(\mathbb{R}^m)$ (espacio de Wasserstein). Los autores definen operadores aleatorios de Lax-Oleinik y analizan la propagación de singularidades para ecuaciones de Hamilton-Jacobi definidas en el espacio de medidas.

Contribuciones y Resultados Clave

1. Construcción Variacional de Características Generalizadas:
   El artículo proporciona una construcción variacional rigurosa de características generalizadas. Al analizar la convergencia débil de los movimientos minimizantes, los autores demuestran que las curvas límite satisfacen la inclusión diferencial $\dot{\gamma}(s) \in \text{co } H_p(\gamma(s), D^+\phi(\gamma(s)))$. Esto establece un vínculo directo entre la construcción geométrica intrínseca de las singularidades y la teoría abstracta de flujos de gradiente.

2. Equivalencia de Características Singulares Estrictas y Rotos:
   Los autores prueban que las características singulares estrictas (definidas mediante la selección de energía mínima $p^\#_{\phi,H}$) coinciden con las "características rotas" (soluciones de la EDO sin la envoltura convexa). Este resultado, derivado de la estabilidad de la construcción variacional, aclara la relación entre diferentes nociones de trayectorias singulares encontradas en la literatura.

3. Caracterización de las Medidas de Mather mediante FGHG:
   Una nueva contribución principal es la caracterización dinámica de las medidas de Mather. Los autores prueban que para el semiflujo $(S^+_{\phi,H}, P_t)$ en el espacio de características singulares estrictas, las únicas medidas de probabilidad invariantes que alcanzan el valor crítico de Ma˜n´e $c[H]$ son las medidas de Mather proyectadas. Específicamente, establecen la identidad:
   $$c[H] = \max_{\phi \in SCL(M)} \sup_{\mu \in \mathcal{I}_M(\phi,H)} \int_{S^+_{\phi,H}} H(\gamma(0), p^\#_{\phi,H}(\gamma(0))) \, d\mu.$$
   Esto proporciona una caracterización puramente dinámica de las medidas mínimas de Mather dentro del marco de las características singulares estrictas.

4. Transporte de Masa y Ecuaciones de Continuidad:
   El artículo deriva la ecuación de continuidad asociada al semiflujo lagrangiano irregular de características singulares estrictas:
   $$\frac{d}{dt}\mu_t + \text{div}(H_p(x, p^\#_{\phi,H}(x)) \cdot \mu_t) = 0.$$
   Se demuestra que la masa concentrada en el lugar de corte y el soporte singular $C^{1,1}$ es no decreciente en el tiempo, reflejando la irreversibilidad de la propagación de la singularidad.

5. Extensión al Espacio de Wasserstein:
   Los autores extienden la teoría a ecuaciones de Hamilton-Jacobi en el espacio de medidas de probabilidad $\mathcal{P}_c(\mathbb{R}^m)$. Definen funcionales de energía potencial y operadores aleatorios de Lax-Oleinik, demostrando que la función de valor es una solución de viscosidad de una ecuación de Hamilton-Jacobi en el espacio de Wasserstein. Además, caracterizan la propagación de singularidades (puntos de corte) en este contexto de dimensión infinita.

Significado y Problemas Abiertos
El artículo afirma que el marco del Flujo de Gradiente Hamiltoniano Generalizado (FGHG) ofrece un lenguaje variacional y dinámico natural para unificar el estudio de la dinámica singular, la teoría ergódica, el transporte óptimo y el análisis geométrico. Al levantar la dinámica a espacios de trayectorias y utilizar el formalismo EDI, los autores proporcionan nuevas herramientas para manejar la no unicidad y la irreversibilidad inherentes a los flujos HJ singulares.

El artículo concluye delineando varios problemas abiertos, enfatizando que el campo sigue siendo altamente activo. Estos incluyen:

• Unicidad: Determinar si la convexidad estricta del Hamiltoniano es suficiente para garantizar la unicidad de las características singulares estrictas para sistemas generales de Tonelli.
• Rectificabilidad: Investigar la rectificabilidad $H^{n-1}$ del lugar de corte y sus implicaciones para la estructura métrica de los conjuntos de Aubry.
• Estabilidad: Analizar la estabilidad del lugar de corte bajo perturbaciones del potencial o del Hamiltoniano, particularmente en el contexto de la convergencia de Hausdorff.
• Extensiones: Generalizar el FGHG a sistemas hamiltonianos de contacto, Hamiltonianos no convexos y sistemas con baja regularidad.
• Límites de Desvanecimiento: Estudiar el comportamiento asintótico de las curvas de máxima pendiente estocásticas a medida que el ruido desaparece y la convergencia de los lugares de corte en problemas de descuento que tienden a cero.

Los autores posicionan estos problemas abiertos como direcciones críticas para la investigación futura, destacando las conexiones profundas entre el marco FGHG y preguntas más amplias en sistemas dinámicos y análisis geométrico.