How to Solve the Extended Sylvester Equation?

  • Context: Graduate 
  • Thread starter Thread starter matematikawan
  • Start date Start date
Click For Summary
SUMMARY

The extended Sylvester equation, represented as AX + XB + CXD + E = 0, can be approached by expanding the system and rearranging it into a form that allows for matrix inversion. The MATLAB command X=lyap(A,B,C) is effective for the standard Sylvester equation AX + XB + C = 0, but for the extended version, one must derive a matrix equation ZX = F, where F = -E. This requires algebraic manipulation and potentially diagonalization of matrices A, B, and C to facilitate the solution.

PREREQUISITES
  • Understanding of Sylvester equations and their solutions
  • Familiarity with MATLAB, specifically the lyap function
  • Knowledge of matrix diagonalization techniques
  • Basic algebraic manipulation skills for matrix equations
NEXT STEPS
  • Research methods for solving extended Sylvester equations analytically
  • Learn about matrix inversion techniques applicable to linear systems
  • Explore MATLAB programming for custom algorithm development
  • Study conditions under which solutions to Sylvester equations exist
USEFUL FOR

Mathematicians, engineers, and researchers dealing with linear algebra problems, particularly those focused on matrix equations and their applications in control theory and systems analysis.

matematikawan
Messages
336
Reaction score
0
Given n by n matrices A, B, C. I know how to solve the Sylvester equation

AX + XB + C = 0

using the MATLAB command >> X=lyap(A,B,C)

But how do we solve the extended Sylvester equation
AX + XB + CXD + E = 0 ?

Either numerical or analytical method I'm willing to learn.
 
Physics news on Phys.org
matematikawan said:
Given n by n matrices A, B, C. I know how to solve the Sylvester equation

AX + XB + C = 0

using the MATLAB command >> X=lyap(A,B,C)

But how do we solve the extended Sylvester equation
AX + XB + CXD + E = 0 ?

Either numerical or analytical method I'm willing to learn.

Hey matematikawan.

Have you tried just expanding out the system, collecting the terms and getting a form of AX = B?

In other words you get a matrix corresponding to ZX = F and then apply the formula X = Z^-1 x F. For the Z matrix you will need to do some algebra to get this and in this particular example, F = -E.
 
I don't think it is possible to express it as AX=B.
Even to solve the Sylvester equation you have to diagonalize the matrices.
 
matematikawan said:
I don't think it is possible to express it as AX=B.
Even to solve the Sylvester equation you have to diagonalize the matrices.

Try pen and paper first instead of using a computer.

What will happen is that when you collect everything together you should get a linear system in terms of your X and some matrix that is premultiplied by it. Once you have separated the matrix from your X by specifying what that matrix is then you can do normal inversion techniques.

You might have to write the algorithm yourself after doing a pen and paper derivation, but the idea doesn't change.

Also when you expand out everything using algebra, I'm sure you'll find conditions for when this does not hold, possibly even as a function of A, B, and C.

Again I urge you to do the pen and paper algebraic computation if you can't use any other known results.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 2 ·
Replies
2
Views
760
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K