Lévy Laplacian in Infinite-Dimensional Analysis

• Levy Laplacian is an infinite-dimensional differential operator that retains only the diagonal or Cesàro-averaged component of the second derivative.
• It is formulated both in classical linear spaces and on path manifolds, underpinning fundamental analyses in Yang–Mills theory and related geometric fields.
• Approaches such as the basis/Cesàro and covariant formulations highlight its applications and the challenges posed by basis dependence in both deterministic and stochastic settings.

Searching arXiv for recent and foundational papers on the Lévy Laplacian to ground the article. The Lévy Laplacian is an infinite-dimensional differential operator defined so as to retain a distinguished diagonal or Cesàro-averaged component of a second derivative rather than the full Hilbert-space trace. In its classical form on linear spaces, it is extracted from the “Lévy part” of the Hessian; on manifolds of paths it admits covariant and basis/Cesàro formulations; in stochastic analysis and white-noise settings several nonequivalent operators occur under the same name. Its importance in geometric analysis derives from precise correspondences with Yang–Mills equations, Yang–Mills heat flow, and, in modified four-dimensional settings, instanton and anti-instanton equations (Volkov, 2019, Volkov, 2022, Volkov, 2017, Volkov, 17 Jul 2025).

1. Classical operator and the Lévy part of the second derivative

The classical starting point is a twice Fréchet differentiable function $f$ on an infinite-dimensional linear space such as $L_2([0,1],\mathbb R)$, whose second derivative is decomposed into a nonlocal Volterra term and a diagonal Lévy term. In the form recalled in several later treatments, one writes

$$\langle f''(x)u,v\rangle = \int\!\!\int K_V(x;t,s)u(t)v(s)\,dt\,ds + \int K_L(x;t)u(t)v(t)\,dt,$$

and then defines

$\Delta_L f(x)=\int_0^1 K_L(x;t)\,dt.$

An equivalent-looking but conceptually distinct representation is the basis/Cesàro form

$$\Delta_L^{\{e_n\}} f(x) = \lim_{n\to\infty}\frac1n\sum_{k=1}^n \langle f''(x)e_k,e_k\rangle,$$

for a suitable orthonormal basis $\{e_n\}$ (Volkov, 2019, Volkov, 17 Jul 2025).

The relation between these two descriptions is controlled by the class of bases used. For weakly uniformly dense orthonormal bases, the Cesàro average isolates precisely the Lévy part of the second derivative. One formulation is

$$\lim_{n\to\infty}\int_0^1 h(t)\left(\frac1n\sum_{k=1}^n e_k(t)^2-1\right)\,dt=0$$

for every $h\in L_\infty([0,1],\mathbb R)$. The sine basis $e_n(t)=\sqrt2\sin(n\pi t)$ is a standard example; Sturm–Liouville eigenfunctions with Dirichlet boundary conditions also appear as examples in the manifold setting (Volkov, 2022, Volkov, 2017).

A recurrent point in the literature is that “the Lévy Laplacian” is not a unique object unless the ambient space, trace prescription, and basis class are fixed. One paper develops a one-parameter chain

$$\Delta_L^{\{e_n\},s} f(x) = \lim_{n\to\infty}\frac1n \sum_{k=1}^n\sum_{\mu=1}^d k^{\,1-s}\, \left\langle f''(x)p_\mu e_k,p_\mu e_k\right\rangle,$$

with the classical Lévy Laplacian identified as the order $L_2([0,1],\mathbb R)$0 element, while the order $L_2([0,1],\mathbb R)$1 operator later becomes central in stochastic/Hida comparisons (Volkov, 2017). This establishes that the classical operator is only one member of a broader hierarchy of Lévy-type traces.

2. Covariant formulation on manifolds of paths

A major geometric development is the intrinsic definition of the Lévy Laplacian on the Hilbert manifold of $L_2([0,1],\mathbb R)$2-paths in a Riemannian manifold. In one formulation, the path space is

$L_2([0,1],\mathbb R)$3

