Skip to main content

Advertisement

Boundary linear stabilization of the modified generalized Korteweg–de Vries–Burgers equation

Article metrics

  • 115 Accesses

Abstract

The linear stabilization problem of the modified generalized Korteweg–de Vries–Burgers equation (MGKdVB) is considered when the spatial variable lies in \([0,1]\). First, the existence and uniqueness of global solutions are proved. Next, the exponential stability of the equation is established in \(L^{2} (0,1)\). Then, a linear adaptive boundary control is put forward. Finally, numerical simulations for both non-adaptive and adaptive problems are provided to illustrate the analytical outcomes.

Introduction

This paper deals with the well-posedness and exponential stability of the modified generalized Korteweg–de Vries–Burgers (MGKdVB) equation

$$ u_{t}+ \gamma _{1}u^{ \alpha }u_{x}- \sigma u_{xx}+ \mu u_{xxx}+ \gamma _{2}u_{xxxx}=0, \quad x \in ( 0,1 ) , t > 0, $$
(1.1)

with the following boundary and initial conditions:

$$ \textstyle\begin{cases} u (0,t) =u (1,t) =u_{xx} (0,t) =0, & t >0, \\ u_{xx} (1,t)={\mathcal{F}}(t), &t>0, \\ u ( x,0 ) =u_{0} ( x ) , & x \in ( 0,1 ) , \end{cases} $$
(1.2)

where \(\gamma _{1}\), \(\gamma _{2}\), σ, and μ are positive physical parameters, whereas α is a positive integer. Furthermore, \({\mathcal{F}}(t) \) is the linear boundary control to be proposed so that the solutions of the system exponentially decay.

The MGKdVB equation has been extensively studied in literature but in some very special cases of the physical parameters. Indeed, when \(\alpha =\gamma _{1}=1\), \(\mu =0\), and \(\sigma <0 \) in (1.1), the MGKdVB equation becomes the Kuramoto–Sivashinsky (KS) equation which was derived by Sivashinsky [33] and Kuramoto [23] with the purpose of describing the thermo-diffusive instability in flame fronts. Due to its crucial physical aspects, numerous research investigations were devoted to studying this equation. For instance, many scientists have considered the existence and uniqueness of global solutions to the Cauchy problem related to this equation [6, 18, 19, 24, 40]. Moreover, He et al. [20] considered the KS equation when the boundary conditions are periodic and proved the stability of this equation. In [14], the authors proved that the mixed problem for the KS equation is globally well-posed in a bounded domain with moving boundaries. They also proved the exponential decay of the solutions with \(L^{2}\)-norm. In [24], the author considered the generalized Kuramoto-Sivashinsky equation (i.e., when \(\alpha =\gamma _{1}=1\), \(\mu >0\), and \(\gamma _{2}=-\sigma >0 \) in (1.1)). He proved the well-posedness of the problem and the exponential decay of the solution provided that σ and the norm of the initial conditions are sufficiently small.

In case \(\sigma =0\), \(\gamma _{2}=0 \), \(\gamma _{1}=1 \), and \(\alpha =1 \), (1.1) reduces to the well-known Korteweg and de Vries (KdV) equation which was derived by Korteweg and de Vries to describe the dynamics of water waves [29]. The KdV equation was also used to describe many phenomena such as modeling waves in a rotating atmosphere or ion-acoustic waves in plasma [15]. Many scientists paid a lot of attention to the well-posedness of this equation [9, 11, 21]. In fact, Bona et al. [9] studied the global well-posedness of the KdV equation in appropriate functional spaces, and Hublov [21] studied the solvability of the KdV equation with dissipation in a bounded domain. Also, the well-posedness of the mixed problem for the KdV equation when \(x>0\) and \(t \in (0,t)\) was discussed by Bui [11]. The main idea of the proof is based on the approximation of the KdV equation by the KS type equations.

On the other hand, setting \(\alpha =\gamma _{1}=1 \) and \(\mu =\gamma _{2}=0\) in (1.1), the MGKdVB equation becomes Burgers equation. This equation was first derived by Burgers [12] in 1948 as a prototype model for turbulent liquid flow. Due to its importance in describing many real life phenomena, many scientists have studied this equation [3,4,5, 16, 22, 32, 34,35,36].

Furthermore, when \(\alpha =\gamma _{1}=1\) and \(\gamma _{2}=0\), the MGKdVB equation reduces to the Korteweg–de Vries–Burgers (KdVB) equation. Many researchers used the KdVB equation to describe several phenomena [2, 7, 8].

In turn, if \(\gamma _{1}=1\) and \(\gamma _{2}=0\) in (1.1), the MGKdVB equation becomes the generalized Korteweg–de Vries–Burgers (GKdVB) equation. This equation is useful in modeling many physical phenomena such as the unidirectional propagation of planar waves [1]. It also models longitudinal deformations in nonlinear elastic rod [26]. The non-adaptive and adaptive control problems of this equation were studied in [37] and [38, 39].

In this article, we suggest the following linear boundary control:

$$ {\mathcal{F}}(t) =-\frac{ \mu }{ \gamma _{2}} u_{x} (1,t) , \quad t>0. $$
(1.3)

Up to our knowledge, the well-posedness and stability of the of modified generalized Korteweg–de Vries–Burgers (MGKdVB) equation (1.1) have not been discussed in the literature. Thus, the principal objective of this paper is two-fold: First, to investigate the problem of existence and uniqueness of solutions to (1.1)–(1.3) as well as their long-time behavior. The main ingredient of the proof is the utilization of Faedo–Galerkin method. It is worth mentioning that this method has been used for many nonlinear equations (see [14, 17, 24, 27, 30, 31]). Secondly, the linear adaptive boundary control law of the dynamics of equation (1.1) is presented.

The remainder of the paper is organized as follows: In Sect. 2, notations and preliminaries are presented. Some a priori estimates will be proved in order to guarantee the existence and uniqueness of solutions in Sect. 3. Then, Sect. 4 is devoted to showing the exponential stability of the MGKdVB equation subject to the non-adaptive linear boundary control (1.3). Section 5 presents a linear adaptive boundary control law for the MGKdVB equation when both of \(\gamma _{2} \) and μ are unknown. Section 6 shows the numerical simulations that illustrate the theoretical results. Lastly, concluding remarks are given in Sect. 7.

Notations and preliminaries

In this section, we provide notations to be used throughout the paper.

Let \(L^{2} ( 0,1 ) \) be the Hilbert space endowed with its usual inner product. In our case,

$$ \langle u, v \rangle (t) = \int _{0}^{1}u (x,t) v (x,t)\,dx, \quad \text{and} \quad \bigl\Vert u (t) \bigr\Vert ^{2}= \langle u,u \rangle (t) . $$

In turn, \(\Vert u \Vert ^{2}= \Vert u \Vert _{L^{2} ( Q ) }^{2} \), where \(Q= ( 0,1 ) \times (0,t) \). For convenience, we shall often denote by \(\partial _{x}^{n}\) the differential operator \(\frac{\partial ^{n}}{\partial x^{n}}\). Moreover, consider the Sobolev space (see [25] for more details)

$$ H^{n} (0,1)= \bigl\{ {u }: (0,1) \rightarrow \mathbb{R}; \partial _{x}^{n} u \in L^{2} (0,1), \text{for } n \in \mathbb{N} \bigr\} $$

equipped with the usual norm

$$ \Vert u \Vert _{H^{n} (0,1)} = \sum_{i=0}^{i=n} \bigl\Vert \partial _{x}^{i} u \bigr\Vert _{L^{2} (0,1)}. $$

Thereafter, as in Larkin [24], we have the following result.

Lemma 1

Let \(\mu , \gamma _{2} >0 \) and consider the following eigenvalue problem:

$$\begin{aligned}& \gamma _{2}\partial _{x}^{4}\varphi _{j}= \mu _{j}\varphi _{j}, \\& \varphi _{j} ( 0 ) =\varphi _{j} ( 1 ) = \varphi _{jxx} ( 0 ) =\varphi _{jxx} ( 1 ) +\frac{ \mu }{ \gamma _{2}} \varphi _{jx} ( 1 ) =0, \end{aligned}$$

