Das Fotonexus-Wiki befindet sich im Testbetrieb.

Aus Fotonexus.

Die Differential- bzw. Differenzialrechnung ist ein Gebiet der Mathematik und ein wesentlicher Bestandteil der Analysis. Sie ist eng verwandt mit der Integralrechnung, mit der sie unter der Bezeichnung Infinitesimalrechnung zusammengefasst wird. Zentrales Thema der Differenzialrechnung ist die Berechnung lokaler Veränderungen von Funktionen.

Hierzu dient die Ableitung, deren geometrische Entsprechung die Tangentensteigung ist. Die Ableitung ist der Proportionalitätsfaktor zwischen verschwindend kleinen (infinitesimalen) Änderungen des Eingabewertes und den daraus resultierenden, ebenfalls infinitesimalen Änderungen des Funktionswertes. Existiert ein solcher Proportionalitätsfaktor, so nennt man die Funktion differenzierbar. Äquivalent wird die Ableitung in einem Punkt als diejenige lineare Abbildung definiert, die unter allen linearen Abbildungen die Änderung der Funktion lokal am besten approximiert. Entsprechend wird die Ableitung auch die Linearisierung der Funktion genannt.

In vielen Fällen ist die Differentialrechnung zur Bildung von mathematischen Modellen, die versuchen die Wirklichkeit abzubilden, sowie deren nachfolgender Analyse ein unverzichtbares Hilfsmittel. Die Entsprechung der Ableitung im untersuchten Sachverhalt ist häufig die momentane Änderungsrate, in den Wirtschaftswissenschaften spricht man auch häufig von Grenzraten (z. B. Grenzkosten, Grenzproduktivität eines Produktionsfaktors etc.).

Dieser Artikel erklärt außerdem die mathematischen Begriffe: Differenzenquotient, Differenzialquotient, Differentiation, stetig differenzierbar, glatt, partielle Ableitung und totale Ableitung.

Einleitung

Der Grundbegriff der Differentialrechnung ist die Ableitung einer Funktion.

In geometrischer Sprache ist die Ableitung eine verallgemeinerte Steigung. Der geometrische Begriff Steigung ist ursprünglich nur für lineare Funktionen definiert, deren Funktionsgraph eine Gerade ist. Die Ableitung einer beliebigen Funktion definiert man als die Steigung einer Tangente, die man an den Funktionsgraphen anlegt – wobei dieser Graph in der Regel an verschiedenen Stellen verschiedene Tangenten hat.

In arithmetischer Sprache gibt die Ableitung einer Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

für jedes Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  x 
an, wie sich Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  f(x)
verändert, wenn sich Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  x 
um einen infinitesimal kleinen Betrag Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  \mathrm{d}x 
ändert.

In einer klassischen physikalischen Anwendung liefert die Ableitung der Orts- oder Weg-Zeit-Funktion nach der Zeit die Momentangeschwindigkeit eines Teilchens.

Geschichte

Die Aufgabenstellung der Differentialrechnung war als Tangentenproblem seit der Antike bekannt. Der nahe liegende Lösungsansatz war die Approximation der Tangente als Sekante über einem endlichen (endlich heißt hier: größer als Null), aber beliebig kleinen Intervall. Die technische Schwierigkeit bestand darin, mit einer solchen infinitesimal kleinen Intervallbreite zu rechnen. So löste Fermat um 1640 das Tangentenproblem für Polynome. Hierbei schrieb er bereits eine Ableitung hin, jedoch ohne Betrachtung von Grenzwerten und ohne niederzuschreiben, was die mathematischen Rechtfertigungen für sein Vorgehen waren. Zur selben Zeit wählte Descartes einen algebraischen Zugang, indem er an eine Kurve einen Kreis anlegte. Dieser schneidet die Kurve in zwei Punkten, es sei denn der Kreis berührt die Kurve. Dann war es ihm für spezielle Kurven möglich, die Steigung der Tangente zu bestimmen.

Ende des 17. Jahrhunderts gelang es Isaac Newton und Gottfried Wilhelm Leibniz unabhängig voneinander, widerspruchsfrei funktionierende Kalküle zu entwickeln (zur Entdeckungsgeschichte und zum Prioritätsstreit siehe den Artikel Infinitesimalrechnung). Newton ging das Problem jedoch von einer anderen Seite an als Leibniz. Während Newton das Problem physikalisch über das Momentangeschwindigkeitsproblem anging, versuchte es Leibniz geometrisch über das Tangentenproblem. Ihre Arbeiten erlaubten das Abstrahieren von rein geometrischer Vorstellung und werden deshalb als Beginn der Analysis betrachtet. Bekannt wurden sie vor allem durch das Buch des Adligen Guillaume François Antoine, Marquis de L'Hospital, der bei Johann Bernoulli Privatunterricht nahm und dessen Forschung zur Analysis so publizierte. Die heute bekannten Ableitungsregeln basieren vor allem auf den Werken von Leonard Euler, der den Funktionsbegriff prägte. Newton und Leibniz arbeiteten mit beliebig kleinen Zahlen, die aber größer als Null sind. Dies wurde bereits von Zeitgenossen als unlogisch kritisiert, beispielsweise von Bischof Berkley in der polemischen Schrift The analyst: or a discourse addressed to an infidel mathematician. Anfang des 19. Jahrhunderts ging Augustin Louis Cauchy davon ab und definierte die Ableitung in der heute üblichen, logisch strengen Weise als Grenzwert von Sekantensteigungen ("Differenzenquotienten"). Die heute benutzte Definition des Grenzwerts wurde schließlich von Karl Weierstraß Ende des 19. Jahrhunderts formuliert.

