PlanetPhysics/General Dynamic Systems
General dynamic system descriptions as stable space-time structures
editIntroduction: General system description
editA general system can be described as a dynamical `whole', or entity capable of maintaining its working conditions; more precise system definitions are as follows.
A simple system is in general a bounded , but not necessarily closed, entity-- here represented as a category of stable, interacting components with inputs and outputs from the system's environment, or as a supercategory for a complex system consisting of subsystems, or components, with internal boundaries among such subsystems. In order to define a system one therefore needs to specify the following data:
- components or subsystems;
- mutual interactions, relations or links;
- a separation of the selected system by some boundary which distinguishes the system from its environment, without necessarily `closing' the system to material exchange with its environment;
- the specification of the system's environment;
- the specification of the system's categorical structure and dynamics (a supercategory will be required only when either the components or subsystems need be themselves considered as represented by a category , i.e. the system is in fact a super-system of (sub)systems, as it is the case of emergent super-complex systems or organisms).
Remarks
editPoint (5) claims that a system should occupy either a macroscopic or a microscopic space-time region, but a system that comes into birth and dies off extremely rapidly may be considered either a short-lived process, or rather, a `resonance' --an instability rather than a system, although it may have significant effects as in the case of `virtual particles', `virtual photons', etc., as in quantum electrodynamics and chromodynamics. Note also that there are many other, different mathematical definitions of systems, ranging from (systems of) coupled differential equations to operator formulations, semigroups, monoids, topological groupoid dynamic systems and dynamic categories. Clearly, the more useful system definitions include algebraic and/or topological structures rather than simple, discrete structure sets, classes or their categories. The main intuition behind this first understanding of system is well expressed by the following passage: The most general and fundamental property of a system is theinter-dependence of parts/components/sub-systems or variables.
The inter-dependence relation consists in the existence of a family of determinate relationships among the parts or variables as contrasted with randomness or extreme variability. In other words, inter-dependence is the presence or existence of a certain organizational order in the relationship among the components or subsystems which make up the system. It can be shown that such organizational order must either result in a stable attractor or else it should occupy a stable space-time domain, which is generally expressed in closed systems by the concept of equilibrium.
On the other hand, in non-equilibrium, open systems, such as living systems, one cannot have a static but only a dynamic self-maintenance in a `state-space region' of the open system -- which cannot degenerate to either an equilibrium state or a single attractor space-time region. Thus, non-equilibrium, open systems that are capable of self-maintenance will also be generic, or structurally-stable : their arbitrary, small perturbation from a homeostatic maintenance regime does not result either in completely chaotic dynamics with a single attractor or the loss of their stability. It may however involve an ordered process of change - a process that follows a determinate, multi-stable pattern rather than random variation relative to the starting point.
General dynamic system definition
editA formal (but natural) definition of a general dynamic system , either simple or complex can also be specified as follows.
A general dynamic system is a quintuple Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikiversity.org/v1/":): {\displaystyle ([I,O], [\lambda: I \to O], \R_S , [\Delta: \R_S \to \R_S], \grp_B)} , where:
- and are, respectively, the input and output manifolds of the system , ;
- is a category with structure determined by the components of as objects and
with the links or relations between such components as morphisms;
- is the `dynamic transition' functor in the functor category
of system endomorphisms (which is endowed with a groupoid structure only in the case of reversible, closed systems);
- is the output `function or map' represented as a manifold homeomorphism;
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikiversity.org/v1/":): {\displaystyle \grp_B} is a topological groupoid specifying the boundary, or boundaries, of .
Remark . We can proceed to define automata and certain simpler quantum systems as particular, or specialized, cases of the above general dynamic system quintuple.
All Sources
editReferences
edit- ↑ Hirsch, M.W. 1976. Differential Topology , Springer-Verlag, New York, NY, 1976.
- ↑ Jones, A., Gray, A., and Hutton, R., Manifolds and Mechanics. , Cambridge University Press, Cambridge, UK, 1987.
- ↑ Kosinski, A.A., Differential Manifolds , Academic Press, San Diego, CA, 1993.
- ↑ Kohavi, Z.,Switching and Finite Automata Theory. , 2nd edition, McGraw-Hill, New York, NY, 1978.
- ↑ Lambek, J., and Scott, P.J., Introduction to Higher Order Categorical. Logic, Cambridge University Press, Cambridge, UK, 1986.
- ↑ Lang, S., Algebra. , 2nd edition, Addison-Wesley, Menlo Park, CA, 1984.
- ↑ Lang, S., Differential Manifolds. , Springer-Verlag, New York, NY, 1985.
- ↑ Lie, S.,1975. Sophus Lie's 1880 Transformation Group Paper, in Lie Groups : History, Frontiers, and Applications. , Volume 1, translated by M. Ackerman, comments by R. Hermann, Math Sci Press, Brookline, MA, 1975. Original paper 1880.
- ↑ Lie, S., 1976. Sophus Lie's 1884 Differential Invariant Paper, in Lie Groups : History, Frontiers, and Applications. , Volume 3, translated by M. Ackerman, comments by R. Hermann, Math Sci Press, Brookline, MA, 1976. Original paper 1884.