Caos y Fractales

Rafael Caballero Roldn

Fractales .. qu es eso?

Definiciones imprecisas: Un fractal es una figura Auto-semejante Que contiene copias de si misma Definida de forma recursiva

Veamos algunos ejemplos

Ejemplo 1: Hoja de helecho

Ampliar y girar

Ejemplo 1: Hoja de helecho

En la naturaleza la autosemejanza se pierde tras unas pocas iteraciones

http://astronomy.swin.edu.au/~pbourke/fractals/selfsimilar/

Ejemplo 2: rboles

Desde luego parecen rboles

Ejemplo 2: rboles

pero son ramas

Ejemplo 3: Costas

Un pequeo trozo de costa aumentado resulta igual de natural que el trozo mayor

Ejemplo 4: Seales

La teora de fractales se aplica a la bolsa, a la previsin de sesmos, etc.

Y an hay ms

Nubes

Brcol

Grietas

Msica!

Pero, todo esto qu tiene que ver con la Informtica ? Los fractales son fciles de modelizar mediante la geometra fractal Esto permite simular en un ordenador sistemas de naturaleza fractal Aplicaciones: Generacin de grficos para representar rboles,
montaas, nubes, etc. Simulacin de evolucin de sistemas complejos (terremotos, movimiento de fluidos) Otras aplicaciones: algoritmos de compresin

Geometra Fractal
Dentro de la geometra fractal podemos distinguir dos tipos de fractales: Objetos construidos a partir de copias exactas (escaladas) de si mismos fractales regulares Objetos auto-semejantes, pero que no estn construidos slo a partir de copias exactas de si mismos fractales no regulares

Fractales Regulares
Se definen generalmente de la siguiente manera: Se parte de una figura inicial Se aplican unas reglas de transformacin, que generan varias nuevas figuras a partir de la inicial A cada una de las nuevas figuras se le aplica de nuevo las reglas de transformacin .. y as hasta el infinito Slo podemos dibujar aproximaciones finitas (unas cuantas iteraciones)

Ejemplo: conjunto de Cantor

Definido por Georg Cantor en 1877 Construccin:
1 1/3 1/3

Figura Inicial

Transformacin

Iteracin

Iteracin

Iteracin

El conjunto se obtendra tras infinitas iteraciones Reglas de transformacin:

Tomar cada segmento actualmente el conjunto Dividir el segmento en 3 y eliminar la parte central

Ejemplo: conjunto de Cantor

El conjunto est construido a partir de 2 (o 4, o 8 o 16) copias exactas de s mismo:
x3 x3

Definicin ms precisa del conjunto:

Sean c1(x) = x/3, c2(x)=x/3 + 2/3, c(A) = c1(A) U c2(A), p.t. conjunto A Definimos C0 = [0,1], Ck+1 = c(Ck) para k=0 Entonces el conjunto de Cantor es lmite de la sucesin {Ck} k

Ejemplo: conjunto de Cantor

C0 = =( C2 = c(C1) = c(
c(C)

(segmento [0,1]) ) U c2 ( )= ) = .. = )=

