GEOMETRÍA - FRACTALES

El método de Mandelbrot : este método para desarrollar "objetos fractales" fue creado por Benoît Mandelbrot en la década de los años 70, mientras trabajaba en IBM. Consiste en construir, para cada punto c del plano complejo, una sucesión de números complejos z_n. Partiendo del punto z₀ = 0, se calcula la sucesión de forma iterativa mediante la fórmula z_n+1=F(z_n)+c, donde F es una función arbitraria previamente elegida. Cuando la sucesión iterativa está acotada, se asigna al punto c del plano complejo un color sólido (por ejemplo, el color negro). Si la sucesión diverge entonces se asigna al punto c un color progresivamente distinto, dependiendo de cuántas iteraciones hayan sido necesarias para detectar la divergencia de la sucesión.- ...........................................:http://es.wikipedia.org/w/index.php?title=Especial:Libro&bookcmd=download&collection_id=8abe000ec73eb08d615a44f8f59f6778481922f9&writer=rdf2latex&return_to=Desarrollo+de+fractales+mediante+el+m%C3%A9todo+de+Mandelbrot

¿Qué es el conjunto de Mandelbrot?: historia y construcción

El 14 del pasado mes de octubre se cumplió un año del fallecimiento de Benoit Mandelbrot, uno de los precursores de la Geometría Fractal. En Gaussianos nos hicimos eco de esta triste noticia y le dedicamos un post unos días después, en el que, por cierto, comentábamos algo del famoso conjunto de Mandelbrot, también conocido comoconjunto M. También se habló algo sobre este conjunto M en el post Pi y el conjunto de Mandelbrot, pero en realidad no hemos comentado con detenimiento su historia y su construcción. Eso mismo es lo que vamos a hacer hoy.

Gaston Julia y sus conjuntos

No podemos decir que la suerte sea una característica presente en la vida de Gaston Julia (matemático francés nacido en Argelia), más bien todo lo contrario.

Tuvo que interrumpir sus estudios cuando contaba con 20 años por la Primera Guerra Mundial, en la que perdió la nariz. A pesar de las operaciones, tuvo que llevar una máscara, como puede verse en la foto de la derecha, hasta el día de su muerte.

Por otra parte, su fama en vida no alcanzó cotas demasiado altas, a pesar de sus interesantes y novedosos estudios. El hecho de no disponer del aparato con el que contaron sus contemporáneos, el ordenador, contribuyó decisivamente a ello.

De todas formas podemos considerar a Julia como uno de los padres de la Geometría Fractal. Él fue el primero en realizar estudios de funciones complejas que generaban conjuntos extraños, que terminaron por denominarse conjuntos de Julia.

(Doodle que Google le dedicó a Gaston Julia en su cumpleaños. Foto tomada de aquí.)

¿Cómo se generan estos conjuntos? Veamos. Julia estudió el método iterativo

siendo los  números complejos y  una cierta constante también compleja. Lo que hacemos es fijar dicha  y después tomar todos los números complejos y pasarlos por el método. Es decir, tomamos un número complejo , lo elevamos al cuadrado y sumamos  al resultado. El número complejo obtenido se vuelve a elevar al cuadrado y al resultado se le vuelve a sumar , y así sucesivamente. La sucesión de resultados se denomina órbita de , y el valor al que tiende se denomina atractor. Por ejemplo, para , la órbita de es:

Esto es, . Si analizamos esta sucesión de número complejos, vemos que le aleja hacia infinito.

Bien, pues deberíamos repetir este proceso para todos los puntos del plano, trabajo completamente imposible sin la ayuda de software informático. Esta es una de las razones por las que se tardó en avanzar en estos estudios.

De todas formas sí se dieron ciertos pasos importantes. En 1906, Fatou demostró que al aplicar este método iterativo a todos los puntos del plano complejo obtenemos que la mayoría de ellos generan órbitas que se van hacia infinito, pero que quedan puntos para los cuales no ocurre esto. De hecho se puede afinar algo más: si para un  se cumple que un elemento de su órbita tiene módulo mayor que 2 y que , entonces la órbita de ese tiende a infinito. Los puntos cuya órbita no se va a infinito forman un conjunto cuyo interior se denomina conjunto de Fatou y cuyo borde, la frontera entre los puntos cuya órbita escapa y los puntos para los que esto no ocurre, se denomina conjunto de Julia asociado a la constante  inicial.

La variedad que podemos encontrar entre los conjuntos de Julia es enorme. Van desde la circunferencia de centro  y radio 1, para , hasta conjuntos realmente extraños. Aquí tenéis algunos ejemplos:

Como podéis ver, algunos de estos conjuntos son de una única pieza (conexos), mientras que otros están separados en varios trozos (disconexos), que podrían ser hasta infinitos. Y aquí entra Mandelbrot.

