Mathematik: Analysis: Differentialrechnung: Differenzierbarkeit

Durch den Begriff der Stetigkeit einer Funktion $f$ an einer Stelle $a$ wird der Sachverhalt präzisiert, dass eine "kleine" Abweichung von $a$ auch nur eine "mehr oder weniger kleine" Abweichung vom Funktionswert $f(a)$ liefert. Durch den Begriff der Differenzierbarkeit wird dieses "mehr oder weniger" genauer qualifiziert, indem untersucht wird, wie groß die Abweichung vom Funktionswert im Verhältnis zum Argumentwert ist, und man dadurch zu einer Aussage über die "momentane" Funktionswertänderung an einer Stelle $a$ gelangt.

Sei $f$ eine Funktion, die in einer Umgebung $U$ von $x_0$ definiert ist, so dass also $D_f\cap U=\mathrm{\varnothing }$ ist. Man bildet den so genannten Differenzenquotienten von $f$ bei $x_0$:

$d_{f,x_0}(x)\stackrel{\text{def}}{=}\frac{f(x)-f(x_0)}{x-x_0}\text{für alle }x\in D_f\cap U,x=x_0.$

In konkreten Rechnungen ist es oft bequem, $h=x-x_0$ zu setzen; dann kann der Differenzenquotient auch so geschrieben werden:

$\frac{f(x_0+h)-f(x_0)}{h}.$

wobei $h$ so gewählt sein muss, dass $x_0+h\in (D_f\cap U)\setminus \{x_0\},$ insbesondere also $h=0$ ist. Man beachte, dass der Differenzenquotient an der Stelle $x_0$ (bzw. für $h=0$) nicht definiert ist.

Existiert aber der Grenzwert

$\underset{x\to x_0}{\lim }{d}_{f,x_0}(x)\left(\text{bzw. }\underset{h\to 0}{\lim }\frac{f(x_0+h)-f(x_0)}{h}\right),$

so heißt die Funktion $f$ differenzierbar bei $x_0$, und der Grenzwert $\underset{x\to x_0}{\lim }{d}_{f,x_0}(x)$ heißt Differenzialquotient von $f$ bei $x_0,$ für den auch $\frac{\text{d}f(x_0)}{\text{d}x}$ oder (wesentlich genauer!) $\frac{\text{d}f(x)}{\text{d}x}{|}_{x=x_0}$ geschrieben wird.

Man kann nun jeder Stelle $x_0,$ an der die Funktion $f$ differenzierbar ist, den zugehörigen Differenzialquotienten zuordnen, also die Funktion

$f^{\prime }\stackrel{\text{def}}{=}(x_0\mapsto \underset{x\to x_0}{\lim }{d}_{f,x_0}(x))$

bilden; $f^{\prime }$ heißt Ableitungsfunktion oder kurz Ableitung von $f,$ und man hat (falls vorhanden)

$f^{\prime }(x_0)=\underset{x\to x_0}{\lim }{d}_{f,x_0}(x)$ für alle $x_0\in D_{f^{\prime }},$

und die Definitionsmenge von $f^{\prime }$ enthält genau diejenigen $x_0,$ bei denen $f$ differenzierbar ist.

Nach dem eingangs zu Stetigkeit und Differenzierbarkeit Gesagtem erwartet man die Gültigkeit folgenden Satzes.

Satz

Wenn eine Funktion $f$ bei $x_0$ differenzierbar ist, so ist $f$ bei $x_0$ auch stetig.

Beweis. Die Differenzierbarkeit bei $x_0$ besagt, dass

$\underset{h\to 0}{\lim }\frac{f(x_0+h)-f(x_0)}{h}=f^{\prime }(x_0)$

gilt. Unter Voraussetzung von $h=0$ und unter Benutzung von $\underset{h\to 0}{\lim }h=0$ rechnet man nun

$0=f^{\prime }(x_0)\cdot 0=\underset{h\to 0}{\lim }\frac{f(x_0+h)-f(x_0)}{h}\cdot \underset{h\to 0}{\lim }h=\underset{h\to 0}{\lim }(\frac{f(x_0+h)-f(x_0)}{h}\cdot h)=\underset{h\to 0}{\lim }(f(x_0+h)-f(x_0)),$

also $\underset{h\to 0}{\lim }(f(x_0+h)-f(x_0))=0.$ Dies aber ist äquivalent mit $\underset{h\to 0}{\lim }f(x_0+h)=f(x_0),$ womit die Stetigkeit von $f$ bei $x_0$ gezeigt ist. -

