Partielle Ableitung

In d​er Differentialrechnung i​st eine partielle Ableitung d​ie Ableitung e​iner Funktion m​it mehreren Argumenten n​ach einem dieser Argumente (in Richtung dieser Koordinatenachse). Die Werte d​er übrigen Argumente werden a​lso konstant gehalten.

Definition

Erster Ordnung

Sei ${\displaystyle U}$ eine offene Teilmenge des euklidischen Raums ${\displaystyle \mathbb {R} ^{n}}$ und ${\displaystyle f\colon U\rightarrow \mathbb {R} }$ eine Funktion. Sei weiterhin ein Element ${\displaystyle a=(a_{1},\dotsc ,a_{n})}$ in ${\displaystyle U}$ gegeben. Falls für die natürliche Zahl ${\displaystyle i}$ mit ${\displaystyle 1\leq i\leq n}$ der Grenzwert

${\displaystyle {\frac {\partial f}{\partial x_{i}}}(a):=\lim _{h\to 0}{\frac {f(a_{1},\dotsc ,a_{i}+h,\dotsc ,a_{n})-f(a_{1},\dotsc ,a_{i},\dotsc ,a_{n})}{h}}}$

existiert, dann nennt man ihn die partielle Ableitung von ${\displaystyle f}$ nach der ${\displaystyle i}$-ten Variablen ${\displaystyle x_{i}}$ im Punkt ${\displaystyle a}$. Die Funktion ${\displaystyle f}$ heißt dann im Punkt ${\displaystyle a}$ partiell differenzierbar. Das Symbol ∂ (es ähnelt dem kursiven Schnitt der kyrillischen Minuskel д) wird als ${\displaystyle d}$ oder zur Unterscheidung auch del ausgesprochen. Die Schreibweise ${\displaystyle {\tfrac {\partial f}{\partial x_{i}}}}$ wurde durch Verwendung von C. G. J. Jacobi bekannt.[1]

Dem gegenüber existiert in der Technischen Mechanik eine andere Schreibweise, bei der die Richtung der Funktion mit einem Komma im Index angezeigt wird um von der Richtung des Arguments der Funktion zu unterscheiden: So ist die Ableitung der Verschiebung ${\displaystyle u_{1}}$ (also die Verschiebung in ${\displaystyle x_{1}}$-Richtung) folgendermaßen äquivalent${\displaystyle {\frac {\partial u_{1}}{\partial x_{1}}}=u_{1,1}}$. Analog dazu wäre ${\displaystyle {\frac {\partial u_{2}}{\partial x_{3}}}=u_{2,3}}$ die Ableitung in ${\displaystyle x_{3}}$-Richtung einer Verschiebung in ${\displaystyle x_{2}}$-Richtung.[2]

Höhere Ordnung

Die partielle Ableitung nach ${\displaystyle x_{i}}$ ist selbst wieder eine Funktion von ${\displaystyle U}$ nach ${\displaystyle \mathbb {R} }$, falls ${\displaystyle f}$ in ganz ${\displaystyle U}$ nach ${\displaystyle x_{i}}$ partiell differenzierbar ist. Als abkürzende Schreibweise für die partiellen Ableitungen ${\displaystyle {\tfrac {\partial f}{\partial x_{i}}}}$ ist auch oft ${\displaystyle \textstyle \partial _{x_{i}}f}$, ${\displaystyle \textstyle f_{x_{i}}}$ oder ${\displaystyle D_{i}f}$ zu finden.

Ist die Funktion ${\displaystyle f\colon U\to \mathbb {R} }$ in jedem Punkt ihres Definitionsbereichs partiell differenzierbar, so sind die partiellen Ableitungen

${\displaystyle {\frac {\partial f}{\partial x_{i}}}\colon a\mapsto {\frac {\partial f}{\partial x_{i}}}(a)}$

wieder Funktionen von ${\displaystyle U}$ nach ${\displaystyle \mathbb {R} }$, die wiederum auf Differenzierbarkeit untersucht werden können. Man erhält so höhere partielle Ableitungen

${\displaystyle {\frac {\partial ^{2}f}{\partial x_{j}\partial x_{i}}}={\frac {\partial }{\partial x_{j}}}\left({\frac {\partial f}{\partial x_{i}}}\right)}$   und   ${\displaystyle \displaystyle {\frac {\partial ^{2}f}{\partial x_{i}^{2}}}={\frac {\partial }{\partial x_{i}}}\left({\frac {\partial f}{\partial x_{i}}}\right)}$

Geometrische Deutung

In einem dreidimensionalen Koordinatensystem wird der Funktionsgraph einer Funktion ${\displaystyle f\colon U\rightarrow \mathbb {R} ^{+}}$ betrachtet. Der Definitionsbereich ${\displaystyle U}$ sei eine offene Teilmenge der xy-Ebene. Ist ${\displaystyle f}$ differenzierbar, dann ist der Graph der Funktion eine Fläche über dem Definitionsbereich ${\displaystyle U}$.