Definition

Einführung

Ausgangspunkt für die Definition der Ableitung ist die Näherung der Tangentensteigung durch eine Sekantensteigung (manchmal auch Sehnensteigung genannt). Gesucht sei die Steigung einer Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

in einem Punkt Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): (x_0\mid f(x_0))

. Man berechnet zunächst die Steigung der Sekante an Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

über einem endlichen Intervall Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \left[x_0 ,  x_0 + \Delta x\right]

Sekantensteigung = Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \frac{f(x_0+\Delta x)-f(x_0)}{(x_0+ \Delta x)-x_0}

. Die Sekantensteigung ist also der Quotient zweier Differenzen; sie wird deshalb auch Differenzenquotient genannt. Mit der Kurznotation Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): y

für Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(x)
kann man die Sekantensteigung abgekürzt als Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \frac{\Delta y}{\Delta x}
schreiben.

Bild:Ableitung.PNG

Differenzenquotienten sind aus dem täglichen Leben wohlbekannt, zum Beispiel als Durchschnittsgeschwindigkeit:

„Auf der Fahrt von Augsburg nach Flensburg war ich um 9:43 Uhr (Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x_0

) am Kreuz Biebelried (Tageskilometerstand Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(x_0)

= 198 km). Um 11:04 Uhr (Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  x_0 +\Delta x

) war ich am Dreieck Hattenbach (Tageskilometerstand Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(x_0+\Delta x) =341 km). In 1 Stunde und 21 Minuten (Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \Delta x ) habe ich somit 143 km (Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \Delta y ) zurückgelegt. Meine Durchschnittsgeschwindigkeit auf dieser Teilstrecke betrug somit 143 km/1,35 h = 105,9 km/h (Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \Delta y / \Delta x ).“

Um eine Tangentensteigung (im genannten Anwendungsbeispiel also eine Momentangeschwindigkeit) zu berechnen, muss man die beiden Punkte, durch die die Sekante gezogen wird, immer weiter aneinander rücken. Dabei gehen sowohl Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \Delta x

als auch Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  \Delta y
gegen Null. Der Quotient Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  \Delta y / \Delta x 
bleibt aber im Normalfall endlich. Auf diesem Grenzübergang beruht die folgende Definition:

Differenzierbarkeit und Ableitung in einem Punkt: Formale Definition und Notation

Eine Funktion, die ein offenes Intervall U in die reellen Zahlen abbildet (Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f:U \to \mathbb{R} ), heißt differenzierbar an der Stelle Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x_0 \in U , falls der Grenzwert

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \lim_{x \rightarrow x_0} \frac {f(x) - f(x_0)} {x - x_0} = \lim_{h \rightarrow 0} \frac {f(x_0 +h) - f(x_0)} {h}

  (mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): h = x - x_0

) auf beiden Seiten (also sowohl für Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x > x_0

als auch für Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  x < x_0 

) existiert. Dieser Grenzwert heißt Differentialquotient oder Ableitung von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

nach Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  x 
an der Stelle Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  x_0 
und wird als 

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f\, '(x_0)

  oder   Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \left.\frac{\mathrm{d}f(x)} {\mathrm {d}x}\right|_{x=x_0}
  oder   Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  \frac{ \mathrm{d}f} {\mathrm{d}x}(x_0)
  oder   Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \frac{\mathrm{d}} {\mathrm {d}x}f(x_0)
  notiert (gesprochen: „f Strich“, „d f von x  nach d x an der Stelle x gleich x null“, „d f nach d x von x null“ respektive „d nach d x von f von x null“).

Die Terme Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathrm{d}f

und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  \mathrm{d}x 
heißen Differentiale. Sie stellen infinitesimal kleine Zahlenwerte dar (vgl. Einleitung). In manchen Anwendungen (Kettenregel, Integration mancher Differentialgleichungen, Integration durch Substitution) rechnet man mit ihnen fast wie mit "normalen" Variablen. Ein Differential ist auch Teil der üblichen Notation für Integrale.

Die Notation einer Ableitung als Quotient zweier Differentiale wurde von Leibniz eingeführt. Newton benutzte einen Punkt über der abzuleitenden Größe, was in der Physik für Zeitableitungen bis heute üblich geblieben ist. Die Notation mit Apostroph (Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f \, ' ) geht auf Lagrange zurück, der sie 1797 in seinem Buch Théorie des fonctions analytiques einführte.

Im Laufe der Zeit wurde folgende gleichwertige Definition gefunden, die sich im allgemeineren Kontext komplexer oder mehrdimensionaler Funktionen als leistungsfähiger erwiesen hat:
Eine Funktion heißt in einem Punkt Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x_0

differenzierbar, falls eine Konstante Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): L
existiert, so dass

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \lim_{h \to 0} \frac{f(x_{0}+h)-f(x_0)-Lh}{h}=0

.

Der Zuwachs der Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f , wenn man sich von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x_0

nur wenig entfernt, lässt sich also durch Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  Lh 
sehr gut approximieren, man nennt die Ableitung Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  L 
deswegen auch die Linearisierung von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  f 

.

Eine weitere Definition ist: Es gibt eine an Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x_0

stetige Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): r
mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): r(x_0)=0
und eine Konstante Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): L

