Processing math: 100%

1 votos

En cuanto a Collatz, ¿relación entre pasos Impares y pasos pares?

Si b>1,  b c 1 en m+n pasos ( m a través de los números impar, n hasta par) entonces 2A+b c 3m2n2A+1 .

Si imaginamos que 3m2n2A+1<2A+b se obtiene la desigualdad 3m2n+2A<1+b2A . Podemos elegir A sea un número entero enorme, entonces 2A sería un número masivamente pequeño, y parece que podemos concluir 3m2n<1 que conduce a mn<ln2ln3 un límite superior en la relación entre pasos Impares y pasos pares.

Escribí un programa para comprobar si la desigualdad se mantiene con 10000000 y se comprueba, ¡a menos que tenga errores de desbordamiento ocultos! ¿Hay alguna razón por la que este límite superior debería ser correcto, o una forma mejor de comprobar la desigualdad para números enteros más grandes?

Edición: aquí hay un gráfico de m/n para 2b10000 frente a ln2ln3 enter image description here

4voto

Rob Bland Puntos 886

He encontrado una prueba explícita para la afirmación - Pensé en añadirlo en la pregunta como una edición, pero quiero decir que es una respuesta final de todos modos,

Supongamos que b c 1<b en m+n pasos, m a través de impar y etc

entonces b c 3m2nb+O2n=1 para algún número entero O0 entonces tenemos

3m2nb3m2nb+O2n=1<b3m2n<1mn<ln2ln3

2voto

Jorrit Reedijk Puntos 129

Permítanos -lo que está en su notación bc1 con b>1 - denotar como 1=T(b;B1,B2,...,BN) con los exponentes Bk indicando los poderes de 2 que representa la x/2 -pasos entre dos 3x+1 -pasos.
Denotemos también el número de 3x+1 -pasa N y la suma de exponentes (que son también el número de x/2 - pasos ) por S=B1+B2+...+BN .
Entonces podemos reordenar en (1) y también escribir 1=3N2Sb+T(0;B1,B2,...,BN) . Denotemos ahora 3N2S=q entonces tenemos, porque siempre T(0;B1,...,BN)>0 de 1=qb+T(0;B1,B2,...,BN) que q=3N2S<1b<1


Creo que lo siguiente es superfluo, pero porque te has metido con esto:
Si introducimos algunos 2A entonces para todos A>S tendremos con transformaciones de Collatz implícitas válidas q2A+1=q(2A+b)+T(0;B1,B2,...,BN)
Por supuesto, inmediatamente después q2A+1<q(2A+b) y también, porque q<1 q2A+1<1(2A+b)=2A+b y q<1+b12A Pero esta última formulación es demasiado débil, porque ya tenemos de (3) que (q=)3N2S<1b<1 . Observación: esas manipulaciones superfluas me irritaron a la hora de captar el sentido de tu pregunta, pero bueno, creo que ahora he captado correctamente tu intención
De aquí obtenemos también su resultado correcto: 3N2S<1b<13N<2Sb<2SNln3<Sln2lnb<Sln2 NS<ln2ln3lnbSln3<ln2ln3 donde no se necesitan pruebas numéricas adicionales.

También he mirado algunas fotos. Para hacer más visibles algunos patrones posiblemente relevantes utilizo sólo impar b . También se suele aplicar una escala logarítmica del b -hace las cosas más claras en los problemas diofánticos exponenciales.
Precaución: Estoy acostumbrado a las letras a y A para estos problemas en lugar de su b aquí y no pensé en esto mientras generaba las imágenes. Así que tienes que traducir mentalmente las anotaciones, lo siento...
Así que aquí está el número de 3x+1 -pasos (= N ) en las trayectorias de b1 : pic_3_n Además del previsible aumento de N con el aumento de b Me parece una observación notable, que aparentemente (al menos) 2 patrones se superponen aquí: algo de abajo hacia arriba y algo de una primera escalera por encima de la parte inferior en expansión hacia arriba y hacia abajo. Del mismo modo esto se ve con S el número de pasos pares: pic_3_s La superposición de patrones parece aún más clara aquí.
A continuación, la imagen de la proporción, que corresponde a su propia imagen pero muestra un poco más de detalle/patrón: pic_3_q
Por supuesto, como he omitido los números pares en b tampoco tenemos los poderes perfectos de 2 en b y, por tanto, no los coeficientes cero que se ven en su gráfico.

Después de eso miré la modificación de Collatz 5x+1 . Aquí sabemos, que las trayectorias no - como en el 3x+1 -versión - fin del ciclo 11 - pero en al menos 3 ciclos ( 13 , 133383 y 172743 ) y es muy probable que diverjan hasta el infinito (¿deberíamos introducir aquí el concepto de "ciclo en el infinito"?), por lo que calculé los cocientes para cada grupo de valores de b en función de su característica final: para el b que entran en un ciclo, la proporción de N/S antes de entrar en el ciclo, y para los divergentes b Detuve las trayectorias en x1e48 y utilizado N y S tomadas hasta ahora. Aquí está la foto: pic_5_q Por supuesto, la divergencia b tienen una ración superior a ln2/ln5 y la convergencia b más pequeño (excepto el valor b=5 que da un cociente mayor porque es menor que el valor más pequeño del ciclo final (que es 13 ))

0voto

4e6 Puntos 5970

Hice algunos gráficos de esto y mi incluso sobre impar ratio parece tender pasado ln(3)/ln(2).

Relación par/impar para n<100000

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