Verallgemeinerter Logarithmus

Als verallgemeinerter Logarithmus und verallgemeinerte Exponentialfunktion werden spezielle Funktionen bezeichnet, welche ähnliche Wachstumseigenschaften und Beziehungen zueinander haben wie Logarithmus und Exponentialfunktion und über bestimmte Funktionalgleichungen iterativ von einem Intervall auf der reellen Achse ausgehend definiert werden.

Eingeführt wurden sie 1986 durch Charles William Clenshaw, Daniel W. Lozier, Frank W. J. Olver und Peter R. Turner, wenn es auch Vorgänger in der Literatur gibt. Die Hauptanwendung ist in der Gleitkomma-Arithmetik.

Definition

Eine verallgemeinerte Exponentialfunktion erfüllt folgende drei Bedingungen:

$\varphi (x+1)=e^{\varphi (x)}$, für $-1<x<\mathrm{\infty }$

$\varphi (0)=0$

$\varphi (x)$ ist streng monoton steigend für $0\le x\le 1$

Dabei ist $e^x$ wie üblich die gewöhnliche Exponentialfunktion (und $\ln x$ ist im Folgenden der natürliche Logarithmus, $e$ die Eulersche Zahl).

$\varphi (x)$ ist streng monoton zunehmend von $-\mathrm{\infty }$ zu $\mathrm{\infty }$ wenn $x$ von $-1$ bis $\mathrm{\infty }$ zunimmt und besitzt damit eine Inverse auf $(-\mathrm{\infty },\mathrm{\infty })$, den zugehörigen verallgemeinerten Logarithmus $\psi (x)$.

Für den verallgemeinerten Logarithmus $\psi (x)$ gilt:

$\psi (e^x)=1+\psi (x)$, für $-\mathrm{\infty }<x<\mathrm{\infty }$

$\psi (0)=0$

$\psi (x)$ ist streng monoton steigend für $0\le x\le 1$

Die Werte an den ganzzahligen Stellen sind gleich: $\varphi (1)=1$, $\varphi (2)=e$, $\varphi (3)=e^e$ usw. Wie bei der Gammafunktion kann die vollständige Funktion aus den Werten an den ganzzahligen Stellen konstruiert werden.

Die Lösung ist aber nicht eindeutig, sondern hängt von der Wahl des Wachstums im Interval $[0,1]$ ab. Die einfachste Wahl besteht darin, dass man vorgibt:

$\varphi (x)=x$ im Intervall $[0,1]$.

Das entspricht auch der hauptsächlichen Anwendungen in der Gleitkommaarithmetik (siehe unten). Dann folgt:

$\varphi (x)=\ln (x+1)$, für $-1<x\le 0$

$\varphi (x)=e^{x-1}$, für $1\le x\le 2$

und allgemein nach $l$-facher Iteration:

$\varphi (x)=e^{e^{e^{..{.}^{e^{x-l}}}}}$, für $l\le x\le l+1$

Analog für den Logarithmus:

$\psi (x)=x$, für $0\le x\le 1$

$\psi (x)=e^x-1$, für $-\mathrm{\infty }<x\le 0$

$\psi (x)=1+\ln x$, für $1\le x\le e$

und allgemein nach $l$-facher Iteration (mit ${\ln }^{l}x$ der $l$-fachen Iteration des gewöhnlichen Logarithmus):

$\psi (x)=l+{\ln }^{l}x$, für $l\le x$

und ein $l$, dass durch $0\le {\ln }^{l}x<1$ bestimmt ist.

Die erste Ableitung von $\varphi (x)$ ist stetig bei $x=1$, die zweite Ableitung hat einen Sprung von $0$ auf $1$ (entsprechend an den anderen ganzzahligen Stellen).

Anwendung

Die Funktionen finden Anwendung in einer Darstellung reeller Zahlen für die Präzisionsarithmetik im Computer, die als Level-Index-Arithmetik (LI) bezeichnet wird und von Clenshaw und Olver 1984 eingeführt wurde. In der Gleitkommaarithmetik muss ein Kompromiss zwischen Präzision und der Möglichkeit der Darstellung sehr großer Zahlen gefunden werden. In der LI werden Zahlen durch Iteration der Exponentialfunktion dargestellt, wobei der Iterationsgrad als Stufe (Level) $l$ bezeichnet wird.

$x=e^{e^{e^{..{.}^{e^f}}}}$

Der Exponent $0\le f<1$ ist der Index. Beispiel: $x=1234567=e^{e^{e^{0.9711308}}}$ wird dargestellt als

$x=l+f=3+0.9711308=3.9711308$.

Literatur

• Vorlage:Literatur
• C. W. Clenshaw, F. W. J. Olver, P. R. Turner: Level-index arithmetic: An introductory survey, in: Turner (Hrsg.), Numerical Analysis and Parallel Processing. Lecture Notes in Mathematics. 1397, 1989, S. 95–168.

• Vorlage:Literatur