Springe zum Inhalt oder Footer
SerloDie freie Lernplattform
Zum Inhalt

Differenzierbarkeit


Von Legacy 1.3.2014, 19:40:37

Titel

Differenzierbarkeit

Inhalt 🟠

Eine Funktion  ff heißt genau dann differenzierbar an der Stelle x0x_0 , wenn dort linksseitiger und rechtseitiger Grenzwert/1599 des Differenzenquotienten/1669 existieren und übereinstimmen, d.h. wenn gilt:

 

  

 

\mbox{\large$lim$}_{x\rightarrow x_0-0}\frac{f(x)-f(x_0)}{x-x_0}=\mbox{\large$lim$}_{x\rightarrow x_0+0}\frac{f(x)-f(x_0)}{x-x_0}     

 

Sind die Ableitungen/1795 links und rechts von x0x_0  bereits bekannt, kann die Differenzierbarkeit auch über die Gleichheit der Ableitungen nachgewiesen werden. Eine Funktion f ist also differenzierbar, wenn beide Grenzwerte existieren und gilt:

 

\mbox{\large$lim$}_{x\rightarrow x_0-0}f`\left(x\right)=\mbox{\large$lim$}_{x\rightarrow x_0+0}f`\left(x\right)

 

 

 

/// Wann "existiert" ein Grenzwert?

 

Ein Grenzwert existiert genau dann, wenn er sich eindeutig bestimmen lässt und zugleich endlich ist. In der folgenden Tabelle sind Beispiele existierender Grenzwerte sowie Gegenbeispiele zusammengefasst:

**** **Grenzwert** **Folgerung**

limx1x=0\underset{x\rightarrow\infty}{lim}\frac1x=0 \Rightarrow Grenzwert existiert

limx2x2+x+1x21=2\underset{x\rightarrow\infty}{lim}\frac{2x^2+x+1}{x^2-1}=2 \Rightarrow Grenzwert existiert

limxx2=\underset{x\rightarrow\infty}{lim}x^2=\infty \Rightarrow Grenzwert existiert nicht

limx01x=\underset{x\rightarrow0}{lim}\frac1x=\infty \Rightarrow Grenzwert existiert nicht

///

Eine differenzierbare Funktion hat die Eigenschaft, dass an jedem Punkt auf dem zugehörigen Graphen genau eine [Tangente](/1647) angelegt werden kann. Der Graph einer differenzierbaren Funktion besitzt also keine Ecken (an Ecken wäre die anzulegende Tangente nicht eindeutig, weil links- und rechtseitiger Grenzwert nicht identisch wären).   differenzierbar nicht differenzierbar

Geogebra File: /uploads/legacy/2295_b9odAo9XvJ.xml
Alt: Geogebra File: /uploads/legacy/2295_b9odAo9XvJ.xmlLink: (kein Link)
Geogebra File: /uploads/legacy/2297_kOXYQ5DgmB.xml
Alt: Geogebra File: /uploads/legacy/2297_kOXYQ5DgmB.xmlLink: (kein Link)

Falls eine Funktion an allen Stellen ihrer Definitionsmenge/1575 differenzierbar ist, wird sie allgemein als differenzierbar bezeichnet. Ist ihre Ableitung ebenfalls differenzierbar, so heißt die Funktion zweimal differenzierbar. Analog lassen sich die Bezeichnungen dreimal / viermal / … differenzierbar definieren.

 

    

 

Eine differenzierbare Funktion, deren Ableitungsfunktion/1795 ff'  überall stetig/1597 ist, heißt stetig differenzierbar.

Differenzierbarkeit nachweisen

Wie oben erklärt ist eine Funktion differenzierbar, wenn an jeder Stelle ihres Definitionsbereichs der Differentialquotient existiert.

 

/// Vorgehen am Beispiel (differenzierbare Funktion)  

 

Untersuche die Funktion f(x)=x2+4x1f\left(x\right)=x^2+4x-1 auf Differenzierbarkeit.

1.

Differentialquotienten am besten mit der h-Methode/1725 aufstellen

limh0f(x0+h)f(x0)h\lim_{h\rightarrow0}\frac{f\left(x_0+h\right)-f\left(x_0\right)}h

 

=limh0[(x0+h)2+4(x0+h)1][x02+4x01]h=\lim_{h\rightarrow0}\frac{\left[\left(x_0+h\right)^2+4\cdot\left(x_0+h\right)-1\right]-\left[x_0^2+4x_0-1\right]}h

