Skip to main content
Log in

Complementary Monopolies with asymmetric information

  • Research Article
  • Published:
Economic Theory Aims and scope Submit manuscript

Abstract

We investigate how asymmetric information on final demand affects strategic interaction between a downstream monopolist and a set of upstream monopolists, who independently produce complementary inputs. We study an intrinsic private common agency game in which each supplier i independently proposes a pricing schedule contract to the assembler, specifying the supplier’s payment as a function of the assembler’s purchase of input i. We provide a necessary and sufficient equilibrium condition. A lot of equilibria satisfy this condition but there is a unique Pareto-undominated Nash equilibrium from the suppliers’ point of view. In this equilibrium, there are unavoidable efficiency losses due to excessively low sales of the good. However, suppliers may be able to limit these distortions by implicitly coordinating on an equilibrium with a rigid (positive) output in bad demand circumstances.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7

Similar content being viewed by others

Notes

  1. In this setup, firms’ interactions are not only horizontal (between suppliers) but also vertical (between the suppliers and the downstream firm(s)), so that the term “complementary monopolies” has to be taken in a broad sense.

  2. At the European level, there have been a lively debate on the consequences of excessive cumulative input rates. For example, this issue is at the heart of the debates on “fair, reasonable and non-discriminatory (FRAND)” terms to remunerate patent holders.

  3. For example, according to Gerardin et al. (2008) for the European version of 3G, WCDMA, if we consider patents from all jurisdictions, there were 7.000 essential patents declared to the European Telecommunications Standards Institute (in 2004). The authors also refer that these patents were held by many different firms.

  4. Spulber (1989) analyzes nonlinear pricing in the context of monopolistic competition (within the circular market framework). The discussion by Spulber (1989) might be of interest in thinking about complements because it discusses the relationship to the local monopoly equilibrium.

  5. First, it is well known that the equilibrium “marginal price” of the nonlinear pricing strategy is equal to the marginal cost, eliminating the double marginalization issues (see, e.g. Tirole 1988). Second, nonlinear pricing also rules out coordination issues among input suppliers, as shown by the seminal works of Bernheim and Whinston (1986a and 1986b), who conclude that, at the truthful equilibria of common agency games, the aggregate profits of the vertical structure are maximized. All these strategies obey the same simple principle: they make the downstream firm (the “Agent”) the residual claimant with respect to the upstream firm(s) (the “Principal(s)”)

  6. Common agency is a formal setting in which, in a first stage, several “Principals” choose transfer schedules intended to influence the actions of an “Agent” in a second stage. Many standard IO models are in fact common agency models with restricted sets of transfer schedules (such as linear or two-part tariffs). Two papers by Bernheim and Whinston have pioneered the formal study of common agency games: Bernheim and Whinston (1986a) in the case of complete information and Bernheim and Whinston (1986b) in the case of agent’s private information. Applications to IO include Monteiro and Page (2008, 1998).

  7. The only equilibrium they characterize in this context is the differentiable one without any bunching, except at the zero outputs levels (in their framework, this has to do with partial market coverage rather than with true bunching).

  8. It is intrinsic because the assembler either contracts with all suppliers or with none of them due to the perfect complementarity of inputs. It is private since each principal (supplier) \(i^{\prime }s\) contract is conditional only on the privately observed purchases of input i by the agent (the assembler), thus excluding, under free disposal, the possibility of contracting payments on both: (i) the level of sales in the downstream market; and (ii) the level of purchases of other inputs.

  9. More precisely, Spulber (2017) finds out that joint profit maximization can be achieved under strategic interaction among multiple sequential decisions, involving quantities of various inputs (in the first stage) as well as prices (in the second stage).

  10. To avoid any loss of generality, we simply suppose that, when indifferent between two supply levels of input i, a supplier always selects the smallest one. An infinitesimal cost of production is indeed enough to break a possible indifference.

  11. Informational issues of this sort are quite common in decentralized supply chains (e.g. Özer and Wei 2006 or Oh and Özer 2013). In particular, Özer and Wei (2006) argue that “the manufacturer often has better demand information because of her proximity to consumers”. It is also worth noting that the model could be easily changed to accomodate asymmetric information about costs instead of demand.

  12. Throughout the text we will use the terms tariffs, payments and pricing schedules interchangeably.

  13. The latter assumption would be equivalent to a contract based on the sales level.

  14. Kushnir and Liu (2019) argue that it is important to understand whether a mechanism designer may benefit from offering more complex mechanism than Bayes-Nash Equilibria. The authors find that for any Bayesian incentive-compatible (BIC) mechanism there exists an equivalent dominant strategy incentive-compatible (DIC) also in environments with “nonlinear utilities satisfying the average single-crossing property and the convex-valued assumption”.

  15. The trick is to use in the agent’s problem the Envelope Theorem to eliminate the transfer function (pricing schedule) from the principal’s expected payoff.

  16. From Lemma 2 in Sect. 4, the regularity condition defined by Martimort and Stole [(2009a), Definition 1, pp. 85–86] holds here in equilibrium.

  17. Free disposal allows the downstream firm to buy greater quantities of inputs than strictly needed for production when that allows it to pay a smaller global price.

  18. In what follows \(Q( \cdot )\) refers to an implentable output function.

  19. Notice simply that supplier i is searching for an implementable \(\{Q(\theta ),q(\theta )\}\) so that equation (8) has to be satisfied.

  20. The quantity of input purchased is decided by the assembler. However, each supplier (i) chooses a contract which induces (if implementable) the assembler to select for each \(\theta \) the quantity \(q_{i}\) which is optimal from its point of view, allowing us to make use of the Mirrlees trick.

  21. Or equivalently if the input i was supplied for free.

  22. We do not mean that such a “punishment” is intentional but that there exist extensions of the other principals tariff schedules outside the equilibrium range of output which may sustain (i.e. implement) high output levels.

  23. Notice that the same argument was used to show that the assembler never chooses a sales level greater than \(\frac{\theta }{2}.\) However the restriction imposed by suppliers’ behavior is stricter.

  24. The Mirrlees trick was initially applied to the agent’s problem.

  25. Martimort et al. (2018) speak instead of “surrogate surplus” since in their framework an output function is an equilibrium one iff it is a pointwise maximizer of the surplus of the “surrogate principal”. This condition remains necessary but it is no more sufficient here.

  26. We show in the proof of Proposition 1 that such tariffs always exist under conditions (18) and (19). They are not unique since they have to define payments also for quantities outside the equilibrium range.

  27. Basically that means that an equilibrium sales function must satisfy \(V(Q^{e}(\theta ),\theta )\ge V(Q^{e}(\theta ^{\prime }),\theta ),\) for all \(\theta \) and \(\theta ^{\prime } \in \left[ \underline{\theta },\overline{\theta }\right] \).

  28. Moreover, our proof of the common part of the equilibrium conditions is different and may have an interest in itself, outside the context in which it is obtained. What we do is basically to generalize Mirrlees’ Trick to a common agency framework by applying it first as usual to the agent’s problem but then as well, by using again the Envelope Theorem, to each of the principals problems in order to finally eliminate the transfer functions and then obtain an equilibrium condition. This methodology was already applied in Laussel and Palfrey (2003) to characterize the equilibria of a Bayesian common agency game.

  29. It corresponds to the “maximal equilibrium” in MSS (2018).

  30. See MSS (2018), Proposition 2, for the same result in the case of a general public common agency game.

  31. Remember that, at equilibrium, \(Q=q_{i}\), \(\forall i=1,2, \ldots ,n.\)

  32. Note that such equilibria are also Pareto-dominated from the assembler’s point of view since they lead to lower expected profit than the one associated with the production of \(Q^{D}\left( \theta \right) \).

  33. In the first version of this paper (Laussel and Resende 2016), the result was proved assuming an uniform distribution of types.

  34. In MSS (2016) the private information parameter is a cost parameter so that there is no distortion at the bottom (it exists at the top). Accordingly the relevant inverse hazard rate is \(F(\theta )/f(\theta ).\)

  35. They claim that it is satisfied by the uniform, exponential, Laplace, Pareto, Weibull and Chi-square distributions.

  36. It can be shown that this rules out discontinous equilibria in our private common agency game as well as in a public common agency game (evolving royalty contracts).

  37. Notice that the condition defining the floor equilibrium output level in the public common agency game is

    figure a

    Of course a positivity constraint has to be checked in addition, i.e. \(Q^{D}(\widehat{\theta })\ge 0.\) Consider the case where it holds true. It is easy to check (see for instance the Proof of Proposition 2) that \(\widehat{\theta }>\Theta (\frac{\underline{\theta }-h(\underline{\theta })}{2})\) or, equivalently, \(Q^{D}(\widehat{\theta })>\frac{\underline{\theta } -h(\underline{\theta })}{2}.\) Clearly the floor equilibrium defined by (32) does not satisfy the condition (i) in Proposition 1. The intuitive reason is that the implementation of such a floor output level would require payments decreasing with the sales level over some interval.

  38. Other suppliers would have to punish smaller sales levels but no such punishments are available when it is possible to pay for a given input quantity and to use a smaller one.

  39. Zambrano (2019) studies a principal–agent model, in which a risk-neutral principal delegates to a risk-neutral agent the ability to choose between a risky project or a safe one (with information acquisition of information being unobservable to the principal). The author concludes that the principal should only reward the agent for outcomes that are significantly better than the safe return.

  40. When the inputs are imperfect complements, how close they are, the relationships between the sales level Q and the rivals input levels \(q_{j}\), \(j\ne i,\) on one hand, and the supply \(q_{i}\) of input i,  on the other, necessarily involve the derivatives of the rivals’ pricing schedules.

  41. Continuity is implied by convexity only at the interior points of the domain: see Roberts and Varberg (1973), pp. 9–10. We thank one referee for indicating us this reference.

  42. For the sake of notational simplicity, we omit the argument \(\mathbf {T}\) of these functions.

  43. Here again, for the sake of notational simplicity, we omit the argument \(\mathbf {T}_{-i}\) in the functions \(Q^{S}\) and \(\mathbf {q}_{-i}^{S}.\)

  44. In the case when \(Q^{S}(\theta )=Q^{A}(\theta ),\) equal profits obtain at \(q_{i}(\theta )=Q^{S}(\theta )=Q^{A}(\theta )\) and at any \(q_{i}(\theta )>Q^{S}(\theta )=Q^{A}(\theta ).\) As indicated in Section 2, we suppose that in that case supplier i chooses the smallest supply level (this is equivalent to assume an infinitesimal cost of producing input i).

  45. Notice that it is continuous at the endpoints of the interval, a necessary condition for absolute continuity (see again Roberts and Varberg 1973).

  46. Remember that free disposal allows the assembler not to consume all the quantities of inputs he buys.

  47. Given that the tariff functions are non-decreasing, buying quantities \(q_{j}>\widehat{q},\) i.e. greater than the output (sales) level, cannot entail lower payments.

  48. From the continuity of \(V(Q(\theta ),\theta )\) wrt \(\theta \) at a discontinuity point, \(z=\frac{x-nh(x)}{2}=\frac{1}{2}\sum _{i=0}^{i=1}\frac{x_{i} -nh(x_{i})}{2}=\frac{z_{0}+z_{1}}{2}\).

  49. Given the strict monotonicity of the function \(\theta -nh(\theta )\), there is always a solution to this equation.

  50. When \(Q^{D}(\theta _{1})\) is not smaller than \(\frac{x-h(x)}{2}\) it is always possible to find a small enough sub-interval of \(\left[ \theta _{0},\theta _{1}\right] \) such that this condition is satisfied.

