Linear FDEs in the frame of generalized ODEs: variation-of-constants formula

Abstract

We present a variation-of-constants formula for functional differential equations of the form

$$\dot y = \mathcal{L}\left( t \right)y_t + f\left( {y_t,t} \right),\;y_{t_0}= \varphi $$

, where $\mathcal{L}$ is a bounded linear operator and φ is a regulated function. Unlike the result by G. Shanholt (1972), where the functions involved are continuous, the novelty here is that the application t $t \mapsto f\left( {y_t,t} \right)$ is Kurzweil integrable with t in an interval of ℝ, for each regulated function y. This means that t $t \mapsto f\left( {y_t,t} \right)$ may admit not only many discontinuities, but it can also be highly oscillating and yet, we are able to obtain a variation-of-constants formula. Our main goal is achieved via theory of generalized ordinary differential equations introduced by J.Kurzweil (1957). As a matter of fact, we establish a variation-of-constants formula for general linear generalized ordinary differential equations in Banach spaces where the functions involved are Kurzweil integrable. We start by establishing a relation between the solutions of the Cauchy problem for a linear generalized ODE of type

$$\frac{{dx}}{{d\tau }} = D\left[ {A\left( t \right)x} \right],x\left( {{t_0}} \right) = \tilde x$$

and the solutions of the perturbed Cauchy problem

$$\frac{{dx}}{{d\tau }} = D\left[ {A\left( t \right)x + F\left( {x,t} \right)} \right],x\left( {{t_0}} \right) = \tilde x$$

Then we prove that there exists a one-to-one correspondence between a certain class of linear generalized ODE and the Cauchy problem for a linear functional differential equations of the form

$$\dot y = \mathcal{L}\left( t \right)y_t,\;y_{t_0} = \varphi$$

, where $\mathcal{L}$ is a bounded linear operator and φ is a regulated function. The main result comes as a consequence of such results. Finally, because of the extent of generalized ODEs, we are also able to describe the variation-of-constants formula for both impulsive FDEs and measure neutral FDEs.