- Research
- Open access
- Published:
Local well-posedness for periodic Benjamin equation with small initial data
Boundary Value Problems volume 2015, Article number: 60 (2015)
Abstract
The local well-posedness of the periodic Benjamin equation with small initial value in \(H^{s}(\mathbb{T})\), \(s\geq-{1}/{2}\), is given. It is here shown that \(-{1}/{2}\) is the lower endpoint to obtain the bilinear estimates which are the crucial steps to obtain the local well-posedness by the Picard iteration.
1 Introduction
The initial value problem (IVP) associated to the periodic Benjamin equation is
Here \(\mathbb{T}=\mathbb{R}\setminus2\pi\), ℋ is the Hilbert transform
The Benjamin equation physically characterizes the vertical displacement (bounded above and below by rigid horizontal planes) of the interface between a thin layer of fluid atop and a much thicker layer of higher density fluid (cf. [1]). The more general form of (1.1) could be stated as
As a KdV type equation, (1.2) models a large amount of physical quantities. If \(\alpha\neq0\), \(\beta=0\), (1.2) is the IVP of the Benjamin-Ono (BO) equation. The BO equation is a model for one-dimensional long waves in deep stratified fluids and is completely integrable. It is also a typical dispersive model for which the solution map could not be obtained by a Picard approach in \(L^{2}\)-based Sobolev spaces. For its well-posedness theory, see e.g. [2–5] and the references therein. If \((\alpha, \beta)=(0,-1)\), (1.2) agrees with the well-known IVP of KdV equation. The history of the well-posedness for KdV equation is quite rich and the literature extensive. For the non-periodic case, see e.g. [6–11]. The periodic case can be found in [9]. For the local well-posedness of the dispersion generalized periodic KdV equation, see [12–14] for example. Some recent results in the context of long waves in deep stratified fluids can be found in [15–20].
If \(\alpha\neq0\), \(\beta\neq0\), then (1.2) is the IVP of the Benjamin equation. There is some well-known work as regards the Benjamin type equations; see [21–23] for example. The well-posedness of the Benjamin equation in the non-periodic case were fully discussed by Chen et al. in their recent two papers [24, 25]. For the periodic case, there were less results for (1.2) than the non-periodic case. Only in [26], Linares obtained the well-posedness of (1.1) with initial value in \(L^{2}\) space. In this paper, (1.1) will be taken as our model to study the IVP of the periodic Benjamin equation. We will prove that the local well-posedness result of Linares, valid for \(s\geq0\), can be extended to \(s\geq-{1}/{2}\).
For the scaling argument, the following γ-periodic IVP for Benjamin equation should be considered:
Now, we formulate the main result of this paper as follows.
Theorem 1.1
For \(s\geq-{1}/{2}\), \(\gamma\lesssim1\) and \(\varphi\in H^{s}\), there exists \(T=T(\|\varphi\|_{H^{s}})>0\) such that (1.3) has a unique solution \(u\in C([0, T],H^{s})\cap Y^{s}\). The solution map \(T:\varphi\rightarrow u\) is an analytic map on \(H^{s}\).
The definitions of \(X^{s}\), \(Y^{s}\), and \(H^{s}\) will be given in Section 2. To prove Theorem 1.1, the following bilinear estimates are crucial to our analysis.
Theorem 1.2
For \(s\geq-{1}/{2}\) and \(f,g\in X^{s}\), the following two bilinear estimates are true:
and
where \(\hat{w}_{fg}(k,\lambda)=\frac{i}{\gamma^{2}}k\hat{f}\ast _{\gamma }\hat{g}(k,\lambda)\), \(\phi(k)=k^{3}-|k|k\).
Since Miura’s transform does not work for the Benjamin equation, the way to set up the ill-posedness of KdV equation fails in dealing with that of the Benjamin equation. However, we can provide a counterexample to show that the bilinear estimates (1.4) and (1.5) fail for \(s<-1/2\).
Theorem 1.3
For \(s<-{1}/{2}\), (1.4) and (1.5) fail.
Here and in the following, for the sake of convenience, the abbreviations \(\langle\xi\rangle=(1+|\xi|^{2})^{{1}/{2}}\) for \(\xi \in \mathbb{R}\) and \(A\lesssim B =: A\leq CB\) are used, where C is a positive constant and may change from line to line. Similarly, \(A\ll B\) is used to represent \(A\leq C^{-1}B\) and \(A\sim B\) stands for \(A\lesssim B\lesssim A\).
We end this section with the outline of this paper. In Section 2, some preliminaries which are essential to our proofs are collected. Section 3 contains the proofs of Theorem 1.1 and Theorem 1.2. In Section 4, Theorem 1.3 is proved by constructing a counterexample to verify that the bilinear estimates (1.4) and (1.5) fail for \(s<-{1}/{2}\).
2 Preliminaries
We begin this section with some basic notations. The Fourier transform on \([0,\gamma]\) is defined as
The Fourier inversion formula is denoted by
where \((dk)_{\gamma}\) is the normalized counting measure on \(\mathbb {Z}\setminus\gamma\) and
It is easy to check that the classical properties of the Fourier transform hold for the measure \((dk)_{\gamma}\). That is,
For more information as regards the γ-periodic Fourier transform, see [9] for example.
For \(s\in\mathbb{R}\), the spatial Sobolev spaces are defined by
Let \(P_{0}\) denote the mean operator
or equivalently \(P_{0}u=\hat{u}(0)\). The solutions of the Benjamin equation are mean-preserving, and it will be convenient to assume that
which allows us to replace \(k\in\mathbb{Z} \setminus\gamma\) with \(k\in\dot{\mathbb {Z}}\setminus\gamma\) (\(\dot{\mathbb{Z}}=\mathbb{Z}\setminus\{0\}\)). One can easily pass from the mean-zero case to the general mean case by the Galilean transformation \(u(t,x)\mapsto u(t,x-P_{0}(u)t)-P_{0}(u)\), which was introduced in [27]. \(Y^{s}\) is the completion of functions that are Schwartz in time and \(C^{\infty}\) in space with the following norm:
where
In fact, the study of the periodic Benjamin equation has been based on iteration in the space \(X^{s}\), but this space barely fails to control the \(L^{\infty}_{t}H^{s}_{x}\) norm. \(Y^{s}\) is a slight modification of \(X^{s}\) such that \(\|u\|_{L^{\infty}_{t}H^{s}_{x}}\lesssim\|u\|_{Y^{s}}\).
The nonlinear part of the Benjamin equation is \(u\partial_{x} u\), which can be written by a Fourier transform in frequency as
During the argument, we mainly focus on the iteration of the two functions in (2.1), which were understood as two free Benjamin flows iterating with each other. The resonance function
gives a description of the set where two Benjamin flows interact. The resonance function is a very important concept in the analysis of the nonlinear dispersion equations. The following fundamental estimates for the resonance function can be proved easily.
Lemma 2.1
Let \(|kk_{1}(k-k_{1})|\neq0\), \(k,k_{1}\in\mathbb{Z} \setminus\gamma\) and \(\gamma\lesssim1\). Then
Proof
Equation (2.4) is obvious. The proof of (2.3) is a straightforward calculation with consideration of the following six cases following from [25]:
□
The following fundamental estimates can be proved with a slight modification in [14, 28].
Lemma 2.2
There exists \(C>0\) such that for any \(\varepsilon> 0\), \(\alpha\in \mathbb {R}\), and \(0<\rho<1\),
Lemma 2.3
There exists \(C>0\) such that for any \(\rho>{2}/{3}\), \(\gamma\lesssim 1\), \(k, k_{1}\in\mathbb{Z}\setminus\gamma\), and \(\lambda, \lambda_{1}\in\mathbb{R}\), the following estimates are true:
Proof
The proof of (2.8) is given first. The fact that, for any \(\varepsilon>0\),
gives the following estimate by taking \(\varepsilon={1}/{6}\):
Let \(\beta_{1}(k,\lambda)\), \(\beta_{2}(k,\lambda)\) be two complex roots of \(\lambda+\phi(k_{1})+\phi(k-k_{1})\). In view of \(\lambda+\phi (k_{1})+\phi(k-k_{1})\) being a polynomial of degree 2 in the variable \(k_{1}\), (2.11) can be rewritten as
Since
\(\beta_{j}(k,\lambda)\) can be substituted by its real part \(R_{j}(k,\lambda)\) for \(j=1,2\). Set
Then \(Z_{2}\) has no more than 10γ numbers \(k_{1}\), therefore (2.12) can be controlled by
By the elementary inequality
for \(a_{i}\geq2\), \(i=1,2\), it is sufficient to estimate
And hence (2.11) follows by the Hölder inequality with \(k_{1}\) in the above term.
The same conclusion can be drawn for (2.9) by replacing \(k_{1}\) with k in (2.8), while the proof of (2.10) can be handled in much the same way as that of (2.9) for \(2(\rho-{1}/{6})>1\). □
In the following analysis, \(\rho={5}/{6}\) in (2.10) is always used. Next, we use the lower bound of the resonance function to recover the derivative on the nonlinear term \(u\partial_{x} u\).
Lemma 2.4
Let
and
where
with \(kk_{1}(k-k_{1})\neq0\). Then for \(s\geq-{1}/{2}\), \(0< r< {1}/{4}\), and \(\gamma\lesssim1\), we have
Proof
It can be confirmed easily by Lemma 2.1 that
Putting this lower estimate into \(Q_{s}\) and \(Q_{s,r}\), we can obtain
and
where (2.4) is used in the last estimate. □
3 Proofs of Theorem 1.1 and Theorem 1.2
For a function \(f\in X^{s}\), set
Then
Since \(\hat{u}(0)=0\), it is convenient to assume that \(kk_{1}(k-k_{1})\neq0\).
We first prove Theorem 1.2. The integral in the left hand of (1.4) can be controlled by
where \(P_{f}:=P_{f}(k-k_{1},\lambda-\lambda_{1})\), \(P_{g}:= P_{g}(k_{1},\lambda_{1})\). Denote by
then (1.4) equals
Write
then by symmetry, the proof of (3.2) is reduced to the estimate
which can be considered by two cases.
Case I. \(|\lambda_{1}+\phi(k_{1})|\leq|\lambda+\phi(k)|\). In this case, set A is replaced by
Cauchy-Schwarz’s inequality allows us to control (3.3) by
We claim that there exists \(C>0\) such that, for \(s\geq-{1}/{2}\),
which gives
Indeed, the fact
allows us to write \(Q^{2}\) as
Lemma 2.4 with \(s\geq-{1}/{2}\), \((k,\lambda,k_{1},\lambda _{1})\in A_{\mathrm{I}}\) gives
Let
Then (3.4) can be obtained by (2.5) and (2.8).
Case II. \(|\lambda+\phi(k)|<|\lambda_{1}+\phi(k_{1})|\). In this case, set A is
That is, we need to estimate the following term:
By duality, (3.5) equals
Fubini’s theorem and the Cauchy-Schwarz inequality can be used to control (3.6) by
Write
Next, one only needs to show that, for \(s\geq-{1}/{2}\),
which is similar to the previous analysis of (3.4). For \((k,\lambda,k_{1},\lambda_{1})\in A_{\mathrm{II}}\), \(Q^{2}\) could be written as
Using Lemma 2.4, \(S_{\mathrm{II}}^{2}\) can be estimated by
Let
Then (2.5) and (2.9) can be used to obtain (3.7). The proof of (1.4) is completed.
Next, we proceed the proof of Theorem 1.2 by showing (1.5). We first rewrite (1.5) as
where
As in the proof of (1.4), (1.5) can be considered by two cases.
Case I. \(|\lambda_{1}+\phi(k_{1})|\leq|\lambda+\phi(k)|\). In this case, the set A is replaced by
By duality of \(L^{2}((dk)_{\gamma})\), one only needs to estimate
which can be bounded by
by Cauchy-Schwarz’s inequality. Therefore, it is sufficient to show that for \(s\geq-{1}/{2}\),
For some \(0< r<{1}/{4}\),
where
By Lemma 2.4, \(S_{\mathrm{I}}^{2}\) could be controlled by
Applying (2.7) with \(\alpha=\lambda+\phi(k_{1})+\phi (k-k_{1})\), one has
hence
and finally \(S_{\mathrm{I}}^{2}<\infty\) for \(r<{1}/{4}\).
Case II. \(|\lambda+\phi(k)|<|\lambda_{1}+\phi(k_{1})|\). In this case, A is replaced by
Write
where \({1}/{2}< r<1\). As in Case I, let
Then it suffices to estimate
Applying the Cauchy-Schwarz inequality in λ, (3.8) can be bounded by
Since \(2r>1\), (3.8) is dominated by
By the definition of the \(L_{((dk)_{\gamma}d\lambda)}^{2}\)-norm, (3.8) can be further controlled by
By the Cauchy-Schwarz inequality, we can obtain the following estimate for (3.9):
For \(s\geq-{1}/{2}\), we claim that
In fact, by Lemma 2.4, we have
Applying (2.6) with \(\rho=2(1-r)\), \(\beta=\lambda+\phi (k)\), and \(\alpha=\lambda_{1}+\phi(k)-\phi(k-k_{1})\) for some \({1}/{2}< r<1\), we get \(S_{\mathrm{II}}^{2}<\infty\) as a result of (2.10). Theorem 1.2 has thus been proved.
Having disposed of the proof for Theorem 1.2, we can now prove Theorem 1.1. Taking Fourier transform with respect to x in (1.3) gives
where \(\hat{w}(k,t)=\widehat{u\partial_{x}u}(k,t)\). The \(Y^{s}\) norm cannot be calculated directly on the equation since the function has no integrability in time. A cutting off according to time is necessary. Let \(\psi(t)\) be a bump function with support in \(\{|t|<1\}\) and \(\psi(t)=1\) for \(|t|<{1}/{2}\). Then the following can be shown:
where \(\hat{w}(k,\lambda)=\frac{i}{\gamma^{2}}k\hat{u}\ast \hat{u}(k,\lambda)\). We adopt the idea in [28] dealing with the KdV equation here to prove Theorem 1.1. Let T denote the map defined by the above expressions of \(\psi(t)u(x,t)\). Then the task is to show that the map \(u\mapsto Tu\) is contracted in the space \(Y^{s}\). To do this, we need the following estimates.
Theorem 3.1
Let \(s\geq-{1}/{2}\). Then there exist constants \(C=C(\psi)>0\) such that for all \(u,v\in Y^{s}\),
A straightforward application of Theorem 3.1 can produce the following proposition.
Proposition 3.2
Let \(C=C(\psi)\) be the constant appearing in Theorem 3.1. If \(\|\varphi\|_{H^{s}}\leq2/(9C^{2})\), then T is a contraction in the closed ball \(B(0,1/(3C))\) of \(Y^{s}\).
Therefore, the proof of Theorem 1.1 for sufficiently small data (\(\|\varphi\|_{H^{s}}\leq2/(9c^{2})\)) follows from Proposition 3.2.
Next, we give the sketch of the proof for Theorem 3.1. Computing the \(Y^{s}\)-norm of the terms in (3.11), the following estimate can be obtained:
Then (3.11) follows from (3.13) and the bilinear estimates in Theorem 1.2 with \(f=g=u\). Noticing that \(Tu-Tv\) is a dispersion Benjamin equation with nonlinear term \(u\partial_{x}u-v\partial_{x}v\) with initial data \(\varphi=0\), (3.12) can be proved by the bilinear estimates with \(f=u+v\) and \(g=u-v\).
4 Proof of Theorem 1.3
As explained in the above sections, the method used to prove the local well-posedness of the Benjamin equation is based on the bilinear estimates (1.4) and (1.5). In this section, a counterexample will be given to show that (1.4) and (1.5) are not true for \(s<-{1}/{2}\) inspired by some ideas from [11].
For any \(F=P_{f}(k,\lambda)\in L^{2}((dk)_{\gamma}d\lambda)\), the bilinear form \(\mathfrak{B}_{s}(F,F)\) can be defined by
Then (1.4) equals
where \(s\geq-{1}/{2}\). A counterexample will be given next to show that (4.1) fails for \(s<-{1}/{2}\). Choosing
where
and
then \(\mathfrak{B}_{s}(F,F)(k,\lambda)\) at \(k=1\) can be evaluated as
For those λ which are in a unit size interval of \(\lambda_{1}\), the following can be shown:
Moreover, the lower bound estimate on the resonance function implies
Hence, for any \(N\in\mathbb{N}\),
Therefore, \(s\geq-{1}/{2}\). The same function can be used to show that (1.5) fails for \(s<-{1}/{2}\). This completes the proof of Theorem 1.3.
References
Benjamin, B: A new kind of solitary wave. J. Fluid Mech. 245, 401-411 (1992)
Guo, Z, Huo, Z: The well-posedness of KdV-Benjamin-Ono equation in low regularity spaces. J. Am. Math. Soc. 20, 753-798 (2007)
Ionescu, A, Kenig, C: Global well-posedness of the Benjamin-Ono equation. J. Am. Math. Soc. 20, 753-798 (2007)
Koch, H, Tzvetkov, N: On the local well-posedness of the Benjamin-Ono equation in \(H^{s}(\mathbb{R})\). Int. Math. Res. Not. 2003, 1449-1464 (2003)
Tao, T: Global well-posedness of the Benjamin-Ono equation in \(H^{1}(\mathbb{R})\). J. Hyperbolic Differ. Equ. 1, 27-49 (2004)
Bourgain, J: Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations. I. Schrödinger equations. Geom. Funct. Anal. 3, 107-156 (1993)
Bourgain, J: Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations. II. The KdV-equation. Geom. Funct. Anal. 3, 209-262 (1993)
Christ, M, Colliander, J, Tao, T: Asymptotics, frequency modulation and low regularity ill-posedness for canonical defocusing equations. Am. J. Math. 125, 1235-1293 (2003)
Colliander, J, Keel, M, Staffilani, G, Takaoka, H, Tao, T: Sharp global well-posedness for KdV and modified KdV on ℝ and \(\mathbb{T}\). J. Am. Math. Soc. 16, 705-749 (2003)
Guo, Z: Global well-posedness of Korteweg-de Vries equation in \(H^{-3/4}(\mathbb{R})\). J. Math. Pures Appl. 91, 583-597 (2009)
Kenig, C, Ponce, G, Vega, L: On the ill-posedness of some canonical dispersive equations. Duke Math. J. 106, 617-633 (2001)
Chen, W, Guo, Z: Global well-posedness and I-method for the fifth-order Korteweg-de Vries equation. J. Anal. Math. 114, 121-156 (2011)
Chen, W, Li, J, Miao, C, Wu, J: Low regularity solutions of two fifth-order KdV type equations. J. Anal. Math. 107, 221-238 (2009)
Li, J, Shi, S: Local well-posedness for the dispersion generalized periodic KdV equation. J. Math. Anal. Appl. 379, 706-718 (2011)
Alias, A, Grimshaw, RHJ, Khusnutdinova, KR: Coupled Ostrovsky equations for internal waves in a shear flow. Phys. Fluids 26, 126603 (2014)
Alias, A, Grimshaw, RHJ, Khusnutdinova, KR: On strongly interacting internal waves in a rotating ocean and coupled Ostrovsky equations. Chaos 23, 013126 (2013)
Khusnutdinova, KR, Samsonov, AM: Fission of a longitudinal strain solitary wave in a delaminated bar. Phys. Rev. E 77, 066603 (2008)
Ruggieri, M, Speciale, MP: New exact solutions for a coupled KdV-like model. J. Phys. Conf. Ser. 482, 012036 (2014)
Ruggieri, M, Speciale, MP: Similarity reduction and closed form solutions for a model derived from two-layer fluids. Adv. Differ. Equ. 2013, 355 (2013)
Ruggieri, M, Speciale, MP: Conservation laws for a model derived from two layer-fluids. J. Phys. Conf. Ser. 482, 012037 (2014)
Angulo, J: Existence and stability of solitary wave solution of the Benjamin equation. J. Differ. Equ. 152, 136-159 (1999)
Chen, H, Bona, J: Existence and asymptotic properties of solitary-wave solutions of Benjamin-type equations. Adv. Differ. Equ. 3, 51-84 (1998)
Zhao, M, Yang, X, Zhang, L: Averaging of the 3D non-autonomous Benjamin-Bona-Mahony equation with singularly oscillating forces. Bound. Value Probl. 2013, 111 (2013). doi:10.1186/1687-2770-2013-111
Chen, W, Guo, Z, Xiao, J: Sharp well-posedness of the Benjamin equation. Nonlinear Anal. 74, 6209-6230 (2011)
Chen, W, Xiao, J: A sharp bilinear estimate for the Bougain-type space with application to the Benjamin equation. Commun. Partial Differ. Equ. 35, 1739-1762 (2010)
Linares, F: \(L^{2}\) Global well-posedness of the initial value problem associated to the Benjamin equation. J. Differ. Equ. 152, 377-393 (1999)
Himonas, A, Misiolek, G: Well-posedness of the Cauchy problem for a shallow water equation on the circle. J. Differ. Equ. 161, 479-495 (2000)
Gorsky, J, Himonas, A: Well-posendness of KdV with higher dispersion. Math. Comput. Simul. 80, 173-183 (2009)
Acknowledgements
The authors are thankful to the honorable reviewers for their valuable suggestions and comments, which improved the paper. This work was partially supported by National Natural Science Foundation of China (Grant Nos. 11171026, 11271175, 11301249, 11301250), National Natural Science Foundation of Shandong Province (Grant No. ZR2012AQ026), the Applied Mathematics Enhancement Program of Linyi University, and also the Program for Changjiang Scholars and Innovative Research Team in University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Shi, S., Li, J. Local well-posedness for periodic Benjamin equation with small initial data. Bound Value Probl 2015, 60 (2015). https://doi.org/10.1186/s13661-015-0322-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0322-8