Für einen festen Wert von ${\displaystyle x}$ ist dann ${\displaystyle f}$ eine Funktion in ${\displaystyle y}$. Bei festem ${\displaystyle x}$ ergeben die Punkte ${\displaystyle \{(x,y):y\in \mathbb {R} {\text{ mit }}(x,y)\in U\}}$ eine Strecke parallel zur ${\displaystyle y}$-Achse. Diese Strecke wird von ${\displaystyle f}$ auf eine gekrümmte Linie auf dem Graph von ${\displaystyle f}$ projiziert. Die partielle Ableitung von ${\displaystyle f}$ nach ${\displaystyle y}$ entspricht unter diesen Voraussetzungen der Steigung der Tangente an diese Kurve im Punkt ${\displaystyle f(x,y)}$.

Sätze und Eigenschaften

Zusammenhang Ableitung, partielle Ableitung, Stetigkeit

• Total differenzierbare Funktionen sind stetig.
• Total differenzierbare Funktionen sind partiell differenzierbar.
• Partiell differenzierbare Funktionen sind nicht notwendigerweise stetig und damit auch nicht notwendigerweise total differenzierbar.
• Stetig partiell differenzierbare Funktionen, also Funktionen, deren partielle Ableitungen stetig sind, sind dagegen stetig total differenzierbar.

Satz von Schwarz

• Es gilt der Satz von Schwarz: Wenn die zweiten partiellen Ableitungen stetig sind, so kann man die Reihenfolge der Ableitung vertauschen:

  ${\displaystyle {\frac {\partial ^{2}f}{\partial x_{j}\partial x_{i}}}={\frac {\partial ^{2}f}{\partial x_{i}\partial x_{j}}}\,.}$

Verwendung

• Die ersten partiellen Ableitungen lassen sich in einem Vektor anordnen, dem Gradienten von ${\displaystyle f}$:

${\displaystyle {\text{grad}}\,f=\nabla f:=\left({\frac {\partial f}{\partial x_{1}}},\ldots ,{\frac {\partial f}{\partial x_{n}}}\right)^{T}}$

Hierbei ist ${\displaystyle \nabla }$ der Nabla-Operator.

• Die zweiten partiellen Ableitungen lassen sich in einer Matrix anordnen, der Hesse-Matrix

  ${\displaystyle \operatorname {H} _{f}=\left({\frac {\partial ^{2}f}{\partial x_{i}\partial x_{j}}}\right)={\begin{pmatrix}{\frac {\partial ^{2}f}{\partial x_{1}\partial x_{1}}}&\dots &{\frac {\partial ^{2}f}{\partial x_{1}\partial x_{n}}}\\\vdots &\ddots &\vdots \\{\frac {\partial ^{2}f}{\partial x_{n}\partial x_{1}}}&\dots &{\frac {\partial ^{2}f}{\partial x_{n}\partial x_{n}}}\end{pmatrix}}}$

• Es gilt die Taylorformel: Wenn die Funktion ${\displaystyle f\colon U\to \mathbb {R} }$ ${\displaystyle k}$-mal stetig partiell differenzierbar ist, so lässt sie sich in der Nähe jedes Punktes ${\displaystyle a=(a_{1},\dots ,a_{n})\in U}$ durch ihre Taylor-Polynome approximieren:

${\displaystyle f(a+h)=\sum _{s=0}^{k}\,\sum _{j_{1}+\dots +j_{n}=s}{\frac {1}{j_{1}!\cdots j_{n}!}}\,{\frac {\partial ^{s}f}{\partial x_{1}^{j_{1}}\cdots \partial x_{n}^{j_{n}}}}(a)\,h_{1}^{j_{1}}\cdots h_{n}^{j_{n}}+r(a,h)}$

mit ${\displaystyle h=(h_{1},\dots ,h_{n})}$, wobei das Restglied ${\displaystyle r(a,h)}$ für ${\displaystyle |h|\to 0}$ von höherer als ${\displaystyle k}$-ter Ordnung verschwindet, das heißt:

${\displaystyle \lim _{|h|\to 0}{\frac {|r(a,h)|}{|h|^{k}}}=0.}$

Die Terme zu gegebenem ν ergeben die „Taylorapproximation ${\displaystyle k}$-ter Ordnung“.

• Einfache Extremwertprobleme findet man in der Analysis bei der Berechnung von Maxima und Minima einer Funktion einer reellen Variablen (vgl. hierzu den Artikel über Differentialrechnung). Die Verallgemeinerung des Differentialquotienten auf Funktionen mehrerer Variablen (Veränderlichen, Parameter) ermöglicht die Bestimmung ihrer Extremwerte, und für die Berechnung werden partielle Ableitungen benötigt.

