Palais-Smale condition for chiral fields

Abstract

The well known condition of compactness entered by R. Palais and S. Smale| - condition (C) - can be proved traditionally in rare cases, especially if it is considered the problem about critical points for functional f(u), u ∊ E on the surface {u ∊ E : F(u) = 0} with essentially nonlinear infinite dimensional F : E → E₁. However it is possible to obtain the proof by consideration of special compactifications for bounded sets from E, and subsequent testing that the limit points of any pseudocritical sequence lie not in remainder above E, but in most E. Main application is a problem for spherical fields in the bounded domains.