Differenz-Operator

Ein Differenz-Operator ist in der Mathematik ein Operator, mit dem die Differenz einer Funktion in mehreren Variablen verallgemeinert wird. Dadurch lassen sich beispielsweise Eigenschaften wie die Monotonie einer reellen Funktion einer Variable auf Funktionen mehrerer Variablen verallgemeinern. Ein anderes Anwendungsgebiet von Differenz-Operatoren ist die Stochastik und Maßtheorie, wo mit ihrer Hilfe abstrakte Volumenbegriffe definiert werden.

Definition

Mehrdimensionale Analysis

Gegeben sei eine reellwertige Funktion mehrerer reeller Variablen

F : ℝ^{n} \to ℝ

Dann ist der Differenzenoperator für $a^{1} = (a_{1}^{1}, \dots, a_{n}^{1}), a^{2} = (a_{1}^{2}, \dots, a_{n}^{2})$ definiert als

Δ_{a^{1}}^{a^{2}} F := \sum_{i_{1}, \dots, i_{n} \in {1, 2}} (- 1)^{i_{1} + \dots + i_{n}} F (a_{1}^{i_{1}}, \dots, a_{n}^{i_{n}})

und die Differenzenbildung in der $ν$ -ten Komponente als

_{ν} Δ_{α}^{β} F := F (x_{1}, \dots, x_{ν - 1}, β, x_{ν + 1}, \dots, x_{n}) - F (x_{1}, \dots, x_{ν - 1}, α, x_{ν + 1}, \dots, x_{n})

.

Finite Differenzen

In der Theorie der finiten Differenzen existieren auch die Differenzoperatoren^[1]

Δ f := f (x + 1) - f (x)

und

\nabla f := f (x) - f (x - 1) .

Geschrieben mit dem Shiftoperator $s_{a} f := f (x + a)$ als

Δ f = (s_{+ 1} - id) f, \nabla f = (id - s_{- 1}) f .

Allgemeiner

Allgemeiner definiert man die Vorwärts-Differenz

Δ_{h} f := f (x + h) - f (x),

die Rückwärts-Differenz

\nabla_{h} f := f (x) - f (x - h),

und die zentrierte Differenz

δ_{h} f := f (x + \frac{h}{2}) - f (x - \frac{h}{2}) .

Erläuterung

Durch Austausch der einzelnen Komponenten wird von den beiden Vektoren ein Quader im $ℝ^{n}$ mit $2^{n}$ Ecken erzeugt. Die Funktionswerte an diesen Ecken werden dann noch in Abhängigkeit von Ursprungsvektor der Komponenten mit einem Vorzeichen versehen und dann addiert, beispielsweise für $n = 2$ :

Δ_{a^{1}}^{a^{2}} F = F (a_{1}^{2}, a_{2}^{2}) - F (a_{1}^{1}, a_{2}^{2}) - F (a_{1}^{2}, a_{2}^{1}) + F (a_{1}^{1}, a_{2}^{1})

.

Die Differenzbildung in der $ν$ -ten Komponente ist zwar konstant im $ν$ -ten Eintrag, wird aber meist immer noch als Funktion auf $ℝ^{n}$ aufgefasst, um das weitere Anwenden von Differenzoperatoren zu ermöglichen.

Eigenschaften

Der Differenzen-Operator ist linear, das heißt, es gilt

Δ_{a^{1}}^{a^{2}} (F + G) = Δ_{a^{1}}^{a^{2}} F + Δ_{a^{1}}^{a^{2}} G

Des Weiteren ist

Δ_{a^{1}}^{a^{2}} F = \sum_{i_{1} = 1}^{2} (- 1)^{i_{1}} \cdot \sum_{i_{2} = 1}^{2} (- 1)^{i_{2}} \cdot \dots \cdot \sum_{i_{n} = 1}^{2} (- 1)^{i_{n}} F (a_{1}^{i_{1}}, \dots, a_{n}^{i_{n}}) =_{1} Δ_{a_{1}^{1}}^{a_{1}^{2}} \dots_{n} Δ_{a_{n}^{1}}^{a_{n}^{2}} F

Außerdem gilt für $μ \neq ν$

_{μ} Δ_{α}^{β}_{ν} Δ_{α}^{β} F =_{ν} Δ_{α}^{β}_{μ} Δ_{α}^{β} F

Die Differenzbildung der Komponenten ist also vertauschbar.

Verwendung

Mittels des Differenzoperators lässt sich beispielsweise die Monotonie einer Funktion verallgemeinern: Eine Funktion $F : ℝ^{n} \to ℝ$ heißt dann rechtecksmonoton, wenn

a \leq b ⟹ Δ_{a}^{b} F \geq 0

gilt. Dabei ist $a \leq b$ komponentenweise zu verstehen, also $a \leq b ⟺ a_{i} \leq b_{i}$ für alle Indizes. Darauf aufbauend lassen sich solche Funktionen dann weiter untersuchen.

Außerdem werden Differenzoperatoren in der Maßtheorie und der Stochastik zur Definition von Maßen auf dem $ℝ^{n}$ mittels multivariater Verteilungsfunktionen verwendet.

Literatur

Jürgen Elstrodt: Maß- und Integrationstheorie. 6., korrigierte Auflage. Springer-Verlag, Berlin Heidelberg 2009, ISBN 978-3-540-89727-9, doi:10.1007/978-3-540-89728-6.
Norbert Kusolitsch: Maß- und Wahrscheinlichkeitstheorie. Eine Einführung. 2., überarbeitete und erweiterte Auflage. Springer-Verlag, Berlin Heidelberg 2014, ISBN 978-3-642-45386-1, S. 65–72, doi:10.1007/978-3-642-45387-8.

Einzelnachweise

↑ Antonio J. Durán: Lectures on Orthogonal Polynomials and Special Functions. In: Cambridge University Press (Hrsg.): London Mathematical Society Lecture Note Series. 2020.

[1] Antonio J. Durán: Lectures on Orthogonal Polynomials and Special Functions. In: Cambridge University Press (Hrsg.): London Mathematical Society Lecture Note Series. 2020.

[1]