Idea

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

含参量正常积分

为定义在区域上的二元函数, 其中是定义在上的连续函数, 若对于上的每一个点, 作为的函数在上可积, 则其积分值可表示为

这个被称为在含参量的(正常)积分

连续性

若二元函数在矩形区域连续, 则函数

上连续

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

上连续

可微性

上连续, 而为定义在上且其值含于内的可微函数, 则函数

上可微. 特别地, 我们可以给出的微分(因为是单元函数, 所以也就是导数)

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

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

其中的原函数, 于是我们有

故有

可积性

在矩形区域上连续, 则分别在上可积. 也就是说, 在连续性假设下, 同时存在两个求积顺序不同的积分

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

含参量反常积分

复习反常积分 若对, 反常积分

都收敛, 我们就称含参量的反常积分

若对任给的, 总存在一个与无关的实数使得当时, 对一切都有

则称这个含参量反常积分在一致收敛

一致收敛的Cauchy准则

含参量反常积分在上一致收敛的充要条件是: 对任给的, 总存在某一实数使得当时, 对一切都有

同样地, 也有等价条件

Cauchy准则的否定是, 存在, 对任意实数, 总能找到和某个数满足

若对任意, 含参量反常积分在上一致收敛, 则称该含参量反常积分在内闭一致收敛.

一个不一致收敛但是内闭一致收敛的例子是在上的含参量反常积分

这是因为在靠近的时候, 有

可以取到大于的数

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

含参量反常积分在上一致收敛的充要条件是, 对任一趋近的递增数列(其中), 函数项级数

上一致收敛

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

判别法

设有函数使得

则若收敛, 那么上一致收敛

Dirichlet 判别法

  1. 对一切实数, 含参量正常积分, 对参量一致有界, 也就是说存在正数使得对一切都有
  1. 对于每一个, 函数作为的单调函数, 且当时, 对参量一致收敛于

则含参量反常积分

上一致收敛

Abel 判别法

  1. 上一致收敛
  2. 对每一个, 函数的单调函数, 且对参量上一致有界 则含参量反常积分

上一致收敛

含参量反常积分的性质

连续性

如果上一致收敛, 则连续可以推出连续

可微性

  1. 在区域上连续
  2. 上收敛
  3. 上一致收敛 则上可微, 且

可积性

  1. 上连续
  2. 上一致收敛 则上可积, 且

例题

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

要求, 由于被积分函数连续, 所以

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

, 我们需要观察到被积函数, 从而

引入参量来计算积分

, 则考虑含参量积分, 则有

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

其中

故有

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

, 故有

这里的主要思想是引入参数微分积分再积分:

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

这种方法被称为Feynman积分法 另一个经典的题目是求, 这里面已经有两个参量, 我们把其中的当作参量, 然后求导有

这又是一个关于的有理函数积分, 其积分结果为, 我们再次积分

这里我们发现时原积分, 此时就有

含参量反常积分的计算

要求, 首先注意到

, 这里我们希望调换积分顺序, 首先需要证明该反常积分一致收敛, 注意到且反常积分是收敛的, 故由大M判别法整个反常积分收敛, 于是

要计算, 也可以引入参量使得

我们发现这里不收敛, 没法积分换序, 所以必须得参照上一问的方式引入函数, 在上题中令, 则有

其中一致收敛且单调趋于, 所以整个积分一致收敛, 含参反常积分具有连续性, 且

计算, 由于一致收敛, 故可以采用Feynman判别法, 对参量求导

由于

故可以展开为分部积分

于是, 又注意到, 于是