The incident plane wave is periodic in , so expand it as a Fourier series . Substitution into the Helmholtz equation, with , gives the radial Bessel differential equation
Regularity at the origin selects the Bessel function of the first kind, rather than the singular second solution. Thus
The coefficients are independent of ; their values follow from matching near the origin in the next part. The completed identity is the Jacobi-Anger expansion.
The incident plane wave carries probability current . For the separated outgoing wave from the previous part,
The rate through a distant arc is . Dividing by incident flux defines the differential two-dimensional scattering cross-section,
Because is dimensionless, has units of length, as appropriate for scattering in a plane.
Outside a short-range scattering region, the stationary Schrödinger equation reduces to the two-dimensional Helmholtz equation. Separation in polar coordinates gives outgoing radial Hankel functions, whose large- dependence is . The same power follows from conserved probability current: a circle has length proportional to , so the squared outgoing amplitude must decrease as .
For an incident plane wave in the direction, adopt the dimensionless amplitude convention
The phase and factor specify the definition of ; they can be absorbed into a differently normalized scattering amplitude. Here they are kept exactly so that the later two-dimensional scattering cross-section follows consistently.
For fixed , write . The bound contribution to the quantum propagator of an attractive delta potential remains . For its continuum, the stationary phase is at , where . The Gaussian oscillatory integral and its derivative give
Consequently
The continuum decays as , but the full kernel has a persistent oscillating bound state contribution and no ordinary complex limit. This expansion requires ; it is not uniform in the zero-coupling limit, where the bound state disappears and the free kernel instead decays as .
At the origin, the normalized bound state in a delta potential contributes , and the odd scattering eigenfunctions contribute zero. The even continuum functions from the preceding part have
Their energy is . Inserting these weights into the spectral resolution of a quantum propagator, and using evenness to extend the integral to the whole real axis, yields for
This is the quantum propagator of an attractive delta potential. The printed continuum exponent has an extra factor of : its time phase must be . This correction also makes the exponent dimensionless. Oscillatory integrals are understood with an infinitesimal positive convergence factor before taking its limit.
Choose the even-channel scattering phase shift convention for . The delta potential derivative jump gives
so, choosing the branch that tends to zero as ,
An odd scattering eigenfunction is : it vanishes at the interaction and its derivative is continuous, so it acquires no scattering phase shift. These parity channels, with the bound state, give the continuum part of the spectral resolution of a quantum propagator.
Away from the delta potential, the decaying bound state obeys . Integrating the Schrödinger equation across the attractive interaction gives
For an even exponential, the left side is . Therefore
The normalized bound state in a delta potential is , since . The single positive solution for gives one bound state; an odd decaying wave cannot be both continuous and nonzero with this interaction.
For a time-independent Hamiltonian operator, the time-evolution operator is , with . Insert its resolution of identity in normalized energy eigenstates:
Since , the retarded quantum propagator in the question is
The Heaviside step function imposes the chosen retarded convention. If the Hamiltonian operator has a continuous spectrum, the spectral sum includes its continuum integral; it must not be restricted to bound states. The spectral resolution of a quantum propagator also shows that tends to as . With the step factor it obeys ; the corresponding Green function with a unit delta source is .
For , the quantum Gibbs state is diagonal in the basis. Its two probabilities are proportional to . Thus
At small inverse temperature, . As a function of , the normalized spin component is the smooth odd curve : it crosses zero at and saturates at . As a function of its direction is reversed if . For , positive temperature favors , while negative temperature gives the inverted population.
Figure 1.
Thermal spin one-half polarization versus dimensionless inverse temperature
. Original plot of , with . For , the negative- half corresponds to negative temperature. Dashed lines mark the fully polarized limits. Details.
Specify the magnetic coupling before fixing its sign: let the magnetic moment be , where is a signed gyromagnetic ratio. The Zeeman effect gives . For spin one-half, , so with and ,
This is the quantum Gibbs state. Its eigenvalues are , so its purity is . For nonzero level splitting it approaches a pure state as : positive inverse temperature selects the lower energy, while negative inverse temperature selects the upper one. It is a maximally mixed state at , including infinite temperature or zero magnetic splitting. At zero field the Gibbs state remains ; lowering temperature alone does not select a unique pure state from that degeneracy.
Negative temperature is meaningful for an internally equilibrated spin sector with a bounded energy spectrum and population inversion. It must be sufficiently isolated from unbounded motional degrees of freedom: the oscillator's unbounded spectrum, for instance, makes its partition sum diverge at negative inverse temperature. The two-level spin partition sum itself stays finite for either sign.
The quantum state is continuous through a sudden finite-force quantum quench, so it is still at . Define
The new Hamiltonian operator is . The old Fock vacuum obeys , so the coherent state after shifting an oscillator equilibrium rotates with amplitude relative to the new equilibrium. In the original oscillator basis, the full state is
One way to obtain the phase is to write
and apply the displacement operator composition rule. The coherent-state oscillator expectation values give
The position uncertainty stays . These mean values obey the forced classical equation, while the nonzero variance retains the quantum width.
A normalized oscillator coherent state is an eigenstate of the annihilation operator, . Expanding it in Fock states gives
Since , , and , the variance is . Hence
independently of the complex amplitude .
For and , the commutator is the scalar . The Baker--Campbell--Hausdorff formula therefore terminates and gives the displacement operator
Because , applying it to the Fock vacuum yields exactly the Fock state expansion above:
For a general complex , its complex conjugate is required in the annihilation term. The expression with printed in the paper is valid when is real.
Complete the square in the potential energy. With ,
The quantum harmonic oscillator is translated without changing its level spacing. If is its normalized unforced energy eigenstate, then
Equivalently, . The ground state position is centered at , and its position uncertainty remains .
For distinct positive integers , use normalized box modes and . Their contact interaction overlaps obey
Unlike traveling ring modes, these standing modes also allow pair conversion. For the first two box modes, or any distinct pair without a third-harmonic resonance, the contact interaction between two box modes is
The last two terms change an individual mode occupation number by two while conserving total particle number. Thus the Hamiltonian operator is not diagonal in the Fock state basis, and minimizing diagonal entries alone does not find its ground state. For example, at with no dispersion, has the lowest energy , below either unmixed endpoint's .
The wording permits modes beyond the first two. For completeness, the identity gives
When , add ; when , add . These extra terms change an individual occupation number by one and require diagonalizing the corresponding fixed- matrix as well.
Add the one-particle energy term . It is diagonal in the same Fock state basis as the contact interaction between two ring modes. For , the ordered basis gives
For , the middle eigenvalue exceeds the mean of the two endpoint eigenvalues by , so it cannot be the smallest. The ground state is therefore if , and if , with
If , every normalized linear combination of the two endpoint Fock states is a ground state. The same endpoint argument works for general fixed , since the interaction contribution is a concave quadratic function of the mode occupation number.
At fixed particle number , write and . The contact interaction between two ring modes has energy eigenvalues
For , the nonnegative product is minimized at the endpoints. Consequently
For this is a two-dimensional degenerate ground state subspace. instead has the unique Fock vacuum. In this projected model, putting all particles into one traveling mode avoids the extra exchange contribution paid when both distinct modes are occupied.
For the alternative coefficients, put and . Then is again minimized at , with . Evenness of is unnecessary for this result; the balanced Fock state maximizes this attractive-interaction energy instead of minimizing it.
Normalize the ring modes as , with distinct and integers . Inserting into the contact interaction gives
Orthogonality makes when , and zero otherwise: this is momentum conservation in the projected Hamiltonian operator. There is one all-mode-1 term, one all-mode-2 term, and four mixed terms with one particle in each mode. A pair conversion between distinct ring modes would require and therefore vanishes.
Using and yields the contact interaction between two ring modes,
The factor four comes from two independent choices of ordering for the creation operators and annihilation operators. This is the two-mode projected model; a full ring contact interaction can also scatter particles into other modes while conserving total momentum.
In second quantization, expand the annihilating quantized field in a complete orthonormal basis of one-particle states, . At equal times, the canonical commutation relation for bosons and the canonical anticommutation relations for fermions are, respectively,
and
Here is a Dirac delta distribution. Multiplying by the basis wave functions and integrating gives for bosons, or for fermions; the two-annihilator and two-creator brackets vanish in the corresponding convention.
The mode number operator and total particle number operator are
The bosonic occupation numbers are . For fermions, and the canonical anticommutation relations imply , so the fermionic occupation numbers are only and , as required by the Pauli exclusion principle.
Keeping only two modes later is a projection: the projected field bracket is , rather than the full Dirac delta distribution.
Above the threshold, , the square root in part (d) is real. Both fields oscillate, but the first has envelope and the second . Thus the first is damped and the second amplified.
Below the threshold, set . The temporal factors are
They are nonoscillatory. For nonzero , , so both first-field branches decay and both second-field branches grow. At , one branch is constant; the other is for or for .
At equality, the repeated temporal root gives for the first field and for the second. The full two-field system is generically unstable on both sides because of the amplified sector. This is compatible with its autonomous Lagrangian: the total conserved energy is an indefinite quadratic form, rather than a positive energy forcing every component to remain bounded.
The velocity coupling changes the momenta and the undifferentiated field terms. Variation with respect to gives the equation for :
so the two Euler-Lagrange field equations are
They describe damped and antidamped fields from an antisymmetric velocity coupling. With the convention , their characteristic equations are
Thus the dispersion relations and modes are
For each spatial Fourier mode, the general solution is the linear combination of its two temporal branches; spatial superposition gives the general field. Take real parts or suitable complex conjugate pairs to obtain the required real fields. At the repeated-root threshold, the independent second temporal solution contains an extra factor , as detailed next.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact