Algebras of Holomorphic Functions and Control Theory
By Amol Sasane
()
About this ebook
The treatment consists of two components: the algebraic framework, which serves as the abstract language for posing and solving the problem of stabilization; and the analysis component, which examines properties of specific rings of holomorphic functions. Elementary, self-contained, and constructive proofs elucidate the explorations of rings of holomorphic functions relevant in control theory. Introductory chapters on control theory and stable transfer functions are followed by surveys of unstable plants and the stabilization problem and its solution. The text concludes with suggestions for further reading and a bibliography.
Read more from Amol Sasane
Optimization in Function Spaces Rating: 0 out of 5 stars0 ratings
Related to Algebras of Holomorphic Functions and Control Theory
Titles in the series (100)
First-Order Partial Differential Equations, Vol. 1 Rating: 5 out of 5 stars5/5History of the Theory of Numbers, Volume II: Diophantine Analysis Rating: 0 out of 5 stars0 ratingsThe Calculus Primer Rating: 0 out of 5 stars0 ratingsMethods of Applied Mathematics Rating: 3 out of 5 stars3/5Laplace Transforms and Their Applications to Differential Equations Rating: 5 out of 5 stars5/5Advanced Calculus: Second Edition Rating: 5 out of 5 stars5/5First-Order Partial Differential Equations, Vol. 2 Rating: 0 out of 5 stars0 ratingsTopology for Analysis Rating: 4 out of 5 stars4/5An Adventurer's Guide to Number Theory Rating: 4 out of 5 stars4/5Calculus Refresher Rating: 3 out of 5 stars3/5Analytic Inequalities Rating: 5 out of 5 stars5/5The Mathematics of Games Rating: 0 out of 5 stars0 ratingsDifferential Forms with Applications to the Physical Sciences Rating: 5 out of 5 stars5/5Dynamic Probabilistic Systems, Volume II: Semi-Markov and Decision Processes Rating: 0 out of 5 stars0 ratingsA Catalog of Special Plane Curves Rating: 2 out of 5 stars2/5Infinite Series Rating: 4 out of 5 stars4/5Gauge Theory and Variational Principles Rating: 2 out of 5 stars2/5Mathematics for the Nonmathematician Rating: 4 out of 5 stars4/5Calculus: An Intuitive and Physical Approach (Second Edition) Rating: 4 out of 5 stars4/5Fourier Series and Orthogonal Polynomials Rating: 0 out of 5 stars0 ratingsCounterexamples in Topology Rating: 4 out of 5 stars4/5Euclidean Geometry and Transformations Rating: 2 out of 5 stars2/5Numerical Methods Rating: 5 out of 5 stars5/5A History of Mathematical Notations Rating: 4 out of 5 stars4/5Differential Geometry Rating: 5 out of 5 stars5/5Fourier Series Rating: 5 out of 5 stars5/5Applied Functional Analysis Rating: 0 out of 5 stars0 ratingsAn Introduction to Lebesgue Integration and Fourier Series Rating: 0 out of 5 stars0 ratingsMathematics in Ancient Greece Rating: 5 out of 5 stars5/5Theory of Games and Statistical Decisions Rating: 4 out of 5 stars4/5
Related ebooks
Foundations of Stochastic Analysis Rating: 0 out of 5 stars0 ratingsErgodic Theory and Topological Dynamics Rating: 0 out of 5 stars0 ratingsConstructive Real Analysis Rating: 0 out of 5 stars0 ratingsCalculus of Variations Rating: 4 out of 5 stars4/5Oscillations in Nonlinear Systems Rating: 5 out of 5 stars5/5Hybrid Dynamical Systems: Modeling, Stability, and Robustness Rating: 0 out of 5 stars0 ratingsOrdinary Differential Equations and Stability Theory: An Introduction Rating: 0 out of 5 stars0 ratingsNotes on the Quantum Theory of Angular Momentum Rating: 0 out of 5 stars0 ratingsStochastic Control by Functional Analysis Methods Rating: 0 out of 5 stars0 ratingsAn Introduction to Applied Optimal Control Rating: 0 out of 5 stars0 ratingsCalculus of Variations Rating: 0 out of 5 stars0 ratingsGraphs and Tables of the Mathieu Functions and Their First Derivatives Rating: 0 out of 5 stars0 ratingsMathematical Experiments on the Computer Rating: 0 out of 5 stars0 ratingsQuadratic Form Theory and Differential Equations Rating: 0 out of 5 stars0 ratingsLectures on the Calculus of Variations Rating: 0 out of 5 stars0 ratingsTopics in Advanced Quantum Mechanics Rating: 5 out of 5 stars5/5Partial Differential Equations of Applied Mathematics Rating: 4 out of 5 stars4/5Numerical Methods for Two-Point Boundary-Value Problems Rating: 0 out of 5 stars0 ratingsQuantum Theory of Anharmonic Effects in Molecules Rating: 0 out of 5 stars0 ratingsA Survey of Combinatorial Theory Rating: 0 out of 5 stars0 ratingsStatistical Orbit Determination Rating: 5 out of 5 stars5/5Conformal Field Theory and Solvable Lattice Models Rating: 0 out of 5 stars0 ratingsTotally Nonnegative Matrices Rating: 5 out of 5 stars5/5Dynamic Programming and Stochastic Control Rating: 3 out of 5 stars3/5Photon-Atom Interactions Rating: 0 out of 5 stars0 ratingsPath Integrals and Quantum Processes Rating: 0 out of 5 stars0 ratingsOperational Calculus Rating: 0 out of 5 stars0 ratingsSpacecraft Attitude Control: A Linear Matrix Inequality Approach Rating: 0 out of 5 stars0 ratingsSymmetries in Quantum Physics Rating: 0 out of 5 stars0 ratings
Mathematics For You
Quantum Physics for Beginners Rating: 4 out of 5 stars4/5Geometry For Dummies Rating: 5 out of 5 stars5/5Algebra I Workbook For Dummies Rating: 3 out of 5 stars3/5Basic Math & Pre-Algebra For Dummies Rating: 4 out of 5 stars4/5Game Theory: A Simple Introduction Rating: 4 out of 5 stars4/5Algebra - The Very Basics Rating: 5 out of 5 stars5/5Practice Makes Perfect Algebra II Review and Workbook, Second Edition Rating: 4 out of 5 stars4/5Real Estate by the Numbers: A Complete Reference Guide to Deal Analysis Rating: 0 out of 5 stars0 ratingsPrecalculus: A Self-Teaching Guide Rating: 4 out of 5 stars4/5The Little Book of Mathematical Principles, Theories & Things Rating: 3 out of 5 stars3/5Mental Math Secrets - How To Be a Human Calculator Rating: 5 out of 5 stars5/5Calculus Made Easy Rating: 4 out of 5 stars4/5The Everything Guide to Algebra: A Step-by-Step Guide to the Basics of Algebra - in Plain English! Rating: 4 out of 5 stars4/5Painless Geometry Rating: 4 out of 5 stars4/5Relativity: The special and the general theory Rating: 5 out of 5 stars5/5Is God a Mathematician? Rating: 4 out of 5 stars4/5The Golden Ratio: The Divine Beauty of Mathematics Rating: 5 out of 5 stars5/5ACT Math & Science Prep: Includes 500+ Practice Questions Rating: 3 out of 5 stars3/5The Thirteen Books of the Elements, Vol. 1 Rating: 0 out of 5 stars0 ratingsSummary of The Black Swan: by Nassim Nicholas Taleb | Includes Analysis Rating: 5 out of 5 stars5/5The Math of Life and Death: 7 Mathematical Principles That Shape Our Lives Rating: 4 out of 5 stars4/5The Elements of Euclid for the Use of Schools and Colleges (Illustrated) Rating: 0 out of 5 stars0 ratingsThe Math Book: From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics Rating: 3 out of 5 stars3/5My Best Mathematical and Logic Puzzles Rating: 5 out of 5 stars5/5See Ya Later Calculator: Simple Math Tricks You Can Do in Your Head Rating: 4 out of 5 stars4/5
Reviews for Algebras of Holomorphic Functions and Control Theory
0 ratings0 reviews
Book preview
Algebras of Holomorphic Functions and Control Theory - Amol Sasane
Index
Preface
Control Theory is a branch of applied mathematics where many beautiful and deep theorems from pure mathematics have answered exactly the questions arising in an important part of engineering. Both control engineers and mathematicians have benefited from this opportunity to share results and methods.
The aim of this monograph is to illustrate (to a mathematical audience) how properties of algebras of holomorphic functions in the disk play a prominent role in the solution of an important problem in engineering, namely that of stabilization of a linear control system. It provides a self-contained glimpse into this part of control theory for someone who hasn’t met any control theory before. For this reason, the monograph is certainly not encyclopedic, and there are several omissions. In the final chapter on further reading, we mention a few of the unexplored avenues that the interested reader might want to pursue. The aim is merely to give a short and easy introduction to the subject, and to build a bridge to enable greater communication.
Moreover, the book is written at the undergraduate level. We do not use advanced mathematics, nor do we pretend to include real-life models from engineering. We have tried to make the book as self-contained as possible, and so it can be read by anyone with an undergraduate mathematics degree.
Although I have volunteered myself as a guide to this area of control theory, I cannot claim to know much more than the reader. An authoritative treatise on the subject is the classic by Vidyasagar [V]. In our monograph, there are two components:
The algebraic framework in which the problem of stabilization is posed and solved abstractly. For this algebraic component, we use the language of ideals to discuss the stabilization problem, following the work of Shiva Shankar and Virendra Sule [SS]. Although the algebraic theory given in [SS] goes further than what we have chosen to discuss here, the aim is to give a quick, easy and self-contained introduction to the uninitiated reader.
The analysis component, in which we prove properties of specific rings of holomorphic functions, rather than dealing with only abstract rings. We give elementary, self-contained, and insofar as this is possible, constructive proofs for this analytic component of the book, where we focus on particular rings of holomorphic functions relevant in control theory. For instance we give constructive algorithmic proofs of the corona theorem for the disk algebra and the Wiener algebra, and of the fact that their Bass stable rank is one, where we give a method of reducing any given unimodular pair.
The emphasis of this book is on the analysis component, and so the algebraic component mainly serves as the abstract language in which we pose and solve the stabilization problem. Once this is done, we concentrate on specific rings of analytic functions and investigate what happens there.
Most proofs have been taken from various sources, and we have tried to keep track of the original sources in the sections called ‘Notes’ at the end of each chapter. We make no claims about the originality of any of the proofs included in this book. The only contribution we have made is to collect what seemed to be the simplest and most constructive proofs in a single volume.
We use chapter-wise numbering of Theorems, Lemmas, Corollaries, Propositions, Examples, Exercises and Notation: Theorem 1.4 means the fourth theorem in the first chapter.
We will use standard mathematical notation, but we mention that
‘A := B’ reads ‘A defined by B’;
‘A =: B’ reads ‘B defined by A’;
N denotes the set of natural numbers {1, 2, 3, ... }.
The notation z* is used for the complex conjugate of the complex number z, denotes the closure of the set X .
Useful discussions with Ruth Curtain, Sara Maad, Raymond Mortini, Alban Quadrat and Rudolf Rupp are gratefully acknowledged. In particular, special thanks to Sara Maad and Rudolf Rupp who read a draft of the book in great detail, found several mistakes, and suggested fixes. I would also like to thank Alban Quadrat for initiating this project and for his comments on an early draft of the manuscript.
Amol Sasane
London, 2009
Chapter 1
Control theory
The basic objects of study in control theory are underdetermined differential /difference equations. By underdetermined, we mean that the functions in the differential equation system are not uniquely determined, but some of them are ‘free’, that is, they can be arbitrarily chosen (something that we can ‘input’). Once this choice is made, then the rest of the variables are uniquely determined.
The basic question in control theory is: Can one influence the behaviour of some of the functions in the system by appropriate manipulation of the free variables, that is, can one control the behaviour of the system? We elaborate on this below.
For instance, the algebraic equation x = 10 − u, where x, u are integers, is underdetermined. Indeed, it is not the case that there is a unique pair of integers (x, u) that satisfies the equation. Viewing the variable u as free (something we can decide, or ‘input’), we see that the x is then determined via x = 10 − u. One could then ask the question of manipulating the to-be-controlled variable x by suitable changing the input u. For example, in order to make x < 5, we can do so by inputting a u > 5! In control theory, one addresses a similar question of control, but for underdetermined difference or differential equations.
Our basic object of study in control theory will be the system
where n = 0, 1, 2, 3, ... serves as the time axis. Here the variable
x is called the state,
u is called the input,
y is called the output.
The state x at any time n is an element belonging to a Hilbert space X, called the state space. On the other hand, u and y are complex-valued sequences. The symbols A, B, C, D denote continuous linear transformations¹ between appropriate spaces, and are known from the modelling procedure:
If we look at the first of the two equations in (1.2), then we notice that this is an underdetermined equation, in the sense that the input u can be chosen freely, that is, it can be specified arbitrarily. It is something that we can choose, or input into the system. Once such a choice of the input u has been made, then, given the initial condition x(0), the first equation in (1.2) determines the state x uniquely. Indeed, if we decide what u(0), u(1), u(2), u(3), ... are, then with x(0) known, we see that x(1), x(2), x(3), ... are determined:
Now that x is determined, the output y is then determined by the second equation in (1.2):
Thus we can think of the system described by (1.2) as a box which given the input u, manufactures the output² y. See Figure 1.
Figure 1. Control system.
One may then ask the question about ‘controlling’ y, that is, manipulating the behaviour of the output in some desired manner³, by suitably changing the input u. For this reason (that is, there may exist a possibility of controlling the behaviour of the system), a system described by an equation of the form (1.2) is called a control system.
1.1. Finite vs infinite; discrete vs continuous
The control system (1.2) is called finite-dimensional if X is finite-dimensional, while it is called infinite-dimensional if X is infinite-dimensional.
Note that we have considered the time axis to be discrete. For this reason, we call our control systems as discrete-time control systems. One may also consider similar underdetermined differential equation models, with a continuous time axis:
(1.1)
A model described by a system of high order linear ordinary differential equations with constant coefficients can be expressed as a first order equation (1.1) with an appropriate choice of the state variable x, and state space X = ℂn.
On the other hand a model described by a system of linear partial differential equations or ordinary differential equations with delays can also be rewritten as (1.1), but now one needs an infinite-dimensional Hilbert space X as the state space.
We will not go into the details of these modelling issues in this monograph, since there are several good sources on the subject available to the interested reader; see for instance [CZ].
Throughout this monograph, we will only consider discrete-time systems although an analogous theory exists for continuous-time systems as well. Moreover, we will primarily be interested in infinite-dimensional systems, since only there do the subtle algebraic properties of the rings of