pith. sign in

arxiv: 2502.15183 · v4 · submitted 2025-02-21 · 🧮 math.PR · math.AP· math.FA· math.SP

Spectral theory of non-local Ornstein-Uhlenbeck operators

Rohan Sarkar This is my paper

Pith reviewed 2026-05-23 02:57 UTC · model grok-4.3

classification 🧮 math.PR math.APmath.FAmath.SP
keywords non-local Ornstein-UhlenbeckLévy processesspectral theoryintertwining relationseigenfunction expansionsMarkov semigroupscompactness
0
0 comments X

The pith

Lévy-driven non-local Ornstein-Uhlenbeck operators admit explicit biorthogonal eigenfunction expansions when the drift matrix is diagonalizable.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a spectral theory for non-local Ornstein-Uhlenbeck operators driven by Lévy processes. It proves that every such semigroup is intertwined with a corresponding diffusion OU semigroup, which transfers spectral information including multiplicities and eigenfunctions. When the drift matrix B is diagonalizable, this yields explicit formulas for biorthogonal eigenfunctions and co-eigenfunctions, valid even for pure-jump Lévy processes. The analysis also covers compactness properties of the semigroups under the stated assumptions.

Core claim

Under mild assumptions on the Lévy process, the non-local OU operator has a spectrum whose properties follow from an intertwining relation with a diffusion OU semigroup. When B is diagonalizable, explicit formulas exist for the eigenfunctions and co-eigenfunctions that form a biorthogonal system, and the semigroup admits a spectral expansion; these conclusions remain valid when the driving Lévy process is a pure jump process.

What carries the argument

The intertwining relationship between Lévy-OU semigroups and diffusion OU semigroups, which transfers eigenfunction data and spectral structure.

If this is right

  • The spectrum and its multiplicities are inherited from the diffusion case via the intertwining map.
  • The semigroup admits an expansion in the biorthogonal eigenfunctions.
  • Compactness of the semigroup holds under explicit conditions derived from the Lévy measure.
  • The formulas apply directly to pure-jump driving processes without additional restrictions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The intertwining technique could be tested on other classes of non-local generators to obtain similar explicit bases.
  • Numerical approximation schemes for expectations under Lévy-OU dynamics could be built from the explicit eigenfunctions.
  • Extensions to non-diagonalizable B would likely require Jordan-block analysis of the drift.

Load-bearing premise

The drift matrix B is diagonalizable and the Lévy process satisfies mild conditions that permit the intertwining relation.

What would settle it

A concrete Lévy process satisfying the mild assumptions for which the intertwining relation fails or for which no biorthogonal eigenfunctions exist when B is diagonalizable.

read the original abstract

We consider non-local Ornstein-Uhlenbeck (OU) operators that correspond to Ornstein-Uhlenbeck processes driven by L\'evy processes. These are ergodic Markov processes and the OU operator is in general non-normal in the $L^2$ space weighted with the invariant distribution. Under some mild assumptions on the L\'evy process, we carry out in-depth analysis of the spectrum, spectral multilicities, eigenfunctions and co-eigenfunctions (eigenfunctions of the adjoint), and the existence of spectral expansion of the semigroups. When the drift matrix $B$ is diagonalizable, we derive explicit formulas for eigenfunctions and co-eigenfunctions which are also biorthogonal, and such results continue to hold when the L\'evy process is a pure jump process. A key ingredient in our approach is \emph{intertwining relationship}: we prove that every L\'evy-OU semigroup is intertwined with a diffusion OU semigroup. Additionally, we study the compactness properties of these semigroups and provide some necessary and sufficient conditions for compactness.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper develops the spectral theory for non-local Ornstein-Uhlenbeck operators associated with OU processes driven by Lévy processes. Under mild assumptions on the Lévy process, it analyzes the spectrum, spectral multiplicities, eigenfunctions and co-eigenfunctions, and the existence of spectral expansions for the semigroups. When the drift matrix B is diagonalizable, explicit formulas for biorthogonal eigenfunctions and co-eigenfunctions are derived, and these results hold for pure-jump Lévy processes. The key ingredient is an intertwining relation between the Lévy-OU semigroup and a diffusion OU semigroup. The paper also studies compactness properties of the semigroups and provides necessary and sufficient conditions for compactness.

Significance. If the intertwining relation and the subsequent spectral results are established rigorously, this manuscript makes a significant contribution to the spectral theory of non-local Markov operators. It provides a method to transfer spectral information from local diffusion cases to non-local Lévy cases, with explicit constructions that are biorthogonal. The extension to pure-jump processes and the discussion of non-normality are strengths. The approach appears independent and avoids circular reasoning.

