DennyQi's Log

费曼积分法

Leibniz Integral Rule

假设二元函数f(x,y)f(x,y)连续,可以证明I(y)=abf(x,y) dxI(y)=\displaystyle\int_a^{b}f(x,y)\text{ d} x连续。连续意味着:limyy0I(y)=I(y0)\lim\limits_{y\to y_0}I(y)=I(y_0),所以limyy0I(y)=abf(x,y0) dx=ab[limyy0f(x,y)] dx\lim\limits_{y\to y_0}I(y)=\displaystyle\int_a^b f(x,y_0)\text{ d} x=\displaystyle\int_a^b \left[\lim\limits_{y\to y_0}f(x,y)\right]\text{ d} x

由此,我们可以证明 d dyI(y)=ab[\part\partyf(x,y)] dx\dfrac{\text{ d}}{\text{ d} y}I(y)=\displaystyle\int_a^b \left[\dfrac{\part}{\part y}f(x,y)\right]\text{ d} x:对于任意的Δy>0\Delta y>0,我们有I(y+Δy)I(y)Δy=abf(x,y+Δy) dxabf(x,y) dxΔy\dfrac{I(y+\Delta y)-I(y)}{\Delta y}=\dfrac{\displaystyle\int_a^{b}f(x,y+\Delta y)\text{ d} x-\displaystyle\int_a^{b}f(x,y)\text{ d} x}{\Delta y} =abf(x,y+Δy)f(x,y) dxΔy=\dfrac{\displaystyle\int_a^{b}f(x,y+\Delta y)-f(x,y)\text{ d} x}{\Delta y}。根据一元函数的微分中值定理,存在0<ξ<10<\xi<1使得f(x,y+Δy)f(x,y)=Δy\part\partyf(x,y+ξΔy)f(x,y+\Delta y)-f(x,y)=\Delta y \cdot \dfrac{\part}{\part y}f(x,y+\xi\cdot\Delta y)。于是I(y+Δy)I(y)Δy=ab\part\partyf(x,y+ξΔy) dx\dfrac{I(y+\Delta y)-I(y)}{\Delta y}=\displaystyle\int_a^{b}\dfrac{\part}{\part y}f(x,y+\xi\cdot \Delta y)\text{ d} x。两边同时令Δy0\Delta y\to 0,得到limΔy0I(y+Δy)I(y)Δy= d dyI(y)=limΔy0ab\part\partyf(x,y+ξΔy) dx=\lim\limits_{\Delta y\to 0}\dfrac{I(y+\Delta y)-I(y)}{\Delta y}=\dfrac{\text{ d}}{\text{ d} y}I(y)=\lim\limits_{\Delta y\to 0}\displaystyle\int_a^{b}\dfrac{\part}{\part y}f(x,y+\xi\cdot \Delta y)\text{ d} x= ab[\part\partyf(x,y)] dx\displaystyle\int_a^b \left[\dfrac{\part}{\part y}f(x,y)\right]\text{ d} x

可见,对于连续函数,积分外的求导符号可以移到积分内: d dyabf(x,y) dx=ab[\part\partyf(x,y)] dx\dfrac{\text{ d}}{\text{ d} y}\displaystyle\int_a^b f(x,y)\text{ d} x=\displaystyle\int_a^b \left[\dfrac{\part}{\part y}f(x,y)\right]\text{ d} x

Feynman's Trick

上面的定理可以帮助我们求解积分。

当求解定积分01x21lnx dx\displaystyle\int_0^1 \dfrac{x^2-1}{\ln x}\text{ d} x时,我们首先可以把它看作含参变量的定积分I(t)=01xt1lnx dxI(t)=\displaystyle\int_0^1 \dfrac{x^t-1}{\ln x}\text{ d} x,那么只需解出I(2)I(2)。两边同时对tt求导,得I(t)= d dt01xt1lnx dxI'(t)=\dfrac{\text{ d}}{\text{ d} t}\displaystyle\int_0^1 \dfrac{x^t-1}{\ln x}\text{ d} x,由Leibniz Integral Rule,右式等于01\part\parttxt1lnx dx=01xtlnxlnx dx=01xt dx=1t+1\displaystyle\int_0^1 \dfrac{\part}{\part t}\dfrac{x^t-1}{\ln x}\text{ d} x=\displaystyle\int_0^1 \dfrac{x^{t}\ln x}{\ln x}\text{ d} x=\displaystyle\int_0^1 x^{t}\text{ d} x=\dfrac{1}{t+1}。所以I(t)=1t+1 dt=ln(t+1)+CI(t)=\displaystyle\int \dfrac{1}{t+1}\text{ d} t=\ln(t+1)+C。当t=0t=0时,积分恒为0,因此C=0C=0。代入t=2t=2,得到原积分的值为ln3\ln 3