A characterization of Newtonian functions with zero boundary values
Absolutely continuous real functions of several variables, functions of bounded variation (26B30) Contents, measures, outer measures, capacities (28A12) Potential theory on fractals and metric spaces (31E05) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35)
Let \(X=(X,d,\mu)\) be a metric measure space, where \(d\) is the metric and \(\mu\) is a doubling Borel regular outer measure. One can define first-order Sobolev spaces \(N^{1,p}\), \(1\leq p<\infty\), in this general setting, but additional assumptions such as a Poincaré inequality are usually required in order to develop a satisfactory theory. The present paper concerns the subspace \(N^{1,p}_0(\Omega)\subset N^{1,p}(\Omega)\) of Sobolev functions with zero boundary values. Here \(\Omega\) is an open bounded set and \(N^{1,p}_0(\Omega)\) consists of all functions in \(N^{1,p}(\Omega)\) whose extension of zero yields a function in \(N^{1,p}(X)\). While this definition is very natural in the Sobolev theory, one would like to know to what extent it is related to the pointwise vanishing of \(u\) on the boundary of \(\Omega\). The answer is given by the following result. Theorem. In addition to the above, assume that \(X\) supports a strong relative isoperimetric inequality. A function \(u\in N^{1,p}(\Omega)\) belogns to \(N^{1,p}_0(\Omega)\) if and only if \[ \lim_{r\to 0}\frac{1}{\mu(B(x,r))}\int_{B(x,r)\cap \Omega} |u| \,d\mu= 0 \] for \(p\)-quasievery \(x\in \Omega\). The term \(p\)-quasieverywhere refers to vanishing \(p\)-capacity of the exceptional set. A metric space \(X\) supports a strong relative isoperimetric inequality if there exists positive constants \(C\) and \(\lambda\) such that for any ball \(B\subset X\) and any Borel set \(E\subset X\) one has \[ \min \big\{\mu(B\cap E),\mu (B\setminus E)\big\} \leq \text{Cr}\mathcal{H}(\lambda B\cap \partial^*E). \] Here \(r\) is the radius of \(B\), \(\partial^*E\) is the measure-theoretic boundary of \(E\), and \(\mathcal{H}\) is the codimension-one Hausdorff measure. It is shown in the paper that the strong relative isoperimetric inequality implies the \((1,1)\)-Poincaré inequality. Another interesting result of the paper is the following Lusin-type approximation theorem. Theorem. If \(X\) supports a strong relative isoperimetric inequality and \(u\in N^{1,p}(X)\), then for every \(\epsilon>0\) there is an open set \(E_\epsilon\) of \(p\)-capacity less than \(\epsilon\), and a continuous function \(u_\epsilon\) that agrees with \(u\) on \(X\setminus E_{\epsilon}\) and satisfies \(\|u-u_\epsilon\|_{N^{1,p}(X)}<\epsilon\).
- Newtonian spaces with zero boundary values
- Quasicontinuity of Newton--Sobolev functions and density of Lipschitz functions on metric spaces
- Fine properties of Newtonian functions and the Sobolev capacity on metric measure spaces
- A pointwise characterization of functions of bounded variation on metric spaces
- Fine properties and a notion of quasicontinuity for BV functions on metric spaces
- Analyse harmonique non-commutative sur certains espaces homogènes. Etude de certaines intégrales singulières. (Non-commutative harmonic analysis on certain homogeneous spaces. Study of certain singular integrals.)
- Area, coarea, and approximation in \(W^{1,1}\)
- Comparison of BV norms in weighted Euclidean spaces
- Finding curves on general spaces through quantitative topology, with applications to Sobolev and Poincaré inequalities
- Fine properties of sets of finite perimeter in doubling metric measure spaces
- Functions of bounded variation on ``good metric spaces
- Harmonic functions on metric spaces
- scientific article; zbMATH DE number 410743 (Why is no real title available?)
- scientific article; zbMATH DE number 2051136 (Why is no real title available?)
- scientific article; zbMATH DE number 2159261 (Why is no real title available?)
- scientific article; zbMATH DE number 3280855 (Why is no real title available?)
- scientific article; zbMATH DE number 3377595 (Why is no real title available?)
- Hölder quasicontinuity of Sobolev functions on metric spaces
- Hölder type quasicontinuity
- Lebesgue points and capacities via boxing inequality in metric spaces
- Lebesgue points for Sobolev functions on metric spaces.
- Lectures on analysis on metric spaces
- Modulus and the Poincaré inequality on metric measure spaces
- Newtonian spaces: An extension of Sobolev spaces to metric measure spaces
- Poincaré inequalities and quasiconformal structure on the boundary of some hyperbolic buildings
- Pointwise behaviour of \(M^{1,1}\) Sobolev functions
- Pointwise inequalities for Sobolev functions revisited
- Quasi topologies and rational approximation
- Quasicontinuity of Newton--Sobolev functions and density of Lipschitz functions on metric spaces
- Sobolev Extensions of Hölder Continuous and Characteristic Functions on Metric Spaces
- Sobolev functions whose inner trace at the boundary is zero
- Sobolev spaces with zero boundary values on metric spaces
- Some connections between isoperimetric and Sobolev-type inequalities
- Characterization of functions on \(\mathbb{R}^3\) with bounded Newtonian potential
- An analog of the Neumann problem for the 1-Laplace equation in the metric setting: existence, boundary regularity, and stability
- Strong approximation of sets of finite perimeter in metric spaces
- Trace theorems for functions of bounded variation in metric spaces
- Sobolev spaces with zero boundary values on metric spaces
- Capacities and 1-strict subsets in metric spaces
- \(p\)-harmonic mappings between metric spaces
- On rough traces of BV functions
- A first-order condition for the independence on \(p\) of weak gradients
- Besov class via heat semigroup on Dirichlet spaces. II: BV functions and Gaussian heat kernel estimates
- A sharp Leibniz rule for BV functions in metric spaces
- Federer's characterization of sets of finite perimeter in metric spaces
- Notions of Dirichlet problem for functions of least gradient in metric measure spaces
- Relative isoperimetric inequalities and sufficient conditions for finite perimeter on metric spaces
- Relaxation and integral representation for functionals of linear growth on metric measure spaces
- Skinning measures in negative curvature and equidistribution of equidistant submanifolds
- Characterizations of sets of finite perimeter using heat kernels in metric spaces
- Regularity of sets with quasiminimal boundary surfaces in metric spaces
- Existence of Variational Solutions in Noncylindrical Domains
- A pointwise characterization of functions of bounded variation on metric spaces
- Rough traces of \textit{BV} functions in metric measure spaces
- Removable singularities for \(\operatorname{div} v=f\) in weighted Lebesgue spaces
- Fine properties and a notion of quasicontinuity for BV functions on metric spaces
- A notion of fine continuity for BV functions on metric spaces
- Newtonian spaces with zero boundary values
- Musielak-Orlicz-Sobolev spaces with zero boundary values on metric measure spaces.
- Neumann \(p\)-Laplacian problems with a reaction term on metric spaces
- Poincaré inequalities and A_p weights on bow-ties
- Well-posedness of Dirichlet boundary value problems for reflected fractional p-Laplace-type inhomogeneous equations in compact doubling metric measure spaces
- Quasiconformality, homeomorphisms between metric measure spaces preserving quasiminimizers, and uniform density property
- Fine Pólya-Szegő rearrangement inequalities in metric spaces and applications
- Geometric and analytic structures on metric spaces homeomorphic to a manifold
- Lusin approximation for functions of bounded variation
- Obstacle problems with double boundary condition for least gradient functions in metric measure spaces
- An overview of regularity results for the Laplacian and p-Laplacian in metric spaces
- Semmes family of curves and a characterization of functions of bounded variation in terms of curves
This page was built for publication: A characterization of Newtonian functions with zero boundary values
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q663335)
