Submitted:
03 November 2025
Posted:
05 November 2025
You are already at the latest version
Abstract
Keywords:
"In mathematics, one does not understand things. One just gets used to them."— John von Neumann
The Triad: Probability, Analysis, and Physics
- The probabilist sees the formula as an expectation of functionals of diffusion processes;
- The analyst views it as the integral kernel representation of a strongly continuous semigroup;
- The physicist recognizes it as the Euclidean-time formulation of the path integral.
Scope and Philosophy
Structure of the Book
- Part I:
- Mathematical Foundations develops the measure-theoretic and analytic background required to understand the Feynman–Kac formula in its full generality. Topics include probability spaces, stochastic processes, Brownian motion, Itô calculus, and the theory of strongly continuous semigroups.
- Part II:
- The Feynman–Kac Formula presents the classical and generalized statements of the Feynman–Kac theorem, together with detailed proofs. This part develops the correspondence between stochastic differential equations and the generators of parabolic PDEs, leading to the precise probabilistic representation of Schrödinger semigroups.
- Part III:
- Analytical and Physical Interpretations explores the deep structural implications of the formula — its manifestation in potential theory, its realization as a rigorous Euclidean path integral, and its role in the spectral theory of Schrödinger operators.
- Part IV:
- Generalizations and Modern Extensions surveys the frontier: extensions to Lévy and jump processes, fractional operators, infinite-dimensional systems, stochastic PDEs, and contemporary applications in quantum field theory and statistical physics.
Intended Audience
Acknowledgments
A Final Word
Sourangshu Ghosh
Indian Institute of Science, Bangalore
Part I Mathematical Foundations
1. Measure-Theoretic Probability and Stochastic Processes
“Probability is the measure theory of ignorance; its objects are sets of possible worlds, its morphisms are filtrations of information.” — Adapted from Joseph L. Doob (1953)
1.1. Introduction
1.2. Probability Spaces and Random Variables
- Ω is the sample space, the set of all possible outcomes;
- is a σ-algebra of subsets of Ω;
- is a countably additive measure with .
1.3. Independence and Conditional Expectation
1.4. Filtrations and Adapted Processes
- Adaptedif is -measurable for all t.
- Progressively measurableif is measurable with respect to for every t.
1.5. Martingales and Stopping Times
- for all t;
- a.s. for all .
1.6. Stochastic Processes and Finite-Dimensional Distributions
1.7. Markov Processes and Transition Kernels
- (1)
- For each fixed , the mapping is a probability measure on
- (2)
- For each fixed , the mapping is measurable.
1.8. Generators and Semigroups
1.9. Conclusion
2. Brownian Motion and Stochastic Integrals
“Brownian motion is an inexhaustible source of beautiful mathematics and useful models.” — Adapted from P. Mörters & Y. Peres
2.1. Introduction
2.2. Definition and Basic Properties of Brownian Motion
- almost surely;
- B has independent increments: for , the increments are independent;
- For , the increment is Gaussian with mean 0 and covariance ;
- B has almost surely continuous paths: is continuous.
2.3. Quadratic Variation and Semimartingale Structure
2.4. Simple Integrands and the Itô Integral
2.5. Itô’s Formula
2.5.1. Itô’s Lemma for Jump–Diffusion (Poisson) Processes
2.5.2. Itô’s Lemma for Discontinuous Semimartingales
2.5.3. Itô’s Lemma and Explicit Solution for Geometric Brownian Motion
2.6. Martingale Representation and Predictable Projection
- (1)
- The Itô isometry and the Hilbert-space projection onto the closed linear span of stochastic integrals,
- (2)
- The density of stochastic exponentials (or equivalently the first Wiener chaos) in , and
- (3)
- Orthogonality/duality arguments that force any martingale orthogonal to all stochastic integrals to vanish.
2.7. Stochastic Differential Equations and Strong Solutions
2.8. Girsanov Transform (Informal Statement)
2.9. Conclusion
3. Generators and Semigroups
“In the infinitesimal lies the seed of evolution; every continuous motion is governed by its generator.” — Adapted from Kiyosi Itô
3.1. Infinitesimal generator of the semigroup
3.2. Generator of a Diffusion Process
3.3. Kolmogorov Equations
3.4. Generator as the Infinitesimal Limit of the Expectation Semigroup Acting on Path Functionals
3.5. Conclusion
Part II The Feynman–Kac Formula
4. Stochastic Differential Equations and Martingale Problems
“Stochastic differential equations are the grammar of random motion — each infinitesimal term encoding the law of uncertainty.”— Adapted from Hiroshi Kunita
4.1. Stochastic Differential Equations: Strong and Weak Formulations
4.2. The Martingale Problem Formulation
4.2.1. Stroock–Varadhan uniqueness condition
- Local boundedness: For every compact set , there exists a constant such that
-
Local ellipticity For every compact set , there exists a constant such thatThat is, is uniformly positive definite on compact sets.
- Continuity condition The coefficients and are locally continuous functions, i.e., for each compact set K,
4.3. Connection between Generators and SDEs
4.4. Weak Convergence and Stability
4.5. Conclusion
5. Statement and Proof of the Classical Feynman–Kac Formula
“Probabilistic representation of PDEs is not an accident; it is the shadow of a deeper semigroup and martingale structure.”— Adapted from E. B. Dynkin
5.1. Introduction and hypotheses
5.2. Statement of the classical theorem
5.3. Proof of existence: martingale argument and verification
5.4. Uniqueness (analytic semigroup argument)
5.5. Remarks and extensions
5.6. Feynman–Kac formula with unbounded potentials (Kato class): rigorous proof
- The coefficients and (symmetric) are measurable and locally bounded, and is uniformly elliptic on compacts.
- The martingale problem for is well posed, producing a Markov family with continuous paths, and the semigroup is Feller on .
- The transition kernel admits a jointly measurable density for which satisfies Gaussian upper bounds: for some constants ,
- The functional is well-defined, finite for each , bounded on compact time intervals, and jointly measurable in .
-
For each the function belongs to , and u satisfies the backward equation in the mild (integral) senseand in particular, if coefficients are smooth enough, and solves
- The function u is the unique bounded continuous (mild/classical under regularity) solution of the above initial-value problem.
5.7. Regularity and boundary conditions
Ellipticity and coefficient regularity.
Potential / Feynman term regularity.
Initial and boundary data regularity and compatibility.
- For classical/Hölder solutions assume (or with suitable control near the boundary) so that the initial trace is compatible with spatial regularity.
- For Sobolev/mild solutions assume or depending on the -parabolic theory employed.
Admissible boundary conditions and probabilistic interpretations.
Boundary regularity for probabilistic representations.
Generator domain and semigroup realization.
Compatibility and maximum principles.
Summary of admissible regularity/boundary regimes.
- Classical regime:, uniform ellipticity, , , boundary data in . Yields and pointwise boundary conditions.
- Sobolev/mild regime: measurable a with uniform ellipticity, in suitable or Kato class, D Lipschitz. Yields u as a mild/weak solution in -parabolic spaces and boundary conditions in trace or weak sense; Feynman–Kac remains valid via killed/penalized diffusion constructions.
- Probabilistic regime: minimal assumptions for well-defined diffusion and exponential functional (e.g., martingale problem well posed, V Kato-class). Yields the Feynman–Kac representation as the defining object for the semigroup and characterizes boundary behavior through hitting probabilities and exit laws.
5.8. Conclusion
- The analytic one, via the semigroup generated by H;
- The probabilistic one, via the expectation over Brownian paths;
- The geometric one, through the Laplace–Beltrami operator .
6. The Feynman–Kac Semigroup
“The bridge between stochastic analysis and partial differential equations is not merely a correspondence — it is a profound equivalence of dynamical principles.”— Kiyosi Itô
In the preceding chapter, we rigorously established the Feynman–Kac formula as a representation of solutions to parabolic partial differential equations (PDEs) in terms of stochastic processes. The present chapter develops this representation into a semigroup framework, revealing deep connections between the probabilistic evolution of diffusion processes and the analytic theory of Schrödinger-type operators. The resulting semigroup, known as the Feynman–Kac semigroup, plays a central role in both mathematical physics and the theory of Markov processes.
6.1. Definition of the Feynman–Kac semigroup
- ;
- (the semigroup property);
- is a contraction on if ;
- , where .
- . This is immediate from the definition since andhence
-
Semigroup property . Fix and . Using the Markov property of X and the multiplicative factorization of the exponential, we computewhere is the natural filtration and we used the time-shifted Markov propertyJustification of the interchange of expectations and conditioning uses Fubini/Tonelli and the integrability hypothesis.
-
Contraction property when . If thenalmost surely, hence for bounded fThus is a contraction on and preserves positivity. The same conclusion extends to and when the semigroup maps those spaces into themselves.
-
Uniform exponential bound with negative part. Write with and . ThenIf is bounded so that , thenand consequentlyThis provides the uniform operator-norm boundWhen is unbounded, one may replace the uniform bound by pointwise (in x) estimates using exponential moments if available, or restrict to time intervals on which the exponential moments are finite.
- Measurability, positivity and monotonicity. For measurable the expectation defining is nonnegative and monotone in f. If V is replaced by a larger potential pointwise, thenand hencefor . These monotonicity properties are useful in approximation arguments (e.g., truncation of potentials).
- Domains and actions on function spaces. If (the underlying Markov semigroup) maps into itself and if , then maps to and is strongly continuous on . If admits a transition density and V satisfies suitable integrability conditions (e.g., Kato-class), then one can often represent by an integral kernel withand deduce mapping properties on -spaces and pointwise bounds via kernel estimates.
- Strong continuity at zero (generator identification). Suppose V is bounded and continuous and is strongly continuous on . Then for one may use Itô’s formula to showso that is (a core of) the generator of the strongly continuous semigroup on . The derivation uses the martingale decompositionwhich is a martingale; taking expectations, dividing by t, and letting yields the generator identification under dominated convergence.
- Composition/adjoint considerations. If is symmetric on for a reference measure and V is -measurable with sufficient integrability, then is symmetric with respect to the weighted measure only in special cases; more generally one studies the Schrödinger operator as an unbounded operator on and regards as its semigroup provided self-adjointness/ sectoriality conditions hold.
6.2. Strong continuity
6.3. Infinitesimal generator of the Feynman–Kac semigroup
6.4. Semigroup representation of parabolic PDEs
Existence and integrability.
Infinitesimal generator.
Cauchy problem and uniqueness.
Regularity.
6.5. Approximation procedure for unbounded Kato-class potentials
Step 1: Bounded truncation.
Step 2: Feynman–Kac semigroup for truncated potentials.
Step 3: Uniform integrability via Kato-class condition.
Step 4: Generator convergence.
Step 5: Mild solution and uniqueness.
Step 6: Remarks on spatial regularity.
6.6. Conservativeness and sub-Markov property
Sub-Markov property.
Conservativeness.
Generator perspective.
Remarks.
- (1)
- The sub-Markov property ensures that can be extended to spaces for as a contraction semigroup.
- (2)
- Conservativeness is closely linked to stochastic completeness of the underlying process: if generates a diffusion on a non-compact domain, conservativeness of the semigroup without killing implies almost sure non-explosion of sample paths.
- (3)
- For unbounded Kato-class potentials , the sub-Markov property remains valid by dominated convergence and uniform integrability arguments, even if strictly.
6.7. Sub-Markovian semigroups and killing measures: Dirichlet form perspective
Equivalence with sub-Markovian property.
Killing measure interpretation.
Dirichlet form regularity.
Connection to the generator.
Remarks.
- This framework rigorously connects stochastic pathwise killing (via exponential functionals) with analytic dissipative effects in the generator and Dirichlet form.
- For unbounded Kato-class potentials, the sub-Markov property remains valid due to uniform integrability of the exponential functional and dominated convergence arguments.
- The Dirichlet form perspective allows extension to symmetric jump processes and Lévy-type generators, yielding sub-Markov semigroups in more general settings beyond diffusions.
6.8. Analytic characterization
Integral kernel representation.
Chapman–Kolmogorov identity.
Remarks.
- The Kato-class condition is sufficient to ensure that is ultracontractive on , and the kernel is dominated by the free heat kernel via Gaussian upper bounds:
- The semigroup representation allows analytic continuation in t and rigorous derivation of spectral properties of via the kernel .
- The Chapman–Kolmogorov identity ensures that satisfies the semigroup property on all spaces, not just .
6.9. Kernel estimates and small-time asymptotics
Gaussian upper and lower bounds.
Duhamel (parametrix) expansion.
Small-time asymptotics.
Gradient estimates.
Spectral and analytic consequences.
- The operator is essentially self-adjoint on when and .
- The semigroup is positivity preserving and contractive on , hence it admits a spectral resolution via the spectral theorem.
- The kernel determines the resolvent through the Laplace transformproviding the Green’s function for the Schrödinger operator .
Summary.
6.10. Spectral and resolvent theory of the Feynman–Kac semigroup
Resolvent operators.
Kernel representation of the resolvent.
Self-adjointness and positivity.
Spectral representation.
Compactness and eigenvalue asymptotics.
Connection with ground state transformations.
Spectral gap and exponential convergence.
Summary.
6.11. Functional integration and the Feynman–Kac formula in
6.12. Spectral interpretation
- If H has discrete spectrum with normalized eigenfunctions , thenand the trace formula holds whenever the trace is finite.
- The ground state (if it exists and is chosen strictly positive a.e.) yields the ground-state transform (Doob h-transform)which is a Markov semigroup with invariant probability measure .
- Spectral gap estimates, exponential ergodicity and return-to-equilibrium bounds follow from lower bounds on the first nonzero eigenvalue and the form coercivity properties.
- The equality holds in for under additional kernel bounds and ultracontractivity hypotheses; on one needs uniform-in-x exponential integrability of the Feynman weight.
- The diamagnetic inequality (in the presence of magnetic fields) and Kato’s inequality provide monotonicity and domination results: if then as positivity-preserving operators.
- When H is not bounded below (e.g., potentials unbounded from below), one must work with form-boundedness and construct H as a lower semibounded self-adjoint operator via the KLMN theorem; the Feynman–Kac identity then requires more careful integrability control (exponential moments may fail).
6.13. Conclusion
- Semigroup Property:;
- Strong Continuity:;
- Positivity Preservation:;
- Contractivity: when .
Part III Analytical and Physical Interpretations
7. Potential Theory and Dirichlet Forms
“A Dirichlet form is the fingerprint of a Markov process in the analytic universe.”— Masatoshi Fukushima
7.1. Dirichlet Forms: Definitions and Basic Properties
- (Denseness) is dense in .
- (Symmetry and positivity) for all , and for all .
- (Closedness) is complete.
- (Markov property) For all , the truncated functionbelongs to , and moreover,
- producing quasi-continuous representatives for resolvent images of bounded functions,
- using these representatives to build a family of resolvent kernels (Radon measures) for x outside an exceptional set,
- verifying the resolvent identities and the sub-Markov properties that guarantee the existence of a right-continuous Markov process with that resolvent, and
- establishing the identification µ-a.e. and uniqueness up to properly exceptional sets.
7.2. Capacity, Excessive Functions, and Fine Topology
Excessive Functions
Capacity
Interpretation:
Quasi-everywhere (q.e.) properties.
Fine Topology
Properties of the Fine Topology.
- is strictly finer than the topology induced by -almost everywhere convergence, i.e., it distinguishes points that are indistinguishable under .
- Every admits a quasi-continuous modification , meaning that there exists a set N with such that is -continuous on .
- The fine topology coincides with the topology of the potential theory associated with : it is the smallest topology making the sample paths finely continuous almost surely.
Summary.
Analytic vs. probabilistic excessivity; quasi-continuous modifications
- u isanalytic-excessive: for every and μ-a.e.;
- u isprobabilistic-excessive: for μ-a.e. (indeed for q.e.) and every ,
7.3. Quasi-Continuity, Revuz Correspondence and Smooth Measures
- charges no set of capacity zero: if , then ;
- there exists a nest of closed sets such that
- is adapted and almost surely right-continuous with left limits;
- is nondecreasing and continuous in t;
- for all and all ;
- The local time of a diffusion at a point a;
- The occupation time of a measurable set B:
- Additive functionals defined via continuous potentials, such as for bounded measurable f.
- Given , the measure defined via the integral identity above is smooth and corresponds uniquely to .
- Conversely, given , the process constructed as above is a PCAF corresponding to .
- (i)
- For any PCAF , define the functional
- (ii)
- By Fubini’s theorem and semigroup properties, is bilinear, positive, and continuous on .
- (iii)
- Using Riesz representation and the structure of potential operators , one identifies a unique -finite measure such that
- (iv)
- Conversely, given any smooth measure , one constructs a PCAF such that the above identity holds, using the potential and the fine continuity of paths.
- (v)
- Uniqueness follows from the strong Markov property and the strict positivity of .
- Each smooth measure defines a unique “occupation functional’’ along the paths of ;
- The potential operator serves as the Green’s kernel, linking analytic potentials to expected discounted additive functionals;
- Quasi-continuity ensures the compatibility of analytic and probabilistic definitions, so that pathwise integrals such as are well-defined for all quasi-continuous .
7.4. Beurling–Deny Decomposition and Nonlocal Forms
- is a closed, symmetric, bilinear form on ;
- the Markov property holds: for all ,
- is dense in both (with the norm ) and (with the uniform norm).
- strongly local if whenever f is constant on a neighborhood of the support of g;
- purely nonlocal if depends only on pairwise differences ;
- with killing if the process can be terminated at a random lifetime.
- represents the diffusion coefficient, corresponding to the energy measure of the strongly local part;
- represents the killing rate, a nonnegative measurable function on E;
- is a symmetric jump kernel, that is, a positive measure on satisfyingand for each x, is a -finite measure on .
-
Diffusion (strongly local) part:This term describes local energy dissipation and corresponds to the continuous part of the process, i.e., its Brownian-like motion. The matrix (if ) represents the diffusion tensor and satisfies (positive semidefinite) for -a.e. x.
- Killing part:where is measurable. This term accounts for possible “absorption” or “killing’’ of the process at rate ; probabilistically, it corresponds to an exponential lifetime mechanism independent of spatial motion.
-
Jump (nonlocal) part:This term quantifies the total quadratic energy contributed by jumps between points x and y. The kernel measures the frequency and intensity of such jumps. It generalizes Lévy-type nonlocal operators and yields the generatorunder suitable integrability conditions (typically requiring ).
- The diffusion part corresponds to the continuous martingale component of the process (e.g., Brownian motion);
- The jump part corresponds to the pure jump component of the process, where transitions occur discontinuously according to the kernel J;
- The killing part corresponds to an independent exponential killing time with spatial rate , at which the process terminates.
- the structure of the generator L, which becomes a sum ;
- the spectral representation of L, with local and nonlocal components contributing distinct spectral branches;
- the potential kernel , whose integral kernel decomposes into diffusion, jump, and killing contributions, crucial for potential-theoretic and probabilistic estimates.
7.5. Applications to Feynman–Kac Semigroups and Schrödinger Operators
-
Capacity and quasi-continuity. For every Borel set , the -capacity is defined byA function admits a quasi-continuous representative , continuous outside a set of capacity zero, satisfying .
-
Excessive functions and resolvents. The semigroup defines an associated resolvent :A measurable function is -excessive if for all and -a.e. Such functions form the potential-theoretic basis of the Schrödinger operator, corresponding to superharmonic functions in classical analysis.
- Fine topology and pathwise interpretation. The fine topology associated with is the coarsest topology making all excessive functions finely continuous. This topology describes the most refined structure under which the trajectories are quasi-continuous. Under this topology, the potential V modifies the recurrence and transience properties of by exponentially damping its occupation measure through the multiplicative functional .
- Dirichlet (absorbing) boundary conditions correspond to the subspace
- Neumann (reflecting) boundary conditions correspond to extending to include functions with zero normal derivative at .
7.6. Dirichlet Form Perturbations and Feynman–Kac Semigroups
- (H1)
- (bounded potential);
- (H2)
- V is form-bounded w.r.t. with relative form bound (KLMN condition): there exist and such that for all ,
- (H3)
- V belongs to a suitable Kato class (or form-bounded with arbitrarily small relative bound) permitting the stochastic Feynman–Kac functional to be defined and the form-sum to be closed.
7.7. Conclusion
8. Path Integral Representation
“The theory of quantum mechanics describes nature as a sum over histories, each history contributing to the whole by its amplitude.”
— Richard P. Feynman
Wiener Measure and Configuration Space of Paths
8.2. Feynman–Kac Functional and Schrödinger Semigroup Representation
8.3. Analytic Justification and Domain Correspondence
8.4. Path Integral as Infinite-Dimensional Limit
8.5. Connection to Dirichlet Forms and Potential Theory
8.6. Conclusion
9. Functional Analytic Properties
“Analysis is the art of taming infinity by approximation.”— Jean Dieudonné
9.1. Strongly Continuous Semigroups and Their Generators
Domain invariance and regularity.
Approximation by bounded operators (Chernoff product formula).
Spectral mapping and growth/decay rates.
Cores and perturbation stability.
Concrete examples.
9.2. Self-Adjoint Operators and Spectral Theorem
Self-adjointness of the generator
9.2.2. Spectral representation
9.2.3. Quadratic form and fractional powers
9.3. Compactness and Spectral Discreteness
Compactness criterion and its consequences
9.3.2. Examples and sufficient conditions for compactness
- (i)
- Finite measure space: If and is a symmetric, positivity-preserving Markov semigroup (e.g., the heat semigroup on a bounded domain with Dirichlet boundary conditions), then compactness of follows from the Rellich–Kondrachov compact embedding theorem:which ensures that the corresponding generator (typically ) has purely discrete spectrum.
- (ii)
- Confining potential: For the Schrödinger operatoron , if the potential satisfies as , then the embedding of the associated form domaininto is compact. Consequently, is a compact operator for all , and the spectrum of H consists of discrete eigenvalues with finite multiplicities and .
- (iii)
- Elliptic operators on compact manifolds: If E is a compact Riemannian manifold and L is the Laplace–Beltrami operator, then is compact on because the embedding is compact. In this case, the eigenfunctions form an orthonormal basis of smooth functions on E, and the eigenvalues satisfy Weyl’s asymptotic law:
9.3.3. Summary of implications
9.4. Form Methods and the Friedrichs Extension
First Representation Theorem (Kato–Friedrichs Theorem)
9.4.2. Lower Bounded Forms and Friedrichs Extension
9.4.3. Connection with Dirichlet Forms
9.5. Analyticity, Sectorial Forms, and Holomorphic Semigroups
- Its numerical range satisfiesfor some ;
- The range condition holds:
9.6. Spectral Measures, Functional Calculus, and Resolvent Identities
9.7. Spectral Decomposition of Schrödinger Operators
9.8. Conclusion
Part IV Generalizations and Modern Extensions
10. Extensions to Lévy and Jump Processes
“Every discontinuity hides a structure; every jump conceals a law.”
— Paul Lévy
10.1. Motivation and General Framework
10.2. Lévy–Khintchine Representation
- is the drift vector;
- is a symmetric nonnegative-definite matrix representing the Gaussian covariance;
- is a Lévy measure on satisfying
- corresponds to the deterministic drift component;
- corresponds to the Gaussian diffusion component;
- the integral term represents the jump component, describing random discontinuities with intensity governed by .
10.3. Nonlocal Dirichlet Forms
10.4. Fractional Laplacian as a Paradigm
10.5. Feynman–Kac Representation with Jumps
- The analytic side is represented by the semigroup acting on , with infinitesimal generator .
- The probabilistic side is given by the expectation over Lévy trajectories, with the exponential weight incorporating the potential energy functional.
10.6. Generators with Drift and Jump–Diffusion Operators
- is a measurable drift field describing the deterministic first-order motion;
- is a measurable, symmetric, positive semidefinite matrix field representing the local diffusion coefficients;
- is a position-dependent Lévy kernel (or jump measure) satisfying the integrability condition
- is a standard d-dimensional Brownian motion;
- is a measurable diffusion coefficient matrix satisfying ;
- is a Poisson random measure on with compensator ;
- denotes the compensated Poisson measure, ensuring martingale properties for small jumps.
- L is local in the diffusion and drift parts but nonlocal in the jump component.
- When , , and is symmetric, L reduces to the generator of a pure Lévy process, often associated with a Dirichlet form.
- When , L reduces to a second-order differential operator with drift, corresponding to an Itô diffusion.
- In mathematical finance, it appears in jump–diffusion models of asset prices (e.g., Merton’s model, Kou’s double-exponential jump diffusion).
- In physics, it describes transport phenomena with both diffusive and ballistic (jump) components.
- In biology and ecology, it models spatial population dynamics with long-range dispersal.
10.7. Analytic and Probabilistic Duality
- Densely defined: The domain is dense in .
- Closedness: For any sequence with in and , we have and .
-
Sector condition: There exists a constant such that for all ,This ensures that the form is sectorial, i.e., its numerical range lies in a sector of the complex plane.
- Markov property: For every , the truncated function also belongs to , and
- is the local (continuous) part corresponding to diffusion; it is strongly local in the sense that
- is a symmetric, positive Radon measure on , referred to as the jump measure, encoding the intensity and distribution of discontinuous jumps;
- is a positive Radon measure on E known as the killing measure, representing the rate at which the process is terminated (or killed).
- the local part corresponds to the Gaussian (Brownian) component;
- the jump measure corresponds to the Lévy measure ;
- the killing term corresponds to an exponential killing rate or absorption potential.
10.8. Spectral and Regularity Properties
- the operator is nonlocal, self-adjoint, and nonnegative on ;
- the spectrum is discrete under confinement potentials ;
- eigenfunctions are Hölder continuous but not smooth;
- the semigroup is analytic and contractive on ;
- the heat kernel obeys heavy-tailed decay consistent with jump behavior.
10.9. Conclusion
11. Nonlocal PDEs and Fractional Diffusions
“To understand diffusion beyond locality is to touch the geometry of space itself.”
— I. M. Gel’fand
11.1. Motivation and Overview
11.2. Fractional Laplacian: Analytic Definitions
- Symmetric:.
- Closed: The domain is complete under the norm
- Markovian: For any normal contraction with , we haveensuring that the corresponding semigroup preserves positivity and contractivity.
| Definition Type | Formula | Key Feature |
| Fourier | Spectral structure | |
| Singular Integral | Nonlocality | |
| Dirichlet Form | Variational energy |
11.3. Fractional Heat Equation and Its Kernel
- For small displacements ():which matches the density scaling of a stable process.
- For large displacements ():showing a power-law, heavy-tailed decay unlike the Gaussian exponential decay of the classical heat kernel.
11.4. Cauchy Problems and Well-Posedness
- (Strong continuity): for all .
- (Self-adjointness): for all .
- (Contractivity): for all .
11.5. Fractional Schrödinger Operators
- The semigroup generated by acts aswith Fourier symbol .
- Define the multiplicative functionalwhich is positive and satisfies if denotes the negative part of V.
- Then, the family defined byforms a strongly continuous, symmetric, positivity-preserving semigroup on .
- The generator of is the self-adjoint operator H defined in (984).
- The analytic properties of H (self-adjointness, spectral bounds, domain structure) correspond to path properties of and integrability of the exponential functional of V.
- The lower spectral bound of H satisfiesreflecting the fact that the potential term shifts the energy spectrum upward by its infimum.
11.6. Boundary Value Problems and Extension Technique
- Boundary regularity: Solutions to fractional elliptic equations inherit regularity from the corresponding degenerate elliptic equation .
- Spectral interpretation: On bounded domains , the spectral fractional Laplacian defined via eigenfunction expansions coincides with the Dirichlet-to-Neumann map of the extension problem with vanishing boundary condition .
- Variational analysis: The correspondence (992) permits the application of tools from weighted Sobolev spaces and calculus of variations to fractional problems.
- Harnack and Liouville principles: The weighted harmonic nature of U yields nonlocal analogues of classical results such as Harnack inequalities and Liouville theorems for -harmonic functions.
11.7. Nonlocal Variational Problems and Energy Minimization
11.8. Spectral Properties and Regularity
11.9. Conclusion
12. Infinite-Dimensional Diffusions and Stochastic Partial Differential Equations
“Probability in infinite dimensions is not mere chance—it is geometry itself.”
— S. R. S. Varadhan
12.1. Motivation and Overview
- is a separable Hilbert space,
- A is the generator of a strongly continuous semigroup ,
- is a cylindrical Wiener process on ,
- F and G are nonlinear drift and diffusion maps.
12.2. Stochastic Integration in Hilbert Spaces
12.3. Mild and Weak Solutions
- is the infinitesimal generator of a strongly continuous semigroup on ,
- is a bounded Hilbert–Schmidt operator representing the diffusion coefficient, and
- is a cylindrical Wiener process on .
Mild solution
12.3.2. Weak solution
12.3.3. Equivalence between mild and weak solutions
- the operator A generates a -semigroup on ,
- the operator G is Hilbert–Schmidt, and
- for all ,
12.4. The Linear Stochastic Heat Equation
Formulation of the problem
Abstract reformulation
Mild solution
Spectral decomposition
Covariance structure and Gaussianity
Regularity properties
12.5. Nonlinear SPDEs and Monotone Operators
Variational setting and Gelfand triple
Monotonicity and coercivity conditions
- Hemicontinuity: For all , the mapis continuous on .
- Monotonicity: There exists a constant such that for all ,
- Coercivity: There exist constants and such that for all ,
- Growth condition: There exists such that for all ,
Definition of variational solution
Existence and uniqueness theorem
Energy estimate
Examples
- Stochastic porous medium equation:
- Stochastic reaction–diffusion equation:
- Stochastic Navier–Stokes equations (in 2D):
12.6. Invariant Measures and Ergodicity
Gaussian invariant measure for linear systems
- is the infinitesimal generator of a strongly continuous semigroup on ,
- is a bounded Hilbert–Schmidt operator (diffusion coefficient),
- is a cylindrical Wiener process on .
Existence of invariant measure
Characterization of the invariant measure
Uniqueness and ergodicity
Summary: the Ornstein–Uhlenbeck semigroup
12.7. Malliavin Calculus and Regularity of Laws
12.8. Spectral and Functional Analytic Structure
- If has purely discrete spectrum with , then admits an eigenfunction expansion:
- The spectral gap quantifies the exponential rate of convergence to equilibrium.
- If is self-adjoint in , then , and admits a spectral decomposition via a resolution of the identity:with .
12.9. Connection to Dirichlet Forms
Definition of the Dirichlet Form
Closability and Associated Operator
Example: Ornstein–Uhlenbeck Process
Functional Analytic and Probabilistic Connection
- Functional Analysis: where defines a symmetric bilinear form generating a self-adjoint operator;
- Potential Theory: where characterizes notions of capacity, energy, and equilibrium;
- Stochastic Analysis: where corresponds to the quadratic variation and energy dissipation of stochastic dynamics.
Conclusion
12.10. Conclusion
13. Stochastic Analysis on Manifolds and Geometric Diffusions
“Geometry is the language with which probability describes motion.”— Anonymous
13.1. Brownian Motion on Riemannian Manifolds
Local SDE representation.
Existence, uniqueness and stochastic development.
Non-explosion and stochastic completeness.
Heat kernel and short-time asymptotics.
Geometry and analytic estimates.
Stochastic parallel transport and connection Laplacian.
Smoothness of transition probabilities and Malliavin nondegeneracy.
Long-time behaviour and spectral theory.
Applications and further directions.
13.2. Geometric Interpretation via Horizontal Lifts
Canonical horizontal vector fields.
Stochastic development on .
Projection to Brownian motion on M.
Geometric interpretation.
13.3. Heat Semigroup and Heat Kernel on Manifolds
Heat semigroup.
Heat kernel representation.
Semigroup property of the heat kernel.
Asymptotic expansion as .
- is the Riemannian geodesic distance between x and y,
- are smooth coefficient functions on ,
- , and higher coefficients encode curvature information.
Geometric significance.
13.4. Gradient Operators and Stochastic Parallel Transport
Covariant derivative along a curve / semimartingale.
Stochastic parallel transport.
Frame-bundle formulation.
Itô versus Stratonovich and the geometric Itô formula.
Covariant Itô formula for vector fields and one-forms.
Linearization and derivative flow.
Malliavin derivative and representation via parallel transport.
Conclusion and role in Malliavin calculus.
13.5. Bochner Identity and Curvature Effects
Preliminary definitions
Gradient and Hessian.
Laplacian and Divergence.
Derivation of the Bochner–Weitzenböck identity
13.5.3. Interpretations and geometric consequences
Analytic interpretation.
Integration formula.
Probabilistic interpretation.
Bakry–Émery curvature criterion.
Conclusion.
13.6. Diffusions with Drift and Divergence Form Operators
13.6.1. Stochastic Differential Representation
13.6.2. Invariant Measures and Reversibility
13.6.3. Gradient Drift and Self-Adjoint Realization
13.6.4. Dirichlet Form Representation
13.6.5. Summary of the Analytic and Probabilistic Correspondence
| Concept | Analytic Representation | Probabilistic Interpretation |
| Generator | Drift–diffusion dynamics | |
| Adjoint | Backward Kolmogorov operator | |
| Invariant measure | Stationary law of diffusion | |
| Gradient drift | Reversible diffusion | |
| Weighted Laplacian | Self-adjoint generator in |
13.7. Geometric Dirichlet Forms
13.7.1. Definition and Domain of the Dirichlet Form
13.7.2. Fundamental Analytic Properties
(i) Symmetry.
(ii) Positivity and Markovianity.
(iii) Closability.
(iv) Strong locality.
13.7.3. Associated Self-Adjoint Operator
13.7.4. Functional Analytic Representation
13.7.5. Geometric and Probabilistic Interpretations
(a) Geometric aspect.
(b) Probabilistic aspect.
13.7.6. Summary
- the analytic structure of the Laplace–Beltrami operator as a self-adjoint elliptic operator on ,
- the geometric structure of the manifold through the Riemannian metric tensor g, and
- the probabilistic structure of Brownian motion as the Markov process associated with the form.
13.8. Feynman–Kac Formula on Manifolds
The Schrödinger-type Operator
13.8.2. The Feynman–Kac Representation
13.8.3. Analytic Consequences
Semigroup representation:
Positivity preservation and contractivity:
Spectral interpretation:
- The same argument (minimax principle) yields the full variational characterization of higher eigenvalues (Courant–Fischer–Weyl min–max principle).
- On noncompact manifolds or when the resolvent is not compact, the infimum on the right-hand side still equals the bottom of the spectrum (the spectral infimum), but attainment (existence of a ground state) may fail and additional conditions (e.g., confinement by the potential V) are required to ensure discreteness and attainment.
Curvature and Potential Effects
13.8.5. Derivation via the Minakshisundaram–Pleijel Expansion
13.8.6. Local Expansion and Geometric Dependence
13.8.7. Stochastic Interpretation via the Feynman–Kac Weight
- The curvature of affects the transition density of the Brownian motion via the Levi-Civita connection. Specifically, the Itô–Stratonovich correction term in the SDEintroduces drift proportional to the Christoffel symbols, encoding geometric distortion of the diffusion paths.
- The potential V enters multiplicatively through the stochastic exponential factorwhich serves as a Feynman–Kac weight penalizing trajectories according to the accumulated potential energy.
13.8.8. Consequences and Applications
- The coefficient provides the first-order curvature correction to the on-diagonal heat kernel and is central to index theorems (e.g., the Atiyah–Singer theorem).
- The trace of admits the small-time asymptotic expansionlinking heat kernel asymptotics to spectral invariants.
- In probabilistic terms, curvature governs the concentration of Brownian trajectories, while V governs the exponential damping of their contribution.
13.8.9. Summary
- Analysis: solutions of the heat equation with potential V;
- Geometry: curvature of the manifold via ;
- Probability: expectations over diffusion paths .
13.9. Heat Kernel Estimates and Geometric Bounds
Gaussian-Type Estimates under Ricci Curvature Bounds
13.9.2. Setting and Assumptions
13.9.3. Li–Yau Differential Inequality
13.9.4. Harnack Inequality and Consequences
13.9.5. Gaussian Upper and Lower Bounds
- Establishing the on-diagonal estimatederived from the maximum principle and the parabolic mean value inequality.
- Applying the Harnack inequality (1258) to relate off-diagonal values to on-diagonal ones.
- Using the Chapman–Kolmogorov relationto propagate bounds in time.
13.9.6. Geometric and Probabilistic Interpretation
- The term reflects the diffusive nature of Brownian motion on , where plays the role of the squared normalized distance.
- The factors encode the influence of Ricci curvature: negative curvature (large K) enhances the spreading of heat, while nonnegative curvature confines it.
- The pre-factor arises from the scaling of Brownian motion in d dimensions and coincides with the Euclidean heat kernel behavior for small times.
13.9.7. Relation to Log-Sobolev and Poincaré Inequalities
- Log-Sobolev inequality: If , then there exists such that for all with ,
- Poincaré inequality: The spectral gap of the Laplace–Beltrami operator is bounded below by a constant depending only on K and the volume growth rate of .
13.9.8. Conclusion
13.9.9. Analytic Consequences of Heat Kernel Bounds
Volume Doubling and Poincaré Inequalities
(A) From heat kernel lower bound to on-diagonal mass estimate and doubling.
(B) From heat kernel upper bound to parabolic mean value estimates and Poincaré inequality.
(C) Summary of the chain of implications.
- (1)
- an on-diagonal control which yields polynomial upper bounds for ball volumes (estimate (1268));
- (2)
- via integration of the lower bound, an upper bound on and hence a volume doubling property (1269);
- (3)
- via parabolic energy (Caccioppoli) estimates and the upper Gaussian bound, a scale-invariant Poincaré inequality (1272) on balls.
Log–Sobolev inequality under a positive Ricci lower bound
Statement.
Proof.
Remarks:
Spectral gap (Lichnerowicz) and ultracontractivity
1. Lichnerowicz spectral gap estimate.
2. Ultracontractivity of the heat semigroup.
Remarks.
- The constant appearing above is the first nonzero eigenvalue of . When one works with the generator the exponential factors become as stated (matching the convention used here).
- The Nash inequality (1304) can be derived from the Sobolev inequality on compact manifolds and provides the canonical route to ultracontractivity estimates; alternative approaches use direct heat kernel Gaussian bounds or interpolation arguments (Davies’ methods).
- The combination of the short-time smoothing and the long-time exponential damping manifests both the regularizing action of the diffusion and the stabilizing effect of the spectral gap.
13.9.10. Relation to Curvature-Dimension Conditions
13.9.11. Summary of the Geometric–Probabilistic Correspondence
| Geometric Quantity | Probabilistic / Analytic Consequence |
| Ricci curvature lower bound | Gaussian heat kernel bounds |
| Volume doubling property | On-diagonal heat kernel estimate |
| Positive Ricci curvature | Exponential convergence to equilibrium |
| Log–Sobolev inequality | Entropy decay along diffusion semigroup |
| Poincaré inequality | Spectral gap for Laplace–Beltrami operator |
13.9.12. Conclusion
13.10. Connections to Geometry, Analysis, and Probability
Heat flow as gradient flow and probabilistic representation.
Curvature controls: Bochner, Bakry–Émery and functional inequalities.
Spectral geometry and stochastic traces.
Malliavin calculus, hypoellipticity and densities.
Geometric flows and stochastic completeness.
Probabilistic proofs of geometric/analytic theorems.
Dirichlet forms and energy measures.
Extensions: drift, potentials and geometric Schrödinger operators.
Synthesis and research directions.
13.11. Conclusion
References
- Karatzas, I., & Shreve, S. (2014). Brownian motion and stochastic calculus. springer.
- Oksendal, B. (2013). Stochastic differential equations: an introduction with applications. Springer Science & Business Media. [CrossRef]
- Revuz, D., & Yor, M. (2013). Continuous martingales and Brownian motion (Vol. 293). Springer Science & Business Media.
- Stroock, D. W. (2010). Probability theory: an analytic view. Cambridge university press.
- Doob, J. L., & Doob, J. I. (1984). Classical potential theory and its probabilistic counterpart (Vol. 262). New York: Springer.
- Billingsley, P. (2017). Probability and measure. John Wiley & Sons.
- Billingsley, P. (2013). Convergence of probability measures. John Wiley & Sons.
- Durrett, R. (2019). Probability: theory and examples (Vol. 49). Cambridge university press.
- Mörters, P., & Peres, Y. (2010). Brownian motion (Vol. 30). Cambridge University Press.
- Prato, G. D., & Zabczyk, J. (1992). A note on stochastic convolution. Stochastic Analysis and Applications, 10(2), 143-153.
- Ethier, S. N., & Kurtz, T. G. (2009). Markov processes: characterization and convergence. John Wiley & Sons.
- Liggett, T. M. (2025). Continuous time Markov processes: an introduction (Vol. 113). American Mathematical Society.
- Davies, E. B. (1989). Heat kernels and spectral theory (No. 92). Cambridge university press.
- Dynkin, E. B. (1965). Markov processes. In Markov Processes: Volume 1 (pp. 77-104). Berlin, Heidelberg: Springer Berlin Heidelberg.
- Dynkin, E. B. (2012). Theory of Markov processes. Courier Corporation.
- Stroock, D. W., & Varadhan, S. S. (2007). Multidimensional diffusion processes. Springer.
- Rogers, L. C. G., & Williams, D. (2000). Diffusions, Markov processes, and martingales (Vol. 2). Cambridge university press.
- Friedman, A. (1975). Stochastic differential equations and applications. In Stochastic differential equations (pp. 75-148). Berlin, Heidelberg: Springer Berlin Heidelberg.
- Simon, B. (1979). Functional integration and quantum physics (Vol. 86). American Mathematical Soc..
- Simon, B. (2005). Functional integration and quantum physics (No. 351). American Mathematical Soc.. [CrossRef]
- Reed, M., & Simon, B. (1980). Methods of modern mathematical physics: Functional analysis (Vol. 1). Gulf Professional Publishing.
- Fukushima, M. (1980). Dirichlet forms and Markov processes (Vol. 23). Amsterdam: North-Holland Publishing Company.
- Hsu, E. P. (2002). Stochastic analysis on manifolds (No. 38). American Mathematical Soc..
- Fukushima, M., Oshima, Y., & Takeda, M. (2011). Dirichlet forms and symmetric Markov processes (Vol. 19). Walter de Gruyter.
- Ma, Z. M., & Röckner, M. (2012). Introduction to the theory of (non-symmetric) Dirichlet forms. Springer Science & Business Media.
- Davies, Edward Brian. "One-parameter semigroups." (No Title) (1980).
- Chen, Z. Q., & Fukushima, M. (2012). Symmetric Markov processes, time change, and boundary theory (LMS-35) (Vol. 35). Princeton University Press.
- Chen, Z.Q., & Fukushima, M. (2012). A localization formula in Dirichlet form theory. Proceedings of the American Mathematical Society , 1815-1822. [CrossRef]
- Bass, R.F. (2004). Stochastic differential equations driven by symmetric stable processes. In Séminaire de Probabilités XXXVI (pp. 302-313). Berlin, Heidelberg: Springer Berlin Heidelberg.
- Albeverio, S., Gesztesy, F., Hoegh-Krohn, R., & Holden, H. (2012). Solvable models in quantum mechanics. Springer Science & Business Media.
- Applebaum, D. (2009). Lévy Processes and Stochastic Calculus. 2nd ed., Cambridge University Press, Cambridge.
- Sato, K. (1999). Lévy Processes and Infinitely Divisible Distributions. Cambridge Studies in Advanced Mathematics 68, Cambridge University Press, Cambridge.
- Bass, R. F., Kassmann, M., Kumagai, T. (2010). Symmetric jump processes: localization, heat kernels and convergence. Ann. Inst. Henri Poincaré (B) Probab. Statist., 46(1), 59–71. [CrossRef]
- Bouleau, N. (2016). Dirichlet Forms Methods for Poisson Point Measures and Lévy Processes. Springer, Cham.
- Di Nezza, E., Palatucci, G., Valdinoci, E. (2012). Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math., 136(5), 521–573.
- Servadei, R., Valdinoci, E. (2015). The variational fractional Laplacian. Discrete Contin. Dyn. Syst., 35(11), 5361–5404.
- Röckner, M., Zhu, X., Zhang, X. (2014). Existence and uniqueness of solutions to stochastic functional differential equations in infinite dimensions. Electron. J. Probab., 19, Paper No. 2709, 1–33. [CrossRef]
- Elworthy, K. D., Le Jan, Y., Li, X.-M. (1999). The Geometry of Filtering. Birkhäuser, Boston.
- Simon, B. (1982). Schrödinger semigroups. Bulletin of the American Mathematical Society, 7(3), 447-526.
- Li, Peter; Yau, Shing-Tung. On the parabolic kernel of the Schrödinger operator. Acta Mathematica 156 (1986), 153–201. doi:10.1007/BF02399203. [CrossRef]
- Grigor’yan, A. (2009). Heat kernel and analysis on manifolds, volume 47 of AMS. IP Studies in Advanced Mathematics. American Mathematical Society, Providence, RI, 2.
- Saloff-Coste, L. (2002). Aspects of Sobolev-type inequalities (Vol. 289). Cambridge University Press.
- Bakry, D., & Émery, M. (1985). Séminaire de probabilités XIX 1983/84. Diffusions hypercontractives, 1123, 177-206.
- Bakry, D., Gentil, I., & Ledoux, M. (2013). Analysis and geometry of Markov diffusion operators (Vol. 348). Springer Science & Business Media.
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2025 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).
