Produktregel

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Die Produktregel oder Leibnizregel (nach G. W. Leibniz) ist eine grundlegende Regel der Differentialrechnung. Sie führt die Berechnung der Ableitung eines Produktes von Funktionen auf die Berechnung der Ableitungen der einzelnen Funktionen zurück.

Eine Anwendung der Produktregel in der Integralrechnung ist die Methode der partiellen Integration. Für den Fall, dass eine der beiden Funktionen konstant ist, geht die Produktregel in die einfachere Faktorregel über.

Aussage der Produktregel[Bearbeiten]

Sind die Funktionen u und v von einem Intervall D in die Menge der reellen oder der komplexen Zahlen an einer Stelle x_a differenzierbar, so ist auch die durch

f(x) = u(x)\cdot v(x) für alle x\in D

definierte Funktion f an der Stelle x=x_a differenzierbar, und es gilt

f'(x_a) = u'(x_a)\cdot v(x_a) + u(x_a)\cdot v'(x_a)

oder kurz:

(uv)' = u'v + uv'.

Anwendungsbeispiele[Bearbeiten]

Im Folgenden sei stets f(x)=u(x)v(x).

  • Ist u(x)=x und v(x)=x, so erhält man aus der Kenntnis von u'(x)=1 und v'(x)=1 mit der Produktregel die Aussage
\frac{\mathrm d}{\mathrm dx}x^2=f'(x)=u'(x)v(x)+u(x)v'(x)=1\cdot x+x\cdot 1=2x.
  • Ist u(x)=x und v(x)=\frac1x, so ist f(x)=u(x)v(x)=1, also ist
0=f'(x)=u'(x)v(x)+u(x)v'(x)=1\cdot \frac1x+x\cdot v'(x),
und durch Umformen erhält man die Aussage
v'(x)=-\frac1{x^2}.

Verwendet man die Kurznotation (u\color{Blue}v\color{Black})' = u'\color{Blue}v\color{Black} + u\color{Blue}v\color{Black}' so erhält man beispielsweise für die Ableitung folgender Funktion


\begin{align}
f(x) & =(x^2-4)\cdot \color{Blue}(x^3+1)\\
f'(x) & =2x\cdot \color{Blue}(x^3+1)\color{Black}+\color{Black}(x^2-4)\cdot \color{Blue}3x^2\\
\end{align}

Ausmultipliziert ergibt sich  f'(x) = 5x^4-12x^2+2x

Erklärung und Beweis[Bearbeiten]

Geometrische Veranschaulichung des Beweises der Produktregel

Das Produkt u\cdot v zweier reeller (an einer Stelle x differenzierbarer) Funktionen u und v hat an der Stelle x den Wert u(x)\cdot v(x), der als Flächeninhalt eines Rechtecks mit den Seiten u(x) und v(x) gedeutet werden kann. Ändert sich nun x um \Delta x, so ändert sich u(x) um \Delta u(x) und v(x) um \Delta v(x). Die Änderung \Delta(u(x)\cdot v(x)) des Flächeninhalts u(x)\cdot v(x) setzt sich dann (siehe Abbildung) zusammen aus

\Delta(u(x)\cdot v(x))=u(x)\cdot \Delta v(x)+v(x)\cdot\Delta u(x)+\Delta u(x)\cdot\Delta v(x).

Dividiert man durch \Delta x, so ergibt sich mit

{\Delta(u(x)\cdot v(x))\over \Delta x} = u(x)\cdot {\Delta v(x)\over \Delta x} + v(x)\cdot {\Delta u(x)\over \Delta x} + {\Delta u(x)\over \Delta x}\cdot \Delta v(x)

der Differenzenquotient der Produkt- oder Flächeninhaltsfunktion u\cdot v an der Stelle x.

Für \Delta x gegen 0 strebt auch \Delta v(x) (und damit der ganze letzte Summand) gegen 0, sodass man an der Stelle x

(u\cdot v)'=u\cdot v'+v\cdot u'

erhält, wie behauptet. Dies ist auch im Wesentlichen die Argumentation, wie sie sich in einem ersten Beweis der Produktregel 1677 in einem Manuskript von Leibniz findet. Die Produktregel, die er dort gemeinsam mit der Quotientenregel beweist, war damit eine der ersten Regeln zur Anwendung der Infinitesimalrechnung, die er herleitete. Er benutzte allerdings keinen Grenzwert, sondern noch Differentiale und schloss, dass \Delta u\cdot\Delta v wegfällt, weil es im Vergleich zu den anderen Summanden infinitesimal klein sei. Euler benutzte noch dasselbe Argument, erst bei Cauchy findet sich ein Beweis mit Grenzwerten:

Gegeben sei die Funktion f durch f(x) = u(x) \cdot v(x). Die Ableitung von f an einer Stelle x ist dann durch den Grenzwert des Differenzenquotienten

\lim_{\Delta x \to 0} \frac {u(x+\Delta x)\cdot v(x+\Delta x)-u(x)\cdot v(x)}{\Delta x}

gegeben. Addition und Subtraktion des Terms \tfrac {u(x)\cdot v(x+\Delta x)}{\Delta x} liefert

\lim_{\Delta x \to 0} \frac{u(x+\Delta x)-u(x)}{\Delta x}\cdot v(x+\Delta x)+ \lim_{\Delta x \to 0} u(x)\cdot \frac{v(x+\Delta x)-v(x)}{\Delta x}.

Das Ausführen der beiden Grenzübergänge liefert die Produktregel f'(x) = u'(x)\cdot v(x) + u(x)\cdot v'(x).

Verallgemeinerungen[Bearbeiten]

Produkte von Vektoren und Matrix-Vektor-Produkte[Bearbeiten]

Beim Beweis der Produktregel werden aus den Werten von u\!\, Linearkombinationen (Summen, Differenzen, Produkte mit Zahlen) gebildet, ebenso aus den Werten von v\!\,. Die Rollen von u\!\, und v\!\, sind dabei klar getrennt: u\!\, ist der linke Faktor, v\!\, der rechte. Der Beweis überträgt sich deswegen auf alle Produktbildungen, die sowohl im linken als auch im rechten Faktor linear sind. Insbesondere gilt die Produktregel auch für

Vektoren bzw. Matrizen sind dabei als Funktionen einer unabhängigen Variablen zu verstehen.

Mehr als zwei Faktoren[Bearbeiten]

Die Produktregel kann sukzessive auch auf mehrere Faktoren angewandt werden. So wäre

(uvw)' = u'vw + uv'w + uvw' und
(uvwz)' = u'vwz + uv'wz + uvw'z + uvwz' usw.

Allgemein ist für eine Funktion \textstyle f = \prod_{i=1}^n f_i, die sich als Produkt von n Funktionen f_i schreiben lässt, die Ableitung

f'= \sum_{i=1}^n f_i' \prod_{k=1 \atop k\neq i}^n f_k.

Haben die Funktionen keine Nullstellen, so kann man diese Regel auch in der übersichtlichen Form

