Nontrivial integrable weak stationary solutions to active scalar equations with non-odd drift

技術要約：非奇関数的なドリフトを持つ能動的スカラー方程式に対する、非自明な可積分弱解

問題設定
本論文は、トーラス $\mathbb{T}^d$ ($d \geq 2$) 上の定常能動的スカラー方程式に関する非自明な弱解の存在について取り扱う：
$$\begin{cases} \nabla \cdot (\theta u) + \Lambda^\gamma \theta = 0 \\ u = T\theta \end{cases}$$
ここで、$\theta$ はスカラー場、$u$ は発散のない速度場、$\Lambda^\gamma = (-\Delta)^{\gamma/2}$ は分数型ラプラシアン（$0 < \gamma \leq 2$）、$T$ はカルデロン・ザイグムント型の畳み込み型作用素である。本研究の中心的な構造的制約は、作用素 $T$ のフーリエ乗数 $m(\xi)$ が奇関数ではないことである。

著者らは、単なる分布ではなく、可積分関数（具体的には $0 < \epsilon < 1$ において $L^{2-\epsilon}(\mathbb{T}^d)$ および $\dot{B}^{-\epsilon}_{\infty,\infty}(\mathbb{T}^d)$ に属するもの）としての解の構成に焦点を当てている。重要な課題は、乗数が奇関数の場合、作用素 $T$ が $L^2$ 上で歪対称（skew-adjoint）となり、滑らかな摂動 $w$ に対して非線形項の平均 $\int_{\mathbb{T}^d} w T w$ がゼロになることである。この消失は、標準的な凸積分スキームにおける主要項の誤差の打ち消しを妨げる。本論文は、この障害を回避するために、非奇な乗数に範囲を限定しており、一般的な歪対称作用素は現在の手法では到達圏外であることを指摘している。

手法
構成には、De Lellis と Székelyhidi によって導入された**凸積分法（convex integration method）**を用いる。このアプローチでは、近似的な滑らかな解の列 $(\theta_q, u_q, R_q)$ を、緩和された方程式（応力場誤差 $R_q$ を伴う）を満たすように反復的に構築する。目標は、$q \to \infty$ のときに $\|R_q\|_{\dot{H}^{-s}} \to 0$ とすることである。

主要な技術的要素は以下の通りである：

1. 非奇な乗数の活用： $m(\xi)$ が奇関数ではない性質により、非線形項の平均が非ゼロになることが可能となる。具体的には、構成において $m(\xi) + m(-\xi)$ の像が $\mathbb{R}^d$ の基底を含むことを利用する（補題 2.9 および 2.10 により確立）。これにより、摂動の平均を用いて主要項の応力誤差を打ち消すことができる。
2. 間欠的構成要素（Intermittent Building Blocks）： 摂動 $w_{q+1}$ は「間欠的スラブ（intermittent slabs）」（補題 2.12）を用いて構築される。これらは、反復の段階が進むにつれて減少する可変的な間欠度を持つ、高度に振動的な関数である。この特定の構造により、必要な正則性を維持しながら、解の $L^p$ ノルムを制御することが可能となる。
3. 負の正則性評価： 流体方程式のための従来の凸積分スキームがしばしば $L^p$ や $C^0$ ノルムで誤差を評価するのに対し、本研究では応力場を負のソボレフノルム（$\dot{H}^{-s}$）で評価する。この選択は、高周波の構成要素に対して微分が直接作用することを避けるために極めて重要であり、それによって構成要素が何らかの偏微分方程式の定常解である必要性を緩和している。
4. 弱解の定義： 構築された解は、積 $\theta u$ が古典的には定義されない負の正則性を持つ空間に属するため、著者らは**パラプロダクト（paraproducts）**に基づく弱解の定義を採用している。彼らは、[1] および [21] の枠組みに従い、パラプロダクト展開の $\dot{H}^{-s}$ における絶対収束に基づき積を定義している。

主な貢献と結果
主要な結果（定理 1.3）は、$0 < \gamma \leq 2$ の任意の $\gamma$ に対して、以下の性質を持つトーラス $\mathbb{T}^d$ 上の定常能動的スカラー方程式の非自明な弱解 $(\theta, u)$ が存在することを確立している：

• $\theta, u \in \bigcap_{0<\epsilon<1} (\dot{B}^{-\epsilon}_{\infty,\infty}(\mathbb{T}^d) \cap L^{2-\epsilon}(\mathbb{T}^d))$。
• 積 $\theta u$ は、十分に大きな $s$ に対して $\dot{H}^{-s}(\mathbb{T}^d)$ におけるパラプロダクトとして適切に定義される。
• これらは弱パラプロダクトの意味で方程式を満たす。

論文では、周波数パラメータ $\lambda_q$ を十分に大きく取ることで、振動、ナッシュ、および散逸の誤差を $\dot{H}^{-s}$ ノルムにおいて任意に小さくできることを示す帰納的な証明（命題 4.1）が詳細に述べられている。

意義と範囲
著者らは、本研究が、単なる分布ではなく可積分関数であるような、トーラス上の定常能動的スカラー方程式の弱解の最初の構成を提供すると主張している。これは注釈 1.4 で強調されている。

論文は、その限界についても謙虚に述べている：

• 解は $L^2(\mathbb{T}^d)$ には属さず、これは依然として困難な未解決問題である。
• 結果は、奇関数ではない乗数に限定されている。著者らは、SQG（表面準地衡流）方程式の乗数が奇関数であるため、本結果は適用できないことを明示している。
• 手法は、乗数がカルデロン・ザイグムント型作用素であることを前提としている。論文では、磁気地衡流（MG）方程式は非有界な乗数を含むため、現在の手法の範囲外であることを指摘しているが、これを興味深い未解決問題として示唆している。
• 構成は、特定の非奇な乗類のクラスを利用している。著者らは、一般的な歪対称作用素に対する解の存在を解決したと主張しているわけではない。

要約すると、本論文は、ドリフト作用素の非奇な対称性を利用して主要項の誤差を打ち消し、可積分性を達成するために間欠的構成要素を用い、弱解を定義するために負のソボレフノルムを用いることで、特定のクラスの定常能動的スカラー方程式に対して凸積分法を拡張したものである。