Solvability, completeness and computational analysis of a perturbed control problem with delays

As a first step, we provide a precise mathematical framework for the class of control problems with delays (which we refer to as the control problem) under investigation in a Banach space setting, followed by careful definitions of the key properties to be analyzed such as solvability and complete controllability. Then, we recast the control problem in a reduced form that is especially amenable to the innovative analytical approach that we employ. We then study in depth the solvability and completeness of the (reduced) nonlinearly perturbed linear control problem with delay parameters. The main tool in our approach is the use of a Borsuk-Ulam type fixed point theorem to analyze the topological structure of a suitably reduced control problem solution, with a focus on estimating the dimension of the corresponding solution set, and proving its completeness. Next, we investigate its analytical solvability under some special, mildly restrictive, conditions imposed on the linear control and nonlinear functional perturbation. Then, we describe a novel computational projection-based discretization scheme of our own devising for obtaining accurate approximate solutions of the control problem along with useful error estimates. The scheme effectively reduces the infinite-dimensional problem to a sequence of solvable finite-dimensional matrix valued tasks. Finally, we include an application of the scheme to a special degenerate case of the problem wherein the Banach-Steinhaus theorem is brought to bear in the estimation process.