Aus der Stetigkeit bei $x_0$ kann aber nicht auf Differenzierbarkeit bei $x_0$ geschlossen werden; denn beispielsweise ist die Betragsfunktion $f=(x\mapsto |x|)$ an der Stelle $0$ stetig wegen $\underset{h\to 0}{\lim }f(0+h)=\underset{h\to 0}{\lim }|h|=0=f(0);$ aber wegen

$\frac{f(0+h)-f(0)}{h}=\frac{|h|}{h}=\{\begin{array}{cc}+1,& \text{falls }h>0\\ -1,& \text{falls }h<0\end{array}$

besitzt der Differenzenquotient bei 0 keinen Grenzwert, so dass $f$ bei 0 nicht differenzierbar ist.

Vorstehendes Beispiel zeigt, dass als differenzierbare Funktionen höchstens stetige Funktionen in Betracht kommen; ist eine Funktion dagegen nicht stetig, so kann sie erst recht nicht differenzierbar sein.

Beispiele zur Bildung der Ableitung:

1) Sei $f=(x\mapsto \frac{4}{x+4})$ und $x_0=4.$

Man bildet zunächst den Differenzenquotienten von $f$ bei $x_0:$

$d_{f,4}(x)=\frac{f(x)-f(4)}{x-4}=\frac{\frac{4}{x+4}-\frac{1}{2}}{x-4}=\frac{8-(x+4)}{2(x+4)(x-4)}=\frac{-x+4}{2(x+4)(x-4)}=-\frac{x-4}{2(x+4)(x-4)}$ für alle $x\in ℝ\setminus \{-4;4\}.$

Da hier insbesondere $x=4,$ so ist

$d_{f,4}(x)=-\frac{1}{2(x+4)},$

wobei der Term auf der rechten Seite der Gleichung auch im Falle $x=4$ definiert ist, so dass

$f^{\prime }(4)=\underset{x\to 4}{\lim }{d}_{f,4}(x)=\underset{x\to 4}{\lim }-\frac{1}{2(x+4)}=-\frac{1}{16}.$

2) Sei $f=(x\mapsto \sqrt{5-x})$ und $x_0=1.$

$d_{f,1}(x)=\frac{f(x)-f(1)}{x-1}=\frac{\sqrt{5-x}-2}{x-1}$ für alle $x\in ]-\mathrm{\infty };5[\setminus \{1\}.$

Man muss nun den Term so umzuformen versuchen, dass er durch $x-1$ kürzbar wird - falls dies überhaupt möglich ist.

Im vorliegenden Fall hilft die Anwendung der 3. binomischen Formel weiter:

$d_{f,1}(x)=\frac{(\sqrt{5-x}-2)(\sqrt{5-x}+2)}{(x-1)(\sqrt{5-x}+2)}=\frac{(5-x)-4}{(x-1)(\sqrt{5-x}+2)}=\frac{-(x-1)}{(x-1)(\sqrt{5-x}+2)}$ für alle $x\in ]-\mathrm{\infty };5[\setminus \{1\}.$

Da hier insbesondere $x=1,$ so ist jetzt Kürzung durch $x-1$ möglich:

$d_{f,1}(x)=-\frac{1}{\sqrt{5-x}+2}$ für alle $x\in ]-\mathrm{\infty };5[\setminus \{1\},$

wobei der auf der rechten Seite der Gleichung stehende Term auch bei 1 definiert ist, so dass

$f^{\prime }(1)=\underset{x\to 1}{\lim }{d}_{f,1}(x)=\underset{x\to 1}{\lim }-\frac{1}{\sqrt{5-x}+2}=-\frac{1}{\sqrt{5-1}+2}=-\frac{1}{4}.$

Aus den vorstehenden Beispielen wird folgendes allgemeines Vorgehen ersichtlich:

Die Bildung der Ableitung $f^{\prime }(x_0)$ ist für nicht ganz-rationale Funktionen nur dann möglich, wenn es gelingt, den Differenzenquotienten $d_{f,x_0}(x)$ durch $x-x_0$ zu kürzen. In einem solchen Fall ergibt sich$\underset{x\to x_0}{\lim }{d}_{f,x_0}(x)$ als der Wert des gekürzten Terms an der Stelle $x_0,$ und damit ist dann $f^{\prime }(x_0)$ gefunden.