References

  • Amador, M., Bagwell, K.: The theory of optimal delegation with an application to tariff caps. Econometrica 81, 1541–1599 (2013)

    Article  Google Scholar 

  • Amir, R.: Supermodularity and complementarity in economics: an elementary survey. South. Econ. J. 636–660, (2005)

  • Bernheim, B.D., Whinston, M.D.: Menu auctions, resource allocation, and economic influence. Q. J. Econ. 101(1), 1–31 (1986a)

    Article  Google Scholar 

  • Bernheim, B.D., Whinston, M.D.: Common agency. Econometrica 54, 923–942 (1986b)

    Article  Google Scholar 

  • Cournot, A.A.: Recherches sur les Principes Mathématiques de la Théorie des Richesses. Hachette, Paris (1838)

    Google Scholar 

  • Fudenberg, D., Tirole, J.: Game Theory, 1991. Massachusetts, Cambridge (1991)

    Google Scholar 

  • Gerardin, D., Layne-Farrar, A., Padilla, A.J.: The complements problem within standard setting: assessing the evidence on royalty stacking. J. Sci. Technol. Law 14(2), 144 (2008)

    Google Scholar 

  • Konishi, H., Le Breton, M., Weber, S.: On coalition-proof Nash equilibria in common agency games. J. Econ. Theory 85(1), 122–139 (1999)

    Article  Google Scholar 

  • Kushnir, A., Liu, S.: On the equivalence of Bayesian and dominant strategy implementation for environments with nonlinear utilities. Econ. Theory (2019). https://doi.org/10.1007/s00199-018-1124-x

  • Laussel, D.: Buying back subcontractors: the strategic limits of backward integration. J. Econ. Manag. Strategy 17(4), 895–911 (2008)

    Article  Google Scholar 

  • Laussel, D., Le Breton, M.: Free-riding as a by-product of incentive constraints: a new look at the private production of public goods, mimeo GREQAM (1998)

  • Laussel, D., Palfrey, T.R.: Efficient equilibria in the voluntary contributions mechanism with private information. J. Pub. Econ. Theory 5(3), 449–478 (2003)

    Article  Google Scholar 

  • Laussel, D., Le Breton, M.: Conflict and cooperation: the structure of equilibrium payoffs in common agency. J. Econ. Theory 100(1), 93–128 (2001)

    Article  Google Scholar 

  • Laussel, D., Resende, J.: Complementary monopolies with asymmetric information, Working paper (2016)

  • Lemley, M.A., Shapiro, C.: Patent holdup and royalty stacking. Tex. L. Rev. 85, 1991 (2006)

    Google Scholar 

  • Martimort, D., Stole, L.: The revelation and delegation principles in common agency games. Econometrica 70(4), 1659–1673 (2002)

    Article  Google Scholar 

  • Martimort, D., Stole, L.: Market participation in delegated and intrinsic common-agency games. Rand J. Econ. 40, 78–102 (2009a)

    Article  Google Scholar 

  • Martimort, D., Stole, L.: Selecting equilibria in common agency games. J. Econ. Theory 144(2), 604–634 (2009b)

    Article  Google Scholar 

  • Martimort, D., Stole, L.: Menu Auctions and Influence Games with Private Information, Working Paper (2015)

  • Martimort, D., Semenov, A., Stole, L.A.: A complete characterization of equilibria in an intrinsic common agency screening game. Theor. Econ. 13(3), 1151–1189 (2018)

    Article  Google Scholar 

  • Mirrlees, J.A.: An exploration in the theory of optimal income taxation. Rev. Econ. Stud. 38, 175–208 (1971)

    Article  Google Scholar 

  • Monteiro, P.K., Page Jr., F.H.: Optimal selling mechanisms for multiproduct monopolists: incentive compatibility in the presence of budget constraints. J. Math. Econ. 30(4), 473–502 (1998)

    Article  Google Scholar 

  • Monteiro, P.K., Page Jr., F.H.: Catalog competition and Nash equilibrium in nonlinear pricing games. Econ. Theory 34(3), 503–524 (2008)

    Article  Google Scholar 

  • Oh, S., Özer, Ö.: Mechanism design for capacity planning under dynamic evolutions of asymmetric demand forecasts. Manag. Sci. 59(4), 987–1007 (2013)

    Article  Google Scholar 

  • Özer, Ö., Wei, W.: Strategic commitments for an optimal capacity decision under asymmetric forecast information. Manag. Sci. 52(8), 1238–1257 (2006)

    Article  Google Scholar 

  • Roberts, A.W., Varberg, D.E.: Convex Functions. Academic Press, New York (1973)

    Google Scholar 

  • Slade, M.: What does an oligopoly maximize? J. Ind. Econ. 42, 45–61 (1994)

    Article  Google Scholar 

  • Spengler, J.J.: Vertical integration and antitrust policy. J. Pol. Econ. 347–352, (1950)

  • Spulber, D.F.: Complementary monopolies and bargaining. J. Law Econ. 60(1), 29–74 (2017)

    Article  Google Scholar 

  • Spulber, D.F.: Product variety and competitive discounts. J. Econ. Theory 48(2), 510–525 (1989)

    Article  Google Scholar 

  • Tirole, J.: The Theory of Industrial Organization. MIT Press, Cambridge (1988)

    Google Scholar 

  • Topkis, D.: Supermodularity and Complementarity. Princeton University Press, Princeton (1998)

    Book  Google Scholar 

  • Zambrano: Motivating informed decisions, Econ. Theory, (2019) https://doi.org/10.1007/s00199-017-1087-3

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Joana Resende.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

