Misplaced Pages

Hyperbolic equilibrium point: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editContent deleted Content addedVisualWikitext
Revision as of 06:19, 25 April 2009 editArcfrk (talk | contribs)Autopatrolled, Extended confirmed users, Pending changes reviewers3,194 edits sharpened cat; - stub tag; links; minor c/e← Previous edit Latest revision as of 04:28, 29 February 2024 edit undo140.180.240.109 (talk) Maps 
(69 intermediate revisions by 41 users not shown)
Line 1: Line 1:
In the study of ]s, a '''hyperbolic equilibrium point''' or '''hyperbolic fixed point''' is a ] that does not have any ]s. Near a ] point the orbits of a two-dimensional, ] system resemble hyperbolas. This fails to hold in general. ] notes that "hyperbolic is an unfortunate name—it sounds like it should mean ']'—but it has become standard."<ref>{{cite book |last=Strogatz |first=Steven |title=Nonlinear Dynamics and Chaos |year=2001 |publisher=Westview Press |isbn=0-7382-0453-6 |url-access=registration |url=https://archive.org/details/nonlineardynamic00stro }}</ref> Several properties hold about a neighborhood of a hyperbolic point, notably<ref>{{cite book |last=Ott |first=Edward |title=Chaos in Dynamical Systems |url=https://archive.org/details/chaosindynamical0000otte |url-access=registration |year=1994 |publisher=Cambridge University Press |isbn=0-521-43799-7 }}</ref>
In ], especially in the study of ]s, a '''hyperbolic equilibrium point''' or '''hyperbolic fixed point''' is a special type of an ''equilibrium'', or a ].
]
* A ] and an unstable manifold exist,
* ] occurs,
* The dynamics on the invariant set can be represented via ],
* A natural measure can be defined,
* The system is ].


== Maps ==
The ] states that the orbit structure of a dynamical system in a ] of a hyperbolic fixed point is ] to the orbit structure of the ] dynamical system.
If <math>T \colon \mathbb{R}^{n} \to \mathbb{R}^{n}</math> is a ''C''<sup>1</sup> map and ''p'' is a ] then ''p'' is said to be a '''hyperbolic fixed point''' when the ] <math>\operatorname{D} T (p)</math> has no ] on the complex unit circle.


One example of a ] whose only fixed point is hyperbolic is ]:
== Definition ==


:<math>\begin{bmatrix} x_{n+1}\\ y_{n+1} \end{bmatrix} = \begin{bmatrix} 1 & 1 \\ 1 & 2\end{bmatrix} \begin{bmatrix} x_n\\ y_n\end{bmatrix} </math>
Let
:<math>F: \mathbb{R}^n \to \mathbb{R}^n</math>
be a ''C''<sup>1</sup> (that is, continuously differentiable) ] with fixed point ''p'' and let ''J'' denote the ] 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'''.<ref>Ralph Abraham and Jerrold E. Marsden, ''Foundations of Mechanics'', (1978) Benjamin/Cummings Publishing, Reading Mass. ISBN 0-8053-0102-X</ref>


Since the eigenvalues are given by
== Example ==

:<math>\lambda_1=\frac{3+\sqrt{5}}{2}</math>
:<math>\lambda_2=\frac{3-\sqrt{5}}{2}</math>

We know that the Lyapunov exponents are:

:<math>\lambda_1=\frac{\ln(3+\sqrt{5})}{2}>1</math>
:<math>\lambda_2=\frac{\ln(3-\sqrt{5})}{2}<1</math>

Therefore it is a saddle point.

== Flows ==

Let <math>F \colon \mathbb{R}^{n} \to \mathbb{R}^{n}</math> be a ''C''<sup>1</sup> ] with a critical point ''p'', i.e., ''F''(''p'') = 0, and let ''J'' denote the ] 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'''.<ref>{{cite book |first=Ralph |last=Abraham |first2=Jerrold E. |last2=Marsden |title=Foundations of Mechanics |year=1978 |publisher=Benjamin/Cummings |location=Reading Mass. |isbn=0-8053-0102-X }}</ref>

The ] states that the orbit structure of a dynamical system in a ] of a hyperbolic equilibrium point is ] to the orbit structure of the ] dynamical system.

=== Example ===
Consider the nonlinear system Consider the nonlinear system
:<math>\frac{ dx }{ dt } = y,</math> : <math>
\begin{align}
:<math>\frac{ dy }{ dt } = -x-x^3-\alpha y,~ \alpha \ne 0</math>
\frac{dx}{dt} & = y, \\
\frac{dy}{dt} & = -x-x^3-\alpha y,~ \alpha \ne 0
\end{align}
</math>


<math>(0,0)</math> is the only equilibrium point. The linearization at the equilibrium is (0, 0) is the only equilibrium point. The Jacobian matrix of the linearization at the equilibrium point is


