A sharp stability criterion for Euler equations via sparseness

問題の提示
本論文は、非圧縮性オイラー方程式の弱解に関する基本的な未解決問題、具体的には運動エネルギーの保存と解の一意性について取り扱っている。近似解の族 $\{u_\varepsilon\}$ の解析における中心的な課題は、「集中・相殺」現象であり、これは渦度が特定の関数空間で一様に有界であっても、エネルギーが集合上に集中しうる現象を指す。DiPerna–Majda、Lopes Filho–Nussenzveig Lopes、および Tadmor による先行研究は、$H^{-1}$-安定性（$H^{-1}_{loc}$ における渦度の前コンパクト性）が $L^2$ における強収束と集中の欠如を保証する十分条件であることを確立した。

しかし、Morrey 空間 ($M_{p,\alpha}$) や Riesz-Morrey-Tadmor (RMT) 空間 ($R_{p,2}\log^\alpha$) に関連する既存の $H^{-1}$-安定性の基準は、パラメータ空間に「ギャップ」を残している。例えば、2 次元の場合、$M_{1,1/2}$ が $H^{-1}$ へコンパクトに埋め込まれないことは知られているが、$\alpha \in (1/2, 1]$ に対する $M_{1,\alpha}$ の状況は未解決の「ギャップ問題」として残っている。同様に、Tadmor による RMT 空間を用いた改良は、コンパクト性を達成するために対数重みが必要であり、これらの対数条件が鋭いものか、あるいは改善可能か否かは不明である。著者らは、標準的な RMT 空間 $R_{2n/(n+2), 2}$ は $H^{-1}$ に埋め込まれないため、コンパクト性を回復させるために対数重みの導入が必要であると指摘している。

手法
著者らは、$H^{-1}$-安定性を再定式化するために疎性（sparseness）に基づく新たな枠組みを導入する。核心的な手法の転換は、古典的関数空間の定義において用いられてきた互いに素な立方体の族（パッキング）を、疎な立方体の族（sparse families）に置き換えることにある。

1. 疎 Riesz-Morrey-Tadmor (RMT) 空間: 著者らは、ノルム定義における上限を互いに素なパッキングではなく疎な立方体の族に対して実行するように修正することで、$SR_{p,q}\log^\alpha$ と表記される疎版 RMT 空間を定義する。これら疎空間は、古典的な対応物では一般的に共有されていない性質として、最大値作用素による特徴付けを許容することを示している。
2. 負のソボレフ空間との同一視: 重要な結果（定理 3）は、特定のパラメータ（$p = 2n/(n+2), q=2$）に対して、疎空間 $SR_{2n/(n+2), 2}$ が負のソボレフ空間 $H^{-1}$ と同値であることを示している。これは、$H^{-1}$ へ埋め込まれない古典的空間 $R_{2n/(n+2), 2}$ とは対照的である。
3. 疎指数: 著者らは関数空間 $X$ に対して「疎指数」$s_N(X)$ を定義する。これらの指数は、$X$ から $H^{-1}$ への埋め込みのコンパクト性の度合いを測定する。具体的には、$\lim_{N\to\infty} s_N(X) = 0$ がコンパクト埋め込み $X_c \hookrightarrow H^{-1}_{loc}$ と同値であることが示される。
4. 疎安定性と外挿: これらの指数を用いて、著者らは$\Psi$-疎安定性を定義する。ここで、近似解の渦度は、減衰関数 $\Psi$ によって決定される疎空間 $S_\Psi$ において一様に有界である。彼らは外挿手法（具体的には Jawerth–Milman の $\Sigma$-法）を用いて、疎指数が所定の減衰率を示す新たな関数空間 $V_\Psi$ および $T_\Psi$ を構成する。これらの空間は、古典的なベソフ空間およびソボレフ空間のペアに対する外挿空間として特徴付けられる。

主要な貢献と結果

• 安定性概念の同値性: 本論文は、$H^{-1}$-安定性が疎安定性と同値であることを証明している（定理 2）。これにより、疎指数の減衰という観点から集中の欠如を統一的に特徴付けることが可能となった。
• 古典的結果の鋭化:
  • Morrey 正則性: 著者らは、$H^{-1}$-安定性を維持しつつ、極限 Morrey 空間 $M_{n/2, \alpha}$（$\alpha > 1$）を真に含む空間 $V_\Psi$ を構成する。これにより、より広範な渦度のクラスを許容する形で DiPerna–Majda の結果が改良される（定理 11）。
  • Tadmor 正則性: 同様に、極限 RMT 空間 $R_{2n/(n+2), 2}\log^\alpha$（$\alpha > 1/2$）を真に含む新たな空間 $T_\Psi$ が導入され、Tadmor の結果が改良される（定理 14）。
  • 本論文は、これらの新たな埋め込みが真であることを示す具体的な例を明示的に構成しており、すなわち新たな空間には古典的な極限空間には存在しない関数が含まれていることを意味している。
• エネルギー保存: 著者らは、疎安定性の枠組みを、トーラス上の 2 次元オイラー方程式の物理的に実現可能な解のエネルギー保存問題に適用する。物理的実現の渦度が、疎指数がゼロに減衰する（許容条件を満たす）空間 $X$ において一様に有界であれば、極限解はエネルギーを保存することを証明している（定理 6 および系 2）。これにより、既存の $L^p$ 結果が新たな疎スケールへ拡張された。
• スケールの比較: 本論文は、新たに導入された $V_\Psi$（ディディックブロックの $L^\infty$ ノルムに基づく）と $T_\Psi$（$L^2$ ノルムに基づく）の関係を分析する。一般的に、どちらの空間も他方を含まないことを示し、これらの改良が本質的に異なる性質を持つことを浮き彫りにしている。

重要性
本論文は、既知の存在結果に対して「簡素化されたアプローチ」を提供すると同時に、それらを鋭化すると主張している。疎構造を導入することにより、著者らは $H^{-1}$-コンパクト性を達成するために対数重みを必要としていた古典的 RMT 空間の限界を克服した。疎指数の導入は、$H^{-1}$ への「コンパクト性の度合い」を測定する定量的な道具を提供し、所定の減衰率を持つ関数空間の構成を可能にする。

著者らは、彼らの手法がオイラー方程式の理論と調和解析における外挿空間および疎支配の理論を結びつけていることを強調している。本論文は、$\alpha \in (1/2, 1]$ に対する Morrey 空間 $M_{1,\alpha}$ の「ギャップ問題」を決定的に解決するとは主張していないが、既知の極限ケースを改良する改良されたスケール（$V_\Psi$）を提供し、非集中とエネルギー保存に必要な正則性に関する新たな視点を提供している。この研究は、$H^{-1}$-安定性に関する古典的空間の「欠陥」は、テスト立方体の幾何学に起因する人工物であり、疎な族を採用することで是正可能であることを示唆している。