where \(\mu _{j} \in \mathbb{C}\) is the eigenvalue and \(\varphi _{j} \in H^{4}(0,1)\) is the corresponding eigenfunction for each \(j \in \mathbb{N}\). Then \(\mu _{j} >0\) for each \(j \in \mathbb{N}\) and the eigenfunctions \(\{ \varphi _{j} \}_{j} \in \mathbb{N} \) form a basis in \(H^{4} ( 0,1 )\). Moreover, \(\{ \varphi _{j} \} \) is an orthonormal set in \(L^{2} ( 0,1 ) \).

Proof

Consider the operator \(\partial _{x}^{4}\) in \(H^{4} ( 0,1 )\) such that the boundary conditions of Lemma 1 hold. Then, let \(u, \varphi \in H^{4} ( 0,1 ) \) that satisfy the boundary conditions of Lemma 1. Integrating by parts, we have

$$\begin{aligned} \bigl\langle \partial _{x}^{4} u, \varphi \bigr\rangle = & \int _{0}^{1}u_{xxxx} \varphi \,dx = [u_{xxx} \varphi -u_{xx}\varphi _{x} + u_{x} \varphi _{xx}-u \varphi _{xxx} ] _{0}^{1} + \int _{0}^{1}u \varphi _{xxxx}\,dx = \bigl\langle u,\partial _{x}^{4} \varphi \bigr\rangle . \end{aligned}$$

Hence, the above operator is self-adjoint. We also have

$$ \gamma _{2} \bigl\langle \partial _{x}^{4}u,u \bigr\rangle = \mu u_{x}^{2} ( 1 ) + \gamma _{2} \bigl\Vert \partial _{x}^{2}u \bigr\Vert ^{2}. $$

Whereupon, the operator is also positive, and the claims of the lemma are a direct consequence of the results in p. 78 of [28]. □

Existence and uniqueness of solutions to system (1.1)–(1.3)

The ultimate outcome of this section is to show the existence of solutions to (1.1)–(1.3). To do so, we will use the so-called Faedo–Galerkin method and some a priori estimates (see [24] for a similar situation).

Recall that α is a positive integer, whereas μ, σ, and \(\gamma _{2} \) are positive real parameters. Then we have the following result.

Theorem 1

Let \(u_{0} \in H^{4} ( 0,1 ) \cap H_{0}^{1} ( 0,1 ) \) such that

$$ u_{0xx} ( 0 ) =u_{0xx} ( 1 ) + \frac{ \mu }{ \gamma _{2}} u_{0x} ( 1 ) =0. $$

Then there exists a unique solution to (1.1)(1.3) satisfying, for any \(T>0\),

$$\begin{aligned}& u \in L^{\infty } \bigl( 0,T; H_{0}^{1} ( 0,1 ) \cap H ^{4} ( 0,1 ) \bigr) \cap C \bigl( 0,T; H_{0}^{1} ( 0,1 ) \cap H^{2} ( 0,1 ) \bigr), \\& u_{t} \in L^{2} \bigl( 0,T; H_{0}^{1} ( 0,1 ) \cap H ^{4} ( 0,1 ) \bigr) \cap L^{\infty } \bigl( 0,T;L^{2} ( 0,1 ) \bigr). \end{aligned}$$

Proof

First of all, let

$$ {\mathcal{P}} u:=u_{t}+ \gamma _{1}u^{ \alpha }u_{x}- \sigma u_{xx}+ \mu u_{xxx}+ \gamma _{2}u_{xxxx}=0, $$
(3.1)

and define as in [14, 24] approximate solutions \(u^{k}\) to (1.1)–(1.3)

$$ u^{k} (x,t) = \sum_{j=1}^{k}f_{j}^{k} (t) \varphi _{j} ( x ), $$

where \(\varphi _{j} ( x ) \) are given in Lemma 1 and \(f_{j}^{k} (t) \) are solutions to the initial-value problem, which consists of the system of k ordinary differential equations:

$$\begin{aligned}& \bigl\langle {\mathcal{P}} u^{k},\varphi _{j} \bigr\rangle (t) = \bigl\langle u _{t}^{k},\varphi _{j} \bigr\rangle (t) + \gamma _{1} \bigl\langle \bigl( u^{k} \bigr) ^{ \alpha }u_{x}^{k}, \varphi _{j} \bigr\rangle (t) + \mu \bigl\langle \partial _{x}^{3}u^{k},\varphi _{j} \bigr\rangle (t)- \sigma \bigl\langle u_{xx} ^{k},\varphi _{j} \bigr\rangle (t) \\& \hphantom{\bigl\langle {\mathcal{P}} u^{k},\varphi _{j} \bigr\rangle (t) =}{} + \gamma _{2} \bigl\langle \partial _{x}^{4}u^{k}, \varphi _{j} \bigr\rangle (t) =0, \end{aligned}$$
(3.2)
$$\begin{aligned}& f_{j}^{k} ( 0 ) = \langle u_{0},\varphi _{j} \rangle , \quad j=1, \ldots , k. \end{aligned}$$
(3.3)

One can view the system (3.2)–(3.3) as a system of k nonlinear ordinary differential equations satisfying the existence result stated in Sect. 1.5 of [13], and hence there exist k differentiable solutions \(f_{j}^{k} (t)\), for \(j=1,2, \ldots, k\), of the system (3.2)–(3.3) on an interval \(( 0,T^{k} )\) for some \(T^{k}>0\) [13]. It remains to extend those solutions to any interval \((0,T) \) and pass to the limit as \(k \rightarrow +\infty \). To do so, a number of a priori estimates must be established.

A priori Estimate 1:

Let us first replace \(\varphi _{j} \) by \(2u^{k} \) in (3.2), which is possible since \(u^{k} \in H^{4} (0,1)\) is a solution of (1.1)–(1.3). Then, integrating by parts and using boundary conditions (1.2)–(1.3), it follows that

$$\begin{aligned} \frac{d}{dt } \bigl\Vert u^{k} (t) \bigr\Vert ^{2}+ \mu \bigl( u_{x}^{k} \bigr) ^{2} (0,t) + \mu \bigl( u_{x}^{k} \bigr) ^{2} (1,t) +2 \gamma _{2} \bigl\Vert u_{xx}^{k} (t) \bigr\Vert ^{2} +2\sigma \bigl\Vert u_{x}^{k} (t) \bigr\Vert ^{2}=0. \end{aligned}$$
(3.4)

Clearly, (3.4) yields

$$ \frac{d}{dt } \bigl\Vert u^{k} (t) \bigr\Vert ^{2}+ \mu \bigl( u_{x}^{k} \bigr) ^{2} (0,t) + \gamma _{2} \bigl\Vert u_{xx}^{k} (t) \bigr\Vert ^{2} \leq 0, $$

and hence

$$\begin{aligned} \bigl\Vert u^{k} (t) \bigr\Vert ^{2}+ \mu \int _{0}^{t} \bigl( u_{x}^{k} \bigr) ^{2} ( 0,s )\,ds+ \gamma _{2} \int _{0}^{t} \bigl\Vert u_{xx} ^{k} ( s ) \bigr\Vert ^{2}\,ds \leq C \Vert u_{0} \Vert ^{2}. \end{aligned}$$
(3.5)

Here and in the sequel, we shall use for convenience the same letter C to represent a positive constant which is independent of t and k.

A priori Estimate 2:

Substituting \(\varphi _{j} \) by \(\partial _{x}^{4}u^{k} \) in (3.2) as \(u^{k} \in H ^{4} (0,1)\) is a solution of (1.1)–(1.3), we obtain

$$ \sum_{i=1}^{i=5} I_{i} , $$
(3.6)

where

$$\begin{aligned}& I_{1}= \bigl\langle u_{t}^{k},\partial _{x}^{4}u^{k} \bigr\rangle (t) ,\qquad I_{2}= \mu \bigl\langle \partial _{x}^{3}u^{k}, \partial _{x}^{4}u^{k} \bigr\rangle (t) , \qquad I_{3}= \gamma _{1} \bigl\langle \bigl( u^{k} \bigr) ^{ \alpha }u_{x}^{k}, \partial _{x}^{4}u^{k} \bigr\rangle (t), \\& I_{4}=-\sigma \bigl\langle \partial _{x}^{2}u^{k}, \partial _{x}^{4}u^{k} \bigr\rangle (t), \quad \text{and} \quad I_{5}= \gamma _{2} \bigl\langle \partial _{x}^{4}u^{k},\partial _{x}^{4}u^{k} \bigr\rangle (t) = \gamma _{2} \bigl\Vert \partial _{x}^{4}u^{k} (t) \bigr\Vert ^{2}. \end{aligned}$$

