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

技術要約：有限ホライゾン・ポントリャーギンの系におけるシンプレクティック横断性と端点グリーン推定

問題設定
本論文は、制御変数の局所的な消去後における、離散時間有限ホライゾン・ポントリャーギン境界値系の解析に取り組んでいる。古典的な最適制御理論は一次の定常条件を提供するが、ホライゾン $T$ に依存しない定数を持つ、線形化された二点端点系を逆転させる際に重大な困難が生じる。固定されたホライゾンにおける標準的な有限次元の陰関数定理による議論は、逆行列のノルムの中にホライゾンの依存性を隠蔽してしまうことで、この問題を覆い隠している。さらに、指数的二分図式（exponential dichotomy）は内部の強制項を制御するが、端点条件は反対側の端点から減衰する同次補正項を導入する。これらの補正項は小さいものの、厳密な非線形重み付き推定値を確立するためには不可欠である。本論文は、大域的な最適性、確定性、または散逸性を仮定することなく、これらの系に対する局所的な存在、一意性、リプシッツ連続性、および一次展開を、ホライゾンに対して一様な定数を用いて確立することを目的としている。

手法
著者らは、シンプレクティック横断性を介して検証される「二点端点逆（two-point endpoint inverse）」を中心とした一連の議論を展開している。

1. 制御の消去と線形化： 離散時間ポントリャーギン系から出発し、内部定常参照点を仮定して、陰関数定理を用いて制御変数 $u_t$ を状態と前方共役状態の関数として局所的に消去する（$u_t = \nu(x_t, p_{t+1})$）。これにより、系は二点状態・共役状態境界値問題へと簡約される。
2. 端点補正逆特性： 核となる入力は、線形化された系に対する「端点補正逆特性」を規定する定義 4.1 である。この特性は、線形問題が特定のグリーン推定を満たす一意の解を持つことを主張する。決定的なことに、この推定には、一方の端点付近の強制が他方の端点からの減衰モードを生み出すことを考慮するための「端点補正」項（カーネルの形式 $e^{-\gamma(t+T-s)}$ および $e^{-\gamma(T-t+s)}$）が含まれている。
3. スケーリングされた横断性： 命題 4.3 は、系が双曲分解（hyperbolic splitting）を持ち、「スケーリングされた境界行列」（安定/不安定部分空間および境界行から構成される）が一様に可逆である場合に、この逆特性が保持されることを確立している。これは、指数的二分図式の観点からの離散的かつ有限ホライゾン版の構成である。
4. 非線形再構成： 端点補正されたグリーン推定を用い、著者らはホライゾン依存の重み付き空間（$w_T(t) = e^{-\alpha t} + e^{-\alpha(T-t)}$）における固定点引数を用いる。補題 4.5 は、二次的な内部残差を制御する重み付き畳み込み推定値を提供する。定理 4.7 および 4.8 はこれらを組み合わせ、アフィンおよび滑らかな非線形端点写像の両方に対して、局所的な存在、一意性、および一次展開を証明する。
5. シンプレクティックおよび LQ 検証： 行列データレベルで逆仮説を検証するために、著者らはシンプレクティック幾何学を利用する。線形二次（LQ）系において、遷移行列はシンプレクティックである。定理 6.2 および系 6.3 は、極限境界行列（安定部分空間と終端共役状態条件から形成される）が非特異であれば、逆特性が保持されることを示している。定理 7.2 は、すべての安定化可能な LQ 系（可逆な動力学と確定的な重みを持つもの）に対して、この横断性条件が満たされることを証明しており、非可換な結合データを含むケースもカバーしている。

主要な貢献および結果

• ホライゾン一様推定： 本論文は、有限ホライゾン・ポントリャーギン系における局所定常枝の存在について、定数（存在、一意性、リプシッツ束縛）がホライゾン $T$ に依存しないことを証明している。
• 端点補正グリーン推定： 著者らは、境界強制のための特定の補正項を含む、明示的なグリーン推定値を導出している。これは非線形解析において必要となるものである。
• シンプレクティック横断性証明書： 本論文は、シンプレクティック行列を用いた、逆仮説に対する検証可能なデータレベルの証明書を提供している。これは、条件が「開」であり、非可換な結合データであっても、すべての安定化可能な LQ 系（可逆な動力学と確定的な重みを持つもの）において保持されることを示している。
• 局所定常性と最適性： これらの結果は厳密に局所的な定常性の結果である。これらは二次の十分条件、大域的な最適性、または散逸性を要求しない。シンプレクティック/リッカチの材料は、最適性の仮定の代替ではなく、横断性の証明書として機能する。
• 数値的例示： セクション 8 では、結合された安定化可能な LQ 系に対する数値的証明書を提供し、スケーリングされた境界行列の差の減衰、経験的なグリーン定数の有界性、および非線形枝の二次収束性を検証している。

意義および主張
本論文は、ホライゾンが増大しても定数が劣化しない、有限ホライゾン・ポントリャーギン系の局所定常枝への検証可能な経路を提供すると主張している。その意義は以下の通りである：

• ホライゾン依存性の分離： 端点補正を明示的に扱い、重み付き空間を使用することで、標準的な有限次元の議論が直面する「ホライゾン依存の逆行列」のノルム問題を回避している。
• 非最適な枝への適用可能性： 本フレームワークは、最適でない定常枝にも適用可能であり、シューティング法、継続法、および定常ポントリャーギン・トリプル近傍での感度解析に適している。
• 堅牢性： 逆仮説は、動力学および境界行の小さな摂動に対して頑健であることが示されている（命題 4.4）。
• データレベルの検証可能性： 抽象的な逆条件は、シンプレクティック遷移行列の特定のブロックの可逆性といった、チェック可能な行列特性へと還元されており、これにより理論を具体的な制御問題に適用可能にしている。

著者らは、自らの研究が、散逸性や大域的な最適性に基づくターンパイク・メカニズムを置き換えるものではなく、むしろそれを補完するものであることを強調している。彼らの減衰結果は、選択された局所的な枝と、境界条件の特定の横断性に由来するものである。