The functional derivative is a generalized directional derivative of a functional. A functional is a mapping that assigns a number to a function. Because the underlying vector space in this case is a function space , “in the direction of a function” is derived. A related concept is the first variation .
The functional derivation is relevant in applied mathematics and theoretical physics . There it is used, among other things, in density functional theory and field theory .
definition
Be a function space over ; a (linear or non-linear) functional with or ; a function and . Furthermore, denote a space of test functions above . Be in the following .
Ω
(
D.
)
{\ displaystyle \ Omega (D)}
D.
⊂
R.
n
{\ displaystyle D \ subset \ mathbb {R} ^ {n}}
F.
:
Ω
→
K
{\ displaystyle F \ colon \ Omega \ rightarrow \ mathbb {K}}
K
=
R.
{\ displaystyle \ mathbb {K} = \ mathbb {R}}
K
=
C.
{\ displaystyle \ mathbb {K} = \ mathbb {C}}
y
∈
Ω
(
D.
)
{\ displaystyle y \ in \ Omega (D)}
ε
∈
R.
{\ displaystyle \ varepsilon \ in \ mathbb {R}}
D.
(
Ω
)
: =
{
H
∈
Ω
(
D.
)
∣
H
(
∂
D.
)
=
0
}
{\ displaystyle {\ mathcal {D}} (\ Omega): = \ left \ {h \ in \ Omega (D) \ mid h (\ partial D) = 0 \ right \}}
Ω
{\ displaystyle \ Omega}
H
∈
D.
(
Ω
)
{\ displaystyle h \ in {\ mathcal {D}} (\ Omega)}
As a functional derivative
f
(
x
)
=
δ
F.
[
y
]
δ
y
(
x
)
{\ displaystyle f (x) = {\ frac {\ delta F [y]} {\ delta y (x)}}}
from one defines the function (or distribution ) which the equation
F.
{\ displaystyle F}
f
{\ displaystyle f}
∀
H
∈
D.
(
Ω
)
:
⟨
f
,
H
⟩
Ω
(
D.
)
=
∫
D.
f
(
x
)
H
(
x
)
d
x
=
lim
ε
→
0
F.
[
y
+
ε
H
]
-
F.
[
y
]
ε
=
d
d
ε
F.
[
y
+
ε
H
]
|
ε
=
0
{\ displaystyle \ forall h \ in {\ mathcal {D}} (\ Omega): \ langle f, h \ rangle _ {\ Omega (D)} = \ int _ {D} f (x) h (x) dx = \ lim _ {\ varepsilon \ to 0} {\ frac {F [y + \ varepsilon h] -F [y]} {\ varepsilon}} = {\ frac {d} {d \ varepsilon}} F [y + \ varepsilon h] {\ bigg \ vert} _ {\ varepsilon = 0}}
Fulfills.
The functional derivation plays the role of a gradient , which is to be expressed by the notation .
δ
δ
y
(
x
)
{\ displaystyle {\ tfrac {\ delta} {\ delta y (x)}}}
properties
The functional derivation is a linear map:
δ
δ
y
(
x
)
(
α
F.
[
y
]
+
β
G
[
y
]
)
=
α
δ
F.
[
y
]
δ
y
(
x
)
+
β
δ
G
[
y
]
δ
y
(
x
)
{\ displaystyle {\ frac {\ delta} {\ delta y (x)}} (\ alpha F [y] + \ beta G [y]) = \ alpha {\ frac {\ delta F [y]} {\ delta y (x)}} + \ beta {\ frac {\ delta G [y]} {\ delta y (x)}}}
The product rule applies to a functional product:
H
[
y
]
=
F.
[
y
]
G
[
y
]
{\ displaystyle H [y] = F [y] G [y]}
δ
δ
y
(
x
)
(
F.
[
y
]
G
[
y
]
)
=
F.
[
y
]
δ
G
[
y
]
δ
y
(
x
)
+
δ
F.
[
y
]
δ
y
(
x
)
G
[
y
]
{\ displaystyle {\ frac {\ delta} {\ delta y (x)}} (F [y] G [y]) = F [y] {\ frac {\ delta G [y]} {\ delta y ( x)}} + {\ frac {\ delta F [y]} {\ delta y (x)}} G [y]}
The chain rule applies to local functionals :
F.
[
y
]
=
∫
R.
G
(
y
(
x
)
)
d
x
{\ displaystyle F [y] = \ int _ {\ mathbb {R}} g (y (x)) dx}
δ
F.
[
y
]
δ
y
(
x
)
=
G
′
(
y
(
x
)
)
{\ displaystyle {\ frac {\ delta F [y]} {\ delta y (x)}} = g ^ {\ prime} (y (x))}
If the functional has the form , then:
F.
[
y
]
=
∫
R.
G
(
y
′
(
x
)
)
d
x
{\ displaystyle F [y] = \ int _ {\ mathbb {R}} g (y ^ {\ prime} (x)) dx}
δ
F.
[
y
]
δ
y
(
x
)
=
-
G
′
′
(
y
′
(
x
)
)
y
′
′
(
x
)
{\ displaystyle {\ frac {\ delta F [y]} {\ delta y (x)}} = - g ^ {\ prime \ prime} (y ^ {\ prime} (x)) y ^ {\ prime \ prime} (x)}
If the functional is linear in form , then the functional derivation is particularly simple:
F.
[
y
]
=
∫
R.
y
(
x
)
G
(
x
)
d
x
{\ displaystyle F [y] = \ int _ {\ mathbb {R}} y (x) g (x) dx}
δ
F.
[
y
]
δ
y
(
x
)
=
G
(
x
)
{\ displaystyle {\ frac {\ delta F [y]} {\ delta y (x)}} = g (x)}
Corollary: If is linear, then is . This is also a consequence of the Fréchet-Riesz representation theorem : Because there is a linear functional here, it can be represented as a scalar product .
F.
{\ displaystyle F}
F.
[
y
]
=
∫
R.
y
(
x
)
δ
F.
[
y
]
δ
y
(
x
)
d
x
{\ displaystyle F [y] = \ int _ {\ mathbb {R}} y (x) {\ frac {\ delta F [y]} {\ delta y (x)}} dx}
F.
{\ displaystyle F}
⟨
y
,
δ
F.
[
y
]
δ
y
⟩
{\ displaystyle \ left \ langle y, {\ frac {\ delta F [y]} {\ delta y}} \ right \ rangle}
Examples
The non-linear functional has the functional derivative , as can easily be shown with the help of the definition:
F.
[
y
]
=
∫
R.
y
(
x
)
2
G
(
x
)
d
x
{\ displaystyle F [y] = \ int _ {\ mathbb {R}} y (x) ^ {2} g (x) dx}
δ
F.
[
y
]
δ
y
(
x
)
=
2
y
(
x
)
G
(
x
)
{\ displaystyle {\ frac {\ delta F [y]} {\ delta y (x)}} = 2y (x) g (x)}
∫
R.
δ
F.
[
y
]
δ
y
(
x
)
H
(
x
)
d
x
=
lim
ε
→
0
1
ε
(
F.
[
y
+
ε
H
]
-
F.
[
y
]
)
=
lim
ε
→
0
1
ε
(
∫
R.
(
y
(
x
)
+
ε
H
(
x
)
)
2
G
(
x
)
d
x
-
∫
R.
y
(
x
)
2
G
(
x
)
d
x
)
=
lim
ε
→
0
1
ε
∫
R.
2
y
(
x
)
ε
H
(
x
)
G
(
x
)
+
ε
2
H
(
x
)
2
G
(
x
)
d
x
=
∫
R.
2
y
(
x
)
G
(
x
)
H
(
x
)
d
x
{\ displaystyle {\ begin {aligned} \ int _ {\ mathbb {R}} {\ frac {\ delta F [y]} {\ delta y (x)}} h (x) dx & = \ lim _ {\ varepsilon \ to 0} {\ frac {1} {\ varepsilon}} (F [y + \ varepsilon h] -F [y]) \\ & = \ lim _ {\ varepsilon \ to 0} {\ frac {1} {\ varepsilon}} \ left (\ int _ {\ mathbb {R}} (y (x) + \ varepsilon h (x)) ^ {2} g (x) dx- \ int _ {\ mathbb {R} } y (x) ^ {2} g (x) dx \ right) \\ & = \ lim _ {\ varepsilon \ to 0} {\ frac {1} {\ varepsilon}} \ int _ {\ mathbb {R }} 2y (x) \ varepsilon h (x) g (x) + \ varepsilon ^ {2} h (x) ^ {2} g (x) dx \\ & = \ int _ {\ mathbb {R}} 2y (x) g (x) h (x) dx \ end {aligned}}}
Since this is for all test functions must apply it concludes .
H
{\ displaystyle h}
δ
F.
[
y
]
δ
y
(
x
)
=
2
y
(
x
)
G
(
x
)
{\ displaystyle {\ frac {\ delta F [y]} {\ delta y (x)}} = 2y (x) g (x)}
Another example comes from density functional theory. In the LDA approximation , there is the exchange energy
E.
x
[
ϱ
]
: =
c
∫
R.
ϱ
(
r
)
4th
/
3
d
3
r
{\ displaystyle E_ {x} [\ varrho]: = c \ int _ {\ mathbb {R}} \ varrho (r) ^ {4/3} d ^ {3} r}
a functional of density . The associated exchange potential is
ϱ
{\ displaystyle \ varrho}
V
x
(
r
)
: =
δ
E.
x
[
ϱ
]
δ
ϱ
(
r
)
=
c
4th
3
ϱ
(
r
)
1
/
3
{\ displaystyle V_ {x} (r): = {\ frac {\ delta E_ {x} [\ varrho]} {\ delta \ varrho (r)}} = c {\ frac {4} {3}} \ varrho (r) ^ {1/3}}
.
Another multidimensional example from density functional theory is the electron-electron interaction as a functional of the density :
F.
{\ displaystyle F}
ϱ
{\ displaystyle \ varrho}
F.
[
ϱ
]
=
k
2
∬
R.
6th
ϱ
(
r
)
ϱ
(
r
′
)
|
r
-
r
′
|
d
r
d
r
′
.
{\ displaystyle F [\ varrho] = {\ frac {k} {2}} \ iint _ {\ mathbb {R} ^ {6}} {\ frac {\ varrho (\ mathbf {r}) \ varrho (\ mathbf {r} ')} {\ vert \ mathbf {r} - \ mathbf {r}' \ vert}} \, d \ mathbf {r} d \ mathbf {r} '\ ,.}
We do the math:
∫
R.
3
δ
F.
[
ϱ
]
δ
ϱ
(
r
)
H
(
r
)
d
r
=
lim
ε
→
0
1
ε
(
F.
[
ϱ
+
ε
H
]
-
F.
[
ϱ
]
)
=
lim
ε
→
0
1
ε
k
2
(
∬
R.
6th
[
ϱ
(
r
)
+
ϵ
H
(
r
)
]
[
ϱ
(
r
′
)
+
ϵ
H
(
r
′
)
]
|
r
-
r
′
|
d
r
d
r
′
-
∬
R.
6th
ρ
(
r
)
ρ
(
r
′
)
|
r
-
r
′
|
d
r
d
r
′
)
=
k
2
∬
R.
6th
ϱ
(
r
′
)
H
(
r
)
|
r
-
r
′
|
d
r
d
r
′
+
k
2
∬
R.
6th
ϱ
(
r
)
H
(
r
′
)
|
r
-
r
′
|
d
r
d
r
′
=
2
k
2
∬
R.
6th
ϱ
(
r
′
)
H
(
r
)
|
r
-
r
′
|
d
r
′
d
r
=
∫
R.
3
(
k
∫
R.
3
ϱ
(
r
′
)
|
r
-
r
′
|
d
r
′
)
H
(
r
)
d
r
{\ displaystyle {\ begin {aligned} \ int _ {\ mathbb {R} ^ {3}} {\ frac {\ delta F [\ varrho]} {\ delta \ varrho (\ mathbf {r})}} h (\ mathbf {r}) d {\ boldsymbol {r}} & = \ lim _ {\ varepsilon \ to 0} {\ frac {1} {\ varepsilon}} (F [\ varrho + \ varepsilon h] -F [\ varrho]) \\ & = \ lim _ {\ varepsilon \ to 0} {\ frac {1} {\ varepsilon}} {\ frac {k} {2}} \ left (\ iint _ {\ mathbb { R} ^ {6}} {\ frac {[\ varrho ({\ varrho ({\ varvec {r}}) + \ epsilon h ({\ varvec {r}})] \, [\ varrho ({\ varvec {r}} ') + \ epsilon h ({\ varvec {r}}')]} {\ vert {\ varvec {r}} - {\ varvec {r}} '\ vert}} \, d {\ varvec {r} } d {\ varvec {r}} '- \ iint _ {\ mathbb {R} ^ {6}} {\ frac {\ rho ({\ varvec {r}}) \, \ rho ({\ varvec {r }} ')} {\ vert {\ varvec {r}} - {\ varvec {r}}' \ vert}} \, d {\ varvec {r}} d {\ varvec {r}} '\ right) \\ & = {\ frac {k} {2}} \ iint _ {\ mathbb {R} ^ {6}} {\ frac {\ varrho ({\ boldsymbol {r}} ') h ({\ boldsymbol { r}})} {\ vert {\ varvec {r}} - {\ varvec {r}} '\ vert}} \, d {\ varvec {r}} d {\ varvec {r}}' + {\ frac {k} {2}} \ iint _ {\ mathbb {R} ^ {6}} {\ frac {\ varrho ({\ varvec {r}}) h ({\ varvec {r}} ')} {\ vert {\ varvec {r}} - {\ varvec {r}}' \ vert}} \, d {\ varvec {r}} d {\ boldsymbol {r}} '\\ & = {\ frac {2k} {2}} \ iint _ {\ mathbb {R} ^ {6}} {\ frac {\ varrho ({\ boldsymbol {r} } ') h ({\ varvec {r}})} {\ vert {\ varvec {r}} - {\ varvec {r}}' \ vert}} \, d {\ varvec {r}} 'd { \ boldsymbol {r}} \\ & = \ int _ {\ mathbb {R} ^ {3}} \ left (k \ int _ {\ mathbb {R} ^ {3}} {\ frac {\ varrho ({ \ varvec {r}} ')} {\ vert {\ varvec {r}} - {\ varvec {r}}' \ vert}} \, d {\ varvec {r}} '\ right) h ({\ boldsymbol {r}}) d {\ boldsymbol {r}} \ end {aligned}}}
Since this is for all test functions must apply, we deduce the well-known result .
H
{\ displaystyle h}
δ
F.
[
y
]
δ
ϱ
(
r
)
=
k
∫
R.
3
ϱ
(
r
′
)
|
r
-
r
′
|
d
r
′
{\ displaystyle {\ frac {\ delta F [y]} {\ delta \ varrho ({\ boldsymbol {r}})}} = k \ int _ {\ mathbb {R} ^ {3}} {\ frac { \ varrho ({\ varvec {r}} ')} {\ vert {\ varvec {r}} - {\ varrho {r}}' \ vert}} d {\ varvec {r}} '}
The following example is useful in quantum field theory to calculate correlation functions from sums of state. That is functional
F.
[
y
]
=
e
∫
R.
y
(
x
)
G
(
x
)
d
x
.
{\ displaystyle F [y] = e ^ {\ int _ {\ mathbb {R}} y (x) g (x) dx}.}
With the help of the limit it is easy to show:
lim
ε
→
0
e
ε
a
-
1
ε
=
lim
ε
→
0
1
+
ε
a
+
ε
2
2
a
2
+
.
.
.
-
1
ε
=
a
{\ displaystyle \ lim _ {\ varepsilon \ to 0} {\ frac {e ^ {\ varepsilon a} -1} {\ varepsilon}} = \ lim _ {\ varepsilon \ to 0} {\ frac {1+ \ varepsilon a + {\ frac {\ varepsilon ^ {2}} {2}} a ^ {2} + ...- 1} {\ varepsilon}} = a}
δ
F.
[
y
]
δ
y
(
x
)
=
e
∫
R.
y
(
x
)
G
(
x
)
d
x
G
(
x
)
=
F.
[
y
]
G
(
x
)
.
{\ displaystyle {\ frac {\ delta F [y]} {\ delta y (x)}} = e ^ {\ int _ {\ mathbb {R}} y (x) g (x) dx} g (x ) = F [y] g (x).}
It also allows distributions to, it can be a function using the Dirac delta function written as functional: . With that in mind is
f
{\ displaystyle f}
f
(
x
)
=
F.
x
[
f
]
: =
∫
R.
f
(
y
)
δ
(
x
-
y
)
d
y
{\ displaystyle f (x) = F_ {x} [f]: = \ int _ {\ mathbb {R}} f (y) \ delta (xy) dy}
δ
f
(
x
)
δ
f
(
y
)
=
δ
(
x
-
y
)
{\ displaystyle {\ frac {\ delta f (x)} {\ delta f (y)}} = \ delta (xy)}
.
Relation to the first variation
This article or section needs to be revised. Details should be given on the
talk page.
Please help to improve it , and then remove this flag.
While the first variation is the Gâteaux differential of a functional at the point in the direction of a function , the functional derivative corresponds to the Fréchet derivative of the functional at the point . If Fréchet is differentiable, then Gâteaux is also differentiable and the Fréchet derivative corresponds to the Gâteaux derivative. The reverse is generally not true. For details see the connection between the Fréchet and Gâteaux derivation .
F.
{\ displaystyle F}
y
{\ displaystyle y}
H
{\ displaystyle h}
F.
{\ displaystyle F}
y
{\ displaystyle y}
F.
{\ displaystyle F}
F.
{\ displaystyle F}
See also
Individual evidence
↑ a b c d R. G. Parr, W. Yang Appendix A, Functionals. In: Density-Functional Theory of Atoms and Molecules . Oxford University Press, New York 1989, ISBN 978-0195042795 , pp. 246-254
↑ a b c d Michael J. Gruber, University of Hanover, functional derivatives "in a nutshell" , accessed on April 7, 2016
↑ Klaus Capelle, A bird's-eye view of density-functional theory , Version 5, November 2006, equation (83)
<img src="https://de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">