# Talk:Functional derivative

> Another definition is in terms of a limit and the Dirac delta function, δ:

But in general, F is a functional which is only defined over continuous/smooth functions. φ(x)+εδ(x-y) does not even count as a function. It's a distribution. Phys 22:03, 3 Dec 2004 (UTC)

Yes, I think that it should be noted that some physicians write the definition as above, but that it isn't a mathematically correct definition. Also, the correct definition (the first one) misses ${\displaystyle f}$ on the left side. I'll do these corrections. --Md2perpe 22:53, 30 July 2006 (UTC)

Could it be that due to the facts that

• physics problems most often find their mathematical statement with respect to a Hilbert space
• where on its dual space the Riesz representation theorem applies and
• due to the scalar product's symmetry
• the delta distribution is very often mistaken as the Dirac delta function

physicists (although this is mathematically not correct) calculate the gradient in the direction of the delta "function", yielding the physicist's version? If so, this could be pointed out more clearly. Greetings--Alexnullnullsieben (talk) 21:22, 5 November 2011 (UTC)

"where the arrow on the right handside, inside the functional F, indicates a function definition"--what arrow on the RHS? Steve Avery (talk) 02:18, 25 November 2007 (UTC)

## Is this too close to Wolfram's description?

From wikipedia:
"the functional derivative is a generalization of the usual derivative that arises in the calculus of variations. In a functional derivative, instead of differentiating a function with respect to a variable, one differentiates a functional with respect to a function."

