博 士（ 情報 科学 ）西村悠樹
学位論文題 名非線形ダイナミカルシステムにおける固有値解析を用いた
Lyapunov
関 数の構築 法に関す る研究
学位 論文内容の要旨
ダイナミカルシ ステムの安定性解析に関する理論は，その必要性や有用性をどを動機として従来より様々を形で発 展してきた．システムに適切を入カを加えることで所望の状態や出カを得ようという目的の制御工 学においても安定性理論は非常に重要である．をぜをらぱ，対象とをるシステムをどのようを意味 で安定とするのかが制御工学における大きを問題設定とをっているからである，
非線形ダイナミ カルシステムの内部安定性に ついての理論においては， Lyapunovによる理論が精力的に研究され ている．この理論は広範囲をダイナミカルシステムに対して適用可能であり，時変系か時不変系か，集中定数系か分布定数系か，確定系か確率系か，そして，線形系か非線形系かに関わらず安定性判別が可能である．また，Lyapunov安定論における安定判別法は極めて明快である．
端的に述べるをら ば，ダイナミカルシステムの 孤立平衡点に対してLyapunov関数と呼ばれる関数が存在すれば，当該システムの平衡点は安定である．また，同理論の有用誼点はこれだけではをく，ほかの数多くの制 御理論との相性が良いという点も挙げられる．例えば，最適レギュレータ問題において，制御則を 決める値関数と呼ばれる関数はLyapunov関数とをることが知られている，あるいは，ある制御シス テムの閉ループ系がLyapunov安定であるをらぱ，対応す るLyapunov関数は元の制御前のシステム に対する制御Lyapunov関数と をる，この事実を用いれぱ 逆最適制御設計が可能とをるが，これはある意味で「より良い」．制御則を導けるということである．このほか，消散性や入出力 安 定性 に関 する 議論 ， ロ′ ヾス ト制 御 や適 応制 御を どに も Lyapunov安定 論は顔を出 す，このように，多 岐にわたって重要顔役割を演じているLyapunov
安定論だが，その中心部分において大きを未解決問 題を孕んでいる．それはっまり，Lyapunov関数をどのように構築できるか，という問題である．この問題についてはこれまで数多くの研究が為されてきた．著しい成果としては，例
えぱ KrasovskiiはLyapunov関数の 候補を正定二次形式とする ことで当該候補が真にLyapunov関数であるかを判Sijする手法を提案した．また，Schultzが示したのは正定関数の勾配を上手く構成するこ と でLyapunov関数としての性 質を持つようにする可変勾配 法であった．Zubovは，Lyapunov関数の時間導関数 が負定とをるという性質をもとに偏微分方程式を立て，逐次近似法を用いることで特定の条件を満 たす解をLyapunov関数として 得るという手法を確立した．更に，Zubovによる手法はVannelliandVidyasagarにより拡張され，近年そはC
amillietal．によって摂動系，確率系，制御系に適用され改良された．
これらの有カな 手法があるにも関わらず，Lyapunov
関数を構築する統一的を手法は未だ得られていをい．また，不 連続状態フイードバック制御則のようを非解析的を関数を制御入カとしをけれぱ
をらをいよう顔シ ステムに対しては，不可微分 を領域を持つLyapunov関数 を要求されることもあー853―

