Articulo de referencia

polinomio cuadrático complejo

Un polinomio cuadrático complejo es un polinomio cuadrático cuyos coeficientes y variable son números complejos . Propiedades Los polinomios cuadráticos tienen las siguientes pr...

Un polinomio cuadrático complejo es un polinomio cuadrático cuyos coeficientes y variable son números complejos .

Propiedades

Los polinomios cuadráticos tienen las siguientes propiedades, independientemente de su forma:

  • Es un polinomio unicrítico, es decir, tiene un punto crítico finito en el plano complejo. El plano dinámico consta de un máximo de 2 cuencas: la cuenca del infinito y la cuenca del punto crítico finito (si el punto crítico finito no escapa).
  • Puede ser postcríticamente finito , es decir, la órbita del punto crítico puede ser finita, porque el punto crítico es periódico o preperiódico. [ 1 ]
  • Es una función unimodal ,
  • Es una función racional ,
  • Es una función completa .

Formularios

Cuando el polinomio cuadrático tiene solo una variable ( univariable ), se pueden distinguir sus cuatro formas principales:

  • La forma general:F(incógnita)=a2incógnita2+a1incógnita+a0{\displaystyle f(x)=a_{2}x^{2}+a_{1}x+a_{0}}dóndea20{\displaystyle a_{2}\neq 0}
  • La forma factorizada utilizada para el mapa logístico :Fr(incógnita)=rincógnita(1incógnita){\displaystyle f_{r}(x)=rx(1-x)}
  • Fθ(incógnita)=incógnita2+λincógnita{\displaystyle f_{\theta }(x)=x^{2}+\lambda x}que tiene un punto fijo indiferente con multiplicadorλ=mi2πθi{\displaystyle \lambda =e^{2\pi \theta i}}en el origen [ 2 ]
  • La forma mónica y centrada,Fdo(incógnita)=incógnita2+do{\displaystyle f_{c}(x)=x^{2}+c}

La forma mónica y centrada ha sido estudiada exhaustivamente y posee las siguientes propiedades:

La forma lambdaFλ(z)=z2+λz{\displaystyle f_{\lambda }(z)=z^{2}+\lambda z}es:

  • La perturbación no trivial más simple de un sistema no perturbadozλz{\displaystyle z\mapsto \lambda z}
  • "La primera familia de sistemas dinámicos en los que se conocen condiciones necesarias y suficientes explícitas para que un problema de divisor pequeño sea estable" [ 4 ]

Conjugación

Entre formas

DesdeFdo(incógnita){\displaystyle f_{c}(x)}es conjugado afín a la forma general del polinomio cuadrático y se usa a menudo para estudiar dinámicas complejas y para crear imágenes de conjuntos de Mandelbrot , Julia y Fatou .

Cuando uno quiere un cambio deθ{\displaystyle \theta } ado{\displaystyle c}: [ 2 ]

do=do(θ)=mi2πθi2(1mi2πθi2).{\displaystyle c=c(\theta )={\frac {e^{2\pi \theta i}}{2}}\left(1-{\frac {e^{2\pi \theta i}}{2}}\right).}

Cuando uno quiere un cambio der{\displaystyle r}ado{\displaystyle c}, la transformación de parámetros es [ 5 ]

do=do(r)=1(r1)24=r2(r22){\displaystyle c=c(r)={\frac {1-(r-1)^{2}}{4}}=-{\frac {r}{2}}\left({\frac {r-2}{2}}\right)}

y la transformación entre las variables enzt+1=zt2+do{\displaystyle z_{t+1}=z_{t}^{2}+c}yincógnitat+1=rincógnitat(1incógnitat){\displaystyle x_{t+1}=rx_{t}(1-x_{t})}es

z=r(12incógnita).{\displaystyle z=r\left({\frac {1}{2}}-x\right).}

Con mapa de duplicación

Existe una semiconjugación entre la transformación diádica (el mapa de duplicación) y el caso polinómico cuadrático de c = –2.

Notación

Iteration

Here fn{\displaystyle f^{n}} denotes the n-th iterate of the function f{\displaystyle f}:

fcn(z)=fc1(fcn1(z)){\displaystyle f_{c}^{n}(z)=f_{c}^{1}(f_{c}^{n-1}(z))}

so

zn=fcn(z0).{\displaystyle z_{n}=f_{c}^{n}(z_{0}).}

