BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Alan McIntosh

Alan McIntosh appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.APmath.FAmath.CAmath.DGmath.NA

Catalog footprint

What is connected

12works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2016arXiv

Hodge-Dirac, Hodge-Laplacian and Hodge-Stokes operators in L^p spaces on Lipschitz domains

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 .

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The Kato square root problem on vector bundles with generalised bounded geometry

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Calderon Reproducing Formulas and Applications to Hardy Spaces

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Finite Propagation Speed for First Order Systems and Huygens' Principle for 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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On $L^2$ Solvability of BVPs for elliptic systems

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Potential maps, Hardy spaces, and tent spaces on special Lipschitz domains

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Square roots of perturbed subelliptic operators on Lie groups

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Local Hardy Spaces of Differential Forms on Riemannian Manifolds

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Second order elliptic operators with complex bounded measurable coefficients in $L^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ó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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Stability in p of the H-infinity calculus of first-order systems in L^p

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.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

On Bogovski\uı and regularized Poincaré integral operators for de Rham complexes on Lipschitz domains

We study integral operators related to a regularized version of the classical Poincaré path integral and the adjoint class generalizing Bogovski\uı'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\uı-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.

0 citations0 reviewsNo code linkedOpen access