Nonlinear Schrödinger equations with spatial white noise potential on full space for $d\le 3$

この論文は、全空間 $\mathbb{R}^d$ ($d \leq 3$) 上の空間的白色ノイズ（spatial white noise）を係数として持つ非線形シュレーディンガー方程式（NLS）およびハートリー方程式の解の存在、一意性、および正則性の伝播に関する研究です。著者らは、指数変換（exponential transform）とパラ制御解析（paracontrolled calculus）を組み合わせることで、従来の手法が抱えていた「正則性の損失」と「空間局所性の喪失」という二重の問題を克服し、エネルギー解のグローバルな良設定性を証明しました。

以下に、論文の技術的な要約を問題設定、手法、主要な貢献、結果、意義に分けて詳細に記述します。

1. 問題設定 (Problem)

研究対象は、空間的白色ノイズ $\xi$ を含む以下の非線形シュレーディンガー方程式（NLS）とハートリー方程式です。

• NLS: $i\partial_t u = -\Delta u + u\xi + |u|^{m-1}u$
• ハートリー方程式: $i\partial_t u = -\Delta u + u\xi + u \cdot (V_\beta * |u|^2)$

ここで、$\xi$ は $\mathbb{R}^d$ 上のガウス白色ノイズであり、その共分散は $E[\xi(x)\xi(y)] = \delta_0(x-y)$ です。ノイズの正則性は $C^{-d/2-\kappa}$ 程度であり、$d \geq 2$ の場合、方程式は単独では意味をなさないほど特異（singular）です。

主な困難点:

1. ノイズの特異性: $d \geq 2$ では、ノイズが分布のレベルでしか定義されず、積 $u\xi$ や $|\nabla X|^2$ などの項が定義できません。確率的な再正規化（renormalization）が必要です。
2. 無限遠での振る舞い: 白色ノイズは無限遠で減衰せず、多項式成長よりも遅い速度で発散します。これにより、解の空間的な局所性（localization）が失われるリスクがあります。
3. 分散性の欠如: 熱方程式と異なり、シュレーディンガー群は強い正則化効果を持たないため、特異な確率偏微分方程式（SPDE）の解析は特に困難です。

これまでの研究（主にトーラス $\mathbb{T}^d$ 上や $\mathbb{R}^2$ 上の一部）では、指数変換 $u = e^X v$ を用いる手法が主流でしたが、これには以下の欠点がありました：

• 解の正則性が初期データに対して時間とともに低下する（正則性の損失）。
• 全空間 $\mathbb{R}^d$ において、変換後の関数 $e^X, e^{-X}$ が無限遠で発散し、解の空間的局所性が失われる。

2. 手法 (Methodology)

著者らは、以下の 3 つの主要な技術的アプローチを組み合わせることで、これらの困難を解決しました。

A. 空間局所化を伴う新しい指数変換

従来の手法では、$\Delta X = \xi$ と置くことでノイズの最も粗い部分を打ち消しましたが、これにより $X$ が無限遠で発散し、局所性が失われました。
著者らは、Gubinelli と Hofmanovà の手法を応用し、白色ノイズ $\xi$ を低周波成分 $\xi_\leq$（無限遠での成長を担うが正則性が高い）と高周波成分 $\xi_>$（局所的な特異性を担うが無限遠で減衰する）に分解しました。

• 変換関数 $X$ には、高周波成分 $\xi_>$ に対応する部分のみを含めるように設計しました。
• これにより、$e^X$ と $e^{-X}$ が有界（$L^\infty$）となり、解の空間的局所性が初期データから保存されるようになります。
• 同時に、$\xi_\leq$ は滑らかな項として扱われ、特異な積を回避できます。

B. エネルギー解の定義とコンパクト性による存在証明

• エネルギー解の再定義: 従来の「強い解」ではなく、変換された方程式 $ie^{2X}\partial_t v = -\nabla(e^{2X}\nabla v) + e^{2X}Yv + \dots$ を双対空間で満たす「エネルギー解」を定義しました。ここで $Y$ は再正規化された確率場です。
• 一様評価: 正則化された方程式の解 $u_\varepsilon$ に対して、質量とエネルギーの保存則を用いた一様評価（$\varepsilon$ 独立）を得ました。
• コンパクト性: この一様評価とコンパクト性議論により、$\varepsilon \to 0$ の極限としてエネルギー解の存在を証明しました。この過程で正則性の損失や局所性の喪失は発生しません。

