行列$A$を次で定義する。
$$
A=
\begin{pmatrix}
6& -3 & -7 & 0 & 0 & 0\\
-1 & 2 & 1 & 0 & 0 & 0\\
5& -3 & -6 & 0 & 0 & 0\\
0& 0 & 0 & 1 & 2 & 1\\
0& 0 & 0 & -1 & 4 & 1\\
0& 0 & 0 & 2 & -4 & 0\\
\end{pmatrix}
$$
このとき次の実線形空間の次元を求めよ。
$$
V=\{X\in M_{6}(\mathbb{R})\mid AX=XA\}
$$
ただし、$M_{6}(\mathbb{R})$とは6行6列の実正方行列全体の集合である。
半角数字で答えよ。
古典制御論においてシステムの特性が線形微分方程式で表される場合、伝達関数は有理関数$$G(s)=\frac{b_ms^m+b_{m-1}s^{m-1}+…+b_1s+b_0}{a_ns^n+a_{n-1}s^{n-1}+…+a_1s+a_0}$$で与えられる。このときの分母多項式$$a_ns^n+a_{n-1}s^{n-1}+…+a_1s+a_0$$は複素数の範囲でn個の根を持ち、これらの実部が全て負であれば漸近安定、非正であればリアプノフ安定となる。
まずは分母多項式が2次の場合の安定条件を考える。
(1) $a,b$を実数とするとき、2次方程式 $x^2+ax+b=0$ の2解の実部が共に非正となるような$a,b$の条件を次の中から選べ。
1. $a\geq0$かつ$b\geq0$
2. $a\geq0$かつ$b\leq0$
3. $a\leq0$かつ$b\geq0$
4. $a\leq0$かつ$b\leq0$
次に分母多項式が4次の場合の安定条件を考える。
以下では、$p,q$を実数とし、4次方程式$$x^4+(p+q)x^3+(6-p^2-q^2)x^2+(p+q)x+1=0…(*)$$を考える。
(2) (*)の4解が全て実数解であり、かつ(実部が)全て非正となるような$p,q$の組について以下のうちどちらが正しいか。
1. 存在する。
2. 存在しない。
(3) (*)の4解の実部が全て非正となるような$p,q$の条件を求め、そのような$p,q$に対する$pq$の最大値を求めよ。
(1)~(3)の解答を半角数字で改行区切りで解答してください。
ただし、(1)の解答は1
から4
の中から選び、(2)の解答は1
,2
の中から選び、(3)の解答は$pq$の最大値のみ答えること。