[论文解读] On Poincaré, Friedrichs and Korns inequalities on domains and hypersurfaces

Duduchava Roland|arXiv (Cornell University)|Apr 6, 2015

Nonlinear Partial Differential Equations参考文献 4被引用 5

一句话总结

本文利用巴拿ach的开映射定理，在区域和超曲面上建立了新型的庞加莱、弗里德里希斯和科尔型不等式。对于柱形区域，仅通过表面导数（而非完整梯度）即可控制函数的 $ L_p $-范数，从而将经典结果推广至向量场和高阶Sobolev空间，并通过形变张量和迹泛函获得精确估计。

ABSTRACT

The celebrated Poincaré and Friedrichs inequalities estimate the $\mathbb{L}_p$-norm of a function by the $\mathbb{L}_p$-norm of the gradient. We prove the Poincaré inequality for a domain $Ω\subset \mathbb{R}^n$ and for a hypersurface $\mathcal{C}\subset\mathbb{R}^n$ based on open mapping theorem of Banach only. For a cylinder which has a hypersurface as a base, is prove stronger inequality, involving only the surface derivatives. Similar inequalities for the uniform $C$-norm are proved as well. We also estimate $\mathbb{H}^m_p$-norm of functions prove inequalities for some generalizations of the mentioned inequalities. We also prove Poincaré-Korns and Friedrichs-Korns inequalities for vector-func\-ti\-ons estimating the $\mathbb{L}_p$-norm of a function by the $\mathbb{L}_p$-norm of the deformation tensor only on domains and on hypersurfaces. The proofs are based on the paper \cite{Du10} of the author on Korns inequalities. And again, the norm of the function in a cylinder is estimated by is the deformation tensor on the base of the cylinder.

研究动机与目标

• 将经典的庞加莱和弗里德里希斯不等式推广至在最小几何假设下的超曲面和柱形区域。
• 基于仅表面导数或形变张量，建立函数和向量场的 $ L_p $-范数估计，避免使用完整梯度范数。
• 通过迹泛函和嵌入定理，将这些不等式推广至高阶Sobolev空间 $ W^m_p $。
• 为向量场证明庞加莱-科尔和弗里德里希斯-科尔不等式，仅通过形变张量估计 $ L_p $-范数。
• 利用泛函分析工具，特别是开映射定理和Killing场的唯一延拓性质，统一并强化现有不等式。

提出的方法

• 利用巴拿ach的开映射定理，对从 $ W^1_p $ 到 $ W^1_p / ext{constants} $ 的商映射进行处理，推导出在区域 $ ar{ ext{dom}} imes [a,b] $ 上的庞加莱和弗里德里希斯不等式。
• 引入基于表面梯度 $ abla_{ ext{C}} $ 和 $ ar{ ext{M}}_0 imes [a,b] $ 上迹积分的新范数，并通过开映射定理证明其与标准范数等价。
• 应用迹定理和Sobolev嵌入 $ W^{m-1/p}_p(\bar{ ext{M}}_0) \to \bL_p(\bar{ ext{M}}_0) $，以在不等式估计中控制迹泛函。
• 利用 $ ext{Def}_{ ext{C}} \bU = 0 $（Killing场）解的唯一延拓性质，证明仅涉及超曲面上表面形变张量的不等式。
• 通过 $ ext{Def} \bU $ 和迹数据构造 $ \bW^1_p $-空间上的等价范数，再应用开映射定理推导逆不等式。
• 通过定义函数 $ F(\bvarphi) $ 为直到 $ m-1 $ 阶导数的迹的 $ L_p $-范数，证明高阶不等式，并利用迹定理确保其有界性。

实验结果

研究问题

• RQ1 能否仅通过表面导数和迹数据在超曲面上证明庞加莱和弗里德里希斯不等式，而无需依赖完整梯度？
• RQ2 是否可能仅通过表面梯度和子集上的迹数据来估计在超曲面柱体上函数的 $ L_p $-范数？
• RQ3 能否为向量场建立庞加莱-科尔和弗里德里希斯-科尔不等式，仅通过形变张量估计 $ L_p $-范数？
• RQ4 高阶Sobolev范数与区域和超曲面上的迹泛函及表面导数之间有何关系？
• RQ5 Killing场的唯一延拓性质在仅通过形变张量证明超曲面上不等式的过程中起什么作用？

主要发现

• 在柱体 $ \text{C} \times [a,b] $ 上证明了新的庞加莱不等式，其中 $ \bvarphi $ 的 $ L_p $-范数由表面梯度 $ \nabla_{\text{C}} \bvarphi $ 的 $ L_p $-范数和 $ \bar{\text{M}}_0 $ 上的迹积分有界，且不依赖于横向导数。
• 对于在子集 $ \bar{\text{M}}_0 = \bar{\text{C}}_0 \times [a,b] $ 上消失的函数，其 $ L_p $-范数仅由表面梯度控制：$ \big\braceVert \bvarphi \big\braceVert_{L_p(\text{C} \times [a,b])} \neq C \big\braceVert \nabla_{\text{C}} \bvarphi \big\braceVert_{L_p(\text{C} \times [a,b])} $。
• 在超曲面 $ \text{C} $ 上，庞加莱不等式 $ \big\braceVert \bvarphi - \bvarphi_{\text{C}} \big\braceVert_{L_p(\text{C})} \neq C \big\braceVert \nabla_{\text{C}} \bvarphi \big\braceVert_{L_p(\text{C})} $ 成立，其证明基于巴拿ach的开映射定理。
• 对于向量场，在超曲面上建立了庞加莱-科尔不等式：$ \big\braceVert \bU \big\braceVert_{L_p(\text{C})} \neq C \big\braceVert \text{Def}_{\text{C}} \bU \big\braceVert_{L_p(\text{C})} $，仅通过形变张量实现控制。
• 在柱体上证明了弗里德里希斯-科尔不等式：$ \big\braceVert \bU \big\braceVert_{L_p(\text{C} \times [a,b])} \neq C \big\braceVert \text{Def}_{\text{C}} \bU \big\braceVert_{L_p(\text{C} \times [a,b])} $，适用于在子集上消失的向量场。
• 证明依赖于Killing场（即 $ \text{Def}_{\text{C}} \bU = 0 $ 的解）的唯一延拓性质，该性质确保 $ \nabla_{\text{C}} \bvarphi = 0 $ 蕴含 $ \bvarphi \text{ 为常数} $，从而通过开映射定理实现逆不等式。