Remarks on the Applicability of Algebra and Analysis

There are virtually no areas of applied mathematics, the sciences and engineering which do not rely on the subject matter of the present book. This is especially true of abstract and linear algebra, real analysis, and functional analysis at the intermediate level (the level of the present book). Accordingly, the literature on the applicability of algebra and analysis is huge and any attempts at characterizing this literature, even at a most general and superficial level would be futile. In the following, we will identify samples from the literature of a specific area which the reader may want to consult for examples of applications of the type of mathematics used in our book. Generally speaking, this literature concerns the qualitative analysis of dynamical systems, under which we primarily mean well posedness of† dynamical systems, stability properties of invariant sets (resp. equilibria) and boundedness properties of motions. By necessity, our discussion will involve only representative citations of the various areas which we will touch upon. Furthermore, many sources that we cite may require familiarity with other specialized areas in mathematics for a complete understanding of the subject on hand.†

Dynamical Systems

A dynamical system is a four-tuple {T, X, A, S} †where T R denotes time set (R = (−∞,∞)); X is the state space (a metric space (X,d) †with metric d); A X †is the set of initial states; and S denotes a family ofmotions. For any fixed a  A, t0  T, †a mapping p,a,t0): Ta,t0  → X †is called a motion if p(t0,a,t0) = a †where Ta,t0 = [t0,t1)∩T, t1 > t0, †and t1 †is finite or infinite. In general, for a given pair (a,t0) A×T, †more than one motion may exist (see, e.g. [1]-[3]).

When T = R+ = [0,∞) we speak of a continuous-time dynamical system and when T = N = {0,1,2,….} we speak of a discrete-time dynamical system. When all motions in a continuous-time dynamical system are continuous with respect to time t (t Ta,t0), we speak of a continuous dynamical system and when one or more of the motions in such systems are not continuous with respect to t, we speak of a discontinuous dynamical system (DDS). When in a dynamical system parts of the motions evolve along continuous time while other parts evolve along discrete time, one speaks of a hybrid dynamical system (HDS) [4]. It turns out that every HDS (as defined above) can be embedded into a DDS, having identical qualitative properties (such as stability of an invariant set and boundedness of motions) as the HDS. Accordingly, the qualitative analysis of a given HDS can always be reduced to the analysis of an associated DDS.

When in the above, X is a finite dimensional normed linear space, one speaks of a finite dimensional dynamical system, and otherwise, of an infinite dimensional dynamical system. The motions of finite dimensional dynamical systems are determined by the solutions of ordinary differential equations and inequalities (see, e.g. [1]-[10]) and by ordinary difference equations and inequalities (see, e.g. [11]), while the motions of infinite dimensional dynamical systems may be characterized by the solutions of differential-difference equations (see, e.g. [12]), retarded and neutral functional differential equations (see, e.g. [13],[14]), Volterra integro-differential equations ( see, e.g. [15]-[17]), differential equations and inclusions defined on Banach (resp. Hilbert) spaces (see, e.g. [18]-[21]), certain classes of initial-value and initial-value and boundary-value problems determined by partial differential equations (see, e.g. [22]-[26]), as well as linear and nonlinear semigroups (see, e.g. [27]-[30]).

Discontinuous dynamical systems (DDS) arise in the modeling process of a variety of systems, including impulsive dynamical systems, switched systems, dynamical systems endowed with logic elements, discrete event systems, and so forth (see, e.g. [3]). Of course many (but not all) of these systems constitute special cases of† HDS (see, e.g. [4]).

The classical Lyapunov stability and boundedness results for continuous dynamical systems and discrete-time dynamical systems (as defined above) constitute a mature subject, spanning over a century [1]-[3]. On the other hand, the Lyapunov stability and boundedness results for DDS and HDS have been established more recently [3],[4].

The qualitative theory of dynamical systems described above is strictly concerned with topological aspects of mathematical systems (refer to chapter 5 on metric spaces in our book). This makes possible tidy definitions and classifications of dynamical systems. In the case of control systems where inputs, outputs and other structures play crucial roles, frequently there are algebraic constraints that need to be superimposed in the qualitative analysis (refer to chapters 3-4 and 6,7 in our book). In such cases, the definition of dynamical system and the classification of dynamical systems are not entirely straightforward. For example, in the case of control systems there does not seem to exist a universally accepted definition for hybrid dynamical system. However, there are no disagreements on the meaning of finite dimensional linear continuous time and discrete time control systems (see, e.g. [31]-[41]). Also, references for finite dimensional nonlinear control systems include [42],[43].

References

[1] Hahn, W., Stability of Motion, Springer-Verlag, Berlin, 1967.
 
[2] Zubov, V.I., Methods of A.M. Lyapunov and their Applications, P. Noordhoff Ltd., Groningen, The Netherlands, 1964.
 
[3] Michel, A.N., Hou, L. and Liu, D., Stability of Dynamical Systems - Continuous, Discontinuous and Discrete Systems, Birkhauser, Boston, 2008.
 
[4] Michel, A.N., Wang, K. and Hu, B., Qualitative Theory of Dynamical Systems - The Role of Stability Preserving Mappings, Second Edition, Marcel Dekker, New York, 2001.
 
[5] Miller, R.K. and Michel, A.N., Ordinary Differential Equations, Dover, New York, 2008.
 
