[论文解读] 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

一句话总结

本论文在 Reifenberg 平坦区域上，针对具有部分 BMO 系数的定常 Stokes 方程，利用 Muckenhoupt $A_q$ 权，建立了加权 $L_q$-估计与唯一可解性。该研究扩展了先前结果，证明了在加权 Sobolev 空间中具有精确依赖于系数与区域小平均振荡及平坦度参数的先验估计与可解性。

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 系数建立标准 Sobolev 空间中的唯一可解性。
• 将理论扩展至 Muckenhoupt 加权 Sobolev 空间 $W^{1}_{q,\rho}(\rho)$，其中 $\omega \in A_q$，并确保对权特征 $[\omega]_{A_q}$ 的精确依赖。
• 在全空间或上半空间上，为该系统证明加权先验 $L_q$-估计，推广无权结果。
• 明确小参数 $\rho$ 对维数、强椭圆常数及 $q$ 的依赖关系，确保在 $L_q$-基空间中的可解性。

提出的方法

• 利用 Reifenberg 平坦区域，将结果推广至 Lipschitz 域之外，允许具有受控平坦度的粗糙边界。
• 应用 Muckenhoupt $A_q$ 权，将结果扩展至加权 Sobolev 空间，明确追踪权特征 $[\omega]_{A_q}$。
• 采用极大函数估计与 $A_q$ 权的反 Hölder 不等式，控制梯度与压力的 $L_q$-范数。
• 适应 Calderón–Zygmund 类型的覆盖论证与局部化技术，以处理系数的局部 BMO 结构。
• 采用截断与逼近技术，从 $L_{q_0}$ 数据过渡到 $L_{q,\omega}$ 数据，确保在加权范数下的收敛性。
• 通过弱型极大函数界与插值证明先验估计，随后利用稠密性与紧致性论证获得可解性。

实验结果

研究问题

• RQ1 在何种系数与区域条件下，定常 Stokes 系数在加权 Sobolev 空间中具有唯一解？
• RQ2 系数的小平均振荡与边界平坦度如何共同影响可解性与先验估计？
• RQ3 当系数在某一方向可测，且在其余方向具有小 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)$。