The immediate task is to estimate \(I_{i}\) for \(i=1,\ldots, 4\).

Integrating by parts and owing the boundary conditions in (1.1), we obtain

$$\begin{aligned} I_{1} = \bigl\langle u_{t}^{k},\partial _{x}^{4}u^{k} \bigr\rangle (t) = -u_{tx} ^{k} (1,t) u_{xx}^{k} (1,t) +\frac{1}{2} \int _{0}^{1}\frac{ \partial }{ \partial t} \bigl( u_{xx}^{k} \bigr) ^{2}\,dx. \end{aligned}$$

Since \(-\frac{ \gamma _{2}}{ \mu }u_{xx}^{k} (1,t) =u_{x}^{k} (1,t)\) (see (1.3)), we get

$$ I_{1}= \frac{ \gamma _{2}}{ \mu }u_{txx}^{k} (1,t) u_{xx}^{k} (1,t) + \frac{1}{2} \frac{d}{dt} \bigl\Vert u_{xx}^{k} \bigr\Vert ^{2}. $$

Therefore, \(I_{1} \) simplifies to

$$\begin{aligned} I_{1} =& \frac{1}{2}\frac{d}{dt} \biggl( \frac{ \gamma _{2}}{ \mu } \bigl[ \partial _{x}^{2}u^{k} (1,t) \bigr] ^{2}+ \bigl\Vert \partial _{x} ^{2}u^{k} \bigr\Vert ^{2} \biggr). \end{aligned}$$

Concerning \(I_{2}\), we have

$$\begin{aligned} I_{2} = \mu \bigl\langle \partial _{x}^{3}u^{k}, \partial _{x}^{4}u^{k} \bigr\rangle (t) = \int _{0}^{1}\frac{2 \mu }{\sqrt{ \gamma _{2}}}u_{xxx}^{k} \frac{\sqrt{ \gamma _{2}}}{2}u_{xxxx}^{k}\,dx. \end{aligned}$$

By using the following version of Young’s inequality:

$$ ab \geq \frac{-a^{2}}{4}-b^{2}, $$
(3.7)

with \(a=\frac{\sqrt{ \gamma _{2}}}{2}u_{xxxx}^{k} \) and \(b=\frac{2 \mu }{\sqrt{ \gamma _{2}}}u_{xxx}^{k} \), we can estimate \(I_{2} \) as follows:

$$\begin{aligned} I_{2} \geq -\frac{ \gamma _{2}}{16} \bigl\Vert \partial _{x}^{4}u^{k} (t) \bigr\Vert ^{2}-\frac{4 \mu ^{2}}{ \gamma _{2}} \bigl\Vert \partial _{x}^{3}u^{k} (t) \bigr\Vert ^{2}. \end{aligned}$$

Exploiting the interpolation inequality (see, for instance, p. 233 in [10]) on the last term of the previous inequality, we get

$$ I_{2} \geq -\frac{ \gamma _{2}}{16} \bigl\Vert \partial _{x}^{4}u^{k} (t) \bigr\Vert ^{2}-\frac{4 \mu ^{2}}{ \gamma _{2}} \bigl( \epsilon \bigl\Vert \partial _{x}^{4}u^{k} (t) \bigr\Vert ^{2}+C ( \epsilon ) \bigl\Vert u^{k} (t) \bigr\Vert ^{2} \bigr) , $$

in which ϵ is an arbitrary positive number. Thereby, choosing \(\epsilon =\frac{ \gamma _{2 }^{2}}{64 \mu ^{2} } \) yields

$$ I_{2} \geq -\frac{ \gamma _{2}}{8} \bigl\Vert \partial _{x}^{4}u^{k} (t) \bigr\Vert ^{2}-C \bigl\Vert u^{k} (t) \bigr\Vert ^{2}. $$

Next, using Cauchy–Schwarz’s and Poincaré’s inequalities, it follows from \(I_{3}= \gamma _{1} \langle ( u ^{k} ) ^{ \alpha }u_{x}^{k},\partial _{x}^{4}u^{k} \rangle (t)\) that

$$ I_{3} \geq - \gamma _{1 } \bigl\Vert u_{x}^{k} \bigr\Vert ^{2} \bigl\Vert u^{k} \bigr\Vert ^{ \alpha -1} \bigl\Vert \partial _{x}^{4}u^{k} (t) \bigr\Vert . $$

Invoking the interpolation inequality \(\Vert u_{x}^{k} \Vert ^{2} \leq K \Vert u^{k} \Vert \Vert u_{xx}^{k} \Vert \), where K is a positive constant [10], we get

$$ I_{3} \geq \biggl( K \frac{- \gamma _{1}\sqrt{2}}{\sqrt{ \gamma _{2}}} \bigl\Vert u^{k} \bigr\Vert ^{ \alpha } \bigl\Vert u_{xx}^{k} \bigr\Vert \biggr) \frac{\sqrt{ \gamma _{2}}}{\sqrt{2}} \bigl\Vert \partial _{x}^{4}u^{k} (t) \bigr\Vert . $$

Then, using once again Young’s inequality (3.7) and (3.5), we deduce that

$$ I_{3} \geq -\frac{ \gamma _{2}}{8} \bigl\Vert \partial _{x}^{4}u^{k} (t) \bigr\Vert ^{2}-C \bigl\Vert \partial _{x}^{2}u^{k} (t) \bigr\Vert ^{2} $$

for \(C>0 \).

Analogously, arguing as before, the term \(I_{4}=-\sigma \langle \partial _{x}^{2}u^{k},\partial _{x}^{4}u^{k} \rangle (t) \) gives

$$ I_{4} \geq -\frac{ \gamma _{2}}{8} \bigl\Vert \partial _{x}^{4}u^{k} (t) \bigr\Vert ^{2}-\frac{2\sigma ^{2}}{ \gamma _{2}} \bigl\Vert \partial _{x}^{2}u^{k} (t) \bigr\Vert ^{2}. $$

Now substituting \(I_{1}\)\(I_{5}\) into (3.6), we obtain

$$\begin{aligned}& \frac{1}{2}\frac{d}{dt} \biggl( \frac{ \gamma _{2}}{ \mu } \bigl[ \partial _{x}^{2}u^{k} (1,t) \bigr] ^{2}+ \bigl\Vert \partial _{x}^{2}u ^{k} \bigr\Vert ^{2} \biggr) +\frac{5 \gamma _{2}}{8} \bigl\Vert \partial _{x} ^{4}u^{k} (t) \bigr\Vert ^{2} \\& \quad \leq \biggl( C+\frac{5 \gamma _{2}}{8} \biggr) \bigl\Vert \partial _{x}^{2}u^{k} (t) \bigr\Vert ^{2} +C \bigl\Vert u^{k} (t) \bigr\Vert ^{2}. \end{aligned}$$

Taking into account Estimate 1 (see (3.5)) and exploiting Gronwall–Bellman’s inequality, the last inequality gives

$$\begin{aligned}& \bigl\Vert \partial _{x}^{2}u^{k} (t) \bigr\Vert ^{2}+\frac{ \gamma _{2}}{ \mu } \bigl\vert \partial _{x}^{2}u^{k} (1,t) \bigr\vert ^{2}+\frac{5 \gamma _{2}}{4} \int _{0}^{t} \bigl\Vert \partial _{x}^{4}u^{k} ( s ) \bigr\Vert ^{2}\,ds \\& \quad \leq C \biggl[ \frac{ \gamma _{2}}{ \mu } \bigl\vert u_{0xx} ( 1 ) \bigr\vert ^{2}+ \Vert u_{0} \Vert _{H^{2} ( 0,1 ) } ^{2} \biggr] , \end{aligned}$$
(3.8)

where \(C>0 \).

A priori Estimate 3:

