La Ecuación Logística

La Ecuaci´ on Log´ıstica Irene Peral Walias 1. Introducci´ on y preliminares Cuando se comenz´o el estudio de la din´amica de poblaciones por medio
Author:  Arturo Soler Cruz

33 downloads 45 Views 2MB Size

Recommend Stories


LA FUERZA Y LA VELOCIDAD LA FUERZA
Guadalupe Domínguez Carrillo EF. IES Benalúa LA FUERZA Y LA VELOCIDAD *TEORÍA SACADA DE LAS CLASES DE LA 2ª EVALUACIÓN. LA FUERZA DEFINICIÓN “Capaci

La innovación, entre la ciencia, la ficción y la política
Portafolio CTS Abril 2010 La innovación, entre la ciencia, la ficción y la política Jesús Sebastián* El artículo plantea una reflexión sobre la evo

LA ANTIDIETA LA ANTIDIETA
LA ANTIDIETA LA ANTIDIETA Los autores no ofrecen ni directa ni indirectamente, asesoramiento o consejo médico, ni prescriben el uso de una dieta com

La Alegría. La Alegría
  La Alegría   La Alegría        1    La Alegría   Índice    1. Agradecimientos ­ Pág.3  2. Introducción ­ Pág.3  3. Metodología ­ Pág.4  4. Proc

LA APOLOGÉTICA: LA DEFENSA DE LA FE
LA APOLOGÉTICA: LA DEFENSA DE LA FE Por Samuel Evora Usado con permiso OBJETIVOS GENERALES DE LA SERIE: QUE EL ALUMNO… • • • • • • aprecie la importa

Story Transcript

La Ecuaci´ on Log´ıstica Irene Peral Walias

1.

Introducci´ on y preliminares

Cuando se comenz´o el estudio de la din´amica de poblaciones por medio del modelo de Malthus se comprob´o que no se ajustaba a la realidad. Ninguna poblaci´on puede crecer indefinidamente a una tasa constante. S´olo para casos de cultivos de bacterias en cortos periodos de tiempo en los que el sustrato es suficiente, el modelo malthusiano puede tenerse en cuenta. Cuando una poblaci´on llega a ser demasiado numerosa, aparecen restricciones del medio en forma de limitaciones de espacio, de recursos, etc. , que haran disminuir la tasa de crecimiento o, incluso, que la har´an negativa provocando que la poblacion disminuya. Es m´as realista suponer que el medio s´olo puede sostener de manera estable un m´aximo K de poblaci´on (la capacidad de soporte del medio), de modo que si - x(t) > K, la tasa ser´ıa negativa y la poblaci´on decrecer´ıa acerc´andose a K. - Si x(t) = K la tasa ser´ıa nula y, por tanto, la poblaci´on constante. - Si x(t) < K, la tasa ser´ıa positiva , creciendo entonces la poblaci´on, aunque m´as lentamente cuanto m´as pr´oxima est´e del valor de K. Una forma de reflejar matem´aticamente este comportamiento es imponer que la tasa de crecimiento x0 /x sea proporcional a la diferencia (K − x). Se tiene as´ı la denominada ecuaci´on logistica(cl´asica), que reformulamos como, x0 = Ax(1 − x). Es f´acil ver que en este caso hay dos equilibrios, x = 0 y x = 1, inestable y estable respectivamente. Un modelo m´as complicado es cuando se admite

1

difusi´on espacial, en este caso la ecuaci´on log´ıstica m´as simple, tambi´en conocida como ecuaci´on de Fisher-Kolmogoroff, se escribe, en su versi´on m´as simple, como ut − D∆u = Au(1 − u).

V´ease [1] y [9]. En ´este trabajo nos limitamos a la ecuaci´on diferencial log´ıstica cl´asica. Otros modelos de Ecuaci´on log´ıstica m´as general son, por ejemplo, x0 = xα (1 − x)β ,

donde α, β ∈ R, que no se abordan en este estudio. En el caso de la ecuaci´on log´ıstica cl´asica haremos el estudio de la ecuaci´on discreta, es decir, con paso de tiempo unitario. A tal efecto, precisaremos algunos conceptos que van a ser usados de forma sistem´atica. Sea f :R→R

