How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Indented real-axis contours compute principal values with half-residue corrections
Statement
Let , where are nonzero, be a rational function with , and assume that its real poles are simple. For large enough to contain all these poles and for pairwise disjoint symmetric deletion radii , put
where the integral is the sum over the remaining compact intervals. In this statement,
When , the deleted union is empty and only remains. Indent every real pole above the real axis and close the contour in the upper half-plane. Then this principal value exists and
The correction term is the sum of the usual positive half-residues.
Facts & Assumptions
Given: A rational function with a two-degree denominator gap and only simple real poles, all indented above the real axis.
At a finite singularity, a principal value uses equal left and right deletions, while on the real line it uses the symmetric truncation ; neither assertion implies separate improper convergence (Cauchy principal values at a finite singularity and on the real line, This page keeps Cauchy principal values distinct from genuine improper convergence).
For an admissible cycle, the residue theorem gives its contour integral as times the index-weighted sum of the enclosed residues (The residue theorem for a null-homologous cycle).
If the large upper semicircle meets no pole and , then its integral tends to (A rational large-semicircle integral vanishes under the zR(z) to 0 condition).
An upper indentation contributes in the limit (An indented arc around a simple singularity contributes the expected residue fraction).
Proof
For large and small pairwise disjoint indentation radii , form the contour specified in the statement. It is an admissible positively oriented cycle, avoids every real pole, and encloses precisely the nonreal poles in the upper half-plane, so [L2] applies.
The contour pieces have their asserted limits as and every .
Indeed, the straight pieces sum to from the statement. The degree gap gives , so the large semicircle eventually meets no pole and satisfies the hypothesis of [L3]. Thus its integral tends to . Finally, [L4] makes the th upper indentation tend to . [given, step 1.1, L1, L3, L4, algebra]
The residue theorem and step 2.1 give Hence the joint limit exists, and moving the indentation term to the right proves the formula.
Depends on
- Cauchy principal values at a finite singularity and on the real line
- This page keeps Cauchy principal values distinct from genuine improper convergence
- Standard semicircle, rectangle, keyhole, indentation, and sector contours
- The residue theorem for a null-homologous cycle
- A rational large-semicircle integral vanishes under the zR(z) to 0 condition
- An indented arc around a simple singularity contributes the expected residue fraction
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
22 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- R. Howell and J. Mathews, Complex Analysis, Ch. 8 §8.5 (standard reference, not scraped)
- L. V. Ahlfors, Complex Analysis, 3rd ed., Ch. 4 §5.3 (standard reference, not scraped)