双曲函数与悬链线

问题提出

呼噜星球的工程师们遇到了一个问题:他们要在两座山之间拉一条电缆,电缆在自身重力下会自然下垂。

一个学生说:

这还不简单?下垂的形状肯定是抛物线!

但工程师们通过精确测量发现,电缆的形状不是抛物线,而是另一种曲线。

这种曲线叫做悬链线(catenary),它的方程是:

y=acosh(xa)=a2(ex/a+ex/a)y = a \cosh\left(\frac{x}{a}\right) = \frac{a}{2}\left(e^{x/a} + e^{-x/a}\right)

学生们惊讶地发现:这里又出现了 ee

老师,为什么悬挂的链条会形成这样一条包含 ee 的曲线?双曲函数又是什么?

观察与猜想

我们先定义两个函数:

sinhx=exex2,coshx=ex+ex2\sinh x = \frac{e^x - e^{-x}}{2}, \quad \cosh x = \frac{e^x + e^{-x}}{2}

分别叫做双曲正弦双曲余弦

学生们注意到它们和三角函数很像:

  • sinx=eixeix2i\sin x = \frac{e^{ix} - e^{-ix}}{2i}cosx=eix+eix2\cos x = \frac{e^{ix} + e^{-ix}}{2}
  • sinhx=exex2\sinh x = \frac{e^x - e^{-x}}{2}coshx=ex+ex2\cosh x = \frac{e^x + e^{-x}}{2}

只是把 ixix 换成了 xx

他们猜想:双曲函数应该有和三角函数类似的恒等式。

验证一下:

cosh2xsinh2x=(ex+ex2)2(exex2)2\cosh^2 x - \sinh^2 x = \left(\frac{e^x+e^{-x}}{2}\right)^2 - \left(\frac{e^x-e^{-x}}{2}\right)^2

=e2x+2+e2x4e2x2+e2x4=44=1= \frac{e^{2x} + 2 + e^{-2x}}{4} - \frac{e^{2x} - 2 + e^{-2x}}{4} = \frac{4}{4} = 1

所以有恒等式:

cosh2xsinh2x=1\cosh^2 x - \sinh^2 x = 1

这对应于三角函数中的 cos2x+sin2x=1\cos^2 x + \sin^2 x = 1,只是加号变成了减号。

严格证明

双曲函数的定义与性质

定义

sinhx=exex2,coshx=ex+ex2\sinh x = \frac{e^x - e^{-x}}{2}, \quad \cosh x = \frac{e^x + e^{-x}}{2}

tanhx=sinhxcoshx=exexex+ex\tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}}

基本恒等式

  • cosh2xsinh2x=1\cosh^2 x - \sinh^2 x = 1
  • sinh(x+y)=sinhxcoshy+coshxsinhy\sinh(x+y) = \sinh x \cosh y + \cosh x \sinh y
  • cosh(x+y)=coshxcoshy+sinhxsinhy\cosh(x+y) = \cosh x \cosh y + \sinh x \sinh y
  • sinh2x=2sinhxcoshx\sinh 2x = 2\sinh x \cosh x
  • cosh2x=cosh2x+sinh2x\cosh 2x = \cosh^2 x + \sinh^2 x

导数

(sinhx)=coshx,(coshx)=sinhx(\sinh x)' = \cosh x, \quad (\cosh x)' = \sinh x

注意:双曲余弦的导数是双曲正弦(没有负号!),这和三角函数不同。

级数展开

sinhx=x+x33!+x55!+=k=0x2k+1(2k+1)!\sinh x = x + \frac{x^3}{3!} + \frac{x^5}{5!} + \cdots = \sum_{k=0}^{\infty} \frac{x^{2k+1}}{(2k+1)!}

coshx=1+x22!+x44!+=k=0x2k(2k)!\cosh x = 1 + \frac{x^2}{2!} + \frac{x^4}{4!} + \cdots = \sum_{k=0}^{\infty} \frac{x^{2k}}{(2k)!}

和三角函数的级数对比,只是没有了交替的正负号。

悬链线方程的推导

考虑一根均匀、柔软、不可伸长的链条,两端固定,在重力作用下下垂。

设链条的线密度为 ρ\rho,重力加速度为 gg。取链条最低点为原点,建立坐标系。

在链条上任取一点 (x,y)(x, y),分析从最低点到该点这段链条的受力:

  • 最低点的水平张力 HH(常数)
  • 该点的张力 TT,沿切线方向
  • 这段链条的重力 ρgs\rho g sss 是弧长),竖直向下

