Past exam of the quantum field theory course of the University of Oxford 2021 1 d Solution 2026-10-25
The printed integration labels need correction. The parent's four-momentum is fixed, so the two Lorentz-invariant phase-space measures must integrate and , rather than the printed and . Write and , . The physical decay width isThe spatial Dirac delta function sets . Performing the angular integral in spherical coordinates, with , gives the integrated two-body decay phase spaceThe positive root is . Since , the Dirac delta function integration yields . ThusThe two final particles have different species, so there is no identical final-state symmetry factor. The result tends to as and vanishes at the two-particle decay threshold.
Past exam of the quantum field theory course of the University of Oxford 2021 1 e Solution 2026-10-25
Put . For the decay width is zero by conservation of energy. Just above the three-particle decay threshold, all three daughters are nonrelativistic. The decay amplitude of iv remains finite: the internal scalar propagator denominator approaches , and the Dirac scalar bilinear does not vanish at rest. Thus, for nonzero fixed and , the leading suppression comes entirely from three-body threshold phase space.
Use the spatial Dirac delta function to eliminate one daughter momentum. The remaining integral has six independent momentum coordinates and one conservation of energy constraint,Rescaling both momenta by gives from the measure and from the Dirac delta function. The smooth factors do not change the power. Consequentlywith a finite positive leading coefficient when ; for . The for the identical bosons changes only this coefficient. Equivalently, at fixed the opening is quadratic in . If , this leading tree-level Feynman diagram vanishes, so the stated leading coefficient is zero.
The quantized field expansion in the complete orthonormal basis of orbitals isThe complex conjugation in the creation operator expansion is essential for complex orbitals. Indeed, creates the wavefunction . The resolution of the identity in an orthonormal basis givesrecovering the canonical commutation relation and the spatial Dirac delta function.
Use the total density of states and from part (b). In the paper's double-sum convention, has units of energy and scales as . Define its first angular moment byThis convention matters: the Landau quasiparticle energy functional written with an explicit instead uses the intensive kernel .
At zero temperature, the displayed functional is the change in ; a true Galilean boost preserves , so . For a radial displacement , the first term in the Landau quasiparticle energy functional becomesThe oriented radial integral also works for negative : removing occupied levels below the chemical potential costs positive energy. Substituting and using givesThe exact second-order correction to the boundary is unnecessary here because the unperturbed excitation energy vanishes on the Fermi surface; it changes this term only beyond quadratic order. It must nevertheless be understood when identifying with a fixed-particle number energy change.
For the quadratic interaction term, the first-order occupation change alone suffices. The radial Dirac delta function integrals givePut . The remaining angular integral usesso only the first cosine component of the interaction survives. Since ,Adding both contributions and matching the bare-mass result of part (a) yields the two-dimensional Landau effective-mass relation:Equivalently, using the density of states per unit area ,If dimensionless Landau parameters are defined through the Fourier series , then andDefining the cosine expansion with an extra factor of two would instead absorb that factor into ; the angular-integral formula above fixes the convention unambiguously. The physical content is that interaction changes accompanying a moving Fermi sea compensate the renormalized quasiparticle velocity, so the total boost energy is governed by the bare mass. For an interaction independent of angle, and this consistency condition requires .
At a finite jump in potential energy, the wavefunction and its first derivative must be continuous. A jump in the derivative would create a Dirac delta function in , for which the finite potential has no balancing term. For the even solution, matching at givesA nonzero solution cannot have . It also cannot have : the first condition would give , while the second would force , a contradiction. Division is therefore valid and yieldsParity makes the conditions at identical to those already imposed. Finally the definitions of the decay and oscillation constants giveThe circle relation fixes the well strength; the tangent relation selects its even bound states.
By definition, the relaxation modulus is the stress generated by a unit step of strain from an initially relaxed state. Set , where is the Heaviside step function, and write . Integrating the linear ordinary differential equation across the step shows that neither nor can jump: a jump would produce a Dirac delta function or its derivative, absent from the forcing. Hence .
For , a particular solution is . The characteristic equation factors asso . The initial conditions give and , whenceThe time and modulus units are those implicit in the printed coefficients. A Laplace transform check gives .
The original PDF really does put undifferentiated strain on the right-hand side. The resulting response rises from zero to one, with , rather than exhibiting ordinary stress relaxation. There is a stronger physical problem if this is intended as a passive material law: with the convention the stress-to-strain amplitude ratio isThe loss modulus would give negative cycle-averaged supplied power , contrary to passivity in linear viscoelasticity. The boxed expression is therefore the formal relaxation modulus of the equation as printed, not a claim that this equation describes an ordinary passive viscoelasticity model. No derivative of the input has been silently inserted.
Write and . With the printed Fourier transform convention, a time derivative transforms to . The retarded Green function isIts poles are , both in the upper half-plane. For close the contour above; for close below, where there are no poles. Residues giveIt is continuous at and has derivative jump , reproducing the Dirac delta function source. Thus the solution initially at rest isand vanishes for . Set . Evaluating the integral givesThe homogeneous solution constants are and . Substitution at zero gives . Causality selects this response; an arbitrarily excited prehistory would add a homogeneous solution.
Illustrative retarded impulse response and initially resting response to a decaying drive
. Details. Use the Dirac delta function to set , and write . The remaining momentum-dependent quantum phase isShifting the integration variable by reduces the integral to the free Gaussian integral. ThereforeThe force is , not . Both the linear endpoint term and the cubic-time term disappear in the zero-force limit. The prefactor remains the free one.
The quantum propagator is the position-space kernel of the time-evolution operator: . For a time-independent Quantum Hamiltonian, . Inserting a complete orthonormal energy eigenbasis givesA continuous spectrum requires the corresponding integral. At equal times, completeness makes this kernel a Dirac delta function.
The free Euclidean action has inverse propagator . Therefore the thermal Green's function obeyswhere is the periodic Dirac delta function. It is continuous, has continuous first derivative away from its source, and satisfies . These conditions follow by integrating the differential equation across the source and using the bosonic thermal trace.
For , solving the homogeneous equation on and imposing these conditions givesIn particular . Equivalently with bosonic Matsubara frequencies .
Evaluate the two-body Lorentz-invariant phase space in the parent's rest frame, . The spatial Dirac delta function sets . For massless daughters , soThe factor in the last step is the derivative of the delta-function argument. Substituting into the decay width gives, for labelled or distinct daughters,The angular domain is one sphere: and , equivalently . The printed negative-to-positive polar-angle interval is not a second independent coverage of the sphere.
For identical daughters, integration over the full labelled two-body phase space counts each physical final state twice. One must therefore include an additional factor , or equivalently integrate over an unordered half-domain. This distinction is necessary for the two identical photons in solution.
Write , and . The Fourier expansion in the source is compatible with the oscillator canonical commutation relationsFor the free real scalar field, andSubstitution 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 giveIn 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 , provesThese 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.
Point force 2026-10-24
Point mass Created 2026-10-06 Updated 2026-10-18
A point mass idealizes a localized body's mass density as , using the Dirac delta function. Its second mass moment tensor is . The approximation ignores its internal size and structure.
Point spread function Created 2026-10-05 Updated 2026-10-14
A point spread function is an imaging system's response to an optical point source. Here it means the distribution of image light intensity: an ideal point object becomes a finite spot, often with faint rings, because of diffraction. An unresolved star and a sufficiently small bead emitting fluorescence are practical approximations to an optical point source. Their image tells us how nearby object details will overlap, and reveals blurring from optical aberrations, defocus, and, for an optical telescope, astronomical seeing.
A useful convention separates shape from throughput. At a fixed image plane, let be the point spread function with . Its units are inverse area. A point delivering detected radiant flux at image position produces light intensity ; this point spread function normalization makes the integral over the image equal to . A profile divided by its own peak is convenient for comparing widths, but is a different point spread function normalization and does not by itself compare total radiant flux.
In incoherent imaging, different object points have negligible mutual spatial optical coherence over the measurement, so their image light intensities add. If the response also obeys translation invariance over the chosen field of view, the expected continuous image is the convolutionHere is the object brightness distribution expressed in image-scaled coordinates, with magnification already included, and is constant transmission. For , where is the two-dimensional Dirac delta function, this gives . A changing response across the field of view instead requires a position-dependent integral kernel ; one measured point spread function is then only a local calibration.
In coherent imaging, the superposition principle applies to the complex wave amplitudes. With amplitude spread function , the corresponding ideal model isThus generally differs from : coherent contributions produce wave interference terms that depend on their relative wave phases. Their time average vanishes for mutually incoherent emitters, which explains the intensity convolution. Partial optical coherence requires the correlations between object points as well.[ref]
Ideal circular-pupil point responses and the overlap of two mutually incoherent sources
. Details. The figure is an original diffraction model, not measured data. All panels have the same total radiant flux: each member of a pair contributes half the single-source radiant flux. Dashed curves show the separate light intensity contributions; the solid curve is their sum. The point spread functions have tails, so even sources satisfying the Rayleigh criterion overlap. As separation decreases, the image changes continuously; there is no abrupt disappearance of all information at one separation.
A motivating measured example is Measurement of point-spread function (PSF) for confocal fluorescence microscopy by InCheon Song and others (2005). A laser, delivered through an optical fiber, excited fluorescent beads on a slide through a , numerical aperture oil-immersion objective. A moving stage scanned the bead; emitted light returned through the objective, an emission filter and a pinhole to a photodiode. The readout was fluorescence light intensity against scanned position. Under the same setup, nominal bead diameters , , and produced progressively broader measured spots. The size comparison controls for the finite object: the measured response is the convolution of bead emission with the effective point spread function, rather than a pure point response. Inverting this convolution model gave a response compared with the theoretical one. The smaller bead gave a weaker signal relative to noise; uncertainty in actual bead diameter also affected the restored width. These are limits of the calibration. In confocal microscopy, excitation and pinhole detection jointly determine the effective point spread function; this experiment does not measure the ideal widefield Airy disk plotted above.[ref]
For a new calibration, useful additional controls are to measure detector background, avoid saturating the photodetector, repeat the scan to check stability, and compare isolated beads at several positions in the field of view. Record wavelength, numerical aperture, pinhole setting, sampling interval and optical focus. These are practical recommendations, not extra measurements claimed for the published experiment.
Positive-energy on-shell delta function identity Created 2026-10-05 Updated 2026-10-06
For and the positive-energy branch, the root Jacobian of the Dirac delta function gives this identity. In a massless collinear parton approximation, it produces .
Proca time-ordering contact term Created 2026-10-06 Updated 2026-10-14
For a free massive Proca field in the mostly-plus Minkowski metric, the covariant inverse of the quadratic action and the canonical time-ordered product of vector potentials differ locally. With Fourier transform , the covariant Proca propagator is , while the literal canonical two-point correlation function subtracts in momentum space. The time component is nondynamical; its physical-mode numerator is , rather than . The difference is an instantaneous Dirac delta function, not another propagating state. Both expressions agree away from coincidence. This distinction matters when identifying a covariant Green function with a canonical correlator in a constrained field theory.
Resolution of the identity Created 2026-10-20 Updated 2026-10-25
A complete orthonormal basis in a Hilbert space resolves the identity as . In infinite dimension the partial sums converge strongly: their action on each fixed vector converges in norm. Generalized position and momentum eigenstates instead give distributional integral resolutions, such as , with their normalization interpreted through the Dirac delta function.
Schwarz integral formula Created 2026-10-05 Updated 2026-10-06
The Schwarz integral formula reconstructs a holomorphic function from boundary values of its real part. For a real boundary function on the complex upper half-plane satisfying , the regularized form isIts real part is the Poisson integral of . The subtraction makes the integral converge and changes only the imaginary normalization. Integration by parts, when the boundary terms vanish, gives ; jumps of are included as Dirac delta function terms in its distributional derivative.
Shot noise spectral convention 2026-10-18
Write an ideal point-transfer model using the Dirac delta function:For this arrival stream with independent increments, distinct arrivals contribute the product of the means, which cancels when centering. The same-arrival term leaves the autocovarianceIts Fourier transform gives the two-sided power spectral density, while folding negative frequencies onto positive ones gives the one-sided convention:These spectra describe , excluding the spectral line from the mean direct current. The amplitude spectral density is in ; it is not a root mean square electric current until a measurement signal bandwidth is specified. Approximate white noise requires frequencies low enough that the single-transfer pulse shape and any correlations can be neglected. Neither the ideal impulses nor a flat spectrum extending to infinity describe a real detector at every timescale.
All spectra above are per hertz, with in cycles per second. One possible angular frequency convention defines a density integrated using alone. Since , it hasAnother common convention keeps the numerical density but integrates it with . State the integration measure as well as whether a spectrum is one-sided: a change of variable and a folding of signs are separate operations.

