Symplectic Transversality and Endpoint Green Estimates for Finite-Horizon Pontryagin Systems

Resumen Técnico: Transversalidad Simpléctica y Estimaciones de Green de Extremo para Sistemas de Pontryagin de Horizonte Finito

Planteamiento del Problema
El artículo aborda el análisis de sistemas de valor frontera de Pontryagin de tiempo discreto y horizonte finito tras la eliminación local de las variables de control. Si bien la teoría de control óptimo clásica proporciona condiciones de estacionariedad de primer orden, surge una dificultad significativa al invertir la linealización del sistema de dos puntos con constantes que permanezcan independientes del horizonte de tiempo $T$. Los argumentos estándar de la función implícita en dimensiones finitas para un horizonte fijo oscurecen este problema al ocultar la dependencia del horizonte en la norma de la inversa. Además, mientras que la dicotomía exponencial controla el forzamiento interior, las condiciones de extremo finitas introducen correcciones homogéneas que decaen desde el extremo opuesto. Estas correcciones, aunque pequeñas, son esenciales para establecer estimaciones no lineales ponderadas rigurosas. El artículo busca establecer la existencia local, la unicidad, la dependencia Lipschitz y las expansiones de primer orden para estos sistemas con constantes uniformes en el horizonte, sin asumir optimalidad global, definitud o disipatividad.

Metodología
Los autores desarrollan una cadena de argumentos centrados en una "inversa de extremo de dos puntos" para la linealización, verificada mediante transversalidad simpléctica.

1. Eliminación de Control y Linealización: Partiendo de un sistema de Pontryagin de tiempo discreto, los autores asumen una referencia estacionaria interior y utilizan el Teorema de la Función Implícita para eliminar localmente la variable de control $u_t$ como una función del estado y el costado hacia adelante ($u_t = \nu(x_t, p_{t+1})$). Esto reduce el sistema a un problema de valor frontera de estado-costado de dos puntos.
2. Propiedad de la Inversa Corregida por el Extremo: El aporte central es la Definición 4.1, que postula una "propiedad de inversa corregida por el extremo" para el sistema linealizado. Esta propiedad afirma que el problema lineal admite una solución única que satisface una estimación de Green específica. Crucialmente, esta estimación incluye términos de "corrección de extremo" (kernels de la forma $e^{-\gamma(t+T-s)}$ y $e^{-\gamma(T-t+s)}$) para dar cuenta del forzamiento cerca de un extremo que crea modos que decaen desde el otro.
3. Transversalidad Escalada: La Proposición 4.3 establece que esta propiedad de inversa se cumple si el sistema admite un desdoblamiento hiperbólico y una "matriz de frontera escalada" (construida a partir de subespacios estables/inestables y filas de frontera) es uniformemente invertible. Este es un punto de vista de la dicotomía exponencial para horizontes finitos discretos.
4. Reconstrucción No Lineal: Utilizando las estimaciones de Green corregidas por el extremo, los autores emplean un argumento de punto fijo en espacios ponderados dependientes del horizonte ($w_T(t) = e^{-\alpha t} + e^{-\alpha(T-t)}$). El Lema 4.5 proporciona una estimación de convolución ponderada que controla los residuales cuadráticos interiores. Los Teoremas 4.7 y 4.8 combinan estos elementos para probar la existencia local, la unicidad y las expansiones de primer orden tanto para mapas de extremo afines como suaves.
5. Verificación Simpléctica y LQ: Para verificar la hipótesis de la inversa al nivel de los datos matriciales, los autores utilizan la geometría simpléctica. Para sistemas Lineales-Cuadráticos (LQ), la matriz de transición es simpléctica. El Teorema 6.2 y el Corolario 6.3 muestran que si la matriz de frontera límite (formada por el subespacio estable y la condición de costado terminal) es no singular, la propiedad de la inversa se cumple. El Teorema 7.2 demuestra que para cada sistema LQ estabilizable con dinámica invertible y pesos definidos, esta condición de transversalidad se satisface, cubriendo casos con datos acoplados y no conmutantes.

Contribuciones Clave y Resultados

• Estimaciones Uniformes en el Horizonte: El artículo demuestra la existencia de ramas estacionarias locales para sistemas de Pontryagin de horizonte finito con constantes (existencia, unicidad, cotas Lipschitz) que son independientes del horizonte $T$.
• Estimaciones de Green Corregidas por el Extremo: Los autores derivan estimaciones de Green explícitas que incluyen términos de corrección específicos para el forzamiento de frontera, los cuales son necesarios para el análisis no lineal.
• Certificado de Transversalidad Simpléctica: El artículo proporciona un certificado verificable a nivel de datos para la hipótesis de la inversa utilizando matrices simplécticas. Demuestra que la condición es abierta y se cumple para todos los sistemas LQ estabilizables con dinámica invertible y pesos definidos, incluso cuando los datos están acoplados y no conmutan.
• Estacionariedad Local vs. Optimalidad: Los resultados son estrictamente resultados de estacionariedad local. No requieren condiciones suficientes de segundo orden, optimalidad global o disipatividad. El material de Riccati y simpléctico sirve como un certificado de transversalidad en lugar de un reemplazo para las hipótesis de optimalidad.
• Ilustración Numérica: La Sección 8 proporciona certificados numéricos para un sistema LQ acoplado y estabilizable, verificando el decaimiento de la diferencia de la matriz de frontera escalada y la acotación de la constante de Green empírica, así como la convergencia cuadrática de la rama no lineal.

Significancia y Reivindicaciones
El artículo pretende proporcionar una ruta verificable hacia las ramas estacionarias locales de los sistemas de Pontryagin de horizonte finito donde las cotas cuantitativas no se deterioran a medida que el horizonte aumenta. La significancia radica en:

• Desacoplamiento de la Dependencia del Horizonte: Al manejar explícitamente las correcciones de los extremos y utilizar espacios ponderados, los autores evitan el problema de la "norma de la inversa dependiente del horizonte" que afecta a los argumentos estándar de dimensión finita.
• Aplicabilidad a Ramas No Óptimas: El marco se aplica a ramas estacionarias que pueden no ser óptimas, lo que lo hace adecuado para métodos de disparo (shooting methods), continuación y análisis de sensibilidad cerca de triples de Pontryagin en estado estacionario.
• Robustez: La hipótesis de la inversa es robusta bajo pequeñas perturbaciones de la dinámica y las filas de frontera (Proposición 4.4).
• Verificabilidad a Nivel de Datos: La condición de la inversa abstracta se reduce a propiedades matriciales comprobables (la invertibilidad de bloques específicos de las matrices de transición simplécticas), lo que hace que la teoría sea aplicable a problemas de control concretos sin requerir supuestos estructurales globales.

Los autores enfatizan que su trabajo complementa, en lugar de reemplazar, los mecanismos de turnpike basados en la disipatividad o la optimalidad global; sus resultados de decaimiento surgen de la rama local seleccionada y de la transversalidad específica de las condiciones de frontera.