From MathWorld (http://mathworld.wolfram.com/FunctionalDerivative.html):
"The functional derivative is a generalization of the usual derivative that arises in the calculus of variations. In a functional derivative, instead of differentiating a function with respect to a variable, one differentiates a functional with respect to a function."

I don't know how different things need to be in order to avoid looking like someone was just copying their site. http://mathworld.wolfram.com/about/faq.html#copyright --anon

Thanks. I removed that text, just in case. Oleg Alexandrov (talk) 23:35, 23 October 2005 (UTC)
This text was added by User:Kumkee on 13 feb 2004. It was his first (non-anonymous) edit ever; he's only made some half-dozen non-user-space edits since. linas 23:39, 24 October 2005 (UTC)

## Partial Integration?

In the first example in the Examples section, there seems to be a sign error when the "Partial integration of second term" happens. I also think that the text within the math is not good style. Since this is my first time editing a math-related article, I'm not too confident about either of these points. I've changed:

${\displaystyle {\begin{matrix}\left\langle \delta F[\rho ],\phi \right\rangle &=&{\frac {d}{d\epsilon }}\left.\int f(\mathbf {r} ,\rho +\epsilon \phi ,\nabla \rho +\epsilon \nabla \phi )d^{3}r\right|_{\epsilon =0}\\&=&\int \left({\frac {\partial f}{\partial \rho }}\phi +{\frac {\partial f}{\partial \nabla \rho }}\cdot \nabla \phi \right)d^{3}r\\&=&[{\mbox{partial integration of second term}}]\\&=&\int \left({\frac {\partial f}{\partial \rho }}\phi +\nabla \cdot {\frac {\partial f}{\partial \nabla \rho }}\phi \right)d^{3}r\\&=&\left\langle {\frac {\partial f}{\partial \rho }}+\nabla \cdot {\frac {\partial f}{\partial \nabla \rho }},\phi \right\rangle \end{matrix}}}$

to

${\displaystyle {\begin{matrix}\left\langle \delta F[\rho ],\phi \right\rangle &=&{\frac {d}{d\epsilon }}\left.\int f(\mathbf {r} ,\rho +\epsilon \phi ,\nabla \rho +\epsilon \nabla \phi )\,d^{3}r\right|_{\epsilon =0}\\&=&\int \left({\frac {\partial f}{\partial \rho }}\phi +{\frac {\partial f}{\partial \nabla \rho }}\cdot \nabla \phi \right)d^{3}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^{3}r\\&=&\int \left({\frac {\partial f}{\partial \rho }}\phi -\left[\nabla \cdot {\frac {\partial f}{\partial \nabla \rho }}\right]\phi \right)d^{3}r\\&=&\left\langle {\frac {\partial f}{\partial \rho }}-\nabla \cdot {\frac {\partial f}{\partial \nabla \rho }}\,,\phi \right\rangle \end{matrix}}}$,

Eubene 22:13, 18 September 2006 (UTC)

You're correct; I had made an error. Good change! Md2perpe 20:58, 26 September 2006 (UTC)

## Weizsäcker kinetic energy functional

Hi, when I follow the steps to the Weizsäcker derivative the first, eg. (1/8), term has a negative sign, as it comes from deriving 1/rho. Then, in the last equality, it is positive, and in accordance with all texts I know. Is it there a typo somewhere? Also, is it nabla^2 (eg. the sum of the second derivatives) or nabla.nabla ?

I've read the paper: T Gál, Á Nagy. A method to get an analytical expression for the non-interacting kinetic energy density functional. J. Mol. Struct. (Theochem) 1280, 167 - 171 (2000).

and I think I got confused. —Preceding unsigned comment added by 83.53.150.6 (talk) 04:00, 21 August 2008 (UTC)

## Merge proposal

Template:Discussion top I have proposed to merge the entry First variation into the Functional derivative entry, since they are the same concept: any standard text on the calculus of variation reports the definition of the first functional derivative, calling it "first variation". Also, the concept of functional derivative has its origins in the systematization of the calculus of variation in framework of functional analysis as done by Vito Volterra, i.e. as a concept in the theory of functionals, linear and non-linear. Daniele.tampieri (talk) 15:20, 4 July 2009 (UTC)

I don't actually disagree with you, but some authors do make a distinction between the two terms. In Gelfand and Formin's "Caluculus of Variations", The functional derivative (if I remember correctly) is essentially the left hand side of the Euler-Lagrange equations for the functional.--129.69.21.117 (talk) 09:48, 30 January 2012 (UTC)
As a practical matter, I think this should remain a separate topic. There are plenty of practical cases where the calculational machinery of the functional derivative can be applied without need for recourse to the First variation. — Preceding unsigned comment added by 68.232.116.79 (talk) 02:14, 11 February 2012 (UTC)

## A different way to look at this

I think all the definitions that use delta functions are based on historical, but generally invalid, methods. In particular, since the delta function is not generally in the space of functions being varied, the limit in question doesn't even make sense.

In reality, two different things are happening. First, we're looking for a first approximation to the functional in question near a given function:

Here, η is any "small" test function.

On the other hand, physicists like to define objects via integral kernels. Hence, we look for a function (or, more generally, a distribution) ${\displaystyle {\frac {\delta F}{\delta \phi [x]}}}$ such that:

This gives the right results in all cases that I've ever checked, and is much less confusing. If it were up to me, I would write ${\displaystyle {\frac {\delta F}{\delta \phi [x]}}}$ as ${\displaystyle {\frac {\delta F}{\delta \phi }}(x)}$, which I consider much clearer.

Note that, generally, when a second variable is present, it's part of the definition of the functional and should be clearly shown as such, e.g., by making it a subscript on the functional, etc. For example, in the case given in the article, ${\displaystyle \rho (r)=\int \rho (r')\delta (r-r')dr'}$, what we really have is a functional ${\displaystyle F_{r}}$, where ${\displaystyle F_{r}[\rho ]=\int \rho (r')\delta (r-r')dr'=\rho (r)}$ for a fixed r - this is just the Dirac delta distribution, centered at r.

Then:

As a matter of philosophy, one has to ask when Wikipedia should push a point of view and when it should just reflect what exists. I don't know a good answer to this. But I'd love people's thoughts on whether we couldn't incorporate this way of looking at functional derivatives into this article.

Rwilsker (talk) 19:36, 18 July 2010 (UTC)

## Properties

Hi!

There are some examples - which is good. What is completely missing though is a section with "Properties" of the functional derivative.

I am thinking about the "product rule", the "chain rule" and things like that. (These rules, by the way, are quite easy to derive, especially if one "cheats" and use the physics treatment.)

I suggest a new section labelled "Properties" where properties of the functional derivative are listed. YohanN7 (talk) 17:36, 20 August 2012 (UTC)

## Computational step

I added a computational step to the definition that would have saved me a lot of frustration and time had someone put it there for me. I didn't know this stuff before coming to this page, and I had to do a lot of digging to unravel what you're doing. Do we want people to learn, or are we going for brevity? I understand if you want to delete it (actually I don't), but you threw in the epsilon out of nowhere, and didn't clarify it further down the page. I know the traditional job of an epsilon, but coming at it blind, especially when you aren't familiar with functional derivative notation, most people who don't know it already won't automatically deduce that step, and so right off the bat you crush outsiders who are fluent in the language but not the mechanics.

173.25.54.191 (talk) 22:07, 16 February 2013 (UTC)

Re "but you threw in the epsilon out of nowhere, and didn't clarify it further down the page." — Thanks for pointing that out, although that was done according to the source. I just now added clarification of ε after the equations and deleted the right hand side that you added. Regarding ε, not clear why you didn't "clarify it further down the page" as you thought was needed, instead of making an edit that is just creating a right hand side of an equation by adding factors 1/ε and ε to the left hand side, which didn't seem useful. --Bob K31416 (talk) 15:42, 24 February 2013 (UTC)

## Leading section of the entry

I apologize for writing this note so late, but I've been busy and forgot it completely. However, here there is a very short list of the reasons why I changed the lead section.

• According to the manual of style (WP:MOS), precisely the section WP:BOLDTITLE, the first sentence should give a short explanation of what the concept/item is, not where it is used/to what field it belongs. This was the main reason that made me beginning editing the lead section.
• The changes I made in the lines following the first sentences of the heading section are motivated by the following reasons, however not so compelling as the preceding one. It is inexact that functionals are usually expressed as integrals: this is true for some functionals, not for all (a trivial example: Dirac delta function has not the structure of an integral). However, the idea of using an integral functional in order to give an example of the concept is nice (and also such integral formalism is customary in a variety of useful contexts), so I tried (perhaps in a too verbose way) to precise the hypotheses under which the example works. This is also the reason for which I added the exact expression on the functional derivative as the integral of the Euler-Lagrange operator multiplied by the increment, which can be found in every text on the calculus of variation (it is exactly the step before the use of DuBois-Reymond lemma in deriving the Euler-Lagrange equation, 1-dimensional case).

Well, as a matter of fact, this is all. Daniele.tampieri (talk) 19:10, 24 February 2013 (UTC)

1) Thanks for pointing out a more preferred style for the first sentence. Also according to WP:BOLDTITLE, we should display the title as early as possible in the first sentence. Here is a rewrite of the original version of the first paragraph that accomplishes that. I thought it was better to rewrite the original, rather than the present one, because it states the concept more simply.
"A functional derivative (or variational derivative) relates a change in a functional to a change in a function that the functional depends on. Functional derivatives are used in the calculus of variations, which is a field of mathematical analysis."
This is the first installment in response to your above message and changes. Regards, --Bob K31416 (talk) 21:10, 24 February 2013 (UTC)
2) Re "It is inexact that functionals are usually expressed as integrals" — You implemented this idea in the following part of your version: "The concept can be easily understand by considering the common case encountered in the classical calculus of variation". Using the idea in this suggested version of yours, I rewrote the corresponding sentence in the original version:
"In the calculus of variations, functionals are usually expressed in terms of an integral of functions, their arguments, and their derivatives."
Then I restored the rest of the corresponding part of the lead before your discussion of Euler-Lagrange, since you haven't explained your other changes in that part and those changes don't appear to be an improvement. The result for that part of the lead is:
This is the second installment in response to your above message and changes. Regards, --Bob K31416 (talk) 11:59, 25 February 2013 (UTC)

