Cmo Resolver Problemas

Longitud y rea de Curvas Fractales. Dimensin Fractal

Pablo Montesdeoca Prez enero de 2005

1.

Introduccin

La publicacin del artculo How Long Is the Coast of Britain? Statistical Self-Similarity and Fractional Dimension[1] en 1967 supuso un hito trascendental en el mundo cientco, concretamente de las matemticas, con una inuencia que se ha extendido a todos los campos de la experiencia humana. En dicho artculo, el autor, Benot Mandelbrot, introduce el concepto de geometra fractal. Hasta ese momento, la geometra clsica se mostraba incapaz de describir objetos naturales rugosos o fragmentados, como el contorno accidentado del litoral. La aparicin de la geometra fractal va a permitir el estudio de objetos fragmentados que presentan invarianza respecto al cambio de escala1 . Desde ese momento, es posible describir matemticamente objetos que hasta entonces se consideraban demasiado complejos, como nubes, la supercie de ciertos materiales y las seales funcionales de un electrocardiograma; o simplemente caticos, como el movimiento browniano. Adems, la geometra fractal ha favorecido el escalado de geometras y propiedades desde niveles atmicos o desde dimensiones espaciales hasta las escalas macroscpicas en que nuestros sentidos son capaces de captar. Resaltar por ltimo la estrecha relacin entre los fractales y la Teora del Caos. La mejor prueba de esto es la constatacin de que los fenmenos caticos hacen aparecer, en el seno del desorden que generan, estructuras
Es decir, al observar cualquier detalle del fractal, variando la escala, podemos reconocer una estructura similar a la forma global del objeto. El todo est en cada una de las partes.
1

Figura 1: Procedimiento de medida de la costa britnica.

ordenadas de carcter fractal, repitiendo las mismas irregularidades a escalas inferiores. Es el caso, por ejemplo, de la difusin de un uido en otro. En la seccin 2 de este trabajo se denir el concepto de fractal y se enumerarn sus principales caractersticas. En la siguiente seccin, nos centraremos en una de las propiedades ms importantes de la geometra fractal: el estudio de la dimensionalidad. Despus se explicar brevemente uno de los mtodos de generacin de fractales, llamado IFS (Iterated Function System). En la parte central de este documento nos centraremos en el anlisis de tres fractales conocidos. Finalmente, en la seccin 6 se comentarn algunas de los dominios donde se aplica la geometra fractal.

2.

Fractales: Denicin y Caractersticas

Antes del desarrollo de la geometra fractal, las propiedades de estos objetos ya haban sido puestas de maniesto. Durante un estudio sobre lneas fronterizas [2], Lewis F. Richardson observ que la longitud de stas aumenta en funcin del grado de precisin con el que se realiza la medida. Como con cualquier curva, el procedimiento de medida de la frontera consiste en aproximar la curva por medio de un camino poligonal con lados de longitud , como se muestra en la gura 1. Al evaluar la longitud de la curva poligonal, haciendo que 0, se espera 2

Figura 2: Representacin grca del conjunto de Mandelbrot y detalle.

que la estimacin de la longitud se aproxime a un lmite. Sin embargo, una frontera o una lnea de costa no es el tipo de curva estudiada normalmente en matemticas. Aunque es una curva continua, no posee la suavidad necesaria para que pueda ser derivable. De hecho, a medida que aumentamos la resolucin, surgen ms entrantes y salientes, como bahas y cabos, por lo que la longitud a aproximar aumenta, y la longitud total a estimar parece aumentar sin lmites L( ) . Los fractales son objetos matemticos cuya principal peculiaridad es el ser auto-similares, es decir, que a cualquier escala se puede observar la misma estructura. . Los fractales tienen, por lo tanto una cantidad innita de detalle. A medida que aumentamos la resolucin obtenemos ms detalles, de la misma forma que sucede en el problema del clculo de longitudes de lneas de costa. En la gura 2 se muestra la representacin grca del conjunto de Mandelbrot, descubierto por Mandelbrot en 1980. ste genera una imagen curiosa, cuya popularizacin es responsable del desarrollo de la ciencia fractal. En ella se puede observar la propiedad de auto-similitud. Al observar un detalle se puede reconocer una estructura similar a la global. En principio esta auto-similitud es innita, pero slo en el caso de los fractales matemticos. Los fractales naturales slo presentan un nmero nito de niveles auto-similares. Adems, aunque parecidos no poseen una semejanza totalmente exacta. A esta propiedad de invarianza estadstica del escalado se le denomina auto-similitud estadstica. 3

