TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 347, Number 5, May 1995 HOLOMORPHIC MARTINGALES AND INTERPOLATION BETWEEN HARDY SPACES: THE COMPLEX METHOD P. F. X. MÜLLER Abstract. A probabilistic prf is given to identify the complex interpolation space of Hl(T) and H (T) as HP(T). Introduction In this note, a soft propabilistic prf of P. W. Jones's theorem on the complex interpolation space between Hl and H is given. We shall work with N.Th. Varopoulos's space of holomorhpic martingales. The observation presented in this article is that the use of a stopping time decomposition simplifies constructions of Serguei V. Kislyakov and Quanhua Xu to obtain the following Theorem. The complex interpolation space [i/'ct),//00^)^, coincides with HP(T) provided that j = 1-0. o<e<i, As is well known this result has been obtained by P.W. Jones using L estimates to the d problem (see [J]). His work also contains the description of the real interpolation spaces for the couple (//', H ). At about the same time Jean Bourgain obtained a Marcinkiewicz type decomposition, using completely différent techniques (see [Bl]). Recently in a series of papers Jean Bourgain [B2], Serguei Kislyakov [Kl], [K2], [K-X], Gilles Pisier [P] and Quanhua Xu [XI], [X2] obtained deep results concerning real and complex interpolation methods between vector-valued, weighted Hardy spaces of analytic functions. S. Kislyakov's paper [Kl] contains the following idea to approximate the characteristic function 1{ / <a} by analytic functions on the circle T: He starts a = max{l,! } and then considers 1 a + lha where H denotes the Hilbert transform on T. Received by the editors August 11, 1992 and, in revised form, February 1, 1994; originally communicated to the Proceedings of the AMS by Dale Alspach. 1991 Mathematics Subject Classification. Primary 60G46, 42B30. Key words and phrases. Holomorphic martingales, complex interpolation method, Hardy spaces. 1787 1995 American Mathematical Society 0002-9947/95 $1.00+ $.25 per page
1788 P. F. X. MÜLLER In [K2] S. Kislyakov uses these approximations and constructs an "analytic partition of unity", thereby proving J. Bourgain's theorem on absolutely summing operators on the disc algebra. Then Q. Xu, using this analytic partition of unity, was able to give an elementary prf of P.W. Jones's complex interpolation theorem (see [XI]). The use of probability allows us to simplify Q. Xu's prf further: We start with a stopping-time argument which gives a decomposition of a given element / e Hp(il) into a sum of functions d e H (Sl) in such a way that we have gd control over the supports and H (Çl) norms (of the functions d ). Then one defines the vector-valued analytic functions on the strip S = {Ç: 0 < Re ; < 1}, which is required to conclude that HJ'(Q)ç[Hl(a),H00(a)]e (for a definition of the complex interpolation method see [B-L] or [Ja-Jo]). These notes are also a continuation of [M] where a probabilistic argument was given to identify the real interpolation spaces between H (T) and 7/'(T). For sake of completeness let us recall the concept of holomorphic martingales: {zt)t>o denotes the complex Brownian motion on the Wiener space (0,(^),^,P). Definition. A random variable X : Q > C is called holomorphic if and only if the conditional expectations X, = E{X\&) admit a stochastic integral representation of the form Xt Xq + h fs dzs where f : Q C is measurable with respect to 3^. Accordingly HP(Q) denotes the subspace of U{ÇÏ) which consists of holomorphic random variables. On a general &Í martingale with stochastic integral representation we define Yt = Y0+ fs dxs + gs dys Jo Jo (ßTY), = - f gsdxs+ [ fsdys Jo Jo This martingale transform is called the stochastic Hubert transform, because for Y L2(Q) one obtains Y + ißtfy e H2(Q). Being a martingale transform, ßf defines a bounded operator on IP (Í2) for 1 < p <. The corresponding norms are denoted by Np. For a function f e Z/(Q) we denote by /* it's martingale maximal function, i.e. /*:=sup E(/ ^). For LP{Q), 1 < p <, we have \\f\\p < Mp\\f*\\p. We shall write Cp for the larger of A^, and Mp. Below we shall give a prf of
THE COMPLEX METHOD 1789 Theorem 1. The complex interpolation space [Hl(Q), H ( 2)]e, 0 < O < 1, coincides with HP(Q) provided that = 1-6. As shown by N. Th. Varopoulos [V], there exist operators M, N such that for 1 < p < the diagram Hp(T)-y-». Hp(T) Hp{Cl) commutes. We thus derive Jones's theorem from Theorem 1. The basic decomposition In this section, we use a sequence of stopping times to decompose a given / e HP(ÇÏ) into a ^-absolutely convergent series of functions d e H (Çï). Take / e Hp(Q), 1 < p <. Let Having defined m\,..., m -\ we put and define m, :=inf{«:/>{/*> 2"} < I.,_, = {/*> 2^-} m, := infjn > m,_, : P{/* > 2"} < Jp(J5)_i)}. Using this sequence of integers we define natural stopping times as To(ca) := 0, Tj(a>) := inf{i e R : E(/ #)(a>) > 2^}. These stopping times are used to chop off the large parts of /. We let &. be the a -algebra generated by the stopping time Xj, and we put f : E{f\&~Xj). Finally we form the martingale differences d = f +\ fj. It is easily observed that d lies in H (Q), has its support contained in E, and is dominated by 2m>+' and that 00 /- (/) = >. j=0 For our purposes we need to improve this decomposition. We let The function Q7(w) = max^l, j. 1 OLj 4" L^C> LZj satisfies the following conditions: (i) y, e H (a) with ii^iu < 1. (ii) For k > j + 1 and co Ek we obtain the pointwise estimate,.. 1 (2m>*'
1790 P. F. X. MÜLLER (iii) / \\-(pj\pdp<cp [ \l-aj\pdp Ja Jo. 7cp I Je^Xv^J Subsequently we fix ô so that \logö\l/psc% <. I dl The prf of Theorem 1 Given 1 < p <, 0 := 1 - l/p and / HP( L). In this section we shall construct an analytic function F on the strip S = {Ç = n + iç : 0 < n < 1} which satisfies (i) \\F(e)-f\\HPm<\\\f\\HP{ii), (2) supí6r F(zOII//.(íí)<C / ^(íi), (3) sup{6r F(l + tf) if~(n)<c". These three properties of F imply that HP(Q) c [Hl(Q.), 7/ (Q)]e, which is enough to identify the complex interpolation space [//'(Q), 7/ (Q)]e with HP{Q) (see [Ja-Jo]). We start with the basic decomposition construct g> as in 2, and define i=0 7=0 As F(S) - f = YlJLodj(l ~ Vj) ' we nave to check tne following three inequalities: For all e R (1) IIE,~o^-(l-^)IMn)<iimMn), (2) IIE^o^^2^'-'í-')^>. L1{íi) < C / ^(n), (3) H5^orf/fj2^2 w U«ñ) ^ cá_1 Verification of(l). The important idea to change the order of summation below is taken from S. Kislyakov's paper [K2]. The choice of the sequence {m ) implies that the pth power of the left-hand side of ( 1 ) is dominated by. logj j \dj(l - <Pj)\" dp. j=0 Using the L estimates for dj and the LP boundedness of the stochastic Hubert's transform we estimate the above sum by. \ogô\cpy^2m^p / \\-cij\pdp.
the complex method 1791 Above we obtained / 1 -aj\p <ôp2-(m^)p Y) 2^m^pP{Ek). Jo.,.rrf, k=j+\ Using this estimate and changing the order of summation we can dominate the left-hand side of ( 1 ) by k logô\ôpcp53p(ek)2m^p532m»lp2-m*+ip < logô\ôp\6cp P(Ek)2m^p k=\ j=0 k=\ <\logô\âpl6cp [ f*pdp < logô\s" 16C^P [ \f\pdp. Jo Jo Verification of (2). The left-hand side of (2) is clearly dominated by CO. J2 / \di\ç>i2<r-vm>+i dp. Using L estimates of d and the fact that d is supported in the set {/* > 2m'} we can dominate the above sum by Y^2m'+iPP{f* > 2m>}. The choice of (mj) allows one to dominate this sum by j=0 CO 2^2 ^"P{f* >=o which is bounded by 4 /* ^( 2). >2m^'"1}, Verification of (3). The L bounds on d and the fact that supp d ç Ej gives an estimate for the left-hand side of (3) by By construction the above sum can be dominated by ;=0 c-l j=o which is bounded independently of /. v./=0 References [B-L] J. Berg and J. Löfström, Interpolation spaces, Springer Verlag, New York, 1976. [Bl] J. Bourgain J., New Banach space properties of the disc algebra and H, Acta Math. 152 (1984), 1-48. [B2] _, Some consequences ofpisier's approach to interpolations, preprint 1991.
1792 P. F. X. MÜLLER [D] R. Durrett, Brownian motion and martingales in analysis, Wadsworth, 1984. [J] P. W. Jones, L estimates for the d problem in a half space, Acta Math. 150 (1983), 37-152. [Ja-Jo] S. Janson and P. W. Jones, Interpolation between Hp spaces, J. Funct. Analysis 48 (1982), 58-80. [Kl] S. V. Kislyakov, Truncating functions in weighted Hp and two theorems of J. Bourgain, Uppsala University, Dept. of Math., Report 1989:10. [K2] _, Absolutely summing operators on the disc algebra, Analysis and Algebra 3 (1991), 1-77; English transi., St. Petersburg Math. J. 3 (1992), 705-774.. [K-X] S. V. Kislyakov and Q, Xu, Interpolation of weighted and vector valued Hardy spaces, Publ. Inst. Recherche. Math. Lille 25 (1991). [M] [P] [V] P. F. X. Müller, Holomorphic Martingales and interpolation between Hardy spaces, J.'Analyse Math. 61 (1993), 327-337. G. Pisier G, Interpolation between Hp spaces and non commutative generalization, Pacific J. Math. 155 (1992), 341-368. N. Th. Varopoulos, The Helson-Szegö theorem and Ap functions for Brownian motion and several variables, J. Funct. Anal. 39 (1980), 85-121. [XI] Q. Xu, Elementary prfs of two theorems of P.W. Jones on interpolation between Hardy spaces, Ann. Inst. Fourier (Grenoble) 42 (1992), 875-889. [X2] _, Notes on interpolation of Hardy spaces, preprint 1990. Institut für Mathematik, J. Kepler Universität Linz, A-4040 Linz, Austria E-mail address : paúl.muellerq jk. uni-linz. ac. at