Geometric and transformational properties of Lipschitz domains, Semmes-Kenig-Toro domains, and other classes of finite perimeter domains (Q2466435): Difference between revisions

In recent years many papers were devoted to domains in Euclidean space with rough boundary, such as Lipschitz domains and chord-arc domains. An open set \(Q\) in a smooth manifold \(M\) is called locally strongly Lipschitz if for each \(p\in \partial Q\) there exists a smooth coordinate chart on a neighborhood \(U\) of \(p\) such that \(\partial Q\cap U\) is a Lipschitz graph in this coordinate system. In this paper, the authors present the characterization of locally strongly Lipschitz domains as those domains \(\Omega\) of locally finite perimeter for which there are continuous vector fields that are transverse to the boundary, and that also satisfy the necessary condition \(\partial \Omega=\partial \overline\Omega\). Also, they show that if the geometric measure theoretic unit normal of the domain is continuous, then the domain is of class \(C^1\). Next, the authors study the images of locally finite perimeter domains in \(\mathbb R^n\) and they show that this class of domains is invariant under bi-Lipschitz maps. If \(\Omega\) is such a domain and \(F\) is a \(C^l\) diffeomorphism and a bi-Lipschitz map, then the measure-theoretic outward unit normal \(v\) and surface measure \(\sigma\) on \(\partial \Omega\) are related to the outward unit normal \(\widetilde v\) and surface measure \(\widetilde\sigma\) on \(\partial F\Omega\). Finally, the authors prove the invariance of the class of locally strongly Lipschitz domains of locally finite perimeter under bi-Lipschitz and \(C^1\) diffeomorphisms of the Euclidean space. The examples of bi-Lipschitz maps taking bounded strongly Lipschitz domains to domains which fail to be strongly Lipschitz are presented.