|
Hyperbolic Set
In dynamical systems theory, a subset Λ of a smooth manifold ''M'' is said to have a hyperbolic structure with respect to a smooth map ''f'' if its tangent bundle may be split into two invariant subbundles, one of which is contracting and the other is expanding under ''f'', with respect to some Riemannian metric on ''M''. An analogous definition applies to the case of flows. In the special case when the entire manifold ''M'' is hyperbolic, the map ''f'' is called an Anosov diffeomorphism. The dynamics of ''f'' on a hyperbolic set, or hyperbolic dynamics, exhibits features of local structural stability and has been much studied, cf. Axiom A. Definition Let ''M'' be a compact smooth manifold, ''f'': ''M'' → ''M'' a diffeomorphism, and ''Df'': ''TM'' → ''TM'' the differential of ''f''. An ''f''-invariant subset Λ of ''M'' is said to be hyperbolic, or to have a hyperbolic structure, if the restriction to Λ of the tangent bundle of ''M'' admits a sp ... [...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] |
Pushforward (differential)
In differential geometry, pushforward is a linear approximation of smooth maps (formulating manifold) on tangent spaces. Suppose that \varphi\colon M\to N is a smooth map between smooth manifolds; then the differential of \varphi at a point x, denoted \mathrm d\varphi_x, is, in some sense, the best linear approximation of \varphi near x. It can be viewed as a generalization of the total derivative of ordinary calculus. Explicitly, the differential is a linear map from the tangent space of M at x to the tangent space of N at \varphi(x), \mathrm d\varphi_x\colon T_xM \to T_N. Hence it can be used to ''push'' tangent vectors on M ''forward'' to tangent vectors on N. The differential of a map \varphi is also called, by various authors, the derivative or total derivative of \varphi. Motivation Let \varphi: U \to V be a Smooth function#Smooth functions on and between manifolds, smooth map from an Open subset#Euclidean space, open subset U of \R^m to an open subset V of \R^n. For an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Periodic Orbit
In mathematics, in the study of iterated functions and dynamical systems, a periodic point of a function is a point which the system returns to after a certain number of function iterations or a certain amount of time. Iterated functions Given a mapping from a set into itself, :f: X \to X, a point in is called periodic point if there exists an >0 so that :\ f_n(x) = x where is the th iterate of . The smallest positive integer satisfying the above is called the ''prime period'' or ''least period'' of the point . If every point in is a periodic point with the same period , then is called ''periodic'' with period (this is not to be confused with the notion of a periodic function). If there exist distinct and such that :f_n(x) = f_m(x) then is called a preperiodic point. All periodic points are preperiodic. If is a diffeomorphism of a differentiable manifold, so that the derivative f_n^\prime is defined, then one says that a periodic point is ''hyperbolic'' if :, f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Absolute Value
In mathematics, the absolute value or modulus of a real number x, is the non-negative value without regard to its sign. Namely, , x, =x if x is a positive number, and , x, =-x if x is negative (in which case negating x makes -x positive), and For example, the absolute value of 3 and the absolute value of −3 is The absolute value of a number may be thought of as its distance from zero. Generalisations of the absolute value for real numbers occur in a wide variety of mathematical settings. For example, an absolute value is also defined for the complex numbers, the quaternions, ordered rings, fields and vector spaces. The absolute value is closely related to the notions of magnitude, distance, and norm in various mathematical and physical contexts. Terminology and notation In 1806, Jean-Robert Argand introduced the term ''module'', meaning ''unit of measure'' in French, specifically for the ''complex'' absolute value,Oxford English Dictionary, Draft Revision, Ju ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eigenvalues And Eigenvectors
In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by a constant factor \lambda when the linear transformation is applied to it: T\mathbf v=\lambda \mathbf v. The corresponding eigenvalue, characteristic value, or characteristic root is the multiplying factor \lambda (possibly a negative or complex number). Geometrically, vectors are multi-dimensional quantities with magnitude and direction, often pictured as arrows. A linear transformation rotates, stretches, or shears the vectors upon which it acts. A linear transformation's eigenvectors are those vectors that are only stretched or shrunk, with neither rotation nor shear. The corresponding eigenvalue is the factor by which an eigenvector is stretched or shrunk. If the eigenvalue is negative, the eigenvector's direction is reversed. Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fixed Point (mathematics)
In mathematics, a fixed point (sometimes shortened to fixpoint), also known as an invariant point, is a value that does not change under a given transformation (mathematics), transformation. Specifically, for function (mathematics), functions, a fixed point is an element that is mapped to itself by the function. Any set of fixed points of a transformation is also an invariant set. Fixed point of a function Formally, is a fixed point of a function if belongs to both the domain of a function, domain and the codomain of , and . In particular, cannot have any fixed point if its domain is disjoint from its codomain. If is defined on the real numbers, it corresponds, in graphical terms, to a curve in the Euclidean plane, and each fixed-point corresponds to an intersection of the curve with the line , cf. picture. For example, if is defined on the real numbers by f(x) = x^2 - 3 x + 4, then 2 is a fixed point of , because . Not all functions have fixed points: for example, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperbolic Equilibrium Point
In the study of dynamical systems, a hyperbolic equilibrium point or hyperbolic fixed point is a fixed point that does not have any center manifolds. Near a hyperbolic point the orbits of a two-dimensional, non-dissipative system resemble hyperbolas. This fails to hold in general. Strogatz notes that "hyperbolic is an unfortunate name—it sounds like it should mean 'saddle point'—but it has become standard." Several properties hold about a neighborhood of a hyperbolic point, notably * A stable manifold and an unstable manifold exist, * Shadowing occurs, * The dynamics on the invariant set can be represented via symbolic dynamics, * A natural measure can be defined, * The system is structurally stable. Maps If T \colon \mathbb^ \to \mathbb^ is a ''C''1 map and ''p'' is a fixed point then ''p'' is said to be a hyperbolic fixed point when the Jacobian matrix \operatorname T (p) has no eigenvalues on the complex unit circle. One example of a map whose only fixed point is ... [...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] |
Whitney Sum
In mathematics, a vector bundle is a topological construction that makes precise the idea of a Family of sets, family of vector spaces parameterized by another space (mathematics), space X (for example X could be a topological space, a manifold, or an algebraic variety): to every point x of the space X we associate (or "attach") a vector space V(x) in such a way that these vector spaces fit together to form another space of the same kind as X (e.g. a topological space, manifold, or algebraic variety), which is then called a vector bundle over X. The simplest example is the case that the family of vector spaces is constant, i.e., there is a fixed vector space V such that V(x)=V for all x in X: in this case there is a copy of V for each x in X and these copies fit together to form the vector bundle X\times V over X. Such vector bundles are said to be Fiber bundle#Trivial bundle, ''trivial''. A more complicated (and prototypical) class of examples are the tangent bundles of manifold, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diffeomorphism
In mathematics, a diffeomorphism is an isomorphism of differentiable manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are continuously differentiable. Definition Given two differentiable manifolds M and N, a Differentiable manifold#Differentiability of mappings between manifolds, continuously differentiable map f \colon M \rightarrow N is a diffeomorphism if it is a bijection and its inverse f^ \colon N \rightarrow M is differentiable as well. If these functions are r times continuously differentiable, f is called a C^r-diffeomorphism. Two manifolds M and N are diffeomorphic (usually denoted M \simeq N) if there is a diffeomorphism f from M to N. Two C^r-differentiable manifolds are C^r-diffeomorphic if there is an r times continuously differentiable bijective map between them whose inverse is also r times continuously differentiable. Diffeomorphisms of subsets of manifolds Given a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smooth Manifold
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible (namely, the transition from one chart to another is differentiable), then computations done in one chart are valid in any other differentiable chart. In formal terms, a differentiable manifold is a topological manifold with a globally defined differential structure. Any topological manifold can be given a differential structure locally by using the homeomorphisms in its atlas and the standard differential structure on a vector space. To induce a global differential structure on the local coordinate systems induced by the homeomorphisms, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
