18 votos

Número de ceros reales de polinomio iterado:$x^3-2x+1$

Si $P(x)=x^3-2x+1$, definir $z_n$ a medida que el número de raíces reales del polinomio $P^{\circ n}(x)$, donde el superíndice denota $n$-composición del pliegue. Podemos encontrar una fórmula general para $z_n$, o tal vez una repetición de algún tipo? La secuencia comienza $3,7,15,27,47,...$ y no está en la OEIS.

Me han resuelto este problema para el polinomio $Q(x)=x^3-3x+1$, y se determinó que el número de ceros de $Q^{\circ n}$ es igual a $2^{n+1}-1$. Sin embargo, este problema fue mucho más fácil porque el máximo de los valores de $Q$ se producen en los valores enteros de a$x$ y los ceros de $Q$ son irracionales, permitiendo el descanso de la recta real en intervalos de la forma $[k,k+1]$ y siguió la pista de que los intervalos de $Q$ mapas en uno con el otro.

¿Alguien puede averiguar cómo hacer esto con $P(x)$? Este problema me ha desconcertado durante un tiempo, así que estoy dispuesto a ofrecer una $+50$ recompensa para una respuesta satisfactoria o análisis del problema (tan pronto como las reglas de MSE me va a permitir ofrecer).

También sería útil si alguien puede proporcionar una gran lista de valores de $z_n$, ya que todos los valores que se han obtenido al contar con la mano.

Saludos!

EDIT:se Debe a una forma cerrada de la fórmula o de la recurrencia de eludir cualquier potencial ms responden, también sería bueno para obtener un (comprobado) fórmula asintótica para $z_n$ lugar de una forma cerrada de la fórmula.

2voto

G Cab Puntos 51

Un boceto de inmediato revela lo que está pasando.

Polynomial_Iterated_1

El polinomio $$ y = x^{\,3} - 2x + 1 $$ es un deprimido cúbicos, con tres reales ceros en $x=\{-\phi, 1/\phi, 1\}$.

Tiene un máximo local $(x_{max},y_{max})=( - \sqrt{2/3}, \; 1+4*\sqrt{6}/9)$ y un mínimo local $(x_{min},y_{min})=( \sqrt{2/3}, \; 1-4*\sqrt{6}/9)$.

El rango de $[y_{min},\,y_{max}]$ incluye los dos ceros $1/\phi$ e $1$, pero no menor a $-\phi$.

A continuación, el dibujo muestra que en la primera iteración $$ y_{\,2} (y_{\,1} (x)) $$ vamos a tener que:
- el más bajo de cero permanecerá, mientras que la parte superior de los dos será replicado $3$ veces;
- la máxima seguirá siendo, mientras que el mínimo será replicado $3$ veces;
- entre cada triple $zero,min,zero$ a un nuevo máximo aparecerá;

Sin embargo, no es fácil predecir lo que el valor de los dos nuevos máximos serán, y, por lo tanto, muchos de los ceros $1/\phi$ e $1$ actuarán en la siguiente iteración, especialmente en el largo plazo.
Y que confirma @Jirky comentario.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X