Tschirnhaus-Transformation

Eine Tschirnhaus-Transformation (auch Tschirnhausen-Transformation) ist eine Variablentransformation, die es ermöglicht, algebraische Gleichungen höheren Grades zu vereinfachen.

Die Methode wurde von Ehrenfried Walther von Tschirnhaus 1683 in den Acta Eruditorum erstmals veröffentlicht.^[1]

Die Gleichung ${\displaystyle n}$-ten Grades

${\displaystyle f(x)=x^{n}+a_{n-1}x^{n-1}+a_{n-2}x^{n-2}+a_{n-3}x^{n-3}+\dotsb +a_{1}x+a_{0}=0}$,

wird durch eine Variablentransformation der Form^[2]

${\displaystyle y=c_{m-1}x^{m-1}+c_{m-2}x^{m-2}+\dotsb +c_{1}x+c_{0}}$

auf die Form

${\displaystyle g(y)=y^{n}+b_{n-1}y^{n-1}+b_{n-2}y^{n-2}+b_{n-3}y^{n-3}+\dotsb +b_{1}y+b_{0}=0}$

gebracht.

Ziel ist es, die Koeffizienten ${\displaystyle c_{i}}$ so geschickt auszuwählen, dass einige der Koeffizienten ${\displaystyle b_{i}}$ verschwinden, das heißt gleich 0 sind.

Die Bestimmung der Koeffizienten ${\displaystyle b_{i}}$ der transformierten Gleichung ist allgemein möglich, weil die Koeffizienten ${\displaystyle b_{i}}$ symmetrische Funktionen in den Lösungen der Gleichung ${\displaystyle f(x)=0}$ sind. Daher können die Koeffizienten ${\displaystyle b_{i}}$ polynomial durch die elementarsymmetrischen Funktionen in diesen Lösungen ausgedrückt werden.

Schon vor Tschirnhaus war bekannt, dass sich die allgemeine kubische Gleichung durch eine lineare Transformation der Variablen auf eine Normalform ohne quadratischen Term reduzieren lässt (siehe Kubische Gleichung).

Analog kann bei jeder Gleichung ${\displaystyle n}$-ten Grades der Koeffizient der zweithöchsten Potenz, also ${\displaystyle b_{n-1}}$, durch eine lineare Transformation ${\displaystyle y=x+a_{n-1}/n}$ zum Verschwinden gebracht werden.

Tschirnhaus zeigte, dass eine kubische Gleichung mittels einer quadratischen Transformation auf eine Form ${\displaystyle y^{3}-b=0}$ gebracht werden kann.^[3]

Tschirnhaus meinte daher, dass er damit eine allgemeine Lösungsmethode für alle algebraischen Gleichungen gefunden habe, wurde aber schon von Gottfried Wilhelm Leibniz eines Besseren belehrt. Solche Transformationen helfen nicht bei der Lösung von algebraischen Gleichungen höheren als vierten Grades. Der Grund liegt darin, dass man zwar durch Wahl der ${\displaystyle c_{i}}$ die Koeffizienten ${\displaystyle b_{i}}$ für ${\displaystyle i=n-1,\dotsc ,1}$ zum Verschwinden bringen kann, dies jedoch auf ein kompliziertes System von Gleichungen unterschiedlichen Grades zur Bestimmung geeigneter Transformationskoeffizienten ${\displaystyle c_{i}}$ führt. Dabei entsteht am Ende eine Gleichung vom Grad ${\displaystyle (n-1)!}$ (wie Bezout zeigte). Diese ist zwar für ${\displaystyle n=4}$ noch lösbar, wird aber sehr unhandlich für höhere ${\displaystyle n}$.^[4]

Allgemein kann man so in jeder algebraischen Gleichung ${\displaystyle n}$-ten Grades die Koeffizienten zu den Potenzen ${\displaystyle y^{n-1}}$ und ${\displaystyle y^{n-2}}$ zum Verschwinden bringen (es sei ${\displaystyle n>2}$): Zunächst bringt man den Koeffizienten zur Potenz ${\displaystyle y^{n-1}}$ durch eine lineare Transformation zum Verschwinden und dann die Koeffizienten zu den Potenzen ${\displaystyle y^{n-1}}$ und ${\displaystyle y^{n-2}}$ durch eine quadratische Transformation. Zur Bestimmung geeigneter Transformationskoeffizienten muss ausgehend von den Gleichungskoeffizienten höchstens eine Quadratwurzel berechnet werden.^[5]

Der Koeffizient zur Potenz ${\displaystyle y^{n-3}}$ (wobei ${\displaystyle n>3}$ sei) kann zusätzlich zum Verschwinden gebracht werden, wie zuerst Erland Samuel Bring (Lund, 1786) speziell für die Quintik zeigte. Sie lässt sich mit einer Tschirnhaus-Transformation vierten Grades auf die Form

${\displaystyle y^{5}+ay+b=0}$

bringen (Bring-Jerrard-Form), und George Jerrard wies 1834 allgemein für Polynomgleichungen höheren als dritten Grades nach, dass man durch eine Variablentransformation vierten Grades die Koeffizienten zu den Potenzen ${\displaystyle y^{n-1},y^{n-2}}$ und ${\displaystyle y^{n-3}}$ zum Verschwinden bringen kann (dabei treten höchstens Kubikwurzeln und Quadratwurzeln in den Koeffizienten auf).^[6]

