Non-Standard Functional Setting

• Non-standard Functional Setting is a framework in which variational methods depart from classical differentiability and coercivity, incorporating constraints like the Pohožaev identity.
• It addresses challenges in blow-up, energy concentration, and noncompactness, applying localized functionals and finite-dimensional reductions to critical and nonlocal PDEs.
• The approach combines multiple constraints, such as Nehari–Pohožaev manifolds and nonsmooth critical point theory, to ensure existence and minimality of solutions.

A non-standard functional setting refers, within the calculus of variations and nonlinear PDEs, to frameworks in which variational and critical point arguments depart significantly from classical smooth, coercive, or locally compact settings. Such scenarios arise naturally when the energy functional is non-differentiable, the domain or the data are irregular, or extra algebraic (often integral) constraints—such as the Pohožaev identity—are incorporated into the problem to enforce necessary conditions for solvability, regularity, or minimality. These settings typically require the injection of new analytical tools—nonsmooth critical point theory, fractional calculus, or local Pohožaev identities—to address the loss of standard variational properties and to correctly capture solution structure. The rigorous treatment and exploitation of non-standard functional settings have underpinned recent advances in critical and supercritical elliptic and nonlocal equations.

1. Core Concepts: The Pohožaev Identity and Functional Constraints

At the heart of many non-standard functional settings is the Pohožaev identity, an integral constraint derived from multiplier methods (notably, multiplication by generators of symmetries such as dilations or translations) applied to the governing differential equation. For second-order semilinear problems of the form

$$\Delta u + h(x)u = f(u)\quad\text{in}\ \Omega,\quad u=0\ \text{on}\ \partial\Omega,$$

the classical Pohožaev identity in smooth bounded domains reads

$$\frac{n-2}2\int_\Omega (x\cdot\nabla u)f(u)\,dx - \frac n2\int_\Omega F(u)\,dx + \frac12\int_{\partial\Omega} (x\cdot\nu)|\nabla u|^2 - (x\cdot\nabla u)(\nu\cdot\nabla u)\,dS = 0,$$

where $F(u) = \int_0^u f(s)\,ds$ and $\nu$ is the outward normal (Druet et al., 2022). Pohožaev-type identities generalize to nonlocal, fractional, or quasilinear equations and become central when energy minimization alone is insufficient to characterize nontrivial solutions.

In non-standard settings, one often requires a solution to satisfy the PDE and, in addition, an accompanying Pohožaev-type constraint: either as an explicit algebraic or integral criterion (the "Pohožaev constraint"), or as a geometric restriction (e.g., solution lies on a Pohožaev manifold, or a combined Nehari–Pohožaev manifold). This dual constraint structure is crucial in establishing existence, uniqueness, or qualitative properties of solutions.

2. Blow-up, Localization, and Non-Compactness

Non-standard functional frameworks frequently arise in the analysis of blow-up, energy concentration, or critical/multibubble solutions for supercritical or nonlocal problems. The lack of compactness—a canonical issue in critical and supercritical elliptic theory—necessitates local analysis and the introduction of localized functionals and identities.

For example, in critical Hartree or Choquard equations with nonlocal nonlinearities,

