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

Sintesi Tecnica: Trasversalità Simpletica e Stime di Green per gli Endpoint in Sistemi di Pontryagin a Orizzonte Finito

Enunciato del Problema
Il saggio affronta l'analisi dei sistemi di valore limite di Pontryagin a tempo discreto ad orizzonte finito dopo l'eliminazione locale delle variabili di controllo. Mentre la teoria del controllo ottimo classica fornisce condizioni di stazionarietà del primo ordine, una difficoltà significativa sorge nell'invertire il sistema linearizzato a due punti con costanti che rimangano indipendenti dall'orizzonte temporale $T$. Gli argomenti standard basati sul teorema della funzione implicita a dimensione finita per un orizzonte fissato oscurano questo problema, nascondendo la dipendenza dall'orizzonte nel norm dell'inversa. Inoltre, mentre la dicotomia esponenziale controlla il forcing interno, le condizioni di endpoint introducono correzioni omogenee che decadono dall'endpoint opposto. Queste correzioni, sebbene piccole, sono essenziali per stabilire stime pesate non lineari rigorose. Il saggio mira a stabilire esistenza locale, unicità, dipendenza Lipschitziana ed espansioni del primo ordine per questi sistemi con costanti uniformi rispetto all'orizzonte, senza assumere ottimalità globale, definitività o dissipatività.

Metodologia
Gli autori sviluppano una catena di argomenti centrata su un "inverso di endpoint a due punti" per la linearizzazione, verificato tramite trasversalità semplice.

1. Eliminazione del Controllo e Linearizzazione: Partendo da un sistema di Pontryagin a tempo discreto, gli autori assumono un riferimento stazionario interno e utilizzano il Teorema della Funzione Implicita per eliminare localmente la variabile di controllo $u_t$ come funzione dello stato e del costato in avanti ($u_t = \nu(x_t, p_{t+1})$). Ciò riduce il sistema a un problema di valore limite stato-costato a due punti.
2. Proprietà dell'Inverso Corretto per l'Endpoint: L'input centrale è la Definizione 4.1, che postula una "proprietà dell'inverso corretto per l'endpoint" per il sistema linearizzato. Questa proprietà asserisce che il problema lineare ammette un'unica soluzione soddisfacendo una specifica stima di Green. Fondamentalmente, questa stima include termini di "correzione dell'endpoint" (kernel della forma $e^{-\gamma(t+T-s)}$ e $e^{-\gamma(T-t+s)}$) per tenere conto del forcing vicino a un endpoint che crea modi in decadimento dall'altro.
3. Trasversalità Scalata: Il Proposizione 4.3 stabilisce che questa proprietà dell'inverso si tiene se il sistema ammette una scissione iperbolica e una "matrice di bordo scalata" (costruita dai sottospazi stabile/instabile e dalle righe di bordo) è uniformemente invertibile. Questa è una versione discreta e a orizzonte finito della prospettiva della dicotomia esponenziale.
4. Ricostruzione Non Lineare: Utilizzando le stime di Green corrette per l'endpoint, gli autori impiegano un argomento di punto fisso in spazi pesati dipendenti dall'orizzonte ($w_T(t) = e^{-\alpha t} + e^{-\alpha(T-t)}$). Il Lemma 4.5 fornisce una stima di convoluzione pesata che controlla i residui quadratici interni. I Teoremi 4.7 e 4.8 combinano questi elementi per provare l'esistenza locale, l'unicità e le espansioni del primo ordine sia per mappe di endpoint affini che lisce.
5. Verifica Simpletica e LQ: Per verificare l'ipotesi dell'inverso a livello di dati matriciali, gli autori utilizzano la geometria semplice. Per i sistemi Lineari-Quadratici (LQ), la matrice di transizione è semplice. Il Teorema 6.2 e il Corollario 6.3 mostrano che se la matrice di bordo limite (formata dal sottospazio stabile e dalla condizione del costato terminale) è non singolare, la proprietà dell'inverso si mantiene. Il Teorema 7.2 prova che per ogni sistema LQ stabilizzabile con dinamiche invertibili e pesi definiti, questa condizione di trasversalità è soddisfatta, coprendo casi con dati accoppiati e non commutanti.

Contributi Chiave e Risultati

• Stime Uniformi rispetto all'Orizzonte: Il saggio prova l'esistenza di rami stazionari locali per i sistemi di Pontryagin a orizzonte finito con costanti (esistenza, unicità, limiti Lipschitziani) che sono indipendenti dall'orizzonte $T$.
• Stime di Green Corrette per l'Endpoint: Gli autori derivano esplicite stime di Green che includono termini di correzione specifici per il forcing di bordo, necessari per l'analisi non lineare.
• Certificato di Trasversalità Simpletica: Il saggio fornisce un certificato verificabile a livello di dati per l'ipotesi dell'inverso utilizzando matrici semplici. Dimostra che la condizione è aperta e si tiene per tutti i sistemi LQ stabilizzabili con dinamiche invertibili e pesi definiti, anche quando i dati sono accoppiati e non commutanti.
• Stazionarietà Locale vs. Ottimalità: I risultati sono strettamente risultati di stazionarietà locale. Non richiedono condizioni sufficienti del secondo ordine, ottimalità globale o dissipatività. Il materiale relativo a matrici semplici/Riccati serve come certificato di trasversalità piuttosto che come sostituto delle ipotesi di ottimalità.
• Illustrazione Numerica: La Sezione 8 fornisce certificati numerici per un sistema LQ accoppiato e stabilizzabile, verificando il decadimento della differenza della matrice di bordo scalata e la limitatezza della costante di Green empirica, nonché la convergenza quadratica del ramo non lineare.

Significatività e Rivendicazioni
Il saggio rivendica di fornire una via verificabile verso i rami stazionari locali di sistemi di Pontryagin a orizzonte finito dove i vincoli quantitativi non si deteriorano all'aumentare dell'orizzonte $T$. La significatività risiede nel:

• Disaccoppiamento della Dipendenza dall'Orizzonte: Gestendo esplicitamente le correzioni di endpoint e utilizzando spazi pesati, gli autori evitano il problema del "norm dell'inversa dipendente dall'orizzonte" che affligge gli argomenti standard a dimensione finita.
• Applicabilità a Rami Non Ottimali: Il framework si applica a rami stazionari che potrebbero non essere ottimali, rendendolo adatto per metodi di shooting, continuazione e analisi di sensibilità vicino a triple di Pontryagin stazionarie.
• Robustezza: L'ipotesi dell'inverso è mostrata essere robusta sotto piccole perturbazioni delle dinamiche e delle righe di bordo (Proposizione 4.4).
• Verificabilità a Livello di Dati: La condizione astratta dell'inverso è ridotta a proprietà matriciali controllabili (l'invertibilità di blocchi specifici delle matrici di transizione semplici), rendendo la teoria applicabile a problemi di controllo concreti senza richiedere ipotesi strutturali globali.

Gli autori sottolineano che il loro lavoro integra, piuttosto che sostituire, i meccanismi di "turnpike" basati sulla dissipatività o sull'ottimalità globale; i loro risultati di decadimento derivano dal ramo locale selezionato e dalla specifica trasversalità delle condizioni di bordo.