As in [24], putting \(t=0 \) and \(\varphi _{j}=u_{t}^{k} ( 0 ) \) in (3.2) since \(u^{k} \in H^{4} (0,1)\) is a solution of (1.1)–(1.3), we obtain

$$ \bigl\Vert u_{t}^{k} ( 0 ) \bigr\Vert ^{2}+ \bigl\langle \mu u_{xxx}^{k}+ \gamma _{2}u_{xxxx}^{k}-\sigma u_{xx}^{k}+ \gamma _{1} \bigl( u^{k} \bigr) ^{ \alpha }u_{x}^{k} , u_{t}^{k} \bigr\rangle ( 0 ) =0, $$

which together with the triangle inequality and Estimate 1 (see (3.5)) imply that

$$ \bigl\Vert u_{t}^{k} ( 0 ) \bigr\Vert \leq C \Vert u_{0} \Vert _{H^{4} ( 0,1 ) \cap H_{0}^{1} ( 0,1 ) }. $$
(3.9)

On the other hand, using (3.5) and (3.8), we get

$$ \max_{t>0 } \bigl\Vert u^{k} (t) \bigr\Vert _{H^{2} ( 0,1 ) } \leq C. $$
(3.10)

Now, let us differentiate (3.2) with respect to t. We obtain

$$\begin{aligned}& \bigl\langle u_{tt}^{k},\varphi _{j} \bigr\rangle (t) + \bigl\langle u_{t}^{k}, \varphi _{jt} \bigr\rangle (t) + \bigl\langle \bigl( \gamma _{1} \bigl( u^{k} \bigr) ^{ \alpha }u_{x}^{k} \bigr) _{t},\varphi _{j} \bigr\rangle (t) + \bigl\langle \gamma _{1} \bigl( u^{k} \bigr) ^{ \alpha }u_{x}^{k}, \varphi _{jt} \bigr\rangle (t) \\& \quad {} + \bigl\langle \mu \partial _{x}^{3}u_{t}^{k}, \varphi _{j} \bigr\rangle (t) + \bigl\langle \mu \partial _{x}^{3}u^{k},\varphi _{jt} \bigr\rangle (t) -\sigma \bigl\langle u_{xxt}^{k},\varphi _{j} \bigr\rangle (t) \\& \quad {} -\sigma \bigl\langle u_{xx}^{k},\varphi _{jt} \bigr\rangle (t) + \gamma _{2} \bigl\langle \partial _{x}^{4}u_{t}^{k}, \varphi _{j} \bigr\rangle (t) + \gamma _{2} \bigl\langle \partial _{x}^{4}u^{k},\varphi _{jt} \bigr\rangle (t) =0. \end{aligned}$$

Substituting for \(\varphi _{j} \) (which depends only on x) by \(2u_{t}^{k} \), we get

$$\begin{aligned}& \bigl\langle u_{tt}^{k},2u_{t}^{k} \bigr\rangle (t) + \gamma _{1} \bigl\langle \bigl( \bigl( u^{k} \bigr) ^{ \alpha }u_{x}^{k} \bigr) _{t},2u _{t}^{k} \bigr\rangle (t) + \mu \bigl\langle \partial _{x}^{3}u_{t}^{k},2u_{t} ^{k} \bigr\rangle (t) -\sigma \bigl\langle u_{xxt}^{k},2u_{t}^{k} \bigr\rangle (t) \\& \quad {} + \gamma _{2} \bigl\langle \partial _{x}^{4}u_{t}^{k},2u_{t}^{k} \bigr\rangle (t) =0. \end{aligned}$$
(3.11)

The first term in (3.11) can be written as

$$ \bigl\langle u_{tt}^{k},2u_{t}^{k} \bigr\rangle (t) = \frac{d}{dt} \bigl\Vert u_{t} ^{k} (t) \bigr\Vert ^{2}. $$

With regards to the second term in (3.11), we simply integrate by parts and use boundary conditions (1.2) to conclude

$$\begin{aligned} \gamma _{1} \bigl\langle \bigl( \bigl( u^{k} \bigr) ^{ \alpha }u_{x} ^{k} \bigr) _{t},2u_{t}^{k} \bigr\rangle (t) = & 2 \gamma _{1} \int _{0}^{1} \bigl( \bigl( u^{k} \bigr) ^{ \alpha } \bigr) _{x} \bigl( u_{t}^{k} \bigr) ^{2}\,dx+2 \gamma _{1} \int _{0}^{1} \bigl( u ^{k} \bigr) ^{ \alpha }u_{xt}^{k}u_{t}^{k} \,dx \\ = & -2 \gamma _{1} \bigl\langle \bigl( u^{k} \bigr) ^{ \alpha }u_{t} ^{k},u_{xt}^{k} \bigr\rangle (t). \end{aligned}$$

Similarly, the last three terms in (3.11) can be expanded as follows:

$$\begin{aligned}& \mu \bigl\langle \partial _{x}^{3}u_{t}^{k},2u_{t}^{k} \bigr\rangle (t) = \mu \bigl( u_{xt}^{k} \bigr) ^{2} (0,t) - \mu \bigl( u_{xt}^{k} \bigr) ^{2} (1,t), \\& -\sigma \bigl\langle u_{xxt}^{k},2u_{t}^{k} \bigr\rangle (t) = 2\sigma \bigl\Vert u_{xt}^{k} (t) \bigr\Vert ^{2}, \\& \gamma _{2} \bigl\langle \partial _{x}^{4}u_{t}^{k},2u_{t}^{k} \bigr\rangle (t) = -\mu \bigl( u_{xt}^{k} \bigr) ^{2} (1,t) +2 \gamma _{2} \bigl\Vert u_{xxt} ^{k} (t) \bigr\Vert ^{2}, \end{aligned}$$

where we took into account the fact that boundary conditions (1.2)–(1.3) are invariant with respect to time-differentiation. Inserting the previous identities in (3.11) yields

$$\begin{aligned}& \frac{d}{dt} \bigl\Vert u_{t}^{k} (t) \bigr\Vert ^{2}-2 \gamma _{1} \bigl\langle \bigl( u^{k} \bigr) ^{ \alpha }u_{t}^{k},u_{xt}^{k} \bigr\rangle (t) + \mu \bigl( u_{xt}^{k} \bigr) ^{2} (0,t) + \mu \bigl( u_{xt}^{k} \bigr) ^{2} (1,t) +2\sigma \bigl\Vert u_{xt}^{k} (t) \bigr\Vert ^{2} \\& \quad {}+2 \gamma _{2} \bigl\Vert u_{xxt}^{k} (t) \bigr\Vert ^{2}=0. \end{aligned}$$
(3.12)

Consequently,

$$ \frac{d}{dt } \bigl\Vert u_{t}^{k} (t) \bigr\Vert ^{2}+ \gamma _{2} \bigl\Vert u_{xxt} ^{k} (t) \bigr\Vert ^{2} \leq \bigl\Vert u_{t}^{k} (t) \bigr\Vert ^{2}+2 \gamma _{1} \bigl\langle \bigl( u^{k} \bigr) ^{ \alpha }u_{t}^{k},u_{xt}^{k} \bigr\rangle (t). $$
(3.13)

A straightforward computation permits to write the last term in (3.13) as follows:

$$\begin{aligned} 2 \gamma _{1} \bigl\langle \bigl( u^{k} \bigr) ^{ \alpha }u_{t}^{k},u _{xt}^{k} \bigr\rangle (t) =& - \gamma _{1} \bigl\langle \bigl( \bigl( u^{k} \bigr) ^{ \alpha } \bigr) _{x}, \bigl( u_{t}^{k} \bigr) ^{2} \bigr\rangle (t). \end{aligned}$$

This together with Cauchy–Schwarz inequality and estimate (3.10) implies that

$$ 2 \gamma _{1} \bigl\langle \bigl( u^{k} \bigr) ^{ \alpha }u_{t}^{k},u _{xt}^{k} \bigr\rangle (t) \leq C \bigl\Vert u_{t}^{k} (t) \bigr\Vert ^{2} , $$

where \(C>0 \) is independent of t and N. Whereupon, (3.13) gives

