Sharp bounds for non-trace class noise and applications to SPDEs

技術的サマリー：非トレースクラスノイズに対する鋭い境界と SPDE への応用

問題提起
本論文は、有色で非トレースクラスの時空間ノイズに駆動される確率偏微分方程式（SPDE）の文脈において、$g \sum_{n \ge 1} \gamma_n \mu_n f_n$ の形のガウス級数の収束性と正則性を取り扱っている。ここで、$(\gamma_n)$ は独立な標準ガウス変数、$g$ は $L^\eta(O)$ に属する空間係数、$(\mu_n)$ はノイズの「色付け」を表すスカラーの列、$(f_n)$ は $L^2(O)$ における正規直交系である。

既存の文献は、しばしばトレースクラスノイズ（$\sum \mu_n^2 \|f_n\|_{L^\infty}^2 < \infty$）または時空間白色ノイズ（$\mu_n \equiv 1$）という 2 つの極端なケースに解析を制限している。ノイズが非トレースクラスでありながら白色ノイズよりも正則である中間領域は、課題を呈する。この中間領域における従来の結果は、しばしば制限的な仮定に依存しており、例えば、関与する微分作用素の固有関数であるように正規直交系 $(f_n)$ を要求したり、許容されるノイズ強度の範囲を制限する固有値に関する追加の総和条件を課したりしていた。さらに、既存の多くの境界は、特に係数 $g$ の可積分性に関して、関連する SPDE のスケーリング不変性に対して鋭いものではなかった。

手法
著者らは、$\gamma$-ラドニフィング作用素と多線形補間を中心とした関数解析的アプローチを採用している。

1. $\gamma$-ラドニフィング作用素: ガウス級数の収束性は、$\gamma$-ラドニフィング作用素空間、具体的には $\gamma(L^2(O), \tilde{H}^{-s,q}(O))$ へ写像するノイズ作用素 $R_\mu$ と合成された乗算作用素 $M_g$ の有界性として再定式化される。これにより、$\gamma$-空間のイデアル性質と平方関数特性の活用が可能となる。
2. 重み付き数列空間: 重要な革新として、ノルム $\|\mu\|_{\ell^\zeta(S_f)} = (\sum |\mu_n|^\zeta \|f_n\|_{L^\infty}^2)^{1/\zeta}$ によって定義される重み付き数列空間 $\ell^\zeta(S_f)$ の導入がある。この空間は、トレースクラス条件（$\zeta=2$）と有界性条件（$\zeta=\infty$）の間を自然に補間し、正規直交系の $L^\infty$ 成長を明示的に符号化する。
3. $\gamma$-ヤング不等式: 著者らは、弱ルベーグ空間（$L^{r,\infty}$）との畳み込みを含む $\gamma$-ラドニフィング作用素に対する新たな「ヤング不等式」を確立した。これは、臨界（スケーリング不変）の場合におけるベッセルポテンシャル核の特異性を処理するために不可欠である。
4. 多線形補間: 主要な結果は、2 つの端点ケース間で補間することで導出される。
   • ケース $\zeta=2$: トレースクラスノイズに相当し、ソボレフ埋め込みと、$\gamma$-空間を $L^\eta$ 値 $L^2$ 空間との同一視によって証明される。
   • ケース $\zeta=\infty$: 有界ノイズに相当し、$\gamma$-ヤング不等式とソボレフ空間における乗算作用素の性質を用いて証明される。
     補間は、双線形写像 $(g, \mu) \mapsto M_g R_\mu$ に対して行われる。

主要な貢献と結果

• ガウス級数に対する鋭いソボレフ埋め込み（定理 4.1）: 本論文は、級数 $g \sum \gamma_n \mu_n f_n$ がベッセルポテンシャル空間 $\tilde{H}^{-s,q}(O)$ で収束するための必要十分条件を確立する。その条件は以下の通りである。
  $$\frac{s}{d} + \frac{1}{q} \ge \frac{1}{\eta} + \frac{1}{2} - \frac{1}{\zeta} \quad \text{および} \quad \frac{1}{\eta} - \frac{1}{\zeta} < \frac{1}{2}.$$
  これらの境界は鋭く、問題のスケーリング不変性を正確に捉えている。この結果は、特定の微分作用素の固有関数である必要のない一般的な正規直交系 $(f_n)$ に対して成り立つ。

