Mountain-Pass Theorem in Nonlinear Analysis

• Mountain-Pass Theorem is a foundational variational result that guarantees the existence of critical points in infinite-dimensional Banach spaces, essential for solving nonlinear PDEs.
• It establishes the mountain-pass geometry by showing functional values are positive near zero and negative elsewhere, with compactness ensured via PS or Cerami conditions.
• Extensions to nonlocal, fractional, and double-phase settings have broadened its applications, yielding insights into solution multiplicity and qualitative behavior in complex variational problems.

The Mountain-Pass Theorem is a foundational result in nonlinear analysis that provides a variational criterion for the existence of critical points for functionals defined on infinite-dimensional Banach spaces. It enables the construction of nontrivial solutions to nonlinear partial differential equations (PDEs) and variational problems even in nonconvex, noncoercive, or noncompact settings. The theorem has been widely generalized to Musielak–Orlicz and double-phase variational problems, variable-exponent Sobolev spaces, nonlocal and fractional diffusion problems, and settings that lack the Ambrosetti–Rabinowitz (AR) condition.

1. Classical Statement and Fundamental Variational Setting

The classical Mountain-Pass Theorem, as introduced by Ambrosetti and Rabinowitz, applies to $C^1$-functionals $I:X\to\mathbb{R}$ on a real Banach space $X$, and asserts the existence of a critical value characterized variationally by

$$c_{MP}:=\inf_{\gamma\in\Gamma}\max_{t\in[0,1]} I(\gamma(t)),$$

where $\Gamma$ consists of continuous paths connecting the origin $0$ to a point $e$ with $I(e)<0$, and $I(0)=0$ with $I(u)>0$ for small $\|u\|$. The critical point at $c_{MP}$ is guaranteed provided $I$ satisfies the Palais–Smale (PS) or Cerami condition at the level $c_{MP}$. Variants include the symmetric mountain-pass theorem, genus theory, and Morse theory for the construction of multiple or infinitely many solutions.

2. Application to Double-Phase and Variable-Exponent Problems

The Mountain-Pass Theorem has been systematically applied to models involving double-phase operators of the form

$$A(u):= -\mathrm{div}\left(|\nabla u|^{p(x)-2}\nabla u + a(x)|\nabla u|^{q(x)-2}\nabla u\right),$$

where $p,q: \Omega \to (1,\infty)$ are variable exponents, $a(x)\geq0$ modulates the phase distribution, and $\Omega\subset\mathbb{R}^n$ is a Lipschitz domain. These operators generate nonhomogeneous, nonstandard growth variational structures and are motivated by materials exhibiting spatially dependent hard/soft phase behaviors (Crespo-Blanco et al., 2021, Crespo-Blanco et al., 2022, Khamsi et al., 8 Jul 2025).

The associated energy functional is typically

$$I(u) = \int_\Omega \left(\frac{1}{p(x)}|\nabla u|^{p(x)} + \frac{a(x)}{q(x)}|\nabla u|^{q(x)}\right) dx - \int_\Omega F(x,u) dx,$$

with $F(x,u)=\int_0^u f(x,t)dt$ and $f$ often superlinear.

The theorem is applied in the following steps:

• Verification of the mountain-pass geometry: $I(0)=0$, $I(u)>0$ for small $\|u\|$, and $I(e)<0$ for some $e$.
• Proof of the PS or Cerami condition at the relevant level, relying on modular inequalities, Sobolev–Orlicz embeddings, and properties such as uniform convexity and monotonicity.
• Construction of a critical sequence via minimax characterization and extraction of a nontrivial critical point, which corresponds to a weak solution of the PDE.

These steps have been executed, for instance, to produce positive, sign-changing, and multiple solutions for double-phase problems with variable exponents (Crespo-Blanco et al., 2022), including cases with singular Hardy-type weights (Avci, 4 Jan 2026).

3. Theorem under Weak Compactness and the Cerami Condition

For settings where the PS condition is not available—particularly under nonlinearities lacking the Ambrosetti–Rabinowitz growth—Cerami's $(C)$-condition is imposed. A sequence $\{u_k\}$ is called a Cerami sequence if $I(u_k)$ is bounded and $(1+\|u_k\|)\|I'(u_k)\|\to0$. This relaxation enables the use of the Mountain-Pass framework for fractional, nonlocal, or singular double-phase problems with variable exponents, even without AR-type conditions (Biswas et al., 2021, Aberqi et al., 2023).

