19
Differential Equations with Interval Uncertainty

19.1 Introduction

Generally, differential equations are the backbone of various physical systems occurring in a wide variety of disciplines viz. physics, chemistry, biology, economics, and engineering [1,2]. These physical systems are modeled either by ordinary or partial differential equations. Generally, in differential equations, the involved coefficients and variables are considered as deterministic or exact values. In that case, one may handle such differential equations (with deterministic coefficients or variables) by known analytic or numerical methods [35].

In actual practice, due to errors in experimental observation or due to truncation of the parametric values, etc. we may have only imprecise, insufficient, or incomplete information about the involved parameters of the differential equations. So, the parametric values involved in such differential equations are uncertain in nature. As such, there is a need of modeling different physical problems with uncertain parameters. In general, these uncertainties may be modeled through probabilistic, interval, or fuzzy approach [4, 5 ]. Probabilistic methods may not be able to deliver reliable results at the required condition without sufficient data. Therefore, in the recent years, interval analysis and fuzzy set theory have become powerful tools for uncertainty modeling.

In this chapter, we present different approaches to handle differential equations with interval uncertainty.

19.2 Interval Differential Equations

Moore [6] first introduced the concept of interval analysis and computations in 1966. Thereafter, this concept has been successfully applied by various researchers for uncertainty analysis. Several books [ 6 8] have also been written by different authors representing the scope and various aspects of interval analysis. These books give an extensive review of interval computations which may help the readers to understand the basic concepts of interval analysis. Various mathematical techniques have been developed by different authors to handle the differential equations with interval analysis. As such, differential calculus is studied by Chalco‐Cano et al. [9] for interval‐valued functions using generalized Hukuhara differentiability [10], which is often referred as the most general concept of differentiability for interval‐valued functions. Also, the Hukuhara concept has been utilized by Stefanini and Bede [ 10 ,11] in a more generalized way for interval‐valued functions and interval differential equations (IDEs). Differential transformation method (DTM) is applied by Ghazanfaria and Ebrahimia [12]. Recently, Chakraverty et al. developed new techniques and approaches to handle differential equations with uncertain parameters [1315].

The next section presents the preliminary concepts of interval arithmetic and parametric form of interval numbers.

19.2.1 Interval Arithmetic

An interval is denoted as images, where images and images represent the lower and upper bounds of interval images, respectively. Any two intervals images and images are considered to be equal if their corresponding bounds are equal. The basic interval arithmetic operations are as follows [ 6 ,7]:

  1. images
  2. images
  3. images
  4. images
  5. images
  6. images
  7. images

19.3 Generalized Hukuhara Differentiability of IDEs

One of the known definitions of difference and derivatives for interval‐valued functions was given by Hukuhara [16]. Further, the new concepts named as generalized Hukuhara differences have been examined in Refs. [ 11 , 12 ].

Let us consider two intervals images and images. Then, the Hukuhara difference [11] is defined as

equation

where images and images.

19.3.1 Modeling IDEs by Hukuhara Differentiability

Let us consider a linear interval‐valued differential equation 11, 12 ] as

(19.1)equation

where

equation

19.3.1.1 Solving by Integral Form

After applying integration to Eq. (19.1) the equivalent integral equation 10, 11 ] is obtained as

(19.2)equation

where δ is a small positive quantity.

Using the Hukuhara difference

equation

Now, according to Eq. (19.2), one may obtain

(19.3)equation

19.3.1.2 Solving by Differential Form

By using the differential form [ 12 , 13 ] to Eq. ( 19.1 ), we obtain

(19.4)equation

with respect to the initial conditions images, images.

We obtain two situations from Eq. (19.4) as

  • Case (i): If images, then the possible differential equations result in
    (19.5)equation
  • with respect to the initial conditions, images, images.
  • Case (ii): If images, then the differential equations reduce to
    (19.6)equation
  • with respect to the initial conditions, images, images.
Graph illustrating the comparison of trivial solution with lower and upper bounds, depicting curves with markers lying on it representing lower-bound solution for case (i and ii) (*), trivial solution (dashed), etc.

