等時曲線

**等時曲線**（とうじきょくせん）または**等時降下曲線**（とうじこうかきょくせん）とは、物体が一様重力場の下でその曲線に沿って摩擦なく滑り降りるとき、最下点に達するまでの時間が出発点に依存しなくなるような曲線をいう。英語では ***' または ***'（ギリシャ語の接頭辞  「同じ」、 「等しい」、「時間の」から）と呼ばれる。この曲線はサイクロイドであり、また降下時間はサイクロイドの動円の半径を重力加速度で除したものの平方根に  を乗じたものとなる。また、等時曲線は全ての出発点について最速降下曲線と同一である。

## 等時曲線問題

等時曲線問題とは、等時曲線がどのような曲線であるかを同定する問題である。この問題は1659年にクリスティアーン・ホイヘンスによって解かれた。彼は1673年初出の自著 **' 中で、等時曲線が[[サイクロイド]]であることを幾何学的に証明している。
: 軸を鉛直とし、頂点を最下点としたサイクロイドの降下時間、すなわち物体が最下点に到達するまでの時間は、サイクロイド上のどの点から出発したとしても互いに等しい...
ホイヘンスは同時に、降下時間は物体がサイクロイドの動円半径と等しい距離を自由落下するのにかかる時間に  を乗じたものに等しいことを証明した。現代的記法を用いれば、降下時間は  を動円半径、 を重力加速度として  と表わされる。

