Rigorous results on the existence of dyon solutions

The existence of finite-energy dyon solutions satisfying the Julia-Zee Ansatz and the generalization of SU(N) gauge groups is rigorously established. It is also proved that the solutions are real analytic on (0,infinity) and infinitely differentiable at zero. The proof is based on an abstract theorem that allows one to study constrained variational problems without introducing Lagrange multipliers