Palais–Smale Condition

• Palais–Smale condition is a compactness criterion that guarantees the convergence of critical sequences in infinite-dimensional functionals.
• Generalized variants such as Cerami and weighted (Chang–PS) conditions adapt the classical form to non-smooth and penalized settings.
• It underpins applications in global inversion theorems, nonlinear PDEs, and variational problems using tools like mountain-pass and Ekeland’s principles.

The Palais–Smale condition is a fundamental compactness criterion in nonlinear analysis, global nonlinear functional analysis, and the calculus of variations. It underpins the existence theory for critical points of functionals on infinite-dimensional spaces, with essential applications ranging from nonlinear PDEs and variational problems to global invertibility theorems and optimization in both smooth and non-smooth contexts. This article presents precise formulations, technical variants such as the Chang and Cerami–Palais–Smale conditions, their role in infinite-dimensional topology, and key consequences for analysis and geometry.

1. Classical and Generalized Palais–Smale Conditions

Let $X$ be a Banach space and $F \in C^1(X,\mathbb{R})$. The Palais–Smale condition (PS) at level $c \in \mathbb{R}$ is satisfied if every sequence $\{x_n\} \subset X$ with $F(x_n) \to c$ and $\|F'(x_n)\|_{X^*} \to 0$ admits a convergent subsequence. The global (or strong) PS condition requires this property for all bounded sequences with $\|F'(x_n)\|\to0$. This compactness is used to pass from approximate solutions (so-called PS sequences) to genuine critical points, which are solutions of the associated Euler–Lagrange equations (Maalaoui et al., 2017).

In the non-smooth (locally Lipschitz) setting, the differentiability of $F$ is replaced by Clarke's generalized gradient $\partial F(x) \subset X^*$. The PS condition translates to: any sequence with $F(x_n) \to c$ and $\min\{\|w^*\|: w^* \in \partial F(x_n)\} \to 0$ must converge up to a subsequence (Bingyu et al., 2014).

On Fréchet spaces, the PS condition uses the Keller–Michal–Bastiani $C^1$-framework and bornological duals. The criterion requires that for all sequences $(x_n)$ with $F(x_n)$ bounded and $dF(x_n)\to 0$ in the strong dual topology, a convergent subsequence exists (Eftekharinasab, 2014).

2. Weighted and Cerami–Palais–Smale Variants

Weighted PS conditions generalize the original formulation to penalize sequences tending to infinity. For a continuous, nondecreasing weight $h:[0,\infty)\to[0,\infty)$ such that $\int_0^\infty (1+h(r))^{-1}dr = \infty$, the weighted Palais–Smale (Chang–PS) condition (Gutú, 2018, Gutú et al., 2018) is:

• For every sequence $\{x_n\}$ with $F(x_n)$ bounded and $$\min\{\|w^*\|: w^* \in \partial F(x_n)\}(1+h(\|x_n\|)) \to 0$$, a convergent subsequence exists.

The Cerami–Palais–Smale condition (CPS) and its nonsmooth generalization further relax the criterion: if $(1+\|x_n\|)\|F'(x_n)\|\to 0$, then compactness is achieved (Bingyu et al., 2014). The weak PS condition, often arising in quasilinear or Orlicz–Sobolev settings, weakens further by requiring only weak norm-boundedness in a larger embedding space $F$ in addition to the usual PS conditions (Azzollini, 2013, Candela et al., 2019). See the table for comparison.

Condition	Derivative Constraint	Compactness Criterion
Standard PS	$F'(x_n)\to0$	Subsequence converges in $X$
Cerami (CPS)	$(1+\|x_n\|)\|F'(x_n)\|\to0$	Subsequence converges in $X$
Weighted Chang–PS	$A_F(x_n)(1+h(\|x_n\|))\to0$	Subsequence converges in $X$
Weak PS	$F'(x_n)\to0$, $\|x_n\|_F$ bounded	Subsequence converges in $X$
Weak Cerami–PS (wCPS)	$(1+\|x_n\|_X)\|F'(x_n)\|\to0$, $\|x_n\|_W$ bounded	Subsequence converges in $W$

3. Palais–Smale in Global Inversion and Nonlinear Analysis

A principal application of the PS condition is in global invertibility of nonlinear maps, exemplified by Hadamard-type global diffeomorphism theorems. For a local $C^1$ diffeomorphism $f:X\to Y$ between Banach spaces, setting $F_y(x) = \frac12\|f(x)-y\|^2$ yields that satisfaction of a Chang or weighted PS condition for all $y$ ensures $f$ is a norm-coercive global diffeomorphism (Gutú, 2018).

The core argument employs Ekeland's variational principle to generate minimizing Palais–Smale sequences for $F_y$, ruling out failures of injectivity via a mountain-pass lemma adapted to the nonsmooth setting (e.g., Schechter–Katriel lemma). Clarke’s generalized gradients and coercivity estimates tied to the Banach constants or pseudo-Jacobians undergird the compactness mechanism (Gutú et al., 2018). The weighted PS requirement is crucial when drift to infinity would otherwise escape compactness, generalizing the classical Hadamard integral condition.

In Fréchet spaces, the Chang Palais–Smale condition, defined via the Clarke subdifferential and a family of seminorms, is sufficient to deduce both coercivity and global invertibility of local diffeomorphisms (Eftekharinasab, 2019).

4. Palais–Smale Condition in Variational and PDE Theory

