Global existence and propagation speed for a Degasperis-Procesi equation with both dissipation and dispersion

In this paper, we consider the dissipative Degasperis-Procesi equation with arbitrary dispersion coefficient and compactly supported initial data. We establish the simple condition on the initial data which lead to guarantee that the solution exists globally. We also investigate the propagation speed for the equation under the initial data is compactly supported.


Introduction
In the present paper, we study the Cauchy problem to the dissipative Degasperis-Procesi equation with arbitrary dispersion term and compactly supported initial data: (1) u where supp u 0 ⊂ [a, b] is a compactly supported initial data, k ∈ R is an arbitrary dispersion coefficient, and λ > 0 is a dissipative parameter. When k = 0 and λ = 0, (1) becomes the Degasperis-Procesi equation [3] u t − u txx + 4uu x = 3u x u xx + uu xxx , t > 0, x ∈ R, which arises in the shallow-water medium-amplitude regime [2,10], introduced to capture stronger nonlinear effects that will allow for breaking waves, since the latter are not modeled by the shallow-water small-amplitude regime characteristic for the KdV equation. In this regime only the Camass-Holm equation [1] and the Degasperis-Procesi equation [4] arise as integrable model equations, with the same accuracy of approximation to the governing equations for water waves. It has bi-Hamiltonian structure and an infinite sequence of conserved quantities, and admits exact peakon solutions which are analogous to the Camassa-Holm peakons. After the Degasperis-Procesi equation was derived, many papers were devoted to its study, cf. [3,8,12,14,21] and the citations therein.
If k = 0 and λ > 0 in (1), then it becomes the weakly dissipative Degasperis-Procesi equation [5,6,18,19] ( which has been analyzed in several papers: Local well-posedness of (2) in H s , s > 3/2, waw proved in [5]. Existence and uniqueness of global weak solutions of (2) was established in [6]. Further global existence, blow-up results, persistence properties, and propagation speed were derived in [18,5]. Lenells and Wunsch [12] point out that the weakly dissipative the Degasperis procesi equation (2) are equivalent to their non-dissipative counterparts up to a simple change of variables. More precisely, if u(t, x) and v(t, x) are related by then v(t, x) satisfies the weakly dissipative Degasperis-Procesi equation (2) if and only if u(t, x) satisfies the respective non-dissipative equation. It was observed already in [18] that the properties of (2) are similar to the properties of non-dissipative Degasperi-Procesi equation restricted to a finite time interval. It was also noted that there are considerable differences between theses equations with respect to their long time behavior. However, the work done above was only involved in dissipative terms. It is found [13,15,20]that such kinds of considerable differnces were investigated for the different model (nonlinear wave equations). Recently, Novruzov and Hagverdiyev [17] analyzed the behavior of solutions to the dissipative Camassa-Holm equation with arbitrary dispersion coefficient.
In the present paper, we discuss the global existence and the propagation speed of strong solutions to the equation (1). Our result shows that in comparison between the Degasperis-Procesi equation (k = 0 and λ = 0) and (1) (k = 0 and λ > 0), some behaviors of solutions to the dissipative Degasperis-Procesi equation (1) with arbitrary dispersion are similar to the ones of Degasperis-Procesi equation(k = 0 and λ = 0), such as, the local well-posedness and the blow-up scenario. However, the dissipative term λ(u − u xx ) and the dispersive term k(u x − u xxx ) in (1) do have impacts on the global existence and the propagation speed of its solutions, which are shown below in Theorem 3.3 and Theorem 4.1, respectively. In particular, the propagation speed is seriously affected by both the dissipative parameter λ and the dispersion coefficient k.
Our paper is organized as follows. In Section 2, we provide some preliminary materials which are crucial in the proof of our result. We gave the global existence result in Section 3. We study the propagation speed of strong solutions to the equation (1) under the condition that the initial data has compact support in Section 4.

Preliminaries
Since we shall also use a priori estimates and further properties of solutions in H s (R), s > 3/2, we briefly collect the needed results from [21] in order to pursue our goal.
With m := u − u xx , The equation (1) takes the following form of a quasi-linear evolution equation of hyperbolic type: Note that if p(x) : 1 2 e −|x| , x ∈ R, then (1 − ∂ 2 x ) −1 f = p * f for all f ∈ L 2 (R) and p * m = u. Using this identity, we can rewrite equation (3) as follows: The local well-posedness of the Cauchy problem (4) with initial data u 0 ∈ H s (R), s > 3/2, and λ = 0 can be obtained by applying the Kato theorem [11]. It is easy to see that the same result holds for the Cauchy problem (4). As a result, we have the following well-posedness result.
Moreover, the solution depends continuously on the initial data, i.e. the mapping ) is continuous and the maximal time of existence T > 0 can be chosen to be independent of s. Consider the following differential equation: where u(t, x) is the corresponding strong solution to (1). Applying classical results in the theory of ordinary differential equations, one can obtain the following two results on ϕ which are crucial in the proof of global existence and blow-up solutions.

Lemma 2.2. [19]
Let u 0 ∈ H s (R), s > 3/2, and let T > 0 be the maximal existence time of the corresponding solution u to equation (4).Then equation (5) has a unique solution , and let T > 0 be the maximal existence time of the corresponding solution u to equation (4). Then we have Proof. Differentiating the left-hand side of equation (6) with respect to t, in view of the relations (5) and (3), we obtain which completes the proof of the Lemma 2.3.

