alphaFeedback

WorksMathematics

Optimal global well-posedness for semilinear heat equations

AI contributions
  • GPT-5.6 Sol · bare
View details

Abstract

We address the question of global in time existence for the semilinear parabolic equation \begin{equation*} \left{ \begin{array}{rcl} \partial_t u-Δu&=&|u|^{b-1}u \quad {\rm ~in~} \mathbb{R}^n\times (0,\infty),\ u(\cdot,0)&=& u_0 \quad {\rm ~in~} \mathbb{R}^n, \end{array} \right. \end{equation*} where b>1+2/n,n≥1b> 1+2/n, n\geq 1. We found a space of initial data ZZ that guarantees the existence of a global in time solution whenever the norm of the initial datum u0u_0 in ZZ is small. The space ZZ is optimal in the sense that if u0u_0 is a nonnegative distribution and the equation admits a nonnegative solution u∈Llocb(Rn×(0,∞))u\in L^b_{\rm loc}(\mathbb{R}^n\times(0,\infty)), then u0∈Zu_0\in Z. Moreover, our result contains all of the known results in the literature. In particular, it implies that global in time existence does hold for end-point Besov and Triebel-Lizorkin spaces, which resolves an open problem posed by L. Brandolese and F. Cortez (J. Funct. Anal. 276\textbf{276} (2019), 2589-2604).

Introduction

One of the most studied nonlinear partial differential equations of parabolic type over the last six decades is the semilinear Cauchy problem

{∂tu−Δu=∣u∣b−1uin Rn×(0,T),u(⋅,0)=u0in Rn,(1)\begin{cases} \partial_t u-\Delta u=|u|^{b-1}u & \text{in }\mathbb{R}^n\times(0,T),\\ u(\cdot,0)=u_0 & \text{in }\mathbb{R}^n, \tag*{(1)} \end{cases}

where n∈Nn\in\mathbb{N}, b>1b>1, and 0<T≤∞0<T\le\infty. In particular, many local and global in time well-posedness results for the Cauchy problem (1) were obtained in [41, 42, 3, 16, 22, 6, 30, 31, 39, 34], etc. On the other hand, it follows from the earlier work of Fujita [15] that no nontrivial nonnegative global in time (T=∞T=\infty) solution exists when b<1+2/nb<1+2/n. Such a nonexistence phenomenon also happens at the endpoint b=1+2/nb=1+2/n (see [17] and [41, 42]).

In this paper, we are interested in the Cauchy problem (1) with singular initial data u0u_0. For initial data in the Lebesgue space LaL^a, a≥1a\ge1, the number n(b−1)/2n(b-1)/2 is a critical threshold. It it known that if 1≤a<n(b−1)/21\le a<n(b-1)/2, then no nonnegative regular solution u∈C([0,T],La(Rn))u\in C([0,T],L^a(\mathbb{R}^n)) exists in general for nonnegative initial data u0∈La(Rn)u_0\in L^a(\mathbb{R}^n) (see [41 Theorem 1]).

On the other hand, let b>1b>1 and a≥n(b−1)/2a\ge n(b-1)/2, a>1a>1 (or a>n(b−1)/2a>n(b-1)/2, a≥1a\ge1). In [41], Weissler used a fixed point theorem in a subspace of C([0,T],La(Rn))C([0,T],L^a(\mathbb{R}^n)) to construct a solution u∈C([0,T],La(Rn))∩Lloc∞((0,T],L∞(Rn))u\in C([0,T],L^a(\mathbb{R}^n))\cap L^\infty_{\mathrm{loc}}((0,T],L^\infty(\mathbb{R}^n)), T=T(u0)>0T=T(u_0)>0, along with some other properties, to the Cauchy problem (1). Such solutions are sometimes referred to as Weissler’s solutions.

Later, Brezis and Cazenave [6] showed that this solution is unique in the class C([0,T],La(Rn))∩Lloc∞((0,T],L∞(Rn))C([0,T],L^{a}(\mathbb{R}^{n})) \cap L^\infty_{\mathrm{loc}}((0,T],L^\infty(\mathbb{R}^{n})). Moreover, if a≥n(b−1)/2a \ge n(b-1)/2 and a>ba>b, then uniqueness also holds in the larger class C([0,T],La(Rn))C([0,T],L^{a}(\mathbb{R}^{n})) (see [41] for the case a>n(b−1)/2a>n(b-1)/2 and a>ba>b and [6] for the case a=n(b−1)/2a=n(b-1)/2 and a>ba>b). However, we mention that uniqueness is lost in the class C([0,T],La(Rn))C([0,T],L^{a}(\mathbb{R}^{n})) in the critical case a=n(b−1)/2a=n(b-1)/2 and a=ba=b, i.e., a=b=n/(n−2)a=b=n/(n-2) (see [40] and also [33] for the case of a bounded domain).

It is easy to verify that if u(x,t)u(x,t) is a solution of (1), then for any λ>0\lambda>0, the function uλ(x,t):=λ2b−1u(λx,λ2t)u_{\lambda}(x,t):=\lambda^{\frac{2}{b-1}}u(\lambda x,\lambda^{2}t) solves the same Cauchy problem on Rn×[0,λ−2T]\mathbb{R}^{n}\times[0,\lambda^{-2}T] with initial condition u0λ(x)=λ2b−1u0(λx)u_{0\lambda}(x)=\lambda^{\frac{2}{b-1}}u_{0}(\lambda x). Note that in the case b=3b=3 this scale invariance is similar to that of the Navier-Stokes system. In [30] (see also [29]), Y. Meyer treated the case b=n=3b=n=3 as a simple model for the three-dimensional Navier-Stokes system. In doing so, he posed the following conjecture regarding (1) with b=n=3b=n=3 (see [30 Conjecture 2.1]).

Conjecture: There exists a Banach space (Z,∥⋅∥Z)(\mathcal{Z},\|\cdot\|_{\mathcal{Z}}) such that the following holds.

(i) ∥f∥L4(R3)2≲∥∇f∥L2(R3)∥f∥Z\|f\|_{L^{4}(\mathbb{R}^{3})}^{2}\lesssim\|\nabla f\|_{L^{2}(\mathbb{R}^{3})}\|f\|_{\mathcal{Z}}.

(ii) If u0∈Cc∞(R3)u_{0}\in C_{c}^{\infty}(\mathbb{R}^{3}) is such that ∥u0∥Z≤η\|u_{0}\|_{\mathcal{Z}}\le\eta, the lifetime TT of the corresponding solution of (1) with b=n=3b=n=3 is infinite. Here, η\eta is a (small) positive constant.

(iii) ∥λf(λ⋅)∥Z=∥f∥Z\|\lambda f(\lambda\cdot)\|_{\mathcal{Z}}=\|f\|_{\mathcal{Z}} for all λ>0\lambda>0.

(iv) ∥f∥Z\|f\|_{\mathcal{Z}} is small when ff is oscillating.

Throughout the manuscript, for nonnegative numbers N,MN,M, we write N≲MN\lesssim M to mean N≤CMN\le CM for an unimportant constant C>0C>0.

Let B˙p,qα(Rn)\dot{B}^{\alpha}_{p,q}(\mathbb{R}^{n}) (resp. F˙p,qα(Rn)\dot{F}^{\alpha}_{p,q}(\mathbb{R}^{n})), α∈R\alpha\in\mathbb{R}, p,q∈(0,∞]p,q\in(0,\infty], denote the Besov spaces (resp. Triebel-Lizorkin spaces) in Rn\mathbb{R}^{n} (see § 2). Y. Meyer observed that this conjecture holds for Z=B˙6,∞−1/2(R3)\mathcal{Z}=\dot{B}^{-1/2}_{6,\infty}(\mathbb{R}^{3}) and even more generally for Z=B˙p,∞−1+3/p(R3)\mathcal{Z}=\dot{B}^{-1+3/p}_{p,\infty}(\mathbb{R}^{3}), 3<p<93<p<9, (see [5, 22, 31]). Moreover, in these cases, property (ii) holds also for any u0∈L3(R3)u_{0}\in L^{3}(\mathbb{R}^{3}) and the lifetime of the corresponding Weissler’s solution is infinite. Note that L3(R3)⊂B˙p,∞−1+3/p(R3)⊂B˙∞,∞−1(R3)L^{3}(\mathbb{R}^{3})\subset\dot{B}^{-1+3/p}_{p,\infty}(\mathbb{R}^{3})\subset\dot{B}^{-1}_{\infty,\infty}(\mathbb{R}^{3}), 3<p≤∞3<p\le\infty. The significance of Besov spaces (or Triebel-Lizorkin spaces) of negative order lies in the fact that the condition of being sufficiently small in such spaces can be verified for highly oscillating data, which justifies property (iv). For example, if f∈L3(R3)f\in L^{3}(\mathbb{R}^{3}), with arbitrarily large norm, and fk(x)=eik⋅xf(x)f_{k}(x)=e^{ik\cdot x}f(x), k∈Z3k\in\mathbb{Z}^{3}, then ∥fk∥L3(R3)=∥f∥L3(R3)\|f_{k}\|_{L^{3}(\mathbb{R}^{3})}=\|f\|_{L^{3}(\mathbb{R}^{3})}, whereas ∥fk∥B˙p,∞−1+3/p(R3)→0\|f_{k}\|_{\dot{B}^{-1+3/p}_{p,\infty}(\mathbb{R}^{3})}\to0 as ∣k∣→∞|k|\to\infty, provided 3<p<∞3<p<\infty (see [11 Section 4.1]).

The main point of Meyer’s conjecture is to find the largest Banach space Z\mathcal{Z} such that properties (i)–(iv) holds. Meyer [30] proved property (i) for Z=B˙∞,∞−1(R3)\mathcal{Z}=\dot{B}^{-1}_{\infty,\infty}(\mathbb{R}^{3}) and raised the question whether or not the maximal Besov space B˙∞,∞−1(R3)\dot{B}^{-1}_{\infty,\infty}(\mathbb{R}^{3}) fulfills (ii). This question was addressed by L. Brandolese and F. Cortez in [5 Theorem 2.2], where the authors showed that for any η>0\eta>0 and 3<q≤∞3<q\leq\infty, there exists u0∈S(R3)u_{0}\in\mathcal{S}(\mathbb{R}^{3}) such that

∥u0∥B˙9,q−2/3(R3)≤η.\lVert u_{0}\rVert_{\dot{B}^{-2/3}_{9,q}(\mathbb{R}^{3})}\leq\eta.

References

  1. [1]D. R. Adams, On the existence of capacitary strong type estimates in R^n, Ark. Mat. 14 (1976), 125–140.DOI
  2. [2]D. R. Adams and L. I. Hedberg, Function Spaces and Potential Theory, Springer-Verlag, Berlin, 1996.DOI
  3. [3]P. Baras and M. Pierre, Critère d’existence des solutions positives pour des équations semi-linéaires non monotones, Ann. I. H. Poincaré 3 (1985), 185–212.DOI
  4. [4]G. Bourdaud, Realizations of homogeneous Besov and Lizorkin-Triebel spaces, Math. Nachr., 286 (2013), 476–491.DOI
  5. [5]L. Brandolese and F. Cortez, Blowup for the nonlinear heat equation with small initial data in scale-invariant Besov norms, J. Funct. Anal. 276 (2019), 2589–2604.arxiv.org/abs/1902.06302
  6. [6]H. Brezis and T. Cazenave, A nonlinear heat equation with singular initial data, Journal D’Analyse Mathématique 68 (1996), 277–304.DOI
  7. [7]H.-Q. Bui, Characterizations of weighted Besov and Triebel-Lizorkin spaces via temperatures, J. Functional Anal. 55 (1984), 39–62.DOI
  8. [8]H.-Q. Bui, Weighted Young’s inequality and convolution theorems on weighted Besov spaces, Math. Nachr. 170 (1994), 25–37.DOI
  9. [9]H.-Q. Bui, M. Paluszyński, and M. H. Taibleson, A maximal function characterization of weighted Besov-Lipschitz and Triebel-Lizorkin spaces, Studia Math. 119 (1996), 219–246.DOI
  10. [10]H.-Q. Bui, M. Paluszyński, and M. H. Taibleson, Characterization of the Besov-Lipschitz and Triebel-Lizorkin spaces. The case q < 1, J. Fourier Anal. Appl. 3 (1997), Special Issue, 837–846.DOI
  11. [11]M. Cannone, Harmonic analysis tools for solving the incompressible Navier-Stokes equations, Handbook of Mathematical Fluid Dynamics. Vol. III, 161–244, North-Holland, Amsterdam, 2004.DOI
  12. [12]C. Cascante and J. Ortega, Norm inequalities for potential-type operators in homogeneous spaces, Math. Nachr. 228 (2001), 85–107.doi.org/10.1002/1522-2616(200108)228:1<85::aid-mana85>3.0.co;2-d
  13. [13]C. Fefferman, The uncertainty principle, Bull. Amer. Math. Soc. 9 (1983), 129–206.
  14. [14]A. Fiorenza, M. R. Formica, T. G. Roskovec, and F. Soudský, Detailed proof of classical Gagliardo–Nirenberg interpolation inequality with historical remarks, Z. Anal. Anwend. 40 (2021), 217–236.arxiv.org/abs/1812.04281
  15. [15]H. Fujita, On the blowing up of solutions of the Cauchy problem for u_t = Δu + u^{1+α}, Journal of the Faculty of Science of the University of Tokyo 13 (1966), 109–124.DOI
  16. [16]Y. Giga, Solutions for semilinear parabolic equations in L^p and regularity of weak solutions of the Navier-Stokes system, J. Differential Equations 62 (1986), 186–212.
  17. [17]K. Hayakawa, On nonexistence of global solutions of some semilinear parabolic differential equations, Proceedings of the Japan Academy 49 (1973), 503–505.DOI
  18. [18]P. Honzík and B. Jaye, On the good-λ inequality for nonlinear potentials, Proc. Amer. Math. Soc. 140 (2012), 4167–4180.
  19. [19]B. Jawerth, C. Perez, and G. Welland, The positive cone in Triebel-Lizorkin spaces and the relation among potential and maximal operators, Harmonic analysis and partial differential equations (Boca Raton, FL, 1988), 71–91, Contemp. Math., 107, Amer. Math. Soc., Providence, RI, 1990.
  20. [20]N. J. Kalton and I. E. Verbitsky, Nonlinear equations and weighted norm inequalities, Trans. Amer. Math. Soc. 351 (1999), 3441–3497.arxiv.org/abs/math/9709212
  21. [21]H. Koch and D. Tataru, Well-posedness for the Navier-Stokes equations, Adv. Math. 157 (2001), 22–35.DOI
  22. [22]H. Kozono and M. Yamazaki, Semilinear heat equations and the Navier-Stokes equation with distributions in new function spaces as initial data, Commun. Partial Differ. Equ. 19 (1994), 959–1014.DOI
  23. [23]P. G. Lemarié-Rieusset, Recent developments in the Navier-Stokes problem, Chapman & Hall/CRC Res. Notes Math. 431, Chapman & Hall/CRC, Boca Raton, FL, 2002. xiv+395 pp.
  24. [24]P. G. Lemarié-Rieusset, Sobolev multipliers, maximal functions and parabolic equations with a quadratic nonlinearity, J. Funct. Anal. 274 (2018), 659–694.
  25. [25]V. G. Maz’ya, On some integral inequalities for functions of several variables, Problems in Math. Analysis 3 (1972) Leningrad U. (Russian).
  26. [26]V. G. Maz’ya and T. O. Shaposhnikova, Theory of Sobolev Multipliers. With Applications to Differential and Integral Operators, Grundlehren der Mathematischen Wissenschaften, vol. 337, Springer-Verlag, Berlin, 2009.
  27. [27]V. G. Maz’ya and I. E. Verbitsky, Capacitary inequalities for fractional integrals, with applications to partial differential equations and Sobolev multipliers, Ark. Mat. 33 (1995), 81–115.DOI
  28. [28]A. Mazzuccato, Besov-Morrey spaces: Function space theory and applications to non-linear PDE, Trans. of the Amer. Math. Soc. 355 (2003), 1297–1364.
  29. [29]Y. Meyer, Oscillating patterns in image processing and nonlinear evolution equations, University Lecture Series, American Mathematical Society, Providence, RI., 2001.DOI
  30. [30]Y. Meyer, Oscillating Patterns in Some Nonlinear Evolution Equations, Mathematical Foundation of Turbulent Viscous Flows, pp. 101-187, Lecture Notes in Math. 1871, Springer-Verlag, Berlin, 2006.DOI
  31. [31]C. Miao, B. Yuan, B. Zhang, Strong solutions to the nonlinear heat equation in homogeneous Besov spaces, Nonlinear Anal. 67 (2007), 1329–1343.DOI
  32. [32]B. Muckenhoupt and R. Wheeden, Weighted norm inequalities for fractional integrals, Trans. Amer. Math. Soc. 192 (1974), 261–274.DOI
  33. [33]W. M. Ni and P. Sacks, Singular behavior in nonlinear parabolic equations, Trans. of the Amer. Math. Soc. 287 (1985), 657–671.DOI
  34. [34]Q.-H. Nguyen, Potential estimates and quasilinear parabolic equations with measure data, Mem. Amer. Math. Soc. 291 (2023), 131 pp.arxiv.org/abs/1405.2587
  35. [35]L. Nirenberg, On elliptic partial differential equations, Ann. Scuola Norm. Sup. Pisa 13 (1959), 115–162.
  36. [36]K. H. Ooi and N. C. Phuc, Characterizations of predual spaces to a class of Sobolev multiplier type spaces, J. Funct. Anal. 282 (2022), Paper No. 109348, 52 pp.arxiv.org/abs/2005.04349
  37. [37]K. H. Ooi and N. C. Phuc, Some capacitary strong type inequalities and related function spaces, Submitted for publication, arXiv preprint arXiv:2510.08982.arxiv.org/abs/2510.08982
  38. [38]E. T. Sawyer and R. L. Wheeden, Weighted inequalities for fractional integrals on Euclidean and homogeneous spaces, Amer. J. Math. 114 (1992), 813–874,DOI
  39. [39]P. Souplet, Morrey spaces and classification of global solutions for a supercritical semilinear heat equation in ℝⁿ, J. Funct. Anal. 272 (2017), 2005–2037.DOI
  40. [40]E. Terraneo, Non-uniqueness for a critical non-linear heat equation, Comm. Partial Differential Equations 27 (2002), 185–218.DOI
  41. [41]F. B. Weissler, Local existence and nonexistence for semilinear parabolic equations in Lᵖ, Indiana Univ. Math. J. 29 (1980), 79–102.
  42. [42]F. B. Weissler, Existence and non-existence of global solutions for a semilinear heat equation, Israel Journal of Mathematics 38 (1981), 29–40.DOI

Paper details

vlnc:W_awxwqxzb
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY 4.0

Original source

  • Mathematics

GPT-5.6 Sol (bare) · View statement →

Looking for related papers…
Contents