# Polynomring/Differentialoperatoren/Einführung/Textabschnitt
## Definition

Es sei $K$ ein Körper. Zu einem Polynom
    $F=\sum _{\nu }a_{\nu }X^{\nu }\in K[X_{1},\ldots ,X_{n}]\,$
und $i$, $1\leq i\leq n$, heißt das Polynom
    $\partial _{i}F:={\frac {\partial F}{\partial X_{i}}}:=\sum _{\nu }\nu _{i}a_{\nu }X_{1}^{\nu _{1}}\cdots X_{i-1}^{\nu _{i-1}}X_{i}^{\nu _{i}-1}X_{i+1}^{\nu _{i+1}}\cdots X_{n}^{\nu _{n}}\,$
die formale partielle Ableitung von $F$ nach $X_{i}$.
Es wird also einfach algebraisch gemäß der üblichen Formel abgeleitet. Wenn $\nu _{i}$ ein Vielfaches der Charakteristik des Körpers ist, so kann diese Ableitung „überraschenderweise“ $0$ ergeben. Statt ${\frac {\partial F}{\partial _{X_{i}}}}$ schreibt man auch kurz $\partial _{i}(F)$. Insgesamt handelt es sich um eine $K$-lineare Abbildung
    $\partial _{i}\colon K[X_{1},\ldots ,X_{n}]\longrightarrow K[X_{1},\ldots ,X_{n}].$
Es gilt die Produktregel (oder Leibnizregel)
    $\partial _{i}(FG)=F\partial _{i}(G)+G\partial _{i}(F)\,.$
Diese partiellen Ableitungen kann man miteinander verknüpfen. Hierzu empfiehlt sich Monomschreibweise. Zu einem Tupel (einem Multiindex)
    $\alpha =\left(\alpha _{1},\,\ldots ,\,\alpha _{n}\right)\in \mathbb {N} ^{n}\,$
setzen wir
    $\partial ^{\alpha }=\partial _{1}^{\alpha _{1}}\cdots \partial _{n}^{\alpha _{n}}\,,$
wobei $\partial _{i}^{\alpha _{i}}$ die $\alpha _{i}$-fache Hintereinanderschaltung von $\partial _{i}$ bezeichnet. Bei dieser Gesamtkomposition kommt es nicht auf die Reihenfolge an, was hier im algebraischen Kontext einfacher ist als der analytische Satz von Schwarz. Die Summe
    $\vert {\alpha }\vert =\alpha _{1}+\cdots +\alpha _{n}\,$
nennt man die Ordnung der Hintereinanderschaltung. Zu einem Monom $X^{\beta }$ ist
    $\partial ^{\alpha }{\left(X^{\beta }\right)}={\frac {\beta !}{(\beta -\alpha )!}}X^{\beta -\alpha }\,$
wobei zu einem Tupel $\gamma$ die Fakultät als
    $\gamma !=\gamma _{1}!\cdots \gamma _{n}!\,$
definiert wird und wobei dieser Ausdruck als $0$ zu verstehen ist, wenn $\beta -\alpha$ in einer Komponente negativ ist.

## Definition

Es sei $K$ ein Körper der Charakteristik $0$. Unter einem (formalen) Differentialoperator auf $K[X_{1},\ldots ,X_{n}]$ versteht man eine endliche Summe
    $\sum _{\alpha }g_{\alpha }\partial ^{\alpha }$
mit polynomialen Koeffizientenfunktionen $g_{\alpha }\in K[X_{1},\ldots ,X_{n}]$, wobei die Indizes Tupel aus $\mathbb {N} ^{n}$ sind.
Die Ordnung eines Operators ist das maximale $\vert {\alpha }\vert$ mit $g_{\alpha }\neq 0$. Ein solcher Differentialoperator $E$ ist eine $K$-lineare Abbildung
    $K[X_{1},\ldots ,X_{n}]\longrightarrow K[X_{1},\ldots ,X_{n}],\,f\longmapsto E(f)=\sum _{\alpha }g_{\alpha }\cdot \partial ^{\alpha }(f).$
Er führt also polynomiale Funktionen auf dem $K^{n}$ in ebensolche Funktionen über. Im physikalischen Kontext sind die Koeffizientenfunktionen häufig nur stetige Funktionen auf einer offenen Menge $U\subseteq \mathbb {R} ^{n}$, und da beim Anwenden des Operators der Differenzierbarkeitsgrad heruntergeht, sind die Funktionenräume, die aus hinreichend oft differenzierbaren Funktionen bestehen und die als Definitionsbereich und als Wertebereich auftreten, nicht unbedingt identisch. Die beschriebenen Differentialoperatoren nennt man genauer lineare partielle Differentialoperatoren. Partiell bezieht sich dabei darauf, dass es mehr als eine Variable gibt (sonst spricht man von gewöhnlichen Differentialgleichungen) und linear darauf, dass die einzelnen $\partial ^{\alpha }$ nur mit Koeffizientenfunktionen multipliziert werden, aber beispielsweise nicht quadriert werden. Insbesondere ist der Operator als Abbildung $K$-linear. Ein nichtlinearer partieller Differentialoperator ist beispielsweise der Monge-Ampère-Operator
    $\partial _{1}^{2}\cdot \partial _{2}^{2}-(\partial _{1}\partial _{2})^{2}.$
