From 4715fea8fe7d76ca3d4eb1ec6a620fe9b6ef5c57 Mon Sep 17 00:00:00 2001
From: GrainEar <wkn33924@qq.com>
Date: Mon, 23 Mar 2026 11:32:43 +0800
Subject: [PATCH] =?UTF-8?q?=E4=B8=8A=E4=BC=A0=E4=BA=86=E7=8B=84=E5=88=A9?=
 =?UTF-8?q?=E5=85=8B=E9=9B=B7=E5=88=A4=E5=88=AB=E6=B3=95=E7=9A=84=E8=AF=81?=
 =?UTF-8?q?=E6=98=8E=E4=BD=9C=E4=B8=BA=E7=AC=94=E8=AE=B0=E5=88=86=E4=BA=AB?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 笔记分享/狄利克雷判别法.md | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 笔记分享/狄利克雷判别法.md

diff --git a/笔记分享/狄利克雷判别法.md b/笔记分享/狄利克雷判别法.md
new file mode 100644
index 0000000..49ba4e2
--- /dev/null
+++ b/笔记分享/狄利克雷判别法.md
@@ -0,0 +1,24 @@
+> [!info] 定理 函数极限的柯西收敛准则
+> 极限 $\lim\limits_{x\to a}f(x)$ 收敛当且仅当对于任意 $\varepsilon\gt0$, 存在 $a$ 的去心领域 $\overset \circ U(a,\delta)$, 对于任意 $x,y\in\overset \circ U(a,\delta)$, 总存在 $\varepsilon\gt0$ 使得 $|f(x)-f(y)|\lt\varepsilon$.
+
+利用极限的定义容易证明.
+<br>
+
+> [!info] 定理 反常积分的柯西收敛准则
+> 积分 $\displaystyle\int_a^{+\infty}f(x)\mathrm dx$ 收敛当且仅当对于所有的 $A'\gt A\gt a$, 存在正数 $\varepsilon\gt0$ 成立 $$\left|\int_A^{A'}f(x)\mathrm dx\right|\lt\varepsilon.$$
+
+> [!solution] 证明
+> 记 $\displaystyle F(x)=\int_a^xf(t)\mathrm dt$, 则积分收敛等价于 $\lim\limits_{x\to+\infty}F(x)$ 收敛. 
+> 又由函数极限的柯西收敛准则, $\lim\limits_{x\to+\infty}F(x)$ 收敛等价于对于任意 $A'\gt A\gt a$ 存在 $\varepsilon\gt0$ 使得 $$\displaystyle\left|\int_A^{A'}f(x)\mathrm dx\right|=|F(A')-F(A)|\lt\varepsilon,$$得证.
+
+<br>
+
+> [!info] 定理 狄利克雷判别法
+> 若 $\displaystyle F(u)=\int_a^{u}f(x)\mathrm dx$ 在 $[a,+\infty)$ 上有界, 且 $g(x)$ 在 $[a,+\infty)$ 上当 $x\to+\infty$ 时单调趋于 $0$, 则积分 $\displaystyle\int_a^{+\infty}f(x)g(x)\mathrm dx$ 收敛.
+
+> [!solution] 证明
+> 不妨设 $g(x)$ 单调递减.
+> 设 $F(u)$ 的一个界为 $M$, 则 $|F(u)|\leqslant M.$ 对于 $A'\gt A\gt a$, 由第二积分中值定理得，存在 $\xi\in(A,A')$, 使得$$\int_A^{A'}f(x)g(x)\mathrm dx=g(A)\int_A^\xi f(x)\mathrm dx+g(A')\int_\xi^{A'}f(x)\mathrm dx,$$由牛顿-莱布尼兹公式有$$\int_A^{A'}f(x)g(x)\mathrm dx=g(A)(F(\xi)-F(A))+g(A')(F(A')-F(\xi)),$$故 $$\begin{aligned}\left|\int_A^{A'}f(x)g(x)\mathrm dx\right|&\leqslant |g(A)|(|F(\xi)|+|F(A)|)+|g(A')|(|F(A')|+|F(\xi)|)\\
+> &\leqslant2M(|g(A)|+|g(A')|).\end{aligned}$$由于 $\lim\limits_{x\to+\infty}g(x)=0$, 对于任意正数 $\varepsilon\gt0$, 存在 $X\gt a$ 成立 $|g(x)|\lt \dfrac{\varepsilon}{4M+1}.$ 
+> 取 $A'\gt A\gt X$, 则有 $$\left|\int_A^{A'}f(x)g(x)\mathrm dx\right|\lt\varepsilon.$$ 有柯西收敛准则知积分 $\displaystyle\int_a^{+\infty}f(x)g(x)\mathrm dx$ 收敛.
+