The authors thank Daniel Spulber, David Martimort, Jean Gabszewicz, João Correia-da-Silva, Michel Le Breton, David Myatt, Francis Bloch, Pierre Picard and Skerdilajda Zanaj for their useful comments on the paper. The authors also thank the participants of the GREQAM Workshop in honor of Didier Laussel (March 2016) and the attendants of the CEF-UP WiP Seminar (May 2016), SAET Meetings (July 2016), EARIE (August 2016), attendants of the Economics Seminar at the University of Luxembourg (October 2016). The usual disclaimer applies.

J. Resende: This article is a result of the project NORTE-01-0145-FEDER-028540, supported by Norte Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, through the European Regional Development Fund (ERDF) and through national funds by the FCT – Fundação para a Ciência e a Tecnologia. This research also benefited from the support of COMPETE 2020 (POCI) and FCT through the project POCI-01-0145-FEDER-006890.

Appendices

APPENDIX

1.1 Proof of Lemma 1

  1. (a)

    suppose that \(\theta ^{\prime }>\theta ;\) from revealed preference it must be that

    $$\begin{aligned} (\theta -Q(\theta ))Q(\theta )-\sum _{i=1}^{n}T_{i}(q_{i}(\theta ))\ge (\theta -Q(\theta ^{\prime }))Q(\theta ^{\prime })-\sum _{i=1}^{n}T_{i}(q_{i} (\theta ^{\prime })) \end{aligned}$$

    and

    $$\begin{aligned} (\theta ^{\prime }-Q(\theta ^{\prime }))Q(\theta ^{\prime })-\sum _{i=1}^{n} T_{i}(q_{i}(\theta ^{\prime }))\ge (\theta ^{\prime }-Q(\theta ))Q(\theta ) -\sum _{i=1}^{n}T_{i}(q_{i}(\theta )), \end{aligned}$$

    implying \(\left( \theta -\theta ^{\prime }\right) (Q\left( \theta \right) )-Q\left( \theta ^{\prime }\right) )\ge 0\).

  2. (b)

    \(\Pi ^{A}\) is convex as a supremum of convex (linear here) functions. It is also continuous at the endpoints of the domain \(\left[ \underline{\theta },\overline{\theta }\right] \). It is hence absolutely continuousFootnote 41 in \(\theta .\) Suppose that \(\theta ^{\prime }>\theta ;\) from the above “revealed preference” inequalities we obtain \(\left( \theta ^{\prime }-\theta \right) Q\left( \theta ^{\prime }\right) \ge \Pi ^{A}(\theta ^{\prime })-\Pi ^{A}(\theta )\ge \left( \theta ^{\prime } -\theta \right) Q\left( \theta \right) )\), so that, dividing throughout by \(\left( \theta ^{\prime }-\theta \right) \) and letting \(\theta ^{\prime }\) tend toward \(\theta \), we obtain \(\frac{\partial \Pi ^{A}(\theta )}{\partial \theta } =Q(\theta ) \ge 0\). \(\square \)

1.2 Proof of Lemma 2

Suppose on the contrary that \(\overline{Q}(\widetilde{q}_{i}^{*} (\theta ,\mathbf {T}_{-i}),\theta ,\mathbf {T}_{-i})<\widetilde{q}_{i}^{*}(\theta ,\mathbf {T}_{-i}),\) where \(\widetilde{q}_{i}^{*}(\theta ,\mathbf {T}_{-i})\) is defined by (10), i.e. maximizes supplier i’s adjusted profit.

Let \(\{Q^{A}(\theta ),\mathbf {q}_{-i}^{A}(\theta )\}\) be solution of the assembler’s problem (3a) in which the constraint \(Q\le q_{i}\) has been deleted.Footnote 42 Since, at the solution of (3a), this constraint does not bind, \(\overline{Q}(\widetilde{q}_{i}^{*} (\theta ,\mathbf {T}_{-i}),\theta ,\mathbf {T}_{-i})=Q^{A}(\theta )\) and \(\overline{\mathbf {q}}_{-i}(\widetilde{q}_{i}^{*}(\theta ,\mathbf {T} _{-i}),\theta ,\mathbf {T}_{-i})=\mathbf {q}_{-i}^{A}(\theta )\) do not depend on \(q_{i}\) and the corresponding supplier’s adjusted profit equals

$$\begin{aligned} \left( \theta -Q^{A}(\theta )-h(\theta )\right) Q^{A}(\theta )-\sum _{j=1,j\ne i}^{n}T_{j}(q_{j}^{A}(\theta )). \end{aligned}$$
(33)

Let us on the other hand consider the solution to the problem of maximizing supplier i’s adjusted profit when i is able to select directly \(Q(\theta )\) and \(\mathbf {q}_{-i}(\theta )\):Footnote 43

$$\begin{aligned} \{Q^{S}(\theta ),\mathbf {q}_{-i}^{S}(\theta )\}&=\underset{Q,\mathbf {q}_{-i}}{\arg \max } \left( \theta -Q-h(\theta )\right) Q-\sum _{j=1,j\ne i}^{n} T_{j}(q_{j}),\nonumber \\ s.t.\ \ Q&\le q_{j},\ \forall j\ne i. \end{aligned}$$
(34)

From revealed preferences,

