#### Abstract

In 1947, von Neumann and Morgenstern introduced the well-known expected utility and the related axiomatic system (see von Neumann and Morgenstern (1953)). It is widely used in economics, for example, financial economics. But the well-known Allais paradox (see Allais (1979)) shows that the linear expected utility has some limitations sometimes. Because of this, Peng proposed a concept of nonlinear expected utility (see Peng (2005)). In this paper we propose a concept of stochastic dominance under the nonlinear expected utilities. We give sufficient conditions on which a random choice stochastically dominates a random choice under the nonlinear expected utilities. We also provide sufficient conditions on which a random choice strictly stochastically dominates a random choice under the sublinear expected utilities.

#### 1. Introduction

In [1], von Neumann and Morgenstern introduced the well-known expected utility and the related axiomatic system. It is widely used in economics, for example, financial economics. They exhibited four relatively modest axioms of “rationality” such that any agent satisfying the axioms has a utility function. They claimed that can be characterized by . That is to say they proved that an agent is (VNM-) rational if and only if there exists a real-valued function defined on possible outcomes such that every preference of the agent is characterized by maximizing the expected value of , which can then be defined as the agent’s VNM-utility. Here is a continuous and strictly increasing function, and is the linear expectation in some probability space .

However, some real world utilities cannot be represented by this expected utility. A famous counterexample is the well-known Allais paradox (see [2]). Allais paradox shows that linear expected utility has some limitations sometimes.

In [3], Peng developed nonlinear expectation and sublinear expectation theory. G-expectation is a kind of special sublinear expectation. More details can be found in [4–7]. In [8–11], G-expectation is used in financial economics.

In [12], Peng developed a nonlinear type of von Neumann-Morgenstern representation theorem to utilities. He proved that there exists a nonlinear expected utility , such that an agent Â prefers a random choice than which is formulated by .

But nonlinear expected utility can only describe an agent’s preference; how to describe a group of agents’ preference? In this paper we consider the question raised upward; to this end we define a corresponding concept of stochastic dominance under the nonlinear expected utilities.

The rest of this paper is organized as follows. In Section 2, we give some basic notions and results of nonlinear expectations and nonlinear expected utilities. In Section 3, we give the main results and the proofs.

#### 2. Nonlinear Expectations and Nonlinear Expected Utilities

In this section we shall give some results of nonlinear expectations and nonlinear expected utilities.

##### 2.1. Nonlinear Expectations

We present some preliminaries in the theory of nonlinear expectations and sublinear expectations. The following definitions and properties can be found in [3].

Let be a given set and let be a linear space of real valued functions defined on satisfying the following: if , , then , for all , where is the space of all real continuous functions defined on such that

*Definition 1. * is said to be a nonlinear expectation defined on if it satisfies the following.

(i) Monotonicity:

(ii) Constant Preserving:

A nonlinear expectation is called sublinear expectation if it also satisfies the following.

(iii) Subadditivity: for each ,

(iv) Positive homogeneity:

The triple is called nonlinear expectation space and sublinear expectation space correspondingly.

*Definition 2. *Let and be two nonlinear expectations defined on ; is said to be dominated by if

*Remark 3. *From (iii), a sublinear expectation is dominated by itself. In many situations, (iii) is also called the property of self-domination. It is easy to conclude that in a sublinear expectation space , , for . If , we say has no mean uncertainty.

Theorem 4 (Represent theorem). *Let be a functional defined on a linear space satisfying subadditivity and positive homogeneity. Then there exists a family of linear functionals defined on such that
**
and, for each , there exists such that .*

Furthermore, if is a sublinear expectation, then the corresponding is a linear expectation.

According to the represent theorem, if is a sublinear expectation, we have Suppose is a measurable space, for such , we can define an upper probability and a lower probability Obviously and are conjugated to each other; that is, where is the complementary set of .

*Definition 5. *A set is polar if . A property holds quasisurely if it holds outside a polar set.

*Definition 6. *Let be a given random variable on a nonlinear expectation space . One defines a functional on by
is called the distribution of under .

*Definition 7. *Let and be two random variables defined on nonlinear expectation spaces and , respectively. They are called identically distributed, denoted by , if

It is clear that if and only if their distributions coincide. One says that the distribution of is stronger than that of if

##### 2.2. Nonlinear Expected Utilities

The following definitions and properties can be found in [12]. Let be a self-dominated nonlinear expectation defined on . Define a quasinorm . A utility functional of an agent Â is a real functional . This functional satisfies the following obvious axioms:(u1)monotonicity: if in , then , and if and , then ;(u2)continuity: if , then .

Then we have the following nonlinear expected utility theorem which generalized the well-known von Neuman-Morgenstern’s axiom on expected utility.

Proposition 8. *Let be a strictly monotonic expectation satisfying (i) and (ii) in Definition 1. One assumes that is continuous in and let be a continuous and strictly increasing function . Then the functional defined by
**
is a utility functional satisfying (u1) and (u2).*

Conversely, for each given utility satisfying (u1) and (u2), there exist a strict monotonic nonlinear expectation and a continuous and strictly increasing function such that (15) holds.

#### 3. Stochastic Dominance under the Nonlinear Expected Utilities

Using nonlinear expected utility to determine the advantages between two random choices is only for a single economic actor. Here comes a problem: can we raise the same question to a group of economic actors? If we still discuss it by using nonlinear expected utility, this means asking the same question to a class of expected utility functions.

