Researcher profile

Alan McIntosh

Alan McIntosh contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

8 published item(s)

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.

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.

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.

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.

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.

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.

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.

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ı&#39;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.