Graduate Understanding Goldstone's Theorem Proof: Volume Limit and Commutator

Click For Summary
The discussion centers on the first step of the quantum proof of Goldstone's theorem, specifically the time independence of the quantity a(t) defined as the limit of the commutator between a conserved charge and a local operator. The participants seek clarification on why the commutator approaches zero as the distance between points x and y goes to infinity and why a similar argument cannot be directly applied to the time derivative of the charge density J^0. It is explained that Stokes' theorem allows the transformation of a volume integral into a surface integral, which vanishes under certain conditions as the volume approaches infinity. The continuity equation is necessary to relate J^0 to the divergence of the spatial current, enabling the application of the surface integral argument. Understanding these steps is crucial for grasping the proof's validity in the context of quantum field theory.
Aleolomorfo
Messages
70
Reaction score
4
Hello everybody!
I have a question regarding the first step of the quantistic proof of the Goldstone's theorem. Defining
$$a(t) = \lim_{V \rightarrow +\infty} {\langle \Omega|[Q_v(\vec{x},t),A(\vec{y})]| \Omega \rangle}$$
where ##|\Omega\rangle## is the vacuum state of the Fock space, ##Q_v## is the conserved charge of the relative current ##J^\mu## and ##A## is a local operator. The first step is to prove that actually ##a(t)## does not depend on ##t##.
$$\frac{da(t)}{dt} = \lim_{V \rightarrow +\infty} \partial_t {\langle \Omega|[Q_V(\vec{x},t),A(\vec{y})]| \Omega \rangle} = $$
$$= \lim_{V \rightarrow +\infty} \partial_t \int_V d\vec{x} {\langle \Omega|[J^0(\vec{x},t),A(\vec{y})]| \Omega \rangle} = $$
$$= \lim_{V \rightarrow +\infty} \int_V d\vec{x} {\langle \Omega|[\partial_t J^0(\vec{x},t),A(\vec{y})]| \Omega \rangle} = $$
I substitute the conservation of the current ##\partial_\mu J^\mu##
$$= - \lim_{V \rightarrow +\infty} \int_V d\vec{x} {\langle \Omega|[\nabla\cdot \vec{J}(\vec{x},t),A(\vec{y})]| \Omega \rangle} = $$
Stoke's theorem
$$= - \lim_{V \rightarrow +\infty} \int_S d\vec{n} {\langle \Omega|[ \vec{J}(\vec{x},t),A(\vec{y})]| \Omega \rangle} = $$
The conclusion is: the commutator is zero since we are doing the limit ##V \rightarrow +\infty##, this means that ##|\vec{x}-\vec{y}| \rightarrow +\infty##.

I do not understand two things.
The first one is the last sentence, I do not see why sending ##|\vec{x}-\vec{y}| \rightarrow +\infty## means that the commutator is zero.
Secondly, essentialy in this proof we change ##J^0## to ##\vec{J}##, why the same argument made about ##\vec{J}## to sent the volume to ##+\infty## was not used to ##J^0##?
Thanks in advance for the help!
 
Physics news on Phys.org
Applying Stokes's theorem transforms the volume integral in the formula before the last formula to a surface integral over its boundary. Letting the volume "go to infinity", meaning taking the limit that ##V## becomes the entire space, the integral vanishes under the assumption that the limit of the volume integral exists, i.e., that the integrand is going sufficiently quickly to 0 in the limit when the entire surface goes to infinity.

You cannot use the argument directly to ##\dot{J}^0## but you need to convert it via the continuity equation to ##-\vec{\nabla} \cdot \vec{j}## in order to be able to convert the volume integral to the surface integral over this volume's boundary and then apply the argument with the vanishing of this surface integral when all parts of the surface are pushed to infinity.
 
  • Like
Likes Aleolomorfo and dextercioby
Time reversal invariant Hamiltonians must satisfy ##[H,\Theta]=0## where ##\Theta## is time reversal operator. However, in some texts (for example see Many-body Quantum Theory in Condensed Matter Physics an introduction, HENRIK BRUUS and KARSTEN FLENSBERG, Corrected version: 14 January 2016, section 7.1.4) the time reversal invariant condition is introduced as ##H=H^*##. How these two conditions are identical?

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 167 ·
6
Replies
167
Views
11K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K