Differentialoperator

EinDifferentialoperatorist in derMathematikeineFunktion,die alsOperatoreiner Funktion eine Funktion zuordnet und dieAbleitungnach einer oder mehreren Variablen enthält. Insbesondere verschlechtern Differentialoperatoren dieRegularitätder Funktion, auf die sie angewendet werden.

Der wohl wichtigste Differentialoperator ist die gewöhnliche Ableitung, d. h. die Abbildung$\textstyle {\frac {\mathrm {d} }{\mathrm {d} x}}$(gesprochen: „d nach dx “), die einerdifferenzierbarenFunktion$f$ihre Ableitung$f^{\prime }$zuordnet:

${\frac {\mathrm {d} }{\mathrm {d} x}}\colon f\mapsto {\frac {\mathrm {d} }{\mathrm {d} x}}f={\frac {\mathrm {d} f}{\mathrm {d} x}}=f'$

Differentialoperatoren lassen sich miteinander verknüpfen. Durch Weglassen der Funktion, auf die sie wirken, erhält man reine Operatorgleichungen.

Es gibt unterschiedliche Definitionen eines Differentialoperators, die alle Spezialfälle oder Verallgemeinerungen voneinander sind. Da die allgemeinste Formulierung entsprechend schwer verständlich ist, werden hier unterschiedliche Definitionen mit unterschiedlicher Allgemeingültigkeit gegeben. So bestehen gewöhnliche Differentialoperatoren aus der Verkettung von ganzen Ableitungen, während in partiellen Differentialoperatoren auch partielle Ableitungen auftauchen.

Soweit nicht anders angegeben, sei in diesem Artikel$M\subset \mathbb {R} ^{n}$einebeschränkteundoffene Menge.Außerdem wird mit$C^{k}(M)$die Menge der$k$-mal stetig differenzierbaren Funktionen$f\colon M\to \mathbb {R}$und mit$C(M)=C^{0}(M)$die Menge der stetigen Funktionen bezeichnet. Die Beschränkung, dass$f$zwischen reellen Teilmengen abbildet, ist nicht notwendig, wird aber in diesem Artikel meist vorausgesetzt. Sind andereDefinitions-und Bildbereiche notwendig oder sinnvoll, so wird dies im Folgenden explizit angegeben.

Dieser Artikel beschränkt sich außerdem weitestgehend auf Differentialoperatoren, die auf den gerade erwähnten Räumen der stetig differenzierbaren Funktionen operieren. Es gibt Abschwächungen der Definitionen. So führte beispielsweise das Studium der Differentialoperatoren zur Definition derschwachen Ableitungund damit zu denSobolev-Räumen,die eine Verallgemeinerung der Räume der stetig-differenzierbaren Funktionen sind. Dies führte weiter zu dem Gedanken, lineare Differentialoperatoren mit Hilfe derFunktionalanalysisin derOperatortheoriezu untersuchen. Auf diese Aspekte wird jedoch vorerst in diesem Artikel nicht weiter eingegangen. Eine Verallgemeinerung eines Differentialoperators ist derPseudo-Differentialoperator.

Linearer Differentialoperator erster Ordnung

Definition

Sei$M\subset \mathbb {R} ^{n}$eineoffene Teilmenge.EinlinearerDifferentialoperator erster Ordnung ist eineAbbildung

$D\colon C^{1}(M)\to C^{0}(M),$

die durch

$u\mapsto \sum _{i=1}^{n}a_{i}(x)\partial _{x_{i}}u$

dargestellt werden kann, wobei$a_{i}$einestetige Funktionist.

Beispiele

• Das wichtigste Beispiel eines Differentialoperators erster Ordnung ist die gewöhnliche Ableitung

${\frac {\mathrm {d} }{\mathrm {d} x}}\colon f\mapsto f'.$

• Diepartielle Ableitung

${\frac {\partial }{\partial x_{i}}}\colon f\mapsto {\frac {\partial f}{\partial x_{i}}}$

in$x_{i}$-Richtung ist ein partieller Differentialoperator erster Ordnung.

• Andere Differentialoperatoren dieser Gattung erhält man durch Multiplikation mit einer stetigen Funktion. Sei dazu$a\in C^{0}(M)$eben so eine stetige Funktion, dann ist der durch

$D=a{\frac {\mathrm {d} }{\mathrm {d} x}}\colon f\mapsto af'\quad {\text{d. h.}}\quad Df(x)=a(x)f'(x)$

definierte Operator$D$ebenfalls wieder ein Differentialoperator erster Ordnung.

