Exact and approximate solutions of some operator equations based on the Cayley transform

Abstract We consider the operator equation SX ≡ Σ j −1 M U j XV j = Y where U j , V j are some communicative sets of operators but in general U j need not compute with V j . Particular cases of this equation are the Sylvester and Ljapunov equations. We give a new representation and an approximation of the solution which is suitable to perform it algorithmically. Error estimates are given which show exponential covergence for bounded operators and polynomial convergence for unbounded ones. Based on these considerations we construct an iterative process and give an existence theorem for the operator equation Z 2 + A 1 Z + A 2 = 0, arising for example when solving an abstract second order differential equation with non-commutative coefficients.

[1]  Louis A. Hageman,et al.  Iterative Solution of Large Linear Systems. , 1971 .

[2]  George J. Davis,et al.  Numerical Solution of a Quadratic Matrix Equation , 1981 .

[3]  Marlis Hochbruck,et al.  Preconditioned Krylov Subspace Methods for Lyapunov Matrix Equations , 1995, SIAM J. Matrix Anal. Appl..

[4]  S. Hammarling Numerical Solution of the Stable, Non-negative Definite Lyapunov Equation , 1982 .

[5]  D. Arov Passive linear stationary dynamic systems , 1979 .

[6]  V. Mehrmann The Autonomous Linear Quadratic Control Problem , 1991 .

[7]  M. Kreĭn,et al.  Stability of Solutions of Differential Equations in Banach Spaces , 1974 .

[8]  G. Lumer,et al.  Linear operator equations , 1959 .

[9]  Richard H. Bartels,et al.  Algorithm 432 [C2]: Solution of the matrix equation AX + XB = C [F4] , 1972, Commun. ACM.

[10]  Quadratic operator equations and periodic operator continued fractions , 1994 .

[11]  Irena Lasiecka,et al.  Algebraic Riccati equations arising in boundary/point control: A review of theoretical and numerical results Part I: Continuous case , 1990 .

[12]  Eugene L. Wachspress,et al.  Solution of lyapunov equations by alternating direction implicit iteration , 1991 .

[13]  Stephen Barnett,et al.  Introduction to Mathematical Control Theory , 1975 .

[14]  Ivan P. Gavrilyuk An algorithmic representation of fractional powers of positive operators , 1996 .

[15]  Dereck S. Meek,et al.  The numerical solution of A'Q+QA = -C , 1977 .

[16]  E. Wachspress Iterative solution of the Lyapunov matrix equation , 1988 .

[17]  P. Lancaster Explicit Solutions of Linear Matrix Equations , 1970 .

[18]  M. Rosenblum,et al.  On the operator equation $BX-XA=Q$ , 1956 .

[19]  G. Golub,et al.  A Hessenberg-Schur method for the problem AX + XB= C , 1979 .

[20]  Mark J. Balas,et al.  Trends in large space structure control theory: Fondest hopes, wildest dreams , 1982 .

[21]  S. Krantz Function theory of several complex variables , 1982 .

[22]  On Some Development of the S. Krein Pencil Theory , 1995 .

[23]  C. S. Lu Solution of the matrix equation AX+XB = C , 1971 .

[24]  L. Fialkow,et al.  Spectral properties of elementary operators. II , 1985 .

[25]  H. Langer,et al.  On some mathematical principles in the linear theory of damped oscilations of continua II , 1978 .

[26]  Richard Bellman,et al.  Introduction to Matrix Analysis , 1972 .