跳转到内容

FP3 第一章:双曲函数

本讲义介绍双曲函数,这类函数自然地出现在某些有理函数积分中。双曲函数与三角函数有许多相似的性质,但表现出指数增长的特性。我们将探讨它们的定义、性质和应用。

考虑以下在微积分中频繁出现的积分:

∫dxx2±a2\int \frac{dx}{\sqrt{x^2 \pm a^2}}

这些积分在物理和工程中有重要应用,特别是在:

  • 悬链线(悬挂链条)的长度
  • 钟摆的运动
  • 狭义相对论中的问题

它们的解自然地引出了双曲函数。

  1. cosh⁡x≥1\cosh x \geq 1 对所有实数 xx 成立
  2. sinh⁡x\sinh x 是奇函数:sinh⁡(−x)=−sinh⁡(x)\sinh(-x) = -\sinh(x)
  3. cosh⁡x\cosh x 是偶函数:cosh⁡(−x)=cosh⁡(x)\cosh(-x) = \cosh(x)
  • sinh⁡x\sinh x 类似于 sin⁡x\sin x,但当 ∣x∣→∞|x| \to \infty 时呈指数增长
  • cosh⁡x\cosh x 类似于 cos⁡x\cos x,但最小值为 1 且呈指数增长
  • tanh⁡x\tanh x 有水平渐近线 y=±1y = \pm 1

双曲函数图像

例题 1:解方程 sinh⁡x=3\sinh x = 3

Section titled “例题 1:解方程 sinh⁡x=3\sinh x = 3sinhx=3”

第一步. 利用定义:

ex−e−x2=3\frac{e^x - e^{-x}}{2} = 3

第二步. 令 y=exy = e^x,则 e−x=1ye^{-x} = \dfrac{1}{y}:

y−1y=6y - \frac{1}{y} = 6

第三步. 整理为标准形式:

y2−6y−1=0y^2 - 6y - 1 = 0

第四步. 解二次方程:

y=6±36+42=3±10y = \frac{6 \pm \sqrt{36 + 4}}{2} = 3 \pm \sqrt{10}

第五步. 由于 y=exy = e^x,且需要 y>0y > 0:

x=ln⁡(3+10)x = \ln(3 + \sqrt{10})

求反函数定义域的步骤:

  1. 检查原函数是否为一一映射(单射)
  2. 如果不是,限制定义域使其成为一一映射
  3. 原函数的值域成为反函数的定义域
  4. 原函数的定义域成为反函数的值域

例如,cosh⁡x\cosh x 不是一一映射(因为它是偶函数),所以我们将其定义域限制为 [0,∞)[0,\infty) 来定义 cosh⁡−1\cosh^{-1}。

对于六个双曲函数中的每一个,确定:

  1. 该函数在 R\mathbb{R} 上是否为一一映射
  2. 如果不是,需要什么样的定义域限制
  3. 其反函数的定义域
函数一一映射?需要的限制反函数定义域
sinh⁡x\sinh x是无−∞<x<∞-\infty < x < \infty
cosh⁡x\cosh x否(偶函数)x≥0x \geq 0x≥1x \geq 1
tanh⁡x\tanh x是无−1<x<1-1 < x < 1
sech⁡x\operatorname{sech} x否(偶函数)x≥0x \geq 00<x≤10 < x \leq 1
csch⁡x\operatorname{csch} x否(渐近线)x<0x < 0 或 x>0x > 0x≠0x \neq 0
coth⁡x\coth x否(渐近线)x<0x < 0 或 x>0x > 0x<−1x < -1 或 x>1x > 1

说明:

  • sinh⁡x\sinh x:严格递增,反函数对所有 x∈Rx \in \mathbb{R} 存在
  • cosh⁡x\cosh x:偶函数,限制为 x≥0x \geq 0,最小值为 1
  • tanh⁡x\tanh x:严格递增,水平渐近线为 y=±1y = \pm 1
  • sech⁡x\operatorname{sech} x:偶函数,限制为 x≥0x \geq 0,0<y≤10 < y \leq 1
  • csch⁡x\operatorname{csch} x:在 x=0x = 0 处有垂直渐近线,需分别考虑 x<0x < 0 和 x>0x > 0
  • coth⁡x\coth x:在 x=0x = 0 处有垂直渐近线,水平渐近线为 y=±1y = \pm 1

反双曲函数图像

单位圆上的弧长

对于任意实数 xx:

cosh⁡x=cos⁡(ix)\cosh x = \cos(ix)

sinh⁡x=−isin⁡(ix)\sinh x = -i\sin(ix)

1. 加法公式:

sinh⁡(x+y)=sinh⁡xcosh⁡y+cosh⁡xsinh⁡y\sinh(x+y) = \sinh x \cosh y + \cosh x \sinh y