$$-\Delta u = K(|x'|, x'')\Big(|x|^{-\alpha}*(K|u|^{2^*_\alpha})\Big)|u|^{2^*_\alpha-2}u \quad \text{in }\mathbb R^N,$$

local Pohožaev identities are constructed over neighborhoods of concentration points and yield coupled algebraic constraints that determine the location and scaling of solution "bubbles" (Cassani et al., 7 Feb 2024, Gao et al., 2022). These local constraints encode the leading order solvability conditions for each bubble and, via finite-dimensional reduction, lead to the existence of families of solutions indexed by the number of bubbles or their geometric parameters.

Analogous phenomena occur in green function blow-up analysis, where the Pohožaev identity for the Green function expansion at blow-up points enables exclusion of certain energy concentrations and constrains the possible limiting profiles (Druet et al., 2022).

3. Combined Manifolds: Nehari–Pohožaev and Constrained Minimization

Non-standard variational problems often impose, in conjunction with standard critical point identities (e.g., Kirchhoff or Nehari identities), the vanishing of the Pohožaev functional. For systems of the type

$$\begin{cases} -\Delta u + A(x)u - \frac12 \Delta(u^2)u = \frac{2\alpha}{\alpha+\beta}|u|^{\alpha-2}u|v|^\beta, \ -\Delta v + B(x)v - \frac12 \Delta(v^2)v = \frac{2\beta}{\alpha+\beta}|u|^\alpha |v|^{\beta-2}v, \end{cases}$$

one defines both a Nehari functional,

$N(u,v) = \langle I'(u,v),(u,v)\rangle = 0,$

and a Pohožaev functional $P(u,v) = 0$, and seeks minimizers of the energy restricted to the intersection

$$\mathcal{M} = \{(u,v) \in X\setminus\{0\} : N(u,v) = 0,\, P(u,v) = 0\}.$$

Ground states are then obtained as constrained minimizers on $\mathcal{M}$ (Chen et al., 2023, Chen et al., 2023). The existence and characterization of such ground states generally relies on scaling arguments ensuring that, for any nontrivial pair $(u,v)$, there exists a unique rescaling for which both constraints are satisfied and the energy is minimized.

The simultaneous enforcement of multiple natural constraints is a distinguishing feature of non-standard settings and is essential for the selection of truly minimal or physically relevant solutions.

4. Fractional and Singular Variational Structures

A non-standard functional setting is especially prominent in fractional and/or nonsmooth variational frameworks. For instance, in the paper of normalized solutions to fractional Schrödinger equations of sublinear or logarithmic type,

$$(-\Delta)^s u + \mu u = g(u), \quad \int_{\mathbb{R}^N} u^2\,dx = m,$$

with merely continuous or sublinear nonlinearities, the action functional is not Frechét differentiable; $u\mapsto \int G(u)$ is only lower semicontinuous. Direct minimization on the mass-constrained sphere $S_m$ is no longer viable, so an unconstrained Lagrangian is posed in the product space $\mathbb{R}\times H^s(\mathbb{R}^N)$: $$I^m(\mu, u) = \frac12 \int |(-\Delta)^{s/2}u|^2\,dx + \mu\left(\int u^2\,dx - m\right) - \int G(u)\,dx,$$ and the Pohožaev constraint is incorporated via the submanifold

$$\mathcal{P} = \{(\mu, u) \in \mathbb{R} \times H^s(\mathbb{R}^N)\setminus\{0\} : P(\mu, u) = 0\},$$

where $P(\mu, u)$ encodes the fractional Pohožaev identity (Gallo et al., 31 Mar 2025). The existence proof leverages a simultaneous approximation and variational argument, combining coercivity, compactness in the radial setting, and technical tools such as the fractional Gagliardo–Nirenberg inequality.

This approach demonstrates the emergence of non-standardity both at the level of functional regularity and in the geometrization of the solution search by constraints not reducible to standard criticality or coercivity.

5. Pohožaev Obstruction and Stability under Functional Perturbations

A major theme in non-standard functional frameworks is the stability or fragility of Pohožaev-type nonexistence results under perturbations of the coefficients or nonlinearities, especially with respect to function norms different from classical smooth or Sobolev settings. For semilinear Dirichlet problems in dimension three, the Pohožaev obstruction is stable under small $C^{0,\eta}$ perturbations but fails (i.e., nontrivial solutions appear) under arbitrarily small $L^\infty$ or $L^3$ perturbations—even in radial settings:

• $C^{0,\eta}$-stability: The obstruction survives Hölder perturbations; no positive solutions exist when $\|h-h_0\|_{C^{0,\eta}}$ is small (Druet et al., 2022).
• Failure of $L^\infty$-stability: For every $\varepsilon > 0$, one can construct $h$ with $\|h-h_0\|_{L^\infty} < \varepsilon$ such that positive solutions arise.
• Radial refinements: For the unit ball, $L^p$ radial stability holds for $p>3$ but fails at $p=3$; the obstruction is thus sensitive to integrability and symmetry.

This demonstrates that the standard variational landscape is modified by the choice of topology in which perturbations are measured, leading to non-standard functional behavior and requiring tailored analytic arguments, such as blow-up and bubble analysis.

6. Local Pohožaev Identities and Finite-Dimensional Reduction

Local versions of the Pohožaev identity play a vital role in non-standard settings where solutions are constructed via gluing or concentration procedures, particularly in nonlocal or critical equations. By applying vector-field multipliers in localized domains around concentration points, one obtains a finite system of algebraic constraints for the modulation parameters (location, scaling, number of bubbles, etc.) (Gao et al., 2022). For critical Choquard-type nonlinearities, this approach yields a full correspondence between the infinite-dimensional PDE and a finite set of equations for the geometric variables, allowing the construction of families of high-energy or multi-bubble solutions.

Key phenomena are captured in the following structure, typical for non-standard reductions:

Methodology	Key Constraint	Role in Problem Structure
Local Pohožaev identities	Algebraic conditions on bubble moduli	Ensures balance of nonlocal/nonlinear terms
Finite-dimensional reduction	Existence of critical points (parameters)	Proves existence of special solution configurations
Topological degree arguments	Nontriviality of zero sets	Invokes Brouwer degree to guarantee solutions

This framework transcends standard minimization and demonstrates the power and necessity of non-standard functional settings in capturing the full solution structure of critical, nonlocal, and otherwise noncompact problems.

7. Analytical and Technical Ingredients

Non-standard functional settings intensify demands on analytical tools:

• Nonsmooth critical point theory: Lower semi-continuity, directional (Gâteaux) differentiability, and variational techniques for non-differentiable functionals are essential, as in fractional sublinear problems (Gallo et al., 31 Mar 2025).
• Fractional calculus and compact embeddings: Fractional cut-off lemmas and Gagliardo–Nirenberg inequalities are exploited for manipulating nonlocal energies in problems outside the classical Sobolev context.
• Concentration–compactness and Lions-type lemmas: To address loss of compactness in unbounded domains, these tools aid in bypassing dichotomy/vanishing phenomena and in extracting nontrivial limits in minimizing sequences under combined constraints (Chen et al., 2023, Chen et al., 2023).

These techniques are not mere technicalities; they are necessitated by the breakdown of classical structures and are characteristic of non-standard functional settings.

---

Non-standard functional settings, as delineated above, encompass the emergence, application, and necessity of auxiliary constraints—frequently Pohožaev-type identities and their local or geometric refinements—in directing the analysis and construction of solutions in nonlinear PDEs, particularly in critical, supercritical, nonlocal, and fractional frameworks. The contemporary literature demonstrates the diversity, subtlety, and depth of these methods and confirms their central place in modern nonlinear analysis (Druet et al., 2022, Gallo et al., 31 Mar 2025, Cassani et al., 7 Feb 2024, Chen et al., 2023, Chen et al., 2023, Gao et al., 2022).