制御理論の問題
を正の整数とし、, , , および正定値対称行列 が与えられているとする。 は可観測、すなわち可観測性行列
の階数が であるとする。実対称行列 が半正定値であり、代数リッカチ方程式
を満たすとき、 は正定値であることを証明せよ。ただし、実対称行列が正定値であることと、半正定値かつ正則であることが同値であることは用いてよい。
この問題で使うもの
- 行列リッカチ方程式と最適コスト(説明と入口の問題)
- 可制御性と可観測性(説明と入口の問題)
- 行列の階数と解の存在(説明と入口の問題)
- 核と像と次元定理(説明と入口の問題)
この問題を解けるようになるまで(93 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 乗法公式による展開
- 因数分解
- 3 次式までの展開と因数分解
- 微分係数と導関数の定義
- 多項式の微分
- 多項式の不定積分
- 等間隔にならんだ数の和
- 等差・等比数列の和と Σ
- 数列の極限
- 関数の極限
- 積と商の微分
- 合成関数の微分
- 円の周の長さと面積
- おうぎ形の弧の長さと面積
- 弧の長さからおうぎ形の中心角と面積を求める
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 特別な直角三角形の辺の比
- 弧度法と単位円による三角関数
- の極限
- 加法定理と 2 倍角・半角・積和の公式
- 三角関数の導関数
- 根号の乗除と加減
- 指数の拡張と指数関数
- 対数の定義と性質
- 自然対数の底
- 指数関数・対数関数の導関数
- 基本的な関数の不定積分
- 置換積分
- 部分積分
- 定積分の計算
- 定積分の置換・部分積分と偶関数・奇関数
- 広義積分
- 剰余の定理・因数定理と高次方程式
- 分数関数の積分(部分分数分解)
- 変数分離形
- 1 階線形微分方程式
- 分母の有理化
- 乗法公式・分配法則を使う根号の式の展開
- 根号を含む式の計算と分母の有理化
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 1 次方程式の解き方
- 比例・反比例の式とグラフ
- 関数 の式と変域
- 平方完成と 2 次関数のグラフ
- 2次方程式の解の公式と判別式
- スカラー系の最適レギュレータ
- 三角形の角の大きさ
- 対頂角と平行線の同位角・錯角
- 三角形の外角と角の組み合わせ
- 二等辺三角形の角
- 平行四辺形と特別な四角形の性質
- 折り返した図形の角と長さ
- 三平方の定理と平面図形
- ベクトルの演算と成分
- 行列の和・積と 2 次の逆行列
- 掃き出し法と連立 1 次方程式
- 行列の階数と解の存在
- 可制御性と可観測性
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 順列・円順列・重複順列
- 行列式
- ベクトル空間・一次独立・基底・次元
- 線形変換と行列
- 核と像と次元定理
- 固有値と固有ベクトル
- 掃き出し法による逆行列
- 基底の変換と表現行列
- 対角化と行列の累乗
- 最大公約数と最小公倍数
- 比の性質と簡単な比
- 相似な三角形と長さの比
- 三角形の相似条件と対応する辺の長さ
- 三角比の定義と値
- 内積となす角
- 内積空間とグラム・シュミットの直交化
- 対称行列の直交対角化
- 2 次形式の標準形と符号
- 行列リッカチ方程式と最適コスト
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
が半正定値であることは仮定にあるので、 を示せば十分です。 となる をとって、リッカチ方程式に掛けてみましょう。
ヒント 2
リッカチ方程式を の形にすると が、右から だけを掛けると が出てきます。つまり は で不変で、 に含まれます。
ヒント 3
なら かつ です。これを繰り返し使うと、 、すなわち が得られます。あとは可観測性の仮定をどう使うかを考えましょう。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
が半正定値であることから、正定値性を示すには ( の正則性)を示せば十分だと述べている(1 点)
のとき、リッカチ方程式を で挟み、 の対称性を使って他の項が消えることを確かめたうえで 、すなわち を導いている(3 点)
リッカチ方程式に右から を掛け、 と を使って 、すなわち が 不変であることを導いている(2 点)
帰納法などで、すべての について と を示し、 を得ている(2 点)
可観測性行列の階数が であることから を結論し、 が正定値であると締めくくっている(2 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
方針. は半正定値なので、 が正則であること、すなわち を示せばよい(問題文で用いてよいとされた事実)。そこで をとり、 を導く。
ステップ 1: ならば かつ .
が を満たすとする。 は対称なので でもある。
リッカチ方程式の左から 、右から を掛けると
第 1〜3 項は , よりすべて なので、
となり、 が従う。
次に、リッカチ方程式の右から だけを掛けると
と、いま示した より第 1, 3, 4 項は で、残るのは である。よって 。
ステップ 2: 帰納法. を固定する。すべての整数 について「」が成り立つことを に関する帰納法で示す。 のときは仮定そのものである。 と仮定すると、ステップ 1 をベクトル に適用して を得る。よってすべての で 。
さらにステップ 1 の前半を に適用すると、すべての で が成り立つ。特に について なので
ステップ 3: 可観測性の利用. は 行列で階数が なので、その列ベクトルは一次独立であり、 を満たす は に限る。したがって 、すなわち は正則である。
結論. は半正定値かつ正則な実対称行列であるから、正定値である。