Apoyu 's Blog

💡 痛点剖析：为什么必须“一刀切开”？#

许多同学在证明这个收敛性时无从下手，因为他们忽略了一个核心细节：积分区间 $[0, 1]$ 的两个端点都可能是奇点（特异点）！

• 当 $0 < p < 1$ 时，在端点 $x=0$ 处，$x^{p-1} = \frac{1}{x^{1-p}} \to \infty$。
• 当 $0 < q < 1$ 时，在端点 $x=1$ 处，$(1-x)^{q-1} = \frac{1}{(1-x)^{1-q}} \to \infty$。

根据广义积分的理论，如果一个积分在区间的两端都存在奇点，我们不能直接对整个区间使用比较审敛法。 必须在区间内部选取任意一点（通常取中点 $x = \frac{1}{2}$），将积分拆分为两部分：

只要能证明 $I_1$ 和 $I_2$ 分别收敛，那么 $B(p, q)$ 整体自然收敛。

✏️ 详细证明步骤：#

(i) 情况 1：当 $p \ge 1$ 且 $q \ge 1$ 时 此时，被积函数 $f(x) = x^{p-1}(1-x)^{q-1}$ 在闭区间 $[0, 1]$ 上是连续的，没有奇点。因此，这只是一个普通的定积分，必定存在且收敛。

(ii) 情况 2：当 $0 < p < 1$ 时，证明 $I_1$ 的收敛性 对于积分 $I_1 = \int_0^{1/2} x^{p-1}(1-x)^{q-1} dx$，唯一的奇点位于下限 $x=0$。

为了判断其敛散性，我们引入极限审敛法（比较审敛法的极限形式）。将 $I_1$ 的被积函数与标准 $p$-积分 $\int_0^{1/2} \frac{1}{x^{1-p}} dx$ 进行对比。 我们考察极限：

（因为当 $x \to 0$ 时，$(1-0)^{q-1} = 1$）。 该极限存在且为一个非零常数。而我们知道，标准的 $\int_0^{1/2} \frac{1}{x^{1-p}} dx$ 的指数为 $1-p$。因为当 $0 < p < 1$ 时，显然有：

根据奇点在下限 of 比较审敛法，当指数小于 $1$ 时积分收敛。因此，$I_1$ 在 $p>0$ 时必定收敛。

(注：书本证明中，令 $[0, 1/2]$ 上连续函数 $(1-x)^{q-1}$ 的最大值为 $M$，从而直接写出 $x^{1-p}\{x^{p-1}(1-x)^{q-1}\} < M$。这其实就是极限审敛法的有界性表述，逻辑完全相通。)

(iii) 情况 3：证明 $I_2$ 的收敛性 对于积分 $I_2 = \int_{1/2}^1 x^{p-1}(1-x)^{q-1} dx$，奇点位于上限 $x=1$（当 $0 < q < 1$ 时）。

这里我们可以用一个非常巧妙的几何对称技巧——换元法。 令 $t = 1 - x$，则有 $dx = -dt$。当 $x = 1/2 \to t = 1/2$，当 $x = 1 \to t = 0$。代入 $I_2$ 得到：

仔细端详这个新积分！它与 $I_1$ 的形式完全一致，只是将参数 $p$ 和 $q$ 的位置进行了对调。 由于我们已经证得 $I_1$ 在 $p>0$ 时收敛，所以同理可知，$I_2$ 在 $q>0$ 时必定收敛。

✨ 总结： 因为 $I_1$ 和 $I_2$ 分别在 $p>0$ 和 $q>0$ 时收敛，所以它们的和 $B(p, q) = I_1 + I_2$ 在 $p>0, q>0$ 时整体收敛！

📝 问题 28.1：计算下列贝塔函数的值#

(1) 计算 $B\left(\frac{1}{2}, 1\right) = \int_0^1 x^{-1/2} dx$

这是最基础的幂函数积分。直接代入公式计算：

(2) 计算 $B\left(\frac{1}{2}, \frac{1}{2}\right) = \int_0^1 \frac{1}{\sqrt{x(1-x)}} dx$

这个积分非常经典，分母含有二次根式，正常人的直觉是使用三角换元法来消除根号！

令 $x = \sin^2\theta$，那么 $dx = 2\sin\theta\cos\theta d\theta$。

• 当 $x = 0$ 时，$\theta = 0$；
• 当 $x = 1$ 时，$\theta = \frac{\pi}{2}$。

将被积函数中的各项换掉：

