vibecosystem

Contour Integrals

When to Use

Use this skill when working on contour-integrals problems in complex analysis.

Decision Tree

1. Integral Type Selection
2. For integral_{-inf}^{inf} f(x)dx where f decays like 1/x^a, a > 1:
3. Use semicircular contour (upper or lower half-plane)
4. For integral involving e^{ix} or trigonometric functions:
5. Close in upper half-plane for e^{ix} (Jordan's lemma)
6. Close in lower half-plane for e^{-ix}
7. For integral_0^{2pi} f(cos theta, sin theta)d theta:
8. Substitute z = e^{i theta}, use unit circle contour
9. For integrand with branch cuts:
10. Use keyhole or dogbone contour around cuts

1. Contour Setup
2. Identify singularities and their locations
3. Choose contour that encloses desired singularities
4. sympy_compute.py solve "f(z) = inf" to find poles

1. Jordan's Lemma
2. For integral over semicircle of radius R:
3. If |f(z)| -> 0 as |z| -> inf, semicircular contribution vanishes

1. Compute with Residue Theorem
2. oint_C f(z)dz = 2*pi*i * (sum of residues inside C)
3. sympy_compute.py residue "f(z)" --var z --at z0

Tool Commands

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"

Key Techniques

From indexed textbooks:

• [Complex Analysis (Elias M. Stein, Ram... (Z-Library)] The keyhole contour and one small, connected by a narrow corridor. The interior of Γ, which we denote by Γint, is clearly that region enclosed by the curve, and can be given precise meaning with enough work. We x a point z0 in that If f is holomorphic in a neighborhood of Γ and its interior, interior.
• [Complex Analysis (Elias M. Stein, Ram... (Z-Library)] For the proof, consider a multiple keyhole which has a loop avoiding In each one of the poles. Let the width of the corridors go to zero. Suppose that f is holomorphic in an open set containing a toy contour γ and its interior, except for poles at the points z1, .
• [Complex Analysis (Elias M. Stein, Ram... (Z-Library)] CAUCHY’S THEOREM AND ITS APPLICATIONS The following denition is loosely stated, although its applications will be clear and unambiguous. We call a toy contour any closed curve where the notion of interior is obvious, and a construction similar to that in Theorem 2. Its positive orientation is that for which the interior is to the left as we travel along the toy contour.
• [Complex Analysis (Elias M. Stein, Ram... (Z-Library)] Suppose that f is holomorphic in an open set containing a circle C and its interior, except for poles at the points z1, . The identity γ f (z) dz = 2πi N k=1 reszk f is referred to as the residue formula. Examples The calculus of residues provides a powerful technique to compute a wide range of integrals.
• [Complex analysis an introduction to... (Z-Library)] Hint: Sketch the image of the imaginary axis and apply the argument principle to a large half disk. Evaluation of Definite Integrals. The calculus of residues pro¬ vides a very efficient tool for the evaluation of definite integrals.

Cognitive Tools Reference

See .claude/skills/math-mode/SKILL.md for full tool documentation.