含参积分定理总结

含参积分定义

$${\int }_a^{b}f(x,y)dx$$

极限与积分交换顺序

设$f(x,Y)$满足（$Y$可以是向量）：

• $\forall Y,f(x,Y)$黎曼可积
• $f(x,Y)$在$Y_0$附近对于$x\in [a,b]$一致连续
  • 即$\forall \epsilon ,\exists \delta (\epsilon ,Y_0)$使得$\forall |Y-Y_0|<\delta ,x\in [a,b],满足|f(x,Y)-f(x,Y_0)|<\varepsilon $
  • 亦即$f(x,Y)$趋于$f(x,Y_0)$的"步调"对于任意$x$都是一致的

则$F(Y)={\int }_a^{b}f(x,Y)dx$在$Y_0$处连续，即极限与积分可以交换顺序
$$\underset{Y\to Y_0}{\lim }{\int }_a^{b}f(x,Y)dx={\int }_a^{b}f(x,Y_0)dx={\int }_a^b\underset{Y\to Y_0}{\lim }f(x,Y)dx$$

• 若$f(x,Y)$是二元连续函数，那么在$Y_0$处满足有界连续闭集一定一致连续，显然满足上式、

积分与求导交换顺序

设$f(x,Y)$满足：

• $f(x,Y)$关于$Y$是$C^1$函数，并且对于每个$k$，${\partial }_{Y_k}f(x,Y)$关于$Y$的连续性对任意$x\in [a,b]$一致
• $f(x,Y)$和${\partial }_{Y_k}f(x,Y)$关于$x$黎曼可积

则$F(Y)={\int }_a^{b}f(x,Y)dx$关于$Y$是$C^1$的，且对$F(Y)$求导可以变为对$f(x,Y)$求导后积分：
$${\partial }_{Y_k}{\int }_a^{b}f(x,Y)dx={\int }_a^b{\partial }_{Y_k}f(x,Y)dx$$

• 若${\partial }_{Y_k}f(x,Y)$是二元连续函数，同理满足上式

• 总结求导是类似极限的过程，因此要求${\partial }_{y}f$一致连续且可积

  • 关键步骤：

  $$\begin{gathered} {\int }_a^b(\frac{f(x,Y+t{e}_k)-f(x,Y)}{t}-{\partial }_{Y_k}f(x,Y))dx \\ ={\int }_a^b({\partial }_{Y_k}f(x,Y+k{e}_k)-{\partial }_{Y_k}f(x,Y))dx \end{gathered}$$

  • 证明运用邻域内的拉格朗日中值定理，将积分小变化作差取极限求得积分的偏导数，将极限写为中间某点的导数，再根据一致连续得到

积分与积分交换顺序

设$f:[a,b]\times [\alpha,\beta]\to \R $连续，则
$${\int }_{\alpha }^{\beta }{\int }_a^{b}f(x,y)dxdy={\int }_a^b{\int }_{\alpha }^{\beta }f(x,y)dydx$$
证明：

• $F(u)={\int }_{\alpha }^{\beta }{\int }_a^{u}f(x,y)dxdy-{\int }_a^u{\int }_{\alpha }^{\beta }f(x,y)dydx$
• $F(a)=0,F^{\prime }(u)=0$，则$F(u)=0$

含参广义积分定义

$$\begin{gathered} {\int }_a^{+\infty }f(x,y)dx \\ {\int }_a^{b}f(x,y)dx,f(x,y)在x=a或b处无界 \end{gathered}$$

累次极限交换顺序

对于$f(x,y)$在$x_0,y_0$的的去心邻域内：

• ${\lim }_{y\to y_0}f(x,y)=\phi (x)$对$x$一致
  • $|f(x,y)-\phi (x)|<\epsilon$只需要满足$|y-y_0|<\delta$，$x$任意
• ${\lim }_{x\to x_0}f(x,y)=\psi (y)$

则${\lim }_{x\to x_0}\phi (x)={\lim }_{y\to y_0}\psi (y)$即：
$$\underset{x\to x_0}{\lim }\underset{y\to y_0}{\lim }f(x,y)=\underset{y\to y_0}{\lim }\underset{x\to x_0}{\lim }f(x,y)$$
特别的若$f(x,y)$在$x_0$连续，那么$\phi (x)$在$x_0$连续（由于一致性）

广义积分与极限交换顺序

设$f(x,y)$满足：

• ${\int }_a^{+\infty }f(x,y)dx={\lim }_{A\to +\infty }{\int }_a^{A}f(x,y)dx$关于$y$一致收敛（极限与目标的差与$y$无关）
• $\forall A>a,{\lim }_{y\to y_0}f(x,y)=\phi (x)$关于$x\in [a,A]$一致收敛（极限与目标的差与$x$无关）

则${\int }_a^{+\infty }\phi (x)dx$收敛，且：
$$\underset{y\to y_0}{\lim }{\int }_a^{+\infty }f(x,y)dx={\int }_a^{+\infty }\phi (x)dx={\int }_a^{+\infty }\underset{y\to y_0}{\lim }f(x,y)dx$$
简单理解：

