Legendreの陪多項式の直交条件の証明のための計算をしてみた(その2)。

はじめに

この記事ではちょっと前の記事に引き続き、Legendreの陪多項式

(1)

が満たす直交条件

(2)

を証明してみます。

なお、偶関数及び奇関数であることを利用する部分の計算方法については参考文献のサイトを大幅に参考にさせていただいております。

前提となる事実等

ここからの計算では、以下の事実については証明などを省略して利用します。なお、の微分についてはこちらをご参照いただけると幸いです。

のときに

$(3)$

とおくと、にはが因子として含まれるために、となること。
のときには、はを因子として含まないために、となること。

例によってサクサクと計算。

とりあえず代入。

( $2$ )式の左辺は( $1$ )式を用いて、以下のように変形できます。なお、途中で登場するはLegendreの多項式を表します。

(4)

ここで最初の場合分け。

( $4$ )式の右辺を見ると、というが奇数だと式全体が厳密な意味での多項式にならなくなってしまう項が含まれていて、かなり嫌な予感がします。

が奇数のときにはが偶関数になりますが、それ以外の部分が奇関数になると( $4$ )式の右辺の被積分関数が奇関数になりますので、区間で積分をすると、その値が0になります。

そこで、( $4$ )式の右辺の被積分関数の以外の因子の積が奇関数にならないかどうか調べてみます。

が奇数になる場合はまたはのいずれか一方が奇数でもう一方が偶数の場合です。が偶数の場合にはも偶数の場合は及びはそれぞれ偶数、奇数となります。

また、が奇数の場合は及びの偶奇は入れ替わりますが、どちらか一方が奇数でもう一方が偶数になるという組み合わせに変化はありません。

同様に、が奇数の場合はが偶数の場合は及びはそれぞれ奇数、偶数となり、が奇数の場合は及びはそれぞれ偶数、奇数となります。

すなわち、( $4$ )式の右辺の被積分関数は…

が偶関数。
を奇数回微分する関数(奇関数)とを偶数回微分する関数(偶関数)の積(を回微分した結果についてはこちらの記事参照)。

の積となり、後者は奇関数であるため、( $4$ )式の右辺の被積分関数全体としては奇関数となります。

したがって、が奇数の場合には奇関数を区間において積分することとなりますので、( $4$ )式の右辺の値は0となります。

が偶数のとき

( $4$ )式の右辺の被積分関数はのついての対称式となっていることと、Legendreの陪多項式の定義よりはのうちの大きい方の値以上の値であるため、一般性を失うことなくとすることができます。

ここからは紙面の面積の都合上、( $2$ )式の左辺のうち、被積分関数の部分をとおきます。そして、が偶数であることからであること等も考慮しつつ、( $4$ )式を部分積分を用いて変形すると…

(5)

(

5

)式の右辺第1項の括弧内には

のべき乗が含まれていて、

のときにはこれが0になることから、(

5

)式の右辺第1項は0となります。よって、(

6

)式が成り立ちます。

(6)

この節のここまでの変形と同様の変形をあと

回繰り返すと、

(7)

と変形できます。

回目の部分積分。

回目の部分積分の次は回目の部分積分になりますので、( $7$ )式を用いて以下のように変形してみます。

(8)

(

8

)式の右辺第1項の因子のうち、

は

において0とはなりませんが、

が偶数であることから

及び

はともに偶数であるか、または奇数であるかのいずれかです。

さらにとしていますので、ですが、( $8$ )式の右辺第1項の因子のうち、回微分の対象となる式はである場合には、回微分した結果得られる式が由来のを因子として含むため、において0になります。

一方、、すなわちの場合にはは因子として含まれず、かつもを因子として含まないため、において0以外の値となります。

そこで、( $8$ )式はKroneckerのデルタを用いて、以下のように書くことができます。

(9)

回目以降の部分積分。

( $9$ )式の右辺第1項は

(10)

とおいて計算自体は後回しにしつつ、(

9

)式の右辺第2項を1回だけ部分積分します。

すると…

(11)

となりますが、(

11

)式の右辺第1項の

には

が因子として含まれますので、

において0となります。

したがって…

(12)

となります。

上記と同様の部分積分は回繰り返すことができますので、

(13)

となります。

ここで、Leibnizの公式の登場です。

( $13$ )式の右辺第2項はLeibnizの公式(この記事の(7)式)を利用すると、

(14)

(

14

)式の括弧内の部分(青色で示した部分)で和を計算していますが、和の各項が0以外の値になる条件は、

(15)

及び、

(16)

ですので、(

15

)式及び(

16

)式を

