Weak Solutions for Inviscid SQG with Lorentz Data

技術要約：ローレンツ空間データを持つ非粘性SQGの弱解

問題設定
本論文は、$\mathbb{R}^2$ および滑らかな有界領域における、非粘性表面準地衡流（SQG）方程式の弱解のグローバルな存在性について扱っている。この方程式は、$\theta$ から零次の特異積分作用素を介して導かれる速度場 $u$ によるスカラー $\theta$ の輸送を記述する：
$$\partial_t \theta + u \cdot \nabla \theta = 0, \quad u = \nabla^\perp \Lambda^{-1} \theta,$$
ここで $\Lambda = (-\Delta)^{1/2}$ である。

中心となる課題は、初期データの正則性にある。$L^2$ データについてはグローバルな弱解が既知であるが、より低い正則性を持つデータに関する問題は未解決のままである。先行研究では、$p > 4/3$ の $L^p$ データ、あるいは臨界ルベグ空間 $L^{4/3}$ に対する存在性が確立されている。しかし、臨界ルベグ空間 $L^{4/3}$ は、ハミルトニアン（負のソボレフ・エネルギー）が制御される最大の空間ではない。著者らは、臨界ローレンツ空間 $L^{4/3, 2}$（$L^{4/3} = L^{4/3, 3} \subsetneq L^{4/3, 2}$ であるため、$L^{4/3}$ を厳密に包含する）における初期データに対するグローバルな弱解の構成を目指している。

この正則性における決定的な困難は、積 $u\theta$ が古典的な意味では定義されないこと、および自然な負のソボレフ空間における弱収束が、二次形式であるハミルトニアン $H(\theta) = \frac{1}{2}\|\Lambda^{-1/2}\theta\|_{L^2}^2$ を自動的には保存しないことにある。さらに、$L^{4/3, 2}$ における列は集中（concentration）を引き起こす可能性があり、それがエネルギーの損失や非一意性を招く恐れがある。

手法
著者らは、粘性を加えることを避け、ローレンツ空間の特性に特化した正則化スキームを採用している。

1. 正則化スキーム:

   • 速度作用素 $\Lambda^{-1}$ は、熱半群表現を打ち切ることによって正則化される：$\Lambda^{-1}_{\epsilon_1} f = c_0 \int_{\epsilon_1}^\infty e^{s\Delta} f s^{-1/2} ds$。
   • 初期データ $\theta_0$ は、熱半群によって平滑化される：$\theta_0^{\epsilon_2} = e^{\epsilon_2 \Delta} \theta_0$。
   • これにより、滑らかな、かつ発散のない速度場を持つ近似方程式の列が得られ、これらはグローバルな滑らかな解を許容する。

2. 非線形項の対称化:

   • カーネル $K(x,y) \sim |x-y|^{-3}$ の特異性を扱うため、著者らは輸送項を対称化する。テスト関数 $\phi$ に対して、項 $\int u \cdot \nabla \theta \phi$ は、カーネルの反対称性（$\mathbb{R}^2$ において）または対称化された形式を用いて書き換えられる。
   • これにより、カーネルの実効的な特異性が次数2から次数1（$|x-y|^{-1}$）へと軽減され、二次形式が $L^{4/3, 2} \times L^{4/3, 2}$ 上で連続となる。

3. ローレンツ空間の評価とコンパクト性:

   • 端点制御: 著者らは、シャープな評価 $\|\Lambda^{-1/2} f\|_{L^2} \lesssim \|f\|_{L^{4/3, 2}}$ を証明する。彼らは、二次ローレンツ指数 $q=2$ が最適であることを示している。すなわち、この評価は $L^{4/3, q}$ （ただし $q > 2$）では成立しない。
   • 高振幅カットオフ: 主要な技術的ツールは、モジュラス $\tau_M(f) = \|(|f|-M)_+\|_{L^{4/3, 2}}$ である。著者らは、$\tau_M$ が熱半群および測度保存輸送によって保持されることを示す。極めて重要なことに、$\tau_M$ は弱下半連続である。
   • 一様有界性: 近似スキームは初期データの分布関数を（初期の平滑化を除いて）保存するため、$\tau_M(\theta(t)) \leq \tau_M(\theta_0)$ が時間および正則化パラメータに関して一様に成り立つ。
   • 重み付き評価: $\tau_M$ の一様有界性を用いて、非減少な重み関数 $\Phi$ を構成し、重み付きローレンツノルムが時間に対して一様に有界であることを示す。これにより、質量の集中を防ぎ、コンパクト性を確保する。

4. 極限への移行:

   • $\mathbb{R}^2$ における空間的タイトネス（tightness）および有界領域における境界減衰を確立することで、領域の非コンパクト性を処理する。
   • 二次カーネルを近対角部分と遠対角部分に分割することにより、$\tau_M$ の一様有界性を用いて近対角部分を制御し、遠対角部分は標準的なコンパクト性議論を通じて収束させる。

主要な結果
主定理（Theorem 1.1）は、任意の初期データ $\theta_0 \in L^{4/3, 2}(\Omega)$ に対して以下を確立する：

1. グローバルな存在性: グローバルな弱解 $\theta \in L^\infty_{loc}([0, \infty); L^{4/3, 2}(\Omega)) \cap C([0, \infty); \mathcal{D}'(\Omega))$ が存在する。
2. ハミルトニアンの保存: 負のソボレフ・エネルギーは、すべての時刻において正確に保存される：
   $$\|\theta(t)\|_{\dot{H}^{-1/2}(\Omega)} = \|\theta_0\|_{\dot{H}^{-1/2}(\Omega)}.$$
3. 分布的制御: 解は高振幅カットオフに関する一様有界性を満たす：すべての $M \geq 0$ に対して $\tau_M(\theta(t)) \leq \tau_M(\theta_0)$。
4. 重み付きノルムの有界性: 時間に依存しない重み $\Phi$ が存在し、解の重み付きローレンツノルムは初期データによって抑えられる。

意義と主張
本論文は、ローレンツの端点 $L^{4/3, 2}$ におけるハミルトニアン保存弱解の存在性を解決したと主張している。これは以下の理由から重要である：

• 既知の存在範囲を、臨界ルベグ空間 $L^{4/3}$ からより大きなローレンツ空間 $L^{4/3, 2}$ へと拡張し、「より粗い」初期データを許容している。
• 二次ローレンツ指数 $q=2$ が、作用素 $\Lambda^{-1/2}$ を通じてハミルトニアンを制御するためのシャープな閾値であることを示している。
• 粘性に頼らず、データの分布関数構造を保存するように設計された近似を用いることで、極限においてハミルトニアンの恒等性を維持することが不可欠な、解析的な手法を用いている。
• 本結果は、わずかに高い正則性（$L^{\bar{p}}$、ただし $\bar{p} > 4/3$）を持つ弱解の最近の非一意性の結果を補完するものである。ここでは、エネルギー保存が解析的に扱い可能な最低限の正則性において、特定のクラスの解を構成している。

著者らは、この正則性における弱解は（凸積分法によって示されるように）一意ではないものの、自分たちの構成法は、物理的なエネルギー不変量を保存する標準的なクラスの解を提供するものであることを強調している。