The Tricomi equation in the hyperbolic half plane under additive space-time Gaussian White Noise perturbation

テクニカル・サマリー：「加法的な時空ガウス白色ノイズ摂動下における双曲型半平面でのトリコミ方程式」

問題設定
本論文は、加法的な時空ガウス白色ノイズによって摂動を受けたトリコミ方程式のコーシー問題を研究している。トリコミ方程式は、混合型（楕円型および双曲型）の2階偏微分方程式であり、$\partial_{tt}u = t\partial_{xx}u$ で与えられる。これは $t > 0$ では双曲型、$t < 0$ では楕円型となり、$t = 0$ において退化する。対象となる特定の確率問題は以下の通りである：
$$\begin{cases} \partial_{tt}U(t, x) = t\partial_{xx}U(t, x) + W(t, x), & t > 0, x \in \mathbb{R}; \\ U(0, x) = 0, \quad \partial_t U(0, x) = 0, & x \in \mathbb{R}, \end{cases}$$
ここで、$\{W(t, x)\}$ は時空ガウス白色ノイズを表す。主な目的は、平方可積分な解の存在と一意性を確立すること、およびその確率的・解析的性質、特に双曲型半平面（$t > 0$）における挙動を分析することである。

手法
著者らは、既知ではあるが複雑なトリコミ作用素の明示的な基本解に頼るのではなく、フーリエ変換の手法を採用している。手法は以下の手順で進められる：

1. フーリエ変換： 空間変数をフーリエ変換することで、確率的偏微分方程式を、周波数 $\xi$ によってパラメータ化された一連の常微分方程式（ODE）へと変換する。このとき、変換された方程式の同次部分 $\partial_{tt}\hat{v} = -t\xi^2 \hat{v}$ は、変数変換 $\eta = |\xi|^{2/3}t$ を通じて、エアリー方程式 $\partial_{\eta\eta}v = -\eta v$ へと帰着される。
2. エアリー関数による表現： 変換されたODEの解は、線形独立なエアリー関数 $Ai$および$Bi$を用いて構成される。著者らは、これらのエアリー関数によって定義される核$C(t, s, \rho)$ を含む解の積分表示を導出する。
3. ノイズの近似： 時空白色ノイズは、独立な標準ガウス変数に、ラグエル関数（時間方向）とエルミート関数（空間方向）の級数展開を乗じた有限ランクの滑らかな過程によって近似される。
4. 漸近解析： 解析の核心は、エアリー関数を含む積分の漸近挙動、特に大きな引数（負の実軸方向）およびゼロ付近における挙動の精緻な研究にある。この解析は、級数解の収束性と標本経路の正則性を確立するために極めて重要である。

主要な結果

• 存在と一意性（定理 1.1）： 本論文は、このコーシー問題が唯一の弱ランダム場解（mild random-field solution）を持つことを証明している。この解は、$L^2(\Omega, \mathcal{F}, P)$ における収束級数として、またほとんど確実に（almost surely）表現されるガウスランダム場である。解は、エアリー関数とノイズ係数の積分を用いて明示的に与えられる。著者らは、解の2次モーメントが有限であることを確立している。
• 定常性と相関（系 1.2）： 任意の固定された時刻 $t > 0$ に対して、確率過程 $x \mapsto U(t, x)$ は、平均ゼロの2次定常過程であることが示される。共分散関数は明示的に導出される。決定的な点として、著者らは、小さな空間ラグ $h$ に対する相関関数 $r_t(h)$ の挙動を分析している。彼らは、$|h| \to 0$ のとき $r_t(h) = 1 - \alpha_t |h| + o(|h|)$ となることを証明した。原点付近におけるこの線形な挙動は、この過程が連続な修正（continuous modification）を持つことを示唆している。
• 時間の正則性（系 1.3）： 任意の固定された空間点 $x$ に対して、過程 $t \mapsto U(t, x)$ は連続な修正を持つ。ガウス過程の性質とコルモゴロフの連続性定理を用いることで、著者らは、時間の経路が任意の $1/2$ 未満のヘルダー正則性を有することを確立している。

意義と主張
本論文は、標準的な波動方程式よりも探索が進んでいない分野である、非厳密双曲型作用素を持つ確率偏微分方程式（SPDE）の文献に寄与するものである。

• 波動方程式との比較： この確率的トリコミ方程式の解の性質（存在、一意性、および経路の連続性）が、対応する確率的波動作用素に対して導かれるものと同等であるという点は、重要な知見である。これは、トリコミ型の作用素に低次項を導入することで、ウェルディファインドなランダム場解の存在が失われるとした[11]の最近の知見とは対照的である。
• 頑健性： これらの結果は、フーリエ・エアリー法を用いた解析を行う限り、トリコミ作用素の $t=0$ における退化性が、加法的白色ノイズ摂動下での良好な挙動を持つ解の存在を妨げないことを示唆している。
• 技術的貢献： 本論文は、標本経路の空間および時間における連続性を証明するために必要な、エアリー関数の積分に関する漸近挙動の詳細な推定と、解の表現の厳密な導出を提供している。

著者らは新しい応用や将来の実験的方向性を提案するのではなく、確率的トリコミ方程式の数学的なウェルポーズドネス（well-posedness）と正則性の性質に厳密に焦点を当てている。