Use the dimensionless quantum phase , so that with . Work locally away from wavefunction nodes, where and are differentiable. Differentiating the wavefunction for substitution in the Time-dependent Schrodinger equation gives:
Cancel in the time-dependent equation and equate real and imaginary parts. The resulting Madelung equations are
The second equation is a Hamilton-Jacobi equation for the action , with an additional quantum potential. To see the meaning of the first, multiply it by and set . It becomes the probability continuity equation
Thus the probability density is transported by the velocity field . The Madelung equations are a local rewriting of the linear wave equation; their apparent nonlinearity comes from expressing a complex wavefunction in modulus and phase variables.
The rotational invariance of a central-potential Hamiltonian allows a simultaneous eigenstate of energy and the two-dimensional orbital angular momentum . For a separated wavefunction , the Laplacian in polar coordinates gives
The term must be a constant; write . The angular eigenfunctions can be chosen as . Single-valuedness under imposes , hence . The radial equation in the separation of a two-dimensional central-potential eigenstate is
For a real central potential and the usual real self-adjoint radial boundary conditions, the radial equation admits a basis of real solutions: real and imaginary parts of a complex solution obey the same equation and boundary conditions. Choose a real normalized radial eigenfunction. Since the plane area element in plane polar coordinates is , the normalization is
This establishes the intended separated simultaneous eigenstate form. It is not the form of every stationary state. The radial equation depends on , so the and sectors have the same energy. For , their normalized superposition
is a single-valued stationary state with that energy but is not a single angular exponential. Quantum degeneracy is precisely why separation of variables selects a convenient eigenstate basis rather than all vectors in an energy eigenspace. The printed assertion needs this qualification. The printed polar-coordinate aid also labels a gradient component tuple as a divergence; the gradient used below is the two-dimensional vector .
Use spin one-half states with , so and . At , every ferromagnetic bond has its lowest energy when adjacent spins agree. On the connected periodic chain the normalized ground states are
where . Their span is the two-dimensional ground-state subspace; any normalized superposition is another ground state. They are exchanged by the global spin-flip discrete symmetry generated by .
As , the field dominates and selects
The limiting polarized state is unique. At large finite , exchange admixes virtual spin flips, so the product state is the limiting wavefunction rather than an exact finite-field eigenstate. The bulk expansion below gives . The exact twofold degeneracy stated at should be distinguished from thermodynamic spontaneous symmetry breaking in the ordered phase: a finite chain at nonzero field can have a split pair of symmetry eigenstates.
For a trajectory connecting the degenerate minima in infinite Euclidean time, the first integral gives . The quartic double-well instanton and its reverse are
Their action is
The instanton fluctuation prefactor has dimensions of inverse time. It incorporates nonzero Gaussian fluctuation eigenvalues and the translation zero-mode Jacobian; a conventional determinant expression is
with common endpoint regularization and the prime removing the translation mode. Only its positive quantum tunnelling rate is needed here.
In the dilute instanton gas, well-separated crossings alternate in direction. Integrating ordered centers gives . A path returning to the same well has an even number, and one connecting opposite wells has an odd number. The common leading harmonic endpoint factor follows from the supplied harmonic oscillator transition kernel:
Expanding these functions gives the sums over even numbers and odd numbers, with the position-kernel normalization that its abbreviated formula suppresses. Validity requires , and , so typical crossing separation greatly exceeds an instanton width. Local anharmonic corrections replace the harmonic well energy by its perturbatively corrected value; the leading formula does not claim uniformly negligible relative error at arbitrarily large .
The two exponents identify the double-well tunneling splitting:
The superposition with an even spatial wavefunction is the lower state. Coherent quantum tunnelling removes the classical degeneracy, and the exponentially small splitting sets the long quantum tunnelling timescale.
Choose the prepared wavefunction real and positive on its support. Its normalization is
In the ramp-state expansion in a symmetric infinite well, write . Orthogonality gives
For , a primitive is . Evaluating both endpoints gives
An equivalent parity-separated form is
These formulas with are the requested explicit expansion. The convergence is in the square-integrable norm; at the idealized discontinuity at the right wall, a pointwise boundary value does not change the quantum state or its probability amplitudes.
Use the prepoint prescription for the separable Hamiltonian. Its regulated exponent is
Each momentum integration is an ordinary Gaussian integral:
Therefore the measure written in the question gives exactly
The resulting configuration integral is . This is Gaussian momentum integration in a phase-space path integral. Formally its exponent tends to the usual Euclidean kinetic-plus-potential action, but the slice-dependent factors in the measure must be retained.
For a normalized quantum-mechanical propagator, Fourier completeness uses rather than . With that normalization the configuration measure is
This differs from the raw measure by . It makes the free single-step kernel integrate to one and tend to a delta distribution as the interval tends to zero. In these formulas is fixed and are integrated for propagation from an initial wavefunction. If both endpoints are fixed, omit while retaining its slice normalization factor. The continuum expression means the limit of these measures and exponents, not a flat product of with no time-step weights.
We now address the unheaded real-time continuation. Set . The normalized short-time Schrödinger kernel gives the final-slice recurrence
The square-root branch is fixed by the usual damped Fresnel integral, or continuation from the Euclidean kernel. The hint's contains the essential time-step dependence; the constant fixes the identity limit and is included at every step.
Put . The normalized oscillatory Gaussian has moments
Taylor-expand the smooth wavefunction and the potential over one short step. Odd moments vanish, and potential-derivative corrections first contribute at order . Thus
Subtract the initial value, divide by and take the limit:
This proves the Time-dependent Schrodinger equation by the Schrödinger equation from a short-time path integral argument. Nonuniform partitions give the same limit when their largest time step tends to zero.
A phase-space path integral is defined as a limit of finite-dimensional integrals, not by assigning a classical derivative to every path. Choose , let , and set . On slice the precise prescription is
The remaining Hamiltonian term must have a compatible operator-ordering prescription. For example, evaluate at for midpoint/Weyl ordering. A prepoint prescription defines a corresponding ordering instead. This choice matters for a general mixed ; the separable kinetic-plus-potential Hamiltonian in the next part admits the usual Trotter prescription.
This is time slicing of a phase-space path integral. Integrate the intermediate and the slice momenta and only then take . Typical paths of the Euclidean path integral need not be differentiable; the finite difference is the meaning of the printed . For a fixed-endpoint kernel the initial coordinate is fixed as well, whereas propagation of a wavefunction includes an integral over that initial coordinate.
Each energy eigenstate acquires the phase under unitary time evolution. Consequently at the requested time ,
and the wavefunction is zero outside the well. Equivalently, in elementary functions,
The distinct phases retain their relative sign from the initial expansion; an overall global phase would not change measurement probabilities.
Use the normalized eigenfunctions of the infinite square well,
The sine identity expands the initial wavefunction as
The normalization factor yields precisely these coefficients. By the Born rule, the energy measurement probabilities are for and for . Thus the energy expectation is
The two probabilities sum to one, also checking the wavefunction normalization.
For a bound state, : the Hamiltonian operator is nonnegative, and an energy at or above the exterior potential does not give a nonzero normalizable wavefunction. The Time-independent Schrodinger equation and the hard wall at zero therefore give
Continuity of the wavefunction and its derivative at the finite step gives . Put and . The matching equation becomes
It requires , so solutions lie in the intervals for . Squaring, with that sign restriction retained, gives . On each such interval this function increases strictly from to infinity: its derivative is , because the second term in the numerator is positive there. Each interval therefore contributes exactly one bound state if and only if . These are the bound-state thresholds for a square well with one hard wall.
Exactly one normalizable bound state exists if and only if
The printed strict upper inequality misses the threshold case. At the upper endpoint, the prospective second state has and . Its exterior solution is constant or linear, hence is not square-integrable unless zero; the zero exterior solution and matching would force the entire solution to vanish. Thus there is still exactly one bound state at that endpoint. The strict upper inequality is valid if threshold values are additionally excluded, but that exclusion is not part of the stated assumptions.
The agreement is in the energy levels, not in electron trajectories. The Bohr model assumes a particle on a circular orbit, with orbital angular momentum quantized as . The Coulomb bound states here are spatially distributed wavefunctions with no definite classical orbit. Their probability density is spherically symmetric, and their orbital angular momentum is zero because . Their radial distributions also depend on and can have nodes. A real radial wavefunction times a global stationary phase has zero probability current, unlike the circulating point charge in the Bohr picture.
A bound state has and , since outside the delta potentials a square-integrable solution must decay exponentially. The wavefunction is continuous at each delta: a jump would produce a delta derivative in with no matching term in the equation. Integrating the Time-independent Schrodinger equation across either gives
The symmetry of the symmetric double-delta potential permits even and odd solutions. Up to a nonzero normalization factor, the even candidate is for , and outside. Its derivative jump at gives
The odd candidate is inside and outside. Its jump gives
Parity ensures the jump at as well. Put and . The continuous strictly increasing function ranges from to infinity, so there is exactly one even bound state for every . The continuous strictly increasing function ranges from to infinity, so the odd bound state of a symmetric double-delta potential exists if and only if . Strict increase follows from the allowed monotonicity facts plus the strictly increasing term . Therefore
At equality the odd limiting solution has and is not square integrable, so it is not a bound state. No nonnegative energy can supply another full-line square-integrable state, since its exterior solutions are oscillatory or affine.
Inside the infinite square well, the time-independent Schrodinger equation is . The infinite exterior potential imposes . For , the first condition leaves a sine and the second requires . A zero or negative energy gives only the zero solution under these conditions. The normalized energy eigenstates and eigenvalues are
The wavefunctions vanish outside the well, and a constant phase is immaterial. Normalization uses .
The Born rule gives the probability of as the squared coefficient of the initial state in the energy eigenstate basis. Direct integration gives
The strict energy cutoff corresponds to , so only contribute. Both coefficients equal , and therefore
The discontinuous initial wavefunction is a legitimate normalized state for this spectral probability calculation, although it is not in the Hamiltonian's differentiability domain; finite mean energy is not required to compute this probability.
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.
For a multiplication operator , . Therefore the mechanical momentum satisfies
The displayed ladder operators implicitly require , so that their denominator is real and the second is the adjoint of the first. Then and
The free longitudinal motion gives a continuous spectrum in , and the transverse Landau levels have guiding-centre degeneracy of a Landau level. For arbitrary sign of , use in the energy and . The question's normalizable wavefunctions likewise assume .
For the stated symmetric-gauge wavefunction, , whose peak for is at . Thus the largest useful angular index is about , giving
The state should also be included in the usual lowest Landau level; its omission by “positive integer” changes only an order-one term. Including the radial measure shifts the most probable radius to , again only an order-one counting correction. Boundary conditions and the tails of the wavefunctions make this a large-flux estimate, not an exact finite-disc count.
For a wavefunction , the probability density and probability current are
Multiply the Schrodinger equation by , multiply its complex conjugate by , and subtract. The real potential energy terms cancel, leaving
which is the probability continuity equation .
For a stationary state, , so and is constant in space. A normalizable wavefunction has vanishing current at spatial infinity, forcing this constant to be zero. By contrast the nonnormalizable plane wave
has stationary density and nonzero current
when .