A functional model approach to linear neutral functional differential equations (Q1378045)

A spectral model for the neutral functional equation \[ (d/dt)Mx_t= Lx_t,\quad t\geq 0, \] \[ x(0)= 0,\quad x(\theta)= \varphi(\theta),\quad -h\leq\theta\leq 0, \] \[ M: C[-h, 0]\to \mathbb{C}^n,\quad M\varphi= \int^h_0 d\mu(\theta)\varphi(- \theta), \] \[ L: W^2_1[-h, 0]\to \mathbb{C}^n,\;L\varphi= \int^h_0\nu(\theta) \varphi(-\theta)d\theta+ \int^h_0\eta(\theta)\dot\varphi(- \theta)d\theta, \] \(\nu,\eta\in L^2([0, h]_{n\times n},\mathbb{C}^n)\), \(\mu\) an \(n\times n\) matrix on \(\mathbb{R}\) whose entries are of bounded variation is studied. Under certain conditions the solution semigroup \(\{T(t)\}_{t\geq 0}\) exists on the space of initial data \(\mathbb{C}^n\times L^2([- h,0],\mathbb{C}^n)\). A model representation for \(\{T(t)\}_{t\geq 0}\) and the infinitesimal generator \(A\) of \(T(t)\) is constructed. The representation formula transforms \(T(t)\) and \(A\) into multiplication operators \(\exp(tz)\) and \(z\), respectively. The proof of the representation theorem is based on a duality scheme. Applications of the results to a Riesz basis for the eigenspaces of \(A\) are constructed. Periodic solutions are considered.