Kondition (Mathematik)

In der numerischen Mathematik beschreibt man mit der Kondition die Abhängigkeit der Lösung eines Problems von der Störung der Eingangsdaten. Die Konditionszahl stellt ein Maß für diese Abhängigkeit dar; sie beschreibt den Faktor, um den Eingangsfehler im ungünstigsten Fall verstärkt werden. Sie ist unabhängig von konkreten Lösungsverfahren.

Einleitung

In der Numerik unterscheidet man zwischen den drei Größen eines Verfahrens: Kondition, Stabilität und Konsistenz, die untereinander stark verwandt sind. Die Beziehung zwischen Kondition eines Problems und Stabilität lässt sich wie folgt modellieren:

Es sei $f:\mathbb {K} ^{n}\rightarrow \mathbb {K} ^{m}$ das mathematische Problem in Abhängigkeit von der Eingabe $x$, und es sei ${\tilde {f}}$ der numerische Algorithmus sowie ${\tilde {x}}$ die gestörten Eingabedaten. So möchte man den folgenden Fehler abschätzen:

$\|f(x)-{\tilde {f}}({\tilde {x}})\|$.

Mit der Dreiecksungleichung gilt:

$\|f(x)-{\tilde {f}}({\tilde {x}})\|=\|f(x)-f({\tilde {x}})+f({\tilde {x}})-{\tilde {f}}({\tilde {x}})\|\leq \|f(x)-f({\tilde {x}})\|+\|f({\tilde {x}})-{\tilde {f}}({\tilde {x}})\|$

Hierbei bezeichnet man mit $\|f(x)-f({\tilde {x}})\|$ die Kondition des Problems und $\|f({\tilde {x}})-{\tilde {f}}({\tilde {x}})\|$ die Stabilität. Man spricht dann davon, dass Kondition die Eigenschaft des Problems und Stabilität die Eigenschaft des Algorithmus ist.

Absolute Kondition

Die absolute Kondition $\kappa _{abs}$ ist definiert als $\limsup _{x\to x_{0}}{\frac {||f(x)-f(x_{0})||}{||x-x_{0}||}}$.

$\kappa _{abs}$ ist also genau die kleinste Zahl, für die gilt: $\exists \delta >0{\mbox{ }}\forall ||x-x_{0}||<\delta :\qquad ||f(x)-f(x_{0})||\leq \kappa _{abs}||x-x_{0}||$

Relative Kondition

Die relative Kondition wird definiert als kleinste Zahl $\kappa _{rel}\geq 0$

$\exists \delta >0{\mbox{ }}\forall {\mbox{ }}0<\epsilon <\delta :\qquad {{\|f(x)-f(x+\epsilon )\|} \over {\|f(x)\|}}\leq \kappa _{rel}{{\|\epsilon \|} \over {\|x\|}}$

Aus der Definition folgt mit Umstellen sofort, dass für eine in $x$ differenzierbare Funktion $\kappa _{rel}$ gegeben ist durch

${{\|{{d} \over {dx}}f(x)\|\|x\|} \over {\|f(x)\|}}=\kappa _{rel}$.

Herleitung der relativen Konditionszahl aus der Taylor-Reihe

Lässt man in der Taylorreihe Terme höherer Ordnung unberücksichtigt, so ergibt sich

$f({\tilde {x}})=f(x)+f'(x)({\tilde {x}}-x)$,

folglich

$f({\tilde {x}})-f(x)=f'(x)({\tilde {x}}-x)$

Hierbei stellt $f({\tilde {x}})-f(x)$ den absoluten Fehler in der Ausgabe dar. Durch Division durch $f(x)$ ergibt sich sofort der relative Ausgabefehler:

