Global Stabilization of a Korteweg--De Vries Equation With Saturating Distributed Control

Abstract

Abstract. This article deals with the design of saturated controls in the context of partial differential equations. It focuses on a Korteweg-de Vries equation, which is a nonlinear mathematical model of waves on shallow water surfaces. Two different types of saturated controls are considered. The well-posedness is proven applying a Banach fixed point theorem, using some estimates of this equation and some properties of the saturation function. The proof of the asymptotic stability of the closed-loop system is separated in two cases: i) when the control acts on all the domain, a Lyapunov function together with a sector condition describing the saturating input is used to conclude on the stability; ii) when the control is localized, we argue by contradiction. Some numerical simulations illustrate the stability of the closed-loop nonlinear partial differential equation.Key words. Korteweg-de Vries equation, stabilization, distributed control, saturating control, nonlinear system AMS subject classifications. 93C20, 93D15, 35Q531. Introduction. In recent decades, a great effort has been made to take into account input saturations in control designs (see e.g [39], [15] or more recently [17]). In most applications, actuators are limited due to some physical constraints and the control input has to be bounded. Neglecting the amplitude actuator limitation can be source of undesirable and catastrophic behaviors for the closed-loop system. The standard method to analyze the stability with such nonlinear controls follows a two steps design. First the design is carried out without taking into account the saturation. In a second step, a nonlinear analysis of the closed-loop system is made when adding the saturation. In this way, we often get local stabilization results. Tackling this particular nonlinearity in the case of finite dimensional systems is already a difficult problem. However, nowadays, numerous techniques are available (see e.g. [39, 41,37]) and such systems can be analyzed with an appropriate Lyapunov function and a sector condition of the saturation map, as introduced in [39].In the literature, there are few papers studying this topic in the infinite dimensional case. Among them, we can cite [18], [29], where a wave equation equipped with a saturated distributed actuator is studied, and [12], where a coupled PDE/ODE system modeling a switched power converter with a transmission line is considered. Due to some restrictions on the system, a saturated feedback has to be designed in the latter paper. There exist also some papers using the nonlinear semigroup theory and focusing on abstract systems ([20], [34], [36]).Let us note that in [36], [34] and [20], the study of a priori bounded controller is tackled using abstract nonlinear theory. To be more specific, for bounded ([36], [34]) and unbounded ([34]) control operators, some conditions are derived to deduce, from the asymptotic stability of an infinite-dimensional linear system in abstract form, the asymptotic stability when closing the loop with saturating co...

Stability Analysis of Dissipative Systems Subject to Nonlinear Damping via Lyapunov Techniques

“…Suppose that S := U . The saturation studied in [32], [18] and [23] is defined as follows, for all s ∈ U ,…”

“…There exist also some papers dealing with local asymptotic stability (see [17] or [16]). Note that both situations (S = U and S = U ) have been tackled for the specific nonlinear partial differential equation Korteweg-de Vries equation in [23], in the case where the damping is a saturation.…”

Stability results for infinite-dimensional linear control systems subject to saturations

“…Suppose that S := U . The saturation, studied in [24], [9] and [12], is defined as follows, for all s ∈ U…”

Safety verification for distributed parameter systems using barrier functionals

“…This stems from the fact that the nonlinear convection term transfers low wave number components of the solutions to the high wave number ones for which the diffusion term has a stabilizing effect. This phenomenon appears in the solutions of some important nonlinear PDEs, including Kuramoto-Sivashinsky equation [40], Burgers Equation [41] and the KdV equation [42]. We are interested in computing the maximum value for parameter λ, such that the solutions starting in…”