若对在上（常义）可积则其积分定义上的一个函数记作.docVIP

第十四章 含参变量积分 含参变量的常义积分 定义14.1(含参变量常义积分)对. 若 对在上（常义）可积，则其积分定义上的一个函数，记作 把它称为含参变量（常义）积分或简称含参积分，其中称之为参变量. 在不至于引起歧义的情况下，常将含参变量的积分中被积函数的自变量省略不写，如可以将上式记成 参数的定义区间除上述的外，常用的还有等等. 是一个由含参变量的积分所确定的函数，这种形式的函数在理论和应用上都有重要作用，有许多很有用的特殊函数就是这种形式的函数. 若仅有对的可积性（对任意），则不一定具有良好的分析性质. 但是当满足适当的条件时，可以得到的一些较好的性质. 下面我们讨论这种由积分所确定的函数的连续性、可微性与可积性. 定理14.1（连续性）对. 如果在上连续，记，又记 那么在上连续，可记. 证明 ，当充分小时，（对仅考虑的单侧连续性），于是 （14.1） 因为在上连续，从而就一致连续，因此对任意，存在，使得对于这个矩形内任何两点及，只要就有 而在这个定理中，只要，那么，对一切恒成立 于是 由的任意性，得证. 即在上连续. 由这个定理得结论也就有 即在定理得条件下极限运算与积分运算可交换. 也即在该定理的条件下极限运算可以通过积分号. 上面定理说明被积函数的一致收敛性是积分运算与极限运算可交换的充分条件. 类似地，如果，记 则，证明类似于定理14.1.1 定理14. 2（可导性与求导求积的可换序性） 设及都在矩形上连续，则 证明 对于上任何一点，设也属于，那么 利用拉格朗日定理 令，再利用定理14. 1的结果，得 定理得证. 当是上的连续函数时，由定理14.1可得 分别在及上连续，因此在上可积，在上可积，记为： 它们相等吗？换言之，两个积分运算在什么条件下可交换？ 分析：若两个积分运算可交换，则，，也应有 从而它们对的导数应相等. 而上式左端的导数是 右端的导数是 它们的确相等. 于是我们可以证明下面定理： 定理14. 3（可积性与求积的可换序性）若在矩形上连续，那么 例14.1 求 解 我们知道 所以 交换积分顺序得 为了更严格地给出定理的论证，我们考虑积分限中含有参变量的积分. 如 定理14. 4（积分上下限函数的连续性） 若在矩形上连续，函数及都在上连续，并且 则 在上连续. 证明 我们考虑 当时右端第一个和第三个积分趋于零，而第二个积分正象定理14. 1的证明中那样，也趋于零，于是定理得证. 定理14.5 若函数及都在上连续，同时在上及皆存在，并且 则 证明 考虑函数在上任何一点处得导数，由于 现在分别考虑在点处得导数. 由定理14. 2可得 由于，所以 应用积分中值定理 这里在和之间. 再注意到的连续性及的可微性，于是得到 同样可以证明： 于是定理得证. 例2 设，求. 解 应用定理14. 5有： 例3 求，其中. 解 利用积分号下求导数来求这个积分. 对中任一定值，一定存在，使. 这时和是，上的连续函数，利用定理14.1.2可得 作代换，求得一个原函数 所以 上式对于中一切是成立的. 再对积分，可得 现在我们来确定常数. 由的定义可知，于是可得 最后的 . 例14.4已知阶Bessel函数 试证：. 证明 由定理14.2可得 注意到： 且 于是 ， 移项即得所要证的结果. 下面给出定理14. 3的证明. 证明 记 首先证明. 对于变动上限的积分，因为被积函数连续，所以关于上限的导数为 对于另一个积分 这里 应用定理14. 2可得 于是证明了. 所以有 （为一常数） 现在来确定常数. 令，得 于是，所以 再令，定理得证. 含参变量的积分在微分方程定解问题中常被引用. 在此我们举两个特例. 例14.5 设，则微分方程 在中有解 . 注：这是一个高阶常微分方程解的Cauchy公式. 证 应用定理14. 2，可得 直到 . 显然，，结论得证. 例14.6（二阶方程的Green函数）设 ，则 是微分方程 得解. 证 按的定义域分段得 由此可得. 根据定理14. 2， 于是 . 习 题 1. 设，计算. 2．求. 3. 设 . 求. 4. 设，