or $L_2([0,1],\mathbb R)$4 in later notation, with submanifolds such as $L_2([0,1],\mathbb R)$5, $L_2([0,1],\mathbb R)$6, $L_2([0,1],\mathbb R)$7, and $L_2([0,1],\mathbb R)$8. The tangent fiber at $L_2([0,1],\mathbb R)$9 is $$\langle f''(x)u,v\rangle = \int\!\!\int K_V(x;t,s)u(t)v(s)\,dt\,ds + \int K_L(x;t)u(t)v(t)\,dt,$$0, while an auxiliary bundle $$\langle f''(x)u,v\rangle = \int\!\!\int K_V(x;t,s)u(t)v(s)\,dt\,ds + \int K_L(x;t)u(t)v(t)\,dt,$$1 has fiber $$\langle f''(x)u,v\rangle = \int\!\!\int K_V(x;t,s)u(t)v(s)\,dt\,ds + \int K_L(x;t)u(t)v(t)\,dt,$$2, the $$\langle f''(x)u,v\rangle = \int\!\!\int K_V(x;t,s)u(t)v(s)\,dt\,ds + \int K_L(x;t)u(t)v(t)\,dt,$$3-vector fields along $$\langle f''(x)u,v\rangle = \int\!\!\int K_V(x;t,s)u(t)v(s)\,dt\,ds + \int K_L(x;t)u(t)v(t)\,dt,$$4, equipped with

$$\langle f''(x)u,v\rangle = \int\!\!\int K_V(x;t,s)u(t)v(s)\,dt\,ds + \int K_L(x;t)u(t)v(t)\,dt,$$5

The Levi-Civita connection on $$\langle f''(x)u,v\rangle = \int\!\!\int K_V(x;t,s)u(t)v(s)\,dt\,ds + \int K_L(x;t)u(t)v(t)\,dt,$$6 induces a canonical connection on $$\langle f''(x)u,v\rangle = \int\!\!\int K_V(x;t,s)u(t)v(s)\,dt\,ds + \int K_L(x;t)u(t)v(t)\,dt,$$7 by

$$\langle f''(x)u,v\rangle = \int\!\!\int K_V(x;t,s)u(t)v(s)\,dt\,ds + \int K_L(x;t)u(t)v(t)\,dt,$$8

This induced geometry is the basis of the covariant theory (Volkov, 2019, Volkov, 17 Jul 2025).

The intrinsic operator is defined as

$$\langle f''(x)u,v\rangle = \int\!\!\int K_V(x;t,s)u(t)v(s)\,dt\,ds + \int K_L(x;t)u(t)v(t)\,dt,$$9

or in the later notation,

$\Delta_L f(x)=\int_0^1 K_L(x;t)\,dt.$0

Its crucial input is an AGV-type decomposition of the covariant derivative of the $\Delta_L f(x)=\int_0^1 K_L(x;t)\,dt.$1-gradient. For tangent fields $\Delta_L f(x)=\int_0^1 K_L(x;t)\,dt.$2, the relevant bilinear form has the structure

$\Delta_L f(x)=\int_0^1 K_L(x;t)\,dt.$3

Here $\Delta_L f(x)=\int_0^1 K_L(x;t)\,dt.$4, $\Delta_L f(x)=\int_0^1 K_L(x;t)\,dt.$5, and $\Delta_L f(x)=\int_0^1 K_L(x;t)\,dt.$6 are the Volterra, Lévy, and singular kernels. The divergence then extracts only the Lévy kernel: $\Delta_L f(x)=\int_0^1 K_L(x;t)\,dt.$7 This makes explicit that the operator is not the ordinary Hilbert trace of a Hessian, but a Lévy-type trace that discards the off-diagonal Volterra contribution and the singular term (Volkov, 2019, Volkov, 17 Jul 2025).

A separate but equivalent presentation arises on $\Delta_L f(x)=\int_0^1 K_L(x;t)\,dt.$8, where Levi-Civita parallel transport trivializes the tangent bundle. There one defines an AGV Lévy trace $\Delta_L f(x)=\int_0^1 K_L(x;t)\,dt.$9 of the parallelized second derivative $$\Delta_L^{\{e_n\}} f(x) = \lim_{n\to\infty}\frac1n\sum_{k=1}^n \langle f''(x)e_k,e_k\rangle,$$0, and also a direct basis/Cesàro operator

