[Paper Review] Stabilization of coupled second order systems with delay

El Mustapha Ait Ben Hassi, Kaïs Ammari+2 more|arXiv (Cornell University)|Oct 18, 2010

Stability and Controllability of Differential Equations12 references3 citations

TL;DR

This paper establishes exponential stability for coupled second-order systems with delay using output feedback, reducing the problem to an observability inequality for the conservative adjoint system. The key result shows that exponential energy decay occurs if and only if the control location is a rational number with odd numerator in lowest terms, proven via Ingham's inequality for non-harmonic Fourier series in wave equation examples.

ABSTRACT

In this paper we characterize the output feedback stabilization of some coupled systems with delay. The proof of the main result uses the method introduced in Ammari and Tucsnak \cite{at} where the exponential stability for the closed loop system is reduced to an observability estimate for the corresponding conservative adjoint system, under a boundedness condition of the transfer function of the associated open loop system.

Motivation & Objective

• To characterize output feedback stabilization for coupled second-order infinite-dimensional systems with delay.
• To extend existing results on exponential stability to systems with unbounded control and coupling operators.
• To analyze the impact of delay on energy decay in coupled wave systems.
• To determine necessary and sufficient conditions for exponential stability in specific physical models, such as coupled strings and wave equations.
• To apply abstract stability criteria to concrete PDE systems with point controls and boundary conditions.

Proposed method

• Transform the coupled system into a single second-order equation in a product Hilbert space using operators A and B₀.
• Apply the Ammari-Tucsnak method, linking exponential stability to an observability estimate for the conservative adjoint system.
• Introduce delay terms in the feedback by incorporating retarded derivatives with time delay τ.
• Use the transfer function boundedness condition to ensure stability under the observability inequality.
• Apply Ingham's inequality for non-harmonic Fourier series to analyze spectral properties of the adjoint system.
• Verify the observability inequality holds if and only if the control point ξ is a rational number with odd numerator in lowest terms.

Experimental results

Research questions

• RQ1 Under what conditions does output feedback stabilize a coupled system of second-order equations with delay?
• RQ2 How does the presence of unbounded control and coupling operators affect the stability of the system?
• RQ3 What role does the location of point control play in determining exponential stability for coupled wave equations?
• RQ4 Can the observability inequality for the adjoint system be characterized in terms of number-theoretic properties of the control location?
• RQ5 What is the precise condition on the control point ξ for exponential energy decay in a system of coupled strings with delay?

Key findings

• Exponential energy decay holds for the coupled system with delay if and only if the control location ξ is a rational number with coprime factorization ξ = p/q where p is odd.
• The observability inequality for the conservative adjoint system is satisfied precisely when ξ is a rational number with odd numerator, as shown via Ingham's inequality.
• For the coupled string system with Dirichlet boundary conditions, exponential stability fails for all ξ ∈ (0,1) and β > 0, indicating the observability inequality cannot hold.
• In the case of mixed boundary conditions with a potential term, the system is exponentially stable if and only if ξ is rational with odd numerator.
• The transfer function of the open-loop system remains bounded under the stability condition, which is essential for the stability criterion.
• The stability result is derived by transforming the system into a second-order equation with delay and applying the Ammari-Tucsnak framework to the adjoint system.