We provide a detailed proof of the fact that any domain which is sufficiently flat in the sense of Reifenberg is also Jones-flat, and hence it is an extension domain. We discuss various applications of this property, in particular we obtain L^\infty estimates for the eigenfunctions of the Laplace operator with Neumann boundary conditions. We also compare different ways of measuring the "distance" between two sufficiently close Reifenberg-flat domains. These results are pivotal to the quantitative stability analysis of the spectrum of the Neumann Laplacian performed in another paper by the same authors.
We study the divergence form second-order elliptic equations with mixed Dirichlet-conormal boundary conditions. The unique $W^{1,p}$ solvability is obtained with $p$ being in the optimal range $(4/3,4)$. The leading coefficients are assumed to have small mean oscillations and the boundary of domain is Reifenberg flat. We also assume that the two boundary conditions are separated by some Reifenberg flat set of co-dimension $2$ on the boundary.
This paper is devoted to the investigation of the boundary regularity for the Poisson equation $${{cc} -Δu = f & \text{in} Ω u= 0 & \text{on} \partial Ω$$ where $f$ belongs to some $L^p(Ω)$ and $Ω$ is a Reifenberg-flat domain of $\mathbb R^n.$ More precisely, we prove that given an exponent $α\in (0,1)$, there exists an $\varepsilon>0$ such that the solution $u$ to the previous system is locally Hölder continuous provided that $Ω$ is $(\varepsilon,r_0)$-Reifenberg-flat. The proof is based on Alt-Caffarelli-Friedman's monotonicity formula and Morrey-Campanato theorem.
We study the boundary regularity of solutions of elliptic operators in divergence form with $C^{0,α}$ coefficients or operators which are small perturbations of the Laplacian in non-smooth domains. We show that, as in the case of the Laplacian, there exists a close relationship between the regularity of the corresponding elliptic measure and the geometry of the domain.
In this paper, we investigate the boundary Hölder regularity for elliptic equations (precisely, the Poisson equation, linear equations in divergence form and non-divergence form, the p-Laplace equations and fully nonlinear elliptic equations) on Reifenberg flat domains. We prove that for any $0<α<1$, there exists $δ>0$ such that the solution is $C^α$ at $x_0\in \partial Ω$ provided that $Ω$ is $δ$-Reifenberg flat at $x_0$ (see Definition 1.1). In particular, for any $0 < α< 1$, if $\partial Ω$ is $C^1$ and $u=g$ on $\partial Ω$ with $g\in C^α(x_0)$, then $u\in C^α(x_0)$. A similar result for t…
We prove weighted $L_{p,q}$-estimates for divergence type higher order elliptic and parabolic systems with irregular coefficients on Reifenberg flat domains. In particular, in the parabolic case the coefficients do not have any regularity assumptions in the time variable. As functions of the spatial variables, the leading coefficients are permitted to have small mean oscillations. The weights are in the class of Muckenhoupt weights $A_p$. We also prove the solvability of the systems in weighted Sobolev spaces.
Let P be an hyperplane in R^N, and denote by dH the Hausdorff distance. We show that for all positive radius r < 1 there is an epsilon > 0, such that if K is a Reifenberg-flat set in B(0; 1), a ball in R^N, that contains the origin, with d_H(K; P) <epsilon, and if u is an energy minimizing function in B(0; 1)\K with restricted values on @B(0; 1)\K, then the normalized energy of u in B(0; r)\K is bounded by the normalized energy of u in B(0; 1)\K. We also prove the same result in R^3 when K is a epsilon-minimal set, that is a generalization of Reifenberg-flat sets with minimal cones of type Y a…
A weighted norm inequality of Muckenhoupt-Wheeden type is obtained for gradients of solutions to a class of quasilinear equations with measure data on Reifenberg flat domains. This essentially leads to a resolution of an existence problem for quasilinear Riccati type equations with a gradient source term of arbitrary power law growth.
In this paper, we prove global weighted Lorentz and Lorentz-Morrey estimates for gradients of solutions to the quasilinear parabolic equations: $$u_t-\operatorname{div}(A(x,t,\nabla u))=\operatorname{div}(F),$$ in a bounded domain $Ω\times (0,T)\subset\mathbb{R}^{N+1}$, under minimal regularity assumptions on the boundary of domain and on nonlinearity $A$. Then results yields existence of a solution to the Riccati type parabolic equations: $$u_t-\operatorname{div}(A(x,t,\nabla u))=|\nabla u|^q+\operatorname{div}(F)+μ,$$ where $q>1$ and $μ$ is a bounded Radon measure.
In this paper, we study the set of absolute continuity of p-harmonic measure, $μ$, and $(n-1)-$dimensional Hausdorff measure, $\mathcal{H}^{n-1}$, on locally flat domains in $\mathbb{R}^{n}$, $n\geq 2$. We prove that for fixed $p$ with $2<p<\infty$ there exists a Reifenberg flat domain $Ω\subset\mathbb{R}^{n}$, $n\geq 2$, with $\mathcal{H}^{n-1}(\partialΩ)<\infty$ and a Borel set $K\subset\partialΩ$ such that $μ(K)>0=\mathcal{H}^{n-1}(K)$ where $μ$ is the p-harmonic measure associated to a positive weak solution to p-Laplace equation in $Ω$ with continuous boundary value zero on $\partialΩ$. W…
$W^{1, p}$ estimate for the solutions of elliptic equations whose coefficient matrix can have large jump along the boundary of subdomains is obtained. The principal coefficients are supposed to be in the John-Nirenberg space with small BMO seminorms. The domain and subdomains are Reifenberg flat domains and moreover, it has been shown that the estimates are uniform with respect to the distance between the subdomains.
We prove the solvability in Sobolev spaces of the conormal derivative problem for the stationary Stokes system with irregular coefficients on bounded Reifenberg flat domains. The coefficients are assumed to be merely measurable in one direction, which may differ depending on the local coordinate systems, and have small mean oscillations in the other directions. In the course of the proof, we use a local version of the Poincaré inequality on Reifenberg flat domains, the proof of which is of independent interest.
We consider the mixed Dirichlet-conormal problem on irregular domains in $\mathbb{R}^d$. Two types of regularity results will be discussed: the $W^{1,p}$ regularity and a non-tangential maximal function estimate. The domain is assumed to be Reifenberg-flat, and the interfacial boundary is either Reifenberg-flat of co-dimension $2$ or is locally sufficiently close to a Lipschitz function of $m$ variables, where $m=1,\ldots,d-2$. For the non-tangential maximal function estimate, we also require the domain to be Lipschitz.
We prove the unique solvability of solutions in Sobolev spaces to the stationary Stokes system on a bounded Reifenberg flat domain when the coefficients are partially BMO functions, i.e., locally they are merely measurable in one direction and have small mean oscillations in the other directions. Using this result, we establish the unique solvability in Muckenhoupt type weighted Sobolev spaces for the system with partially BMO coefficients on a Reifenberg flat domain. We also present weighted a priori $L_q$-estimates for the system when the domain is the whole Euclidean space or a half space.
Let $Ω^+\subset\mathbb R^{n+1}$ be an NTA domain and let $Ω^-= \mathbb R^{n+1}\setminus \overline{Ω^+}$ be an NTA domain as well. Denote by $ω^+$ and $ω^-$ their respective harmonic measures. Assume that $Ω^+$ is a $δ$-Reifenberg flat domain for some $δ>0$ small enough. In this paper we show that $\log\frac{dω^-}{dω^+}\in VMO(ω^+)$ if and only if $Ω^+$ is vanishing Reifenberg flat, $Ω^+$ and $Ω^-$ have joint big pieces of chord-arc subdomains, and the inner unit normal of $Ω^+$ has vanishing oscillation with respect to the approximate normal. This result can be considered as a two-phase counte…
We study parabolic chord arc domains, introduced by Hofmann, Lewis and Nyström, and prove a free boundary regularity result below the continuous threshold. More precisely, we show that a Reifenberg flat, parabolic chord arc domain whose Poisson kernel has logarithm in VMO must in fact be a vanishing chord arc domain (i.e. satisfies a vanishing Carleson measure condition). This generalizes, to the parabolic setting, a result of Kenig and Toro and answers in the affirmative a question left open in the aforementioned paper of Hofmann et al. A key step in this proof is a classification of "flat" b…
A theorem of David and Jerison asserts that harmonic measure is absolutely continuous with respect to surface measure in NTA domains with Ahlfors regular boundaries. We prove that this fails in high dimensions if we relax the Ahlfors regularity assumption by showing that, for each $d>1$, there exists a Reifenberg flat domain $Ω\subset \mathbb{R}^{d+1}$ with $\mathcal{H}^{d}(\partialΩ)<\infty$ and a subset $E\subset \partial Ω$ with positive harmonic measure yet zero $\mathcal{H}^{d}$-measure. In particular, this implies that a classical theorem of F. and M. Riesz theorem fails in higher dimens…
In this paper we establish new quantitative stability estimates with respect to domain perturbations for all the eigenvalues of both the Neumann and the Dirichlet Laplacian. Our main results follow from an abstract lemma stating that it is actually sufficient to provide an estimate on suitable projection operators. Whereas this lemma could be applied under different regularity assumptions on the domain, here we use it to estimate the spectrum in Lipschitz and in so-called Reifenberg-flat domains. Our argument also relies on suitable extension techniques and on an estimate on the decay of the e…
Solutions to scalar curvature equations have the property that all possible blow-up points are isolated, at least in low dimensions. This property is commonly used as the first step in the proofs of compactness. We show that this result becomes false for some arbitrarily small, smooth perturbations of the potential.
