límite establecido

Estado de un sistema dinámico después de un tiempo infinitamente largo.

En matemáticas , especialmente en el estudio de sistemas dinámicos , un conjunto límite es el estado que alcanza un sistema dinámico después de que ha pasado una cantidad infinita de tiempo, ya sea avanzando o retrocediendo en el tiempo. Los conjuntos de límites son importantes porque pueden usarse para comprender el comportamiento a largo plazo de un sistema dinámico. Se dice que un sistema que ha alcanzado su conjunto límite está en equilibrio .

Tipos

• puntos fijos
• órbitas periódicas
• ciclos límite
• atractores

En general, los conjuntos de límites pueden ser muy complicados, como en el caso de los atractores extraños , pero para sistemas dinámicos bidimensionales, el teorema de Poincaré-Bendixson proporciona una caracterización simple de todos los conjuntos límite compactos, no vacíos, que contienen como máximo un número finito de puntos fijos como un punto fijo, una órbita periódica o una unión de puntos fijos y órbitas homoclínicas o heteroclínicas que conectan esos puntos fijos. ${\displaystyle \omega }$

Definición de funciones iteradas

Sea un espacio métrico y sea una función continua . El conjunto límite de , denotado por , es el conjunto de puntos del grupo de la órbita directa de la función iterada . ^[1] Por lo tanto, si y sólo si existe una secuencia estrictamente creciente de números naturales tal como . Otra forma de expresar esto es ${\displaystyle X}$ ${\displaystyle f:X\rightarrow X}$ ${\displaystyle \omega }$ ${\displaystyle x\in X}$ ${\displaystyle \omega (x,f)}$ ${\displaystyle \{f^{n}(x)\}_{n\in \mathbb {N} }}$ ${\displaystyle f}$ ${\displaystyle y\in \omega (x,f)}$ ${\displaystyle \{n_{k}\}_{k\in \mathbb {N} }}$ ${\displaystyle f^{n_{k}}(x)\rightarrow y}$ ${\displaystyle k\rightarrow \infty }$

${\displaystyle \omega (x,f)=\bigcap _{n\in \mathbb {N} }{\overline {\{f^{k}(x):k>n\}}},}$

donde denota el cierre del conjunto . Los puntos en el límite establecido no son errantes (pero no pueden ser puntos recurrentes ). Esto también puede formularse como el límite exterior ( limsup ) de una secuencia de conjuntos, tal que ${\displaystyle {\overline {S}}}$ ${\displaystyle S}$

${\displaystyle \omega (x,f)=\bigcap _{n=1}^{\infty }{\overline {\bigcup _{k=n}^{\infty }\{f^{k}(x)\}}}.}$

Si es un homeomorfismo (es decir, una biyección bicontinua), entonces el conjunto límite se define de manera similar, pero para la órbita hacia atrás; es decir . ${\displaystyle f}$ ${\displaystyle \alpha }$ ${\displaystyle \alpha (x,f)=\omega (x,f^{-1})}$

Ambos conjuntos son invariantes y, si es compacto , son compactos y no vacíos. ${\displaystyle f}$ ${\displaystyle X}$

Definición de flujos

Dado un sistema dinámico real con flujo , un punto , llamamos a un punto y un punto límite de si existe una secuencia en la que ${\displaystyle (T,X,\varphi )}$ ${\displaystyle \varphi :\mathbb {R} \times X\to X}$ ${\displaystyle x}$ ${\displaystyle \omega }$ ${\displaystyle x}$ ${\displaystyle (t_{n})_{n\in \mathbb {N} }}$ ${\displaystyle \mathbb {R} }$

${\displaystyle \lim _{n\to \infty }t_{n}=\infty }$

${\displaystyle \lim _{n\to \infty }\varphi (t_{n},x)=y}$.

Para una órbita de , decimos que es un punto límite de , si es un punto límite de algún punto de la órbita. ${\displaystyle \gamma }$ ${\displaystyle (T,X,\varphi )}$ ${\displaystyle y}$ ${\displaystyle \omega }$ ${\displaystyle \gamma }$ ${\displaystyle \omega }$