In mathematics, it can form such a problem: suppose is a collection of random variables. is a class of strictly increasing and continuously differentiable functions, which represents the collection of all the utility functions of an investor group. Define a partial ordering in : for any , Here is nonlinear expectation, can be regarded as two risky securities, and can be an investor’s expected utility function. Thus, this definition of the partial ordering means that all members of the investor group think the former is better than the latter. Here it is important to note that, in general, this is a partially ordering rather than a complete ordering. That is to say, for some pairs of risky securities, neither one stochastically dominates the other, and yet they cannot be said to be equal. At the same time, it is just investor group’s preferences characterized by the expected utilities functions theory.

*Definition 9. *The above-mentioned partial ordering is called stochastic dominance under the nonlinear expected utility.

*Remark 10. *Stochastic dominance is a form of stochastic ordering. The term is used in decision theory and decision analysis to refer to situations where one random choice can be ranked as superior to another. It is based on preferences regarding outcomes. In linear expected utility, there are first-order stochastic dominance and second-order stochastic dominance and so on. For more results, see [13–16].

*Definition 11. *In Definition 9, if for any ,
then the partial ordering is called strictly stochastic dominance under the nonlinear expected utility.

Next, we give the main results of this paper.

Theorem 12. *Let be a nonlinear expectation space, , and a class of strictly increasing and continuously differentiable functions. If any of the following conditions is satisfied:*

(1) ,

(2) the distribution of is stronger than , namely, then stochastically dominates , that is,

*Proof. *(1) If , then
is easily concluded by the fact that is strictly increasing and the monotonicity of .

(2) First, notice that an everywhere differentiable function which is a lipschitz continuous with is equivalent to the fact that has bounded first derivative. In particular, any continuously differentiable function is locally lipschitz, as continuous functions are locally bounded so its gradient is locally bounded as well. It means that for all . So if the distribution of is stronger than that of , we have

Because for all , ; then we can have

So the result holds by Definition 9.

*Remark 13. * The above conclusion (2) gives sufficient condition on which a random choice stochastically dominates a random choice under the nonlinear expected utilities. It is a general extension of the first-order stochastic dominance under the linear expectation utility.

The above conclusion (1) is very intuitive. Next, we give an example which is not intuitive.

*Example 14. *Suppose
and we have two probabilities and denoted by and , respectively, where
We assume is a collection of random variables, and is a class of strictly increasing and continuously differentiable functions. Take the nonlinear expectation utility like the following:
We set
For all , we can calculate the following results:
Since is strictly increasing, then ; so
Hence we can say that strictly stochastic dominates .

It is easy to see that neither nor in a whole. We can check that strictly stochastic dominates . This is not the intuitive way; this implies that stochastic dominance by the nonlinear expected utilities is meaningful.

When is a sublinear expectation, Theorem 12 is still valid. Furthermore, we can also have the following theorem.

Theorem 15. *Let be a sublinear expectation space, , and a class of strictly increasing and continuously differentiable functions. If ., then stochastically dominates , that is,
*

*Proof. *We claim that if ., then .

This is because we can get by ., which means , ; namely,
Then we can get
so
According to the represent theorem, we have .

Since . and is strictly increasing, . is available by the same procedure as above. So we can obtain
by the above conclusion.

Next, we shall give a lemma first, then present a strictly stochastic dominance result under sublinear expectations.

Lemma 16. *Let be a sublinear expectation space, , and a class of strictly increasing and continuously differentiable functions. If has no mean uncertainty, that is,
**
then
*

*Proof. *Since
we can get
Then

Theorem 17. *Let be a sublinear expectation space, , and a class of strictly increasing and continuously differentiable functions. If .,, and , for all , that is, has no mean uncertainty, then strictly stochastically dominates , that is,
*

*Proof. *Since . and , there exists , such that
Therefore
Since
according to Lemma 16, we have

Corollary 18. *Let be a sublinear expectation space, , and . Assume , . If and has no mean uncertainty, that is, , then
*

*Proof. *If , , and has mean certainty, it is easy to verify that has mean certainty; that is, . Then the consequence attains immediately by Theorem 17.

*Remark 19. *This corollary gives sufficient condition for the result that strictly stochastically dominates to the risk-neutral group.

Corollary 20. *Let be a sublinear expectation space, , and a class of strictly increasing and continuously differentiable functions. If .,, and , for all , that is, has no mean uncertainty, then strictly stochastically dominates , that is,
*

*Proof. *By using the relationship between and , the consequence attains immediately by Theorem 17.

Next, we give an example to apply Theorem 17.

*Example 21. *Suppose there is an outcome , which indicates the market conditions. is the -algebra of Borel sets on and is the Lebesgue measure on .

We have two prior probabilities denoted by and , respectively, where
We assume is a collection of random variables, which represents risky securities and is a class of strictly increasing and continuously differentiable functions, which represents the collection of all the utility functions of an investor group. Take the sublinear expectation utility as follows:

There are two risky securities
It is clear that above conditions guarantee Theorem 17; therefore we have that strictly stochastically dominates , that is,
This means that all members of the investor group think the former is better than the latter.

In fact, for all , we can calculate the following results:
then
then
Since is strictly increasing, then ; so
Then
that is, strictly stochastically dominates .

#### 4. Conclusion

In this paper, we study stochastic dominance under the nonlinear expected utilities. First we attain sufficient conditions on which a random choice stochastically dominates a random choice under the nonlinear expected utilities; then we attain sufficient conditions on which strictly stochastic dominance of a random choice over a random choice under the sublinear expected utilities; finally we give sufficient condition for strictly stochastic dominance of over under the sublinear expected utilities to the risk-neutral group.

#### Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

Xiao’s researches are supported by the NNSF project (11301309) of China, NSF project (ZR2011AQ007) of Shandong Province of China, Project of Shandong Province Higher Educational Science and Technology Program (J11LA08), Project of Shandong Provincial Scientific Research Foundation for Excellent Young Scientists (BS2013SF003), and the Postdoctoral Science Foundation of China (2013M540540).