C. パラ制御解析を用いたストリッチャーツ不等式

解の一意性と低正則性解の局所良設定性を証明するために、ストリッチャーツ不等式が必要です。

• 変換された作用素 $H^\sharp$: 従来の作用素 $H = -\Delta + \xi$ ではなく、パラ制御解析を用いて定義された変換作用素 $H^\sharp = (\Gamma e^X)^{-1} H (\Gamma e^X)$ を導入しました。ここで $\Gamma$ は適切な確率的写像です。
• 摂動論: $H^\sharp$ はラプラシアン $\Delta$ の「より良い振る舞いをする摂動」として扱え、$H^\sharp + \Delta$ が正の正則性空間に値を持つことを示しました。
• これにより、決定論的なシュレーディンガー流 $e^{it\Delta}$ を用いた摂動論（mild formulation）が適用可能となり、ストリッチャーツ不等式を導出しました。

3. 主要な貢献と結果 (Key Contributions and Results)

定理の概要

• 存在: $d=2$ では $m \geq 1$、$d=3$ では $1 \leq m < 6$（NLS）および $\beta > 0$（ハートリー）に対して、エネルギー解の存在が証明されました。
• 一意性: $d=2$ の NLS ($m \geq 1$) および $d=3$ のハートリー方程式 ($\beta > 1/2$) において、エネルギー解の一意性が証明されました。
• 正則性と局所性の保存: 解は初期データの空間 $e^{-X}(L^2_\mu \cap H^1)$ に属し、時間発展においてもこの空間から外れることがありません（正則性・局所性の損失なし）。

具体的な成果

1. 全空間 $\mathbb{R}^d$ での初の結果: $d=3$ における特異な分散型 SPDE に対する全空間での結果は、本論文が初です。$d=2$ においても、局所性の損失を伴わないグローバル良設定性の結果は初です。
2. 正則性の損失の回避: 従来の指数変換法（Debussche-Weber など）では、時間 $t>0$ で解の正則性が初期データより低下していましたが、本手法ではこれを回避しました。
3. 決定論的初期データへの適用: $d=2$ の NLS において、確率的な初期データではなく、通常の決定論的初期データ（多項式減衰を持つもの）に対しても局所良設定性が得られました。
4. ハートリー方程式の改善: $d=3$ のハートリー方程式において、既存のトーラス上の結果（$\beta > 17/20$ など）を、全空間の分散性を利用することで $\beta > 1/2$ に改善しました。

4. 意義 (Significance)

この研究は、特異な確率偏微分方程式の理論において重要な進展をもたらしています。

• 理論的枠組みの拡張: 従来の「コンパクトな領域（トーラス等）」や「正則性の損失を許容する手法」に依存していた枠組みから、「全空間」かつ「正則性・局所性を保存する」枠組みへと発展させました。
• 分散型 SPDE の解析手法の確立: パラ制御解析を分散型方程式（シュレーディンガー方程式）に適用し、ストリッチャーツ不等式を導出する手法を確立しました。これは、熱方程式とは異なる「分散性（dispersion）」が鍵となる問題に対して、パラ制御解析が有効であることを示しています。
• 物理的・数学的モデルへの応用: 白色ノイズを伴う量子力学系や、ランダム媒質中での波動伝播の数学的基礎を、より厳密かつ一般的な条件下で提供しました。

結論

Antoine Mouzard と Immanuel Zachhuber によるこの論文は、空間的白色ノイズを持つ非線形シュレーディンガー方程式に対し、**「指数変換による特異性の除去」と「パラ制御解析によるストリッチャーツ不等式の導出」**を巧みに組み合わせることで、全空間 $\mathbb{R}^d$ ($d \leq 3$) において、正則性と空間局所性の損失なしにエネルギー解のグローバル良設定性を証明した画期的な成果です。これは、特異な分散型 SPDE の研究における新たなマイルストーンと言えます。