Functions of a complex variable Singularities and residues Theorem
Residue theorem
Builds on ResidueWinding numberContour integralHolomorphic function
Statement
Let be a simply connected open set. This means that is connected, and each closed path in can be continuously deformed in to a constant path. Let be distinct points of , and let be holomorphic on . Let be a closed, continuous and piecewise continuously differentiable path in . Then where is the winding number of around and is the residue of at .
Remarks
If is a simple closed curve traveled once counterclockwise, then is times the sum of the residues at the points inside . With no points , the theorem is Cauchy's integral theorem. For example, , by the residues at the simple poles and . The theorem is the main tool for the evaluation of real integrals.
Reading path
To understand this page from the ground up, read these 23 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Complex numbers object
- Complex plane concept
- Real numbers object
- Set bounded above definition
- Complex exponential definition
- Contour integral definition
- Power series in the complex plane definition
- Real and imaginary parts definition
- Supremum definition
- Circle integral definition
- Winding number definition
- Laurent series definition
- Completeness axiom statement
- Existence of square roots of nonnegative reals statement
- Square root definition
- Modulus of a complex number definition
- Complex differentiability definition
- Annulus definition
- Holomorphic function definition
- Isolated singularity definition
- Existence of Laurent expansions on an annulus statement
- Residue definition
- Residue theorem statement
Where this leads
4 pages build on this one.
Further reading
- Web https://en.wikipedia.org/wiki/Residue_theorem, Statement of Cauchy's residue theorem
About this page
| Tag | 032HKYS329 |
|---|---|
| URI | m2://032HKYS329 |
| Aliases | cauchys-residue-theorem |
| Kind | statement, theorem |
| Writing | W1 stated |
| MSC | 30E20 |
| Status | This copy of the site has no build data. Run m2 status 032HKYS329. |
| Uses | Residue, Winding number, Contour integral, Holomorphic function |
| Same as |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge about out: the concepts that the statement is about (0 of 1)
- edge proves in: at least one proof node (0 of 1)
- edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
- explanation L2 (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.