Because of the possible confusion with exponentiation, some authors write fn{\displaystyle f^{\circ n}} for the nth iterate of f{\displaystyle f}.

Parameter

The monic and centered form fc(x)=x2+c{\displaystyle f_{c}(x)=x^{2}+c} can be marked by:

  • The parameter c{\displaystyle c}
  • The external angle θ{\displaystyle \theta } of the ray that lands:
    • At c in Mandelbrot set on the parameter plane
    • On the critical value:z = c in Julia set on the dynamic plane

so :

fc=fθ{\displaystyle f_{c}=f_{\theta }}
c=c(θ){\displaystyle c=c({\theta })}

Examples:

  • c is the landing point of the 1/6 external ray of the Mandelbrot set, and is zz2+i{\displaystyle z\to z^{2}+i} (where i^2=-1)
  • c is the landing point the 5/14 external ray and is zz2+c{\displaystyle z\to z^{2}+c} with c=1.23922555538957+0.412602181602004i{\displaystyle c=-1.23922555538957+0.412602181602004*i}

Map

The monic and centered form, sometimes called the Douady-Hubbard family of quadratic polynomials,[6] is typically used with variable z{\displaystyle z} and parameterc{\displaystyle c}:

fc(z)=z2+c.{\displaystyle f_{c}(z)=z^{2}+c.}

When it is used as an evolution function of the discrete nonlinear dynamical system,

zn+1=fc(zn){\displaystyle z_{n+1}=f_{c}(z_{n})}

it is named the quadraticmap:[7]

fc:zz2+c.{\displaystyle f_{c}:z\to z^{2}+c.}

The Mandelbrot set is the set of values of the parameter c for which the initial condition z0 = 0 does not cause the iterates to diverge to infinity.

Critical items

Critical points

Complex Plane

A critical point of fc{\displaystyle f_{c}} is a point zcr{\displaystyle z_{cr}} on the dynamical plane such that the derivative vanishes:

