sech
x
=
2
e
x
+
e
−
x
=
1
cosh
x
csch
x
=
2
e
x
−
e
−
x
=
1
sinh
x
{\displaystyle {\begin{aligned}\operatorname {sech} \ x&={\frac {2}{e^{x}+e^{-x}}}={\frac {1}{\cosh x}}\\\operatorname {csch} \ x&={\frac {2}{e^{x}-e^{-x}}}={\frac {1}{\sinh x}}\end{aligned}}}
Sekans hyperbolicus
Kosekans hyperbolicus
Definitionsbereich
−
∞
<
x
<
+
∞
{\displaystyle -\infty <x<+\infty }
−
∞
<
x
<
+
∞
;
x
≠
0
{\displaystyle -\infty <x<+\infty \,;\,x\neq 0}
Wertebereich
0
<
f
(
x
)
≤
1
{\displaystyle 0<f(x)\leq 1}
−
∞
<
f
(
x
)
<
+
∞
;
f
(
x
)
≠
0
{\displaystyle -\infty <f(x)<+\infty \,;\,f(x)\neq 0}
Periodizität
keine
keine
Monotonie
x
<
0
{\displaystyle x<0}
streng monoton steigend
x
>
0
{\displaystyle x>0}
streng monoton fallend
x
>
0
{\displaystyle x>0}
streng monoton fallend
x
<
0
{\displaystyle x<0}
streng monoton fallend
Symmetrien
Spiegelsymmetrie zur y-Achse
Punktsymmetrie zum Koordinatenursprung Achsensymmetrie zu
y
=
−
x
{\displaystyle y=-x}
Asymptote
f
(
x
)
→
0
{\displaystyle f(x)\to 0}
für
x
→
±
∞
{\displaystyle x\to \pm \infty }
f
(
x
)
→
0
{\displaystyle f(x)\to 0}
für
x
→
±
∞
{\displaystyle x\to \pm \infty }
Nullstellen
keine
keine
Sprungstellen
keine
keine
Polstellen
keine
x
=
0
{\displaystyle x=0}
Extrema
Maximum bei
x
=
0
{\displaystyle x=0}
keine
Wendepunkte
x
=
±
ln
(
1
+
2
)
{\displaystyle x=\pm \ln {(1+{\sqrt {2}})}}
keine
Die Umkehrfunktion sind die entsprechenden Areafunktionen :
x
=
arsech
y
x
=
arcsch
y
{\displaystyle {\begin{aligned}x&=\operatorname {arsech} \ y\\x&=\operatorname {arcsch} \ y\end{aligned}}}
d
d
x
sech
x
=
−
sech
x
⋅
tanh
x
=
−
sinh
x
cosh
2
x
d
d
x
csch
x
=
−
csch
x
⋅
coth
x
=
−
cosh
x
sinh
2
x
=
−
csch
x
⋅
1
+
csch
2
x
{\displaystyle {\begin{aligned}{\frac {\mathrm {d} }{\mathrm {d} x}}\operatorname {sech} \ x&=-\operatorname {sech} \ x\cdot \operatorname {tanh} \ x=-{\frac {\sinh x}{\cosh ^{2}x}}\\{\frac {\mathrm {d} }{\mathrm {d} x}}\operatorname {csch} \ x&=-\operatorname {csch} \ x\cdot \operatorname {coth} \ x=-{\frac {\cosh x}{\sinh ^{2}x}}=-\operatorname {csch} \ x\cdot {\sqrt {1+\operatorname {csch} ^{2}x}}\\\end{aligned}}}
∫
sech
x
d
x
=
arctan
(
sinh
x
)
+
C
∫
csch
x
d
x
=
ln
|
tanh
x
2
|
+
C
{\displaystyle {\begin{aligned}\int \operatorname {sech} x\ \mathrm {d} x&=\arctan \left(\sinh x\right)+C\\\int \operatorname {csch} x\ \mathrm {d} x&=\ln \left|\operatorname {tanh} \,{\frac {x}{2}}\right|+C\end{aligned}}}
Die durch den Koordinatenursprung verlaufende Stammfunktion des Sekans hyperbolicus wird Gudermannfunktion genannt:
gd
(
x
)
=
arctan
[
sinh
(
x
)
]
{\displaystyle \operatorname {gd} (x)=\arctan {\bigl [}\sinh(x){\bigr ]}}
Für folgende Verallgemeinerung ist diese Formel in Bezug auf alle positiven Zahlen w gültig:
∫
0
∞
sech
(
x
)
w
d
x
=
2
w
−
2
β
(
1
2
w
)
{\displaystyle \int _{0}^{\infty }\operatorname {sech} (x)^{w}\,\mathrm {d} x=2^{w-2}\beta ({\tfrac {1}{2}}w)}
Mit dem griechischen Buchstaben β wird die Eulersche Betafunktion und mit dem zum Ausdruck gebracht.
Wenn der Cosekans hyperbolicus mit ganzrationalen Polynomfunktionen multipliziert werden, dann entstehen meist Funktionen mit polylogarithmischen Integralen:
Für folgende Funktion ist die Ursprungsstammfunktion dilogarithmisch beschaffen:
∫
0
x
y
csch
(
y
)
d
y
=
2
Li
2
[
tanh
(
1
2
x
)
]
−
1
2
Li
2
[
tanh
(
1
2
x
)
2
]
=
2
Li
2
[
1
−
exp
(
−
x
)
]
−
1
2
Li
2
[
1
−
exp
(
−
2
x
)
]
{\displaystyle \int _{0}^{x}y\,\operatorname {csch} (y)\,\mathrm {d} y=2\,\operatorname {Li} _{2}[\tanh({\tfrac {1}{2}}x)]-{\tfrac {1}{2}}\,\operatorname {Li} _{2}[\tanh({\tfrac {1}{2}}x)^{2}]=2\,\operatorname {Li} _{2}[1-\exp(-x)]-{\tfrac {1}{2}}\,\operatorname {Li} _{2}[1-\exp(-2x)]}
Deswegen gilt für folgendes bestimmtes Integral:
3
2
Li
2
(
1
)
=
∫
0
∞
x
csch
(
x
)
d
x
=
∫
0
∞
∫
0
1
cosh
(
x
)
(
1
−
z
2
)
sinh
(
x
)
2
+
1
d
z
d
x
=
{\displaystyle {\frac {3}{2}}\,\operatorname {Li} _{2}(1)=\int _{0}^{\infty }x\,\operatorname {csch} (x)\,\mathrm {d} x=\int _{0}^{\infty }\int _{0}^{1}{\frac {\cosh(x)}{(1-z^{2})\sinh(x)^{2}+1}}\,\mathrm {d} z\,\mathrm {d} x=}
=
∫
0
1
∫
0
∞
cosh
(
x
)
(
1
−
z
2
)
sinh
(
x
)
2
+
1
d
x
d
z
=
∫
0
1
π
2
1
−
z
2
d
z
=
1
4
π
2
{\displaystyle =\int _{0}^{1}\int _{0}^{\infty }{\frac {\cosh(x)}{(1-z^{2})\sinh(x)^{2}+1}}\,\mathrm {d} x\,\mathrm {d} z=\int _{0}^{1}{\frac {\pi }{2{\sqrt {1-z^{2}}}}}\,\mathrm {d} z={\frac {1}{4}}\pi ^{2}}
∑
n
=
1
∞
1
n
2
=
Li
2
(
1
)
=
1
6
π
2
{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}=\operatorname {Li} _{2}(1)={\frac {1}{6}}\pi ^{2}}
Dies ist somit eine auf dem Satz von Fubini basierende Beweisführung für das sogenannte Basler Problem und findet in der Theorie über die Riemannsche Zeta-Funktion Anwendung.
Integrale von Brüchen der Glockenkurvenfunktion
Bearbeiten
Wenn das Doppelte der Glockenkurvenfunktion
exp
(
−
x
2
)
{\displaystyle \exp(-x^{2})}
durch den Nachfolger vom Quadrat der Glockenkurvenfunktion geteilt wird, dann kommt die Funktion
sech
(
x
2
)
{\displaystyle \operatorname {sech} (x^{2})}
hervor. Das Integral von Null bis Unendlich von dieser zuletzt genannten Funktion nimmt einen nicht elementaren Wert an:
∫
0
∞
sech
(
x
2
)
d
x
=
π
β
(
1
2
)
{\displaystyle \int _{0}^{\infty }\operatorname {sech} (x^{2})\,\mathrm {d} x={\sqrt {\pi }}\,\beta {\bigl (}{\frac {1}{2}}{\bigr )}}
Mit dem griechischen Buchstaben β wird an dieser Stelle die Dirichletsche Betafunktion zum Ausdruck gebracht.
Integrale von kardinalischen Hyperbelfunktionen
Bearbeiten
Wenn die Produkte von Kardinalhyperbeltangens (Tangens Hyperbolicus Cardinalis)
tanh
(
x
)
/
x
{\displaystyle \operatorname {tanh} (x)/x}
und den Potenzen des Sekans Hyperbolicus integriert werden, dann können mit diesen Integralen weitere bekannte Namenskonstanten dargestellt werden:
∫
0
∞
1
x
tanh
(
x
)
sech
(
x
)
d
x
=
4
π
G
{\displaystyle \int _{0}^{\infty }{\frac {1}{x}}\operatorname {tanh} (x)\operatorname {sech} (x)\,\mathrm {d} x={\frac {4}{\pi }}\,G}
∫
0
∞
1
x
tanh
(
x
)
sech
(
x
)
2
d
x
=
7
π
2
ζ
(
3
)
{\displaystyle \int _{0}^{\infty }{\frac {1}{x}}\operatorname {tanh} (x)\operatorname {sech} (x)^{2}\,\mathrm {d} x={\frac {7}{\pi ^{2}}}\,\zeta (3)}
∫
0
∞
1
x
tanh
(
x
)
sech
(
x
)
3
d
x
=
2
3
π
G
+
16
π
3
β
(
4
)
{\displaystyle \int _{0}^{\infty }{\frac {1}{x}}\operatorname {tanh} (x)\operatorname {sech} (x)^{3}\,\mathrm {d} x={\frac {2}{3\,\pi }}\,G+{\frac {16}{\pi ^{3}}}\,\beta (4)}
∫
0
∞
1
x
tanh
(
x
)
sech
(
x
)
4
d
x
=
7
3
π
2
ζ
(
3
)
+
31
π
4
ζ
(
5
)
{\displaystyle \int _{0}^{\infty }{\frac {1}{x}}\operatorname {tanh} (x)\operatorname {sech} (x)^{4}\,\mathrm {d} x={\frac {7}{3\,\pi ^{2}}}\,\zeta (3)+{\frac {31}{\pi ^{4}}}\,\zeta (5)}
Mit dem Buchstaben G wird die Catalansche Konstante dargestellt und mit dem Ausdruck ζ(3) wird die Apéry-Konstante dargestellt. Der Buchstaben β stellt auch hier die Dirichletsche Betafunktion dar.
Integrale der Wurzeln des Sekans hyperbolicus
Bearbeiten
Die Gudermannfunktion als Ursprungsstammfunktion des Sekans hyperbolicus ist eine elementare Funktion:
∫
0
x
sech
(
y
)
d
y
=
gd
(
x
)
=
arctan
[
sinh
(
x
)
]
=
arcsin
[
tanh
(
x
)
]
=
2
arctan
[
tanh
(
1
2
x
)
]
=
{\displaystyle \int _{0}^{x}\operatorname {sech} (y)\,\mathrm {d} y=\operatorname {gd} (x)=\arctan[\sinh(x)]=\arcsin[\tanh(x)]=2\arctan[\tanh({\tfrac {1}{2}}x)]=}
=
1
2
π
−
2
arctan
[
exp
(
−
x
)
]
=
2
arctan
[
exp
(
x
)
]
−
1
2
π
{\displaystyle ={\tfrac {1}{2}}\pi -2\arctan[\exp(-x)]=2\arctan[\exp(x)]-{\tfrac {1}{2}}\pi }
Die Ursprungsstammfunktion von der Quadratwurzel des Sekans hyperbolicus ist ein lemniskatisches Integral:
∫
0
x
sech
(
y
)
d
y
=
2
arcsl
[
tanh
(
1
2
x
)
]
{\displaystyle \int _{0}^{x}{\sqrt {\operatorname {sech} (y)}}\,\mathrm {d} y=2\,\operatorname {arcsl} [\tanh({\tfrac {1}{2}}x)]}
Die soeben gezeigte Funktion zählt zu den nicht elementaren Funktionen.
Das Integral von Null bis Unendlich von der Quadratwurzel des Sekans Hyperbolicus nimmt exakt den Wert der lemniskatischen Konstante an.
Und die Ursprungsstammfunktion von der Kubikwurzel des Sekans hyperbolicus ist ein äquianharmonisches Integral:
∫
0
x
sech
(
y
)
3
d
y
=
1
2
27
4
F
{
2
arctan
[
tanh
(
x
)
3
4
sech
(
x
)
1
/
3
1
+
sech
(
x
)
2
/
3
+
sech
(
x
)
4
/
3
]
;
sin
(
1
12
π
)
}
{\displaystyle \int _{0}^{x}{\sqrt[{3}]{\operatorname {sech} (y)}}\,\mathrm {d} y={\frac {1}{2}}{\sqrt[{4}]{27}}\,{\text{F}}\left\{2\arctan \left[{\frac {\tanh(x)}{{\sqrt[{4}]{3}}\,\operatorname {sech} (x)^{1/3}{\sqrt {1+\operatorname {sech} (x)^{2/3}+\operatorname {sech} (x)^{4/3}}}}}\right];\sin \left({\frac {1}{12}}\pi \right)\right\}}
Auch die Ursprungsstammfunktion für das Quadrat der Kubikwurzel des Sekans hyperbolicus ist äquianharmonisch:
∫
0
x
sech
(
y
)
2
3
d
y
=
1
2
27
4
F
{
2
arctan
[
tanh
(
x
)
3
4
1
+
sech
(
x
)
2
/
3
+
sech
(
x
)
4
/
3
]
;
cos
(
1
12
π
)
}
{\displaystyle \int _{0}^{x}{\sqrt[{3}]{\operatorname {sech} (y)^{2}}}\,\mathrm {d} y={\frac {1}{2}}{\sqrt[{4}]{27}}\,{\text{F}}\left\{2\arctan \left[{\frac {\tanh(x)}{{\sqrt[{4}]{3}}{\sqrt {1+\operatorname {sech} (x)^{2/3}+\operatorname {sech} (x)^{4/3}}}}}\right];\cos \left({\frac {1}{12}}\pi \right)\right\}}
Sowohl die lemniskatischen als auch die äquianharmonischen Integrale zählen zu den sogenannten elliptischen Integralen.
Diese beiden Summendarstellungen sind für alle reellen Zahlen x gültig:
sech
(
x
)
=
∑
k
=
0
∞
(
−
1
)
k
(
8
k
+
4
)
π
(
2
k
+
1
)
2
π
2
+
4
x
2
csch
(
x
)
=
1
/
x
+
∑
k
=
1
∞
(
−
1
)
k
2
x
k
2
π
2
+
x
2
{\displaystyle {\begin{aligned}\operatorname {sech} (x)&=\sum _{k=0}^{\infty }(-1)^{k}{\frac {(8k+4)\pi }{(2k+1)^{2}\pi ^{2}+4x^{2}}}\\\operatorname {csch} (x)&=1/x+\sum _{k=1}^{\infty }(-1)^{k}{\frac {2x}{k^{2}\pi ^{2}+x^{2}}}\end{aligned}}}
Für die Gudermannfunktion, welche die Ursprungsstammfunktion des Sekans Hyperbolicus ist, gilt somit diese Formel:
gd
(
x
)
=
∑
k
=
0
∞
2
(
−
1
)
k
arctan
[
2
x
(
2
k
+
1
)
π
]
{\displaystyle \operatorname {gd} (x)=\sum _{k=0}^{\infty }2(-1)^{k}\arctan {\biggl [}{\frac {2x}{(2k+1)\pi }}{\biggr ]}}
sech
(
x
+
i
y
)
=
2
cosh
(
x
)
cos
(
y
)
cosh
(
2
x
)
+
cos
(
2
y
)
+
i
−
2
sinh
(
x
)
sin
(
y
)
cosh
(
2
x
)
+
cos
(
2
y
)
sech
(
i
y
)
=
sec
(
y
)
csch
(
x
+
i
y
)
=
2
sinh
(
x
)
cos
(
y
)
cosh
(
2
x
)
−
cos
(
2
y
)
+
i
−
2
cosh
(
x
)
sin
(
y
)
cosh
(
2
x
)
−
cos
(
2
y
)
csch
(
i
y
)
=
−
i
csc
(
y
)
{\displaystyle {\begin{aligned}&\operatorname {sech} (x+\mathrm {i} y)={\frac {2\cosh(x)\cos(y)}{\cosh(2x)+\cos(2y)}}+\mathrm {i} {\frac {-2\sinh(x)\sin(y)}{\cosh(2x)+\cos(2y)}}\\&\operatorname {sech} (\mathrm {i} y)=\sec(y)\\&\operatorname {csch} (x+\mathrm {i} y)={\frac {2\sinh(x)\cos(y)}{\cosh(2x)-\cos(2y)}}+\mathrm {i} \;{\frac {-2\cosh(x)\sin(y)}{\cosh(2x)-\cos(2y)}}\\&\operatorname {csch} (\mathrm {i} y)=-\mathrm {i} \csc(y)\end{aligned}}}
Wenn Summenreihen aus dem Sekans hyperbolicus mit linearem Verlauf des inneren Eintrags bezüglich des Summenindex aufgestellt werden, dann entstehen elliptische Werte. Im Folgenden wird eine für alle elliptischen Moduln beziehungsweise numerischen Exzentrizitäten
(
−
1
≤
ε
≤
1
)
∩
ε
∈
R
{\displaystyle (-1\leq \varepsilon \leq 1)\,\cap \,\varepsilon \in \mathbb {R} }
gültige Formel aufgestellt, die in Abhängigkeit vom Modul
ε
{\displaystyle \varepsilon }
das normierte vollständige elliptische Integral erster Art als Resultat ergibt:
1
+
2
{
∑
n
=
1
∞
s
e
c
h
[
π
n
K
′
(
ε
)
K
(
ε
)
]
}
=
1
+
2
[
∑
n
=
1
∞
2
q
(
ε
)
n
1
+
q
(
ε
)
2
n
]
=
ϑ
00
[
q
(
ε
)
]
2
=
2
π
K
(
ε
)
{\displaystyle 1+2{\biggl \{}\sum _{n=1}^{\infty }\mathrm {sech} {\biggl [}\pi \,n\,{\frac {K'(\varepsilon )}{K(\varepsilon )}}{\biggr ]}{\biggr \}}=1+2{\biggl [}\sum _{n=1}^{\infty }{\frac {2\,q(\varepsilon )^{n}}{1+q(\varepsilon )^{2n}}}{\biggr ]}=\vartheta _{00}[q(\varepsilon )]^{2}={\frac {2}{\pi }}\,K(\varepsilon )}
Denn die Jacobische Thetafunktion
ϑ
00
{\displaystyle \vartheta _{00}}
und ihr Quadrat haben folgende Summenreihen:
ϑ
00
(
w
)
=
1
+
2
(
∑
n
=
1
∞
w
n
2
)
{\displaystyle \vartheta _{00}(w)=1+2{\biggl (}\sum _{n=1}^{\infty }w^{n^{2}}{\biggr )}}
ϑ
00
(
w
)
2
=
1
+
2
(
∑
n
=
1
∞
2
w
n
1
+
w
2
n
)
{\displaystyle \vartheta _{00}(w)^{2}=1+2{\biggl (}\sum _{n=1}^{\infty }{\frac {2\,w^{n}}{1+w^{2n}}}{\biggr )}}
Die Mathematiker Edmund Taylor Whittaker und George Neville Watson nannten sowohl Summendefinitionen als auch Produktdefinitionen in ihrem gemeinsamen Werk[ 1] [ 2] [ 3] A Course in Modern Analysis nieder. Das Elliptische Nomen
q
(
ε
)
{\displaystyle q(\varepsilon )}
hat diese Definition:
q
(
ε
)
=
exp
[
−
π
K
′
(
ε
)
÷
K
(
ε
)
]
{\displaystyle q(\varepsilon )=\exp {\bigl [}-\pi \,K'(\varepsilon )\div K(\varepsilon ){\bigr ]}}
Diese Formel wurde bei der zuvor genannten Gleichungskette hervorgebracht:
1
+
2
{
∑
n
=
1
∞
s
e
c
h
[
π
n
K
′
(
ε
)
K
(
ε
)
]
}
=
2
π
K
(
ε
)
{\displaystyle 1+2{\biggl \{}\sum _{n=1}^{\infty }\mathrm {sech} {\biggl [}\pi \,n\,{\frac {K'(\varepsilon )}{K(\varepsilon )}}{\biggr ]}{\biggr \}}={\frac {2}{\pi }}\,K(\varepsilon )}
Nun werden einige Werte in diese Gleichungen eingesetzt und die Resultate mit den Eulerschen Betafunktionsidentitäten der K-Integrale versehen:
Modulwerte
ε
{\displaystyle \varepsilon }
Resultierende Sekans-hyperbolicus-Gleichungen
ε
=
1
2
2
{\displaystyle \varepsilon ={\tfrac {1}{2}}{\sqrt {2}}}
1
+
2
[
∑
n
=
1
∞
s
e
c
h
(
π
n
)
]
=
2
π
K
(
1
2
2
)
=
1
2
π
β
(
1
4
)
{\displaystyle 1+2{\biggl [}\sum _{n=1}^{\infty }\mathrm {sech} (\pi \,n){\biggr ]}={\frac {2}{\pi }}\,K{\bigl (}{\tfrac {1}{2}}{\sqrt {2}}\,{\bigr )}={\frac {1}{2\,\pi }}\,\beta ({\tfrac {1}{4}})}
ε
=
2
−
1
{\displaystyle \varepsilon ={\sqrt {2}}-1}
1
+
2
[
∑
n
=
1
∞
s
e
c
h
(
2
π
n
)
]
=
2
π
K
(
2
−
1
)
=
1
4
π
2
4
(
2
+
1
)
β
(
3
8
)
{\displaystyle 1+2{\biggl [}\sum _{n=1}^{\infty }\mathrm {sech} ({\sqrt {2}}\,\pi \,n){\biggr ]}={\frac {2}{\pi }}\,K({\sqrt {2}}-1)={\frac {1}{4\,\pi }}{\sqrt[{4}]{2}}\,({\sqrt {2}}+1)\,\beta ({\tfrac {3}{8}})}
ε
=
sin
(
1
12
π
)
{\displaystyle \varepsilon =\sin({\tfrac {1}{12}}\pi )}
1
+
2
[
∑
n
=
1
∞
s
e
c
h
(
3
π
n
)
]
=
2
π
K
[
sin
(
1
12
π
)
]
=
1
6
π
4
3
27
4
β
(
1
3
)
{\displaystyle 1+2{\biggl [}\sum _{n=1}^{\infty }\mathrm {sech} ({\sqrt {3}}\,\pi \,n){\biggr ]}={\frac {2}{\pi }}\,K{\bigl [}\sin({\tfrac {1}{12}}\pi ){\bigr ]}={\frac {1}{6\,\pi }}{\sqrt[{3}]{4}}\,{\sqrt[{4}]{27}}\,\beta ({\tfrac {1}{3}})}
Im Gegensatz zu den nun gezeigten Integralen können jedoch nicht alle vollständigen elliptischen Integrale erster Art mit Hilfe der reduzierten Eulerschen Betafunktion als einzigen nicht-elementaren Funktionsausdruck dargestellt werden!