Abstract
The aim of this paper is to prove a blowup result of the solution for a semilinear scale invariant damped wave equation under a suitable decay condition on radial initial data. The admissible range for the power of the nonlinear term depends both on the damping coefficient and on the pointwise decay order of the initial data. In addition, we give an upper bound estimate for the lifespan of the solution. It depends not only on the exponent of the nonlinear term and not only on the damping coefficient but also on the size of the decay rate of the initial data.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the recent years, the following Cauchy problem for the wave equation with scale invariant damping spreads a new line of research on variable coefficienttype equations. More precisely, we are dealing with
with \(n\ge 2\), \(\mu ,\,\nu \in {\mathbb {R}}\), \(p>1\) and g a radial smooth function. In [2, 3, 10, 11], some results on the global existence of a solution for (1) with noncompactly initial data appeared assuming a suitable decay behavior for g. Many other results concern blowup and global existence for this equation, see [12] for a summary of this problem. The main point is to find a critical exponent, fixed a suitable space of data. More precisely, a level \({\bar{p}}\) is critical if for \(p >\bar{p}\), one can prove that for \(\epsilon >0\) sufficiently small and for any g chosen in the fixed space, there exists a unique global (in time) solution of the problem, and conversely, if \(p\in (1, {\bar{p}})\), for any \(\epsilon >0\) there exist some g in this space such that the local solution cannot be prolonged over a finite time. Coming back to (1), in dependence on \(\mu ,\,\nu \) and n, a competition between two critical exponents appeared. In some cases, the Strauss exponent is dominant; it is given by the wave equation theory, it will be denoted by \(p_S(d)\), and it is the positive root of the quadratic equation
For other assumptions, the equation goes to an heat equation and a Fujitatype exponent \(p_F(h):=1+\frac{2}{h}\) appears. In all known results, the quantities \(d>1, h> 0\) depend on \(\nu ,\,\mu \) and n. Changing the space of data, a change of critical exponent may appear. The novelty of our result consists in showing that if one takes into account the decay rate of the initial data, then the Fujitatype exponent depends also on such decay rate. In addition, we give an upper bound estimate for the lifespan of the solution, in terms of the power of the nonlinear term, the size and the growth of the initial data. Let us recall that the lifespan of the solution is a function of \(\varepsilon \) which gives the maximal existence time:
Finally, we will prove the following.
Theorem 1
Let \(n\ge 2\). Let \(\epsilon >0\) and g be a radial smooth function satisfying
for some \(M>0\) and for any \(x \in {\mathbb {R}}^n\). Assuming in addition that
and
then the classical solution of (1) blows up. More precisely, the lifespan of the solution \(T(\varepsilon )>0\) is finite and satisfies
with \(C>0\), independent of \(\varepsilon \).
Remark 1
Recently, Ikeda, Tanaka, Wakasa in [6] consider a similar question for cubic convolution nonlinearity and a critical decay appears.
Remark 2
In [4], we will also consider a variant of problem (1), in which the nonlinearity depends on \(v,t,v_t\) combined in a suitable way.
Remark 3
The lifespan estimate for the same equation with compactly supported data and \(\nu \ne \frac{\mu }{2}\left( \frac{\mu }{2}1\right) \) has been considered in [13]. If \(\nu \le \frac{\mu }{2}\left( \frac{\mu }{2}1\right) \), the lifespan estimate is different from (3) due to the compactness of the support of the initial data.
The paper is organized as follows: In Sect. 2, we give an overview of the known results and we state an auxiliary theorem; in Sect. 3, we prove the main results.
2 Motivations
2.1 The case \(\mu =2\), \(\nu =0\)
Let us start with a quite simple case
The global existence of small data solutions for this problem was first solved in [1] for a suitable range of n and p. Some nonexistence results were also established for \(p<p_F(n):=1+\frac{2}{n}\). Except for the onedimensional case, a gap between this value and the admissible exponents in [1] appeared. In [3] for dimension \(n=2,3,\) this gap was covered with an unexpected result. Indeed, in that paper the Strauss exponent came into play. Afterward, the global existence of small data solutions to (4) has been proved for any \(p>p_S(n+2)\) also in odd dimension \(n\ge 5\) in [2] and in even dimension \(n\ge 4\) in [10].
Moreover, we know that the exponent \(p_2(n):=\max \{p_S(n+2),p_F(n)\}\) is optimal; in fact, in [3], the authors prove the blowup of solutions of (4) for each \(1<p\le p_2(n)\) in each dimension \(n\in {\mathbb {N}}\). In [2, 3, 10], the authors prove a global existence result not necessarily when the initial datum \(g=g(x)\) has compact support. More precisely, let \(n\ge 3\), given a radial initial datum \(g(x)=g(x)\) with \(g\in C^1({\mathbb {R}})\), for any \(p>p_S(n+2)\) it is possible to choose \({\bar{k}}>0\) and \(\epsilon _0>0\) such that (4) admits a radial global solution \(u\in C([0,\infty )\times {\mathbb {R}}^n)\cap C^2([0,\infty )\times {\mathbb {R}}^n{\setminus } \{0\})\) provided
In the present paper, we discuss the dependence of \({\bar{k}}\) from n and p. In (5), the exponent \(\bar{k}\) has to belong to a suitable interval \( [k_1(n,p),k_2(n,p)]\). It is interesting to investigate the case of \({\bar{k}}\not \in [k_1(n,p), k_2(n,p)]\). In the sequel, we will see that the bound \(k_2(n,p)\) can be easily improved (see Remark 4). On the contrary, if \(k<k_1(n,p)\), then a new result appears. The known situation is the following:

