Tangens hyperbolicus und Kotangens hyperbolicus

Graph des Tangens hyperbolicus
Graph des Kotangens hyperbolicus

Tangens hyperbolicus und Kotangens hyperbolicus sind Hyperbelfunktionen. Man nennt sie auch Hyperbeltangens oder hyperbolischen Tangens bzw. Hyperbelkotangens oder hyperbolischen Kotangens.

Schreibweisen

Tangens hyperbolicus:y=tanh⁡x
Kotangens hyperbolicus:y=coth⁡x

Definitionen

tanh⁡x=sinh⁡xcosh⁡x=ex−e−xex+e−x=e2x−1e2x+1=1−2e2x+1
coth⁡x=cosh⁡xsinh⁡x=ex+e−xex−e−x=e2x+1e2x−1=1+2e2x−1

Hierbei bezeichnen sinh⁡x und cosh⁡x den Sinus hyperbolicus bzw. Kosinus hyperbolicus.

Eigenschaften

  Tangens hyperbolicus Kotangens hyperbolicus
Definitionsbereich −∞<x<+∞ −∞<x<+∞ ; x≠0
Wertebereich −1<f(x)<1 −∞<f(x)<−1 ; 1<f(x)<+∞
Periodizität keine keine
Monotonie streng monoton steigend x<0 streng monoton fallend
x>0 streng monoton fallend
Symmetrien Punktsymmetrie zum Koordinatenursprung Punktsymmetrie zum Koordinatenursprung
Asymptoten x→+∞:f(x)→+1
x→−∞:f(x)→−1
x→+∞:f(x)→+1
x→−∞:f(x)→−1
Nullstellen x=0 keine
Sprungstellen keine keine
Polstellen keine x=0
Extrema keine keine
Wendepunkte (0,0) keine

Spezielle Werte

Der Kotangens hyperbolicus hat zwei Fixpunkte, d. h., es gibt zwei u∈ℝ, sodass

coth⁡u=u.

Sie liegen bei u±=±1,19967864… (Folge A085984 in OEIS)

Umkehrfunktionen

Der Tangens hyperbolicus ist eine Bijektion tanh⁡:ℝ→(−1,1). Die Umkehrfunktion nennt man Areatangens hyperbolicus. Sie ist für Zahlen aus dem Intervall (−1,1) definiert und nimmt jede reelle Zahl als Wert an. Sie lässt sich durch den natürlichen Logarithmus ausdrücken:

artanh⁡x=12ln⁡(1+x1−x).

Für die Umkehrung des Kotangens hyperbolicus gilt:

arcoth⁡x=12ln⁡(x+1x−1)

Ableitungen

ddxtanh⁡x=1−tanh2x=1cosh2x=sech2x
ddxcoth⁡x=1−coth2x=−1sinh2x=−csch2x

Die n-te Ableitung ist gegeben durch

dndzntanh⁡z=2n+1e2z(1+e2z)n+1∑k=0n−1(−1)kAn,ke2kz

mit den Euler-Zahlen An,k. Die Formel für die n-te Ableitung kann hergeleitet werden.

Wichtige Hinweise:

Der Sekans hyperbolicus ist das pythagoräische Gegenstück zum Tangens hyperbolicus:

sech⁡(x)=2exp⁡(x)exp⁡(2x)+1=1−tanh⁡(x)2

Der Betrag des Kosekans hyperbolicus ist der pythagoräische Vorgänger des Kotangens hyperbolicus:

|csch⁡(x)|=|2exp⁡(x)exp⁡(2x)−1|=coth⁡(x)2−1

Additionstheorem

Es gilt das Additionstheorem

tanh⁡(α+β)=tanh⁡α+tanh⁡β1+tanh⁡αtanh⁡β

analog dazu:

coth⁡(α+β)=1+coth⁡αcoth⁡βcoth⁡α+coth⁡β

Integrale

Stammfunktionen der Hyperbelfunktionen

