Namespaces
Variants
Actions

Difference between revisions of "Ornstein-Chacon ergodic theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(MSC|37A30|47A35 Category:Ergodic theorems, spectral theory, Markov operators)
(TeX)
 
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 +
{{TEX|done}}
 
{{MSC|37A30|47A35}}
 
{{MSC|37A30|47A35}}
  
 
[[Category:Ergodic theorems, spectral theory, Markov operators]]
 
[[Category:Ergodic theorems, spectral theory, Markov operators]]
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070230/o0702301.png" /> be a space with a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070230/o0702302.png" />-finite measure and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070230/o0702303.png" /> be a positive linear operator on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070230/o0702304.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070230/o0702305.png" />-norm <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070230/o0702306.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070230/o0702307.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070230/o0702308.png" /> almost everywhere, then the limit
+
Let $(W,\mu)$ be a space with a $\sigma$-finite measure and let $T$ be a positive linear operator on $L_1(W,\mu)$ with $L_1$-norm $\Vert T\Vert\leq1$. If $f,g\in L_1(W,\mu)$ and $g\geq0$ almost everywhere, then the limit
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070230/o0702309.png" /></td> </tr></table>
+
$$\lim_{n\to\infty}\frac{\sum_{k=0}^nT^kf(w)}{\sum_{k=0}^nT^kg(w)}$$
  
exists almost everywhere and is finite on that set where the denominator for sufficiently large <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070230/o07023010.png" /> differs from zero, i.e. where at least one of the numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070230/o07023011.png" />.
+
exists almost everywhere and is finite on that set where the denominator for sufficiently large $n$ differs from zero, i.e. where at least one of the numbers $T^kg(w)>0$.
  