$$\Delta_L^{\{e_n\}} f(x) = \lim_{n\to\infty}\frac1n\sum_{k=1}^n \langle f''(x)e_k,e_k\rangle,$$1

A later paper proves that, on their common domain, the covariant definition, the AGV trace definition, and the Cesàro definition coincide on the manifold of $$\Delta_L^{\{e_n\}} f(x) = \lim_{n\to\infty}\frac1n\sum_{k=1}^n \langle f''(x)e_k,e_k\rangle,$$2-paths (Volkov, 17 Jul 2025). This resolves a substantial part of the basis-versus-intrinsic ambiguity in the geometric setting.

3. Parallel transport, Yang–Mills equations, and heat flow

The most developed geometric application concerns parallel transport of a connection. Let $$\Delta_L^{\{e_n\}} f(x) = \lim_{n\to\infty}\frac1n\sum_{k=1}^n \langle f''(x)e_k,e_k\rangle,$$3 be a complex vector bundle with structure group $$\Delta_L^{\{e_n\}} f(x) = \lim_{n\to\infty}\frac1n\sum_{k=1}^n \langle f''(x)e_k,e_k\rangle,$$4, and let $$\Delta_L^{\{e_n\}} f(x) = \lim_{n\to\infty}\frac1n\sum_{k=1}^n \langle f''(x)e_k,e_k\rangle,$$5 be a connection with curvature

$$\Delta_L^{\{e_n\}} f(x) = \lim_{n\to\infty}\frac1n\sum_{k=1}^n \langle f''(x)e_k,e_k\rangle,$$6

The Yang–Mills equations are

$$\Delta_L^{\{e_n\}} f(x) = \lim_{n\to\infty}\frac1n\sum_{k=1}^n \langle f''(x)e_k,e_k\rangle,$$7

and the Yang–Mills heat equation for a time-dependent connection is

$$\Delta_L^{\{e_n\}} f(x) = \lim_{n\to\infty}\frac1n\sum_{k=1}^n \langle f''(x)e_k,e_k\rangle,$$8

If $$\Delta_L^{\{e_n\}} f(x) = \lim_{n\to\infty}\frac1n\sum_{k=1}^n \langle f''(x)e_k,e_k\rangle,$$9 denotes parallel transport along $\{e_n\}$0, then the first path-space variation formula gives

$\{e_n\}$1

and for the full transport one obtains

$\{e_n\}$2

Thus curvature appears already at first order in the path variable (Volkov, 2019).

The central formula for the covariant Lévy Laplacian is

$\{e_n\}$3

Hence the Lévy Laplacian of parallel transport is exactly the pathwise insertion of the Yang–Mills operator $\{e_n\}$4 (Volkov, 2019). A closely related Euclidean/Minkowski path-space calculation yields, for the Lévy d’Alembertian or Laplacian in the older path-space formalism,

$\{e_n\}$5

and similarly in the Euclidean case with $\{e_n\}$6 (Volkov, 2016).

This yields a path-space characterization of gauge equations. In the manifold/covariant theory, the main equivalence is

$\{e_n\}$7

Thus the nonlinear Yang–Mills heat flow on the finite-dimensional bundle is equivalent to a linear heat equation for the Lévy Laplacian on the associated path-space parallel transport (Volkov, 2019). A later paper rederives this correspondence in a broader theory of path-space Lévy heat equations and uses it as one of the principal motivations for the operator (Volkov, 17 Jul 2025).

A common misconception is that every Lévy-Laplace equation on path space is automatically equivalent to Yang–Mills. The deterministic path-space correspondence does hold in the geometric formulations just described, but stochastic analogues show that this equivalence is definition-sensitive. In the stochastic Cesàro/Malliavin setting, the Lévy Laplacian of stochastic parallel transport contains an additional curvature-square term, so the equation $\{e_n\}$8 is generally stronger than Yang–Mills (Volkov, 2016).

4. Modified, stochastic, and white-noise variants

