Quasi-Newton-Verfahren

Quasi-Newton-Verfahren sind eine Klasse von numerischen Verfahren zur Lösung nichtlinearer Minimierungsprobleme. Die Verfahren basieren auf dem Newton-Verfahren, berechnen die Inverse der Hesse-Matrix jedoch nicht direkt, sondern nähern sie lediglich an, um den Rechenaufwand pro Iteration zu verkleinern.

Der erste Algorithmus wurde Mitte der 1950er Jahre von William Davidon, einem Physiker am Argonne National Laboratory, entwickelt. Die bekanntesten Algorithmen sind Broyden-Fletcher-Goldfarb-Shanno (BFGS), benannt nach Roger Fletcher, Donald Goldfarb, David F. Shanno, Charles George Broyden, und Davidon-Fletcher-Powell (DFP) (nach Fletcher, Davidon und Michael J. D. Powell).

Grundlegender Algorithmus

Eine zweifach differenzierbare Funktion $f:{ℝ}^n\to ℝ$ wird mit einer Taylor-Entwicklung an der Stelle $x_k$ bis zum zweiten Grad angenähert.

$f(x)\approx q(x)=f(x_k)+(x-x_k{)}^T\mathrm{\nabla }f(x_k)+\frac{1}{2}(x-x_k{)}^{T}H(x_k)(x-x_k)$

Die Ableitung der Funktion $q$ muss für ein Minimum null ergeben. Daraus folgt:

$\mathrm{\nabla }q(x)=\mathrm{\nabla }f(x_k)+H(x_k)(x-x_k)=0.$

Falls die Hesse-Matrix $H(x_k)$ positiv definit ist, so handelt es sich bei besagter Nullstelle der Ableitung von $q$ tatsächlich um ein Minimum von $q$ und dieses lässt sich mit dem Newton-Verfahren iterativ annähern:

$x_{k+1}=x_k-H^{-1}(x_k)\mathrm{\nabla }f(x_k).$

Problematisch ist hier, dass die Inverse der Hesse-Matrix berechnet und diese positiv definit sein muss. Das Quasi-Newton-Verfahren ersetzt $H^{-1}(x_k)$ durch einen Skalar ${\alpha }_k$ und eine Matrix $M_k$

$x_{k+1}=x_k-{\alpha }_k{M}_k\mathrm{\nabla }f(x_k).$

Die Ableitungs-Gleichung von oben ergibt umgeformt für $x_k$ und $x_{k+1}$

$\mathrm{\nabla }f(x_k)=-H(x_k)(x-x_k)$

$\mathrm{\nabla }f(x_{k+1})=-H(x_{k+1})(x-x_{k+1}).$

Daraus lässt sich ein Differenzterm $\mathrm{\Delta }{g}_k$ definieren:

$\mathrm{\Delta }{g}_k=\mathrm{\nabla }f(x_{k+1})-\mathrm{\nabla }f(x_k)$

$\mathrm{\Delta }{g}_k=-H(x_{k+1})(x-x_{k+1})+H(x_k)(x-x_k).$

Man nimmt nun an, dass die Hesse-Matrix für $x_k$ und $x_{k+1}$ in etwa gleich sind, also $H(x_k)\approx H(x_{k+1})$ und folgert daraus:

$\mathrm{\Delta }{g}_k\approx -H(x_{k+1})(x_k-x_{k+1})$

$M_{k+1}\mathrm{\Delta }{g}_k=x_{k+1}-x_k.$

Für $M_{k+1}$ wählt man einen Korrekturterm der Form $cZ{Z}^T$:

$M_{k+1}=M_k+cZ{Z}^T$

$M_{k+1}\mathrm{\Delta }{g}_k=M_k\mathrm{\Delta }{g}_k+cZ{Z}^T\mathrm{\Delta }{g}_k=x_{k+1}-x_k=\mathrm{\Delta }{x}_k.$

Die Gleichung lässt sich umstellen, so dass

$cZ=\frac{\mathrm{\Delta }{x}_k-M_k\mathrm{\Delta }{g}_k}{Z^T\mathrm{\Delta }{g}_k}.$

Somit gilt

$Z=\mathrm{\Delta }{x}_k-M_k\mathrm{\Delta }{g}_k$

$c=\frac{1}{Z^T\mathrm{\Delta }{g}_k}.$

So lässt sich die Matrix $M_{k+1}$ eindeutig bestimmen, jedoch ist diese mit nur einem Korrekturterm nicht immer positiv definit.

Davidon-Fletcher-Powell (DFP)

Die Matrix $M_{k+1}$ wird mit der Matrix $M_k$ und zwei Korrekturtermen approximiert:

