Introduccin a los procesos infinitos y Fractales

Sergio Plaza Departamento de Matemtica y C.C. Universidad de Santiago de Chile La idea fundamental de un proceso iterativo consiste en lo siguiente: dado uno o varios valores iniciales, se introducen en una transformaciones (frmulas), llamada transformacin iterativa, la cual podemos imaginar como una mquina que transforma un valor inicial o varios valores iniciales en otro, llamado resultado, el cual pasa a ser considerado como parte de nuevos valores iniciales o un nuevo valor inicial para el proceso iterativo. Un ejemplo sencillo es dado por la sucesin de Fibonacci 1 , 1 , 2 , 3 , 5 , 8 , ... la cual se obtiene considerando los valores iniciales x0 = 1 , x1 = 1 , y xn+1 = xn + x n1 para n 1, as los valores que se obtienen para los primeros elementos de la sucesin de Fibonacci son: x2 = x1 + x0 = 1 + 1 = 2 x3 = x2 + x1 = 2 + 1 = 3 x4 = x 3 + x2 = 3 + 2 = 5 x5 = x 4 + x 3 = 5 + 3 = 8 ! La transformacin puede venir expresada por frmulas o por una serie de pasos a ejecutar en cada etapa de la iteracin. Para ilustrar esta ltima posibilidad veamos un ejemplo.

1.

Consideremos un segmento de recta, el cual para comenzar lo consideramos de longitud 1 (esto no constituye ninguna restriccin.) 1 3

2. Reemplace el segmento inicial por cuatros segmentos de recta cada uno de longitud de la longitud del segmento inicial, como muestra la figura

Obtenemos as una poligonal formada por cuatro segmentos de longitud

1 , por lo 3

tanto la longitud de la poligonal es

4 . 3

3. Aplicamos el proceso de reemplazar cada segmento de la poligonal obtenida en la etapa 1 anterior por cuatro segmentos cada uno de longitud de la longitud del segmento 3 considerado, El procedimiento es ilustrado en la figura abajo.

1 1 1 en esta nueva poligonal cada segmento tiene longitud 3 3 = 9 , y existen 16 16 4 segmentos, luego la longitud de la poligonal obtenida es igual a = . 9 3 Si repetimos la etapa 3, reemplazando cada segmento de recta de la poligonal por 1 cuatro segmentos cada uno de longitud de la longitud del segmento considerado, 3 1 obtenemos una poligonal con 64 segmentos, cada uno de longitud , por lo tanto la 27 3 64 4 longitud de la poligonal obtenida en esta etapa del proceso es = . 27 3 Este proceso puede repetirse indefinidamente, obteniendo una ``curva de longitud infinita, y como puede observarse en cada etapa agregamos puntos esquinas (aquellos que forman el vrtice de dos segmentos). La curva final tendr un punto esquina en cada punto, esto no es fcil de imaginar, pero de hecho as ocurre. Esta curva es llamada curva de Koch, en honor a su creador, Niel Helge von Koch (25/06/1870-11/03/1924). 1 de 3 la longitud del segmento considerando en la etapa anterior puede aplicarse, por ejemplo, a los lados del tringulo equiltero de lado 1. Obteniendo, una sucesin de figuras como se muestra abajo La construccin de reemplazar cada segmento por otros cuatro, cada uno de longitud
2

Etapa 0 Longitud de la poligonal igual a 3

Etapa 1 Longitud de la poligonal igual a 12 = 3 4

3 3

Etapa 2 Longitud de la poligonal 2 igual a 48 = 3 4

9 3

Etapa 3 Longitud de la poligonal 3 igual a 192 = 3 4

27 3

Etapa final

En la etapa 3, obtenemos una poligonal cerrada formada por 4 48 = 192 lados, cada uno de longitud 1 192 4 , luego su longitud es = 3 . De lo anterior vemos que en la etapa n27 27 3
n 3

4 sima, se obtiene una poligonal con longitud igual a 3 . Por lo tanto la longitud de la 3 curva lmite del proceso anterior crece indefinidamente. Notemos que la curva lmite acota una regin de rea finita en el plano. Esta curva lmite es llamada copo de nieve de Koch. Ella hiere nuestra intuicin, pues es una curva de longitud infinita que delimita una regin de rea finita en el plano.

Figuras Fractales
La curva de Koch, es un ejemplo de figuras geomtricas llamadas fractales. Muchas figuras fractales tienen la propiedad de ser autosimilares; esto quiere decir, que si tomamos una parte de la figura, por muy pequea que sea, al aplicarle una ampliacin vemos nuevamente la misma configuracin. Por ejemplo la curva de Koch construida anteriormente tiene esta propiedad.