Hier steht links nicht die Verknüpfung der Operatoren, sondern das Produkt! Die Wirkungsweise auf eine Funktion $f$ ist also $\partial _{1}^{2}(f)\cdot \partial _{2}^{2}(f)-(\partial _{1}\partial _{2}(f))^{2}$.

## Bemerkung

Ein Differentialoperator $E$ auf
    $R=K[X_{1},\ldots ,X_{n}]\,$
und ein Polynom $g\in K[X_{1},\ldots ,X_{n}]$ gibt Anlass zur (linearen) partiellen Differentialgleichung
    $E(f)=g\,,$
wobei nach den Lösungen $f\in K[X_{1},\ldots ,X_{n}]$ (bzw. realistischer im Ring der hinreichend oft differenzierbaren Funktionen auf dem $K^{n}$, $K=\mathbb {R} ,{\mathbb {C} }$) gesucht wird. Prominente partielle Differentialgleichungen sind die Wärmeleitungsgleichung mit
    $E=\partial _{t}-\partial _{x}^{2}\,$
(in $K[t,x]$) oder die Wellengleichung
    $E=\partial _{t}^{2}-\sum _{j=1}^{n}\partial _{x_{j}}^{2}\,$
(in $K[t,x_{1},\ldots ,x_{n}]$).

## Beispiel

Den Operator
    $x_{1}\partial _{1}+\cdots +x_{n}\partial _{n}$
nennt man den Homogenitätsoperator oder die Euler-Derivation. Er bildet ein Monom $X^{\mu }$ auf $\vert {\mu }\vert X^{\mu }$ ab. Allgemeiner wird ein homogenes Polynom $f$ von Grad $m$ durch diesen Operator auf $mf$ abgebildet. Die homogenen Polynome vom Grad $m$ sind also die Eigenvektoren zum Eigenwert $m$ zu diesem Operator.

## Bemerkung

Die Differentialoperatoren ${\frac {\partial ^{\alpha }}{\alpha !}}$ haben die besondere Eigenschaft, dass sie $X^{\alpha }$ auf $1$ abbilden. Generell gibt es für jedes Polynom $f\neq 0$ einen Operator, der dieses Polynom auf $1$ abbildet. Wenn $f$ die Form
    $f=\sum _{\beta =d}c_{\beta }X^{\beta }+\sum _{\beta <d}c_{\beta }X^{\beta }\,$
mit einem $c_{\alpha }\neq 0$ vom Grad $d$ für ein bestimmtes $\alpha$, so ist ${\frac {\partial ^{\alpha }}{\alpha !}}$ ein Operator, der $f$ auf $c_{\alpha }$ abbildet.
Wir nennen einen Differentialoperator $E$ unitär, wenn es ein Polynom $f$ mit
    $E(f)=1\,$
gibt, wenn also die partielle Differentialgleichung $E(-)=1$ eine Lösung besitzt. Wegen der Existenz der Operatoren ${\frac {\partial ^{\alpha }}{\alpha !}}$ gibt es in einem Polynomring viele unitäre Operatoren. Ein Operator wie $X\partial _{X}$ ist nicht unitär.
Die Operatoren ${\frac {\partial ^{\alpha }}{\alpha !}}$ sind in positiver Charakteristik zunächst nicht definiert, wenn $\alpha !$ ein Vielfaches der Charakteristik ist. Dennoch kann man dieses Operatoren auch in diesem Fall sinnvoll interpretieren.

## Bemerkung

Die mehrdimensionale Taylor-Formel (bis zur Ordnung $k$) hat die Form (siehe Fakt)
    $f(P+v)\sim \sum _{\vert {\,\alpha \,}\vert \leq k}{\frac {\partial ^{\alpha }(f)}{\alpha !}}\cdot v^{\alpha }\,.$
