With the physics convention , the adjoint operator is defined by
This definition includes the operator domains and their boundary conditions. If is a Hermitian operator on the common domain, then . Conjugate symmetry of the inner product consequently gives
which is the required integral identity.
The boundary conditions must make the boundary form from integration by parts vanish for every pair of allowed functions. For a Schrödinger kinetic operator in one dimension, this means
Sufficient examples are decay of the functions and derivatives at spatial infinity, homogeneous hard-wall conditions at finite endpoints, or matching periodic conditions on both functions and their derivatives. The exact boundary form depends on ; square integrability alone does not replace the domain requirement.
The unperturbed Hamiltonian satisfies
The supplied eigenfunctions can be chosen as an orthonormal eigenbasis, with .
Insert the expansions into the energy eigenvalue equation . Through first order,
The zeroth-order coefficients reproduce part (i). Equating the coefficients of and moving them to one side gives
Terms involving first enter at order and do not affect this equation of first-order nondegenerate perturbation theory.
Multiply the first-order equation by and integrate. The first term vanishes because Hermitian conjugation moves the unperturbed Hamiltonian onto the known bra:
Here is real. The remaining equation is
Using wavefunction normalization therefore yields
Thus the first-order energy coefficient is the perturbation's expectation value in the unperturbed quantum state.
For this quantum harmonic oscillator, . The Gaussian integral gives
The distinction between the coefficient and the actual first-order shift matters: the energy shift is , so in the stated atomic units.
Project the first-order equation onto , with . By orthonormality and the Hermitian operator property,
Consequently
and
The numerator order is important: the question defines with on the bra, whereas projecting the correction onto state gives . The two coincide only when the relevant matrix element is real.
Excluding an component chooses , a permitted first-order phase and wavefunction normalization convention. A component parallel to is not determined by the projected equation. Nondegeneracy ensures nonzero denominators; a small energy gap can still make the perturbative expansion inaccurate unless .

Articles by others on the same topic (0)

There are currently no matching articles.