Heat equations driven by mixed local-nonlocal operators with exponential nonlinearity
Pith reviewed 2026-05-07 15:16 UTC · model grok-4.3
The pith
Local solutions exist for mixed heat equation with exponential nonlinearity
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For the Cauchy problem partial_t u + L u = f(u) with L equal to minus Delta plus the fractional Laplacian to the s, s in (0,1), and f exhibiting exponential growth at infinity with f(0)=0, local well-posedness holds in an appropriate Orlicz space. Global solutions exist for small initial data when f satisfies a power-type growth condition near zero. Large-time decay estimates in Lebesgue spaces are derived, with the decay rate determined by the behavior of f near the origin, thereby bridging the asymptotic theories of local and nonlocal diffusions.
What carries the argument
The mixed local-nonlocal operator L equals minus Delta plus (-Delta)^s for s in (0,1), acting together with fixed-point arguments in Orlicz spaces on the exponential nonlinearity f with f(0)=0.
If this is right
- Local existence holds for nonlinearities with growth faster than any polynomial.
- Global solutions for small data have decay rates controlled exclusively by the power m near zero.
- The large-time decay in L^q spaces interpolates between the rates known for the pure heat equation and the fractional heat equation.
- The mixed operator produces a unique asymptotic transition that depends on the origin behavior of f.
Where Pith is reading between the lines
- The Orlicz-space approach may extend directly to other super-exponential nonlinearities or to mixed operators with variable fractional order.
- The dominance of near-origin behavior in the decay suggests that numerical tests with different m could confirm the predicted transition between local and nonlocal regimes.
- Similar techniques could yield blow-up criteria for large data by tracking the Orlicz norm growth.
Load-bearing premise
The nonlinearity f must satisfy exponential growth at infinity and power growth near zero while the linear mixed operator must be well-posed in the chosen Orlicz and Lebesgue spaces.
What would settle it
A concrete large initial datum in the Orlicz space for which no local solution exists, or numerical observation of decay rates that fail to depend on the near-zero power m.
read the original abstract
We investigate the Cauchy problem for a heat equation driven by the mixed local-nonlocal operator $\mathcal{L}:=-\Delta+(-\Delta)^s$, $s\in(0,1)$, with exponential nonlinearity \[ \partial_tu(x,t)+\mathcal{L}u(x,t)=f(u(x,t)), \qquad (x,t)\in \mathbb{R}^{d}\times(0,\infty), \] where $f:\mathbb{R}\to\mathbb{R}$ exhibits exponential growth at infinity and satisfies $f(0)=0$. We establish local well-posedness in a suitable Orlicz space in the case where $f(u)\sim e^{|u|^p}$ as $|u|\to\infty$, with $p>1$. We further prove the existence of global solutions for small initial data under the assumption that $f$ satisfies the growth condition $|f(u)|\sim |u|^m$ near the origin. Moreover, we derive large-time decay estimates in Lebesgue spaces, showing that the behavior of the nonlinearity near the origin determines the decay rate of solutions and highlights a unique asymptotic transition that bridges local and non-local diffusion theories.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript investigates the Cauchy problem for the heat equation ∂_t u + ℒu = f(u) on ℝ^d × (0,∞), where ℒ = -Δ + (-Δ)^s (s ∈ (0,1)) is a mixed local-nonlocal operator and f exhibits exponential growth at infinity with f(0)=0. It claims local well-posedness in a suitable Orlicz space when f(u) ∼ e^{|u|^p} as |u|→∞ (p>1), global existence for small initial data when |f(u)| ∼ |u|^m near the origin, and large-time decay estimates in Lebesgue spaces whose rate is determined by the near-origin behavior of f, thereby bridging local and nonlocal diffusion asymptotics.
Significance. If the central claims hold, the work would extend well-posedness and decay results for pure local or fractional heat equations to the mixed operator setting, with the Orlicz-space treatment of exponential nonlinearities and the identification of an asymptotic transition governed by local behavior near zero offering a concrete link between the two diffusion regimes. The approach via mild solutions and fixed-point arguments is standard for such problems and could serve as a template for related mixed-operator nonlinearities.
major comments (2)
- [Linear estimates / Section 2] The local well-posedness argument (abstract and the mild formulation u(t) = e^{-tℒ}u_0 + ∫_0^t e^{-(t-s)ℒ}f(u(s)) ds) requires that the semigroup generated by ℒ maps the chosen Orlicz space into itself with bounds compatible with the Nemytskii operator induced by the exponential nonlinearity. While the symbol |ξ|^2 + |ξ|^{2s} yields analytic semigroups on L^p (1<p<∞), the transfer of kernel estimates or extrapolation to the non-reflexive Orlicz space with exponential Young function is not automatic and receives no explicit justification or reference in the linear-theory section.
- [Decay estimates / Section 4] The large-time decay estimates in Lebesgue spaces are asserted to be controlled by the power-like behavior |f(u)| ∼ |u|^m near the origin and to exhibit a 'unique asymptotic transition' between local and nonlocal regimes. However, the proof sketch does not contain a direct comparison of the decay rates with the pure Laplacian (m-dependent) and pure fractional Laplacian cases, leaving the bridging claim without a quantitative anchor.
minor comments (2)
- [Abstract] The precise Orlicz space (Young function and associated norm) is referred to only as 'suitable' in the abstract; an explicit definition should appear at the first use in the introduction or linear-theory section.
- [Global existence / Section 3] The growth condition |f(u)| ∼ |u|^m near the origin is used for global existence but the admissible range of m relative to the dimension d and the fractional order s is not stated explicitly.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will incorporate revisions to strengthen the linear theory and decay analysis.
read point-by-point responses
-
Referee: [Linear estimates / Section 2] The local well-posedness argument (abstract and the mild formulation u(t) = e^{-tℒ}u_0 + ∫_0^t e^{-(t-s)ℒ}f(u(s)) ds) requires that the semigroup generated by ℒ maps the chosen Orlicz space into itself with bounds compatible with the Nemytskii operator induced by the exponential nonlinearity. While the symbol |ξ|^2 + |ξ|^{2s} yields analytic semigroups on L^p (1<p<∞), the transfer of kernel estimates or extrapolation to the non-reflexive Orlicz space with exponential Young function is not automatic and receives no explicit justification or reference in the linear-theory section.
Authors: We agree that the manuscript would benefit from explicit justification of the semigroup action on the Orlicz space. In the revised version we will add a subsection to Section 2 deriving the necessary kernel bounds for the mixed operator from its symbol and establishing the required extrapolation from L^p to the exponential Orlicz space, with references to the relevant literature on analytic semigroups in non-reflexive Orlicz spaces. This will make the fixed-point argument fully self-contained. revision: yes
-
Referee: [Decay estimates / Section 4] The large-time decay estimates in Lebesgue spaces are asserted to be controlled by the power-like behavior |f(u)| ∼ |u|^m near the origin and to exhibit a 'unique asymptotic transition' between local and nonlocal regimes. However, the proof sketch does not contain a direct comparison of the decay rates with the pure Laplacian (m-dependent) and pure fractional Laplacian cases, leaving the bridging claim without a quantitative anchor.
Authors: The referee correctly identifies that an explicit side-by-side comparison would strengthen the bridging claim. We will revise Section 4 to include a short comparative subsection that recalls the known m-dependent decay rates for the pure Laplacian and pure fractional Laplacian, then shows quantitatively that the mixed-operator decay coincides with the local rate (governed by the near-origin power m) while differing from the fractional rate, thereby anchoring the asserted asymptotic transition. revision: yes
Circularity Check
No circularity in the derivation chain
full rationale
The paper establishes local well-posedness for the nonlinear problem via the mild formulation and fixed-point arguments in Orlicz spaces, relying on the linear mixed operator generating an analytic semigroup (from its Fourier symbol) and standard embeddings/Nemytskii operator properties for the exponential nonlinearity. Global existence for small data and decay estimates follow directly from the assumed growth conditions on f near the origin and at infinity, without any reduction of outputs to fitted parameters, self-definitions, or load-bearing self-citations. The claims are self-contained against external semigroup theory benchmarks and do not rename known results or smuggle ansatzes.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math The mixed operator L generates a suitable semigroup on the chosen Orlicz and Lebesgue spaces.
- standard math Standard embeddings and inequalities hold for Orlicz spaces with exponential growth.
Reference graph
Works this paper leans on
-
[1]
R. A. Adams and J. J. F. Fournier, Sobolev spaces, 2nd edition,Pure and Applied Mathematics, Vol. 140, Elsevier/Academic Press, Amsterdam, 2003
2003
-
[2]
Bennett and R
C. Bennett and R. Sharpley, Interpolation of operators,Pure and Applied Mathematics, Academic Press, 1988
1988
-
[3]
R. B. Belgacem and M. Majdoub, Fujita phenomenon for mixed local-nonlocal diffusion equations, arxiv prepint(2025), arXiv:2509.07405v3
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[4]
Biagi, F
S. Biagi, F. Punzo, and E. Vecchi, Global solutions to semilinear parabolic equations driven by mixed local-nonlocal operators,Bull. Lond. Math. Soc.57(2025), 265–284
2025
-
[5]
Z. W. Birnbaum and W. Orlicz, Über die Verallgemeinerung des Begriffes der zueinander konjugierten Potenzen,Studia Math.3(1931), 1–67
1931
-
[6]
Brezis and T
H. Brezis and T. Cazenave, A nonlinear heat equation with singular initial data,J. Anal. Math.68 (1996), 277–304
1996
-
[7]
B. Carhuas-Torre, R. Castillo, R. Freire, A. Lira, and M. Loayza, Global and nonglobal solutions for a mixed local-nonlocal heat equation,arXiv preprint(2025), arXiv:2505.20401
-
[8]
Cazenave and A
T. Cazenave and A. Haraux,Introduction aux problèmes d’évolution semi-linéaires, Ellipses, Paris, 1990
1990
-
[9]
Cazenave and F
T. Cazenave and F. B. Weissler, The Cauchy problem for the critical nonlinear Schrödinger equation inH s,Nonlinear Anal.14(1990), no. 10, 807–836
1990
-
[10]
Del Pezzo and R
L. Del Pezzo and R. Ferreira, Fujita exponent and blow-up rate for a mixed local and nonlocal heat equation,Nonlinear Anal.255(2025), 113761
2025
-
[11]
Dipierro and E
S. Dipierro and E. Valdinoci, Description of an ecological niche for a mixed local/nonlocal dispersal, Physica A575(2021), 126052
2021
-
[12]
Dipierro, E
S. Dipierro, E. P. Lippi, and E. Valdinoci, (Non)local logistic equations with Neumann conditions,Ann. Inst. H. Poincaré C Anal. Non Linéaire40(2023), 1093–1166
2023
-
[13]
Dipierro, E
S. Dipierro, E. P. Lippi, and E. Valdinoci, The role of Allee effects for Gaussian and Lévy dispersals, J. Math. Biol.89(2024), 19
2024
-
[14]
Dipierro, E
S. Dipierro, E. P. Lippi, and E. Valdinoci, Some maximum principles for parabolic mixed local/nonlocal operators,Proc. Amer. Math. Soc.152(2024), 3923–3939
2024
-
[15]
A. Z. Fino and M. Kirane, Qualitative properties of solutions to a time-space fractional evolution equation,Quart. Appl. Math.70(2012), 133–157
2012
-
[16]
A. Z. Fino and M. Kirane, The Cauchy problem for heat equation with fractional Laplacian and exponential nonlinearity,Commun. Pure Appl. Anal.19(2020), 3625–3650
2020
-
[17]
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. Tokyo13(1966), 109–124
1966
-
[18]
Furioli, T
G. Furioli, T. Kawakami, B. Ruf, and E. Terraneo, Asymptotic behavior and decay estimates for nonlinear parabolic equations,J. Differential Equations262(2017), 145–180
2017
-
[19]
Guedda and M
M. Guedda and M. Kirane, Criticality for some evolution equations,Differ. Equ.37(2001), 540–550
2001
-
[20]
Hayakawa, On nonexistence of global solutions of some Semilinear Parabolic Differential Equations, Proc
K. Hayakawa, On nonexistence of global solutions of some Semilinear Parabolic Differential Equations, Proc. Japan Acad.49(1973), 503–505. LOCAL-NONLOCAL HEAT EQUATION WITH EXPONENTIAL NONLINEARITY 27
1973
-
[21]
Haraux and F
A. Haraux and F. B. Weissler, Non-uniqueness for a semilinear initial value problem,Indiana Univ. Math. J.31(2)(1982), 167–189
1982
-
[22]
Ibrahim, M
S. Ibrahim, M. Majdoub, and N. Masmoudi, Global solutions for a semilinear Klein–Gordon equation with exponential-type nonlinearity,Comm. Pure Appl. Math.59(2006), 1639–1658
2006
-
[23]
Ibrahim, R
S. Ibrahim, R. Jrad, M. Majdoub, and T. Saanouni, Local well-posedness of a 2D semilinear heat equation,Bull. Belg. Math. Soc.21(2014), 535–551
2014
-
[24]
N. Ioku, B. Ruf, and E. Terraneo, Existence, non-existence, and uniqueness for a heat equation with exponential nonlinearity inR2,Math. Phys. Anal. Geom.18(2015), no. 1, Art. 29, 19 pp
2015
-
[25]
Ioku, The Cauchy problem for heat equations with exponential nonlinearity,J
N. Ioku, The Cauchy problem for heat equations with exponential nonlinearity,J. Differential Equations 251(2011), 1172–1194
2011
-
[26]
Kirane, A
M. Kirane, A. Z. Fino, and A. Ayoub, Decay of mass for a semilinear heat equation with mixed local- nonlocal operators,Fract. Calc. Appl. Anal.28(2025), 1756–1776
2025
-
[27]
V. Kumar and B. T. Torebek, Blow-up criteria for the semilinear parabolic equations driven by mixed local-nonlocal operators,arXiv preprint(2025), arXiv:2509.10014
-
[28]
Kumar and B
V. Kumar and B. T. Torebek, Fujita-type results for the semilinear heat equations driven by mixed local-nonlocal operators,J. Differential Equations465(2026), Paper No. 114241, 25 pp
2026
-
[29]
Majdoub, S
M. Majdoub, S. Otsmane, and S. Tayachi, Local well-posedness and global existence for the biharmonic heat equation with exponential nonlinearity,Adv. Differential Equations23(2018), 489–522
2018
-
[30]
Majdoub and S
M. Majdoub and S. Tayachi, Well-posedness, Global existence and decay estimates for the heat equation with general power-exponential nonlinearities,Proc. Int. Cong. of Math., Rio de Janeiro2(2018), 2379–2404
2018
-
[31]
Majdoub and S
M. Majdoub and S. Tayachi, Global existence and decay estimates for heat equation with exponential nonlinearity,Funkcialaj Ekvacioj64(2021), 237–259
2021
-
[32]
Nakamura and T
M. Nakamura and T. Ozawa, Nonlinear Schrödinger equations in critical Sobolev spaces,J. Funct. Anal.155(1998), 364–380
1998
-
[33]
M. M. Rao and Z. D. Ren,Applications of Orlicz spaces, Marcel Dekker, New York, 2002
2002
-
[34]
Ruf and E
B. Ruf and E. Terraneo, The Cauchy problem for a semilinear heat equation with singular initial data, Progr. Nonlinear Differential Equations Appl.50(2002), 295–309
2002
-
[35]
Sugitani, On nonexistence of global solutions for some nonlinear integral equations,Osaka Math
S. Sugitani, On nonexistence of global solutions for some nonlinear integral equations,Osaka Math. J. 12(1975), 45–51
1975
-
[36]
N. S. Trudinger, On imbeddings into Orlicz spaces and some applications,J. Math. Mech.17(1967), 473–483
1967
-
[37]
Valdinoci, From the long jump random walk to the fractional Laplacian,Bol
E. Valdinoci, From the long jump random walk to the fractional Laplacian,Bol. Soc. Esp. Mat. Apl. 49(2009), 33–44
2009
-
[38]
F. B. Weissler, Semilinear evolution equations in Banach spaces,J. Funct. Anal.32(1979), 277–296
1979
-
[39]
F. B. Weissler, Local existence for semilinear parabolic equations inLp,Indiana Univ. Math. J.29 (1980), 79–102
1980
-
[40]
F. B. Weissler, Existence and non-existence of global solutions for a semilinear heat equation,Israel J. Math.38(1981), 29–40. Dharmendra Kumar Chaurasia: Department of Mathematics, Banaras Hindu University V aranasi, Uttar Pradesh, 221005, India. E-mail address:mkc0560@bhu.ac.in Ahmad Z. Fino: College of Engineering and Technology, American University of...
1981
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.