双曲三角函数

1 定义与基本概念

双曲三角函数是一类由指数函数自然导出的特殊函数。它们在符号和性质上与普通三角函数相近，但来源并非圆周运动，而是与双曲线、指数增长和微分方程的结构密切相关。常见的基本成员包括双曲正弦、双曲余弦、双曲正切及若干互为倒数或比值形式的函数。

1.1 双曲正弦与双曲余弦

双曲正弦和双曲余弦是这组函数中最核心的两个对象，其他双曲函数大多可由它们构造出来。二者在很多公式中成对出现，类似于普通三角函数中的正弦与余弦。

1.1.1 基于指数函数的定义

双曲正弦通常记作 sinh x，定义为 sinh x = (e^x - e^-x) / 2。

双曲余弦通常记作 cosh x，定义为 cosh x = (e^x + e^-x) / 2。

这一定义直接体现了它们与指数函数的关系：前者取差，后者取和，因此一个具有奇函数特征，另一个具有偶函数特征。

1.1.2 几何直观与双曲线联系

从几何上看，cosh x 与 sinh x 满足恒等式 cosh²x - sinh²x = 1，这与双曲线 x² - y² = 1 的标准形式一致。若以参数 x 表示，则点 (cosh x, sinh x) 落在双曲线上，因此双曲函数得名于此。与圆函数对应单位圆不同，这里对应的是双曲线的参数化描述。

1.2 其他基本双曲三角函数

除 sinh 与 cosh 外，还可以通过它们的比值或倒数定义其他双曲函数。这些函数在公式化处理、积分变换和方程求解中经常出现。

1.2.1 双曲正切

双曲正切记作 tanh x，定义为 tanh x = sinh x / cosh x。

它可看作双曲正弦与双曲余弦之比，在实数范围内取值始终介于 -1 与 1 之间，常用于描述受限增长或平滑过渡。

1.2.2 双曲余切

双曲余切记作 coth x，定义为 coth x = cosh x / sinh x。

该函数在 sinh x = 0 的点处无定义，因此在实轴上主要考虑 x ≠ 0 的情形。它在某些物理模型和积分表达式中较常见。

1.2.3 双曲正割与双曲余割

双曲正割记作 sech x，定义为 sech x = 1 / cosh x。

双曲余割记作 csch x，定义为 csch x = 1 / sinh x。

这两类函数分别是双曲余弦和双曲正弦的倒数，常用于写出更紧凑的恒等式或求导结果。

1.3 定义域与值域

双曲三角函数多数在实数轴上处处有意义，但不同函数的取值范围并不相同；在复数域中，它们可以继续延拓，并呈现更丰富的周期与对称性质。

1.3.1 实数域上的性质

在实数域上，sinh x、cosh x、tanh x 都对所有实数 x 定义。 其中 sinh x 的值域为全体实数，cosh x 的值域为 [1, +∞)，tanh x 的值域为 (-1, 1)。 coth x、sech x、csch x 的定义域则受到分母是否为零的限制，需要排除相应点。

1.3.2 复数域上的推广

将自变量扩展到复数后，双曲函数仍可通过指数定义成立。此时它们与复三角函数之间存在紧密联系，例如 cosh 与 cos、sinh 与 sin 在虚数自变量下可相互转换。复数域中的双曲函数常用于复分析和特殊函数理论。

2 代数恒等式

双曲三角函数具有一系列简洁而稳定的恒等式，这些公式在化简、积分和方程求解中非常实用。许多关系式与普通三角函数的对应公式相似，但符号结构有所不同。

2.1 基本恒等式

双曲函数最重要的恒等式来自指数定义。它们不仅揭示函数间的内在联系，也构成进一步推导的基础。

2.1.1 cosh²x - sinh²x = 1

由定义直接展开可得 cosh²x - sinh²x = 1。

这是双曲函数最核心的恒等式，等价于双曲线的标准方程形式，也是大量公式推导的起点。

2.1.2 由此导出的比值关系

由基本恒等式可推出 1 - tanh²x = sech²x， coth²x - 1 = csch²x。

这些关系式说明，比值型函数与倒数型函数之间存在紧密联系，常用于积分与微分中的化简操作。

