∫ⅇⅈ⁢x⁢p⁡(t)⁢Ps⁡(t)⁢p′⁡(t)⁢ⅆ⁡t,