Hay que notar que la autosimilaridad no constituye una propiedad que define si una figura es fractal o no, por ejemplo, un cuadrado en el plano tiene esta propiedad y no cabe siquiera pensar que sea una figura fractal, pues como nuestra intuicin nos dice una figura fractal tiene una alta irregularidad, ms adelante veremos un intento de definicin de lo que sera una figura fractal. Examinemos otros ejemplos, de los llamados fractales clsicos.

Conjunto de Cantor Este conjunto es utilizado frecuentemente en matemtica para construir ejemplos y su nombre lo debe a su creador G. Cantor (03/03/1845-06/01/1918). Comenzamos la construccin con un segmento de recta, digamos de longitud 1. Dividimos el segmento inicial en 3 segmentos de igual longitud y eliminamos el segmento 1 central, obteniendo dos segmentos cada uno de longitud . 3

Enseguida dividimos cada segmento resultante en la etapa anterior en 3 segmentos de igual longitud y eliminamos los segmentos central, obteniendo 4 segmentos cada uno de longitud 1 . 9 Repetimos el proceso de divisin y eliminacin anterior a cada segmento resultante en la etapa anterior, y continuamos el proceso indefinidamente. El resultado final es un conjunto C, llamado conjunto de Cantor, el cual es no vaco y contiene tantos puntos como la recta real.

Conjunto de Cantor

Si en cada etapa de la construccin del conjunto de Cantor, medimos la longitud del conjunto resultante, obtenemos lo siguiente:

Etapa 0 1 2 3
!

Longitud 1 2 3 4 2 = 9 3
2

8 2 = 27 3 !

Intuitivamente el conjunto de Cantor debera tener longitud 0. Debido a su construccin el conjunto de Cantor es autosimilar. Notemos que el conjunto de Cantor es de longitud cero y tiene tantos puntos como el segmento inicial. Esto no es fcil de aceptar ni intuitivo. La construccin anterior del conjunto de Cantor es la clsica. Existen muchas construcciones de conjuntos de Cantor, es decir, de divisin de un segmento en segmentos 1 (no necesariamente en 3) y en proporciones distintas (no necesariamente ), y que nos 3 llevan a un conjunto de Cantor. Incluso se pueden construir conjuntos de Cantor con longitud positiva. En la actualidad an se trabaja y se publican trabajos profundos en matemtica que tienen relacin con estos conjuntos.

Tringulo de Sierpinski El nombre de esta figura fractal lo debe a su creador W. Sierpinski (14/03/188221/10/1969). La construccin clsica de esta figura fractal es como sigue: Consideramos una regin triangular, la cual para simplificar suponemos delimitada por el tringulo equiltero de lado 1. Dividimos la regin en cuatro regiones de igual rea, como muestra la figura

Esto se logra uniendo los puntos medios de los lados del tringulo original. Eliminamos el tringulo central, obteniendo la figura

En cada tringulo restante T1 , T2 , T3 , repetimos el proceso de divisin-eliminacin, obteniendo la figura

Repetimos el proceso de divisin-eliminacin en cada tringulo que rest de la etapa anterior, y continuamos con el proceso indefinidamente. La figura resultante es llamada tringulo de Sierpinski.

Tringulo de Sierpinski

El tringulo de Sierpinski, al igual que la curva de Koch y el conjunto de Cantor, es autosimilar.

Estas tres figuras, constituyen la triloga de los ms clsicos ejemplos de las figuras llamadas fractales. Porqu llamar fractal a la curva de Koch, el conjunto de Cantor y el tringulo de Sierpinski?, y a otras figuras, por ejemplo las siguientes:

Para responder a esta pregunta necesitaramos desarrollar una matemtica ms all de los objetivos bsicos planteados en estas notas, por lo que nos limitaremos a dar una justificacin simple en este caso. Examinemos un poco la definicin de volumen de un segmento de recta y de un cuadrado (no existe error en llamar volumen a lo que usualmente en IR llamamos longitud y en IR 2 , rea, es simplemente para usar la misma terminologa, la cual se transforma de modo obvio a figuras geomtricas en IR n ). Para ponernos de acuerdo usamos la convencin: 1 volumen = longitud , 2 volumen = area , 3 volumen = volumen usual .

1 - Volumen Consideremos un segmento de recta, que por simplicidad, suponemos unitario (no es ninguna restriccin esta suposicin). Para calcular el 1 volumen del segmento unitario procedemos como sigue: cubrimos nuestro segmento por segmentos pequeos de longitud, digamos , ( > 0 un nmero).

