Documentos de Académico
Documentos de Profesional
Documentos de Cultura
15 mm 15 mm
am
Elena Nito del Bosque
15 mm
10 mm
Sistemas
Leticia ÁlvarezDiferenciales
Hernández
Exteriores: el teorema de
Frobenius
Sistemas Dinámicos
Exterior Differential Systems:Discretos
Frobenius y
theorem
Caos
Discrete Dynamical Systems and Chaos
Trabajo Fin de Grado
Departamento de Análisis
Matemático
Trabajo Fin de Grado
La Laguna,
Grado Octubre de 2016
en Matemáticas
La Laguna, Junio de 2017
Dirigido por
Antonio Lorenzo Bonilla Ramı́rez
Antonio Lorenzo Bonilla
Ramı́rez
Departamento de Análisis
Matemático
Universidad de La Laguna
38271 La Laguna, Tenerife
Resumen · Abstract
Resumen
El objetivo de este trabajo es el estudio de la ecuación
logı́stica y la definición de caos.
Abstract
The aim of this notes is to study the logistic map and the
chaos definition.
Resumen/Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii
Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii
Bibliografı́a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Poster . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Introducción
May comprobó que al cambiar los valores del único parámetro del
modelo, este presentaba soluciones muy distintas y a veces muy
complejas pese a que se trata de una simple aplicación polinómica
de grado 2.
Figura 1.1. Los puntos en los que una función intersecta la recta y = x son los puntos
fijos de dicha función.
Figura 1.2. Las órbitas del punto x = 0,6 por iteraciones de la función f (x) = x(1−x)
convergen a x = 0.
Figura 1.3. Las órbitas del punto x = 0,2 por una determinada función convergen al
punto x = 43 .
Para ver esto mismo cuando f 00 (c) < 0 y la gráfica es cóncava hacia
abajo en x = c, se utiliza un procedimiento análogo.
(ii) Ahora f 00 (c) = 0, f 000 (c) > 0 y f 0 (c) = 1. De nuevo hay un punto
de inflexión en x = c, y por el estudio de la segunda derivada se
trata de un mı́nimo local. Se sigue que
f 0 (x) > 1 para todo x ∈ (c − δ, c + δ), x 6= c y δ > 0.
1.4 Puntos fijos no hiperbólicos 9
ii) 1 < µ ≤ 3.
14 2 Bifurcaciones y la Familia Logı́stica
Esto implica que se da 1 o 2, y como 0,1 son los únicos puntos fijos
(o puntos fijos eventuales) en [0,1], se concluye que a = 0 y b = 1.
√
Teorema 2.4.1 Para 3 < µ ≤ 1 + 6 la aplicación logı́stica
√ − x) tiene un 2-ciclo asintóticamente estable.
Lµ (x) = µx(1
Para 1 + 6 < µ dicho 2-ciclo es inestable.
Demostración. Para encontrar los 2-ciclos de la ecuación logı́stica
Lµ (x) = µx(1 − x), 0 ≤ x ≤ 1 resolvemos la ecuación
L2µ (x) = x
µ[µx(1 − x)][1 − µx(1 − x)] − x = 0
−µ3 x4 + 2µ3 x3 − (µ3 + µ2 )x2 + µ2 x − x = 0.
Como c = 0 y c = 1 − µ1 son puntos fijos de Lµ (x), x y x − (1 − µ1 )
deben ser factores de la ecuación, de modo que:
L2µ (x) − x = −x(µx − µ + 1)(µ2 x2 − µ(µ + 1)x + µ + 1),
obteniendo una ecuación cuadrática que no tiene raı́ces reales si
µ < 3:
µ2 x2 − µ(µ √
+ 1)x + µ + 1 = 0
µ(µ+1)± µ2 (µ+1)2 −4µ2 (µ+1)
c=
√ 2µ2
(1+µ)± (µ−3)(µ+1)
= 2µ
.
Sean c1 y c2 las raı́ces resultantes (que dependen de µ). Buscamos
que el 2-ciclo sea asintóticamente estable, por tanto hacemos
|(L2µ )0 (c1 )| = |L0µ (c1 )L0µ (c2 )| < 1
2
−1
p < µ (1 − 2c1 )(1 − 2c p2 ) < 1
−1 < (−1 − µ − 2µ − 3)(−1 + µ2 − 2µ − 3) < 1
2
Ahora buscamos
√ un periodo superatractor de Lµ cuando
3 < µ < 1 + 6, ya que esto ilustra lo que sucede para 2n -ciclos.
√ √
Proposición 2.4.2 Cuando µ = 1 + 5, { 12 , 1+4 5 } es un 2-ciclo
superatractor de Lµ (x).
√
Demostración. Acabamos de ver que para 3 < µ ≤ 1 + 6, Lµ (x)
presenta un 2-ciclo asintóticamente estable. Vamos a buscar en
particular uno que es además superatractor.
Supongamos {x1 , x2 } ese 2-ciclo de Lµ superatractor. Entonces se
tiene que verificar
x1 = µx2 (1 − x2 ) y x2 = µx1 (1 − x1 ),
de modo que multiplicando las ecuaciones entre sı́ obtenemos
µ2 (1 − x1 )(1 − x2 ) = 1.
Por otro lado, por la condición de punto fijo superatractor
(L2µ )0 (x1 ) = L0µ (x2 )L0µ (x1 ) = 0
es decir
µ2 (1 − 2x1 )(1 − 2x2 ) = 0.
Luego x1 = 12 o x2 = 12 . Suponiendo el segundo caso sin pérdida
de generalidad, entonces x1 = µ4 , y sustituyendo en la primera
ecuación tenemos:
√
2.5 Análisis gráfico para 1 + 6 < µ ≤ 4 y diagramas de Feigenbaum 19
µ2 (1 − µ4 )(1 − 12 ) = 1
µ3 − 4µ2 + 8 = 0
(µ − 2)(µ2 − 2µ − 4) = 0
√
y esto nos da µ = 1 + 5. Concluimos
√
que efectivamente el 2-ciclo
1 1+ 5
superatractor buscado es { 2 , 4 }. 2
√
2.5. Análisis gráfico para 1 + 6 < µ ≤ 4 y diagramas de
Feigenbaum
√
Cuando µ sobrepasa 1 + 6, y hasta llegar al valor 3.57
aproximadamente, el comportamiento de la función logı́stica es
el siguiente: el 2-ciclo deja de ser atractor y pasa a ser repulsor.
Al mismo tiempo se crea un 4-ciclo atractor que se mantiene
hasta que µ supere un valor determinado. En ese momento dicho
4-ciclo se convierte en repulsor y se crea un 8-ciclo atractor. En
general ocurre que al superar µ un determinado punto bn , se crea
un 2n−1 -ciclo atractor que se mantiene hasta que µ alcanza un
cierto bn+1 , n ∈ Z+ . Además cada uno de esos ciclos pasa a ser
superatractor en algún sn , n ∈ Z+ (bn < sn < bn+1 ).
√
En el momento en que µ = 1+ 6 el diagrama se vuelve a bifurcar
y aparece el 4-ciclo.
Las áreas oscuras del diagrama representan los valores de µ para
los que la dinámica de las iteraciones no es convergente a un
punto, ni tampoco oscilatoria.
√
2.5 Análisis gráfico para 1 + 6 < µ ≤ 4 y diagramas de Feigenbaum 21
1. La aplicación logı́stica
La aplicación logı́stica vista en los primeros capı́tulos, Lµ : R → R
dada por Lµ x = µx(1 − x), µ ∈ R.
2. La aplicación cuadrática
La aplicación cuadrática viene dada por el sistema dinámico real
Qc : R → R, x → x2 + c, siendo c ∈ R un parámetro; o
por el correspondiente sistema dinámico complejo Qc : C → C,
z → z 2 + c, c ∈ C.
3. La aplicación doblante del cı́rculo
Dada la aplicación T : C → C definida por T z = z 2 , sus
iteraciones son de la forma T n z = z 2n . Entonces se tiene que
las órbitas de los z tales que |z| < 1 tienden a cero, mientras que
para los z tales que |z| > 1 dichas órbitas tienden a infinito.
Para los z tales que |z| = 1, si denotamos la circunferencia
unidad por T = {z ∈ C : |z| = 1}, resulta que T (T) ⊂ T.
Por tanto el sistema dinámico de más interés es el T : T → T,
z → z 2 , que duplica el argumento de los z ∈ C que están sobre la
circunferencia unidad.
4. La aplicación rotación del cı́rculo
El sistema T : T → T, z → eiα z, α ∈ [0, 2π) describe la rotación
de un punto z sobre la circunferencia unidad por un ángulo α.
Se verá más adelante que este comportamiento dinámico depende
en gran medida de que las rotaciones sean racionales (α ∈ πQ)
o irracionales (α ∈ / πQ).
5. La aplicación tienda
La aplicación tienda T : [0, 1] → [0, 1] definida por
2x si x ∈ [0, 12 ]
Tx =
2 − 2x si x ∈ ( 12 , 1]
2x si x ∈ [0, 12 )
T x = 2x (mód 1) =
2x − 1 si x ∈ [ 21 , 1]
φ φ
? T ?
X - X
Lµ -
R R
φ φ
? L2−µ - ?
R R
Por un lado
L2−µ φ(x) = (µa2 −2a2 )x2 +(2a−µa−4ab+2µab)x+(µb2 −µb+2b−2b2 )
µ µ−1
de donde se obtiene a = − µ−2 yb= µ−2
.
µ µ−1
Por tanto φ(x) = − µ−2 x + µ−2 para µ ∈ (0, 2) es una aplicación
continua, biyectiva, y su inversa φ−1 (y) = 2−µ
µ
y + µ+1
µ
es continua
para y ∈ R. 2
Proposición 3.2.2 La aplicación logı́stica L4 es conjugada de la
aplicación cuadrática Q−2 .
Demostración. Tenemos L4 : [0, 1] → [0, 1], L4 x = 4x(1 − x) y
Q−2 : [−2, 2] → [−2, 2], Q−2 x = x2 − 2. Veamos que tomando como
homeomorfismo φ(x) = ax + b, a, b ∈ R, a 6= 0, se cumple que
Q−2 ◦ φ = φ ◦ L4 . Es decir, el correspondiente diagrama conmuta:
3.2 Sistemas dinámicos equivalentes 27
L4
[0, 1] - [0, 1]
φ φ
? Q−2 - ?
[−2, 2] [−2, 2]
T
[0, 1] - [0, 1]
φ φ
? L4 ?
[0, 1] - [0, 1]
T
[0, 1] - [0, 1]
φ φ
? L4 ?
[0, 1] - [0, 1]
2
Y
por2 otro, φ(T x) = sin [π(2x (mód 11))] =
sin (2πx) si x ∈ [0, 2 )
T n ( 2k−1 ) = 1 si k = 1, 2, . . . , 2n−1
2n
3.3 Aplicaciones topológicamente transitivas 31
∞ [
\ ∞
D(T ) = T −n (Uk ).
k=1 n=0
Por
S∞ continuidad de T y la Proposición 3.3.1 , cada conjunto
−n
n=0 T (Uk ), k ≥ 0, es abierto y denso. Como X es espacio de
Baire por ser métrico completo, toda intersección de abiertos densos
será densa, luego D(T ) es un conjunto denso. Y como (Uk )k≥1 es
numerable, D(T ) es en particular un conjunto Gδ denso, y por
tanto es no vacı́o. 2
Nota 3.3.10 Notar que la ausencia de puntos aislados no es
necesaria para la demostración de que (i) =⇒ (ii).
Ejemplo 3.3.3 De los ejemplos 3.3.2 y 3.3.3 se sigue que la
aplicación tienda y la doblante del cı́rculo tienen órbitas densas
34 3 Sistemas dinámicos y caos
3.4. Caos
Tomaremos la definición de caos propuesta por Devaney en 1986.
Dicha definición consta de tres ingredientes que procederemos a
estudiar en orden.
|T (n+1 (x) − T (n+1 (y)| = |T (T (n (x)) − T (T (n (y))| = |T 0 (cn )||T n (x) − T n (y)| ≥
a|T n (x) − T n (y)| ≥ an |x − y| → ∞.
2
Ejemplo 3.4.2 La aplicación T : X → X definida por T x = 2x
tiene dependencia sensible de las condiciones iniciales.
36 3 Sistemas dinámicos y caos
i) T es topológicamente transitivo.
ii) T tiene un conjunto denso de puntos periódicos.
Corolario 3.4.4 Sea (X, d) un espacio métrico completo y separable
sin puntos aislados. Son equivalentes:
i) T es Devaney caótico.
ii) a) Existe x ∈ X tal que orb(x, T ) = X
b) T tiene un conjunto denso de puntos periódicos.
Por las Proposiciones 3.3.11 y 3.4.2 tenemos también el siguiente
resultado.
Proposición 3.4.5 El caos en el sentido de Devaney se conserva
por cuasiconjugación.
Por la Proposción 3.2.3 y el Ejemplo 3.4.4 se tiene:
Ejemplo 3.4.6 La aplicación logı́stica L4 es caótica en [0, 1].
Si z < g k+1 (z) < g(z) para algún k, entonces la función g k (x) − x
tiene valor positivo en z (g n (z) − z > 0) y negativo en g(z)
(g k (g(z)) − g(z) = g k+1 (z) − g(z) < 0). Esto significa que existe
3.5 Caos en intervalos 41
Consideremos en I = R+ la aplicación
3x si 0 ≤ x < 31
−3x + 2 si 13 ≤ x < 23
Tx=
3x − 2 si 23 ≤ x < 1
T (x − 1) + 1 si x ≥ 1
Dado que |T 0 (x)| = 3 para todo punto de I, la aplicación tiene
dependencia sensible de las condiciones iniciales. También se ve que
T n tiene 3n − 2 puntos fijos entre cualesquiera dos enteros que no
disten más de ( 13 )n−1 , de modo que el conjunto de puntos periódicos
es denso.
Sin embargo se tiene también que T [0, 1] = [0, 1], y por tanto
la aplicación no es topológicamente transitiva. Si restringimos al
intervalo [0, 2], este caso también es válido como contraejemplo
3.6 Dinámica Simbólica 43
∞ n ∞
X |xi − yi | X 0 X |xi − yi |
d(x, y) = = +
i=0
2i i=0
2i
i=n+1
2i
∞ ∞
1 X |xi+n−1 − yi+n−1 | 1 X 1 1
= n+1 i
≤ n+1 i
= n
2 i=0
2 2 i=0
2 2
φ φ
? z2 -
?
T T
x1 x2 x3 x2 x3
T z = z 2 = (e2πiα )2 = e2πi2α = e2πi2( 21 + 22 + 23 +...) = e2πi(1 + 22 + 23 +...) =
x2 x3 x2 x3 P∞ xn+1
= e2πix1 e2πi( 2 + 22 +...) = e2πi( 2 + 22 +...) = e2πi n=0 2n+1
TAMAÑOS MÍNIMOS
En este apartado se establecen
los tamaños mínimos en los que
se puede reproducir la marca.
15 mm
ELEMENTOS BÁSICOS
CONFIGURACIONES DE LA MARCA
Poster am
Facultad de Ciencias · Sección de Matemáticas
Universidad de La Laguna
alu0100488814@ull.edu.es
Elena Nito del Bosque 9
• If 0 < µ ≤ 1 the population will end up • Therefore if µ > 4 the values leave the
15 mm
Abstract
10 mm interval [0,1] and diverge for almost ev-
disappearing regardless of the initial
Sistemas Diferenciales
The aim of this notes is to study the logis-
population. ery initial value.
tic map and the chaos definition.
Exteriores: el teorema de 3. Dynamical system and chaos
1. Orbits of unidimensional map
Frobenius
Definition 1 For a function f : R → R, a Figure 1: Tenth iteration for µ = 1.
To define chaos we need to know three
concepts, highly sensitive to initial condi-
point c ∈ R for which f (c) = c is called a
Exterior Differential Systems: Frobenius tions, topological transitivity and periodic
fixed point of f . 17
points.
theorem
Definition 2 Let f : X → X with f (c) = c .
• If 1 < µ ≤ 2 the population will rapidly get
• The highly sensitive to initial conditions
to value µ−1
µ
independently of the initial
1. c is a stable fixed point if for all ε > 0 population. summarize the so called butterfly effect:
there exists δ > 0 such that if x ∈ X small changes in initial conditions of a
and |x − c| < δ, then | f n (x) − c| < ε for all system can lead, after some time, big
Trabajo
n ∈ Z+ .
Fin de Grado changes on the behavior of the system.
Departamento
If this does not hold, cde Análisis
will be called un- • the topological transitivity shows the ir-
stable.
Matemático reducibility of the dynamic system.
Figure 2: Tenth iteration for µ = 2.
2.
Lac isLaguna,
said to be attracting
Octubre if there is a real
de 2016 • the existence of periodical points imply
number η > 0 such that
that the system must have a lot of reg-
|x − c| < η ⇒ limn→∞ f n (c) = c . • If 2 < µ ≤ 3 the population will stabilize ular orbits; specifically, it must exists a
3. c is asymptotically stable if it is both sta- at value µ−1
µ
, but first it will fluctuate near dense set of periodic orbits.
ble and attracting. this value. Based on this three conditions that it ap-
p
Definition 3 A fixed point c of f is hyper- • If 3 < µ ≤ 1 + 6 (almost 3,45), in almost pears in the definition of Chaos of De-
bolic if | f 0(c)| 6= 1. every cases the population fluctuates vaney, given in 1986. By this definition a
If | f 0(c)| = 1 it is non-hyperbolic. always between the initial conditions. It dynamic system is chaotic if shows a sen-
Theorem 1.1 Let f : X → X be a differen- will get closer to permanent oscillations sible dependency of the initial conditions,
tiable function with continuous first deriva- between two values. its topologically transitive and has a dense
tive (we say that f is of class C 1). set of periodic points.
Further in 1992 Banks, Brooks, Cairns,
• If a is a fixed point for f (x) with | f 0(a)| <
Davis and Stacey proved that in a metric
1, then a is asymptotically stable. The
space without isolated points, the sensi-
iterates of points close to a , converge to
bility dependency of the initial conditions
a geometrically (i.e., there is a constant Figure 3: Tenth iteration for µ = 3.3.
is obtained from the two remaining condi-
0 < λ < 1 for which | f n (x) − a| < λn |x − a|
tions. A dynamical system defined on a
for all n ∈ Z+ and for all x ∈ X sufficientrly
metric space is chaotic if it is topologically
clcose to a ). • With µ between 3,45 y 3,54 (approxi-
transitive and have a dense set of period
• If a is a fixed point for f (x) for wich mately), the population will present per-
points.
| f 0(a)| > 1, then a is a repelling fixed manent oscillations getting closer to
A simple system such as the logistic map
point for f . four values.
with µ = 4 is chaotic.