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

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.