This theorem was formulated and proved by D.S. Ornstein and R.V. Chacon [[#References|[1]]] (see also [[#References|[2]]], [[#References|[3]]]); its analogue for continuous time has since been obtained (see [[#References|[4]]]).
+
This theorem was formulated and proved by D.S. Ornstein and R.V. Chacon {{Cite|CO}} (see also {{Cite|H}}, {{Cite|N}}); its analogue for continuous time has since been obtained (see {{Cite|AC}}).
  
Among the direct corollaries of the Ornstein–Chacon ergodic theorem are the [[Birkhoff ergodic theorem|Birkhoff ergodic theorem]] and various of its previously proposed generalizations, but there are also a number of ergodic theorems which are independent of the Ornstein–Chacon ergodic theorem, which is itself subject to various generalizations (see [[#References|[5]]], [[#References|[6]]], as well as the bibliography under [[Operator ergodic theorem|Operator ergodic theorem]]). Of all the generalizations of the Birkhoff theorem, the most frequently used is the Ornstein–Chacon ergodic theorem.
+
Among the direct corollaries of the Ornstein–Chacon ergodic theorem are the [[Birkhoff ergodic theorem|Birkhoff ergodic theorem]] and various of its previously proposed generalizations, but there are also a number of ergodic theorems which are independent of the Ornstein–Chacon ergodic theorem, which is itself subject to various generalizations (see {{Cite|C}}, {{Cite|T}}, as well as the bibliography under [[Operator ergodic theorem|Operator ergodic theorem]]). Of all the generalizations of the Birkhoff theorem, the most frequently used is the Ornstein–Chacon ergodic theorem.
  
 
Sometimes the Ornstein–Chacon ergodic theorem, as well as other theorems which deal with the limit of the ratio between two time-dependent means are called  "ratio ergodic theorems" .
 
Sometimes the Ornstein–Chacon ergodic theorem, as well as other theorems which deal with the limit of the ratio between two time-dependent means are called  "ratio ergodic theorems" .
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"R.V. Chacon,  D.S. Ornstein,  "A general ergodic theorem"  ''Illinois J. Math.'' , '''4''' :  2  (1960)  pp. 153–160</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  E. Hopf,  "On the ergodic theorem for positive linear operators"  ''J. Reine Angew. Math.'' , '''205'''  (1960)  pp. 101–106</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"J. Neveu,  "Mathematical foundations of the calculus of probabilities" , Holden-Day  (1965)  (Translated from French)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"M.A. Alaoglu,  J. Cunsolo,  "An ergodic theorem for semigroups"  ''Proc. Amer. Math. Soc.'' , '''24''' :  1  (1970)  pp. 161–170</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  R.V. Chacon,  "Convergence of operator averages" , ''Ergodic Theory (Proc. Internat. Symp. New Orleans, 1961)'' , Acad. Press  (1963)  pp. 89–120</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  T.R. Terrell,  "A ratio ergodic theorem for operator semigroups"  ''Boll. Un. Mat. Ital.'' , '''6''' :  2  (1972)  pp. 175–180</TD></TR></table>
+
{|
 
+
|valign="top"|{{Ref|CO}}|| R.V. Chacon,  D.S. Ornstein,  "A general ergodic theorem"  ''Illinois J. Math.'' , '''4''' :  2  (1960)  pp. 153–160
 
+
|-
 +
|valign="top"|{{Ref|H}}|| E. Hopf,  "On the ergodic theorem for positive linear operators"  ''J. Reine Angew. Math.'' , '''205'''  (1960)  pp. 101–106
 +
|-
 +
|valign="top"|{{Ref|N}}|| J. Neveu,  "Mathematical foundations of the calculus of probabilities" , Holden-Day  (1965)  (Translated from French)
 +
|-
 +
|valign="top"|{{Ref|AC}}|| M.A. Alaoglu,  J. Cunsolo,  "An ergodic theorem for semigroups"  ''Proc. Amer. Math. Soc.'' , '''24''' :  1  (1970)  pp. 161–170
 +
|-
 +
|valign="top"|{{Ref|C}}|| R.V. Chacon,  "Convergence of operator averages" , ''Ergodic Theory (Proc. Internat. Symp. New Orleans, 1961)'' , Acad. Press  (1963)  pp. 89–120
 +
|-
 +
|valign="top"|{{Ref|T}}|| T.R. Terrell,  "A ratio ergodic theorem for operator semigroups"  ''Boll. Un. Mat. Ital.'' , '''6''' :  2  (1972)  pp. 175–180
 +
|}
  
 
====Comments====
 
====Comments====
In the Western literature one usually speaks of the Chacon–Ornstein ergodic theorem. For an overview of all kinds of ergodic theorems see [[#References|[a1]]]. An excellent account of the Chacon–Ornstein ergodic theorem is in [[#References|[a2]]].
+
In the Western literature one usually speaks of the Chacon–Ornstein ergodic theorem. For an overview of all kinds of ergodic theorems see {{Cite|K}}. An excellent account of the Chacon–Ornstein ergodic theorem is in {{Cite|G}}.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  U. Krengel,  "Ergodic theorems" , de Gruyter  (1985)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"A. Garcia,  "Topics in almost everywhere convergence" , Markham  (1970)</TD></TR></table>
+
{|
 +
|valign="top"|{{Ref|K}}|| U. Krengel,  "Ergodic theorems" , de Gruyter  (1985)
 +
|-
 +
|valign="top"|{{Ref|G}}|| A. Garcia,  "Topics in almost everywhere convergence" , Markham  (1970)
 +
|}

Latest revision as of 22:08, 7 July 2014

2020 Mathematics Subject Classification: Primary: 37A30 Secondary: 47A35 [MSN][ZBL]

Let $(W,\mu)$ be a space with a $\sigma$-finite measure and let $T$ be a positive linear operator on $L_1(W,\mu)$ with $L_1$-norm $\Vert T\Vert\leq1$. If $f,g\in L_1(W,\mu)$ and $g\geq0$ almost everywhere, then the limit

$$\lim_{n\to\infty}\frac{\sum_{k=0}^nT^kf(w)}{\sum_{k=0}^nT^kg(w)}$$

exists almost everywhere and is finite on that set where the denominator for sufficiently large $n$ differs from zero, i.e. where at least one of the numbers $T^kg(w)>0$.

This theorem was formulated and proved by D.S. Ornstein and R.V. Chacon [CO] (see also [H], [N]); its analogue for continuous time has since been obtained (see [AC]).

Among the direct corollaries of the Ornstein–Chacon ergodic theorem are the Birkhoff ergodic theorem and various of its previously proposed generalizations, but there are also a number of ergodic theorems which are independent of the Ornstein–Chacon ergodic theorem, which is itself subject to various generalizations (see [C], [T], as well as the bibliography under Operator ergodic theorem). Of all the generalizations of the Birkhoff theorem, the most frequently used is the Ornstein–Chacon ergodic theorem.

Sometimes the Ornstein–Chacon ergodic theorem, as well as other theorems which deal with the limit of the ratio between two time-dependent means are called "ratio ergodic theorems" .

References

[CO] R.V. Chacon, D.S. Ornstein, "A general ergodic theorem" Illinois J. Math. , 4 : 2 (1960) pp. 153–160
[H] E. Hopf, "On the ergodic theorem for positive linear operators" J. Reine Angew. Math. , 205 (1960) pp. 101–106
[N] J. Neveu, "Mathematical foundations of the calculus of probabilities" , Holden-Day (1965) (Translated from French)
[AC] M.A. Alaoglu, J. Cunsolo, "An ergodic theorem for semigroups" Proc. Amer. Math. Soc. , 24 : 1 (1970) pp. 161–170
[C] R.V. Chacon, "Convergence of operator averages" , Ergodic Theory (Proc. Internat. Symp. New Orleans, 1961) , Acad. Press (1963) pp. 89–120
[T] T.R. Terrell, "A ratio ergodic theorem for operator semigroups" Boll. Un. Mat. Ital. , 6 : 2 (1972) pp. 175–180

Comments

In the Western literature one usually speaks of the Chacon–Ornstein ergodic theorem. For an overview of all kinds of ergodic theorems see [K]. An excellent account of the Chacon–Ornstein ergodic theorem is in [G].

References

[K] U. Krengel, "Ergodic theorems" , de Gruyter (1985)
[G] A. Garcia, "Topics in almost everywhere convergence" , Markham (1970)
How to Cite This Entry:
Ornstein-Chacon ergodic theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Ornstein-Chacon_ergodic_theorem&oldid=22006
This article was adapted from an original article by D.V. Anosov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article