Del principio de auto-similitud se desprende una consecuencia importante, ya intuida por L. F. Richardson: la imposibilidad de medir el contorno de un fractal matemtico. Su rea es nita y puede ser calculada, sin embargo su contorno es innito. De forma general, podemos caracterizar los fractales mediante las siguientes propiedades: Tienen una estructura compleja a cualquier resolucin. Tienen una dimensin no entera. Tienen un permetro de longitud innita pero un rea limitada. Son auto-similares e independientes de la escala.

3.

Dimensin Fractal

En su estudio, L. F. Richardson descubri que para cualquier lnea de costa, existen unas constantes F y D tales que para aproximar la lnea de costa con un camino poligonal, se requieren aproximadamente F D intervalos de longitud . De esta forma la longitud estimada vendr dada por L( ) F
1D

Inspirado por los resultados obtenidos por Richardson, Mandelbrot concluy que el valor de las medidas de objetos irregulares, como una lnea de costa, dependen directamente de la escala utilizada para realizar la medida. Adems, propuso utilizar el valor del exponente D como dimensin natural del espacio en el que se realiza la medida. Intentar medir la longitud unidimensional de un cuadrado da un resultado innito, de la misma forma medir la lnea de una costa en un espacio de dimensin errnea da un resultado as mismo no vlido. El valor D se denomina dimensin Hausdor-Besicovitch del conjunto S. Para denir este concepto, se ha de considerar el nmero N de bolas de radio no mayor a necesarias para cubrir S completamente. Es fcil comprobar que mientras ms pequeo sea , mayor es el valor de N . Grosso Modo se puede asegurar que si N aumenta de la misma forma que 1 , entonces D es D la dimensin Hausdor-Besicovitch del conjunto S. Para medir una lnea curva de longitud L0 , sta se cubre con N segmentos de longitud , por tanto N = L0 / 1 , y la longitud total estimada ser: 4

 L=

1 = N 1 =

L0 1 1

Al hacer que el segmento tienda a cero obtenemos la longitud que queremos medir:
0 L = L0 0 L0

De la misma forma para una supercie de dimensin A0 y midiendo sta con N segmentos de rea de dimensin 2 se tiene: A= 2 = N 2 = A0 2 2

0 A = A0 0 A0

Igualmente, para el volumen: V = 3 = N 3 = V0 3 3

0 V = V0 0 V0

Si quisiramos medir la lnea curva, tomando como regla un objeto de dimensin 2, estaramos midiendo el rea de la lnea y por lo tanto. L= 2 = N 2 =
0 L = L0 1 0

L0 2 1 (1)

Generalizando, al medir un objeto de determinada dimensin con una regla de dimensin mayor, encontraramos un valor de magnitud cero. De la misma forma, sucede a la inversa: si midisemos un objeto con una regla de dimensin menor, el valor de magnitud sera innito. La dimensin de Hausdor es el valor del exponente de para el cual la estimacin de la magnitud pasara de 0 a innito. 5

 A=

2 = N 1 =
0 A = A0 1

A0 1 2 (2)

