[論文レビュー] Linear--Quadratic control for a class of stochastic Volterra equations: solvability and approximation
本稿は、符号付き行列測度のラプラス変換として定義される核を持つ、確率的ボルテラ方程式のクラスにおける線形二次（LQ）制御問題の可解性と近似について確立する。分数ブラウン運動（Hurst指数 $ H \leq 1/2 $）を含む、非マルコフ的かつ非セミマルティンググであるような過程に対しても適用可能である。バナッハ空間におけるマーカイニアンリフトを導入し、非標準的なバナッハ空間リカチ方程式を用いて、価値関数が二次形式であり、最適制御が線形フィードバックであることを証明する。また、数値実装のための有限次元LQ問題への近似の収束を示す。
We provide an exhaustive treatment of Linear-Quadratic control problems for a class of stochastic Volterra equations of convolution type, whose kernels are Laplace transforms of certain signed matrix measures which are not necessarily finite. These equations are in general neither Markovian nor semimartingales, and include the fractional Brownian motion with Hurst index smaller than $1/2$ as a special case. We establish the correspondence of the initial problem with a possibly infinite dimensional Markovian one in a Banach space, which allows us to identify the Markovian controlled state variables. Using a refined martingale verification argument combined with a squares completion technique, we prove that the value function is of linear quadratic form in these state variables with a linear optimal feedback control, depending on non-standard Banach space valued Riccati equations. Furthermore, we show that the value function of the stochastic Volterra optimization problem can be approximated by that of conventional finite dimensional Markovian Linear--Quadratic problems, which is of crucial importance for numerical implementation.
研究の動機と目的
- 非マルコフ的かつ非セミマルティンググな確率的ボルテラ過程におけるLQ制御の可解性と数値的取り扱いの可能性の欠如に対処すること。
- 標準的伊藤積分の枠組みを超える、記憶を持つ系（例：$ H \leq 1/2 $ の分数ブラウン運動）に対しても、古典的LQ制御理論を拡張すること。
- 動的プログラミングや検証技術を適用可能にするために、無限次元バナッハ空間におけるマーカイニアン表現を構築すること。
- 価値関数が二次形式であり、最適制御がリフトされた状態変数に対して線形フィードバックとして与えられることを証明し、それらを特徴付ける新しいクラスのリカチ方程式を導出すること。
- 核および初期条件の近似に対する、価値関数と最適制御の収束を確立し、有限次元LQ問題による数値実装を可能にすること。
提案手法
- 核を符号付き行列測度 $ \mu $ のラプラス変換として表現し、その表現を用いて、元の非マルコフ的かつ非セミマルティンググな確率的ボルテラ方程式をバナッハ空間 $ L^1(\mu) $ 上のマルコフ的制御系にリフトする。
- 洗練されたマルティンググ検証法と二乗完成法を組み合わせ、最適制御および価値関数の構造を導出する。
- 価値関数をリフトされた状態変数における二次形式として特徴付け、最適制御を線形フィードバックとして表現し、その係数はバナッハ空間における積分作用素リカチ方程式系によって決定される。
- 適切な可積分性および正則性条件の下で、非標準的なバナッハ空間リカチ方程式の解の存在および一意性を証明する。
- 核 $ K^n $ および初期関数 $ g_0^n $ の収束する列を用いて、元の問題の有限次元マルコフ的LQ問題への近似を構築する。
- 最適制御の $ L^2 $-推定および一様有界性を確立し、核および初期条件の近似に対する価値関数および制御の収束を証明することで、数値的実装の可能性を保証する。
実験結果
リサーチクエスチョン
- RQ1符号付き測度のラプラス変換として定義される核を持つ、記憶を持つ確率的ボルテラ方程式のクラスにおける線形二次制御問題は、マルコフ的でもセミマルティンググでもない場合に、明示的に解けるか？
- RQ2このような系における価値関数および最適制御の構造は何か？また、古典的LQ理論と同様のフィードバック形式で表現可能か？
- RQ3状態空間の無限次元性は、どのように扱うべきか？動的プログラミングや検証技術を適用可能にするには？
- RQ4元の確率的ボルテラ問題の価値関数および最適制御は、有限次元マルコフ的LQ問題のそれらによって、数値計算可能に近似可能か？
- RQ5核および初期条件の列に対する近似の安定性と収束性を保証する条件は何か？
主な発見
- 確率的ボルテラLQ制御問題の価値関数は、バナッハ空間 $ L^1(\mu) $ 上のリフトされたマルコフ的状態変数において二次形式であり、最適制御はこれらの変数に対して線形フィードバックである。
- 価値関数および制御における二次形式および一次形式の係数は、バナッハ空間における非標準的積分作用素リカチ方程式系によって決定され、弱い可積分性条件の下でその可解性が確立されている。
- 最適制御は $ \alpha_t^* = -\Gamma(t) Y_t^* $ と表され、ここで $ \Gamma(t) $ は核測度 $ \mu $ を含むリカチ方程式を満たし、ブラウン運動の古典的解 $ \tanh(T-t) $ を一般化する。
- 元の問題の価値関数は、有限次元マルコフ的LQ問題の価値関数によって、任意に精度よく近似可能であり、コスト関数および最適制御の両方において $ L^2 $-ノルムで収束する。
- 有界性および正則性の仮定の下で、最適制御の $ L^2 $-ノルムに対する一様有界性が確立され、近似スキームの安定性が保証される。
- 近似された価値関数の収束速度は、$ \|g_0^n - g_0\|_{L^2(0,T)} $ および $ \|K^n - K\|_{L^2(0,T)} $ の $ L^2 $-ノルムによって制御され、事前推定を用いて明示的な誤差評価が導出されている。
より良い研究を、今すぐ始めましょう
論文の読解から最終レビューまで、研究時間を劇的に削減しましょう。
クレジットカード登録不要
このレビューはAIが作成し、人間の編集者が確認しました。