$$ \frac{d}{dt } \bigl\Vert u_{t}^{k} (t) \bigr\Vert ^{2}+ \gamma _{2} \bigl\Vert u_{xxt} ^{k} (t) \bigr\Vert ^{2} \leq C \bigl\Vert u_{t}^{k} (t) \bigr\Vert ^{2}, $$
(3.14)

where \(C>0 \).

Integrating (3.14) from 0 to t and using Gronwall–Bellman’s inequality, we get

$$ \bigl\Vert u_{t}^{k} (t) \bigr\Vert ^{2}+ \gamma _{2} \int _{0}^{t} \bigl\Vert u_{xxs} ^{k} ( s ) \bigr\Vert ^{2}\,ds \leq C \bigl\Vert u_{t}^{k} ( 0 ) \bigr\Vert ^{2}, $$

where \(C>0 \).

Referring to (3.9), the previous inequality can be written as

$$ \bigl\Vert u_{t}^{k} (t) \bigr\Vert ^{2}+ \gamma _{2} \int _{0}^{t} \bigl\Vert u_{xxs} ^{k} ( s ) \bigr\Vert ^{2}\,ds \leq C \bigl\Vert u_{t}^{k} ( 0 ) \bigr\Vert \leq C \Vert u_{0} \Vert _{H^{4} ( 0,1 ) \cap H_{0}^{1} ( 0,1 ) }, $$
(3.15)

where \(C>0 \) does not depend on t and k.

Estimates (3.5), (3.8), (3.15) allow us to extend the approximate solution \(u^{k} (x,t) \) for all \(T \in ( 0, \infty ) \) and also \(u(x,t) \) converges as \(N \rightarrow \infty \). Hence, taking the limit in (3.2), we conclude the existence of a global solution u that belongs to the classes stated in our theorem.

The immediate task is to show the uniqueness of solutions. To this end, assume that \(u_{1} \) and \(u_{2} \) are two solutions of system (1.1)–(1.3) and let \(w=u_{1}-u_{2} \). Then w is a solution of the following problem:

$$\begin{aligned}& w_{t}+ \gamma _{1} \bigl( u_{1}^{ \alpha }u_{1x}-u_{2}^{ \alpha }u _{2x} \bigr) -\sigma \partial _{x}^{2} w+ \mu \partial _{x}^{3} w+ \gamma _{2} \partial _{x}^{4} w=0, \end{aligned}$$
(3.16)
$$\begin{aligned}& w ( x,0 ) =0,\quad x \in ( 0,1 ) , \end{aligned}$$
(3.17)
$$\begin{aligned}& w (1,t) =w (0,t) =\partial _{x}^{2} w (0,t) =0, \end{aligned}$$
(3.18)
$$\begin{aligned}& \partial _{x}^{2} w (1,t) =-\frac{ \mu }{ \gamma _{2}}w_{x} (1,t) , \quad t>0. \end{aligned}$$
(3.19)

Taking the inner product of (3.16) with 2w in \(L^{2} ( 0,1 ) \), we get

$$\begin{aligned}& \langle w_{t},2w \rangle (t) + \gamma _{1} \bigl\langle u_{1}^{ \alpha }u _{1x}-u_{2}^{ \alpha }u_{2x}, 2w \bigr\rangle (t) -\sigma \bigl\langle \partial _{x}^{2} w,2w \bigr\rangle (t) + \mu \bigl\langle \partial _{x}^{3} w,2w \bigr\rangle (t) \\& \quad {}+ \gamma _{2} \bigl\langle \partial _{x}^{4} w,2w \bigr\rangle (t) =0. \end{aligned}$$
(3.20)

Integrating by parts and utilizing the boundary conditions (3.18)–(3.19), it follows that

$$\begin{aligned}& \frac{d}{dt } \bigl\Vert w (t) \bigr\Vert ^{2}+ \gamma _{1} \bigl\langle u_{1}^{ \alpha }u_{1x}-u_{2}^{ \alpha }u_{2x} ,2w \bigr\rangle (t) + \mu ( w _{x} ) ^{2} (0,t) + \mu ( w_{x} ) ^{2} (1,t) \\& \quad {}+ 2 \gamma _{2} \bigl\Vert w_{xx} (t) \bigr\Vert ^{2}+2\sigma \bigl\Vert w_{x} (t) \bigr\Vert ^{2}=0, \end{aligned}$$
(3.21)

which gives

$$\begin{aligned} \frac{d}{dt } \bigl\Vert w (t) \bigr\Vert ^{2}+2\sigma \bigl\Vert w_{x} (t) \bigr\Vert ^{2} \leq & - \gamma _{1} \bigl\langle u_{1}^{ \alpha }u_{1x}-u_{2}^{ \alpha }u _{2x} ,2w \bigr\rangle (t). \end{aligned}$$
(3.22)

To estimate the right-hand side of inequality (3.22), we proceed as follows:

$$\begin{aligned} \gamma _{1} \bigl\langle u_{1}^{ \alpha }u_{1x}-u_{2}^{ \alpha }u_{2x} ,2w \bigr\rangle (t) =& \frac{2 \gamma _{1}}{ \alpha +1} \bigl\langle \bigl[ u _{1}^{ \alpha +1 }-u_{2}^{ \alpha +1} \bigr] _{x} , w \bigr\rangle (t) \\ = & \frac{2 \gamma _{1}}{ \alpha +1} \bigl\langle \bigl[ u_{1}^{ \alpha +1 }-u_{2}^{ \alpha +1} \bigr] , w_{x} \bigr\rangle (t) \\ = & \frac{2 \gamma _{1}}{ \alpha +1} \bigl\langle w \bigl( u_{1}^{ \alpha }+u_{1}^{ \alpha -1}u_{2}+ \cdots +u_{1}u_{2}^{ \alpha -1}+u _{2}^{ \alpha } \bigr) , w_{x} \bigr\rangle (t) . \end{aligned}$$
(3.23)

Utilizing Cauchy–Schwarz’s inequality, we have

$$\begin{aligned} \bigl\vert \gamma _{1} \bigl\langle u_{1}^{ \alpha }u_{1x}-u_{2}^{ \alpha }u_{2x} ,2w \bigr\rangle (t) \bigr\vert \leq & \frac{2 \gamma _{1}}{ \alpha +1} \bigl\Vert w (t) \bigr\Vert K \bigl\Vert w_{x} (t) \bigr\Vert \\ \leq & \frac{ \gamma _{1}K}{ \alpha +1} 2 \biggl( \frac{ \Vert w (t) \Vert }{\sqrt{ \delta }} \sqrt{ \delta } \bigl\Vert w_{x} (t) \bigr\Vert \biggr) , \end{aligned}$$
(3.24)

where \(K= \|u_{1}\|_{\infty }^{ \alpha }+\|u_{1}\|_{\infty }^{ \alpha -1} \|u_{2}\|_{\infty }+ \cdots +\|u_{1}\|_{\infty } \|u_{2}\|_{ \infty }^{ \alpha -1}+\|u_{2}\|_{\infty }^{ \alpha } \) and \(\|f\|_{ \infty }= \|f\|_{C ([0,T]; L^{2} (0,1) )}\). Utilizing Young’s inequality, (3.24) yields

$$ \bigl\vert \gamma _{1} \bigl\langle u_{1}^{ \alpha }u_{1x}-u_{2}^{ \alpha }u_{2x} ,2w \bigr\rangle (t) \bigr\vert \leq \frac{ \gamma _{1}K}{ \alpha +1} \biggl( \frac{ \Vert w (t) \Vert ^{2}}{ \delta }+ \delta \bigl\Vert w_{x} (t) \bigr\Vert ^{2} \biggr) . $$
(3.25)

Inserting (3.25) in (3.22), we obtain

$$ \frac{d}{dt} \bigl\Vert w (x,t) \bigr\Vert ^{2} \leq \frac{ \gamma _{1}K}{ ( \alpha +1 ) \delta } \bigl\Vert w (t) \bigr\Vert ^{2}+ \biggl( \frac{ \gamma _{1}K}{ \alpha +1} \delta -2\sigma \biggr) \bigl\Vert w_{x} (t) \bigr\Vert ^{2}. $$
(3.26)

