# How the boundary term in the variation of the action vanishes

In David Tong's QFT lecture notes (Quantum Field Theory: University of Cambridge Part III Mathematical Tripos, Lecture notes 2007, p.8), he states that

We can determine the equations of motion by the principle of least action. We vary the path, keeping the end points fixed and require $\delta S=0$, \begin{align} \delta S &= \int d^4x\left[\frac{\partial \mathcal L}{\partial\phi_a}\delta\phi_a+\frac{\partial \mathcal L}{\partial(\partial_\mu\phi_a)}\delta(\partial_\mu\phi_a)\right] \\&= \int d^4x\left[\frac{\partial \mathcal L}{\partial\phi_a} -\partial_\mu\left(\frac{\partial \mathcal L}{\partial(\partial_\mu\phi_a)}\right) \right]\delta\phi_a +\partial_\mu\left(\frac{\partial \mathcal L}{\partial(\partial_\mu\phi_a)}\delta\phi_a\right) \tag{1.5} \end{align} The last term is a total derivative and vanishes for any $\delta\phi_a(\vec x,t)$ that decays at spatial infinity and obeys $\delta\phi_a(\vec x,t_1)=\delta\phi_a(\vec x,t_2)=0$. Requiring $\delta S=0$ for all such paths yields the Euler-Lagrange equations of motion for the fields $\phi_a$, $$\partial_\mu\left(\frac{\partial \mathcal L}{\partial(\partial_\mu\phi_a)}\right) -\frac{\partial \mathcal L}{\partial\phi_a} =0 \tag{1.6}$$

Can someone explain a little more that why the last term in equation (1.5) vanishes?

The term vanished because we can translate this term to one making a statement about the fields at the boundary and assume that the fields themselves vanish in spatial and temporal infinity.

By Stokes' Theorem, we can translate volume integrals into surface integrals. More specifically Gauss' Theorem states that the integral of a divergence of a field over a volume (denoted $V$) to an integral of the field itself over the surface of that volume (denoted $\partial V$)

$$\int_V \textrm{div} \vec{A}\,\textrm{d}V= \int_{\partial V} \vec{A}\,\textrm{d}\vec{S}$$

This holds true in any dimension and metric. In Minkowski-space the divergence (called a four-divergence) is exactly $\partial_\mu\phi$

Thus, you can translate $$\int_V \partial_\mu\left(\frac{\partial\mathcal{L}}{\partial(\partial_\mu\phi)}\right)\, \textrm{d}V = \int_{\partial V} \frac{\partial\mathcal{L}}{\partial(\partial_\mu\phi)}\, \textrm{d}\Sigma_\mu$$

i.e. if we assume that the fields (and thus the Lagrangian density) vanishes in infinity, this term vanishes.

• Note that it's not sufficient for the fields to simply vanish at infinity, they need to vanish sufficiently rapidly as a function of the distance $r$ to the origin that the $r$-dependence of the thing you're integrating "beats" the $r$-dependence of the volume of the sphere of radius $r$. Mar 19, 2013 at 16:31
• yes, that's true, sorry for the sloppy wording Mar 19, 2013 at 16:38

The last term is of the form $$\int d^n x \partial_\mu X^\mu$$ and by Stoke's theorem, this equals a surface integral at $\infty$ $$\int_\infty ds^\mu X_\mu$$ which vanishes provided $X^\mu\to 0$ sufficiently rapidly at infinity.

Addendum. I realize that this is a rather terse answer, so let me add some detail. Notice that the oriented surface area element $ds^\mu$ of the $n$-sphere has the behavior $$ds^\mu = dA_{n-1} r^{n-1} \,\hat n^{\mu}$$ there $n^\mu$ is the radially outward pointing unit normal and $dA_{n-1}$ is the area element on the unit $n-1$ sphere. For example, in two spatial dimensions we have $$ds^\mu = \underbrace{dA_1}_{\text{length element on unit circle}} r\,\hat n^\mu$$ while in three spatial dimensions $$ds^\mu = \underbrace{dA_2}_{\text{area element on unit 2-sphere}} r^2\, \hat n^\mu$$ The surface integral at "infinity" can be thought of as the limit of the integral over the surface of the sphere as the sphere's radius gets large; $$\int_\infty ds^\mu X_\mu = \lim_{r\to\infty}\int_{S^{n-1}}dA_{n-1}\, r^{n-1}\hat n^\mu X_\mu(r, \vec\phi)$$ Where $\vec\phi$ are coordinates on the sphere. Now notice that provided for example that $X^\mu\sim r^{-n}$ as $r\to\infty$, this surface integral will vanish in the large $r$ limit.

• Great answer. Is it worth noting here that there could exist finite-action boundary terms where $X^\mu \sim 1/r^{n-1}$, e.g. instantons. Aug 14, 2017 at 9:10
• nice answer...@joshphysics Aug 2, 2020 at 18:00
• So according to your answer the term mentioned by questioner($\left(\frac{\partial \mathcal L}{\partial(\partial_\mu\phi_a)}\delta\phi_a\right)$) does not vanish in 4 dimensional case isn't it @oshphysics Aug 8, 2020 at 15:22