Abstract
This article considers general equilibrium economies with a primitive uncertainty model that features ambiguity about continuoustime volatility. For the resulting nonequivalence of priors, an appropriate commodityprice space is introduced. Agents are heterogeneous in the size of captured ambiguity, endowment and preference for risk and ambiguity. Preferences are of variational type à la Maccheroni et al. (Econometrica 74(6):1447–1498, 2006). One important implication involves a problematic aspect of linear equilibrium price systems. Positive payoffs are for free on events outside the domain of the representing equilibrium pricing measure. Moreover, when aggregate risk is present and aggregate ambiguity is absent, the insurance properties of optimal allocations depend on the notion of ambiguityfree payoffs.
Similar content being viewed by others
Notes
The indeterminacy result given by Ohtaki and Ozaki (2015) also follows from Knightian uncertainty and serves as a further hint that indeterminacy of equilibria is a frequently appearing feature that requires a careful distinction from equilibrium implications without ambiguity.
Priors in \({\mathcal {P}}\) can be related in two ways. One case refers to mutual singularity and points to a disjoint support for these measures. The second possibility is a mixture: Two priors may be equivalent for a subclass of events and mutually singular for its complement.
In the volatility uncertainty setting, such priors occur when the volatilities agree up to a certain point \(t>0\) and then differ (see Fig. 2 in Sect. 3). Two priors \(P_1,P_2\in int( {\varDelta }(\varOmega ))\) in the interior of the simplex are always equivalent. Two priors are singular if their supports are disjoint.
In the present setting, weak convergence is shown in Dolinsky et al. (2012).
\(P_0=P^1\) is not a reference measure. Its technical purpose stems from the uncertainty model. \(P_0\notin {\mathcal {P}}\) means that \(1\notin {\mathcal {D}}\). To guarantee weak compactness and convexity of \({\mathcal {P}}'\), it suffices to assume Hölder continuity of the bounds \(\underline{\sigma },\overline{\sigma }: [0,T]\rightarrow {\mathbb {R}}\); see Proposition 5 in Denis and Kervarec (2013).
By Peng (2010), \({\mathbb {E}}\) is a sublinear expectation, i.e., it shows monotonicity, positive homogeneity, a constant preserving property, subadditivity, and it constitutes the basis of the model.
Note that \(\text {E}^P\vert X\vert \le \Vert X \Vert _{\mathcal {P}}\) for every \(X\in L\) implies a richer dual space: The primal norm reenters in the dual norm via \(\Vert \varPi \Vert ^*_{\mathcal {P}}= \sup \{ \vert \varPi (X)\vert : \Vert X\Vert _{\mathcal {P}}\le 1 \}\).
To see this, let \(\bar{P}(Y>0)>0\) and \(Y=0\) Pa.s. for every \(P\in {\mathcal {P}}{\setminus }\{\bar{P}\}\) and let \(X\mapsto l(X)=\text {E}^{P_l}[ \psi X ]\) such that \(P_l ,\bar{P}\) are mutually singular and \(\psi >0\) \(P^l\)a.s., hence \(l(Y)=0\).
The positive cone of an infinite dimensional commodity spaces may have an empty interior. Since \(\Vert \cdot \Vert _{\mathcal {P}}\) is a maximum of integrals, this issue is still present. A properness condition is required to establish the existence of an equilibrium. A more elaborate discussion is beyond the scope of this paper. See Martinsda Rocha and Riedel (2010) for additional details.
\(u_{\alpha }\) is given by \({u_{\alpha }}(e)=\max _{x\in \varLambda (e)}\sum \alpha _i u_{i}(x_i)\). Here \( L^{\infty }\) is the closure for \({\mathcal {C}}_b\) under the norm \(\Vert X\Vert _\infty =\inf \{ M\ge 0: \vert X\vert \le M q.s.\} \) [see again Denis et al. (2011)].
Note that \({\mathbb {E}}_G[c]=c\) and \({\mathbb {E}}_G[C+c]={\mathbb {E}}_G[C]+ c\) for every \(C\in L\) and constant c. The second and third equalities follow from the linearity of \({\mathbb {E}}_G\) whenever one summand is an element of \(\text {M}_{\mathcal {P}}\) (see Proposition I.3.6 in Peng 2010). Moreover, we used the fact that the ambiguous Brownian motion contains no ambiguity in the weak sense: \(B_T\in \text {M}_{\mathcal {P}}\) and \(E^P[B_T]=0\) for all \(P\in {\mathcal {P}}\).
References
Aliprantis, C., Border, K.: Infinite Dimensional Analysis: A Hitchhiker’s Guide. Springer, Berlin (2006)
Beissner, P.: Coherent Price Systems and UncertaintyNeutral Valuation. (2012). Arxiv preprint arXiv:1202.6632
Beissner, P.: Brownian equilibria under Knightian uncertainty. Math. Financ. Econ. 9(1), 39–56 (2015)
Bewley, T.: Knightian decision theory. Part I. Decis. Econ. Finance 25(2), 79–110 (2002)
Billot, A., Chateauneuf, A., Gilboa, I., Tallon, J.M.: Sharing beliefs: between agreeing and disagreeing. Econometrica 68(3), 685–694 (2000)
BionNadal, J., Kervarec, M.: Risk measuring under model uncertainty. Ann. Appl. Prob. 22(1), 213–238 (2012)
Black, F., Scholes, M.: The pricing of options and corporate liabilities. J. Polit. Econ. 81, 637–654 (1973)
Chen, Z., Epstein, L.: Ambiguity, risk, and asset returns in continuous time. Econometrica 70(4), 1403–1443 (2002)
Chung, K.L., Williams, R.J.: Introduction to Stochastic Integration, vol. 2. Springer, Berlin (1990)
Dana, R.: Existence and uniqueness of equilibria when preferences are additively separable. Econometrica 61(4), 953–957 (1993)
Dana, R.: Ambiguity, uncertainty aversion and equilibrium welfare. Econ. Theor. 23(3), 569–587 (2004)
Dana, R., Riedel, F.: Intertemporal equilibria with Knightian uncertainty. J. Econ. Theory 148(1), 1582–1605 (2013)
De Castro, L., Chateauneuf, A.: Ambiguity aversion and trade. Econ. Theor. 48(2), 243–273 (2011)
Denis, L., Hu, M., Peng, S.: Function spaces and capacity related to a sublinear expectation: application to GBrownian motion paths. Potential Anal. 34(2), 139–161 (2011)
Denis, L., Kervarec, M.: Utility functions and optimal investment in nondominated models. SIAM J. Optim. Control 51(3), 1803–1822 (2013)
Dolinsky, Y., Nutz, M., Soner, H.: Weak approximation of Gexpectations. Stoch. Process. Appl. 122(2), 664–675 (2012)
Duffie, D., Huang, C.: Implementing Arrow–Debreu equilibria by continuous trading of few longlived securities. Econometrica 53(6), 1337–1356 (1985)
Epstein, L., Ji, S.: Ambiguous volatility and asset pricing in continuous time. Rev. Financ. Stud. 7(26), 1740–1786 (2013)
Epstein, L.G., Marinacci, M.: Mutual absolute continuity of multiple priors. J. Econ. Theory 137(1), 716–720 (2007)
Faro, J.H.: Variational Bewley preferences. preprint at impa (2009)
Gilboa, I., Schmeidler, D.: Maxmin expected utility with nonunique prior. J. Math. Econ. 18(2), 141–153 (1989)
Hansen, L., Sargent, T.: Robust control and model uncertainty. Am. Econ. Rev. 91(2), 60–66 (2001)
Kervarec, M.: Etude des modeles non domines en mathematiques financieres. These de Doctorat en Mathematiques, Universite d’ Evry (2008)
Laurent, P.: Approximation et optimisation vol. 2. Université Scientifique et Médicale de Grenoble (1972)
Li, X., Peng, S.: Stopping Times and related it’s calculus with GBrownian motion. Stoch. Process. Appl. 121(7), 1492–1508 (2011)
Maccheroni, F., Marinacci, M., Rustichini, A.: Ambiguity aversion, robustness, and the variational representation of preferences. Econometrica 74(6), 1447–1498 (2006)
Martinsda Rocha, V., Riedel, F.: On equilibrium prices in continuous time. J. Econ. Theory 145(3), 1086–1112 (2010)
Ohtaki, E., Ozaki, H.: Monetary equilibria and Knightian uncertainty. Econ. Theory 59(3), 435–459 (2015)
Peng, S.: Gexpectation, GBrownian motion and related stochastic calculus of Itô type. Stochastic analysis and applications. The Abel Symposium 2005, pp. 541567 (2006)
Peng, S.: Nonlinear expectations and stochastic calculus under uncertainty. (2010), Arxiv preprint arXiv:1002.4546
Riedel, F., Beissner, P.: Nonimplementability of arrowdebreu equilibria by continuous trading under Knightian uncertainty (2014), arXiv preprint arXiv:1409.6940
Rigotti, L., Shannon, C., Strzalecki, T.: Subjective beliefs and ex ante trade. Econometrica 76(5), 1167–1190 (2008)
Soner, M., Touzi, N., Zhang, J.: Martingale representation theorem for the Gexpectation. Stoch. Process. Appl. 121(2), 265–287 (2011)
Strzalecki, T., Werner, J.: Efficient allocations under ambiguity. J. Econ. Theory 146(3), 1173–1194 (2011)
Author information
Authors and Affiliations
Corresponding author
Additional information
I thank RoseAnne Dana, Ali Khan, Frank Riedel and Jan Werner for many fruitful discussions and an anonymous referee for useful suggestions. Financial support by the German Research Foundation (DFG) via grant RI 1128/71 Financial Markets under Knightian Uncertainty is gratefully acknowledged.
Appendix
Appendix
The following convergence results are relevant to several proofs.
Convergence properties of sublinear expectations (Denis et al. 2011):

1.
\(\{ P_n\}\subset {\mathcal {P}}\) converges weakly to P, then \(\text {E}^{P_n}[X]\rightarrow \text {E}^P[X]\), for all \(X\in L\).

2.
Let \(\{ X_n\} \subset L\) be such that \(X_n \searrow X\), then \({\mathbb {E}}[X_n]\searrow {\mathbb {E}}[X]\).
1.1 Details and proofs of Sect. 3
As mentioned in Sect. 3.1, two random variables \(X,Y\in L\) can be distinguished if there is a prior \(P\in {\mathcal {P}}\) such that \(P(X\ne Y)>0\). \({\mathcal {P}}\)polar sets are elements in \({\mathcal {F}}\) with a probability of zero or one for every prior. A property holds quasisurely (q.s.) if it holds outside a polar set. Furthermore, the commodity space L is characterized in Denis et al. (2011) via
We say that \(X:\varOmega \rightarrow {\mathbb {R}}\) has a q.c. version if there exists a quasicontinuous function \(Y:\varOmega \rightarrow {\mathbb {R}}\) with \(X = Y\) q.s. A mapping \(X:\varOmega \rightarrow {\mathbb {R}}\) is said to be quasicontinuous (q.c.) if for all \(\epsilon > 0\) there exists an open set O with \(c(O)=\sup _{P\in {\mathcal {P}}}P(O) < \epsilon \) such that \(X_{O^c}\) is continuous.
Proof of Proposition 1
We show \(\inf (X,Y)=X \wedge Y\in L\) for every \(X,Y\in L\) via the representation in (12). Since \(\{\vert X\vert>n\}\supset \{\vert X\wedge Y\vert >n\}\), sublinearity of \({\mathbb {E}}\) implies
Since X and Y have a q.c. version, there are \(\bar{\epsilon },\epsilon _X, \epsilon _Y>0\) such that \(\epsilon _X+ \epsilon _Y< \bar{\epsilon }\) with \(c(O_X) < \epsilon _X\), \(c(O_Y) < \epsilon _Y\) and hence \(c(O_X\cup O_Y)\le c(O_X)+c(O_Y)< \bar{\epsilon }\). Because \(X_{(O_X\cup O_Y)^c}\) and \(Y_{(O_X\cup O_Y)^c}\) are both continuous, the quasicontinuity of \(X \wedge Y\) follows. The order relation is indeed a lattice operation.
That L is a Banach space is shown in Denis et al. (2011). For all \(X,Y\in L\) with \(\vert X\vert \le \vert Y\vert \) q.s. imply
for some maximizing prior \(P_X\) at \(\vert X\vert \); hence, L is a Banach lattice. Fix a sequence of positive random variables \((X_n)\) in L such that \(X_n\searrow 0\) in L. Application of the monotone continuity of \({\mathbb {E}}\) (see the beginning of the “Appendix”) gives us
Hence, L is a \(\sigma \)ordercontinuous Banach lattice. \(\square \)
Proof of Proposition 2
\(\tilde{L}\) is given by the space of \(\Vert \cdot \Vert _{\mathcal {P}}\)equivalence classes of \(\overline{{\mathcal {C}}_b(\varOmega )}^{\Vert \cdot \Vert _{\mathcal {P}}}\), so that the domain is modified via the Lebesgue prolongation; see Sect. 2 of BionNadal and Kervarec (2012) for this approach to function spaces. The explicit representation of the topological dual of \(\tilde{L}\) can be found in the first chapter of Kervarec (2008), Theorem I.30.
Clearly, every \(E^P[\psi \cdot ]\) is linear on L. Continuity under \(\Vert \cdot \Vert _{\mathcal {P}}\) follows from \(E^P[\psi \cdot ]\le M\cdot E^P[\psi \cdot ]\le M {\mathbb {E}}[\cdot ]\), for some constant \(M>0\). \(\square \)
Proof of Corollary 1
“\(\Rightarrow \)”: Proposition 2 implies \(\varPi (X)=\text {E}^P[ \psi X]\), since \(\psi >0\) Pa.s and \(P(X>0)>0\); therefore, \(\varPi (X)>0\) follows.
“\(\Leftarrow \)”: \(\varPi \in L^*\) implies, again by Proposition 2, that \(\varPi (X)=\text {E}^P[ \psi X] \). Suppose \(\psi \notin L^\infty (P)_{++}\) then \(P(\{\psi>0\} \cap \{ X>0\})=0\) for some \(P\in {\mathcal {P}}\) is possible, a contradiction. \(\square \)
Proof of Lemma 1

1.
Monotonicity follows directly from the monotonicity of the utility index u. Let \(P_C\in M(C)\) be a minimizer at C. Semistrict monotonicity follows from \(u'(C)>0\) on a set with a positive measure with respect to \(P_C\) and
$$\begin{aligned} U(C+h)U(C)\ge \text {E}^{P_C}[u(C+h)u(C)]>\text {E}^{P_C}[u'(C+h)\cdot h]\ge 0, \end{aligned}$$where the strict inequality follows from the strict concavity of u and \(h\in L_\oplus \).

2.
The mapping \(C\mapsto \text {E}^P[u(C)]+{\mathfrak {c}}(P)\) is concave for each \(P\in {\mathcal {P}}\) and the \(\inf \) operation preserves concavity. To prove strict concavity on \(\text {M}_{\mathcal {P}}\), let \(\alpha \in (0,1)\) and \(C,X\in L_+\cap \text {M}_{\mathcal {P}}\), with \(C\ne X\). This yields
$$\begin{aligned} \alpha U(C)+ (1\alpha ) U(X)\le & {} \min _{P\in {\mathcal {P}}} \text {E}^P[\alpha u(C) + (1\alpha ) u(X)]+{\mathfrak {c}}(P)\\< & {} \min _{P\in {\mathcal {P}}} \text {E}^P[ u( \alpha C + (1\alpha ) X)]+{\mathfrak {c}}(P)\\= & {} U( \alpha C+ (1\alpha ) X), \end{aligned}$$where the first inequality follows from the concavity of \(C\mapsto U(C)\).
U is not strictly concave on its whole domain, since \(C\ne X\) in L does not imply \(C\ne X\) under every \(P\in {\mathcal {P}}\); hence, one can easily pick two elements C and X which are Pa.s. equal, where \(P\in M(\lambda C+(1\lambda ) X)\), and deduce a contradiction, when following the proof of strict concavity on \(\text {M}_{\mathcal {P}}\).

3.
Let \((C_n)\subset L_+\) converge to C in L. To prove upper semicontinuity, every subsequence \((Y_{n_k})_{k\in {\mathbb {N}}}\) of \((C_n)\) must have in turn a subsequence \((Z_n)_{n\in {\mathbb {N}}}\) such that
$$\begin{aligned} \limsup _{n\rightarrow \infty } U(Z_n)\le U(C). \end{aligned}$$Let \(P_C\in M(C)\) be a minimizing prior and \((Y_{n_k})\) be a subsequence of \((C_n)\). There is a subsequence \((Z_{n})\) in \((Y_{n_k})_{k\in {\mathbb {N}}}\) and some \(Z\in L_+\) satisfying \( Z_n(\omega )\rightarrow X(\omega )\) and \( 0\le Z_n(\omega )\le Z(\omega ) \) for \( P_C\)–a.s. Take \(Z=C+ \sum _{n\in {\mathbb {N}}}\vert Z_{n+1}Z_n\vert \), with \(\Vert Z_{n+1}Z_n\Vert _{\mathcal {P}} \le 2^{n}\). Monotonicity of u implies \(0\le u(Z_n (\omega ))\le u(Z (\omega ))\) and \(u(Z_n (\omega ))\rightarrow u(C(\omega ))\) for \(P_C\)a.s. \(\omega \in \varOmega \). As such, the \(\limsup \)version of Fatou’s lemma under \(P_C\) yields
$$\begin{aligned} \limsup _{n\rightarrow \infty } U(Z_n) \le \limsup _{n\rightarrow \infty } \text {E}^{P_C}[u(Z_n)]+{\mathfrak {c}}(P_C) \le \text {E}^{P_C}[ u(C)]+{\mathfrak {c}}(P_C) =U(C). \end{aligned}$$For the set of supergradients, note that \({\mathcal {P}}\) is also \(\sigma (\tilde{L}^*, \tilde{L})\)weakly compact which follows from the same arguments as in the proof for Proposition 2.4 of BionNadal and Kervarec (2012), since it is a closed subset of the nonnegative part of the unit ball in \(\tilde{L}^*\). Minimizing priors exist, since \(P\mapsto \text {E}^P[X]\) is weakly continuous in P for every \(X\in L\), and build a convex weakly compact subset of \( {\mathcal {P}}\).
Let \(P_C\in M( C)\) and \(X\in L_+\). By the concavity and differentiability of the utility index u, this implies
\(\square \)
1.2 Details and proofs for Sect. 4
The proof of Theorem 1 needs some preparation and relies on Propositions 3 to 5. Their respective proofs are collected at the end of the “Appendix.”
Proposition 3
Under Assumption 1 with \(\text {dom}({\mathfrak {c}}_i)=\{P\}\), for all \(i\in {\mathbb {I}}\), there is a Pa.s. unique equilibrium. The equilibrium allocation is a continuous function of \(E\in L_+\).
\({\mathbb {GE}}:{\mathcal {P}}\rightarrow \varDelta _I\) denotes the singlevalued correspondence. It assigns to every P the unique equilibrium weight \(\alpha ^P\) of the relevant singleprior economy \({\mathcal {E}}^P=\{L_+,U_i^P, E_i\}_{i\in {\mathbb {I}}}\) with \(\text {E}^P\)expected utility \(U^P_i\). By the first welfare theorem and Proposition 3, consider a singlevalued solution selection of the concave program \((U^P_\alpha ,\varLambda (E))\), given by \(( C_i^\alpha )\in \text {arg}\max _{(C_i)\in \varLambda (E) } \sum \alpha _i U^P_i(C_i)\). This motivates the following definition.
Definition 2
The excess utility map \(\varPhi :\varDelta _I\times {\mathcal {P}}\rightarrow {\mathbb {R}}^I\) is given by
The modification in the definition is caused by the equilibrium prior in the firstorder conditions of individual maximization. As explained at the end of Sect. 2, a zero \((\alpha ,P)\in \varDelta _I\times {\mathcal {P}}\) of \(\varPhi \) is not sufficient to guarantee existence, since an arbitrary \(P\in {\mathcal {P}}\) may not lie in the set of common minimizers \( \bigcap _{i\in {\mathbb {I}}} M_i(C_i^\alpha )\).
To show that there is a common minimizing prior at \((C_1^\alpha ,\ldots , C_I^\alpha )\), consider the superdifferential of \( U_\alpha \), denoted by \(\partial U_{\alpha }\).
Proposition 4
Let \((C_i^\alpha )\in \varLambda (E)\) be \(\alpha \)efficient. The set of common riskunadjusted priors
where \({\mathfrak {c}}_\alpha (P)=\sum _{i\in {\mathbb {I}}}\alpha _i{\mathfrak {c}}_i(P)\) is the \(\alpha \)weighted sum of penalty terms, satisfies
The correspondence \({\mathbb {P}}:\varDelta _I\Rightarrow {\mathcal {P}}\) is upper hemicontinuous on \(\varDelta _I\), nonempty, weakly compact and convex valued.
The next step connects Propositions 3 and 4 with an equilibrium in the original economy \({\mathcal {E}}\). The graphs of the correspondences in Proposition 5 are \(\text {gr}({\mathbb {P}})=\{(\alpha , P)\in \varDelta _I\times {\mathcal {P}}:P\in {\mathbb {P}}(\alpha )\}\) and \(\text {gr}({\mathbb {GE}}^{1})=\{(\alpha , P)\in \varDelta _I\times {\mathcal {P}}: \alpha \in {\mathbb {GE}}(P)\}\).
Proposition 5
The tuple \(\bigl ((C_i^{\alpha ^*}),\text {E}^{P^*}[ u'_{\alpha ^*}(E)\cdot ]\bigr )\) is an Arrow–Debreu equilibrium in the economy \({\mathcal {E}}\) if and only if \( \varPhi (\alpha ^*,P^*)=0 {\textit{ and }} P^*\in {\mathbb {P}}(\alpha ^*)\), which is equivalent to the coincidence \((\alpha ,P)\in \text {gr}({\mathbb {GE}}^{1})\cap \text {gr}({\mathbb {P}})\) or \(P\in {\mathbb {P}}\circ {\mathbb {GE}}(P)\).
Proof of Theorem 1
Define the functional \(\rho :\varDelta _I\times {\mathcal {P}}\rightarrow {\mathbb {R}}\) by
By the second part of Lemma 2, \(\varPhi _i(\alpha , \cdot )\) is linear and weakly continuous; hence, \(P\mapsto \rho (\alpha , P)\) is weakly continuous. From an application of the second part of Lemma 2, the continuity of \(\alpha \mapsto \rho (\alpha ,P)\) follows, since the pointwise infimum of a finite collection of continuous functions is again continuous. Since the maximum of \(\alpha \mapsto \rho (\alpha ,P)\) over \(\varDelta _I\) is by construction a zero (the unique equilibrium weight in \({\mathcal {E}}^P\)), the solution mapping \({\mathbb {GE}}\) is also given by
Therefore, by Berge’s maximum theorem and Proposition 3, \({\mathbb {GE}}\) is a singlevalued and upper hemicontinuous correspondence and hence continuous when viewed as a function. By Proposition 4, \({\mathbb {P}}\circ {\mathbb {GE}}:{\mathcal {P}}\rightarrow {\mathcal {P}}\) is a composition of upper hemicontinuous correspondences and hence again upper hemicontinuous.
\({\mathbb {P}}\) is convex and weakly compact valued and hence so is \({\mathbb {P}}\circ {\mathbb {GE}}\). The fact that the vector space of a signed measure on \((\varOmega ,{\mathcal {F}})\) equipped with the topology of weak convergence is a locally convex topological vector space allows us to apply the Kakutani–Glicksberg–Fan fixedpoint theorem (Theorem 17.55 in Aliprantis and Border 2006) with respect to \({\mathbb {P}}\circ {\mathbb {GE}}\), and the result follows by Proposition 5. \(\square \)
Lemma 2

1.
For each \(P\in {\mathcal {P}}\), the function \(\varPhi (\cdot ,P)\) is continuous in the interior of \(\varDelta _I\) and \(\Vert \varPhi (\alpha ,P)\Vert _{{\mathbb {R}}^I}\rightarrow +\infty \) whenever \(\alpha _i\rightarrow 0\) for some \(i\in {\mathbb {I}}\).

2.
For each \(\alpha \in \varDelta _I\), the function \(\varPhi (\alpha ,\cdot )\) is weakly continuous.
Proof of Lemma 2

1.
This follows from Proposition 3 and the continuous differentiability of each \(u_i\). Since \(P\in {\mathcal {P}}\) is fixed, the limit behavior follows from the same argument as in the standard singleprior case (see Dana 1993).

2.
Let \(\{P_n\}_{n\in {\mathbb {N}}}\) be a sequence in \({\mathcal {P}}\) which converges weakly to some prior P. According to the first result at the beginning of “Appendix,”
$$\begin{aligned} \lim _{n\rightarrow \infty } \text {E}^{P_n}[u'_{\alpha }(E)\cdot (C_i^{\alpha }E_i) ]= \text {E}^{P}[u'_{\alpha }(E)\cdot (C_i^{\alpha }E_i ) ] \end{aligned}$$which proves continuity in the weak topology.
\(\square \)
Proof of Corollary 2
Theorem 1 guarantees the existence of a Pareto optimal allocation, by the application of the first welfare theorem.
To prove the existence of a continuously differentiable selection, consider that the welldefined mapping \(C^\cdot (\cdot ):\varDelta _I\times {\mathbb {R}}_{+}\rightarrow {\mathbb {R}}^I_+\) is the unique solution of the pointwise problem
which is continuously differentiable on \(int(\varDelta _I)\times {\mathbb {R}}_{++}\), the interior of \(\text {dom}(C)\). For every \(\alpha \in \varDelta _I\), there is a \(P\in {\mathcal {P}}\) such that the modified economy \({\mathcal {E}}^P\) with \(\text {dom}({\mathfrak {\tilde{c}}}_i)=\{P\}\), \(i\in {\mathbb {I}}\), satisfies the same firstorder condition as in the original economy \({\mathcal {E}}\)
for every \(i\in {\mathbb {I}}\) such that \(\alpha _i\ne 0\). This implies the \(\alpha \)efficiency of \((C_i^\alpha (E))_{i\in {\mathbb {I}}}\) in the original and \({\mathfrak {\tilde{c}}}_i\)modified economy. Feasibility holds by construction. Hence, \(C\in {\mathbb {C}}\) is a continuously differentiable selection in \(\alpha \). \(\square \)
Proof of Proposition 3
Since only Pa.s. uniqueness is required, the proof follows the lines of Dana (1993), where the present commodityprice duality is given by \(\langle L,L^\infty (P) \rangle \). \(\square \)
Proof of Proposition 4
The allocation \((C_1^\alpha ,\ldots , C_i^\alpha )\in \varLambda (E)\) can be related to an \(\alpha \)weighted program \((U^{\alpha },\varLambda (E))\). The FOCs \(\alpha _i {u_i}'(C_i^\alpha ) \text {d}P_i=\alpha _k {u_k}'(C_k^\alpha ) \text {d}P_k \), \(i,k\in {\mathbb {I}}\), require the same support of the representing measures. Since \(E>0\) q.s. and \(E_i \in L_\oplus \), we have \(\alpha _i{u_i}'(C_i^\alpha )>0\) q.s., by the strict monotonicity of each \(u_i\). By the FOC, a singularity of \(P_i\) and \(P_k\) on some \(A\in {\mathcal {F}}\) with \(\max (P_i(A),P_k(A))>0\) can be ruled out. This implies \(P^*=P_i\) for all i, since no two priors in \({\mathcal {P}}\) are mutually equivalent.
Lemma 1 yields \(\partial U_i(C_i^\alpha )\ne \emptyset \), for each \(i\in {\mathbb {I}}\). That \(\bigcap _{i\in {\mathbb {I}}}\partial \alpha _i U_i(C_i^\alpha )=\partial U_{\alpha }(E)\ne \emptyset \) is weakly compact and convex follows from Proposition 6.6.4 in Laurent (1972). The intersection of compact sets is again compact. Let \(\bar{P}\in {\mathbb {P}}(\alpha )\) and we derive
where the pointwise definition of \(u_\alpha \) can be found in the footnote in Assumption 1.
The upper hemicontinuity of \({\mathbb {P}}\) follows from Berge’s maximum theorem with respect to the \(\alpha \)parametrized program \(\min _{P\in {\mathcal {P}}} \text {E}^P\left[ u_\alpha (E)\right] +{\mathfrak {c}}_\alpha (P)\). Here the assumed continuity of each \({\mathfrak {c}}_i\) is applied. \({\mathbb {P}}\) is weakly compact and convex valued. \(\square \)
Parts of the proof of Proposition 5 follow the ideas of Sect. 3 in Dana (2004).
Proof of Proposition 5
“\(\Leftarrow \)”: Each prior \(P\in {\mathbb {P}}(\alpha )\) is associated with the supergradients, for each \(i\in {\mathbb {I}}\), \(D U_i(C_i)(X)=\text {E}^P[u'_i(C_i)X ] \) simultaneously. A possible prior \(P\notin {\mathbb {P}}(\alpha )\) with a zero in the excess demand is not related to at least one relevant agent k’s firstorder condition of \(\alpha \)efficiency. If \(\varPhi \ne 0\) then only an equilibrium with transfer payment results.
“\(\Rightarrow \)”: By Proposition 3, \(\varPhi (\alpha ^*,P^*)=0\) and \(P^*\in {\mathbb {P}}(\alpha ^*)\) implies the existence of an equilibrium \(( \{C^{P^*,\alpha ^*}_i\}_{i\in {\mathbb {I}}},u_{\alpha ^*}'(E))\) under \({\mathcal {E}}^{P^*}\). Equilibrium consumption \(C^{P^*,\alpha ^*}_i\) corresponds to the \(\alpha ^*\)efficient consumption of agent i. We get
This implies \(U_i(C)\le U_i(C^{P^*,\alpha ^*}_i)\), due to \(U_i(C)\le \text {E}^{P^*}[u_i(C)]{\mathfrak {c}}_i (P^*)\). Hence, the \(I+1\) tuple \((\{C^{P^*,\alpha ^*}_i\}_{i\in {\mathbb {I}}},\text {E}^{P^*}[ u_{\alpha ^*}'(E)\cdot ])\) is also an equilibrium of the original economy \({\mathcal {E}}\).
The last statement of the proposition can be seen as follows:
\(\square \)
1.2.1 Details of Examples 4 and 5 and Corollary 3
Gmartingale representation theorem (Soner et al. (2011)): Every \(X\in L\) has the unique representation \(X={\mathbb {E}}_G[X]+\int _0^t \eta _s\text {d}{B}_sK_T\), where K is a continuous, increasing process with \(K_0=0, K_T\in L\). A direct consequence yields an alternative representation of all weakly ambiguityfree claim in L:
where \(\eta \) is an adapted process with \(\big \Vert \int _0^T (\eta _t)^2 \text {d} t\big \Vert _{\mathcal {P}}<\infty \).
We have repeatedly used the following version of Itô’s Lemma for onedimensional GBrownian motion.
Itôformula, Li and Peng (2011): Let \(\varPhi : {\mathbb {R}}\rightarrow {\mathbb {R}}\) be twice differentiable and \(\text {d} X_t = V_t \text {d} {B}_t\), then \(\varPhi (X_t)=\varPhi (X_0)+\int _0^t \varPhi _x(X_r)V_r \text {d}{B}_r+ \frac{1}{2}\int _0^t {\varPhi }_{xx}(X_r)V^2_r \text {d}\langle {B}\rangle _r\).
Proof of Corollary 3
We are in the setting of Theorem 4.1 in Riedel and Beissner (2014). Implementability via a Bachelier asset market is characterized by the requirement \(\xi _i^\psi \in \text {M}_{\mathcal {P}} \) for each \(i\in {\mathbb {I}}\).
Define \(x\mapsto H_i(x):= u_\alpha '(x)(C^\alpha _i(x)  \varphi _i(x)) \); by the same arguments as in Corollary 2, each function \(H_i:{\mathbb {R}}_{++}\rightarrow {\mathbb {R}}\) is twice continuously differentiable. Since \(E=E_T \in \text {M}_{\mathcal {P}} \) and by the same argument as in Example 4, we have
where \(H_i ({\mathbb {E}}[E])={\mathbb {E}}[ H_i (E)]\) holds by assumption. \(H_i(E)\in \text {M}_{\mathcal {P}}\) holds if and only if the third term on the righthand side in (14) is zero. This follows from the alternative characterization of weakly ambiguityfree payoffs in (13).
In view of 14, this is equivalent to \(H''_i (E_t) =0\), since \(E_t \sigma ^E_t>0\). Differentiating each \(H_i\) twice gives (11), since \({u_\alpha }'(x)=\alpha _i {u_i}'(C_i^\alpha (x))\). \(\square \)
Finally, I give the postponed derivation of the equation (9) in Example 5. Suppose each optimal consumption has the complete representation property, we can write
where \(\theta _t^2=f^2_{x}(t,B_t)\), \(\eta _t^2=f^2_{xx}(t,B_t)\) and \(f^2(T,B_T)=F^\alpha _2(B_T)=C_2^\alpha \). A sufficient condition for the decomposition of K is the boundedness of \(\partial _x F^\alpha _i(x)\) on \({\mathbb {R}}_+\) (see Theorem 2.2 in Chapter 4 of Peng (2010)).
As illustrated in Example 5, \(F^2_\alpha \) is convex, and by Sect. 1 in Chapter II of Peng (2010), it follows that \(f^2(t,\cdot ):{\mathbb {R}}\rightarrow {\mathbb {R}}_+ \) is convex for each \(t\in [0,T]\). Hence \(f^2_{xx}\ge 0\) and we deduce that the last two terms of (15) can be written as
We have \(K^2_t\equiv 0\) \(P^{\overline{\sigma }}\)a.s. and \(K^2_t< 0\) under every other prior in \({\mathcal {P}}{\setminus }\{P^{\overline{\sigma }}\}\).
Rights and permissions
About this article
Cite this article
Beissner, P. Equilibrium prices and trade under ambiguous volatility. Econ Theory 64, 213–238 (2017). https://doi.org/10.1007/s001990160979y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s001990160979y
Keywords
 Knightian uncertainty
 Variational preferences
 General equilibrium
 Singular priors
 Ambiguous volatility
 Insurance under ambiguity
 Equilibrium price systems