I partly agree with the changes you made: however, I cannot tell you now precisely where I do not agree since, as I told you on my talk page, I'm busy. You'll have to wait the weekend, and I'll answer here with a complete biography and links. Daniele.tampieri (talk) 16:58, 25 February 2013 (UTC)

Hi Bob. I can now precise why not all the changes you made are improvements, and why I consequently modified it:

• You have not read completely WP:BOLDTITLE since, in the first sentence, you should also provide context, as stated precisely in the subsection WP:CONTEXTLINK:

In an article about a technical or jargon term, the opening sentence or paragraph should normally contain a link to the field of study that the term comes from.

In heraldry, tinctures are the colours used to emblazon a coat of arms.

therefore, I changed the first sentence in order to comply this accepted, simpler and clearer practice.

— Preceding unsigned comment added by Daniele.tampieri (talkcontribs) 20:49, 3 March 2013 (UTC)

I agree re first sentence and context. --Bob K31416 (talk) 17:12, 5 March 2013 (UTC)

## On referencing and References section

Some observations as above, related to the reference section and referencing.

• "Undid revision 541704933 by Daniele.tampieri (talk) per §9.64 of Chicago Style Manual": unfortunately, the WP:CT page, reporting all accepted citation templates and examples, does not cite the Chicago Style Manual as a unique source of the true style, nor it forces an editor to drop a digit (!) to follow it: as you can see, every example in those page does not follow such practice. Therefore I reverted your removal of the "2" in the relevant reference. Also, I did not find anything on such topic in the Manual at the paragraph you stated: did you mean chapter 9, paragraph 64? I have access to the 2010 edition: is it the edition you refer to?

— Preceding unsigned comment added by Daniele.tampieri (talkcontribs) 20:49, 3 March 2013‎ (UTC)

Since you insist about the "2", that's OK. I don't think that Wikipedia guidelines has stated a preferred style.
"§9.64 of Chicago Style Manual" was referring to the 15th edition of 2003. If you're interested, it was in Chapter 9 "Numbers", "inclusive Numbers", §9.64 Abbreviating, or condensing, inclusive numbers. --Bob K31416 (talk) 17:05, 5 March 2013 (UTC)

## hyphens and en-dashes

See my recent edit. "Thomas–Fermi" required an en-dash, not a hyphen. But Springer-Verlag requires a hyphen, not an en-dash. It's not one person or thing named Springer and another named Verlag. Rather, "Verlag" means "publishing company". That way of using a hyphen is standard in German. 174.53.163.119 (talk) 00:15, 16 April 2013 (UTC)

En_dash#Relationships_and_connections --Bob K31416 (talk) 23:15, 18 April 2013 (UTC)