[论文解读] An elementary proof of the continuity from $L_0^2(Ω)$ to $H^1_0(Ω)^n$ of Bogovskii's right inverse of the divergence

Ricardo G. Durán|arXiv (Cornell University)|Mar 18, 2011

Advanced Mathematical Theories and Applications被引用 15

一句话总结

本文提出了一种基于傅里叶变换的初等证明，证明了在关于一个球星形的区域 $\Omega$ 上，Bogovskii 的散度算子右逆从 $L_0^2(\Omega)$ 到 $H_0^1(\Omega)^n$ 的连续性。该方法避免了 Calderón-Zygmund 理论，得到了连续性常数的显式估计，其形式为 $R/\rho$ 的函数，进而为 Korn 不等式和改进的 Poincaré 不等式中的常数提供了界。

ABSTRACT

The existence of right inverses of the divergence as an operator form $H^1_0(Ω)^n$ to $L_0^2(Ω)$ is a problem that has been widely studied because of its importance in the analysis of the classic equations of fluid dynamics. When $Ω$ is a bounded domain which is star-shaped with respect to a ball $B$, a right inverse given by an integral operator was introduced by Bogovskii, who also proved the continuity using the Calderón-Zygmund theory of singular integrals. In this paper we give an alternative elementary proof using the Fourier transform. As a consequence, we obtain estimates of the constant in the continuity in terms of the ratio between the diameters of $Ω$ and $B$. Moreover, using the relation between the existence of right inverses of the divergence with the Korn and improved Poincaré inequalities, we obtain estimates for the constants in these two inequalities.

研究动机与目标

• 为证明 Bogovskii 的散度算子右逆的连续性，提供一种不依赖 Calderón-Zygmund 理论的初等替代方法。
• 在 $R$ 为区域直径、$\rho$ 为参考球半径的前提下，推导出逆散度算子连续性常数的显式估计，其依赖于比值 $R/\rho$。
• 建立逆散度算子连续性常数与 Korn 不等式及改进的 Poincaré 不等式中常数之间的定量联系。
• 通过新估计方法，证明在平面星形区域中，改进的 Poincaré 不等式常数可被 $R/\rho$ 的倍数所界定。

提出的方法

• 通过将 $f$ 零延拓至整个空间 $\mathbb{R}^n$，将右逆算子扩展到 $\mathbb{R}^n$。
• 利用傅里叶变换分析定义逆散度的奇异积分算子，借助恒等式 $\widehat{\partial_j f}(\xi) = 2\pi i \xi_j \widehat{f}(\xi)$。
• 将解算子分解为两部分 $u_{k,1}$ 和 $u_{k,2}$，以处理奇异核的结构。
• 应用傅里叶乘子算子的 $L^2$ 有界性，以 $f$ 的 $L^2$ 范数控制解的 $H^1_0$ 范数。
• 利用尺度变换和局部化技术，推导出依赖于几何比值 $R/\rho$ 的精确估计。
• 通过对偶性和单位分解论证，建立逆散度算子与改进的 Poincaré 不等式及 Korn 不等式之间的联系。

实验结果

研究问题

• RQ1 是否可以不依赖 Calderón-Zygmund 理论，证明 Bogovskii 的散度算子右逆的连续性？
• RQ2 对于星形区域，连续性常数对几何比值 $R/\rho$ 的依赖关系如何？
• RQ3 如何利用逆散度算子的连续性常数来估计 Korn 不等式和改进的 Poincaré 不等式中的常数？
• RQ4 在平面星形区域中，改进的 Poincaré 不等式常数是否可被 $ (R/\rho) \log(R/\rho) $ 的倍数所界定？
• RQ5 是否可以利用 Hardy 不等式建立一个反向估计，将逆散度常数与改进的 Poincaré 常数联系起来？

主要发现

• 仅使用傅里叶变换和基本的 $L^2$ 理论，建立了一种初等证明，证明了 Bogovskii 的右逆从 $L_0^2(\Omega)$ 到 $H_0^1(\Omega)^n$ 的连续性。
• 连续性常数 $C_{\text{div},\Omega}$ 被显式估计为比值 $R/\rho$ 的函数，其界为 $C_{\text{div},\Omega} \leq C_n (1 + C_{\text{iP},\Omega})$。
• 对于平面星形区域，改进的 Poincaré 不等式常数满足 $C_{\text{iP},\Omega} \leq C (R/\rho) \log(R/\rho)$，其中 $C$ 为绝对常数。
• 在 Hardy 不等式成立的假设下，建立了 $C_{\text{iP},\Omega} \leq C_{H,\Omega} C_{\text{div},\Omega}$，且对单连通平面区域有 $C_{H,\Omega} \leq 4$。
• 证明了估计 $C_{\text{iP},\Omega} \leq C (R/\rho) \log(R/\rho)$ 几乎是最优的，因为存在某些区域使得 $C_{\text{iP},\Omega} \geq c_1 (R/\rho)$。
• 该方法为逆散度算子与 Sobolev 空间中基本不等式之间建立了构造性且定量的联系，其结果显式依赖于区域的几何形状。