A sharp equivalence between H ^ functional calculus and square function estimates

DOI10.1007/S00028-012-0154-2MaRDI QIDQ1935539zbMATH OpenOpenAlexFDO

Authors Christian Le Merdy

Publication date 18 February 2013

Published in Journal of Evolution Equations (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1111.3719

zbMATH Keywords

holomorphic functional calculus R-boundedness sectorial operators square function estimates

Mathematics Subject Classification ID

Functional calculus for linear operators (47A60) One-parameter semigroups and linear evolution equations (47D06)

Abstract: Let T_t = e^{-tA} be a bounded analytic semigroup on Lp, with 1<p<infty. It is known that if A and its adjoint A^* both satisfy square function estimates �ignorm{�igl(int_{0}^{infty}| A^{1/2} T_t(x)|^2, dt,�igr)^{1/2}_{Lp} lesssim

orm{x} and �ignorm{�igl(int_{0}^{infty}|A^{*}^{1/2} T_t^*(y)|^2, dt,�igr)^{1/2}_{Lp'} lesssim

orm{y} for x in Lp and y in Lp', then A admits a bounded H^{infty}(Sigma_ heta) functional calculus for any heta>frac{pi}{2}. We show that this actually holds true for some heta<frac{pi}{2}.

Review text

Given a sectorial operator \(A\) acting on a Banach space \(X\), the holomorphic functional calculus, initially defined through the Cauchy integral formula for bounded holomorphic functions with sufficient decay, may or may not extend to a bounded functional calculus from \(H^{\infty}\) to \(B(X)\). Proving that such a bounded extension exists is a fundamental task in the (harmonic) analysis of many problems in partial differential equations (see, e.g., [\textit{P. Kunstmann} and \textit{L. Weis}, Lect. Notes Math. 1855, 65--311 (2004; Zbl 1097.47041)]; [\textit{A. Axelsson} et al., Invent. Math. 163, No. 3, 455--497 (2006; Zbl 1094.47045)]). Since the pioneering work of McIntosh and his collaborators (see, e.g., \textit{M. Cowling} et al. [J. Austral. Math. Soc. Ser. A 60, No. 1, 51--89 (1996; Zbl 0853.47010)]), this has been reduced to establishing square function estimates such as \[ \|(\int \limits _{0} ^{\infty} |(tA)^{\frac{1}{2}}e^{tA}f|^{2} \frac{dt}{t} )^{\frac{1}{2}}\|_{p} \lesssim \|f\|_{p} \quad \text{for all }f \in L^p. \] These estimates, in turn, can generally be obtained (for differential operators) by the methods of real harmonic analysis. By boundedness of the holomorphic functional calculus, one generally means that there exists an angle \(\theta \in (0,\pi)\) such that the functional calculus is bounded for \(H^{\infty}\) functions on the sector of angle \(\theta\). In certain applications, however, it is important to find the optimal angle \(\theta\). Maximal regularity, for instance, requires that \(\theta < \frac{\pi}{2}\) [\textit{N. Kalton} and \textit{L. Weis}, Math. Ann. 321, No. 2, 319--345 (2001; Zbl 0992.47005)]. Developing joint functional calculi [\textit{F. Lancien, G. Lancien} and \textit{C. Le Merdy}, Proc. Lond. Math. Soc., III. Ser. 77, No. 2, 387--414 (1998; Zbl 0904.47015)] or extending the holomorphic functional calculus to obtain spectral multipliers theorems (see [Zbl 0853.47010] and recent works such as [\textit{C. Kriegler}, Preprint \url{arxiv:1201.4830}]) also involve conditions on angles. This cannot, in general, be obtained from knowledge of the optimal angle of sectoriality [\textit{N. Kalton}, Contemp. Math. 321, 91--99 (2003; Zbl 1058.47011)]. The optimal angle for the functional calculus is, however, the same as the optimal angle of R-sectoriality in Banach spaces such as \(L^p\), see Kalton and Weis [loc. cit.]. The paper under review solves an important question on this topic by showing that the square function estimate above, together with an analogous estimate in \(L^{p'}\) for \(A^{*}\), implies that the optimal angle of R-sectoriality (and hence of functional calculus) is strictly smaller than \(\pi/2\). The proof is elementary and quite interesting. A key element is the fact that the square function estimate above implies similar estimates such as \[ \| ( \int \limits _{0} ^{\infty} |(tA)^{\frac{3}{2}}e^{tA}f|^{2} \frac{dt}{t} )^{\frac{1}{2}}\|_{p} \lesssim \|f\|_{p} \quad \text{for all }f \in L^p. \] This is well known when the operator is R-sectorial, but R-sectoriality is a conclusion here, not an assumption. Although the lattice structure of \(L^p\) is used, the author points out that extensions to reflexive Banach spaces with property \((\alpha)\) can be obtained. The paper ends with two appealing open questions: does this result extend to non-commutative \(L^p\) spaces, and is the change of square functions used in the proof a special case of a more general phenomenon that does not require R-sectoriality?

Recommendations

Cites work

Cited in

(18)

This page was built for publication: A sharp equivalence between \(H ^{\infty }\) functional calculus and square function estimates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1935539)