C1 = c(C0) = c1(C0) U c2(C0) = c1( )U (

Pregunta: Sea C el conjunto de Cantor Cunto vale c(C) ? = c1 ( =( ) U c2( )U( ) = ) = = C

El conjunto de Cantor es un punto fijo para la aplicacin c

Ejemplo: tringulo de Sierpinski

Definido por Waclaw Sierpinski (1882 1969) Construccin:

Figura Inicial

Transformacin

Ejemplo: tringulo de Sierpinski

Tringulo de Sierpinski
Cada tringulo est construido a partir de 3 copias de tamao :

Tringulo de Sierpinski
Igual que en el conjunto de Cantor, el tringulo se Puede definir formalmente:
s1 s1(x,y) = ( x, y) s2(x,y) = ( x + , y) s3 s2 s3(x,y) = ( x + , y + ) 1 s(A) = s 1(A) U s2(A) U s3(A) S0 = , Sk+1 = s(Sk) para k=0 El tringulo de Sierpinski es el lmite de {Sk} k

Tringulo de Sierpinski
Se cumple que: S0 = S1 = S2 =

Si S es es tringulo de Sierpinski, se cumple que s(S) = S El tringulo de Sierpinski es un punto fijo para la transformacion s

La familia Sierpinski
Alfombra de Sierpinski : Cubo de Sierpinski :

Se utiliza en la construccin de circuitos:

Fractales No Regulares
Algunos se pueden definir, igual que los regulares como el lmite de una sucesin de conjuntos: Se parte de una figura inicial (conjunto de puntos)
A partir del conjunto inicial se genera uno nuevo aplicando un conjunto de funciones, generalmente transformaciones afines: f(x,y) = a b cd
x y

e f

Ejemplos: hojas, rboles, etc.

Otros se definen como los puntos para los que una serie converge ( ej.: conjunto de Mandelbrot)

Ejemplo: hoja
Fractal no regular

Definido mediante 4 funciones

Ejemplo: hoja
Funciones:
f1(x,y) = (0, 0.2y+10 ) f2(x,y) = (0.85x+0.04y, -0.04x+0.85y+100) f3(x,y) = (0.2x-0.26y, 0.23x+0.22y+100) f4(x,y) = (-0.15x+0.3y, 0.26x+0.24y+28) f2

f3 f4 f1 f1

El tallo se logra poniendo la x constante

Cmo dibujarlos?
Formalmente, f contractiva si d(a,b) > d(f(a),f(b)) para todo a,b (d es una distancia) Teorema: Sea f una funcin contractiva en un espacio completo. Entonces: f tiene un nico punto fijo p, tal que f(p)=p Dado un punto x cualquiera, la sucesin s0 = x, si+1 = f(si), i=0

converge al punto fijo p

Cmo dibujarlos?
El teorema dice que no importa la figura inicial; aplicando las transformaciones acabamos siempre en el punto fijo Mtodo para dibujar un fractal definido por una serie de transformaciones {f1, f2, ..,fn}: Empezar por una figura cualquiera F F = f1(F) U f2(F) U .. U fn(F) Repetir el paso anterior tomando F = F De est forma iremos viendo formarse el fractal, que es el punto fijo de {f1,..,fn}

Ejemplo: Sierpinski a partir de Mandelbrot

Transformaciones del conjunto de Sierpinski: s1(x,y) = ( x, y) s2(x,y) = ( x + , y) s3(x,y) = ( x + , y + ) Figura inicial: foto de B. Mandelbrot

El juego del caos

El mtodo anterior es vlido pero costoso: Incluso si se parte de un solo punto pronto tenemos que trabajar con figuras formadas por muchos puntos Alternativa propuesta por M. Barnsley:
1. Partir de un punto p cualquiera 2. Elegir una {f1,,fn} al azar 3. Aplicarla para obtener un nuevo punto p 4. Dibujarlo y repetir el paso 2

Estadsticamente equivale a aplicar todas las funciones, pero es menos costoso

La dimensin de los fractales

La dimensin de los objetos fractales no es obvia:

.
Dimensin 0 Dimensin 1 Dimensin 2 Dimensin

B. Mandelbrot propuso un mtodo para conocer la dimensin de un fractal

La dimensin de los fractales

Idea: Si una figura de dimensin D se puede componer a partir de n copias de escala 1/s se tiene que sD = n . Ejemplos:
Una lnea de longitud 1 se puede componer a partir de 2 copias de longitud (21 = 2 , dimensin 1) Un cuadrado de lado 1 se puede componer a partir de 4 cuadrados de longitud (22 = 4, dimensin 2) Un cubo de lado 1 se puede componer a partir de 8 cubos de longitud (23 = 8, dimensin 3) Un tringulo de Sierpinski de lado 1 se puede componer a partir de 3 copias de lado (2D=3 ) D= log 3/log 2 D = 1,584 dimensin fraccionaria!
1

El conjunto de Mandelbrot (ejemplo de fractal no regular)

Una charla sobre fractales tiene que mencionar por fuerza el conjunto de Mandelbrot:

De donde salen los colores?

Normalmente se dibujan: Los puntos del conjunto en negro Para los que no son del conjunto se elige un color relacionado con el nmero de iteraciones en el que se ha tenido que |Zn| > 2 Se trata de que a valores de n similares les correspondan colores similares

Conjunto de Mandelbrot
Tambin se pueden hacer representaciones 3D:

Dnde est la auto-semejanza?

Al aumentar reas de cerca del borde se encuentran pequeos conjuntos de Mandelbrot y muchas maravillas

Caos
La palabra caos se utiliza para describir el comportamiento de sistemas no lineales Caracterstica de los sistemas no lineales: Un pequeo cambio en un parmetro produce un gran cambio en el resultado final Suelen emplearse para modelar la evolucin en el tiempo de procesos complejos: plagas, el clima, movimiento de fluidos, etc.

Caos
Un caso: agrupacin de partculas con movimiento browniano (ej. Partculas de holln):

Aspecto fractal

Caos
Otro ejemplo interesante: se ha comprobado que la molcula del glucgeno tiene naturaleza fractal:
Biophys J, September 1999, p. 1327-1332, Vol. 77, No. 3 The Fractal Structure of Glycogen: A Clever Solution to Optimize Cell Metabolism Ruth Melndez, Enrique Melndez-Hevia, and Enric I. Canela