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.
Lorentzian kernels converge to delta and principal-value distributions
Statement
Let be continuously differentiable with compact support. For , define and . Define when this symmetric limit exists. Then Thus converges distributionally to , and converges distributionally to the Cauchy principal-value distribution , with the stated test-function convention.
Facts & Assumptions
Given: A compactly supported complex test function and the Lebesgue measure on .
Dominated convergence: almost-everywhere convergence under one integrable measurable majorant implies convergence of the integrals.
Proof
Given: The test function and kernels in the Statement.
With , the first integral is . Its integrand converges pointwise to and is bounded in modulus by , an integrable function. By [F1] the limit is ; the last integral is .
Let and set . The integral of is zero because its integrand is odd on a symmetric interval. For , by the mean-value inequality; for , . This gives an integrable majorant independent of , and for the integrand tends to . Applying [F1] yields .
For , the constant part integrates to zero on by oddness. Therefore , proving existence of the symmetric principal value and the second limit. The two distributional conclusions are precisely the limits already established in steps 1.1 and 1.2.