2.2 加法公式

双曲函数满足与三角函数形式相近的加法公式，这使它们在处理复合变量时非常方便。

2.2.1 sinh(x+y) 的展开

sinh(x+y) = sinh x cosh y + cosh x sinh y。

该公式与正弦的加法公式结构类似，但符号全为正。

2.2.2 cosh(x+y) 的展开

cosh(x+y) = cosh x cosh y + sinh x sinh y。

与普通余弦公式相比，这里没有减号，而是加号，这一点是双曲函数的重要特征之一。

2.2.3 tanh(x+y) 的展开

tanh(x+y) = (tanh x + tanh y) / (1 + tanh x tanh y)。

该式表明双曲正切在组合参数时具有分式结构，常见于解析推导和连续模型中。

2.3 倍角与半角公式

倍角与半角公式可以由加法公式直接导出，在简化表达和求解方程时十分常用。

2.3.1 倍角恒等式

由加法公式取 y = x，可得 sinh 2x = 2 sinh x cosh x， cosh 2x = cosh²x + sinh²x， tanh 2x = 2tanh x / (1 + tanh²x)。

这些公式在处理高阶表达式时尤其方便。

2.3.2 半角变形

由倍角公式可进一步整理出半角关系，例如 cosh²x = (cosh 2x + 1) / 2， sinh²x = (cosh 2x - 1) / 2。

它们常用于积分化简、方程变形以及参数反求。

3 微积分性质

双曲三角函数在微分和积分方面具有极高的可操作性。它们的导数形式保持函数族内部的封闭性，因此在微分方程中极其常见。

3.1 导数公式

双曲函数的导数规则简洁明确，并与其指数定义完全一致。

3.1.1 各基本函数的求导

有 (d/dx)sinh x = cosh x， (d/dx)cosh x = sinh x， (d/dx)tanh x = sech²x， (d/dx)coth x = -csch²x， (d/dx)sech x = -sech x tanh x， (d/dx)csch x = -csch x coth x。

可以看出，它们的导数仍可表示为双曲函数的组合。

3.1.2 高阶导数与递推关系

由于 sinh 与 cosh 互为导数，高阶求导会在二者之间循环；而 tanh 及其倒数函数的高阶导数则可通过递推方式表示为更复杂的有理组合。此类递推结构常用于级数展开和微分方程的形式解。

3.2 积分公式

双曲函数的积分通常较为直接，许多结果可以通过导数公式倒推得到。

3.2.1 基本不定积分

常见积分包括 ∫sinh x dx = cosh x + C， ∫cosh x dx = sinh x + C， ∫sech²x dx = tanh x + C， ∫csch²x dx = -coth x + C。

此外，∫sech x dx、∫csch x dx 等也可写成对数形式或通过代换求出。

3.2.2 含双曲函数的有理式积分

当积分中出现 tanh、sech 等函数的有理式组合时，常可利用恒等式或令 u = tanh x、u = sinh x 等方法化简。由于双曲函数之间的代数关系清晰，这类积分往往比表面上看起来更容易处理。

3.3 级数展开

双曲函数可在原点附近展开为幂级数，这对近似计算和理论分析都很重要。

3.3.1 麦克劳林展开

sinh x = x + x³/3! + x⁵/5! + …

cosh x = 1 + x²/2! + x⁴/4! + …

tanh x 的展开则更为复杂，但同样可以写成幂级数。 这些展开式说明，双曲函数在零点附近具有良好的解析性。

3.3.2 泰勒展开的一般形式

在任意展开点 a 附近，双曲函数都可写成泰勒级数，只要函数在该点附近解析。由于其由指数函数构成，展开通常收敛良好，并可用于局部近似、误差估计和数值分析。

4 图像与性质

双曲函数的图像具有鲜明的单调性、对称性和渐近行为。通过观察图像，可以迅速把握函数的大致形态与增长特点。

4.1 单调性与奇偶性

奇偶性和单调性是判断双曲函数性质的基础，也是绘图时最先关注的特征。

4.1.1 奇函数与偶函数的判定

