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

Iteración

AquíFnorte{\displaystyle f^{n}}denota la n -ésima iteración de la funciónF{\displaystyle f}:

Fdonorte(z)=Fdo1(Fdonorte1(z)){\displaystyle f_{c}^{n}(z)=f_{c}^{1}(f_{c}^{n-1}(z))}

entonces

znorte=Fdonorte(z0).{\displaystyle z_{n}=f_{c}^{n}(z_{0}).}

Debido a la posible confusión con la exponenciación, algunos autores escriben:Fnorte{\displaystyle f^{\circ n}}para la enésima iteración deF{\displaystyle f}.

Parámetro

La forma mónica y centradaFdo(incógnita)=incógnita2+do{\displaystyle f_{c}(x)=x^{2}+c}puede estar marcado por:

  • El parámetrodo{\displaystyle c}
  • El ángulo externoθ{\displaystyle \theta }del rayo que aterriza:
    • En c en el conjunto de Mandelbrot en el plano de parámetros
    • Sobre el valor crítico: z = c en el conjunto de Julia en el plano dinámico

entonces  :

Fdo=Fθ{\displaystyle f_{c}=f_{\theta }}
do=do(θ){\displaystyle c=c({\theta })}

Ejemplos:

  • c es el punto de aterrizaje del rayo externo 1/6 del conjunto de Mandelbrot y eszz2+i{\displaystyle z\to z^{2}+i}(donde i^2=-1)
  • c es el punto de aterrizaje del rayo externo 5/14 y eszz2+do{\displaystyle z\to z^{2}+c}condo=1.23922555538957+0,412602181602004i{\displaystyle c=-1.23922555538957+0.412602181602004*i}

Mapa

La forma mónica y centrada, a veces llamada familia de polinomios cuadráticos de Douady-Hubbard , [ 6 ] se usa típicamente con variablesz{\displaystyle z}y parámetrodo{\displaystyle c}:

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

Cuando se utiliza como función de evolución del sistema dinámico no lineal discreto ,

znorte+1=Fdo(znorte){\displaystyle z_{n+1}=f_{c}(z_{n})}

Se denomina aplicación cuadrática : [ 7 ]

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

El conjunto de Mandelbrot es el conjunto de valores del parámetro c para los cuales la condición inicial z 0 = 0 no provoca que las iteraciones diverjan al infinito.

Elementos críticos

Puntos críticos

Plano complejo

Un punto crítico deFdo{\displaystyle f_{c}}es un puntozdor{\displaystyle z_{cr}}en el plano dinámico tal que la derivada se anula:

Fdo(zdor)=0.{\displaystyle f_{c}'(z_{cr})=0.}

Desde

Fdo(z)=ddzFdo(z)=2z{\displaystyle f_{c}'(z)={\frac {d}{dz}}f_{c}(z)=2z}

implica que

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

vemos que el único punto crítico (finito) deFdo{\displaystyle f_{c}}ese es el puntozdor=0{\displaystyle z_{cr}=0}.

z0{\displaystyle z_{0}}es un punto inicial para la iteración del conjunto de Mandelbrot . [ 8 ]

Para la familia cuadráticaFdo(z)=z2+do{\displaystyle f_{c}(z)=z^{2}+c}El punto crítico z = 0 es el centro de simetría del conjunto de Julia Jc, por lo que es una combinación convexa de dos puntos en Jc. [ 9 ]

Plano complejo extendido

En la esfera de Riemann , un polinomio cuadrático complejo tiene 2d-2 puntos críticos. En este modelo, cero e infinito son puntos críticos.

Valor crítico

Un valor críticozdov{\displaystyle z_{cv}}deFdo{\displaystyle f_{c}}es la imagen de un punto crítico:

zdov=Fdo(zdor){\displaystyle z_{cv}=f_{c}(z_{cr})}

Desde

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

tenemos

zdov=do{\displaystyle z_{cv}=c}

Entonces el parámetrodo{\displaystyle c}es el valor crítico deFdo(z){\displaystyle f_{c}(z)}.

Curvas de nivel crítico

Una curva de nivel crítica es la curva de nivel que contiene el punto crítico. Actúa como una especie de esqueleto [ 10 ] del plano dinámico.

Ejemplo: las curvas de nivel se cruzan en un punto de silla , que es un tipo especial de punto crítico.

Conjunto de límites críticos

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