• $\sqrt{x(1-x)} = \sqrt{\sin^2\theta (1 - \sin^2\theta)} = \sqrt{\sin^2\theta \cos^2\theta} = \sin\theta\cos\theta$（在 $\theta \in [0, \pi/2]$ 上，正余弦皆为正）。

代入原积分：

这不仅算出了答案，也为我们后面学习“伽马函数与贝塔函数的关系”埋下了伏笔（也就是那个著名的 $\Gamma(1/2) = \sqrt{\pi}$）。

📝 问题 28.2：证明关于 $B(p, q)$ 的重要等式#

(1) 证明：$B(p, q) = B(q, p)$ （对称性）

这行性质表明贝塔函数的两个参数是可以无缝互换的。证明只需要最简单的换元法：

根据定义：

令 $t = 1 - x$，则 $dx = -dt$。

• 当 $x = 0 \to t = 1$；
• 当 $x = 1 \to t = 0$。

代入积分式：

根据定积分的字母无关性，将 $t$ 重新写回成 $x$：

(2) 证明：$B(p+1, q) = \frac{p}{q} B(p, q+1)$ （递推公式）

这个公式要把参数 $p+1$ 和 $q$ 转移成 $p$ 和 $q+1$。参数的增减强烈暗示了我们要使用分部积分法（Integration by parts）！

我们从左边出发：

我们要给 $x^p$ 求导（降低幂次凑出 $x^{p-1}$），同时把 $(1-x)^{q-1}$ 积分（升高幂次凑出 $(1-x)^q$）。 设定分部积分项：

• 令 $u = x^p \implies du = p x^{p-1} dx$
• 令 $dv = (1-x)^{q-1} dx \implies v = -\frac{(1-x)^q}{q}$

套用分部积分公式 $\int u dv = uv - \int v du$：

我们先来看前面括号里的端点值部分 $\left[ -x^p \frac{(1-x)^q}{q} \right]_0^1$：

• 当代入上限 $x=1$ 时，由于存在因子 $(1-x)^q$ 且 $q>0$，这一项为 $0$；
• 当代入下限 $x=0$ 时，由于存在因子 $x^p$ 且 $p>0$，这一项也为 $0$。

因此，第一项在两个端点的值全部为 0！

剩下的积分项整理一下，把常数提到外面：

这正好就是贝塔函数的定义式，只是参数分别为了 $p$ 和 $q+1$！

(3) 证明：当 $m, n$ 为自然数时， $B(m, n) = \frac{(m-1)!(n-1)!}{(m+n-1)!}$

这个公式极度重要！它将连续的实数积分与离散的**阶乘（Factorial）**完美地连接在了一起。

我们可以通过上面的递推公式 (2) 不断做“套娃”递推来证明：

由上面证得的递推式，稍作调整（将公式中的参数做符号替换，使得左边是 $B(m, n)$）： 因为 $B(m, n) = B((m-1)+1, n)$，利用递推公式可得：

观察上面的规律：每向右递推一步，左边参数减 1，右边参数加 1，前面乘上相应的分式系数。 我们继续往下套娃：

我们一直进行下去，直到左边的参数被扣减到最小的自然数 $1$。在这个过程中，一共需要递推 $m-1$ 次。 最后一项会变成：

分子非常完美，刚好就是 $(m-1)!$。 那最后一项 $B(1, n+m-1)$ 等于什么呢？我们直接代入贝塔函数的定义计算：

我们将这个结果带回到递推链的尾部：

仔细观察分母部分：从 $n$ 一直连乘到 $n+m-1$。 为了把它强行拼成阶乘的形式，我们分子分母同时乘以 $(n-1)!$：

• 分母变成了：$(n-1)! \cdot n \cdot (n+1) \dots (n+m-1) = \mathbf{(m+n-1)!}$
• 分子变成了：$\mathbf{(m-1)!(n-1)!}$

这种用纯代数递推解决微积分连续结构的方法，逻辑非常具有韵律美，属于院试证明必拿分的题型！

💡 痛点剖析：特异积分与无限积分的“双重折磨”#

为什么说伽马函数更具挑战性？因为当参数 $0 < p < 1$ 时，它在两个端点同时存在不同类型的广义积分问题！

• 在下限 $x=0$ 处：当 $0 < p < 1$ 时，$x^{p-1} = \frac{1}{x^{1-p}} \to \infty$。这是一个无界函数的特异积分（Singular Integral）。
• 在上限 $x \to \infty$ 处：积分上限是无穷大。这是一个无穷区间的无限积分（Infinite Integral）。