Choosing \(\delta =\frac{2\sigma ( \alpha +1 ) }{ \gamma _{1}K} \), we get

$$ \frac{d}{dt} \bigl\Vert w (x,t) \bigr\Vert ^{2} \leq \frac{ ( \gamma _{1}K ) ^{2}}{2\sigma ( \alpha +1 ) ^{2}} \bigl\Vert w (t) \bigr\Vert ^{2}. $$
(3.27)

Lastly, using Gronwall–Bellman’s inequality and noting that \(w ( 0 ) =0 \), we conclude that \(w =u_{1}-u_{2}=0 \), and thus \(u_{1}=u_{2} \). This proves the desired uniqueness result. □

Stability of system (1.1)–(1.3)

This section is concerned with the long-time behavior of solutions to system (1.1)–(1.3). Indeed, we have the following result.

Theorem 2

Assume that α is a positive integer, while μ, σ, and \(\gamma _{2} \) are positive real parameters. Given an initial condition \(u_{0} \in H^{4} ( 0,1 ) \cap H_{0}^{1} ( 0,1 ) \) and subject to boundary conditions (1.2)(1.3), the corresponding solution of MGKdVB equation (1.1) is globally exponentially stable in \(L^{2} ( 0,1 )\).

Proof

Taking the inner product in \(L^{2} ( 0,1 ) \) of (1.1) with 2u, we get

$$\begin{aligned}& 2 \int _{0}^{1}u (x,t) u_{t} (x,t) \,dx-2\sigma \int _{0}^{1}u (x,t) u _{xx} (x,t) \,dx+2 \mu \int _{0}^{1}u (x,t) u_{xxx} (x,t) \,dx \\& \quad {}+ 2 \gamma _{1} \int _{0}^{1}u (x,t) u^{ \alpha } (x,t) u_{x} (x,t)\,dx+2 \gamma _{2} \int _{0}^{1}u (x,t) u_{xxxx} (x,t) \,dx=0. \end{aligned}$$
(4.1)

Integrating by parts each term in (4.1) and using boundary conditions (1.2)–(1.3), we get

$$ \frac{d}{dt } \bigl\Vert u (t) \bigr\Vert ^{2}+ \mu u_{x}^{2} (0,t) + \mu u _{x}^{2} (1,t) +2 \gamma _{2} \bigl\Vert u_{xx} (t) \bigr\Vert ^{2}+2\sigma \bigl\Vert u_{x} (t) \bigr\Vert ^{2}=0. $$
(4.2)

Thereby

$$ \frac{d}{dt } \bigl\Vert u (t) \bigr\Vert ^{2}+2\sigma \bigl\Vert u_{x} (t) \bigr\Vert ^{2} \leq 0, $$

which by means of Poincaré’s inequality leads to

$$ \frac{d}{dt} \bigl\Vert u (x,t) \bigr\Vert ^{2} \leq -2 \sigma \bigl\Vert u (x,t) \bigr\Vert ^{2}. $$

Integrating the latter, we obtain

$$ \bigl\Vert u (x,t) \bigr\Vert \leq e^{-\sigma t} \bigl\Vert u_{0} ( x ) \bigr\Vert , $$
(4.3)

and hence the solution of (1.1)–(1.3) is exponentially stable. □

Linear adaptive boundary control law for MGKdVB equation (1.1)

In this section, we present a linear adaptive boundary control law for MGKdVB equation (1.1), subject to the same boundary conditions as in (1.2), that is,

$$\begin{aligned}& u (1,t) =u (0,t) =u_{xx} (0,t) =0, \end{aligned}$$
(5.1)
$$\begin{aligned}& u_{xx} (1,t) ={\mathcal{M}}(t), \end{aligned}$$
(5.2)

where \({\mathcal{M}}(t)\) is a linear adaptive boundary control to be proposed when the parameters μ and \(\gamma _{2} \) are unknowns. The following theorem states the findings of our linear adaptive boundary control law.

Theorem 3

Consider α to be a positive integer. Given an initial condition \(u_{0} \in H^{4} ( 0,1 ) \cap H_{0}^{1} ( 0,1 ) \), the modified generalized Korteweg–de Vries–Burgers (MGKdVB) equation (1.1) subject to boundary conditions (5.1)(5.2) is globally exponentially stable in \(L^{2} ( 0,1 ) \) as long as the following linear adaptive control law is applied:

$$ {\mathcal{M}}(t) = - \eta _{1}u_{x} (1,t), $$
(5.3)

where

$$ \dot{\eta } _{1}=r_{1}u_{x}^{2} (1,t), $$
(5.4)

in which the feedback gain \(r_{1}\) is a positive real number.

Proof

Let

$$ V (t) =\frac{1}{2} \int _{0}^{1}u^{2} (x,t)\,dx $$
(5.5)

be the Lyapunov function candidate. Clearly, \(V(t) \geq 0 \) for all \(t \geq 0\). Moreover, differentiating \(V (t) \) with respect to time, and referring to (1.1), we have

$$\begin{aligned} \dot{ V} (t) =& \sigma \int _{0}^{1}uu_{xx}\,dx- \mu \int _{0}^{1}uu _{xxx}\,dx- \gamma _{1} \int _{0}^{1}u^{ \alpha +1}u_{x} \,dx- \gamma _{2} \int _{0}^{1}uu_{xxxx}\,dx. \end{aligned}$$
(5.6)

Integrating by parts and using the boundary conditions (5.1)–(5.2), we obtain from (5.6)

$$ \dot{ V} (t) \leq -\sigma \int _{0}^{1} u_{x}^{2} (x,t)\,dx+\frac{ \mu }{2}u_{x}^{2} (1,t) + \gamma _{2}u_{x} (1,t) {\mathcal{M}}(t) . $$
(5.7)

Inserting the control law (5.3) in (5.7), we get

$$ \dot{V} (t) \leq -\sigma \int _{0}^{1} u_{x}^{2} (x,t)\,dx+\frac{ \mu }{2}u_{x}^{2} (1,t) - \gamma _{2} \eta _{1} u_{x}^{2} (1,t) . $$
(5.8)

Using Poincaré’s inequality, (5.8) becomes

$$ \dot{ V} (t) \leq -\sigma \int _{0}^{1} u^{2}(x,t)\,dx- \biggl( \gamma _{2} \eta _{1}-\frac{ \mu }{2} \biggr) u_{x}^{2} (1,t) \quad \text{for any } t \geq 0. $$
(5.9)

Now, we define an energy \(E (t) \) as follows:

$$ E (t) =\frac{1}{2 \gamma _{2}r_{1}} \biggl( \gamma _{2} \eta _{1}-\frac{ \mu }{2}-a \biggr) ^{2} +V (t), \quad \text{where } a \geq 0. $$
(5.10)

Obviously, \(E (t) \geq 0\) for all \(t\geq 0\). Differentiating \(E (t) \) with respect to time yields

$$ {\dot{E} } (t) = \dot{V} (t) +\frac{ \dot{\eta } _{1}}{r _{1}} \biggl( \gamma _{2} \eta _{1}-\frac{ \mu }{2}-a \biggr). $$
(5.11)

Using (5.4) and (5.9), identity (5.11) leads to

$$ {\dot{E} } (t) \leq -\sigma \int _{0}^{1} u^{2}(x,t)\,dx- \biggl( \gamma _{2} \eta _{1}-\frac{ \mu }{2} \biggr) u_{x}^{2} (1,t) + \biggl( \gamma _{2} \eta _{1}-\frac{ \mu }{2}-a \biggr) u_{x}^{2} (1,t). $$

Therefore,

$$\begin{aligned} {\dot{E} } (t) \leq & -\sigma \int _{0}^{1} u^{2}(x,t)\,dx- \gamma _{2} \eta _{1}u_{x}^{2} (1,t) + \frac{ \mu }{2}u_{x}^{2} (1,t) + \gamma _{2} \eta _{1}u_{x}^{2} (1,t) - \frac{ \mu }{2}u_{x}^{2} (1,t) \\ &{}- a u_{x}^{2} (1,t). \end{aligned}$$
(5.12)

This reduces to

$$ {\dot{E} } (t) \leq -\sigma \int _{0}^{1} u^{2}(x,t)\,dx-au _{x}^{2} (1,t) . $$
(5.13)

