1. Introduction
Motivated by various types of uncertainty and financial problems, Peng [
1] has introduced a new notion of nonlinear expectation, the so-called
G-expectation (see also Peng et al. [
2–
4]), which is associated with the following nonlinear heat equation:
()
where Δ is Laplacian and the sublinear function
G is defined as
()
with two given constants
. Together with the notion of
G-expectations Peng also introduced the related
G-normal distribution, the
G-Brownian motion, and related stochastic calculus
under G-expectation, and moreover an Itô’s formula for the
G-Brownian motion was established.
G-Brownian motion has a very rich and interesting new structure which nontrivially generalizes the classical one. Briefly speaking, a
G-Brownian motion
B is a continuous process with independent stationary increments
Bt+s −
Bt being
G-normally distributed under a given sublinear expectation
. A very interesting new phenomenon of
G-Brownian motion
B is that its quadratic process 〈
B〉 is a continuous process with independent and stationary increments, but not a deterministic process.
On the other hand, over the past decades, thanks for the contribution of Black and Scholes [
5] and Merton [
6] in the formulation of Black-Scholes model, the trading of derivatives has become an important area in the world of finance, and the Black-Scholes formula has been one of the most important consequences of the study of continuous time models in finance. Although Black-Scholes model is a benchmark of mathematical finance, the significant weakness of it cannot be ignored since empirical evidence shows that volatility actually depends on time in a way that is not predictable and many empirical studies have outlined that the volatility of underlying asset is highly unlikely to be constant. This is sometimes pointed out as the reason for inaccurate predictions made by the Black and Scholes formula. Therefore, a number of alternative methods have been studied for the underlying asset model. In this paper, we consider the effect of the past in the determination of the fair price of a call option under a sublinear framework. In particular, we assume that the stock price satisfies a stochastic functional differential equation (SFDE) with fixed or variable delay driven by a
G-Brownian motion. We consider call options that can be exercised only at the maturity date, namely, European call options. Let {
B(
t),
t ≥ 0} be the
G-Brownian motion with the quadratic variation process {〈
B〉(
t),
t ≥ 0}. We consider SFDE with finite delay of the form
()
where (i)
Xt = {
X(
t +
θ); −
τ ≤
θ ≤ 0} and
t ∈ [
t0,
T] is a
C([−
τ, 0];
ℝ)-valued stochastic process; (ii)
b,
h, and
σ are three given functions satisfying some satiable conditions; (iii)
τ > 0 and 0 ≤
t0 <
∞ are two given constants.
As an application we price the European call option when the underlying asset’s price follows a special SFDE. In the case of classical Brownian motion, this is first studied by Arriojas et al. [7].
The note is organized as follows. In Section 2, we present some preliminaries for sublinear expectation and G-Brownian motion B. In Section 3, we express and prove our main result. In Section 4, we give an application to price the European call option when the underlying asset price follows a special SFDE driven by a G-Brownian motion.
2. Preliminaries
In this section, we briefly recall some basic notations and results for G-Brownian motion under G-framework. For more aspects on these material we refer to Peng [4], Denis et al. [8], and Hu and Peng [9]. More works for G-Brownian motion can be found in Hu and Li [10], Lin [11], Peng et al. [12], Song [13], Xu et al. [14], Yan et al. [15, 16], and the references therein.
2.1. Sublinear Expectation Space
Let
Ω ≠
∅ be a given set and let
ℋ be a linear space of real-valued functions defined on
Ω such that 1 ∈
ℋ and |
X| ∈
ℋ for all
X ∈
ℋ. It is important to note that we can suppose that
()
if
Xi ∈
ℋ,
i = 1, …,
d, for all
φ ∈
Cb,Lip(
ℝd), where
Cb,Lip(
ℝd)
denotes the space of all bounded and Lipschitz functions on
ℝd.
Definition 1. A sublinear expectation on ℋ is a functional with the following properties: for all X, Y ∈ ℋ, we have
- (i)
monotonicity: if X ≥ Y, then ;
- (ii)
constant preserving: , for all c ∈ ℝ;
- (iii)
subadditivity: ;
- (iv)
positive homogeneity: , for all λ ≥ 0.
The triple
is called a sublinear expectation space, and
ℋ is considered as the space of random variables on
Ω.
In this paper we throughout let
Ω =
C0(
ℝ+) be the space of all real-valued continuous functions on [0,
∞) with initial value 0, equipped with the distance
()
We denote by
ℬ(
Ω) the Borel-algebra on
Ω. We also denote, for each
t ∈ [0,
∞),
()
and
ℱt =
ℬ(
Ωt), where
x∧
y = min {
x,
y}. Let
be the closure of
ℋ with respect to the norm
()
with
p ∈ [1,
∞). Clearly, the space
is a Banach space and the space
Cb(
Ω) of bounded continuous functions on
Ω is a subset of
, and moreover, there exists a weakly compact family
𝒫 of probability measures on (
Ω,
ℬ(
Ω)) such that
()
So we can introduce the Choquet capacity
by
()
Definition 2. A set A ⊂ Ω is called polar if . A property is said to hold “quasi sure” (q.s.) if it holds outside a polar set.
The above family of probability measures
P allows characterizing the space
as follows:
()
Lemma 3 (Denis et al. [8]). Let 1 ≤ p < ∞. Consider the sets and 𝕃p = ℒp/𝒩, where
()
Then
Lemma 4 (Li and Peng [17]). For a given p ∈ (0, +∞], If the sequence {Xn} ⊂ 𝕃p converges to X in 𝕃p, then there exists a subsequence such that converges to X quasi surely.
Lemma 5 (see [18].)Let ρ : ℝ → ℝ be an increasing and concave function. Then the inequality
()
holds for all
ℬ(
Ω)-measurable real-valued functions on
Ω.
For
X = (
X1, …,
Xn) ∈
ℋn, the functional
FX defined by
()
is called the distribution of
X under
. In a sublinear expectation space
, a random vector
Y = (
Y1, …,
Yn),
Yi ∈
ℋ, is said to be independent under
from another random vector
X = (
X1, …,
Xm),
Xi ∈
ℋ, if for each test function
φ ∈
Cb,Lip(
ℝm+n) we have
()
2.2. G-Brownian Motion
Let , be two real numbers with .
A random variable
ξ in a sublinear expectation space
is called
G-normal distributed, denoted by
, if, for each
φ ∈
Cb,Lip(
ℝ), the function defined by
()
is the unique viscosity solution of the following nonlinear heat equation:
()
where Δ is Laplacian and the sublinear function
G is defined as
()
In particular, E[φ(ξ)] = u(1,0) is the distribution of ξ.
Example 6 (Peng [1]). Let . We then have
()
for all convex functions
φ and
()
for all concave functions
ψ.
Definition 7. A process B = {B(t), t ≥ 0} ⊂ ℋ in a sublinear expectation space is called a G-Brownian motion if the following properties are satisfied:
- (i)
B(0) = 0;
- (ii)
for each t, s ≥ 0, the increment B(t + s) − B(t) is -distributed and is independent of (B(t1), …, B(tn)), for all n = 0,1, 2, … and 0 ≤ t1 ≤ t2 ≤ ⋯≤tn ≤ t.
Recall that a process
X = {
X(
t) : 0 ≤
t ≤
T} is called a
G-martingale if, for each 0 ≤
t ≤
T, we have
and
()
for all
s ≤
t, and moreover,
X is called a symmetric
G-martingale if both
X and −
X are
G-martingales.
Remark 8. For simplicity throughout this paper we let , and .
2.3. Itô’s Integral
We now recall the definition of Itô’s integral and quadratic variation process of the
G-Brownian motion. In Li and Peng [
17], a generalized Itô integral and a generalized Itô formula with respect to the
G-Brownian motion are discussed as follows. For arbitrarily fixed
p ≥ 1 and
T ∈
ℝ+, we first denote by
the set of step processes
()
with 0 =
t0 < ⋯<
tN =
T. Moreover, we denote by
the completion of
under the norm
()
Now we can define the stochastic integral
for
.
Definition 9. For every with the form (21), we define Itô’s integral
()
One can show that
and the linear mapping (see Li and Peng [
17])
()
is continuous. Moreover, it can be continuously extended to
()
And, for all
, we have
()
We now recall the definition of quadratic variation process of the
G-Brownian motion
B.
Definition 10 (quadratic variation). Let be a partition of [0, t] for t > 0, such that as N → ∞. The quadratic variation of G-Brownian motion B can be defined as
()
in
.
The function
t ↦ 〈
B〉(
t) is continuous and increasing outside a polar set. We can define the integral
()
as a map from
into
, and the map is linear and continuous, so it can be extended continuously to
.
Finally, we recall some important results in order to get our desired result. For detailed description of them, please read the related papers.
Theorem 11 (Itô’s formula). Let F ∈ C2,1(ℝ × [0, ∞)). One then has
()
for all
t ≥ 0.
Lemma 12 (see [14].)If there exists an ε0 > 0 such that
()
then the process
()
is a
G-Brownian motion under some
G-expectation.
Lemma 13 (see [19].)Let p ≥ 2 and . Then
()
for all 0 ≤
s ≤
t ≤
T, where
Cp is a positive constant depending only on
p.
Lemma 14 (see [19].)Let p ≥ 1 and . Then we have
()
for all 0 ≤
s ≤
t ≤
T.
3. Existence and Uniqueness Theorem
In this section, we prove the existence and uniqueness of solutions to (3) under global Carathéodory conditions. More works for stochastic differential equations driven by G-Brownian motion can be found in Bai and Lin [18], Chen and Zhang [20], Gao [19], Lin [21], Lin [22], Ren et al. [23, 24], and the references therein.
Let
τ > 0 and denote by
C([−
τ, 0];
ℝ) the family of continuous functions
φ from [−
τ, 0] to
ℝ with the norm
()
Given 0 ≤
t0 <
T <
∞ let
()
be three Borel measurable functions satisfying
()
for any
x ∈
C([−
τ, 0];
ℝ). Consider the following SFDE with finite delay of the form
()
where
Xt = {
X(
t +
θ); −
τ ≤
θ ≤ 0} and
t ∈ [
t0,
T] is regarded as a
C([−
τ, 0];
ℝ)-valued stochastic process. Then we can impose the initial data:
Thus we can get the following equivalent form:
()
with
t ∈ [
t0,
T]. In order to give the existence and uniqueness we now propose the following assumptions:
- (H1)
There exists a function H(t, u):[t0, T] × ℝ+ → ℝ+, such that
- (1a)
|b(t,x)|2∨|h(t,x)|2∨|σ(t,x)|2 ≤ H(t, |x|2)
- (1b)
H(t, u) is integrable in t for each fixed u ∈ ℝ+, and is continuous, concave, nondecreasing in u for each fixed t ∈ [t0, T],
- (1c)
for any constant K > 0 the deterministic ODE
()
has a global solution for any initial value.
- (H2)
There exists a function Γ(t, u):[t0, T] × ℝ+ → ℝ+ such that
- (2a)
()
for all x, y ∈ ℝ and t ∈ [t0, T];
- (2b)
Γ(t, u) is integrable in t for each fixed u ∈ ℝ+ and is continuous, concave, nondecreasing in u for each fixed t ≥ t0. Moreover, Γ(t, 0) ≡ 0, and if there exists a nonnegative continuous function Z(t), t ∈ [t0, T] satisfies
()
where D > 0 is a positive constant, then Z(t) ≡ 0 for all t ∈ [t0, T].
Example 15 (see [25].)Let Γ(t, u) = λ(t)α(u), t ≥ t0, u ≥ 0, where λ(t) ≥ 0 is integrable and α : ℝ+ → ℝ+ is a continuous, concave, monotone nondecreasing function with α(0) = 0 such that . Let u(t) be a solution of du/dt = λ(t)α(u). If u(t0) = 0, then we get u(t) ≡ 0 for all t ≥ t0. If not, we can suppose without loss of generality that there exists t1 > t0 such that u(t) is positive for all t ∈ (t0, t1]. Let t0 < t < t1. Thus,
()
which implies a contradiction letting
t →
t0. Therefore,
u(
t) ≡ 0 for all
t ≥
t0.
Our main object of this section is to explain and prove the following theorem.
Theorem 16. Let the assumptions (H1) and (H2) hold. Then, SFDE (37) brings a unique solution X with the above initial data and .
Proof. Define , for t ∈ [t0, T], and let for each n = 1,2, …. Consider the following Picard iterations:
()
for
n = 0,1, 2, …. Then we get
()
Step 1. We claim that
()
for all
n = 1,2, … and all
t ∈ [
t0,
T], where
C is a positive constant, which points out that there exists a real number
R > 0 depending only on
t0 and
T such that
()
for all
t ∈ [
t0,
T] and all
n = 0,1, 2, …, since
u(
t) is continuous on [
t0,
T].
We will use the induction to prove this. It follows from Lemmas 5, 13, and 14 and assumptions (1a), (1b) that there exist three positive constants k1, k2, and k3 independent of t such that
()
for all
t ∈ [
t0,
T]. Notice that
du/
dt =
KH(
t,
u) has a global solution with any initial value (
t0,
u0). We can take
u0 ∈
ℝ+, such that
, and may assume that
u(
t) =
u(
t;
t0,
u0) is the solution of the above ODE with the initial value (
t0,
u0), which implies that
()
Denote that p0 = max {u(t)∣t ∈ [t0, T]}. Then continuity of u(t) on [t0, T] deduces p0 < ∞ and
()
for each
s ∈ [
t0,
T]. Therefore, there exists a positive constant
C such that
()
We now suppose that the inequalities
()
hold for all
t ∈ [
t0,
T] and
k ≥ 1. Then we have
()
Since
, we obtain that
()
then
for all
t ∈ [
t0,
T], and
()
for all
t ∈ [
t0,
T]. Thus, we obtain our assertion by induction.
Step 2. We claim that {Xn(t)} is a Cauchy sequence in . Thus, Xn(t) → X(t) in as n → ∞. From Lemmas 5, 13, and 14 and assumptions (2a) and (2b), we get, for all m ≥ n ≥ 0,
()
Let
; then we get
()
which implies that
()
It follows that
a(
t) ≡ 0 for all
t ∈ [
t0,
T]. That is,
()
This shows that the sequence {
Xn(·)} is a Cauchy sequence in
, which deduces
Xn(·) →
X(·) in
as
n →
∞. Moreover, it is uniformly convergent on [
t0,
T], and therefore,
X(
t) is continuous.
Step 3. We show that the stochastic process X(t) given above is a solution of (37). We have
()
for all
t ∈ [
t0,
T] and
n ≥ 0. Noting that the sequence {
Xn(
t)} uniformly converges on [
t0,
T], we get
()
in
, as
n →
∞, which deduces
()
Thanks to Lemmas
13,
14, and
5 and assumptions (1a), (1b), and (1c), we can also get
for all
t ∈ [
t0,
T].
Step 4. Finally, we will show that the uniqueness of the solution. Let X and Y be two solutions existing on [t0, T] and . Then, we have
()
which deduces
X(
t) =
Y(
t) for all
t ∈ [
t0,
T] q.s. This shows that the uniqueness of the solution and the theorem follows.
4. An Application
In this section, we consider an application of the above theorem. Suppose that the stock price satisfies the following equation:
()
where
St = {
S(
t +
θ); −
τ ≤
θ ≤ 0,
t ∈ [0,
T]} is regarded as a
C([−
τ, 0];
ℝ)-valued stochastic process. {〈
B〉(
t),
t ≥ 0} is the quadratic variation process of
G-Brownian motion {
B(
t),
t ≥ 0}.
In the rest of this section, we want to consider a special case of the above equation. We let the functions
()
satisfy the following conditions:
- (1)
there exists a ε1 > 0 such that |σ(x)| > ε1;
- (2)
|b(x)| > r, where r > 0 denotes the rate of return on a riskless asset, which is compounded continuously;
- (3)
there exists a M > 0, such that |b(x)|∨|σ(x)|∨|h(x)| ≤ M.
Corollary 17. Under the above assumption, the above SDDE brings a unique solution and
()
Furthermore, if
ξ(0) ≥ 0
(
ξ(0) > 0) q.s., then
S(
t) ≥ 0
(
S(
t) > 0) for all
t ≥ 0 q.s.
Proof. Let θ0 ∈ [−τ, 0]. Consider the case t ∈ [0, −θ0], and in this situation, we have θ0 ≤ t + θ0 ≤ 0 and
()
which deduces
()
It follows from Theorem
16 and Itô’s formula that the unique solution of (
67)
()
for all
t ∈ [0, −
θ0]. This implies that
S(
t) > 0 for all
t ∈ [0, −
θ0], when
ξ(0) > 0 q.s. By a similar argument, it follows that
S(
t) > 0 for all
t ∈ [−
θ0, −2
θ0] q.s. Therefore
S(
t) > 0 for all
t ≥ 0 q.s. By induction, we can also get the solution to (
67) as follows:
()
for
t ∈ [0,
T]. Since that equality is true for all −
τ ≤
θ0 ≤ 0, we get our result.
We denote the wealth process by
V(
t) and units of the stock that we hold by
α(
t). Thanks to the assumption of self-financing, we can get
()
for all
t ∈ [0,
T]. Let
()
Then there exists a
ε0 > 0 such that
()
which shows that
()
is
G-Brownian motion under some
G-expectation
by
G-Girsanov theorem. Let now Γ(
t) =
e−rt; then
()
where
; we can get that the discounted wealth process is
G-martingale under some
G-expectation. Thus, we can obtain that the price of European call option
C(0) is
()
Acknowledgments
This work is supported by the Project sponsored by NSFC (no. 11171062), Innovation Program of Shanghai Municipal Education Commission (no. 12ZZ063), and the Project sponsored by CUSF-DH-D-2013038.