Questions tagged [functional-derivatives]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3
votes
0answers
41 views

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 ...
1
vote
1answer
123 views

Functional derivative

I am not able to derive Eq. 21 of this paper F. Zahariev, S. S. Leang, and Mark S. Gordon, "Functional derivatives of meta-generalized gradient approximation (meta-GGA) type exchange-correlation ...
5
votes
2answers
1k views

Derive Schwinger-Dyson equations in Srednicki

In eq. (22.20) on p. 135 in Srednicki he defines the functional integral $$Z(J) = \int\mathcal{D}\phi\,\exp\Big[\mathrm{i}\big(S+\int\mathrm{d^4}y \,J_a\phi_a\big)\Big], \tag{A}$$ where $S$ and $...
2
votes
1answer
80 views

Why does the integral symbol disappear when applying a functional derivative?

it is known that variation is defined by following: but could anyone tell me why the integral symbol disappears after following functional derivative?
3
votes
2answers
829 views

Functional Derivative of action

Consider the action of free Klein-Gordon theory $S[\phi]=\frac{1}{2}\displaystyle\int d^4y(\partial_\mu\phi(y)\partial^\mu\phi(y)-m^2\phi^2(y))$ Integrating by parts in the first term gives me $S[\...
1
vote
2answers
224 views

Variation of a field action

The field action in flat spacetime is $$ S = \int d^4x\, \mathcal{L}(\phi,\partial_\mu\phi).\tag{1} $$ The variation in $S$ leads to $$ \delta S = \int d^4x\, \delta \mathcal{L}. \tag{2} $$ ...
0
votes
0answers
51 views

Proving Poisson bracket relations $\{\phi, P^r\}=\Pi^r$ in Ticciati's “QFT for Mathematicians”

Let $\phi$ be a scalar field, and $\Pi$ be the conjugate momentum of $\phi$. Let $\cal L=\cal L(\phi, \partial_\mu \phi)$ be the Lagrangian density. Define the stress-energy tensor as $$ T^{\mu\nu}=\...
3
votes
0answers
523 views

Vacuum to vacuum transition amplitude [duplicate]

I have two questions about Vacuum to vacuum transition amplitude. Can any particle stay in $|0\rangle$? I was studying this topic from Srednicki's QFT book. He writes in eq.$(6.22)$ $$\langle0|0 \...
0
votes
0answers
28 views

How can I prove/understand the following functional derivative? [duplicate]

Assume that $F[h(\xi);x,y]$ be the inverse of $G[h(\xi);x,y]$ in the sense that the following identity is satisfied: \begin{equation} \int dz F[h(\xi);x,z]G[h(\xi);z,y] \equiv \delta(x-y) \end{...
0
votes
2answers
293 views

Derivatives in Euler-Lagrange for fields

Starting with the lagrangian density $$L=\frac{1}{2}((\partial_\lambda\phi)(\partial^\lambda \phi) + \mu^2\phi^2),$$ Chen and Li yield the Klein Gordon equation $$(\partial_\lambda \partial^\lambda + \...
3
votes
1answer
158 views

Path integral measure in Chern-Simons/WZW correspondence

The relationship between 3d Chern-Simons theory on the product of the disk and the real line ($D\times \mathbb{R}$) and the chiral WZW model on $S^1\times \mathbb{R}$ was shown in Elitzur et al Nucl....
3
votes
1answer
121 views

Functional derivative commutes with total derivative

I have a question about a rule from the calculus of variations. Assume we consider the space of differentiable functions on $C^1(\mathbb{R})$ (or for the sake of simplicity the smooth functions $C^{\...
0
votes
1answer
34 views

Necessity and sufficiency of Euler-Lagrange equations in making an integral stationary

Suppose we want to make an integral $S$ of the form $$S = \int_{x_1}^{x_2} f\left[y_1(x), \dots, y_n(x), y'_1(x), \dots, y'_n(x), x\right]dx$$ stationary with the constraint $y_1\left(x_1\right) = \...
0
votes
0answers
32 views

Questions about Euler-Lagrange derivation in Classical Field Theory

I'm new to classical field theory, so I have a few basic questions: From the derivation of the Euler-Lagrange equations, we have the following: \begin{align} \delta S[\phi]&=\int d^4x\delta L(...
1
vote
2answers
70 views

Different definitions of Functional Derivative

In studying QFT and General Relativity, I came across two different definitions of Functional Derivative, and I'd like to know if they are equivalent. Firstly, in Wald's book General Relativity, as ...
0
votes
2answers
164 views

Derivative of $\nabla\times(\nabla\times A)$ by A

I'm trying to find out how to quantize EM field. It seems like $\vec{A}$ and $\vec{E}$ are it's canonical coordinates. For example: $$\mathfrak{H} = \frac12E^2 + \frac12(\nabla\times A)^2$$ $$H = \int ...
1
vote
1answer
77 views

A Question about Path Integral Measure

I want to do the following path integral. $$\mathcal{Z}=\int\mathcal{D}x e^{iS[\dot{x}]}$$ The action only denpends on $\dot{x}$. For some reason, I want to replace the integral measure $\mathcal{D}...
2
votes
0answers
43 views

Understanding the variational / functional derivative (in relation to the Euler-Poincaré equation)

I'm trying to understand the Euler-Poincare equations, which reduce the Euler-Lagrange equations for certain Lagrangians on a Lie group. I'm reading Darryl Holm's "Geometric mechanics and symmetry", ...
0
votes
2answers
114 views

Confusion about functional derivative in path integral

If we act a functional derivative $$\frac{\delta}{\delta J(z)}$$On the expression$$\int\int d^4x d^4y \space J(x)\Delta(x-y)J(y)$$ where $\Delta(x-y)$ is Feynman propagator. What one should get is ...
0
votes
2answers
39 views

Variation of a integration involving derivatives

I'm having problem with calculating the functional derivative of $F$ with respect to $\phi(x)$ while $$F = \int d^{4}x \phi^2 \partial_{\mu}\phi\partial^{\mu}\phi.$$ I want to obtain $\frac{\delta F}...
3
votes
1answer
87 views

2PI-effective action and functional derivatives

I'm trying to work out the 2PI-effective action for complex scalar fields. Introducing a multi field index $(a,b,c...)$ the complex conjugation and all other degrees of freedoms are suppressed, and ...
0
votes
0answers
50 views

Definition of integral functional [duplicate]

I'm reading the section of Marion and Thornton devoted to basics on the Calculus of Variations, and came across this definition for the functional: $$J = \int f(y(x), y'(x);x) dx$$ implying that $f$ ...
2
votes
2answers
122 views

Two-point Green for Free Dirac Fields

I am trying to compute the $2$-point Green function $\tau_2(x,y)$ for free Dirac fields. The corresponding formula for $\tau_2(x,y)$ is given by $$\tau_2(x,y) = -\frac{\delta^2}{\delta\eta_x \delta \...
2
votes
1answer
92 views

Doubt in Functional Derivative of Lagrangian

Lecture XXXIII: Lagrangian formulation of GR by Christopher M. Hirata NON-INTERACTING DUST Consider a system with a suite of particles {A} each of mass $\mu_{A}$ following some set of trajectories $...
2
votes
2answers
158 views

Functional derivative for the same function expressed before and after Wick rotation

This question arises when I'm reading section "3.3.1 Minkowski Space" of page 16-17 of the following document: http://www-thphys.physics.ox.ac.uk/people/JohnCardy/qft/qftcomplete.pdf On page 17, they ...
4
votes
2answers
187 views

Why does Fermat's principle (optics) not apply to all paths?

Feynman's statement of Fermat's Principle regarding optics is the following, "a ray going in a certain particular path has the property that if we make a small change (say a one percent shift) in ...
0
votes
1answer
74 views

How to take into account the symmetry of the metric tensor when doing the Functional derivative in GR? [duplicate]

I have a Straightforward question. When the functional derivative of the Ricci scalar to get the GR field equations. As the derivative is done using the metric which is symmetric do I have to ...
5
votes
2answers
267 views

Making use of functionals in Martin Siggia Rose formalism

I am currently studying "Critical Dynamics - A Field Theory Approach to Equilibrium and Non-Equilibrium Scaling Behavior", and came across an issue I can't solve. If you know about functional ...
1
vote
1answer
86 views

What does lowercase-delta mean in Noether's first theorem?

Most expressions of Noether's Theorem I have come across do not use lowercase delta, but a couple sites do. I am confused....... Check out page 21 of the June 23 issue of 'Science News' ...
28
votes
2answers
2k views

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 ...
1
vote
1answer
56 views

Variational principle, functional gradient

Given the energy functional $$E[\Psi] = \frac{\langle \Psi \vert H \vert \Psi \rangle}{\langle \Psi \vert \Psi \rangle},$$ its functional gradient is $$\frac{\delta E[\Psi]}{\delta \langle \Psi \vert}...
1
vote
1answer
171 views

Notation question in calculus of variations — QFT

these two integrals below are equal, but I am not understanding where the $x'$ variable comes from. \begin{align} I_0&=e^{ i\int d^4x \left\{ \frac{1}{2}\left[ \left( \partial\varphi(x) \right)^...
5
votes
3answers
254 views

Help with taking derivative of Lagrangian scalar model of graviton

Quick question. Given Lagrangian density $$\mathcal{L} = -\frac12 h \Box h + \frac13 \lambda h^3 + Jh ,\tag{3.69}$$ where the scalar $h$ represents the gravitational potential, and given the Euler-...
0
votes
0answers
217 views

Issue with calculating free fermionic propagator from partition function

$\newcommand{\D}{\mathcal{D}}$ In section 14.6 of Schwartz's "QFT and the Standard Model (7$\,^{\text{th}}$ printing)" [1], the author calculates the exact free fermionic partition function and, from ...
0
votes
1answer
133 views

Inverse Green's Function identity in derivation of Hedin's equations

I'm trying to work through a derivation of Hedin's Equations in Effect of Interaction on One-Electron States by Hedin and Lundqvist (1969) and I've come across an identity that is given without much ...
1
vote
0answers
23 views

example from physics where the action of the physical trajectory has a saddlepoint? [duplicate]

It's a well established concept in various fields of physics that the action of the field / trajectory that becomes physically real, minimizes / maximizes the action functional. For the calculations, ...
1
vote
0answers
40 views

Functional derivative of a symmetrized field

I'm confused whether a symmetrisation/antisymmetrization of a function with respect to its arguments, i.e., $$F(x_1,x_2,...,x_n)=\frac{1}{\sqrt{N!}}\sum_{\pi}\textrm{sgn}(\pi)~f(x_{\pi(1)},...,x_{\pi(...
8
votes
1answer
1k views

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{\...
1
vote
1answer
83 views

Variation of Fermionic Field Operator

Suppose we have a Hamiltonian containing some interaction term $$V = \sum _{\sigma \sigma '\sigma ''\sigma '''}\iint d^3rd^3r'\hat{\psi }_{\sigma}^\dagger (\textbf{r})\hat{\psi }_{\sigma'}^\dagger (\...
1
vote
2answers
101 views

Functional derivatives of inverse tensor field

The short-hand notation here is $1 = x_1 , 2 = x_2 ,... $and $\int_{1}=\int{dx_1},\int_{2}=\int{dx_2}.... $ In appendix A of this paper https://arxiv.org/abs/hep-th/9908172 it is said that the basic ...
3
votes
1answer
133 views

Second variation of a functional

I am trying to find the second variation of the Hartree energy functional $E_{H} [\rho]$: $$ \dfrac {\delta^2 E_{H}}{\delta \rho (r)\delta \rho (r')}=\dfrac {\delta^2}{\delta \rho (r)\delta \rho (r')}\...
2
votes
2answers
121 views

How do I find the function derivative $(\delta/\delta \phi) (\partial_\mu \phi)$?

The question is simple: How do I find the function derivative of $$(\delta/\delta \phi(x)) (\partial_\mu \phi(x))~?$$ As far as I can tell, I cannot use any of the standard computational rules for the ...
1
vote
0answers
132 views

Confusion taking functional derivatives of the generating functional (Coleman)

I'm reading Piers Coleman's Introduction to Many Body Physics and I've run into a strange issue. In section 8.4, he considers a free theory in the presence of a source $[\bar\eta, \eta]$: \begin{...
1
vote
1answer
64 views

Problem calculating the variation of this action

If we take a Hamiltonian density to be as following $$ \mathscr{H}=\frac{1}{2}\Pi^2+\frac{1}{2}\partial_i\varphi\partial_i\varphi+\frac{1}{2}m^2\varphi^2+\frac{1}{4}\lambda\varphi^4, $$ and we have ...
3
votes
1answer
243 views

Free propagator from generating functional in momentum space

I am reading the text by Daniel Amit, "Field Theory, the Renormalization Group, and Critical Phenomena" and trying to apply what is explained in chapters 3 and 4 to a real-life problem. However, I ...
2
votes
3answers
160 views

Why are there two definitions for the functional derivative?

I have seen two definitions for the functional derivative. Why are there two definitions? In Goldstein's Classical mechanics 3rd edition page 574 eq. (13.63), and also in a Student's Guide to ...
1
vote
1answer
50 views

Existence of Functional with some Functional Derivative [closed]

How could I do this? I tried to manipulate, but I don't know how I could get to a contradiction or something else. Show that there is no functional $S = S[\phi]$ that satisfies: (where $\epsilon_{...
3
votes
1answer
204 views

Where are the delta functions in Peskin & Schroeder eq. (11.67)?

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) +\frac{1}{2}\mu^2\sum_{i=1}^{N}\left(\...
2
votes
0answers
868 views

How to calculate the second functional derivative of the action of a one-particle system?

Given the Lagrangian $$L(q,\dot{q})=m\dot{q}^2/2-V(q)$$ and the corresponding action $$S[q]\equiv\int_0^t dt' (m\dot{q}^2/2-V(q)),$$ I need to be able to evaluate the second functional derivative $\...
1
vote
2answers
1k views

Derivative of the magnetic field to the vector potential

So the magnetic field is defined with the vector potential A as: $$\mathbf{B}=\nabla\times\mathbf{A}.$$ How would I calculate the derivative: $$\frac{\delta}{\delta\mathbf{A}}|\mathbf{B}|^2$$ I ...