• ### Regularity theory for solutions to second order elliptic operators with complex coefficients and the $L^p$ Dirichlet problem(1612.01568)

March 31, 2018 math.AP
We establish a new theory of regularity for elliptic complex valued second order equations of the form $\mathcal L=$div$A(\nabla\cdot)$, when the coefficients of the matrix $A$ satisfy a natural algebraic condition, a strengthened version of a condition known in the literature as $L^p$-dissipativity. Precisely, the regularity result is a reverse H\"older condition for $L^p$ averages of solutions on interior balls, and serves as a replacement for the De Giorgi - Nash - Moser regularity of solutions to real-valued divergence form elliptic operators. In a series of papers, Cialdea and Maz'ya studied necessary and sufficient conditions for $L^p$-dissipativity of second order complex coefficient operators and systems. Recently, Carbonaro and Dragi\v{c}evi\'c introduced a condition they termed $p$-ellipticity, and showed that it had implications for boundedness of certain bilinear operators that arise from complex valued second order differential operators. Their $p$-ellipticity condition is exactly our strengthened version of $L^p$-dissipativity. The regularity results of the present paper are applied to solve $L^p$ Dirichlet problems for $\mathcal L=$div$A(\nabla\cdot)+B\cdot\nabla$ when $A$ and $B$ satisfy a natural and familiar Carleson measure condition. We show solvability of the $L^p$ Dirichlet boundary value problem for $p$ in the range where $A$ is $p$-elliptic.
• ### The $L^p$ Dirichlet boundary problem for second order Elliptic Systems with rough coefficients(1708.02289)

Jan. 13, 2020 math.AP
Given a domain above a Lipschitz graph, we establish solvability results for strongly elliptic second-order systems in divergence-form, allowed to have lower-order (drift) terms, with $L^p$-boundary data for $p$ near $2$ (more precisely, in an interval of the form $\big(2-\varepsilon,\frac{2(n-1)}{n-2}+\varepsilon\big)$ for some small $\varepsilon>0$). The main novel aspect of our result is that the coefficients of the operator do not have to be constant, or have very high regularity, instead they will satisfy a natural Carleson condition that has appeared first in the scalar case. A significant example of a system to which our result may be applied is the Lam\'e operator for isotropic inhomogeneous materials. Dealing with genuine systems gives rise to substantial new challenges, absent in the scalar case. Among other things, there is no maximum principle for general elliptic systems, and the De Giorgi - Nash - Moser theory may also not apply. We are, nonetheless, successful in establishing estimates for the square-function and the nontangential maximal operator for the solutions of the elliptic system described earlier, and use these as alternative tools for proving $L^p$ solvability results for $p$ near $2$.
• ### Parabolic Regularity and Dirichlet boundary value problems(1707.01001)

