An infinite-dimensional linking theorem without upper semi-continuous assumption and its applications

We obtain a new infinite-dimensional linking theorem. This theorem replaces the upper semi-continuous assumption in the classical infinite-dimensional linking theorem of Kryszewski and Szulkin by a new assumption. As an application of this theorem, we obtain a nontrivial solution for a strongly indefinite periodic Schrödinger equation with sign-changing nonlinearity.