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.
Analytic continuation of primitive Dirichlet L-functions
Statement
If primitive is nonprincipal, then and extend to entire functions. For the principal primitive character modulo , is meromorphic with its unique simple pole at , while is meromorphic with simple poles at and .
Facts & Assumptions
Given: A primitive character modulo of parity .
The Gaussian has the stated Fourier transform (Fourier transform of a Gaussian).
Twisted Poisson summation has the displayed -normalization (Twisted Poisson summation).
Zeta is meromorphic with its unique pole at (The Riemann zeta function extends meromorphically to the complex plane with its only pole at ).
Proof
Mellin-transform ; for this equals a nonzero constant times .
Apply [F1] in [F2] to transform the theta kernel under . Splitting the Mellin integral at gives two rapidly decaying integrals, hence an entire continuation when is nonprincipal.
The only primitive principal case is . Splitting the Mellin integral for the Jacobi theta kernel and separating its constant term continues meromorphically, with the two boundary terms giving simple poles at and . Equivalently, the standard entire completion is Fact [F3] separately says that itself has only its simple pole at .
Depends on
Used by
Dependency tree · two levels
16 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
- Nickolas Andersen, Analytic Number Theory, Theorems 16.7-16.8 (standard reference, not scraped)