At constant volume, the First law of thermodynamics gives
At constant pressure,
Differentiating at fixed gives
Consequently,
and the Mayer relation is
The specific-heat ratio is therefore
For a fixed number of particles, the ideal gas equation of state is
Its internal energy depends only on temperature, and
When the heat capacity at constant volume is constant, a choice of the energy zero gives
Let be the one-dimensional Hamiltonian operator and let
be its discrete energy eigenvalues. Expanding a normalized trial wavefunction in an orthonormal energy basis,
gives
Thus the Rayleigh-Ritz variational principle gives
for every nonzero admissible trial wavefunction. One chooses a parameterized family and minimizes the quotient.
When , parity commutes with . In one dimension the nondegenerate ground state is even and the first excited state is odd. Restricting the trial family to odd wavefunctions makes every trial state orthogonal to the ground state, so
This is the odd-state variational principle for an even potential.
The unitary time evolution is
First suppose that time reversal is linear and unitary. Differentiating
at gives
and linearity permits the scalar to pass through . Hence
If , then
Thus every energy has its negative as an energy. The Coulomb Hamiltonian has arbitrarily large positive energies in its continuum, so this symmetry would force energies arbitrarily far below zero. It would have no lowest energy eigenvalue and therefore no stable ground state. This is the unitary time reversal reverses the energy spectrum obstruction.
Now let be antiunitary. It is conjugate linear, so
Differentiating the same intertwining equation gives
Therefore
Time reversal now maps an energy eigenstate to another state with the same energy:
The spectrum is preserved rather than reflected through zero, so the lower-bounded Coulomb spectrum and its stable ground state are compatible with time-reversal symmetry. This is why antiunitary time reversal preserves the energy spectrum.
The Born rule depends only on transition probabilities
between rays. A physical transformation must preserve these probabilities. By Wigner theorem, such a ray transformation is induced by a unitary or antiunitary operator. For ordinary continuously connected transformations one chooses the unitary branch, so
The states and represent the same ray. They may therefore differ by a state-independent quantum phase:
Thus quantum transformations form a projective unitary representation.
If is a symmetry of the Hamiltonian operator , it also obeys
equivalently . For a differentiable one-parameter subgroup, write
with a self-adjoint generator . Differentiating the symmetry equation at yields
For a time-independent , the Heisenberg picture equation is
Hence the generator is a conserved observable. Conversely, a self-adjoint conserved commutes with and its unitary group generates symmetries. This is the conserved generator of a continuous quantum symmetry.
When is independent of and ,
Put
The zero-curvature equation becomes
Since
we obtain the Isospectral Lax equation
Therefore, for every positive integer , the cyclic property of the matrix trace gives
These are the trace invariants of a Lax equation.
The PDE from part (b) reduces to
With , this is
To extract a nontrivial invariant, use . Writing , direct multiplication gives
The terms involving are constant, and . Hence
is a first integral. Direct differentiation verifies it:
Substitute
The off-diagonal entries of
cancel identically. Its upper-left entry is
and its lower-right entry is the negative of this. Hence compatibility is equivalent to
This is the Sinh-Gordon equation in complex light-cone coordinates.
The system prescribes both first derivatives of the same vector , so it is overdetermined: the two mixed derivatives must agree. Differentiating gives
Thus every solution satisfies
For the system to possess arbitrary nontrivial local solution data, the coefficient matrix must vanish:
This is the zero-curvature condition, or the compatibility condition for an overdetermined linear system.
At the trajectory initially moves into . Suppose had a first zero at time . Before that time , hence . Since for ,
which is incompatible with crossing from positive values to zero. Thus
for all .
The energy from part (b) decreases strictly because
Since ,
Therefore
Finally, fix . If the trajectory never entered , positivity would force for all . Then
so
which becomes negative for large , contradicting . Hence the trajectory must enter every such strip. This proves outward escape from the rational potential barrier.
Set
The stated identity gives
Hence, along the system,
Near the origin, is positive definite because for . The First Lyapunov theorem therefore gives stability.
Choose a sufficiently small compact invariant sublevel set
On we have . A trajectory can remain there only if
which occurs at . The choice excludes the two latter points, so the largest invariant subset of is the origin. LaSalle invariance principle now gives convergence to the origin. Thus, for every ,
This is an instance of damped mechanical energy as a Lyapunov function.
Let be an equilibrium point of a dynamical system. A Lyapunov function on a neighbourhood of is a continuously differentiable function such that
and whose derivative along trajectories satisfies
The First Lyapunov theorem says that the existence of such a positive-definite proves Lyapunov stability of . If away from , the Second Lyapunov theorem strengthens this to asymptotic stability.
LaSalle invariance principle says that if a trajectory remains in a compact positively invariant set on which , then it approaches the largest invariant subset of
In particular, if that largest invariant subset consists only of , every trajectory in approaches .
The reflection map from part (d) bijects paths that hit and finish below with paths whose reflected endpoint lies strictly above . Since the reflected walk has the same distribution,
Subtracting the corresponding identity at level gives
For a simple symmetric random walk,
when and is even, and it is zero otherwise. Therefore the explicit answer is
where a binomial coefficient is interpreted as zero when its lower argument is not an integer in . This is the point probability for the maximum of simple symmetric random walk.
Define
The event means that level has not been reached by time , so it belongs to . Hence is a bounded predictable process. A direct check across the hitting time gives
and therefore
Part (c) shows that is a martingale. Its increments still take values in , so part (b) shows that they are IID symmetric signs. Consequently is a simple symmetric random walk. This is the path transformation behind the reflection principle for simple symmetric random walk.
Because is previsible, is -measurable. The finite sum is therefore -measurable. Boundedness of and integrability of the martingale increments imply
Finally,
Thus
so is a martingale. It is the martingale transform of by .

There are unlisted articles, also show them or only show them.