• Drei weitere Beispiele sind die OperatorenGradient(grad),Divergenz(div) undRotation(rot) aus derVektoranalysis.Sie werden durch dasNabla-Symbol$\nabla$bezeichnet, das im dreidimensionalen Fall inkartesischen Koordinatendie Gestalt

$\nabla ={\begin{pmatrix}{\frac {\partial }{\partial x_{1}}}\\{\frac {\partial }{\partial x_{2}}}\\{\frac {\partial }{\partial x_{3}}}\end{pmatrix}}.$

hat.

• DieWirtinger-Ableitungen

${\frac {\partial }{\partial z}}={\frac {1}{2}}\left({\frac {\partial }{\partial x}}-\mathrm {i} {\frac {\partial }{\partial y}}\right)$

und

${\frac {\partial }{\partial {\overline {z}}}}={\frac {1}{2}}\left({\frac {\partial }{\partial x}}+\mathrm {i} {\frac {\partial }{\partial y}}\right)$

sind zwei weitere Beispiele für Differentialoperatoren. Das besondere in diesen Operatoren ist, dass man mit ihnen Funktionen$M\subset \mathbb {C} \to \mathbb {C}$aufHolomorphieuntersucht, gilt nämlich$\textstyle {\frac {\partial f}{\partial {\overline {z}}}}=0$so ist die Funktion$f$holomorph.

Gewöhnlicher Differentialoperator

Gewöhnliche Differentialoperatoren treten insbesondere im Zusammenhang mitgewöhnlichen Differentialgleichungenauf.

Definition

Analog zur Definition des Differentialoperators erster Ordnung ist ein gewöhnlicher Differentialoperator der Ordnung$k$eine Abbildung

$D\colon C^{k}(M)\to C^{0}(M),$

die durch

$D(f)(x):=\sum _{i=0}^{k}a_{i}(x)\left({\frac {\mathrm {d} ^{i}f}{\mathrm {d} x^{i}}}(x)\right)^{\beta _{i}}$

gegeben ist. Hier ist$a_{i}$für alle$i$wieder eine stetige Funktion. Im Fall$\beta _{i}=1$für alle$i$nennt man diesen Operator einen gewöhnlichen, linearen Differentialoperator.

Beispiel

• Die Ableitung$k$-ter Ordnung

${\frac {\mathrm {d} ^{k}}{\mathrm {d} x^{k}}}\colon f\mapsto f^{(k)}$

ist der einfachste Fall eines gewöhnlichen Differentialoperators. Es handelt sich um den sich aus$a_{i}\equiv 0$für$i<k,\;a_{k}\equiv 1$und$\beta _{k}=1$ergebenden Spezialfall.

Linearer partieller Differentialoperator

Definition

Sei$M\subset \mathbb {R} ^{n}$eine offene Teilmenge. Ein linearer partieller Differentialoperator der Ordnung$k$ist einlinearer Operator

$D\colon C^{k}(M)\to C^{0}(M),$

der durch

$D(f)(x):=\sum _{|\alpha |\leq k}a_{\alpha }(x){\frac {\partial ^{\alpha }f}{\partial x^{\alpha }}}(x)$

dargestellt werden kann. Wobei$a_{\alpha }$für alleMultiindizes$\alpha \in \mathbb {N} ^{n}$eine stetige Funktion ist.

Beispiele

• DerLaplace-Operatorin kartesischen Koordinaten lautet

$\Delta =\nabla ^{2}=\sum _{k=1}^{n}{\frac {\partial ^{2}}{\partial x_{k}^{2}}}.$

Dies ist ein elementares Beispiel eines partiellen Differentialoperators. Außerdem ist diese das wichtigste Beispiel eineselliptischen Differentialoperators.Elliptische Differentialoperatoren sind eine besondere Klasse partieller Differentialoperatoren.

• Der der Wärmeleitungs- oderDiffusionsgleichungentsprechende Operator ist

$\Delta -{\frac {\partial }{\partial t}}.$

Dies ist ein Beispiel eines parabolischen Differentialoperators.

• DerD’Alembert-Operator

$\Box \varphi (x,y,z,t)={\frac {1}{c^{2}}}{\frac {\partial ^{2}\varphi }{\partial t^{2}}}(x,y,z,t)-\Delta _{(x,y,z)}\varphi (x,y,z,t),$

wobei$c$einer Geschwindigkeit entspricht, ist ein weiterer wichtiger partieller Differentialoperator. Dieser ist einhyperbolischer Operatorund wird bei derWellengleichungverwendet.

Partieller Differentialoperator

Definition

