Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedjudge pass (gpt-6-luna)
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 ψ:R→C be continuously differentiable with compact support. For η>0, define Pη(x)=η/(x2+η2) and Qη(x)=x/(x2+η2). Define PV⁡ ⁣∫Rψ(x)x dx:=lim⁡δ↓0∫∣x∣>δψ(x)x dx when this symmetric limit exists. Then lim⁡η↓0∫RPη(x)ψ(x) dx=πψ(0),lim⁡η↓0∫RQη(x)ψ(x) dx=PV⁡ ⁣∫Rψ(x)x dx. Thus Pη converges distributionally to πδ0, and Qη converges distributionally to the Cauchy principal-value distribution PV⁡(1/x), with the stated test-function convention.

Facts & Assumptions

Given: A compactly supported C1 complex test function ψ and the Lebesgue measure on R.

[F1]

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.

1.1givenF1algebra

With x=ηy, the first integral is ∫Rψ(ηy)/(1+y2) dy. Its integrand converges pointwise to ψ(0)/(1+y2) and is bounded in modulus by ∥ψ∥∞/(1+y2), an integrable function. By [F1] the limit is ψ(0)∫R(1+y2)−1 dy=πψ(0); the last integral is arctan⁡(y)∣−∞∞=π.

1.2givenF1algebra

Let L=sup⁡x∣ψ′(x)∣<∞ and set q(x)=ψ(x)−ψ(0)1[−1,1](x). The integral of Qη(x)ψ(0)1[−1,1](x) is zero because its integrand is odd on a symmetric interval. For 0<∣x∣≤1, ∣Qη(x)q(x)∣≤Lx2/(x2+η2)≤L by the mean-value inequality; for ∣x∣>1, ∣Qη(x)q(x)∣≤∣ψ(x)∣. This gives an integrable majorant independent of η, and for x≠0 the integrand tends to q(x)/x. Applying [F1] yields ∫Rq(x)/x dx.

2.1step 1.1step 1.2algebra∎

For 0<δ<1, the constant part ψ(0)/x integrates to zero on {δ<∣x∣≤1} by oddness. Therefore ∫q(x)/x dx=lim⁡δ↓0∫∣x∣>δψ(x)/x dx, 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.

Depends on

Dependency tree · 2 levels

Sources