Sea N ( ) = nmero mnimo de intervalos de longitud necesario para cubrir el intervalo. Tenemos entonces que N ( ) 1 1 , donde el smbolo significa aproximadamente igual, luego el 1-volumen del segmento de recta unitario es igual a 1. De modo anlogo, para calcular el 2 volumen de un cuadrado, el cual para simplificar suponemos unitario (es decir, de lado 1) cubrimos ste por cuadrados pequeos de lado ( > 0) . Sea N ( ) el nmero mnimo de cuadrados de lado , necesarios para cubrir el cuadrado, entonces N ( ) 2 1, luego el 2-volumen del cuadrado unitario es igual a 2.

Ahora consideremos la curva de Koch. Para calcular su 1 volumen , en cada paso de la construccin calculamos el 1 volumen de la poligonal resultante en esa etapa.

Para n = 1, si tomamos = 1, tenemos N ( ) = 1 , para n = 2, si tomamos = tenemos N ( ) = 4 , para n = 3, tomando = 1 , tenemos N ( ) = 4k . k 3 1 , tenemos 32

1 , 3

N ( ) = 42 , ..., para n = k

tomando =

Y veremos entonces que el 1 volumen de la curva de Koch crece indefinidamente. Si en cambio en vez de considerar la ecuacin 4 N ( ) 1 , 3 consideramos la ecuacin N ( ) s = 1 y buscamos el valor de s de modo que esto ocurre. En la etapa k, tenemos la ecuacin 1 4 k = 1. 3
k s k

De esto, tenemos que 4k = 3ks de donde, aplicando logaritmo en base e, nos queda k ln 4 = ks ln(3) , ln(4) obtenemos que s = . ln(3) Similarmente, para el conjunto de Cantor, planteamos la ecuacin s 1 2 k k = 1, 3 y por lo tanto

 ln(2) de donde s = ln(3) . Anlogamente, para el tringulo de Sierpinski obtenemos que s = ln(4) . ln(3)

El nmero s obteniendo en cada caso anterior, es llamado la capacidad de la correspondiente figura. Tenemos as

Figura Curva de Koch Conjunto de Cantor Tringulo de Sierpinski

Capacidad ln(4) ln(3) ln(2) s= ln(3) ln(4) s= ln(3) s=

Observacin: El denominador ln(3) en las capacidades anteriores tiene que ver con la forma de la construccin, no es una constante universal para toda figura geomtrica fractal. El hecho que para la curva de Koch se tenga que s = ln(4) = 1.2618... se interpreta ln(3) diciendo que la curva de Koch es una curva que ocupa ms espacio que una curva regular pero no llega a llenar un rea. Para el conjunto de Cantor, s = 0.63092... se interpreta diciendo que an cuando C no contiene ningn segmento de recta, ocupa ms espacio que puntos y no llena un segmento de recta. De modo anlogo para el tringulo de Sierpinski, este ocupa un espacio mayor que una curva regular pero no llena ninguna rea.

10

En general, diremos que una figura tiene chance de ser fractal si su capacidad es un nmero real no entero, esto no es completamente correcto, pero nos da una primera aproximacin a la idea de lo que sera una definicin de fractal o de figura fractal. Nota: una buena pgina para encontrar biografas de matemticos es http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians Lo que hemos presentado acerca de la geometra fractal no es si no una parte minimal de esta hermosa teora, la cual tuvo sus inicios en los trabajos del matemtico ruso A. S. Besicovitch y su escuela, aproximadamente en 1950, y que se populariz con el trabajo, esencialmente de divulgaciones, debido a Benoit Mandelbrot en el ao 1977 con la publicacin de su libro Fractals: form, chance, and dimension. Mandelbrot llev la geometra fractal al computador, produciendo hermosas e intrigantes figuras, sobre todo en el rea de estudio de la dinmica compleja, graficando computacionalmente los trabajos de los matemticos franceses G. Julia y P. Fatou, trabajos matemticos profundos producidos entre 1918 y 1920. Posteriormente, M. Barnsley, basado en el trabajo de tesis de doctoral de su estudiante A. Jacquin (1989) y del matemtico J.E. Hutckison (1981), desarroll la teora de los sistemas iterados de funciones (denominados IFS del ingls iterated function systems) y funda una industria llamada Iterated Function Systems, la cual se dedic esencialmente a la produccin de algoritmos para comprimir imgenes. Uno de los productos que usa esta tecnologa es Encarta 99 y sucesivas versiones de este software. A continuacin damos una versin simplista de esta teora, la cual puede ser fcilmente implementada en un computador para producir bellas imgenes fractales.