una funci´on suficientemente regular. Dado x0 ∈ R definimos x1 = f (x0 ) y en general xk+1 = f (xk ). Se dice que x es un punto de equilibrio para f , o que es un punto fijo, si x = f (x).

Definici´ on 1.1 Se dice que un equilibrio x b es estable si para todo ε > 0 existe un δ > 0 tal que si dist(x0 , x b) < δ entonces dist(f k (x0 ), x b) < ε para todo k > 0. Definici´ on 1.2 Se dice que un equilibrio x b es asint´oticamente estable si satisface estas dos condiciones: i) x b es estable

ii) Existe un r > 0 tal que si dist(x0 , x b) < r entonces l´ım dist(f k (x0 ), x b) = 0,

k→∞

es decir, f k (x0 ) → x b cuando k → ∞ (atractor).

Definici´ on 1.3 Se dice que un equilibrio x b es inestable si no es estable, es decir, si existe un ε > 0 tal que para todo δ > 0, existe x0 con dist(x0 , x b) < δ tal que dist(f k (x0 ), x b) ≥ ε para alg´ un k ≥ 0.

Se tiene el siguiente resultado cl´asico.

Teorema 1.1 Sea f una aplicaci´on C 1 . Un punto fijo x de f es asintoticamente estable si |f 0 (x)| < 1 y es inestable si |f 0 (x)| > 1. V´ease, por ejemplo, [5] p´agina 73. 2

2.

La Ecuaci´ on Cl´ asica

La ecuaci´on log´ıstica cl´asica est´a definida por la iteraci´on: xn+1 = A · xn · (1 − xn ),

A>0

(1)

En otras palabras, dado un valor inicial x0 , generamos un nuevo valor x1 a partir de la relaci´on x1 = A · x0 · (1 − x0 ) y luego repetimos el proceso para generar x2 a partir de x1 , y as´ı sucesivamente. Obs´ervese que esta recurrencia consiste en iterar la funci´on uniparam´etrica, f (A, x) = A · x · (1 − x)

(2)

denomina aplicaci´on logistica. N´otese que para cualquier valor de A, f (A, 0) = f (A, 1) = 0. Los puntos fijos de f (A, x) son las soluciones de la ecuaci´on x = f (A, x), es decir, las soluciones de x = A · x · (1 − x)

(3)

Resolvi´endo algebraicamente la ecuaci´on (3), aparecen dos puntos fijos 0 y 1 pA = 1 − . A Adem´as: 1. Si A > 1 entonces pA ∈ (0, 1). 2. Como f 0 (A, x) = A · (1 − 2x) resulta f 0 (A, 0) = A

y

f 0 (A, pA ) = 2 − A

Dada la iteraci´on (1), es decir, xn+1 = A · xn · (1 − xn ),

A > 0,

se escribe como,  x1    x2    xn

= f (x0 ) = f (f (x0 )) = f 2 (x0 ) ... = f n (x0 ) 3

(4)

Lema 2.1 Consid´erese la aplicaci´on log´ıstica (2) i) Sean A > 1 y x0 < 0 entonces f n (A, x0 ) → −∞ cuando n → ∞, es decir, xn → −∞ cuando n → ∞. (An´alogamente si x0 > 1, f n (A, x0 ) → −∞ cuando n → ∞).

ii) Sean 0 < A < 1 y x0 ∈ (0, 1) entonces f n (A, x0 ) → 0 cuando n → ∞, es decir, xn → 0 cuando n → ∞. iii) Sean 1 < A < 4 y x0 ∈ (0, 1) entonces f n (A, x0 ) ∈ (0, 1) ∀n ∈ N, es decir, {xn } ⊂ (0, 1) ∀n ∈ N Demostraci´ on. i) Si x0 < 0 entonces f (A, x0 ) = x1 < x0 . Por tanto, {f n (A, x0 )} = {xn } es una sucesi´on decreciente. Pero esta sucesi´on no converge porque f no tiene un punto fijo negativo. En el segundo caso, x0 > 1, se tiene que x1 < 0 y aplicamos el caso previo. ii) Como 0 < A < 1 y x0 ∈ (0, 1) entonces 0 < f (A, x0 ) = x1 < x0 . Por tanto, {f n (A, x0 )} = {xn } es una sucesi´on decreciente, que converge a 0, punto fijo de f . iii) El m´aximo valor de f es menor que 1, para cualquier A ∈ (1, 4). En efecto, se tiene

