毎度毎度,質問してすみません.

毎度毎度,質問してすみません.

数学迷い人↓ さんの書込 (2009/04/10(Fri) 12:41)

次の関数系は区間内で規格直交系を成すことを示せ.

f(x)=exp(inx)/√(2π)(0,2π)という問題なのですが,

規格直交系を示すには,f(x)を二乗して,0〜2πで積分したら1ということですよね. 計算したら,{exp(4πin)-1}/4πinとなりました.さらに計算して,1となろのでしょうか?

Re: 毎度毎度,質問してすみません.

ASA さんのレス (2009/04/10(Fri) 13:27)

複素関数だから,複素共役(iの符号を変えたもの)との積を採る筈. exp(inx)*exp(-imx)の計算だと思います.がんばってください.

Re: 毎度毎度,質問してすみません.

数学迷い人↓ さんのレス (2009/04/10(Fri) 15:31)

1/2π∫exp(inx)*exp(-inx)dx(0,2π) =1/2π∫exp0dx=1

ですかー?

Re: 毎度毎度,質問してすみません.

yama さんのレス (2009/04/12(Sun) 00:00)

規格化されていることの証明にはなっていますが,直交関数系であることは証明されていません. 従ってnの値が異なる関数どうしが直交していることを証明する必要があります.