The PS condition is central to the existence theory in nonlinear PDEs by ensuring the compactness needed for critical point methods—specifically, minimax theorems such as the mountain-pass lemma, saddle-point theorems, and Nehari manifold techniques (Maalaoui et al., 2017, Harrabi, 2013, Faraci et al., 2019, Freches et al., 5 May 2025). For example, in the presence of critical Sobolev exponents, as in Kirchhoff or Dirac–Einstein problems, failure of the PS condition can lead to bubbling or loss of compactness manifest as non-compact PS sequences. Strong coercivity conditions or suitable supercriticality (such as Ambrosetti–Rabinowitz-type or its variants) are often imposed to recover PS compactness (Faraci et al., 2019, Harrabi, 2013).

In superquadratic Hamiltonian problems without coercivity or AR-type growth, PS may fail, and alternative compactness schemes—such as weak Nehari constraints or topology-based minimax arguments—are deployed (Xiao et al., 2024). The proof of existence for minimal periodic orbits, existence of minimizers, and gradient flows for geometric knot energies all exploit such PS or generalized PS conditions to guarantee convergence of approximate critical sequences (Freches et al., 5 May 2025, Asselle et al., 2020).

5. Palais–Smale Condition in Nonsmooth and Vector Optimization

Nonsmooth, locally Lipschitz variational problems—common in optimization and control—rely on the Clarke generalized gradient and the Chang Palais–Smale or Cerami–Palais–Smale conditions to operate in the absence of classical differentiability (Bingyu et al., 2014, Gutú et al., 2018). In multiobjective and nonsmooth vector optimization (including both polynomial and general problems on closed sets), versions of the PS and weak PS conditions are defined in terms of limiting subdifferential or Rabier-type criticality functions, and their satisfaction is equivalent to properness, regularity, or M-tameness on sublevels (Liu et al., 2024, Liu, 7 Aug 2025). These equivalences imply compactness of sublevel sets and ensure the existence of weak Pareto-efficient solutions under minimal assumptions such as weak section-boundedness.

6. Extensions to Fréchet and Sequence Spaces

Recent advances establish the PS condition for classes of functionals on infinite-dimensional sequence spaces, such as the Fréchet–Montel space $s$ of rapidly decreasing sequences. The $\mathcal{F}_s$-functionals, constructed as diagonal quadratic forms with convex perturbations, are shown to satisfy the Palais–Smale property, implying unique minimizers and extending to operator equations diagonalized in $s$. The PS condition is preserved under linear homeomorphisms, facilitating applications to smooth function spaces isomorphic to $s$ (Eftekharinasab, 11 Oct 2025).

In abstract Fréchet spaces and Fréchet–Finsler manifolds, the PS condition formulated via strong duals and bornologies provides a unified compactness criterion for very weakly differentiable (Keller $C^1_c$) functionals and establishes coercivity and existence of minima through Ekeland-type variational principles (Eftekharinasab, 2014).

7. Compactness Failures, Weak Variants, and Bifurcation

In Orlicz–Sobolev and highly degenerate settings, standard compact embedding may be absent, and the classical PS condition can fail. The weak PS condition—requiring only boundedness in a larger, often weaker space—extracts strong convergence by exploiting additional structure such as symmetry or sum-norms (Azzollini, 2013, Candela et al., 2019). In the context of loss of compactness, especially with critical embeddings or concentration, PS sequences may exhibit bubbling phenomena, as in Yamabe, Dirac–Einstein, or critical Kirchhoff-type problems, with the PS property restored by structural hypotheses or level constraints (Maalaoui et al., 2017, Faraci et al., 2019).

A broader perspective reveals the PS condition as a hierarchy of compactness/regularity properties linking properness, relative regularity, M-tameness, and (weak) Palais–Smale—all key to modern existence and bifurcation theory in nonlinear analysis and optimization (Liu, 7 Aug 2025).

---

References:

• (Gutú, 2018): "Chang Palais-Smale condition and global inversion"
• (Bingyu et al., 2014): "New Periodic Solutions for Second Order Hamiltonian Systems with Local Lipschitz Potentials"
• (Eftekharinasab, 2019): "A Global Diffeomorphism Theorem for Fréchet spaces"
• (Gutú et al., 2018): "Surjection and inversion for locally Lipschitz maps between Banach spaces"
• (Liu et al., 2024): "Existence of Weak Pareto Efficient Solutions of a Vector Optimization Problem under a Closed Constraint Set"
• (Eftekharinasab, 11 Oct 2025): "A Class of Functionals on the Sequence Space $s$ Satisfying the Palais-Smale Condition"
• (Maalaoui et al., 2017): "Characterization of the Palais-Smale sequences for the conformal Dirac-Einstein problem and applications"
• (Faraci et al., 2019): "On a critical Kirchhoff-type problem"
• (Harrabi, 2013): "Ambrosetti-Rabinowitz theorems revisited"
• (Freches et al., 5 May 2025): "On the Palais-Smale condition in geometric knot theory"
• (Asselle et al., 2020): "The Palais-Smale condition for the Hamiltonian action on a mixed regularity space of loops in cotangent bundles and applications"
• (Eftekharinasab, 2014): "A Generalized Palais-Smale Condition in the Fréchet space setting"
• (Azzollini, 2013): "On a functional satisfying a weak Palais-Smale condition"
• (Candela et al., 2019): "Quasilinear problems without the Ambrosetti-Rabinowitz condition"
• (Xiao et al., 2024): "The minimal periodic solutions for superquadratic autonomous Hamiltonian systems without the Palais-Smale condition"
• (Liu, 7 Aug 2025): "Existence of Solutions and Relative Regularity Conditions for Polynomial Vector Optimization Problems"