In der Differentialrechnung ist eine partielle Ableitung die Ableitung einer Funktion mit mehreren Argumenten nach einem dieser Argumente.

Definition

Sei <math>U</math> eine offene Teilmenge des euklidischen Raums <math>\R^n</math>, und <math>f: U\rightarrow \R</math> eine Funktion. Sei weiterhin ein Element <math>a=(a_1, \ldots, a_n)</math> in <math>U</math> gegeben. Falls für die natürliche Zahl <math>i</math> mit <math>1 \leq i \leq n</math> der folgende Grenzwert existiert:

<math>

\frac{\partial f}{\partial x_i}(a) :=
\lim_{h\to 0} \frac{f(a_1,\ldots,a_i+h,\ldots,a_n)
  - f(a_1,\ldots,a_i,\ldots,a_n)}{h}

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

Die partielle Ableitung nach <math>x_i</math> ist selbst wieder eine Funktion von <math>U</math> nach <math>\R</math>, falls <math>f</math> in ganz <math>U</math> nach <math>x_i</math> partiell differenzierbar ist. Den Vektor

<math>

\text{grad}\, f = \nabla f:=
\left(\frac{\partial f}{\partial x_1}, \ldots,
\frac{\partial f}{\partial x_n} \right)^T 

</math> nennt man den Gradienten von <math>f</math>. Das Symbol <math>\nabla</math> wird Nabla genannt. Als abkürzende Schreibweise ist auch oft <math>\textstyle f_x=\frac{\partial f}{\partial x}</math> oder <math>\textstyle\partial_x f=\frac{\partial f}{\partial x}</math> zu finden.

Zusammenhang Ableitung, partielle Ableitung, Stetigkeit

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

Höhere partielle Ableitungen

Ist die Funktion <math>f \colon U \to \R</math> in jedem Punkt ihres Definitionsbereichs partiell differenzierbar, so sind die partiellen Ableitungen

<math>\frac{\partial f}{\partial x_i} \colon a \mapsto \frac{\partial f}{\partial x_i}(a)</math>

wieder Funktionen von <math>U</math> nach <math>\R</math>, die wiederum auf Differenzierbarkeit untersucht werden können. Man erhält so höhere partielle Ableitungen

<math>\frac{\partial^2 f}{\partial x_j \partial x_i} = \frac{\partial }{\partial x_j}\left(\frac{\partial f}{\partial x_i}\right)</math>   und   <math>\frac{\partial^2 f}{\partial x_i^2 } = \frac{\partial }{\partial x_i}\left(\frac{\partial f}{\partial x_i}\right)</math>

Eigenschaften

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

  <math>\frac{\partial^2 f}{\partial x_j \partial x_i} =\frac{\partial^2 f}{\partial x_i \partial x_j}\,.</math>

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

  <math>

\operatorname{H}_f= \left(\frac{\partial^2f}{\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} </math>

• Es gilt die Taylorformel: Wenn die Funktion <math>f\colon U \to \R</math> <math>k</math>-mal stetig partiell differenzierbar ist, so lässt sie sich in der Nähe jedes Punktes <math>a = (a_1, \dots, a_n) \in U</math> durch ihre Taylor-Polynome approximieren:

<math>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)</math>

mit <math>h = (h_1, \dots, h_n)</math>, wobei das Restglied <math>r(a,h)</math> für <math>|h| \to 0</math> von höherer als <math>k</math>-ter Ordnung verschwindet, das heißt:

<math>\lim_{|h| \to 0} \frac{|r(a,h)|}{|h|^k} = 0.</math>

Die Terme zu gegebenem ν ergeben die „Taylorapproximation <math>k</math>-ter Ordnung“.

Verwendung

Partielle Ableitungen ermöglichen die Berechnung einer Lösung für Probleme, die von mehreren Parametern abhängen.

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

Als Beispiel wird die Funktion <math>f\colon\R^2\rightarrow\R</math> mit <math>f(x,y):= x^2 + y^2</math> betrachtet, die von den beiden Variablen <math>x</math> und <math>y</math> abhängt.

Betrachtet man <math>y</math> als eine Konstante, z. B. <math>y = 3</math>, so hängt die Funktion <math>g\colon\R\rightarrow\R</math> mit <math>g(x)=f(x,3)</math> nur noch von der Variablen <math>x</math> ab:

<math>f(x,3) = x^2 + 9</math>

Für die neue Funktion gilt folglich <math>g(x) = x^2 + 9</math> und man kann den Differenzialquotienten bilden

<math>\frac{\mathrm{d}g(x)}{\mathrm{d}x} = \lim_{h \to 0}\frac{g(x+h) - g(x)}{h} = g'(x) = 2 \cdot x</math>

Das gleiche Ergebnis erhält man, wenn man die partielle Ableitung der Funktion <math>f</math> nach <math>x</math> bildet:

