Eine Folge von Polynomen, gewonnen durch Anwendung des euklidischen Algorithmus auf ein reelles univariates Polynom und dessen Ableitung (oder durch eine signierte Restfolge), deren Vorzeichenwechsel an den Intervallenden die Zahl der verschiedenen reellen Nullstellen in diesem Intervall zählen (Sturm‑Theorem).

Prinzip

Baue die Restfolge p0=p, p1=p', p2=−rem(p0,p1), p3=−rem(p1,p2), … bis zum Ende; werte die Folge in a und b aus und berechne die Differenz der Vorzeichenwechsel, um die Anzahl verschiedener reeller Nullstellen von p in (a,b) zu erhalten.

Demonstration

Für p(x)=x^3−x berechne p und p', bilde die signierte Restfolge, werte sie in a=−2 und b=2 aus; die Differenz der Vorzeichenwechsel liefert die Anzahl der reellen Nullstellen in (−2,2), und Isolationsintervalle lassen sich durch Bisektion und erneute Sturmzählung verfeinern.

Fehlanwendung

Sturmfolgen anzuwenden, ohne mehrfachgefundene Nullstellen zu behandeln (Vielfachheiten führen zu Nulleinträgen und erfordern Deflation) oder mit Fließkomma ohne Vorzeichensicherheit zu evaluieren, kann zu falschen Zählungen führen; fehlerhafte Berechnung der signierten Reste verletzt die Voraussetzungen des Theorems.

Konsequenz

Eine korrekte Sturmfolge liefert eine exakte ganze Zahl für die Anzahl verschiedener reeller Nullstellen in einem Intervall und unterstützt zertifizierte Wurzelisolierung und vielfachkeitsbewusste Verfeinerungsverfahren, nützlich in exakter reeller Algebra und bei CAD‑Projektionen.

Umkehrung

Statt Sturmfolgen kann man Descartes' Vorzeichenregel oder Budan‑Fourier‑Schranken verwenden, die obere Schranken für positive Nullstellen oder Zählungen modulo Vielfachheit liefern, aber nicht allgemein exakte Intervallzählungen ohne zusätzliche Verfeinerung ermöglichen.

Abgrenzung

Gilt für univariate Polynome mit reellen Koeffizienten und verwendet Euklidische Division in Körpern der Charakteristik null oder mit geeigneten Anpassungen; sie verallgemeinert nicht direkt auf multivariate Polynome ohne Reduktion auf univariate Fälle oder auf endliche Körper ohne entsprechende Analoga.

Semantische Spannung

Sturmfolgen liefern exakte Wurzelzählungen per Vorzeichenwechsel, während moderne subresultant PRS‑Methoden und numerische Wurzelsucher symbolische Exaktheit gegen Rechengeschwindigkeit eintauschen; es besteht eine Spannung zwischen zertifizierender Genauigkeit und Leistungsfähigkeit bei großen oder näherungsbasierten Problemen.

Synthese

Die Sturmfolge ist eine signierte euklidische Restkette zwischen einem reellen Polynom und seiner Ableitung, deren Vorzeichenvariation an Intervallgrenzen die genaue Anzahl verschiedener reeller Nullstellen im Intervall liefert; korrekt implementiert ist sie ein grundlegendes zertifiziertes Werkzeug zur Zählung und Isolierung reeller Wurzeln.