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

はじめに

前の記事で、Legendreの多項式の直交条件の証明のための計算を行ってみました。

多項式の直交性の次は陪多項式の直交条件の証明のための計算を行うのが自然な成り行きだろうと思うので、この記事ではLegendreの陪多項式

(1)

の直交条件を示す式

(2)

(

はCroneckerのdeltaです。)の計算をわかりにくいところ(次項で挙げるものは除きます。)はできるだけ省略しないで計算していきます。

前提となる事実等

( $2$ )式の計算には、以下の事実(詳細な計算や証明はこの記事では省略します。)などを使用します。

関数

$(3)$

及び

$(4)$

の回微分はについての次の多項式であること。
特に、( $3$ )式及び( $4$ )式の両辺を回微分すると以下の式が成り立ち、によらない定数となること。

$(5) (6)$
Leibnizの公式(( $7$ )式)が成り立つこと。

$(7)$
Wallis積分。
整数の二重階乗について、以下の式が成り立つこと。

$(8) (9)$

計算してみます。

まずは代入から…

例によってサクサクと計算します。

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

(10)

となります。

ここで、積分変数を含む部分(( $10$ )式の青色の部分)を取り出し、

(11)

とおきます。なお、

と

を入れ替えても一般性は失わないので、

とします。また、Legendreの陪多項式の定義より

は

または

のうち小さい方以下の値の場合のみ定義されることから(

12

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

(12)

部分積分を利用して変形します。

( $11$ )式を部分積分を用いて変形します。すると、( $13$ )式のように変形できます。

(13)

(

13

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

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

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

13

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

14

)式が成り立ちます。

(14)

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

回繰り返すと、

(15)

と変形できます。

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

( $15$ )式はLeibnizの公式(( $7$ )式)を利用すると、

(16)

と計算できます。

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

(17)

及び、

(18)

ですので、(

17

)式及び(

18

)式を

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

(19)

となります。ところが、

及び

の間には(

12

)式の関係がありますので、

の場合には

となるので、(

19

)式を満たす

が存在しなくなってしまいます。

したがって、( $19$ )式を満たすが存在する場合はの場合に限られることと、の場合には( $16$ )式の和が0になるために、

(20)

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

の場合についてさらに計算します。

次に、の場合について考えます。

前節で検討した通り、( $16$ )式の和を計算する部分はの場合もでない項は0となることに注意して、( $16$ )式にを代入し、を消去すると…

(21)

(

21

)式の右辺の括弧内に(

5

)式及び(

6

)を用いると、

(22)

と変形でき、積分変数

が関与している因子は

の部分(濃い青色で示した部分)のみとなります。

そこで、上記の因子の部分の積分を計算すると…

(23)

さらに、

とおくと、Wallis積分が現れますので…

(24)

と変形できます。

最後の仕上げ。

( $24$ )式を用いて( $22$ )式を書き換えると…

(25)

となります。

さらに、( $25$ )式を( $10$ )式に代入し、とおいて、( $8$ )式及び( $9$ )式を用いて変形すると…

(26)

となります。

( $26$ )式及び( $20$ )式の結果より、( $2$ )式を示すことができました。

まとめ

Legendreの陪多項式の定義式(( $1$ )式)をよく見ると、を因子として含むために、が奇数の場合には厳密な意味での多項式とはなりませんが、( $2$ )式では積分の対象となる陪多項式の微分の回数を同じとしているためにそれぞれの式が因子として持っているが掛け合わされるので、多項式の積分計算として計算ができるという寸法です。