Nonlocal Noether Theorems

• Nonlocal Noether Theorems are generalizations of classical Noether’s theorems that incorporate memory effects via integral kernels to derive conservation laws.
• They derive conserved currents and Bianchi-type identities for systems with nonlocal interactions, influencing models in gravity, elasticity, and gauge theory.
• Their framework advances the Hamiltonian formulation and quantization of nonlocal models while addressing challenges such as causality, boundary issues, and gauge stability.

Nonlocal Noether Theorems are generalizations of the classical Noether's theorems to systems where the Lagrangian or the variational principle incorporates explicit nonlocality—either via dependence on fields at distinct spacetime points, integral kernels, or functional dependence on the entire field configuration. These theorems underpin conservation laws and symmetry-driven identities in nonlocal field theories, mechanics, and models with fractional or infinite-derivative structure. The nonlocal generalization is essential in nonlocal gravity, elasticity, magnetohydrodynamics, string theory models, and effective field theories with intrinsic nonlocal couplings.

1. Formulation of Nonlocal Lagrangians and Variational Principles

A nonlocal Lagrangian density is a functional that depends not only on a field and its finite-order derivatives at a point but on the field over an extended region, frequently via an explicit integral kernel or memory term. A prototypical example in mechanics is

$$S[q] = \int_{-\infty}^\infty dt\, L\big(q(t),\ \{q(\tau)\}_{\tau},\, t\big)$$

where $L$ depends on the whole history of $q$, or, in field theory,

$$S[\phi] = \int_{\mathbb{R}^4} d^4 x\, \mathcal{L}\big(\{ \phi(z) : z \in \mathbb{R}^4 \}, x \big)$$

where $\mathcal{L}$ is functionally dependent on $\phi$ over all spacetime (Heredia, 2023, Heredia et al., 2022). This construction naturally arises in $p$-adic string field theory, infinite-derivative gravity, noncommutative gauge theories, and fractional Laplacian-based models.

The Euler–Lagrange equations then become nonlocal integral or integro-differential constraints. For example, the variation yields

$\psi_A(x) = \int d^4y\, \lambda_A(T_x\phi;x,y) = 0$

where $\lambda_A$ is the functional derivative of the nonlocal Lagrangian (Heredia et al., 2022, Heredia, 2023).

2. Generalized Noether's First Theorem in Nonlocal Contexts

The essence of Noether's first theorem—associating continuous symmetries with conserved currents—extends to nonlocal systems, but the currents acquire explicit nonlocal (memory or integral) contributions. For an infinitesimal transformation

$$x \to x + \delta x(x), \quad \phi^A(x) \to \phi^A(x) + \delta \phi^A(x)$$

such that the Lagrangian changes by a total divergence, the generalized (nonlocal) Noether identity reads

$L$0

where $L$1 is a nonlocal current constructed from the variation and the nonlocal structure (Heredia et al., 2023, Heredia, 2023).

On shell (i.e., when $L$2), this yields $L$3. Notably, $L$4 contains both local terms (as in the standard theorem) and genuinely nonlocal integrals over field deformations at different points and over kernels (see also (Heredia et al., 2021, Heredia et al., 5 Aug 2025)).

For time-nonlocal Lagrangians (e.g., delay equations, memory oscillators), the conserved charge involves bilocal or multivariate integral expressions over the state history (Heredia et al., 2021, Heredia et al., 5 Aug 2025, Heredia, 2023).

3. Nonlocal Extensions of Noether's Second Theorem and Identities

The second Noether theorem addresses infinite-parameter (gauge or relabeling) symmetries, resulting in functional (Bianchi-type) identities among the Euler–Lagrange operators. For transformations generated by arbitrary functions $L$5 and kernels $L$6,

$L$7

the generalized Noether identity in the nonlocal case is

$L$8

where

$L$9

Enforcing off-shell ($q$0 arbitrary) yields the generalized Noether (Bianchi) identities $q$1 (Heredia et al., 2023). These identities remain nontrivial even when the infinitesimal symmetry is not strictly a Noether symmetry (i.e., $q$2 is not a pure divergence), as in noncommutative $q$3 gauge theory (Heredia et al., 2023).

