BPE 12.3 Ableitungsregeln für Verknüpfungen und Verkettungen

Aufgabe 1  Ableitungsregeln entdecken und begründen 𝕃

Gegeben sind eine reelle Zahl a sowie zwei lineare Funktionen \(f_i\) mit \(f_i(x)=m_i x+b_i\) für \(i=1,2\).

1. Ermittle rechnerisch (mittels Definition der Verknüpfung bzw. Verkettung) die Hauptform der folgenden zusammengesetzten Funktionen:

   1. Summenfunktion \(f=f_1 + f_2\)
   2. Vielfachenfunktion \(f=a \cdot f_1\)
   3. Produktfunktion \(f=f_1\cdot f_2\).
   4. Verkettung \(f=f_2\circ f_1\).
       
2. Ermittle rechnerisch (mittels Definition des Differenzialquotienten) aus der Hauptform von f die Hauptform der ersten Ableitung f' von f.

3. Zeige, dass sich f' folgendermaßen schreiben lässt:

   1. Summenfunktion \(f'=f_1' + f_2'\)
   2. Vielfachenfunktion \(f'=a \cdot f_1'\)
   3. Produktfunktion \(f'=f_1'\cdot f_2+f_1\cdot f_2'\)
   4. Verkettung \(f'=(f_2'\circ f_1) \cdot f_1'\).
       
4. Recherchiere die Ableitungsregeln (vgl. Merkhilfe, S. 5).
5. Begründe bzw. plausibilisiere, dass durch die Teilaufgaben (a), (b) und (c) die Ableitungsregeln für differenzierbare Funktionen im Wesentlichen gezeigt sind.

Anmerkung, insbesondere zu Teilaufgabe e). Jede differenzierbare Funktion ist lokal "linear", genauer: "linear approximierbar" (vgl. dazu BPE 12.5 und 12.1), d.h., in der Nähe von u gilt die Näherung \(f(x)\approx f(u)+f'(u)\cdot (x-u)\). Mit anderen Worten: Jede differenzierbare Funktion verhält sich, lokal betrachtet, wie eine lineare Funktion, welche erwiesenermaßen die Ableitungsregeln erfüllen.

Aufgabe 2  Exponentialfunktion ableiten 𝕃

Gegeben ist eine Exponentialfunktion \(f_q\) mit \(f_q(x)=q^x\) für q>0. Diese Funktion ist (just for info) differenzierbar. Wir wollen ihre erste Ableitung \(f_q'\) untersuchen und gehen dabei folgendermaßen vor.

1. Zeige, dass gilt: \(f_q'(x)=f_q(x)\cdot f_q'(0)\).
2. Untersuche die Abbildung \(q\mapsto f_q'(0)\) mit dem WTR. Kennst du für den Funktionsterm eine passende Bezeichnung?
   Ansatz. Wähle für q Potenzen von e und approximiere den Differenzialquotienten durch Differenzenquotienten mit kleinen Nennern.
3. Zeige unter Verwendung der Kettenregel und folgender Anmerkung die Ableitungsregel für die Exponentialfunktionen auf S. 5 der Merkhilfe. Dort wird der Funktionsterm \(e^{bx}\) betrachtet, das ist für \(b=\ln(q)\) der Funktionsterm von \(f_q\), nämlich \(e^{bx}=e^{\ln(q)x}=q^x=f_q(x)\).

Anmerkung.

1. Es gilt folgende Gleichung: \(f_q'(0)=\ln(q)\).
   Das liefert einen alternativen Zugang zur natürlichen Logarithmusfunktion (als Alternative zu ihrer Erscheinungsweise als Umkehrfunktion der natürlichen Exponentialfunktion).
2. Es gilt die Äquivalenz folgender Gleichungen: \(\lim_{h\to 0} \frac{q^h-1}{h}=1 \Leftrightarrow q=e\).
   Das charakterisiert zunächst eine reelle Zahl, die wir durch "\(e\)" bezeichnen" und das zeichnet weiter die natürliche Exponentialfunktion (zur Basis e) unter allen Exponentialfunktionen aus: \(f_e'(x)=f_e(x)\) bzw. kurz \(f_e'=f_e\).
3. Es gelten allgemein folgende Gleichungen für die erste Ableitung: \(f_q'(x)=\ln(q)\cdot f_q(x)\) bzw. kurz \(f_q'=\ln(q)\cdot f_q\).

Aufgabe 3  Logarithmusfunktion ableiten 𝕃

Gegeben ist die natürliche Logarithmusfunktion \(\ln\) mit Definitionsbereich \(\mathbb{R}_+^*\) und zugehörigem Wertebereich \(\mathbb{R}\). Diese Funktion ist (just for info) differenzierbar. Wir wollen ihre erste Ableitung \(\ln'\) ermitteln und gehen dabei folgendermaßen vor.
Implizites Differenzieren. Betrachte die Hilfsfunktion h mit \(h(x)=e^{\ln(x)}=x\). Löse nun die Gleichung (zzgl. Termkette) \(1=h'(x)=e^{\ln(x)}\cdot \ln'(x)\) nach \(\ln'\) auf.

Aufgabe 4  Potenzregel und Produktregel 𝕃

Gegeben ist eine Funktion f mit \(f(x)=x^k\).

1. Zeige die Instanz der Potenzregel für \(k=0,1,2\) mittels Definition des Differenzialquotienten.
2. Zeige die Instanz der Potenzregel für \(k=3,4\) mittels Produktregel.
   Ansatz. \(f(x)=x^3=x^2\cdot x\) bzw. \(f(x)=x^4=x^3\cdot x\).
3. Zeige die Instanz der Potenzregel für \(k=5\) mittels Produktregel auf mindestens drei Weisen.
   Ansatz. \(f(x)=x^5=x^4\cdot x=x^3\cdot x^2= x^{12}\cdot x^{-7}\) oder ähnliches.
4. Zeige die Instanz der Potenzregel für \(k=1/2\).
   Ansatz (implizites Differenzieren). Betrachte die Hilfsfunktion h mit \(h(x)=f(x)\cdot f(x)=x\). Löse nun die Gleichung (zzgl. Termkette) \(1=h'(x)=2 f(x) f'(x)\) nach \(f'(x)\) auf.
5. Zeige die Instanz der Potenzregel für \(k=-n\) mit \(n\in \mathbb{N}^*\).
   Ansatz (implizites Differenzieren). Betrachte die Hilfsfunktion h mit \(h(x)=x^n\cdot f(x)=1\). Löse nun die Gleichung (zzgl. Termkette) \(0=h'(x)=(x^n)'\cdot f(x)+x^n\cdot f'(x)\) nach \(f'(x)\) auf.
6. Zeige die Ableitungsregel für Potenzfunktionen auf S. 5 der Merkhilfe, d.h., die Instanz der Potenzregel für \(k\in \mathbb{R}_+^*\).
   Ansatz. Betrachte folgende hilfreiche Darstellung der Funktionsgleichung \(f(x)=x^k=e^{k\cdot \ln(x)}\) von f und verwende die Ableitung der e-Funktion zzgl. Kettenregel.

Anmerkung. In der letzten Teilaufgabe leistet die Fortsetzung \(e^{k\cdot \ln(x)}\) der Funktionsgleichung von f (geradezu nebenbei) die (längst überfällige) Definition von Potenzen mit positiv reellen Exponenten.

Aufgabe 5  Winkelfunktionen

Gegeben sind die Winkelfunktionen \(\sin, \cos\) mit Definitionsbereich \(\mathbb{R}\) und zugehörigem Wertebereich \([-1;+1]\). Wir wollen ihre ersten Ableitungen \(\sin', \cos'\) ermitteln und gehen dabei folgendermaßen vor. Betrachte die Hilfsfunktion h mit \(h(x)=(\sin(x))^2+(\cos(x))^2=1\) (trigonometrischer Pythagoras).

1. Implizites Differenzieren. Zeige, dass gilt: \(\sin(x)\sin'(x)=-\cos(x)\cos'(x)\).
2. Begründe bzw. plausibilisiere mittels Teilaufgabe (a) und graphisches Ableiten, dass \(\sin'=\cos\) und \(\cos'=-\sin\) gilt.
3. Zeige, dass aus \(\sin'=\cos\) mittels Kettenregel \(\cos'=-\sin\) folgt.
   Ansatz. Betrachte folgende hilfreiche Darstellung der Funktionsgleichung \(\cos(x)=\sin(x-(-\pi/2))\) von \(cos\).
4. Zeige die Ableitungsregeln für Winkelfunktionen auf S. 5 der Merkhilfe.

Anmerkung. Teilaufgabe (c) plausibilisiert die Behauptung in b).