Die Ursprungsstammfunktion des Tangens hyperbolicus ist der natürliche Logarithmus aus dem Kosinus hyperbolicus. Für den Kotangens hyperbolicus kann nur eine Stammfunktion mit einer Polstelle beim Wert x=0 angegeben werden:

∫tanh⁡xdx=ln⁡(cosh⁡x)+C
∫coth⁡xdx=ln⁡(|sinh⁡x|)+C

Tangens hyperbolicus cardinalis

Wenn der Tangens hyperbolicus durch die identische Funktion geteilt wird, dann wird der Tangens hyperbolicus cardinalis tanh⁡(x)/x gebildet. Das Integral von Null bis Unendlich von dieser Funktion divergiert ins Unendliche. Aber das Integral vom Quadrat des Tangens hyperbolicus cardinalis konvergiert und nimmt einen konkreten Wert an. Das Integral vom Kubus des Tangens hyperbolicus cardinalis konvergiert ebenso:

∫0∞1x2tanh⁡(x)2dx=14π2ζ(3)
∫0∞1x3tanh⁡(x)3dx=186π4ζ(5)−7π2ζ(3)

Weitere Darstellungen

Summenreihen für tanh und coth

tanh⁡x=sgn⁡x[1+∑k=1∞(−1)k2e−2k|x|]
tanh⁡x=∑k=0∞8x(2k+1)2π2+4x2
LLV(x)=coth⁡(x)−1x=∑k=1∞2xk2π2+x2

Diese Funktion wird Langevin-Funktion genannt.

Deswegen gilt beispielsweise diese unendliche Summe:

∑n=1∞1n2+1=π2coth⁡(π)−12≈1,07667404746858117413405079475

Die Taylorreihe des Tangens hyperbolicus lautet:

tanh⁡x=∑n=1∞22n(22n−1)(2n)!⋅B2n⋅x2n−1=∑n=1∞(−1)n+1⋅22n+1π2n⋅λ(2n)⋅x2n−1=x−13x3+215x5−17315x7+⋯

Hierbei steht B für die Bernoulli-Zahlen und λ(n) für die Dirichletsche Lambdafunktion. Der Konvergenzradius dieser Reihe ist π/2.

Die Taylorreihe der Differenz von Kotangens hyperbolicus und Kehrwertfunktion lautet:

LLV(x)=coth⁡x−1x=∑n=1∞(−1)n+1⋅2π2n⋅ζ(2n)⋅x2n−1=13x−145x3+2945x5−14725x7+⋯

Dabei steht ζ(n) für die Riemannsche Zetafunktion. Der Konvergenzradius dieser Reihe ist π.

Kettenbruchdarstellung

Johann Heinrich Lambert zeigte folgende Formel:

tanh⁡x=x1+x23+x25+…

Numerische Berechnung

Grundsätzlich kann der Tangens hyperbolicus über die bekannte Formel

tanh⁡x=e2x−1e2x+1

berechnet werden, wenn die Exponentialfunktion ex zur Verfügung steht. Es gibt jedoch folgende Probleme:

Fall 1: x ist eine große positive Zahl mit x>k⋅ln⁡102:

tanh⁡x=+1,
wobei k die Anzahl der signifikanten Dezimalziffern des verwendeten Zahlentyps ist, was zum Beispiel beim 64-Bit-Gleitkommatyp double 16 ist.

Fall 2: x ist eine kleine negative Zahl mit x<−k⋅ln⁡102:

tanh⁡x=−1

Fall 3: x ist nahe an 0, z. B. für −0,1<x<+0,1:

tanh⁡x=sinh⁡xex−sinh⁡x
sinh⁡x lässt sich hier über die Taylorreihe sinh⁡x=x+x33!+x55!+x77!+… sehr genau berechnen.

Fall 4: Alle übrigen x:

tanh⁡x=e2x−1e2x+1

Differentialgleichung

