On a terminal value problem in hereditary setting
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.
This page was built for publication: On a terminal value problem in hereditary setting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2785342)
