Permítanos -lo que está en su notación b→c1 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=q⋅b+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 q⋅2A+1=q⋅(2A+b)+T(0;B1,B2,...,BN)
Por supuesto, inmediatamente después q⋅2A+1<q(2A+b) y también, porque q<1 q⋅2A+1<1(2A+b)=2A+b y q<1+b−12A 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<Sln2−lnb<Sln2 NS<ln2ln3−lnbSln3<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 b→1 :
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:
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 1→1→⋯ - pero en al menos 3 ciclos ( 1→3→⋯ , 13→33→83→⋯ y 17→27→43→⋯ ) 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 x≥1e48 y utilizado N y S tomadas hasta ahora. Aquí está la foto:
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 ))