-
Hodge-Dirac, Hodge-Laplacian and Hodge-Stokes operators in L^p spaces on Lipschitz domains
Authors:
Alan Mcintosh,
Sylvie Monniaux
Abstract:
This paper concerns Hodge-Dirac operators D = d + $δ$ acting in L p ($Ω$, λ) where $Ω$ is a bounded open subset of R n satisfying some kind of Lipschitz condition, λ is the exterior algebra of R n , d is the exterior derivative acting on the de Rham complex of differential forms on $Ω$, and $δ$ is the interior derivative with tangential boundary conditions. In L 2 ($Ω$, λ), $δ$ = d * and D is self…
▽ More
This paper concerns Hodge-Dirac operators D = d + $δ$ acting in L p ($Ω$, λ) where $Ω$ is a bounded open subset of R n satisfying some kind of Lipschitz condition, λ is the exterior algebra of R n , d is the exterior derivative acting on the de Rham complex of differential forms on $Ω$, and $δ$ is the interior derivative with tangential boundary conditions. In L 2 ($Ω$, λ), $δ$ = d * and D is self-adjoint, thus having bounded resolvents (I + itD) --1 t$\in$R as well as a bounded functional calculus in L 2 ($Ω$, λ). We investigate the range of values p H \textless{} p \textless{} p H about p = 2 for which D has bounded resolvents and a bounded holomorphic functional calculus in L p ($Ω$, λ). On domains which we call very weakly Lipschitz, we show that this is the same range of values as for which L p ($Ω$, λ) has a Hodge (or Helmholz) decomposition, being an open interval that includes 2. The Hodge-Laplacian Δ is the square of the Hodge-Dirac operator, i.e. --Δ = D 2 , so it also has a bounded functional calculus in L p ($Ω$, λ) when p H \textless{} p \textless{} p H. But the Stokes operator with Hodge boundary conditions, which is the restriction of --Δ to the subspace of divergence free vector fields in L p ($Ω$, λ 1) with tangential boundary conditions , has a bounded holomorphic functional calculus for further values of p, namely for max{1, p H S } \textless{} p \textless{} p H where p H S is the Sobolev exponent below p H , given by 1/p H S = 1/p H + 1/n, so that p H S \textless{} 2n/(n + 2). In 3 dimensions, p H S \textless{} 6/5. We show also that for bounded strongly Lipschitz domains $Ω$, p H \textless{} 2n/(n + 1) \textless{} 2n/(n -- 1) \textless{} p H , in agreement with the known results that p H \textless{} 4/3 \textless{} 4 \textless{} p H in dimension 2, and p H \textless{} 3/2 \textless{} 3 \textless{} p H in dimension 3. In both dimensions 2 and 3, p H S \textless{} 1 , implying that the Stokes operator has a bounded functional calculus in L p ($Ω$, λ 1) when $Ω$ is strongly Lipschitz and 1 \textless{} p \textless{} p H .
△ Less
Submitted 5 August, 2016;
originally announced August 2016.
-
Riesz continuity of the Atiyah-Singer Dirac operator under perturbations of the metric
Authors:
Lashi Bandara,
Alan McIntosh,
Andreas Rosén
Abstract:
We prove that the Atiyah-Singer Dirac operator ${\mathrm D}_{\mathrm g}$ in ${\mathrm L}^2$ depends Riesz continuously on ${\mathrm L}^{\infty}$ perturbations of complete metrics ${\mathrm g}$ on a smooth manifold. The Lipschitz bound for the map ${\mathrm g} \to {\mathrm D}_{\mathrm g}(1 + {\mathrm D}_{\mathrm g}^2)^{-\frac{1}{2}}$ depends on bounds on Ricci curvature and its first derivatives as…
▽ More
We prove that the Atiyah-Singer Dirac operator ${\mathrm D}_{\mathrm g}$ in ${\mathrm L}^2$ depends Riesz continuously on ${\mathrm L}^{\infty}$ perturbations of complete metrics ${\mathrm g}$ on a smooth manifold. The Lipschitz bound for the map ${\mathrm g} \to {\mathrm D}_{\mathrm g}(1 + {\mathrm D}_{\mathrm g}^2)^{-\frac{1}{2}}$ depends on bounds on Ricci curvature and its first derivatives as well as a lower bound on injectivity radius. Our proof uses harmonic analysis techniques related to Calderón's first commutator and the Kato square root problem. We also show perturbation results for more general functions of general Dirac-type operators on vector bundles.
△ Less
Submitted 11 October, 2017; v1 submitted 11 March, 2016;
originally announced March 2016.
-
Conical square function estimates and functional calculi for perturbed Hodge-Dirac operators in L^p
Authors:
Dorothee Frey,
Alan McIntosh,
Pierre Portal
Abstract:
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 determi…
▽ More
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.
△ Less
Submitted 3 March, 2015; v1 submitted 17 July, 2014;
originally announced July 2014.
-
Calderon Reproducing Formulas and Applications to Hardy Spaces
Authors:
Pascal Auscher,
Alan McIntosh,
Andrew Morris
Abstract:
We establish new Calderón reproducing formulas for self-adjoint operators $D$ that generate strongly continuous groups with finite propagation speed. These formulas allow the analysing function to interact with $D$ through holomorphic functional calculus whilst the synthesising function interacts with $D$ through functional calculus based on the Fourier transform. We apply these to prove the embed…
▽ More
We establish new Calderón reproducing formulas for self-adjoint operators $D$ that generate strongly continuous groups with finite propagation speed. These formulas allow the analysing function to interact with $D$ through holomorphic functional calculus whilst the synthesising function interacts with $D$ through functional calculus based on the Fourier transform. We apply these to prove the embedding $H^p_D(\wedge T^*M) \subseteq L^p(\wedge T^*M)$, $1\leq p\leq 2$, for the Hardy spaces of differential forms introduced by Auscher, McIntosh and Russ, where $D=d+d^*$ is the Hodge--Dirac operator on a complete Riemannian manifold $M$ that has polynomial volume growth. This fills a gap in that work. The new reproducing formulas also allow us to obtain an atomic characterisation of $H^1_D(\wedge T^*M)$. The embedding $H^p_L \subseteq L^p$, $1\leq p\leq 2$, where $L$ is either a divergence form elliptic operator on $\R^n$, or a nonnegative self-adjoint operator that satisfies Davies--Gaffney estimates on a doubling metric measure space, is also established in the case when the semigroup generated by the adjoint $-L^*$ is ultracontractive.
△ Less
Submitted 31 March, 2013;
originally announced April 2013.
-
On $L^2$ Solvability of BVPs for elliptic systems
Authors:
Pascal Auscher,
Alan McIntosh,
Mihalis Mourgoglou
Abstract:
In this article we prove solvability results for $L^2$ boundary value problems of some elliptic systems $Lu=0$ on the upper half-space $\R^{n+1}_{+}, n\ge 1$, with transversally independent coefficients. We use the first order formalism introduced by Auscher-Axelsson-McIntosh and further developed with a better understanding of the classes of solutions in the subsequent work of Auscher-Axelsson. T…
▽ More
In this article we prove solvability results for $L^2$ boundary value problems of some elliptic systems $Lu=0$ on the upper half-space $\R^{n+1}_{+}, n\ge 1$, with transversally independent coefficients. We use the first order formalism introduced by Auscher-Axelsson-McIntosh and further developed with a better understanding of the classes of solutions in the subsequent work of Auscher-Axelsson. The interesting fact is that we prove only half of the Rellich boundary inequality without knowing the other half.
△ Less
Submitted 17 December, 2012;
originally announced December 2012.
-
Square roots of perturbed subelliptic operators on Lie groups
Authors:
Lashi Bandara,
A. F. M. ter Elst,
Alan McIntosh
Abstract:
We solve the Kato square root problem for bounded measurable perturbations of subelliptic operators on connected Lie groups. The subelliptic operators are divergence form operators with complex bounded coefficients, which may have lower order terms. In this general setting we deduce inhomogeneous estimates. In case the group is nilpotent and the subelliptic operator is pure second order, then we p…
▽ More
We solve the Kato square root problem for bounded measurable perturbations of subelliptic operators on connected Lie groups. The subelliptic operators are divergence form operators with complex bounded coefficients, which may have lower order terms. In this general setting we deduce inhomogeneous estimates. In case the group is nilpotent and the subelliptic operator is pure second order, then we prove stronger homogeneous estimates. Furthermore, we prove Lipschitz stability of the estimates under small perturbations of the coefficients.
△ Less
Submitted 14 August, 2012; v1 submitted 23 April, 2012;
originally announced April 2012.
-
The Kato square root problem on vector bundles with generalised bounded geometry
Authors:
Lashi Bandara,
Alan McIntosh
Abstract:
We consider smooth, complete Riemannian manifolds which are exponentially locally doubling. Under a uniform Ricci curvature bound and a uniform lower bound on injectivity radius, we prove a Kato square root estimate for certain coercive operators over the bundle of finite rank tensors. These results are obtained as a special case of similar estimates on smooth vector bundles satisfying a criterion…
▽ More
We consider smooth, complete Riemannian manifolds which are exponentially locally doubling. Under a uniform Ricci curvature bound and a uniform lower bound on injectivity radius, we prove a Kato square root estimate for certain coercive operators over the bundle of finite rank tensors. These results are obtained as a special case of similar estimates on smooth vector bundles satisfying a criterion which we call generalised bounded geometry. We prove this by establishing quadratic estimates for perturbations of Dirac type operators on such bundles under an appropriate set of assumptions.
△ Less
Submitted 24 December, 2014; v1 submitted 2 March, 2012;
originally announced March 2012.
-
Finite Propagation Speed for First Order Systems and Huygens' Principle for Hyperbolic Equations
Authors:
Alan McIntosh,
Andrew J. Morris
Abstract:
We prove that strongly continuous groups generated by first order systems on Riemannian manifolds have finite propagation speed. Our procedure provides a new direct proof for self-adjoint systems, and allows an extension to operators on metric measure spaces. As an application, we present a new approach to the weak Huygens' principle for second order hyperbolic equations.
We prove that strongly continuous groups generated by first order systems on Riemannian manifolds have finite propagation speed. Our procedure provides a new direct proof for self-adjoint systems, and allows an extension to operators on metric measure spaces. As an application, we present a new approach to the weak Huygens' principle for second order hyperbolic equations.
△ Less
Submitted 24 January, 2012; v1 submitted 9 January, 2012;
originally announced January 2012.
-
Potential maps, Hardy spaces, and tent spaces on special Lipschitz domains
Authors:
Martin Costabel,
Alan McIntosh,
Robert J. Taggart
Abstract:
Suppose that $Ω$ is the open region in $\mathbb{R}^n$ above a Lipschitz graph and let $d$ denote the exterior derivative on $\mathbb{R}^n$. We construct a convolution operator $T $ which preserves support in $\bar{Ω$}, is smoothing of order 1 on the homogeneous function spaces, and is a potential map in the sense that $dT$ is the identity on spaces of exact forms with support in $\barΩ$. Thus if…
▽ More
Suppose that $Ω$ is the open region in $\mathbb{R}^n$ above a Lipschitz graph and let $d$ denote the exterior derivative on $\mathbb{R}^n$. We construct a convolution operator $T $ which preserves support in $\bar{Ω$}, is smoothing of order 1 on the homogeneous function spaces, and is a potential map in the sense that $dT$ is the identity on spaces of exact forms with support in $\barΩ$. Thus if $f$ is exact and supported in $\barΩ$, then there is a potential $u$, given by $u=Tf$, of optimal regularity and supported in $\barΩ$, such that $du=f$. This has implications for the regularity in homogeneous function spaces of the de Rham complex on $Ω$ with or without boundary conditions. The operator $T$ is used to obtain an atomic characterisation of Hardy spaces $H^p$ of exact forms with support in $\barΩ$ when $n/(n+1)<p\leq1$. This is done via an atomic decomposition of functions in the tent spaces $\mathcal T^p(\mathbb{R}^n\times\mathbb{R}^+)$ with support in a tent $T(Ω)$ as a sum of atoms with support away from the boundary of $Ω$. This new decomposition of tent spaces is useful, even for scalar valued functions.
△ Less
Submitted 20 February, 2012; v1 submitted 3 June, 2010;
originally announced June 2010.
-
Local Hardy Spaces of Differential Forms on Riemannian Manifolds
Authors:
Andrea Carbonaro,
Alan McIntosh,
Andrew J. Morris
Abstract:
We define local Hardy spaces of differential forms $h^p_{\mathcal D}(\wedge T^*M)$ for all $p\in[1,\infty]$ that are adapted to a class of first order differential operators $\mathcal D$ on a complete Riemannian manifold $M$ with at most exponential volume growth. In particular, if $D$ is the Hodge--Dirac operator on $M$ and $Δ=D^2$ is the Hodge--Laplacian, then the local geometric Riesz transform…
▽ More
We define local Hardy spaces of differential forms $h^p_{\mathcal D}(\wedge T^*M)$ for all $p\in[1,\infty]$ that are adapted to a class of first order differential operators $\mathcal D$ on a complete Riemannian manifold $M$ with at most exponential volume growth. In particular, if $D$ is the Hodge--Dirac operator on $M$ and $Δ=D^2$ is the Hodge--Laplacian, then the local geometric Riesz transform ${D(Δ+aI)^{-{1}/{2}}}$ has a bounded extension to $h^p_D$ for all $p\in[1,\infty]$, provided that $a>0$ is large enough compared to the exponential growth of $M$. A characterisation of $h^1_{\mathcal D}$ in terms of local molecules is also obtained. These results can be viewed as the localisation of those for the Hardy spaces of differential forms $H^p_D(\wedge T^*M)$ introduced by Auscher, McIntosh and Russ.
△ Less
Submitted 28 April, 2011; v1 submitted 31 March, 2010;
originally announced April 2010.
-
Stability in p of the H-infinity calculus of first-order systems in L^p
Authors:
Tuomas Hytönen,
Alan McIntosh
Abstract:
We study certain differential operators of the form AD arising from a first-order approach to the Kato square root problem. We show that if such operators are R-bisectorial in L^p, they remain R-bisectorial in L^q for all q close to p. In combination with our earlier results with Portal, which required such R-bisectoriality in different L^q spaces to start with, this shows that the R-bisectoriali…
▽ More
We study certain differential operators of the form AD arising from a first-order approach to the Kato square root problem. We show that if such operators are R-bisectorial in L^p, they remain R-bisectorial in L^q for all q close to p. In combination with our earlier results with Portal, which required such R-bisectoriality in different L^q spaces to start with, this shows that the R-bisectoriality in just one L^p actually implies bounded H-infinity calculus in L^q for all q close to p. We adapt the approach to related second-order results developed by Auscher, Hofmann and Martell, and also employ abstract extrapolation theorems due to Kalton and Mitrea.
△ Less
Submitted 29 March, 2010;
originally announced March 2010.
-
Second order elliptic operators with complex bounded measurable coefficients in $L^p$, Sobolev and Hardy spaces
Authors:
Steve Hofmann,
Svitlana Mayboroda,
Alan McIntosh
Abstract:
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ón-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 suc…
▽ More
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ón-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.
△ Less
Submitted 22 November, 2010; v1 submitted 3 February, 2010;
originally announced February 2010.
-
Holomorphic functional calculus of Hodge-Dirac operators in Lp
Authors:
Tuomas Hytonen,
Alan McIntosh,
Pierre Portal
Abstract:
We study the boundedness of the $H^{\infty}$ functional calculus for differential operators acting in (L^{p}(\mathbb{R}^{n};\mathbb{C}^{N})). For constant coefficients, we give simple conditions on the symbols implying such boundedness. For non-constant coefficients, we extend our recent results for the (L^p) theory of the Kato square root problem to the more general framework of Hodge-Dirac ope…
▽ More
We study the boundedness of the $H^{\infty}$ functional calculus for differential operators acting in (L^{p}(\mathbb{R}^{n};\mathbb{C}^{N})). For constant coefficients, we give simple conditions on the symbols implying such boundedness. For non-constant coefficients, we extend our recent results for the (L^p) theory of the Kato square root problem to the more general framework of Hodge-Dirac operators with variable coefficients (Π_B) as treated in (L^2(\mathbb{R}^{n};\mathbb{C}^{N})) by Axelsson, Keith, and McIntosh. We obtain a characterization of the property that (Π_B) has a bounded (H^{\infty}) functional calculus, in terms of randomized boundedness conditions of its resolvent. This allows us to deduce stability under small perturbations of this functional calculus.
△ Less
Submitted 13 July, 2009;
originally announced July 2009.
-
On a quadratic estimate related to the Kato conjecture and boundary value problems
Authors:
Pascal Auscher,
Andreas Axelsson,
Alan McIntosh
Abstract:
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…
▽ More
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.
△ Less
Submitted 17 May, 2009; v1 submitted 17 October, 2008;
originally announced October 2008.
-
Solvability of elliptic systems with square integrable boundary data
Authors:
Pascal Auscher,
Andreas Axelsson,
Alan McIntosh
Abstract:
We consider second order elliptic divergence form systems with complex measurable coefficients $A$ that are independent of the transversal coordinate, and prove that the set of $A$ for which the boundary value problem with $L_2$ Dirichlet or Neumann data is well posed, is an open set. Furthermore we prove that these boundary value problems are well posed when $A$ is either Hermitean, block or co…
▽ More
We consider second order elliptic divergence form systems with complex measurable coefficients $A$ that are independent of the transversal coordinate, and prove that the set of $A$ for which the boundary value problem with $L_2$ Dirichlet or Neumann data is well posed, is an open set. Furthermore we prove that these boundary value problems are well posed when $A$ is either Hermitean, block or constant. Our methods apply to more general systems of PDEs and as an example we prove perturbation results for boundary value problems for differential forms.
△ Less
Submitted 29 September, 2008;
originally announced September 2008.
-
On Bogovskiĭ and regularized Poincaré integral operators for de Rham complexes on Lipschitz domains
Authors:
Martin Costabel,
Alan McIntosh
Abstract:
We study integral operators related to a regularized version of the classical Poincaré path integral and the adjoint class generalizing Bogovskiĭ's integral operator, acting on differential forms in $R^n$. We prove that these operators are pseudodifferential operators of order -1. The Poincaré-type operators map polynomials to polynomials and can have applications in finite element analysis. For…
▽ More
We study integral operators related to a regularized version of the classical Poincaré path integral and the adjoint class generalizing Bogovskiĭ's integral operator, acting on differential forms in $R^n$. We prove that these operators are pseudodifferential operators of order -1. The Poincaré-type operators map polynomials to polynomials and can have applications in finite element analysis. For a domain starlike with respect to a ball, the special support properties of the operators imply regularity for the de Rham complex without boundary conditions (using Poincaré-type operators) and with full Dirichlet boundary conditions (using Bogovskiĭ-type operators). For bounded Lipschitz domains, the same regularity results hold, and in addition we show that the cohomology spaces can always be represented by $C^\infty$ functions.
△ Less
Submitted 30 March, 2009; v1 submitted 19 August, 2008;
originally announced August 2008.
-
A new approach to solvability of some elliptic pde's with square integrable boundary data
Authors:
Pascal Auscher,
Andreas Axelsson,
Alan McIntosh
Abstract:
This paper has been withdrawn, and is replaced with paper "Solvability of elliptic systems with square integrable boundary data" by the same authors.
This paper has been withdrawn, and is replaced with paper "Solvability of elliptic systems with square integrable boundary data" by the same authors.
△ Less
Submitted 29 September, 2008; v1 submitted 5 February, 2008;
originally announced February 2008.
-
Kato's square root problem in Banach spaces
Authors:
Tuomas Hytonen,
Alan McIntosh,
Pierre Portal
Abstract:
Let $L$ be an elliptic differential operator with bounded measurable coefficients, acting in Bochner spaces $L^{p}(R^{n};X)$ of $X$-valued functions on $R^n$. We characterize Kato's square root estimates $\|\sqrt{L}u\|_{p} \eqsim \|\nabla u\|_{p}$ and the $H^{\infty}$-functional calculus of $L$ in terms of R-boundedness properties of the resolvent of $L$, when $X$ is a Banach function lattice wi…
▽ More
Let $L$ be an elliptic differential operator with bounded measurable coefficients, acting in Bochner spaces $L^{p}(R^{n};X)$ of $X$-valued functions on $R^n$. We characterize Kato's square root estimates $\|\sqrt{L}u\|_{p} \eqsim \|\nabla u\|_{p}$ and the $H^{\infty}$-functional calculus of $L$ in terms of R-boundedness properties of the resolvent of $L$, when $X$ is a Banach function lattice with the UMD property, or a noncommutative $L^{p}$ space. To do so, we develop various vector-valued analogues of classical objects in Harmonic Analysis, including a maximal function for Bochner spaces. In the special case $X=C$, we get a new approach to the $L^p$ theory of square roots of elliptic operators, as well as an $L^{p}$ version of Carleson's inequality.
△ Less
Submitted 1 March, 2007;
originally announced March 2007.
-
Hardy spaces of differential forms on Riemannian manifolds
Authors:
Pascal Auscher,
Alan Mcintosh,
Emmanuel Russ
Abstract:
Let $M$ be a complete connected Riemannian manifold. Assuming that the Riemannian measure is doubling, we define Hardy spaces $H^p$ of differential forms on $M$ and give various characterizations of them, including an atomic decomposition. As a consequence, we derive the $H^p$-boundedness for Riesz transforms on $M$, generalizing previously known results. Further applications, in particular to…
▽ More
Let $M$ be a complete connected Riemannian manifold. Assuming that the Riemannian measure is doubling, we define Hardy spaces $H^p$ of differential forms on $M$ and give various characterizations of them, including an atomic decomposition. As a consequence, we derive the $H^p$-boundedness for Riesz transforms on $M$, generalizing previously known results. Further applications, in particular to $H^{\infty}$ functional calculus and Hodge decomposition, are given.
△ Less
Submitted 14 November, 2006; v1 submitted 11 November, 2006;
originally announced November 2006.
-
The Kato square root problem for mixed boundary value problems
Authors:
Andreas Axelsson,
Stephen Keith,
Alan McIntosh
Abstract:
We solve the Kato square root problem for second order elliptic systems in divergence form under mixed boundary conditions on Lipschitz domains. This answers a question posed by J.-L. Lions in 1962. To do this we develop a general theory of quadratic estimates and functional calculi for complex perturbations of Dirac-type operators on Lipschitz domains.
We solve the Kato square root problem for second order elliptic systems in divergence form under mixed boundary conditions on Lipschitz domains. This answers a question posed by J.-L. Lions in 1962. To do this we develop a general theory of quadratic estimates and functional calculi for complex perturbations of Dirac-type operators on Lipschitz domains.
△ Less
Submitted 24 October, 2005; v1 submitted 16 December, 2004;
originally announced December 2004.
-
Quadratic estimates and functional calculi of perturbed Dirac operators
Authors:
Andreas Axelsson,
Stephen Keith,
Alan McIntosh
Abstract:
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ón program, including the…
▽ More
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ón program, including the Kato square root problem and the boundedness of the Cauchy operator on Lipschitz curves and surfaces.
△ Less
Submitted 4 July, 2005; v1 submitted 16 December, 2004;
originally announced December 2004.
