Integrals with Parameters

Idea

含参量积分本质上就是一种偏积分，一个二元函数的含参量积分就是把一个变量看作常数，然后对另一个变量积分

含参量正常积分

设$f(x)$为定义在区域$G=\left\{(x,y)\mid c(x)\le y\le d(x)\right\}$上的二元函数，其中$c(x),d(x)$是定义在$[a,b]$上的连续函数，若对于$[a,b]$上的每一个点$x$，$f(x,y)$作为$y$的函数在$[c(x),d(x)]$上可积，则其积分值可表示为

$$F(x)={\int }_{c(x)}^{d(x)}f(x,y)\mathrm{d}y,x\in [a,b]$$

这个$F(x)$被称为在$[a,b]$上含参量$x$的（正常）积分

连续性

若二元函数在矩形区域$R=[a,b]\times [c,d]$上连续，则函数

$$\varphi (x)={\int }_c^{d}f(x,y)\mathrm{d}y$$

在$[a,b]$上连续

或者更一般地，如果二元函数在上面给出的区域$G$上连续，则有

$$F(x)={\int }_{c(x)}^{d(x)}f(x,y)\mathrm{d}y$$

在$[a,b]$上连续

可微性

设$f(x,y),f_x(x,y)$在$R=[a,b]\times [p,q]$上连续，而$c(x),d(x)$为定义在$[a,b]$上且其值含于$[p,q]$内的可微函数，则函数

$$F(x)={\int }_{c(x)}^{d(x)}f(x,y)\mathrm{d}y$$

在$[a,b]$上可微. 特别地，我们可以给出$F(x)$的微分（因为是单元函数，所以也就是导数）

$$\begin{array}{rl}F(x)& =H(x,c,d)={\int }_{c(x)}^{d(x)}f(x,y)\mathrm{d}y\\ ⟹F^{\prime }(x)& =\frac{\partial H}{\partial x}+\frac{\partial H}{\partial c}\frac{\mathrm{d}c}{\mathrm{d}x}+\frac{\partial H}{\partial d}\frac{\mathrm{d}d}{\mathrm{d}x}\end{array}$$

其中第一项中由于$x$不是积分变量，所以可以直接求导

$$\frac{\partial H}{\partial x}={\int }_{c(x)}^{d(x)}{f}_x(x,y)\mathrm{d}y$$

对于第二项和第三项，我们回忆变上限积分函数的导数

$$\frac{\mathrm{d}}{\mathrm{d}x}\left({\int }_{u(x)}^{v(x)}f(t)\mathrm{d}t\right)=\frac{\mathrm{d}}{\mathrm{d}x}\left(\mathcal{F}(v)-\mathcal{F}(u)\right)=\frac{\mathrm{d}\mathcal{F}}{\mathrm{d}v}\frac{\mathrm{d}v}{\mathrm{d}x}-\frac{\mathrm{d}\mathcal{F}}{\mathrm{d}u}\frac{\mathrm{d}u}{\mathrm{d}x}=f(v)v^{\prime }(x)-f(u)u^{\prime }(x)$$

其中$\mathcal{F}$是$f$的原函数，于是我们有

$$\begin{array}{rl}\frac{\partial H}{\partial c}& =f(x,d(x))\cdot 0-f(x,c(x))\cdot 1=-f(x,c(x))\\ \frac{\partial H}{\partial d}& =f(x,d(x))\cdot 1-f(x,c(x))\cdot 0=f(x,d(x))\end{array}$$

故有

$$F^{\prime }(x)={\int }_{c(x)}^{d(x)}{f}_x(x,y)\mathrm{d}x-f(x,c(x))c^{\prime }(x)+f(x,d(x))d^{\prime }(x)$$

可积性

若$f(x,y)$在矩形区域$R=[a,b]\times [c,d]$上连续，则$\phi (x),\psi (y)$分别在$[a,b],[c,d]$上可积. 也就是说，在连续性假设下，同时存在两个求积顺序不同的积分

