ABSTRACT
Let X be a Banach space of norm || • || and le t / : [a,b] x X —• Xbe a continuous function. A solution of class C1 ([«,£]) to the Cauchy problem (CP) in X
(1.1)
satisfies the Volterra integral equation
(1.2)
and vice versa (i.e., (1.1) and (1.2) are equivalent in X). In other words, the (ODE) x' =f(t,x) and the Volterra equation (1.2) have the same set of solutions in X. This is not true in the case of a general Volterra integral equation
differential equation in C([a,b],X) (Larrieu [3]) (1.4)
Io) If x is a solution of the (VIE) (1.3) on [to,c] then the function y : [to,c] —> C([a,b];X) given by
(2.1)
is a solution of (I A). 2°) If y is a solution 0/(1.4), i.e., if
Io) The key fact here is the property
(2.3)
Therefore y given by (2.1) satisfies
(2.4)
for all s e [to,c] so (y(t))(t) = x(t) as x is a solution of (1.3). Thus ^(¿)(i) = x(t) so (2.4) can be rewritten as
(2.5)
This means that y satisfies (2.2), i.e., (1.4). 2o) Viceversa, if y satisfies (2.2), i.e., if (2.5) holds, then
(2.6)
3 Flow-invariance Problems
In spite of the fact that a (VIE) in X can be reduced to an (ODE) in C([a, b],X), the flow-invariance of a set D with respect to a (VIE) is not a natural problem. Let us prove why. Consider the particular case of (1.3) with/(¿) = xo e D. In view of Definition 1.1, it would be very legitimate to say that D is flow-invariant with respect to (VIE)
(3.1)
is for every to e [a, b) and XQ e D, the corresponding solution x of (3.1) remains in D for all t > to in the domain of x. This leads to the following necessary condition for D to be a (FIS) of (3.1).