One important extension is the modified Lévy Laplacian on a path manifold $\{e_n\}$9, where tangent directions are rotated by a time-dependent curve $$\lim_{n\to\infty}\int_0^1 h(t)\left(\frac1n\sum_{k=1}^n e_k(t)^2-1\right)\,dt=0$$0. The operator is defined by

$$\lim_{n\to\infty}\int_0^1 h(t)\left(\frac1n\sum_{k=1}^n e_k(t)^2-1\right)\,dt=0$$1

For constant $$\lim_{n\to\infty}\int_0^1 h(t)\left(\frac1n\sum_{k=1}^n e_k(t)^2-1\right)\,dt=0$$2, the second term in the corresponding parallel-transport formula vanishes and one recovers the ordinary Lévy-Laplacian relation to Yang–Mills. For nonconstant $$\lim_{n\to\infty}\int_0^1 h(t)\left(\frac1n\sum_{k=1}^n e_k(t)^2-1\right)\,dt=0$$3, the infinitesimal generator

$$\lim_{n\to\infty}\int_0^1 h(t)\left(\frac1n\sum_{k=1}^n e_k(t)^2-1\right)\,dt=0$$4

couples to curvature. In dimension $$\lim_{n\to\infty}\int_0^1 h(t)\left(\frac1n\sum_{k=1}^n e_k(t)^2-1\right)\,dt=0$$5, the decomposition

$$\lim_{n\to\infty}\int_0^1 h(t)\left(\frac1n\sum_{k=1}^n e_k(t)^2-1\right)\,dt=0$$6

allows the modified operator to detect self-dual or anti-self-dual curvature components. Under the stated subgroup and nondegeneracy assumptions, together with the vanishing-along-a-sequence condition on $$\lim_{n\to\infty}\int_0^1 h(t)\left(\frac1n\sum_{k=1}^n e_k(t)^2-1\right)\,dt=0$$7 or $$\lim_{n\to\infty}\int_0^1 h(t)\left(\frac1n\sum_{k=1}^n e_k(t)^2-1\right)\,dt=0$$8, the equation

$$\lim_{n\to\infty}\int_0^1 h(t)\left(\frac1n\sum_{k=1}^n e_k(t)^2-1\right)\,dt=0$$9

is equivalent to anti-self-duality or self-duality, respectively (Volkov, 2022). This gives a path-space characterization of instantons and anti-instantons rather than merely Yang–Mills fields.

In stochastic analysis, another major divergence of definitions appears. A Malliavin-calculus Lévy Laplacian is defined on $h\in L_\infty([0,1],\mathbb R)$0 by

$h\in L_\infty([0,1],\mathbb R)$1

with strong $h\in L_\infty([0,1],\mathbb R)$2-convergence over Wiener measure. For stochastic parallel transport $h\in L_\infty([0,1],\mathbb R)$3, one has

$h\in L_\infty([0,1],\mathbb R)$4

The first term has no analogue in the deterministic path-space formula, and it is exactly why the stochastic Lévy-Laplace equation is not equivalent to Yang–Mills in this model (Volkov, 2017, Volkov, 2016).

The white-noise/Hida picture introduces yet another distinction. One paper shows that the Malliavin operator corresponds, under the canonical embedding $h\in L_\infty([0,1],\mathbb R)$5 of Wiener Sobolev functionals into Hida generalized functionals, not to the classical order-$h\in L_\infty([0,1],\mathbb R)$6 Hida Lévy Laplacian but to the nonclassical order-$h\in L_\infty([0,1],\mathbb R)$7 operator: $h\in L_\infty([0,1],\mathbb R)$8 At the same time, the classical order-$h\in L_\infty([0,1],\mathbb R)$9 Hida Lévy Laplacian vanishes on square-integrable Hida functionals for weakly uniformly dense bases (Volkov, 2017). This is an explicit resolution of a naming ambiguity: identical terminology in Malliavin and Hida calculi need not refer to the same operator.

A different generalization acts on square roots of measures on infinite-dimensional spaces. In the Wiener-space specialization, the Lévy Laplacian is defined on root measures by

$e_n(t)=\sqrt2\sin(n\pi t)$0

