Differenzierbarkeit/K/Ableitungsregeln/Textabschnitt

Diese Regeln heißen Summenregel (1), Produktregel (2) und Quotientenregel (5).

Eine Veranschaulichung der Produktregel: Der Zuwachs eines Flächeninhalts entspricht der Summe der beiden Produkte aus Seitenlänge und Seitenlängezuwachs. Für den infinitesimalen Zuwachs ist das Produkt der beiden Seitenlängenzuwächse irrelevant.

Lemma

Es sei ${}D\subseteq {\mathbb {K} }$ offen, ${}a\in D$ ein Punkt und

$f,g\colon D\longrightarrow {\mathbb {K} }$

Funktionen, die in ${}a$ differenzierbar seien. Dann gelten folgende Differenzierbarkeitsregeln.

1. Die Summe ${}f+g$ ist differenzierbar in ${}a$ mit

   ${}(f+g)'(a)=f'(a)+g'(a)\,.$

2. Das Produkt ${}f\cdot g$ ist differenzierbar in ${}a$ mit

   ${}(f\cdot g)'(a)=f'(a)g(a)+f(a)g'(a)\,.$

3. Für ${}c\in {\mathbb {K} }$ ist auch ${}cf$ in ${}a$ differenzierbar mit

   ${}(cf)'(a)=cf'(a)\,.$

4. Wenn ${}g$ keine Nullstelle in ${}D$ besitzt, so ist ${}1/g$ differenzierbar in ${}a$ mit

   ${}\left({\frac {1}{g}}\right)'(a)={\frac {-g'(a)}{(g(a))^{2}}}\,.$

5. Wenn ${}g$ keine Nullstelle in ${}D$ besitzt, so ist ${}f/g$ differenzierbar in ${}a$ mit

   ${}\left({\frac {f}{g}}\right)'(a)={\frac {f'(a)g(a)-f(a)g'(a)}{(g(a))^{2}}}\,.$

Beweis

(1). Wir schreiben ${}f$ bzw. ${}g$ mit den in Fakt formulierten Objekten, also

${}f(x)=f(a)+s(x-a)+r(x)(x-a)\,$

und

${}g(x)=g(a)+{\tilde {s}}(x-a)+{\tilde {r}}(x)(x-a)\,.$

Summieren ergibt

${}f(x)+g(x)=f(a)+g(a)+(s+{\tilde {s}})(x-a)+(r+{\tilde {r}})(x)(x-a)\,.$

Dabei ist die Summe ${}r+{\tilde {r}}$ wieder stetig in ${}a$ mit dem Wert ${}0$.
(2). Wir gehen wieder von

${}f(x)=f(a)+s(x-a)+r(x)(x-a)\,$

und

${}g(x)=g(a)+{\tilde {s}}(x-a)+{\tilde {r}}(x)(x-a)\,$

aus und multiplizieren die beiden Gleichungen. Dies führt zu

${}{\begin{aligned}f(x)g(x)&=(f(a)+s(x-a)+r(x)(x-a))(g(a)+{\tilde {s}}(x-a)+{\tilde {r}}(x)(x-a))\\&=f(a)g(a)+(sg(a)+{\tilde {s}}f(a))(x-a)\\&\,\,\,\,\,+(f(a){\tilde {r}}(x)+g(a)r(x)+s{\tilde {s}}(x-a)+s{\tilde {r}}(x)(x-a)+{\tilde {s}}r(x)(x-a)+r(x){\tilde {r}}(x)(x-a))(x-a).\end{aligned}}$

Aufgrund von Fakt für Limiten ist die aus der letzten Zeile ablesbare Funktion stetig mit dem Wert ${}0$ für ${}x=a$.
(3) folgt aus (2), da eine konstante Funktion differenzierbar mit Ableitung ${}0$ ist.
(4). Es ist

${}{\frac {{\frac {1}{g(x)}}-{\frac {1}{g(a)}}}{x-a}}={\frac {-1}{g(a)g(x)}}\cdot {\frac {g(x)-g(a)}{x-a}}\,.$

Da ${}g$ nach Fakt stetig in ${}a$ ist, konvergiert für ${}x\rightarrow a$ der linke Faktor gegen ${}-{\frac {1}{g(a)^{2}}}$ und wegen der Differenzierbarkeit von ${}g$ in ${}a$ konvergiert der rechte Faktor gegen ${}g'(a)$.
(5) folgt aus (2) und (4).

$\Box$

Korollar

Eine Polynomfunktion

${}f=c_{0}+c_{1}z+c_{2}z^{2}+c_{3}z^{3}+\cdots +c_{n-1}z^{n-1}+c_{n}z^{n}\,$

ist in jedem Punkt differenzierbar, und für die Ableitung gilt

${}f'(z)=c_{1}+2c_{2}z+3c_{3}z^{2}+\cdots +(n-1)c_{n-1}z^{n-2}+nc_{n}z^{n-1}\,.$

Beweis

Dies folgt für die Potenfunktionen ${}z^{n}$ durch Induktion über ${}n$ aus der Produktregel und daraus mit Fakt.

$\Box$

Die folgende Regel heißt Kettenregel.

Satz

Es seien ${}D$ und ${}E$ offene Mengen in ${}{\mathbb {K} }$ und seien

$f\colon D\longrightarrow {\mathbb {K} }$

und

$g\colon E\longrightarrow {\mathbb {K} }$

