Abstract
In this paper we consider the Cauchy problem for the semilinear damped wave equation
where \(h(s)=|s|^{1+ \frac{2}{n}}\mu (|s|)\). Here n is the space dimension and \(\mu \) is a modulus of continuity. Our goal is to obtain sharp conditions on \(\mu \) to obtain a threshold between global (in time) existence of small data solutions (stability of the zero solution) and blow-up behavior even of small data solutions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In [12], the authors proved the global existence of small data energy solutions for the semilinear damped wave equation
in the supercritical range \(p>1+\frac{2}{n}\), by assuming compactly supported small data from the energy space. Under additional regularity the compact support assumption on the data can be removed. By assuming data in Sobolev spaces with additional regularity \(L^1({{\mathbb {R}}}^n)\), a global (in time) existence result was proved in space dimensions \(n=1,2\) in [5], by using energy methods, and in space dimension \(n\le 5\) in [9], by using \(L^r-L^q\) estimates, \(1\le r\le q\le \infty \). Nonexistence of general global (in time) small data solutions is proved in [12] for \(1<p< 1+\frac{2}{n}\) and in [13] for \(p= 1+\frac{2}{n}\). The exponent \(1+\frac{2}{n}\) is well known as Fujita exponent and it is the critical power for the following semilinear parabolic Cauchy problem (see [2]):
If one removes the assumption that the initial data are in \(L^1({{\mathbb {R}}}^n)\) and we only assume that they are in the energy space, then the critical exponent is modified to \(1+\frac{4}{n}\) or to \(1+\frac{2m}{n}\) under additional regularity \(L^m({{\mathbb {R}}}^n)\), with \(m\in [1,2]\). For the classical damped wave equation, this phenomenon has been investigated in [4].
The diffusion phenomenon between linear heat and linear classical damped wave models (see [3, 7, 9, 10]) explains the parabolic character of classical damped wave models with power nonlinearities from the point of decay estimates of solutions.
In the mathematical literature (see for instance [1]) the situation is in general described as follows: We have a semilinear Cauchy problem
where L is a linear partial differential operator. Then the authors would like to find a critical exponent \(p_{crit}\) in the scale \(\{|u|^p\}_{p>0}\), a threshold between two different qualitative behaviors of solutions. As examples see the models (1) or (2).
The main concern of this paper is to show by the aid of the model (1) that the restriction to the scale \(\{|u|^p\}_{p>0}\) is too rough to verify the critical non-linearity or the critical regularity of the non-linear right-hand side.
For this reason we turn to the Cauchy problem for the semilinear damped wave equation
in \([0,\infty )\times {{\mathbb {R}}}^n\), where \(h(s)= |s|^{1+\frac{2}{n}}\mu (|s|)\). Here \(\mu =\mu (s),\,s \in [0,\infty )\), is a modulus of continuity, which provides an additional regularity of the right-hand side \(h=h(s)\) for \(s \in [0,\infty )\).
Definition 1
A function \(\mu : [0,\infty )\rightarrow [0,\infty )\) is called a modulus of continuity, if \(\mu \) is a continuous, concave and increasing function satisfying \(\mu (0)=0\).
Our goal is to discuss the influence of the function \(\mu \) on the global (in time) existence of small data Sobolev solutions or on statements for blow-up of Sobolev solutions to (3). In the following result, we assume that the modulus of continuity \(\mu \) given in (3) satisfies the following two conditions:
where C is a sufficiently large positive constant, \(s_0\) and \(C_0\) are sufficiently small positive constants.
Remark 2
In the further considerations we need a suitable modulus of continuity satisfying the conditions (4) on a small interval \([0,s_0]\) only. Nevertheless we can assume that the modulus of continuity can be continued to the real line in such a way that the properties from Definition 1 are satisfied.
Theorem 3
Let \(n=1,2\) and
where we denote by \(\lfloor \cdot \rfloor \) the floor function. Assume that the modulus of continuity \(\mu \) satisfies the condition (4). Then, the following statement holds for a sufficiently small \(\varepsilon _0>0\): if
then there exists a unique globally (in time) Sobolev solution u to (3) belonging to the function space
such that the following decay estimates are satisfied:
Remark 4
The key tool to prove Theorem 3 is to apply estimates for solutions to the parameter-dependent Cauchy problem for the linear classical damped wave equation (Lemma 7). By using more general \(L^r-L^q\) estimates, \(1\le r\le q\le \infty \), derived in [9] for the linear damped wave equation, one can also obtain a global (in time) existence result for higher dimensions n, but this aim is beyond the scope of this paper.
Example 1
The hypotheses of Theorem 3 hold for the following functions \(\mu \) (see also Remark 2) on a small interval \([0,s_0]\):
-
1.
\(\mu (s)=s^p,\, p \in (0,1]\);
-
2.
\(\mu (s)=(\log (1+s))^p,\, p \in (0,1]\);
-
3.
\(\mu (0)=0\) and \(\mu (s)=\Big (\log \frac{1}{s}\Big )^{-p},\, p>1\);
-
4.
\(\mu (0)=0\) and \(\mu (s)=\Big (\log \frac{1}{s}\Big )^{-1}\Big (\log \log \frac{1}{s}\Big )^{-1}\cdots \Big (\log ^{k} \frac{1}{s}\Big )^{-p},\,\, p>1,\,\, k \in {{\mathbb {N}}}\).
The next result shows that the integral condition on the function \(\mu \) in (4) can not be relaxed.
Theorem 5
Consider for \(n \ge 1\) the Cauchy problem
Here \(\mu =\mu (s),\,s \in [0,\infty )\) is a modulus of continuity which satisfies the condition
where \(C_0\) is a sufficiently small positive constant. Moreover, we assume that the function \(h: s \in {\mathbb {R}} \rightarrow h(s):=s^{1+\frac{2}{n}}\mu (s)\) is convex on \({\mathbb {R}}\). Suppose that the data
such that
Then, in general we have no global (in time) existence of Sobolev solutions even if the data are supposed to be very small in the following sense:
To prove Theorem 5 we will follow the approach used in [6] in which the authors get a sharp upper bound for the lifespan of solutions to some critical semilinear parabolic, dispersive and hyperbolic equations, by using a test function method.
Example 2
The hypotheses of Theorem 5 hold for the following functions \(\mu \) (see also Remark 2) on a small interval \([0,s_0]\):
-
1.
\(\mu (0)=0\) and \(\mu (s)=\Big (\log \frac{1}{s}\Big )^{-p}, 0 < p \le 1\);
-
2.
\(\mu (0)=0\) and \(\mu (s)=\Big (\log \frac{1}{s}\Big )^{-1}\Big (\log \log \frac{1}{s}\Big )^{-1}\cdots \Big (\log ^{k} \frac{1}{s}\Big )^{-p}, \, p\in (0,1], \ k \in {{\mathbb {N}}}\).
Remark 6
Let us discuss the assumption in Theorem 5 that the function
In the case of smooth \(\mu \), in a small right-sided neighborhood of \(s=0\), this hypothesis can be replaced by the condition
Indeed, it is sufficient to verify that on a small interval \((0,s_0]\)
This condition is satisfied in our examples. Outside this interval we can choose a convex continuation of h.
In the following we use \(f \lesssim g\) for nonnegative f and g if there exists a constant C with \(f \le C g\). We use \(f \sim g\) if \(f \le C_1 g\) and \(g \le C_2 f\) with suitable constants \(C_1\) and \(C_2\).
2 Global existence of small data solutions
In the proof of Theorem 3 we are going to use the following estimates for Sobolev solutions to the parameter-dependent Cauchy problem for the linear classical damped wave equation.
Lemma 7
(Lemma 1 in [8]) Let
Then, the Sobolev solutions to the Cauchy problem
satisfy the following estimates for \(t\ge 0\):
and for \( k=0,1, 1+\lfloor \frac{n}{2}\rfloor \)
Proof of Theorem 3
The space of Sobolev solutions is \(X(t)=C\big ([0,t], H^1({{\mathbb {R}}}^n)\cap L^{\infty }({{\mathbb {R}}}^n)\big )\). Taking into consideration the estimates of Lemma 7 we define on X(t) the norm
For arbitrarily given data \((\phi ,\psi )\in {\mathcal {A}}\) we introduce the operator
in X(t), where by \(u^{lin}\) we denote the solution to the linear parameter-dependent Cauchy problem (7) with initial data \((\phi ,\psi )\). By
we denote the Sobolev solution to the Cauchy problem (7) with \(\phi _s\equiv 0\) and \(\psi _s=h(u(s,\cdot ))\). We will prove that
where \(C_{\varepsilon _0}\) and \({\tilde{C}}_{\varepsilon _0}\) tend to 0 for \(\varepsilon _0\) to 0.
First of all we have after applying Lemma 7 for all \(t>0\) the estimate
where the constant \(C_0\) is independent of t. Consequently, it remains to estimate
For \(j=0,1\) we have
It holds
Thus, by using that
and the monotonicity of \(\mu =\mu (s)\) we get the following estimate:
Let us assume \(\Vert u\Vert _{X(t)}\le \varepsilon _0\) for all \(t>0\) and some \(\varepsilon _0>0\) sufficiently small. Then, since the norm in X(t) is increasing with respect to t, we can estimate the right-hand side of (11) by
Moreover, to estimate \(\Vert |u(s,\cdot )|^{1+\frac{2}{n}}\Vert _{L^1\cap L^2}\) we may apply the Gagliardo–Nirenberg inequality and obtain
and
Thus, we may conclude
To estimate \(\Vert G(u)(t,\cdot )\Vert _{L^\infty }\), the required regularity to the data increases with n, so we split the analysis for \(n=1\) and \(n=2\). For \(n=1\) we may estimate
and proceed as before to derive
For \(n=2\), applying Lemma 7 we may estimate
Now, we have to deal with a new term \(\Vert \nabla h(u(s,\cdot ))\Vert _{ L^2}\). Using (4), we may estimate
and
Therefore
Now, let \(\alpha \le 1\). On the one hand it holds
by using \((1+t-s)\sim (1+t)\) on [0, t / 2]. On the other hand
where we used \(1+s\sim 1+t\) and \(1+s > rsim 1+t-s\) on [t / 2, t].
By using the change of variables \(r=\varepsilon _0(1+s)^{-\frac{n}{2}}\), we get
that is finite, due to assumption (4). Summarizing, we arrive at
where \({\tilde{C}}_{\varepsilon _0}\) tends to 0 for \(\varepsilon _0\) to 0.
To derive a Lipschitz condition we recall
where
By using our assumption to \(\mu '=\mu '(s)\) we get
Here we take into consideration that \(|u|\le s_0\) with \(s_0\) from (4) for small data solutions. Applying Minkowski’s integral inequality, Lemma 7 and the monotonicity of \(d_{|u|}H(|u|)\) for small |u| gives
By using Hölder’s inequality we get
and
Thus, we can apply Gagliardo–Nirenberg as in (12) and (13) to get
Now we follow the same ideas presented above to conclude
where \(C'_{\varepsilon _0}\) tends to 0 for \(\varepsilon _0\) to 0.
To estimate \(\Vert Gu(t,\cdot )-Gv(t,\cdot )\Vert _{L^\infty }\), we again split the analysis for \(n=1\) and \(n=2\). For \(n=1\) we may proceed as we did to derive the estimates for \(\Vert \nabla _x^j (Gu(t,\cdot )-Gv(t,\cdot ))\Vert _{L^2}\) to conclude
where \(C'_{\varepsilon _0}\) tends to 0 for \(\varepsilon _0\) to 0.
For \(n=2\), applying Lemma 7 we may estimate
The only new term to be considered is
Using (4), we may estimate
and
Hence, we may estimate
where \(C'_{\varepsilon _0}\) tends to 0 for \(\varepsilon _0\) to 0.
Summarizing all the estimates implies
for any \(u,v\in X(t)\), where \(C_{\varepsilon _0}\) tends to 0 for \(\varepsilon _0\) to 0. Due to (14) the operator N maps X(t) into itself if \(\varepsilon _0\) is small enough. The existence of a unique global (in time) Sobolev solution u follows by contraction (15) and continuation argument for small data. \(\square \)
3 Non-existence result via test function method
Following the proof of Theorem 3, we obtain a local (in time) Sobolev solution \(u \in C\big ([0, T), H^1({{\mathbb {R}}}^n)\cap L^{\infty }({{\mathbb {R}}}^n)\big )\) to (5). For this reason we restrict ourselves to prove that this solution can not exist globally in time.
Proof of Theorem 5
We introduce the following functions:
where the function \(\eta =\eta (s)\) is supposed to belong to \(C^\infty [0,\infty )\). For \(R\ge R_0>0\), where \(R_0\) is a large parameter, we define for \( (t,x)\in [0,\infty ) \times {{\mathbb {R}}}^n\) the cut-off functions
We note that the support of \( \psi _R\) is contained in
The support of \( \psi ^*_R\) is contained in
We suppose that the Sobolev solution \(u=u(t,x)\) exists globally in time, that is, the lifespan is \(T=T(u)=\infty \). We define the functional
Then, by Eq. (5), after using integration by parts we arrive at
It holds
Thus, since \(0\le \eta \le 1\) and \(\eta ',\, \eta ''\) are bounded on \([0,\infty )\), there exists \(C>0\) such that for each \((t,x)\in \text{ supp }\, \psi _R\) it holds
Thus, we get
By applying Lemma 8 from the Appendix with \(\alpha \equiv 1\) we get
Taking account of
we arrive at the estimate
Notice that, since the modulus of continuity \(\mu \) is non-decreasing, we can estimate
Moreover,
Thus, thanks again to \(\mu \) to be a non-decreasing function, there exists \(h^{-1}\) and we may conclude
Let us define the functions
Then, it holds
Since \(\text {supp}\,\eta ^*\subset [1/2,1]\) and \(\eta ^*\) is a non-increasing function on its support, we obtain the estimate
Consequently, we may conclude
Moreover, we notice
Thus, by (16) and (17), we get
It follows
Thus, we have
For each \(R\ge R_0\), since \(Y=Y(r)\) is increasing we have \(Y(R)\ge Y(R_0)\). Thus, since \(\mu \) is non-decreasing, we have
Thus, we have
By integrating from \(R_0\) to R, we can conclude that there exist constants \(c_1\), \(c_2\) such that
Due to the assumption that \(u=u(t, x)\) exists globally in time it is allowed to form the limit \(R\rightarrow \infty \) in (18). But this produces a contradiction, due to the fact that the right-hand side is bounded and the modulus of continuity \(\mu \) satisfies condition (6). This completes our proof.
References
Ebert, M.R., Reissig, M.: Methods for Partial Differential Equations, Qualitative Properties of Solutions, Phase Space Analysis, Semi-linear Models. Birkhäuser, Cham (2018)
Fujita, H.: On the blowing up of solutions of the Cauchy Problem for \(u_t=\triangle u+u^{1+\alpha }\). J. Fac. Sci. Univ. Tokyo 13, 109–124 (1966)
Han, Y., Milani, A.: On the diffusion phenomenon of quasilinear hyperbolic waves. Bull. Sci. Math. 124, 415–433 (2000)
Ikehata, R., Ohta, M.: Critical exponents for semilinear dissipative wave equations in \({\mathbb{R}}^N\). J. Math. Anal. Appl. 269, 87–97 (2002)
Ikehata, R., Mayaoka, Y., Nakatake, T.: Decay estimates of solutions for dissipative wave equations in \({\mathbb{R}}^N\) with lower power nonlinearities. J. Math. Soc. Japan 56, 365–373 (2004)
Ikeda, M., Sobajima, M.: Sharp upper bound for lifespan of solutions to some critical semilinear parabolic, dispersive and hyperbolic equations via a test function method. Nonlinear Anal. 182, 57–74 (2019)
Marcati, P., Nishihara, K.: The \(L^p\)-\(L^q\) estimates of solutions to one-dimensional damped wave equations and their application to the compressible flow through porous media. J. Differ. Equ. 191, 445–469 (2003)
Matsumura, A.: On the asymptotic behavior of solutions of semi-linear wave equations. Publ. Res. Inst. Math. Sci. 12, 169–189 (1976)
Narazaki, T.: \(L^p-L^q\) estimates for damped wave equations and their applications to semilinear problem. J. Math. Soc. Japan 56, 586–626 (2004)
Nishihara, K.: \(L^p-L^q\) estimates for solutions to the damped wave equations in 3-dimensional space and their applications. Math. Z. 244, 631–649 (2003)
Pick, L., Kufner, A., John, O., Fucìk, S.: Function Spaces, De Gruyter Series in Nonlinear Analysis and Applications, vol. 1, p. 14. Walter de Gruyter Co., Berlin (2013)
Todorova, G., Yordanov, B.: Critical exponent for a nonlinear wave equation with damping. J. Differ. Equ. 174, 464–489 (2001)
Zhang, Qi S.: A blow-up result for a nonlinear wave equation with damping: the critical case. C. R. Acad. Sci. Paris Sér. I Math. 333, 109–114 (2001)
Acknowledgements
The discussions on this paper began during the time the third author spent a two weeks research stay in November 2018 at the Department of Mathematics and Computer Science of University of São Paulo, FFCLRP. The stay of the third author was supported by Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP), Grant 2018/10231-3. The second author contributed to this paper during a four months stay within Erasmus+ exchange program during the period October 2018 to February 2019. The first author have been partially supported by FAPESP, Grant Number 2017/19497-3.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Giga.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
In this section we include the following generalized version of Jensen inequality [11].
Lemma 8
Let \({\varPhi }\) be a convex function on \({{\mathbb {R}}}\). Let \(\alpha =\alpha (x)\) be defined and non-negative almost everywhere on \({\varOmega }\), such that \(\alpha \) is positive in a set of positive measure. Then, it holds
for all non-negative functions u provided that all the integral terms are meaningful.
Proof
Let \(\gamma >0\) be fixed. From the convexity of \({\varPhi }\) it follows that there exists \(k\in {{\mathbb {R}}}^1\), such that
Putting \(t=u(x)\) and multiplying the last inequality by \(\alpha (x)\), we get after integration over \({\varOmega }\) that
The statement follows by putting
Rights and permissions
About this article
Cite this article
Ebert, M.R., Girardi, G. & Reissig, M. Critical regularity of nonlinearities in semilinear classical damped wave equations. Math. Ann. 378, 1311–1326 (2020). https://doi.org/10.1007/s00208-019-01921-5
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-019-01921-5