, für die gilt

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(h) = f(x_0) + L(h - x_0) + r(h)(h - x_0) \ \ \forall h

. Der Vorteil dieser Formulierung ist, dass Beweise einfacher zu führen sind, da kein Quotient betrachtet werden muss. Diese Darstellung der besten linearen Approximation wurde schon von Weierstraß, Henry Cartan und J. Dieudonné konsequent angewandt.

Bezeichnet man eine Funktion als differenzierbar, ohne sich auf eine bestimmte Stelle zu beziehen, dann bedeutet dies die Differenzierbarkeit an jeder Stelle des Definitionsbereiches, also die Existenz einer eindeutigen Tangente für jeden Punkt des Graphen.

Eine differenzierbare Funktion ist immer stetig. Die Umkehrung gilt jedoch überraschender Weise nicht. Noch Anfang des 19. Jahrhunderts war man überzeugt, dass eine stetige Funktion höchstens an wenigen Stellen nicht differenzierbar sein könne (wie die Betragsfunktion). Bernhard Bolzano konstruierte dann als erster Mathematiker tatsächlich eine Funktion, die überall stetig, aber nirgends differenzierbar ist, was in der Fachwelt allerdings nicht bekannt wurde; Karl Weierstraß fand dann in den 1860ern ebenfalls eine derartige Funktion, was diesmal unter Mathematikern Wellen schlug. Ein bekanntes Beispiel für eine stetige, nicht differenzierbare Funktion ist die von Helge von Koch 1904 vorgestellte Koch-Kurve.

Ableitung als eine Funktion

Die Ableitung der Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

an der Stelle Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  x_0 

, bezeichnet mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f\,'(x_0) , beschreibt lokal das Verhalten der Funktion in der Umgebung der betrachteten Stelle Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x_0 . Nun wird Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x_0

im Allgemeinen nicht die einzige Stelle sein, an der Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  f 
differenzierbar ist. Man kann daher versuchen, jeder Zahl Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x
aus dem Definitionsbereich von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  f 
die Ableitung an dieser Stelle (also Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f\,'(x)

) zuzuordnen. Auf diese Weise erhält man eine neue Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f\,' , deren Definitionsbereich eine Teilmenge des Definitionsbereiches von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

ist. Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f\,'
heißt die Ableitungsfunktion oder kurz die Ableitung von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  f 

. Beispielsweise hat die Quadratfunktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f: \, x \mapsto x^2

an einer beliebigen Stelle Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x_0
die Ableitung Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f\,'(x_0) = 2 x_0

. Daher ist die zugehörige Ableitungsfunktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f\,'

gegeben durch Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f\,': \, x \mapsto 2x

.

Die Ableitungsfunktion ist im Normalfall eine andere als die ursprüngliche, einzige Ausnahme ist die Exponentialfunktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): e^x

und ihre Vielfachen.

Ist die Ableitung stetig, dann heißt Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

stetig differenzierbar. In Anlehnung an die Bezeichnung Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): C(\Omega)
des Raums der auf der Menge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \Omega
stetigen Funktionen wird der Raum der stetig differenzierbaren Funktionen mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): C^1(\Omega)
abgekürzt.

Komplexe Differenzierbarkeit

Bisher wurde nur von reellen Funktionen gesprochen. Für Differenzierbarkeit von Funktionen mit komplexen Argumenten wird einfach die Definition mit der Linearisierung verwandt. Überraschenderweise ist die Bedingung hier viel einschränkender als im reellen: So ist beispielsweise die Betragsfunktion nirgendwo komplex differenzierbar. Gleichzeitig ist jede in einer Umgebung einmal komplex differenzierbare Funktion automatisch beliebig oft differenzierbar, es existieren also alle höheren Ableitungen.

Berechnung von Ableitungen

Das Berechnen der Ableitung einer Funktion wird Differentiation genannt; sprich, man differenziert diese Funktion.

Um die Ableitung elementarer Funktionen (z. B. Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x^n , Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \sin(x) ,...) zu berechnen, hält man sich eng an die oben angegebene Definition, berechnet explizit einen Differenzenquotienten und lässt dann Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \Delta x

gegen Null gehen. Allerdings vollzieht der typische Mathematikanwender diese Berechnung nur ein paar wenige Male in seinem Leben nach. Später kennt er die Ableitungen der wichtigsten elementaren Funktionen auswendig und schlägt Ableitungen nicht ganz so geläufiger Funktionen in einem Tabellenwerk (z. B. im Bronstein-Semendjajew oder unserer Tabelle von Ableitungs- und Stammfunktionen) nach.

Beispiel für die elementare Berechnung einer Ableitungsfunktion

Gesucht sei die Ableitung von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(x) = x^3 . Dann berechnet man den Differenzenquotienten als

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \frac{\Delta y}{\Delta x} = \frac{f(x_0+\Delta x) - f(x_0)}{\Delta x} = \frac{(x_0+\Delta x)^3 - (x_0)^3}{\Delta x}

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): = \frac{(x_0^3 + 3 x_0 ^2 \Delta x + 3 x_0 \Delta x ^2 + \Delta x^3) - x_0^3}{\Delta x}

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): = \frac{(3 x_0 ^2 \Delta x + 3 x_0 \Delta x ^2 + \Delta x^3)}{\Delta x}

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): = 3 x_0^2 + 3 x_0 \Delta x + \Delta x^2

und erhält im Limes Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \Delta x \to 0

