ハミルトン-ヤコビ-ベルマン(HJB)方程式(ハミルトン–ヤコビ–ベルマンほうていしき、英: Hamilton–Jacobi–Bellman equation)は、最適制御理論の根幹をなす偏微分方程式である。
その解を「価値関数(value function)」と呼び、対象の動的システムとそれに関するコスト関数(cost function)の最小値を与える。
HJB方程式の局所解は最適性の必要条件を与えるが、全状態空間で解けば必要十分条件を与える。解は開ループ制御則となるが、閉ループ解も導ける。以上の手法は確率システムへも拡張することができるほか、古典的変分問題、例えば最速降下線問題も解くことができる。
HJB方程式は1950年代のリチャード・ベルマンとその共同研究者を先駆とする「動的計画法(Dynamic programming)」理論の成果として得られた[1]。その離散時間形式は通常「ベルマン方程式」と呼称される。
連続時間においては、古典物理学におけるハミルトン-ヤコビ方程式 (ウィリアム・ローワン・ハミルトン (William Rowan Hamilton) および、カール・グスタフ・ヤコブ・ヤコビ (Carl Gustav Jacob Jacobi)による) の拡張形とみなせる。
最適制御問題[編集]
時間範囲
における次式の最適制御問題について考える。
![{\displaystyle V(x(0),0)=\min _{u}\left\{\int _{0}^{T}\!\!\!C[x(t),u(t)]\,dt\;+\;D[x(T)]\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22e50bc24ee90ef8bd36fba461fa321c20f9f154)
ここで、
は、スカラーの微分コスト関数(cost rate function)、
は終端状態の望ましさ、ないし経済価値を与える関数、
はシステムの状態ベクトル、
はその初期値、
は我々が求めたいと考えている時間
の制御入力ベクトルである。
対象とするシステムは以下のダイナミクスに従うとする。
![{\displaystyle {\dot {x}}(t)=F[x(t),u(t)]\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75ed914d23651470383a9791606522f81bf11bea)
ここで、
はシステムの状態の時間発展を与える関数ベクトルである。
HJB方程式[編集]
このシステムに関するハミルトン-ヤコビ-ベルマン(HJB)方程式は次の偏微分方程式で表される。
![{\displaystyle {\dot {V}}(x,t)+\min _{u}\left\{\nabla V(x,t)\cdot F(x,u)+C(x,u)\right\}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/effd6c61ac89b4403669ed51e8d45ec6294b0bb1)
その終端条件は以下の通り。
![{\displaystyle V(x,T)=D(x),\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9e2a8f575164227d3c7405de2daa38a85d0c4d9)
ここで、
はベクトル
と
の内積、
は 勾配 オペレーター。
上述の方程式に現れる未知のスカラー関数
をベルマンの「価値関数」と呼ぶ。
は初期状態
と時刻
から、時刻
までシステムを最適に制御した場合に得られる最小コストを表している。
HJB方程式の導出[編集]
直感的には、HJB方程式は以下のように導出できる。
が上述の価値関数(すなわち最小コスト)であったとすれば、Richard-Bellmanの「最適性の原理」から、 時間
から
までの変化は次式で表現できる。
![{\displaystyle V(x(t),t)=\min _{u}\left\{\int _{t}^{t+dt}\!\!\!\!\!\!\!\!C(x(s),u(s))\,ds\;\;+\;\;V(x(t\!+\!dt),t\!+\!dt)\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f51c3601e57df0b60f8ceecdc9c6d958cce38713)
右辺の第二項が次のように テイラー展開 できることに注目しよう。
![{\displaystyle V(x(t\!+\!dt),t\!+\!dt)\;=\;V(x(t),t)+{\dot {V}}(x(t),t)\,dt+\nabla V(x(t),t)\cdot {\dot {x}}(t)\,dt\;+\;o(dt),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6402e9a465cf17a6f56d1a5dd7ab3844d74ba42)
はテイラー展開の2次以上の高次項をランダウ記法で表現したものなので無視することにする。価値関数の式にこれを代入した後、 両辺の
を相殺し、
で割ってゼロに漸近させれば、上述のHJB方程式が導出できる。
HJB方程式の解法[編集]
HJB方程式は通常、
から
へ向かって時間を遡る方向で解かれる。
全状態空間で解かれた場合、HJB方程式は最適性の必要十分条件を与える[2]。
に関して解ければ、そこからコスト関数を最小化する制御入力
が得られる。
![{\displaystyle u(t)=\arg \min _{u}\left\{\nabla V(x,t)\cdot F(x,u)+C(x,u)\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43e2e830d76ae07fd63ede634ca2288a9b7d6150)
一般的にHJB方程式は古典的な(なめらかな)解をもたない。 そのような場合の解法として、粘性解 (Pierre-Louis Lions と Michael Crandall)、ミニマックス解 (Andrei Izmailovich Subbotin 露) などが存在する。
確率システムへの拡張[編集]
システムの制御問題にベルマンの最適性原理を適用し、最適制御戦略を時間を遡る形で解く手法は、確率微分方程式で表現されるシステムの制御問題へ拡張することができる。上述の問題に良く似た次の問題を考えよう。
![{\displaystyle \min \operatorname {E} \left\{\int _{0}^{T}C(t,X_{t},u_{t})\,dt+D(X_{T})\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b589e289a096119ee5feff1172977b4eee35f7be)
ここでは、最適化したい(1次元)確率過程
とその入力
を考える。確率過程
は次の確率微分方程式に従う拡散過程(英語版)であるとする。
![{\displaystyle dX_{t}=\mu (t,X_{t},u_{t})dt+\sigma (t,X_{t},u_{t})dw_{t},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f36d14a26d4685cefbefdef03e9e765b2184b0be)
ただし、
は標準ブラウン運動(ウィーナー過程)であり、
は標準的な仮定を満たす可測関数であるとする。直観的に解釈すれば、状態変数
は瞬間的に
だけ増減するが、同時に正規ノイズ
の影響も受けている。この時、ベルマンの最適性原理を用い、次に価値関数
を伊藤のルールを使って展開することにより、価値関数についてのHJB方程式が得られる。
![{\displaystyle -{\frac {\partial V(x,t)}{\partial t}}-\min _{u}\left\{{\mathcal {A}}^{u}V(x,t)+C(t,x,u)\right\}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1994b816b39b7eb70074c8d35922a48d0aca230)
ここで、
は無限小生成作用素(英語版)と呼ばれる関数作用素で以下のように表される。
![{\displaystyle {\mathcal {A}}^{u}V(x,t):=\mu (t,x,u){\frac {\partial V(x,t)}{\partial x}}+{\frac {1}{2}}{\Big (}\sigma (t,x,u){\Big )}^{2}{\frac {\partial ^{2}V(x,t)}{\partial x^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/395e6e8dabdde0a5abaaab1d490f301c2896befb)
非確率的な設定の下では存在しなかった
に価値関数
の
についての2回微分を掛けた項が足されているが、この項は伊藤の公式により生じている。終端条件は次式である。
![{\displaystyle V(x,T)=D(x)\,\!.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f1999852836a6785a1bd45bf961882ca802ccb6)
ランダム性が消えたことに注意しよう。 この場合、
の解は元の問題の最適解の候補であるにすぎず、さらなる検証が必要である[注釈 1]。 この技術は金融工学において、市場における最適投資戦略を定めるため広く用いられている (例: マートンのポートフォリオ問題)。
ハミルトン–ヤコビ–ベルマン–アイザックス方程式[編集]
プレイヤー1と2の二人からなる非協力ゼロサムゲームを考える[3]。ミニマックス原理はこの設定でも成立し、プレイヤー1の最適制御問題はプレイヤー1の制御変数を
として以下のように表される。
![{\displaystyle \max _{u}\min _{v}\operatorname {E} \left\{\int _{0}^{T}C(t,X_{t},u_{t},v_{t})\,dt+D(X_{T})\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ef619ad466fea097936877248a096b44752eefa)
ただし、状態変数
は次の確率微分方程式に従うとする。
![{\displaystyle dX_{t}=\mu (t,X_{t},u_{t},v_{t})dt+\sigma (t,X_{t},u_{t},v_{t})dw_{t}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa218390de58da759b7d4ab624196f81dc348874)
この問題においてはプレイヤー2の制御変数
が問題に導入されている。プレイヤー1の問題の価値関数は以下のハミルトン–ヤコビ–ベルマン–アイザックス方程式(HJBI方程式、英: Hamilton–Jacobi–Bellman–Isaacs equation (HJBI equation))[注釈 2]の粘性解となる。
![{\displaystyle -{\frac {\partial V(x,t)}{\partial t}}-\max _{u}\min _{u}\left\{{\mathcal {A}}^{u,v}V(x,t)+C(t,x,u,v)\right\}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7609b923fbe36bc97c150f4d53f2b1ebfd255c6c)
ここで、
は無限小生成作用素で以下のように表される。
![{\displaystyle {\mathcal {A}}^{u,v}V(x,t):=\mu (t,x,u,v){\frac {\partial V(x,t)}{\partial x}}+{\frac {1}{2}}{\Big (}\sigma (t,x,u,v){\Big )}^{2}{\frac {\partial ^{2}V(x,t)}{\partial x^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/943b46a121de5716f21580173a07f20ae9c4200a)
終端条件は次式である。
![{\displaystyle V(x,T)=D(x)\,\!.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f1999852836a6785a1bd45bf961882ca802ccb6)
HJBI方程式に含まれる
についての最大化問題と最小化問題の解がこのゲームの(マルコフ)ナッシュ均衡となる。
最適停止問題[編集]
次の最適停止問題を考える[4]。
![{\displaystyle \max _{\tau }\operatorname {E} \left\{\int _{0}^{\tau }C(t,X_{t})\,dt+D(X_{T})\mathbf {1} \{\tau =T\}+F(\tau ,X_{\tau })\mathbf {1} \{\tau <T\}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b108dd2b957606904d00b3c2fe27964af4692e18)
ここで
は特性関数で
内の事象が起きれば1、そうでなければ0を返す関数である。状態変数
は次の確率微分方程式に従うとする。
![{\displaystyle dX_{t}=\mu (t,X_{t})dt+\sigma (t,X_{t})dw_{t}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/433ec67362f15911510906a85fead61fdd9084ff)
すると、価値関数
は次のHJB方程式の粘性解となる。
![{\displaystyle \min \left\{-{\frac {\partial V(x,t)}{\partial t}}-{\mathcal {A}}V(x,t)-C(t,x),\quad V(x,t)-F(t,x)\right\}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f24ae450eb2573d00c363764db81f332b6ade960)
ただし、無限小生成作用素
は次のように表される。
![{\displaystyle {\mathcal {A}}V(x,t):=\mu (t,x){\frac {\partial V(x,t)}{\partial x}}+{\frac {1}{2}}{\Big (}\sigma (t,x){\Big )}^{2}{\frac {\partial ^{2}V(x,t)}{\partial x^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76fa5558c5aad1e6525fbb6224db5a6886b1dc15)
終端条件は次式である。
![{\displaystyle V(x,T)=D(x)\,\!.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f1999852836a6785a1bd45bf961882ca802ccb6)
最適制御となる停止時刻(英語版)は次で与えられる。
![{\displaystyle \tau ^{*}:=\min\{\inf\{t\in [0,T]\;:\;V(X_{t},t)=F(t,X_{t})\},\;T\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac2512a7ee126d93883b62b748365c2d670ae3f3)
最適停止問題はアメリカンオプションの価格付け問題などで現れる。
Linear Quadratic Gaussian (LQG)制御への応用[編集]
一例として、二次形式のコスト関数を持つ線形確率システムの問題を扱ってみよう。 以下のダイナミクスを持つシステムを考える。
![{\displaystyle dx_{t}=(ax_{t}+bu_{t})dt+\sigma dw_{t},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78ad2d462e3b9a2caf817173f45a75c247149b7b)
微分コスト関数が、
で与えられるとすれば、HJB方程式は以下のように与えられる。
![{\displaystyle -{\frac {\partial V(x,t)}{\partial t}}={\frac {1}{2}}q(t)x^{2}+{\frac {\partial V(x,t)}{\partial x}}ax-{\frac {b^{2}}{2r(t)}}\left({\frac {\partial V(x,t)}{\partial x}}\right)^{2}+{\frac {1}{2}}\sigma ^{2}{\frac {\partial ^{2}V(x,t)}{\partial x^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67b2203670bd6c14dce4b9bf8a89c28ecd164155)
二次形式の価値関数を仮定する事により、通常のLQG制御と同様に、価値関数のヘシアンに関する一般的な リカッチ方程式を得ることが出来る。
HJB方程式の応用[編集]
HJB方程式は連続時間の最適制御において基本となる方程式であり、様々な分野で応用されている。例えば、
などが挙げられる。
関連項目[編集]
- ベルマン方程式 - ハミルトン-ヤコビ-ベルマン方程式の離散時間形式
- ポントリャーギンの最小原理(最大原理)(英語版) - ハミルトニアンを最小化することにより最適性に関する必要条件を与えているが、十分条件ではない。ただし、HJB方程式による最適化と比較して、注目する単一の軌道上で満たされるだけで良いという長所を持つ。
- 微分動的計画法 - DDP。効率的な最適軌道計算法の一つ
- ^ Bellman, R. E. (1957). Dynamic Programming. Princeton, NJ
- ^ Bertsekas, Dimitri P. (2005). Dynamic Programming and Optimal Control. Athena Scientific
- ^ Fleming, W.; Souganidis, P. (1989), “On the Existence of Value Functions of Two-Player, Zero-Sum Stochastic Differential Games”, Indiana Univ. Math. J. 38 (2): 293–314, http://www.iumj.indiana.edu/docs/38015/38015.asp 2016年9月24日閲覧。
- ^ Pham, Huyên (2009), Continuous-Time Stochastic Control and Optimization with Financial Applications, Springer, ISBN 3540894993
参考文献[編集]
![](//upload.wikimedia.org/wikipedia/commons/thumb/6/64/Question_book-4.svg/50px-Question_book-4.svg.png) | 出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。(2016年10月) |
関連文献[編集]