Cerami Condition in Nonlinear Analysis

• Cerami Condition is a compactness criterion in infinite-dimensional Banach spaces that allows convergence of Cerami sequences via the relaxed gradient decay (1+||u||)||J'(u)|| → 0.
• It plays a key role in variational methods for nonlinear, nonlocal, and indefinite problems, especially when classical conditions like Palais–Smale or AR fail.
• The condition extends to weak and nonsmooth settings, aiding existence proofs in problems involving variable exponent, quasilinear, and resonant systems.

The Cerami Condition is a compactness criterion for critical point theory in infinite-dimensional Banach spaces, particularly relevant to nonlinear analysis, partial differential equations, and variational methods. It plays a foundational role in establishing the existence and multiplicity of solutions to nonlinear problems, especially when the classical Palais–Smale condition fails, such as in cases lacking the Ambrosetti–Rabinowitz superlinearity or monotonicity requirements. The Cerami condition is strictly weaker than the Palais–Smale condition and is essential for variational frameworks involving quasilinear, nonlocal, variable exponent, or indefinite problems.

1. Formal Definition and Basic Properties

Let $X$ be a Banach space and $J\in C^1(X,\mathbb{R})$ (or more generally, a $C^1$-functional adapted to the problem structure, e.g., on $W^{1,p}_0(\Omega)$, $H^1$, or variable exponent Sobolev spaces). For a real level $c\in\mathbb{R}$, a sequence $(u_n)\subset X$ is called a Cerami sequence at level $c$, or $(C)_c$-sequence, if

$$J(u_n) \to c, \qquad (1 + \|u_n\|)\|J'(u_n)\| \to 0.$$

The Cerami condition at level $c$ ((C)$_c$) holds if every $(C)_c$-sequence admits a convergent subsequence in $X$, i.e., there exists $u\in X$ with $u_{n_k} \to u$ in $X$ for some subsequence.

This definition has natural extensions:

• Weak Cerami–Palais–Smale Condition: In some settings (e.g., $X = W^{1,p}_0(\Omega)\cap L^\infty(\Omega)$), the convergence is required only with respect to a weaker subnorm (e.g., strong convergence in $W^{1,p}$, but not in $L^\infty$), reflecting the geometry of the problem and available compactness (Candela et al., 2019).
• Locally Lipschitz Functionals: For $f\in C^{1-0}(X,\mathbb{R})$, the derivative is replaced by the Clarke generalized gradient $\partial f(x)$ and $$(1+\|x_n\|)\min_{x^*\in\partial f(x_n)}\|x^*\| \to 0$$ is required (Bingyu et al., 2014).

Comparison with other compactness conditions:

Condition	Gradient Smallness	Sequence Boundedness	Convergence Type
Palais–Smale	$J'(u_n)\to 0$	Boundedness needed	Strong in $X$
Cerami	$(1+\|u_n\|)\|J'(u_n)\|\to 0$	Not necessarily bounded a priori	Strong in $X$
Weak Cerami (wCPS)	As above	Only in a weaker norm	Strong in weaker norm

2. Motivation and Comparison with the Palais–Smale Condition

The Cerami condition was introduced to address limitations of the Palais–Smale (PS) compactness, particularly in nonlinear variational problems where standard superlinearity or monotonicity fails:

• The PS condition at level $c$ demands that any sequence with $J(u_n)\to c$ and $J'(u_n)\to 0$ contains a convergent subsequence; this requires uniform control of the gradient and often boundedness, which may not be available in various quasilinear, strongly indefinite, or resonant settings.
• The Cerami condition relaxes gradient smallness to $(1+\|u_n\|)\|J'(u_n)\|\to 0$, allowing for slower decay of the gradient as the sequence's norm diverges, thus permitting enough "defect" at infinity yet still controlling runaway behavior (Li et al., 2014, Lam et al., 2010, Silva, 2012, Maia et al., 2018, Bonaldo et al., 2020).

A key property is that (C)$_c$ is strictly weaker than (PS)$_c$: any (PS)$_c$-sequence is a (C)$_c$-sequence, but not conversely. However, for many nonsmooth or asymptotically flat problems, Cerami compactness suffices for variational existence results.

3. Role in Variational Methods and Applications

The Cerami condition is central to a wide spectrum of variational methods, especially:

• Generalized Mountain-Pass Theorem: The Cerami condition enables the application of the mountain-pass principle for functionals lacking the classical Ambrosetti–Rabinowitz (AR) condition. In the "Cerami–Mountain–Pass" framework, the existence of a critical point at the mountain-pass level is guaranteed provided the (C) condition is satisfied at that level (Lam et al., 2010, Li et al., 2018, Bonaldo et al., 2020, Torres, 2014).
• Fountain and Dual Fountain Theorems: For obtaining infinitely many solutions or solutions with prescribed properties under weaker symmetry or compactness assumptions, the Cerami condition replaces (PS) in the hypotheses of these theorems (Bonaldo et al., 2020, Yang et al., 2022, Benslimane et al., 2021, Aberqi et al., 2022).
• Indefinite and Strongly Nonlinear Problems: In problems with indefinite quadratic forms, variable exponent differential operators, or strongly resonant nonlinearity, the Palais–Smale condition typically fails while Cerami sequences remain precompact enough for topological variational arguments (Maia et al., 2018, Candela et al., 2019, Yin et al., 2016).

