imported>Reformbenediktiner: /* Die Gudermannfunktion */ Das ist ein ultrawichtiger Satz. Er gehört auf jeden Fall in diesen Artikel hinein. Das ist nicht die Frage.

2022-12-04T15:30:45Z

Die Gudermannfunktion: Das ist ein ultrawichtiger Satz. Er gehört auf jeden Fall in diesen Artikel hinein. Das ist nicht die Frage.

Neue Seite

[[Bild:Gudermannian-function.svg|mini|300px|right|Die Gudermannfunktion im Reellen]]
Die '''Gudermannfunktion''', benannt nach [[Christoph Gudermann]] (1798–1852), stellt eine Verbindung zwischen den [[Winkelfunktionen |trigonometrischen]] und den [[Hyperbelfunktionen|hyperbolischen Funktionen]] her, ohne dabei die [[Komplexe Zahl|komplexen Zahlen]] zu benutzen. Dabei ist die Gudermannfunktion eine Zwischenfunktion, um für ein Argument <math>x</math> durch Anwendung auf eine Kreisfunktion eine Exponential- bzw. eine Hyperbelfunktion zu erhalten. Sie wurde erstmals von dem Schweizer Mathematiker [[Johann Heinrich Lambert]] um 1760 beschrieben, als dieser bei Experimenten mit [[Kettenbruch|Kettenbrüchen]] für den Tangens eine unmittelbare Abhängigkeit der [[Eulersche Zahl|Eulerschen Zahl]] von der [[Kreiszahl|Kreiszahl <math> \pi </math>]] finden wollte. Er konnte für diese von ihm „transzendenter Winkel“ genannte Zwischenfunktion keine nicht-triviale, analytische Form angeben und auch keinen weiteren Nutzen aufzeigen, da sich damit der gesuchte Zusammenhang zwischen <math> \pi </math> und <math> e </math> nicht herleiten ließ.

== Die Gudermannfunktion ==

Um 1830 stieß Christoph Gudermann bei der Untersuchung von [[elliptisches Integral|elliptischen Integralen]] zufällig auf einen reellen, nicht-trivialen Zusammenhang zwischen Kreis- und Exponentialfunktionen, der sich zudem auf alle Winkelfunktionen anwenden ließ. Damit konnte Lamberts Zwischenfunktion in analytischer Form dargestellt werden, fand aber nur wenig Beachtung und Anerkennung (siehe Rezeption des Werks von Christoph Gudermann). Die Bezeichnung ''Gudermannfunktion'' wurde 1862 von [[Arthur Cayley]] eingeführt, als dieser sich in einem eigenen Werk über elliptische Integrale auf Gudermanns Vorarbeiten bezog.

Die Funktion ist für <math>x \in \R</math> als Ursprungsstammfunktion des [[Sekans hyperbolicus und Kosekans hyperbolicus|Sekans Hyperbolicus]] definiert:

:<math>\operatorname{gd}\,(x) := \int_0^x \frac{\mathrm dt}{\cosh t}</math>.

Mit den [[Substitution (Mathematik)|Substitutionen]] <math>\operatorname{gd} (x) = \varphi, \, e^t = s </math> und daraus folgend mit dem [[Differential (Mathematik)|Differential]] <math>\mathrm dt = e^{-t} \mathrm ds = s^{-1} \mathrm ds </math> lässt sich das Integral auswerten:

:<math>\begin{align}
\operatorname{gd}\,(x)
&= \int_0^x \frac{\mathrm dt}{\cosh t}
= \int_{0}^{x} \frac{2\, \mathrm dt}{e^{t} + e^{-t}}
= \int_{e^0}^{e^x} \frac{2 s^{-1} \mathrm ds}{s + s^{-1}}
= \int_{1}^{e^x} \frac{2\, \mathrm ds}{s^2 + 1}
= 2 \arctan (s) \bigg|_{1}^{e^x} \\
& = 2 \arctan ({e^x}) - \tfrac{\pi}{2}
= \tfrac{\pi}{2} - 2 \arctan ({e^{-x}}) \\
\end{align}</math>

Aus dieser expliziten Formel lässt sich erkennen, dass der Wert der Gudermannfunktion einen Winkel <math>\varphi := \operatorname{gd}(x)</math> und das Argument <math>x</math> einen Skalar für die Exponentialfunktion darstellt.
Aufgelöst nach der e-Funktion ergibt sich ein Ausdruck für den halben Winkel

