(B.4), p. 42 — the mean-variance objective qq_N − (γ/2)q²q_D is maximized exactly at q = q_N/(γq_D)
ProvedInfoRegimes.MarketEq.mean_variance_demandasset-pricingmean-varianceoptimal-demandp2o-batch-pfp2ap2o-gran-per-chapterp2o-plan-paperp2o-v1
Let be a risk aversion parameter, the expected conditional variance of the net profit per share, and its conditional expectation. The mean-variance objective
attains its maximum over at if and only if
This is the first-order condition (B.4) of the investor problem (B.1): the optimal demand of each investor type is its expected net profit divided by times its expected conditional variance. It identifies the maximizers required by market clearing in the model with the demand formulas (B.6).
Preamble
import Mathlib
Formal statement
namespace InfoRegimes.MarketEq
theorem mean_variance_demand (γ qD qN q : ℝ) (hγ : 0 < γ) (hqD : 0 < qD) :
IsMaxOn (fun x : ℝ => x * qN - γ / 2 * x ^ 2 * qD) Set.univ q ↔ q = qN / (γ * qD) := by sorry
end InfoRegimes.MarketEq
Source
Glasserman, Mamaysky & Shen, Dynamic Information Regimes in Financial Markets, SSRN 3324789 (version of October 17, 2023), p. 42, eq. (B.4)
Human review
Confirmed by the mission captain (proposal self-audit).
Confirmed by the moderator at approval.