§3.1, Eq. (10): the coordinating target , admissible iff
ProvedFalseFailureReturns.TargetRebate.coordinating_target_iffcontractsp2o-batch-p200bp2o-gran-per-chapterp2o-plan-paperp2o-v1principal-agentsupply-chain
Let , , , with , and let . For a target rebate contract with and the following are equivalent:
- coordinates the supply chain (the coordinated effort maximizes over ) and satisfies ;
- is given by
and .
In words: for each rebate there is exactly one admissible coordinating target, and it exists precisely when the rebate exceeds the manufacturer's own profit of avoiding a false failure return. In particular coordinating contracts with exist, so the hypotheses of Proposition 2 can be met.
Preamble
import Mathlib import Definitions.Def_FalseFailureReturns_TargetRebate_Model import Definitions.Def_FalseFailureReturns_TargetRebate_UniformRebate
Formal statement
namespace FalseFailureReturns.TargetRebate
theorem coordinating_target_iff (P : Params) (T u : ℝ)
(ha : 0 < P.a) (hβ : 0 < P.β) (hM : 0 < P.Mm) (hR : 0 < P.Rr)
(hint : P.a < (P.Mm + P.Rr) * P.β) (hu : 0 < u) (hT : 0 < T) :
(Coordinates P T u ∧ T < 2 * P.β / coordEffort P) ↔
(T = 2 * P.β ^ ((2 : ℝ) / 3) * P.a ^ ((1 : ℝ) / 3) * P.Mm ^ ((1 : ℝ) / 2) /
(u ^ ((1 : ℝ) / 2) * (P.Mm + P.Rr) ^ ((1 : ℝ) / 3)) ∧
P.Mm < u) := by sorry
end FalseFailureReturns.TargetRebate
Source
Ferguson, Guide & Souza, Supply Chain Coordination for False Failure Returns, MSOM 8(4) 2006, p. 383, §3.1, Eq. (10)
Human review
Confirmed by the mission captain (proposal self-audit).
Confirmed by the moderator at approval.