|
Morse–Smale System
In dynamical systems theory, an area of pure mathematics, a Morse–Smale system is a smooth dynamical system whose non-wandering set consists of finitely many hyperbolic equilibrium points and hyperbolic set, hyperbolic periodic orbits and satisfying a transversality condition on the stable manifold, stable and unstable manifolds. Morse–Smale systems are structural stability, structurally stable and form one of the simplest and best studied classes of smooth dynamical systems. They are named after Marston Morse, the creator of the Morse theory, and Stephen Smale, who emphasized their importance for smooth dynamics and algebraic topology. Definition Consider a smooth and Vector field#Complete vector fields, complete vector field ''X'' defined on a compact differentiable manifold ''M'' with dimension ''n''. The flow defined by this vector field is a Morse-Smale system if # ''X'' has only a finite number of singular points (i.e. equilibrium points of the flow), and all of them ar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dynamical Systems Theory
Dynamical systems theory is an area of mathematics used to describe the behavior of complex systems, complex dynamical systems, usually by employing differential equations by nature of the ergodic theory, ergodicity of dynamic systems. When differential equations are employed, the theory is called continuous time, ''continuous dynamical systems''. From a physical point of view, continuous dynamical systems is a generalization of classical mechanics, a generalization where the equations of motion are postulated directly and are not constrained to be Euler–Lagrange equations of a Principle of least action, least action principle. When difference equations are employed, the theory is called discrete time, ''discrete dynamical systems''. When the time variable runs over a set that is discrete over some intervals and continuous over other intervals or is any arbitrary time-set such as a Cantor set, one gets dynamic equations on time scales. Some situations may also be modeled by mixed ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Limit Set
In mathematics, especially in the study of dynamical systems, a limit set is the state a dynamical system reaches after an infinite amount of time has passed, by either going forward or backwards in time. Limit sets are important because they can be used to understand the long term behavior of a dynamical system. A system that has reached its limiting set is said to be at equilibrium. Types * fixed points * periodic orbits * limit cycles * attractors In general, limits sets can be very complicated as in the case of strange attractors, but for 2-dimensional dynamical systems the Poincaré–Bendixson theorem provides a simple characterization of all nonempty, compact \omega-limit sets that contain at most finitely many fixed points as a fixed point, a periodic orbit, or a union of fixed points and homoclinic or heteroclinic orbits connecting those fixed points. Definition for iterated functions Let X be a metric space, and let f:X\rightarrow X be a continuous function. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peixoto's Theorem
In the theory of dynamical systems, Peixoto's theorem, proved by Maurício Peixoto, states that among all smooth flows on surfaces, i.e. compact two-dimensional manifolds, structurally stable systems may be characterized by the following properties: * The set of non-wandering points consists only of periodic orbits and fixed points. * The set of fixed points is finite and consists only of hyperbolic equilibrium points. * Finiteness of attracting or repelling periodic orbits. * Absence of saddle-to-saddle connections. Moreover, they form an open set in the space of all flows endowed with ''C''1 topology. See also * Andronov–Pontryagin criterion References * Jacob Palis, W. de Melo, ''Geometric Theory of Dynamical Systems''. Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Separatrix (dynamical Systems)
In mathematics, a separatrix is the boundary separating two modes of behaviour in a ordinary differential equation, differential equation.Blanchard, Paul, ''Differential Equations'', 4th ed., 2012, Brooks/Cole, Boston, MA, pg. 469. Examples Simple pendulum Consider the differential equation describing the motion of a simple pendulum: :+ \sin\theta=0. where \ell denotes the length of the pendulum, g the gravitational acceleration and \theta the angle between the pendulum and vertically downwards. In this system there is a conserved quantity H (the Hamiltonian mechanics, Hamiltonian), which is given by H = \frac - \frac\cos\theta. With this defined, one can plot a curve of constant ''H'' in the phase space of system. The phase space is a graph with \theta along the horizontal axis and \dot on the vertical axis – see the thumbnail to the right. The type of resulting curve depends upon the value of ''H''. If H<-\frac then no curve exists (because ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Flow (mathematics)
In mathematics, a flow formalizes the idea of the motion of particles in a fluid. Flows are ubiquitous in science, including engineering and physics. The notion of flow is basic to the study of ordinary differential equations. Informally, a flow may be viewed as a continuous motion of points over time. More formally, a flow is a group action of the real numbers on a set. The idea of a vector flow, that is, the flow determined by a vector field, occurs in the areas of differential topology, Riemannian geometry and Lie groups. Specific examples of vector flows include the geodesic flow, the Hamiltonian flow, the Ricci flow, the mean curvature flow, and Anosov flows. Flows may also be defined for systems of random variables and stochastic processes, and occur in the study of ergodic dynamical systems. The most celebrated of these is perhaps the Bernoulli flow. Formal definition A flow on a set is a group action of the additive group of real numbers on . More explicit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Critical Point (mathematics)
In mathematics, a critical point is the argument of a function where the function derivative is zero (or undefined, as specified below). The value of the function at a critical point is a . More specifically, when dealing with functions of a real variable, a critical point is a point in the domain of the function where the function derivative is equal to zero (also known as a ''stationary point'') or where the function is not differentiable. Similarly, when dealing with complex variables, a critical point is a point in the function's domain where its derivative is equal to zero (or the function is not ''holomorphic''). Likewise, for a function of several real variables, a critical point is a value in its domain where the gradient norm is equal to zero (or undefined). This sort of definition extends to differentiable maps between and a critical point being, in this case, a point where the rank of the Jacobian matrix is not maximal. It extends further to differentiable ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unstable Manifold
In mathematics, and in particular the study of dynamical systems, the idea of ''stable and unstable sets'' or stable and unstable manifolds give a formal mathematical definition to the general notions embodied in the idea of an attractor or repellor. In the case of hyperbolic dynamics, the corresponding notion is that of the hyperbolic set. Physical example The gravitational tidal forces acting on the rings of Saturn provide an easy-to-visualize physical example. The tidal forces flatten the ring into the equatorial plane, even as they stretch it out in the radial direction. Imagining the rings to be sand or gravel particles ("dust") in orbit around Saturn, the tidal forces are such that any perturbations that push particles above or below the equatorial plane results in that particle feeling a restoring force, pushing it back into the plane. Particles effectively oscillate in a harmonic well, damped by collisions. The stable direction is perpendicular to the ring. The unstable ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemannian Manifold
In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the N-sphere, n-sphere, hyperbolic space, and smooth surfaces in three-dimensional space, such as ellipsoids and paraboloids, are all examples of Riemannian manifold, manifolds. Riemannian manifolds are named after German mathematician Bernhard Riemann, who first conceptualized them. Formally, a Riemannian metric (or just a metric) on a smooth manifold is a choice of inner product for each tangent space of the manifold. A Riemannian manifold is a smooth manifold together with a Riemannian metric. The techniques of differential and integral calculus are used to pull geometric data out of the Riemannian metric. For example, integration leads to the Riemannian distance function, whereas differentiation is used to define curvature and parallel transport. Any smooth surface in three-dimensional Eucl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact Space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space. The idea is that a compact space has no "punctures" or "missing endpoints", i.e., it includes all ''limiting values'' of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval ,1would be compact. Similarly, the space of rational numbers \mathbb is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers \mathbb is not compact either, because it excludes the two limiting values +\infty and -\infty. However, the ''extended'' real number line ''would'' be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topological spaces. One suc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Morse Function
In mathematics, specifically in differential topology, Morse theory enables one to analyze the topology of a manifold by studying differentiable functions on that manifold. According to the basic insights of Marston Morse, a typical differentiable function on a manifold will reflect the topology quite directly. Morse theory allows one to find CW structures and handle decompositions on manifolds and to obtain substantial information about their homology. Before Morse, Arthur Cayley and James Clerk Maxwell had developed some of the ideas of Morse theory in the context of topography. Morse originally applied his theory to geodesics ( critical points of the energy functional on the space of paths). These techniques were used in Raoul Bott's proof of his periodicity theorem. The analogue of Morse theory for complex manifolds is Picard–Lefschetz theory. Basic concepts To illustrate, consider a mountainous landscape surface M (more generally, a manifold). If f is the fu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