minor comments (1)
  1. [Abstract] Abstract: 'multilicities' is a typographical error and should read 'multiplicities'.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of the intertwining approach, and recommendation of minor revision. No specific major comments appear in the report, so we have no points requiring response or revision at this stage.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via new proofs

full rationale

The paper's central results rest on establishing an intertwining relation between Lévy-OU and diffusion OU semigroups via direct proof, followed by explicit constructions of eigenfunctions/co-eigenfunctions when B is diagonalizable. No load-bearing step reduces by definition or construction to fitted inputs, prior self-citations, or renamed empirical patterns. The derivation chain (intertwining → spectrum/multiplicities → biorthogonal bases → spectral expansion) is presented as independent mathematical argument under explicitly scoped assumptions, with no evidence of self-definitional loops or fitted quantities relabeled as predictions. This is the expected outcome for a pure-theory spectral analysis paper.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on standard properties of Lévy processes and Markov semigroups; no free parameters or invented entities are introduced.

axioms (1)
  • domain assumption mild assumptions on the Lévy process (unspecified in abstract)
    Invoked to guarantee the intertwining relation and spectral expansion.

pith-pipeline@v0.9.0 · 5720 in / 1268 out tokens · 24159 ms · 2026-05-23T02:57:38.418217+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

  1. [1]

    Bakry and Michel ´Emery, Diffusions hypercontractives, S´ eminaire de probabilit´ es, XIX, 1983/84, Lecture Notes in Math., vol

    D. Bakry and Michel ´Emery, Diffusions hypercontractives, S´ eminaire de probabilit´ es, XIX, 1983/84, Lecture Notes in Math., vol. 1123, Springer, Berlin, 1985, pp. 177–2 06. MR 889476

    work page 1983

  2. [2]

    Dominique Bakry and Michel ´Emery, Hypercontractivit´ e de semi-groupes de diffusion, C. R. Acad. Sci. Paris S´ er. I Math.299 (1984), no. 15, 775–778. MR 772092

    work page 1984

  3. [3]

    Fabrice Baudoin, Bakry-´ emery meet Villani, J. Funct. Anal. 273 (2017), no. 7, 2275–2291. MR 3677826

    work page 2017

  4. [4]

    Herzog, Gamma calculus beyond Villani and explicit con- vergence estimates for Langevin dynamics with singular pot entials, Arch

    Fabrice Baudoin, Maria Gordina, and David P. Herzog, Gamma calculus beyond Villani and explicit con- vergence estimates for Langevin dynamics with singular pot entials, Arch. Ration. Mech. Anal. 241 (2021), no. 2, 765–804. MR 4275746

    work page 2021

  5. [5]

    Bogachev, Michael R¨ ockner, and Byron Schmu land, Generalized Mehler semigroups and applica- tions, Probab

    Vladimir I. Bogachev, Michael R¨ ockner, and Byron Schmu land, Generalized Mehler semigroups and applica- tions, Probab. Theory Related Fields 105 (1996), no. 2, 193–225. MR 1392452

    work page 1996

  6. [6]

    3, 251–286

    Anna Chojnowska-Michalik, On processes of Ornstein-Uhlenbeck type in Hilbert space , Stochastics 21 (1987), no. 3, 251–286. MR 900115

    work page 1987

  7. [7]

    MR 2229872

    Klaus-Jochen Engel and Rainer Nagel, A short course on operator semigroups , Universitext, Springer, New York, 2006. MR 2229872

    work page 2006

  8. [8]

    12 (2000), no

    Marco Fuhrman and Michael R¨ ockner, Generalized Mehler semigroups: the non-Gaussian case , Potential Anal. 12 (2000), no. 1, 1–47. MR 1745332

    work page 2000

  9. [9]

    Kulik, Exact asymptotic for distribution densities of L´ evy funct ionals, Electron

    Viktorya Knopova and Alexey M. Kulik, Exact asymptotic for distribution densities of L´ evy funct ionals, Electron. J. Probab. 16 (2011), no. 52, 1394–1433. MR 2827465

    work page 2011

  10. [10]

    Paul Lescot and Michael R¨ ockner, Generators of Mehler-type semigroups as pseudo-differentia l operators , Infin. Dimens. Anal. Quantum Probab. Relat. Top. 5 (2002), no. 3, 297–315. MR 1930955 [11] , Perturbations of generalized Mehler semigroups and applic ations to stochastic heat equations with Levy noise and singular drift , Potential Anal. 20 (2004), ...

    work page 2002

  11. [11]

    283, Chapman & Hall/CRC, Boca Rato n, FL, 2007

    Luca Lorenzi and Marcello Bertoldi, Analytical methods for Markov semigroups , Pure and Applied Mathe- matics (Boca Raton), vol. 283, Chapman & Hall/CRC, Boca Rato n, FL, 2007. MR 2313847

    work page 2007

  12. [12]

    Metafune, D

    G. Metafune, D. Pallara, and E. Priola, Spectrum of Ornstein-Uhlenbeck operators in Lp spaces with respect to invariant measures , J. Funct. Anal. 196 (2002), no. 1, 40–60. MR 1941990

    work page 2002

  13. [13]

    Laurent Miclo and Pierre Patie, On interweaving relations , J. Funct. Anal. 280 (2021), no. 3, Paper No. 108816, 53. MR 4170787

    work page 2021

  14. [14]

    Laurent Miclo, Pierre Patie, and Rohan Sarkar, Discrete self-similar and ergodic Markov chains , Ann. Probab. 50 (2022), no. 6, 2085–2132. MR 4499275

    work page 2022

  15. [15]

    36 (2012), no

    Shun-Xiang Ouyang, Michael R¨ ockner, and Feng-Yu Wang , Harnack inequalities and applications for Ornstein–Uhlenbeck semigroups with jump , Potential Anal. 36 (2012), no. 2, 301–315. MR 2886463

    work page 2012

  16. [16]

    Pierre Patie and Rohan Sarkar, Weak similarity orbit of (log)-self-similar Markov semigr oups on the Euclidean space, Proc. Lond. Math. Soc. (3) 126 (2023), no. 5, 1522–1584. MR 4588719

    work page 2023

  17. [17]

    Pierre Patie and Mladen Savov, Spectral expansions of non-self-adjoint generalized Lagu erre semigroups , Mem. Amer. Math. Soc. 272 (2021), no. 1336, vii+182. MR 4320772

    work page 2021

  18. [18]

    Pierre Patie and Aditya Vaidyanathan, A spectral theoretical approach for hypocoercivity applie d to some degenerate hypoelliptic, and non-local operators, Kinet. Relat. Models 13 (2020), no. 3, 479–506. MR 4097722

    work page 2020

  19. [19]

    Peszat, L´ evy-Ornstein-Uhlenbeck transition semigroup as second quantized operator, J

    S. Peszat, L´ evy-Ornstein-Uhlenbeck transition semigroup as second quantized operator, J. Funct. Anal. 260 (2011), no. 12, 3457–3473. MR 2781967

    work page 2011

  20. [20]

    Rainville, Special functions, The Macmillan Company, New York, 1960

    Earl D. Rainville, Special functions, The Macmillan Company, New York, 1960. MR 107725

    work page 1960

  21. [21]

    Michael R¨ ockner and Feng-Yu Wang,Harnack and functional inequalities for generalized Mehle r semigroups, J. Funct. Anal. 203 (2003), no. 1, 237–261. MR 1996872 26 ROHAN SARKAR

    work page 2003

  22. [22]

    68, Cambridge University Press, Cambridge, 19 99, Translated from the 1990 Japanese original, Revised by the author

    Ken-iti Sato, L´ evy processes and infinitely divisible distributions , Cambridge Studies in Advanced Mathe- matics, vol. 68, Cambridge University Press, Cambridge, 19 99, Translated from the 1990 Japanese original, Revised by the author. MR 1739520 (2003b:60064)

    work page 1990

  23. [23]

    Seidman, How violent are fast controls? , Math

    Thomas I. Seidman, How violent are fast controls? , Math. Control Signals Systems 1 (1988), no. 1, 89–95. MR 923278

    work page 1988

  24. [24]

    J. M. A. M. van Neerven, Second quantization and the Lp-spectrum of nonsymmetric Ornstein-Uhlenbeck operators, Infin. Dimens. Anal. Quantum Probab. Relat. Top. 8 (2005), no. 3, 473–495. MR 2172310

    work page 2005

  25. [25]

    C´ edric Villani,Hypocoercivity, Mem. Amer. Math. Soc. 202 (2009), no. 950, iv+141. MR 2562709

    work page 2009

  26. [26]

    Toshiro Watanabe, Asymptotic estimates of multi-dimensional stable densiti es and their applications , Trans. Amer. Math. Soc. 359 (2007), no. 6, 2851–2879. MR 2286060 Department of Mathematics, University of Connecticut, Sto rrs, CT 06269, U.S.A. Email address : rohan.sarkar@uconn.edu

    work page 2007