f 0 (A, x) = 0 ⇔ A · (1 − 2x) = 0 ⇔ x =

1 2

cualquiera que sea A. Es f´acil ver que se trata de un m´aximo. Finalmente, valorando la funci´on 1 en x = tenemos 2  1 1 = A · < 1 ∀A ∈ (1, 4) f A, 2 4 

4

y

Maximo de f(A,x)=A*x*(1−x)

=A/4

max

x

=0.5

max

Figura 1. Punto m´aximo de la aplicaci´on log´ıstica.

2.1.

Din´ amica de la aplicaci´ on log´ıstica

Estudiemos la din´amica de la aplicaci´on log´ıstica para varios rangos del par´ametro A. Distinguimos: 0 < A < 1. Por el teorema (1.1), se concluye que el punto fijo 0 es estable (pues |f 0 (A, 0)| = |A| < 1 por hip´otesis). Si restringimos f a (0, 1), 0 es un atractor global. Desde el punto de vista de modelizaci´on de una especie, no tiene sentido tener en cuenta el otro punto fijo de f por ser negativo.

0.2

0.2

xn+1

0.25

xn+1

0.25

0.15

0.15

0.1

0.1

0.05

0.05

0

0

0.1

0.2

0.3

0.4

0.5 x

0.6

0.7

0.8

0.9

1

0

0

0.1

n

0.2

0.3

0.4

0.5 x

0.6

0.7

n

(A = 0,9 y x0 = 0,4)

(A = 0,9 y x0 = 0,8)

Figura 2. Iteraciones de la ecuaci´on log´ıstica cl´asica

5

0.8

0.9

1

pA

0

A

1

p =1−1/A A

Figura 3. Diagrama de puntos fijos (0 < A < 1)

A = 1. A = 1 es un punto de bifurcaci´on desde cero, en el sentido que cuando 1 A > 1 obtenemos pA = 1 − > 0 y adem´as pA → 0 cuando A → 1. A pA

y=1 G

pA=1−1/A 0

A

1

Figura 4. Diagrama de bifurcaci´on. (A = 1) G rama de soluciones positivas. (A, pA ) = (1, 0) punto de bifurcacion para G

1 < A < 3. Por el teorema (1.1) concluimos: - El punto fijo 0 es inestable (pues |f 0 (A, 0)| = |A| > 1 por hip´otesis). 6

1 es asint´oticamente estable (pues A |f 0 (A, pA )| = |2 − A| < 1 ya que por hip´otesis 1 < A < 3).

- El punto fijo pA = 1 −

Si restringimos f a (0, 1) se tiene que pA es un atractor global, es decir, si 0 < x0 < 1 se tiene que l´ım f n (A, x0 ) = pA . En efecto, distinguimos n→∞ dos casos: 1 Caso I. Si 1 < A < 2 entonces 0 < pA < . 2 Adem´as, como f 0 (A, x) = A · (1 − 2x), se tienen: 1 a) Si 0 < x0 < entonces f 0 (A, x0 ) > 0 y 2   xn = f (xn−1 ) ∈ [0, 1] es creciente 

{xn } −→ pA por compacidad

entonces toda la sucesi´on converge a pA por monoton´ıa. 0.7

0.6

0.5

x

n+1

0.4

0.3

0.2

0.1

0

0

0.1

0.2

0.3

0.4

0.5 x

0.6

0.7

0.8

0.9

1

n

Figura 5. Iteraciones de la Ecuaci´on Log´ıstica Cl´asica (A = 1,8 y x0 = 0,18) b) Si

1 < x0 < 1 entonces f 0 (A, x0 ) < 0. Adem´as, 2 1 1 1 = x1 = A · x0 · (1 − x0 ) < 2 1 − 2 2 2

entonces  1apartir de la primera iteraci´on entramos en el intervalo 0, y se est´a en el caso a). 2 7

0.7

0.6

0.5

x

n+1

0.4

0.3

