The stochastic Ginzburg-Landau equation with harmonic potential in the full subcritical regime

技術要約：フル・サブクリティカル領域における調和ポテンシャルを伴う確率的ギンツブルグ・ランダウ方程式

問題設定
本論文は、調和ポテンシャル $H = -\Delta + |x|^2$ の存在下における、$\mathbb{R}^d$ 上の確率的複素ギンツブルグ・ランダウ（CGL）方程式の局所的適題性を扱う。方程式は、時間に関してはホワイトノイズであり、空間的な正則性をパラメータ $\beta$ によって特徴付けられる複素数値ガウスノイズ $\xi$ によって駆動される。著者らは、「フル・サブクリカル領域」、すなわち $2 < \beta < 3 \wedge (2 + d/4)$ という条件を満たす領域に焦点を当てている。

方程式は次のように与えられる：
$$\partial_t u + (i + \gamma)(Hu + \lambda|u|^2u) = \sqrt{2\gamma} \xi$$
ここで $\gamma > 0$ は散逸パラメータであり、$\lambda \in \mathbb{R}$ は結合定数である。調和ポテンシャルの存在と、ノイズの特異な性質（繰り込みを必要とする）が、標準的なラプラス演算子を用いたCGL方程式とは本問題を区別している。ノイズは指数関数的に減衰する共分散構造を持つと仮定されており、これにより無限体積極限における爆発を防ぎつつ、特定のスケーリング特性を維持している。

手法
著者らは、Duchによって開発され、Duch, Gubinelli, Rinaldiによって拡張され、さらに[FMM26]において著者らによって適応されたフレームワークであるフロー・アプローチを採用している。この手法には、いくつかの主要な技術的構成要素が含まれる：

1. 有効な力とアンザッツ（Ansatz）: 解は、フロー方程式の固定点引数を用いて構築される。著者らは、ループ次数、レッグ数（共役の有無を含む）、および電荷を表すマルチインデックスによってパラメータ化された「有効な力」の係数のためのアンザッツを導入している。この階層構造により、非線形性と繰り込みを体系的に扱うことが可能となる。
2. 調和振動子対熱核: 中心的な技術的課題は、調和振動子の基本解（メレ・カーネル、$M$）が並進不変性を持たないことである。著者らは、調和振動子の係数を、並進不変な部分（熱核 $G$ に基づくもの）と剰余成分に分解することにより、[FMM26]の戦略を適応させている。彼らは、短時間（小スケール）において、メレ・カーネルがガウス重みを持つ熱核に近似されるという観察を利用している。これにより、ラプラス演算子のケースから調和振動子のケースへと繰り込み定数を転送することが可能となる。
3. 複素時間への拡張: 複素パラメータ $\gamma$ に関するスケーリング特性を扱うため、著者らは問題を複素時間へと拡張している。彼らは、ノイズと方程式の複素セクター $\Sigma_\gamma$ に対する特定の拡張を定義している。この拡張は、解の法則を保存するように、ノイズと非線形性の特定のスケーリングに基づいている。
4. 繰り込み: 非線形性は、発散する定数 $C^\lambda_\varepsilon$ を用いて繰り込まれる。決定的なのは、この定数が（スケーリング因子を除いて）$\gamma$ に依存せず、ラプラス問題で使用される定数と同一であることである。これは、定常的な力の係数の累積量解析を通じて証明される。

主要な貢献と結果

• フル・サブクリティカル領域における局所的適題性: 本論文は、調和ポテンシャルを伴う繰り込まれたCGL方程式の、確率における一意な局所解の存在を確立している。解は、調和ポテンシャルに固有の無限遠での増大を許容する（外部の重みを必要としない）調和振動子に基づくベゾフ空間（$B^{-\beta+2}_{p,q}$）内の非自明な分布に収束する。
• 繰り込み定数の普遍性: 主要な結果の一つは、調和振動子の問題に必要とされる繰り込み定数が、ラプラスの問題と同じである（具体的には、$C^\lambda_\varepsilon$ は $\gamma$ に依存しない）ことの証明である。これは、調和ポテンシャルが並進不変性を破るにもかかわらず、繰り込みを支配する短時間の挙動が平坦なケースと同一であることから、非自明な結果である。
• スケーリングと法則の一致: 著者らは、パラメータ $\gamma$ を持つ解と $\gamma=1$ の解を関連付けるスケーリング恒等式を証明している。具体的には、解 $u^\gamma$ は、スケーリングされた複素時間における $u^1$ と法則において等しいことを示している：
  $$u^\gamma(t, x) \stackrel{\text{law}}{=} u^1(\gamma t, x)$$
  この結果は、複素半径に沿って方程式を解き、メレ・カーネルの性質（$M_\gamma(t, x, y) = M_1(\gamma t, x, y)$）を利用することによって導かれる。
• トーラスへの拡張: 証明手法の副産物として、著者らはトーラス $\mathbb{T}^d$ 上のラプラス演算子を用いたCGL方程式の局所的適題性をフル・サブクリティカル領域まで拡張し、特定の次元や領域に限定されていた従来の成果を改善した。

意義と主張
本論文は、調和ポテンシャルを持つ確率的複素ギンツブルグ・ランダウ方程式を、散逸パラメータ $\gamma$ に依存しない定数を用いて繰り込んだ最初の研究であると主張している。これは、関連するギブス測度（調和ポテンシャルを伴う複素 $\Phi^4$ モデル）の繰り込み手順における不変性を保持する上で重要である。

著者らは、彼らの手法が、無限体積の問題および調和振動子の並進不変性の欠如という困難を回避することに成功したことを強調している。メレ・カーネルの短時間漸近展開を通じて、調和振動子の問題における確率的対象をラプラスの問題の対象へと結びつけることにより、繰り込み構造が異なる演算器間でも堅牢であることを示している。さらに、複素時間拡張による法則の一致の導出は、散逸的なCGL方程式と純粋に散逸的な $\Phi^4$ モデルとの関係に対する新しい視点を提供しており、これら二つの領域間の深い構造的関連性を示唆している。

本研究は、非線形性や繰り込みを階層的に扱うためのフロー・アプローチの能力に大きく依拠しており、その適用範囲を複素数値の方程式やポテンシャルを伴う演算器へと拡張している。結果は、調和トラップが存在する中での非ゼロ温度におけるボース・アインシュタイン凝縮の研究のための厳密な数学的基礎として提示されており、そこでは散逸、ノイズ、およびポテンシャルの相互作用が極めて重要である。