Figure 19.1 Comparison of trivial solution with lower and upper bounds obtained using (a) case (i) and (b) case (ii).

19.4 Analytical Methods for IDEs

As mentioned in the introduction, several numerical and analytical methods [14,17] are available to solve IDEs. Generally, analytical solutions have a significant role in proper understanding of various science and engineering problems [18]. Accordingly, below we present one of the new approaches to handle IDEs [ 14 , 15 , 17 ].

19.4.1 General form of nth‐order IDEs

Let us consider nth‐order IDE in general form given in Refs. [ 14 , 17 ] as

(19.10)equation

subject to the initial conditions

equation

where ci's are real constants and images's are interval values for 0 ≤ i ≤ n − 1.

Here, images is the solution to be determined.

Now, Eq. (19.10) may be represented in terms of lower and upper bounds as

19.11equation

subject to interval initial conditions

equation

From Eq. (19.11), three possible cases arise with respect to the sign of the involved coefficients. The possible three cases are given as [ 17 , 18 ]:

  • Case (i): All the coefficients cn − 1, cn − 2, …, c1, c0 are positive.
  • Case (ii): Coefficients cn − 1cn − m are positive and cn − m − 1, cn − m − 2, …, c1, c0 are negative.
  • Case (iii): All coefficients cn − 1, cn − 2, …, c1, c0 are negative.

The analytical methods to handle IDE ( 19.10 ) in all three possible cases mentioned above are presented in the next section.

19.4.2 Method Based on Addition and Subtraction of Intervals

In this section, we present the solution procedure based on addition and subtraction of intervals [18] to handle all the three possible cases of considered IDE given by Eq. ( 19.10 ).

Case (i): When all the coefficients cn − 1, cn − 2, …, c1, c0 involved in Eq. ( 19.10 ) are positive. Then, one may obtain the following equations in terms of lower and upper bound as

(19.12)equation

and

(19.13)equation

By adding Eqs. (19.12) and (19.13), one may obtain

19.14equation

subject to the initial conditions

equation

For simplification, Eq. (19.14) is represented as

(19.15)equation

with respect to the initial conditions

equation

where images, images, images, and images.

Similarly, subtracting Eqs. ( 19.12 ) and ( 19.13 ), one may obtain

19.16equation

Further, Eq. (19.16) is represented as

(19.17)equation

with respect to the initial conditions

equation

where images, images, and images

equation

It may be noted that both Eqs. (19.15) and (19.17) are in crisp forms. So, one may easily obtain solutions

equation

Then, by applying standard methods, the lower‐bound solution is obtained by adding u(x) and v(x) whereas the upper‐bound solution is obtained by subtracting u(x) and v(x).

Case (ii): When some of the coefficients cn − 1,…, cn − m are positive and cn − m − 1, cn − m − 2,…, c1, c0 are negative [ 14 , 18 ] in Eq. ( 19.10 ), one may obtain the lower‐ and upper‐bound equations as

(19.18)equation

and

(19.19)equation

subject to the initial conditions

equation

Now, by using the same procedure as in case (i) one may also obtain the required lower‐ and upper‐bound solutions for this case.

Case (iii): When all the coefficients cn − 1, cn − 2,…, c1, c0 involved in Eq. ( 19.10 ) are negative. Then, one may obtain the following lower‐ and upper‐bound equations 18,19] as

(19.20)equation

and

(19.21)equation

subject to the initial conditions

equation

Similarly, as in case (i), one may obtain the required lower‐ and upper‐bound solutions for case (iii). For more detailed understanding of various analytical methods to handle IDEs, one may refer Refs. [ 14 , 15 , 17 , 19 ,20].

Graph illustrating the lower-, center-, and upper-bound, depicted by 3 coinciding ascending solid and dashed curves. The 2 solid curves have asterisk and triangle markers lying on it.

Figure 19.2 Lower‐, center‐, and upper‐bound solutions of Example 19.2.

Exercise

  1. 1 By using Hukuhara differentiation, solve the following problems:
    1. equation
    2. equation
  2. 2 Solve the following IDEs by using addition and subtraction of interval numbers
    1. images with respect to images, images, and images
    2. images with respect to images, images