4. Structural Impact in Elliptic and Nonlocal Problems

The Cerami framework is particularly effective in the following nonlinear analysis contexts:

• Variable Exponent and Nonlocal Operators: In Dirichlet or quasilinear equations with $p(x)$-Laplacian or integrodifferential structure, the AR condition may break due to spatial variability or growth at infinity. Cerami compactness is verified using delicate growth and embedding arguments, often relying on logarithmic inequalities, monotonicity, or type $(S_+)$ operator properties (Li et al., 2018, Bonaldo et al., 2020, Torres, 2014, Benslimane et al., 2021, Yin et al., 2016, Aberqi et al., 2022).
• Hamiltonian and Resonant Systems: In ODE and Hamiltonian systems with potentials lacking monotonicity, Cerami's criterion ensures compactness required for existence of periodic or resonant solutions in noncoercive settings (Li et al., 2014, Bingyu et al., 2014).
• Abstract Linking and Spectral Methods: For problems where the variational functional is strongly indefinite (no global convexity or coercivity), the Cerami sequence machinery—sometimes even absent full compactness—underpins deformation and spectral methods that produce critical points via linking (Maia et al., 2018).

5. Bypassing the Ambrosetti–Rabinowitz Condition

A primary significance of the Cerami condition is its ability to replace the AR condition in existence proofs for nonlinear problems. The AR condition,

$$\exists \mu>p,\,R>0:\;\; 0<\mu G(x,t)\leq g(x,t)t \;\; \text{for } |t|>R,$$

is classical for superlinear but subcritical nonlinearities, ensuring boundedness of (PS) sequences. In its absence:

• Alternative hypotheses such as monotonicity of $\sigma(x,t) = g(x,t)t - pG(x,t)$ together with integral controls, or suitable one-sided and super-growth conditions, sufficed to verify Cerami (not PS) compactness (Candela et al., 2019, Li et al., 2018, Yang et al., 2022).
• In the nonlocal, indefinite, or critical growth settings, the presence of type $(S_+)$ operators or compact embedding properties was crucial for proving that Cerami sequences do not escape to infinity (Bonaldo et al., 2020, Yin et al., 2016).

This methodological flexibility has extended the solvability and multiplicity theory to much broader classes of nonlinear PDEs.

6. Extensions, Generalizations, and Examples

The Cerami condition has been generalized and applied in various directions:

• Weak Variants: In some settings, only strong convergence in a subnorm (e.g., Sobolev semi-norm) is enforced, corresponding to weak Cerami–PS conditions (Candela et al., 2019).
• Nonsmooth Functionals: The Cerami–Palais–Smale condition has been reformulated for locally Lipschitz or nondifferentiable functionals using Clarke's subdifferential (Bingyu et al., 2014), allowing for Hamiltonian dynamics with nonsmooth potentials.
• Vector Optimization and Semi-algebraic Geometry: The Cerami condition for vector-valued polynomial mappings over unbounded semi-algebraic constraint sets is formulated via Rabier-type criticality at infinity, providing necessary and sufficient conditions for the existence of Pareto solutions in polynomial optimization (Duan et al., 2021).
• Examples:
  • Quasilinear elliptic equations with super-quadratic but non-AR-type nonlinearities (Lam et al., 2010, Candela et al., 2019).
  • Resonant elliptic problems where (PS) fails at a discrete set of energy levels but (C) holds almost everywhere (Silva, 2012).
  • Fractional $p$-Laplacian problems and Dirac–Laplace systems on manifolds (Torres, 2014, Yang et al., 2022).

A non-exhaustive list of representative papers confirming these applications and innovations: (Candela et al., 2019, Li et al., 2018, Li et al., 2014, Lam et al., 2010, Maia et al., 2018, Silva, 2012, Torres, 2014, Yang et al., 2022, Yin et al., 2016, Benslimane et al., 2021, Duan et al., 2021, Aberqi et al., 2022).

7. Significance and Limitations

The Cerami condition is now a standard tool in nonlinear analysis, increasing the reach of critical point theory beyond what was achievable with the more restrictive Palais–Smale requirements. It allows for the resolution of superlinear problems, especially those with degenerate, variable, or indefinite structures, and significantly weakens the assumptions needed on the nonlinear terms. Nonetheless, it sometimes yields only partial compactness (e.g., convergence in a weaker norm or loss of compactness on a measure-zero set of energy levels), and verifying Cerami—particularly in highly nonlocal or resonance situations—may still demand problem-specific analytic effort.

The Cerami condition continues to facilitate new existence, multiplicity, and qualitative results for nonlinear elliptic, parabolic, and Hamiltonian systems, both in bounded domains and on noncompact manifolds, and it is deeply integrated with recent advances in variable exponent, nonlocal, and spectral variational theory.