\(k_1(3,p)=\max \big \{\frac{3p}{p1}, \frac{1}{p1}\big \}\) and \(k_2(3,p)=2(p1)\), see [3].

\(k_1(n,p)= \max \big \{\frac{3p}{p1}, \frac{n1}{2}\big \}\) and \(k_2(n,p)= \min \big \{\frac{(n+1)p}{2}2,\frac{n^22n+13}{2(n3)}\big \}\) if \(n\ge 5\) odd, see [2].

\(k_1(n,p)= \max \big \{\frac{3p}{p1},\frac{n1}{2}\big \}\) and \(k_2(n,p)= \min \left\{ \frac{(n+1)p}{2}2, n1\right\} \) if \(n\ge 4\), see [10].
We can write in a different way the previous conditions. Firstly, we concentrate on the case \(n=3\). For \(p\in (1,2)\), we have \({\bar{k}}\ge \frac{3p}{p1}\) that is equivalent to
From above, we have \({\bar{k}}\le 2(p1)\) that is
The intersection of \(p=p_F({\bar{k}}+1)\) and \(p=1+{\bar{k}}/2\) is exactly in \({\bar{k}}= \frac{1+\sqrt{17}}{2}\) and \(p=p_S(5)\). We summarize the situation in Fig. 1. In the following graphs, we denote in blue the zone of the known global existence results, in red the zone of the known blowup results. In this paper, we want to cover the white zones.
Reading [2], we see that the same situation appears for any odd \(n\ge 5\). The critical curve
intersects the line
in the Strauss couple
The only difference with the case \(n=3\) is that, in the global existence zone, a bound from above appears for p and this has some influence on \(k_2(n,p)\). More precisely, one can take
and \(p\le 2\), \({\bar{k}}\le 3\) if \(n=5\). Hence, the result of such paper can be represented as in Fig. 2. Our aim is to prove blowup in the white zone below the Fujita curve.
Even dimension is more delicate. In [10], the global existence result is established in the blue zone below the line \(p=\frac{n+5}{n+1}\) except on the curve \(p=p_F({\bar{k}}+1)\). For convenience of the reader, we precise that in the notation of [10], the role of \({\bar{k}}\) is taken by the quantity \(k+\frac{n+1}{2}\).
2.2 The case \(\mu >2\) and \(\nu =\frac{\mu }{2}(\frac{\mu }{2}1)\)
In [10, 11], the author considers the Cauchy problem (1) for the semilinear wave equation with scale invariant damping and mass terms, that is \(\nu =\frac{\mu }{2}(\frac{\mu }{2}1)\ge 0\). We see that for \(\mu =2,\) it reduces to (4). Global existence of solutions to (1) holds under the conditions
In the even case [10], the initial data satisfy (5) for \({\bar{k}}\in (k_1(n,p,\mu ),k_2(n,p,\mu )]\) such that
Rewriting these conditions in terms of p, we find that
The intersection of the curves those define the global existence zone gives \(p=p_S(n+\mu )\). Hence, the condition \(p>p_S(n+\mu )\) appears. Moreover, another bound from above appears:
This means that different results for large \(\mu \) and small \(\mu \) hold. This influences the positions of \(k_1\) and \(k_2\). For our purpose, it is sufficient to say that for \(\mu \not =2\) and even n, the situation is similar to Fig. 3. More precisely, in Fig. 4\(p_S(n+\mu )\) appears. The blowup result is indeed given in [9]. The zone between \(p=p_S(n+\mu )\) and \(p=p_F\left( {\bar{k}} +\frac{\mu }{2}\right) \) is not covered by any known result.
The corresponding global existence result for the Cauchy problem (1) in odd space dimension \(n\ge 1\) is studied in [11] for radial and small data, assuming condition (5) with \({\bar{k}} \in [k_1(n,p,\mu ),k_2(n,p,\mu )]\) where \(k_2\) satisfies (7) and it holds:
In any case, the condition \(p>p_F({\bar{k}}+\frac{\mu }{2})\) appears. Hence, in odd space dimension \(n\ge 5\) the situation is not different from Fig. 4.
Reading Theorem 1 in the case \(\nu =\frac{\mu }{2}(\frac{\mu }{2}1)\), it is clear that the aim of this paper is to find blowingup solutions to (1) even for \(p>p_S(n+\mu )\) by considering initial data with slow decay. More precisely, let us consider
where \({\bar{k}}_0\) is such that
We will prove the blowup result in the left white side zones in Figs. 1, 2, 3 and 4 where \({\bar{k}}< {\bar{k}}_0\), \(p>p_S(n+\mu )\) and \(p<p_F({\bar{k}}_0+\frac{\mu }{2})\). Under the same assumption on g, the quoted results assure that for \(p\ge p_F({\bar{k}}+\frac{\mu }{2})\) and \(p>p_S(n+\mu )\), there is global existence. Hence, \(p=p_F({\bar{k}}+\frac{\mu }{2})\) is a critical curve for the Cauchy problem (1), provided \(\nu =\frac{\mu }{2}(\frac{\mu }{2}1)\ge 0\).
Remark 4
Still fixing \(\nu =\frac{\nu }{2}(\frac{\nu }{2}1)\ge 0\), let us consider \(\bar{k}>\bar{k}_0\) and \(p>p_S(n+\mu )\). As discussed, the global existence results in the previous literature require p above a line which depends on \({\bar{k}}\), because of a restriction of type \(\bar{k}\le k_2(n,p,\mu )\) which every time appears. Actually, this restriction can be avoided; indeed, if the initial datum satisfies (8) with \({\bar{k}}> k_2(n,p,\mu )\), then we can say that the initial datum also satisfies (5) with \({\bar{k}}= k_2(n,p,\mu )\). Hence, the global existence of a solution to (1) follows from the known results.
Remark 5
For \(\nu =\frac{\mu }{2}(\frac{\mu }{2}1)\ge 0,\) Theorem 1 provides some new information about the solution of (1) also when p belongs to the red zone of Figs. 1, 2, 3, 4 and 5. In fact, for
by the previous literature we know that the solution blows up in finite time, whereas Theorem 1 gives a lifespan estimate in the case of radial initial data with noncompact support, relating this estimate with the decay rate of the data.
2.3 The case \(\mu =0\) and \(\nu =0\)
In Fig. 5, we summarize the wave equation case \(\mu =\nu =0\). The red blowup zone was covered by many authors, see [14] and the reference therein for the whole list of blowup results. For \(\mu =\nu =0\), the global existence result has been completely solved in [5], where the interested reader can find a long bibliography of previous contributes. In particular, the blue zone for radial solution without compact support assumption for the initial data has been exploited by Kubo, see, for example, [7, 8]. Before these papers, Takamura obtained a blowup result in the green zone. In [15], the point is to find a critical decay level \(k_0=\frac{2}{p1},\) equivalently \(p\le 1+\frac{2}{k_0}.\) We underline that this is a Fujitatype exponent.
In Theorem 1, we generalize Takamura’s result when \(\mu \ne 0\) and \(\nu \le \frac{\mu }{2}(\frac{\mu }{2}1)\). To this aim, it is sufficient to consider a peculiar wave equation with nonlinear term having a decaying timedependent variable coefficient. This means that we will deduce Theorem 1 from the following result.
Theorem 2
Let \(n\ge 2\). Given a smooth function \(g=g(x)\) with \(x\in {\mathbb {R}}^n\), we set \(r=x\) and we consider \(g=g(r)\) satisfying
for some \(M>0\). Let \(u=u(t,r)\) be the radial local solution to
with \(p>1\) and \(p<p_{F}(\frac{\mu }{2}1)\) if \(\mu >2\). Assume in addition that
Then, given \(\epsilon >0\), the lifespan \(T(\varepsilon )>0\) of classical solutions to (10) satisfies
with \(C>0\), independent of \(\varepsilon \).
Remark 6
The assumption \(p<p_{F}(\frac{\mu }{2}1)\) if \(\mu >2\) guarantees that the range of admissible \({\bar{k}}\) in (11) is not empty.
In the case \(\mu =0\), Theorem 2 coincides with Takamura’s result in [15]. In the proof of Theorem 2, we will follow the same approach of that paper.
3 Proof of the main results
3.1 Proof of Theorem 2
We recall the crucial lemma of [15].
Lemma 1
Let \(n\ge 2\) and \(m=[n/2]\). Given a smooth function \(g=g(x)\) with \(x\in {\mathbb {R}}^n\), we set \(r=x\) and we consider \(g=g(r)\). Let us denote by \(u^{0}(t,r)\) the solution of the free wave problem
Let \(u=u(t,r)\) be a solution to
with the initial condition
If F is nonnegative, there exists a constant \(\delta _m> 0\) such that
provided
The constant \(\delta _m\) in the previous lemma is described in [15, Lemma 2.5]; it depends on the space dimension, and in particular, it changes accordingly with the different representations of the free wave solution in odd and even dimension.
We are ready to prove that if (9) holds, then the solution of (10) blows up in finite time even for small \(\varepsilon .\)
Let us fix \(\delta >0\); we define a blowup set,
where \(\delta _m>0\) is the constant given in Lemma 1. Combining the assumption (10) with the formulas (15) and (16), for any \((t,r)\in \Sigma _\delta ,\) it holds
Then, (17) implies that
Since \((t,r)\in \Sigma _\delta \), we have
where we set
Now, we assume an estimate of the form
where a, b and C are positive constant. In particular, (19) holds true for \(a=m+1\), \(b={\bar{k}}+1\) and \(C=C_0\).
Being \(g\ge 0\), from (16) we deduce \(u^0\ge 0\). Combining (15) and (19), for \((t,r)\in \Sigma _\delta \), we get
By means of integration by parts, we obtain
While searching a finite lifespan of a solution, it is not restrictive to assume \(t>1\). We have
Let \((t,r)\in \Sigma _\delta \), from (19)–(21), we can conclude
with
Let us define the sequences \(\{a_k\},\,\{b_k\},\,\{C_k\}\) for \(k\in {\mathbb {N}}\) by
where \(C_0\) is defined by (18). Hence, we have
for some constant \(K=K(p,\mu , m)>0\) independent of k. The relation (28) implies that for any \(k\ge 1\), it holds
We note that \(d_j>0\) for sufficiently large j. Since \(\lim _{j\rightarrow \infty }d_{j+1}/d_j=1/p,\) the sequence \( S_p(k)\) converges for \(p>1\) by using the ratio criterion for series with positive terms. Hence, there is a positive constant \(S_{p,K}\ge S_p(k)\) for any \(k\in {\mathbb {N}}\), so that
Therefore, by (22), (26)–(29), we obtain
where
Thus, if we prove that there exists \((t_0,r_0)\in \Sigma _\delta \) such that \(J(t_0,r_0)>0\), then we can conclude that the solution to (10) blows up in finite time, in fact
By the definition of \(J=J(t,r)\), we find that \(J(t,r)>0\) if
In particular, we can take \((t, r)=(t, t+\max \{\frac{2t}{\delta _m},\delta \})\in \Sigma _\delta \); then, it is enough to prove that
Now, the crucial assumption (9) comes into play. The coefficient in the left side is positive, and by using (18), we find that \(J(t,r)>0\) provided
where
which is positive. As byproduct, the inequality (34) gives the lifespan estimate (312) and concludes the proof of Theorem 2.
3.2 Proof of Theorem 1
We start rewriting the Cauchy problem (1) as a nonlinear wave equation with a timedependent potential. Let \(v=v(t,x)\) be a solution of (1); we define
Then, the function \(u=u(t,x)\) is a solution of the Cauchy problem
If g is radial, then u is radial and it satisfies Eqs. (13) and (14) with
Let us fix \(\delta >0\) and use the same notation of the proof of Theorem 2. Since we are assuming \(\frac{\mu }{2}(\frac{\mu }{2}1)\nu \ge 0\), by comparison lemma, see [15, Lemma 2.9], we deduce \(u>0\) in \(\Sigma _\delta .\) Then, it holds
hence, by formula (15) in Lemma 1 we still derive the estimate (20). Thus, the proof of Theorem 2 guarantees the result of Theorem 1.
References
M. D’Abbicco. The threshold of effective damping for semilinear wave equations. Mathematical Methods in the Applied Sciences 38 (2015), 1032–1045.
M. D’Abbicco, S. Lucente. NLWE with a special scale invariant damping in odd space dimension. Dynamical systems, differential equations and applications. 10th AIMS Conference. Suppl. (2015), 312 – 319.
M. D’Abbicco, S. Lucente, M. Reissig. A shift in the Strauss exponent for semilinear wave equations with a not effective damping. Journal of Differential Equations 259 (2015), 5040 – 5073.
G. Girardi, S. Lucente. Lifespan estimates for a special quasilinear timedependent damped wave equation. Proceedings of the 12th ISAAC congress in Aveiro  Session Recent Progress in Evolution Equations. 2020. In press.
V. Georgiev, H. Lindblad, C. D. Sogge. Weighted Strichartz estimates and global existence for semilinear wave equations. American Journal of Mathematics (1997), 1291–1319.
M. Ikeda, T. Tanaka, K. Wakasa. Critical exponent for the wave equation with a timedependent scale invariant damping and a cubic convolution. (2020), arXiv:2003.10329.
H. Kubo, Slowly decaying solutions for semilinear wave equations in odd space dimensions. Nonlinear Analysis: Theory, Methods & Applications. 28 (1997), 327–357.
H. Kubo, K. Kubota. Asymptotic behaviors of radially symmetric solutions of\(\Box u=u^p\)for super critical values\(p\)in even space dimensions. Japanese journal of mathematics. New series 24 (1998), 191–256.
W. Nunes do Nascimento, A. Palmieri, M. Reissig. Semilinear wave models with power nonlinearity and scaleinvariant timedependent mass and dissipation. Math. Nachr. 290 (2017), 1779–1805.
A. Palmieri. A global existence result for a semilinear scaleinvariant wave equation in even dimension. Mathematical Methods in the Applied Sciences, 42 (2019) 2680–2706.
A. Palmieri. Global Existence Results for a Semilinear Wave Equation with ScaleInvariant Damping and Mass in Odd Space Dimension, New Tools for Nonlinear PDEs and Application, (2019), 305–369.
A. Palmieri, M. Reissig. A competition between Fujita and Strauss type exponents for blowup of semilinear wave equations with scaleinvariant damping and mass, J. Differential Equations 266, (2019), 1176–1220.
A. Palmieri, Z. Tu. Lifespan of semilinear wave equation with scale invariant dissipation and mass and subStrauss power nonlinearity, Journal of Mathematical Analysis and Applications 470(1), (2019), 447–469.
T. C. Sideris. Global behavior of solutions to nonlinear wave equations in three dimensions. Communications in Partial Differential Equations 8 (1983), 12911323.
H. Takamura. Blowup for semilinear wave equations with slowly decaying data in high dimensions. Differential Integral Equations 8 (1995), 647–661.
Funding
Open access funding provided by Politecnico di Torino within the CRUICARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Felisia Angela Chiarello: Supported by “Compagnia di San Paolo” (Torino, Italy). Sandra Lucente: Partially supported by PRIN 2017 linea Sud “Qualitative and quantitative aspects of nonlinear PDEs.”
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chiarello, F.A., Girardi, G. & Lucente, S. Fujita modified exponent for scale invariant damped semilinear wave equations. J. Evol. Equ. 21, 2735–2748 (2021). https://doi.org/10.1007/s00028021007052
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00028021007052