Differentialoperator

Ein Differentialoperator ist in der Mathematik eine Funktion, die einer Funktion eine Funktion zuordnet und die Ableitung nach einer oder mehreren Variablen enthält. Insbesondere verschlechtern Differentialoperatoren die Regularität der Funktion, auf die sie angewendet werden.

Der wohl wichtigste Differentialoperator ist die gewöhnliche Ableitung, d. h. die Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \textstyle \frac{\mathrm d}{\mathrm dx}} (gesprochen: „d nach dx“), die einer differenzierbaren Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} ihre Ableitung $f^{\prime }$ zuordnet:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M \subset \R^n} eine beschränkte und offene Menge. Außerdem wird mit Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle 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 andere Definitions- 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 der schwachen Ableitung und damit zu den Sobolev-Räumen, die eine Verallgemeinerung der Räume der stetig-differenzierbaren Funktionen sind. Dies führte weiter zu dem Gedanken, lineare Differentialoperatoren mit Hilfe der Funktionalanalysis in der Operatortheorie zu untersuchen. Auf diese Aspekte wird jedoch vorerst in diesem Artikel nicht weiter eingegangen. Eine Verallgemeinerung eines Differentialoperators ist der Pseudo-Differentialoperator.

Linearer Differentialoperator erster Ordnung

Definition

Sei Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle M\subset \mathbb {R} ^{n}} eine offene Teilmenge. Ein linearer Differentialoperator erster Ordnung ist eine Abbildung

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

die durch

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle u\mapsto \sum _{i=1}^{n}a_{i}(x)\partial _{x_{i}}u}

dargestellt werden kann, wobei $a_{i}$ eine stetige Funktion ist.

Beispiele

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

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\colon f\mapsto f'.}

• Die partielle 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 Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle 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 Operatoren Gradient (grad), Divergenz (div) und Rotation (rot) aus der Vektoranalysis. Sie werden durch das Nabla-Symbol $\nabla$ bezeichnet, das im dreidimensionalen Fall in kartesischen Koordinaten die Gestalt

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

hat.

• Die Wirtinger-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}$ auf Holomorphie untersucht, 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 mit gewöhnlichen Differentialgleichungen auf.

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 ein linearer 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 alle Multiindizes $\alpha \in \mathbb {N} ^{n}$ eine stetige Funktion ist.

Beispiele

• Der Laplace-Operator in kartesischen Koordinaten lautet

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 eines elliptischen Differentialoperators. Elliptische Differentialoperatoren sind eine besondere Klasse partieller Differentialoperatoren.

• Der der Wärmeleitungs- oder Diffusionsgleichung entsprechende Operator ist

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Delta - \frac{\partial}{\partial t}.}

Dies ist ein Beispiel eines parabolischen Differentialoperators.

• Der D’Alembert-Operator

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c} einer Geschwindigkeit entspricht, ist ein weiterer wichtiger partieller Differentialoperator. Dieser ist ein hyperbolischer Operator und wird bei der Wellengleichung verwendet.

Partieller Differentialoperator

Definition

Ein (nicht linearer) partieller Differentialoperator der Ordnung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_{\alpha i}} für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \alpha \in \N^n} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 der linearen Abbildung. Alle oben angeführten Beispiele, soweit nichts anderes dabei steht, sind lineare Differentialoperatoren.

Definition

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} ein (beliebiger) Differentialoperator. Dieser heißt linear, falls

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {D}\,(f+g) = ({D}f) + ({D}g)}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {D}\,(cf) = c\,({D}f)}

für alle Funktionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f, g \in C^1(M)} und alle Konstanten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c} gilt.

Prominentestes Beispiel hierfür ist der Differentialoperator

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{\mathrm{d}}{\mathrm{d} x}\colon f \mapsto f',}

der einer Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} ihre Ableitung zuordnet.

Der Lösungsraum einer linearen Differentialgleichung bildet einen Vektorraum. Nach Fouriertransformation lassen sie sich häufig auf algebraische Gleichungen und Konzepte der linearen Algebra zurückführen. Nichtlineare Differentialoperatoren sind wesentlich schwieriger zu behandeln.

Algebra der Differentialoperatoren

Mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Diff}^k(C^k(M))} wird die Menge aller linearen Differentialoperatoren der Ordnung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k} bezeichnet, die auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\mathrm{D}_1\circ \mathrm{D}_2)(f) = \mathrm{D}_1(\mathrm{D}_2(f))}

zu einer Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 der Vertauschbarkeit der partiellen Ableitungen folgt.

Man kann auch formal Potenzreihen mit den Differentialoperatoren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} bilden und darüber z. B. Exponentialfunktionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \exp (D)} . Für das Rechnen mit solchen Exponentialausdrücken von linearen Operatoren gelten die Baker-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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} eine glatte Mannigfaltigkeit und seien Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E, F \to M} Vektorbündel. Ein Differentialoperator der Ordnung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k} zwischen den Schnitten von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} ist eine lineare Abbildung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D \colon \Gamma^\infty(M,E) \to \Gamma^{\infty}(M,F)}