cosh⁡(x+y)=cosh⁡xcosh⁡y+sinh⁡xsinh⁡y\cosh(x+y) = \cosh x \cosh y + \sinh x \sinh y

2. 倍角公式:

sinh⁡(2x)=2sinh⁡xcosh⁡x\sinh(2x) = 2\sinh x \cosh x

cosh⁡(2x)=cosh⁡2x+sinh⁡2x=2cosh⁡2x−1\cosh(2x) = \cosh^2 x + \sinh^2 x = 2\cosh^2 x - 1

3. 类勾股恒等式:

1−tanh⁡2x=sech⁡2x(基本恒等式除以 cosh⁡2x)1 - \tanh^2 x = \operatorname{sech}^2 x \quad \text{(基本恒等式除以 } \cosh^2 x\text{)}

coth⁡2x−1=csch⁡2x(基本恒等式除以 sinh⁡2x)\coth^2 x - 1 = \operatorname{csch}^2 x \quad \text{(基本恒等式除以 } \sinh^2 x\text{)}

解方程:

7sech⁡x−tanh⁡x=57\operatorname{sech} x - \tanh x = 5

答案写成 ln⁡a\ln a 的形式,其中 aa 为有理数。

解答:

方法 1:利用定义

7cosh⁡x−sinh⁡xcosh⁡x=5\frac{7}{\cosh x} - \frac{\sinh x}{\cosh x} = 5

7−sinh⁡xcosh⁡x=5\frac{7 - \sinh x}{\cosh x} = 5

7−sinh⁡x=5cosh⁡x7 - \sinh x = 5\cosh x

7−ex−e−x2=5ex+e−x27 - \frac{e^x - e^{-x}}{2} = 5\frac{e^x + e^{-x}}{2}

14−(ex−e−x)=5(ex+e−x)14 - (e^x - e^{-x}) = 5(e^x + e^{-x})

14−ex+e−x=5ex+5e−x14 - e^x + e^{-x} = 5e^x + 5e^{-x}

14−6ex−4e−x=014 - 6e^x - 4e^{-x} = 0

3e2x−7ex+2=03e^{2x} - 7e^x + 2 = 0

令 y=exy = e^x,则:

3y2−7y+2=0⇒(3y−1)(y−2)=03y^2 - 7y + 2 = 0 \Rightarrow (3y-1)(y-2) = 0

因此 y=13y = \dfrac{1}{3} 或 y=2y = 2。

因此 x=ln⁡ ⁣(13)x = \ln\!\left(\dfrac{1}{3}\right) 或 x=ln⁡2x = \ln 2。

方法 2:利用 sech⁡2x+tanh⁡2x=1\operatorname{sech}^2 x + \tanh^2 x = 1

(7sech⁡x−5)2=tanh⁡2x(7\operatorname{sech} x - 5)^2 = \tanh^2 x

49sech⁡2x−70sech⁡x+25=1−sech⁡2x49\operatorname{sech}^2 x - 70\operatorname{sech} x + 25 = 1 - \operatorname{sech}^2 x

50sech⁡2x−70sech⁡x+24=050\operatorname{sech}^2 x - 70\operatorname{sech} x + 24 = 0

2(5sech⁡x−3)(5sech⁡x−4)=02(5\operatorname{sech} x - 3)(5\operatorname{sech} x - 4) = 0

sech⁡x=35 或 45\operatorname{sech} x = \frac{3}{5} \text{ 或 } \frac{4}{5}

得到相同答案。

(a) 从 sinh⁡x\sinh x 和 cosh⁡x\cosh x 的指数定义出发,证明:

cosh⁡2x=1+2sinh⁡2x\cosh 2x = 1 + 2\sinh^2 x

解答:

右边=1+2sinh⁡2x=1+2(ex−e−x2)2\text{右边} = 1 + 2\sinh^2 x = 1 + 2\left(\frac{e^x - e^{-x}}{2}\right)^2

=1+2(e2x−2+e−2x4)= 1 + 2\left(\frac{e^{2x} - 2 + e^{-2x}}{4}\right)

=1+e2x−2+e−2x2= 1 + \frac{e^{2x} - 2 + e^{-2x}}{2}

=2+e2x−2+e−2x2= \frac{2 + e^{2x} - 2 + e^{-2x}}{2}

=e2x+e−2x2= \frac{e^{2x} + e^{-2x}}{2}

=cosh⁡2x=左边= \cosh 2x = \text{左边}

(b) 解方程:

cosh⁡2x−3sinh⁡x=15\cosh 2x - 3\sinh x = 15

答案用精确对数表示。

解答:

  1. 利用 (a) 部分:

1+2sinh⁡2x−3sinh⁡x=151 + 2\sinh^2 x - 3\sinh x = 15

  1. 整理:

