0
Sannikov（2007）の付録Aの証明
証明については、Sannikov（2007）の付録A 、「連続時間で不完全に観測可能なアクションを伴うゲーム」の証明についていくつか質問があります。 彼のリプシッツ連続示す補題4では、にθ、彼は補助関数導出F （θを'）、その誘導体をとり、境界その誘導体（41ページ）。彼はどのようにしてその束縛を得ますか？とは| V | ？彼はどのように関与する要因バインドすることが可能であるβ 1およびβ 2を？Ha(w,θ)Ha(w,θ)H_a(w,\theta)θθ\thetaF(θ′)F(θ′)F(\theta^\prime)|V||V||\mathcal{V}|β1β1\beta^1β2β2\beta^2 命題4では、なぜ客観性のリプシッツ連続性が価値関数の連続性を保証するのですか？これは最大定理に基づいていますか？もしそうなら、なぜ私たちはリプシッツの継続性を必要としたのですか？ また、命題4では、最初の曲率が正であることが、正のままであることを保証するのはなぜですか？ どのようにの冪等保証ことˉ Q ≥ 1？Qi(a)Qi(a)Q_i(a)Q¯≥1Q¯≥1\bar{Q} \geq 1