Abstract
When a differential field K having n commuting derivations is given together with two finitely generated differential extensions L and M of K, an important problem in differential algebra is to exhibit a common differential extension N in order to define the new differential extensions L∩M and the smallest differential field (L,M ) ⊂ N containing both L and M. Such a result allows to generalize the use of complex numbers in classical algebra. Having now two finitely generated differential modules L and M over the non-commutative ring D = K [d1,...,dn] = K [d] of differential operators with coefficients in K, we may similarly look for a differential module N containing both L and M in order to define L∩M and L+M. This is exactly the situation met in linear or non-linear OD or PD control theory by selecting the inputs and the outputs among the control variables. However, in many recent books and papers, we have shown that controllability was a built-in property of a control system, not depending on the choice of inputs and outputs. The purpose of this paper is thus to revisit control theory by showing the specific importance of the two previous problems and the part plaid by N in both cases for the parametrization of the control system. An important tool will be the study of differential correspondences, a modern name for what was called Bäcklund problem during the last century, namely the elimination theory for groups of variables among systems of linear or nonlinear OD or PD equations. The main difficulty is to revisit differential homological algebra by using noncommutative localization as a way to generalize the symbolic calculus in the style of Heaviside and Mikusinski. Finally, when M is a D-module, this paper is using for the first time the fact that the system R = homK (M,K) is a D-module for the Spencer operator acting on sections, avoiding thus behaviours, trajectories and signal spaces in a purely formal way, contrary to a few recent works on this difficult subject.
Highlights
The story started in 1970 at Princeton University when the author of this paper was a visiting student of D.C
This is all what is needed in order to study nonlinear systems of ordinary differential (OD) or partial differential (PD) equations, using calligrphic letters like for the nonlinear framework and capital letters like E = V ( ) for the linear or vertical linearized framework
EXAMPLE 3.2.7: We present in an independent manner a few OD or PD cases showing the difficulties met when studying differential ideals and ask the reader to revisit them later on while reading the main Theorems
Summary
The story started in 1970 at Princeton University when the author of this paper was a visiting student of D.C. It is only in 1995 that he found the negative solution of this challenge, only paid back one dollar (!) by Wheeler because the relativistic community was (and still is !) convinced about the existence of such a parametrization Such a result can only be found today in books of control theory ([1] [2] [3]). It does not seem that the link existing between the Spencer operator and the non-commutative localization of Ore domains is known In any case, this result has never been used for applications to control theory or even mathematical physics. A few tricky examples will be presented in the subsection 2.2 in order to illustrate these difficult questions
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
