Gudermannian function

Graph of the Gudermannian function

The Gudermannian function, named after Christoph Gudermann (1798–1852), relates the circular functions and hyperbolic functions without explicitly using complex numbers.

It is defined by^[1][2][3]

${\displaystyle \operatorname {gd} x=\int _{0}^{x}{\frac {1}{\cosh t}}\,\mathrm {d} t\qquad -\infty <x<\infty .}$

 

Properties

Alternative definitions

${\displaystyle {\begin{aligned}\operatorname {gd} x&=\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)\\&=2\arctan \left[\tanh \left({\tfrac {1}{2}}x\right)\right]\\&=2\arctan(e^{x})-{\tfrac {1}{2}}\pi .\end{aligned}}}$

Some related formula, such as ${\displaystyle \operatorname {arccot}(\operatorname {csch} x)}$, doesn't quite work as definition. (See inverse trigonometric functions.)

Some identities

${\displaystyle {\begin{aligned}\sin(\operatorname {gd} x)=\tanh x;\quad &\csc(\operatorname {gd} x)=\coth x;\\\cos(\operatorname {gd} x)=\operatorname {sech} x;\quad &\sec(\operatorname {gd} x)=\cosh x;\\\tan(\operatorname {gd} x)=\sinh x;\quad &\cot(\operatorname {gd} x)=\operatorname {csch} x;\\\tan({\tfrac {1}{2}}\operatorname {gd} x)=\tanh({\tfrac {1}{2}}x).\end{aligned}}}$

Inverse

Graph of the inverse Gudermannian function

${\displaystyle {\begin{aligned}\operatorname {gd} ^{-1}x&=\int _{0}^{x}{\frac {1}{\cos t}}\,\mathrm {d} t\qquad -\pi /2<x<\pi /2\\[8pt]&=\ln \left|{\frac {1+\sin x}{\cos x}}\right|={\frac {1}{2}}\ln \left|{\frac {1+\sin x}{1-\sin x}}\right|\\[8pt]&=\ln \left|\tan x+\sec x\right|=\ln \left|\tan \left({\tfrac {1}{4}}\pi +{\tfrac {1}{2}}x\right)\right|\\[8pt]&=\operatorname {artanh} (\sin x)=\operatorname {arsinh} (\tan x)\\&=\operatorname {arcoth} (\csc x)=\operatorname {arcsch} (\cot x)\\&=\operatorname {sgn} (x)\operatorname {arcosh} (\sec x)=\operatorname {sgn} (x)\operatorname {arsech} (\cos x)\\&=-i\operatorname {gd} (ix)\end{aligned}}}$

(See inverse hyperbolic functions.)

Some identities

${\displaystyle {\begin{aligned}\sinh(\operatorname {gd} ^{-1}x)=\tan x;\quad &\operatorname {csch} (\operatorname {gd} ^{-1}x)=\cot x;\\\cosh(\operatorname {gd} ^{-1}x)=\sec x;\quad &\operatorname {sech} (\operatorname {gd} ^{-1}x)=\cos x;\\\tanh(\operatorname {gd} ^{-1}x)=\sin x;\quad &\coth(\operatorname {gd} ^{-1}x)=\csc x.\end{aligned}}}$

Derivatives

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\operatorname {gd} x=\operatorname {sech} x;\quad {\frac {\mathrm {d} }{\mathrm {d} x}}\;\operatorname {gd} ^{-1}x=\sec x.}$

History

The function was introduced by Johann Heinrich Lambert in the 1760s at the same time as the hyperbolic functions. He called it the "transcendent angle," and it went by various names until 1862 when Arthur Cayley suggested it be given its current name as a tribute to Gudermann's work in the 1830s on the theory of special functions.^[4] Gudermann had published articles in Crelle's Journal that were collected in Theorie der potenzial- oder cyklisch-hyperbolischen Functionen (1833), a book which expounded sinh and cosh to a wide audience (under the guises of ${\mathfrak {Sin}}$ and ${\mathfrak {Cos}}$).

The notation gd was introduced by Cayley^[5] where he starts by calling gd. u the inverse of the integral of the secant function:

${\displaystyle u=\int _{0}^{\phi }\sec t\,\mathrm {d} t=\ln \left(\tan \left({\tfrac {1}{4}}\pi +{\tfrac {1}{2}}\phi \right)\right)}$

and then derives "the definition" of the transcendent:

${\displaystyle \operatorname {gd} u=i^{-1}\ln \left(\tan \left({\tfrac {1}{4}}\pi +{\tfrac {1}{2}}ui\right)\right)}$

observing immediately that it is a real function of u.

Applications

• The angle of parallelism function in hyperbolic geometry is defined by

${\displaystyle {\tfrac {1}{2}}\pi -\operatorname {gd} x}$

• On a Mercator projection a line of constant latitude is parallel to the equator (on the projection) and is displaced by an amount proportional to the inverse Gudermannian of the latitude.
• The Gudermannian (with a complex argument) may be used in the definition of the transverse Mercator projection.^[6]

• The Gudermannian appears in a non-periodic solution of the inverted pendulum.^[7]

• The Gudermannian also appears in a moving mirror solution of the dynamical Casimir effect.^[8]

See also

• Hyperbolic secant distribution
• Mercator projection
• Tangent half-angle formula
• Tractrix
• Trigonometric identity

References

1. Olver, F. W.J.; Lozier, D.W.; Boisvert, R.F.; Clark, C.W., eds. (2010), NIST Handbook of Mathematical Functions, Cambridge University Press. Section 4.23(viii).
2. CRC Handbook of Mathematical Sciences 5th ed. pp. 323–325
3. Weisstein, Eric W. "Gudermannian". MathWorld.
4. George F. Becker, C. E. Van Orstrand. Hyperbolic functions. Read Books, 1931. Page xlix. Scanned copy available at archive.org
5. Cayley, A. (1862). "On the transcendent gd. u". Philosophical Magazine (4th ser.). 24: 19–21. doi:10.1080/14786446208643307 (inactive 2015-02-01).
6. Osborne, P (2013), The Mercator projections, p74
7. John S. Robertson (1997). "Gudermann and the Simple Pendulum". The College Mathematics Journal. 28 (4): 271–276. JSTOR 2687148. Review.
8. Good, Michael R. R.; Anderson, Paul R.; Evans, Charles R. (2013). "Time dependence of particle creation from accelerating mirrors". Physical Review D. 88 (2): 025023. arXiv:1303.6756. Bibcode:2013PhRvD..88b5023G. doi:10.1103/PhysRevD.88.025023.