$${\int }_a^b\left[{\int }_c^{d}f(x,y)\mathrm{d}y\right]\mathrm{d}x,{\int }_c^d\left[{\int }_a^{b}f(x,y)\mathrm{d}x\right]\mathrm{d}y$$

这两个积分的值相同，统一写成

$${\int }_c^d{\int }_a^{b}f(x,y)\mathrm{d}x\mathrm{d}y$$

含参量反常积分

复习反常积分 若对$\forall x\in I$，反常积分

$$\Phi (x)={\int }_c^{\infty }f(x,y)\mathrm{d}y$$

都收敛，我们就称$\Phi (x)$为含参量$x$的反常积分

若对任给的$\epsilon >0$, 总存在一个与$x$无关的实数$N>c$使得当$M>N$时，对一切$x\in I$都有

$$\left|{\int }_c^{M}f(x,y)\mathrm{d}y-\Phi (x)\right|<\epsilon$$

即

$$\left|{\int }_M^{\infty }f(x,y)\mathrm{d}y\right|<\epsilon$$

则称这个含参量反常积分在$I$上一致收敛于$\Phi (x)$

一致收敛的Cauchy准则

含参量反常积分在$I$上一致收敛的充要条件是：对任给的$\epsilon >0$，总存在某一实数$M>c$使得当$A_1,A_2>M$时，对一切$x\in I$都有

$$\left|{\int }_{A_1}^{A_2}f(x,y)\mathrm{d}y\right|<\epsilon$$

同样地，也有等价条件

$$\underset{A\to \infty }{\lim }\underset{x\in I}{\sup }\left|\Phi (\infty )-\Phi (A)\right|=\underset{A\to \infty }{\lim }\underset{x\in I}{\sup }\left|{\int }_A^{\infty }f(x,y)\mathrm{d}y\right|=0$$

Cauchy准则的否定是，存在${\epsilon }_0>0$，对任意实数$M>c$，总能找到$A_1,A_2>M$和某个数$x^{\ast }$满足

$$\left|{\int }_{A_1}^{A_2}f(x^{\ast },y)\mathrm{d}y\right|\ge {\epsilon }_0$$

若对任意$[a,b]\subset I$，含参量反常积分在$[a,b]$上一致收敛，则称该含参量反常积分在$I$上内闭一致收敛.

一个不一致收敛但是内闭一致收敛的例子是在$(0,+\infty )$上的含参量反常积分

$${\int }_0^{\infty }\frac{\sin xy}{y}\mathrm{d}y$$

这是因为在$x^{\ast }$靠近$0$的时候，有

$${\int }_{A_1}^{A_2}\frac{\sin x^{\ast }y}{y}\mathrm{d}y=x^{\ast }{\int }_{A_1}^{A_2}\frac{\mathrm{d}y}{y}=x^{\ast }\ln \frac{A_2}{A_1}$$

可以取到大于$0$的数

一致收敛的函数项级数判定

含参量反常积分在$I$上一致收敛的充要条件是，对任一趋近$+\infty$的递增数列$\left\{A_n\right\}$（其中$A_1=c$），函数项级数

$$\sum _{n=1}^{\infty }{\int }_{A_n}^{A_{n+1}}f(x,y)\mathrm{d}y=\sum _{n=1}^{\infty }{u}_n(x)$$

在$I$上一致收敛

由此，可利用函数项级数一致收敛的判别法来判定含参反常积分的一致收敛性质

大$M$判别法

设有函数$g(y)$使得

$$\left|f(x,y)\right|\le g(y),(x,y)\in I\times [c,+\infty )$$

则若${\int }_c^{\infty }g(y)\mathrm{d}y$收敛，那么${\int }_c^{\infty }f(x,y)\mathrm{d}y$在$I$上一致收敛

Dirichlet 判别法

1. 对一切实数$N>c$，含参量正常积分${\int }_c^{N}f(x,y)\mathrm{d}y$，对参量$x$在$I$上一致有界，也就是说存在正数$M$使得对一切$N>c,x\in I$都有

$$\left|{\int }_c^{N}f(x,y)\mathrm{d}y\right|<M$$

2. 对于每一个$x\in I$，函数$g(x,y)$作为$y$的单调函数，且当$y\to +\infty$时，对参量$x$一致收敛于$0$

则含参量反常积分

$${\int }_c^{+\infty }f(x,y)g(x,y)\mathrm{d}y$$

在$I$上一致收敛

Abel 判别法

1. ${\int }_c^{\infty }f(x,y)\mathrm{d}y$在$I$上一致收敛
2. 对每一个$x\in I$，函数$g(x,y)$是$y$的单调函数，且对参量$x$在$I$上一致有界 则含参量反常积分

$${\int }_c^{+\infty }f(x,y)g(x,y)\mathrm{d}y$$

在$I$上一致收敛

含参量反常积分的性质

连续性

如果$\Phi (x)$在$I$上一致收敛，则$f(x,y)$连续可以推出$\Phi (x)$连续

可微性

若

1. $f(x,y),f_x(x,y)$在区域$I\times [c,+\infty ]$上连续
2. $\Phi (x)={\int }_c^{+\infty }f(x,y)\mathrm{d}y$在$I$上收敛
3. ${\int }_c^{+\infty }{f}_x(x,y)\mathrm{d}y$在$I$上一致收敛 则$\Phi (x)$在$I$上可微，且

$${\Phi }^{\prime }(x)={\int }_c^{+\infty }{f}_x(x,y)\mathrm{d}y$$

可积性

若

1. $f(x,y)$在$[a,b]\times [c,+\infty )$上连续
2. $\Phi (x)={\int }_c^{+\infty }f(x,y)\mathrm{d}y$在$[a,b]$上一致收敛 则$\Phi (x)$在$[a,b]$上可积，且

$${\int }_a^b\Phi (x)={\int }_c^{+\infty }{\int }_a^{b}f(x,y)\mathrm{d}x\mathrm{d}y$$

例题

利用保持可微性来简化计算

要求$\underset{\alpha \to 0}{\lim }{\int }_{\alpha }^{1-\alpha }\frac{\mathrm{d}x}{1+x^2+{\alpha }^2}$，由于被积分函数连续，所以

$$\text{原式}={\int }_0^1\frac{\mathrm{d}x}{1+x^2}=\frac{\pi }{4}$$

利用含参量积分可交换性来计算积分

求$I={\int }_0^1\frac{x^b-x^a}{\ln x}\mathrm{d}x$，我们需要观察到被积函数$\frac{x^b-x^a}{\ln x}={\int }_a^b{x}^y\mathrm{d}y$，从而

$$I={\int }_0^1{\int }_a^b{x}^y\mathrm{d}y\mathrm{d}x={\int }_a^b{\int }_0^1{x}^y\mathrm{d}x\mathrm{d}y={\int }_a^b\frac{\mathrm{d}y}{y+1}=\ln \frac{1+b}{1+a}$$

引入参量来计算积分

求$I={\int }_0^1\frac{\ln (1+x)}{1+x^2}\mathrm{d}x$，则考虑含参量积分$\varphi (\alpha )={\int }_0^1\frac{\ln (1+\alpha x)}{1+x^2}\mathrm{d}x$，则有

$${\varphi }^{\prime }(\alpha )={\int }_0^1\frac{x}{(1+x^2)(1+\alpha x)}\mathrm{d}x$$

这是一个有理函数积分，我们通过待定系数法或者直接观察可以得到

$$\frac{x}{(1+x^2)(1+\alpha x)}=\frac{1}{1+{\alpha }^2}\left(\frac{x}{1+x^2}+\frac{\alpha }{1+x^2}-\frac{\alpha }{1+\alpha x}\right)$$

其中