Una referencia de una pgina donde encontrar fractales en Chile es:

http://www.geocities.com/CapeCanaveral/Cockpit/5889/

otra es http://www.arrakis.es/~sysifus/

11

Sistemas de Funciones Iterados Lineales en el Plano

Lo que desarrollamos en esta seccin corresponde a una parte inocente del asunto y su implementacin computacional. Inocente en el sentido que es slo una introduccin, digamos somera a la teora general, pero suficiente para que podamos experimentar con ella. Consideramos transformaciones del plano en si mismo de la forma T ( x , y ) = (ax + by + e , cx + dy + f ) donde a, b, c, d , e, f son nmeros reales, y a, b, c y d satisfacen la condicin ad bc 1, llamada condicin de contractividad. Decimos en este caso que T una contraccin afn. Veamos como utilizando transformaciones afines contractivas podemos producir la curva de Koch.

Consideremos el cuadrado unitario Q (cuadrado de lado 1), con un vrtice en el origen, como muestra la figura.

Aplicamos a Q la transformacin afn contractiva 1 1 T1 ( x, y ) = x, y 3 3 y obtenemos el cuadrado Q1 , de lado 1 como muestra la figura. 3

12

Enseguida aplicamos a este cuadrado una rotacin en 60 seguido de una traslacin a lo 3 1 3 y 1 1 largo del eje x, igual a , es decir, aplicamos T2 ( x, y ) = x + + , x + y y 6 3 6 3 6 6 obtenemos la figura

Enseguida aplicamos la transformacin T3 al cuadrado Q1 que hace lo siguiente: lo contrae 1 2 al cuadrado de lado , Q1, luego lo rota en 120 y lo traslada a ,0 , es decir 3 3 x 3 2 x 3 T3 ( x, y ) = + y+ , y + 6 6 3 6 6 y obtenemos la figura

x 2 y Finalmente, aplicamos a Q la transformacin T4 ( x, y ) = + , y tenemos la figura 3 3 3

13

Combinando, tenemos: primero aplicamos T1, despus T2 , despus T3 y finalmente T4, a Q, obteniendo la figura siguiente

A la figura resultante, aplicamos T1, T2, T3 y T4 (en cualquier orden), y as sucesivamente. Garantizamos que el resultado final es la curva de Koch.