Normalmente consideramos que los puntos tienen dimensin 0, las lneas 1, las supercies 2 y los volmenes 3. A esta idea de dimensin se lo llama dimensin topolgica. Por otro lado, una curva fractal que recorre una supercie puede ser tan irregular que casi llene la supercie en la que se encuentra. Podemos, entonces, pensar en la irregularidad como un incremento en la dimensin: una curva fractal tiene una dimensin entre 1 y 2, y una supercie fractal la tiene entre 2 y 3. A partir de estos conceptos B. Mandelbrot da una denicin ms concreta de fractal: Un fractal es un conjunto cuya dimensin de Hausdor-Besicovitch es mayor que su dimensin topolgica. Sin embargo, esta denicin es demasiado restrictiva, dado que excluye muchos fractales tiles en fsica. La dimensin de Hausdor-Besicovitch presenta el inconveniente de ser muy poco prctica a la hora de ser utilizada. Es por ello que habitualmente se recurre a otro concepto de dimensin: la dimensin de similitud o dimensin fractal, basada en la propiedad de auto-similitud de los fractales. En general, si tomamos un conjunto de dimensin D, podemos descomponerlo en N rplicas de s mismo reducidas en un factor de escala r, y tendramos que N rD = C, donde C es constante. Resolviendo obtendramos: D= log N log N l m 1 = r0 log r log r

As se dene la dimensin fractal de la siguiente manera: Sea N (A, ) el mnimo nmero mnimo de bolas abiertas de radio necesarias para cubrir el conjunto A, la dimensin de similitud D es: D = l m log N (A, ) log N (A, ) = l m 1 0 0 log log 6 (3)

Si denominamos dtop a la dimensin topolgica, dH a la dimensin de Hausdor y dsim a la dimensin de similitud, entonces dtop dH dsim

4.

Generacin de Fractales: Iterated Function System

Un fractal auto-similar se obtiene aplicando un nmero determinado de transformaciones similares2 a un conjunto compacto no vaco, y repitiendo innitas veces el proceso sobre la unin del objeto original y el resultado de la iteracin precedente. La secuencia de conjuntos generado converge en cierto sentido a un nico conjunto compacto no vaco. A ste conjunto lmite se le denomina conjunto atractor invariante y es independiente de la eleccin del conjunto inicial. Al conjunto de transformaciones similares se le denomina IFS (Iterated Function Sysmtem)

5.

Ejemplos: Anlisis de Algunos Fractales

Posteriormente al trabajo de Mandelbrot sobre la longitud de la costa britnica, se promovieron discusiones similares sobre otras guras matemticas, algunas de las cuales, como el copo de nieve de Koch, eran conocidas desde nales del siglo XIX y principios del XX. Dichas guras eran consideradas formas patolgicas y carecan de inters real para el mundo cientco.

5.1.

El tringulo de Sierpi`ski n

Se trata de un fractal descrito por Waclaw Sierpi`ski en 1915, que ya n haba aparecido en el arte italiano en el siglo XIII. Para generar la gura partimos de un tringulo slido cualquiera, en nuestro caso equiltero. ste se divide en cuatro tringulos iguales ms pequeos, utilizando para ello el punto medio de cada lado como nuevo vrtice. Finalmente eliminamos el tringulo que queda en el medio. Este proceso se repite en cada uno de los tringulos restantes.
2

Aquellas que al aplicarse al objeto dan, como resultado, un objeto similar.

Figura 3: Generacin del tringulo de Sierpi`ski. n

El tringulo de Sierpi`ski es el conjunto de puntos que permanecen desn pus de reiterar este proceso innitas veces. Como cada tringulo genera tres nuevos tringulos, el nmero de tringulos despus de la n-sima iteracin es Nn = 3n . Siendo A0 el rea del tringulo original, en la primera iteracin eliminamos 1/4 del rea de ste, quedando A1 = 3A0 /4. En la siguiente iteracin eliminamos 3 tringulos, cada uno con un rea igual a 1/4 del rea del tringulo del que fue tomado. Por lo tanto, el rea total que eliminamos en esta iteracin es 3 1/4 A0 /4 = 3A0 /16. Esto implica que en la segunda iteracin el rea total restante es: A2 = 9A0 3A0 3A0 = = 4 16 16 3 4
2

A0

Si realizamos una iteracin ms, tendremos igualmente que: 1 1 A0 27A0 9A0 9 = = A3 = 16 44 4 64 3 4

3

A0

Por induccin supondremos, no sin antes vericarlo, que el rea nal tendr la forma An = 3 4
n

A0 para n = 0, 1, 2...

(4)

