Generalized eigenfunction Created 2026-10-05 Updated 2026-10-06
A generalized eigenfunction solves the eigenvalue equation for a linear operator in an enlarged space, often a space of distributions, although it may fail to belong to the underlying Hilbert space. A plane wave on the whole real line is a generalized momentum eigenstate, with momentum , and is not square-integrable. This usage differs from a generalized eigenvector in a Jordan chain, where a higher power of vanishes rather than itself.
For a temporal photon wave packet , the oscillator commutator gives when . This is the negative direction of the indefinite Hermitian form, not the divergent normalization of an unsmeared momentum eigenstate. It is excluded by the physical condition in Gupta-Bleuler quantization.
The wavefunction is a plane wave and a simultaneous formal eigenfunction of the momentum operator and the time-translation energy operator:
Its momentum and energy are therefore definite, while its probability density is spatially uniform:
For a particle of mass , the probability current is , directed according to the sign of .
On the whole real line, a nonzero constant-amplitude plane wave is not square-integrable and cannot be normalised to total probability one. It represents an idealised momentum eigenstate, interpreted through generalized eigenfunctions or as a limit of wave packets. Also, arbitrary do not automatically solve the Schrodinger equation for a specified potential energy: for a free particle, , or this value plus the constant potential energy for a constant-potential region. If , the zero function is not a physical quantum state.
The oscillator-generated covariant photon Fock space has an indefinite Hermitian form, not a positive Hilbert space inner product. For a normalizable one-photon wave packet of polarization , its squared norm is proportional to . Thus gives a negative-norm photon state. The divergent of an unsmeared momentum eigenstate is a separate normalization issue, avoided by the wave packet.
Choose contravariant polarization vectors , , and two with for . The third spatial polarization is longitudinal polarization; the first two are transverse polarization. The timelike photon polarization is distinct from the longitudinal one.
The Gupta-Bleuler quantization condition sets the divergence of the positive-frequency part of a quantum field to zero on physical states:
Restore the factors to the annihilation terms. Since and , Fourier transform gives the equivalent condition
Its sign depends on the chosen sign of the longitudinal polarization vector; the covariant condition does not.
To see its content for a general Fock state, temporarily discretize momentum and decompose one unphysical oscillator sector as , where . The temporal oscillator obeys , while . The condition therefore becomes
Equivalently, the allowed finite-particle states use the transverse creation operators and only in the unphysical sector. Indeed the constraint acts on a polynomial of the two unphysical creation operators as , whose kernel consists of polynomials in their difference. Also , and a state containing is orthogonal to every constrained state because annihilates every such state. This argument applies mode by mode and extends by smearing to continuum momentum.
For one photon, is constrained only when , producing a null state. The Gupta-Bleuler null-state quotient removes these null directions. The condition excludes negative-norm physical states; quotienting its null states leaves the two positive-norm transverse photon polarizations. The condition alone gives a positive semidefinite Hermitian form, not yet a positive definite Hilbert space.
Assume a complete relativistically normalized basis of scalar momentum eigenstates transforms as
This states both reversal of spatial momentum and preservation of the normalization of basis quantum states. Antilinearity alone would not suffice: multiplying a conjugation operator by two gives an antilinear operator that multiplies squared norms by four.
Expand and similarly for , with . This Lorentz-invariant phase-space measure is unchanged under . The antilinearity of the quantum time-reversal operator gives conjugated expansion coefficients. Orthogonality of the momentum eigenstates and cancellation of their unit-modulus phases yield
Since momentum reversal is a bijection of the complete basis, is also onto. Thus
This proves antiunitarity, with the normalization hypothesis explicitly included. For scalar multiparticle quantum states the same argument uses the complete occupation-state basis and reverses all momenta; it is not restricted to a single-particle wave packet.
The vacuum has zero momentum and is invariant under translations. Hence
Thus a one-particle momentum eigenstate remains the same ray and acquires the translation phase appropriate to its momentum.
For a one-dimensional wavefunction,
The probability continuity equation is
For a stationary state , the probability density is independent of time, so and the probability current is constant in space.
For the plane wave
one obtains
This is a momentum eigenstate with momentum and, when it satisfies the free Schrodinger equation, energy . Its constant density and current describe a spatially uniform beam carrying probability in the sign of . It is not a normalizable wavefunction, so it represents an idealized state rather than a localized particle.
Insert a complete set of momentum eigenstates into the quantum-mechanical propagator:
Completing the square and evaluating the resulting Gaussian integral, with the usual i-epsilon prescription, gives the free-particle propagator
The square-root branch is fixed by requiring as .
Plane wave Created 2026-09-24 Updated 2026-09-28
A plane wave has constant amplitude and a phase linear in space and time. It is a momentum eigenstate and is not spatially normalizable.
A quantum time-reversal operator is an antiunitary operator reversing spatial momentum and angular momentum. For a time-reversal-invariant Hamiltonian operator, its conjugation of makes it intertwine forward and backward unitary time evolution without reversing the energy spectrum. A scalar momentum eigenstate may transform as . With unit-modulus phases and a complete normalized basis, expansion of arbitrary states proves antiunitarity.