2sinh⁡2x−3sinh⁡x−14=02\sinh^2 x - 3\sinh x - 14 = 0

  1. 因式分解:

(sinh⁡x+2)(2sinh⁡x−7)=0(\sinh x + 2)(2\sinh x - 7) = 0

  1. 因此:

sinh⁡x=−2 或 sinh⁡x=72\sinh x = -2 \text{ 或 } \sinh x = \frac{7}{2}

  1. 对于 sinh⁡x=−2\sinh x = -2:

x=ln⁡(−2+(−2)2+1)=ln⁡(−2+5)x = \ln(-2 + \sqrt{(-2)^2 + 1}) = \ln(-2 + \sqrt{5})

  1. 对于 sinh⁡x=72\sinh x = \dfrac{7}{2}:

x=ln⁡ ⁣(72+(72)2+1)=ln⁡ ⁣(7+532)x = \ln\!\left(\frac{7}{2} + \sqrt{\left(\frac{7}{2}\right)^2 + 1}\right) = \ln\!\left(\frac{7 + \sqrt{53}}{2}\right)

解方程:

5tanh⁡x+7=5sech⁡x5\tanh x + 7 = 5\operatorname{sech} x

每个答案写成 ln⁡k\ln k 的形式,其中 kk 为有理数。

解答:

方法 1:利用指数定义

5ex−e−xex+e−x+7=10ex+e−x5\frac{e^x - e^{-x}}{e^x + e^{-x}} + 7 = \frac{10}{e^x + e^{-x}}

5(ex−e−x)+7(ex+e−x)=105(e^x - e^{-x}) + 7(e^x + e^{-x}) = 10

5ex−5e−x+7ex+7e−x=105e^x - 5e^{-x} + 7e^x + 7e^{-x} = 10

12ex+2e−x=1012e^x + 2e^{-x} = 10

6e2x−5ex+1=06e^{2x} - 5e^x + 1 = 0

令 y=exy = e^x,则:

6y2−5y+1=0⇒(3y−1)(2y−1)=06y^2 - 5y + 1 = 0 \Rightarrow (3y-1)(2y-1) = 0

因此 y=13y = \dfrac{1}{3} 或 y=12y = \dfrac{1}{2}。

因此 x=ln⁡ ⁣(13)x = \ln\!\left(\dfrac{1}{3}\right) 或 x=ln⁡ ⁣(12)x = \ln\!\left(\dfrac{1}{2}\right)。

方法 2:利用 tanh⁡2x+sech⁡2x=1\tanh^2 x + \operatorname{sech}^2 x = 1

5tanh⁡x+7=5sech⁡x5\tanh x + 7 = 5\operatorname{sech} x

5tanh⁡x−5sech⁡x=−75\tanh x - 5\operatorname{sech} x = -7

25tanh⁡2x+70tanh⁡x+49=25sech⁡2x25\tanh^2 x + 70\tanh x + 49 = 25\operatorname{sech}^2 x

25tanh⁡2x+70tanh⁡x+49=25(1−tanh⁡2x)25\tanh^2 x + 70\tanh x + 49 = 25(1-\tanh^2 x)

50tanh⁡2x+70tanh⁡x+24=050\tanh^2 x + 70\tanh x + 24 = 0

2(5tanh⁡x+3)(5tanh⁡x+4)=02(5\tanh x + 3)(5\tanh x + 4) = 0

tanh⁡x=−35 或 −45\tanh x = -\frac{3}{5} \text{ 或 } -\frac{4}{5}

利用 tanh⁡x=ex−e−xex+e−x=−45\tanh x = \dfrac{e^x - e^{-x}}{e^x + e^{-x}} = -\dfrac{4}{5}:

ex−e−xex+e−x=−45⇒ex=12⇒x=ln⁡ ⁣(12)\frac{e^x - e^{-x}}{e^x + e^{-x}} = -\frac{4}{5} \Rightarrow e^x = \frac{1}{2} \Rightarrow x = \ln\!\left(\frac{1}{2}\right)

类似地,对于 tanh⁡x=−35\tanh x = -\dfrac{3}{5}:

ex−e−xex+e−x=−35⇒ex=13⇒x=ln⁡ ⁣(13)\frac{e^x - e^{-x}}{e^x + e^{-x}} = -\frac{3}{5} \Rightarrow e^x = \frac{1}{3} \Rightarrow x = \ln\!\left(\frac{1}{3}\right)

方法 3:利用 sinh⁡x\sinh x 和 cosh⁡x\cosh x

5sinh⁡x+7cosh⁡x=55\sinh x + 7\cosh x = 5

5sinh⁡x+7cosh⁡x−5=05\sinh x + 7\cosh x - 5 = 0

24sinh⁡2x+50sinh⁡x+24=024\sinh^2 x + 50\sinh x + 24 = 0

sinh⁡x=−43 或 −34\sinh x = -\frac{4}{3} \text{ 或 } -\frac{3}{4}

