Ask Your Question
0

rational canonical form

asked 2024-02-16 20:04:52 +0200

miloulou gravatar image

updated 2024-03-06 21:32:24 +0200

FrédéricC gravatar image

Please i want to compute the rational canonical form of a matrix also known as frobenius form in terms of the entries of the matrix the matrix is a 2*2 matrix of the form A=[[a*b+1,b],[a,1] Thank you in advance

edit retag flag offensive close merge delete

Comments

Homework ?

Emmanuel Charpentier gravatar imageEmmanuel Charpentier ( 2024-02-18 16:10:45 +0200 )edit

@Emmanuel Charpentier No it is not a homework

miloulou gravatar imagemiloulou ( 2024-02-19 14:13:32 +0200 )edit

2 Answers

Sort by » oldest newest most voted
1

answered 2024-02-20 19:08:20 +0200

Max Alekseyev gravatar image

updated 2024-02-20 19:19:25 +0200

Like this:

sage: K = PolynomialRing(QQ,2,'x').fraction_field()
sage: x = K.gens()
sage: A = Matrix([[x[0]*x[1]+1,x[1]],[x[0],1]])
sage: A.rational_form()
[        0        -1]
[        1 x0*x1 + 2]
edit flag offensive delete link more
-1

answered 2024-02-26 12:20:07 +0200

To compute the rational canonical form (Frobenius form) of a matrix, you need to find the invariant factors. For a 2x2 matrix of the form

[ � � + 1 � � 1 ] A=[ ab+1 a ​

b 1 ​ ], we can find its characteristic polynomial and minimal polynomial, and then use them to determine the rational canonical form.

Let's start by finding the characteristic polynomial. The characteristic polynomial is given by:

det ⁡ ( � − � �

)

0 det(A−λI)=0

Where � I is the identity matrix.

det ⁡ [ ( � � + 1 ) − � � � 1 − �

]

0 det[ (ab+1)−λ a ​

b 1−λ ​ ]=0

Expanding this determinant gives:

( ( � � + 1 ) − � ) ( 1 − � ) − �

0 ((ab+1)−λ)(1−λ)−ab=0

Simplifying:

( � � + 1 − � ) ( 1 − � ) − �

0 (ab+1−λ)(1−λ)−ab=0

( � � + 1 − � − � + � 2 ) − �

0 (ab+1−λ−λ+λ 2 )−ab=0

( 1 − � + � 2

)

0 (1−λ+λ 2 )=0

Now, you can solve this quadratic equation to find the eigenvalues � λ.

Once you have the eigenvalues, you can find the corresponding eigenvectors and use them to construct the Jordan chains. The rational canonical form will then consist of blocks corresponding to the Jordan chains.

edit flag offensive delete link more

Comments

Your answer is unreadable with a lot of � characters. Also, where is Sage in your answer?

Max Alekseyev gravatar imageMax Alekseyev ( 2024-02-27 16:01:31 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2024-02-16 20:04:52 +0200

Seen: 302 times

Last updated: Mar 06