ko. Pick such an x for which both A,au(x) and Nau(x) are infinite. Let t be very small and choose k > ko such that
A,au(x, t) :::; LA,au(x,
=
KLVryk+1.
As in the martingale case we have
Nau(x, t) ~
(
k
1 171 k 1/ og ogry
) 1/2
2
( ~ VIi 1
)1~ (A,au(x, t)/ .,ftiKL) log log (A,au(x, t)/.,ftiK L)2
which implies that 1 . . f (log log(A,au(x, t))2) 1/2 N ( ) 11m In "'U x,t > - - ltO (A,au(x, t))2 - .JVTJK L
for almost every x E {x E]Rn : Ixl :::; 1 and A,au(x) = oo}. Since we have chosen 1/ = and ry > 1 is arbitrary, this completes the proof of Theorem 4.3.2.
52'
Corollary 4.3.4 Under the assumptions of Theorem 4.3.2 we have liminf tlO
for almost every x
E
{x
(
loglog(A1u(x, t)) ) (AI,au ())2 x, t
E]Rn :
1/2
1
N",u(x, t) ~ C
(4.3.5)
Abu(x) = oo}.
Proof: The hypothesis A,6'u(xo, to) < 00 implies that the contribution to A,au(x, t) from the "top parts" of cones is finite; this essentially follows from Lemma 4.2.9. Similarly, the contributions to N",u from the "top parts" are irrelevant. In other words, the liminf's in the non-truncated version of Theorem 4.3.2 and in the truncated version, (4.3.5), are the same a.e. on the set {x E]Rn: Abu(x) = oo}. We remark that this corollary is true without the hypotheses involving the points (xo, Yo) and (Xl, Yl). These were necessary for Theorem 4.3.2 which we proved first simply because we had proved the necessary good-A inequalities to do so. By using the techniques of Section 4.2 it is possible to prove similar sharp good-A inequalities on bounded Lipschitz domains; these can be used, by following the proof of Theorem 4.3.2, to provide a direct proof of (4.3.5). We leave the details to the reader. Finally, there is also another upper LIL similar to Theorem 3.0.4, with the roles of A and N reversed. This follows from Theorem 4.2.1. The proof is similar to that of Theorem 4.3.2 and Corollary 4.3.4 and we also leave this to the reader.
124
4. Sharp Good-A Inequalities for A and N
Theorem 4.3.5 Under the assumptions of Theorem 4.3.2 we have
lim sup flO
A1u(x, t)
for almost every x E {x E lRn Q, (3, Q', (3' and n.
4.4
J(N,iu(x, t))2loglogN,iu(x, t) :
N~ u( x) =
oo}. The constant C depends only on
Application II. The Burkholder-Gundy -theorem, sharp V-constants and ratio inequalities
In this section we will show how the good-A inequalities of Theorems 4.1.1 and 4.2.1 can be used to produce various comparisons of functionals of the nontangential maximal function and Lusin area function. We first consider the theorem of Burkholder and Gundy, Theorem 1.7.9. For this we consider a nondecreasing continuous function cI> defined on [0,00] with cI>(0) = 0, cI> not identically zero, and which satisfies the growth condition: cI>(2A) ~ Ccp cI>(A) for every A > where Ccp is a fixed constant. Here is a more thorough version of Theorem 1.7.9:
°
Theorem 4.4.1 Suppose then
(i)
Q,
(3 >
°
and cI> is as above. If u is harmonic on lR++l,
J~n cI>(Aau(x))dx ~ C J~n cI>(N~u(x))dx.
If the left hand side of (i) is finite, then limy-->oo u(x, y) exists and is finite and constant for x E lRn. If u is normalized so that this limit is zero, then the converse inequality holds:
(ii)
J~n cI>(N~u(x))dx ~ C J~n cI>(Aau(x))dx.
Here the constant C depends only on
Q,
(3, n and the growth constant Ccp.
This seems to follow almost immediately from Lemma 4.0.2 and the good-A inequalities of Theorems 4.1.1 and 4.2.1. However, a closer examination reveals that there are a few technicalities. In Theorem 4.4.1, Q and (3 are arbitrary, but each good-A inequality required that one be bigger than the other. This is easy to overcome: since I{x E lRn : N,,/u(x) > A}I ~ I{x E lRn : Nou(x) > A}I for every A > 0, with the constants in the equivalence depending only on 'Y and 8 (Lemma 4.1.2), in our proof we may suppose in (i) that (3 > Q and in (ii) that Q > (3. Also recall that to obtain an estimate like (i) via a good-A inequality and Lemma 4.0.2, it is necessary to have the apriori estimate J~n cI>(min{1, Aau(x)})dx < 00, with a similar estimate involving N~u(x) necessary for (ii). To circumvent this difficulty, we will apply this good-A inequality technique to a related harmonic function which does satisfy the requisite apriori estimates. Then we will take limits to obtain (i) and (ii). This limiting argument is much
4.4 Application II. The Burkholder-Gundy -theorem
125
like the proof of Theorem 1.7.8 and much like a limiting argument in Fefferman and Stein [FS; Theorem 8]. The argument will also borrow much from Burkholder and Gundy's original proof of Theorem 4.4.1. The original proof of this theorem used localized versions of the good-A inequalities which resulted in slightly fewer complications.
Proof of Theorem 4.4.1: (i) We assume a < (3, and we may assume the right hand side of (i) is finite. Fix 0 < c: < L < 00 and set v(x, y) = u(x, y + c:) - u(x, y + L). For convenience we set Xo = Y (and likewise So = t). Then
A~v(x) =
1 t I::. r",(x) j=O
(s,
J
t)1
2
t1-ndsdt (4.4.1)
For (s, t) E r Q(x) and j fixed,
8U
18s/ s , t + c:) -
t'
t
8u t + L) I = (L - c:) I8iBs/s, 8 2u , I, 8s/s, t)
t
where is between + c: and + L. In particular, (s, t') E r Q(x). Since a < (3, there exists a constant e = eQ ,{3 such that the ball B = B((s, t'), et') is contained in r{3(x). Let r.p be a radial function supported on B(O,et') ~ ffi.n+l with
r
iIR n +1
r.p(x)dx = 1.
Such a r.p can be chosen so that also
whenever that
lal
= 2, where 0 depends on e and
n. From Theorem 1.1.4 it follows
Thus,
18~~:j (S,t')1 :s (LI~~~j (1J-(S,t'))1 2d1J ) 2
(Llu(1J) 12 d1J )
:s OIBI (t')-2(n+3) (N{3u(x) )21BI = O(N u(x))2(t')-4 {3
< O(N{3U(X))2
-
(t+c:)4
126
4. Sharp Good-A Inequalities for A and N
This and (4.4.1) yields
J J
By assumption,
00.
00.
Rn
This implies that
Rn
Then by the good-A inequality, Theorem 4.2.1, and Lemma 4.0.2,
J
J
(Note that the C here does not depend on cor L.) Since Nf3v(x) :S 2Nf3u(x) we have
r
iRn
iRn
(4.4.2)
Now
and by Lemma 2.3.1,
for (8, t) E r o:(x). Since we have assumed that the right hand side of (i) is finite, Nf3u(x) < 00 for almost every x. Thus, for all such x, Igsu (8, t + L)I-t 0 as L - t 00 for all (8, t) E r 0: (x), j E {O,... ,n}. Then, by the faC't that
which is (i).
4.4 Application II. The Burkholder-Gundy -theorem
127
To prove (ii), we may assume a > (3 and JlRn (Ac,u(x))dx < 0< s < L < 00 and set v(x,y) = u(x,y+s) - u(x,y+L). Suppose (so, to) E r ,e(x). Then, using Lemma 2.3.1,
[v(so, to)[ = IlL
00.
~~ (so, t + to)dtl ::; c lL A",u(x) (t: to)
Thus, N,ev(x) ::; c£,LA",u(x) and consequently, JlRn (N,ev(x))dx the good->. inequality, Theorem 4.1.1, and Lemma 4.0.2,
<
Again, fix
dt. 00.
Then by
Note that, as before, the constant C does not depend on s or L. By the triangle inequality and Lemma 4.2.9, A",v(x) ::; CA",u(x) where C depends only on a and n. Thus, (4.4.3) For 0< L < 00 set WL(X, y) = u(x, y)-u(x, y+L). Elementary considerations show that liminf£-+o N,ev(x) ::::: N,ewdx) for every x, so by Fatou's lemma and (4.4.3), (4.4.4) where C depends on a, (3 and n, but not on L. We claim limy-+ CXJ u(O, y) exists. To see this, let s > 0. Choose M so that [B(O, M)[(s) is larger than the right hand side of (4.4.4). Then, for every L, there exists x (= XL) in B(O, M) at which N,eWL(X) < s. But if y ::::: ~, (0, y) E r,e(x) and hence s > [wdO, y)[ = [u(O, y) - u(O, y + L)[, for all L > 0. Therefore, limy-+ CXJ u(O, y) exists and is finite. Fix x and suppose Xo E ]Rn. Suppose y is large enough so that [xo[ < (3y and [xo - x[ < (3y. Then both (0, y) and (x, y) are in r,e(xo) so that
[u(O,y) -u(x,y)[::; [x[sup{['Vu(t,y)[: (t,y) E r,e(xo)}::; C ElA",u(xo) y
by Lemma 2.3.1. Choosing Xo so that A",u(xo) < 00 we see that limy-+ CXJ u(x, y) = limy-+oo u( 0, y), so that this limit is constant for x E ]Rn. If we assume that this limit is zero, it is easy to see N,eu(x) ::; liminfN,ewdx). This, Fatou's lemma and (4.4.4) yields (ii). L-+oo An important special case of this theorem is the case (>') = >,P, P > 0, which relates the LP norms of the nontangential maximal function and Lusin area function. What is of further interest in this case is to find the best constants
128
4. Sharp Good-'\ Inequalities for A and N
in these LP inequalities. In general, sharper constants can be obtained by using good-'\ inequalities with better decay. We shall now discuss this. The good-A inequality
I{x E]Rn : A,au(x)
> 8A, Nau(x) :::; EA}I :::; Ca,,a,n
(82E~ 1) I{x E ]Rn : A,au(x) > A}I
of Burkholder and Gundy [BG2] and Lemma 4.0.2 shows that IIA,aullp :::; Ca,,a,nJP IINauilp for 0 < p < 00 (Burkholder [Bu4, p. 295], or see the discussion immediately after Theorem 4.0.3). The order of the constant on the right hand side, O(JP), is the smallest possible order of magnitude in this LP-inequality. A similar good-A inequality in [BG2] with the roles of A and N reversed yields IIN,aullp :::; CpllAaullp with only Cp = O(p) as p --+ 00. In fact, even the exponential decay given by Murai and Uchiyama in (4.0.13) does not improve this order in p. We now would like to show how to use the subgaussian decay in the good-A inequalities of Theorem 4.l.1 to show that IIN,aullp :::; Ca,,a,nJPIIAaullp for 1 :::; p < 00, which is again the best possible order. In fact, we shall prove more. Once again, our results are motivated by those first proved for martingales and we recall these next. In [Dav1], B. Davis found the best possible values for the constants a p and Ap in the following LP-inequalities for continuous martingales:
IIXllp :::; ApIIS(X)llp { and IIS(X)llp :::; apllXllp,
(4.4.5)
for 1 < p < 00, where we write X for the limit of X t as t --; 00. The constants are zeros of parabolic cylinder functions and confluent hypergeometric functions. They are both of order JP as p --+ 00. In [Wa], G. Wang proves that for 3 :::; p < 00 these constants are also best possible for discrete martingales Un} (with the more traditional square function S(f) defined by (2.0.4)) whose martingale difference sequence {d n } is conditionally symmetric. This means that for all n and real numbers T, P{dn+l > T Id1 , ... ,dn } = P{dn+ 1 < -T Id1 , ... ,dn } almost surely. These martingales include the one dimensional dyadic martingales. We should mention here, however, that for arbitrary martingales Un}, the best constant Cp in the inequality I flip :::; CpIIS(f)llp for 2:::; p < 00 (again with the square function S(f) of 2.0.4) is p - 1. This was shown by Pittinger [Pit] for integers p 2 3 and by Burkholder [Bu5] for all 2 :::; p < 00. Thus, for general martingales, the constants can be much larger. In [BY2], Barlow and Yor introduced the operators
4.4 Application II. The Burkholder-Gundy -theorem
129
o < a ::; 1, and proved that with Ga,p = Oa(JP), as p
----+ 00.
Motivated by this we have
Theorem 4.4.2 Suppose u is harmonic in lR~+l, not identically zero, 0 and 0 < p < 00. If u(x, t) ----+ 0 as t ----+ 00 then
o < a ::; 1
< (3 < 0:, (4.4.6)
In general, (4.4.7) Furthermore, both G and G' are Oa,cx,(3,nC/p) as P best possible.
----+ 00
and this order in p is
The additional normalization in (4.4.6) that u vanish at 00 is necessary as can be seen by considering constant functions. As mentioned at the beginning of this Chapter, the desire to improve the rate of decay in c of the good-A inequalities arose partly in efforts to prove ratio inequalities between A and N. (Ratio inequalities were first proved for martingales by A. Garsia in [Gar].) The following ratio inequalities sharpen those in R. Fefferman, Gundy, Silverstein and Stein [FGSS] and Murai and Uchiyama [MU]. Theorem 4.4.3 Suppose u is harmonic in lR.~+ 1 and 0 < (3 < 0:. There exists constants G 1 and G2 , depending only on 0:, (3 and n, such that for any 0 < p < 00,
(4.4.8) and (4.4.9) We now proceed with the proof of Theorem 4.4.2. Since the proofs of (4.4.6) and (4.4.7) are the same, we just prove (4.4.6). Let M be a large real number to be specified later. We have
4. Sharp Good-A Inequalities for A and N
130
= I
+ II,
where _
Eij - {2
i
2i -
2i-j
j - 1
< N{3u ::; 2i+1 ,~< Aa u ::; M}·
Estimating the double sum and applying Theorem 4.1.1 with A = 2i I K and c K2- j 1M we obtain I::;
LL
2i+l ( 2 -j-l M i
)P
=
(2i-j)ap
M
IEijl
iEZjEl\!
As functions of j, 2(1-a)Jp is increasing and exp( C2~22 3) is decreasing. We estimate the last sum by an integral and successively set w = 22x and v = (C2M2/4K2)w to find "
=
2
2"
1
K 2) (1-a)p/2 °O _1_ ( _4__ v((1-a)p/2)-le- v dv 2 log 2 C2M2 C2M2 / K2
Substituting this last estimate back into the estimate for I gives
4.4 Application II. The Burkholder-Gundy -theorem
This gives that for any 0 < p <
00
131
and any 0 < a ::::: 1,
The last inequality already proves (4.4.6) with some constant C. To obtain the desired information on the constant, we estimate C(p, a, K, M). Assume first a = 1. We have
(4.4.10) Now, if we take M = C 3y'P and choose C 3 as to make the right hand side of (4.4.10) ~ (see the comments immediately after Lemma 4.0.2) we find that (4.4.11) Next, we check that for p ~ 2, we can take C 3 = C 4 independent of p and therefore (4.4.11) proves (4.4.6) with the correct behavior in C when a = 1. If 0< a < 1, we choose p large enough so that pa ~ 2 and obtain from (4.4.11) that (4.4.12) with C 4 depending only on
0:,
f3 and n. From this we find that
C 1 23p - ap KP22ap+12PCap( lM'i)a p 4 Y ap (1
) /2 C 2 -a p ap2log
2
2C1 (23-aK4aC:t)P r :::::(2log2)ap C~1-a)/2 2PCHy'P)P
r (AautPdx
JIRn
1
00
C2C~p/ K2
(1-
a
V
((1-a)p/2)-1
r
e
-v
d
v
1
(A
IRn
) ( lM'i)a p (A )ap d yap JIRn aU X+
-2- P
aU
)aPd
X
132
4. Sharp Good-A Inequalities for A and N
For fixed 0 < a < 1,
r
(1- a
-2- p
) lip ~ ~
(1 _a
) ';a
-2- P
,
as p ---> 00. Therefore if C(a, 0:,(3, n,p) denotes the constant on the right hand side of the last inequality we obtain
(C(a,o:,(3,n,p))l/p~ C;~;:,n(apt/2
I-a
C;a p)-2 +Cy'P
as p ---> 00 and we have proved (4.4.6) with the correct behavior of the constant in p. The fact that the behavior of the constants in (4.4.6) and (4.4.7) (for a = 1) cannot be better than y'P, as p ---> 00, follows from the fact that the behavior of the LP-constants for the Riesz transforms cannot be better than p, as p ---> 00. However, in the unit disc one can even obtain more information on these constants using the central limit theorem for lacunary series and computations similar to those in the proof of Theorem 3.0.6. For more on this, see [BM3], [Ba2] and [Mol]. Proof of Theorem 4.4.3.' Again, the proofs of (4.4.8) and (4.4.9) are the same so we just prove (4.4.8). Define the sets Eij as in the proof of Theorem 4.4.2 with M = 1. The good-A inequality, Theorem 4.1.1, implies
IEijl:::; cexP (-C'2 2j
)1 {x E]Rn: NfJu > ~} I,
where K is the constant appearing in that theorem. Thus,
:::; C
in
(NfJu)Pdx +
~
=
I
L L exp (Cl2;~~;~l)) 2(i+ l )PIE
ij l
iEZjEN
+ II.
i
II:::; Cp LLexp((16Cl - C')2 2j ) 2ip {x E]Rn: NfJu
>
~} I
tEZ JEN
:::; Cp
r (NfJu)Pdx,
J~n
if C 1 is chosen small enough relative to C'. This completes the proof of Theorem 4.4.3.
133
4.4 Application II. The Burkholder-Gundy -theorem
In the same way, the good-A inequalities for caloric functions, Theorems 4.1.4 and 4.2.10 give: Theorem 4.4.4 Suppose u is a caloric function in lR~+1 and 0 < (3 < any 0 < a S; 1 and 0 < p < 00,
PNfju I p S; CII(PA",u) a lip II (PA.u)1-a
Ct.
Then for
(4.4.13)
and (4.4.14)
with C and C f both Oa,,,,,fj,n(.jP) as p ~ and C4 such that
Ln
exp (C1
00.
Also, there are constants C1, C 2 , C3
(;~::) 2) (PNfju)Pdx S; C
2
Ln
(PNfju)Pdx
(4.4.15)
and (4.4.16) Once again, we could ask for more information than just the best order of magnitude in the above constants. Our methods above do not give any finer information. In this direction, let us consider the g*-function in the unit disc defined by (3.4.1). Since, as we showed in Section 3.4, this function is the conditional expectation of the martingale square function, Jensen's inequality and Davis' result, (4.4.5) above, give Theorem 4.4.5 Let a p and Ap be the constants in (4.4.5). Then:
For 2 S; p <
00,
(4.4.17)
and: For 1 < p S; 2, (4.4.18) The g*-function is not bounded on V for 1 < p < 2. However, since A",f(()) S; C",g*(f)(()), one does have Ilfllp S; Cpllg*(f)llp for 1 < p < 00. We do not know how to prove (4.4.18) with the Davis constant Ap for the full range 1 < p < 00. (Although, see Banuelos [Ba2] for the case p = 4.) The following problem is natural.
134
4. Sharp Good-A Inequalities for A and N
Problem 4.4.6 What are the best constants in the inequalities (4.4.17) and (4.4.18)?
The inequalities (4.4.17) and (4.4.18) also hold for the version of g* in ~n and even in more general settings. For a further probabilistic study of the g*-function, we refer the reader to P. A. Meyer [Mel], [Me2] and N. Th. Varopoulos [Va]. There are many other applications of the above good-A inequalities. Throughout, our good-A inequalities have been stated using Lebesgue measure, but it is possible to use these to produce good-A inequalities where Lebesgue measure is replaced by any measure satisfying an Aoo condition with respect to Lebesgue measure. This then produces weighted inequalities involving the nontangential maximal function and Lusin area function (Gundy and Wheeden [GW]). The subgaussian good-A inequalities also hold for vector valued martingales. These give information on the LP-constants for the vector of Riesz transforms; for this, see Banuelos [Bal]. Finally, there are also other directions and applications of the good-A inequalities. See, for example, Coifman and Fefferman [CF] or Torchinsky [To] for inequalities between singular integrals and maximal functions, and Burkholder [Bu2] for applications to one-sided nontangential maximal functions.
Chapter 5 Good- A Inequalities for the Density of the Area Integral In this section we will discuss the density of the area integral, also known as the Dfunctional. It is a harmonic analysis analogue of local time. We will consider what is known as the maximal density, and state and prove each of the four possible good-A inequalities involving the maximal density and either the nontangential maximal function or Lusin area function. We first wish to recall and amplify our discussion in the introduction. As we noted, in addition to X* and S(X), there is a third important random variable associated to a continuous martingale X t starting at O. This is defined by considering the measure f. L on JR given by f..L(E) = 00 XE(Xt)d(X)t where d(X)t is the Riemann-Stieltjes measure on [0,00) associated to the non-decreasing function (X}t. A theorem of P. Levy [Lei] asserts that f. L is absolutely continuous with respect to Lebesgue measure and we write L(a) for its density. The random variable L(a) is called the local time of the martingale and the random variable L* = sup{L(a); a E JR} is called the maximal local time. Note that by definition, 00 XE(Xt)d(X)t = IE L(a)da for every Borel set E ~ JR and from this it follows that for any nonnegative Borel function f on JR,
10
10
(5.0.1) If we take
f == 1 in (5.0.1) and note that L(a) = 0 if a rJ. [-X*,X*] we obtain: S(X)2
=
r d(X)t = 1-x· r L(a)da::; 2L*X*. 10 x'
00
(5.0.2) 1
1
We can use Cauchy-Schwarz to deduce that IIS(X)llp ::; J2IIL*IIJIIX*IIJ. This combined with the fact that IIS(X) lip ~ IIX* lip, 0 < p < 00, (the BurkholderGundy inequalities) shows that IIS(X)llp ::; CpIIL*llp, 0 < p < 00. The reverse inequality is more difficult and was shown by Barlow and Yor [BYl], [BY2]. In fact, even more is true. For each pair, L* and X*, and L* and S(X), there are two good-A inequalities relating the pair. The following theorem is due to Bass [BasI] and independently, to Davis [Dav2]. We remark that the statements of their results 135 R. Bañelos et al., Probabilistic Behavior of Harmonic Functions © Birkhäuser Verlag 1999
136
5. Good-A Inequalities for the Density of the Area Integral
are different than what appears here, but a careful analysis of their methods yields the sharp versions below. These together with the earlier good-oX inequalities of Burkholder and Gundy [BG1] give all six possible good-oX inequalities relating pairs chosen from X*, S(X), and L*. Theorem 5.0.1 There are constants C 1 and C 2 such that for all 0 < c < 1 and oX> 0,
> 2oX,
L* :<:; coX} :<:; C 1 exp (-~) P{X*
> oX}
(a)
P{X*
(b)
P{S(X»2oX, L*:<:;CoX}:<:;C1exp(-~)P{S(X»oX}
(c)
P{L*
> 2oX, X* :<:; coX} :<:; C 1 exp (-~) P{L* > oX}
(d)
P{L*
> 2oX,
S(X) :<:; coX} :<:; C 1 exp (-~) P{L*
> oX}.
Our immediate goal in this chapter is a version of Theorem 5.0.1 for harmonic functions. Surprisingly, even though L and L * had been studied extensively for a number of years, it was not until 1983 that R. Gundy [Gu1] proposed harmonic analysis analogues. Let u(x, t) be a harmonic function on lR++1 and for r E lR consider the subharmonic function (u(s, t) - r)+. Its distributional Laplacian is a nonnegative Radon measure on lR++1, which we denote by ~(u(s, t) - r)+(dsdt). We then define Dau(x; r)
=
f
Jra(x)
t 1-
n
~(u(s, t) -
r)+(dsdt)
(5.0.3)
and Dau(x)
= supDau(x;r). rEIR
Equivalently, we may define
where (J"r (dsdt) denotes surface measure on the set {( s, t) : u( s, t) = r}. Relatively simple computations using the coarea formula from geometric measure theory and the definition of distributional Laplacian show that for all x this definition of Dau(x; r) and the version in (5.0.3) agree for almost every r. (See Gundy [Gu2, p. 6], or Brossard [Br1, p. 299], for these arguments.) In [Br1], Brossard shows that in fact, these two versions agree for all r. This result is much !llore difficult. Dau(x;r) is called the density of the area integral and Dau(x) is (';dl('d the maximal density. The density of the area integral is the analogue of the local time of a martingale and the maximal density is the analogue of the maximal local time. These analogies are evident if we consider the "change of variables" formula of
5. Good->' Inequalities for the Density of the Area Integral
137
Gundy and Silverstein [GS]: If 'ljJ(s, t) is a nonnegative Borel function on JR.'~+1 and if f is a Borel function on JR., then
jJer
IR n+ 1 +
=
'ljJ(s, t)f(u(s, t))IVu(s, t)1 2 dsdt
rr JIR
JIRr't+1
(5.0.4)
'ljJ(s, t)f(r)D..(u(s, t) - r)+(dsdt)dr.
If we set 'ljJ(s,t) = t1-nXra(x)(s,t) then we obtain a formula analogous to the "occupation time formula" (see [RY, p. 209]) of (5.0.1). If, in addition, we set f == 1 we obtain:
r
Jra(x)
IVu(s, t)1 2 t 1- ndsdt =
Note that D..(u(s, t) - r)+ this last formula as
rr
JIRJra(x)
tl-nD..(u(s, t) - r)+(dsdt)dr.
= 0 on r a(X) unless r
:s: Nau(x).
We may then rewrite
(5.0.5) This is a perfect analogue of (5.0.2) and clearly justifies calling Dau(x; r) the "density of the area integral." Reasoning as in the probability case gives IIAauilp :s: CpllDaullp, 0 < p < 00. As before, the reverse inequality is more difficult. This was done by Gundy [Gu1] when n = 2 and by Gundy and Silverstein [GS] in higher dimensions; see also Gundy [Gu2]. The proof in Gundy [Gu1] uses the representation of the density as the conditional expectation of the local time of the martingale obtained by composing the harmonic function with Brownian motion. This representation, which we will not discuss in this monograph, has turned out to be very useful in the study of the D-functional. This point is certainly demonstrated in [Br], [BC1] and [BC2], for example. As in the case of martingales, more is true. For each pair, Dau and Nau, and Dau and Aau, there are two good->. inequalities relating the pair. These inequalities, first proved in Banuelos and Moore [BM4], provide the harmonic analysis analogue of the results of Bass and Davis. In Section 4.2 we proved a good->. inequality between Nau(x) and A,au(x) for a> (3. We did this in the more general setting of Lipschitz domains simply because it caused us no extra effort to do so and because our estimates then lead to LIL's. We do the same here. Recall our definitions: for P = (x, Y) E JR.~+l, we set r a(x, y) = r a(P) = {(s, t) : Ix-sl < a(t and define
yn
Nau(x, y) = Nau(P) = sup{lu(s, t)1 : (s, t) E r a(pn and
5. Good-A Inequalities for the Density of the Area Integral
138
Likewise, we will now define
Dau((x, y); r) = Dau(P; r) =
r
JraCP)
(t - y?-n f},(u(s, t) - r)+(dsdt)
(5.0.6)
and
DaU(X,y) = Dau(P) = supDau(P;r). rEIR
The following is the analogue for harmonic functions of (a) and (b) in Theorem 5.0.1. ------; IR be a Lipschitz function and let D = {(x,y) : x E IR n , y E 1R, y > ¢(x)}. Suppose u is harmonic in D and 0 < (3 < a < where M is the Lipschitz constant of ¢. There are constants K 1 , K 2 , G1 , G2 , G3 and G4 , with K1 and K2 > 1 and all depending only on a, (3, nand M, such that if A > 0, 0 < E < 1 then
Theorem 5.0.2 Let ¢ : IR n
(a)
I{x
E
ir
IR n : N(3u(x,¢(x)) > K 1 A, Dau(x,¢(x)) :::; EA}I :::; G1 exp ( -
(b)
~2)
I{x E IRn
:
N(3u(x, ¢(x)) > A}I
I{x E IRn : A(3u(x, ¢(x)) > K 2 A, Dau(x, ¢(x)) :::; EA}I :::; G3 exp ( -
~; )
I{x E IRn
:
A(3u(x, ¢(x)) > A}I.
Note that (b) involves a subgaussian estimate. Just as before, this estimate will lead to an LIL. The estimate in (a) is not of subgaussian type, however, as we will later show, it is, in some sense, the sharpest possible. (This will be made precise.) The inequality in (b) is in this same sense the sharpest possible. All of this will be discussed in the third section of this chapter. Our second theorem is similar to Theorem 5.0.2 but with the roles of the functions reversed. For this theorem it will be necessary to work with "smoother" versions of the density and maximal density. Let cp(x) be a smooth, positive, radially symmetric function supported on a ball B(O, (3). Then set
Du(x; r) =
r
JIR"j+l
tCPt(x - s)f},(u(s, t) - r)+(dsdt)
Du(x) = supDu(x;r)
r E IR (5.0.7)
rEIR
where, as usual, we have set CPt(x) = t~CP (~). Both Du(x;r) and Du(x) depend on the choice of cP and this should probably be indicated by a notation such as D
5. GOOd-A Inequalities for the Density of the Area Integral
139
discussion of the following theorem, Theorem 5.0.3, and simply write Du(x; r) and Du(x). In practice, versions (5.0.7) and (5.0.3) behave similarly since given any (3 > 0 and any 0 < p < (3 we can always find a Coo function 0, 0 < C < 1,
(a)
if (3 < a then
I{x
E]Rn :
Du(x) > K 1 A, Nau(x) ~ cA}1
~ C 1 exp ( - ~2 ) (b)
if (3
I{x
E ]Rn :
Du(x) > All,
< (2048n)-l a then I{x
E ]Rn :
Du(x) > K 2 A, Aau(x)
~
cA}1
~ C 3 exp (- ~:) I{x E]Rn : Du(x) > A}I. The unfortunate aspect of (b) is the restriction on (3 and a. This result should no doubt be true only under the assumption (3 < a, but we have been unable to prove it and we leave it as an open question. If we assume only that (3 < a, then in Banuelos and Moore [BM4], it is shown that (b) holds with the expression C 3 exp (-~) replacing the expression C3 exp (-~). In fact, this is shown in the more general setting of Lipschitz domains. The proof uses the representation of the density function in terms of the conditional expectation of the local time and the results of Barlow and Yor. Also [BM4] contains a different proof of a version of (b) which has as hypothesis (3 < a. However, the conclusion ofthis result is merely the same good-A inequality with the expression C3 exp( - gCf;3) replacing the expression Furthermore, the proof does not seem to be adaptable to the setting C3 exp ( of Lipschitz domains. In keeping with the general theme of this monograph, we find it more desirable to prove a subgaussian estimate like Theorem 5.0.3(b) rather than these other results, despite the annoying and probably unnecessary restriction on (3 and a. Another advantage of Theorem 5.0.3(b) as written is that it is in some sense the sharpest attainable. This will be made precise and discussed later in the third section of this chapter. Theorems 5.0.3(a) and (b) as written should probably be true in the setting of Lipschitz domains, but our proofs do not seem to be adaptable to that situation. We leave this as another open problem.
*).
140
5. Good-A Inequalities for the Density of the Area Integral
This chapter will be divided into 4 sections. In Section 5.1 we prove Theorem 5.0.2 and in Section 5.2 we will prove Theorem 5.0.3. In Section 5.3 we will show some corollaries, show the sharpness of our results and present some further discussion. Finally, in Section 5.4 we present an application of the techniques of sections Section 5.1 and Section 5.2 to the study of the space L log L within Hl. These results of Brossard and Chevalier [BC2] further reinforce the notion of the D- functional as an analogue oflocal time. Much of this chapter, in particular, Theorems 5.0.2 and 5.0.3(a) is taken from Banuelos and Moore [BM4], which in turn, is based on earlier work of Gundy and Silverstein [GS] (see also Gundy [Gu2]). The proof of Theorem 5.0.3(b) is from [M02].
5.1
Sharp control of A and N by D
Our proof of Theorem 5.0.2 follows exactly the strategy of Section 4.2; in both (a) and (b) we will build a "sawtooth" region over {x E ~n : Dau(x, ¢(x)) > c'\}. That is, we set E = {x E ~n : Dau(x, ¢(x)) > c'\} and D' = UXEEc f a(x, ¢(x)). Then aD' is the graph of a Lipschitz function, call it 1jJ(x). For Theorem 5.0.2(a) we will estimate IIN,au(x,1jJ(x))IIBMO and for Theorem 5.0.2(b) we will estimate IIA~u(x,1jJ(x))IIBMO. In both cases these BMO estimates will be obtained as in Section 4.2; for each cube Q ~ aD' we will form an auxiliary domain n above Q and consider the contributions to either N,au(x,1jJ(x)) or A~u(x, 1jJ(x)) from both the part of the cones f,a(x,1jJ(x)) inside n (the part "close by Q") and the part outside n (the part "far away from Q"). Exactly as in Section 4.2, the "close by Q" part will be estimated using Green's theorem arguments on n and the "far away" part will be controlled using gradient estimates. With these BMO estimates in hand, the good-'\ inequalities will follow exactly as in Section 4.2. To get this program under way, we first show a lemma that provides the necessary gradient estimates to control boundary terms and other errors that will arise in our approximations. This is an analogue for the D-functional of the gradient estimates of Lemma 2.3.1 and will be just as indispensable. Unfortunately, its proof is somewhat longer.
Lemma 5.1.1 Suppose a > f. There is a constant C, depending only on a, 'Y and n such that ifu is harmonic on fa(x) and if (s,t) E f,(x) then
tIV'u(s, t)1 :::; CDau(x). Proof: Fix (8, t) = Po E f,(x). We may assume that u(Po) = 0; otherwise consider u - u(Po). Choose 10 > 0 so that B(Po, 4/0) ~ f a(X); if '0 is chosen as large as possible then '0 ~ Ct where C depends only on a and 'Y. For j = 1,2,3,4 set B j = B(Po,j,o) and set M j = sup{lu(z,y)1 : (z,y) E B j }. By the subharmonicity of IV'ul and the Gundy-Silverstein formula (5.0.4) we have:
t2IV'u(8,t)12:::; C
r IV'u(z,y)1 yl-ndzdy
lE2
2
5.1 Sharp control of A and N by D
-s.CJ M 2
{
-M2 JB2
141
~(u(z,y)-r)+yl-ndzdydr
-s. CM2 Da u (X). Thus, (5.1.1) using similar reasoning we can also conclude that if (z, y) E B2 then YIV'u(z, y)1 -s. C.;M3JD a u(x). Since u(s, t) = 0 and for (z, y) E B 2, Y ~ 2Cro, it then follows that (5.1.2) Now consider B4 and apply Green's theorem to lu(P)-rl, P E B 4, r E lR and G(P,Po) = IP - pol1-n - (4ro)1-n. Technically, we must approximate lu(P) - rl by smooth functions of u(P) - r and then take limits. To do this, we consider a Coo function a(r) which has fIR a(r)dr = 2, a( -r) = a(r), supp a ~ [-c:, c:] and set a,,(r) = ~a(~). Let b,,(r) be smooth functions satisfying b~(r) = a,,(r) and b,,(O) = b~(O) = O. Then b,,(r) i Irl as c: ! O. We now apply Green's theorem. We
remark that here we are using essentially the same argument as in the proof of the mean value property, Theorem 1.1.3. We obtain:
{
JB4
~(b,,(u(P)-r))G(P,Po)dP=
C:ro JaB4 ( b,,(u(P)-r))d(J(P)-C~b,,(u(Po)-r).
However, by assumption, u(Po) = o. Also, ~(b,,(u(P)-r)) = a,,(u(P)-r)IV'u(P)12, so that by the formula of Gundy and Silverstein, (5.0.4), this last equation becomes:
( a,,(s) {
JIR
JB4
~(u(P) -
r - s)+G(P, Po)dPds =
C:ro JaB4 ( be(u(P) - r))d(J(p) - C~be(-r).
The arguments in Brossard [Brl, Lemma 2] show that as a function of r, fB4 ~(u(P) - r)+G(P, Po)dP is continuous. We then let c: --t 0 in the above expression to obtain:
2 {
JB4
~(u(P) -
r)+G(P, Po)dP
=
C: (
ro JaB4
lu(P) - r)ld(J(P) -
C~lrl.
We remark that since ~lu(P) - rl = 2~(u(P) - r)+ this last equation is exactly what we would have obtained had we formally applied Green's theorem to lu(P)-rl and G(P, Po) on B 4. (See Gundy [Gul], [Gu2], or Gundy and Silverstein [GS] for similar applications of Green's theorem.) Rearranging this last equation gives: (5.1.3)
5. GOOd-A Inequalities for the Density of the Area Integral
142
[
lB4
~(u(P) -
r)+G(P, Po)dP
S [
~(u(P) -
r)+G(P, Po)dP +
S [
~(u(P) -
r)+G(P, Po)dP + C [
S [
~(u(P) -
r)+G(P, Po)dP + CDo:u(x).
lBI
l~ lBI
[
lB4\BI
~(u(P) -
l~\~
r)+
~(u(P) -
~l
ro
dP
r)+ pi- n dP
This and (5.1.3) gives:
~ [ lulda S ro laB4 Choosing r
Clrl + [ ~(u(P) lBI
r)+G(P,Po) dP
(5.1.4)
+ CDo:u(x).
= M2 in (5.1.4) yields: (5.1.5)
;f;
Simple estimates for the Poisson kernel show that for P E B 3 , lu(P)1 J8B4 lulda. This and (5.1.5) show that:
s
(5.1.6) Substituting (5.1.6) into (5.1.2) we have
Consequently, M2 S CDo:u(x) and this and (5.1.1) complete the proof of the lemma. In Section 4.2, it was necessary to compare A,eu(x, Yl) and A,eu(x, Y2) for Y2 > Yl; this was done in Lemma 4.2.9. Here it will be necessary to compare Do:u(x, Yl) and Do:u(x, Y2) for Y2 > Yl· For n = 1 it is clear that Do:u(x, Y2) S Do:u(x, Yl), but for n ;::: 2 this is no longer obvious. The following lemma will allow us to make the necessary comparisons. However, it will be necessary to.show this in greater generality than we did when we showed the corresponding lemma for area functions. Nevertheless, the proof of this lemma for the D-functional will be essentially the same as the proof of Lemma 4.2.9. Let r(p) be a cone in lR~+1, either infinite or truncated, with vertex P. We do not assume r(p) has axis parallel to {(O,y) : Y > O}.
5.1 Sharp control of A and N by D
143
For u harmonic on r(p) we define Du(P;r)
=
Du(P)
=
r
ir(p)
d((s,t),p)l-nA(u(s,t) -r)+(dsdt)
(5.1.7)
supDu(P;r). rEIR
Note that if r(p) = r",(x,y), then Du(P;r) as defined in (5.1.7) and D",u((x,y);r) as defined in (5.0.6) are equivalent up to constants depending on a and n. Lemma 5.1.2 Suppose u is harmonic on r",(x,y), a> p and r(p) ~ rp(x,y). Then Du(P) ~ LD",u(x, y), where L is a constant which depends only on a, p and
n. Proof: First we note that there exists a constant Co, depending only on a and p such that B(P, 2Cod(P, (x, y))) ~ rp(x, y) where p = For j = 1,2, set B j = B(P, jCod(P, (x, y))). . If (s, t) E r(p)\B l then d((s, t), (x, y)) ~ (1 + 0 )d((s, t), P) so that
Pt"'.
6
r
ir(p)\Bl ~ ( ~
d((s,t), p)l-nA(u(s,t) -r)+(dsdt)
1 l+C
)l-ni
o
d((s,t), (x,y))l-nA(u(s,t)-r)+(dsdt)
(5.1.8)
r(p)\Bl
CD",u(x, y).
Let G(Q, P), Q, P E lR.n + l be the Green's function for B2 with pole at P. Then for (s, t) E r(p) n B l , d((s, t), p)l-n ~ G((s, t), P). This and Green's theorem then yields:
r
d((s,t), p)l-nA(u(s,t) -r)+(dsdt)
ircP)nBl
~C
r
iB2
G((s,t),P)A(u(s,t)-r)+dsdt
= CJ(ffB2 )
(5.1.9)
kB2 ((u(s, t) - r)+ - (u(P) - r)+)dCJ(s, t).
Here we note that technically, to apply Green's theorem we must approximate u(s, t) - r by a smooth function of u(s, t), then apply Green's theorem, and then pass to a limit. The details of this argument are exactly the same as in a similar application of Green's theorem in the proof of Lemma 5.1.1. As in that case, we ultimately obtain the same formula we would have obtained had we formally applied Green's theorem.
5. Good-A Inequalities for the Density of the Area Integral
144
Now B2 <::;; rp(x, y) so by Lemma 5.1.1, (t - y)I'Vu(s, t)1 :::; CDau(x, y) whenever (s, t) E B 2. Since the radius of B2 = 2Cod(P, (x, V)) :::; C(t - y) whenever (s, t) E B 2 , (5.1.9) implies
r
Jr(p)nB l
d((s, t), p)l-n ~(u(s, t) - r)+(dsdt) ::; CDau(x, V).
(5.1.10)
The lemma then follows from (5.1.8) and (5.1.10). We now consider a Lipschitz domain D = ((x,y) : y > 7jJ(x)} where 7jJ is a Lipschitz function. As before, we call Q <::;; aD a cube if Q = {(x,7jJ(x)) : x E Q'} where Q' <::;; ]Rn is a cube. We now fix such a cube Q. We also fix (Y > /3 and set "(' = 2ai{3, "( = ai2{3 so that (Y > "(' > "( > /3, and assume that there exists an (Y' > (Y so that r a' (P) <::;; D for every P E aD. Above Q we construct a domain D as before (section 4.2):
D=
(u
r,,(p)) n {(x,y) : y < 7jJ(xo)
+ 2RC(Q' )} ,
PEQ
where Xo is the center of Q' and R depends only on (Y, /3 and the Lipschitz constant of 7jJ. The domain D is starlike with respect to the point P* = (xo, 7jJ(xo) + RC( QI)). (See Section 4.2; the notation here is unchanged from that section.) As before, for each P E Q we have r{3(p) = r1(p) U r 2 (p), a disjoint union, where r1(p) = r{3(p) n {(s, t) : t < 7jJ(xo) + RC(Q')}. We define A1u and A 2 u as before, that is, Al u(P) is defined using the usual definition of A{3u but with the integration taken only over r1(p) and similarly for A 2 u(P). Likewise we define N1u(P) and N 2 u(P).
Recall that for each P E aD there is a cone r(p) with vertex at P, height h = IP - P* I and vertical axis P P* which is contained in D. These cones have aperture K,(P) ::::: K,o where K,o is a constant depending only on (Y, /3, n and the Lipschitz constant of 7jJ. Furthermore, we choose K,(P) so that for some r > 1 (depending only on (Y, /3, n and the Lipschitz constant of 7jJ), the cone with slightly larger aperture rK,(P) is also contained in D. For P E Q ~ aD we may take these cones to have aperture "( and we recall that R is chosen so that for such P E Q, r1(p) ~ r(p) ~ r,"(p) where "(" = J~l'. Lemma5.1.3 Suppose Dau(x, 7jJ(x)) ::; 1 for every x E ]Rn. SupposeQ = {(x,7jJ(x)): x E Q'} ~ aD is a cube and D and P* E D are associated to Q as in the preced-
ing discussion. There is a constant C, depending only on constant of 7jJ, such that (a)
IJ'I
1Q , Aiu(x, 7jJ(x))dx ::; C and
(b)
IJ'I
1Q , N1U(X, 7jJ(x))dx :::; C whenever u(P*) =
o.
(Y,
/3, n and the Lipschitz
5.1 Sharp control of A and N by D
145
Proof: For P E 80 we define Du(P), Au(P) and Nu(P) using the cones f(P): the 1
function Du(P) was defined in (5.1.7), Au(P) = (Ir(p) IVu(S)1 2 d(S, p)l-n dS )
'2
and Nu(P) = sup{lu(S)I: S E f(P)}. Lemma 5.1.2 and our construction of 0 implies that Du(P) :::; C for every P E 80. Assume u(P*) = O. Then by (5.0.5), 1
r
1
2
r
0-(80) Jan Au(P) dCJ(P) :::; C CJ(80) Jan Nu(P)dCJ(P) :::; C :::; C
(o-(~O) lan NU(P)2 dCJ (P)) (CJ(~O) lan AU(P)2 dCJ (P))
1
'2 1
'2 ,
where the last inequality is from Dahlberg [Da2]. Thus, 1
r
2
CJ(80) Jan Au(P) do-(P) :::; C.
(5.1.11)
Since f(P) ~ fl(P) whenever P E Q, CJ(80) ,::;; IQ'I, and 'IjJ is Lipschitz, (5.1.11) implies the conclusion (a) under the assumption u(P*) = O. But since both Al u(P) and Dau(x, 'IjJ(x)) are unchanged if we alter u by a constant, (a) remains valid without the assumption u(P*) = 0 and (a) is proved. To show (b) we again assume that u(P*) = 0 and note that the aforementioned result of Dahlberg and (5.1.11) imply a(~n) fan NIU(p)2dCJ(P) :::; C. Again, since fl(P) <;;; f(P) for every P E Q, CJ(80) ,::;; IQ'I, and'IjJ is Lipschitz, we obtain (b ). The following proposition, together with Lemma 4.2.3, will again provide the necessary analogue of the Key Estimates 4.0.8 and 4.0.9. This should be compared to Propositions 4.2.8 and Propositions 5.1.8 and 5.2.5 which follow below.
Suppose 0: > (3 and u is harmonic on the unbounded Lipschitz domain D = {(x,y) : x E JR. n , y E JR., y > 'IjJ(x)}. Suppose that for every P E 8D, Dau(P) :::; 1 and that there exists Po E 8D such that A{3u(Po) < 00. Then IIA~u(x, 'IjJ(x))IIBMO :::; c, where C depends only on 0:, (3, n and the Lipschitz constant of 'IjJ.
Proposition 5.1.4
Proof: Fix a cube Q = {(x, 'IjJ(x)) : x E Q'} <;;; 8D and consider Alu and A 2u corresponding to this Q. Lemma 5.1.1 and Lemma 4.2.7 imply (5.1.12) whenever give:
Xl, X2 E
Q'. Let
Xo
be the center of Q. Then (5.1.12) and Lemma 5.1.3(a)
146
5. Good-A Inequalities for the Density ofthe Area Integral
:::;
I~'I
k,
Afu(x,7/J(x))dx +
I~'I
k, IA~u(x,7/J(x))
-
A~u(xo,7/J(xo))ldx:::; e
which completes the proof of the proposition. This proposition will almost immediately imply the good->. inequality in Theorem 5.0.2(b). Before doing this, however, we first would like to show an analogous proposition for N[3u(x,7/J(x)). To do this we will need a few lemmas. The first of these resembles Lemma 4.2.7 which was the analogous lemma for A 2 u. Lemma 5.1.5 Suppose u is harmonic on the unbounded Lipschitz domain D = {(x, y) : y > 7/J(x)} and that additionally, dist(P, aD) lV'u(P) I :::; 1 for every P E D. Suppose Q = {(x,7/J(x)) : x E Q'} ~ aD is a cube and N2U is associated to Q as defined above. If there exists a Po E aD such that N[3(Po) < 00, then for every
P 1 ,P2 E Q,
IN2u(P1) - N2u(P2)I :::;
e
IP1 - P21 £(Q') .
Here the constant e depends only on (3, n and the Lipschitz constant of 7/J. Proof: Set P1 = (x1,7/J(xd), P2 = (X2,7/J(X2)). Suppose (Sl,t1) E r 2(X1,7/J(xd). Simple computations then show that if we define (S2, t2) = (Sl +X2 -xl, max{t1 + 7/J(X2) -7/J(xd, td) then (S2, t2) E r 2(X2, 7/J(X2)). Note that if P = (s, t) has sEQ' and t > 7/J(xo) + m(Q') then dist(P,aD) ?: e£(Q'). Thus, IU(Sl, t2) - U(S2, t2)1 :::; I(sl, t1) - (S2, t2)1 sup{lV'u(P)I : P E (Sl, h)(S2, t2)}
< eIF1 - P2 1 -
£(Q').
Thus, N 2u(Pd :::; e 1~(Q~21 +N2u(P2). Note that N[3u(Po) < 00 and a similar computation involving the sup of lui over a top part of r [3 (Po) shows that N 2u(P) < 00 for every P E aD. The lemma then follows. The next lemma is a simple result whose usefulness will soon become apparent. Lemma 5.1.6 Suppose f and 9 are real valued functions defined on a cube Q and suppose a, bE R Then for every >. > 0,
{x E Q: Imax{f(x),g(x)} -max{a,b}1 > >.} ~ {x E Q : If(x) - al > >.} U {x E Q : Ig(x) - bl > >.}. Proof: We can assume a > b. Then {XEQ: Imax{f(x),g(x)}-al >>.} ~{x E Q : f(x) ?: g(x), If(x) - al > ,x}
~ ]R.n
5.1 Sharp control of A and N by D
147
U {x E Q : f(x) < g(x), g(x) - a> A} U {x E Q : f(x) < g(x), g(x) - a < -A} ~{x E Q : f(x) ~ g(x), If(x) - al > A} U {x E Q : g(x) - b > A} U {x E Q : f(x) - a < -A} ~{x E Q : If(x) - al > A} U {x E Q : Ig(x) - bl > A}. Lemma 5.1.6 immediately implies:
Lemma 5.1.7 Suppose f and 9 are real valued measurable functions defined on a cube Q ~ ~n and suppose a, b E ~. If
k I~I k
I~I and
If(x) - aldx:<:::; C,
Ig(x) - bldx:<:::; C
then
I~I
k
I max{J(x), g(x)} - max{a,b}ldx:<:::; 2C.
Once again, we have the Key Estimate in the following: Proposition 5.1.8 Suppose a > {3 and U is harmonic on the unbounded Lipschitz domain D = {(x, y) : x E ~n, y E ~, Y > 1P(x)}. Suppose that for every P E aD, Dau(P) :<: :; 1 and that there exists Po E aD such that N{3u(Po) < 00. Then IIN{3u(x, 1P(x))IIBMO :<: :; C, where C depends only on a, {3, n and the Lipschitz constant of 1P.
Proof: Fix a cube Q = {(x, 1P(x)) : x E Q/} ~ aD and consider Nl U and N 2 u corresponding to this Q. Lemma 5.1.3(b) implies that if we set v = U - u(P*), then Ibl JQ N 1 v(x,1P(x))dx:<:::; C. But IN1 u(x,1P(x)) -lu(P*)II:<:::; N 1 v(x,1P(x)) by the triangle inequality so consequently,
I~I
k
IN1 u(x,1P(x)) -lu(P*)lldx:S C.
Lemmas 5.1.1 and 5.1.5 imply
where, as before, Xo denotes the center of Q'. The proposition then follows immediately from Lemma 5.1.7.
148
5. Good-A Inequalities for the Density of the Area Integral
Finally we conclude this section with the proof of Theorem 5.0.2. The proofs of (a) and (b) are essentially the same; we will do (a) and leave (b) to the reader. In fact, these follow exactly the proof of the good-A inequality of Theorem 4.2.1; because of this, we will be brief. To prove Theorem 5.0.2(a), fix c, A. We may assume O"{P E aD : Nf3U(P) > A} < 00. Let E = {P E aD : Dau(P) > cA} and set D' = UPEEc r a(P). We may also assume E C =I- 0 so that then D' =I- 0. Then D' is a Lipschitz domain with constant determined by O!, say D' = {(x,y) : y > 7{i (x)} , where 7{i is Lipschitz. By Lemma 5.1.2 and Proposition 5.1.8, IINf3u(x, 7{i(x))IIBMO :::; GcA, and thus, by Lemma 4.2.3, for all TJ > 0, I{x E lRn : Nf3u(x, 7{i(x)) > 2TJ}1
(-~;TJ)
:::; G1 exp
In particular, this holds with
I{x E lR n
:
Nf3u(x,7{i(x)) > TJ}I.
TJ = A so that then:
O"{P E aD: Nf3u(P) > 2A, Dau(P) :::; cA}
= o-{P
E EC
:::; CI{x E lRn
N{3u(P) > 2A}
:
:
N{3u(x,7{i(x)) > 2A}1
:::; G1 exp (- ~2) I{x E lRn :::; G1 exp ( -
5.2
:
Nf3u(x, 7{i(x))
~2) O"{P E aD : Nf3U(P)
> A}I
> A}.
Sharp control of D by A and N
In this section we will prove the good-A inequalities in Theorem 5.0.3. The proof of this theorem has ideas in common with the proof of the good-A inequalities in Theorem 5.0.2, and the proofs of several of our other theorems. We will still use gradient estimates to estimate contributions from the "far away" parts of cones. For part (a) we will use Green's theorem to estimate the contributions from the "close by" parts of cones and for part (b) we will estimate these "close by" parts using "invariance principle" techniques similar to those used in the proof of Lemma 4.1.3. The problem is that these arguments readily produce estimates for Du(x; r) for each fixed r, but what we want, of course, is an estimate for Du(x) = sUPrEIR Du(x; r). This will make our task more difficult as we will need to estimate Du(x; r) as both x and r vary. We recall that in Theorem 5.0.3 we are considering the "smoother" versions of the density and maximal density given by (5.0.7). Throughout the course of the proof, we will need to consider various versions of these defined on sub domains
5.2 Sharp control of D by A and N
of lR~+l. For k > 0 and a sub domain n
D~u(x;r)= D~u(x)
=
r
c
lR~+l, we set
tCPt(x-s)t!.(u(s,t)-r)+(dsdt)
inn {t<:;.k}
149
rElR
(5.2.1)
supD~u(x; r). rEIR
If n = lR~+l we will drop the subscript n, and likewise if k = 00 we will not write it. With D~u(x; r) as in (5.2.1) set D~u(x; r) = Dnu(x; r) - D~u(x; r) and D~u(x) = sUPrEIR D~u(x; r). These are the contributions to Dnu(x; r) and Dnu(x) from the "top" part of the cone. Of course, they depend on the choice of k, but to avoid cumbersome notation we will not decorate these with a k. Besides, we will use this notation sparingly and the k will always be clear from the context. Our first lemma shows for the D-functional what Lemma 4.2.7 shows for the area function and Lemma 5.1.5 shows for the nontangential maximal function.
Lemma 5.2.1 Suppose n c lR~+l is a subdomain, k > 0 and D~u(x; r) and D~u(x) are defined as above. Suppose also tlV'u(s, t)1 ::; 1 for every (s, t) E where ::J n is a domain which has the property that there exists a Co > 0 such that ((v,w) : dist((v,w),n) < Cow} c Then there exists a constant C = C(Co, n) such that if x, y E lRn ,
n
n
n.
(a)
ID~u(x; a) - D~u(y; a)1 ::;
(b)
ID~u(x) - D~u(y)1 ::;
Clxk-yl,
a E lR
Clxk-yl
Proof: Fix x, y E lR n and set
We recall that supp cP
R
= (r{3(x) u r{3(Y)) n n n {t 2: k}.
c::;;;
B(O, (3). Then
ID~(x; a) - D~ (y; a)1 =
Il
t(cpt(x - s) - CPt(Y - s))t!.(u(s, t) - a)+(dsdt)
::; Clx -
I
yll Cnt!.(u(s, t) - a)+(dsdt).
!.
We may assume that Co < Then we can find a Coo function ¢(s, t) such that o ::; ¢(s, t) ::; 1 for all (s, t) E lR~+l, ¢(s, t) = 1 on R, supp ¢ c::;;; {(v, w) : dist((v,w),R) < Cow} c::;;; and 1V'¢(s,t)l::; Note that for t < (1- Co)k, I{s : (s, t) E supp¢}1 = 0 and for t 2: (1- Co)k,
n
f.
I{s: (s, t) E supp¢}1 ::; I{s: dist((s,t),r{3(x)) < Cot}1
+ I{s: dist((s,t),r{3(Y))::; Cot}l::; Ctn.
5. Good-A Inequalities for the Density of the Area Integral
150
Therefore,
r rn~(U(s,t)-a)+dsdt::;J
In
: ; oj
: ; 01 : ; 01
rn¢(s,t)~(u(s,t)-a)+dsdt
supp¢
(t-nIV¢(s,t)1 +rn-I¢(S,t)) IVu(s,t)ldsdt
supp¢
r n - 2 dsdt
supp¢
o
00
r
n - 2 1{s:
(s,t) E supp¢}ldt
(I-Ca)k
::; k' Then (a) follows; (b) follows by taking supremums. For certain subdomains W ~ ~~+1 we will need to create a slightly different version of D{vu(x; r) which approximates it, but is easier to estimate. This new version will be obtained from D{vu(x; r) via numerous integrations by parts. So at this point it is convenient to state and prove a technical lemma that will allow us to control the boundary terms that arise from these integrations by parts. Lemma 5.2.2 Suppose (3 < /, E ~ ~n and W = UXEE f /,(x). Suppose also that p is a function supported on B(O, (3). Let h > and set f(x) = f~(x) n W. There is a constant 0, depending only on (3, /, n such that for x E ~n,
°
r
I Jar(x) rnp
(~) du(s, t)1 t
Here u denotes surface measure on
::; Ollplloo.
of (x).
Proof: Clearly 8r(x) ~ {(s, h) : Ix - sl ::; (3h} U(r f3(x) noW) U{ (s, t) : Ix - sl = (3t}. Since p is supported on B(O, (3), the integral of Pt(x-s) vanishes on the third set. The integral of Pt(x - s) over the first set is clearly bounded by Ilplloo. To control the integral over the second set we note that since oW is the graph of a Lipschitz function with Lipschitz constant ~, elementary geometric arguments show that u(f f3(x) noW) ::; O(inf{ t : (s, t) E r f3(x) noW})n where 0 depends on 'Y, (3 and n. Then,
r rnp (~) du(s, t)1 I Jrf3(x)naw t ::; Ilplloou(f f3(x) n W) (inf{ t : (s, t) E f f3(x) n W} )-n ::; Ollplloo , which finishes the proof of the lemma.
5.2 Sharp control of D by A and N
151
Now consider a set E ~ IR n , suppose a> "/ > {3 and set W = UXEE f '"'((x). For h > 0 consider D{Vu(x; r) and D{Vu(x) as defined in (5.2.1), set W' = UXEE f ",(x) and define N~hw'u(x) = sup{lu(s, t)1 : (s, t) E f;h(x) n W'}. We now create a new version of D{V'u( x; r) which approximates it. Lemma 5.2.3 With the notation as in the previous paragraph, there exists a vector
valued function (x) = (l(X), ... ,n+1(x)), with the following properties: (a)
Each i(X) is supported on B(O,{3), has mean value zero, and is smooth.
(b)
If we set
J
D{Vu(x;a)=
t(x-s)·V(u(s,t)-a)+dsdt
r3(x)nw then for
lal ::; N~~w'u(x)
we have
ID~u(x; a) - D~u(x; a)1 ::; CN~~wlu(x). Here C depends only on a, ,,/, {3, n and our original choice of cp. Proof: For typographical convenience, we will write f(x) for f~(x)nW throughout this proof. Then by the divergence theorem,
D~u(x; r) = =
1
-1
r(x)
tCPt(X -
r(x)
+
r
s)~(u(s, t) -
a)+dsdt
V (tCPt(x - s))· V(u(s, t) - a)+dsdt
Jaqx)
tCPt(X-S):! (u(s,t)-a)+d(](s,t) un
= I + II. Here there are several technicalities in this application of the divergence theorem, since neither the functions involved nor the regions involved are smooth. To overcome these, we first note that the region f(x) is of the kind considered by Stein [St4, p. 206]. Stein shows that there exist smooth regions V8 such that V8 ~ f(x) for every 8> 0 and V6 f(x) as 8 ! O. We may then apply the divergence theorem on each V6 as before. (See the proofs of Lemmas 5.1.1 and 5.1.2.) That is, we apply the divergence theorem to smooth approximations of (u(s, t) - a)+ and then take limits. We actually then obtain a similar formula on each V6 and subsequently let
r
8! O.
To estimate II, note that for (s, t) E 8f(x), It tn (u( s, t) - a)+ I ::; tIVu(s, t) I ::; CN~~wlu(x) where the last inequality is essentially just Lemma 2.3.1. (Lemma
152
5. Good-A Inequalities for the Density of the Area Integral
2.3.1 does not apply directly, but simply note that in this situation, there exists a constant Co, depending only on a,{3,"(, such that if (s,t) E af(x), then B((s, t), Cot) <;;; f;h(x) n W'. This was the essential ingredient in the proof of Lemma 2.3.1. That proof can now be readily adapted to the present case.) Then
by Lemma 5.2.2. Also,
r -r
t ~
-r
1=-
Jr(x)
Jr(x)
Jr(x)
V's(t
ut
s)~ (u(s, t) ut
s)~ (u(s,t) ut
a)+dsdt
- a)+dsdt
= Ia +h +Ic. For i
= 1, ... ,n set ki(s) = Si
Then by the divergence theorem we have:
If
lal :::; N~hwlu(x) then by Lemma 5.2.2, ,
where C depends on a, {3, ,,(, n and our original choice of <po We now set
5.2 Sharp control of D by A and N
=
r
Jr(x)
153
-{Vs(tipt(x - s))· Vs(u(s, t) - a)+ - taa 'Pt(x - s)aa (u(x, t) - a)+ t t
}
a
n
- t;(kiMx - s) aS i (u(s, t) - a)+ dsdt. The above computations show that for lal ~ N~hWlu(x), ID{Vu(x; a) - D{Vu(x; a)1 ~ CN~~wlu(x). Elementary computations with'the chain rule show that if we set
then we may write D{Vu(x; a) more succinctly as:
J
D{Vu(x;a) =
IPt(x-s)·V(u(s,t)-a)+dsdt.
r(x)
The proof of the lemma is finished if we note that since 'P is radially symmetric, then each of the coordinate functions of IP has mean value zero on JRn. We now show a lemma that will allow us to estimate D{Vu(x; a) as both x and a vary. We first make a definition. For i5 w u(x; a) as defined in Lemma 5.2.3, I ~ JR, and 1 ~ p < 00 we set
Br(x) =
(11 I r r
i5{Vu(x; a) - ~(Vu(x; b) I dadb) la - bl 2 P
1
P
(5.2.2)
The following is an almost immediate consequence of a lemma of Garsia, Rodemich and Rumsey [GRR]. (See Gundy and Silverstein [GS] for a short discussion of the application of the Garsia, Rodemich, Rumsey lemma to the study of the Dfunctional. See also Barlow and Yor [BY2] for more on the use of this lemma.) Lemma 5.2.4 With the notation as in Lemma 5.2.3, suppose I = [e, d] ~ JR and Br(x) is as in (5.2.2). Suppose Q ~ JRn is a cube and that for some p > 4, Ihl i Q 1i5{Vu(x; a) - i5{Vu(x; b)IPdx < Cia - bl ~ where C is a constant indepen-
dent of a and b. Then for almost every x E Q, sup ID{Vu(x; a)1 ~ 8(4~)III!-% Br(x) aEr
+ CN~hWlu(x) + 1i5{Vu(x; d)l. '
Proof: Definition (5.2.2) and the hypothesis, combined with Fubini's theorem shows that Br(x) < 00 for almost every x E Q. Furthermore, Kolmogorov's continuity theorem implies the existence of a measurable function f(x, a), x E Q, a E I which is continuous in a for every x and such that for each a E JR, f(x, a) = i5{Vu(x; a)
154
5. Good-A Inequalities for the Density of the Area Integral
for almost every x. A simple Fubini argument shows that if we define ih(x) as in (5.2.2) with f(x, a) in place of i5{vu(x; a) then BJ(x) = ih(x) a.e. on Q. Since f(x, a) is continuous as a function of a, the Garsia, Rodemich, Rumsey inequality 1 1 1 states that If(x,a) - f(x,b)1 8(4 v )la - bl"2- v B J(x) for every a, bE R Thus, there exists a null set A such that if x E Q\A then
s
A
whenever a E I is rational. So if x E Q\A, a is rational, and Lemma 5.2.3 implies that
lal s N~hwlu(x) then '
But this is true even if lal > N~hWlu(x) since then left hand side is O. Since D{vu(x; a) is lower-semicontinuous'as a function of a (see Gundy and Silverstein [GS]), the conclusion follows. We have now finished the preliminaries that will be used in both the proofs of the good-A inequalities in Theorem 5.0.3 and begin the proof of Theorem 5.0.3(a). We let A > 0, 0 < c: < 1 be fixed. We set 'Y = ,B~"', E = {x E IRn : N",u(x) S C:A} and define W = UXEEf-y(x) and W' = UXEEf",(X). We may assume E #- 0 so that W #- 0. Then
lui S C:A on W tl\7u(s, t)1 S CC:A for (s, t)
E
W.
(5.2.3)
The first of these statements is obvious and the second follows from the gradient estimates of Lemma 2.3.1. For x E IRn , a E IR we now consider Dwu(x;a) and Dwu(x) as defined in (5.2.1). As before, we have the corresponding Key Estimate:
If W is as above, and Dwu(x) is defined by (5.2.1), then IIDwullBMO S CC:A where C = C(a,{J,n,
Proposition 5.2.5
Proof: Fix a cube Q ~ IRn; we want to show that there exists a constant aQ such that
I~I 10 IDwu(x) -
aQldx < Cc:A.
= f(Q), consider D{vu(x; a), D{vu(x) as defined in (5.2.1), and Dwu(x; a) = Dwu(x; a) - D{vu(x; a) and let Dwu(x) = sUPaEIR Dwu(x; a). Then,
Set h
lal > C:A Dwu(x; a) = 0 if lal > C:A Dwu(x; a) = D{vu(x; a) + Dwu(x; a) Dwu(x) S D{vu(x) + DWu(x).
(i) D{vu(x; a) = 0 if
(ii) (iii)
(5.2.4)
5.2 Sharp control of D by A and N
155
Lemma 5.2.1 provides a way to estimate D'{;.ru(x; a) and D'{;.ru(x). Our next lemma will estimate D{vu(x; a). Lemma 5.2.6 Suppose
Here C
=
1~p <
00.
Set 0
=
(UXEQ r~(x)) n W. Then if lal ~ EA
C(p, 0., f3, n, 'P).
Proof: Let Qbe the cube in]Rn concentric with Q and with sidelength (1 +4(3)£(Q). Then if (s, t) E 0, x ~ Q, 'Pt(x - s) = O. Let J be any sub cube of Q, set k = £(J) and form V = (U xEJ r~(x)) nO. Then by Green's theorem:
rI JIR'-i-+ln{(s,t):t~k} r t'Pt (x - s )Xn( s, t)fl.( u(s, t) - a)+ dSdtldX
JJ
Iv ~ lav :n ~
tfl.(u(s, t) - a)+dsdt t
c
~
(u(s, t) - a)+
(5.2.5)
+ (u(s, t) -
a)+1 ;~ IdO'(S, t)
C(EA)IJI
where the last inequality follows from (5.2.3) and the fact that 0'(8V) ~ CIJI. (Again, to apply Green's theorem we first need to smooth 8V and the function (u-a)+, then apply Green's theorem, and pass to a limit. These type of arguments are presented in Chapter 1 and in Section 5.1.) Let Xo be the center of J and set Dru(x; a) = Dnu(x; a) - D~u(x; a). Then Lemma 5.2.1 implies IDru(x; a) Dru(xo; a)1 ~ CEA for every x E J. This, (5.2.5), and the triangle inequality combine to give:
_111 J
Thus,
rr
I JJ JlR ++ n
t'Pt(x - s)Xn(s, t)fl.(u(s, t) - a)+dsdt - Dru(xo; a)ldx 1
J
~ CEA.
t'Pt(x - s)xn(s, t)fl.(u(s, t) - a)+dsdt
1R'-i-+1
is in BMO on Qwith BMO norm less than CEA. Since (5.2.5) holds for J = Qthe conclusion of the lemma follows. This last lemma provides an estimate for D{vu(x; a), but we really need to estimate D{vu(x). This will be done by use of Lemma 5.2.4; our next lemma merely puts us in a position to apply it.
156
5. Good-A Inequalities for the Density of the Area Integral
Lemma 5.2.7 For 2 < p <
h
00,
lal < EA,
Ibl < cA,
ID{'vu(x; a) - D{'vu(x; b)IPdx :::; ClQlla -
bl~ (cA)~.
Proof: Suppose g(x) is a function supported on Q with Ilgllq As before, set n = (UxEQ r~(x)) n W. Then
=
I, where ~ +
*=
1.
h
(D{'vu(x; a) - D{'vu(x; b))g(x)dx
r r xn(s, t)[t(x - s)· (V'(u(s, t) - a)+ - V'(u(s, t) - b)+)]dsdtg(x)dx = r (t * g(s)) . (V'(u(s, t) - a)+ - V'(u(s, t) - b)+)Xn(s, t)dsdt JlR n+ r r ipt(x-s)(t * g(s)) . (V'(u(s, t) - a)+ - V'(u(s, t) - b)+)Xn(s, t)dsdtdx JlRnJIR~+l =
JQ JIR~+1 +
1
=
1
(JlRrn
tipt(x - s)Xn(s, t)IV'((u(s, t) - a)+ - (u(s, t) _ b)+WdSdt) 2 dx
+1
+
(I.. (1.+" t~,(x =
1
- ')Xn(', t)IV'( (u( " t) - a)+ - (U(8, t)
- W)I'dSdt) ! dx )
,
I . II.
The first quantity I :::; Cqllgll q Silverstein formula, (5.0.4),
r
JlR +n+ =
= Cq,
by Theorem 1.7.2. Also, by the Gundy-
tipt(x - s)Xn(s, t)IV'((u(s, t) - a)+ - (u(s, t) - b)+Wdsdt
1
Ib JIR~+l r a
tipt(x - s)Xn(s, t)~(u(s, t) - r)+dsdtdr.
157
5.2 Sharp control of D by A and N
Then Jensen's inequality and Lemma 5.2.6 give:
II <; ~
(f..la - bl ~-l l 1
1
1
(1.:;+,'
1
1
1
la - bl"2- p la - bl P C(cA)"2IQI P
and this gives Lemma 5.2.7. We can now complete the proof of the BMO estimate, Proposition 5.2.5. First note that Lemma 5.2.7 allows us to apply Lemma 5.2.4 with I = [-cA,cA]. Because i5{vu(x; CA) = 0 and N~hWlu(x) ~ cA we conclude that for almost every ,
x E Q, ID{vu(x) I ~ C(CA)~-~ Br(x) + CcA. Fix p > 4, integrate the pth power of this over Q and use Lemma 5.2.7 and Fubini's theorem to obtain:
Choose p = 5, say, then by Jensen's inequality, 1 TQT Now let
I~I
k
Xo
Q
(5.2.6)
h Dwu(x)dx ~ Cd.
be the center of Q. Then
IDwu(x) -
k ~ I~I k ~ I~I
1
D~u(xo)ldx
IDwu(x) -
D~u(x)ldx + I~I
kID~u(x)
-
D~u(xo)ldx
D{vu(x)dx + CcA
~
CcA,
where the second to the last inequality follows from (5.2.3)(iii) and Lemma 5.2.1 and the last inequality follows from (5.2.6). Theorem 5.0.3(a) now follows from Proposition 5.2.5 using the usual strategy. By Lemma 4.2.3, IIDwullBMO < CcA implies for every 'T} > 0,
-C2 'T}) I{x E]Rn : Dwu(x) > 2'T}}1 ~ C 1 exp ( ~ I{x E]Rn : Dwu(x) > 'T}}I. Then, using this with 'T}
= A we obtain
I{x E]Rn : Du(x)
> 2A, Nau(x) =
~
cA}1
I{x E E: Du(x)
> 2A}1
158
5. Good-A Inequalities for the Density of the Area Integral
= I{x E E ::; I{x
: Dwu(x) > 2A}1
E]Rn :
Dwu(x) > 2A}1
::; 01
-02 ) I{x exp ( -c-
E]Rn :
Dwu(x) > A}I
::; 01
-02 ) I{x exp ( -c-
E]Rn :
Du(x) > A}I·
We now proceed with the proof of Theorem 5.0.3(b). We will show:
Proposition 5.2.8 Assume a and (3 are as in the statement of Theorem 5.0.3(b). Then here exist constants 01 and O2 depending only on a, (3, cp and n such that if Q is any cube in]Rn and if h = 2yn£(Q)(3-1 then
r
1 i exp [h IQI D U(X) Q
-
01 (Aau(x))
2
]dx::; O2.
We first make a few remarks. Quite possibly Aau(x) = 00 for some x E Q. For such x the integrand of the above integral is to be interpreted using the convention e- oo = 0 and 00 ·0 = O. A theorem of Brossard [Brl] states that, except for sets of Lebesgue measure zero, whenever Aau(x) < 00 we also have Dhu(x) < 00. Thus, the integrand could never be of the form 00 . 0 on a set of positive measure. If Aau(x) = 00 almost everywhere on Q the result is trivial so we will assume Aau(x) < 00 for all x in a set of positive measure in Q. Consider an a' < a such that also (3 < (2048n)-1o:' and set uc;(x,y) = u(x,y+c). Then since A:>u(x) < 00 for some x, this and a' < a, c > 0 shows that Aa1uc;(x) ::; 0' for all x E Q. (N aturally, 0' depends on a', c.) Suppose that we show
for some 01 and O2 independent of 0'. We then note that this remains valid with a replacing a', and then use Lemma 4.2.9 to obtain
where 01, O2 are independent of c, and L is the constant in Lemma 4.2.9. Now let c ----+ O. We conclude that to prove the Proposition we may assume Aau(x) ::; 0' for all x E Q, if, of course, we obtain 01 and O2 independent of 0'. We also note that our limiting procedure is consistent with our conventions on arithmetic and that the validity of the Proposition for Uc; and this limiting procedure gives a proof of part of Brossard's theorem: Aau(x) < 00 implies Dhu(x) < 00 for almost every x. (To see this simply restrict the integration in the last integral to the set {x E Q : Aau(x) < oo}. This forces liminfc;---->o Dhuc(x) < 00 for a.e. x in this set and subsequently forces Dhu(x) < 00 for a.e. x in this set.)
5.2 Sharp control of D by A and N
159
Before proving the proposition we first show how Theorem 5.0.3(b) follows from it. Fix A. Note that if I{x E IRn : Du(x) > A}I = 00 we are trivially done so we assume the contrary. We then choose dyadic cubes Q ~ IRn such that 1
I{x E Q : Du(x) > A}I > "2IQI and such that if Q is the dyadic cube in IR n with i(Q) = 2£(Q) then
I{x
E
1 -
Q : Du(x) > A}I :::; "2 IQI .
We will show that for such Q, -C2 ) I{x E Q : Du(x) > KA, A",u(x) :::; cA}1 :::; C1 1QI exp ( """"€2
.
Summing over Q gives the result. Fix such a Q and an c with 0 < c < 1; we may also assume that there exists an Xo E Q such that A",u(xo) :::; cA. Also we may pick Xl E Q such that DU(X1) < A. Our choice of (3 insures that r/3(x)\r~(x) ~ r~ (xo) whenever X E Q. (This just requires 4(3 < a.) As before, we set DT u(x; a) = Du(x; a) - Dhu(x; a), DT u(x) = sUPaEIR DT u(x; a). Then Lemma 5.2.1 implies
IDT u(x) - DT u(xdl :::; CcA for all X E Q. Thus, IDTu(x)1 :::; CcA + A for all x E Q. Set KI = K - (C + 1). Then
I{x E Q : Du(x) > KA, A",u(x) Set
E = {x Replace u by
c
2 A-lU
E
< cA}1 :::; I{x E Q: Dhu(x) > KIA, A",u(x) :::; cA}I·
Q : Dhu(x) > K 1 A, A",u(x) :::; cAl.
in Proposition 5.2.8; this gives
and the result follows by taking K 1 , and hence K, large enough. Thus, we have reduced matters to the proposition. Before proceeding with this we show a lemma that will be used several times throughout the proof of the proposition.
160
5. Good-A Inequalities for the Density of the Area Integral
Lemma 5.2.9 With the notation as above, let q denote the center of Q and suppose u(q,2h) = O. (Here h = 2.Jii,i(Q)f3-1 as in Proposition 5.2.8.} Then there exists constants C 1 and C 2 , which depend only on 01,13 and n, such that
1 r IQT 1Q exp[N22h,Bu(x) -
2
C 1(Aa u (x)) ]dx ~ C2 .
(5.2.7)
Proof: We use Lemma 4.1.3. In the present situation, however, we have 213 in place of the 13 which occurs there, so that the corresponding h in the statement of Lemma 4.1.3 is h = 2y'rif(Q)/2f3 which is smaller than the 2h = 4y'rif(Q)/f3 we are using in the statement of this lemma. But, as we have noted, Lemma 4.1.3 remains valid for any larger value of h than stated there. (See the remarks after the proof of Lemma 4.1.3.) Thus, for all A > 0,0 < c < 1,
I{x E Q: N?gu(x) > K)", Aau(x)
~ c)..}I~ C3 1QI exp ( - ~:).
(5.2.8)
For k,j E {O, 1,2, ... } set Ekj
= {x E Q
: k ~ N:;gu(x)
< k + 1,
j ~ Aau(x)
< j + 1}.
To complete the proof of the lemma, we merely break up the integral in (5.2.7) into a sum of integrals over the E kj , noting that we really only need to consider those E kj for which j2 is (approximately) less than k. Then use (5.2.8) and note that if C 1 is chosen large enough (depending on K and C4) the resulting sum converges. We leave the details to the reader. We remark that here we have really shown that an inequality like (5.2.7) is valid whenever the aperture used in the definition of the nontangential maximal function is less than the aperture used in the definition of the Lusin area function. We did not write the lemma in this generality simply because we will only use it in the context of the proof of Proposition 5.2.8. This Lemma and proof should also be compared to the discussion in Problem 4.2.14 where (5.2.7) is shown in another way. As in the proof of Theorem 5.0.3(a), it is fairly easy to obtain estimates for j)hu(x; a) and we do this in the next lemma. Here we connect with the ideas of Chapters 2 and 3 and exploit the particular form of j)hu(x; a). Lemma 5.2.10 There are constants C 1 and C 2 independent of a E IR such that
Proof: Recall that j5hu (x; a)
=
r
1r~(x)
t(x - s) . ~(u(s, t) - a)+dsdt
5.2 Sharp control of D by A and N
161
where c1? = (c1?1, .•. ,c1?n+1) and each c1?i is supported on B(O,{3), has mean value zero, and is smooth. As in Chapter 2, we write jjhu(x; a), x E Q as the sum of martingales. An examination of the proof there shows that the square function of each of these martingales is dominated by
(See also (3.1.7).) By our choice of {3, 32..fii{3 < Q so this last expression is dominated by Aau(x). The result then follows from the corresponding theorem for martingales, Theorem 2.0.1. This proof should be compared to the proof of inequality (4.2.20) which is essentially the same. Of course, we really need estimates for Dhu(x). To obtain these, we will break up Dhu(x) into "smaller" maximal densities. For j an integer set
Dju(x)
=
sup{Dhu(x; a): a E [j,j + I)}.
Then
Dhu(x) ::; sup{Dju(x):
Ijl::; Ni$u(x) + I}.
We have Lemma 5.2.11 There are C 1 and C 2 independent of j such that
i
Before proving Lemma 5.2.11 we show how it implies Proposition 5.2.8. For set Ei = {x E Q: i::; Ni$u(x) < i + I}. Then
= 0,1,2,3,
I~I
k
::; L
1 -IQI
00
exp[Dhu(x) - C 1 (Aa u(x))2]dx
1
i=O
i+2
::; ~ .L 00
.=03=-.-2
0::
exp[ sup Dju(x) - C 1 (Aa u(x))2]dx Ijl
Ei
1
TQT
1.
exp[Dju(x) - C 1 (Aa u (x))2]dx
E,
taj-~J C~] L. exp]2D7u (x) - G1(Aou(x))']dx) l
.C~I Li
1
eXP[-C1(A a u(x))2]dX) 2]
5. Good-A Inequalities for the Density of the Area Integral
162
::;
C~(2i + 4)e-! (\~\ lei exp[N~3u(x) - C (A 1
o u(x))2]dX)
~
::;C where for the last inequality we have used Lemma 5.2.9. For the next to last inequality we have used Lemma 5.2.11. To see this, take the C1 in this last computation to be four times as large as the C 1 in Lemma 5.2.11. So it suffices to show Lemma 5.2.11. To do this, fix an integer j. Then Lemma 5.2.4 with I = [j,j + 1), w = W' = lR+.+l, a = 2/3,p = 5, and the notation Bj(x) = BJ(x) then yields: Under the assumption
\~\
k
\iJhu(x; a) - iJhu(x; b)\5dx < Cia -
Dju(x) ::; 8(4!)Bj(x)
b\~,
then
+ CN~3u(x) + \iJhu(x;j)\.
(5.2.9)
We first claim that the assumption needed here holds. To see this compute as in Lemma 5.2.7 and note that the hypothesis there is only used at the last step ofthe proof. Without such a hypothesis we can use those computations to nevertheless estimate
r-
1 lQf i Q \Dhu(x, a) where
r
E
-
5 1 Dhu(x, b)\5dx ::; Cia - b\2-
Ib iJRnr a
Dnu(x; r) Q2dxdr,
n is as in the proof of Lemma 5.2.7 (now with W = lR+.+ 1 ).
[a, b],
But for each
r Dnu(x;r)5/2dx::; iZ(D hu(x;r))5/2dx ::; C iZexp (Dhu(x; r))dx,
ilR
n
Q
Q
where Q is a cube slightly larger than Q. Because we have assumed (see the comments after the statement of Proposition 5.2.8) that Aou(x) ::; C' for all x E Q (and we may do the same for x E Q), then Lemma 5.2.3, Lemma 5.2.9, and Lemma 5.2.10 combine to show that this last integral is bounded independently of r. This combined with previous computation shows the claim, that is, that the hypothesis of Lemma 5.2.4 holds so that we may deduce (5.2.9). Note that the constant C in (5.2.9) does not depend on C'. We will show: Lemma 5.2.12 There are positive constants C 1 and C 2 independent of j so that
Assume Lemma 5.2.12. Then (5.2.9), Holder's inequality, and Lemmas 5.2.9, 5.2.10 and 5.2.12 show that if C 1 is chosen large enough then the conclusion of Lemma 5.2.11 holds. Thus, we have reduced matters to proving Lemma 5.2.12.
5.2 Sharp control of D by A and N
163
To prove Lemma 5.2.12, it will be convenient to set
so that with this notation
The function exp[(y + 45 )!] is convex for y > 0 and thus:
So Lemma 5.2.12 follows from: (5.2.10) with C 1 ,C2 independent of a,b. To see (5.2.10), let 'T](x) be a positive radially symmetric function supported on B(O, 64vn(3) such that 'T] == 1 on B(O, 32vn(3) and define
iJhu(x;a)
=
r
jffi."j.+l n{ t
t'T]t(x-s)~(u(s,t)-a)+(dsdt).
Note that by definition,
k(x,a,b) =
1
r
jffi."j.+l n {t
1>t(x_s).(\7(u(s,t)-a)+-~(u(s,t)-b)+)dSdtl. la -
bl 2
Set
S(x)
= (
r
jr
h = 32vn/3
1\7(u(s, t) - a)+ (x)
la -
~(u(s, t) -
bl
2
1
b)+ 12 t 1 - n dSdt)
2
164
5. Good-A Inequalities for the Density of the Area Integral
Reasoning as in the proof of Lemma 5.2.10, we obtain: There exists constants C l and C 2 such that
r
1 TQI JQ exp[k(x, a, b) -
Cl(S(x)) 2 jdx:S; C2.
But
where the last equality is just the Gundy-Silverstein formula (5.0.4). Thus,
1 Jr exp [k(x, a, b) - Clla _ 1 bl TQI Q
Ib a
1
D h u(x; r)dr dx:S; C2. A
(5.2.11)
Then (5.2.11) together with the Cauchy-Schwarz inequality and Jensen's inequality show that (5.2.10) follows from:
I~I 10 exp[.z)hu(x; r) -
C 1 (Ac.u(x))2]dx :s; C 2
(5.2.12)
for every r E JR., where C l and C 2 are independent of r. So we only need now to show (5.2.12). To see (5.2.12), let Q be a cube in JR.~+1 with the same center as Q but with £(Q) = 64yin£(Q). Then (5.2.12) follows if we show a similar estimate with Q
i~___place of Q. Then h =
2
vnJCQ ) = 2t:1n~).
Corresponding to .z)hu(x; a) we have
.z)hu( x; a) as given by Lemma 5.2.3. Then (b) of this implies that
But since .z)hu(x; a) = 0 whenever
lal > Ni;8vnf3u(x),
then for all a E JR.,
Then, reason as before, using Cauchy-Schwarz and Lemmas 5.2.9 andJi..2.10 to complete the proof of (5.2.12). Note that we apply Lemma 5.2.10 to .z)hu(x; a); this is defined with a kernel having support in B(O, 64yinf3) and thus, we demand (32yin)(64yinf3) < L¥.
5.3 Application I. A Kesten-type LIL and sharp LV-constants
165
Problem 5.2.13 Prove Theorem 5.0.3(b) under the assumption (3 < a. In the proof we just gave, we didn't always choose the optimal values of constants, but even if we had proceeded with great care, we could not have followed the same line of reasoning to produce a proof valid under this assumption. It seems a different strategy is needed.
5.3 Application I. A Kesten-type LIL and sharp V-constants In [KelJ, Kesten proved the following LI1's for the maximal local time up to time t, L; = sup{Ls : s :::; t}. Theorem 5.3.1
L*
lim sup t t-+oo V2S;(X)loglogSt(X)
=1
(5.3.1)
and . f (log log St(X)) 1/2 L* _ :~~ S;(X) t - 'Y
1.
almost surely on {S (X) = oo}. Here 'Y is a constant such that ~ :::; 'Y :::; qo is the smallest positive zero of the Bessel function Jo(x).
(5.3.2)
-Y2, where 2
The exact value of the constant 'Y was subsequently found by E. Csliki and A. Foldes [CsF] to be V2qo. The exponential square good-A inequality on Lipschitz domains, Theorem 5.0.2(b), together with the proof of Chung-type 1IL in Section 4.3, Theorem 4.3.2, and its corollary, Corollary 4.3.4, immediately imply a lower half version of (5.3.2) (without the precise constant, of course). Theorem 5.3.2 (Lower-Half Kesten-type 1IL for harmonic functions) Let u be harmonic on lR.~+1. Fix 0 < (3 < a and suppose these are points (xo, to) and (xl,h) such that A,B'(u)(xo, to) < 00 and D",'(U)(Xl,h) < 00 for some (3' > (3 and a' > a. Then .. hmmf tlO
(
loglog(A1u(x, t)) ) (AI ())2
for almost every x E {x E lR.n only on a, (3, a', (3' and n.
fJu x, t
: A~u(x)
1/2
1
Dau(x, t) ~ C
= oo}. Here C
is a constant which depends
This result is motivated by (5.3.2). As in the case of Theorem 4.3.2, the upper bound is an open problem. Also both, the upper and lower half analogues of (5.3.1) for harmonic functions, are open. An upper bound would follow, as in Chapter 3, from a Lipschitz domain version of Theorem 5.0.3(b) which we do not have.
5. Good-A Inequalities for the Density of the Area Integral
166
The inequality S;(X) :::; L;X; shows that the LIL's in (5.3.1) and (5.3.2) are closely related to the Chung LIL and the Kolmogorov LIL, at least in as much as we do not ask for best constants on the right hand side. For example, we showed in Chapter 3, (3.0.5), that lim sup t--->oo
X* t
<1
V2S;(X)loglogSt(X) -
almost surely on {S(X) = oo}. This upper bound together with S;(X) :::; L;X; immediately implies a lower bound in (5.3.2). For harmonic functions we analogously have (A~u(x, t))2 :::; 2D~u(x, t)N~u(x, t). (This is just a version of (5.0.5) using truncated cones.) The difficulty in passing from one LIL to another, as for example in passing from the upper half LIL, Theorem 3.0.4, to Theorem 5.3.2, is the technical requirement of the different sizes in the aperture of the cones. As in Section 4.4, we have the following result whose proof follows from Theorems 5.0.2 and 5.0.3 exactly as the ratio inequalities of Theorem 4.4.2 follow from Theorems 4.1.1 and 4.2.1. It is also possible to show a version of Theorem 4.4.3. involving the maximal density, but we will not state this here. Theorem 5.3.3 Suppose u is harmonic on ~~+l, not identically zero, 0 < {3 < 0:, 0 < a :::; 1 and 0 < p < 00. Then
(a)
II (D:~~-a lip :::; C~II(D"utllp,
(b)
II (D~~~-a lip:::; C;II(D"u)all p,
(c)
II (N,,~~l-a lip:::; C;II(N"u)all p'
The constant C~ is O(y'P) as p ~ 00 and Cff, and C; are both O(p) as p ~ If in addition, 0: and {3 are as in (b) of Theorem 5.0.3, we have
p <
00.
In Section 4.4, we proved that for any 0 < (3 < 0:, IIA"ull p :::; CpIIN(3ull p, 0 < 00, with Cp = O(y'P) as p ~ 00, and that this order is best possible.
Using this and the fact that IIA"ull p :::; J2IID"ull~/21IN"ull~/2, shows that, with = 1, the order of the constants in (c) and (d) are also best possible. Hence the decay in E of Theorem 5.0.3 is also sharp. By analogy with the corresponding martingale inequalities which are known to be sharp it should also be the case that the asymptotic behavior of the constant in (a) and (b) should also be best possible. Since we know that IIN"ull p :::; Cy'PIIA"ullp, p :2 2, and the order is a
5.4 Application II. The Brossard-Chevalier L log L result
167
best possible, it suffices to show that the order in (b) is best possible. We have been unable to show this and leave it as a conjecture. As mentioned in Section 4.4, for N and A the best order of the constants can also be proved by calculating the square function of lacunary series and applying the central limit theorem. The problem in our present case is that it seems to be very difficult to compute Du directly for any function, including lacunary series. Given the above inequalities and Davis' [Dav1] result, (4.4.5) above, the following problem naturally arises. Problem 5.3.4 Let 1 inequalities
<
p
< 00. Find the best constants
c~,
C;, C;, C: in the
and Again, Theorem 5.0.1 gives the best order of magnitude of this constant but no additional information. Finally, conspicuously absent from this chapter is a discussion of analogues of these theorems for caloric functions. The authors have not attempted such results. However, progress in this direction has been made recently by N. Eisenbaum and 1. Iribarren. In [EI] they define a density of the area integral for caloric functions u on JR~+l and relate it to the local time of the martingale obtained by composition of u with the space-time Brownian process. This work provides an important tool for the continued study of the density of the area integral in this setting.
5.4
Application II. The Brossard-Chevalier L log L result
In [BC2], Brossard and Chevalier use the density of the area integral to characterize L log L within HI (JR~+l). As further evidence of the utility of the techniques of this chapter, we present here a different proof of their results. We recall (Chapter I, Section 7) that the theorems of Burkholder, Gundy and Silverstein [BGS] and Fefferman and Stein [FS] allow us to regard the Hardy space HI (JR~+1) as the space of all harmonic functions u on JR~+1 with IIN{3ulll < 00. (Recall that the choice of f3 is immaterial by Lemma 4.1.2.) We further recall that if u(x, y) E HI (JR~+I), then the nontangentiallimit of u(x, y), call it u(x) exists almost everywhere (Theorem 1.5.12). The function u(x, y) is just the Poisson integral of u(x), and u(x) as well as all its Riesz transforms Rju(x),j = 1, ... ,n belong to Ll(JRn). Conversely, if u(x) as well as all the Rju(x) belong to Ll (JRn) then the harmonic extension u(x, y) of u(x) to JR~+l satisfies IIN{3uI1 1 < 00. Furthermore, in this case, we have n
IIN{3uI1 1 ~ IIul1 1 + L IIRj uI1 1, j=1
168
5. Good-A Inequalities for the Density of the Area Integral
with the constants in the equivalence depending only on (3 and n. (For this see Stein [St4], Fefferman and Stein [FS], or Torchinsky [To], and the discussion in Chapter 1, Section 7.) We define L log L to be the space of all harmonic U on ]R~+1 such that sup (
y>O JlR n
lu(x,y)l(l +log+ lu(x,y)l)dx <
00.
(5.4.1)
The interest in LlogL, at least in this context, dates to Zygmund's [Zy1] improvement of M. Riesz's [Ri] earlier work on the integrability of conjugate functions. Riesz had shown that if f E LP([O, 211"]), 1 < p < 00, then the conjugate function is also in LP([0,211"]). This is false for p = 1. Zygmund showed that if merely f E L log Lon [0,211"], then the conjugate function Tis in L1 ([0,211"]). Consequently, f + E HI j thus, Zygmund's result is often succinctly written as L log L ~ HI. Conversely, if f ~ 0, f E L1([0,211"]) and E L1([0,211"]), then f E LlogLj this can be found in Zygmund [Zy2] who attributes it to M. Riesz. These results combined yield: If f ~ 0 on [0,211"], then f E HI if and only if f E L log L. In 1952, Calderon and Zygmund [CZ1] extended this to higher dimensions. They showed that for certain singular integral operators T, T fELl (B 1) if f E LlogL(B2) whenever B 1, B2 are balls in]Rn such that B1 ~ B 2. We remark that if T is, say, a Riesz transform, R j , then it is known that if f E L1(]Rn), f ~ 0 then R j fELl (]Rn) only if f = 0 on ]Rn. This is the reason the conclusion ofthis theorem seems awkward in comparison to the conclusion in the case of the disk. Thus, we no longer have the containment of L log L in HI, at least not globally, but we do have this "local" substitute. Stein [St3] showed a converse: If B1 and B2 are balls in]Rn such that B1 ~ B2 and if f ~ 0, f E L1(B2) and all the Riesz transforms Rd are in L1(B2) then f E LlogL(B1). Later, Calderon and Zygmund [CZ2] also generalized Zygmund's earlier work to the case of periodic functions of several variables. They considered functions f on]Rn which are periodic: f(x + m) = f(x) whenever m = (m1, ... , m n ), mi E Z. Then setting Q = {x = (Xl, ... , x n ) E ]Rn : - ~ ::; Xi < ~ for every i} they showed that for certain singular integral operators T, Tf E L1(Q) whenever f E LlogL(Q). Stein [St3] showed a converse for Riesz transforms: If f is periodic, f ~ 0, f E L1(Q) and if all Rd are in L1(Q) then f E LlogL(Q). In all these cases, f E L log L implies that f is in some sense in HI-in an exact sense for periodic functions and in a "local" sense on ]Rn. But in all these cases a converse is possible only under the assumption f ~ o. Consider this converse direction in the case of functions on [0,211"): If f E HI, f ~ 0 on [0,211") then f E L log L. In other words, within HI, f ~ 0 implies f E L log L. It is easy to produce examples to show this containment is strict. Now consider a version of Dau(x; 0) adapted to the disk:
T
iT
T
Dau((); 0) = (
Jr",(IJ)
~Iul
dxdy.
5.4 Application II. The Brossard-Chevalier L log L result
169
If u never takes the value 0 or is constant on r a(B), Dau(B; 0) = 0; in particular if f ~ 0 on [0,27r), the harmonic extension u of f to the disk satisfies this. In fact, the integration here takes place over {(x,y) E ra(B) : u(x,y) = O}. Thus, borrowing language from probability, we could say that Dau(x; 0) measures "the amount oftime" the function u(x, y) is at 0 in r a(B) - a way of thinking which is in accordance with our view of Dau(x; r) as an analogue of local time. By continuity, a measure of the "amount of time" the function is at 0, is, in some sense, a measure of how often it crosses 0, and consequently a measure of how far it is from being positive. Hence Dau(x; 0), in the words of Brossard [Br2J, provides a measure of the "positivity default" of the function u in r a(B). (See Brossard's [Br2] article for an extensive discussion of this point of view. See also Brossard and Chevalier [BC3] for several Fatou theorem type results which further emphasize this point of view.) The following, due to Brossard and Chevalier [BC2] exactly characterizes L log L within HI by means of this "positivity default" .
Theorem 5.4.1 Let u E HI (]R~+1 ). The following are equivalent:
(a)
u
(b)
In~n D,eu(x; 0) log+ D,eu(x; O)dx
E
LlogL.
<
00.
To show that (a) implies (b), Brossard and Chevalier use both probabilistic and analytic techniques. In particular, they rely on a probabilistic analogue of this theorem which they proved in [BCl]. They prove the other implication using purely analytic techniques. We will give a different proof that (a) implies (b) using the techniques developed in this chapter. This proof is from Moore [M03]. Similar ideas can be used to give a proof that (b) implies (a) which is somewhat different than the proof given by Brossard and Chevalier. However this proof is neither shorter nor better nor sufficiently different than theirs. Hence, it is not worth the effort, and we will not show it here. To begin the proof that (a) implies (b) we fix an 0: > (3. Consider a point x E]Rn and a cube Q ~]Rn centered at x. We create an auxiliary domain, O(Q) = Us EQ r3(8), where we choose h so that for every 8 E Q, r,e(8)W3(8) ~ r'"Y(x), where '"Y = a~,e. Such an h can be chosen as h = CC( Q) where C is a constant depending only on 0:, (3 and n. Let Q denote the cube with the same center as Q but with sidelength C( Q) = kC( Q) where k is a constant to be chosen momentarily. We then set O(Q) = UsEQ r~h(s); this is simply a k-fold enlargement of O(Q). We choose k large enough so that k ~ 3 and for P E O(Q), d(p,aO(Q)) is realized by a point (8,0) E ]Rn. Set Po = (x, k2h). We may also assume that k is chosen large enough so that _ Po E r ~ 2 (8) for every 8 E Q. For each cube Q ~ ]Rn we consider O(Q) and O(Q) constructed in this way; since hand k can be chosen to depend only on 0:, (3 and n, each O( Q) and O( Q) can be considered as a translation and dilation of a canonical domain. Consequently, all constants arising in what follows
170
5. Good-A Inequalities for the Density of the Area Integral
will depend only on Q, /3 and n. The proof of next lemma uses techniques similar to those used in the proofs of theorems in this Chapter and in Chapter 4. Lemma 5.4.2 There are a constant C
= C(Q, /3, n) such that for every x
E lR n ,
Here MD{3u(x; 0) is the Hardy-Littlewood maximal function of D{3u(x; 0). Proof: Fix an x E lRn and a cube centered at x and consider O(Q) and O(Q) as constructed above. Let G(P) denote the Green's function for O(Q) with pole at Po. We then apply Green's theorem to G(P) and lui on O(Q). As in other applications of Green's theorem in this chapter, this requires a smoothing procedure. Here this can be accomplished using the same procedure as in the proof of Lemma 5.1.1. We obtain:
jf r
_ G(P)~lu(P)ldP = _ f
J !1(Q)
_ ~G (P)lu(P)lda(P) - lu(Po)1
Ja(!1(Q»
= f
_
Ja(!1(Q»
un
lu(P)ldw(P) -lu(Po)l,
where, as before, w represents the harmonic measure on 8(O(Q)) taken with respect to the base point Po. On lR+.+1, lu(P) I is dominated by the Poisson integral of lui, call it v. Therefore,
f _ lu(P)ldw(P)::; f
Ja!1(Q)
_
Ja(!1(Q»
v(P)dw(P)
=
v(Po)
::; NOi.v(x) ::; COi.Mu(x). Thus,
jf r
_ G(P)~lu(P)ldP::; CMu(x).
J !1(Q)
(5.4.2)
For P E O(Q), let d(P) denote the distance from P to 8(O(Q)). Note that O(Q) is starlike with respect to the point Po. For P E O(Q)\{Po} we let P denote the point of intersection of 8(O(Q)) with the ray from Po through P and for P E 8(O(Q)) we set A(P,r) = 8(O(Q)) n {PI: IF - pII < r}. We recall a result of Dahlberg we used previously, (Lemma 4.2.4): There exists a k > 0 such that for P E O(Q)\{Po}, k-1d(p)n-1G(p) ::; w(A(P, d(P))) ::; kd(p)n-1G(p) where k depends only on n and the Lipschitz constant of O(Q), hence only on n, /3 and Q.
5.4 Application II. The Brossard-Chevalier L log L result
171
For P E O(iJ), z E IRn set X(P, z) = 1 if P E r~(z) and zero otherwise. Note that our choices of h and k insure that there exists a constant ( depending only on a, (3, n such that if P E O(Q) then {z E Q : P E r~(z)} ~ A(P, (d(P)). This, together with a theorem of Hunt and Wheeden [HW, p. 311] on the doubling properties of harmonic measure implies:
w( {z E
Q: P
E
:s w(A(P, (d(P)) :S Cw(A(P, d(P)) ,
r3(z)})
where C depends on (and the Lipschitz constant of O(Q) - hence on a, (3, n. Thus, by Dahlberg's Green's function estimates, Lemma 4.2.4,
fJr r
_G(P)~lu(P)ldP 2:
O(Q)
cfrJr
2: C
II
_d(p)l-nw(A(p, d(P)))~lu(P)ldP
O(Q)
~lu(P)ld(p)l-n O(Q)
1
x(P, z)dw(z)dP
Q
r r ~lu(P)ld(p)l-ndPdw(z) J Jr~(z) 2: C r r ~Iu(s, t)ltl-ndsdtdw(z). J Jr~(z)
(5.4.3)
=C
Q
Q
Note that for the last inequality we have used the fact that d(P) ~ t for P = (s,t) E O(Q). Elementary estimates on the Poisson kernel and Harnack's inequality show that there exists a constant C, depending only on a,{3,n such that w(E) 2: CM whenever
E~
Q. Thus, :; 2:
C#dr
on Q. This, combined with the fact that
~Iu(s, t)1 = 2~u(s, t)+, and (5.4.3) gives
II
O(Q)
G(P)~lu(P)ldP 2: I~I
This and (5.4.2) give:
I~I
k
D3 u (z; O)dz.
k
D3 u (z; O)dz :S CMu(x).
(5.4.4)
As before set D~ u(z; 0) = D,au(z; 0) - D3u(z; 0). Recall that by our construction r,a(z)\r3(z) ~ r -y(x) b = at.6) so that Lemma 2.3.1 and Lemma 5.2.1 combine to show that ID~u(Zl) - D~U(Z2)1 :S CNau(x) for every Zl, Z2 E Q. This and (5.4.4) then yield;
I~I
k
D,au(z; O)dz :S CMu(x)
+ D~u(x; 0) + CN,au(x)
:S C(Mu(x)
+ D,au(x)).
Taking the supremum over all such Q finishes the proof of Lemma 5.4.2.
172
5. Good-A Inequalities for the Density of the Area Integral
We now proceed with the proof of (a)
r
Df3u(x; 0) log+ Df3u(x; O)dx
=
JR."
=}
(b) in Theorem 5.4.1. We compute:
r
Df3u(x; 0) log+ Df3u(x; O)dx
J{x:Dfju(x;O»I}
=
1=(11
Df3u(x; O)dx
-
A
1
~ C1
1=
{x:Dfju(x;O»>'}
)
d)"
I{x: MDf3u(x;O) > C2 )..}ld)".
This last estimate is just equation (6) in Stein [St3]; here C1 , C2 depend only on n. Set b = C 2 /2C where C is the constant appearing on the right hand side of Lemma 5.4.2. Then I{x : MDf3u(x; 0) > C2 )..} I ~ I{x : Df3u(x) > b)..}1
+ I{x : Mu(x) > b)..}I·
Using the fact that I\Df3UI\1 ~ CI\NaUI\1 (which follows from Theorem 5.3.3(c)) and the weak type 1-1 estimate for the Hardy-Littlewood maximal function we obtain:
r
Df3u(x; 0) log+ Df3u(x; O)dx
JR."
~ C11= I{x: Df3u(x) > b)..}ld)" + C1 ~ CI\Df3UI\1
~ CI\NaUI\1
C1=11 +"\ b
C +b
~ CI\Naulh + C
1 b
/\
{x:lu(x)I>H
I{x: Mu(x)
> b)..}ld)"
lu(x)ldxd)"
1
{x:lu(x)I>H
lu(x)1
1=
2IU (X)'
b
1 >.d)"dx
r lu(x)l(l + log+ lu(x)l)dx.
JR"
By Fatou's lemma, the last integral is dominated by
r
sup lu(x, y)l(l y>O JR"
+ log+ lu(x, y)\)dx.
This completes the proof. For various other applications and uses of the D-functional, we refer the reader to [BC2], [BC3], [BC4], [BC5], [Che4], and the survey article [Br2].
Chapter 6 The Classical LIL's in Analysis In this chapter we will describe how the LIL's in Chapter 3 are related to the classical LIL's for lacunary series and to the more recent LIL's for Bloch functions.
6.1
LIL's for lacunary series
The unit disc in the complex plane will be denoted, as in Chapter 3, by D and the unit circle by T. Throughout this section, a real trigonometric series with partial sums m
8 m (8)
=L
(ak cos nk8 + bk sin nk8)
k=l
which has nk+1/nk set
> q > 1 will be called a q-lacunary series. For such a series we
We remark that the definition of Bm used here differs from that in Chapter 3 by the factor in the parenthesis. With this present definition, B! is the variance of 8 m (using the probability measure d8/27r). This will make the following LIL's resemble the Kolomogorov LIL, (3.0.1). It has been shown over the years that lacunary series exhibit many of the properties of partial sums of independent random variables. (In the modern language of probability, lacunary series are examples of "weakly dependent" random variables.) The following, to the best of our knowledge, is the first LIL in analysis.
!
Theorem 6.1.1 (Salem-Zygmund [SZ2]) Suppose that, with the notation above, 8 m is q-lacunary and the nk are positive integers. Suppose also that Bm -+ 00 as m -+ 00 and 8 m satisfies the Kolmogorov-type condition:
173 R. Bañelos et al., Probabilistic Behavior of Harmonic Functions © Birkhäuser Verlag 1999
6. The Classical LlL's in Analysis
174
for some sequence of numbers Km ! o. Then . Sm((}) hmsup <1 m--->oo y'2B;" log log Bm for almost every () E T.
(6.1.1)
As we have clearly demonstrated by now (hopefully!), lower bounds in Kolmogorov-type LIL's are much more difficult to obtain, and this is the case here. Erdos and Gat [EG] were the first to make progress in this direction. They showed that if Sm((}) = 2::=1 exp(ink(}) , and if the nk are integers, then lim sup m--oo
Sm((}) = 1 ymloglogm
(6.1.2)
for almost every () E T. Later, M. Weiss gave a complete analogue of Kolmogorov's LIL in this setting. Theorem 6.1.2 (M. Weiss [We]) Suppose Sm is a lacunary series with Bm as m ----+ 00 satisfying the Kolmogorov-type condition (Ko). Then lim sup m--oo
Sm((}) y'2B;" log log Bm
=1
----+ 00
(6.1.3)
for almost every () E T. The analogous theorem for Abel means of real lacunary series is a consequence ofthis theorem [We]. To state this, let S(p, (}) = 2:~=1 pnk (ak cosnk() + bk sin nk(}) , where the nk are lacunary and set Bp = (~2:~l(a~ + bDp2nk)L Suppose that the ak and bk satisfy the conditions of Theorem 6.1.1. Then · 11m sup
.J
S(p, ())
=1
pj1 2B~ log log B p for almost every () E T. The modern probabilistic approach to the above theorems is via an invariance principle which gives stronger results. Set Bo = So = O. For () E T and t ::::: 0 define
(6.1.4) Theorem 6.1.3 (Philipp-Stout [PSI]) Let Sm be a q-lacunary series with Bm as m ----+ 00. Suppose
----+
00
Mm = O(B;,-O), for some 0 < 8 ::; 1. Then, without changing the distribution of {Ut : t::::: O}, we can redefine this process on a richer probability space together with standard Brownian motion {Wt : t::::: O} such that
(6.1.5) almost surely as t
----+ 00
for each rt
< 8/32.
175
6.1 LIL's for lacunary series
The invariance principle for martingales is the following: Theorem 6.1.4 (Philipp-Stout [PS2j) Let {d n } be a martingale difference sequence satisfying condition (Kd of Chapter 3:
Id 12 < K m
-
a 2 (fm) mloglog(ee + a 2 (fm)) '
almost surely on {a(f) = oo} for some sequence of constants Km a 2(fm) = 2:;;'=1 E(d~IFk-1). For t > 0, define
1 0,
where
m
it =
Lik,
k=1
Then the process it can be redefined on a richer probability space together with standard Brownian motion {Wt : t ~ O} such that ft - W t almost surely as t
-----> 00
= o(tloglogt)1/2,
(6.1.6)
on {a (f) = oo}.
Theorem 6.1.3 and 6.1.4 are the invariance principles discussed in the preface and mentioned several times before. These results, together with the easy LIL for Brownian motion, (equation (**) in the Preface), imply the corresponding results for {8m } and {fm}. Notice, however, that (K1 ) is stronger than (Ko). S. Takahashi [Ta] has obtained results similar to Theorem 6.1.3 with a condition very close to (Ko), and furthermore, with weaker conditions on the lacunarity of the nk. We leave this direction to the interested reader. Besides the Kolmogorov LIL, the above invariance principles have various other remarkable consequences. For example, Theorem 6.1.3 immediately implies the Kac-Salem-Zygmund [Zy2, vol. II, p. 269], [SZI] central limit theorem: 8 :::; r } m { () E T : ~ Bn
----->
1 I
V21f
Jr
2 exp( - -x )dx,
2
-00
(6.1.7)
as n
-----> 00 (here m is the probability measure d()/21f on T), and the Chung-type LIL discussed in Section 4.3:
~~~ COg~~Bn ) 1/2 8~(()) =
:s
(6.1.8)
for almost every () E T, where 8;;"(()) = max1~k~m 18k (())I. In fact, there are even functional versions of these results as Theorems C-E in Philipp and Stout [PSI] show. The above LIL's extend to the case of lacunary power series in the disc. Consider F(z) = 2:%:1 Ckznk with the nk lacunary and for 0 < p < 1 define
176
6. The Classical LlL's in Analysis
Bp = (E%"=llckI2p2nk )1/2. Note that Bp is the variance of F(pe i ()). M. Weiss [We] proves that under the assumptions of Theorem 6.1.2,
IF(pe i ()) I = 1, lim sup pi! J B~ log log Bp
(6.1.9)
for almost every () E T. There are also corresponding statements as in (6.1.7) and (6.1.8). In particular, if we set F;(()) = sUPO
1/2
F* (()) = ~ p 10' y8
(6.1.10)
for almost every () E T. The argument of Step 3 in the proof of Theorem 3.0.6 shows that for lacunary series of the form F(z) = 2:%"=1 akzqk, q> 1, and satisfying the hypothesis of Theorem 6.1.2, Aa (F) ((), p) is comparable with B p for p near 1. In addition, (K3) of Theorem 3.0.4 is satisfied by these functions. Thus, for such functions, Theorems 3.0.4 and 3.0.5 give the existence of two positive constants C l and C2 such that
IF(pe i ()) I C < lim sup
(6.1.11)
for almost every () E T. This, however, is weaker than the M. Weiss result since we do not know the constants. In the same way, Corollary 4.3.4 gives a one-sided version of the Chung-type LIL (6.1.10). In addition to the LIL of Theorem 6.1.1, Salem and Zygmund also considered another type of LIL for lacunary series. They considered a lacunary series 2:;::1 (ak cos nk() + bk sin nk()) where c~ = a~ + b~ satisfies 2:%"=1 C~ < 00. However, here instead of partial sums, they considered tail sums: 00
SN(()) = 2)akcosnk() + bksinnk())' k=N Then, setting
they showed: Theorem 6.1.5 (Salem-Zygmund [SZ2]) Suppose
131 < 00
and that
177
6.1 LIL's for lacunary series
for some sequence of numbers KN
10 as N
----* 00.
Then, (6.1.12)
for almost every e E T. Inspired by this and the fact that except for sets of Lebesgue measure zero,
{x E IR n :N;u(x) < oo} = {x E IR n : A~u(x) < oo}
= {x
E
IR n
:
lim
(s,t)->(x,O)
u(s,t), (s,t) E r~(x),exists and is finite},
(see Chapter 1, Section 8) we are led to the Question 6.1.6 Does there exist a constant C, depending only on n and a, such that if u is harmonic on IR~+ 1 then . 1~rnp hO
u(x, t) - u(x, 0) VA):,u(x;t)210gI0g A~u\X;t)
~C
(6.1.13)
for almost every x E {A;u(x) < oo}? In the absence of any other hypotheses, this seems unlikely to be true. Ideally, it would be true under hypotheses analogous to those of Theorem 6.1.5. In the case of independent random variable such tail 1IL's have been considered by Chow and Teicher [CT] and Barbour [Bar]. Possibly even more useful in the study of (6.1.13) would be the martingale tail 1IL's of Heyde [He] and Kesten [Ke2]. Other authors have shown results relating to these tail 1I1's; Huggins [Hu] approaches Heyde's result in another way and Clark [CI] gives an estimate of the speed of convergence in Heyde's tail 1IL. Our strategy for proving the upper-half 1IL, Theorem 3.0.4, could be simply explained by saying we reduced to the case of dyadic martingales and then applied Stout's upper-half LIL for martingales. It is possible that (6.1.13) could be approached in a similar way: reduce to the case of dyadic martingales and then apply Heyde's or Kesten's martingale tail 1IL. However, there seems to be some technical difficulties in following this plan and we have not done it. One difficulty is that both the tail LIL of Heyde and that of Kesten require stringent hypotheses comparing the local behavior of a martingale to its global behavior, so that in essence, the martingale must behave almost like a sum of independent random variables. It seems likely then, that even if we use the methods of Chapter 3 to reduce to dyadic martingales, we cannot be certain in general that the martingales we produce will satisfy the hypotheses of either Kesten's or Heyde's theorem. Naturally, we could extrapolate backwards to determine further hypotheses on the harmonic function so that its reduction to martingales yields a martingale to which either Heyde's or Kesten's theorems can be applied, but this seems technically complicated and we have not explored it. This approach may not give a good answer to
178
6. The Classical LIL's in Analysis
the question for the reason that all of our estimates for harmonic functions have paralleled estimates for dyadic martingales and both Heyde's and Kesten's results are for general discrete parameter martingales. As we have noted above, estimates for dyadic martingales can sometimes be different than estimates for general discrete parameter martingales. Consequently, an application of Heyde's or Kesten's results may be too restrictive. Perhaps then, a study of (6.1.13) should begin with a study of tail LIL's for dyadic martingales.
6.2
LIL's for Bloch functions
In the particular case of F(z) = .E~1 z2 k , an easy exercise (hint: estimate using an integral) verifies that 2
BP
~ 2.2 k = ~ P '"
1 (1)
log 2 log
1_ P ,
k=1
as
pi 1.
Thus, in this case (6.1.9) and (6.1.10) become, respectively,
!F(pe iO ) I
lim sup PTl
Jlog
l~p log log log l~p
1 v'log2
(6.2.1)
and liminf ( pjl
log log log
1
G
log l~p
) 1/2
F*(O) = p
71'
.j8log 2
(6.2.2)
for almost every 0 E T. The function F(z) = .E~l z2 k is a Bloch function, which, we recall from Chapter 3, means that F is an analytic function on the unit disc D which satisfies
I!FIIB = IF(O)I + sup(l -lzD!F'(z)1 < 00. zED
(6.2.3)
More generally, consider F(z) = .E~1 akz qk with sUPk lakl ~ 1 and q ~ 2. We have
179
6.2 LIL's for Bloch functions 00
+ pqk+l + ... + pqk+l_ l ]
:::; q ~ 1 Eqk [pqk k=l 00
< _q_P" kpk-l = -q-
P q - 1 (1 - p)2 '
- q- 1 ~ k=l
from which it follows that IIFIIB < 00. In [Mal], N.G. Makarov proved that the upper half in (6.2.1) is true for any Bloch function. More precisely, we have Theorem 6.2.1 (N.G. Makarov [Mal]) There is a constant CM such that for any Bloch function F, lim sup pil
IF(pe ili ) I Vlog l~p log log log
l~p
:::; CMIIFIIB
(6.2.4)
for almost every () E T. Proof: If F is a Bloch function, then
A~(F)((}; p) = :::;
1
r",(Ii;p)
IF'(z)1 2dxdy =
r -( 1-r
o:llFlI~ h
r )dr:::;
l
0
p lli+.9.(l-r) 2
IF'(rei1/)12rdrdry
Ii-%(l-r)
o:llFll~log
(_1_). 1-p
It follows from this and Theorem 3.0.4 that lim sup pj1
IF(pe ili ) I V log
l~P log log log l~p
~
C",IIFIIB
(6.2.5)
for almost every () E {() E T: A",(F)((}) = oo}. For almost all those (}'s for which A",(F)(O) < 00, the function F(pe ili ) has finite limit as p i 1 and so (6.2.4) trivially holds. This proves Makarov's Theorem. A computation similar to that above shows the estimate g~(Fp)((}) ~ 211F11~ log l~ ,which together with the 1IL for g*, Theorem 3.4.1, implies Theorem 6.2.1 with CM = 2. Other proofs which give this same constant are given in T. Lyons [Ly] and Ch. Pommerenke [Po]. The question of whether the constant 2 is best possible is an open problem, as far as we know. Suppose that F is a Bloch function which also satisfies the assumptions of Jones [Jo], (3.2.28). Then for all () E T,
A;(F)((};p)
~ C",log
(_1_). 1-p
(6.2.6)
6. The Classical LIL's in Analysis
180
Since Bloch functions clearly satisfy the condition (K3 ), the lower bound of our LIL, Theorem 3.0.5, gives Jones' result:
IF(pe iO ) I
lim sup
Vlog
pj1
l~P log log log l~P
>G -
(6.2.7)
E:'
for almost every () E T. In the same way it follows from Corollary 4.3.4 that under (6.2.6), .. hmmf
(
log log log log
pj1
1 ) 1/2 1-p
1
Na (F) ((); p) ;::: Gc;,a
(6.2.8)
1-p
for almost every () E T. Here,
Na(F)((); p) = sup{IF(z)1 : z E r a((), p)} is the truncated nontangential maximal function. For Bloch functions, Na(F)((); p) is pointwise comparable to F;(()). This, and the result for lacunary series, (6.2.2), raises the following Question 6.2.2 Is there an upper bound in (6.2.8) for Bloch functions?
6.3
LIL's for subclasses of the Bloch space
In this section we will give some applications of our results in Chapter 3 to the study of various classes of Bloch functions for which a lower bound does not exist in Makarov's LIL. A Bloch function F is said to be in the space Bo if (1 - IzI}IF'(z)1 ----t 0 as Izl ----t 1 and it is said to be in B1 if for every sequence {Zn} C D with IF(zn)1 ----t 00 we have (1 - IZnl)IF'(zn)1 ----t O. Plainly, Bo <;;; B 1 . Examples of functions in B1 are given by lacunary power series with coefficients tending to zero; see J.L. Fernandez [Fer] for more on this. We start with the following simple result. To simplify notation we set for the rest of this section
'\(p)
=
log
C~
p)'
0 < p < 1.
Theorem 6.3.1 For F E Bo
lim sup pj1
for almost every () E T.
IF(peiO)1
J '\(p) log log '\(p)
= 0,
(6.3.1)
181
6.3 LIL's for subclasses of the Bloch space
Proof: For any e > 0 there is a Po, depending on e, such that (1 - Izl)lF'(z)1 < e for Izl > Po. Let 1 > P > Po. Then, computing as in the proof of Theorem 6.2.1, we find that
A~(F)(O, p) ::; allFll~ log (1 ~ po) + ae 2 log (1 ~ p) ::; 2ae2log (_1_) I-p
= 2ae 2 )..(p),
if P > PI > Po, with PI depending on Po, e and the Bloch norm of F. Since e > 0 was arbitrary, Theorem 6.3.1 follows from the upper bound of the 1IL, Theorem 3.0.4. By Theorem 4.4.2, for any 0 < p < 00, (6.3.2) A straightforward computation similar to that in the proof of Theorem 6.2.1 shows that for 0 < p < 1 (6.3.3) In fact, if FE B o, we can argue as in the proof of Theorem 6.3.1 to improve (6.3.3) to: A~(Fp)(O) ::; 2ae2)..(p) , whenever e > 0 and P is chosen sufficiently close to 1. This, plus (6.3.2) shows that for all 0 < p < 00, limsup pll
~(
V)..(p)
(27r IF(pei0)IPdO) lip = 0,
(6.3.4)
io
whenever F E Bo. In [Gil, D. Girela proves that (6.3.1) and (6.3.4) also hold for FEBI . Theorem 6.3.2 (Girela [Gil) Let FE B I 1 limsup /\7:\ pTl v)..(p)
(1
27r
a
.
Then for any 0 < p < . ) IF(pe'°)IPdO
lip
= 0
00,
(6.3.5)
and lim sup pll
J
IF(peiO)1 = 0 )..(p) log log )..(p)
(6.3.6)
for almost every 0 E T. The following lemma proves (6.3.5) with some additional information. This lemma, as we will momentarily see, also implies (6.3.6). Notice that in both (6.3.5) and (6.3.6) it suffices to assume F(O) = 0 which we do for the rest of this section.
6. The Classical LIL's in Analysis
182
Lemma 6.3.3 Let F E Bl with F(O) = 0 and c numbers, 0 < Pm < 1, depending on c and with Pm for each m = 1,2, ... ,
>
O. There is a sequence of 1 as m ----4 00 such that
----4
(6.3.7)
I!FIIE'
In fact, we may
I!FIIE ::;
1. By Theorem
for all P > Pm, where eo is a constant depending only on take Pm to be of the form
where Me is a constant which depends only on c. Proof: Fix 4.4.2,
a > 0,
and without loss of generality assume
121' (F;(O)) 2m dO ::; em
(v'2mfm 121' A~m(Fp)(O)dO.
Thus, it is enough to show that for P > Pm, (6.3.8) As in Chapter 5, we let Da(Fp)(O) denote the D-functional of Fp. By Theorem 5.3.3 there is a constant e l , depending only on a, such that whenever 0 < P < 1, (6.3.9) Since F E B l
,
we may choose Me so large so that if IF(z)1 > Me, then (5.0.4), if 0 < P < 1,
(1-lzI)IF'(z)1 < vii. Then, by the change of variables formula,
A~(Fp)(O) =
r
!F'(pZ)12p 2dxdy
J{zaa(&):IF(pz)I<M,,} .
+ =
1
r
IF'(pz)12p 2dxdy
1
J{za a (&):IF(pz)I>M,,}
M"
-M"
Da(Fp)(O; a)da +
::; 2MeDa(Fp)(O)
rare)
cp2
(1 - plzl)
2
dxdy
(6.3.10)
+ CtcA(p).
Now suppose P > PI = 1 - exp(( -Me/c)2). Then integrating (6.3.10) and using (6.3.9) and (6.3.3) we obtain
121' A~(Fp)(O)dO ::; 2Me
121' Da(Fp)(O)dO + acA(p)
6.3 LIL's for subclasses of the Bloch space
::; 2cV),(Pl)Cl
183
127r A2a(Fp)(e)de + 2nac),(p)
::; 2cV),(p)Cl2n~v),(p)
+ 2nac),(p)
= (4n~Cl + 2na)c),(p) which proves (6.3.8) for m = 1 with the constant C continue by induction. Suppose
= 4nV2QCl + 2na.
We now
for p > Pm-l. Then for P > Pm, (6.3.10), (6.3.3), the induction hypothesis, and (6.3.9) give
127r A~m(Fp)(e)de ::; 2Mc 127r A~(m-l)(Fp)(e)Da(Fp)(e)de + ac),(p) 127r A~(m-l)(Fp)(e)de ::; 2Mcam-l(),(p))m-l 127r Da(Fp)(e)de + ac),(p)cm-lcm-l(),(p))m-l ::; 2cmV),(Pm)am-l(),(p))m-lCl
127r A2a(Fp)(e)de
+ aCm-lcm(),(p))m ::; 2cm a m - l (),(p))m-! C l 2nv2a),(p)
=
(4nV2a m-!Cl
+ aCm-lcm(),(p))m
+ aCm-l)cm(),(p))m
::; cmcm(),(p))m. Here the last inequality follows by noting that a m -! ::; cm-lva and so 4nV2a m-!Cl + aC m- l ::; 4nV2QCm - l C l + 2naC m - l = cm. With a fixed, C is independent of m, c and F (as long as IIFIIE ::; 1). This completes the proof of (6.3.8) and thus completes the proof of the lemma. Before proceeding with the proof of (6.3.6), we make some observations about (6.3.5). If we define for 0 < p < 00,
then for 0 < p ::; 2, Jensen's inequality gives (6.3.11)
184
6. The Classical LIL's in Analysis
or (6.3.12) Thus, to prove (6.3.5) it is enough to do it for p = 2 and the requisite estimate for this is provided by Lemma 6.3.3. Therefore, estimate (6.3.5) does not require information on the behavior of the constant Cp in the inequality IIF* lip::; CpIIA"llp. However, the fact that Cp ::; Cyfp for p 2: 2 is crucial for the proof of (6.3.6) which we now come to.
Proof of {6.3.6}: Let c > O. Let rm = 1 - e-e m and Am = ve m logm. We claim that 00
(6.3.13) m=l
for some constant C. For this, let [logm] denote the integer part oflogm. Observe that if m is large enough, rm > P[logmj, where {Pj} is the sequence of Lemma 6.3.3. By Chebychev's inequality and Lemma 6.3.3,
I{O E T: F* (0) > CyeA }I < m
rm
1 - C2[logm]c[logm]A m2[logm]
10r
27r
F* (0)2[logmjdO rm
< cgOg m] c[log mj ([log m]) [log m] (A(r m)) [log m] =
C2[logm]dlogm]A~logm]
(Co) [logm] C2
([log m]) [log m] < (logm)[logm] -
(Co) [logm] C2
If we take C = e.JCo, we have (6.3.13). The Borel-Cantelli Lemma now gives that F:m (0) ::; CyeAm eventually for almost every 0 E T. That is, for almost every 0 E T, there is an mo = mo(O) such that F:m (0) ::; CyeAm for all m 2: mo. Let P > rmo and choose m 2: mo such that rm::; P < rm+1· Since F;(O) is increasing in P and Am = VA(rm)loglogA(rm ),
F;(O) < F;",+l (0) ::; CyeAm+l ::; CyeAm ::; C yeV A(p) log log A(p) , which proves (6.3.6) since c was arbitrary.
6.4 On a question of Makarov and Przytycki
6.4
185
On a question of Makarov and Przytycki
In [Gi], Girela also proved that if the L 2 -norms of F(pe iIJ ) grow slowly enough as p i 1 then, with no other assumption on F, (6.3.6) still holds. The following generalizes his result.
Theorem 6.4.1 Let F be a Bloch function. Suppose that
, h(27r IF(peiIJWdB ~ ",(p) log (_1_) I-p
where '" satisfies 00
" ~
",(1 _ e-e"')
(logm)/3
<00
for some (3 2: O. Then (6.3.6) holds. Girela's result, [Gi, Theorem 3], is the case
",(p) = (
1
log log l~p
)0<
for some 0: > 1. The proof of Theorem 6.4.1 is very simple. We may assume (32: 2. With rm and Am as in the proof (6.3.6), Chebychev's inequality and (6.3.12) (with p = 2(3) gives that * () r::. }I 0/3 ",(rm ) I{BET.. FrTn B > yeAm ~ e/3 (logm)/3·
Thus the series in (6.3.13) is again finite. We can then continue as before. Notice that if F is a lacunary series then since
B;
=
2~ 1027r IF(peiIJWdB,
the M. Weiss LIL shows that if
· sup ~ 11m A( ) = 0 pi!
then, lim sup pll
P
(6.4.1)
IF(pe;8)1 = VA(p)loglogA(p)
0
for almost every BET
and if lim sup pp
IF(pe;8)1 VA(p)loglogA(p)
then,
rl~\\n . f~ A(p)
=
0.
=0
on a set of positive measure, (6.4.2)
186
6. The Classical LIL's in Analysis
We have shown above that for Bloch functions F in Bo or B 1 , both limsups in (6.4.1) are zero (Theorem 6.3.2) and that with some additional information on B~/ >..(p) we have (6.4.1) in general (Theorem 6.4.1). This represents our knowledge of (6.4.1) for general Bloch functions. Of course, under the stronger hypothesis that IIA;(F)(8j p)lloo = o(>..(p)) as p iI, we do have the conclusion in (6.4.1), as shown above. Concerning (6.4.2) we have the following result proved in Banuelos and Moore [BM5] which answered in the negative a question raised by N. Makarov [Ma2, p. 42] and F. Przytycki [Prz, p. 154]. Theorem 6.4.2 There is a Bloch function F with lim sup Ptl
I
F(pei(J) I
V)..(p)loglog)..(p)
=0
(6.4.3)
for almost every 8 E T and with B2 liminf \(p) > Ptl
A
P
o.
(6.4.4)
Proof: We shall construct a function F of the form
L 00
F(z) where
bk ( Z ) =
a4kZ
4k
=
m=l
L bk(z) 00
amz m =
k=l
+ a4k+lz4k+l + ... + a4k+1_1Z 4 k +1 _1
and which satisfy Ilbkll oo ::::: 1 for all k,
(6.4.5)
>0
(6.4.6)
I bk(ei(J) I lim sup k=l = 0 m---+oo vmloglogm
(6.4.7)
~ (fa;)
liminf m---+oo og m
j=4
and
f
for almost every 8 E T. It is known that (6.4.5) implies that F is a Bloch function (see [Ma2], [Prz]). Also, as in M. Weiss [We], the results (6.4.6) and (6.4.7) for partial sums imply the corresponding results for the Abel means (see also Chapter 3, Section 3) and so we only need to construct F with (6.4.5)-(6.4.7). To do this, we claim it is enough to construct bj's such that
6.4 On a question of Makarov and Przytycki
(i)
Ilbj 1100
(ii)
If 4£ ~ j < 4£+1, then
187
~ 1 for all j.
\t
i=4l
bi \
~ V4£+1.
To show this claim we first note (i) and (6.4.5) are the same. Now, fix m and choose r so that 4r ~ m < 4r+1, and then choose s so that 48 ~ r - 1 < 4S+ 1. Then making repeated use of (iii) we arrive at
So, (iii) implies (6.4.6). For (6.4.7), fix m and again pick r so that 4r ~ m < 4r+1. Then
and so (6.4.7) follows from (ii). So we have reduced matters to the construction of bk which satisfy (i)-(iii). Once again, the inspiration for this comes from the construction of a dyadic martingale with similar properties. We inductively define the bk's (which play the role of the martingale difference sequence here) in such a way that the partial sums of bk (which play the role of the martingale sequence) are "stopped" at the places where they begin to grow too large and thus we will get an estimate like (ii). However, we must continue to add enough so that (iii) will be valid. Fix an integer f. For j = 4£ we set bj = z4j, Z E T, and for j = 4£ + 1, 4£ + 2, ... ,4£H - 1 and z E T we recursively define
We now check that these bj's work. First note that (i)-(iii) are true for bj for j = 4£. Now fix a k such that 4£ < k ~ 4£H - 1 and assume (i)-(iii) are true for j = 4£, 4£ + 1, ... , k - 1. We also assume that for each such j, bj(m) = 0 if
188
6. The Classical LIL's in Analysis
m ¢:. {4 j , 4j + 1, ... ,4j +1 - I} where bj (m) is the coefficient of zm in the series for bj(z). Note that if we set
then gk(m) = 0 if m ¢:. {_4k, -4 k + 1, ... ,0, ... ,4k -1, 4k}. Thus, if m < 2· 4k 4k = 4k, then bk(m) is also zero. In the same way, ifm > 4 k +2·4k = 3·4 k , bk(m) is zero. But 3·4 k < 4k+ 1 -1 and we conclude that bk(m) = 0 ifm ¢:. {4 k , ... ,4k+1-1}. Thus bk (z) has the desired form. By the induction hypothesis,
and so we trivially have
Ilbklloo :-: ; 1. In the same way,
where we have used the fact that if x is a real number with 0 < x < v'4H1 then x + 1 - 4-(£+1)x 2 :-::; v'4H1. (An easy calculus exercise.) This shows(ii). Finally,
2
i=4t
~ ~(k =
~ (k -
+1-
2
2 . 4-(H1)
L2(T)
i=4 t
4£)(1 - 2· 4-(H1») 4£ - 2· 4-(H1)k
+1
+~)
peT)
+
~ ~ (k - 4£ - ~) + 1 = ~(k + 1 -
1 4£).
Thus (iii) also holds for j = k. This completes the proof of Theorem 6.4.2.
6.4 On a question of Makarov and Przytycki
Remark 6.4.3 In [Prz]' Przytycki conjectures a variant of (6.4.2): If
lim sup pll
IF(pei ())I
.JA(p) log log A(p) =
0
on a set of positive measure, then B2 limsup A(P) = O. pj1 P
This is false even for lacunary series. An example is given by
F(z) =
L L z2K 00
K",
m=lj=O
where Km = 22'" (see also Makarov [Ma2]).
",+j ,
189
References [ABR]
S. Axler, P. Bourdon and W. Ramey, Harmonic Function Theory, Graduate Texts in Mathematics, vol. 137, Springer-Verlag, New York, 1992.
[BS]
F. Bagemihl and W. Seidel, Some boundary properties of analytic functions, Math. Zeit. 61 (1954), pp. 186~199.
[Ba1]
R. Banuelos, A sharp good-A inequality with an application to Riesz transforms, Michigan Math. J. 35 (1988), pp. 117~125.
[Ba2]
R. Banuelos, Brownian motion and area functions, Indiana Univ. Math. J. 33 (1986), pp. 547~563.
[BB]
R. Banuelos and J. Brossard, The area integral and its density for BMO and VMO functions, Ark. Mat. 31 (1993), pp. 175~ 196.
[BKMl] R. Banuelos, 1. Klemes and C.N. Moore, An analogue for harmonic functions of Kolmogorov's law of the iterated logarithm, Duke Math. J. 57 (1988), pp. 37~ 68. [BKM2] R. Banuelos, 1. Klemes and C.N. Moore, Lower bounds in the law of the iterated logarithm for harmonic functions, Duke Math. J. 60 (1988), pp. 37~ 68. [BMl]
R. Banuelos and C.N. Moore, Some results in analysis related to the law of the iterated logarithm, Analysis in Urbana 1 (1989), pp. 47~80, Cambridge Univ. Press, Cambridge.
[BM2]
R. Banuelos and C.N. Moore, Laws of the iterated logarithm, sharp goodA inequalities and LP -estimates for caloric and harmonic functions, Indiana Univ. Math. J. 38 (1989), pp. 315~344.
[BM3]
R. Banuelos and C.N. Moore, Sharp estimates for the nontangential maximal function and the Lusin area function in Lipschitz domains, Trans. Amer. Math. Soc. 312 (1989), pp. 641~662.
[BM4]
R. Banuelos and C.N. Moore, Distribution function inequalities for the density of the area integral, Ann. Inst. Fourier, Grenoble 41 (1991), pp. 137~171.
[BM5]
R. Banuelos and C.N. Moore, Mean growth of Bloch functions and Makarov's law of the iterated logarithm, Proc. Amer. Math. Soc. 112 (1991), pp. 851~854.
[Bar]
A.D. Barbour, Tail sums of convergent series of independent random variables, Proc. Camb. Phil. Soc. 75 (1974), pp. 361~364.
[BYl]
M.T. Barlow and M. Yor, (Semi) Martingale inequalities and local times, Z. Wahrscheinlichkeitstheorie. Verw. Geb. 55 (1981), pp. 237~354. 191
192
References
[BY2]
M.T. Barlow and M. Yor, Semi-martingale inequalities via the Garsia-Rodemich-Rumsey lemma, and applications to local times, J. Funct. Anal. 49 (1982), pp. 198-229.
[BasI]
R. Bass, LP -inequalities for functionals of Brownian motion, Seminaire de Probabilites XXI, Lecture Notes in Math. 1247 (1987, Springer-Verlag, New York), pp. 206-217.
[Bas2]
R. Bass, Probabilistic Techniques in Analysis, Springer-Verlag, New York, 1995.
[Bi]
N.H. Bingham, Variants on the law of the iterated logarithm, Bull. London Math. Soc. 18 (1986), pp. 433-469.
[Br1]
J. Brossard, Densite de l'integrale d'aire dans tielles, Invent. Math. 93 (1988), pp. 297-308.
[Br2]
J. Brossard, Positivity default for martingales and harmonic functions, Proc. of Symposia in Pure Mathematics, Stochastic Analysis at Cornell, (M. Cranston and M. Pinsky, eds.), 1995.
[BC1]
J. Brossard and L. Chevalier, Classe LlogL et temps local, C.R. Acad. Sci. Ser. I. Math. 305 (1987), pp. 135-137.
[BC2]
J. Brossard and L. Chevalier, Classe LlogL et densite de l'integrale d'aire dans 1R.+.+1, Ann. of Math. 128 (1988), pp. 603-618.
[BC3]
J. Brossard and L. Chevalier, Probleme de Patou ponctuel et derivabilitie de mesures, Acta Math. 164 (1990), pp. 237-263.
[BC4]
J. Brossard and L. Chevalier, Limites non tangentielles, limites browniennes en probabilite et limites semi-fines, J. Reine Angew. Math. 421 (1991), pp. 141157.
[BC5]
J. Brossard and L. Chevalier, Un reciproque optimale du theoreme de Patou ponctuel, Adv. in Math. 115 (1995), pp. 300-318.
[Bu1]
D.L. Burkholder, Distribution function inequalities for martingales, Ann. Prob. 1 (1973), pp. 19-42.
[Bu2]
D.L. Burkholder, One-sided maximal functions and HP, J. Funet. Anal. 4 (1975), pp. 429-454.
[Bu3]
D.L. Burkholder, Exit times of Brownian motion, harmonic majorization and Hardy spaces, Adv. in Math. 26 (1977), pp. 182-205.
[Bu4]
D.L. Burkholder, Martingale theory and harmonic analysis in Euclidean spaces, Proc. of Symposia in Pure Mathematics 32 (1979), pp. 283-301.
[Bu5]
D.L. Burkholder, Sharp inequalities for martingales and stochastic integrals, Colloque Paul Levy, Asterisque 157-158 (1988), pp. 75-94.
[BG1]
D.L. Burkholder and R.F. Gundy, Extrapolation and interpolation of quasilinear operators on martingales, Acta Math. 124 (1970), pp. 249-304.
1R.+.+1 et limites non tangen-
References
193
[BG2]
D.L. Burkholder and RF. Gundy, Distribution function inequalities for the area integral, Studia Math. 44 (1972), pp. 527-544.
[BGS]
D.L. Burkholder, RF. Gundy, and M.L. Silverstein, A maximal function characterization of the class HP, Trans. Amer. Math. Soc. 157 (1971), pp. 137-153.
[Cal]
A.P. Calderon, On the behavior of harmonic functions near the boundary, Trans. Amer. Math. Soc. 68 (1950), pp. 47-54.
[Ca2]
A.P. Calderon, On a theorem of Marcinkiewicz and Zygmund, Trans. Amer. Math. Soc. 68 (1950), pp. 55-61.
[Ca3]
A.P. Calderon, Commutators of singular integral operators, Proc. Nat. Acad. Sci. U.S.A. 53 (1965), pp. 1092-1099.
[CT]
A.P. Calderon and A. Torchinsky, Parabolic maximal functions associated with distributions, Adv. in Math. 16 (1975), pp. 1-64.
[CZ1]
A.P. Calderon and A. Zygmund, On the existence of certain singular integrals, Acta Math. 88 (1952), pp. 85-139.
[CZ2]
A.P. Calderon and A. Zygmund, Singular integrals and periodic functions, Studia Math. 14 (1954), pp. 249-271.
[CWW] S.Y. Chang, J.M. Wilson and T.H. Wolff, Some weighted norm inequalities concerning the Schrodinger operator, Comment. Math. Helv. 60 (1985), pp. 217-246. [Che1] L. Chevalier, Espace BMO, mesures de Carleson, fonctions g de LittlewoodPaley generalisees et conditions d'annulation, Math. Ann. 297 (1993), pp. 269288. [Che2] L. Chevalier, Quelles sont les fonctions qui operent de BMO dans BMO ou de BMO dans roo? , Bull. London Math. Soc. 27 (1995), pp. 590-594. [Che3] L. Chevalier, Fonction Maximal forte et integrale de Marcinkiewicz, Journal D'analyse MatMmatiques 65 (1995), pp. 161-178. [Che4] L. Chevalier, Une ''formule de Tanaka" en analyse harmonique et quelques applications, Adv. in Math. 138 (1998), pp. 182-210. [CH]
Y.S. Chow and H. Teicher, Iterated logarithm laws for weighted averages, Z. Wahrscheinlichkeitstheorie Verw. Geb. 26 (1973), pp. 87-94.
[Chul] K.L. Chung, On the maximum partial sum of sequences of independent random variables, Trans. Amer. Math. Soc. 64 (1948), pp. 205-233. [Chu2] K.L. Chung, A Course in Probability Theory (2nd ed.), Academic Press, New York,1974. [CI]
J.M.C. Clark, Convergent martingales of asymptotically minimal fluctuation, Probab. Th. ReI. Fields 75 (1987), pp. 531-543.
[CF]
RR Coifman and C. Fefferman, Weighted norm inequalities for maximal functions and singular integrals, Studia Math. 51 (1974), pp. 241-250.
194
References
[CsF)
E. Csaki and A. Foldes, How small are the increments of the local time of a Wiener process?, Ann. Prob. 14 (1986), pp. 533~546.
[Da1)
B.E.J. Dahlberg, Estimates of harmonic measure, Arch. Rational Mech. Anal. 65 (1977), pp. 272~288.
[Da2)
B.E.J. Dahlberg, Weighted norm inequalities for the Lusin area integral and the nontangential maximal functions for functions harmonic in a Lipschitz domain, Studia Math. 67 (1980), pp. 297~314.
[Dav1) B. Davis, On the LP norms of stochastic integrals and other martingales, Duke Math. J. 43 (1976), pp. 697~704. [Dav2) B. Davis, On the Barlow- Yor inequalities for local time, Seminaire de Probabilites XXI, Lecture Notes in Math. 1247 (1987, Springer-Verlag, New York), pp. 218~220. [Du)
P.L. Duren, Theory of HP spaces, Academic Press, New York, 1970.
[Dur)
R. Durrett, Brownian Motion and Martingales in Analysis, Wadsworth, Belmont, CA, 1984.
[EI)
N. Eisenbaum and I. Iribarren, La densite de l'integrale d'aire et le temps local associes aux prolongements paraboliques, C.R. Acad. Sci. Ser. I., (to appear).
[EG)
P. Erdos and I.S. Gal, On the law of the iterated logarithm, Nederl. Akad. Wetensch. Proc. Ser. A. 58 (1955), pp. 65~84.
[Fe)
C. Fefferman, The uncertainty principle, Bull. Amer. Math. Soc. 9 (1983), pp. 129~206.
[FS)
C. Fefferman and E.M. Stein, HP spaces of several variables, Acta Math. 129 (1972), pp. 137~193.
[FGSS) R. Fefferman, R.F. Gundy, M. Silverstein and E.M. Stein, Inequalities for ratios of functionals of harmonic functions, Proc. Nat. Acad. Sci. U.S.A. 79 (1982), pp. 7958~7960. [Fer)
J. Fernandez, On the coefficients of Bloch functions, J. London Math. Soc. 29 (1984), pp. 94~102.
[F1]
T.M. Flett, On some theorems of Littlewood and Paley, J. London Math. Soc. 31 (1956), pp. 336~344.
[Fo]
G.B. Folland, Introduction to Partial Differential Equations, Princeton University Press and University of Tokyo Press, Princeton, New Jersey, 1976.
[FJW]
M. Frazier, B. Jawerth and G. Weiss, Littlewood-Paley Theory and the Study of Function Spaces, CBMS, vol. 79, 1991.
[Ga]
J. Garnett, Bounded Analytic Functions, Academic Press, New York, 1980.
[Gar]
A. Garsia, Martingale Inequalities: Seminar notes on recent progress, Benjamin, Reading, MA, 1973.
References
195
[GRR] A.M. Garsia, E. Rodemich and H. Rumsey, A real variable lemma and continuity of paths of some Gaussian processes, Indiana Univ. Math. J. 20 (1971), pp. 565-578. [Gas]
G. Gasper, Jr., On the Littlewood-Paley and Lusin functions in higher dimensions, Proc. Nat. Acad. Sci. U.S.A. 51 (1967), pp. 25-28.
[Gi]
D. Girela, Integral means and radial growth of Bloch functions, Math. Zeits. 195 (1987), pp. 37-50.
[Gu1]
RF. Gundy, The density of the area integral, Conference on Harmonic Analysis in Honor of A. Zygmund, (W. Becker, A. Calderon, R Fefferman and P. Jones, eds.), Wadsworth, Belmont, CA (1983), pp. 138-149.
[Gu2]
RF. Gundy, Some topics in probability and analysis, CBMS, vol. 10, 1989.
[GI]
R Gundy and I. Iribarren, Quadratic variation functionals and dilation equations, Potential Analy. 4 (1995), pp. 503-519.
[GS]
RF. Gundy and M. Silverstein, The density of the area integral in R++1 , Ann. Inst. Fourier, Grenoble 35 (1985), pp. 215-229.
[GW]
RF. Gundy and RL. Wheeden, Weighted integral inequalities for the nontangential maximal function, Lusin area function, and Walsh-Paley series, Studia Math. 49 (1974), pp. 107-124.
[HH]
P. Hall and C.C. Heyde, Martingale Limit Theory and its Application, Academic Press, New York, 1980.
[HL]
G.H. Hardy and J.E. Littlewood, A maximal theorem with function-theoretic applications, Acta Math. 54 (1930), pp. 81-116.
[Ha]
J.R Hattemer, Boundary behavior of temperatures I, Studia Math. 25 (1964), pp. 111-155.
[He]
C.C. Heyde, On central limit and iterated logarithm supplements to the martingale convergence theorem, J. Appl. Prob. 14 (1977), pp. 758-775.
[Ho]
K. Hoffman, Banach Spaces of Analytic Functions, Prentice Hall, Englewood
[Hor]
L. Hormander, Estimates for translation invariant operators in LP spaces, Acta Math. 104 (1960), pp. 93-139.
[Hu]
RM. Huggins, On functional laws of the iterated logarithm, Z. Wahrscheinlichkeitstheorie Verw. Geb. 69 (1985), pp. 243-250.
[HW]
RA. Hunt and RL. Wheeden, On the boundary values of harmonic functions, Trans. Amer. Math. Soc. 132 (1968), pp. 307-322.
[Jo]
P.W. Jones, Square functions, Cauchy integrals, analytic capacity, and harmonic measure, Proc. Harmonic Analysis Conference, El Escorial, Lecture Notes in Math. 1384 (1989, Springer-Verlag, New York), pp. 24-68.
[Jou]
J.L. Journe, Calder6n-Zygmund Operators, Pseudo-Differential Operators and the Cauchy Integral of Calder6n, Lecture Notes in Math., vol. 994, SpringerVerlag, New York, 1983.
Cliffs, New Jersey, 1962 reprinted by Dover Publications, New York.
196
References
[Ka]
M. Kaneko, Estimates of area integrals by nontangential maximal functions, Tohoku Math. J. 39 (1987), pp. 589-576.
[Kat]
Y. Katznelson, An Introduction to Harmonic Analysis, Wiley, New York, 1968 reprinted by Dover Publications, New York, 1976.
[Kel]
H. Kesten, An iterated law for local time, Duke Math. J. 32 (1965), pp. 447456.
[Ke2]
H. Kesten, The speed of convergence of a martingale, Israel J. Math. 32 (1979), pp.83-96.
[Ki]
A. Khintchine, Uber einen Satz der Wahrscheinlichkeitsrechnung, Fundamenta Math. 6 (1924), pp. 9-40.
[Ko]
N. Kolmogorov, Uber des Gesetz des iterierten Logarithmus, Math. Ann. 101 (1929), pp. 126-139.
[Koo]
P. Koosis, Introduction to Hp Spaces, London Mathematical Society Lecture Note Series, vol. 40, Cambridge University Press, Cambridge, 1980.
[Ku]
D. Kurtz, Littlewood-Paley operators on BMO, Proc. Amer. Math. Soc. 99 (1987), pp. 657-666.
[LeI]
P. Levy, Processus Stochastiques et Mouvement Brownien, Gauthier-Villars, Paris, 1948.
[Le2]
P. Levy, Theorie de L'addition de variables aleatoires 2, Gauthier-Villars, Paris, 1954.
[LP]
J.E. Littlewood and R.E.A.C. Paley, Theorems on Fourier series and power series, (I), J. London Math. Soc. 6 (1931), pp. 230-233 (II), Proc. London Math. Soc. 42 (1936), pp. 52-89 (III), Proc. London Math. Soc. 43 (1937), pp. 105-126.
[Lu]
N. Lusin, Sur une propriete des fonctions Math. Soc. 20 (1930), pp. 139-154.
[Ly]
T. Lyons, A synthetic proof of Makarov's law of the iterated logarithm, Bull. London Math. Soc. 22 (1990), pp. 159-162.
[Mal]
N.G. Makarov, On the distortion of boundary sets under conformal mappings, Proc. London Math. Soc. 51 (1985), pp. 369-384.
[Ma2]
N.G. Makarov, Probability methods in conformal mappings I, II, LOMI Preprints, USSR Acad. Sci. Steklov Math. Inst. Leningrad, (1988).
[Mar]
J. Marcinkiewicz, Sur l'interpolation d'operations, C.R. Acad. Sci. Paris 208 (1939), pp. 1272-1273.
[MZl]
J. Marcinkiewicz and A. Zygmund, Remarques sur la loi du logarithme itere, Fundamenta Math. 29 (1937), pp. 215-222.
[MZ2]
J. Marcinkiewicz and A. Zygmund, A theorem of Lusin, Duke Math. J. 4 (1938), pp. 473-485.
a carre sommable,
Bull. Calcutta
References
197
[Mc]
T.R. McConnell, Area integrals and subharmonic functions, Indiana Univ. Math. J. 33 (1984), pp. 289-303.
[Mel]
P.A. Meyer, Demonstration probabiliste de certaines inegalites de LittlewoodPaley, I., Seminare de Probabilites, X (Univ. Strasbourg 1974/75), Lecture Notes in Math. 511 (1976), pp. 125-141.
[Me2]
P.A. Meyer, Retour sur La theorie de Littlewood-Paley, Seminar on Probability XV (Univ. Strasbourg, 1979/80), Lecture Notes in Math. 850 (1981), pp. 151166.
[Mol]
C.N. Moore, Some applications of Cauchy integrals on curves, Ph.D. thesis, University of California, Los Angeles, 1986.
[Mo2]
C.N. Moore, Some inequalities for the density of the area integral, Proc. University of Chicago Conference in Partial Differential Equations with Minimal Smoothness, IMA Publications, vol. 42, (B. Dahlberg, E. Fabes, R. Fefferman, D. Jerison, C. Kenig, and J. Pipher, eds.) (1992), pp. 189-198.
[Mo3]
C.N. Moore, Estimates for the density of the area integral, Proceedings of the International Conference on Potential Theory 1994, (Knil, Lukes, Netuka, Vesely, eds.), Walter de Gruyter & Co., Berlin-New York (1996), pp. 423-432.
[MU]
T. Murai and A. Uchiyama, Good-A inequalities for the area integral and the nontangential maximal function, Studia Math. 83 (1986), pp. 251-262.
[MY]
A. Miyachi and K. Yabuta, On good-A inequalities, Bull. Fac. Sci., Ibaraki Univ., Math. 16 (1984), pp. 1-11.
[Ne]
J. Neveu, Discrete-Parameter Martingales, North-Holland, Oxford, 1975.
[aT]
J. Ortiz and A. Torchinsky, On a mean value inequality, Indiana Math. J. 26 (1977), pp. 555-566.
[PSI]
W. Philipp and W. Stout, Almost sure invariance principles for partial sums of weakly dependent random variables, Mem. Amer. Math. Soc. 161, 1975.
[PS2]
W. Philipp and W. Stout, Invariance principles for martingales and sums of independent random variables, Math. Z. 192 (1986), pp. 253-264.
[Pi]
S. Pichorides, A note on the Littlewood-Paley square function inequality, Colloq. Math. 60/61 (1990), pp. 687-691.
[Pip1]
J. Pipher, Bounded double square functions, Ann. Inst. Fourier, Grenoble 36 (1986), pp. 69-82.
[Pip2]
J. Pipher, A martingale inequality related to exponential square integrability, Proc. Amer. Math. Soc. 118 (1993), pp. 541-546.
[Pit]
A.a. Pittinger, Note on a square function inequality, Ann. Prob. 7 (1979), pp. 907-908.
[Po]
Ch. Pommerenke, Boundary Behavior of Conformal Maps, Springer, New York,1992.
[Prj
1. 1. Privalov, Integral de Cauchy, Bull. Univ. Saratov (1919), pp. 1-104.
198
References
[Prz]
F. Przytycki, On the law of the iterated logarithm for Bloch functions, Studia Math. 39 (1989), pp. 145-154.
[Qi]
T. Qian, On BMO boundedness of a class of operators (Chinese), J. Math. Res. Exposition 7 (1987), pp. 331-334, (see Math. Reviews, 89d:42029).
[RY]
D. Revuz and M. Yor, Continuous Martingales and Brownian Motion, Springer, New York, 1991.
[RR]
F. Riesz and M. Riesz, Uber Randwerte einer analytischen Funktion, Quatri-
[Ri]
M. Riesz, Sur les functions conjuguees, Math. Zeits. 27 (1927), pp. 218-244.
[Ru]
W. Rudin, Real and Complex Analysis (third edition), McGraw-Hill, New York, 1987.
[Sa]
S. Saeki, personal communication.
[SZl]
R. Salem and A. Zygmund, On lacunary trigonometric series, Proc. N. A. S. 33 (1947), pp. 333-338.
[SZ2]
R. Salem and A. Zygmund, La loi du logarithme itere pour les series trigonometriques lacunaire, Bull. Sci. Math. 74 (1950), pp. 209-224.
[Se]
C. Segovia, On the area function of Lusin, Studia Math. 33 (1969), pp. 311343.
[Spj
D.C. Spencer, A function theoretic identity, Amer. J. Math. 65 (1943), pp. 147-160.
[St1]
E.M. Stein, On the functions of Littlewood-Paley, Lusin and Marcinkiewicz, Trans. Amer. Math. Soc. 88 (1958), pp. 43(}-466.
[St2j
E.M. Stein, On the theory of harmonic functions of several variables II, Acta Math. 106 (1961), pp. 137-174.
[St3j
E.M. Stein, Note on the class L log L, Studia Math. 32 (1969), pp. 305-310.
[St4]
E.M. Stein, Singular Integrals and Differentiability Properties of Functions, Princeton Univ. Press, Princeton, NJ, 1970.
[St5]
E.M. Stein, The development of square functions in the work of A. Zygmund, Bull. Amer. Math. Soc. 7(2) (1982), pp. 359-376.
[St6]
E.M. Stein, Harmonic Analysis: Real- Variable Methods, Orthogonality, and Oscillatory Integrals, Princeton Univ. Press, Princeton, NJ, 1993.
[SW1]
E.M. Stein and G. Weiss, On the theory of harmonic functions of several variables I, Acta Math. 103 (1960), pp. 25-62.
[SW2]
E.M. Stein and G. Weiss, Introduction to Fourier Analysis on Euclidean Spaces, Princeton Univ. Press, Princeton, NJ, 1971.
[Sto]
W. Stout, A martingale analogue of Kolmogorov's law of the iterated logarithm, Z. Wahrscheinlichkeitstheorie. Verw. Geb. 15 (1970), pp. 279-290.
erne congres des mathematiciens scandinaves, Stockholm (1916), pp. 27-44.
References
199
[Str]
J.-O. Stromberg, Bounded mean oscillation with Orlicz norms and duality of Hardy spaces, Indiana Univ. Math. J. 28 (1979), pp. 511-544.
[Sw]
C. Sweezy, L-harmonic functions and the exponential square class, Pacific J. Math. 147(1) (1991), pp. 187-200.
[Ta]
S. Takahashi, Almost sure invariance principles for lacunary trigonometric series, T6hoku Math. J. 31 (1979), pp. 437-45l.
[To]
A. Torchinsky, Real Variable Methods in Harmonic Analysis, Academic Press, Inc., Orlando, FL, 1986.
[Va]
N. Th. Varopoulos, Aspects of probabilistic Littlewood-Paley theory, J. Funct. Anal. 38 (1980), pp. 25-60.
[Wa]
G. Wang, Sharp square-function inequalities for conditionally symmetric martingales, Trans. Amer. Math. Soc. 328 (1991), pp. 393-419.
[Wat]
D. Waterman, On functions analytic in a half-plane, Trans. Amer. Math. Soc. 81 (1956), pp. 167-194.
[We]
M. Weiss, The law of the iterated logarithm for lacunary series, Trans. Amer. Math. Soc. 91 (1959), pp. 444-469.
[Wi1]
J. M. Wilson, Weighted inequalities for the dyadic square function without dyadic A"" Duke J. Math 55(1) (1987), pp. 19-49.
[Wi2]
J. M. Wilson, A sharp inequality for the square function, Duke J. Math 55(4) (1987), pp. 879-887.
[Wi3]
J. M. Wilson, Weighted norm inequalities for the continuous square function, Trans. Amer. Math. Soc. 314(2) (1989), pp. 661-692.
[Zy1]
A. Zygmund, Sur les fonctions conjuguees, Fund. Math. 13 (1929), pp. 284303.
[Zy2]
A. Zygmund, Trigonometrical series, Cambridge University Press, Cambridge, 1959.
Subject Index Cauchy-Riemann equations, 2, 40 Cauchy-Riemann equations, generalized, see Generalized Cauchy-Riemann equations, Stein-Weiss system of conjugate functions Central limit theorem for lacunary series, 175 Change of variables formulas, 136, 137 Chung-type LIL - and Kesten's LIL, 165 - for continuous martingales, 119 - for harmonic functions, 119 Coarea formula, 136 Conditioned square function, 45, 46 Cone, vii, 16, 43 - doubly truncated, 60, 65 - truncated, 43, 60
A
Area function, vii, 37 - doubly truncated, 65, 67 - truncated, 44 Atoms, 49 Auxiliary domains, 105, 106, 110, 140, 144
B Bagemihl and Seidel construction, 116 Best constants - in the LIL for - Bloch functions, 179 - g*, 87 - harmonic functions, 66, 67 - in LP inequalities for - discrete martingales, 128 - g*(f) and f, 133 - L* and S(X), 167 - L* and X, 167 - S(X) and X, 128 - A and N, 129, 132 - in ratio inequalities for - A and N, 129, 132 - A and D, 166, 167 - Nand D, 166, 167 Bidisc,49 Bloch function, 81, 87,178-180 - subclasses Bo and Bl, 180 BMO,104 - boundedness of A on, 110, 119 - estimates for A on Lipschitz domain, 110 - estimates for D, 154, 157 - lemmas for, 104 Burkholder, Gundy and Silverstein theorem, 41, 42 Burkholder-Gundy inequalities, viii, 42, 43, 93, 95, 97, 103, 128
D
Density of the area integral, 136, 137 - for caloric functions, 167 - for harmonic functions, x, 136-138 Dirichlet problem for the ball, 5 Dirichlet problem for the half-space, 10 Doob h-conditional Brownian motion, 88 Double dyadic martingale, 49 Dyadic cube, 45 Dyadic martingale, 45 E
Elliptic operator, 49, 113 Erdos-Gal LIL, 174 Exponential martingale, 47, 64
F Fatou's Theorem, 21 Fourier transform, definition of, 28
c
G
Calderon reproducing formula, 49, 55 Caloric functions, vii, 58, 74, 102, 112, 133, 167
g*-function, 86, 133, 134, 179 g-function, 31, 36,114-117 200
Subject Index Garsia, Rodemich and Rumsey lemma, 153, 154 Generalized Cauchy-Riemann equations, 25, 40, 73 Girela's LIL, 181 Good->' inequalities - for A and D, 138, 139 - for A and N, 97, 98, 104 - for D and N, 138, 139 - for rand 8(f), 96, 97 - for L* and 8(X), 136 - for L* and X*, 136 - for PA and PN, 102, 112, 133 - for X· and 8(X), 93, 95, 96 - integration of, 93 - of Fefferman, Gundy, Silverstein and Stein, 43, 97 - of Murai and Uchiyama, 43, 97 Gradient estimates - using A or N, 60 - using D, 140 Green's function, estimates for, 106 Green's theorem, 2 H
Hardy space - for Hl(IR~+l) and LlogL, 167 - for the disk, 22 - for the half space, 25 Hardy-Littlewood maximal function, 15 Harmonic functions, 1 - converse of the mean value property, 9 - maximum principle for, 4 - mean value property for, 2 Harmonic measure, 105, 106 - and estimates involving surface measure, 106 - and estimates involving Green's function, 106 Heat equation, 58 Hilbert space valued functions, 29 Hilbert transform, 40 I
Invariance principle, 174, 175 - of Philipp and Stout, viii, 175 - of Takahashi, 175
201 J
Jensen's formula, 23, 24 Jones' lower LIL for Bloch functions, 81, 179 K
Kesten's LIL, 177 Kolmogorov's condition, 67, 81 Kolmogorov's LIL, 63, 67, 81 L
LlogL, 167, 168 LP inequalities, 127, 128 - for A and N, 128, 129 - for f and g* (f), 133 - for caloric A and N, 133 - for X and 8(X), 128 - for X· and 8(X), 95 Lacunary series, 67, 173 - and sharpness of Kolmogorov condition, 82 - Erdos-G6J LIL for, 174 - Salem-Zygmund LIL for, 173, 174, 176 - Salem-Zygmund tail LIL for, 176, 177 - Weiss LIL for, 82, 174 Laws of the iterated logarithm (LIL's), 63 - Bloch functions and L2 growth, 185 - Chung-type for harmonic functions, 119 - for B o, 180 - for g., 86, 87 - for N and A, 65 - for caloric functions, 74, 81 - for continuous martingales, 65 - for Stein-Weiss systems, 73 - Kolmogorov-type for harmonic functions, 65, 66 - of Chung, 119 - of Erdos-G6J for lacunary series, 174 - of Girela for B l , 181 - of Jones for Bloch functions, 81, 180 - of Kesten, 165 - of Kesten type for A and D, 165 - of Kolomogorov, 63, 173 - of Makarov for Bloch functions, 179
Subject Index
202
- of Salem-Zygmund for lacunary series, 173 - of Salem-Zygmund for tail sums, 176 - of Stout for discrete martingales, 63, 64 - of Weiss for lacunary series, 82, 92, 174, 176, 185 Liouville's Theorem, 12 Lipschitz constant, 103, 105 Lipschitz domain, ix, 98, 103, 105 120, 122, 123 - starlike, 105 Lipschitz function, 103 Littlewood-Paley g-function, see g-function Littlewood-Paley g.-function, 86, 133 179 ' Littlewood-Paley theorem, 36, 117 Local time, ix, 135 - maximal, ix, 135 M
Makarov's LIL, 179 Martin kernel, 92 Martingales - conditioned square function of,45 - difference sequence of, 45 - dyadic, 45 - maximal function of, 45 - square function, 46 N
Nontangentiallimit, 18, 20 Nontangential maximal function, vii-ix, 16, 103 - comparisons of distribution functions for two apertures, 99 - doubly truncated, 65, 74 - truncated, 43, 99, 119 Nontangentially bounded, 43 p
Parabolic cone, 74 Parabolic Lusin area function 74 Parabolic nontangential maxi~al function, 74 Poisson kernel for the ball, 5
Poisson kernel for the half space, 10 Positivity default, 169 Przytycki, conjectures of, 186, 189
Q q-lacunary series, 173
R Radial maximal function, 15 Ratio inequalities - for A and D, 166 - for A and N, 129 - for Nand D, 166 - for caloric (parabolic) A and N, 133 Reflection principle, 12 Riesz theorem, 22, 40, 41 Riesz transform, 41, 132, 134, 167, 168
S Salem-Zygmund LIL, 173, 174, 176 - for tail sums, 176 Sawtooth regions, 98, 102-104, 110 Schrodinger operator, 46, 92 Sharp constants, see Best constants Singular integrals, 28, 40, 41 - vector valued singular integrals, 30 Stein-Weiss systems of conjugate functions, 25, 73 Stout's LIL, 63, 64 Subharmonic functions, 4, 23 Subharmonicity - of IIIP, if I analytic, 23, 24 - of IFlq for Stein-Weiss systems, 25 Super harmonic functions, 5
T Tail LIL's, 176, 177
v VMO (space of vanishing mean oscillation), 119
w Weiss' LIL, 82, 92, 174, 176, 185
Notation Index A~)u(x) ........................ 44' ~~
50 gQ ................. .................54
gg) ............................. ~3
Ahu(x) ........................ , 65 A hu(x· t) ......................... '103 0: , •••••••••• A"u(P) ................ . ..... vii, 37 A u(x) .................. 120 A "u(x t) ......................... 37 (A 1 )"u(x) ................. : ....... 37 (A 2 )"u(x) ................ . Q
,
'60
•••••••
Bo ...............................
~~~
BI ............................ Bp ......... ................... . ...... , Br(x) ..................... 162 B·(x) ....................... 82'
176 153 163 173
'82
B:' .. ......................... ,
22 HP ................... . .............25
HP(R~+I) ....................... .
k(x a b) ................... ...... .163 66
K,,(u)(x) ................. ::::::::. 66 K,,(u)(x; t) .............. .
163 iJhu(x; a) ....................... : 149 Dhu(x) ......................... 149 Dhu(x;r) .................... ::::. 67 d,,(u)((J; p) ........................... 66 d,,(u)(x;t) ........................ 138 D u(p· r) ................. 136 a: , •.....•. X, D"u(x) .) ...................... x, 136 D"u(x; r ............... 149 D~u(x) ......................... : 149 Dku(x;r) ....................... 149 Dr.} u(x; r) ........................ 149 D~u(x) .......................... 161 Dlu(x) ............................ 45 dk ........................ . .... 151 i5h u(x' a) .................. 87 d: ... : ............................ 138 Du(x) ............................ 138 Du(x;r) ......................... .
............ 45 f(Q)) ...................................... ~x L(a ............ . ........ IX L* ........................ 165 L; ............................... 54 A (j) (x) ............................ 180 m ),(p) ................ . . . . . . . . . . . . .. ... 50 Am(x) ................... .
Mt
.................. .
............. 68
Nhu(x) ..................... ...... 65 N hu(x· t) ......................... '103 a , . N"u(P) ................... . . .". . .vii 16 N u(x) ...................... '120 N:u(x, t) ......................... 151 2h IU(X) ...................... . N ",W 'PN u(x) ....................... ... 74 -n A "u(x) .......................... 74 r a 'P,,(x) ..................... ....... .. 74 -nh(X' c) .......................... 9 ro. , P[f](x) ................. . .......... .
46 f* .................... ............. 176 P* ((J) ................................... 45 p .............. ••••••••••• Pm . .. 45
1m
60
rh(x) .......................... '119 r :(x, t) ........................ 65 r~(x;t) ........................ 66' 67 r h ((J. p) ........................ vI'i' 16 r a (X), ................... ...... , 16 r:((J) ............................ .
........ . .........
Qf((J) ................... . ........ 118
35
G(P) ........................... 105 36 g(u)(x) .................................... .' 87 g.(up)((J) ............. . ........ 36 gl (u) (x) ............ ::::::......... 36 g2(U)(X) ........... .
R~+ 1 ................ . . . . . . . . . . . . . . vii
(S(f))2 ......................... . .. 46 203
204
Notation Index
Sri?() (x) ............................ 55
Sm(x) ............................. 50 S(f) .............................. 46 S(fm) ............................. 46 S(f~))(x) ......................... 54 SeX) ............................. viii S2(f) ............................. 46 63 St(X) ............................ viii u(fm) (x) .......................... 46
8m
Ut
........................
viii, ix, 174
v(x,t) ............................. 58
vex, t) Vm(x) Wt
.•..••.•..•••••.••••..••.•..
56 70
ix, 174
.......•..•.......•.........•...
X* ............................... viii . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viii
Xt
Progress in Mathematics Edited by Hyman Bass, Columbia University New York, NY, USA Joseph Oesterle, Institut Henri Poincare, Universite Paris VI, France Alan Weinstein, University of California, Berkeley, CA. USA Progress in Mathematics is a series of books intended for professional mathematicians and scientists, encompassing all areas of pure mathematics. This distinguished series, which began in 1979, includes research level monographs, polished notes arising from seminars or lecture series, graduate level textbooks. and proceedings of focused and refereed conferences. It is designed as a vehicle for reporting ongoing research as well as expositions of particular subject areas.
PM 145
Albert, e. / Brouzet, R. / Dufour, J.P., Integrable Systems and Foliations. Feuilletages et Systemes Integrables 1997.224 pages. Hardcover. ISBN 3-7643-3894-6
PM 146
Jardine, J.E, Generalized Etale Cohomology Theories. 1997. 328 pages. Hardcover. ISBN 3-7643-5494-1
PM 147
Di Biase, E, Fatou Type Theorems. Maximal Functions and Approach Regions 1998. 166 pages. Hardcover. ISBN 3-7643-3976-4
PM 148
Huang, Y.-Z., Two-Dimensional Conformal Geometry and Vertex Operator Algebras. 1997. 296 pages. Hardcover. ISBN 3-7643-3829-6
PM 149
Souriau, J. -M., A Symplectic View of Physics. Structure of Dynamical Systems 1997.440 pages. Hardcover. ISBN 3-7643-3695-1
PM 150
Shiota, M., Geometry of Subanalytic and Semialgebraic Sets. 1997.444 pages. Hardcover. ISBN 3-7643-4000-2
PM 151
Hummel, Ch., Gromov's Compactness Theorem for Pseudo-holomorphic Curves. 1997. 148 pages. Hardcover. ISBN 3-7643-5735-5
PM 152
Gromov, M. / Bates, S.M., Metric Structures for Riemannian and Non-Riemannian Spaces. 1999.608 pages. Hardcover. ISBN 3-7643-3898-9
PM 153
Buescu, J., Exotic Attractors. From Liapunov Stability to Riddled Basins 1997. 144 pages. Hardcover. ISBN 3-7643-5793-2
PM 154
Bottcher, A. / Karlovich, Y.I., Carleson Curves. Muckenhoupt Weights, and Toeplitz Operators. 1997.416 pages. Hardcover. ISBN 3-7643-5796-7
PM 155
Dragomir, S. / Ornea, L., Locally Conformal Kahler Geometry. 1998. 344 pages. Hardcover. ISBN 3-7643-4020-7
PM 156
Guivarc'h, Y. / Ji, l. / Taylor, J.e. , Compactifications of Symmetric Spaces. 1998. 300 pages. Hardcover. ISBN 3-7643-3899-7
PM 157
Murty, M.R. / Murty, VK., Non-vanishing of L-Functions and Applications. 1997.208 pages. Hardcover. ISBN 3-7643-5801-7
PM 158
TIrao, J. / Vogan, D.A. / Wolf, J.A., Geometry and Representation. Theory of Real and p·Adic Groups 1997.336 pages. Hardcover. ISBN 3-7643-3931-4
PM 159
Thangavelu, S., Harmonic Analysis on the Heisenberg Group. 1998. 208 pages. Hardcover. ISBN 3-7643-4050-9
PM 160
Kashiwara, M. et al. (Ed.), Topological Field Theory, Primitive Forms and Related Topics_ 1998.494 pages. Hardcover. ISBN 3-7643-3975-6
PM 161
Sagan, B.E.I Stanley, R.P.(Ed.), Mathematical Essays in Honor of Gian-Carlo Rota_ 1998.480 pages. Hardcover. ISBN 3-7643-3872-5
PM 162
Arnold, V.l.1 Greuel, G.M.I Steen brink, lH.M. (Ed.), Singularities_ The Brieskorn Anniversary Volume 1998.495 pages. Hardcover. ISBN 3-7643-5913-7
PM 163
Berndt, R. 1Schmidt, R., Elements of the Representation Theory of the Jacobi Group. 1998.235 pages. Hardcover. ISBN 3-7643-5922-6
PM 164
Roussarie, R., Bifurcations of Planar Vector Fields and Hilbert's Sixteenth Problem_ 1998. 224 pages. Hardcover. ISBN 3-7643-5900-5
PM 165
Migliore, lC, Univ. of Notre Dame, India, Introduction to Liaison Theory and Deficiency Modules. 1998. 232 pages. Hardcover. ISBN 3-7643-4027-4
PM 166
Elias, 1 et al. (Ed.), Six Lectures on Commutative Algebra_ 1998.416 pages. Hardcover. ISBN 3-7643-5951-X
PM 167
Facchini, A., Module Theory_ Endomorphism Rings and Direct Sum Decompositions in some Classes of Modules 1998. 290 pages. Hardcover. ISBN 3-7643-5908-0
PM 168/169
Balog, A et al. (Ed.), European Congress of Mathematics. Budapest, July 22-26, 1996_ Set: Vols.1 + II 1998. 736 pages. Hardcover. ISBN 3-7643-5496-8
PM 170
Paterson, A, Groupoids. Inverse Semigroups and their Operator Algebras. 1998. 288 pages. Hardcover. ISBN 3-7643-4051-7
PM 171
Reznikov, A 1 Schappacher, N. (Ed.), Regulators in Analysis. Geometry, and Number Theory. 1999. Approx. 400 pages. Hardcover. ISBN 3-7643-4115-7
PM 172
Brylinski, J-L. et aI., Advances in Geometry. 1998. 404 pages. Hardcover. ISBN 3-7643-4044-4
PM 173
Draxler, P.I Michler, G.I Ringel, CM. (Ed.), Computational Methods for Representations of Groups and Algebras_ Euroconference in Essen (Germany), 1997. 1999. Approx. 372 pages. Hardcover. ISBN 3-7643-6063-1
PM 174
Goerss, P.G.I Jardine, lE, Simplicial Homotopy Theory_ 1999. Approx. 500 pages. Hardcover. ISBN 3-7643-6064-X
PM 176
Bass, H.I Lubotsky, A., Tree Lattices_ 1999. Approx. 232 pages. Hardcover. ISBN 3-7643-4120-3
PM 177
Birkenhage, CI Lange, H., Complex Tori_ 1999. 272 pages. Hardcover. ISBN 3-7643-4103-3
PM 178
Puig, L, On the Local Structure of Morita and Rickard Equivalences between Brauer Blocks. 1999. Approx. 268 pages. Hardcover. ISBN 3-7643-6156-5
PM 9
Springer, lA, Linear Algebraic Groups. 1998.350 pages. Hardcover. ISBN 3-7643-4021-5
PM 5
Helgason, S., The Radon Transform. Second Edition 1999. Approx. 208 pages Hardcover. ISBN 3-7643-4109-2
Probability and its Applications Edited by T.M. Liggett. University of California, Los Angeles, CA. USA C. Newman. New York University. NY, USA L. Pitt, University of Virginia, Charlottesville. VA, USA
F+r:ibability and its AppflCi.ltions publishes research-level monographs and advan· ced graduate texts dealing with all aspects of probability theory and stochastic processes, as well as their connections with and applications to other areas such as mathematical statistics and statistical physics.
Aebi, R., Schriidinger Diffusion Processes. 1996.194 pages. Hardcover. ISBN 3-7643·5386·4
Borodin, A.N.! Salminen, P ., Handbook of Brownian Motion - Facts and Formulae. 1996. 476 pages. Hardcover. ISBN 3-7643-5463·1
Boyarsky, A. ! G6ra, P., laws of Chaos. Invariant Measures and Dynamical Systems in One Dimension 1997. 415 pages. Hardcover. ISBN 3-7643·4003·7
Chung, K.L. I Williams, R., Introduction to Stochastic Integration. Second Edition 1990 (3rd printing 1997).292 pages. Hardcover. ISBN 3-7643-3386·3
Fristedt, B. I Gray, L., A Modern Approach to Probability Theory. 1997.776 pages. Hardcover. ISBN 3·7643-3807·5 Holden, H. et al. (Ed.), Stochastic Partial Differential Equations: AModeling, White Noise Functional AnalYSis Approach. 1996.244 pages. Hardcover. ISBN 3·7643·3928·4
Kwapien, S. ! Woyczynski, W.A., Random Series and Stochastic Integrals: Single and Multiple. 1992. 360 pages. Hardcover. ISBN 3·7643-3572-6
Lawler, GJ., Intersections of Random Walks. 1996.230 pages. Softcover. ISBN 3-7643-3892-X 1991. 230 pages. Hardcover. ISBN 3-7643-3557·2
Madras, N. ! Slade, G., The Self-Avoiding Walk. 1993 (2nd printing 1995). 426 pages. Hardcover. ISBN 3-7643-3589-0 1996.442 pages. Softcover. ISBN 3-7643-3891-1
Progress in Probability (formerly Progr~s In Probability and Statistics I PPS) Edited by 1M. Liggett, Universrty of California, Los Angeles. CA, USA C. Newman, New York University, NY, USA l. Pitt, University of Virginia. Charlott~ville. VA, USA
Ftogress in Prcbabi7ity is designed for the publication of worlcshops, seminars and conference proceedings on all aspectS of probability theory and stochastic processes, as well as their connections with and applications to other areas such as mathematical statistics and statistical physics.
PP 32
Nualart, D.I Sanz Sole, M. et at. (Ed.), Barcelona Seminar on Stochastic Analysis. 51. Feliu de Guixols. 1991 1993. 234 pages. Hardcover. ISBN 3-7643-2833-9
PP 33
~inlar,
PP 34
Freidlin, M. (Ed .), The Dynkin Festschrift. In Celebration of Eugene B. Dynkin's 70th Birthday 1994.446 pages. Hardcover. ISBN 3-7643-3696-X
PP 35
Hoffmann-Jorgensen, J. I Kuelbs, J.I Marcus, M.B_(Ed.), Probability in Banach Spaces - 9. 1994. 440 pages. Hardcover. ISBN 3-7643-3744-3
PP 36
Bolthausen, E. I Dozzi, M. I Russo, F. Ed.), ( Seminar on Stochastic Analysis, Random Fields and Applications. Centro Stefano Franscini, Ascona, 1993. 1995.404 pages. Hardcover. ISBN 3-7643-5241-8
PP 37
Bandt, C. I Graf. S. I Zahle, M. (Ed.). Fractal Geometry and Stochastics. 1995.258 pages. Hardcover. ISBN 3-7643-5263-9
PP 38
Kbrezlioglu, H. I UstUnel, A.S.I 0ksendal, B. (Ed.), Stochastic Analysis and Related Topics V. The Silivri Workshop 1996. 296 pages. Hardcover. ISBN 3-7643-3887-3
PP 39
Adler, R.J. I Muller, P. I Rozovskii, B.L. (Ed.), Stochastic Modelling in Physical Oceanography. 1996. 480 pages. Hardcover. ISBN 3-7643-3798-2
PP 40
Chauvin, B.I Cohen, 5.1 Rouault, A. (Ed.), Trees. Workshop in Versailles, June 14- 16, 1995 1996. 168 pages. Hardcover. ISBN 3-7643-5453-4
PP 41
Bovier, A .I Picco, P_ (Ed.), Mathematical Aspects of Spin Glasses and Neural Networks. 1998.392 pages. Hardcover. ISBN 3-7643-3863-6
PP 42
Decreusefond, L. et at. (Ed.), Stochastic Analysis and Related Topics VI. The Geilo Workshop, 1996 1998. 424 pages. Hardcover. ISBN 3-7643-4018-5
PP 43
Eberlein, E. I Hahn, M. I Talagrand, M. (Ed.), High Dimensional Probability 1998. 344 pages. Hardcover. ISBN 3-7643-5867-X
PP 44
Bramson, M.I Durrett, R.T., Perplexing Problems in Probability. Festschrift in Honor of Harry Kesten 1999. Approx. 432 pages. Hardcover. ISBN 3-7643-4093 -2
PP 45
Dalang, R. I Dozzi, M. I Russo, F. (Ed .), Seminar on Stochastic Analysis, Random Fields and Applications. Centro Stefano Franscini, Ascona, September 1996. 1999. 306 pages. Hardcover. ISBN 3-7643-6106-9
E. I Chung, K.L. I Sharpe, M.J. (Ed.), Seminar on Stochastic Processes, 1992. 1993. 276 pages. Hardcover. ISBN 3-7643-3649-8