含参变量积分基础知识(1) —— 正常积分的性质

含参量积分基础知识(1) 正常积分部分

试试回答下述问题？
1.什么是含参量积分？
2.什么时候求极限和积分的顺序可以交换？为什么呢？
3.什么时候求导与积分的顺序可以交换？为什么呢？
4.什么时候关于x的积分和关于y的积分可以交换？为什么呢？

1.什么是含参量积分？$[1]$

• 对于一个定积分$I={\int }_c^{d}ydy$，往其中加入一个参数$a$，变成$I(a)={\int }_c^{d}aydy$， 其中$a\in [a_1,a_2]$。这使得每确定一个参数$a$，就会有一个$I(a)$而随之确定，就称其为定义在$[a_1,a_2]$上的含参量$a$的正常积分（简称含参量积分）
• 把上面的参数$a$换成$x$，把$I$换成$I(a)$，就得到比较常用的表示方式$$\phi (x)={\int }_c^{d}f(x,y),x\in [a_1,a_2]$$
• 更一般的，除了被积函数可以加上参数之外，积分区域也可以加上参数，就像${\int }_a^{2a}axdx$一样，仍然可以实现每确定一个参数，就有一个积分值随之确定（类似于由参数确定的函数）。这种积分上下限也带有参数的一般形式为$$\phi (x)={\int }_{c(x)}^{d(x)}f(x,y)dy,x\in [a_1,a_2]$$

2.连续性（极限和积分顺序可交换）

2.1 什么条件下成立$\underset{x\to x_0}{\lim }{\int }_c^{d}f(x,y)dy={\int }_c^d\underset{x\to x_0}{\lim }f(x,y)dy$？

当$f$连续时

2.1.1 简述理由

问题的本质是：如何证明一个极限等于一个值？

答：使用极限定义，通过减法将问题转化为$f$的一致连续问题

2.2 什么条件下成立$\underset{x\to x_0}{\lim }{\int }_{c(x)}^{d(x)}f(x,y)dy={\int }_{c(x_0)}^{d(x_0)}\underset{x\to x_0}{\lim }f(x,y)dy$

当$f(x)$和$c(x),d(x)$都连续时

2.2.1 简述理由

问题转化为：如何将上下限的函数，转化为常数的形式？这样就可以用2.1的结论了

答：用换元$y=c(x)+t(d(x)-c(x))$换掉将积分的上下限变为从 0 到 1（即第一种情况）自然得证。

3.可微性（'求导’与’积分’顺序可交换）

3.1 什么条件下成立$\frac{d}{dx}{\int }_c^{d}f(x,y)dy={\int }_c^d\frac{\partial }{\partial x}f(x,y)dy$?

答：当$f$和$f_x$都连续时

3.1.1 简述理由

（问题转化）LHS中导数定义是什么？
答：导数的定义是极限$\frac{\text{d}}{\text{d}x}{\int }_c^{d}f(x,y)dy=\underset{\Delta x\to 0}{\lim }\frac{{\int }_c^{d}f(x+\Delta x,y)dy-{\int }_c^{d}f(x,y)dy}{\Delta x}=\underset{\Delta x\to 0}{\lim }{\int }_c^d\frac{f(x+\Delta x,y)-f(x,y)}{\Delta x}dy$

（问题转化）从极限的角度，如何证明$\underset{\Delta x\to 0}{\lim }{\int }_c^d\frac{f(x+\Delta x,y)-f(x,y)}{\Delta x}dy={\int }_c^d\frac{\partial }{\partial x}f(x,y)dy$
答：只需$\underset{\Delta x\to 0}{\lim }\left|{\int }_c^d\frac{f(x+\Delta x,y)-f(x,y)}{\Delta x}dy-{\int }_c^d{f}_x(x,y)dy\right|=0$即可
// 后面自己证吧，注意使用拉氏中值定理

3.2 什么条件下成立$\frac{d}{dx}{\int }_{c(x)}^{d(x)}f(x,y)dy={\int }_{c(x)}^{d(x)}\frac{\partial }{\partial x}f(x,y)dy+f(x,d(x))d^{\prime }(x)-f(x,c(x))c^{\prime }(x)$

当$f$和$f_x$都连续，且$c(x),d(x)$都可微时

3.2.1 简述理由

（问题转化）其中有多个关于$x$的函数，如何对其求导？
答：视为复合函数$H(x,c(x),d(x))={\int }_{c(x)}^{d(x)}f(x,y)dy$，再利用复合函数求导法求导
即：$\frac{d}{dx}H(x,c,d)=\frac{dH}{dx}+\frac{dH}{dc(x)}\frac{dc(x)}{dx}+\frac{\text{d}H}{\text{d}d(x)}\frac{\text{d}d(x)}{\text{d}x}$

3.2.2 注：这个公式很重要，是被积函数和上下限积分都有参数$x$的求导公式

4.可积性（关于$x$的积分与$y$的积分交换）

4.1 什么条件下成立“二次积分可交换”，即${\int }_a^b[{\int }_c^{d}f(x,y)dy]dx={\int }_c^d[{\int }_a^{b}f(x,y)dx]dy$

答：当f连续的时候

4.1.1 简述理由

（1）如果左右两边的导数相等，那么原式积分左右最多相差一个常数k。（问题1）左右两边导数是否相等？
（2）如果能够证明这个常数k为零，就能够证明原式的两个积分相等。（问题2）如何证明这两个积分的相差的常数k=0？

答(1.1)：既然要求导，关于哪个变量求导呢？

• 将x的上限变量化才能够求导：${\phi }_1(u)={\int }_a^u[{\int }_c^{d}f(x,y)dy]dx$，${\phi }_2(u)={\int }_c^d[{\int }_a^{u}f(x,y)dx]dy$
  如果${\phi }_1(u)={\phi }_2(u)$，则原式为${\phi }_1(b)={\phi }_2(b)$是显然成立的。问题转化为如何证明${\phi }_1(u)={\phi }_2(u)$

答(1.2)：怎么证明证明他们的导数相等呢？

• 于是求导：${\phi }_1^{\prime }(u)={\int }_c^{d}f(u,y)dy$。 # 使用了变上限积分求导公式
  ${\phi }_2^{\prime }(u)={\int }_c^d[\frac{d}{du}{\int }_a^{u}f(x,y)dx]dy={\int }_c^{d}f(u,y)dy$。# 这是由于${\int }_a^{u}f(x,y)dx$连续(1)，且$f(x,y)$连续(2)，所以由可微性可知“求导和积分的顺序可以交换”。至于(1)和(2)为什么成立，答案就在本文之中哦。
• 由此可见导数确实相等，从而原函数只相差一个常数，即${\phi }_1(u)-{\phi }_2(u)=k$

答(2.1)：要证明$k=0$，只需取$u=a$，此时${\phi }_1(a)-{\phi }_2(a)=0=k$。# 证毕

4.1.2 能否考虑什么情况下，${\int }_{a(x)}^{b(x)}[{\int }_c^{d}f(x,y)dy]dx={\int }_c^d[{\int }_{a(x)}^{b(x)}f(x,y)dx]dy$

答：不行，形如${\int }_x^{2x}3xdx$是无法积分的

写完啦，回到开头试试看吧

参考：华东师范数学分析第十九章含参量积分