Monotonicity on homogeneous spaces. (English) Zbl 1402.37036
Summary: This paper presents a formulation of the notion of monotonicity on homogeneous spaces. We review the general theory of invariant cone fields on homogeneous spaces and provide a list of examples involving spaces that arise in applications in information engineering and applied mathematics. Invariant cone fields associate a cone with the tangent space at each point in a way that is invariant with respect to the group actions that define the homogeneous space. We argue that invariance of conal structures induces orders that are tractable for use in analysis and propose invariant differential positivity as a natural generalization of monotonicity on such spaces.
MSC:
| 37C65 | Monotone flows as dynamical systems |
| 22F30 | Homogeneous spaces |
| 06A75 | Generalizations of ordered sets |
References:
| [1] | Absil P, Mahony R, Sepulchre R (2008) Optimization algorithms on matrix manifolds. Princeton University Press, Princeton · Zbl 1147.65043 · doi:10.1515/9781400830244 |
| [2] | Altafini, Claudio, Minimal eventually positive realizations of externally positive systems, Automatica, 68, 140-147, (2016) · Zbl 1334.93047 · doi:10.1016/j.automatica.2016.01.072 |
| [3] | Anderson, BDO; Deistler, M.; Farina, L.; Benvenuti, L., Nonnegative realization of a linear system with nonnegative impulse response, IEEE Trans Circuits Syst I Fundam Theory Appl, 43, 134-142, (1996) · doi:10.1109/81.486435 |
| [4] | Angeli, D.; Sontag, ED, Monotone control systems, IEEE Trans Autom Control, 48, 1684-1698, (2003) · Zbl 1364.93326 · doi:10.1109/TAC.2003.817920 |
| [5] | Angeli, D.; Sontag, ED, Translation-invariant monotone systems, and a global convergence result for enzymatic futile cycles, Nonlinear Anal Real World Appl, 9, 128-140, (2008) · Zbl 1401.92086 · doi:10.1016/j.nonrwa.2006.09.006 |
| [6] | Angeli D, Sontag ED (2012) Remarks on the invalidation of biological models using monotone systems theory. In: 2012 IEEE 51st IEEE conference on decision and control CDC, pp 2989-2994 |
| [7] | Angeli, D.; Ferrell, JE; Sontag, ED, Detection of multistability, bifurcations, and hysteresis in a large class of biological positive-feedback systems, Proc Natl Acad Sci, 101, 1822-1827, (2004) · doi:10.1073/pnas.0308265100 |
| [8] | Arvanitogeōrgos A (2003) An introduction to Lie groups and the geometry of homogeneous spaces, vol 22. American Mathematical Society, Providence · Zbl 1045.53001 |
| [9] | Besse A (1987) Einstein manifolds: classics in mathematics. Springer, Berlin · Zbl 0613.53001 · doi:10.1007/978-3-540-74311-8 |
| [10] | Bhatia R (2007) Positive definite matrices. Princeton University Press, Princeton · Zbl 1133.15017 |
| [11] | Leenheer, P.; Angeli, D.; Sontag, ED, Monotone chemical reaction networks, J Math Chem, 41, 295-314, (2007) · Zbl 1117.80309 · doi:10.1007/s10910-006-9075-z |
| [12] | Edelman, A.; Arias, TA; Smith, ST, The geometry of algorithms with orthogonality constraints, SIAM J Matrix Anal Appl, 20, 303-353, (1999) · Zbl 0928.65050 · doi:10.1137/S0895479895290954 |
| [13] | Enciso, G.; Sontag, ED, Monotone systems under positive feedback: multistability and a reduction theorem, Syst Control Lett, 54, 159-168, (2005) · Zbl 1129.93398 · doi:10.1016/j.sysconle.2004.08.003 |
| [14] | Farina L, Rinaldi S (2000) Positive linear systems: theory and applications. Pure and applied mathematics. Wiley, New York · Zbl 0988.93002 · doi:10.1002/9781118033029 |
| [15] | Forni F (2015) Differential positivity on compact sets. In: 2015 54th IEEE conference on decision and control (CDC), pp 6355-6360 |
| [16] | Forni F, Sepulchre R (2014) Differential analysis of nonlinear systems: revisiting the pendulum example. In: 53rd IEEE conference of decision and control, Los Angeles · Zbl 1360.93597 |
| [17] | Forni, F.; Sepulchre, R., Differentially positive systems, IEEE Trans Autom Control, 61, 346-359, (2016) · Zbl 1359.93391 · doi:10.1109/TAC.2015.2437523 |
| [18] | Forni F, Sepulchre R (2018) Differential dissipativity theory for dominance analysis. IEEE Trans Autom Control. https://doi.org/10.1109/TAC.2018.2867920 · Zbl 1482.93489 |
| [19] | Fusco, G.; Oliva, W., A Perron theorem for the existence of invariant subspaces, WM Annali di Matematica pura ed applicata, 160, 63-76, (1991) · Zbl 0784.47039 · doi:10.1007/BF01764120 |
| [20] | Goodall, CR; Mardia, KV, Projective shape analysis, J Comput Gr Stat, 8, 143-168, (1999) |
| [21] | Grussler C, Rantzer A (2014) Modified balanced truncation preserving ellipsoidal cone-invariance. In: 53rd IEEE conference on decision and control, pp 2365-2370. https://doi.org/10.1109/CDC.2014.7039749 |
| [22] | Grussler C, Sepulchre R (2018) Strongly unimodal systems. arXiv preprint arXiv:181103986 |
| [23] | Grussler C, Umenberger J, Manchester IR (2017) Identification of externally positive systems. In: 2017 IEEE 56th annual conference on decision and control (CDC), pp 6549-6554. https://doi.org/10.1109/CDC.2017.8264646 |
| [24] | Hilgert J, Neeb KH (2006) Lie semigroups and their applications. Springer, Berlin · Zbl 0807.22001 |
| [25] | Hilgert J, Hofmann KH, Lawson J (1989) Lie groups, convex cones, and semi-groups. Oxford University Press, Oxford · Zbl 0701.22001 |
| [26] | Hirsch, MW, Stability and convergence in strongly monotone dynamical systems, Journal für die reine und angewandte Mathematik, 383, 1-53, (1988) · Zbl 0624.58017 |
| [27] | Jadbabaie, A.; Lin, J., Coordination of groups of mobile autonomous agents using nearest neighbor rules, IEEE Trans Autom Control, 48, 988-1001, (2003) · Zbl 1364.93514 · doi:10.1109/TAC.2003.812781 |
| [28] | Kleiman, SL; Laksov, D., Schubert calculus, Am Math Mon, 79, 1061-1082, (1972) · Zbl 0272.14016 · doi:10.1080/00029890.1972.11993188 |
| [29] | Lang S (2012) Fundamentals of differential geometry, vol 191. Springer, Berlin · Zbl 0995.53001 |
| [30] | Lawson, JD, Polar and Ol’shanski decompositions, Semin Sophus Lie, 1, 163-173, (1991) · Zbl 0760.22006 |
| [31] | Lee JM (2003) Introduction to smooth manifolds. Graduate texts in mathematics. Springer, New York · doi:10.1007/978-0-387-21752-9 |
| [32] | Löwner, K., Über monotone matrixfunktionen, Mathematische Zeitschrift, 38, 177-216, (1934) · Zbl 0008.11301 · doi:10.1007/BF01170633 |
| [33] | Luenberger DG (1979) Introduction to dynamic systems: theory, models, and applications, vol 1. Wiley, New York · Zbl 0458.93001 |
| [34] | Montenbruck, JM; Allgöwer, F., Asymptotic stabilization of submanifolds embedded in riemannian manifolds, Automatica, 74, 349-359, (2016) · Zbl 1348.93228 · doi:10.1016/j.automatica.2016.07.026 |
| [35] | Moreau L (2004) Stability of continuous-time distributed consensus algorithms. In: 43rd IEEE conference on decision and control, vol 4, pp 3998-4003 |
| [36] | Mostajeran, C.; Sepulchre, R., Invariant Differential Positivity and Consensus on Lie Groups, IFAC-PapersOnLine, 49, 630-635, (2016) · doi:10.1016/j.ifacol.2016.10.236 |
| [37] | Mostajeran C, Sepulchre R (2017) Affine-invariant orders on the set of positive-definite matrices. In: International conference on the geometric science of information. Springer · Zbl 1428.15035 |
| [38] | Mostajeran C, Sepulchre R (2017) Differential positivity with respect to cones of rank k. In: IFAC world congress · Zbl 1428.15035 |
| [39] | Mostajeran, Cyrus; Sepulchre, Rodolphe, Ordering positive definite matrices, Information Geometry, 1, 287-313, (2018) · Zbl 1428.15035 · doi:10.1007/s41884-018-0003-7 |
| [40] | Mostajeran, C.; Sepulchre, R., Positivity, monotonicity, and consensus on Lie groups, SIAM J Control Optim, 56, 2436-2461, (2018) · Zbl 1393.37022 · doi:10.1137/17M1127168 |
| [41] | Neeb, KH, Conal orders on homogeneous spaces, Invent Math, 104, 467-496, (1991) · Zbl 0762.22022 · doi:10.1007/BF01245086 |
| [42] | Newhouse S (2004) Cone-fields, domination, and hyperbolicity. In: Brin M, Hasselblatt B, Katok AB, Pesin Y (eds) Modern dynamical systems and applications. Cambridge University Press, pp 419-432 · Zbl 1147.37322 |
| [43] | Ohta, Y.; Maeda, H.; Kodama, S., Reachability, observability, and realizability of continuous-time positive systems, SIAM J Control Optim, 22, 171-180, (1984) · Zbl 0539.93005 · doi:10.1137/0322013 |
| [44] | Olfati-Saber, R., Flocking for multi-agent dynamic systems: algorithms and theory, IEEE Trans Autom Control, 51, 401-420, (2006) · Zbl 1366.93391 · doi:10.1109/TAC.2005.864190 |
| [45] | Olfati-Saber, R.; Fax, J.; Murray, R., Consensus and cooperation in networked multi-agent systems, Proc IEEE, 95, 215-233, (2007) · Zbl 1376.68138 · doi:10.1109/JPROC.2006.887293 |
| [46] | Sanchez, LA, Cones of rank 2 and the Poincare-Bendixson property for a new class of monotone systems, J Differ Equ, 246, 1978-1990, (2009) · Zbl 1171.34025 · doi:10.1016/j.jde.2008.10.015 |
| [47] | Sanchez, LA, Existence of periodic orbits for high-dimensional autonomous systems, J Math Anal Appl, 363, 409-418, (2010) · Zbl 1203.34051 · doi:10.1016/j.jmaa.2009.08.058 |
| [48] | Sepulchre, R., Consensus on nonlinear spaces, Ann Rev Control, 35, 56-64, (2011) · doi:10.1016/j.arcontrol.2011.03.003 |
| [49] | Sepulchre R, Sarlette A, Rouchon P (2010) Consensus in non-commutative spaces. In: 49th IEEE conference on decision and control (CDC), pp 6596-6601. https://doi.org/10.1109/CDC.2010.5717072 |
| [50] | Smith HL (1995) Monotone dynamical systems. AMS, Providence · Zbl 0821.34003 |
| [51] | Smith HL (2008) Monotone dynamical systems: an introduction to the theory of competitive and cooperative systems, vol 41. American Mathematical Society, Providence · doi:10.1090/surv/041 |
| [52] | Smith, HL; Leenheer, P., Virus dynamics: a global analysis, SIAM J Appl Math, 63, 1313-1327, (2003) · Zbl 1035.34045 · doi:10.1137/S0036139902406905 |
| [53] | Smith, ST, Covariance, subspace, and intrinsic Cramer-Rao bounds, IEEE Trans Signal Process, 53, 1610-1630, (2005) · Zbl 1370.94242 · doi:10.1109/TSP.2005.845428 |
| [54] | Turaga P, Veeraraghavan A, Chellappa R (2008) Statistical analysis on stiefel and grassmann manifolds with applications in computer vision. In: IEEE conference on computer vision and pattern recognition, 2008—CVPR 2008. IEEE, pp 1-8 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
