Registry · Definition IV.D41 tau-effective formalized

IV.D41 — Chowla-Selberg Decomposition

Chowla-Selberg decomposition: Z(s;iι_τ) = 2ζ(2s) + C(s)·ι_τ^(1-2s) + Bessel_sum. Three terms: constant (negligible), leading power-law, exponentially suppressed Bessel.

Book IV Part 3 Ch. 23

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Calibration.EpsteinZeta

Symbol: Tau.BookIV.Calibration.ChowlaSelbergTerms