次の関数系は区間内で規格直交系を成すことを示せ.
f(x)=exp(inx)/√(2π)(0,2π)という問題なのですが,
規格直交系を示すには,f(x)を二乗して,0〜2πで積分したら1ということですよね. 計算したら,{exp(4πin)-1}/4πinとなりました.さらに計算して,1となろのでしょうか?
複素関数だから,複素共役(iの符号を変えたもの)との積を採る筈. exp(inx)*exp(-imx)の計算だと思います.がんばってください.
規格化されていることの証明にはなっていますが,直交関数系であることは証明されていません. 従ってnの値が異なる関数どうしが直交していることを証明する必要があります.