2.

Zähler des Bruchs vereinfachen

=limh0[x02+2x0h+h2+4x0+4h1]x024x0+1h=\lim_{h\rightarrow0}\frac{\left[x_0^2+2x_0h+h^2+4x_0+4h-1\right]-x_0^2-4x_0+1}h

 

=limh0x02+2x0h+h2+4x0+4h1x024x0+1h=\lim_{h\rightarrow0}\frac{x_0^2+2x_0h+h^2+4x_0+4h-1-x_0^2-4x_0+1}h

 

=limh02x0h+h2+4hh=\lim_{h\rightarrow0}\frac{2x_0h+h^2+4h}h

3.

im Zähler h ausklammern

=limh0h(2x0+h+4)h=\lim_{h\rightarrow0}\frac{h\cdot\left(2x_0+h+4\right)}h

4.

h kürzen

=limh0(2x0+h+4)=\lim_{h\rightarrow0}\textstyle\left(2x_0+h+4\right)

5.

Nun kann man den Grenzwert bilden, also  hh  gegen  00  gehen lassen.

Syntaxerrorfromline1column293toline1column298.Unexpected.Syntax error from line 1 column 293 to line 1 column 298. Unexpected ''.

6.

Da dieser Grenzwert für alle Werte  x0x_0  aus dem Definitionsbereich existiert, ist die Funktion f(x)=x2+4x1f\left(x\right)=x^2+4x-1  differenzierbar.

Man sieht, dass das Ergebnis übereinstimmt mit der Ableitung der Funktion f(x)=x2+4x1f\left(x\right)=x^2+4x-1 :

 

f(x)=2x+4f`\left(x\right)=2x+4

 

///

 

 

 

/// Vorgehen am Beispiel (nicht differenzierbare Funktion)

 

Untersuche die Funktion %%f\left(x\right)=\left|x\right|=\left\{\begin{array}{lc}x\;&für\;x>0\\0\;\;\;\;&für\;x=0\\-x\;&für\;x

 

Diese Funktion ist offenbar für alle%%x\in\mathbb{R}/\left{0\right}differenzierbar.ManmussalsonurdiekritischeStellebeidifferenzierbar. Man muss also nur die kritische Stelle beix=0%% untersuchen.

1. Erstelle den Differentialquotient an der Stelle  x0=0x_0=0 . limh0f(x0+h)f(x0)h\lim_{h\rightarrow0}\frac{f\left(x_0+h\right)-f\left(x_0\right)}h =limh0f(0+h)f(0)h=limh0f(h)h\def\arraystretch{1.25} \begin{array}{l}=\lim_{h\rightarrow0}\frac{f\left(0+h\right)-f\left(0\right)}h=\lim_{h\rightarrow0}\frac{f\left(h\right)}h\end{array}

2. Zunächst muss man unterscheiden, von welcher Seite man sich der  00  annähert, da man für positive und negative Werte von x unterschiedliche Funktionsterme verwenden muss. Man betrachtet also zwei Grenzwerte. Dabei nähert man sich einmal von links (in Zeichen:  limh00\lim_{h\rightarrow0-0} ) und einmal von rechts (in Zeichen:  limh0+0\lim_{h\rightarrow0+0} ) an den Wert  x0=0x_0=0  an

2.1 Annäherung von rechts: limh0+0f(h)h=limh0+0hh=limh0+01=1\lim_{h\rightarrow0+0}\frac{f\left(h\right)}h=\lim_{h\rightarrow0+0}\frac hh=\lim_{h\rightarrow0+0}1=1

2.2 Annäherung von links: limh00f(h)h=limh00hh=limh0+01=1\lim_{h\rightarrow0-0}\frac{f\left(h\right)}h=\lim_{h\rightarrow0-0}\frac{-h}h=\lim_{h\rightarrow0+0}-1=-1

Da die beiden Grenzwerte von links und rechts unterschiedlich sind, existiert der Grenzwert an der Stelle x0=0x_0=0 nicht. Deshalb ist die Funktion %%f\left(x\right)=\left|x\right|=\left{\begin{array}{lc}x\;&für\;x>0\0\;\;\;\;&für\;x=0\-x\;&für\;x

///

 

       

Zusammenhang zwischen Differenzierbarkeit und Stetigkeit

Geogebra File: /uploads/legacy/9996_yctkcn7MK3.xml
Alt: Geogebra File: /uploads/legacy/9996_yctkcn7MK3.xmlLink: (kein Link)