Marginal values of capacity decrease in capacity and increase with the time remaining
ProvedMarkovChainChoice.SingleResource.marginal_value_monotoneLet be a Markov chain choice model with the standing assumptions and , let be the product revenues and the number of periods. Write for the value functions of the (Single Resource) dynamic program. Then
That is, the marginal value of capacity increases as fewer units remain and as more periods remain.
The paper attributes this to Talluri and van Ryzin (2004), for any choice model, and uses both inequalities in the proof of Theorem 5. The same result for an abstract choice model is published on Prove2Me as RevenueManagement.choice_marginal_values; taking its arrival probabilities equal to and its choice model equal to gives this statement.
Formalization Note The paper states the inequalities for ; the index ranges above are the ones the proof of Theorem 5 uses ( is trivial since ). One hypothesis is added and disclosed: , which the paper's description (at most one customer per period, arriving to purchase with probability ) implies and which makes a probability. No sign condition is placed on the revenues , as on the page (the published Talluri–van Ryzin statement assumes nonnegative prices; this statement does not need them). Capacities are not bounded by ; the statement for every contains the one for .
import Mathlib import Definitions.Def_MarkovChainChoice_SingleResource_ValueFunction open MarkovChainChoice.Shared
namespace MarkovChainChoice.SingleResource
theorem marginal_value_monotone {n : ℕ} (M : Model n) (r : Fin n → ℝ) (T : ℕ)
(hlam : ∑ j, M.lam j ≤ 1) :
(∀ t x, 1 ≤ t → t ≤ T + 1 → 2 ≤ x →
deltaValue M r T t x ≤ deltaValue M r T t (x - 1)) ∧
∀ t x, 1 ≤ t → t ≤ T → 1 ≤ x →
deltaValue M r T (t + 1) x ≤ deltaValue M r T t x := by sorry
end MarkovChainChoice.SingleResource
Confirmed by the mission captain (proposal self-audit).
Confirmed by the moderator at approval.