第2種楕円積分の導出の方法がうろ覚えだと、いざというときにハマる件

はじめに

結論についてはWikipediaを見ていただくのが一番早いのですが、

「なんでそうなるんだっけ?」

などど考え始めて計算を進めると、計算の結果の式を見て焦ることになるので、メモっておくことにしました。

サクサクと計算

直截な導出法

最初に最も直截(と思われる)方法で以下の式にたどり着くことを考えます(Wikipediaに記載の式です)。

まず、平面上の楕円

(下図参照)の周の長さを求めることを考えます。

なお、この楕円は軸及び軸に関して対称なので、の部分(下図の青い実線の部分)だけ考えます。楕円の1周分の長さが必要であればの部分の弧の長さを求め、それを4倍すればよいという寸法です。

ここで、軸の正の向きの半直線とのなす角(右回りを正とします。←ここ重要)がであり、原点を端点とする半直線を考え、それと楕円(2)の交点をとします。

また、軸の正の向きの半直線とのなす角がであり、原点を端点とする半直線を考え、それと楕円(2)の交点をとします。

,の位置関係を下図に示します。

すると、の座標は、の座標はと表すことができます。

スポンサーリンク

ここで、がと比較して微小な正の数であるとし、微小な長さの線分の長さを計算します。

すると…

と表すことができます。

ここで、(3)式をが微小であることに着目してさらに変形することを考えます。

は微小であるため、であると考えます。

すると…

と計算できます。

(4)式の最後だけいまいちシンプルな式でない感じもしますが、は楕円の長半径であり、は短半径であるので、離心率(と書くこともありますが、ここでは(1)式と合わせてと書きます。)を

で表すことができます。

よって、(5)式を(4)式に代入すると…

と表すことができます。

ここで、楕円(2)と軸の正の向きとの交点を、原点を端点とする半直線を考え、それと楕円(2)の交点をとしたときに、その半直線と軸の正の向きとのなす角をとします。

この時、弧は(6)式で求めることのできる微小な線分をつなぎ合わせたものの総和であると考えることができるので、弧の長さはとおくと…

と表すことができます。

(7)式でとおくと、(1)式が現れます。

ハマりがちな導出法

ところが、大学の受験勉強の時代からの癖で

「えっと、動径は左回りが正だから、っと…」

と考えて、下図のように点Pの座標を、点Qの座標をととったとします。

すると、は…

と表すことができます。

(1)式とは微妙に式が異なりますが、それものそのはず、積分の経路を楕円の弧上において逆向きにとっていることに起因する相違です。

とりあえずこの相違は置いておいて、を用いた形で表すことができないか考えてみます。

(7)式を計算した時と同様に軸上に、楕円の円弧上にをとることにすると…

と表すことができます。

ここで、であることに着目し、とおいて(9)式に代入すると…

…とを用いた形で表すことができます。

まとめ

を用いた形で表すことはできるのですが、ちょっと回りくどくて、かつ直感的にはいまいちわかりにくい式になってしまう点については、第2種楕円積分の式を(1)式の形式(が現れる形式)として定義してしまった先人の中の人を恨むより他はありません。

第2種楕円積分は楕円(または楕円の弧)の周の長さを求めるときに現れます。

円(または円弧)の周の長さを求める式と比較しても複雑さが段違いであることがおわかりいただけるかと思います。

この記事は以上です。