Global existence
In this section, we will derive a conservation law for strong solutions to equation (4). we then establish a priori estimate for the L ∞ -norm of the strong solution by using conservation law. This enables us to guarantee that the solution exists globally.
Lemma 3.1. If u 0 ∈ H s (R), s > 3/2, then as long as the solution u(t, x) given by where Proof. Applying Lemma 2.1 and a simple density argument, we only need to show that this lemma with some s > 3/2. Thus we take s = 3 in the proof. Let T > 0 be the maximal time of existence of the solution u to equation (4) with initial data , which is guaranteed by the local well-posedness Lemma 2.1. Applying the operator (1 − ∂ 2 x ) on the both sides of equation (4), we have Multiplying the above equation by v(t, x) and integrating by parts with respect to x, in view of 4v − v xx = u, we obtain it follows that which implies the desired conserved quantity. In view of the above conservation law, it then follows that This completes the proof of Lemma 3.1.
The following important estimate can be obtained by Lemma 3.1.
Proof. Applying Lemma 2.1 and a simple density argument, it suffices to consider s = 3. Let T > 0 be the maximal time of existence of the solution u to (4) with the initial value u 0 ∈ H 3 (R) such that u ∈ C([0, T ); H 3 (R)) ∩ C 1 ([0, T ); H 2 (R)), which is guaranteed by Lemma 2.1. By (4), we obtain In view of (5), we have d(u(t, ϕ(t, x)) dt = u t (t, ϕ(t, x)) + u x (t, ϕ(t, x))ϕ t (t, x) = (u t + (u + k)u x )(t, ϕ(t, x)), where ϕ = ϕ(t, x) is the C 1 solution to (5). It then follows from (9) and (10) that It thus transpires that In view of Lemma 3.1, we have Integrating the above inequality with respect to t < T on [0, t] yields Thus, Using the Sobolev embedding to ensure the uniform boundedness of u x (τ, η) for (τ, η) ∈ [0, t]×R with t ∈ [0, T ), in view of Lemma 2.3, we obtain for every t ∈ [0, T ) a constant κ(t) > 0 such that We now deduce from the above equation that the function ϕ(t, ·) is strictly increasing on R with lim x→±∞ ϕ(t, x) = ±∞ as long as t ∈ [0, T ). Thus, by (11) we can obtain This completes the proof of Lemma 3.2.
We now present the global existence result.
then the corresponding solution u(t, x) to equation (4) exists globally. Proof. We only assume s = 3 to prove the above theorem. Let T > 0 be the maximal time of existence of the solution u to equation (4) with initial data u 0 ∈ H 3 (R). Multiplying equation (3) by m and using integration by parts with respect to x, we have d dt Again, multiplying the above equality by 2e 2λt , we get On the other hand, note that if p(x) = 1 2 e −|x| , then (1 − ∂ 2 x ) −1 f = p * f for all f ∈ L 2 (R) and u = p * m. From this relation, we find Using (14), we from (13) obtain From the above inequality, we easily derive that Integrating the above inequality with respect to t yields Thus, We deduce from the above inequality that Using (14), (15), and the condition of Theorem, we have The above inequality and Lemma 2.2 imply T = ∞. This proves that the solution u exists globally in time. This completes the proof of Theorem 3.3.

Infinite propagation speed
Recently, the results of the infinite propagation speed for the Camassa-Holm equation and the Degasperis-Procesi equation was extensively established [7,22]. Infinite propagation speed means that they loose instantly the property of having compact x-support. Motivated by recently work [9,16], the purpose of this section is to give a more detailed description on the corresponding strong solution u(t, x) to (4) in its lifespan with initial data u 0 (x) being compactly supported.
Theorem 4.1. Assume that for some T > 0 and s > 3/2, u ∈ C([0, T ); H s (R)) is a strong solution of (1). If u 0 (x) = u(0, x) has compact support in [a, b], then for any t ∈ [0, T ], we have where E + and E − are continuous non-vanishing functions with E + (0) = E − (0) = 0 and E + (t) > 0 for t ∈ (0, T ) is a strictly increasing function, while E − (t) < 0 for t ∈ (0, T ) is a strictly decreasing function. Furthermore, we get Proof. From Lemma 2.3, we see that In addition, u 0 has a compact support in x in the interval [a, b] for any t ∈ [0, T ]. Therefore so does m(t, ·) in the interval [ϕ(t, a), ϕ(t, b)]. By the relation u = p * m with p(x) = 1 2 e −|x| , x ∈ R, we have and Moreover, defining one has from (17) that In the same way, we obtain It then from (19) and (20) follows that and similarly, By the definition of f + (t), we get Since m(t, ·) is supported on compact interval [ϕ(t, a), ϕ(t, b)], for fixed t we have Next, integration by parts, (18), (19) and equation using equation (3) yield the following identities Therefore, Multiplying the above inequality by e (λ−k)t , we obtain d(f + (t)e (λ−k)t ) dt > 0, so that f + (t) > 0 for any t > 0 is a strictly increasing function. Next, along the curve ϕ(t, b), simple calculations yields the following estimation ϕ(t, b) = t 0 u(τ, ϕ(τ, 0))dτ + kt + b It then follows from (21) that On the other hand, by Lemma 3.2 we know that u(t, ϕ(t, b)) ≤ u(t, ϕ(t, b) L ∞ ≤ e −λt 3 λ u 0 2 L 2 + u 0 L ∞ .