Costante Omega

Costante Omega
SimboloΩ
Valore0,5671432904097838729999686622...
(sequenza A030178 dell'OEIS)
Frazione continua[0; 1, 1, 3, 4, 2, 10, 4, 1, 1, 1, 1, 2, 7, ...]
(sequenza A019474 dell'OEIS)
Insiemenumeri trascendenti
Costanti correlatee

La costante Omega è una costante matematica definita da

Ω⋅eΩ=1

e la cui espansione decimale inizia con

Ω=0,5671432904097838729999686622...

È il valore di W(1), dove W è la funzione W di Lambert o funzione omega (da cui il nome della costante).

Ω può essere anche definito come la soluzione di

e−Ω=Ω

o anche di

ln⁡(1/Ω)=Ω.

La costante Ω può essere calcolata attraverso un metodo iterativo: partendo da una stima iniziale Ω0 e considerando la successione

Ωn+1=e−Ωn.

che avrà limite Ω quando n→∞. La convergenza di questa iterazione avviene poiché Ω è un punto fisso attrattivo della funzione e−x.

A ogni modo è molto più efficiente utilizzare l'iterazione

Ωn+1=1+Ωn1+eΩn,

poiché la funzione

f(x)=1+x1+ex,

ha il medesimo punto fisso ma ha derivata nulla nel suddetto punto e quindi la convergenza è quadratica (il numero di cifre corrette raddoppia approssimativamente a ogni iterazione).

Un'identità tramite integrale improprio dovuta a Victor Adamchik è la seguente:

Ω=1∫−∞+∞dt(et−t)2+π2−1.

Irrazionalità e trascendenza

La costante Ω è un numero trascendente.

Per dimostrare la sua irrazionalità è possibile servirsi del fatto che e è trascendente: se Ω=pq (con p e q interi), allora

1=pqep/q

cioè

e=qqpqp

e quindi e sarebbe algebrico, il che è assurdo.

La trascendenza di Ω è una conseguenza del teorema di Lindemann-Weierstrass: se fosse algebrico, il numero eΩ sarebbe trascendente, così come Ω⋅eΩ, il che è assurdo perché questa quantità è uguale a 1 per definizione. Quindi Ω è trascendente.

Voci correlate

Collegamenti esterni

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica