分部积分啊,原来如此
令P[n]表示前边那个多项式经过求导,还剩n次时的形式。例如P[4]就是不变。
另外重新写ψ[a]表示(d/dx)^a (x^2-1)^5,也就是(x^2-1)^5对x求a次导数。那么φ5 = ψ[5]。
∫ P[4] φ[5] dx
= ∫ P[4] dψ[4]
= P[4] ψ[4] |_{-1}^1 - ∫ ψ[4] dP[4]
= 0 - ∫ ψ[4] P[3] dx
= - [ P[3] ψ[3] |_{-1}^1 - ∫ ψ[3] dP[3] ]
= ∫ ψ[3] P[2] dx
= ...
= - ∫ ψ[2] P[1] dx
= ...
= ∫ ψ[1] P[0] dx ——注意P已经求导求成了常数
= ...
= - ∫ ψ[0] 0 dx ——再次分部积分,P就没了
= 0