Namespaces
Variants
Actions

Difference between revisions of "Hyperbolic point"

From Encyclopedia of Mathematics
Jump to: navigation, search
(TeX)
 
Line 1: Line 1:
 
{{TEX|done}}
 
{{TEX|done}}
A hyperbolic point of a surface is a point at which the [[Osculating paraboloid|osculating paraboloid]] is a [[Hyperbolic paraboloid|hyperbolic paraboloid]]. At a hyperbolic point the [[Dupin indicatrix|Dupin indicatrix]] is given by a pair of conjugate hyperbolas.
+
A hyperbolic point of a surface is a point at which the [[osculating paraboloid]] is a [[hyperbolic paraboloid]]. At a hyperbolic point the [[Dupin indicatrix]] is given by a pair of conjugate hyperbolas.
  
 
 
====Comments====
 
 
At a hyperbolic point the surface has negative Gaussian curvature, and conversely: If a surface has negative Gaussian curvature at a point, that point is hyperbolic.
 
At a hyperbolic point the surface has negative Gaussian curvature, and conversely: If a surface has negative Gaussian curvature at a point, that point is hyperbolic.
  
====References====
+
== In dynamical systems ==
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  W. Blaschke,  K. Leichtweiss,  "Elementare Differentialgeometrie" , Springer  (1973)</TD></TR></table>
 
  
 
A hyperbolic point of a dynamical system is a point $x=x^*$ in the domain of definition of a system
 
A hyperbolic point of a dynamical system is a point $x=x^*$ in the domain of definition of a system
Line 14: Line 10:
 
\begin{equation}\dot x=f(x),\quad x=(x_1,\dots,x_n),\label{*}\end{equation}
 
\begin{equation}\dot x=f(x),\quad x=(x_1,\dots,x_n),\label{*}\end{equation}
  
