Blow-up exponents and a semilinear elliptic equation for the fractional Laplacian on hyperbolic spaces
Pith reviewed 2026-05-18 15:39 UTC · model grok-4.3
The pith
Nontrivial positive global solutions to the fractional heat equation on hyperbolic space exist exactly when γ is at least 1 plus β over λ₀ to the σ.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Nontrivial positive global solutions exist for the fractional heat equation ∂_t u + Δ^σ u = e^{β t} |u|^{γ-1} u if and only if γ ≥ 1 + β / λ₀^σ. Non-negative bounded finite-energy solutions exist for the elliptic equation Δ^σ v - λ^σ v - v^γ = 0 whenever 0 ≤ λ ≤ λ₀ and 1 < γ < (n + 2σ)/(n - 2σ). These conclusions follow from a new sharp fractional Poincaré inequality in adapted L² fractional Sobolev spaces that holds on hyperbolic space and more generally on Riemannian symmetric spaces of non-compact type.
What carries the argument
A novel fractional Poincaré-type inequality in a new scale of L² fractional Sobolev spaces, which sharpens earlier versions and yields an associated Rellich-Kondrachov compact embedding for radial functions.
If this is right
- The exact blow-up threshold for the fractional heat equation is now known.
- Existence of bounded finite-energy solutions is guaranteed for the elliptic equation in the stated range of λ and γ.
- The Poincaré inequality and compact embedding extend to radial functions on any Riemannian symmetric space of non-compact type.
- The elliptic solutions can be used to construct global heat solutions via standard comparison or fixed-point arguments.
Where Pith is reading between the lines
- The same inequality may supply sharp constants for other nonlocal equations on spaces with negative curvature.
- The method suggests a route to time-dependent or variable-coefficient versions of the source term.
- Radial symmetry assumptions could be relaxed if the inequality can be proved without it.
Load-bearing premise
The sharpened fractional Poincaré inequality holds with the optimal constant tied to the bottom of the spectrum on hyperbolic space.
What would settle it
Either an explicit radial test function violating the new Poincaré inequality, or a positive global solution to the heat equation constructed for some γ strictly below 1 + β / λ₀^σ.
read the original abstract
Let $\mathbb{H}^n$ be the $n$-dimensional real hyperbolic space, $\Delta$ its nonnegative Laplace--Beltrami operator whose bottom of the spectrum we denote by $\lambda_{0}$, and $\sigma \in (0,1)$. The aim of this paper is twofold. On the one hand, we determine the Fujita exponent for the fractional heat equation \[\partial_{t} u + \Delta^{\sigma}u = e^{\beta t}|u|^{\gamma-1}u,\] by proving that nontrivial positive global solutions exist if and only if $\gamma\geq 1 + \beta/ \lambda_{0}^{\sigma}$. On the other hand, we prove the existence of non-negative, bounded and finite energy solutions of the semilinear fractional elliptic equation \[ \Delta^{\sigma} v - \lambda^{\sigma} v - v^{\gamma}=0 \] for $0\leq \lambda \leq \lambda_{0}$ and $1<\gamma< \frac{n+2\sigma}{n-2\sigma}$. The two problems are known to be connected and the latter, aside from its independent interest, is actually instrumental to the former. \smallskip At the core of our results stands a novel fractional Poincar\'e-type inequality expressed in terms of a new scale of $L^{2}$ fractional Sobolev spaces, which sharpens those known so far, and which holds more generally on Riemannian symmetric spaces of non-compact type. We also establish an associated Rellich--Kondrachov-like compact embedding theorem for radial functions, along with other related properties.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript determines the Fujita exponent for the fractional heat equation ∂_t u + Δ^σ u = e^{β t} |u|^{γ-1} u on the hyperbolic space H^n, establishing that nontrivial positive global solutions exist if and only if γ ≥ 1 + β / λ0^σ. Additionally, it proves the existence of non-negative, bounded, finite-energy solutions to the semilinear elliptic equation Δ^σ v - λ^σ v - v^γ = 0 for 0 ≤ λ ≤ λ0 and 1 < γ < (n+2σ)/(n-2σ). The proofs rely on a novel sharp fractional Poincaré-type inequality in a new scale of L² fractional Sobolev spaces (valid more generally on Riemannian symmetric spaces of non-compact type) together with an associated Rellich-Kondrachov compact embedding for radial functions.
Significance. If the claimed sharpness of the new Poincaré inequality holds with best constant exactly λ0^σ and the radial compact embedding is valid, the results give a precise characterization of the critical exponent separating global existence from blow-up for this class of fractional semilinear parabolic equations on hyperbolic space. The new functional setting and inequality sharpen earlier work on symmetric spaces and may be useful for other semilinear problems on non-compact manifolds; the elliptic existence result is also of independent interest and is correctly used to inform the parabolic analysis.
major comments (2)
- The novel fractional Poincaré inequality (stated in the section introducing the new L²-scale Sobolev spaces) is load-bearing for both the 'if and only if' threshold in the heat equation and the elliptic existence range up to λ = λ0. The manuscript must explicitly verify that the best constant is precisely λ0^σ (including whether equality is attained or the constant is optimal) rather than merely asserting sharpness; without this, the exact value of the Fujita exponent cannot be confirmed.
- The Rellich-Kondrachov-type compact embedding for radial functions (in the section establishing the embedding theorem) is used to obtain the bounded finite-energy solutions of the elliptic equation. The precise target space of the embedding and the argument showing compactness holds under the radial restriction (but may fail without it) in hyperbolic geometry must be detailed, as any gap here would affect the existence claim for 0 ≤ λ ≤ λ0.
minor comments (2)
- Abstract and introduction: the fractional critical exponent (n+2σ)/(n-2σ) should be briefly justified by reference to the Sobolev embedding on H^n or the appropriate fractional Sobolev space.
- Notation section: confirm whether Δ^σ is defined via the spectral theorem for the Laplace-Beltrami operator and ensure this definition is used consistently in all statements of the inequality and embeddings.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the constructive major comments. These have prompted us to strengthen the presentation of the key technical results. We address each point below and have revised the manuscript accordingly.
read point-by-point responses
-
Referee: The novel fractional Poincaré inequality (stated in the section introducing the new L²-scale Sobolev spaces) is load-bearing for both the 'if and only if' threshold in the heat equation and the elliptic existence range up to λ = λ0. The manuscript must explicitly verify that the best constant is precisely λ0^σ (including whether equality is attained or the constant is optimal) rather than merely asserting sharpness; without this, the exact value of the Fujita exponent cannot be confirmed.
Authors: We agree that an explicit verification of optimality strengthens the claims. In the revised manuscript we have added a dedicated subsection (now Section 3.3) that proves λ0^σ is the best constant in the new fractional Poincaré inequality. The argument proceeds from the spectral definition of Δ^σ and the fact that λ0 is the bottom of the spectrum of the Laplace-Beltrami operator on H^n (and more generally on symmetric spaces of non-compact type). We construct a sequence of radial test functions whose Rayleigh quotients approach λ0^σ from above, showing that the infimum is sharp. Equality is not attained inside the space, which is consistent with the continuous spectrum beginning at λ0; this is now stated clearly. The added details confirm that the Fujita exponent is precisely 1 + β/λ0^σ. revision: yes
-
Referee: The Rellich-Kondrachov-type compact embedding for radial functions (in the section establishing the embedding theorem) is used to obtain the bounded finite-energy solutions of the elliptic equation. The precise target space of the embedding and the argument showing compactness holds under the radial restriction (but may fail without it) in hyperbolic geometry must be detailed, as any gap here would affect the existence claim for 0 ≤ λ ≤ λ0.
Authors: We thank the referee for pointing out the need for greater precision. In the revised version we have expanded the statement and proof of the embedding theorem (now Theorem 4.2). The target space is explicitly identified as the radial subspace of the fractional Sobolev space H^σ_2(H^n) embedded into L^{2^*}(H^n), where 2^* = 2n/(n-2σ). The compactness proof for radial functions proceeds by reducing, via the radial coordinate, to a weighted one-dimensional problem on (0,∞) and applying a standard concentration-compactness argument together with the new Poincaré inequality to rule out mass escape at infinity. We also include a brief counter-example showing that the embedding fails without the radial assumption, due to sequences that translate along geodesics. These additions close the gap and support the existence of bounded finite-energy solutions for all λ ∈ [0, λ0]. revision: yes
Circularity Check
No circularity: results rest on independently established novel inequality
full rationale
The paper proves a novel fractional Poincaré-type inequality in a new scale of L² fractional Sobolev spaces (sharpening prior results on symmetric spaces of non-compact type) together with an associated radial Rellich-Kondrachov compact embedding. These foundational results are then applied to obtain the Fujita exponent for the fractional heat equation and existence for the semilinear elliptic equation. No derivation step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the inequality and embedding are derived as original contributions rather than presupposed from the target existence statements. The chain is self-contained.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The Laplace-Beltrami operator on hyperbolic space has a positive bottom of the spectrum denoted λ0
- standard math The fractional power Δ^σ of the Laplace-Beltrami operator is well-defined and generates a suitable semigroup on the space
Reference graph
Works this paper leans on
-
[1]
Anker, Sharp estimates for some functions of the Laplacian on noncompact symmetric spaces, Duke Math
J.-Ph. Anker, Sharp estimates for some functions of the Laplacian on noncompact symmetric spaces, Duke Math. J.65, 257–297 (1992). 9, 35
work page 1992
- [2]
-
[3]
J.-Ph. Anker and L. Ji, Heat kernel and Green function estimates on noncompact symmetric spaces, Geom. Funct. Anal.9(1999), 1035–1091. 7, 24, 48
work page 1999
-
[4]
J.-Ph.Anker,P.Ostellari,Theheatkernelonnoncompactsymmetricspaces.Lie Groups and Symmetric Spaces: In Memory of F.I. Karpelevich, Amer. Math. Soc. (2) Vol. 210 (2003). 7
work page 2003
- [5]
- [6]
- [7]
-
[8]
V. Banica, M.M. González, M. Sáez, Some constructions for the fractional Laplacian on noncompact manifolds.Rev. Mat. Iberoam.31(2), 681–712 (2007). 4, 7, 9, 47
work page 2007
- [9]
-
[10]
M. Bhakta, Mousomi, K. Sandeep, Poincaré-Sobolev equations in the hyperbolic space.Calc. Var. Partial Differential Equations44 (2012), no. 1-2, 247?269. 30
work page 2012
-
[11]
M. Bhowmik, S.Pusti, An extension problemand Hardy’s inequality forthe fractional Laplace–Beltrami operator on Riemannian symmetric spaces of noncompact type,J. Funct. Anal.282(9) (2022). 3, 7, 23, 29
work page 2022
- [12]
- [13]
-
[14]
T.Bruno,F.Santagati,OptimalheatkernelboundsandasymptoticsonDamek–Riccispaces,J. Approx. Theory307, n. 106144 (2025) 17
work page 2025
- [15]
-
[16]
A. Cotsiolis, N.K. Tavoularis, Best constants for Sobolev inequalities for higher order fractional deriva- tives,J. Math. Anal. Appl.295 (2004), no. 1, 225–236. 30
work page 2004
-
[17]
M. Cowling, Herz’s “principe de majoration” and the Kunze-Stein phenomenon.Harmonic analysis and number theory(Montreal, PQ, 1996), vol. 21, CMS Conf. Proc. Amer. Math. Soc., Providence, RI, 1997, 73–88. 49
work page 1996
-
[18]
M.G. Cowling, S. Giulini, S. Meda,Lp −L q-estimates for functions of the Laplace–Beltrami operator on noncompact symmetric spaces, I.Duke Math. J.72(1993), 109–150. 8, 24
work page 1993
-
[19]
M. G. Cowling, S. Giulini, S. Meda,Lp −L q-estimates for functions of the Laplace–Beltrami operator on noncompact symmetric spaces, II.J. Lie Theory5 (1995), no. 1, 1–14. 8, 49
work page 1995
- [20]
-
[21]
L.M. Del Pezzo, R. Ferreira, Fujita exponent and blow-up rate for a mixed local and nonlocal heat equation,Nonlinear Anal., Theory Methods Appl., Ser. A, 255 (2025). 2, 14, 18
work page 2025
-
[22]
E. Di Nezza, G. Palatucci, E. Valdinoci, Hitchhiker’s guide to the fractional Sobolev spaces,Bull. Sci. Math.136, no. 5, 521–573 (2012). 35
work page 2012
- [23]
-
[24]
L. C. Evans,Partial Differential Equations. Graduate Studies in Mathematics, vol. 19, American Math- ematical Society, Providence (2010). 29 BLOW-UP EXPONENTS AND A SEMILINEAR FRACTIONAL EQUATION ONH n 51
work page 2010
- [25]
- [26]
-
[27]
Fujita: On the blowing up of solutions of the Cauchy problem forut = ∆u+u 1+α,J
H. Fujita: On the blowing up of solutions of the Cauchy problem forut = ∆u+u 1+α,J. Fac. Sci. Univ. Tokyo Sect.I (13), 109–124 (1966). 2
work page 1966
-
[28]
P. Graczyk, A. Stos, Transition density estimates for stable processes on symmetric spaces,Pacific J. Math.21787–100 (2004). 8, 46, 49
work page 2004
-
[29]
Hayakawa: On nonexistence of global solutions of some semilinear parabolic differential equations
K. Hayakawa: On nonexistence of global solutions of some semilinear parabolic differential equations. Proc. Jpn. Acad.49, 503–505 (1973). 2
work page 1973
-
[30]
N. Hayashi, E.I. Kaikina, P.I. Naumkin, Asymptotics for fractional nonlinear heat equations,J. Lond. Math. Soc.72 (2005), 663–688. 2
work page 2005
-
[31]
Hebey,Sobolev Spaces on Riemannian Manifolds
E. Hebey,Sobolev Spaces on Riemannian Manifolds. Lecture Notes in Mathematics, vol 1635. Springer, Berlin, Heidelberg (1996). 30
work page 1996
-
[32]
Helgason,Geometric Analysis on Symmetric Spaces, Mathematical Surveys and Monographs, Second Edition
S. Helgason,Geometric Analysis on Symmetric Spaces, Mathematical Surveys and Monographs, Second Edition. Amer. Math. Soc., 637 pp (2008). 5, 6, 7, 47
work page 2008
-
[33]
Ionescu, Fourier integral operators on noncompact symmetric spaces of real rank one.J
A.D. Ionescu, Fourier integral operators on noncompact symmetric spaces of real rank one.J. Funct. Anal.174(2), 274–300 (2000). 33, 50
work page 2000
- [34]
-
[35]
Kaplan, On the growth of solutions of quasilinear parabolic equations.Commun
S. Kaplan, On the growth of solutions of quasilinear parabolic equations.Commun. Pure Appl. Math. 16, 305–330 (1963). 2
work page 1963
-
[36]
K. Kobayashi, T. Sirao, H. Tanaka, On the growing up problem for semilinear heat equations.J. Math. Soc. Jpn.29, 407–424 (1977) 2
work page 1977
-
[37]
Koornwinder, Jacobi Functions and Analysis on Noncompact Semisimple Lie Groups
T.H. Koornwinder, Jacobi Functions and Analysis on Noncompact Semisimple Lie Groups. Askey, R.A., Koornwinder, T.H., Schempp, W. (eds) Special Functions: Group Theoretical Aspects and Applications. Mathematics and Its Applications, vol 18. Springer, Dordrecht, 1984. 6
work page 1984
-
[38]
J. Li, G. Lu, Q. Yang, Sharp Adams and Hardy-Adams inequalities of any fractional order on hyperbolic spaces of all dimensions.Trans. Am. Math. Soc.373 3483–3513 (2020). 23
work page 2020
-
[39]
E. H. Lieb, M. Loss,Analysis. Graduate Studies in Mathematics, Vol. 14. 2nd Edition, American Mathematical Society, Providence (2001). 30
work page 2001
- [40]
-
[41]
P. L. Lions, Symmétrie e compacité dans les espaces de Sobolev,J. Funct. Anal.49, 315–334 (1982). 4, 34
work page 1982
-
[42]
G. Mancini, K. Sandeep,On a semilinear elliptic equation inHn,Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 7 (2008) 635–671. 2, 3, 4, 23, 45
work page 2008
-
[43]
M. del Mar González, L. I. Ignat, D. Manea, S. Moroianu, Concentration limit for non-local dissipative convection-diffusion kernels on the hyperbolic space.Nonlinear Anal.248 (2024), Paper No. 113618 11
work page 2024
-
[44]
Meier, On the critical exponent for reaction?diffusion equations,Arch
P. Meier, On the critical exponent for reaction?diffusion equations,Arch. Ration. Mech. Anal.109 (1990) 63–71. 2
work page 1990
-
[45]
E. Papageorgiou, Large-time behavior of two families of operators related to the fractional Laplacian on certain Riemannian manifolds,Potential Anal.61, 263–287 (2024). 46
work page 2024
-
[46]
F.Punzo,Blow-upofsolutionstosemilinearparabolicequationsonRiemannianmanifoldswithnegative sectional curvature.J. Math. Anal. Appl.387 (2012), no. 2, 815–827. 2, 12
work page 2012
-
[47]
F. Punzo, Global existence of solutions to the semilinear heat equation on Riemannian manifolds with negative sectional curvatureRiv. Mat. Univ. Parma(2014), no. 5, 113–138. 2
work page 2014
-
[48]
P. Quittner, P. Souplet,Superlinear parabolic problems, second edition, Birkhäuser Advanced Texts: Basler Lehrbücher, Birkhäuser/Springer, Cham, 2019. 12, 13
work page 2019
-
[49]
L. Silvestre, PhD thesis. The University of Texas at Austin, (2005). 3, 4, 9, 10
work page 2005
-
[50]
M. Struwe,Variational methods. Applications to nonlinear partial differential equations and Hamilton- ian systems, Fourth edition, Springer-Verlag, Berlin, 2008. 41
work page 2008
-
[51]
Sugitani, On nonexistence of global solutions for some nonlinear integral equations,Osaka J
S. Sugitani, On nonexistence of global solutions for some nonlinear integral equations,Osaka J. Math. 12 (1975), 45–51. 2
work page 1975
-
[52]
Z. Wang, J. Yin, A note on semilinear heat equation in hyperbolic space.J. Differ. Eq.256, 1151–1156 (2014). 2, 3, 22
work page 2014
-
[53]
F. B. Weissler, Existence and nonexistence of global solutions for a semilinear heat equation.Israel J. Math.38 (1981), no. 1-2, 29?40. 3, 18
work page 1981
-
[54]
K. Yosida,Functional Analysis. Springer, Berlin (1980). 8, 18 52 T. BRUNO AND E. PAPAGEORGIOU Dipartimento di Matematica, Università degli Studi di Genov a, Via Dodecaneso 35, 16146 Genov a, Italy Email address:tommaso.bruno@unige.it Institut für Mathematik, Universität Paderborn, W arburger Str. 100, D-33098 Paderborn, Germany Email address:papageoeffie@...
work page 1980
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.