die Ableitung

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f'(x_0) = \lim_{\Delta x \to 0}(3 x_0^2 + 3 x_0 \Delta x + \Delta x^2) = 3 x_0^2 .

Beispiel für eine nicht überall differenzierbare Funktion

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f (x) = |x|

ist an der Stelle 0 nicht differenzierbar:

Für Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x > 0

gilt Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  f(x)=x 
und damit

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \lim_{x \rightarrow 0+} \frac {f(x) - f(0)} {x - 0} = \lim_{x \rightarrow 0+}\frac {x-0}{x-0} = 1

. Für Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x < 0

gilt dagegen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  f(x)=-x 
und folglich

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \lim_{x \rightarrow 0-} \frac {f(x) - f(0)} {x - 0} = \lim_{x \rightarrow 0-}\frac {-x-0}{x-0} = -1

.

Da der links- und der rechtsseitige Grenzwert nicht übereinstimmen, existiert kein beidseitiger Grenzwert. Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

ist somit an der betrachteten Stelle nicht differenzierbar, die Differenzierbarkeit aller anderen Stellen der Funktion ist dagegen noch immer gegeben. Die Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f
ist jedoch richtungsdifferenzierbar, d.h. man kann eine rechtsseitige und eine linksseitige Steigung angeben (1 bzw -1).

Bild:Abs x.PNG

Betrachtet man den Graphen von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f , so kommt man zu der Erkenntnis, dass der Begriff der Differenzierbarkeit anschaulich bedeutet, dass der zugehörige Graph keine „Knicke“ enthält.

Ein typisches Beispiel für nirgends differenzierbare stetige Funktionen, deren Existenz zunächst schwer vorstellbar erscheint, sind fast alle Pfade der Brownschen Bewegung. Diese wird zum Beispiel zur Modellierung der Charts von Aktienkursen benutzt.

Beispiel für eine nicht überall stetig differenzierbare Funktion

Eine Funktion heißt stetig differenzierbar, wenn ihre Ableitung stetig ist.

Beachte: Selbst wenn Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

überall differenzierbar ist, muss die Ableitung nicht stetig sein. Zum Beispiel ist die Funktion

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(x) = \begin{cases} x^2 \cos \left( \frac{1}{x} \right) & x\ne 0\\ 0 & x=0 \end{cases}

in jedem Punkt differenzierbar, auch in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x=0 , aber die Ableitung

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f'(x) = \begin{cases} 2x\cos \left(\frac{1}{x} \right) + \sin \left(\frac{1}{x} \right) & x\ne 0\\ 0 & x=0 \end{cases}

ist im Punkt 0 nicht stetig.

Ableitungsregeln

Ableitungen zusammengesetzter Funktionen (z. B. Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \sin(2x)

oder Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  x^2 \cdot \exp(-x^2) 

) führt man mit Hilfe von Ableitungsregeln auf die Differentiation elementarer Funktionen zurück (siehe auch: Tabelle von Ableitungs- und Stammfunktionen).

Mit den folgenden Regeln kann man die Ableitung zusammengesetzter Funktionen auf Ableitungen einfacherer Funktionen zurückführen. Seien Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f , Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): g

und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  h 
(im Definitionsbereich) differenzierbare, reelle Funktionen, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  n 
und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  a 
reelle Zahlen, dann gilt:

eine an der Stelle Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  x_0 
differenzierbare, bijektive Funktion mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  f'(x_0)\neq 0

bei Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  f(x_0) 
differenzierbar, dann gilt:

des Graphen von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  f 
an der 1. Mediane und erhält damit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  P^* 
auf Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  f^{-1} 

in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  P^* 
der Kehrwert der Steigung von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  f 
in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  P 

wird logarithmische Ableitung genannt.

abzuleiten, erinnert man sich, dass Potenzen mit reellen Exponenten auf dem Umweg über die Exponentialfunktion definiert sind: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathsf{}f(x) = \exp(h(x)\cdot \ln(g(x)))

und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): g
ergibt sich aus

sind Binomialkoeffizienten. 

Manche Ableitungen des Quotienten von Funktionen lassen sich auch mit der Regel von L'Hospital berechnen.

Der Fundamentalsatz der Analysis

Die wesentliche Leistung von Leibniz war die Erkenntnis, dass Integration und Differentiation zusammenhängen. Diese formulierte er im Hauptsatz der Differential- und Integralrechnung, auch Fundamentalsatz der Analysis genannt. Er besagt:

Ist Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): I\subset\mathbb R

ein Intervall, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f:I\to\mathbb R
eine stetige Funktion und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): a\in I
ein beliebiger Punkt, so ist die Funktion

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): F:I\to\mathbb R,\; x\mapsto \int_a^x f(t)\,dt

stetig differenzierbar, und ihre Ableitung ist Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): F\,'=f .

Hiermit ist also eine Anleitung zum Integrieren gegeben: Wir suchen eine Funktion, deren Ableitung der Integrand ist. Dann gilt:

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \int_a^b f(x)\,dx = F(b)-F(a)

.

Mittelwertsatz der Differentialrechnung

Ein weiterer zentraler Satz der Differentialrechnung ist der Mittelwertsatz, der von Cauchy bewiesen wurde.

Es sei Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f: [a,b] \to \mathbb{R}

eine Funktion, die auf dem abgeschlossenen Intervall Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): [a,b]
(mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  a < b 

) definiert und stetig ist. Außerdem sei die Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

im offenen Intervall Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): (a,b)
differenzierbar. Unter diesen Voraussetzungen gibt es mindestens ein Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x_0 \in (a,b)

