Generalized Pohozhaev's Identity

• Generalized Pohozhaev's Identity is a class of integral identities that relate bulk integrals to boundary terms in various differential and nonlocal operators.
• They extend classical proofs to include fractional, anisotropic, and degenerate settings, thereby enabling nonexistence, uniqueness, and rigidity results.
• The framework incorporates generalized vector fields and geometric tensorial methods to capture invariance and conservation laws in complex operator scenarios.

Generalized Pohozhaev's Identity is a fundamental class of integral identities in analysis, partial differential equations, and geometric variational problems. These identities express a balance between bulk and boundary terms for solutions of differential, fractional, or nonlocal equations, often encoding invariance properties such as scaling, conformal, or variational symmetries. Their scope now encompasses not only classical second-order PDEs but also wide classes of nonlocal, degenerate, anisotropic, sub-Riemannian, and geometric settings. Generalized Pohozhaev identities provide powerful constraints, enabling nonexistence, uniqueness, and rigidity results for nonlinear equations, as well as quantitative structure theorems in geometric analysis.

1. Classical and Fractional Pohozhaev Identities

The foundational Pohozhaev identity for a semilinear Dirichlet problem,

$$-\Delta u = f(u) \quad \text{in } \Omega, \quad u|_{\partial\Omega}=0,$$

takes the form

$$(n-2)\int_{\Omega} u f(u)\,dx + 2n\int_\Omega F(u)\,dx = \int_{\partial\Omega} (\partial_\nu u)^2(x\cdot\nu)\,d\sigma,$$

with $F(u)=\int_0^u f(s)ds$. For fractional Laplacians, the identity generalizes to

$$(2s-n)\int_\Omega u f(u)\,dx + 2n \int_\Omega F(u)\,dx = \Gamma(1+s)^2 \int_{\partial\Omega} \left(\frac{u}{\delta^s}\right)^2(x\cdot\nu)\,d\sigma,$$

where $0 < s < 1$ and $\delta(x)$ is the distance to the boundary (Ros-Oton et al., 2012). The right-hand side boundary term involves the quotient $u/\delta^s$, which plays the role of a fractional Neumann trace, and the scaling constant $\Gamma(1+s)^2$ arises naturally from the underlying singular behavior near $\partial\Omega$.

Further extensions to higher order fractional Laplacians $(-\Delta)^s$ for $s>1$ (Ros-Oton et al., 2014), anisotropic kernels (Ros-Oton et al., 2015), and $x$-dependent pseudodifferential operators (Grubb, 2015) have been formulated, always preserving the structure where the boundary quotient $u/d^s$ encodes the relevant nonlocal flux.

2. Generalizations via Vector Fields and Operator Geometry

The reach of Pohozhaev identities extends well beyond scalar, translation-invariant settings. For operators driven by families of homogeneous Hörmander vector fields $X_1, ..., X_m$ with sub-Riemannian geometry, (Biagi et al., 2020) proves that for solutions to second- and fourth-order variational Euler-Lagrange equations, the identity

$$\int_\Omega\left[ Q F - (F_p, X u)\right]\,dx + \int_{\partial\Omega}F (T, \nu)\,dS - \int_{\partial\Omega}T(u) (F_p, \nu_X)\,dS = 0$$

holds, where $T$ is the homogeneity generator and $Q$ the homogeneous dimension. This structure reduces to the classical Pohozaev identity when the geometry is Euclidean.

For degenerate operators such as the Grushin-type sub-Laplacian, Pohozaev identities reflect the asymmetric scaling between horizontal and vertical variables, yielding additional interior curvature-like terms tied to the degeneracy parameter (Wei et al., 26 Jul 2025).

In the context of Finsler and quasilinear anisotropic operators,