り，そのようを場合において問題を解決できる手法が求められている．
本論文に おける 主題は ，非線形ダイナミカルシステムにおけるL
yapun
ov関数構築問題に対する新しい解決法を模索することにあり，これに関して差分近似法と確率過程論，および量子論的類推を用いた近似的を解決法を提案した．
本提案手法にて用いた近似手法は，まず差分法である，この手法そのものは至って簡素であり，前進差分，後退差分，および中心差分を採用した．これらを用いて非線形伊藤型確率微分方程式系の 最適制 御問題 におけ る支配方程式であるHamilton‑Jacobi
一Bell
man方程式を有限差分近似した
Kushnerにを らい， Lyapunov関数を 求める 為のZubovによる 偏微分 方程式(Lyapunov方程式 ）を差分近似した．
本論文ではさらに，確定システムを確率システムとして取り扱った．そして，非線形常微分方程式
系 におけ るLyapunov方 程式を，連続時間離散状態の確率過程におけるマスター方程式であるとみをした．以上の経緯を経て，確率過程を量子論的に取り扱った．この事実，すをわち，Kushnerの手法から出発すると量子論的を類推が可能とをるという点が，本提案手法の理論展開において肝要を点である．極ぜをらば，導出された量子論的方程式(
Schrodinger‑like方程式）の解は，ある可分複素Hilbert空間上のべクトルに作用する線形演算子の固有値および固有ベクトルを用いて表現されるからである．っまり，Lyapunov方程式を解く問題が，Schrodinger‑like方程式の固有値問題を解く問題に帰着された．そして，この事実を用いて離散値を取る状態空間上におけるLyapunov関数を構築する手法を提案した．
また．上述の議論は伊藤型確率微分方程式系に対しても同様の議論が可能であることを示した．
た だし， 確率シ ステム におけるLyapunov安定論は，確定システムの場合とは異をるため，問題設定 につい て検討 しをお す必要があった．をぜをらぱ，確定システムにおいてLyapunov安定またはLyapunov漸近安定と呼んだ概念が，確率システムにおいては一意に定まらをくをるからである．これはひとえにWiener過程による拡散項の影響であるが，本論文ではこの問題に対する処方として，Kushnerによる 確率漸 近安定 性に関 するLyapunov安定定理を紹介し，それをもとに定義された確率的Lyapunov関数に対して本提案手法が適用可能であることを示した．
本論文ではさらに，本提案手法における幾っかのjFc点について考察した．それらは主に，境界条件を定めずとも計算ができる点，時間に関する反復計算を行わをい点，および，解くべき問題が疎行列の固有値方程式とをる点である．また，本提案手法が有効であることを，幾つかの単純をモデルに適用し数値計算することで示した，以上をまとめると，次のようにをる．本論文では，非線形ダイナミカルシステムである，確定集中定数系および確率集中定数系に対するLyapunov関数を，Schrodinger‑like方程式における固有値およぴ固有関数から導くという新手法を提案した．また，同提案手法の有用性について考察し，有効性について数値計算を行い検討した，― 854―

学位論文審査の要旨
主査
副査
副査
副査

教授

山下教授

小野里教授
准教 授

金井
石動裕
雅彦
理
善久

学 位 論 文 題 名

非線形ダイナミカルシステムにおける固有値解析を用いた
Lyapunov関数 の構築法に関する研究
本論 文では，非線形ダイナミカ ルシステムのLyapunov関数を構築する新手法が提案されている．
LyapunoV関 数は ，シ ステ ム の安定性を保 証する関数である．Lyapunov安定論は広範囲なダイナミカ ルシステムに対して適用可 能であり，システムが時変系か時不変系か，集中定数系か分布定数系か，確定系か確率系か，そして，線形系か非線形系かに関わらず安定性判別が可能である．しかし，L
yapunov関数をどのように構築できるか，という問題はいまだ未解決である．また，不連続状態
フイー ドバック制御則のような非 解析的な関数を制御入カとしなけれぱならないようなシステムに対して は，不可微分な領域を持つ Ly
apunov関数を要求されることもあり，そのような場合において問題を解決できる手法が求められている．本論文における主題は，非線形ダイナミカルシステムにおけるLyapunov関数構築問題に対す る新しい解決法を模索するこ とにあり，これに関して方向付き差分近 似法と確率過程論，および 量子論的アナロジーを用いた近似的な解決法が提案されている・
本提案手法にて用いた近似手法は，妾ず差分法であり，前進差分，後退差分，および中心差分が採用され ている，これらを用いて非 線形伊藤型確率微分方程式系の最適制御問題における支配方程式であるHamilton‑Jacobi‐Benm孤方程式を有限差分近似したK：ushn．erにならい，Lyapunov関数を求める為のIヅap岨10ヅ方程式を差分近似している．
本論文ではさらに，確定システムを確率システムとして取り扱っている．そして，非線形常微分方程式系 におけるLyapuD0v方程式を ，連続時間離散状態の確率過 程におけるマスター方程式であるとみなしている．以上の経緯を経て，確率過程を量子論的に取り扱っている．この，方向付き差分近似法か ら出発すると量子論的な類 推が可能となるという点が，本提案手法の理論展開において肝要な点である．なぜならば，導出された量子論的方程式（Schめdinger11ike方程式）の解は，ある可分複素 Imben空間上 のべクトルに作用する線形演 算子の固有値および固有ベ クトルを用いて表現されるから である．っまり，Lyapunov方程式を解く問題が，Schめding野like方程式の固有値問題を解く問題に 帰着された．そして，この 事実を用いて離散値を取る状態空間上におけるLyap恥ov関数を構築する手法を提案している．また，上述の議論は伊藤型確率微分方程式系に対しても同様の議論が可能であ ることが示されている，た だし，確率システムにおけるL
yap弧0v安定論は，確定システムのー 855ー

場合とは異なるため，問題設定について検討しなおす必要がある．ナょぜならぱ，確定システムにおいてI´yapllDov安定 またはLyapunav漸近安定と呼 んだ概念が，確率システムにおいては一意に定まらぬくなるからであ る．これはWiener過程による拡散項の影響であるが，本論文ではこの問題に対する処方として，K：ushnerによる確率漸近安定性に関するLyapunov安定定理を紹介し，それをもとに定 義 され た確 率的 りap曲 ov関 数に 対し て本 提 案手 法が 適用 可 能で ある こと を示 している．
本論文ではさらに，本提案手法における幾っかの利点について考察している，それらは主に，境界条件を定めずとも計算ができる点，時間に関する反復計算を行わない点，および，解くべき問題が疎行列の固有値方程式となる点である．また，本提案手法が有効であることを，幾っかの単純なモデルに適用し数値計算することで示している．
本論文の構成は次のとおりである．まず，第一章およぴ第二章では，基礎事項として，用語説明，確率過程論，Lyapunov安定論および最適制御問題 についてまとめられている． Lyapun
ov安定論では確率システムにも触れられており，最適制御理論においては，H
a面1ton‐Jacobi
一Beuman偏微分方程式の弱解として粘性 解理論を用いることができることまで言及している．次に，第三章および第四章では本論文の主要 テーマで用いる手法の説明がなされている．第三章では，方向付き差分近似法と，その有用な適用 例である水平面劣駆動2リン クアームの安定化問題について述べられている．
同システムは，非ホ ロノミックシステムと呼ぱれるシステムであり，時不変の安定化器が不連続状
態フイードバック則 しか持たず，制御の難しいシステムとして知られている，第四章では，確率過程の量子化と呼ばれ る手法を紹介している．これは，確率過程におけるマスター方程式を，量子力学的な方程式である Schめdingedike方程式に置 換するという手法である．そ して，第五章およぴ
第六章では本論文の 主テーマである，非線形ダ イナミカルシステムにおける 固有値解析を用いたLyap衄0v関数の構築 法が提案されている．第三 章および第四章の手法を用い て，Lyapunov方程式をSchr6dingeHike方 程式として近似し，同方程 式における線形演算子につい ての固有値およぴ固有関数を重ね合わせ ることでSchめdingeHike方程式の解を得ている．その後に，得られた固有関数を適切に重ね合わせ ることで離散状態空間におけるLyaplmov関数を構築する手法を提案している．
なお，第五章では常微分方程式系を，第六章では伊藤型確率微分方程式系を，それぞれ対象としている．また，いずれの章においても簡単な数値例によって本提案手法の有用性が確認されている．第七章では考察と今後の展望が，第八章では結言が述べられている．
これを要するに， 著者は確定系および確率系のLyap1】D0v関数をS
chr6d血geやlike方程式の固有解析により求める新 手法を提案したものであり，制御理論およびダイナミカルシステム理論の発展に寄与するところ大なるものがある．よって，著者は北海道大学博士（情報科学）の学位を授与される資格あるものと認める．

― 856―