such that $f(x^*)=0$, while the matrix $A$, which is equal to the value of $\partial f/\partial x$ at $x=x^*$, has $k$ eigen values with positive real part and $n-k$ eigen values with negative real part, $0<k<n$. In a neighbourhood of a hyperbolic point there exists an $(n-k)$-dimensional invariant surface $S_+$, constituted by solutions of \eqref{*} which, as $t\to\infty$, asymptotically approach $x=x^*$, as well as a $k$-dimensional invariant surface $S_-$, formed by the solutions of \eqref{*} which asymptotically approach $x=x^*$ as $t\to-\infty$. The behaviour of the trajectories of \eqref{*} in a sufficiently small neighbourhood of a hyperbolic point may be described by means of the following theorem [[#References|[4]]]: There exists a homeomorphism of some neighbourhood of a hyperbolic point onto some neighbourhood of the point $u=0$, $u=(u_1,\dots,u_n)$, which converts the trajectories of \eqref{*} into trajectories of the linear system $\dot u=Au$.
+
such that $f(x^*)=0$, while the matrix $A$, which is equal to the value of $\partial f/\partial x$ at $x=x^*$, has $k$ eigenvalues with positive real part and $n-k$ eigenvalues with negative real part, $0<k<n$. In a neighbourhood of a hyperbolic point there exists an $(n-k)$-dimensional invariant surface $S_+$, constituted by solutions of \eqref{*} which, as $t\to\infty$, asymptotically approach $x=x^*$, as well as a $k$-dimensional invariant surface $S_-$, formed by the solutions of \eqref{*} which asymptotically approach $x=x^*$ as $t\to-\infty$. The behaviour of the trajectories of \eqref{*} in a sufficiently small neighbourhood of a hyperbolic point may be described by means of the following theorem [[#References|[4]]]: There exists a homeomorphism of some neighbourhood of a hyperbolic point onto some neighbourhood of the point $u=0$, $u=(u_1,\dots,u_n)$, which converts the trajectories of \eqref{*} into trajectories of the linear system $\dot u=Au$.
  
 
For a diffeomorphism with a fixed point, a hyperbolic point is defined by the absence of eigen values of modulus one in the linear part of the diffeomorphism at the fixed point under consideration. Thus, a hyperbolic point of the system \eqref{*} remains a hyperbolic point of the diffeomorphism generated by a shift along a trajectory of the system \eqref{*}.
 
For a diffeomorphism with a fixed point, a hyperbolic point is defined by the absence of eigen values of modulus one in the linear part of the diffeomorphism at the fixed point under consideration. Thus, a hyperbolic point of the system \eqref{*} remains a hyperbolic point of the diffeomorphism generated by a shift along a trajectory of the system \eqref{*}.
 +
 +
====References====
 +
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  W. Blaschke,  K. Leichtweiss,  "Elementare Differentialgeometrie" , Springer  (1973)</TD></TR></table>
  
 
====References====
 
====References====
Line 24: Line 23:
  
 
====Comments====
 
====Comments====
Often, an invariant point in the system \eqref{*} is said to be hyperbolic whenever the matrix $A$ has no eigen values with real part zero (i.e., in the above also $k=0$ and $k=n$ are admitted). See, e.g., [[#References|[a1]]].
+
Often, an invariant point in the system \eqref{*} is said to be hyperbolic whenever the matrix $A$ has no eigenvalues with real part zero (i.e., in the above also $k=0$ and $k=n$ are admitted). See, e.g., [[#References|[a1]]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M.C. Irwin,  "Smooth dynamical systems" , Acad. Press  (1980)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M.C. Irwin,  "Smooth dynamical systems" , Acad. Press  (1980)</TD></TR></table>

Latest revision as of 11:50, 1 May 2023

A hyperbolic point of a surface is a point at which the osculating paraboloid is a hyperbolic paraboloid. At a hyperbolic point the Dupin indicatrix is given by a pair of conjugate hyperbolas.

At a hyperbolic point the surface has negative Gaussian curvature, and conversely: If a surface has negative Gaussian curvature at a point, that point is hyperbolic.

In dynamical systems

A hyperbolic point of a dynamical system is a point $x=x^*$ in the domain of definition of a system

\begin{equation}\dot x=f(x),\quad x=(x_1,\dots,x_n),\label{*}\end{equation}

such that $f(x^*)=0$, while the matrix $A$, which is equal to the value of $\partial f/\partial x$ at $x=x^*$, has $k$ eigenvalues with positive real part and $n-k$ eigenvalues with negative real part, $0<k<n$. In a neighbourhood of a hyperbolic point there exists an $(n-k)$-dimensional invariant surface $S_+$, constituted by solutions of \eqref{*} which, as $t\to\infty$, asymptotically approach $x=x^*$, as well as a $k$-dimensional invariant surface $S_-$, formed by the solutions of \eqref{*} which asymptotically approach $x=x^*$ as $t\to-\infty$. The behaviour of the trajectories of \eqref{*} in a sufficiently small neighbourhood of a hyperbolic point may be described by means of the following theorem [4]: There exists a homeomorphism of some neighbourhood of a hyperbolic point onto some neighbourhood of the point $u=0$, $u=(u_1,\dots,u_n)$, which converts the trajectories of \eqref{*} into trajectories of the linear system $\dot u=Au$.

For a diffeomorphism with a fixed point, a hyperbolic point is defined by the absence of eigen values of modulus one in the linear part of the diffeomorphism at the fixed point under consideration. Thus, a hyperbolic point of the system \eqref{*} remains a hyperbolic point of the diffeomorphism generated by a shift along a trajectory of the system \eqref{*}.

References

[a1] W. Blaschke, K. Leichtweiss, "Elementare Differentialgeometrie" , Springer (1973)

References

[1a] H. Poincaré, "Mémoire sur les courbes definiés par une équation différentielle" J. de Math. , 7 (1881) pp. 375–422
[1b] H. Poincaré, "Mémoire sur les courbes definiés par une équation différentielle" J. de Math. , 8 (1882) pp. 251–296
[1c] H. Poincaré, "Mémoire sur les courbes definiés par une équation différentielle" J. de Math. , 1 (1885) pp. 167–244
[1d] H. Poincaré, "Mémoire sur les courbes difiniés par une équation différentielle" J. de Math. , 2 (1886) pp. 151–217
[2] A.M. [A.M. Lyapunov] Liapunoff, "Problème général de la stabilité du mouvement" , Princeton Univ. Press (1947) (Translated from Russian) (Reprint: Kraus, 1950)
[3] E.A. Coddington, N. Levinson, "Theory of ordinary differential equations" , McGraw-Hill (1955) pp. Chapts. 13–17
[4] P. Hartman, "Ordinary differential equations" , Birkhäuser (1982)

V.K. Mel'nikov

Comments

Often, an invariant point in the system \eqref{*} is said to be hyperbolic whenever the matrix $A$ has no eigenvalues with real part zero (i.e., in the above also $k=0$ and $k=n$ are admitted). See, e.g., [a1].

References

[a1] M.C. Irwin, "Smooth dynamical systems" , Acad. Press (1980)
How to Cite This Entry:
Hyperbolic point. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hyperbolic_point&oldid=43476
This article was adapted from an original article by E.V. Shikin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article