$$\begin{aligned}&\left( \theta -Q^{A}(\theta )\right) Q^{A}(\theta ) -\sum _{j=1,j\ne i}^{n}T_{j}(q_{j}^{A}(\theta ))\\&\quad \ge \left( \theta -Q^{S}(\theta )\right) Q^{S}(\theta )-\sum _{j=1,j\ne i}^{n}T_{j}(q_{j}^{S}(\theta )), \end{aligned}$$

and

$$\begin{aligned}&\left( \theta -h(\theta )-Q^{S}(\theta )\right) Q^{S}(\theta ) -\sum _{j=1,j\ne i}^{n}T_{j}(q_{j}^{S}(\theta ))\\&\quad \ge \left( \theta -h(\theta )-Q^{A} (\theta )\right) Q^{A}(\theta )-\sum _{j=1,j \ne i}^{n}T_{j}(q_{j}^{A} (\theta )). \end{aligned}$$

This implies

$$\begin{aligned} h(\theta )(Q^{A}(\theta )-Q^{S}(\theta ))\ge & {} 0\Leftrightarrow Q^{S}(\theta ) \le Q^{A}(\theta )=\overline{Q}(\widetilde{q}_{i}^{*} (\theta ,\mathbf {T}_{-i}),\theta ,\mathbf {T}_{-i})\\< & {} \widetilde{q}_{i}^{*}(\theta ,\mathbf {T}_{-i}). \end{aligned}$$

Let us show that the supplier i may reach a greater profit than (33) simply by choosing to sell a quantity of input i equal to \(Q^{S}(\theta )\) instead of the quantity \(\widetilde{q}_{i}^{*} (\theta ,\mathbf {T}_{-i}).\)

This is obviously the case when the solution \(\overline{Q}(Q^{S} (\theta ),\theta )\) of the assembler’s problem (3a) under the constraint \(Q\le Q^{S}(\theta )\) is such that \(\overline{Q}(Q^{S} (\theta ),\theta ,\mathbf {T}_{-i})=Q^{S}(\theta )\).Footnote 44 Let us show that it must indeed be the case that \(\overline{Q}(Q^S(\theta ),\theta ,\mathbf T _-i) =Q^S(\theta )\). Suppose on the contrary that the solution of the assembler’s problem (3a) under the constraint \(Q\le Q^S(\theta )\) implies a sales level \(Q^\prime (\theta )<Q^S(\theta )\). It must then be that

$$\begin{aligned}&\left( \theta -Q^{\prime }(\theta )\right) Q^{\prime }(\theta ) -\sum _{j=1,j\ne i}^{n}T_{j}(\overline{q}_{j}(Q^{\prime }(\theta ),\theta ))\\&\quad >\left( \theta -Q^{S}(\theta )\right) Q^{S}(\theta ) -\sum _{j=1,j\ne i}^{n}T_{j}(\overline{q}_{j}(Q^{S}(\theta ),\theta )). \end{aligned}$$

But, since \(h(\theta )\ge 0\) and \(Q^{\prime }(\theta )<Q^{S}(\theta ),\) were this true, it should be that

$$\begin{aligned}&\left( \theta -h(\theta )-Q^{\prime }(\theta )\right) Q^{\prime }(\theta ) -\sum _{j=1,j\ne i}^{n}T_{j}(\overline{q}_{j}(Q^{\prime }(\theta ),\theta ))\\&\quad >\left( \theta -h(\theta )-Q^{S}(\theta )\right) Q^{S}(\theta ) -\sum _{j=1,j\ne i}^{n}T_{j}(\overline{q}_{j}(Q^{S}(\theta ),\theta )). \end{aligned}$$

This contradicts (34).

To conclude, supplier i is always able to induce the assembler to select the output and input levels \(\{Q^{S}(\theta ),\mathbf {q}_{-i}^{S} (\theta )\}\) by choosing to supply a quantity \(Q^{S}(\theta )\) of input i. Then, either \(Q^{S}(\theta )<Q^{A}(\theta )\), in which case supplier i clearly obtains greater (adjusted) profits than at \(\{Q^{A}(\theta ),\mathbf {q}_{-i}^{A} (\theta )\},\) or \(Q^{S}(\theta )=Q^{A}(\theta ),\) in which case an infinitesimal cost of producing input i is enough to ensure that supplier i is better off when supplying a quantity of input i equal to \(Q^{S}(\theta )\). \(\square \)

1.3 Proof of Remark 1

Suppose that \(Q(\theta )>\frac{\theta -h(\theta )}{2}>0.\) Obviously \(q_{j} (\theta )\ge Q(\theta ).\) Suppose now instead that the supplier i chooses a supply level \(q_{i}(\theta )=\frac{\theta -h(\theta )}{2\ }\) and show that it is better off. Indeed, under the constraint \(Q\le \frac{\theta -h(\theta )}{2},\) the solution \(\overline{Q}(\frac{\theta -h(\theta )}{2},\theta ,\mathbf {T}_{-i})\) of the assembler’s problem (3a) is either \(=\frac{\theta -h(\theta )}{2}\) or \(<\frac{\theta -h(\theta )}{2}\) so that either

  1. 1.

    \(\overline{Q}(\frac{\theta -h(\theta )}{2},\theta ,\mathbf {T}_{-i}) =\frac{\theta -h(\theta )}{2}\), and then the supplier i’s adjusted profit is greater than the profit obtained at \(Q(\theta )>\frac{\theta -h(\theta )}{2}\) since (i) for \(\forall Q(\theta )\ne \frac{\theta -h(\theta )}{2}\), \((\frac{\theta -h(\theta )}{2})^{2}>\left( \theta -h(\theta )-Q(\theta )\right) Q(\theta )\) and (ii) in order to produce a quantity of output \(\frac{\theta -h(\theta )}{2}<Q(\theta )\), the assembler does not need greater quantities of inputs other than i and pays accordingly at most the same aggregate transfer \(\sum _{j=1,j\ne i}^{n}T_{j}(q_{j}(\theta ))\) to suppliers \(j\ne i. \)

  2. 2.

    or \(\overline{Q}(\frac{\theta -h(\theta )}{2},\theta ,\mathbf {T}_{-i}) <\frac{\theta -h(\theta )}{2},\) in which case, by the same argument as in Lemma 2, the supplier i’s adjusted profit must be greater at \(\overline{Q} (\frac{\theta -h(\theta )}{2},\theta ,\mathbf {T}_{-i})\) than at \(\frac{\theta -h(\theta )}{2}\) and thus strictly greater than at any \(Q(\theta )>\frac{\theta -h(\theta )}{2}\). \(\square \)

1.4 Proof of Lemma 3

Let \(\tau =\theta -h(\theta ).\) Define now

$$\begin{aligned} \widehat{\pi }_{i}(\tau ,q)=\left( \tau -Q\right) Q -\sum _{j=1,i\ne j}^{n} T_{j}(Q). \end{aligned}$$

and

$$\begin{aligned} \widehat{\Pi }_{i}^{S}(\tau )=\underset{q}{\max } \widehat{\pi }_{i}(\tau ,q). \end{aligned}$$

Since \(\widehat{\pi }_{i}\) is linear in \(\tau \), \(\widehat{\Pi }_{i}^{S}(\tau )\) is convex in \(\tau \) as a supremum of convex (linear) functions, hence absolutely continuousFootnote 45 (AC). By assumption 1, \(\tau (\theta )\) is invertible so that \(\Pi _{i}^{S}(\theta )=\widehat{\Pi }_{i}^{S}(\tau (\theta ))\) is AC and a.e. differentiable. \(\square \)

1.5 Proof of Proposition 1

  1. (a)

    Necessity

