Vを社会福祉とすると、V(W_1,...,W_H)と表せる。
1,...,Hは社会のメンバーに割り当てられた番号であり、Wは満足度である。
また、それぞれのメンバーhに財貨やサービスの転換T_hを課す(e.g. 所得税)。
また、T=(T_1,...,T_H)とおく。
Tが与えられた時、実現可能ベクトルの組(G,I)の集合をK_Tと表す。
hの実現可能集合F_hはG,I, T_hによって定まるので、F_h(G,I,T_h,X_{-h})と記す。ただしX_hは消費ベクトルである。
W_hは消費ベクトルX_hからW_h(X_h)によって決まる。
社会均衡X^*に到達していることとその均衡が一つしかないことを仮定する。均衡X^*はG,I,Tの関数である。
政府はその均衡を予測し、V(W(X_1^*),...,W(X_H^*))の結果を最大化するようにG,I,Tを選択する。
ここで、A: ℝᵐ × ℝⁿ → ℝᵖ は線形写像、B: ℝᵏᴴ → ℝᵖ は凸関数
ここで、Cₕ: ℝˡ × ℝᵐ × ℝⁿ × ℝᵏ → ℝᵠ は凸関数、Dₕ: ℝˡ⁽ᴴ⁻¹⁾ → ℝᵠ は線形写像
均衡 X*: ℝᵐ × ℝⁿ × ℝᵏᴴ → ℝˡᴴ の存在を証明するために:
一意性の証明:
1. Wₕ の Xₕ に関する Hessian 行列が負定値であることを示す
max[G∈ℝᵐ, I∈ℝⁿ, T∈ℝᵏᴴ] V(W₁(X₁*(G, I, T), G, I, T₁), ..., Wᴴ(Xᴴ*(G, I, T), G, I, Tᴴ))
制約条件:A(G, I) ≤ B(T)
L(G, I, T, λ) = V(...) - λᵀ(A(G, I) - B(T))
KKT条件:
1. ∇ᴳL = ∇ᴵL = ∇ᵀL = 0
2. λ ≥ 0
3. λᵀ(A(G, I) - B(T)) = 0
4. A(G, I) ≤ B(T)
均衡 X* のパラメータ (G, I, T) に関する感度を分析するために:
1. 陰関数定理を適用:∂X*/∂(G, I, T) = -[∇ₓF]⁻¹ ∇₍ᴳ,ᴵ,ᵀ₎F
ここで、F は均衡条件を表す関数
時間を連続変数 t ∈ [0, ∞) として導入し、動的システムを以下のように定義:
dX/dt = f(X, G, I, T)
ここで、f: ℝˡᴴ × ℝᵐ × ℝⁿ × ℝᵏᴴ → ℝˡᴴ は Lipschitz 連続
確率空間 (Ω, ℱ, P) を導入し、確率変数 ξ: Ω → ℝʳ を用いて不確実性をモデル化:
max[G,I,T] 𝔼ξ[V(W₁(X₁*(G, I, T, ξ), G, I, T₁, ξ), ..., Wᴴ(Xᴴ*(G, I, T, ξ), G, I, Tᴴ, ξ))]
制約条件:P(A(G, I) ≤ B(T, ξ)) ≥ 1 - α
ここで、α ∈ (0, 1) は信頼水準
2. 確率的勾配降下法を用いて数値的に解を求める