Abstract
It is shown that a strong solution of the Degasperis–Procesi equation, initially decaying exponentially together with its spatial derivative, must be identically equal to zero if it also decays exponentially at a later time. The decay rate of the corresponding strong solution at infinity is also given for some kinds of initial data with exponential decay.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Recently, Degasperis and Procesi [20] considered the following family of third order dispersive conservation laws,
where \(\alpha \), \(\gamma \), \(c_{0}\), \(c_{1}\), \(c_{2}\), and \(c_{3}\) are real constants. Within this family, only three equations that satisfy asymptotic integrability condition up to third order are singled out, namely the KdV equation,
the Camassa–Holm equation,
and a new equation (the Degasperis–Procesi equation, the DP equation, for simplicity) which can be written as (after rescaling) the dispersionless form [20],
It is worth noting that in [21], both the Camassa–Holm and DP equations are derived as members of a one-parameter family of asymptotic shallow water approximations to the Euler equations: this is important because it shows that (after the addition of linear dispersion terms) both the Camassa–Holm and DP equations are physically relevant, otherwise the DP equation would be of purely theoretical interest.
When \(\alpha =c_{2}=c_{3}=0\) in (1.1), it becomes the well-known KdV equation, which has been extensively studied by [3, 4, 26, 27, 33].
When \(c_{1}=-3c_{3}/2\alpha ^{2}\) and \(c_{2}=c_{3}/2\) in (1.1), we recover the Camassa–Holm equation derived physically by Camassa and Holm in [7] by approximating directly the Hamiltonian for Euler’s equations in the shallow water regime, where \(u(x,t)\) represents the free surface above a flat bottom. Recently, the alternative derivations of the Camassa–Holm equation as a model for water waves, respectively as the equation for geodesic flow on the diffeomorphism group of the circle were presented by Johnson [25] and respectively by Constantin and Kolev [13]. The geometric interpretation is important because it can be used to prove that the Least Action Principle holds for the Camassa–Holm equation, cf. [14]. It is worth to point out that a fundamental aspect of the Camassa–Holm equation, the fact that it is a completely integrable system, was shown in [15] for the periodic case and [1, 12] for the nonperiodic case. Some satisfactory results have been obtained for this shallow water equation recently. Local well-posedness for the initial datum \( u_{0}(x)\in H^{s}\) with \(s>3/2\) was proved by several authors, see [28, 31], and global existence was established for some kind of initial datum in [9, 11]. For the initial data with lower regularity, we refer to Molinet’s paper [32] and also the recent paper [5]. Moreover, necessary and sufficient condition for wave breaking is established in [29, 30, 37, 38]. However, in [34], global existence of weak solutions is proved but uniqueness is obtained only under an a priori assumption that is known to hold only for initial data \(u_{0}(x)\in H^{1}\) such that \(u_{0}-u_{0xx}\) is a sign-definite Radon measure (under this condition, global existence and uniqueness were shown in [16] also). Also it is worth to note that global conservative solutions are constructed for any initial data in \(H^{1}\) by Bressan and Constantin [5] recently. In [2] and [18], it was proved that all solitary waves (peaked when \(c_{0}=0\) or smooth when \(c_{0}\ne 0\) ) are solitons. The stabilities of the solitons are proved in [17] and [18] respectively. Recently, in [22], among others, Himonas, Misiołek, Ponce, and Zhou showed the infinite propagation speed for the Camassa–Holm equation in the sense that a strong solution of the Cauchy problem with compact initial profile cannot be compactly supported at any later time unless it is the zero solution, which is an improvement of previous results in this direction obtained in [10, 24].
Although, the DP Eq. (1.2) has a similar form to the Camassa–Holm equation and admits exact peakon solutions analogous to the Camassa–Holm peakons [19], these two equations are pretty different. The isospectral problem for Eq. (1.2) is
while it for Camassa–Holm equation is
where \(y=u-u_{xx}\) for both cases. This implies the inside structures of the DP Eq. (1.2) and the Camassa–Holm equation are truly different. However, we also have some similar results on the DP equation, see [6, 23, 36]
Analogous to the Camassa–Holm equation, (1.2) can be written in Hamiltonian form and have infinitely many conservation laws. Here we list some of the simplest conserved quantities [19]:
where \(v=(4-\partial _x^2)^{-1} u\). So they are different from the invariants of the Camassa–Holm equation,
Set \(Q=(1-\partial _x^2)\), then the operator \(Q^{-1}\) in \(\mathbb {R}\) can be expressed by
Equation (1.2) can be written as
while the Camassa–Holm equation can be written as
Due to the similarity of (1.3) and (1.4), just by following the argument for the Camassa–Holm equation, it is easy to establish the following well-posedness theorem for (1.3).
Theorem 1.1
[35, 36] Given \(u(x,t=0)=u_0 \in H^s (\mathbb {R})\), \(s>3/2\), then there exists a \(T\) and a unique solution \(u\) to (1.2) (also (1.3)) such that
It should be mentioned that due to the form of (1.3) (no derivative appears in the convolution term), Coclite and Karlsen [8] established global existence and uniqueness result for entropy weak solutions belonging to the class \(L^1(\mathbb {R}) \cap BV(\mathbb {R})\).
2 Unique Continuation
We will formulate decay conditions on a solution, at two distinct times, which guarantee that \(u\equiv 0\) is the unique solution of (1.3). The idea of proving unique continuation results for nonlinear dispersive equations under decay assumptions of the solution at two different times was motivated by the recent works on the nonlinear Schrödinger and the \( \kappa \)-generalized Korteweg-de Vries equations.
In order to prove the result, we have the following theorem.
Theorem 2.1
Assume that for some \(T>0,\,\)and\(\,s>3/2\), \(u\in C([0,T];H^{s}(\mathbb {R}))\) is a strong solution of the initial value problem associated to Eq. (1.3), and that \(u_{0}(x)=u(x,0)\) satisfies that for some \(\theta \in (0,1)\),
Then
uniformly in the time interval \([0,T]\).
Notation
We shall say that
and
for some constant \(L.\)
Proof
We introduce the following notations
and
Multiplying Eq. (1.3) by \(u^{2p-1}\) with \(p\in Z^{+}\), and integrating the result in the \(x\)-variable, one gets
The first term in (2.5) is
the rest are
and
From above inequalities, we get
and therefore, by Gronwall’s inequality
Since \(f\in L^{1}(\mathbb {R})\cap L^{\infty }(\mathbb {R})\), implies
taking the limits in (2.10)(note that \(\partial _{x}G\in L^{1}\) and \( F(u)\in L^{1}\cap L^{\infty }\)), from (2.11) we get
We shall now repeat the above arguments using the weight
where \(N\in \mathbb {Z}^{+}\). Observe that for all \(N\) we have
Using notation in (2.3), from Eq. (1.3) we obtain
Hence, as in the weightless case (2.12), we get
A simple calculation shows that there exists \(C_{0}>0\) depending only on \( \theta \in (0,1)\) such that for any \(N\in \mathbb {Z}^{+}\),
Thus, for any appropriate function \(f\) one sees that
Combining (2.16), we get
where \(C_{1}=C_{1}(M;T,)>0.\) By Gronwall’s inequality, there exists a constant \(\tilde{C}=\tilde{C}(M;T)\) for any \(N\in \mathbb {Z}^{+}\), and any \( t\in [0,T]\) such that
Finally, taking the limit as \(N\) goes to infinity in (2.19) we find that for any \(t\in [0,T]\)
From (2.1), we get \(|u(x,t)|=O(\mathrm{e}^{-\theta x})\quad \text {as}\quad x\uparrow \infty \).
Next, differentiating (1.3) in the \(x\)-variable produces the equation
Again, multiplying Eq. (2.21) by \(u_{x}^{2p-1},\,(p\in \mathbb {Z} ^{+})\), integrating the result in the \(x\)-variable, and using integration by parts,
one gets the inequality
and therefore as before
Since \(\partial _{x}^{2}G=G-\delta \), we can use (2.11) and pass to the limit in (2.24) to obtain
from (2.21) we get
We need to eliminate the second derivatives in the second term in (2.26 ). Thus, combining integration by parts and (2.14), we find
Since \(\partial _{x}^{2}G=G-\delta \), the argument in (2.18) also shows that
Similarly, we get
where \(C_{2}=C_{2}(M;T)\)
Then taking the limit as \(N\) goes to infinity, we find that for any \(t\in [0,T ]\)
Since \(|u(x,t)|= O(\mathrm{e}^{-\theta x})\quad x\uparrow \infty \) and (2.1), we get
\(\square \)
Theorem 2.2
Assume that for some \(T>0,\,\,and\,\,s>3/2\), \(u\in C([0,T];H^{s}(\mathbb {R} )) \) is a strong solution of the initial value problem associated to Eq. (1.3). If \(u_{0}(x)=u(x,0)\) satisfies that for some \(\alpha \in (1/2,1)\)
and there exists \(t_{1}\in (0,T]\) such that
Then \(u\equiv 0\).
Proof
Integrating Eq. (1.3) over the time interval \([0,t_{1}]\), we get
By hypothesis (2.29) and (2.30), we have
From (2.29) and Theorem 2.1, it follows that
and so
We shall show that if \(u\ne 0\), then the last term in (2.31) is \( O(\mathrm{e}^{-x})\) but not \(o(\mathrm{e}^{-x})\). Thus, we have
where by (2.29) and Theorem 2.1
Therefore,
From (2.36) it follows that
and if \(\rho \ne 0\), one has that
Hence the last term in (2.35) and (2.37) satisfies
which combined with (2.31)–(2.34) yields a contradiction.
Thus, \(\rho (x)\equiv 0\) and consequently \(u\equiv 0\), see (2.35). \(\square \)
Remark 2.1
Theorem 2.2 holds with the corresponding decay hypothesis in (2.29)–(2.30) stated for \(x<0\).
The following result establishes the optimality of Theorem 2.2 and tells us that a strong non-trivial solution of (1.3) corresponding to data with fast decay at infinity will immediately behave asymptotically, in the \(x\)-variable at infinity.
Theorem 2.3
Assume that for some \(T>0,\,and\,s>3/2\), \(u\in C([0,T];H^{s}(\mathbb {R}))\) is a strong solution of the initial value problem associated to Eq. (1.3) and that \(u_{0}(x)=u(x,0)\) satisfies that for some \(\alpha \in (1/2,1)\),
Then
uniformly in the time interval \([0,T]\).
Proof
This proof is similar to the argument above, and therefore it will be omitted. \(\square \)
From the result of Theorem 2.1, we will know that, as long as it exists, the solution \(u(x,t)\) corresponding to compactly supported initial data \( u_{0}(x) \) is positive at infinity and negative at minus infinity regardless of the profile of a fast-decaying data \(u_{0}\ne 0\). We would like to list it as follows (We can see its proof in [22]).
Theorem 2.4
Assume that for some \(T>0\) and \(s>5/2\), \(u\in C([0,T];H^{s}(\mathbb {R}))\) is a strong solution of the initial value problem associated to Eq. (1.3).
-
(a)
If \(u_0(x)=u(x,0)\) has compact support, then for any \(t\in (0,T]\),
$$\begin{aligned} u(x,t)= {\left\{ \begin{array}{ll} c_+(t)\mathrm{e}^{-x}, &{}\quad \mathrm{for} \,\, x>\eta (b,t), \\ c_-(t)\mathrm{e}^x, &{}\quad \mathrm{for} \,\,x<\eta (a,t) \end{array}\right. }. \end{aligned}$$(2.40) -
(b)
If for some \(\mu >0\),
$$\begin{aligned} \partial _{x}^{j}u_{0}\sim O(\mathrm{e}^{-(1+\mu )|x|})\quad \mathrm{as}\quad |x|\uparrow \infty \quad j=0,1,2, \end{aligned}$$(2.41)
then for any \(t\in (0,T]\),
and
where in (2.40), (2.43), \(c_{+}(\cdot )\) and \(c_{-}(\cdot )\) denote continuous non-vanishing functions, with \(c_{+}(t)>0\) and \(c_{-}(t)<0\) for \( t\in (0,T)\). Furthermore, \(c_{+}(\cdot )\) is a strictly increasing function, while \(c_{-}(\cdot )\) is strictly decreasing.
Remark 2.2
Here \(\eta =\eta (x,t)\) is the flow of \(u\), that is
References
Beals, R., Sattinger, D., Szmigielski, J.: Acoustic scattering and the extended Korteweg-de Vries hierarchy. Adv. Math. 140, 190–206 (1998)
Beals, R., Sattinger, D., Szmigielski, J.: Multi-peakons and a theorem of Stieltjes. Inverse Probl. 15, L1–L4 (1999)
Bona, J.L., Smith, R.: The initial-value problem for the Korteweg-de Vries equation. Philos. Trans. R. Soc. Lond. Ser. A 278(1287), 555–601 (1975)
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)
Bressan, A., Constantin, A.: Global conservative solutions of the Camassa–Holm equation. Arch. Ration. Mech. Anal. 183, 215–239 (2007)
Chen, W.: On solutions to the Degasperis–Procesi equation. J. Math. Anal. Appl. 379, 351–359 (2011)
Camassa, R., Holm, D.: An integrable shallow water equation with peaked solitons. Phys. Rev. Lett. 71, 1661–1664 (1993)
Coclite, G.M., Karlsen, K.H.: On the well-posedness of the Degasperis–Procesi equation. J. Funct. Anal. 233(1), 60–91 (2006)
Constantin, A.: Existence of permanent and breaking waves for a shallow water equation: a geometric approach. Ann. Inst. Fourier (Grenoble) 50(2), 321–362 (2000)
Constantin, A.: Finite propagation speed for the Camassa–Holm equation. J. Math. Phys. 46, 023506 (2005)
Constantin, A., Escher, J.: Well-posedness, global existence and blow-up phenomena for a periodic quasi-linear hyperbolic equation. Comm. Pure Appl. Math. 51, 475–504 (1998)
Constantin, A., Gerdjikov, V., Ivanov, R.: Inverse scattering transform fot the Camassa–Holm equation. Inverse Probl. 22, 2197–2207 (2006)
Constantin, A., Kolev, B.: Geodesic flow on the diffeomorphism group of the circle. Comment. Math. Helv. 78, 787–804 (2003)
Constantin, A., Kolev, B.: On the geometric approach to the motion of inertial mechanical systems. J. Phys. A 35(32), R51–R79 (2002)
Constantin, A., McKean, H.P.: A shallow water equation on the circle. Commun. Pure Appl. Math. 52, 949–982 (1999)
Constantin, A., Molinet, L.: Global weak solutions for a shallow water equation. Commun. Math. Phys. 211(1), 45–61 (2000)
Constantin, A., Strauss, W.: Stability of peakons. Commun. Pure Appl. Math. 53, 603–610 (2000)
Constantin, A., Strauss, W.: Stability of the Camassa–Holm solitons. J. Nonlinear Sci. 12, 415–422 (2002)
Degasperis, A., Holm, D.D., Hone, A.N.W.: A new integrable equation with peakon solutions. Theor. Math. Phys. 133, 1461–1472 (2002)
Degasperis, A., Procesi, M.: Asymptotic Integrability. Symmetry and Perturbation Theory (Rome,1998). World Scientific Publishing, River Edge (1999)
Dullin, H.R., Gottwald, G.A., Holm, D.: Camassa–Holm, Korteweg-de Vries-5 and other asymptotically equivalent equations for shallow water waves. Fluid Dyn. Res. 33, 73–95 (2003)
Himonas, A., Misiołek, G., Ponce, G., Zhou, Y.: Persistence Properties and Unique Continuation of solutions of the Camassa–Holm equation. Commun. Math. Phys. 271, 511–522 (2007)
Henry, D.: Persistence properties for the Degasperis–Procesi equation. J. Hyperbolic Differ. Equ. 5, 99–111 (2008)
Henry, D.: Compactly supported solutions of the Camassa–Holm equation. J. Nonlinear Math. Phys. 12(3), 342–347 (2005)
Johnson, R.S.: Camassa–Holm, Korteweg-de Vries and related models for water waves. J. Fluid Mech. 455, 63–82 (2002)
Kato, T.: On the Korteweg-de Vries equation. Manuscr. Math. 28(1–3), 89–99 (1979)
Kenig, C., Ponce, G., Vega, L.: Well-posedness and scattering results for the generalized Korteweg-de Vries equation via the contraction principle. Commun. Pure Appl. Math. 46, 527–620 (1993)
Li, Y., Olver, P.: Well-posedness and blow-up solutions for an integrable nonlinear dispersive model wave equation. J. Differ. Equ. 162, 27–63 (2000)
McKean, H.P.: Breakdown of a shallow water equation. Asian J. Math. 2(4), 867–874 (1998)
McKean, H.P.: Breakdown of the Camassa–Holm equation. Commun. Pure Appl. Math. 57, 416–418 (2004)
Misiołek, G.: Classical solutions of the periodic Camassa–Holm equation. Geom. Funct. Anal. 12(5), 1080–1104 (2002)
Molinet, L.: On well-posedness results for Camassa–Holm equation on the line: a survey. J. Nonlinear Math. Phys. 11(4), 521–533 (2004)
Tao, T.: Low-regularity global solutions to nonlinear dispersive equations, Surveys in analysis and operator theory (Canberra, 2001), 19–48. In: Proceedings of Centre Math. Appl. Austral. Nat. Univ., 40, Australian National University, Canberra, 2002
Xin, Z., Zhang, P.: On the weak solution to a shallow water equation. Commun. Pure Appl. Math. 53, 1411–1433 (2000)
Yin, Z.: On the Cauchy problem for an integrable equation with peakon solutions. Ill. J. Math. 47, 649–666 (2003)
Zhou, Y.: Blow-up phenomenon for the integrable Degasperis–Procesi equation. Phys. Lett. A 328, 157–162 (2004)
Zhou, Y.: Wave breaking for a shallow water equation. Nonlinear Anal. 57, 137–152 (2004)
Zhou, Y.: Wave breaking for a periodic shallow water equation. J. Math. Anal. Appl. 290, 591–604 (2004)
Acknowledgments
The authors thank the referees for their careful reading and suggestions on this manuscript. This work was partially supported by Natural Science Foundation of China under Grant Nos. 11301394 and 11226172, Zhejiang Provincial Natural Science Foundation of China under Grant No. LQ12A01009 and the National Basic Research Program of China under Grant No. 2012CB426510.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Yong Zhou.
Rights and permissions
About this article
Cite this article
Chen, H., Guo, Z. Asymptotic Profile of Solutions to the Degasperis–Procesi Equation . Bull. Malays. Math. Sci. Soc. 38, 333–344 (2015). https://doi.org/10.1007/s40840-014-0023-y
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-014-0023-y