
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
realvalued 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.

Given a domain above a Lipschitz graph, we establish solvability results for
strongly elliptic secondorder systems in divergenceform, allowed to have
lowerorder (drift) terms, with $L^p$boundary data for $p$ near $2$ (more
precisely, in an interval of the form
$\big(2\varepsilon,\frac{2(n1)}{n2}+\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
squarefunction 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$.

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)$ timevarying 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/(p1)$.
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.

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
timevarying 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.

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.

We prove that the $A_\infty$ property of parabolic measure for operators in
certain timevarying 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
RiveraNoriega), and also to quantify these results in several aspects.

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 HardySobolev 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$.

We establish Dahlberg's perturbation theorem for nondivergence 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 padapted
square function" (J. Fun. Anal. 249 (2007)) for the L^p solvability of
nondivergence 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.

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)$

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
endpoint perturbation result, i.e., the solvability of the $BMO$ Dirichlet
problem implies $L^p$ solvability for all $p>p_0$.

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 reverseH\"older class on an interval; we also find the sharp constants for
the higherintegrability result of Gehring.
Additionally, we find bounds for the $A_p$ constants of
reverseH\"olderclass weights defined on rectangles and on cubes in n
dimensions.