${\frac {f({\tilde {x}})-f(x)}{f(x)}}={\frac {f'(x)}{f(x)}}({\tilde {x}}-x)$

Um den relativen Fehler in der Eingabe auf der rechten Seite sichtbar zu machen, wird nun noch mit x erweitert:

$\left\|{\frac {f({\tilde {x}})-f(x)}{f(x)}}\right\|=\left\|{\frac {f'(x)}{f(x)}}x\right\|\cdot \left\|{\frac {({\tilde {x}}-x)}{x}}\right\|$

Somit ist alleine aus der Taylorreihe ersichtlich, dass die Fehlerverstärkung durch

$\kappa _{rel}=\left\|{\frac {f'(x)}{f(x)}}x\right\|$

in guter Näherung (Terme höherer Ordnung wurden vernachlässigt!) beschrieben ist.

Kondition von Linearen Abbildungen

Die Kondition von linearen Abbildungen lässt sich mithilfe der relativen Kondition herleiten. Setzt man für $f(x)$ in obiger Definition die Funktion $f(x)=Ax$ ein, so gilt:

${\frac {\|Ax-A{\tilde {x}}\|}{\|Ax\|}}\leq {\frac {\max _{\|x\|=1}\|Ax\|}{\min _{\|x\|=1}\|Ax\|}}\cdot {\frac {\|x-{\tilde {x}}\|}{\|x\|}}$

so ist die Kondition von Matrizen die größtmögliche Verzerrung der Einheitskugel:

$\kappa (A)={{{\max _{\|x\|=1}}\|Ax\|} \over {{\min _{\|x\|=1}}\|Ax\|}}$.

Ist der Kern der Matrix nicht trivial, gibt es also Vektoren, die nicht 0 sind und auf die Null abgebildet werden, dann ist $\kappa =\infty$. Umgekehrt kann man zeigen, dass für reguläre Matrizen gilt:

$\kappa (A)=\|A\|\|A^{-1}\|$.

Interpretation

Ist die Konditionszahl $\kappa$ deutlich größer als 1 spricht man von einem schlecht konditionierten Problem, sonst von einem gut konditionierten Problem und ist die Konditionszahl unendlich, so handelt es sich um ein schlecht gestelltes Problem.

Die Bedeutung der Kondition wird offensichtlich, wenn man sich den Unterschied zwischen den realen Eingangsdaten (beispielsweise reelle Zahlen) und den tatsächlichen Eingangsdaten in Form von Maschinenzahlen klar macht. Es liegen also einem Computerprogramm stets bereits verfälschte Daten vor. Das Computerprogramm sollte nun ein brauchbares Ergebnis liefern. Wenn aber das Problem bereits schlecht konditioniert ist, darf man keine Wunder mehr vom Algorithmus erwarten.

Beispiele

Multiplikation

Multiplikation: $x_{1}\cdot x_{2}$

Die Multplikation ist eine Abbildung $f:\mathbb {R} ^{2}\to \mathbb {R}$ gegeben durch $f(a,b)=a\cdot b$. Die partiellen Ableitungen nach $a,b$ führen zu ${\frac {df}{d(a,b)}}=(b,a)$. Damit ergibt sich für die Kondition der Multiplikation nach obiger Formel

$\kappa _{1,{\rm {relativ}}}:=\left|{\frac {f'(a,b)\cdot (a,b)^{T}}{f(a,b)}}\right|=\left|{\frac {ba+ab}{ab}}\right|=2$.

Die Multiplikation kann als gut konditioniert angesehen werden.

Addition

Addition: $x_{1}+x_{2}$

$\kappa _{1,{\rm {relativ}}}:={\frac {\left|x_{1}\right|+\left|x_{2}\right|}{\left|x_{1}+x_{2}\right|}}$

Die Addition ist daher für $x_{1}+x_{2}\approx 0$, die Subtraktion entsprechend im Fall $x_{1}\approx x_{2}$, sehr schlecht konditioniert. In diesem Fall spricht man von Auslöschung.

Numerische Aspekte

Eines der Aufgabengebiete der Numerik ist die Untersuchung und Optimierung der Kondition für gegebene Probleme wie das Lösen von Gleichungssystemen. Bei der numerischen Lösung wird nun ein Problem in Teilprobleme zerlegt. Oft kann ein in schlecht konditionierte Probleme zerlegter Lösungsweg so durch eine geschicktere Zerlegung ersetzt werden, dass sich die Gesamt-Kondition entscheidend verbessert. So erreicht man bei Matrizen durch geschickte Zeilenvertauschung eine bessere Gesamt-Kondition (hierbei wird die Kondition der Matrix an sich nicht verändert); bei längeren Berechnungen versucht man Additionen sehr kleiner Zahlen oder Subtraktionen annähernd gleich großer Zahlen zur Vermeidung von Auslöschung zu umgehen.

Die äquivalente Umformulierung eines Problems mit dem Ziel der Konditionsverbesserung nennt man Vorkonditionierung.

Literatur

Deuflhard, Hohmann: Numerische Mathematik I - deGruyter