name: contour-integrals description: “解决复分析中轮廓积分问题的策略” allowed-tools: [Bash, Read]
轮廓积分
何时使用
在复分析中处理轮廓积分问题时使用此技能。
决策树
-
积分类型选择
- 对于积分_{-inf}^{inf} f(x)dx，其中 f 以 1/x^a 衰减，a > 1：
- 使用半圆形轮廓（上半平面或下半平面）
- 对于涉及 e^{ix} 或三角函数的积分：
- 为 e^{ix} 在上半平面闭合（Jordan’s lemma）
- 为 e^{-ix} 在下半平面闭合
- 对于积分_0^{2pi} f(cos theta, sin theta)d theta：
- 替换 z = e^{i theta}，使用单位圆轮廓
- 对于被积函数有分支割线的情况：
- 使用钥匙孔或狗骨轮廓围绕割线
- 对于积分_{-inf}^{inf} f(x)dx，其中 f 以 1/x^a 衰减，a > 1：
-
轮廓设置
- 识别奇点及其位置
- 选择包围所需奇点的轮廓
sympy_compute.py solve "f(z) = inf"以找到极点
-
Jordan’s 引理
- 对于半径为 R 的半圆积分：
- 如果 |f(z)| -> 0 当 |z| -> inf，半圆形贡献消失
-
使用留数定理计算
- oint_C f(z)dz = 2pii * (C 内留数之和)
sympy_compute.py residue "f(z)" --var z --at z0
工具命令
Sympy_Residue
uv run python -m runtime.harness scripts/sympy_compute.py residue "1/(z**2 + 1)" --var z --at I
Sympy_Poles
uv run python -m runtime.harness scripts/sympy_compute.py solve "z**2 + 1" --var z
Sympy_Integrate
uv run python -m runtime.harness scripts/sympy_compute.py integrate "1/(x**2 + 1)" --var x --from "-oo" --to "oo"
关键技术
来自索引教科书:
- [Complex Analysis (Elias M. Stein, Ram… (Z-Library)] 钥匙孔轮廓和一个小的，通过狭窄走廊连接。Γ 的内部，我们记为 Γint，显然是被曲线包围的区域，可以通过足够的工作给出精确含义。我们 x 一个点 z0 在那个如果 f 在 Γ 及其邻域内全纯，内部。
- [Complex Analysis (Elias M. Stein, Ram… (Z-Library)] 对于证明，考虑一个多重钥匙孔，其中有一个环路避免在每个极点处。让走廊的宽度趋近于零。假设 f 在包含玩具轮廓 γ 及其内部的开放集中全纯，除了在点 z1 处的极点。
- [Complex Analysis (Elias M. Stein, Ram… (Z-Library)] 柯西定理及其应用 以下定义是宽松陈述的，尽管其应用将是清晰明确的。我们称任何闭合曲线为玩具轮廓，其中内部的概念是明显的，并且构造类似于定理2。其正向方向是当我们沿玩具轮廓行进时，内部在左侧。
- [Complex Analysis (Elias M. Stein, Ram… (Z-Library)] 假设 f 在包含圆 C 及其内部的开放集中全纯，除了在点 z1 处的极点。恒等式 γ f (z) dz = 2πi N k=1 reszk f 被称为留数公式。示例 留数微积分提供了一种强大技术来计算广泛的积分。
- [Complex analysis an introduction to… (Z-Library)] 提示：绘制虚轴图像并将论证原理应用于大半圆。定积分的评估。留数微积分 pro¬ vides 一种非常有效的工具来评估定积分。
认知工具参考
参见 .claude/skills/math-mode/SKILL.md 获取完整工具文档。