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

MaRDI QIDQ6405655zbMATH OpenFDO

Authors Mihalis Mourgoglou, Bruno Poggi, Xavier Tolsa

Publication date 21 July 2022

Mathematics Subject Classification ID

Boundary value and inverse problems for harmonic functions in higher dimensions (31B20) Connections of harmonic functions with differential equations in higher dimensions (31B35) Dependence of solutions to PDEs on initial and/or boundary data and/or on parameters of PDEs (35B30) Laplace operator, Helmholtz equation (reduced wave equation), Poisson equation (35J05) Green's functions for elliptic equations (35J08) Second-order elliptic equations (35J15) Boundary value problems for second-order elliptic equations (35J25) Maximal functions, Littlewood-Paley theory (42B25) Function spaces arising in harmonic analysis (42B35) Harmonic analysis and PDEs (42B37)

Abstract: We prove that the $L^{p^{\prime }}$-solvability of the homogeneous Dirichlet problem for an elliptic operator $L=-operatornamedivAabla$ with real and merely bounded coefficients is equivalent to the $L^{p^{\prime }}$-solvability of the Poisson Dirichlet problem $Lw=H-operatornamedivF$, which is defined in terms of an $L^{p^{\prime }}$ estimate on the non-tangential maximal function, assuming that $operatornamedist(cdot,partialOmega)H$ and $F$ lie in certain $L^{p^{\prime }}$-Carleson-type spaces, and that the domain $Omegasubsetmathbb{R}^{n+1}$, $ngeq2$, satisfies the corkscrew condition and has $n$-Ahlfors regular boundary. In turn, we use this result to show that, in a bounded domain with uniformly $n$-rectifiable boundary that satisfies the corkscrew condition, $L^{p^{\prime }}$-solvability of the homogeneous Dirichlet problem for an operator $L=-operatornamedivAabla$ satisfying the Dahlberg-Kenig-Pipher condition (of arbitrarily large constant) implies solvability of the $L^p$-regularity problem for the adjoint operator $L^{\ast }=-operatornamediv{A}^{T}abla$, where $1/p+1/p^{\prime }=1$ and $A^T$ is the transpose matrix of $A$. This result for Dahlberg-Kenig-Pipher operators is new even if $Omega$ is the unit ball, despite the fact that the $L^{p^{\prime }}$-solvability of the Dirichlet problem for these operators in Lipschitz domains has been known since 2001. Further novel applications include i) new local estimates for the Green's function and its gradient in rough domains, ii) a local $T1$-type theorem for the $L^p$-solvability of the ``Poisson-Regularity problem, itself equivalent to the $L^{p^{\prime }}$-solvability of the homogeneous Dirichlet problem, in terms of certain gradient estimates for local landscape functions, and iii) new $L^p$ estimates for the eigenfunctions (and their gradients) of symmetric operators $L$ on bounded rough domains.

This page was built for publication: Solvability of the Poisson-Dirichlet problem with interior data in $L^{p'}$-Carleson spaces and its applications to the $L^{p}$-regularity problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6405655)