Quantum Field Theory for the Gifted Amateur Exercise 1.4 The Subtle Dance of Field Variations and Dirac Delta Functions

In the previous article, we ventured into the enigmatic world of functional derivatives and unraveled their role in the ever-intriguing realm of Quantum Field Theory (QFT). Today, we continue this exploration by diving into Exercise 1.4, which presents another layer of sophistication: how the Dirac delta function appears when we deal with field variations.

Table of Contents

The Problem Statement

Today’s quest revolves around two seemingly simple, yet profoundly important equations:

\[\frac{\delta \phi(x)}{\delta \phi(y)}=\delta(x-y)\]

\[\frac{\delta \dot{\phi}(t)}{\delta \phi(t_0)}=\frac{\mathrm{d}}{\mathrm{d}t}\delta(t-t_0)\]

The challenge is to prove these equations, which describe how field variations interact at different points in space and time.

The Solution Odyssey

Problem 1: The Case of $\phi(x)$ and $\phi(y)$

Step 1: Understanding the Variation

To understand how a variation in $\phi(y)$ affects $\phi(x)$, use the defining property of a functional derivative. A small localized change in the field at $y$ can be represented as

\[\phi(z) \mapsto \phi(z)+\epsilon\delta(z-y).\]

Evaluating this perturbed field at $x$ gives

\[\phi(x) \mapsto \phi(x)+\epsilon\delta(x-y).\]

Therefore,

\[\frac{\delta \phi(x)}{\delta \phi(y)} =\lim_{\epsilon\to 0}\frac{\phi(x)+\epsilon\delta(x-y)-\phi(x)}{\epsilon}.\]

Step 2: The Role of the Dirac Delta

The term $\epsilon\delta(x-y)$ is the localized response of $\phi(x)$ to a variation of the field at $y$. Dividing by $\epsilon$ and taking the limit gives

\[\frac{\delta \phi(x)}{\delta \phi(y)}=\delta(x-y).\]

Since the Dirac delta is even in its argument,

\[\delta(x-y)=\delta(y-x),\]

so the same result may also be written as

\[\frac{\delta \phi(x)}{\delta \phi(y)}=\delta(y-x).\]

Problem 2: The Case of $\dot{\phi}(t)$ and $\phi(t_0)$

Step 1: Introducing the Time Derivative

Now consider how a change in $\phi(t_0)$ affects the time derivative $\dot{\phi}(t)$. Start with a localized variation

\[\phi(t) \mapsto \phi(t)+\epsilon\delta(t-t_0).\]

Taking the time derivative gives

\[\dot{\phi}(t) \mapsto \frac{d}{dt}\left[\phi(t)+\epsilon\delta(t-t_0)\right] =\dot{\phi}(t)+\epsilon\frac{d}{dt}\delta(t-t_0).\]

Thus,

\[\frac{\delta \dot{\phi}(t)}{\delta \phi(t_0)} =\lim_{\epsilon\to 0} \frac{\dot{\phi}(t)+\epsilon\frac{d}{dt}\delta(t-t_0)-\dot{\phi}(t)}{\epsilon}.\]

Step 2: Unveiling the Result

Dividing by $\epsilon$ and taking the limit leaves the derivative of the delta function:

\[\frac{\delta \dot{\phi}(t)}{\delta \phi(t_0)} =\frac{d}{dt}\delta(t-t_0).\]

This is exactly what we should expect: differentiating the field before taking the functional derivative is equivalent to differentiating the delta-function response afterward.

Concluding Thoughts: The Quantum Ballet

This exercise has been a dance with the Dirac delta function, the brilliant invention of physicist Paul Dirac that serves as a mathematical representation of localization at a point. Our journey has led us to results that extend our understanding of the relationship between field variations at different points in space and time.

The equations we have proved today are not just mathematical curiosities; they form the building blocks of many advanced concepts in QFT. As we continue to peel back the layers of this fascinating subject, we are reminded that the language of the universe is written in the dialect of mathematics, and each equation we solve is a step closer to understanding the cosmic dance of particles and fields.

Onward, to the next quantum mystery!