Abstract
In this paper, we first introduce the long-time behavior stability of solitary waves for the weakly damped Korteweg–de Vries equation. More concretely, solutions of the dissipative system with the initial values near a \(c_{0}\)-speed solitary wave, are approximated by a long curve on the family of solitary waves with the time-varying speed \(|c(t)-c_{0}|\) being small, in the long-time period (i.e., \(0\leqslant t\leqslant O(\frac{1}{\epsilon ^{\tau}})\)). Meanwhile, the approximation difference in a suitably weighted space \(H^{1}_{a}(\mathbb{R})\) is of the order of the damping coefficient and of some kind of exponential weight form. As a comparison, we also study the long-time behavior stability, i.e., for \(0\leqslant t<+\infty \), the solutions are approximated by a long curve on the family of solitary waves with the exponential decay speed \(c(t)= c_{0}e^{-\beta t}\) (\(0<\beta \leqslant 1\)), when the initial values are near a \(c_{0}\)-speed solitary wave. However, here, the approximation difference merely defined in \(H^{1}(\mathbb{R})\) depends on the damping coefficient ϵ and the exponential decay coefficient β.
Similar content being viewed by others
1 Introduction
This work mainly considers the long-time and long-time behavior stability for the weakly damped one-dimensional Korteweg–de Vries (KdV) equation
where \(0<\epsilon \ll 1\) is a small damping parameter.
The authors in [1] first derived the KdV equation as a model for planar, unidirectional waves propagating in shallow water in 1895. Then, the authors in [2, 3] considered the KdV equation to feature wave motion for many other physical situations. Meanwhile, the initial value problems were studied in [4, 5] for the undamped KdV equation (i.e., \(\epsilon =0\)) and in [6–8] for the damped case (i.e., \(\epsilon \neq 0\)). They showed that, in both cases, the solution \(u(x,t)\) of the initial problem satisfies, for \(\forall t>0\), \(u\in C([0,t], H^{2})\cap C^{1}([0,t], H^{-1})\) and \(e^{ax}u\in C([0,t],H^{1})\cap C^{1}([0,t], H^{-3})\).
To give a more explicit picture, we describe the undamped and damped KdV equations separately.
Undamped Case: If \(\epsilon =0\) in equation (1.1), one can define the Hamiltonian
and the impulse functional (see [9, 10])
Obviously, the profiles of traveling-wave solutions of the KdV equation are critical points of the Hamiltonian \(\mathcal{H}\) for fixed values of \(\mathcal{I}\), namely, relative equilibria (see [4]). The family of all traveling-wave profiles is called the manifold of relative equilibrium (MRE), which is the two-dimensional manifold of the form \(u(x,t)=u_{c}(x-ct+\gamma )\) for all \(c>0\), \(\gamma \in \mathbb{R}\). In addition, the profile of the solitary wave conforms to \(u_{c}(y)\rightarrow 0\) as \(|y|\rightarrow \infty \), i.e.,
which uniquely (up to the space translations) satisfies the equation (see [11])
A solitary wave has a permanent phase shift or a different speed when a solitary wave acquires a small perturbation. Therefore, the orbital stability of solitary waves was introduced in [12–14]. Weinstein in [15, 16] and Bona, Souganidis, and Strauss in [17, 18] asserted that a solution that is initially close to a solitary wave \(u_{c}(x-ct)\) in the Sobolev space \(H^{1}(\mathbb{R})\), will forever remain close to the set of translates \(u_{c}(x-ct+\gamma )\) of the wave. More precisely, for sufficiently small \(\delta >0\), one has
if the same quantity is small at the initial time \(t=0\).
In particular, Pego and Weistein showed the asymptotic stability of the traveling wave in [9] that if \(u(x,t)\) is initially a small perturbation in the weighted norms space \(H^{2}(\mathbb{R})\cap H^{1}_{a}(\mathbb{R})\) of a given solitary wave \(u_{c}(x-ct+\gamma )\), then
for some \(c_{+}\) near c and \(\gamma _{+}\) near γ. Here, the exponential weights are of the form \(e^{ay}\) (\(a>0\)) as follows:
Damped Case: If \(\epsilon \neq 0\) in equation (1.1), one can deduce
where \(\partial _{x} \mathcal{H}(u)=-\partial _{x}[u_{xx}+\frac{1}{2}u^{2}]\). Clearly, \(\mathcal{I}(u(t))=\mathcal{I}(u(0))e^{-2\epsilon t}\). This implies that \(\lim_{t\rightarrow +\infty}\mathcal{I}(u(t))=0\) and \(\lim_{t\rightarrow +\infty}u(t,x)=0\) almost everywhere in \(\mathbb{R}\).
The authors in [19, 20] used the symmetry group to reduce the energy momentum and then obtained the stability of relative equilibria. In [21, 22], the authors analyzed the spectrum property of the self-adjoint operator generated by an energy functional, and then they found sharp conditions for the stability and instability of solitary waves or multisolitons. Specifically, Derks and Groesen in [23] considered the damped KdV equation in the bounded periodic domain \(x\in [0, 2\pi ]\). By applying the implicit theorem, they constructed an energy-decaying manifold \(\overline{M}_{\epsilon}\thicksim O(e^{-2\varepsilon t})\), which is related to the damping coefficient ϵ, and then they obtained the long-time behavior stability of solutions near the constructing manifold \(\overline{M}_{\epsilon}\), where the approximation difference is \(O(\epsilon e^{-2\varepsilon t})\).
Here, inspired by the ideas about the spectral analysis given in [9] and the construction of the energy-decaying manifold given in [23], we study the long-time and long-time behavior, respectively, for the weakly damped equation (1.1) in the whole space \(x\in \mathbb{R}\). Our first result is about the long-time behavior:
Theorem 1.1
Let \(u_{c}(x-ct+\gamma )\), \(c>0\), \(\gamma \in \mathbb{R}\), be the solitary-wave solutions of the undamped KdV equation (1.1) (namely \(\epsilon =0\)). Then, considering the initial problem for the weakly damped (\(0<\epsilon \ll 1\)) KdV equation (1.1) with data
if the perturbation \(v_{0}\in H^{2}\cap H^{1}_{a}\) with \(\|v_{0}\|_{H^{1}}+\|v_{0}\|_{H^{1}_{a}}<\epsilon \), then for \(0\leqslant t\leqslant T(= O(\frac{1}{\epsilon ^{\tau}}))\), we have
where \(0< a<\sqrt{\frac{c}{3}}\), \(\tau <\frac{1}{2}\), C are constants.
Remark 1.1
1. The restriction \(0< a<\sqrt{\frac{c}{3}}\) is imposed in Theorem 1.1 since the expression \(a(c-a^{2})\) is maximized at \(a=\sqrt{\frac{c}{3}}\) (see Proposition 2.5 in Ref. [9]).
2. It is natural to expect the solution to approximate the initial solitary wave as long as possible if the initial value has a slight perturbation. However, (1.10) implies that all solutions will vanish as \(t\rightarrow +\infty \). Hence, it is valid to consider the stability near the initial solitary wave in the long-time period \(0\leqslant t\leqslant T=O(\frac{1}{\epsilon ^{\tau}})\) satisfying that \(0<\epsilon \ll 1\), \(\tau <\frac{1}{2}\), where \(T=O(\frac{1}{\epsilon ^{\tau}})\) means the same order \(T\approx \frac{1}{\epsilon ^{\tau}}\) and the restraint on the quantity \(\frac{1}{\epsilon ^{\tau}}\) follows from (2.35).
3. To analyze the property of the damping condition and solitary wave, the solution to equation (1.1) will be formally expressed in the form
where \(\theta (t)=\gamma (t)-\int _{0}^{t} c(s)\,ds\) and the leading (dominant) term \(u_{c(t)}(x+\theta (t))\) is an exact solitary-wave solution of (1.1) with \(\epsilon =0\), when \(c(t)\), \(\gamma (t)\) are just near the initial \(c_{0}, \gamma _{0}\).
4. Substitution of (1.13) into (1.1) yields an equation of the form
where \(\Im (u_{c(t)},v)\) will be given in (2.6) and
Meanwhile, differentiating (1.5) with respect to y and c, we know that the operator \(\partial _{y}L_{c}\) in \(L^{2}\) is degenerate, i.e.,
These give rise to solutions \(\partial _{y} u_{c}\) and \(\partial _{c} u_{c}-t\partial _{y} u_{c}\) to the linearized problem
5. As in References [16, 24], to obtain more exponential decay, it is appropriate to require that the right-hand side of (1.14) is orthogonal to the 2-dimensional generalized kernel of the adjoint of \(\partial _{y} L_{c}\). These constraints yield two coupled first-order differential equations for \(c(t)\) and \(\gamma (t)\) (called modulation equations), which are coupled to the infinite-dimensional dispersive evolution equation for \(v(\cdot ,t)\).
Next, we discuss the long-time behavior stability of solutions. In contrast to the restriction \(c(t)\) near \(c_{0}\) given in Theorem 1.1, we need that \(c(t)\) decays exponentially to zero as \(t\rightarrow +\infty \). This is presented as follows:
Theorem 1.2
Let \(u_{c(t)}(y)\), \(y=x-\int _{0}^{t}c(s)\,ds+\gamma (t)\), be the solitary-wave solutions with \(c(t)=c_{0}e^{-\beta t}(0<\beta \leqslant 1)\), of the undamped KdV equation (1.1) (namely, \(\epsilon =0\)). Then, considering the initial problem for the weakly damped (\(0<\epsilon \ll 1\)) KdV equation (1.1) with data
if the perturbation \(v_{0}\in H^{2}\cap H^{1}_{a}\) with \(\|v_{0}\|_{H^{1}}+\|v_{0}\|_{H^{1}_{a}}<\epsilon \), then for \(0\leqslant t< +\infty \), we have
where C is a constant and \(m(\epsilon ,\beta ,t)\) depends on ϵ, β, and t such that
Remark 1.2
Note that here it is impossible to consider the long-time stability of solutions in weight space \(H_{a}^{1}\) as in Theorem 1.1, since \(a\rightarrow 0\) as \(t\rightarrow +\infty \) follows from \(a<\sqrt{\frac{c(t)}{3}}\) and \(c(t)= c_{0}e^{-\beta t}(0<\beta \leqslant 1)\).
Remark 1.3
The approximation exponent given in (1.12) of Theorem 1.1 and (1.19) of Theorem 1.2 strictly depends on the damping coefficient ϵ. This is in sharp contrast to the asymptotic stability (1.7) with the exponent weight \(e^{-a(c-a^{2})t}\) of decay given in Reference [9]. In other words, the weakly damped term will dominate the exponential decay rate.
The rest of this paper is organized as follows: In Sect. 2, we justify the representation (1.13) of the solution for nonlinear equations, and derive the equation of motion of the new variables \((c(t),\gamma (t), w(y,t))\). Moreover, we study the long-time behavior to finish the proof of Theorem 1.1. In Sect. 3, we also justify the new representation (3.1) and prove Theorem 1.2 for the long-time behavior stability. In the Appendix, we review the spectral analysis and certain smoothing and exponential decay estimates of the linearized operator \(\partial _{y} L_{c}\) in (1.14).
2 The long-time behavior stability
2.1 Decomposition of the solution
Due to the weak damping term, we use time-dependent tubular coordinates in a neighborhood of solitary waves and skillfully represent solutions of the initial value problem (1.1) in the form (see also (1.13))
where
and \(u_{c(t)}(y)\) belongs to the family of traveling waves.
In order to achieve exponential decay for the perturbation \(v(y,t)\) in the weighted space \(H^{1}_{a}\), we wish to impose the constraint that
where the projections P, Q are given in Proposition A.2 (see the Appendix). This requirement corresponds to the two scalar constraints \(\langle w, \eta _{k}\rangle =0\), \(k=1,2\), cf. (A.14), which follows the modulation equations, namely, two coupled first-order differential equations for \(c(t)\), \(\gamma (t)\) as \(t> 0\).
As this point, let us begin the proof of Theorem 1.1.
The solution \(u(x,t)\) of the initial problem (1.1) satisfies, for \(\forall t>0\),
Moreover, u is a classical solution of (1.1) for \(t>0\). Given the initial data in (1.11), if the perturbation \(\|v_{0}\|_{H^{1}_{a}}\) is sufficiently small, it is easy to prove decomposition (2.1) exists in [0,t], with \((\gamma , c)\in C^{1}([0,t], \mathbb{R}^{2})\).
We now derive evolution equations for \(\gamma (t)\), \(c(t)\), and \(v(y,t)\) that are valid pointwise for \(t>0\). Substituting (2.1) into (1.1), we have
Hence,
Now, \(w(y,t)=e^{ay}v(y,t)\) satisfies (and set \(A_{a}=e^{ay}\partial _{y} L_{c_{0}}e^{-ay}\) with \(L_{c_{0}}=-\partial _{y}^{2}+c_{0}-u_{c_{0}}\))
where we write
Meanwhile, (2.4) implies that this equation is initially justified in \(C([0,t], H^{-3})\), but also holds in \(C([0,t], L^{2})\) and moreover is pointwise. The constraint \(w\in \operatorname{range}(Q)\) in (2.3) now yields the following system of evolution equations for \((w,\gamma , c)\):
Written as an integral equation, the initial value problem for (2.9) becomes:
The equation \(P\mathfrak{F}=0\) yields equations for γ̇, ċ as follows. Introduce the notation
and note that \(\langle e^{ay}\partial _{y} e^{-ay}w, \eta _{k}\rangle =-\langle v, \partial _{y} \tilde{\eta}_{k}\rangle \) for \(k=1,2\), by integration by parts. Then, by (A.14), the condition \(P\mathfrak{F}=0\) is equivalent to
Using the biorthogonality relation \(\langle \xi _{j}, \eta _{k}\rangle =\delta _{jk}\), we obtain a system of equations for \(\gamma (t)\) and \(c(t)\):
and
The matrix \(\mathfrak{A}(t)\) satisfies
In order to obtain reversibility of the matrix \(\mathfrak{A}(t)\), in some sense, we need the term \(e^{-\epsilon t}I\approx I\). In other words, it is possible to consider stability in the long-time period \(0\leqslant t\leqslant T=O(\frac{1}{\epsilon ^{\tau}})\) (given in (2.35)) instead of the long time “\(t\rightarrow +\infty \)”. Otherwise, \(e^{-\epsilon t}I\rightarrow 0\) as \(t\rightarrow +\infty \).
2.2 The long-time behavior
In order to complete the proof of Theorem 1.1. It remains to establish the priori estimates from the evolution equations in (2.10)–(2.13). We have
Proposition 2.1
There exist \(\delta _{*}>0\), \(\epsilon _{0}>0\), \(C>0\) such that, if the decomposition (2.10), (2.11), and (2.12) exists for \(0\leqslant t\leqslant T=O(\frac{1}{\epsilon ^{\tau}})\) with \(0<\epsilon \ll 1, \tau <\frac{1}{2}\) and satisfies
and if the perturbation \(\|v_{0}\|_{H^{1}}+\|v_{0}\|_{H_{a}^{1}}<\epsilon <\epsilon _{0}\) in (1.11), then
Proof
The proof follows the two stages as given in Proposition 4.1 in Ref. [9] but with different detailed estimates.
(i) Local energy-decay estimate: Estimates of the weighted perturbation, \(w(y,t)=e^{ay}v(y,t)\), in \(H^{1}\), via the integral equation (2.10), the modulation equation (2.13), and the linear semigroup estimates of Lemma A.2 (see the Appendix).
If \(\delta _{*}\) is sufficiently small and \(0\leqslant t\leqslant T=O(\frac{1}{\epsilon ^{\tau}})\), then \(\mathfrak{A}(t)\) defined in (2.13) has a bounded inverse, so we may estimate (2.13) to find
From (2.8), using that \(e^{ay}\partial _{y} e^{-ay}=\partial _{y}-a\) and the expression (1.4) (or the following estimate (3.19)), we obtain the estimates
Now, we may choose \(b, b'\) with \(b+\epsilon < b'+\epsilon < a(c-a^{2})+\epsilon \), such that \(b, b'\), satisfies the condition of Lemma A.2. We may then estimate (2.10) as follows, for \(t> 0\):
Now, define
where the variable b is constrained in Remark A.1 (see the Appendix).
Then, multiplying (2.20) by \(e^{(b+\epsilon )t}\), we find, for \(t>0\),
It is sufficient to estimate the terms \(\mathcal{A}(\epsilon )\triangleq \int _{0}^{t}(t-s)^{-1/2}e^{-(b'-b)(t-s)}(1-e^{- \epsilon s})\,ds\) and \(\mathcal{B}_{b}(\epsilon )\triangleq \int _{0}^{t}(t-s)^{-1/2}e^{-(b'+ \epsilon )(t-s)}e^{(b+\epsilon )t}(e^{-\epsilon s}-e^{-2\epsilon s })\,ds\) in (2.22) above. We first deal with the latter term \(\mathcal{B}_{b}(\epsilon )\).
If we set \(b=0\) in (2.23), \(\mathcal{B}_{b=0}(\epsilon )=\mathcal{A}(\epsilon )\). The substitution \(t-s=\ell \) yields
Considering the long-time point \(t\triangleq T_{0}(=O(\frac{\tau}{\epsilon}))\) in the first instance, we have
Due to \(\lim_{\epsilon \rightarrow 0^{+}}e^{-\frac{b'}{\epsilon} \tau}\epsilon ^{-\frac{1}{2}}=0\), integrating (2.25) by parts, we have
where the last inequality follows from the monotone theorem and the fact that \(\lim_{\epsilon \rightarrow 0^{+}}s^{\frac{1}{2}}e^{- \frac{b'}{\epsilon}s} \epsilon ^{-\frac{3}{2}}=0, \forall s\in [0, \tau ]\).
After derivation to ϵ of \(\mathcal{B}_{b=0}(\epsilon )\) defined in (2.24), we have
Similarly, as (2.25) and (2.26), it is easy to deduce
Therefore, one can deduce
Hence, inserting (2.29) into (2.22), we have for \(b=0\),
Taking the supremum over \(0\leqslant t\leqslant T_{0}(=O(\frac{\tau}{\epsilon}))\), we find that if \(\delta _{*}\) is sufficient small, then
Next, we estimate \(|c(t)-c_{0}|\). Using (2.18) and (2.31), we find that
For fixed t, we have
However, if we consider (2.33) on the long-time point \(T_{0}(=O(\frac{\tau}{\epsilon}))\), we know that
To obtain a small estimate \(|c(t)-c_{0}|\), we need to consider the more appropriate long-time point \(t\triangleq T(=O(\frac{1}{\epsilon ^{\tau}})) \) (clearly, \(< T_{0}\)). Meanwhile, the estimates (2.24)–(2.31) are still valid in the short long-time period \(0\leqslant t\leqslant T(=O(\frac{1}{\epsilon ^{\tau}}))\).
By calculating, in the new long-time point \(t\triangleq T(=O(\frac{1}{\epsilon ^{\tau}}))\), one can deduce that
Obviously, it is sufficient to choose \(\tau <\frac{1}{2}\) such that \(\lim_{\epsilon \rightarrow 0^{+}}\int _{0}^{ \frac{1}{\epsilon ^{\tau}}}(e^{-2\epsilon s}-e^{-\epsilon s})\,ds=0\). Similarly, the fourth estimate of (2.17) holds.
Conversely, in the new long-time period \(0\leqslant t\leqslant T(=O(\frac{1}{\epsilon ^{\tau}}))\), we return to estimate the term \(\mathcal{B}_{b}(\epsilon )\) with choosing \(b=\epsilon ^{\tau}\) in (2.23) instead of \(b=0\) in (2.24). This supplies that the quantity \(e^{(\epsilon ^{\tau}+\epsilon )t}\|w(t)\|_{H^{1}}\) (i.e., (2.22) with \(b=\epsilon ^{\tau}\)) has more exponential weight decay than \(e^{\epsilon t}\|w(t)\|_{H^{1}}\), (i.e., (2.22) with \(b=0\)), that is
Due to \(\epsilon ^{\tau}\ll b'\) and \(0\leqslant t\leqslant T(=O(\frac{1}{\epsilon ^{\tau}}))\), by the Hölder inequality and the mean value principle, we have
Also, the substitution \(t-s=\ell \) follows
Hence, by (2.36), (2.37), and (2.38), we have
Hence, inserting (2.39) into (2.22), we have, for \(b=\epsilon ^{\tau}\),
Taking the supremum over \(0\leqslant t\leqslant T(=O(\frac{1}{\epsilon ^{\tau}}))\), we find that if \(\delta _{*}\) is sufficient small, then
Remark 2.1
In some sense, there is a balance between the long-time point \(T=O(\frac{1}{\epsilon ^{\tau}})\) and the exponent weight \(b=\epsilon ^{\tau}\). In other words, if the long-time point is smaller, then the exponent weight of decay is larger. Here, we cannot obtain the exponent weight of decay \(e^{-a(c-a^{2})t}\) as in Ref. [9] due to perturbation estimates (2.23) and (2.36) caused by the weakly damped term.
Proof
(ii) \(H^{1}\) estimate: We make use of the damping quantity
Since \(u_{c_{0}}\) is a critical point of the functional \(\mathcal{E}\), we have for any \(z\in H^{1}\),
Now, we take \(z=u(x,t)-u_{c_{0}}(y)=e^{-\epsilon t}u_{c(t)}(y)+v(y,t)-u_{c_{0}}(y)\) above, and observe that \(\delta \mathcal{E}_{0}=\mathcal{E}(u)-\mathcal{E}(u_{c_{0}})\) is decaying in time. Indeed,
Moreover, multiplying equation (1.1) by \(u_{xx}\), one has
Due to decaying estimates about \(\|u\|_{L^{2}}\) and \(\|u_{x}\|_{L^{2}}\) given in (1.10) and (2.45), one can deduce from (2.44) that for \(0\leqslant t\leqslant T=O(\frac{1}{\epsilon ^{\tau}})\)
At the same time, we estimate (2.43) as follows. Note that, for \(\delta _{*}\) sufficiently small,
Then, for some \(k_{1}>0\),
Since \(e^{-ay}u_{c_{0}}(y)\) is bounded in y, we may estimate
where we have used the estimate \(ab\leqslant \delta a^{2}+C(\delta )b^{2}\) for a suitably small δ. Finally, since \(\|z\|_{H^{1}}\leqslant C (|c(t)-c_{0}|+\|v\|_{H^{1}}+|1-e^{- \epsilon t}| )\leqslant C (\delta _{*}+|1-e^{-\epsilon t}| )\), we have
Hence, if \(\delta _{*}\) is sufficiently small, (2.43) with (2.48), (2.49), and (2.50) yields
Due to (2.35) and (2.46), we know that
This completes the proof of Proposition 2.1, which implies the conclusions of Theorem 1.1. □
3 The long-time behavior stability
3.1 A new decomposition of the solution
Note that, in the long-time stability case, the expression (2.15): \(\mathfrak{A}(t)=e^{-\epsilon t}I+O(|c(t)-c_{0}|+\|v\|_{L^{2}})\) may not be reversible as \(t\rightarrow +\infty \), which is derived by setting the form of solution (2.1). Hence, we subtly analyze the following new form of the solution
where
and \(u_{c(t)}(y)\) belongs to the family of traveling waves with \(c(t)= c_{0}e^{-\beta t}(0<\beta \leqslant 1)\).
Substituting (3.1) into (1.1), we similarly derive evolution equations for \(\gamma (t)\), \(c(t)\), and \(v(y,t)\) as follows:
Hence,
Therefore,
Since here the speeds \(c(t)\) of the traveling wave will decay to zero, the exponential weight \(a(<\sqrt {\frac{c(t)}{3}})\) will also decay. On the other hand, due to the fifth item in Remark 1.1, we cannot initially set the exponential weight \(a=0\) in \(H^{1}_{a}\). Otherwise, it may follow more than a 2-dimensional generalized kernel. Hence, in contrast to the long-time stability case by setting (2.3) to prove Theorem 1.1, we need to set \(w(y,t)=e^{a(t)y}v(y,t)\), \(A_{a}(t)=e^{a(t)y}\partial _{y} L_{c(t)}e^{-a(t)y}\) and \(L_{c(t)}=-\partial _{y}^{2}+c(t)-u_{c(t)}\). Then, we deduce that
where, for simplicity, writing \(a=a(t)\) if there is no risk of confusion,
Meanwhile, (2.4) implies that this equation is initially justified in \(C([0,t], H^{-3})\), but also holds in \(C([0,t], L^{2})\) and moreover is pointwise.
As in the long-time behavior case above, we wish to impose the similar projections P, Q given in Proposition A.2
However, here, we should denote them by \(P(t),Q(t)\). Indeed, the current assumption of Proposition A.2: \(0< a(t)<\sqrt{\frac{c(t)}{3}}\) depends on t, from which it follows that the \(\xi _{j}=\xi _{j}(t)\) and \(\eta _{k}=\eta _{k}(t)\) depend on t for \(j,k=1,2\). This requirement corresponds to the two scalar constraints \(\langle w, \eta _{k}(t)\rangle =0\), \(k=1,2\), cf. (A.14), which also generates the modulation equations, namely, two coupled first-order differential equations for \(c(t)\), \(\gamma (t)\) as \(t> 0\). Hence, the constraint \(w\in \operatorname{range}(Q)\) in (3.8) now yields the following system of evolution equations for \((w,\gamma , c)\):
Written as an integral equation, the initial value problem for (3.9) becomes:
Then, similarly by (A.14), the condition \(P\mathfrak{F}=0\) is equivalent to
Using the biorthogonality relation \(\langle \xi _{j}, \eta _{k}\rangle =\delta _{jk}\), we obtain a system of equations for \(\gamma (t)\) and \(c(t)\):
and
The matrix \(\mathfrak{A}(t)\) satisfies
3.2 The long-time behavior
Now, we will estimate the weighted perturbation, \(w(y,t)=e^{ay}v(y,t)\), in \(H^{1}\), via the integral equation (3.10), the modulation equation (3.12), and the linear semigroup estimates of Lemma A.2.
Since \(\|v\|_{L^{2}}\) decays to zero with respect to t, in the expression (3.14), \(\mathfrak{A}(t)\) has a bounded inverse as \(0\leqslant t< +\infty \). We may estimate (3.12) to find
From (3.7), using that \(e^{ay}\partial _{y} e^{-ay}=\partial _{y}-a\), we obtain the estimates
Now, we may formally choose \(b'\) with \(b< b'< a(c-a^{2})\), such that \(b'\), as well as b, satisfies the condition of Lemma A.2. Meanwhile, we should note that in (3.10) the term \(e^{\int _{0}^{t} [\frac{da}{dt}(s)]\,ds}\thicksim O(1)\) since \(a<\sqrt{\frac{c}{3}}= \frac{1}{\sqrt{3}}e^{-\frac{\beta}{2} s}( \beta >0)\). Hence, one can similarly estimate (3.10) as follows, for \(t> 0\):
Now, formally define
where the variable \(b=b(t)\) is similarly given in Remark A.1.
Moreover, the following crucial estimates follow from (1.4).
Lemma 3.1
Assume that the solitary waves \(u_{c(t)}(y)\) have the traveling speed \(c(t)= c_{0}e^{-\beta t}\) as \(0\leqslant t < +\infty \). Then,
For simplicity, also writing \(b=b(t)\) if there is no risk of confusion, and then multiplying (3.17) by \(e^{bt}\), we find from (3.19) that, for \(t>0\),
We first deal with the term I. For \(0\leqslant t\leqslant 1\) and \(0<\beta \leqslant 1\), one can easily deduce that
On the other hand, for \(1\leqslant t<\infty \), one has
Since \(b(t)\rightarrow 0\) as \(t\rightarrow +\infty \), we can choose any \(\beta >0\) satisfying \(\beta -b>0\). Hence, one can deduce from (3.22) that \(I(\epsilon , \beta , t)\thicksim O(\frac{\epsilon}{\beta \sqrt{t}})\) as \(1\leqslant t<+\infty \).
For the term \(II(\epsilon ,\beta ,t)=\int _{0}^{t}(t-s)^{-1/2}e^{-b'(t-s)}(1-e^{- \epsilon s})e^{-\beta s}e^{bt}\|w(s)\|_{H^{1}}\,ds\), as in (3.21) and (3.22), we have
For the term \(III(\epsilon , t)=\int _{0}^{t}(t-s)^{-1/2}e^{-b'(t-s)}e^{-\epsilon s} \|v\|_{L^{\infty}}e^{bt}\|w(s)\|_{H^{1}}\,ds\),
In sum, (1.19) and (1.20) follows from the inequalities (3.20), (3.21), (3.22), (3.23), (3.24), and the fact that \(H^{1}_{a}=H^{1}\) if \(a=0\). The proof of Theorem 1.2 is finished.
Availability of data and materials
Not applicable.
References
Korteweg, D.J., de Vries, G.: On the change of form of long waves advancing in a rectangular canal, and on a new type of long stationary waves. Philos. Mag. 39, 422–443 (1895)
Miles, J.W.: The Korteweg–de Vries equation: a historical essay. J. Fluid Mech. 106, 131–147 (1981)
Scott, A.C., Chu, F.Y.F., Mclaughlin, D.W.: The soliton: a new concept in applied science. Proc. IEEE 61(10), 1443–1483 (1973)
Arnold, V.I.: Dynamical Systems III. Encyclopaedia of Mathematical Sciences, vol. 3. Springer, Berlin (1988)
Arscott, F.M.: Periodic Differential Equations. Monographs in Pure and Applied Mathematics, vol. 66. Pergamon Press, Oxford (1964)
Ghidaglia, J.M.: Weakly damped forced Korteweg–de Vries equations behave as a finite dimensional dynamical system in the long time. J. Differ. Equ. 74(2), 369–390 (1988)
Kato, T.: On the Cauchy Problem for the (Generalized) Korteweg–de Vries Equation. Stud. in Appl. Math. Suppl. Ser., vol. 8. Academic Press, New York (1983)
Kenig, C.E., Ponce, G., Vega, L.: Well-posedness of the inital value problem for the Korteweg–de Vries equation. J. Am. Math. Soc. 4, 323–347 (1991)
Pego, R.L., Weinstein, M.I.: Asymptotic stability of solitary waves. Commun. Math. Phys. 164(2), 305–349 (1994)
Olver, P.J.: Applications of Lie groups to Differential Equations. Springer, New York (1986)
Gardner, C.S., Greene, J.M., Kruskal, M.D., Miura, R.M.: Method for solving the Korteweg–de Vries equation. Phys. Rev. Lett. 19, 1095–1097 (1967)
Benjamin, T.B.: The stability of solitary waves. Proc. R. Soc. Lond. A 328, 153–183 (1972)
Bona, J.L.: On the stability of solitary waves. Proc. R. Soc. Lond. A 344, 363–374 (1975)
Laedke, E.W., Spatschek, K.H.: Stability theorem for KdV type equations. J. Plasma Phys. 32, 263–272 (1984)
Weinstein, M.I.: On the solitary wave of the generalized Korteweg–de Vries equation. In: Proc. Santa Fe Conference on Nonlinear PDE. Lectures in Appl. Math., vol. 23 (1986)
Weinstein, M.I.: Lyapunov stability of ground states of nonlinear dispersive evolution equations. Commun. Pure Appl. Math. 39, 51–68 (1986)
Bona, J.L., Souganidis, P.E., Strauss, W.A.: Stability and instability of solitary waves. Proc. R. Soc. Lond. A 411, 395–412 (1987)
Bona, J.L., Soyeur, A.: On the stability of solitary wave solutions of model equations for long waves. J. Nonlinear Sci. 4(1), 449–470 (1994)
Simo, J.C., Lewis, D., Marsden, J.E.: Stability of relative equilibria, part I: the reduced energy momentum method. Arch. Ration. Mech. Anal. 115(1), 15–59 (1991)
Simo, J.C., Posbergh, T.A., Marsden, J.E.: Stability of relative equilibria, part II: application to nonlinear elasticity. Arch. Ration. Mech. Anal. 115(1), 60–100 (1991)
Grillakis, M., Shatah, J., Strauss, W.: Stability theory of solitary waves in the presence of symmetry I. J. Funct. Anal. 74, 308–348 (1990)
Maddocks, J.H., Sachs, R.L.: On the stability of KdV multi-solitons. Commun. Pure Appl. Math. 46(6), 867–901 (1993)
Derks, G., Van Groesen, E.: Dissipation in Hamiltonian systems: decaying cnoidal waves. SIAM J. Math. Anal. 27(5), 1424–1447 (1996)
Kodama, Y., Ablowitz, M.J.: Perturbations of solitons and solitary waves. Stud. Appl. Math. 64(3), 225–245 (1981)
Henry, D.: Geometric Theory of Semilinear Parabolic Equations. Lect. Notes in Math., vol. 840. Springer, New York (1981)
Pego, R.L., Weinstein, M.I.: Eigenvalues, and instabilities of solitary waves. Philos. Trans. R. Soc. Lond. Ser. A 340, 47–94 (1992)
Acknowledgements
The authors would like to express their deepest gratitude to Prof. Zhiwu Lin and Prof. Chongchun Zeng for their valuable ideas and suggestions.
Funding
This work was supported by the Science foundation of Fujian Province (2020J01160).
Author information
Authors and Affiliations
Contributions
The present work in this paper is totally carried out by the authors.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Appendix
Appendix
For the reader’s convenience, we list out the spectral property and developing analysis of the operator \(A_{0}=\partial _{y} L_{c}\) given in (1.17) in the space \(L^{2}\) and \(L^{2}_{a}\). The interested reader is referred to References [9, 25, 26].
1.1 A.1 Spectral theory in \(L^{2}\) and \(L^{2}_{a}\)
The spectrum of the operator \(A_{0}=\partial _{y} L_{c}\) on \(L^{2}\) consists of a discrete spectrum (isolated eigenvalues of finite multiplicity) and an essential spectrum (everything else in the spectrum).
Lemma A.1
(Theorem 2.1 Ref. [9])
\(A_{0}\) has no isolated eigenvalues whose spectrum coincides with the imaginary axis.
In fact, if λ is an eigenvalue of \(A_{0}\) with \(L^{2}\)-eigenfunction \(Y(y)\), then
Since the solitary wave \(u_{c}(y)\rightarrow 0\) at an exponential rate as \(|y|\rightarrow \infty \) (see (1.4)), it follows that the constant coefficient equation is
Hence, the essential spectrum of \(A_{0}=\partial _{y} L_{c}\) is the imaginary axis and the corresponding eigenvalue function \(Y(y)\) exponentially decays to zero as \(y\rightarrow \infty \).
The following functions are also described in [9], in relation to the isolated eigenvalue \(\lambda =0\) of \(A_{0}\) in the space \(L^{2}_{a}\).
Here,
The functions \(\tilde{\xi}_{1}\), \(\tilde{\xi}_{2}\), and \(\tilde{\eta}_{2}\) decay exponentially as \(|y|\rightarrow \infty \), at the rate \(e^{-\sqrt{c}|y|}\). The function \(\tilde{\eta}_{1}\) decays like \(e^{\sqrt{c}y}\) as \(y\rightarrow -\infty \), but is merely bounded as \(y\rightarrow +\infty \). In addition, these functions have the following properties:
and
where \(\langle u, v\rangle =\int _{-\infty}^{+\infty}u\bar{v}\,dx\).
Making a change of variables,
the eigenvalue equation (A.1) is transformed into the equation
Thus, the spectral theory of \(A_{0}=\partial _{y} L_{c}\) in \(L^{2}_{a}\) is equivalent to the spectral theory of \(A_{a}\) in \(L^{2}\). Since \(u_{c}(y)\) and \(\partial _{y} u_{c}(y)\) decay to zero at an exponential rate as \(|y|\rightarrow \infty \), the essential spectrum of \(A_{a}\) also agrees with the spectrum of the constant coefficient operator
Hence,
Proposition A.1
(Proposition 2.5 Ref. [9])
For \(0< a<\sqrt{c/3}\), the essential spectrum of \(A_{a}\) is a curve parametrized by
where lies in the open left half-plane.
Define
For the generalized eigenspaces of \(A_{a}\) and its adjoint \(A_{a}^{*}=-e^{-ay}L_{c}\partial _{y} e^{ay}\), one has:
Proposition A.2
(Proposition 2.8 Ref. [9])
Assume \(\frac{d\mathcal{I}[u_{c}]}{dc}\neq 0\) and \(0< a<\sqrt{c/3}\). Then, \(\lambda =0\) is the only eigenvalue for \(A_{a}\) with algebraic multiplicity two, and
where \(\xi _{j}=e^{ay}\tilde{\xi}_{j}\) and \(\eta _{j}=e^{-ay}\tilde{\eta}_{j}\) for \(j=1,2\), i.e.,
where \(\theta _{1}, \theta _{2}\), and \(\theta _{3}\) are as in (A.5). In addition, the \(\xi _{j}\) and \(\eta _{k}\) are biorthogonal, with \(\langle \xi _{j}, \eta _{k}\rangle =\delta _{jk}\) for \(j,k=1,2\). Thus, the spectral projection P for \(A_{a}\), associated with the eigenvalue \(\lambda =0\), and the complementary spectral projection Q, are given by
for \(w\in L^{2}\). These projections satisfy \(PA_{a}w=A_{a}Pw\), \(QA_{a}w=A_{a}Qw\), for \(w\in \operatorname{dom}A_{a}\).
1.2 A.2 Decay of smoothing estimates
After the substitution
the linearized undamped evolution equation (1.1) becomes
Denote \(A_{a}=A_{a}^{0}+(\partial _{y}-a)u_{c}\) with
Since \(u_{c}\) exponentially decays to zero as \(|y|\rightarrow \infty \), the coefficients in (A.18) converge to those of the free evolution equation
Using the Fourier transform, one obtains:
Proposition A.3
(Proposition 4.1 Ref. [9])
For any integer \(n\geqslant 0\), and \(0< a<\sqrt{c/3}\), there exists \(C=C(n,a)\) such that, for any \(w\in L^{2}\) and for all \(t>0\),
For the semigroup \(e^{A_{a}t}\), by restraint on the invariant subspace range Q (see (A.16)) complementary to the generalized kernel of \(A_{a}\), a decay and smoothing estimate is also valid:
Lemma A.2
(Theorem 4.2 Ref. [9])
Let the assumptions of Proposition A.2hold. Then, \(A_{a}\) is the generator of a \(C^{0}\) semigroup on \(H^{s}\) for any real s, and, for any \(b> 0\) such that the \(L^{2}\)-spectrum \(\sigma (A_{a})\subset \{\lambda |\operatorname{Re}\lambda <-b\}\cup \{0\}\), there exists C such that for all \(w\in L^{2}\) and \(t>0\),
Remark A.1
The smoothing-decay estimate (A.22) will be used in the proofs of Theorem 1.1 and Theorem 1.2. Also, Lemma A.2 implies that for \(0< a<\sqrt{c/3}\), \(A_{a}\) has no eigenvalues in the open left half-plane. Therefore, −b, the exponential rate of local energy decay, can be taken to satisfy \(-a(c-a^{2})<-b\leqslant 0\).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zhong, Y., Wu, R. The long-time behavior of solitary waves for the weakly damped KdV equation. Bound Value Probl 2023, 5 (2023). https://doi.org/10.1186/s13661-022-01690-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-022-01690-2