On square functions associated to sectorial operators

Le Merdy, Christian

Bulletin de la Société Mathématique de France, Tome 132 (2004) no. 1, pp. 137-156.

Nous obtenons de nouveaux résultats sur les fonctions carrées

$${\parallel x\parallel }_F=\parallel {\left({\int }_0^{\infty }{\left|F\left(tA\right)x\right|}^2\frac{\mathrm{d}t}{t}\right)}^{1/2}{\parallel }_p$$

associées à un opérateur sectoriel $A$ sur $L^p$ pour $1<p<\infty$. Quand $A$ est en fait $R$-sectoriel, on montre des équivalences de la forme $K^{-1}{\parallel x\parallel }_G\le {\parallel x\parallel }_F\le K{\parallel x\parallel }_G$ pour des fonctions $F,G$ appropriées. On démontre également que $A$ possède un calcul fonctionnel $H^{\infty }$ borné par rapport à ${\parallel .\parallel }_F$. Puis nous appliquons nos résultats à l’étude de conditions impliquant une inégalité du type $\parallel {({\int }_0^{\infty }|C{\mathrm{e}}^{-tA}{\left(x\right)|}^2\mathrm{d}t{)}^{1/2}\parallel }_q\le M{\parallel x\parallel }_p$, où $-A$ engendre un semigroupe borné ${\mathrm{e}}^{-tA}$ sur $L^p$ et $C:D\left(A\right)\to L^q$ est une application linéaire.

We give new results on square functions

$${\parallel x\parallel }_F=\parallel {\left({\int }_0^{\infty }{\left|F\left(tA\right)x\right|}^2\frac{\mathrm{d}t}{t}\right)}^{1/2}{\parallel }_p$$

associated to a sectorial operator $A$ on $L^p$ for $1<p<\infty$. Under the assumption that $A$ is actually $R$-sectorial, we prove equivalences of the form $K^{-1}{\parallel x\parallel }_G\le {\parallel x\parallel }_F\le K{\parallel x\parallel }_G$ for suitable functions $F,G$. We also show that $A$ has a bounded $H^{\infty }$ functional calculus with respect to ${\parallel .\parallel }_F$. Then we apply our results to the study of conditions under which we have an estimate $\parallel {({\int }_0^{\infty }|C{\mathrm{e}}^{-tA}{\left(x\right)|}^2\mathrm{d}t{)}^{1/2}\parallel }_q\le M{\parallel x\parallel }_p$, when $-A$ generates a bounded semigroup ${\mathrm{e}}^{-tA}$ on $L^p$ and $C:D\left(A\right)\to L^q$ is a linear mapping.

Classification : 47A60, 47D06
Keywords: sectorial operators, $H^{\infty }$ functional calculus, square functions, $R$-boundedness, admissibility
Mot clés : opérateurs sectoriels, calcul fonctionnel $H^{\infty }$, fonctions carrées, $R$-bornitude, admissibilité

[1] W. Arendt & S. Bu - « The operator valued Marcinkiewicz multiplier theorem and maximal regularity », Math. Z. 240 (2002), p. 311-343. | MR | Zbl

[2] P. Auscher, X. Duong & A. McIntosh - in preparation.

[3] P. Auscher, A. Mcintosh & A. Nahmod - « Holomorphic functional calculi of operators, quadratic estimates and interpolation », Indiana Univ. Math. J. 46 (1997), p. 375-403. | MR | Zbl

[4] P. Clément, B. De Pagter, F. Sukochev & H. Witvliet - « Schauder decompositions and multiplier theorems », Studia Math. 138 (2000), p. 135-163. | MR | Zbl

[5] P. Clément & J. Pruss - « An operator valued transference principle and maximal regularity on vector valued $L_p$-spaces », Proc. of the Sixth International Conference on Evolution Equations and their Applications in Physical and Life Sciences (Bad Herrenalb, 1998) (G. Lumer & L. Weis, éds.), Marcel Dekker, New-York, 2001, p. 67-87. | MR | Zbl