De manera análoga llamamos punto límite de si existe una secuencia en la que ${\displaystyle y}$ ${\displaystyle \alpha }$ ${\displaystyle x}$ ${\displaystyle (t_{n})_{n\in \mathbb {N} }}$ ${\displaystyle \mathbb {R} }$

${\displaystyle \lim _{n\to \infty }t_{n}=-\infty }$

${\displaystyle \lim _{n\to \infty }\varphi (t_{n},x)=y}$.

Para una órbita de , decimos que es un punto límite de , si es un punto límite de algún punto de la órbita. ${\displaystyle \gamma }$ ${\displaystyle (T,X,\varphi )}$ ${\displaystyle y}$ ${\displaystyle \alpha }$ ${\displaystyle \gamma }$ ${\displaystyle \alpha }$

El conjunto de todos los puntos límite ( -puntos límite) para una órbita determinada se llama - conjunto límite ( - conjunto límite ) para y denotado ( ). ${\displaystyle \omega }$ ${\displaystyle \alpha }$ ${\displaystyle \gamma }$ ${\displaystyle \omega }$ ${\displaystyle \alpha }$ ${\displaystyle \gamma }$ ${\displaystyle \lim _{\omega }\gamma }$ ${\displaystyle \lim _{\alpha }\gamma }$

Si el conjunto -límite ( -conjunto límite) es disjunto de la órbita , es decir ( ), llamamos a ( ) un ciclo límite ω ( ciclo límite α ). ${\displaystyle \omega }$ ${\displaystyle \alpha }$ ${\displaystyle \gamma }$ ${\displaystyle \lim _{\omega }\gamma \cap \gamma =\varnothing }$ ${\displaystyle \lim _{\alpha }\gamma \cap \gamma =\varnothing }$ ${\displaystyle \lim _{\omega }\gamma }$ ${\displaystyle \lim _{\alpha }\gamma }$

Alternativamente, los conjuntos de límites se pueden definir como

${\displaystyle \lim _{\omega }\gamma :=\bigcap _{s\in \mathbb {R} }{\overline {\{\varphi (x,t):t>s\}}}}$

y

${\displaystyle \lim _{\alpha }\gamma :=\bigcap _{s\in \mathbb {R} }{\overline {\{\varphi (x,t):t<s\}}}.}$

Ejemplos

• Para cualquier órbita periódica de un sistema dinámico, ${\displaystyle \gamma }$ ${\displaystyle \lim _{\omega }\gamma =\lim _{\alpha }\gamma =\gamma }$
• Para cualquier punto fijo de un sistema dinámico, ${\displaystyle x_{0}}$ ${\displaystyle \lim _{\omega }x_{0}=\lim _{\alpha }x_{0}=x_{0}}$

Propiedades

• ${\displaystyle \lim _{\omega }\gamma }$y estan cerrados ${\displaystyle \lim _{\alpha }\gamma }$
• si es compacto entonces y no están vacíos , son compactos y están conectados ${\displaystyle X}$ ${\displaystyle \lim _{\omega }\gamma }$ ${\displaystyle \lim _{\alpha }\gamma }$
• ${\displaystyle \lim _{\omega }\gamma }$y son -invariantes, es decir y ${\displaystyle \lim _{\alpha }\gamma }$ ${\displaystyle \varphi }$ ${\displaystyle \varphi (\mathbb {R} \times \lim _{\omega }\gamma )=\lim _{\omega }\gamma }$ ${\displaystyle \varphi (\mathbb {R} \times \lim _{\alpha }\gamma )=\lim _{\alpha }\gamma }$

Ver también

• conjunto julia
• conjunto estable
• ciclo límite
• punto periódico
• Conjunto no errante
• grupo kleiniano

Referencias

1. Alligood, Kathleen T.; Sauer, Tim D.; Yorke, James A. (1996). Caos, una introducción a los sistemas dinámicos . Saltador.

Otras lecturas

• Teschl, Gerald (2012). Ecuaciones diferenciales ordinarias y sistemas dinámicos. Providencia : Sociedad Matemática Estadounidense . ISBN 978-0-8218-8328-0.

Este artículo incorpora material de Omega-limit establecido en PlanetMath , que tiene la licencia Creative Commons Attribution/Share-Alike License .