について解いてまとめると、

(17)

となりますが、これを満たす

は存在しませんので、(

13

)式の右辺第2項は0となります。

よって、

(18)

であることがわかります。

ちょっと簡単になりましたね。

の計算。

ここからは、( $10$ )式の右辺を計算します。

を回微分した結果得られる多項式はの偶奇により、以下のいずれかとなります。

が偶数の場合には、最高次の項の次数が偶数で、かつ偶数次の項しか持たない多項式。
が奇数の場合には、最高次の項の次数が奇数で、かつ奇数次の項しか持たない多項式。

また、偶数次の項または奇数次の項しか持たない多項式同士の積は偶数次の項しか持たない多項式になり、偶数次の項しか持たない多項式と奇数次の項しか持たない多項式の積は奇数次の項しか持たない多項式になります。

そこで、( $10$ )式の右辺の最高次の項の次数を調べると、

の最高次の項の次数はで、これを回微分すると、最高次の項の次数は。
前項の式に、をかけてから回微分した結果得られる多項式の最高次の項の次数は。

となりますので、( $10$ )式の右辺の最高次の項の次数は奇数であり、式自体も奇関数となることがわかります。

したがって、は

(19)

とおくと、

(20)

と表すことができます。

( $19$ )式は(青色の部分)と(緑色の部分)の積ですので、これらは別々に計算して、それらの積を考えることでの値を求めることができます。

青色の部分については…

(21)

となりますが、(

21

)式の総和の計算の対象となる項のうち、

でない項は

を因子に持つため、

のときにはすべて0となります。したがって、

(22)

となります。

次に緑色の部分ですが…

(23)

と変形できます。ここで、総和の計算の対象となる項をよーく見ると、

の場合には

になります。よって(

23

)式は、

(24)

と変形できます。

( $24$ )式への変形はの場合の具体的なの値については検討しないまま行うことができますが、( $22$ )式と(の符号には注意が必要です。)同様の議論により、の時には( $24$ )式右辺の最初の因子については、

(25)

となります。

最後に残るはの計算ですが、Leibnizの公式を用いて、

(26)

と展開できます。ここで再び( $26$ )式をじーっと見ると、の各項はすべて0となることと、の項はのときにはすべて0となることがわかります。

そんなわけで、のときにはの項だけが残りますので、( $26$ )式は次のように書き換えることができます。

(27)

と計算できます。

ここでいったん中締め。

ここまでの結果をまとめると、( $19$ )、( $20$ )、( $22$ )、( $25$ )及び( $27$ )式より、は、

(28)

となることがわかります。

はでと置いたときの値であり、はにをかけたものに相当しますので、

(29)

となり、(

2

)式右辺の

と一致することがわかります。

いろいろと登場しましたが、かなり簡単な式になります。

の場合

まず、代入して式変形してみます。

( $4$ )式にを代入すると…

(30)

となりますが、この後の話の展開の都合上、

とおきつつ、

(31)

と変形します。

はの偶奇により偶関数または奇関数になりますが、これを自乗したものはの偶奇に関係なく偶関数になります。よって、( $30$ )、( $31$ )の各式の右辺はともに偶関数になりますので、

(32)

になります。

( $32$ )式をもうちょい計算してみます。すると…

(33)

となり、微分の計算を行うことができることがわかります。

式の評価を行います。

( $33$ )式をよーく見ると、総和の計算の対象となっている各項はにおいてすべて負でない値をとります。よって、

(34)

と評価できます。
(

34

)式の右辺で総和の計算の対象となっている項のうち、

の項については

の

次の多項式になりますので、

における積分は収束します。

一方で、の後ではの次の多項式をで割ったものが登場しますので、この式の収束性について評価します。

といっても、積分変数の範囲をに限定していますので、

(35)

となって、発散してしまうことがわかります。

( $34$ )式及び( $35$ )式よりはに発散することがわかりますか、これは( $2$ )式の右辺の値のうちの場合に相当します。

よって、ここまでの議論で( $2$ )式右辺の3つの場合すべてについて与えられた命題が成り立つことが示せたことになります。

まとめ

の偶奇での場合分けとか正直思いつきませんでした。＿|￣|○

整数論的な議論が途中で登場するのが興味深いところです。また、が( $2$ )式左辺の被積分関数の分母に鎮座していることにより、部分積分の途中で端点における関数値を使って計算をする項の値が0にならないことがあることに気が付かないまま( $14$ )式にたどり着いてしまうとハマります(本Webサイトの管理人たるpandaもハマりました、っていうか気が付かなかったので、参考文献の記述を参考にさせていただきました)。