From Lemma 2, \(Q^{e}(\theta )=q_{i}^{e}(\theta )\), \(\forall i=1,2, \ldots ,n.\) Moreover from Remark 1, it must be that \(Q^{e}(\theta )\le \frac{\theta -h(\theta )}{2}.\) On the other hand, we already know that a non-decreasing output function \(Q^{e}(\theta ) (\)and the input functions \(q_{i}^{e}(\theta )=Q^{e}(\theta ))\) solve respectively the Assembler’s Problem (4a) and the Suppliers’ Problems (9) only if the payment schedules, \(T_{i}\), are defined by equations (13) and (15).

Substituting in (16) \(\sum T_{i}(Q^{e} \left( \theta \right) )\) for its value from (8) and rearranging we obtain:

$$\begin{aligned} 0=\left[ V\left( \theta ,Q\left( \theta \right) \right) -\int _{\underline{\theta }}^{\theta }\left( 1-nh^{\prime } \left( s\right) \right) Q\left( s\right) \mathrm{d}s\right] -\sum _{i=1}^{n}\Pi _{i}^{s}\left( \underline{\theta }\right) . \end{aligned}$$

Evaluating the previous condition at \(\theta =\underline{\theta },\) we obtain:

$$\begin{aligned} V\left( \underline{\theta },Q\left( \underline{\theta }\right) \right) =\sum _{i=1}^{n}\Pi _{i}^{s}\left( \underline{\theta }\right) . \end{aligned}$$

Given that \(V_{s}(Q(s),s)=(1-nh^{\prime }(s))Q(s),\) the result in Proposition 1 must hold.

  1. (b)

    Sufficiency

Let us consider the implementation of a non-decreasing sales function \(Q^{e}(\theta )\le \frac{\theta -h(\theta )}{2} \le \frac{\theta }{2}\) when the assembler solves the associate problem \(\underset{Q}{\max }\Psi (\theta ,Q)=(\theta -Q)Q -\overline{T(}Q).\) Since \(\frac{\partial ^{2}\Psi (\theta ,Q)}{\partial Q\partial \theta }=1>0\), \(\Psi (\theta ,Q)\) has increasing differences or is supermodular (see Topkis 1998 or Amir 2005). Therefore, the version of the single-crossing property called CS\(^{+}\) in (Fudenberg and Tirole 1991, ch. 7.3.1, p. 259) is here satisfied. Then, there exists \( \overline{T}( \cdot )\) such that \(\left( Q^{e}( \cdot ),\overline{T}( \cdot )\right) \) is incentive-compatible for this associate problem. Notice that condition (13) where \(\sum _{i=1}^{n}T_{i}(Q^{e}(\theta ))\) is replaced by \(\overline{T}(Q^{e}(\theta ))\) is necessary in the associate problem as well as in the original one. From condition (13) for any \(\theta ^{\prime } >\theta ,\) we have:

$$\begin{aligned} \overline{T}(Q(\theta ^{\prime }))-\overline{T}(Q^{e}(\theta )) =\int _{\theta }^{\theta ^{\prime }}(s-2Q(s))Q^{\prime }(s)\mathrm{d}s, \end{aligned}$$

from what we deduce that \(Q^{e}(\theta )\le \frac{\theta -h(\theta )}{2} \le \frac{\theta }{2}\) implies that any transfer function \(\overline{T}\) which implements a non-decreasing sales function \(Q^{e}(\theta )\le \frac{\theta -h(\theta )}{2}\) in the associate problem must be non-decreasing in Q.

Consider now in the original problem the tariff functions \(T_{i}(q_{i} )=\frac{1}{n}\overline{T}(q_{i})\), \(i=1,2, \ldots ,n.\) Let us now show that they implement the non-decreasing sales and input functions \(q_{i}^{e} (\theta )=Q^{e}(\theta )\le \frac{\theta -h(\theta )}{2}\le \frac{\theta }{2}\), \(i=1,2, \ldots ,n.\) Suppose on the contrary that there exist \(q_{i}(\theta ^{\prime })=q(\theta ^{\prime })\le \frac{\theta ^{\prime }-h(\theta ^{\prime })}{2},i=1,2, \ldots ,n,\) which gives a strictly greater profit to the assembler, i.e.

$$\begin{aligned} (\theta -\widetilde{q})\widetilde{q}-\overline{T}(q(\theta ^{\prime })) >(\theta -Q^{e}(\theta ))Q^{e}(\theta )-\overline{T}(Q^{e}(\theta )), \end{aligned}$$

where \(\widetilde{q}\in [0,q(\theta ^{\prime })]\).Footnote 46 Since \(\overline{T}\) is non-decreasing, it follows that

$$\begin{aligned} (\theta -\widetilde{q})\widetilde{q}-\overline{T}(\widetilde{q}) >(\theta -Q^{e}(\theta ))Q^{e}(\theta )-\overline{T}(Q^{e}(\theta )), \end{aligned}$$

contradicting the fact that \(\overline{T}\) implements \(Q^{e}(\theta )\) in the associate problem.

Using now condition (13), where \(\sum _{i=1}^{n}T_{i}(Q^{e}(\theta ))\) is replaced by \(\overline{T}(Q^{e}(\theta )),\) together with condition (19), we obtain

$$\begin{aligned} \frac{n-1}{n}\overline{T}(Q^{e}(\theta ))= & {} \left[ \theta -h(\theta )-Q^{e} (\theta )\right] Q^{e}(\theta )\nonumber \\&-\int _{\underline{\theta }}^{\theta }(1-h^{\prime }(s))Q^{e}(s)\mathrm{d}s -\frac{1}{n}V(Q^{e}(\underline{\theta }),\underline{\theta }). \end{aligned}$$
(35)

Notice that the definition of the virtual profits implies that \(\sum _{i=1} ^{n}\Pi _{i}^{s}\left( \underline{\theta }\right) =V(Q^{e}(\underline{\theta }),\underline{\theta }).\) Given that the tariff functions are identical for all, the \(\Pi _{i}^{s} \left( \underline{\theta }\right) \) are identical as well \(\forall i=1,2, \ldots ,n.\) It follows that (35) implies

$$\begin{aligned} \frac{n-1}{n}\overline{T}(Q^{e}(\theta ))= & {} \left[ \theta -h(\theta )-Q^{e} (\theta )\right] Q^{e}(\theta )\nonumber \\&-\int _{\underline{\theta }}^{\theta }(1-h^{\prime }(s))Q^{e}(s)\mathrm{d}s -\Pi _{i} ^{s}\left( \underline{\theta }\right) ,\ i=1,2, \ldots ,n, \end{aligned}$$
(36)

which is the necessary (first-order) condition(15) for each principal i. It remains to verify the global second order conditions for each principal i’s problem. We can apply the same proof strategy as in the agent’s case. Consider the associate problem for principal \(i: \underset{Q}{\max }\Gamma _{i}(Q,\theta ) =\left( \theta -Q-h(\theta )\right) Q-\frac{n-1}{n}\overline{T}(Q).\) Since the single-crossing property (\(\hbox {CS}^{+}\)) is here obviously satisfied (i.e. \(\frac{\partial ^{2}\Gamma _{i}(\theta ,Q)}{\partial Q\partial \theta }=1-h^{\prime }(\theta )>0\)), not only the local second order conditions (35) are satisfied for the associate problem but also the global ones.

