Abstract
In this paper, we investigate the initial value problem(IVP henceforth) associated with the higher order nonlinear dispersive equation given in Jones et al. (Int J Math Math Sci 24:371–377, 2000):
with the initial data in the Sobolev space \(H^s({\mathbb {R}}).\) Benefited from the ideas of Huo and Jia (Z Angew Math Phys 59:634–646, 2008), Zhang et al. (Acta Math Sci 37B(2):385–394, 2017) and Zhang and Huang (Math Methods Appl Sci 39(10):2488–2513, 2016) that is, using Fourier restriction norm method, Tao’s [k, Z]-multiplier method and the contraction mapping principle, we prove that IVP is locally well-posed for the initial data \(u_0\in H^s({\mathbb {R}})\) with \(s\ge -\frac{5}{8}\). Moreover, based on the local well-posedness and conservation law, we establish the global well-posedness for the initial data \(u_0\in H^s({\mathbb {R}})\) with \(s=0\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we investigate the IVP associated with the higher order nonlinear dispersive equation as follows:
where \(\alpha \ne 0\), \(\beta \), \(\gamma \), \(\mu \), \(\lambda \) are real numbers.
Equation (1.1) is called the higher order nonlinear dispersive equation which arises in the study of water waves with surface tension and arises as mathematical models for the weakly nonlinear propagation of long waves, see Ref. [1]. Indeed, Eq. (1.1) models the situation when nonlinearity (i.e \(\lambda u\partial _xu\)), dispersion (including higher dispersion \(\alpha \partial _x^7u\) and lower dispersion \(\beta \partial _x^5u\), \(\alpha \partial _x^3u\), \(\gamma \partial _xu\)) are taken into account at the same time.
Setting \(\alpha =0\) in (1.1), Eq. (1.1) becomes the Kawahara equation (for short KE)
Hence, Eq. (1.1) can be regarded as a perturbation of KE(1.3)by a higher dispersion term \(\alpha \partial _x^7u\). (1.3) is one of important dispersive equation which was proposed firstly by Kawahara in 1972, see Ref. [2].
When \(\beta =0,\)\(\gamma \ne 0\) and \(\mu \ne 0\), Eq. (1.3) reduces to KdV equation. There is a large literature concerning well-posedness of KdV equation in Sobolev spaces with low regularity. We refer the reader to Ref. [3,4,5,6,7,8]. In [3], by using the I-method, the authors proved the KdV equation is globally well-posed for the initial data \(u_0\in H^s({\mathbb {R}})\) with \(s>-\frac{3}{4}\). In [7], by using Cauchy-Schwartz inequality, the authors proved that the KdV equation is globally well-posed for the initial data \(u_0\in H^s({\mathbb {R}})\) with \(s>-\frac{3}{4}\). In [8], Molinet and Ribaud investigated the local and global Cauchy problem for the generalized KdV equation
with the initial data in homogeneous and non-homogeneous Besov spaces and proved existence and uniqueness of self-similar solutions. In [9], by constructing some special resolution spaces and using dyadic bilinear estimates together with I-method, Guo proved that the KdV equation is globally well-posedness for the initial data \(u_0\in H^s({\mathbb {R}})\) with \(s=-\frac{3}{4}.\) When \(\alpha = 0,\)\(\beta \ne 0,\)\(\mu \ne 0\), Eq. (1.1) reduces to an usual Kawahara Eq. (1.3) which has been studied by many authors, see [10,11,12,13,14,15]. In [10], the authors proved that (1.2–1.3) have a local solution for the initial data \(u_0\in H^s({\mathbb {R}})\) with \(s>-1\) and a global solution for \(u_0\in L^2({\mathbb {R}}).\) In [12], the authors showed that the Cauchy problem (1.2–1.3) is locally well-posed for the initial data \(u_0\in H^s({\mathbb {R}})\) with \(s\ge -\frac{7}{5}\) and globally well-posed for \(u_0\in H^s({\mathbb {R}})\) with \(s\ge -\frac{1}{2}.\) In [13], by using [K; Z]-multiplier norm method, the authors studied the local well-posedness for the initial data \(u_0\in H^s({\mathbb {R}})\) with \(s>-\frac{7}{4}.\) In [14], the authors established the local well-posedness result of (1.3) (1.2) for the initial data \(u_0\in H^s({\mathbb {R}})\) with \(s>-\frac{7}{4}.\)
As for the Cauchy problem (1.2–1.3), Huo [15] obtained the local well-posedness for the initial data \(u_0\in H^s({\mathbb {R}})\) with \(s>-\frac{11}{8}.\) Later on, Tao and Cui [16] considered the IVP (1.2–1.3) and proved the local solution for \(u_0\in H^s({\mathbb {R}})\) with \(s\ge \frac{1}{4},\) and the global solution for \(u_0\in H^s(R)\) with \(s\ge 2\) by using strichartz estimates. Recently, Yan and Li [17] showed that the Cauchy problem (1.2–1.3) is globally well-posed for the initial data \(u_0\in H^s({\mathbb {R}})\) with \(s>-\frac{63}{58}\) by using I-method as well as \(L^2\) conservation law. Later on, Yan et al. [18] improved the above results. More precisely, the authors proved that the Cauchy problem (1.2–1.3) is globally well-posed for the initial data \(u_0\in H^s({\mathbb {R}})\) with \(s>-\frac{3}{22}\) by using the Fourier restriction norm method, I-method and \(L^2\) conservation law. Quite recently, Chen and Guo [19] improved the results of [17]. More precisely, the authors proved that (1.3) is locally well-posed in \(H^{-\frac{7}{4}}\) by using the ideas of \({\overline{F}}^s\)-type space [8]. Next they established that it is globally well-posed in \(H^s({\mathbb {R}})\) for \(s\ge -\frac{7}{4}\) by using the ideas of I-method. Compared to the KdV Eq. (1.3) has less symmetries, such as no invariant scaling transform and not completely integrable. They treated with some new difficulties that are caused by the lack symmetries of this equation.
It is worth mentioning that Zhang et al. [20] studied the initial value problem associated with the generalized Kawahara equation as follows:
with initial data in the Sobolev space \(H^s(R).\) Benefited from ideas of Ref. [21, 22], first, we proved that the local well-posedness is established for the initial data \(u_0\in H^s(R)\) with \(s\ge -\frac{7}{4}(k=2)\) and \(s\ge -\frac{1}{4}(k=3)\) respectively. Then,using these results and conservation laws, we also proved that the IVP is globally well-posed for the initial data \(u_0\in H^s(R)\) with \(s=0(k=2,3)\). Finally, benefited from ideas of Ref. [21,22,23], i.e, using complex variables technique and Paley–Wiener theorem, we prove the unique continuation property.
As for the Cauchy problem (1.1)–(1.2), Tao and Cui [24] have established the first results of the well-posedness. More precisely, the authors showed that the Cauchy problem (1.1)–(1.2) is locally well-posed for the initial data \(u_0\in H^s({\mathbb {R}})\) with \(s\ge \frac{2}{13}\) by using some dispersive estimates and Banach fixed point technique. Related works are present in Ref. [25, 26]. Kenig et al. [27] studied the following high-order dispersive equation
and obtained local well-posedness for initial data \(u_0\in H^s({\mathbb {R}})\cap L^2(|x|^mdx)\), \(s,m\in Z^{+}\), where P is a polynomial without constant or linear terms. Pilod [28] investigated the higher-order nonlinear dispersive equation
The author showed that the associated initial value problem is well-posed in weighted Besov and Sobolev spaces for small initial data and he also proved ill-posedness results when \(a_{0,k}\ne 0\) for some \(k > j\).
In our contribution, in order to obtain the local well-posedness of (1.1) and (1.2), our novelty is to establish the new bilinear estimates by using Fourier restriction norm method, and is to improve the contribution by Tao and Cui [24]. It is important to point out that the phase function \(\phi (\xi )\)(see Definition 2.1 in section 2) or their derivatives has one pole and some non-zero singular points. This is different from the phase function of the semigroup of the linear KdV equation and the Kawahara equation, and also makes the problem much more difficulty. Therefore, we need to use Fourier restriction operators
to eliminate the singularity of the phase function \(\phi (\xi ).\) Moreover, the operators will be used to decompose nonlinear term \(\partial _x(u^2).\) To deal with the term, we first decompose it as the high-frequency part and the corresponding low-frequency one as follows:
Next, we are going to decompose each term on the right hand side of (1.4) as the sumation of those products which consist of each factor acted on by the Fourier restriction operators \(P^N\) or \(P_N.\) We shall estimate each resulting term with different methods to overcome the obstacles. To the best of our knowledge, this is the first well-posedness result the IVP (1.1)–(1.2).
The rest of the paper is organized as follows. In Sect. 2, we show some notations and state our main result. In Sect. 3, we show some preliminary results that will play fundamental role in our further analysis. In Sect. 4, using Fourier restriction norm method, we establish the linear estimates. Finally, in Sect. 5, we prove of the main results, including the local well-posedness(LWP) and global well-posedness(GWP) for the IVP (1.1) and (1.2). More precisely, firstly, using the bilinear estimate and the linear estimate, together with contraction mapping principle, we prove the LWP. Secondly, we obtain the GWP, which follows from LWP and the \(L^2\) conservation law by standard method.
2 Some Notations and Main Results
In this section, before proceeding to our analysis, we present some notations which will be used throughout in our paper and state the main result.
Definition 2.1
For \(s,b\in {\mathbb {R}},\) the space \(X_{s,b}\) is the complete of the Schwartz function on \({\mathbb {R}}^2\) with respect to the norm
where \(\langle \cdot \rangle =1+|\cdot |,\) the phase function \(\phi (\xi )=\alpha \xi ^7-\beta \xi ^5+\gamma \xi ^3-\mu \xi \).
In our arguments, we shall use the trivial embedding
We denote \({\widehat{u}}(\xi ,\tau )={\mathcal {F}}(u)\) by the Fourier transform of u both variable x and t, and by \({\mathcal {F}}_{(\cdot )}(u)\) the Fourier transform in the \((\cdot )\) variable.
We use \(A\sim B\) using the statement that \(A\le C_1B\) and \(B\le C_1A\) for some constant \(C_1>0,\) use \(A\ll B\) to denote the statement that \(A\le \frac{1}{C_2}B\) for some large enough constant \(C_2>0.\) We write \(X\lesssim Y\) or \(Y\gtrsim X\) to indicate \(X \le CY\) for some constant \(C > 0.\)
We introduce some variables for convenience
Throughout this paper, we shall denote the following notation \(\int _{\star }d\delta \) as the convolution integral
In what follows, we shall give some useful notations for multilinear expressions in Ref. [29]. Let Z be any Abelian additive group with an invariant measure \(d\delta .\) For any integer \(k\ge 2,\) we define \(\Gamma _{k}(Z)\) to be the hyperplane
and define a [k; Z]-multiplier to be any function \(m:\Gamma _{k}(Z)\rightarrow {\mathcal {C}}.\) If m is a [k; Z]-multiplier, then we define \(\Vert m\Vert _{[k;Z]}\) to be the best constant, such that the following inequality
holds for all the test functions \(f_j\) defined on Z. It is obvious that \(\Vert m\Vert _{[k;Z]}\) determines a norm on m for test functions at least. We are concerned with the good boundedness on the norm. In this paper, we let \(Z={\mathbb {R}}\times {\mathbb {R}}.\)
We now are position to state the main results.
Theorem 2.1
(Local well-posedness) Assume that \(\alpha \beta <0\) and \(\gamma >0.\) Let \(s\ge -\frac{5}{8}\) and \(u_0\in H^s({\mathbb {R}}).\) Then there exist a real number \(b>\frac{1}{2}\), which is close enough to \(\frac{1}{2}\) and a constant \(T>0\) such that the Cauchy problem (1.1) and (1.2) admits a unique local solution \(u(x,t)\in C([0,T];H^s)\cap X_{s,b}\). Moreover, given \(t\in [0,T],\) the map \(u_0\rightarrow u(t)\) is Lipschitz continuous from \(H^s\) to \(C([0,T];H^s).\)
Theorem 2.2
(Global well-posedness) For \(s = 0,\) the solution obtained in Theorem 2.1 can be extended to a global one.
3 Preliminary Estimates
In this section, we shall deduce several estimates. To facilitate further on our analysis, we introduce some notations as follows:
Next, we shall show preliminary estimates.
Lemma 3.1
[24, 30] Assume that \(\alpha \in {\mathbb {R}}\) and \(0\le \alpha \le \frac{5}{2}.\) Then for \(\forall \delta >0\), there exists a constant \(C>0,\) such that \(sup|D^\alpha G(x,t)|\le C|t|^{-\frac{1}{7}(\alpha +1)},\) where \(x\in {\mathbb {R}}\), \(0<|t|\le \delta .\)
Lemma 3.2
The group \(\{S(t)\}_{-\infty }^{\infty }\) satisfies
Proof
More generally, we are going to prove
where \(p\ge 2\), \(q\ge 2\), \(\frac{2}{p}=\frac{1}{5}\left( 1-\frac{2}{q}\right) \). When \(p=q=12\), (3.2) is corresponding to (3.1).
In fact, by duality, we need to bound
for \(f\in L_{t}^{p'}L_{x}^{q'}\), \(\Vert f\Vert _{L_{t}^{p'}L_{x}^{q'}}=1\), where \(\frac{1}{p'}+\frac{1}{p}=1\) and \(\frac{1}{q'}+\frac{1}{q}=1\).
Squaring (3.3) and utilizing \(\Vert f\Vert _{L_{t}^{p'}L_{x}^{q'}}=1\), it follows from the unitary property of the linear group that
where \(\langle \cdot ,\cdot \rangle \) is defined as the inner product in \(L_{x}^2.\)
On the other hand, applying interpolation technique (see Ref. [20,21,22, 31]) and Strichartz esimate (see Ref. [24, 30]), we obtain
Substituting (3.5) in (3.4), we get the bound
by using the Hardy–Littlewood–Sobolev inequality [32]. This proves (3.2). \(\square \)
Remark 3.1
Indeed, note that \(S(t)f(x)=(G(\cdot ,t)*f)(x),\)\(S(0)f=f,\) and phase function \(\phi (\xi )=\alpha \xi ^7-\beta \xi ^5+\gamma \xi ^3-\mu \xi ,\) then we have \(u(x,t)=S(t)u_0(x)\) and
Using Young inequality and Strichartz estimate in Ref. [30],as well as taking \(\alpha =0\) in Lemma 3.1, we have
On the other hand, it is easy to see that
Therefore, (3.5) follows by interpolation the above inequality.
Lemma 3.3
The group \(\{S(t)\}_{-\infty }^{\infty }\) satisfies
Proof
First, we prove (3.6). It is easy to see that
where \(\alpha \beta <0,\)\(\gamma >0.\)
If \(|\xi |\ge 2a,\) then the phase function \(\phi (\xi )\) is invertible, and we have
In what follows, we shall use the change of variable \(\xi =\phi ^{-1}.\) By Plancherel equality,we have
This implies the estimate (3.6).
Next, we turn to the proof of (3.7). If \(|\xi |\ge 2a,\) then we can also obtain \(|\phi ''(\xi )|\gtrsim |\xi |^5.\) In fact, with the help of Theorem 2.5 in Ref. [33], we conclude that
which implies the estimate (3.7). Finally, (3.8) follows by interpolation between (3.6) and (3.7). \(\square \)
Lemma 3.4
If \(\rho >\frac{1}{2},\) for any fixed \(N>0,\) then
Proof
The proof is similar with that of Lemma 2.2 in Ref. [33], we omit the details here. \(\square \)
Lemma 3.5
Suppose \(\rho >\frac{1}{2}\frac{6(q-2)}{5q}.\) Then, for \(2\le q\le 12,\) we have
Proof
Using the change of the variable \(\tau =\lambda +\phi (\xi ),\) we have
Using (3.1) and Minkowski’s integral inequality and taking into account \(\rho >\frac{1}{2},\) we get
It is easy to see that
Then, (3.9) follows by interpolation between (3.10) and (3.11). \(\square \)
Lemma 3.6
If \(\rho >\frac{3}{8},\) then
Proof
Taking into account \(\rho >\frac{1}{2},\) and using (3.8) and Minkowski’s integral inequality, we have
Then, (3.12) follows by interpolation between (3.11) and (3.13). \(\square \)
Lemma 3.7
-
(1)
Let \(\rho >\frac{1}{2}\theta ,\)\(\theta \in [0,1],\) then
$$\begin{aligned} \left\| D_x^{3\theta }P^{2a}F_{\rho }\right\| _{L_x^{\frac{2}{1-\theta }}L_t^2}\lesssim \Vert f\Vert _{L_{\xi }^2L_{\tau }^2}. \end{aligned}$$(3.14) -
(2)
Let \(\rho >\frac{1}{2},\) then
$$\begin{aligned} \left\| D_x^{-\frac{1}{4}}P^{2a}F_{\rho }\right\| _{L_x^{4}L_t^{\infty }}\lesssim \Vert f\Vert _{L_{\xi }^2L_{\tau }^2}. \end{aligned}$$(3.15)
Proof
From the arguments in arriving at Lemma 3.5 and (3.6), we obtain
It is clear that (3.14) follows by interpolation between (3.16) and (3.11). Meanwhile, (3.15) follows by interpolation between (3.7) and (3.11). \(\square \)
Lemma 3.8
[14, 15] Assume that f, \(f_1\) and \(f_2\) belong to Schwartz space on \({\mathbb {R}}^2.\) Then, we have
Lemma 3.9
[34] If m and M are [k; Z] multipliers and satisfy \(|m(\xi )|\le |M(\xi )|\) for all \(\xi \in \Gamma _k(Z),\) then \(\Vert m\Vert _{[k;Z]}\le \Vert M\Vert _{[k;Z]}.\)
Lemma 3.10
If \(|\xi |\ge 2a,\) then we have
where \(\xi =\xi _1+\xi _2\), \(\tau =\tau _1+\tau _2\); \(\sigma =\tau -\phi (\xi )\), \(\sigma _1=\tau _1-\phi (\xi _1)\), \(\sigma _2=\tau _2-\phi (\xi _2)\); \(\phi (\xi )=\phi (\xi )=\alpha \xi ^7-\beta \xi ^5+\gamma \xi ^3-\mu \xi \).
Proof
It is easy to see that
Observing that \(\xi ^2-\xi _1\xi +\xi _1^2\ge \frac{3}{4}\xi ^2\) and \(\alpha \beta <0\), \(\gamma >0\), we get \(|\sigma _1+\sigma _2-\sigma |\gtrsim |\xi _1||\xi _2||\xi |^5\) which implies Lemma 3.10. \(\square \)
4 Bilinear Estimates
In this section, using Fourier restriction norm method, we shall state a bilinear estimate which will be the main tool in the proof of local existence for the IVP(1.1) and (1.2).
Lemma 4.1
Let b be close enough to \(\frac{1}{2}\) satisfying \(b>\frac{1}{2}.\) For \(\frac{1}{2}<b'\) and \(s\ge -\frac{5}{8},\) we have
Proof
By duality and Plancherel identity, it suffices to show that
for \({\overline{f}}\in L^2({\mathbb {R}}^2)\), \({\overline{f}}\ge 0\), where \(f_j=\langle \xi _j\rangle ^s\langle \sigma _j\rangle ^{b'}{\widehat{u}}_j\), \(j=1,2\), \(\xi =\xi _1+\xi _2\), \(\tau =\tau _1+\tau _2\). \(\square \)
For convenience to our further analysis, we introduce some notations as follows
In order to bound the integral \(\Gamma ,\) we shall split the domain of the integral into several pieces. Here, we consider the most interesting case \(s\le 0.\) Otherwise, it is easy for us to see that \(K(\xi ,\xi _1,\xi _2)\lesssim 1.\) Let \(r=-s.\) By symmetry, it suffices to estimate the integral \(\Gamma \) in the domain \(|\xi _1|\le |\xi _2|.\)
Situation I. Assume that \(|\xi |\le 4a.\)
Case 1. If \(|\xi _1|\le 2a,\) then we have \(|\xi _2|\le |\xi -\xi _1|\le 6a\) and \(K_1(\xi ,\xi _1,\xi _2)\lesssim 1.\) Consequently, the integral \(\Gamma \) restricted to this domain is bounded by
which follows by Lemma 3.5 (with \(q=4\)) and Lemma 3.7.
Case 2. If \(2a\le |\xi _1|\le |\xi _2|,\) then, for \(r=-s<\frac{5}{8}\) we conclude that \(K_(\xi ,\xi _1,\xi _2)\le C|\xi _1|^{\frac{5}{8}}|\xi _2|^{\frac{5}{8}}.\) Therefore, by Lemmas 3.6 and 3.7, the integral \(\Gamma \) restricted to this domain is bounded by
Situation II. Assume that \(|\xi |\le 4a.\)
Case 1. If \(|\xi _1|\le 2a,\) then we have \(|\xi _2|\ge 2a,\)\(|\xi |\sim |\xi _2|\) and \(K_1(\xi ,\xi _1,\xi _2)\le C|\xi _2|.\) Consequently, the integral \(\Gamma \) restricted to this domain is bounded by
which follows by Lemma 3.5 (with \(q=2\)), Lemma 3.7 ((3.14) with \(\theta =1\)) and 3.8.
Case 2. If \(2a\le |\xi _1|\le |\xi _2|,\) then, it follows from Lemma 3.10 that, if \(|\xi |\ge 2a,\)\(|\xi _1|\ge 2a\) and \(|\xi _2|\ge 2a,\) then we have
This implies that one of the following cases always occurs:
- Case (a) :
-
\(|\sigma |\gtrsim |\xi _1||\xi _2||\xi |^5;\)
- Case (b) :
-
\(|\sigma _1|\gtrsim |\xi _1||\xi _2||\xi |^5;\)
- Case (c) :
-
\(|\sigma _2|\gtrsim |\xi _1||\xi _2||\xi |^5.\)
Next, we are going to consider the three Cases (a–c) respectively.
Case 2.1. If Case (a) holds, for \(b-s-1\le \frac{5}{8}\) and \(s\le 4-5b,\)
then we have
Therefore, by Lemmas 3.6 and 3.8, the integral \(\Gamma \) restricted to this domain is bounded by
Case 2.2. If Case (b) holds, for \(2r-2b'\le \frac{5}{8}\) and \(1-r\le 5b',\) (\(r=-s\))
then we have
Therefore, by Lemmas 3.6, 3.7 and 3.8, the integral \(\Gamma \) restricted to this domain is bounded by
Case 2.3. If Case (c) holds, the argument is similar to Case 2.2.
This completes the proof of Lemma 4.1.
5 Proof of the Main Result
In this section, in order to prove Theorems 2.1 and 2.2, we first establish the linear estimates as follows.
Let \(\psi \in C_0^{\infty }({\mathbb {R}})\) with \(\psi =1\) on \(\left[ -\frac{1}{2},\frac{1}{2}\right] \) and \(supp\psi \subset [-1,1].\) We denote \(\psi _\delta (\cdot )=\psi (\delta ^{-1})(\cdot )\) for some non-zero \(\delta \in {\mathbb {R}}.\)
Lemma 5.1
(See [6, 7]) If \(s\in {\mathbb {R}}\) and \(\frac{1}{2}<b<1,\) then, for \(\varphi \in H^s,\) we have
Lemma 5.2
(See [6, 7]) If \(s\in {\mathbb {R}},\)\(\frac{1}{2}<b<b'<1\) and \(0<\delta \le 1,\) then we have
Now, we turn to the proof of Theorems 2.1, 2.2. More precisely, using the bilinear estimate (Lemma 4.1) and the linear estimate (Lemmas 5.1, 5.2) together with contraction mapping principle, we shall prove the local well-posedness for the IVP (1.1) and (1.2).
Proof of Theorem 2.1
For \(u_0\in H^s(s\ge -\frac{5}{8}),\) we define the operator
and the ball
Next, we are going to prove \(\Phi \) is a contraction mapping on the ball \({\mathbb {B}}.\) For this purpose, we first prove
\(\square \)
By Lemmas 4.1 and 5.1, 5.2 for \(\frac{1}{2}<b<b'<1,\) we have
Therefore, if we fix \(\delta \) such that \(C\delta ^{b-b'}\Vert u_0\Vert _{H^s}<\frac{1}{2},\) then we obtain \(\Phi ({\mathbb {B}})\subset {\mathbb {B}}.\)
On the other hand, for \(u,v\in {\mathbb {B}},\) we have
Consequently, \(\Phi \) is a contraction mapping on the ball \({\mathbb {B}}.\) There exists a unique fixed point which solves the IVP (1.1) and (1.2) for \(T<\frac{1}{2}\delta \).
Proof of Theorem 2.2
First, we establish the \(L^2\) conservation law and we obtain the global well-posedness of the solution which follows from local well-posedness and the \(L^2\) conservation law by standard method. In order to prove the global well-posedness for the initial data \(u_0\in H^s({\mathbb {R}})\) with \(s=0\), we establish the \(L^2\) conservation law as follows. \(\square \)
Lemma 5.3
Let \(u_0\in L^2\), and \(u\in C([0,T],L^2)\) be a solution of IVP (1.1) and (1.2). Then we have \(\Vert u\Vert _{L^2}=\Vert u_0\Vert _{L^2}\).
Proof
Multiplying (1.1) by u and integrating the resulting equation over \({\mathbb {R}},\) we get
that is, \(\Vert u\Vert _{L^2}=\Vert u_0\Vert _{L^2}.\)
Therefore, for Cauchy problem (1.1)–(1.2) with the initial data \(u_0\in L^2\), global well-posedness of the solution follows from local well-posedness and the \(L^2\) conservation law by standard method. \(\square \)
References
Jones, K.L., He, X.G., Chen, Y.K.: Existence of periodic traveling wave solution to the forced generalized nearly concentric Korteweg-de Vries equation. Int. J. Math. Math. Sci. 24, 371–377 (2000)
Kawahara, T.: Oscillatory solitary waves in dispersive media. J. Phys. Soc. Jpn. 33, 260–264 (1972)
Colliander, J., Keel, M., Stalfilanti, G., Takaoka, H., Tao, T.: Global wel-posedness for the KdV in Sobolev spaces of negative indices. EJDE 26, 1–7 (2001)
Colliander, J., Keel, M., Stalfilanti, G., Takaoka, H., Tao, T.: Sharp global wel-posedness for the KdV and modified KdV on R and T. J. Am. Math. Soc. 16, 705–749 (2003)
Kenig, C.E., Ponce, G., Vega, L.: Well-posedness and scattering results for the generalized Korteweg-de Vries equation via the contraction principle. Commun. Pure Appl. Math. 46, 527–620 (1993)
Kenig, C.E., Ponce, G., Vega, L.: The Cauchy problem for the Korteweg-de Vries equation in Sobolev spaces of negative indices. Duke Math. J. 71, 1–21 (1993)
Kenig, C.E., Ponce, G., Vega, L.: A bilinear estimate with application to the KdV equation. J. Am. Math. Soc. 9, 573–603 (1996)
Molinet, L., Ribaud, F.: On the Cauchy problem for the generalized Korteweg-de Vries equation. Commun. Partial Differ. Equ. 28, 2065–2091 (2003)
Guo, Z.H.: Global well-posedness of the Korteweg-de Vries equation in \(H^{-\frac{3}{4}}(R)\). J. Math. Pure Appl. 9, 583–597 (2009)
Cui, S.B., Deng, D.G., Tao, S.P.: Global existence of solutions for the Cauchy problem of the Kawahara equation with \(L^2\) initial data. Acta Math. Sin. Engl. Ser. 22, 1457–1466 (2006)
Cui, S.B., Tao, S.P.: Strichartz estimates for dispersive equations and sovability of Cauchy problems of the Kawahara equation. J. Math. Anal. Appl. 304, 683–702 (2005)
Wang, H., Cui, S.B., Deng, D.G.: Global existence of solutions of the Kawahara equation in Sobolev spaces of negative indices. Acta Math. Sin. Engl. Ser. 23, 1435–1446 (2007)
Chen, W.G., Li, J.F., Miao, C.X., Wu, J.H.: Low regularity solutions of two fifth-order KdV type equations. arXiv:0710.2704v3 [math.AP] 7 April (2009)
Jia, Y.L., Huo, Z.H.: Well-posedness of the fifth-order shallow water equations. J. Differ. Equ. 246, 2448–2467 (2009)
Huo, Z.H.: The Cauchy problem for the fifth-order shallow water equations. Acta Math. Sin. Engl. Ser. 21, 441–454 (2005)
Tao, S.P., Cui, S.B.: Local and global existence of solutions to initial value probles of modified nonlinear Kawahara equations. Acta Math. Sin. Engl. Ser. 21, 1035–1044 (2005)
Yan, W., Li, Y.S.: The Cauchy problem for Kawahara equation in Sobolev spaces with low regularity. Math. Methods Appl. Sci. 33, 1647–1660 (2010)
Yan, W., Li, Y.S., Yang, X.Y.: The Cauchy problem for the modified Kawahara equation in Sobolev spaces with low regularity. Math. Comput. Model. 54, 1251–1261 (2011)
Chen, W.G., Guo, Z.H.: Global well-posedness and I-method for the fifth order Korteweg-de Vries equation. J. Anal. Math. 114, 121–156 (2011)
Zhang, Z.Y., Liu, Z.H., Sun, M.B., Li, S.H.: Well-posedness and unique continuation property for the solutions to the generalized Kawahara equation below the energy space. Appl. Anal. (2017). https://doi.org/10.1080/00036811.2017.1385064
Zhang, Z.Y., Huang, J.H., Sun, M.B.: Almost conservation laws and global rough solutions of the defocusing nonlinear wave equation on \(R^2\). Acta Math. Sci. 37B(2), 385–394 (2017)
Zhang, Z.Y., Huang, J.H.: Well-posedness and unique continuation property for the generalized Ostrovsky equation with low regularity. Math. Methods Appl. Sci. 39(10), 2488–2513 (2016)
Zhang, Z.Y., Liu, Z.H., Huang, J.H., Sun, M.B.: On the unique continuation property for the modified Kawahara equation. Adv. Math. (China) 45(1), 80–88 (2016)
Tao, S.P., Cui, S.B.: The local and global exsitence of solution of the Cauchy problem for a seven-order nonlinear equation. Acta Math. Sin. 25A(4), 451–460 (2005)
Tao, S.P.: Initial Value Problems for Some Classes of Higher Order Nonlinear Dispersive Equations. A Doctoral Dissertation, Lanzhou University (2001)
Tao, S.P., Cui, S.B.: Local and global existence of solutions to initial value problems of nonlinear Kaup–Kupershmidt equations. Acta Math. Sin. Engl. Ser. 21(4), 1–14 (2005)
Kenig, C.E., Ponce, G., Vega, L.: Higher-order nonlinear dispersive equations. Proc. Am. Math. Soc. 122, 157–166 (1994)
Pilod, D.: On the Cauchy problem for higher-order nonlinear dispersive equations. J. Differ. Equ. 245, 2055–2077 (2008)
Tao, T.: Multi-linear weighted convolution of \(L^2\) functions and applications to nonlinear dispersive equations. Am. J. Math. 123, 839–908 (2000)
Ben-Artzi, M., Saut, J.C.: Uniform decay esimates for a class of oscillatory integrals and applications. Differ. Integral Equ. 12, 137–145 (1999)
Tian, L.X., Gui, G.L., Liu, Y.: On the Cauchy problem for the generalized shallow water wave equation. J. Differ. Equ. 245, 1838–1852 (2008)
Wang, B.X., Huo, Z.H., Chao, C.C., Guo, Z.H.: Harmonic Analysis Method for Nonlinear Evolution Equations. World Scientific Press, Singapore (2011)
Kenig, C.E., Ponce, G., Vega, L.: Oscillatory integrals and regularity of dispersive equations. Iniana Univ. Math. J. 40, 33–69 (1991)
Huo, Z.H., Jia, Y.L.: Low regularity solution for a nonlocal perturbation of KdV equation. Z. Angew. Math. Phys. 59, 634–646 (2008)
Acknowledgements
This work was supported by Hunan Provincial Natural Science Foundation of China Nos. 2016JJ2061, 2016JJ4037, Scientific Research Fund of Hunan Provincial Education Department Nos. 15B102, 15A077, NNSF of China Grant Nos. 11671101, 11371367, 11271118, the construct program of the key discipline in Hunan province No. 201176 and the Aid program for Science and Technology Innovative Research Team in Higher Educational Instituions of Hunan Province (No. 2014207)and the Hunan Provincial Local Cooperation Project of China Scholarship Council, Special Funds of Guangxi Distinguished Experts Construction Engineering.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Zhang, Z., Liu, Z., Sun, M. et al. Low Regularity for the Higher Order Nonlinear Dispersive Equation in Sobolev Spaces of Negative Index. J Dyn Diff Equat 31, 419–433 (2019). https://doi.org/10.1007/s10884-018-9669-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10884-018-9669-8
Keywords
- Higher order nonlinear dispersive equation
- Fourier restriction norm method
- Low regularity
- Well-posedness