sinh x 是奇函数，因为 sinh(-x) = -sinh x。 cosh x 是偶函数，因为 cosh(-x) = cosh x。 tanh x 为奇函数，sech x 为偶函数，coth x 也是奇函数。 这些性质直接来自指数定义中的对称结构。

4.1.2 单调区间分析

在实数轴上，sinh x 严格递增；cosh x 在 x ≥ 0 上递增，在 x ≤ 0 上递减，并在 x = 0 处取得最小值 1；tanh x 也严格递增，但增长逐渐趋缓。 这些单调性常由导数的符号判断得到。

4.2 渐近线与极限行为

双曲函数在无穷远处的表现与指数函数高度一致，因此常呈现出明显的增长或饱和特征。

4.2.1 无穷远处的增长特征

当 x → +∞ 时，sinh x 和 cosh x 都近似于 e^x / 2； 当 x → -∞ 时，sinh x 近似于 -e^-x / 2，cosh x 近似于 e^-x / 2。 而 tanh x 在正无穷处趋于 1，在负无穷处趋于 -1。

4.2.2 与指数函数的比较

与纯指数函数相比，双曲函数通过正负指数项的组合，实现了更平滑的对称结构。cosh x 可视为两个指数项的平均，sinh x 则体现了正负方向的差异，因此它们在建模中兼具增长性和对称性。

4.3 图像特征

双曲函数的图像通常平滑、无波动，并在不同函数之间呈现清晰的结构差异。

4.3.1 基本函数图像

sinh x 的图像过原点，左右分别向正负方向指数式延伸； cosh x 的图像类似开口向上的平滑“U”形曲线，最低点在原点； tanh x 则在两条水平线 y = 1 与 y = -1 之间渐近变化。 这些图像构成双曲函数最具代表性的视觉印象。

4.3.2 参数变化对图像的影响

当自变量发生平移、伸缩或反射时，双曲函数图像也会相应变化。例如，f(x-a) 表示水平平移，af(x) 表示纵向伸缩，而 f(-x) 则体现奇偶性的差异。此类变换规则与一般初等函数一致。

5 反双曲函数

反双曲函数用于描述双曲函数的逆映射。由于原函数的值域可能受限，反函数通常需要附加定义域条件以保证唯一性。

5.1 反双曲正弦

反双曲正弦记作 arsinh x 或 asinh x，是 sinh 的反函数。

5.1.1 定义与主值

arsinh x 定义为满足 sinh y = x 的实数 y。 由于 sinh x 在全体实数上严格递增，因此它在实数范围内具有唯一反函数，定义良好。

5.1.2 对数表达式

反双曲正弦可写为 arsinh x = ln(x + √(x² + 1))。

这一对数形式在计算和理论推导中都很方便，也便于延拓到复数情形。

5.2 反双曲余弦

反双曲余弦记作 arcosh x 或 acosh x，是 cosh 的反函数，但由于 cosh 并非在整个实轴上一一对应，必须限制定义域。

5.2.1 定义域限制

在实数范围内，cosh x 的值域为 [1, +∞)，因此反双曲余弦通常只对 x ≥ 1 定义主值。 若取主值分支，则对应非负实数上的唯一反解。

5.2.2 对数表达式

其主值可写为 arcosh x = ln(x + √(x² - 1))， 其中 x ≥ 1。

该表达式常用于解含 cosh 的方程，以及处理几何和物理中的参数反演问题。

5.3 反双曲正切及相关函数

反双曲正切是另一类非常常用的反函数，在概率、统计和连续模型中都有出现。

5.3.1 artanh 的定义

artanh x 定义为满足 tanh y = x 的 y。 由于 tanh x 的值域为 (-1, 1)，因此 artanh x 的实数定义域也限制在这一开区间内。

5.3.2 其他反函数的表达

类似地，反双曲余切、反双曲正割、反双曲余割也可定义为相应函数的反映射，但通常需要明确主值范围和定义域。它们多可写成对数或反三角函数的组合形式，便于实际计算。

6 与其他数学对象的联系

双曲三角函数并非孤立存在，而是与指数函数、普通三角函数、解析延拓以及几何结构紧密相连。

6.1 与指数函数的关系