and its Fourier multiplier is shown to be the quadratic variation: $e_n(t)=\sqrt2\sin(n\pi t)$1 Here $e_n(t)=\sqrt2\sin(n\pi t)$2 is the quadratic variation of the path $e_n(t)=\sqrt2\sin(n\pi t)$3 on $e_n(t)=\sqrt2\sin(n\pi t)$4. This identifies the symbol of the Lévy Laplacian with a pathwise stochastic quantity rather than a deterministic curvature operator (Kakuma, 2012).

5. Differential forms, heat equations, and long-time behavior on path space

A recent path-manifold treatment studies the heat equation

$e_n(t)=\sqrt2\sin(n\pi t)$5

for the covariant/path-manifold Lévy Laplacian and constructs explicit solutions from finite-dimensional heat flows of functions and $e_n(t)=\sqrt2\sin(n\pi t)$6-forms on a compact Riemannian manifold (Volkov, 17 Jul 2025). The simplest functionals are obtained from a smooth function $e_n(t)=\sqrt2\sin(n\pi t)$7 by

$e_n(t)=\sqrt2\sin(n\pi t)$8

for which

$e_n(t)=\sqrt2\sin(n\pi t)$9

This is the pathwise lift of the Laplace–Beltrami operator (Volkov, 2019, Volkov, 17 Jul 2025).

For a $$\Delta_L^{\{e_n\},s} f(x) = \lim_{n\to\infty}\frac1n \sum_{k=1}^n\sum_{\mu=1}^d k^{\,1-s}\, \left\langle f''(x)p_\mu e_k,p_\mu e_k\right\rangle,$$0-form $$\Delta_L^{\{e_n\},s} f(x) = \lim_{n\to\infty}\frac1n \sum_{k=1}^n\sum_{\mu=1}^d k^{\,1-s}\, \left\langle f''(x)p_\mu e_k,p_\mu e_k\right\rangle,$$1, one defines

$$\Delta_L^{\{e_n\},s} f(x) = \lim_{n\to\infty}\frac1n \sum_{k=1}^n\sum_{\mu=1}^d k^{\,1-s}\, \left\langle f''(x)p_\mu e_k,p_\mu e_k\right\rangle,$$2

Then

$$\Delta_L^{\{e_n\},s} f(x) = \lim_{n\to\infty}\frac1n \sum_{k=1}^n\sum_{\mu=1}^d k^{\,1-s}\, \left\langle f''(x)p_\mu e_k,p_\mu e_k\right\rangle,$$3

and on loop space,

$$\Delta_L^{\{e_n\},s} f(x) = \lim_{n\to\infty}\frac1n \sum_{k=1}^n\sum_{\mu=1}^d k^{\,1-s}\, \left\langle f''(x)p_\mu e_k,p_\mu e_k\right\rangle,$$4

For the abelian parallel transport functional

$$\Delta_L^{\{e_n\},s} f(x) = \lim_{n\to\infty}\frac1n \sum_{k=1}^n\sum_{\mu=1}^d k^{\,1-s}\, \left\langle f''(x)p_\mu e_k,p_\mu e_k\right\rangle,$$5

one correspondingly has

$$\Delta_L^{\{e_n\},s} f(x) = \lim_{n\to\infty}\frac1n \sum_{k=1}^n\sum_{\mu=1}^d k^{\,1-s}\, \left\langle f''(x)p_\mu e_k,p_\mu e_k\right\rangle,$$6

on path space and

$$\Delta_L^{\{e_n\},s} f(x) = \lim_{n\to\infty}\frac1n \sum_{k=1}^n\sum_{\mu=1}^d k^{\,1-s}\, \left\langle f''(x)p_\mu e_k,p_\mu e_k\right\rangle,$$7

on loop space (Volkov, 17 Jul 2025). These identities make the $$\Delta_L^{\{e_n\},s} f(x) = \lim_{n\to\infty}\frac1n \sum_{k=1}^n\sum_{\mu=1}^d k^{\,1-s}\, \left\langle f''(x)p_\mu e_k,p_\mu e_k\right\rangle,$$8 case a direct model of the nonabelian Yang–Mills correspondence.

The same paper exploits the unusual chain rule

