Review on the Current Stochastic Numerical Methods for Econometric Analysis ()
1. Introduction
As mentioned in [1] , the theory of stochastic differential equations was originally developed by mathematicians as a tool for explicit construction of the trajectories of diffussion processes for given coefficients of drift and diffusion.
Today, the stochastic differential equation (SDE) models
or Stochastic partial differential equation (SPDE) models
play a prominent role in a range of application areas, including economics, finance, biology, epidemiology, chemistry, microelectronics, and mechanics [2] [3] .
By reading [4] [5] and [6] in the field as the reference books of Numerical methods in Economics, one can remark that there exist the high needs to take in content the uncertainties in economic analysis. Therefore, the stochastic numerical methods must be understood by econometricians or economists.
In all, the main challenge of econometricians or economists is how to numerize the stochastic differential equations, that is, how to move from the continuous-time stochastic models to discrete-time stochastic models [7] - [15] .
The motivation for these methods came from the need to deal effectively with problems arising in the fields of economics and Finance [2] [16] - [21] . Also, the new direction of the modern econometric theory and applications go to stochastic analysis [22] [23] [24] [25] .
The remainder of this paper is organized as follows. Section 2 presents some useful definitions and notations in stochastic analysis. Section 3 gives the stochastic integrals as the tools of evaluation of stochastic differential equations. Section 4 presents some recent stochastic differential equations that can be meaningfully in econometric analysis and their assumptions used for uniqueness and existence of solution. Section 5 presents some powerful numerical methods for stochastic differential equations.
2. Notations and Definitions
In this section we present the notations, definitions and basic facts of stochastic differential equations, stochastic integrals, stochastic numerical methods and convergence which will be used in this paper.
Definition 2.0.1. Let
be a filtered probability space. The
-algebra on
generated by all sets of the form A,
, and A,
,
, is said to be the predictable
-algebra for the filtration
Definition 2.0.2. A real-valued process
is called predictable with respect to a filtration
or
-predictable, if as a mapping from
predictable
-algebra generated by this filtration.
Definition 2.0.3 Let
be a left-continuous real-valued process adapted to
. Then
is predictable.
Definition 2.0.4. A stochastic process (
) is said to be right-continuous with left limits (RCLL) or contu à droite avec limite à gauche (càdlàg) if, almost surely, it has trajectories that are RCLL. That is,
Definition 2.0.5. (Wiener process, [26] ) Let
be a probability space and let
be a filtration defined on it. A process
is called an
-Wiener process if it satisfies the following conditions.
1)
;
2)
is
-measurable and
is independent of
for all
;
3) The increments
are normally distributed with mean 0 and variance
for all
;
4) The sample paths of
are in
.
Definition 2.0.6. [27] X is a Markov process if for any t and
, the conditional distribution of
given
is the same as the conditional distribution of
, given
, that is,
a.s.
Definition 2.0.7. [28] A Brownian motion is a continuous, adapted process
, defined on some probability space
, with the properties that
a.s. and for
, the increment
is indepedentof
and is normally distributed with mean zero and variable
.
The Brownian paths have the following properties [27] . Almost every sample path
: 1) is a continuous function of t; 2) is not monotone in any interval, no matter how small the interval is; 3) is not differentiable at any point; 4) has infinite variation on any, no matter how small it is; 5) has quadratic variation
equal to t, for any t.
Definition 2.0.8. (Brownian motion with respect to a filtration, [29] ) A vectorial (d-dimensional) Brownian motion on
with respect to a filtration
such that 1)
; 2) For all
in
, the increment
is independent of
and follows a centered Gaussian distribution with variance-covariance matrix
.
Some classical properties of Brownian motion are stated in the following proposition.
Proposition 2.0.1. Let
be a Brownian motion with respect to
. 1) symmetry:
is also a Brownian motion. 2) scaling: for all
, the process is also a Brownian motion. 3) Invariance by translation: for all
, the process
is a standard Brownian motion independent of
.
Definition 2.0.9. [27] A process X is called adapted to the filtration
, if for all t,
is
-measurable.
Definition 2.0.10. Let
be an adapted stochastic process with RCLL trajectories. It is said to be decomposable if it can be written as
where
,
is a locally square-integrable martingale, and
has RCLL-adapted trajectories of bounded variation.
Definition 2.0.11 (Martingale, [30] ) Let
be an indexed set of sub-σ-algebra of
such that
if
. The pair
is said to be a
-martingale if
and
is
-measurable and
w.p.1. for each t and
. If the equality is replaced by
, we have a Supermartingale, and if it is replaced by
we have a Submartingale.
Definition 2.0.12. [31] The quadratic covariation of two processes X and Y is
(1)
Here
is an arbitrary partition of the interval
.
3. Stochastic Integrals
The aim of this section is to provide some backgrounds on the stochastic integrals. These integrals constitute a cornerstone of mathematical modelling and stochastic analysis used in evaluation and resolution of the stochastic diferential equatons [1] [32] - [36] .
3.1. The Itô Integral
Itô’s theory of stochastic integration was originally motivated as a direct method to construct diffusion processes (as subclass of Markov processes) as solution of stochastic differential equations [35] . As in [27] Itô integral is defined as a sum
(2)
Theorem 3.1. (Properties of stochastic integrals, [27] ) Let
be a regular
adapted such that with probability one
. Then Itô integral
is defined and has the following properties.
1) Linearity. If Itô integrals of
and
are defined and
and
are some constants then
2)
. The following two properties hold when the process satisfies an additional assumption
(3)
3) Zero mean property. If condition 3 holds then
.
4) Isometry property. If condition 3 holds. Then
5) Generalized Itô Isometry [31] . For
, we have
Corollary 3.1.1. If X is a continuous adapted process then the Itô integral
exists. In particular,
where f is a continuous function on R is well-defined.
A consequence of the isometry property is the expectation of the product of two Itô integrals.
Theorem 3.2. Let
and
be regular adapted processes, such that
and
. Then
We denote by
all real-valued
matrices and by
Let
and we put
and
respectively.
Definition 3.2.1. [37] If
belongs to
, then the stochastic integral with respect to W is the m-dimensional vector defined by
(4)
where each of the integrals on the right-hand side is defined in the sense of Itô.
As in [38] the Itô formula for multidimensional Itô processes is defined in following way. If
,
, are Itô processes and
, then
(5)
(6)
Morever, if
, then this formula can be written in term of the Stratonovich integral [38]
(7)
(8)
3.2. The Stratonovich Integral
Definition 3.2.2. [35] Let
and
be Itô processes. The Stratonovich integral of
with respect to
is defined by
(9)
or equivalently in the stochastic differential form
(10)
Theorem 3.3. [35] Let
be a continuous function with continuous partial derivatives
,
, and
. Then
(11)
In particular, when the function f does not depend on t, we have
(12)
Theorem 3.4. [35] Let
be a continuous function with continuous partial derivatives
,
, and
. Then
(13)
(14)
in probability, where
,
is a partition of the finite interval
and
.
In [39] , the multidimensional Stratonovich integrals
can be expressed by the following formula using Itô integrals
(15)
where
denoted the iterated traces that are defined formally starting with
Another approach to formula (15) using Hida’s theory of white noise. Working on
instead of
and assuming that f is a test-function, the integral
may indead be rewritten as
where the derivative of Brownian motion is understood in the distribution sense. In the sense of Hu and Meyer [39] , a Stratonovich integral is given in rigorous form as
(16)
where f is a finite sequence of coefficients
and
.
3.3. The Skorohod Integral
The Skorohod integral was introduced for the first time by A. Skorohod in 1975 as an extension of the Itô integral to non-adapted processes and is the adjoint of the Malliavin derivative which is fundamentals to the stochastic calculus of variations [40] [41] .
Definition 3.4.1. [40] Let
, be a measurable stochastic process such that for all
the random variable
is
-measurable and
. Let its Wiener-Itô chaos expansion be
(17)
Then we define the Skorohod integral of
by
(18)
where convergent in
. Here
are the symmetric functions derived from
. We say that u is Skorohod integrable, and we write
if the series in (18) converges in
.
3.4. The Ogawa Integral
The Itô integral and others are based in a fundamental hypothesis of causal relationship. Shigeyoshi Ogawa [42] defined this following noncausal integral that is so-called Ogawa integral
(19)
where
is the complete orthnormal system on
. Nualart and Zakai [43] proved that the Ogawa integral is equivalent to the Stratonovich integral of the Ogawa integral exists with the Stratonovich integral defined [31] as
(20)
Here
is an arbitrary partition of the interval
. The Ogawa integral coincides with the Stratonovich integral defined at the midpoints [31]
(21)
Here
is an arbitrary partition of the interval
.
4. Stochastic Differential Equations
This section presents four types of stochastic differential equations that can be useful in econometric modelling such as the stochastic ordinary differential equation, stochastic partial differential equation, Stochastic Differential Equation with Jumps, and Stochastic Delay Differential Equations [15] [26] [44] - [51] .
4.1. Stochastic Ordinary Differential Equations
Let
be a diffusion in n dimensions described by the multi-dimensional stochastic differential equation
(22)
where
is
matrix valued function, B is d-dimensional Brownian motion and and X and
are vector n-dimensional vector valued functions. The vector
and the matrix
are the coefficients of the stochastic differential equation.
Theorem 4.1. (Unique and Existence of Solution). If the coefficients are locally Lipschitz in X with a constant independent of t, that is, for every N, there is a constant K depending only on T and N such that for all
and all
,
(23)
for any given
the strong solution to stochastic differentional equation 26 is unique. If in addition to condition 23 the linear growth condition holds
(24)
is independent of B, and
, then the strong solution exists and is unique on
, moreover,
where constant C depends only on K and T.
The following theorem gives the solution of stochastic differential equations as Markov processes.
Theorem 4.2. [1] (The solution of SDEs as Markov processes) If Equation (26) satisfies the conditions of the existence and uniqueness theorem 4.1, the solution
of the equation for arbitrary initial values is a Markov process on the interval
whose initial probability distribution at the instant to is the distribution of C and whose transition probabilities are given by
(25)
where
is the solution of equation.
Theorem 4.3. [1] (The solution of SDEs as Diffusion processes). The condition of the existence and uniqueness Theorem 4.1 are satisfied for the SDE
(26)
where
,
,
and
is a
matrix. If in addition, the functions
and
are continuous with respect to t, the solution
is a d-dimensional diffusion process on
with drift vector and diffusion matrix
. In particular, the solution of an autonomous SDE is always a homogeneous diffusion process on
.
4.2. Stochastic Partial Differential Equations
Consider the Itô Stochastic Partial Differential Equation of the form as mentioned in [52]
(27)
for
, where
, is an infinite dimensional Wiener process of the
(28)
with independent scalar Wiener processes
,
. Here the family
,
, is an orthonormal basis in, e.g.,
.
Assumptions: For uniqueness and existence of solution of this SPDE the following assumptions hold. A1) Linear operator A. Let
be a finite or countable set. In addition, let
be a family of real numbers with
and let
be an orthonormal basis of H. The linear operator
is given by
for all
with
.
A2) Drift term F. Let
be real numbers with
and let
be a globally Lipschitz continuous mapping.
A3) Diffusion term B.Let
be real numbers with
and let
be a globally Lipschitz continuous mapping.
A4) Initial value
: Let
and
be real numbers and let
be an
-measurable mapping with
.
The literature contains many existence and uniqueness theorems for mild solutions of SPDEs. Theorem below provides an existence, uniqueness, and regularity result for solutions of SPDEs with globally Lipschitz continuous coefficients in the Equation (27).
Theorem 4.4. [52] Assume that the Assumptions A1)-A4) are fulfilled. Then there exists a unique predictable stochastic process
satisfying
and
(29)
for all
. In addition,
Here we assume that the Assumptions that
is a predictable stochastic process, which satisfies 27. Let
. Then the solution process X also satisfies
(30)
for every
.
Proposition 2 Let assumption A1)-A4) be satisfied and let
be given by Assumption A3. Then there is an up-to-modification unique predictable stochastic process
with
for
and with
(31)
for all
. Moreover, X is the unique mild solution of the SPDE 27 in the sense of Equation (31).
4.3. Stochastic Differential Equation with Jumps
In real world, some phenomena or economic policy decisions are governed under uncertainty with jumps. Therefore, stochastic differential equation with jumps modeling can be considered as a useful econometric approach [53] . Consider a one-dimensional SDE, d = 1, in the form
(32)
for
, with
, and
an
-adapted one-dimensional Wiener process. We assume an an
-adapted Poisson measure
with mark space
and with intensity measure
, where
is a given probability distribution function for the realizations of the marks.
Consider a one-dimensional SDE with Jumps (32) in integral form, is of the form
(33)
4.4. Stochastic Delay Differential Equations
Consider the following Stochastic Delay Differential Equations with constant delay in Stratonovich form [54]
(34)
(35)
where
is a constant
is a system of one dimensional independent standard Wiener process, the function
,
,
are continuous with
. and
is
-measurable. For mean-square stability of (35), we assume that
and
(
and
denote the derivatives with respect to the first and second variables respectively),
, in (35) satisfy the Lipschitz and linear growth conditions.
5. Numerical Methods for Stochastic Differential Equations
In this section we review shortly some numerical methods used in the stochastic analysis that can be useful for economists and other social scientists. These main books that can helpfully to econometricians and economists are [26] [52] [55] - [61] .
5.1. Numerical Methods for Stochastic Ordinary Differential Equations
The Euler-Maruyama Scheme. The Euler-Maruyama method is a method for the approximate numerical solution of a stochastic differential equation. It is a simple generalization of the Euler method for ordinary differential equations to stochastic differential equations. It is named after a Swiss mathematician, physicist, geograph, astronomer, engineer, and logician Leonhard Euler (1707-1783) and a Japanese mathematician Gisiro Maruyama (1916-1986). Consider a scalar Itô stochastic ordinary differential equation [52]
(36)
with a standard scalar Wiener process
. This Equation (36) is in fact a symbolic representation for the stochastic integral equation
(37)
The simplest numerical scheme for the stochastic ordinary differential Eqaution (36) is the Euler-Maruyama Scheme given by
(38)
where one usually writes
for
and where
with
is an arbitrary partition of
. The Euler-Maruyama approximation of an m-dimensional stochastic differential equation
is defined by [38]
(39)
As a strong approximation, it is of order 1/2, while as a weak approximation it s of order 1. In other words,
and
,
, for all
.
The Milstein Scheme The Mistein method is a technique for the approximate numerical solution of a stochastic differential equation. It is named after Russian mathematician Grigori N. Milstein (who first published the method in 1974. The another useful numerical scheme for the SODE (36) is the Milstein Scheme given in [52] by
(40)
The Milstein approximation of an m-dimensional stochastic differential equation
is defined by [38]
The Runge-Kutta Scheme. The Runge-Kutta methods are a family of implicit and explicit iterative methods, which include the well-known routine called the Euler Method, used in temporal discretization for the approximate solutions of ordinary differential equations. These methods were developed around 1900 by the German mathematicians Carl Runge (1856-1927) and Wilhelm Kutta (1867-1944). Consider an m-dimensional Stratonovich differential equation of the form [62] [63]
(41)
where f is an m-vector-valued function, g is an
matrix-valued function and
is a p-dimensional process having independent scalar Wiener process components and the solution
is an m-vector process. A general class of stochastic Runge-Kutta method in which [62] [63]
(42)
(43)
where Z and z are respectively, an
matrix and
vector whose elements are themselves arbitrary random variables. By letting
Here
represents the Stratonovich multiple integral of order two given by
This method is defined to be of order p if the local truncation error is
.
5.2. Numerical Methods for Stochastic Differential Equations with Jumps
The Euler scheme for SDE with jumps (32), is given by the algorithm, Platen [53] [64] [65]
(44)
for
with initial value
. Here
is the length of the time interval
and
is the nth Gaussian
distributed increment of the Wiener process W,
,
represents the total number of jumps of Poisson random measure up to time t, which is Poisson distributed with mean
.
In the multidimensional case with mark-indepedent jump size we obtain the kth component of the Euler scheme
(45)
5.3. Numerical Methods for Stochastic Partial Differential Equations
This material is from [66]
(46)
For SPDE with multiplicative noise, (27), there are two stochastic numerical methods that are used in the literature the linear-mplicit Euler and the linear-implicit Crank-Nicolson schemes [52] .
The Euler-Maruyama scheme
(47)
The Crank-Nicolson scheme. The Crank-Nicolson method is a finite difference method used for numerically solving the heat equation and similar partial differential equations. It is implicit in time and can be written as an implicit Runge-Kutta method, and it is numerically stable. The method was developed by a British mathematical physicist John Crank (1867-1944) and a British mathematician Phyllis Nicolson (1916-1968) in the mid 20th century [67] .
(48)
for
and
. Here it is necessary to assume that
for all
in Assumption ( ) in order to ensure that
is inversible for every
.
Convergence of SPDE with multiplicative noise. The convergence of the exponential Euler scheme will proved under the following assumptions.
Assumption 5.0.1 (A5). (Linear operator A). There exist sequences of real eigenvalues
and orthonormal eigenfunctions
of
such that the linear operator
is given by
for all
with
.
(A6) (nonlinearity F). The nonlinearity
is two times continuously Fréchet differentiable and its derivatives satisfy
for all
,
, and
, and
for all
, where
is a positive constant.
(A7) (Cylindrical Q-Wiener process
). There exist a sequence
of positive real numbers and a real number
such that
and pairwise independent scalar
-adapted Wiener process
for
. The cylindrical Q-Wiener process
is given formally by
(49)
(A8) (Initial value). The random variable
satisfies
, where
is given in A7.
5.4. Numerical Methods for Stochastic Delay Differential Equations
There are many numerical schemes for solving stochastic delay differential equations. As given in [54] , we give three schemes to solve (35). The first scheme is the Predictor-correction scheme given by
(50)
(51)
The second is the Midpoint scheme given by
(52)
where we have
with
.
The last scheme is the Milstein-like scheme given by
(53)
where
,
,
,
,
.
6. Convergence and Implementation of Numerical Methods
6.1. Convergences of Numerical Methods
Definition 6.0.1. (Strong Convergence) We say that a numerical scheme for solving the SDE (36) converges strongly on
to the solution X of the SDE if for the final time T have
(54)
A strongly convergent scheme is said o have convergence rate
if for some constants C and
we have
(55)
Theorem 6.1. (Strong Convergence: Euler-Maruyama scheme) Under assumptions of Lipschitz and linear growth of coefficients and additionally
(56)
for some suitable constant K, the Euler-Maruyama scheme converges strongly with a convergence rate of
.
Theorem 6.2. (Strong convergence of Milstein scheme) In addition to the
assumption of Theorem , let
and
satisfy the conditions on
the coefficients of the Theorem . If further we have
,
, then the Milstein converges strongly with a convergence rate of
.
The convergence of error for SPDE is given by the following theorem.
Theorem 6.3. (Convergence Theorem, [52] ) Suppose that assumptions (A1)-(A8) are satisfied. Then there is a constant
such that
(57)
holds for all
, where
is the solution of SPDE (27),
is the
numerical solution given by (46),
for
, and
is
the constant given in Assumption (A8).
6.2. Implementation of Numerical Methods
As with the Euler-Maruyama method, the Milstein method is very easy to implement which is a reason that it is also quite popular among practitioners in finance.
Algorithm 6.3.1. (The Euler-Maruyama Scheme). Let
for a given N. Then approximate the SDE via
1) Set
2) For
to
do
a) Simulate a standard normally distributed random number
b) Set
and
.
Algorithm 6.3.2. (The Milstein Scheme) Let
for a given N. Then approximate the SDE via
1) Set
2) For
to
do
a) Simulate a standard normally distributed random number
b) Set
and
7. Conclusion
This paper surveys the recent development of numerical methods used in stochastic analysis that can be useful in econometric analysis. As well-known, the discretization of the stochastic continuous-time models through the numerical methods is one of main cornerstones and problems of the modern econometric analysis. Modelling and analyzing economical dynamical systems under uncertainties through the stochastic differential equations are considered as the challenges for economists. In this paper we give these numerical methods such as Euler-Maruyama scheme, Runge-Kutta scheme, Milstein scheme and Crank-Nicolson scheme that are used in literature. Since the Black-Scholes-Merton works awarded by Nobel Prize Committee in 1997 in Economics field, the stochastic differential equations are used in economics and finance as one of the best ways to model uncertainties.