[論文レビュー] Homographic scheme for Riccati equation

François Dubois, Abdelkader Saïdi|arXiv (Cornell University)|Jan 11, 2011

Nonlinear Waves and Solitons参考文献 10被引用数 3

ひとこと要約

本稿では、最適制御問題に現れる行列リッカティ方程式を解くための同型数値スキームを提案する。この手法は無条件安定であり、各時刻ステップで解の正定値性を保ち、スカラーの場合には収束性が証明されており、数値実験により、陽解法が失敗する状況でもロバストで安定であることが確認されている。

ABSTRACT

In this paper we present a numerical scheme for the resolution of matrix Riccati equation, usualy used in control problems. The scheme is unconditionnaly stable and the solution is definite positive at each time step of the resolution. We prove the convergence in the scalar case and present several numerical experiments for classical test cases.

研究の動機と目的

• 最適制御における行列リッカティ方程式に対する古典的手法の数値的不安定性と正定値性の喪失を解決する。
• 各時刻ステップで解の正定値性を保証する安定な陰解法を構築する。
• 無条件安定性とスカラーの場合の収束性を確保し、行列の場合への拡張により単調性と長期間にわたる代数的リッカティ解への収束を示す。
• 陽解法が失敗するような困難なテストケース（波動方程式や振動子系）においてもロバスト性を示す。
• 将来的な研究の基盤を築くこと：行列の場合の収束性の証明と、高次精度の多段階スキームの構築。

提案手法

• 行列リッカティ方程式を安定な時間積分に適した形に再定式化するための同型変換を提案する。
• 各時刻ステップで線形方程式系を解く必要がある陰解法を用い、無条件安定性を確保する。
• 解行列の正定値性を維持するためにスカラー定数μを導入する。
• スカラーおよび行列リッカティ方程式の両方にこのスキームを適用し、エネルギー推定を用いてスカラーの場合の収束性を証明する。
• 無限次元制御問題（例：波動方程式）をL2正規直交基底関数を用いて有限次元スペクトルモードに射影する。
• 状態次元を2倍することで2階常微分方程式を1階系に変換し、リッカティ解に適した形式に統合する。

実験結果

リサーチクエスチョン

• RQ1 行列リッカティ方程式に対して、無条件安定性と解の正定値性を保証する数値スキームを構築可能か？
• RQ2 提案された同型スキームはスカラーの場合に収束するか？その収束性の性質は何か？
• RQ3 波動方程式や車両列制御のような剛性・悪条件な制御問題において、このスキームはどのように動作するか？陽解法が失敗する状況でも有効か？
• RQ4 離散解の長期的性質は何か？特に時間の経過に伴い代数的リッカティ解に近づく傾向は？
• RQ5 多段階形式を用いることで2次精度に拡張可能か？

主な発見

• 同型スキームは無条件安定であり、各時刻ステップで解行列の正定値性を保証する。
• スカラーの場合、エネルギーに基づく解析により収束性が証明されている。
• 行列の場合、離散解は単調性を示し、時間無限大に達するにつれて代数的リッカティ解に収束する。
• N=10モード（2N=20）でΔt=0.01とした波動方程式の数値実験では、安定性が確認されたが、陽解法の2段階ルンゲ・クッタスキームは不安定になった。
• 調和振動子や車両列制御のテストケースにおいて、パラメータの大きな変動に対しても本スキームはロバストであることが示された。
• 古典的手法が失敗する状況でも、本手法は正定値解を効果的に計算でき、制御応用における実用的価値を確認した。