Eine Methode zur Zuordnung endlicher Werte zu divergenten spektralen Summen oder unendlichen Produkten durch Bildung einer zugehörigen Zetafunktion ζ(s) (typischerweise ζ(s)=∑ λ_i^{-s} für positive Eigenwerte λ_i), deren analytische Fortsetzung in eine Umgebung eines speziellen Punktes (oft s=0) und Definition regulärer Summen oder Determinanten über Werte wie ζ(0) oder Ableitungen wie -ζ'(0).

Prinzip

Analytische Fortsetzung ersetzt einen formal divergenten Ausdruck durch die Fortsetzung einer Hilfsfunktion, deren Wert an einem speziellen Parameter einen kanonischen regulierten Wert liefert; die Methode beruht auf meromorpher Fortsetzung und einer Normalisierung, die mit spektraler Geometrie oder Analysis verträglich ist.

Demonstration

Für einen elliptischen Operator mit Eigenwerten {λ_i>0} definiere man ζ(s)=∑ λ_i^{-s} für Re(s) groß, fahre mit der meromorphen Fortsetzung bis s=0 fort und setze log det' Δ = -ζ'(0), um einen endlichen regulierten Determinanten zu erhalten, wie er in der spektralen Geometrie und in bestimmten Quantentheorie-Berechnungen verwendet wird.

Fehlanwendung

Zetaregularisierung anzuwenden, ohne die notwendige analytische Fortsetzung sicherzustellen, Pole und Residuen zu beachten oder die regulierte Größe als invariant unter beliebigen Manipulationen (Verzweigungswahlen, nichtkanonische Subtraktionen) zu behandeln, kann zu Inkonsistenzen oder schemabhängigen Ergebnissen führen.

Konsequenz

Erzeugt endliche, oft kanonische Invarianten aus divergenten spektralen Daten, ermöglicht Vergleiche zwischen Geometrien und erleichtert Rechnungen in der mathematischen Physik, wobei je nach getroffenen Entscheidungen manche Ambiguitäten (endliche Renormierungen) verbleiben können.

Umkehrung

Cutoff- oder dimensionsregulierung approximieren durch Abschneiden bzw. analytische Fortsetzung in der Dimension; wohingegen Zetaregularisierung die Divergenz durch analytische Fortsetzung einer spektralen Zeta-Funktion ersetzt, legen Cutoffs die Abhängigkeit vom Regulator und Subtraktionsschema offen.

Abgrenzung

Anwendbar, wenn eine zugehörige Zetafunktion definiert werden kann und meromorph bis zum relevanten Punkt fortgesetzt werden darf; nicht anwendbar, falls keine geeignete spektrale Zeta existiert oder die Fortsetzung wesentliche Singularitäten bzw. unkontrollierbare Residuen hat.

Semantische Spannung

Spannung zwischen formaler analytischer Regularisierung und physikalisch motivierten Renormierungsschemata: Verschiedene Regularisierungen können sich um endliche Terme unterscheiden, die physikalisch relevant sind oder Renormierungsbedingungen erfordern; Zetaregularisierung ist elegant, aber mitunter schemabhängig.

Synthese

Eine Zetafunktion zur divergenten Ausdruck konstruieren, analytisch bis zum relevanten Punkt fortsetzen und endliche Werte (z. B. ζ(0), -ζ'(0)) als kanonische Regularisierungen extrahieren, sofern die analytische Struktur dies erlaubt, und dabei etwaige schemabhängige Ambiguitäten nachverfolgen.