REVIEW 3 major objections 5 minor 53 references
Spectral properties of L\'evy Fokker--Planck equations
T0 review · 3 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read The paper proves that the Lévy Fokker–Planck operator has a complete explicit eigenbasis with eigenvalues 0,1,2,…, giving all-order asymptotics for fractional heat solutions.
desk verdict A valuable but not-yet-finished spectral framework for the fractional Fokker–Planck operator; the uniqueness proof in Prop. 5.22 has a real gap that a referee should push the authors to close. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the Mellin transform on radial functions together with the Mellin multiplier $\Lambda_s(z)$ defining a quasi-isometry $\Phi_s$; $\Phi_s$ encodes the change of radial Fourier variable $\vartheta=|\xi|^s$ that converts the nonlocal Lévy Fokker–Planck operator into the classical local one ($L_s u=f \iff L_1 u^\dagger=f^\dagger$). Under Mellin transform, $(-\Delta)^s$ becomes multiplication by a symbol $\Theta_s(z)$ of order $2s$, and the eigenvalue equation reduces to a first-order difference equation whose solutions are quotients of Gamma functions. The integer eigenvalues are selected by the requirement of exponential decay in $r^{2s}$, which occurs exactly when the Kummer function reduces to a Laguerre polynomial; the resulting Mellin–Barnes integrals give explicit Fox–Wright and Legendre-function formulas. This machinery replaces the ODE uniqueness argument of the local case with a Mellin-domain uniqueness proof.
What would settle it
Solve the Mellin functional equation (5.2) for $n=1$, $\nu=1/2$ and check whether the resulting function lies in $L^2_\dagger$; a nonzero admissible solution would contradict Proposition 5.22 and break the claimed completeness of the basis.
Extended reading notes
Core claim
The central discovery is that for every $s\in(0,1)$ and $n\ge 2$, the operator $L_s u=(-\Delta)^s u-\frac{1}{2s}x\cdot\nabla u-\frac{n}{2s}u$ is self-adjoint on a weighted Hilbert space $L^2_\dagger(s)$ and has pure point spectrum $\{0,1,2,\dots\}$: there is a complete orthonormal basis $\{e_k\}$ with $L_s e_k=k e_k$. In Fourier variables the eigenfunctions are $\hat e_k(\zeta)=e^{-\zeta^{2s}}\zeta^{2sk}$, $k\in\mathbb{N}$, and in Euclidean variables they are given by a Mellin multiplier applied to Laguerre polynomials, $e_k=\Phi_s\{(\frac{r^{2s}}{4})^{-n(1-s)/(2s)}e^{-r^{2s}/4}L_k^{(n-2)/2}(\frac{r^{2s}}{4})\}$. The same construction gives a dual basis for the fractional Ornstein–Uhlenbeck operator $L^*_s$, and separation of variables then yields a unique solution of the fractional heat equation with a full asymptotic expansion to all orders.
Load-bearing premise
The completeness claim rests on the uniqueness step Proposition 5.22, which assumes membership in $L^2_\dagger$ forces membership in every higher energy space $H^k_\dagger$ and then rules out nonconstant periodic multipliers; if that step fails, extra eigenfunctions may exist.
Editorial extensions
If this is right
- Every radially symmetric initial datum in $L^2_\dagger$ gives a unique solution $\phi(t,r)=\sum_{k=0}^\infty a_k e^{-kt}e_k(r)$ to the fractional heat equation.
- As $t\to\infty$, the solution behaves like the self-similar fundamental solution to leading order, with all higher-order corrections indexed by $k$ and decaying like $t^{-k}$ in self-similar variables.
- The dual basis $\{\omega_k\}$ gives an equally explicit eigenfunction expansion for the fractional Ornstein–Uhlenbeck equation, with the same integer eigenvalues.
- For $s\to 1$ the construction recovers the classical Hermite and Laguerre spectral theory of the heat and Ornstein–Uhlenbeck equations.
- Non-integer solutions of the eigenvalue equation fail to lie in $L^2_\dagger$, so the spectrum of the operator in this space is exactly $\mathbb{N}$.
Reading between the lines
- Editorial inference: the change of variable $\vartheta=|\xi|^s$ plus Mellin multipliers may be a general template—any radially symmetric diffusion whose Fourier symbol is a pure power of $|\xi|$ and whose drift is linear should have the same integer spectrum after the same reparametrization.
- Editorial inference: the paper's own Remark 5.23 hints that in one dimension, non-integer eigenvalues may correspond to extra solutions outside $L^2_\dagger$ but inside a larger distribution space; these could describe long-time tails of 1D Lévy processes that the Hilbert-space expansion misses.
- Editorial inference: the Gevrey–Sobolev interpretation of $L^2_\dagger$ suggests the basis is best adapted to initial data with super-polynomial Fourier decay; testing the expansion on data with only algebraic decay should reveal slower-than-exponential convergence of the coefficients.
- Editorial inference: adding a Hardy-type potential $c u/r^{2s}$ breaks the explicit formulas but preserves the Mellin structure, so one could test numerically whether the spectrum shifts continuously away from integers as $c$ varies.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the spectral problem for the radial Lévy Fokker–Planck operator L_s = (−Δ)^s − (1/(2s)) x·∇ − n/(2s) on a new weighted space L2†(s). The main theorem (Theorem 1.1) claims that L2† has a complete orthonormal basis of eigenfunctions e_k with eigenvalues k, given explicitly in Euclidean variables by (1.10) and in Fourier variables by (1.11). The proof uses an intertwining transform Φ_s that relates L_s to the local operator L_1, together with Mellin transform techniques. The paper also treats the adjoint fractional Ornstein–Uhlenbeck operator and derives a corollary giving all-order asymptotics for radial solutions of the fractional heat equation.
Significance. The explicit, parameter-free formula for the fractional analogue of Hermite/Laguerre eigenfunctions and the identification of the natural weighted space are potentially valuable contributions. The intertwining relation (1.8), the Mellin symbol computation in Proposition 3.7, and the explicit eigenfunction formulae in Sections 5.2–5.4 are elegant and essentially self-contained. If the completeness and uniqueness claims survive scrutiny, the paper would provide a clean spectral description with immediate applications to asymptotic expansions for the fractional heat equation. However, the uniqueness proof in Proposition 5.22 leaves open a concrete possibility of additional eigenfunctions, so the central claim is not yet established.
major comments (3)
- [§5.5, Prop. 5.22, eqs. (5.12)–(5.15)] The proof never eliminates the coefficient a in the final expression φ(w)=a sin(2πw)+b cos(2πw)+c. After showing b=c=0, the multiplier v(z)=sin(2πw)φ(w) reduces to a sin²(π(n−z)/s), which is a nonconstant 2s-periodic function satisfying the growth bound (5.15). Substituting this v into (5.12) yields additional solutions of the Mellin eigenvalue equation (5.2) that are not scalar multiples of (5.3). If any such solution belongs to L2† for some k∈N, then Theorem 1.1's claim that eigenfunctions are uniquely given by (1.10) fails. The paper must either force a=0 or prove that these additional solutions lie outside L2†; neither is currently done.
- [§5.5, first sentence of the proof] The assertion 'By Lemma 4.1, u∈L2† implies that u∈Hk† for all k' is not a consequence of Lemma 4.1, which only states the equivalence L_s u=f ⇔ L_1 u†=f†. To justify (5.13) for every k one needs a weighted elliptic regularity statement for the local Ornstein–Uhlenbeck operator L_1 on L²(exp); no such regularity result is proved or cited in the paper. This step is load-bearing because the bound (5.15) on φ is derived from the asserted H^k† membership.
- [§4.3–4.4, eq. (4.15) and Lemma 4.9] The claimed equivalence (4.15) with the explicit δ_m from (4.17) is not proved. Lemma 4.9 derives the formula for δ_m, but the text immediately concedes that its upper bound is 'a problem in the field of number theory which we do not attempt to consider here.' Since (4.15) is used to describe L2† as a fractional Gevrey–Sobolev space, either the upper bound must be supplied or that description should be labeled as conditional or formal.
minor comments (5)
- [§1, first paragraph and Remark 5.2] The condition n ≥ 2s appears in the introduction, while Theorem 1.1 assumes n ≥ 2; the role of the former condition and its relation to the latter should be clarified.
- [§1, restriction to radial functions] The phrase 'without loss of generality' is not accurate for the full spectrum, since non-radial eigenfunctions are not characterized; the paper only treats the radial part of the spectrum, and this should be stated more carefully.
- [§1, eq. (1.12), and §5.3] The notation U_k is used both for the Mellin-space function defined in (5.5) and for its inverse Mellin transform U_k(r); this overlap should be resolved to avoid confusion.
- [§6, first paragraph] The sentence 'The results for L2‡ are parallel to those for L2‡' should presumably read 'those for L2†'.
- [throughout] There are typographical errors: 'Insituto' in the affiliation, 'Fokker–Plank' in the introduction, 'eingenfunctions' in Section 6, and 'greaterorsimilar' in Lemma 5.12 where an inequality symbol is intended.
Circularity Check
No significant circularity: the spectrum is derived by an explicit, parameter-free conjugation to the local Fokker-Planck operator, with standard external inputs; one minor self-citation is not load-bearing.
full rationale
The central reduction is Lemma 4.1: L_s u = f if and only if L_1 u-dagger = f-dagger, obtained by the explicit change of radial Fourier variable ϑ = ζ^s followed by Fourier inversion. No parameter is fitted, no assumption contains the target spectrum, and the eigenvalue equation is solved independently in Mellin variables in Lemma 5.1, Theorem 5.6 and Lemma 5.4. The space L2-dagger is defined after the fact by the weight that makes the conjugacy an isometry; choosing a space to make a known reduction work is not circular. Completeness uses the classical spectral theorem and compactness for the local Ornstein-Uhlenbeck operator, which are external, independent inputs. The Mellin symbol of the fractional Laplacian in Proposition 3.7 cites the authors' earlier work [8] for general s, but the formula is standard, is also cited to [18] and [38], and is not the target theorem; this is a minor self-citation that does not carry circular weight. One correctness gap is flagged, not as circularity: Proposition 5.22's uniqueness proof opens with 'By Lemma 4.1, u ∈ L2† implies that u ∈ H^k† for all k ∈ N', which needs elliptic regularity for the local equation rather than Lemma 4.1 alone, and the displayed Liouville argument leaves the coefficient a of sin(2πw) uncontrolled in the text, showing only b=c=0. If this gap is real, the uniqueness claim in Theorem 1.1 would be unsupported, but that is a missing proof, not a reduction of the result to its own inputs. Accordingly the circularity score is low.
Assumptions & free parameters
assumptions (4)
- standard math Spectral theorem for self-adjoint operators with compact resolvent in the local weighted space L2(exp).
- standard math Mellin transform inversion, uniqueness, and Plancherel identities for admissible radial functions.
- standard math The Mellin symbol formula Θ_s(z) for the fractional Laplacian in Proposition 3.7.
- domain assumption Radial symmetry reduces the problem to the variable r on (0,∞).
Cite this review
Pith. "Pith review of Spectral properties of L\'evy Fokker--Planck equations." pith.science (2026). https://pith.science/paper/3HIIITQV
@misc{pith2026241116424,
author = {Pith},
title = {Pith review of: Spectral properties of L\'evy Fokker--Planck equations},
year = {2026},
howpublished = {\url{https://pith.science/paper/3HIIITQV}},
note = {Machine review of arXiv:2411.16424}
}
abstract
Hermite polynomials, which are associated to a Gaussian weight and solve the Laplace equation with a drift term of linear growth, are classical in analysis and well-understood via ODE techniques. Our main contribution is to give explicit Euclidean formulae of the fractional analogue of Hermite polynomials, which appear as eigenfunctions of a L\'evy Fokker-Planck equation. We will restrict, without loss of generality, to radially symmetric functions. A crucial tool in our analysis is the Mellin transform, which is essentially the Fourier transform in logarithmic variable and which turns weighted derivatives into multipliers. This allows to write the weighted space in the fractional case that replaces the usual $L_r^2(\mathbb R^n, e^{|x|^2/4})$. After proving compactness, we obtain a exhaustive description of the spectrum of the L\'evy Fokker--Planck equation and its dual, the fractional Ornstein--Uhlenbeck problem, which forms a basis thanks to the spectral theorem for self-adjoint operators. As a corollary, we obtain a full asymptotic expansion for solutions of the fractional heat equation.
Reference graph
Works this paper leans on
-
[1]
B. Barrios, I. Peral, F. Soria, E. Valdinoci. A Widder’s type theore m for the heat equation with nonlocal diffusion. Arch. Ration. Mech. Anal. 213 (2014), no. 2, 629–650
work page 2014
-
[2]
J. Bedrossian, P. Germain, N. Masmoudi. Dynamics near the subc ritical transition of the 3D Couette flow I: Below threshold case. Mem. Amer. Math. Soc. 266 (2020), no. 129 4
work page 2020
- [3]
- [4]
-
[5]
Blumenthal, R. M., Getoor, R. K.: Some theorems on stable proces ses. Trans. Amer. Math. Soc. 95, 263–273 (1960)
work page 1960
-
[6]
M. Bonforte, Y. Sire, J. L. V´ azquez. Optimal existence and un iqueness theory for the fractional heat equation. Nonlinear Anal. 153 (2017), 142–168
work page 2017
-
[7]
J. M. Borwein, P. B. Borwein. Irrationality Measures. §11.3 in Pi & the AGM: A Study in Analytic Number Theory and Computational Complexity. New York: Wiley, pp. 362–38 6, 1987
work page 1987
-
[8]
A. DelaTorre, M. d. M. Gonz´ alez. Isolated singularities for a sem ilinear equation for the fractional Laplacian arising in conformal geometry. Rev. Mat. Iberoam. 34 (2018), no . 4, 1645–1678
work page 2018
Show all 53 references
-
[9]
Dipierro, O
S. Dipierro, O. Savin, E. Valdinoci. Definition of fractional Laplacia n for functions with polynomial growth. Rev. Mat. Iberoam. 35 (2019), no. 4, 1079–1122
2019
-
[10]
Donoghue
W. Donoghue. Distributions and Fourier transforms. Pure and Applied Mathematics, 32. Academic Press, New York, 1969
1969
-
[11]
Duoandikoetxea, E
J. Duoandikoetxea, E. Zuazua. Moments, masses de Dirac et d ´ ecomposition de fonctions. C. R. Acad. Sci. Paris S´ er. I Math. 315 (1992), no. 6, 693–698
1992
-
[12]
Egorov, V
Y. Egorov, V. Galaktionov, V. Kondratiev, S. Pohozaev. Globa l solutions of higher-order semilinear parabolic equations in the supercritical range. Adv. Differential Equations 9 (2004), no. 9–10, 1009–1038
2004
-
[13]
Epstein, C
C. Epstein, C. Pop. Regularity for the supercritical fractiona l Laplacian with drift. J. Geom. Anal. 26 (2016), no. 2, 1231–1268
2016
-
[14]
Escobedo, O
M. Escobedo, O. Kavian. Variational problems related to self-s imilar solutions of the heat equation. Nonlinear Anal. 11 (1987), no. 10, 1103–1133
1987
-
[15]
Escobedo, E
M. Escobedo, E. Zuazua. Large time behavior for convection- diffusion equations in RN . J. Funct. Anal. 100 (1991), no. 1, 119–161
1991
-
[16]
M. A. Fontelos, J. J. L. Vel´ azquez. A free boundary problem f or the stokes system with contact lines. Commu- nications in Partial Differential Equations 23, 1998 - Issue 7–8, 120 9–1303
1998
-
[17]
C. Fox. The G and H functions as symmetrical Fourier kernels. Trans. Amer. Math. So c. 98(1961), 395–429
1961
-
[18]
R. Frank. On the uniqueness of ground states of non-local eq uations. Journ´ ees´Equations aux D´ eriv´ ees Partielles 2011, Exp. No. V, 10 pp
2011
-
[19]
Ganguly, R
P. Ganguly, R. Manna, S. Thangavelu. An extension problem, tr ace Hardy and Hardy’s inequalities for the Ornstein-Uhlenbeck operator. Anal. PDE 16(2023), no.5, 1205–1 244
2023
-
[20]
Gentil, C
I. Gentil, C. Imbert. The L´ evy-Fokker-Planck equation: Φ-e ntropies and convergence to equilibrium. Asymptot. Anal. 59 (2008), no. 3-4, 125–138
2008
-
[21]
M. Gevrey. Sur la nature analytique des solutions des ´ equation s aux d´ eriv´ ees partielles. Premier m´ emoire. Ann. Sci. ´Ecole Norm. Sup. (3) 35 (1918), 129–190
1918
-
[22]
S.; Ryzhik, I
Gradshteyn, I. S.; Ryzhik, I. M. Table of integrals, series, and products. Elsevier/Academic Press, Amsterdam, 2015
2015
-
[23]
G. Hardy. On two theorems of F. Carlson and S. Wigert. Acta Ma th. 42 (1920), no. 1, 327–339
1920
-
[24]
H¨ ormander
L. H¨ ormander. The analysis of linear partial differential opera tors. I. Distribution theory and Fourier analysis. Grundlehren der mathematischen Wissenschaften [Fundamental P rinciples of Mathematical Sciences], 256. Springer-Verlag, Berlin, 1983
1983
-
[25]
Ionescu, H
A. Ionescu, H. Jia. Inviscid damping near the Couette flow in a ch annel. Comm. Math. Phys. 374 (2020), no. 3, 2015–2096
2020
-
[26]
E. Jaffe. Homogeneous Distributions and The Fourier Transfor m. Preprint
-
[27]
Janakiraman, K
D. Janakiraman, K. L. Sebastian. Unusual eigenvalue spectru m and relaxation in the L´ evy-Ornstein-Uhlenbeck process. Phys. Rev. E 90, 040101(R) (2014)
2014
-
[28]
Janakiraman, K
D. Janakiraman, K. L. Sebastian. Erratum: Unusual eigenvalu e spectrum and relaxation in the L´ evy–Ornstein- Uhlenbeck process. Phys. Rev. E 91, 019904 (2015). 48 H. CHAN, M. FONTELOS, AND M.D.M. GONZ ´ALEZ
2015
-
[29]
O. Kavian. Remarks on the large time behaviour of a nonlinear diffu sion equation. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire4 (1987), no. 5, 423–452
1987
-
[30]
S. Krantz. On Limits of Sequences of Holomorphic Functions. Oc tober 2010. Rocky Mountain Journal of Mathematics 43(1)
2010
-
[31]
Kwa´ snicki
M. Kwa´ snicki. Fractional Laplace operator and its properties. Handbook of fractional calculus with applications. Vol. 1. De Gruyter, Berlin, 2019, 159–193
2019
-
[32]
C. Lemoine. Fourier transforms of homogeneous distribution. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) 26 (1972), 117–149
1972
-
[33]
Mazzitelli, P
M. Mazzitelli, P. R. Stinga, J. L. Torrea. Fractional powers of fi rst order differential operators and new families of polynomials associated to inverse measures. Preprint Apr 2022
2022
-
[34]
Metzler, J
R. Metzler, J. Klafter. The random walk’s guide to anomalous diffu sion: a fractional dynamics approach. Phys. Rep. 339 (2000), no. 1, 77 pp
2000
-
[35]
Mischler, I
S. Mischler, I. Tristani. Uniform semigroup spectral analysis of the discrete, fractional and classical Fokker- Planck equations. J. ´Ec. polytech. Math. 4 (2017), 389–433
2017
-
[36]
Mizoguchi
N. Mizoguchi. Blowup behavior of solutions for a semilinear heat eq uation with supercritical nonlinearity. J. Differential Equations 205 (2004), no. 2, 298–328
2004
-
[37]
N. Ormerod. A theorem on Fourier transforms of radial funct ions. J. Math. Anal. Appl. 69 (1979), 559–562
1979
-
[38]
Pagnini, C
G. Pagnini, C. Runfola. Mellin definition of the fractional Laplacian . Fract. Calc. Appl. Anal. 26(2023), no.5, 2101–2117
2023
-
[39]
Paris, D
R. Paris, D. Kaminski. Asymptotics and Mellin-Barnes integrals. E ncyclopedia of Mathematics and its Appli- cations, 85. Cambridge University Press, Cambridge, 2001
2001
-
[40]
L. Rodino. Linear partial differential operators in Gevrey spac es. World Scientific Publishing Co., Inc., River Edge, NJ, 1993
1993
-
[41]
Schertzer, M
D. Schertzer, M. Larchevˆ eque, J. Duan, V. Yanovsky, S. L ovejoy. Fractional Fokker-Planck equation for non- linear stochastic differential equations driven by non-Gaussian L´ e vy stable noises. J. Math. Phys. 42 (2001), no. 1, 200–212
2001
-
[42]
Srivastava, H
H. Srivastava, H. Manocha. A treatise on generating function s. Ellis Horwood Ser. Math. Appl. Ellis Horwood Ltd., Chichester; Halsted Press [John Wiley & Sons, Inc.], New York, 1 984
-
[43]
K. Stempak. A note on Zemanian spaces. Extracta Math. 12(1 997), no.1, 33–40
-
[44]
Toenjes, I.M
R. Toenjes, I.M. Sokolov, E.B. Postnikov, Phys. Rev. Lett. 11 0, 150602 (2013)
2013
-
[45]
Toenjes, I
R. Toenjes, I. Sokolov, E. Postnikov. Spectral properties o f the fractional Fokker-Planck operator for the L´ evy flight in a harmonic potential. Eur. Phys. J. B 87, 287 (2014)
2014
-
[46]
G. Toscani. The fractional Fisher information and the central limit theorem for stable laws. Ric. Mat. 65 (2016), no. 1, 71–91
2016
-
[47]
Tristani
I. Tristani. Fractional Fokker-Planck equation. Commun. Mat h. Sci. 13 (2015), no. 5, 1243–1260
2015
-
[48]
Valdinoci
E. Valdinoci. From the long jump random walk to the fractional La placian. Bol. Soc. Esp. Mat. Apl. SeMA No. 49 (2009), 33–44
2009
-
[49]
J. L. V´ azquez. Asymptotic behaviour methods for the Heat E quation. Convergence to the Gaussian. Course Notes, arXiv:1706.10034
-
[50]
J. L. V´ azquez. Asymptotic behaviour for the fractional hea t equation in the Euclidean space. Complex Var. Elliptic Equ. 63 (2018), no. 7-8, 1216–1231
2018
-
[51]
G. N. Watson. A Treatise on the Theory of Bessel Functions. C ambridge University Press, Cambridge, England; The Macmillan Company, New York, 1944
1944
-
[52]
E. Wright. The Asymptotic Expansion of the Generalized Hyperg eometric Function. Journal of the London Mathematical Society, s1-10: 286–293 (1935)
1935
-
[53]
D. Zagier. The Mellin transform and other useful analytic techn iques. Appendix to E. Zeidler, Quantum Field Theory I: Basics in Mathematics and Physics. A Bridge Between Math ematicians and Physicists. Springer- Verlag, Berlin-Heidelberg-New York (2006), 305–323. SPECTRAL PRO...
2006
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.