Fractal de Newton
# Fractal de Newton

El fractal de Newton es una frontera en el plano complejo delimitada mediante el método de Newton aplicado a un polinomio fijo p(Z) ∈ ℂ[Z] o a una función trascendente. Es el conjunto de Julia de la función meromorfa z ↦ z − p(z)/p′(z), que viene dado por el método de Newton. Cuando no hay ciclos atractivos (de orden mayor que 1), divide el plano complejo en regiones $G_k,$ cada una de las cuales está asociada con una raíz $ζ_k$ del polinomio, k = 1, …, deg(p). De esta manera, el fractal de Newton es similar al conjunto de Mandelbrot y, al igual que otros fractales, exhibe una apariencia intrincada que surge de una descripción simple. Es relevante en análisis numérico porque muestra que (fuera de la región de orden de convergencia) el método de Newton puede ser muy sensible a la elección del punto de inicio.

Muchos puntos del plano complejo están asociados con una de las raíces deg(p) del polinomio de la siguiente manera: el punto se usa como valor inicial $z_0$ para la iteración de Newton $z_{n+1}$ := $z_n$ − $p(z_n)/p'(z_n),$ produciendo una secuencia de puntos $z_1,$ $z_2,$ …,

Si la secuencia converge a la raíz $ζ_k,$ entonces $z_0$ era un elemento de la región $G_k.$ Sin embargo, para cada polinomio de grado al menos 2 hay puntos para los cuales la iteración de Newton no converge a ninguna raíz: ejemplos son los límites de las cuencas de atracción de las diversas raíces. Incluso hay polinomios para los que conjuntos abiertos de puntos de partida no convergen a ninguna raíz: un ejemplo simple es $z^3$ − 2z + 2, donde algunos puntos son atraídos por el ciclo 0, 1, 0, 1… en lugar de por una raíz.

Un conjunto abierto para el cual las iteraciones convergen hacia una raíz o ciclo dado (que no es un punto fijo), es un conjunto de Julia para la iteración. El conjunto complementario a la unión de todos estos, es el conjunto de Julia. Los conjuntos de Fatou tienen un límite común, a saber, el conjunto de Julia. Por lo tanto, cada punto del conjunto de Julia es un punto de acumulación para cada uno de los conjuntos de Fatou. Es esta propiedad la que causa la estructura fractal del conjunto de Julia (cuando el grado del polinomio es mayor que 2).

Para trazar imágenes interesantes, primero se puede elegir un número específico d de puntos complejos $(ζ_1,$ …, $ζ_d)$ y calcular los coeficientes $(p_1,$ …, $p_d)$ del polinomio

    $p(z)=z^{d}+p_{1}z^{d-1}+\cdots +p_{d-1}z+p_{d}:=(z-\zeta _{1})(z-\zeta _{2})\cdots (z-\zeta _{d})$.

Luego, para una retícula rectangular

    $z_{mn}=z_{00}+m\,\Delta x+in\,\Delta y;\quad m=0,\ldots ,M-1;\quad n=0,\ldots ,N-1$

de puntos en ℂ, se encuentra el índice k(m,n) de la raíz correspondiente $ζ_{k(m,n)}$ y se usa para llenar una cuadrícula de M × N píxeles, asignando a cada punto (m,n) un color $f_{k(m,n)}.$ Además o alternativamente, los colores pueden depender de la distancia D(m,n), que se define como el primer valor D tal que | $z_D$ − $ζ_{k(m,n)}$ | < ε para algunos ε > 0 pequeños previamente fijados.

## Generalización de los fractales de Newton

