Related papers: On the approximation of finite perimeter sets
In this paper, we prove that for any bounded set of finite perimeter $\Omega \subset \mathbb{R}^n$, we can choose smooth sets $E_k \Subset \Omega$ such that $E_k \rightarrow \Omega$ in $L^1$ and \begin{align}…
In the first part of this paper we show that a set $E$ has locally finite $s$-perimeter if and only if it can be approximated in an appropriate sense by smooth open sets. In the second part we prove some elementary properties of local and…
We prove that an open set $\Omega \subset \mathbb{R}^n$ can be approximated by smooth sets of uniformly bounded perimeter from the interior if and only if the open set $\Omega$ satisfies \begin{align*} &\qquad…
Federer's characterization states that a set $E\subset \mathbb{R}^n$ is of finite perimeter if and only if $\mathcal H^{n-1}(\partial^*E)<\infty$. Here the measure-theoretic boundary $\partial^*E$ consists of those points where both $E$ and…
We provide a sharp lower bound for the perimeter of the inner parallel sets of a convex body $\Omega$. The bound depends only on the perimeter and inradius $r$ of the original body and states that \[|\partial\Omega_t| \geq…
Let $E \subset \Omega$ be a local almost-minimizer of the relative perimeter in the open set $\Omega \subset \mathbb{R}^{n}$. We prove a free-boundary monotonicity inequality for $E$ at a point $x\in \partial\Omega$, under a geometric…
We consider a generalization of the Cheeger problem in a bounded, open set $\Omega$ by replacing the perimeter functional with a Finsler-type surface energy and the volume with suitable powers of a weighted volume. We show that any…
In the setting of a metric space equipped with a doubling measure that supports a Poincar\'e inequality, we show that a set $E$ is of finite perimeter if and only if $\mathcal H(\partial^1 I_E)<\infty$, that is, if and only if the…
For a separable finite diffuse measure space $\mathcal{M}$ and an orthonormal basis $\{\varphi_n\}$ of $L^2(\mathcal{M})$ consisting of bounded functions $\varphi_n\in L^\infty(\mathcal{M})$, we find a measurable subset…
Given a convex domain $\Omega\subset \mathbb{R}^{3}$ and an almost-minimizer $E$ of the relative perimeter in $\Omega$, we prove that the closure of $\partial E \cap \Omega$ does not contain vertices of $\Omega$.
It is a longstanding conjecture that given a subset $E$ of a metric space, if $E$ has finite Hausdorff measure in dimension $\alpha\ge 0$ and $\mathscr{H}^\alpha\llcorner E$ has unit density almost everywhere, then $E$ is an…
We show that for bounded domains in $\mathbb C^n$ with $\mathcal C^{1,1}$ smooth boundary, if there is a closed set $F$ of $2n-1$-Lebesgue measure $0$ such that $\partial \Omega \setminus F$ is $\mathcal C^{2}$-smooth and locally…
In this paper, we consider the isoperimetric problem in the space $\mathbb{R}^N$ with density. Our result states that, if the density f is l.s.c. and converges to a positive limit at infinity, being smaller than this limit far from the…
Let (X,d) be a metric space and (\Omega, d) a compact subspace of X which supports a non-atomic finite measure m. We consider `natural' classes of badly approximable subsets of \Omega. Loosely speaking, these consist of points in \Omega…
Let $G$ be a finite group and $N_{\Omega}(G)$ be the intersection of the normalizers of all subgroups belonging to the set $\Omega(G),$ where $\Omega(G)$ is a set of all subgroups of $G$ which have some theoretical group property. In this…
We study the approximation properties of a harmonic function $u \in H\sp{1-k}(\Omega)$, $k > 0$, on relatively compact sub-domain $A$ of $\Omega$, using the Generalized Finite Element Method. For smooth, bounded domains $\Omega$, we obtain…
Given an open set with finite perimeter $\Omega\subset \mathbb{R}^n$, we consider the space $LD_\gamma^{p}(\Omega)$, $1\leq p<\infty$, of functions with $p$th-integrable deformation tensor on $\Omega$ and with $p$ th-integrable trace value…
In the present paper we prove that for any open connected set $\Omega\subset{\mathbb R}^{n+1}$, $n\geq 1$, and any $E\subset \partial\Omega$ with $0<{\mathcal H}^n(E)<\infty$ absolute continuity of the harmonic measure $\omega$ with respect…
We show that if $n\geq 1$, $\Omega\subset \mathbb R^{n+1}$ is a connected domain with porous boundary, and $E\subset \partial\Omega$ is a set of finite and positive Hausdorff $H^{n}$-measure upon which the harmonic measure $\omega$ is…
Let $D$ be a closed disk centered at the origin in the horizontal hyperplane $\{t=0\}$ of the sub-Riemannian Heisenberg group $\hh^n$, and $C$ the vertical cylinder over $D$. We prove that any finite perimeter set $E$ such that $D\subset…