Schiefpolynom

Schiefpolynome sind eine Klasse von mathematischen Objekten. Sie sind eine Verallgemeinerung der gewöhnlichen Polynome mit einer im Allgemeinen nicht kommutativen Multiplikation. Schiefpolynome werden zur algebraischen Modellierung von Differentialgleichungen und Differenzengleichungen eingesetzt.

Geschichte

Schiefpolynome wurden erstmals von dem norwegischen Mathematiker Øystein Ore betrachtet, der sich vor allem mit Fragen ihrer Faktorisierung beschäftigt hat ^[1]. Aus diesem Grund werden sie von einigen Autoren auch als Ore-Polynome bezeichnet.

Definitionen und Sätze

Definition

Für einen Ring R und einen Endomorphismus σ von R ist eine σ-Derivation θ definiert als eine Abbildung von R in sich selbst mit den Eigenschaften

$\theta(a+b) = \theta(a) + \theta(b) \quad\hbox{und}\quad \theta(a\cdot b) = \sigma(a)\cdot\theta(b) + \theta(a)\cdot b$

für alle $a,b \in R$. Ein Beispiel hierfür sind die unendlich oft differenzierbaren Funktionen $C^\infty(\mathbb{R})$ auf den reellen Zahlen mit der Identität als Endomorphismus und der gewöhnlichen Ableitung d / dx.

Der Ring der Schiefpolynome $R[\partial;\sigma,\theta]$ in der Unbekannten $\partial$ ist die Menge der formalen Ausdrücke

$p = a_n \partial^n + a_{n-1} \partial^{n-1} + \cdots + a_1 \partial + a_0,$

mit Koeffizienten in R. Ist $a_n \neq 0$, so ist n der Grad gradp von p (auch als Ordnung bezeichnet).

Die Addition wird wie bei normalen Polynomen gehandhabt. Die Multiplikation wird durch die Gleichung

$\partial \cdot a = \sigma(a) \cdot \partial + \theta(a)$

festgelegt. Indem man verlangt, dass Assoziativgesetz und Distributivgesetz gelten sollen, kann man so beliebige Schiefpolynome miteinander multiplizieren.

Diese Multiplikation simuliert das Hintereinanderschalten von Differentialoperatoren. Bezeichnen wir im obigen Beispiel für $f \in C^\infty(\mathbb{R})$ die Multiplikation von Links mit f auch einfach wieder mit f, so gilt für ein beliebiges $g \in C^\infty(\mathbb{R})$

$({\textstyle\frac{d}{dx}} \circ f) (g) = {\textstyle\frac{d}{dx}} (f \cdot g) = {\textstyle\frac{df}{dx}} \cdot g + f \cdot {\textstyle\frac{dg}{dx}} = ({\textstyle\frac{df}{dx}} + f \circ {\textstyle\frac{d}{dx}})(g),$

wobei ${\textstyle\frac{df}{dx}}$ entsprechend die Multiplikation mit der Ableitung von f bezeichnet.

Eine formale Definition (und einen Existenzbeweis) für Schiefpolynome gewinnt man mit Hilfe des Ringes der Gruppenendomorphismen des R-Moduls

$R^{( \mathbb{N} )} = \{ (a_n)_{n \in \mathbb{N}} \mid a_n = 0 \text{ fuer fast alle } n \in \mathbb{N} \}.$

Nun bettet man R ähnlich wie im Beispiel mittels des Monomorphismus $R \ni a \mapsto (x \mapsto a\cdot x) \in \mathrm{End}(R^{(\mathbb{N})})$ in den Ring der Gruppenmorphismen $\mathrm{End}(R^{(\mathbb{N})})$ ein. Der Schiefpolynomring entspricht dann dem von R und dem Endormorphismus

$\delta = (a_n)_{n\in\mathbb{N}} \mapsto \bigl(\,\sigma(a_n) + \theta(a_{n-1})\,\bigr)_{n\in\mathbb{N}} \quad(\hbox{wobei } a_{-1} := 0)$

erzeugten Unterring von $\mathrm{End}(R^{(\mathbb{N})})$. Genauere Erläuterungen hierzu finden sich in Kapitel 0.10 in ^[2].

Beispiele

• Gewöhnliche Polynome erhält man durch σ = id (Identität) und θ = 0.
• Bei σ = id spricht man von Differentialoperatoren. Zum Beispiel sind $C^\infty[\partial; \mathrm{id}, d/dx]$ die Differentialoperatoren mit unendlich oft differenzierbaren Koeffizienten.
• Der Ring der Schiebeoperatoren $(\mathbb{Z}[t])[\partial; \sigma, 0]$ mit σ(f(t)) = f(t + 1) über Polynomen mit ganzzahligen Koeffizienten

Eigenschaften

Wenn R nullteilerfrei ist und σ injektiv, dann gilt

grad(ab) = grada + gradb

für alle $a,b \in R[\partial;\sigma,\theta]$. Insbesondere ist $R[\partial;\sigma,\theta]$ also ebenfalls nullteilerfrei.

Sind der Grundring R ein Körper und σ ein Automorphismus, so lassen sich links- und rechtsseitige Division mit Rest definieren. Damit lassen sich dann größte gemeinsame Rechtsteiler und größte gemeinsame Linksteiler mittels einer Variante des Euklidischen Algorithmus berechnen ^[3].

Weblinks

• An introduction to pseudo-linear algebra
• OreTools (Schiefpolynome in Maple)

Quellen

1. ↑ Öystein Ore [sic]: Formale Theorie der linearen Differentialgleichungen (Erster Teil). Journal der reinen und angewandten Mathematik, 167: 221-234, 1932
2. ↑ Paul Moritz Cohn: Free Rings and their relations. London Academic Press, Second edition, 1985
3. ↑ Manuel Bronstein und Marko Petkovšek: An introduction to pseudo-linear algebra, Theoretical Computer Science, 157:3-33, 1996