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.
Separate improper convergence implies convergence of the principal value
Statement
If the two one-sided improper integrals at an interior singularity converge separately, then the Cauchy principal value exists and equals their sum. If both tails of a whole-line improper integral converge separately, its principal value exists and equals the whole-line improper integral.
The converses need not hold.
Facts & Assumptions
Given: Separate convergence at the two singular ends in either setting.
A mixed improper value is the sum of the two independent limits (Improper integrals with several singular ends).
Moving finite split points preserves both convergence and value (Improper convergence is independent of finite truncations and split points).
Principal values use coupled symmetric truncations (Cauchy principal values at a finite singularity and on the real line).
For every rational , converges exactly when , and converges exactly when (The improper -test for rational exponents).
The whole-line Cauchy principal value is for a function locally Riemann integrable on the real line, and it does not assert that the two tails converge separately (Cauchy principal values at a finite singularity and on the real line).
Proof
At an interior point , the two truncated terms in [L3] tend separately to the two finite one-sided values. Given , take the common smaller truncation scale on which each term is within of its limit; the triangle inequality then puts their sum within of the sum in [L1].
On the real line, split at zero. As , and tend separately to their two tail values. The same estimate shows that their sum tends to the mixed value. Split-point invariance [L2] removes any dependence on zero.
The converses fail, and a witness is available on this page rather than assumed. Take on with the interior singularity at . For every the substitution gives , so the symmetric truncations cancel exactly and the principal value exists and is . But converges exactly when by [L4], so at the right-hand one-sided integral diverges, and by the same reflection so does the left-hand one. Hence the principal value can exist while neither one-sided improper integral converges, and the converse of the first claim fails. For the whole line a separate witness is needed, because [L5] admits only a function locally Riemann integrable on all of and is not one: take , which is continuous and therefore locally integrable. For every the substitution gives , so and the whole-line principal value is ; but is unbounded in , so the tail does not converge.
Depends on
Used by
Dependency tree · next 3 levels
Direct dependencies and their dependencies through the next three levels: 69 results over 16 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.
Sources
- William F. Trench, Introduction to Real Analysis, Section 3.4 (standard reference, not scraped)