The Leray-Schauder degree of \(S^ 1\)-equivariant operators associated to autonomous neutral equations in spaces of periodic functions (Q805865): Difference between revisions

The following general result about the Leray-Schauder degree of an \(S^ 1\)-equivariant map is proved. Theorem 1. Let X be a normed linear space, \(\Omega\subset X\) open bounded and f: \({\bar \Omega}\to X\) a compact perturbation of identity such that \(f^{-1}(0)\cup \partial \Omega =\emptyset\). Assume \(S^ 1\) acts on X through linear isometries, \(\Omega\subset X\) is invariant under this action, and f is equivariant. Let \(f^{S^ 1}: {\bar \Omega}^{S^ 1}\to X^{S^ 1}\) denote the restriction of f to the fixed point set \({\bar \Omega}{}^{S^ 1}={\bar \Omega}\cup X^{S^ 1}\), \(X^{S^ 1}=\{x\in X:\tau *x=x\) for all \(\tau \in S^ 1\}\). Then \(\deg (f,\Omega,0)=\deg (f^{S^ 1},\Omega^{S^ 1},0).\) As a consequence of the above theorem the uniqueness of an \(\omega\)- periodic viable solution of the neutral functional-differential equation \((d/dt)(D(x_ t)=f(x_ t)+h(t,x,\epsilon)\) is obtained, where D is a Hale's operator and f, g are given n-dimensional vector functions.