• 同次空間（定理 4.2）: 全体空間 $O = \mathbb{R}^d$ に対して、著者らは同次ソボレフ空間 $\dot{H}^{-s,q}(\mathbb{R}^d)$ に対する同様の結果を提供する。ここで、最初の条件は等号で成り立つ。

• フーリエ乗数への一般化（定理 4.9）: 枠組みは、$\mathbb{R}^d$ 上のフーリエ乗数 $T_m$ によって定義されるガウスノイズへ拡張される。ここで、記号 $m$ は $L^\zeta(\mathbb{R}^d)$ に属する。これには、マテールン確率場や他の畳み込みベースのノイズ構造が含まれる。

• 確率熱方程式に対する最適正則性（定理 6.3）: ガウス級数の境界を確率熱方程式 $\partial_t u - \Delta u = g \partial_t W$ に適用し、著者らは温和解 $u$ に対する最適の時空間正則性推定を導出する。具体的には、以下が証明される。
  $$\mathbb{E}\|u\|_{L^p(0,T; H^{1-s,q}(O))}^p + \mathbb{E}\|u\|_{C([0,T]; B^{1-s-2/p}_{q,p}(O))}^p \lesssim \|\mu\|_{\ell^\zeta(S_f)}^p \mathbb{E}\|g\|_{L^p(0,T; L^\eta(O))}^p.$$
  これらの推定は、$g$ のより低い可積分性（より小さい $\eta$）を許容し、ノイズがラプラシアンの固有基底に結びついていると仮定せずに、より広範なノイズ強度 $\zeta$ をカバーする点で、既存の文献を改善する。

• 重みの必要性（第 5 節）: 本論文は、$\|f_n\|_{L^\infty}$ の成長を無視した重みなし数列空間 $\ell^\zeta$ を使用することは、SPDE に対する正しいスケーリングを捉えられず、非最適な正則性結果をもたらすことを示している。

意義と主張
著者らは、非トレースクラスノイズに対するベッセルポテンシャル空間におけるそのようなガウス級数の収束性に関する最初の鋭い特徴付けを提供すると主張している。その意義は、文献に対するいくつかの具体的な改善点にある。

1. 鋭さ: 導出された条件は必要十分であり、確率熱方程式のスケーリング不変性を保持する。これは、わずかな正則性の損失でも不動点議論の使用を妨げる臨界的な非線形 SPDE の解析において決定的である。
2. ノイズ構造の一般性: 微分作用素（例えばディリクレ・ラプラシアン）の固有関数であるように $(f_n)$ を要求する先行研究とは異なり、このアプローチは任意の正規直交系に対して機能する。これにより、固有関数が明示的に知られていない発散形の作用素に対する結果の適用が可能となる。
3. 係数の柔軟性: 結果により、係数 $g$ を以前より可能であったよりも小さい $\eta$ を持つ $L^\eta(O)$ に置くことが許容され、推定の左辺のノルム（例えばベソフ空間へ）を改善することも可能となる。この柔軟性は、不動点反復中にソボレフ埋め込みで滑らかさを失うことを避けたい非線形 SPDE への将来の応用を特に念頭に置いた、この研究の主要な動機として強調されている。
4. 次元独立性: これらの境界は任意の空間次元 $d$ に対して成り立つのに対し、固有値の総和性に関する従来の条件はしばしば次元を制限していた（例えば、特定のトレース条件に対して $d < 6$ を要求するなど）。

本論文は、これらの鋭い境界が、非トレースクラスノイズを伴う非線形 SPDE の研究のための基礎的な道具として機能すると結論付けており、このトピックは今後の研究で詳細に探求されることを著者らは示唆している。