Second order elliptic operators with complex bounded measurable coefficients in LpL^p, Sobolev and Hardy spaces

Let $L$ be a second order divergence form elliptic operator with complex bounded measurable coefficients. The operators arising in connection with $L$, such as the heat semigroup and Riesz transform, are not, in general, of Calder\'on-Zygmund type and exhibit behavior different from their counterparts built upon the Laplacian. The current paper aims at a thorough description of the properties of such operators in $L^p$, Sobolev, and some new Hardy spaces naturally associated to $L$. First, we show that the known ranges of boundedness in $L^p$ for the heat semigroup and Riesz transform of $L$, are sharp. In particular, the heat semigroup $e^{-tL}$ need not be bounded in $L^p$ if $p\not\in [2n/(n+2),2n/(n-2)]$. Then we provide a complete description of {\it all} Sobolev spaces in which $L$ admits a bounded functional calculus, in particular, where $e^{-tL}$ is bounded. Secondly, we develop a comprehensive theory of Hardy and Lipschitz spaces associated to $L$, that serves the range of $p$ beyond $[2n/(n+2),2n/(n-2)]$. It includes, in particular, characterizations by the sharp maximal function and the Riesz transform (for certain ranges of $p$), as well as the molecular decomposition and duality and interpolation theorems

On a quadratic estimate related to the Kato conjecture and boundary value problems

We provide a direct proof of a quadratic estimate that plays a central role in the determination of domains of square roots of elliptic operators and, as shown more recently, in some boundary value problems with $L^2$ boundary data. We develop the application to the Kato conjecture and to a Neumann problem. This quadratic estimate enjoys some equivalent forms in various settings. This gives new results in the functional calculus of Dirac type operators on forms.Comment: Text of the lectures given at the El Escorial 2008 conference. Revised after the suggestions of the referee. Some historical material added. A short proof of the main result added under a further assumption. To appear in the Proceeding

Conical square function estimates and functional calculi for perturbed Hodge-Dirac operators in L^p

Perturbed Hodge-Dirac operators and their holomorphic functional calculi, as investigated in the papers by Axelsson, Keith and the second author, provided insight into the solution of the Kato square-root problem for elliptic operators in $L^2$ spaces, and allowed for an extension of these estimates to other systems with applications to non-smooth boundary value problems. In this paper, we determine conditions under which such operators satisfy conical square function estimates in a range of $L^p$ spaces, thus allowing us to apply the theory of Hardy spaces associated with an operator, to prove that they have a bounded holomorphic functional calculus in those $L^p$ spaces. We also obtain functional calculi results for restrictions to certain subspaces, for a larger range of $p$. This provides a framework for obtaining $L^p$ results on perturbed Hodge Laplacians, generalising known Riesz transform bounds for an elliptic operator $L$ with bounded measurable coefficients, one Sobolev exponent below the Hodge exponent, and $L^p$ bounds on the square-root of $L$ by the gradient, two Sobolev exponents below the Hodge exponent. Our proof shows that the heart of the harmonic analysis in $L^2$ extends to $L^p$ for all $p \in (1,\infty)$, while the restrictions in $p$ come from the operator-theoretic part of the $L^2$ proof. In the course of our work, we obtain some results of independent interest about singular integral operators on tent spaces, and about the relationship between conical and vertical square functions.Comment: 45 pages; mistake correcte

Quadratic estimates and functional calculi of perturbed Dirac operators

We prove quadratic estimates for complex perturbations of Dirac-type operators, and thereby show that such operators have a bounded functional calculus. As an application we show that spectral projections of the Hodge--Dirac operator on compact manifolds depend analytically on $L_\infty$ changes in the metric. We also recover a unified proof of many results in the Calder\'on program, including the Kato square root problem and the boundedness of the Cauchy operator on Lipschitz curves and surfaces.Comment: To appear in Inventiones Mathematicae. Minor final changes added 4/7 200