0.2

0.1

0

0

0.1

0.2

0.3

0.4

0.5 x

0.6

0.7

0.8

0.9

1

n

Figura 6. Iteraciones de la Ecuaci´on Log´ıstica Cl´asica (A = 1,8 y x0 = 0,9) 1 Observaci´ on: Si A = 2 entonces pA = , es decir, es el m´aximo 2 de f (2, x). N´otese que el comportamiento, en este caso particular, es an´alogo al caso anterior. 2 1 < pA < . 2 3 Veamos que pA es un atractor global.

Caso II. Si 2 < A < 3 entonces

0.9

0.9

0.8

0.8

0.7

0.7

0.6

0.6

0.5

x

x

n+1

1

n+1

1

0.5

0.4

0.4

0.3

0.3

0.2

0.2

0.1

0.1

0

0

0.1

0.2

0.3

0.4

0.5 xn

0.6

0.7

(A = 2,8 y x0 = 0,18)

0.8

0.9

1

0

0

0.1

0.2

0.3

0.4

0.5 xn

0.6

0.7

(A = 2,8 y x0 = 0,9)

Figura 7. Iteraciones de la ecuaci´on log´ıstica cl´asica 8

0.8

0.9

1

Comprobemos que existe pc A tal que:  1 i) pc A ∈ 0, 2 ii) f (A, pc A ) = pA En efecto, la ecuaci´on pA = A · x · (1 − x)



1−

1 = Ax − Ax2 A

tiene por soluciones q p A + A2 − 4A(1 − A1 ) A + (A − 2)2 1 = = 1 − = pA x1 = 2A 2A A q p A − A2 − 4A(1 − A1 ) A − (A − 2)2 1 = = = pc x2 = A 2A 2A A Por tanto, f (A, pc A ) = pA y f (A, pA ) = pA entonces f 2 (A, pc A ) = pA

Adem´as,  A2   A 1 · 1− si 2 < A < 3. > • f 2 A, 12 = 4 4 2     1 • f 2 A, 21 ≤ f 2 A, pA = pA por ser x = m´ınimo. 2 1

1 y=x

0

psimA

x=1/2

pA

1

0

psimA

x=1/2

Figura 8. Situaci´on de pA y pc A = psimA . 9

pA

1

Distinguimos los siguientes casos: Caso 1. Sea x ∈ [c pA , pA ]. De ahora en adelante denotaremos f 2 (A, x) ≡ g(A, x). As´ı g 0 (A, x) = A2 · (1 − 2Ax(1 − x)) · (1 − 2x) g 00 (A, x) = 2A2 · (−(A + 1) + 6Ax − 6Ax2 ) Se observa que

h1

i

, pA 2 h1 i - g 0 (A, x) > 0 en , pA 2 por tanto, - g (A, x) > 0 en 00

  A − 1 2 0 0 2 g (A, x) = g (A, p < 1 si 2 < A < 3 m´ a x A ) = A · 1−2 A [ 12 ,pA ] Luego, g(A, x) es contractiva en [c pA , pA ]. As´ı, g n (A, x) → pA

∀x ∈ [c p A , pA ]

Como pA es el u ´nico punto de equilibrio estable f n (A, x) → pA Caso 2. Sea x ∈ [0, pc A ]. 1 < pA , f (A, x) > x por iteraci´on se puede Como pc A < 2 comprobar que existe k0 tal que f k0 (A, x) ∈ [c pA , pA ] y se tiene el caso 1. Caso 3. Si x ∈ [pA , 1] entonces 0 < f (x) < f (pA ) = pA . Por tanto, f (x) ∈ [0, pA ] y se tiene los casos anteriores. Recopilando, si A ∈ (2, 3), pA es atractor global.

10

A≥3 Si A = 3 entonces p3 = el que f 0 (3, p3 ) = −1

2 es un nuevo punto de bifurcaci´on de (1) para 3

