古德曼函数

古德曼函数（Gudermannian function）是一个函数。它无须涉及复数便将三角函数和双曲函数连系起来。

## 性质

<image>

古德曼函数的定义如下

$$\begin{align}{\rm{gd}}(x)&=\int_0^x\frac{dt}{\cosh t} \qquad -\infty<x<\infty\\ &=\arcsin\left(\tanh x \right)=\mbox{arctan}\left(\sinh x \right)=\mathrm{arccsc}\left(\coth x \right) \\ &=\mbox{sgn}(x)\cdot\mathrm{arccos}\left(\mathrm{sech}\,x \right)=\mbox{sgn}(x)\cdot\mathrm{arcsec}\left(\cosh x \right) \\ &=2\arctan(e^x)-\frac{\pi}{2}=\frac{\pi}{2}-2\arccot(e^x)\\ &=2\arctan\left(\tanh\frac{x}{2}\right)\\ &=\mathrm{arccot}\left(\mathrm{csch}\,x \right)\\ \end{align}\,\!$$

（$\begin{align}{\rm{gd}}(x)=\mathrm{arccot}\left(\mathrm{csch}\,x \right)\end{align}\,\!$仅在arccot的值域设为$[-\frac{\pi}{2},\frac{\pi}{2}]$时成立，参见反余切。）

有以下恒等式：

$$\begin{align}\sin\left(\operatorname{gd}x\right)&=\tanh x ;&\quad\cos\left(\operatorname{gd} x\right)&=\mbox{sech} x\\ \tan\left(\operatorname{gd} x\right)&=\sinh x ;&\quad\sec\left(\operatorname{gd} x\right)&=\cosh x\\ \cot\left(\operatorname{gd} x\right)&=\operatorname{csch} x ;&\quad\csc\left(\operatorname{gd} x\right)&=\coth x\\ \tan\left(\frac{\operatorname{gd} x}{2}\right)&=\tanh\frac{x}{2} ;&\quad\cot\left(\frac{\operatorname{gd} x}{2}\right)&=\coth\frac{x}{2}\\ \end{align}\,\!$$

## 反函数

<image>

古德曼函数之反函数的定义为：

$$\begin{align} \operatorname{arcgd}x &=\operatorname{gd}^{-1}x=\int_0^x\frac{dt}{\cos t}\qquad -\pi/2<x<\pi/2\\ &=\mathrm{arctanh}\,(\sin x) = \mathrm{arcsinh}\,(\tan x)\\ &=\mathrm{arccoth}\,(\csc x) = \mathrm{arccsch}\,(\cot x)\\ &=\mbox{sgn}(x)\cdot\mathrm{arccosh}\,(\sec x) = \mbox{sgn}(x)\cdot\mathrm{arcsech}\,(\cos x)\\ &=2\mathrm{arctanh}\left(\tan\frac{x}{2}\right)\\ &={}\ln\left|\sec x(1+\sin x)\right|\\ &={}\ln\left|\tan x+\sec x\right|=\ln\left|\tan\left(\frac{\pi}{4}+\frac{x}{2}\right)\right|\\ &={}\frac{1}{2}\ln\left|\frac{1+\sin x}{1-\sin x}\right| \end{align}\,\!$$

有以下恒等式：

$$\begin{align}\sinh\left(\operatorname{gd}^{-1}x\right)&=\tan x;&\quad\cosh\left(\operatorname{gd}^{-1} x\right)&=\sec x\\ \tanh\left(\operatorname{gd}^{-1} x\right)&=\sin x ;&\quad\;\mbox{sech}\left(\operatorname{gd}^{-1} x\right)&=\cos x\\ \coth\left(\operatorname{gd}^{-1} x\right)&=\csc x ;&\quad\,\mbox{csch}\left(\operatorname{gd}^{-1} x\right)&=\cot x\\ \tanh\left(\frac{\operatorname{gd}^{-1} x}{2}\right)&=\tan\frac{x}{2};&\quad\,\coth\left(\frac{\operatorname{gd}^{-1} x}{2}\right)&=\cot\frac{x}{2}\\ \end{align}\,\!$$

## 余函数

<image>

古德曼函数之余函数的定义为：

$$\begin{align} \operatorname{cogd} x&= \begin{cases} <pre> \int_x^\infty\frac{dt}{\sinh t}\qquad 0<x<\infty\!\, \\ \int_{-\infty}^x\frac{dt}{\sinh t}\qquad -\infty<x<0\!\, </pre> \end{cases}\\ &=-\mbox{sgn}(x)\cdot\ln\left| \tanh {x \over2}\right|\\ &=\mbox{sgn}(x)\cdot\ln\left|\coth x+\operatorname{csch} x\right|\\ &=2\operatorname{artanh} (e^{-\left|x\right|})\cdot\mbox{sgn}(x)=2\operatorname{arcoth} (e^\left|x\right|)\cdot\mbox{sgn}(x)\\ &=\operatorname{cogd}^{-1} x\\ \end{align}\,\!$$

有以下恒等式：

$$\begin{align}\sinh \left(\operatorname{cogd} x\right)&=\operatorname{csch} x ;&\quad\;\cosh\left(\operatorname{cogd} x\right) &=\coth{\left|x\right|}\\ \tanh{\left|\operatorname{cogd} x\right|}&=\operatorname{sech} x ;&\quad\;\mbox{sech}\left(\operatorname{cogd} x\right) &=\tanh{\left|x\right|}\\ \coth{\left|\operatorname{cogd} x\right|}&=\cosh x ;&\quad\,\mbox{csch}\left(\operatorname{cogd} x\right)&=\sinh x\\ \end{align}\,\!$$

## 微分

它们的导数分别为：

$$\begin{align}\frac{d}{dx}\operatorname{gd} x=\operatorname{sech} x;\quad\frac{d}{dx}\operatorname{arcgd} x=\sec x;\quad\frac{d}{dx}\operatorname{cogd} x=-\operatorname{csch}{\left| x\right|} \\ \end{align}\,\!$$

## 应用

- 在双曲几何中，表达式

$$\frac{\pi}{2} - \mbox{gd} (x)$$

定义了平行角函数。

- 在使用麦卡托投影法的地图，若以$y\,$表示一个地点在地图跟赤道的距离，则其纬度$\phi\,$和$y\,$的关系为：

$$\phi = \mbox{gd} (y)\,$$

- 古德曼函数在倒单摆的非周期解中出现。

## 参考

- CRC Handbook of Mathematical Sciences 5th ed. pp 323-5.
- Gudermannian Function -- from Wolfram MathWorld

## 发现者的生平

克里斯托夫·古德曼（Christof Gudermann，1798年–1852年）是德国数学家，是高斯的学生，卡尔·魏尔施特拉斯的老师。