Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2012, Article ID 840919, 23 pages doi:10.1155/2012/840919 Research Article The Cauchy Problem to a Shallow Water Wave Equation with a Weakly Dissipative Term Ying Wang and YunXi Guo College of Science, Sichuan University of Science and Engineering, Zigong 643000, China Correspondence should be addressed to Ying Wang, matyingw@126.com Received 21 February 2012; Accepted 11 March 2012 Academic Editor: Shaoyong Lai Copyright q 2012 Y. Wang and Y. Guo. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. A shallow water wave equation with a weakly dissipative term, which includes the weakly dissipative Camassa-Holm and the weakly dissipative Degasperis-Procesi equations as special cases, is investigated. The sufficient conditions about the existence of the global strong solution are given. Provided that 1 − ∂2x u0 ∈ M R, u0 ∈ H 1 R, and u0 ∈ L1 R, the existence and uniqueness of the global weak solution to the equation are shown to be true. 1. Introduction The Camassa-Holm equation C-H equation ut − utxx 3uux − 2ux uxx − uuxxx 0, t > 0, x ∈ R, 1.1 as a model for wave motion on shallow water, has a bi-Hamiltonian structure and is completely integrable. After the equation was derived by Camassa and Holm 1, a lot of works was devoted to its investigation of dynamical properties. The local well posedness of solution for initial data u0 ∈ H s R with s > 3/2 was given by several authors 2–4. Under certain assumptions, 1.1 has not only global strong solutions and blow-up solutions 2, 5– 7 but also global weak solutions in H 1 R see 8–10. For other methods to handle the problems related to the Camassa-Holm equation and functional spaces, the reader is referred to 11–14 and the references therein. To study the effect of the weakly dissipative term on the C-H equation, Guo 15 and Wu and Yin 16 discussed the weakly dissipative C-H equation ut − utxx 3uux − 2ux uxx − uuxxx λu − uxx 0, t > 0, x ∈ R. 1.2 2 Abstract and Applied Analysis The global existence of strong solutions and blow-up in finite time were presented in 16 provided that y0 1 − ∂2x u0 changes sign. The sufficient conditions on the infinite propagation speed for 1.2 are offered in 15. It is found that the local well posedness and the blow-up phenomena of 1.2 are similar to the C-H equation in a finite interval of time. However, there are differences between 1.2 and the C-H equation in their long time behaviors. For example, the global strong solutions of 1.2 decay to zero as time tends to infinite under suitable assumptions, which implies that 1.2 has no traveling wave solutions see 16. Degasperis and Procesi 17 derived the equation D-P equation ut − utxx 4uux − 3ux uxx − uuxxx 0, t > 0, x ∈ R, 1.3 as a model for shallow water dynamics. Although the D-P equation 1.3 has a similar form to the C-H equation 1.1, it should be addressed that they are truly different see 18. In fact, many researchers have paid their attention to the study of solutions to 1.3. Constantin et al. 19 developed an inverse scattering approach for smooth localized solutions to 1.3. Liu and Yin 20 and Yin 21, 22 investigated the global existence of strong solutions and global weak solutions to 1.3. Henry 23 showed that the smooth solutions to 1.3 have infinite speed of propagation. Coclite and Karlsen 24 obtained global existence results for entropy solutions in L1 R ∩ BV R and in L2 R ∩ L4 R. The weakly dissipative D-P equation ut − utxx 4uux − 3ux uxx − uuxxx λu − uxx 0, t > 0, x ∈ R 1.4 is investigated by several authors 25–27 to find out the effect of the weakly dissipative term on the D-P equation. The global existence, persistence properties, unique continuation and the infinite propagation speed of the strong solutions to 1.4 are studied in 26. The blowup solution modeling wave breaking and the decay of solution were discussed in 27. The 1,∞ R ×R L∞ R ; H 1 R existence and uniqueness of the global weak solution in space Wloc loc were proved see 25. In this paper, we will consider the Cauchy problem for the weakly dissipative shallow water wave equation ut − utxx a buux − aux uxx − buuxxx λu − uxx 0, u0, x u0 x, x ∈ R, t > 0, x ∈ R, 1.5 where a > 0, b > 0, and λ ≥ 0 are arbitrary constants, u is the fluid velocity in the x direction, λu − uxx represents the weakly dissipative term. For λ 0, we notice that 1.5 is a special case of the shallow water equation derived by Constantin and Lannes 28. Since 1.5 is a generalization of the Camassa-Holm equation and the DegasperisProcesi equation, 1.5 loses some important conservation laws that C-H equation and DP equation possesses. It needs to be pointed out that Lai and Wu 12 studied global existence and blow-up criteria for 1.5 with λ 0. To the best of our knowledge, the dynamical behaviors related to 1.5 with λ 0, such as the global weak solution in space 1,∞ R × R L∞ R ; H 1 R, have not been yet investigated. The objective of this paper Wloc loc is to investigate several dynamical properties of solutions to 1.5. More precisely, we firstly Abstract and Applied Analysis 3 use the Kato theorem 29 to establish the local well-posedness for 1.5 with initial value u0 ∈ H s with s > 3/2. Then, we present a precise blow-up scenario for 1.5. Provided that u0 ∈ H s R L1 R and the potential y0 1−∂2x u0 does not change sign, the global existence of the strong solution is shown to be true. Finally, under suitable assumptions, the existence R ; H 1 R are proved. Our and uniqueness of global weak solution in W 1,∞ R × R L∞ loc main ideas to prove the existence and uniqueness of the global weak solution come from those presented in Constantin and Molinet 8 and Yin 22. 2. Notations The space of all infinitely differentiable functions φt, x with compact support in 0, ∞ × R is denoted by C0∞ . Let 1 ≤ p < ∞, and let Lp Lp R be the space of all measurable functions ht, x such that hPLP R |ht, x|p dx < ∞. We define L∞ L∞ R with the standard norm hL∞ infme0 supx∈R\e |ht, x|. For any real number s, let H s H s R denote the Sobolev 2 2 s 1/2 ξ space < ∞, where ht, −ixξwith the norm defined by hH s R 1 |ξ| |ht, ξ| dξ e ht, xdx. R We denote by ∗ the convolution. Let · X denote the norm of Banach space X and ·, · the H 1 R, H −1 R duality bracket. Let MR be the space of the Radon measures on R with bounded total variation and M R the subset of positive measures. Finally, we write BV R for the space of functions with bounded variation, V f being the total variation of f ∈ BV R. −1 Note that if Gx : 1/2e−|x| , x ∈ R. Then, 1 − ∂2x f G ∗ f for all f ∈ L2 R and G ∗ u − uxx u. Using this identity, we rewrite problem 1.5 in the form ut buux ∂x G ∗ a 2 3b − a u ux 2 λu 0, 2 2 u0, x u0 x, t > 0, x ∈ R, 2.1 x ∈ R, which is equivalent to yt buyx ayux λy 0, t > 0, x ∈ R, 2.2 y u − uxx , u0, x u0 x. 3. Preliminaries Throughout this paper, let {ρn }n≥1 denote the mollifiers −1 ρn x : ρξdξ R nρnx, x ∈ R, n ≥ 1, 3.1 4 Abstract and Applied Analysis where ρ ∈ Cc∞ R is defined by ρx : ⎧ ⎨e1/x2 −1 for |x| < 1, ⎩0 for |x| ≥ 1. 3.2 Thus, we get ρn xdx 1, ρn ≥ 0, x ∈ R, n ≥ 1. 3.3 R Next, we give some useful results. Lemma 3.1 see 8. Let f : R → R be uniformly continuous and bounded. If μ ∈ MR, then ∞ 0 in L1 R. 3.4 ρn ∗ fμ − ρn ∗ f ρn ∗ μ n −→ Lemma 3.2 see 8. Let f : R → R be uniformly continuous and bounded. If g ∈ L∞ R, then ∞0 ρn ∗ fg − ρn ∗ f ρn ∗ g n −→ in L∞ R. 3.5 Lemma 3.3 see 30. Let T > 0. If f, g ∈ L2 0, T ; H 1 R and df/dt, dg/dt ∈ L2 0, T ; H −1 R, then f, g are a.e. equal to a function continuous from 0, T into L2 R and ft, gt − fs, gs t t d fτ d gτ , gτ dτ , fτ dτ dτ dτ s s 3.6 for all s, t ∈ 0, T . Lemma 3.4 see 8. Assume that ut, · ∈ W 1,1 R is uniformly bounded in W 1,1 R for all t ∈ R . Then, for a.e. t ∈ R d ρn ∗ udx ρn ∗ ut sgn ρn ∗ u dx, dt R R d ρn ∗ ux dx ρn ∗ uxt sgn ρn ∗ ux dx. dt R R 3.7 4. Global Strong Solution We firstly present the existence and uniqueness of the local solutions to the problem 2.1. Theorem 4.1. Let u0 ∈ H s R, s > 3/2. Then, the problem 2.1 has a unique solution u, such that u ut, x ∈ C0, T ; H s R ∩ C1 0, T ; H s−1 R , where T > 0 depends on u0 H s R . 4.1 Abstract and Applied Analysis 5 Proof. The proof of Theorem 4.1 can be finished by using Kato’s semigroup theory see 29 or 4. Here, we omit the detailed proof. Theorem 4.2. Given u0 ∈ H s , s > 3/2, the solution u ·, u0 of problem 2.1 blows up in finite time T < ∞ if and only if −∞. lim inf inf ux t, x t→T x∈R 4.2 Proof. Setting yt, x ut, x − uxx t, x, we get 2 2 y 2 u2 2u2x u2xx dx, dx − u u xx L R 4.3 R which yields 2 u2H 2 ≤ yL2 ≤ 2u2H 2 . 4.4 Using system 2.2, one has d 2 y t, xdx 2 yyt dx dt R R −2b uyyx dx − 2a ux y2 dx − 2λ y2 dx R R −2a − b ux y dx − 2λ 2 R 4.5 R y2 dx. R Assume that there is a constant M > 0 such that −ux t, x ≤ M on 0, T × R. 4.6 From 4.5, we get d dt y dx − 2λ y t, xdx ≤ |2a − b|M 2 R 2 R y2 dx. 4.7 R Using Gronwall’ inequality, we deduce the uH 2 is bounded on 0, T . On the other hand, −1 2 ut, x 1 − ∂x yt, x Gx − sysds. 4.8 R Therefore, using 4.4 leads to 1 ux L∞ ≤ Gx x − sysds ≤ Gx L2 yL2 yL2 ≤ uH 2 . 2 R 4.9 It shows that if uH 2 is bounded, then ux L∞ is also bounded. This completes the proof. 6 Abstract and Applied Analysis We consider the differential equation qt bu t, q , t ∈ 0, T , x ∈ R, q0, x x, x ∈ R, 4.10 where u solves 1.5 and T > 0. Lemma 4.3. Let u0 ∈ H s R s > 3; T is the maximal existence time of the corresponding solution u to 1.5. Then, system 4.10 has a unique solution q ∈ C1 0, T × R; R. Moreover, the map qt, · is an increasing diffeomorphism of R with qx t, x exp t bux s, qs, x ds > 0, ∀t, x ∈ 0, T × R, 0 y t, qt, x qx2 t, x y0 x exp t −a − 2bux s, qs, x − λ ds . 4.11 0 Proof. From Theorem 4.1, we have u ∈ C1 0, T ; H s−1 R and H s−1 ∈ C1 R. We conclude that both functions ut, x and ux t, x are bounded, Lipschitz in space, and C1 in time. Applying the existence and uniqueness theorem of ordinary differential equations implies that system 4.10 has a unique solution q ∈ C1 0, T × R, R. Differentiating 4.10 with respect to x leads to d qx bux t, q qx , dt t ∈ 0, T , b > 0, qx 0, x 1, 4.12 x ∈ R, which yields qx exp t bux s, qs, x ds . 4.13 0 For every T < T , using the Sobolev embedding theorem gives rise to sup |ux s, x| < ∞. s,x∈0,T ×R 4.14 It is inferred that there exists a constant K0 > 0 such that qx ≥ e−K0 t for t, x ∈ 0, T × R. By computing directly, we derive d y t, qt, x qx2 t, x −a − 2bux t, xyqx2 − λyqx2 , dt 4.15 Abstract and Applied Analysis 7 which results in y t, qt, x qx2 t, x t y0 x exp −a − 2bux s, qs, x − λ ds . 4.16 0 The proof of Lemma 4.3 is completed. Theorem 4.4. Let u0 ∈ L1 R ∩ H s R, s > 3/2, and 1 − ∂2x u0 ≥ 0 for all x ∈ R (or equivalently 1 − ∂2x u0 ≤ 0 for all x ∈ R). Then, problem 2.1 has a global strong solution u u·, u0 ∈ C0, ∞; H s R ∩ C1 0, ∞; H s−1 R . 4.17 Moreover, if yt, · u − uxx , then one has for all t ∈ R , i yt, · ≥ 0, ut, · ≥ 0, and |ux t, ·| ≤ ut, · on R, ii e−λt y0 L1 R yt, ·L1 R ut, ·L1 R e−λt u0 L1 R and ux t, ·L∞ R ≤ e−λt u0 L1 R , iii u2H 1 ≤ u0 2H 1 exp|a − 2b|/λ1 − e−λt u0 L1 − 2λt. Proof. Let u0 ∈ H s , s > 3/2, and let T > 0 be the maximal existence time of the solution u with initial date u0 cf. Theorem 4.1. If y0 ≥ 0, then Theorem 4.2 ensures that y ≥ 0 for all t ∈ 0, T . Note that u0 G ∗ y0 and y0 u0 − u0,xx ∈ L1 R. By Young’s inequality, we get u0 L1 R G ∗ y0 t, ·L1 R ≤ GL1 R ≤ GL1 R y0 t, ·L1 R ≤ y0 L1 R . 4.18 Integrating the first equation of problem 2.1 by parts, we get d dt u dx −b R uux dx − R a 2 3b − a u ∂x G ∗ ux 2 dx λ u dx 0. 2 2 R R 4.19 It follows that u dx e −λt R 4.20 u0 dx. R Since y u − uxx , we have y dx R u dx − R e −λt uxx dx R u0 dx e R −λt u dx R u0 dx − R u0,xx dx R e −λt 4.21 y0 dx. R 8 Abstract and Applied Analysis Given t ∈ 0, T , due to ut, x ∈ H s , s ≥ 3/2, from Theorem 4.1 and 4.21, we obtain −ux t, x x −∞ u dx ≤ x −∞ ∞ −∞ x u − uxx dx ydx e −λt −∞ y dx y0 dx e −λt 4.22 R u0 dx. R Note that u G ∗ y, y ≥ 0 on 0, T and the positivity of G. Thus, we can infer that u ≥ 0 on 0, T . From 4.22 we have ux t, x ≥ −e−λt u0 dx, ∀t, x ∈ 0, T × R. 4.23 R From Theorem 4.2 and 4.23, we find T ∞. This implies that problem 2.1 has a unique solution u u·, u0 ∈ C0, ∞; H s R C1 0, ∞; H s−1 R , s≥ 3 . 2 4.24 Due to yt, x ≥ 0 and ut, x ≥ 0 for all t ≥ 0, it shows that ut, x e−x 2 x −∞ −x e ux t, x − 2 x eξ yξdξ ∞ ex 2 x x e e yξdξ 2 −∞ ξ e−ξ yξdξ, 4.25 ∞ −ξ e yξdξ. x From the two identities above, we infer that ux 2 ≤ u2 on R for all t ≥ 0. This proves i. Due to y ≥ 0, we obtain ux t, x − x −∞ udx − x −∞ u − uxx dx − x −∞ ydx ≤ 0. 4.26 From u ≥ 0 and the inequality above, we get ux t, x ≤ x −∞ udx ≤ ∞ −∞ udx e−λt ∞ −∞ u0 dx e−λt u0 L1 R . On the other hand, from 4.23, we have that ux t, x ≥ −e−λt u0 L1 R . This proves ii. 4.27 Abstract and Applied Analysis 9 Multiplying the first equation of problem 2.1 by u and integrating by parts, we find 1 d 2 dt u R 2 u2x dx −a b −λ R u ux dx a uux uxx dx b 2 R R u2 uxxx dx R u2 u2x dx a − 2b − 2 R u3x dx −λ 4.28 R u2 u2x dx, which yields R u 2 u2x dx −a − 2b R u3x dx − 2λ R |ux |3 dx − 2λ ≤ |a − 2b| R ≤ |a − ≤ |a − R 2b|ux L∞ ux 2L2 2b|ux L∞ u2H 1 u2 u2x dx − 2λ u2 u2x dx u R − 2λ 2 u2x 4.29 dx R u2 u2x dx. From Gronwall’s inequality, one has u2H 1 ≤ u0 2H 1 |a − 2b| −λt 1−e exp u0 L1 − 2λt . λ 4.30 This proves iii and completes the proof of the theorem. 5. Global Weak Solution Theorem 5.1. Let u0 ∈ H 1 R L1 R and y0 u0 − u0xx ∈ M R. Then equation 1.5 has R ; H 1 R with initial data u0 u0 and such that a unique solution u ∈ W 1,∞ R × R L∞ loc u − uxx ∈ M , a.e. ∈ R is uniformly bounded on R. Proof. We split the proof of Theorem 5.1 in two parts. Let u0 ∈ H 1 R and y0 u0 −u0,xx ∈ M R. Note that u0 G∗y0 . Thus, for ϕ ∈ L∞ R, we have sup ϕx G ∗ y0 xdx ϕL∞ R ≤1 R ϕx Gx − ξdy0 ξdx u0 L1 R G ∗ y0 L1 R sup ϕL∞ R ≤1 R R 10 Abstract and Applied Analysis sup G ∗ ϕ ξdy0 ξ ϕL∞ R ≤1 R sup G ∗ ϕL∞ R y0 MR ϕL∞ R ≤1 ≤ sup GL1 R ϕL∞ R y0 MR y0 MR . ϕL∞ R ≤1 5.1 Let us define un0 : ρn ∗ u0 ∈ H ∞ R for n ≥ 1. Obviously, we get n u 0 H 1 R un0 −→ u0 in H 1 R for n −→ ∞, ρn ∗ u0 H 1 R ρn ∗ u0 L2 ρn ∗ u0 L2 ≤ u0 H 1 R , 5.2 un0 L1 R ρn ∗ u0 L1 R ≤ u0 L1 R . Note that, for all n ≥ 1, y0n : un0 − un0,xx ρn ∗ y0 ≥ 0. 5.3 Referring to the proof of 5.1, we have n y 0 L1 R ≤ y0 MR , n ≥ 1. 5.4 From the Theorem 4.4, we know that there exists a global strong solution un un ·, un0 ∈ C0, ∞; H s R ∩ C1 0, ∞; H s−1 R , s≥ 3 , 2 5.5 and un t, x − unxx t, x ≥ 0 for all t, x ∈ R × R. Note that for all t, x ∈ R × R un 2 x −∞ 2un unx dξ ≤ un 2 unx 2 dξ un 2H 1 . 5.6 R From Theorem 4.4 and 5.2, we obtain unx 2L∞ R ≤ un 2L∞ R ≤ un 2H 1 R n 2 |a − 2b| −λt n 1−e u0 L1 − 2λt ≤ u0 H 1 exp λ |a − 2b| 2 −λt ≤ u0 H 1 exp 1−e u0 L1 − 2λt . λ 5.7 Abstract and Applied Analysis 11 From the Hölder inequality, Theorem 4.4, and 5.2, for all t ≥ 0 and n ≥ 1, we have bun tunx tL2 R ≤ bun tL∞ R unx tL2 R ≤ bun 2H 1 R 2 |a − 2b| 1 − e−λt un0 L1 − 2λt ≤ bun0 H 1 exp λ |a − 2b| ≤ bu0 2H 1 exp 1 − e−λt u0 L1 − 2λt . λ 5.8 Using Young’s inequality, we get ∂x G ∗ a un 2 3b − a unx 2 2 2 2 L R a 3b a 2 2 ∂x G ∗ un 2 ∂x G ∗ unx 2 L R L R 2 2 a 3b a ≤ ∂x GL2 R un 2 1 ∂x GL2 R unx 2 1 L R L R 2 2 ≤ 3b a ≤ ∂x GL2 R un 2H 1 R 2 n 2 3b a |a − 2b| −λt n 1−e u0 L1 − 2λt ≤ ∂x GL2 R u0 H 1 exp 2 λ 3b a |a − 2b| 2 −λt ≤ 1−e u0 L1 − 2λt , ∂x GL2 R u0 H 1 exp 2 λ 5.9 where ∂x GL2 R is bounded, and λun L2 ≤ λun H 1 ≤ λu0 H1 |a − 2b| −λt 1−e exp u0 L1 − λt . 2λ 5.10 Applying 5.8–5.10 and problem 2.1, we have d n u L2 R ≤ dt 3b a |a − 2b| 1 − e−λt u0 L1 − 2λt ∂x GL2 R u0 2H 1 exp 2 λ |a − 2b| λu0 H 1 exp 1 − e−λt u0 L1 − λt . 2λ b 5.11 For fixed T > 0, from 5.7 and 5.11, we deduce T 0 R 2 un t, x2 unx t, x2 unt t, x dxdt ≤ M, 5.12 12 Abstract and Applied Analysis where M is a positive constant depending only on Gx L2 R , u0 H 1 R , u0 L1 R , and T . It follows that the sequence {un }n≥1 is uniformly bounded in the space H 1 0, T × R. Thus, we can extract a subsequence such that unk u, weakly in H 1 0, T × R for nk −→ ∞, unk −→ u, a.e. on 0, T × R for nk −→ ∞, 5.13 5.14 for some u ∈ H 1 0, T × R. From Theorem 4.4 and 5.2, for fixed t ∈ 0, T , we have that the sequence unxk t, · ∈ BV R satisfies V unxk t, x unxxk t, ·L1 R ≤ unk t, ·L1 R ynk t, ·L1 R ≤ 2e−λt un0 k t, ·L1 R ≤ 2e−λt u0 t, ·L1 R ≤ 2e−λt y0 t, ·MR , 5.15 nk ux t, · ∞ ≤ e−λt unk 1 ≤ e−λt u0 1 ≤ e−λt y0 . L R 0 L MR L R Applying Helly’s theorem 31, we infer that there exists a subsequence, denoted again by {unxk t, ·}, which converges at every point to some function νt, · of finite variation with V νt, · ≤ 2e−λt y0 MR . 5.16 From 5.14, we get that for almost all t ∈ 0, T , unxk t, · → ux t, · in D R, it follows that νt, · ux t, · for a.e. t ∈ 0, T . Therefore, we have unxk t, · −→ ux t, · a.e. on 0, T × R for nk −→ ∞, 5.17 and, for a.e. t ∈ 0, T , V ux t, · uxx t, ·MR 2e−λt u0 L1 ≤ 2e−λt y0 MR . By Theorem 4.4 and 5.7, we have a n 2 3b − a n 2 u u x 2 2 L2 R ≤ a 3b a n 2 n 2 u 2 ux 2 L R L 2 2 ≤ a n 3b a n u L∞ un L2 R ux L∞ unx L2 2 2 5.18 Abstract and Applied Analysis 13 3b a n 2 a n 2 u H 1 R u H 1 R 2 2 3b a un 2H 1 R 2 3b |a − 2b| 1 − e−λt xu0 L1 − 2λt . ≤ a u0 2H 1 exp 2 λ ≤ 5.19 Note that for fixed t ∈ 0, T , the sequence {a/2un 2 3b − a/2unx 2 }n≥1 is uniformly 2 bounded in L2 R. Therefore, it has a subsequence {a/2unk 2 3b − a/2unxk }nk ≥1 , which converges weakly in L2 R. From 5.14, we infer that the weak L2 R-limit is {a/2u2 3b − a/2ux 2 }. It follows from Gx ∈ L2 R that ∂x G ∗ a nk 2 3b − a nk 2 ux u 2 2 −→ ∂x G ∗ a 3b − a u2 ux 2 2 2 for nk −→ ∞. 5.20 From 5.14, 5.17, and5.20, we have that u solves 2.1 in D 0, T × R. For fixed T > 0, note that unt k is uniformly bounded in L2 R as t ∈ 0, T and nk u tH 1 R is uniformly bounded for all t ∈ 0, T and n ≥ 1, and we infer that the family t → unk ∈ H 1 R is weakly equicontinous on 0,T. An application of the Arzela-Ascoli theorem yields that {unk } has a subsequence, denoted again {unk }, which converges weakly in H 1 R, uniformly in t ∈ 0, T . The limit function is u. T being arbitrary, we have that u is locally and weakly continuous from 0, ∞ into H 1 R, that is, u ∈ Cw,loc R ; H 1 R. Since, for a.e. t ∈ R , unk t, · ut, · weakly in H 1 R, from Theorem 4.4, we get ut, ·L∞ R ≤ ut, ·H 1 R ≤ lim infunk t, ·H 1 R ≤ u0 H 1 exp nk → ∞ |a − 2b| 1 − e−λt u0 L1 R − λt . 2λ 5.21 Inequality 5.21 shows that ∞ 1 u ∈ L∞ loc R × R ∩ Lloc R ; H R . 5.22 From Theorem 4.4, 5.1 and 5.2, for t ∈ R , we obtain unx t, ·L∞ ≤ e−λt un0 L1 R ≤ e−λt u0 L1 R ≤ e−λt y0 MR . 5.23 Combining with 5.14, we have ux ∈ L∞ R × R. Next, we will prove that R ut, ·dx e−λt R 5.24 u0, ·dx by using a regularization approach. 14 Abstract and Applied Analysis Since u satisfies 2.1 in distribution sense, convoluting 2.1 with ρn , we have that, for a.e. t ∈ R , ρn ∗ ut ρn ∗ buux ρn ∗ ∂x p ∗ a 2 3b − a u ux 2 λρn ∗ u 0. 2 2 5.25 Integrating the above equation with respect to x on R, we obtain d dt ρn ∗ udx R ρn ∗ buux dx R a 2 3b − a u ρn ∗ ∂x p ∗ ux 2 dx λ ρn ∗ u dx 0. 2 2 R R 5.26 Integration by parts gives rise to d dt ρn ∗ udx −λ R ρn ∗ udx, t ∈ R , n ≥ 1. 5.27 R Utilizing Lemma 3.3, we obtain that ρn ∗ ut, ·dx e −λt R ρn ∗ u0 dx. 5.28 R Since lim ρn ∗ ut, · − ut, ·L1 R lim ρn ∗ u0 − u0 L1 R 0. n→∞ n→∞ 5.29 it follows that, for a.e. t ∈ R , ρn ∗ ut, ·dx lim e−λt ut, ·dx lim R n→∞ n→∞ R ρn ∗ u0 dx e−λt R u0 dx. 5.30 R Finally, we prove that ut, · − uxx t, · ∈ M is uniformly bounded on R and ut, x ∈ W 1,∞ R × R. Due to L1 R ⊂ L∞ ∗ ⊂ C0 R∗ MR, 5.31 from 5.18, we get that, for a.e. t ∈ R , ut, · − uxx t, ·MR ≤ ut, ·L1 R uxx t, ·MR ≤ e−λt u0 L1 R 2e−λt y0 MR ≤ 3e−λt y0 MR . 5.32 Abstract and Applied Analysis 15 The above inequality implies that, for a.e. t ∈ R , ut, · − uxx t, · ∈ MR is uniformly bounded on R. For fixed T ≥ 0, applying 5.13 and 5.14, we have nk u t, · − unxxk t, · −→ ut, · − uxx t, · in D R for n −→ ∞. 5.33 Since unk t, · − unxxk t, · ≥ 0 for all t, x ∈ R × R, we obtain that for a.e. t ∈ R , ut, · − uxx t, · ∈ M R. Note that ut, x G ∗ ut, x − uxx t, x. Then we get |ut, x| |G ∗ ut, x − uxx t, x| ≤ GL∞ R ut, x − uxx t, xMR ≤ 3e−λt y0 MR . 5.34 Combining with 5.24, it implies that ut, x ∈ W 1,∞ R × R. This completes the proof of the existence of Theorem 5.1. Next, we present the uniqueness proof of the Theorem 5.1. R ; H 1 R be two global weak solutions of problem 2.1 Let u, v ∈ W 1,∞ R ×R∩L∞ loc with the same initial data u0 . Assume that ut, · − uxx t, · ∈ M R and vt, · − vxx t, · ∈ M R are uniformly bounded on R and set ! N : sup ut, · − uxx t, ·MR vt, · − vxx t, ·MR . 5.35 t∈R From assumption, we know that N < ∞. Then, for all t, x ∈ R × R, |ut, x| |G ∗ ut, x − uxx t, x| ≤ GL∞ R ut, x − uxx t, xMR ≤ N , 2 5.36 |ux t, x| |Gx ∗ ut, x − uxx t, x| ≤ Gx L∞ R ut, x − uxx t, xMR ≤ N . 2 5.37 Similarly, |vt, x| ≤ N , 2 |vx t, x| ≤ N , 2 t, x ∈ R × R. 5.38 Following the same procedure as in 5.1, we may also get that ut, xL1 G ∗ ut, x − uxx t, xL1 R ≤ GL1 R ut, x − uxx t, xMR ≤ N, ux t, xL1 R Gx ∗ ut, x − uxx t, xL1 R ≤ Gx L1 R ut, x − uxx t, xMR ≤ N 5.39 16 Abstract and Applied Analysis and, for all t, x ∈ R × R, |vt, x| ≤ N, t, x ∈ R × R. |vx t, x| ≤ N, 5.40 We define wt, x : ut, x − vt, x, t, x ∈ R × R. 5.41 Convoluting 2.1 for u and v with ρn , we get that for a.e. t ∈ R and all n ≥ 1, a 2 3b − a 2 ρn ∗ ut ρn ∗ buux ρn ∗ ∂x G ∗ u ux λρn ∗ u 0, 2 2 a 2 3b − a 2 v ρn ∗ vt ρn ∗ bvvx ρn ∗ ∂x G ∗ vx λρn ∗ v 0. 2 2 5.42 5.43 Subtracting 5.43 from 5.42 and using Lemma 3.4, integration by parts shows that, for a.e. t ∈ R and all n ≥ 1 d dt ρn ∗ wdx R ρn ∗ wt sgn ρn ∗ w dx R ρn ∗ wux sgn ρn ∗ w dx −b R ρn ∗ vwx sgn ρn ∗ w dx −b R a − 2 ρn ∗ ∂x G ∗ wu v sgn ρn ∗ w dx 5.44 R 3b − a ρn ∗ ∂x G ∗ wx ux vx sgn ρn ∗ w dx 2 R −λ ρn ∗ w sgn ρn ∗ w dx. − R Using 5.36–5.38 and Young’s inequality to the first term on the right-hand side of 5.44 yields, ρn ∗ wux sgn ρn ∗ w dx R ≤ ρn ∗ wux dx R ≤ R ρn ∗ wρn ∗ ux dx ρn ∗ wux − ρn ∗ w ρn ∗ ux dx R Abstract and Applied Analysis ρn ∗ w dx ρn ∗ wux − ρn ∗ w ρn ∗ ux dx ≤ ρn ∗ ux L∞ R ≤ ρn L1 ux L∞ N 2 ≤ R ρn ∗ wdx R ρn ∗ wdx R 17 ρn ∗ wux − ρn ∗ w ρn ∗ ux dx R ρn ∗ wux − ρn ∗ w ρn ∗ ux dx. R 5.45 Similarly, for the second term and the third term on the right-hand side of 5.44, we have ρn ∗ wx v sgn ρn ∗ w dx R ρn ∗ wx v dx ≤ R ρn ∗ wx ρn ∗ vdx ≤ R ≤ N 2 ρn ∗ wx dx R ρn ∗ wx v − ρn ∗ wx ρn ∗ v dx R ρn ∗ wx v − ρn ∗ wx ρn ∗ v dx, R ρn ∗ ∂x G ∗ wu v sgn ρn ∗ w dx R ρn ∗ G ∗ wx u vdx ≤ R R ρn ∗ G ∗ wu v dx x ρn ∗ wx u vdx 1 ρn ∗ wux vx dx 2 R R N N ≤ ρn ∗ wx dx ρn ∗ wdx 2 R 2 R ρn ∗ wx u v − ρn ∗ wx ρn ∗ u v dx 1 ≤ 2 R R ρn ∗ wu v − ρn ∗ w ρn ∗ u v dx. x x 5.46 For the last term on the right-hand side of 5.44, we have ρn ∗ ∂x G ∗ wx u vx sgn ρn ∗ w dx R ≤ ρn ∗ ∂x G ∗ |wx ||ux | |vx |dx R 18 Abstract and Applied Analysis ρn ∗ ∂x G ∗ |wx |dx ≤N R ≤ N∂x GL1 R ρn ∗ |wx |dx R ρn ∗ wx dx N ≤N R ρn ∗ |wx | − ρn ∗ wx dx . R 5.47 From 5.45–5.47, for a.e. t ∈ R and all n ≥ 1, we find d dt ρn ∗ wdx ≤ R a 2b ρn ∗ wdx Nλ 4 R a 2bN ρn ∗ wx dx Rn t, 5.48 R where Rn t −→ 0 as t −→ ∞, |Rn t| ≤ K, n ≥ 1, t ∈ R , 5.49 where K is a positive constant depending on N and the H 1 R-norms of u0 and v0. In the same way, convoluting 2.1 for u and v with ρn,x and using Lemma 3.4, we get that, for a.e. t ∈ R and all n ≥ 1, d dt ρn ∗ wx dx R ρn ∗ wxt sgn ρn,x ∗ w dx R ρn ∗ wx ux vx sgn ρn,x ∗ w dx −b R ρn ∗ vxx w sgn ρn,x ∗ w dx −b R ρn ∗ uwxx sgn ρn,x ∗ w dx −b R ρn ∗ ∂xx G ∗ − R a 3b − a 2 ux − vx2 sgn ρn,x ∗ w dx u2 − v2 2 2 ρn ∗ wx sgn ρn,x ∗ w dx. −λ R 5.50 Abstract and Applied Analysis 19 Using the identity ∂2x G ∗ g G ∗ g − g for g ∈ L2 R and Young’s inequality, we estimate the forth term of the right-hand side of 5.50 3b − a a 2 2 2 2 u −v ux − vx dx ρn ∗ ∂xx G ∗ 2 2 R 3b − a a 2 2 2 2 ≤ ρn ∗ G ∗ u −v ux − vx dx 2 2 R 3b − a a 2 2 2 2 ρn ∗ u −v ux − vx dx 2 2 R ρn ∗ a wu v 3b − a wx ux vx dx ≤ GL1 R 1 2 2 R ≤ a ρn ∗ wu v dx 3b a ρn ∗ wx ux vx dx R ρn ∗ wdx 3b aN ≤ aN R 5.51 R ρn ∗ wx dx Rn . R Using 5.36–5.38 and Young’s inequality to the first term on the right-hand side of 5.50 gives rise to −b ρn ∗ wx ux vx sgn ρn,x ∗ w dx R ρn ∗ wx ux vx dx ≤b R ρn ∗ wx ρn ∗ ux vx dx ≤b 5.52 R ρn ∗ wx ux vx − ρn ∗ wx ρn ∗ ux vx dx b R ρn ∗ wx dx Rn . ≤ bN R To treat the second term of the right-hand side of 5.50, we note that b ρn ∗ vxx w sgn ρn,x ∗ w dx R ρn ∗ w ρn ∗ vxx dx ≤b R b R ρn ∗ vxx w − ρn ∗ w ρn ∗ vxx dx. 5.53 20 Abstract and Applied Analysis Applying Lemma 3.1, the second expression of the right-hand side of 5.53 can be estimated by a function Rn t belonging to 5.49. Making use of the Hölder inequality and 5.1, for a.e. t ∈ R and all n ≥ 1, we have ρn ∗ w ρn ∗ vxx dx ≤ ρn ∗ w L∞ R R ρn ∗ vxx 1 L R ≤ ρn ∗ wW 1,1 R vxx MR . 5.54 It follows from 5.53 and 5.54 that b ∗ v w sgn ρ ∗ w dx ρ n xx n,x R ρn ∗ wdx ≤ bN 5.55 R bN ρn ∗ wx Rn t. R Now, we deal with the third term on the right-hand side of 5.50 −b ρn ∗ uwxx sgn ρn,x ∗ w dx R ρn ∗ u ρn ∗ wxx sgn ρn,x ∗ w dx −b R ρn ∗ uwxx − ρn ∗ u ρn ∗ wxx sgn ρn,x ∗ w dx −b R ∂ ρn ∗ wx dx ≤ −b ρn ∗ u ∂x R b ρn ∗ uwxx − ρn ∗ u ρn ∗ wxx dx b 5.56 R ρn ∗ ux ρn ∗ wx dx Rn . R Therefore, 5.56 implies that, for a.e. t ∈ R and all n ≥ 1, −b ρn ∗ uwxx sgn ρn,x ∗ w dx ≤ bN ρn ∗ wx dx Rn . R R 5.57 Abstract and Applied Analysis 21 From 5.51, 5.52, 5.55, and 5.57, for a.e. t ∈ R and all n ≥ 1, we deduce that d dt ρn ∗ wx dx ≤ a bN R ρn ∗ wdx R ρn ∗ wx dx Rn . 6b aN λ 5.58 R Combining with 5.48 and 5.58, we find d dt ρn ∗ wdx ρn ∗ w ρn ∗ wx dx ≤ 5a 6b N λ 4 R R 2a 8bN λ ρn ∗ wx dx Rn ≤ 2a 8bN λ 5.59 R ρn ∗ w ρn ∗ wx dx Rn . R It follows from Gronwall’ inequality that, for a.e. t ∈ R and all n ≥ 1, ρn ∗ w ρn ∗ wx dx R " t ≤ # ρn ∗ w ρn ∗ wx 0, xdx e2a8bNλt . Rn sds 0 5.60 R Fix t > 0, and let n → ∞ in 5.60. Since w u−v ∈ W 1,1 R and relation 5.49 holds, making use of Lebesgue’s dominated convergence theorem yields |w| |wx |0, xdx e2a8bNλt . |w| |wx |dx ≤ R 5.61 R Note that w0 wx 0 0; therefore, we obtain ut, x vt, x for a.e. t, x ∈ R × R. This completes the proof of the theorem. Acknowledgments This work was supported by RFSUSE no. 2011KY12, RFSUSE no. 2011RC10 and the project no. 12ZB080. The authors thanks the referee for valuable comments. References 1 R. Camassa and D. D. Holm, “An integrable shallow water equation with peaked solitons,” Physical Review Letters, vol. 71, no. 11, pp. 1661–1664, 1993. 2 A. Constantin and J. Escher, “Global existence and blow-up for a shallow water equation,” Annali della Scuola Normale Superiore di Pisa, vol. 26, no. 2, pp. 303–328, 1998. 22 Abstract and Applied Analysis 3 Y. A. Li and P. J. Olver, “Well-posedness and blow-up solutions for an integrable nonlinearly dispersive model wave equation,” Journal of Differential Equations, vol. 162, no. 1, pp. 27–63, 2000. 4 G. Rodrı́guez-Blanco, “On the Cauchy problem for the Camassa-Holm equation,” Nonlinear Analysis: Theory, Methods & Applications, vol. 46, no. 3, pp. 309–327, 2001. 5 A. Constantin, “Existence of permanent and breaking waves for a shallow water equation: a geometric approach,” Annales de l’Institut Fourier, vol. 50, no. 2, pp. 321–362, 2000. 6 A. Constantin and J. Escher, “Wave breaking for nonlinear nonlocal shallow water equations,” Acta Mathematica, vol. 181, no. 2, pp. 229–243, 1998. 7 A. Constantin and H. P. McKean, “A shallow water equation on the circle,” Communications on Pure and Applied Mathematics, vol. 52, no. 8, pp. 949–982, 1999. 8 A. Constantin and L. Molinet, “Global weak solutions for a shallow water equation,” Communications in Mathematical Physics, vol. 211, no. 1, pp. 45–61, 2000. 9 Z. Xin and P. Zhang, “On the weak solutions to a shallow water equation,” Communications on Pure and Applied Mathematics, vol. 53, no. 11, pp. 1411–1433, 2000. 10 Z. Xin and P. Zhang, “On the uniqueness and large time behavior of the weak solutions to a shallow water equation,” Communications in Partial Differential Equations, vol. 27, no. 9-10, pp. 1815–1844, 2002. 11 A. A. Himonas, G. Misiołek, G. Ponce, and Y. Zhou, “Persistence properties and unique continuation of solutions of the Camassa-Holm equation,” Communications in Mathematical Physics, vol. 271, no. 2, pp. 511–522, 2007. 12 S. Lai and Y. Wu, “Existence of weak solutions in lower order Sobolev space for a Camassa-Holm-type equation,” Journal of Physics A, vol. 43, no. 9, Article ID 095205, 13 pages, 2010. 13 Y. Zhou, “On solutions to the Holm-Staley b-family of equations,” Nonlinearity, vol. 23, no. 2, pp. 369–381, 2010. 14 Y. Zhou, “Wave breaking for a shallow water equation,” Nonlinear Analysis: Theory, Methods & Applications, vol. 57, no. 1, pp. 137–152, 2004. 15 Z. Guo, “Blow up, global existence, and infinite propagation speed for the weakly dissipative Camassa-Holm equation,” Journal of Mathematical Physics, vol. 49, no. 3, Article ID 033516, 9 pages, 2008. 16 S. Wu and Z. Yin, “Global existence and blow-up phenomena for the weakly dissipative CamassaHolm equation,” Journal of Differential Equations, vol. 246, no. 11, pp. 4309–4321, 2009. 17 A. Degasperis and M. Procesi, “Asymptotic integrability,” in Symmetry and Perturbation Theory (Rome, 1998), pp. 23–37, World Scientific Publishing, River Edge, NJ, USA, 1999. 18 J. Escher, Y. Liu, and Z. Yin, “Global weak solutions and blow-up structure for the Degasperis-Procesi equation,” Journal of Functional Analysis, vol. 241, no. 2, pp. 457–485, 2006. 19 A. Constantin, R. I. Ivanov, and J. Lenells, “Inverse scattering transform for the Degasperis-Procesi equation,” Nonlinearity, vol. 23, no. 10, pp. 2559–2575, 2010. 20 Y. Liu and Z. Yin, “Global existence and blow-up phenomena for the Degasperis-Procesi equation,” Communications in Mathematical Physics, vol. 267, no. 3, pp. 801–820, 2006. 21 Z. Yin, “Global weak solutions for a new periodic integrable equation with peakon solutions,” Journal of Functional Analysis, vol. 212, no. 1, pp. 182–194, 2004. 22 Z. Yin, “Global solutions to a new integrable equation with peakons,” Indiana University Mathematics Journal, vol. 53, no. 4, pp. 1189–1209, 2004. 23 D. Henry, “Infinite propagation speed for the Degasperis-Procesi equation,” Journal of Mathematical Analysis and Applications, vol. 311, no. 2, pp. 755–759, 2005. 24 G. M. Coclite and K. H. Karlsen, “On the well-posedness of the Degasperis-Procesi equation,” Journal of Functional Analysis, vol. 233, no. 1, pp. 60–91, 2006. 25 Y. Guo, S. Lai, and Y. Wang, “Global weak solutions to the weakly dissipative Degasperis-Procesi equation,” Nonlinear Analysis: Theory, Methods & Applications, vol. 74, no. 15, pp. 4961–4973, 2011. 26 Z. Guo, “Some properties of solutions to the weakly dissipative Degasperis-Procesi equation,” Journal of Differential Equations, vol. 246, no. 11, pp. 4332–4344, 2009. 27 S. Wu and Z. Yin, “Blow-up and decay of the solution of the weakly dissipative Degasperis-Procesi equation,” SIAM Journal on Mathematical Analysis, vol. 40, no. 2, pp. 475–490, 2008. 28 A. Constantin and D. Lannes, “The hydro-dynamical relevance of the Camassa-Holm and Degasperis-Procesi equations,” Archive for Rational Mechanics and Analysis, vol. 193, pp. 165–186, 2009. Abstract and Applied Analysis 23 29 T. Kato, “Quasi-linear equations of evolution, with applications to partial differential equations,” in Spectral Theory and Differential Equations, Lecture Notes in Mathematics Vol. 448, pp. 25–70, Springer, Berlin, Germany, 1975. 30 J. Málek, J. Nečas, M. Rokyta, and M. Ruzicka, Weak and Measure-valued Solutions to Evolutionary PDEs, vol. 13 of Applied Mathematics and Mathematical Computation, Chapman & Hall, London, UK, 1996. 31 I. P. Natanson, Theory of Functions of a Real Variable, F. Ungar Publishing Co, New York, NY, USA, 1964. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014