With the physics convention , the adjoint operator is defined byThis 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 giveswhich 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 meansSufficient 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 satisfiesThe 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 givesTerms 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 isUsing wavefunction normalization therefore yieldsThus the first-order energy coefficient is the perturbation's expectation value in the unperturbed quantum state.
For this quantum harmonic oscillator, . The Gaussian integral givesThe 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,ConsequentlyandThe 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
There are currently no matching articles.