H∞ functional calculus and square function estimates for Ritt operators

A Ritt operator T : X -> X on a Banach space is a power bounded operator satisfying an estimate n parallel to T-n - Tn-1 parallel to <= C. When X = L-p(Omega) for some 1 < p < infinity, we study the validity of square functions estimates parallel to(Sigma(k) k vertical bar T-k(x) - Tk-1(x)vertical bar(2))(1/2)parallel to(p)(L) less than or similar to parallel to x parallel to(p)(L) for such operators. We show that T and T* both satisfy such estimates if and only if T admits a bounded functional calculus with respect to a Stolz domain. This is a single operator analogue of the famous Cowling-Doust-McIntosh-Yagi characterization of bounded H-infinity-calculus on L-p-spaces by the boundedness of certain Littlewood-Paley-Stein square functions. We also prove a similar result for Hilbert spaces. Then we extend the above to more general Banach spaces, where square functions have to be defined in terms of certain Rademacher averages. We focus on noncommutative L-p-spaces, where square functions are quite explicit, and we give applications, examples, and illustrations on such spaces, as well as on classical L-p.