Deje f:R⟶C ser continua y tener período de 2π , e α tal que απ es irracional.
A continuación,limN→∞1NN∑n=1f(x+nα)=12π∫π−πf(x)dx .
Primero vamos a demostrar esta propiedad para las funciones de la forma f(x)=einkx donde k es un número entero.
Si k es un número entero con k≠0 , entonces a partir de la απ es irracional debemos tener ese eikα≠1 , por lo tanto para cualquier N≥1 hemos
N∑i=1eknα=ek(N+1)α−1ekα−1 , luego
limN→∞1NN∑n=1eik(x+nα)=limN→∞1Nek(N+1)α−1ekα−1 , pero la secuencia de ek(N+1)α−1ekα−1 es limitada; desde ekα−1≠0 , lo limN→∞1NN∑n=1eik(x+nα)=limN→∞1Nek(N+1)α−1ekα−1=0k≠0 .
Si k=0 , está claro que limN→∞1NN∑n=1eik(x+nα)=1.
Pero 12π∫π−πf(x)dx=0 si k≠0 , y
12π∫π−πf(x)dx=1 si k=0 , por lo que
limN→∞1NN∑n=1f(x+nα)=12π∫π−πf(x)dx si f(x)=einkx , para algún entero k .
Ahora vamos a P(x) ser un trigonométricas polinomio , entonces existe M∈N tal que
P(x)=M∑n=−Mcnein algunos cn∈C ,entonces vamos a tener, porque de lo que se muestra arriba, que
limN→∞1NN∑n=1P(x+nα)=12π∫π−πP(x)dx , ya que este tiene para todos los sumandos del polinomio.
Ahora vamos a f:R⟶C ser continua, del período 2π .
Deje ϵ>0 . Pd de la Piedra-Weiestrass teorema existe una trigonométricas polinomio P(x) tal que |P(x)−f(x)|<ϵ ∀x∈R . Pero limN→∞1NN∑n=1P(x+nα)=12π∫π−πP(x)dx , por lo que no es M∈N con |1NN∑n=1P(x+nα)−12π∫π−πP(x)dx|<ϵ ∀N≥M (1), pero |12π∫π−πf(x)dx−12π∫π−πP(x)dx|<ϵ (2); desde |P(x)−f(x)|<ϵ ∀x∈R , y también
1N|N∑n=1P(x+nα)−N∑n=1f(x+nα)|≤1NN∑n=1|P(x+nα)−f(x+nα)|<NNϵ=ϵ (3), por lo tanto para cualquier N≥M , entonces tenemos
\a la izquierda|{\displaystyle\frac{1}{N}\displaystyle\sum_{n=1}^N{f(x+n\alpha)}-\displaystyle\frac{1}{2\pi}\displaystyle\int_{-\pi}^{\pi}f(x)dx}\right |<3\epsilon , usando la desigualdad triangular y las desigualdades(1), (2), (3).
Por lo tanto,limN→∞1NN∑n=1f(x+nα)=12π∫π−πf(x)dx, ya que el ϵ>0 fue arbitraria.