19.01.2015 Views

My title - Departamento de Matemática da Universidade do Minho

My title - Departamento de Matemática da Universidade do Minho

My title - Departamento de Matemática da Universidade do Minho

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

16 ERGODICITY AND CONVERGENCE OF TIME MEANS 106<br />

theorem owes its name to the fact that<br />

1<br />

n + 1<br />

n∑<br />

∫<br />

ϕ (x + jα) →<br />

j=0<br />

ϕdl<br />

uniformly for any continuous function ϕ on the circle, and this is interpreted as saying that the<br />

sequence of points {x, x + α, x + 2α, x + 3α, ...} is “equidistributed” w.r.t. Lebesgue measure.<br />

Linear flows on tori. Now, consi<strong>de</strong>r the torus X = R n /Z n of dimension n ≥ 2, and the linear<br />

flow φ t : x + Z n ↦→ x + tα + Z n <strong>de</strong>fined by the differential equation<br />

ẋ = α<br />

where α ∈ R n . The “frequency vector” α = (α 1 , α 2 , ..., α n ) is said non resonant if the scalar<br />

product 〈α, k〉 = ∑ n<br />

j=1 α jk j ≠ 0 for any k ∈ Z n \ {0}. As above, one can approximate any<br />

continuous function on the torus with trigonometric functions. One then checks that<br />

∫<br />

1 T<br />

(<br />

)<br />

e i2π〈k,x+tα〉 dt = ei2π〈k,x〉<br />

e i2πT 〈k,x〉 − 1 → 0<br />

T 0<br />

iT 〈k, x〉<br />

as T → ∞, for any k ∈ Z n \ {0}, while the time mean of the observable 1 is constant and equal<br />

to one. There follows that a non resonant linear flow on the torus is uniquely ergodic w.r.t. to<br />

Lebesgue measure.<br />

Dyadic adding machine.<br />

to be <strong>do</strong>ne

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!