Since \(a \geq 0 \), the term \(-au_{x}^{2} (1,t) \leq 0\) for all t ≥0, and hence (5.13) yields

$$ {\dot{E} } (t) \leq -\sigma \int _{0}^{1} u^{2} (x,t)\,dx \quad \text{for any } t \geq 0. $$

Thereby, \(E (t) \leq E ( 0 ) \) for any \(t \geq 0\), which means that \(\eta _{1} \) is bounded for all \(t>0 \). Thus, \(u_{x} (1,t) \in L^{2} ( 0,\infty ) \). Using (5.5), we can write (5.9) as follows:

$$ \dot{ V }(t) \leq -2 \sigma V (t) - \biggl( \gamma _{2} \eta _{1}-\frac{ \mu }{2} \biggr) u_{x}^{2} (1,t)\quad \text{for any } t \geq 0 . $$
(5.14)

Using Gronwall–Bellman’s inequality, we get

$$ V (t) \leq e^{-2 \sigma t} V ( 0 )+C \int _{0}^{t}e^{-2 \sigma ( t- \tau ) }u_{x}^{2} ( 1, \tau )\,d\tau , $$
(5.15)

where \(C=\sup \vert \gamma _{2} \eta _{1}-\frac{ \mu }{2} \vert \). Since

$$ \int _{0}^{t}e^{-2\sigma ( t- \tau ) }u_{x}^{2} ( 1, \tau )\,d\tau \rightarrow 0, \quad \mbox{as } t \rightarrow \infty , $$

we conclude that \(V (t) \) converges to zero as \(t \longrightarrow \infty \). Thus, \(\Vert u (x,t) \Vert \) exponentially approaches zero as t tends to infinity. □

Remark 1

It is worth mentioning that the choice of the feedback gain \(r_{1}\) will definitely affect the value of \(\eta _{1}\), and therefore the stability of the solution. Fixing the initial condition \(\eta _{1}(0)\) and increasing the value of \(r_{1}\) will increase the value of \(\eta _{1}\), which in turn speeds up the convergence of the solution to zero.

Numerical simulations of the MGKdVB equation

In order to illustrate our theoretical results, we numerically present in this section the dynamical behavior of the MGKdVB equation when the non-adaptive boundary control (1.3) and adaptive boundary control law (5.3) are applied. To this end, numerical solutions for the (MGKdVB) equation will be simulated using COMSOL Multiphysics software.

Linear non-adaptive boundary control law for the MGKdVB equation (1.3)

This subsection is devoted to numerical simulations of solutions for the (MGKdVB) equation with the non-adaptive control law (1.3). The solutions are computed and simulated for \(\alpha =1, 2, 3\), and 4.

Let us pick up the initial condition \(u_{0} (x) =\sin ( \pi x ) \). Figures 1(a)–1(d) depict the behavior of the solution \(u (x,t) \) as it evolves in time. In the simulations, we set the parameters σ, μ, \(\gamma _{1}\), and \(\gamma _{2} \) to be 0.01, 0.001, 1, and 0.0005, respectively. The norm \(\Vert u (x,t) \Vert \) versus time is presented in Figure 2. This figure indicates that the solution converges to zero as t goes to infinity. This confirms the theoretical results obtained in Sect. 4. It should be noted that Figure 2 also emphasizes that condition (1.3), that is, \(u_{xx} (1,t) =-\frac{ \mu }{ \gamma _{2}}u_{x} (1,t) \), is acting as a linear boundary control where \(-\frac{ \mu }{ \gamma _{2}}u_{x} (1,t) \) plays the role of the input control. A careful look at Figures 1 and 2 shows that the decay rate to the steady state solution decreases as α increases from 1 to 4.

Figure 1
figure1

A 3-d landscape of the dynamics of the MGKdVB equation subject to boundary conditions (1.2)–(1.3); \(\sigma =0.01\), \(\mu =0.001 \), \(\gamma _{1}= 1\), \(\gamma _{2}=0.0005\), and \(u_{0}(x)=\sin (\pi x)\); (a) \(\alpha =1 \); (b) \(\alpha =2\); (c) \(\alpha = 3\); (d) \(\alpha =4\)

Figure 2
figure2

The \(L^{2}\)-norm of \(u(x,t)\), \(\|u(x,t)\|\) versus time for different values of α; \(\sigma =0.01\), \(\mu =0.001\), \(\gamma _{1}=1\), \(\gamma _{2}=0.0005\), and \(u_{0}(x)=\sin (\pi x)\)

Linear adaptive boundary control law for the MGKdVB equation (5.3)

In this subsection, we present numerically the dynamical behavior of the MGKdVB equation by applying the linear adaptive boundary control law presented in (5.3). Using COMSOL Multiphysics software, the solutions are provided for several values of α. These values are 1, 2, 3, and 4.

As in the previous subsection, let \(u_{0}(x) =\sin ( \pi x ) \). It is clear from (5.3) that the linear adaptive control law proposed in Theorem 3 does not require the pre-knowledge of μ and \(\gamma _{2} \) which are assumed to be unknowns. Nevertheless, for simulation purposes, these values are set to be 0.001 and 0.0005, respectively. The parameters σ and \(\gamma _{1} \) are set to be 0.01 and 1, respectively. Moreover, \(r_{1} \) is chosen to equal 0.2. The initial value of \(\eta _{1} \) is set to be such that \(\eta _{1} ( 0 ) =1 \). Figures 3(a)–3(d) show a 3-d landscape of the solution of the MGKdVB equation when the control law is given in Theorem 3 for different values of α. Figure 4 shows the \(L^{2} \)-norm of these solutions. It can be noticed from the figures that as α increases, the decay rate of the solution to the steady state solution decreases. This is due to the effect of the nonlinear term which causes the instability in the behavior of the solutions of the MGKdVB equation.

Figure 3
figure3

A 3-d landscape of the dynamics of the MGKdVB equation using the linear adaptive control law; \(\sigma =0.01\), \(\gamma _{1}= 1\), \(r_{1}=0.2 \), and \(u_{0}(x)=\sin (\pi x)\); (a) \(\alpha =1 \); (b) \(\alpha =2\); (c) \(\alpha = 3\); (d) \(\alpha =4\)

Figure 4
figure4

The \(L^{2}\)-norm of \(u(x,t)\), \(\|u(x,t)\|\) versus time for different values of α when applying the linear adaptive control law; \(\sigma =0.01\), \(\gamma _{1}=1\), \(r_{1}=0.2\), and \(u_{0}(x)=\sin (\pi x)\)

Figure 5 depicts the behavior of the function \(\eta _{1}\), which appears in the control. Figure 5 shows that \(\eta _{1} \) decreases as α increases from 1 to 4.

Figure 5
figure5

\(\eta _{1}\) versus time for different values of α when applying the linear adaptive control law

Concluding remarks

In this paper, the MGKdVB equation is considered and a feedback boundary control is proposed. Then, the well-posedness of the system and the exponential stability of the solutions are investigated. Furthermore, a linear adaptive control law is put forward when the parameters \(\gamma _{2}\) and μ are unknowns. In this case, the solutions are also shown to be exponentially stable. Finally, numerical simulations are presented to illustrate our results.

The control problem of the MGKdVB equation in the presence of a time delay will be the subject of future research studies.

