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

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

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

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

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

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

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

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

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.