Skip to content

Advertisement

  • Research
  • Open Access

On the solutions for box differential equations under generalized Hukuhara derivative

Advances in Difference Equations20142014:223

https://doi.org/10.1186/1687-1847-2014-223

  • Received: 21 March 2014
  • Accepted: 29 July 2014
  • Published:

Abstract

In this paper, the box differential equations under generalized Hukuhara derivatives are considered. We study the existence and uniqueness results for box integral equations employing the method of upper and lower solutions. Moreover, the approach is followed to prove the existence of solutions for the initial value problem of box differential equations. The method is illustrated by some examples.

Keywords

  • box differential equations
  • box integral equations
  • generalized Hukuhara derivative

1 Introduction

The set-valued differential and integral equations are an important part of the theory of set-valued analysis, and they have the high value for control theory and its application. They were first studied in 1969 by De Blasi and Iervolino [1]. Recently, set-valued differential equations have been studied by many scientists due to their applications in many areas. For many results in the theory of set-valued differential and integral equations, the readers are referred to the following books and papers [210] and references therein.

In many real-word problems, it is desirable to transforms the behavior of a special phenomenon into a deterministic initial value problem of linear systems of differential equations, namely,
X ( t ) = A X ( t ) + F ( t ) , X ( 0 ) = X 0 ,
(1.1)

where A = ( a i j ) M n ( R ) , X = ( x 1 , x 2 , , x n ) , X 0 = ( x 10 , x 20 , , x n 0 ) R n , t [ 0 , T ] , and F = ( f 1 , f 2 , , f n ) : [ 0 , T ] R n . However, the model is not usually perfect due to the lack of certain information of the initial value X 0 , matrix A or F, which must be estimated through measurements. The analysis of measurements errors leads to the study of qualitative behavior of the solutions of (1.1). In such situations, interval-valued differential equations (IDEs) are common tools if the underlying structure is not probabilistic. The interval-valued analysis and interval-valued differential equations are special cases of set-valued analysis and set-valued differential equations, respectively. In many cases, when modeling real-world phenomena, information about the behavior of a dynamical system is uncertain and one has to consider these uncertainties to gain better understanding of the full models. The interval-valued differential equations can be used to model dynamical systems subjected to uncertainties. The papers of Stefanini and Bede [11, 12], Malinowski [13, 14], and An et al. [15, 16] are focused on the interval-valued differential equations. These equations can be studied with a framework of the Hukuhara derivative [17]. However, because of this the solutions have increasing length of their values. Furthermore, we notice that this definition of Hukuhara derivative is very restrictive; for instance we can see that if X ( t ) = C x ( t ) , where C is an interval-valued constant and x : [ a , b ] R + is a real-valued function with x ( t ) < 0 , then X ( t ) is not differentiable. Recently, to avoid this difficulty, Stefanini and Bede [11] proposed to consider a so-called generalized derivative of interval-valued functions. The interval-valued differential equations with this derivative can have solutions with decreasing length of their values, but the uniqueness is lost. The paper of Stefanini and Bede was the starting point for the topic of interval-valued differential equations (see Malinowski [13, 14], An et al. [15]) and later also for fuzzy differential equations. The connection between the fuzzy analysis and the interval analysis is very well known (Moore and Lodwick [18]). Interval analysis and fuzzy analysis were introduced as an attempt to handle interval uncertainty that appears in many mathematical or computer models of some deterministic real-world phenomena. The main theoretical and practical results in the fields of fuzzy analysis and the interval analysis can be found in several works (Moore [19], Alefeld and Mayer [20], Kolev [21]). Furthermore, some very important extensions of the interval-valued differential equations are the set-valued differential equations [8, 9, 22], the fuzzy differential equations [2332], the random fuzzy differential equations [3337], and fuzzy stochastic differential equations [3842]; and some methods for solving fuzzy differential equations are presented e.g. in [4350].

Based on the extensions of (1.1) for the interval cases, in this paper, we study the initial value problem of interval-valued nonlinear systems of differential equations under generalized Hukuhara differentiability, i.e., box-valued differential equations of the form
D gH X ( t ) = F ( t , X ( t ) ) , X ( 0 ) = X 0 I n , t [ 0 , T ] ,
(1.2)

where X = ( X 1 , X 2 , , X n ) , X 0 = ( X 10 , X 20 , , X n 0 ) I n , t [ 0 , T ] and F = ( F 1 , F 2 , , F n ) : [ 0 , T ] × I n I n ( , is the space of interval-valued functions). In [11, 1315, 5153] the authors studied box-valued differential equations under generalized Hukuhara differentiability for the case n = 1 . The existence and uniqueness of an initial value problem are then obtained under an assumption that the coefficients satisfy a condition with the Lipschitz constant (see [11]). The proof is based on the application of the Banach fixed point theorem. In [14], under the generalized Lipschitz condition, Malinowski obtained the existence and uniqueness of solutions to both kinds of IDEs. In this paper, we study the existence and uniqueness of solutions of two forms of the box integral equations. We employ a the method of upper and lower solutions. The first one leads to the solutions which possess the trajectories with nonincreasing diameter of their values. In the second form the solutions have the trajectories with nondecreasing diameter of their values. Moreover, the approach is applied to prove the existence of solutions for the box-valued differential equations under generalized Hukuhara derivative (1.2).

This paper is organized as follows: In Section 2, we present some needed concepts about differentiation and integration of box-valued functions. In Section 3, we study the existence and uniqueness theorems of solutions for two general forms of box integral equations by the method of upper and lower solutions. We use these results in order to investigate the existence results of solutions for the initial value problem of box differential equations. Finally, we give some examples being simple illustrations of the theory of box-valued differential equations.

2 Preliminaries

Let us denote by the set of any nonempty compact intervals of the real line . The addition and scalar multiplication in , are defined as usual, i.e. for A , B I , A = [ A ̲ , A ¯ ] , B = [ B ̲ , B ¯ ] , where A ̲ A ¯ , B ̲ B ¯ , and λ 0 , then we have
A + B = [ A ̲ + B ̲ , A ¯ + B ¯ ] , λ A = [ λ A ̲ , λ A ¯ ] ( λ A = [ λ A ¯ , λ A ̲ ] ) .
Furthermore, let A I , λ 1 , λ 2 , λ 3 , λ 4 , R and λ 3 λ 4 0 , then we have λ 1 ( λ 2 A ) = ( λ 1 λ 2 ) A and ( λ 3 + λ 4 ) A = λ 3 A + λ 4 A . Let A , B I as above, the Hausdorff metric H in is defined as follows:
H [ A , B ] = max { | A ̲ B ̲ | , | A ¯ B ¯ | } .
(2.1)
We notice that ( I , H ) is a complete, separable and locally compact metric space. The magnitude and the length of A I are defined by
H [ A , { 0 } ] = A = max { | A ̲ | , | A ¯ | } , len ( A ) = A ¯ A ̲ ,