References

  1. 1.

    Amick, C.J., Bona, J.L., Schonbek, M.E.: Decay of solutions of some nonlinear wave equations. J. Differ. Equ. 81, 1–49 (1989)

  2. 2.

    Antar, N.: The Korteweg–de Vries–Burgers hierarchy in fluid-filled elastic tubes. Int. J. Eng. Sci. 40, 1179–1198 (2001)

  3. 3.

    Balogh, A., Gilliam, D.S., Shubov, V.I.: Stationary solutions for a boundary controlled Burgers’ equation. Math. Comput. Model. 33, 21–37 (2001)

  4. 4.

    Balogh, A., Krstic, M.: Global boundary stabilization and regularization of Burgers’ equation. In: Proceedings of the American Control Conference, San Diego, pp. 1712–1716 (1999)

  5. 5.

    Balogh, A., Krstic, M.: Burgers’ equation with nonlinear boundary feedback: \(H_{1}\) stability, well-posedness and simulation. Math. Probl. Eng. 6, 189–200 (2000)

  6. 6.

    Biagioni, H.A., Gramchev, T.: Multidimensional Kuramoto–Sivashinsky type equations: singular initial data and analytic regularity. Mat. Contemp. 15, 21–42 (1998)

  7. 7.

    Biler, P.: Large-time behavior of periodic solutions to dissipative equations of Korteweg–de Vries–Burgers type. Bull. Pol. Acad. Sci., Math. 32, 401–405 (1984)

  8. 8.

    Bona, J.L., Dougalis, V.A., Karakashian, O.A., McKinney, G.: Computations of blow-up and decay for periodic solutions of the generalized Korteweg–de Vries Burgers equation. Appl. Numer. Math. 10, 335–355 (1992)

  9. 9.

    Bona, J.L., Sun, S.M., Zhang, B.-Y.: A non-homogeneous boundary-value problem for Korteweg–de Vries equation posed on a finite domain. Commun. Partial Differ. Equ. 28, 1391–1436 (2003)

  10. 10.

    Brezis, H.: Functional Analysis, Sobolev Spaces and Partial Differential Equations. Springer, Berlin (2011)

  11. 11.

    Bui, A.T.: Initial boundary value problems for the Korteweg–de Vries equation. J. Differ. Equ. 25, 288–300 (1977)

  12. 12.

    Burgers, T.M.: A mathematical model illustrating the theory of turbulence. Adv. Appl. Mech. 1, 171–199 (1948)

  13. 13.

    Coddington, E.A., Levinson, N.: Theory of Ordinary Differential Equations. Tata McGraw-Hill, New Delhi (1977)

  14. 14.

    Cousin, A.T., Larkin, N.A.: Kuramoto–Sivashisky equation in domains with moving boundaries. Port. Math. 59, 336–349 (2002)

  15. 15.

    Drazin, P.G., Johnson, R.S.: Solitons: An Introduction. Cambridge University Press, Cambridge (1989)

  16. 16.

    Efe, M.O., Ozbay, H.: Low dimensional modeling and Dirichlet boundary controller design for Burgers equation. Int. J. Control 77, 895–906 (2004)

  17. 17.

    Gomes, S.N., Papageorgiou, D.T., Pavliotis, G.A.: Stabilizing nontrivial solutions of the generalized Kuramoto–Sivashinsky equation using feedback and optimal control. IMA J. Appl. Math., 1–37 (2016)

  18. 18.

    Guo, B.: The existence and nonexistence of a global solution for the initial value problem of generalized Kuramoto–Sivashinsky equations. J. Math. Res. Expo. 11, 57–69 (1991)

  19. 19.

    Guo, B., Xiang, X.M.: The large time convergence of spectral method for Kuramoto–Sivashinsky equations. J. Comput. Math. 15, 1–13 (1997)

  20. 20.

    He, J.W., Glowinski, R., Gorman, M., Periaux, J.: Some results on the controllability and the stabilization of the Kuramoto–Sivashinsky equation. In: Equations aux Dérivées Partielles et Applications. Articles Dédiés à Jacques-Louis Lions, pp. 571–590. Gauthier-Villars, Paris (1998)

  21. 21.

    Hublov, V.V.: On a boundary value problems for the Korteweg–de Vries equation in bounded regions. In: Application of the Methods of Functional Analysis to Problems of Mathematical Physics and Computational Mathematics, pp. 137–141. Institute of Mathematics, Novosibirsk (1979)

  22. 22.

    Krstic, M.: On global stabilization of Burgers’ equation by boundary control. Syst. Control Lett. 37, 123–142 (1999)

  23. 23.

    Kuramoto, Y.: Diffusion-induced chaos in reaction systems. Prog. Theor. Phys. Suppl. 64, 346–367 (1978)

  24. 24.

    Larkin, N.A.: Korteweg–de Vries and Kuramoto–Sivashinsky equations in bounded domains. J. Math. Anal. Appl. 297, 169–185 (2004)

  25. 25.

    Lions, J.L., Magenes, E.: Problèmes aux Limites Non-Homogènes et Applications, vol. 1. Dunod, Paris (1968)

  26. 26.

    Liu, G., Duan, G.: Stationary wave solution for equations of longitudinal wave in a nonlinear elastic rod. J. Henan Norm. Univ. Nat. Sci. 29, 101–103 (2001)

  27. 27.

    Messaoudi, S.A., Soufyane, A.: General decay of solutions of a wave equation with a boundary control of memory type. Nonlinear Anal., Real World Appl. 11, 2896–2904 (2010)

  28. 28.

    Mikhailov, V.P.: Partial Differential Equations. Nauka, Moscow (1976)

  29. 29.

    Russell, J.S.: Experimental researches into the laws of certain hydrodynamical phenomena that accompany the motion of floating bodies and have not previously been reduced into conformity with the laws of resistance of fluids. Transactions of the Royal Society of London, Edinburgh, XIV 1840, 47–109

  30. 30.

    Santos, M.L., Ferreira, J., Pereira, D.C., Raposo, C.A.: Global existence and stability for wave equation of Kirchhoff type with memory condition at the boundary. Nonlinear Anal. 54, 959–976 (2003)

  31. 31.

    Santos, M.L., Junior, F.: A boundary condition with memory for Kirchhoff plates equations. Appl. Math. Comput. 148, 475–496 (2004)

  32. 32.

    Senouf, D.: Dynamics and condensation of complex singularities for Burgers’ equation. SIAM J. Math. Anal. 28, 1457–1489 (1997)

  33. 33.

    Sivashinsky, G.: Nonlinear analysis for hydrodynamic instability in laminar flames. Derivation of basic equations. Acta Astronaut. 4, 1177–1206 (1977)

  34. 34.

    Smaoui, N.: Nonlinear boundary control of the generalized Burgers equation. Nonlinear Dyn. 37, 75–86 (2004)

  35. 35.

    Smaoui, N.: Controlling the dynamics of Burgers equation with a higher order nonlinearity. Int. J. Math. Math. Sci. 62, 3321–3332 (2004)

  36. 36.

    Smaoui, N.: Boundary and distributed control of the viscous Burgers equation. J. Comput. Appl. Math. 182, 91–104 (2005)

  37. 37.

    Smaoui, N., Al-Jamal, R.: Boundary control of the generalized Korteweg–de Vries–Burgers equation. Nonlinear Dyn. 51, 439–446 (2008)

  38. 38.

    Smaoui, N., El-Kadri, E., Zribi, M.: Adaptive boundary control of the forced generalized Korteweg–de Vries–Burgers equation. Eur. J. Control 16, 72–84 (2010)

  39. 39.

    Smaoui, N., El-Kadri, E., Zribi, M.: Nonlinear boundary control of the unforced generalized Korteweg–de Vries–Burgers equation. Nonlinear Dyn. 60, 561–574 (2010)

  40. 40.

    Tadmor, E.: The well-posedness of the Kuramoto–Sivashinsky equation. SIAM J. Math. Anal. 17, 884–893 (1986)

Download references

Acknowledgements

The authors would like to thank the College of Graduate Studies for supporting this research. The authors are also grateful to the editor and the two anonymous referees for their valuable suggestions and comments which have led to an improved version of this paper.

Availability of data and materials

Not applicable.

Funding

This research was partially supported by the College of Graduate Studies at Kuwait University.

Author information

NS derived and analyzed the stability results, performed the numerical simulations, wrote and edited the manuscript. BC proved the well-posedness of the model, wrote and edited the manuscript. AA worked on the well-posedness, derived the stability results, performed the numerical simulations of the model, and wrote the manuscript. All authors read and approved the final manuscript.

Correspondence to Nejib Smaoui.

Ethics declarations

Competing interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Smaoui, N., Chentouf, B. & Alalabi, A. Boundary linear stabilization of the modified generalized Korteweg–de Vries–Burgers equation. Adv Differ Equ 2019, 457 (2019) doi:10.1186/s13662-019-2387-7

Download citation

Keywords

  • Modified generalized Korteweg–de Vries–Burgers equation
  • Well-posedness
  • Exponential stability
  • Boundary control