Abstract
We establish blow-up results for systems of NLS equations with quadratic interaction in anisotropic spaces. We precisely show finite time blow-up or grow-up for cylindrical symmetric solutions. With our construction, we moreover prove some polynomial lower bounds on the kinetic energy of global solutions in the mass-critical case, which in turn implies grow-up along any diverging time sequence. Our analysis extends to general NLS systems with quadratic interactions, and it also provides improvements of known results in the radial case.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we investigate the existence of blowing-up solutions for the Cauchy problem for the following system of nonlinear Schrödinger equations with quadratic interaction
where the wave functions \(u,v: {\mathbb {R}}\times {\mathbb {R}}^d \rightarrow {\mathbb {C}}\) are complex scalar functions, the parameters m, M are two real positive quantities, and \(\lambda , \mu \in {\mathbb {C}}\) are two complex coupling constants.
Multi-components systems of nonlinear Schrödinger equations with quadratic-type interactions appear in the processes of waves propagation in quadratic media. They model, for example, the Raman amplification phenomena in a plasma, or they are used to describe other phenomena in nonlinear optics. We refer the readers to [6, 7, 21, 22] for more insights on these kind of physical models.
In the case of the so-called mass-resonance condition, namely provided that the condition
is satisfied, system (1.1) can be viewed, see [14], as a non-relativistic limit of the following system of nonlinear Klein–Gordon equations
as the speed of light c tends to infinity.
To the best of our knowledge, the first mathematical study of system (1.1) is due to Hayashi, Ozawa, and Tanaka [14], where, among other things, they established the local well-posedness of system (1.1), and they proved that, in order to ensure the conservation law of the total charge, namely the sum (up to some constant) of the \(L^2\) norm of u and v, it is natural to consider the condition
Moreover, if we assume that \(\lambda , \mu \) satisfy (1.3) for some \(c>0\) and \(\lambda , \mu \ne 0,\) by the change of variable
system (1.1) can be written (by dropping the tildes) as
where \(\kappa =\frac{m}{M}\) is the mass ratio. Note that \(\kappa =\frac{1}{2}\) in the mass-resonance case (1.2). System (1.4) satisfies the conservation of mass and energy defined, respectively, by
For the purpose of our paper, we define the kinetic energy
and the potential energy by
hence we rewrite the total energy as
We also introduce the following functional defined in terms of T and P :
Even if the we will use G evaluated at time-dependent solutions, it is worth mentioning that G is the Pohozaev functional which is strictly related to the time-independent elliptic equations (1.9) and (1.10).
Another crucial property of (1.4) is that (1.4) is invariant under the scaling
A direct computation gives
This shows that (1.8) leaves the \({\dot{H}}^{{\gamma _{\mathrm{c}}}}\)-norm of initial data invariant, where
According to the conservation laws of mass and energy, (1.4) is called mass-critical, mass and energy intercritical (or intercritical for short), and energy-critical if \(d=4\), \(d=5\), and \(d=6\), respectively.
In the present paper, we restrict our attention to the dimensions \(d=4,5,6,\) and we are interested in showing the formation of singularities in finite or infinite time for solutions to the initial value problem associated with (1.4), with initial data
As well-known, the existence of blowing-up solutions to the Schrödinger-type equations is closely related to the notion of standing wave or static (in the energy-critical case) solutions. Therefore, before stating our main results, we recall some basic facts about the existence of ground states for (1.4).
First of all, we recall that by standing waves solutions we mean solutions to (1.4) of the form
where \(\phi , \psi \) are real-valued functions satisfying
In [14], Hayashi, Ozawa, and Tanaka showed the existence of ground states related to (1.9), i.e. non-trivial solutions to (1.9) that minimizes the action functional
over all non-trivial solutions to (1.9). It is worth mentioning that this existence result holds whenever \(d\le 5,\) and not only for \(d=4,5.\) When \(d=6\), i.e. the energy-critical case, (1.4) admits a static solution of the form
where \(\phi ,\psi \) are real-valued functions satisfying
The existence of ground states related to (1.10) was shown in [14] (see also [25, Sect. 3]). Here by a ground state related to (1.10), we mean a non-trivial solution to (1.10) that minimizes the energy functional over all non-trivial solutions of (1.10).
2 Main results
We are now ready to state our first result about the blow-up of solutions in the mass and energy intercritical case in anisotropic spaces. To this aim, we introduce some notation. Denote
where \(x=(y,x_d), y=(x_1, \dots , x_{d-1}) \in {\mathbb {R}}^{d-1}\), and \(x_d \in {\mathbb {R}}\). Here \(\Sigma _d\) stands for the space of cylindrical symmetric functions with finite variance in the last direction. We also introduce the following blow-up conditions:
As for the usual Schrödinger equation, the conditions expressed in (\(\hbox {BC}_{{5d}}\)) are the counterpart of the conditions
in the dichotomy leading to global well-posedness & scattering ((\(\hbox {SC}_{{5d}}\))) or blow-up ((\(\hbox {BC}_{{5d}}\))). In the energy critical case, the previous conditions in (\(\hbox {BC}_{{5d}}\)) will be replaced by analogous inequalities, see (\(\hbox {BC}_{{6d}}\)). Since in this paper we are concerned only with the blow-up dynamics of solutions to (1.4), we will not use the modified conditions for the scattering theory.
2.1 Intercritical case
Our first result concerns a finite time blow-up for (1.4) in the intercritical case \(d=5\).
Theorem 2.1
Let \(d=5\), \(\kappa >0\), and \((\phi ,\psi )\) be a ground state related to (1.9). Let \((u_0,v_0) \in \Sigma _5 \times \Sigma _5\) satisfy (\(\hbox {BC}_{{5d}}\)). Then the corresponding solution to (1.4) blows-up in finite time.
Let us give some comments on the previously known blow-up results for system (1.4). The formation of singularities in finite time for negative energy and radial data was shown by Yoshida in [29], while for nonnegative energy radial data a proof was recently given by Inui, Kishimoto, and Nishimura. Specifically, they proved in [19] the blow-up for radial initial data satisfying
By a variational characterization, we show in Lemma 3.1 that (\(\hbox {BC}_{{5d}}\)) and (2.2) are indeed equivalent. Thus a version of Theorem 2.1 for radial solutions would be an interchangeable restatement of the result obtained in [19].
Despite our approach relies on the classical virial identities, we need to precisely construct suitable cylindrical cut-off functions enabling us to get enough decay (by means of some Sobolev embedding for partially radial functions) to close our estimates. With respect to the classical NLS equation, we will use an ODE argument instead of a concavity argument to prove our results, by only using the first derivative in time of suitable localized quantity, see Sect. 3. We refer the reader to the early work of Martel [23] in the context of the NLS equation in anisotropic spaces, and the more recent papers [3, 16, 17]. See also our recent paper [1] in the context of NLS system with cubic interaction.
For sake of completeness, we report now known blow-up and long time dynamics results for (1.4) in the intercritical case.
If \(\kappa =\frac{1}{2}\), Hayashi, Ozawa, and Tanaka in [14] showed a blow-up result with negative energy and finite variance data, i.e. initial data belonging to \(\Sigma \times \Sigma :=(H^1\times H^1)\cap (L^2(|x|^2\, \hbox {d}x) \times L^2(|x|^2\, \hbox {d}x))\). Hamano, see [12], proved the scattering below the mass energy ground state. More precisely, he proved that if \((u_0, v_0) \in H^1 \times H^1\) satisfies (\(\hbox {SC}_{{5d}}\)) then the corresponding solution to (1.4) exists globally in time and scatters in \(H^1\times H^1\) in both directions, i.e. there exist \((u_\pm , v_\pm ) \in H^1\times H^1\) such that
as \(t\rightarrow \pm \infty \). Here \(e^{itc\Delta }\) denotes the classical Schrödinger free propagator. In addition, if \((u_0,v_0) \in H^1 \times H^1\) satisfies (\(\hbox {BC}_{{5d}}\)), then the corresponding solution to (1.4) either blows-up in finite time or there exists \(|t_n|\rightarrow \infty \) such that \(\Vert (u(t_n),v(t_n))\Vert _{H^1\times H^1} \rightarrow \infty \) as \(n\rightarrow \infty \). Furthermore, if \((u_0,v_0) \in \Sigma \times \Sigma \) or \((u_0,v_0)\) is radial, then the solution blows-up in finite time. The first author, see [9], established the strong instability by blow-up for ground state standing waves of (1.4).
If \(\kappa \ne \frac{1}{2}\), Hamano, Inui, and Nishimura [13] established the scattering for radial data below the mass-energy threshold. The proof is based on the concentration/compactness and rigidity scheme in the spirit of Kenig and Merle [20]. Wang and Yang [28] extended the result of [13] to the non-radial case provided that \(\kappa \) belongs to a small neighbourhood of \(\frac{1}{2}\). Their proof made use of a recent method of Dodson and Murphy [11] using the interaction Morawetz inequality. Noguera and Pastor [26] proved that if \((u_0, v_0) \in H^1 \times H^1\) satisfies (\(\hbox {SC}_{{5d}}\)), then the corresponding solution to (1.4) exists globally in time.
Remark 2.1
From a pure mathematical perspective, distinguishing the cases \(\kappa =\frac{1}{2}\) and \(0<\kappa \ne \frac{1}{2}\) plays a role in the virial identities related to (1.4). Under the mass-resonance condition, namely \(\kappa =\frac{1}{2},\) some terms in the virial identities disappear, and the study of the dynamics of solutions is easier due to these cancellations. This is no more the case in the non-mass-resonance setting, i.e. when \(\kappa \ne \frac{1}{2}.\) We refer the reader to [25, Introduction] for an exhaustive list of references in which the effects of the mass and non-mass resonance conditions on the dynamics of solutions to systems similar to (1.4) were studied.
2.2 Energy-critical case
Our next Theorem deals with a blow-up result in the energy-critical case \(d=6.\)
Theorem 2.2
Let \(d=6\), \(\kappa >0\), and \((\phi ,\psi )\) be a ground state related to (1.10). Let \((u_0,v_0) \in \Sigma _6 \times \Sigma _6\) satisfy
Then the corresponding solution to (1.4) blows-up in finite time.
It is worth mentioning that finite time blow-up with negative energy radial data was established in [29], while for nonnegative energy radial data, the blow-up result was shown in [19] for data satisfying
Since we will prove in Lemma 3.3 that (\(\hbox {BC}_{{6d}}\)) is equivalent to (2.3), our result restricted to a radial framework, would be equivalent to the one in [19].
Remark 2.2
If \(\kappa =\frac{1}{2}\), the blow-up result with negative energy and finite variance data was shown in Hayashi, Ozawa, and Tanaka, see [14].
2.3 Mass-critical case
In the mass-critical case, we have the following blow-up or grow-up results for (1.4).
Theorem 2.3
Let \(d=4\) and \(0<\kappa \ne \frac{1}{2}\). Let \((u_0,v_0) \in H^1 \times H^1\) be radially symmetric satisfying \(E(u_0,v_0)<0\). Then the corresponding solution to (1.4) either blows-up forward in finite time, i.e. \(T^*<\infty \), or it blows-up in infinite time in the sense that \(T^*=\infty \) and
for all \(t\ge t_0\), where \(C>0\) and \(t_0 \gg 1\) depend only on \(\kappa , M(u_0,v_0)\), and \(E(u_0,v_0)\). A similar statement holds for negative times.
Under the assumption of Theorem 2.3, the blow-up or grow-up result along one time sequence was proved in [19, Theorem 1.2]. More precisely, if \(T^*=\infty \), then there exists a time sequence \(t_n\rightarrow \infty \) such that \(\Vert (u(t_n),v(t_n))\Vert _{H^1\times H^1}\rightarrow \infty \) as \(n\rightarrow \infty \).
By performing a more careful analysis, our argument yields to a stronger result with respect to the one in [19]. Indeed, we are able to show a growth rate for the kinetic energy of form (2.4) which in turn implies the grow-up result along an arbitrary diverging sequence of times. We would like to mention that this grow-up result along any diverging time sequence, is also an interesting open problem related to the usual mass-supercritical focusing cubic 3D NLS, see the weak conjecture of Holmer and Roudenko in [15].
Remark 2.3
In the case \(\kappa =\frac{1}{2}\) and for radial data with negative energy, the finite time blow-up was shown by the first author in [8]. For the long time dynamics in the mass-critical case we refer to [18].
We give now the following blow-up or grow-up result for anisotropic solutions to (1.4).
Theorem 2.4
Let \(d=4\) and \(0<\kappa \ne \frac{1}{2}\). Let \((u_0,v_0) \in \Sigma _4 \times \Sigma _4\) satisfy \(E(u_0,v_0)<0\). Then the corresponding solution to (1.4) either blows-up forward in finite time, i.e. \(T^*<\infty \), or \(T^*=\infty \) and there exists a time sequence \(t_n\rightarrow \infty \) such that \(\Vert (u(t_n),v(t_n))\Vert _{H^1 \times H^1} \rightarrow \infty \) as \(n\rightarrow \infty \). If we assume \(\kappa =\frac{1}{2}\), then either \(T^*<\infty \) or \(T^*=\infty \) and there exists a time sequence \(t_n\rightarrow \infty \) such that \(\Vert \partial _4u(t_n)\Vert _{L^2} \rightarrow \infty \) as \(n\rightarrow \infty \). A similar statement holds for negative times.
2.4 Extensions to a general system of NLS with quadratic interactions
We conclude this section by listing some extensions of the previous Theorems for general NLS systems with quadratic interactions.
In dimension \(d=5\) and \(d=6,\) namely in the mass-supercritical and the energy-critical case, respectively, the results above can be extended—provided that some structural hypothesis are satisfied —to the following initial value problem for general system of NLS with quadratic interactions:
where \(u_j:{\mathbb {R}}\times {\mathbb {R}}^d\rightarrow {\mathbb {C}}\), the parameters \(a_j,b_j,c_j\) are real coefficients satisfying \(a_j>0, b_j>0\) and \(c_j\ge 0\), and the functions \(f_j\) grow quadratically for all \(j =1,\dots , N\). More precisely, under the assumptions (H1)–(H8) in [25], Theorems 2.1 and 2.2 can be stated for (2.5) as well, with the necessary modifications. In particular, the set of conditions (H1)–(H8) in [25] (see also [24]) ensure that (2.5) is local well-posed, there exist ground states (along with stability and instability properties), and the mass and the energy are conserved. Here the mass is defined by
where the real parameters \(s_j>0\) satisfy
and \(\vec u\) is the compact notation for \((u_1,\dots , u_N)\). The energy is instead defined by
where \(F:{\mathbb {C}}^N\rightarrow {\mathbb {C}}\) is such that \(f_j=\partial _{{\bar{z}}_j}F+\overline{\partial _{z_j}F}\) for any \(j\in \{1,\dots , N\}.\)
In \(d=5\), we denote by \(\vec \phi =(\phi _1,\dots , \phi _N)\) the ground state related to the system of elliptic equations
i.e. \(\vec {\phi }\) is a non-trivial real-valued solution of (2.6) that minimizes the action functional
over all non-trivial real-valued solutions to (2.6), where
Under the assumptions (H1)–(H8) in [25] , ground states related to (2.6) do exist if
If we denote by \({\mathbb {G}}(\omega ,\mathbf {c})\) the set of ground states related to (2.6), where \(\mathbf {c}=(c_1, \dots , c_N)\), then \({\mathbb {G}}(\omega , \mathbf {c})\ne \emptyset \) provided that (2.7) is satisfied. In particular, \({\mathbb {G}} (1,{\varvec{0}}) \ne \emptyset \). Moreover, the following Gagliardo–Nirenberg inequality
is achieved by a ground state \(\vec \phi \in {\mathbb {G}} (\omega ,\mathbf {c})\). We refer the reader to [24, Sect. 4] for more details on ground states related to (2.6).
By adapting the arguments presented in this paper, we can prove the result in Theorem 2.1 provided that we replace (\(\hbox {BC}_{{5d}}\)) with
where \(\vec \phi \in {\mathbb {G}}(1,{\varvec{0}})\) and
Similarly, in \(d=6,\) we can prove the result in Theorem 2.2 provided that we replace (\(\hbox {BC}_{{6d}}\)) with
where \(\vec \varphi =(\varphi _1,\dots , \varphi _N)\) is the ground state related to
Here \(\vec \varphi \) is a ground state related to (2.9) if it is a non-trivial real-valued solution to (2.9) that minimizes the functional \({\mathcal {E}}_0\) over all non-trivial real-valued solutions of (2.9). Note that blow-up results similar to Theorems 2.1 and 2.2 for radial solutions to (2.5) were established in [25]. Thus our extensions are for anisotropic solutions.
As pointed-out in [25], the non-mass-resonance condition \(0<\kappa \ne \frac{1}{2}\) for (1.4) in Theorems 2.1 and 2.2, corresponds to the following analogous condition for (2.5):
In the mass-critical case \(d=4\), we have the following blow-up results for (2.5).
Theorem 2.5
Let \(d=4\) and assume that (2.10) holds. Let \(\vec u_0=(u_{0,1}, \dots , u_{0,N}) \in H^1 \times \dots \times H^1\) be radially symmetric satisfying \({\mathcal {E}}(\vec u_0) <0\). Then the corresponding solution to (2.5) either blows-up forward in finite time, i.e. \(T^*<\infty \), or it blows-up in infinite time in the sense that \(T^*=\infty \) and
for all \(t\ge t_0\), where \(C>0\) and \(t_0\gg 1\) depend only on \({\mathcal {M}}(\vec u_0)\), and \({\mathcal {E}}(\vec u_0)\). Moreover, if we assume
instead of (2.10), then the corresponding solution to (2.5) blows-up in finite time.
The proof of this result follows from a similar argument as that for Theorem 2.3 using a refined localized virial estimates (see Lemma A.1). Our result is new even under the mass-resonance condition (2.11). Note that the finite time blow-up for (2.5) in the mass-critical case \(d=4\) was proved in [24, Theorem 5.11] only for finite variance solutions.
Theorem 2.6
Let \(d=4\) and assume that (2.10) holds. Let \(\vec u_0 = (u_{0,1}, \dots , u_{0,N}) \in \Sigma _4 \times \dots \times \Sigma _4\) satisfy \({\mathcal {E}}(\vec u_0)<0\). Then the corresponding solution to (2.5) either blows-up forward in finite time, i.e. \(T^*<\infty \), or \(T^*=\infty \) and there exists a time sequence \(t_n \rightarrow \infty \) such that \(\Vert (u_1(t_n), \dots , u_N(t_n))\Vert _{H^1 \times \dots \times H^1} \rightarrow \infty \) as \(n\rightarrow \infty \). If we assume (2.11) instead of (2.10), then either \(T^* <\infty \) or \(T^*=\infty \) and \(\Vert (\partial _4 u_1(t_n), \dots , \partial _4 u_N(t_n))\Vert _{L^2\times \dots \times L^2} \rightarrow \infty \) for some diverging time sequence \(t_n\rightarrow \infty .\)
Similarly to Theorem 2.4, the proof of Theorem 2.6 is based on refined localized virial estimates for anisotropic solutions to (2.5) (see Lemma A.2). Therefore, we will omit the details of the proof.
The paper is organized as follows. In Sect. 3, we recall some useful properties of ground states related to (1.9) and (1.10). We also prove some variational estimates associated with blow-up conditions given in Theorems 2.1 and 2.2. Section 4 is devoted to various localized virial estimates for radial and anisotropic solutions to (1.4). The proofs of our main results are given in Sect. 5. Finally, we prove in “Appendix” some localized virial estimates for the general system (2.5) of NLS with quadratic interactions.
3 Variational analysis
In this section, we report some useful properties of ground states related to (1.9) and (1.10). Then we use them to get some a-priori uniform-in-time estimates for the Pohozaev functional evaluated at the solutions to the corresponding time-dependent equations.
3.1 Variational inequalities
We first recall the following Gagliardo–Nirenberg-type inequalities due to [14] (see also [26]): for \(1\le d\le 5\),
The optimal constant in (3.1) is attained by any ground state \((\phi ,\psi )\) related to (1.9), i.e.
This result was first shown by Hayashi, Ozawa, and Tanaka [14, Theorem 5.1] (for \(d=4\)), and recently by Noguera and Pastor [26, Corollary 2.10] (for \(1\le d\le 5\)). We also have the following Pohozaev’s identity:
It follows that
When \(d=4\), we have
Although the uniqueness (up to symmetries) of ground states related to (1.9) is not known yet, (3.3) shows that the mass of ground states does not depend on the choice of a ground state \((\phi ,\psi )\).
In the case \(d=5\), we have
and
In particular, the quantities
do not depend on the choice of a ground state \((\phi ,\psi )\).
When \(d=6\), we have the following Sobolev-type inequality:
It was shown in [25, Theorem 3.3] that the sharp constant in (3.7) is achieved by a ground state \((\phi ,\psi )\) related to (1.10), i.e.
Using the following identity
we see that
and
This shows in particular that \(E(\phi ,\psi )\) and \(T(\phi ,\psi )\) do not depend on the choice of a ground state \((\phi ,\psi )\).
3.2 Variational estimates
In this section, we characterize the blow-up region defined in (\(\hbox {BC}_{{5d}}\)) (see (\(\hbox {BC}_{{6d}}\)) for the energy critical case) in terms of the sign of the Pohozaev functional G defined in (1.7). For similar analysis in the context of the classical NLS equation, we refer to our previous works [2, 10].
Lemma 3.1
Let \(d=5\), \(\kappa >0\), and \((\phi ,\psi )\) be a ground state related (1.9). Denote
and
Then \({\mathcal {A}}\equiv {\tilde{{\mathcal {A}}}}\).
Proof
Let \((f,g) \in {\mathcal {A}}\). We will show that \(G(f,g) <0\), hence \((f,g) \in {\tilde{{\mathcal {A}}}}\). We have
hence \(G(f,g)<0\) by using (3.5).
Now let \((f,g) \in {\tilde{{\mathcal {A}}}}\). We will show that \(T(f,g) M(f,g) > T(\phi ,\psi ) M(\phi ,\psi )\), so \((f,g) \in {\mathcal {A}}\). Indeed, as \(G(f,g) <0\), we use (3.1) to have
In particular, we have
which, by (3.4), implies that
The proof is complete. \(\square \)
Lemma 3.2
Let \(d=5\), \(\kappa >0\), and \((\phi ,\psi )\) be a ground state related to (1.9). Let \((u_0,v_0) \in H^1 \times H^1\) satisfy (\(\hbox {BC}_{{5d}}\)). Let (u, v) be the corresponding solution to (1.4) defined on the maximal forward time interval \([0,T^*)\). Then there exist positive constants \(\varepsilon \) and c such that
for all \(t\in [0,T^*)\).
Proof
In case of negative energy the proof is straightforward: indeed, if \(E(u_0,v_0)<0\), the conservation of energy yields
This shows (3.12) with \(\varepsilon = \frac{1}{4}\) and \(c= -\frac{5}{2} E(u_0,v_0)>0\).
Let us now focus on the case \(E(u_0,v_0)\ge 0\). By (3.1), we have for all \(t\in [0,T^*)\),
where
Using (3.4) and (3.5), we see that
Thanks to the first condition in (\(\hbox {BC}_{{5d}}\)) and the conservation laws of mass and energy, we can continue estimate (3.13) as
By the continuity argument and the second condition in (\(\hbox {BC}_{{5d}}\)), we infer that
for all \(t\in [0,T^*)\). Next we use the first condition in (\(\hbox {BC}_{{5d}}\)) to pick \(\rho := \rho (u_0,v_0, \phi ,\psi )>0\) so that
It follows that
Using the fact that
we infer that
for all \(t\in [0,T^*)\). We consider \(g(\lambda ):= 5 \lambda -4 \lambda ^{\frac{5}{4}}\) for \(\lambda >1\). Note that the condition \(\lambda >1\) is due to (3.14). We see that \(g^\prime (1)=0\) and g is strictly decreasing on \((1,\infty )\). It follows from (3.16) that there exists \(\nu := \nu (\rho )>0\) such that \(\lambda >1+\nu \). In particular, we have
for all \(t\in [0,T^*)\). Now let \(\varepsilon >0\) to be chosen later. By the conservation of mass and energy, (3.5), (3.15), and (3.17), we have for all \(t\in [0,T^*)\),
By taking \(0<\varepsilon <\frac{\rho +\nu }{4(1+\nu )}\) and using the conservation of mass, we have (3.12) with
The proof is complete. \(\square \)
Lemma 3.3
Let \(d=6\), \(\kappa >0\), and \((\phi ,\psi )\) be a ground state related (1.10). Denote
and
Then \({\mathcal {B}}\equiv {\tilde{{\mathcal {B}}}}\).
Proof
Let \((f,g) \in {\mathcal {B}}\). We will show that \(G(f,g) <0\). Indeed, by (3.9), we have
Let us consider now \((f,g) \in {\tilde{{\mathcal {B}}}}\). As \(G(f,g) <0\), we have from (3.7) that
or equivalently \([T(f,g)]^{\frac{1}{2}} > \frac{1}{3} C_{{{\,\mathrm{Sob}\,}}}^{-1}\). This shows that \(T(f,g)> T(\phi ,\psi )\) thanks to (3.8). \(\square \)
Lemma 3.4
Let \(d=6\), \(\kappa >0\), and \((\phi ,\psi )\) be a ground state related (1.10). Let \((u_0,v_0) \in H^1 \times H^1\) satisfy (\(\hbox {BC}_{{6d}}\)). Let (u, v) be the corresponding solution to (1.4) defined on the maximal forward time interval \([0,T^*)\). Then there exist positive constants \(\varepsilon \) and c such that
for all \(t\in [0,T^*)\).
Proof
The proof is similar to that of Lemma 3.2 using (3.8) and (3.9). We thus omit the details. \(\square \)
4 Localized virial estimates
In this section we prove the preliminary and fundamental estimates we need for the proof of our main Theorems. We start with the following virial identity (see e.g. [28, (4.34)]).
Lemma 4.1
Let \(d\ge 1\) and \(\kappa >0\). Let \(\varphi : {\mathbb {R}}^d \rightarrow {\mathbb {R}}\) be a sufficiently smooth and decaying function. Let (u, v) be a \(H^1\)-solution to (1.4) defined on the maximal forward time interval \([0,T^*)\). Define
Then we have for all \(t\in [0,T^*)\),
The above identity can be checked by formal computations. The rigorous proof can be done by performing a standard approximation trick (see e.g. [4, Sect. 6.5]).
Remark 4.1
From now on we denote \(r=|x|.\)
-
(1)
If \(\varphi (x) = |x|^2\), then
$$\begin{aligned} \frac{\hbox {d}}{\hbox {d}t} M_{|x|^2}(t) = 8 G(u(t),v(t)), \end{aligned}$$where G is as in (1.7).
-
(2)
If \(\varphi \) is radially symmetric, then using the fact that
$$\begin{aligned} \partial _j = \frac{x_j}{r} \partial _r, \quad \partial ^2_{jk} = \left( \frac{\delta _{jk}}{r} - \frac{x_jx_k}{r^3} \right) \partial _r + \frac{x_j x_k}{r^2} \partial ^2_r, \end{aligned}$$we have
$$\begin{aligned}&\sum _{j,k=1}^d {{\,\mathrm {Re}\,}}\int \partial ^2_{jk} \varphi (x) \partial _j u (t,x) \partial _k {\overline{u}}(t,x) \text{ d }x \\ {}&\quad = \int \frac{\varphi '(r)}{r} |\nabla u(t,x)|^2 \text{ d }x + \int \left( \frac{\varphi ''(r)}{r^2}-\frac{\varphi '(r)}{r^3}\right) |x \cdot \nabla u(t,x)|^2 \text{ d }x. \end{aligned}$$In particular, we have
$$\begin{aligned} \frac{\hbox {d}}{\hbox {d}t} M_\varphi (t) =&-\int \Delta ^2 \varphi (x) \left( |u(t,x)|^2 + \kappa |v(t,x)|^2 \right) \hbox {d}x \\&+ 4\int \frac{\varphi '(r)}{r} \left( |\nabla u(t,x)|^2 + \kappa |\nabla v(t,x)|^2 \right) \hbox {d}x \\&+ 4 \int \left( \frac{\varphi ''(r)}{r^2} - \frac{\varphi '(r)}{r^3} \right) \left( |x\cdot \nabla u(t,x)|^2 + \kappa |x\cdot \nabla u(t,x)|^2 \right) \hbox {d}x \\&- 2 {{\,\mathrm{Re}\,}}\int \Delta \varphi (x) v(t,x) {\overline{u}}^2(t,x) \hbox {d}x. \end{aligned}$$ -
(3)
If \(\varphi \) is radial and (u, v) is also radial, then
$$\begin{aligned} \frac{\hbox {d}}{\hbox {d}t} M_\varphi (t) =&-\int \Delta ^2 \varphi (x) \left( |u(t,x)|^2 + \kappa |v(t,x)|^2\right) \hbox {d}x \\&+ 4 \int \varphi ''(r) \left( |\nabla u(t,x)|^2 + \kappa |\nabla v(t,x)|^2\right) \hbox {d}x \\&- 2 {{\,\mathrm{Re}\,}}\int \Delta \varphi (x) v(t,x) {\overline{u}}^2(t,x) \hbox {d}x. \end{aligned}$$ -
(4)
Let \(d\ge 3\) and denote \(x=(y,x_d)\) with \(y=(x_1, \dots , x_{d-1}) \in {\mathbb {R}}^{d-1}\) and \(x_d \in {\mathbb {R}}\). Let \(\psi : {\mathbb {R}}^{d-1} \rightarrow {\mathbb {R}}\) be a sufficiently smooth and decaying function. Set \(\varphi (x) = \psi (y) + x_d^2\). We have
$$\begin{aligned} \frac{\hbox {d}}{\hbox {d}t}M_\varphi (t) =&-\int \Delta ^2_y \psi (y) \left( |u(t,x)|^2 + \kappa |v(t,x)|^2\right) \hbox {d}x \\&+ 4\sum _{j,k=1}^{d-1} {{\,\mathrm{Re}\,}}\int \partial ^2_{jk} \psi (y) \left( \partial _j u(t,x) \partial _k {\overline{u}}(t,x) + \kappa \partial _j v(t,x) \partial _k {\overline{v}}(t,x)\right) \hbox {d}x \\&- 2 {{\,\mathrm{Re}\,}}\int \Delta _y \psi (y) v(t,x) {\overline{u}}^2(t,x)\hbox {d}x \\&+ 8 \left( \Vert \partial _d u(t)\Vert ^2_{L^2} + \kappa \Vert \partial _d v(t)\Vert ^2_{L^2}\right) - 4 P(u(t),v(t)). \end{aligned}$$Moreover, if \((u(t),v(t)) \in \Sigma _d \times \Sigma _d\) for all \(t\in [0,T^*)\), then we have
$$\begin{aligned} \frac{\hbox {d}}{\hbox {d}t} M_\varphi (t) =&-\int \Delta ^2_y \psi (y) \left( |u(t,x)|^2 + \kappa |v(t,x)|^2\right) \hbox {d}x \\&+ 4\int \psi ''(\rho ) \left( |\nabla _y u(t,x)|^2 + \kappa |\nabla _y v(t,x)|^2\right) \hbox {d}x \\&- 2 {{\,\mathrm{Re}\,}}\int \Delta _y \psi (y)v(t,x) {\overline{u}}^2(t,x) \hbox {d}x \\&+ 8 \left( \Vert \partial _d u(t)\Vert ^2_{L^2} + \kappa \Vert \partial _d v(t)\Vert ^2_{L^2}\right) - 4 P(u(t),v(t)), \end{aligned}$$where \(\rho = |y|\).
Let \(\chi : [0,\infty ) \rightarrow [0,\infty )\) be a sufficiently smooth function satisfying
Given \(R>1\), we define, by rescaling, the radial function \(\varphi _R: {\mathbb {R}}^d \rightarrow {\mathbb {R}}\) by
In the mass-critical case, we have the following refined (with respect to the one in [19]) radial localized virial estimate.
Lemma 4.2
Let \(d=4\) and \(\kappa >0\). Let (u, v) be a radial \(H^1\)-solution to (1.4) defined on the maximal forward time interval \([0,T^*)\). Let \(\varphi _R\) be as in (4.3) and denote \(M_{\varphi _R}(t)\) as in (4.1). Then we have for all \(t\in [0,T^*)\),
for some constant \(C>0\) depending only on \(\kappa \) and \(M(u_0,v_0)\), where
Proof
By Item (3) of Remark 4.1, we have for all \(t\in [0,T^*)\),
By the fact that \(\Vert \Delta ^2 \varphi _R\Vert _{L^\infty } \lesssim R^{-2}\) together with the conservation of mass, we get the decay
Furthermore, by using that \(\varphi ''_R (r) \le 2,\) and by noting that \(G(u(t),v(t))=2 E(u(t),v(t))\) if \(d=4,\) (4.6) can be controlled by
We estimate
where we have used the conservation of mass in the last estimate. Note that \(\theta _{2,R}(x)=0\) for \(|x|\le R\). As \(\Vert \nabla \theta _{2,R}\Vert _{L^\infty } \lesssim 1\), the conservation of mass implies that
It follows that
Therefore, we obtain
The proof is complete. \(\square \)
Next we derive localized virial estimates for cylindrically symmetric solutions. To this end, we introduce
and set
Lemma 4.3
(Cylindrical localized virial estimate I) Let \(d=5,6\), and \(\kappa >0\). Let (u, v) be a \(\Sigma _d\)-solution to (1.4) defined on the maximal forward time interval \([0,T^*)\). Let \(\varphi _R\) be as in (4.8) and denote \(M_{\varphi _R}(t)\) as in (4.1). Then we have for all \(t\in [0,T^*)\),
for some constant \(C>0\) depending only on \(d,\kappa \), and \(M(u_0,v_0)\).
Proof
By Item (4) of Remark 4.1, we have for all \(t\in [0,T^*)\),
It follows that
As \(\psi ''_R(\rho ) \le 2\) and \(\Vert \Delta _y \psi _R\Vert _{L^\infty _x} \lesssim 1\), we have
By the conservation of mass, we have
Next we estimate
Set \(g(x_d):= \Vert u(t,x_d)\Vert ^2_{L^2_y}\), we have
which, by the conservation of mass, implies that
We next use the radial Sobolev embedding, see [5],
to have
Collecting (4.11), (4.12), and (4.14), we get
This together with (4.10) prove (4.9). The proof is complete. \(\square \)
We also have the following refined localized virial estimate which will be used in the mass-critical problem.
Lemma 4.4
(Cylindrical localized virial estimate II) Let \(d=4\) and \(\kappa >0\). Let (u, v) be a \(\Sigma _4\)-solution to (1.4) defined on the maximal forward time interval \([0,T^*)\). Let \(\varphi _R\) be as in (4.8) and denote \(M_{\varphi _R}(t)\) as in (4.1). Then we have for all \(t\in [0,T^*)\),
for some constant \(C>0\) depending only on \(\kappa \) and \(M(u_0,v_0)\), where
Proof
Estimating as in the proof of Lemma 4.3, we have
By the conservation of mass, we see that
By the Hölder’s inequality, we have
The first term is treated in (4.12). For the second term, as \(\vartheta _{2,R}(y) =0\) for \(|y|\le R\), we use the radial Sobolev embedding (4.13) to have
It follows that
where we have used the conservation of mass and \(\Vert \nabla \vartheta _{2,R}\Vert _{L^\infty _x}\lesssim 1\) to get the last estimate. Collecting the above estimates, we prove (4.15). \(\square \)
5 Proof of the main results
We are now able to prove the main results stated in Sect. 2.
5.1 The intercritical case
The proof of Theorem 2.1 is done by performing an ODE argument, by using the a-priori estimates we proved in the previous section.
Proof of Theorem 2.1
Let \((u_0,v_0) \in \Sigma _5 \times \Sigma _5\) satisfy (\(\hbox {BC}_{{5d}}\)). We will show that \(T^*<\infty \). Assume by contradiction that \(T^*=\infty \). By Lemma 3.2, there exist positive constants \(\varepsilon \) and c such that
for all \(t\in [0,\infty )\). On the other hand, by Lemma 4.3, we have for all \(t\in [0,\infty )\),
where \(\varphi _R\) is as in (4.3) and \(M_{\varphi _R}(t)\) is as in (4.1). It follows from (5.1) and (5.2) that for all \(t\in [0,\infty )\),
By choosing \(R>1\) sufficiently large, we get
for all \(t\in [0,\infty )\). Integrating the above inequality, we see that \(M_{\varphi _R}(t) <0\) for all \(t\ge t_0\) with some \(t_0>0\) sufficiently large. We infer from (5.3) that
for all \(t\ge t_0\). On the other hand, by the Hölder’s inequality and the conservation of mass, we have
for all \(t\ge t_0\), where \(A=A(\varepsilon , \varphi _R, \kappa , M(u_0,v_0))>0\). Set
We see that z(t) is non-decreasing and nonnegative. Moreover,
For \(t_1>t_0\), we integrate (5.7) over \([t_1,t]\) to obtain
This shows that \(z(t) \rightarrow +\infty \) as \(t \nearrow t^*\), where
In particular, we have
as \(t\nearrow t^*\). Thus the solution cannot exist for all time \(t\ge 0\). Therefore, it must blow-up in finite time.
\(\square \)
5.2 The energy-critical case
The proof is done by an ODE argument as well, similarly to the intercritical case.
Proof of Theorem 2.2
The proof is similar to that of Theorem 2.1 using (3.20) and (4.9). Thus we omit the details. \(\square \)
5.3 The mass-critical case
In this subsection, we give the proofs of the blow-up/grow-up results given in Theorems 2.3 and 2.4.
Proof of Theorem 2.3
Let \((u_0,v_0) \in H^1\times H^1\) be radially symmetric satisfying \(E(u_0,v_0)<0\). Let (u, v) be the corresponding solution to (1.4) defined on the maximal forward time interval \([0,T^*)\). If \(T^*<\infty \), then we are done. Suppose that \(T^*=\infty \). We will show that there exists a constant \(C>0\) depending only on \(\kappa , M(u_0,v_0)\), and \(E(u_0,v_0)\) such that
for all \(t\ge t_0\), where \(t_0\gg 1\), namely that (2.4) holds true. Let \(\varphi _R\) be as in (4.3) and \(M_{\varphi _R}(t)\) as in (4.1). By Lemma 4.2 and the conservation of energy, we have for all \(t\in [0,\infty )\),
where \(\theta _{1,R}\) and \(\theta _{2,R}\) are as in (4.5).
If we can show that
then, by taking \(R>1\) large enough, we get
for all \(t\in [0,\infty )\). Integrating the above estimate, we have
which implies
for all \(t\ge t_0\), where \(t_0:= \frac{|M_{\varphi _R}(0)|}{-4E(u_0,v_0)}\). By (5.5), we have
for all \(t\ge t_0\). This shows (2.4).
It remains to find a suitable cut-off function \(\chi \) (as defined in (4.2)) so that (5.8) holds. For the choice of such a function, we are inspired by [27]. Let
and
It is easy to see that \(\chi \) satisfies (4.2). Define \(\varphi _R\) as in (4.3). We will show that (5.8) is satisfied for this choice of \(\varphi _R\). Indeed, we have \(\theta _{1,R}(r) = 2-\varphi ''_R(r)\) and
where the latter follows from the fact that
We infer, from the definition of \(\varphi _R,\) that
-
For \(0 \le r =|x|\le R\), we have \(\theta _{1,R}(r) = \theta _{2,R}(x) =0\).
-
For \(R < r = |x| \le (1+1/\sqrt{3}) R\), we have
$$\begin{aligned} \theta _{1,R}(r) = 6(r/R-1)^2 \end{aligned}$$and
$$\begin{aligned} \theta _{2,R}(x) = 2(r/R-1)^2 \left( 3+2 \frac{r/R-1}{r/R}\right) < 2\left( 3+\frac{2}{\sqrt{3}}\right) (r/R-1)^2. \end{aligned}$$By choosing \(R>1\) sufficiently large, we see that (5.8) is fulfilled.
-
When \(r> (1+1/\sqrt{3})R\), we see that \(\zeta '(r/R) \le 0\), so \(\theta _{1,R}(r) = 2-\varphi ''_R(r) \ge 2\). We also have \(\theta _{2,R}(r) \le C\) for some constant \(C>0\). Thus by choosing \(R>1\) sufficiently large, we have (5.8).
The proof is complete by glueing together (2.4) and (5.8). \(\square \)
We can now proceed with the proof of the cylindrical case.
Proof of Theorem 2.4
Let \((u_0,v_0) \in \Sigma _4 \times \Sigma _4\) satisfy \(E(u_0,v_0)<0\). Let (u, v) be the corresponding solution to (1.4) defined on the maximal forward time interval \([0,T^*)\).
First we consider the non-mass-resonance case, i.e. \(0<\kappa \ne \frac{1}{2}\). If \(T^*<\infty \), then we are done. Suppose that \(T^*=\infty \). We will show that there exists a time sequence \(t_n \rightarrow \infty \) such that \(\Vert (u(t_n),v(t_n))\Vert _{H^1 \times H^1} \rightarrow \infty \) as \(n\rightarrow \infty \). Assume by contradiction that it is not true, that is,
Let \(\varphi _R\) be as in (4.8) and \(M_{\varphi _R}(t)\) as in (4.1). By Lemma 4.4 and the conservation of energy, we have for all \(t\in [0,\infty )\),
for some constant \(C>0\) depending only on \(\kappa \) and \(M(u_0,v_0)\), where \(\vartheta _{1,R}\) and \(\vartheta _{2,R}\) are as in (4.16). This, together with (5.10), gives
for all \(t\in [0,\infty ).\)
Provided that we prove
then we can choose \(R>1\) large enough so that for all \(t\in [0,\infty )\),
Arguing as in the proof of Theorem 2.3, we have
for all \(t\ge t_0\), where \(t_0 \gg 1\). In particular, we have
for all \(t\ge t_0\) which contradicts (5.10) for t sufficiently large.
Next we consider the mass-resonance case, i.e. \(\kappa =\frac{1}{2}\). If \(T^*<\infty \), then we are done. Suppose that \(T^*=\infty \). We will show that there exists a time sequence \(t_n \rightarrow \infty \) such that \(\Vert \partial _4 u(t_n)\Vert _{L^2}\rightarrow \infty \) as \(n\rightarrow \infty \). Assume by contradiction that it does not hold, i.e.
Thanks to (5.11), we have for all \(t\in [0,\infty )\),
Provided that (5.12) holds true, we can choose \(R>1\) sufficiently large to get for all \(t\in [0,\infty )\),
As \(\kappa =\frac{1}{2}\), we see that
where
It follows that, for all \(t\in [0,\infty )\),
Integrating the above inequality, there exists \(t_0>0\) sufficiently large so that \(V_{\varphi _R}(t_0)<0\) which is impossible.
Finally, let us choose a suitable cut-off function \(\varphi _R\) so that (5.12) is fulfilled. Let \(\chi \) be as in (5.9). It is easy to see that \(\chi \) satisfies (4.2). Define
and let \(\varphi _R\) be as in (4.8), namely \(\varphi _R(x)=\psi _R(y)+x_4^2\). For \(\vartheta _{1,R}(\rho ) = 2-\psi ''_R(\rho )\) and
since \(\Delta _y \psi _R(y) = \psi ''_R(\rho ) +\frac{2}{\rho }\psi '_R(\rho )\), we can infer that (5.12) is satisfied for this choice of \(\psi _R\). The proof is similar to the one for (5.8), so we omit the details. The proof is complete. \(\square \)
References
Ardila, A.H., Dinh, V.D., Forcella, L.: Sharp conditions for scattering and blow-up for a system of NLS arising in optical materials with \(\chi ^3\) nonlinear response. Communications in Partial Differential Equations. https://doi.org/10.1080/03605302.2021.1925916
Bellazzini, J., Forcella, L.: Asymptotic dynamic for dipolar quantum gases below the ground state energy threshold. J. Funct. Anal. 277(6), 1958–1998 (2019)
Bellazzini, J., Forcella, L.: Dynamical collapse of cylindrical symmetric dipolar Bose–Einstein Condensates, Calculus of Variations and Partial Differential Equations, to appear. Preprint, arXiv:2005.02894
Cazenave, T.: Semilinear Schrödinger equations. Courant Lecture Notes in Mathematics, vol. 10, New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI (2003)
Cho, Y., Ozawa, T.: Sobolev inequalities with symmetry. Commun. Contemp. Math. 11(3), 355–365 (2009)
Colin, M., Colin, Th., Ohta, M.: Stability of solitary waves for a system of nonlinear Schrödinger equations with three wave interaction. Ann. Inst. H. Poincaré Anal. Non Linéaire 26(6), 2211–2226 (2009). (English, with English and French summaries)
Colin, M., Di Menza, L., Saut, J.C.: Solitons in quadratic media. Nonlinearity 29(3), 1000–1035 (2016)
Dinh, V.D.: Existence, stability of standing waves and the characterization of finite time blow-up solutions for a system NLS with quadratic interaction. Nonlinear Anal. 190, 111589, 39 (2020)
Dinh, V.D.: Strong instability of standing waves for a system NLS with quadratic interaction. Acta Math. Sci. Ser. B (Engl. Ed.) 40(2), 515–528 (2020)
Dinh, V.D., Forcella, L., Hajaiej, H.: Mass-Energy threshold dynamics for dipolar Quantum Gases, Communications in Mathematical Sciences, to appear. Preprint, arXiv:2009.05933
Dodson, B., Murphy, J.: A new proof of scattering below the ground state for the non-radial focusing NLS. Math. Res. Lett. 25(6), 1805–1825 (2018)
Hamano, M.: Global dynamics below the ground state for the quadratic Schödinger system in 5d. Preprint, arXiv:1805.12245
Hamano, M., Inui, T., Nishimura, K.: Scattering for the quadratic nonlinear Schrödinger system in \({\mathbb{R}}^5\) without mass-resonance condition. Preprint, arXiv:1903.05880
Hayashi, N., Ozawa, T., Tanaka, K.: On a system of nonlinear Schrödinger equations with quadratic interaction. Ann. Inst. H. Poincaré Anal. Non Linéaire 30(4), 661–690 (2013)
Holmer, J., Roudenko, S.: Divergence of infinite-variance nonradial solutions to the 3D NLS equation. Commun. Partial Differ. Equ. 35(5), 878–905 (2010)
Inui, T.: Global dynamics of solutions with group invariance for the nonlinear Schrödinger equation. Commun. Pure Appl. Anal. 16(2), 557–590 (2017)
Inui, T.: Remarks on the global dynamics for solutions with an infinite group invariance to the nonlinear Schrödinger equation. Harmonic analysis and nonlinear partial differential equations, RIMS Kôkyûroku Bessatsu, B70, Res. Inst. Math. Sci. (RIMS), Kyoto, pp. 1–32 (2018)
Inui, T., Kishimoto, N., Nishimura, K.: Scattering for a mass critical NLS system below the ground state with and without mass-resonance condition. Discrete Contin. Dyn. Syst. 39(11), 6299–6353 (2019)
Inui, T., Kishimoto, N., Nishimura, K.: Blow-up of the radially symmetric solutions for the quadratic nonlinear Schrödinger system without mass-resonance. Nonlinear Anal. 198, 111895, 10 (2020)
Kenig, C.E., Merle, F.: Global well-posedness, scattering and blow-up for the energy-critical, focusing, nonlinear Schrödinger equation in the radial case. Invent. Math. 166(3), 645–675 (2006)
Kivshar, Y.S., Sukhorukova, A.A., Ostrovskayaa, E.A., Alexandera, T.J., Bang, O., Saltiel, S.M., Clausen, C.B., Christiansen, P.L.: Multi-component optical solitary waves. Physica A: Stat. Mech. Appl. 288(1–4), 152–173 (2000)
Koynov, K., Saltiel, S.: Nonlinear phase shift via multistep \(\chi ^{(2)}\) cascading. Opt. Commun. 152(1), 96–100 (1998)
Martel, Y.: Blow-up for the nonlinear Schrödinger equation in nonisotropic spaces. Nonlinear Anal. 28(12), 1903–1908 (1997)
Noguera, N., Pastor, A.: A system of Schrödinger equations with general quadratic-type nonlinearities, Communications in Contemporary Mathematics (in press) (2020). https://doi.org/10.1142/S0219199720500236
Noguera, N., Pastor, A.: Blow-up solutions for a system of Schrödinger equations with general quadratic type nonlinearities in dimensions five and six. Preprint, arXiv:2003.11103
Noguera, N., Pastor, A.: On the dynamics of a quadratic Schrödinger system in dimension \(n =5\). Dyn. Partial Differ. Equ. 17(1), 1–17 (2020)
Ogawa, T., Tsutsumi, Y.: Blow-up of \(H^1\) solution for the nonlinear Schrödinger equation. J. Differ. Equ. 92(2), 317–330 (1991)
Wang, H., Yang, Q.: Scattering for the 5D quadratic NLS system without mass-resonance. J. Math. Phys. 60(12), 121508, 23 (2019)
Yoshida, N.: Master Thesis, Osaka University (2013)
Acknowledgements
V. D. D. was supported in part by the Labex CEMPI (ANR-11-LABX-0007-01). L.F. was supported by the EPSRC New Investigator Award (grant no. EP/S033157/1).
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.
Appendix: Localized virial estimates for the 4D general quadratic system
Appendix: Localized virial estimates for the 4D general quadratic system
In this appendix, we provide some localized virial estimates related to a generalized system of NLS with quadratic interactions (2.5) in the mass-critical case \(d=4\).
Lemma A.1
Let \(d=4\) and \(\vec u\) be a radial \(H^1\)-solution to (2.5) defined on the maximal forward time interval \([0,T^*)\). Let \(\varphi _R\) be as in (4.3) and denote
Then we have for all \(t\in [0,T^*)\),
for some constant \(C>0\) depending only on \(\kappa \), \({\varvec{a}}=(a_1,\dots , a_N)\), and \({\mathcal {M}}(\vec u_0)\), where \(\theta _{1,R}\) and \(\theta _{2,R}\) are as in (4.5).
Proof
Arguing as in the proof of [25, Theorem 4.1], we have for all \(t\in [0,T^*)\),
By the conservation of mass, we have
Thus we get
where \(\theta _{1,R}\) and \(\theta _{2,R}\) are as in (4.5). By the assumption (H6) in [25], the radial Sobolev embedding and the conservation of mass, we estimate
Thanks to the conservation of mass and the fact that \(\Vert \nabla \theta _{2,R}\Vert _{L^\infty } \lesssim 1\), we have
which implies that
Collecting (A.2) and (A.3), we finish the proof. \(\square \)
Lemma A.2
Let \(d=4\) and \(\vec u\) be a \(\Sigma _4\)-solution to (2.5) defined on the maximal forward time interval \([0,T^*)\). Let \(\varphi _R\) be as in (4.8) and denote \({\mathcal {M}}_{\varphi _R}(t)\) as in (A.1). Then we have for all \(t\in [0,T^*)\),
for some constant \(C>0\) depending only on \(\kappa \), \({\varvec{a}}=(a_1,\dots ,a_N)\), and \({\mathcal {M}}(\vec u_0)\), where \(\vartheta _{1,R}\) and \(\vartheta _{2,R}\) are as in (4.16).
Proof
Using localized virial identities similar to Item (4) of Remark 4.1 (see also Lemma 4.4), we have for all \(t\in [0,T^*)\),
where \(\vartheta _{1,R}\) and \(\vartheta _{2,R}\) are as in (4.16). We estimate
Estimating as in Lemmas 4.3 and 4.4, we have
The proof is complete by collecting the above estimates. \(\square \)
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
Dinh, V.D., Forcella, L. Blow-up results for systems of nonlinear Schrödinger equations with quadratic interaction. Z. Angew. Math. Phys. 72, 178 (2021). https://doi.org/10.1007/s00033-021-01607-6
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00033-021-01607-6