Differentialoperator

Differentialoperator

Ein Differentialoperator ist in der Mathematik eine Abbildung, 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 \textstyle \frac{\mathrm d}{\mathrm d x} (gesprochen: „d nach dx“), die einer differenzierbaren Funktion 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.

Inhaltsverzeichnis

Einleitung

Es gibt unterschiedliche Definitionen eines Differentialoperators, welche allesamt 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, wohingegen in partiellen Differentialoperatoren auch partielle Ableitungen auftauchen.

Soweit nicht anders angeben sei in diesem Artikel M \subset \R^n eine beschränkte und offene Menge. Außerdem wird mit Ck(M) die Menge der k-mal stetig differenzierbaren Funktionen f : M \to \R und mit C(M) = C0(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 so verwendet. 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, welche 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, welche 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.

Differentialoperator erster Ordnung

Definition

Ein Differentialoperator erster Ordnung ist eine Abbildung

D\colon C^1(M) \to C(M),

diese ordnet also einer einmal-stetig differenzierbaren Funktion eine stetige Funktion zu.

Beispiele

  • Das wichtigste Beispiel eines Differentialoperators erster Ordnung ist die gewöhnliche Ableitung
\frac{\mathrm{d}}{\mathrm{d} x}\colon f \mapsto f'.
  • Andere Differentialoperatoren dieser Gattung erhält man durch Multiplikation mit einer stetigen Funktion. Sei dazu a \in C(M) eben so eine stetige Funktion, dann ist der durch
     D = a \frac{\mathrm{d}}{\mathrm{d} x}\colon f \mapsto a f'
\quad \text{d. h.} \quad   Df(x) = a(x)f'(x)
    definierte Operator D ebenfalls wieder ein Differentialoperator erster Ordnung.
  • Die Wirtinger-Ableitungen
    \frac{\partial}{\partial z} = \frac{1}{2} \left(\frac{\partial}{\partial x} - i\frac{\partial}{\partial y}\right)
    und
    \frac{\partial}{\partial \overline{z}} = \frac{1}{2} \left(\frac{\partial}{\partial x} + 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 \C \to \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 : C^k(M) \to C(M),

welche 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 ai für alle i wieder eine stetige Funktion. Im Fall βi = 1 für alle i nennt man diesen Operator einen gewöhnlichen, linearen Differentialoperator.

Beispiele

  • 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. Setzt man ak = 1, ai = 0 für i < k und βk = 1 so ergibt sich dies aus der Definition.

Partieller Differentialoperator

Definition

Ein partieller Differentialoperators der Ordnung k ist ebenfalls wieder eine Abbildung

D : C^k(M) \to C(M).

Diese ist gegeben durch

D(f)(x) := \sum_{j=0}^n\sum_{i=0}^k a_{ij}(x) \left(\frac{\partial^i f}{\partial x^i_j}(x)\right)^{\beta_i}

gegeben ist. Hier ist aij für alle i,j ebenfalls wieder stetige Funktionen. Im Fall βi = 1 für alle i nennt man diesen Operator einen linearen, partiellen Differentialoperator.

Beispiele

  • Der Laplace-Operator in 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 eines elliptischen Differentialoperators. Elliptische Differentialoperatoren sind eine besondere Klasse partieller Differentialoperatoren.
  • Der der Wärmeleitungs- oder Diffusionsgleichung entsprechende Operator ist
    \Delta - \frac{\partial}{\partial t}.
    Dies ist ein Beispiel eines parabolischen Differentialoperators.
  • Der d’Alembertoperator
    \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 ein hyperbolischer Operator und wird bei der Wellengleichung verwendet.

Lineare Differentialoperatoren

In den obigen Definitionen wurde schon kurz erwähnt, wann eine 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 zu zur Definition der linearen 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

\mathrm{D}\,(f+g) = (\mathrm{D}f) + (\mathrm{D}g)
\mathrm{D}\,(cf) = c\,(\mathrm{D}f).

für Funktionen f, g \in C^1(M) und eine Konstante 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 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 \operatorname{Diff}^k(C^k(M)) wird die Menge aller linearen Differentialoperatoren der Ordnung k bezeichnet, welche auf Ck(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 \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 D bilden und darüber z.B. Exponentialfunktionen 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 M eine glatte Mannigfaltigkeit und seien E, F \to M Vektorbündel. Ein Differentialoperator der Ordnung k zwischen den Schnitten von E und F ist eine lineare Abbildung

D : \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 : E|_U \to U \times \C^r und \psi : E|_U \to U \times \C^s, sowie ein Differentialoperator \tilde{D} \in \operatorname{Diff}^k(U,\C^r,\C^s), so dass das Diagramm
    \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, \C^r) & \xrightarrow{\tilde D} & C^\infty(U, \C^s)
\end{array}
    kommutiert. Mit ϕ * ist der Pullback eines glatten Vektorfeldes in den Raum C^\infty(U, \C^r) bezeichnet.

Beispiele

Die einfachsten Beispiele von Differentialoperatoren auf Mannigfaltigkeiten sind

Symbol eines Differentialoperators

Die in den Beispielen angegebenen Differentialoperatoren 2. Ordnung entsprechen, wenn man die partiellen Ableitungen \partial_i formal durch Variablen yi ersetzt und nur die Terme höchster – also zweiter – Ordnung betrachtet, einer quadratischen Form in den yi. Im elliptischen Fall haben alle Koeffizienten der Form ein Vorzeichen, im hyperbolischen Fall wechselt das Vorzeichen, im parabolischen Fall fehlt für eines der yi 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 yi 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 yi 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(\R^n) kann Matrixwertig sein. Das Polynom

p(x,\xi) = \sum_{|\alpha|\leq m}b_\alpha(x) \xi^\alpha

in \xi \in \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

pm(x,ξ) = bα(xα
| α | = m

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

Beispiele

Hauptsymbol eines Differentialoperators zwischen Vektorbündel

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 : \Gamma^\infty(M,E) \to \Gamma^\infty(M,F) ein (koordinaten-invarianter) Differentialoperator, welcher 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^\infty_c(M) und s \in \Gamma^\infty_c(M,E) mit f(p) = 0, \textstyle\mathrm{d}f_p = \xi und s(p) = e. Dann ist der Ausdruck

\sigma^k_D(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.

Pseudo-Differentialoperatoren

Hauptartikel: Pseudo-Differentialoperator

Die Ordnung eines Differentialoperators ist immer ganzzahlig und positiv. In der Theorie der Pseudo-Differentialopertoren 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 : C^k_c(\R^n) \to C_c(\R^n) ein solcher Differentialoperator, dann kann auf Df die Fourier-Transformation \mathcal{F} und danach die inverse Fourier-Transformation \mathcal{F}^{-1} anwenden. Das heißt es gilt

 (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^{i (x - y) \xi} D(\xi) u(y) dy d\xi.

Dies ist ein Spezialfall eines Pseudo-Differentialoperators

(P u) (x) = \frac{1}{(2 \pi)^n} \int_{\mathbb{R}^n} \int_{\R^n} e^{i (x - y) \xi} a(x,y,\xi) u(y) dy d\xi.

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

Literatur


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Differentialoperator — diferencialinis operatorius statusas T sritis fizika atitikmenys: angl. differential operator vok. Differentialoperator, m rus. дифференциальный оператор, m pranc. opérateur différentiel, m …   Fizikos terminų žodynas

  • Pseudo-Differentialoperator — Ein Pseudo Differentialoperator ist eine Erweiterung des Konzepts des Differentialoperators. Sie sind ein wichtiger Bestandteil der Theorie der partiellen Differentialgleichungen. Die Grundlagen der Theorie stammen von Lars Hörmander.… …   Deutsch Wikipedia

  • Elliptische partielle Differentialgleichung — Elliptische partielle Differentialgleichungen sind eine spezielle Klasse partieller Differentialgleichungen (PDG). Sie werden mit Hilfe von elliptischen Differentialoperatoren formuliert. Die Lösungen einer elliptischen partiellen… …   Deutsch Wikipedia

  • Atiyah-Singer-Indextheorem — Der Atiyah Singer Indexsatz (Atiyah–Singer index theorem) besagt, dass für einen elliptischen Differentialoperator auf einer kompakten Mannigfaltigkeit der analytische Index (eng verbunden mit der Dimension des Lösungsraums) gleich dem… …   Deutsch Wikipedia

  • Indextheorie — Der Atiyah Singer Indexsatz (Atiyah–Singer index theorem) besagt, dass für einen elliptischen Differentialoperator auf einer kompakten Mannigfaltigkeit der analytische Index (eng verbunden mit der Dimension des Lösungsraums) gleich dem… …   Deutsch Wikipedia

  • Atiyah-Singer-Indexsatz — Der Atiyah Singer Indexsatz ist die zentrale Aussage aus der globalen Analysis, einem mathematischen Teilgebiet der Differentialgeometrie. Er besagt, dass für einen elliptischen Differentialoperator auf einer kompakten Mannigfaltigkeit der… …   Deutsch Wikipedia

  • Operatorenrechnung nach Mikusiński — Die Operatorenrechnung nach Mikusiński ist eine Operatorenrechnung, die 1950 von Jan Mikusiński ausgearbeitet wurde. Damit begründete er die empirische Operatorenrechnung nach Heaviside durch moderne algebraische Methoden auf der Grundlage des… …   Deutsch Wikipedia

  • Differenzialoperator — Ein Differentialoperator ist in der Mathematik eine Abbildung, die einer Funktion eine Funktion zuordnet und die Ableitung nach einer oder mehreren Variablen enthält. So ist d / dx in ein Differentialoperator. Differentialoperatoren lassen sich… …   Deutsch Wikipedia

  • Verallgemeinerter Laplace-Operator — Verallgemeinerte Laplace Operatoren sind mathematische Objekte, welche in der Differentialgeometrie insbesondere in der Globalen Analysis untersucht werden. Wie der Name schon sagt, sind die hier behandelten Operatoren Verallgemeinerungen des aus …   Deutsch Wikipedia

  • Distributionenableitung — Dieser Artikel erläutert die Distribution als verallgemeinerte Funktion; pfaffsche Systeme werden in der Differentialgeometrie (als eine Verallgemeinerung der exakten Differentialgleichung) auch als geometrische Distribution bezeichnet. Der… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”