En efecto, para A > 3 consideremos la segunda iteraci´on del proceso recursivo (4) h i h i g(A, x) = f (A, f (A, x)) = A · A · x · (1 − x) · 1 − A · x · (1 − x) . Los puntos fijos de g(A, x) son las soluciones de h i x = A2 · x · (1 − x) · 1 − A · x · (1 − x) dadas por x1 = 0 1 = pA A p 1 + A − (A − 3)(A + 1) x3 (A) = 2A p 1 + A + (A − 3)(A + 1) x4 (A) = 2A Los dos primeros son los puntos fijos de f (A, x). Los otros dos son, para A > 3, puntos fijos de g(A, x) que no son de equilibrio de (1) x2 (A) = 1 −

y=x y=x

x1

x2=pA

x1

x3

(A = 2,8)

x2=pA

x4

(A = 3)

Figura 9. Primera y segunda iteraciones de la ecuaci´on log´ıstica

11

La o´rbita {x3 , x4 } es una o´rbita peri´odica de periodo dos. Adem´as como   g 0 (A, x) = f 0 (A, f (A, x)) · f 0 (A, x) = A2 1 − 2Ax(1 − x) (1 − 2x) entonces g 0 (A, x3 ) = g 0 (A, x4 ) = −A2 + 2A + 4

2 y la o´rbita {x3 , x√ 4 } es atractora cuando | − A + 2A + 4| < 1, es decir, para A ∈ (3, 1 + 6)

En consecuencia, en el punto (3, p3 ) ≡ (3, 2/3) se produce la ramificaci´on de una o´rbita de per´ıodo dos, y por eso esta bifurcaci´on se denomina bifurcaci´on de duplicaci´on de periodo, y la trasferencia de estabilidad entre ´esta y la o´rbita fija. El diagrama de bifurcaci´on que se muestra en la figura siguiente incluye la representaci´on de la curva formada por los puntos de la o´rbita peri´odica.

y=1 x4(A) p

A

x3(A) A 3

1+61/2

Figura 10. Diagrama de bifurcaci´on. (A = 3) √ Si A = 1 + 6 en los puntos (A, x3 (A)) y (A, x4 (A)) se tiene otra bifurcaci´on, es decir, g 0 (A, x3 ) = g 0 (A, x4 ) = −1 y la o´rbita de per´ıodo dos pasa a ser inestable. Se trata de otra bifurcaci´on de duplicaci´on de per´ıodo, que se analiza estudiando la segunda iteraci´on de g = f 2 , es decir, la cuarta iteraci´on de f . Se produce as´ı la ramificaci´on de una o´rbita atractora de per´ıodo cuatro. Pero la ecuaci´on log´ıstica (1) no s´o√ lo tiene bifurcaciones de duplicaci´on de per´ıodo en A = 3 y A = 1 + 6, se puede probar que existe una sucesi´on (v´ease [2] y [3]) An de bifurcaciones en las que ramifican o´rbitas 12

atractoras de per´ıodo 2n , pasando a ser repulsoras las de per´ıodo 2n−1 . Adem´as se demuestra que l´ım An = A∞ ≈ 3,57

n→∞

y, a partir de ese valor, la ecuaci´on (1) tiene infinitas o´rbitas peri´odicas inestables (al menos todas las de per´ıodo par, aunque se puede probar que existen o´rbitas de cualquier per´ıodo) y aparecen trayectorias aperi´odicas acotadas que no convergen a o´rbitas regulares (estacionarias o peri´odicas). El coportamiento de las o´rbitas se va haciendo m´as complejo, como se pone de manifiesto en la siguiente figura.

0.8

0.8

0.7

0.7

0.6

0.6

0.5

x

x

n+1

1 0.9

n+1

1 0.9

0.5

0.4

0.4

0.3

0.3

0.2

0.2

0.1

0.1

0

0

0.1

0.2

0.3

0.4

0.5 x

0.6

0.7

0.8

0.9

0

1

0

0.1

0.2

0.3

0.4

n

0.7

0.8

0.9

1

0.7

0.8

0.9

1

(A = 3,2)

1 0.9

0.8

0.8

0.7

0.7

0.6

0.6 n+1

1 0.9

n+1

0.5

x

x

0.6

n

(A = 2,8)

0.5

0.4

0.4

0.3

0.3

0.2

0.2

0.1

0.1

0

0.5 x

0

0.1

0.2

0.3

0.4

0.5 x

0.6

n

(A = 3,5)

0.7

0.8

