1 ↑ Mathematik
1.1 ↑ Analysis
1.1.1 ↑ Stetigkeit und Differenzierbarkeit
1.1.1.1 ↑ Stetigkeit
\mathrm{f} stetig in x_0; ⇔ \lim\limits_{x \to x_0} \mathrm{f}(x) = \mathrm{f}(x_0);1
1.1.1.2 ↑ Differenzierbarkeit
\mathrm{f} ist diffbar an der Stelle x_0; ⇔ \lim\limits_{x \to x_0} \frac{\mathrm{f}(x) - \mathrm{f}(x_0)}{x - x_0} existiert;
Dieser Grenzwert heißt Ableitung von \mathrm{f} an der Stelle x_0 und wird mit \mathrm{f}'(x_0) bezeichnet.
(Ist x_0 Randpunkt von D_{\mathrm{f}}, so sind die Grenzwerte einseitige.)
1.1.1.3 ↑ Satz des Hausmeisters
\mathrm{f} ist diffbar auf \left]a, b\right[, stetig auf \left]a, b\right] und \lim\limits_{x \to b-} \mathrm{f}'(x) existiert.
⇒ \mathrm{f} ist an der Stelle b von links diffbar, und es gilt:
\mathrm{f}'_{\text{l}}(b) = \lim\limits_{x \to b-} \mathrm{f}'(x);
Bemerkungen:
Eine entsprechende Aussage gilt für die rechtsseitige Diffbarkeit.
\mathrm{f} ist an der Stelle x_0 diffbar genau dann, wenn gilt:
\mathrm{f}'_{\text{l}}(x_0) = \mathrm{f}'_{\text{r}}(x_0);
1.1.1.4 ↑ Beispiel
Betrachtet werden die Funktionen \mathrm{f} und \mathrm{g} mit
D_{\mathrm{f}} = \left]a, b\right]; \quad D_{\mathrm{g}} = \left]b, c\right[;
und die Funktion \mathrm{h} mit
\mathrm{h}(x) = \begin{cases} {} \mathrm{f}(x) & \text{f"ur } x \in \left]a, b\right]; \\ {} \mathrm{g}(x) & \text{f"ur } x \in \left]b, c\right[; \end{cases}
d.h. D_{\mathrm{h}} = \left]a, c\right[;
\mathrm{f} und \mathrm{g} besitzen die Stammfunktionen \mathrm{F} und \mathrm{G}.
Beschreibe eine Vorgehensweise, um herauszufinden, ob \mathrm{h} eine Stammfunktion besitzt und gib gegebenfalls eine an.
Vorläufiges \mathrm{H}:
\mathrm{H}(x) = \begin{cases} {} \mathrm{F}(x) & \text{f"ur } x < b; \\ {} \mathrm{G}(x) & \text{f"ur } x > b; \end{cases}
\lim\limits_{x \to b} \mathrm{H}(x) = \mathrm{H}(b);
\lim\limits_{x \to b-} \mathrm{H}(x) = \lim\limits_{x \to b-} \mathrm{F}(x);
\lim\limits_{x \to b+} \mathrm{H}(x) = \lim\limits_{x \to b+} \mathrm{G}(x);
Fall: Einer der Grenzwerte existiert nicht.
Fall: Beide Grenzwerte existieren und stimmen überein.
Diesen Grenzwerte nehmen wir als \mathrm{H}(b).
Fall: Beide Grenzwerte existieren – etwa \varphi und \gamma –, aber stimmen nicht überein.
Wir verwerfen das alte \mathrm{H}(x) und nehmen
\mathrm{H}(x) = \begin{cases} {} \mathrm{F}(x) & \text{f"ur } x < b; \\ {} \varphi & \text{f"ur } x = b; \\ {} \underbrace{\mathrm{G}(x) + \varphi - \gamma}_{\text{Neues } \mathrm{G}(x)} & \text{f"ur } x > b; \\ \end{cases}
Überprüfung auf Differenzierbarkeit an der Stelle b:
Methode: Grenzwert des Differenzenquotienten
\lim\limits_{x \to b-} \frac{\mathrm{H}(x) - \mathrm{H}(b)}{x - b} = \lim\limits_{x \to b-} \frac{\mathrm{F}(x) - \mathrm{H}(b)}{x - b};
\lim\limits_{x \to b+} \frac{\mathrm{H}(x) - \mathrm{H}(b)}{x - b} = \lim\limits_{x \to b+} \frac{\mathrm{G}(x) - \mathrm{H}(b)}{x - b};
Stimmen diese Grenzwerte überein, ist \mathrm{H} Stammfunktion von \mathrm{h}, andernfalls nicht.
Methode: Satz des Hausmeisters
Nach Konstruktion ist \mathrm{H} stetig an der Stelle b.
\lim\limits_{x \to b-} \mathrm{F}'(x) = \lim\limits_{x \to b-} \mathrm{f}(x);
\lim\limits_{x \to b+} \mathrm{G}'(x) = \lim\limits_{x \to b+} \mathrm{g}(x);
Wenn die beiden Grenzwerte existieren und gleich sind, ist \mathrm{H}(x) diffbar. Wenn ferner \mathrm{H}'(b) = \mathrm{f}(b) gilt, ist \mathrm{H} eine Stammfunktion von \mathrm{h}.