数学分析 含参量积分(第19章)

一.含参量正常积分
1.含参量积分的概念:

注:①在建立含参量的概念和讨论其连续性/可微性时,矩形区域$[a,b]\times [c,d]$可更改为更一般的区域$I\times [c,d]$,其中$I$为区间

2.含参量积分的连续性:

定理19.1:若二元函数$f(x,y)$在矩形区域$R=[a,b]\times [c,d]$上连续,则函数$$\phi (x)={\int }_c^{d}f(x,y)dy$$在$[a,b]$上连续


该定理的结论也可写成如下形式:若$f(x,y)$在矩形区域$R$上连续,则对$\forall x_0\in [a,b]$,都有$$\underset{x\to x_0}{\lim }{\int }_c^{d}f(x,y)dx={\int }_c^d\underset{x\to x_0}{\lim }f(x,y)dy$$
这个结论表明:定义在矩形区域上的连续函数,其极限运算和积分运算的顺序可交换

定理19.2:设二元函数$f(x,y)$在区域 G = { ( x , y )   ∣   c ( x ) ≤ y ≤ d ( x ) , a ≤ x ≤ b } G=\{(x,y)\,|\,c(x)≤y≤d(x),a≤x≤b\} G={(x,y)∣c(x)≤y≤d(x),a≤x≤b}上连续,其中$c(x),d(x)$为$[a,b]$上的连续函数,则函数$$F(x){\int }_{c(x)}^{d(x)}f(x,y)dy(6)$$在$[a,b]$上连续

3.含参量积分的可微性:

定理19.3:若函数$f(x,y)$与其偏导数$\frac{\partial }{\partial x}f(x,y)$都在矩形区域$R=[a,b]\times [c,d]$上连续,则$$\phi (x)={\int }_c^{d}f(x,y)dy$$在$[a,b]$上可微,且$$\frac{d}{dx}{\int }_c^{d}f(x,y)dy={\int }_c^d\frac{\partial }{\partial x}f(x,y)dy$$

定理19.4:设$f(x,y),f_x(x,y)$在$R=[a,b]\times [c,d]$上连续,$c(x),d(x)$为定义在$[a,b]$上的值含于$[p,q]$内的可微函数,则函数$$F(x)={\int }_{c(x)}^{d(x)}f(x,y)dy$$在$[a,b]$上可微,且$$F^{\prime }(x)={\int }_{c(x)}^{d(x)}{f}_x(x,y)dy+f(x,d(x))d^{\prime }(x)-f(x,c(x))c^{\prime }(x)(7)$$

4.含参量积分的可积性:

定理19.5:若$f(x,y)$在矩形区域$R=[a,b]\times [c,d]$上连续,则$\phi (x),\psi (y)$分别在$[a,b],[c,d]$上可积
这就是说:在$f(x,y)$连续的假设下,同时存在2个求积顺序不同的积分:$${\int }_a^b[{\int }_c^{d}f(x,y)dy]dx,{\int }_c^d[{\int }_a^{b}f(x,y)dx]dy$$分别记为$${\int }_a^{b}dx{\int }_c^{d}f(x,y)dy,{\int }_c^{d}dy{\int }_a^{b}f(x,y)dx$$前者表示$f(x,y)$先对$y$积分再对$x$积分,后者表示$f(x,y)$先对$x$积分再对$y$积分;它们统称为累次积分,或者更确切地称为二次积分
同理,若$f(x,y)$在区域 G = { ( x , y )   ∣   c ( x ) ≤ y ≤ d ( x ) , a ≤ x ≤ b } T = { ( x , y )   ∣   a ( y ) ≤ x ≤ b ( y ) , c ≤ y ≤ d } G=\{(x,y)\,|\,c(x)≤y≤d(x),a≤x≤b\}\\T=\{(x,y)\,|\,a(y)≤x≤b(y),c≤y≤d\} G={(x,y)∣c(x)≤y≤d(x),a≤x≤b}T={(x,y)∣a(y)≤x≤b(y),c≤y≤d}上连续,则$F(x),\Gamma (y)$分别在$[a,b],[c,d]$上可积

定理19.6:若$f(x,y)$在矩形区域$R=[a,b]\times [c,d]$上连续,则$${\int }_a^{b}dx{\int }_c^{d}f(x,y)dy={\int }_c^{d}dy{\int }_a^{b}f(x,y)dx(8)$$

二.含参量反常积分
1.概念:



2.一致收敛性及其判别法
(1)一致收敛性:


(2)内闭一致收敛:

(3)一致收敛的充要条件:

定理19.7(一致收敛的柯西准则):含参量反常积分(1)在$I$上一致收敛的充要条件是:对$\forall \epsilon >0,\exists M\in R(M>c)$,使得当$A_1,A_2>M$时,对$\forall \in I$,都有$$|{\int }_{A_1}^{A_2}f(x,y)dy|<\epsilon (3)$$

定理19.8:含参量反常积分(1)在$I$上一致收敛的充要条件是:$$\underset{A\to +\infty }{\lim }F(A)=0$$其中$F(A)=su{p}_{x\in I}|{\int }_A^{+\infty }f(x,y)dy|$

