Abstract:In this paper we consider a class of conjugate discrete-time Riccati equations (CDARE), arising originally from the linear quadratic regulation problem for discrete-time antilinear systems. Recently, we have proved the existence of the maximal solution to the CDARE with a nonsingular control weighting matrix under the framework of the constructive method. Our contribution in the work is to finding another meaningful Hermitian solutions, which has received little attention in this topic. Moreover, we show that some extremal solutions cannot be attained at the same time, and almost (anti-)stabilizing solutions coincide with some extremal solutions. It is to be expected that our theoretical results presented in this paper will play an important role in the optimal control problems for discrete-time antilinear systems.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the existence and properties of the extreme solutions of the conjugate discrete - time Riccati equation (CDARE). Specifically, the author focuses on the extreme solutions of the algebraic Riccati equation of the discrete - time anti - linear system arising from the linear quadratic regulator problem (LQR). ### Main problems 1. **Existence of extreme solutions**: The paper explores whether, under given conditions, CDARE has certain specific extreme solutions, such as the maximum and minimum solutions. 2. **Properties of extreme solutions**: It studies whether these extreme solutions can exist simultaneously and explores the relationships between them and other types of solutions (such as almost stable solutions and almost anti - stable solutions). 3. **Construction method**: A constructive method is proposed to ensure the existence of these extreme solutions, and numerical methods such as fixed - point iteration (FPI) are used to calculate these solutions. ### Specific content - **Background introduction**: The paper first introduces the form of the conjugate discrete - time Riccati equation (CDARE) and its application background in control theory. - **Main contributions**: - Proves the existence of the maximum solution of CDARE in the case of a non - singular control weighting matrix. - Explores other meaningful Hermitian solutions, especially those extreme solutions that have not been fully studied. - Shows that some extreme solutions cannot exist simultaneously, and that almost (anti - ) stable solutions coincide with certain extreme solutions. - Proposes two fixed - point iteration methods to find all extreme solutions, and achieves this goal through two auxiliary algebraic Riccati equations. ### Mathematical formulas The main equations involved in the paper include: - Matrix equation form of CDARE: \[ X = R(X) := A^H X A - A^H X B R^{-1} B^H X A + H, \] or its equivalent expression: \[ X = A^H X (I + G X)^{-1} A + H, \] where \( A \in \mathbb{C}^{n \times n} \), \( B \in \mathbb{C}^{n \times m} \), \( R \in \mathbb{H}_m \) is non - singular, \( H = C C^H \in \mathbb{H}_n \), \( I \) is an identity matrix of appropriate size, \( G := B R^{-1} B^H \), \( R_X := R + B^H X B \), and the unknown \( X \in \text{dom}(R) \). - Auxiliary equation (dual CDARE): \[ Y = \tilde{R}(Y), \] where: \[ \tilde{R}(Y) := \tilde{H} + \tilde{A}^H Y (\tilde{G} Y)^{-1} \tilde{A}, \] and the coefficient matrices are: \[ \tilde{A} = A^{-1} (I + G H A)^{-1}, \quad \tilde{G} = \tilde{A} G A - H, \quad \tilde{H} = \tilde{A}^H H A^{-1}. \] Through these formulas and methods, the author aims to provide theoretical support for the optimal control problem of discrete - time anti - linear systems and extend the existing research results.

On the existence of extremal solutions for the conjugate discrete-time Riccati equation

A Note on the Necessary Conditions for the Algebraic Riccati Equation.

On the Convergence of the Accelerated Riccati Iteration Method.

Solvability and Asymptotic Behavior of Generalized Riccati Equations Arising in Indefinite Stochastic LQ Controls.

Comments on "upper Matrix Bounds for the Discrete Algebraic Riccati Matrix Equation" [with Author's Reply]

On the explicit Hermitian solutions of the continuous‐time algebraic Riccati matrix equation for controllable systems

Solvability of Equilibrium Riccati Equations: A Direct Approach

On solvability of an indefinite Riccati equation

On Riccati contraction in time-varying linear-quadratic control

Solutions to Equilibrium HJB Equations for Time-Inconsistent Deterministic Linear Quadratic Control: Characterization and Uniqueness

Multidimensional Backward Stochastic Riccati Equations and Applications

Numerical Solutions of Quaternionic Riccati Equations

On the Existence of Block-Diagonal Solutions to Lyapunov and ${\mathcal {h}_\infty }$ Riccati Inequalities

Optimal Feedback Controls of Stochastic Linear Quadratic Control Problems in Infinite Dimensions with Random Coefficients

General Linear Quadratic Optimal Stochastic Control Problems with Random Coefficients: Linear Stochastic Hamilton Systems and Backward Stochastic Riccati Equations

Yet another approach to the Algebraic Riccati Inequality

Existence of viscosity solutions for Hamilton-Jacobi equations on Riemannian Manifolds via Lyapunov control

Algebraic Riccati Tensor Equations with Applications in Multilinear Control Systems

A Linear Quadratic Optimal Control Problem with Disturbances?an Algebraic Riccati Equation and Differential Games Approach

Stochastic Linear-Quadratic Control with Conic Control Constraints on an Infinite Time Horizon

Existence of Positive Almost Automorphic Solutions to Neutral Nonlinear Integral Equations