×

On a sharp estimate for Hankel operators and Putnam’s inequality. (English) Zbl 1372.47040

Let \(\Omega\) be a simply connected domain in the complex plane and \(\phi:\Omega\to{\mathbb D}\) be the corresponding Riemann mapping. Let \(A_{-1}^2(\Omega)\) be the Hardy-Smirnov space, and for \(\alpha>-1\), let \(A_\alpha^2(\Omega)\) be the Bergman space which is the closure of holomorphic functions on \(\Omega\) in the Lebesgue space \(L_\alpha^2(\Omega)\) equipped with the norm given by \(\|f\|_\alpha^2=\int_\Omega|f(z)|^2\,dA_\alpha(z)\), where \(dA_\alpha(z)=(1+\alpha)\frac{1-|\phi(z)|^2)^\alpha}{|\phi'(z)|^\alpha}\frac{dx\,dy}{\pi}\). By \(P\) denote the orthogonal projection from \(L_\alpha^2(\Omega)\) to \(A_\alpha^2(\Omega)\). For a suitable symbol \(\psi\), the Hankel and Toeplitz operators are defined by \(H_\psi(f)=(I-P)(\psi f)\) and \(T_\psi(f)=P(\psi f)\), respectively, where \(f\in A_\alpha^2(\Omega)\). The main result of the paper says that for \(\alpha\geq -1\) and a holomorphic function \(\psi\) on \({\mathbb D}\) such that \(\psi'\in A_\alpha^2({\mathbb D})\), one has \[ \|H_{\overline{\psi}}\|_{A_\alpha^2({\mathbb D})\to A_\alpha^2({\mathbb D})}\leq (2+\alpha)^{-1/2}\|\psi'\|_{A_\alpha^2({\mathbb D})}. \] This estimate is sharp. The above result implies the following improvement of the classical inequality of C. R. Putnam [Math. Z. 116, 323–330 (1970; Zbl 0197.10102)] for commutators of Toeplitz operators with analytic symbols: if \(\psi\) is an analytic function on a simple connected domain \(\Omega\), then \[ \|T_\psi^*T_\psi-T_\psi T_\psi^*\|_{A_\alpha^2(\Omega)\to A_\alpha^2(\Omega)} \leq (2+\alpha)^{-1/2}\|\psi'\|_{A_\alpha^2(\Omega)}, \] which was conjectured by S. R. Bell et al. [Math. Proc. R. Ir. Acad. 114A, No. 2, 115–132 (2014; Zbl 1329.47026)]. As an application, this yields a new proof of the de Saint-Venant inequality, which relates the torsional rigidity of a domain with its area.

MSC:

47B35 Toeplitz operators, Hankel operators, Wiener-Hopf operators
30H20 Bergman spaces and Fock spaces

References:

[1] Bell, S. R., Ferguson, T. and Lundberg, E.: Self-commutators of Toeplitz operators and isoperimetric inequalities. Math. Proc. Royal I. Acad.114A (2014), no. 2, 115–132. · Zbl 1329.47026
[2] Duren, P. L.: Theory ofHpspaces. Pure and Applied Mathematics 38, Academic Press, New York-London, 1970.
[3] Fleeman, M. and Khavinson, D.: Extremal domains for self-commutators in the Bergman space. Complex Anal. Oper. Theory9 (2015), no. 1, 99–111. · Zbl 1317.47028
[4] Hedenmalm, H., Korenblum, B. and Zhu, K.: Theory of Bergman spaces. Graduate Texts in Mathematics 199, Springer-Verlag, New York, 2000. · Zbl 0955.32003
[5] Khavinson, D.: A note on Toeplitz operators. In Banach spaces (Columbia, Mo., 1984), 89–94. Lecture Notes in Math. 1166, Springer, Berlin, 1985.
[6] P’olya,G.andSzeg”o,G.:Isoperimetric inequalities in mathematical physics. Annals of Mathematics Studies 27, Princeton University Press, Princeton, NJ, 1951. · Zbl 0044.38301
[7] Putnam, C. R.: An inequality for the area of hyponormal spectra. Math. Z.116 (1970), 323–330. Received May 14, 2014. Jan-FredrikOlsen:Centre for Mathematical Sciences, Lund University, P.O. Box 118, SE-221 00 Lund, Sweden. E-mail:janfreol@maths.lth.se Mar’ıa Carmen Reguera: School of Mathematics, University of Birmingham, Edgbaston, Birmingham, B15 2TT, United Kingdom. E-mail:m.reguera@bham.ac.uk IntroductionThe relation to Hankel operators and a proof of Corollary 1Proof of Theorem 1 in the case =0Proof of Theorem 1 for -1Torsional rigidity and lower bounds
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.