La pregunta es cmo implementar el proceso anterior en un computador?. En principio esta no sera fcil, pero se tiene el siguiente resultado. Sea { 1 , T2 ,", Tn } una coleccin de transformaciones afines contractivas del plano. Sea T ( x0 , y0 ) un punto arbitrario. Denotemos (1), (2),", (n) elecciones arbitrarias y aleatorias de los ndices 1,# , n de las transformaciones afines. Entonces la sucesin de puntos ( xk , yk ) del plano obtenidas como sigue: ( x1 , y1 ) = T (1) ( x0 , y 0 ) , ( x 2 , y 2 ) = T ( 2) ( x1 , y1 ) , ( x3 , y3 ) = T ( 3) ( x 2 , y 2 ),#, despus de despreciar sus primeros, digamos 100 elementos, llena una regin del plano que corresponde a la figura fractal deseada de generar. El sentido de figura fractal en este caso corresponde al hecho que el borde (cuando ella tiene puntos interiores ) de la figura o ella misma es una curva fractal.

Veamos cual sera el algoritmo computacional a implementar. Daremos el algoritmo en un pseudo-lenguaje, para que pueda ser adaptado a cualquier lenguaje computacional que se desee usar. 1. Ingrese los coeficientes a1 , bi , ci , d i , ei , f i contractivas Ti , i = 1, 2 ,# , n . de las transformaciones afines

2. Elija como punto inicial ( x0 , y0 ) un punto arbitrario, por ejemplo (0,0)

14

3. Divida el intervalo [0,1] en n subintervalos I 1 = 0, 1 , I 2 = 1 , 2 , # , I n = n1 ,1 . 4. Elija una funcin random de su computador, normalmente llamada rnd. 5. Si rnd pertenece a I j , es decir, j 1 rnd < j , aplquese la transformacin Tj al punto ( x0 , yo ) obteniendo un nuevo punto ( x1 , y1 ) , el cual se renombra por ( x0 , yo ) nuevamente, y vuelva al paso 4. Despus de aplicar, digamos 100 veces esta rutina, permita a su rutina pasar al paso 6 siguiente.

6. Grafique el punto ( x0 , yo ) obtenido en 5, pintndolo de color j ( j dado por el paso 5). (Normalmente los computadores, de acuerdo a la tarjeta grfica que poseen aceptan colores entre 0 y 16 (sistema VGA) o entre 0 y 255 (sistema super VGA) o entre 0 y 15999. Repitiendo este algoritmo unas 1000 veces obtendr una figura en su pantalla, la cual por lo general resulta bonita.

Ejemplos de sistemas de transformaciones afines contractivas

x y 1. T1 ( x, y ) = , , 4 2

x 1 y 1 x 1 y T2 ( x, y) = + , , T3 ( x, y ) = + , , y 4 4 2 2 4 4 2

x 3 y 1 T4 ( x, y ) = + , + . La figura generada por este sistema 4 4 2 2 curva de Keissweiter.

{T1 , T2 , T3 , T4 } es llamada

15

2. T1 ( x, y ) = (0,0.5 y ) , T2 ( x , y ) = (0.02 x 0.28 y , 015x + 0.2 y + 15) . . . . T3 ( x , y ) = (0.02 x + 0.28 y , 015x + 0.2 y + 15) , T4 ( x , y ) = (0.75x , 0.5 y + 4.6) La figura generada por este sistema puede ser llamada araucaria, vala.

16

1 , considere las transformaciones T1 ( x, y ) = ( sx + 0.5 y , 0.5x sy ) , 2 T2 ( x , y ) = ( sx 0.5 y + 1 s , 0.5x sy + 0.5) . Las transformaciones T1 y T2 dependen del valor s elegido. Experimente con varios valores para s, por ejemplo s = 0, s = 0.3, y vea los resultados obtenidos. La figura abajo fue obtenida considerando s=0.3 3. Para cada 0 < s <

3. Sea 0 < A < 1 y considere las transformaciones T1 ( x, y ) = ( Ax + Ay , Ax + Ay) T2 ( x , y ) = ( Ax + Ay + A , Ax Ay A) Estas transformaciones dependen del valor A que elijamos. Experimente con varios valores para A , por ejemplo, A = 0.25 , A = 0.3 , A = 0.5 , # , y vea los resultados obtenidos. Para A=0.5 se obtiene la siguiente figura

17

4. Sean

T1 ( x , y ) = (0.5 , 0.16 y ) T2 ( x , y ) = (0.2 x 0.26 y + 0.4 , 0.23x + 0.22 y + 0.05) T3 ( x , y ) = ( 0.15x + 0.28 y + 0.57 , 0.26 x + 0.24 y 0.12) T4 ( x , y ) = (0.85x + 0.04 y + 0.08 , 0.04 x + 0.85 y + 0.18)

La figura obtenida a partir del sistema { 1 , T2 , T3 , T4 } es conocida con el nombre de T helecho.

18

5. Las siguientes transformaciones afines, 1 (k 1)n 1 n k 1 n , 2 Tk ( x, y ) = 2 x+ 2 y 2 x 2 y 2 n +1 n +1 n +1 n +1 n + 1 n +1 para k =1,2,, n2+1, generan interesantes figuras, llamadas familias de dragones.

7. Tringulos de Sierpinski. Consideramos en este caso las transformaciones T1 ( x, y ) = ( sx , sy ) , T2 ( x , y ) = ( sx + 0.5 , sy ) , T3 ( x , y ) = ( sx + 0.25 , sy + 0.433) para valores de s, 0 < s 0.5 , se obtienen variaciones de la construccin del tringulo de Sierpinski, el cual corresponde a s = 0.5.

19

8. Conjunto de Cantor.

Para generar el conjunto de Cantor consideramos las 2 1 1 1 1 transformaciones afines T1 ( x, y ) = x, y y T2 ( x, y ) = x + , y . Al realizar 3 2 3 2 3 las iteraciones y graficar se ve muy poco, y esto es obvio, pues este conjunto esta constituido slo de puntos y no contiene intervalos.

A seguir se muestran una serie de figuras fractales:

Primeras etapas de la construccin de la curva de Peano. Esta curva tiene la propiedad que su imagen llena todo el cuadrado unitario.

20

21

Hoja fractal

22

Conjunto de Mandelbrot. Este es uno de los ms conocidos ejemplos de conjuntos fractales. Otros ejemplos populares son los conjuntos de Julia, a seguir se muestran algunas figuras correspondientes a conjuntos de Julia

23

24