pith. sign in

arxiv: 2411.13099 · v2 · submitted 2024-11-20 · 🧮 math.PR

Long time behavior of killed Feynman-Kac semigroups with singular Schr{\"o}dinger potentials

Pith reviewed 2026-05-23 17:27 UTC · model grok-4.3

classification 🧮 math.PR
keywords Feynman-Kac semigroupssingular Schrödinger potentialslong time behaviorFeller kernelsPerron-FrobeniusLévy processeskinetic Langevin processinteracting particles
0
0 comments X

The pith

Killed Feynman-Kac semigroups with singular Schrödinger potentials remain compact for Lévy and kinetic processes, yielding long-time convergence.

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

This paper aims to prove that killed Feynman-Kac semigroups associated with various processes from statistical physics, equipped with very general singular Schrödinger potentials, are compact and display specific long-time behavior. The processes include solutions to elliptic equations, Lévy processes, kinetic Langevin dynamics with locally Lipschitz gradients, and interacting Lévy particle systems. A reader would care because these models link to quantum mechanics and Schrödinger operators, and establishing their asymptotic properties allows reliable prediction of equilibrium behavior even with irregular potentials. The approach uses a general Perron-Frobenius theorem for Feller kernels and spectral radius bounds to handle the singularities without extra assumptions.

Core claim

We show that the killed Feynman-Kac semigroups for the listed processes with singular potentials are compact Feller kernels. Therefore the Perron-Frobenius theorem from 2020 applies, giving a principal eigenvalue and eigenfunction, and the long-time behavior follows with exponential convergence to the quasi-stationary distribution. The essential spectral radius is controlled using bounds for nonnegative kernels.

What carries the argument

The killed Feynman-Kac semigroup, which incorporates the killing by the singular potential and acts as a Feller kernel on the state space.

If this is right

  • The semigroups possess a spectral gap leading to exponential ergodicity.
  • Unique positive eigenfunction exists corresponding to the principal eigenvalue.
  • Results cover both local and nonlocal operators including fractional Laplacians.
  • Interacting systems maintain the compactness property under singular interactions.

Where Pith is reading between the lines

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

  • This suggests the methods could handle even rougher potentials encountered in certain quantum models.
  • Applications might include improved analysis of ground states for Schrödinger operators with singularities.
  • Extensions to time-inhomogeneous cases or other Markov processes could be explored based on the same Feller property.

Load-bearing premise

The generated killed operators must qualify as Feller kernels for the Perron-Frobenius theorem to apply directly to these singular cases.

What would settle it

Constructing a specific singular potential and process, such as a Lévy process with a highly singular potential, where the semigroup operator is not compact or the essential spectral radius equals the spectral radius would falsify the result.

read the original abstract

In this work, we investigate the compactness and the long time behavior of killed Feynman-Kac semigroups of various processes arising from statistical physics with very general singular Schr{\"o}dinger potentials. The processes we consider cover a large class of processes used in statistical physics, with strong links with quantum mechanics and (local or not) Schr{\"o}dinger operators (including e.g. fractional Laplacians). For instance we consider solutions to elliptic differential equations, L{\'e}vy processes, the kinetic Langevin process with locally Lipschitz gradient fields, and systems of interacting L{\'e}vy particles. Our analysis relies on a Perron-Frobenius type theorem derived in a previous work [A. Guillin, B. Nectoux, L. Wu, 2020 J. Eur. Math. Soc.] for Feller kernels and on the tools introduced in [L. Wu, 2004, Probab. Theory Relat. Fields] to compute bounds on the essential spectral radius of a bounded nonnegative kernel.

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

2 major / 2 minor

Summary. The manuscript investigates the compactness and long-time behavior of killed Feynman-Kac semigroups generated by Lévy processes, kinetic Langevin dynamics with locally Lipschitz gradients, and systems of interacting Lévy particles, all subject to very general singular Schrödinger potentials. The analysis applies the Perron-Frobenius theorem from Guillin-Nectoux-Wu (2020 JEMS) for Feller kernels together with essential spectral radius bounds from Wu (2004) to obtain spectral gap and asymptotic results.

Significance. If the Feller property is verified for the killed kernels, the work would furnish a unified spectral framework for long-time asymptotics across several statistical-physics models linked to Schrödinger operators (including fractional Laplacians), extending the 2020 theorem to singular potentials without additional regularity. The explicit dependence on two prior results is a strength for breadth but limits standalone novelty.

major comments (2)
  1. [Abstract and §1] Abstract and §1: the claim that the analysis 'relies on' the 2020 Perron-Frobenius theorem presupposes that the killed Feynman-Kac operators with singular V remain Feller kernels for all listed processes; no separate verification or additional assumptions ensuring continuity preservation after multiplication by the exponential functional of V are supplied, rendering the theorem's applicability unconfirmed and load-bearing for the compactness and long-time claims.
  2. [§2] §2 (or the section stating the main theorems): the application of the 2004 essential-radius bounds is invoked directly on the killed kernels, but without an explicit check that the singular potentials do not destroy the Feller property (possible when V is unbounded below), the spectral-radius estimates rest on an unverified hypothesis.
minor comments (2)
  1. Notation for the killed semigroup and the exponential functional of V should be introduced with a single consistent definition early in the paper rather than piecemeal.
  2. The list of processes in the abstract would benefit from a short table summarizing the precise assumptions on the driving processes and on V for each case.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to confirm applicability of the cited theorems to the killed kernels. We address each major comment below.

read point-by-point responses
  1. Referee: [Abstract and §1] Abstract and §1: the claim that the analysis 'relies on' the 2020 Perron-Frobenius theorem presupposes that the killed Feynman-Kac operators with singular V remain Feller kernels for all listed processes; no separate verification or additional assumptions ensuring continuity preservation after multiplication by the exponential functional of V are supplied, rendering the theorem's applicability unconfirmed and load-bearing for the compactness and long-time claims.

    Authors: We agree that the 2020 Perron-Frobenius theorem requires the killed kernels to be Feller. The manuscript states that the analysis relies on this theorem for the listed processes but does not supply a separate verification that singular V preserves the Feller property after the Feynman-Kac transformation. This is a substantive point. In revision we will add a dedicated paragraph (or short subsection) in §2 stating the conditions on V (e.g., Kato-class or local integrability assumptions standard for Schrödinger operators) under which the killed semigroup remains Feller for Lévy processes, kinetic Langevin dynamics, and interacting particle systems, thereby confirming applicability of the theorem. revision: yes

  2. Referee: [§2] §2 (or the section stating the main theorems): the application of the 2004 essential-radius bounds is invoked directly on the killed kernels, but without an explicit check that the singular potentials do not destroy the Feller property (possible when V is unbounded below), the spectral-radius estimates rest on an unverified hypothesis.

    Authors: We concur that the 2004 essential-radius bounds presuppose a Feller kernel. The manuscript applies these bounds to the killed kernels without an explicit check that V unbounded below cannot destroy the Feller property. We will revise §2 to include a brief lemma or remark verifying preservation of the Feller property under the paper’s standing assumptions on the processes and on V, thereby removing the unverified hypothesis. revision: yes

Circularity Check

0 steps flagged

No significant circularity; relies on independently published prior theorems

full rationale

The paper's abstract states that the analysis relies on the 2020 Guillin-Nectoux-Wu Perron-Frobenius theorem for Feller kernels and the 2004 Wu essential spectral radius bounds. These are separately published external results (JEMS 2020 and PTRF 2004) whose authors overlap with the present work but which predate it and stand as independent contributions. No equations or steps in the provided text reduce any claimed prediction or compactness result to a self-definition, a fitted input renamed as output, or a closed self-citation chain within this manuscript. The central claims concern application of the cited theorems to new processes and singular potentials; any verification of Feller preservation is external to the cited theorems themselves and does not create a definitional loop. This is the normal case of building on prior literature.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper adds no new free parameters or invented entities; it invokes two external theorems as background.

axioms (2)
  • domain assumption Perron-Frobenius type theorem for Feller kernels (Guillin, Nectoux, Wu 2020 JEMS)
    Invoked to obtain compactness and principal eigen-elements for the killed semigroups.
  • standard math Bounds on essential spectral radius of bounded nonnegative kernels (Wu 2004 PTRF)
    Used to control the spectral gap after compactness is established.

pith-pipeline@v0.9.0 · 5735 in / 1447 out tokens · 29598 ms · 2026-05-23T17:27:09.994287+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

78 extracted references · 78 canonical work pages

  1. [1]

    Ascione and J

    G. Ascione and J. L˝ orinczi. Bulk behaviour of ground states for relativistic Schr¨ odinger operators with compactly supported potentials. In Annales Henri Poincar´ e, volume 25, pages 2941–2994. Springer, 2024

  2. [2]

    P. Baldi. G´ eod´ esiques et diffusions en temps petit. Ast´ erisque. Probability Seminar, University of Paris VII, Paris , (84), 1981

  3. [3]

    Bansaye, B

    V. Bansaye, B. Cloez, P. Gabriel, and A. Marguet. A non-conser vative Harris ergodic theorem. Journal of the London Mathematical Society , 106(3):2459–2510, 2022

  4. [4]

    Billingsley

    P. Billingsley. Convergence of Probability Measures . John Wiley & Sons, 2013

  5. [5]

    Bogachev and M.A.S

    V.I. Bogachev and M.A.S. Ruas. Measure Theory, volume 1. Springer, 2007. KILLED FEYNMAN-KAC SEMIGROUPS 31

  6. [6]

    Bogdan, T

    K. Bogdan, T. Byczkowski, T. Kulczycki, M. Ryznar, R. Song, an d Z. Vondracek. Potential analysis of stable processes and its extensions . Springer Science & Business Media, 2009

  7. [7]

    Camrud, D

    E. Camrud, D. P. Herzog, G. Stoltz, and M. Gordina. Weighted L2-contractivity of Langevin dy- namics with singular potentials. Nonlinearity, 35(2):998–1035, 2021

  8. [8]

    Carmona, W.C

    R. Carmona, W.C. Masters, and B. Simon. Relativistic Schr¨ odinge r operators: asymptotic behavior of the eigenfunctions. Journal of Functional Analysis , 91(1):117–142, 1990

  9. [9]

    Cattiaux, P

    P. Cattiaux, P. Collet, A. Lambert, S. Mart ´ ınez, S. M´ el´ eard, and J. San Mart ´ ın. Quasi-Stationary Distributions and Diffusion Models in Population Dynamics. The Annals of Probability , 37(5):1926– 1969, 2009

  10. [10]

    Champagnat and D

    N. Champagnat and D. Villemonais. Lyapunov criteria for uniform convergence of conditional dis- tributions of absorbed Markov processes. Stochastic Processes and their Applications , 135:51–74, 2021

  11. [11]

    Champagnat and D

    N. Champagnat and D. Villemonais. General criteria for the stud y of quasi-stationarity. Electronic Journal of Probability , 28:1–84, 2023

  12. [12]

    Chen and J

    X. Chen and J. Wang. Intrinsic contractivity properties of Fey nman-Kac semigroups for symmetric jump processes with infinite range jumps. Frontiers of Mathematics in China , 10:753–776, 2015

  13. [13]

    Chen and J

    X. Chen and J. Wang. Intrinsic ultracontractivity of Feynman- Kac semigroups for symmetric jump processes. Journal of Functional Analysis , 270(11):4152–4195, 2016

  14. [14]

    Z-Q. Chen, P. Kim, and R. Song. Heat kernel estimates for ∆+ ∆ α/2 in C1,1 open sets. Journal of the London Mathematical Society , 84(1):58–80, 2011

  15. [15]

    Chen and R

    Z-Q. Chen and R. Song. Intrinsic ultracontractivity, condition al lifetimes and conditional gauge for symmetric stable processes on rough domains. Illinois Journal of Mathematics , 44(1):138–160, 2000

  16. [16]

    Chopin, P

    N. Chopin, P. Del Moral, and S. Rubenthaler. Stability of Feynma n–Kac formulae with path- dependent potentials. Stochastic Processes and their Applications , 121(1):38–60, 2011

  17. [17]

    Chung and Z

    K.L. Chung and Z. Zhao. From Brownian Motion to Schr¨ odinger’s Equation, volume 312. Springer Science & Business Media, 2001

  18. [18]

    Collet, S

    P. Collet, S. Mart ´ ınez, and J. San Mart ´ ın.Quasi-Stationary Distributions: Markov Chains, Diffu- sions and Dynamical Systems . Springer Science & Business Media, 2012

  19. [19]

    Collet, S

    P. Collet, S. M´ el´ eard, and J. San Martin. Branching diffusion p rocesses and spectral properties of Feynman-Kac semigroup. Preprint arXiv:2404.09568, 2024

  20. [20]

    Cycon, R.G

    H.L. Cycon, R.G. Froese, W. Kirsch, and B. Simon. Schr¨ odinger Operators with Application to Quan- tum Mechanics and Global Geometry . Texts and Monographs in Physics. Springer-Verlag, Berlin, study edition, 1987

  21. [21]

    Daubechies and E.H

    I. Daubechies and E.H. Lieb. One-electron relativistic molecules w ith Coulomb interaction. Commu- nications in Mathematical Physics , 90(4):497–510, 1983

  22. [22]

    Markov Models & Optimization , volume 49

    M.H.A Davis. Markov Models & Optimization , volume 49. CRC Press, 1993

  23. [23]

    Del Moral

    P. Del Moral. Feynman-Kac Formulae. Probability and Its Applications. Springer, 2004

  24. [24]

    Del Moral, E

    P. Del Moral, E. Horton, and A. Jasra. On the stability of positiv e semigroups. The Annals of Applied Probability, 33(6A):4424–4490, 2023

  25. [25]

    Del Moral and A

    P. Del Moral and A. Jasra. A sharp first order analysis of Feyn man–Kac particle models, part I: Propagation of chaos. Stochastic Processes and their Applications , 128(1):332–353, 2018

  26. [26]

    Del Moral and L

    P. Del Moral and L. Miclo. Branching and interacting particle systems approximation s of Feynman- Kac formulae with applications to non-linear filtering . In S´ eminaire de Probabilit´ es XXXIV. Lecture Notes in Math. 1729, Springer, Berlin, 2000

  27. [27]

    Del Moral and L

    P. Del Moral and L. Miclo. On the stability of nonlinear Feynman-K ac semigroups. In Annales de la Facult´ e des sciences de Toulouse: Math´ ematiques, volume 11, pages 135–175, 2002

  28. [28]

    Del Moral and L

    P. Del Moral and L. Miclo. Particle approximations of Lyapunov e xponents connected to Schr¨ odinger operators and Feynman–Kac semigroups. ESAIM: Probability and Statistics , 7:171–208, 2003

  29. [29]

    Di Ges` u, T

    G. Di Ges` u, T. Leli` evre, D. Le Peutrec, and B. Nectoux. Ju mp Markov models and transition state theory: the quasi-stationary distribution approach. Faraday Discussions, 195:469–495, 2017

  30. [30]

    Di Ges` u, T

    G. Di Ges` u, T. Leli` evre, D. Le Peutrec, and B. Nectoux. Sh arp asymptotics of the first exit point density. Annals of PDE , 5(2), 2019

  31. [31]

    Di Ges` u, T

    G. Di Ges` u, T. Leli` evre, D. Le Peutrec, and B. Nectoux. Th e exit from a metastable state: concentra- tion of the exit point distribution on the low energy saddle points, par t 1. Journal de Math´ ematiques Pures et Appliqu´ ees, 138:242–306, 2020. 32 A. GUILLIN, D. LU, B. NECTOUX, AND L. WU

  32. [32]

    Ferr´ e, M

    G. Ferr´ e, M. Rousset, and G. Stoltz. More on the long time sta bility of Feynman–Kac semigroups. Stochastics and Partial Differential Equations: Analysis a nd Computations , 9(3):630–673, 2021

  33. [33]

    Friedman

    A. Friedman. Stochastic Differential Equations and Applications , volume 1. Academic Press, New York-London, 1975. Probability and Mathematical Statistics, Vol. 28

  34. [34]

    Friedman

    A. Friedman. Stochastic Differential Equations and Applications , volume 2. Academic Press, New York-London, 1976. Probability and Mathematical Statistics, Vol. 28

  35. [35]

    Guillin, D

    A. Guillin, D. Lu, B. Nectoux, and L. Wu. Generalized Langevin and Nos´ e-Hoover processes absorbed at the boundary of a metastable domain. Preprint arXiv:2403.17471, March 2024

  36. [36]

    Guillin, B

    A. Guillin, B. Nectoux, and L. Wu. Quasi-stationary distribution f or strongly Feller Markov pro- cesses by Lyapunov functions and applications to hypoelliptic Hamilto nian systems. Journal of the European Mathematical Society, 26(8):3047–3090, 2022

  37. [37]

    Guillin, B

    A. Guillin, B. Nectoux, and L. Wu. Quasi-stationary distribution f or Hamiltonian dynamics with singular potentials. Probability Theory and Related Fields , 185(3-4):921–959, 2023

  38. [38]

    G¨ uneysu

    B. G¨ uneysu. On the Feynman-Kac formula for Schr¨ odinger semigroups on v ector bundles . PhD thesis, Universit¨ ats-und Landesbibliothek Bonn, 2011

  39. [39]

    Hartman and A

    P. Hartman and A. Wintner. On the infinitesimal generators of in tegral convolutions. American Journal of Mathematics , 64(1):273–298, 1942

  40. [40]

    H´ erau and F

    F. H´ erau and F. Nier. Isotropic hypoellipticity and trend to equ ilibrium for the Fokker-Planck equation with a high-degree potential. Archive for Rational Mechanics and Analysis , 171:151–218, 2004

  41. [41]

    Herzog and J.C

    D.P. Herzog and J.C. Mattingly. Ergodicity and Lyapunov functio ns for Langevin dynamics with singular potentials. Communications on Pure and Applied Mathematics , 72(10):2231–2255, 2019

  42. [42]

    Kaleta and T

    K. Kaleta and T. Kulczycki. Intrinsic ultracontractivity for Sch r¨ odinger operators based on fractional Laplacians. Potential Analysis , 33:313–339, 2010

  43. [43]

    Kaleta and J

    K. Kaleta and J. L˝ orinczi. Pointwise eigenfunction estimates an d intrinsic ultracontractivity-type properties of Feynman-Kac semigroups for a class of L´ evy proce sses. The Annals of Probability , 43(3):1350–1398, 2015

  44. [44]

    Kaleta and R.L

    K. Kaleta and R.L. Schilling. Quasi-ergodicity of compact strong F eller semigroups on L2. arXiv preprint arXiv:2304.12834, 2023

  45. [45]

    T. Kato. Perturbation Theory for Linear Operators. Classics in Mathematics. Springer-Verlag, Berlin,

  46. [46]

    Reprint of the 1980 edition

  47. [47]

    H. Kesten. Hitting probabilities of single points for processes wit h stationary independent increments. Memoirs of the American Mathematical Society , (93):1–129, 1969

  48. [48]

    Knopova and R.L

    V. Knopova and R.L. Schilling. A note on the existence of transitio n probability densities of L´ evy processes. In Forum Mathematicum, volume 25, pages 125–149. Walter de Gruyter GmbH, 2013

  49. [49]

    Kontoyiannis and S.P

    I. Kontoyiannis and S.P. Meyn. Large deviations asymptotics an d the spectral theory of multiplica- tively regular Markov processes. Electronic Journal of Probability , 10(3):61–123, 2005

  50. [50]

    F. K¨ uhn. Transition probabilities of l´ evy-type processes: P arametrix construction. Mathematische Nachrichten, 292(2):358–376, 2019

  51. [51]

    Kulczycki and B

    T. Kulczycki and B. Siudeja. Intrinsic ultracontractivity of th e Feynman-Kac semigroup for rel- ativistic stable processes. Transactions of the American Mathematical Society , 358(11):5025–5057, 2006

  52. [52]

    O. Kulyk. Support theorem for L´ evy-driven stochastic differ ential equations. Journal of Theoretical Probability, pages 1–23, 2022

  53. [53]

    Kusuoka and C

    S. Kusuoka and C. Marinelli. On smoothing properties of transitio n semigroups associated to a class of SDEs with jumps. In Annales de l’IHP Probabilit´ es et statistiques , volume 50, pages 1347–1370, 2014

  54. [54]

    J-F. Le Gall. Brownian Motion, Martingales, and Stochastic Calculus . Springer, 2016

  55. [55]

    Leli` evre, D

    T. Leli` evre, D. Le Peutrec, and B. Nectoux. Eyring-kramer s exit rates for the overdamped Langevin dynamics: the case with saddle points on the boundary. Preprint arXiv:2207.09284, 2022

  56. [56]

    Leli` evre and G

    T. Leli` evre and G. Stoltz. Partial differential equations and s tochastic methods in molecular dynam- ics. Acta Numerica, 25:681–880, 2016

  57. [57]

    Lu and J.C

    Y. Lu and J.C. Mattingly. Geometric ergodicity of Langevin dynam ics with Coulomb interactions. Nonlinearity, 33(2):675, 2019. KILLED FEYNMAN-KAC SEMIGROUPS 33

  58. [58]

    Mattingly, A.M

    J.C. Mattingly, A.M. Stuart, and D.J. Higham. Ergodicity for SDEs and approximations: locally Lipschitz vector fields and degenerate noise. Stochastic processes and their applications , 101(2):185– 232, 2002

  59. [59]

    M´ el´ eard and D

    S. M´ el´ eard and D. Villemonais. Quasi-stationary distributionsand population processes. Probability Surveys, 9:340–410, 2012

  60. [60]

    M¨ orters and Y

    P. M¨ orters and Y. Peres. Brownian Motion , volume 30. Cambridge University Press, 2010

  61. [61]

    Nagasawa

    M. Nagasawa. Schr¨ odinger Equations and Diffusion Theory, volume 86. Birkh¨ auser, 2012

  62. [62]

    Nagasawa

    M. Nagasawa. Stochastic Processes in Quantum Physics , volume 94. Birkh¨ auser, 2012

  63. [63]

    D. Revuz. Markov chains . North-Holland, Amsterdam; American Elsevier, 1076

  64. [64]

    Revuz and M

    D. Revuz and M. Yor. Continuous martingales and Brownian motion , volume 293. Springer Science & Business Media, 2013

  65. [65]

    M. Rousset. On the control of an interacting particle estimatio n of Schr¨ odinger ground states.SIAM journal on Mathematical Analysis , 38(3):824–844, 2006

  66. [66]

    M. Ryznar. Estimates of Green function for relativistic α -stable process. Potential Analysis, 17:1–23, 2002

  67. [67]

    K. Sato. L´ evy Processes and Infinitely Divisible Distributions , volume 68. Cambridge University Press, 1999

  68. [68]

    Schilling

    R.L. Schilling. An introduction to L´ evy and Feller processes. In D. Khoshnevisan and R. Schilling, editors, L´ evy-type processes to parabolic SPDEs. Birkh¨ auser, Cham , 2016

  69. [69]

    ˇSiki´ c, R

    H. ˇSiki´ c, R. Song, and Z. Vondraˇ cek. Potential theory of geomet ric stable processes. Probability Theory and Related Fields , 135(4):547–575, 2006

  70. [70]

    B. Simon. Quantum Mechanics for Hamiltonians Defined as Quadratic For ms, volume 72. Princeton University Press, 2015

  71. [71]

    J. S¨ ohl. Polar sets for anisotropic Gaussian random fields. Statistics & probability letters , 80(9- 10):840–847, 2010

  72. [72]

    D. Talay. Stochastic Hamiltonian systems: exponential conver gence to the invariant measure, and discretization by the implicit Euler scheme. Markov Processes and Related Fields, 8(2):163–198, 2002

  73. [73]

    H.G. Tucker. Absolute continuity of infinitely divisible distributions . Pacific J. Math , 12(3):1125– 1129, 1962

  74. [74]

    L. Wu. Uniqueness of Nelsons diffusions. Probability Theory and Related Fields , 114(4):549–585, 1999

  75. [75]

    L. Wu. Large and moderate deviations and exponential conver gence for stochastic damping Hamil- tonian systems. Stochastic Processes and their Applications , 91(2):205–238, 2001

  76. [76]

    L. Wu. Essential spectral radius for Markov semigroups. I. D iscrete time case. Probability Theory and Related Fields , 128(2):255–321, 2004

  77. [77]

    K. Yosida. Functional analysis, 1980. Spring-Verlag, New York/Berlin , 1971

  78. [78]

    J. Zabczyk. Sur la th´ eorie semi-classique du potentiel pur les p rocessus ` a accroissements ind´ ependants.Studia Mathematica, 35(3):227–247, 1970. Arnaud Guillin . Universit ´ e Clermont Auvergne, CNRS, LMBP, F-63000 CLERMONT- FERRAND, FRANCE Email address : arnaud.guillin@uca.fr Di Lu . School of Mathematical Sciences, Dalian University of Tec hnolog...