ANALELE ŞTIINŢIFICE ALE UNIVERSITĂŢII AL.I. CUZA DIN IAŞI (S.N.) MATEMATICĂ, Tomul LVII, 211, Supliment A CAUCHY PROBLEM ON TIME SCALES WITH APPLICATIONS BY BIANCA SATCO Abstract. We obtain the existence of continuous solutions for a nonlocal Cauchy problem on time scales in Banach spaces, considering non-absolutely convergent deltaintegrals. As this kind of problems contains the classical cases of differential and difference equations and not only these ones, our main theorem offers a very general existence result. We then deduce, by an embedding procedure, a result for impulsive differential equations under a new kind of assumptions on the jump functions. Mathematics Subject Classification 2: 28B5, 26A39, 39A12, 34K45. Key words: nonlocal Cauchy problem, time scale domain, Henstock-Lebesgue integral, impulsive problem. 1. Introduction Although there are many analogies between the study of differential equations and that of difference equations, until two decades ago, these situations were investigated separately. In 1988, the German mathematician S. Hilger published, in his PhD Thesis and then in [25], a method to unify the continuous and the discrete cases, by introducing the such-called time scale theory. In this way, one can prove a result for dynamic problems on time scales and to deduce, in particular, results for differential or discrete problems (for a survey of papers in this direction, we refer to [6], [7] or [27]). In the present work, we obtain an existence theorem for a nonlocal Cauchy problem (for the importance of nonlocal conditions, see [8], [9]) on time scales: x (t) = f(t, x(t)), a.e. t T, x() = b(s)x(s) s.
222 BIANCA SATCO 2 To this purpose, we apply a version of Krasnosel skii fixed point result involving conditions expressed in terms of weak topology, presented in [3]. Note that, by considering Henstock integrals (that are non-absolute integrals), we allow to the function on the right hand side to be an oscillating function. In the second part, by embedding impulsive problems into problems on adequate time scales, as in [16], we give an existence result for impulsive nonlocal differential equations. We emphasize that on the jump functions are made some assumptions concerning the weak topology of Banach space. 2. Notations and preliminary facts Let us begin by presenting some preliminary definitions and notations of time scales that can be easily found in literature (see [1], [6], [7] and references therein). A time scale T is a nonempty closed set of real numbers R, with the subspace topology inherited from the standard topology of R (for example T = R, T = N and T = q Z = {q t : t Z}, where q > 1). For two points a, b in T, we denote by [a, b] T = {t T : a t b} the time scales interval. Definition 1. The forward jump operator σ : T T and the backward jump operator ρ : T T are defined by σ(t) = inf{s T : s > t}, respectively ρ(t) = sup {s T : s < t}. Also, inf = sup T (i.e. σ(m) = M if T has a maximum M) and sup = inf T (i.e. ρ(m) = m if T has a minimum m). A point t T is called right dense, right scattered, left dense, left scattered, dense, respectively isolated if σ(t) = t, σ(t) > t, ρ(t) = t, ρ(t) < t, ρ(t) = t = σ(t) and ρ(t) < t < σ(t), respectively. Let X be a Banach space and denote by C(T, X) the space of X-valued continuous functions on T and by B R its closed ball of radius R centered in the null element of this space, while C stands for the suppremum norm. Definition 2. Let f : T X and t T. Then the -derivative f (t) is the element of X (if it exists) with the property that for any ε > there exists a neighborhood of t on which f(σ(t)) f(s) f (t)[σ(t) s] ε σ(t) s. Remark 3. It is not difficult to see that, in particular, (i) f = f is the usual derivative if T = R,
3 A CAUCHY PROBLEM ON TIME SCALES WITH APPLICATIONS 223 (ii) f = f is the usual forward difference operator if T = Z. Therefore, the time scale calculus unifies (and generalizes) the treatment of differential and difference equations. In a similar way can be defined the -derivative: Definition 4. Let f : T X and fix t T. Then the -derivative f (t) is the element of X (if it exists) such that for any ε > there exists a neighborhood of t on which f(ρ(t)) f(s) f (t)[ρ(t) s] ε ρ(t) s (in an obvious way, all the discussion concerning -integrals can be retaken for -integrals). We denote by µ the Lebesgue measure on T (for its definition and properties we refer the reader to [1]). For properties of Riemann deltaintegral we refer to [22] and for Lebesgue integral on time scales see [5], [6], [7] or [22]. See also [14] for an interesting discussion on Cauchy problems on time scales. As about the Henstock-type integrals, as in particular cases (see [11] in R or [31], [2] in T for real-valued functions), we need to consider two definitions of vector-valued integrals. Let δ = (δ L, δ R ) be a -gauge, that is a pair of positive functions such that δ L (t) > on (a, b], δ R (t) > and δ R (t) σ(t) t on [a, b). A partition D = {[x i 1, x i ]; ξ i, i = 1, 2,... n} of [a, b] T is δ-fine whenever: ξ i [x i 1, x i ] [ξ i δ L (ξ i ), ξ i + δ R (ξ i )], 1 i n. Let us recall that such a partition exists for arbitrary positive pair of functions (Cousin s Lemma, see Lemma 1.9 in [31]). Definition 5 ([15]). A function f : [a, b] T X is Henstock- -integrable on [a, b] T if there exists a function F : [a, b] T X satisfying the following property: given ε >, there exists a -gauge δ on [a, b] T such that for every δ-fine division D = {[x i 1, x i ], ξ} of [a, b] T, we have n f(ξ)µ ([x i 1, x i ]) (F (x i ) F (x i 1 )) < ε. i=1 Then denote F (t) by (H) t a f(s) s and call it the Henstock- -integral of f on [a, t] T.
224 BIANCA SATCO 4 Definition 6 ([15]). A function f : [a, b] T X is Henstock-Lebesgue- -integrable on [a, b] T if there exists a function F : [a, b] T X satisfying the following property: given ε >, there exists a -gauge δ on [a, b] T such that for every δ-fine division D = {[x i 1, x i ], ξ} of [a, b] T, n f(ξ)µ ([x i 1, x i ]) (F (x i ) F (x i 1 )) < ε. i=1 Then F (t) is denoted by (HL) t a f(s) s and it is called the Henstock- Lebesgue- -integral of f on [a, t] T. Although this will not be here in our attention, we must remind that the Henstock-Kurzweil-Pettis delta-integral was also considered in literature (see [15] for basic facts on it and [17], [32] for applications). Denote by HL([a, b] T, X) the space of all HL- -integrable functions provided with the topology given by the Alexiewicz norm: t f A = sup (HL) f(s) s t [a,b] T Obviously, by the triangle inequality, if f is Henstock-Lebesgue- -integrable it is also Henstock- -integrable. In general, the converse is not true. For real-valued functions, the two integrals are equivalent (the definition and some properties of the Henstock-Kurzweil, shortly (HK) -integral in this case can be found in [31]). Remark 7. There is a major difference between these two notions: even in the case of T = R, the primitive function of the Henstock-Lebesgue- -integral is continuous and almost everywhere differentiable, while the primitive in the sense of Henstock- -integral is continuous, but in general not a.e. differentiable. This means that, by considering solutions of differential problems in the sense of Carathéodory, we have an equivalence between differential and integral problems with Henstock-Lebesgue integral. We will thus use the Henstock-Lebesgue integral in the setting of time-scale domains too. In the case where T = R, there are many studies on this subject (see Kurzweil and Schwabik [28], [29], Chew and Flordelija [12], [13], Federson and Táboas [2], Di Piazza and Satco [18] or Heikkilä, Kumpulainen and Seikkala [23], [24], for instance). a
5 A CAUCHY PROBLEM ON TIME SCALES WITH APPLICATIONS 225 3. An existence result for Cauchy problems with nonlocal conditions on time scale In this section, we prove an existence result for the following dynamic equation with nonlocal condition on a bounded time scale T contained in the real interval [, T ]: x (t) = f(t, x(t)), a.e. t T, x() = b(s)x(s) s. The main result is obtained by applying a fixed point theorem of Krasnosel skii type considering the weak topology, presented in [3] (Theorem 2.1): Theorem 8. Let M be a nonempty bounded closed convex subset of a Banach space E and A : M E, B : E E be two weakly sequentially continuous mappings satisfying: i) AM is relatively weakly compact; ii) B is a strict contraction; iii) if x = Bx + Ay and y M, it follows that x M. Then A + B has at least one fixed point in M. We will make use of the following result, given in [19] (Theorem 9): Proposition 9. Let (f n ) n be a bounded sequence of C([, 1], X). Then (f n ) n is convergent to f C([, 1], X) with respect to the weak topology of C([, 1], X) if and only if (f n (t)) n is weakly convergent to f(t) for every t [, 1]. Let us also remind of several notions extremely useful in various convergence results, that will appear in our existence theorem (we refer to [32] and, for T = R, to [29] or [21]): Definition 1. i) A function F : [a, b] T R is absolutely continuous in the restricted sense (shortly, AC ) on E [a, b] T if, for any ε >, there exists η ε > such that, whenever {[c i, d i ] T, 1 i N} is a finite collection of non-overlapping intervals that have endpoints in E and satisfy N i=1 µ ([c i, d i ] T ) < η ε, one has N i=1 osc(f, [c i, d i ] T ) < ε;
226 BIANCA SATCO 6 ii) F is said to be generalized absolutely continuous in the restricted sense (shortly, ACG ) if it is continuous and the unit interval can be written as a countable union of sets on each of which F is AC ; iii) A family of real functions is uniformly ACG if one can write the unit interval as a countable union of sets on each of which the family is uniformly AC (i.e. the above mentioned η ε is the same for all elements of the family). We present now the main result of this paper. Theorem 11. Let b : T R + be a continuous function and f : T X X satisfy: i) for every continuous x : T X, the function t T f(t, x(t)) is HL- -integrable; ii) if (x n ) n converges to x with respect to the weak topology of C(T, X), then (f(, x n ( ))) n pointwisely weakly converges to f(, x( )); iii) for every R >, the set {(HL) f(s, x(s)) s, x C R} C(T, X) is: iii1) equicontinuous and pointwisely relatively weakly compact; iii2) weakly uniformly ACG, i.e. {(HK) x, f(s, x(s)) s, x C R} is uniformly ACG, for all x X ; iv) lim sup R ( 1 R sup x C R f(, x( )) A ) < 1 2 ; v) b C 1 2T. Then the differential problem possess global continuous solutions. Proof. By hypothesis iv), one can find R > such that for any R R, t sup sup (HL) f(s, x(s)) s < R x C R t T 2. Let B R be the closed ball of C(T, X) centered in the null function, of radius R, and define the operators A : B R C(T, X) and B : B R C(T, X) by Ax(t) = (HL) t f(s, x(s)) s
7 A CAUCHY PROBLEM ON TIME SCALES WITH APPLICATIONS 227 respectively Bx(t) = b(s)x(s) s. Since the primitives in the sense of -Henstock-Lebesgue integral are continuous, it follows that A is C(T, X)-valued. On the other hand, let us note that the values of B are constant functions (here the function to be integrated is continuous, therefore the integral is in the sense of -Lebesgue integral). Condition iii1) implies, by Arzela-Ascoli Theorem, that the set {(HL) f(s, x(s)) s, x B R } is relatively weakly compact. Let us now prove that the operator A is weakly sequentially continuous. Consider an arbitrary sequence (x n ) n C(T, X) weakly convergent to x C(T, X). By hypothesis ii), for every x X, x, f(, x n ( )) x, f(, x( )) pointwisely. Since the set {(HL) f(s, x n(s)) s, n N} is equicontinuous, the family of real-valued continuous functions on T, {(HK) x, f(s, x n (s)) s, n N}, is equi-continuous and uniformly ACG. As any Henstock-Lebesgue delta-integrable function is also Henstock- Kurzweil-Pettis delta-integrable (we refer the reader to [15]), it follows, by the convergence Theorem 2.14 in [32], that x, (HL) f(s, x n (s)) s x, (HL) Applying Proposition 9, one deduces that (HL) f(s, x n (s)) s (HL) f(s, x(s)) s. f(s, x(s)) s with respect to the weak topology of the space C(T, X) and this gives the sequential weak continuity of the operator A. We prove now that the same is available for the operator B. Take a sequence (x n ) n B R weakly convergent to x C(T, X) and take an arbitrary x B, the unit ball of the topological dual of X. Then x, = b(s)x n (s) s b(s)x(s) s b(s) x, x n (s) x(s) s b C x, x n (s) x(s) s.
228 BIANCA SATCO 8 As x, x n (s) x(s) tends to at every point s and it is bounded by 2R that is integrable it can be deduced, by applying the Lebesgue dominated convergence theorem (see Chapter 5 in [7]), that x, b(s)x n (s) s b(s)x(s) s also tends to and so, the weak sequential continuity of B is proved. The last hypothesis asserts that B is a strict contraction, since Bx By b C T x y C. Finally, let us check the last hypothesis of Theorem 8. Consider x C(T, X) such that, for some y B R, x(t) = b(s)x(s) s + (HL) t f(s, y(s)) s, t T. Then x C b(s)x(s) s + sup t (HL) f(s, y(s)) s b C T x C + R 2 t T R and so, x C 2(1 b C T ) R thanks to hypothesis v). This shows that x B R. Applying Theorem 8, we obtain that the operator A + B has a fixed point, therefore our problem has continuous solutions. As it can be seen in the proof of the previous theorem, the Henstock- Lebesgue delta-integral could be replaced by the Henstock delta-integral, but in this case we only obtain a continuous solution for the integral nonlocal problem (due to the non-differentiability of the latest integral). Remark 12. Theorem 8 offers a very general existence result. First of all, it is given for dynamic equations on time scales, therefore it implies, in particular, corresponding results for ordinary differential and difference equations. Also, it considers Henstock integrals, that can be defined for a much larger number of functions (comparing to Riemann or Lebesgue integrals) and it works for Banach space-valued functions on the right hand side. Moreover, the studied Cauchy problem involves a nonlocal condition, that is more natural when describing physical phenomena than the classical initial conition.
9 A CAUCHY PROBLEM ON TIME SCALES WITH APPLICATIONS 229 4. Existence of solutions for impulsive nonlocal differential problems on a real interval In what follows, we apply the main result to obtain the existence of good (in a sense that will be made clear) solutions for an impulsive nonlocal differential problem on the real line: (1) (2) (3) ẏ(t) = f (t, y(t)), a.e. t [, T ] \ {t 1,..., t m }, y(t i ) = I i (y(t i )), y() = b(s)y(s)ds. i {1,..., m}, The interval [, T ] is a real interval and < t 1 <... < t m < T are the a- priori known moments of impulse, while y(t) = y(t+) y(t ) denotes the jump of the function y at t and the discontinuity at the point t i is described by the function I i : X X. Consider in the remaining of this section the following space of functions (that will contain the solutions of our problem): Definition 13. P C([, T ], X) is the collection of functions y : [, T ] X with the following properties: i) y is continuous at every t [, T ] \ {t 1,..., t m }; ii) at every t {t 1,..., t m }, y is left continuous and there exists the right limit y(t+). As seen in [26], P C([, T ], X) is a closed subspace of the space of all regulated X-valued functions which, endowed with the norm C, is complete and so, it becomes a Banach space itself. Following the method described in [16], we enlarge the initial interval to obtain a time scale: take h > and define the set T = [, t 1 ] [t 1 + h, t 2 + h]... [t m + mh, T + mh]. Let x : T X be the function defined by x(t) = { y(β(t))+, y(β(t)), otherwise. if t {t 1 + h, t 2 + 2h,..., t m + mh},
23 BIANCA SATCO 1 where β : T [, T ] is given by t, if t [, t 1 ], t h, if t [t 1 + h, t 2 + h], β(t) =. t mh, if t [t m + mh, b + mh]. Note that this is a continuous functions on the time scale T. Denote now by N the null-measure subset of [, T ] \ {t 1,..., t m } where y is not differentiable. With these notations, our impulsive differential problem can be written as f (β(t), x(t)), if t / (N {t 1, t 1 + h, x (t) = t 2 + h, t 2 + 2h,..., t m + mh}), I t β(t) (x(t)) +1 h h, if t {t 1, t 2 + h,..., t m + (m 1)h}, x() = +mh b(β(s))x(s) s. This is because, at a right-scattered point, e.g. t 1, x (t 1 ) = x(σ(t 1)) x(t 1 ) = I 1(y(t 1 )). σ(t 1 ) t 1 h Remark that the function x is not differentiable on N {t 1 + h, t 2 + 2h,..., t m + mh}, that is a null-measure set. This construction enables one to study impulsive differential problems on a real interval by methods of time scales theory. Thus, applying Theorem 8, we get: Theorem 14. Let f : [, T ] X X, I i : X X, i {1,..., m} and the continuous function b : [, T ] R + satisfy: 1) for each y P C([, T ], X), the function t [, T ] f(t, y(t)) is HL-integrable; 2) if (y n ) n P C([, T ], X) weakly converges to y, then ( f(, y n ( ))) n pointwisely weakly converges to f(, y( )); 3) for every R >, the set {(HL) f(s, y(s))ds, y C R} C([, T ], X) is:
11 A CAUCHY PROBLEM ON TIME SCALES WITH APPLICATIONS 231 i) equicontinuous and pointwisely relatively weakly compact; ii) weakly uniformly ACG, i.e. {(HK) x, f(s, y(s)) ds, y C R} is uniformly ACG, for all x X ; 4) lim sup R 1 R sup y C R( f(, y( )) A + m i=1 I i(y(t i )) ) < 1 2 ; 5) b C 1 2T ; 6) the functions I i : X X are sequentially weakly continuous and map balls into relatively weakly compact sets. Then the impulsive differential problem (1)-(3) possess solutions in P C([, T ], X). Proof. We choose h >, transform the impulsive problem into a Cauchy problem on time scales and check the hypothesis of Theorem 11. Thus, f : T X X is given by f (β(t), x), if t / (N {t 1, t 1 + h, f(t, x) = t 2 + h, t 2 + 2h,..., t m + mh}), I t β(t) +1 (x) h, if t {t 1, t 2 + h,..., t m + (m 1)h} h and b(s) = b(β(s)). The conditions i), iii2) and v) are easy to check. Hypothesis ii) follows from condition 2) and the sequential weak continuity of functions I i. In order to verify hypothesis iii1), it suffices to see that the equicontinuity is immediate (from 3i)), while the second part of the statement comes from 3i) and the fact that each I i maps balls into relatively weakly compact sets. It can be seen that ( lim sup R = lim sup R lim sup R lim sup R 1 R ( 1 R 1 R sup x C R 1 R sup x C R sup y C R sup y C R f(, x( )) A ) t ) sup (HL) f(s, x(s)) s t T β(t) sup t T (HL) f(s, y(s))ds + ( f(, m ) y( )) + I i (y(t i )) < 1 A 2 i=1 <t i <β(t) I i (y(t i ))
232 BIANCA SATCO 12 and so, we get the assumption iv) of Theorem 11. In this calculus it was used the following property of integrals on time scales: σ(t) t g(s) s = (σ(t) t)g(t). We are able to apply Theorem 11 and we obtain that the impulsive problem (1)-(3) possess solutions in P C([, T ], X). Remark 15. As far as we know, the assumptions under which Theorem 14 asserts that the impulsive problem (1)-(3) has solutions, in particular the conditions on the jump functions, are quite different comparing to similar results in literature (e.g. [3], [4]). Acknowledgment. This paper was supported by the project Progress and development through post-doctoral research and innovation in engineering and applied sciences-pride-contract no. POSDRU/89/1.5/S/5783, project co-funded from European Social Fund through Sectorial Operational Program Human Resources 27-213. REFERENCES 1. Agarwal, R.; Bohner, M.; Peterson, A. Inequalities on time scales: a survey, Math. Inequal. Appl., 4 (21), 535 557. 2. Avsec, S.; Bannish, B.; Johnson, B.; Meckler, S. The Henstock-Kurzweil delta integral on unbounded time scales, Panamer. Math. J., 16 (26), 77 98. 3. Taoudi, M.A. Krasnosel skii type fixed point theorems under weak topology features, Nonlinear Anal., 72 (21), 478 482. 4. Bainov, D.D.; Simeonov, P.S. Systems with Impulse Effect. Stability, Theory and Applications, Ellis Horwood Series: Mathematics and its Applications, Ellis Horwood Ltd., Chichester; Halsted Press, New York, 1989. 5. Bohner, M.; Guseinov, G. Riemann and Lebesgue Integration, Advances in dynamic equations on time scales, 117 163, Birkhäuser Boston, Boston, MA, 23. 6. Bohner, M.; Peterson, A. Dynamic Equations on Time Scales. An Introduction with Applications, Birkhäuser Boston, Inc., Boston, MA, 21. 7. Bohner, M.; Peterson, A. Advances in Dynamic Equations on Time Scales, Birkhäuser Boston, Inc., Boston, MA, 23.
13 A CAUCHY PROBLEM ON TIME SCALES WITH APPLICATIONS 233 8. Byszewski, L. Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem, J. Math. Anal. Appl., 162 (1991), 494 55. 9. Byszewski, L.; Lakshmikantham, V. Theorem about the existence and uniqueness of a solution of a nonlocal abstract Cauchy problem in a Banach space, Appl. Anal., 4 (1991), 11 19. 1. Cabada, A.; Vivero, D.R. Expression of the Lebesgue -integral on time scales as a usual Lebesgue integral: application to the calculus of -antiderivatives, Math. Comput. Modelling, 43 (26), 194 27. 11. Cao, S.S. The Henstock integral for Banach-valued functions, Southeast Asian Bull. Math., 16 (1992), 35 4. 12. Chew, T.S. On Kurzweil generalized ordinary differential equations, J. Differential Equations, 76 (1988), 286 293. 13. Chew, T.S.; Flordeliza, F. On x = f(t, x) and Henstock-Kurzweil integrals, Differential Integral Equations, 4 (1991), 861 868. 14. Cichoń, M. A note on Peano s theorem on time scales, Appl. Math. Lett., 23 (21), 131 1313. 15. Cichoń, M. On integrals of vector-valued functions on time scales, Commun. Math. Anal., 11 (211), 94 11. 16. Cichoń, M.; Satco, B.; Sikorska-Nowak, A. Impulsive nonlocal differential equations through differential equations on time scales, submitted. 17. Cichoń, M.; Kubiaczyk, I.; Sikorska-Nowak, A.; Yantir, A. Weak solutions for the dynamic Cauchy problem in Banach spaces, Nonlinear Anal., 71 (29), 2936 2943. 18. Di Piazza, L.; Satco, B. A new result on impulsive differential equations involving non-absolutely convergent integrals, J. Math. Anal. Appl., 352 (29), 954 963. 19. Dobrakov, I. On representation of linear operators on C (T, X), Czechoslovak Math. J., 21 (1971), 13 3. 2. Federson, M.; Táboas, P. Impulsive retarded differential equations in Banach spaces via Bochner-Lebesgue and Henstock integrals, Nonlinear Anal., 5 (22), Ser. A: Theory Methods, 389 47. 21. Gordon, R.A. The Integrals of Lebesgue, Denjoy, Perron, and Henstock, Graduate Studies in Mathematics, 4, American Mathematical Society, Providence, RI, 1994. 22. Guseinov, G.Sh. Integration on time scales, J. Math. Anal. Appl., 285 (23), 17 127. 23. Heikkilä, S.; Kumpulainen, M.; Seikkala, S. On functional improper Volterra integral equations and impulsive differential equations in ordered Banach spaces, J. Math. Anal. Appl., 341 (28), 433-444.
234 BIANCA SATCO 14 24. Heikkilä, S.; Kumpulainen, M.; Seikkala, S. Convergence theorems for HL integrable vector-valued functions with applications, Nonlinear Anal., 7 (29), 1939 1955. 25. Hilger, S. Analysis on measure chains-a unified approach to continuous and discrete calculus, Results Math., 18 (199), 18 56. 26. Hönig, C.S. Volterra Stieltjes-Integral Equations. Functional Analytic Methods; Linear Constraints, Mathematics Studies, 16, Notas de Matemática, 56, North- Holland Publishing Co., Amsterdam-Oxford; American Elsevier Publishing Co., Inc., New York, 1975. 27. Lakshmikantham, V.; Sivasundaram, S.; Kaymakcalan, B. Dynamic Systems on Measure Chains, Mathematics and its Applications, 37, Kluwer Academic Publishers Group, Dordrecht, 1996. 28. Kurzweil, J. Generalized ordinary differential equations and continuous dependence on a parameter, Czechoslovak Math. J., 7 (1957), 418 449. 29. Kurzweil, J.; Schwabik, S. Ordinary differential equations the solution of which are ACG -functions, Arch. Math. (Brno), 26 (199), 129 136. 3. Lakshmikantham, V.; Baĭnov, D.D.; Simeonov, P.S. Theory of Impulsive Differential Equations, Series in Modern Applied Mathematics, 6, World Scientific Publishing Co., Inc., Teaneck, NJ, 1989. 31. Peterson, A.; Thompson, B. Henstock-Kurzweil delta and nabla integrals, J. Math. Anal. Appl., 323 (26), 162 178. 32. Sikorska-Nowak, A. Integrodifferential equations on time scales with Henstock- Kurzweil-Pettis delta integrals, Abstr. Appl. Anal., 21, Art. ID 836347. Received: 18.X.21 Stefan cel Mare University of Suceava, Faculty of Electrical Engineering and Computer Science, Universităţii, 13, Suceava, ROMANIA bisatco@eed.usv.ro