Functional derivative

In the calculus of variations, a field of mathematical analysis, the functional derivative (or variational derivative)^[1] relates a change in a functional to a change in a function that the functional depends on.

In the calculus of variations, functionals are usually expressed in terms of an integral of functions, their arguments, and their derivatives. In an integrand $L$ of a functional, if a function $f$ is varied by adding to it another function $δf$ that is arbitrarily small, and the resulting integrand is expanded in powers of $δf$ , the coefficient of $δf$ in the first order term is called the functional derivative.

For example, consider the functional

J[f] = \int \limits_a^b L[ \, x, f(x), f \, '(x) \, ] \, dx \ ,

where $f' (x) \equiv df/dx$ . If $f$ is varied by adding to it a function $δf$ , and the resulting integrand $L (x, f +δf, f '+δf')$ is expanded in powers of $δf$ , then the change in the value of $J$ to first order in $δf$ can be expressed as follows:^[1]^{[Note 1]}

\delta J = \int_a^b \frac{\delta J}{\delta f(x)} {\delta f(x)} \, dx \, .

The coefficient of $δf(x)$ , denoted as $δJ / δf(x)$ , is called the functional derivative of $J$ with respect to $f$ at the point $x$ .^[2] For this example functional, the functional derivative is the left hand side of the Euler-Lagrange equation,^[3]

\frac{\delta J}{\delta f(x)} = \frac{\part L}{\part f} -\frac{d}{dx} \frac{\part L}{\part f'} \, .

Definition

The functional derivative is defined. Then the functional differential is defined in terms of the functional derivative.

Functional derivative

Given a manifold M representing (continuous/smooth/with certain boundary conditions/etc.) functions ρ and a functional F defined as

F\colon M \rightarrow \mathbb{R} \quad \mbox{or} \quad F\colon M \rightarrow \mathbb{C} \, ,

the functional derivative of $F [$ ρ], denoted $δF/δ$ ρ, is defined by^[4]

\begin{align} \int \frac{\delta F}{\delta\rho}(x) \phi(x) \; dx &= \lim_{\varepsilon\to 0}\frac{F[\rho+\varepsilon \phi]-F[\rho]}{\varepsilon} \\ &= \left [ \frac{d}{d\epsilon}F[\rho+\epsilon \phi]\right ]_{\epsilon=0}, \end{align}

where $\phi$ is an arbitrary function. $\epsilon \phi$ is called the variation of ρ. In other words, $\phi \mapsto \left [ \frac{d}{d\epsilon}F[\rho+\epsilon \phi]\right ]_{\epsilon=0}$ is a linear functional, so by the Riesz representation theorem, this functional is given by integration against some measure. Then $\frac{\delta F}{\delta\rho}$ is defined to be the Radon-Nikodym derivative of this measure. We think of the function $\frac{\delta F}{\delta\rho}$ as the gradient of F at the point ρ and $\int \frac{\delta F}{\delta\rho}(x) \phi(x) \; dx$ as the directional derivative at point ρ in the direction of φ. Then analogous to vector calculus, the inner product with the gradient gives the directional derivative.

Functional differential

The differential (or variation or first variation) of the functional $F$ [ρ] is,^[5] ^{[Note 2]}

\delta F (\rho, \phi)= \int \frac {\delta F} {\delta \rho}(x) \ \phi(x) \ dx \ ,

Heuristically, φ is the change in ρ, so we 'formally' have φ = δρ, and then this is similar in form to the total differential of a function $F$ (ρ₁, ρ₂, ..., ρ_n),

dF = \sum_{i=1} ^n \frac {\partial F} {\partial \rho_i} \ d\rho_i \ ,

where ρ₁, ρ₂, ... , ρ_n are independent variables. Comparing the last two equations, the functional derivative $δF / δ$ ρ $(x)$ has a role similar to that of the partial derivative $\partial F/ \partial$ ρ_i , where the variable of integration $x$ is like a continuous version of the summation index $i$ .^[2]

Formal description

The definition of a functional derivative may be made more mathematically precise and formal by defining the space of functions more carefully. For example, when the space of functions is a Banach space, the functional derivative becomes known as the Fréchet derivative, while one uses the Gâteaux derivative on more general locally convex spaces. Note that the well-known Hilbert spaces are special cases of Banach spaces. The more formal treatment allows many theorems from ordinary calculus and analysis to be generalized to corresponding theorems in functional analysis, as well as numerous new theorems to be stated.

Properties

Like the derivative of a function, the functional derivative satisfies the following properties, where $F$ [ρ] and $G$ [ρ] are functionals:

Linear:^[6]

\frac{\delta(\lambda F + \mu G)[\rho ]}{\delta \rho(x)} = \lambda \frac{\delta F[\rho]}{\delta \rho(x)} + \mu \frac{\delta G[\rho]}{\delta \rho(x)},\ \qquad \lambda,\mu

constant,

Product rule:^[7]

\frac{\delta(FG)[\rho]}{\delta \rho(x)} = \frac{\delta F[\rho]}{\delta \rho(x)} G[\rho] + F[\rho] \frac{\delta G[\rho]}{\delta \rho(x)} \, ,

Chain rules:

f

is a differentiable function, then

\displaystyle\frac{\delta F[f[\rho]] }{\delta\rho(y)} = \int dx \frac{\delta F[f(\rho)]}{\delta f[\rho(x) ]} \ \frac {\delta f[\rho]} {\delta\rho(y)} \ ,

^[8]

\frac{\delta f[ F[\rho]]}{\delta\rho(y)} = \int dx \frac {\delta f[F[\rho]]} {\delta F[\rho(x)]} \ \frac{\delta F[\rho]}{\delta\rho(y)} \, .

^[9]

Determining functional derivatives

We give a formula to determine functional derivatives for a common class of functionals that can be written as the integral of a function and its derivatives. This is a generalization of the Euler–Lagrange equation: indeed, the functional derivative was introduced in physics within the derivation of the Lagrange equation of the second kind from the principle of least action in Lagrangian mechanics (18th century). The first three examples below are taken from density functional theory (20th century), the fourth from statistical mechanics (19th century).

Formula

Given a functional

F[\rho] = \int f( \boldsymbol{r}, \rho(\boldsymbol{r}), \nabla\rho(\boldsymbol{r}) )\, d\boldsymbol{r},

and a function $ϕ$ ( $r$ ) that vanishes on the boundary of the region of integration, from a previous section Definition,

\begin{align} \int \frac{\delta F}{\delta\rho(\boldsymbol{r})} \, \phi(\boldsymbol{r}) \, d\boldsymbol{r} & = \left [ \frac{d}{d\varepsilon} \int f( \boldsymbol{r}, \rho + \varepsilon \phi, \nabla\rho+\varepsilon\nabla\phi )\, d\boldsymbol{r} \right ]_{\varepsilon=0} \\ & = \int \left( \frac{\partial f}{\partial\rho} \, \phi + \frac{\partial f}{\partial\nabla\rho} \cdot \nabla\phi \right) d\boldsymbol{r} \\ & = \int \left[ \frac{\partial f}{\partial\rho} \, \phi + \nabla \cdot \left( \frac{\partial f}{\partial\nabla\rho} \, \phi \right) - \left( \nabla \cdot \frac{\partial f}{\partial\nabla\rho} \right) \phi \right] d\boldsymbol{r} \\ & = \int \left[ \frac{\partial f}{\partial\rho} \, \phi - \left( \nabla \cdot \frac{\partial f}{\partial\nabla\rho} \right) \phi \right] d\boldsymbol{r} \\ & = \int \left( \frac{\partial f}{\partial\rho} - \nabla \cdot \frac{\partial f}{\partial\nabla\rho} \right) \phi(\boldsymbol{r}) \ d\boldsymbol{r} \, . \end{align}

The second line is obtained using the total derivative, where $\partial f / \partial \nabla$ ρ is a derivative of a scalar with respect to a vector.^{[Note 3]} The third line was obtained by use of a product rule for divergence. The fourth line was obtained using the divergence theorem and the condition that $ϕ =0$ on the boundary of the region of integration. Since $ϕ$ is also an arbitrary function, applying the fundamental lemma of calculus of variations to the last line, the functional derivative is

\frac{\delta F}{\delta\rho(\boldsymbol{r})} = \frac{\partial f}{\partial\rho} - \nabla \cdot \frac{\partial f}{\partial\nabla\rho}

where ρ = ρ( $r$ ) and $f = f (r$ , ρ, ∇ρ). This formula is for the case of the functional form given by $F$ [ρ] at the beginning of this section. For other functional forms, the definition of the functional derivative can be used as the starting point for its determination. (See the example Coulomb potential energy functional.)

The above equation for the functional derivative can be generalized to the case that includes higher dimensions and higher order derivatives. The functional would be,

F[\rho(\boldsymbol{r})] = \int f( \boldsymbol{r}, \rho(\boldsymbol{r}), \nabla\rho(\boldsymbol{r}), \nabla^{(2)}\rho(\boldsymbol{r}), \dots, \nabla^{(N)}\rho(\boldsymbol{r}))\, d\boldsymbol{r},

where the vector $r \in ℝ n$ , and $\nabla (i)$ is a tensor whose $n i$ components are partial derivative operators of order $i$ ,

\left [ \nabla^{(i)} \right ]_{\alpha_1 \alpha_2 \cdots \alpha_i} = \frac {\partial^{\, i}} {\partial r_{\alpha_1} \partial r_{\alpha_2} \cdots \partial r_{\alpha_i} } \qquad \qquad \text{where} \quad \alpha_1, \alpha_2, \cdots, \alpha_i = 1, 2, \cdots , n \ .

^{[Note 4]}

An analogous application of the definition of the functional derivative yields

\begin{align} \frac{\delta F[\rho]}{\delta \rho} &{} = \frac{\partial f}{\partial\rho} - \nabla \cdot \frac{\partial f}{\partial(\nabla\rho)} + \nabla^{(2)} \cdot \frac{\partial f}{\partial\left(\nabla^{(2)}\rho\right)} + \dots + (-1)^N \nabla^{(N)} \cdot \frac{\partial f}{\partial\left(\nabla^{(N)}\rho\right)} \\ &{} = \frac{\partial f}{\partial\rho} + \sum_{i=1}^N (-1)^{i}\nabla^{(i)} \cdot \frac{\partial f}{\partial\left(\nabla^{(i)}\rho\right)} \ . \end{align}

In the last two equations, the $n i$ components of the tensor $\frac{\partial f}{\partial\left(\nabla^{(i)}\rho\right)}$ are partial derivatives of $f$ with respect to partial derivatives of ρ,

\left [ \frac {\partial f} {\partial \left (\nabla^{(i)}\rho \right ) } \right ]_{\alpha_1 \alpha_2 \cdots \alpha_i} = \frac {\partial f} {\partial \rho_{\alpha_1 \alpha_2 \cdots \alpha_i} } \qquad \qquad \text{where} \quad \rho_{\alpha_1 \alpha_2 \cdots \alpha_i} \equiv \frac {\partial^{\, i}\rho} {\partial r_{\alpha_1} \, \partial r_{\alpha_2} \cdots \partial r_{\alpha_i} } \ ,

and the tensor scalar product is,

\nabla^{(i)} \cdot \frac{\partial f}{\partial\left(\nabla^{(i)}\rho\right)} = \sum_{\alpha_1, \alpha_2, \cdots, \alpha_i = 1}^n \ \frac {\partial^{\, i} } {\partial r_{\alpha_1} \, \partial r_{\alpha_2} \cdots \partial r_{\alpha_i} } \ \frac {\partial f} {\partial \rho_{\alpha_1 \alpha_2 \cdots \alpha_i} } \ .

^{[Note 5]}

Examples

Thomas–Fermi kinetic energy functional

The Thomas–Fermi model of 1927 used a kinetic energy functional for a noninteracting uniform electron gas in a first attempt of density-functional theory of electronic structure:

T_\mathrm{TF}[\rho] = C_\mathrm{F} \int \rho^{5/3}(\mathbf{r}) \, d\mathbf{r} \, .

Since the integrand of $T TF$ [ρ] does not involve derivatives of ρ $(r)$ , the functional derivative of $T TF$ [ρ] is,^[10]

\begin{align} \frac{\delta T_{\mathrm{TF}}}{\delta \rho (\boldsymbol{r}) } & = C_\mathrm{F} \frac{\partial \rho^{5/3}(\mathbf{r})}{\partial \rho(\mathbf{r})} \\ & = \frac{5}{3} C_\mathrm{F} \rho^{2/3}(\mathbf{r}) \, . \end{align}

Coulomb potential energy functional

For the electron-nucleus potential, Thomas and Fermi employed the Coulomb potential energy functional

V[\rho] = \int \frac{\rho(\boldsymbol{r})}{|\boldsymbol{r}|} \ d\boldsymbol{r}.

Applying the definition of functional derivative,

\begin{align} \int \frac{\delta V}{\delta \rho(\boldsymbol{r})} \ \phi(\boldsymbol{r}) \ d\boldsymbol{r} & {} = \left [ \frac{d}{d\varepsilon} \int \frac{\rho(\boldsymbol{r}) + \varepsilon \phi(\boldsymbol{r})}{|\boldsymbol{r}|} \ d\boldsymbol{r} \right ]_{\varepsilon=0} \\ & {} = \int \frac {1} {|\boldsymbol{r}|} \, \phi(\boldsymbol{r}) \ d\boldsymbol{r} \, . \end{align}

So,

\frac{\delta V}{\delta \rho(\boldsymbol{r})} = \frac{1}{|\boldsymbol{r}|} \ .

For the classical part of the electron-electron interaction, Thomas and Fermi employed the Coulomb potential energy functional

J[\rho] = \frac{1}{2}\iint \frac{\rho(\mathbf{r}) \rho(\mathbf{r}')}{\vert \mathbf{r}-\mathbf{r}' \vert}\, d\mathbf{r} d\mathbf{r}' \, .

From the definition of the functional derivative,

\begin{align} \int \frac{\delta J}{\delta\rho(\boldsymbol{r})} \phi(\boldsymbol{r})d\boldsymbol{r} & {} = \left [ \frac {d \ }{d\epsilon} \, J[\rho + \epsilon\phi] \right ]_{\epsilon = 0} \\ & {} = \left [ \frac {d \ }{d\epsilon} \, \left ( \frac{1}{2}\iint \frac {[\rho(\boldsymbol{r}) + \epsilon \phi(\boldsymbol{r})] \, [\rho(\boldsymbol{r}') + \epsilon \phi(\boldsymbol{r}')] }{\vert \boldsymbol{r}-\boldsymbol{r}' \vert}\, d\boldsymbol{r} d\boldsymbol{r}' \right ) \right ]_{\epsilon = 0} \\ & {} = \frac{1}{2}\iint \frac {\rho(\boldsymbol{r}') \phi(\boldsymbol{r}) }{\vert \boldsymbol{r}-\boldsymbol{r}' \vert}\, d\boldsymbol{r} d\boldsymbol{r}' + \frac{1}{2}\iint \frac {\rho(\boldsymbol{r}) \phi(\boldsymbol{r}') }{\vert \boldsymbol{r}-\boldsymbol{r}' \vert}\, d\boldsymbol{r} d\boldsymbol{r}' \\ \end{align}

The first and second terms on the right hand side of the last equation are equal, since $r$ and $r'$ in the second term can be interchanged without changing the value of the integral. Therefore,

\int \frac{\delta J}{\delta\rho(\boldsymbol{r})} \phi(\boldsymbol{r})d\boldsymbol{r} = \int \left ( \int \frac {\rho(\boldsymbol{r}') }{\vert \boldsymbol{r}-\boldsymbol{r}' \vert} d\boldsymbol{r}' \right ) \phi(\boldsymbol{r}) d\boldsymbol{r}

and the functional derivative of the electron-electron coulomb potential energy functional $J$ [ρ] is,^[11]

\frac{\delta J}{\delta\rho(\boldsymbol{r})} = \int \frac {\rho(\boldsymbol{r}') }{\vert \boldsymbol{r}-\boldsymbol{r}' \vert} d\boldsymbol{r}' \, .

The second functional derivative is

\frac{\delta^2 J[\rho]}{\delta \rho(\mathbf{r}')\delta\rho(\mathbf{r})} = \frac{\partial}{\partial \rho(\mathbf{r}')} \left ( \frac{\rho(\mathbf{r}')}{\vert \mathbf{r}-\mathbf{r}' \vert} \right ) = \frac{1}{\vert \mathbf{r}-\mathbf{r}' \vert}.

Weizsäcker kinetic energy functional

In 1935 von Weizsäcker proposed to add a gradient correction to the Thomas-Fermi kinetic energy functional to make it suit better a molecular electron cloud:

T_\mathrm{W}[\rho] = \frac{1}{8} \int \frac{\nabla\rho(\mathbf{r}) \cdot \nabla\rho(\mathbf{r})}{ \rho(\mathbf{r}) } d\mathbf{r} = \int t_\mathrm{W} \ d\mathbf{r} \, ,

where

t_\mathrm{W} \equiv \frac{1}{8} \frac{\nabla\rho \cdot \nabla\rho}{ \rho } \qquad \text{and} \ \ \rho = \rho(\boldsymbol{r}) \ .

Using a previously derived formula for the functional derivative,

\begin{align} \frac{\delta T_\mathrm{W}}{\delta \rho(\boldsymbol{r})} & = \frac{\partial t_\mathrm{W}}{\partial \rho} - \nabla\cdot\frac{\partial t_\mathrm{W}}{\partial \nabla \rho} \\ & = -\frac{1}{8}\frac{\nabla\rho \cdot \nabla\rho}{\rho^2} - \left ( \frac {1}{4} \frac {\nabla^2\rho} {\rho} - \frac {1}{4} \frac {\nabla\rho \cdot \nabla\rho} {\rho^2} \right ) \qquad \text{where} \ \ \nabla^2 = \nabla \cdot \nabla \ , \end{align}

and the result is,^[12]

\frac{\delta T_\mathrm{W}}{\delta \rho(\boldsymbol{r})} = \ \ \, \frac{1}{8}\frac{\nabla\rho \cdot \nabla\rho}{\rho^2} - \frac{1}{4}\frac{\nabla^2\rho}{\rho} \ .

Entropy

The entropy of a discrete random variable is a functional of the probability mass function.

\begin{align} H[p(x)] = -\sum_x p(x) \log p(x) \end{align}

Thus,

\begin{align} \sum_x \frac{\delta H}{\delta p(x)} \, \phi(x) & {} = \left[ \frac{d}{d\epsilon} H[p(x) + \epsilon\phi(x)] \right]_{\epsilon=0}\\ & {} = \left [- \, \frac{d}{d\varepsilon} \sum_x \, [p(x) + \varepsilon\phi(x)] \ \log [p(x) + \varepsilon\phi(x)] \right]_{\varepsilon=0} \\ & {} = \displaystyle -\sum_x \, [1+\log p(x)] \ \phi(x) \, . \end{align}

Thus,

\frac{\delta H}{\delta p(x)} = -1-\log p(x).

Exponential

Let

F[\varphi(x)]= e^{\int \varphi(x) g(x)dx}.

Using the delta function as a test function,

\begin{align} \frac{\delta F[\varphi(x)]}{\delta \varphi(y)} & {} = \lim_{\varepsilon\to 0}\frac{F[\varphi(x)+\varepsilon\delta(x-y)]-F[\varphi(x)]}{\varepsilon}\\ & {} = \lim_{\varepsilon\to 0}\frac{e^{\int (\varphi(x)+\varepsilon\delta(x-y)) g(x)dx}-e^{\int \varphi(x) g(x)dx}}{\varepsilon}\\ & {} = e^{\int \varphi(x) g(x)dx}\lim_{\varepsilon\to 0}\frac{e^{\varepsilon \int \delta(x-y) g(x)dx}-1}{\varepsilon}\\ & {} = e^{\int \varphi(x) g(x)dx}\lim_{\varepsilon\to 0}\frac{e^{\varepsilon g(y)}-1}{\varepsilon}\\ & {} = e^{\int \varphi(x) g(x)dx}g(y). \end{align}

Thus,

\frac{\delta F[\varphi(x)]}{\delta \varphi(y)} = g(y) F[\varphi(x)].

This is particularly useful in calculating the correlation functions from the partition function in quantum field theory.

Functional derivative of a function

A function can be written in the form of an integral like a functional. For example,

\rho(\boldsymbol{r}) = F[\rho] = \int \rho(\boldsymbol{r}') \delta(\boldsymbol{r}-\boldsymbol{r}')\, d\boldsymbol{r}'.

Since the integrand does not depend on derivatives of ρ, the functional derivative of ρ $(r)$ is,

\begin{align} \frac {\delta \rho(\boldsymbol{r})} {\delta\rho(\boldsymbol{r}')} \equiv \frac {\delta F} {\delta\rho(\boldsymbol{r}')} & = \frac{\partial \ \ }{\partial \rho(\boldsymbol{r}')} \, [\rho(\boldsymbol{r}') \delta(\boldsymbol{r}-\boldsymbol{r}')] \\ & = \delta(\boldsymbol{r}-\boldsymbol{r}'). \end{align}

Using the delta function as a test function

In physics, it's common to use the Dirac delta function $\delta(x-y)$ in place of a generic test function $\phi(x)$ , for yielding the functional derivative at the point $y$ (this is a point of the whole functional derivative as a partial derivative is a component of the gradient):

\frac{\delta F[\rho(x)]}{\delta \rho(y)}=\lim_{\varepsilon\to 0}\frac{F[\rho(x)+\varepsilon\delta(x-y)]-F[\rho(x)]}{\varepsilon}.

This works in cases when $F[\rho(x)+\varepsilon f(x)]$ formally can be expanded as a series (or at least up to first order) in $\varepsilon$ . The formula is however not mathematically rigorous, since $F[\rho(x)+\varepsilon\delta(x-y)]$ is usually not even defined.

The definition given in a previous section is based on a relationship that holds for all test functions $ϕ$ , so one might think that it should hold also when $ϕ$ is chosen to be a specific function such as the delta function. However, the latter is not a valid test function.

In the definition, the functional derivative describes how the functional $F[\varphi(x)]$ changes as a result of a small change in the entire function $\varphi(x)$ . The particular form of the change in $\varphi(x)$ is not specified, but it should stretch over the whole interval on which $x$ is defined. Employing the particular form of the perturbation given by the delta function has the meaning that $\varphi(x)$ is varied only in the point $y$ . Except for this point, there is no variation in $\varphi(x)$ .

Notes

↑ According to Giaquinta & Hildebrandt (1996, p. 18), this notation is customary in physical literature.
↑ Called differential in (Parr & Yang 1989, p. 246), variation or first variation in (Courant & Hilbert 1953, p. 186), and variation or differential in (Gelfand & Fomin 2000, p. 11, § 3.2).
↑ For a three-dimensional cartesian coordinate system,
$\begin{align} \frac{\partial f}{\partial\nabla\rho} = \frac{\partial f}{\partial\rho_x} \mathbf{\hat{i}} + \frac{\partial f}{\partial\rho_y} \mathbf{\hat{j}} + \frac{\partial f}{\partial\rho_z} \mathbf{\hat{k}}\, , \qquad & \text{where} \ \rho_x = \frac{\partial \rho}{\partial x}\, , \ \rho_y = \frac{\partial \rho}{\partial y}\, , \ \rho_z = \frac{\partial \rho}{\partial z}\, \\ & \text{and} \ \ \mathbf{\hat{i}}, \ \mathbf{\hat{j}}, \ \mathbf{\hat{k}} \ \ \text {are unit vectors along the x, y, z axes.} \end{align}$
↑ For example, for the case of three dimensions ( $n = 3$ ) and second order derivatives ( $i = 2$ ), the tensor $\nabla (2)$ has components,
$\left [ \nabla^{(2)} \right ]_{\alpha \beta} = \frac {\partial^{\,2}} {\partial r_{\alpha} \, \partial r_{\beta}} \qquad \qquad \text{where} \quad \alpha, \beta = 1, 2, 3 \, .$
↑ For example, for the case $n = 3$ and $i = 2$ , the tensor scalar product is,
$\nabla^{(2)} \cdot \frac{\partial f}{\partial\left(\nabla^{(2)}\rho\right)} = \sum_{\alpha, \beta = 1}^3 \ \frac {\partial^{\, 2} } {\partial r_{\alpha} \, \partial r_{\beta} } \ \frac {\partial f} {\partial \rho_{\alpha \beta} } \qquad \text{where} \ \ \rho_{\alpha \beta} \equiv \frac {\partial^{\, 2}\rho} {\partial r_{\alpha} \, \partial r_{\beta} } \ .$

Footnotes

↑ 1.0 1.1 (Giaquinta & Hildebrandt 1996, p. 18)
↑ 2.0 2.1 (Parr & Yang 1989, p. 246).
↑ (Gelfand & Fomin 2000, p. 28)
↑ (Parr & Yang 1989, p. 246, Eq. A.2).
↑ (Parr & Yang 1989, p. 246, Eq. A.1).
↑ (Parr & Yang 1989, p. 247, Eq. A.3).
↑ (Parr & Yang 1989, p. 247, Eq. A.4).
↑ (Greiner & Reinhardt 1996, p. 38, Eq. 7).
↑ (Parr & Yang 1989, p. 251, Eq. A.34).
↑ (Parr & Yang 1989, p. 247, Eq. A.6).
↑ (Parr & Yang 1989, p. 248, Eq. A.11).
↑ (Parr & Yang 1989, p. 247, Eq. A.9).

References

Courant, Richard; Hilbert, David (1953). "Chapter IV. The Calculus of Variations". Methods of Mathematical Physics. Vol. I (First English ed.). New York, New York: Interscience Publishers, Inc. pp. 164–274. ISBN 978-0471504474. MR 0065391. Zbl 0001.00501. .
Frigyik, Béla A.; Srivastava, Santosh; Gupta, Maya R. (January 2008), Introduction to Functional Derivatives, UWEE Tech Report, UWEETR-2008-0001, Seattle, WA: Department of Electrical Engineering at the University of Washington, p. 7 .
Gelfand, I. M.; Fomin, S. V. (2000) [1963], Calculus of variations, translated and edited by Richard A. Silverman (Revised English ed.), Mineola, N.Y.: Dover Publications, ISBN 978-0486414485, MR 0160139, Zbl 0127.05402 .
Giaquinta, Mariano; Hildebrandt, Stefan (1996), Calculus of Variations 1. The Lagrangian Formalism, Grundlehren der Mathematischen Wissenschaften 310 (1st ed.), Berlin: Springer-Verlag, ISBN 3-540-50625-X, MR 1368401, Zbl 0853.49001 .
Greiner, Walter; Reinhardt, Joachim (1996), "Section 2.3 – Functional derivatives", Field quantization, With a foreword by D. A. Bromley, Berlin–Heidelberg–New York: Springer-Verlag, pp. 36–38, ISBN 3-540-59179-6, MR 1383589, Zbl 0844.00006 .
Parr, R. G.; Yang, W. (1989). "Appendix A, Functionals". Density-Functional Theory of Atoms and Molecules. New York: Oxford University Press. pp. 246–254. ISBN 978-0195042795.

External links

Hazewinkel, Michiel, ed. (2001), "Functional derivative", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

Functional analysis

Set / subset types	Absolutely convex Absorbing Balanced Bounded Convex Radial Star-shaped Symmetric Linear cone (subset) Convex cone (subset)

TVS types	Banach Barrelled Bornological Brauner F-space Finite-dimensional Fréchet (tame) Hilbert LF-space Locally convex Mackey Montel Nuclear Normed (norm) Quasinormed Reflexive Riesz Smith Stereotype Webbed Topological tensor product (of Hilbert spaces)

Mapping topologies	Dual Dual space Operator Strong (polar operator) Ultrastrong Weak (operator) Ultraweak Uniform convergence

Linear operators	Adjoint Bilinear (form) Bounded / Unbounded Closed Continuous / Discontinuous Compact Fredholm Hilbert–Schmidt Functionals (positive) Normal Nuclear Self-adjoint Strictly singular Trace class Transpose Unitary

Set operations	Algebraic interior (core) Interior Minkowski addition Polar

Banach algebras	C-algebras Spectrum (C-algebra radius) Spectral theory

Theorems	Banach–Alaoglu Banach–Saks Banach–Mazur Bessel's inequality Cauchy–Schwarz inequality Closed range Closed graph Eberlein–Šmulian Freudenthal spectral Gelfand–Mazur Goldstine Hahn–Banach (hyperplane separation) Kakutani fixed-point Lomonosov's invariant subspace Mackey–Arens Mazur's lemma M. Riesz extension Open mapping Parseval's identity Schauder fixed-point

Analysis	Bochner space Differentiation in Fréchet spaces Derivatives (Fréchet Gâteaux functional holomorphic) Integrals (Bochner Dunford Gelfand–Pettis regulated weak) Functional calculus (Borel continuous holomorphic) Inverse function theorem (Nash–Moser theorem) Vector measure