25春-第16次习题课 · 数学分析(B2)汇总

1知识回顾

尽管这一章的内容常作为压轴题进行考察，但其解答套路基本没什么变化，这次我们简要作一个总结.

1.1 反常积分的敛散性判断

首先注意应优先判断函数 $f (x)$ 在积分的上限和下限是否分别为无穷点或奇点. 若两端均为无穷点或奇点，则任选区间中一连续点分割区间，分别研究两个反常积分的敛散性. 以 $f (x)$ 在 $[a, + \infty)$ 上的积分为例（ $a$ 并非 $f (x)$ 的奇点），常用的判别法有以下几类：

1.
比较判别法：若 $∣ f (x) ∣ < g (x)$ 且 $\int_{a}^{+ \infty} g (x) d x$ 收敛，则 $\int_{a}^{+ \infty} f (x) d x$ （绝对）收敛. 其渐进形式为：若 $f (x) \sim k g (x) (x \to + \infty)$ 且 $\int_{a}^{+ \infty} g (x) d x$ 收敛，则 $\int_{a}^{+ \infty} f (x) d x$ 收敛. 当用到比较判别法时，最将被积函数与 $p$ -级数进行比较：

$\int_{0}^{a} \frac{d x}{x ^{p}} 收敛 ⟺ p < 1,$
(1.1)
$\int_{a}^{+ \infty} \frac{d x}{x ^{p}} 收敛 ⟺ p > 1.$
(1.2)
2.
Dirichlet判别法：对于 $\int_{a}^{+ \infty} f (x) g (x) d x$ ，若对于 $\forall b > a$ ， $\int_{a}^{b} f (x) d x$ 有界，且 $\exists b^{'} ⩾ a$ 使得 $g (x)$ 在 $[b^{'}, + \infty)$ 内单调递减趋于零，则该广义积分收敛. 这一判别法常用于被积函数中含有 $sin x, cos x$ 的项，令 $f (x) = sin x$ 即可.
3.
Abel判别法：对于 $\int_{a}^{+ \infty} f (x) g (x) d x$ ，若 $\int_{a}^{+ \infty} f (x) d x$ 收敛，且 $\exists b ⩾ a$ 使得 $g (x)$ 在 $[b, + \infty)$ 内单调递减且有界，则该广义积分收敛. 这一判别法常用于以下两类情形：
1. (1)
  被积函数为 $ln p_{m} (x) / p_{n} (x)$ 型，其中 $p_{n} (x)$ 为最高 $n$ 次的多项式函数. 利用 $x \to + \infty$ 时 $x^{α} ≫ ln p_{m} (x) (\forall α > 0)$ 的结论，选取合适的 $α$ （常用 $α = 1/2$ ），构造 $g (x) = ln p_{m} (x) / x^{α}$ 证明其在 $x$ 充分大时单调有界即可.
2. (2)
  被积函数含常用广义积分，如Dirichlet积分 $\int_{0}^{+ \infty} \frac{sin x}{x} d x$ ，此时可构造 $f (x) = sin x / x$ ，剩余项为 $g (x)$ .

1.2 含参变量反常积分的敛散性判断

含参变量的常义积分中，二元被积函数的连续性往往是显然的，因此基本不作为考察对象. 对于含参变量的反常积分，常有以下三种一致收敛性判别法：

1.
Weierstrass判别法：对于 $\int_{a}^{+ \infty} f (x, u) d x, u \in [α, β]$ ，若 $∣ f (x, u) ∣ ⩽ g (x)$ 对 $\forall u \in [α, β]$ 成立且 $\int_{a}^{+ \infty} g (x) d x$ 收敛，则该反常积分一致收敛， $g (x)$ 称为 $f (x, u)$ 的控制函数. 这一判别法是最常用的判别法，往往使用不等式放缩就容易判断其敛散性.
2.
Dirichlet判别法：对于 $\int_{a}^{+ \infty} f (x, u) g (x, u) d x$ ，若对于 $\forall b > a$ ， $\int_{a}^{+ \infty} f (x, u) d x$ 在 $u \in [α, β]$ 上一致有界，且 $\exists b^{'} ⩾ a$ 使得 $g (x, u)$ 在 $x \in [b^{'}, + \infty)$ 内单调递减且一致趋于零，则该广义积分一致收敛.
3.
Abel判别法：对于 $\int_{a}^{+ \infty} f (x, u) g (x, u) d x$ ，若 $\int_{a}^{+ \infty} f (x, u) d x$ 在 $u \in [α, β]$ 上一致收敛，且 $\exists b ⩾ a$ 使得 $g (x, u)$ 在 $[b, + \infty)$ 内单调递减且一致有界，则该广义积分一致收敛.

