1. Introduction
In this paper, we are concerned with blowup of cylindrically symmetric solutions to the Cauchy problem for the following biharmonic nonlinear Schrödinger equation NLS,
where $d \geq 1$, $\mu \in \mathbb{R}$ and $0 \lt \sigma \lt \infty$ if $1 \leq d \leq 4$ and $0 \lt \sigma \lt 4/(d-4)$ if $d \geq 5$. The first study of biharmonic NLS traces back to Karpman [Reference Karpman14] and Karpman–Shagalov [Reference Karpman and Shagalov15], where the authors investigated the regularization and stabilization effect of the fourth-order dispersion. Later, Fibich et al. [Reference Fibich, Ilan and Papanicolaou11] carried out a rigorous survey to biharmonic NLS from mathematical point of views and proved global existence in time of solutions to the Cauchy problem for (1.1). During recent years, there is a large number of literature mainly devoted to the study of well-posedness and scattering of solutions to the Cauchy problem for (1.1), see for example [Reference Dinh9, Reference Guo13, Reference Miao, Xu and Zhao17–Reference Pausader and Xia21] and references therein. In [Reference Boulenger and Lenzmann8], Boulenger and Lenzmann rigorously and completely discussed the existence of blowup solutions to the Cauchy problem for (1.1) with radially symmetric initial data, which in turn confirms a series of numerical studies conducted in [Reference Baruch and Fibich1–Reference Bellazzini and Forcella4]. We also refer to the readers to the papers due to Bonheure et al. [Reference Bonheure, Castéras, Gou and Jeanjean6, Reference Bonheure, Castéras, Gou and Jeanjean7] with respect to orbital instability of radially symmetric standing waves to (1.1). Inspired by the aforementioned works, the aim of the present paper is to investigate blowup of solutions to the Cauchy problem for (1.1) with cylindrically symmetric initial data, i.e. initial data belong to $\Sigma_d$ defined by
where $x=(y, x_d) \in \mathbb{R}^d$ and $y=(x_1, \cdots, x_{d-1}) \in \mathbb{R}^{d-1}$.
For further clarifications, we shall fix some notation. Let us define
We refer to the cases $s_c \lt 0$, $s_c=0$ and $s_c \gt 0$ as mass subcritical, critical and supercritical, respectively. The end case $s_c=2$ is energy critical. Note that the cases $s_c=0$ and $s_c=2$ correspond to the exponents $\sigma=4/d$ and $\sigma=4/(d-4)$, respectively. For $1 \leq p \lt \infty$, we denote by $L^q(\mathbb{R}^{d})$ the usual Lebesgue space with the norm
The Sobolev space $H^2(\mathbb{R}^d)$ is equipped with the standard norm
In addition, we denote by $Q \in H^2(\mathbb{R}^d)$ a ground state to the following nonlinear elliptic equation,
The main results of the present paper read as follows, which gives blowup criteria for solutions to the Cauchy problem for (1.1) with cylindrically symmetric data.
Theorem 1.1.
(Blowup for Mass-Supercritical Case) Let $d \geq 5$, $\mu \in \mathbb{R}$ and $0 \lt s_c \lt 2$ with $0 \lt \sigma \leq 1$. Suppose that $u_0 \in \Sigma_d$ satisfies one of the following conditions.
(i) If µ ≠ 0, we assume that
\begin{align*} E[u_0] \lt \left\{ \begin{aligned} &0, \quad &\text{for} \,\, \mu \gt 0, \\ &-\chi \mu^2 M[u_0], \quad &\text{for} \,\, \mu \lt 0, \end{aligned} \right. \end{align*}with some constant $\chi=\chi(d, \sigma) \gt 0$.
(ii) If µ = 0, we assume that either $E[u_0] \lt 0$ or if $E[u_0] \geq 0$, we suppose that
\begin{equation*} E[u_0]^{s_c}M[u_0]^{2-s_c} \lt E[Q]^{s_c}M[Q]^{2-s_c} \end{equation*}and
\begin{equation*} \|\Delta u_0\|_2^2 \|u_0\|_2^{2-s_c} \gt \|\Delta Q\|_2^2 \|Q\|_2^{2-s_c}. \end{equation*}Then the solution $u \in C([0, T), H^2(\mathbb{R}^d))$ to the Cauchy problem for (1.1) with initial datum u 0 blows up in finite time, i.e. $0 \lt T \lt +\infty$ and $\lim_{t \to T^-} \|\Delta u\|_2=+\infty$.
Remark 1.1. The extra restriction on σ comes from the use of the well-known radial Sobolev inequality in $\mathbb{R}^{d-1}$. Note that if $4/d \lt \sigma \leq 1$, then $d \geq 5$. This is the reason that we need to assume that $d \geq 5$.
Theorem 1.2.
(Blowup for Mass-Critical Case) Let $d \geq 4$, $\mu \geq 0$ and $s_c=0$. Let $u_0 \in \Sigma_d$ be such that $E(u_0) \lt 0$. Then the solution $u \in C([0, T), H^2(\mathbb{R}^d))$ to the Cauchy problem for (1.1) satisfies the following.
(i) If µ > 0, then u(t) blows up in finite time.
(ii) If µ = 0, then u(t) either blows up in finite time or u(t) blows up in infinite time.
To prove Theorems 1.1 and 1.2, the essential argument is to deduce the evolution of the localized virial quantity $M_{\varphi_R}[u(t)]$ defined by (2.2) along time, see Lemma 2.2. To this end, we shall make use of ideas from [Reference Boulenger and Lenzmann8, Reference Martel16]. It is worth mentioning [Reference Bellazzini and Forcella4, Reference Bellazzini, Forcella and Georgiev5, Reference Dinh and Forcella10, Reference Forcella12], where blowup of solutions to NLS for cylindrically symmetric data has been investigated. Comparing with the existing works, we deal with the evolution of the localized virial quantity to biharmonic NLS for cylindrically symmetric data and extra treatments are needed in the cylindrically symmetric context, because of the presence of the biharmonic term. For cylindrically symmetric solutions, the radial Sobolev inequality is only applicable in $\mathbb{R}^{d-1}$, which is different from the radially symmetric case handled in [Reference Boulenger and Lenzmann8], we shall take advantage of ingredients in [Reference Martel16] to estimate error terms due to the nonlinearity in the process of discussion of the evolution of the localized virial quantity.
Remark 1.2. It seems possible to remove the condition that $x_d u_0 \in L^2(\mathbb{R}^d)$ to study blowup of solutions to (1.1) for cylindrically symmetric data in the spirit of work due to Martel [Reference Martel16]. In this case, more restrictive conditions should be imposed on σ. This shall be discussed in forthcoming publications.
2. Proofs of main results
In this section, we are going to prove Theorems 1.1 and 1.2. To do this, we first need to introduce a localized virial quantity, which is inspired by [Reference Boulenger and Lenzmann8] and [Reference Martel16]. For $d \geq 2$, let $\psi : \mathbb{R}^{d-1} \to \mathbb{R}$ be a radially symmetric and smooth function such that $|\nabla \psi^j| \in L^{\infty}(\mathbb{R}^{d-1})$ for $1 \leq j \leq 6$ and
For R > 0 given, we define a radial function $\psi_R : \mathbb{R}^{d-1} \to \mathbb{R}$ by
It follows from (3.3) in [Reference Boulenger and Lenzmann8] that
Let
Define
It is simple see that $\mathcal{M}_{\varphi_R}[u]$ is well-defined for any $u \in \Sigma_d$. For later use, we shall give the well-known radial Sobolev’s inequality in [Reference Strauss22]. For every radial function $f \in H^1(\mathbb{R}^{d-1})$ with $d \geq 3$, then
We also present the well-known Gagliardo–Nirenberg’s inequality in one dimension. For any $f \in H^1(\mathbb{R})$ and p > 2, then
Let $f : \mathbb{R}^{d-1} \to \mathbb{C}$ be a radial and smooth function, then
Next we present the well-posedness of solutions to the Cauchy problem for (1.1) in $H^2(\mathbb{R}^d)$, which was established by Pausader [Reference Pausader18].
Lemma 2.1. [Reference Pausader18, Proposition 4.1] Let $d \geq 1$, $\mu \in \mathbb{R}$ and $s_c \lt 2$. Then, for any $u_0 \in H^2(\mathbb{R}^d)$, there exist a constant T > 0 and a unique solution $u \in C([0, T), H^2(\mathbb{R}^d))$ to the Cauchy problem for (1.1) with initial datum u 0. The solution has conserved mass and energy in the sense that
where
and
Moreover, blowup alternative holds, i.e. either $T = + \infty $ or $\|u(t)\|_{H^2}= +\infty$ as $t\to T^-$. The solution map
is continuous.
In the following, we give the evolution of $\mathcal{M}[u(t)]$ along time, which is the key argument to prove Theorems 1.1 and 1.2.
Lemma 2.2. Let $d \geq 3$, R > 0 and $0 \lt \sigma \leq 1$. Suppose that $u \in C([0, T); H^2(\mathbb{R}^d))$ is the solution to the Cauchy problem for (1.1) with initial datum $u_0 \in \Sigma_d$. Then, for any $t \in [0, T)$, there holds that
where
Proof. To achieve this, we shall adapt some elements from [Reference Boulenger and Lenzmann8] and [Reference Martel16]. In view of Step 1 of the proof of [Reference Boulenger and Lenzmann8, Lemma 3.1], we first have that
In what follows, we are going to estimate the terms $\mathcal{A}_R^{(1)}[u]$, $\mathcal{A}_R^{(2)}[u]$ and $\mathcal{B}_R[u]$. The estimates of dispersive terms $\mathcal{A}_R^{(1)}[u]$ and $\mathcal{A}_R^{(2)}[u]$ are inspired by the proof of [Reference Boulenger and Lenzmann8, Lemma 3.1]. Let us begin with treating the term $ \mathcal{A}_R^{(1)}[u]$. Using integration by parts and the definition of φR, we are able to derive that
We now compute each term in the right hand side of (2.6). Utilizing (2.5), we can derive that
and
In addition, applying integration by parts, we have that
As a consequence, coming back to (2.6) and using (2.1), (2.6), (2.7), (2.8) and (2.9), we now conclude that
Furthermore, by the definitions of φR and ψR, there holds that
and
This along with (2.10) and the conservation of mass implies that
We next deal with the term $\mathcal{A}_R^{(2)}[u]$. In virtue of integration by parts, the definition of φR and (2.5), we can show that
where
Due to $\|\Delta^2 \psi_R\|_{\infty} \lesssim R^{-2}$, then
We now turn to handle the term $\mathcal{B}_{R}[u]$. Here we need some special treatments. Applying integration by parts and the definition of φR, we first derive that
In virtue of the definition of ψR and (2.5), then there holds that $\Delta \psi_R(r) -d+1=0$ for $0 \leq r \leq R$. This further implies that
In the following, we shall estimate the second term in the right hand side of (2.11). Observe first that
To proceed the proof, we first consider the case that σ = 1. In this case, by (2.3), Hölder’s inequality and the conservation of mass, then
On the other hand, by Hölder’s inequality and the conservation of mass, we know that
Consequently, going back to (2.12) and using (2.13) and (2.14), we derive that
We next consider the case that $0 \lt \sigma \lt 1$. In this case, from (2.12) and Hölder’s inequality, it follows that
In view of (2.4) and the conservation of mass, we get that
Furthermore, notice that
This means that
As a result, via (2.17), we obtain that
Using (2.13) and (2.19), we then obtain from (2.16) that
To sum up, it then follows from (2.11), (2.15) and (2.20) that
Accordingly, applying the estimates to $\mathcal{A}_R^{(1)}[u]$, $\mathcal{A}_R^{(2)}[u]$ and $\mathcal{B}_{R}[u]$ and the conservation of energy, we finally derive that
This completes the proof.
Proof of Theorem 1.1
Noting that $0 \lt \sigma \leq 1$ and applying Lemma 2.2, then the proof can be completed by closely following the one of [Reference Boulenger and Lenzmann8, Theorem 1].
Proof of Theorem 1.2
If µ > 0, using Lemma 2.2 and arguing as the proof of [Reference Boulenger and Lenzmann8, Theorem 3], we can get the desired result. To complete the proof, we only need to consider the case that µ = 0. In this case, we need to conduct a more refined analysis to the evolution of $\mathcal{M}[u(t)]$ along time. From the proof of Lemma 2.2, (2.1) and (2.5), we first have that
where
Thereinafter, we shall estimate the last two terms in the right hand side of (2.21). Using (7.7) in [Reference Boulenger and Lenzmann8] and the conservation of mass, we can derive that
where η > 0 is an arbitrary constant. We now treat the other term. To do this, we first consider the case that d = 4. In this case, we have that
because of $B_R=0$ for $0 \leq r \leq R$. In view of (2.3) with d = 4 and the definition of BR, we are able to infer that
It follows from (7.9) with d = 4 in [Reference Boulenger and Lenzmann8] that
By means of (2.23), the conservation of mass and Hölder’s inequality, we then get that
Going back to (2.22) and using (2.14) and (2.24), we then get that
Taking into account (2.21) and noting that $\|\Delta^2 \varphi_R\|_{\infty} \lesssim R^{-2}$, we then obtain that
Next we consider the case that $d \geq 5$. In this case, by Hölder’s inequality and the definition of BR, we can obtain that
As an application of (2.4) leads to
It then follows from (2.18), (2.27) and the conservation of mass that
Therefore, coming back to (2.26) and using (2.24) and (2.28), we derive that
As a consequence, invoking (2.21), we finally derive that
At this point, using (2.25) and (2.29) and reasoning as the proof of [Reference Boulenger and Lenzmann8, Theorem 3], we are able to finish the proof. This completes the proof.
Funding statement
The author was supported by the National Natural Science Foundation of China (No. 12101483) and the Postdoctoral Science Foundation of China.
Competing interests
Statements and declarations. The author declares that there are no conflict of interests.