- Research
- Open access
- Published:
Measure differential inclusions - between continuous and discrete
Advances in Difference Equations volume 2014, Article number: 56 (2014)
Abstract
The paper is devoted to the study of the measure-driven differential inclusions , for arbitrary finite Borel measure μ. This type of results allows one to treat in a similar manner differential and difference inclusions, as well as impulsive problems and therefore to study the evolution of hybrid systems with very complex (including Zeno) behavior. Our method is based on viewing the Borel measures as Lebesgue-Stieltjes measures. We thus obtain, under very general assumptions, the existence of regulated or bounded variation solutions of the considered problem and we indicate some advantages of our approach.
MSC:49N25, 34A60, 93C30, 49J53, 37N35, 34A37.
1 Introduction
Let us consider the following problem:
where is a closed convex-valued multifunction and μ is a positive regular Borel measure. This kind of problems covers some well-known cases like usual differential inclusions (when μ is the Lebesgue measure), difference inclusions (for discrete measure μ) and some impulsive multivalued problems (in the case where the measure μ can be decomposed as a sum of the Lebesgue measure and a finite sum of Dirac measures-see [1–3]). There are several approaches for the above problems (direct methods or time scale analysis, for instance) but our method, based on Lebesgue-Stieltjes integration, seems to be the most natural.
This kind of results has a long history and is well motivated. A very interesting and well-illustrated course on hybrid inclusions can be found in [4], for instance. Nevertheless, several different approaches, different solutions and many applications for measure-driven equations or inclusions can also be found in the literature. Let us note the paper by Moreau [5]. It is necessary to mention at least some basic papers by Code and Loewen [6], Goebel and Teel [7], Sesekin and Fetisova [8], Silva and Vinter [9], Aubin [1, 2], Ahmed [10], Pereira, Silva and Oliveira [11, 12] and recently by Goncharova and Staritsyn [13], Filippova [14], Lygeros, Quincampoix and Rzeżuchowski [3] and Leine-van de Wouw [15]. Note that in this theory discontinuous functions are usually considered as solutions, which means that we can expect some paradoxes. In particular, different functions can serve as solutions for the same problem in different meanings (cf. [16]). Thus we stress that a crucial aspect of this theory is to fix the definition for the concept of a solution for (1).
We concentrate on two aspects of mentioned papers: we relax the assumptions on μ and on G by imposing some conditions related to the optimal control theory and we reduce the general problem by working with Lebesgue-Stieltjes integral equations and utilizing their methods and results.
It should be also noted that our results lead in a natural way to some existence theorems for differential and difference inclusions or impulsive problems (for particular measures). Moreover, as claimed in [9], measure-driven differential inclusions provide a convenient framework for formulating optimal control problems for both conventional and impulse controls.
Let us point out that in the context of differential equations this approach has been known for many years. To the best of our knowledge the first equation with a measure as a coefficient was considered by Kronig and Penney in 1931 [17] and as an integral problem by Atkinson [18] in 1964 - in the context of the Riemann-Stieltjes integral. The systematic study for measure-perturbed problems started in the 1970s. It is necessary to mention some basic papers by Sharma [19], Shendge and Joshi [20] or Dhage and Bellale [21]. The method via integral equations for some differential equations (with the Perron-Stieltjes integral) were continued in a systematic way by Schwabik, Tvrdý and Vejvoda [22] in 1979; then some cases have been studied by Wyderka [23, 24], see also [25]. There is still a growing number of papers dealing with measure differential equations ([26] or [27], for instance).
To end the introductory section, we remark that in the considered case there are some difficulties. One of these lies in the lack of natural assumptions implying the existence of suitable integrals (namely, for discontinuous functions the Riemann-Stieltjes integral with respect to bounded variation functions might not be well-defined) and then the question of the chosen definition of the concept of solution. Another problem is how to find (or at least approximate) this solution. For measure-driven differential equations there are some satisfactory answers (cf. [8, 27] or [28, 29] for hybrid systems, for instance). For differential inclusions the situation is more complicated, as will be clarified in what follows. We will also focus on some aspects of this theory, which are related to unification of many multivalued problems (including continuous, discrete, and impulsive systems).
2 Miscellaneous results from measure theory
Unlike in the case of usual differential inclusions, the measure theory and the theory of Lebesgue-Stieltjes integrals form the basic tools of our paper. In order to make the paper self-contained we recall all necessary results from these theories.
Let μ and ν be two positive (countably additive) measures on an arbitrary σ-algebra of a space T. Recall that:
-
(i)
ν is said to be absolutely continuous with respect to μ if whenever .
-
(ii)
ν and μ are said to be mutually singular if there exists a measurable set A with .
Recall also of the following notions:
-
(iii)
A set is an atom of the measure μ if and each measurable subset F of E has either or .
-
(iv)
A measure is called nonatomic (or diffuse, in probability theory) if it has no atoms.
-
(v)
We shall say that a measure is purely atomic if every measurable set of positive measure contains an atom.
Two atoms and are said to be non-equivalent if . In this case . Any σ-finite measure has at most a countable number of pairwise non-equivalent atoms (e.g. [[30], p.55]).
It is well known (the Lebesgue decomposition theorem) that if the measures μ and ν are σ-finite, then ν can be written, in a unique way, as a sum of a measure which is absolutely continuous with respect to μ and a measure singular with respect to μ:
In particular, if ν is nonatomic (as is the case of the Lebesgue measure) then is also nonatomic. Moreover, the singular part can be (uniquely again) decomposed in a sum of a purely atomic and a nonatomic measure (the Cantor part) (see [31], for instance):
Thus the measure ν can be decomposed as a sum of three mutually singular measures: the Lebesgue part, the Cantor part and the singular (or jump) part, cf. [16, 32]
We are interested in using Borel measures to solve the problem announced in the Introduction. The classical Riesz Representation Theorem characterizes the finite regular Borel measures on a compact metrizable space as linear continuous functionals on the space of real continuous functions. This characterization is used by most of the authors studying measure-driven equations, e.g. [9, 23].
We prefer here another approach, based on Lebesgue-Stieltjes integration. First of all, recall ([[33], p.438] or [[34], p.126]) that any finite Borel measure on a Polish space (in particular on the unit interval of the real line) is regular. It was shown that every finite Borel measure on the real line agrees with some Lebesgue-Stieltjes measure restricted to the class of Borel sets. More precisely we have:
Theorem 1 [[34], Theorem 3.21]
Let μ be a Borel measure on ℝ with for every bounded Borel set B. Then there exists a nondecreasing, right-continuous function such that for any Borel set B.
Here denotes the Lebesgue-Stieltjes measure with distribution function F. Moreover, it was shown (see [[35], pp.236-238]) that:
-
The measure is nonatomic if and only if F is continuous.
-
The measure is absolutely continuous with respect to the Lebesgue measure if and only if F is absolutely continuous.
-
The measure is nonatomic and singular with respect to the Lebesgue measure if and only if F is a singular function.
Recall that a singular function is a function which is continuous and nondecreasing on a real interval and has the derivative 0 except for a set of zero Lebesgue measure. There exist non-constant singular functions on the unit interval (e.g. [[34], p.282]), examples of such functions being in general constructed using the Cantor set.
Concerning the atoms of Lebesgue-Stieltjes measures, it can be seen in [[34], p.132] or [[36], 211X] that each atom E contains a singleton for which . Comparing to definition (v) above, this explains why in some references (such as [33]) a measure μ is called purely atomic if there exists a countable set A such that the outer measure of each singleton , is strictly positive and the outer measure of the complementary of A is 0. Obviously, if each singleton is measurable, then the measure takes the place of the outer measure in the previous sentence.
Then any Lebesgue-Stieltjes measure (associated with F) may be split into a sum of three measures: discrete, absolutely continuous and singular ones.
As we will prove our results via Lebesgue-Stieltjes measures, it is worthwhile to recall some basic properties of Lebesgue-Stieltjes integrals; they are consequences of Proposition 2.3.16 in [27], where the functions are real-valued and the integral under consideration is the Perron-Stieltjes one (which is even more general than the Lebesgue-Stieltjes integral). For generalized integral equations, investigated also independently of our motivations, the class of regulated functions plays a major role. Solutions for integral problems involving Lebesgue-Stieltjes or Perron-Stieltjes integrals should be investigated outside the space of continuous functions or the spaces of functions with bounded variation. It was clarified in [27] that the space of regulated functions is the best choice for the space of solutions.
Since the notion of regulated functions has sometimes different meanings, we need to describe this class of functions.
Definition 2 A function is said to be regulated if there exist the limits and for all points and .
It is well known that the set of discontinuities for a regulated function is at most countable, but such a function need not be of bounded variation. Moreover, a function is regulated if and only if it is a uniform limit of a sequence of finite step functions. The following property of the indefinite Kurzweil-Stieltjes integral implies that solutions of measure differential equations are regulated functions. This can explain when our solutions are either of bounded variation or regulated.
Proposition 3 [[27], Proposition 2.3.16]
Let and be such that the Lebesgue-Stieltjes exists. Then:
-
(i)
If F is regulated, then so is the primitive , and for every ,
-
(ii)
If F is of bounded variation and g is bounded, then h is also of bounded variation.
By we will denote the characteristic function of the set . We also need some preliminary facts from set-valued analysis.
The family of all nonempty closed (respectively, nonempty closed convex) subsets of will be denoted by (respectively, ). By the distance between a point and a set we mean
Let us recall that a multifunction is said to be (Hausdorff-) upper semicontinuous, shortly usc, at a point if for every there exists such that the excess of over (in the sense of Hausdorff) is less than ε whenever . Otherwise stated,
where B is the unit ball of . In the obvious way we call a multifunction usc when it is usc at each point .
3 Main results
The solutions of usual differential problems are at least continuous, but if we look at, for example, a big part of the class of hybrid systems, this is not available. In our problems, by considering inclusions driven by general Borel measures, it cannot be expected to obtain continuous solutions. This is the reason for which in the following definition the using of the left limit:
is crucial. Indeed, as pointed out in an example in [37], taking the integral on a closed, resp. open interval (which is equivalent to integrating on a closed interval the left limit of the function) leads to completely different solutions.
Definition 4 A solution of the problem (1) is a function for which there exists a μ-integrable function such that
and
Let us note that for discontinuous solutions there is always a problem how to define a solution in the points of discontinuity. A very interesting survey on the topic can be found in [16]. We need to remark that distinct definitions of solutions can lead to distinct solutions [38]! The existence and uniqueness of solutions of considered problems depend on the conditions for μ and g. Due to the existence of atoms for the measure μ there is a question about the uniqueness of solutions for a (possibly) discontinuous function g. The explicit scheme is a natural choice for physical systems and we will follow this idea. This allows us to fill the gap in this theory. If we compare our result with some earlier ones we need to recall that for purely atomic measure μ the above condition of integrability means that the series is finite (where is a set of atoms for μ) - cf. [8, 16], for instance.
Let us present some auxiliary result:
Lemma 5 Let be an usc multifunction and be a sequence that converges to . Suppose that there exists a constant such that for every . Then
Proof By the upper semicontinuity of Γ it follows that is lower semicontinuous (see [[39], Lemma 9.3.1]). Therefore
□
We are ready to present our first result for measure-driven differential inclusions (1) for a general class of finite Borel measures. Let us note that the presented theorem is intended to unify and to extend the earlier ones. We not only formulate an existence result, but we also include a method how to find this solution as a limit of some approximations. We refer the reader to [16] for the discussion, some motivations and examples for measure-driven problems.
Theorem 6 Let μ be a finite Borel measure on and let satisfy the following hypotheses:
-
(1)
is product Borel measurable,
-
(2)
is usc for every ,
-
(3)
there exists a μ-integrable function such that
Then there exists at least one solution for the measure-driven differential problem (1).
Proof Our proof is based on an iteration procedure. More precisely, we construct a sequence of approximate solutions (being regulated functions) which is shown to have a convergent subsequence due to some compactness properties.
So, let for . Suppose then that we have already constructed a regulated (bounded variation (BV)) function on and choose by following a scheme that is described in the sequel.
By our hypotheses on G we ensure that the function G is superpositionally Borel measurable [40]. Since is regulated (BV), there exists at every point t. It can be obtained as , where is a sequence of positive numbers converging to 0 (such that ). Therefore the function is measurable as a pointwise limit of a sequence of measurable functions and then the multifunction is Borel measurable too.
By Theorem 12.1 in [41] (cf. also Chapter III in [42]) it follows that is Borel measurable. Moreover, by hypothesis (3) and Lemma 5, it is bounded by . Since the values of G are closed and convex we are able to find a Borel measurable selection of such that
(in our finite-dimensional case, it is unique). Define now
As it was presented in the preliminary part of the paper (Theorem 1), the measure μ is, in fact, a Lebesgue-Stieltjes measure with respect to a BV, right-continuous function F. Thus the previous integral should be understood in the sense of i.e. as a Lebesgue-Stieltjes integral. This integral is well defined since the selection is Borel measurable, F is of bounded variation and, as said before, bounded by . Moreover, by Proposition 3, is a regulated function.
The function F is of bounded variation and right-continuous, therefore it has at most countable points of left discontinuity. Let be the set of its discontinuity points.
As the sequence is pointwise bounded, we can extract, by a diagonal procedure, a subsequence (not re-labeled) for which
As a pointwise limit of measurable functions is measurable on A. By (3), using the Lebesgue dominated convergence result Theorem 5.3.3 in [43], we obtain for every
At the same time, the sequence is uniformly integrable in and bounded. Whence it is relatively weakly compact in the space (cf. [44]). It follows that we can extract a subsequence (denoted in the same way, for the sake of convenience) which converges in the weak topology of to some function . In particular,
Denoting now by
we get
Then the function defined by
has the property that the subsequence of is pointwise convergent to x.
We assert that the function x obtained by this procedure is a solution to our problem. For this purpose, it suffices to prove that
The first step in this direction is to show that
For any , by Proposition 3,
and
therefore
Let now t be an element of A. In this case,
and
whence
and it can be seen that it tends to 0 since , and .
At the next step, by the upper semicontinuity assumption on , it follows that for every and there exists such that
Finally, since is weakly convergent in , following Theorem 2.1 in [44], there exists a sequence of convex combinations of which is pointwise -a.e. convergent on . By a classical method (using the Lebesgue dominated convergence theorem) it can be shown that this limit is equal -a.e. to h. As for all , by passing to the limit, we get , -a.e. on . From this relation and taking into account (3) we obtain
and so, x is a solution. □
Remark 7 The solutions are, following Proposition 3, regulated. In the particular case where M is bounded, all approximate solutions and our solution too are, in fact, of bounded variation.
Moreover, when μ is absolutely continuous with respect to the Lebesgue measure we obtain a result related to that in [[45], Theorem 4, p.101]. Our theorem provides the existence of slow solutions for the considered problem in the sense of [[45], Definition 1, p.97].
Under a different boundedness assumption, very natural and well known in Lebesgue integration, we get another existence result.
Theorem 8 Let the finite Borel measure μ on and satisfy hypotheses (1), (2) in Theorem 6 and
(3′) there exist a positive function and a constant such that for all and .
Then there exists at least one solution for the measure-driven differential problem (1) on some interval .
Proof First, as the map is regulated, it is bounded on by some . Also, denoting by , we get a nondecreasing function. Since 0 is not a point of discontinuity, one can choose such that .
In the sequel, following the same iterative method as in the proof of Theorem 6, we choose for and then we pick as follows. The function G is superpositionally Borel measurable, thus we are able to choose a Borel measurable selection of (see [[42], p.59]). Define
By hypotheses,
and so for all ,
Similarly, because K is nondecreasing, one can estimate
We are able to prove by the method of mathematical induction that for all
For it is already verified. Now, constructed , we proceed as before and choose a μ-integrable selection of . Define
So,
The rest of the proof goes as before, and thus the existence of solutions in the considered sense is achieved. □
By applying an appropriate version of Gronwall’s lemma we will be able to prove that, in fact, under the assumptions of the previous theorem, one can find global solutions.
Let us recall the following Gronwall-type result (where denotes the set of all atoms of μ):
Lemma 9 [[46], Lemma 8.5]
Let be a finite Borel measure on with , be regulated and μ-integrable, and be nondecreasing and μ-integrable. Suppose that
Then
where
Remark 10 As M is a μ-integrable function and is measurable and bounded, their product is μ-integrable on . Denote by
Then under the conditions of the above lemma (cf. [[47], Lemma 2.1]):
Recall that and the latest is increasing and of bounded variation.
Theorem 11 Let the finite Borel measure μ on and satisfy hypotheses in Theorem 8. Then there exists at least one global solution for the measure-driven differential problem (1).
Proof Step I. We firstly prove that we have an a priori estimation for all solutions. Indeed, if x would be an arbitrary solution, then
whence, by Lemma 9,
for every .
Denoting
we obtain a regulated, therefore bounded function so that all solutions x satisfy
Step II. At this step, by a truncation procedure (as was done in the classical continuous case in [[48], Theorem 5.2]), define
The obtained multifunction satisfies the following conditions:
-
(1)
is product Borel measurable,
-
(2)
is usc for every ,
-
(3)
there exists a μ-integrable function such that
Then, by Theorem 6, there exists at least one solution for the measure-driven differential problem
Step III. Since on both branches for all and we can show, by using Gronwall’s Lemma like at Step I, that any solution obtained at Step II satisfies the inequality and so, it is a solution of the initial value problem (1). □
Remark 12 (i) As it can be seen in our results, the usual assumptions in set-valued analysis are used in a natural way and conduct to existence results for a finite Borel measure-driven differential inclusion. Of course, in the proof, the measure-theory results available for complete measures, such as equivalent definitions of measurability of multifunctions (cf. [[42], Chapter III] or [41]), must be avoided.
(ii) Let us now notice that in the main theorems we replaced the condition that G is (locally) Lipschitz (which was used in most of the previously obtained existence results for measure-driven inclusions) by its upper semicontinuity. Moreover, comparing to [9] (which also considers upper semicontinuous multifunctions), we imposed only the upper semicontinuity with respect to the second argument, along with a jointly measurability condition. Since such a kind of results has many applications in the control theory, it seems to be an important improvement. It is very natural to require this kind of assumptions instead of stronger ones. For differential inclusions this is sufficient for proving upper semicontinuity of the solution mapping and then to find an optimal control (cf. [49] or [[16], Chapter 6], for instance).
Example 13 The bouncing ball system models an elastic ball bouncing on a (not-necessarily flat) surface. A set-valued bouncing ball i.e. when time dynamics can be set-valued are typically used for deriving bounds on the solution of nonlinear single-valued hybrid systems in a small neighborhood of a Zeno equilibrium point (that is, a point towards which the infinite number of discrete transitions occurring in finite time accumulates, cf. [50]). The vertical motion of the ball can be captured by an impulse differential inclusion. This system is described by a measure-driven inclusion (which is a reformulated problem from [50])
The considered in this model dynamical system is a sum of a slow-time velocity belonging to a set and a fast-time contribution coming from another set , where is a vector-valued discrete measure.
In a classical set-valued bouncing ball case we have Lipschitz assumptions on the right-hand side - cf. [50] or [3]. Namely, we have (cf. [50]) , (with ). The measure is defined by its distribution
Our existence results allow to assert that the problem possess solutions in the more general case where both multifunctions can be time-dependent and only upper semicontinuous.
In a series of papers of Silva and his collaborators (e.g. [9]) another definition for the solution was considered (going back to [51]). The main idea is to use a reparametrization method for μ and in this way to transform the measure-driven differential inclusions into usual differential inclusions.
In earlier works a kind of limit solutions x was considered (i.e. x is a limit of approximated solutions for problems driven by measures tending, in some sense, to μ - cf. [52]). More precisely, the measure μ was approximated by measures which are absolutely continuous with respect to the Lebesgue measure and the limit was shown to be independent on the choice of this sequence , see [46]. A similar concept (approximable solutions) for particular measures can be found in [8, 16].
It is interesting that these two definitions are equivalent and can be described as follows.
Definition 14 A function is called a (robust) solution for the problem (1) if
for some μ-integrable function g such that
where the multifunction is defined on as follows: if , then
and if , then
In some particular cases (as, for example, the problem studied in [3]) our Definition 4 of a solution is equivalent to that of a robust solution. Obviously, for a general Borel measure μ the two concepts are distinct.
Remark 15 Under the assumptions that has closed graph and the values of G are contained in some ball, Theorem 5.1 in [9] states that the problem (1) has robust solutions. Besides, the solution set is continuous with respect to the data, in the sense that when a sequence of measures tends to μ in the weak∗ topology (cf. [10]), for any sequence of robust solutions corresponding to there exists a robust solution x corresponding to μ with the property that on a subsequence
Our concept of solution does not offer this closure property (as stated in [[9], p.731]), which is essential in some cases (see [51] or [9]), but we consider more general problems and in many situations, for non-robust systems (see [16, 46, 53]) solutions as in our Definition 4 are also good enough.
However, a closure property is available: Theorem 6.3 in [25] shows that if w.r.t. the Alexiewicz norm (i.e. the supremum norm of the primitive) for each x and satisfy a Lipschitz condition, then the solutions of the problems
pointwise converge to a solution of the problem
Recall that when considering discontinuous solutions, a fixed measure-driven problem can have solution in one sense and not to have solutions in another sense. Furthemore, different functions can be simultaneously solutions for the same problem-considered in different senses. So, obviously, separate solutions require separate existence theorems.
Until now, we described the problem with an arbitrary Borel measure. One of the possible extensions is to consider for each of the three measures in which our measure can be decomposed (see Section 2) a different set of assumptions. In our main theorem we impose with , i.e. the assumptions on () should be the same. Almost all papers dealing with measure-perturbed multivalued problems are devoted to the study of only some particular cases of our problem. This is motivated by direct applications of obtained results or there are some problems in the proposed proofs. Moreover, different kind of solutions are considered (mainly due to different applications or proofs). In our opinion, the general case seems to be interesting, because this allows one to indicate some possible extensions in earlier papers.
As can be seen in the next result, by considering similar assumptions as in our existence Theorems 6 or 8, only for the ‘worst’ part , the remaining assumptions can be relaxed. In order to do this, we need to recall the definition of a solution for this particular case (cf. [54] or [55]). Let us consider the following problem:
Definition 16 A solution of the problem (8) is a function such that , where
-
1.
for and for some -integrable function and -a.e.,
-
2.
for some -integrable function and -a.e.,
-
3.
for some -integrable function and -a.e.
Note that in earlier papers some of the above ‘parts’ of the solutions are not existing and then Definition 4 is treated as a considered solution (see the corollaries below). In general: the convergence of an integral is expected instead of the approximation property by a sequence of appropriate measures (cf. Definition 14). As claimed in [16] for single-valued problems (selections) we have
where A denote a set of atoms for μ and all the above integrals should be finite (convergent).
The theorem given below allows us to distinguish between different assumptions on every part of the measure μ.
Theorem 17 Assume that:
-
1.
is such that is product Borel measurable, is usc for every , there exist a positive function and a constant such that for all and ,
-
2.
is such that is product Borel measurable, is usc for every , there exists a positive function such that for all and ,
-
3.
is such that has compact values and is bounded by . Moreover the set-valued map is usc, uniformly in .
Then there exists at least one solution for the measure-driven differential problem (8).
The proof of the above theorem runs like the proof of our main theorem with an appropriate change of the definition of a sequence , so we leave a detailed proof to the reader.
The proposed approach via measure-driven inclusions seems to be interesting, because it allows one to unify separately investigated cases for different multivalued problems. Let us recall that in the cases listed below solutions are treated in the sense of Definition 4. This means that there is no general method for an approximation of such solutions (like in our Definition 14) and from this point of view our results are more applicable.
Corollary 18 [[45], p.98]
Let be an open subset containing . Let F be an upper semicontinuous map from Q into the nonempty closed convex subsets of . We assume that is locally compact. Then there exist and an absolutely continuous function defined on , a (slow) solution to the differential inclusion , .
Here the minimal selection of a multifunction F is locally compact in the sense that for each point one can find a neighborhood which is mapped into a compact set (see [[45], p.97]).
Corollary 19 [[9], Corollary 4.2]
Let and have closed convex values, is measurable, is product Borel measurable, there exist an integrable function M and a constant such that and for all . Assume that there exist an integrable function k and a constant c such that
and that is Lipschitz:
Then for any positive Borel measure having the Lebesgue decomposition (i.e. ) and arbitrary there exists a solution for (8).
For the case of discrete measures let us recall the following result formulated in [56] in the language of dynamic inclusions i.e. inclusions on time scales (cf. also [57]). Here we consider the case and then we have a difference inclusion.
Corollary 20 Let have compact convex values, be measurable, be usc; and for every assume that there exists an integrable function such that whenever for all . Then there exists at least one solution for the difference inclusion
Notice that difference inclusions are also investigated without the context of time scales. A similar result to the one presented above can be found in [[58], Theorem 2.1] in a direct form of difference inclusions. In [59] difference inclusions are used to solve some problems in optimal control theory. In particular, it was proved that any solution for autonomous differential inclusions can be approximated by a sequence of solutions for difference inclusions (the multifunction G is assumed to be bounded and Lipschitz). A brief discussion of other motivations for difference inclusions can be found in [60] (see also the references therein). We refer to [61] for a full survey of difference methods for differential inclusions. Also, the problem for difference inclusions was investigated in the case of impulsive differential inclusions ([62], for instance) and in this setting our approach seems to be natural and does not require separate studies.
Moreover, some results presented for the case of so-called q-difference inclusions could be reformulated in our language, but till now they are only particular cases of Corollary 20.
References
Aubin, J-P: Impulsive Differential Inclusions and Hybrid Systems: A Viability Approach. Lecture Notes, Univ. Paris (2002)
Aubin J-P, Lygeros J, Quincampoix M, Sastry S, Seube N: Impulse differential inclusions: a viability approach to hybrid systems. IEEE Trans. Autom. Control 2002, 47: 2-20. 10.1109/9.981719
Lygeros J, Quincampoix M, Rzeżuchowski T: Impulse differential inclusions driven by discrete measures. Lecture Notes in Computer Science 4416. Hybrid Systems: Computation and Control 2007, 385-398.
Aubin J-P: Impulse and Hybrid Control Systems: A Viability Approach. A Mini-Course. University of California Press, Berkeley; 2002.
Moreau JJ: Bounded variation in time. In Topics in Nonsmooth Mechanics. Edited by: Moreau JJ, Panagiotopoulos PD, Strang G. Birkhäuser, Basel; 1988:1-74.
Code WJ, Loewen PD: Optimal control of non-convex measure-driven differential inclusions. Set-Valued Var. Anal. 2011, 19: 203-235. 10.1007/s11228-010-0138-8
Goebel R, Teel AR: Solutions to hybrid inclusions via set and graphical convergence with stability theory applications. Automatica 2006, 42: 573-587. 10.1016/j.automatica.2005.12.019
Sesekin AN, Fetisova YV: Functional differential equations in the space of functions of bounded variations. Proc. Steklov Inst. Math. 2010, 2: 258-265. suppl.
Silva GN, Vinter RB: Measure driven differential inclusions. J. Math. Anal. Appl. 1996, 202: 727-746. 10.1006/jmaa.1996.0344
Ahmed NU: Measure solutions impulsive evolution differential inclusions and optimal control. Nonlinear Anal. 2001, 47: 13-23. 10.1016/S0362-546X(01)00152-3
Pereira FL, Silva GN: Necessary conditions of optimality for vector-valued impulsive control problems. Syst. Control Lett. 2000, 40: 205-215. 10.1016/S0167-6911(00)00027-X
Pereira FL, Silva GN, Oliveira V: Invariance for impulsive control systems. Autom. Remote Control 2008, 69: 788-800. 10.1134/S0005117908050068
Goncharova E, Staritsyn M: Optimization of measure-driven hybrid systems. J. Optim. Theory Appl. 2012, 153: 139-156. 10.1007/s10957-011-9944-x
Filippova TF: Set-valued solutions to impulsive differential inclusions. Math. Comput. Model. Dyn. Syst. 2005, 11: 149-158. 10.1080/13873950500068542
Leine RI, van de Wouw N: Uniform convergence of monotone measure differential inclusions: with application to the control of mechanical systems with unilateral constraints. Int. J. Bifurc. Chaos 2008, 18: 1435-1457. 10.1142/S0218127408021099
Sesekin AN, Zavalishchin ST: Dynamic Impulse Systems. Kluwer Academic, Dordrecht; 1997.
Kronig R, Penney W: Quantum mechanics in crystal lattices. Proc. R. Soc. Lond. 1931, 130: 499-513. 10.1098/rspa.1931.0019
Atkinson FV: Discrete and Continuous Boundary Problems. Academic Press, New York; 1964.
Sharma RR: An abstract measure differential equation. Proc. Am. Math. Soc. 1972, 32: 503-510. 10.1090/S0002-9939-1972-0291600-3
Shendge GR, Joshi SR: Abstract measure differential inequalities and applications. Acta Math. Hung. 1983, 41: 53-59. 10.1007/BF01994061
Dhage BC, Bellale SS: Existence theorems for perturbed abstract measure differential equations. Nonlinear Anal. 2009, 71: 319-328. 10.1016/j.na.2008.11.057
Schwabik Š, Tvrdý M, Vejvoda O: Differential and Integral Equations. Boundary Problems and Adjoints. Reidel, Dordrecht; 1979.
Wyderka Z: Linear Differential Equations with Measures as Coefficients and Control Theory. Wyd. Uniw. Ślaskiego, Katowice; 1994.
Wyderka Z: Linear differential equations with measures as coefficients and the control theory. Čas. Pěst. Mat. 1989, 114: 13-27.
Federson M, Mesquita JG, Slavik A: Measure functional differential equations and functional dynamic equations on time scales. J. Differ. Equ. 2012, 252: 3816-3847. 10.1016/j.jde.2011.11.005
Wan X, Sun J: Existence of solutions for perturbed abstract measure functional differential equations. Adv. Differ. Equ. 2011., 2011: Article ID 67
Tvrdý, M: Differential and Integral Equations in the Space of Regulated Functions. Habil. thesis, Praha (2001)
Çamlibel, MK, Heemels, WPMH, van der Schaft, AJ, Schumacher, JM: Solution concepts for hybrid dynamical systems. IFAC (2002)
Heemels WPMH, Camlibel MK, van der Schaft AJ, Schumacher JM: On the existence and uniqueness of solution trajectories to hybrid dynamical systems. Nonlinear and Hybrid Control in Automotive Applications 2002, 391-422.
Bogachev VI: Measure Theory. Springer, Berlin; 2007.
Johnson RA: Atomic and nonatomic measures. Proc. Am. Math. Soc. 1970, 25: 650-655. 10.1090/S0002-9939-1970-0279266-8
Alberti G, Mantegazza C: A note on the theory of SBV functions. Boll. Unione Mat. Ital., B 1997, 11: 375-382.
Aliprantis CD, Border KC: Infinite Dimensional Analysis. Springer, Berlin; 2006.
Bruckner AM, Bruckner JB, Thomson BS: Real Analysis. Prentice Hall, New York; 1997.
Taylor SJ: Introduction to Measure and Integration. Cambridge University Press, Cambridge; 1966.
Fremlin DH 2. In Measure Theory. Torres Fremlin, Colchester; 2003.
Persson J: Fundamental theorems for linear measure differential equations. Math. Scand. 1988, 62: 19-43.
Persson J: Regularization of nonlinear measure differential equations. Matematiche 1989, 44: 113-130.
Aubin J-P, Frankowska H: Set-Valued Analysis. Birkhäuser, Boston; 1990.
Zygmunt W: On superpositionally measurable semi-Carathéodory multifunctions. Comment. Math. Univ. Carol. 1992, 33: 73-77.
Wagner DH: Survey of measurable selection theorems: an update. Lecture Notes in Math. 794. In Measure Theory, Oberwolfach 1979. Springer, Berlin; 1980:176-219. Proc. Conf. Oberwolfach 1979
Castaing C, Valadier M Lecture Notes in Math. 580. In Convex Analysis and Measurable Multifunctions. Springer, Berlin; 1977.
Carter M, van Brunt B: The Lebesgue-Stieltjes Integral - A Practical Introduction. Springer, Berlin; 2000.
Diestel J, Ruess WM, Schachermayer W:Weak compactness in . Proc. Am. Math. Soc. 1993, 118: 447-453.
Aubin J-P, Cellina A: Differential Inclusions. Springer, Berlin; 1984.
Miller B, Rubinovitch EY: Impulsive Control in Continuous and Discrete-Continuous Systems. Kluwer Academic, Dordrecht; 2003.
Seifert C: Gordon type theorem for measure perturbation. Electron. J. Differ. Equ. 2011., 2011: Article ID 111
Constantin A: Global existence of solutions for perturbed differential equations. Ann. Mat. Pura Appl. (4) 1995, CLXVIII: 237-299.
Cichoń M: Differential inclusions and abstract control problems. Bull. Aust. Math. Soc. 1996, 53: 109-122. 10.1017/S0004972700016774
Or Y, Teel AR: Zeno stability of the set-valued bouncing ball. IEEE Trans. Autom. Control 2011, 56: 447-452.
Dal Maso G, Rampazzo F: On systems of ordinary differential equations with measures as controls. Differ. Integral Equ. 1991, 4: 739-765.
Schechter E: A survey of local existence theories for abstract nonlinear initial value problems. Lecture Notes in Math. 1394. In Nonlinear Semigroups, Partial Differential Equations and Attractors. Springer, Berlin; 1989:136-184.
Miller B: Representation of robust and non-robust solutions of nonlinear discrete-continuous systems. Lecture Notes in Computer Science 1201. Hybrid and Real-Time Systems 1997, 228-239.
Sesekin AN: On sets of discontinuous solutions of nonlinear differential equations. Izv. Vysš. Učebn. Zaved., Mat. 1994, 6: 83-89. (in Russian)
Code, WJ: Measure-Driven Impulsive Systems Stabilization, Optimal Control and Applications. PhD thesis, Vancouver (2009)
Atici FM, Biles DC: First order dynamic inclusions on time scales. J. Math. Anal. Appl. 2004, 292: 222-237. 10.1016/j.jmaa.2003.11.053
Frigon M, Gilbert H: Systems of first order inclusions on time scales. Topol. Methods Nonlinear Anal. 2011, 37: 147-163.
Agarwal RP, O’Regan D, Lakshmikantham V: Discrete second order inclusions. J. Differ. Equ. Appl. 2003, 9: 879-885. 10.1080/1023619031000097044
Smirnov GV: Discrete approximations and optimal solutions of differential inclusions. Cybern. Syst. Anal. 1991, 27: 101-107.
Kloeden PE, Marín-Rubio P: Weak pullback attractors of non-autonomous difference inclusions. J. Differ. Equ. Appl. 2003, 9: 489-502. 10.1080/1023619031000076515
Dontchev A, Lempio F: Difference methods for differential inclusions: a survey. SIAM Rev. 1992, 34: 263-294. 10.1137/1034050
Baier R, Donchev T: Discrete approximation of impulsive differential inclusions. Numer. Funct. Anal. Optim. 2010, 31: 653-678. 10.1080/01630563.2010.483878
Acknowledgements
The authors are deeply indebted to the anonymous reviewers for their valuable suggestions. This work was supported by a grant of the Romanian National Authority for Scientific Research, CNCS-UEFISCDI, project number PN-II-RU-TE-2012-3-0336.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Cichoń, M., Satco, B.R. Measure differential inclusions - between continuous and discrete. Adv Differ Equ 2014, 56 (2014). https://doi.org/10.1186/1687-1847-2014-56
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2014-56