[論文レビュー] Well-posedness of The Prandtl Equation in Sobolev Spaces

Alexandre Reynaud, Yaguang Wang+2 more|SPIRE - Sciences Po Institutional REpository|Mar 27, 2012

Advanced Mathematical Physics Problems参考文献 15被引用数 5

ひとこと要約

本稿は、接線速度に単調性条件を課えることで、クロッコ変換を避けて、直接エネルギー法を用いて、Sobolev空間における非線形プラントル方程式の局所的適切性を確立する。重み付きSobolev空間、エネルギー推定、およびナッシュ＝モーザー＝ヘルンダーアイテレーションスキームを組み合わせることで、単調なせん断流れの小さな摂動に対する古典的解の存在、一意性、安定性を証明する。

ABSTRACT

We develop a new approach to study the well-posedness theory of the Prandtl equation in Sobolev spaces by using a direct energy method under a monotonicity condition on the tangential velocity field instead of using the Crocco transformation. Precisely, we firstly investigate the linearized Prandtl equation in some weighted Sobolev spaces when the tangential velocity of the background state is monotonic in the normal variable. Then to cope with the loss of regularity of the perturbation with respect to the background state due to the degeneracy of the equation, we apply the Nash-Moser-Hormander iteration to obtain a well-posedness theory of classical solutions to the nonlinear Prandtl equation when the initial data is a small perturbation of a monotonic shear flow.

研究の動機と目的

• プラントル方程式のSobolev空間における直接的適切性理論を、クロッコ変換に依存せずに確立すること。
• Sobolev枠組みにおけるプラントル方程式の退化によって生じる正則性の損失を解消すること。
• 変換に基づく技術の代わりにエネルギー法を用いて、オリニクの古典的適切性結果を拡張すること。
• 単調なせん断流れの小さな摂動に対するSobolev空間内での古典的解の存在、一意性、安定性を証明すること。

提案手法

• 退化を扱うために、重み付き非等方的Sobolev空間を用いる新しい枠組みを導入する。
• 接線速度場に単調性仮定を課えた線形化プラントル方程式に直接エネルギー法を適用する。
• 非線形設定における正則性の損失を回復するために、ナッシュ＝モーザー＝ヘルンダーアイテレーションスキームを用いる。
• 滑らか化作用素と反復近似を用いて、エネルギー推定における誤差項を制御する。
• 境界付近での微分の成長を制御するため、重み付きSobolevノルムにおける事前推定を確立する。
• 背景のせん断流れの単調性に依存して、特異性の生成を防ぎ、安定性を保証する。

実験結果

リサーチクエスチョン

• RQ1 Sobolev空間におけるプラントル方程式の適切性は、クロッコ変換を用いずに確立可能か？
• RQ2 Sobolev枠組みにおいて、プラントル方程式の退化によって生じる正則性の損失は、どのように克服できるか？
• RQ3 単調なせん断流れの小さな摂動に対する古典的解の存在と一意性を保証する条件は何か？
• RQ4 ナッシュ＝モーザー＝ヘルンダーアイテレーションスキームは、Sobolev空間における非線形プラントル方程式の正則性回復に有効か？
• RQ5 直接エネルギー法は、オリニクの古典的結果と同等の局所的適切性結果を導けるか？

主な発見

• 本稿は、単調なせん断流れの小さな摂動に対する非線形プラントル方程式が、Sobolev空間で局所的適切であることを確立する。
• 解は古典的意味で存在し、重み付きSobolev空間の枠組み内で一意的である。
• エネルギー推定はナッシュ＝モーザー＝ヘルンダーアイテレーションスキームにより閉じられ、非線形項による正則性の損失を補償する。
• 本手法はクロッコ変換を回避し、適切性問題に対する新しい直接的アプローチを提供する。
• 反復スキームの収束は、重み付きノルムおよび近似解の一様有界性を用いて証明される。
• 初期データの小さな $ H^k $-ノルム摂動に対して、解は安定であり、$ ilde{ heta}_j $-依存のエネルギーノルムにおける安定性推定が得られる。