:<math>
{e^x}
= \tan (\tfrac{\pi}{4} + \tfrac{\varphi}{2})
= \frac{\tan \tfrac{\pi}{4} + \tan \tfrac{\varphi}{2}}{1 - \tan \tfrac{\pi}{4} \tan \tfrac{\varphi}{2}}
=\frac{1 + \tan \tfrac{\varphi}{2}}{1 - \tan \tfrac{\varphi}{2}} \quad \text{(1)}
</math>

und daraus erhält man eine Beziehung zum halben Argument

:<math>
\tan \tfrac{\varphi}{2}
= \frac{e^x - 1}{e^x + 1}
= \frac{e^{\tfrac{x}{2}} - e^{-\tfrac{x}{2}}}{e^{\tfrac{x}{2}} + e^{-\tfrac{x}{2}}}
= \tanh \tfrac{x}{2} \quad \text{(2)}
</math>

Gl. (2) führt auf folgende alternative Darstellungen der Gudermannfunktion
:<math>\begin{align} \operatorname{gd} x
&=2\arctan\left[\tanh\left(\tfrac12x\right)\right]\\
&=\arcsin\left(\tanh x \right)=\arctan(\sinh x) = \operatorname{arccsc}(\coth x) \\
&=\operatorname{sgn}(x)\cdot\arccos\left(\operatorname{sech} x \right)=\operatorname{sgn}(x)\cdot\operatorname{arcsec}(\cosh x)
\end{align} </math>

Sie entspricht dem Zusammenhang, den Lambert untersucht hat

:<math>
\tanh \tfrac{x}{2}
= \tfrac{1}{\mathrm i} \tan \tfrac{\mathrm i x}{2}
= \tan \tfrac{\varphi}{2}.
</math>