Una generalización de la iteración de Newton es

    $z_{n+1}=z_{n}-a{\frac {p(z_{n})}{p'(z_{n})}}$

donde a es cualquier número complejo. La elección particular con a = 1 corresponde al fractal de Newton.

Los puntos fijos de esta aplicación son estables cuando a se encuentra dentro del disco de radio 1 centrado en 1. Cuando a está fuera de este disco, los puntos fijos son localmente inestables, sin embargo, la aplicación aún exhibe una estructura fractal en el sentido de Conjunto de Julia. Si p es un polinomio de grado d, entonces la secuencia $z_n$ está acotada siempre que a esté dentro de un disco de radio d centrado en d.

De manera más general, el fractal de Newton es un caso especial de conjunto de Julia.

* Fractal de Newton para tres raíces de grado 3 p(z) = $z^3$ - 1, coloreado por el número de iteraciones requeridas
* Fractal de Newton para tres raíces de grado 3 p(z) = $z^3$ - 1, coloreado por la raíz alcanzada
* Fractal de Newton para p(z) = $z^3$ - 2z + 2. Los puntos en las cuencas rojas no llegan a la raíz
* Fractal de Newton para un polinomio de séptimo orden, coloreado por la raíz alcanzada y sombreado por la tasa de convergencia
* Fractal de Newton para p(z) = $z^8$ + $15x^4$ - 16
* Fractal de Newton para p(z) = $z^5$ - $3iz^3$ - (5 + $2i)z^2$ + 3z + 1, coloreado por la raíz alcanzada, sombreado por el número de iteraciones requeridas
* Fractal de Newton para p(z) = sin z, coloreado por la raíz alcanzada, sombreado por el número de iteraciones requeridas
* Otro fractal de Newton para p(z) = sin z
* Fractal de Newton generalizado para p(z) = $z^3$ - 1, a = -1/2. El color se eligió en función del argumento después de 40 iteraciones
* Fractal de Newton generalizado para p(z) = $z^2$ - 1, a = 1 + i
* Fractal de Newton generalizado para p(z) = $z^3$ - 1, a = 2
* Fractal de Newton generalizado para p(z) = $z^{4+3i}$ - 1, a = 2.1
* p(z) = $z^6$ + $z^3$ - 1
* p(z) = sin z - 1
* p(z) = sin z - 1
* p(z) = cosh z - 1
* p(z) = cosh z - 1
* p(z) = $z^3$ - 1, a=1
* p(z) = $z^3$ - 1, a=2
* p(z) = $z^4$ - 1, a=1
* p(z) = $z^4$ - 1, a=2
* p(z) = $z^5$ - 1, a=1
* p(z) = $z^5$ - 1, a=2
* p(z) = $z^6$ - 1, a=1
* p(z) = $z^7$ - 1, a=1
* p(z) = $z^7$ - 1, a=2
* p(z) = $z^8$ - 1, a=1
* p(z) = $z^{10}$ - 1, a=1

Fractales compuestos de potencias y funciones trigonométricas.

* p(z) = $z^2*Sin(Z)$ - 1, a=1
* p(z) = $z^2*Sin(Z)$ - 1, a=1 (zoom)
* p(z) = $z^3*Sin(Z)$ - 1, a=1
* p(z) = $z^4*Sin(Z)$ - 1, a=1
* p(z) = $z^4*Sin(Z)$ - 1, a=1 (zoom)
* p(z) = $z^5*Sin(Z)$ - 1, a=1
* p(z) = $z^6*Sin(Z)$ - 1, a=1
* p(z) = $z^6*Sin(Z)$ - 1, a=1 (zoom)

### Fractal Nova

El fractal Nova, inventado a mediados de la década de 1990 por Paul Derbyshire, es una generalización del fractal de Newton con la adición de un valor c en cada paso:

    $z_{n+1}=z_{n}-a{\frac {p(z_{n})}{p'(z_{n})}}+c=G(a,c,z)$

La variante "Julia" del fractal Nova mantiene constante c sobre la imagen e inicializa $z_0$ a las coordenadas de píxeles. La variante "Mandelbrot" del fractal Nova inicializa c en las coordenadas de píxeles y establece $z_0$ en un punto crítico, donde

    ${\frac {\partial }{\partial z}}G(a,c,z)=0.$

Los polinomios de uso común como p(z) = $z^3$ − 1 o p(z) = (z − $1)^3$ conducen a un punto crítico en z = 1.

## Generación

Para generar el fractal de Newton, es necesario tener una función inicial y su función derivada:

    ${\begin{aligned}f(z)&=z^{3}-1\\f'(z)&=3z^{2}\end{aligned}}$

Las tres raíces de la función son

    $z=1,\ -{\tfrac {1}{2}}+{\tfrac {\sqrt {3}}{2}}i,\ -{\tfrac {1}{2}}-{\tfrac {\sqrt {3}}{2}}i$

Las funciones definidas anteriormente se pueden traducir en pseudocódigo de la siguiente manera:

Ahora es solo cuestión de aplicar el método de Newton usando las funciones dadas.