Ein (nicht linearer) partieller Differentialoperator der Ordnung$k$ist ebenfalls wieder eine Abbildung

$D\colon C^{k}(M)\to C^{0}(M).$

Diese ist gegeben durch

$D(f)(x):=\sum _{i}\sum _{|\alpha |\leq k}a_{\alpha i}(x)\left({\frac {\partial ^{\alpha }f}{\partial x^{\alpha }}}(x)\right)^{i}.$

Hier sind$a_{\alpha i}$für alle$\alpha \in \mathbb {N} ^{n}$und$i$stetige Funktionen.

Lineare Differentialoperatoren

In den obigen Definitionen wurde schon kurz erwähnt, wann ein gewöhnlicher beziehungsweise ein partieller Differentialoperator linear genannt wird. Der Vollständigkeit halber wird nun die abstrakte Definition eines linearen Differentialoperators genannt. Diese ist analog zur Definition derlinearen Abbildung.Alle oben angeführten Beispiele, soweit nichts anderes dabei steht, sind lineare Differentialoperatoren.

Definition

Sei$D$ein (beliebiger) Differentialoperator. Dieser heißt linear, falls

${D}\,(f+g)=({D}f)+({D}g)$

${D}\,(cf)=c\,({D}f)$

für alle Funktionen$f,g\in C^{1}(M)$und alle Konstanten$c$gilt.

Prominentestes Beispiel hierfür ist der Differentialoperator

${\frac {\mathrm {d} }{\mathrm {d} x}}\colon f\mapsto f',$

der einer Funktion$f$ihre Ableitung zuordnet.

Der Lösungsraum einer linearen Differentialgleichung bildet einenVektorraum.NachFouriertransformationlässt sie sich häufig auf eine algebraische Gleichung und Konzepte der linearen Algebra zurückführen. Nichtlineare Differentialoperatoren sind wesentlich schwieriger zu behandeln.

Algebra der Differentialoperatoren

Mit$\operatorname {Diff} ^{k}(C^{k}(M))$wird die Menge aller linearen Differentialoperatoren der Ordnung$k$bezeichnet, die auf$C^{k}(M)$operieren. Die Menge

$\operatorname {Diff} (C^{k}(M)):=\bigoplus _{k\geq 0}\operatorname {Diff} ^{k}(C^{k}(M))$

wird zusammen mit der Hintereinanderschaltung von linearen Differentialoperatoren als Multiplikation

$(\mathrm {D} _{1}\circ \mathrm {D} _{2})(f)=\mathrm {D} _{1}(\mathrm {D} _{2}(f))$

zu einer$\mathbb {Z} _{+}$-graduierten Algebra.Die Multiplikation ist aber im Allgemeinen nicht kommutativ. Eine Ausnahme sind beispielsweise Differentialoperatoren mit konstanten Koeffizienten, bei denen die Kommutativität aus derVertauschbarkeit der partiellen Ableitungenfolgt.

Man kann auch formal Potenzreihen mit den Differentialoperatoren$D$bilden und darüber z. B. Exponentialfunktionen$\exp(D)$.Für das Rechnen mit solchen Exponentialausdrücken von linearen Operatoren gelten dieBaker-Campbell-Hausdorff-Formeln.

Differentialoperator auf einer Mannigfaltigkeit

Da man auf Mannigfaltigkeiten nur die lokalen Koordinatensysteme in Form von Karten und keine global gültigen Koordinatensysteme zur Verfügung hat, muss man auf diesen Differentialoperatoren koordinatenunabhängig definieren. Solche Differentialoperatoren auf Mannigfaltigkeiten werden auch geometrische Differentialoperatoren genannt.

Koordinaten-invariante Definition

Sei$M$eineglatte Mannigfaltigkeitund seien$E,F\to M$Vektorbündel.Ein Differentialoperator der Ordnung$k$zwischen denSchnittenvon$E$und$F$ist einelineare Abbildung

$D\colon \Gamma ^{\infty }(M,E)\to \Gamma ^{\infty }(M,F)$

mit den folgenden Eigenschaften:

• Der Operator$D$ist lokal, das heißt, es gilt

$\operatorname {supp} (Ds)\subseteq \operatorname {supp} (s).$