4. Explicit Structures and Nonlocal Currents

Nonlocal Noether currents universally contain integral corrections reflecting history-dependence or spatial nonlocality. For a single scalar field, the general conserved current corresponding to a variational symmetry may be written as

$q$4

where $q$5 is a nonlocal kernel derived from the Lagrangian's variational derivatives (Heredia, 2023, Heredia et al., 2022). Local Noether currents are then recovered as a special case when $q$6.

In nonlocal field theories with explicit multiple arguments (e.g., models inspired by hydrodynamic BEC approximations or GFT), the total conserved current involves both local Noether currents and explicit nonlocal correction terms that integrate over additional field arguments (Kegeles et al., 2015). The general form is

$q$7

where $q$8 are nonlocal correction currents associated with the distinct arguments of the nonlocal term (Kegeles et al., 2015). For $q$9 internal symmetries of a quartic nonlocal interaction, correction terms vanish; for spatial translation symmetry, nonlocal corrections (mean-field terms) appear (Kegeles et al., 2015).

In fractional Laplacian theories, "Noether currents" are constructed from fractional gradients and satisfy divergence-free properties relative to fractional divergence operators, e.g., $$S[\phi] = \int_{\mathbb{R}^4} d^4 x\, \mathcal{L}\big(\{ \phi(z) : z \in \mathbb{R}^4 \}, x \big)$$0 (Gaia, 2020).

5. Applications: Representative Models and Advances

Table: Landscape of Nonlocal Noether Applications

Model/Class	Nonlocal Structure	Key Feature
Nonlocal $$S[\phi] = \int_{\mathbb{R}^4} d^4 x\, \mathcal{L}\big(\{ \phi(z) : z \in \mathbb{R}^4 \}, x \big)$$1 gravity	$$S[\phi] = \int_{\mathbb{R}^4} d^4 x\, \mathcal{L}\big(\{ \phi(z) : z \in \mathbb{R}^4 \}, x \big)$$2 in teleparallel	Symmetry–selected cosmologies (Channuie et al., 2017)
Nonlocal elasticity	$$S[\phi] = \int_{\mathbb{R}^4} d^4 x\, \mathcal{L}\big(\{ \phi(z) : z \in \mathbb{R}^4 \}, x \big)$$3 integral over body	Global integrals only, zero-mean tractions (Huang, 2012)
Nonlocal field theories	Actions with nonlocal kernels	Generalized Noether currents, nonlocal Bianchi identities (Heredia et al., 2022, Heredia et al., 2023)
Fractional Laplacian	$$S[\phi] = \int_{\mathbb{R}^4} d^4 x\, \mathcal{L}\big(\{ \phi(z) : z \in \mathbb{R}^4 \}, x \big)$$4 in energy	Fractional Noether currents/divergence (Gaia, 2020)
Noncommutative gauge	Moyal star product	Extended Noether identity, constrained field equation (Heredia et al., 2023)
Magnetohydrodynamics	Advected variables, Clebsch vars.	Nonlocal helicity from relabeling symmetries (Webb et al., 2013)
Two-point conservation	Automorphisms (e.g. inversion)	Continuum of nonlocal currents (Chafin, 2014)
$$S[\phi] = \int_{\mathbb{R}^4} d^4 x\, \mathcal{L}\big(\{ \phi(z) : z \in \mathbb{R}^4 \}, x \big)$$5-adic string field	Exponential of $$S[\phi] = \int_{\mathbb{R}^4} d^4 x\, \mathcal{L}\big(\{ \phi(z) : z \in \mathbb{R}^4 \}, x \big)$$6	Symplectic form/Hamiltonian in nonlocal setting (Heredia et al., 2022)

