针对规范Abelian Skyrme带电涡旋模型采用不定泛函的约束变分法,得到不定泛函的临界点的存在性,进一步证明泛函的临界点就是相应Euler-Lagrange方程组的弱解.通过正则性分析,证明泛函的临界点即为Euler-Lagrange方程组的经典解.