[論文レビュー] On the two-dimensional Boussinesq equations with temperature-dependent thermal and viscosity diffusions in general Sobolev spaces

Zihui He, Xian Liao|arXiv (Cornell University)|Jul 9, 2021

Advanced Mathematical Physics Problems参考文献 50被引用数 3

ひとこと要約

本稿は、一般のソボレフ空間において、温度に依存する熱拡散係数と粘性拡散係数を有する2次元非圧縮Boussinesq方程式の解の存在、一意性、および最適正則性を確立する。Besov型枠組みにおけるエネルギー推定と交換子推定を用いて、初期データがH^s(R^2) × (H^s(R^2))^2（s > 2）に属する場合の時間全域における適切な定義を証明し、補間および対数的ソボレフ埋没を用いて低正則性領域へ拡張する。これにより、変動する拡散係数下での高正則性伝播に関する長年の未解決問題が解決される。

ABSTRACT

We study the existence, uniqueness as well as regularity issues for the two-dimensional incompressible Boussinesq equations with temperature-dependent thermal and viscosity diffusion coefficients in general Sobolev spaces. The optimal regularity exponent ranges are considered.

研究の動機と目的

• 温度に依存する熱拡散係数および粘性拡散係数を有する2次元Boussinesq系の適切な定義および正則性を扱う。
• s > 2 に対して、一般のソボレフ空間 H^s(R^2) × (H^s(R^2))^2 における解の存在および一意性を確立する。
• 交換子推定および補間不等式を用いて、低正則性領域（s ∈ (0,2]）への解析を拡張する。
• 変動する拡散係数下での解成分の最適正則性指数範囲を特定する。
• 温度に依存する拡散係数下での高正則性の伝播に関する未解決問題を解決する。

提案手法

• 熱拡散係数 κ(θ) = a(θ) および粘性拡散係数 µ(θ) = b(θ) を有する2次元非圧縮Boussinesq系を定式化し、a, b ∈ C^1_b(R; [κ*, κ*]) および [µ*, µ*] を満たすものとする。
• 運動量方程式に対してLeray-Helmholtz射影を適用し、非圧縮性制約を処理し、速度場の射影された時間発展方程式を導出する。
• 二重分解およびLittlewood-Paley理論に基づく周波数局所化エネルギー推定を用いて、θおよびuのH^sノルムの上限を導出する。
• 交換子推定（例：[u, ∆_j]∇u）および ∇κ = b’(θ)∇θ の合成推定を用いて、エネルギー推定における非線形項を制御する。
• Gronwallの不等式を適用し、時間にわたるエネルギー推定を閉じる。低正則性ケースを扱うために、対数的ソボレフ埋没および補間を活用する。
• θおよびuの L^∞_T H^s_x および L^2_T H^{s+1}_x における事前推定を導出し、初期データおよび拡散係数の境界に明示的な依存関係を示す。

実験結果

リサーチクエスチョン

• RQ1 温度に依存する拡散係数を有する2次元Boussinesque方程式が、時間全域にわたって解の存在および一意性を有するための最適なソボレフ正則性指数sの範囲は何か？
• RQ2 変動する熱拡散係数および粘性拡散係数は、解成分θおよびuにおける正則性伝播にどのように影響を与えるか？
• RQ3 拡散係数の変動に小規模仮定を課さずに、一般のソボレフ空間 H^s(R^2) × (H^s(R^2))^2（s > 2）において時間全域の適切な定義を確立できるか？
• RQ4 部分的散逸性が存在する場合、ソボレフ埋没における対数的補正が非線形項の制御に果たす役割は何か？
• RQ5 交換子および補間技術を用いて、正則性が低い初期データ（例：s ∈ (0,2]）に対しても正則性枠組みを拡張できるか？

主な発見

• 初期データ (θ₀, u₀) ∈ H^s(R²) × (H^s(R²))²（s > 2）に対して、時間全域における解の存在および一意性が保証される。但し、κ(θ) = a(θ) および µ(θ) = b(θ) が滑らかで0から離れているものとする。
• θのH²ノルムに関する事前推定が得られる： ∥θ∥²_{L^∞_T H²} + ∥∇θ∥²_{L²_T H²} ≤ C(κ*, ∥a∥_{C²}, κ*)∥θ₀∥²_{H²} (1 + ∥∇θ₀∥²_{L²})² exp(C(κ*, ∥a∥_{C¹})(∥∇u∥²_{L²_T L²} + ∥u∥⁴_{L⁴_T L⁴} + ∥∇θ∥⁴_{L⁴_T L⁴}))。
• 時間全域における適切な定義のための最適正則性指数s > 2が、ソボレフ空間内での閾値として特定され、解は有限時間に特異性を示さずに高正則性を保つ。
• 補間および交換子推定を用いて、s ∈ (0,2] に対しても時間全域の適切な定義が拡張され、uのH^sノルムは C(µ*)∥u₀∥²_{H^s} + C(µ*, s, ν, ∥b∥_{C[ν]+2}, ∥θ∥_{L^∞_T H¹}) ∫₀^T (∥∇u∥²_{L²} + ∥∇θ∥²_{H¹})∥∇u∥²_{H^{s-1}} dt で有界であることが示される。
• 速度場の ˙H²_x に関する事前推定が得られる： ∥∆u(T)∥²_{L²} + ∥∇∆u∥²_{L²_T L²} ≤ C(µ*) (∥∆u₀∥²_{L²} + ∥∇u∥⁴_{L⁴_T L⁴} + ∥∇²µ∥²_{L²_T L²}∥∇u∥²_{L^∞_T L²} + ∥∆θ∥_{L²_T L²}∥∆u∥_{L²_T L²}) × exp(C(µ*)(∥(u, ∇µ)∥⁴_{L⁴_T L⁴} + ∥∇²µ∥²_{L²_T L²}))。
• θおよびuのH^s推定をGronwallの不等式および対数的ソボレフ埋没を組み合わせることで、解が拡散係数の大きな変動に対しても時間全域にわたり滑らかに保たれることを証明する。