0.9

1

0

0

0.1

0.2

0.3

0.4

0.5 x

0.6

n

(A = 3,8)

Figura 11. Distintas evoluciones de las o´rbitas de la ecuaci´on log´ıstica

13

Se observa c´omo la evoluci´on de las o´rbitas cambia al variar el par´ametro A. Para A ∈ [0, 4], el intervalo I = [0, 1] es invariante por f (A, x), por lo que las o´rbitas que comienzan en un punto de I son acotadas (xk ∈ I, para todo k ∈ N).

Cuando A = 2,8, las o´rbitas no fijas tienden al equilibrio positivo (lo que sucede para 1 < A < 3).

Si A = 3,2, las o´rbitas no fijas √ tienden a un ciclo de per´ıodo dos (lo que sucede para 3 < A < 1 + 6), cuando A = 3,45 tienden a uno de per´ıodo cuatro, y cuando A = 3,5 tienden a uno de periodo ocho. Finalmente, para A = 3,6 y A = 3,8 las o´rbitas aperi´odicas no convergen a ning´ un ciclo peri´odico. Estas o´rbitas aperi´odicas (que existen cuando A∞ < A ≤ 4 ) presentan una caracter´ıstica destacada: tienen una dependencia sensible respecto de los datos iniciales (DSDI). Definici´ on 2.1 Se dice que una o´rbita γ(x0 ) tiene DSDI si existe d > 0 de forma que cualquier entorno V de x0 contiene un punto x tal que dist(f k (x), f k (x0 )) ≥ d para alg´ un k ∈ N, es decir, tiene o´rbitas tan cercanas inicialmente como se quiera cuya evoluci´on en alg´ un momento se separa de γ(x0 ) (al menos d unidades). Este hecho tiene una notable relevancia pues imposibilita la predicci´on a medio y largo plazo: los peque˜ nos errores iniciales se convierten en grandes errores futuros. Gráfica de xn frente a n

1

Gráfica de xn frente a n

1

0.9

0.9

0.8 0.8 0.7 0.7 0.6 0.6 0.5 0.5

0.4

0.3

0.4

0.2 0

10

20

30

40

50

60

70

80

90

100

0.3

0

10

20

30

40

50

60

70

80

90

100

Figura 12. Dependencia sensible respecto de los datos iniciales. Las o´rbitas acotadas, no peri´odicas, y que presentan dependencia sensible se denominan o´rbitas ca´oticas. Se puede demostrar que para A > A∞ , la ecuaci´on log´ıstica tiene o´rbitas ca´oticas. En este caso el 14

comportamiento asint´otico de las o´rbitas de (1) no puede ser descrito en t´erminos de conjuntos ”simples”(con un n´ umero finito de puntos determinados por o´rbitas fijas o peri´odicas), por lo que el concepto de atracci´on se generaliza a conjuntos arbitrarios: Definici´ on 2.2 Se dice que un conjunto O ⊂ R es un atractor de la ecuaci´on xk+1 = f (xk ) si es invariante por f , existe un conjunto D ⊇ O de medida no nula tal que l´ım dist(f k (x0 ), O) = 0 para todo x0 ∈ D (es decir, atrae a n→∞

todas las o´rbitas que empiezan en D) y tiene una o´rbita densa (lo que garantiza que contiene lo ”m´ınimo”, lo ”esencial”).

Definici´ on 2.3 Si el atractor de una ecuaci´on contiene una o´rbita ca´otica, se dice que es un atractor ca´otico. Los atractores ca´oticos constan de infinitos puntos y suelen ser extremadamente irregulares. En la siguiente figura, se ha representado el comportamiento asint´otico de la ecuaci´on log´ıstica, para ello, se ha dibujado la evoluci´on de una o´rbita (con dato inicial x0 = 0,2) desde la iteraci´on 500 (con el objeto de esperar su asentamiento sobre el conjunto atractor) hasta la 5000 para valores del parametro A ∈ [20 8, 4]. A esta gr´afica, aunque las o´rbitas inestables no aparecen representadas , tambi´en se la denomina diagrama de bifurcaci´on. 1 0.9 0.8 0.7 0.6 0.5 0.4 0.3 0.2 0.1 0 2.6