$$\begin{array}{c}{\int }_0^1\frac{x}{1+x^2}\mathrm{d}x=\frac{1}{2}{\int }_0^1\frac{\mathrm{d}(1+x^2)}{1+x^2}=\frac{1}{2}\ln 2\\ {\int }_0^1\frac{\alpha }{1+x^2}\mathrm{d}x=\alpha \left(\arctan 1-\arctan 0\right)=\frac{\alpha \pi }{4}\\ {\int }_0^1\frac{\alpha }{1+\alpha x}\mathrm{d}x=\ln (1+\alpha )\end{array}$$

故有

$${\varphi }^{\prime }(x)=\frac{1}{1+{\alpha }^2}\left[\frac{1}{2}\ln 2+\frac{\alpha \pi }{4}-\ln (1+\alpha )\right]$$

其中第三项的积分正是我们需要的，所以计算

$${\int }_0^1{\varphi }^{\prime }(\alpha )\mathrm{d}\alpha =\frac{\pi }{8}\ln 2+\frac{\pi }{8}\ln 2-\varphi (1)$$

且${\int }_0^1{\varphi }^{\prime }(\alpha )\mathrm{d}\alpha =\varphi (1)-\varphi (0)=\varphi (1)$，故有$I=\varphi (1)=\frac{\pi }{8}\ln 2$

这里的主要思想是引入参数$\to$微分$\to$积分$\to$再积分：

1. 因为$\ln (\cdot )$这样的函数积分教我困难，所以我们希望在其变量中引入参量，方面我们之后微分后把它转化为有理函数积分
2. 在给被积函数引入参量后，我们对其求导(微分)，把它变成形式更简单的有理函数；虽然实质上如果整个有理函数再积回去和原先的函数的积分难度是相当的，但我们利用有理函数的性质我们可以方便地把原函数中容易积分的部分拆分出来，使原函数的积分问题得到简化
3. 之后对这些拆出来的部分分别积分，简单的部分可以直接求出，困难的部分可以化成和原函数有关的形式
4. 最后我们对这些参量再次积分，结合参量的边界条件，就可以给出最后的答案

这种方法被称为Feynman积分法 另一个经典的题目是求$I={\int }_0^{\pi /2}\ln (a^2{\cos }^{2}x+b^2{\sin }^{2}x)\mathrm{d}x$，这里面已经有两个参量，我们把其中的$\alpha$当作参量，然后求导有

$$\begin{array}{rl}{I}^{\prime }(a)& ={\int }_0^{\pi /2}\frac{2a{\cos }^{2}x}{a^2{\cos }^{2}x+b^2{\sin }^{2}x}\mathrm{d}x\\ & =2a{\int }_0^{\pi /2}\frac{\mathrm{d}(\tan x)}{(a^2+b^2{\tan }^{2}x)(1+{\tan }^{2}x)}\end{array}$$

这又是一个关于$\tan x$的有理函数积分，其积分结果为$I^{\prime }(a)=\frac{\pi }{a+b}$，我们再次积分

$$I(a)-I(C)={\int }_C^a\frac{\pi \mathrm{d}a}{a+b}=\pi \ln \frac{a+b}{C+b}$$

这里我们发现$C=b$时原积分$I(b)={\int }_0^{\pi /2}\ln (b^2)\mathrm{d}x=\pi \ln b$，此时就有

$$I=\pi \ln \frac{a+b}{b+b}+\pi \ln b=\pi \ln \frac{a+b}{2}$$

含参量反常积分的计算

要求$J={\int }_0^{+\infty }\exp (-px)\frac{\sin bx-\sin ax}{x}\mathrm{d}x(p>0,b>a)$，首先注意到

$$\frac{\sin bx-\sin ax}{x}={\int }_a^b\cos xy\mathrm{d}y$$

