等时降线

等时降线（英语：tautochrone curve或isochrone curve）是一种曲线，将一质点放置在此曲线上任一点使其自由下滑（不计阻力）至最低点所需的时间皆相等。此曲线的解是摆线，而下滑所需的时间与摆线绕转圆的半径平方根成正比，与重力场强度的平方根成反比。

等时降落问题

等时降落问题（英语：The tautochrone problem）即为寻找等时降线的问题。等时降落问题最早由惠更斯解出。在他1673年出版的著作里，利用了几何的方法证明了此线的解为一摆线，而此问题后来也被利用来解决最速降线问题。在1690年，伯努利用微积分推导出了最速降线问题的解亦为摆线。不久以后，拉格朗日与欧拉也运用了解析法解出了等时降落问题。

解析

将质点放在一曲线上，则质点下滑的时间与最低点和释放点之间的长度无关。简谐运动也具有类似的性质。如果一个质点只受到一个定点方向，与两点间距离成正比的力作用，则此物体自由释放后将会做简谐运动，且无论释放点的位置，此质点作简谐运动的周期皆相同。故我们可以假设在等时降线上运动的物体与作简谐运动的物体有相似的行为，即

${\frac {\mathrm {d} ^{2}s}{\mathrm {d} t^{2}}}=-k^{2}s$

其中 $s$ 为最低点与质点之间的弧长。假定释放时 $t=0$ ，我们可解得

$s=s_{0}\cos {kt}$

$s_{0}$ 为最低点与释放点间的弧长，而在最低点时 $s=0$ ，故下滑所需的时间有

$kT_{0}={\frac {\pi }{2}},\ T_{0}={\frac {\pi }{2k}}$

又一沿斜面自由下滑的物体，其加速度为

${\frac {\mathrm {d} ^{2}s}{\mathrm {d} t^{2}}}=-g\sin \theta$

其中 $\theta$ 为曲线上的切线与水平面之间的夹角，综合上述得

$k^{2}s=g\sin \theta$

所以 $s$ 对 $\theta$ 的变化率有

$k^{2}{\frac {\mathrm {d} s}{\mathrm {d} \theta }}=g\cos \theta$

$\mathrm {d} s={\frac {g}{k^{2}}}\cos \theta \,\mathrm {d} \theta$

所以，

$\mathrm {d} x=\cos \theta \,\mathrm {d} s={\frac {g}{k^{2}}}\cos ^{2}\theta \,\mathrm {d} \theta ={\frac {g}{2k^{2}}}\left(1+\cos {2\theta }\right)\mathrm {d} \theta$

$x=\int {\frac {g}{2k^{2}}}\left(1+\cos {2\theta }\right)\mathrm {d} \theta ={\frac {g}{4k^{2}}}\left(2\theta +\sin {2\theta }\right)+x_{0}$

以及，

$\mathrm {d} y=\sin \theta \,\mathrm {d} s={\frac {g}{k^{2}}}\sin \theta \cos \theta \,\mathrm {d} \theta ={\frac {g}{2k^{2}}}\sin {2\theta }\,\mathrm {d} \theta$

$y=\int {\frac {g}{2k^{2}}}\sin {2\theta }\,\mathrm {d} \theta =-{\frac {g}{4k^{2}}}\cos {2\theta }+y_{0}$

设定 $\phi =-2\theta$ 以及 $r={\cfrac {g}{4k^{2}}}$ ，并选定适当的坐标系原点，得

$x=r\left(\phi +\sin \phi \right)$

$y=r\left(1-\cos \phi \right)$

此方程式为一标准的摆线方程式，且绕转圆的半径为 ${\cfrac {g}{4k^{2}}}$ 。

反过来说，

$k={\sqrt {\frac {g}{4r}}}={\frac {1}{2}}{\sqrt {\frac {g}{r}}}$

所以下滑所需的时间为

$T_{0}={\frac {\pi }{2k}}=\pi {\sqrt {\frac {r}{g}}}$ 。

阿贝尔力学问题

在广义等时降线问题中，物体的运动时间不必固定，而是初始释放位置 $\,y_{0}$ 的函数 $T\left(y_{0}\right)$ 。阿贝尔力学问题思考，在 $T\left(y_{0}\right)$ 已知的情况下，如何找出曲线的方程式；等时降线问题是此运动时间为常数的特殊情况。

因物体在无摩擦的轨道上滑行，故力学能守恒。其力学能具有以下表达式：

$mgy_{0}={\frac {1}{2}}mv^{2}+mgy$

式中等号左侧为物体的初力学能， $mgy$ 为物体的重力位能， ${\cfrac {1}{2}}mv^{2}$ 为物体的动能(左式中缺少此项是因为物体起初静止)。