Consider now in the original problem the tariff functions \(T_{j}(q_{j} )=\frac{1}{n}\overline{T}(q_{j})\), \(j\ne i.\) We now show that \(\sum _{j\ne i}\frac{1}{n}\overline{T}(q_{j})\) implements the non-decreasing sales and input functions \(q_{i}^{e}(\theta )=Q^{e}(\theta )\le \frac{\theta -h(\theta )}{2}\le \frac{\theta }{2}.\) Suppose on the contrary that there exists \(q_{i}(\theta ^{\prime })\le \frac{\theta ^{\prime }-h(\theta ^{\prime })}{2},\) which gives a strictly greater profit to supplier i and remembering that the function \(\overline{T}\) is increasing, we must have

$$\begin{aligned} (\theta -h(\theta )-\widehat{q})\widehat{q}-\frac{n-1}{n}\overline{T} (\widehat{q})>(\theta -h(\theta )-Q^{e}(\theta ))Q^{e}(\theta )-\frac{n-1}{n}\overline{T}(Q^{e}(\theta )), \end{aligned}$$

where \(\widehat{q}\in [0,q_{i}(\theta ^{\prime })]\).Footnote 47 But this contradicts the optimality of \(Q^e(\theta )\) for supplier i in the corresponding associate problem. \(\square \)

Proof of Corollary 2

The proof is straightforward. Indeed differentiating (19) with respect to \(\theta ,\) one obtains \(V_{s}( \cdot )=V_{Q}Q^{e\prime }(\theta )+V_{s}( \cdot )\), implying \(V_{Q}Q^{e\prime }(\theta )=0.\) Given that \(V_{Q}=\theta -nh(\theta )-2Q^{e}(\theta ),\) and given \(Q^{D}\left( \theta \right) \), then \(V_{Q}Q^{e\prime }(\theta )=0\) implies

$$\begin{aligned} 2\left[ Q^{D}(\theta )-Q^{e}(\theta )\right] Q^{e\prime }(\theta )=0, \end{aligned}$$

yielding the results in the preceding Corollary. \(\square \)

1.1 Proof of Lemma 4

Given (17), \(V(Q^{e}(\theta ),\theta )\) is obviously continuous at any \(\theta \) where \(Q^{e}(\theta )\) is continuous. So we only have to consider the values of \(\theta \) at which \(Q^{e}\left( \theta \right) \) is discontinuous. Let \(\widetilde{\theta }\) be such a point. Since from Lemma 1, the equilibrium sales function is a.e. differentiable, points of discontinuity are isolated and it is right and left continuous with \(\underset{\theta \downarrow \widetilde{\theta }}{\lim }Q^{e}(\theta )=Q^{+}(\widetilde{\theta })> \underset{\theta \uparrow \widetilde{\theta }}{\lim }Q^{e}(\theta )=Q^{-}(\widetilde{\theta }).\) From (19), \(\underset{\theta \downarrow \widetilde{\theta }}{\lim }V(Q^{e}(\theta ),\theta )-V(Q^{e} (\underline{\theta }),\underline{\theta })=V(Q^{+} (\widetilde{\theta }),\widetilde{\theta } )-V(Q^{e}(\underline{\theta }), \underline{\theta })=\underset{\theta \uparrow \widetilde{\theta }}{\lim } V(Q^{e}(\theta ),\theta )-V(Q^{e} (\underline{\theta }),\underline{\theta }) =V(Q^{-}(\widetilde{\theta }),\widetilde{\theta }) -V(Q^{e}(\underline{\theta }),\underline{\theta }).\) It follows that \(V(Q^{+}(\widetilde{\theta }),\widetilde{\theta })=V(Q^{-} (\widetilde{\theta }),\widetilde{\theta }).\) Notice in addition that, since \(Q^{D}(\widetilde{\theta })=\arg \underset{Q}{\max }V(Q, \widetilde{\theta }),\) it must be that \(Q^{-}(\widetilde{\theta })<Q^{D}(\widetilde{\theta })<Q^{+}(\widetilde{\theta })\). \(\square \)

1.2 Proof of Example 1

An equilibrium output function maximizing the virtual aggregate surplus function has already been shown to be given by \(Q^{D}(\theta )\), where here \(Q^{D}(\theta )= \frac{(n+1)\theta -n}{2}.\) The assembler’s and subcontractor j’s first-order conditions are respectively over \((\frac{n}{n+1} ,1]:(\theta -2Q\left( \theta \right) )=\sum _{i=1}^{n}T_{i}^{\prime } (Q^{e}(\theta ))\) and \(2\theta -1-2Q\left( \theta \right) =\sum _{i=1,i\ne j}^{n}T_{i}^{\prime }(Q^{e}(\theta )).\) Subtracting the second from the first we obtain \(1-\theta =T_{j}^{\prime }(Q^{e} (\theta )).\) Using (ii) we can express \(\theta \) as a function of Q,  with

$$\begin{aligned} \theta =\frac{2Q+n}{n+1}, \end{aligned}$$

and substitute this value for \(\theta .\) We obtain \(T_{j}^{\prime } (Q)=\frac{1-2Q}{n+1}\) and then integrating with respect to Q, we obtain \(T_{j}(Q)=K_{j}+\frac{Q-Q^{2}}{n+1}\), \(\forall Q\in \left[ 0,\frac{1}{2}\right] \), where \(K_{j}\) is a constant. From the assembler’s participation constraint and suppliers optimization behavior, \(\sum _{j=1}^{n}K_{j}=0.\) It is easy to see that choosing \(Q=0\) maximizes the assembler’s profit for \(\theta \in \left[ 0,\frac{n}{n+1}\right] .\) It follows that \(\sum _{j=1} ^{n}T_{j}(Q)=\frac{n(Q-Q^{2})}{n+1}\). \(\square \)

1.3 Proof of Remark 2

From equation (7) we obtain

$$\begin{aligned} \Pi ^{A}(\theta )&=\int _{\frac{n}{n+1}}^{\theta }Q^{e}(\theta )\mathrm{d}\theta =\frac{\left[ \theta -n(1-\theta )\right] ^{2}}{4(1+n)}\nonumber \\ \text {for all }\theta&\in \left[ \frac{n}{n+1},1\right] \text { and }\Pi ^{A}(\theta )=0\text { otherwise,} \end{aligned}$$
(37)

so that the ex ante expected profit of the assembler, \(E\left[ \Pi ^{A}\right] ,\) is equal to

$$\begin{aligned} E\left[ \Pi ^{A}\right] =\int _{\frac{n}{n+1}}^{1} \frac{\left[ \theta -n(1-\theta )\right] ^{2}}{4(1+n)} \mathrm{d}\theta =\frac{1}{12(n+1)^{2}}. \end{aligned}$$
(38)

The profit of subcontractor i,  for all \(\theta \in \left[ \frac{n}{n+1},1\right] ,\) is easily obtained from \(T_{i}(Q)=\frac{Q-Q^{2} }{n+1},\) by setting \(Q=\frac{(n+1)\theta -n}{2},\) implying:

$$\begin{aligned} \Pi _{i}^{S}(\theta )=\frac{\left[ 2-\theta +n(1-\theta )\right] \left[ \theta -n(1-\theta )\right] }{4(n+1)}, \end{aligned}$$

for all \(\theta \in \left[ \frac{n}{n+1},1\right] \) and \(\Pi _{i}^{S} (\theta )=0\) otherwise. The expected profit of subcontractor i,  denoted \(E\left[ \Pi _{i}^{S}\right] \), is

$$\begin{aligned} E\left[ \Pi _{i}^{S}\right] =\int _{\frac{n}{n+1}}^{1}\frac{(2-\theta +n(1-\theta ))(\theta -n(1-\theta ))}{4(n+1)}\mathrm{d}\theta =\frac{1}{6(n+1)^{2}}, \end{aligned}$$
(39)

