!"$#%"&
8')(*96(:<;>+-=@,/?B.101A24CD35,F26E626EH76G 7
IJ4KL?/MA
N?POQ?PRTS6?PUV
WXJPYX,ZG[CD,FE1E[G[CLN?/SRT\]?PUV!^H;*_`,PG[CD,FE6EHG[CLaOFOF?FK>b]?PUV^H;*_Xc6G[C,FE6EHG
d!U>Rebf91M/V!gBh>ij9[OQk
Oscillations of Observables in
1-Dimensional Lattice Systems
Pierre Collet1 and Jean-Pierre Eckmann2
lmn/oPpZq*r6o : Using, and extending, striking inequalities by V.V. Ivanov on the down-crossings of monotone functions
and ergodic sums, we give universal bounds on the probability of finding oscillations of observables in 1-dimensional
s
t
oscillations of this average between two values u and 0 vxwyvu is bounded by z|{j} , with {~v 1, where the constants
z and { do not depend on any detail of the model, nor on the state one observes, but only on the ratio wFu .
lattice gases in infinite volume. In particular, we study the finite volume average of the occupation number as one
runs through an increasing sequence of boxes of size 2 centered at the origin. We show that the probability to see
1
Centre de Physique Théorique, Laboratoire CNRS UPR 14, Ecole Polytechnique, F-91128 Palaiseau Cedex
(France).
2
Dept. de Physique Théorique et Section de Mathématiques, Université de Genève, CH-1211 Genève 4 (Suisse).
€
INTRODUCTION
ƒ‚X„…‡†ˆŠ‰Œ‹Ž†‘‰‡
In two recent papers, V.V. Ivanov [I1, I2] derived a novel theorem on down-crossings of
monotone functions. Theorems of this kind are useful as key elements of “constructive” proofs
of the Birkhoff Ergodic Theorem [B1, B2]. For example, let be a non-negative measurable
which preserves a probability measure
function on , and let be a measurable map :
. We denote by
the sum
“
—
”
˜™š)›‡œ
” –
“ • “
¡
™ ¡ Ÿ
˜ ™ š)›‡œž ¢ ’š)” £› œƒ¤
’
1
0
Let
¥§¦©¨ª¦
0 be given. A down-crossing is defined as a pair of integers
«­¬¯®
such that
˜°™š)›‡œP±²«´³µ¥·¶ and ˜°¸yš)›‡œP±²® ¹µ¨º¤
Let “Œ» denote the set of › for which ¼>˜°™š)›‡œP±²«|½™¾¢ ¿ ¿ÁÀÁÀÁÀ makes at least  successive down¬–« ¬¯® ¬Ã¤°¤°¤¬–«»`¬¯®Ä» , such that each pair
crossings, i.e., there is a sequence « ¬–®
«Å , ®ÆÅ defines a down-crossing. The surprising result of Ivanov is the
ÇÉÈÊDË!Ì*ÊÍ Î!Ï)Î
Ï One has the bound
— šf“ » œÐ¹Ñšf¨|±>¥|œ » ¤
š 1 ¤ 1œ
»
Note that there is no constant in front of šf¨Ò±>¥œ , and that the result is independent of “ , — ,
” and ’ij 0. Several (relatively straightforward) generalizations and consequences have been
12
1
1
2
2
pointed out in [I1, I2] and in the review paper [K]. We list two of them for the convenience of
the reader, and will mention related work at the end of the introduction.
1) If
—there is no assumption on
0 here—then, for all and
one
has the bound
, where and depend only on
. One has
2
.
2) The above results can easily be used to actually prove the ergodic theorem, even for
1,
$’ Ó¯Ô@Õ —
šf“Œ»¾œ·¹ÛÚŽÜ ŸÝ&»
Þ᝴âš]ß œ
’$³
Ú Þ
¥ ¨Ö×¥ºØÙ
ßy´Ù²±!à[’à Õ
’ãÓäÔ
In this paper, we give a partially new proof of Ivanov’s theorem, and we extend it in such a way
that it applies to 1-dimensional models of statistical mechanics. Indeed, it suffices to consider
any translation invariant state of a spin system [R]. To be specific, we might consider an Ising-like
model with spin 0, 1 (in a particle interpretation) and long-range interaction. Then
0 1 ,
is lattice translation and is the Gibbs state, not necessarily pure. For
,
we let
has the meaning
0 be the value of the spin at the site 0 and then
of the average “occupation number” on the interval [0
1]. Ivanov’s theorem has then the
interpretation:
”
ë
’š)›‡œžê›
—
¶Z«ÄØ
“¯å¼ ¶ ½>æ
› ç¼°› ™ ½ ™Dè æ Óé“
¯
˜ ™ š)›‡œP±²«
Ì>Ë
ìBË!í°îï*î)Ë!ðñÎ
Ï € Ï The probability that the mean occupation number (as a function of the
»
volume « ) makes more than  oscillations between ¥ and ¨ , 0 ¬–¨-¬ò¥ is bounded by šf¨Ò±>¥œ .
Note that this statement is independent of the spin system under consideration, of the
temperature considered, of boundary conditions or any other parameter of the system. In
ó
INTRODUCTION
particular, it also holds if the system is not in a pure state. Thus, it is a kind of geometrical
constraint on ergodic sums, or on the fluctuations of physical observables. If these observables
can take negative values, the results will be modified as in 1) above, but the bound will still be
exponential in .
1].
In the statement above, we considered “boxes” which are given by the intervals [0
However, the statement can be extended to symmetric intervals by the following new result:
Assume that , as defined above, is invertible. Define for
,
Â
”
¶Z«ôØ
«·Ó·õ
¡
ö ™ š÷›£œž ¡ ™ ’š)” ›‡œƒ¤
š 1 ¤ 2œ
¢ Ÿ!™ø
ö
We now let ùŽ» denote the set of those › for which the sequence ¼ ™š)›‡œP±Šš 2 «ôú 1 œ1½™¾¢ ¿ ¿ ¿ÁÀÁÀÁÀ
makes at least  down-crossings from ¥ to ¨ , 0 ¬–¨ª¬ò¥ . We will show:
ÇÉÈÊDË!Ì*ÊÍ Î
Ï ó Ï There are two constants ûçüûšf¨Ò±>¥œ and ýüþýšf¨Ò±>¥œŽ¬ 1 such that one
has the bound
— šÿùŽ»¾œã¹ñûXý » ¤
The constants û and ý are independent of — , “ , ” , and ’ã³ 0.
ÊÍÌÒÏ We will describe ý in Section 5, but note that ý ¬ 1, ýšœ • 0 as • 0 and
ýšœ exp /Ø âš÷ÙL± 4 œ when Ɲ 1 ØéÙ . (This is certainly not the best possible bound.)
The Theorem 1.3 can be extended to sequences of volumes which tend to infinity in a more
general way as «Ä• : Let ³ 0, ³ 0, ³ 0, ³ 0 be given integers with ú ¦ 0
¡
and define now
™
ø
Ÿ
ö ™ š)›‡œy ¡ ’š÷” ›‡œB¤
š 1 ¤ 3œ
¢|Ÿ!™ Ÿ
ö
Let ù » be the set of › for which the sequence ¼ ™ š)›‡œP±Šš]«ƒš ú œ&ú ú œ4½ ™è makes at
least  down-crossings from ¥ to ¨ .
ÇÉÈÊDË!Ì*ÊÍ Î!ÏÏ There are two constants
1
012
1
1
2
1
2
2
2
1
1
2
1
1
1
2
1
2
û  ûôš ¶ ¶! ¶! ¶4¨Ò±>¥œƒ¶ ý  ýš ¶ ¶! ¶! ¶4¨|±>¥|œ£¬ 1 ¶
such that one has the bound
— šÿù » œã¹ñûXý » ¤
The constants û and ý are independent of — , “ , ” , and ’ã³ 0.
1
2
1
2
1
2
1
2
Our paper is organized as follows. In Section 2, we show the basic inequality, “Ivanov’s
theorem” which is used in proving Theorem 1.1 for
1. In Section 3, we extend these results
to arbitrary . In Section 4, we use the results of Section 3 to prove Theorem 1.1 for all . To
make the paper self-contained, we give complete proofs, even when they are essentially just
rewordings of Ivanov’s work. In Section 5, we give the proof of Theorem 1.3 and Theorem 1.4.
Â
ž
Â
IVANOV’S THEOREM
Î
Ï]Î
Ï#"Ë!ÍéÊ­Ëï*ÈÊDÌ%$ÉË!ÌòË!ð©Ë!í&î('')ï*î÷Ë!ð|í
The results described and obtained here are among a rather large list of related literature, obtained
earlier by other authors. While our intention is not to review here the literature, we just note
some highlights which seem relevant in the context of our work.
1) Kalikow and Weiss [KW] have obtained bounds of the form
(by a clever extension
of a Vitali type covering argument) not only for intervals, as in the present paper, but also for
“rectangles” when one considers
-actions. Thus, in particular, the statements made above
about statistical mechanics extend to models in any dimension (with a rate of decay depending
only on
and on the dimension ). However, their methods seem not to give the astonishing
“best possible” result of Ivanov in 1 dimension. Since the methods of Ivanov, used here, are
typically 1-dimensional in nature and use that the real line is ordered, it is hard to imagine how
to extend them to 2 or more dimensions. The best rate of decay in more than 1 dimensions
remains thus an open question, and will depend on the nature of the geometric embeddings of
the rectangles. The approach used here to go from one sided to symmetric intervals is quite
different from the approach used in [KW].
2) In his review paper [K], Kachurovskii extends the fluctuations theorems to variations
of the mean of “size” , but not necessarily across a fixed gap
, . He gets bounds
again of the form
, based on Ivanov’s work, when
and square root decay (up
.
These
results
hold
for
semi-intervals
[0
to logarithms) when
] and can probably be
1
extended by our methods to symmetric intervals. At this point, it seems ([W]) that the methods
of Kachurovskii can be combined with those of [KW] to obtain similar results (but only with
1 3
decay) in the case of
actions.
3) There is an extensive literature on
bounds, with
1 on which we shall not dwell
here.
ÚŽÜ ŸÝ»
õ+*
,
¨|±>¥
Ù Ý&»
Ÿ
ڎÜ
’·ÓªÔ
⚑ Ÿ œ
$¥ þ¨Äú¯Ù ¨
’§ÓªÔ Õ
¶Z«
-*
Ô.
·¦
/£‚10 2ˆŠ‰ ‰+3Љ3Є5476j…‰84:9);$†=<?>‰ƒˆ=>A@
B
CåED.FCGF
We consider non-decreasing (not necessarily continuous) functions on . Let
be a
closed bounded subset of which is a finite disjoint union of closed intervals . Furthermore,
we assume that and are given constants satisfying
0.
¥
¨
¥ª¦–¨ª¦
CGF
H ÊJIjð|îï*î÷Ëð‡Ï Let CLK be a subset of C . A point ~Ó is said to be in the shadow of CLK (relative
to C ) if it is in C and if there are two numbers M , N in CLK satisfying:
i) ¬OMx¬PN ,
ii) the interval
š(M!¶QNœ is contained in CLK ,ø
Ÿ
iii) BҚ N œÒØRBҚœ£¹–¨@š(NXØSœ , and BҚ(M œ|ØTBҚœ@³ò¥‡š(MÉ؜ .
ÊÍÌÒÏ This definition is slightly different from the one by Ivanov.
ö
ö šC K ¶!Cžœ denote the set of which are in the shadow of C K (relative to C ).
Let š(C K œ@
ö
We assume throughout that C is a fixed set and omit mostly the second argument of . If Ú is
a set in we let U Ú%U denote its Lebesgue measure. The proof of Theorem 1.1 is based on the
following basic bound by Ivanov [I1,I2]:
WYX ðË X7Z íôÇÉÈÊË
Ì*ÊÍòÏ
ë
IVANOV’S THEOREM
V
U ö š(Cx¶!CžœUÒ¹ ¥¨ U C[U>¤
š 2 ¤ 1œ
Under the above hypotheses, one has the inequality
Ì>ËË]\ZÏ
Our proof relies heavily on Ivanov’s ideas, but presents some simplifications. We will
first prove the following
ÇÉÈÊDË!Ì*ÊÍ € Ï € Ï
Assume
one has the inequality
B
is a non-decreasing, piecewise affine, continuous function. Then
U ö š(Cx¶!CžœUÒ¹ ¥¨ U C[U>¤
š 2 ¤ 2œ
Postponing the proof of this theorem, we now show how Theorem 2.2 implies Ivanov’s
Theorem. We first assume that the boundary of C does not contain points of discontinuity of B . To ö8make
things clearer, we indicate the function, and the limits of the shadow,
^
i.e., we write ¿`_¿ a š(Cžœ . Let B be an arbitrary non-decreasing function, and let B ™ be a sequence of continuous, piecewise
functions approximating B (pointwise). We consider
ö
ö ^cb ¿`_eaffine,
ø
g
¸
the sequences ö ™ ¿ ¸ š(Cžœ$
for «Ã 2 ¶ 3 ¶°¤°¤°¤ , and large
® . Let
ö
h ¸  i ™kjl ™ ¸ š(Cžœ . Clearly,d h ¸ f ¿ a=m d Ÿ h *
ø ¸Gf ¸ š(Cž. œ , Furthermore,
Ó šCžœ is in
¿ can see from theevery
definition of shadows.
i ™k¿j!™ dn¾¿ ¸Gf ö ™ ¿ ¸ šCž¿ œ for some « š)¶Z®Ä¿œŽ¬o , as one
Thus, we find
ö š(Cžœ m Dp h ¿ ¸Û lim h ¿ ¸Ã¶
q Õ
1 1
1 1
1
0
0
and therefore
ö
h
1 ú 1 ±²®
¨
U ö š(CžœUj¹ rr D h ¿ ¸srr  lim
q Õ U ¿ ¸%U‡¹ lim
q Õ ™ksupjk U ™ ¿ ¸žšCžœUƒ¹ 1 Ø 1±²® t ¥ U C[U>¶
by Theorem 2.2. Taking ® • , the proof of Ivanov’s Theorem is complete, when the
discontinuities of B do not coincide with the boundary of C .
If the boundary of C contains
discontinuity points
B we can find for each u a decreasing
such
, C Fofconverges
m
sequence
of
closed
intervals
C
that
C
C
to C F and the boundary of
F
F
up of points of continuity of B . Let C
vD F C F , then obviously C m C ,
each C ö F is made
ö
hence š(Cžœ m
š(C œ , and therefore
¨ U C[U>¤
U ö š(CžœUj¹ lim
U ö šC œUƒ¹ ¥¨ lim
inf U C U|
q inf
q
¥
ëThis completes the proof of Ivanov’sÕ Theorem in all cases.Õ
Ì>ËË]\XË]\ŽÇÉÈÊDË!Ì*ÊÍ € Ï € Ï As we have said before, we can at this point work with piecewise
affine, non-decreasing continuous functions defined on , with a finite number of straight pieces.
We start by defining regular and maximal regular intervals. If is a subset of we denote
by
the graph of above , i.e.,
.
Ú
C
B
Ú wôš]Ú œj´¼Dš¶xBҚ)œPœyUY~ÓäÚ ½
H ÊJwôIjð|š]Ú îï*œ î÷Ëð‡Ï An interval
[ z
¶Q{ ] in
is called regular if it is contained in C and if for all
~Ó [z!¶Q{ ] one has
BҚ(zœØ饇š z ؜г|BҚœƒ¶ and BҚ)œx³}BҚ({[œØª¨@š {B؜j¤
š 2 ¤ 3œ
This means that the graph wôš [ z
¶Q{ ] œ lies entirely in the cone spanned by the two straight
lines of (2.3), see Fig. 1.
~
IVANOV’S THEOREM
BҚ({[œ
BҚ(zœ

€

z
{
‚pƒ„k…† : The shadow cast by a (maximal) regular interval [‡5ˆ ‰ ], the cone Š , and the region ‹ .
€

It will be useful to talk about the sets š [ z!¶Q{ ] œ and š [z!¶Q{ ] œ spanned in this figure: Define
first    š(z!¶Q{[œ by
 š(z!¶Q{[œž BҚ({[œØTBҚ zœú-¥8z`Øé¨.{ ¶
š 2 ¤ 4œ
¥Øª¨
this is the -coordinate of the tip of the cone. Then we define
€ š [z
¶Q{ ]œyÑ¼Dš&¶!MŠœ#UY~Ó [ ¶Qz ] ¶ŒBҚ(zœú$¥‡šx؍zœ@³OMx³PBҚ({[œúò¨@šôØR{[œ1½¶
 š [z
¶Q{ ]œyÑ¼Dš&¶!MŠœ#UY~Ó [z!¶Q{ ] ¶ŒBҚ)œ‡³ŽMx³PBҚ {Hœú¨@šx؍{Hœ1½ ¤
H ÊJIjð|îï*î÷Ëð‡Ï An interval [z!¶Q{ ] in is called maximal regular if it is regular and is contained
in no larger regular interval. It should be noted that this definition depends on the function B
and on the set C .
 ÊÍ§Í € Ï ó Ï Different maximal regular intervals are disjoint.
ë
Ì>ËË]\ZÏ Since parallel lines do not intersect, one verifies easily that the union of two regular
intervals with non-empty intersection is regular. The assertion follows.
We denote by M
the disjoint union of the maximal regular intervals:
C m C
C D
M
¡‘ ¡
¤
š 2 ¤ 5œ
The next lemma shows that it suffices to consider only shadows which are cast by maximal
regular intervals:
 ÊÍ§Í € ÏÏ One has the identity ö š(C œj ö š(Cžœ , more precisely ö š(C ¶!CžœÒ ö šCx¶!Cžœ .
ë
Ì>ËË]\ZÏ If ~Ó ö š(Cx¶!Cžœ , then there is at least one interval ’ m C for which ~Ó ö š(’
¶!Cžœ . By the
continuity of B , there is a minimal such interval in ’ , which we call “ . This interval is regular.
M
M
”
IVANOV’S THEOREM
The assertion follows, because every regular interval is contained in a maximal regular interval,
as follows from the proof of Lemma 2.3.
 ÊÍ§Í € Ï V Ï The set C is a finite union of maximal regular intervals.
ë
Ì>ËË]\ZÏ It is here that we use the restricted class of‘ piecewise
¡
affine, continuous functions. A
M
are either points of discontinuity in the
minutes’ reflection shows that the endpoints of the
slope of or boundary points of . The assertion follows because there are a finite number of
such points.
We define an auxiliary function . For
[
], let
as above and
define intervals
by
B
C
‘ ¡
¡ ¡
 z ¶Q{
¡
¡ ¡
¡
   š z ¶Q{ œ
• –
— šœ
¡
œ
™
˜
¡
¡
¡
¡
¡ ¡
when ~¹  ,
¶
¡
š ™ [BҚ({ ¡ œúò¨@šxØR{ ¡ œ1¶xBҚ z œú-¥‡šÐØRz œ ] ¶ when ~Ó§š  ¡ ¶Qz ¡ ],
¡
— šœ › [œ BҚ({ œúò¨@šxØR{ œ1¶xBҚœ ] ¶
when ~Ó§š z ¶Q{ ],
¶
when ~¦Ž{ . ¡ ¡
¡
€
¡ ¡
¡
Note that — šœ is simply the intersection of a vertical line at with the cone š [ z ¶Q{ ] œ or the

set š [ z ¶Q{ ] œ , and U — šœU is continuous. We define
¡ ¡
•šœž¡  rr D — šœžrr ¶
¡ ¡
and note that this is finite, since each U — šœU is bounded by ¨£š { ؎z œ , so that •šœP±L¨ is
‘ ¡
bounded by the diameter of C . By construction, • measures the length of the vertical cuts across
€

the system of cones and sets generated by the
, not including multiplicities if the cones
‘ ¡
overlap.
‘ ¡ Our next operation consists in partitioning the shadow‘ into those pieces ‘ K¡ generated by a
under itself, and those cast
‘ ¡ by a cone
‘ ¡ associated
‘ ¡ with
‘ ¡ a Å to‘ the
¡ right of . In formulas:
K  ö š œpi  ö š ¶!Cžœi ¶
‘ ¡
‘ ¡ ‘ ¡
and
KŸK  ö š(Cžœi  K ¤ ‘ ¡
See Fig. 3 below for a typical arrangement. We first argue that K can be characterized by
looking only at slopes ¥ .
 ÊÍ§Í ‘ € Ï¡ ~ Ï One has‘ ¡
‘ ¡
K  ¡ž~Ó U¢1MxÓ ¶!Mô¦O¶ for which BҚ(MŠœ‘ ØT¡ BҚœ‡³ò¥‡š(MÉ؜£É¤
ë
Ì>ËË]\ZÏ It suffices to show that the second
‘ ¡
‘ ¡
‘ ¡
¡
is included in K . Consider the ray ¼Dš N¶xBҚœú
ö
‘¨@š(¡ NX؜gUN¦O½ . If it intersects
‘ ¡ wôš i set
[M!¶Q{ ] œ then ~Ó
š œ . If not, then Ó ± , since
is regular. Hence Ó ±
K either and the proof is complete.
¤ This definition is similar to, but different from, the one given for the function ¥ in [I2]. Our definition makes the
proofs somewhat easier.
¦
IVANOV’S THEOREM
‘ ¡
We now can use the Riesz lemma to give a bound on the size of
 ÊÍ§Í € Ï ” Ï
ë
Ì>ËË]\ZÏ
‘ ¡
One has the inequality
¡
¡
U K UB¹ BҚ { œ ØT¥ BҚ z œ ¤
K:
š 2 ¤ 6œ
˜ ‘ š¡ œjEBҚœØé‘ ¡ ¥p . Then,‘ by¡ Lemma 2.6, we see that
K  ¡5~Ó U§¢¨MxÓ ¶!Mô¦&¶ for which ˜DšMŠœ‡³ ˜Dš)œ£ ¤ ‘ ¡
We apply here a variant of the Riesz lemma [RN, Chapter 1.3].* It tells us that K is a finite
‘ ¡
¡ ¡
disjoint union
K ©Dj» [z ¿ »D¶Q{ ¿ » ] ¶
and that furthermore, for every of these intervals one
¡ has the inequality
¡ ¡
¡ ˜ šœã¹ñ˜ š { ¿ » œB¶
when ~Ó [z ¿ » ¶Q{ ¿ » ]. Taking ãE
¡ z ¿ » , we¡ get ¡
¡
BҚ(z ¿ »Lœ|غ¥8z ¿ »$¹|BҚ { ¿ »>œÒØé¥8{ ¿ » ¶
and thus
‘ ¡ ¡ ¡
¡
¡
¡
¡
U K U| » š { ¿ » ØRz ¿ » œã¹ ¥ Ÿ » BҚ { ¿ » œ|ØTBҚ z ¿ » œ ¹ ¥ Ÿ BҚ { œ|؍BҚ(z œ ¤
The last inequality is a consequence of the monotonicity of B . The proof of Lemma 2.7 is
‘ ¡
complete.
We next study KªK .
 ÊÍ§Í € Ï ¦ Ï One has the following inequality:
‘ ¡
¡
¡
¡
¡
¡ ¡
¥«U KŸK UB¹¬•š { ‘ œ|ØS¡ •š z œ|ØTBҚ { œúBҚ z œúò¨@š({ ؍z œj¤
ë
Ì>ËË]\ZÏ First observe that if Ó KŸK , then by Lemma 2.6 the infinite ray
š 2 ¤ 7œ
‘ ¡ ¼Dšžú¯˜¾¶xBҚœú-¥˜*œ­U 0 ¬ ˜¾½
¡
does not meet the graph wôš
œ . Consider‘ next
‘ ¡
¡ any vertical line. ¡ To be specific, we take the
line whose abscissa is { , and, since each of the previous rays emanates from a unique point of
¡
wôš œ , this provides a bijection
between KªK and its projection ® KŸK along the slope ¥ onto the
vertical line of abscissa { . See Fig. 2.
Define
1
1
* The Riesz lemma is formulated in [RN] for arbitrary functions, with open intervals. Because we have piecewise
affine functions, we can go over the proof and obtain the result for closed intervals.
¯
IVANOV’S THEOREM
¡
°® KªK
¡
BҚ { œ
¡
‘ ¡
BҚ(z œ
¡
KªK
‘ ¡
¡
‚pƒ„k…7± : The bijection between ²«z ´³ª³ and µ­´³¶³ . The size of ²«´³¶³ is taken here{ symbolically. See Fig. 3 for a realistic
arrangement.
‘ ¡
¡
¡
Note that ® KŸK is a union of disjoint intervals and satisfies U ® KŸK UL ¥«U KŸK U . To understand the
‘ ¡
following construction, it is useful to consider Fig. 3.
Consider a fixed , we will omit the index · in this argument. We define two intervals:
¸ š zœy [BҚ({[œúò¨@š zX؍{[œ6¶xBҚ zœ ] ¶
¸ š {Hœy [BҚ({[œ6¶xBҚ zœú$¥‡š {£Øzœ ] ¶
¸
and we let ߚ zœj¹U š zœU . We have the following chain of inequalities:
¸ š zœU ,
1) •š(zœ&اߚ zœ‡¹ºU`—š zœ ¸
¸ š {HœU ,
2) U`—š zœ ¸ š zœU¾¹»U`—š {[œ 3) U`—š {[œ š {HœU¾¹»U`—š {[œ ®°KŸK¼U ,
4) U`—š {[œ ®°KŸK¼U¹O•š {Hœ&ؽU ®°KªKcU .
¸
¸ š {[œ and 4) from ® KŸK m —ôš({[œ
‘
Inequality 1) follows from š zœ m —š zœ , 3) follows from ® KªK m
which holds by the definition of KŸK and the bijection constructed above.
The inequality
2)
¸
¸
describes the intersections of the cones outside of the interesting sets š(zœ resp. š({[œ . If the
cones do not intersect ڎÞ`û¾® in Fig. 2, the statement is trivial. If they intersect this region
partially, the statement follows by examining the (rather obvious) cases which can occur.
ÎJ¿
IVANOV’S THEOREM
Þ
®°KŸK —š {[œ ¸ š {Hœ
û
Ú
BҚ zœ
¸ š(zœ —š zœ
‘
®
‘
K
BҚ {Hœ
‘
KŸK
‚pƒ„k…À : Thez region Áãz.µ , through which a cone passes. The intersection of the cone with{ the vertical line at ‰ is
Ä#Å ‰¼Æ . Inside this cone there is the bijection between ²«³¶³ (which has 2 pieces) and µ­³¶³ , and there is a piece of shadow,
Ä#Å ÄÇÅ
²pieces
«³ , which
is generated from the (maximal) regular interval [ ‡5ˆ ‰ ] itself. Note that ‡Æ and ‰¼Æ will in general contain
from other cones as well.
‘ ¡
Combining 1)–4), we see that
¡
¡
¡
¡
¥«¡U KªK U| ¡ U ® KŸK U‡¡ ¹¬•š { œ|ؕš z œú$ߊš(z œƒ¤
š 2 ¤ 8œ
¡
Since Š
ß š z œBEBҚ z œÒØRBҚ { œúò¨@š { ؍z œ , the claim Lemma 2.8 follows.
Combining Lemma 2.7 and Lemma 2.8, and using again the definition of ߚ z œ , we get
È
immediately
Ë!Ì*ËÉ'')
ÌÊ € Ï ¯ Ï One has the bound
¡
¡
‘ ¡
‘ ¡
öU š(Cžœi UB¹ •š { œ|ؕš z œ ú ¨ U U²¤
¥
¥
We next consider a maximal interval C K  [ z K ¶Q{ K ] of C C .
¡
¡
M
 ÊÍ§Í € Ï)ÎJ¿Ï
Î
Î
THE ITERATED THEOREM
One has the inequality
U ö šCžœiËCLKÌU‡¹ •š { K œ|Ø¥ •š z K œ ú ¥¨ U CLKÌUL¤
ë
š 2 ¤ 9œ
Ì>ËË]\ZÏ We distinguish two cases. Assume first that at least one cone “traverses” CLK completely,
i.e., its tip “  ” is to the left of the interior of C K and its point “ z ” is to the right. Then
U CLKÌUҝ©{YK؍zÍKX¹ •š { K ¥äœÒØSا•¨ š z K œ ¶
or equivalently
¥«U C K BU ¹ê¨gU C K U6úR•š { K œ|ؕš z K œj¤
ö
Since š(Cžœ.iCLK m CLK the assertion follows. If noö cone traverses CLK completely, but some
penetrate into it, we consider instead of the interval š(Cžœ8iÎCLK the shortest subinterval [  ¶Q{YK ]
ö
containing the projection of all the cones onto the -axis. Since š(CžœiCLK m [  ¶Q{YK ], the
assertion follows as before.
to complete the
2.2: First observe that if
ö proof of Ï Theorem
Ï  It[ is¶ now] isstraightforward
>
U
¹
•
š
œØЕš œ , since the widths
an interval of C , then 0 ¹U šCx¶!CžœÍi
‘
¡
of the cones is increasing in the gaps of C . Combining this with Corollary 2.9 and Lemma 2.10,
Ï
and observing that the intervals C K , K , and have contiguous boundaries, we get a telescopic
sum in which the •š œ all cancel, except the first and the last. The first is subtracted, and the last
t
is zero. The other terms add up to šf¨Ò±>¥œU C[U , and the proof is complete.
1
2
2
1
Ñ@‚1Ò<?>Ðÿ†k>ˆ=6†k>‹ †l<?>‰Bˆ=>A@
We now give a bound, analogous to Ivanov’s Theorem for the case of
ÇÉÈÊDË!Ì*ÊÍ ó Ï]Î
Ï
C»
©ÓŽC
Â
oscillations.
for which the function B has  successive down¥ to ª¨ ¬ò¥ to the right of . Then
U C » UB¹ šf¨Ò±>¥œ » U C[U>¤
Let
the set of
crossings—as defined in Section 1—from
ë
Ì>ËË]\ZÏ The case · 1 is an immediate consequence of Ivanov’s Theorem, because if is
ö
in š(Cžœ it is in the shadow of some regular interval “ , and this means there is (at least) one
¡ ¡
down-crossing from ¥ to ¨ . The proof proceeds by induction. Assume we have shown the claim
¡ ¡
for all Âé¬× – . If –ÓC»ÔÓ , € we let [M ¶QN ], ·~ 1 ¶°¤°¤°¤1¶H – denote the intervals of successive
crossings. Each of the cones š [M ¶QN ] œ contains a smaller cone which has its apex at the point
š&¶xBҚœPœ .ö Therefore is in the shadow of all the other cones. But this means that if ºÓSC » Ó
š(C »ÔÓZŸ œ . The assertion follows.
then ~Ó
1
΀
Õ ‚:Ö­ˆŠ‰ ‰+3Љ3×ÒS<?>‰ƒˆ=>A@ ƒ‚Q
PROOF OF THEOREM 1.1
H ÊJIjð|îï*î÷Ëð‡Ï For every ¥¦ ¨ò¦ 0 and every ÂãÓØ we define û » as the set of monotone
¿`_¿ a
&
sequences ´¼  ™ ½ ™¢ ¿ ¿<ÀÁÀÁÀ for which ¼  ™ ±²«|½ ™èÙ makes  down-crossings from ¥ to ¨ :
¡ ¡
û » ¿`_¿ a  Ú£¼  ™ ½ ™kÛ U  ³  Ÿ for ·É 1 ¶ 2 ¶°¤°¤°¤j¶
there are numbers 0 ¬–« ¬¯®
¬¯« ¬¯® ¬ ttt ¬¯® » for which š 4 ¤ 1œ
 ™ÜQ±²« Å ³ò¥ƒ¶  ¸Gܑ±²® Å ¹–¨‡¶ for Ý| 1 ¶°¤°¤°¤1¶HÂAÞé¤
&
We shall say that Ó~û » ¿ _
¿ a has  oscillations of amplitude ¥±L¨ . –
F f F f
&
Given a sequence , and už³ 0, we define a new sequence ß d ¿ à by , ™ d ¿`à   ™¾øáF‡Ø  F ,
«º 0 ¶°¤°¤°¤1¶ZÔªØRu & . We denote by ’š & ¶HÂ
¶4¨B¶P¥B¶ZÔ£œ the set of those indices u , for which ß d F ¿`à f Ó
û » ¿`_¿ a . Thus, ’š ¶HÂ
¶4¨‡¶P¥ƒ¶ZÔ£œ counts how many& “shifted” subsequences of ¼ ¶°¤°¤°¤6¶ à ½ make
at least  oscillations. In other words, for u Ó[’š ¶HÂ
¶4¨‡¶P¥ƒ¶ZÔ@œ , the sequence
 ™øÉF Ø  F
Ú « Þ ™¢ Ÿ]F ¶
¿ÁÀ<ÀÁÀ<¿`à
makes
ë at least  down-crossings between ¥ and ¨ .
Ì>Ë
ìBË!í°îï*î)Ë!ðâÏ]Î
Ï One has the inequality:
U ’š & ¶HÂ
¶4¨‡¶P¥ƒ¶ZÔ@œU|¹ šf¨Ò±>¥œ » š]Ô­ú 1œB¤
We first need to define the notion of down-crossing of sequences more precisely.
01
0
1
1
1
2
2
0
0
ÊÍÌÒÏ See Ivanov [I1] for the manipulations—essentially a “periodic” extension of the
ë
¼  ¶°¤°¤°¤  à ½ —which lead to the bound šf¨|±>¥|œ » Ô .
sequence
Ì>ËË]\ZÏ We
¡ apply Theorem 3.1 to the following setting. We let Cê [0 ¶ZÔéú 1œ , and we let
BҚœ   for éÓ [·¾¶Ì·Žú 1œ . It is easy to verify that if an index · is such that the sequence &
has  down-crossings from ¥ to ¨ to the right of · , then the same is true for the function B on
the interval [·¾¶Ì·ú 1 œ . In other words,
U ’š & ¶HÂ
¶4¨‡¶P¥ƒ¶ZÔ@œUÒ¹ U C »]U>¶
ë the result follows from Theorem 3.1.
and
Ì>ËË]\Ë]\ ÇÉÈÊDË!Ì*ÊÍ Î
Ï]Î
Ï At this point, we use the invariance of the measure — under ” . For
™Ÿ F
í
every ›©Ó·“ , we consider sequences š)›‡œ‡ ¼>˜°™š)›‡œ1½ , where ˜°™š)›‡œ‡äã F‘¢ BҚ÷” ›£œ . We let
¤ This terminology is adequate since all bounds will be functions of the amplitude u
Zw alone, i.e., they only depend
on the relative size of w and u .
0
1
0
Îó
PROOF OF THEOREM 1.1
“ » ¿`_¿ a denote the set of those › for which the sequence í š)›‡œ makes  oscillations of amplitude
this happens for the subsequence
¥±L¨ , and we let “ » ¿`_
¿ aŠ¿ ¸ be the subset of— those —› where
Ÿ
¼>˜ š)›‡œ6¶°¤°¤°¤4¶1˜ ¸ š÷›£œ4½ . We then have, since š]Ú œj š)” Ú œ ,
Ï å — šf“ » œ lim — šf“ » ¸ œ
¿`_¿ a ¸gq Õ
¿`_
¿ aŠ¿ ¡
à ¡ Ÿ — Ÿ
Ÿ
 ¸glim
q Õ Ô ¢ š)” “ » ¿ _
¿ a¿ ¸ œ
à ¡ Ÿ
š 4 ¤ 2œ
Ÿ
—
æ
d š)›‡œ
 ¸glim
)
š
‡
›
œ
q Õ Ô
¢ çAèÃéê!ëìYí`îží ïí ð ¡
à ¡ Ÿ
Ÿ
å lim Ï ¸ ¿`à ¤
æ
—
d š)›‡œ
÷
š
”
‡
›
œ
 ¸glim
q Õ Ô
¸gq Õ
¢ ç ëìYí`îží ïí ð
Note now that
š÷›+K œ  1, if the sequence ¼>˜ ™ š÷›+K œ1½ ™¢ ¿ÁÀ<ÀÁÀ<¿ ¸ makes  oscillations of
ëìYí`îž0í ïotherwise.
íð
amplitude ¥±L¨ ,ç and
The crucial observation ¡ by Ivanov is now that if
š)” ›£œj 1 ¶ then ·ôÓ[’š í š)›‡œ6¶HÂ
¶4¨B¶P¥B¶ZÔÆú® Ø 1œƒ¶
š 4 ¤ 3œ
ç8ëÉìxí`îží ïí`ð
as one can see just from the definitions. Therefore, by Proposition 4.1, we find
¡
Ÿà ¡
& š)›‡œ6¶HÂ
¶4¨‡¶P¥ƒ¶ZÔÆú® Ø 1œUB¹ š]¨Ò±>¥œ » š]Ô­ú®ÄœB¤
)
š
”
£
›
Ð
œ
ñ
¹
U
’
š
¢ ç ëÉìxí`îží ïí`ð
Ï
Coming back to ¸ ¿`à , we see that
1
1
1
1
0
1
1
0
1
1
0
1
1
0
Ï ¸ ¹µÔ Ÿ æ d— )š ›‡œ[šf¨|±>¥|œ » ]š Ô~ú®ÄœB¶
¿`à
t
1
Ô
for all , and therefore
Ï ¸ å lim sup Ï ¸ ¹ lim sup šf¨|±>¥|œ » Ô­ú®  šf¨|±>¥|œ » ¤
¿à à q
Ô
àq Õ
Õ
Ï ¹ lim¸Gq Ï ¸ , the assertion of Theorem 1.1 follows.
Since
Õ
š 4 ¤ 4œ
ÍÎ ò£‚ôó«õg@ö@ö>†ˆQÃQ…‡†l>ˆl476ø÷Ì;
SYMMETRIC INTERVALS
¡
In this section, we prove Theorem 1.3, and Theorem 1.4. The proofs leading to Theorem 1.1 are
not quite applicable, because the device used in Eq.(4.3) does not work in the case of symmetric
intervals, since a subsequence will cut a “hole” in the original sequence. However, we shall
1
as the sum of two
work with the decomposition of the sequence
sequences and to be defined below. We first show that if
oscillates, then at least one of
the sequences or must oscillate as well, but a little less. We study this as a general problem:
We assume
, where
0
2 2 and further that
and
are monotone sequences of non-negative numbers. We are going to show that
either or must have oscillations, and we will give bounds on the number and size of these
oscillations. (Our bounds are not optimal, and we do not know the optimal bounds, but we will
give a reasonable set of bounds for the cases when
is close to 0 or 1.)
To describe the nature of the oscillations, we set
¡
ö ™ š)›‡œ 㠙 ¢ Ÿ Ÿ!™ ’š)” ›‡œ
˜™
 ™ úz ™ úû{ ™
ùù
&  ¼  ™ ½ ™kÛ Ó û » ¿
_
¿ a
ù©  ¼ { ™ ½
ù
 ¼z ™ ½
¨Ò±>¥
ú š÷¥|±L¨|œ ¶
2
so that 1 ¬ ü ¬–¥±L¨ . Then we define for ·` 1 ¶ 2 ¶°¤°¤°¤ ,
¡
¨ ¡  ¨Æú ¡ 2 šý· Ø 1œ[šf¨Øº¥± ü œB¶
¥¡  ü¨ ¶
š 5 ¤ 1œ
þ  2¥± ü Øé¨~Ø 2 šÿ· Ø 1œ[šf¨Øº¥± ü œB¤
™
We also define    and  ™  1 ú [  ™Ÿ ± 2 ], where [ ] denotes the integer part. We can now
formulate
our result:
ë
Ì>Ë
ìBË!í°îï*î)Ë!ð V Ï)Î!Ï If & Óû » ¿ _¿ a and &  úTù as above, then at least one of the sequences
or ù is in
û:» K ¿`_¿ a å 5ÓYÛ! ™kÛ û » b ¿ b ¿ b 5ÓxÛ ™kÛ û » b ¿`_ b ¿ _ b ¶
where – is the smallest integer satisfying
–­³ 2 š)¨Æ¥äú-ت¥ ¨|œ ú 1 ¤
ÊÍÌÒÏ The meaning of this inclusion is that either or ù make at least  5ÓZø oscillations
&
of “amplitude” ü . Thus, the theorem says that if has  oscillations of amplitude ¥±L¨ , then, for
Ó
large  , or ù have at least ⚑± 4 œ oscillations of amplitude ü . Note that if ¥|±L¨ diverges
then ü diverges as well, while for ¥±L¨· 1 ú$Ù we have ü  1 ú$Ù²± 2.
ü 
0
1
1
2
2
2
1
1
2
1
2
1
ë
ÎV
¡ ¡
Before we start with the proof, we note that the definitions of ¨ , ¥ have been chosen
such that for ·ô³ 1, one¡ has ¡
¡
¡ ¡
¡
ü ¨  ¥ ¶ ü þ  2¥äØé¥ ¶ ¨ ø  2¨­Ø þ ¤
š 5 ¤ 2œ
¡ ¡
We will construct recursively the possible sets of indices for which oscillations occur. Assume
& Ó·û » ¿ _
¿ a , with the oscillating indices ® , « as in Eq.(4.1). Define ’  “ þ¼ 1 ¶°¤°¤°¤1¶H½ ,
and
“ Ñ¼ÝƒÓ“ U§z ¸gÜ ¹–¨ ®ãÅF½Ž¶
“ Ñ¼ÝƒÓ“ U§{1¸gÜB¹–¨ ® Å ½Ž¤
Since zD¸gÜ&úP{6¸g܌  ¸gÜ ¹ 2 ¨® Å  2 ¨ ® Å , we see that each ݎÓP“ must be in at least one
of the sets “ , “ . Therefore the cardinalities satisfy Uª“ U*úöUª“ U³ Uª“ Uñ·ñ , and we
conclude that max šxU¶“ U<¶5Uª
“ U œ ³× . We assume for definiteness that Uª“ U³× ; in the other
case, the proof is obtained by exchanging the rôles of and ù . We define next
’  ¼Ýjӓ Uz ™Ü ³ò¥ «ÅF½Ž¤
Assume first U ’ U ³  . By the definition of “ and ’ , this means—cf. Eq.(5.2)—that
Ó-û » ¿ _ ¿ a ü
û » ¿`_ ¿`_ , which is part of the set û¾»K ¿`_¿ a , and we stop the induction. In the
’ º“ ’ . Clearly, U ’ U³Ã , but furthermore we have for all Ý@Ó ’ other case, we define the inequalities
z ™Ü¬µ¥ « Å ¶
z ™Ü ú{ ™Ü ³ 2¥«Å&¶
SYMMETRIC INTERVALS
Ì>ËË]\ZÏ
1
2
2
0
0
0
1
0
0
1
1
0
0
0
0
0
0
2
1
1
1
1
0
0
0
0
1
1
2
2
0
1
1
1
0
0
1
1
0
1
1
2
1
1
and therefore
{ ™Ü ³ š 2¥Ø·¥ œQ«Å¤
“  ¼ÝjÓ[’ U{ ¸GÜ ¹ þ ®ãÅF½Ž¤
š 5 ¤ 3œ
1
We now define
If
Uª“ U ³ÖÂ
1
1
3,
1
1
then we have, using Eqs.(5.3) and (5.2),
ùçÓ´û » ¿ ¿ a Ÿ a Ûû » ¿ ¿ ¶
and we stop the induction. In the other case, we let “  ’ “ , and then for all ÝŒÓ “ we
have
{1¸gÜx¦ þ ® Å ¶
z ¸gÜ ú{ ¸gÜ ¹ 2¨®ãŶ
and therefore
z ¸gÜ ¹Ñš 2¨~Ø þ œF®ãÅɝ ¨ ®ãÅ|¤ ¡
š 5 ¤ 4œ
If 2 ¨ãØ þ ¬ 0, the inequality (5.4) contradicts the positivity of the z and hence Uª“ U ¬Ö will
3
1
2
1
3
1
1
1
1
1
1
1
1
1
never occur and the induction stops.
2
1
3
Î~
SYMMETRIC INTERVALS
uŽ³ 2,
’ F Ñ¼ÝBÓ “ F/ Ÿ U zD™ÙÜB³ò¥eFZ« Å ½Ž¶
’ F  “F/ Ÿ ’ F ¶
“ F- Ñ¼ÝBӒ F U {6¸gÜB¹ þ FP® Å ½Ž¶
“ F  ’ F “ F ¤
Otherwise, we continue, defining for
1
1
implies z ™Ü ³Ö¥ F «Å and z ¸GÜ ¹ ¨ F ®ãÅ for Ý@ӒF , and hence
ÓU ’ F û UŠ» ³ `¿ _  ¿ F a  û ’ » F¿`m_ ¿ “_FF Ÿ , and
the induction stops.
2) If U ’ F U¬  F , then we have for ݣӌ’F the inequality { ™Ü ³áš 2¥äت¥ F œF«Å , since z ™Ü ¬–¥ F «Å
and z ™Ü ú{ ™ÙÜ ³ 2¥«Å , and we continue the induction.
“ Fá UD³  F‘ø , then “ F m ’ F implies
{1¸G܇¹ þ FP® Å and {6™ÙÜ@³´š 2¥äØé¥]F4œF« Å for ݇ÓS“F , and
3) If U¶
hence ùªÓû » ¿ ¿ a Ÿ a  û » ¿ ¿ , and the induction stops.
þ
F
4) In the last case, Uª“ F U ¬Ö F‘ø , and then we have for ÝjÓ
“
the inequality z ¸GÜ ¹ š 2 ¨ Ø F œF®ãÅ ,
since { ¸gÜ ¦ þ F ®ÆÅ and z ¸gÜ úO{ ¸gÜ ¹ 2 ¨®ãÅ . If š 2 ¨­Ø þ F œ³ 0, we continue the induction,
“ F U¬Ö F‘ø cannot occur, and the induction stops.
while in the opposite case, we see that Uª
Since 2 ¨ôØ þ 5Ó ¬ 0, as one checks easily from the definitions, the induction must stop for some
u ¹S– . The proof of Proposition 5.1 is complete.
We can now complete the proof of Theorem 1.3 by applying Proposition 5.1. We write the
ö
sum ™ of Eq.(1.2) as
ö ™š)›‡œ z ™š)›‡œú{6™š÷›£œj¶
¡
¡
where
™ ¡ Ÿ
™ ¡
z ™ š)›‡œy ¢ ’š)” ›‡œB¶ { ™ š)›‡œy ¢ ’š)” Ÿ ›‡œB¤
"
By Proposition 5.1, if š)›‡œÓÃû » ¿ _¿ a then at least one of the sequences š)›‡œ , ù š)›‡œ is in
û »K ¿`_¿ a . Therefore
— šQ¼°›OU " š)›‡œ£Óû » ¿`_¿ a ½>œÐ¹ — šQ¼°›OU š)›‡œ‡Ó~û:» K ¿`_¿ a ½>œ ú — šQ¼°›OUYù š)›‡œ£Óû:» K ¿`_¿ a ½>œj¤
Ÿ , we can apply Theorem 1.1 to both sequences and we get
Since — is invariant under ” and ”
a bound:
Óø
b
Ó
— šQ¼°›OU " š)›‡œ‡Óû » ¿`_¿ a ½>œã¹ 2 š 1± ü œ » ¹ 4 š–ƒú 1œ[š 1± ü œ » ¤
™¢
ë both ü and – are functions of ¨Ò±>¥ and ü ¦ 1, the Theorem 1.3 follows.
Since
Ì>ËË]\ŽË\ ÇÉÈ&ÊË
Ì>ÊÍ Î!ÏÏ This proof will be straightforward combination of the 2 following
There are now four cases.
1) If 2 , then 2
1
2
2
2
1
2
1
2
2
2
1
1
2
1
1
0
1
2
2
1
2
1
4
1
lemmas.
1
Δ
SYMMETRIC INTERVALS
 ÊÍ§Í V Ï € Ï Let ¯³ 0. There are a ÂÍKƒµÂÍK š ¶4¨Ò±>¥œ and a ¥AKB ¨|Þãšf¨Ò±>¥œ , with Þ ¦ 1
™
when ¨Ö¬´¥ , such that if ¼ß ™ ½ÐÓ-û » ¿`_¿ a , then the sequence with elements ™ üß ™ ™ø= is in
û »>Ÿ» ¿ _
¿ a .
ÊÍÌÒÏ It will be obvious from the proof that similar statements hold in the following cases:
¼ ™ ½­ ¼ ß ™ max š 0 ¶*š)«ãؘPœP±²«|½XÓû »>Ÿ» ¿`_¿ a ¶
¼ ™ ½­ ¼ß ™ «± max š 1 ¶*š)«x؜Pœ1½XÓû »>Ÿ» ¿`_ ¿ a ¶
š 5 ¤ 5œ
¼ ™ ½­ ¼ß ™ š]«úŒœP±²«|½XÓû »>Ÿ» ¿`_ ¿ a ¶
ë ¨8K ¥Úžšf¨|±>¥|œ with Ú ¬ 1 if -¨ ¬ò¥ .
where
Ì>ËË]\ZÏ We will actually construct ÂÍK and ¥AK . Let «Å and ®ãÅ be defined as the crossing points of
the sequence ˜™ , cf. Eq.(4.1). Since « ³ 1, and the ˜°™ form an increasing sequence, we have
¨&®ÆÅò³ê˜ ¸GÜ ³ê˜ ™Ü ³µ¥«Å¶
so that ®ÆŃ³ š)¥±L¨ÒœF«ÅÒ¦´š)¥±L¨ÒœF®ãÅ Ÿ and thus
®Æ޳њ÷¥|±L¨|œ Å ¤
š 5 ¤ 6œ
1
1
Therefore,
™Ü  ˜ ™Ü « Å
« úÎÅ ³ ¥ «Å « Å
« ú Å  ¥«ÅZš 1 ú « Å œ Ÿ ³ñ«Å 1 ú šf¨Ò¥ ±>¥œ Å Ÿ ¤
1
1
ú š)¥±L¨Òœ ¶
2
so that ¥ K  ¨|Þãšf¨Ò±>¥œ-¦ ¨ , and there is clearly a  K   K š¶4¨Ò±>¥œ
šf¨|±>¥|œ » Ÿ ¦ò¥ K . Then we have for ÝB¦Ö K ,
Q™Üô³µ« Å ¥ K ¤
We choose
Þãšf¨Ò±>¥œy
1
for which
1
Q¸gÜɝ [ß ¸gÜ ã® ®Å!úŒÅ ¹µßH¸GÜô¹ñ¨® Å ¶
On the other hand,
so that the assertion follows.
We next study sequences with increments of more than 1. Fix
¡
P ¡ ™DŸ
™ š)›‡œ
¢ ’ š÷” £› œj¤
1
0
`ÓÎØ
and define
¥|± 1 ú
Φ
SYMMETRIC INTERVALS
™ ±Šš]«Lœ . This question is reduced to the one described
¡
1 ¡6Ÿ
’ š)›‡œž ¢ ’š)” ›‡œƒ¶ ” ê” ¶
¡
and
™ ¡ Ÿ
˜™š)›‡œ ¢ ’k š)”ᜠ› ¤
By construction, ˜ ™ š)›‡œ‡ ™ š)›‡œ . Since ’ ³ 0 and ” preserves the measure — if ” preserves
it, we conclude
 ÊÍ§Í V Ï ó Ï The probability that the sequence ¼ ™ ±Šš)«¾œ1½ (defined with ’ and ” ) makes at
least  oscillations is the same as the probability that ¼>˜™Š±²«|» ½ (defined with ’l and ”É ) makes at
least  oscillations, and this quantity is bounded by šf¨|±>¥|œ .
ÊÍÌÒÏ The Lemma 5.3 is a little too strong for our purpose, since it would have sufficed to
observe that the sequence ¼>˜°™±²«|½ makes more oscillations than ¼ F™Š±Šš]«¾œ1½ .
We can now complete the proof of Theorem 1.4 ö by a painful but somehow obvious
combination of the results above. Recall the definition of ™ in Eq.(1.3):
¡
™
ø
Ÿ
ö ™š)›‡œy ¡ ’š÷” ›‡œB¤
¢|Ÿ!™ Ÿ
ö
We want to bound the probability that the sequence ™ ± «ƒš ú œú úR makes  downå « ö ™ ± «ƒš ú œúÐ úÐ crossings from ¥ to ¨ . So assume the sequence with elements ß ™
t
is in û » ¿ _
¿ a . We let
ö™
ô
«
Œ
ú
ú ¤
Q™¯ ß[™

¶
where ֝
«
úŒ
úŒ
ö ™ ±Šš ús œ
Applying Lemma 5.2, (actually Eq.(5.5)), we see that the
sequence
with
elements
ö
is in û »>Ÿ» ¿`_ ¿ a , and thus the sequence with elements ™ is in û » ¿`_ ¿ a , where  KŸK áÂÉØò K ,
¨ö KªK  ¨ K ±Šš ú œ , ¥ KªK ê¥±Šš ú œ . We next use the “splitting” mechanism and write
™ z ™Xú{6™ , where
™§ ¡ øá Ÿ ¡
™ ¡ øá Ÿ ¡
zD™ò ¢ ’š)” ›‡œƒ¶ and {6™¯ ¢ ’š)” ›£œj¤
By Proposition 5.1, we conclude that one of the two sequences  ¼z ™½ or ù© ¼{1™½ must
oscillate; we discuss here the case where it is and leave the other case to the reader. Then we
We are interested in the oscillations of in Proposition 1.2: Let
1
0
1
0
2
2
1
1
1
1
2
1
2
1
1
1
2
1
1
1
1
2
2
2
2
0
1
1
2
1
2
2
1
2
1
2
ί
SYMMETRIC INTERVALS
Âdf ¨df
Ó¯û » `¿ _ ¿ a
¥ df f
¨Ò±>¥
 d  ⚠œ Ä • ¨ d f ±>¥ d f ¬
¨ª¬ò¥
¨ d f ±>¥ d f
¨Ò±>¥­•
Óåû » ¿`_ ¿ a
z ™ ±x
û » ¿`_ ¿ a š z ™±x œ t «± «xú š ±x œ ûŒ» ¿`_ ¿ a
¡
§
™
á
ø
˜°¸žš)›‡œ  1 ¡ ’š)” Ÿ ›‡œƒ¶
®
«k ú ¢
f
f
f
where ® ç«k úP , makes at least  d down-crossings from ¥ d to ¨ d . The probability
that this happens for ®ñ ¶! ú«Ò¶! ú 2«Ò¶°¤°¤°¤ is certainly less than the probability that this
happens for the sequence ˜ ¸ š)›‡œP±²® when ®µ 1 ¶ 2 ¶°¤°¤°¤ . But this probability is bounded, using
f f » . Since ˜ ¸ š)›‡œ has been derived from the original sequence
Theorem 1.1, by ¨ d ±>¥ d ö ™ š)›‡œ by successive modifications, the proof of Theorem 1.4 is complete.
&ÔðËk$%'÷Ê
ß ÍéÊðï*íLÏ We thank B. Weiss for very enlightening discussions on this subject.
3 3 3 and these constants
conclude that there are a 3 , 3 and 3 for which
3
3
depend only on
, and furthermore
as
. Finally, 3
1 when
. (We will construct further such constants and they will possess the same properties. Of
3
course, with some more work one can see that the quotient 3
goes to 0 when
0.)
3 3 3 , then the sequence with elements
If
,
and,
is
in
3
3
3
1
1
1
is
applying again Eq.(5.5), we see that the sequence with elements
1
1 1
in 4 4 4 . This means that the sequence with elements
1
1
1
1
1
4
1
4
4
1
1
4
4
1
1
4
Our collaboration has been made possible through the kind hospitality of the IHES. Further
support was received from the Fonds National Suisse. This work was completed while one of
us (JPE) was profiting from the hospitable atmosphere of Rutgers and the IAS in Princeton.
Êk\ ÊDÌ>Êð.&¾ÊíLÏ
†
†À
[B1] E. Bishop: An upcrossing inequality with applications. Michigan
Math. J. , 1–13 (1966).
[B2] E. Bishop: A constructive ergodic theorem. J. Math. Mech. , 631–639 (1968).
[I1] V.V. Ivanov: Oscillations of means in the ergodic theorem (Translated from Dokl. Acad. Nauk 347, 736–738
(1996)). Russian Acad. Sci. Dokl. Math. , 263–265 (1996).
[I2] V.V. Ivanov: Geometric !
properties
of monotone functions and probabilities of!random
fluctuations. (Translated
from Sibirskiı̆ Mat. Zh., , 117–150 (1996)). Siberian Mathematical Journal , 102–129 (1996).
[K] A.G. Kachurovskii: The rate of convergence in ergodic theory. (Translated from Uspekhi Mat. Nauk , 73–124
(1996)). Russian Math. Surveys , 653–703 (1996).
[KW] S. Kalikow and B. Weiss: Fluctuations of ergodic averages. Preprint (1994).
[RN] F. Riesz and B. Sz.-Nagy: Leçons d’analyse fonctionelle, Académie des Sciences de Hongrie (1955).
[R] D. Ruelle: Statistical Mechanics, New York, Addison-Wesley (1968).
[W] B. Weiss: Private communication.
À
†
À
À
†