<math>\frac{\partial f(x,y)}{\partial x} = f_x = \lim_{h \to 0}\frac{f(x+h,y) - f(x,y)}{h} = 2 \cdot x</math>

Die partielle Ableitung von <math>f</math> nach <math>y</math> lautet entsprechend:

<math>\frac{\partial f(x,y)}{\partial y} = f_y = \lim_{h \to 0}\frac{f(x,y + h) - f(x,y)}{h} = 2 \cdot y</math>

Dieses Beispiel demonstriert, wie die partielle Ableitung einer Funktion bestimmt wird, die von mehreren Variablen abhängt:

Bis auf eine Variable werden alle anderen Variablen als konstant angenommen, bezüglich dieser einen Variablen wird der Differenzialquotient bestimmt. Als Ergebnis erhält man die partielle Ableitung der Funktion nach dieser einen Variablen.

Beispiel 2

Das folgende Beispiel gibt eine geometrische Deutung der partiellen Ableitung:

In einem dreidimensionalen Koordinatensystem wird der Funktionsgraph der Funktion <math>f:B_1(0,0)\rightarrow \R</math> mit <math>f(x,y):= \sqrt{1 - x^2 - y^2}</math> betrachtet. Der Definitionsbereich ist die Kreisscheibe <math>B_1(0,0)</math> mit Radius <math>1</math> in der <math>x,y</math>-Ebene mit dem Mittelpunkt <math>(0,0)</math>.

Die Funktion <math>f</math> projiziert diesen Kreis auf die Oberfläche einer Halbkugel vom Radius <math>1</math> (die "obere Halbkugel"). Der Pol dieser Halbkugel ist ein Extremwert von <math>f</math> (ein Maximum). Für einen festen Wert von <math>x</math> ist dann <math>f</math> eine Funktion in <math>y</math>. Bei festem <math>x</math> ergeben die Punkte <math>\{(x,y): y\in\R</math> so dass <math>(x,y)\in B_1(0,0)\}</math> eine Strecke parallel zur <math>y</math>-Achse. Diese Strecke wird von <math>f</math> auf eine gekrümmte Linie auf der Oberfläche der Halbkugel projiziert.

Die partielle Ableitung von <math>f</math> nach <math>y</math> bestimmt unter diesen Voraussetzungen die Steigung der Tangente an diese Kurve im Punkt <math>f(x,y)</math>. Für jeden Parameter einer Funktion <math>f</math> kann man partielle Ableitungen bestimmen.

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 <math>f</math> von den Ortskoordinaten <math>x</math>, <math>y</math>, <math>z</math> und von der Zeit <math>t</math> ab. Man kann also die partiellen Ableitungen <math>\tfrac{\partial f}{\partial x}</math>, <math>\tfrac{\partial f}{\partial y}</math>, <math>\tfrac{\partial f}{\partial z}</math> und <math>\tfrac{\partial f}{\partial t}</math> bilden. Die Koordinaten eines sich bewegenden Punktes sind durch die Funktionen <math>x(t)</math>, <math>y(t)</math> und <math>z(t)</math> gegeben. Die zeitliche Entwicklung des Werts der Größe am jeweiligen Bahnpunkt wird dann durch die verkettete Funktion

<math>t \mapsto f(x(t),y(t),z(t),t)</math>

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

<math>\frac{\mathrm df}{\mathrm dt} =

\frac{\mathrm d}{\mathrm dt} f(x(t),y(t),z(t),t) = \frac{\partial f}{\partial x} \frac{\mathrm dx}{\mathrm dt} + \frac{\partial f}{\partial y} \frac{\mathrm dy}{\mathrm dt} + \frac{\partial f}{\partial z} \frac{\mathrm dz}{\mathrm dt} + \frac{\partial f}{\partial t}</math> Während bei der partiellen Ableitung <math>\tfrac{\partial f}{\partial t}</math> nach der Zeit nur die explizite Abhängigkeit der Funktion <math>f</math> von <math>t</math> berücksichtigt wird und alle anderen Variablen konstant gehalten werden, berücksichtigt die totale Ableitung <math>\tfrac{\mathrm d f}{\mathrm d t}</math> auch die indirekte (oder implizite) Abhängigkeit von <math>t</math>, die dadurch zustande kommt, dass längs der Bahnbewegung die Ortskoordinaten von der Zeit abhängen.

(Indem man also die implizite Zeitabhängigkeit mitberücksichtigt, redet man im Jargon der Physik auch von „substantieller“ Zeitableitung, bzw. im Jargon der Strömungsmechanik von der Euler-Ableitung im Gegensatz zur Lagrange-Ableitung.)

→ Für eine ausführlichere Darstellung siehe Totales Differential

Verallgemeinerung: Richtungsableitung

Eine Verallgemeinerung der partiellen Ableitung stellt die Richtungsableitung dar. Dabei wird die Ableitung in Richtung eines beliebigen Vektors betrachtet und nicht nur in Richtung der 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: [1].