References

  1. 1 Hale, J.K. and Lunel, S.M.V. (2013). Introduction to Functional Differential Equations, vol. 99. New York: Springer Science & Business Media.
  2. 2 Farkas, M. (1977). Differential Equations. Amsterdam: North‐Holland Publishing Co.
  3. 3 Bhat, R.B. and Chakraverty, S. (2004). Numerical Analysis in Engineering. Oxford: Alpha Science International.
  4. 4 Chakraverty, S., Sahoo, B.K., Rao, T.D. et al. (2018). Modelling uncertainties in the diffusion‐advection equation for radon transport in soil using interval arithmetic. Journal of Environmental Radioactivity 182: 165–171.
  5. 5 Rao, T.D. and Chakraverty, S. (2017). Modeling radon diffusion equation in soil pore matrix by using uncertainty based orthogonal polynomials in Galerkin's method. Coupled Systems Mechanics 6 (4): 487–499.
  6. 6 Moore, R.E. (1966). Interval analysis, Series in Automatic Computation. Englewood Cliff, NJ: Prentice‐Hall.
  7. 7 Moore, R.E., Kearfott, R.B., and Cloud, M.J. (2009). Introduction to Interval Analysis, vol. 110. Philadelphia, PA: SIAM.
  8. 8 Alefeld, G. and Herzberger, J. (2012). Introduction to Interval Computation. New York: Academic Press.
  9. 9 Jaulin, L., Kieffer, M., Didrit, O., and Walter, E. (2001). Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics, vol. 1. London: Springer Science & Business Media.
  10. 10 Chalco‐Cano, Y., Rufián‐Lizana, A., Román‐Flores, H., and Jiménez‐Gamero, M.D. (2013). Calculus for interval‐valued functions using generalized Hukuhara derivative and applications. Fuzzy Sets and Systems 219: 49–67.
  11. 11 Stefanini, L. and Bede, B. (2009). Generalized Hukuhara differentiability of interval‐valued functions and interval differential equations. Nonlinear Analysis: Theory, Methods & Applications 71 (3–4): 1311–1328.
  12. 12 Stefanini, L. and Bede, B. (2012). Some notes on generalized Hukuhara differentiability of interval‐valued functions and interval differential equations (No. 1208). University of Urbino Carlo Bo, Italy Department of Mathematics, WP‐EMS.
  13. 13 Ghazanfaria, B. and Ebrahimia, P. (2013). Differential transformation method for solving interval differential equations. Journal of Novel Applied Sciences 2: 598–604.
  14. 14 Tapaswini, S. and Chakraverty, S. (2014). New analytical method for solving n‐th order fuzzy differential equations. Annals of Fuzzy Mathematics and Informatics 8: 231–244.
  15. 15 Chakraverty, S. (ed.) (2014). Mathematics of Uncertainty Modeling in the Analysis of Engineering and Science Problems. Hershey, PA: IGI Global.
  16. 16 Hukuhara, M. (1967). Integration des applications mesurables dont la valeur est un compact convexe. Funkcialaj Ekvacioj 10 (3): 205–223.
  17. 17 Tapaswini, S., Chakraverty, S., and Allahviranloo, T. (2017). A new approach to nth order fuzzy differential equations. Computational Mathematics and Modeling 28 (2): 278–300.
  18. 18 Chakraverty, S., Tapaswini, S., and Behera, D. (2016). Fuzzy Differential Equations and Applications for Engineers and Scientists. Boca Raton, FL: CRC Press.
  19. 19 Corliss, G.F. (1995). Guaranteed error bounds for ordinary differential equations. In: Theory of Numerics in Ordinary and Partial Differential Equations (ed. M. Ainsworth, J. Levesley, W.A. Light and M. Marletta). Oxford: Oxford University Press.
  20. 20 Rihm, R. (1994). Interval methods for initial value problems in ODEs. In: Topics in Validated Computations (ed. J. Herzberger), 173–207. Amsterdam: Elsevier.
..................Content has been hidden....................

You can't read the all page of ebook, please click here login for view all page.
Reset
18.188.166.246