On the minimal members of convex expectations with constraints
- Rong-Lin Ji^{1},
- Long Jiang^{1}Email author and
- De-Jian Tian^{1}
https://doi.org/10.1186/s13660-015-0718-0
© Ji et al. 2015
Received: 28 October 2014
Accepted: 28 May 2015
Published: 12 June 2015
Abstract
Let S be a subset of all convex expectations containing all linear expectations. We prove that \(\mathcal{E}\) is a minimal member of S if and only if \(\mathcal{E}\) is a linear expectation. Let S be the set of all those convex expectations which are bigger than a concave expectation (resp. less than a convex expectation, sandwiched between a convex expectation and a concave expectation). We show that \(\mathcal{E}\) is a minimal member of S if and only if \(\mathcal{E}\) is a linear expectation with the same constraints as above, respectively. This paper overcomes the deficiencies in the proofs of the main theorems in Huang and Jia (J. Math. Anal. Appl. 376:42-50, 2011) and generalizes the results in Huang and Jia (J. Math. Anal. Appl. 376:42-50, 2011).
Keywords
nonlinear expectation sublinear expectation convex expectation minimal member1 Introduction
It is well known that linear expectation is a powerful tool for dealing with stochastic phenomena. However, there are many uncertain phenomena which cannot be exactly measured by linear expectations. Scientists have found that the linearity causes the Allais paradox and Ellsberg paradox (see Allais (1953) and Ellsberg (1961)), and a lot of attention has been paid to nonlinear expectations and their applications. Peng [1] introduced the concept of g-expectations via nonlinear backward stochastic differential equations and showed that g-expectations are dynamically consistent (see also [2]). Coquet et al. [3] proposed an axiomatic approach to nonlinear expectations and introduced the notion of filtration-consistent nonlinear expectations. Chen et al. [4] investigated the connection between g-expectations and Choquet expectations, and Rosazza Gianin [5] and Jiang [6] investigated the relation between g-expectations and risk measures. Jia [7] studied the minimal members of sublinear expectations and their related properties, established the relationship between linear expectations and the minimal members of sublinear expectations, and obtained the so-called sandwich theorem for sublinear expectations and superlinear expectations. Furthermore, Huang and Jia [8] devoted their efforts to the study of the minimal members of convex expectations reaching conclusions similar to those in [7]. Unfortunately, there are some significant deficiencies in the course of the proofs of their main theorems in [8] (see Remark 3.1 and Remark 3.3).
The natural questions arise: do the results in [8] hold for convex expectations and what are the minimal members of convex expectations with some constraints?
The aim of this paper is to investigate the minimal members of nonlinear expectations in the framework of convex expectations with some constraints. We prove that, for a subset S of all convex expectations containing all linear expectations, \(\mathcal{E}\) is a minimal member of S if and only if \(\mathcal{E}\) is a linear expectation. Let S be the set of all those convex expectations which are bigger than a concave expectation (resp. less than a convex expectation, sandwiched between a convex expectation and a concave expectation). We show that \(\mathcal{E}\) is a minimal member of S if and only if \(\mathcal{E}\) is a linear expectation with the same constraints as above, respectively. In this article, our arguments overcome the deficiencies in the arguments in [8] and our results generalize the main results in [8].
The remainder of this paper is organized as follows: In Section 2, we introduce some notions, propositions, and lemmas which will be useful in this paper; in Section 3, we state and prove our main results.
2 Preliminaries
For the convenience of the readers, we recall some basic notions defined on a complete probability space \((\Omega,\mathcal{F},P)\) as follows (see [8]).
- (i)
\(E[c]=c\), \(\forall c \in R\);
- (ii)
\(E[X] \geq E[Y]\) if \(X \geq Y\) P-a.s; in addition, \(P(X>Y)>0\) implies \(E[X] > E[Y]\);
- (iii)
\(E[\alpha X + \beta Y]=\alpha E[X]+\beta E[Y]\), \(\forall \alpha, \beta\in R\).
- (A1)
constant preserving: \(\mathcal{E}[c]=c\), \(\forall c \in R\);
- (A2)
monotonicity: \(\mathcal{E} [X] \geq\mathcal{E} [Y]\) if \(X \geq Y\) P-a.s.
Strict monotonicity: If \(X \geq Y\) P-a.s. and \(P(X>Y)>0\), then \(\mathcal{E} [X] > \mathcal{E} [Y]\).
- (A3)
- (i)
subadditivity: \({\mathcal{E}}[X+Y] \leq{\mathcal{E}}[X] + {\mathcal{E}}[Y]\);
- (ii)
positive homogeneity: \({\mathcal{E}}[\lambda X]=\lambda {\mathcal{E}}[X]\), \(\forall\lambda\geq0 \).
- (i)
- (A4)
convexity: \({\mathcal{E}}[\alpha X + (1- \alpha)Y] \leq \alpha{\mathcal{E}}[X] + (1- \alpha) {\mathcal{E}}[Y]\), \(\forall\alpha \in[0,1]\).
- (A5)
- (i)
superadditivity: \({\mathcal{E}}[X+Y] \geq{\mathcal{E}}[X] + {\mathcal{E}}[Y]\);
- (ii)
positive homogeneity: \({\mathcal{E}}[\lambda X]=\lambda {\mathcal{E}}[X]\), \(\forall\lambda\geq0 \).
- (i)
- (A6)
concavity: \({\mathcal{E}}[\alpha X + (1- \alpha)Y] \geq \alpha{\mathcal{E}}[X] + (1- \alpha) {\mathcal{E}}[Y]\), \(\forall\alpha \in[0,1]\).
- (A7)
for any \(\mathcal{E}\in S\), if \(\mathcal{E} [X]\leq\mathcal{E}_{0} [X]\), \(\forall X\in L^{1}\mathcal{(}\Omega,\mathcal{F},P)\), then \(\mathcal{E}= \mathcal{E}_{0}\).
- (A8)
for any \(\mathcal{E}\in S\), if \(\mathcal{E} [X]\geq\mathcal{E}_{0} [X]\), \(\forall X\in L^{1}\mathcal{(}\Omega,\mathcal{F},P)\), then \(\mathcal{E}= \mathcal{E}_{0}\).
For convenience, we denote the set of all linear expectations by \(S^{\mathrm{l}}\), the set of all sublinear expectations by \(S^{\mathrm{sl}}\), the set of all convex expectations by \(S^{\mathrm{cv}}\), the set of all superlinear expectations by \(S^{\mathrm{supl}}\), and the set of all concave expectations by \(S^{\mathrm{conca}}\). Clearly, \(S^{\mathrm{l}} \subset S^{\mathrm{sl}} \subset S^{\mathrm{cv}}\), \(S^{\mathrm{l}} \subset S^{\mathrm{supl}} \subset S^{\mathrm{conca}}\). For any two nonlinear expectations \(\mathcal{E}_{1}\) and \(\mathcal{E}_{2}\), \(\mathcal{E}_{1} \geq\mathcal{E}_{2}\) means \(\mathcal{E}_{1} [X] \geq\mathcal{E}_{2} [X]\) for any \(X\in L^{1}\mathcal{(}\Omega,\mathcal{F},P)\).
By the convexity (resp. concavity) and constant preserving condition, one can easily obtain Proposition 2.1, which shows that \(S^{\mathrm{cv}}\) (resp. \(S^{\mathrm{conca}}\)) has minimal members (resp. maximal members). The proof is omitted.
Proposition 2.1
Let E be a linear expectation. Then E is a minimal member of \(S^{\mathrm{cv}}\) and a maximal member of \(S^{\mathrm{conca}}\).
The following lemmas come from Jia [7].
Lemma 2.1
- (i)
\(\mathcal{E} \) is a minimal member of \(S^{\mathrm{sl}}\);
- (ii)
\(\mathcal{E} \) is a linear expectation.
Lemma 2.2
3 Main results
Theorem 3.1
- (i)
\(\mathcal{E}_{0} \) is a minimal member of S;
- (ii)
\(\mathcal{E}_{0} \) is a linear expectation.
Proof
Since \(S^{\mathrm{l}} \subseteq S \), Proposition 2.1 shows that S has at least a minimal member and (ii) ⇒ (i) holds.
Since \(\mathcal{E}_{0}\) is a minimal member of S, applying Lemma 2.1, we know that there exists a linear expectation \(E \in S^{\mathrm{l}}\) satisfying \(E \leq\mathcal{E}_{0} ^{\ast} \leq\mathcal{E}_{0}\). Noticing that \(E \in S^{\mathrm{l}} \subseteq S\) and \(\mathcal{E}_{0}\) is a minimal member of S, we have \(\mathcal{E}_{0} =E \in S^{\mathrm{l}}\). □
Remark 3.1
In [8], Huang and Jia applied Lemma 2.11 to prove their main theorem (Theorem 2.12). Unfortunately, they cannot assert that the minimal members of convex expectations must be sublinear in that lemma (see line 13 of p.48).
Remark 3.2
Let \(\mathcal{E}_{1}\) be a convex expectation and \(\mathcal{E}_{2}\) be a concave expectation with \(\mathcal{E}_{1} \geq\mathcal{E}_{2}\). Let \(\mathcal{E}_{1} ^{\ast}\) and \(\mathcal{E}_{2} ^{\ast}\) be defined as in (1). Then it is easy to verify that \(\mathcal{E}_{1} ^{\ast}\) is a sublinear expectation and \(\mathcal{E}_{2} ^{\ast}\) is a superlinear expectation with \(\mathcal{E}_{1} \geq\mathcal{E}_{1} ^{\ast} \geq\mathcal{E}_{2} ^{\ast} \geq\mathcal{E}_{2}\).
With the help of Theorem 3.1, we immediately have the following corollary.
Corollary 3.1
Let S be the set of all convex expectations with comonotonic additivity. Then \(\mathcal{E}_{0}\) is a minimal member of S if and only if \(\mathcal{E}_{0}\) is a linear expectation.
In the following, we will discuss the minimal members of three kinds of subsets of \(S^{\mathrm{cv}}\). In Theorem 3.2, we investigate the minimal members of the set of all those convex expectations which are smaller than a given convex expectation; in Theorem 3.3, we study the minimal members of the set of all those convex expectations which are bigger than a given concave expectation; and we consider the minimal members of the set of all those convex expectations which are sandwiched between a convex expectation and a concave expectation in Theorem 3.4.
Theorem 3.2
Proof
Since \(\mathcal{E}_{0} \in S^{\mathrm{cv}}\), applying Theorem 3.1 there exists a linear expectation \(E_{1} \in S^{\mathrm{l}}\) satisfying \(E_{1} \leq \mathcal{E}_{0}\). Thus \(E_{1} \in S^{\mathrm{l}} \cap S^{\mathrm{cv}} (\mathcal{E}_{0})\). For each \(E \in S^{\mathrm{l}} \cap S^{\mathrm{cv}} (\mathcal{E}_{0})\), Theorem 3.1 implies that E is a minimal member of \(S^{\mathrm{cv}} (\mathcal{E}_{0})\).
We now show that, for each minimal member \(\mathcal{E}\) of \(S^{\mathrm{cv}} (\mathcal{E}_{0})\), \(\mathcal{E} \in S^{\mathrm{l}} \cap S^{\mathrm{cv}} (\mathcal{E}_{0})\). In fact, noticing that \(\mathcal{E} \in S^{\mathrm{cv}} (\mathcal{E}_{0})\), with the help of Theorem 3.1, we know that there exists a linear expectation \(E_{2} \in S^{\mathrm{l}}\) with \(E_{2} \leq\mathcal{E}\). Clearly, \(E_{2} \leq\mathcal{E}_{0}\) and \(E_{2} \in S^{\mathrm{l}} \cap S^{\mathrm{cv}} (\mathcal{E}_{0})\), thus \(\mathcal{E} = E_{2} \in S^{\mathrm{l}} \cap S^{\mathrm{cv}} (\mathcal{E}_{0})\). □
Analogously to the argument for the minimal members of convex expectations, we have the following result on concave expectations.
Proposition 3.1
- (i)
\(\mathcal{E}_{0} \) is a maximal member of S;
- (ii)
\(\mathcal{E}_{0} \) is a linear expectation.
Theorem 3.3
Proof
By Proposition 3.1, for a given concave expectation \(\mathcal{E}_{0}\), there exists a linear expectation \(E_{1} \in S^{\mathrm{l}}\) such that \(E_{1} \geq \mathcal{E}_{0}\). Thus \(E_{1} \in S^{\mathrm{l}} \cap S^{\mathrm{cv}} (\mathcal{E}_{0})\). For each \(E \in S^{\mathrm{l}} \cap S^{\mathrm{cv}} (\mathcal{E}_{0})\), by Theorem 3.1 we know that E is a minimal member of \(S^{\mathrm{cv}} (\mathcal{E}_{0})\).
Now we prove that, for each minimal member \(\mathcal{E}\) of \(S^{\mathrm{cv}} (\mathcal{E}_{0})\), \(\mathcal{E} \in S^{\mathrm{l}} \cap S^{\mathrm{cv}} (\mathcal{E}_{0})\). Clearly, \(\mathcal{E} \in S^{\mathrm{cv}} \) and \(\mathcal{E} \geq \mathcal{E}_{0}\). By Remark 3.2, we have \({\mathcal{E} ^{\ast}} \in S^{\mathrm{sl}}\), \({\mathcal{E}_{0} ^{\ast}} \in S^{\mathrm{supl}}\), and \(\mathcal{E} \geq{\mathcal{E} ^{\ast}} \geq{\mathcal{E}_{0} ^{\ast}} \geq\mathcal{E}_{0}\). If there exists a linear expectation E satisfying \({\mathcal{E} ^{\ast}}\geq E\geq {\mathcal{E}_{0} ^{\ast}}\), then we obtain \(E \in S^{\mathrm{l}} \cap S^{\mathrm{cv}} (\mathcal{E}_{0})\), and with the assumption that \(\mathcal{E}\) is a minimal member of \(S^{\mathrm{cv}} (\mathcal{E}_{0})\), we immediately deduce that \(\mathcal{E}= E \in S^{\mathrm{l}} \cap S^{\mathrm{cv}} (\mathcal{E}_{0})\). So we only need to prove that there exists a linear expectation E satisfying \({\mathcal{E} ^{\ast}}\geq E\geq{\mathcal{E}_{0} ^{\ast}}\).
Thanks to Proposition 3.1, there exists a linear expectation \(E_{2} \in S^{\mathrm{l}}\) such that \(E_{2} \geq\mathcal{E}_{0} ^{\ast}\). Thus \(E_{2} \in S^{\mathrm{l}} \cap S^{\mathrm{sl}} ({\mathcal{E}_{0} ^{\ast} })\). With the help of Lemma 2.1, we know that for each \(E \in S^{\mathrm{l}} \cap S^{\mathrm{sl}} ({\mathcal{E}_{0} ^{\ast } })\), E is a minimal member of \(S^{\mathrm{sl}} ({\mathcal{E}_{0} ^{\ast} })\).
We now prove that, for each minimal member \(\bar{\mathcal{E}}\) of \(S^{\mathrm{sl}} ({\mathcal{E}_{0} ^{\ast} })\), \(\bar{\mathcal{E}} \in S^{\mathrm{l}} \cap S^{\mathrm{sl}} ({\mathcal{E}_{0} ^{\ast} })\).
Step 1: We show that \(\bar{\mathcal{E}} [X+Y] \geq\bar{\mathcal{E}} [X] +{\mathcal{E}_{0} ^{\ast}}[Y]\) , \(\forall X,Y \in L^{1}(\Omega ,\mathcal{F},P)\) .
Step 2: We prove that \(\bar{\mathcal{E}} [X+Y] \geq\bar{\mathcal{E}} [X] +\bar{\mathcal{E}} [Y]\) , \(\forall X,Y \in L^{1}(\Omega,\mathcal{F},P)\).
Step 3: We prove that \(\bar{\mathcal{E}} \in S^{\mathrm{l}} \cap S^{\mathrm{sl}} ({\mathcal{E}_{0} ^{\ast} })\) .
Since \({\mathcal{E} ^{\ast}} \in S^{\mathrm{sl}} ({\mathcal{E}_{0} ^{\ast} })\), there naturally exists a linear expectation \(E \in S^{\mathrm{l}} \cap S^{\mathrm{sl}} ({\mathcal{E}_{0} ^{\ast} })\) such that \({\mathcal{E} ^{\ast}}\geq E\geq{\mathcal{E}_{0} ^{\ast}}\). □
Remark 3.3
In [8], Huang and Jia applied the basic Lemma 2.3 and the famous Zorn lemma to show the existence of minimal members in the course of the proof of their other main theorem (Theorem 3.1) (see line 33 of p.48). But the strict monotonicity condition of the operator in Lemma 2.3 has not yet been proved (see line 16 of p.44). Moreover, in the further proof of their Theorem 3.1, the question whether the operator belongs to the set remains to be answered (see line 22 of p.49).
From Theorem 3.3 one immediately deduces the following corollary, which is usually called a sandwich theorem. In a sense, such a result can be regarded as the Hahn-Banach theorem of nonlinear expectations (see [9]).
Corollary 3.2
Let \(\mathcal{E}_{1}\) be a convex expectation and \(\mathcal{E}_{2}\) be a concave expectation. If \(\mathcal{E}_{1} \geq\mathcal{E}_{2}\), then there exists a linear expectation E such that \(\mathcal{E}_{1} \geq E \geq\mathcal{E}_{2}\) (see Theorem 3.1 in [8]).
Theorem 3.4
Proof
Corollary 3.2 implies that there exists a linear expectation \(E_{1}\) satisfying \(\mathcal{E}_{1} \leq E_{1} \leq\mathcal{E}_{0}\), thus \(E_{1} \in S^{\mathrm{l}} \cap S^{\mathrm{cv}} (\mathcal{E}_{0}, \mathcal{E}_{1})\). For each \(E \in S^{\mathrm{l}} \cap S^{\mathrm{cv}} (\mathcal{E}_{0}, \mathcal{E}_{1})\), by Theorem 3.1 we know that E is a minimal member of \(S^{\mathrm{cv}} (\mathcal{E}_{0}, \mathcal{E}_{1})\). For any minimal member \(\mathcal{E}\) of \(S^{\mathrm{cv}} (\mathcal{E}_{0}, \mathcal{E}_{1})\), clearly, \(\mathcal{E}_{1} \leq\mathcal{E} \leq\mathcal{E}_{0}\) and \(\mathcal{E} \in S^{\mathrm{cv}}\). Applying Corollary 3.2 again, there exists a linear expectation \(E_{2}\) satisfying \(\mathcal{E}_{1} \leq E_{2} \leq\mathcal{E} \leq\mathcal{E}_{0}\), hence \(\mathcal{E} =E_{2} \in S^{\mathrm{l}} \cap S^{\mathrm{cv}} (\mathcal{E}_{0}, \mathcal{E}_{1})\). □
Declarations
Acknowledgements
The authors are thankful to the anonymous referees for their valuable comments and suggestions, which helped to improve the presentation of this paper. The work was supported by the National Natural Science Foundation of China (No. 11371362), the Fundamental Research Funds for the Central Universities (No. 2012LWB48), and the Research Innovation Program for College Graduates of Jiangsu Province (No. KYZZ_0373).
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
- Peng, SG: BSDE and related g-expectation. In: Karoui, EN, Mazliak, L (eds.) Backward Stochastic Differential Equations. Pitman Res. Notes Math. Ser., vol. 364, pp. 141-159. Longman, Harlow (1997) Google Scholar
- Peng, SG: Nonlinear Expectations, Nonlinear Evaluations and Risk Measures. Springer, Berlin (2004) View ArticleGoogle Scholar
- Coquet, F, Hu, Y, Mémin, J, Peng, SG: Filtration-consistent nonlinear expectations and related g-expectations. Probab. Theory Relat. Fields 123, 1-27 (2002) MATHView ArticleGoogle Scholar
- Chen, ZJ, Chen, T, Davison, M: Choquet expectation and Peng’s g-expectation. Ann. Probab. 33(3), 1179-1199 (2005) MATHMathSciNetView ArticleGoogle Scholar
- Rosazza Gianin, E: Risk measures via g-expectations. Insur. Math. Econ. 39, 19-34 (2006) MATHMathSciNetView ArticleGoogle Scholar
- Jiang, L: Convexity, translation invariance and subadditivity for g-expectations and related risk measures. Ann. Appl. Probab. 18, 245-258 (2008) MATHMathSciNetView ArticleGoogle Scholar
- Jia, GY: The minimal sublinear expectations and their related properties. Sci. China Math. 39, 79-87 (2009) Google Scholar
- Huang, J, Jia, GY: On the minimal members of convex expectations. J. Math. Anal. Appl. 376, 42-50 (2011) MATHMathSciNetView ArticleGoogle Scholar
- Yosida, K: Functional Analysis. Springer, Berlin (1980) MATHView ArticleGoogle Scholar