Hyperbolic fixed point
   HOME

TheInfoList



OR:

In the study of
dynamical system In mathematics, a dynamical system is a system in which a Function (mathematics), function describes the time dependence of a Point (geometry), point in an ambient space, such as in a parametric curve. Examples include the mathematical models ...
s, a hyperbolic equilibrium point or hyperbolic fixed point is a fixed point that does not have any
center manifold In the mathematics of evolving systems, the concept of a center manifold was originally developed to determine stability of degenerate equilibria. Subsequently, the concept of center manifolds was realised to be fundamental to mathematical modellin ...
s. Near a
hyperbolic Hyperbolic may refer to: * of or pertaining to a hyperbola, a type of smooth curve lying in a plane in mathematics ** Hyperbolic geometry, a non-Euclidean geometry ** Hyperbolic functions, analogues of ordinary trigonometric functions, defined u ...
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 In mathematics, a saddle point or minimax point is a Point (geometry), point on the surface (mathematics), surface of the graph of a function where the slopes (derivatives) in orthogonal directions are all zero (a Critical point (mathematics), ...
'—but it has become standard." Several properties hold about a neighborhood of a hyperbolic point, notably * A
stable 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 repell ...
and an unstable manifold exist, * Shadowing occurs, * The dynamics on the invariant set can be represented via
symbolic dynamics In mathematics, symbolic dynamics is the study of dynamical systems defined on a discrete space consisting of infinite sequences of abstract symbols. The evolution of the dynamical system is defined as a simple shift of the sequence. Because of t ...
, * 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 In vector calculus, the Jacobian matrix (, ) of a vector-valued function of several variables is the matrix of all its first-order partial derivatives. If this matrix is square, that is, if the number of variables equals the number of component ...
\operatorname T (p) has no
eigenvalues 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 ...
on the complex unit circle. One example of a
map A map is a symbolic depiction of interrelationships, commonly spatial, between things within a space. A map may be annotated with text and graphics. Like any graphic, a map may be fixed to paper or other durable media, or may be displayed on ...
whose only fixed point is hyperbolic is
Arnold's cat map In mathematics, Arnold's cat map is a chaos theory, chaotic map from the torus into itself, named after Vladimir Arnold, who demonstrated its effects in the 1960s using an image of a cat, hence the name. It is a simple and pedagogical example for ...
: :\begin x_\\ y_ \end = \begin 1 & 1 \\ 1 & 2\end \begin x_n\\ y_n\end Since the eigenvalues are given by :\lambda_1=\frac :\lambda_2=\frac We know that the Lyapunov exponents are: :\lambda_1=\frac>1 :\lambda_2=\frac<1 Therefore it is a saddle point.


Flows

Let F \colon \mathbb^ \to \mathbb^ be a ''C''1
vector field In vector calculus and physics, a vector field is an assignment of a vector to each point in a space, most commonly Euclidean space \mathbb^n. A vector field on a plane can be visualized as a collection of arrows with given magnitudes and dire ...
with a critical point ''p'', i.e., ''F''(''p'') = 0, and let ''J'' denote the
Jacobian matrix In vector calculus, the Jacobian matrix (, ) of a vector-valued function of several variables is the matrix of all its first-order partial derivatives. If this matrix is square, that is, if the number of variables equals the number of component ...
of ''F'' at ''p''. If the matrix ''J'' has no eigenvalues with zero real parts then ''p'' is called hyperbolic. Hyperbolic fixed points may also be called hyperbolic critical points or elementary critical points. The Hartman–Grobman theorem states that the orbit structure of a dynamical system in a
neighbourhood A neighbourhood (Commonwealth English) or neighborhood (American English) is a geographically localized community within a larger town, city, suburb or rural area, sometimes consisting of a single street and the buildings lining it. Neighbourh ...
of a hyperbolic equilibrium point is
topologically equivalent In mathematics, two functions are said to be topologically conjugate if there exists a homeomorphism that will conjugate the one into the other. Topological conjugacy, and related-but-distinct of flows, are important in the study of iterated fun ...
to the orbit structure of the linearized dynamical system.


Example

Consider the nonlinear system : \begin \frac & = y, \\ pt\frac & = -x-x^3-\alpha y,~ \alpha \ne 0 \end (0, 0) is the only equilibrium point. The Jacobian matrix of the linearization at the equilibrium point is :J(0,0) = \left \begin 0 & 1 \\ -1 & -\alpha \end \right The eigenvalues of this matrix are \frac. For all values of ''α'' ≠ 0, the eigenvalues have non-zero real part. Thus, this equilibrium point is a hyperbolic equilibrium point. The linearized system will behave similar to the non-linear system near (0, 0). When ''α'' = 0, the system has a nonhyperbolic equilibrium at (0, 0).


Comments

In the case of an infinite dimensional system—for example systems involving a time delay—the notion of the "hyperbolic part of the spectrum" refers to the above property.


See also

*
Anosov flow In mathematics, more particularly in the fields of dynamical systems and geometric topology, an Anosov map on a manifold ''M'' is a certain type of mapping, from ''M'' to itself, with rather clearly marked local directions of "expansion" and "contr ...
*
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 th ...
*
Normally hyperbolic invariant manifold A normally hyperbolic invariant manifold (NHIM) is a natural generalization of a hyperbolic fixed point and a hyperbolic set. The difference can be described heuristically as follows: For a manifold \Lambda to be normally hyperbolic we are allo ...


Notes


References

* {{Scholarpedia, title=Equilibrium, urlname=Equilibrium, curator=Eugene M. Izhikevich Limit sets Stability theory