yielding the results in Remark 2. \(\square \)

1.4 Proof of Corollary 3

Let us write the condition (19) respectively at some \(\theta \in (x_{i},x_{i+1}]\) and at \(x_{i}:\)

$$\begin{aligned} \int _{\underline{\theta }}^{\theta }V_{s}^{\prime }(Q(s),s)\mathrm{d}s =V(Q_{i}, \theta )-V(Q(\underline{\theta }),\underline{\theta }), \end{aligned}$$
(40)

and

$$\begin{aligned} \int _{\underline{\theta }}^{x_{i}}V_{s}^{\prime }(Q(s),s)\mathrm{d}s =V(Q_{i-1}, x_{i})-V(Q(\underline{\theta }),\underline{\theta }). \end{aligned}$$
(41)

In the equation above, we consider that \(\left[ \underline{\theta } ,\overline{\theta }\right] \) is divided in \(n+1\) intervals \([x_{j},x_{j+1} )\) such that \(Q(\theta )=Q_{j}\), \(\forall \theta \in (x_{j},x_{j+1}],\) with \(Q_{j+1}>Q_{j}\), \(x_{0}=\underline{\theta }\) and \(x_{n+1}=\overline{\theta }.\) Subtracting (41) from (40) we obtain

$$\begin{aligned} \int _{x_{i}}^{\theta }V_{s}^{\prime }(Q_{i},s)\mathrm{d}s =V(Q_{i},\theta ) -V(Q_{i-1} ,x_{i}). \end{aligned}$$

The LHS equals \(V(Q_{i},\theta )-V(Q_{i},x_{i})\) so that we conclude that \(V(Q_{i-1},x_{i})=V(Q_{i},x_{i})\). \(\square \)

1.5 Proof of Remark 3

  1. (i)

    Let us first derive (23). Notice first that substituting in (15) \(\sum T_{i}(Q\left( \theta \right) )\) for its value from (8), accounting for \(\Pi ^{A} (\underline{\theta })=0,\) and rearranging we obtain an expression which, evaluated at \(\theta =\underline{\theta }\), yields

    $$\begin{aligned} {\displaystyle \sum \limits _{i=1}^{i=n}} \Pi _{i}^{S}(\underline{\theta })=\Pi ^{S}(\underline{\theta }) =V(Q^{e} (\underline{\theta }),\underline{\theta }). \end{aligned}$$

    Let us now consider the expected aggregate suppliers’ profit \(E[\Pi ^{S}].\) From equation (14) in the paper, and the above result, we obtain

    $$\begin{aligned} E[\Pi ^{S}]= & {} V(Q^{e}(\underline{\theta }),\underline{\theta }) +nE\left[ \int _{\underline{\theta }}^{\theta }(1-h^{\prime } (s))Q^{e}(s)\mathrm{d}s\right] \\= & {} V(Q^{e}(\underline{\theta }),\underline{\theta })+(n-1)E \left[ \int _{\underline{\theta }}^{\theta }Q^{e}(s)\mathrm{d}s\right] \\&+\,E\left[ \int _{\underline{\theta }}^{\theta }(1-nh^{\prime } (s))Q^{e}(s)\mathrm{d}s\right] . \end{aligned}$$

Using now equation (7) and condition (19 ), it turns out that

$$\begin{aligned} E[\Pi ^{S}]=E\left[ V(Q^{e}(\theta ),\theta \right] +(n-1)E\left[ \Pi ^{A}(\theta )\right] . \end{aligned}$$
(42)

Moreover, introducing in (42) \(E\left[ \Pi ^{A}\right] =E[(\theta -Q^{e}(\theta ))Q^{e}(\theta )]-E[\Pi ^{S}]\) and using the definition of \(V(Q(\theta ),\theta ),\) we obtain:

$$\begin{aligned} E[\Pi ^{S}]=E\left[ (\theta -h(\theta ) -Q^{e}(\theta ))Q^{e}(\theta )\right] . \end{aligned}$$
(43)
  1. (ii)

    Let us now derive (24).

From the condition (19), we can write

$$\begin{aligned} \left[ (\theta -h(\theta )-Q^{e}(\theta ))Q^{e}(\theta )\right]= & {} V(Q^{e}(\overline{\theta }),\overline{\theta }))\\&-\int _{\theta }^{\overline{\theta }}(1-nh^{\prime }(s)) Q^{e}(s)\mathrm{d}s+(n-1)h(\theta )Q^{e}(\theta ). \end{aligned}$$

Integrating both sides between \(\underline{\theta }\) and \(\overline{\theta }, \) and then integrating the RHS by parts, we obtain (24). \(\square \)

1.6 Proof of Lemma 5

Let us denote by \(Q_{1}\left( \theta \right) \) the first equilibrium output function and by \(Q_{2}\left( \theta \right) \) the second equilibrium output function described in Lemma 5.

Given (43), the difference \(E\left[ \Pi ^{S}(Q_{2}(\theta ),\theta )\right] -E\left[ \Pi ^{S}(Q_{1}(\theta ),\theta )\right] \) between the expected aggregate suppliers’ profits under equilibrium output functions \(Q_{2}(\theta )\) and \(Q_{1}(\theta )\) equals

$$\begin{aligned} \int _{x}^{\overline{\theta }}\left( \theta -h(\theta )-Q^{D} \left( \theta \right) \right) Q^{D}\left( \theta \right) f(\theta )\mathrm{d}\theta -\int _{x}^{\overline{\theta }}\left( \theta -h(\theta )-Q^{D} \left( x\right) \right) Q^{D}\left( x\right) f(\theta )\mathrm{d}\theta . \end{aligned}$$
(44)

Since \(\frac{\theta -h(\theta )}{2}=\arg \underset{Q}{\max }\Pi ^{S} (Q,\theta )>Q^{D}(\theta )=\frac{\theta -nh(\theta )}{2} >Q^{D} \left( x\right) \), \(\forall \theta \in (x,\overline{\theta }],\) the concavity of \(\Pi ^{S}(Q,\theta )\) with respect to Q implies that \(\Pi ^{S}(Q^{D}(\theta ),\theta )>\Pi ^{S} (Q^{D}(x),\theta )\), \(\forall \theta \in (x,\overline{\theta }]\), so that (44) is \(>0\). \(\square \)

1.7 Proof of Lemma 6

Let us consider the difference between the expected aggregate suppliers’ profit under the equilibrium output functions \(Q_{C}(\theta )\) and \(Q_{H}(\theta )\), which, given (24), is

$$\begin{aligned}&E\left[ \Pi ^{S}(Q_{C}(\theta ),\theta )\right] -E\left[ \Pi ^{S} (Q_{H}(\theta ),\theta )\right] \\&\quad = \int _{x_{0}}^{x_{1}}Q^{D}\left( \theta \right) g(\theta )\mathrm{d}\theta -\left[ \int _{x}^{x_{1}}Q^{D}(x_{1})g(\theta )\mathrm{d}\theta +\int _{x_{0}}^{x}Q^{D}(x_{0})g(\theta )\mathrm{d}\theta \right] \\&\quad = \int _{x_{0}}^{x_{1}}Q^{D}\left( \theta \right) g(\theta ) \mathrm{d}\theta -[Q^{D}(x_{1})(G(x_{1})-G(x))+Q^{D}(x_{0})(G(x)-G(x_{0}))], \end{aligned}$$

