[論文レビュー] Time periodic solutions for 3D quasi-geostrophic model

Claudia García, Taoufik Hmidi+1 more|arXiv (Cornell University)|Apr 3, 2020

Navier-Stokes equation solutions被引用数 1

ひとこと要約

本稿は、分岐理論を用いて、3次元の粘性なし準地軸的方程式に対して非自明な時間周期的（回転する）渦パッチの存在を確立し、回転対称形状の静的パッチを摂動することで解を構成する。主な貢献は、線形化問題から得られる自己随伴コンパクト線形作用素の最大の単純固有値から分岐する回転パッチの存在を示したことである。特異性を扱うために、非等方的カーネルとディリクレ型条件を課した関数空間を用いた洗練されたポテンシャル理論を用いる。

ABSTRACT

This paper aims to study time periodic solutions for 3D inviscid quasi-geostrophic model. We show the existence of non trivial rotating patches by suitable perturbation of stationary solutions given by generic revolution shapes around the vertical axis. The construction of those special solutions are done through bifurcation theory. In general, the spectral problem is very delicate and strongly depends on the shape of the initial stationary solutions. More specifically, the spectral study can be related to an eigenvalue problem of a self-adjoint compact operator. We are able to implement the bifurcation only from the largest eigenvalues of the operator, which are simple. Additional difficulties generated by the singularities of the poles are solved through the use of suitable function spaces with Dirichlet boundary condition type and refined potential theory with anisotropic kernels.

研究の動機と目的

• 3次元の粘性なし準地軸的方程式に対して非自明な時間周期的解（回転パッチ）の存在を確立すること。
• 既知の円形および楕円形の場合を超えて、より一般的な回転対称形状の領域に対する相対的平衡の理論を拡張すること。
• 3次元設定におけるスペクトル的および特異性の課題を、非等方的カーネルと滑らかでない境界に対応した分岐フレームワークを開発することで克服すること。
• 軸対称性を持つ静的解から出発し、スペクトル解析と非線形分岐技法を用いて回転パッチ解を厳密に構成すること。

提案手法

• バイオ・サバール則とグリーン関数の逆演算から導かれるストリーム関数表現を用いて、3次元準地軸的系を定式化する。
• 時間周期的パッチ問題を、ディリクレ型境界条件を課した適切な関数空間における非線形作用素方程式の分岐問題に再定式化する。
• 回転対称形状の静的パッチのまわりでの線形化作用素を解析し、それが自己随伴コンパクト作用素であることを示し、分岐解析の中心的役割を果たすスペクトル性質を明らかにする。
• 非等方的カーネルを用いたポテンシャル理論を用いて、特に特異性付近での速度およびストリーム関数作用素の正則性と連続性を制御する。
• クランダル＝ラビノヴィッツの分岐定理を適用するため、フレドホルム構造、横断性、および最大固有値の単純性を確認する。
• 超幾何関数を含む補助関数に関する対称化技術と洗練された推定を用いて、必要な正則性とコンパクト性を保証する。

実験結果

リサーチクエスチョン

• RQ1 既知の円形および楕円形の場合を超えて、3次元準地軸的方程式に対して非自明な回転する渦パッチが存在しうるか？
• RQ2 静的回転対称形状パッチからの時間周期的解の分岐を可能にする、線形化作用素のスペクトル的条件は何か？
• RQ3 3次元バイオ・サバールカーネルに起因する特異性を、関数空間枠組み内でどのように制御し、滑らかな解の存在を保証できるか？
• RQ4 線形化作用素の最大固有値からの分岐が、非自明な回転パッチを生じるための幾何的およびスペクトル的条件は何か？
• RQ5 球体や楕円体に限らない一般の回転形状に対しても、分岐法を適用して新たな相対的平衡を生成できるか？

主な発見

• スペクトル条件が最大固有値を満たす限り、非自明な回転パッチが3次元準地軸的方程式に対して、静的回転対称形状パッチから分岐することで存在することが保証される。
• 分岐は、最大固有値からのみ発生し、それらが単純であるため、クランダル＝ラビノヴィッツの定理における横断性条件が満たされる。
• 線形化作用素が適切なヒルベルト空間上での自己随伴コンパクト作用素であることが示され、スペクトル解析が可能となる。
• ディリクレ型条件を課した関数空間と非等方的ポテンシャル理論の併用により、3次元におけるバイオ・サバールカーネルの特異性が効果的に制御された。
• 球体または楕円体の特別な場合においては、分岐により明示的な回転解が得られ、キルフホルトの楕円が3次元に一般化される。
• 本手法により、非等方的カーネルを用いた分岐理論とポテンシャル理論を組み合わせた、3次元地球物理学的流れにおける相対的平衡の構成の厳密なフレームワークが確立された。