mit den folgenden Eigenschaften:

• Der Operator Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} ist lokal, das heißt, es gilt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{supp}(Ds) \subseteq \operatorname{supp}(s).}

• Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \in M} existieren eine offene Umgebung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U \subseteq M} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} , Bündelkarten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \phi \colon E|_U \to U \times \Complex^r} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \psi \colon F|_U \to U \times \Complex^s} sowie ein Differentialoperator Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tilde{D} \in \operatorname{Diff}^k(U,\Complex^r,\Complex^s),} sodass das Diagramm
  Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{array}{ccc} \Gamma^\infty_0(E\vert_U) & \xrightarrow D & \Gamma^\infty_0(F\vert_U) \\ \big\downarrow \phi^* & & \big\downarrow \psi^*\\ C^\infty(U, \Complex^r) & \xrightarrow{\tilde D} & C^\infty(U, \Complex^s) \end{array}}
  kommutiert. Mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \phi^*} ist der Pullback eines glatten Vektorfeldes in den Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C^\infty(U, \Complex^r)} bezeichnet.

Beispiele

Im Folgenden werden Beispiele von geometrischen Differentialoperatoren aufgezeigt.

• Die Menge der Differentialformen bildet ein glattes Vektorbündel über einer glatten Mannigfaltigkeit. Die Cartan-Ableitung und ihr adjungierter Operator sind Differentialoperatoren auf diesem Vektorbündel.
• Der Laplace-Beltrami-Operator sowie andere verallgemeinerte Laplace-Operatoren sind Differentialoperatoren.
• Das Tensorbündel ist ein Vektorbündel. Für jedes fest gewählte Vektorfeld Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ist die Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \nabla_X \colon \Gamma^\infty(T^k_lM) \rightarrow \Gamma^\infty(T^k_lM)} definiert durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T \mapsto \nabla_X T} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \nabla} die kovariante Ableitung ist, ein Differentialoperator.
• Die Lie-Ableitung ist 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y_i} ersetzt und nur die Terme höchster – also zweiter – Ordnung betrachtet, einer quadratischen Form in den Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y_i} . Im elliptischen Fall haben alle Koeffizienten der Form dasselbe Vorzeichen, im hyperbolischen Fall wechselt das Vorzeichen, im parabolischen Fall fehlt für eines der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y_i} der Term höchster Ordnung. Die entsprechenden partiellen Differentialgleichungen zeigen jeweils sehr unterschiedliches Verhalten. Die Namen kommen von den Analoga zu Kegelschnittgleichungen.

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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P(u)(x) = \sum_{|\alpha|\leq m} b_\alpha(x) \frac{\partial^\alpha}{\partial x^\alpha}u(x)}

ein allgemeiner Differentialoperator der Ordnung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m} . Die Koeffizientenfunktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b_{\alpha} \in C^\infty(\R^n)} kann matrixwertig sein. Das Polynom

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p(x,\xi) = \sum_{|\alpha|\leq m}b_\alpha(x) \left(i\xi\right)^\alpha}

in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \xi \in \R^n} heißt das Symbol von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} wieder der oben definierte Differentialoperator der Ordnung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m} . Das homogene Polynom

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

in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \xi \in \R^n} heißt Hauptsymbol von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 des Laplace-Operators Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Delta} lauten

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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$, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \xi \in T_p^*M} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e \in E_p} . Wähle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \in C^\infty_c(M)} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s \in \Gamma^\infty_c(M,E)} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(p) = 0} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \textstyle\mathrm{d}f_p = \xi} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s(p) = e} . Dann ist der Ausdruck

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma^k_D(p,\xi) e := \frac{i^k}{k!}D(f^k s)(p)}

unabhängig von der Wahl von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s} . Die Funktion

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

heißt dann das Hauptsymbol von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} .

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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k} mit glatten und beschränkten Koeffizienten können als Pseudo-Differentialoperatoren der gleichen Ordnung verstanden werden. Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D \colon C^k_c(\R^n) \to C_c(\R^n)} ein solcher Differentialoperator, dann kann man auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D f} die Fourier-Transformation ${\mathcal {F}}$ und danach die inverse Fourier-Transformation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{F}^{-1}} anwenden. Das heißt, es gilt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (D u) (x) = (\mathcal{F}^{-1} \mathcal{F} D u) (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 dy \mathrm d\xi.}

Dies ist ein Spezialfall eines Pseudo-Differentialoperators

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (P u) (x) = \frac{1}{(2 \pi)^n} \int_{\mathbb{R}^n} \int_{\R^n} e^{\mathrm i (x - y) \xi} a(x,y,\xi) u(y) \mathrm dy \mathrm d\xi.}

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

Literatur

• Otto Forster: Analysis 2. Differentialrechnung im Rⁿ. 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).