又因物体沿曲线下滑， $v={\frac {\mathrm {d} s}{\mathrm {d} t}}$ ( $s$ 为曲线的弧长)。整理以上所得，

${\frac {\mathrm {d} s}{\mathrm {d} t}}=\pm {\sqrt {2g\left(y_{0}-y\right)}}$

$\mathrm {d} t=\pm {\frac {\mathrm {d} s}{\sqrt {2g\left(y_{0}-y\right)}}}=\pm {\frac {1}{\sqrt {2g\left(y_{0}-y\right)}}}{\frac {\mathrm {d} s}{\mathrm {d} y}}\mathrm {d} y$ 。

这里的 $s$ 设定为物体距离滑行终点的路径长。考虑到此路径长必然随著时间的推进缩短，等号右侧应取负值。

$\mathrm {d} t=-{\frac {1}{\sqrt {2g\left(y_{0}-y\right)}}}{\frac {\mathrm {d} s}{\mathrm {d} y}}\mathrm {d} y$ 。

下滑时间是 $\mathrm {d} t$ 自 $y=y_{0}$ (起始高度)至 $y=0$ (末高度)的积分。

$T\left(y_{0}\right)=\int _{y=y_{0}}^{y=0}\mathrm {d} t={\frac {1}{\sqrt {2g}}}\int _{0}^{y_{0}}{\frac {1}{\sqrt {y_{0}-y}}}{\frac {\mathrm {d} s}{\mathrm {d} y}}\mathrm {d} y$ 。

此关系式称为阿贝尔积分式，并且在给定 ${\cfrac {\mathrm {d} s}{\mathrm {d} y}}$ 的情况下很容易求出积分值。但根据题目设定，必须从积分值求出 ${\cfrac {\mathrm {d} s}{\mathrm {d} y}}$ 。这里注意到等号右侧中的积分式实际上为 ${\cfrac {\mathrm {d} s}{\mathrm {d} y}}$ 与 ${\cfrac {1}{\sqrt {y}}}$ 的折积，可将等式两侧同做拉普拉斯变换成为

${\mathcal {L}}\left[T\left(y_{0}\right)\right]={\mathcal {L}}\left[{\frac {1}{\sqrt {y}}}\right]{\mathcal {L}}\left[{\frac {\mathrm {d} s}{\mathrm {d} y}}\right]$

因为 ${\mathcal {L}}\left[{\cfrac {1}{\sqrt {y}}}\right]={\sqrt {\pi }}z^{-{\frac {1}{2}}}$ ，我们得到了 ${\cfrac {\mathrm {d} s}{\mathrm {d} y}}$ 与 $T\left(y_{0}\right)$ 两者拉普拉斯变换后的关系式：

${\mathcal {L}}\left[{\frac {\mathrm {d} s}{\mathrm {d} y}}\right]={\sqrt {\frac {2g}{\pi }}}z^{\frac {1}{2}}{\mathcal {L}}\left[T\left(y_{0}\right)\right]$ 。

以上即是未指定 $T\left(y_{0}\right)$ 时可以得到最后的结果。对于等时降线问题， $T\left(y_{0}\right)=T_{0}=\operatorname {constant}$ ，因此其拉普拉斯变换为

${\mathcal {L}}\left[T_{0}\right]=T_{0}{\mathcal {L}}\left[1\right]={\frac {1}{z}}T_{0}$ 。

因而

${\mathcal {L}}\left[{\frac {\mathrm {d} s}{\mathrm {d} y}}\right]={\sqrt {\frac {2g}{\pi }}}z^{\frac {1}{2}}{\mathcal {L}}\left[T_{0}\right]={\sqrt {\frac {2g}{\pi }}}T_{0}z^{-{\frac {1}{2}}}$ 。

将此式做逆变换即可得

${\frac {\mathrm {d} s}{\mathrm {d} y}}={\frac {\sqrt {2g}}{\pi }}T_{0}y^{-{\frac {1}{2}}}$ 。

$\mathrm {d} s={\frac {\sqrt {2g}}{\pi }}T_{0}y^{-{\frac {1}{2}}}\mathrm {d} y$

又 $\mathrm {d} y=\sin \theta \mathrm {d} s$ ，易得

$y^{\frac {1}{2}}={\frac {\sqrt {2g}}{\pi }}T_{0}\sin \theta$

将等号两侧取微小量，

$\mathrm {d} \left(y^{\frac {1}{2}}\right)={\frac {1}{2}}y^{-{\frac {1}{2}}}\mathrm {d} y={\frac {\sqrt {2g}}{\pi }}T_{0}\cos \theta \,\mathrm {d} \theta$