fc(zcr)=0.{\displaystyle f_{c}'(z_{cr})=0.}

Since

fc(z)=ddzfc(z)=2z{\displaystyle f_{c}'(z)={\frac {d}{dz}}f_{c}(z)=2z}

implies that

zcr=0,{\displaystyle z_{cr}=0,}

we see that the only (finite) critical point of fc{\displaystyle f_{c}} is the point zcr=0{\displaystyle z_{cr}=0}.

z0{\displaystyle z_{0}} is an initial point for Mandelbrot set iteration.[8]

For the quadratic family fc(z)=z2+c{\displaystyle f_{c}(z)=z^{2}+c} the critical point z = 0 is the center of symmetry of the Julia set Jc, so it is a convex combination of two points in Jc.[9]

Extended complex plane

In the Riemann sphere, a complex quadratic polynomial has 2d-2 critical points. In this model, zero and infinity are critical points.

Critical value

A critical valuezcv{\displaystyle z_{cv}} of fc{\displaystyle f_{c}} is the image of a critical point:

zcv=fc(zcr){\displaystyle z_{cv}=f_{c}(z_{cr})}

Since

zcr=0{\displaystyle z_{cr}=0}

we have

zcv=c{\displaystyle z_{cv}=c}

So the parameter c{\displaystyle c} is the critical value of fc(z){\displaystyle f_{c}(z)}.

Critical level curves

A critical level curve the level curve which contain critical point. It acts as a sort of skeleton[10] of dynamical plane

Example: level curves cross at saddle point, which is a special type of critical point.

Límite crítico establecido

El conjunto límite crítico es el conjunto de órbitas directas de todos los puntos críticos.

Órbita crítica

Plano dinámico con órbita crítica que cae en un ciclo de 3 períodos.
Plano dinámico con conjunto de Julia y órbita crítica.
Plano dinámico  : cambios de la órbita crítica a lo largo del rayo interno de la cardioide principal para un ángulo de 1/6
Órbita crítica que tiende a un punto fijo débilmente atractor con abs(multiplicador) = 0,99993612384259

La órbita directa de un punto crítico se denomina órbita crítica . Las órbitas críticas son muy importantes porque toda órbita periódica atractora atrae un punto crítico, por lo que estudiar las órbitas críticas nos ayuda a comprender la dinámica en el conjunto de Fatou . [ 11 ] [ 12 ] [ 13 ]

z0=zdor=0{\displaystyle z_{0}=z_{cr}=0}
z1=Fdo(z0)=do{\displaystyle z_{1}=f_{c}(z_{0})=c}
z2=Fdo(z1)=do2+do{\displaystyle z_{2}=f_{c}(z_{1})=c^{2}+c}
z3=Fdo(z2)=(do2+do)2+do{\displaystyle z_{3}=f_{c}(z_{2})=(c^{2}+c)^{2}+c}
 {\displaystyle \ \vdots }

Esta órbita cae dentro de un ciclo periódico de atracción, si es que existe alguno.

Sector crítico

El sector crítico es un sector del plano dinámico que contiene el punto crítico.

Conjunto crítico

Un conjunto crítico es un conjunto de puntos críticos.

Polinomio crítico

PAGnorte(do)=Fdonorte(zdor)=Fdonorte(0){\displaystyle P_{n}(c)=f_{c}^{n}(z_{cr})=f_{c}^{n}(0)}

entonces

PAG0(do)=0{\displaystyle P_{0}(c)=0}
PAG1(do)=do{\displaystyle P_{1}(c)=c}
PAG2(do)=do2+do{\displaystyle P_{2}(c)=c^{2}+c}
PAG3(do)=(do2+do)2+do{\displaystyle P_{3}(c)=(c^{2}+c)^{2}+c}

Estos polinomios se utilizan para:

  • Encontrar los centros de estos componentes del conjunto de Mandelbrot de período n . Los centros son raíces de polinomios críticos de grado n .
centros={do:PAGnorte(do)=0}{\displaystyle {\text{centers}}=\{c:P_{n}(c)=0\}}
METROnorte,k={do:PAGk(do)=PAGk+norte(do)}{\displaystyle M_{n,k}=\{c:P_{k}(c)=P_{k+n}(c)\}}

Curvas críticas

Curvas críticas

Los diagramas de polinomios críticos se denominan curvas críticas . [ 14 ]

Estas curvas crean el esqueleto (las líneas oscuras) de un diagrama de bifurcación . [ 15 ] [ 16 ]

Espacios, aviones

espacio 4D

Se puede utilizar el espacio de Julia-Mandelbrot de 4 dimensiones (4D) para un análisis global de este sistema dinámico. [ 17 ]

plano w y plano c

En este espacio existen dos tipos básicos de planos 2D:

  • el plano dinámico (dinámico),Fdo{\displaystyle f_{c}}-plano o plano c
  • el plano de parámetros o plano z

También existe otro plano utilizado para analizar dichos sistemas dinámicos, el plano w :

Plano de parámetros 2D

El espacio de fases de una aplicación cuadrática se denomina su plano de parámetros . Aquí:

z0=zdor{\displaystyle z_{0}=z_{cr}}es constante ydo{\displaystyle c}es variable.

En el plano de parámetros no existen ni dinámicas ni órbitas. Sin embargo, sí existe un conjunto de valores para dichos parámetros.

El plano de parámetros consta de:

Además del conjunto mencionado anteriormente, existen muchos subtipos diferentes del plano de parámetros. [ 21 ] [ 22 ]

Mapa multiplicador

Véase también  :

  • Mapa de Boettcher que mapea el exterior del conjunto de Mandelbrot al exterior del disco de la unidad
  • Mapa multiplicador que mapea el interior del componente hiperbólico del conjunto de Mandelbrot al interior del disco unitario.

Plano dinámico 2D

"El polinomio Pc transforma cada rayo dinámico en otro rayo que duplica el ángulo (que medimos en vueltas completas, es decir, 0 = 1 = 2π rad = 360°), y los rayos dinámicos de cualquier polinomio "parecen rayos rectos" cerca del infinito. Esto nos permite estudiar los conjuntos de Mandelbrot y Julia de forma combinatoria, reemplazando el plano dinámico por el círculo unitario, los rayos por ángulos y el polinomio cuadrático por la función de duplicación módulo uno." Virpi Kauko [ 23 ]

En el plano dinámico se puede encontrar:

El plano dinámico consta de:

Aquí,do{\displaystyle c}es una constante yz{\displaystyle z}es una variable.

El plano dinámico bidimensional puede tratarse como una sección transversal de Poincaré del espacio tridimensional de un sistema dinámico continuo. [ 24 ] [ 25 ]

Los planos z dinámicos se pueden dividir en dos grupos:

  • F0{\displaystyle f_{0}}avión parado=0{\displaystyle c=0}(ver mapa de cuadratura compleja )
  • Fdo{\displaystyle f_{c}}aviones (todos los demás aviones parado0{\displaystyle c\neq 0})

esfera de Riemann

El plano complejo extendido más un punto en el infinito

Derivados

Primera derivada con respecto a c

En el plano de parámetros:

  • do{\displaystyle c}es una variable
  • z0=0{\displaystyle z_{0}=0}es constante

La primera derivada deFdonorte(z0){\displaystyle f_{c}^{n}(z_{0})}con respecto a c es

znorte=dddoFdonorte(z0).{\displaystyle z_{n}'={\frac {d}{dc}}f_{c}^{n}(z_{0}).}

Esta derivada se puede encontrar mediante iteración comenzando con

z0=dddoFdo0(z0)=1{\displaystyle z_{0}'={\frac {d}{dc}}f_{c}^{0}(z_{0})=1}

y luego reemplazando en cada paso consecutivo

znorte+1=dddoFdonorte+1(z0)=2Fdonorte(z)dddoFdonorte(z0)+1=2znorteznorte+1.{\displaystyle z_{n+1}'={\frac {d}{dc}}f_{c}^{n+1}(z_{0})=2\cdot {}f_{c}^{n}(z)\cdot {\frac {d}{dc}}f_{c}^{n}(z_{0})+1=2\cdot z_{n}\cdot z_{n}'+1.}

Esto se puede verificar fácilmente utilizando la regla de la cadena para la derivada.

Esta derivada se utiliza en el método de estimación de distancias para dibujar un conjunto de Mandelbrot .

Primera derivada con respecto a z

En el plano dinámico:

  • z{\displaystyle z}es una variable;
  • do{\displaystyle c}es una constante.

En un punto fijoz0{\displaystyle z_{0}},

Fdo(z0)=ddzFdo(z0)=2z0.{\displaystyle f_{c}'(z_{0})={\frac {d}{dz}}f_{c}(z_{0})=2z_{0}.}

En un punto periódico z 0 de período p, la primera derivada de una función

(Fdopag)(z0)=ddzFdopag(z0)=i=0pag1Fdo(zi)=2pagi=0pag1zi=λ{\displaystyle (f_{c}^{p})'(z_{0})={\frac {d}{dz}}f_{c}^{p}(z_{0})=\prod _{i=0}^{p-1}f_{c}'(z_{i})=2^{p}\prod _{i=0}^{p-1}z_{i}=\lambda }

a menudo se representa porλ{\displaystyle \lambda }y se le conoce como el multiplicador o el número característico de Lyapunov. Su logaritmo se denomina exponente de Lyapunov. El valor absoluto del multiplicador se utiliza para comprobar la estabilidad de los puntos periódicos (también fijos) .

En un punto no periódico , la derivada, denotada porznorte{\displaystyle z'_{n}}, se puede encontrar mediante iteración comenzando con

z0=1,{\displaystyle z'_{0}=1,}

y luego usando

znorte=2znorte1znorte1.{\displaystyle z'_{n}=2*z_{n-1}*z'_{n-1}.}

Esta derivada se utiliza para calcular la distancia externa al conjunto de Julia.

Derivada de Schwarz

La derivada schwarziana (SD para abreviar) de f es: [ 26 ]

(SF)(z)=F(z)F(z)32(F(z)F(z))2.{\displaystyle (Sf)(z)={\frac {f'''(z)}{f'(z)}}-{\frac {3}{2}}\left({\frac {f''(z)}{f'(z)}}\right)^{2}.}

Véase también

Referencias

  1. Poirier, Alfredo (1993). "Sobre polinomios finitos postcríticos, parte 1: retratos críticos". arXiv : math/9305207 .
  2. 1 2 "Michael Yampolsky, Saeed Zakeri : Compatibilidad de polinomios cuadráticos de Siegel" (PDF) . 
  3. Bodil Branner : Sistemas dinámicos holomorfos en el plano complejo. Informe Mat n.º 1996-42. Universidad Técnica de Dinamarca
  4. Sistemas dinámicos y divisores pequeños, Editores: Stefano Marmi, Jean-Christophe Yoccoz, página 46
  5. "Demuestra que el conocido mapa logístico $x_{n+1} = sx_n(1 - x_n)$, puede recodificarse en la forma $x_{n+1} = x_n^2 + c$" . Mathematics Stack Exchange .
  6. Yunping Jing  : Conectividad local del conjunto de Mandelbrot en ciertos puntos infinitamente renormalizables. Dinámica compleja y temas relacionados, nuevos estudios en matemáticas avanzadas, 2004, The International Press, 236-264.
  7. Weisstein, Eric W. "Mapa cuadrático" . mathworld.wolfram.com .
  8. Programa Java de Dieter Röß que muestra el resultado de cambiar el punto inicial de las iteraciones de Mandelbrot. Archivado el 26 de abril de 2012 en la Wayback Machine.
  9. "Conjuntos convexos de Julia" . MathOverflow .
  10. Richards, Trevor (11 de mayo de 2015). "Equivalencia conforme de funciones analíticas en conjuntos compactos". arXiv : 1505.02671v1 [ math.CV ].
  11. M. Romera Archivado el 22 de junio de 2008 en Wayback Machine , G. Pastor Archivado el 1 de mayo de 2008 en Wayback Machine , y F. Montoya : Multifurcaciones en puntos fijos no hiperbólicos del mapa de Mandelbrot. Archivado el 11 de diciembre de 2009 en Wayback Machine Fractalia Archivado el 19 de septiembre de 2008 en Wayback Machine 6, No. 21, 10-12 (1997)
  12. Burns AM  : Trazando la fuga: una animación de bifurcaciones parabólicas en el conjunto de Mandelbrot. Mathematics Magazine, vol. 75, n.º 2 (abril de 2002), págs. 104-116
  13. "Khan Academy" . Khan Academy .
  14. El camino al caos está lleno de curvas polinómicas, por Richard D. Neidinger y R. John Annen III. American Mathematical Monthly, vol. 103, n.º 8, octubre de 1996, págs. 640-653.
  15. Hao, Bailin (1989). Dinámica simbólica elemental y caos en sistemas disipativos . World Scientific . ISBN 9971-5-0682-3Archivado del original el 5 de diciembre de 2009. Consultado el 2 de diciembre de 2009 .
  16. "M. Romera, G. Pastor y F. Montoya, "Puntos de Misiurewicz en mapas cuadráticos unidimensionales", Physica A, 232 (1996), 517-535. Preimpresión" (PDF) . Archivado del original (PDF) el 2 de octubre de 2006.
  17. "Espacio Julia-Mandelbrot, Mu-Ency en MROB" . www.mrob.com .
  18. Carleson, Lennart , Gamelin, Theodore W .: Serie Dinámica Compleja: Universitext, Subserie: Universitext: Tratados de Matemáticas, 1.ª ed. 1993. Corrección de la 2.ª impresión, 1996, IX, 192 págs., 28 ilustraciones, ISBN 978-0-387-97942-7
  19. Movimientos y rompecabezas holomorfos por P. Roesch
  20. Rempe, Lasse; Schleicher, Dierk (12 de mayo de 2008). "Loci de bifurcación de mapas exponenciales y polinomios cuadráticos: conectividad local, trivialidad de fibras y densidad de hiperbolicidad". arXiv : 0805.1658 [ math.DS ].
  21. "Julia y conjuntos de Mandelbrot, planos alternativos" . aleph0.clarku.edu .
  22. "Mapa exponencial, Mu-Ency en MROB" . mrob.com .
  23. Árboles de componentes visibles en el conjunto de Mandelbrot por Virpi Kauko, FUNDAMENTA MATHEMATICAE 164 (2000)
  24. "El conjunto de Mandelbrot recibe su nombre del matemático Benoit B." . www.sgtnd.narod.ru .
  25. Moehlis, Kresimir Josic, Eric T. Shea-Brown (2006) Órbita periódica. Scholarpedia ,
  26. "Apuntes de clase | Exposición matemática | Matemáticas" . MIT OpenCourseWare .
  • Monica Nevins y Thomas D. Rogers, " Mapas cuadráticos como sistemas dinámicos en los números p-ádicos "
  • Wolf Jung  : Homeomorfismos en los bordes del conjunto de Mandelbrot. Tesis doctoral de 2002.
  • Más información sobre mapas cuadráticos  : Mapa cuadrático