REVIEW 3 major objections 3 minor 15 references
Bochner's Subordionation and Fractional Caloric Smoothing in Besov and Triebel--Lizorkin Spaces
T0 review · 3 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The authors prove that Bochner subordination turns the heat semigroup's caloric smoothing into a general estimate for every Bernstein function, with a constant comparable to $[f^{-1}(1/t)]^{-d/2}$ for small $t$.
desk verdict A genuinely useful subordination-based smoothing estimate for arbitrary Bernstein functions, with a sound core theorem but two fixable gaps in the rate comparison and the higher-order corollary. 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 workhorse is Bochner's subordination formula $$W_t^f u = \int_0^\infty W_r u \,\mu_t^f(dr),$$ where $\mu_t^f$ is the unique convolution semigroup of probability measures on $[0,\infty)$ with Laplace transform $\int_0^\infty e^{-\lambda r}\mu_t^f(dr)=e^{-t f(\lambda)}$, and $W_r$ is the heat semigroup. The proof feeds the known heat-semigroup smoothing estimate $\|W_r u|A^{s+d}\|\le c r^{-d/2}\|u|A^s\|$ into this integral, uses the contraction property of $W_r$ on the function spaces for $r\le 1$, and controls the moments $\mathbb{E}[(S_t^f)^{-d/2}]$ by a comparison with $[f^{-1}(1/t)]^{-d/2}$ (Lemma 7.2). The inverse Bernstein function $f^{-1}$ is the object that carries the smoothing rate: it converts the time scale of the subordinator into the regularity scale of the semigroup.
What would settle it
Take $f(\lambda)=\lambda^\alpha$ with $0<\alpha<1$, choose a dyadic block $u$ with $\widehat u$ supported on an annulus away from zero, and compute both sides of the claimed estimate (5.1) or (5.3) using the exact moment formula of Lemma 7.1; if the ratio of the right-hand constant to the actual norm is unbounded as $t\to0$, the theorem fails. For the higher-order extension, test whether $\sup_{r>1}\|W_r^{(m)}\|_{A^s_{p,q}\to A^s_{p,q}}$ is finite; if it is infinite, the uncontrolled $r>1$ part of the subordination integral invalidates Corollary 5.4.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is Theorem 5.1 and Corollary 5.2. For every Bernstein function $f$, the $f$-subordinated heat semigroup (extended by lifting when the multiplier is not smooth at the origin) satisfies, for all $d\ge 0$, $s\in\mathbb{R}$, and admissible $1\le p,q\le\infty$, $$\|W_t^f u\,|\,$A^{{s+d}}$_{p,q}\| \le c\Big(\mathbb{E}\big[(S_t^f)^{-d/2}\big] + \mathbb{P}(S_t^f>1)\Big)\|u\,|\,A^s_{p,q}\|,$$ where $S_t^f$ is the subordinator with Laplace exponent $f$. When $f$ obeys $\liminf_{\lambda\to0} f(2\lambda)/f(\lambda)>1$, the right-hand side is comparable to $[f^{-1}(1/t)]^{-d/2}\,\|u\,|\,A^s_{p,q}\|$ for $0<t\le1$. Applying the same argument to the higher-order generalized Gauss–Weierstraß semigroup yields the corresponding estimate for $e^{-t(-\Delta)^\beta}$ with $\beta>0$, and this in turn extends the existence and uniqueness theorem for the nonlinear equation $\partial_t u + (-\Delta)^\beta u = \operatorname{div}[u^2]$ from integer $\beta$ to all real $\beta\ge 1$.
Load-bearing premise
The argument for powers $\beta>0$ assumes that the generalized heat semigroup stays bounded on the function spaces for all times $r>1$; the paper cites an estimate that is stated only for $0<r\le 1$, so without a separate proof of that long-time bound the integral over $r>1$ in the subordination formula may not be controlled.
Editorial extensions
If this is right
- Every Lévy semigroup whose characteristic exponent is $f(|\xi|^2)$ with $f$ a Bernstein function inherits a caloric smoothing estimate in $B^s_{p,q}$ and $F^s_{p,q}$ spaces.
- Under the doubling condition on $f$, the smoothing rate for $0<t\le1$ is $[f^{-1}(1/t)]^{-d/2}$; for $f(\lambda)=\lambda^\alpha$ this recovers the familiar $t^{-d/(2\alpha)}$ rate for stable semigroups.
- The same subordination argument gives the smoothing rate for the higher-order fractional heat semigroup $e^{-t(-\Delta)^\beta}$ for all real $\beta>0$, not only integer $m$.
- The nonlinear fractional heat equation $\partial_t u + (-\Delta)^\beta u = \operatorname{div}[u^2]$ has a unique mild solution for all real $\beta\ge 1$, and a strong solution under the parameter conditions stated in Theorem 6.1.
- The estimates transfer to homogeneous and hybrid Besov and Triebel–Lizorkin spaces, as sketched in Remark 5.3.
Reading between the lines
- A direct testable extension not pursued in the paper: the comparability of the constant with $[f^{-1}(1/t)]^{-d/2}$ suggests a general dictionary in which the small-time behaviour of the inverse Bernstein function dictates the smoothing rate, so slowly varying $f$ should produce logarithmic corrections to the pure power rate.
- Because the proof only uses the triangle inequality for the norm and a known smoothing estimate for the base semigroup, the same subordination argument should work for any uniformly bounded, translation-invariant semigroup on a Banach scale with its own caloric estimate; the missing ingredient in the higher-order case is the long-time boundedness for $r>1$.
- One could numerically verify the stated rate on dyadic test functions for the relativistic semigroup $f(\lambda)=\sqrt{\lambda+1}-1$; the exact Fourier multiplier makes the norms computable, and a mismatch between the observed blow-up and the predicted $[f^{-1}(1/t)]^{-d/2}$ rate would localise any hidden defect in the lifting construction.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper uses Bochner subordination to prove caloric smoothing estimates for semigroups with Fourier multiplier e^{-t f(|ξ|^2)} acting on Besov and Triebel--Lizorkin spaces. The main result, Theorem 5.1, bounds the A^{s+d}_{p,q}-norm of the subordinate semigroup by c(E[(S^f_t)^{-d/2}] + P(S^f_t>1)) times the A^s_{p,q}-norm, and Corollary 5.2 compares the resulting constant with [f^{-1}(1/t)]^{-d/2} under a doubling condition on the Bernstein function f. Section 4 treats fractional powers, Section 5 extends the method to general Bernstein functions and to higher-order fractional powers β>0, and Section 6 sketches an application to a nonlinear heat equation. An appendix collects moment estimates for subordinators.
Significance. If the proofs are completed, the paper gives a unified and quantitative extension of known caloric smoothing estimates, with explicit dependence on the Bernstein function through f^{-1}. The subordination approach is elegant and the paper correctly relies on external results (Triebel's (4.1), Baaske--Schmeisser's (5.4)) rather than assuming the target estimates. The explicit rates and the connection to subordinator moments are valuable, and the application to a nonlinear heat equation is potentially useful. However, the current manuscript contains two nontrivial gaps in the proof of the rate comparison and in the higher-order extension, so the results are not yet fully established as written.
major comments (3)
- [§7, Lemma 7.2] The change of variables in the proof of Lemma 7.2 is incorrect. Starting from E[(S_t)^{-r}] = Γ(r)^{-1} ∫_0^∞ e^{-t f(x)} x^r dx/x and setting y=f(x) gives dx/x = (f^{-1}(y))^{-1}(f^{-1})'(y) dy, so the integrand should be e^{-ty}(f^{-1}(y))^{r-1}(f^{-1})'(y) dy, not e^{-ty}(f^{-1}(y))^r dy with prefactor 1/(rΓ(r)). For f(x)=x the displayed formula yields E[S_t^{-r}]=t^{-r-1} instead of t^{-r}. Consequently the upper and lower bounds stated in the lemma are not established by the written proof. Since Corollary 5.2 relies directly on this lemma, the proof of the rate comparability in (5.3) is currently incomplete. The underlying statement is plausible and repairable by a correct Jacobian and a different splitting, but the calculation must be redone; in particular, the lower bound also needs an argument on a subinterval, since monotonicity alone gives the wrong inequality direction on (0,1/t).
- [§5, Corollary 5.4] The passage 'If we use (5.4) instead of (4.1)... we get immediately' is not immediate and needs an additional uniform bound. In the proof scheme of Theorem 4.1, the integral over r>1 is controlled by applying the d=0 estimate to W_{r-1}, which requires uniform boundedness of W^{(m)}_{r-1} on A^s_{p,q} for all r>1. Estimate (5.4) is quoted only for t∈(0,1], and the manuscript neither states nor proves the required uniform bound for t>1. Without such a bound, the subordination integral for r>1 is not controlled, so (5.5) is not proved as written. The later sentence saying that the cases p=∞ 'should be clear' for the lifting extension is also not a proof.
- [§5, Theorem 5.1, proof of (5.2)] The deduction of (5.2) from (5.1) is not justified by the two observations given. The proof states that P(S_t>1)≤1 and that E[S_t^{-d/2}]→∞ as t→0, but a uniform constant for all t∈(0,1] requires a lower bound on E[S_t^{-d/2}] on the whole interval. Such a bound follows from monotonicity of the subordinator (S_t≤S_1, so E[S_t^{-d/2}]≥E[S_1^{-d/2}]>0) whenever E[S_1^{-d/2}] is finite, but this argument is absent; if that expectation is infinite, the assertion should be stated as vacuous or handled differently. As written, the 'in particular' claim is not derived.
minor comments (3)
- [Cross-references] Theorem 5.1 refers to 'Lemma 4.1' but the relevant statement is Theorem 4.1; Corollary 5.2 refers to 'Corollary 5.1', which does not exist and should read 'Theorem 5.1'.
- [§2, Lemma 2.2(b)] The duality argument defines q'=q/(1-q), which is undefined for q=1; the case q=1 should be treated separately or the convention q'=∞ should be stated explicitly.
- [§7, Lemma 7.2] The footnote and the displayed condition use the letter t both for the argument of f^{-1} and for the time parameter of the subordinator, which is confusing in the proof of the moment estimate.
Circularity Check
No circularity: the subordination derivation genuinely uses external smoothing inputs, and the only self-citation (Lemma 7.2) is an independent probabilistic moment estimate, not the target smoothing result. Two non-circular proof gaps are flagged for the record.
full rationale
The paper's derivation chain is not circular. Theorem 5.1 takes Triebel's heat-semigroup smoothing estimate (4.1) as an external input and combines it with Bochner subordination, yielding a constant expressed through E[(S_t^f)^{-d/2}] + P(S_t^f > 1); this is not the target estimate disguised as an input. Corollary 5.2 then reads off the rate from a subordinator moment bound in Lemma 7.2, which is a parameter-free probabilistic estimate whose assumptions do not include Besov or Triebel--Lizorkin smoothing, so the self-citation to Deng--Schilling--Song [6] (Schilling is a coauthor) provides independent support and does not make the smoothing claim circular. There are no fitted parameters renamed as predictions and no ansatz imported solely by citation. Two non-circular gaps should nevertheless be flagged under the review instruction to note missing support. First, in the Appendix proof of Lemma 7.2, the displayed change of variables reads: 'Changing variables according to y = f (x) ... we get ... E[(S_t)^{-r}] = 1/(rΓ(r))(... ) e^{-ty}dy[f^{-1}(y)]^r.' The correct Jacobian gives a factor (f^{-1})'(y) and an exponent r-1 on f^{-1}(y); for f(x)=x the printed formula yields t^{-r-1} instead of the correct t^{-r}, so the written proof of the moment bound is not valid as it stands, although the estimate itself is plausible and repairable. Second, in Section 5, before Corollary 5.4, the paper says 'If we use (5.4) instead of (4.1)... we get immediately', but (5.4) is stated only for 0 < t <= 1, while the subordination integral over r > 1 requires a uniform bound for W_r^{(m)} on A^s_{p,q}; that bound is not stated or proved. The paper also honestly records a limitation: 'At the moment, there is no subordination version for the spaces F^s_{p,∞}, since in these cases (5.4) is yet unknown.' These are correctness and missing-support issues, not circularity, so the circularity score remains 0.
Assumptions & free parameters
assumptions (6)
- domain assumption Triebel's caloric smoothing estimate (4.1): ||W_t u|A^{s+d}|| <= c t^{-d/2}||u|A^s|| for 0<t<=1.
- domain assumption Baaske-Schmeisser estimate (5.4): ||W^(m)_t u|A^{s+d}|| <= c t^{-d/(2m)}||u|A^s|| for 0<t<=1, m in N.
- standard math Moment bounds for subordinators (Lemma 7.2): E[(S^f_t)^{-r}] comparable to [f^{-1}(1/t)]^r under the doubling condition.
- standard math Density of Schwartz functions in A^s_{p,q} for p,q<infinity.
- standard math Lifting operator (1-Delta)^{r/2} is an isomorphism between A^s_{p,q} and A^{s-r}_{p,q}.
- standard math Bochner's representation (3.2) and Schoenberg's theorem 3.1 characterizing Bernstein functions.
Cite this review
Pith. "Pith review of Bochner's Subordionation and Fractional Caloric Smoothing in Besov and Triebel--Lizorkin Spaces." pith.science (2026). https://pith.science/paper/WP34COMK
@misc{pith2026190806786,
author = {Pith},
title = {Pith review of: Bochner's Subordionation and Fractional Caloric Smoothing in Besov and Triebel--Lizorkin Spaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/WP34COMK}},
note = {Machine review of arXiv:1908.06786}
}
read the original abstract
We use Bochner's subordination technique to obtain caloric smoothing estimates in Besov- and Triebel--Lizorkin spaces. Our new estimates extend known smoothing results for the Gau{\ss}--Weierstra{\ss}, Cauchy--Poisson and higher-order generalized Gau{\ss}--Weierstra{\ss} semigroups. Extensions to other function spaces (homogeneous, hybrid) and more general semigroups are sketched.
Reference graph
Works this paper leans on
-
[1]
F. Baaske and H.-J. Schmeißer, On a generalized nonlinear heat eq uation in Besov and Triebel– Lizorkin spaces, Math. Nachr. 290, 2111 (2017)
work page 2017
-
[2]
F. Baaske and H.-J. Schmeißer, On the Cauchy problem for a gene ralized nonlinear heat equation, Georgian Math. J. 25, 169 (2018)
work page 2018
-
[3]
F. Baaske and H.-J. Schmeißer, On the existence and uniqueness of mild and strong solutions of a generalized nonlinear heat equation, Z. Anal. Appl. 38, 287 (2019)
work page 2019
-
[4]
Bochner, Diffusion equation and stochastic processes, Proc
S. Bochner, Diffusion equation and stochastic processes, Proc . Natl. Acad. Sci. U.S.A. 35, 368 (1949)
work page 1949
-
[5]
S. Bochner, Harmonic Analysis and The Theory of Probability (Univ ersity of California Press, Berkeley (CA) 1955)
work page 1955
- [6]
-
[7]
Jacob, Pseudo Differential Operators and Markov Processe s, vol
N. Jacob, Pseudo Differential Operators and Markov Processe s, vol. 1 (Imperial College Press, London 2001)
work page 2001
-
[8]
Sato, L´ evy Processes and Infinitely Divisible Distributions, 2n d
K. Sato, L´ evy Processes and Infinitely Divisible Distributions, 2n d. ed. (Cambridge University Press, Studies in Advanced Mathematics vol. 68, Cambridge 2013)
work page 2013
Show all 15 references
-
[9]
Schilling, An introduction to L´ evy and Feller processes, in: Fr om L´ evy-Type Processes to Parabolic SPDEs, edited by D
R.L. Schilling, An introduction to L´ evy and Feller processes, in: Fr om L´ evy-Type Processes to Parabolic SPDEs, edited by D. Khoshnevisan and R.L. Schilling (Birkh ¨ auser, Advanced Courses in Mathematics CRM Barcelona, Cham 2016)
2016
-
[10]
Schilling, Measures, Integrals and Martingales, 2nd
R.L. Schilling, Measures, Integrals and Martingales, 2nd. ed. (C ambridge University Press, Cambridge 2017)
2017
-
[11]
Schilling, R
R.L. Schilling, R. Song, and Z. Vondraˇ cek, Bernstein Functions . Theory and Applications, 2nd. ed. (De Gruyter, Berlin 2012). SUBORDINATION AND FUNCTION SPACES 15
2012
-
[12]
J.C. Miao, B. Yuan, and B. Zhang, Well–posedness of the Cauchy problem for the fractional power dissipative equations, Nonlinear Anal. 68, 461 (2008)
2008
-
[13]
Triebel, Theory of Function Spaces (Birkh¨ auser, Monographs in Mathematics vol
H. Triebel, Theory of Function Spaces (Birkh¨ auser, Monographs in Mathematics vol. 78, Basel 1983)
1983
-
[14]
Triebel, Theory of Function Spaces II (Birkh¨ auser, Monog raphs in Mathematics vol
H. Triebel, Theory of Function Spaces II (Birkh¨ auser, Monog raphs in Mathematics vol. 84, Basel 1992)
1992
-
[15]
Triebel, Theory of Function Spaces IV (Birkh¨ auser, Monog raphs in Mathematics vol
H. Triebel, Theory of Function Spaces IV (Birkh¨ auser, Monog raphs in Mathematics vol. 107, Basel 2020). (V. Knopova) TU Dresden, F akult¨at Mathematik, Institut f ¨ur Mathematische Stochastik, 01062 Dresden, Germany E-mail address : victoria.knopova@tu-dresden.de (R.L. Schil...
2020
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.