双曲函数

双曲函数 (Hyperbolic Functions)

双曲函数（Hyperbolic Functions）是一类与指数函数$e^x$密切相关的数学函数，它们在形式上与常见的三角函数非常相似。正如三角函数（也称圆函数）与单位圆$x^2 + y^2 = 1$的几何关系密不可分，双曲函数也与双曲线$x^2 - y^2 = 1$有着深刻的几何联系。双曲函数在微积分、微分方程、复变函数理论以及物理学和工程学的许多领域中都有广泛应用。

定义

六种基本的双曲函数是基于指数函数$e^x$和$e^{-x}$来定义的。双曲正弦和双曲余弦是基础：

双曲正弦是一个奇函数（$\sinh(-x) = -\sinh(x)$），定义域和值域均为所有实数。双曲余弦是一个偶函数（$\cosh(-x) = \cosh(x)$），定义域为所有实数，值域为$[1, \infty)$。基于这两个基本函数，可定义其他四个：双曲正切$\tanh(x) = \sinh(x)/\cosh(x)$、双曲余切$\coth(x) = \cosh(x)/\sinh(x)$（$x \neq 0$）、双曲正割$\text{sech}(x) = 1/\cosh(x)$、双曲余割$\text{csch}(x) = 1/\sinh(x)$（$x \neq 0$）。

几何解释与基本恒等式

双曲函数的名称源于它们与单位双曲线$x^2 - y^2 = 1$的关系。对于单位双曲线右支上的任意一点$P(\cosh a, \sinh a)$，参数$a$的几何意义不是角度，而是由原点、点$(1, 0)$和点$P$构成的双曲扇形面积的2倍。参数化的点始终位于双曲线上，因为它们满足基本的双曲恒等式$\cosh^2(a) - \sinh^2(a) = 1$。

双曲函数具有与三角函数恒等式非常相似的恒等式。以下是关键恒等式：$\cosh^2(x) - \sinh^2(x) = 1$；$1 - \tanh^2(x) = \text{sech}^2(x)$；和差公式$\sinh(x \pm y) = \sinh(x)\cosh(y) \pm \cosh(x)\sinh(y)$和$\cosh(x \pm y) = \cosh(x)\cosh(y) \pm \sinh(x)\sinh(y)$；倍角公式$\sinh(2x) = 2\sinh(x)\cosh(x)$和$\cosh(2x) = \cosh^2(x) + \sinh^2(x)$。

与复数和三角函数的关系

通过欧拉公式$e^{i\theta} = \cos(\theta) + i\sin(\theta)$，可以在双曲函数和三角函数之间建立起桥梁。将三角函数用指数表示后与双曲函数定义比较，可以得到：$\cosh(ix) = \cos(x)$、$\sinh(ix) = i\sin(x)$、$\cos(ix) = \cosh(x)$、$\sin(ix) = i\sinh(x)$。这些关系表明，双曲函数本质上是三角函数在复数域上的延伸。

微积分性质

双曲函数的求导和积分规则非常简洁。导数为：$\frac{d}{dx} \sinh(x) = \cosh(x)$；$\frac{d}{dx} \cosh(x) = \sinh(x)$（注意此处没有负号，这与三角函数不同）；$\frac{d}{dx} \tanh(x) = \text{sech}^2(x)$。积分为：$\int \sinh(x) \,dx = \cosh(x) + C$；$\int \cosh(x) \,dx = \sinh(x) + C$。

反双曲函数

双曲函数的反函数称为反双曲函数，它们可以用对数函数来表示。反双曲正弦为$\text{arsinh}(x) = \ln(x + \sqrt{x^2 + 1})$，定义域为所有实数。反双曲余弦为$\text{arcosh}(x) = \ln(x + \sqrt{x^2 - 1})$，定义域为$x \ge 1$。反双曲正切为$\text{artanh}(x) = \frac{1}{2}\ln\left(\frac{1+x}{1-x}\right)$，定义域为$|x| < 1$。这些对数表达式在求解含有$\sqrt{x^2 \pm a^2}$形式的积分时非常有用。

应用

双曲函数并非纯粹的数学构造，它们在自然科学和工程领域中有着广泛的物理意义。一根质地均匀、柔软的链条在重力作用下悬挂于两点之间所形成的悬链线，其数学表达式为$y = a \cosh(x/a)$，拱桥等建筑结构常采用悬链线的反转形状，因为这种形状能使结构只承受压力而没有张力。在狭义相对论中，描述不同惯性参考系之间时空坐标变换的洛伦兹变换可以用双曲函数简洁地表达。在电子工程中，双曲函数用于描述长距离输电线上的电压和电流分布（传输线方程）。