Abstract:Let $\Omega \subset \mathbb{R}^{n+1}$, $n\geq 1$, be an open set with $s$-Ahlfors regular boundary $\partial \Omega$, for some $s \in(0,n]$, such that either $s=n$ and $\Omega$ is a corkscrew domain with the pointwise John condition, or $s<n$ and $\Omega= \mathbb{R}^{n+1} \setminus E$, for some $s$-Ahlfors regular set $E \subset \mathbb{R}^{n+1}$. In this paper we provide a unifying method to construct Varopoulos' type extensions of $BMO$ and $L^p$ boundary functions. In particular, we show that a) if $ f \in BMO(\partial \Omega)$, there exists $ F\in C^\infty(\Omega)$ such that $dist(x, \Omega^c)|\nabla F(x)|$ is uniformly bounded in $\Omega$ and the Carleson functional of $dist(x,\Omega^c)^{s-n}|\nabla F(x)|$ as well the sharp non-tangential maximal function of $ F$ are uniformly bounded on $\partial \Omega$ with norms controlled by the $BMO$-norm of $ f$, and $ F \to f$ in a certain non-tangential sense $\mathcal H^s|_{\partial \Omega}$-almost everywhere; b) if $\bar f \in L^p(\partial \Omega)$, $1 <p \leq \infty$, there exists $\bar F \in C^\infty(\Omega)$ such that the non-tangential maximal functions of $\bar F$ and $dist(\cdot, \Omega^c)|\nabla \bar F|$ as well as the Carleson functional of $dist(\cdot,\Omega^c)^{s-n}|\nabla \bar F|$ are in $L^p(\partial \Omega)$ with norms controlled by the $L^p$-norm of $\bar f$, and $\bar F \to \bar f$ in some non-tangential sense $\mathcal H^s|_{\partial \Omega}$-almost everywhere. If, in addition, the boundary function is Lipschitz with compact support, then both $F$ and $\bar F$ can be constructed so that they are also Lipschitz on $\bar\Omega$ and converge to the boundary data continuously. The latter results hold without the additional assumption of the pointwise John condition. Finally, we give some applications of the constructed extensions in the connection between Poisson problems and BVPs.

BMO solvability and absolute continuity of harmonic measure

BMO Solvability and Absolute Continuity of Caloric Measure

Absolute continuity of degenerate elliptic measure

Global BMO-Sobolev Estimates for Second-Order Linear Elliptic Equations on Lipschitz Domains

Universal regularity estimates for solutions to fully nonlinear elliptic equations with oblique boundary data

An elementary proof of the continuity from $L_0^2(Ω)$ to $H^1_0(Ω)^n$ of Bogovskii's right inverse of the divergence

Extrapolation of solvability of the regularity and the Poisson regularity problems in rough domains

Holomorphic dependence for the Beltrami equation in Sobolev spaces

Varopoulos extensions in domains with Ahlfors-regular boundaries and applications to Boundary Value Problems for elliptic systems with $L^\infty$ coefficients

$\mathrm{BMO}$ $\varepsilon$-regularity results for solutions to Legendre-Hadamard elliptic systems

Elliptic theory for sets with higher co-dimensional boundaries

Global Regularity Estimates for a Class of Quasilinear Elliptic Equations in the Whole Space

Solvability of the Poisson-Dirichlet problem with interior data in $L^{p'}$-Carleson spaces and its applications to the $L^{p}$-regularity problem

BMO and Dirichlet problem for semi-linear equations in the plane

Bounded functional calculus for divergence form operators with dynamical boundary conditions

$BMO$ and gradient estimates for solutions of critical elliptic equations

Solvability for Schrödinger Equations with Discontinuous Coefficients

Perturbation Theory for Second Order Elliptic Operators with BMO Antisymmetric Part

Boundary Hölder Regularity for Elliptic Equations

Dimension and structure of the Robin Harmonic Measure on Rough Domains

$L^{q}$ estimates for nonlocal p-Laplacian type equations with BMO kernel coefficients in divergence form