因此，我们必须再次选择一个分裂点 $c > 0$（书本中通常取 $c=1$ 或保留任意正数 $c$），将积分切成两段分别攻克：

✏️ 详细证明步骤：#

(i) 攻克 $I_1$：端点 $x=0$ 处的收敛性证明 对于 $I_1 = \int_0^c e^{-x} x^{p-1} dx$：

• 当 $p \ge 1$ 时，被积函数 $f(x) = e^{-x} x^{p-1}$ 在闭区间 $[0, c]$ 上连续且有界，只是普通定积分，显然收敛。
• 当 $0 < p < 1$ 时，$x=0$ 是奇点。我们使用极限审敛法，选择标准积分分母 $x^{1-p}$ 进行对比：

极限值存在且为 $1$。由于 $0 < p < 1$，显然其对应的审敛指数满足：

根据特异积分的比较审敛法，指数小于 $1$ 时收敛。因此，$I_1$ 在 $p>0$ 时必定收敛。

(ii) 攻克 $I_2$：无穷上限 $x \to \infty$ 处的收敛性证明 对于 $I_2 = \int_c^\infty e^{-x} x^{p-1} dx$，这是一个无限积分。被积函数中含有衰减极快的指数项 $e^{-x}$，这暗示了在无穷远处它收敛得非常快。

在数学分析中，指数函数 $e^x$ 的增长速度在无穷远处超越任何多项式。 也就是说，对于任意实数 $p$，都有：

根据极限的定义，既然极限是 $0$，那么必定存在一个足够大的数 $c \le x$，使得当 $x$ 超过这个范围时，分式的值小于 $1$。也就是说：

为了利用 $\int_c^\infty \frac{1}{x^2} dx$（这个积分的敛散指数为 $2 > 1$，必定收敛）作为比较对象，我们对被积函数进行恒等变形：

根据 ① 式，分子 $e^{-x} x^{p+1} < 1$，所以有：

由于 $\int_c^\infty \frac{1}{x^2} dx$ 是收敛的，根据无限积分的比较审敛法，较大的函数收敛能推出较小的函数也收敛，因此，$I_2$ 必定收敛。

✨ 总结： 因为特异积分 $I_1$ 与无限积分 $I_2$ 均在 $p>0$ 时收敛，所以伽马函数 $\Gamma(p)$ 在 $p>0$ 时整体收敛！

📝 问题 30.1：证明关于 $\Gamma(p)$ 的重要等式#

(1) 证明：$\Gamma(p+1) = p \Gamma(p)$ （递推公式）

这个性质被称为伽马函数的“核心阶乘化公式”。我们将直接展示如何利用分部积分法来完成这个变换。

根据定义：

• 令 $u = x^p \implies du = p x^{p-1} dx$
• 令 $dv = e^{-x} dx \implies v = -e^{-x}$

套用分部积分公式：

我们先来计算前面的边界值 $\left[ -e^{-x} x^p \right]_0^\infty = \lim_{x \to \infty} (-e^{-x} x^p) - (-e^0 \cdot 0^p)$：

• 当 $x \to \infty$ 时，由于指数的压倒性优势，$\lim_{x \to \infty} \frac{x^p}{e^x} = 0$。
• 当 $x \to 0$ 时，由于 $p>0$，边界值 $0^p = 0$。

因此，端点值部分同样完全为 0！

整理后面的积分项，将常数 $p$ 提到外面：

这正是伽马函数 $\Gamma(p)$ 的定义式！

(2) 证明：$\Gamma(1) = 1$ 且 $\Gamma(n+1) = n!$

这是伽马函数最著名的特例。

• 首先计算 $\Gamma(1)$：

• 接下来，当 $n$ 为自然数时，利用上面刚刚证得的递推公式：

代入 $\Gamma(1) = 1$：

这完美解释了为什么我们说伽马函数是实数集（甚至是复数集）上的阶乘延拓！

📝 问题 30.2：判别下列广义积分的存在性（收敛性）#

这部分习题旨在考察大家能否在实战中敏锐地找出奇点并套用公式审敛。

(1) 判别 $\int_0^1 \frac{\sin x}{\sqrt{x}} dx$ 的敛散性

看似在 $x=0$ 处分母为 $0$，可能会觉得它是一个特异积分。但别忘了，分子上还有个 $\sin x$！

我们来求当 $x \to 0^+$ 时的极限： 由于等价无穷小 $\sin x \sim x$，所以有：

