arXivDaily arXiv每日学术速递 周一至周五更新
看起来今天可以划水了
arXiv 2004.14506math.APmath.FA
收藏

Lipschitz域上索伯列夫空间迹算子的核

Kernel of Trace Operator of Sobolev Spaces on Lipschitz Domain

I-Shing Hu

摘要:

在有界Lipschitz域$D$上,我们证明了:$D$上具有紧支集的光滑函数集$C_{c}^{\infty}(D)$和$D$上具有(扩张)零边界的光滑函数集$C_{0}^{\infty}(D)$在$W^{1,p}\left(D\right)$,$p\in[1,\infty)$中稠密.证明可以在Nečas的专著\cite{key-2},定理4.10,§2.4.3中找到。本文的主要结果是:通过对Evans和Gariban的教科书\cite{key-4}中Lipschitz坐标变换的变量公式的变换,证明了这两个闭包都是迹算子$T:\,W^{1,p}(D)\rightarrow L^{p}(\partial D)$的核,从而将Evans的广泛使用的PDE教科书\cite{key-3}中§5.5中定理2的证明从$\mathcal{C}^{1}$推广到Lipschitz域.

英文摘要:

We are going to show that on bounded Lipschitz domain $D$: both $C_{c}^{\infty}(D)$, the set of smooth functions on $D$ with compact support, and $C_{0}^{\infty}(D)$, the set of smooth functions on $D$ with (extension) zero boundary, are dense in $W^{1,p}\left(D\right)$, $p\in[1,\infty)$. A proof can be found in Nečas's monograph \cite{key-2}, Theorem 4.10, §2.4.3. Our main result in this note is that: we find another proof by showing that both closures is the same as kernel of trace operator $T:\,W^{1,p}(D)\rightarrow L^{p}(\partial D)$ via some change of variables formulas from Evans and Gariepy's textbook \cite{key-4} for Lipschitz coordinate transformation, to extend the proof of Theorem 2 in §5.5 of Evans' widespread PDE textbook \cite{key-3}, from $\mathcal{C}^{1}$ to Lipschitz domain.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