Questions tagged [functional-derivatives]

Generalization of the notion of derivative to functionals, i.e., to functions that take other functions as an argument. Functional derivatives are particularly useful, for example, in field theory.

Usually in physics one is concerned with functions that take a number of a vector as an input and has another number or vector as an output. to differentiate these functions, one can simply employ the usual techniques from differential calculus.

However, there are some situations in which one wants to consider different sorts of mathematical objects. For example, the action is a functional: a function that takes another function as input. For example, in Classical Mechanics one has $$S[q] = \int_{t_0}^{t_1} L(q(t), \dot{q}(t), t) \ \text{d}t,$$ where $L$ is the system's Lagrangian.

In these situations, one might be interested in differentiating the functional $S$ with respect to its argument, $q$. As an example, Hamilton's principle is equivalent to $\frac{\delta S}{\delta q} = 0$. This notion of derivative is known as a functional derivative: the derivative of a functional with respect to its argument.

246 questions
35
votes
2 answers

Symbols of derivatives

What is the exact use of the symbols $\partial$, $\delta$ and $\mathrm{d}$ in derivatives in physics? How are they different and when are they used? It would be nice to get that settled once and for all. $$\frac{\partial y}{\partial x}, \frac{\delta…
28
votes
4 answers

Why is the functional integral of a functional derivative zero?

I'm reading Quantum Field Theory and Critical Phenomena, 4th ed., by Zinn-Justin and on page 154 I came across the statement that the functional integral of a functional derivative is zero, i.e. $$\int [d\phi ]\frac{\delta…
21
votes
2 answers

Functional derivative in Lagrangian field theory

The following functional derivative holds: \begin{align} \frac{\delta q(t)}{\delta q(t')} ~=~ \delta(t-t') \end{align} and \begin{align} \frac{\delta \dot{q}(t)}{\delta q(t')} ~=~ \delta'(t-t') \end{align} where $'$ is $d/dt$. Question: What…
15
votes
4 answers

What is the relation between (physicists) functional derivatives and Fréchet derivatives

I´m wondering how can one get to the definition of Functional Derivative found on most Quantum Field Theory books: $$\frac{\delta F[f(x)]}{\delta f(y) } = \lim_{\epsilon \rightarrow 0} \frac{F[f(x)+\epsilon \delta(x-y)]-F[f(x)]}{\epsilon}$$ from the…
13
votes
2 answers

Introductory texts for functionals and calculus of variation

I am going to learn some math about functionALs (like functional derivative, functional integration, functional Fourier transform) and calculus of variation. Just looking forward to any good introductory text for this topic. Any idea will be…
11
votes
1 answer

Functional derivative and variation of action $S$ vs Lagrangian $L$ vs Lagrangian density $\mathcal{L}$ vs Lagrangian 4-form $\mathbf{L}$

I have seen many potential abuse of notation that prevents me from clearly understanding variational methods in QFT and GR that I want to get this settled once and for all. This may be a bit long but I think it pays to put everything in one…
10
votes
3 answers

Does a four-divergence extra term in a Lagrangian density matter to the field equations?

Greiner in his book "Field Quantization" page 173, eq.(7.11) did this calculation: ${\mathcal L}^\prime=-\frac{1}{2}\partial_\mu A_\nu\partial^\mu A^\nu+\frac{1}{2}\partial_\mu A_\nu\partial^\nu A^\mu-\frac{1}{2}\partial_\mu A^\mu\partial_\nu…
10
votes
1 answer

Use partial or covariant derivatives when deriving equations of a field theory?

I feel like this question has been asked before but I can't find it. would the Euler Lagrange equation for, say, the standard model Lagrangian be $$\frac{\partial L}{\partial \phi}=\partial_\mu \frac{\partial L}{\partial (\partial_\mu \phi)}$$ Where…
10
votes
1 answer

Mathematical interpretation of Poisson Brackets

Lets say we are working in a classical scalar field theory and we have two functional $ F[\phi, \pi](x)$ and $G[\phi, \pi](x)$. In most of the references, starting with two functional the Poisson bracket is defined as $$\{F(x),G(y)\} = \int d^3z…
9
votes
4 answers

Is the Lagrangian of a quantum field really a 'functional'?

Weinberg says, page 299, The quantum theory of fields, Vol 1, that The Lagrangian is, in general, a functional $L[\Psi(t),\dot{\Psi}(t)$], of a set of generic fields $\Psi[x,t]$ and their time derivatives [...] My hang-up concerns the use of the…
9
votes
3 answers

Is there a natural (suitable) definition for functional derivative in Curved space time

If $$\delta S = \int \sqrt g F[\phi] \delta \phi\tag{1}$$ Then is it natural to define the functional derivative as follows, $$\frac{\delta S}{\delta \phi} = F[\phi].\tag{2}$$ In particular does this definition satisfy the commutativity of the…
9
votes
2 answers

Functional Derivative in the Linear Sigma Model

In the linear sigma model, the Lagrangian is given by $$ \mathcal{L} = \frac{1}{2}\sum_{i=1}^{N} \left(\partial_\mu\phi^i\right)\left(\partial^\mu\phi^i\right)…
8
votes
0 answers

Derivation of the Hypersurface Deformation Algebra

Let $({M},{g})$ be a smooth $4d$ spacetime manifold with lorentzian metric $g$ and local coordinates $\xi^{\alpha}$ and let further $({N},{q})$ be a smooth $3d$ manifold with metric $q$ and local coordinates $\psi^{\alpha}$. Consider then the smooth…
8
votes
1 answer

Computing functional derivative of exchange-correlation functional

Sakurai and Napolitano's chapter on density functional theory has claims that it is "straightforward" to find $\delta U_{\text{xc}}/\delta n$ for $$U_{\text{xc}}[n]=\int d^3 x n(\mathbf{x})\epsilon(n)\tag{2.33}$$ and a given $\epsilon(n)$, but I…
8
votes
2 answers

Functional Derivation of Holonomy

I would like to know how to take the functional derivative of the holonomy, or Wilson line. I have tried it and I will show what I have done below, but before I wanted to say that I also have seen and done this with the characteristic deifferential…
1
2 3
16 17