その後、この解は[[最速降下曲線]]問題への取り組みに活用された。 [[ヤコブ・ベルヌーイ]]は最速降下曲線問題を解析学を用いて解き、初めて[[積分法|積分]]の用語が用いられた論文 (**', 1690) において発表した。

ホイヘンスが等時曲線問題を詳しく研究する過程で、円軌道を描く振り子は厳密には等時性をもっておらず、したがって当時の振り子時計は振幅によって異なる時間を刻むことが明らかになった。正しい軌道を得たホイヘンスは、おもりを糸で吊し、糸の最上点の傍に障害物を設置しておもりに等時曲線を描かせることを試みた。これらの試みは多くの理由から実用的でなかった。まず、糸が曲がることにより摩擦が生じる。さらに、等時曲線から外れることよりも大きな誤差要因はいくつもあり、あまり改善に役立たない。その上、振り子の「円軌道誤差」は振幅が小さくなるにつれて減少するため、の改善によりこの誤差は大きく低減できる。

その後、ジョゼフ＝ルイ・ラグランジュとレオンハルト・オイラーがこの問題を解析的に解いた。

## ラグランジュの解
質点の位置を最下点からの弧長  を媒介変数として表示すると、 運動エネルギーは  に比例する。ポテンシャルエネルギーは高さ  に比例する。曲線が等時曲線となるのは、ラグランジアンが単純調和振動子のものとなる条件、すなわち、高さが弧長の2乗に等しい時である。長さの単位を比例係数を1となるようにとると
:  y(s) = s^2 
と書ける。この関係を微分形式で書き下し、媒介変数を消去すると以下を得る。
:  \mathrm dy = 2s \,\mathrm ds 
:  \mathrm dy^2 = 4s^2 \,\mathrm ds^2 = 4y \,(\mathrm dx^2 + \mathrm dy^2) 
これを解くため、  を  で積分する。
:  {\mathrm dx \over \mathrm dy} = {\sqrt{1-4y}\over 2\sqrt{y}} 
:  x = \int \sqrt{1-4u^2} \, \mathrm du 
ここで、 u = \sqrt{y} と置いた。この積分は円よりも下の面積であり、三角形と扇形に切り分けられる。
:  x = \frac{1}{2} u \sqrt{1 - 4u^2} + \frac{1}{4} \arcsin 2u 
:  y = u^2 
これが見慣れない媒介変数表示のサイクロイドであることを示すため、 と置いて代数的に整理すると以下を得る。
:  8x = 2\sin\theta \cos\theta + 2\theta = \sin 2\theta + 2\theta 
:  8y = 2\sin^2 \theta = 1 - \cos 2\theta 
これは、係数を除いてサイクロイド曲線の通常の媒介変数表示となっている。

## 「仮想重力」解
等時曲線問題の最も単純な解は、傾斜角とその傾斜角で質点が感じる重力の関係式を直接書き下すものである。傾斜角 90° の鉛直線上の質点は重力の影響を完全に受け、水平線上の質点は重力の影響を全く受けない。中間の傾斜角では質点の感じる「仮想重力」  を受けると考えることができる。まず、望ましい振る舞いを産み出す「仮想重力」はどんなものかを調べる。

等時降下を実現するのに必要な「仮想重力」は、残りの距離に単純に比例するものであるから、以下を得る。
: 
\frac{\mathrm d^2s} \\
T & = \pi \sqrt{\frac{r}{g}}
\end{align}

（おおよそ  に基く）

## アーベルの解
ニールス・アーベルは一般化された等時曲線問題（アーベルの力学問題）、すなわちある関数  が与えられたとき、ある点からの総降下時間がこの関数となるような曲線を求める問題に取り組んだ。等時曲線問題は、アーベルの力学問題において  が定数関数である特殊例に相当する。

アーベルの解は、エネルギー保存の原理を基礎とする。質点は摩擦を受けないので熱として失われるエネルギーはなく、運動エネルギーと位置エネルギーの和はつねに出発点における位置エネルギーに等しい。運動エネルギーは  と表わされ、質点は曲線に沿って動くよう拘束されているので、その速さは単純に  と書ける。ここで  は曲線に沿って測った距離である。同様に、初期高さ  から高さ  まで落ちたときの重力による位置エネルギーの増加は  であるから、以下を得る。
: 
\begin{align}
\frac{1}{2} m \left ( \frac{\mathrm ds}{\mathrm dt} \right ) ^2 & = mg(y_0-y) \\
\frac{\mathrm ds}{\mathrm dt} & = \pm \sqrt{2g(y_0-y)} \\
\mathrm dt & = \pm \frac{\mathrm ds}{\sqrt{2g(y_0-y)}} \\
\mathrm dt & = - \frac{1}{\sqrt{2g(y_0-y)}} \frac{\mathrm ds}{\mathrm dy} \,\mathrm dy
\end{align}

最後の等式において、曲線に沿った残り距離は単調減少し（よって複号は負）、また高さの関数として表わせる () ことを仮定してある。さらに、連鎖律 \mathrm ds = \frac{\mathrm ds}{\mathrm dy} \mathrm dy を用いた。

ここで、 から  まで積分し、総降下時間を求めると以下を得る。
: 
T(y_0) = \int_{y=y_0}^{y=0} \, \mathrm dt = \frac{1}{\sqrt{2g}} \int_0^{y_0} \frac{1}{\sqrt{y_0-y}} \frac{\mathrm ds}{\mathrm dy} \, \mathrm dy

これを**アーベルの積分方程式**と呼ぶ。これにより、曲線が与えられれば（かつ  が計算できるならば）総降下時間を計算することができる。しかし、アーベルの力学問題では逆に、 が与えられたときに  を得たい。これもこの式から得ることができる。そのために、右辺を  と  の畳み込みとみなし、両辺をラプラス変換する。
: 
\mathcal{L}[T(y_0)] = \frac{1}{\sqrt{2g}} \mathcal{L} \left [ \frac{1}{\sqrt{y}} \right ] \mathcal{L} \left [ \frac{\mathrm ds}{\mathrm dy} \right ]

\mathcal{L} \left [ \frac{1}{\sqrt{y}} \right ] = \sqrt{\pi}z^{-\frac{1}{2}} であるから、 のラプラス変換は  のラプラス変換を用いて次のように書ける。
: 
\mathcal{L}\left [ \frac{\mathrm ds}{\mathrm dy} \right ] = \sqrt{\frac{2g}{\pi}} z^{\frac{1}{2}} \mathcal{L}[T(y_0)]

一般の  について言えることはここまでである。ひとたび  が与えられれば、そのラプラス変換が計算でき、  のラプラス変換を得ることができ、逆変換を施すことにより  が得られる。

等時曲線問題では、 が定数関数である。 のラプラス変換は  であるから、次を得る。
: 
\begin{align}
\mathcal{L}\left [ \frac{\mathrm ds}{\mathrm dy} \right ] & = \sqrt{\frac{2g}{\pi}} z^{\frac{1}{2}} \mathcal{L}[T_0] \\
                                          & = \sqrt{\frac{2g}{\pi}} T_0 z^{-\frac{1}{2}}
\end{align}

上述のラプラス変換を逆に利用することにより、次の結論を得る。
: 
\frac{\mathrm ds}{\mathrm dy} = T_0 \frac{\sqrt{2g}}{\pi}\frac{1}{\sqrt{y}}

サイクロイドがこの式に従うことは示すことができる。

## 関連項目
* 変分法
* 
* サイクロイド
* カテナリー曲線
* 等加速度運動
* 最速降下曲線

## 出典


## 参考文献
* 
* , posted by Cornell University Library.

## 外部リンク
* Mathworld