tanh löst folgende Differentialgleichungen:

f′=1−f2 oder
12f″=f3−f=f(f2−1)

mit f(0)=0 und f′(∞)=0

Komplexe Argumente

tanh⁡(x+iy)=sinh⁡(2x)cosh⁡(2x)+cos⁡(2y)+isin⁡(2y)cosh⁡(2x)+cos⁡(2y)
tanh⁡(iy)=itan⁡y
coth⁡(x+iy)=sinh⁡(2x)cosh⁡(2x)−cos⁡(2y)+i−sin⁡(2y)cosh⁡(2x)−cos⁡(2y)
coth⁡(iy)=−icot⁡y

Reihenentwicklungen

Lambertsche Summenreihe

Die Lambertschen Reihen beinhalten als Reihensummanden die rationalen Brüche aus den Potenzen mit exponentiellem Wuchs in Relation zum Summenindex. Die Lambertsche L-Funktion ist wie folgt definiert:

LLB(w)=∑n=1∞wn1−wn

Diese Kürzel wurden verwendet, damit diese Lambertsche Funktion nicht mit der Langevinschen Funktion in diesem Artikel weiter oben verwechselt wird.

Für die Hyperbelfunktionen gelten wie oben genannt diese beiden Formeln:

coth(x)=exp⁡(2x)+1exp⁡(2x)−1
tanh(x)=exp⁡(2x)−1exp⁡(2x)+1

Die Summenreihen des Kotangens hyperbolicus und des Tangens hyperbolicus ergeben die Lambertschen L-Funktionswerte:

∑n=1∞[coth(mn)−1]=∑n=1∞2exp⁡(2mn)−1=2∑n=1∞exp⁡(−2mn)1−exp⁡(−2mn)=2LLB[exp⁡(−2m)]

Mit Hilfe der dritten binomischen Formel lässt sich folgende weitere Formel hervorbringen:

∑n=1∞[1−tanh(mn)]=∑n=1∞2exp⁡(2mn)+1=
=2[∑n=1∞exp⁡(−2mn)1−exp⁡(−2mn)]−4[∑n=1∞exp⁡(−4mn)1−exp⁡(−4mn)]=2LLB[exp⁡(−2m)]−4LLB[exp⁡(−4m)]

Die Erdős-Borwein-Konstante entsteht aus folgender Summe mit dem Kotangens hyperbolicus:

∑n=1∞{coth[12ln⁡(2)n]−1}=2LLB(12)=2E

Dabei hat die Erdös-Borwein-Konstante diese ersten dezimalen Nachkommastellen:

E=∑n=1∞12n−1=1,60669 51524 15291 76378 … (Folge A065442 in OEIS)

Die unendliche Summe der Kehrwerte der Mersenne-Zahlen ergibt die genannte Konstante.

Elliptische Produktreihe

Wenn Produktreihen aus dem Tangens hyperbolicus mit linearem Verlauf des inneren Eintrags bezüglich des Summenindex aufgestellt werden, dann entstehen elliptische Funktionswerte. Im Folgenden wird eine für alle elliptischen Moduln beziehungsweise numerischen Exzentrizitäten (−1≤ε≤1)∩ε∈ℝ gültige Formel aufgestellt, die in Abhängigkeit vom Modul ε ein algebraisches Resultat ergibt:

∏n=1∞tanh[π2(2n−1)K′(ε)K(ε)]=∏n=1∞1−q(ε)2n−11+q(ε)2n−1={ϑ01[q(ε)]ϑ00[q(ε)]}1/2=1−ε28

Denn die Jacobischen Thetafunktionen ϑ01 und ϑ00 haben folgende Produktreihen:

ϑ01(w)=∏n=1∞(1−w2n)(1−w2n−1)2
ϑ00(w)=∏n=1∞(1−w2n)(1+w2n−1)2