Bei der Bestimmung der Koeffizienten ${\displaystyle c_{i}}$ der Transformation nutzt man aus, dass die Koeffizienten ${\displaystyle a_{i}}$ bzw. ${\displaystyle b_{i}}$ der beiden Gleichungen ${\displaystyle f,g}$ als elementarsymmetrische Funktionen durch die jeweiligen Wurzeln der Gleichungen gegeben sind. Die elementarsymmetrischen Funktionen stehen wiederum über die Newton-Identitäten mit den Potenzsummen der Wurzeln in Verbindung.

Abwandlungen der Methode sind von Charles Hermite^[7] und Arthur Cayley^[8] untersucht worden^[9] und Abhyankar betonte die Nützlichkeit der Betrachtungsweise von Tschirnhaus in der Theorie der Auflösung von Singularitäten.^[10] und verwendet eine Verallgemeinerung der Transformation im Beweis des Satzes von Abhyankar und Moh.

William Rowan Hamilton zeigte im 19. Jahrhundert, dass sich die Wurzeln der Gleichung sechsten Grades durch die elementaren algebraischen Operationen und eine algebraische Funktion von zwei Variablen ausdrücken lassen. Beim Polynom siebten Grades war die Reduktion auf eine Funktion mit drei Variablen bekannt und das 13. Problem von Hilbert fragte nach der Auflösung der Wurzeln des Polynoms siebten Grades durch eine Funktion mit zwei Variablen statt mit drei. In der ursprünglichen Formulierung von Hilbert wurde nach einer stetigen Funktion gesucht, was aber durch Wladimir Arnold und Andrei Kolmogorow in den 1950er Jahren widerlegt wurde. Offen blieb die Lösung durch algebraische Funktionen. Hilbert kam auf die Darstellung der Lösung von Polynomen durch algebraische Operationen und algebraische Funktionen in mehreren Variablen 1927 zurück, als er zeigte, dass die Wurzeln eines Polynom neunten Grades mit geometrischen Methoden (kubische Flächen, die wie damals schon bekannt stets 27 Geraden enthalten) durch algebraische Operationen und algebraische Funktionen von mindestens vier Variablen dargestellt werden können. Die Minimalzahl der Variablen wird nach Richard Brauer, der die Reduktion von Polynomen durch verallgemeinerte Tschirnhaustransformationen 1975 untersuchte, als Resolvenzgrad bezeichnet. Die geometrische Methode wurde von Jesse Wolfson und Benson Farb auf Polynome höheren Grades erweitert, indem nach Geraden in den zugehörigen algebraischen Mannigfaltigkeiten mit der Dimension des Resolvenzgrads gesucht wird.^[11][12][13] Der Resolvenzgrad ist nach ihnen ein Maß für die Komplexität eines Polynoms und die Eingrenzung bzw. Bestimmung des Resolvenzgrads eine Verallgemeinerung und Präzisierung von Hilberts 13. Problem.

• Encyclopedia of Mathematics, Springer
• Tschirnhausen Transformation, Mathworld
• Victor Adamchik, David Jeffrey:Polynomial Transformations of Tschirnhaus, Bring and Jerrard (Memento vom 28. September 2007 im Internet Archive), ACM Sigsam Bulletin, Band 37, 2003, S. 90.

1. ↑ D. T.[schirnhaus]: Methodus auferendi omnes terminos intermedios ex data aequatione. [= Eine Methode zum Entfernen aller Zwischenterme aus einer gegebenen Gleichung.] In: Acta Eruditorum 2 (1683), S. 204–207.
2. ↑ Allgemein kann sie auch ${\displaystyle y={\tfrac {g(x)}{h(x)}}}$ angesetzt werden, mit Polynomen ${\displaystyle g}$, ${\displaystyle h}$, wobei ${\displaystyle f}$ und ${\displaystyle h}$ keine gemeinsamen Nullstellen haben
3. ↑ Siehe Heinrich Weber Algebra, Band 1, Paragraph 59
4. ↑ Diskussion der Methode z. B. in Jean-Pierre Tignol, Galois theory of algebraic equations, World Scientific 2001, S. 67
5. ↑ Beschrieben z. B. in Leonard Dickson, Modern algebraic theories, New York: Sanborn, 1926 (Reprint Dover Phoenix 2004), § 117, oder Jörg Bewersdorff, Algebra für Einsteiger, Vieweg 2007, S. 97 f.
6. ↑ Dickson, loc. cit., Paragraph 119, S. 212 f.
7. ↑ Hermite Sur quelque théorèmes d’algébre et la résolution de l´équation du quatrième degrée, Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences, Band 46, 1859, S. 961–967 (online); siehe Weber, Lehrbuch der Algebra, Band 1, S. 240, Paragraph 74
8. ↑ On Tschirnhausen's transformation, Philosophical Transactions of the Royal Society London, Band 152, 1862, S. 561–578 (JSTOR:108842)
9. ↑ Siehe Webers Lehrbuch der Algebra
10. ↑ Abhyankar Historical Ramblings in Algebraic Geometry and related algebra American Mathematical Monthly, Juni/Juli 1976, pdf
11. ↑ Stephen Ornes, Hilberts 13. Problem, Spektrum, 11. Februar 2021
12. ↑ Benson Farb, Jesse Wolfson, Resolvent degree, Hilbert's 13th Problem and geometry, 2018, Arxiv
13. ↑ Jesse Wolfson, Tschirnhaus transformations after Hilbert, Arxiv