$$\Delta_L^{\{e_n\},s} f(x) = \lim_{n\to\infty}\frac1n \sum_{k=1}^n\sum_{\mu=1}^d k^{\,1-s}\, \left\langle f''(x)p_\mu e_k,p_\mu e_k\right\rangle,$$9

and more generally

$L_2([0,1],\mathbb R)$00

with no second-derivative term of $L_2([0,1],\mathbb R)$01 (Volkov, 17 Jul 2025). This first-order-like behavior distinguishes the Lévy Laplacian sharply from ordinary finite-dimensional Laplacians and explains why composite path functionals built from heat flows of $L_2([0,1],\mathbb R)$02-forms and $L_2([0,1],\mathbb R)$03-forms again solve the Lévy heat equation.

The long-time behavior is also governed by finite-dimensional Hodge theory. If $L_2([0,1],\mathbb R)$04 is compact, orientable, and without boundary, then heat flows of functions converge to harmonic functions, hence to constants on a compact connected manifold, while heat flows of $L_2([0,1],\mathbb R)$05-forms converge to harmonic $L_2([0,1],\mathbb R)$06-forms. Consequently, functionals built from $L_2([0,1],\mathbb R)$07 and $L_2([0,1],\mathbb R)$08 converge pointwise on loop space to locally constant functionals, taking the same value on homotopy equivalent curves (Volkov, 17 Jul 2025). This suggests a projection of this class of Lévy heat solutions onto a topological sector determined by harmonic $L_2([0,1],\mathbb R)$09-forms and loop homotopy classes.

6. Lévy differential operators, basis dependence, and conceptual issues

The Lévy Laplacian is often best viewed as one member of a larger family of Lévy differential operators. In one abstract formulation, given a trace-type functional $L_2([0,1],\mathbb R)$10 on multilinear maps, one sets

$L_2([0,1],\mathbb R)$11

The Lévy Laplacian is then $L_2([0,1],\mathbb R)$12, the Lévy d’Alembertian is $L_2([0,1],\mathbb R)$13, and the Lévy divergence is $L_2([0,1],\mathbb R)$14 (Volkov, 2016). This framework is used to derive path-space systems equivalent not only to Yang–Mills equations but also to Yang–Mills–Higgs and Yang–Mills–Dirac equations, with parallel transport playing the role of an infinite-dimensional chiral field (Volkov, 2016).

In that setting, a path-space $L_2([0,1],\mathbb R)$15-form

$L_2([0,1],\mathbb R)$16

satisfies

$L_2([0,1],\mathbb R)$17

and a closedness condition of Maurer–Cartan type. The resulting system is equivalent to the Yang–Mills equations, and analogous systems with endpoint derivatives encode Yang–Mills–Higgs and Yang–Mills–Dirac fields (Volkov, 2016). This broadens the role of the Lévy Laplacian from a single trace operator to part of a full path-space differential calculus.

Several conceptual cautions are standard across the literature. First, basis dependence is real at the raw Cesàro-definition level, though weakly uniformly dense and uniformly bounded bases frequently recover the intrinsic Lévy trace on the natural domain (Volkov, 2017, Volkov, 2016, Volkov, 17 Jul 2025). Second, stochastic and deterministic operators with the same name need not coincide, and may have different gauge-theoretic content (Volkov, 2017, Volkov, 2016). Third, in manifold settings the operator is intrinsically tied to the Levi-Civita connection, parallel transport, and curvature; it is not a generic Hilbert-manifold Laplacian of ordinary full-trace type (Volkov, 2019, Volkov, 17 Jul 2025).

Taken together, these developments define the Lévy Laplacian not as a single universally fixed operator, but as a class of infinite-dimensional trace constructions centered on one principle: only a special diagonal or asymptotically diagonal part of the second derivative is retained. In deterministic path geometry this principle isolates the Yang–Mills operator; in modified four-dimensional settings it detects self-duality; in Malliavin and Hida calculi it separates inequivalent stochastic operators; and in root-measure analysis it produces quadratic variation as Fourier symbol (Volkov, 2019, Volkov, 2022, Volkov, 2017, Kakuma, 2012).