Roberto A. Capistrano-Filho,Fernando A. Gallego
Abstract:This work deals with the local rapid exponential stabilization for a Boussinesq system of KdV-KdV type introduced by J. Bona, M. Chen and J.-C. Saut. This is a model for the motion of small amplitude long waves on the surface of an ideal fluid. Here, we will consider the Boussinesq system of KdV-KdV type posed on a finite domain, with homogeneous Dirichlet--Neumann boundary controls acting at the right end point of the interval. Our goal is to build suitable integral transformations to get a feedback control law that leads to the stabilization of the system. More precisely, we will prove that the solution of the closed-loop system decays exponentially to zero in the $L^2(0,L)$--norm and the decay rate can be tuned to be as large as desired if the initial data is small enough.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the local rapid exponential stabilization problem of the KdV - KdV - type equations in the Boussinesq system. Specifically, the authors explore whether the Boussinesq system (with homogeneous Dirichlet - Neumann boundary conditions) defined on a finite interval can obtain a feedback control law by designing an appropriate integral transformation, thereby achieving exponential stabilization of the system.
### Specific description of the problem
**Problem A**: Can a linear feedback control law be found
\[
(f(t), g(t)) = F[(\eta(\cdot, t), w(\cdot, t))], \quad t\in(0, \infty),
\]
such that the closed - loop system (i.e., the system with boundary conditions)
\[
\begin{cases}
\eta_t + w_x + w_{xxx}+(\eta w)_x = 0, & \text{in }(0, L)\times(0, +\infty),\\
w_t+\eta_x+\eta_{xxx}+w w_x = 0, & \text{in }(0, L)\times(0, +\infty),\\
\eta(0, t) = 0,\quad\eta(L, t) = 0,\quad\eta_x(0, t)=f(t), & t\in(0, \infty),\\
w(0, t) = 0,\quad w(L, t) = 0,\quad w_x(L, t)=g(t), & t\in(0, \infty),
\end{cases}
\]
is exponentially stable? That is, the solution of the system decays exponentially to zero in the \(L^2(0, L)\) norm, and the decay rate can be arbitrarily set to be large enough as long as the initial data are small enough.
### Research background and methods
To answer this question, the authors considered the following methods:
1. **Gramian method**: Design the feedback control law by constructing the Gramian operator.
2. **Lyapunov function method**: Prove the stability of the system by constructing an appropriate Lyapunov function.
3. **Backstepping method**: This is the main method adopted in this paper. By introducing the Volterra integral transformation, the original system is transformed into a new system, thereby designing the feedback control law.
### Main results
The authors successfully designed a feedback control law using the Backstepping method, making the closed - loop system locally exponentially stable. Specifically, for any given decay rate \(\lambda>0\), there exists a continuous linear feedback control law \(F\) and positive constants \(C\), \(r\) such that when the initial data satisfy \(\|(\eta_0, w_0)\|_{L^2(0, L)}\leq r\), the solution of the system satisfies
\[
\|(\eta(\cdot, t), w(\cdot, t))\|_{L^2(0, L)}\leq C e^{-\frac{\lambda}{2}t}\|(\eta_0, w_0)\|_{L^2(0, L)}, \quad \forall t\geq0.
\]
### Conclusion
By introducing the Backstepping method, this paper successfully solves the local rapid exponential stabilization problem of the KdV - KdV - type equations in the Boussinesq system, providing new ideas and methods for research in related fields.