Abstract
In this paper, we focus on studying the Cauchy problem for semilinear damped wave equations involving the sub-Laplacian \(\mathcal {L}\) on the Heisenberg group \(\mathbb {H}^n\) with power type nonlinearity \(|u|^p\) and initial data taken from Sobolev spaces of negative order homogeneous Sobolev space \(\dot{H}^{-\gamma }_{\mathcal {L}}(\mathbb {H}^n), \gamma >0\), on \(\mathbb {H}^n\). In particular, in the framework of Sobolev spaces of negative order, we prove that the critical exponent is the exponent \(p_{\text {crit}}(Q, \gamma )=1+\frac{4}{Q+2\gamma },\) for \(\gamma \in (0, \frac{Q}{2})\), where \(Q:=2n+2\) is the homogeneous dimension of \(\mathbb {H}^n\). More precisely, we establish
-
A global-in-time existence of small data Sobolev solutions of lower regularity for \(p>p_{\text {crit}}(Q, \gamma )\) in the energy evolution space;
-
A finite time blow-up of weak solutions for \(1<p<p_{\text {crit}}(Q, \gamma )\) under certain conditions on the initial data by using the test function method.
Furthermore, to precisely characterize the blow-up time, we derive sharp upper bound and lower bound estimates for the lifespan in the subcritical case.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and discussion on main results
1.1 Description of problem and background
In this study, our main aim is to determine a new critical exponent for the Cauchy problem for a semilinear damped wave equation with the power type nonlinearities as follows:
where \(\mathcal {L}\) is the sub-Laplacian on the Heisenberg group \(\mathbb {H}^n\), \(1<p<\infty \), and the initial data \((u_0, u_1)\) with its size parameter \(\varepsilon >0\) belongs to subelliptic (or Folland–Stein) homogeneous Sobolev spaces of negative order \(\left( u_0, u_1\right) \in {\dot{H}}_\mathcal {L}^{-\gamma }(\mathbb {H}^n) \times \dot{H}_\mathcal {L}^{-\gamma }(\mathbb {H}^n)\) with \(\gamma >0\). In other words, we study the global-in-time existence of small data solutions and the blow-up in finite time of solutions to the Cauchy problem (1.1).
To discuss the classical Euclidean scenario, let us consider the semilinear damped wave equation on \(\mathbb {R}^n\) with the power type nonlinearities as follows:
where \(1<p<\infty \) and \(\Delta \) is the Laplacian on \(\mathbb {R}^n\). When the initial data belongs additionally to \(L^1\)-space, the global existence or a blow-up result to (1.2), depending on the critical exponent has been studied in [21, 25, 38, 40] and references therein. The critical exponent signifies the threshold condition on the exponent p for the global-in-time Sobolev solutions and the blow-up of local-in-time weak solutions with small data. The critical exponent for solutions to (1.2) is the so-called Fujita exponent given by \(p_{\text {Fuji}}(n):=1+\frac{2}{n}\) (see [21, 25, 38, 40]). More precisely,
-
When \(n=1, 2\), Matsumura in his seminal paper [25] proved the global-in-time existence of small data solutions for \(p>p_{\text{ Fuji }}(n)\).
-
For any \(n \geqslant 1\), a global existence for \(p>p_{\text{ Fuji }}(n)\) (by assuming compactly supported initial data) and blow-up of the local-in-time solutions in the subcritical case \(1<p<p_{\text{ Fuji }}(n)\) was explored by Todorova and Yordanov [38].
-
For \(p=p_{\text{ Fuji }}(n),\) the blow-up result was obtained by Zhang [40].
Later, Ikehata and Tanizawa [21] removed the restriction of compactly supported data for the supercritical case \(p>p_{\text{ Fuji }}(n)\). Moreover, the sharp lifespan estimates for the Cauchy problem (1.2) with additional \(L^1\)-data assumption are given by
where C is a positive constant independent of \(\varepsilon \). We cite [17,18,19, 23, 24] for a detailed study on the sharp lifespan estimates for the Cauchy problem (1.2). We also refer to the excellent book [7] for the global-in-time small data solutions for the semilinear damped wave equations in the Euclidean framework.
In recent years, considerable attention has been devoted by numerous researchers to finding new critical exponents for the classical semilinear damped wave equations on \(\mathbb {R}^n\) in different contexts. For instance, considering the Cauchy problem (1.2) with initial data additionally belonging to \(L^m\)-spaces with \(m \in (1,2)\), the critical exponent is changed and the new modified Fujita exponent becomes
Unlike the \(L^1\)-data case, here with additional \(L^m\)-regular data, the global-in-time solution exists uniquely at the critical point \(p_{\text{ Fuji }}\left( \frac{n}{m}\right) =1+\frac{2 m}{n}\). This is the main difference between \(L^1\) and \(L^m\) regular data. We refer to [16, 20, 27] and references therein for a detailed study related to the critical exponent \(p_{\text{ Fuji }}\left( \frac{n}{m}\right) \) for the solutions to the semilinear wave equations with the \(L^m\)-regular data.
The study of the semilinear damped wave equation has also been extended in the non-Euclidean framework. Several papers have studied nonlinear PDEs in non-Euclidean settings in the last decades. For example, the semilinear wave equation with or without damping has been investigated for the Heisenberg group in [12, 26, 34]. In the case of graded groups, we refer to the recent works [13, 33, 34, 36]. We refer to [3, 6, 10, 28, 30, 31] concerning the wave equation on compact Lie groups and [1, 2, 22, 39] on a Riemannian symmetric space of noncompact type. In particular, for the semilinear damped wave equation on the Heisenberg group \(\mathbb {H}^n\), namely
where \(p>1\), \(\mathcal {L}\) is the sub-Laplacian on the Heisenberg group \(\mathbb {H}^n\), it was shown in [12] that the critical exponent is given by
where \(Q:=2n+2\) represents the homogeneous dimension of \(\mathbb {H}^n\). It is interesting to note that (1.4) is also the Fujita exponent for the semilinear heat equation
on \(\mathbb {H}^n,\) where \(p>1\). This topic has been discussed in [12, 13, 35]. However, in the case of a compact Lie group \(\mathbb {G}\), it has been shown in [28] that \(p_{\text{ Fuji }}(0):=\infty \) is the critical exponent for the solution to the semilinear damped wave equation on \(\mathbb {G}\). We cite [34] for a global existence result with small data in the more general setting of graded Lie groups for the semilinear damped wave equation involving a Rockland operator with an additional mass term.
Recently, Chen and Reissig [5] considered the following semilinear damped wave equation
on \(\mathbb {R}^n,\) where \(p>1\) and the initial data additionally belonging to homogeneous Sobolev spaces of negative order \(\dot{H}^{-\gamma }(\mathbb {R}^n)\) with \(\gamma >0\). They obtained a new critical exponent \(p = p_{\text {crit}}(n, \gamma ):= 1+ \frac{4}{n+2\gamma }\) for some \(\gamma \in (0, \frac{n}{2})\) in this framework. More specifically, the authors proved that:
-
For \(p>p_{\text {crit}}(n, \gamma ) \), the problem (1.5) admits a global-in-time Sobolev solution for sufficiently small data of lower regularity.
-
For \(1<p<p_{\text {crit}}(n, \gamma ) \), the solutions to (1.5) blow-up in a finite time. In other words, there exists \(T>0\) such that the solution to (1.5) satisfies \(\left\| u\left( \cdot , t_m\right) \right\| _{\infty } \rightarrow \infty \) as \(t_m \rightarrow T\).
Further, the authors also investigated sharp lifespan estimates for weak solutions to (1.5), in which the sharpness of lifespan estimates is given by
where C is a positive constant independent of \(\varepsilon \) and \(p^{\prime }\) is the Lebesgue exponent conjugate of p such that \(\frac{1}{p}+\frac{1}{p^{\prime }}=1\). We remark that some other technical assumptions on p and \(\gamma \) are also required to find the sharp lifespan estimate in the subcritical case.
To the best of our knowledge, in the non-Euclidean framework, the subelliptic damped wave equation on the Heisenberg group with initial data localized in Sobolev spaces of negative order has not been considered in the literature so far, even for the linear Cauchy problem. Therefore, an interesting and viable problem is to study several qualitative properties such as global-in-time well-posedness, blow-up criterion, decay rate, asymptotic profiles to solutions for the subelliptic damped wave equations on the Heisenberg group \(\mathbb {H}^n\) with initial data additionally belonging to subelliptic Sobolev space \({\dot{H}}_\mathcal {L}^{-\gamma }(\mathbb {H}^n)\) with \(\gamma >0\).
The main aim of this paper is to investigate and determine a critical exponent for the Cauchy problem for semilinear damped wave equation (1.1) with the initial data additionally belonging to subelliptic homogeneous Sobolev spaces \( \dot{H}_\mathcal {L}^{-\gamma }(\mathbb {H}^n)\) of negative order \( -\gamma \). More specifically,
-
Under additional assumptions for the initial data in \( {\dot{H}}_\mathcal {L}^{-\gamma }(\mathbb {H}^n)\), we obtain a new critical exponent to (1.1) given by
$$\begin{aligned} p_{\text{ crit } }(Q, \gamma ):=1+\frac{4}{Q+2 \gamma }, \end{aligned}$$(1.6)with \(\gamma \in { \left( 0, \frac{\sqrt{Q^2+16 Q}-Q}{4}\right) . }\)
-
We derive sharp lifespan estimates for weak solutions to the semilinear Cauchy problem (1.1). Define the lifespan \(T_\varepsilon \) as the maximal existence time for solution of (1.1), i.e.,
$$\begin{aligned} T_\varepsilon \,:\,=\,\Big \{ T>0~&:~ \text {there exists a unique local-in-time solution to the Cauchy} \nonumber \\&\text { problem}\, (1.1) \,\text {on}\, [0, T)\, \text {with a fixed parameter}~\varepsilon >0\Big \}. \end{aligned}$$(1.7)If the initial data is from \(\dot{H}_\mathcal {L}^{-\gamma }(\mathbb {H}^n)\) with \(\gamma \in \left( 0, {\tilde{\gamma }}\right) \) and the exponent p satisfies \(1+\frac{2 \gamma }{Q} \leqslant p \leqslant \frac{Q}{Q-2}\), then the new sharp lifespan estimates are given by
$$\begin{aligned} T_\varepsilon \left\{ \begin{array}{ll} =\infty &{} \text{ if } p>p_{\text{ crit } }(Q, \gamma ), \\ \simeq C \varepsilon ^{-\left( \frac{1}{p-1}-\left( \frac{Q}{4}+\frac{\gamma }{2}\right) \right) ^{-1}} &{} \text{ if } p<p_{\text{ crit } }(Q, \gamma ), \end{array}\right. \end{aligned}$$where the positive constant C is independent of \(\varepsilon .\)
1.2 Main results: comprehensive review
Throughout the paper, we denote \(L^{q}(\mathbb {H}^n), 1 \leqslant q<\infty \), the space of q-integrable functions on \(\mathbb {H}^n\) with respect to the Haar measure dg on \(\mathbb {H}^n,\) which is nothing but the Lebesgue measure of \(\mathbb {R}^{2n+1},\) and the space of all essentially bounded functions on \(\mathbb {H}^n\) for \(q=\infty \). The fractional subelliptic (Folland–Stein) Sobolev space \(H_{\mathcal {L}}^s(\mathbb {H}^n), s \in \mathbb {R}\), associated to the sub-Laplacian \(\mathcal {L}\) on \(\mathbb {H}^n\), is defined as
equipped with the norm
Similarly, we denote by \( {\dot{H}}_{\mathcal {L}}^{ s}(\mathbb {H}^n),\) the homogeneous Sobolev defined as the space of all \(f\in \mathcal {D}^{\prime }(\mathbb {H}^n)\) such that \((-\mathcal {L})^{{s}/{2}}f\in L^2(\mathbb {H}^n)\). At times, we also write \( H_{\mathcal {L}}^s\) and \( {\dot{H}}_{\mathcal {L}}^s\) for \(H_{\mathcal {L}}^s\left( \mathbb {H}^n\right) \) and \({\dot{H}}_{\mathcal {L}}^s\left( \mathbb {H}^n\right) ,\) respectively from here on.
For \((u_0, u_1)\in { \mathcal {A}_{\mathcal {L}}^{s, -\gamma }}:= (H^s_{\mathcal {L}} \cap {\dot{H}}^{-\gamma }_\mathcal {L} ) \times (L^2 \cap {\dot{H}}^{-\gamma }_\mathcal {L} )\), we denote \(\left\| \left( u_0, u_1\right) \right\| _{{ \mathcal {A}_{\mathcal {L}}^{s, -\gamma }}}\) as
Utilizing techniques derived from the noncommutative Fourier analysis on the Heisenberg group \(\mathbb {H}^n\), we present our initial finding regarding time decay estimates in the \({\dot{H}}_\mathcal {L}^s\)-norm of solutions to the homogeneous version of the Cauchy problem (1.1). This result is detailed below.
Theorem 1.1
Let \(\mathbb {H}^n\) be the Heisenberg group with the homogeneous dimension Q. Let \(\left( u_0, u_1\right) \in \left( H_\mathcal {L}^s \cap \dot{H}_\mathcal {L}^{-\gamma }\right) \times \left( H_\mathcal {L}^{s-1} \cap {\dot{H}}_\mathcal {L}^{-\gamma }\right) \) with \(s \geqslant 0\) and \(\gamma \in \mathbb {R}\) such that \(s+\gamma \geqslant 0\). Consider the following linear Cauchy problem
Then, the solution u satisfies the following \( {\dot{H}}_\mathcal {L}^s\)-decay estimate
for any \(t\geqslant 0\).
The next result is about the global-in-time well-posedness of the Cauchy problem (1.1) in the energy evolution space \({\mathcal {C}}\left( [0,T], H^s_{\mathcal {L}}\right) , s\in (0, 1]\). In this case, a version of a Gagliardo–Nirenberg type inequality on \(\mathbb {H}^n\) (see Sect. 2) will play a crucial role in estimating the power type nonlinearity in \(L^2(\mathbb {H}^n)\). Let us first make clear what do we mean by a solution of (1.1). For the global existence result, we will work with the mild solutions of (1.1).
We say that a function u is a mild solution to (1.1) on [0, T] if u is a fixed point for the integral operator \(N: u \in X_s(T) \mapsto N u(t, g),\) given by
in the energy evolution space \(X_s(T) \doteq \mathcal {C}\left( [0, T], H_{\mathcal {L}}^{s}(\mathbb {H}^n)\right) , s\in (0, 1]\), equipped with the norm
with \(\gamma >0,\) where
is the solution to the corresponding linear Cauchy problem (1.8) and
Here, \(*_{(g)}\) is the group convolution product on \(\mathbb {H}^n\) with respect to the g variable and \(E_{0}(t, g)\) and \(E_{1}(t, g)\) represent the fundamental solutions to the homogeneous problem (1.8) with initial data \(\left( u_{0}, u_{1}\right) =\left( \delta _{0}, 0\right) \) and \(\left( u_{0}, u_{1}\right) =\) \(\left( 0, \delta _{0}\right) \), respectively.
We prove the global-in-time existence and uniqueness of small data Sobolev solutions to the semilinear damped wave equation (1.1) of low regularity by finding a unique fixed point to the operator N, i.e., \(Nu\in X_s(T)\) for all \(T>0\). It means that there exists a unique global solution u to the equation \(N u=u\in X_s(T)\) which also gives the solution to (1.1). In order to prove that N has a uniquely determined fixed point, we use Banach’s fixed point argument on the space \(X_s(T)\) defined above.
Keeping \(p_{\text{ crit } }(Q, \gamma ) =1+\frac{4}{Q+2\gamma }\) in mind, we state the following global-in-time existence result.
Theorem 1.2
Let \(s \in (0,1]\) and \(\gamma \in \left( 0, \frac{Q}{2}\right) \). Assume that the exponent p satisfies \( 1<p \leqslant \frac{Q}{Q-2 s}\) and
where \({\tilde{\gamma }}\) denotes the positive root of the quadratic equation \(2 {\tilde{\gamma }}^2+Q {\tilde{\gamma }}-2 Q=0\). Then, there exists a small positive constant \(\varepsilon _0\) such that for any \(\left( u_0, u_1\right) \in \mathcal {A}_{\mathcal {L}}^{s,-\gamma }\) satisfying \(\left\| \left( u_0, u_1\right) \right\| _{\mathcal {A}_{\mathcal {L}}^{s,-\gamma }}=\varepsilon \in \left( 0, \varepsilon _0\right] \), the Cauchy problem for the semilinear damped wave equation (1.1) has a uniquely determined Sobolev solution
Therefore, the lifespan of the solution is given by \(T_\varepsilon =\infty \). Moreover, the solution satisfies the following two estimates listed below:
and
It is crucial to emphasize that there is no loss in the decay of the solution when transitioning from the linear to the nonlinear problem. In other words, the decay rates outlined in the preceding theorem align precisely with the decay rates established for the corresponding linearized damped wave equation, as presented in Theorem 1.1. However, the restriction \( 1< p\leqslant \frac{Q}{Q-2\,s}\) in the above theorem is necessary in order to apply a Gagliardo–Nirenberg type inequality on \(\mathbb {H}^n\).
Remark 1.3
Some examples for the admissible range of exponents p for the global-in-time existence result in the low dimensions Heisenberg group \(\mathbb {H}^n\) with \(n=1\) and 2, that is, \(Q=4\) and 6, respectively, are as follows:
-
When \(Q=4\), we take \(s \in (0,1]\) and \(\gamma \in (0, 2 )\) and the exponent satisfies
$$\begin{aligned} \begin{array}{l} 1+\frac{2}{2+ \gamma }<p \leqslant \frac{2}{2- s} ~\quad \text{ if } ~0<\gamma \leqslant {\tilde{\gamma }}={ \sqrt{5}-1}, \\ 1+\frac{ \gamma }{2} \leqslant p \leqslant \frac{2}{2- s} ~\quad \quad \text{ if } ~ { \sqrt{5}-1}<\gamma <2. \end{array} \end{aligned}$$ -
When \(Q=6\), we take \(s \in (0,1]\) and \(\gamma \in (0, 3)\) and the exponent satisfies
$$\begin{aligned} \begin{array}{l} 1+\frac{2}{3+ \gamma }<p \leqslant \frac{3}{3- s} ~\quad \text{ if } ~0<\gamma \leqslant {\tilde{\gamma }}={ \frac{\sqrt{33}-3}{2}}, \\ 1+\frac{ \gamma }{3} \leqslant p \leqslant \frac{3}{3- s} ~\quad \quad \text{ if } ~ { \frac{\sqrt{33}-3}{2}}<\gamma <3. \end{array} \end{aligned}$$
Note that the positive root \({\tilde{\gamma }}\) of \(2 {\tilde{\gamma }}^2+Q {\tilde{\gamma }}-2 Q=0\) is always strictly less than 2 for any homogeneous dimension Q.
Based on the aforementioned illustrations, it is clear that the global existence result, as stated in Theorem 1.2, is only pertinent to specific lower homogeneous dimensions. This constraint is due to the technical stipulation that \(1 < p \leqslant \frac{Q}{Q-2\,s}\). For global existence results in higher homogeneous dimensions, one can study Sobolev solutions by considering initial data from subelliptic Sobolev spaces with an appropriate degree of higher/large regularity.
Our next result is about a blow-up (in-time) result in the subcritical case to the Cauchy problem (1.1) for certain values of p, regardless of the size of the initial data. Before the blow-up result, we first introduce a suitable notion of a weak solution to the Cauchy problem (1.1).
Definition 1.4
For any \(T>0\), a weak solution of the Cauchy problem (1.1) in \([0, T) \times \mathbb {H}^n\) is a function \(u \in L_{\text{ loc } }^p\left( [0, T) \times \mathbb {H}^n\right) \) that satisfies the following integral relation:
for any \(\phi \in \mathcal {C}_{0}^{\infty }([0, T) \times \mathbb {H}^n)\). If \(T=\infty \), we call u to be a global-in-time weak solution to (1.1), otherwise u is said to be a local-in-time weak solution to (1.1).
Let \(|\cdot |\) be any homogeneous norm on the Heisenberg group \(\mathbb {H}^n\), while we denote \(\left( 1+|g|^2\right) ^{\frac{1}{2}}\) by the Japanese bracket \(\langle g\rangle \) for \(g \in \mathbb {H}^n\). Then, under some additional assumptions on the initial data, we have the following blow-up result.
Theorem 1.5
Let \(\gamma \in \left( 0, \frac{Q}{2}\right) \) and let the exponent p satisfy \(1<p<p_{\text{ crit } }(Q, \gamma )\). We also assume that the nonnegative initial data \(\left( u_0, u_1\right) \in {\dot{H}}_\mathcal {L}^{-\gamma } \times {\dot{H}}_\mathcal {L}^{-\gamma }\) satisfies
where \(C_0>0\) is a fixed constant. Then, there is no global (in time) weak solution to the Cauchy problem (1.1).
Moreover, the lifespan \(T_{w,\varepsilon }\) of local (in time) weak solutions to the Cauchy problem (1.1) satisfies the following upper bound estimate
where C is a positive constant independent of \(\varepsilon \).
From Theorems 1.2 and 1.5, we can conclude that the critical exponent for the semilinear damped wave equation (1.1) is \(p_{\text{ crit } }(Q, \gamma ):=1+\frac{4}{Q+2 \gamma }\) (see (1.6)) when initial data are additionally taken from the negative order Sobolev space \( {\dot{H}}_\mathcal {L}^{-\gamma }, \gamma >0\). It gives us a new way to look at the critical exponent for the semilinear damped wave equation in Sobolev space with a negative order. Indeed, we can interpret the exponent \(p_{\text{ crit } }(Q, \gamma )\) as a modification of the exponent \(p_{\text{ Fujita } }\left( \frac{Q}{2}\right) =1+\frac{4}{Q}\) (which would correspond to the critical exponent with only \(L^2\) regularity for the Cauchy data) by working with even weaker regularity (\(H_{\mathcal {L}}^{-\gamma }\) regularity), the critical exponent becomes even smaller \(p_{\text{ crit } }(Q, \gamma )=1+\frac{4}{Q+2 \gamma }\). Since, we are working with less regularity for the data, the decay rates in the estimates for the solutions of the homogeneous problem improve and the Banach fixed point theorem holds for a larger range of p.
The behavior of the Cauchy problem at the critical case \(p=p_{\text{ crit } }(Q, \gamma ) \) remains uncertain, as it is unclear whether a global (in time) small data Sobolev solutions exist or the weak solutions will blow-up.
In the next remark, particularly, we consider \(s=1\) for Theorem 1.2 and 1.5 to give a rough idea about the critical exponent.
Remark 1.6
Due to the applications of Gagliardo–Nirenberg inequality, we have the technical restriction on the exponent \(1<p \leqslant \frac{Q}{Q-2}\). Consequently, the ranges of exponent p for global-in-time existence and blow-up are as follows.
-
When \(Q=4,6\)
-
blow-up of weak solutions if \(1<p<p_{\text{ crit } }(Q, \gamma )\),
-
and global-in-time existence of Sobolev solutions if
$$\begin{aligned} p_{\text{ crit } }(Q, \gamma )<p \leqslant \frac{Q}{Q-2}, \qquad \text {for}~0<\gamma \leqslant {\tilde{\gamma }}, \end{aligned}$$as well as
$$\begin{aligned} 1+\frac{2 \gamma }{Q} \leqslant p \leqslant \frac{Q}{Q-2}, \qquad \text {for}~{\tilde{\gamma }}<\gamma <\frac{Q}{2}. \end{aligned}$$
-
-
When \(Q\geqslant 8\), from Theorem 1.2, the set of admissible exponents p is completely empty.
For a detailed analysis of the critical exponent which depends on the parameter \(\gamma \) and Q, we can describe it by the \((\gamma , p) \) plane in Fig. 1. In Fig. 1, with an increase of the homogeneous dimension Q of \(\mathbb {H}^n\), the curve \(p=p_{\text{ crit } }(Q, \gamma )\) and the segment \(p=1+\frac{2 \gamma }{Q}\) will move following the direction of \(\nearrow \) and \(\nwarrow \) lines arrows, respectively.
The formulations of Theorems 1.2 and 1.5 for \(s=1\) also give the critical index for regularity of initial data that belongs additionally to \( {\dot{H}}_\mathcal {L}^{-\gamma }\) with \(0<\gamma <{\tilde{\gamma }} \). Specifically, for \(1+\frac{2}{Q}<p<1+\frac{4}{Q}\), the critical index is given by \(\gamma _{\text{ crit } }(p, Q):=\frac{2}{p-1}-\frac{Q}{2}\). Regarding the initial data that also additionally belongs to \( {\dot{H}}_\mathcal {L}^{-\gamma }\) with \(\gamma >0\),
-
then local (in-time) weak solutions in general blow-up in finite time for \(0<\gamma <\gamma _{\text{ crit } }(p, Q)\);
-
then the global (in-time) small data Sobolev solutions exists uniquely for \(\gamma _{\text{ crit } }(p, Q)<\gamma <\min \{{\tilde{\gamma }}, \frac{Q}{2} \}\).
From Theorem 1.5, for \(1< p < p_{\text{ crit } }(Q, \gamma )\), we know that the non-trivial local (in time) weak solution blow-up in finite time and we have the following upper bound estimates for the lifespan
Now, it is important to investigate the lower bound estimates for the lifespan.
To thoroughly examine the lifespan, it is essential to consider the precise definition of mild solutions to the Cauchy problem (1.1) on [0, T) with \(T > 0\) for \(u \in C([0,T),H_\mathcal {L}^1)\). Let \(T_{m,\varepsilon }\) be the lifespan of a mild solution u. Then, we have the following result regarding the lower bound for the lifespan.
Theorem 1.7
Let \(\gamma \in (0, {\tilde{\gamma }} ) \) and let the exponent p satisfy \(1<p<p_{\text{ crit } }(Q, \gamma )\) such that
We also assume that \(\left( u_0, u_1\right) \in \mathcal {A}_1^{\mathcal {L}}\). Then, there exists a constant \(\varepsilon _0\) such that for every \(\varepsilon \in \left( 0, \varepsilon _0 \right] \), the lifespan \(T_{m, \varepsilon }\) of mild solutions u to the Cauchy problem (1.1) satisfies the following lower bound condition:
where D is a positive constant independent of \(\varepsilon \), but may depends on \(p, Q, \gamma \) as well as \(\left\| \left( u_0, u_1\right) \right\| _{\mathcal {A}_1^{\mathcal {L}}}\).
Since u in Theorem 1.2 is a mild solution to (1.1), this mild solution is also a weak solution to (1.1) (according to a density argument) with timespan \( T_{m,\varepsilon }\leqslant T_\varepsilon \). Once more drawing on Theorems 1.5 and 1.7, for \(1<p<p_{\text{ crit } }(Q, \gamma )\), we claim a sharp estimate for the lifespan \(T_\varepsilon \) as stated below
for \(\gamma \in (0, \min \{2, \frac{Q}{2} \} )\). Moreover, the lifespan estimate mentioned above agrees with the one for additional \(L^1\)-regular data when particularly we consider \(\gamma =\frac{Q}{2}\).
Remark 1.8
One interesting observation is to discuss the acceptable ranges for p so that we can get sharp lifespan estimates. This can be summed up as follows:
-
when \(Q=4\), for \(1+\frac{2 \gamma }{Q} \leqslant p<p_{\text{ crit } }(Q, \gamma )\) and \(0<\gamma \leqslant \frac{-Q+\sqrt{Q^2+16 Q}}{4}\), we can achieve sharp lifespan estimates;
-
When \(Q=6\), for \(1+\frac{2 \gamma }{Q} \leqslant p<p_{\text{ crit } }(Q, \gamma )\) with \(p \leqslant \frac{Q}{Q-2}\) and \(0<\gamma \leqslant \frac{-Q+\sqrt{Q^2+16 Q}}{4}\), sharp lifespan estimates can be achieved;
-
when \(Q \geqslant 8\), for \(1+\frac{2 \gamma }{Q} \leqslant p \leqslant \frac{Q}{Q-2}\) and \(0<\gamma \leqslant \frac{Q}{Q-2}\), we can achieve sharp lifespan estimates.
We conclude the introduction with a brief outline of the organization of the paper. In Sect. 1, we discuss the main results and their explanations related to the critical exponent \(p_{\text {crit}}(Q, \gamma )\) and sharp lifespan estimates for weak solutions to Cauchy problem (1.1) when initial data taken additionally from \( \dot{H}_\mathcal {L}^{-\gamma }\). Section 2 is devoted to recalling some basics of the Fourier analysis on the Heisenberg group \(\mathbb {H}^n\) to make the paper self-contained. Using the Fourier analysis on the Heisenberg group \(\mathbb {H}^n\), we derive \(\dot{H}^s_{\mathcal {L}}(\mathbb {H}^n)\)-decay estimates for the solution to the linear damped wave equation (1.1) with vanishing right-hand side in Sect. 3. Using the \(\dot{H}^s_{\mathcal {L}}(\mathbb {H}^n)\)-decay estimates for the solution to a linear damped wave equation, we demonstrate global-in-time well-posedness for the semilinear Cauchy problem (1.1) if \(p>p_{\text{ crit } }(Q, \gamma )\) with the help of Banach’s fixed point argument in Sect. 4. In order to estimate the nonlinear term in \({\dot{H}}_\mathcal {L}^{-\gamma }(\mathbb {H}^n)\), we use Sobolev inequality and the Gagliardo–Nirenberg inequality on the Heisenberg group \(\mathbb {H}^n\). In Sect. 5, by employing the test function method, we conclude the optimality by showing the blow-up of weak solutions even for small data for the range \(1<p<p_{\text{ crit } }(Q, \gamma )\). As a byproduct, we also obtain upper bound estimates for the lifespan. We conclude our paper by deriving the sharp lower bound estimates for the lifespan of mild solutions in Sect. 6 by using the method of contradiction.
2 Preliminaries: analysis on the Heisenberg group \(\mathbb {H}^n\)
In this section, we recall some basics of the Fourier analysis on the Heisenberg groups \(\mathbb {H}^n\) to make the manuscript self-contained. A complete account of the representation theory on \(\mathbb {H}^n\) can be found in [8, 12, 13, 32, 34, 37]. However, we mainly adopt the notation and terminology given in [8] for convenience. We commence this section by establishing the notations that will be employed consistently throughout the paper.
2.1 Notations
Throughout the article, we use the following notations:
-
\(f \lesssim g:\) There exists a positive constant C (whose value may change from line to line in this manuscript) such that \(f \leqslant C g.\)
-
\(f \simeq g\): Means that \(f \lesssim g\) and \(g \lesssim f\).
-
\(\mathbb {H}^n:\) The Heisenberg group.
-
Q: The homogeneous dimension of \(\mathbb {H}^n\).
-
dg: The Haar measure on the Heisenberg group \(\mathbb {H}^n.\)
-
\(\mathcal {L}:\) The sub-Laplacian on \(\mathbb {H}^n.\)
-
\({H}_\mathcal {L}^{-\gamma }\): The subelliptic Sobolev spaces of negative order with \(\gamma >0\) on \(\mathbb {H}^n\).
2.2 The Hermite operator
In this subsection, we recall some definitions and properties of Hermite functions which we will use frequently in order to study Schrödinger representations and sub-Laplacian on the Heisenberg group \(\mathbb {H}^n\). We start with the definition of Hermite polynomials on \(\mathbb {R}.\)
Let \(H_k\) denote the Hermite polynomial on \(\mathbb {R}\), defined by
and \(h_k\) denote the normalized Hermite functions on \(\mathbb {R}\) defined by
The Hermite functions \(\{h_k \}\) are the eigenfunctions of the Hermite operator (or the one-dimensional harmonic oscillator) \(H=-\frac{\hbox {d}^2}{\hbox {d}x^2}+x^2\) with eigenvalues \(2k+1, k=0, 1, 2, \cdots \). These functions form an orthonormal basis for \(L^2(\mathbb {R})\). The higher-dimensional Hermite functions denoted by \(e_{k}\) are then obtained by taking tensor products of one-dimensional Hermite functions. Thus for any multi-index \(k=(k_1, \ldots , k_n) \in \mathbb {N}_0^n\) and \(x =(x_1, \ldots , x_n)\in \mathbb {R}^n\), we define \(e_{k}(x)=\prod _{j=1}^{n}h_{k_j}(x_j).\) The family \(\{e_{k}\}_{k\in \mathbb {N}^n_0}\) is then an orthonormal basis for \(L^2(\mathbb {R}^n)\). They are eigenfunctions of the Hermite operator \(\textrm{H}=-\Delta +|x|^2\), namely, we have an ordered set of natural numbers \(\{\mu _k\}_{k \in \mathbb {N}_0^n}\) such that
for all \(k\in \mathbb {N}_0^n\) and \(x\in \mathbb {R}^n\). More precisely, \(\textrm{H}\) has eigenvalues
corresponding to the eigenfunction \(e_{k}\) for \(k\in \mathbb {N}_0^n.\)
Given \(f \in L^{2}(\mathbb {R}^{n})\), we have the Hermite expansion
where \(P_{m}\) denotes the orthogonal projection of \(L^{2}(\mathbb {R}^{n})\) onto the eigenspace spanned by \(\{e_{k}:|k|=m\}.\) Then, the spectral decomposition of H on \(\mathbb {R}^n\) is given by
Since 0 is not in the spectrum of H, for any \(s \in \mathbb {R}\), we can define the fractional powers \(H^s\) by means of the spectral theorem, namely
2.3 The Heisenberg group
One of the simplest examples of a noncommutative and noncompact group is the famous Heisenberg group \(\mathbb {H}^n\). The theory of the Heisenberg group plays a crucial role in several branches of mathematics and physics. The Heisenberg group \(\mathbb {H}^n\) is a nilpotent Lie group whose underlying manifold is \( \mathbb {R}^{2n+1} \) and the group operation is defined by
where (x, y, t), \( (x^{\prime }, y^{\prime }, t^{\prime })\) are in \(\mathbb {R}^n \times \mathbb {R}^n \times \mathbb {R}\) and \(xy^{\prime }\) denotes the standard scalar product in \(\mathbb {R}^n\). Moreover, \(\mathbb {H}^n\) is a unimodular Lie group on which the left-invariant Haar measure dg is the usual Lebesgue measure \(\, \hbox {d}x \, \hbox {d}y \,\hbox {d}t\).
The canonical basis for the Lie algebra \(\mathfrak {h}_n\) of \(\mathbb {H}^n\) is given by the left-invariant vector fields:
which satisfy the commutator relations \([X_{i}, Y_{j}]=\delta _{ij}T, \quad \text {for} ~i, j=1, 2, \dotsc n.\)
Moreover, the canonical basis for \(\mathfrak {h}_n\) admits the decomposition \(\mathfrak {h}_n=V\oplus W,\) where \(V={\text {span}}\{X_j, Y_j\}_{j=1}^n\) and \(W={\text {span}} \{T\}\). Thus, the Heisenberg group \(\mathbb {H}^n\) is a step 2 stratified Lie group and its homogeneous dimension is \(Q:=2n +2\). The sublaplacian \(\mathcal {L}\) on \(\mathbb {H}^n\) is defined as
where \(\Delta _{\mathbb {R}^{2n}}\) is the standard Laplacian on \(\mathbb {R}^{2n}.\)
2.4 Fourier analysis on the Heisenberg group \(\mathbb {H}^n\)
We start this subsection by recalling the definition of the operator-valued group Fourier transform on \(\mathbb {H}^n\). By Stone–von Neumann theorem, the only infinite-dimensional unitary irreducible representations (up to unitary equivalence) are given by \(\pi _{\lambda }\), \(\lambda \) in \(\mathbb {R}^*\), where the mapping \(\pi _{\lambda }\) is a strongly continuous unitary representation defined by
for all \( f \in L^2(\mathbb {R}^n).\) We use the convention
For each \({\lambda } \in \mathbb {R}^*\), the group Fourier transform of \(f\in L^1(\mathbb {H}^n)\) is a bounded linear operator on \(L^2(\mathbb {R}^n)\) defined by
Let \(B(L^2(\mathbb {R}^n))\) be the set of all bounded operators on \(L^2(\mathbb {R}^n)\). As the Schrödinger representations are unitary, for any \(\lambda \in \mathbb {R}^*\), we have
If \(f \in L^2(\mathbb {H}^n)\), then \({\widehat{f}}(\lambda )\) is a Hilbert–Schmidt operator on \(L^2(\mathbb {R}^n)\) and satisfies the following Plancherel formula
where \(\Vert . \Vert _{S_2}\) stands for the norm in the Hilbert space \(S_2\), the set of all Hilbert–Schmidt operators on \(L^2(\mathbb {R}^n)\) and \(\hbox {d}\mu (\lambda )=c_n {|\lambda |}^n \, d\lambda \) with \(c_n\) being a positive constant.
Therefore, with the help of the orthonormal basis \(\left\{ e_k\right\} _{k \in \mathbb {N}_0^n}\) for \(L^2\left( \mathbb {R}^n\right) \) and the definition of the Hilbert–Schmidt norm, we have
The above expression allows us to write the Plancherel formula in the following way:
For \(f \in \mathcal {S}(\mathbb {H}^n)\), the space of all Schwartz class functions on \(\mathbb {H}^n,\) the Fourier inversion formula takes the form
where \({\text {Tr(A)}}\) denotes the trace of the operator A.
Furthermore, the action of the infinitesimal representation \(d\pi _\lambda \) of \(\pi _\lambda \) on the generators of the first layer of the Lie algebra \(\mathfrak {h}_n\) is given by
Since the action of \(\;\hbox {d}\pi _\lambda \) can be extended to the universal enveloping algebra of \(\mathfrak {h}_n\), combining the above two expressions, we obtain
where \(\textrm{H} =-\Delta +|x|^2\) is the Hermite operator on \(\mathbb {R}^n\). Thus, the operator-valued symbol \(\sigma _\mathcal {L}(\lambda )\) of \(\mathcal {L}\) acting on \(L^2(\mathbb {R}^n)\) takes the form \(\sigma _\mathcal {L}(\lambda )=-|\lambda | \textrm{H}.\) Furthermore, for \(s \in \mathbb {R}\), using the functional calculus, the symbol of \((-\mathcal {L})^s \) is \(|\lambda |^s \textrm{H}^s,\) where the notion of \(\textrm{H}^s\) is defined in (2.1).
The Sobolev spaces \(H_{\mathcal {L}}^s, s \in \mathbb {R}\), associated to the sublaplacian \(\mathcal {L}\), are defined as
with the norm
Similarly, we denote by \( {\dot{H}}_{\mathcal {L}}^{ s}(\mathbb {H}^n),\) the homogeneous Sobolev defined as the space of all \(f\in \mathcal {D}^{\prime }(\mathbb {H}^n)\) such that \((-\mathcal {L})^{{s}/{2}}f\in L^2(\mathbb {H}^n)\). More generally, we define \( {\dot{H}}_{\mathcal {L}}^{p, s}(\mathbb {H}^n)\) as the homogeneous Sobolev defined as the space of all \(f\in \mathcal {D}^{\prime }(\mathbb {H}^n)\) such that \((-\mathcal {L})^{{s}/{2}}f\in L^p(\mathbb {H}^n)\) for \(s <\frac{Q}{p}\). Then, we recall the following important inequalities, see, e.g., [4, 8, 14, 15, 34] for a more general graded Lie group framework. However, we will state those in the Heisenberg group setting.
Theorem 2.1
(Hardy–Littlewood–Sobolev inequality) Let \(\mathbb {H}^n\) be the Heisenberg group with the homogeneous dimension \(Q:=2n+2\). Let \(a\geqslant 0\) and \(1<p\leqslant q<\infty \) be such that
Then we have the following inequality
We have the Gagliardo–Nirenberg inequality on \(\mathbb {H}^n\) as follows:
Theorem 2.2
(Gagliardo–Nirenberg inequality) Let Q be the homogeneous dimension on the Heisenberg group \(\mathbb {H}^n\). Assume that
Then, we have the following Gagliardo–Nirenberg type inequality,
for \(\theta =\left( \frac{1}{2}-\frac{1}{q}\right) /{\left( \frac{s}{Q}+\frac{1}{2}-\frac{1}{r}\right) }\in [0,1]\), provided \(\frac{s}{Q}+\frac{1}{2}\ne \frac{1}{r}\).
3 Linear damped wave equations: \({\dot{H}}_{\mathcal {L}}^s(\mathbb {H}^n)\)-norm estimates
In this section, as a preliminary step in preparing to investigate the local and global well-posedness of the nonlinear Cauchy problem (1.1), we examine its associated linear counterpart, which involves a vanishing right-hand side. Specifically, our attention is directed toward the decay properties of solutions, in which our proofs are slightly different from the known results. Let us consider the Cauchy problem
where \(u_{0}(g)\) and \(u_{1}(g)\) are the initial data additionally belonging to subelliptic Sobolev space \(\dot{H}_{\mathcal {L}}^{-\gamma }(\mathbb {H}^n)\) of negative order. We will derive \(\dot{H}_{\mathcal {L}}^s(\mathbb {H}^n)\)-norm estimates for the solution \(u(t, \cdot )\) to the homogeneous problem (3.1). We make use of the group Fourier transform on the Heisenberg group \(\mathbb {H}^n\), specifically with respect to the spatial variable g, and combine it with the Plancherel identity to estimate the \(\dot{H}_{\mathcal {L}}^s(\mathbb {H}^n)\)-norm. We refer to [29], where a similar approach has been carried out for the \(L^2\)-estimates of the solution to the damped wave equation (3.1) on the Heisenberg group \(\mathbb {H}^n\).
Given that the group Fourier transform of a function \(f \in L^2\left( \mathbb {H}^n\right) \) is no longer a function but a family of bounded linear operators \(\{{\widehat{f}}(\lambda )\}_{\lambda \in \mathbb {R}^*}\) on \(L^2\left( \mathbb {R}^n\right) \), the proofs are more involved and do not follow as in the Euclidean setup. We overcome this obstacle by using a trick to project these operators by using the orthonormal basis \(\left\{ e_k\right\} _{k \in \mathbb {N}^n}\) of \(L^2(\mathbb {R}^n)\), namely, by working with the Fourier coefficients \( \left\{ \left( {\widehat{f}}(\lambda ) e_k, e_{\ell }\right) _{L^2\left( \mathbb {R}^n\right) }\right\} _{k, \ell \in \mathbb {N}^n} \) for the Fourier transform \({\widehat{f}}(\lambda )\) for each \(\lambda \in \mathbb {R}^*.\)
Invoking the group Fourier transform with respect to g on (3.1), we get a Cauchy problem related to a parameter-dependent functional differential equation for \( {\widehat{u}}(t,\lambda ),\) namely,
where \(\sigma _{\mathcal {L}}(\lambda )\) is the symbol of the sub-Laplacian \(\mathcal {L}\) on \(\mathbb {H}^n\). In fact, we know that \(\sigma _{\mathcal {L}}(\lambda )=-|\lambda | \textrm{H}\). For any \( k, \ell \in \mathbb {N}^n\), let us introduce the notation
where \(\left\{ e_k\right\} _{k \in \mathbb {N}^n}\) is the system of Hermite functions forming an orthonormal basis of \(L^2(\mathbb {R}^n)\). Since \(\textrm{H} e_k=\mu _k e_k\), \({\widehat{u}}(t, \lambda )_{k, \ell }\) solves an ordinary differential equation with respect to the variable t depending on parameters \(\lambda \in \mathbb {R}^*\) and \(k, \ell \in \mathbb {N}^n,\)
where \(\beta _{k, \lambda }^{2 } =|\lambda |\mu _k.\) Then, the characteristic equation of (3.3) is given by
and so the characteristic roots \(m_1\) and \(m_2\) are \(\frac{-1- \sqrt{1-4\beta _{k, \lambda }^{2 }}}{2} \) and \(\frac{-1+ \sqrt{1-4\beta _{k, \lambda }^{2 }}}{2},\) respectively.
Observe that, for \(|\beta _{k, \lambda }| \ll 1\), we get
Again, for \(|\beta _{k, \lambda }| \gg 1\), we obtain
We collect the above easy observations as the following relations:
-
\(m_1=-1+\mathcal {O}\left( \beta _{k, \lambda }^{2 }\right) , m_2=-\beta _{k, \lambda }^{2 }+\mathcal {O}\left( \beta _{k, \lambda }^4\right) \) for \(|\beta _{k, \lambda }|<\varepsilon \ll 1\);
-
\(m_{1}= - i|\beta _{k, \lambda }|-\frac{1}{2}+\mathcal {O}\left( |\beta _{k, \lambda }|^{-1}\right) \) and \(m_{2}= i|\beta _{k, \lambda }|-\frac{1}{2}+\mathcal {O}\left( |\beta _{k, \lambda }|^{-1}\right) \) for \(|\beta _{k, \lambda }|>N \gg 1\);
-
\(\text {Re}( m_{1})<0\) and \(\text {Re}( m_{2})<0\) for \(\varepsilon \leqslant |\beta _{k, \lambda }| \leqslant N\).
Therefore, the solution to the homogeneous problem (3.3) is given by
where
and
Thus from the above collected observations and asymptotic expression, we deduce the following pointwise estimates
and
for some suitable positive constant c.
Before finding the Sobolev norm of \(u(t, \cdot )\), first we notice that, for \( \beta _{k, \lambda }^2 = |\lambda | \mu _k<\varepsilon ^2\), we have
Now by using the Plancherel formula and the fact that \(\{e_k\}_{k\in \mathbb {N}^n}\) is an orthonormal basis of \(L^2(\mathbb {R}^n)\), we have
where
and
Case 1: When \(|\beta _{k, \lambda }|<\varepsilon \ll 1\): Recalling that \(\beta _{k, \lambda }^2=|\lambda | \mu _k\) and using (3.9) and (3.11), we get
Similarly, using (3.10) and (3.11) we can find that
Case 2: When \(|\beta _{k, \lambda }|>N \gg 1\): Again using (3.9) we get
Also, with the help of (3.10) we find that
Case 3: When \(\varepsilon \leqslant |\beta _{k, \lambda }|\leqslant N\): From (3.9) and (3.10), we get
and
Proof of Theorem 1.1
Combining above Case 1 [(3.13) and (3.14)], Case 2 [(3.15) and (3.16)], and Case 3 [(3.17) and (3.18)], we obtain the following \( \dot{H}_\mathcal {L}^s\)-decay estimate
for any \(t\geqslant 0\). \(\square \)
4 Global-in-time well-posedness
In this section, we will prove Theorem 1.2, that is, the global-in-time well-posedness of the Cauchy problem (1.1) in the energy evolution space \(\mathcal C\left( [0,T], H^s_{\mathcal {L}}(\mathbb {H}^n)\right) \).
Proof of Theorem 1.2
Recall that for \(s \geqslant 0\) and \(\gamma \in \mathbb {R}\) such that \(s+\gamma \geqslant 0\), from the estimate (1.9) of Theorem 1.1, we have
In particular, for \(\gamma =0\) and \(s \geqslant 0,\) we get
From (4.1), in particular for \(s \in [0, 1]\) and \(\gamma >0\) we have the following estimate for the Sobolev solutions of the linear Cauchy problem
where we have used the Sobolev embedding \(L^2\subset H_\mathcal {L}^{s-1}\) for \(s\leqslant 1\). Particularly, for \(s=0\) in (4.3), using the Sobolev embedding \( H_\mathcal {L}^{s} \subset L^2\) for \(s\geqslant 0\), we obtain
Now from (4.3) and (4.4), for \( s\in (0, 1]\), we can write
Thus from above, we can claim that \(u \in X_s(T)\) and
Our next aim is to prove
under some conditions for p. First we will estimate \(L^2\) and \(\dot{H}^{-\gamma }_{\mathcal {L}}\) norm of \(|u(t, \cdot )|^p\). Applying Gagliardo–Nirenberg inequality (Theorem 2.2), we have
for \(\sigma \in [0, T]\) with \(\theta _1=\frac{Q}{2\,s}(1-\frac{1}{p})\in [0, 1]\), provided that
On the other hand, using the Hardy–Littlewood–Sobolev inequality (Theorem 2.1), we have
with \(\frac{1}{m}-\frac{1}{2}=\frac{\gamma }{Q}\) provided that \(0<\gamma <Q\) and \(1<m<2\). Since \(m \in (1,2)\), we have to restrict \(0<\gamma <\frac{Q}{2}\). Again, the Gagliardo–Nirenberg inequality (Theorem 2.2) implies that
for \(\sigma \in [0, T]\) with \(\theta _2=\frac{Q}{s}(\frac{1}{2}-\frac{1}{mp})\in [0, 1]\). Using the fact that \(\theta _2\in [0, 1]\), we get
Since \(m=\frac{2Q}{Q+2\gamma }\in (1, 2)\), from (4.9), we obtain
Therefore, from (4.7) and (4.10), if we consider
then from (4.6) and (4.8), for \(\sigma \in [0, T]\), we assert that
Using the \( (L^2 \cap {\dot{H}}_\mathcal {L}^{-\gamma } )-L^2\) estimate given in (4.3) (with \(u_0=0\), \(u_1= |u(\sigma ,\cdot )|^p\)) as well as from the statement (4.11), we have the following \(L^2\)-estimate of the solution
For \(p>1+\frac{4}{Q+2 \gamma },\) the integral given in (4.12) converges uniformly over \(\left[ 0, \frac{t}{2}\right] \). Now we will compute the integral given in (4.13) precisely. Now
Thus by considering \(p>1+\frac{4}{Q+2 \gamma }\) if \(\gamma \leqslant 2\) and using the integral estimate (4.14), we get
Again by considering \(p>1+\frac{2 \gamma }{Q+2 \gamma }\) if \(\gamma >2\) and using the integral estimate (4.14), a simple calculation yields
Summarizing all the estimates, it holds that
Now we will estimate \({\dot{H}}_\mathcal {L}^s\)-norm of the solution. Similar to the previous argument, we use \(\left( L^2 \cap \dot{H}_\mathcal {L}^{-\gamma }\right) -{\dot{H}}_\mathcal {L}^s\) estimate (4.3) in \(\left[ 0, \frac{t}{2}\right] \) and the \(L^2-\dot{H}_\mathcal {L}^s\) estimate (4.2) in \(\left[ \frac{t}{2}, t\right] \) to estimate the solution itself in \(\dot{H}_\mathcal {L}^s\). Thus,
For \(p>1+\frac{4}{Q+2 \gamma }\), summarizing as previously, we have
Therefore from (4.17) and (4.15), we obtain
under the conditions on p as follows:
-
\( 1< p \leqslant \frac{Q}{Q-2\,s}\), from the application of the Gagliardo–Nirenberg inequality,
-
\(p>1+\frac{4}{Q+2 \gamma }\) if \(\gamma \leqslant 2\),
-
\(p>1+\frac{2 \gamma }{Q+2 \gamma }\) if \(\gamma >2\), from the integrability and decay estimates of solution.
-
\(p \geqslant 1+\frac{2 \gamma }{Q}\), from the application of the Gagliardo–Nirenberg inequality.
First, we consider the case \(\gamma >2.\) Then, we observe that
Now for \(\gamma \leqslant 2\), we have to compare between \(1+\frac{4}{Q+2 \gamma }\) and \(1+\frac{2 \gamma }{Q}\). Notice that \(1+\frac{4}{Q+2 \gamma }\) and \(1+\frac{2 \gamma }{Q}\) intersects at a point \(\tilde{\gamma }\), which is the positive root of the quadratic equation \( 2\gamma ^2+Q\gamma -2Q=0\). Moreover, it is easy to check that the positive root \({{\tilde{\gamma }}}<2\) for all \(Q\geqslant 4.\) This shows that
-
\(\max \left\{ 1+\frac{4}{Q+2 \gamma }, 1+\frac{2 \gamma }{Q} \right\} =1+\frac{4}{Q+2 \gamma } \) for \(\gamma \leqslant {\tilde{\gamma }}\),
-
\(\max \left\{ 1+\frac{4}{Q+2 \gamma }, 1+\frac{2 \gamma }{Q} \right\} =1+\frac{2 \gamma }{Q} \) for \({\tilde{\gamma }}<\gamma \leqslant 2\).
Finally, for any \(\gamma \in (0, \frac{Q}{2})\), the condition for the exponent p is reduced to
Furthermore, we have
Now we will calculate \( \Vert N u-N {\bar{u}}\Vert _{X_s(T)}\). In order to do that, we first notice that
Similar to (4.11), using the Hardy–Littlewood–Sobolev inequality (Theorem 2.1), we have
with \(\frac{1}{m}-\frac{1}{2}=\frac{\gamma }{Q}\) provided that \(0<\gamma <Q\) and \(1<m<2\). An application of Hölder’s inequality yields
Again, the Gagliardo–Nirenberg inequality (Theorem 2.2) implies that
and
for \(\sigma \in [0, T]\) with \(\theta _3=\frac{Q}{s}(\frac{1}{2}-\frac{1}{mp})\in [0, 1]\). Thus from (4.19), (4.20), and (4.21), we finally have
Now using the given range of p, we get
for any \(u, {{\bar{u}}} \in X_s(T)\) and for some \(C>0.\) Also from (4.18), we obtain
for some \(D>0\) with initial data space \({ \mathcal {A}_{\mathcal {L}}^{s, -\gamma }}: =(H^s_{\mathcal {L}}\cap \dot{H}^{-\gamma }_{\mathcal {L}}) \times (L^2\cap \dot{H}^{-\gamma }_{\mathcal {L}})\).
Therefore, by Banach’s fixed point theorem, there exists a uniquely determined fixed point \(u^*\) of the operator N, which means \(u^*=Nu^* \in X_s(T)\) for all positive T. This fixed point \(u^*\) will be our mild solution to (1.1) on [0, T]. This implies that there exists a global (in-time) small data Sobolev solution \(u^*\) of the equation \( u^*=Nu^* \) in \( X_s(T)\), which also gives the solution to the semilinear damped wave equation (1.1) and this completes the proof of the theorem. \(\square \)
5 Blow-up analysis of solutions: a test function method
Proof of Theorem 1.5
In order to prove this result, we apply the so-called test function method. By contradiction, we assume that there exists a global-in-time weak solution u to (1.1). Let us consider two bump functions \(\alpha \in \mathcal {C}_0^{\infty }(\mathbb {R}^n)\) and \(\beta \in \mathcal {C}_0^{\infty }(\mathbb {R})\) such that
and
If \(R>1\) is a parameter, then, we define the test function \(\varphi _R \in \mathcal {C}_0^{\infty }\left( [0, \infty ) \times \mathbb {R}^{2 n+1}\right) \) with separate variables as
Let \(\mathcal {D}_R:= B_{n}(R) \times B_{n}(R) \times \left[ -R^{2}, R^{2}\right] \). Then using support of \(\alpha \) and \(\beta \), we can conclude that \({\text{ supp }} ~\varphi _{R} \subset \left[ 0, R^{2}\right] \times \mathcal {D}_R\). Furthermore, a simple calculation yields
Moreover, from the following expression of the sublaplacian
we have
where \(\Delta \) denotes the Laplace operator on \(\mathbb {R}^{n}\).
From the condition \(0 \leqslant \alpha , \beta \leqslant 1\), we can get \(\alpha \leqslant \alpha ^{\frac{1}{p}}\) and \(\beta \leqslant \beta ^{\frac{1}{p}}\). Moreover, using the following bounds
we immediately get
Let
Now from (1.12) with keeping in mind the fact \(\partial _t \varphi _R \leqslant 0\) (by choosing the factor \(\beta \) appropriately, for example, let \(\beta \) be even and non-increasing in \([0, \infty )\)), an application of Hölder’s and Young’s inequalities yields
where in (5.1), we used the fact that \({\text {meas}} (\mathcal {D}_R) \approx R^Q\). Therefore,
Now using our assumption (1.13), it remains to find estimate for
Before that, we have to justify that the set of all initial data \(\left( u_0, u_1\right) \) in \( {\dot{H}}_\mathcal {L}^{-\gamma } \times \dot{H}_\mathcal {L}^{-\gamma }\) with the assumptions (1.13), is non-empty. For that, we denote the set \(\mathcal {D}_{Q, \gamma }\) as
then first we claim that \(\mathcal {D}_{Q, \gamma } \cap \left( L^{\frac{2Q}{Q+2\gamma }} \times L^{\frac{2Q}{Q+2\gamma }} \right) \ne \emptyset \) for \(\frac{2Q}{Q+2\gamma }>1\). In particular, consider the functions
Then using the polar decomposition (see Proposition (1.15) in [9]) for \(\mathbb {H}^n\), we have
for \(\frac{2Q}{Q+2\gamma }>1\). This implies that \(u_{0}, u_{1} \in L^{\frac{2Q}{Q+2\gamma }} \). Since \(\frac{Q+2 \gamma }{2 Q}-\frac{1}{2}=\frac{\gamma }{Q}\) with \(\gamma \in \left( 0, \frac{Q}{2}\right) \), according to the Hardy–Littlewood–Sobolev inequality (Theorem 2.1), we have \( L^{\frac{2Q}{Q+2\gamma }} \subset {\dot{H}}_\mathcal {L}^{-\gamma }\). Therefore, in every instance, we can deduce that
Now from our assumption (1.13), for \(R \gg 1\), we obtain
Thus from (5.2) and (5.3), we have
which further implies that
By the assumption \(p \in \left( 1, 1+\frac{4}{Q+2\gamma }\right) ,\) we have \(Q+2-2p^{\prime }-\frac{Q}{2}+\gamma <0\) and therefore, it is easy to see that
for \(R \gg 1.\)
Hence, from (5.4) and (5.5), we obtain
which is a contradiction. This completes the proof of the blow-up result.
Since the scaling factor \(R^2\), appeared in the bump function \(\beta \) with respect to the time varibale, has to be dominated by the lifespan \(T_{w,\varepsilon }\) of the weak solution in order to guarantee \(\varphi _R \in \mathcal {C}_0^{\infty }([0, T) \times \mathbb {H}^n)\), to generate upper bound estimate for the lifespan, we consider \(R \uparrow T_{w,\varepsilon }^{ \frac{1}{2}}\) in (5.4). As a result, a contradiction (similar to (5.4)) exists if
In other words
which is the desired lifespan for the local-in-time weak solutions to the Cauchy problem (1.1), where the constant C is positive and independent of \(\varepsilon \) and p. \(\square \)
6 Sharp lifespan estimates of solutions
The aim of this section is to find the lower bound estimates of lifespan. We will make use of certain notations, specifically, the evolution space \(X_1(T)\) and the data space \(\mathcal {A}_1^{\mathcal {L}}\), introduced in Sect. 1. As we are now considering the case where \(1< p < p_{\text {crit}}(Q, \gamma )\), in order to obtain lower limit estimates for the lifespan, we will use a different nonlinear inequality instead of (4.5).
Proof of Theorem 1.7
Here, we note that using the definition of mild solutions (1.10), we can estimate and express local-in-time mild solutions directly. Proceeding in a similar way as to establish (4.12)–(4.13) in Sect. 4, we get
because of \(\gamma \in (0, 2 )\), where we restricted p as
for the application of the Gagliardo–Nirenberg inequality. Since \( 1<p<p_{\text{ crit } }(Q, \gamma )=1+\frac{4}{Q+2\gamma }\), this implies that
Therefore, from (6.1), we have
Choosing \(s=1\) in (4.16) leads to
Thus from (6.2) and (6.3), we can say that
where \(\alpha (p, Q, \gamma ):=-p ( \frac{\gamma }{2}+\frac{Q}{4} )+\frac{Q}{4} +\frac{\gamma }{2}+1\in (0,1)\), and C, D are two positive constants independent of \(\varepsilon \) and T.
Now let us now introduce
with a large enough constant \(M>0\), which we shall select later. As a result, from (6.4) and the fact that \(\mathcal {G}\left( T^*\right) \leqslant M \varepsilon \), we obtain
for large M, provided \(2C<M\) and
It is important to note that the function \(\mathcal {G}=\mathcal {G}(T)\) is continuous for \(T \in \left( 0, T_{m,\varepsilon }\right) \). Nonetheless, (6.5) demonstrates that there exists a time \(T_0 \in \left( T^*, T_{m,\varepsilon } \right) \) such that \(\mathcal {G}\left( T_0\right) \leqslant M \varepsilon \), which contradicts to the assumption that \(T^*\) is the supremum. To put it another way, we must enforce the following condition:
This implies that
This implies that we can deduce the blow-up time estimate as
This completes the proof of the theorem regarding lower bound estimates of lifespan. \(\square \)
Remark 6.1
We believe that the results obtained in this paper on the Heisenberg group can be generalized on a general stratified Lie group \(\mathbb {G}\), where the formula for \(p_{\text{ crit } }(Q, \gamma )\) will be the same as in the case of Heisenberg group, with Q now the homogeneous dimension of \(\mathbb {G}\). The global existence result can be proved by following the approach of [34, Sect. 4], while the blow-up result can be proved using again the test function method considered in [11].
References
J.-Ph. Anker and H.-W. Zhang, Wave equation on general noncompact symmetric spaces, (to appear in) Amer. J. Math, (2024). https://doi.org/10.48550/arXiv.2010.08467.
J.-Ph. Anker and V. Pierfelice, Wave and Klein-Gordon equations on hyperbolic spaces, Anal. PDE, 7(4), 953-995, (2014).
A. K. Bhardwaj, V. Kumar and S. S. Mondal, Estimates for the nonlinear viscoelastic damped wave equation on compact Lie groups, Proc. Roy. Soc. Edinburgh Sect. A. (2023). https://doi.org/10.1017/prm.2023.38
D. Cardona, V. Kumar and M. Ruzhansky, \(L^p\)-\(L^q\) boundedness of pseudo-differential operators on graded Lie groups, arxiv preprint (2023), https://doi.org/10.48550/arXiv.2307.16094
W. Chen and M. Reissig, On the critical exponent and sharp lifespan estimates for semilinear damped wave equations with data from Sobolev spaces of negative order, J. Evol. Equ. 23, 13 (2023).
A. Dasgupta, V. Kumar and S. S. Mondal, Nonlinear fractional damped wave equations on compact Lie groups, Asymptot. Anal. 134(3–4), 485–511 (2023). https://doi.org/10.3233/ASY-231842
M. R. Ebert and M. Reissig, Methods for Partial Differential Equations, Birkhäuser, Basel (2018).
V. Fischer and M. Ruzhansky, Quantization on Nilpotent Lie Groups, Progr. Math., vol.314, Birkhäuser/Springer, (2016).
G.B. Folland and E.M. Stein, Hardy spaces on homogeneous groups, Princeton University Press, Princeton, New Jersey (1982).
C. Garetto and M. Ruzhansky, Wave equation for sums of squares on compact Lie groups, J. Differential Equations 258(12), 4324-4347 (2015).
V. Georgiev and A. Palmieri, Upper bound estimates for local in time solutions to the semilinear heat equation on stratified lie groups in the sub-Fujita case, AIP Conference Proceedings 2159, 020003 (2019).
V. Georgiev and A. Palmieri, Critical exponent of Fujita-type for the semilinear damped wave equation on the Heisenberg group with power nonlinearity, J. Differential Equations 269(1), 420-448 (2020).
V. Georgiev and A. Palmieri, Lifespan estimates for local in time solutions to the semilinear heat equation on the Heisenberg group, Ann. Mat. Pura Appl. 200, 999-1032 (2021).
S. Ghosh, V. Kumar and M. Ruzhansky, Compact Embeddings, Eigenvalue Problems, and subelliptic Brezis-Nirenberg equations involving singularity on stratified Lie groups, Math. Ann. 388, 4201–4249 (2024). https://doi.org/10.1007/s00208-023-02609-7
S. Ghosh, V. Kumar and M. Ruzhansky, Best constants in subelliptic fractional Sobolev and Gagliardo-Nirenberg inequalities and ground states on stratified Lie groups, (2023). https://doi.org/10.48550/arXiv.2306.07657
M. Ikeda, T. Inui, M. Okamoto and Y. Wakasugi, \(L^p-L^q\) estimates for the damped wave equation and the critical exponent for the nonlinear problem with slowly decaying data, Commun. Pure Appl. Anal. 18(4), 1967-2008 (2019).
M. Ikeda and T. Ogawa, Lifespan of solutions to the damped wave equation with a critical nonlinearity, J. Differential Equations 261(3), 1880-1903 (2016).
M. Ikeda and M. Sobajima, Sharp upper bound for the lifespan of solutions to some critical semilinear parabolic, dispersive, and hyperbolic equations via a test function method, Nonlinear Anal. 182, 57-74 (2019).
M. Ikeda and Y. Wakasugi, A note on the lifespan of solutions to the semilinear damped wave equation, Proc. Amer. Math. Soc. 143(1), 163-171 (2015).
R. Ikehata and M. Ohta, Critical exponents for semilinear dissipative wave equations in \(\mathbb{R}^{N}\), J. Math. Anal. Appl. 269(1), 87-97 (2002).
R. Ikehata and K. Tanizawa, Global existence of solutions for semilinear damped wave equations in \(\mathbb{R}^{n}\) with noncompactly supported initial data, Nonlinear Anal. 61(7), 1189-1208 (2005).
A. Kassymov, V. Kumar and M. Ruzhansky, Functional inequalities on symmetric spaces of noncompact type and applications, J. Geom. Anal. 34, 208 (2024). https://doi.org/10.1007/s12220-024-01644-3
N. A. Lai and Y. Zhou, The sharp lifespan estimate for semilinear damped wave equation with Fujita critical power in higher dimensions, J. Math. Pures Appl. 123, 229-243 (2019).
T. T. Li and Y. Zhou, Breakdown of solutions to \(\square u+u_t=|u|^{1+\alpha }\), Discrete Contin. Dynam. Systems, 1(4), 503-520 (1995).
A. Matsumura, On the asymptotic behavior of solutions of semi-linear wave equations, Publ. Res. Inst. Math. Sci. 12(1), 169-189 (1976/77).
A. I. Nachman, The wave equation on the Heisenberg group, Comm. Partial Differential Equations 7(6), 675-714 (1982).
M. Nakao and K. Ono, Existence of global solutions to the Cauchy problem for the semilinear dissipative wave equations, Math. Z. 214(2), 325-342 (1993).
A. Palmieri, On the blow-up of solutions to semilinear damped wave equations with power nonlinearity in compact Lie groups, J. Differential Equations 281, 85-104 (2021).
A. Palmieri, Decay estimates for the linear damped wave equation on the Heisenberg group, J. Funct. Anal., 279(9), 108721 (2020).
A. Palmieri, Semilinear wave equation on compact Lie groups, J. Pseudo-Differ. Oper. Appl. 12, 43 (2021).
A. Palmieri, A global existence result for a semilinear wave equation with lower order terms on compact Lie groups, J. Fourier Anal. Appl. 28, Article number: 21 (2022).
S. I. Pohozaev and L. Véron, Non existence results of solutions of semilinear differential inequalities on the Heisenberg group, Manuscripta Math. 102,85-99 (2000).
M. Ruzhansky and C. Taranto, Time-dependent wave equations on graded groups, Acta Appl. Math. 171, Article number: 21 (2021).
M. Ruzhansky and N. Tokmagambetov, Nonlinear damped wave equations for the sub-Laplacian on the Heisenberg group and for Rockland operators on graded Lie groups, J. Differential Equations 265(10), 5212-5236 (2018).
M. Ruzhansky and N. Yessirkegenov, Existence and non-existence of global solutions for semilinear heat equations and inequalities on sub-Riemannian manifolds, and Fujita exponent on unimodular Lie groups, J. Differential Equations 308, 455-473 (2022).
C. Taranto, Wave equations on graded groups and hypoelliptic Gevrey spaces, Imperial College London Ph.D. thesis, (2018).
S. Thangavelu, Harmonic analysis on the Heisenberg group, volume 159, Progress in Mathematics, Springer (1998).
G. Todorova and B. Yordanov, Critical exponent for a nonlinear wave equation with damping, J. Differential Equations 174(2), 464-489 (2001).
H.-W. Zhang, Wave equation on certain noncompact symmetric spaces, Pure Appl. Anal. 3, 363-386, (2021).
Q. S. Zhang, A blow-up result for a nonlinear wave equation with damping: the critical case, C. R. Acad. Sci. Paris Sér. I Math. 333(2), 109-114 (2001).
Acknowledgements
The authors wish to thank the anonymous referee for his/her helpful comments and suggestions that helped to improve the quality of the paper. AD is supported by Core Research Grant, RP03890G, Science and Engineering Research Board (SERB), DST, India. VK and MR are supported by the FWO Odysseus 1 grant G.0H94.18N: Analysis and Partial Differential Equations, the Methusalem program of the Ghent University Special Research Fund (BOF) (Grant number 01M01021), and by FWO Senior Research Grant G011522N. MR is also supported by EPSRC grants EP/R003025/2 and EP/V005529/1. SSM is supported by postdoctoral fellowship at the Indian Institute of Technology Delhi, India. SSM also thanks Ghent Analysis & PDE Center of Ghent University for the financial support of his visit to Ghent University during which this work has been completed. SSM is also supported by the DST-INSPIRE Faculty Fellowship DST/INSPIRE/04/2023/002038.
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.
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
Dasgupta, A., Kumar, V., Mondal, S.S. et al. Semilinear damped wave equations on the Heisenberg group with initial data from Sobolev spaces of negative order. J. Evol. Equ. 24, 51 (2024). https://doi.org/10.1007/s00028-024-00976-5
Accepted:
Published:
DOI: https://doi.org/10.1007/s00028-024-00976-5
Keywords
- Heisenberg group
- Semilinear damped wave equation
- Critical exponent
- Negative order Sobolev spaces
- Global existence
- Finite blow-up