$$-\operatorname{div}(B'(H(\nabla u)) \nabla H(\nabla u)) = g(x, u)$$

the identity balances bulk integrals involving the anisotropic energy density $B(H(\nabla u))$ and its derivatives with boundary terms expressing both normal and tangential components relative to the geometry of $H$ (Montoro et al., 2022). This flexible structure subsumes classical $p$-Laplace, weighted, and fully nonlinear settings.

3. Nonlocal and Fractional Frameworks

The proliferation of nonlocal operators has led to fully generalized Pohozhaev identities involving double integrals, singular kernels, and weighted nonlocal boundary analogues. For the regional fractional Laplacian in a bounded domain, a weighted Pohozaev-type identity is established with a remainder term capturing the nonlocal obstructions and interior regularity (Djitte, 29 Jul 2025). For the full fractional Laplacian, a master formula involving arbitrary globally Lipschitz vector fields $X$ is given by

$$\Gamma(1+s)^2 \int_{\partial\Omega} \psi_u^2 (X\cdot\nu)\,d\sigma = 2\int_\Omega F(u) \operatorname{div} X\,dx - \mathcal{E}_X(u,u),$$

where $\psi_u = u/\delta^s$ and $\mathcal{E}_X(u,u)$ is a nonlocal energy term involving the bilinear kernel $K_X(x,y)$ (Djitte et al., 2021). This general construction enables the deduction of standard Pohozhaev identities by suitable specialization, and underpins analytic tools for supercritical nonexistence, eigenvalue sensitivity to domain perturbations, and multiplicity structure for radial eigenfunctions.

In the case of anisotropic fractional operators,

$$L u(x) = P.V. \int_{\mathbb{R}^n}(u(x+y)+u(x-y)-2u(x))\,\frac{a(y/|y|)}{|y|^{n+2s}}\,dy,$$

the boundary term in the identity is modified by an angular weight $A(\nu)$ determined by the operator’s symbol (Ros-Oton et al., 2015).

4. Geometric and Conservation Law Generalizations

In Riemannian geometry, the Pohozaev identity is unified with the Schoen and Kazdan-Warner identities in the framework of conserved symmetric $(0,2)$-tensors. If $B_{ij}$ is divergence-free, for any conformal Killing vector field $X$ on a manifold $(M^n, g)$, the generalized Pohozaev–Schoen identity holds: $$\int_M (\mathcal{L}_X V)\,dV_g = -n \int_{\partial M} \mathring{B}_{ij} X^i \nu^j\,dA_g$$ where $V=\operatorname{tr}_g B$ and $\mathring{B}$ is the traceless part (Gover et al., 2010, Barbosa et al., 2016). When $B$ is the energy-momentum tensor or the Einstein tensor, this includes the classical, conformal, and scalar curvature cases as subexamples. In geometric applications, such as $V$-static metrics and soliton structures, this identity provides the boundary integral constraints necessary for rigidity and classification results in geometric analysis (Barbosa et al., 2016).

5. Applications: Nonexistence, Rigidity, and Unique Continuation

Pohozhaev–type identities are central to nonexistence theorems for supercritical nonlinearities. On star-shaped domains, if the boundary term can be shown to be nonnegative and dominates the bulk integrals (by energy comparison and domain geometry), one deduces the impossibility of nontrivial solutions above the critical Sobolev exponent (Ros-Oton et al., 2012), with precise thresholds for the critical exponent accessible in both local and nonlocal (fractional) settings.

For eigenvalue problems, the Pohozaev boundary term governs the unique continuation property: If the nonlocal “Neumann” trace vanishes on $\partial\Omega$, the eigenfunction must vanish identically (Djitte, 29 Jul 2025, Ros-Oton et al., 2014, Djitte et al., 2021). The same boundary structure appears in Hadamard-type shape derivative formulas for Dirichlet eigenvalues under domain perturbations (Djitte et al., 2021, Dieb et al., 3 Jun 2025).

In geometric situations, the boundary flux terms constrain the possible metrics or hypersurface embeddings, leading to rigidity theorems for constant mean curvature spheres, $V$-static manifolds, and analogous structures in higher-order or conformal gravity (Barbosa et al., 2016, Gover et al., 2010).

6. Nonlinear and Higher-Order Variants

Nonlinear and higher-order generalizations encompass $p$-Laplace, Finsler, and fractional $p$-Laplacian equations for both radial and general solutions. In the radial $p$-Laplacian case, a weighted form of the identity is valid for any $C^2$ multiplier, and specialization to particular weights reveals the exact boundary contributions in balls, linking to multiplicity and bifurcation phenomena (Korman, 13 Jan 2026). For sums of squares operators tied to groups or subelliptic structures, generalized Pohozaev identities encode the non-isotropic scaling and yield nonexistence results under group-invariant star-shapedness (Biagi et al., 2020).

In two-dimensional and conformally invariant nonlinear problems, families of Pohozaev identities parametrize the full space of infinitesimal conformal automorphisms, producing an infinite hierarchy of integral constraints (notably Fourier-mode equations for half-harmonic maps and harmonic map heat flows) tied to Möbius or holomorphic symmetries (Lio, 2018).

7. Schematic Table of Settings and Boundary Terms

Operator Type	Domain/Geometry	Boundary Term
$\Delta$, $(-\Delta)^s$, $(-\Delta)^a$	Euclidean, Fractional	$(u/\delta^s)^2(x\cdot\nu)$, $\Gamma(1+s)^2$ factors
Anisotropic Integro-Differential	Convex/C$^{1,1}$	$A(\nu)(u/d^s)^2(x\cdot\nu)$ with angular symbol
Pseudodifferential $P$, $x$-dependent	Smooth, $d(x)$ chart	$s_0(x)(d(x)^{-a}u)^2(x\cdot\nu)$, commutator interior
Hörmander-Subelliptic	Stratified	$F(T(x),\nu)$, generalized normal flux
Geometric Tensorial	Riemannian/Boundary	$\mathring{B}_{ij} X^i \nu^j$ with tensor flux
Nonlocal/Fractional	Bounded/Lipschitz	$\psi_u^2(X\cdot\nu)$ with $u/\delta^s$ quotients

This table concretely distinguishes the operator class, geometric context, and the precise functional or tensorial boundary term playing the role of the normal derivative or Neumann trace in the identity.

---

Generalized Pohozhaev identities collectively provide a universal analytic mechanism to relate variational, geometric, and symmetry properties of critical points and solutions. Their broad adaptability results from their structural dependence on the underlying invariance (e.g., scaling, Hamiltonian, conformal, subelliptic) and the careful analytic characterization of boundary traces or fluxes. Active research continues on their sharpness, further extensions to systems, and applications in spectral theory, geometric analysis, and nonlocal dynamics (Ros-Oton et al., 2012, Gover et al., 2010, Grubb, 2015, Biagi et al., 2020, Djitte et al., 2021, Djitte, 29 Jul 2025, Wei et al., 26 Jul 2025, Lio, 2018, Barbosa et al., 2016, Ros-Oton et al., 2014, Korman, 13 Jan 2026, Montoro et al., 2022, Ros-Oton et al., 2015, Nitti et al., 2023).