• In der Differentialgeometrie benötigt man partielle Ableitungen zur Bestimmung eines totalen Differentials. Anwendungen für totale Differentiale findet man in großem Maße in der Thermodynamik.

• Partielle Ableitungen sind darüber hinaus ein wesentlicher Bestandteil der Vektoranalysis. Sie bilden die Komponenten des Gradienten, des Laplace-Operators, der Divergenz und der Rotation in Skalar- und Vektorfeldern. Sie treten auch in der Jacobi-Matrix auf.

Beispiele

Beispiel 1

Der Graph von ${\displaystyle f(x,y):=x^{2}+y^{2}-2}$ ist ein Paraboloid (Animation: GIF-Export Geogebra)

Als Beispiel wird die Funktion ${\displaystyle f\colon \mathbb {R} ^{2}\rightarrow \mathbb {R} }$ mit ${\displaystyle f(x,y):=x^{2}+y^{2}-2}$ betrachtet, die von den beiden Variablen ${\displaystyle x}$ und ${\displaystyle y}$ abhängt.

Betrachtet man ${\displaystyle y}$ als eine Konstante, z. B. ${\displaystyle y=3}$, so hängt die Funktion ${\displaystyle g\colon \mathbb {R} \rightarrow \mathbb {R} }$ mit ${\displaystyle g(x)=f(x,3)}$ nur noch von der Variablen ${\displaystyle x}$ ab:

${\displaystyle f(x,3)=x^{2}+7}$

Für die neue Funktion gilt folglich ${\displaystyle g(x)=x^{2}+7}$ und man kann den Differenzialquotienten bilden