Der Übergang von halben zu ganzen Winkeln und Argumenten wird durch Einsetzen von Gl. (2) in das [[Formelsammlung Trigonometrie#Additionstheoreme|Additionstheorem]] für den Tangens des doppelten Winkels vollzogen:

:<math>
\tan \varphi = \tan \tfrac{2\varphi}{2}
= \frac{2 \tan \tfrac{\varphi}{2}}{1 - \tan^2 \tfrac{\varphi}{2}}
= \frac{2 \tanh \tfrac{x}{2}}{1 - \tanh^2 \tfrac{x}{2}}
= \frac{2 \sinh \tfrac{x}{2} \cosh \tfrac{x}{2}}{\cosh^2 \tfrac{x}{2} - \sinh^2 \tfrac{x}{2}}
= 2 \sinh \tfrac{x}{2} \cosh \tfrac{x}{2}
= \sinh {x} \quad \text{(Gl. 3)}
</math>

Diese Gleichung ist eine weitere Beziehung zwischen Winkel <math>\varphi</math> und Skalar <math>x</math>.
Von besonderem Interesse sind Darstellungen, bei denen Tangens oder Tangens-Hyperbolikus auftreten, da sich deren Umkehrfunktionen besonders leicht mit numerischen Mitteln ausrechnen lassen.<ref> Die Umkehrfunktion des Tangens lässt sich mittels vereinfachtem [[Newton-Verfahren]] ohne Divisionen sehr effizient aus Sinus und Cosinus entwickeln und der Area-Tangens wird als Logarithmus ausgedrückt. Dieser kann als Inverse der e-Funktion ebenfalls mittels Newton-Verfahren oder noch eleganter und effizienter mit dem kubisch konvergierenden [[Halley-Verfahren]] berechnet werden.</ref> Somit ist

:<math> \sin \varphi = \tanh {x} \quad \text{(Gl. 4)} </math>

von den möglichen Alternativdarstellungen die wichtigste.

== Die inverse Gudermannfunktion ==

Die [[Umkehrfunktion]] der Gudermannfunktion kann einerseits durch Auflösung einer deren Gleichungen nach <math>x</math> gewonnen und muss üblicherweise mittels Logarithmus dargestellt werden. Sie ist jedoch auch unabhängig von den obigen Gleichungen definiert und deren Herleitung folgt in analoger Weise der Herleitung der Gudermannfunktion, allerdings sind für die Zwischenschritte komplexe Rechnungen nötig.

Für <math> - \tfrac{\pi}{2} < \varphi < \tfrac{\pi}{2} </math> gilt:

:<math>\begin{align}
\operatorname{arcgd}\,(\varphi)
&:= \operatorname{gd}^{-1}(\varphi) = \int_0^\varphi \frac{\mathrm dt}{\cos t} = \int_{0}^{\varphi} \frac{2 \mathrm dt}{e^{\mathrm it} + e^{-\mathrm it}} = \ldots \\
&= \ln \tan\left(\tfrac{\pi}{4}+\tfrac{\varphi}{2}\right)
= \ln \frac{1 + \tan \tfrac{\varphi}{2}}{1 - \tan \tfrac{\varphi}{2}}
= \ln \frac{\cos \tfrac{\varphi}{2} + \sin \tfrac{\varphi}{2}}{\cos \tfrac{\varphi}{2} - \sin \tfrac{\varphi}{2}}\\
&= \ln \cot\left(\tfrac{\pi}{4}-\tfrac{\varphi}{2}\right)
\quad \text{(nach Gl. 1)} \\
&= \ln \frac{1 + \tan \tfrac{\varphi}{2}}{1 - \tan \tfrac{\varphi}{2}}\\
&= {2}\operatorname{artanh} (\tan \tfrac{\varphi}{2}) \quad \text{(nach Gl. 2)} \\
& = \ln \frac{\left(\cos \tfrac{\varphi}{2} + \sin \tfrac{\varphi}{2}\right)^{2}}{\cos^{2} \tfrac{\varphi}{2} - \sin^{2} \tfrac{\varphi}{2}}
= \ln \frac{\cos^{2} \tfrac{\varphi}{2} + \sin^{2} \tfrac{\varphi}{2} + 2 \cos \tfrac{\varphi}{2} \sin \tfrac{\varphi}{2}}{1 - \sin^{2} \tfrac{\varphi}{2} - \sin^{2} \tfrac{\varphi}{2}}
= \ln \frac{1 + 2 \cos \tfrac{\varphi}{2} \sin \tfrac{\varphi}{2}}{1 - 2 \sin^{2} \tfrac{\varphi}{2}}
= \ln \frac{1+\sin \varphi}{\cos \varphi} = \ln(\tan \varphi+\sec \varphi) \\
&= \ln \frac{1+\sin \varphi}{\sqrt{1-\sin^2 \varphi}} = \ln \sqrt{\frac{1+\sin \varphi}{1-\sin \varphi}}
= \frac{1}{2}\ln \frac{1+\sin \varphi}{1-\sin \varphi} \\
&= \operatorname{artanh} (\sin \varphi) \quad \text{(nach Gl. 4)} \\
&= \operatorname{arsinh} (\tan \varphi) \quad \text{(nach Gl. 3)} \\
&= \operatorname{arcosh} (\sec \varphi) \\
\end{align}</math>

Für die numerische Auswertung der inversen Gudermannfunktion ist die Darstellung nach Gl. (4) insbesondere für die mittleren zwei Drittel des [[Definitionsbereich]]s geeignet: <math> - \tfrac{\pi}{3} < \varphi < \tfrac{\pi}{3} </math>. An den Rändern ist eine Darstellung mit halben Winkeln zu bevorzugen, weil diese nicht in den flachen Bereichen der Extrema von Sinus und/oder Kosinus arbeiten und deshalb eine höhere numerische Schärfe besitzen. Für die Auswertung der Gudermannfunktion <math> \varphi (x) = \operatorname{gd} (x) </math> sind ähnliche Überlegungen anzustellen.

== Weitere Beziehungen ==

Die [[Differentialrechnung|Ableitung]] der Gudermannfunktion und derer Umkehrung sind entsprechend der Integranden ihre Definitionsintegrale:

:<math>
\begin{align}
&\frac{\mathrm d}{\mathrm dx}\,\operatorname{gd}(x) = \operatorname{sech} x = \cos(\operatorname{gd} x),\\
&\frac{\mathrm d}{\mathrm d \varphi}\,\operatorname{arcgd}\,(\varphi) =\sec \varphi
\end{align}
</math>

Besonders bemerkenswert ist die Identität für komplexe Rechnung:

:<math>\operatorname{gd}\left({\mathrm i}\cdot x \right) = {\mathrm i} \cdot \operatorname{arcgd}\left(x\right)</math>

Die Verbindung von [[Kreis- und Hyperbelfunktionen]] ist im Wesentlichen gegeben durch:

:<math>\begin{align}
\sinh(x) &= \tan(\operatorname{gd}\,x) &=& \tan(\varphi) &\quad& \text{(Gl. 3)} \\
\cosh(x) &= \sec(\operatorname{gd}\,x) &=& \sec(\varphi) \\
\tanh(x) &= \sin(\operatorname{gd}\,x) &=& \sin(\varphi) &\quad& \text{(Gl. 4)} \\

\operatorname{sech} (x) &= \cos(\operatorname{gd}\,x) &=& \cos(\varphi) \\
\operatorname{csch}(x) &= \cot(\operatorname{gd}\,x) &=& \cot(\varphi) \\
\coth(x) &= \csc(\operatorname{gd}\,x) &=& \csc(\varphi) \\
\end{align}</math>
Folgende Summenreihe gilt für alle reellen Zahlen x:

: <math>

\operatorname{gd}(x) = \sum_{n = 1}^{\infty} \biggl\{ 2\arctan\biggl[\frac{2\,x}{(4n - 3)\pi}\biggr] - 2\arctan\biggl[\frac{2\,x}{(4n - 1)\pi}\biggr] \biggr\}
</math>

Sie resultiert durch Bildung der Ursprungsstammfunktion von der [[Hyperbelfunktion#Cauchysche Reihen|Cauchyschen Reihe]] des Sekans Hyperbolicus:

: <math> \operatorname{sech}(x) = \sum_{n = 1}^{\infty} \biggl[\frac{(16n - 12)\pi}{(4n - 3)^2\pi^2+4 x^2} - \frac{(16n - 4)\pi}{(4n - 1)^2\pi^2+4 x^2}\biggr] </math>

== Praktische Anwendung ==

Mit den gezeigten Verbindungen von Kreis- und Hyperbelfunktionen lassen sich mathematische Ausdrücke gegebenenfalls vereinfachen.

Wegen ihrer einfachen Ableitungen eignen sich die Gudermannfunktion und ihre Inverse als Substitution für die Integralrechnung. Zu diesem Zweck hat Gudermann sie benutzt.

Mit der Gudermannfunktion bzw. deren Umkehrung wird der Winkel der [[geographische Breite|geographischen Breite]] <math> \varphi </math> mit der Nord-Süd-Komponente <math>y_N</math> der [[Mercator-Projektion]] verknüpft. Dabei sind mit dem Erdradius <math>R_E</math> insbesondere die Gleichungen

:<math>\begin{align}
\text{(Gl. 2)} &\quad &\tan \tfrac{\varphi}{2} &= \tanh \tfrac{y_N}{2R_E} \\
\text{(Gl. 3)} &\quad &\tan {\varphi} &= \sinh \tfrac{y_N}{R_E} \\
\text{(Gl. 4)} &\quad &\sin {\varphi} &= \tanh \tfrac{y_N}{R_E} \\
\end{align}</math>

von Bedeutung. Da die lokale Verzerrung der Mercator-Projektion mit <math> \sec {\varphi} </math> vom Breitengrad abhängt, ist der relative Projektionsabstand <math> \tfrac{y_N}{R_E} </math> vom [[Äquator]] bis zum Breitengrad <math> \varphi </math> das Integral aller Verzerrungen über den [[Kreisbogen]] ([[Meridianbogen]]) vom Äquator bis <math> \varphi </math>

:<math>
\frac {y_N (\varphi)}{R_E}
= \int_0^{\varphi} \frac{\mathrm dt}{\cos t}
= \operatorname{artanh}(\sin \varphi)
:= \operatorname{arcgd}(\varphi)
</math>

Für die Auswertung ist eventuell eine Darstellung der inversen Gudermannfunktion für halbe Winkel zu bevorzugen.

== Siehe auch ==
Einen zur Gudermannfunktion sehr ähnlich [[Sigmoidfunktion|sigmoiden]] Kurvenverlauf zeigt etwa der [[Tangens hyperbolicus und Kotangens hyperbolicus|Tangens hyperbolicus]], bzw. die auf ihm basierende [[Logistische Funktion]].<ref>[https://www.wolframalpha.com/input/?i=gd%28x%29+%3B++tanh%28x+%2F%28pi%2F2%29%29+*%28pi%2F2%29+%3B++from+-6+to+6 Kurvenvergleich Gudermann vs. Tangens hyperbolicus – normiert auf gd(x)] bei [[WolframAlpha]]</ref>

== Quellen ==
* {{MathWorld|GudermannianFunction|Gudermannfunktion}}

== Anmerkungen ==
<references />

[[Kategorie:Trigonometrie]]
[[Kategorie:Johann Heinrich Lambert]]

Gudermannfunktion - Versionsgeschichte

imported>Reformbenediktiner: /* Die Gudermannfunktion */ Das ist ein ultrawichtiger Satz. Er gehört auf jeden Fall in diesen Artikel hinein. Das ist nicht die Frage.