• Für$x\in M$existieren eine offene Umgebung$U\subseteq M$von$x$,Bündelkarten$\phi \colon E|_{U}\to U\times \mathbb {C} ^{r}$und$\psi \colon F|_{U}\to U\times \mathbb {C} ^{s}$sowie ein Differentialoperator${\tilde {D}}\in \operatorname {Diff} ^{k}(U,\mathbb {C} ^{r},\mathbb {C} ^{s}),$sodass das Diagramm
  ${\begin{array}{ccc}\Gamma _{0}^{\infty }(E\vert _{U})&{\xrightarrow {D}}&\Gamma _{0}^{\infty }(F\vert _{U})\\{\big \downarrow }\phi ^{*}&&{\big \downarrow }\psi ^{*}\\C^{\infty }(U,\mathbb {C} ^{r})&{\xrightarrow {\tilde {D}}}&C^{\infty }(U,\mathbb {C} ^{s})\end{array}}$
  kommutiert.Mit$\phi ^{*}$ist derPullbackeines glatten Vektorfeldes in den Raum$C^{\infty }(U,\mathbb {C} ^{r})$bezeichnet.

Beispiele

Im Folgenden werden Beispiele von geometrischen Differentialoperatoren aufgezeigt.

• Die Menge derDifferentialformenbildet ein glattes Vektorbündel über einer glatten Mannigfaltigkeit. DieCartan-Ableitungund ihradjungierter Operatorsind Differentialoperatoren auf diesem Vektorbündel.
• DerLaplace-Beltrami-Operatorsowie andereverallgemeinerte Laplace-Operatorensind Differentialoperatoren.
• DasTensorbündelist ein Vektorbündel. Für jedes fest gewählte Vektorfeld$X$ist die Abbildung$\nabla _{X}\colon \Gamma ^{\infty }(T_{l}^{k}M)\rightarrow \Gamma ^{\infty }(T_{l}^{k}M)$definiert durch$T\mapsto \nabla _{X}T$,wobei$\nabla$diekovariante Ableitungist, ein Differentialoperator.
• DieLie-Ableitungist ein Differentialoperator auf den Differentialformen.

Symbol eines Differentialoperators

Die in den Beispielen angegebenen Differentialoperatoren 2. Ordnung entsprechen, wenn man die partiellen Ableitungen$\partial _{i}$formal durch Variablen$y_{i}$ersetzt und nur die Terme höchster – also zweiter – Ordnung betrachtet, einerquadratischen Formin den$y_{i}$.Im elliptischen Fall haben alle Koeffizienten der Form dasselbeVorzeichen,im hyperbolischen Fall wechselt das Vorzeichen, im parabolischen Fall fehlt für eines der$y_{i}$der Term höchster Ordnung. Die entsprechendenpartiellen Differentialgleichungenzeigen jeweils sehr unterschiedliches Verhalten. Die Namen kommen von den Analoga zuKegelschnittgleichungen.

Das lässt sich durch den Begriff des Hauptsymbols des Differentialoperators auch auf andere Fälle erweitern. Man behält nur Terme der höchsten Ordnung bei, ersetzt Ableitungen durch neue Variable$y_{i}$und erhält ein Polynom in diesen neuen Variablen, mit dem man den Differentialoperator charakterisieren kann. Beispielsweise ist er vom elliptischen Typ, wenn gilt: das Hauptsymbol ist ungleich Null, wenn mindestens ein$y_{i}$ungleich Null ist. Es gibt aber schon bei Differentialoperatoren 2. Ordnung „gemischte “Fälle, die keiner der drei Klassen zuzuordnen sind.

Die folgenden Definitionen halten dies nochmal in mathematischer Präzision fest.

Symbol

Es sei

$P(u)(x)=\sum _{|\alpha |\leq m}b_{\alpha }(x){\frac {\partial ^{\alpha }}{\partial x^{\alpha }}}u(x)$

ein allgemeiner Differentialoperator der Ordnung$m$.Die Koeffizientenfunktion$b_{\alpha }\in C^{\infty }(\mathbb {R} ^{n})$kann matrixwertig sein. DasPolynom

$p(x,\xi )=\sum _{|\alpha |\leq m}b_{\alpha }(x)\left(i\xi \right)^{\alpha }$

in$\xi \in \mathbb {R} ^{n}$heißt das Symbol von$P$.Da jedoch wie in der Einleitung schon angedeutet, die wichtigsten Informationen im Term der höchsten Ordnung zu finden sind, wird meist mit der folgenden Definition des Hauptsymbols gearbeitet.

Hauptsymbol

Sei$P$wieder der oben definierte Differentialoperator der Ordnung$m$.Das homogene Polynom

$p_{m}(x,\xi )=\sum _{|\alpha |=m}b_{\alpha }(x)\left(i\xi \right)^{\alpha }$

in$\xi \in \mathbb {R} ^{n}$heißt Hauptsymbol von$P$.Oft nennt man das Hauptsymbol auch einfach nur Symbol, wenn Verwechslungen mit der oben gegebenen Definition ausgeschlossen sind.