where \(g(\theta )=(n-1)-n(1-h^{\prime }(\theta ))F(\theta )\) and \(G(\theta )=\int _{\underline{\theta }}^{\theta }g(s)\mathrm{d}s.\)

Now, integrating by parts, \(\int _{x_{0}}^{x_{1}}Q^{D}\left( \theta \right) g(\theta )\mathrm{d}\theta =Q^{D}(x_{1})G(x_{1})-Q^{D}(x_{0})G(x_{0}) -\int _{x_{0} }^{x_{1}}Q^{D\prime }(\theta )G(\theta )\mathrm{d}\theta ,\) so that

$$\begin{aligned}&E\left[ \Pi ^{S}(Q_{C}(\theta ),\theta )\right] -E\left[ \Pi ^{S}(Q_{H} (\theta ),\theta )\right] \\&\quad =(Q^{D}(x_{1})-Q^{D}(x_{0}))G(x) -\int _{x_{0}}^{x_{1}}Q^{D\prime }(\theta )G(\theta )\mathrm{d}\theta \\&\quad =\int _{x_{0}}^{x_{1}}Q^{D\prime }(\theta )(G(x)-G(\theta ))\mathrm{d}\theta . \end{aligned}$$

Let now \(z=\frac{\theta -nh(\theta )}{2}.\) From Assumption 1, this is a monotone increasing function so that there is an inverse function \(\Theta (z).\) On the other hand, \(\mathrm{d}\theta =\frac{2}{1-nh^{\prime } (\theta )}\mathrm{d}z.\) Remembering that \(Q^{D\prime }(\theta )=\frac{1}{2} (1-nh^{\prime }(\theta ))\) a simple change of variables leads to

$$\begin{aligned} E\left[ \Pi ^{S}(Q_{C}(\theta ),\theta )\right] -E\left[ \Pi ^{S}(Q_{H}(\theta ),\theta )\right] =\int _{z_{0}}^{z_{1}}\left( G\left( \Theta \left( \frac{z_{0}+z_{1}}{2}\right) \right) -G(\Theta (z))\right) \mathrm{d}z, \end{aligned}$$
(45)

where \(z_{i}=\frac{x_{i}-nh(x_{i})}{2}\), \(i=0,1\) and \(\Theta (\frac{z_{0} +z_{1}}{2})=x\)Footnote 48.

Now, the next step is to prove the concavity of \(G(\Theta (z))\) with respect to z. It turns out that:

$$\begin{aligned}&\frac{d^{2}G(\Theta (z))}{\mathrm{d}z^{2}}\\&\quad =\frac{2n}{(1-nh^{\prime }(\theta ))} \left[ -(1-nh^{\prime }(\theta ))(1-h^{\prime }(\theta ))f(\theta ) +h\text {''}(\theta )(n-1)(1-F(\theta ))\right] \\&\quad =\frac{2nf(\theta )}{(1-nh^{\prime }(\theta ))} \left[ -(1-nh^{\prime }(\theta ))(1-h^{\prime }(\theta )) +h\text {''}(\theta )(n-1)h(\theta )\right] . \end{aligned}$$

From Assumptions 1 and 3, this is negative and accordingly \(G(\Theta (z))\) is concave with respect to z.

This is enough to show that the RHS of (45) is positive. From the concavity of \(G(\Theta (z))\) with respect to z,

$$\begin{aligned} \int _{z_{0}}^{\frac{z_{0}+z_{1}}{2}}\left( G\left( \Theta \left( \frac{z_{0} +z_{1}}{2}\right) \right) -G(\Theta (z))\right) dz \ge \frac{dG\left( \Theta \left( \frac{z_{0}+z_{1}}{2}\right) \right) }{dz} \frac{1}{8}(z_{1}-z_{0})^{2}, \end{aligned}$$

and

$$\begin{aligned} \int _{\frac{z_{0}+z_{1}}{2}}^{z_{1}}\left( G\left( \Theta \left( \frac{z_{0} +z_{1}}{2}\right) \right) -G(\Theta (z))\right) dz \ge -\frac{dG\left( \Theta \left( \frac{z_{0}+z_{1}}{2}\right) \right) }{dz} \frac{1}{8}(z_{1}-z_{0})^{2}, \end{aligned}$$

so that \(\int _{z_{0}}^{z_{1}}(G(\Theta (\frac{z_{0}+z_{1}}{2}))-G(\Theta (z)))dz\ge 0\). \(\square \)

1.8 Proof of Proposition 2

Given (23) and (29), the suppliers’ aggregate expected profits may be written along a semi-regular equilibrium as

$$\begin{aligned}&\int _{\underline{\theta }}^{\theta ^{SR}}(\theta -h(\theta ) -Q^{D}(\theta ^{SR}))Q^{D}(\theta ^{SR})f(\theta )\mathrm{d}\theta \\&\quad +\int _{\theta ^{SR}}^{\overline{\theta }}(\theta -h(\theta ) -Q^{D}(\theta ))Q^{D}(\theta )f(\theta )\mathrm{d}\theta . \end{aligned}$$

Their derivative with respect to \(\theta ^{SR}\) is easily obtained as:

$$\begin{aligned} \frac{1-nh^{\prime }(\theta ^{SR})}{2} \int _{\underline{\theta }}^{\theta ^{SR}} (\theta -h(\theta )-2Q^{D}(\theta ^{SR}))f(\theta )\mathrm{d}\theta . \end{aligned}$$

Remember the constraint \(Q(\theta )\le \frac{\theta -h(\theta )}{2}\), \(\forall \theta \in \left[ \underline{\theta },\overline{\theta }\right] \).

For any \(\theta ^{SR}\) such that the previous constraint is satisfied, i.e. \(Q^{D}(\theta ^{SR})=\frac{\theta ^{SR} -nh(\theta ^{SR})}{2}\le \frac{\underline{\theta } -h(\underline{\theta })}{2},\) the above derivative is strictly positive. Letting now \(\theta ^{c}\) be such that \(\frac{\theta ^{c}-nh(\theta ^{c})}{2}=\frac{\underline{\theta }-h(\underline{\theta })}{2}\)Footnote 49, the solution of our problem is \(\theta ^{SR}=\theta ^c\) whenever the nonnegativity of sales constraint is satisfied, i.e. \(\frac{\theta ^c-nh(\theta ^c)}{2}>0.\) Otherwise it has to be such that \(\theta ^{SR}=\Theta (0),\) where \(\Theta (0)-nh(\Theta (0))=0:\) the optimal sales level is zero for all \(\theta \in \left[ \underline{\theta },\Theta (0)\right] \).

The necessity part of the Proposition is straightforward. Suppose that (27) does not hold over some interval \(\left[ \theta _{0},\theta _{1}\right] .\) Then the equilibrium sales function which is identical to the semi-regular (or regular) one defined in Proposition 2 except that \(Q(\theta )=Q^{D}(\theta _{0})\), \(\theta \in \left[ \theta _{0},x\right] ,\) and \(Q(\theta )=Q^{D} (\theta _{1})\), \(\theta \in \left[ x,\theta _{1}\right] ,\) where \(x-nh(x)=\frac{\theta _{0}-nh(\theta _{0})+\theta _{1}-nh(\theta _{1})}{2}\), strongly Pareto-dominates the original one.Footnote 50\(\square \)

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Laussel, D., Resende, J. Complementary Monopolies with asymmetric information. Econ Theory 70, 943–981 (2020). https://doi.org/10.1007/s00199-019-01197-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00199-019-01197-5

Keywords

JEL Classification

Navigation