Let T denote the unit circle and dm the normalized Lebesgue measure on T . For 1 ≤ p ≤ ∞, L stands for L(T, dm). As usual, H is the Hardy subspace of L. Let P : L → H be the orthogonal projection. For f ∈ L, the Toeplitz operator Tf and the Hankel operator Hf are defined by the formulas Tfφ = Pfφ and Hfφ = (1 − P )fφ, φ ∈ H, whenever these expressions make sense. Thus the domains of Tf and Hf contain at least H∞. Let D be the open disc {z ∈ C : |z| < 1}. We denote the Poisson kernel associated with z ∈ D by Pz. That is, Pz(τ) = (1−|z|2)/|1− τ z|2. We write f(z) = ∫ T fPzdm, z ∈ D, for f ∈ L. In particular, for any measurable set E ⊂ T , χE(z) = ∫ E Pzdm is the value of the harmonic extension of χE at z. The well-known probabilistic interpretation of χE(z) may help put the results stated below in perspective: χE(z) is the probability that a Brownian walker starting at the point z will exit D through E. In this note we will address a question raised by Sarason in [5, 6], namely when is the product TgTf a bounded operator on H? This problem, which is non-trivial only if at least one symbol function is unbounded, arose from Sarason’s study of exposed points in the unit ball of H. He showed that, for outer functions f, g ∈ H, a necessary condition for TgTf to be bounded is that sup |z|<1 ∫
Read full abstract