On a terminal value problem in hereditary setting (Q2785342)

Let be \(a\in\mathbb{R}^+ \cup \{+\infty\}\), \(I= (-\infty,a)\), \(I_t= (-\infty,t)\), \(I_{ts} = [t,s)\), \(t<s\), \(t,s\in I\cup \{a\}\), \(C(I)\) the set of all continuous functions on \(I\) taking values on \(\mathbb{R}^n\). Moreover, let \(W\) be a given subset of \(C(I)\) with an inner operator \(T: W\to W\) such that \(Tx \chi_{I_{0a}} =x. \chi_{I_{0a}}\) and such that, for every \(x\), \(\varphi\in W\) with \(x (0)= \varphi(0)\), we get \(Tx. \chi_{I_0} =T\varphi. \chi_{I_0}\). Denote this map with \(\tau: W(0) \to W_{I_0}\) which we assume to be continuous. Denote \(D=D_W =\{(t,x(t)): t\in I, x\in W\}\). Let \(f:D \times W \to\mathbb{R}^n\), \(y\in \mathbb{R}^n\), \(p\in (0,a]\), \(x\in W\) be absolutely continuous in \(I_{0a}\). The paper deals with the following problem (TVP): for fixed \(y\in\mathbb{R}^n\) to determine \(p \in(0,a]\) and a function \(x\in W\) such that \(x'(t)= f(t,x(t),x)\), a.e. \(t \in I_{0p}\); \(\lim x(t) =y\) for \(t\to p^-\); \(x|_{I_0} =\tau (x(0))\). The couple \(\overline P \equiv (\overline p, \overline y) \in [0,a] \times \mathbb{R}^n\) is said admissible for the problem (TVP) if: (A) there exist two functions \(\overline u, \overline v\in L^1 (I_{0p}, \mathbb{R}^n)\) such that for \(\overline V= \{x\in C(I): \overline y + \int^{\overline p}_t \overline u(s) ds \leq x(t) \leq \overline y+ \int^{\overline p}_t \overline v(s) ds \) for \(t\in I_{Op}\}\) it is \((A_1)\) \(\overline V_{I_{0 \overline p}}\subset W_{I_{0 \overline p}}\), \((A_2)\) \(-\overline v(t) \leq f(t,x(t), Tx)\leq -\overline u(t)\), for a.e. \(t\in I_{0 \overline p}\) and for every \(x \in \overline V \cap W\). The main theorem concerning the problem (TVP) is the following: Suppose that \(W\subset C(I)\) satisfies property \(\tau\) and let \(f:D \times W\to \mathbb{R}^n\) be a given function satisfying the condition (CV): for every fixed \((y,x) \in \mathbb{R}^n \times W\) the function \(f(.,y,x)\) is measurable in the set \(\{t \in I: (t,y,x)\in D\times W\}\); for a.e. \(t\in I\), for every sequence \((y_n)_n\) in \(W(t)\) converging to a point \(y_0\in W(t)\) and for every sequence \((x_n)_n\) in \(W\) and \(x_0\in W\) with \(d_{I_t} (x_n,x_0) \to 0\) we have \(f(t,y_n, x_n) \to f(t, y_0, x_0)\), \(n\to \infty\). If \(\overline P \equiv (\overline p, \overline y) \in (0,a] \times \mathbb{R}^n\) is an admissible couple for (TVP), then there exits a solution of the problem (TVP). Some other theorems about the existence and uniqueness of the solutions of (TVP) as well as about the global solutions for (TVP) and continuous dependence with respect to the time \(t\) and the mark \(y\) and compactness of the set of solutions with respect to a fixed point \(P\equiv (p,y)\) are given. The paper follows a paper of the referee and enlarges it.