The Existence and Uniqueness of Random Solution to Itô Stochastic Integral Equation ()
1. Introduction
We shall give some historical remarks concerning the development of this type of equation and point out the essential difference between them and other random integral equations.
In 1930 N. Wiener introduced an integral of the form where a deterministic real-valued function and is a scalar Brownian motion process.
Author of [1] in 1944 generalized Wiener’s integral to include those cases where the integrand is random. That is he obtained an integral of the form
Which is referred to as the Itô stochastic integral or simply the stochastic integral. Since that time many scientists have contributed to the general development of this type of stochastic integral. For example see [2- 10].
In 1946 Author of [5] formulated a stochastic integral equation of the form
(1.0)
where, is a scalar Brownian motion process, and C is a constant Restrictions are usually placed on the functions f and g so that the first integral is interpreted as the usual Lebesgue integral of the sample functions which can then be related to the sample integral of the process and the second integral is an Itô stochastic integral.
The principal feature which distinguishes the type of equation studied from an equation of the Itô type is the fact that in the former case each of the integrals involved is interpreted as a Lebesgue integral for almost all. That is, almost all sample functions are Lebesgue integrable. Since in the Itô stochastic integral the limit is taken in the mean-square or in the probability sense, the theory of such integrals has been developed as self-contained and self-consistent.
One of the main purposes of subsequent work in connection with the Itô stochastic integral equation has been to construct Markov processes such that their transition probabilities satisfy given Kolmogorov equations and to investigate the continuity of the processes, among other properties of the sample function.
The method of successive approximation was used by Itô and Doob to show the existence and uniqueness of a random solution to Equation (1.0).
2. Preliminaries
Let be a scalar Brownian motion process. In this section we shall be concerned with the integral
(1.1)
for a fairly general class of functions. This integral will be called the Itô stochastic integral as we mentioned previously. As is well known, almost all the sample functions of the Brownian motion process are of unbounded variation and hence the integral (1.1) cannot be defined as an ordinary Stieltjes integral.
First we shall define the integral (1.1) for the class of step functions. That is, functions of the form
(1.2)
where are measurable with respect to the -algebra, and
for such functions we define the Itô integral by
(1.3)
Now suppose that is any function satisfying the following conditions.
1) is a product-measurable function from, assuming the usual Lebesgue measure on.
2) For each, , is measurable with respect to -algebra, where is the smallest -algebra on, such that, is measurable.
3)
In view of Equation (1.2) it is evident that the class of step functions satisfy conditions 1)-3).
For the function satisfying conditions 1)-3) we shall define their norm as follows:
(1.4)
For this case author of [2] has shown the following 1) can be approximated in the mean-square sense by a sequence of step functions. That is
as
2) The sequence of integrals
Possesses a mean-square limit. That is there exists a such that
(1.5)
as
Now we shall define the integral (1.1) for a class of functions satisfying conditions 1)-3) by
(1.6)
As with the ordinary integrals, we shall define
(1.7)
Definition 1.1 Let, where L denote the collection of Lebesgue measurable subsets of. Define a function from by
Lemma 1.1 The function defined by
where satisfies conditions 1)-3), and is as defined earlier, also satisfies conditions 1)-3).
Proof. The proof is a straightforward result of the definition of and the fact that satisfies conditions 1)-3).
We are now in a position to define exactly what is meant by the expression
Definition 1.2 We define for G a Lebesgue-measurable subset of by
Note that lemma 1.4 guarantees the expression on the right exists and is well defined Definition 1.3 We shall denote by
the space of all continuous functions from into. We shall define the norm of by
Lemma 1.2
Lemma 1.3
Lemma 1.4 If we define a distance between two functions and each satisfying conditions 1)-3) by
and the distance between and by
Then.
For the proof of the Lemmas see [2].
Lemma 1.5 Let,
Then
For the proof see [4].
3. On an Itô Stochastic Integral Equation
In this section we shall investigate a stochastic integral equation of the type
(2.1)
where is the unknown random process defined for and.
We shall place the following restrictions on the random functions which constitute the stochastic integral Equation (2.1).
1') is an element of and is continuous where .
2') is an operator on the set S with values in the Banach space B satisfying
for.
3') Conditions 1)-3) of section 1 hold.
Thus with the given assumptions the first integral of (2.1) can be interpreted as a Lebesgue integral and the second as an Itô stochastic integral.
We shall now proceed to state and prove a theorem concerning the behavior of the Itô integral. More precisely, if we show that the Itô integral is an element of the space, we can apply the theory of admissibility to Equation (2.1) to show the existence of a random solution. By a random solution to Equation (2.1) we mean a random function from into such that for each, satisfies the integral equation P-a.e. showing that the Itô integral is an element of will make feasible the assumption that we wish to make that the integral is an element of D, a Banach space contained in the topological space mentioned For convenient we shall denote the Itô integral by
Theorem 2.1 For
Proof Fix Then
Thus
by lemma 1.3.
Hence.
Therefore for fixed t,. Now let in. To show that in, it is sufficient to show that
can be made arbitrarily small. That is, we must show that
Can be made arbitrarily small. Choose. Consider the nonnegative function. By condition 3) is integrable over. Hence there exists a such that for every set of Lebesgue measure less than,. Thus
Since for and and since the Lebesgue measure of the interval is its length, we conclude that the Lebesgue measure of is less than.
Hence
Implying that is continuous from into and the proof is complete.
Since we have shown that , we can conclude that the stochastic integral Equation (2.1) possesses a unique random solution
4. On Itô-Doob-Type Stochastic Integral Equations
In this section we shall study the existence and uniqueness of a random solution to a stochastic integral equation of the form
(3.1)
where. As before, the first integral is a Lebesgue integral, while the second is an Itô-type stochastic integral defined with respect to a scalar Brownian motion process.
Recall that
, We shall define the operators and from into by
(3.2)
and
(3.3)
Note that in view of lemma 1.5 . Its clear that and are linear operators.
Theorem 3.1 The operators and defined by (3.2) and (3.3) respectively, are continuous operators from into.
Lemma 3.1 Let T be a continuous operator from into itself. If B and D are Banach spaces stronger than and the pair (B, D) is admissible with respect to T. Then T is a continuous operator from B to D.
Proof of theorem 3.1 The fact that is a continuous operator from into follows from lemma 3.1. From (3.3) we have
Furthermore
Therefore
Thus and are continuous operators from into.
An Existence Theorem
We shall assume that lemma 3.1 holds with respect to the operators and. Therefore there exist positive constants and less than one such that
and
The following theorem gives sufficient conditions for the existence of a unique random solution, a second order stochastic process, to the Itô-Doob stochastic integral Equation (3.1).
Theorem 3.2 Consider the stochastic integral equation (3.1) under the following condition:
1) B and D are Banach spaces in
which are stronger than
such that is admissible with respect to the operators and
2) a) is an operator on
With values in B satisfying
b) is an operator on S into B satisfying
where and are constants. Then there exists a unique random solution to Equation (3.1) provided that. And
Proof. Define an operator U from the set S into D as follows
We need to show that U is a contraction operator on S and that.
Let.
Then because D is a Banach space. Further, we have
Thus U is a contraction operator.
For any element in S we have
Since it follows that
from the assumptions in the theorem.
Thus the existence and uniqueness of a random solution to Equation (3.1) follow from the Banach fixed-point theorem.
Theorem 3.4 (S. Banach’s fixed-point principle) ([11]).
If T is a contraction operator on a complete metric space H. then there exists a unique point for which.
5. Conclusion
We investigated the existence and uniqueness of Itô stochastic integral equation by applying the theoretical techniques of probabilistic functional analysis. In fact author of [12] refers to probabilistic functional analysis as being concerned with the applications and extensions of the methods of functional analysis to the study of the various concepts, processes, and structures which arise in the theory of probability and its applications. Finally to develop and unify the theory of stochastic or random equations see [13-15].