[6] Brauer, F. and Nohel, J.A., Qualitative Theory of Ordinary Differential Equations, Benjamin, New York, 1969.
 
[7] Coddington, E.A. and Levinson, N., Theory of Ordinary Differential Equations, McGraw-Hill, New York, 1955.
 
[8]† Hartman, P., Ordinary Differential Equations, Wiley, New York, 1964.
 
[9]† Yoshizawa, K., Stability Theory by Liapunovís Second Method, Math Soc. Japan, Tokyo, 1966.
 
[10] Lakshmikantham, V. and Leela, S., Differential and Integral Inequalities, vol. 1 and 2, Academic Press, New York, 1969.
 
[11] LaSalle, J.P., Stability and Control of Discrete Processes, Springer-Verlag, New York, 1986.
 
[12] Bellman R. and Cooke, K.L., Differential-Difference Equations, Academic Press, New York, 1963.
 
[13] Hale, J.K., Functional Differential Equations, Springer-Verlag, Berlin, 1971.
 
[14] Kuang, Y., Delay Differential Equations with Aplications in Population Dynamics, Academic Press, New York, 1993.
 
[15] Hale J.K., “Functional differential equations with infinite delays,” J. Math. Anal. Appl., vol.48, 1974, pp. 276-283.
 
[16] Volterra, V., Theory of Functional and Integral and Integrodifferential Equations, Dover, New York, 1959.
 
[17] Barbu, V. and Grossman, S.I., “Asymptotic behavior of linear integrodifferential systems,” Trans. Amer. Math. Soc., vol. 171, 1972, pp. 277-288.
 
[18] Aubin, J.P. and Cellina, A., Differential Inclusions, Springer-Verlag, New York, 1984.
 
[19] Krein, S.G., Linear Differential Equations in Banach Spaces, Translations of Mathematical Monographs, vol. 29, American Math. Society, Providence, R.I., 1970.
 
[20] Daleckii, J.L. and Krein, M.G., Stability of Solutions of Differential Equations in Banach Space, Translations of Mathematical Monographs, vol. 43, Amer. Math. Soc., Providence, R.I., 1974 † †
 
[21] Lasota, A. and Yorke, J.A., “The generic property of existence of solutions of differential equations in Banach space,” J. Differential Equations, vol. 13, 1973, pp. 1-12.
 
[22] Friedman, A., Partial Differential Equations of Parabolic Type, Prentice-Hall, Englewood Cliffs, N.J., 1964.
 
[23] Garabedian, P.R., Partial Differential Equations, Chelsea Publishing Co., New York, 1986.
 
[24] Hormander, L., Linear Partial Differential Equations, Springer-Verlag, Berlin, 1963.
 
[25] Hormander, L., The Analysis of Linear Partial Differential Operators, vol. 1, 2, 3, 4, Springer-Verlag, Berlin, 1983-1985.
 
[26] Krylov, N.V., Nonlinear Elliptic and Parabolic Equations of the Second Order, D.Reidel Publishing Co., Boston, 1987.
 
[27] Hille, E. and Phillips, R.S., Functional Analysis and Semigroups, Amer. Math. Soc. Colloquium Pub., vol. 33, Amer. Math. Soc., Providence, R.I., 1957.
 
[28] Pazy, A., Semigroups of Linear Operators and Applications to Partial Differential Equations , Springer-Verlag, New York, 1983.
 
[29] Crandall, M.G., “Semigroups of nonlinear transformations on general Banach spaces,” Contributions to Nonlinear Functional Analysis, E.H. Zarantonello, Ed., Academic Press, New York, 1971.
 
[30] Crandall, M.G. and Liggett, T.M., “Generation of semigroups of nonlinear transformations on general Banach spaces,” Amer. J. Math., vol. 93, 1971, pp. 265-298.
 
[31] Antsaklis, P.J. and Michel, A.N., Linear Systems, Birkhauser, Boston, 2006.
 
[32] Antsaklis, P.J. and Michel, A.N., A Linear Systems Primer, Birkhauser, Boston, 2007.
 
[33] Brockett, R.W., Finite Dimensional Linear Systems, Wiley, New York, 1970.
 
[34] Chen, C.T., Linear System Theory and Design, Holt, Rinehart and Winston, New York, 1984.
 
[35] Rugh, W.J., Linear System Theory, Second Edition, Prentice-Hall, Englewood Cliffs, N.J., 1996.
 
[36] DeCarlo, R.A., Linear Systems, Prentice-Hall, Englewood Cliffs, N.J., 1989.
 
[37] Zadeh, L.A. and Desoer, C.A., Linear System Theory - The State Space Approach, McGraw-Hill, New York, 1963.
 
[38] Kailath, T., Linear Systems, Prentice-Hall, Englewood Cliffs, N.J., 1980.
 
[39] Sontag, E.D., Mathematical Control Theory - Deterministic Finite Dimensional Systems , Springer-Verlag, New York, 1990.
 
[40] Jury, E.I., Sampled-Data Control Systems, Wiley, New York, 1958.
 
[41] Franklin G.F. and Powell, J.D., Digital Control of Dynamical Systems, Addison Wesley Publishing Co., Reading, MA, 1980.
 
[42] Vidyasagar, M., Nonlinear Systems Analysis, Prentice-Hall, Englewood Cliffs, N.J., 1993.
 
[43] Khalil, H.K., Nonlinear Systems, Macmillan, New York, 1992.