2.8

3

3.2

3.4

3.6

3.8

4

Figura 13. Diagrama de bifurcaci´on de la ecuaci´on log´ıstica. 15

La complejidad del comportamiento de las o´rbitas de la ecuaci´on log´ıstica para A > A∞ queda patente en la anterior figura. Se observa como los atractores parecen rellenar¨ un subintervalo de I = [0, 1], lo que no es as´ı pues de dichos subintervalos tambi´en arrancan infinitas o´rbitas peri´odicas inestables. Tambi´en se aprecian regiones con atractores peri´odicos (que se corresponden con las franjas claras v´erticales del diagrama), denominadas ventanas peri´odicas. En estos casos, aunque existen o´rbitas periodicas, la regi´on de atracci´on tiene medida nula por lo que en la pr´actica, son ”inobservables”(y entonces no existe atractor ca´otico). Los atractores ca´oticos son extremadamente irregulares y presentan ricas etructuras sobre escalas arbitrariamente peque˜ nas. Ello hace que para su adecuada caracterizaci´on se introduzcan nuevos conceptos de dimensi´on, distintos de la dimensi´on eucl´ıdea permitiendo el uso de ”dimensiones no enteras”(fractales). En particular, se demuestra que el atractor de la ecuaci´on log´ıstica para A = 4 es un conjunto de Cantor, ln2 con dimensi´on de Haussdorff ≈ 0,63 (v´ease [7]). ln3 Por otro lado, la existencia de estos atractores ca´oticos diluye la posibilidad de precisar con detalle el comportamiento a largo plazo de las o´rbitas del sistema: las o´rbitas recorren el atractor de forma extraordinariamente compleja, visitando todas sus partes con probabilidad positiva y generando una evoluci´on de apariencia aleatoria por lo que la descripci´on de la din´amica del sistema se ha de llevar a cabo mediante el uso de conceptos y m´etodos estoc´asticos. La existencia de din´amicas ca´oticas, en el contexto de las ecuaciones diferenciales, s´olo es posible para sistemas con dimensi´on n ≥ 3, mientras que en los sistemas discretos invertibles (con f y f −1 diferenciables) hace falta dimensi´on n ≥ 2 para que pueda existir din´amica ca´otica. Tenemos as´ı una escala de dimensiones m´ınimas para la posibilidad de caos: • Sistemas din´amicos discretos xk+1 = f (xk ), f arbitraria, n = 1.

• Sistemas din´amicos discretos xk+1 = f (xk ), f invertible, n = 2. • Sistemas din´amicos continuos x0 = f (x), f arbitraria, n = 3.

16

Referencias [1] D.G. Aronson, H.F. Weinberger, Nonlinear diffusion in populations genetics, combustion, and nerve pulse propagation. Lectures Notes in Mathematics No 446, Springer-Verlag, 1978 pg 5-49. [2] R.L. Devaney, An introduction to chaotic dynamical systems Second Edition, Addison Wesley, 1989. [3] S. N. Elaydi, Discrete chaos Chapman and Hall, 2000. [4] C. Fern´andez P´erez, F.J. V´azquez Hern´andez, J.M. Vegas Montaner, Ecuaciones diferenciales y en diferencias. Sistemas din´amicos, Thomson, 2003. [5] J. Hale, H. Ko¸cak, Dynamics and Bifurcations , Springer-Verlag, 1991. [6] M.W. Hirsch, S. Smale, Ecuaciones diferenciales, sistemas din´amicos y a´lgebra lineal Alianza Universidad, 1983. [7] R.A. Holmgrem, A first course in discrete dynamical systems, Springer- Verlag, 1994. [8] J.D. Murray, Mathematical Biology. Vol 1 Introduction, Third Edition, Springer-Verlag, 2002. [9] J.D. Murray, Mathematical Biology. Vol 2 Spatial model and biomedical applications Third Edition, Springer-Verlag, 2003. [10] P. Quintela Est´evez, Matem´aticas en ingenier´ıa con Matlab Universidade de Santiago de Compostela Publicati´ons, 2000.

17

Get in touch

Social

© Copyright 2013 - 2024 MYDOKUMENT.COM - All rights reserved.