Multiplicity of critical orbits to nonlinear, strongly indefinite functionals with sign-changing nonlinear part

We show an abstract critical point theorem about existence of infinitely many critical orbits to strongly indefinite functionals with sign-changing nonlinear part defined on a dislocation space with a discrete group action. We apply the abstract result to a Schrödinger equation $$-\mathrm{\Delta }u+V(x)u=f(u)-\lambda g(u)$$ with $0$ in the spectral gap of the Schrödinger operator $-\mathrm{\Delta }+V(x)$, that appears in nonlinear optics, as well as to the equations with singular potentials arising from the study of cylindrically symmetric, electromagnetic waves to the system of Maxwell equations.