利用 sinh⁡x=ex−e−x2\sinh x = \dfrac{e^x - e^{-x}}{2}:

ex−e−x2=−43⇒ex=13 或 12\frac{e^x - e^{-x}}{2} = -\frac{4}{3} \Rightarrow e^x = \frac{1}{3} \text{ 或 } \frac{1}{2}

得到相同答案。

挑战题(选做):推导悬链线方程

Section titled “挑战题(选做):推导悬链线方程”

考虑一根在自身重力作用下悬挂的柔性链条。我们将推导其形状——著名的悬链线 y=acosh⁡ ⁣(xa)y = a\cosh\!\left(\dfrac{x}{a}\right)。

建立坐标系:

  • xx 轴水平,yy 轴竖直向上
  • ρ\rho = 链条单位长度的质量
  • ss = 从底部到点 P(x,y)P(x,y) 的弧长
  • TT = 点 PP 处的张力
  • ThT_h = 张力的水平分量(沿链条保持恒定)

悬链线设定图

对于链条的一小段:

  • 小段质量 = ρs\rho s(与弧长成正比)
  • 张力 TT 沿曲线切线方向
  • ThT_h 保持恒定(关键洞察!)
  • θ\theta 是 TT 与水平方向的夹角

力分析图

由力平衡:

Tsin⁡θ=ρsg(竖直力平衡)T\sin\theta = \rho s g \quad \text{(竖直力平衡)}

Tcos⁡θ=Th(水平力平衡)T\cos\theta = T_h \quad \text{(水平力平衡)}

微分三角形

对于一小段:

sin⁡θ=dyds\sin\theta = \frac{dy}{ds}

cos⁡θ=dxds\cos\theta = \frac{dx}{ds}

将力方程相除:

tan⁡θ=ρsgTh=dydx\tan\theta = \frac{\rho s g}{T_h} = \frac{dy}{dx}

令 a=Thρga = \dfrac{T_h}{\rho g},则:

dydx=sa\frac{dy}{dx} = \frac{s}{a}

由微分三角形:

ds2=dx2+dy2因此dsdx=1+(dydx)2ds^2 = dx^2 + dy^2 \quad \text{因此} \quad \frac{ds}{dx} = \sqrt{1 + \left(\frac{dy}{dx}\right)^2}

对 dydx=sa\dfrac{dy}{dx} = \dfrac{s}{a} 关于 xx 求导:

d2ydx2=1adsdx=1a1+(dydx)2\frac{d^2y}{dx^2} = \frac{1}{a}\frac{ds}{dx} = \frac{1}{a}\sqrt{1 + \left(\frac{dy}{dx}\right)^2}

我们已推导出微分方程:

d2ydx2=1a1+(dydx)2\frac{d^2y}{dx^2} = \frac{1}{a}\sqrt{1 + \left(\frac{dy}{dx}\right)^2}

问题: 尝试用以下提示解这个方程:

  1. 用 pp 替换 dydx\dfrac{dy}{dx}。
  2. arsinh⁡(p)\operatorname{arsinh}(p) 的导数是 11+p2\dfrac{1}{\sqrt{1 + p^2}}。(我们将在第三章学习这个。你也可以利用 arsinh⁡(p)\operatorname{arsinh}(p) 的定义自行证明。)
  3. sinh⁡(x)\sinh(x) 的导数是 cosh⁡(x)\cosh(x)。(我们也将在第三章学习这个。你也可以利用 sinh⁡(x)\sinh(x) 和 cosh⁡(x)\cosh(x) 的指数定义自行证明。)

解答:

  1. 利用关于 arsinh⁡(p)\operatorname{arsinh}(p) 的提示,可以直接积分:

arsinh⁡(p)=xa+C1\operatorname{arsinh}(p) = \frac{x}{a} + C_1

  1. 因此:

p=sinh⁡ ⁣(xa+C1)p = \sinh\!\left(\frac{x}{a} + C_1\right)

  1. 由于 p=dydxp = \dfrac{dy}{dx},可以将 C1C_1 吸收到坐标原点的选择中:

dydx=sinh⁡ ⁣(xa)\frac{dy}{dx} = \sinh\!\left(\frac{x}{a}\right)

  1. 再次积分:

y=acosh⁡ ⁣(xa)+C2y = a\cosh\!\left(\frac{x}{a}\right) + C_2

这是悬链线的一般方程,其中:

  • aa 决定曲线的”尺度”
  • C2C_2 将曲线沿竖直方向平移
  1. 证明任意点处的张力为:

T=Thcosh⁡ ⁣(xa)T = T_h\cosh\!\left(\frac{x}{a}\right)

  1. 研究: 为什么悬索桥呈抛物线形状而不是悬链线?(提示:考虑荷载如何分布)