• 第一个条件保证${\lim }_{y\to y_0}{\int }_a^{+\infty }f(x,y)dx$存在
• 第二个条件$\phi (x)$一致收敛保证${\int }_a^{+\infty }\phi (x)dx$存在
• 设$F(y,A)={\int }_a^{A}f(x,y)dx$，那么上式两个极限就是$y\to y_0,A\to +\infty$分别求极限（顺序不同）的结果
• 由于满足一致性，且两个极限都存在，所以可以交换极限顺序

推论：

• ${\int }_a^{+\infty }f(x,y)dx$关于$y$一致收敛，且$f(x,y)$二元连续（则一致连续），则同样可以交换积分与极限顺序

广义积分与定积分交换顺序

设$f(x,y)$满足

• 二元连续
• ${\int }_a^{+\infty }f(x,y)dx$关于$y\in [\alpha ,\beta ]$一致收敛

则${\int }_a^{+\infty }({\int }_{\alpha }^{\beta }f(x,y)dy)dx$收敛且
$${\int }_a^{+\infty }({\int }_{\alpha }^{\beta }f(x,y)dy)dx={\int }_{\alpha }^{\beta }({\int }_a^{+\infty }f(x,y)dx)dy$$
简单理解：

• 在两个定积分交换顺序的条件——二元连续下多了对${\int }_a^{+\infty }f(x,y)dx$关于$y$的一致收敛的要求
• 因为${\int }_a^{+\infty }f(x,y)dx$本身是求极限，极限套积分就要求一致收敛了

广义积分与广义积分交换顺序

设$f(x,y)$满足

• 二元连续

• ${\int }_a^{+\infty }f(x,y)dx$关于$y\in [\alpha ,+\infty )$一致收敛

• ${\int }_{\alpha }^{+\infty }f(x,y)dy$关于$x\in [a,+\infty )$一致收敛

• ${\int }_a^{+\infty }{\int }_{\alpha }^{+\infty }f(x,y)dydx$收敛

则${\int }_{\alpha }^{+\infty }{\int }_a^{+\infty }f(x,y)dxdy$收敛且
$${\int }_{\alpha }^{+\infty }{\int }_a^{+\infty }f(x,y)dxdy={\int }_a^{+\infty }{\int }_{\alpha }^{+\infty }f(x,y)dydx$$
简单理解：

• 在广义积分与定积分交换顺序的条件上增加了另一个极限的一致收敛

广义积分与求导交换顺序

设$f(x,y,z)$满足：

• $f(x,y,z),{\partial }_{y}f(x,y,z)$连续
• ${\int }_a^{+\infty }f(x,y_0,z)dx$对$z$一致收敛
• ${\int }_a^{+\infty }{\partial }_{y}f(x,y,z)dx$对$(y,z)$一致收敛

则${\int }_a^{+\infty }f(x,y,z)dx$对$(y,z)$一致收敛，且关于$y$在$y_0$处可微，且：
$$\frac{\partial }{\partial y}({\int }_a^{+\infty }f(x,y,z)dx){|}_{y=y_0}={\int }_a^{+\infty }\frac{\partial f}{\partial y}(x,y_0,z)dx$$
简单理解：

• 连续的条件保证积分存在
• 对${\int }_a^{+\infty }f(x,y_0,z)dx$的条件比较弱，但是对${\int }_a^{+\infty }{\partial }_{y}f(x,y,z)dx$的条件比较强
• 证明关键（${\partial }_{y}f$关于$y,z$的一致收敛使得可以交换积分顺序）
  • 莱布尼茨公式

$$\begin{gathered} {\int }_a^{+\infty }f(x,y_0,z)dx+{\int }_{y_0}^y{\int }_a^{+\infty }{\partial }_{y}f(x,t,z)dxdt \\ ={\int }_a^{+\infty }f(x,y_0,z)dx+{\int }_a^{+\infty }{\int }_{y_0}^y{\partial }_{y}f(x,t,z)dxdt \\ ={\int }_a^{+\infty }f(x,y,z)dx \end{gathered}$$

一致收敛判别法

Weierstrass强函数定理：

• 设$|f(x,y)|\le g(x)$，${\int }_a^{+\infty }g(x)dx$收敛，则
  • ${\int }_a^{+\infty }f(x,y)dx$一致绝对收敛
• 证明用柯西准则

Dirichlet判别法：

• 设$g(x,y)$关于$x$单调减，且${\lim }_{x\to +\infty }g(x,y)=0$收敛对$y$一致
• ${\int }_a^{A}f(x,y)dx$关于$(A,y)$一致有界，则
  • ${\int }_a^{+\infty }f(x,y)g(x,y)dx$关于$y$一致收敛

Abel判别法

• 设$g(x,y)$关于$x$单调减，且关于$y$一致有界
• ${\int }_a^{+\infty }f(x,y)dx$关于$y$一致收敛，则
  • ${\int }_a^{+\infty }f(x,y)g(x,y)dx$关于$y$一致收敛

总结：

• 以上判别法在一元积分的基础上增加了对参数的一致性的要求