Qualitative quasi-invariance of low regularity Gaussian measures for the 1d quintic nonlinear Schrödinger equation

問題の定式化
本論文は、トーラス $\mathbb{T} := \mathbb{R}/2\pi\mathbb{Z}$ 上の1次元5次非線形シュレディンガー方程式（NLS）のフローの下における、ガウス測度の定性的準不変性（quasi-invariance）を扱う。具体的には、共分散作用素が $(1-\Delta)^{-s}$ であるガウス測度 $\mu_s$ に従う初期データを検討する。中心となる問いは、任意の時刻 $t$ における解の法則 $\Phi(t)\#\mu_s$ が、初期測度 $\mu_s$ に対して絶対連続であるかどうかである。

本研究は低正則性の領域に焦点を当てている。5次NLSのグローバルなウェルポーズドネス（解の存在と一意性）は、現在、$H^\sigma(\mathbb{T})$ の初期データに対して $\sigma > 2/5$（Li-Wu-Xu [26] によって確立）で知られている。一方、ガウス測度 $\mu_s$ は $\sigma < s - 1/2$ の場合にのみ $H^\sigma(\mathbb{T})$ 上に台を持つ。したがって、$\mu_s$-ほとんど至る所の初期データに対してグローバルなフローを適用するには、$s - 1/2 > 2/5$、すなわち閾値 $s > 9/10$ が必要となる。この方程式に関するこれまでの準不変性の結果は、$s > 3/2$（偶数 $s=2k$ に関する先行研究の拡張）に対して確立されていた。本研究は、この準不変性の結果を臨界閾値 $s > 9/10$ まで拡張することを目的としている。

手法
アプローチは、SunおよびTzvetkov [36] によって開始され、[23] で拡張された枠組みに従い、確率論的なツールと決定論的なエネルギー評価を組み合わせたものである。手法は以下の主要なステップを通じて進行する：

1. 切断と近似（Truncation and Approximation）： 著者らは、高周波成分を除去した、切断されたNLS $\Phi_N(t)$ を扱う。彼らは、切断されたフローの因子分解と、有限次元近似 $\Phi_N(t)$ が完全なフロー $\Phi(t)$ に収束するという近似特性を利用して、有限次元近似から無限次元系へと準不変性を転送する。
2. ポアンカレ・デュラック正規形簡約（Poincaré-Dulac Normal Form Reduction）： $H^s$ ノルムの非保存性を扱うために、著者らは正規形簡約を用いる。これには、修正されたエネルギー汎関数 $E_{s,N}(u) = \frac{1}{2}\|\pi_N u\|_{H^s}^2 + R_{s,N}(u)$ の定義が含まれる。ここで $R_{s,N}$ は、非線形の共鳴相互作用から導かれるエネルギー補正項である。これにより、問題は重み付きガウス測度 $\rho_{s,N} = e^{-R_{s,N}} d\mu_s$ の輸送の解析へと変換される。
3. Boué-Dupuis公式による確率的評価： 本研究における極めて重要な革新は、エネルギー補正項 $R_{s,N}$ およびその時間微分 $Q_{s,N}$ の指数関数的可積分性を確立するために、Boué-Dupuisの変分公式（補題2.11）を使用することである。これは、著者が指摘するように、Wiener Chaos展開を用いる手法では $s > 9/10$ の閾値に到達するには不十分または複雑すぎるため、それに代わるものである。
4. 決定論的および計数評価（Deterministic and Counting Estimates）： 証明は、ダイアディック周波数ブロックに局在化した非線形項 $|u|^4u$ に関する精緻な決定論的評価に大きく依存している。鍵となるのは、共鳴関数 $\Omega(\vec{k})$ と対称化された導関数 $\psi_{2s}(\vec{k})$ の解析である。著者らは、対角線から離れた場所での共鳴関数の下限を確立し、共鳴相互作用の数を制御するための計数境界（補題6.3および6.4）を利用する。これらの評価は、Strichartz評価および非線形項の $L^2$ 境界（補題7.1）と組み合わされ、必要なダイアディック境界を導出するために用いられる。

主要な貢献と結果
主要な結果は定理1.1であり、これは $s > 9/10$ のすべての $s$ に対して、ガウス測度 $\mu_s$ が1次元5次NLSのフローの下で準不変であることを述べている。言い換えれば、任意の時刻 $t \in \mathbb{R}$ に対して、押し出し測度 $\Phi(t)\#\mu_s$ は $\mu_s$ に対して絶対連続である。

本研究は以下によってこれを達成している：

• 準不変性の範囲を、$s > 3/2$（[23] の結果）から $s > 9/10$ へと拡張した。これは、関連するソボレフ空間における当該方程式の現在のグローバル・ウェルポーズドネスの閾値と一致する。
• Boué-Dupuis公式を用いて、エネルギー汎関数 $R_{s,N}$ および $Q_{s,N}$ の定量的な $L^p$ 評価（命題3.8および3.9）を証明した。
• 一様評価と近似議論を通じて、重み付き測度 $\rho_{s,N}$ の準不変性と元のガウス測度 $\mu_s$ との間の厳密な関連性を確立した（第5節）。

意義と限界
著者らは、本研究を[23]の部分的な拡張として位置づけており、準不変性の正則性閾値を現在のグローバル・ウェルポーズドネスの知識の限界まで押し上げている。その意義は、ハミルトニアンが保存されず標準的なエネルギー法が失敗する低正則性の領域においても、準不変性が成立することを示した点にある。

しかし、論文では結果の強さに関して以下の限界を明示的に述べている：

• 定性的 vs 定量的（Qualitative vs. Quantitative）： $s > 3/2$ に対する[23]の結果とは異なり、本研究はラドン＝ニコディム微分の定量的な境界（すなわち、密度自体の $L^p$ 境界）を提供しない（密度ではなく、絶対連続性のみを確立している）。著者らは、これを低正則性領域（$s \leq 3/2$）において質量およびハミルトニアンの保存性を使用できないことに起因するとしている。
• 鋭利性（Sharpness）： 本論文は、$s > 9/10$ が準不変性の鋭利な閾値であるとは主張していない。著者らは、特異な挙動（相互特異性）が始まる正確な閾値を決定することは、[9]における立方Szegő方程式の進展と同様に、依然として未解決の問題であることを認めている。
• 手法的な制約： Boué-Dupuis公式への依存が、この拡張を可能にした要因として強調されている。一方で、以前用いられていたWiener Chaos法は、この特定の $s$ の範囲においては不十分であるようである。

要約すると、本論文は、正規形簡約と変分的な確率的評価の新しい組み合わせを用いることで、1次元5次NLSのガウス測度の準不変性を $s > 9/10$ の正則性まで厳密に証明しており、同時に、現在の技術では得られる密度の定量的な制御が困難であることを認めている。