Kernel of Trace Operator of Sobolev Spaces on Lipschitz Domain

Publication date 29 April 2020

Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35)

Abstract: We are going to show that on bounded Lipschitz domain

D

: both

C_{c}^{i n f t y} (D)

, the set of smooth functions on

D

with compact support, and

C_{0}^{i n f t y} (D)

, the set of smooth functions on

D

with (extension) zero boundary, are dense in

W^{1, p} l e f t (D i g h t)

,

p i n [1, i n f t y)

. A proof can be found in Nev{c}as's monograph cite{key-2}, Theorem 4.10, {S}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) i g h t a r r o w L^{p} (p a r t i a l 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 {S}5.5 of Evans' widespread PDE textbook cite{key-3}, from

m a t h c a l C^{1}

to Lipschitz domain.

This page was built for publication: Kernel of Trace Operator of Sobolev Spaces on Lipschitz Domain

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6339720)