No label defined (Q4029902)

Let \(R^ n\) denote the Euclidean \(n\)-dimensional space, and for \(u=(u_ 1,u_ 2,\dots,u_ n)\in R^ n\), let \(\| u\|\) denote \(\sup\{| u_ j|\), \(1\leq j\leq n\}\). If \([a,b]\) is a subinterval of the real line \(R\), then \(L\) denotes the set \(\{x\): \([a,b]\to R^ n\) with norm \(\| x\|_ L= \int_ a^ b \| x(s)\| ds\}\). If \(C\) denotes the subspace of \(L\) consisting of continuous functions, then the subset of the conjugate space \(C^*\) comprising discrete measures is denoted by \(DR\). An inner superposition operator \(S\) is defined by \(S(x)(t)=B(t)x(g(t))\) if \(g(t)\in[a,b]\), \(S(x)(t)=0\) if \(g(t)\not\ni [a,b]\), where \(B(t)\) is an \((n\times n)\)-matrix of measurable functions, and \(x\in L\). In the introductory section of this paper, the author provides representation expressions for the operator \(S\) on \(L\) and on \(DR\). Statements of the main theorems of the paper include: (*1) necessary and sufficient conditions for \(S\) to be continuous on \(DR\), in the form \(\gamma=\sup_{a\leq t\leq b} \Phi(B,g)(t)<\infty\), for some identified expression \(\Phi\), (*2) conditions that \(S\) be Noetherian from a domain in \(DR\) into \(DR\), (*3) conditions that \(S\) be Fredholm from a domain in \(DR\) into \(DR\), (*4) an extended operator \(S_ q\) on \(DR\) is completely continuous if and only if it is zero.