1.3 一致收敛含参变量反常积分的分析性质

若 $F (u) = \int_{a}^{+ \infty} f (x, u) d u$ 在 $[α, β]$ 上一致收敛，则有

1.
连续性： $F (u_{0}) = u \to u_{0} lim F (u)$ ，即

$u \to u_{0} lim \int_{a}^{+ \infty} f (x, u) d x = \int_{a}^{+ \infty} f (x, u_{0}) d x .$
(1.3)
2.
可积性：对于 $\forall [α_{0}, β_{0}] \subset [α, β]$ ，有

$\int_{α_{0}}^{β_{0}} d u \int_{a}^{+ \infty} f (x, u) d x = \int_{a}^{+ \infty} d x \int_{α_{0}}^{β_{0}} f (x, u) d u .$
(1.4)
3.
可微性：若 $\int_{a}^{+ \infty} \frac{\partial f ( x , u )}{\partial u} d x$ 在 $(α, β)$ 上收敛（不要求一致收敛），则 $F (u)$ 可微，且

$F^{'} (u) = \int_{a}^{+ \infty} \frac{\partial f ( x , u )}{\partial u} d x .$
(1.5)

1.4 内闭一致收敛与非一致收敛

有些含参变量的返厂积分在特定区间上并不一致收敛，如Dirichlet积分 $\int_{0}^{+ \infty} \frac{sin ( t x )}{x} d x$ 在 $(0, + \infty)$ 上非一致收敛，但在 $\forall [ε, + \infty) \subset (0, + \infty)$ 内一致收敛. 但事实上，连续性和可微性为局域性质，实际上并不需要通过证明含参变量的反常积分一致收敛以证明这些性质. 因此，对于区域内的任意参数取值，证明存在其一致收敛的区域再运用分析性质即可，即引入内闭一致收敛是有必要的. 例如若被积函数的分子含有 $ln (1 + t x)$ 项，对 $\forall t$ ，可证明其在 $[0, T]$ 内一致收敛.

1.5 Euler积分

两类Euler积分分别为

1.
$Γ$ 函数： $Γ (x) = \int_{0}^{+ \infty} t^{x - 1} e^{- t}$ ，其收敛域为 $(0, + \infty)$ .
2.
B函数：

$B (p, q) = \int_{0}^{1} t^{p} - 1 (1 - t)^{q - 1} d t = \int_{0}^{+ \infty} \frac{z ^{q - 1}}{( 1 + z ) ^{p + q}} d z = 2 \int_{0}^{π /2} sin^{2 p - 1} θ cos^{2 q - 1} θ d θ,$
(1.6)

三种形式均需要记忆.

常用的相关公式有

1.
$B (p, q) = Γ (p) Γ (q) /Γ (p + q)$ .
2.
余元公式： $Γ (x) Γ (1 - x) = π / sin π x (0 < x < 1)$ .

2作业讲解

1.
(13.1.1) 判断下列反常积分的收敛性：
1. (10)
  $\int_{0}^{1} \frac{d x}{e ^{x} - 1}$ .
  
  解
  由比较判别法的极限形式，当 $x \to 0^{+}$ 时， $e^{x} - 1 \sim x$ ，而 $\int_{0}^{1} \frac{d x}{x} = 2$ 收敛，故原反常积分收敛.
2. (14)
  $\int_{0}^{π /2} \frac{ln sin x}{x} d x$ .
  解
  这里给出两种方法：
  1. i.
    先进行分部积分，可得
    
    $原式 = 2 x ln sin x 0^{π /2} - 2 \int_{0}^{π /2} \frac{x cos x}{sin x} d x = - 2 \int_{0}^{π /2} \frac{x cos x}{sin x} d x,$
    (2.1)
3. (15)
  $\int_{0}^{+ \infty} \frac{arctan x}{x ^{μ}} d x$ .
2.
(13.3.4) 应用对参数进行微分或积分的方法，计算下列积分：
1. (2)
  $\int_{0}^{π} ln (1 - 2 a cos x + a^{2}) d x$ .
3.
(13.4.8) 利用 $\int_{0}^{+ \infty} e^{- x^{2}} d x = \frac{π}{2}$ 及 $\int_{0}^{+ \infty} \frac{sin x}{x} d x = \frac{π}{2}$ 计算：
1. (1)
  $\int_{- \infty}^{+ \infty} \frac{x}{2 π σ} e^{- (x - a)^{2} /2 σ^{2}} d x (σ > 0)$ .
4.
(13.5.3) 利用Euler积分计算：
1. (6)
  $\int_{0}^{π /2} tan^{2} α x d x (∣ α ∣ < 1)$ .
5.
计算极限

$α \to + \infty lim α \int_{0}^{1} x^{3/2} (1 - x^{5})^{α} d x .$
(2.2)
6.
设 $a > 0$ ，试求由曲线 $x^{n} + y^{n} = a^{n}$ 和两坐标轴所围成的平面图形在第一象限的面积.

3真题集萃

1.
(23-24期末 $T_{2}$ ) 设 $φ (t) = \int_{0}^{+ \infty} \frac{ln ( 1 + t x )}{1 + x ^{2}} d x$ ，其中 $t > 0$ .
1. (1)
  求证：对于任何的 $T > 0$ ，广义积分 $\int_{0}^{+ \infty} \frac{ln ( 1 + t x )}{1 + x ^{2}} d x$ 在区间 $(0, T]$ 上一致收敛.
2. (2)
  求证：对任意的 $t > 0$ ，有
  
  $φ (t) = φ (\frac{1}{t}) + \frac{π}{2} ln t .$
  (3.1)
2.
(22-23期末 $T_{1}$ (3)) 求极限： $n \to \infty lim \int_{0}^{+ \infty} e^{- x^{n}} d x$ .
3.
(22-23期末 $T_{6}$ ) 设

$φ (t) = \int_{0}^{\infty} \frac{ln ( 1 + t x )}{x ( x + 1 )} d x (t ⩾ 0) .$
(3.2)
1. (1)
  证明： $φ (t)$ 在 $(0, + \infty)$ 上有连续的导函数.
2. (2)
  计算 $φ (1)$ 的值.
4.
(18-19期末 $T_{8}$ ) 设 $F (t) = \int_{0}^{+ \infty} \frac{sin t x}{1 + x ^{2}} d x$ ，求证：
1. (1)
  $F (t)$ 在 $(0, + \infty)$ 上连续.
2. (2)
  $F (t)$ 在 $(0, + \infty)$ 上可导.
3. (3)
  $F (t)$ 在 $(0, + \infty)$ 上二阶可导且满足方程
  
  $F^{''} (t) - F (t) = - \frac{1}{t} .$
  (3.3)
5.
(17-18期末 $T_{8}$ ) 设 $∣ α ∣ \neq = 1$ . 证明：积分 $\int_{0}^{+ \infty} \frac{sin x sin α x}{x} d x$ 收敛，并求其值.
6.
(12-13期末 $T_{6}$ ) 求证： $f (x) = \int_{0}^{+ \infty} \frac{cos t}{1 + ( x + t ) ^{2}} d t$ 在 $0 ⩽ x < + \infty$ 上有二阶连续导数且满足微分方程

$f^{''} (x) + f (x) = \frac{2 x}{( 1 + x ^{2} ) ^{2}} .$
(3.4)