指数函数是双曲函数最根本的构造来源。许多双曲函数公式可以视为指数运算的重组结果。

6.1.1 欧拉式风格表示

sinh x 与 cosh x 的定义本身就是由 e^x 和 e^-x 线性组合而成，这种形式与欧拉公式在结构上十分相似。由于正负指数同时参与，双曲函数常表现出对称的代数风格。

6.1.2 线性组合表示

从线性代数视角看，sinh 和 cosh 可以理解为指数基函数 e^x、e^-x 的线性组合。 这使得许多关于微分方程的解可以写成指数型通解，再改写为双曲函数形式，表达更加简洁。

6.2 与普通三角函数的类比

双曲函数与普通三角函数常被并列讨论，因为它们在公式结构上高度相似，但几何背景不同。

6.2.1 形式结构对照

正弦、余弦、正切与双曲正弦、双曲余弦、双曲正切之间，在加法公式、导数规律和倍角公式上有明显对应关系。 最主要差别在于，普通三角函数对应圆，而双曲函数对应双曲线；前者常出现“减号结构”，后者则多为“加号结构”。

6.2.2 解析延拓关系

通过令自变量取纯虚数，可以在一定意义上把三角函数与双曲函数联系起来。例如，cos(ix) 与 cosh x、sin(ix) 与 i sinh x 之间存在转换关系。 因此，双曲函数可视作三角函数在复平面中的自然伙伴。

6.3 与双曲线几何的关系

双曲函数之所以得名，正是因为它们与双曲线的参数化和几何量具有直接关联。

6.3.1 参数化表示

双曲线 x² - y² = 1 可由参数方程 x = cosh t，y = sinh t 表示。

这种表示方式使双曲函数在几何上具有明确含义，也便于研究弧长、切线和法线等性质。

6.3.2 线性代数与二次型中的出现

在某些二次型和线性变换的分析中，双曲函数会自然出现，尤其是在描述保持 x² - y² 不变的变换时。它们可用于构造类似“旋转”的双曲变换，并在相关矩阵表达中起到参数化作用。

7 应用

双曲三角函数在应用数学、物理建模和工程计算中有广泛用途，尤其适合处理指数型变化、边界条件和对称结构。

7.1 常微分方程

许多常微分方程的通解可以写成双曲函数形式，尤其是在特征方程出现实根时。

7.1.1 齐次方程的通解形式

对于二阶线性齐次微分方程，如果特征根为 ±a，则解可表示为 y = C1 e^{ax} + C2 e^{-ax}， 也可改写为 y = A cosh(ax) + B sinh(ax)。

这种形式在表达对称性和初值条件时更直观。

7.1.2 边值问题中的应用

在给定两端条件的边值问题中，双曲函数常比指数形式更便于处理。例如，某些梁挠曲、稳态温度分布或势函数问题的解，最终都会落到 cosh 和 sinh 的组合上。

7.2 物理建模

双曲函数能够自然描述平衡态、平滑过渡和受约束的指数变化，因此在物理中用途广泛。

7.2.1 悬链线与绳索问题

悬挂柔索在均匀重力作用下形成的曲线称为悬链线，其标准表达式常含 cosh 函数。 这一结果说明，绳索在自重作用下并非抛物线，而是双曲余弦曲线，这也是双曲函数最经典的应用之一。

7.2.2 波动与热传导中的出现

在某些稳态热传导、振动模态和分离变量法处理中，双曲函数作为空间变量或时间变量解的组成部分经常出现。它们尤其适合处理具有指数衰减或增长边界的模型。

7.3 工程与数值分析

在工程计算和数值实现中，双曲函数既是分析工具，也是可直接调用的计算对象。

7.3.1 近似计算

对于小自变量，可使用幂级数进行近似；对于大自变量，可用指数主导项估算。

例如，sinh x、cosh x 在	x	很大时可近似为指数函数的简单倍数，这能减少计算复杂度。

7.3.2 数值稳定性与实现方式

在实际程序中，直接按定义计算可能遭遇溢出或精度损失，尤其当 x 较大时 e^x 与 e^-x 的量级差异明显。 因此，数值实现往往采用分段计算、对数变换或利用专门库函数，以提高稳定性和精度。