respectively, where { 0 } is the zero element of , which is regarded as one point.

The generalized Hukuhara difference (or gH-difference) of two intervals A = [ A ̲ , A ¯ ] , B = [ B ̲ , B ¯ ] is defined as follows:
A gH B = [ A ̲ , A ¯ ] gH [ B ̲ , B ¯ ] = [ min { A ̲ B ̲ , A ¯ B ¯ } , max { A ̲ B ̲ , A ¯ B ¯ } ] .
(2.2)

In the present paper, we introduce the so-called boxes and box-valued functions. Let now I n = I × I × × I (n times) (the Cartesian product) denote the family of axis-aligned boxes (boxes for short) of the R n . An element A I n is of the form A = [ A ̲ 1 , A ¯ 1 ] × [ A ̲ 2 , A ¯ 2 ] × × [ A ̲ n , A ¯ n ] = i = 1 n A i , for short, where A i = [ A ̲ i , A ¯ i ] I are real compact intervals.

If A = i = 1 n [ A ̲ i , A ¯ i ] , B = i = 1 n [ B ̲ i , B ¯ i ] in I n where A ̲ i A ¯ i , B ̲ i B ¯ i , then the operations on the boxes are defined by
A + B = i = 1 n [ A ̲ i + B ̲ i , A ¯ i + B ¯ i ] and λ A = { i = 1 n [ λ A ̲ i , λ A ¯ i ] , if  λ > 0 , { 0 } , if  λ = 0 , i = 1 n [ λ A ¯ i , λ A ̲ i ] , if  λ < 0 .
The metric structure is given by the Hausdorff distance H B : I n × I n R + { 0 } ,
H B [ A , B ] = ( i = 1 n H 2 [ A i , B i ] ) 1 / 2 = ( i = 1 n { max [ | A ̲ i B ̲ i | , | A ¯ i B ¯ i | ] } 2 ) 1 / 2 .
(2.3)
Based on the properties of ( I , H ) , see [11, 12], we deduce that ( I n , H B ) is a complete, separable metric space. For the metric H B the following properties hold:
H B [ A + B , C + D ] H B [ A , C ] + H B [ B , D ] , H B [ λ A , λ B ] = | λ | H B [ A , B ]

for every A , B , C , D I n , and every λ R .

The gH-difference of two boxes A = i = 1 n A i , B = i = 1 n B i is defined as follows:
A gH B = { i = 1 n [ A ̲ i B ̲ i , A ¯ i B ¯ i ] , if  len ( A i ) len ( B i ) , i , i = 1 n [ A ¯ i B ¯ i , A ̲ i B ̲ i ] , if  len ( A i ) < len ( B i ) , i .
If A , B , C I n then it is easy to see that
A gH B = C { A = B + C , if  len ( A i ) len ( B i ) , i , B = A + ( C ) , if  len ( A i ) < len ( B i ) , i .
Proposition 2.1 Let A = i = 1 n A i , B = i = 1 n B i I n . The gH-difference A gH B exists if and only if one of the two conditions is satisfied:
  1. (i)

    len ( A i ) len ( B i ) , i = 1 , 2 , , n ,

     
or
  1. (ii)

    len ( A i ) len ( B i ) , i = 1 , 2 , , n .

     

Based on the gH-difference and the gH-derivative of interval-valued functions (see [11]) we propose the following.

Definition 2.1 Let t 0 [ a , b ] and h be such that t 0 + h [ a , b ] , the gH-derivative of a function X : [ a , b ] I n at t 0 is defined as
D gH X ( t 0 ) = lim h 0 1 h [ X ( t 0 + h ) gH X ( t 0 ) ] .
(2.4)

If D gH X ( t 0 ) I n satisfying (2.4) exists, we say that X is generalized Hukuhara differentiable (gH-differentiable for short) at t 0 .

Let us remark that the gH-derivative exists at t 0 if and only if the left and right derivatives at t 0 exist and they are equal. We say that X is gH-differentiable on [ a , b ] if D gH X ( t ) I n exists at each point t [ a , b ] . At the end points of [ a , b ] we consider only the one sided gH-derivatives.

Definition 2.2 Let X : [ a , b ] I n be such that X ( t ) = i = 1 n X i ( t ) = i = 1 n [ X ̲ i ( t ) , X ¯ i ( t ) ] and gH-differentiable at t 0 [ a , b ] . We say that X is ((i)-gH)-differentiable at t 0 if
  1. (i)
    D gH X ( t 0 ) = i = 1 n [ d d t X ̲ i ( t 0 ) , d d t X ¯ i ( t 0 ) ]
    (2.5)
     
and that X is ((ii)-gH)-differentiable at t 0 if
  1. (ii)
    D gH X ( t 0 ) = i = 1 n [ d d t X ¯ i ( t 0 ) , d d t X ̲ i ( t 0 ) ] .
    (2.6)
     
Definition 2.3 Let X : [ a , b ] I n be such that X ( t ) = i = 1 n X i ( t ) = i = 1 n [ X ̲ i ( t ) , X ¯ i ( t ) ] and X ̲ i ( t ) , X ¯ i ( t ) , i { 1 , 2 , , n } are measurable and Lebesgue integrable on [ a , b ] . Then the integral of box-valued function X is defined as usually:
a b X ( t ) d t = i = 1 n [ a b X ̲ i ( t ) d t , a b X ¯ i ( t ) d t ] .

We say that X is Lebesgue integrable on [ a , b ] . It is easy to show that the box-valued function X is integrable on [ a , b ] if and only if X is measurable and H B [ X ( t ) , { 0 } ] is Lebesgue integrable on [ a , b ] .

In this paper, we use the following partial ordering (see [7]).

Definition 2.4 Suppose A = i = 1 n [ A ̲ i , A ¯ i ] , B = i = 1 n [ B ̲ i , B ¯ i ] . We say that A B if and only if A ̲ i B ̲ i and A ¯ i B ¯ i , for i = 1 , , n .

We can also define the interval [ A , B ] = { C I n : A C B } . Moreover, letting X , Y C ( [ a , b ] , I n ) be two box-valued functions, we say that X Y if X ( t ) Y ( t ) for t [ a , b ] . We define [ X ( t ) , Y ( t ) ] = { Z C ( [ a , b ] , I n ) : X ( t ) Z ( t ) Y ( t ) } .

We recall some properties on the partial ordering ≤ the space of box-valued functions, which are useful for our procedure.

Proposition 2.2 Let A , B , C , D I n and c R + ,
  1. (i)

    A = B if and only if A B and A B ;

     
  2. (ii)

    if A B , then A + C B + C ;

     
  3. (iii)

    if A B and C D , then A + C B + D ;

     
  4. (iv)

    if A B , then c A c B .

     

Lemma 2.1 ([26])

Let F , G , H C ( [ 0 , T ] , I n ) and X 0 I n and also G H , then
  1. (i)

    0 t G ( s ) d s 0 t H ( s ) d s , t [ 0 , T ] ;

     
  2. (ii)

    X 0 ( 1 ) 0 t G ( s ) d s X 0 ( 1 ) 0 t H ( s ) d s , t [ 0 , T ] ;

     
  3. (iii)

    if G ( t ) F ( t ) H ( t ) , t [ 0 , T ] , then 0 t F ( s ) d s is well defined on [ 0 , T ] .

     

The following theorem is similar to the result proved in [11].

Theorem 2.1 Let X : [ a , b ] I n be ((i)-gH)-differentiable or ((ii)-gH)-differentiable on [ a , b ] , and assume that the derivative D gH X is integrable over [ a , b ] . We have
  1. (a)

    if X be ((i)-gH)-differentiable on [ a , b ] , then a b D gH X ( t ) d t = X ( b ) X ( a ) ;

     
  2. (b)

    if X be ((ii)-gH)-differentiable on [ a , b ] , then a b D gH X ( t ) d t = ( 1 ) ( X ( a ) X ( b ) ) .

     

3 Box differential equations

In the sequel, we study the existence and uniqueness theorems of solutions for two general forms of box integral equations by the method of upper and lower solutions. We use these results in order to investigate the existence results of solutions for the initial value problem of box differential equations.

We consider two forms of the following box integral equations:
X ( t ) = X 0 + 0 t F ( s , X ( s ) ) d s , t [ 0 , T ]
(3.1)
and
Y ( t ) = Y 0 ( 1 ) 0 t F ( s , Y ( s ) ) d s , t [ 0 , T ] ,
(3.2)

where F C ( [ 0 , T ] × I n , I n ) and the integral of F is integral from Definition 2.3.

The solutions of equations (3.1) and (3.2) have no crisp elements and different geometrical properties.

Remark 3.1 If X : [ 0 , T ] I n is a solution to (3.1), then the function t diam ( X ( t ) ) is nondecreasing, where diam ( Z ) denotes the diameter of the box Z.

Remark 3.2 If Y : [ 0 , T ] I n is a solution to (3.2), then the function t diam ( Y ( t ) ) is nonincreasing.

Definition 3.1 Let X U , X L , Y U , Y L C ( [ 0 , T ] , I n ) , and F ( t , X U ( t ) ) , F ( t , X L ( t ) ) , F ( t , Y U ( t ) ) , F ( t , Y L ( t ) ) are integrable on [ 0 , T ] , we say that
  1. (i)
    X U , X L are upper and lower solutions for (3.1), respectively, if
    X U ( t ) X 0 + 0 t F ( s , X U ( s ) ) d s , t [ 0 , T ]
     
and
X L ( t ) X 0 + 0 t F ( s , X L ( s ) ) d s , t [ 0 , T ] ;
  1. (ii)
    Y U , Y L are upper and lower solutions for (3.2), respectively, if
    Y U ( t ) Y 0 ( 1 ) 0 t F ( s , Y U ( s ) ) d s , t [ 0 , T ]
     
and
Y L ( t ) Y 0 ( 1 ) 0 t F ( s , Y L ( s ) ) d s , t [ 0 , T ] ,

provided the involved Hukuhara differences are well defined.

Definition 3.2 Let X L , X U be lower and upper solutions for the box integral equations (3.1), [ X L , X U ] = { X C ( [ a , b ] , I n ) : X L X X U } . We say that X [ X L , X U ] is a solution for equation (3.1), if X satisfies equation (3.1). Moreover, the solution X max [ X L , X U ] is a maximal solution of equation (3.1), if
X max ( t ) X ( t ) , t [ 0 , T ]

for any solution X [ X L , X U ] . We define a minimal solution X min [ X L , X U ] as a function satisfying the reverse inequalities.

Definition 3.3 Let Y L , Y U be lower and upper solutions for the set integral equations (3.2), [ Y L , Y U ] = { Y C ( [ a , b ] , I n ) : Y L Y Y U } . We say that Y [ Y L , Y U ] is a solution for equation (3.2), if Y satisfies equation (3.2). Moreover, the solution Y max [ Y L , Y U ] is a maximal solution of equation (3.2), if
Y max ( t ) Y ( t ) , t [ 0 , T ]

for any solution Y [ Y L , Y U ] . We define a minimal solution Y min [ Y L , Y U ] as a function satisfying the reverse inequalities.

Theorem 3.1 Assume that
  1. (i)

    X L , X U C ( [ 0 , T ] , I n ) are coupled upper and lower solutions of the box integral equations (3.1) such that X L X U , t [ 0 , T ] ;

     
  2. (ii)

    F C ( [ 0 , T ] × I n , I n ) , F ( t , X ) is nondecreasing in X [ X L , X U ] for all t [ 0 , T ] .

     

Then there exist maximal and minimal solutions X max , X min [ X L , X U ] for equation (3.1).

Proof Let us construct two sequences by
V n + 1 ( t ) = X 0 + 0 t F ( s , V n ( s ) ) d s , V 0 = X L , t [ 0 , T ]
(3.3)
and
W n + 1 ( t ) = X 0 + 0 t F ( s , W n ( s ) ) d s , W 0 = X U , t [ 0 , T ] .
(3.4)
We claim that V n and W n are well defined, and
X L ( t ) = V 0 ( t ) V 1 ( t ) V n ( t ) W n ( t ) W 1 ( t ) W 0 ( t ) = X U ( t ) , t [ 0 , T ] .
(3.5)
Indeed, from equation (3.3) we get for n = 0
V 1 ( t ) = X 0 + 0 t F ( s , V 0 ( s ) ) d s .
According to the integrability of F, V 1 is well defined. Since V 0 = X L , by Definition 3.1, we get
V 0 ( t ) V 1 ( t ) , t [ 0 , T ] .

Moreover, X L ( t ) X U ( t ) , F ( t , X ) is nondecreasing in X, we get V 1 ( t ) W 0 ( t ) .

As a result, we obtain
V 0 ( t ) V 1 ( t ) W 0 ( t ) , t [ 0 , T ] .
We assume inductively
V n 1 ( t ) V n ( t ) W 0 ( t ) , t [ 0 , T ] ,
(3.6)
and V k are well defined for k n . From equation (3.3), we find
V n + 1 ( t ) = X 0 + 0 t F ( s , V n ( s ) ) d s
and
V n ( t ) = X 0 + 0 t F ( s , V n 1 ( s ) ) d s .
Employing the nondecreasing property of function F, along with the relation in equation (3.6), we get
F ( t , X L ) F ( t , V n ) F ( t , X U ) .
By Lemma 2.1, V n + 1 is well defined and we get
V n ( t ) V n + 1 ( t ) W 0 ( t ) , t [ 0 , T ] .
Similarly, we can prove that V 0 W n + 1 W n ( t ) W 0 and W k are well defined for k = 1 , 2 ,  . Next, we prove V n W n , n N . Indeed, V 0 = X L X U = W 0 comes from the assumption. Now, we suppose inductively
V n ( t ) W n ( t ) , t [ 0 , T ] .
(3.7)
By equations (3.3), (3.4), and applying the fact that F is nondecreasing, equation (3.7), we deduce that
V n + 1 ( t ) W n + 1 ( t ) , t [ 0 , T ] .
Since the sequence of functions V n ( t ) is monotone nondecreasing and bounded from above, and the sequence of functions W n ( t ) is monotone nonincreasing and bounded from below, the pointwise limits exist, and these limits are denoted by X min and X max such that they satisfy
lim n V n ( t ) = X min ( t ) , lim n W n ( t ) = X max ( t ) , t [ 0 , T ] .
Next, taking the limits as n in equations (3.3), (3.4), using continuity and monotone nondecreasing of F, we infer that
X min ( t ) = X 0 + 0 t F ( s , X min ( s ) ) d s , t [ 0 , T ]
and
X max ( t ) = X 0 + 0 t F ( s , X max ( s ) ) d s , t [ 0 , T ] .
Moreover, by equation (3.5), we get
V 0 X min X max W 0 , t [ 0 , T ] .
(3.8)
Now, we claim that X min , X max are minimal and maximal solutions of equation (3.1), that is, if X ( t ) is any solution of equation (3.1) such that
V 0 X ( t ) W 0 , t [ 0 , T ] ,
then
V 0 X min X ( t ) X max W 0 , t [ 0 , T ] .
(3.9)
Suppose that for some n,
V n X ( t ) W n , t [ 0 , T ] .
By using the monotone nondecreasing property of F and Lemma 2.1, we get
V n + 1 ( t ) = X 0 + 0 t F ( s , V n ( s ) ) d s X 0 + 0 t F ( s , X ( t ) ( s ) ) d s = X ( t ) , t [ 0 , T ] .

Similarly W n + 1 X ( t ) , t [ 0 , T ] . Hence, by induction, equation (3.8) is true for all n N . Now, taking the limit as n , we get equation (3.9). The proof is complete. □

Corollary 3.1 If, in addition to the assumptions of Theorem  3.1, F satisfies, whenever Y Z ; Y , Z I n ,
F ( t , Y ) + L Z F ( t , Z ) + L Y , L > 0 ,
(3.10)

then X min = X = X max is the unique solution of equation (3.1).

Proof We have X min = i = 1 n [ X ̲ i , min , X ¯ i , min ] , X max = i = 1 n [ X ̲ i , max , X ¯ i , max ] .

Since X min X max , by Definition 2.3, we get X max = X min + R , where R = i = 1 n [ R ̲ i , R ¯ i ] ; R ̲ i , R ¯ i 0 , for i = 1 , , n . By assumption (3.10), we have
i = 1 n [ X ̲ i , min ( t ) , X ¯ i , min ( t ) ] + i = 1 n [ R ̲ i ( t ) , R ¯ i ( t ) ] = i = 1 n [ X ̲ i , max ( t ) , X ¯ i , max ( t ) ] = i = 1 n [ X ̲ i 0 , X ¯ i 0 ] + i = 1 n [ 0 t F ̲ i ( s , X i , max ( s ) ) d s , 0 t F ¯ i ( s , X i , max ( s ) ) d s ] i = 1 n [ X ̲ i 0 , X ¯ i 0 ] + i = 1 n [ 0 t F ̲ i ( s , X i , min ( s ) ) d s , 0 t F ¯ i ( s , X i , min ( s ) ) d s ] + L i = 1 n [ 0 t R ̲ i ( s ) d s , 0 t R ¯ i ( s ) d s ] = i = 1 n [ X ̲ i , min , X ¯ i , min ] + L i = 1 n [ 0 t R ̲ i ( s ) d s , 0 t R ¯ i ( s ) d s ] ,
and hence
R ̲ i ( t ) L t 0 t R ̲ i ( s ) d s , R ¯ i ( t ) L t 0 t R ¯ i ( s ) d s , i = 1 , , n .

The Gronwall inequality implies that R ̲ i ( t ) 0 , R ¯ i ( t ) 0 and as a result, R ̲ i ( t ) = 0 , R ¯ i ( t ) = 0 for i = 1 , , n . Therefore, X min = X = X max is the unique solution. □

Theorem 3.2 Assume that
  1. (i)

    Y U , Y L C ( [ 0 , T ] , I n ) are coupled upper and lower solutions of the box integral equations (3.2) such that Y L Y U , t [ 0 , T ] ;

     
  2. (ii)

    F C ( [ 0 , T ] × I n , I n ) , F ( t , Y ) is nondecreasing in Y [ Y L , Y U ] for all t [ 0 , T ] ;

     
  3. (iii)
    the sequences
    V 0 = Y L , V n + 1 ( t ) = X 0 ( 1 ) 0 t F ( s , V n ( s ) ) d s , W 0 = Y U , W n + 1 ( t ) = X 0 ( 1 ) 0 t F ( s , W n ( s ) ) d s
     

for all t [ 0 , T ] are well defined.

Then there exist maximal and minimal solutions Y max , Y min [ Y L , Y U ] for equation (3.2).

Corollary 3.2 If, in addition to the assumptions of Theorem  3.2, F satisfies, whenever Y Z , Y , Z I n ,
F ( t , Y ) F ( t , Z ) + L ( Y Z ) , L > 0 ,

then Y min = Y = Y max is the unique solution of equation (3.2).

Proof The proof is similar Theorem 3.1 and Corollary 3.1 by employing Lemma 2.1. □

In the sequel, we study the box-valued differential equations using the concept of generalized Hukuhara differentiability. In this setting, we prove the existence of two solutions, each one corresponding to a different type of differentiability.

We consider the following box-valued differential equation (BDE) with the initial condition:
D gH X ( t ) = F ( t , X ( t ) ) , X ( 0 ) = X 0 I n , t [ 0 , T ] ,
(3.11)

where F : [ 0 , T ] × I n I n is continuous box-valued function and X 0 I n is a nontrivial box. In this paper, we consider only ((i)-gH)-differentiable type and ((ii)-gH)-differentiable type solutions, i.e. such that there are no switching points in [ 0 , T ] . Let us remark here that the equation D gH X ( t ) = F ( t , X ( t ) ) is equivalent to D gH X ( t ) gH F ( t , X ( t ) ) = { 0 } and also equivalent to F ( t , X ( t ) ) gH D gH X ( t ) = { 0 } , but it is not equivalent to D gH X ( t ) F ( t , X ( t ) ) = { 0 } (here the ‘−’ is in the usual interval arithmetic sense).

The following lemma is similar to the result proved in [11].

Lemma 3.1 The box-valued differential equation (3.11) is equivalent to the following integral equation:
X ( t ) gH X ( 0 ) = 0 t F ( s , X ( s ) ) d s , t [ 0 , T ] .
(3.12)
Two cases of existence of the gH-difference imply that the integral equation in Lemma 3.1 is actually a unified formulation for one the integral equations
X ( t ) X ( 0 ) = 0 t F ( s , X ( s ) ) d s and X ( 0 ) X ( t ) = ( 1 ) 0 t F ( s , X ( s ) ) d s ,
with being the classical Hukuhara difference. Now, let X and Y be solutions of equation (3.11) in ((i)-gH)-differentiable type and ((ii)-gH)-differentiable type, respectively, then by using Lemma 3.1 and Theorem 2.1, we have
X ( t ) = X 0 + 0 t F ( s , X ( s ) ) d s ,
(3.13)
Y ( t ) = X 0 ( 1 ) 0 t F ( s , Y ( s ) ) d s .
(3.14)

Definition 3.4 Let X : I I n be a box-valued function which is ((i)-gH)-differentiable. If X and its derivative satisfy problem (3.11), we say that X is a (i)-solution of problem (3.11).

Definition 3.5 Let Y : I I n be a box-valued function which is ((ii)-gH)-differentiable. If Y and its derivative satisfy problem (3.11), we say that Y is a (ii)-solution of problem (3.11).

In [14] Malinowski proved the existence and uniqueness of solutions to interval-valued differential equations by using generalized Lipschitz conditions. In [11] authors proved the existence and uniqueness of solutions to interval-valued differential equations by using the Banach fixed point theorem. In the sequel, we study the existence and uniqueness results for box integral and differential equations employing the method of upper and lower solutions.

Theorem 3.3 Assume that
  1. (i)

    X U , X L C ( [ 0 , T ] , I n ) are coupled upper and lower solutions of the box integral equations (3.13) such that X L ( t ) X U ( t ) , t [ 0 , T ] ;

     
  2. (ii)

    F C ( [ 0 , T ] × I n , I n ) , F ( t , X ) is nondecreasing in X [ X L , X U ] for all t [ 0 , T ] .

     

Then there exists at least one solution X [ X L , X U ] for equation (3.11), which is ((i)-gH)-differentiable.

Theorem 3.4 Assume that
  1. (i)

    Y U , Y L C ( [ 0 , T ] , I n ) are coupled upper and lower solutions of the box integral equations (3.14) such that Y L ( t ) Y U ( t ) , t [ 0 , T ] ;

     
  2. (ii)

    F C ( [ 0 , T ] × I n , I n ) , F ( t , Y ) is nondecreasing in Y [ Y L , Y U ] for all t [ 0 , T ] ;

     
  3. (iii)
    the sequences
    V 0 = Y L , V n + 1 ( t ) = Y 0 ( 1 ) t 0 t F ( s , V n ( s ) ) d s , W 0 = Y U , W n + 1 ( t ) = Y 0 ( 1 ) t 0 t F ( s , W n ( s ) ) d s
     

for all t [ 0 , T ] are well defined.

Then there exists at least one solution Y [ Y L , Y U ] for equation (3.11), which is ((ii)-gH)-differentiable.

Proof Since all the conditions of Theorem 3.2 are fulfilled, there exists at least a solution, say X, for the integral (3.13). We wish to show that X is a solution for equation (3.11).

For small h > 0 , we have
X ( t + h ) + ( 1 ) t t + h F ( s , X ( s ) ) d s = 0 t + h F ( s , X ( s ) ) d s + ( 1 ) t t + h F ( s , X ( s ) ) d s = 0 t F ( s , X ( s ) ) d s + t t + h F ( s , X ( s ) ) d s + ( 1 ) t t + h F ( s , X ( s ) ) d s = 0 t F ( s , X ( s ) ) d s = X ( t ) .
Hence, we obtain
X ( t ) X ( t + h ) = ( 1 ) t t + h F ( s , X ( s ) ) d s .
Moreover, we observe that
H B [ 1 h t t + h F ( s , X ( s ) ) d s , F ( t , X ( t ) ) ] = H B [ 1 h t t + h F ( s , X ( s ) ) d s , 1 h t t + h F ( t , X ( t ) ) ] 1 h t t + h H B [ F ( s , X ( s ) ) , F ( t , X ( t ) ) ] d s sup | s t | h H B [ F ( s , X ( s ) ) , F ( t , X ( t ) ) ]
and since F is continuous, for h 0 the last term 0 which means that
lim h 0 X ( t ) X ( t + h ) h = F ( t , X ( t ) ) .
Similarly,
lim h 0 X ( t h ) X ( t ) h = lim h 0 1 h t h t F ( s , X ( s ) ) d s = F ( t , X ( t ) ) .

It follows that X is ((ii)-gH)-differentiable and is a solution of equation (3.11). □

Example 3.5 Consider the box-valued differential equations with initial value:
D gH X ( t ) = ( 1 + 2 t ) X ( t ) , X ( 0 ) = [ 1 , 1 ] I 1 , t [ 0 , 1 ] .
(3.15)
Case 1: X is ((i)-gH)-differentiable, equation (3.15) is equivalent to
{ X ̲ ( t ) = ( 1 + 2 t ) X ̲ ( t ) , X ¯ ( t ) = ( 1 + 2 t ) X ¯ ( t ) , X ̲ ( 0 ) = 1 , X ¯ ( 0 ) = 1 .
(3.16)
We get the lower solution X L ( t ) = [ e t , e t ] and upper solution X U ( t ) = [ e 3 t , e 3 t ] for the integral equation (3.1) corresponding to problem (3.15), respectively. It is easy to see that all the conditions of Theorem 3.3 are fulfilled and conclusion, there exists a solution for this problem. By solving the above system, we obtain the following exact solution X ( t ) = [ e t ( t + 1 ) , e t ( t + 1 ) ] . This solution is shown in Figure 1.
Figure 1
Figure 1

Exact solution of Example 3.5 , Case 1 ( n = 1 ).

Case 2: X is ((ii)-gH)-differentiable, equation (3.15) is equivalent to
{ X ̲ ( t ) = ( 1 + 2 t ) X ¯ ( t ) , X ¯ ( t ) = ( 1 + 2 t ) X ̲ ( t ) , X ̲ ( 0 ) = 1 , X ¯ ( 0 ) = 1 .
(3.17)
We get the lower solution X L ( t ) = [ cosh ( t ) + sinh ( t ) , cosh ( t ) sinh ( t ) ] and upper solution X U ( t ) = [ cosh ( 3 t ) + sinh ( 3 t ) , cosh ( 3 t ) sinh ( 3 t ) ] for the integral equation (3.2) corresponding to problem (3.15), respectively. It is easy to see that all the conditions of Theorem 3.4 are fulfilled and conclusion, there exists a solution for this problem. By solving the above system, we obtain the following exact solution: X ( t ) = [ cosh ( t 2 + t ) + sinh ( t 2 + t ) , cosh ( t 2 + t ) sinh ( t 2 + t ) ] . This solution is shown in Figure 2.
Figure 2
Figure 2

Exact solution of Example 3.5 , Case 2 ( n = 1 ).

Example 3.6 Consider the box-valued differential equations with initial value:
D gH X ( t ) = ( 1 + sin ( t ) ) X ( t ) , X ( 0 ) = i = 1 2 [ 0 , 1 + 1 i ] I 2 , t [ 0 , π ] .
(3.18)
Case 1: X is ((i)-gH)-differentiable, equation (3.18) is equivalent to
{ X ̲ i ( t ) = ( 1 + sin ( t ) ) X ̲ i ( t ) , i { 1 , 2 } , X ¯ i ( t ) = ( 1 + sin ( t ) ) X ¯ i ( t ) , i { 1 , 2 } , X ̲ i ( 0 ) = 0 , i { 1 , 2 } , X ¯ i ( 0 ) = 1 + 1 i , i { 1 , 2 } .
(3.19)
Similarly as in Example 3.5 we get the lower solution X L ( t ) = i = 1 2 [ 0 , ( 1 + 1 i ) e t ] and upper solution X U ( t ) = i = 1 2 [ 0 , ( 1 + 1 i ) e 2 t ] . Moreover, the conditions of Theorem 3.3 are fulfilled and conclusion, there exists a solution for this problem. By solving the above system, we obtain the following exact solution: X ( t ) = i = 1 2 [ 0 , ( 1 + 1 i ) e t + 1 cos ( t ) ] . This solution is shown in Figures 3 and 4.
Figure 3
Figure 3

Exact solution of Example 3.6 , Case 1 ( n = 2 ) ( i = 1 ).

Figure 4
Figure 4

Exact solution of Example 3.6 , Case 1 ( n = 2 ) ( i = 2 ).

Case 2: X is ((ii)-gH)-differentiable, equation (3.18) is equivalent to
{ X ̲ i ( t ) = ( 1 + sin ( t ) ) X ¯ i ( t ) , i { 1 , 2 } , X ¯ i ( t ) = ( 1 + sin ( t ) ) X ̲ i ( t ) , i { 1 , 2 } , X ̲ i ( 0 ) = 0 , i { 1 , 2 } , X ¯ i ( 0 ) = 1 + 1 i , i { 1 , 2 } .
(3.20)
By solving the above system, we obtain the following exact solution:
X ( t ) = i = 1 2 [ ( 1 + 1 i ) sinh ( t + 1 cos ( t ) ) , ( 1 + 1 i ) cosh ( t + 1 cos ( t ) ) ] .
This solution is shown in Figures 5 and 6.
Figure 5
Figure 5

Exact solution of Example 3.6 , Case 2 ( n = 2 ) ( i = 1 ).

Figure 6
Figure 6

Exact solution of Example 3.6 , Case 2 ( n = 2 ) ( i = 2 ).

4 Conclusion

Using the method of upper and lower solutions, an existence result of solutions for box integral and differential equations is studied. Also, the monotone iterative technique is developed and the existence results for maximal and minimal solutions are obtained.

Declarations

Acknowledgements

The author would like to express gratitude to the anonymous referees for their helpful comments and suggestions, which have greatly improved the paper.

Authors’ Affiliations

(1)
Faculty of Mathematics and Computer Science, University of Science, Hochiminh City, Vietnam

References

  1. De Blasi FS, Iervolino F: Equazioni differenziali con soluzioni a valore compatto convesso. Boll. Unione Mat. Ital. 1969, 4: 491-501.MathSciNetMATHGoogle Scholar
  2. Agarwal RP, O’Regan D: Existence for set differential equations via multivalued operator equations. Differ. Equ. Appl. 2007, 5: 1-5.View ArticleMathSciNetGoogle Scholar
  3. Hoa NV, Phu ND: On maximal and minimal solutions for set-valued differential equations with feedback control. Abstr. Appl. Anal. 2012., 2012: Article ID 816218 10.1155/2012/816218Google Scholar
  4. Quang LT, Phu ND, Hoa NV, Vu H: On the maximal and minimal solutions for set integro-differential equations with feedback control. Nonlinear Stud. 2013, 20: 39-56.MathSciNetMATHGoogle Scholar
  5. Bhaskar TG, Lakshmikantham V: Set differential equations and flow invariance. J. Appl. Anal. 2003, 82: 357-368. 10.1080/0003681031000101529MathSciNetView ArticleMATHGoogle Scholar
  6. De Blasi FS, Lakshmikantham V, Bhaskar TG: An existence theorem for set differential inclusions in a semilinear metric space. Control Cybern. 2007, 36: 571-582.MathSciNetMATHGoogle Scholar
  7. Lakshmikantham V, Bhaskar TG, Devi JV: Theory of Set Differential Equations in Metric Spaces. Cambridge Scientific Publisher, Cambridge; 2006.MATHGoogle Scholar
  8. Malinowski MT: Second type Hukuhara differentiable solutions to the delay set-valued differential equations. Appl. Math. Comput. 2012, 218: 9427-9437. 10.1016/j.amc.2012.03.027MathSciNetView ArticleMATHGoogle Scholar
  9. Malinowski MT: On set differential equations in Banach spaces - a second type Hukuhara differentiability approach. Appl. Math. Comput. 2012, 219(1):289-305. 10.1016/j.amc.2012.06.019MathSciNetView ArticleMATHGoogle Scholar
  10. Phu ND, Hoa NV, Vu H: On comparisons of set solutions for fuzzy control integro-differential systems. J. Adv. Res. Appl. Math. 2012, 4: 84-101. 10.5373/jaram.1081.082011MathSciNetView ArticleGoogle Scholar
  11. Stefanini L, Bede B: Generalized Hukuhara differentiability of interval-valued functions and interval differential equations. Nonlinear Anal. TMA 2009, 71: 1311-1328. 10.1016/j.na.2008.12.005MathSciNetView ArticleMATHGoogle Scholar
  12. Stefanini, L, Bede, B: Some notes on generalized Hukuhara differentiability of interval-valued functions and interval differential equations. Working Paper Series in Economics, Mathematics and Statistics, WP-EMS 2012/8, Univ. Urbino ‘Carlo Bo’Google Scholar
  13. Malinowski MT: Interval Cauchy problem with a second type Hukuhara derivative. Inf. Sci. 2012, 213: 94-105. 10.1016/j.ins.2012.05.022MathSciNetView ArticleMATHGoogle Scholar
  14. Malinowski MT: Interval differential equations with a second type Hukuhara derivative. Appl. Math. Lett. 2011, 24: 2118-2123. 10.1016/j.aml.2011.06.011MathSciNetView ArticleMATHGoogle Scholar
  15. An TV, Hoa NV, Phu ND: Global existence of solutions for interval-valued integro-differential equations under generalized H-differentiability. Adv. Differ. Equ. 2013., 2013: Article ID 217 10.1186/1687-1847-2013-217Google Scholar
  16. An TV, Phu ND, Hoa NV: A note on solutions of interval-valued Volterra integral equations. J. Integral Equ. Appl. 2014, 26: 1-14. 10.1216/JIE-2014-26-1-1MathSciNetView ArticleMATHGoogle Scholar
  17. Hukuhara M: Intégration des applications mesurables dont la valeur est un compact convexe. Funkc. Ekvacioj 1967, 10: 205-229.MathSciNetMATHGoogle Scholar
  18. Moore R, Lodwick W: Interval analysis and fuzzy set theory. Fuzzy Sets Syst. 2003, 135: 5-9. 10.1016/S0165-0114(02)00246-4MathSciNetView ArticleMATHGoogle Scholar
  19. Moore RE Studies in Applied Mathematics. In Methods and Applications of Interval Analysis. SIAM, Philadelphia; 1979.View ArticleGoogle Scholar
  20. Alefeld G, Mayer G: Interval analysis: theory and applications. J. Comput. Appl. Math. 2000, 121: 421-464. 10.1016/S0377-0427(00)00342-3MathSciNetView ArticleMATHGoogle Scholar
  21. Kolev LV: Interval Methods for Circuit Analysis. World Scientific, Singapore; 1993.MATHGoogle Scholar
  22. Lupulescu V: Hukuhara differentiability of interval-valued functions and interval differential equations on time scales. Inf. Sci. 2013, 248: 50-67.MathSciNetView ArticleGoogle Scholar
  23. Agarwal RP, O’Regan D, Lakshmikantham V: Viability theory and fuzzy differential equations. Fuzzy Sets Syst. 2005, 151: 563-580. 10.1016/j.fss.2004.08.008MathSciNetView ArticleMATHGoogle Scholar
  24. Agarwal RP, O’Regan D, Lakshmikantham V: A stacking theorem approach for fuzzy differential equations. Nonlinear Anal. TMA 2003, 55: 299-312. 10.1016/S0362-546X(03)00241-4MathSciNetView ArticleMATHGoogle Scholar
  25. Alikhani R, Bahrami F, Jabbari A: Existence of global solutions to nonlinear fuzzy Volterra integro-differential equations. Nonlinear Anal. TMA 2012, 75: 1810-1821. 10.1016/j.na.2011.09.021MathSciNetView ArticleMATHGoogle Scholar
  26. Alikhani R, Bahrami F: Global solutions for nonlinear fuzzy fractional integral and integrodifferential equations. Commun. Nonlinear Sci. Numer. Simul. 2013, 18: 2007-2017. 10.1016/j.cnsns.2012.12.026MathSciNetView ArticleMATHGoogle Scholar
  27. Allahviranloo T, Khezerloo M, Sedaghatfar O, Salahshour S: Toward the existence and uniqueness of solutions of second-order fuzzy Volterra integro-differential equations with fuzzy kernel. Neural Comput. Appl. 2013, 22: S133-S141.View ArticleGoogle Scholar
  28. Hajighasemi S, Allahviranloo T, Khezerloo M, Khorasany M, Salahshour S: Existence and uniqueness of solutions of fuzzy Volterra integro-differential equations. Communications in Computer and Information Science 81. Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 2010, 491-500.View ArticleGoogle Scholar
  29. Hoa NV, Tri PV, Dao TT: Some global existence results and stability theorem for fuzzy functional differential equations. J. Intell. Fuzzy Syst. 2013. accepted 10.3233/IFS-141315Google Scholar
  30. Hoa NV, Tri PV, Phu ND: Sheaf fuzzy problems for functional differential equations. Adv. Differ. Equ. 2014., 2014: Article ID 156 10.1186/1687-1847-2014-156Google Scholar
  31. Hoa NV, Phu ND: Fuzzy functional integro-differential equations under generalized H-differentiability. J. Intell. Fuzzy Syst. 2014, 26: 2073-2085.MathSciNetMATHGoogle Scholar
  32. Bede B, Gal SG: Generalizations of the differentiability of fuzzy-number-valued functions with applications to fuzzy differential equations. Fuzzy Sets Syst. 2005, 151: 581-599. 10.1016/j.fss.2004.08.001MathSciNetView ArticleMATHGoogle Scholar
  33. Malinowski MT: Random fuzzy differential equations under generalized Lipschitz condition. Nonlinear Anal., Real World Appl. 2012, 13: 860-881. 10.1016/j.nonrwa.2011.08.022MathSciNetView ArticleMATHGoogle Scholar
  34. Malinowski MT: Existence theorems for solutions to random fuzzy differential equations. Nonlinear Anal. TMA 2010, 73: 1515-1532. 10.1016/j.na.2010.04.049MathSciNetView ArticleMATHGoogle Scholar
  35. Malinowski MT: On random fuzzy differential equations. Fuzzy Sets Syst. 2009, 160: 3152-3165. 10.1016/j.fss.2009.02.003MathSciNetView ArticleMATHGoogle Scholar
  36. Vu H, Hoa NV, Phu ND: The local existence of solutions for random fuzzy integro-differential equations under generalized H-differentiability. J. Intell. Fuzzy Syst. 2014, 26: 2701-2717. 10.3233/IFS-130940MathSciNetMATHGoogle Scholar
  37. Vu H, Dong LS, Hoa NV: Random fuzzy functional integro-differential equations under generalized Hukuhara differentiability. J. Intell. Fuzzy Syst. 2013. accepted 10.3233/IFS-131116Google Scholar
  38. Malinowski MT: Strong solutions to stochastic fuzzy differential equations of Itô type. Math. Comput. Model. 2012, 55: 918-928. 10.1016/j.mcm.2011.09.018MathSciNetView ArticleMATHGoogle Scholar
  39. Malinowski MT: Itô type stochastic fuzzy differential equations with delay. Syst. Control Lett. 2012, 61: 692-701. 10.1016/j.sysconle.2012.02.012MathSciNetView ArticleMATHGoogle Scholar
  40. Malinowski MT: Some properties of strong solutions to stochastic fuzzy differential equations. Inf. Sci. 2013, 252: 62-80.MathSciNetView ArticleMATHGoogle Scholar
  41. Malinowski MT: Approximation schemes for fuzzy stochastic integral equations. Appl. Math. Comput. 2013, 219: 11278-11290. 10.1016/j.amc.2013.05.040MathSciNetView ArticleMATHGoogle Scholar
  42. Malinowski MT: On a new set-valued stochastic integral with respect to semimartingales and its applications. J. Math. Anal. Appl. 2013, 408: 669-680. 10.1016/j.jmaa.2013.06.054MathSciNetView ArticleMATHGoogle Scholar
  43. Akin Ö, Khaniyev T, Oruc Ö, Türksen IB: An algorithm for the solution of second order fuzzy initial value problems. Expert Syst. Appl. 2013, 40: 953-957. 10.1016/j.eswa.2012.05.052View ArticleGoogle Scholar
  44. Allahviranloo T, Amirteimoori A, Khezerloo M, Khezerloo S: A new method for solving fuzzy Volterra integro-differential equations. Aust. J. Basic Appl. Sci. 2011, 5: 154-164.MATHGoogle Scholar
  45. Allahviranloo T, Salahshour S, Abbasbandy S: Solving fuzzy fractional differential equations by fuzzy Laplace transforms. Commun. Nonlinear Sci. Numer. Simul. 2012, 17: 1372-1381. 10.1016/j.cnsns.2011.07.005MathSciNetView ArticleMATHGoogle Scholar
  46. Allahviranloo T, Abbasbandy S, Sedaghatfar O, Darabi P: A new method for solving fuzzy integro-differential equation under generalized differentiability. Neural Comput. Appl. 2012, 21: 191-196. 10.1007/s00521-011-0759-3View ArticleGoogle Scholar
  47. Allahviranloo T, Salahshour S: Euler method for solving hybrid fuzzy differential equation. Soft Comput. 2011, 15: 1247-1253. 10.1007/s00500-010-0659-yView ArticleMATHGoogle Scholar
  48. Salahshour S, Allahviranloo T: Applications of fuzzy Laplace transforms. Soft Comput. 2013, 17: 145-158. 10.1007/s00500-012-0907-4View ArticleMATHGoogle Scholar
  49. Salahshour S, Allahviranloo T: Application of fuzzy differential transform method for solving fuzzy Volterra integral equations. Appl. Math. Model. 2013, 37: 1016-1027. 10.1016/j.apm.2012.03.031MathSciNetView ArticleGoogle Scholar
  50. Bede B, Rudas IG, Bencsik AL: First order linear fuzzy differential equations under generalized differentiability. Inf. Sci. 2007, 177: 1648-1662. 10.1016/j.ins.2006.08.021MathSciNetView ArticleMATHGoogle Scholar
  51. Hoa NV, Phu ND: Global existence of solutions for interval-valued second-order differential equations under generalized Hukuhara derivative. Adv. Differ. Equ. 2013., 2013: Article ID 290 10.1186/1687-1847-2013-290Google Scholar
  52. Phu ND, An TV, Hoa NV, Hien TH: Interval-valued functional differential equations under dissipative conditions. Adv. Differ. Equ. 2014., 2014: Article ID 198 10.1186/1687-1847-2014-198Google Scholar
  53. Hoa NV, Phu ND, Tung TT, Quang LT: Interval-valued functional integro-differential equations. Adv. Differ. Equ. 2014., 2014: Article ID 177 10.1186/1687-1847-2014-177Google Scholar

Copyright

© Quang; licensee Springer 2014

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Advertisement