Logaritmo integral

En matemática, el logaritmo integral, función integral de logaritmo o integral logarítmica , es una función especial de relevancia significativa en problemas de física y teoría de números, ya que da una estimación de la cantidad de números primos menores que un determinado valor (teorema de los números primos).

Integral logarítmica representada para valores x>2.

Se define como:

Representación de la integral

editar

La integral logarítmica tiene una representación en forma de integral definida para todos los números reales positivos   mediante la integral

 

Donde,   denota el logaritmo natural. La función   tiene una singularidad en  , y la integral para   tiene que ser interpretada utilizando el valor principal de Cauchy:

 

Integral logarítmica desplazada

editar

La integral logarítmica desplazada o integral logarítmica euleriana es definida como

 

o

 

Como tal, esta representación integral tiene la ventaja de que evita la singularidad en el dominio de integración.

Esta función tiene la propiedad de ser una buena aproximación del número de primos menores que un número dado  , y por tanto, es la base del teorema de los números primos.

Representación en forma de serie

editar

La función   está relacionada con la integral exponencial   mediante la ecuación

 

que es válida para x > 1. Esta identidad proporciona una representación en forma de serie de   como:

 

donde γ ≈ 0.57721 56649 01532 ... es la constante de Euler-Mascheroni. Una serie más rápida en términos de convergencia fue dada por Ramanujan:

 

Valores especiales

editar

La función   tiene un cero simple positivo que se obtiene para el valor x ≈ 1.45136 92348 ...; este número es más conocido como la constante de Ramanujan-Soldner.

li(2) ≈ 1.045163 780117 492784 844588 889194 613136 522615 578151…

Expansión asintótica

editar

El comportamiento asintótico de la función cuando x → ∞ es

 

donde   significa cota superior asintótica. La expansión asintótica completa es

 

o

 

Nótese, que como expansión asintótica, esta serie es no convergente. Esta es una aproximación razonable sólo si la serie se trunca para un número finito de términos, y sólo cuando se emplean valores para   suficientemente grandes. Esta expansión se deduce directamente de la expansión asintótica de la integral exponencial.

Uso en teoría de números

editar

La integral logarítmica es importante en teoría de números, ya que es utilizada para hacer una estimación de la cantidad de números primos menores que un valor dado. Por ejemplo, el teorema de los números primos asegura que:

 

donde   denota la cantidad de números primos que hay para un valor menor o igual a  .

Referencias

editar