Der lineare Operator, der die Änderung erster Ordnung eines skalarwertigen Funktionals angibt, die durch eine infinitesimale Störung seiner Eingabefunktion hervorgerufen wird; er verallgemeinert den Begriff der gewöhnlichen Ableitung auf Abbildungen von Funktionenräumen in Skalare.

Prinzip

Die funktionale Ableitung ist so definiert, dass die Variation des Funktionals unter einer kleinen richtungsgebundenen Störung dem inneren Produkt dieser Störung mit dem Ableitungsoperator bis zur ersten Ordnung entspricht; das Vorhandensein dieser linearen Approximation unterscheidet Fréchet-Differenzierbarkeit von schwächeren richtungsbezogenen Begriffen.

Demonstration

Für F[f] = ∫_a^b f(x)^2 dx ist die funktionale Ableitung an f die Funktion δF/δf(x) = 2 f(x), da F[f+εη] = F[f] + ε ∫ 2 f(x) η(x) dx + o(ε) gilt und damit die lineare Antwort auf die Störung η sichtbar wird.

Fehlanwendung

Die funktionale Ableitung als punktweise partielle Ableitung zu behandeln, ohne Integrabilität und die geeignete Topologie zu prüfen, oder Formeln anzuwenden, die Glattheit voraussetzen, in Kontexten, in denen nur richtungsbezogene Ableitungen existieren.

Konsequenz

Wenn die Ableitung eines Funktionals unter zulässigen Variationen verschwindet, ist die betrachtete Funktion ein stationärer Punkt und erfüllt die zugehörigen variationalen (Euler–Lagrange-ähnlichen) Bedingungen, die Extremale oder Gleichgewichte kennzeichnen.

Umkehrung

Die gewöhnliche Ableitung einer skalaren Funktion nach einer skalaren Variablen, die die Änderungsrate entlang einer eindimensionalen Koordinate misst, anstatt die lineare Antwort auf Störungen eines Funktionsarguments.

Abgrenzung

Gilt für Funktionale, die auf Funktionsräumen mit Struktur (z. B. Normen, Skalarprodukte) definiert sind und eine lineare Approximation zulassen; schließt Abbildungen aus, die in keinem Fréchet- oder Gateaux-Sinn differenzierbar sind, sowie Funktionale, die nur punktweise ohne integrales Kopplungsprinzip definiert sind.

Semantische Spannung

Die Unterscheidung entsteht zwischen Gateaux-(Richtungs-)Ableitungen, die entlang bestimmter Störungen existieren, und Fréchet-Ableitungen, die eine gleichmäßige lineare Approximation liefern; die Spannung liegt in der Wahl zwischen schwächeren richtungsbezogenen Begriffen und der Forderung nach voller Linearität und Stetigkeit.

Synthese

Die funktionale Ableitung ist das Objekt, das infinitesimale Änderungen einer Funktion linear auf die Änderung erster Ordnung eines skalarwertigen Funktionals abbildet und die Grundlage für variationale Gleichungen bildet, die stationäre Funktionen identifizieren.