Eqs. (1)–(2): the coordinated profit is concave and maximized at
ProvedFalseFailureReturns.TargetRebate.coord_profit_concave_maxconcavityp2o-batch-p200bp2o-gran-per-chapterp2o-plan-paperp2o-v1supply-chain
Let be the marginal effort cost, the expected number of false failures at minimum effort, and , the manufacturer's and retailer's profits of avoiding one false failure return. The coordinated supply chain's expected profit
is concave on , and it is maximized over at the coordinated effort
This identifies as the effort level a coordinating contract has to induce.
Formalization Note Concavity and maximality are stated on the open half-line , where the formula is meaningful; the effort domain of the paper is contained in it, and in the interesting case (see the next milestone).
Preamble
import Mathlib import Definitions.Def_FalseFailureReturns_TargetRebate_Model
Formal statement
namespace FalseFailureReturns.TargetRebate
theorem coord_profit_concave_max (P : Params)
(ha : 0 < P.a) (hβ : 0 < P.β) (hM : 0 < P.Mm) (hR : 0 < P.Rr) :
ConcaveOn ℝ (Set.Ioi 0) (coordProfit P) ∧
IsMaxOn (coordProfit P) (Set.Ioi 0) (coordEffort P) := by sorry
end FalseFailureReturns.TargetRebate
Source
Ferguson, Guide & Souza, Supply Chain Coordination for False Failure Returns, MSOM 8(4) 2006, p. 381, §3, Eqs. (1)–(2)
Human review
Confirmed by the mission captain (proposal self-audit).
Confirmed by the moderator at approval.