As sabemos que para la iteracin k + 1, tenemos que eliminar 3k tringulos, cada uno de rea (A0 /4)k+1 . Segn nuestra hiptesis, el rea de nuestro tringulo despus de k + 1 iteraciones ser: Ak+1 A0 3k 3k 4 3k 3k A0 = = Ak 3 k+1 = k A0 k+1 A0 = 4 4 4 4k+1
k

3 4

k+1

A0

Con lo que nuestra hiptesis queda conrmada. Fcilmente se observa que a medida que n aumenta hacia innito, el rea tiende a 0. A = l An = A0 l m m
n

3 4

=0

(5)

Para calcular el permetro de los tringulos que restan despus de cada iteracin consideraremos que el permetro de cada uno de stos es la mitad que el de la iteracin precedente. Esto se desprende directamente del procedimiento de construccin del fractal. As, siendo P0 el permetro original, despus de la primera iteracin nos quedan 3 tringulos cada uno con un permetro de valor P0 /2. En la segunda iteracin, tendremos 32 tringulos con permetros de valor P1 /2 = P0 /4. Para n iteraciones tendremos: Pn = 3n 1 2
n

P0 = P 0

3 2

(6)

Es inmediato observar que cuando el nmero de iteraciones n se aproxima a innito, el permetro de los tringulos tiende a innito. P = l Pn = P0 l m m
n

3 2

(7)

