A NNALES DE L ’I. H. P., SECTION B
E VARIST G INÉ
Large deviations in spaces of stable type
Annales de l’I. H. P., section B, tome 19, n
o3 (1983), p. 267-279
<http://www.numdam.org/item?id=AIHPB_1983__19_3_267_0>
© Gauthier-Villars, 1983, tous droits réservés.
L’accès aux archives de la revue « Annales de l’I. H. P., section B » (http://www.elsevier.com/locate/anihpb) implique l’accord avec les condi- tions générales d’utilisation (http://www.numdam.org/conditions). Toute uti- lisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
Large deviations in spaces of stable type
Evarist GINÉ (*)
Louisiana State University
Texas A. and M. University, Department of Mathematics, College Station,
TX 77843 U. S. A.
Inst. Henri Poincaré, Vol. XIX, n° 3-1983, p. 267-279.
Section B : Calcul des Probabilites et Statistique.
SOMMAIRE. - On caracterise les espaces de Banach de
type p-stable,
1 p
2,
comme ceuxqui
verifient lapropriete
de «grandes
deviations » suivante : il existe C oo telle que pour toute v. a. Xsymetrique,
a valeursdans
B, ~
dans le domaine d’attraction d’une loip-stable,
et pour toute suite 00,(Le lim
est strictementpositif si
et seulement silimn~~nP{~X~
>oo ).
On considere aussi le cas
non-symetrique.
L’outilprincipal
est une carac-terisation des espaces de
type p-stable
en termes de suites d’une certaine classe de v. a. a valeurs dansB, independantes
etequidistribuees.
Finale-ment, on examine la relation entre ces resultats et la conduite presque sure des sommes
partielles.
1 INTRODUCTION
Let ç
be i. i. d. realsymmetric
random variables not in the domain ofpartial
attraction(DPA)
of a normal law. ThenHeyde (1967
a,b, 1968, 1969) proved: (1)
(*) Partially supported by the National Science Foundation Grant n° MCS-81-00728.
Annales de l’lnstitut Henri Poincaré-Section B-Vol. XIX, 0020-2347i’1983; 267;v 5.00
E. GINE
whenever
~; n T
00 ; and(2)
according
asThis second result
(with
absolute valuereplaced by norm)
also holds intype
2 Banach spaces(Kuelbs
and Zinn( 1981 ), part
of Theorem2),
whereas in a
general
Banach space condition(1. 3)
must bereplaced by
(Kuelbs (1979)).
These results of Kuelbs and Kuelbs and Zinnsuggest
then theproblem
ofcharacterizing
those Banach spaces where( 1 )
andor
(2)
hold. The main result of this article is that the result(1)
holds forevery B-valued r. v. X such
that ~ X II is
in the domain of attraction of astable
law,
1x p
2 if andonly
if B is oftype p-stable.
It seemsplausible
that a similar result holds for
(2),
but I do not know. Theproof
of thischaracterization of
type p-stable
spaces is based on anotherinteresting property
of these spaces. Rosinski(1980) proved
that a Banach space B is oftype p-stable (1
p2)
if andonly
if there exists a constant C 00such that for any set of
independent symmetric
B-valued r. v. s’Xb
where
The
property
inquestion
is that it suffices to check(1. 4)
for i. i. d.Xi belong- ing
to a certain class of random variables~~p(B)
to be defined below(the corresponding
result fortypep-Rademacher
spaces isproved
in Pisier(1975), Proposition 5 .1).
This result isstrengthened by
thefollowing:
B is oftype p-stable,
1 p2,
if andonly
if every B-valued r. v. X such thattpP { II
XII
>t }
00 satisfieswhere the
Xi
areindependent copies
of X(Theorem 2. 3).
A similar result(with
moments instead ofAp)
holds also in the case p = 2.The last mentioned
properties
oftype p-stable
spaces aregiven
in Sec-tion
2,
thelarge
deviation results in Section3,
and Section 4 contains some comments on the almost sure behaviorof II
in typep-stable
Banachspaces for r. v. ’s X such that
X II > ~ }
is aslowly varying
function of t.Annales de l’Institut Henri Poincaré-Section B
LARGE DEVIATIONS IN SPACES OF STABLE TYPE 269
Some notation. B will denote a
separable
Banach space, X a B-valued r. v.,Xi independent copies
of X andSn(X) :_
B is of typep-stable,
0 p
2,
if there exists a constant C oo such that for any finite set ofpoints xi
E B and i. i. d. standardsymmetric p-stable
real randomvariables 03B8i (i.
e. for everyEelte
= withc :=: 1 for p 2
andc
2 for p = 2 , E [ C03A3i~ xi~p. Every
Banach space is oftype p-stable for p 1. If 03B8i
arereplaced by Bi
in theprevious
definition({ ~i}
a sequence of i. i. d. random variables with
P { [;i
=1}=P{~=20141} =-)
then B is of
type p-Rademacher.
We will use thefollowing
result ofMaurey
and Pisier
(1976) :
B is oftype p-stable,
1 p2,
if andonly
if it is oftype (p
+B)-Rademacher
for some 8 > 0.Type
2-stable isequivalent
to
type
2-Rademacher.Finally,
if J.1 is a finite measure onB, Pois
willdenote the
probability
measure,un =,~
~: ; ..n) *
,u, where * is theproduct
of convolution.2. TYPE
p-STABLE
BANACH SPACESWe consider here a class of random variables similar to those used
by
Pisier in the
proof
ofProposition
5.1(1975).
2.1. DEFINITION. -
~ p(B),
0 p2,
will denote the set of B-valuedr. v. ’s of the form
where {xi} ~ B,
the03BEi
are iden-tically
distributed Bernoulli r. v. ’s withdisjoint supports (support
ofli = {03C9:03BEi(03C9) ~ 0(and
=1)}), the 03B8i
are i. i. d. standardp-stable,
andthe
family
of randomvariables {
isindependent
of theip(B),
0 p2,
will denote the set of B-valued r. v. ’s of the form X =~~
where the~1
are Bernoulli r. v. ’s withdisjoint supports
and { 8i ~
are as above(with { independent of {
Thedefinitions
for p
= 2 areanalogous,
but in thiscase { 0j )
is a Rademachersequence.
Remark. Note that if X E then X is in the domain of normal attraction of a
p-stable
law. If X E then we still have thatII X II and
f (X), fe B’,
are indomains
of normal attraction ofp-stable
laws in~,
but X itself may not unless B is oftype p-stable.
Infact,
the candidate for thelimiting p-stable law,
Y :=03A3~i= 1 p1/pi03B8ixi (with 81 replaced by
inde-pendent N(0, 1)
in the case p =2)
may notexist;
but it exists if B is oftype p-stable
and2 . 2. THEOREM. - B is of type
p-stable,
1 c p2,
if andonly
if thereexists a constant C such that for
every n ~ N
and X E)wp(B),
Proof
-By
Rosinski’spreviously
mentionedresult,
it isenough
toprove the if
part. Let {xi}
c B be such 00.By
the threeseries and Ito-Nisio’s theorems it is
enough
to showthat { F(03A3ni=1 03B8ixi} ~n=1
is a
uniformly tight
sequence of laws. SetYi
=03B8ixi
and note that there exists apositive
constant cp such that forall n,
Let now =
1,
..., m - n, be i. i. d. B-valued r. v. ’s with lawThen,
andTherefore, (2.1)
and(2.2) give
It then follows from
(2.3)
that(where
pr - lim denotes limit inprobability).
Given £ > 0 let ni 1 be such that
(n1
existsby (2. 4)).
Let =0, let j
in run up to oo and letNm_n
be a Poisson real r. v. with
parameter
m - n,independent of {
i.Then,
Pois == and theargument
in exercise2,
p. 122 of
Araujo
and Gine(1980)
shows that for n and m - n >4/£,
Hence
Let h be a natural number such that e -
~E~+il/(~2014l)! £~/8
and let n2 be such that for n > n2 and In > n,Annales de I’Institut Henri Poincaré-Section B
LARGE DEVIATIONS IN SPACES OF STABLE TYPE 271
(n2
existsby (2 . 4)). Then,
for n > n2 and m - n4/8
we have:Then, (2 . 5)
and(2 . 7) give
Let
finally Zi
beindependent
r. v. ’s with law Pois2(Yd,
i =1, ....
Then
(2.8) implies
that the sequence of r. v.’s ~ ~n-1 Zi }~=i
1 isCauchy
inprobability,
henceconvergent. This, by
LeCam’s theorem(e.
g. Theo-rem 3 . 4 . 8 in
Araujo
and Gine(1980)), gives
the uniformtightness
of}~-1’
DThe
following
theoremgives
additional information.2 . 3. THEOREM . - If every B-valued r. v. X in
~,p(B)
satisfiesthen B is of
type p-stable.
Proof
- If B is not oftype p-stable,
Theorem 2 . 2implies
that for any sequence 00 there exist random variablesXk
E~.p(B)
such thatsupt>0t pP{~Xk~
> t}
=1,
andpositive integers nk i
co such thatNotice that we must
have npk
>Ck.
Thisproperty
allows us to chooseXk, Ck
and nk, and define mkand pk
as follows : let K E(0, oo)
be such that for all naturalnumber n and p
E[0,1 ],
which exists
by
theBerry-Esseen theorem,
and then letXk, Ck,
and pk be such that
1 1 .
lv)
the r. v. ’sXk satisfy Ap(Xk)
= 1 and(2.10)
forCk
and nk, and are inde-pendent (k
=1, ... ).
Let {
be a sequence of real r. v. ’s withdisjoint
supports,independent
of the
sequence {Xk},
and such thatP{~k = 1 }
=Define a r. v. Y as
and let
{Yi
= 1 beindependent copies
of Y.Then,
the pro-perties
of pk,Ck give
that for all t > 0 and naturalnumber k,
(The
secondinequality
above isobvious,
the thirdjust
uses one of theLevy’s inequalities,
and the first one followsby
thefollowing
argument on sym- metric variables: if the conditional law of Ugiven
V issymmetric,
thenwe have
now take U = and V =
Therefore, by
this ine-quality
and theproperties (i )-(iv),
it follows thatHence Y satisfies
Finally,
it is obviousthat, by construction,
Y can be written aswith
independent of { 8k f,
withdisjoint
supports, and such thatAnnales de l’Institut Henri Poincaré-Section B
LARGE DEVIATIONS IN SPACES OF STABLE TYPE 273
P ~ ~~
=1 }
= 1 -P ~ ~ k
=0},
=1 }
=1. { ~}
i. i. d. standardp-stable,
c B. DAs mentioned
above,
Pisier(1975) proved
thattype
2 isequivalent
tothe existence of C oo such that for all n >
0,
for i. i. d. r. v. ’s
Xi
E~2(~)- ~ proof
similar to that of Theorem2. 3,
which will beomitted, gives:
2 . 4. THEOREM. - If every satisfies
then B is of
type
2.3. LARGE DEVIATIONS
The
following
theoremgeneralizes
totype p-stable
Banach spacessome results of
Heyde (1967 a, b).
3.1. THEOREM . -
a)
Let B be atype p-stable
Banach space, 0 p2,
and X a
symmetric
B-valued r. v. such that for some 8 > 0 and every +8),
Then,
there exists a constant C oodepending only
onKp’
and thetype p’-Rademacher
constant of B(for somep’E(p,p
+8))
such that for every sequence oo,If B is of
type 2,
then(3 .1) with ~ =
2implies (3 . 2).
b)
If B is not oftype p-stable,
1 p2,
then there exists a B-valuedsymmetric
r. v. Y suchthat ~Y~
andf (Y), f E B’,
are in the domains of normal attraction ofp-stable laws,
and a sequencein T
oo such thatc)
If B is not of type2,
there exists a B-valuedsymmetric
r. v. Y notin the domain of
partial
attraction of any Gaussian law which satisfies(3 . 3) with p
= 2.Proof 2014 ~). Let, for Yn i
oc,Tn:=:
and(an
= 0 if X issymmetric,
but we willimpose
symmetryonly
whenneeded).
Let
p’
E( p, p
+e)
be such that B is oftype p’-Rademacher
and letKp
beits type
p’
constant(such
ap’
existsby
apreviously
mentioned result ofMaurey
andPisier).
Then we have: .and
by (3.1),
(3 . 4) limt~~ P{~Sn(X)-nan II
XII> 1-+- 2p’"
In the
symmetric
case, nan = 0 and(3.4)
isjust (3.2).
The case p = 2 isproved similarly (using
thattype
2-Rademacher isequivalent
totype 2-stable).
b)
Let Yand mk
be as in theproof
of Theorem 2.3. Then it follows from thatproof
that there exists a sequence oo(we
may assumemonotonicity by passing
to asubsequence
ifnecessary)
such thatSince
limn~~ 03C4pmkmkP{~Y~
> 00, it follows thatc)
Let Y be as in theproof
of Theorem 2.4.By Hoffmann-Jorgensen’s inequality (see
e. g.Araujo
and Gine(1980),
p.107),
there exist Cl, C2 E(0, oo )
such that where
. 1 1
Since
f
- oo and1,
it follows thattmk
- oo . We may taketmk T
ooby passing
to asubsequence. Then,
sinceoo,
A
typical computation
shows that if> ~ } 2014~ ce(0, 0153,),
0 p 2
(in fact,
if this function isslowly varying),
then X satisfies(3 .1 ) for p‘
> p. Hence :Annales de l’Institut Henri Poincaré-Section B
275
LARGE DEVIATIONS IN SPACES OF STABLE TYPE
3.2. COROLLARY. - A Banach space B is of
type p-stable,
0 p2,
if andonly
if every B-valuedsymmetric
r. v. X suchthat ( (
is in thedomain of
(normal)
attraction of ap-stable
law satisfies thelarge
deviationresult
(3.2).
Remark
(and questions).
It is easy to showusing elementary
methods(exercises
3.7.11 and 12 inAraujo
andGiné,
loc.cit.)
that the randomvariable Y in the
proof
of 3.1(b)
satisfiesSo,
if Tni
oo fastenough,
the limit in(3 . 3)
is 1. It would beinteresting
toknow if oo can be chosen so that
(3 . 5)
holds and also -~ 0 inprobability
or, atleast,
is bounded inprobability. Regarding (c),
theexample
obtained satisfiesE I I Y I 12
=1;
it would beinteresting
to obtainan
example
suchthat II Y were
not in the DPA of any Gaussian law(in
the
present example,
Y is not in the DPA of any Gaussianlaw,
butobviously 11 Y 11 is).
We may ask whether
in the situation of Theorem 3 .1.
Obviously,
for this lim inf not to be zero, it is necessary thatand these are the
interesting y~ ’s (for
instance as in(3 . 3)).
It is easy to prove that(3.7)
is also sufficient for(3.6).
3 . 3 .
PROPOSITION.
2014 Let B be any Banach space, X asymmetric
B-valued r. v. and yn
I
oo . Then(3 . 6)
holds for Xand { 03B3n} if
andonly
if(3 . 7)
holds.
Proof - Only
thesufficiency requires proof. Set (Xn
=P { ~ X 1/ ] > ~ }.
Then, by Levy’s inequality,
where
which is
strictly positive
if(3 . 7)
holds. DGINE
As seen in the derivation of
(3.4),
thesymmetry assumption
hasonly
the effect of
killing
thecentering;
it can thus bereplaced by
other assump- tionshaving
the sameeffect,
such as - 0 inprobability,
or wemay
directly
assume 0. Here there is a set of minimal conditions for(3.2)
and(3.6)
to hold in the absence ofsymmetry (below
we discusssome
particular cases).
3 . 4. PROPOSITION. -
a)
In any Banach space, if Xsatisfy
and
then
(3 . 6)
holds.b)
If B is oftype p-stable, p 2,
and X and ynI
00satisfy : (3.1),
andand
then
(3.2)
holds for some constant Cdepending
on the samequantities
as in Theorem 3.1
(a)
and on(3.11).
If B is oftype 2,
then this statementis also true
with p’ replaced by
2 in(3 .1).
Proof - a)
As inProposition 3 . 3,
butusing
theLevy-Ottaviani inequa- lity, namely
that(see
e. g.Araujo
andGine,
loc.cit.,
p.110-111). b)
As in Theorem3.1(~)
up to
inequality (3.4) ; (3 . 2)
then followseasily
from(3.4), (3.10)
and(3.11).
DRemarks.
1)
Note that(3 , l l)
is satisfiedif ~X~
is in the domain of attraction of a stable law.(2)
If B is oftype p’-Rademacher
with constantK,
then(3.8)
and(3.9) (hence (3.6))
hold ifThis is the case
if ~X~
is in the domain of attraction of ap-stable
law,Annales de l’lnstitut Henri Poincaré-Section B
277
LARGE DEVIATIONS IN SPACES OF STABLE TYPE
p
p’,
withnorming
constants an, and - oo. The same is true forp = 2,
withp’ =
2.(3) (3 . 8)
and(3 . 9)
are also satisfied if 0 inprobability.
4. ALMOST SURE BEHAVIOR
Probably
thesimplest
lemma on almost sure behavior ofSn
in [R is theresult of
Heyde
stated as(2)
in the introduction. Theproof (see
e. g. Stout(1974),
p.328-329)
extends totype
2 Banach spaces(Kuelbs
and Zinn(1981)), part
of Theorem2).
Wejust
make here thesimple
remark that if infact ~ X II ]
is
nearly
in the domain of attraction of ap-stable law,
and if B is of typep-stable,
then the result is also true. This isproved
withoutassumptions
on
symmetry.
We end up this section with a remark on the relation of this result with those in Section 3.4 .1. THEOREM. - Let B be a
type p-stable
Banach space,0
p2,
and let X be a B-valued r. v. such that condition(3.1)
holds. For any sequence 7 ={
Yni
oo, letcn(X, y)
==Then,
according
asProof
Asimple computation using
condition(3 .1),
as in Stout(loc. cit.)
or in Kuelbs and Zinn
(loc. cit.),
shows thatHence
To prove the convergence part we use
again
that B is of typep’-Radema-
cher for
some p’
E(p, p
+s). Set,
as in the citedreferences,
If
II x II >
~, thenII Yk II [ ~ 0 }
oo and thereforewhere
~~= lYk . Now,
for some K oo
by (3.1). So, II Yk -
oo, andtherefore,
since B is of type
p’-Rademacher,
the seriesEYk)/Yk
converges inLp’
and a, s.Hence,
Kronecker’s lemmagives
thatand this
together
with(4 . 4) gives y)
= 0 a. s. 0Remark
(on
thecentering). By
the usualcentering
considerations in thegeneral CLT, cn(X, y)
can bereplaced by
the more standardcentering
in the convergence case, and
by
zero if 0 in pro-bability. cn(X, y)
canalways
bereplaced by
zero in thedivergence
case(as
the aboveproof shows).
Remark
(and question).
- If B is any Banach space,Sn(X)/yn
- 0 inprobability
andif {
isregularly varying,
then Theorem 3 in Kuelbs( 1979)
proves that
according
asSince the
divergence
part in Theorem 4.1 holds in anyB,
it follows that this resulttogether
with Theorem3.1 a) implies
Theorem 4.1. Theo-rem
3 .1 b) suggests
thequestion
of whether the conclusion in Theorem 4 .1 characterizestype p-stable
Banach spaces. If the answer wereaffirmative,
the situation would be a familiar one: conditions on
Sn
can bereplaced by
conditions on the summands in limit theorems in a Banach space B if andonly
if B satisfies certaingeometric
conditions. Apossible approach
to this
question might
be totry
to findexamples
as the one in theproof
of Theorem 3.1
b),
but with the constants in in(3 . 3) satisfying
additionalproperties.
ACKNOWLEDGMENT
I thank J. Zinn for
suggesting
that Poissonization could be ofhelp
inproving
Theorem 2.2 above.Annales de l’lnstitut Henri Poincaré-Section B
279 LARGE DEVIATIONS IN SPACES OF STABLE TYPE
[1] A. ARAUJO and E. GINÉ, The Central Limit Theorem for real and Banach valued random variables, Wiley, New York, 1980.
[2] C. C. HEYDE, A contribution to the theory of large deviations for sums of independent
random variables. Z. Wahrscheinlichkeitstheorie Verw. Geb., t. 7, 1967 a, p. 303-308.
[3] C. C. HEYDE, On large deviation problems for sums of random variables which are not attracted to the normal law. Ann. Math. Statist., t. 38, 1967 b, p. 1575-1578.
[4] C. C. HEYDE, On large deviation probabilities in the case of attraction to a non-normal law. Sankhya, Series A, t. 30, 1968, p. 253-258.
[5] C. C. HEYDE, A note concerning behavior of iterated logarithm type. Proc. Amer.
Math. Soc., t. 23, 1969, p. 85-90.
[6] J. KUELBS, Rates of growth for Banach space valued independent increment processes.
Lect. Notes in Math. (Probability in Banach spaces II), t. 709, 1979, p. 151-170.
[7] J. KUELBS and J. ZINN, Some results on LIL behavior. To appear in Ann. Probability.
[8] B. MAUREY and G. PISIER, Séries de variables aléatoires vectorielles indépendantes
et propriétés géométriques des espaces de Banach. Studia Math., t. 58, 1976, p. 45-90.
[9] G. PISIER, Le théorème limite central et la loi du logarithme itéré dans les espaces de Banach. Séminaire Maurey-Schwartz, exp. III et IV. École Polytechnique, Paris, 1975-1976.
[10] J. ROSINSKI, Remarks on Banach spaces of stable type. Probability and Math. Statist.,
t. 1, 1980, p. 67-71.
[11] W. STOUT, Almost Sure Convergence. Academic Press, New York, 1974.
(Manuscrit reçu le 5 août 1982)