Hemos comentado antes que para un valor de  concreto deberíamos introducir en el método todos los números complejos  para confirmar si el conjunto de Julia asociado es conexo o disconexo. Pero sobre 1919, Julia y Fatou probaron de manera independiente que para saber si el conjunto de Julia asociado a un cierto número complejo era conexo o no simplemente hacía falta estudiar la órbita del 0. Más concretamente, si la órbita del 0 escapaba a infinito, entonces el conjunto de Julia asociado a  era disconexo, y si la órbita del 0 no tendía a infinito, entonces este conjunto de Julia era conexo. Este hallazgo fue muy importante, ya que permitía conocer qué tipo de conjunto de Julia teníamos entre manos sin necesidad de estudiar las órbitas de todos los números complejos, hecho que simplificaba enormemente los cálculos.

Bien, pues Mandelbrot utilizó los dos hechos siguientes

• La órbita del 0 es la que determina si el conjunto de Julia asociado a un número complejo  es conexo o no.
• Sabemos cuándo una órbita tiende a infinito.

para encontrar los valores de  para los que el conjunto de Julia era conexo, y encontró que la disposición de estos números complejos en el plano tenía una estructura realmente interesante. De aquí salió el conocido conjunto de Mandelbrot o conjunto M:

El conjunto de Mandelbrot es el conjunto de números complejos  para los que el conjunto de Julia asociado es conexo.

Teniendo en cuenta los dos hechos comentados anteriormente, se puede definir este conjunto de la siguiente forma, quizás más descriptiva:

El conjunto de Mandelbrot es el conjunto de números complejos  para los cuales el método iterativo

no tiende a infinito, es decir, no es divergente.

La conocidísima representación de este conjunto M en el plano complejo es la siguiente:

(Tomada de aquí)

Como puede verse, el conjunto de Mandelbrot es algo así como una cardioide junto con infinitos discos tangentes. Entre ellos hay uno mayor que el resto, el que aparece en la izquierda.

Pero en realidad ésta no es la forma más habitual en la que se muestra el conjunto de Mandelbrot. Suele ser más bien de esta forma:

En la primera imagen aparece el conjunto de Mandelbrot representado en negro, y el resto del plano en blanco. En la segunda imagen también aparece en conjunto de Mandelbrot en negro, pero el resto aparece en otros colores, según lo rápido que la órbita del 0 se escapa a infinito. Como se puede demostrar que

si aparece un número complejo con módulo mayor que 2 en la órbita del 0, entonces dicha órbita tiende a infinito

entonces se representa de distintos colores según sea el momento en el que aparece el primer número complejo con módulo mayor que 2 en la órbita del 0.

Una propiedad curiosa de este conjunto M es que es conexo, es decir, de una sola pieza, aunque parezca que en cierta zonas el conjunto se fragmenta. Este hecho fue demostrado por Adrien Douady y John H. Hubbard sobre 1984-1985. Además, su complemento también es conexo.

Otra propiedad interesante es la autosimilitud que presenta el conjunto de Mandelbrot. Si ampliamos la imagen cerca del borde del conjunto encontraremos en muchas zonas al propio conjunto de Mandelbrot otra vez, además de figuras muy curiosas, interesantes y llenas de belleza:

Este hecho nos llevaría a pensar que el conjunto de Mandelbrot es un fractal, y en cierto sentido lo es…pero parece que no cumple exactamente con la definición de fractal (aunque en realidad esta definición no está demasiado clara). Según la página Fractal de la Wikipedia en español:

Un fractal es un objeto semigeométrico cuya estructura básica, fragmentada o irregular, se repite a diferentes escalas.

Benoit Mandelbrot

Como decíamos, en cierto sentido el conjunto de Mandelbrot cumple esa definición, pero no completamente, ya que su estructura básica no se repite a diferentes escalas. Según Maria Isabel Binimelis, en su libro:

El conjunto M parece ser un fractal en el sentido que hasta ahora hemos manejado, es decir, con estructuras que se repiten en todas las escalas de observación. La realidad, sin embargo, es diferente. En cada ampliación las estructuras que se repiten son cada vez más filamentosas, lo que nos permite saber en qué escala estamos. Existen serias dudas sobre la autosimilitud del conjunto de Mandelbrot. Así como dadas dos ampliaciones cualesquiera de un conjunto de Julia no podemos identificar bajo qué escala del plano se han obtenido, no ocurre lo mismo con el conjunto M. Por este motivo, al conjunto de Mandelbrot se lo considera casi autosimilar.

Es decir, que no está claro que el conjunto M sea un fractal, en el sentido más estricto del término. Aunque bueno, como habéis visto en las imágenes anteriores, no le falta autosimilitud.