3.4.4. Eine hinreichende Bedingung zur Existenz der Frechet- Ableitung.

Für die Analysis nichtlinearer Abbildungen ist deren lokale Approximation durch affine Abbildungen und damit nach (3.3.1.1) das Konzept der Frechet-Ableitung von zentraler Bedeutung. Auf der anderen Seite kann man die praktische Berechnung von Ableitungen im Wesentlichen nur durch die Bestimmung von Richtungsderivaten, d.h. die Differentation in einer Variablen durchführen. Die Beispiele 3.4.5 und 3.4.3.1 besagen, daß man aus der Existenz der Richtungsableitungen oder sogar der schwachen Ableitung in einem Punkt jedoch nicht auf die Frechet-Differenzierbarkeit einer Funktion in diesem Punkt schließen kann. Dieser Sachverhalt könnte die Anwendbarkeit der Differentialrechnung in mehreren Variablen stark beeinträchtigen, würde nicht folgender Satz eine praktikable hinreichende Bedingung für die Existenz der Frechet-Ableitung liefern:

SATZ 3.4.6. Es sei $U_{\epsilon }\left(x_0\right)=\left\{x\in E|\parallel x-x_0{\parallel }_E<\epsilon \right\}$ mit $U_{\epsilon }\left(x_0\right)\subset U\subset E$, $\epsilon >0$, eine offene Kugel um den Punkt $x_0\in \text{int}\left(U\right)$. Die Funktion $f:U\to F$ sei in jedem Punkt $x\in U_{\epsilon }\left(x_0\right)$ schwach differenzierbar und die Abbildung

$$f_s^{\prime }\left(\cdot \right):U_{\epsilon }\left(x_0\right)\to \mathcal{<img\; src="cmsy10-c-4c.png"\; alt="L"\; class="10-120x-x-4c">}\left(E,F\right)\text{gegeben durch}x\mapsto f_s^{\prime }\left(x\right)$$

sei im Punkt $x_0$ stetig von $U_{\epsilon }\left(x_0\right)\subset E$ nach $\mathcal{<img\; src="cmsy10-c-4c.png"\; alt="L"\; class="10-120x-x-4c">}\left(E,F\right)$. Dann ist die Funktion $f$ im Punkt $x_0$ Frechet-differenzierbar und es gilt

$$f^{\prime }\left(x_0\right)=f_s^{\prime }\left(x_0\right).$$

Wir werden den Beweis dieses Satzes im nächsten Abschnitt führen.