制御理論の問題
を正の整数とし、, , とする。系 , に、出力の積分 ()を付け加えた拡大系
を考える( は 次正方行列)。
拡大系 が可制御であるための必要十分条件は、「 が可制御」かつ
であることを証明せよ。
ただし、次の可制御性の判定法(PBH テスト)は用いてよい: , について、 が可制御であることと、すべての に対して であることは同値である。
この問題で使うもの
- 可制御性と可観測性(説明と入口の問題)
- 最小実現と極零相殺(説明と入口の問題)
- 行列の階数と解の存在(説明と入口の問題)
この問題を解けるようになるまで(85 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 三角形の角の大きさ
- 対頂角と平行線の同位角・錯角
- 三角形の外角と角の組み合わせ
- 小数の四則計算
- 分数のたし算・ひき算
- 分数のかけ算・わり算
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 正負の数の加法・減法
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 1 次方程式の解き方
- 二等辺三角形の角
- 平行四辺形と特別な四角形の性質
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 乗法公式による展開
- 折り返した図形の角と長さ
- 三平方の定理と平面図形
- ベクトルの演算と成分
- 行列の和・積と 2 次の逆行列
- 掃き出し法と連立 1 次方程式
- 行列の階数と解の存在
- 可制御性と可観測性
- 因数分解
- 3 次式までの展開と因数分解
- 微分係数と導関数の定義
- 多項式の微分
- 多項式の不定積分
- 等間隔にならんだ数の和
- 等差・等比数列の和と Σ
- 数列の極限
- 関数の極限
- 積と商の微分
- 合成関数の微分
- 円の周の長さと面積
- おうぎ形の弧の長さと面積
- 弧の長さからおうぎ形の中心角と面積を求める
- 特別な直角三角形の辺の比
- 弧度法と単位円による三角関数
- の極限
- 加法定理と 2 倍角・半角・積和の公式
- 三角関数の導関数
- 根号の乗除と加減
- 指数の拡張と指数関数
- 対数の定義と性質
- 自然対数の底
- 指数関数・対数関数の導関数
- 基本的な関数の不定積分
- 置換積分
- 部分積分
- 定積分の計算
- 定積分の置換・部分積分と偶関数・奇関数
- 広義積分
- 剰余の定理・因数定理と高次方程式
- 分数関数の積分(部分分数分解)
- ラプラス変換と逆変換
- 変数分離形
- 比例・反比例の式とグラフ
- 関数 の式と変域
- 平方完成と 2 次関数のグラフ
- 2 次不等式
- 増減表と極値
- 関数の連続性と中間値の定理
- 平均値の定理
- 第 2 次導関数とグラフの凹凸
- 増減・凹凸・漸近線とグラフ
- テイラー展開
- 無限等比級数と無限級数
- べき級数と収束半径
- 複素数と 2 次方程式の虚数解
- オイラーの公式
- 三角関数の合成
- 定数係数 2 階線形(斉次)
- 1 階線形微分方程式
- 定数係数 2 階線形(非斉次)
- ラプラス変換による微分方程式の解法
- 掃き出し法による逆行列
- 伝達関数と極・零点
- 最小実現と極零相殺
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
PBH テストを拡大系に使い、 の階数を調べます。 と で様子が違うので、場合を分けましょう。
ヒント 2
のときは右下の を使った列基本変形で のブロックを消せます。 のときは が現れます。
ヒント 3
では 、 では に等しくなります。必要性では、 での の PBH 条件をどこから得るかに注意しましょう。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
PBH テストを拡大系に適用し、 をブロック形で正しく書き、 と に場合分けしている(1 点)
のとき、 を用いた正則な列変形で のブロックを消し、階数が になることを示している(3 点)
のとき、零列を除き符号を調整して、階数が に等しいことを示している(2 点)
十分性: の PBH 条件と階数条件から、すべての で拡大系の PBH 条件が成り立つことを導いている(2 点)
必要性: 階数条件を得たうえで、その上側 行が一次独立であることから での を導き、 と合わせて の可制御性を結論している(2 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
方針. PBH テストを拡大系に適用し、 と に場合を分けて、行列
の階数を の言葉で表す。PBH テストより、 が可制御 すべての で である。
ステップ 1: の場合. 正則行列
(ブロック下三角で対角ブロックが単位行列なので行列式は )を右から掛けると、第 1 ブロック列は
となり、他のブロック列は変わらないので
正則行列を掛けても階数は変わらず、この行列は(列の並べ替えで)ブロック対角 の形なので
よって のとき、。
ステップ 2: の場合.
零の列ブロックは階数に寄与しないので 。さらに第 1 ブロック列に を掛け(右から )、次に第 2 ブロック行に を掛ける(左から )と になる。これらは正則行列による変形なので
ステップ 3: 十分性. が可制御で、 とする。PBH テストを に使うと、すべての で 。よってステップ 1 から で 、ステップ 2 から 。PBH テストより は可制御である。
ステップ 4: 必要性. が可制御とする。PBH テストより、すべての で 。
- ステップ 2 より 。
- この 行の行列の階数が なので、その 本の行は一次独立であり、特に上の 本の行 も一次独立である。よって ( と で列空間の次元は等しい)。
- については、ステップ 1 より 。
したがってすべての で となり、PBH テストより は可制御である。
結論. ステップ 3, 4 より、拡大系 が可制御であることは、 が可制御かつ であることと同値である。