Dabei ist $f$ eine hinreichend oft differenzierbare Funktion in einer Umgebung eines Punktes $P\in \mathbb {R} ^{n}$, $v$ repräsentiert einen von $P$ ausgehenden Vektor und $\sim$ bedeutet, dass der Fehlerterm in einem gewissen Sinne klein ist. Wenn $f$ ein Polynom über einem beliebigen Körper ist, so gilt diese Beziehung nach wie vor (bei $k$ hinreichend groß handelt es sich um eine Gleichung), und zwar im Polynomring $K[X_{1},\ldots ,X_{n},V_{1},\ldots ,V_{n}]$, und diese Beziehung lässt sich direkt algebraisch beweisen. Beispielsweise ist für $f=X^{2}+XY+Y^{3}$
    ${\begin{aligned}(X+U)^{2}+(X+U)(Y+V)+(Y+V)^{3}&=X^{2}+2XU+U^{2}+XY+XV+UY+UV+Y^{3}+3YV^{2}+3Y^{2}V+V^{3}\\&=X^{2}+XY+Y^{3}+{\left(2X+Y\right)}U+{\left(X+3Y^{2}\right)}V+UV+U^{2}+3YV^{2}+V^{3}.\end{aligned}}$
Die Koeffizientenfunktion vor $U^{2}$, also die konstante Funktion $1$, kann man als $\partial _{X}(f)/2!$ erhalten. Da die Gleichung aber algebraisch ist, gilt sie in jeder Charakteristik. In der Tat kann man den Ausdrücken ${\frac {\partial ^{\alpha }}{\alpha !}}(f)$ auch in positiver Charakteristik einen wohldefinierten Sinn zuordnen, nämlich eben als Koeffizientenfunktion zu $V^{\alpha }$ in der Taylor-Entwicklung. Zur Berechnung kann man dabei so vorgehen, dass man „normal“ vollständig ableitet und die vorgezogenen Exponenten erstmal in $\mathbb {Z}$ belässt, dann mit $\alpha !$ kürzt (das Ergebnis bleibt in $\mathbb {Z}$) und erst dann diese Zahl in $K$ interpretiert.
Über einem Körper der Charakteristik $p$ gibt es also auch die Differentialoperatoren ${\frac {\partial ^{\alpha }}{\alpha !}}$. Insbesondere ist
    ${\frac {\partial ^{\alpha }}{\alpha !}}(X^{\alpha })=1\,.$
Diese Operatoren sind aber nicht, wie in Charakteristik $0$, als eine Hintereinanderschaltung von partiellen Ableitungen realisierbar. Der Ring aller Differentialoperatoren ist in positiver Charakteristik nicht endlich erzeugt.

## Bemerkung

Einen Differentialoperator auf $K^{n}$ bzw. auf $K[X_{1},\ldots ,X_{n}]$ kann man auf jede offene Menge $U\subseteq K^{n}$ einschränken. Er ist dann definiert auf der entsprechenden Funktionsklasse auf $U$. Dies gilt auch im algebraischen Kontext.
Die partiellen Ableitungen $\partial _{i}$ sind lokal in dem Sinne, dass $(\partial _{i}(f))(P)$ nur von einer offenen Umgebung des Punktes $P$ abhängt und $f$ auch nur auf einer solchen Umgebung definiert sein muss. Insbesondere ist $\partial _{i}{\left({\frac {f}{g}}\right)}$ für rationale Funktionen (also $f,g$ Polynome mit $g\neq 0$) wohldefiniert, und ergibt wieder eine rationale Funktion, die außerhalb der Nullstellenmenge von $g$ definiert ist. Dies überträgt sich auf alle Differentialoperatoren. Insbesondere führt ein Differentialoperator $E$ auf $K[X_{1},\ldots ,X_{n}]$ zu einem Differentialoperator auf dem Körper der rationalen Funktionen
    $K(X_{1},\ldots ,X_{n})={\left\{{\frac {f}{g}}\mid f,g\in K[X_{1},\ldots ,X_{n}],\,g\neq 0\right\}}\,.$
Umgekehrt lässt sich nicht jeder auf einer offenen Menge definierte Differentialoperator sinnvoll auf den Gesamtraum fortsetzen. Beispielsweise ist ein Operator wie ${\frac {1}{X}}\partial _{X}$ auf der Nenneraufnahme $K[X]_{X}$ (geometrisch: dort, wo $X\neq 0$ ist) definiert, aber nicht überall. Alle unter der Verwendung verschiedener Nennerpolynome aufgestellten Differentialoperatoren kann man als Differentialoperator auf $K(X_{1},\ldots ,X_{n})$ auffassen und vergleichen. Dabei gilt, dass ein Differentialoperator
    $E\colon K(X_{1},\ldots ,X_{n})\longrightarrow K(X_{1},\ldots ,X_{n})$
genau dann auf einem Unterring
    $R\subseteq K(X_{1},\ldots ,X_{n})\,$
einen sinnvollen Differentialoperator definiert, wenn $E(R)\subseteq R$ gilt. Es wird dann einfach der Definitionsbereich und der Bildbereich auf $R$ eingeschränkt.