Solvability of the $H^infty$ algebraic Riccati equation in Banach algebras

Let $R$ be a commutative complex unital semisimple Banach algebra with the involution $\cdot ^\star$. Sufficient conditions are given for the existence of a stabilizing solution to the $H^\infty$ Riccati equation when the matricial data has entries from $R$. Applications to spatially distributed systems are discussed.

💡 Research Summary

The paper investigates the existence of stabilizing solutions to the H‑infinity algebraic Riccati equation when the system matrices belong to a commutative complex unital semisimple Banach algebra R equipped with an involution (·★). Classical H‑∞ control theory deals with finite‑dimensional complex matrices; this work lifts the theory to the setting where the coefficients are elements of a Banach algebra, a situation that naturally arises in the analysis of spatially distributed (translation‑invariant) systems whose symbols live in function algebras such as L∞(𝕋) or Wiener algebras.

The authors first recall the standard full‑information H‑∞ problem: given matrices A, B, E, C, D₁, D₂, one seeks a static state feedback u = Fx that renders the closed‑loop system internally stable and guarantees that the H‑∞ norm of the transfer from disturbance w to output z is strictly less than a prescribed γ>0. The well‑known theorem (Theorem 1.1) states that this is equivalent to the existence of a positive semidefinite solution P of a certain Riccati equation together with a stabilizing feedback law.

The main contribution (Theorem 1.3) provides sufficient conditions under which an analogous solution P exists with entries in R. The conditions are expressed in terms of the Gelfand transform: for every character ϕ∈M(R) the transformed matrices b_A(ϕ), b_B(ϕ), … behave exactly as ordinary complex matrices that satisfy the classical H‑∞ assumptions (left‑invertibility of (A,B,C,D₁), absence of invariant zeros on the imaginary axis, ker D₁={0}, and the existence of feedback matrices F₁(ϕ), F₂(ϕ) that make A+BF₁ exponentially stable and achieve the required H‑∞ norm bound). Under these hypotheses the pointwise Riccati equation has a unique smallest positive semidefinite solution Π(ϕ), and the map ϕ↦Π(ϕ) is continuous on the maximal ideal space M(R).

To lift the pointwise solution to an element of the algebra, the authors employ a Banach‑algebra version of the Implicit Function Theorem (Proposition 2.2). They construct a system of holomorphic equations G_k(Θ,…)=0 whose unknowns Θ represent the entries of the desired matrix P. The Jacobian of G with respect to Θ is shown to be the linear map Θ↦ΘA_cl(ϕ)+(A_cl(ϕ))★Θ, where A_cl(ϕ) is the closed‑loop matrix obtained from the pointwise data. Because A_cl(ϕ) is exponentially stable, all eigenvalues of this Jacobian have non‑zero real part, guaranteeing invertibility. Consequently, the continuous family Π(ϕ) is the Gelfand transform of a genuine element P∈R^{n×n}. The resulting P satisfies the Riccati equation in R, yields an exponentially stable closed‑loop matrix A_cl in the Banach‑algebra sense (Definition 1.4), and its Gelfand transform is positive semidefinite at every character, i.e., b_P(ϕ)≥0 for all ϕ.

The paper also discusses the role of the involution. In symmetric Banach algebras (e.g., Wiener algebras) the condition (A1) concerning compatibility of the involution with the Gelfand transform holds automatically, simplifying verification of the hypotheses.

Finally, the authors apply the abstract result to spatially invariant systems. By taking Fourier transforms, such systems are represented as multiplication operators on L²(𝕋) with symbols in L∞(𝕋). The H‑∞ design problem then reduces to solving the Riccati equation in the Wiener subalgebra of L∞(𝕋). The existence of a stabilizing solution in this subalgebra guarantees that the resulting feedback operator possesses spatial decay (e.g., exponential decay of its kernel), which is essential for implementable distributed controllers. The paper thus bridges abstract functional‑analytic theory with concrete control‑design requirements for large‑scale distributed systems.

In summary, the work extends the classical H‑∞ Riccati theory to a Banach‑algebraic framework, establishes continuity of the stabilizing solution with respect to the algebraic data, and demonstrates how this theory can be leveraged for the synthesis of spatially decaying controllers in translation‑invariant infinite‑dimensional systems.