${\displaystyle {\frac {\mathrm {d} g(x)}{\mathrm {d} x}}=\lim _{h\to 0}{\frac {g(x+h)-g(x)}{h}}=g'(x)=2x}$

Das gleiche Ergebnis erhält man, wenn man die partielle Ableitung der Funktion ${\displaystyle f}$ nach ${\displaystyle x}$ bildet:

${\displaystyle {\frac {\partial f(x,y)}{\partial x}}=\lim _{h\to 0}{\frac {f(x+h,y)-f(x,y)}{h}}=\lim _{h\to 0}{\frac {(x+h)^{2}+y^{2}-2-x^{2}-y^{2}+2}{h}}=2x}$

Die partielle Ableitung von ${\displaystyle f}$ nach ${\displaystyle y}$ lautet entsprechend:

${\displaystyle {\frac {\partial f(x,y)}{\partial y}}=\lim _{h\to 0}{\frac {f(x,y+h)-f(x,y)}{h}}=\lim _{h\to 0}{\frac {x^{2}+(y+h)^{2}-2-x^{2}-y^{2}+2}{h}}=2y}$

Dieses Beispiel demonstriert, w​ie die partielle Ableitung e​iner Funktion bestimmt wird, d​ie von mehreren Variablen abhängt:

Bis a​uf eine Variable werden a​lle anderen Variablen a​ls konstant angenommen, bezüglich dieser e​inen Variablen w​ird der Differenzialquotient bestimmt. Als Ergebnis erhält m​an die partielle Ableitung d​er Funktion n​ach dieser e​inen Variablen.

Beispiel 2

Da d​ie partielle Ableitung n​ach einer Variablen d​er gewöhnlichen Ableitung b​ei festgehaltenen Werten a​ller anderen Variablen entspricht, können für d​ie Berechnung a​lle Ableitungsregeln w​ie bei Funktionen e​iner Variablen verwendet werden. Ist beispielsweise

${\displaystyle f(x,y)=x^{2}\sin(xy)}$,

so f​olgt mit Produkt- u​nd Kettenregel:

${\displaystyle {\frac {\partial f(x,y)}{\partial x}}=2x\sin(xy)+x^{2}y\cos(xy)}$   und

${\displaystyle {\frac {\partial f(x,y)}{\partial y}}=x^{3}\cos(xy)}$.

Beispiel 3

Funktionsplot mit Geogebra${\displaystyle f(x,y):=\cos(x)+\sin(y)}$

In der obigen Animation sieht man den Graphen der Funktion ${\displaystyle f(x,y)=\cos(x)+\sin(y)}$. Legt man einen Punkt ${\displaystyle (x_{o},y_{o})\in \mathbb {R} ^{2}}$ aus dem Definitionsbereich fest, so kann man den Graphen der Funktion mit einer senkrechten Ebene in x-Richtung schneiden. Der Schnitt des Graphen mit der Ebene erzeugt einen klassischen Graphen aus der eindimensionalen Analysis. Partielle Ableitungen können so auch anschaulich auf die klassische eindimensionale Analysis zurückgeführt werden.

${\displaystyle f(x,y)=\cos(x)+\sin(y)}$,

${\displaystyle {\frac {\partial f(x,y)}{\partial x}}=-\sin(x)}$   und

${\displaystyle {\frac {\partial f(x,y)}{\partial y}}=\cos(y)}$.

Partielle und totale Ableitung nach der Zeit

In der Physik (vor allem in der theoretischen Mechanik) tritt häufig die folgende Situation auf: Eine Größe hängt durch eine total differenzierbare Funktion ${\displaystyle f}$ von den Ortskoordinaten ${\displaystyle x}$, ${\displaystyle y}$, ${\displaystyle z}$ und von der Zeit ${\displaystyle t}$ ab. Man kann also die partiellen Ableitungen ${\displaystyle {\tfrac {\partial f}{\partial x}}}$, ${\displaystyle {\tfrac {\partial f}{\partial y}}}$, ${\displaystyle {\tfrac {\partial f}{\partial z}}}$ und ${\displaystyle {\tfrac {\partial f}{\partial t}}}$ bilden. Die Koordinaten eines sich bewegenden Punktes sind durch die Funktionen ${\displaystyle x(t)}$, ${\displaystyle y(t)}$ und ${\displaystyle z(t)}$ gegeben. Die zeitliche Entwicklung des Werts der Größe am jeweiligen Bahnpunkt wird dann durch die verkettete Funktion

${\displaystyle t\mapsto f(x(t),y(t),z(t),t)}$

beschrieben. Diese Funktion hängt nur von einer Variablen, der Zeit ${\displaystyle t}$, ab. Man kann also die gewöhnliche Ableitung bilden. Diese nennt man die totale oder vollständige Ableitung von ${\displaystyle f}$ nach der Zeit ${\displaystyle t}$ und schreibt dafür auch kurz ${\displaystyle {\tfrac {\mathrm {d} f}{\mathrm {d} t}}}$. Sie berechnet sich nach der mehrdimensionalen Kettenregel wie folgt:

${\displaystyle {\frac {\mathrm {d} f}{\mathrm {d} t}}={\frac {\mathrm {d} }{\mathrm {d} t}}f(x(t),y(t),z(t),t)={\frac {\partial f}{\partial x}}{\frac {\mathrm {d} x}{\mathrm {d} t}}+{\frac {\partial f}{\partial y}}{\frac {\mathrm {d} y}{\mathrm {d} t}}+{\frac {\partial f}{\partial z}}{\frac {\mathrm {d} z}{\mathrm {d} t}}+{\frac {\partial f}{\partial t}}}$

Während bei der partiellen Ableitung ${\displaystyle {\tfrac {\partial f}{\partial t}}}$ nach der Zeit nur die explizite Abhängigkeit der Funktion ${\displaystyle f}$ von ${\displaystyle t}$ berücksichtigt wird und alle anderen Variablen konstant gehalten werden, berücksichtigt die totale Ableitung ${\displaystyle {\tfrac {\mathrm {d} f}{\mathrm {d} t}}}$ auch die indirekte (oder implizite) Abhängigkeit von ${\displaystyle t}$, die dadurch zustande kommt, dass längs der Bahnbewegung die Ortskoordinaten von der Zeit abhängen.

(Indem m​an also d​ie implizite Zeitabhängigkeit mitberücksichtigt, r​edet man i​m Jargon d​er Physik a​uch von „substantieller“ Zeitableitung, bzw. i​m Jargon d​er Strömungsmechanik v​on der Euler-Ableitung i​m Gegensatz z​ur Lagrange-Ableitung.)

→ Für e​ine ausführlichere Darstellung s​iehe totales Differential

Verallgemeinerung: Richtungsableitung

Eine Verallgemeinerung d​er partiellen Ableitung stellt d​ie Richtungsableitung dar. Dabei w​ird die Ableitung i​n Richtung e​ines beliebigen Vektors betrachtet u​nd nicht n​ur in Richtung d​er Koordinatenachsen.

Literatur

• Kurt Endl; Wolfgang Luh: Analysis II, Akademische Verlagsgesellschaft Frankfurt am Main, 1974
• Hans Grauert; Wolfgang Fischer: Differential- und Integralrechnung II, 2., verbesserte Auflage, Springer Verlag Berlin, 1978

Einzelnachweise

1. Heuser verweist auf J. f. reine u. angew. Math., Nr. 17 (1837) (Harro Heuser: Lehrbuch der Analysis. Teil 2., Teubner Verlag, 2002, S. 247). Eine detaillierte Herkunft gibt Jeff Miller: .
2. Holm Altenbach, Johannes Altenbach, Konstantin Naumenko: Ebene Flächentragwerke. Grundlagen der Modellierung und Berechnung von Scheiben und Platten. Springer, Berlin Heidelberg 2016, ISBN 978-3-662-47230-9, S. 25 ff., doi:10.1007/978-3-662-47230-9.