---
title: Palais–Smale Condition
url: https://www.emergentmind.com/topics/palais-smale-condition
type: topic
---

# Palais–Smale Condition

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 [1705.05260].

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 [1402.4630].

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 [1410.5638].

## 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** [1802.05700, 1812.00951] 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 [1402.4630]. 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 [1302.2740, 1911.03910]. 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 [1802.05700].

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 [1812.00951]. 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 [1903.05162].

## 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 [1705.05260, 1310.7743, 1907.05581, 2505.02719]. 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 [1907.05581, 1310.7743].

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 [2401.00655]. 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 [2505.02719, 2003.10133].

## 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 [1402.4630, 1812.00951]. 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 [2408.04352, 2508.04991]. 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$ [2510.10146].

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 [1410.5638].

## 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 [1302.2740, 1911.03910]. 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 [1705.05260, 1907.05581].

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 [2508.04991].

---

**References:**
- [1802.05700]: "Chang Palais-Smale condition and global inversion"
- [1402.4630]: "New Periodic Solutions for Second Order Hamiltonian Systems with Local Lipschitz Potentials"
- [1903.05162]: "A Global Diffeomorphism Theorem for Fréchet spaces"
- [1812.00951]: "Surjection and inversion for locally Lipschitz maps between Banach spaces"
- [2408.04352]: "Existence of Weak Pareto Efficient Solutions of a Vector Optimization Problem under a Closed Constraint Set"
- [2510.10146]: "A Class of Functionals on the Sequence Space $s$ Satisfying the Palais-Smale Condition"
- [1705.05260]: "Characterization of the Palais-Smale sequences for the conformal Dirac-Einstein problem and applications"
- [1907.05581]: "On a critical Kirchhoff-type problem"
- [1310.7743]: "Ambrosetti-Rabinowitz theorems revisited"
- [2505.02719]: "On the Palais-Smale condition in geometric knot theory"
- [2003.10133]: "The Palais-Smale condition for the Hamiltonian action on a mixed regularity space of loops in cotangent bundles and applications"
- [1410.5638]: "A Generalized Palais-Smale Condition in the Fréchet space setting"
- [1302.2740]: "On a functional satisfying a weak Palais-Smale condition"
- [1911.03910]: "Quasilinear problems without the Ambrosetti-Rabinowitz condition"
- [2401.00655]: "The minimal periodic solutions for superquadratic autonomous Hamiltonian systems without the Palais-Smale condition"
- [2508.04991]: "Existence of Solutions and Relative Regularity Conditions for Polynomial Vector Optimization Problems"

Source: https://www.emergentmind.com/topics/palais-smale-condition