Integrallogarithmus

Funktionsgraph von $\mathrm{li}(x)$ im Bereich zwischen 0 und 10

Der Integrallogarithmus ist eine analytische Funktion auf den reellen Zahlen $x\ge 0,x\ne 1$ (oder $x>1$) in die reellen Zahlen. Sie hat praktische Relevanz in einigen Gebieten der Physik wie der Quantenfeldtheorie und bei der Lösung der Laplace-Gleichung in Halbleitern sowie in der Zahlentheorie, da sie eng mit der Dichte der Primzahlen verknüpft ist.

Definition

Es sind zwei Definitionen üblich, die sich um eine Konstante unterscheiden. Für eine der wichtigsten Anwendungen – als asymptotische Vergleichsgröße für die Primzahlfunktion im Primzahlsatz – spielt der Unterschied zwischen den beiden Definitionen keine Rolle.

Eine Definition im Bereich $x\ge 0$ lautet

$\mathrm{li}(x)=\underset{0}{\overset{x}{\int }}\frac{\mathrm{d}t}{\ln t},$

dabei muss $\mathrm{li}$ wegen der Singularität bei $x=1$ für $x>1$ über einen Grenzwert definiert werden (cauchyscher Hauptwert):

$\mathrm{li}(x)=\underset{\epsilon \to 0^{+}}{\lim }(\underset{0}{\overset{1-\epsilon }{\int }}\frac{\mathrm{d}t}{\ln t}+\underset{1+\epsilon }{\overset{x}{\int }}\frac{\mathrm{d}t}{\ln t}).$

Eine andere Definition für $x>1$ ist

$\mathrm{Li}(x)=\mathrm{li}(x)-\mathrm{li}(2)=\underset{2}{\overset{x}{\int }}\frac{\mathrm{d}t}{\ln t}.$

Dabei liegt bei $x=1$ ein Verzweigungspunkt vor.

Eigenschaften

Funktionsgraph von $\mathrm{li}(x)$ im Bereich zwischen 0 und 2 (umfasst 0, 1, µ und 2)

Einige Werte:

• $\mathrm{li}(0)=0$
• $\mathrm{li}(1)=-\mathrm{\infty }$
• $\mathrm{li}(\mu )=0$
• $\mathrm{li}(2)=1,04516378011749278484\dots$ (Vorlage:OEIS)

Dabei ist $\mu =1,45136923488338105028\dots$ (Vorlage:OEIS) die Ramanujan-Soldner-Konstante.

Es gilt $\mathrm{li}(x)=\mathrm{Ei}(\ln x)$ mit der Integralexponentialfunktion $\mathrm{Ei}$, daraus erhält man die Reihendarstellung

$\mathrm{li}(x)=\gamma +\ln |\ln x|+\sum _{k=1}^{\mathrm{\infty }}\frac{(\ln x{)}^k}{k\cdot k!},$

wobei $\gamma =0,57721566490153286060\dots$ (Vorlage:OEIS) die Euler-Mascheroni-Konstante ist.

Aus der Definition von $\mathrm{li}$ erhält man durch lineare Substitution

$\mathrm{li}(x)=x\underset{0}{\overset{1}{\int }}\frac{\mathrm{d}t}{\ln (xt)},$

wobei für $x>1$ wegen der Singularität bei $t=1/x$ der cauchysche Hauptwert eingesetzt werden muss.
Ferner haben wir für $x\ge 0,x\ne 1$

$\underset{0}{\overset{x}{\int }}\mathrm{li}(t)\mathrm{d}t=x\mathrm{li}(x)-\mathrm{li}(x^2).$

Außerdem gilt für $p>-1,p=0$

$\underset{0}{\overset{1}{\int }}\mathrm{li}(t)t^{p-1}\mathrm{d}t=-\frac{1}{p}\ln (p+1),$

für $p=1$ erhält man ${\int }_0^1\mathrm{li}(t)\mathrm{d}t=-\ln 2.$
Im Grenzfall $p=0$ ist ${\int }_0^1\mathrm{li}(t)t^{-1}\mathrm{d}t=-1.$

Eine weitere Formel ist ${\int }_0^1\mathrm{li}(t^{-1})t\mathrm{d}t={\int }_1^{\mathrm{\infty }}\mathrm{li}(t)t^{-3}\mathrm{d}t=0.$

Die Golomb-Dickman-Konstante $\lambda ={\int }_0^1{\mathrm{e}}^{\mathrm{li}(x)}\mathrm{d}x=0,62432998854355087099\dots$ (Vorlage:OEIS) tritt in der Theorie zufälliger Permutationen bei der Abschätzung der Länge des längsten Zykels einer Permutation und in der Zahlentheorie bei der Abschätzung der Größe des größten Primfaktors einer Zahl auf.

Asymptotisches Verhalten

Funktionsgraph von $\mathrm{li}(x)$ im Bereich zwischen 1 und 10¹³

Für große $x$ lässt sich $\mathrm{li}(x)$ durch

$\mathrm{li}(x)=0!\frac{x}{\ln x}+1!\frac{x}{{\ln }^{2}x}+2!\frac{x}{{\ln }^{3}x}+3!\frac{x}{{\ln }^{4}x}+\cdots$

approximieren. Die Reihe ist eine asymptotische Entwicklung; sie konvergiert nicht, sondern nähert sich dem wahren Wert an, um sich dann wieder zu entfernen. Die beste Approximation wird nach etwa $\ln x$ Gliedern erreicht, dann werden die Summanden größer durch die stärker werdende Wirkung der Fakultät.

Siehe auch

• Integralsinus
• Integralcosinus

Literatur

• Johann Georg Soldner: Théorie et tables d’une nouvelle fonction transcendante. Lindauer, München 1809 (französisch; bei Google Books)
• Niels Nielsen: Theorie des Integrallogarithmus und verwandter Transzendenten, B. G. Teubner, Leipzig 1906 (Vorlage:Archive.org)

Weblinks

• Vorlage:MathWorld
• Logarithmic integral. bei The Wolfram Functions Site (englisch; mit Berechnungsmöglichkeit)