Resulta sorprendente que una curva innita pueda encerrar un rea nula. A partir de los resultados obtenidos en las ecuaciones 1 y 2 se puede concluir que el tringulo de Sierpi`ski debe tener una dimensin entre 1 y 2. Para n vericarlo utilizaremos la ecuacin 3. Como ya se ha dicho, en la n-sima iteracin tendremos Nn = 3 rplicas del tringulo, cada una de ellas reducidas en un factor r = (1/2)n . Por lo tanto: log 3 log 3n = = 1,58496 D = l m n n log 2 log 2 (8)

5.2.

La curva de Koch

La curva de Koch es uno de las primeras curvas fractales en ser descrita. Apareci en un artculo del matemtico sueco Helge von Koch en 1906. Ms conocida que sta es el copo de nieve de Koch, similar a la curva excepto que comienza a partir de un tringulo en lugar de un segmento. 9

Figura 4: Generacin de la curva de Koch.

La construccin de la curva de Koch se lleva a cabo mediante adiciones progresivas a un simple segmento de lnea. Las adiciones se realizan dividiendo sta en nuevos segmentos de un tercio de longitud, y luego sustituyendo el segmento central por dos segmentos que, junto con el suprimido, formarn un tringulo equiltero. La curva de Koch es el resultado de repetir este procedimiento sobre los segmentos resultantes innitas veces. La curva de Koch tiene longitud innita, ya que cada en cada iteracin del proceso de generacin, la longitud de cada segmento aumenta un tercio de su longitud original. Esto es evidente, ya que el segmento central es remplazado por dos nuevos segmentos de la misma longitud, resultando cuatro nuevo segmentos de longitud un tercio del segmento original. El nmero de segmentos en la n-sima iteracin es Nn = 4n . As, si llamamos L0 a la longitud inicial del segmento, despus de la primera iteracin tendremos una curva de longitud L1 = 4L0 /3 formada por 4 segmentos (cada uno de longitud L0 /3). En la segunda iteracin, tendremos 42 segmentos, cada uno con una longitud 1/3 L0 /3 = L0 /32 . Una nueva iteracin dar como resultado 43 segmentos de 1/3 L0 /32 = L0 /33 . Generalizando, para cualquier n:

10

Ln = 4n

1 3

L0 =

4 3

L0

(9)

que tiende a innito a medida que el nmero de iteraciones se aproxima al innito: L = L0 l m 4 3

n

(10)

A partir de los resultados obtenidos anteriormente se puede determinar el rea bajo la curva de Koch. Para ello hay quetener en cuenta que el rea de un tringulo equiltero viene dado por A = 43 l2 , donde l representa la longitud de los lados. As, en la primera iteracin tendremos un tringulo 2 0 equiltero cuyo rea es A1 = 43 l3 . En la segunda iteracin, tendremos l 2 que aadir a este tringulo otros 4 tringulos de rea 43 30 . Por lo tanto: 2 3 A2 = 4 l0 3
2

+4

3 4

l0 32

Puesto que en la iteracin k-sima existen 4k segmentos, en la iteracin k + 1 se aade el mismo nmero de tringulos. Por otro lado, el tamao de los segmentos se divide por 3 en cada iteracin, por lo tanto:
n

4
k1

An =
k=1

3 4

l0 3k

para n = 1, 2, ....

(11)

el resultado de esta serie cuando el nmero de iteraciones se aproxima a innito es el rea que se busca: A = l An = m
n

l2 l m 42 0 n

k=1

4 32

n1 4 3 2 m = 2 2 l0 l n 3 4 k=0

4 32

que es una serie geomtrica de razn en (0,1), por lo que es convergente, y por lo tanto la curva encierra un rea nita. A 1 3 2 4 3 2 1 l = 2 2 l0 4 = 3 4 5 4 0 1 32 (12)

Se observa que el rea encerrada por la curva es una quinta parte del rea que encerrara un tringulo equiltero de lado l0 . 11

Figura 5: Generacin del copo de nieve de Koch.

Para calcular la dimensin fractal de esta gura, tenemos en cuenta que el nmero de segmentos en cada iteracin es Nn = 4n , y la longitud de cada 1 n segmento se reduce en un factor de un tercio cada vez, esto es ln = 3 La dimensin fractal ser entonces: D = l m
n

log 4n log 4 = = 1,26186 n log 3 log 3

(13)

5.3.

El copo de nieve de Koch

Como ya se ha indicado, el copo de nieve de Koch est muy relacionado con la curva de Koch. El procedimiento de generacin de ambos es muy similar. En el caso del copo de nieve se comienza con un tringulo equiltero, cuyos lados son divididos en segmentos de un tercio de su longitud. El segmento central se sustituye con un tringulo equiltero de lado igual a los segmentos y se elimina la base. Para generar el copo se repite innitas veces este proceso sobre los nuevos segmentos generados en la anterior iteracin. Se observa que este proceso es equivalente a generar una curva de Koch utilizando como segmento inicial los lados del tringulo. As, el permetro ser igual al de la curva de Koch multiplicado por tres, y tender a innito a medida que aumenta el nmero de iteraciones. Pn = 3 4 3 4 3
n

L0
n

(14)

P = l 3 m
n

L0 =

(15)

Para el clculo del rea sabemos que partimos de un tringulo equiltero 2 cuyo rea es A0 = 43 l0 , siendo l0 la longitud de los lados. En la primera 12

iteracin, tendremos que aadir a este tringulo otros 3 tringulos de rea 3 l0 2 . Por lo tanto: 4 3 3 2 3 A1 = l0 + 3 4 4 l0 3
2

Recordando que despus de cada iteracin, cada segmento genera 4 nuevos segmentos, y que la longitud de estos se reduce en un factor de 1/3: 3 2 3 l0 + 3 A2 = 4 4 Generalizando para n iteraciones: n 3 2 l0 k1 3 = 34 l0 + 4 4 3k k=1 n1 k 3 2 1 4 = l 1+ 4 0 3 k=0 32
2

l0 3

3 +34 4

l0 32

An

3 2 3 l0 1 + = 4 4

k=1

4 32

(16)

que al igual que en el caso de la curva de Koch, da lugar a un rea nita e igual a: A 8 3 2 8 l = A0 = 5 4 0 5 (17)

Otra forma de calcular este rea consiste en calcular la supercie del tringulo original y despus sumar el rea de las 3 curvas de Koch que se generan en los lados. Para nalizar con esta serie de ejemplos, calcularemos la dimensin fractal de esta gura. Como sabemos, el nmero de rplicas del tringulo original es Nn = 3 4n , y la longitud de cada segmento se reduce en un factor de un 1 n tercio cada vez, esto es ln = 3 La dimensin fractal ser entonces: log(3 4n ) log 3 + n log 4 log 4 = l m = = 1,26186 n n log 3 n log 3 log 3

D = l m
n

(18)

que coincide con la dimensin de la curva de Koch. Esto no debe sorprendernos, ya que el proceso de generacin de ambos fractales es idnticos, dando lugar a guras de complejidad similar. 13

6.

Aplicaciones de los Fractales

Ciertos objetos naturales poseen un nmero nito de grados de autosimilitud, y pueden ser considerados como fractales naturales. Bajo esta premisa, la geometra fractal ha ayudado enormemente a explicar diversos fenmenos naturales tales como el curso de los ros, la formacin de nubes, el crecimiento de las plantas, las cordilleras, la evolucin de las galaxias, el crecimiento poblacional, el funcionamiento de los huracanes, el ruido electrnico y los atractores caticos. Todos estos fenmenos comparten un principio unicador: sus patrones generales se repiten a diferentes escalas dentro del mismo objeto. Los fractales poseen adems aplicaciones tecnolgicas. El diseo de antenas ha sido siempre un tema complejo. La solucin tradicional de utilizar conductores largos y de pequea seccin est siendo reemplazada por arrays de antenas. stos consisten en miles de pequeas antenas que son situadas o bien de forma aleatoria o bien segn un patrn regular. Los fractales proporcionan la combinacin perfecta entre aleatoriedad y orden, con el menor nmero de componentes. Otra aplicacin tecnolgica es la compresin de imgenes. El concepto bsico detrs de la compresin fractal de imgenes es tomar una imagen y expresarla como un IFS, dando como resultado una descripcin bastante compacta del fractal. La imagen puede ser rpidamente regenerada a cualquier grado de resolucin con innitos niveles de detalle fractal. El mayor problema detrs de esta idea es encontrar el IFS que describa la imagen (Problema Inverso). Otras aplicaciones importantes de los fractales son: Evolucin de los mercados burstiles. Estudio de la relacin entre la Mecnica Cuntica y la Relatividad Especial. Anlisis del nacimiento de los planetas Medicin de fronteras y costas. Anlisis y prediccin de condiciones meteorolgicas, terremotos y volcanes. Anlisis espectroscpico. Anlisis estructural y morfolgico en polmeros. 14

 Caracterizacin de agregados. Anlisis de fenmenos caticos, como el movimiento browniano o la formacin de nebulosas siderales.

7.

Conclusin

En este estudio se ha puesto de maniesto la importancia de la aparicin del concepto de geometra fractal. Los objetos fractales han dejado de ser una simple curiosidad matemtica, para formar parte de una de las teoras ms revolucionarias en las matemticas del siglo pasado: la Teora del Caos. As, la ciencia fractal va a permitir la descripcin de prcticamente todos los fenmenos naturales, por muy complejos que sean, ya que stos suelen poseer algunas de las propiedades fractales. Otra consecuencia importante del desarrollo de la geometra fractal es la reformulacin del concepto de dimensin, necesario para obterner valores de magnitud dtiles.

Referencias
[1] B. Mandelbrot, How Long Is the Coast of Britain? Statistical SelfSimilarity and Fractional Dimension en Science vol. 156, pp. 636-638, 1967. 1 [2] L. F. Richardson, en General Systems Yearbook 6, 139, 1961. 2 [3] Lewis Fry Richardson. Wikipedia, the free cyclopedia, Jan. 2005. Wikipedia. 20 Jan. <http://en.wikipedia.org/wiki/Lewis_Fry_Richardson> [4] H. Sagan, Space-Filling Curves, Springer-Verlag, NY, 1994. [5] Fractals. Mathworld Jan. 2005. Wolfram. 22 <http://mathworld.wolfram.com/topics/Fractals.html> Jan. 2005 en2005

[6] V. A. Gonzlez, y C. Guerrero. Fractales: Fundamentos y Aplicaciones. Parte I: Concepcin Geomtrica en la Ciencia y la Ingeniera en <ingenierias.uanl.mx/10/pdf/ 10_Virgilio_Gonzalez_Fundamentos_y.pdf>

15