If is measured in the rotating frame, its inertial velocity is . The masses producing the gravitational field are stationary in this frame, so their potential energy is a time-independent function . Thus kinetic minus potential energy gives the stated Lagrangian
Put . Then
Substitution in the Euler-Lagrange equation yields
The extra terms are the Coriolis acceleration, Euler acceleration, and centrifugal acceleration of a rotating reference frame.
The canonical momentum and Hamiltonian are
Accordingly, Hamilton's equations are
The repulsive force is , so the Hamiltonian is
The Hamilton's equations give and . Consequently
so the angular momentum is conserved. Moreover,
It follows that the Laplace-Runge-Lenz vector is conserved. By the Hamiltonian conservation law, these time derivatives are exactly and , so both Poisson brackets vanish.
The integrals of motion are the energy , the components of , and the components of , subject to
Taking the dot product of with gives
Therefore the polar equation of a repulsive inverse-square orbit is
where and . For a nonradial physical scattering orbit , the identity above gives , as expected for a hyperbolic Kepler orbit.
For a regular Lagrangian, define the canonical momentum and invert this relation for . Its Legendre transform is the Hamiltonian
Since , the action is
For independent variations with ,
Stationarity for arbitrary and gives Hamilton's equations and .
A Bravais lattice is the integer span of three linearly independent primitive vectors. Its reciprocal lattice consists of vectors satisfying for every lattice vector .
Translations by lattice vectors commute with the Hamiltonian. Their simultaneous eigenvalues have the form , so an energy eigenfunction may be chosen with
Thus with lattice-periodic , which is Bloch theorem. Wavevectors differing by a reciprocal-lattice vector describe the same translation character, and the Brillouin zone is a fundamental Wigner-Seitz cell of the reciprocal lattice.
The radial action is
With the variable from part b this becomes
Applying the supplied integral twice, with and , and using the root sum and products from parts b and c gives
This is the radial action of the spherical isochrone model. Rearranging,
and squaring yields the Hamiltonian in action-angle variables:
As a check, differentiating this Hamiltonian gives and the frequency ratio found in part c.
For the unperturbed Hamiltonian system, choose a conserved energy . Along the perturbed system,
The energy balance method integrates this expression around each unperturbed periodic orbit. A zero of the resulting energy change is a necessary leading-order condition for a nearby periodic orbit. A simple zero at which the drift changes from positive inside to negative outside predicts a stable orbit; the opposite change predicts an unstable one.
A continuous symmetry is a family of transformations depending continuously on parameters for which the action is unchanged, possibly up to a spacetime boundary term. For an infinitesimal field variation , a Noether current obeys
when the Euler-Lagrange field equation holds. Its Noether charge
is conserved provided the flux vanishes.
Noether theorem gives the implication from a differentiable global variational symmetry to an on-shell conserved current. A conserved current gives a conserved charge only under suitable boundary and convergence conditions. Conversely, a conserved charge generates a continuous symmetry through Poisson brackets classically or a commutator quantum mechanically when a regular Hamiltonian formulation exists. Currents can be changed by identically conserved improvement terms, and inverse Noether statements require regularity and the exclusion of such trivial currents, so the three notions are related but not literally in one-to-one correspondence.
For spacetime translations, the canonical stress-energy tensor is
For
raising the second index gives the symmetric tensor
Translation invariance gives four conserved currents , one for each fixed , and the four conserved charges are the four-momentum
is the energy and is the spatial momentum.
The Lorentz transformation variation of a scalar is generated solely by its argument. The corresponding Lorentz current is
Using and symmetry of ,
In particular, conservation of the boost charge
implies
The quantity denoted in the question is therefore the conserved momentum component , assuming the same vanishing boundary flux.
A transformation of phase space is canonical when it preserves the symplectic form, or equivalently all Poisson brackets. For one degree of freedom this is
equivalently .
Suppose a type-two generating function for a canonical transformation defines
Then
Equality of the mixed partial derivatives gives , so the transformation is canonical wherever it is locally invertible.
For
the fundamental theorem of calculus and differentiation under the integral sign give
Thus
and in particular .
For the unit-frequency simple harmonic motion, the transformed Hamiltonian is simply . Hamilton's equations become
Therefore
and transformation back gives the familiar solution
Now consider the weak quartic oscillator
Choose the modified generating function
It gives
so the transformed Hamiltonian is again . Hence and . Expanding the square root with the Taylor series gives
Differentiation with respect to therefore yields
where
Set and
Writing and expanding the inverse sine relation at gives
Expanding similarly gives
Consequently
Since , this is the required expression. The formula is understood away from turning points where and the ratio itself is singular.
For a general Lagrangian,
Along an Euler-Lagrange trajectory,
so energy is conserved when has no explicit time dependence.
For the given Lagrangian, write . At points where ,
The Euler-Lagrange equation is therefore
In expanded form its left-hand side is
The momentum has fixed magnitude,
so this is constant without needing to solve the equation of motion. The Hamiltonian is
The singular Legendre transform of a degree-one velocity Lagrangian applies here: determines only the direction of , not its magnitude, and the velocity Hessian is not invertible. Thus the usual inverse Legendre transform cannot reconstruct the Lagrangian from this Hamiltonian.
Now , so is real and
The perturbation is diagonal in this basis:
Hence the instantaneous eigenvalues are and with time-independent eigenvectors, so Hamiltonians at different times commute. In units , put
Expanding the initial state and evolving its two components gives
Taking its overlap with and simplifying gives the exact transition probability
With explicit , each phase in the final sine is divided by .
Using one even and one odd site per unit cell, Bloch theorem reduces the Hamiltonian to
Its eigenvalues are
With , the stated brackets give
and
Thus , the Lorentz-force equation with zero electric field. The magnetic interaction has been moved from the Hamiltonian into the noncanonical symplectic structure.
Within each degenerate unperturbed eigenspace of fixed , the perturbation has matrix
Its eigenvectors are and , with first-order shifts and . Thus degenerate perturbation theory gives exactly the states and energies found in part (i); again, all higher corrections vanish because the perturbation commutes with the second-oscillator Hamiltonian and is exactly diagonalized within each degenerate block.
For a one-dimensional closed energy orbit, define
After locally inverting this relation to write , use the Hamilton--Jacobi generating function
and define the angle modulo . The transformation is canonical, the Hamiltonian depends only on , and
The adiabatic-invariance principle says that if an external parameter changes on a time scale much longer than the orbital period, and no separatrix is crossed, the action remains approximately constant. Its small within-cycle changes do not accumulate at leading adiabatic order.
The nonrelativistic Schrödinger Hamiltonian uses and therefore has no massless limit; massless particles require a relativistic wave equation or quantum field theory.
Each energy component acquires its own phase:
The factor normalizes the printed rounded input; it can be omitted if the coefficients are regarded as an already normalized rounded representation.
The energy probabilities and remain constant under this time-independent hamiltonian because phase factors have unit modulus. position probabilities can nevertheless vary: interference between different energy components generally changes with their relative phases. A stationary energy distribution is not the same thing as a stationary spatial probability distribution.
The result projects the state onto the corresponding nondegenerate energy eigenstate. Immediately after an ideal measurement,
for an unobservable overall phase . Subsequent isolated evolution adds but does not mix in other energy eigenstates. A repeat ideal energy measurement gives with probability one, provided the hamiltonian is unchanged and no intervening disturbance occurs.
One consistent five-postulate formulation is the following; different textbooks group the same content differently.
The position-dependent probability density is , and its flux is the probability current. These distinguish the wave amplitude from the measurable particle flow in the following scattering problem.
An ideal cross-Kerr interaction between two single modes is , with . The number operators commute with the interaction, so this coupling changes phases without transferring photons between the modes. To implement the specified positive conditional phase, use
where within the one-photon polarization subspace. The horizontal branch has zero interacting occupation. Since , the specified conditional rotation follows. This is an ideal lossless single-mode model; an actual travelling-wave medium's bandwidth, loss and noise are not established by writing this Hamiltonian.
Use and . A coherent state has centre and variance in either optical quadrature. Multiplication of by rotates that centre anticlockwise through , keeping the coherent state noise disk unchanged. For real positive the two centres are and .
Normalize the initial polarization of an electromagnetic wave qubit. The output of the medium is
The joint state is generally an entangled state. The overlap magnitude is . The state factorizes when the amplitudes coincide, while nearly distinguishable amplitudes make the polarization nearly maximally entangled with the optical mode. Before any polarization conditioning, tracing out mode 2 gives the mixture , with no interference between branches.
Include the normalization factors in the half-wave plate map: and . The transformed joint state is
Conditioning on a vertical result and setting therefore prepares
This pure optical cat state is the conditional output; it is not the unconditioned reduced state immediately after the Kerr medium. The measurement erases the polarization label, allowing the two amplitudes to interfere. The calculated optical Wigner functions below display the resulting fringes; their negative regions are quasiprobability, not negative detection probabilities. These illustrative plots choose : the rotation panel uses , while the cat panels use the conditional Kerr rotation and three different relative phases .
The coherent-state overlap follows by expanding in the Fock basis:
Thus and
The postselection probability for Kerr-cat preparation includes both the normalized input qubit and the wave plate. At the vertical branch has zero probability and no normalized conditional state. For the remaining calculation take real, as required.
Figure 1.
Original coherent-state rotation and calculated phase-space interference of three conditional cat states
. Details.
Using , put . Directly evaluating diagonal and cross terms gives
The last quantity is the mean photon number in the conditional cat, which differs from the input coherent state mean . Since ,
However, its first moment is
which is generally nonzero. The original PDF's assertion of a zero mean for arbitrary is inconsistent with its stated pure state. Consequently its displayed expression is the second moment, not the general variance. The phase-dependent cat-state quadrature variance is
The printed result does become the variance for , notably the even and odd cat states. It could also describe an ensemble mixing equal weights of and : that different state's mean vanishes while its second moment is unchanged. Such phase averaging is not part of the specified pure-state preparation.
For nonzero finite , and . The correct quadrature squeezing condition in this quadrature is therefore
For a representative phase in , this is . If instead one applies the printed second moment as a variance, the resulting condition is , or modulo . That is sufficient, but not necessary, for the actual pure state's squeezing. For example, at , while . This explicitly tests the difference.
For a fixed phase other than modulo , expand
As the input mean number , the normalized state tends to vacuum, and
This expansion is nonuniform near the odd-cat phase. At exactly the vacuum terms cancel and the normalized odd coherent-state superposition tends to , giving , while its postselection probability tends to zero. The even coherent-state superposition at instead contains only even photon numbers and tends smoothly to vacuum.
At large input mean number, , the two coherent state branches become nearly orthogonal, and for every fixed phase. The mean tends to zero as well. This does not make the state an incoherent mixture: phase-space interference still distinguishes the ideal quantum superposition, although its contribution to this low-order moment is exponentially small. The loss of coherence in an optical cat state arises when ordinary loss reveals the branch to the environment and suppresses that interference, with factor for transmissivity .
For the especially simple even cat,
It starts at , falls to about at , and returns towards from below. The odd-cat curve decreases from towards from above. Other fixed-phase curves have the small- and large-amplitude limits derived above; for negative , squeezing ends when . In balanced homodyne detection, centre each quadrature distribution on its measured mean before inferring its variance.
Figure 2.
Calculated cat-state quadrature means, true variances, and the amplitude-dependent squeezing boundary
. Details.