Characterization of $C^{1,α}$-domains in terms of Carleson-type $\varepsilon$-coefficients

Abstract

Let $Ω=Ω^+\subset \mathbb{R}^{n+1}$ be a bounded open set with $n$-Ahlfors regular boundary and let $Ω^-=\mathbb{R}^{n+1}\setminus\overline{Ω^+}$. For $x\in\partialΩ$, $r>0$, define \begin{equation*} \varepsilon_{n,Ω}(x,r):=\frac{1}{r^n} \inf_{H^+}\mathcal{H}^n\left(((\partial B(x,r)\cap H^+)\setminus Ω^+) \cup ((\partial B(x,r)\cap H^-)\setminus Ω^-)\right), \end{equation*} where $\mathcal{H}^n$ stands for $n$-dimensional Hausdorff measure and the infimum is taken over all open affine half-spaces $H^+$ such that $x\in \partial H^+$. Here $H^-=\mathbb{R}^{n+1}\setminus \overline{H^+}$. In this work we prove that $Ω$ is a $C^{1,α}$ open set, with $0<α<1$, if and only if there exists some constant $C>0$ such that $\varepsilon_{n,Ω}(x,r)\leq C\,r^α$ for all $x\in\partialΩ$ and all $0<r\leq \mathrm{diam}(\partialΩ)$.