Uniform large deviation principles for the stochastic heat equation over unbounded sets of initial data

技術要約：非有界な初期データの集合に対する確率熱方程式の一様大偏差原理

問題設定
本論文は、トーラス $D := \mathbb{R}/2\pi\mathbb{Z}$ 上の確率熱方程式（SHE）に関する小ノイズ大偏差原理（LDP）を調査している。方程式は以下で与えられる：
$$\partial_t X^\varepsilon_x = \Delta X^\varepsilon_x + b(X^\varepsilon_x) + \sqrt{\varepsilon}\sigma(X^\varepsilon_x)\dot{W},$$
ここで、$W$ は時空間ホワイトノイズであり、$\varepsilon > 0$ は小さなパラメータである。また、係数 $b$ および $\sigma$ はリプシッツ連続性と（劣）線形成長条件を満たす。具体的には、$|\sigma(z)| \leq C(1+|z|^\lambda)$ （ただし $\lambda \in (0, 1]$）である。

主な目的は、初期データの集合 $\{X^\varepsilon_x\}$ に対する**一様大偏差原理（ULDP）**を $\varepsilon \to 0$ において確立することである。初期データの状態空間におけるコンパクトまたは有界な集合に対してのみ一様性を証明していた従来の先行研究とは異なり、本論文は、初期データの集合が $L^q$ ノルムでは有界であるが、状態空間の位相（例：$L^p(D)$ または $C(D)$）においては非有界であるようなケースにおけるULDPの確立を目指している。具体的には、$q < p$（または連続的な場合 $q < \infty$）の場合を対象とする。

手法
著者らは、Budhiraja, Dupuis, および Maroulas によって開発され、第1著者による [39] で非コンパクト集合へと拡張された、大偏差への弱収束アプローチを採用している。手法の核心は以下の通りである：

1. 制御方程式（Controlled Equations）： 制御された弱解 $X^{\vare,u}_x$ が、$\varepsilon \to 0$ においてスケルトン方程式 $X^{0,u}_x$ へと収束することを解析する。この収束は、初期データ $x$ が $L^q$-有界な集合にあり、かつ制御関数 $u$ が $L^2(0, T; L^2(D))$ の有界部分集合にあることに対して一様でなければならない。
2. 正則性と適格性（Regularity and Well-Posedness）： 粗い初期データ（$x \in L^q(D)$ であり、$q$ が状態空間の指数 $p$ より小さい場合がある）に対するSHEの新しい適格性と正則性の結果を確立することが、技術的な作業の大部分を占める。
   • 著者らは、熱半群 $S(t)$ の平滑化特性、具体的には $\|S(t)x\|_{L^p} \lesssim t^{-\frac{1}{2}(\frac{1}{q} - \frac{1}{p})} \|x\|_{L^q}$ という評価を利用している。
   • 解を、半群項 $S(\cdot)x$ と、積分項（決定論的および確率的畳み込み）へと分解する。
   • 決定的な点として、もし $x \in L^q$ かつ $q < p$ である場合、解 $X^\varepsilon_x$ 自体は所望のパス空間（例：$C([0, T]; L^p)$）に属さない可能性があるが、剰余項 $X^\varepsilon_x - S(\cdot)x$ は必要な正則性を備えていることを証明する。
3. 評価（Estimates）： 証明は以下に基づいている：
   • 決定論的および確率的畳み込みの評価： 積分項を抑えるために、ミンコフスキーの不等式、ヤングの不等式、および因子化法を用いる。
   • グロンウォールの不等式スキーム： ULDPの十分条件を満たすために、差 $\|X^{\vare,u}_x - X^{0,u}_x\|$ に関する一様評価を確立する。
   • 一様モーメント評価： スケルトン解 $X^{0,u}_x$ が、$L^q$-有界な初期データに対して一様な $L^{\lambda \tilde{p}}$ 評価を満たすことを証明する。これは、極限におけるノイズ項を制御するために不可欠である。

主要な貢献と結果