这意味着，被积函数在下限 $x=0$ 处的极限其实是 $0$！它根本没有在这个点趋近于无穷大。 既然被积函数在半开区间 $(0, 1]$ 上连续，且在端点 $x=0$ 处的极限存在，这说明 $x=0$ 只是一个可去间断点（可去奇点）。 我们可以给它补上定义，使它在闭区间 $[0, 1]$ 上成为一个完美的连续函数。

因此，这本质上只是一个普通的定积分，必定收敛（存在）。

(2) 判别 $\int_0^\infty \frac{1}{\sqrt{1+x^4}} dx$ 的敛散性

这是一个无穷区间上的无限积分。被积函数 $f(x) = \frac{1}{\sqrt{1+x^4}}$ 在闭区间 $[0, \infty)$ 上是连续的，所以唯一的潜在敛散危机位于无穷远处 $x \to \infty$。

我们用极限审敛法进行快速秒杀。 当 $x \to \infty$ 时，被积函数在分母上的 $1$ 可以被忽略，我们来找等价函数：

我们考察它与标准积分 $\int_1^\infty \frac{1}{x^2} dx$ 的比值极限：

极限值存在且为非零常数。而标准积分 $\int_1^\infty \frac{1}{x^2} dx$ 的指数为 $2$。 因为：

根据无限积分的比较审敛法，当指数大于 $1$ 时无限积分收敛。

因此，该广义积分必定收敛（存在）。

💡 复习总结： 面对考卷上的广义积分，我们的三步终极解题心法：

1. 找奇点：千万别漏掉积分区间内部和两个端点的“隐藏奇点”，必要时一刀切开！
2. 抓主部：在奇点附近做等价无穷小（如 $\sin x \sim x$）或者在无穷远处做大项忽略（如 $1+x^4 \sim x^4$），提炼出 $\frac{1}{x^p}$ 的形式。
3. 判指数：
   • 对于奇点特异积分：$\int \frac{1}{x^p} dx$，$p < 1$ 时收敛。
   • 对于无穷大无限积分：$\int \frac{1}{x^p} dx$，$p > 1$ 时收敛。 两者收敛判定刚好相反，考场上切记别脑雾记反了哦！

1. 直角坐标系（直交座標表示）#

若函数 $f(x)$ 在 $[a, b]$ 上连续且 $f(x) \ge 0$，则曲线 $y = f(x)$ 与 $x$ 轴、直线 $x = a$ 及直线 $x = b$ 所围图形的面积 $S$ 为：

这本质上是把区间分割成无数个宽度为 $dx$ 的小长方形，每个长方形的面积微元是 $dS = f(x) dx$，对它们求和取极限（黎曼和）即得积分。

若曲线由上曲线 $y = f(x)$ 与下曲线 $y = g(x)$（满足 $g(x) \le f(x)$）所包围，则中间夹着的面积微元为 $dS = \{f(x) - g(x)\} dx$，整体面积为：

2. 极坐标系（極座標表示）#

在极坐标下，点用 $(r, \theta)$ 表示。若曲线由极方程 $r = f(\theta)$ 给出，当角度 $\theta$ 在 $[\alpha, \beta]$ 之间变化时，曲线与两条射线 $\theta = \alpha, \theta = \beta$ 所围成的图形称为曲边扇形。

其面积公式为：

💡 几何直观推导：为什么多个 $\frac{1}{2}$ 和平方？#

在直角坐标系中，我们的面积微元是小矩形（面积为高 $\times$ 宽 = $y \cdot dx$）。 但在极坐标系中，随着角度改变 $d\theta$，扫过的面积是一个微小扇形（曲边扇形）！

回忆一下半径为 $r$、圆心角为 $d\theta$ 的圆扇形面积公式：

所以，极坐标下的面积微元正是：

将所有的微小扇形求和，自然就得到了 $S = \frac{1}{2} \int_\alpha^\beta r^2 d\theta$。考场上只要记住“扇形微元”，就绝对不会漏掉前面的 $\frac{1}{2}$！

1. 祖宗微元：直观微分图景#

把曲线无限放大，每一小段极短的弧长 $ds$ 都可以看作一个直角三角形的斜边，其直角边分别为 $dx$ 和 $dy$：

这正是所有弧长公式的“始祖”。我们通过强行提取公因子，可以无缝演化出三种坐标系下的公式：

2. 直角坐标表示（直交座標表示）#

强行从 $\sqrt{dx^2 + dy^2}$ 中提取 $dx$：

因此，弧长公式为：

3. 参数方程表示（媒介変数表示）#

若曲线由参数方程 $x = f(t), y = g(t)$ （$a \le t \le b$）给出，我们强行提取 $dt$：