For instance, in nonlocal $$S[\phi] = \int_{\mathbb{R}^4} d^4 x\, \mathcal{L}\big(\{ \phi(z) : z \in \mathbb{R}^4 \}, x \big)$$7 gravity, imposing Noether symmetry on the localized (scalar–torsion) system yields coupled partial differential equations for the symmetry generators and the functional $$S[\phi] = \int_{\mathbb{R}^4} d^4 x\, \mathcal{L}\big(\{ \phi(z) : z \in \mathbb{R}^4 \}, x \big)$$8; solutions select specific cosmological scenarios (e.g., scale factor evolution transitioning between deceleration and acceleration), and conserved charges drastically simplify the dynamics (Channuie et al., 2017).

In nonlocal elasticity theory with a symmetric kernel $$S[\phi] = \int_{\mathbb{R}^4} d^4 x\, \mathcal{L}\big(\{ \phi(z) : z \in \mathbb{R}^4 \}, x \big)$$9, global (integral) conservation laws for energy, momentum, and Eshelby tensors arise, but only in the form of domain integrals due to the inherent coupling between all points—thereby precluding standard local conservation laws except in special cases where nonlocal residuals vanish (Huang, 2012).

In nonlocal MHD (e.g., non-barotropic flows), relabeling symmetries combined with nonlocal gauge transformations via Clebsch variables yield nonlocal helicity and cross-helicity conservation laws, seen both as first and second Noether theorems, and these agree with noncanonical Hamiltonian Casimir invariants and Euler–Poincaré formulations (Webb et al., 2013).

The noncommutative $\mathcal{L}$0 gauge theory provides an explicit realization of the extended second Noether theorem: the EL kernel is nonlocal involving the Moyal commutator, and the field equation is itself a Noether identity arising from the gauge symmetry acting as a nonlocal transformation (Heredia et al., 2023).

6. Structure and Consistency of Nonlocal Hamiltonian Formalisms

Hamiltonian formulations of nonlocal theories require extending the canonical phase space to function spaces encoding entire trajectories or field histories, along with corresponding nonlocal canonical momenta. The evolution is generated by a presymplectic structure whose construction relies on the nonlocal Noether theorem. When constraints from the nonlocal EL equations are imposed, the presymplectic form usually becomes nondegenerate, yielding well-defined phase flows (Heredia et al., 5 Aug 2025, Heredia et al., 2021, Heredia et al., 2022, Heredia, 2023).

For Lagrangians with a memory kernel, the canonical momentum is a genuine functional involving double integrals over the variational kernel, and Hamiltonians include explicit nonlocal (history-dependent) contributions.

Quantization is then accomplished by promoting the canonical variables and momentum functionals to operators on infinite-dimensional Hilbert spaces, with commutation relations and Hamiltonian operators derived directly from the nonlocal symplectic structure (Heredia et al., 2023).

7. Physical and Mathematical Significance, Open Problems

Nonlocal Noether theorems unify classical symmetries and emerging conservation laws (including hidden integrals of motion, as in dissipative systems or those lacking strict symmetry-invariance), enable the derivation of generalized Bianchi/consistency identities in nonlocal gauge and gravitational models, and furnish the mathematical foundation for canonical quantization and Hamiltonian analysis in theories with intrinsic nonlocality (Scomparin, 2022, Kegeles et al., 2015).

However, fundamental conceptual issues persist, such as:

• The localization problem: nonlocal conservation currents typically exist only as global domain integrals, with explicit nonlocal residuals preventing straightforward localization, except in special symmetric/zero-mean kernels (Huang, 2012).
• Boundary and causality subtleties: nonlocality in space or time can affect causal structure, boundary term handling, and the status of local observables (Krivoruchenko et al., 2016).
• Gauge invariance and stability: ensuring the consistent definition of gauge-invariant interactions and the absence of ghosts or instabilities in nonlocal gravity or gauge models remains an active area (Heredia et al., 2023, Heredia et al., 2022).
• Functional-analytic challenges in fractional or integral-operator models, especially in higher-order or infinite-derivative settings (Gaia, 2020, Heredia, 2023).

The systematic extension of Noether's framework to nonlocal theories provides a robust and technically complete toolkit for analyzing symmetries and conservation laws in a diverse and growing landscape of nonlocal models across mathematical physics, cosmology, condensed matter, and quantum gravity.