Although the fundamental principles of time-independent perturbation theory are well-established and widely applied, the specific treatment of degeneracy lifted to the second order remains largely unexplored. This work fills the gap by presenting a systematic derivation of time-independent perturbation theory that accounts for the added complexity introduced by non-trivial degeneracies. We provide a general procedure and corresponding formulae for calculating state and energy corrections to any order, with degeneracy lifted to the second order. Additionally, we apply these formulae to solve a prototype problem of the dressed quark system. This work not only advances the theoretical framework but also provides practical tools for tackling complex problems in quantum physics.
A formulation of Schr\"odinger perturbation theory is developed that gives a unified treatment of non-degenerate and degenerate cases, is unique, and has a nonzero radius of convergence under very general conditions. Two alternative procedures are given for finding perturbed eigenvectors, one of which is simpler for the nondegenerate case or for small finite degeneracy, the other simpler for infinite or large finite degeneracy. The low-order terms in the perturbation expansions of quantities used in applications are given. The perturbation theory formulated in this paper has the following advantages over the conventional Schr\"odinger and Brillouin-Wigner perturbation theories: (i) When the convergence criterion is satisfied, bounds on the error made in replacing an appropriate infinite perturbation series by its first n terms can be obtained. (ii) For the case of degeneracy, the conventional Schr\"odinger perturbation theory can break down under conditions to which the convergence of the perturbation theory developed in this paper are insensitive. (iii) There is no implicit dependence on the eigenvalue, such as appears in the Brillouin-Wigner perturbation theory. (iv) For the case of degeneracy, statistical information about the distribution of certain eigenvalues can be obtained without finding the individual eigenvalues. (v) The theory is applicable to a wider class of problems than the conventional Schr\"odinger and Brillouin-Wigner perturbation theories.