---
title: Generalized Pohozhaev's Identity
url: https://www.emergentmind.com/topics/generalized-pohozhaev-s-identity
type: topic
---

# Generalized Pohozhaev's Identity

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 [1205.0494]. 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$ [1406.1107], anisotropic kernels [1502.01431], and $x$-dependent pseudodifferential operators [1511.03901] 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, [2007.14119] 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 [2507.19913].

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$ [2201.05788]. 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 [2507.21962]. 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)$ [2112.10653]. 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 [1502.01431].

## 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 [1010.4614][1607.03073]. 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 [1607.03073].

## 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 [1205.0494], 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 [2507.21962][1406.1107][2112.10653]. The same boundary structure appears in Hadamard-type shape derivative formulas for Dirichlet eigenvalues under domain perturbations [2112.10653][2506.02806].

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 [1607.03073][1010.4614].

## 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 [2601.08098]. 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 [2007.14119].

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

## 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 [1205.0494][1010.4614][1511.03901][2007.14119][2112.10653][2507.21962][2507.19913][1811.03893][1607.03073][1406.1107][2601.08098][2201.05788][1502.01431][2305.01976].

Source: https://www.emergentmind.com/topics/generalized-pohozhaev-s-identity