[論文レビュー] On the Weak Solutions to the 3D Inviscid Quasi-Geostrophic System

Matthew Novack|arXiv (Cornell University)|Sep 29, 2017

Navier-Stokes equation solutions参考文献 19被引用数 4

ひとこと要約

本稿は、Lebesgue空間 $L^p$ に属する初期データ $p > \frac{4}{3}$ に対して、3次元非粘性準地軸系の弱解の全球的存在を確立する。これは、ラグランジュ乗数と発散なしの漂流項を含む再定式化された系を用いる。正則性条件の下でエネルギー保存を証明し、系の構造と正則性特性の厳密な解析を通じて、複数の弱解概念の関係を結びつける。

ABSTRACT

The purpose of this note is to study the weak solutions to the inviscid quasi-geostrophic system for initial data belonging to Lebesgue spaces. We give a global existence result as well as detail the connections between several different notions of weak solutions. In addition, we give a condition under which the energy of the system is conserved.

研究の動機と目的

• Lebesgue空間 $L^p$ に属する初期データ $p > \frac{4}{3}$ に対して、3次元非粘性準地軸系の弱解の全球的存在を確立すること。
• 3次元準地軸系の文脈において、異なる弱解の概念（例えば、分布的、変分的、再定式化されたもの）の関係を明確にすること。
• 弱解が系のエネルギーを時間的に保存するための十分条件を特定すること。
• プエルとヴァッセールの解析的枠組みを拡張し、curlに基づくラグランジュ乗数と発散制約を含む再定式化された系を導入すること。

提案手法

• 3次元準地軸系を、ベクトルポテンシャル表現を用いて再定式化し、curl項をラグランジュ乗数として作用させる。これは、Euler方程式における圧力と類似する。
• compactly suppored テスト関数との積分を用いて弱解を定義し、運動量方程式および連続の方程式が分布的意味で満たされることを保証する。
• 正則化系 $(QG)_\epsilon$ にデ・ジョルジ法を適用し、反復的振動低減と等周的推定を用いて、解の $L^\infty$ 全体的バインディングおよび Hölder 継続性を確立する。
• ポisson核表現を用いて分数的熱方程式成分を分析し、$L^\infty$ から $\mathring{B}_{\infty,\infty}^1$ 正則性への正則性のブートストラップを可能にする。
• 部分積分と $L^p$ 評価を $\theta = \partial_\nu \Psi$ の方程式に適用し、すべての $p \in [1, \infty]$ に対してエネルギー型評価を証明する。$p=\infty$ の場合は、有限 $p$ の評価の極限として得られる。
• 強制項と初期データが滑らかくcompactly suppored であることに着目し、エネルギー評価における $p \to \infty$ の極限を正当化する。

実験結果

リサーチクエスチョン

• RQ1 3次元非粘性準地軸系は、$L^p$ に属する初期データ $p > \frac{4}{3}$ に対して、全球的弱解を有するか？
• RQ2 3次元準地軸系の文脈において、異なる弱解の概念（例：分布的、変分的、再定式化されたもの）の関係は何か？
• RQ3 弱解のエネルギーが時間的に保存される条件は何か？
• RQ4 非粘性を伴う3次元準地軸系において、デ・ジョルジ法を正則性と有界性の証明に適応できるか？
• RQ5 ディリクレ・トゥ・ノーマル作用素は、3次元系と2次元表面準地軸方程式を結ぶ役割を果たすか？

主な発見

• 初期データが $L^p(\mathbb{R}^3_+)$ に属し $p > \frac{4}{3}$ である場合、全球的弱解が存在する。これは、従来の $L^2$ 初期データに限られた結果を拡張する。
• 解 $\theta = \partial_\nu \Psi$ が $\theta \in L^\infty([0,T]; \mathring{B}_{\infty,\infty}^1(\mathbb{R}^2))$ を満たす場合、系のエネルギーは保存される。これは、デ・ジョルジ法によって確立された正則性のもとで成立する。
• curlに基づくラグランジュ乗数を含む再定式化系 $(rQG)$ は、元の系の弱解とその構造を分析するための厳密な枠組みを提供する。
• デ・ジョルジ法により、$\theta = \partial_\nu \Psi_\epsilon$ のHölder連続性のモジュラスが得られ、これは初期データの $H^3$-ノルムと強制項にのみ依存し、一様な正則性を保証する。
• $\theta$ の $L^\infty$ バインディングは、全領域における $L^\infty$ 評価（補題6.1）により確立され、これは $\theta$ の $L^\infty$-ノルムと $(-\overline{\Delta})^{-1/4}f$ の $C^{1/2}$-ノルムにのみ依存する。
• $\theta$ のエネルギー評価はすべての $p \in [1, \infty]$ に対して成り立ち、$p=\infty$ の場合は有限 $p$ の評価の極限として得られる。これは初期データおよび強制項の滑らかさとcompactly suppored 性に依存する。