Registry · Definition III.D29 tau-effective formalized

III.D29 — Spectral Parameter Λ(s)

The spectral parameter Λ: s ↦ λ mapping complex s to eigenvalues of H_L. If the determinant representation (O3) holds, then ζ_τ(s) = det(I − Λ(s)·H_L^{−1}) and zeros of ζ correspond to spectral values of H_L.

Book III Part 4 Ch. 24

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIII.Doors.SpectralCorrespondence

Symbol: spectral_parameter