Leibniz Integral Rule
假设二元函数f(x,y)连续,可以证明I(y)=∫abf(x,y) dx连续。连续意味着:y→y0limI(y)=I(y0),所以y→y0limI(y)=∫abf(x,y0) dx=∫ab[y→y0limf(x,y)] dx。
由此,我们可以证明 dy dI(y)=∫ab[\party\partf(x,y)] dx:对于任意的Δy>0,我们有ΔyI(y+Δy)−I(y)=Δy∫abf(x,y+Δy) dx−∫abf(x,y) dx =Δy∫abf(x,y+Δy)−f(x,y) dx。根据一元函数的微分中值定理,存在0<ξ<1使得f(x,y+Δy)−f(x,y)=Δy⋅\party\partf(x,y+ξ⋅Δy)。于是ΔyI(y+Δy)−I(y)=∫ab\party\partf(x,y+ξ⋅Δy) dx。两边同时令Δy→0,得到Δy→0limΔyI(y+Δy)−I(y)= dy dI(y)=Δy→0lim∫ab\party\partf(x,y+ξ⋅Δy) dx= ∫ab[\party\partf(x,y)] dx。
可见,对于连续函数,积分外的求导符号可以移到积分内: dy d∫abf(x,y) dx=∫ab[\party\partf(x,y)] dx。
Feynman's Trick
上面的定理可以帮助我们求解积分。
当求解定积分∫01lnxx2−1 dx时,我们首先可以把它看作含参变量的定积分I(t)=∫01lnxxt−1 dx,那么只需解出I(2)。两边同时对t求导,得I′(t)= dt d∫01lnxxt−1 dx,由Leibniz Integral Rule,右式等于∫01\partt\partlnxxt−1 dx=∫01lnxxtlnx dx=∫01xt dx=t+11。所以I(t)=∫t+11 dt=ln(t+1)+C。当t=0时,积分恒为0,因此C=0。代入t=2,得到原积分的值为ln3。