1. $C([0, T]; C(D))$ 上のULDP (定理 0.2)：

   • 著者らは、$L^q(D)$ で有界な初期データに対して、$C([0, T]; C(D))$ の一様位相におけるULDPを証明する。
   • 条件： $2\lambda < q$。
   • 意義： $\lambda < 1/2$ であれば、これにより $q=1$ が可能となる。これは、質量保存を扱う系において極めて重要な、$L^1$-有界な初期データの集合に対するULDPを確立するものである。

2. $C([0, T]; L^p(D))$ 上のULDP (定理 0.4)：

   • 著者らは、$L^q(D)$ で有界な初期データに対して、$L^p$-パス空間におけるULDPを証明する。
   • 条件： $\frac{2\lambda p}{p+2} < q$。
   • 意義： この条件により、$q < p$、すなわち初期データの集合が状態空間 $L^p(D)$ において非有界である場合が可能となる。
     • $\lambda \leq 1/2$ の場合、結果はすべての $p \geq 2$ に対して $q=1$ で成立する。
     • $\lambda \in (1/2, 1)$ の場合、結果は特定の範囲の $p$（具体的には $p < \frac{2}{2\lambda - 1}$）に対して $q=1$ で成立する。

3. 新しい適格性 (定理 2.5 および 2.7)：

   • 本論文は、初期データが（$p$ または $\infty$ という）状態空間の指数よりも厳密に小さい $q$ を持つ $L^q(D)$ にある場合の、弱解の存在と一意性を確立している。
   • これらの結果は、解が特異な半群部分 $S(\cdot)x$ と、正則な部分（$C([0, T]; L^p(D))$ または $C(D)$ に属する）に分裂することを示している。

4. 拡張されたULDP (セクション 5)：

   • 系 5.1： 純粋に $L^q(D)$ にある初期データに対する、剰余項 $X^\varepsilon_x - S(\cdot)x$ の $C([0, T]; L^p(D))$ におけるULDPを確立する。
   • 系 5.3： これらの結果をより弱い位相、特に $L^r(0, T; L^p(D))$ へと拡張し、$x \in L^p(D)$ を要求せずに $x \in L^q(D)$ の初期データを扱うことを可能にする。
   • 系 5.4： $\lambda < 1$ のとき、$L^1$-有界な初期データに対する $C([0, T]; L^r(D))$ （$r \in [1, 2]$）におけるULDPを確認する。

意義と主張
本論文の主要な貢献は、無限次元空間における非有界な初期データの集合への一様大偏差原理の適用範囲を拡張したことにあると著者らは主張している。従来の文献（例：[5, 9, 40]）では、一様性は主に状態空間のノルムにおけるコンパクトまたは有界な集合に限定されていた。

• 物理的関連性： $L^1$-有界な初期データ（質量保存）を扱える能力は、大きな改善として強調されている。解が質量密度を表す物理系において、全質量は $L^1$ ノルムである。従来の結果では、$L^\infty$-有界な密度に対してしか一様性を保証できなかった。本研究は、初期質量は有界であるが密度プロファイルが $L^\infty$ において任意に大きくなり得る、保存質量系における脱出時間問題（Freidlin–Wentzell 理論）の厳密な研究を可能にする。
• 方法論的進展： 本研究は、制御された方程式がより強い収束モードを満たす場合に、弱収束アプローチの背後にある変分原理が、非コンパクトで非有界な集合に対しても成功裏に適用できることを示している。著者らは、彼らの焦点は多次元系や非リプシッツ・ドリフトへの一般化ではなく、非有界な集合に対するこの一様性を確立することにあると明示している。

要約すると、本論文は、乗法的ノイズを持つ確率熱方程式における稀なイベントを分析するための厳密な枠組みを提供しており、特に、初期条件が（状態空間の位相よりも）弱いノルム（$L^1$ など）によって制御されているシナリオに対処している。これは、これまで一様大偏差解析においてアクセス不可能であった領域である。