next up previous contents
Next: Derivative of a real Up: Kohn-Sham equations Previous: Kohn-Sham equations

Basics of the calculus of variations

To derive the Kohn-Sham equations, we must first take the derivative of a functional, which is the basic subject of the calculus of variations. Despite the mystique associated with the calculus of variations, it is really no more complicated than taking derivatives of multi-variable functions. This is because any functional, say F[g(x)], may be viewed as just a function of a large collection of variables, namely the values of its argument function g(x) at each point in space x. One can think of a function g(x) as a (very long) vector of values, one for each value of x, just as we think of a vector tex2html_wrap_inline701 as a set of values tex2html_wrap_inline703 , one for each value of the index i. With this perspective, the points in space x are the analogue of the index i, so that we can think of the function g(x) also as the indexed set of values tex2html_wrap_inline713 .

With this perspective, we see that, just as the first-order variation df of a multi-variable function tex2html_wrap_inline717 with changes in its argument tex2html_wrap_inline701 is given by a sum over the index i

eqnarray149

the variation of the functional F[g(x)] is given by a ``sum'' over the index x,

  eqnarray154

Note that, because x is now a continuous variable, the ``sum'' becomes an integral. also, tex2html_wrap_inline729 is the standard notation for the functional derivative, which we see amounts to taking the partial derivative of F with respect to the value g(x). With this understood, we can take functional derivatives as easily as differentiating a multi-variable function. All of the usual rules still apply, such as the product and chain rules!

As an example, let us consider the functional derivative of tex2html_wrap_inline735 with respect to tex2html_wrap_inline619 . First, we shall carry out the variation formally, and then we shall show how quickly we arrive at the same result by analogy with multi-variable calculus. Applying the formal definition (13) of the functional derivative to tex2html_wrap_inline669 in (11), we find

eqnarray166

from which we may read off the result

  equation177

Alternatively, we note that Eq. (11) is just the integral of the result of applying the function tex2html_wrap_inline667 to each component of tex2html_wrap_inline619 separately. If this were a multi-variable problem, the analogous function would be a sum over the values of a function evaluated separately on each component,

displaymath745

and the derivatives are then

displaymath747

because only the ``i'' term in the sum depends on tex2html_wrap_inline703 . Changing the tex2html_wrap_inline753 symbols to tex2html_wrap_inline755 , replacing q with n and the index i with tex2html_wrap_inline611 , we arrive immediately at precisely (14)!


next up previous contents
Next: Derivative of a real Up: Kohn-Sham equations Previous: Kohn-Sham equations

Tomas Arias
Tue Feb 8 12:49:58 EST 2000