Abstract
In this paper, a generalized nonlinear Camassa–Holm equation with time- and space-dependent coefficients is considered. We show that the control of the higher order dispersive term is possible by using an adequate weight function to define the energy. The existence and uniqueness of solutions are obtained via a standard Picard iterative method, so that there is no loss of regularity of the solution with respect to the initial condition in some appropriate Sobolev space.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Presentation of the problem
In this paper, we study the Cauchy problem for the general nonlinear higher order Camassa–Holm-type equation:
where \(u=u(t,x)\), from \([0,T]\times \mathbb {R}\) into \(\mathbb {R}\), is the unknown function of the problem, \(m>0\) and \(a_i\), \(1 \le i \le 5\), are real-valued smooth given functions where their exact regularities will be precised later. This equation covers several important unidirectional models for the water waves problems at different regimes which take into account the variations of the bottom. We have in view in particular the example of the Camassa–Holm equation (see [1, 2]), which is more nonlinear then the KdV equation (see for instance [3,4,5,6,7,8]). However, the most prominent example that we have in mind is the Kawahara-type approximation (see [9, 10]), in which case the coefficient \(a_5\) does not vanish. The presence of the fifth order derivative term is very important, so that the equation describes both nonlinear and dispersive effects as does the Camassa–Holm equation in the case of special tension surface values for the development of models for water waves problem was initiated in order to gain insight into wave breaking (see [11, 12]).
Looking for solutions of (1.1) plays an important and significant role in the study of unidirectional limits for water wave problems with variable depth and topographies. To our knowledge the problem (1.1) has not been analyzed previously. In the present paper, we prove the local well-posedness of the initial value problem (1.1) by a standard Picard iterative scheme and the use of adequate energy estimates under a condition of nondegeneracy of the higher dispersive coefficient \(a_5\).
1.2 Notations and main result
In the following, \(C_0\) denotes any nonnegative constant different than zero whose exact expression is of no importance. The notation \(a\lesssim b\) means that \(a\le C_0\ b\).
We denote by \(C(\lambda _1, \lambda _2,\dots )\) a nonnegative constant depending on the parameters \(\lambda _1\), \(\lambda _2\),...and whose dependence on the \(\lambda _j\) is always assumed to be nondecreasing.
For any \(s \in \mathbb {R}\), we denote [s] the integer part of s.
Let p be any constant with \(1\le p< \infty \) and denote \(L^p=L^p(\mathbb {R})\) the space of all Lebesgue-measurable functions f with the standard norm
The real inner product of any two functions \(f_1\) and \(f_2\) in the Hilbert space \(L^2(\mathbb {R})\) is denoted by
The space \(L^\infty =L^\infty (\mathbb {R})\) consists of all essentially bounded and Lebesgue-measurable functions f with the norm
We denote by \(W^{1,\infty }(\mathbb {R})=\{f, \text{ s.t. } f,\partial _x f\in L^{\infty }(\mathbb {R})\}\) endowed with its canonical norm.
For any real constant \(s\ge 0\), \(H^s=H^s(\mathbb {R})\) denotes the Sobolev space of all tempered distributions f with the norm \(\vert f\vert _{H^s}=\vert \Lambda ^s f\vert _{L^2} < \infty \), where \(\Lambda \) is the pseudo-differential operator \(\Lambda =(1-\partial _x^2)^{1/2}\). For any two functions \(u=u(t,x)\) and v(t, x) defined on \( [0,T)\times \mathbb {R}\) with \(T>0\), we denote the inner product, the \(L^p\)-norm and especially the \(L^2\)-norm, as well as the Sobolev norm, with respect to the spatial variable x, by \((u,v)=(u(t,\cdot ),v(t,\cdot ))\), \(\vert u \vert _{L^p}=\vert u(t,\cdot )\vert _{L^p}\), \(\vert u \vert _{L^2}=\vert u(t,\cdot )\vert _{L^2}\) and \( \vert u \vert _{H^s}=\vert u(t,\cdot )\vert _{H^s}\), respectively.
Let E be a given normed space we denote \(L^\infty ([0,T);E)\) the space of functions such that \(u(t,\cdot )\) is controlled in E, uniformly for \(t\in [0,T)\):
Let E be a given normed space we denote C([0, T); E) the space of functions such that \(u(t,\cdot )\) is controlled in E, uniformly for \(t\in [0,T)\):
Let X be a given space, we denote C([0, T); X) the space of functions such that \(u(t,\cdot )\) is in X.
Finally, \(C^k(\mathbb {R}^i)\), \(i\ge 1\) denote the space of k-times continuously differentiable functions over \(\mathbb {R}^i\).
For any closed operator T defined on a Banach space X of functions, the commutator [T, f] is defined by \([T,f]g=T(fg)-fT(g)\) with f, g and fg belonging to the domain of T. The same notation is used for f as an operator mapping the domain of T into itself.
Actually, we admit without proof this lemma that presents some properties for the commutator operator.
If \(f\in F\) and \(g\in G\), F and G being two Banach spaces, the notation \(\vert f\vert _{F}\lesssim \vert g\vert _{G}\) means that \(\vert f\vert _{F}\le C\vert g\vert _{G}\) for some constant C which does not depend on f nor g.
Here, \({\mathcal S}(\mathbb {R})\) denotes the Schwartz space of rapidly decaying functions, and for any distribution \(f\in {\mathcal S}'(\mathbb {R})\), we write \(\widehat{f}\) Fourier transform on \({\mathcal S}'(\mathbb {R})\).
We use the classical notation f(D) to denote the Fourier multiplier, namely, \(\widehat{f(D)u}(\cdot )=f(\cdot )\widehat{u}(\cdot )\).
We use the condensed notation
to say that \(A_s=B_s\) if \(s\le s_0\) and \(A_s=B_s+C_s\) if \(s> s_0\).
1.3 Product and commutator estimates in Sobolev spaces
Let us recall here some product as well as commutator estimates in Sobolev spaces, used throughout the present paper (see [11]).
Lemma 1.1
(product estimates) Let \(s\ge 0\), one has \(\forall f,g\in H^s(\mathbb {R})\bigcap L^\infty (\mathbb {R}),\) one has
If \(s\ge s_0>1/2\), one deduces thanks to continuous embedding of Sobolev spaces,
More generally, for \(s\ge 0\) and \(s_0>1/2\), one has \(\forall f\in H^s(\mathbb {R})\bigcap H^{s_0}(\mathbb {R}),g\in H^s(\mathbb {R})\),
Let \(F\in C^\infty (\mathbb {R})\) be a smooth function such that \(F(0)=0\). If \(g\in H^s(\mathbb {R})\bigcap L^\infty (\mathbb {R})\) with \(s\ge 0\), one has \(F(g)\in H^s(\mathbb {R})\) and
We know recall commutator estimate, mainly due to the Kato–Ponce [13], and recently improved by Lannes [11] (see Theorems 3 and 6):
Lemma 1.2
(commutator estimates)
For any \(s\ge 0\), and \(\partial _x f, g\in L^\infty (\mathbb {R})\bigcap H^{s-1}(\mathbb {R}),\) one has
Thanks to continuous embedding of Sobolev spaces, one has for \(s\ge s_0+1, \ s_0>\frac{1}{2},\)
More generally, for any \(s\ge 0\) and \(s_0>1/2\), \(\partial _x f, g\in H^{s_0}(\mathbb {R})\bigcap H^{s-1}(\mathbb {R}),\) one has
We conclude this section with the following remark Also, let us remark these continuous embedding.
Remark 1.1
Let \(s>\frac{3}{2} \), then:
-
\(H^s(\mathbb {R})\hookrightarrow W^{1,\infty }(\mathbb {R})\)
-
\( H^{s-1}(\mathbb {R})\hookrightarrow L^{\infty }(\mathbb {R})\)
-
\( H^s(\mathbb {R})\hookrightarrow H^{s-1}(\mathbb {R})\).
Moreover, we define the following operators for \(s>0\): \(\displaystyle {\Lambda _m^s=(1-m\partial _x^2)^{\frac{s}{2}}}\) and its inverse \(\displaystyle {\Lambda _m^{-s}}\) such that the Fourier Transform is given as following:
Finally, we will study the local well-posedness of the initial value problem (1.1) in \(H^{s}(\mathbb {R})\) endowed with canonical norm.
1.4 Main results
Let us now state our main result:
Theorem 1.1
Let \(s>\frac{5}{2}\) and \(f\in C([0,T];H^{s}(\mathbb {R}))\). We suppose that:
-
\(a_1, a_2, a_3\) are smooth mappings such that \(a_1, a_3\) in \(C([0,T],C^{[s]+1}(\mathbb {R}^2))\) and \(a_2\) in \(C([0,T],C^{[s]+1}(\mathbb {R}^3))\).
-
\(a_4\in C([0,T];H^{s+1}(\mathbb {R}))\), \(\partial _t a_4 \in L^{\infty }(0,T,L^{\infty }(\mathbb {R}))\),
-
\(a_5\in C([0,T],L^{\infty }(\mathbb {R}))\), \(\partial _x a_5\in C([0,T];H^{s+2}(\mathbb {R}))\), with \( \partial _ta_5\in L^{\infty }(0,T;L^{\infty }(\mathbb {R}))\),
-
\(F(t,x):=\int _0^x\frac{a_4}{a_5}dy \in C([0,T];L^{\infty }(\mathbb {R})) ~\text {and} ~\partial _tF \in L^{\infty }(0,T;L^{\infty }(\mathbb {R}))\),
Assume moreover that there is a positive constant \( c_1>0 \) such that \(c_1\le \vert a_5(t,x)\vert \;\forall \,(t,x) \in [0,T]\times \mathbb {R}.\) Then for all \(u^0 \in H^{s}(\mathbb {R})\), there exist a time \(T^{\star }>0\) and a unique solution u to (1.1)
in \(C([0,T^{\star }];H^{s}(\mathbb {R}))\).
Remark 1.2
There is no restriction on the signs of the coefficients \(a_2\) and \(a_4\); this means that our result handles also the case of the anti-diffusive terms, in which case these terms are controlled by dispersion.
2 Proof of the main results
Before we start the proof, we give the following useful lemma:
Lemma 2.1
Let \(m>0\), \(s>0\) then the linear operator
\(\Lambda ^2_m\): \(H^{s+2}(\mathbb {R})\rightarrow H^s(\mathbb {R})\) is well defined, continuous, one-to-one and onto. If we suppose that \(u=\Lambda ^{-2}_mf \) for \(f\in H^s(\mathbb {R})\) then:
Moreover,
where \(\Lambda ^0_m\): \(H^{s}(\mathbb {R})\rightarrow H^s(\mathbb {R})\) is linear continuous one-to-one and onto operator defined by
with
Proof
We have \(\Vert \Lambda ^{-2}_mf\Vert _{H^{s+2}} = \Vert (1+\xi ^2)^{\frac{s}{2}+1}(1+m\xi ^2)^{-1}\hat{f}\Vert _{L^2}\). If \( m \ge 1\), then \(1+m\xi ^2 \ge 1+ \xi ^2\) and \(\frac{ 1+ \xi ^2}{ 1+ m\xi ^2} \le 1\), therefore
If \(0< m < 1 \), we have \(\frac{ 1+ \xi ^2}{ 1+ m\xi ^2}= 1 + (1-m)\frac{\xi ^2}{ 1+ m\xi ^2} \le 1 + \frac{(1-m)}{m} = \frac{1}{m}\), then
Now we have
and
If \( m \ge 1\), then \((1+m\xi ^2)(1+\xi ^2)^{-1} = 1 + (m-1)\frac{\xi ^2}{1+\xi ^2} \le m\), therefore
If \(0< m < 1\), \((1+m\xi ^2)(1+\xi ^2)^{-1} \le 1\), then
Finally \(\Vert (\Lambda ^{0}_m)^{-1}f\Vert _{H^s} \le \max (1,m) \Vert f\Vert _{H^s}\).
We will start the proof of Theorem 1.1 by studying a linearized problem associated to (1.1). \(\square \)
2.1 Linear analysis
For any smooth enough v, we define the “linearized” operator:
and the following initial value problem:
Equation (2.5) is a linear equation which can be solved by a standard method (see [14]) in any time interval in which its coefficients are defined and regular enough. We first establish some precise energy-type estimates of the solution. We define the “energy” norm,
where w is a weight function that will be chosen later. For the moment, we just require that there exists two positive numbers \(w_1,w_2\) such that for all (t, x) in \((0,T]\times \mathbb {R}\),
so that \(E^s(u)\) is uniformly equivalent to the standard \(H^s\)-norm. Differentiating \(\frac{1}{2}e^{-\lambda t}E^s(u)^2\) with respect to time, one gets using (2.5)
We now turn to estimating the different terms of the r.h.s of the previous identity by using the needed estimates provided from Sect. 1.3
\(\bullet \) Estimate of \(\big (\Lambda ^{s-2} (a_1u_x ),\Lambda ^0_m w^2\Lambda ^su\big )\). By the Cauchy-Schwarz inequality and the Sect. 1.3 on the composite functions we have
\(\bullet \) Estimate of \(\big (\Lambda ^{s-2} (a_2u_{xx} ),\Lambda ^0_m w^2\Lambda ^su\big )\). Similarly as the above estimation, we have
\(\bullet \)Estimate of \(\big (\Lambda ^{s-2} (a_3u_{xxx} ),\Lambda ^0_m w^2\Lambda ^su\big )\). Since we have more than s derivative on u, we remark that one can write:
then
Now use the identity \(\Lambda ^2=1-\partial _x^2\) to get that
then we obtain:
By integration by parts, the third term of the last equality becomes:
Now by Cauchy Schwarz we have:
\(\bullet \) Estimate of \(\big ([\Lambda ^{s-2},a_4]\partial _x^4u,\Lambda _m^0 w^2 \Lambda ^s u\big ) + \big (a_4\Lambda ^{s-2}\partial _x^4u,\Lambda _m^0 w^2 \Lambda ^s u\big ):\)
then:
By Cauchy Schwarz, the first term of the last equality is controlled by:
\(\big (a_4\Lambda ^s\partial ^2_xu,\Lambda _m^0w^2 \Lambda ^s u\big )=-\big (a_4\Lambda _m^0w^2,(\partial _x\Lambda ^s u)^2\big )+ Q_1,\) where
Now, using the first order Poisson brackets : (see [15] for more details)
we get:
Where
Now, by integration by parts we have:
then
\(\bullet \) Estimate of \(\big ([\Lambda ^{s-2},a_5]\partial _x^5u,\Lambda _m^0w^2\Lambda ^su\big ) + \big (a_5\Lambda ^{s-2}\partial _x^5u,\Lambda _m^0w^2\Lambda ^su\big ):\)
Therefore,
The first two terms can be easily controlled by \(E^s(u)^2\) as above. Now,
By integration by parts, we obtain
Now:
where \(\{\cdot ,\cdot \}_2\) stands for the second order Poisson brackets,
and \(Q_3\) is an operator of order \(s-5\) that can be controlled by the general commutator estimates (see [15]). We thus get
We now use the fact that \(H^1(\mathbb {R})\) is continuously embedded in \(L^{\infty }(\mathbb {R})\) to get
This leads to the expression
where \(\vert Q_4 \vert \le C(m,s,\vert w\vert _{W^{1,\infty }}, \vert a_5\vert _{H^{s+1}} )E^s(u)^2\). Remarking now, by integration by parts
We now choose w such that
therefore, if we take \(w=(\Lambda _m^0)^{-1}\Big (\vert a_5\vert ^ {\big ({\frac{2s-7}{6}\big )}}\displaystyle {\exp (-\frac{1}{3}\int _0^x\frac{a_4}{a_5}dy)}\Big )\) we easily obtain (2.8). Finally, one has
therefore,
\(\bullet \) Estimate of \(\big (w_t\Lambda ^{s-2}u ,\Lambda _m^0w\Lambda ^su\big )\): Using the Cauchy-Schwarz inequality we obtain
Gathering the information provided by the above estimates, since one has
If we assemble the previous estimates and using Gronwall’s lemma we obtain the following estimate:
Taking \(\lambda =\lambda _T\) large enough (how large depends on \(\sup _{t\in [0,T]}C(E^s(v(t))\) for the first term of the right hand side of the above inequality to be negative for all \(t\in [0,T]\), we deduce that
2.2 Proof of the theorem
Thanks to this energy estimate, we classically conclude (see e.g. [16]) the existence of a time
and a unique solution \(u\in C([0,T^*];H^{s}(\mathbb {R}))\cap C^1([0,T^*];H^{s-3}(\mathbb {R}))\) to (1.1) as the limit of the iterative scheme
References
Israwi, S.: Variable depth KDV equations and generalizations to more nonlinear regimes. M2AN 44, 374–390 (2010)
Fan, Lili, Gao, Hongjun: Local well-posedness and persistence properties for the variable depth KDV general equations in Besov space \(B^{3/2}_{2,1}\). Differ. Integral Equ. 29(3/4), 241–268 (2016)
Israwi, S., Talhouk, R.: Local well-posedness of a nonlinear KdV-type equation. C.R. Math. 351(23–24), 895–899 (2013)
Israwi, S.: Large Time Existence for \(1D\) Green–Naghdi Equations: Nonlinear Analysis, TMA (2010)
Akhunov, T.: A sharp condition for the well-posedness of the linear KdV-type equation. AMS, procedings (2015)
Craig, W., Kappeler, T., Strauss, W.: Gain of regularity for equations of KdV type. Annales de l’Institut Henri Poincaré (C) Analyse non linéaire 9(2), 147–186 (1992)
Linares, F., Ponce, G.: Introduction to Nonlinear Dispersive Equations. Springer, Berlin (2009)
Tian, Bo, Gao, Yi-Tian: Variable-coefficient balancing-act method and variable-coefficient KdV equation from fluid dynamics and plasma physics. Eur. Phys. J. B 22, 351–360 (2001)
Israwi, S., Khorbatly, B.: (2020), A conditional local existence result for the generalized nonlinear Kawahara equation, MMA (2017), pp. 1–6. Wiley
Olson, E.A.: Well posedness for a higher order modified Camassa–Holm equation. J. Differ. Equ. 246, 4151–4172 (2009)
Lannes, D.: The water waves problem: mathematical analysis and asymptotics. Mathematical Surveys and Monographs (AMS)
Israwi, S.: Scalar Models for Water-Waves Problem: Applications to Breaking Waves. Scholars Press, Berlin (2018)
Kato, T., Ponce, G.: Commutator estimates and the Euler and Navier–Stokes equations. Comm. Pure Appl. Math. 41(7), 891–907 (1988)
Taylor, M.E.: Partial differential equations II qualitative studies of linear equations. Appl. Math. Sci. 116, (2011)
Lannes, D.: Sharp estimates for pseudo-differential operators with symbols of limited smoothness and commutators. J. Funct. Anal. 232, 495–539 (2006)
Alinhac, S., Gérard, P.: Opérateurs pseudo-différentiels et théorème de Nash-Moser. Savoirs Actuels. InterEditions, Paris; Editions du Centre National de la Recherche Scientifique (CNRS), Meudon, (1991). 190 pp
Acknowledgements
We thank R. Talhouk for fruitful discussions about this manuscript. This work was partially supported by Lebanese University.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.