Teorema de Erdős–Wintner

O Teorema de Erdős–Wintner é um teorema da Teoria Probabilística dos Números assim nomeado por ter sido provado por Paul Erdős e Aurel Wintner[1].

Teoria

Sejam x e y tais que 2 x y . {\displaystyle 2\leq x\leq y.}    A notação

v x , y ( n ; f ( n ) <= z ) {\displaystyle v_{x,y}(n;f(n)<=z)}            ( 1 ) {\displaystyle (1)}

é a frequencia entre os inteiros n no intervalo semi-aberto ] x y ; x ] {\displaystyle ]x-y;x]} daqueles para os quais a função aditiva real f ( n ) {\displaystyle f(n)} não exceda z.

Seja c > 1 {\displaystyle c>1} e N j {\displaystyle N_{j}} uma sequência crescente de inteiros positivos para os quais N j + 1 N j c {\displaystyle N_{j+1}\leq N_{j}^{c}} .

Seja M j {\displaystyle M_{j}} uma outra sequência de números inteiros, M j <= N j {\displaystyle M_{j}<=N_{j}} , log M j / log N j 1 {\displaystyle \log M_{j}/\log N_{j}\to 1} ,   já que j {\displaystyle j\to \infty } .

Na ordem que as frequências

v N j , M j ( n ; f ( n ) z ) {\displaystyle v_{N_{j},M_{j}}(n;f(n)\leq z)}            ( 2 ) {\displaystyle (2)}

convergem fracamente, como j {\displaystyle j\to \infty } , é necessário e suficiente que as três séries

| f ( p ) | > 1 1 p , | f ( p ) | 1 f ( p ) p , | f ( p ) | 1 f ( p ) 2 p {\displaystyle \sum _{|f(p)|>1}{\frac {1}{p}},\sum _{|f(p)|\leq {1}}{\frac {f(p)}{p}},\sum _{|f(p)|\leq {1}}{\frac {f(p)^{2}}{p}}}            ( 3 ) {\displaystyle (3)}

convirjam.

Resultados

Quando N j = j {\displaystyle N_{j}=j} e M j = j {\displaystyle M_{j}=j} , este é o Teorema de Erdős–Wintner. Para N j = j {\displaystyle N_{j}=j} e algum M j {\displaystyle M_{j}} que satisfaça M j / N j 0 {\displaystyle M_{j}/N_{j}\to 0} , em conjunto com a condição acima log M j log N j {\displaystyle \log M_{j}\thicksim \log N_{j}} foi provada por A. J. Hildebrand.

Referências

  1. A localized Erdős-Wintner Theorem - Página acessada em 30 de abril de 2014. (em inglês)
Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.
  • v
  • d
  • e
  • Portal da matemática