In section, we prove Theorem 1.1 under Assumption (1.2).
Our existence argument is based on passing to the limit in a vanishing viscosity approximation of (1.1).
Fix a small number \(0<\varepsilon <1\) and let \(u_\varepsilon =u_\varepsilon (t,x)\) be the unique classical solution of the following problem [2, 4, 19]:
$$\begin{aligned} {\left\{ \begin{array}{ll} \displaystyle {\partial _t}u_\varepsilon +\alpha \partial _x u_\varepsilon \partial _{x}^2u_\varepsilon +\beta u_\varepsilon \partial _{x}^3u_\varepsilon +\gamma \partial _{x}^5u_\varepsilon =\varepsilon \partial _{x}^6u_\varepsilon , \quad &{}t>0,\, x\in {\mathbb {R}},\\ u_{\varepsilon }(0,x)=u_{\varepsilon ,0}(x), \quad &{}x\in {\mathbb {R}}, \end{array}\right. } \end{aligned}$$
(2.1)
where \(u_{\varepsilon ,0}\) is a \(C^{\infty }\) approximation of \(u_0\) such that
$$\begin{aligned} \begin{aligned} \left\| u_{\varepsilon ,0} \right\| _{H^4({\mathbb {R}})}\le \left\| u_0 \right\| _{H^4({\mathbb {R}})}. \end{aligned} \end{aligned}$$
(2.2)
Let us prove some a priori estimates on \(u_\varepsilon\). We denote with \(C_0\) the constants which depend only on the initial data, and with C(T), the constants which depend also on T.
Lemma 2.1
Assume (1.2). For each \(t\ge 0\),
$$\begin{aligned} \left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+2\varepsilon \int _{0}^{t}\left\| \partial _{x}^5u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s\le C_0. \end{aligned}$$
(2.3)
Proof
Multiplying (2.1) by \(2\partial _{x}^4u_\varepsilon\), an integration on \({\mathbb {R}}\) gives
$$\begin{aligned} \frac{\mathrm{{d}}}{{\mathrm{d}}t}\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}=\,&2\int _{{\mathbb {R}}}\partial _{x}^4u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x \\ =\,&-2\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x -2\beta \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\\&-2\gamma \int _{{\mathbb {R}}}\partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x+2\varepsilon \int _{{\mathbb {R}}}\partial _{x}^4u_\varepsilon \partial _{x}^6u_\varepsilon {\mathrm{d}}x\\ =\,&\left( 2\alpha +\beta \right) \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^3u_\varepsilon )^2 {\mathrm{d}}x-2\varepsilon \left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}. \end{aligned}$$
Hence,
$$\begin{aligned} \frac{{\mathrm{d}}}{{\mathrm{d}}t}\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+2\varepsilon \left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}=\left( 2\alpha +\beta \right) \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^3u_\varepsilon )^2 {\mathrm{d}}x. \end{aligned}$$
Integrating on (0, t), thanks to (1.2) and (2.2), we have (2.3). \(\square\)
Lemma 2.2
Fix \(T>0\) and assume (1.2). There exists a constant \(C(T)>0\), independent on \(\varepsilon\), such that
$$\begin{aligned} \left\| u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+2\varepsilon e^{\frac{5t}{4}}\int _{0}^{t}e^{-\frac{5s}{4}}\left\| \partial _{x}^3u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s\le C(T), \end{aligned}$$
(2.4)
for every \(0\le t\le T\). In particular, we have
$$\begin{aligned} \left\| u_\varepsilon \right\| _{L^{\infty }((0,T)\times {\mathbb {R}})},\, \left\| \partial _x u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})},\, \left\| \partial _x u_\varepsilon \right\| _{L^{\infty }((0,T)\times {\mathbb {R}})}\le C(T). \end{aligned}$$
(2.5)
The proof of the previous lemma is based on the regularity of the functions \(u_\varepsilon\) and the following result.
Lemma 2.3
For each \(t\ge 0\), we have that
$$\begin{aligned} \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2(\partial _{x}^2u_\varepsilon )^2 {\mathrm{d}}x\le 2\sqrt{\left\| u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}\sqrt{\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^7_{L^2({\mathbb {R}})}}. \end{aligned}$$
(2.6)
Proof
We begin by observing that, thanks to the regularity of \(u_\varepsilon\) and the Hölder inequality,
$$\begin{aligned} \left\| \partial _x u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}=&\int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _x u_\varepsilon {\mathrm{d}}x=-\int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon {\mathrm{d}}x\\ \le&\int _{{\mathbb {R}}}\vert u_\varepsilon \vert \vert \partial _x u_\varepsilon \vert {\mathrm{d}}x\le \left\| u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}. \end{aligned}$$
Consequently,
$$\begin{aligned} \left\| \partial _x u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\le \sqrt{\left\| u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}\sqrt{\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}. \end{aligned}$$
(2.7)
Moreover, again by the regularity of \(u_\varepsilon\) and the Hölder inequality,
$$\begin{aligned} (\partial _x u_\varepsilon (t,x))^2=\,&2\int _{-\infty }^{x}\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon {\mathrm{d}}y\le \, 2\int _{{\mathbb {R}}}\vert \partial _x u_\varepsilon \vert \vert \partial _{x}^2u_\varepsilon \vert {\mathrm{d}}y\\ \le\,&2\left\| \partial _x u_\varepsilon (t,\cdot ) \right\| _{L^{\infty }({\mathbb {R}})}\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}. \end{aligned}$$
Hence,
$$\begin{aligned} \left\| \partial _x u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\le 2\left\| \partial _x u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}. \end{aligned}$$
(2.8)
It follows from (2.7) and (2.8) that
$$\begin{aligned} \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2(\partial _{x}^2u_\varepsilon )^2 {\mathrm{d}}x\le\,&\left\| \partial _x u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\ \le\,&2\left\| \partial _x u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^3_{L^2({\mathbb {R}})}\\ \le\,&2\sqrt{\left\| u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}\sqrt{\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^7_{L^2({\mathbb {R}})}}, \end{aligned}$$
which gives (2.6). \(\square\)
Proof of Lemma 2.2
Let \(0\le t\le T\). Multiplying (2.1) by 2u, an integration on \({\mathbb {R}}\) gives
$$\begin{aligned} \frac{{\mathrm{d}}}{{\mathrm{d}}t}\left\| u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}=\,&2\int _{{\mathbb {R}}}u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x\\ =\,&-2\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon \partial _{x}^2u_\varepsilon {\mathrm{d}}x -2\beta \int _{{\mathbb {R}}}u_\varepsilon ^2\partial _{x}^3u_\varepsilon {\mathrm{d}}x\\&-2\gamma \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x +2\varepsilon \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^6u_\varepsilon {\mathrm{d}}x\\ =\,&2\left( \alpha -2\beta \right) \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon \partial _{x}^2u_\varepsilon {\mathrm{d}}x +2\gamma \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\\&-2\varepsilon \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x\\ =\,&2\left( \alpha -2\beta \right) \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon \partial _{x}^2u_\varepsilon {\mathrm{d}}x-2\gamma \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon {\mathrm{d}}x\\&+2\varepsilon \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\\ =\,&2\left( \alpha -2\beta \right) \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon \partial _{x}^2u_\varepsilon {\mathrm{d}}x-2\varepsilon \left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}. \end{aligned}$$
Hence,
$$\begin{aligned} \frac{{\mathrm{d}}}{{\mathrm{d}}t}\left\| u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+2\varepsilon \left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}=2\left( \alpha -2\beta \right) \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon \partial _{x}^2u_\varepsilon {\mathrm{d}}x. \end{aligned}$$
(2.9)
Due to (2.3), (2.6) and the Young inequality,
$$\begin{aligned} 2\left| \alpha -2\beta \right| \int _{{\mathbb {R}}}\vert u_\varepsilon \vert \vert \partial _x u_\varepsilon \partial _{x}^2u_\varepsilon \vert {\mathrm{d}}x=\,&2\int _{{\mathbb {R}}}\vert u_\varepsilon \vert \left| (\alpha -2\beta )\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon \right| {\mathrm{d}}x\\ \le\,&\left\| u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+(\alpha -2\beta )^2\int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2(\partial _{x}^2u_\varepsilon )^2 {\mathrm{d}}x\\ \le\,&\left\| u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+ 2(\alpha -2\beta )^2\sqrt{\left\| u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}\sqrt{\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^7_{L^2({\mathbb {R}})}}\\ \le\,&\left\| u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C_0\sqrt{\left\| u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}\\ \le\,&\left\| u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\frac{1}{2}\left\| u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}+C_0\\ \le\,&\frac{5}{4}\left\| u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C_0. \end{aligned}$$
Consequently, by (2.9),
$$\begin{aligned} \frac{{\mathrm{d}}}{{\mathrm{d}}t}\left\| u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+2\varepsilon \left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\le \frac{5}{4}\left\| u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C_0. \end{aligned}$$
The Gronwall lemma and (2.2) give
$$\begin{aligned} \left\| u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}&+2\varepsilon e^{\frac{5t}{4}}\int _{0}^{t}e^{-\frac{5s}{4}}\left\| \partial _{x}^3u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s\\ \le\,&C_0 e^{\frac{5t}{4}}+C_0 e^{\frac{5t}{4}}\int _{0}^{t}e^{-\frac{5t}{4}}{\mathrm{d}}s\le C(T). \end{aligned}$$
Therefore, (2.4) is proven.
Finally, we prove (2.5). Thanks to (2.4) and the Hölder inequality,
$$\begin{aligned} \begin{aligned} u_\varepsilon ^2(t,x)=&2\int _{-\infty }^{x}u_\varepsilon \partial _x u_\varepsilon {\mathrm{d}}y\le 2\int _{{\mathbb {R}}}\vert u_\varepsilon \vert \vert \partial _x u_\varepsilon \vert {\mathrm{d}}x\\ \le\,&2\left\| u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\left\| \partial _x u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}. \end{aligned} \end{aligned}$$
(2.10)
Hence, by (2.4),
$$\begin{aligned} \left\| u_\varepsilon (t,\cdot ) \right\| ^2_{L^{\infty }({\mathbb {R}})}\le C(T)\left\| \partial _x u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}. \end{aligned}$$
(2.11)
(2.5) follows from (2.3), (2.4), (2.7), (2.8) and (2.11). \(\square\)
Lemma 2.4
Fix \(T>0\) and assume (1.2). There exists a constant \(C(T)>0\), independent on \(\varepsilon\), such that
$$\begin{aligned} \left\| \partial _{x}^4u_\varepsilon \right\| _{L^{\infty }(0,T;L^2({\mathbb {R}}))}\le C(T). \end{aligned}$$
(2.12)
In particular, we have
$$\begin{aligned} \left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{{\mathbb {R}}}+\varepsilon e^{C(T)t}\int _{0}^{t}e^{-C(T)s}\left\| \partial _{x}^7u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s\le C(T), \end{aligned}$$
(2.13)
for every \(0\le t\le T\). Moreover,
$$\begin{aligned} \left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})},\, \left\| \partial _{x}^2u_\varepsilon \right\| _{L^{\infty }((0,T)\times {\mathbb {R}})},\, \left\| \partial _{x}^3u_\varepsilon \right\| _{L^{\infty }((0,T)\times {\mathbb {R}})}\le C(T), \end{aligned}$$
(2.14)
for every \(0\le t\le T\).
The proof of the previous lemma is based on the regularity of the functions \(u_\varepsilon\) and the following result.
Lemma 2.5
For each \(t\ge 0\), we have that
$$\begin{aligned} \left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\le&\sqrt{\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}\sqrt{\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}},\end{aligned}$$
(2.15)
$$\begin{aligned} \left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| _{L^{\infty }({\mathbb {R}})}\le&\sqrt{2}\root 4 \of {\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^3_{L^2({\mathbb {R}})}}\root 4 \of {\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}},\end{aligned}$$
(2.16)
$$\begin{aligned} \left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| _{L^{\infty }({\mathbb {R}})}\le&\sqrt{2}\root 4 \of {\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}\root 4 \of {\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^3_{L^2({\mathbb {R}})}}. \end{aligned}$$
(2.17)
In particular, we have
$$\begin{aligned} \int _{{\mathbb {R}}}\vert \partial _{x}^3u_\varepsilon \vert ^3 {\mathrm{d}}x \le \sqrt{2}\root 4 \of {\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^5_{L^2({\mathbb {R}})}}\root 4 \of {\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^7_{L^2({\mathbb {R}})}}. \end{aligned}$$
(2.18)
Moreover, fixed \(T>0\), there exists a constant \(C(T)>0\), independent on \(\varepsilon\), such that
$$\begin{aligned} \varepsilon \int _{0}^{t}\left\| \partial _{x}^4u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s\le C(T), \end{aligned}$$
(2.19)
for every \(0\le t\le T\).
Proof
Arguing as in [2, Lemma 2.5], we have (2.15), (2.16) and (2.17).
Finally, we prove (2.19). Fix \(T>0\). Thanks to the regularity of \(u_\varepsilon\) and the Hölder inequality,
$$\begin{aligned} \varepsilon \left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}=\,&\varepsilon \int _{{\mathbb {R}}}\partial _{x}^4u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x=-\varepsilon \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x\\ \le\,&\varepsilon \int _{{\mathbb {R}}}\vert \partial _{x}^3u_\varepsilon \vert \vert \partial _{x}^4u_\varepsilon \vert {\mathrm{d}}x \le \varepsilon \left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}. \end{aligned}$$
Consequently, by the Young inequality,
$$\begin{aligned} \varepsilon \left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\le \frac{\varepsilon }{2}\left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\frac{\varepsilon }{2}\left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}. \end{aligned}$$
Integrating on (0, t), by (2.3) and (2.4), we have that
$$\begin{aligned} \varepsilon \int _{0}^{t}\left\| \partial _{x}^4u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s\le\,&\frac{\varepsilon }{2}\int _{0}^{t}\left\| \partial _{x}^3u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s +\frac{\varepsilon }{2}\int _{0}^{t}\left\| \partial _{x}^5u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s\\ \le\,&\frac{\varepsilon }{2}e^{\frac{5t}{4}}\int _{0}^{t}e^{-\frac{5s}{4}}\left\| \partial _{x}^3u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s +C_0\\ \le\,&C(T)+C_0\le C(T), \end{aligned}$$
that is (2.19). \(\square\)
Proof of Lemma 2.4
Let \(0\le t\le T\). Consider five real constants \(A,\,B,\,C,\,D,\,E,\), which will be specified later. Multiplying (2.1) by
$$\begin{aligned} 2\partial _{x}^8u_\varepsilon +A(\partial _{x}^3u_\varepsilon )^2+Bu_\varepsilon \partial _{x}^6u_\varepsilon +C\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon +D\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon +E\partial _{x}^2((\partial _{x}^2u_\varepsilon )^2), \end{aligned}$$
thanks to (1.2), we have
$$\begin{aligned} \begin{aligned}&\left( 2\partial _{x}^8u_\varepsilon +A(\partial _{x}^3u_\varepsilon )^2+Bu_\varepsilon \partial _{x}^6u_\varepsilon +C\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon \right) {\partial _t}u_\varepsilon \\&\qquad \quad +\left( D\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon +E\partial _{x}^2((\partial _{x}^2u_\varepsilon )^2)\right) {\partial _t}u_\varepsilon \\&\qquad \quad +\alpha \left( 2\partial _{x}^8u_\varepsilon +A(\partial _{x}^3u_\varepsilon )^2+Bu_\varepsilon \partial _{x}^6u_\varepsilon +C\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon \right) \partial _x u_\varepsilon \partial _{x}^2u_\varepsilon \\&\qquad \quad +\alpha \left( D\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon +E\partial _{x}^2((\partial _{x}^2u_\varepsilon )^2)\right) \partial _x u_\varepsilon \partial _{x}^2u_\varepsilon \\&\qquad \quad -2\alpha \left( 2\partial _{x}^8u_\varepsilon +A(\partial _{x}^3u_\varepsilon )^2+Bu_\varepsilon \partial _{x}^6u_\varepsilon +C\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon \right) u_\varepsilon \partial _{x}^3u_\varepsilon \\&\qquad \quad -2\alpha \left( D\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon +E\partial _{x}^2((\partial _{x}^2u_\varepsilon )^2)\right) u_\varepsilon \partial _{x}^3u_\varepsilon \\&\qquad \quad +\gamma \left( 2\partial _{x}^8u_\varepsilon +A(\partial _{x}^3u_\varepsilon )^2+Bu_\varepsilon \partial _{x}^6u_\varepsilon +C\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon \right) \partial _{x}^5u_\varepsilon \\&\qquad \quad +\gamma \left( D\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon +E\partial _{x}^2((\partial _{x}^2u_\varepsilon )^2)\right) \partial _{x}^5u_\varepsilon \\&\qquad =\varepsilon \left( 2\partial _{x}^8u_\varepsilon +A(\partial _{x}^3u_\varepsilon )^2+Bu_\varepsilon \partial _{x}^6u_\varepsilon +C\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon \right) \partial _{x}^6u_\varepsilon \\&\qquad \quad +\varepsilon \left( D\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon +E\partial _{x}^2((\partial _{x}^2u_\varepsilon )^2)\right) \partial _{x}^6u_\varepsilon . \end{aligned} \end{aligned}$$
(2.20)
Observe that
$$\begin{aligned}&\int _{{\mathbb {R}}}\left( 2\partial _{x}^8u_\varepsilon +A(\partial _{x}^3u_\varepsilon )^2+Bu_\varepsilon \partial _{x}^6u_\varepsilon +C\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon +D\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon \right) {\partial _t}u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad =\frac{{\mathrm{d}}}{{\mathrm{d}}t}\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+A\int _{{\mathbb {R}}}(\partial _{x}^3u_\varepsilon )^2{\partial _t}u_\varepsilon {\mathrm{d}}x +B\int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^6u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +C\int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x+D\int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x,\nonumber \\&\alpha \int _{{\mathbb {R}}}\left( 2\partial _{x}^8u_\varepsilon +A(\partial _{x}^3u_\varepsilon )^2+Bu_\varepsilon \partial _{x}^6u_\varepsilon +C\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon +D\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon \right) \partial _x u_\varepsilon \partial _{x}^2u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad =-2\alpha \int _{{\mathbb {R}}}(\partial _{x}^2u_\varepsilon )^2\partial _{x}^7u_\varepsilon {\mathrm{d}}x - 2\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^7u_\varepsilon {\mathrm{d}}x \nonumber \\&\qquad \quad +A\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon (\partial _{x}^3u_\varepsilon )^2{\mathrm{d}}x -B\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^2u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad -B\alpha \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^2u_\varepsilon )^2\partial _{x}^5u_\varepsilon {\mathrm{d}}x -B\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +\left( C-2D\right) \alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^2u_\varepsilon )^2\partial _{x}^4u_\varepsilon {\mathrm{d}}x -2D\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad =6\alpha \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^6u_\varepsilon {\mathrm{d}}x +2\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^6u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +A\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon (\partial _{x}^3u_\varepsilon )^2{\mathrm{d}}x+3B\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^2u_\varepsilon )^2\partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +B\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x+2B\int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x \nonumber \\&\qquad \quad +B\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x +B\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +B\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x+\left( C-2D\right) \alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^2u_\varepsilon )^2\partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad -2D\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad =-6\alpha \int _{{\mathbb {R}}}(\partial _{x}^3u_\varepsilon )^2\partial _{x}^5u_\varepsilon {\mathrm{d}}x -8\alpha \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad -2\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x +A\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon (\partial _{x}^3u_\varepsilon )^2{\mathrm{d}}x\nonumber \\&\qquad \quad +3B\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^2u_\varepsilon )^2\partial _{x}^4u_\varepsilon {\mathrm{d}}x+B\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +2B\int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x +B\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +B\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x +B\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\&\qquad \quad +\left( C-2D\right) \alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^2u_\varepsilon )^2\partial _{x}^4u_\varepsilon {\mathrm{d}}x-2D\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x \end{aligned}$$
(2.21)
$$\begin{aligned}&=10\alpha \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x -2\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\&\qquad \quad +A\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon (\partial _{x}^3u_\varepsilon )^2{\mathrm{d}}x+3B\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^2u_\varepsilon )^2\partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +2B\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x+3B\int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x \nonumber \\&\qquad \quad +B\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x+\left( C-2D\right) \alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^2u_\varepsilon )^2\partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad -2D\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x,\nonumber \\&-2\alpha \int _{{\mathbb {R}}}\left( 2\partial _{x}^8u_\varepsilon +A(\partial _{x}^3u_\varepsilon )^2+Bu_\varepsilon \partial _{x}^6u_\varepsilon +C\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon +D\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon \right) u_\varepsilon \partial _{x}^3u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad =4\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^7u_\varepsilon {\mathrm{d}}x +4\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^7u_\varepsilon {\mathrm{d}}x \nonumber \\&\qquad \quad -2A\alpha \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^3 {\mathrm{d}}x +4B\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +2B\alpha \int _{{\mathbb {R}}}u_\varepsilon ^2\partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x -2\left( C-D\right) \alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +2D\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x +2D\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\\end{aligned}$$
$$\begin{aligned}&\qquad =-4\alpha \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^6u_\varepsilon {\mathrm{d}}x -8\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^6u_\varepsilon {\mathrm{d}}x -4\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^5u_\varepsilon \partial _{x}^6u_\varepsilon {\mathrm{d}}x \nonumber \\&\qquad \quad -2A\alpha \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^3 {\mathrm{d}}x-4B\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x \nonumber \\&\qquad \quad -4B\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x -6B\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x \nonumber \\&\qquad \quad -2\left( C-D\right) \alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x +2D\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +2D\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\&\qquad =4\alpha \int _{{\mathbb {R}}}(\partial _{x}^3u_\varepsilon )^2\partial _{x}^5u_\varepsilon {\mathrm{d}}x +12\alpha \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x +10\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 dx\nonumber \\&\qquad \quad -2A\alpha \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^3 {\mathrm{d}}x-4B\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x \nonumber \\&\qquad \quad -4B\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x -6B\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x \nonumber \\&\qquad \quad -2\left( C-D\right) \alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x +2D\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +2D\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\&\qquad =-14\alpha \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x +10\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\&\qquad \quad -2A\alpha \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^3 {\mathrm{d}}x-4B\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x \nonumber \\&\qquad \quad -4B\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x -6B\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x \nonumber \\&\qquad \quad -2\left( C-D\right) \alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x +2D\alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +2D\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x,\nonumber \\&\gamma \int _{{\mathbb {R}}}\left( 2\partial _{x}^8u_\varepsilon +A(\partial _{x}^3u_\varepsilon )^2+Bu_\varepsilon \partial _{x}^6u_\varepsilon +C\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon +D\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon \right) \partial _{x}^5u_\varepsilon {\mathrm{d}}x\nonumber \\\end{aligned}$$
$$\begin{aligned}&\qquad =-\left( 2A\gamma +\frac{C\gamma }{2}\right) \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon (\partial _{x}^4u_\varepsilon )^2{\mathrm{d}}x -\left( \frac{B\gamma }{2}+D\gamma \right) \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\&\varepsilon \int _{{\mathbb {R}}}\left( 2\partial _{x}^8u_\varepsilon +A(\partial _{x}^3u_\varepsilon )^2+Bu_\varepsilon \partial _{x}^6u_\varepsilon +C\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon +D\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon \right) \partial _{x}^6u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad =-2\varepsilon \left\| \partial _{x}^7u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}-2A\varepsilon \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x+B\varepsilon \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^6u_\varepsilon )^2 {\mathrm{d}}x \nonumber \\&\qquad \quad +C\varepsilon \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^6u_\varepsilon {\mathrm{d}}x -\frac{D\varepsilon }{2}\int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x. \end{aligned}$$
(2.21)
Moreover, since
$$\begin{aligned} \partial _x ((\partial _{x}^2u_\varepsilon )^2)=2\partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon , \quad \partial _{x}^2((\partial _{x}^2u_\varepsilon )^2)=2(\partial _{x}^3u_\varepsilon )^2+2\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon , \end{aligned}$$
we have that
$$\begin{aligned} E\alpha \int _{{\mathbb {R}}}\partial _{x}^2((\partial _{x}^2u_\varepsilon )^2)\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon {\mathrm{d}}x=\,&2E\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon (\partial _{x}^3u_\varepsilon )^2{\mathrm{d}}x \nonumber \\&+2E\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^2u_\varepsilon )^2\partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\ =&-2E\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon (\partial _{x}^3u_\varepsilon )^2{\mathrm{d}}x,\nonumber \\ -2E\alpha \int _{{\mathbb {R}}}\partial _{x}^2((\partial _{x}^2u_\varepsilon )^2)u_\varepsilon \partial _{x}^3u_\varepsilon {\mathrm{d}}x =&-4E\alpha \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^3 {\mathrm{d}}x -4E\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\ =&-4E\alpha \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^3 {\mathrm{d}}x+2E\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon (\partial _{x}^3u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\&+2E\alpha \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^3 {\mathrm{d}}x+2E\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon (\partial _{x}^3u_\varepsilon )^2 {\mathrm{d}}x,\nonumber \\ E\gamma \int _{{\mathbb {R}}}\partial _{x}^2((\partial _{x}^2u_\varepsilon )^2)\partial _{x}^5u_\varepsilon {\mathrm{d}}x =\,&2E\gamma \int _{{\mathbb {R}}}(\partial _{x}^3u_\varepsilon )^2\partial _{x}^5u_\varepsilon {\mathrm{d}}x +2E\gamma \int _{{\mathbb {R}}}\partial _{x}^2\partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x\nonumber \\ =\,&-5E\gamma \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x,\nonumber \\ E\varepsilon \int _{{\mathbb {R}}}\partial _{x}^2((\partial _{x}^2u_\varepsilon )^2)\partial _{x}^6u_\varepsilon {\mathrm{d}}x =\,&2E\varepsilon \int _{{\mathbb {R}}}(\partial _{x}^3u_\varepsilon )^2\partial _{x}^6u_\varepsilon {\mathrm{d}}x +2E\varepsilon \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^6u_\varepsilon {\mathrm{d}}x\nonumber \\ =\,&-6E\varepsilon \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x -2E\varepsilon \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x. \end{aligned}$$
(2.22)
It follows from (2.21), (2.22) and an integration of (2.20) that
$$\begin{aligned}&\frac{{\mathrm{d}}}{{\mathrm{d}}t}\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+A\int _{{\mathbb {R}}}(\partial _{x}^3u_\varepsilon )^2{\partial _t}u_\varepsilon {\mathrm{d}}x +B\int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^6u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +C\int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x+D\int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +E\int _{{\mathbb {R}}}\partial _{x}^2((\partial _{x}^2u_\varepsilon )^2){\partial _t}u_\varepsilon {\mathrm{d}}x+2\varepsilon \left\| \partial _{x}^6u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\nonumber \\&\qquad =\left( 4\alpha +2A\gamma +\frac{C\gamma }{2}+5E\gamma \right) \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\&\qquad \quad +\left( \frac{B\gamma }{2}+D\gamma -8\alpha \right) \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\&\qquad \quad -A\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon (\partial _{x}^3u_\varepsilon )^2 {\mathrm{d}}x -\left( 3B+C-2D\right) \alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^2u_\varepsilon )^2\partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +\left( 2B-2D\right) \alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x -3B\alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +\left( 5B-2D\right) \alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x +\left( 2A-2E\right) \alpha \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^3 {\mathrm{d}}x\nonumber \\&\qquad \quad +\left( 4B+2C-2D\right) \alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad -\left( 2A+6E\right) \varepsilon \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x+C\varepsilon \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad -\left( \frac{D}{2}+2E\right) \varepsilon \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x+B\varepsilon \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^6u_\varepsilon )^2 {\mathrm{d}}x. \end{aligned}$$
(2.23)
Observe that
$$\begin{aligned} B\int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^6u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x =&-B\int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x -B\int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^5u_\varepsilon {\partial _t}\partial _x u_\varepsilon {\mathrm{d}}x\\ =&-B\int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon {\partial _t}u_\varepsilon dx+B\int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^4u_\varepsilon {\partial _t}\partial _x u_\varepsilon {\mathrm{d}}x\\&+B\int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^4u_\varepsilon {\partial _t}\partial _{x}^2u_\varepsilon {\mathrm{d}}x\\ =&-B\int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x+B\int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^4u_\varepsilon {\partial _t}\partial _x u_\varepsilon {\mathrm{d}}x\\&-B\int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^3u_\varepsilon {\partial _t}\partial _{x}^2u_\varepsilon {\mathrm{d}}x -\frac{B}{2}\int _{{\mathbb {R}}}u_\varepsilon {\partial _t}((\partial _{x}^3u_\varepsilon )^2){\mathrm{d}}x\\ =&-2B\int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x -B\int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x\\&+B\int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon {\partial _t}\partial _x u_\varepsilon +B\int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^4u_\varepsilon {\partial _t}\partial _x u_\varepsilon {\mathrm{d}}x\\&-\frac{B}{2}\int _{{\mathbb {R}}}u_\varepsilon {\partial _t}((\partial _{x}^3u_\varepsilon )^2){\mathrm{d}}x\\ =&-3B\int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x -3B\int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x\\&-B\int _{{\mathbb {R}}}(\partial _{x}^3u_\varepsilon )^2{\partial _t}u_\varepsilon {\mathrm{d}}x -\frac{B}{2}\int _{{\mathbb {R}}}u_\varepsilon {\partial _t}((\partial _{x}^3u_\varepsilon )^2){\mathrm{d}}x. \end{aligned}$$
Consequently, by (2.23),
$$\begin{aligned}&\frac{{\mathrm{d}}}{{\mathrm{d}}t}\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\left( A-B\right) \int _{{\mathbb {R}}}(\partial _{x}^3u_\varepsilon )^2{\partial _t}u_\varepsilon {\mathrm{d}}x-\frac{B}{2}\int _{{\mathbb {R}}}u_\varepsilon {\partial _t}((\partial _{x}^3u_\varepsilon )^2){\mathrm{d}}x \nonumber \\&\qquad \quad +\left( C-3B\right) \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x+\left( D-3B\right) \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x \nonumber \\&\qquad \quad +E\int _{{\mathbb {R}}}\partial _{x}^2((\partial _{x}^2u_\varepsilon )^2){\partial _t}u_\varepsilon {\mathrm{d}}x+2\varepsilon \left\| \partial _{x}^7u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\nonumber \\&\qquad =\left( 4\alpha +2A\gamma +\frac{C\gamma }{2}+5E\gamma \right) \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\&\qquad \quad +\left( \frac{B\gamma }{2}+D\gamma -8\alpha \right) \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\&\qquad \quad -A\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon (\partial _{x}^3u_\varepsilon )^2 {\mathrm{d}}x -\left( 3B+C-2D\right) \alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^2u_\varepsilon )^2\partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +\left( 2B-2D\right) \alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x \nonumber \\&\qquad \quad +\left( B+2C-2D\right) \alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +\left( 5B-2D\right) \alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x \nonumber \\&\qquad \quad +\left( 2A-2E\right) \alpha \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^3 {\mathrm{d}}x -\left( 2A+6E\right) \varepsilon \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +C\varepsilon \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x-\left( \frac{D}{2}+2E\right) \varepsilon \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x. \nonumber \\&\qquad \quad +B\varepsilon \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^6u_\varepsilon )^2 {\mathrm{d}}x. \end{aligned}$$
(2.24)
Observe that
$$\begin{aligned} \left( C-3B\right) \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x=&-\left( C-3B\right) \int _{{\mathbb {R}}}(\partial _{x}^3u_\varepsilon )^2{\partial _t}u_\varepsilon {\mathrm{d}}x\\&-\left( C-3B\right) \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon {\partial _t}\partial _x u_\varepsilon {\mathrm{d}}x\\ =&-\left( C-3B\right) \int _{{\mathbb {R}}}(\partial _{x}^3u_\varepsilon )^2{\partial _t}u_\varepsilon {\mathrm{d}}x\\&-\frac{C-3B}{2}\int _{{\mathbb {R}}}\partial _x ((\partial _{x}^2u_\varepsilon )^2){\partial _t}\partial _x u_\varepsilon {\mathrm{d}}x\\ =&-\left( C-3B\right) \int _{{\mathbb {R}}}(\partial _{x}^3u_\varepsilon )^2{\partial _t}u_\varepsilon {\mathrm{d}}x\\&+\frac{C-3B}{2}\int _{{\mathbb {R}}}\partial _{x}^2((\partial _{x}^2u_\varepsilon )^2){\partial _t}\partial _x u_\varepsilon {\mathrm{d}}x. \end{aligned}$$
Therefore, by (2.24),
$$\begin{aligned}&\frac{{\mathrm{d}}}{{\mathrm{d}}t}\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\left( A+2B-C\right) \int _{{\mathbb {R}}}(\partial _{x}^3u_\varepsilon )^2{\partial _t}u_\varepsilon {\mathrm{d}}x-\frac{B}{2}\int _{{\mathbb {R}}}u_\varepsilon {\partial _t}((\partial _{x}^3u_\varepsilon )^2){\mathrm{d}}x \nonumber \\&\qquad \quad +\left( D-3B\right) \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x+\frac{2E+C-3B}{2}\int _{{\mathbb {R}}}\partial _{x}^2((\partial _{x}^2u_\varepsilon )^2){\partial _t}u_\varepsilon {\mathrm{d}}x \nonumber \\&\qquad \quad +2\varepsilon \left\| \partial _{x}^7u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\nonumber \\&\qquad =\left( 4\alpha +2A\gamma +\frac{C\gamma }{2}+5E\gamma \right) \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\&\qquad \quad +\left( \frac{B\gamma }{2}+D\gamma -8\alpha \right) \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\&\qquad \quad -A\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon (\partial _{x}^3u_\varepsilon )^2 {\mathrm{d}}x -\left( 3B+C-2D\right) \alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^2u_\varepsilon )^2\partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +\left( 2B-2D\right) \alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad + \left( B+2C-2D\right) \alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +\left( 5B-2D\right) \alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x +\left( 2A-2E\right) \alpha \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^3 {\mathrm{d}}x\nonumber \\&\qquad \quad -\left( 2A+6E\right) \varepsilon \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x+C\varepsilon \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad -\left( \frac{D}{2}+2E\right) \varepsilon \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x+B\varepsilon \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^6u_\varepsilon )^2 {\mathrm{d}}x. \end{aligned}$$
(2.25)
Observe that
$$\begin{aligned} \frac{2E+C-3B}{2}\int _{{\mathbb {R}}}\partial _{x}^2((\partial _{x}^2u_\varepsilon )^2){\partial _t}u_\varepsilon {\mathrm{d}}x=&-\frac{2E+C-3B}{2}\int _{{\mathbb {R}}}\partial _x ((\partial _{x}^2u_\varepsilon )^2){\partial _t}\partial _x u_\varepsilon {\mathrm{d}}x\\ =&\frac{2E+C-3B}{2}\int _{{\mathbb {R}}}(\partial _{x}^2u_\varepsilon )^2{\partial _t}\partial _{x}^2u_\varepsilon {\mathrm{d}}x\\ =&\frac{2E+C-3B}{6}\frac{d}{dt}\int _{{\mathbb {R}}}(\partial _{x}^2u_\varepsilon )^3 {\mathrm{d}}x. \end{aligned}$$
Consequently, by (2.25),
$$\begin{aligned}&\frac{{\mathrm{d}}}{{\mathrm{d}}t}\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\left( A+2B-C\right) \int _{{\mathbb {R}}}(\partial _{x}^3u_\varepsilon )^2{\partial _t}u_\varepsilon {\mathrm{d}}x-\frac{B}{2}\int _{{\mathbb {R}}}u_\varepsilon {\partial _t}((\partial _{x}^3u_\varepsilon )^2){\mathrm{d}}x \nonumber \\&\qquad \quad +\left( D-3B\right) \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^5u_\varepsilon {\partial _t}u_\varepsilon {\mathrm{d}}x+\frac{2E+C-3B}{6}\frac{{\mathrm{d}}}{{\mathrm{d}}t}\int _{{\mathbb {R}}}(\partial _{x}^2u_\varepsilon )^3 {\mathrm{d}}x\nonumber \\&\qquad \quad +2\varepsilon \left\| \partial _{x}^7u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\nonumber \\&\qquad =\left( 4\alpha +2A\gamma +\frac{C\gamma }{2}+5E\gamma \right) \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\&\qquad \quad +\left( \frac{B\gamma }{2}+D\gamma -8\alpha \right) \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\&\qquad \quad -A\alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon (\partial _{x}^3u_\varepsilon )^2 {\mathrm{d}}x -\left( 3B+C-2D\right) \alpha \int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^2u_\varepsilon )^2\partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +\left( 2B-2D\right) \alpha \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad + \left( B+2C-2D\right) \alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad +\left( 5B-2D\right) \alpha \int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x +\left( 2A-2E\right) \alpha \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^3 {\mathrm{d}}x\nonumber \\&\qquad \quad -\left( 2A+6E\right) \varepsilon \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x+C\varepsilon \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x\nonumber \\&\qquad \quad -\left( \frac{D}{2}+2E\right) \varepsilon \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x+B\varepsilon \int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^6u_\varepsilon )^2 {\mathrm{d}}x. \end{aligned}$$
(2.26)
We search \(A,\,B,\,C,\,D,\,E\) such that
$$\begin{aligned} \begin{array}{lll} &{}\displaystyle A+2B-C=-\frac{B}{2} ,\quad \displaystyle D-3B=0, &{}\quad \displaystyle E=-\frac{3C}{10}\\ &{}\displaystyle 4\alpha +2A\gamma +\frac{C\gamma }{2}+3E\gamma =0 , &{}\quad \displaystyle \frac{B\gamma }{2}+D\gamma -8\alpha =0, \end{array} \end{aligned}$$
that is
$$\begin{aligned} \begin{array}{lll} &{}\displaystyle 2A+5B-2C=0, \quad \displaystyle D=3B, &{} \quad \displaystyle E=-\frac{3C}{10},\\ &{} \displaystyle 4A\gamma +C\gamma +10E\gamma =-8\alpha , &{} \quad \displaystyle B\gamma +2D\gamma =16\alpha . \end{array} \end{aligned}$$
(2.27)
Since
$$\begin{aligned} (A,\,B,\,C,\,D,\,E)=\left( \frac{12\alpha }{7\gamma },\, \frac{16\alpha }{7\gamma },\, \frac{52\alpha }{7\gamma },\, \frac{48\alpha }{7\gamma },\,-\frac{78\alpha }{35\gamma }\right) , \end{aligned}$$
is the unique solution of (2.27), it follows from (2.26) that
$$\begin{aligned} \frac{{\mathrm{d}}}{{\mathrm{d}}t}\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}&-\frac{8\alpha }{7\gamma }\int _{{\mathbb {R}}}(\partial _{x}^3u_\varepsilon )^2{\partial _t}u_\varepsilon {\mathrm{d}}x-\frac{8\alpha }{7\gamma }\int _{{\mathbb {R}}}u_\varepsilon {\partial _t}((\partial _{x}^3u_\varepsilon )^2){\mathrm{d}}x+\ell _1\frac{{\mathrm{d}}}{{\mathrm{d}}t}\int _{{\mathbb {R}}}(\partial _{x}^2u_\varepsilon )^3 {\mathrm{d}}x\\&+2\varepsilon \left\| \partial _{x}^7u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\ =&\frac{12\alpha ^2}{7\gamma }\int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon (\partial _{x}^3u_\varepsilon )^2 {\mathrm{d}}x+\frac{4\alpha ^2}{7\gamma }\int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^2u_\varepsilon )^2\partial _{x}^4u_\varepsilon {\mathrm{d}}x\\&-\frac{64\alpha ^2}{7\gamma }\int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x-\frac{120\alpha ^2}{7\gamma }\int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\\&-\frac{16\alpha ^2}{7\gamma }\int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x +\ell _2\int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^3 {\mathrm{d}}x\\&+\ell _3\varepsilon \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x-\frac{20\alpha \varepsilon }{7\gamma } \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x\\&+\ell _4\int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x+\frac{16\alpha \varepsilon }{7\gamma }\int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^6u_\varepsilon )^2 {\mathrm{d}}x, \end{aligned}$$
where
$$\begin{aligned} \ell _1:= \frac{2E+C-3B}{6}, \quad \ell _2:= 2A-2E, \quad \ell _3:=2A+6E, \quad \ell _4:=\frac{D}{2}+2E. \end{aligned}$$
Consequently, we get
$$\begin{aligned} \frac{{\mathrm{d}}G(t)}{{\mathrm{d}}t}&+2\varepsilon \left\| \partial _{x}^7u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\nonumber \\ =&\frac{12\alpha ^2}{7\gamma }\int _{{\mathbb {R}}}\partial _x u_\varepsilon \partial _{x}^2u_\varepsilon (\partial _{x}^3u_\varepsilon )^2 {\mathrm{d}}x+\frac{4\alpha ^2}{7\gamma }\int _{{\mathbb {R}}}\partial _x u_\varepsilon (\partial _{x}^2u_\varepsilon )^2\partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&-\frac{64\alpha ^2}{7\gamma }\int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x-\frac{120\alpha ^2}{7\gamma }\int _{{\mathbb {R}}}u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon {\mathrm{d}}x\nonumber \\&-\frac{16\alpha ^2}{7\gamma }\int _{{\mathbb {R}}}u_\varepsilon \partial _x u_\varepsilon (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x +\ell _2\int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^3 {\mathrm{d}}x\nonumber \\&+\ell _3\varepsilon \int _{{\mathbb {R}}}\partial _{x}^3u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x-\frac{20\alpha \varepsilon }{7\gamma } \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon \partial _{x}^4u_\varepsilon \partial _{x}^5u_\varepsilon {\mathrm{d}}x\nonumber \\&+\ell _4\int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x+\frac{16\alpha \varepsilon }{7\gamma }\int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^6u_\varepsilon )^2 {\mathrm{d}}x, \end{aligned}$$
(2.28)
where
$$\begin{aligned} G(t):=\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}-\frac{8\alpha }{7\gamma }\int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^2 {\mathrm{d}}x+\ell _1\int _{{\mathbb {R}}}(\partial _{x}^2u_\varepsilon )^3 {\mathrm{d}}x. \end{aligned}$$
(2.29)
Due to (2.3), (2.5), (2.15), (2.16), (2.17), (2.18), the Hölder inequality and the Young inequality,
$$\begin{aligned}&\left| \frac{12\alpha ^2}{7\gamma }\right| \int _{{\mathbb {R}}}\vert \partial _x u_\varepsilon \vert \vert \partial _{x}^2u_\varepsilon \vert (\partial _{x}^3u_\varepsilon )^2 {\mathrm{d}}x\\&\qquad \le \left| \frac{12\alpha ^2}{7\gamma }\right| \left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| ^2_{L^{\infty }({\mathbb {R}})}\int _{{\mathbb {R}}}\vert \partial _x u_\varepsilon \vert \vert \partial _{x}^2u_\varepsilon \vert {\mathrm{d}}x\\&\qquad \le \left| \frac{12\alpha ^2}{7\gamma }\right| \left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| ^2_{L^{\infty }({\mathbb {R}})}\left\| \partial _x u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\\&\qquad \le C(T)\left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| ^2_{L^{\infty }({\mathbb {R}})}\le C(T)\sqrt{\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}}\sqrt{\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^3_{L^2({\mathbb {R}})}}\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^{\frac{1}{2}}\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C(T),\\&\left| \frac{4\alpha ^2}{7\gamma }\right| \int _{{\mathbb {R}}}\vert \partial _x u_\varepsilon (\partial _{x}^2u_\varepsilon )^2\vert \vert \partial _{x}^4u_\varepsilon \vert {\mathrm{d}}x\\&\qquad \le \frac{16\alpha ^4}{49\gamma ^2}\int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2(\partial _{x}^2u_\varepsilon )^4 {\mathrm{d}}x +\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\&\qquad \le \frac{16\alpha ^4}{49\gamma ^2}\left\| \partial _x u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^2_{L^{\infty }({\mathbb {R}})}\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\&\qquad \le C(T)\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^2_{L^{\infty }({\mathbb {R}})}+\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\&\qquad \le C(T)\sqrt{\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^3_{L^2({\mathbb {R}})}}\sqrt{\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}+\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\&\qquad \le C(T)\sqrt{\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}+\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}+\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C(T)\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C(T)\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C(T),\\&\left| \frac{64\alpha ^2}{7\gamma }\right| \int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2\vert \partial _{x}^3u_\varepsilon \vert \vert \partial _{x}^4u_\varepsilon \vert {\mathrm{d}}x\\&\qquad \le \left| \frac{64\alpha ^2}{7\gamma }\right| \left\| \partial _x u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\int _{{\mathbb {R}}}\vert \partial _{x}^3u_\varepsilon \vert \vert \partial _{x}^4u_\varepsilon \vert {\mathrm{d}}x\\&\qquad \le C(T)\left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\\&\qquad \le C(T)\sqrt{\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}\sqrt{\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^3_{L^2({\mathbb {R}})}}\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\sqrt{\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+ C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C(T),\end{aligned}$$
$$\begin{aligned}&\left| \frac{120\alpha ^2}{7\gamma }\right| \int _{{\mathbb {R}}}\vert u_\varepsilon \partial _{x}^2u_\varepsilon \partial _{x}^3u_\varepsilon \vert \vert \partial _{x}^4u_\varepsilon \vert {\mathrm{d}}x\\&\qquad \le \frac{60\alpha ^4}{49\gamma ^2}\int _{{\mathbb {R}}}u_\varepsilon ^2(\partial _{x}^3u_\varepsilon )^2(\partial _{x}^2u_\varepsilon )^2 {\mathrm{d}}x + \left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\&\qquad \le \frac{60\alpha ^4}{49\gamma ^2}\left\| u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| ^2_{L^{\infty }({\mathbb {R}})}\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})} + \left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\&\qquad \le C(T)\left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| ^2_{L^{\infty }({\mathbb {R}})}+ \left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\&\qquad \le C(T)\sqrt{\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}\sqrt{\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^3_{L^2({\mathbb {R}})}}+ \left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\sqrt{\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}+ \left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}+ \left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C(T),\\&\left| \frac{16\alpha ^2}{7\gamma }\right| \int _{{\mathbb {R}}}\vert u_\varepsilon \partial _x u_\varepsilon \vert (\partial _{x}^4u_\varepsilon )^2 {\mathrm{d}}x\\&\qquad \le \left| \frac{16\alpha ^2}{7\gamma }\right| \left\| u_\varepsilon \right\| _{L^{\infty }((0,T)\times {\mathbb {R}})}\left\| \partial _x u_\varepsilon \right\| _{L^{\infty }((0,T)\times {\mathbb {R}})}\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})},\\&\vert \ell _2\vert \int _{{\mathbb {R}}}\vert u_\varepsilon \vert \vert \partial _{x}^3u_\varepsilon \vert ^3 {\mathrm{d}}x\\&\qquad \le \vert \ell _2\vert \left\| u_\varepsilon \right\| _{L^{\infty }((0,T)\times {\mathbb {R}})}\int _{{\mathbb {R}}}\vert \partial _{x}^3u_\varepsilon \vert ^3 {\mathrm{d}}x\\&\qquad \le C(T)\root 4 \of {\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^5_{L^2({\mathbb {R}})}}\root 4 \of {\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^7_{L^2({\mathbb {R}})}}\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\root 4 \of {\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^3_{L^2({\mathbb {R}})}}\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\sqrt{\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C(T),\\&\vert \ell _3\vert \varepsilon \int _{{\mathbb {R}}}\vert \partial _{x}^3u_\varepsilon \vert \vert \partial _{x}^4u_\varepsilon \vert \vert \partial _{x}^5u_\varepsilon \vert {\mathrm{d}}x\\&\qquad =2\int _{{\mathbb {R}}}\left| \frac{\ell _3\partial _{x}^4u_\varepsilon }{2}\right| \left| \partial _{x}^3u_\varepsilon \partial _{x}^5u_\varepsilon \right| {\mathrm{d}}x\\&\qquad \le \frac{\ell _3^2\varepsilon }{2}\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+ \varepsilon \int _{{\mathbb {R}}}(\partial _{x}^3u_\varepsilon )^2(\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x\\&\qquad \le \frac{\ell _3^2\varepsilon }{4}\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\varepsilon \left\| \partial _{x}^3u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})},\end{aligned}$$
$$\begin{aligned}&\left|\frac{20\alpha \varepsilon }{7\gamma }\right| \int _{{\mathbb {R}}}\vert \partial _{x}^2u_\varepsilon \vert \vert \partial _{x}^4u_\varepsilon \vert \partial _{x}^5u_\varepsilon \vert {\mathrm{d}}x\\&\qquad \le \frac{100\alpha ^2\varepsilon }{49\gamma ^2}\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\varepsilon \int _{{\mathbb {R}}}(\partial _{x}^2u_\varepsilon )^2(\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x\\&\qquad \le \frac{100\alpha ^2\varepsilon }{49\gamma ^2}\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\varepsilon \left\| \partial _{x}^2u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})},\\&\vert \ell _4\vert \varepsilon \int _{{\mathbb {R}}}\partial _{x}^2u_\varepsilon (\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x\\&\qquad =2\varepsilon \int _{{\mathbb {R}}}\left| \frac{\ell _4\partial _{x}^2u_\varepsilon \partial _{x}^5u_\varepsilon }{2}\right| \left| \partial _{x}^5u_\varepsilon \right| {\mathrm{d}}x\\&\qquad \le \frac{\ell _4^2\varepsilon }{4}\left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\varepsilon \int _{{\mathbb {R}}}(\partial _{x}^2u_\varepsilon )^2(\partial _{x}^5u_\varepsilon )^2 {\mathrm{d}}x\\&\qquad \le \frac{\ell _4^2\varepsilon }{4}\left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\varepsilon \left\| \partial _{x}^2u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})},\\&\left| \frac{16\alpha \varepsilon }{7\gamma }\right| \int _{{\mathbb {R}}}\vert u_\varepsilon \vert (\partial _{x}^6u_\varepsilon )^2 {\mathrm{d}}x\\&\qquad \le \left| \frac{16\alpha \varepsilon }{7\gamma }\right| \left\| u_\varepsilon \right\| _{L^{\infty }((0,T)\times {\mathbb {R}})}\left\| \partial _{x}^6u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\&\qquad \le C(T)\varepsilon \left\| \partial _{x}^6u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}. \end{aligned}$$
It follows from (2.28) that
$$\begin{aligned} \frac{{\mathrm{d}}G(t)}{{\mathrm{d}}t}&+2\varepsilon \left\| \partial _{x}^7u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\nonumber \\ \le&C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C(T)+C_0\varepsilon \left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})} \end{aligned}$$
(2.30)
$$\begin{aligned}&+\varepsilon \left\| \partial _{x}^3u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\frac{\ell ^2_4\varepsilon }{4}\left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\nonumber \\&+2\varepsilon \left\| \partial _{x}^2u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C(T)\varepsilon \left\| \partial _{x}^6u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}. \end{aligned}$$
(2.31)
Thanks to the Young inequality,
$$\begin{aligned} C(T)\varepsilon \left\| \partial _{x}^6u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}=\,&C(T)\varepsilon \int _{{\mathbb {R}}}\partial _{x}^6u_\varepsilon \partial _{x}^6u_\varepsilon {\mathrm{d}}x=-C(T)\varepsilon \int _{{\mathbb {R}}}\partial _{x}^5u_\varepsilon \partial _{x}^7u_\varepsilon {\mathrm{d}}x\\ \le\,&C(T)\varepsilon \int _{{\mathbb {R}}}\vert \partial _{x}^5u_\varepsilon \vert \vert \partial _{x}^7u_\varepsilon {\mathrm{d}}x\\ \le\,&C(T)\varepsilon \left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\varepsilon \left\| \partial _{x}^7u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}. \end{aligned}$$
Consequently, by (2.30),
$$\begin{aligned} \frac{{\mathrm{d}}G(t)}{{\mathrm{d}}t}&+\varepsilon \left\| \partial _{x}^7u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\nonumber \\ \le\,&C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C(T)+C_0\varepsilon \left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\nonumber \\&+\varepsilon \left\| \partial _{x}^3u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C(T)\varepsilon \left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\nonumber \\&+2\varepsilon \left\| \partial _{x}^2u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}. \end{aligned}$$
(2.32)
By (2.29), we have that
$$\begin{aligned} \begin{aligned} C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}=\,&C(T)G(t)+\frac{8C(T)\alpha }{7\gamma }\int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^2{\mathrm{d}}x\\&+C(T)\ell _1\int _{{\mathbb {R}}}(\partial _{x}^2u_\varepsilon )^3 {\mathrm{d}}x. \end{aligned} \end{aligned}$$
(2.33)
Moreover, by (2.3), (2.5), (2.15) and the Young inequality,
$$\begin{aligned}&\left| \frac{8C(T)\alpha }{7\gamma }\right| \int _{{\mathbb {R}}}\vert u_\varepsilon \vert (\partial _{x}^3u_\varepsilon )^2 {\mathrm{d}}x\nonumber \\&\qquad \le \left| \frac{8C(T)\alpha }{7\gamma }\right| \left\| u_\varepsilon \right\| _{L^{\infty }((0,T)\times {\mathbb {R}})}\left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\nonumber \\&\qquad \le C(T)\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\nonumber \\&\qquad \le C(T)\left\| \partial _{x}^4u_\varepsilon \right\| _{L^{\infty }(0,T;L^2({\mathbb {R}}))},\nonumber \\&\left| C(T)\ell _1\right| \int _{{\mathbb {R}}}\vert \partial _{x}^2u_\varepsilon \vert ^3 {\mathrm{d}}x\nonumber \\&\qquad \le \left| C(T)\ell _1\right| \left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| _{L^{\infty }({\mathbb {R}})}\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\nonumber \\&\qquad \le C(T)\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| _{L^{\infty }({\mathbb {R}})}\nonumber \\&\qquad \le C(T)+ C(T)\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^2_{L^{\infty }({\mathbb {R}})}\nonumber \\&\qquad \le C(T)+C(T)\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^4_{L^{\infty }({\mathbb {R}})}\nonumber \\&\qquad \le C(T)+C(T)\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^3_{L^2({\mathbb {R}})}\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\nonumber \\&\qquad \le C(T) +C(T)\left\| \partial _{x}^4u_\varepsilon \right\| _{L^{\infty }(0,T;L^2({\mathbb {R}}))}. \end{aligned}$$
(2.34)
Therefore, by (2.32), (2.33) and (2.34),
$$\begin{aligned} \frac{{\mathrm{d}}G(t)}{{\mathrm{d}}t}&+\varepsilon \left\| \partial _{x}^7u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\ \le\,&C(T)G(t) + C(T)\left\| \partial _{x}^4u_\varepsilon \right\| _{L^{\infty }(0,T;L^2({\mathbb {R}}))}+C_0\varepsilon \left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+C(T)\\&+C(T)\left( 1+ \left\| \partial _{x}^3u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}+\left\| \partial _{x}^2u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\right) \varepsilon \left\| \partial _{x}^5u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}. \end{aligned}$$
The Gronwall lemma, (2.2), (2.3), (2.19) and (2.29) give
$$\begin{aligned}&\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}-\frac{8\alpha }{7\gamma }\int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^2 {\mathrm{d}}x +\ell _1\int _{{\mathbb {R}}}(\partial _{x}^2u_\varepsilon )^3 {\mathrm{d}}x\\&\qquad \quad +\varepsilon e^{C(T)t}\int _{0}^{t}e^{-C(T)s}\left\| \partial _{x}^7u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s\\&\qquad \le C_0e^{C(T)t} +C_0 e^{C(T)t}\varepsilon \int _{0}^{t}e^{-C_0s}\left\| \partial _{x}^4u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s\\&\qquad \quad +C(T)\left\| \partial _{x}^4u_\varepsilon \right\| _{L^{\infty }(0,T;L^2({\mathbb {R}}))}e^{C(T)t}\int _{0}^{t}e^{-C(T)s} ds+C(T)e^{C(T)t}\int _{0}^{t}e^{-C(T)s} {\mathrm{d}}s\\&\qquad \quad +C(T)\left( 1+ \left\| \partial _{x}^3u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\right) e^{C(T)t}\varepsilon \int _{0}^{t}e^{-C(T)s}\left\| \partial _{x}^5u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s\\&\qquad \quad +\left\| \partial _{x}^2u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}e^{C(T)t}\varepsilon \int _{0}^{t}e^{-C(T)s}\left\| \partial _{x}^5u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s\\&\qquad \le C(T)\left( 1+\left\| \partial _{x}^4u_\varepsilon \right\| _{L^{\infty }(0,T;L^2({\mathbb {R}}))}\right) + C(T)\varepsilon \int _{0}^{t}\left\| \partial _{x}^4u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s\\&\qquad \quad +C(T)\left( 1+ \left\| \partial _{x}^3u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}+\left\| \partial _{x}^2u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\right) \varepsilon \int _{0}^{t}\left\| \partial _{x}^5u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s\\&\qquad \le C(T)\left( 1+ \left\| \partial _{x}^3u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}+\left\| \partial _{x}^2u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}+\left\| \partial _{x}^4u_\varepsilon \right\| _{L^{\infty }(0,T;L^2({\mathbb {R}}))}\right) . \end{aligned}$$
Consequently, by (2.34),
$$\begin{aligned} \left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}&+\varepsilon e^{C(T)t}\int _{0}^{t}e^{-C(T)s}\left\| \partial _{x}^7u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s\nonumber \\ \le\,&C(T)\left( 1+\left\| \partial _{x}^3u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}+\left\| \partial _{x}^2u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\right. \nonumber \\&\left. +\left\| \partial _{x}^4u_\varepsilon \right\| _{L^{\infty }(0,T;L^2({\mathbb {R}}))}\right) \nonumber \\&+\frac{8\alpha }{7\gamma }\int _{{\mathbb {R}}}u_\varepsilon (\partial _{x}^3u_\varepsilon )^2 {\mathrm{d}}x+\ell _1\int _{{\mathbb {R}}}(\partial _{x}^2u_\varepsilon )^3 {\mathrm{d}}x\nonumber \\ \le\,&C(T)\left( 1+\left\| \partial _{x}^3u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}+\left\| \partial _{x}^2u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\right. \nonumber \\&\left. +\left\| \partial _{x}^4u_\varepsilon \right\| _{L^{\infty }(0,T;L^2({\mathbb {R}}))}\right) . \end{aligned}$$
(2.35)
Observe that, by (2.3), (2.16) and the Young inequality,
$$\begin{aligned} \left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^2_{L^{\infty }({\mathbb {R}})}\le\,&2 \sqrt{\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^3_{L^2({\mathbb {R}})}}\sqrt{\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}\\ \le\,&C_0\sqrt{\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}\\ \le\,&C_0+C_0\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\\ \le\,&C_0\left( 1+\left\| \partial _{x}^4u_\varepsilon \right\| _{L^{\infty }(0,T;L^2({\mathbb {R}}))}\right) ,\\ \left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| ^2_{L^{\infty }({\mathbb {R}})}\le\,&2\sqrt{\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}\sqrt{\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^3_{L^2({\mathbb {R}})}}\\ \le\,&C(T)\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}\sqrt{\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| _{L^2({\mathbb {R}})}}\\ \le\,&\frac{C(T)}{D_6}\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})} +C(T)D_6\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\ \le\,&\frac{C(T)}{D_6}\left\| \partial _{x}^4u_\varepsilon \right\| ^2_{L^{\infty }(0,T;L^2({\mathbb {R}}))}+C(T)D_6\left\| \partial _{x}^4u_\varepsilon \right\| _{L^{\infty }(0,T;L^2({\mathbb {R}}))}. \end{aligned}$$
where \(D_6\) is a positive constant, which will be specified later. Therefore,
$$\begin{aligned} \left\| \partial _{x}^2u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\le\,&C_0\left( 1+\left\| \partial _{x}^4u_\varepsilon \right\| _{L^{\infty }(0,T;L^2({\mathbb {R}}))}\right) ,\\ \left\| \partial _{x}^3u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\le\,&\frac{C(T)}{D_6}\left\| \partial _{x}^4u_\varepsilon \right\| ^2_{L^{\infty }(0,T;L^2({\mathbb {R}}))}+C(T)D_6\left\| \partial _{x}^4u_\varepsilon \right\| _{L^{\infty }(0,T;L^2({\mathbb {R}}))}. \end{aligned}$$
Consequently, by (2.35),
$$\begin{aligned} \begin{aligned}&\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\varepsilon e^{C(T)t}\int _{0}^{t}e^{-C(T)s}\left\| \partial _{x}^7u_\varepsilon (s,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}{\mathrm{d}}s\\&\qquad \le C(T)\left( 1 +\frac{C(T)}{D_6}\left\| \partial _{x}^4u_\varepsilon \right\| ^2_{L^{\infty }(0,T;L^2({\mathbb {R}}))}+(1+D_6)\left\| \partial _{x}^4u_\varepsilon \right\| _{L^{\infty }(0,T;L^2({\mathbb {R}}))}\right) . \end{aligned} \end{aligned}$$
(2.36)
Hence, by (2.36), we have
$$\begin{aligned} \left( 1-\frac{C(T)}{D_6}\right) \left\| \partial _{x}^4u_\varepsilon \right\| ^2_{L^{\infty }(0,T;L^2({\mathbb {R}}))}-C(T)(1+D_6)\left\| \partial _{x}^4u_\varepsilon \right\| _{L^{\infty }(0,T;L^2({\mathbb {R}}))}-C(T)\le 0. \end{aligned}$$
Choosing
$$\begin{aligned} D_6=\frac{1}{2C(T)}, \end{aligned}$$
(2.37)
we have that
$$\begin{aligned} \frac{1}{2}\left\| \partial _{x}^4u_\varepsilon \right\| ^2_{L^{\infty }(0,T;L^2({\mathbb {R}}))}-C(T)\left\| \partial _{x}^4u_\varepsilon \right\| _{L^{\infty }(0,T;L^2({\mathbb {R}}))}-C(T)\le 0, \end{aligned}$$
which give (2.12).
Finally, (2.13) follows from (2.12), (2.36) and (2.37), while (2.3), (2.13), (2.15), (2.16) and (2.17) give (2.14). \(\square\)
Now, we prove the following lemma.
Lemma 2.6
Fix \(T>0\). Then,
$$\begin{aligned} \{u_\varepsilon \}_{\varepsilon >0} {\text {is compact in}}\, L^2_{loc}((0,\infty )\times {\mathbb {R}}). \end{aligned}$$
(2.38)
Consequently, there exists a subsequence \(\{u_{\varepsilon _k}\}_{k\in {\mathbb {N}}}\) of \(\{u_\varepsilon \}_{\varepsilon >0}\) and \(u\in L^2_{loc}((0,\infty )\times {\mathbb {R}})\) such that, for each compact subset K of \((0,\infty )\times {\mathbb {R}})\),
$$\begin{aligned} u_{\varepsilon _k}\rightarrow u \, {\text {in}}\, L^2(K) {\text { and a.e.}} \end{aligned}$$
(2.39)
Moreover, u is a solution of (1.1) satisfying (1.8).
Proof
To prove (2.38), we rely on the Aubin–Lions lemma (see [3, 6, 7, 21]). We recall that
$$\begin{aligned} H^1_{loc}({\mathbb {R}})\hookrightarrow \hookrightarrow L^2_{loc}({\mathbb {R}})\hookrightarrow H^{-1}_{loc}({\mathbb {R}}), \end{aligned}$$
where the first inclusion is compact and the second one is continuous. Owing to the Aubin–Lions lemma [21], to prove (2.38), it suffices to show that
$$\begin{aligned}&\{u_\varepsilon \}_{\varepsilon >0}\, {\text {is uniformly bounded \, in}} \, {L}^2(0, \,{T}; {H}^1_{ {loc}}({\mathbb {R}})), \end{aligned}$$
(2.40)
$$\begin{aligned}&\{{\partial _t}u_\varepsilon \}_{\varepsilon >0} \,{\text {is uniformly bounded}} \, {\text {in}} \, {L}^2(0, {T}; {H}^{-1}_{ {loc}}({\mathbb {R}})). \end{aligned}$$
(2.41)
We prove (2.40). Thanks to Lemmas 2.1, 2.4 and 2.4,
$$\begin{aligned} \left\| u_\varepsilon (t,\cdot ) \right\| ^2_{H^4({\mathbb {R}})}=\,&\left\| u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\left\| \partial _x u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\left\| \partial _{x}^2u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\\&+\left\| \partial _{x}^3u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}+\left\| \partial _{x}^4u_\varepsilon (t,\cdot ) \right\| ^2_{L^2({\mathbb {R}})}\le C(T). \end{aligned}$$
Therefore,
$$\begin{aligned} \{u_\varepsilon \}_{\varepsilon >0} \, {\text {is uniformly bounded in}} \, {L}^{\infty }(0, {T}; {H}^{4}({\mathbb {R}})), \end{aligned}$$
which gives (2.40).
We prove (2.41). We begin by observing that
$$\begin{aligned} \beta u_\varepsilon \partial _{x}^3u_\varepsilon =\beta \partial _x (u_\varepsilon \partial _{x}^2u_\varepsilon )-\frac{\beta }{2}\partial _x ((\partial _x u_\varepsilon )^2). \end{aligned}$$
Therefore, by (2.1),
$$\begin{aligned} {\partial _t}u_\varepsilon =\partial _x \left( \frac{\beta -\alpha }{2}(\partial _x u_\varepsilon )^2-\beta u_\varepsilon \partial _{x}^2u_\varepsilon -\gamma \partial _{x}^4u_\varepsilon +\varepsilon \partial _{x}^5u_\varepsilon \right) . \end{aligned}$$
(2.42)
We have that
$$\begin{aligned} \frac{(\beta -\alpha )^2}{4}\left\| \partial _x u_\varepsilon \right\| ^4_{L^4((0,T)\times {\mathbb {R}})}\le C(T). \end{aligned}$$
(2.43)
Thanks to Lemma 2.5,
$$\begin{aligned} \frac{(\beta -\alpha )^2}{4}\int _{0}^{T}\!\!\!\int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^4 {\mathrm{d}}t{\mathrm{d}}x\le\,&\frac{(\beta -\alpha )^2}{4}\left\| \partial _x u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\int _{0}^{T}\!\!\!\int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2 {\mathrm{d}}t{\mathrm{d}}x\\ \le\,&C(T)\int _{0}^{T}\!\!\!\int _{{\mathbb {R}}}(\partial _x u_\varepsilon )^2 {\mathrm{d}}t{\mathrm{d}}x\le C(T). \end{aligned}$$
We claim that
$$\begin{aligned} \beta ^2\left\| u_\varepsilon \partial _{x}^2u_\varepsilon \right\| ^2_{L^2((0,T)\times {\mathbb {R}})}\le C(T). \end{aligned}$$
(2.44)
Thanks to (2.3) and (2.5),
$$\begin{aligned} \beta ^2\int _{0}^{T}\!\!\!\int _{{\mathbb {R}}}u_\varepsilon ^2(\partial _{x}^2u_\varepsilon )^2 {\mathrm{d}}t{\mathrm{d}}x\le\,&\beta ^2\left\| u_\varepsilon \right\| ^2_{L^{\infty }((0,T)\times {\mathbb {R}})}\int _{0}^{T}\!\!\!\int _{{\mathbb {R}}}(\partial _{x}^2u_\varepsilon )^2 {\mathrm{d}}t{\mathrm{d}}x\\ \le\,&C(T)\int _{0}^{T}\!\!\!\int _{{\mathbb {R}}}(\partial _{x}^2u_\varepsilon )^2 {\mathrm{d}}t{\mathrm{d}}x\le C(T). \end{aligned}$$
Moreover, since \(0<\varepsilon <1\), by Lemmas 2.3 and 2.4,
$$\begin{aligned} \gamma ^2\left\| \partial _{x}^4u_\varepsilon \right\| ^2_{L^2((0,T)\times {\mathbb {R}})},\, \varepsilon ^2\left\| \partial _{x}^5u_\varepsilon \right\| ^2_{L^2((0,T)\times {\mathbb {R}})}\le C(T). \end{aligned}$$
(2.45)
Therefore, by (2.43), (2.44) and (2.45),
$$\begin{aligned}&\left\{ \frac{\beta -\alpha }{2}(\partial _x u_\varepsilon )^2-\beta u_\varepsilon \partial _{x}^2u_\varepsilon -\gamma \partial _{x}^4u_\varepsilon +\varepsilon \partial _{x}^5u_\varepsilon \right\} _{\varepsilon >0} \\&\quad {\text { is bounded in}}\, \ L^2((0,T)\times {\mathbb {R}}). \end{aligned}$$
Thanks to the Aubin–Lions lemma, (2.38) and (2.39) hold.
Consequently, u is solution of (1.1) and (1.8) holds. \(\square\)
Proof of Theorem 1.1
Lemma (2.6) says that there exists a solution u of (1.1) such that (1.8) holds. Since \(H^2({\mathbb {R}})\subset H^4({\mathbb {R}})\), thanks to [19, Theorem 2.2], u is unique. \(\square\)