:<math>J(0,0) = \begin{pmatrix} :<math>J(0,0) = \left[ \begin{array}{rr}
0 & 1 \\ 0 & 1 \\
-1 & -\alpha \end{pmatrix}</math>. -1 & -\alpha \end{array} \right].</math>


The eigenvalues of this matrix are <math>\frac{-\alpha \pm \sqrt{\alpha^2-4} }{2}</math>. For all values of <math>\alpha \ne 0</math>, the eigenvalues have non-zero real part. Thus, this equilibrium point is a hyperbolic equilbrium point. The linearized system will behave similar to the non-linear system near <math>(0,0)</math>. When <math>\alpha=0</math>, the system has a nonhyperbolic equilibrium at <math>(0,0)</math>. The eigenvalues of this matrix are <math>\frac{-\alpha \pm \sqrt{\alpha^2-4}}{2}</math>. For all values of ''α''&nbsp;≠&nbsp;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&nbsp;(0,&nbsp;0). When ''α''&nbsp;=&nbsp;0, the system has a nonhyperbolic equilibrium at&nbsp;(0,&nbsp;0).


== Comments == == 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. 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 == == See also ==
Line 30: Line 56:
* ] * ]
* ] * ]
* ]


== Notes == == Notes ==
Line 37: Line 64:


* {{Scholarpedia|title=Equilibrium|urlname=Equilibrium|curator=Eugene M. Izhikevich}} * {{Scholarpedia|title=Equilibrium|urlname=Equilibrium|curator=Eugene M. Izhikevich}}



] ]

Latest revision as of 04:28, 29 February 2024

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

Orbits near a two-dimensional saddle point, an example of a hyperbolic equilibrium.

Maps

If T : R n R n {\displaystyle T\colon \mathbb {R} ^{n}\to \mathbb {R} ^{n}} is a C map and p is a fixed point then p is said to be a hyperbolic fixed point when the Jacobian matrix D T ( p ) {\displaystyle \operatorname {D} T(p)} has no eigenvalues on the complex unit circle.

One example of a map whose only fixed point is hyperbolic is Arnold's cat map:

[ x n + 1 y n + 1 ] = [ 1 1 1 2 ] [ x n y n ] {\displaystyle {\begin{bmatrix}x_{n+1}\\y_{n+1}\end{bmatrix}}={\begin{bmatrix}1&1\\1&2\end{bmatrix}}{\begin{bmatrix}x_{n}\\y_{n}\end{bmatrix}}}

Since the eigenvalues are given by

λ 1 = 3 + 5 2 {\displaystyle \lambda _{1}={\frac {3+{\sqrt {5}}}{2}}}
λ 2 = 3 5 2 {\displaystyle \lambda _{2}={\frac {3-{\sqrt {5}}}{2}}}

We know that the Lyapunov exponents are:

λ 1 = ln ( 3 + 5 ) 2 > 1 {\displaystyle \lambda _{1}={\frac {\ln(3+{\sqrt {5}})}{2}}>1}
λ 2 = ln ( 3 5 ) 2 < 1 {\displaystyle \lambda _{2}={\frac {\ln(3-{\sqrt {5}})}{2}}<1}

Therefore it is a saddle point.

Flows

Let F : R n R n {\displaystyle F\colon \mathbb {R} ^{n}\to \mathbb {R} ^{n}} be a C vector field with a critical point p, i.e., F(p) = 0, and let J denote the Jacobian matrix 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 of a hyperbolic equilibrium point is topologically equivalent to the orbit structure of the linearized dynamical system.

Example

Consider the nonlinear system

d x d t = y , d y d t = x x 3 α y ,   α 0 {\displaystyle {\begin{aligned}{\frac {dx}{dt}}&=y,\\{\frac {dy}{dt}}&=-x-x^{3}-\alpha y,~\alpha \neq 0\end{aligned}}}

(0, 0) is the only equilibrium point. The Jacobian matrix of the linearization at the equilibrium point is

J ( 0 , 0 ) = [ 0 1 1 α ] . {\displaystyle J(0,0)=\left.}

The eigenvalues of this matrix are α ± α 2 4 2 {\displaystyle {\frac {-\alpha \pm {\sqrt {\alpha ^{2}-4}}}{2}}} . 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

Notes

  1. Strogatz, Steven (2001). Nonlinear Dynamics and Chaos. Westview Press. ISBN 0-7382-0453-6.
  2. Ott, Edward (1994). Chaos in Dynamical Systems. Cambridge University Press. ISBN 0-521-43799-7.
  3. Abraham, Ralph; Marsden, Jerrold E. (1978). Foundations of Mechanics. Reading Mass.: Benjamin/Cummings. ISBN 0-8053-0102-X.

References

Categories: