Formale Ableitung

Die formale Ableitung ist ein Begriff aus dem mathematischen Teilgebiet der Algebra. Durch sie wird der Ableitungsbegriff aus der Analysis für Funktionen auf Polynome übertragen.

Da über einem Ring keine Zahl "zwischen" zwei Zahlen existiert, es also keinen Grenzwertbegriff gibt, kann der Differenzenquotient nicht sinnvoll definiert werden und somit existiert keine Ableitung im eigentlichen Sinne. Um das Konzept der Ableitung trotzdem nutzen zu können, wird diese für Polynome formal so definiert, dass die Faktorregel und die Potenzregel erfüllt sind.

Definition

Sei <math>R</math> ein Ring und <math>R[X]</math> bezeichne den Polynomring über <math>R</math> in einer Unbestimmten <math>X</math>. Für ein Polynom

<math>f = \sum_{i=0}^n a_iX^i \in R[X]</math>

ist die formale Ableitung <math>f' \in R[X]</math> definiert als

<math>f' = \sum_{i=1}^n ia_iX^{i-1}</math>.

Eigenschaften

• Für die formale Ableitung gelten die bekannten Rechenregeln der Differentialrechnung. Insbesondere gilt

<math>(a f + b g)' = a f' + b g'</math> sowie

<math>(f g)' = f' g + f g'</math>

für alle <math>f,g \in R[X]</math> und alle <math>a,b \in R</math>. Das heißt, die Abbildung

<math>D \colon R[X] \to R[X], \quad f \mapsto f'</math>

ist eine Derivation von <math>R[X]</math>.

• Liegt <math>f</math> in Linearfaktoren vor, das heißt <math>\textstyle f = \prod_{i=1}^n (X-r_i)</math>, wobei <math>r_i \in R</math> die Nullstellen von <math>f</math> sind, so gilt für die Ableitung

<math>f' = \sum_{i=1}^n \prod_{j=1 \atop j \neq i}^n ( X - r_j)</math>.

Anwendung

Ist <math>K</math> ein Körper, so ist <math>K[X]</math> ein euklidischer Ring (insbesondere faktoriell), wobei <math>\deg(f) = \max\{i\ |\ a_i \neq 0\}</math> als euklidische Norm dient, wenn <math>a_i</math> die Koeffizienten von <math>f</math> bezeichnet. Die Nullstellen des ggT von <math>f</math> und <math>f'</math> sind gerade die Mehrfachnullstellen von <math>f</math> mit einer um 1 erniedrigten Ordnung, wie folgende Rechnung zeigt:

Sei <math>r \in K</math> eine Mehrfachnullstelle von <math>f \in K[X]</math>, dann gilt <math>f = (X-r)((X-r)^m g)</math> mit einem Polynom <math>g \in K[X]\setminus\{0\}</math> und einem <math>m \ge 1</math>. Es folgt <math>f' = (X-r)^m g + (X-r) ((X-r)^m g)'</math>, also <math>f'(r) = 0</math>.

Literatur

• Gerd Fischer: Lehrbuch der Algebra. Vieweg, Wiesbaden 2008, ISBN 978-3-8348-0226-2, S. 275 ff. ({{#if: 6R9b27imDC8C

| {{#if: {{#if: ||1}} {{#if: 6R9b27imDC8C ||1}} | <0|&pg={{#if:|RA{{{Band}}}-}}PA275|&pg=275}}{{#if:|&q=}}#v=onepage|{{#if:|&pg=|}}{{#if:|&q=}}}}{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}|{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}}} {{#if:|{{#invoke:WLink|getEscapedTitle|{{{Linktext}}}}}|eingeschränkte Vorschau}}{{#if:|| in der Google-Buchsuche}}{{#ifeq:|US|-USA}}{{#if: 6R9b27imDC8C |{{#invoke: Vorlage:GoogleBook|fine |id=6R9b27imDC8C |errN=Parameter „BuchID“ hat falsche Länge |errC=Parameter „BuchID“ enthält ungültige Zeichen |errH=# in der „BuchID“ |errP=Parameterzuweisungen in der „BuchID“ |class=editoronly |cat={{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}} |template= Vorlage:Google Buch}} }} | {{#ifeq: 0 | 0 | }}}} | {{#ifeq: 0 | 0 | }}}}{{#invoke:TemplatePar|check |all= |opt= Suchbegriff= BuchID= Seite= Band= SeitenID= Hervorhebung= Linktext= Land= KeinText= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}} |template= Vorlage:Google Buch |format= }}{{#if:|{{#if:{{#invoke:WLink|isBracketedLink|{{{Linktext}}}}}|}}}}).

• Christian Karpfinger, Kurt Meyberg: Algebra. Gruppen – Ringe – Körper. Spektrum Akademischer Verlag, Heidelberg 2009, ISBN 978-3-8274-2018-3, S. 253 ff