Research | Open | Published:
Local well-posedness and persistence properties for a model containing both Camassa-Holm and Novikov equation
Boundary Value Problemsvolume 2014, Article number: 9 (2014)
This paper deals with the Cauchy problem for a generalized Camassa-Holm equation with high-order nonlinearities,
where and . This equation is a generalization of the famous equation of Camassa-Holm and the Novikov equation. The local well-posedness of strong solutions for this equation in Sobolev space with is obtained, and persistence properties of the strong solutions are studied. Furthermore, under appropriate hypotheses, the existence of its weak solutions in low order Sobolev space with is established.
This work is concerned with the following one-dimensional nonlinear dispersive PDE:
where and .
Obviously, if , , , equation (1.1) becomes the Camassa-Holm equation,
where the variable represents the fluid velocity at time t and in the spatial direction x, and k is a nonnegative parameter related to the critical shallow water speed . The Camassa-Holm equation (1.2) is also a model for the propagation of axially symmetric waves in hyperelastic rods (cf. ). It is well known that equation (1.2) has also a bi-Hamiltonian structure [3, 4] and is completely integrable (see [5, 6] and the in-depth discussion in [7, 8]). In , Qiao has shown that the Camassa-Holm spectral problem yields two different integrable hierarchies of nonlinear evolution equations, one is of negative order CH hierachy while the other one is of positive order CH hierarchy. Its solitary waves are smooth if and peaked in the limiting case (cf. ). The orbital stability of the peaked solitons is proved in , and the stability of the smooth solitons is considered in . It is worth pointing out that solutions of this type are not mere abstractions: the peakons replicate a feature that is characteristic for the waves of great height - waves of largest amplitude that are exact solutions of the governing equations for irrotational water waves (cf. [12–14]). The explicit interaction of the peaked solitons is given in  and all possible explicit single soliton solutions are shown in . The Cauchy problem for the Camassa-Holm equation (1.2) has been studied extensively. It has been shown that this problem is locally well-posed for initial data with [17–19]. Moreover, it has global strong solutions and also admits finite time blow-up solutions [17, 18, 20, 21]. On the other hand, it also has global weak solutions in [22–25]. The advantage of the Camassa-Holm equation in comparison with the KdV equation (1.2) lies in the fact that the Camassa-Holm equation has peaked solitons and models the peculiar wave breaking phenomena [1, 21].
For , , , equation (1.1) becomes a generalized Camassa-Holm equation,
Wazwaz [26, 27] studied the solitary wave solutions for the generalized Camassa-Holm equation (1.3) with , , and the peakon wave solutions for this equation were studied in [28–30], and the periodic blow-up solutions and limit forms for (1.3) were obtained in . In [30, 32], the authors have given the traveling waves solution, peaked solitary wave solutions for (1.3).
On the other hand, taking , , in (1.1) we found the Novikov equation :
The Novikov equation (1.4) possesses a matrix Lax pair, many conserved densities, a bi-Hamiltonian structure as well as peakon solutions . These apparently exotic waves replicate a feature that is characteristic of the waves of great height-waves of largest amplitude that are exact solutions of the governing equations for water waves, as far as the details are concerned [13, 35, 36]. The Novikov equation possesses the explicit formulas for multipeakon solutions . It has been shown that the Cauchy problem for the Novikov equation is locally well-posed in the Besov spaces and in Sobolev spaces and possesses the persistence properties [38, 39]. In [40, 41], the authors showed that the data-to-solution map for equation (1.4) is not uniformly continuous on bounded subsets of for . Analogous to the Camassa-Holm equation, the Novikov equation shows the blow-up phenomenon  and has global weak solutions . Recently, Zhao and Zhou  discussed the symbolic analysis and exact traveling wave solutions of a modified Novikov equation, which is new in that it has a nonlinear term instead of .
Other integrable CH-type equations with cubic nonlinearity have been discovered:
where γ is a constant. equation (1.5) was independently proposed by Fokas , by Fuchssteiner , and Olver and Rosenau  as a new generalization of integrable system by using the general method of tri-Hamiltonian duality to the bi-Hamiltonian representation of the modified Korteweg-de Vries equation. Later, it was obtained by Qiao [48, 49] from the two-dimensional Euler equations, where the variables and represent, respectively, the velocity of the fluid and its potential density. Ivanov and Lyons  obtain a class of soliton solutions of the integrable hierarchy which has been put forward in a series of woks by Qiao [48, 49]. It was shown that equation (1.5) admits the Lax-pair and the Cauchy problem (1.5) may be solved by the inverse scattering transform method. The formation of singularities and the existence of peaked traveling-wave solutions for equation (1.5) was investigated in . The well-posedness, blow-up mechanism, and persistence properties are given in . It was also found that equation (1.5) is related to the short-pulse equation derived by Schäfer and Wayne .
Applying the method of pseudoparabolic regularization, Lai and Wu  investigated the local well-posedness and existence of weak solutions for the following generalized Camassa-Holm equation with dissipative term:
Motivated by the results mentioned above, the goal of this paper is to establish the well-posedness of strong solutions and weak solutions for problem (1.1). First, we use Kato’s theorem to obtain the existence and uniqueness of strong solutions for equation (1.1).
Theorem 1.1 Let with . Then there exists a maximal , and a unique solution to the problem (1.1) such that
Moreover, the solution depends continuously on the initial data, i.e. the mapping
In [38, 56, 57], the spatial decay rates for the strong solution to the Camassa-Holm Novikov equation were established provided that the corresponding initial datum decays at infinity. This kind of property is so-called the persistence property. Similarly, for equation (1.1), we also have the following persistence properties for the strong solution.
Theorem 1.2 Assume that with satisfies
for some (respectively, ), then the corresponding strong solution to equation (1.1) satisfies for some
uniformly in the time interval .
Theorem 1.3 Assume that , , and with satisfies
for some (respectively, , ), then the corresponding strong solution to equation (1.1) satisfies for some
uniformly in the time interval .
Remark 1.1 The notations mean that
Finally, we have the following theorem for the existence of a weak solution for equation (1.1).
Theorem 1.4 Suppose that with and . Then there exists a life span such that problem (1.1) has a weak solution in the sense of a distribution and .
The plan of this paper is as follows. In the next section, the local well-posedness and persistence properties of strong solutions for the problem (1.1) are established, and Theorems 1.1-1.3 are proved. The existence of weak solutions for the problem (1.1) is proved in Section 3, and this proves Theorem 1.4.
2 Well-posedness and persistence properties of strong solutions
Notation The space of all infinitely differentiable functions with compact support in is denoted by . Let p be any constant with and denote to be the space of all measurable functions f such that . The space with the standard norm . For any real number s, let denote the Sobolev space with the norm defined by
where . Let denote the class of continuous functions from to and .
Proof of Theorem 1.2 We introduce the notation . The first step we will give estimates on . Integrating the both sides with respect to x variable by multiplying the first equation of (2.1) by with , we get
Note that the estimates
are true. Moreover, using Hölder’s inequality
From equation (2.2) we can obtain
Since as for any . From the above inequality we deduce that
where we use
Because of Gronwall’s inequality, we get
Next, we will give estimates on . Differentiating (2.1) with respect to the x-variable produces the equation
Multiplying this equation by with , integrating the result in the x-variable, and using integration by parts:
From the above inequalities, we also can get the following inequality:
where we use . Then passing to the limit in this inequality and using Gronwall’s inequality one can obtain
We shall now repeat the arguments using the weight
where . Observe that for all N we have
Using the notation , from (2.1) we get
and from (2.3), we also obtain
We need to eliminate the second derivatives in the second term in the above equality. Thus, combining integration by parts and equation (2.4) we find
Hence, as in the weightless case, we have
A simple calculation shows that there exists , depending only on such that for any ,
Thus, we have
Using the same method, we can estimate the other terms:
Thus, it follows that there exists a constant which depends only on M, m, n, k, a, and T, such that
Hence, for any and any we have
Finally, taking the limit as N goes to infinity we find that for any ,
which completes the proof of Theorem 1.2. □
Next, we give a simple proof for Theorem 1.3.
Proof of Theorem 1.3 We should use Theorem 1.3 to prove this theorem.
For any , integrating equation (2.1) over the time interval we get
From Theorem 1.2, it follows that
We shall show that the last term in equation (2.5) is ; thus we have
From the given condition and Theorem 1.2. we know as . Since
From equation (2.5) and as , we know
By the arbitrariness of , we get
uniformly in the time interval . This completes the proof of Theorem 1.3. □
3 Existence of solution of the regularized equation
In order to prove Theorem 1.4, we consider the regularized problem for equation (1.1) in the following form:
where , , and a, k are constants. One can easily check that when , equation (3.1) is equivalent to the IVP (1.1).
Before giving the proof of Theorem 1.4, we give several lemmas.
Lemma 3.1 (See )
Let p and q be real numbers such that . Then
Lemma 3.2 Let with . Then the Cauchy problem (3.1) has a unique solution where depends on . If , the solution exists for all time. In particular, when , the corresponding solution is a classical globally defined solution of problem (3.1).
Proof First, we note that, for any and any s, the integral operator
defines a bounded linear operator on the indicated Sobolev spaces.
To prove the existence of a solution to the problem (3.1), we apply the operator to both sides of equation (3.1) and then integrate the resulting equations with regard to t. This leads to the following equations:
Suppose that is the operator in the right-hand side of equation (3.2). For fixed , we get
Since is an algebra for , we have the inequalities
Since , by Lemma 3.1, we get
where , only depend on n. Suppose that both u and v are in the closed ball of radius R about the zero function in ; by the above inequalities, we obtain
where and C only depend on a, k, m, n. Choosing T sufficiently small such that , we know that is a contraction. Applying the above inequality yields
Taking T sufficiently small so that , we deduce that maps to itself. It follows from the contraction-mapping principle that the mapping has a unique fixed point u in .
For , multiplying the first equation of the system (3.1) by 2u, integrating with respect to x, one derives
from which we have the conservation law
Now we study the norms of solutions of equation (3.1) using energy estimates. First, recall the following two lemmas.
Lemma 3.3 (See )
If , then is an algebra, and
here c is a constant depending only on r.
Lemma 3.4 (See )
If , then
where denotes the commutator of the linear operators A and B, and c is a constant depending only on r.
Theorem 3.1 Suppose that, for some , the functions are a solution of equation (3.1) corresponding to the initial data . Then the following inequality holds:
For any real number , there exists a constant c depending only on q such that
For , there is a constant c independent of ϵ such that
Proof Using and (3.3) derives (3.4).
Since and the Parseval equality gives rise to
For any , applying to both sides of the first equation of (3.1), respectively, and integrating with regard to x again,using integration by parts, one obtains
We will estimate the terms on the right-hand side of (3.7) separately. For the first term, by using the Cauchy-Schwartz inequality and Lemmas 3.3 and 3.4, we have
Using the above estimate to the second term on the right-hand side of equation (3.7) yields
For the fourth term on the right-hand side of equation (3.7), using the Cauchy-Schwartz inequality and Lemma 3.3, we obtain
For the last term on the right-hand side of equation (3.7), using Lemma 3.3 repeatedly results in
It follows from equations (3.7)-(3.11) that there exists a constant c depending only on a, m, n, s such that
Integrating both sides of the above inequality with respect to t results in inequality (3.5).
To estimate the norm of , we apply the operator to both sides of the first equation of the system (3.1) to obtain the equation
Applying to both sides of equation (3.12) for gives rise to
For the right-hand of equation (3.13), we have
Using Lemma 3.3, and , we have
By the Cauchy-Schwartz inequality and Lemma 3.3, we get
with a constant . This completes the proof of Theorem 3.1. □
For a real number s with , suppose that the function is in , and let be the convolution of the function and be such that the Fourier transform of ϕ satisfies , and for any . Thus we have . It follows from Theorem 3.1 that for each ϵ satisfying , the Cauchy problem
has a unique solution , in which may depend on ϵ.
For an arbitrary positive Sobolev exponent , we give the following lemma.
Lemma 3.5 For with and , the following estimates hold for any ϵ with :
where c is a constant independent of ϵ.
Remark 3.1 For , using , , equations (3.4), (3.22), and (3.23), we obtain
where is independent of ϵ.
Theorem 3.2 If with such that . Let be defined as in the system (3.21). Then there exist two constants, c and , which are independent of ϵ, such that of problem (3.21) satisfies for any .
Letting be an integer and multiplying the above equality by , then integrating the resulting equation with respect to x, and using
we find the equality
Applying Hölder’s inequality, we get
where . Furthermore
Since as for any , integrating the above inequality with respect to t and taking the limit as result in the estimate
Using the algebraic property of with and the inequality (3.26) leads to
where c is a constant independent of ϵ. Using (3.6), (3.29), and the above inequality, we get
where c is independent of ϵ. Furthermore, for any fixed , there exists a constant such that . By (3.6) and (3.26), one has
From equations (3.22)-(3.23) and (3.31)-(3.32), we have
For , applying equations (3.28), (3.30), and (3.33), we obtain
It follows from the contraction-mapping principle that there is a such that the equation
has a unique solution . From the above inequality, we know that the variable T only depends on c and . Using the theorem present on p.51 in  or Theorem II in Section 1.1 in  one derives that there are constants and independent of ϵ such that for arbitrary , which leads to the conclusion of Theorem 3.2. □
Using equations (3.5)-(3.6) in Theorem 3.1 and Theorem 3.2, with the notation and with Gronwall’s inequality, results in the inequalities
where , and . It follows from Aubin’s compactness theorem that there is a subsequence of , denoted by , such that and their temporal derivatives are weakly convergent to a function and its derivative in and , respectively. Moreover, for any real number , is convergent to the function u strongly in the space for and converges to strongly in the space for . Thus, we can prove the existence of a weak solution to equation (1.1).
Proof of Theorem 1.4 From Theorem 3.2, we know that is bounded in the space . Thus, the sequences , are weakly convergent to u, in the space for any , separately. Hence, u satisfies the equation
with and . Since is a separable Banach space and is a bounded sequence in the dual space of X, there exists a subsequence of , still denoted by , weakly star convergent to a function v in . As weakly converges to in , as a result almost everywhere. Thus, we obtain . □
Camassa R, Holm D, Hyman J: A new integrable shallow water equation. Adv. Appl. Mech. 1994, 31: 1-33.
Constantin A, Strauss WA: Stability of a class of solitary waves in compressible elastic rods. Phys. Lett. A 2000, 270: 140-148. 10.1016/S0375-9601(00)00255-3
Fokas AS, Fuchssteiner B: Symplectic structures, their Bäcklund transformation and hereditary symmetries. Physica, D 1981, 4: 47-66. 10.1016/0167-2789(81)90004-X
Lenells J: Conservation laws of the Camassa-Holm equation. J. Phys. A 2005, 38: 869-880. 10.1088/0305-4470/38/4/007
Camassa R, Holm D: An integrable shallow water equation with peaked solitons. Phys. Rev. Lett. 1993, 71: 1661-1664. 10.1103/PhysRevLett.71.1661
Constantin A: On the scattering problem for the Camassa-Holm equation. Proc. R. Soc. Lond. 2001, 457: 953-970. 10.1098/rspa.2000.0701
Boutet A, Monvel D, Shepelsky D: Riemann-Hilbert approach for the Camassa-Holm equation on the line. C. R. Math. Acad. Sci. Paris 2006, 343: 627-632. 10.1016/j.crma.2006.10.014
Constantin A, Gerdjikov V, Ivanov R: Inverse scattering transform for the Camassa-Holm equation. Inverse Probl. 2006, 22: 2197-2207. 10.1088/0266-5611/22/6/017
Qiao ZJ: The Camassa-Holm hierarchy, N -dimensional integrable systems, and algebro-geometric solution on a symplectic submanifold. Commun. Math. Phys. 2003, 239: 309-341. 10.1007/s00220-003-0880-y
Constantin A, Strauss WA: Stability of peakons. Commun. Pure Appl. Math. 2000, 53: 603-610. 10.1002/(SICI)1097-0312(200005)53:5<603::AID-CPA3>3.0.CO;2-L
Constantin A, Strauss WA: Stability of the Camassa-Holm solitons. J. Nonlinear Sci. 2002, 12: 415-422. 10.1007/s00332-002-0517-x
Constantin A: The trajectories of particles in Stokes waves. Invent. Math. 2006, 166: 523-535. 10.1007/s00222-006-0002-5
Constantin A, Escher J: Analyticity of periodic traveling free surface water waves with vorticity. Ann. Math. 2011, 173: 559-568. 10.4007/annals.2011.173.1.12
Toland JF: Stokes waves. Topol. Methods Nonlinear Anal. 1996, 7: 1-48.