Use and the mostly-plus Minkowski metric fixed in part a. The electromagnetic four-potential and its covariant form are
Define the electromagnetic field tensor by . Since and ,
Raising both indices changes the signs of its time-space entries. The lower-index signs agree with [ref]; the signature and index placement must be kept consistent.
For a passive boost to a frame moving with , transform the tensor as
For example, and . Reading off all entries gives
For an arbitrary boost velocity , rotational covariance gives the Lorentz transformation of electromagnetic fields
Here all velocities are in units. Equivalently the parallel components are unchanged and the perpendicular components have the cross-product expressions multiplied by .
Use and the mostly-plus Minkowski metric. Then the source's Klein-Gordon equation is . For a plane wave , substitution gives
Thus a real propagating wave vector requires , or on restoring units. The positive-energy branch has a rest-energy threshold . At , ; frequencies below the mass threshold give evanescent spatial dependence rather than real-wave-vector propagation. Both signs of occur in the classical equation; a real scalar field combines complex-conjugate modes. Its group velocity is and is subluminal, though the positive-branch phase speed exceeds one when .
For a static spherically symmetric scalar field, the equation outside the source is
Setting gives , so
Decay at infinity selects , the Yukawa potential. It is singular at the origin and describes a point source distributionally; a source-free solution regular at the origin and decaying at infinity must be zero. For , , and decay sets the constant to zero.
Write . The Pauli matrices give
Hence
Therefore , with for : the bilinear is a future null Lorentz four-vector, and gives the zero vector.
For , the transformed components are and . Thus , while the two squared magnitudes acquire factors and . Substitution gives
The matrix preserves the Minkowski metric and is an active boost along of rapidity , with velocity . Relative to the passive standard-boost convention of part i, its velocity parameter has the opposite sign.
For , and , so . Consequently
This is an active right-handed spatial rotation through about . The minus sign follows from the specified positive exponent; the familiar positive-angle spin rotation uses . The doubled angle exhibits the Lorentz spinor double cover: and give the same four-vector.
Use the electromagnetic field tensor convention stated above, and lower indices with the Minkowski metric . Lowering a single time index changes its sign. Summing both orders of each antisymmetric index pair gives the Lorentz scalar
For , and . Direct substitution in the printed electromagnetic stress-energy tensor yields
For a spatial index , and . Hence
Thus the full top row is
Here is the electromagnetic energy density and the Poynting vector, using . By the symmetry , these components describe both energy flux divided by and times the electromagnetic momentum density . Keeping the factor is essential because the time coordinate is .
For an active clockwise rotation of column vectors in the usual oriented plane, take
Direct matrix multiplication gives
Thus the rotation matrix is an orthogonal matrix, preserving the Euclidean inner product, with determinant .
For a passive one-dimensional Lorentz boost, use rapidity , :
This is not unless . Hence a nontrivial Lorentz boost is not an orthogonal matrix for the Euclidean inner product. Instead it preserves the Minkowski metric:
by . Thus it is pseudo-orthogonal. The zero-rapidity identity is the explicit exception to the assertion that a Lorentz boost is not orthogonal.
Write the Lorentz transformation as . Acting on a scalar field, the chain rule gives the four-gradient
For the specified Lorentz boost, the inverse is obtained by changing to , so
These are precisely the covector component rules for the lowered coordinates. Raising the index with the Minkowski metric reverses the time component, yielding
Indeed and , the contravariant four-vector rules. Thus the index on a partial derivative with respect to an upper coordinate is lower.
By four-momentum conservation, . With the Minkowski metric, the neutral pion has , while each photon has and . Taking the Minkowski norm gives
The half-angle identity therefore yields
This is a measurement of the diphoton invariant mass using two photon energies and their opening angle, independent of the neutral pion's laboratory velocity.
Use natural units and the Minkowski metric , with and . Then , , and . The electromagnetic field tensor is an antisymmetric tensor, which gives gives
integration by parts in the action, with the variation vanishing on its boundary, yields . Independent variations of the four components therefore give . The time component is ; the spatial components are . These are the two source-free Maxwell equations obtained dynamically. The other two, and , follow identically from , through the Electromagnetic Bianchi identity. They are not additional Euler-Lagrange field equations.[ref]
In the same Minkowski metric and electromagnetic units, . Differentiating gives
To simplify the last two terms, contract with . Its first and third terms are equal, and its middle term is . Raising therefore gives . The cancellation leaves
This is the electromagnetic stress-energy divergence identity in rationalized units. As a sign check, is positive and is the Poynting vector. The integrated four-momentum is conserved if the boundary flux vanishes. With matter sources, the electromagnetic field alone instead obeys : energy and momentum transfer to matter restore conservation of the total stress-energy tensor.
Treat and as independent variables during variation. With Minkowski metric , differentiation with respect to gives
The Euler-Lagrange field equation is therefore . The static purely temporal potential has , giving
variation with respect to gives . This is the complex conjugate equation when the driving force is real, as is required for the supplied lagrangian density to be real. For a complex driving amplitude a real source term would instead require conjugate coefficients. The interaction supplied here is linear in the external potential: adding the term from full minimal coupling would change the problem and its equation of motion.
Choose Minkowski metric , so and . In laboratory time the relativistic charged-particle action has Lagrangian
Here denotes the signed particle charge in the action. The canonical momentum and the position derivative are
The Euler-Lagrange equation therefore gives
The last term is , and the first two terms form the electric field. Thus the relativistic Lorentz force equation is
Its power relation and acceleration form are
The power relation follows by taking the scalar product with and using the relativistic energy-momentum relation. It also shows why the magnetic field alone cannot change the particle's energy.
Use and Minkowski metric , with the wave speed equal to one. Regarding as a scalar field, the symmetric canonical stress-energy tensor is
It obeys on the wave equation. For a scalar field the intrinsic spin current vanishes. The total orbital Lorentz current and its integrated angular-momentum tensor are
Because there is only one spatial dimension, its only independent possibly nonzero component is
where . The corresponding flux is . Symmetry and conservation of give
Thus is conserved provided the boundary flux vanishes and the integrals exist. For example, localized wave packets on an infinite line have this property. One can also check directly that , so the two terms in have cancelling derivatives.
The significance is the boost charge of a one-dimensional scalar field. There is no independent spatial rotation or ordinary spatial angular-momentum component in one dimension. Instead, the action has the mathematical Lorentz invariance of a massless wave field with invariant speed , and generates its boost. Its conservation says that the center of energy moves uniformly. This is a symmetry of the ideal wave-field model, rather than an assertion of fundamental vacuum Lorentz symmetry for a material rod. Fixed boundaries can break it, and a general solution with nonvanishing boundary flux need not conserve the integrated charge.
Use Minkowski metric and units with the speed of light equal to one. Thus , and is the spatial projector of a timelike congruence. Keep the medium velocity fixed when varying the electromagnetic four-potential. Since the electromagnetic field tensor is , its variation gives
Both tensors are antisymmetric. Integration by parts, with variations vanishing at the boundary, therefore gives
The Euler-Lagrange field equation is . Renaming the free index and using antisymmetry gives
These are the inhomogeneous Maxwell equations with the bound charge and bound current encoded by the polarization-magnetization tensor.
With the Minkowski metric , the momentum conjugate to the real field vector is . The Hamiltonian density is
Assume the potential has a global minimum and the boundary conditions permit a constant minimizing field. Then
The bound is attained by
The homogeneous vacuum minimum criterion proves existence of a homogeneous lowest-energy configuration under those assumptions. On infinite space one subtracts the constant vacuum energy before comparing finite energy differences. This identifies the classical vacuum configuration; it does not assert that the quantum field has no fluctuations.
The claim does not follow from “no derivative dependence in ” alone. For example, the allowed functional form is unbounded below, so there is no state of lowest energy to identify. Boundary conditions forcing different vacua at opposite ends can instead require an inhomogeneous minimum, such as a domain wall. The positive quartic potential used in the following parts does have homogeneous minima, so these caveats do not obstruct its vacuum calculation.
All eight questions are solved. Set unless a thermal factor is written explicitly. Relativistic calculations use the Minkowski metric . The unbracketed sums in the first two printed energies are read as sums over all the displayed bond terms, with the common prefactor applying to the entire summand.
The action is dimensionless and , so . A canonical scalar kinetic term then requires , and the electromagnetic kinetic term requires . Thus
The brackets here denote mass dimension. The Lagrangian has no explicit coordinate dependence, and all indices are contracted as Lorentz scalars. Its continuous spacetime symmetry is the Poincaré group. Noether's theorem gives conserved four-momentum from translations and conserved angular momentum, including the boost generators, from Lorentz transformations. The nonzero mass and dimensionful couplings prevent a dilation symmetry.
Sign qualification: the printed electromagnetic kinetic term has the opposite healthy relative sign to the scalar kinetic terms. With the stated mostly-minus Minkowski metric, a physical Maxwell Lagrangian is . The printed plus sign instead gives photon Hamiltonian density ; a nonzero purely electric configuration already has negative energy, unbounded below as its amplitude grows. The physical decay widths below use the healthy Maxwell sign with the given interaction normalization. The dimensional and spacetime-symmetry conclusions themselves do not depend on this sign correction.
Source bundle pages 48–54; the cover identifies Trinity Term 2022 despite the attachment filename. Solutions use except where is displayed. In Questions 4–6 the Minkowski metric is , and spatial surface terms vanish or cancel under periodic boundary conditions.
Write , and . The Fourier expansion in the source is compatible with the oscillator canonical commutation relations
For the free real scalar field, and
Substitution of the Fourier expansion produces spatial Dirac delta functions. Terms with two annihilation operators or two creation operators cancel: in their coefficient is , and in their integral is odd under . The two mixed terms combine, with normal ordering removing the vacuum constant, to give
In particular, contains the lower component in this Minkowski metric convention.
To check commutativity without manipulating a square of a Dirac delta function, define . The oscillator algebra gives and . Thus and . Taking , proves
These identities hold on the usual dense domain of finite-particle states, or can first be proved in a finite box and then continued to the continuum.
Put . The Euler-Lagrange equation for the scalar field is , or explicitly
The derivative of is ; all interaction terms therefore enter with the displayed plus sign for the chosen Minkowski metric.