[論文レビュー] Symmetry of stochastic equations

Giuseppe Gaeta|ArXiv.org|Jan 13, 2004

Theoretical and Computational Physics参考文献 25被引用数 16

ひとこと要約

この論文は、時間変数と確率的構造を保存する「射影可能対称性」を導入することで、Itô確率微分方程式の対称性に関する厳密な枠組みを構築する。この枠組みにより、Itô方程式の対称性とその関連するFokker-Planck方程式の対称性との間の対応関係を確立し、KPZ方程式に既知の連続的および離散的対称性が一貫して回復されることを示した。これにより、確率的系に対するこのアプローチの妥当性が裏付けられる。

ABSTRACT

Symmetry methods are by now recognized as one of the main tools to attack deterministic differential equations (both ODEs and PDEs); the situation is quite different for what concerns stochastic differential equations: here, symmetry considerations are of course quite widely used by theoretical physicists, but a rigorous and general theory comparable to the one developed for deterministic equation is still lacking. In the following I will report on some work I have done on symmetries of stochastic (Ito) equations, and how these compare with the symmetries of the associated diffusion (Fokker-Planck) equations.

研究の動機と目的

• Itô確率微分方程式の対称性について、決定的ODEおよびPDEの理論に相当する、厳密で一般的な理論を確立すること。
• 時間の特権的役割を保ち、状態空間上でファイバーごとに作用する「射影可能対称性」を定義・特徴づけること。これは確率的系に適したものである。
• 確率的Itô方程式の対称性と、その関連するFokker-Planck（拡散）方程式の対称性との関係を明確にすること。
• 既知のKPZ方程式の連続的および離散的対称性が、提案された対称性枠組み内ですっきりと特定され、回復されることを検証すること。
• 対称性生成子の決定方程式を導出し、解くことにより、確率的方程式の対称性を体系的に同定するための方法を提供すること。

提案手法

• 論文は、時間変数が状態変数とは独立に扱われるよう保証する形で、$ X = \tau(t)\partial_t + \xi^i(x,t)\partial_i + \phi(x,t,u)\partial_u $ の形式の射影可能対称性を導入する。
• 対称性生成子の作用の下で確率微分形式が不変であることを要求することで、Itô方程式の対称性の決定方程式を導出する。
• この手法では、対称性の下でのドリフト $ f^i $ および拡散 $ \sigma^i_k $ の係数の変換を分析し、対称性成分 $ \tau, \xi^i, \phi $ に対するPDEの系を導く。
• 連続的対称性の場合は、ItôSDEの不変性と、Lie微分およびItôの補題を用いて決定方程式を導出する。
• 離散的対称性の場合は、線形変換 $ x \to Fx $、$ w \to Rw $ を用い、$ F^i_j f^j = f^i(Fx) $ および $ F^i_j \sigma^j_p (R^{-1})^p_k = \sigma^i_k $ の条件を満たすことで、行列方程式に帰着する。
• KPZ方程式の既知の対称性（時間並進、空間並進、ガリレオ変換、空間反転、グローバル符号反転）が、導出された決定方程式を満たすことを示すことにより、このアプローチの妥当性を検証した。

実験結果

リサーチクエスチョン

• RQ1 Itô確率微分方程式に対して、決定的方程式のLie対称性理論に類似した一貫性があり、厳密な定義が可能か？
• RQ2 ItôSDEの対称性と、その関連するFokker-Planck方程式の対称性との間の明確な関係は何か？
• RQ3 KPZ方程式に知られている連続的および離散的対称性が、確率的方程式のための提案された対称性枠組みから自然に導かれるか？
• RQ4 Itô方程式の対称性の決定方程式を体系的に導出し、解くことで、非自明な対称性生成子を同定できるか？
• RQ5 提案された対称性枠組みは、連続的および離散的両方の対称性を含め、KPZ方程式の既知の対称性を正しく同定・分類できるか？

主な発見

• 提案された枠組みは、KPZ方程式の時間並進対称性を正しく特定した。これは $ \tau = 1 $、$ \xi^i = 0 $、$ \alpha^i = 0 $、$ B = 0 $ に対応し、決定方程式を満たす。
• 空間並進対称性は、$ \tau = 0 $、$ \xi^i = 1 $、$ \alpha^i = 1 $、$ \Lambda = 0 $、$ B = 0 $ であり、特に $ \sum_j \Gamma^i_{jk} = 0 $ の条件を満たすため、決定方程式を満たすことが確認された。
• ガリレオ変換対称性は、$ \tau = 0 $、$ \xi^i = 1 $、$ \alpha^i = 1 $、$ B $ が非ゼロである連続的対称性として回復され、与えられた条件下で決定方程式を満たすことが示された。
• 離散的並進対称性（1サイト分のシフト）は、行列方程式 $ [F,M] = 0 $ および $ F^i_m \Gamma^m_{jk} = \Gamma^i_{pq} F^p_j F^q_k $ を満たし、$ F^i_j = \delta^i_{j+1} $ であることが確認された。
• 特定のサイト $ m $ における空間反転対称性（$ F^i_k = \delta^{i-m}_{m-k} $）は、$ [F,M] = 0 $ および $ \Gamma $ の二次変換条件を両方とも満たし、有効な対称性であることが確認された。
• グローバル符号反転対称性 $ F = -I $ は、$ \Gamma = 0 $ の線形（Edwards-Wilkinson）極限でのみ対称性であることが示され、既知の物理的制約と整合していることが確認された。