##  [Functional Derivative](/functional-derivative-0) 

 Definition

The linear operator that gives the first-order change in a scalar-valued functional induced by an infinitesimal perturbation of its input function; it generalizes the notion of ordinary derivative to maps from function spaces to scalars.

 

 

 

 

 

 





## Principle

Principle

A functional derivative is defined so that the variation of the functional under a small directional perturbation equals the inner product of that perturbation with the derivative operator to first order; existence of this linear approximation distinguishes Fréchet-differentiability from weaker directional notions.

 

 

 

 

 





## Demonstration

Demonstration

For F[f] = ∫ a^b f(x)^2 dx the functional derivative at f is the function δF/δf(x) = 2 f(x) since F[f+εη] = F[f] + ε ∫ 2 f(x) η(x) dx + o(ε), exhibiting the linear response to the perturbation η.

 

 

 

 

## Misapplication

Misapplication

Treating the functional derivative as a pointwise partial derivative without verifying integrability and the appropriate topology, or applying formulas that assume smoothness in contexts where only directional derivatives exist.

 

 

 

 

 





## Consequence

Consequence

When a functional's derivative vanishes under admissible variations, the argument function is a stationary point and satisfies the associated variational (Euler–Lagrange type) conditions that characterize extremals or equilibria.

 

 

 

 

## Reversal

Reversal

An ordinary derivative of a scalar function with respect to a scalar variable, which measures rate of change along a one-dimensional coordinate rather than a linear response to perturbations in a function argument.

 

 

 

 

 





## Boundary

Boundary

Applies to functionals defined on function spaces with structure (e.g., norms, inner products) that permit linear approximation; excludes maps that are non-differentiable in any Fréchet or Gateaux sense or functionals defined only pointwise without an integral pairing.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Distinction arises between Gateaux (directional) derivatives that exist along specific perturbations and Fréchet derivatives that furnish a uniform linear approximation; the tension is between using weaker directional notions and requiring full linearity and continuity.

 

 

 

 

 





## Synthesis

Synthesis

The functional derivative is the object that linearly maps an infinitesimal change of a function to the first-order change of a scalar functional, providing the foundation for variational equations that identify stationary functions.