故$J={\int }_0^{+\infty }\exp (-px)\left({\int }_a^b\cos xy\mathrm{d}y\right)\mathrm{d}x={\int }_0^{+\infty }\mathrm{d}x{\int }_a^b\exp (-px)\cos xy\mathrm{d}y$，这里我们希望调换积分顺序，首先需要证明该反常积分一致收敛，注意到$\left|\exp (-px)\cos xy\right|\le \exp (-px)$且反常积分${\int }_0^{+\infty }\exp (-px)\mathrm{d}x$是收敛的，故由大M判别法整个反常积分收敛，于是$J={\int }_a^b\mathrm{d}y{\int }_0^{+\infty }\exp (-px)\cos xy\mathrm{d}x=\arctan \frac{b}{p}-\arctan \frac{a}{p}$

要计算${\int }_0^{+\infty }\frac{\sin ax}{x}\mathrm{d}x$，也可以引入参量$b=0$使得

$${\int }_0^{+\infty }\frac{\sin ax}{x}\mathrm{d}x={\int }_0^{+\infty }\frac{\sin ax-\sin bx}{x}\mathrm{d}x={\int }_0^{+\infty }\left({\int }_b^a\cos xy\mathrm{d}y\right)\mathrm{d}x$$

我们发现这里${\int }_0^{+\infty }\cos xy\mathrm{d}y$不收敛，没法积分换序，所以必须得参照上一问的方式引入函数$\exp (-px)$，在上题中令$b=0$，则有

$${\int }_0^{+\infty }\exp (-px)\frac{\sin ax}{x}\mathrm{d}x=\arctan \frac{a}{p}(p>0)$$

其中${\int }_0^{+\infty }\exp (-px)\sin ax\mathrm{d}x\le {\int }_0^{+\infty }\exp (-px)\mathrm{d}x$一致收敛且$\frac{1}{x}$单调趋于$0$，所以整个积分一致收敛，含参反常积分具有连续性，且

$$\begin{array}{rl}{\int }_0^{+\infty }\frac{\sin ax}{x}\mathrm{d}x& ={\int }_0^{+\infty }\left(\underset{p\to 0}{\lim }\exp (-px)\frac{\sin ax}{x}\right)\mathrm{d}x=\underset{p\to 0}{\lim }\left({\int }_0^{+\infty }\exp (-px)\frac{\sin ax}{x}\mathrm{d}x\right)\\ & =\underset{p\to 0}{\lim }\left(\arctan \frac{a}{p}\right)(p>0)=\frac{\pi }{2}\mathrm{sgn}(a)\end{array}$$

计算$\varphi (r)={\int }_0^{+\infty }\exp (-x^2)\cos (rx)\mathrm{d}x$，由于$\exp (-x^2)\cos (rx)\le \exp (-x^2)$且${\int }_0^{+\infty }\exp (-x^2)\mathrm{d}x=\frac{\sqrt{\pi }}{2}$一致收敛，故可以采用Feynman判别法，对参量求导

$${\varphi }^{\prime }(r)={\int }_0^{+\infty }-x\exp (-x^2)\sin (rx)\mathrm{d}x$$

由于

$$\begin{array}{ccc}\sin (rx)& \to & r\cos (rx)\\ -x\exp (-x^2)& \to & \frac{1}{2}\exp (-x^2)\end{array}$$

故可以展开为分部积分

$$\begin{array}{rl}{\varphi }^{\prime }(r)& =1\cdot \frac{1}{2}\sin (rx)\exp (-x^2){|}_0^{+\infty }+(-1)\cdot {\int }_0^{+\infty }\frac{r}{2}\cos (rx)\exp (-x^2)\mathrm{d}x\\ & =-\frac{r}{2}\varphi (r)\end{array}$$

于是$\frac{\mathrm{d}\varphi }{\varphi }=-\frac{r}{2}\mathrm{d}r⟹\varphi (r)=C\exp (-\frac{r^2}{4})$，又注意到$C=\varphi (0)={\int }_0^{+\infty }\exp (-x^2)\mathrm{d}x=\frac{\sqrt{\pi }}{2}$，于是$\varphi (r)=\frac{\sqrt{\pi }}{2}\exp (-\frac{r^2}{4})$