1. Introduction
In financial industry, the value-at-risk has been one of main tools for risk management (see, e.g., McNeil et al. [1] , and Föllmer and Schied [2] ). In this framework, the random variables for assets or asset returns are assumed to have distributions without uncertainty. In other words, it is implicitly assumed that there are true asset distributions and the estimation difficulty comes from our limited capability. However, it should be remarked that there is a possibility that the assets have the distribution uncertainty, i.e., the assets may have Knightian uncertainty (see Knight [3] ).
To capture the distribution uncertainty, the theory of sublinear expectation is introduced and developed (see Peng [4] [5] and the references therein). In this theory, the term probability is replaced by the ones of the upper and lower capacities induced by the upper and lower expectations, respectively, and the distribution uncertainty is described by the gap between the upper and lower expectations.
In this paper, we consider the value-at-risk type risk measure under the sublinear expectation, where the reference probability measure in the classical framework is replaced by the upper and lower capacities. We call these the upper and lower value-at-risk, respectively. Our aim is to study the asymptotic behavior of the historical value-at-risk under uncertainty. In doing so, we prove a generalization of Glivenko-Cantelli lemma under uncertainty, and then show that the historical value-at-risk eventually lies in between the upper and lower value- at-risks quasi surely.
This paper is organized as follows: In Section 2, we recall the theory of sublinear expectation. Section 3 is devoted to the statement of the main results and its proofs.
2. Sublinear Expectation and Capacities
In this section, we recall the basis of the sublinear expectation, introduced by Peng [4] . Let Ω be a given set and
a linear space of
-valued functions on Ω. We assume that
whenever
and
is a bounded function on
or
where
denotes the linear space of functions
on
satisfying

for some
and
depending on
. We call an element in
a random variable.
We consider a sublinear expectation
, in the sense of [4] . Namely, E is assumed to be satisfy the following conditions: for any
,
1) Monotonicity: if
then
.
2) Constant preserving:
for
.
3) Subadditivity:
.
4) Positive homogeneity:
for
.
Moreover, we assume that
for
with
for each
. Then, by Theorem 2.1 and Remark 2.2 in [5] , there exists a set
of probability measures on
such that
![]()
where
denotes the linear expectation with respect to
. Then, the
-valued set functions
![]()
define capacities, where 1A denotes the indicator function of a set A. That is, each
satisfies the following:
1)
,
.
2) If
satisfy
then
.
We refer to Denenberg [6] for the theory of capacities. Throughout this paper, we assume that each
satisfies the following:
3) If
satisfies
, then
.
4) If
satisfies
, then
.
Let us recall several concepts in the sublinear expectation theory. The random variable
is said to be independent of
, where
,
, if
![]()
We say that
and
have the same distribution if
![]()
A sequence
is called the one of independent, identically distributed random variables if
and
have the same distribution, and if
is independent of
for any
. As in the linear case, we call a sequence of independent, identically distributed random variables an IID sequence. We say that the distribution of X has an uncertainty if
is nonlinear in
. In particular, set
![]()
Then if
, then we say that X has the mean uncertainty. Similarly, X is said to have the volatility or variance uncertainty if
.
3. Main Resutls
For any
, we define the functions
by
(1)
Proposition 3.1 Let
and let
and
be as in (1). Then each
satisfies the following:
1)
for
with
.
2)
,
.
3)
for
.
Proof. The assertion (1) follows from the monotonicity of
and
.
To prove (2), take
and set
. We will see
for any sequence
with
. By setting
we have
and
. It follows from the definition of the capacity that
![]()
Similarly,
follows.
Finally, by an argument similar to the proof of (2) with
, we can show
for any sequence
with
, implying (3). □
The proposition above justifies the following definition:
Definition 3.2 For a random variable X, we call the function
and
as in (1) the upper and lower cumulative distribution functions of X, respectively.
For an IID sequence
, the empirical distribution function
of
is defined by
![]()
If
satisfies
for some
, then by Strong law of large number under sublinear expectation (see Theorem 1 in Chen [7] ),
(2)
Indeed,
![]()
![]()
We show a stronger result, which is a generalization of Glivenko-Cantelli lemma.
Theorem 3.3 Let
be an IID sequence with
for some
. Denote by
and ![]()
the upper and lower cumulative distribution functions of X respectively, and denote by
the empirical disribution function of
. Then,
![]()
We need the following lemma for the proof of the theorem.
Lemma 3.4 Under the assumtions imposed in Theorem 3.3, for
, there exist
and
such that
and
![]()
where
,
, for each
.
Proof. Let
. Then there exists
such that
. Starting with
, we recursively define
by
![]()
By this recursion, we can find
such that
or
hold, and set
. With this sequence, the lemma follows. □
With the help of Lemma 3.4, we can show Theorem 3.3.
Proof of Theorem 3.3. Let
be fixed. By Lemma 3.4, there exists a partion of
such that
and
(3)
By (2), we have,
for any
, where
![]()
Thus,
for any
and so
for any
. Hence
,
where for ![]()
![]()
So we have
![]()
Now, for any
there exists j such that
. Thus, by (3),
![]()
![]()
so
![]()
Therefore, on
, letting
we get
and
for all
. Thus
![]()
If we write
for the event inside the brace above and denote
, then by the continuity of the capacity
![]()
meaning the assertion of the theorem. □
Recall that for a function
satisfying (1)-(3) in Proposition 3.1 and for
, the
- quantile
of F is defined by
![]()
Then we have the following:
Theorem 3.5 Let
be an IID sequence with
for some
. Denote by
and
the upper and lower cumulative distribution functions of X respectively, and denote by
the empirical disribution function of
. Consider the upper, lower, and historical value-at-risk defined respectively by
![]()
Suppose that for ![]()
(4)
Then, the historical value-at-risk eventually lies in between the upper and lower value-at-risk, i.e.,
![]()
Proof. Consider the event A defined by
![]()
In view of Theorem 3.3, it suffices to show that for a given
and
there exists
such that
(5)
To this end, fix
and set
,
. By the definition of the infimum and the condition (4),
![]()
Thus we can take
such that
![]()
Next, take
such that
![]()
and set
. Then,
![]()
So we have
. Similarly, we see
![]()
leading to
. Thus (5) follows. □