[論文レビュー] Weighted $L_q$-estimates for stationary Stokes system with partially BMO coefficients

Hongjie Dong, Doyoon Kim|arXiv (Cornell University)|Feb 22, 2017

Advanced Harmonic Analysis Research参考文献 17被引用数 4

ひとこと要約

本稿は、Muckenhoupt $A_q$ 重みを用いて、Reifenberg平坦領域上における部分的に BMO な係数をもつ定常 Stokes 系の重み付き $L_q$-推定と一意的可解性を確立する。先行研究を拡張し、重み付きソボレフ空間における前向き推定と可解性を示し、領域および係数の小さな平均振動と平坦性パラメータに鋭い依存関係を示す。

ABSTRACT

We prove the unique solvability of solutions in Sobolev spaces to the stationary Stokes system on a bounded Reifenberg flat domain when the coefficients are partially BMO functions, i.e., locally they are merely measurable in one direction and have small mean oscillations in the other directions. Using this result, we establish the unique solvability in Muckenhoupt type weighted Sobolev spaces for the system with partially BMO coefficients on a Reifenberg flat domain. We also present weighted a priori $L_q$-estimates for the system when the domain is the whole Euclidean space or a half space.

研究の動機と目的

• Reifenberg平坦領域上における部分的に BMO な係数をもつ定常 Stokes 系の標準的ソボレフ空間における一意的可解性を確立すること。
• 重み付きソボレフ空間 $W^{1}_{q,\rho}(\rho)$ に理論を拡張し、重み特性 $[\omega]_{A_q}$ に鋭い依存関係を保証すること。
• 全空間または半空間上における系の重み付き前向き $L_q$-推定を証明し、非重み付き結果を一般化すること。
• 小規模パラメータ $\rho$ が次元、強楕円定数、および $q$ にどのように依存するかを明確にし、$L_q$-基礎空間における可解性を保証すること。

提案手法

• リーフェンベルク平坦領域の使用により、リプシッツ領域を超えて一般化し、制御された平坦性をもつ粗い境界を許容する。
• Muckenhoupt $A_q$ 重みの適用により、重み付きソボレフ空間への結果の拡張を図り、重み特性 $[\omega]_{A_q}$ を明示的に追跡する。
• 最大関数推定と $A_q$ 重みの逆 Hölder 不等式を用いて、勾配および圧力の $L_q$-ノルムを制御する。
• Calderón–Zygmund 型の被覆議論および局所化技術を、係数の部分的に BMO 構造に対応させるために適応する。
• データを $L_{q_0}$ から $L_{q,\omega}$ に移行させるために、切断および近似技術を用い、重み付きノルムにおける収束を保証する。
• 弱型最大関数の境界と補間を用いた前向き推定の証明の後、密度およびコンパクトネスの議論により可解性を示す。

実験結果

リサーチクエスチョン

• RQ1 係数および領域にどのような条件下で、定常 Stokes 系が重み付きソボレフ空間に一意解をもつか。
• RQ2 係数の小さな平均振動と境界の平坦性が、可解性および前向き推定にどのように同時に影響するか。
• RQ3 係数が1方向で可測で、他の方向で小さな BMO 振動をもつ場合に、Stokes 系に対して重み付き $L_q$-推定を確立できるか。
• RQ4 可解性の閾値が Muckenhoupt 重み特性 $[\omega]_{A_q}$ および小規模パラメータ $\rho$ にどのように鋭く依存するか。
• RQ5 同じ正則性仮定を保ったまま、非重み付きから重み付き $L_q$-空間への結果の拡張はどの程度可能か。

主な発見

• 著者らは、全空間または半空間上における部分的に BMO な係数と $A_q$ 重みをもつ定常 Stokes 系に対して、重み付き前向き $L_q$-推定を証明する。
• 係数が部分的に BMO で、平坦性／振動パラメータ $\rho$ が十分に小さいとき、有界な Reifenberg平坦領域上における Stokes 系について、$W^{1}_{q,\omega}(\Omega)^d \times L_{q,\omega}(\Omega)$ において一意的可解性が確立される。
• $\rho$ の小規模性は、$d$, $\delta$, $R_0$, $K$, $q$, および $[\omega]_{A_q}$ のみに依存し、重み特性に鋭い依存関係を保証する。
• 勾配 $Du$ および圧力 $p$ の $L_q$-ノルムは、データ $f_\alpha$, $g$ の重み付きノルムおよび $|Du|+|p|$ の $L_1$ における低次の項によって制御される。
• 可解性結果は近似により得られる：$L_{q_0}$ のデータを切断し、$L_{q,\omega}$ における極限に移行する。これは、$A_q$ 重みの逆 Hölder 不等式および Hölder 不等式に依存する。
• 最終的な推定 $\|Du\|_{L_{q,\omega}} \leq N\|Du\|_{L_1} + N\|f_\alpha\|_{L_{q,\omega}} + N\|g\|_{L_{q,\omega}}$ が、定数 $N$ が $d$, $\delta$, $R_0$, $R_1$, $K$, $q$, $[\omega]_{A_q}$, および $\omega(\Omega)$ に依存することを示す。