Abstract
This paper investigates the solution of fuzzy Stochastic Differential Equation (SDE). The involved parameters in the governing SDEs are considered as fuzzy. A transformation method has been used to operate the fuzzy numbers. System of Ito stochastic differential equations containing fuzzy parameters has been modelled here which is based on the transformation method. Further, fuzzy Euler Maruyama approximation method has also been proposed. Finally standard fuzzy SDEs are solved to demonstrate the proposed methods.
Keywords
Introduction
The concept of Stochastic Differential Equation (SDE) has been initiated by Einstein in 1905 [17]. In his article he presented a mathematical connection between microscopic random motion of particles and the macroscopic diffusion equation. Later it has been seen that the stochastic differential equation (SDE) model plays a prominent role in a range of application areas such as physics, chemistry, mechanics, biology, microelectronics, economics and finance [1, 17]. Earlier the SDEs were solved by using Ito integral as an exact method which is discussed in [9]. But using exact method it is noticed that there occur some difficulty to study nontrivial problems and hence approximation methods are used. In this context various authors have given their contribution in these field but we have mentioned which are directly related to this problem. In 1982, Rumelin [16] defined general Runge-Kutta approximations for the solution of stochastic differential equations and there was given an explicit form of the correction term. This work was carried out and then Kloeden and Platen [8] are discussed about the numerical solutions of stochastic differential equation in detail. Platen [15] added discrete time strong and weak approximation methods for the numerical methods to find the solution of stochastic differential equations. Next, Higham [5] gave a major contribution in this field to solve the approximate solutions of stochastic differential equations and discussed few problems. Further Higham and Kloeden [6] investigated nonlinear stochastic differential equations numerically. They presented two implicit methods for Ito stochastic differential equations (SDEs) with Poisson-driven jumps. The first method is a split-step extension of the backward Euler method and the second method arises from the introduction of a compensated, martingale, form of the Poisson process. In this context different authors have tried for various other diffusion and application based problems. Hayes and Allen [4] solved stochastic point kinetic reactor problem. They modelled the point stochastic reactor problem into ordinary time dependent stochastic differential equation and studied the stochastic behaviour of the neutron flux. It may be noted from the literature review that, authors have discussed the stochastic differential equations which contain crisp parameters. But in general the involved parameters may not be crisp rather these may be uncertain. Here the uncertain parameters are considered as TFN. In this context, Kim [7] considered fuzzy sets space for real line and the existence and uniqueness of the solution is obtained. The solution is investigated by taking particular conditions which are imposed on the structure of integrated fuzzy stochastic processes such that a maximal inequality for fuzzy stochastic Ito integral holds. Next, Ogura [13] proposed an approach to solve FSDE which does not contain any notion of fuzzy stochastic Ito integral and the method was based on the selections of sets. Further, Malinowski and Michta [9] presented the existence and uniqueness of solutions to the FSDEs driven by Brownian motion and the continuous dependence on initial condition and stability properties are established.
In this investigation, a general approach has been described to handle fuzzy numbers associated with the FSDE. The concept of fuzzy stochastic Ito integral has also been used to obtain the solutions of exact method. Also, using fuzzy arithmetic [2, 11] for TFNs, numerical solutions of standard FSDEs are investigated.
For the sake of completeness initially we have discussed the crisp SDE and it is solved analytically through Ito integral techniques. It is also been noted that there was difficulty to handle nontrivial problems using analytical method so we have used numerical method to solve. Further the same problems are discussed for uncertain cases and corresponding FSDE are solved. The obtained results are shown graphically and the uncertain width of the solution is discussed.
Theory
Let us consider a standard stochastic differential Equation [17]
The integral form of Equation (1) becomes
We take c = t0 < t1 < t2 < … < tn-1 < t
n
= d be a grid of points on an interval [c, d], then Ito integral may be defined in the following limit form
Let us consider the Equation (1), which is first solved analytically by using Ito formula.
Ito formula says that if X
t
, an Ito process [14] given by
Let (i.e. g is twice continuous differentiable on ). Then Y
t
= g (t, X
t
) is again Ito process and
Let us consider a stochastic differential Equation [9]
W t and α are noise and constant respectively.
Equation (6) may be written as
Using Ito formula for the function g (t, x) = ln x [14], we get the following
Integrating the above we get,
Here we found that except some standard problems exact method may not be applicable for others. Hence we need numerical treatment to handle non trivial problems and this is discussed in the following sections.
To find the numerical solution of the stochastic differential equation let us assign a grid of points, c = t0 < t1 < t2 < … < tn-1 < t n = d and approximate x values w0 < w1 < w2 < … < w n to be determined at the respective t points.
Consider SDE initial value problem [1]
Equation (7) is solved numerically as follows.
Let us consider a time discrete approximation of an Ito process for the stochastic differential equation (SDE)
Then the approximation Euler-Maruyama scheme may be represented in the following manner
Define N (0, 1) be the normal distribution and each random number ΔW
i
is computed as
Here the obtained set {w0, w1, …, w n } is an approximation realization of the solution stochastic process X (t) which depends on the random numbers z i that were chosen. Since, W t is a stochastic process, each realization will be different and so will our approximations.
Fuzzy set is the collection of pair of elements and its membership functions. The membership function is defined as
A fuzzy number z in parametric form is a pair of functions and , where α ∈ [0, 1] which satisfy the following conditions. is a bounded non-decreasing left continuous function in (0, 1], and right continuous at 0. is a bounded non-increasing left continuous function in (0, 1], and right continuous at 0. , 0 ≤ α ≤ 1.
A fuzzy number is said to be triangular fuzzy number (Fig. 1) when the membership function is given by
The triangular fuzzy number may be transformed into interval form by using α-cut in the following form
Let us consider two fuzzy numbers and and a scalar k then if and only if and . .
If the fuzzy numbers are taken in order pair form as discussed earlier using limit method [10, 11], the arithmetic rules are defined as
Let us consider and be two fuzzy numbers then it may be transformed into the following α-cut form
where
Now consider an interval point ([a L , a R ] , [b L , b R ]) in two dimension plane and the pictorial representation of this number is shown in Fig. 2.
Here [a L , a R ] and [b L , b R ] may be represented in crisp form as defined in Equation (1), c and d are the mid values of the intervals respectively. We get a set of crisp real points in the closed region i.e. The above discussed fuzzy arithmetic is now used as a tool to solve FSDE. In the following sections the proposed technique is applied for both the exact and numerical methods to find the uncertain solutions of FSDE.
Let us consider a SDE with fuzzy parameters then Equation (1) may be written as [12]
As such, Equation (11) has been solved by exact and numerical methods.
Using limit method [2], the FSDE (11) in modified crisp form may be represented as follows
Initially for the exact case we take the crisp representation of X (α) , a (α) , b (α) and use Ito integral to solve the problem.
Now if we apply the above discussed fuzzy concept for Euler-Maruyam method, then Equation (8) may be represented in the following way
Applying and on the solution we get the left and right bound. Whereas, we obtain various solution set by considering different values of membership function α ∈ [0, 1]. It is noticed that sometimes we get weak solutions i.e. the left and right bound solutions overlaps or intersect each other and this occurs due to the randomness of the system. This may easily be observed from the following example problems.
Let T > 0 and a (· , ·) : [0, T] × R
n
→ R
n
, b (· , ·) : [0, T] × R
n
→ Rn×m be a measurable functions satisfying [14]
Then the stochastic differential Equation (1) for 0 ≤ t ≤ T, X0 = Z has a unique t-continuous solution X t (ω) with the property that X t (ω) is adapted to the filtration generated by Z and B s (·) ; s ≤ t
and
The membership value, α ≠ 1, at different level of α-cut set we get intervals and those intervals may be transformed into crisp form by using limit method [2, 10] depending upon the value of n. For each value of n, the solutions are obtained. Then the solutions for α-level cut (set) will be the collection of all the solutions. Finally union of all the α-level cut set is the fuzzy solutions which will exist (in view of the above theorem).
On the other hand, for the special case (at centre (α = 1) of the considered fuzzy number) the centre solutions become crisp and this will certainly satisfy the above theorem.
Results and discussions
In this section we have considered two example problems and the parameters are taken as fuzzy. Initially the problem is studied for crisp parameters for both the exact and numerical methods and then the problem is carrying out for fuzzy parameters.
Case study I
Consider Black Scholes stochastic differential Equation [1].
The crisp Euler-Maruyama approximation for this SDE is as follows
Initially the Black Scholes SDE is solved for crisp parameter and then fuzzy parameters are considered for investigation. Here we compute a discretized Brownian path over [1] with δt = 2-8 and the obtained solution is plotted with a solid magenta line in Fig. 3. We then apply Euler Maruyama (EM) method using a step size Δt = Rδt, with R = 4 and obtain the solution which is presented in Fig. 3 with blue line. Further it is seen that taking smaller value of R for 4, 3 and 2 we get the endpoint errors 0.0442, 0.0216 and 0.0101 respectively.
Now drift (μ) and diffusion (σ) coefficients are taken as TFN which are given in Table 1. The exact method is used to obtain the solution which is depicted in Fig. 4. Here the black and magenta solid line represents the left and right bound of the uncertainty. Next the left and right values of the uncertainty are plotted with the exact solution in Figs. 5 and 6 respectively. Then EM method is used to solve the uncertain SDE and results are graphically depicted in Fig. 7, where black and magenta line represents the left and right bound of the uncertain solutions. The region covered in between the left and right bound is the uncertain solution set of the Black Scholes SDE. In Fig. 8, we have given the left and right bound is the uncertain solution of the Black Scholes SDE along with the crisp solution and we found that the exact solution lies within the region covered by the left and right solutions. Further it is found that there are some problems where it may be difficult to find the exact solution and in this case we take the help of Euler-Maruyama method which is discussed in the next example.
The SDE of Langevin equation is
The Euler Maruyama approximation for Equation (15) is as follows
The values for used parameters for Equation (12) are given in the following Table 2.
In Fig. 9 we have given a plot for the solution of Langevin SDE when parameters are crisp. Whereas, the solution for Langevin SDE is presented in Fig. 10 where the parameters are taken as fuzzy. The left and right bound solutions are shown in blue and magenta colour respectively whereas the black coloured is the crisp solutions.
For better visualization of uncertain distribution of Euler Maruyama approximation results, fuzzy plots are represented in Figs. 11 and 12 for example 2 and 3 respectively. Here the blue and magenta lines represent the left and right solutions and it has been seen that uncertain widths are randomly varying.
It may be noted that if the uncertainty of the parameter changes, the uncertain width of the solution sets vary accordingly.
In this study we have combined the stochastic and fuzziness to model the problem and then proposed methods to handle them. Using α-cut technique limit method is used to compute fuzzy arithmetic which is implemented to solve fuzzy stochastic differential equations both analytically and numerically. Then the hybrid method is demonstrated using example problems. Next the solution of uncertain width along with the left and right bound of the fuzzy stochastic differential equation have been investigated. Finally the TFN of the solution set is shown graphically for better visualization.
Footnotes
Acknowledgments
The authors would like to thank BRNS (Board of Research in Nuclear Sciences), Department of Atomic Energy (DAE), Govt. of India for providing fund to do this work.
