La función de Gudermann , llamada así en honor a Christoph Gudermann (1798–1852), relaciona las funciones trigonométicas y funciones hiperbólicas sin usar números complejos .
La función de Gudermann con sus asíntotas y = ±π/2 marcadas en azul.
Es definida mediante la integral
g
d
x
=
∫
0
x
d
t
cosh
t
=
arcsin
(
tanh
x
)
=
arctan
(
sinh
x
)
=
2
arctan
[
tanh
(
1
2
x
)
]
=
2
arctan
(
e
x
)
−
1
2
π
.
{\displaystyle {\begin{aligned}{\rm {gd}}\,x&=\int _{0}^{x}{\frac {dt}{\cosh t}}\\&=\arcsin \left(\tanh x\right)={\mbox{arctan}}\left(\sinh x\right)\\&=2\arctan \left[\tanh \left({\tfrac {1}{2}}x\right)\right]=2\arctan(e^{x})-{\tfrac {1}{2}}\pi .\end{aligned}}\,\!}
Algunas fórmulas no funcionan completamente como definiciones. Por ejemplo, para un número real x ,
arccos
sech
x
=
|
gd
x
|
=
arcsec
(
cosh
x
)
{\displaystyle \arccos {\mbox{sech}}\,x=\vert {\mbox{gd}}\,x\vert =\operatorname {arcsec}(\cosh x)}
. (Ver funciones trigonométricas inversas .)
Las siguientes identidades se cumplen:
sen
gd
x
˙
=
tanh
x
;
csc
gd
x
=
coth
x
;
cos
gd
x
=
sech
x
;
sec
gd
x
=
cosh
x
;
tan
gd
x
=
sinh
x
;
cot
gd
x
=
csch
x
;
.
tan
1
2
gd
x
=
tanh
1
2
x
.
{\displaystyle {\begin{aligned}{\color {white}{\dot {\color {black}\operatorname {sen} {\mbox{gd}}\,x}}}&=\tanh x;\quad \csc {\mbox{gd}}\,x=\coth x;\\\cos {\mbox{gd}}\,x&={\mbox{sech}}\,x;\quad \,\sec {\mbox{gd}}\,x=\cosh x;\\\tan {\mbox{gd}}\,x&=\sinh x;\quad \,\cot {\mbox{gd}}\,x={\mbox{csch}}\,x;\\{}_{\color {white}.}\tan {\tfrac {1}{2}}{\mbox{gd}}\,x&=\tanh {\tfrac {1}{2}}x.\end{aligned}}\,\!}
La función inversa de Gudermann.
La inversa de la función de Gudermann, la cual está definida en el intervalo −π /2 < x < π /2, está dada por
gd
−
1
x
=
∫
0
x
d
t
cos
t
=
ln
|
1
+
sen
x
cos
x
|
=
1
2
ln
|
1
+
sen
x
1
−
sen
x
|
=
ln
|
tan
x
+
sec
x
|
=
ln
|
tan
(
1
4
π
+
1
2
x
)
|
=
artanh
(
sen
x
)
=
arsinh
(
tan
x
)
.
{\displaystyle {\begin{aligned}\operatorname {gd} ^{-1}\,x&=\int _{0}^{x}{\frac {dt}{\cos t}}\\&=\ln \left|{\frac {1+\operatorname {sen} x}{\cos x}}\right|={\tfrac {1}{2}}\ln \left|{\frac {1+\operatorname {sen} x}{1-\operatorname {sen} x}}\right|\\&=\ln \left|\tan x+\sec x\right|=\ln \left|\tan \left({\tfrac {1}{4}}\pi +{\tfrac {1}{2}}x\right)\right|\\&={\mbox{artanh}}\,(\operatorname {sen} x)={\mbox{arsinh}}\,(\tan x).\end{aligned}}}
(Ver funciones hiperbólicas inversas .)
Las derivadas de la función de Gudermann y su inversa son
d
d
x
gd
x
=
sech
x
;
d
d
x
gd
−
1
x
=
sec
x
.
{\displaystyle {\frac {d}{dx}}\;{\mbox{gd}}\,x={\mbox{sech}}\,x;\quad {\frac {d}{dx}}\;\operatorname {gd} ^{-1}\,x=\sec x.}
La expresión
1
2
π
−
gd
x
{\displaystyle {\tfrac {1}{2}}\pi -{\mbox{gd}}\,x}
define la función de ángulo de paralelismo en geometría hiperbólica .
La función fue introducida por Johann Heinrich Lambert sobre la época de 1760 al mismo tiempo que las funciones hiperbólicas . Él la llamó «ángulo trascendente», y pasó por varios nombres hasta que en 1862 Arthur Cayley sugirió que esta tomara su actual nombre como tributo al trabajo de Gudermann en los años de 1830 sobre la teoría de funciones especiales.[ 1] Gudermann publicó artículos en el Crelle's Journal que fueron recopilados en Theorie der potenzial- oder cyklisch-hyperbolischen functionen (1833), un libro el cual expone sinh y cosh a la audiencia general (bajo el aspecto de
S
i
n
{\displaystyle {\mathfrak {Sin}}}
y
C
o
s
{\displaystyle {\mathfrak {Cos}}}
).
La notación gd aparece por primera vez en la página 19 del Philosophical Magazine , vol. XXIV, donde Cayley comienza por llamarla gd. u a la inversa de la función
u
=
∫
0
ϕ
sec
t
d
t
=
ln
tan
(
1
4
π
+
1
2
ϕ
)
{\displaystyle u=\int _{0}^{\phi }\sec t\,dt=\ln \tan \left({\tfrac {1}{4}}\pi +{\tfrac {1}{2}}\phi \right)}
y luego obtiene "la definición" del trascendente:
gd
u
=
1
i
ln
tan
(
1
4
π
+
1
2
u
i
)
{\displaystyle \operatorname {gd} \,u={\tfrac {1}{i}}\ln \tan \left({\tfrac {1}{4}}\pi +{\tfrac {1}{2}}ui\right)}
observando inmediatamente que ésta es una función real de u .
↑ Georg F. Becker. Hyperbolic functions. Read Books, 1931. Page xlix.
↑ John S. Robertson, "Gudermann and the Simple Pendulum", The College Mathematics Journal 28 :4:271-276 (September 1997) at JSTOR