The extension to nonlocal (fractional) double-phase problems involves energy functionals defined on fractional Sobolev spaces with modulars involving integrals such as

$$\iint_{\Omega\times\Omega} \frac{|u(x)-u(y)|^{p(x,y)}}{|x-y|^{N+s(x,y)p(x,y)}} dxdy + \iint_{\Omega\times\Omega} a(x,y) \frac{|u(x)-u(y)|^{q(x,y)}}{|x-y|^{N+s(x,y)q(x,y)}} dxdy,$$

further increasing the analytical complexity.

4. Illustrative Examples and Non-Variational Scenarios

Concrete applications include:

• Ginzburg–Landau type equations with convection, where the reaction includes a first-order term $f(x,u,\nabla u) = -\nu\cdot\nabla u$; variational existence is recovered via a monotonicity method, but mountain-pass reasoning underpins the generalized critical-point analysis (Avci, 22 Feb 2025).
• Power-type and logarithmic nonlinearities, where generalized growth scenarios require careful verification of the mountain-pass geometry, often using cut-off functions and precise modular estimates (Crespo-Blanco et al., 2022, Arora et al., 29 Jan 2025).

Some treatments extend to non-variational contexts, utilizing Browder–Minty theory and Minty–Browder pseudomonotone operator theory to establish mountain-pass type results under monotonicity and coercivity, including circumstances where the energy functional is not strictly variational (Avci, 22 Feb 2025).

5. Multiplicity and Nodal Solutions via Mountain-Pass and Minimax Structures

In double-phase settings with variable exponents, mountain-pass and minimax approaches have been used to produce:

• Pairs of constant sign solutions (via truncation and application of the theorem to one-sided variants of the energy functional).
• Nodal (sign-changing) solutions, constructed via minimization on the Nehari manifold and variants of the mountain-pass structure, sometimes with information about the number and structure of the nodal domains (Crespo-Blanco et al., 2022, Aberqi et al., 2021).
• Infinitely many solutions by combining mountain-pass arguments with genus theory, symmetric mountain-pass theorems, or Morse-theoretic critical group computations, particularly in fractional, singular, or nonlocal double-phase frameworks (Aberqi et al., 2023, Ha et al., 2023).

6. Extensions to Critical Growth, Double-Phase, and Nonlocal Functionals

The Mountain-Pass Theorem's role extends to settings with generalized or critical growth, such as double-phase critical integrands: $$G^*(x,t) = |t|^{p^*(x)} + a(x)|t|^{q^*(x)}, \quad p^*(x) = \frac{n p(x)}{n - p(x)}, \quad q^*(x) = \frac{n q(x)}{n - q(x)},$$ and functionals involving criteria for optimal Sobolev embedding and concentration-compactness principles. Multiplicity results and critical-point theory for such functionals were obtained via mountain-pass, truncation, and genus arguments, requiring delicate embedding and modular inequalities in Musielak–Orlicz–Sobolev spaces (Ha et al., 2023, Arora et al., 29 Jan 2025).

7. Summary Table: Core Features

Feature	Classical Theorem	Double-Phase/Variable Exponent Extension
Underlying space	Banach/Sobolev	Musielak–Orlicz, Variable Exponent, Fractional
Functional structure	$I\in C^1$, PS/Cerami	Modular functionals, relaxations of PS
Main compactness tool	PS/AR condition	Cerami condition, (S₊)-property
Typical nonlinearity	Superlinear, bounded below	Non-AR, critical, or singular
Multiplicity mechanism	Symmetry, genus, Morse theory	Nehari splitting, genus, critical groups

The theorem's flexibility—in adapting to spaces and functionals with variable or double-phase growth, lower regularity, or nonlocal terms—has rendered it pivotal in demonstrating existence, multiplicity, and qualitative properties of weak solutions for a wide class of nonlinear elliptic, fractional, and variational problems (Crespo-Blanco et al., 2022, Avci, 22 Feb 2025, Biswas et al., 2021, Aberqi et al., 2023, Khamsi et al., 8 Jul 2025, Arora et al., 29 Jan 2025).