定理19.9:含参量反常积分(1)在$I$上一致收敛的充要条件是:对任一趋于$+\infty$的递增数列 { A n } ( \{A_n\}( {An​}(其中$A_1=c)$,函数项级数$$\sum _{n=1}^{\infty }{\int }_{A_n}^{A_{n+1}}f(x,y)dy=\sum _{n=1}^{\infty }{u}_n(x)(6)$$在$I$上一致收敛

(4)含参量反常积分的一致收敛性判别法:

通过定理19.9将含参量反常积分一致收敛的问题转换成函数项级数一致收敛的问题后,各判别法的证明问题就转换成了函数项级数的相应判别法的证明问题

魏尔斯特拉斯$M$判别法:设有函数$g(y)$,使得$$|f(x,y)|\le g(y)((x,y)\in I\times [c,+\infty ))$$若${\int }_c^{+\infty }g(y)dy$收敛,则${\int }_c^{+\infty }f(x,y)dy$在$I$上一致收敛

狄利克雷判别法:设
①对一切实数$N>c$,含参量正常积分$${\int }_v^{N}f(x,y)dy$$对参量$x$在$I$上一致有界,即$\exists M>0$,对$\forall N>c$及$\forall x\in I$,都有$$|{\int }_v^{N}f(x,y)dy|<M$$
②对每个$x\in I,g(x,y)$为$y$的单调函数,且当$y\to +\infty$时,$g(x,y)$对参量$x$一致收敛于0
则含参量反常积分$${\int }_c^{+\infty }f(x,y)g(x,y)dy$$在$I$上一致收敛

阿贝尔判别法:设
①${\int }_c^{+\infty }f(x,y)dy$在$I$上一致收敛
②对每个$x\in I,g(x,y)$为$y$的单调函数,且$g(x,y)$在$I$上对参量$x$一致有界
则含参量反常积分$${\int }_c^{+\infty }f(x,y)g(x,y)dy$$在$I$上一致收敛

3.含参量反常积分的性质
(1)连续性:

定理19.10:设$f(x,y)$在$I\times [c,+\infty ]$上连续,若$$\Phi (x)={\int }_c^{+\infty }f(x,y)dy(12)$$在$I$上一致收敛(或内闭一致收敛),则$\Phi (x)$在$I$上连续


该定理表明:在一致收敛的条件下,极限运算和无穷积分运算可以交换$$\underset{x\to x_0}{\lim }{\int }_c^{+\infty }f(x,y)dy={\int }_c^{+\infty }f(x_0,y)dy={\int }_c^{+\infty }\underset{x\to x_0}{\lim }f(x,y)dy$$

(2)可微性:

定理19.11:设$f(x,y),f_x(x,y)$在$I\times [c,+\infty ]$上连续,若$$\Phi (x)={\int }_c^{+\infty }f(x,y)dy$$在$I$上收敛,同时$${\int }_c^{+\infty }{f}_x(x,y)dy$$在$I$上一致收敛(或内闭一致收敛),则$\Phi (x)$在$I$上可微,且$${\Phi }^{\prime }(x)={\int }_c^{+\infty }{f}_x(x,y)dy(15)$$

该定理表明:在定理条件下,求导运算和无穷积分运算可以交换

(3)可积性:

定理19.12:设$f(x,y)$在$[a,b]\times [c,+\infty ]$上连续,若$$\Phi (x)={\int }_c^{+\infty }f(x,y)dy$$在$[a,b]$上一致收敛,则$\Phi (x)$在$[a,b]$上可积,且$${\int }_a^{b}dx{\int }_c^{+\infty }f(x,y)dy={\int }_c^{+\infty }dy{\int }_a^{b}f(x,y)dx(16)$$

定理19.13:设$f(x,y)$在$[a,+\infty ]\times [c,+\infty ]$上连续,若
①${\int }_a^{+\infty }f(x,y)dx$在$[c,+\infty ]$上关于$y$内闭一致收敛,${\int }_c^{+\infty }f(x,y)dy$在$[a,+\infty ]$上关于$x$内闭一致连续
②积分$${\int }_a^{+\infty }dx{\int }_c^{+\infty }|f(x,y)|dy,{\int }_c^{+\infty }dy{\int }_a^{+\infty }|f(x,y)|dx(18)$$中有1个收敛,则$${\int }_a^{+\infty }dx{\int }_c^{+\infty }f(x,y)dy,{\int }_c^{+\infty }dy{\int }_a^{+\infty }f(x,y)dx(19)$$

三.欧拉积分
1.$\Gamma$函数

(1)$\Gamma$函数在定义域上连续且可导:


(2)$\Gamma$函数的递推公式为$\Gamma (s+1)=s\Gamma (s)$:

(3)$\Gamma$函数的图像:


(4)延拓$\Gamma (s)$:


(5)$\Gamma (s)$的其他形式:

2.$B$函数

(1)$B(p,q)$在定义域内连续:

(2)对称性:

$B(p,q)=B(q,p)$

(3)递推公式:

$B(p,q)=\frac{q-1}{p+q-1}B(p,q-1)(p>0,q>1)(9)$
$B(p,q)=\frac{p-1}{p+q-1}B(p-1,q)(p>1,q>0)(10)$
$B(p,q)=\frac{(p-1)(q-1)}{(p+q-1)(p+q-2)}B(p-1,q-1)(p>1,q>1)$

(4)$B(p,q)$的其他形式:

3.$\Gamma$函数与$B$函数间的关系: