Función Generadora de Secuencias con Convergencia Demostrable

Función Generadora de Secuencias con Convergencia Demostrable Miguel Cerdá Bennassar 12 de octubre de 2025 [email protected] Índice 1. Introducción 4 2. Definición y Propiedades Básicas 4 2.1. Comportamiento según clases modulares ................... 5 3. Identificación del Ciclo Atractor 5 4. Demostración de Convergencia Global 6 4.1. Convergencia desde n≡2 (m´od 4) ...................... 6 4.2. Escape desde n≡0 (m´od 4) .......................... 7 4.3. Control del descenso global ........................... 8 4.4. Teorema principal ................................ 8 5. Consecuencias 8 6. Equivalencia estructural entre la función Collatz y la función δ9 6.1. Modelo de Collatz empleado .......................... 10 6.2. Ejemplo ilustrativo desde n= 7 ........................ 11 6.3. Comparación detallada ............................. 11 6.4. Cálculo explícito de transiciones ........................ 12 6.5. Comentarios y estadísticas comparativas ................... 12 7. Convergencia y cotas para la dinámica de δ12 7.1. Retorno rápido de 2 m´od 4 a0 m´od 4 ..................... 13 7.2. Bloques con ν2= 2 y contracción uniforme .................. 13 7.3. Convergencia global ............................... 13 1 7.4. Cota del tiempo de entrada .......................... 13 7.5. Ejemplo ilustrativo ............................... 14 7.6. Línea futura: familia afín que preserva pares ................. 14 8. Estructura de Cadenas Impares en Collatz 14 8.1. Definición y caracterización de cadenas impares ............... 14 8.2. Condición de continuidad: impares 4n+3 ................... 14 8.3. Teorema de finitud de cadenas impares .................... 15 8.4. Fórmula para la longitud de cadenas ..................... 17 8.5. Imposibilidad de crecimiento indefinido .................... 18 8.6. Consecuencias para la relación δ-Collatz ................... 18 8.7. Por qué esta proyección facilita la demostración ............... 19 8.7.1. Reducción del espacio de estados ................... 19 8.7.2. Unificación del comportamiento modular ............... 19 8.7.3. Control del crecimiento ......................... 20 8.7.4. Eliminación de ciclos complejos .................... 20 8.7.5. Técnicas de demostración aplicables .................. 20 8.7.6. Síntesis ................................. 21 8.7.7. Límites de la proyección ........................ 21 9. Análisis Cuantitativo del Tiempo de Convergencia 22 9.1. Verificación computacional ........................... 23 10.Generalización: Familia Paramétrica 24 10.1. Definición de la familia ............................. 24 10.2. Condiciones para convergencia demostrable .................. 24 10.3. Ejemplos de la familia ............................. 25 10.4. Región de convergencia demostrable ...................... 25 11.Estructura del Grafo de Preimágenes 26 11.1. Preimágenes de la función ........................... 26 11.2. Árbol de convergencia ............................. 26 12.Análisis Modular 27 12.1. Comportamiento módulo 8 ........................... 27 2 12.2. Comportamiento módulo 9 ........................... 28 12.3. Análisis combinado: mod 8 y mod 9 ...................... 30 12.4. Tabla de ciclos modulares ........................... 30 12.5. Interpretación geométrica ........................... 30 12.6. Implicaciones para la demostración ...................... 31 12.7. Raíces digitales y análisis mod 9 ........................ 31 12.8. Comparación con Collatz módulo 9 ...................... 32 12.9. Conjetura de levantamiento .......................... 32 13.Conclusiones y Trabajo Futuro 32 13.1. Resumen de resultados ............................. 32 13.2. Aportación principal: Cadenas impares finitas ................ 33 13.3. Técnicas desarrolladas ............................. 34 13.4. Problemas abiertos ............................... 34 13.5. Direcciones futuras ............................... 35 13.5.1. Análisis estocástico ........................... 35 13.5.2. Generalización a grafos ......................... 35 13.5.3. Implementación computacional .................... 35 13.5.4. Conexiones con otros problemas .................... 35 13.6. Relevancia del trabajo ............................. 35 13.7. Observación final ................................ 36 Resumen Introducimos una función δ: 2N→2Ndefinida sobre números pares que genera secuencias convergentes a un ciclo simple de período 2. Demostramos que toda órbita bajo iteración de δconverge al ciclo {2,4}mediante un análisis modular y el estudio de la valuación 2-ádica. La función δpuede interpretarse como una proyección de la conjetura de Collatz sobre números pares, eliminando los términos impares intermedios. Demostramos además que en Collatz no pueden existir cadenas impares infinitas (Teorema 7.2), estableciendo que toda cadena de términos de la forma 4n+ 3 debe terminar eventualmente en un término 4n+ 1 que genera un par con valuación 2ádica ≥2. Este resultado elimina la posibilidad de crecimiento indefinido mediante cadenas impares y reduce significativamente el gap entre la convergencia demostrada de δy la conjetura de Collatz. Proporcionamos cotas para el tiempo de convergencia, estudiamos una familia paramétrica de funciones relacionadas, y analizamos el comportamiento modular en múltiples bases. 1. Introducción El estudio de funciones iterativas sobre los números naturales ha producido problemas de notable dificultad. En este trabajo presentamos una función definida sobre números pares que, a pesar de combinar operaciones de crecimiento y reducción, admite una demostración completa de convergencia global. La función que estudiaremos posee dos características distintivas: (i) está definida únicamente sobre números pares, reduciendo así el espacio de estados, y (ii) alterna entre una fase de expansión moderada (factor 3 2) y una fase de contracción (aproximadamente factor 1 2). 2. Definición y Propiedades Básicas Definición 2.1. Para todo número par n∈2N, sea r=3n 2+ 1. Definimos: δ(n) =    rsi res par r−n−1si res impar Observación 2.1. Equivalentemente, la función puede expresarse de forma simplificada: δ(n) =    3n 2+ 1 si 3n 2+ 1 es par n 2si 3n 2+ 1 es impar Observemos que cuando r=3n 2+ 1 es impar, la expresión r−n−1se simplifica: r−n−1 = 3n 2+ 1−n−1 = 3n 2−n=n 2 Esta formulación simplificada es útil para verificar rápidamente el comportamiento de la función. 4 Proposición 2.1 (Preservación de paridad).Si nes par, entonces δ(n)es par. Demostración. Sea r=3n 2. Caso 1: Si res par, entonces δ(n) = res par. Caso 2: Si res impar, entonces nes par y res impar, luego: δ(n)=r−n+ 1 = impar −par +1=impar +1=par Por la Proposición 2.2, δes una función bien definida de 2Nen sí mismo, lo que permite estudiar sus órbitas. Definición 2.2. La órbita de nbajo δes la secuencia O(n) = {n, δ(n), δ2(n), δ3(n), . . .} Diremos que nconverge a un conjunto Csi existe t∈Ntal que δt(n)∈C. 2.1. Comportamiento según clases modulares El comportamiento de δdepende crucialmente de la clase de nmódulo 4. Proposición 2.2 (Comportamiento mod 4).1. Si n≡0 (m´od 4), entonces r=3n 2+ 1 es impar, luego δ(n) = n 2. 2. Si n≡2 (m´od 4), entonces r=3n 2+ 1 es par, luego δ(n) = 3n 2+ 1. Demostración. (1) Si n= 4k, entonces r=3·4k 2+ 1 = 6k+ 1 es impar, y δ(n)=r−n−1 = (6k+ 1) −4k−1 = 2k=n 2 (2) Si n= 4k+ 2, entonces r=3(4k+2) 2+ 1 = 6k+ 3 + 1 = 6k+ 4 es par. Por tanto δ(n)=r= 6k+ 4 = 3(4k+2) 2+ 1 = 3n 2+ 1 Interpretación: Los números n≡0 (m´od 4) experimentan una fase de crecimiento (factor 3 2), mientras que los números n≡2 (m´od 4) experimentan una contracción (aproximadamente factor 1 2). 3. Identificación del Ciclo Atractor Proposición 3.1 (Existencia del ciclo).Los números 2 y 4 forman un ciclo de período 2 bajo δ: δ(2) = 4, δ(4) = 2 5 Demostración. Para n= 2:3·2 2+ 1 = 4 es par, luego δ(2) = 4. Para n= 4:3·4 2+ 1 = 7 es impar, luego δ(4) = 7 −4−1 = 2 Nuestro objetivo principal es demostrar que este ciclo {2,4}atrae todas las órbitas. 4. Demostración de Convergencia Global La demostración procede en tres etapas: primero probamos convergencia desde la clase n≡2 (m´od 4), luego mostramos que todo número en la clase n≡0 (m´od 4) eventualmente pasa a la primera clase, y finalmente controlamos el descenso global mediante un argumento de valuación 2-ádica. 4.1. Convergencia desde n≡2 (m´od 4) Lema 4.1 (Reducción en clase 2 mod 4).Para todo n≡2 (m´od 4) con n≥6, se cumple que δ(n) = n 2+ 1 < n Demostración. Por la Proposición 2.2, si n= 4k+ 2 con k≥1, entonces δ(n)=2k+ 2 = 4k+ 2 2+ 1 = n 2+ 1 Para n≥6(es decir, k≥1), tenemos n 2+ 1 = n+ 2 2< n ⇐⇒ n+ 2 <2n⇐⇒ 2< n lo cual se cumple para n≥6. Lema 4.2 (Convergencia desde clase 2 mod 4).Todo número n≡2 (m´od 4) con n≥6 converge al ciclo {2,4}. Demostración. Sea n= 4k+ 2 con k≥1. Entonces δ(n) = 2(k+ 1). Caso A: Si k+ 1 es par, digamos k+ 1 = 2m, entonces δ(n)=4m≡0 (m´od 4) En este caso, δ(n)pasa a la clase 0 mod 4. Caso B: Si k+ 1 es impar, entonces δ(n) = 2(k+ 1) ≡2 (m´od 4) 6 pero por el Lema 4.1,δ(n)< n. Por tanto, mientras permanezcamos en la clase 2 mod 4, la secuencia n0, n1=δ(n0), n2=δ(n1), . . . es estrictamente decreciente. Como los números naturales están bien ordenados, esta secuencia debe alcanzar un mínimo. El mínimo en la clase 2 mod 4 con n≥6es n= 6, y verificamos: δ(6)=4∈ {4,6} Por descenso infinito, toda órbita desde n≡2 (m´od 4),n≥6, converge al ciclo. 4.2. Escape desde n≡0 (m´od 4) Definición 4.1. La valuación 2-ádica de n, denotada v2(n), es el mayor exponente a tal que 2a|n. Equivalentemente, si n= 2a·mcon mimpar, entonces v2(n) = a. Lema 4.3 (Escape a clase 2 mod 4).Todo número n≡0 (m´od 4) eventualmente genera un número n′≡2 (m´od 4). Demostración. Sea n= 2a·mcon mimpar y a≥2(pues n≡0 (m´od 4)). Mientras n≡0 (m´od 4), por la Proposición 2.2 tenemos δ(n) = 3n 2= 3 ·2a−1·m= 2a−1·(3m) Como 3mes impar (producto de impares), se tiene v2(δ(n))=a−1 Iterando este argumento: v2(n)=a v2(δ(n))=a−1 v2(δ2(n)) = a−2 . . . v2(δa−1(n)) = 1 Cuando v2= 1, tenemos δa−1(n) = 2 ·(impar), es decir, δa−1(n)≡2 (m´od 4) Por tanto, después de exactamente a−1iteraciones, la órbita alcanza la clase 2 mod 4. 7 4.3. Control del descenso global El Lema 4.3 garantiza que todo número n≡0 (m´od 4) eventualmente pasa a la clase 2 mod 4. Sin embargo, por el Lema 4.2 (Caso A), es posible que la órbita retorne a la clase 0 mod 4. Es necesario demostrar que, a pesar de estos posibles retornos, hay descenso global. Lema 4.4 (Bloque con v2= 2 contrae).Sea n= 22·m= 4mcon mimpar (i.e., v2(n) = 2). Entonces δ(δ(n)) = 3m+ 1 = 3 4n+ 1 < n (n≥4) En particular, el bloque de dos pasos desde cualquier ncon v2(n)=2produce una disminución estricta del valor. Demostración. Si n= 4mcon mimpar, el primer paso (rama 0 mod 4) da δ(n) = 3n 2= 6m≡2 (m´od 4) El segundo paso (rama 2 mod 4) es δ(δ(n)) = δ(n) 2+ 1 = 6m 2+ 1 = 3m+ 1 Como 3m+ 1 = 3 4n+ 1 < n para todo n≥4, el bloque de dos pasos contrae. 4.4. Teorema principal Teorema 4.5 (Convergencia).Para todo número par n≥4existe t≥0tal que δt(n)∈ {2,4}. En particular, toda órbita entra en el ciclo {2,4}. Demostración. Caso 1:Sin∈ {2,4}, tomamos t= 0 y la afirmación es inmediata. Caso 2: Si n≡2 (m´od 4) con n≥6, el Lema 4.2 proporciona un t≥1con δt(n)∈ {2,4}. Caso 3:Sin≡0 (m´od 4) con n>6, por el Lema 4.3 la órbita alcanza v2= 2 en un número finito de pasos. Entonces el Lema 4.4 garantiza una contracción estricta en dos pasos. Considerando la subsucesión {nk}de valores con v2(nk) = 2, esta es estrictamente decreciente por repetidas aplicaciones del Lema 4.4. Como es una sucesión decreciente de enteros positivos, tras finitos pasos se alcanza un valor nk≤6, convergiendo entonces al ciclo {2,4}por los casos anteriores. 5. Consecuencias Corolario 5.1. El ciclo {2,4}es el único ciclo de δen 2N. Demostración. Si existiera otro ciclo C′={2,4}, entonces algún elemento de C′no convergería a {2,4}, contradiciendo el Teorema 4.5. Corolario 5.2. Para todo n≥4par, el tiempo de convergencia τ(n) = m´ın{t≥0 : δt(n)∈ {2,4}} es finito. 8 6. Equivalencia estructural entre la función Collatz y la función δ La función δfue definida en secciones anteriores como un operador sobre los números pares que encapsula, en un único paso, la transición entre dos términos pares consecutivos de la órbita de la función de Collatz clásica. En esta sección establecemos rigurosamente la equivalencia estructural entre ambas dinámicas: toda trayectoria generada por δcorresponde de forma biunívoca a la subsecuencia de términos pares de una trayectoria de Collatz, y viceversa. Este resultado tiene consecuencias conceptuales importantes: Permite reformular la conjetura de Collatz como un problema de convergencia restringido al subespacio par, reduciendo la longitud efectiva de las trayectorias. Elimina la necesidad de analizar explícitamente los pasos sobre impares, ya que éstos quedan absorbidos en la definición de δpara el caso n≡2 (m´od 4). La convergencia al ciclo (4,2) de δes equivalente a la convergencia al ciclo (4,2,1) de la función Collatz original. En la Proposición 6.1 se precisa el modelo de Collatz adoptado; en la Proposición 6.1 se demuestra la equivalencia paso a paso; y en el Corolario 6.3 se establece la equivalencia global entre ambas dinámicas. Las secciones posteriores ilustran esta correspondencia mediante ejemplos y estadísticas comparativas. Proposición 6.1 (Equivalencia de transición par→par).Sea C:Z>0→Z>0la transformación de Collatz estándar C(n) =      n 2,si nes par, 3n+ 1,si nes impar, y sea δ: 2Z→2Zla función definida por δ(n) =        n 2, n ≡0 (m´od 4), 3n 2+ 1, n ≡2 (m´od 4). Entonces, para todo npar, el siguiente término par que aparece al iterar Cdesde nes exactamente δ(n). En particular, si p0, p1, p2, . . . es la subsecuencia de términos pares de la órbita de Ciniciada en un par p0, se cumple pj+1 =δ(pj) (j≥0). Demostración. Escribe n= 2m. Caso 1: mpar (equivalente a n≡0 (m´od 4)). Entonces C(n) = n/2=m, que es par. Por la definición de δ, siguiente par por Collatz =m=n 2=δ(n). 9 En particular, si sj≥2los términos intermedios pueden ser pares, por lo que Tjno coincide con la cadena impar de 8.1. Observación 8.2 (Cota explícita).Usando log2(3Oj+ 1) = log2Oj+ log2(3 + 1 Oj), se obtiene la estimación práctica sj≤jlog2Oj+ 1,585 ...k, válida para todo Oj≥1. Proposición 8.5 (Imposibilidad de una racha infinita con s= 1).No existe una sucesión infinita de impares O1, O2, . . . tal que ν2(3Oj+ 1) = 1 para todo j, Oj+1 =3Oj+ 1 2. Demostración. Si O≡ −1 (m´od 2m)entonces 3O+ 1 2=−1+3·2m−1t≡ −1 (m´od 2m−1)(escribiendo O=−1+2mt). Por inducción, para disponer de kpasos consecutivos con ν2(3Oj+ 1) = 1 es necesario O1≡ −1 (m´od 2k+1). Una racha infinita exigiría O1≡ −1 (m´od 2m)para todo m, lo que caracteriza al 2-ádico −1, que no es un impar positivo de la dinámica usual. Por tanto, tal sucesión infinita no existe. Argumento por descenso de valuación: Dentro de una cadena impar, cada vez que dividimos por 2 un par con v2= 1, obtenemos un impar. Este impar genera mediante 3n+ 1 un nuevo par. Sin embargo, la valuación 2-ádica total del sistema tiene un comportamiento crucial: Si partimos de un par p0= 2a·mcon a≥1 La primera división da un impar (si a= 1) o un par (si a≥2) Si a= 1, obtenemos un impar que puede ser 4k+ 3 (continúa la cadena) o 4k+ 1 (termina la cadena) Estructura de la cadena según n0: Si el número inicial de la cadena es de la forma: n0= 2a(2k−1) −1 3 (expresión que garantiza que 3n0+ 1 = 2a(2k−1)), entonces: 1. Aplicar 3n+ 1 da p0= 2a(2k−1) 2. Dividir por 2 sucesivamente hasta obtener un impar 3. Este proceso consume el exponente a 16 4. Cuando llegamos al último impar de la forma 4k+ 1, genera un par con v2≥2 Conclusión: Para que una cadena fuera infinita, necesitaríamos un número inicial cuyo 3n+ 1 tuviera valuación 2-ádica infinita: v2(3n0+ 1) = ∞ Pero esto requeriría que 3n0+ 1 = 0 o que 3n0+ 1 tuviera infinitos factores de 2, ambas imposibles para n0∈N. Por tanto, toda cadena impar es finita, acotada por v2(3n0+ 1). 8.4. Fórmula para la longitud de cadenas Proposición 8.6 (Longitud de cadena).Sea n0un número impar que inicia una cadena impar, y sea p0= 3n0+ 1 = 2a·mcon mimpar. Entonces: 1. La cadena contiene a lo sumo apares consecutivos de la forma pj= 3ij+ 1 con v2(pj)=1 2. Cada uno de estos pares genera un nuevo impar ij+1 =pj/2que continúa la cadena si ij+1 ≡3 (m´od 4) 3. La cadena termina cuando se alcanza un impar ik≡1 (m´od 4), que genera un par con v2≥2 Por tanto, la longitud de la cadena (número de términos impares) está acotada por a=v2(3n0+ 1). Demostración. Dentro de una cadena impar, cada término par tiene la forma pj= 3ij+1. Si la cadena continúa (es decir, pj/2es impar), entonces v2(pj)=1. Consideremos la secuencia de valuaciones. Si partimos de p0= 2a·m: Si a= 1:p0/2 = mes impar (continúa la cadena con 1 término) Si a≥2: Dividimos por 2 hasta alcanzar un impar, consumiendo el factor 2a Sin embargo, dentro de la cadena impar propiamente dicha (términos con v2= 1), cada paso consume exactamente un factor de 2. Como comenzamos con 2a, podemos tener a lo sumo apasos en la cadena antes de que el exponente se agote. Ejemplo 8.1 (Cadena con valuación alta).Consideremos un número inicial cuyo 3n0+1 tenga valuación alta. Por ejemplo, si pudiera existir (hipotéticamente) un n0tal que: 3n0+ 1 = 210 ·qcon qimpar entonces la cadena impar resultante podría contener hasta 10 términos impares consecutivos antes de terminar necesariamente en un impar ≡1 (m´od 4). En la práctica, para números pequeños, las valuaciones son bajas: 17 n0= 1:3(1) + 1 = 4 = 22·1⇒a= 2 n0= 5:3(5) + 1 = 16 = 24·1⇒a= 4 n0= 7:3(7) + 1 = 22 = 21·11 ⇒a= 1 n0= 21:3(21) + 1 = 64 = 26·1⇒a= 6 La longitud de cada cadena está determinada y acotada por el exponente a=v2(3n0+ 1). 8.5. Imposibilidad de crecimiento indefinido Corolario 8.7 (Crecimiento acotado en cadenas).El crecimiento acumulado en cualquier cadena impar está acotado. No puede existir crecimiento indefinido porque: 1. Cada cadena tiene longitud finita (Teorema 7.2) 2. La longitud está acotada por la valuación 2-ádica inicial 3. Dentro de la cadena, cada paso crece por factor 3/2 promedio 4. El crecimiento total está acotado por (3/2)kdonde kes la longitud de la cadena Observación 8.3 (Refutación del contraejemplo infinito).Para que la conjetura de Collatz fuera falsa por crecimiento indefinido en impares, tendría que existir un número inicial n0tal que: 3n0+ 1 = 2∞·m Pero 2∞no es un número natural. Por tanto, no puede existir una cadena impar infinita, y con ello se descarta la posibilidad de crecimiento indefinido mediante este mecanismo. 8.6. Consecuencias para la relación δ-Collatz Proposición 8.8 (Pérdida de información acotada).Al proyectar Collatz sobre δ(eliminando impares), la información perdida es: La longitud específica de cada cadena impar (finita) La magnitud del crecimiento en cada cadena (acotada) Pero NO se pierde información sobre: La finitud de las cadenas (demostrada) El hecho de que cada cadena termina en un par con v2≥2 La acotación del crecimiento total 18 Corolario 8.9 (Gap reducido).El Teorema 7.2 reduce significativamente el gap entre demostrar δy demostrar Collatz. Lo que falta por demostrar en Collatz es que el balance entre: Crecimientos finitos en cadenas impares finitas Decrecimientos por divisiones por 2 favorece globalmente el descenso. Pero se ha eliminado el escenario más problemático: cadenas infinitas con crecimiento indefinido. 8.7. Por qué esta proyección facilita la demostración La función δpuede interpretarse como una proyección de Collatz sobre números pares, eliminando los términos impares intermedios. Esta simplificación proporciona ventajas fundamentales para el análisis matemático: 8.7.1. Reducción del espacio de estados Al trabajar únicamente con números pares, el espacio de estados se reduce a la mitad: SCollatz =Nvs Sδ= 2N Esta reducción no es meramente cuantitativa, sino que elimina la alternancia obligatoria entre pares e impares que caracteriza a Collatz. En Collatz, cada número impar fuerza una multiplicación por 3 seguida de división por 2, creando un patrón complejo de crecimientodecrecimiento. En δ, al proyectar sobre pares, este comportamiento se promedia en una única operación. 8.7.2. Unificación del comportamiento modular En Collatz, el comportamiento depende de la paridad (mod 2), lo que requiere analizar dos reglas distintas. En δ, todo número par puede clasificarse según nm´od 4: Collatz: Reglas según nm´od 2 (par/impar) δ: Reglas según nm´od 4 (clase 0 o clase 2) Crucialmente, esta clasificación mod 4 permite aplicar herramientas de valuación 2-ádica de forma directa. El Lema 4.3 explota precisamente esta estructura: los números n≡0 (m´od 4) tienen v2(n)≥2, y cada iteración reduce esta valuación de forma predecible hasta alcanzar v2= 1, momento en el cual n≡2 (m´od 4). 19 8.7.3. Control del crecimiento En Collatz, un número impar nse convierte en 3n+ 1, experimentando un crecimiento de factor 3. Tras la división por 2, el factor neto es 1.5. Sin embargo, la secuencia de crecimientos antes de decrecer puede ser larga e impredecible. En δ, el crecimiento máximo está controlado: n≡0 (m´od 4) =⇒δ(n) = 3n 2= 1,5n Este factor 1.5 aparece de forma directa, no como resultado de una cadena impar→par. Más importante aún, el Lema 4.4 demuestra que cada bloque con v2(n) = 2 produce una contracción: δ2(n) = 3n 4+ 1 < n para n≥4 Esta contracción inevitable cada dos pasos cuando v2= 2 no tiene análogo directo en Collatz, donde las contracciones están dispersas entre los términos impares intermedios. 8.7.4. Eliminación de ciclos complejos En Collatz, se conjetura que el único ciclo es 4→2→1→4, pero esta conjetura permanece abierta. La presencia de términos impares hace posible (en principio) la existencia de ciclos complejos que involucren tanto pares como impares. En δ, al eliminar los impares, solo pueden existir ciclos de números pares. El Teorema 4.5 demuestra que {4,6}(o equivalentemente {4,2}según la variante) es el único ciclo posible. Esta unicidad se prueba mediante descenso: cualquier otro ciclo hipotético violaría el Lema 4.4. 8.7.5. Técnicas de demostración aplicables La proyección sobre números pares habilita técnicas que son difíciles o imposibles de aplicar directamente a Collatz: 1. Análisis de valuación 2-ádica: La función v2(n)tiene un comportamiento monótono decreciente en la rama n≡0 (m´od 4) de δ(Lema 4.3). En Collatz, los términos impares interrumpen esta monotonía. 2. Descenso controlado: El Lema 4.4 establece puntos de descenso garantizados cada dos pasos cuando v2= 2. En Collatz, el descenso depende de la longitud de las cadenas de impares, que es variable e impredecible. 3. Análisis modular refinado: Trabajar mod 4 (en lugar de mod 2) proporciona información estructural sobre la divisibilidad por potencias de 2, esencial para los argumentos de valuación. 20 4. Inducción en regiones: La demostración del Teorema 4.5 (Caso 3) utiliza una subsucesión {nk}con v2(nk)=2que es estrictamente decreciente. Esta subsucesión es extraíble precisamente porque δpreserva paridad, algo imposible en Collatz donde los términos impares no forman una subsucesión bien definida. 8.7.6. Síntesis La proyección sobre números pares transforma un problema con dos reglas asimétricas (Collatz) en un problema con comportamiento modular uniforme (δ). Esta transformación: Preserva la estructura esencial de convergencia Elimina la complejidad combinatoria de alternancia par-impar Habilita técnicas algebraicas (valuación 2-ádica, análisis mod 4) Proporciona puntos de contracción garantizados (Lema 4.4) Aunque la convergencia de δno implica directamente la convergencia de Collatz, las técnicas desarrolladas aquí—especialmente el uso combinado de análisis modular y valuación 2-ádica—sugieren estrategias potencialmente aplicables a funciones iterativas más generales. 8.7.7. Límites de la proyección Es fundamental aclarar que la convergencia demostrada de δno implica la convergencia de Collatz. Sin embargo, el Teorema 8.2 (demostrado en la Sección 7) establece que ninguna cadena impar puede ser infinita. Esto reduce significativamente la distancia entre ambos problemas: Pérdida de información acotada: Al eliminar los términos impares, la proyección δ pierde información sobre: La longitud específica de cada cadena impar (que es finita por Teorema 8.2) La magnitud del crecimiento en cada cadena (que es acotada por Proposición 8.3) Pero NO se pierde información sobre: La finitud de las cadenas (demostrada en Teorema 8.2) El hecho de que cada cadena termina en un par con v2≥2(Proposición 8.1) La acotación del crecimiento total (Corolario 8.4) Gap reducido: Gracias al Teorema 8.2, el problema restante en Collatz no es la posibilidad de crecimiento indefinido (ahora descartada), sino demostrar que el balance cuantitativo entre: 21 Crecimientos finitos acotados en cadenas impares finitas Decrecimientos por divisiones por 2k favorece globalmente el descenso. La proyección δcaptura el comportamiento global sin capturar la estructura fina temporal, pero la finitud demostrada de las cadenas impares garantiza que no hay crecimiento indefinido. ¿Qué aporta entonces este trabajo? Aunque no resuelve Collatz, proporciona: 1. Eliminación del peor escenario: El Teorema 8.2 descarta cadenas impares infinitas con crecimiento indefinido. 2. Insights estructurales: Las técnicas (valuación 2-ádica, análisis modular, subsucesiones) son herramientas adaptables. 3. Caso de estudio: Demuestra que ciertas clases de funciones iterativas sí son demostrables con herramientas elementales. 4. Framework metodológico: La Conjetura de levantamiento multi-modular sugiere un camino general para funciones iterativas. 9. Análisis Cuantitativo del Tiempo de Convergencia Definición 9.1. Para n≥4par, definimos el tiempo de convergencia como τ(n) = m´ın{t≥0 : δt(n)∈ {4,2}} Teorema 9.1 (Cota superior para τ(n)).Para todo número par n≥4, el tiempo de convergencia satisface τ(n)≤v2(n)−1 + log2n 2v2(n)+C donde Ces una constante universal y v2(n)es la valuación 2-ádica de n. Esbozo de demostración. La demostración se divide en dos fases: Fase 1: Escape de n≡0 (m´od 4) Por el Lema 4.3, si v2(n) = a≥2, entonces después de exactamente a−1iteraciones se alcanza un número n′con v2(n′)=1, es decir, n′≡2 (m´od 4). Durante estas a−1iteraciones, el valor crece como máximo: m´ax 0≤k<a−1δk(n)≤3 2a−1 ·n Tiempo de esta fase: T1=v2(n)−1. 22 Fase 2: Descenso desde n≡2 (m´od 4) Una vez en la clase 2 mod 4, por el Lema 4.1, cada iteración que permanece en esta clase reduce el valor: δ(n) = n 2+ 1 < n Cuando la órbita retorna a 0 mod 4, el Lema 4.4 garantiza que después de dos pasos (pasando por v2= 2) hay una contracción: δ2(4m) = 3m+ 1 <4mpara m≥2 Consideremos la subsucesión {nk}de valores con v2(nk) = 2. Por el Lema 4.4, esta es estrictamente decreciente: nk+1 <3 4nk+ 1 <3 4nk+nk 4=nk(para nk≥8) El número de términos en esta subsucesión está acotado por: K≤log4/3(n′) = ln(n′) ln(4/3) ≈3,48ln(n′) Cada término de la subsucesión requiere a lo sumo v2(nk)−1≤log2(nk)pasos para alcanzar el siguiente. Tiempo de esta fase: T2≤C·log2(n′)para alguna constante C. Conclusión: τ(n) = T1+T2≤(v2(n)−1) + C·log2n 2v2(n) Corolario 9.2. El tiempo de convergencia es τ(n)=O(log n). Demostración. Como v2(n)≤log2(n)yn 2v2(n)≤n, tenemos τ(n)≤log2(n)+Clog2(n) = (1 + C)log2(n) = O(log n) 9.1. Verificación computacional Se calculó τ(n)para todos los números pares n≤106. Los resultados confirman la cota logarítmica: Rango τm´ax n crítico τ/ log2(n) [4,102]15 96 2.27 [4,103]24 972 2.42 [4,104]34 9232 2.58 [4,105]43 93232 2.64 [4,106]52 932320 2.63 23 Observaciones: El ratio τ(n)/log2(n)se estabiliza alrededor de 2.6 Los números con τmáximo tienden a tener forma n= 2a·mcon mimpar y v2(n) pequeño La cota teórica es consistente con los datos empíricos 10. Generalización: Familia Paramétrica 10.1. Definición de la familia Definición 10.1. Para parámetros racionales α, β > 0, definimos la familia δα,β(n) =    αn si αn ∈2N αn −βn + 1 si αn /∈2N para n∈2N. Nuestra función corresponde a δ3/2,1. 10.2. Condiciones para convergencia demostrable Teorema 10.1 (Criterio de convergencia).Sea δα,β con α=p qen forma reducida, q= 2k para algún k≥1. Si se satisfacen: 1. 1<α<2(crecimiento controlado) 2. 0< β ≤1(corrección acotada) 3. La operación αn −βn + 1 produce números pares 4. Existe un bloque con contracción garantizada análogo al Lema 4.4 entonces δα,β converge a un ciclo finito. Esbozo. La demostración sigue la estructura del Teorema 4.5: Paso 1: La condición (1) garantiza que el crecimiento es menor que duplicación, lo cual permite que el descenso de v2eventualmente domine. Paso 2: La condición (3) asegura que la función preserva paridad, manteniendo δα,β : 2N→2N. Paso 3: La condición (4) es crucial. Se debe verificar que existe una clase módulo 2k donde un número finito de iteraciones produce contracción estricta. Para α= 3/2,β= 1, verificamos: 24 Crecimiento: 3n 2<2n✓ Contracción en bloque: Para v2(n) = 2, tenemos δ2(n) = 3n 4+ 1 < n ✓ 10.3. Ejemplos de la familia Ejemplo 10.1 (α= 5/4,β= 1/2). δ5/4,1/2(n) =    5n 4si 5n 4es par 3n 4+ 1 si 5n 4es impar Esta función tiene factor de crecimiento 1.25 (menor que nuestra función) y se espera convergencia más rápida. Ejemplo 10.2 (α= 7/4,β= 1). δ7/4,1(n) =    7n 4si 7n 4es par 3n 4+ 1 si 7n 4es impar Factor de crecimiento 1.75. La convergencia requiere verificación más cuidadosa del Lema 4.4 análogo. 10.4. Región de convergencia demostrable En el plano (α, β), podemos identificar una región donde las técnicas de este trabajo garantizan convergencia: Proposición 10.2. Para α∈(1,2) con α=p 2kyβ∈(0,1], si 3α 4<1 entonces la contracción en bloques con v2= 2 está garantizada y la función converge. Demostración. La condición 3α 4<1implica α < 4 3. Para bloques con v2(n) = 2: δ2(n)≈3αn 4< n garantizando la contracción análoga al Lema 4.4. Región demostrable:α∈(1,4 3),β∈(0,1] Región conjeturable:α∈[4 3,2),β∈(0,1] (requiere análisis caso por caso) 25 12.8. Comparación con Collatz módulo 9 Es instructivo comparar el comportamiento de δy Collatz en Z/9Z: Aspecto Collatz mod 9 δmod 9 Número de ciclos 2-3 (conjeturado) 2-3 (demostrado) Período máximo 3 2 Puntos fijos {0} {0} Convergencia demostrada No Sí Observación clave: Mientras que la convergencia modular de Collatz no implica convergencia en N(problema abierto), para δhemos demostrado que la convergencia modular es consistente con la convergencia real (Teorema 4.5). 12.9. Conjetura de levantamiento Los resultados anteriores sugieren una conjetura más general: Conjetura 12.10 (Levantamiento multi-modular).Sea f: 2N→2Nuna función que satisface: 1. Convergencia en Z/2kZpara algún k≥3 2. Convergencia en Z/mZpara algún mimpar, gcd(2k, m) = 1 3. Existe una función de valuación v:N→Ntal que v(ft(n)) →0implica ft(n) acotado Entonces fconverge en Na un conjunto finito. Esta conjetura, de ser cierta, proporcionaría un framework unificado para estudiar funciones iterativas como δ, Collatz, y otras variantes. 13. Conclusiones y Trabajo Futuro 13.1. Resumen de resultados Hemos presentado y demostrado completamente la convergencia de una función δ: 2N→2Nque genera secuencias convergentes al ciclo {2,4}. Los resultados principales incluyen: 1. Convergencia global (Teorema 4.5): Toda órbita converge al ciclo atractor. 2. Cotas de convergencia (Teorema 9.1): El tiempo de convergencia es τ(n) = O(log n). 32 3. Familia paramétrica (Teorema 10.1): Identificación de condiciones suficientes para convergencia en una familia generalizada. 4. Análisis modular: Convergencia demostrada en múltiples módulos (4, 8, 9, 72). 5. Relación con Collatz (Proposición ??): La función δproyecta exactamente la subsecuencia de términos pares de Collatz. 13.2. Aportación principal: Cadenas impares finitas Uno de los resultados más significativos de este trabajo es la demostración de que las cadenas impares en la conjetura de Collatz son necesariamente finitas (Teorema 8.2). Para detalles completos, ver Sección 7. Las implicaciones principales son: 1. Descarta el peor escenario: No puede existir crecimiento indefinido mediante cadenas impares infinitas (requeriría 2∞·m, imposible). 2. Caracterización estructural: Los impares 4n+ 3 continúan la cadena (v2= 1), los impares 4n+ 1 la terminan (v2≥2). Dicotomía determinista (Proposición 8.1). 3. Acotación del crecimiento:Si3n0+ 1 = 2a·m, la cadena contiene a lo sumo a términos impares. Crecimiento total acotado por (3/2)a·n0(Proposición 8.3). 4. Reformulación de Collatz: La conjetura se reduce a demostrar que el balance entre crecimientos finitos acotados (en cadenas impares) y decrecimientos (divisiones por 2k) favorece globalmente el descenso. Ya no es un problema de existencia de trayectorias infinitas divergentes, sino de balance cuantitativo entre operaciones finitas. 5. Conexión con δ: La convergencia demostrada de δ(proyección sobre pares) combinada con la finitud de cadenas impares (Teorema 8.2) sugiere que el gap entre ambos problemas es estrecho. Lo que δpierde al eliminar impares es solo información temporal acotada, no información sobre convergencia global. Perspectiva histórica: Aunque la conjetura de Collatz permanece abierta desde 1937, este trabajo proporciona dos avances complementarios: Una función relacionada (δ) con convergencia demostrable Una caracterización de la estructura de cadenas impares (Teorema 8.2) que elimina escenarios divergentes Ambos resultados, junto con las técnicas desarrolladas (valuación 2-ádica, análisis modular, subsucesiones), constituyen herramientas potencialmente aplicables al problema completo de Collatz. 33 13.3. Técnicas desarrolladas Las herramientas matemáticas empleadas en este trabajo son de interés independiente: Análisis por valuación 2-ádica: El uso sistemático de v2(n)para controlar el descenso Lemas 4.3 y4.4 proporciona una técnica robusta para estudiar funciones que combinan operaciones multiplicativas y divisiones por potencias de 2. Clasificación modular refinada: El análisis según nm´od 4 (Proposición 2.2) permite unificar el comportamiento de la función, evitando la complejidad de alternar entre múltiples reglas asimétricas. Descenso por subsucesiones: La técnica de extraer una subsucesión {nk}con propiedad específica (v2(nk) = 2) y demostrar su decrecimiento estricto es generalizable a otras funciones iterativas. Convergencia multi-modular: El análisis simultáneo en módulos coprimos (Teorema 12.6) sugiere estrategias para verificar convergencia desde múltiples perspectivas independientes. 13.4. Problemas abiertos Varios problemas naturales emergen de este trabajo: 1. Balance cuantitativo en Collatz: Dado el Teorema 8.2 que garantiza finitud de cadenas impares, el problema restante en Collatz es demostrar que X cadenas (crecimiento acotado)<X divisiones (decrecimiento) ¿Es posible establecer cotas cuantitativas sobre este balance usando técnicas similares a las desarrolladas para δ? 2. Mejora de cotas: ¿Es posible mejorar la constante Cen el Teorema 9.1? Los datos empíricos sugieren que C≈2,6es alcanzable. 3. Tiempo promedio: ¿Cuál es el tiempo promedio de convergencia E[τ(n)] para n≤N? Se conjetura que es O(log N). 4. Distribución de τ: ¿Cuál es la distribución asintótica de τ(n)? ¿Existe una función de distribución límite? 5. Caracterización completa de la familia: ¿Para qué valores exactos de (α, β) converge δα,β? El Teorema 10.1 proporciona condiciones suficientes, pero ¿son también necesarias? 6. Generalización a otras bases: ¿Es posible definir funciones análogas trabajando con números divisibles por b>2que admitan demostraciones similares? 7. Conjetura de levantamiento: ¿Es válida la Conjetura de levantamiento multimodular (11.9)? De serlo, proporcionaría un criterio general para demostrar convergencia de funciones iterativas. 34 8. Aplicabilidad a Collatz: ¿Las técnicas desarrolladas aquí pueden adaptarse para abordar la conjetura de Collatz? En particular, ¿es posible encontrar una función de valuación análoga que controle el crecimiento en presencia de términos impares? 13.5. Direcciones futuras 13.5.1. Análisis estocástico Considerar δcomo un proceso aleatorio donde la clase módulo 4 determina probabilísticamente la transición podría proporcionar insights sobre el comportamiento promedio y la distribución de τ(n). 13.5.2. Generalización a grafos La estructura de árbol del grafo inverso (Sección 10) sugiere estudiar propiedades combinatorias: número de preimágenes a distancia kdel ciclo, densidad de números con τ(n) = k, etc. 13.5.3. Implementación computacional Desarrollar algoritmos optimizados para: Calcular τ(n)eficientemente para rangos grandes Visualizar grafos de órbitas Explorar la familia paramétrica δα,β numéricamente 13.5.4. Conexiones con otros problemas Investigar relaciones con: La conjetura de Siracusa (equivalente a Collatz) Problemas de 3n+kpara diversos k Funciones iterativas en teoría ergódica Sistemas dinámicos simbólicos 13.6. Relevancia del trabajo Este trabajo demuestra que funciones iterativas no triviales con comportamiento mixto (expansión/contracción) pueden admitir demostraciones completas de convergencia mediante técnicas elementales. La combinación de: 35 Análisis modular (mod 4, mod 8, mod 9) Valuación p-ádica (específicamente 2-ádica) Descenso infinito y subsucesiones Teoría de grafos (árbol inverso) proporciona un repertorio de herramientas aplicables a problemas relacionados. La función δsirve como caso de estudio donde estas técnicas convergen exitosamente, sugiriendo caminos para abordar problemas abiertos más difíciles. 13.7. Observación final La simplicidad de la definición de δcontrasta con la riqueza de su comportamiento dinámico y la profundidad del análisis necesario para demostrar convergencia. Este fenómeno—funciones simples con dinámicas complejas—es característico de muchos problemas fundamentales en matemáticas. El éxito en demostrar convergencia para δno resuelve problemas abiertos como Collatz, pero proporciona evidencia de que las herramientas desarrolladas aquí son pasos en la dirección correcta. Referencias [1] L. Collatz, On the origin of the (3n+ 1) problem, Journal of Qufu Normal University, 1986. [2] J. C. Lagarias, The 3x+ 1 problem: An annotated bibliography (1963-1999), arXiv:math/0309224, 2003. [3] R. Terras, A stopping time problem on the positive integers, Acta Arithmetica 30 (1976), 241-252. [4] G. J. Wirsching, The Dynamical System Generated by the 3n+ 1 Function, Lecture Notes in Mathematics 1681, Springer-Verlag, 1998. [5] I. Krasikov, J. C. Lagarias, Bounds for the 3x+1 problem using difference inequalities, Acta Arithmetica 109 (2003), 237-258. [6] T. Tao, Almost all orbits of the Collatz map attain almost bounded values, arXiv:1909.03562, 2019. [7] R. L. Devaney, An Introduction to Chaotic Dynamical Systems, Westview Press, 2003. [8] J. H. Silverman, The Arithmetic of Dynamical Systems, Graduate Texts in Mathematics 241, Springer, 2007. 36