由力的平衡,张力的水平分量等于 HH,竖直分量等于 ρgs\rho g s。因此切线斜率:

dydx=ρgsH=sa,其中 a=Hρg\frac{dy}{dx} = \frac{\rho g s}{H} = \frac{s}{a}, \quad \text{其中 } a = \frac{H}{\rho g}

又因为弧长微分 ds=1+(y)2dxds = \sqrt{1 + (y')^2} dx,对 y=say' = \frac{s}{a} 两边求导:

y=1adsdx=1a1+(y)2y'' = \frac{1}{a} \frac{ds}{dx} = \frac{1}{a}\sqrt{1 + (y')^2}

这是悬链线的微分方程。

求解:令 p=yp = y',则 p=1a1+p2p' = \frac{1}{a}\sqrt{1+p^2}

分离变量:

dp1+p2=dxa\frac{dp}{\sqrt{1+p^2}} = \frac{dx}{a}

积分得:

ln(p+1+p2)=xa+C\ln(p + \sqrt{1+p^2}) = \frac{x}{a} + C

由初始条件 x=0x=0p=0p=0,得 C=0C=0。所以:

p+1+p2=ex/ap + \sqrt{1+p^2} = e^{x/a}

取倒数(注意 p+1+p2=ex/a-p + \sqrt{1+p^2} = e^{-x/a}),两式相减:

2p=ex/aex/a    p=sinh(xa)2p = e^{x/a} - e^{-x/a} \implies p = \sinh\left(\frac{x}{a}\right)

再积分:

y=sinh(xa)dx=acosh(xa)+Cy = \int \sinh\left(\frac{x}{a}\right) dx = a \cosh\left(\frac{x}{a}\right) + C'

x=0x=0y=ay=a(取最低点纵坐标为 aa),得 C=0C'=0

所以悬链线方程为:

y=acosh(xa)=a2(ex/a+ex/a)y = a \cosh\left(\frac{x}{a}\right) = \frac{a}{2}\left(e^{x/a} + e^{-x/a}\right)

为什么不是抛物线?

学生们可能会问:伽利略曾经猜测悬链线是抛物线,为什么不对?

关键区别在于:

  • 抛物线:各点的水平间距相等时,竖直增量恒定(yx2y \propto x^2
  • 悬链线:各点的弧长相等时,竖直增量递增(因为越往两边,链条越陡,需要承受的重力越大)

悬链线的斜率 y=sinh(x/a)y' = \sinh(x/a)xx 增长得比抛物线的斜率 y=2kxy' = 2kx 更快(指数增长 vs 线性增长)。

当跨度很小、下垂很小时,悬链线可以近似为抛物线——这就是为什么很多人会混淆。

双曲函数的其他应用

  • 悬索桥:主缆的形状在均布荷载下是抛物线,但在自重下是悬链线
  • 建筑拱门:倒过来的悬链线(悬链拱)是最合理的拱门形状,因为压力沿拱轴传递
  • 相对论:快度(rapidity)的加法用双曲正切表示
  • 微分方程y=yy'' = y 的通解是 y=Acoshx+Bsinhxy = A\cosh x + B\sinh x
  • 复变函数sin(ix)=isinhx\sin(ix) = i\sinh xcos(ix)=coshx\cos(ix) = \cosh x

结论与应用

  • 双曲函数定义sinhx=exex2\sinh x = \frac{e^x-e^{-x}}{2}coshx=ex+ex2\cosh x = \frac{e^x+e^{-x}}{2}
  • 核心恒等式cosh2xsinh2x=1\cosh^2 x - \sinh^2 x = 1
  • 导数性质(sinhx)=coshx(\sinh x)' = \cosh x(coshx)=sinhx(\cosh x)' = \sinh x
  • 悬链线方程y=acosh(x/a)y = a\cosh(x/a),由受力平衡和微分方程严格推导
  • 与三角函数的关系sin(ix)=isinhx\sin(ix) = i\sinh xcos(ix)=coshx\cos(ix) = \cosh x

呼噜星球的学生们看着悬链线的方程,感慨道:

从一条悬挂的链条里,竟然又冒出了 eeee 真是无处不在啊。

我总结道:

我们的 ee 的数学冒险到此告一段落。从复利极限出发,我们穿越了数列、级数、微积分、复平面、概率、数论,最后来到工程中的悬链线。每一个领域,ee 都以不同的面貌出现,却又指向同一个常数。

e2.71828e \approx 2.71828,这个看似普通的数字,是数学中最深刻、最通用的常数之一。它的故事,还在继续。