Costante di Erdős-Borwein

Costante di Erdős-Borwein
SimboloE
Valore1,606695152415291763...
(sequenza A065442 dell'OEIS)
Origine del nomePaul Erdős e Peter Borwein
Frazione continua[1, 1, 1, 1, 1, 5, 2, 1, 2, 29, 4, ...]
(sequenza A038631 dell'OEIS)
Insiemenumeri irrazionali

La costante di Erdős-Borwein E è la somma dei reciproci dei numeri di Mersenne. Prende il nome da Paul Erdős e da Peter Borwein.

Per definizione è:

E B = n = 1 1 2 n 1 1,606 695152415291763... {\displaystyle E_{B}=\sum _{n=1}^{\infty }{\frac {1}{2^{n}-1}}\approx 1{,}606695152415291763...}

Si dimostra che le forme seguenti sono equivalenti alla precedente:

E = n = 1 1 2 n 2 2 n + 1 2 n 1 {\displaystyle E=\sum _{n=1}^{\infty }{\frac {1}{2^{n^{2}}}}{\frac {2^{n}+1}{2^{n}-1}}}
E = m = 1 n = 1 1 2 m n {\displaystyle E=\sum _{m=1}^{\infty }\sum _{n=1}^{\infty }{\frac {1}{2^{mn}}}}
E = 1 + n = 1 1 2 n ( 2 n 1 ) {\displaystyle E=1+\sum _{n=1}^{\infty }{\frac {1}{2^{n}(2^{n}-1)}}}
E = n = 1 σ 0 ( n ) 2 n {\displaystyle E=\sum _{n=1}^{\infty }{\frac {\sigma _{0}(n)}{2^{n}}}}

dove σ 0 ( n ) = d ( n ) {\displaystyle \sigma _{0}(n)=d(n)} è la funzione divisore di parametro 0, che ha lo scopo di contare il numero di divisori del numero n {\displaystyle n} . Per provare l'equivalenza di queste somme si sfrutta il fatto che hanno tutte la forma di una serie di Lambert.

Erdős nel 1948 ha dimostrato che la costante E è un numero irrazionale.

Collegamenti esterni

  • (EN) Eric W. Weisstein, Costante di Erdős-Borwein, su MathWorld, Wolfram Research. Modifica su Wikidata
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica