[論文レビュー] Global Well-posedness and Regularity of Weak Solutions to the Prandtl's System

Zhouping Xin, Liqun Zhang+1 more|arXiv (Cornell University)|Mar 16, 2022

Advanced Mathematical Physics Problems被引用数 6

ひとこと要約

本稿は、有利な圧力条件下における2次元非定常プラントル系の弱解のグローバルな適切性、一意性、滑らかさを確立する。クロッコ変換とBV推定を用いて、初期データおよび境界データへの連続的依存性とホルダー正則性を証明し、モーザー反復および超放物型方程式理論を用いてグローバルな古典解に至る。

ABSTRACT

We continue our study on the global solution to the two-dimensional Prandtl's system for unsteady boundary layers in the class considered by Oleinik provided that the pressure is favorable. First, by using a different method from [13], we gave a direct proof of existence of a global weak solution by a direct BV estimate. Then we prove the uniqueness and continuous dependence on data of such a weak solution to the initial-boundary value problem. Finally, we show the smoothness of the weak solutions and then the global existence of smooth solutions.

研究の動機と目的

• 有利な圧力下で、オリニクの単調クラスに属する2次元非定常プラントル系に対するグローバル弱解の存在を確立すること。
• そのような弱解の初期データおよび境界データへの一意性および連続的依存性を証明すること。
• 弱解が領域の内部で実際に滑らか（古典解）であることを示すこと。
• モーザー反復およびトレース理論を用いて、変換された超放物型方程式の正則性理論を拡張すること。

提案手法

• プラントル系を$(\tau, \xi, \eta)$-変数における非線形超放物型方程式に変換するため、クロッコ変換を適用する。
• 直接的なBV推定を用いて、定義1.1の意味でのグローバル弱解の存在を証明し、$ w $および$ \partial_\eta w $のバインディングを満たす。
• 境界条件および弱形式を、$ \tau=0 $、$ \xi=0 $、$ \xi=L $で消えるテスト関数を用いた部分積分により確立する。
• 正の部分$ (w - I_0)^+ $における修正されたモーザー反復法を用いて、解のホルダー連続性を証明する。この際、振幅の減衰推定に基づく。
• 振幅推定$ \text{Osc}_{B^{-}_{\bar{\theta}r}} u \leq \bar{\beta} \, \text{Osc}_{B^{-}_r} u $（$ \bar{\beta} < 1 $）を導出し、原点近傍におけるホルダー連続性を示す。
• 超放物型方程式の標準的正則性理論を活用して、解が領域の内部で$ C^\infty $滑らかであることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 分割法に依存せずに、BV推定を直接用いてグローバル弱解を構成できるか？
• RQ2 有利な圧力下で、弱解は初期データおよび境界データに対して一意的かつ連続的に依存するか？
• RQ3 弱解は内部でより高い正則性、例えばホルダー連続性や滑らかさを有するか？
• RQ4 解の振幅がより小さな球において一様に減少するか？ これはホルダー正則性を示唆する。
• RQ5 モーザー型反復によりホルダー連続性を確立した後、解の正則性クラスは何か？

主な発見

• 有利な圧力および単調性仮定の下で、変換されたプラントル系に対してグローバル弱解$ w \in BV(Q_T) \cap L^\infty(Q_T) $が存在する。
• 弱解は一意的であり、エネルギーおよびトレース推定により初期および境界データに連続的に依存する。
• 解は$ (1 - \eta)^{1/2} \partial_\eta w \in L^2(Q_T) $および$ \int_{Q_T} (1 - \eta)^2 d|w_{\eta\eta}| < \infty $を満たし、2階微分の可積分性を保証する。
• 振幅の減衰推定$ \text{Osc}_{B^{-}_{\bar{\theta}r}} u \leq \bar{\beta} \, \text{Osc}_{B^{-}_r} u $（$ \bar{0} < \bar{\beta} < 1 $）が成り立ち、原点近傍におけるホルダー連続性を証明する。
• 超放物型方程式の正則性理論に従い、解は$ Q_T $の内部で$ C^\infty $滑らかであることが示される。
• 結果は元のプラントル系へ拡張され、同一条件下でグローバルな古典解の存在が確立される。