Funktionen mit ${}f(D)\subseteq E$. Es sei ${}f$ in ${}a$ differenzierbar und ${}g$ sei in

${}b=f(a)\,$

differenzierbar.

Dann ist auch die Hintereinanderschaltung

$g\circ f\colon D\longrightarrow {\mathbb {K} }$

in ${}a$ differenzierbar mit der Ableitung

${}(g\circ f)'(a)=g'(f(a))\cdot f'(a)\,.$

Beweis

Aufgrund von Fakt kann man

$f(x)=f(a)+f'(a)(x-a)+r(x)(x-a)$

und

$g(y)=g(f(a))+g'(f(a))(y-f(a))+s(y)(y-f(a))$

schreiben. Daher ergibt sich

(wenn man ${}y$ durch ${}f(x)$ ersetzt)

${}{\begin{aligned}g(f(x))&=g(f(a))+g'(f(a))(f(x)-f(a))+s(f(x))(f(x)-f(a))\\&=g(f(a))+g'(f(a)){\left(f'(a)(x-a)+r(x)(x-a)\right)}+s(f(x)){\left(f'(a)(x-a)+r(x)(x-a)\right)}\\&=g(f(a))+g'(f(a))f'(a)(x-a)+{\left(g'(f(a))r(x)+s(f(x))(f'(a)+r(x))\right)}(x-a).\end{aligned}}$

Die hier ablesbare Restfunktion

${}t(x):=g'(f(a))r(x)+s(f(x))(f'(a)+r(x))\,$

ist stetig in ${}a$ mit dem Wert ${}0$.

$\Box$

Eine Veranschaulichung für die Ableitung der Umkehrfunktion. Die Umkehrfunktion besitzt den an der Hauptdiagonalen gespiegelten Graphen und die Tangente wird mitgespiegelt.

Satz

Es seien ${}D$ und ${}E$ offene Mengen in ${}{\mathbb {K} }$ und sei

$f\colon D\longrightarrow E$

eine bijektive stetige Funktion mit einer stetigen Umkehrfunktion

$f^{-1}\colon E\longrightarrow D$

Es sei ${}f$ in

${}a\in D$ differenzierbar mit ${}f'(a)\neq 0$.

Dann ist auch die Umkehrfunktion ${}f^{-1}$ in ${}b=f(a)$ differenzierbar mit

${}{\left(f^{-1}\right)}'(b)={\frac {1}{f'(f^{-1}(b))}}={\frac {1}{f'(a)}}\,.$

Beweis

Wir betrachten den Differenzenquotienten

${}{\frac {f^{-1}(y)-f^{-1}(b)}{y-b}}={\frac {f^{-1}(y)-a}{y-b}}\,$

und müssen zeigen, dass der Limes für ${}y\rightarrow b$ existiert und den behaupteten Wert annimmt. Es sei dazu ${}{\left(y_{n}\right)}_{n\in \mathbb {N} }$ eine Folge in ${}E\setminus \{b\}$, die gegen ${}b$ konvergiert. Aufgrund der vorausgesetzten Stetigkeit von ${}f^{-1}$ konvergiert auch die Folge mit den Gliedern ${}x_{n}:=f^{-1}(y_{n})$ gegen ${}a$. Wegen der Bijektivität ist ${}x_{n}\neq a$ für alle ${}n$. Damit ist

${}\lim _{n\rightarrow \infty }{\frac {f^{-1}(y_{n})-a}{y_{n}-b}}=\lim _{n\rightarrow \infty }{\frac {x_{n}-a}{f(x_{n})-f(a)}}={\left(\lim _{n\rightarrow \infty }{\frac {f(x_{n})-f(a)}{x_{n}-a}}\right)}^{-1}\,,$

wobei die rechte Seite nach Voraussetzung existiert.

$\Box$

Beispiel

Die Funktion

$f^{-1}\colon \mathbb {R} _{+}\longrightarrow \mathbb {R} _{+},\,x\longmapsto {\sqrt {x}},$

ist die Umkehrfunktion der Funktion ${}f$ mit ${}f(x)=x^{2}$ (eingeschränkt auf ${}\mathbb {R} _{+}$). Deren Ableitung in einem Punkt ${}a$ ist ${}f'(a)=2a$. Nach Fakt gilt daher für ${}b\in \mathbb {R} _{+}$ die Beziehung

${}{\left(f^{-1}\right)}'(b)={\frac {1}{f'(f^{-1}(b))}}={\frac {1}{2{\sqrt {b}}}}={\frac {1}{2}}b^{-{\frac {1}{2}}}\,.$

Im Nullpunkt ist ${}f^{-1}$ nicht differenzierbar.

Die Funktion

$f^{-1}\colon \mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto x^{\frac {1}{3}},$

ist die Umkehrfunktion der Funktion ${}f$ mit ${}f(x)=x^{3}$ Deren Ableitung in ${}a$ ist ${}f'(a)=3a^{2}$, dies ist für ${}a\neq 0$ von ${}0$ verschieden. Nach Fakt ist für ${}b\neq 0$ somit

${}{\left(f^{-1}\right)}'(b)={\frac {1}{f'(f^{-1}(b))}}={\frac {1}{3{\left(b^{\frac {1}{3}}\right)}^{2}}}={\frac {1}{3}}b^{-{\frac {2}{3}}}\,.$

Im Nullpunkt ist ${}f^{-1}$ nicht differenzierbar.