$\begin{array}{cc}{M}_{k+1}& =M_k+c_1{Z}_1{Z}_1^T+c_2{Z}_2{Z}_2^T\\ M_{k+1}& =M_k+\frac{\mathrm{\Delta }{x}_k\mathrm{\Delta }{x}_k^T}{\mathrm{\Delta }{x}_k^T\mathrm{\Delta }{g}_k}-\frac{M_k\mathrm{\Delta }{g}_k\mathrm{\Delta }{g}_k^T{M}_k}{\mathrm{\Delta }{g}_k^T{M}_k\mathrm{\Delta }{g}_k}\end{array}$

Eigenschaften

Falls $f$ eine quadratische Funktion ist, liefert der Algorithmus bei exakter Arithmetik nach einer endlichen Anzahl an Iterationen die exakte Lösung. Für alle anderen Funktionen gilt

$f(x_{k+1})<f(x_k).$

Bei einer quadratischen Funktion mit $N$ Parametern wird idealerweise sogar in $N$ Schritten die Lösung erreicht. In der Praxis benötigt man etwas mehr Iterationen, z. B. wenn die lineare Schrittweitensuche nicht genau genug durchgeführt wird oder die Gradienten nicht genau genug ermittelt werden. Meist stoppt man die Optimierung, wenn z. B. der Gradient sehr klein ist oder eine bestimmte Anzahl von Iterationen erreicht wird.

Reguläre Quasi-Newton-Verfahren

Der Versuch eine Übersicht über die verschiedenen Ansätze der Quasi Newtion Verfahren zu verfassen, wurde 1985 in dem Artikel "Reguläre Quasi-Newton-Verfahren" gemacht. Hier konnte eine umfassende Klasse dieser Verfahren, eine Darstellung aller Rang 1 - Formeln der sogenannten symmetrischen, novellierten Huang-Klasse entwickelt werden, die die bekannten Verfahren wie das Davidon-Fletcher-Powell (DFP), das Broyden-Fletcher-Goldfarb-Shanno (BFGS) und Self-Scaling-Variable-Metric (SSVM) Verfahren beinhaltet. Auch sind dort Vorschläge für eine weitere Optimierung des Lösungsverhaltens von Quasi-Newton-Verfahren gegeben. Dabei wurde folgende Klasse von regulären (d. h. wegen besonderer Eigenschaften bevorzugt zu benutzender) Quasi-Newton-Aufdatierungsformeln konstruiert:

$H_{i+1}:=B(H_i,p_i,q_i,{\theta }_i,r_i,{\rho }_i)$

mit

$B(H,p,q,\theta ,r,\rho )=rH+\frac{\rho \sigma +r\tau \theta }{{\sigma }^2}p{p}^T+r\frac{(\theta -1)}{\tau }Hq{q}^{T}H-\frac{r\theta }{\sigma }(p{q}^{T}H+Hq{p}^T);$

$H\in {ℝ}^{nxn}$ positiv definit; $p,q\in {ℝ}^n;ϵ=p^T{H}^{-1}p;$

$\sigma =p^{T}q;\tau =q^{T}Hq;\theta ,r,\rho \in ℝ;r>0;\rho \sigma >0;$

$\theta [ϵ\tau -{\sigma }^2]>-{\sigma }^2;r\tau [\rho \sigma +\theta (r\tau -\rho \sigma )]\ge 0$.

Für genäherte, hinreichend exakte Strahlminimierung, positiv definites $H_0\in {ℝ}^{nxn}$ und beliebiges $x_0\in {ℝ}^n$ gilt für diese regulären Verfahren, die aus der obigen Formel entstehen:

1) Die Verfahren sind Quasi-Newton-Verfahren.

2) Die Matrizen $H_i$ sind für alle Iterationen positiv definit. Damit gilt

$f(x_{i+1})<f(x_i)$ für alle Iterationen.

3) Für alle Iterationen $i\ge 0$ erhalten wir Lösungen des Minimierungsproblems.

Für exakte Strahlminimierung und quadratische Zielfunktion bricht zudem jedes dieser Verfahren nach höchstens n Iterationsschritten im Minimalpunkt ab. Insbesondere besitzen also die regulären Quasi - Newton -Verfahren die guten Eigenschaften sowohl der erweiterten Greenstadt-Klasse als auch der symmetrischen, erweiterten Huang-Klasse bzgl. Konvergenz und Stabilität.

Es kann vermutet werden, dass alle besonders leistungsfähigen Quasi-Newton-Verfahren regulär sind.

Literatur

• William C. Davidon, Variable Metric Method for Minimization, SIOPT Volume 1 Issue 1, Pages 1-17, 1991 (zuerst als Argonne National Laboratory Report 1959).
• Jorge Nocedal und Stephen J. Wright: Numerical Optimization, Springer-Verlag, 1999, ISBN 0-387-98793-2.
• Edwin K.P. Chong and Stanislaw H.Zak: An Introduction to Optimization, 2ed, John Wiley & Sons Pte. Ltd. August 2001.
• P. Gill, W. Murray und M. Wright: Practical Optimization, 1981
• Guido Bacharach und Gerhard Freiling: "Reguläre Quasi-Newton-Verfahren", Universität Duisburg, 1985