Beispiele

• Das Symbol und das Hauptsymbol desLaplace-Operators$\Delta$lauten

$\sum _{i=1}^{n}-\xi _{i}^{2}=-|\xi |^{2}.$

Hauptsymbol eines Differentialoperators zwischen Vektorbündeln

Differentialoperatoren auf Mannigfaltigkeiten kann man auch ein Symbol und ein Hauptsymbol zuordnen. Dabei muss in der Definition natürlich berücksichtigt werden, dass das Hauptsymbol und das Symbol unter Kartenwechsel invariant definiert ist. Da der Kartenwechsel bei Symbolen sehr kompliziert ist, beschränkt man sich meist auf die Definition des Hauptsymbols.

Sei$D\colon \Gamma ^{\infty }(M,E)\to \Gamma ^{\infty }(M,F)$ein (koordinaten-invarianter) Differentialoperator, der zwischen Schnitten von Vektorbündeln operiert. Sei$p\in M$,$\xi \in T_{p}^{*}M$und$e\in E_{p}$.Wähle$f\in C_{c}^{\infty }(M)$und$s\in \Gamma _{c}^{\infty }(M,E)$mit$f(p)=0$,$\textstyle \mathrm {d} f_{p}=\xi$und$s(p)=e$.Dann ist der Ausdruck

$\sigma _{D}^{k}(p,\xi )e:={\frac {i^{k}}{k!}}D(f^{k}s)(p)$

unabhängig von der Wahl von$f$und$s$. Die Funktion

$\sigma _{D}^{k}(p,\xi )\in \operatorname {Hom} (E_{p},F_{p})$

heißt dann das Hauptsymbol von$D$.

Bidifferentialoperator

Einen Differentialoperator, der auf zwei Funktionen wirkt,

$D\colon C^{k}(M)\times C^{k}(M)\to C^{0}(M)$

nennt man auchBidifferentialoperator.

Pseudo-Differentialoperatoren

→Hauptartikel:Pseudo-Differentialoperator

Die Ordnung eines Differentialoperators ist immer ganzzahlig und positiv. In der Theorie der Pseudo-Differentialoperatoren wird dies verallgemeinert. Lineare Differentialoperatoren der Ordnung$k$mit glatten und beschränkten Koeffizienten können als Pseudo-Differentialoperatoren der gleichen Ordnung verstanden werden. Sei$D\colon C_{c}^{k}(\mathbb {R} ^{n})\to C_{c}(\mathbb {R} ^{n})$ein solcher Differentialoperator, dann kann man auf$Df$dieFourier-Transformation${\mathcal {F}}$und danach die inverse Fourier-Transformation${\mathcal {F}}^{-1}$anwenden. Das heißt, es gilt

$(Du)(x)=({\mathcal {F}}^{-1}{\mathcal {F}}Du)(x)={\frac {1}{(2\pi )^{n}}}\int _{\mathbb {R} ^{n}}\int _{\mathbb {R} ^{n}}e^{\mathrm {i} (x-y)\xi }D(\xi )u(y)\mathrm {d} y\mathrm {d} \xi.$

Dies ist ein Spezialfall eines Pseudo-Differentialoperators

$(Pu)(x)={\frac {1}{(2\pi )^{n}}}\int _{\mathbb {R} ^{n}}\int _{\mathbb {R} ^{n}}e^{\mathrm {i} (x-y)\xi }a(x,y,\xi )u(y)\mathrm {d} y\mathrm {d} \xi.$

Hieran sieht man auch, dass gewisse Differentialoperatoren alsIntegraloperatorendargestellt werden können und somit Differentialoperatoren und Integraloperatoren nicht ganz gegensätzlich sind.

Literatur

• Otto Forster:Analysis 2. Differentialrechnung imRⁿ.Gewöhnliche Differentialgleichungen.Vieweg-Verlag, 7. Aufl., 2006,ISBN 3-528-47231-6.
• Konrad Königsberger:Analysis 2.Springer-Verlag, Berlin/Heidelberg 2000,ISBN 3-540-43580-8.
• Dirk Werner:Funktionalanalysis.Springer-Verlag, Berlin 2007,ISBN 978-3-540-72533-6.
• Lawrence Evans:Partial Differential Equations.American Mathematical Society,ISBN 0-8218-0772-2.
• Liviu I. Nicolaescu:Lectures on the geometry of manifolds.World Scientific Pub Co (für Differentialoperatoren zwischen Vektorbündeln).