Some existence and uniqueness results for first-order boundary value problems for impulsive functional differential equations with infinite delay in Fréchet spaces (Q885616)

This paper is concerned with the existence and uniqueness of solutions for the following first order impulsive functional differential equation \[ y'(t)=f(t,y_{t}) \text{ a.e. } t\in J:=[0,+\infty), \quad t\not=t_{k}, \;k=1,\dots, \] \[ y(t_{k}^{+})-y(t_{k}^{-})=I_k(y(t_{k}^{-})), \quad t=t_{k}, \;k=1,\dots, \] \[ Ay_0-x_{\infty}=\phi(t), \quad t\in (-\infty,0], \] where \(f\in J\times {\mathcal B}\to \mathbb{R}^{n}\) is a given function, \(I_k \in C(\mathbb{R}^{n},\mathbb{R}^{n})\), \(k=1,2,\dots\), \(A\not=1\), \(\lim_{t\to\infty}y(t)=x_{\infty}\), \(\phi\in {\mathcal B},\) and \({\mathcal B}\) is a phase space. For any function \(y\) defined on \((-\infty,+\infty)\) and any \(t\in J,\) we denote by \(y_{t}\) the element of \({\mathcal B}\) defined by \[ y_{t}(\theta)=y(t+\theta),\quad \theta\in (-\infty,0]. \] The proofs are based upon a nonlinear alternative of Leray Schauder type for contraction maps in Fréchet spaces due to \textit{M. Frigon} and \textit{A. Granas} [Ann. Sci. Math. Qué. 22, No. 2, 161--168 (1998; Zbl 1100.47514)]. A class of neutral functional differential equations is also considered. An example is presented.