双曲线函数：是什么？基本定义与由来
何谓双曲线函数？它们的基本形式是什么？
双曲线函数是一类基于指数函数定义的特殊函数，它们在形式上与三角函数（圆函数）有诸多相似之处，但在数学性质和几何意义上与双曲线紧密关联。最基本的双曲线函数有三个：
-
双曲正弦函数 (Hyperbolic Sine)，记作 $\text{sinh}(x)$ 或 $\text{sh}(x)$。
它的定义是：$\text{sinh}(x) = \frac{e^x – e^{-x}}{2}$ -
双曲余弦函数 (Hyperbolic Cosine)，记作 $\text{cosh}(x)$ 或 $\text{ch}(x)$。
它的定义是：$\text{cosh}(x) = \frac{e^x + e^{-x}}{2}$ -
双曲正切函数 (Hyperbolic Tangent)，记作 $\text{tanh}(x)$ 或 $\text{th}(x)$。
它的定义是：$\text{tanh}(x) = \frac{\text{sinh}(x)}{\text{cosh}(x)} = \frac{e^x – e^{-x}}{e^x + e^{-x}}$
这里的 $e$ 是自然对数的底，约等于 $2.71828$。从定义可以看出，双曲线函数直接来源于简单的指数函数的组合，这使得它们在进行微分、积分以及代数运算时非常方便。
为何它们被称为“双曲线”函数？几何意义在哪里？
双曲线函数之所以得名“双曲线”，是因为它们与单位双曲线 $x^2 – y^2 = 1$ 有着本质的联系，这种联系类似于三角函数与单位圆 $x^2 + y^2 = 1$ 的关系。
考虑单位圆上的点 $(x, y) = (\cos(\theta), \sin(\theta))$，其中 $\theta$ 是从正x轴逆时针旋转到点与原点连线的角度。这个角度 $\theta$ 等于单位圆扇形的面积的两倍（当半径为1时）。
类似地，对于单位双曲线的右支 $x^2 – y^2 = 1$ ($x \ge 1$) 上的点 $(x, y) = (\text{cosh}(t), \text{sinh}(t))$，其中 $t$ 并不是一个简单的几何角度，而是与从点 $(1, 0)$ 到点 $(\text{cosh}(t), \text{sinh}(t))$ 扫过的双曲线扇形面积相关。具体来说，参数 $t$ 等于该双曲线扇形面积的两倍。这个参数 $t$ 被称为双曲线角 (hyperbolic angle) 或快度 (rapidity)。
正是这种几何上的类比——三角函数参数化单位圆，双曲线函数参数化单位双曲线——使得它们共享了许多代数恒等式和运算性质的形式，但符号上常有差别。这种几何联系是理解双曲线函数“为什么”存在以及“为什么”具有这些性质的关键之一。
核心性质与运算：如何进行计算与推导？
双曲线函数有哪些重要的恒等式？如何从定义推导？
双曲线函数拥有一系列与三角函数恒等式形式类似的恒等式，但由于双曲线的定义不同，某些符号会有所不同。最基础的恒等式是：
双曲线基本恒等式：
$\text{cosh}^2(x) – \text{sinh}^2(x) = 1$
这个恒等式可以直接从定义推导：
$\text{cosh}^2(x) – \text{sinh}^2(x) = \left(\frac{e^x + e^{-x}}{2}\right)^2 – \left(\frac{e^x – e^{-x}}{2}\right)^2$
$= \frac{e^{2x} + 2e^x e^{-x} + e^{-2x}}{4} – \frac{e^{2x} – 2e^x e^{-x} + e^{-2x}}{4}$
$= \frac{e^{2x} + 2 + e^{-2x} – (e^{2x} – 2 + e^{-2x})}{4}$
$= \frac{e^{2x} + 2 + e^{-2x} – e^{2x} + 2 – e^{-2x}}{4}$
$= \frac{4}{4} = 1$
利用基本恒等式和定义，可以推导出其他恒等式，例如：
- 由 $\text{cosh}^2(x) – \text{sinh}^2(x) = 1$，两边同除以 $\text{cosh}^2(x)$ ($\text{cosh}(x) \ne 0$) 得：
$1 – \frac{\text{sinh}^2(x)}{\text{cosh}^2(x)} = \frac{1}{\text{cosh}^2(x)}$
$1 – \text{tanh}^2(x) = \text{sech}^2(x)$ - 由 $\text{cosh}^2(x) – \text{sinh}^2(x) = 1$，两边同除以 $\text{sinh}^2(x)$ ($\text{sinh}(x) \ne 0$) 得：
$\frac{\text{cosh}^2(x)}{\text{sinh}^2(x)} – 1 = \frac{1}{\text{sinh}^2(x)}$
$\text{coth}^2(x) – 1 = \text{csch}^2(x)$
还有和角、倍角等恒等式，形式上与三角函数类似，但需要注意符号差异（这又回到了“为什么”的问题，因为单位圆和单位双曲线的定义方程符号不同）：
- $\text{sinh}(x+y) = \text{sinh}(x)\text{cosh}(y) + \text{cosh}(x)\text{sinh}(y)$
- $\text{cosh}(x+y) = \text{cosh}(x)\text{cosh}(y) + \text{sinh}(x)\text{sinh}(y)$
- $\text{tanh}(x+y) = \frac{\text{tanh}(x) + \text{tanh}(y)}{1 + \text{tanh}(x)\text{tanh}(y)}$
- $\text{sinh}(2x) = 2\text{sinh}(x)\text{cosh}(x)$
- $\text{cosh}(2x) = \text{cosh}^2(x) + \text{sinh}^2(x) = 2\text{cosh}^2(x) – 1 = 2\text{sinh}^2(x) + 1$
如何计算双曲线函数的导数和积分？
双曲线函数的微积分运算非常简洁，这得益于它们基于指数函数的定义。
导数公式：
- $\frac{d}{dx}(\text{sinh}(x)) = \frac{d}{dx}\left(\frac{e^x – e^{-x}}{2}\right) = \frac{e^x – (-e^{-x})}{2} = \frac{e^x + e^{-x}}{2} = \text{cosh}(x)$
- $\frac{d}{dx}(\text{cosh}(x)) = \frac{d}{dx}\left(\frac{e^x + e^{-x}}{2}\right) = \frac{e^x + (-e^{-x})}{2} = \frac{e^x – e^{-x}}{2} = \text{sinh}(x)$
- $\frac{d}{dx}(\text{tanh}(x)) = \frac{d}{dx}\left(\frac{\text{sinh}(x)}{\text{cosh}(x)}\right) = \frac{\text{cosh}(x)\cdot\text{cosh}(x) – \text{sinh}(x)\cdot\text{sinh}(x)}{\text{cosh}^2(x)} = \frac{\text{cosh}^2(x) – \text{sinh}^2(x)}{\text{cosh}^2(x)} = \frac{1}{\text{cosh}^2(x)} = \text{sech}^2(x)$
注意 $\frac{d}{dx}(\text{cosh}(x)) = \text{sinh}(x)$，与三角函数中 $\frac{d}{dx}(\cos(x)) = -\sin(x)$ 相比，没有负号，这使得一些涉及二次导数的物理问题（如谐振子方程的变体）的解更自然地包含双曲线函数。
积分公式：
基于导数公式，可以很容易得到对应的基本积分公式：
- $\int \text{cosh}(x) \, dx = \text{sinh}(x) + C$
- $\int \text{sinh}(x) \, dx = \text{cosh}(x) + C$
- $\int \text{sech}^2(x) \, dx = \text{tanh}(x) + C$
更复杂的积分，例如包含 $\sqrt{x^2 \pm a^2}$ 形式的被积函数，常常可以通过双曲线函数替换进行简化，这将在“应用”部分详细阐述。
双曲线函数的图像特征是什么？如何理解其行为？
理解双曲线函数的图像有助于直观把握它们的性质。
-
$\text{sinh}(x)$ 的图像：
它是奇函数 ($\text{sinh}(-x) = -\text{sinh}(x)$)，图像关于原点对称。
它单调递增，过原点 $(\text{sinh}(0)=0)$。
当 $x$ 趋近于 $+\infty$ 时，$\text{sinh}(x)$ 趋近于 $e^x/2$，快速增长；当 $x$ 趋近于 $-\infty$ 时，$\text{sinh}(x)$ 趋近于 $-e^{-x}/2$，快速减小。 -
$\text{cosh}(x)$ 的图像：
它是偶函数 ($\text{cosh}(-x) = \text{cosh}(x)$)，图像关于y轴对称。
它在 $x=0$ 处有最小值 $\text{cosh}(0) = \frac{e^0 + e^0}{2} = 1$。
当 $|x|$ 增大时，$\text{cosh}(x)$ 快速增长，形状类似一个开口向上的抛物线，但增长速度更快（指数增长）。这个形状在物理学中非常重要，被称为悬链线。 -
$\text{tanh}(x)$ 的图像：
它是奇函数 ($\text{tanh}(-x) = -\text{tanh}(x)$)，图像关于原点对称。
它单调递增，过原点 $(\text{tanh}(0)=0)$。
它有水平渐近线 $y = 1$ (当 $x \to +\infty$) 和 $y = -1$ (当 $x \to -\infty$)。这是因为 $\text{tanh}(x) = \frac{e^x – e^{-x}}{e^x + e^{-x}} = \frac{e^x(1 – e^{-2x})}{e^x(1 + e^{-2x})} = \frac{1 – e^{-2x}}{1 + e^{-2x}}$。当 $x \to \infty$， $e^{-2x} \to 0$，所以 $\text{tanh}(x) \to \frac{1-0}{1+0} = 1$。同理可得另一侧渐近线。
派生函数与反函数：还有多少双曲线函数？如何定义反函数？
除了sinh, cosh, tanh，还有哪些常用的双曲线函数？
与三角函数类似，双曲线函数也有其对应的倒数函数：
-
双曲余切函数 (Hyperbolic Cotangent)，记作 $\text{coth}(x)$ 或 $\text{cth}(x)$。
定义：$\text{coth}(x) = \frac{1}{\text{tanh}(x)} = \frac{\text{cosh}(x)}{\text{sinh}(x)} = \frac{e^x + e^{-x}}{e^x – e^{-x}}$，定义域为 $x \ne 0$。 -
双曲正割函数 (Hyperbolic Secant)，记作 $\text{sech}(x)$ 或 $\text{sch}(x)$。
定义：$\text{sech}(x) = \frac{1}{\text{cosh}(x)} = \frac{2}{e^x + e^{-x}}$。 -
双曲余割函数 (Hyperbolic Cosecant)，记作 $\text{csch}(x)$ 或 $\text{cosech}(x)$。
定义：$\text{csch}(x) = \frac{1}{\text{sinh}(x)} = \frac{2}{e^x – e^{-x}}$，定义域为 $x \ne 0$。
这些函数可以通过 sinh 和 cosh 的定义直接得到，它们的性质和图像也与对应的三角函数倒数类似（例如，$\text{coth}(x)$ 有垂直渐近线 $x=0$ 和水平渐近线 $y=\pm 1$）。它们的导数和积分也可以从基本函数的导数和积分公式推导出来。
如何定义和计算反双曲线函数？它们与对数函数的关系是怎样的？
双曲线函数也有其对应的反函数，用于求解已知双曲线函数值时对应的参数 $x$。这些反函数可以使用对数函数来表示，这再次凸显了双曲线函数与指数函数/对数函数的密切关系。
反双曲线正弦函数 (Inverse Hyperbolic Sine)，记作 $\text{arsinh}(x)$ 或 $\text{sinh}^{-1}(x)$。
定义：$y = \text{arsinh}(x)$ 当且仅当 $x = \text{sinh}(y)$。
对数形式：$\text{arsinh}(x) = \ln(x + \sqrt{x^2 + 1})$，定义域是所有实数。
反双曲线余弦函数 (Inverse Hyperbolic Cosine)，记作 $\text{arcosh}(x)$ 或 $\text{cosh}^{-1}(x)$。
定义：$y = \text{arcosh}(x)$ 当且仅当 $x = \text{cosh}(y)$ 且 $y \ge 0$（因为 $\text{cosh}(x)$ 不是单调函数，需要限制定义域来定义唯一的反函数，通常取 $x \ge 1, y \ge 0$）。
对数形式：$\text{arcosh}(x) = \ln(x + \sqrt{x^2 – 1})$，定义域是 $x \ge 1$。
反双曲线正切函数 (Inverse Hyperbolic Tangent)，记作 $\text{artanh}(x)$ 或 $\text{tanh}^{-1}(x)$。
定义：$y = \text{artanh}(x)$ 当且仅当 $x = \text{tanh}(y)$。
对数形式：$\text{artanh}(x) = \frac{1}{2}\ln\left(\frac{1+x}{1-x}\right)$，定义域是 $-1 < x < 1$。
这些对数形式的推导过程通常是：设 $y = \text{ar…}(x)$，则 $x = \text{…}(y)$。将 $\text{…}(y)$ 替换为其指数形式，然后解出 $e^y$ 或 $y$。例如，对于 $\text{arsinh}(x)$:
设 $y = \text{arsinh}(x)$，则 $x = \text{sinh}(y) = \frac{e^y – e^{-y}}{2}$.
$2x = e^y – e^{-y}$
两边同乘以 $e^y$ (注意到 $e^y \ne 0$): $2xe^y = e^{2y} – 1$
整理成关于 $e^y$ 的二次方程: $(e^y)^2 – 2x(e^y) – 1 = 0$
使用二次公式解 $e^y$: $e^y = \frac{-(-2x) \pm \sqrt{(-2x)^2 – 4(1)(-1)}}{2(1)} = \frac{2x \pm \sqrt{4x^2 + 4}}{2} = \frac{2x \pm 2\sqrt{x^2 + 1}}{2} = x \pm \sqrt{x^2 + 1}$.
由于 $e^y$ 必须大于0，而对于实数 $x$， $x – \sqrt{x^2 + 1} < x - \sqrt{x^2} = x - |x| \le 0$ (当 $x>0$ 时，$x – \sqrt{x^2+1} < 0$；当 $x \le 0$ 时，$x-\sqrt{x^2+1} < 0$ 或等于0)，所以必须取正号。
$e^y = x + \sqrt{x^2 + 1}$
取自然对数：$y = \ln(x + \sqrt{x^2 + 1})$.
因此，$\text{arsinh}(x) = \ln(x + \sqrt{x^2 + 1})$. 其他反函数的对数形式也可以类似推导。
它们在何处大显身手？具体应用示例
双曲线函数在物理学和工程学中有哪些具体的应用？
双曲线函数并非抽象的数学构造，它们在描述自然现象和解决工程问题时经常出现。
悬链线问题 (Catenary)：
这是双曲线余弦函数最著名的一个应用。一根均匀的、仅受自身重力作用而悬挂在两点之间的柔性链条或绳索所形成的曲线形状，被称为悬链线。这条曲线的方程恰好就是 $y = a \text{cosh}(x/a) + b$，其中 $a$ 和 $b$ 是取决于链条特性和悬挂方式的常数。理解和计算悬链线对于桥梁设计（如吊桥的缆索形状）、电线架设等方面至关重要。
特殊相对论 (Special Relativity)：
在爱因斯坦的特殊相对论中，洛伦兹变换描述了不同惯性参照系之间时空坐标的变换。这些变换在数学形式上与欧几里得空间中的旋转非常相似，但涉及的是时空间隔而不是空间距离。这里的“旋转”发生在 Minkowski 时空中，其数学描述就自然而然地用到了双曲线函数，而不是三角函数。特别是，“速度快度”（rapidity）是一个与双曲线角 $t$ 直接相关的量，不同速度下的快度是可加的，这比直接处理速度本身更简洁。洛伦兹因子 $\gamma$ 可以表示为 $\text{cosh}(t)$，速度 $v$ 可以表示为 $c \text{tanh}(t)$（其中 $c$ 是光速）。
阻尼振动 (Damped Oscillations)：
在描述机械或电路系统中带有阻尼的振动时，微分方程的解形式取决于阻尼的大小。在过阻尼（overdamped）情况下，系统的位移或电流不会发生振荡，而是指数衰减回平衡位置。此时，解的形式通常包含 $e^{\lambda_1 t}$ 和 $e^{\lambda_2 t}$ 项，其中 $\lambda_1, \lambda_2$ 是实数。通过线性组合，这些指数项的解可以很方便地表示为 $\text{cosh}$ 和 $\text{sinh}$ 函数的线性组合，例如 $y(t) = A \text{cosh}(\omega t) + B \text{sinh}(\omega t)$ 或 $y(t) = C e^{-\alpha t} \text{cosh}(\beta t)$ 等形式，这有助于分析系统的瞬态响应。
传热学与流体力学：
在一些描述热传导或流体流动的偏微分方程的解中，特别是在处理边界条件时，双曲线函数会自然地出现。例如，描述沿着一个长、薄、有鳍的物体传热的方程解可能包含双曲线函数项。
双曲线函数在微积分的运算和求解中如何发挥作用？
除了其自身的微积分性质外，双曲线函数还常常作为积分计算的辅助工具。
积分换元 (Integration by Substitution)：
当被积函数中包含形式如 $\sqrt{x^2 + a^2}$ 或 $\sqrt{x^2 – a^2}$ 的项时，使用双曲线函数进行替换（换元）往往能简化积分过程。
- 对于 $\sqrt{x^2 + a^2}$，可以尝试令 $x = a \text{sinh}(t)$。则 $dx = a \text{cosh}(t) dt$，且
$\sqrt{x^2 + a^2} = \sqrt{(a \text{sinh}(t))^2 + a^2} = \sqrt{a^2 \text{sinh}^2(t) + a^2} = \sqrt{a^2(\text{sinh}^2(t) + 1)} = \sqrt{a^2 \text{cosh}^2(t)} = |a\text{cosh}(t)|$.
若考虑实函数且 $a>0$，则 $\text{cosh}(t) \ge 1 > 0$，所以 $\sqrt{x^2 + a^2} = a\text{cosh}(t)$。
积分会转化为对 $\text{cosh}^2(t)$ 等的积分，通常更容易处理。 - 对于 $\sqrt{x^2 – a^2}$，可以尝试令 $x = a \text{cosh}(t)$ (需限制 $t \ge 0$ 使 $\text{cosh}(t) \ge 1$)。则 $dx = a \text{sinh}(t) dt$，且
$\sqrt{x^2 – a^2} = \sqrt{(a \text{cosh}(t))^2 – a^2} = \sqrt{a^2 \text{cosh}^2(t) – a^2} = \sqrt{a^2(\text{cosh}^2(t) – 1)} = \sqrt{a^2 \text{sinh}^2(t)} = |a\text{sinh}(t)|$.
若考虑 $x \ge a > 0$，则 $t = \text{arcosh}(x/a) \ge 0$，此时 $\text{sinh}(t) \ge 0$，所以 $\sqrt{x^2 – a^2} = a\text{sinh}(t)$。
积分会转化为对 $\text{sinh}^2(t)$ 等的积分。
例如，积分 $\int \frac{dx}{\sqrt{x^2 + a^2}}$ 可以用 $x = a \text{sinh}(t)$ 替换：
$\int \frac{a \text{cosh}(t) dt}{a \text{cosh}(t)} = \int dt = t + C$.
由于 $x = a \text{sinh}(t)$，则 $t = \text{arsinh}(x/a)$。
所以 $\int \frac{dx}{\sqrt{x^2 + a^2}} = \text{arsinh}(x/a) + C$.
利用反双曲线函数的对数形式，结果可以写为 $\ln\left(\frac{x}{a} + \sqrt{\left(\frac{x}{a}\right)^2 + 1}\right) + C = \ln(x + \sqrt{x^2 + a^2}) – \ln|a| + C$. 常数项可以合并，所以通常写为 $\ln(x + \sqrt{x^2 + a^2}) + C’$.
这种换元技巧在求解某些特定形式的不定积分时非常有效，提供了三角函数换元之外的另一类有力工具。
双曲线函数与复变函数有什么联系？
双曲线函数与三角函数之间存在着深刻的联系，这种联系通过复数得以揭示。利用欧拉公式 $e^{i\theta} = \cos(\theta) + i\sin(\theta)$ 及其推论 $e^{-i\theta} = \cos(\theta) – i\sin(\theta)$，我们可以推导出：
$\cos(\theta) = \frac{e^{i\theta} + e^{-i\theta}}{2}$
$\sin(\theta) = \frac{e^{i\theta} – e^{-i\theta}}{2i}$
对比双曲线函数的定义：
$\text{cosh}(x) = \frac{e^x + e^{-x}}{2}$
$\text{sinh}(x) = \frac{e^x – e^{-x}}{2}$
可以看出，如果我们将双曲线函数中的实数变量 $x$ 替换为纯虚数 $ix$，则：
$\text{cosh}(ix) = \frac{e^{ix} + e^{-ix}}{2} = \cos(x)$
$\text{sinh}(ix) = \frac{e^{ix} – e^{-ix}}{2} = i \frac{e^{ix} – e^{-ix}}{2i} = i\sin(x)$
反过来，如果将三角函数中的实数变量 $x$ 替换为纯虚数 $ix$：
$\cos(ix) = \frac{e^{i(ix)} + e^{-i(ix)}}{2} = \frac{e^{-x} + e^{x}}{2} = \text{cosh}(x)$
$\sin(ix) = \frac{e^{i(ix)} – e^{-i(ix)}}{2i} = \frac{e^{-x} – e^{x}}{2i} = \frac{-(e^x – e^{-x})}{2i} = \frac{-1}{i} \frac{e^x – e^{-x}}{2} = i \frac{e^x – e^{-x}}{2} = i\text{sinh}(x)$
这些关系式 $\text{cosh}(ix) = \cos(x)$, $\text{sinh}(ix) = i\sin(x)$, $\cos(ix) = \text{cosh}(x)$, $\sin(ix) = i\text{sinh}(x)$ 揭示了双曲线函数和三角函数在复数域中的紧密联系，它们是同一类更广泛的复变函数——指数函数——在实轴和虚轴上的不同表现。这也是为什么它们的恒等式和性质在形式上如此相似的原因之一。
总结
双曲线函数 $\text{sinh}(x)$, $\text{cosh}(x)$, $\text{tanh}(x)$ 等，是通过简单的指数函数组合定义的。它们得名于其与单位双曲线的几何关系，类似于三角函数与单位圆的关系。它们拥有简洁的微分和积分性质，以及一系列与三角函数形式类似的恒等式。除了基本的三个函数，还有对应的倒数函数（coth, sech, csch）和反函数（arsinh, arcosh, artanh），其中反函数可以用对数形式表示。双曲线函数在物理学（如悬链线、相对论）、工程学（如阻尼系统、传热）和微积分（如积分换元）等领域有重要的应用。它们与三角函数通过复数域紧密相连，共同构成了复指数函数在不同坐标轴上的投影。理解双曲线函数的定义、性质和应用，对于深入学习数学、物理和工程学非常有益。