[6] M. Cowling, I. Doust, A. Mcintosh & A. Yagi - « Banach space operators with a bounded $H^{\infty }$ functional calculus », J. Austr. Math. Soc. 60 (1996), p. 51-89. | MR | Zbl

[7] J. Garnett - Bounded analytic functions, Pure and applied Mathematics, vol. 96, Academic Press, 1981. | MR | Zbl

[8] P. Grabowsky & F. Callier - « Admissible observation operators. Semigroup criteria of admissibility », Int. Equ. Oper. Theory 25 (1996), p. 182-198. | MR | Zbl

[9] B. Jacob & J. Partington - « The Weiss conjecture on admissibility of observation operators for contraction semigroups », Int. Equ. Oper. Theory 40 (2001), p. 231-243. | MR | Zbl

[10] B. Jacob, J. Partington & S. Pott - « Admissible and weakly admissible observation operators for the right shift semigroup », Proc. Edinburgh Math. Soc. 45 (2002), p. 353-362. | MR | Zbl

[11] B. Jacob, O. Staffans & H. Zwart - « Weak admissibility does not imply admissibility for analytic semigroups », 2003. | MR | Zbl

[12] B. Jacob & H. Zwart - « Disproof of two conjectures of George Weiss », Preprint, 2000.

[13] N. Kalton & G. Lancien - « A solution to the problem of $L^p$-maximal regularity », Math. Z. 235 (2000), p. 559-568. | MR | Zbl

[14] N. Kalton & L. Weis - « The $H^{\infty }$ calculus and sums of closed operators », Math. Ann. 321 (2001), p. 319-345. | MR | Zbl

[15] F. Lancien, G. Lancien & C. Le Merdy - « A joint functional calculus for sectorial operators with commuting resolvents », Proc. London Math. Soc. 77 (1998), p. 387-414. | MR | Zbl

[16] C. Le Merdy - « The Weiss conjecture for bounded analytic semigroups », J. London Math. Soc. (2) 67 (2003), p. 715-738. | MR | Zbl

[17] J. Lindenstrauss & L. Tzafriri - Classical Banach spaces II, Springer Verlag, Berlin, 1979. | MR | Zbl

[18] A. Mcintosh - « Operators which have an $H^{\infty }$ functional calculus », Miniconference on operator theory and partial differential equations, Proc. of CMA, Canberra, vol. 14, 1986, p. 210-231. | MR | Zbl

[19] A. Mcintosh & A. Yagi - « Operators of type $\omega$ without a bounded $H^{\infty }$ functional calculus », Miniconference on operators in analysis, Proc. of CMA, Canberra, vol. 24, 1989, p. 159-172. | MR | Zbl

[20] J. Partington & G. Weiss - « Admissible observation operators for the right shift semigroup », Math. Cont. Signals Systems 13 (2000), p. 179-192. | MR | Zbl

[21] L. Weis - « A new approach to maximal $L_p$-regularity », Proc. of the Sixth International Conference on Evolution Equations and their Applications in Physical and Life Sciences (Bad Herrenalb, 1998) (G. Lumer & L. Weis, éds.), Lecture Notes in Pure and Appl. Math., vol. 215, Marcel Dekker, New-York, 2001, p. 195-214. | MR | Zbl

[22] -, « Operator valued Fourier multiplier theorems and maximal regularity », Math. Ann. 319 (2001), p. 735-758. | MR | Zbl

[23] G. Weiss - « Admissibility of unbounded control operators », SIAM J. Control Optim. 27 (1989), p. 527-545. | MR | Zbl

[24] -, « Admissible observation operators for linear semigroups », Israel J. Math. 65 (1989), p. 17-43. | MR

[25] -, « Two conjectures on the admissibility of control operators », Estimation and control of distributed parameter systems, Birkäuser Verlag, 1991, p. 367-378. | MR | Zbl