On smooth interior approximation of Sets of Finite Perimeter

DOI10.1090/PROC/15640MaRDI QIDQ6414631arXivFDO

Authors Changfeng Gui, Yeyao Hu, Qinfeng Li

Publication date 21 October 2022

Published in arXiv

Full work available at URL https://doi.org/10.1090/PROC/15640

Mathematics Subject Classification ID

Length, area, volume, other geometric measure theory (28A75) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35) Geometric measure and integration theory, integral and normal currents in optimization (49Q15) Variational problems in a geometric measure-theoretic setting (49Q20)

arXiv classification

math.AP

Abstract: In this paper, we prove that for any bounded set of finite perimeter $Omegasubsetmathbb{R}^n$, we can choose smooth sets $E_{k}SubsetOmega$ such that $E_{k}ightarrowOmega$ in $L^1$ and �egin{align} label{moregeneralapproximation} limsup_{i ightarrow infty} P(E_i) le P(Omega)+C_1(n) mathscr{H}^{n-1}(partial Omega cap Omega^1). end{align}In the above $Omeg{a}^1$ is the measure-theoretic interior of $Omega$, $P(cdot)$ denotes the perimeter functional on sets, and $C_1(n)$ is a dimensional constant. Conversely, we prove that for any sets $E_{k}SubsetOmega$ satisfying $E_{k}ightarrowOmega$ in $L^1$, there exists a dimensional constant $C_2(n)$ such that the following inequality holds: �egin{align} label{gap} liminf_{k ightarrow infty} P(E_k) ge P(Omega)+ C_2(n) mathscr{H}^{n-1}(partial Omega cap Omega^1). end{align} In particular, these results imply that for a bounded set $Omega$ of finite perimeter,�egin{align} label{char*} mathscr{H}^{n-1}(partial Omega cap Omega^1)=0 end{align} holds if and only if there exists a sequence of smooth sets $E_k$ such that $E_{k}SubsetOmega$, $E_{k}ightarrowOmega$ in $L^1$ and $P(E_k)ightarrowP(Omega)$.

This page was built for publication: On smooth interior approximation of Sets of Finite Perimeter

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