Put , which commutes with both operators by hypothesis. Differentiating gives , so this conjugate is . Similarly the product conjugates to itself: the two central commutator shifts cancel. HenceWith , the operator differential equation gives . At this proves the central-commutator Baker--Campbell--Hausdorff formulaThese formal manipulations apply on a suitable common domain, or to the oscillator exponentials below where the corresponding unitary identities are well defined.
The oscillator has and . Its normalized states and energies areSince , put . Taking , gives . The formula implies . Averaging the two signs proves the requested normal ordering of the cosine.
Because , expansion of the remaining creation exponential givesOdd matrix elements vanish, the ground expectation is , and the magnitude squared for is . The nondegenerate second-order nondegenerate perturbation theory formula is . ThereforeThe negative second-order sign comes from the higher unperturbed energies in every denominator.
Articles by others on the same topic
There are currently no matching articles.