, sodass Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f'(x_0) = \frac{f(b)-f(a)}{b-a}

gilt.

Mehrfache Ableitungen

Ist die Ableitung einer Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

wiederum differenzierbar, so lässt sich die zweite Ableitung von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  f 
als Ableitung der ersten definieren. Auf dieselbe Weise können dann auch dritte, vierte, etc. Ableitungen definiert werden. Eine Funktion kann dementsprechend einfach differenzierbar, zweifach differenzierbar, etc. sein.

Die zweite Ableitung kann geometrisch als die Krümmung eines Graphen interpretiert werden. Sie hat zahlreiche physikalische Anwendungen. Zum Beispiel ist die erste Ableitung des Orts Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x(t)

nach der Zeit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  t 
die Momentangeschwindigkeit, die zweite Ableitung die Beschleunigung. 

Aus der Physik kommt die Schreibweise Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \dot x(t) , (Sprich: x Punkt), für Ableitungen einer beliebigen Funktion nach der Zeit.

Mehrfache Ableitungen können auf drei verschiedene Weisen geschrieben werden:

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f'' = f^{(2)} = \frac{\mathrm{d}^2f}{\mathrm{d}x^2}

,

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f''' = f^{(3)} = \frac{\mathrm{d}^3f}{\mathrm{d}x^3}

, ...

oder im physikalischen Fall

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \ddot x(t)= \frac{\mathrm{d}^2 x}{\mathrm{d} t^2}

wobei dies die Beschleunigung ist.

Naheliegenderweise wird die Multi-Apostroph-Schreibweise bei niedrigen, die eine oder andere Zahlen-Schreibweise bei hohen Ableitungen bevorzugt. Für die formale Bezeichnung beliebiger Ableitungen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f\,^{(i)}

legt man außerdem fest, dass Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f\,^{(1)}=f'
und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f\,^{(0)}=f

.

Taylor-Reihen und Glattheit

Ist Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

eine  (Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): n+1

)-mal stetig differenzierbare Funktion im Intervall Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): I , dann gilt für alle Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): a

und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  x 
aus Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  I 
die Darstellung der so genannten Taylor-Formel:

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(x) = T_{n} (x) + R_{n+1} (x)

mit dem so genannten Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): n -ten Taylorpolynom an der Entwicklungsstelle Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): a

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): T_{n}(x) = \sum_{k=0}^n \left( {f^{(k)}(a) \over k!}(x-a)^k \right) = f(a) + \frac{f'(a)}{1!}(x-a) + \frac{f''(a)}{2!}(x-a)^2 + \ldots + \frac{f^{(n)}(a)}{n!}(x-a)^n

und dem so genannten (Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): n+1 )-ten Restglied

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): R_{n+1}(x) = \frac{1}{n!}\int_a^x (x-t)^n f^{(n+1)}(t) \mathrm d t

.

Eine beliebig oft differenzierbare Funktion wird glatte Funktion genannt. Da sie alle Ableitungen besitzt, kann die oben angegebene Taylor-Formel erweitert werden auf die Taylor-Reihe von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

mit Entwicklungspunkt Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  a 

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(a) + f'(a) (x-a) + \frac{f''(a)}{2} (x-a)^2 + \ldots + \frac{f^{(n)}(a)}{n!} (x-a)^n + \ldots = \sum_{n=0}^\infty \frac{f^{(n)}(a)}{n!} (x-a)^n

.

Es stellt sich allerdings heraus, dass die Existenz aller Ableitungen nicht ergibt, dass Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

sich durch die Taylor-Reihe darstellen lässt. Anders ausgedrückt: Jede analytische Funktion ist glatt, aber nicht umgekehrt, wie das im Artikel Taylorreihe gegebene Beispiel einer nicht analytischen glatten Funktion zeigt.

Häufig findet man in mathematischen Betrachtungen den Begriff hinreichend glatt. Hiermit ist gemeint, dass die Funktion so oft differenzierbar ist, wie nötig um den aktuellen Gedankengang durchzuführen.

Anwendung: Berechnung von Minima und Maxima

Eine der wichtigsten Anwendungen der Differentialrechnung ist die Bestimmung von Extremwerten, meist zur Optimierung von Prozessen. Diese befinden sich unter anderem bei monotonen Funktionen am Rand des Definitionsbereichs, im Allgemeinen jedoch an den Stellen, wo die Ableitung Null ist. Eine Funktion kann einen Maximal- oder Minimalwert haben, ohne dass die Ableitung an dieser Stelle existiert, im folgenden werden jedoch nur zumindest lokal differenzierbare Funktionen betrachtet. Als Beispiel nehmen wir das Polynom

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): { f(x) } = { 1 \over 3 } \cdot x^3 - 2 \cdot x^2 + 3 \cdot x

Die Abbildung zeigt den Verlauf von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(x) , Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f'(x)

und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  f''(x) 
.

Bild:Einekurvendiskussionmod.png

Waagerechte Tangenten

Besitzt eine Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f\colon (a,b) \to \mathbb{R} mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): (a,b) \subset \mathbb{R}

in einem Punkt Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  x_0 \in (a,b)
ihren größten Wert, gilt also für alle Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  x 
dieses Intervalls Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  f(x_0) \ge f(x)

, und ist Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

im Punkt Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  x_0 
differenzierbar, so kann die Ableitung dort nur gleich null sein: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f'(x_0)=0

. Eine entsprechende Aussage gilt, falls Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x_0
den kleinsten Wert annimmt.

Geometrische Deutung dieses Satzes von Fermat ist, dass der Graph der Funktion in lokalen Extrempunkten eine parallel zur Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x -Achse verlaufende Tangente, auch waagerechte Tangente genannt, besitzt.

Es ist somit für differenzierbare Funktionen eine notwendige Bedingung für das Vorliegen einer Extremstelle, dass die Ableitung an der betreffenden Stelle den Wert 0 annimmt: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f^{\prime}(x_0)=0

Umgekehrt kann daraus, dass die Ableitung an einer Stelle den Wert null hat, noch nicht auf eine Extremstelle geschlossen werden, es könnte auch beispielsweise ein Sattelpunkt vorliegen. Eine Liste verschiedener hinreichender Kriterien, deren Erfüllung sicher auf eine Extremstelle schließen lässt, findet sich im Artikel Extremwert. Diese benutzen meist die zweite oder noch höhere Ableitungen.

Notwendige und hinreichende Bedingung im Beispiel

Im Beispiel ist

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f'(x) = x^2 - 4 \cdot x + 3.

Daraus folgt, dass Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f^{\prime}(x)=0

genau für Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x=1
und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x=3
gilt. Die Funktionswerte an diesen Stellen sind Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(1)=4/3
und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(3)=0

, d.h. die Kurve hat in den Punkten Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): (1\mid 4/3)

und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): (3\mid 0)
waagerechte Tangenten, und nur in diesen.

Da die Folge

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(0)=0,\quad f(1)=\frac{4}{3},\quad f(3)=0,\quad f(4)=\frac{4}{3}

abwechselnd aus kleinen und großen Werten besteht, muss in diesem Bereich ein Hoch- und ein Tiefpunkt liegen. Nach dem Satz von Fermat hat die Kurve in diesen Punkten eine waagerechte Tangente, es kommen also nur die oben ermittelten Punkte in Frage: Also ist Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): (1\mid 4/3)

ein Hochpunkt und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): (3\mid 0)
ein Tiefpunkt.

Kurvendiskussion

Mit Hilfe der Ableitungen lassen sich noch weitere Eigenschaften der Funktion analysieren, wie Wendepunkte, Sattelpunkte, Konvexität oder die oben schon angesprochene Monotonie. Die Durchführung dieser Untersuchungen wird im Artikel Kurvendiskussion beschrieben.

Ein Beispiel für angewandte Differentialrechnung

In der Mikroökonomie werden beispielsweise verschiedene Arten von Produktionsfunktionen analysiert, um daraus Erkenntnisse für makroökonomische Zusammenhänge zu gewinnen. Hier ist vor allem das typische Verhalten einer Produktionsfunktion von Interesse: Wie reagiert die abhängige Variable Output Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): y

(produzierte Menge eines Gutes), wenn der Input Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  x 
(Produktionsfaktor, z. B. Arbeit oder Kapital) um eine (infinitesimal) kleine Einheit erhöht wird?

Ein Grundtyp einer Produktionsfunktion ist etwa die neoklassische Produktionsfunktion. Sie zeichnet sich dadurch aus, dass der Output bei jedem zusätzlichen Input steigt, dass aber die Zuwächse abnehmend sind. Es sei beispielsweise für einen Betrieb die Produktionsfunktion

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): y = f(x) = \sqrt{400x-4}\ \mathrm{f\ddot ur}\ x \ge 100

(gezeichnet ist Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): y = f(x) = 10\sqrt{0{,}04x-4} = \sqrt{4x-400}\ \mathrm{f\ddot ur}\ x \ge 100

)

maßgebend. Die erste Ableitung dieser Funktion ergibt unter Anwendung der Kettenregel

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \frac{\mathrm{d}y}{\mathrm{d}x} = \frac{1}{2}({400x-4})^{-\frac{1}{2}} \cdot 400 = \frac{200}{\sqrt{400x-4}}

.

Da der Wurzelausdruck der ersten Ableitung nur positiv werden kann, sieht man, dass der Ertrag bei jedem zusätzlichen Input steigt. Die zweite Ableitung ergibt

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \frac{\mathrm{d}^2y}{\mathrm{d}x^2} = 200 \left(-\frac{1}{2} \right) ({400x-4})^{-\frac{3}{2}} \cdot 400 = -\frac{40.000}{\sqrt{(400x-4)^3}}

.

Sie wird für alle Inputs negativ, also fallen die Zuwächse. Man könnte also sagen, das bei steigendem Input der Output unterproportional steigt.

Ableitungen von mehrdimensionalen Funktionen

Alle vorigen Ausführungen legten eine Funktion in einer Variablen (also mit einer reellen oder komplexen Zahl als Argument) zu Grunde. Funktionen, die Vektoren auf Vektoren oder Vektoren auf Zahlen abbilden, können ebenfalls eine Ableitung haben. Allerdings ist eine Tangente an die Funktion in diesen Fällen nicht mehr eindeutig bestimmt, da es viele verschiedene Richtungen gibt. Hier ist also eine Erweiterung des bisherigen Ableitungsbegriffs notwendig.

Partielle Ableitungen

Wir betrachten zunächst eine Funktion, die von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathbb{R}^n\to\mathbb{R}

geht. Ein Beispiel ist die Temperaturfunktion: Wir messen in Abhängigkeit vom Ort die Temperatur in unserem Zimmer, um zu beurteilen, wie effektiv die Heizung ist. Bewegen wir das Thermometer in eine bestimmte Richtung, bemerken wir eine Veränderung der Temperatur. Diese ist die so genannte Richtungsableitung. Die Richtungsableitungen in spezielle Richtungen, nämlich die der Koordinatenachsen, nennt man auch die partiellen Ableitungen.

Insgesamt lassen sich für eine Funktion in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): n

Variablen insgesamt Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): n
partielle Ableitungen errechnen:

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \frac{\partial f (x_1, \dots , x_n)}{\partial x_i}

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): = \lim_{\Delta x_i \to 0} \frac{f(x_1, \dots , x_i+\Delta x_i, \dots , x_n) - f(x_1, \dots , x_i , \dots , x_n)}{\Delta x_i};\quad i \in \{1,\dots, n\}

Die einzelnen partiellen Ableitungen einer Funktion lassen sich auch gebündelt als Gradient oder Nablavektor anschreiben. Partielle Ableitungen können wieder differenzierbar sein und lassen sich dann in der so genannten Hesse-Matrix anordnen. Analog zum eindimensionalen Fall sind die Kandidaten für Extremstellen da, wo die Ableitung Null ist, also der Gradient verschwindet. Ebenfalls analog benutzt man die zweite Ableitung, also die Hesse-Matrix, zur Bestimmung des exakt vorliegenden Falles. Im Gegensatz zum eindimensionalen ist allerdings die Formenvielfalt in diesem Falle größer. Mittels einer Hauptachsentransformation der durch eine mehrdimensionale Taylor-Entwicklung im betrachteten Punkt gegebenen quadratischen Form lassen sich die verschiedenen Fälle klassifizieren.

Implizite Differentiation

Ist eine Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x \mapsto y(x)

durch eine implizite Gleichung Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  F\left(x,y\left(x\right)\right) = 0 
gegeben, so folgt aus der verallgemeinerten Kettenregel, die für Funktionen mehrerer Variablen gilt:

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): F_x + F_yy' = 0\mathsf{} .

Für die Ableitung der Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): y

ergibt sich daher:

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): y' = -\frac{F_x}{F_y}

mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  F_x = \frac{\partial F}{\partial x } ,  F_y = \frac{\partial F}{\partial y}; F_y \neq 0 

.

Totale Differenzierbarkeit

Eine Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f:U \subset \mathbb{R}^n \to \mathbb{R}^m , wobei Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): U

eine offene Menge ist, heißt in einem Punkt Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x_0 \in U
total differenzierbar (oder auch nur differenzierbar), falls eine lineare Abbildung Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): L: \, \mathbb{R}^n \to \mathbb{R}^m
existiert, so dass

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \lim_{h \to 0} \frac{f(x_{0}+h)-f(x_0)-Lh}{\|h\|}=0

gilt.

Für den eindimensionalen Fall stimmt diese Definition mit der oben angegebenen überein. Die lineare Abbildung Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): L

ist bei Existenz eindeutig bestimmt, hängt also insbesondere nicht von der verwendeten Norm ab. Die Tangente wird also durch die lokale Linearisierung der Funktion abstrahiert. Die Matrixdarstellung der ersten Ableitung von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f
nennt man Jacobi-Matrix. Es handelt sich um eine Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): m \times n

-Matrix, im Fall Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): m=1

erhalten wir den oben beschriebenen Gradienten.

Zwischen den partiellen Ableitungen und der totalen Ableitung besteht folgender Zusammenhang: Existiert in einem Punkt die totale Ableitung, so existieren dort auch alle partiellen Ableitungen. In diesem Fall stimmen die partiellen Ableitungen mit den Koeffizienten der Jacobi-Matrix überein. Umgekehrt folgt aus der Existenz der partiellen Ableitungen in einem Punkt Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x_0

nicht zwingend die totale Differenzierbarkeit, ja nicht einmal die Stetigkeit. Sind die partiellen Ableitungen jedoch zusätzlich in einer Umgebung von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x_0
stetig, dann ist die Funktion in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x_0
auch total differenzierbar.

Wichtige Sätze

• Satz von Schwarz: Die Differentiationsreihenfolge ist bei der Berechnung von partiellen Ableitungen höherer Ordnung unerheblich, wenn alle partiellen Ableitungen bis zu dieser Ordnung (einschließlich) stetig sind.
• Satz von der impliziten Funktion: Funktionsgleichungen sind lösbar, falls die Jacobi-Matrix bezüglich bestimmter Variablen invertierbar ist.

Verallgemeinerungen

• In vielen Anwendungen ist es wünschenswert, Ableitungen auch für stetige oder sogar unstetige Funktionen bilden zu können. So kann beispielsweise eine sich am Strand brechende Welle durch eine partielle Differentialgleichung modelliert werden, die Funktion der Höhe der Welle ist aber noch nicht einmal stetig. Zu diesem Zweck verallgemeinerte man Mitte des 20. Jahrhunderts den Ableitungsbegriff auf den Raum der Distributionen und definierte dort eine schwache Ableitung. Eng verbunden damit ist der Begriff des Sobolew-Raums.
• In der Differentialgeometrie werden gekrümmte Flächen untersucht. Hierzu wird der Begriff der Differentialform benötigt.
• Der Begriff der Ableitung als Linearisierung lässt sich analog auf Funktionen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f: U\subset X \to Y

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): U \subset X

offen zwischen Banachräumen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): X

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): Y

übertragen. Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f
heißt in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x_0 \in U
differenzierbar, wenn ein stetiger linearer Operator Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): L \in \mathcal L(X,Y)
existiert, so dass

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \lim_{h \to 0} \frac{\|f(x_0 + h) - f(x_0) - Lh\|}{\|h\|} = 0

.

Differentialgleichungen

Die wichtigste Anwendung der Differentialrechnung neben dem Bestimmen von Maxima und Minima ist in der mathematischen Modellierung physikalischer Vorgänge. Wachstum, Bewegung oder Kräfte haben alle mit Ableitungen zu tun, ihre formelhafte Beschreibung muss also Differentiale enthalten. Typischerweise führt dies auf Gleichungen, in denen Ableitungen einer unbekannten Funktion auftauchen, eben genau Differentialgleichungen.

Beispielsweise verknüpft das Newtonsche Bewegungsgesetz

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathbf{F}(t) = m \mathbf{a}(t) = m \ddot \mathbf{s} = m\frac{\mathrm{d}^2\mathbf{s}} {\mathrm{d}t^2}

die Beschleunigung Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathbf{a}

eines Körpers mit seiner Masse Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  m 
und der auf ihn einwirkenden Kraft Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  \mathbf{F} 

. Das Grundproblem der Mechanik lautet deshalb, aus einer gegebenen Beschleunigung auf die Ortsfunktion eines Körpers zurückzuschließen. Diese Aufgabe, eine Umkehrung der zweifachen Differentiation, hat die mathematische Gestalt einer Differentialgleichung zweiter Ordnung. Die mathematische Schwierigkeit dieses Problems rührt daher, dass Ort, Geschwindigkeit und Beschleunigung Vektoren sind, die im allgemeinen nicht in die gleiche Richtung zeigen, und dass die Kraft – je nach Anwendungsfall – von der Zeit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): t

oder/und vom Ort Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  \mathbf{s} 
abhängen kann.

Da viele Anwendungen mehrdimensional sind, sind dort partielle Ableitungen sehr wichtig, mit denen sich partielle Differentialgleichungen formulieren lassen. Mathematisch kompakt werden diese mittels Differentialoperatoren beschrieben und analysiert.

Literatur

Schulbücher

• Differentialrechnung ist ein zentraler Unterrichtsgegenstand in der Sekundarstufe II und wird somit in allen Mathematik-Lehrbüchern behandelt.

Lehrbücher für Studenten der Mathematik und benachbarter Fächer

(Physik, Informatik)

• Henri Cartan: Differentialrechnung. Bibliographisches Institut, Mannheim 1974. ISBN 3-411-01442-3
• Henri Cartan: Differentialformen. Bibliographisches Institut, Mannheim 1974. ISBN 3-411-01443-1
• Henri Cartan: Elementare Theorien der Analytischen Funktionen einer und mehrerer Komplexen Veränderlichen. Bibliographisches Institut, Mannheim 1966, 1981. ISBN 3-411-00112-7
• Richard Courant: Vorlesungen über Differential- und Integralrechnung. 2 Bde. Springer 1928, ⁴1971. ISBN 3-540-02956-7
• Jean Dieudonné: Grundzüge der modernen Analysis. Bd 1. Vieweg, Braunschweig 1972. ISBN 3-528-18290-3
• Otto Forster: Analysis 1. Differential- und Integralrechnung einer Veränderlichen. Vieweg, Braunschweig ⁷2004. ISBN 3-528-67224-2
• Otto Forster: Analysis 2. Differentialrechnung im Rⁿ. Gewöhnliche Differentialgleichungen. Vieweg, Braunschweig ⁶2005. ISBN 3-528-47231-6
• Konrad Königsberger: Analysis. 2 Bde. Springer, Berlin 2004, ISBN 3-540-41282-4
• Steffen Timmann: Repetitorium der Analysis. 2 Bde. Binomi, Springe 1993. ISBN 3-923923-50-3, ISBN 3-923923-52-X

Lehrbücher für Studenten mit Nebenfach/Grundlagenfach Mathematik

(z. B. Studenten der Ingenieur- oder Naturwissenschaften)

• Rainer Ansorge, Hans Joachim Oberle: Mathematik für Ingenieure. Bd 1. Akademie-Verlag, Berlin 1994, ³2000. ISBN 3-527-40309-4
• Günter Bärwolff (unter Mitarbeit von G. Seifert): Höhere Mathematik für Naturwissenschaftler und Ingenieure. Elsevier Spektrum Akademischer Verlag, München 2006. ISBN 3-8274-1688-4
• Lothar Papula: Mathematik für Naturwissenschaftler und Ingenieure. Bd 1. Vieweg, Wiesbaden 2004. ISBN 3-528-44355-3
• Klaus Weltner: Mathematik für Physiker. Bd 1. Springer, Berlin 2006. ISBN 3-540-29842-8

Weblinks

Wiktionary: Differentialrechnung – Bedeutungserklärungen, Wortherkunft, Synonyme und Übersetzungen

• Tool zur Bestimmung von Ableitungen beliebiger Funktionen
• Lernpfad zur Einführung in die Differentialrechnung (benötigt JavaScript)
• Grundidee des Differenzierens - Filmclip
• Anschauliche Erklärung von Ableitungen
• Erklärung der Differentialrechnung für Schüler
• 50-Ableitungsbeispiele für Funktionen

Dieser Artikel wurde in die Liste exzellenter Artikel aufgenommen.