Die Mathematiker Edmund Taylor Whittaker und George Neville Watson schrieben diese Produktidentitäten in ihrem gemeinsamen Werk A Course in Modern Analysis nieder. Das Elliptische Nomen q(ε) hat diese Definition:

q(ε)=exp⁡[−πK′(ε)÷K(ε)]

Diese Formel wurde bei der zuvor genannten Gleichungskette hervorgebracht:

∏n=1∞tanh[π2(2n−1)K′(ε)K(ε)]=1−ε28

Nun werden einige Werte in diese Gleichungen eingesetzt:

Modulwerte ε Resultierende Tangens-hyperbolicus-Gleichungen
ε=122 ∏n=1∞tanh[π2(2n−1)]=2−1/8
ε=2−1 ∏n=1∞tanh[π22(2n−1)]=(22−2)1/8
ε=sin⁡(112π) ∏n=1∞tanh[π23(2n−1)]=cos⁡(112π)1/4
ε=(2−1)2 ∏n=1∞tanh[π(2n−1)]=21/16(22−2)1/4
ε=sin⁡[12arcsin⁡(5−2)] ∏n=1∞tanh[π25(2n−1)]=cos⁡[12arcsin⁡(5−2)]1/4

Mit den Werten der elliptischen Lambda-Stern-Funktion können weitere Werte über genau diese Formel ermittelt werden. Die Werte der Hermiteschen elliptischen Psifunktion erscheinen als Resultate:

Modulwerte ε Resultierende Tangens-hyperbolicus-Gleichungen
ε=λ∗(6) ∏n=1∞tanh[π26(2n−1)]=sech⁡{12arsinh⁡[(2−1)2]}1/4
ε=λ∗(7) ∏n=1∞tanh[π27(2n−1)]=cos⁡[12arcsin⁡(18)]1/4
ε=λ∗(8) ∏n=1∞tanh[π2(2n−1)]=(22+2)3/16(2+1−1)1/2
ε=λ∗(9) ∏n=1∞tanh[3π2(2n−1)]=14328(124+3−1)
ε=λ∗(10) ∏n=1∞tanh[π210(2n−1)]=sech⁡{12arsinh⁡[(5−2)2]}1/4
ε=λ∗(11) ∏n=1∞tanh[π211(2n−1)]=2−7/8(11−3)1/4(1363+2113−1363−2113+1311+1)
ε=λ∗(12) ∏n=1∞tanh[π3(2n−1)]=1−tan⁡(124π)48
ε=λ∗(13) ∏n=1∞tanh[π213(2n−1)]=cos⁡[12arcsin⁡(513−18)]1/4

Anwendungen in der Physik

BJ(x)=1J[(J+12)coth⁡(Jx+x2)−12coth⁡x2]

Einzelnachweise

  1. ↑ Grzegorz Rzadkowski: Derivatives and Eulerian Numbers. In: The American Mathematical Monthly. Band 115, Nr. 5, Mai 2008, ISSN 0002-9890, S. 458–460, doi:10.1080/00029890.2008.11920551 (tandfonline.com [abgerufen am 17. Oktober 2023]).
  2. ↑ Maple bugs: Thomas Richard: Hurrah, Maple quality improves! – Example 4. Abgerufen am 3. Januar 2023 (amerikanisches Englisch).
  3. ↑ complex analysis – A curious integral. Abgerufen am 3. Januar 2023 (englisch).
  4. ↑ sequences and series – What are the exact limits of validity of the Abel-Plana summation formula? Abgerufen am 3. Januar 2023 (englisch).
  5. ↑ Eric W. Weisstein: Reciprocal Fibonacci Constant. In: MathWorld (englisch).
  6. ↑ Eric W. Weisstein: Jacobi Theta Functions. In: MathWorld (englisch).
  7. ↑ http://wayback.cecm.sfu.ca/~pborwein/TEMP_PROTECTED/pi-agm.pdf
  8. ↑ DLMF: 20.5 Infinite Products and Related Results. Abgerufen am 13. August 2022.