The three volumes of this series of books, of which this is the second, put forward the mathematical elements that make up the foundations of a number of contemporary scientific methods: modern theory on systems, physics and engineering. Whereas the first volume focused on the formal conditions for systems of linear equations (in particular of linear differential equations) to have solutions, this book presents the approaches to finding solutions to polynomial equations and to systems of linear differential equations with varying coefficients. Fundamentals of Advanced Mathematics, Volume 2: Field Extensions, Topology and Topological Vector Spaces, Functional Spaces, and Sheaves begins with the classical Galois theory and the theory of transcendental field extensions. Next, the differential side of these theories is treated, including the differential Galois theory (Picard-Vessiot theory of systems of linear differential equations with time-varying coefficients) and differentially transcendental field extensions. The treatment of analysis includes topology (using both filters and nets), topological vector spaces (using the notion of disked space, which simplifies the theory of duality), and the radon measure (assuming that the usual theory of measure and integration is known). In addition, the theory of sheaves is developed with application to the theory of distributions and the theory of hyperfunctions (assuming that the usual theory of functions of the complex variable is known). This volume is the prerequisite to the study of linear systems with time-varying coefficients from the point-of-view of algebraic analysis and the algebraic theory of nonlinear systems.

Fundamentals of Advanced Mathematics, Volume Three, begins with the study of differential and analytic infinite-dimensional manifolds, then progresses into fibered bundles, in particular, tangent and cotangent bundles. In addition, subjects covered include the tensor calculus on manifolds, differential and integral calculus on manifolds (general Stokes formula, integral curves and manifolds), an analysis on Lie groups, the Haar measure, the convolution of functions and distributions, and the harmonic analysis over a Lie group. Finally, the theory of connections is (linear connections, principal connections, and Cartan connections) covered, as is the calculus of variations in Lagrangian and Hamiltonian formulations. This volume is the prerequisite to the analytic and geometric study of nonlinear systems.

This precis, comprised of three volumes, of which this book is the first, exposes the mathematical elements which make up the foundations of a number of contemporary scientific methods: modern theory on systems, physics and engineering. This first volume focuses primarily on algebraic questions: categories and functors, groups, rings, modules and algebra. Notions are introduced in a general framework and then studied in the context of commutative and homological algebra; their application in algebraic topology and geometry is therefore developed. These notions play an essential role in algebraic analysis (analytico-algebraic systems theory of ordinary or partial linear differential equations). The book concludes with a study of modules over the main types of rings, the rational canonical form of matrices, the (commutative) theory of elemental divisors and their application in systems of linear differential equations with constant coefficients.

The aim of this book is to propose a new approach to analysis and control of linear time-varying systems. These systems are defined in an intrinsic way, i.e., not by a particular representation (e.g., a transfer matrix or a state-space form) but as they are actually. The system equations, derived, e.g., from the laws of physics, are gathered to form an intrinsic mathematical object, namely a finitely presented module over a ring of operators. This is strongly connected with the engineering point of view, according to which a system is not a specific set of equations but an object of the material world which can be described by equivalent sets of equations. This viewpoint makes it possible to formulate and solve efficiently several key problems of the theory of control in the case of linear time-varying systems. The solutions are based on algebraic analysis.

This book, written for engineers, is also useful for mathematicians since it shows how algebraic analysis can be applied to solve engineering problems.

Henri Bourles is a Professor and holds the industrial automation chair at the Conservatoire national des arts et metiers in France. He has been teaching automation for over 20 years in engineering and graduate schools.

Bogdan Marinescu is currently research engineer at the French Transmission System Operator (RTE) and Associate Professor at SATIE-Ecole Normale Superieure de Cachan.

"