\frac{(f_1\cdots f_n)'}{f_1\cdots f_n}=\frac{f_1'}{f_1}+\cdots+\frac{f_n'}{f_n}    (oder kurz: \frac{f'}{f}=\sum\frac{f_i'}{f_i})

schreiben; derartige Brüche bezeichnet man als logarithmische Ableitungen.

Höhere Ableitungen [Bearbeiten]

Auch die Regel für Ableitungen n-ter Ordnung für ein Produkt aus zwei Funktionen war schon Leibniz bekannt und wird entsprechend manchmal ebenfalls als Leibnizsche Regel bezeichnet. Sie ergibt sich aus der Produktregel mittels vollständiger Induktion zu

(uv)^{(n)} = \sum_{k=0}^n {n\choose k} u^{(k)} v^{(n-k)}.

Die hier auftretenden Ausdrücke der Form \tbinom{n}{k} sind Binomialkoeffizienten. Die obige Formel enthält die eigentliche Produktregel als Spezialfall. Sie hat auffallende Ähnlichkeit zum binomischen Lehrsatz

(a+b)^n = \sum_{k=0}^n {n\choose k} a^k b^{n-k}.

Diese Ähnlichkeit ist kein Zufall, der übliche Induktionsbeweis läuft in beiden Fällen vollkommen analog; man kann die Leibnizregel aber auch mit Hilfe des binomischen Satzes beweisen.

Für höhere Ableitungen von mehr als zwei Faktoren lässt sich ganz entsprechend das Multinomialtheorem übertragen. Es gilt:

(u_1u_2\ldots u_k)^{(n)}\,=\sum_{n_1+\ldots+n_k=n}{n\choose n_1,\ldots,n_k}\, u_1^{(n_1)}u_2^{(n_2)}\ldots u_k^{(n_k)}.

Höherdimensionaler Definitionsbereich[Bearbeiten]

Verallgemeinert man auf Funktionen mit höherdimensionalem Definitionsbereich, so lässt sich die Produktregel wie folgt formulieren: Es seien U\subseteq\mathbb R^n eine offene Teilmenge, u,v\colon U\to\mathbb R differenzierbare Funktionen und x\in\mathbb R^n ein Richtungsvektor. Dann gilt die Produktregel für die Richtungsableitung:

\frac\partial{\partial x}(uv)=\left(\frac\partial{\partial x}u\right)\cdot v+u\cdot\frac\partial{\partial x}v.

Entsprechend gilt für die Gradienten

\nabla(uv)=(\nabla u)\cdot v+u\cdot\nabla v.

In der Sprache der differenzierbaren Mannigfaltigkeiten lauten diese beiden Aussagen:

  • Sind x ein Tangentialvektor und u,v lokal differenzierbare Funktionen, dann gilt
x(uv)=xu\cdot v+u\cdot xv.
  • Sind u,v lokal differenzierbare Funktionen, so gilt die folgende Beziehung zwischen den äußeren Ableitungen:
\mathrm d(uv)=v\,\mathrm du+u\,\mathrm dv.

Höhere partielle Ableitungen[Bearbeiten]

Sei \alpha,\beta \in \mathbb{N}^{n}_{0}, U\subseteq \mathbb{R}^n, x\in U ~und~ u,v\in C^{| \alpha |} (U, \mathbb{R}). Dann gilt:[1]

D^{\alpha}(uv)=\sum_{\beta\leq \alpha} {\alpha\choose \beta} D^{\beta}u D^{\alpha-\beta} v

Holomorphe Funktionen[Bearbeiten]

Die Produktregel gilt auch für komplex differenzierbare Funktionen: Es sei U\subseteq\mathbb C und f,g\colon U\to\mathbb C holomorph. Dann ist fg holomorph, und es gilt

(fg)'=f'g+fg'.

Allgemeine differenzierbare Abbildungen[Bearbeiten]

Es seien U\subseteq\mathbb R ein offenes Intervall, B eine Banachalgebra (z. B. die Algebra der reellen oder komplexen (n\times n)-Matrizen) und u,v\colon U\to B differenzierbare Funktionen. Dann gilt

(u\cdot v)'=u'\cdot v + u\cdot v';

dabei bezeichnet »·« die Multiplikation in der Banachalgebra.

Sind allgemeiner B^{\prime} und B^{''}\, Banachräume, u\colon U\to B' und v\colon U\to B'' differenzierbare Funktionen, so gilt ebenfalls eine Produktregel, wobei die Funktion des Produktes von einer Bilinearform A\colon B'\times B''\to\mathbb R übernommen wird. Von dieser wird verlangt, dass sie stetig ist, also beschränkt:

|A(b',b'')|\leq C\cdot\|b'\|\cdot\|b''\| für alle b'\in B',b''\in B''

mit einer festen Konstante C. Dann gilt die Produktregel

\frac{\mathrm d}{\mathrm dx}A(u(x),v(x))=A(u'(x),v(x))+A(u(x),v'(x)).

Entsprechende Aussagen gelten für höherdimensionale Definitionsbereiche.

Abstraktion: Derivationen[Bearbeiten]

Hauptartikel: Derivation (Mathematik)

Allgemein nennt man Abbildungen D, welche die Produktregel

D(uv) = v\cdot D(u) + u\cdot D(v)

erfüllen, Derivationen. (Die Reihenfolge der Faktoren ist hier für den Fall einer Derivation A\to M mit einer Algebra A und einem A-Linksmodul M gewählt.)

Im Zusammenhang mit \mathbb Z- oder \mathbb Z/2\mathbb Z-graduierten Algebren („Superalgebren“) muss der Begriff der Derivation jedoch durch den der Antiderivation ersetzt werden; die entsprechende Gleichung lautet dann

D(uv) = D(u)\cdot v + (-1)^{|u|}\cdot u\cdot D(v)

für homogene Elemente u,v; dabei bezeichnet |u| den Grad von u. Das prominenteste Beispiel einer Antiderivation ist die äußere Ableitung für Differentialformen

\mathrm d(\omega\wedge\eta)=\mathrm d\omega\wedge\eta+(-1)^{|\omega|}\cdot\omega\wedge\mathrm d\eta.

Literatur[Bearbeiten]

Die Produktregel für Funktionen wird in jedem Buch erläutert, das Differentialrechnung in allgemeiner Form behandelt.

  • Otto Forster: Analysis 1. Differential- und Integralrechnung einer Veränderlichen. Vieweg, Braunschweig 72004. ISBN 3-528-67224-2
  • Otto Forster: Analysis 2. Differentialrechnung im Rn. Gewöhnliche Differentialgleichungen. Vieweg, Braunschweig 62005. ISBN 3-528-47231-6
  • Konrad Königsberger: Analysis. 2 Bde. Springer, Berlin 2004, ISBN 3-540-41282-4
  • C. H. Edwards Jr.: The Historical Development of the Calculus, 1979, Springer New York

Weblinks[Bearbeiten]

Einzelnachweise[Bearbeiten]

  1. Lawrence C. Evans: Partial Differential Equations, ISBN 0-8218-0772-2, 19. Auflage, S. 12.
Dies ist ein als lesenswert ausgezeichneter Artikel.
Dieser Artikel wurde in die Liste der lesenswerten Artikel aufgenommen. Vorlage:Lesenswert/Wartung/ohne DatumVorlage:Lesenswert/Wartung/ohne Version