July 3, 2017 math.AP
We study the relationship between the Regularity and Dirichlet boundary value problems for parabolic equations of the form $Lu=\text{div}(A \nabla u)-u_t=0$ in Lip$(1,1/2)$ time-varying cylinders, where the coefficient matrix $A = \left[ a_{ij}(X,t)\right]$ is uniformly elliptic and bounded. We show that if the Regularity problem $(R)_p$ for the equation $Lu=0$ is solvable for some $1<p<\infty$ then the Dirichlet problem $(D^*)_{p'}$ for the adjoint equation $L^*v=0$ is also solvable, where $p'=p/(p-1)$. This result is an analogue of the result established in the elliptic case by Kenig and Pipher. In the parabolic settings in the special case of the heat equation in slightly smoother domains this has been established by Hofmann and Lewis and Nystr\"om for scalar parabolic systems. In comparison, our result is abstract with no assumption on the coefficients beyond the ellipticity condition and is valid in more general class of domains.
• ### The Dirichlet boundary problem for second order parabolic operators satisfying Carleson condition(1402.0036)

Oct. 28, 2016 math.AP
We establish $L^p$, $2\le p\le\infty$ solvability of the Dirichlet boundary value problem for a parabolic equation $u_t-\mbox{div}(A\nabla u)=0$ on time-varying domains with coefficient matrix $A=(a_{ij})$ that satisfy a small Carleson condition. The result is motivated by similar results for the elliptic equation $\mbox{div}(A\nabla u)=0$ that were established previously.
• ### The Boundary value problems for second order elliptic operators satisfying a Carleson condition(1301.0426)

Nov. 1, 2015 math.AP
Let $\Omega$ be a Lipschitz domain in $\mathbb R^n$ $n\geq 2,$ and $L=\mbox{div} (A\nabla\cdot)$ be a second order elliptic operator in divergence form. We establish solvability of the Dirichlet regularity problem with boundary data in $H^{1,p}(\partial\Omega)$ and of the Neumann problem with $L^p(\partial\Omega)$ data for the operator $L$ on Lipschitz domains with small Lipschitz constant. We allow the coefficients of the operator $L$ to be rough obeying a certain Carleson condition with small norm. These results complete the results of [5] where $L^p(\partial\Omega)$ Dirichlet problem was considered under the same assumptions and [6] where the regularity and Neumann problems were considered on two dimensional domains.
• ### BMO solvability and the $A_\infty$ condition for second order parabolic operators(1510.05813)

Oct. 20, 2015 math.AP
We prove that the $A_\infty$ property of parabolic measure for operators in certain time-varying domains is equivalent to a Carleson measure property of bounded solutions. Kircheim, Kenig, Pipher, and T. Toro established this criterion on bounded solutions in the elliptic case, improving an earlier result of Dindos, Kenig and Pipher for solutions with data in BMO. The extension to the parabolic setting requires an approach to the key estimate that primarily exploits the maximum principle. For various classes of parabolic operators, this criterion makes it easier to establish the solvability of the Dirichlet problem with data in $L^p$ for some $p$ (see results of Rivera-Noriega), and also to quantify these results in several aspects.
• ### The regularity problem for elliptic operators with boundary data in Hardy-Sobolev space $HS^1$(1110.5189)

Oct. 24, 2011 math.AP
Let $\Omega$ be a Lipschitz domain in $\mathbb R^n,n\geq 3,$ and $L=\divt A\nabla$ be a second order elliptic operator in divergence form. We will establish that the solvability of the Dirichlet regularity problem for boundary data in Hardy-Sobolev space $\HS$ is equivalent to the solvability of the Dirichlet regularity problem for boundary data in $H^{1,p}$ for some $1<p<\infty$. This is a "dual result" to a theorem in \cite{DKP09}, where it has been shown that the solvability of the Dirichlet problem with boundary data in $\text{BMO}$ is equivalent to the solvability for boundary data in $L^p(\partial\Omega)$ for some $1<p<\infty$.
• ### The L^p Dirichlet problem for second-order, non-divergence form operators: solvability and perturbation results(1101.5389)

Jan. 27, 2011 math.AP
We establish Dahlberg's perturbation theorem for non-divergence form operators L = A\nabla^2. If L_0 and L_1 are two operators on a Lipschitz domain such that the L^p Dirichlet problem for the operator L_0 is solvable for some p in (1,\infty) and the coefficients of the two operators are sufficiently close in the sense of Carleson measure, then the L^p Dirichlet problem for the operator L_1 is solvable for the same p. This is an improvement of the A_{\infty} version of this result proved by Rios in "The L^p Diriclet problem and nondivergence harmonic measure" (Trans. AMS 355, 2 (2003)). As a consequence we also improve a result from Dindos, Petermichl and Pipher, "The L^p Dirichlet problem for second order elliptic operators and a p-adapted square function" (J. Fun. Anal. 249 (2007)) for the L^p solvability of non-divergence form operators by substantially weakening the condition required on the coefficients of the operator. The improved condition is exactly the same one as is required for divergence form operators L = div A\nabla.
• ### $L^p$ solvability of the Stationary Stokes problem on domains with conical singularity in any dimension(1007.5495)

July 30, 2010 math.AP
The Dirichlet boundary value problem for the Stokes operator with $L^p$ data in any dimension on domains with conical singularity (not necessary a Lipschitz graph) is considered. We establish the solvability of the problem for all $p\in (2-\varepsilon,\infty]$ and also its solvability in $C(\overline{D})$ for the data in $C(\partial D)$
• ### BMO solvability and the $A_\infty$ condition for elliptic operators(1007.5496)

July 30, 2010 math.AP
We establish a connection between the absolute continuity of elliptic measure associated to a second order divergence form operator with bounded measurable coefficients with the solvability of an endpoint $BMO$ Dirichlet problem. We show that these two notions are equivalent. As a consequence we obtain an end-point perturbation result, i.e., the solvability of the $BMO$ Dirichlet problem implies $L^p$ solvability for all $p>p_0$.
• ### The sharp $A_p$ constant for weights in a reverse-H\"older class(0709.0243)

Sept. 3, 2007 math.AP, math.CA
In a recent paper V. Vasyunin presented a proof of the reverse H\"older inequality with sharp constants for the weights satisfying the usual Muckenhoupt condition. In this paper we present the inverse, that is, we use the Bellman function technique to find the sharp $A_p$ constants for weights in a reverse-H\"older class on an interval; we also find the sharp constants for the higher-integrability result of Gehring. Additionally, we find bounds for the $A_p$ constants of reverse-H\"older-class weights defined on rectangles and on cubes in n dimensions.