Preprint
Article

This version is not peer-reviewed.

The Collatz Conjecture “The Non-Existence of Divergent Orbits Through an Analysis of the Codification of Linear Diophantine Dynamical Systems”

Submitted:

02 January 2025

Posted:

06 January 2025

You are already at the latest version

Abstract
We define the function $Col: \mathbb{N} \to \mathbb{N}$ as the Collatz function, given by $3n + 1$ if $n$ is odd and $\displaystyle\frac{n}{2}$ if $n$ is even. The conjecture postulates that for any positive integer, at some point, its iteration will reach 1, or equivalently, every orbit will fall into the periodic cycle $\{4, 2, 1\}$. Two conditions would invalidate the conjecture: The existence of a divergent orbit or the presence of another cycle. We can study the dynamics of the orbits through the density of even terms in their orbit. If all points' accumulation density exceeds the value of $\displaystyle\frac{\ln(3)}{\ln(2)}$ then the orbit is bounded. The main result of this work is to show that there are no natural numbers such that the accumulation points of the pair density are less than $\displaystyle\frac{\ln(3)}{\ln(2)}$. In other words, there are no divergent orbits.
Keywords: 
;  
Preprints 144896 i001
Preprints 144896 i002

1. Background

A metric space is a set X equipped with a function d : X × X R , called a metric, that satisfies the following properties for all x , y , z X :
  • Non-negativity:  d ( x , y ) 0 , and d ( x , y ) = 0 if and only if x = y .
  • Symmetry:  d ( x , y ) = d ( y , x ) .
  • Triangle inequality:  d ( x , z ) d ( x , y ) + d ( y , z ) .
The function d ( x , y ) measures the “distance” between any two points x and y in the set X. The pair ( X , d ) is called a metric space.
Examples of Metrics:
  • Euclidean Metric (on R n ):
    d ( x , y ) = i = 1 n ( x i y i ) 2
    This metric defines the usual distance between two points x = ( x 1 , x 2 , , x n ) and y = ( y 1 , y 2 , , y n ) in Euclidean space R n .
  • Discrete Metric:
    d ( x , y ) = 0 if x = y , 1 if x y .
    In this metric, the distance between two distinct points is always 1, and the distance from any point to itself is 0.
  • Taxicab Metric (or Manhattan Metric, on R n ):
    d ( x , y ) = i = 1 n | x i y i |
    This metric measures the distance between two points x and y as the sum of the absolute differences of their coordinates. It corresponds to the distance a taxi would drive on a grid of city streets.
  • p-adic Metric (on Q ):
    d p ( x , y ) = p o r d p ( x y )
    Here, p is a fixed prime number, and o r d p ( x y ) denotes the p-adic valuation of x y , which
    o r d p ( x ) = the highest power p which divides x if x Z o r d p ( a ) o r d p ( b ) if x = a b Q
    This metric measures the distance between two rational numbers based on their divisibility by p. The p-adic metric induces a non-Archimedean topology, meaning that the “triangle inequality” is strengthened to d p ( x , z ) max { d p ( x , y ) , d p ( y , z ) } .
A complete metric space is a metric space in which every Cauchy sequence converges to a point within the space. Formally, a metric space ( X , d ) is called complete if, for every sequence { x n } X that is Cauchy (i.e., for any ε > 0 , there exists N N such that for all n , m N , d ( x n , x m ) < ε ), there exists a point x X such that:
lim n x n = x .
In other words, all Cauchy sequences in X must have a limit in X.
Examples:
  • The Real Numbers R with the Euclidean Metric: The set of real numbers R with the usual Euclidean metric d ( x , y ) = | x y | is a complete metric space. This is because every Cauchy sequence of real numbers converges to a real number.
  • The Rational Numbers Q with the Euclidean Metric: The set of rational numbers Q with the Euclidean metric is not complete. For example, the sequence defined by x 0 = 1 and x n + 1 = x n + 2 x n 2 that approximate 2 is Cauchy in Q but does not converge to a rational number (since 2 Q ).
  • The p-adic Numbers Q p : The set of p-adic numbers Q p , equipped with the p-adic metric d p ( x , y ) = x y 2 = p o r d p ( x y ) , is a complete metric space. Every Cauchy sequence in Q p converges to a p-adic number within Q p .

Limit Superior (lim sup) and Limit Inferior (lim inf) of a Sequence:

Given a sequence { x n } n N of real numbers and X n = { x n , x n + 1 , } . Let us consider the following subsequences of { x n } n N given by
a n = inf X n b n = sup X n
we have that the sequence { a n } is monotonically increasing and { b n } is monotonically decreasing, that is:
a 1 a 2 a n b n b 2 b 1
Therefore there are limits
a = lim n a n = sup n a n = sup n ( inf X n ) b = lim n b n = inf n b n = inf n ( sup X n )
We will write a = lim inf n x n and b = lim sup n x n and we will call Limit Inferior and Limit Superior respectively.
Limit Superior (lim sup) and Limit Inferior (lim inf) of a Sequence of Sets: Let { A n } n = 1 be a sequence of sets in a space X. The limit superior and limit inferior of the sequence of sets are defined as follows:
  • Set Sequence limit superior ( lim sup n A n ):
    lim sup n A n = n = 1 m = n A m
  • Set Sequence limit inferior ( lim inf n A n ):
    lim inf n A n = n = 1 m = n A m
  • Limit of a Sequence of Sets If lim sup n A n = lim inf n A n , then the sequence { A n } converges, and its limit is denoted as:
    lim n A n = lim inf n A n = lim sup n A n
    Particular Case: Monotone Sequences of Sets Non-Decreasing Sequence ( A 1 A 2 A 3 ): If A n is a non-decreasing sequence (i.e., A n A n + 1 for all n), then:
    lim inf n A n = lim sup n A n = n = 1 A n
    In this case, the limit of the sequence is simply the union of all the sets in the sequence. Non-Increasing Sequence ( A 1 A 2 A 3 ): If A n is a non-increasing sequence (i.e., A n A n + 1 for all n), then:
    lim inf n A n = lim sup n A n = n = 1 A n
    In this case, the limit of the sequence is simply the intersection of all the sets in the sequence.
A discrete dynamical system is a model of the evolution of a state over discrete time steps. Formally, it consists of a set X (called the state space) and a function f : X X that describes how the state evolves from one time step to the next. The system is described by the equation:
x n + 1 = f ( x n )
where x n X represents the state of the system at the n-th time step. The evolution of the system is typically studied by iterating the function, f starting from an initial state x 0 . The sequence { x n } , where x n + 1 = f ( x n ) , is called the orbit or trajectory of the initial state x 0 .
Topologically Conjugate Dynamical Systems: Two discrete dynamical systems ( X , f ) and ( Y , g ) are said to be topologically conjugate if there exists a homeomorphism h : X Y such that the following diagram commutes:
Preprints 144896 i004
In other words, the systems ( X , f ) and ( Y , g ) are topologically conjugate if there is a bijective function h : X Y such that:
  • h is a homeomorphism, meaning h is continuous, bijective, and its inverse h 1 is also continuous.
  • The following relation holds:
    h f = g h .
This means that the dynamics of f on X and g on Y are the same up to a change of coordinates given by h. The systems ( X , f ) and ( Y , g ) have the same qualitative behavior, such as the structure of orbits and periodic points, despite potentially differing in their specific representations.
Properties of Topological Conjugation with Respect to Orbits and Periodic Points:
  • Preservation of Orbits: If f : X X and g : Y Y are two topologically conjugate dynamical systems, with a homeomorphism h : X Y such that h f = g h , then h preserves the orbits of points. Specifically, for any point x X , the orbit of x under f is mapped to the orbit of h ( x ) under g by h. Mathematically, this means:
    h ( f n ( x ) ) = g n ( h ( x ) ) for all n 0 .
  • Preservation of Periodic Points: If x X is a periodic point of f with period p, then h ( x ) Y is a periodic point of g with the same period p. Specifically, if f p ( x ) = x , then:
    g p ( h ( x ) ) = h ( f p ( x ) ) = h ( x ) .
    Conversely, if y Y is a periodic point of g with period p, then h 1 ( y ) X is a periodic point of f with the same period p.

2. Collatz’s Conjecture

The Collatz conjecture, also known as the 3 n + 1 conjecture, is an unsolved problem in number theory proposed by the German mathematician Lothar Collatz in 1937. Despite its seemingly simple formulation, it has challenged mathematicians for decades due to the difficulty of proving its validity or finding a counterexample. The formal formulation of Collatz’s Conjecture is as follows:
Let C o l : N N , defined by:
C o l ( n ) = 3 n + 1 if n odd n 2 if n even ,
Preprints 144896 i003
then, for all n N exist k N such that:
C o l k ( n ) = 1 .
An equivalent formulation of the conjecture argues that starting from any positive integer, one will eventually reach cycles { 4 , 2 , 1 } . Two cases that could invalidate the Conjecture are that there is a cycle different from { 4 , 2 , 1 } or that there is some divergent orbit. To date no evidence has been found for any of these options, however no demonstration has been presented that completely rules out these cases. In 2019 Terense Tao [15] presented a demonstration that almost every orbit falls in the cycle { 4 , 2 , 1 } .
Example 1. 
27 82 41 124 62 31 94 47 142 71 214 107 322 161 484 242 121 364 182 91 274 137 412 206 103 310 155 466 233 700 350 175 526 263 790 395 1186 593 1780 890 445 1336 668 334 167 502 251 754 377 1132 566 283 850 425 1276 638 319 958 479 1438 719 2158 1079 3238 1619 4858 2429 7288 3644 1822 911 2734 1367 4102 2051 6154 3077 9232 4616 2308 1154 577 1732 866 433 1300 650 325 976 488 244 122 61 184 92 46 23 70 35 106 53 160 80 40 20 10 5 16 8 4 2 1
Example 2. 
871 2614 1307 3922 1961 5884 2942 1471 4414 2207 6622 3311 9934 4967 14902 7451 22354 11177 33532 16766 8383 25150 12575 37726 18863 56590 28295 84886 42443 127330 63665 190996 95498 47749 143248 71624 35812 17906 8953 26860 13430 6715 20146 10073 30220 15110 7555 22666 11333 34000 17000 8500 4250 2125 6376 3188 1594 797 2392 1196 598 299 898 449 1348 674 337 1012 506 253 760 380 190 95 286 143 430 215 646 323 970 485 1456 728 364 182 91 274 137 412 206 103 310 155 466 233 700 350 175 526 263 790 395 1186 593 1780 890 445 1336 668 334 167 502 251 754 377 1132 566 283 850 425 1276 638 319 958 479 1438 719 2158 1079 3238 1619 4858 2429 7288 3644 1822 911 2734 1367 4102 2051 6154 3077 9232 4616 2308 1154 577 1732 866 433 1300 650 325 976 488 244 122 61 184 92 46 23 70 35 106 53 160 80 40 20 10 5 16 8 4 2 1

2.1. Main Idea of This Work

To each natural number, we can associate a unique binary sequence ξ that represents the parity of iterations through the Collatz function. The sequence is defined as 0 if the number is even and 10 if the number is odd. We define the density function a k + 1 k , where a k is the number of 0’s up to the k-th 1. These sequences can be classified into various sets depending on the behavior of the density function. However, we focus on three particular sets:
  • G 0 : the set of sequences ξ such that lim inf k a k + 1 k > ln ( 3 ) ln ( 2 ) ,
  • G : the set of sequences ξ such that lim sup k a k + 1 k < ln ( 3 ) ln ( 2 ) ,
  • G 1 : the set of sequences ξ such that lim k a k + 1 k = ln ( 3 ) ln ( 2 ) .
We have the following results on these sets
(1)
There is no n N such that its encoding belongs to G G 1 .
(2)
If the coding of n N belongs to G 0 , then its orbit is bounded.
(3)
If n N is a periodic point, then its coding belongs to G 0 .
We will use these results to demonstrate the main result of this work Divergent Orbits Theorem:
Theorem 10:There are no divergent orbits for the Collatz function on natural numbers.
The idea of the proof is as follows: Suppose there exists an n whose orbit is divergent. Then necessarily, its encoding cannot belong to G 0 . This means there must exist a subsequence of the density function such that its limit is less than ln ( 3 ) ln ( 2 ) . Moreover, the density function of ξ cannot have accumulation points greater than ln ( 3 ) ln ( 2 ) , because otherwise, there would exist a sub-orbit of n that is bounded. This is a consequence of the Corollary 7 where we obtain an upper bound for the sub-orbit of n. Since the set of possible values of the subsequence is finite, the subsequence must be periodic, causing the entire sequence to collapse into a periodic orbit. This would imply that the encoding belongs to G 0 , which would mean the orbit is bounded a contradiction. Thus, all accumulation points of the density function must be less than ln ( 3 ) ln ( 2 ) . In other words, lim sup a k + 1 k ln ( 3 ) ln ( 2 ) . Hence, the encoding of n belongs to G G 1 .
We now provide a brief demonstration of points 1, 2, and 3.
We use the following symbology to refer to an arbitrary composition of functions:
i = 1 n f i ( x ) = f n f n 1 f 2 f 1 .
Let θ , ψ : R R be real functions defined by
θ ( x ) = x 2 and ψ ( x ) = 3 x + 1 2 .
Define the set θ , ψ as:
S : R R ; S ( x ) = i = 1 k s i ( x ) , s i ( x ) = θ ( x ) or ψ ( x ) for i 1 , s 0 = id .
We call k the length of S. This composition is unique for each element in θ , ψ (Proposition 3). Let S θ , ψ we define the integer set of S as
E ( S ) = { n Z , S ( n ) Z }
This set is monotonically decreasing with respect to the composition of functions (Proposition 1). Let S , H θ , ψ then
E ( H S ) E ( S )
For any S θ , ψ defines the minimum positive integer value of S
ρ 0 ( S ) = min { E ( S ) N }
Let { S k } k N θ , ψ be a sequence of functions given by S k ( x ) = j = 1 k s j ( x ) . Since the entire set is a mononally decreasing set with respect to the composition of functions in θ , ψ . We have that the minimum positive integer value is a monotonically increasing function, so
lim k ρ 0 ( S k ) = or lim k ρ 0 ( S k ) = ρ 0 ( S k 0 ) for any k 0 N
We will say that the sequence S k ( x ) = j = 1 k s j ( x ) is positively stable if lim k ρ 0 ( S k ) = ρ 0 ( S k 0 ) for any k 0 N . Let S θ , ψ with length k. We define the following application C o d : θ , ψ { 0 , 10 } k defined by
C o d j = 1 k s j ( x ) = { ξ j } j = 1 k with s j { θ , ψ }
with
ξ j = 0 if s j ( x ) is θ ( x ) 10 if s j ( x ) is ψ ( x )
Theorem 8:Let { S k } k = 1 θ , ψ with S k ( x ) = j = 1 k s j ( x ) such that C o d j = 1 s j ( x ) G , then S k ( x ) is positively unstable.
Now there is a relationship between the stability of the sequence S k ( x ) and the existence of numbers with a given coding
Proposition 11:Let p Z and S ( x ) θ , ψ of length k, then
p E ( S ) if and only if C o d k ( p ) = C o d ( S )
Then suppose that there exists a natural number n whose coding is in G and let be { S k } k N θ , ψ such that C o d ( S k ) = C o d k ( n ) , then by Proposition 11 we have n E ( S k ) for all k N , exist k 0 N such that ρ 0 ( S k ) = n for all k k 0 , then { S k } k N is positively stable, which contradicts the Theorem 8. Therefore not exist n N such that C o d ( n ) G . When we extend the Collatz function on rational numbers Definition 7 we have to given an coding ξ Σ 2 * , if there exists a rational whose coding is ξ , then it is unique. On the other hand, by the Theorem 7, we have that if this rational exists, it must be negative. Therefore n N cannot exist such that its coding is in G
Now we are going to show that there is no n N such that its coding is in G 1 . To prove this we are going to extend the Collatz function on the dyadic integers Z 2 , initiated by Lagarias [9] (1985), defines (Definition 19) the following extension of the Collatz function on Z 2 : Let C o l : Z 2 Z 2 be given by
C o l ( β ) = 3 β + 1 2 if β mod 2 = 1 , β 2 if β mod 2 = 0 .
It has been shown (see Mathews and Watts [10](1984) and Müller [11] (1991)) that the extended C o l is surjective, not injective, infinitely many times differentiable, not analytic, measure-preserving with respect to the Haar measure, and strongly mixing. Similar results concerning iterates of C o l may be found in Lagarias [9](1985), Müller [11] (1991), [12] (1994) and Terras [14] (1976). Defining the shift map σ 1 : Z 2 Z 2 as
σ 1 ( x ) = x 1 2 if x 1 ( mod 2 ) , x 2 if x 0 ( mod 2 ) ,
Lagarias [9](1985) proved that C o l is conjugate to σ 1 via the parity vector map Φ 1 : Z 2 Z 2 defined by
Φ 1 ( x ) = k = 0 2 k T k ( x ) mod 2 ,
that is, Φ T Φ 1 = σ 1 . Bernstein [3](1994) gives an explicit formula for the inverse conjugacy Φ , namely
Φ ( 2 d 0 + 2 d 1 + 2 d 2 + ) = 1 3 2 d 0 1 9 2 d 1 1 27 2 d 2
See [6] page 57. In the notations that we will use in this work, we will denote the Bernstein function Φ by π 1 and its inverse by C o d . We will use Σ 2 * instead of Z 2 as the domain of the Bernstein function. As a consequence, we have that the periodic points of the Collatz function form a dense set. In particular, the periodic points of G 0 and G are dense and admit rational representation Proposition 34. We will use these results to show that, in fact, the elements of G 1 are positive and negative unstable (Theorem 6). Then we have that there is no natural number whose encodings are in G 1 G .
The second point we have:
Theorem 9:Let n N such that C o d ( n ) G 0 then the orbit of n is bounded.
In the Definition 20 the functions π 1 and π 2 defined on Σ 2 * are introduced. Let n N be such that if the coding is in G 0 , then its orbit can be approximated through the function π 2 for relatively large values. In the Proposition 35, we have that when the coding is in G 0 then the function π 2 is upper bounded, then so is the orbit of n.
Finally in point 3, suppose that n N is a periodic point, then its coding is a periodic sequence in Σ 2 * and by Proposition 11, we have that the sequence of functions S k on θ , ψ must be of the form S k for some S θ , ψ , that is, n corresponds to the fixed point of S ( x ) . The fixed points are of the form N 2 a 3 b , where this expression we obtain that the fixed point is positive in G 0 and negative in G

2.2. Notations and Conventions

In this work, we are going to denote the set of positive integers as N , the set of non-negative integers as N 0 and the greatest common divisor of a and b as ( a , b ) and the least common multiple of a and b as [ a , b ] .
We use the following symbology to refer to an arbitrary composition of functions:
i = 1 n f i ( x ) = f n f n 1 f 2 f 1 .

3. Set Generate by θ and ψ q

In this section, we delve into functions generated by the composition of two real linear functions, θ and ψ q , focusing on their properties over integers. We define the set θ , ψ q , representing compositions of these functions, and examine their orbits and associated sets of integers. Before delving into their properties, we introduce the crucial concept of the integer set of a function. Denoted as E ( S ) , this set represents the integers generated by the orbit of the function S. We emphasize the one-to-one correspondence between functions of the same length and the partition of integers into sets based on this length. These results provide a solid foundation for a detailed understanding of the properties of these functions and their application in the study of iterative functions over rational numbers.

3.1. Summary of Propositions in the Section

  • Definition 1: Introduces the set θ , ψ q , generated by two real linear functions θ and ψ q .
  • Definition 2: Defines the integer set of a function S θ , ψ q as O S ( x ) = { x , s 1 ( x ) , , S ( x ) } , where s i are functions in the composition of S.
  • Definition 3: Defines the entire set of a function.
  • Lemma 1 Monotony of Integer Set Lemma.
  • Proposition 1: Establishes a relation of monotony in the entire sets concerning the composition of functions.
  • Lemma 2 Establishes a characterization of the integer sets.
  • Proposition 2: Establishes a one-to-one correspondence between functions of the same length and integer sets of the same length, and Affirms that the integer sets of functions of the same length are disjoint.
  • Theorem 1: Ensures that the integer sets are the disjoint union of the integer sets of functions in θ , ψ q with the same length.
  • Proposition 3: Guarantees the existence of a unique sequence of elements for a function S θ , ψ q .

3.2. Set Generate by θ and ψ q

The Generated Spaces, denoted as θ , ψ q . These spaces arise from the iterative composition of functions, where the individual contributions of θ and ψ q combine to form an enriched dynamic structure.
Definition 1 
(Set Generated by θ and ψ q ). Let q Z and θ , ψ q : R R defined by θ ( x ) = x 2 and ψ q ( x ) = 3 x + q 2 , then we define the set θ , ψ q as:
S : R R ; S ( x ) = i = 1 n s i ( x ) , s i ( x ) = θ ( x ) , ψ q ( x ) for i 1 , s 0 = i d
We will call the number n length of S.
Now let’s define the S-Orbits. These orbits are ordered sequences that reveal how each element evolves under the iterative action of the functions θ and ψ q .
Definition 2 
(S-Orbit and Integer S-Orbit). Let S ( x ) = i = 1 n s i ( x ) θ , ψ q and x R . We define the S-orbit of x 0 as the set:
O S ( x 0 ) = x 0 , s 1 ( x 0 ) , , i = 1 k s i ( x 0 ) , , S ( x 0 )
Let p N . We will say that an S-orbit of p is integer when
i = 1 k s i ( p ) N for all k n
Now let’s define The integer sets of a function, denoted by E ( S ) , represent the integer values that a specific function takes on its domain. Examining E ( S ) allows for the identification of patterns and regularities in the interaction of the function with integers, which is essential for understanding the structure of spaces generated by such functions.
Definition 3 
(Integer Set of a Function). Let S : R R a function, we called integer set of f or the integers of f the set:
E ( S ) = { n Z ; S ( n ) Z } .
In the following Proposition we are going to see that integer sets have a monotonic behavior concerning the composition of linear functions, this property will be fundamental to studying integer S-orbits.
Lemma 1 
(Monotony of Integer Set Lemma). Let A , B , a , b Z such that ( A , 2 ) = ( B , 2 ) = 1 and α , β N . Let S ( x ) = A x + a 2 α and H ( x ) = B x + b 2 β , then E ( H S ) E ( S ) .
Proof. 
In fact, we have H S ( x ) = A B x + B a + 2 α b 2 α + β Since ( A B , 2 ) = 1 there are solutions.
Let x 0 E ( H S ) then by definition A B x 0 + B a + 2 α b 2 α + β Z , then we have
A B x 0 + B a + 2 α b 2 α + β = B 2 β A x 0 + a 2 α + b 2 β Z B A x 0 + a 2 α + b Z
as ( B , 2 ) = 1 then we have
A x 0 + a 2 α Z
Proposition 1 
(Monotony of Integer Set). Let i = 1 n s i ( x ) θ , ψ q with s i { θ , ψ q } and L , M N . Then if n L M we have:
E i = 1 L s i ( x ) E i = 1 M s i ( x )
Proof. 
As the functions generated by θ , ψ q are linear of the form 3 b x + N 2 a with a , b . N N . The result follows inductively from Lemma 1. □
Example 3. 
Let S n ( x ) = θ 2 n ψ ( x ) θ , ψ . We will calculate the integer set of S n
2 2 n y 3 x = 1
we have that y = 1 and 2 n 1 3 N are solutions of the Diophantine Equation, then the integer set is:
E ( θ 2 n ψ ) = 2 n 1 3 + 2 2 n Z
Let m n then
E ( θ 2 m ψ ) E ( θ 2 n ψ )
indeed
3 2 m 1 3 + 1 2 n = 2 m n N
The following lemma states that an S orbit is integer if and only if its last value is an integer.
Lemma 2 
(Containment in Integer Sets). Let s i { θ , ψ q } , then u E i = 1 j s i ( x ) if and only if i = 1 r s i ( u ) E i = r + 1 j s i ( x ) with r j .
Proof. 
Let u E i = 1 j s i ( x ) then by proposition 1 we have u E i = 1 r s i ( x ) with r < j , then i = 1 r s i ( u ) Z . On the other hand, we have i = r + 1 j s i i = 1 r s i ( u ) Z then i = 1 r s i ( u ) E i = r + 1 j s i ( x ) .
If i = 1 r s i ( x ) E i = r + 1 j s i ( x ) with r < j then i = 1 r s i ( u ) Z so
i = r + 1 j s i i = 1 r s i ( u ) = i = 1 j s i ( u ) Z
then u E i = 1 j s i ( x ) . □
In the following proposition, We will demonstrate that the integer sets associated with functions of the same length are disjoint. That is, if two integer sets share at least one element, then the functions must be the same.
Proposition 2 
(One-to-One Correspondence and Disjointedness). Let S , H θ , ψ q of length k, if H S if and only if E ( H ) E ( S ) = .
Proof. 
Let S ( x ) = i = 1 j s i ( x ) and H ( x ) = i = 1 j h i ( x ) with s i , h i { θ ( x ) , ψ ( x ) } and let k 0 be the largest index such that s i ( x ) = h i ( x ) for all i < k 0
If k 0 = 1 This means that they have different first terms. Then E ( S ) E ( θ ) = 2 Z and E ( H ) E ( ψ q ) = 2 Z + 1 or, E ( H ) E ( θ ) = 2 Z and E ( S ) E ( ψ q ) = 2 Z + 1 in either case we have E ( H ) E ( S ) = .
Suppose that exist u E ( H ) E ( S ) by proposition 1 we have
u E i = 1 r s i ( x ) E i = 1 r h i ( x ) with r j .
Taken r = k 0
u E i = 1 k 0 s i ( x ) E i = 1 k 0 h i ( x ) .
and by lemma 2
i = 1 k 0 1 s i ( u ) = i = 1 k 0 1 h i ( u ) E s k 0 ( x ) E s k 0 ( x ) = 2 Z ( 2 Z + 1 ) =
which is a contradiction, On the other hand if E ( H ) E ( S ) = then S H otherwise we would have
E ( S ) = E ( H ) =
however, neither set can be empty □
As a consequence of the above proposition we have
Theorem 1 
(Partition of Integers). Let { S j } j N θ , ψ q with length k, then
Z = S with length k E ( S )
i.e., the sets of integers are equal to the disjoint union of the integer sets of functions S of length k
Proof. 
it is evident that
S with length k E ( S ) Z
To prove the other contention we consider the q Collatz function defined by C o l q : Z Z given by
C o l q u = 3 u + q 2 if u odd u 2 if u even ,
let’s take an integer u and calculate its k-th orbit, this orbit can be written as compositions of functions in θ , ψ q , let’s call the resulting function S since all the values of the orbit are integers, we have by the lemma 2 we can conclude that u is in the entire set of the function S.
u E ( S ) S with length k E ( S ) .
So far we know that if two functions have the same length, then their integer sets are disjoint, this means that if we take elements of each integer set, the S-orbits of these integers are disjoint sets. Now, if we remove the condition that the lengths are the same, could it be that there is some number such that, given two different functions without being a part of another, it generates the same S-orbit? The answer is in the following proposition.
Proposition 3 
(Uniqueness of Basis Representation). Let S θ , ψ q . Then there exists a unique sequence of k elements { s j } j = 1 k with s j { θ , ψ q } such that
S ( x ) = j = 1 k s j ( x )
Proof. 
Since S θ , ψ q , then there exists a sequence of k 0 elements { s j } j = 1 k 0 with s j { θ , ψ q } such that S ( x ) = j = 1 k 0 s j ( x ) . Suppose for absurdity, that there is another sequence but of l 0 elements { h j } j = 1 l 0 such that S ( x ) = j = 1 l 0 h j ( x ) . Let u E ( S ) , we have the following cases
  • If k 0 > l 0 . We have
    S ( x ) = j = 1 k 0 s j ( x ) = j = 1 l 0 h j ( x )
    u E j = 1 k 0 s j ( x ) = E j = 1 l 0 h j ( x )
    by Proposition 1 we have u E ( s 1 ) E ( h 1 ) , since s 1 , h 1 { θ , ψ q } and E ( θ ) E ( ψ q ) = then s 1 = h 1 . Since s 1 and h 1 are invertible functions, we have
    j = 2 k 0 s j ( x ) = j = 2 l 0 h j ( x ) .
    Following the same idea up to k 0 , we have
    j = k 0 l 0 s j ( x ) = x
    The latter is impossible since the slope of the resulting line is of the form 3 b 2 a with a , b N . The case k 0 > l 0 is completely analogous, therefore the case where k 0 and l 0 are different is not possible.
  • If k 0 = l 0 . Since the sequences are different, there must exist some k < k 0 such that
    j = 1 k s j ( x ) j = 1 k h j ( x )
    then by Proposition 2 we have
    E j = 1 k s j ( x ) E j = 1 k h j ( x ) =
    However, this is a contradiction to the Proposition 1, because u E j = 1 k s j ( x ) E j = 1 k h j ( x ) for all k k 0 . Then both sequences must be identical.

4. Stability and Instability of Integer Set

In this section, we delve into the stability and instability of sequences associated with integer sets. We begin by defining functions ρ 0 and ρ 1 that map real functions to integers. We introduce the concepts of positive and negative stability for sequences { S j ( x ) } j = 1 . The monotony of ρ 0 and ρ 1 is established through Proposition 1, demonstrating the non-decreasing of ρ 0 and the non-increasing of ρ 1 for a given sequence S j ( x ) . Further, the Proposition formally defines positive and negative stability, incorporating limits and intersections of sets. The ensuing Stability Limit Theorem (2) establishes the asymptotic behavior of the integer set of an iterative sequence.

4.1. Summary of Propositions in the Section

  • Definition 4: Definition of functions ρ 0 and ρ 1 .
  • Proposition 4: monotony of the functions ρ 0 and ρ 1 .
  • Definition 5: Definition of positively (negatively) stable (unstable) sequences.
  • Theorem 2: Establishes the asymptotic behavior of the integer set when we have a positively (negatively) stable (unstable) sequence.

4.2. Stability and Instability of Integer Set

We initiate this section by introducing functions that associate each integer set with its minimum positive integer value and maximum negative integer value. These values are determined by the solutions closest to zero for the variable x in the Diophantine equation 2 a y 3 b x = N . This equation is representative of the Diophantine equation linked to an element within the space generated by ψ and θ .
Definition 4 
( ρ 0 and ρ 1 functions.). Define the function ρ 0 , ρ 1 : { f : R R : f function } Z by
ρ 0 ( f ) = min { E ( f ) N }
and
ρ 1 ( f ) = max { E ( f ) N }
As a consequence of the Proposition 1. We have that the functions ρ 0 and ρ 1 are monotone.
Proposition 4 
(monotony of ρ 0 and ρ 1 ). Let { S j ( x ) } j N = i = 1 j s i ( x ) j N θ , ψ q then ρ 0 ( S j ( x ) ) is a non-decreasing function, and ρ 1 ( S j ( x ) ) it is a non-increasing function.
Proof. 
By the proposition 1 we have that
ρ 0 ( S j + 1 ) , ρ 1 ( S j + 1 ) E ( S j + 1 ) E ( S j )
then ρ 0 ( S j ) ρ 0 ( S j + 1 ) and ρ 1 ( S j ) ρ 1 ( S j + 1 ) . □
From the result of the proposition above, we are going to make a classification of the sequences S j = i = 1 j s i ( x ) according to the behavior of the functions ρ 0 and ρ 1 .
Definition 5 
(Stability of Sequences). Let { S j ( x ) } j = 1 sequence on θ , ψ q given by S j = i = 1 j s i ( x ) . We will say that { S j ( x ) } j = 1 is positively stable if lim j ρ 0 i = 1 j S k ( j ) < otherwise we will say that it is positively unstable. On the other hand, we will say that { S j ( x ) } j = 1 is negatively stable if lim j ρ 1 i = 1 j S k ( j ) > , otherwise, we will say that it is negatively unstable.
Now we will give the central theorem of this section, which establishes the asymptotic behavior of the integer sets of S j from the stability or stability of this.
Theorem 2 
(Stability Limit Theorem). Let { S j ( x ) } j = 1 θ , ψ q and
E + j = 1 k S j ( x ) = E j = 1 k S j ( x ) N
and
E j = 1 k S j ( x ) = E j = 1 k S j ( x ) N .
We have:
  • if { S j ( x ) } j = 1 is positively stable then
    lim k E + j = 1 k S j ( x ) = k = 1 E + j = 1 k S j ( x ) = lim k ρ 0 j = 1 k S j ( x )
  • if { S j ( x ) } j = 1 is positively unstable, then
    lim k E + j = 1 k S j ( x ) = k = 1 E + j = 1 k S j ( x ) =
analogously
  • if { S j ( x ) } j = 1 is negatively stable then
    lim k E j = 1 k S j ( x ) = k = 1 E j = 1 k S j ( x ) = lim k ρ 1 j = 1 k S j ( x )
  • if { S j ( x ) } j = 1 is positively unstable, then
    lim k E j = 1 k S j ( x ) = k = 1 E j = 1 k S j ( x ) =
Proof. 
: Let ρ 0 k = ρ 0 j = 1 k S j ( x ) and j = 1 k S j ( x ) = 3 B k x + N 2 A k with A k = numbers from θ to j = 1 k S j ( x ) and B k = numbers from ψ q to j = 1 k S j ( x ) . We have
E j = 1 k S j ( x ) = ρ 0 k + 2 A k N .
supposed that { S j ( x ) } j = 1 is stable, we will first prove that lim k E + j = 1 k S j ( x ) is non-empty. By Proposition 1 the sequence of sets E + j = 1 k S j ( x ) is a decreasing sequence of sets i.e. that the next set is a subset of the previous one, then the limit set corresponds to the intersection of all the sets of the sequence.
lim k E + j = 1 k S j ( x ) = k N E + j = 1 k S j ( x )
Now since ρ 0 k is a function of the natural ones in the natural ones and is convergent, it implies that this function reaches its limit in a finite amount of steps
ρ 0 k = c t s for all k > K
this implies
lim k ρ 0 k E + j = 1 k S j ( x ) for all k N
then the limit set is non-empty.
Now we will prove the limit set contains a single element. Suppose there exists another element u 0 that is contained in all positive integer sets, then there exists a non-negative integer t such that
u 0 = ρ 0 k + 2 A k t
without loss of generality, we can assume that ρ 0 k is constant. Solving the equation in terms of t, we have
t = u 0 ρ 0 k 2 A k
This solution is a fraction less than 1 for k large enough., which contradicts the fact that t is an integer.
Now let us take the unstable case. Suppose there exists an element u 0 in the limiting set i.e. an element that is contained in all non-negative integer sets, then there exists t a non-negative integer such that
u 0 = ρ 0 k + 2 A k t ρ 0 k
as ρ 0 k diverges and u 0 constant, then there exists a K such that ρ 0 k is greater than u 0 , then u 0 cannot belong to any integer set with k > K , which is a contradiction. Analogously for the other case. □
Example 4. 
S n ( x ) = θ 2 n ψ ( x ) is positively and negatively unstable. Indeed, by example 3, we have E ( θ 2 n ψ ( x ) ) = 2 n 1 3 + 2 2 n Z where ρ 0 ( θ 2 n ψ ( x ) ) = 2 n 1 3 as n then lim n E + ( θ 2 n ψ ( x ) ) = . On the other hand ρ 1 ( θ 2 n ψ ( x ) ) = 2 n 1 3 2 2 n .
Example 5. 
S n ( x ) = θ ψ x ) ) n is positively unstable and negatively stable. Let’s calculate the integer set E ( θ ψ x ) ) n ) , let’s observe that
θ ψ ( 1 ) = 3 ( 1 ) + 1 2 = 1
Then E θ ψ x ) ) n = 1 + 2 n Z then we have ρ 1 ( θ ψ x ) ) n ) = 1 and ρ 0 ( θ ψ x ) ) n ) = 2 n 1 as n

5. Coding of the Orbits

In this section, we will delve into the study of the coding of the orbits of the Collatz function. The main results of this section are the invariance of the coding between C o d q and C o d on the fractions with denominator q and the one-to-one identification of each element of Q o d d with its coding.

5.1. Summary of Propositions in the Section

  • Definition 6: Coding maps and Σ 2 * the space of sequences 0 and 10.
  • Proposition 5: General form of the elements generated by ψ and θ .
  • Proposition 6: Fist Cod invariance: C o d ( S ) = C o d q ( S q ) .
  • Definition 9: Definition of C o l q : Z Z .
  • Definition 7: Extension of Collatz function on Q = Q o d d Q e v e n .
  • Proposition 7: Extension of Collatz function on Q is well-defined.
  • Proposition 8:  C o l ( Q o d d ) Q o d d .
  • Definition 8: Extension of the Collatz function on Q o d d .
  • Proposition 9:  C o l C o l q equivalence: if p q Q o d d then C o l k p q = 1 q C o l q k ( p ) .
  • Proposition 10: Second Cod invariance: C o d k p q = C o d q k ( p ) .
  • Proposition 11:  p E ( S ) if and only if C o d q k ( p ) = C o d q ( S ) .
  • Proposition 12  p E ( S ) if and only if C o d k p q = C o d q ( S ) .
  • Proposition 13:  C o d k p q = C o d k p q + 2 A k T q .
  • Definition 10: The Coding set C o d k ( ξ ) .
  • Proposition 14: Monotony of the Coding set C o d k + 1 ( ξ ) C o d k ( ξ ) .
  • Proposition 15: Generating property: if p q , t r C o d k ( ξ ) then p q = t r + 2 A k T q r .
  • Theorem 3: Uniqueness of the full coding Q o d d .

5.2. Coding of the Orbits

It is a common practice in dynamical systems to encode orbits based on specific criteria. In our case, we will encode the orbits of the Collatz function according to the parity of its elements, assigning the value 1 when they are odd and 0 when they are even. Since our primary focus is on the Collatz function over Q o d d , we will modify the initial coding by assigning 10 when it is odd, as opposed to just 1. We will denote the space where these codings reside as Σ 2 * since it is a subset of the sequence space consisting of 0s and 1s, denoted in dynamics as Σ 2 . Formally, we express this as
Definition 6 
(Coding of the Orbits). Let S θ , ψ q with length k. We define the following application C o d q : θ , ψ q { 0 , 10 } k defined by
C o d q j = 1 k s j ( x ) = { ξ j } j = 1 k with s j { θ , ψ q }
with
ξ j = 0 if s j ( x ) is θ ( x ) 10 if s j ( x ) is ψ q ( x )
To rigorously examine the properties of the coding, it is essential to establish a precise form for the elements generated by ψ and θ .
Proposition 5 
(General form of S). Let S θ , ψ q and Let { θ j } j = 1 k + 1 N 0 × N × × N and C o d q ( S ) = 0 θ 1 10 θ 2 0 θ k 10 θ k + 1 and let a j = i = 1 j θ i and N : Σ 2 * N defined as
N C o d q ( S ) = 3 k 1 2 a 1 + 3 k 2 2 a 2 + + 2 a k if k > 0 0 if k = 0
then
S ( x ) = 3 k x + q N ( C o d q ( S ) ) 2 a k + 1
Proof. 
We will prove by induction on k. For a k + 1 = 1 we have
  • C o d q ( ψ q ( x ) ) = 10 , then, k = 1 , a 1 = 0 , a 2 = 1 and N = 3 0 2 0 = 1 then S ( x ) = 3 x + q 2 = ψ q ( x ) .
  • C o d q ( θ ( x ) ) = 0 , then, k = 0 , a 1 = 1 and N = 0 then S ( x ) = 3 0 x + 0 q 2 = x 2 = θ ( x ) .
Suppose the statement is true up to k, let S H θ , ψ q of length a k + 1 with H of length a k .
Claim 1:  C o d q ( ψ q H ) = C o d q ( H ) 10 . We have:
  • a k + 2 ( C o d q ( H ) 10 ) = a k + 1 + 1 and a j ( C o d q ( H ) 10 ) = a j ( C o d q ( H ) ) for j k + 1 .
  • N ( C o d q ( H ) 10 ) = 3 k + 1 2 a 1 + 3 k 2 a 2 + + 3 1 2 a k + 2 a k + 1
On the other hand, we have:
ψ q 3 k x + q N ( C o d q ( H ) ) 2 a k + 1 = 3 k + 1 x + q 3 N ( C o d q ( H ) ) + q 2 a k + 1 2 a k + 1 + 1 = 3 k + 1 x + q 3 ( 3 k 1 2 a 1 + 3 k 2 2 a 2 + + 2 a k ) + q 2 a k + 1 2 a k + 1 + 1 = 3 k + 1 x + q ( 3 k 2 a 1 + 3 k 1 2 a 2 + + 3 1 2 a k + 2 a k + 1 ) 2 a k + 1 + 1 = 3 k + 1 x + q N ( C o d q ( H ) 10 ) 2 a k + 2
where we observe that the values coincide with those calculated.
Claim 2:  C o d q ( θ H ) = C o d q ( H ) 0 . We have
  • a k + 2 ( C o d q ( H ) 0 ) = a k ( C o d q ( H ) ) + 1 .
  • N ( C o d q ( H ) 0 ) = 3 k 1 2 a 1 + 3 k 2 2 a 2 + + 2 a k = N ( C o d q ( H ) ) .
On the other hand, we have
θ 3 k x + q N ( C o d q ( H ) ) 2 a k + 1 = 3 k x + q N ( C o d q ( H ) 0 ) 2 a k + 2
where we observe that the values coincide with those calculated, then the statement is true. □
Now we will see the first property of the coding
Proposition 6 
(First Cod invariance). Let S θ , ψ given by S ( x ) = 3 b x + N 2 a , we defined S q θ , ψ q given by S q ( x ) = 3 b x + q N 2 a . Then C o d ( S ) = C o d q ( S q ) .
Proof. 
Let q Z . To prove that they have the same coding, we have to prove that they have the same decomposition in principle, except that where there is ψ we have a ψ q . let us observe that q has commutative properties with θ and ψ .
  • q θ ( x ) = q x 2 = θ ( q x ) .
  • q ψ ( x ) = q 3 x + 1 2 = 3 ( q x ) + q 2 = ψ q ( q x )
As S θ , ψ then there exists s j { θ , ψ } such that
S ( x ) = j = 1 a s j ( x ) .
For convenience we will denote s j q { θ , ψ q } . Then we have
S q ( x ) = 3 b x + q N 2 a = q 3 b x q + N 2 a = q j = 1 a s j x q = j = 1 a s j q q x q = j = 1 a s j q x
We have that if s j is θ then s j q is still θ and if s j is ψ then s j q corresponds to ψ q . By Proposition 3 we have that the coding of S q has to be the same as that of S. □
Let us contemplate a generalization of the Collatz function applied to integers. In this variant, rather than adding 1, the function adds q Z , where q is an odd integer. Subsequently, we will establish the compatibility of this generalization with the extension of the Collatz function to Q o d d .

5.3. Extension of the Collatz Function on Q

As the concept of parity is a concept defined for integers, the Collatz function can be naturally extended to the set of integers. This concept is not trivially extended to the set of rational numbers, as there is no unique representation, We are going to consider a modification of extension on the rationals proposed by Lagaria in [9], Lagaria defined the Collatz function for fractions p q such that ( q , 2 ) = ( q , 3 ) = 1 . We will distinguish two subsets of Q . The set of rationals with odd denominators, denoted by Q o d d , and the set of rationals with even denominators such that the numerator and denominator are co-prime, denoted by Q e v e n . We will say that a rational number in Q odd is odd if the numerator is odd, and it is even if its numerator is even. In the case of Q even , since the denominator is already even and due to coprimality, all elements are odd. We are going to consider the following extension of the Collatz function.
Definition 7 
(Extension of the Collatz function). Let’s consider the following sets
Q o d d = p q Q , such that q is odd
and
Q e v e n = p q Q , such that q is even and ( p , q ) = 1 .
We defined the Collatz’s function by C o l : Q o d d Q e v e n Q o d d Q e v e n by
C o l p q = 3 p + q q if p odd p 2 q if p even ,
We are going to show that the extension of the Collatz function that we defined is well-defined on Q o d d .
Proposition 7 
(Well-Defined). The Collatz’s function on Q o d d is well-defined.
Proof. 
We are going to show that C o l is well-defined over Q o d d . Let p , q Z with q 0 and ( q , 2 ) = ( p , q ) = 1 . Let λ an odd number, then
C o l λ p λ q = 3 λ p + λ q λ q if λ p odd λ p 2 λ q if λ p even , = 3 p + q q if p odd p 2 q if p even , = C o l p q
Let’s observe that when we apply the Collatz function to p q Q odd with odd number, we always obtain a fraction with an even numerator, and when applied to Q even , we always obtain an odd number. This will be very important since in Section 5, we are going to define how to coding the orbits, assigning 1 if it is odd and 0 if it is even, in the case of Q even , we will have that all its elements have the same encoding which is 1111 unlike Q odd , where the codings will be generated by 10 and 0. For this reason we are going to work mainly on Q odd , let’s simplify the Collatz function a bit, as C o l : Q odd Q odd Q even given by
C o l p q = 3 p + q 2 q if p odd p 2 q if p even ,
Proposition 8 
(Invariance of Q o d d ). The Collatz function defined above satisfies that C o l ( Q odd ) Q odd
Proof. 
We will show that C o l does not change the parity of the numerator.
  • if p is odd, we have 3 p + q = 2 r with r Z , then
    3 p + q 2 q = 2 r 2 q = r q
    Since q is odd, we have independent of the simplification r q Q o d d .
  • if p = 2 r with r Z , we have
    p 2 q = 2 r 2 q = r q
    Since q is odd, we have independent of the simplification, we have r q Q o d d .
Considering the proposition above, we are going to define the Collatz function on Q o d d as
Definition 8 
(Extension of the Collatz function on Q o d d ). We define the Collatz Function on Q odd by C o l : Q odd Q odd
C o l p q = 3 p + q 2 q if p odd p 2 q if p even ,
Example 6. 
Let 5 7 Q o d d and 5 2 Q e v e n we have:
O 5 7 : 5 7 11 7 20 7 10 7 5 7
and
O 5 2 : 5 2 17 2 53 2 161 2 485 2 3 k 5 + ( 3 k 1 ) 2
We can observe that the extension of the conjecture on the set of rationals is false, since we have found a fraction with a divergent otbit, The first objective of the work is to show that there are no divergent orbits in Q o d d ..
We define the following generalization of the Collatz function.
Definition 9 
(The C o l q map). Let q Z , we define the q Collatz function defined by C o l q : Z Z given by
C o l q n = 3 n + q 2 if u odd n 2 if u even ,
Now, we will demonstrate the compatibility of this generalization
Proposition 9 
( C o l C o l q equivalence). Let p q Q o d d . Then for all integer numbers k 0 we have
C o l k p q = 1 q C o l q k ( p )
Proof. 
We let’s observe that
C o l p q = p q + 1 2 if p = 1 mod 2 p 2 q if p = 0 mod 2 = 1 q 3 p + q 2 if p = 1 mod 2 p 2 if p = 0 mod 2 = 1 q C o l q ( p )
Suppose first that ( q , 3 ) = 1 . This fraction is irreducible. Indeed, we have that ( 3 p + q , q ) = ( 3 p , q ) = 1 . Then the parity of the fraction depends only on the numerator since there is no possibility of simplification that changes the parity of the numerator, and we can continue with the iteration for all k since the irreducibility of the iterations only depends on the initial fraction is irreducible. Then we have
C o l k p q = 1 q C o l q k ( p )
Now to suppose that ( q , 3 ) 1 , for this case, the resulting fraction is not irreducible. However, as we are going to prove below, this does not change the parity of the orbits, so the formula would continue to be valid for this case. Suppose that, q = 3 l v with ( v , 2 ) = ( v , p ) = 1 and let C o l q k ( p ) = 3 b p + 3 l v N 2 a . We will divide this proof into two parts.
Case one b l : We are going to prove the statement by induction. To k = 1
1 3 l v C o l 3 l v ( p ) = 1 3 l v 3 p + 3 l v 2 = 3 p 3 l v + 1 2 = C o l p 3 l v
Now suppose that the statement is true for k, observe before continuing that the expressions 3 b p + 3 l v N 2 a and p + 3 l b v N 2 a have the same parity. Indeed,
3 b p + 3 l v N 2 a = 3 b p + 3 l b v N 2 a
if the expression on the left-hand side is even, if and only if p + 3 l b v N 2 a it is even. On the other hand, if the left side is odd, p + 3 l b v N 2 a must be odd and if p + 3 l b v N 2 a is odd, since the product of odd is odd, the left side is odd, so the expressions have the same parity.
  • if 3 b p + 3 l v N 2 a it is odd. Expanding the left-hand side of the proposition,
    1 3 l v C o l k + 1 ( p ) = 1 3 l v ψ 3 b p + 3 l v N 2 a = 1 3 l v 3 b + 1 p + 3 l + 1 v N + 2 a 3 l v 2 a + 1 = 1 3 l ( b + 1 ) v p + 3 l + 1 ( b + 1 ) v N + 2 a 3 l ( b + 1 ) v 2 a + 1 = 1 3 l ( b + 1 ) v p + 3 l b v N + 2 a 3 l ( b + 1 ) v 2 a + 1
    developing the right-hand side of the proposition,
    C o l k + 1 p 3 l v = C o l C o l k p 3 l v = C o l 1 3 l v 3 b p + 3 l v N 2 a = C o l 1 3 l b v p + 3 l b v N 2 a = 1 2 3 3 l b v p + 3 l b v N 2 a + 1 = 1 2 1 3 l ( b + 1 ) v p + 3 l b v N + 2 a 3 l ( b + 1 ) v 2 a = 1 3 l ( b + 1 ) v p + 3 l b v N + 2 a 3 l ( b + 1 ) v 2 a + 1
    We conclude in this case that both parts are equal
  • if 3 b p + 3 l v N 2 a it is even. Expanding the left-hand side of the proposition,
    1 3 l v C o l k + 1 ( p ) = 1 3 l v θ 3 b p + 3 l v N 2 a = 1 3 l v 3 b p + 3 l v N 2 a + 1 = 1 3 l p v p + 3 l b v N 2 a + 1
    developing the right-hand side of the proposition,
    C o l k + 1 p 3 l v = C o l C o l k p 3 l v = C o l 1 3 l v 3 b p + 3 l v N 2 a = C o l 1 3 l b v p + 3 l b v N 2 a = 1 3 l b v p + 3 l b v N 2 a + 1
    We conclude in this case that both parts are equal. Since in both cases it gave equality, we conclude that the proposition is true.
Case two b l : We are going to prove the statement by induction. To k = 1
1 3 v C o l 3 v ( p ) = 1 3 v 3 p + 3 v 2 = 3 p 3 + 1 2 = C o l p 3 v
Now suppose that the statement is true for k, observe before continuing that the expressions 3 b p + 3 l v N 2 a and 3 b l p + v N 2 a have the same parity. Indeed,
3 b p + 3 l v N 2 a = 3 l 3 b l p + v N 2 a
if the expression on the left-hand side is even, if and only if 3 b l p + v N 2 a it is even. On the other hand, if the left side is odd, 3 b l p + v N 2 a must be odd and if 3 b l p + v N 2 a is odd since the product of odd is odd, the left side is odd, so the expressions have the same parity.
  • if 3 b p + 3 l v N 2 a it is odd. Expanding the left-hand side of the proposition,
    1 3 l v C o l k + 1 ( p ) = 1 3 l v ψ 3 b p + 3 l v N 2 a = 1 3 l v 3 b + 1 p + 3 l + 1 v N + 2 a 3 l v 2 a + 1 = 3 b + 1 l p + 3 v N + 2 a v 2 a + 1 v
    developing the right-hand side of the proposition,
    C o l k + 1 p 3 l v = C o l C o l k p 3 l v = C o l 1 3 l v 3 b p + 3 l v N 2 a = C o l 3 b l p + v N 2 a v = 1 2 3 3 b l p + v N 2 a v + 1 = 3 b + 1 l p + 3 v N + 2 a v 2 a + 1 v
    We conclude in this case that both parts are equal.
  • if 3 b p + 3 l v N 2 a it is even. Expanding the left-hand side of the proposition,
    1 3 l v C o l k + 1 ( p ) = 1 3 l v θ 3 b p + 3 l v N 2 a = 1 3 l v 3 b p + 3 l v N 2 a + 1 = 3 b l p + v N 2 a + 1 v
    developing the right-hand side of the proposition,
    C o l k + 1 p 3 l v = C o l C o l k p 3 l v = C o l 1 3 l v 3 b p + 3 l v N 2 a = C o l 3 b l p + v N 2 a v = 3 b l p + v N 2 a + 1 v
    We conclude in this case that both parts are equal. Since in both cases it gave equality, we conclude that the proposition is true.
We will define a coding function for the Collatz q-functions and demonstrate that they produce the same coding as the fractions with denominator q.
We are going to consider the set of sequences 0 and 10 that we will denote by Σ 2 * and we formally define it as
Σ 2 * = { ξ j } j = 1 , ξ j { 0 , 10 }
this set can be seen as a subset of the set of sequences 0 and 1 where after the entry 1 enters 0. Let’s consider the following application: C o d k : Q o d d Σ 2 * defined by
C o d k p q = { ξ j } j = 1 k 0
with
ξ j = 10 if C o l j 1 p q is odd 0 if C o l j 1 p q is even
and
Proposition 10 
(Second Cod invariance). Let p q Q an irreducible fraction with ( q , 2 ) = 1 and C o d k : Z Σ 2 * defined by
C o d q k p = { ξ j } j = 1 k 0 , with ξ i { 10 , 0 }
with
ξ j = 10 if C o l q j 1 p = 1 mod 2 0 if C o l q j 1 p = 0 mod 2
then we have
C o d k p q = C o d q k p
Proof. 
By proposition 9 we have
C o l k p q = 1 q C o l q k ( p )
Since q it is odd, then, we have coding of C o l k p q and C o l q k ( p ) must be the same. □
We will now establish the initial connection between sets of integers and coding. Specifically, we will demonstrate that all elements within the integer set S share the same coding.
Proposition 11 
(First characterization of E ( S ) ). Let p Z and S ( x ) θ , ψ q of length k with ( q , 2 ) = 1 , then
p E ( S ) if and only if C o d q k ( p ) = C o d q ( S )
Proof. 
Let p E ( S ) and S ( x ) = i = 1 k s i ( x ) θ , ψ q then by definition S ( p ) Z by Proposition 1 we have i = 1 l s i ( p ) Z with l k , then C o d ( S ) = C o d q k ( p ) .
Suppose that C o d q k ( p ) = C o d q ( S ) then { p , s 1 ( p ) , s 2 s 1 ( p ) , , i = 1 k 1 s i ( p ) , i = 1 k s i ( p ) = S ( p ) } Z k + 1 , then p E ( S ) . □
We show below the second connection between the integer sets and the encoding. Specifically, we demonstrate that all values p within the integer set S q indeed have the same coding as the corresponding fraction p q .
Proposition 12 
(second characterization of E ( S ) ). Let p Z and S ( x ) θ , ψ q of length k with ( q , 2 ) = 1 , then we have: p E ( S ) if and only if C o d k p q = C o d q ( S )
Proof. 
Let S ( x ) θ , ψ q of length k such that C o d k ( p ) = C o d q ( S ) , for the proposition 9, we have
q C o l k p q = C o l q k ( p ) = S ( p )
then C o d k n q = C o d q ( S ) finally by the proposition 11, we have p E ( S ) if and only if C o d k p q = C o d q ( S ) . □
The following proposition demonstrates that for a given rational number, we can generate a family of rationals that share the same encoding. This suggests that there exist many rationals with the same k-th encoding
Example 7. 
Let’s consider the coding ξ = 10010100 , we want to find rational numbers p q such that C o d 5 p q = ξ , we have that the function S ( x ) θ , ψ with coding ξ is S ( x ) = 27 x + 29 32
  • p = 1 , we have to calculate some solution of the entire set of S 7 ( x ) = 27 x + 29 32 . We have x 0 = 25 , then O 5 25 = 25 , 38 , 19 , 29 , 44 , 22 then C o d 5 15 7 = ξ .
  • p = 7 , we have to calculate some solution of the entire set of S 7 ( x ) = 27 x + 29 · 7 32 . We have x 0 = 15 , then O 5 15 7 = 15 7 , 26 7 , 13 7 , 23 7 , 38 7 , 19 7 then C o d 5 15 7 = ξ .
  • p = 27 , we have to calculate some solution of the entire set of S 27 ( x ) = 27 x + 29 · 27 32 . We have that x 0 = 3 , then O 5 3 27 = 3 27 , 2 3 , 1 3 , 1 , 2 , 1 then we have that C o d 5 3 27 = ξ .
Proposition 13 
(Invariance property of Coding of rational). Let p q Q an irreducible fraction with ( q , 2 ) = 1 , A k = numbers from 0 to C o d k p q and T Z then
C o d k p q = C o d k p q + 2 A k T q
.
Proof. 
Let S ( x ) θ , ψ q such that C o d ( S ) = C o d q k ( p ) then S ( p ) = C o l q k ( p ) Z this implies
E ( S ) = p + 2 A k T C o d q k ( p + 2 A k T ) = C o d q k ( p )
then
C o l k p + 2 A k T q = C o l k p q + 2 A k T q = C o d k p q
As we have seen so far, we can characterize the entire set S from its encoding. Exploiting this property, we generalize the entire set S to encompass all fractions sharing the same encoding. We will call the k Coding set.
Definition 10 
(The k Coding set). Let { ξ j } j = 1 Σ 2 * , we define the k-th coding set of { ξ j } j = 1
C o d k { ξ j } j = 1 = p q Q o d d , C o d k p q = { ξ j } j = 1 k 0
The encoding set also exhibits the property of monotony, similar to the integer set of S.
Proposition 14 
(Monotony of the Coding set). Let { ξ j } j = 1 Σ 2 * then
C o d k + 1 { ξ j } j = 1 C o d k { ξ j } j = 1 .
Proof. 
Let p q C o d k + 1 { ξ j } j = 1 by definition C o d k + 1 p q = { ξ j } j = 1 k + 1 0 then trivially we have C o d k p q = { ξ j } j = 1 k 0 , then p q C o d k { ξ j } j = 1 . □
Definition 11 
(The Coding set). Let { ξ j } j = 1 Σ 2 * , we define the k-th coding set of { ξ j } j = 1 the coding set of { ξ j } j = 1
C o d { ξ j } j = 1 : = k N C o d k { ξ j } j = 1 .
Similarly, the behavior of the solutions of Diophantine equations, in which knowing a particular solution allows us to determine other solutions, is reflected in the coding set. This connection is illustrated in the following proposition.
Proposition 15 
(Generating property). Let { ξ j } j = 1 Σ 2 * , A k = numbers from 0 to { ξ j } j = 1 k and p q , t r C o d k { ξ j } j = 1 then exist T Z such that
p q = t r + 2 A k T q r
Proof. 
Let p q , t r C o d k { ξ j } j = 1 and S k ( x ) = 3 b x + N 2 A k θ , ψ such that C o d ( S k ) = { ξ j } j = 1 k , now consider S k q θ , ψ q and S k r θ , ψ r such that C o d q k ( S k q ) = C o d r k ( S k r ) = { ξ j } j = 1 k by proposition 12 we have S k q ( p ) , S k r ( t ) Z the latter is equivalent
3 b p + q N 2 A k , 3 b t + r N 2 A k Z
We are going to prove that p r and q t are elements of E ( S k q r ) with s r ( x ) = 3 b x + q r N 2 A k . Indeed,
3 b p r + q r N 2 A k = r 3 b p + q N 2 A k Z
and
3 b q t + q r N 2 A k = q 3 b t + r N 2 A k Z
then
p r = q t + 2 A k T with T Z p q = t r + 2 A k T q r with T Z
Now, we will present the main theorem of this section, establishing that the encoding of a rational number is unique.
Theorem 3 
(Uniqueness of the full coding on Q o d d ). Let { ξ j } j = 1 Σ 2 * . If it exists p q Q o d d such that C o d p q : = lim k C o d k p q = { ξ j } j = 1 then it is unique.
Proof. 
Let A k = numbers from 0 to { ξ j } j = 1 k . Suppose there is another element, t r Q o d d such than C o d t r = lim k C o d k p q = { ξ j } j = 1 by proposition 15 exist { T k } k N Z such that
t r = p q + 2 A k T r q with T Z and k N
Since p q t r then T k Z for all k N . So
r q t r p q = 2 A k T k then T k = r q t r p q A k 0 as k
which is a contradiction. □

6. The Sigma Function

In this section, we immerse ourselves in the study of Diophantine equations of the form 2 k y a x = n , where a , k , n are integers. Solving these equations in the domain of integers x and y is a problem in number theory. Usually, these types of Diophantine equations are solved using Euclid’s algorithm or some similar technique, even by trial and error. However, these techniques begin to have a high degree of complexity for very large values. This mainly complicates when we want to study the behavior of the minimum positive values since in this case, we are interested in asymptotic solutions. We introduce the sigma function, symbolized as σ a k ( n ) to address this challenge. This function, whose detailed analysis will constitute the core of our research, plays a fundamental role in the quest for specific solutions to the aforementioned Diophantine equations. Particularly noteworthy is the sigma function’s remarkable property of delivering solutions that are closest to zero in the context of these equations.

6.1. Summary of Propositions in the Section

  • Definition 12: Definition of the sigma function.
  • Theorem 4: Establish that σ a k ( n ) and 1 a ( 2 k σ a k ( n ) n ) are solutions of the Diophantine equation 2 k y a x = n . Additionally, 1 a ( 2 k σ a k ( n ) n ) is the minimum non-negative integer value.
  • Corollary 1: Establishes that the minimum value grows based on the number of times the sigma function takes odd values.
  • Corollary 2: σ a k ( n ) σ a k ( n ) = a
  • Proposition 16: Establishes inequalities that estimate the values of the sigma function
  • Proposition 17: It establishes the periods for the periodic points.
  • Proposition 18: Establish algebraic properties of additivity, dependent on the parity of the addends
  • Corollary 3 Establish algebraic properties’ linearity modulo a .
  • Proposition 19 Establish that the sigma function is homogeneous modulo a .
  • Definition 13: Extension of the sigma function on Q o d d
  • Definition 14: Characteristic Function
  • Lemma 3: Establishes an invariance in the coding of the orbits of the sigma function.
  • Proposition 21: Establishes homogeneity properties of the extension of the sigma function.
  • Proposition 22 Algebraic properties of the Extension of the Sigma function.
  • Definition 15: Definition of dyadic numbers.
  • Proposition 23: Characterization of the dyadic representation of rational numbers.
  • Definition 16: Definition of Cod-Sigma function.
  • Lemma 4: Invariant coding lemma for Cod-Sigma function.
  • Proposition 24: Change of basis of the Cod-Sigma function.
  • Proposition 25: Let r N and γ = 3 b 1 and let k N such that r < 2 2 γ k and δ j { 0 , 1 } such that r 2 2 γ k 1 3 γ = j = 1 2 γ k 1 δ j 2 j then C o d σ 3 γ 2 γ k ( r ) = δ 2 γ k 1 , , δ 0 .
  • Corollary 5: Let r 1 , r 2 N . Then C o d σ 3 b a ( r 1 + r 2 ) = C o d σ 3 b a ( r 1 ) + C o d σ 3 b a ( r 2 ) mod 2 a .
  • Proposition 26  C o d σ 3 b : N Z 2 is linear.
  • Lemma 5: Rational equivalence of the Cod-Sigma function.
  • Definition 17: we will say that { ξ j } j = 1 Σ 2 * has a null tail of index J if J > 0 the smallest index such that j > J we have ξ j = 0 .
  • Proposition 27:  π 1 ( ξ ) Z 2 and C o d σ ( π 1 ( ξ ) ) = π 1 ( ξ ) Z 2 .
  • Lemma 6:  ρ ( S k ) = C o d σ 3 k A k ( N k ) .
  • Proposition 28  ρ 0 ( S k ) = C o d σ π 1 ( ξ ) mod 2 a k .

6.2. The Sigma Function

We are going to define the sigma function. This function is very similar to the Collatz function except that in this function, we do not multiply by 3.
Definition 12 
(The Sigma function). Let x , a Z such that ( a , 2 ) = 1 . We define the sigma function σ a : Z Z
σ a ( x ) = x + a 2 if x = 1 mod 2 x 2 if x = 0 mod 2
Figure 1. Orbits of σ 27 for 0 < x 27 .
Figure 1. Orbits of σ 27 for 0 < x 27 .
Preprints 144896 g001
In the following theorem, we explore solutions to the Diophantine equation 2 k y a x = n , where a, k, and n are integers. This equation arises frequently in number theory, particularly in the study of Diophantine equations. We’ll demonstrate that the sigma function provides particular solutions for y, shedding light on the behavior of solutions in both positive and negative domains. Additionally, we’ll establish formulas for the smallest non-negative solution ρ 0 and the largest non-positive solution ρ 1 for the variable x, offering valuable insights into the structure of solutions to this equation.
Theorem 4 
(Theorem on Diophantine Solutions). Let a , k N with ( a , 2 ) = 1 and n Z . Consider the Diophantine Equation 2 k y a x = n . Then a particular solution for y is given by
σ a k ( n ) and σ a k ( n ) .
where σ a k ( n ) = σ a σ a ( n ) k t i m e s and σ a k ( n ) = σ a σ a ( n ) k t i m e s . Furthermore. Let ρ 0 be the smallest non-negative solution for x, then
ρ 0 = 1 a ( 2 k σ a k ( n ) n )
let ρ 1 be the largest non-positive solution for x if then
ρ 1 = 1 a ( 2 k σ a k ( n ) n )
Proof. 
We can write the sigma function as
σ ± a ( n ) = n ± a δ ( n ) 2 where δ ( n ) = 1 if n = 1 mod 2 0 if n = 0 mod 2
Since the sigma function is defined on the set of integers in the integers, we have that its k-th composition is also an integer value: Let δ j = δ ( σ a j ( n ) ) then
σ a k ( n ) = n + δ 0 2 + a δ k 2 = n + a L 2 k Z where L = j = 1 k 1 δ j 2 j
and Let ε j = δ ( σ a j ( n ) ) then
σ a k ( n ) = n a ε 0 2 a ε k 1 2 = n a U 2 k Z where U = j = 1 k 1 ε j 2 j
replacing the k-th iteration sigma function σ a in the equation 2 k y a x = n and solving for x 0 , we have
x 0 = 1 a ( 2 k σ a k ( n ) n ) = L Z
and replacing the k-th iteration sigma function σ a in the equation 2 k y a x = n and solving for x 0 , we have
x 0 = 1 a ( 2 k σ a k ( n ) n ) = U Z
For the positive case, we have that 0 L = j = 1 k 1 δ j 2 j 2 k 1 , then due to the uniqueness of solutions in [ 0 , 2 k ) Z , L corresponds to the non-negative minimum value and for the negative case we have 0 U j = 1 k 1 ε j 2 j ( 2 k 1 ) , again due to uniqueness of solutions in ( 2 k , 0 ] Z , we have that U is the maximum non-positive solution. □
Example 8. 
Let us consider the following Diophantine equation 16 y 7 x = 45 then
σ 7 4 ( 45 ) = 5 and 1 7 ( 16 · 5 45 ) = 5
are solutions of the equation.
We will demonstrate that this minimum value increases every time σ a k ( n ) is an odd number. This result is crucial for understanding how the parity of the sigma function influences the structure of non-negative solutions of the associated Diophantine equation.
Corollary 1 
(Monotony relation). Let a N such that ( a , 2 ) = 1 and S a ( x ) = a x + n 2 k and ρ 0 ( S a ) the minimum non-negative value of S a ( x ) . Then ρ 0 ( S a ) increases every time σ a k ( n ) is an odd number. In particular ρ 0 ( S a ) = j = 1 k 1 δ j 2 j with δ j = 0 if σ a j 1 ( n ) is even and δ j ( n ) = 1 if σ a j 1 is odd.
Proof. 
Let S a ( x ) = a x + n 2 k and δ j = δ ( σ a j ( n ) ) then by Theorem 4 we have
σ a k ( n ) = 1 2 k n + a j = 1 k 1 δ j 2 j
then S a 1 ( σ a k ( n ) ) = ρ 0 ( S a ) = j = 1 k 1 δ j 2 j . So, we have that every time δ j = 1 , the minimum positive integer value increases, and this only happens when σ a j 1 ( n ) is odd.
In the following corollary, we explore the relationship between the sigma functions σ a k ( n ) and σ a k ( n ) in the context of the Diophantine equation 2 k y a x = n .
Corollary 2 
(Relation between σ a k ( n ) and σ a k ( n ) ). Let a , k N and n Z . Consider the Diophantine Equation, 2 k y a x = n , then
σ a k ( n ) σ a k ( n ) = a
Proof. 
By definition, we have that ρ 0 is the nearest non-negative solution to 0, and ρ 1 is the nearest non-positive solution to 0, which means that ρ 0 and ρ 1 are consecutive solutions. Therefore, ρ 0 2 k = ρ 1 . then we have
2 k = ρ 0 ( S ) ρ 1 ( S ) = 1 a 2 k σ a k ( n ) n 1 a 2 k σ a k ( n ) n = 1 a 2 k σ a k ( n ) 1 a 2 k σ a k ( n )
Therefore σ a k ( n ) σ a k ( n ) = a
In the following proposition, we examine the inequalities and estimations for the sigma function σ a k ( n ) and σ a k ( n ) , where n is an integer. We show that the sigma function lies in the interval n 2 k , n 2 k + a for σ a k ( n ) , and in the interval n 2 k a , n for σ a k ( n ) . These inequalities are fundamental to understand the range of values the sigma function can take in the context of the considered Diophantine equations.
Proposition 16 
(Inequality and estimation of the sigma function). Let a , k N and n Z . Then,
n 2 k σ a k ( n ) < n 2 k + a and n 2 k a < σ a k ( n ) n 2 k
Proof. 
For σ a k ( n ) we have two possible extreme paths, either we always get even or we always get odd, for the first case we would always have division by 2
n 2 k σ a k ( n )
for the second we would have
σ a k ( n ) n + a ( 1 + 2 + + 2 k 1 ) 2 k = n 2 k + a 1 + 2 + + 2 k 1 2 k = n 2 k + a 2 k 1 2 k < n 2 k + a
For σ a k ( n ) , regardless of the cases, we always get a less stringent value to the initial value. If it is always even, we will have that it is always divided by 2, now in the case that it is always odd we have
σ a k ( n ) n a ( 1 + 2 + + 2 k 1 ) 2 k = n 2 k a 1 + 2 + + 2 k 1 2 k > n 2 k a
and clearly, we have
n 2 k > n 2 k a

6.3. Periodicity of the Sigma Function

Proposition 17 
(Periodicity of periodic orbits). Let a N The sigma function σ a has the following properties,
  • The only fixed points are a and 0.
  • If, n < a then, its orbit by is periodic with period given by
    λ a ( a , u ) = φ a ( a , u ) if a ( a , u ) is prime [ φ ( p 1 α 1 ) , , φ ( p r α r ) ] if a ( a , u ) = i = 1 r p i α i with p i prime and α i N
    where φ is the Euler’s totient function.
    In particular, if a = 3 r and ( n , 3 ) = 1 then the periodic is 3 r 1 2 . Let γ = 3 r 1 then
    σ 3 γ 2 γ ( n ) = n
In particular, all points terminate in some periodic orbit (including periodic points) between 0 and a.
Proof. 
we have
  • Let σ a ( u ) = u , if u is odd, then u + a 2 = u which implies u = a . If u is even, we have, u 2 = u which implies u = 0 .
  • Let u N such that u < a and σ a k ( u ) = u , so
    u + a L 2 k = u for any L = j = 1 k 1 δ j 2 j where δ j { 0 , 1 }
    Then
    u + a L = 2 k u a L = ( 2 k 1 ) u ( 2 k 1 ) u = 0 mod a
    suppose that ( u , a ) = 1 , this implies that u is an invertible mod a then, the equation is equivalent
    2 k = 1 mod a
    The minimum value of k is given by the Carmichael function given by
    λ a = φ a if a is prime [ φ ( p 1 α 1 ) , , φ ( p r α r ) ] if a = i = 1 r p i α i with p i prime and α i N
    Let k 0 = λ ( a ) , then
    ( 2 k 0 1 ) u = 0 mod a ( 2 k 0 1 ) u = L 0 a for any L 0 N
    ( 2 k 0 1 ) = L 0 a u
    as a u > 1 then ( 2 k 0 1 ) > L 0 , which is the necessary and sufficient condition for L 0 to admit decomposition in base 2 up to the power k 0 1 which implies that there exist δ j { 0 , 1 } such that L 0 = j = 1 k 0 1 δ j 2 j .
    Now suppose that ( u , a ) = d > 1 , then we divide a L = ( 2 k 1 ) u by, d
    a d L = ( 2 k 1 ) u d where a d , a d = 1
    then the development is completely analogous to the first case.
    In particular, when a = 3 r and u are co-prime with 3, then the period of the orbit of u corresponds to the Euler’s totient function, ϕ which in this case is 3 r 1 2 .
Let us observe that for the equation σ a k ( u ) = u to have a solution it is necessary and sufficient that n < a since the function is monotonically decreasing for n > a .
Example 9. 
For, a = 7 we have O ( 5 ) = { 5 , 6 , 3 } and O ( 4 ) = { 4 , 2 , 1 } .For a = 15 we have O ( 1 ) = { 1 , 8 , 4 , 2 } , O ( 3 ) = { 3 , 9 , 12 , 6 } , O ( 5 ) = { 5 , 10 } and O ( 7 ) = { 7 , 11 , 13 , 14 }

6.4. Linearity of the Sigma Function Modulo A

In this section, we address the linearity of the sigma function modulo a. Proposition 18 establishes the addition rules for the sigma function under different parity conditions of the involved numbers. We will see in the corollary 3 that the function sigma modulo a is an automorphism of Z / a Z Furthermore, Proposition 19 establishing a relationship between σ a k ( m ) and σ a k ( 1 ) .
Proposition 18 
(Algebraic properties of the Sigma function). Let a Z and σ a : Z Z , then we have
  • if n , m are even numbers, then σ a ( n + m ) = σ a ( n ) + σ a ( m ) .
  • if n is an even number and m is an odd number, then σ a ( n + m ) = σ a ( n ) + σ a ( m ) .
  • if n , m are odd numbers, then σ a ( n + m ) = σ a ( n ) + σ a ( m ) a .
Proof. 
Let m . n Z , then we have
  • If m , n are even, we have
    σ a ( m + n ) = m + n 2 = m 2 + n 2 = σ a ( m ) + σ a ( n )
  • If m is even and n is odd, we have
    σ a ( m + n ) = m + n + a 2 = m 2 + n + a 2 = σ a ( m ) + σ a ( n )
  • If m , n are odd, we have
    σ a ( m + n ) = m + n 2 = m 2 + n 2 + a a = m + a 2 + n + a 2 a = σ a ( m ) + σ a ( n ) a .
This corollary states that the sigma function, seen as a function on the set Z / a Z and taking values in Z / a Z , acts as a group additive automorphism. In other words, it preserves the group structure under modular addition in Z / a Z
Corollary 3 
(Linearity modulo a). We consider the function sigma as a function of Z / a Z in Z / a Z , then it is a group additive automorphism. i.e.
σ a k ( m + n ) = σ a k ( m ) + σ a k ( n ) mod a
Proof. 
From the previous proposition we have that the sigma function is linearly distributed except for a term a that appears when both addends are odd, this term is congruent to 0 mod a
This proposition establishes the concept of homogeneity modulo a for the sigma function. It relates the value of σ a k ( m ) to m σ a k ( 1 ) under modular arithmetic. This relationship highlights a consistent behavior of the sigma function concerning scaling by m, providing valuable insights into its algebraic properties.
Proposition 19 
(Homogeneity mod a). Let a , k , m N such that ( a , 2 ) = 1 , then we have
σ a k ( m ) = m σ a k ( 1 ) mod a
Proof. 
Let a , b N such that ( a , 2 ) = 1 and consider the following Diophantine Equation 2 k y a x = m . Since ( 2 k , a ) = 1 we have that, this equation is equivalent to 2 k Y a X = 1 . The Theorem 4 we have σ a k ( 1 ) a particular solution of Y, then m σ a k ( 1 ) is a solution for y of 2 k y a x = m , then
m σ a k ( 1 ) = σ a k ( m ) mod a
Proposition 20 
(Fundamental equation). Let b , n N such that n < 3 b and ( n , 3 b ) = 1 , γ = 3 b then
σ 3 γ a ( n ) + σ 3 γ a + γ ( n ) = 3 γ
Proof. 
Let n co-prime and less than 3 b . Let’s consider the following equation:
n + σ 3 b k ( n ) = 3 b
Let T k ( n ) = j = 1 k 1 δ j 2 j , then
n + 3 b T k 2 k = 3 b n n = 2 k n mod 3 b 2 k = 1 mod 3 b k = 3 b 1
Now we will prove that T 3 b 1 2 3 b 1 1 , we have
T 3 b 1 = 2 3 b 1 ( 3 b n ) n 3 b = 2 3 b 1 n 2 3 b 1 + 1 3 b
on the other hand
n 2 3 b 1 + 1 3 b 2 3 b 1 + 1 3 b
Let f : R R given f ( x ) = 2 3 x 1 + 1 3 x we have
  • f ( 1 ) = 2 3 1 1 + 1 3 1 = 1 and f ( 2 ) = 2 3 2 1 + 1 3 2 = 1 ,
  • f ( x ) = 1 3 2 3 x 1 ln ( 2 ) ln ( 3 ) 3 x ( 2 3 x 1 + 1 ) ln ( 3 ) and f ( x ) > 0 if x > 1 , 5572 . That is to say that the function from this point on is monotonically increasing, therefore, from 2 we have that the function is always greater than 1.
then
2 3 b 1 + 1 3 b 1 for all b N T k 2 3 b 1 1 for all b N
Then we have n + σ 3 b 3 b 1 ( n ) = 3 b for all n co-prime and less than 3 b , in particular we take σ 3 b a ( n )
σ 3 b a ( n ) + σ 3 b 3 b 1 ( σ a ( n ) ) = 3 b
Corollary 4. 
Let b , n N such that n < 3 b and ( n , 3 b ) = 1 , γ = 3 b then
σ 3 γ γ ( n ) = 3 γ n
Proof. 
By Proposition 17 and 20
σ 3 γ γ ( n ) + σ 3 γ 2 γ ( n ) = 3 γ σ 3 γ γ ( n ) = 3 γ n

6.5. Extension on the Q o d d of the Sigma Function

We can extend the domain of the sigma function to the set of rationals, in the following way,
Definition 13 
( Q o d d -extension of the sigma function). Let u v , x y Q o d d . We define the sigma function σ u v : Q o d d Q o d d
σ u v x y = 1 2 x y + u v if x = 1 mod 2 x 2 y if x = 0 mod 2
We are going to provide a numerical interpretation of the extension of the sigma function. Thus far, we understand that the sigma function provides us with the non-negative solution to the Diophantine equation 2 k y a x = n through the equation a x + n 2 k = σ a k ( n ) . We can utilize the latter equation to extend the sigma function to the set of fractions with odd denominators, employing the following equation on r Z :
y u r + v x 2 k = v y σ u v k x y
or equivalently
u v r + x y 2 k = σ u v k x y
That is to say, the extension of the sigma function gives the fraction that solves the equation
u v r + x y = 2 k t with r Z and t , u v , x y Q o d d

6.6. Properties of the Extension of the Sigma Function

The introduction of the sigma function extended to odd rationals is crucial for understanding its behavior in a broader domain. This extension, defined on the set Q o d d , allows us to explore the algebraic and arithmetic properties of the sigma function in a more general context. In this section, we delve into this extension and explore its implications, focusing on how the sigma function modifies its behavior when applied to fractions with odd denominators. Additionally, we present an important lemma that establishes an invariant relationship between the characteristic function δ and the sigma function, providing a deeper understanding of how the sigma function preserves certain properties under different transformations.
Definition 14 
(Characteristic Function). We define the characteristic function δ : Q o d d { 0 , 1 } given by
δ p q = 1 if p = 1 mod 2 0 if p = 0 mod 2
The Invariant Coding Lemma, stated in Lemma 3, establishes a fundamental relationship between the characteristic function δ and the sigma function under certain conditions. Specifically, it asserts that for co-prime integers u and v, with u being odd, the characteristic function δ remains invariant under iterations of the sigma function. This means that the parity of the output of σ u j ( v ) is the same as the parity of σ 1 j v u for all non-negative integers j. Furthermore, if v is odd, the lemma demonstrates that the parity of σ u j ( v ) is identical to the parity of σ u v j ( 1 ) for all non-negative integers j.
Lemma 3 
(Invariant Characteristic Function Lemma). Let u , v Z with u not null, such that ( u , v ) = 1 and ( u , 2 ) = 1 then
  • δ σ u j ( v ) = δ σ 1 j v u for j 0 .
  • if v is odd then
    δ ( σ u j ( v ) ) = δ σ u v j ( 1 ) for j 0 .
Proof. 
We have
  • Let σ u k ( v ) = v + u T k u ( v ) 2 a where T k u ( v ) = j = 1 k 1 δ ( σ u j ( v ) ) 2 j and σ 1 j v u = v u + T k 1 v u 2 a where T k 1 v u = j = 1 k 1 δ σ 1 j v u 2 j . We will prove by induction that
    δ σ u j ( v ) = δ σ 1 j v u
    For j = 0 , Since if v is odd (or even) then v u is odd (or even) then
    δ σ u 0 ( v ) = δ v = δ v u = δ σ 1 0 v u .
    Suppose δ σ u j ( v ) = δ σ 1 j v u for j k , then T k u ( v ) = T k 1 v u , then we have
    σ u k ( v ) = v + u T k u ( v ) 2 a = v + u T k 1 v u 2 a = u v u + T k 1 v u 2 a = u σ 1 k v u
    Since u is odd, we have that σ u k ( v ) and σ 1 k v u have the same parity, then
    δ σ u k + 1 ( v ) = δ σ 1 k + 1 v u
  • Let σ u k ( v ) = v + u T k u ( v ) 2 a where T k u ( v ) = j = 1 k 1 δ ( σ u j ( v ) ) 2 j and σ u v j 1 = 1 + T k u v 1 2 a where T k u v 1 = j = 1 k 1 δ σ u v j 1 2 j . We will prove by induction that
    δ σ u j ( v ) = δ σ u v j 1
    For j = 0 , Since v is odd
    δ σ u 0 ( v ) = δ v = δ 1 = δ σ u v 0 1 .
    Suppose δ σ u j ( v ) = δ σ u v j 1 for j k , then T k u ( v ) = T k u v 1 , then we have
    σ u k ( v ) = v + u T k u ( v ) 2 a = v + u T k u v 1 2 a = v 1 + u v T k u v 1 2 a = v σ u v k 1
    Since v is odd, we have that σ u k ( v ) and σ u v k 1 have the same parity, then
    δ σ u k + 1 ( v ) = δ σ u v k + 1 1
In the following proposition, we demonstrate homogeneity properties that leave the coding of the orbits of the sigma function invariant.
Proposition 21 
(homogeneity). Let u , v Z with u not null, such that ( u , v ) = 1 and ( u , 2 ) = 1 then we have
  • σ u k ( v ) = u σ 1 k v u .
  • σ u k ( v ) = v σ u v k ( 1 ) .
Proof. 
We have
  • Let σ u k ( v ) = v + u T k u ( v ) 2 a where T k u ( v ) = j = 1 k 1 δ ( σ u j ( v ) ) 2 j and σ 1 j v u = v u + T k 1 v u 2 a where T k 1 v u = j = 1 k 1 δ σ 1 j v u 2 j . Then we have
    σ u k ( v ) = v + u T k u ( v ) 2 a = v + u T k 1 v u 2 a = u v u + T k 1 v u 2 a = u σ 1 k v u
  • Let σ u k ( v ) = v + u T k u ( v ) 2 a where T k u ( v ) = j = 1 k 1 δ ( σ u j ( v ) ) 2 j and σ u v j 1 = 1 + T k u v 1 2 a where T k u v 1 = j = 1 k 1 δ σ u v j 1 2 j . Then we have
    σ u k ( v ) = v + u T k u ( v ) 2 a = v + u T k u v 1 2 a = v 1 + T k u v 1 2 a = v σ u v k 1
Proposition 22 
( Algebraic properties of the Extension of the Sigma function ). Let a Q o d d with odd numerator and σ a : Q o d d Q o d d , satisfies the following identities
(1)
if n q , m p are even fractions, then σ a n q + m p = σ a n q + σ a m p .
(2)
if n q is an even fraction and m p is an odd fraction, then σ a n q + m p = σ a n q + σ a m p .
(3)
if n q , m p are odd fractions, then σ a n q + m p = σ a n q + σ a m p a .
Proof. 
Let’s proved first for a = 1 . Let n q , m p Q o d d and let β : Z × Z { 0 , 1 } given by β n , m = 0 if n or m is even fraction and β n , m = 1 if n and m are odd fraction.
p q σ n q + m p = p q σ n q + m p = p q σ n p + m q p q = σ p q p q n p + m q p q = σ p q n p + m q = σ p q n p + σ p q m q p q β ( n , m ) = p q σ n p p q + p q σ m q p q p q β ( n , m ) = p q σ n q + p q σ m p p q β ( n , m )
Dividing everything by p q , we have
σ n q + m p = σ n q + σ m p β ( n , m )
Now let a an odd fraction with odd numerator, then we have 1 a is odd fraction, then multiplying by 1 a does not change the parity of n q or m q . Then we have
σ 1 a n q + 1 a m p = σ 1 a n q + σ 1 a m p β ( n , m ) multiplying by a a σ 1 a n q + 1 a m p = a σ 1 a n q + a σ 1 a m p a β ( n , m ) σ a n q + m p = σ a n q + σ a m p a β ( n , m )

6.7. Coding of Sigma Function

6.7.1. The P Adic Numbers

Kurt Hensel, a German mathematician from the late 1800s, is credited with creating the p-adic numbers. Their creation was in response to the requirement to expand the rational numbers Q in order to address algebraic and number theory issues that are difficult to resolve with just real numbers.
The notion of the p-adic valuation gives rise to the introduction of p-adic numbers, which offer an alternative to the standard metric based on absolute difference for measuring the “size” or “distance” between numbers. The largest power of p that divides n for a prime number p is the p-adic valuation of an integer n, represented by o r d p ( n ) . The following formula extends this valuation to rational numbers:
o r d p a b = o r d p ( a ) o r d p ( b )
where a b is a fraction of integers a and b, with b 0 . The associated p-adic metric is defined for any pair of rational numbers x and y as:
x y p = p o r d p ( x y )
With regard to this metric, this metric offers a way to finish the set of rational numbers Q and produce the p-adic field Q p . Every Cauchy sequence in Q can have a limit within Q p thanks to the completion of Q with regard to the p-adic metric, completing the space and permitting a more flexible algebraic representation.
Every number can be uniquely described in terms of an infinite series consisting of positive powers of p and a finite number of negative powers in the p-adic field Q p . In addition to generalizing the rational numbers, this algebraic structure offers strong tools for solving issues in number theory, algebra, and other mathematical fields.
Definition 15. 
Let p N be any prime number. Define a norm . p on Q as follows
x p = p o r d p ( x ) if x 0 0 if x = 0
where
o r d p ( x ) = the highest power p which divides x if x Z o r d p ( a ) o r d p ( b ) if x = a b Q
Let Q p the completion of Q through the norm . p .
We have the following properties
  • if a , b N then a = b mod p k if and only if a b p p k .
  • Let β Q p then this is uniquely represented by convergent series ( with norm . p ) as
    β = n = k δ j 2 j = ( δ j δ 2 δ 1 δ 0 . δ 1 δ k ) p
  • The p adic expansion allows us to perform arithmetical operations in Q p in way very similar to that in R . Moreover, we will see that the operations in Q p are, in fact, easier to perform than R .
    Let α = j = k ε j p j and β = j = k δ j p j
    α ± β = j = k ( ε j ± δ j ) p j
    α · β = j = k ε j p j j = k δ j p j = r = k i + j = r ε j δ j p r
    .
  • A p adic number β Q p is said to be a p adic integer if its canonical expansion contains only non-negative power of p. The set of p adic integers is denoted by Z p , so
    Z p = i = 1 δ i p i , with δ j = 0 , , p 1 = { β Q p ; β p 1 }
    This set has the property of being a complete metric subspace (Proposition 2.10 page 59 of [7]).
One of the main characteristics of p adics numbers is
Proposition 23. 
The canonical p adic expansion α = n = k ε j 2 j represents a rational number if and only if is eventually periodic to the left.

6.7.2. Coding of Sigma Function

Now we are going to define the coding of the sigma function for Q o d d .
Definition 16. 
Let p q Q o d d and g Z odd number. We define the Coding of p q by σ as C o d σ g p q = j N 0 δ j Z 2 given by
δ j = 1 if σ g j p q is odd 0 if σ g j p q is even
and the finite k coding as C o d σ g k p q = 0000 δ k δ 0
The following lemma is a reformulation of lemma 3 for C o d σ .
Lemma 4 
(Invariant coding lemma). Let u , v Z with u not null, such that ( u , v ) = 1 and ( u , 2 ) = 1 then
  • C o d σ u j ( v ) = C o d σ j v u for j 0 .
  • if v is odd then
    C o d σ u j ( v ) = C o d σ u v j ( 1 ) for j 0 .
Proof. 
Reformulation of the Lemma 3 □
Proposition 24 
(Change of basis of the Cod-Sigma function). Let N 1 = j = 1 n 1 δ j 2 j and N 2 = j = 1 n 2 ε j 2 j with δ j , ε j { 0 , 1 } , and a N such that N 1 , N 2 2 a 1 . Let H : R R given by H ( x ) = x + N 1 N 2 2 a . Then if x 0 E ( H ) and N 2 is an odd number we have
C o d σ N 1 a ( x 0 ) = 0 , , 0 , ε n 2 , . ε 0 , a
or if N 1 is an odd number we have
C o d σ N 2 a ( x 0 ) = 0 , , 0 , δ n 1 , , δ 0 a
Additionally. if N 1 , N 2 are odd numbers we have
σ N 1 a ( x 0 ) = σ N 2 a ( x 0 )
Proof. 
Let’s prove by induction that if N 2 is odd, then
C o d σ N 2 a ( x 0 ) = 0 , , 0 , δ n 1 , , δ 0 a .
Completing with δ j = 0 if necessary, we have N 1 = j = 1 n 1 δ j 2 j = j = 1 a 1 δ j 2 j , then
x + N 1 N 2 2 a = x + δ 0 N 2 2 + δ 1 N 2 2 + δ 2 N 2 2 + δ a 1 N 2 2 = j = 1 a x + δ j N 2 2
Since we trivially have that ( 1 , 2 ) = 1 and by hypothesis we have that x 0 E ( H ) , by the Lemma 1 we have
x 0 E j = 1 K x + δ j N 2 2 for all K a
In particular, for K = 0 , we have x 0 E x + δ 0 N 2 2 and N 2 is odd, we have E ( θ ) E ( λ N 2 ) = then σ N 2 ( x 0 ) = x 0 + δ 0 N 2 2 .
For K = 1 , we have x 0 E x + δ 1 N 2 2 x + δ 0 N 2 2 , then σ N 2 ( x 0 ) E x 0 + δ 1 N 2 2 , then σ N 2 2 ( x 0 ) = x 0 + N 2 ( δ 0 + δ 1 2 ) 2 2 . Suppose this continues until for K = r i.e.
σ N 2 r ( x 0 ) = x 0 + N 2 j = 1 r 1 δ j 2 j 2 r Z
We have that x 0 E j = 1 r + 1 x + δ j N 2 2 then by definitions j = 1 r + 1 x 0 + δ j N 2 2 Z and by inductive hypothesis σ N 2 r ( x 0 ) = j = 1 r x 0 + δ j N 2 2 Z then σ N 2 r ( x 0 ) E x + δ r N 2 2 . Therefore, σ N 2 r + 1 ( x 0 ) = x 0 + N 2 j = 1 r δ j 2 j 2 r + 1 . Then we have to
σ N 2 a ( x 0 ) = x 0 + N 2 j = 1 a 1 δ j 2 j 2 a = x 0 + N 2 N 1 2 a .
Similarly, Completing with δ j = 0 if necessary we have. Let N 2 = j = 1 n 2 ε j 2 j = j = 1 a 1 ε j 2 j , then
σ N 1 a ( x 0 ) = x 0 + N 1 j = 1 a 1 ε j 2 j 2 a = x 0 + N 1 N 2 2 a
Now. If N 1 , N 2 are odd numbers, we have
σ N 1 a ( x 0 ) = σ N 2 a ( x 0 )
In particular, we have
σ N 2 a ( x 0 ) = x + δ 0 N 2 2 + δ 1 N 2 2 + δ 2 N 2 2 + δ a 1 N 2 2 = x + ε 0 N 1 2 + ε 1 N 1 2 + ε 2 N 1 2 + ε a 1 N 1 2 = σ N 1 a ( x 0 )
then we have that the coding of σ N 2 a ( x 0 ) is δ a 1 δ 1 δ 0 and of the σ N 1 a ( x 0 ) is ε a 1 ε 1 ε 0 .
Example 10. 
Let H ( x ) = x + 15 2 5 , we have x 0 = 2 5 15 = 17 E ( H ) , then
  • σ 3 ( 17 ) = 10 , σ 3 ( 10 ) = 5 , σ 3 ( 5 ) = 4 , σ 3 ( 4 ) = 2 , σ 3 ( 2 ) = 1 then σ 3 5 ( 17 ) = 1 . Then we have C o d σ 3 ( 17 ) = 00101 taking the coding coefficients, to base 2 we have
    1 · 2 0 + 0 · 2 1 + 1 · 2 2 + 0 · 2 3 + 0 · 2 4 = 5 .
  • σ 5 ( 17 ) = 11 , σ 5 ( 11 ) = 8 , σ 5 ( 8 ) = 4 , σ 5 ( 4 ) = 2 , σ 5 ( 2 ) = 1 , then σ 5 5 ( 17 ) = 1 . Then we have C o d σ 5 ( 17 ) = 00011 taking the coding coefficients, to base 2 we have
    1 · 2 0 + 1 · 2 1 + 0 · 2 2 + 0 · 2 3 + 0 · 2 4 = 3 .
We observe that the obits are equal from the third iteration, which corresponds to the maximum power of two, where all subsequent coefficients are null. We can also observe that from the third term, the values that appear in the orbits are even, they, unfortunately, cannot continue forever, since as we have seen, the orbit of the sigma functions falls into a periodic orbit with the same number of even and odd numbers, so at some point this orbit must fall into an odd one, which means all the initial values must change.
Proposition 25. 
Let r N and γ = 3 b 1 and let k N such that r < 2 2 γ k and δ j { 0 , 1 } such that r 2 2 γ k 1 3 γ = j = 1 2 γ k 1 δ j 2 j then C o d σ 3 γ 2 γ k ( r ) = δ 2 γ k 1 , , δ 0 .
Proof. 
Let H : R R given by H ( x ) = 3 γ x + r 2 2 γ k , then we want to find the minimum positive value of H , then solving the following equation.
3 γ x + r 2 2 γ k = σ 3 γ 2 γ k ( r )
By Proposition 17 we have σ 3 γ 2 γ k ( r ) = r , then
3 γ x + r 2 2 γ k = r then x = 2 2 γ k r r 3 γ = r 2 2 γ k 1 3 γ
Let δ j { 0 , 1 } such that r 2 2 γ k 1 3 3 γ = j = 1 2 γ k 1 δ j 2 j . By Proposition 24 we have
C o d σ 3 γ 2 γ k ( r ) = δ 2 γ k 1 , , δ 0
Corollary 5. 
Let r 1 , r 2 N . Then
C o d σ 3 b a ( r 1 + r 2 ) = C o d σ 3 b a ( r 1 ) + C o d σ 3 b a ( r 2 ) mod 2 a .
Proof. 
Let γ = 3 b 1 , r = r 1 + r 2 and H : R R given by H ( x ) = 3 γ x + r 2 a by Proposition 18 we have
3 γ x + r 2 a = σ 3 γ a ( r ) = σ 3 γ a ( r 1 ) + σ 3 γ a ( r 2 ) 3 3 γ u with u Z
Then
x = 2 a σ 3 γ a ( r 1 ) r 1 3 γ + 2 a σ 3 γ a ( r 2 ) r 2 3 γ 2 a u
Let k N such that r < 2 2 γ k and 2 γ k > a and let δ j , ε j , η j { 0 , 1 } such that
r 1 2 2 γ k 1 3 γ = j = 1 2 γ k 1 δ j 2 j r 2 2 2 γ k 1 3 γ = j = 1 2 γ k 1 ε j 2 j and r 2 2 γ k 1 3 γ = j = 1 2 γ k 1 η j 2 j
by Proposition 25 we have
2 a σ 3 γ a ( r 1 ) r 1 3 γ ( Base 2 ) = { δ j } j = 1 a 1 2 a σ 3 γ a ( r 2 ) r 2 3 γ ( Base 2 ) = { ε j } j = 1 a 1 and 2 a σ 3 γ a ( r ) r 3 γ ( Base 2 ) = { η j } j = 1 a 1
Then we have
2 a σ 3 γ a ( r ) r 3 γ = 2 a σ 3 γ a ( r 1 ) r 1 3 γ + 2 a σ 3 γ a ( r 2 ) r 2 3 γ 2 a u if and only if j = 1 a 1 η j 2 j = j = 1 a 1 δ j 2 j + j = 1 a 1 ε j 2 j 2 a u
Then we have j = 1 a 1 η j 2 j = j = 1 a 1 δ j 2 j + j = 1 a 1 ε j 2 j mod 2 a , therefore
C o d σ 3 γ a ( r ) = C o d σ 3 γ a ( r 1 ) + C o d σ 3 γ a ( r 2 ) mod 2 a
Proposition 26. 
Let r 1 , r 2 N . Then C o d σ 3 b : N Z 2 is linear:
C o d σ 3 b ( r 1 + r 2 ) = C o d σ 3 b ( r 1 ) + C o d σ 3 b ( r 2 ) Z 2
Proof. 
By Corollary 5 we have C o d σ 3 b n ( r 1 + r 2 ) = C o d σ 3 b n ( r 1 ) + C o d σ 3 b n ( r 2 ) mod 2 n for all n N , this is equivalent to
| | C o d σ 3 b n ( r 1 + r 2 ) C o d σ 3 b n ( r 1 ) + C o d σ 3 b n ( r 2 ) | | 2 < 2 n for all n N
Therefore
C o d σ 3 b ( r 1 + r 2 ) = C o d σ 3 b ( r 1 ) + C o d σ 3 b ( r 2 ) Z 2
Example 11. 
1. 
Let S ( x ) = 9 x + 5 2 4 , we have
σ 9 4 ( 5 ) = σ 9 4 ( 3 ) + σ 9 4 ( 2 ) mod 9
(a) 
O σ 9 4 ( 3 ) = { 3 , 6 , 3 , 6 , 3 } then C o d σ 9 4 ( 3 ) = 0101 .
(b) 
O ( σ 9 4 ( 2 ) ) = { 2 , 1 , 5 , 7 , 8 } then C o d σ 9 4 ( 2 ) = 1110 .
C o d σ 9 4 ( 5 ) = C o d σ 9 4 ( 3 ) + C o d σ 9 4 ( 2 ) mod 2 4 = 1110 + 0101 mod 2 4 = 0011
O ( σ 9 4 ( 5 ) ) = { 5 , 7 , 8 , 4 , 2 } then C o d σ 9 4 ( 5 ) = 0011 , Then we have ρ 0 ( S ) = 1 + 2 = 3
S ( 3 ) = 9 · 3 + 5 2 4 = 2
2. 
Let S ( x ) = 9 x + 3 + 2 θ 1 2 θ 1 + θ 2 with θ 1 even. We have
σ 9 θ 1 + θ 2 ( 3 + 2 θ 1 ) = σ 9 θ 1 + θ 2 ( 3 ) + σ 9 θ 1 + θ 2 ( 2 θ 1 ) mod 9 = 3 σ 3 θ 1 + θ 2 + σ 9 θ 1 + θ 2 ( 2 θ 1 ) mod 9
Then
C o d σ 9 θ 1 + θ 2 ( 3 + 2 θ 1 ) = C o d σ 9 θ 1 + θ 2 ( 3 ) + C o d σ 9 θ 1 + θ 2 ( 2 θ 1 ) mod 2 θ 1 + θ 2 = C o d σ 3 θ 1 + θ 2 + C o d σ 9 θ 1 + θ 2 ( 2 θ 1 ) mod 2 θ 1 + θ 2
(a) 
O ( σ 3 θ 1 + θ 2 ) = { 1 , 2 , 1 , 2 , 1 , 2 , } then C o d σ 3 θ 1 + θ 2 = 010101 θ 1 + θ 2 .
(b) 
O ( σ 9 θ 1 + θ 2 ( 2 θ 1 ) ) = { 2 θ 1 , 2 θ 1 1 , , 1 , 5 , 7 , 8 , 4 , 2 , 1 , 5 , 7 , 8 , 4 , 2 , 1 , } then
C o d σ 9 θ 1 + θ 2 ( 2 θ 1 ) = 000111000111 θ 2 00000 θ 1
.
Then we have
C o d σ 9 θ 1 + θ 2 ( 3 + 2 θ 1 ) = 000111000111 θ 2 00000 θ 1 + 010101 θ 1 + θ 2 mod 2 θ 1 + θ 2 = 00011100011100011100 θ 2 1010101010 θ 1 mod 2 θ 1 + θ 2 = C o d σ 9 θ 2 2 00 C o d σ 3 θ 1 mod 2 θ 1 + θ 2
Then we have ρ 0 ( S ) ( base 2 ) = C o d σ 9 θ 2 2 00 C o d σ 3 θ 1 mod 2 θ 1 + θ 2 .
3. 
Let S n ( x ) = 3 n x + 4 n 3 n 4 n
σ 3 n 2 n ( 4 n 3 n ) = σ 3 n 2 n ( 4 n ) σ 3 n 2 n ( 3 n ) = 1 3 n σ 1 2 n = 1 mod 3 n
On the other hand
(a) 
O ( σ 3 n 2 n ( 2 2 n ) ) = { 2 2 n , 2 2 n 1 , 2 2 n 2 , , 1 } then C o d σ 3 n 2 n ( 2 2 n ) = 00000 2 n .
(b) 
O ( σ 3 n 2 n ( 3 n ) ) = { 3 n , 3 n , 3 n , 3 n } then C o d σ 3 n 2 n ( 3 n ) = 11111111 2 n .
Then we have
0 0 2 n 1 1 2 n mod 2 2 n = 1 0 0 2 n 0 1 1 2 n mod 2 2 n = 1 mod 2 2 n = 1
Then
C o d σ 3 n 2 n ( 4 n 3 n ) = 00 001
That is, C o d σ 3 n 2 n ( 4 n 3 n ) has a constant coding equal to 1. This is natural, since S n is stable.
Lemma 5 
(Rational equivalence of the Cod-Sigma function.). Let b N , then we have
C o d σ 3 b = 1 3 b Z 2
Furthermore. Let u N , then
C o d σ 3 b ( u ) = u 3 b Z 2
Proof. 
Let u = γ b ¯ Z 2 with γ b = C o d σ 3 b 2 · 3 b 1 . Let u = x then multiplying by 2 2 · 3 b 1 we have u 0 0 2 · 3 b 1 = 2 2 · 3 b 1 x and subtracting, we have
u u 0 0 2 · 3 b 1 = ( 2 2 · 3 b 1 1 ) x γ b = ( 2 2 · 3 b 1 1 ) x
On the other hand we have that γ b = 2 2 · 3 b 1 1 3 b , then
2 2 · 3 b 1 1 3 b = ( 2 2 · 3 b 1 1 ) then we have x = 1 3 b
Other way for proof it, is
u = n = 0 u n 2 n = n = 0 2 · 3 b 1 1 u n 2 n + n = 2 · 3 b 1 4 · 3 b 1 1 u n 2 n + n = 4 · 3 b 1 6 · 3 b 1 1 u n 2 n = C o d σ 3 b 2 · 3 b 1 + 2 2 · 3 b 1 C o d σ 3 b 2 · 3 b 1 + 2 2 · 3 b 1 2 C o d σ 3 b 2 · 3 b 1 + = C o d σ 3 b 2 · 3 b 1 n = 0 2 2 · 3 b 1 n = C o d σ 3 b 2 · 3 b 1 1 1 2 2 · 3 b 1 = 1 2 2 · 3 b 1 3 b 1 1 2 2 · 3 b 1 = 1 3 b
Now let’s demonstrate the second part. Let v N
C o d σ 3 b k ( v ) = v 1 2 2 · 3 b 1 k 3 b = v 3 b + v 2 2 · 3 b 1 k 3 b
On the other hand
C o d σ 3 b k ( v ) v 3 b 2 2 2 · 3 b 1 k 0 as k
Therefore C o d σ 3 b ( v ) = v 3 b
Definition 17 
(Null Tail). we will say that { ξ j } j = 1 Σ 2 * has a null tail of index J if J > 0 the smallest index such that j > J we have ξ j = 0 .
Proposition 27. 
Let ξ = 0 θ 1 j = 2 10 θ j Σ 2 * with θ 1 0 and θ k > 0 for k > 1 and a n = j = 1 n θ j . We define π k ( ξ ) 1 = j = 1 k 2 a j 3 j . Let ξ Σ 2 * with null tail of index K given by ξ = 0 θ 1 j = 2 K 10 θ j j = K + 1 0 θ j with θ 1 0 , θ k > 0 for K k > 1 and θ j = 1 for j > K . We define π k 1 ( ξ ) = j = 1 k 2 a j 3 j if k < K and π k 1 ( ξ ) = j = 1 K 1 2 a j 3 j if k K . We define the π 1 function given by π 1 : Σ 2 * Z 2 and definite by π 1 ( ξ ) = j = 1 2 a j 3 j if ξ is not null tail and π 1 ( ξ ) = j = 1 K 1 2 a j 3 j if ξ has a null tail of index K Then we have π 1 ( ξ ) , π k 1 ( ξ ) Z 2 and
C o d σ ( π 1 ( ξ ) ) = π 1 ( ξ ) Z 2 .
Proof. 
Without losing generality, let’s assume that ξ does not have a null tail.
Claim 1: Let ξ Σ 2 * and k N , the we have C o d σ π k 1 ( ξ ) = π k 1 ( ξ ) Z 2 .
Indeed. Let k N and ξ Σ 2 * . By Lemma 4, Proposition 26 and Lemma 5, we have
C o d σ π k 1 ( ξ ) = C o d σ j = 1 k 2 a j 3 j = C o d σ 3 k j = 1 k 2 a j 3 k j = j = 1 k C o d σ 3 k 2 a j 3 k j = j = 1 k C o d σ 3 j 2 a j = j = 1 k 2 a j 3 j = π k 1 ( ξ )
Since 2 a j 3 j Z 2 then π k 1 ( ξ ) Z 2 .
Claim 2:  lim k π k 1 ( ξ ) = π 1 ( ξ ) Z 2 .
Indeed. We have the following equivalence on Q 2 (Proposition 3.3 page 76 of [7])
π 1 ( ξ ) = n = 1 2 a n 3 n Q 2 if and only if lim k 2 a k 3 k = 0 on Q 2
On the other hand
2 a k 3 k 2 = C o d σ 3 b ( 2 a k ) 2 = C o d σ 3 b 0 a k 2 = 2 a k 0 sin ce a k it is increasing
Therefore π 1 ( ξ ) = n = 1 2 a n 3 n Q 2 . On the other hand, we have that π k 1 ( ξ ) is a Cauchy sequence on Z 2 . Indeed
π k + 1 1 ( ξ ) π k 1 ( ξ ) 2 = 2 a k + 1 3 k + 1 2 = 2 a k + 1 0 as k
and by Proposition 2.10 page 59 of [7], we also have that Z 2 is a complete metric space, then lim k π k 1 ( ξ ) = π 1 ( ξ ) Z 2 . □
We will now show a connection between the minimum positive integer value and the encoding of the sigma function.
Lemma 6. 
Let S k θ , ψ with C o d ( S k ) = 0 θ 1 10 θ 2 10 θ k 10 θ k + 1 . Then ρ 0 ( S k ) = C o d σ a k + 1 N k 3 k
Proof. 
Let S k θ , ψ . Then
ρ 0 ( S k ) = 2 a k + 1 3 k σ 3 k a k + 1 ( N k ) N k 3 k = 2 a k + 1 3 k N k 2 a k + 1 + 3 k C o d σ a k + 1 N k 3 k 2 a k + 1 N k 3 k = C o d σ 3 k a k + 1 ( N k ) = C o d σ a k + 1 N k 3 k .
As a consequence of the next proposition, we have that if π 1 is a negative or non-integer number, the minimum value diverges, since we have that the dyadic representation of these numbers always has an infinite amount of numbers.
Proposition 28. 
Let { S k } k N and ξ = C o d { S k } k N . Then ρ 0 ( S k ) = C o d σ π 1 ( ξ ) mod 2 A k , where A k is the quantity of 0 of C o d ( S k )
Proof. 
Let us assume without loss of generality that ξ is not null tail.Let ξ = C o d ( { S k } k N = 0 θ 1 j = 2 10 θ j . So
C o d σ π 1 ( ξ ) C o d σ a k + 1 N k 3 k 2 = π 1 ( ξ ) π k 1 ( ξ ) 2 2 a k + 1 , sin ce π k 1 ( ξ ) = π 1 ( ξ ) mod 2 a k + 1
Then C o d σ a k + 1 N k 3 k = C o d σ π 1 ( ξ ) mod 2 a k + 1 .

7. The G 0 , G and G 1 sets

Let ξ Σ 2 * . Let b k the quantity of 1 of { ξ j } j = 1 k . Define the function 3 b k ( ξ ) 2 a k + 1 ( ξ ) . This function corresponds to the slope of the function S k such that C o d k ( S k ) = { ξ j } j = 1 k . Let us consider three subsets that will be relevant to study the non-existence of divergent orbits. G 1 , G and G 1 which correspond to the subset of the sequences such that 3 b k ( ξ ) 2 a k + 1 ( ξ ) converges to 0, and some real respectively.

7.1. Summary of Propositions in the Section

  • Definition 18: Sets G 0 , G and G 1 .
  • Lemma 7: Characterization of G 0 and G through accumulation points of a k + 1 k .
  • Proposition 29: Let ξ G 1 then exists M , m > 0 such that m < 3 k 2 a k + 1 < M .
  • Lemma 8: Let 0 < ε < L 7 , then ε satisfies the following inequalities L + ε < 3 2 ( L ε ) and 3 2 θ k + 2 ( L + ε ) < L ε if θ k + 2 2 .
  • Proposition 30: Let ξ G 1 , then 3 k 2 a k + 1 is not convergent.

7.2. The G 0 , G and G 1 sets

We can consider the following set of Σ 2 * :
Definition 18 
(The G 0 , G and G 1 sets). Let ξ = 0 θ 1 j = 2 10 θ j Σ 2 * with θ 1 0 and θ k > 0 for k > 1 or ξ = 0 θ 1 j = 2 K 10 θ j j = K + 1 0 θ j Σ 2 * with θ 1 0 , θ k > 0 for K k > 1 and θ j = 1 for j > K . Let a n = j = 1 n θ j . We will consider the following subsets of Σ 2 *
G 0 = ξ Σ 2 * : lim inf k a k + 1 k > ln ( 3 ) ln ( 2 ) on R or ξ is Null Tail ,
G = ξ Σ 2 * : lim sup k a k + 1 k < ln ( 3 ) ln ( 2 ) on R or ξ is Null Tail
and
G 1 = ξ Σ 2 * : lim k a k + 1 k = ln ( 3 ) ln ( 2 ) on R
Example 12.
  • Let ξ 1 Σ 2 * such that a k = 3 k + ( 1 ) k , then ξ 1 G 0 .
  • ξ 2 Σ 2 * such that a k = k + ln ( k ) , then ξ 2 G
  • Let ξ Σ 2 * such that a k = k ln ( 3 ) ln ( 2 ) , then ξ G 1
Figure 2. The sequences in G 0 have their counting function 0 above the graph of the function ln ( 3 ) ln ( 2 ) x , the sequences in G have their counting function 0 below the graph of ln ( 3 ) ln ( 2 ) x and the sequences in G 1 have their counting function 0 tending to the graph of the function ln ( 3 ) ln ( 2 ) x .
Figure 2. The sequences in G 0 have their counting function 0 above the graph of the function ln ( 3 ) ln ( 2 ) x , the sequences in G have their counting function 0 below the graph of ln ( 3 ) ln ( 2 ) x and the sequences in G 1 have their counting function 0 tending to the graph of the function ln ( 3 ) ln ( 2 ) x .
Preprints 144896 g002
The following result establishes a characterization of the elements of G 0 and G . We begin by providing a technical definition that we will use for the subsequent results.
Lemma 7. 
Let ξ Σ 2 * such that ξ is not null tail, then
  • ξ G 0 if and only if 3 k 2 a k + 1 0 as k .
  • ξ G if and only if 3 k 2 a k + 1 as k .
Proof.
  • Let’s suppose that 3 k 2 a k + 1 0 as k and suppose that lim inf k a k + 1 k < ln ( 3 ) ln ( 2 ) . Then let a k l + 1 k l = inf k > k l a k + 1 k , then exist K , ε > 0 such that a k l + 1 k l + ε < ln ( 3 ) ln ( 2 ) for k > K , then we have,
    3 k l 2 a k l + 1 = 3 2 a k l + 1 k l k l > 3 2 ln ( 3 ) ln ( 2 ) ε k l = 2 k l ε as l
    which is a contradiction.
    Now, let ξ G 0 then lim inf k a k + 1 k > ln ( 3 ) ln ( 2 ) . Then exist K , ε > 0 such that a k + 1 k ε > ln ( 3 ) ln ( 2 ) for all k > K . Then
    3 k 2 a k + 1 = 3 2 a k + 1 k k < 3 2 ln ( 3 ) ln ( 2 ) + ε k = 2 k ε 0 as k
  • Let’s suppose that 3 k 2 a k + 1 as k and lim sup k a k + 1 k > ln ( 3 ) ln ( 2 ) . Let a k l + 1 k l = sup k > k l a k + 1 k , then exist K , ε > 0 such that a k l + 1 k l ε > ln ( 3 ) ln ( 2 ) for k > K , then we have,
    3 k l 2 a k l + 1 = 3 2 a k l + 1 k l k l < 3 2 ln ( 3 ) ln ( 2 ) + ε k l = 2 k l ε 0 as l
    which is a contradiction.
    Now, Let ξ G then lim sup k a k + 1 k < ln ( 3 ) ln ( 2 ) , Then exist K , ε > 0 such that a k + 1 k + ε < ln ( 3 ) ln ( 2 ) for all k > K . Then
    3 k 2 a k + 1 = 3 2 a k + 1 k k > 3 2 ln ( 3 ) ln ( 2 ) ε k = 2 k ε as k
Now we will show what happens when ξ G 1 .
Proposition 29. 
Let ξ G 1 then exists M , m > 0 such that m < 3 k 2 a k + 1 < M on R .
Proof. 
Let ξ G 1 , then lim k a k + 1 k = ln ( 3 ) ln ( 2 ) . Let’s prove that exists M , m > 0 such that m < 3 k 2 a k + 1 < M . If there exists a subsequence a k l + 1 such that 3 k l 2 a k l + 1 0 as l then lim l a k l + 1 k l > ln ( 3 ) ln ( 2 ) which contradicts the fact that lim k a k + 1 k = ln ( 3 ) ln ( 2 ) . On the other hand if there exists a subsequence a k l + 1 such that 3 k l 2 a k l + 1 as k then lim l a k l + 1 k l < ln ( 3 ) ln ( 2 ) which contradicts the fact that lim k a k + 1 k = ln ( 3 ) ln ( 2 ) , then exists M , m > 0 such that m < 3 k 2 a k + 1 < M . □
Lemma 8. 
Let 0 < ε < L 7 , then ε satisfies the following inequalities L + ε < 3 2 ( L ε ) and 3 2 θ k + 2 ( L + ε ) < L ε if θ k + 2 2 .
Proof. 
Let us verify that ε satisfying 0 < ε < L 7 satisfies both inequalities.
  • For the first inequality: L + ε < 3 2 ( L ε ) , expanding and simplifying, we have ε < L 5 . Since ε is less than L 7 < L 5 , this inequality is satisfied.
  • For the second inequality: First we will prove the following inequality
    1 7 2 θ k + 2 3 3 + 2 θ k + 2
    for θ k + 2 2 , indeed
    1 7 2 θ k + 2 3 3 + 2 θ k + 2 this is equivalent to 24 6 · 2 θ k + 2
    this inequality is also satisfied.
    Now 3 2 θ k + 2 ( L + ε ) < L ε , then
    ε < L 2 θ k + 2 3 3 + 2 θ k + 2 .
    Since ε is less than L 2 2 3 3 + 2 2 and L 2 2 3 3 + 2 2 L 2 θ k + 2 3 3 + 2 θ k + 2 .
Proposition 30. 
Let ξ G 1 , then 3 k 2 a k + 1 is not convergent on R .
Proof. 
Suppose that ξ = 0 θ 1 i = 2 10 θ i and exist L > 0 such that lim k 3 k 2 a k + 1 = L . Let 0 < ε < L 7 then exist K > 0 such that L ε < 3 k 2 a k + 1 < L + ε . On the other hand we have 3 k + 1 2 a k + 2 = 3 2 θ k + 2 3 k 2 a k + 1 , so
3 2 θ k + 2 ( L ε ) < 3 k + 1 2 a k + 2 < 3 2 θ k + 1 ( L + ε )
By Lemma 8 we have
  • if θ k + 2 = 1 , then L + ε < 3 2 ( L ε ) . Therefore 3 k + 1 2 a k + 2 ( L ε , L + ε )
  • if θ k + 2 2 . then 3 2 θ k + 2 ( L + ε ) < L ε . Therefore 3 k + 1 2 a k + 2 ( L ε , L + ε )
Therefore 3 k 2 a k + 1 is not convergent. □

8. The Extension of Collatz Function on Z 2

In this section we will study the extension of the Collatz function on Z 2 proposed by Lagaria in [9], and in an analogous way we will define the dyadic integer sets and the encoding set. We will prove that given an coding there exists a unique dyadic integer with this coding. We will show that this extension is topologically conjugate to the shift function in Σ 2 * and we will use this result to prove that codings in G 1 are unstable.

8.1. Summary of Propositions in the Section

  • Lemma 9: Equivalence of the parity of fractions and their dyadic representation.
  • Definition 19: Extension of the Collatz function on the set of dyadic numbers and the definitions of dyadic integer set and coding set.
  • Proposition 31: Characterization of the dyadic integer set.
  • Proposition 32: Establishes that the Coding set and the Dyadic Integer Set are the same.
  • Proposition 33: It establishes that given a coding there is a unique dyadic number with said coding.
  • Theorem 5: The Collatz function on the set of dyadic numbers is topologically conjugate to the Shift function.
  • Corollary 6: The periodic points of the Collatz function in Z 2 are dense in Z 2 .
  • Proposition 34: The periodic sequences of G 0 correspond to positive periodic points of the Collatz functions and the periodic sequences of G correspond to negative periodic points of the Collatz functions.

8.2. Extension of the Collatz Function on Z 2

Now we are going to extend the Collatz function to the set of Z 2 . In order for the extension to be compatible with the results obtained in the previous sections, we will first show that the parity of the elements of Q o d d is preserved in Z 2 .
Lemma 9. 
Let β = i = 1 δ i 2 i Z 2 the dyadic representation of p q Q o d d , then p is even if and only if δ 0 = 0 and p is odd if and only if δ 0 = 1 .
Proof. 
Let p a even number, so we have
p q = 2 k q = δ 0 + 2 M for any M Z 2 , so 2 k = q δ 0 + 2 M q then δ 0 = 0 . Sin ce q is odd number
Let p a odd number, so we have
p q = 2 k + 1 q = δ 0 + 2 M for any M Z 2 , so 2 k + 1 = q δ 0 + 2 M q then δ 0 = 1 . Sin ce q is odd number
Now let us consider the following extension of the Collatz function on Z 2 .
Definition 19. 
Let C o l : Z 2 Z 2 given by
C o l ( β ) = 3 β + 1 2 if β mod 2 = 1 β 2 if β mod 2 = 0
C o d k ( β ) = { η i } i = 1 k with η i = 0 if C o d i 1 ( β ) = 0 mod 2 and η i = 10 if C o d i 1 ( β ) = 1 mod 2 . Let ξ Σ 2 * then we defined the k Coding set of ξ
C o d k ( ξ ) = β Z 2 ; C o d k ( β ) = { ξ } i = 1 k
Let S θ , ψ , we define the dyadic integer set of S as
D ( S ) = { β Z 2 ; S ( β ) Z 2 }
Next we will show the version in Z 2 to the results seen in previous Sections. The following Proposition characterizes the set of dyadic integers of S k θ , ψ analogously to the entire set.
Proposition 31. 
Let ξ = 0 θ 1 j = 2 10 θ j Σ 2 * and S k θ , ψ such that C o d ( S k ) = 0 θ 1 j = 2 k + 1 10 θ j . Let β D ( S k ) , then D ( S k ) = β 0 + 2 a k + 1 Z 2 .
Proof. 
Let β 0 D ( S k ) then we have β 0 + 2 a k + 1 Z 2 D ( S k ) . Indeed. Let ξ Σ 2 * and S k θ , ψ such that C o d ( S k ) = 0 θ 1 j = 2 k + 1 10 θ j , then
S k ( x ) = 3 k x + N k 2 a k + 1
so
S k ( β 0 + 2 a k + 1 Z 2 ) = 3 k ( β 0 + 2 a k + 1 Z 2 ) + N k 2 a k + 1 = 3 k β 0 + N k 2 a k + 1 + Z 2 Z 2
Now D ( S k ) β 0 + 2 a k + 1 Z 2 . Let β D ( S k ) , so 3 r β + N k = 0 mod 2 a k + 1 , so
3 k β + N r ( 3 k β 0 + N k ) = 0 mod 2 a k + 1 3 k ( β β 0 ) = 0 mod 2 a k + 1 β β 0 = 0 mod 2 a k + 1
Therefore, we have
β β 0 = 0 0 2 a k + 1 α = 2 a k + 1 α , with α Z 2 β = β 0 + 2 a k + 1 α
The following proposition states that the entire dyadic set is equal to the coding set of S k .
Proposition 32. 
Let ξ = 0 θ 1 j = 2 10 θ j Σ 2 * and S k θ , ψ such that C o d ( S k ) = 0 θ 1 j = 2 k + 1 10 θ j . Then D ( S k ) = C o d a k + 1 ( ξ ) .
Proof. 
Let β C o d a k + 1 ( ξ ) , so by definition we have C o d a k + 1 ( β ) = 0 θ 1 j = 2 k + 1 10 θ j . We can rewrite as β = β k + 2 a k + 1 α k for any α k Z 2 and β a k + 1 = β mod 2 a k + 1 . We Claim that β a k + 1 C o d a k + 1 ( ξ ) . Indeed
C o l l ( β ) = C o l l ( β k ) + 2 a k + 1 l α k with l a k + 1 ,
We have that the parity on the right side only depends on C o l l ( β a k + 1 ) , then the latter must have the same j coding as C o l j ( β ) by Proposition 11 we have β a k + 1 E ( S k ) . So S k ( β ) = S k ( β k ) + α k Z 2 , so β D ( S k ) .
Let β D ( S k ) and let β k = β mod 2 a k + 1 , then β k D ( S k ) . On the other hand, since β a k + 1 trivially has a representation as a natural number, we have that S k ( β a k + 1 ) it is also a natural number, so β a k + 1 E ( S k ) by Proposition 11 we have that β a k + 1 C o d a k + 1 ( ξ ) . By hypothesis we have that β a k + 1 = β mod 2 a k + 1 , then exist α k Z 2 such that β = β a k + 1 + 2 a k + 1 α k , applying S k l times with l a k + 1 , we have
C o l l ( β ) = C o l l ( β k ) + 2 a k + 1 l α k
Since 2 a k + 1 l α k is always even for all l < a k + 1 , we have that the parity of each iteration only depends on C o l l ( β k ) , then β C o d a k + 1 ( ξ ) . □
In theorem 3 we saw that given ξ Σ 2 * if there exists a rational whose encoding is exactly ξ , then it is the only rational solution. However we could not guarantee the existence of such a number. The following Proposition guarantees us that there exists a solution in the set of dyadic numbers.
Proposition 33. 
Let ξ Σ 2 * , then exist an unique β Z 2 such that C o d ( β ) = ξ .
Proof. 
Let ξ = 0 θ 1 j = 2 10 θ j Σ 2 * by Lemma 27 we have π 1 ( ξ ) Z 2 . Now we are going to prove that:
Claim  π 1 ( ξ ) C o d a k + 1 ( ξ ) for all k N . Indeed, let S k θ , ψ such that C o d ( S k ) = 0 θ 1 j = 2 k + 1 10 θ j then S k ( x ) = 3 k x + N k 2 a k + 1 , we have S k ( π k 1 ( ξ ) ) = 0 for all k N , Then
π 1 ( ξ ) = π k 1 ( ξ ) j = k + 1 2 a j 3 j so S k ( π 1 ( ξ ) ) = S k ( π k 1 ( ξ ) ) 3 k 2 a k + 1 j = k + 1 2 a j 3 j = j = k + 1 2 a j a k + 1 3 j k Z 2 sin ce j = k + 1 2 a j a k + 1 3 j k 2 = 2 0 = 1
By Proposition 32 we have π 1 ( ξ ) C o d a k + 1 ( ξ ) for all k N . Since C o d k ( ξ ) C o d k 1 ( ξ ) , we have
lim k π k 1 ( ξ ) k N C o d a k + 1 ( ξ ) = C o d ( ξ )
Suppose there exists another dyadic integer α such that it is also in C o d ( ξ ) , then
α , π 1 ( ξ ) C o d ( S k ) for all k N so π 1 ( ξ ) α 2 < 2 a k + 1 0 as k
Therefore α = π 1 ( ξ ) . □
The existence of solutions to the equation C o d ( β ) = ξ in the dyadic numbers does not guarantee the existence of rational solutions. This will depend primarily on whether the dyadic solution can be represented as a rational number or, more generally, as a real number. Based on the nature of this solution, we can determine whether or not a rational solution exists.

8.3. Topological Conjugation

The Shift function ω on Σ 2 * is defined as the mapping that deletes the first term of the sequence. The following theorem states that the Collatz function on Z 2 is dynamically equivalent to the Shift function on Σ 2 * and that the function π 1 is a homeomorphism between these two spaces. A similar result can be found in [9] where the Shift function is defined on Z 2 instead of Σ 2 * .
Theorem 5 
( C o l is topologically conjugate to ω ). Let ω : Σ 2 * Σ 2 * given by
ω { ξ j } j = 1 = { ξ j + 2 } j = 1 if ξ 1 = 1 { ξ j + 1 } j = 1 if ξ 1 = 0
C o l is topologically conjugate to ω i.e the following diagram is commutative
Preprints 144896 i005
and π 1 is a homemorphism.
Proof. 
Let’s first prove that the diagram is commutative.
Let { ξ j } j = 1 = 10 θ 1 10 θ 2 = j = 1 10 θ j Σ 2 * with θ j N . Writing this way, we get an explicit form for the function a k = j = 1 k θ j . If a 1 = 0 we have
C o l ( π 1 ) j = 1 10 θ j = C o l k = 1 2 a k ( { ξ j } j = 1 ) 3 k = 1 2 3 k = 1 2 a k ( { ξ j } j = 1 ) 3 k + 1 = 1 2 k = 2 2 a k ( { ξ j } j = 1 ) 3 k 1 + 1 = 1 2 1 k = 2 2 a k ( { ξ j } j = 1 ) 3 k 1 + 1 = k = 2 2 a k ( { ξ j } j = 1 ) 1 3 k 1 = k = 1 2 a k + 1 ( { ξ j } j = 1 ) 1 3 k
and
π 1 ω j = 1 10 θ j = π 1 0 θ 1 1 j = 2 10 θ j = k = 1 2 a k + 1 ( { ξ i } i = 1 ) 1 3 k
where both parts are equal. On the other hand. suppose that { ξ j } j = 1 = 0 θ 1 10 θ 2 1 = j = 1 0 θ j 1 Σ 2 * with θ j N and θ 1 > 0 . We have
C o l ( π 1 ) j = 1 0 θ j 1 = C o l k = 1 2 a k ( { ξ i } i = 1 ) 3 k = k = 1 2 a k ( { ξ i } i = 1 ) 1 3 k
and
( π 1 ) ω j = 1 0 θ j 1 = ( π 1 ) θ θ 1 1 j = 1 0 θ j 1 = k = 1 2 a k ( { ξ j } j = 1 ) 1 3 k
where again both parts are equal. Then we conclude that the diagram is commutative.
Now we are going to prove that π 1 is a bijection.
Let C o d : Z 2 Σ 2 * given by ξ j = 0 if C o l j 1 ( β ) = 0 mod 2 and ξ j = 10 if C o l j 1 ( β ) = 1 mod 2 . Let’s prove that C o d π 1 ( ξ ) = ξ and π 1 C o d ( β ) = β
  • C o d π 1 = I d Σ 2 * : By Corollary 33 we have C o d ( π 1 ( ξ ) ) = ξ .
  • π 1 C o d = I d Z 2 : Let β Z 2 and ξ Σ 2 * such that ξ = C o d ( β ) , so β C o d k ( ξ ) for all k N . On the other hand we have π 1 ( ξ ) C o d k ( ξ ) for all k N . Let A k the number of 0 of C o d k ( ξ ) Exists γ k Z 2 for all k N such that β = π 1 ( ξ ) + 2 A k γ k so β = π 1 ( ξ ) mod 2 A k then β { π 1 ( ξ ) } 2 2 A k 0 as k Thus β = π 1 ( C o d ( β ) ) .
Let us show that the applications π 1 and C o d are uniformly continuous. Let D : Σ 2 * × Σ 2 * [ 0 , ) the symbolic metric of two symbols given by
D ( ξ , η ) = j = 1 1 2 j Δ ( ξ j , η j ) , with ξ j , η j { 0 , 10 }
and
Δ ( ξ j , η j ) = 1 if ξ j η j 0 if ξ j = η j
The space ( Σ 2 * , D ) is a complete metric space with the property that if two sequences are arbitrarily close if and only if their first terms are equal.
D ( ξ , η ) < 1 2 r if and only if ξ j = η j for all j < r .
π 1 is uniformly continuous: Let ε > 0 and A N such that 2 A < ε and ξ , η Σ 2 * . So let δ = 1 2 A + 2
D ( ξ , η ) < δ = 1 2 A + 2 then we have ξ j = η j for j A + 1
Let b A + 1 the number from 1 to the A + 1 -th term of ξ , then a k ( ξ ) = a k ( η ) for k b A + 1 ,
so k = 1 b A + 1 2 a k ( ξ ) 3 k = k = 1 b A + 1 2 a k ( η ) 3 k C o d A + 1 ( ξ ) , then in particular
k = 1 b A + 1 2 a k ( ξ ) 3 k = k = 1 b A + 1 2 a k ( η ) 3 k mod 2 A + 1
so
π 1 ( ξ ) = π 1 ( η ) mod 2 A + 1 then we have π 1 ( ξ ) π 1 ( η ) 2 2 A 1 < 2 A < ε .
C o d is uniformly continuous: Let ε > 0 and A N such that δ = 2 A < ε and α , β Z 2 such that α β 2 < δ = 2 A then α = β mod 2 A , so C o d A ( α ) = C o d A ( β ) , so D ( C o d ( α ) , C o d ( β ) ) < 1 2 A < ε .
Therefore π 1 is a homemorphism and C o l is topologically conjugate to ω . □

8.4. Periodic Point

As a first consequence of topological conjugation, we have that the set of periodic points of the Collatz function is dense in Z 2 .
Corollary 6. 
Let P e r ( ω ) the set of periodic point of ω, then we have π 1 ( P e r ( ω ) ) ¯ = Z 2
Proof. 
consequence of the continuity of the function π 1 and the fact that the periodic sequences of the Shift function are dense in Σ 2 * . □
As a consequence of the topological conjugation we have that π 1 ( ξ ) is a periodic point if ξ is periodic, we are going to show that the periodic points in G 0 are positive and the periodic points in G are negative.
Proposition 34. 
Let ξ Σ 2 * periodic and π 1 : Σ 2 * Q 2 , then we have:
  • If ξ G 0 so π 1 ( ξ ) has positive rational representation.
  • If ξ G so π 1 ( ξ ) has negative rational representation.
Proof. 
Let ξ = 10 θ 2 10 θ 3 10 θ K 10 θ K + 1 10 θ 2 10 θ 3 = j = 2 10 θ j Σ 2 * with θ K + 2 = θ 2 . Considering that θ 1 = 0 so we have a k = j = 1 k θ j , Let us first show that a r ( K + 1 ) + l = r a k + 1 + a l with l < K for all r N :
a r ( K + 1 ) + l = j = 1 r ( K + 1 ) + l θ j = ( θ 2 + θ 3 + + θ K + 1 ) + ( θ K + 2 + θ K + 3 + + θ K + ( K + 1 ) ) + + ( θ r K + 2 + θ r K + 3 + + θ r K + l ) = ( θ 2 + θ 3 + + θ K + 1 ) + ( θ 2 + θ 3 + + θ K + 1 ) + + ( θ 2 + θ 3 + + θ l ) = r a K + 1 + a l
We are going to show that π 1 ( ξ ) is rational
j = 1 2 a j 3 j = 1 3 + 2 a 2 3 2 + + 2 a K 3 K 2 a K + 1 3 K + 1 + 2 a K + 2 3 K + 2 + + 2 a 2 K 3 2 K 2 a r K + 1 3 r K + 2 + 2 a r K + 2 3 r K + 2 + + 2 a ( r + 1 ) K 3 ( r + 1 ) K = 1 3 + 2 a 2 3 2 + + 2 a K 3 K 2 a K + 1 3 K + 1 + 2 a K + 1 + a 2 3 K + 2 + + 2 a K + 1 + a K 3 2 K 2 r a K + 1 3 r K + 1 + 2 r a K + 1 + a 2 3 r K + 2 + + 2 r a K + 1 + a K 3 ( r + 1 ) K = 1 3 + 2 a 1 3 2 + + 2 a K 3 K 2 a K + 1 3 K 1 3 + 2 a 1 3 2 + + 2 a K 3 K 2 a K + 1 3 K r 1 3 + 2 a 1 3 2 + + 2 a K 3 K = 1 3 + 2 a 1 3 2 + + 2 a K 3 K r = 0 2 a K + 1 3 K r = 1 3 + 2 a 1 3 2 + + 2 a K 3 K 1 1 2 a K + 1 3 K = π k 1 ( ξ ) 1 1 2 a K + 1 3 K = 3 K 1 + 2 a 1 · 3 K 2 + + 2 a K 2 a K + 1 3 K Q
which corresponds to a rational number. For the case ξ = 0 θ 1 j = 2 10 θ j with θ 0 > 0 , we take η = j = 1 10 θ j , we have that even η is of period, then
π 1 ( η ) = j = 1 2 a j 3 j = 3 K 1 + 2 a 1 · 3 K 2 + + 2 a K 2 a K + 1 3 K
then
π 1 ( ξ ) = π 1 ( 0 θ 1 η ) = 2 θ 1 j = 1 2 a j ( η ) 3 j = 2 θ 1 1 3 + 2 a 1 ( η ) 3 2 + + 2 a K ( η ) 3 K 1 1 2 a K + 1 ( η ) 3 K = 2 a 1 ( ξ ) 3 + 2 a 2 ( ξ ) 3 2 + + 2 a K ( ξ ) 3 K 1 1 2 ( a K + 1 a 1 ) ( ξ ) 3 K Q
where its sign depends on the denominator 1 2 a K + 1 3 K , if ξ are in G 0 if and only if 3 K 2 a K + 1 r 0 as r if and only if 3 K 2 a K + 1 < 1 so the denominator is negative, so π 1 ( ξ ) is positive, analogously when ξ is in G if and only if 3 K 2 a K + 1 r as r if and only if 3 K 2 a K + 1 > 1 so the denominator is positive, so π 1 ( ξ ) is negative. □

9. Real Function π 1 and π 2 Function

Let’s define a new function π 1 defined on π 1 : Σ 2 * [ 0 , ] given by j = 1 2 a j 3 j , unlike π 1 : Σ 2 * Q 2 case ξ does not have a null tail and j = 1 K 2 a j 3 j when it has a null tail with index J. It is not always convergent. Does this mean that when it is divergent, then there is no solution to the encoding problem? The answer is no, for example if we take the encoding 1001000100 . . . which corresponds to the encoding of 1, however the function π 1 ( ξ ) is divergent. As we will show in the next section, when it is convergent, it is in fact the only solution to the encoding problem. In addition to the real function π 1 , we will define the function π 2 which unlike π 1 which is a series, this is a function on the natural numbers to the rational numbers. We will show that the function π 1 : Σ 2 * [ 0 , ] is convergent if and only if ξ G and that the function π 2 is bounded if and only if ξ G 0 .

9.1. Summary of Propositions in the Section

  • Definition 20: We will give the definition of the functions π 1 and π 2 .
  • Proposition 35 Characterization of G 0 and G through functions π 1 and π 2 .
    (a)
    ξ G if and only if π 1 ( ξ ) < .
    (b)
    ξ G 0 if and only if π 2 ( ξ ) ( k ) is bounded.
  • Lemma 10: Let lim inf k a k + 1 k = λ ( 0 , ] . Then exist T > 0 such that if T < k j we have a k + 1 a j k j λ .
  • Lemma 11: Let k , j N , if k > j then, we have a k + 1 a j k j 1 .
  • Corollary 7: Let ξ Σ 2 * . If exist a sub-sequence such that lim j a k l + 1 ( ξ ) k l > ln ( 3 ) ln ( 2 ) . Then exist Ω > 0 such that π 2 ( ξ ) ( k l ) < Ω .
  • Definition 21: Definition fix function.
  • Proposition 36: Let ξ Σ 2 * and π 1 : Σ 2 * R and π 2 , fix : Σ 2 * { f : N Q } . Then we have:
    (a)
    if ξ G then exist lim k fix ( ξ ) and lim k fix ( ξ ) = π 1 ( ξ ) .
    (b)
    if ξ G 0 then fix ( ξ ) is bounded and if π 2 ( ξ ) ( k j ) is a subsequence convergent then lim j fix ( ξ ) ( k j ) = lim j π 2 ( ξ ) ( k j ) .
    (c)
    if ξ G 1 then lim k | fix ( k ) | = .
  • Theorem 6: Let ξ G 1 , then not exist p q Q such that C o d p q = ξ . In particular ξ is positive and negative unstable.

9.2. The π 1 and π 2 Functions

We will give the definition of the functions π .
Definition 20 
(The π 1 and π 2 functions). Let ξ Σ 2 * without null tail given by ξ = 0 θ 1 j = 2 10 θ j with θ 1 0 and θ k > 0 for k > 1 . Let a k = j = 1 k θ j . Define the function N k : Σ 2 * N 0 given by
N k { ξ j } j = 1 = 3 k 1 2 a 1 + 3 k 2 2 a 2 + + 2 a k if k > 1 0 if k = 1
and defined π k 1 : Σ 2 * Q by
π k 1 ( ξ ) = N k ( ξ ) 3 k = j = 1 k 2 a j 3 j
and defined the π 1 function as π 1 : Σ 2 * R { }
π 1 ( ξ ) = lim k N k ( ξ ) 3 k = j = 1 2 a j 3 j
and π 2 : Σ 2 * { f : N Q : f function } by
π 2 ( ξ ) ( k ) = N k ( ξ ) 2 a k + 1 ( ξ ) = 3 k 2 a k + 1 π k 1 ( ξ ) = 3 k 2 a k + 1 j = 1 k 2 a j 3 j
Let ξ Σ 2 * with null tail and index K 0 given by ξ = 0 θ 1 j = 2 K 10 θ j j = K + 1 0 with θ 1 0 and θ j > 0 for j > 1 . Define π 1 : Σ 2 * R { }
π k 1 ( ξ ) = j = 1 k 2 a j 3 j if k < K and π k 1 ( ξ ) = j = 1 K 1 2 a j 3 j if k K
and π 2 : Σ 2 * { f : N Q : f function } by
π 2 ( ξ ) ( k ) = N k ( ξ ) 2 a k + 1 ( ξ ) = 3 k 2 a k + 1 π k 1 ( ξ ) = 3 k 2 a k + 1 j = 1 k 2 a j 3 j if k < K and π 2 ( ξ ) ( K + k ) = N k ( ξ ) 2 a K + k = 3 K 2 a K + k π K 1 ( ξ ) = 3 K 1 2 a K + k j = 1 K 1 2 a j 3 j for k 0
Example 13. 
We will give some examples of the functions π 1 and π 2 :
1. 
Let ξ 0 = 00101001000000 0000 Σ 2 *
(a) 
π 1 ( ξ 0 ) = 2 2 3 + 2 3 9 + 2 5 27 .
(b) 
π 2 ( ξ 0 ) ( k ) = 27 2 k + 2 2 2 3 + 2 3 9 + 2 5 27 for k 4 and lim k π 2 ( ξ 0 ) ( k ) = 0
2. 
Let ξ 1 = 100100100 Σ 2 * then we have
(a) 
π 1 ( ξ 1 ) = j = 1 2 2 ( j 1 ) 3 j = 1 3 j = 1 2 2 j 3 j = 1 3 j = 1 4 3 j = .
(b) 
π 2 ( ξ 1 ) ( k ) = 3 k 2 2 k j = 1 k 2 2 ( j 1 ) 3 j = 3 k 1 2 2 k j = 1 k 1 2 2 j 3 j
= 3 k 1 2 2 k 2 2 k 3 k 1 4 3 1 = 1 3 4 k .
3. 
Let ξ 2 = 10101010 Σ 2 * then we have
(a) 
π 1 ( ξ 2 ) = j = 1 2 j 1 3 j = 1 3 j = 1 2 j 3 j = 1 3 j = 1 2 3 j = 1 .
(b) 
π 2 ( ξ 2 ) ( k ) = 3 k 2 k j = 1 k 2 j 1 3 j = 3 k 1 2 k j = 1 k 1 2 j 3 j
= 3 k 1 2 k 2 k 3 k 1 3 3 1 = 3 2 k 1 .
4. 
Let ξ 3 = 10100100010000 Σ 2 *
(a) 
π 1 ( ξ 3 ) = j = 1 2 j ( j + 1 ) 2 1 3 j . Since, 2 j ( j + 1 ) 2 3 j .
(b) 
π 2 ( ξ 3 ) ( k ) = 3 k 2 k ( k + 1 ) 2 j = 1 k 2 j ( j + 1 ) 2 1 3 j < 1
5. 
Let ξ 4 = 101000101000 Σ 2 * then we have
(a) 
π 1 ( ξ 4 ) = 1 3 + 2 3 2 + 2 4 3 3 + 2 5 3 4 + 2 8 3 5 + 2 9 3 6 + 2 12 3 7 + = 1 3 + 2 3 2 + 2 4 3 3 + 2 4 3 2 2 3 2 + 2 4 3 3 + 2 4 3 2 2 2 3 2 + 2 4 3 3 + = 1 3 + 2 3 2 + 2 4 3 3 j = 1 2 4 3 2 j .
(b) 
π 2 ( ξ 4 ) ( 1 ) = 1 2 , π 2 ( ξ 4 ) ( 2 ) = 5 2 4 ,
π 2 ( ξ 4 ) ( 2 k + 1 ) = 3 2 k + 1 2 4 k + 1 1 3 + 2 3 2 + 2 4 3 3 j = 1 k 1 2 4 3 2 j and π 2 ( ξ 4 ) ( 2 k ) = 3 2 k 2 4 ( k + 1 ) 1 3 + 2 3 2 + 2 4 3 3 j = 1 k 2 2 4 3 2 j + 2 4 k + 1 3 2 k
Figure 3. π 2 ( ξ 3 )
Figure 3. π 2 ( ξ 3 )
Preprints 144896 g003
Figure 4. π 2 ( ξ 4 )
Figure 4. π 2 ( ξ 4 )
Preprints 144896 g004
The following result establishes a characterization of the elements of G 0 and G for the behaviour of the functions π .
Proposition 35 
(Characterization of the G 0 and G sets). Let ξ Σ 2 * π 1 : Σ 2 * R and π 2 : Σ 2 * { f : N Q } . Then
  • ξ G if and only if π 1 ( ξ ) < .
  • ξ G 0 if and only if π 2 ( ξ ) ( k ) is bounded.
Proof. 
Proof of the first statement. Is obvious for the case of null tails with index J, since we have π 1 it is automatically finite, and as we see in the examples π 2 would be of the form 3 k 0 2 k A 0 when k which implies that π 2 is finite.
So we are going to assume that ξ has no tail null.
Suppose that ξ G , then by Lemma 7 we have lim sup j a j j lim sup j a j + 1 j < ln ( 3 ) ln ( 2 ) , so, there exists J , ε > 0 such that for all j > J we have that a j j < ln ( 3 ) ln ( 2 ) ε
j = 1 2 a j 3 j = j = 1 J 2 a j 3 j + j = J + 1 2 a j 3 j = j = 1 J 2 a j 3 j + j = J + 1 2 a j j 3 j < j = 1 J 2 a j 3 j + j = J + 1 2 ln ( 3 ) ln ( 2 ) ε 3 j = j = 1 J 2 a j 3 j + j = J + 1 2 ε j <
Let’s suppose j = 1 2 a j 3 j < , then
j = 1 2 a j 3 j = 1 3 j = 1 2 a j 3 j 1 = 1 3 j = 0 2 a j + 1 3 j
so lim j 2 a j + 1 3 j = 0 then ξ G .
□ of the first statement.
Proof of the second statement 
. Suppose π 2 ( ξ ) ( j ) is bounded, we will prove that 3 k 2 a k + 1 ( ξ ) converges to 0. Suppose 3 k 2 a k + 1 ( ξ ) > ε > 0 for k > K for any K N . Then we have
π 2 ( ξ ) ( k ) = N k 2 a k + 1 = 3 k 2 a k + 1 j = 1 k 2 a j 3 j
We have that the sum on the right is divergent.
3 k 2 a k + 1 j = 1 k 2 a j 3 j > ε j = 1 k 2 a j 3 j =
which generates a contradiction to the fact that π 2 { ξ } ( k ) is bounded.
To demonstrate the other implication, let us consider the following lemmas:
Lemma 10. 
Let lim inf k a k + 1 k = λ ( 0 , ] . Then exist T > 0 such that if T < k j we have
a k + 1 a j k j λ .
Proof. Let lim inf k a k + 1 k = λ ( 0 , ] and d = k j , then we have
lim inf ( k j ) a k + 1 a j k j = lim inf d a j + d + 1 a j d = lim inf d a d + 1 d = λ
On the other hand, by definition of lower limit, we have
lim inf ( k j ) a k + 1 a j k j = lim t inf ( k j ) > t a k + 1 a j k j
Then exist T > 0 such that if T < k j we have
a k + 1 a j k j inf ( k j ) > T a k + 1 a j k j = λ
Lemma 11.Let k , j N , if k > j then, we have a k + 1 a j k j 1 .
Proof. Let ξ Σ 2 * writing explicitly, we have ξ = 0 θ 1 i = 2 10 θ i with θ 1 0 and θ i > 0 for i > 1 , then we can write:
a k = i = 1 k θ i
Suppose k > j . Since the minimum value that θ can take is 1, we have
a k + 1 a j k j = i = j k + 1 θ i k j k + 1 j k j > k j k j = 1
By Claim 3 and 4 we have, exist T , ε N such that if k T > j we have
a k + 1 a j k j > ln ( 3 ) ln ( 2 ) + ε
Then by claim 5, Let k > T so
3 k 2 a k + 1 j = 1 k 2 a j 3 j = j = 1 k 2 a j a k + 1 3 j k = j = 1 k 3 2 a k + 1 a j k j k j = j = 1 k T 3 2 a k + 1 a j k j k j + j = k T + 1 k 3 2 a k + 1 a j k j k j < j = 1 k T 3 2 ln ( 3 ) ln ( 2 ) + ε k j + j = k T + 1 k 3 2 k j < j = 1 k 3 2 ln ( 3 ) ln ( 2 ) + ε k j + j = k T + 1 k 3 2 k j < 1 2 ε k j = 1 k 2 ε j + 3 2 k j = k T + 1 k 2 3 j = 1 2 ε k 2 ε 2 ε ( k + 1 ) 1 2 ε + 3 2 k 2 3 k + 1 2 3 k T + 1 2 3 1 < 2 ε 2 ε k 2 ε 1 2 ε + 2 3 3 2 T 1 2 3 1 2 ε 2 ε 1 + 3 3 2 T 1 2 3
Let M = 2 ε 2 ε 1 + 3 3 2 T 1 2 3 > 0 . Then we have 3 k 2 a k + 1 j = 1 k 2 a j 3 j < M . Then we conclude that π 2 is bounded.
□ of the second statement.
The following result is the version of the previous theorem for sub-sequence.
Corollary 7. 
Let ξ Σ 2 * . If exist a sub-sequence such that lim j a k l + 1 ( ξ ) k l > ln ( 3 ) ln ( 2 ) . Then exist Ω > 0 such that π 2 ( ξ ) ( k l ) < Ω .
Proof. 
Let j < k l then
lim k l j a k l + 1 a j k l j = lim k l 1 a k l + 1 a 0 k l 1 = lim l a k l + 1 k l > ln ( 3 ) ln ( 2 )
then exist T , ε > 0 such that if k l j > T we have
a k l + 1 a j k l j > ln ( 3 ) ln ( 2 ) + ε
Using the lemma 11 we have
π 2 ( ξ ) ( k l ) = 3 k l 2 a k l + 1 j = 1 k l 2 a j 3 j = j = 1 k l 2 a j a k l + 1 3 j k l = j = 1 k l 3 2 a k l + 1 a j k l j k l j = j = 1 k l T 3 2 a k l + 1 a j k l j k l j + j = k l T + 1 k l 3 2 a k l + 1 a j k l j k l j < j = 1 k l T 3 2 ln ( 3 ) ln ( 2 ) + ε k l j + j = k l J + 1 k l 3 2 k l j < j = 1 k l 3 2 ln ( 3 ) ln ( 2 ) + ε k l j + j = k l J + 1 k l 3 2 k l j < 1 2 ε k l j = 1 k l 2 ε j + 3 2 k l j = k l J + 1 k l 2 3 j = 1 2 ε k l 2 ε 2 ε ( k l + 1 ) 1 2 ε + 3 2 k l 2 3 k l + 1 2 3 k l J + 1 2 3 1 2 ε 2 ε 1 + 3 3 2 J 1 2 3 = Ω
Therefore π 2 ( ξ ) ( k l ) < Ω

9.3. The Set G 1 Is Unstable

Definition 21. 
Let ξ Σ 2 * without null tail, define the fix function as fix : Σ 2 * { f : N Q } given by fix ( ξ ) : N Q
fix ( ξ ) ( k ) = 1 1 2 a k + 1 3 k j = 1 k 2 a j 3 j = 1 1 2 a + k 3 k π k 1 ( ξ )
This functions associates to each sequence ξ the fixed point associated with the function S θ , ψ such that C o d k ( S ) = ( ξ j ) j = 1 k . Next we will see the behavior of the function fix ( ξ ) when ξ is in G 0 , G and G 1 .
Proposition 36. 
Let ξ Σ 2 * and π 1 : Σ 2 * R and π 2 , fix : Σ 2 * { f : N Q } . Then we have:
  • if ξ G then exist lim k fix ( ξ ) ( k ) and lim k fix ( ξ ) ( k ) = π 1 ( ξ ) .
  • if ξ G 0 then fix ( ξ ) is bounded and if π 2 ( ξ ) ( k j ) is a subsequence convergent then lim j fix ( ξ ) ( k j ) = lim j π 2 ( ξ ) ( k j ) .
  • if ξ G 1 then there exists a positive monotonic and divergent sequence γ k such that γ k | fix ( k ) |
Proof. 
Let ξ Σ 2 * , then:
  • If ξ G and let π 1 : Σ 2 * R by Proposition we have
    fix ( ξ ) ( k ) ( π k 1 ( ξ ) ) = 1 1 2 a k + 1 3 k π k 1 ( ξ ) + π k 1 ( ξ ) = | π k 1 ( ξ ) | 1 1 2 a k + 1 3 k 1 < Ω 1 1 2 a k + 1 3 k 1 0 as k , sin ce lim k 2 a k + 1 3 k = 0
    then lim k fix ( ξ ) = lim k π k 1 ( ξ ) = π 1 ( ξ ) R
  • If ξ G 0 then | π 2 ( ξ ) | < Ω . On the other hand, we have the following.
    | fix ( ξ ) ( k ) π 2 ( ξ ) ( k ) | = 1 1 2 a k + 1 3 k π k 1 ( ξ ) 3 k 2 a k + 1 π k 1 ( ξ ) = 3 k 2 a k + 1 π k 1 ( ξ ) 2 a k + 1 3 k 1 2 a k + 1 3 k + 1 < Ω 2 a k + 1 3 k 1 2 a k + 1 3 k + 1 0 as k sin ce 2 a k + 1 3 k 1 2 a k + 1 3 k 1
    Then if π 2 ( ξ ) ( k j ) is a convergent subsequence, then lim j π 2 ( ξ ) ( k j ) = lim j fix ( ξ ) ( k j ) . Now we will demonstrate that fix ( ξ ) is bounded. Let K > 0 such that | fix ( ξ ) ( k ) π 2 ( ξ ) ( k ) | < 1 then
    | fix ( ξ ) ( k ) | < max k K { fix ( ξ ) ( k ) } + Ω + 1
  • If ξ G 1 , then exist ε > 0 such that
    1 1 2 a k j + 1 3 k j > ε
    Suppose that exist a sequence { a k j } j N such that 1 1 2 a k j + 1 3 k j 0 as j , this is equivalent to 1 2 a k j + 1 3 k j as j so
    lim j 2 a k j + 1 3 k j =
    This contradicts Proposition 29 where it states that there exist M , m > 0 such that m < 2 a k + 1 3 k < M for all k N .
    Therefore, we have
    | fix ( k ) | = 1 1 2 a k + 1 3 k π k 1 ( ξ ) > ε π k 1 ( ξ )
    Let us denote by γ k = ε π k 1 ( ξ ) , as π k 1 ( ξ ) = j = 1 k 2 a j 3 j , then we have that γ k is monotonically increasing, on the other hand as ξ G , then by Proposition 35 we have that π k 1 ( ξ ) as k
Theorem 6. 
Let ξ G 1 , then not exist p q Q such that C o d p q = ξ . In particular ξ is positive and negative unstable.
Proof. 
Let ξ G 1 , for simplicity we will assume that a 0 = 0 . Let’s assume that it is stable, that is, it exists p q Q such that C o d p q = ξ and let π 1 : Σ 2 * Z 2 then we have
π 1 ( ξ ) = j = 1 2 a j 3 j = p q
Let ξ k Σ 2 * be a periodic sequence of period ( a k ( ξ ) + k 1 ) such that the first ( a k ( ξ ) + k 1 ) terms of ξ k coincide with the first ( a k ( ξ ) + k 1 ) terms of ξ . For example:
ξ = 10001010001001010000000100 ξ 1 = 000000000000000000000000 ξ 2 = 100010001000100010001000 ξ 3 = 100010100010100010100010 ξ 4 = 100010100010001010001000101000
Due to periodicity, we have ξ k G 0 G . By Proposition 34 we admit a rational representation
π 1 ( ξ k ) = j = 1 2 a j ( ξ k ) 3 k = 2 a 0 3 + 2 a 1 3 2 + + 2 a k 3 k 1 1 2 a k + 1 3 k = fix ( ξ ) ( k ) Q
By the continuity of the function π 1 : Σ 2 * Z 2 we have that π 1 ( ξ k ) π 1 ( ξ ) as k on Z 2 . On the other hand. By Proposition 36 we have
| π 1 ( ξ k ) | = | fix ( ξ k ) | > γ k
where γ k is a monotonic and divergent sequence real. This means that the sequence fix ( ξ k ) is unbounded in R . Due to the uniqueness of the limit we have to p q = , this is a contradiction to assumption that ξ is stable, we have that G 1 is unstable. □

10. The Coding of π 1

Now we are going to prove that there is a complete metric on G . We will use this result to prove that if π 1 { ξ j } j = 1 Q o d d then C o d π 1 { ξ j } j = 1 = { ξ j } j = 1 and in the case that π 1 { ξ j } j = 1 R Q , then there is no rational r such that C o d r = { ξ j } j = 1 . We also show that the parity of the Collatz function on π 1 ( G ) depends solely on the first term. Building upon this insight, we extend the Collatz function to π 1 ( G ) and conclude the section by showing that the Collatz function is topologically conjugate to the Shift function in Σ 2 * . We will use this result to establish that the set of periodic orbits is dense.

10.1. Summary of Propositions in the Section

  • Lemma 12: Established that when the function
    d ( π 1 ( ξ ) , π 1 ( η ) ) = j N 1 3 j | 2 a j ( ξ ) 2 a j ( η ) | 1 3 r then ξ and η share at least the first k 1 terms.
  • Proposition 37: Establishes that ( π 1 ( G ) , d ) is a complete metric space.
  • Corollary 8: Established that the k coding set is an open set.
  • Theorem 7: Established that the full coding set is a singleton set or an empty set depending on whether π 1 ( ξ ) is rational or not.
  • Proposition 38:  π 1 : G π 1 ( G ) is continuous.
  • Corollaty 9: The π 1 : G π 1 ( G ) R is a continuous function with the usual metric of R .
  • Proposition 39: It establishes that the parity of π 1 ( ξ ) depends only on the first term of the series.
  • Definition 22: Defines an extension of the Collatz function on all π 1 ( G ) .
  • Proposition 40: The Collatz functions are continuous.
  • Proposition 41: The Collatz function on π 1 ( G ) is topological conjugacy to Shift map on Σ 2 *
  • Corollary 10: It is stable that the periodic points of the Collatz function in ( π 1 ( G ) , d ) are dense.

10.2. π 1 ( G ) as Complete Metric Space

To ensure the coherent definition of a metric in π 1 ( G ) , we need to “complete” the missing terms of the series to enable the calculation of the difference | 2 a k ( ξ ) 2 a k ( η ) | for all k N , irrespective of whether ξ or η has a null tail. To accomplish this, we define that when the sequence of 1s in ξ ends, the function a k will take on the value . Hence, we have | 2 a k ( ξ ) 2 a k ( η ) | = | 2 2 a k ( η ) | = 2 a k ( η ) from the index of ξ . Let ξ Σ 2 * with null tail with index J. We will write a short description.
π 1 { ξ } j = 1 : = j = 1 J 1 2 a k 3 j + j = J + 1 2 3 j
In the following lemma, we are going to introduce a new function, which, as we will see later, corresponds to a metric in the space π 1 ( G ) . Additionally, we will present another result that we will examine more closely in this section and essentially indicates to us that, since the parity of π 1 ( ξ ) depends only on the first term, we can interpret this in the following way: If two sequences are arbitrarily close, then they share the first terms of their encoding. This is of great importance for understanding the behavior of the orbits of the Collatz function, since, if we consider the Euclidean metric in Q or that of the absolute value, we observe the phenomenon that even though two numbers are arbitrarily close, their dynamics are completely different. One may converge to a cycle in a few iterations, while the other may take a very long time.
Lemma 12 
(Convergence and Coincidence Lemma). Let ξ , η G , then
  • j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) is well defined.
  • j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) 1 3 r a j ( ξ ) = a j ( η ) for all j < r . In addition, we have to ξ j 1 = η j for all j < r .
Proof. 
Let ξ , η G , then we have
Claim Let, a , b N then | 2 a 2 b | < 2 max { a , b } . If a = b , then 0 < 2 a . Suppose that a > b then
| 2 a 2 b | = 2 a 1 1 2 a b < 2 a .
□ of the Claim.
Now we prove that it is well-defined, by Claim we have:
d j = 1 2 a j ( ξ ) 3 j , j = 1 2 a j ( η ) 3 j = j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) < j = 1 2 max { a j ( ξ ) , a j ( η ) } 3 j
as 2 a j ( ξ ) 3 j and 2 a j ( η ) 3 j converge to 0, then for n > N exist J N such that if j > J we have
2 a j ( ξ ) 3 j , 2 a j ( η ) 3 j < 1 n
Then for j > J we also have
2 max { a j ( ξ ) , a j ( η ) } 3 j < 1 n
Then we have that 2 max { a j ( ξ ) , a j ( η ) } 3 j also converges to 0. Then by Proposition 35 we have j = 1 2 max { a j ( ξ ) , a j ( η ) } 3 j < . To prove the statement, we will consider whether the sequences ξ and η in Σ 2 * have a null tail or not.
Let us first assume that the sequence does not have a null tail, then if we have
j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) 1 3 r
All terms less than r must be null. Suppose there exists some non-zero term between 1 and r 1 , then we have that
1 3 r 1 j = 1 r 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) 1 3 r Then r 1 r
which is absurd. Then we have that j = 1 r 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) = 0 . Which implies that
a j ( ξ ) = a j ( η ) for all j < r .
Now we will prove that the sequences coincide up to r.
ξ = 0 θ 1 1 i = 2 10 θ i 1 and η = 0 θ 1 2 i = 2 10 θ i 2
writing this way, we have to
a j ( ξ ) = i = 1 j θ i 1 and a j ( η ) = i = 1 j θ i 2
then
θ j 1 = a j ( ξ ) a j 1 ( ξ ) = a j ( η ) a j 1 ( η ) = θ j 2 for all 1 j < r
which means that ξ and η share the first ( r 1 ) 10 θ j blocks Now suppose that ξ has a null tail of index I + 1 and η has no tail null. Then we have
j = 1 I 1 3 j 2 a j ( ξ ) 2 a j ( η ) + j = I + 1 1 3 j 2 a j ( η ) 1 3 r
if r I then we have the previous case, then a j ( ξ ) = a j ( η ) for all j < r . Now if r > I we have
j = 1 I 1 3 j 2 a j ( ξ ) 2 a j ( η ) + j = I + 1 1 3 j 2 a j ( η ) 1 3 r j = 1 I 1 3 j 2 a j ( ξ ) 2 a j ( η ) + j = I + 1 r 1 1 3 j 2 a j ( η ) = 0
The latter makes sense if η also has a null tail of index I + 1 , then
ξ j = η j for all j N
In particular ξ j = η j for all j < r . Finally, suppose that ξ and η have a null tail of index I + 1 and L + 1 respectively, without loss of generality we can assume that I L . Then
j = 1 I 1 3 j 2 a j ( ξ ) 2 a j ( η ) + j = I + 1 L 1 3 j 2 a j ( η ) + j = L + 1 1 3 j 2 1 3 r
  • If 1 r I then all terms with an index less than r are null and in particular we have a j ( ξ ) = a j ( η ) for j < r . and as we already saw in the proofs above, this implies that ξ j = η j for all j < r .
  • If r I . Then j = I + 1 L 1 3 j 2 a j ( η ) = 0 we have that I = J therefore ξ = η . particular we have a j ( ξ ) = a j ( η ) for j < r .
Now we are going to show that the function we defined above is a complete metric on π 1 ( G ) .
Proposition 37 
(Metric space complete). Let d : π 1 ( G ) × π 1 ( G ) [ 0 , ) given by
d j = 1 2 a j ( ξ ) 3 j , j = 1 2 a j ( η ) 3 j = j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η )
Then ( π 1 ( G ) , d ) is a metric space complete.
Proof. 
Let’s prove that d is a metric through the axioms of metric:
  • d ( π 1 ( ξ ) , π 1 ( η ) ) = 0 if and only if π 1 ( ξ ) = π 1 ( η ) for all π 1 ( ξ ) , π 1 ( η ) π 1 ( G ) : Trivially we have that if π 1 ( ξ ) = π 1 ( η ) , then
    d j = 1 2 a j ( ξ ) 3 j , j = 1 2 a j ( ξ ) 3 j = j = 1 1 3 j 2 a j ( ξ ) 2 a j ( ξ ) = 0 .
    Let π 1 ( ξ ) , π 1 ( η ) π 1 ( G ) such that
    d j = 1 2 a j ( ξ ) 3 j , j = 1 2 a j ( η ) 3 j = j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) = 0
    by lemma 12 we have
    j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) 1 3 r a j ( ξ ) = a j ( η ) for j < r
    In particular, for r we have ξ = η .
  • d ( π 1 ( ξ ) , π 1 ( η ) ) = d ( π 1 ( η ) , π 1 ( ξ ) ) for all π 1 ( ξ ) , π 1 ( η ) π 1 ( G ) :
    j = 1 k 1 3 j 2 a j ( ξ ) 2 a j ( η ) = j = 1 k 1 3 j 2 a j ( η ) 2 a j ( ξ )
    then
    j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) = j = 1 1 3 j 2 a j ( η ) 2 a j ( ξ )
  • d ( π 1 ( ξ ) , π 1 ( η ) ) d ( π 1 ( ξ ) , π 1 ( κ ) ) + d ( π 1 ( κ ) , π 1 ( η ) ) for all, π 1 ( ξ ) , π 1 ( η ) , π 1 ( κ ) π 1 ( G )
    j = 1 k 1 3 j 2 a j ( ξ ) 2 a j ( η ) j = 1 k 1 3 j 2 a j ( ξ ) 2 a j ( κ ) + j = 1 k 1 3 j 2 a j ( κ ) 2 a j ( η )
    then
    j = 1 1 3 j 2 a j ( ξ ) 2 a j ( η ) j = 1 1 3 j 2 a j ( ξ ) 2 a j ( κ ) + j = 1 1 3 j 2 a j ( κ ) 2 a j ( η )
then ( π 1 ( G ) , d ) is a metric space. Now we are going to prove that it is a complete metric space. Let { { π 1 ( ξ j k ) } j = 1 } k = 1 be a Cauchy sequence on π 1 ( G ) then for any ε > 0 exist K > 0 such that
d ( { π 1 ( ξ j n ) } j = 1 , { π 1 ( ξ j m ) } j = 1 ) = j = 1 1 3 j 2 a j ( ξ n ) 2 a j ( ξ m ) < ε for all n , m > K
Let r > 0 such that j = 1 1 3 j 2 a j ( ξ n ) 2 a j ( ξ m ) < 1 3 r < ε by lemma 12 we have
ξ j n = ξ j m for all j < r
On the other hand let D : Σ 2 * × Σ 2 * [ 0 , ) the symbolic metric of two symbols given by
D ( ξ , η ) = j = 1 1 2 j Δ ( ξ j , η j )
with
Δ ( ξ j , η j ) = 1 if ξ j η j 0 if ξ j = η j
The space ( Σ 2 * , D ) is a complete metric space with the property that if two sequences are arbitrarily close if and only if their first terms are equal.
D ( ξ , η ) < 1 2 r if and only if ξ j = η j for all j < r .
then given a Cauchy sequence in π 1 ( G ) by the observation above we obtain a Cauchy sequence in Σ 2 * and the latter being complete there is a ξ Σ 2 * such that
ξ n ξ as n
We will now prove that ξ is in G and that the sequence π 1 ( ξ n ) converges to π 1 ( ξ ) .
  • Let’s prove that G is complete. Let { ξ j } j N a Cauchy sequence on G and let lim j ξ j = ξ Σ 2 * . Let’s show that ξ G . Let R = a j + b j , then by definition we have exist N > 0 such that D ( ξ n , ξ m ) < 1 R for all m , n > N , so we have ξ m and ξ n have the first R terms equal, Suppose ξ has no null tail, then R = a j + j then
    lim j 3 j 2 a j + 1 = so ξ G
    If ξ has a null tail, then by definition it is in G .
  • Let’s prove that π 1 ( G ) is complete. Let π 1 ( ξ k ) a Cauchy sequence in π 1 ( G ) . Let r N , then exist N such that
    d ( π 1 ( ξ n ) , π 1 ( ξ m ) ) < 1 3 r for all m , n > N
    by Lemma 12 we have D ( ξ n , ξ m ) < 1 2 r for all m , n > N . In other words we have that { ξ j } is a Cauchy sequence in G . As we proved in point 1, we have that G is a complete metric subspace of Σ 2 * , so exist ξ G such that lim j ξ j = ξ . Let us now demonstrate that lim j π 1 ( ξ j ) = π 1 ( ξ )
    d ( π 1 ( ξ j ) , π 1 ( ξ ) ) = k N 1 3 k 2 a k ( ξ j ) 2 a k ( ξ ) = k = 1 r 1 3 k 2 a k ( ξ j ) 2 a k ( ξ ) = 0 + k = j + 1 1 3 k 2 a k ( ξ j ) 2 a k ( ξ ) k = r + 1 1 3 k 2 max { a k ( ξ j ) , a k ( ξ ) } 0 as r
    Therefore π 1 ( G ) it is a complete space.
then we can conclude that the metric space ( π 1 ( G ) , d ) is complete. □
With this metric, we have that the coding sets are open sets.
Corollary 8 
( C o d k is an open set). Let ξ G and k N . Then C o d k ( ξ ) is an open set on ( π 1 ( G ) , d )
Proof. 
Let ξ G and u π 1 ( G ) such that u C o d k ( ξ ) . Let us consider v in π 1 ( G ) such that d ( u , v ) < 1 3 k + 1 , by definition, exist μ , τ G such that π 1 ( μ ) = u and π 1 ( τ ) = v . By Lemma 12 have μ j = τ j for j k , then we have that v C o d k ( ξ ) . Therefore, then B u , 1 3 k + 1 i.e. the ball of radius 1 3 k + 1 and center u is a subset of C o d k ( ξ ) , therefore C o d k ( ξ ) is an open set. □
Proposition 38. 
π 1 : G π 1 ( G ) is continuous.
Proof. 
Let ξ G and { η j } l N a sequence on G such that D ( η j , ξ ) < 1 2 r , so a k ( η j ) = a k ( ξ ) for all j < r , then we have
d ( π 1 ( η j ) , π 1 ( ξ ) ) = k = r | 2 a k ( η j ) ) 2 a k ( η ) ) | 3 k 0 as r
Therefore d ( π 1 ( η j ) , π 1 ( ξ ) ) 0 as D ( η j , ξ ) 0 , that is to say that π 1 es □
Corollary 9. 
The π 1 : G π 1 ( G ) R is a continuous function with the usual metric of R .
Proof.Let ξ G a sequence { ξ j } on G such that ξ j ξ . By continuity of π 1 : G π 1 ( G ) we have
π 1 ( ξ j ) π 1 ( ξ ) = j N 2 a j ( ξ j ) 3 j j N 2 a j ( ξ ) 3 j j N 1 3 j 2 a j ( ξ j ) 2 a j ( ξ ) = d ( π 1 ( ξ j ) , π 1 ( ξ ) ) 0 as D ( ξ j , ξ ) 0

10.3. Characterization of the Full Coding Sets Through the Function π 1

Theorem 7 
(Asymptotic Solutions Theorem). Let { ξ j } j = 1 G , then if π 1 ( { ξ j } j = 1 ) it is rational, then the π 1 ( { ξ j } j = 1 ) = p q only rational that satisfies C o d p q = { ξ j } j = 1 , in particular π 1 ( { ξ j } j = 1 ) Q o d d . If π 1 ( { ξ j } j = 1 ) it is irrational, then there is no rational p q such that C o d p q = { ξ j } j = 1 .
Proof. 
Let ξ G , We have by definition that π 1 ( ξ ) = lim k π k 1 ( ξ ) Q . First, we will prove that this limit also makes sense in ( π 1 ( G ) , d ) . We have:
Claim 1:  d ( π k 1 ( ξ ) , π 1 ( ξ ) ) 0 as k .
Indeed, we have
d ( π k 1 ( ξ ) , π 1 ( ξ ) ) = j = 1 n 1 3 j | 2 a j ( ξ ) 2 a j ( ξ ) | 0 + j = k + 1 2 a j ( ξ ) 3 j = j = k + 1 2 a j ( ξ ) 3 j
By Proposition 35, we have j = k + 1 2 a j ( ξ ) 3 j 0 as k , then d ( π k 1 ( ξ ) , π 1 ( ξ ) ) 0 as k
We will now prove, using the completeness of ( π 1 ( G ) , d ) , that π 1 ( ξ ) π 1 ( G ) :
Claim 2:  π 1 ( ξ ) π 1 ( G ) .
We can be rewritten,
π k 1 ( ξ ) = π 1 { ξ j } j = 1 k 000
let’s prove that π k 1 ( ξ ) is a Cauchy sequence in π 1 ( G ) . Let ε > 0 and n , m N with n < m , then
d ( π n 1 ( ξ ) , π m 1 ( ξ ) ) = j = 1 n 1 3 j | 2 a j ( ξ ) 2 a j ( ξ ) | 0 + j = n + 1 m 2 a j ( ξ ) 3 j = j = n + 1 m 2 a j ( ξ ) 3 j
Since ξ G we have by Proposition 35 π 1 ( ξ ) is convergent, then j = n + 1 m 2 a j ( ξ ) 3 j 0 as n , m . Therefore, exists N N such that n , m > N we have j = n + 1 m 2 a j ( ξ ) 3 j < ε . Then the sequence is Cauchy and since π 1 ( G ) is a complete metric space, we have that π 1 ( ξ ) = lim k π k 1 ( ξ ) π 1 ( G ) .
□ of the Claim.
Claim 3: Let ξ = 0 θ 1 10 θ 2 10 θ k + 1 S i g m a 2 * , then π k 1 ( ξ ) C o d a k + 1 ( ξ ) .
Indeed, let S k θ , ψ such that C o d ( S k ) = 0 θ 1 10 θ 2 10 θ k + 1 by Proposition 12 we have
S k ( π k 1 { ξ j } j = 1 = 3 k ( π k 1 { ξ j } j = 1 + N k 2 a k + 1 = 3 k N k 3 k + N k 2 a k + 1 = 0 .
In other hand, we have
3 k N k 3 k + N k 2 a k + 1 = 3 k ( N k ) + 3 k ( N k ) 3 k 2 a k + 1 = 1 3 k 3 k ( N k ) + 3 k ( N k ) 2 a k + 1 = 1 3 k S 3 k
then N k E ( S 3 k ) , by Proposition 6 we have C o d 3 k ( S k 3 k ) = C o d ( S k ) . Therefore C o d a k + 1 N k 3 k = C o d a k + 1 ( π k 1 ( ξ ) ) = C o d 3 k ( S 3 k ) = C o d ( S k ) .
□ of the Claim.
Claim 4:  π 1 ( ξ ) C o d k ( ξ ) for all k N .
Let L + 1 N , we have by Claim 1, exist K N such that if k > K > L + 1 so d ( π k 1 ( ξ ) , π 1 ( ξ ) ) < 1 3 L + 1 , By Lemma 12 we have to share the first L terms of the coding. On the other hand, by Claim 3, we have that π k 1 ( ξ ) C o d a k + 1 ( ξ ) and since we have a k + 1 > K > L + 1 , due to the monotony of C o d , we have π k 1 ( ξ ) C o d L ( ξ ) . Therefore π 1 ( ξ ) C o d L ( ξ ) .
□ of the Claim.
Claim 5:  π 1 ( ξ ) C o d ( ξ ) .
Since π 1 ( ξ ) C o d k ( ξ ) for all k N , we have to
π 1 ( ξ ) k N C o d k ( ξ ) = C o d ( ξ ) .
□ of the Claim.
Claim 6:  C o d π 1 { ξ j } j = 1 = { ξ j } j = 1 .
We first show that π 1 ( ξ ) Q o d d . Let’s assume that π 1 { ξ j } j = 1 converges to a fraction with an even denominator; then its coding is 1111 . However, 1111 is not an element of Σ 2 * , which leads to a contradiction with claim 4. Then we have π 1 ( ξ ) Q o d d and, by Theorem 3, we have C o d π 1 { ξ j } j = 1 = { ξ j } j = 1 .
□ of the Claim.
For the next part of the proposition, we will leverage the results presented in Section 6. In this section, we introduce the Sigma function along with its main properties and applications in solving linear Diophantine equations. It serves as an alternative to classical methods for solving this type of equation.
Claim 7: If π 1 ( { ξ j } j = 1 ) it is irrational, then there is no rational then there is no rational p q such that c o d p q = { ξ j } j = 1 .
We will prove that there is no rational solution, By the theorem 2 we have that if there is another rational solution it must be a minimum positive integer value or a maximum negative integer value for S k ( x ) θ , ψ q such that C o d ( S k ) = { ξ j } j = 1 k + 1 = 0 θ 1 10 θ 2 0 θ k 10 θ k + 1 for unique q not null, by proposition 5 we have
S k ( x ) = 3 k x + q N k ( { ξ j } j = 1 ) 2 a k + 1
by Propositions 4 and 21 the minimum positive integer value is
ρ 0 ( S k ) = 1 3 k 2 a k + 1 σ 3 k a k + 1 ( q N k ) q N k = 2 a k + 1 σ a k + 1 ( q π k 1 ( { ξ j } j = 1 ) q π k 1 ( { ξ j } j = 1 ) = C o d σ a k + 1 ( q π k 1 ( { ξ j } j = 1 )
and the maximum negative integer value is
ρ 1 ( S k ) = 1 3 k 2 a k + 1 σ 3 k a k + 1 ( q N k ) q N k = 1 3 k 2 a k + 1 σ 3 k a k + 1 ( q N k ) q N k 2 a k + 1 = C o d σ a k + 1 ( q π k 1 ( { ξ j } j = 1 ) 2 a k + 1
when
C o d σ a k + 1 ( q π k 1 ( { ξ j } j = 1 ) = j = 1 a k + 1 1 δ j 2 j with δ j { 0 , 1 }
On the other hand, by Proposition 28 we have that the coding of the σ a k + 1 ( q π k 1 ( { ξ j } j = 1 ) corresponds to the dyadic expansion of q π 1 ( { ξ j } j = 1 ) . Since π 1 ( { ξ j } j = 1 ) is irrational, then the dyadic expansion of q π 1 ( { ξ j } j = 1 ) will never have a tail of 0 or 1 for all q Z , so C o d σ a k ( q π k 1 ( { ξ j } j = 1 ) has an infinite number of non-zero digits for all q Z . In particular we have to ρ 0 ( S k ) . Now for ρ 1 ( S k ) , we have
ρ 1 ( S k ) = j = 1 a k + 1 1 δ j 2 j 2 a k + 1 = j = 1 a k + 1 1 δ j 2 j j = 1 a k + 1 1 2 j = j = 1 a k + 1 1 ( δ j 1 ) 2 j
for this sum to be finite it is necessary exist J > 0 such that δ j are all 1 for j > J , however as q π k 1 ( { ξ j } j = 1 ) is irrational for all q Z , then there are infinitely many terms of δ j that are null, then this sum is divergent.
Then if π k 1 ( { ξ j } j = 1 ) is irrational then there is no rational p q such that c o d p q = { ξ j } j = 1 .
□ of the Claim.
Example 14.
  • Let ξ 1 = 101010 Σ 2 * , then π 1 ( ξ ) = 1 (see Example 13). Therefore C o d ( 1 ) = 101010 .
  • Let ξ 2 = 1010010100 Σ 2 * , then
    π 1 ( ξ 2 ) = 1 3 + 2 3 2 + 2 3 3 3 + 2 4 3 4 + 2 6 3 5 + 2 7 3 6 + 2 9 3 7 + = 1 3 + 2 3 2 + 2 3 3 3 + 2 3 3 2 2 3 2 + 2 3 3 3 + 2 3 3 2 2 2 3 2 + 2 3 3 3 + = 1 3 + 2 3 2 + 2 3 3 3 j = 1 2 3 3 2 j = 1 3 + 2 3 2 + 2 3 3 3 1 1 2 3 3 2 = 5
    Therefore C o d ( 5 ) = 1010010100

10.4. Extension of the Collatz Function on π 1 ( G )

Proposition 39 
(Parity Preservation Proposition). Let { ξ j } j = 1 G such that π 1 ( { ξ j } j = 1 ) Q o d d , then
C o l π 1 ( { ξ j } j = 1 ) = 3 π 1 ( { ξ j } j = 1 ) + 1 2 if a 1 = 0 1 2 π 1 ( { ξ j } j = 1 ) if a 1 > 0
or equivalent if π 1 ( { ξ j } j = 1 ) = j = 1 2 a j 3 j then
C o l j = 1 2 a j 3 j = j = 1 2 a j 1 3 j if a 1 = 0 j = 1 2 a j 1 3 j if a 1 > 0 or
Proof. 
Let’s prove that the parity of π 1 ( { ξ j } j = 1 ) only depends on the first term
π 1 ( { ξ j } j = 1 ) = 2 a 1 3 + j = 2 2 a j 3 j = 2 a 1 3 + 2 j = 2 2 a j 1 3 j
Claim: The series j = 2 2 a j 1 3 j cannot converge to a fraction with an even denominator.
Let us assume by contradiction that have j = 2 2 a j 1 3 j = p 2 q with ( q , p ) = ( p , 2 ) = 1 . Let { ξ j } j = 1 l 0 G such that π 1 { ξ j } j = 1 l 0 = 2 a 1 3 . Let η G given by η = { ξ j } j = l + 1 so π 1 ( η ) = π 1 { ξ j } j = l + 1 = j = 2 2 a j 1 3 j = p 2 q and since η are in G , this generates a contradiction to the Theorem 7. □
Let j = 2 2 a j 1 3 j = p q with ( p , q ) = ( q , 2 ) = 1 . We have:
π 1 ( { ξ j } j = 1 ) = 2 a 1 3 + j = 2 2 a j 3 j = 2 a 1 3 + 2 j = 2 2 a j 1 3 j = 2 a 1 3 + 2 p q = 2 a 1 q + 6 p 3 q
if a 1 = 0 then 2 0 q + 6 p = q + 6 p is odd, since q is odd. Then π 1 ( { ξ j } j = 1 ) is odd, and if a 1 > 0 then 2 a 1 q + 6 p is even. Then π 1 ( { ξ j } j = 1 ) is even. In the case that a 1 = we have that ξ = 0 or equivalent ξ j = 0 for all j N 0 , so π 1 ( 0 ) = 0 , then C o l ( 0 ) = 0 2 = 0 .
From the result above, we can extend the Collatz function over the entire set G , thus obtaining a way of defining Collatz for the cases where the function π 1 is irrational.
Definition 22 
(Extension Collatz functions on π 1 ( G ) ). We defined C o l : π 1 ( G ) π 1 ( G ) by
C o l π 1 ( { ξ j } j = 1 ) = 3 π 1 ( { ξ j } j = 1 ) + 1 2 if a 1 = 0 1 2 π 1 ( { ξ j } j = 1 ) if a 1 > 0
or equivalent if π 1 ( { ξ j } j = 1 ) = j = 1 2 a j 3 j then
C o l j = 1 2 a j 3 j = j = 1 2 a j 1 3 j if a 1 = 0 j = 1 2 a j 1 3 j if a 1 > 0 or
The extension of the Collatz function on - π 1 ( G ) is continuous.
Proposition 40 
(Collatz function is continuous). C o l : π 1 ( G ) π 1 ( G ) is continuous.
Proof. 
Let us consider the metric induced in π 1 ( G ) by i d : π 1 ( G ) π 1 ( G ) , that is, d π 1 ( G ) ( u , v ) = d ( u , v ) on π 1 ( G ) , we will use the same notation for both metrics.
Let u π 1 ( G ) and { u j } j N sequence of π 1 ( G ) such that u j u . Let ξ , ξ j G such that C o d ( u ) = ξ and C o d ( ξ j ) = u j .
d ( u j , u ) = k N | 2 a k ( ξ j ) 2 a k ( ξ ) | 3 k 0 as j .
Since r > 3 then at least the first term must coincide.
Suppose that, a 0 > 0 then
d ( C o l ( u j ) , C o l ( u ) ) = k N | 2 a k ( ξ j ) 1 2 a k ( ξ ) 1 | 3 k 0 as j
Suppose now that a 0 = 0
d ( C o l ( u j ) , C o l ( u ) ) = k N | 2 a k ( ξ j ) 1 2 a k ( ξ ) 1 | 3 k 0 as j
Therefore C o l is continuous. □
Now we will prove that the extension of the function Collatz on G is topologically conjugate to the shift function in Σ 2 * .

10.5. Topological Conjugation

In a dynamic system, there is a well-studied dynamics in the space of sequences of two symbols, known as the Shift map. This map acts on the sequences by eliminating the first term. It is known that with the metric D, this map is continuous, and its periodic orbits form a dense set. In the following proposition, we will show that the extension of the Collatz function on π 1 ( G ) is, in fact, topologically conjugate to the dynamics of the Shift map.
Proposition 41. 
Let us consider the following function ω : Σ 2 * Σ 2 * given by,
ω { ξ j } j = 1 = { ξ j + 2 } j = 1 if ξ 1 = 10 { ξ j + 1 } j = 1 if ξ 1 = 0
Then C o l and ω are Topologically Conjugacy.
Proof. 
We are going to prove that this diagram is commutative
G [ r ] ω [ d ] π 1 G [ d ] π 1 π 1 ( G ) [ r ] C o l π 1 ( G )
and that π 1 is a homeomorphism.
Claim 1: The diagram is commutative. Suppose that { ξ j } j = 1 = 10 θ 1 10 θ 2 = j = 1 10 θ j G with θ j N . Writing this way, we get an explicit form for the function a k = j = 1 k θ j . If a 0 = 0 we have
C o l ( π 1 ) j = 1 10 θ j = C o l k = 1 2 a k ( { ξ j } j = 1 ) 3 k = 1 2 3 k = 1 2 a k ( { ξ j } j = 1 ) 3 k + 1 = 1 2 k = 2 2 a k ( { ξ j } j = 1 ) 3 k 1 + 1 = 1 2 1 k = 2 2 a k ( { ξ j } j = 1 ) 3 k 1 + 1 = k = 2 2 a k ( { ξ j } j = 1 ) 1 3 k 1 = k = 1 2 a k + 1 ( { ξ j } j = 1 ) 1 3 k
and
π 1 ω j = 1 10 θ j = π 1 0 θ 1 1 j = 2 10 θ j = k = 1 2 a k + 1 ( { ξ i } i = 1 ) 1 3 k
where both parts are equal. On the other hand. suppose that { ξ j } j = 1 = 0 θ 1 10 θ 2 1 = j = 1 0 θ j 1 G with θ j N and θ 1 > 0 . We have
C o l ( π 1 ) j = 1 0 θ j 1 = C o l k = 1 2 a k ( { ξ i } i = 1 ) 3 k = k = 1 2 a k ( { ξ i } i = 1 ) 1 3 k
and
( π 1 ) ω j = 1 0 θ j 1 = ( π 1 ) θ θ 0 1 j = 1 0 θ j 1 = k = 1 2 a k ( { ξ j } j = 1 ) 1 3 k
where again both parts are equal. Then we conclude that the diagram is commutative.
Claim 2: π 1 : G π 1 ( G ) with It is a bijective function. Let C o d : π 1 ( G ) G let’s prove that C o d π 1 = I d G and π 1 C o d = I d π 1 ( G ) .
1.
C o d π 1 = I d G : Let ξ = ξ 1 ξ 2 ξ 3 G with ξ j { 0 , 10 } . Since the parity of j = 1 2 a j 3 j depends only on the first term, if ξ starts with 0 then a 1 > 0 , then j = 1 2 a j 3 j is even then the first term of its coding is 0, and if ξ starts with 1 then a 1 = 0 then j = 1 2 a j 3 j is odd then the first term of coding is 10. By applying the Collatz function we obtain the same result as applying a translation of the terms of ξ . Indeed
(a)
if a 1 = 0
C o l j = 1 2 a j 3 j = j = 1 2 a j + 1 1 3 j = π 1 ( ξ 2 ξ 3 ) .
.
(b)
if a 1 > 0
C o l j = 1 2 a j 3 j = j = 1 2 a j 1 3 j = π 1 ( ξ 2 ξ 3 ) .
Then applying the function π 1 . Then we can repeat the same procedure and we recover ξ . Therefore
C o d ( π 1 ( ξ ) ) = ξ
2.
π 1 C o d = I d π 1 ( G ) : Let u π 1 ( G ) and ξ G such that π 1 ( ξ ) = u . On the other hand we have C o d ( π 1 ( ξ ) ) = C o d ( u ) and C o d ( π 1 ( ξ ) ) = ξ then C o d ( u ) = ξ , applying π 1 on both sides we have π 1 ( C o d ( u ) ) = π 1 ( ξ ) = u .
□ of the Claim.
Claim 3: π 1 : G π 1 ( G ) is continuous. Consequence of the Proposition 38.
□ of the Claim.
Claim 4: C o d : π 1 ( G ) G is continuous. Let u π 1 ( G ) and let ε > 0 . Take r N such that 1 2 r < ε . then by Lemma 12 we have
d ( u , v ) < 1 3 r C o d ( u ) j = C o d ( v ) j for all j < r D ( C o d ( u ) , C o d ( v ) ) < 1 2 r < ε
□ of the Claim.
Therefore, π 1 is a homeomorphism and therefore a topological conjugation. □

10.6. Periodic Point

Corollary 10 
(The Periodic orbit of Collatz function). The set of periodic orbits of Collatz function is dense in π 1 ( G )
Proof. 
Direct consequence of the proposition 41 □
Corollary 11. 
Let ξ G . Suppose that lim k π 1 ( ξ ) Z 2 admits real representation and let us denote the representation by Γ. Then Γ = lim k π 1 ( ξ ) R .
Proof. 
Consequence of uniqueness, since lim k π 1 ( ξ ) R . is the only solution in R whose coding is ξ and we know that Γ is the only dyadic solution whose coding is ξ . □

11. The Problem of Divergence

In this section, we address the fundamental aspects of divergence of the Collatz function. The primary focus is on the behavior of sequences and orbits, especially those with divergent slopes and their stability properties. The main results are summarized in the following key theorems:
  • Theorem 8: This theorem states that all sequences S k with a divergent slope are positively unstable, defining the sufficient condition under which a sequence becomes unstable.
  • Theorem 9: This theorem shows that all orbits with codings in G 0 are bounded.
  • Theorem 10: This theorem concludes that all natural numbers have bounded orbits, implying the non-existence of divergent orbits for natural numbers.
First, we examine the conditions under which the slope of a function S k diverges, leading to instability. Next, we explore the boundedness of orbits coded within G 0 and G , providing proofs and corollaries to support these findings. Finally, we demonstrate the non-existence of divergent orbits for natural numbers.

11.1. Summary of Propositions in the Section

  • Theorem 8: It is stated that all sequences S k with a divergent slope are positively unstable.
  • Theorem 9: It is stated that all orbits with codings in G 0 are bounded.
  • Corollary 7: If exist a sub-sequence such that lim j a k l + 1 ( ξ ) k l > ln ( 3 ) ln ( 2 ) . Then exist Ω > 0 such that π 2 ( ξ ) ( k l ) < Ω .
  • Theorem 10: There are no divergent orbits for the Collatz function on natural numbers.
  • Lemma 13: Let p q Q then C o d p q G 0 G . In particular, if there is J > 0 such that C o l q J ( p ) > 0 then C o d q ( p ) G 0 and if C o l q j ( p ) < 0 for all j N , then C o d q ( p ) G .
  • Theorem 11: Consider the extension of Collatz’s function on Q , then all orbit fall into some cycle.

11.2. The Problem of Divergence

The following theorem shows that if the slope of the function S k diverges, then so does the minimum value, this is because the only value that satisfies the encoding of S k is negative.
Theorem 8 
(Positively unstable Theorem). Let { S j } j = 1 θ , ψ q such that 3 b j 2 a j + 1 , then S j ( x ) is positively unstable for all q Z .
Proof. 
Let ξ = C o d ( { S j } j = 1 ) . Since 3 b j 2 a j + 1 then ξ G by Proposition 35, 33 and 28 and Theorem 7. We have π 1 ( ξ ) = j = 1 2 a j 3 j R is the only value whose coding is ξ . On the other hand, regardless of rationality, this number is always negative. Therefore, the minimum value must necessarily be divergent. □
We are going to show a series of results referring to the bounds of the orbits of numbers whose coding is in G 0 and G .
Theorem 9 
(Bounded Orbit Theorem). Let n Z such that C o d q ( n ) G 0 then the orbit of n is bounded for all q N odd.
Proof. 
Let { S j } j N on θ , ψ q such that C o d q { S j } j N = C o d ( n ) . Without loss of generality we can assume that n is positive, because in the case that n is negative we have that
lim j C o l q a j + 1 ( n ) = lim j S a j + 1 ( n ) = lim j 3 j n + q N j 2 a j + 1 = lim j 3 j 2 a j + 1 n + lim j q π 2 ( C o d ( n ) ) ( j ) = lim j q π 2 ( C o d ( n ) ) ( j ) 0
then eventually its orbit will fall into a non-negative number.
If the coding of { S j } j N has a null tail, the result is trivial. Suppose { S j } j N has no null tail, then:
C o l q a j + 1 ( n ) = S a j + 1 ( n ) = 3 j n + q N j 2 a j + 1 = 3 j 2 a j + 1 n + q π 2 ( C o d ( n ) ) ( j )
Since 3 j 2 a j + 1 0 we have by Proposition 35 we have that q π 2 ( C o d ( n ) ) ( j ) is bounded and let M > 0 such that q π 2 ( C o d ( n ) ) ( j ) < M for all j N . On the other hand, since 3 j 2 a j + 1 0 we have 3 j 2 a j + 1 is bounded and let H > 0 such that 3 j 2 a j + 1 < H for all j N , then
3 j 2 a j + 1 n + q π 2 ( C o d ( n ) ) ( j ) < H n + M
Therefore C o l q j ( n ) < . □
Monks and Yazinski [13] also extend the results of Eliahou [5] (1993) and Lagarias [9] (1985) concerning the density of “odd” points in an orbit. Let b n ( x ) denote the number of ones in the first n digits of x Σ 2 * . If x Q o d d eventually enters an n-periodic orbit, then
ln ( 2 ) ln ( 3 + 1 / m ) lim n b n ( x ) n ln ( 2 ) ln ( 3 + 1 / M )
where m , M are the least and greatest cyclic elements in the eventual cycle. If x Q o d d diverges, then
ln ( 2 ) ln ( 3 ) lim inf n b n ( x ) n .
We will now show the main theorem of this work, where we finally show the non-existence of divergent orbits for every positive integer. We will show that the necessary and sufficient condition for an orbit to be divergent is
lim sup j a j + 1 j < ln ( 3 ) ln ( 2 )
which implies that the only solution if it exists must be
< π 1 ( ξ ) 1 3 .
Theorem 10 
(Divergent Orbits Theorem). There are no divergent orbits for the Collatz function on natural numbers.
Proof. 
Let n N such that C o l j ( n ) as j and { S j } j = 1 θ , ψ such that C o d { S j } j = 1 = C o d ( n ) . We are going to prove that the necessary and sufficient condition for an orbit to be divergent is that the coding does not have a null tail and 3 j 2 a j + 1 as j .
If C o d { S j } j = 1 has a null tail, it means that from a certain iteration, the orbit of n must always be even, which implies that this orbit must be decreasing. This contradicts the fact that we have assumed that C o l j ( n ) .
Now without loss of generality, we can assume that C o d { S j } j = 1 does not have a null tail
C o l a j ( n ) = 3 j n + N j 2 a j + 1 then 3 j 2 a j + 1 or π k 2 ( C o d { S j } j = 1 ) = N j 2 a j + 1
If 3 j 2 a j + 1 , then by Proposition 35, we have that C o d ( n ) G . Thus, we have that π 1 ( C o d ( n ) ) is the only real number that satisfies the coding, and π 1 ( C o d ( n ) ) n since π 1 ( C o d ( n ) ) < 0 , which contradicts the hypothesis that S j is positively stable, since ρ 0 ( S j ) as j .
If π k 2 ( C o d { S j } j = 1 ) , by Proposition 35 we have that C o d { S j } j = 1 G 0 then lim inf j a j + 1 j ln ( 3 ) ln ( 2 ) . Let’s show now in fact lim sup k a k + 1 k ln ( 3 ) ln ( 2 ) . Suppose that exist { j k } k N such that lim j a j k + 1 j k > ln ( 3 ) ln ( 2 ) + ε with ε > 0 , so using the estimated bound in the demonstration of the Lemma 7, we have
π 2 ( ξ ) ( j k ) < 2 ε 2 ε 1 + 3 3 2 T 1 2 3 = Ω
Since 3 j k 2 a j k + 1 0 as j . So max k 3 j k 2 a j k + 1 < then we have
C o l j k ( n ) = 3 j k 2 a j k + 1 n + N j k 2 j k + 1 < max k 3 j k 2 a j k + 1 n + Ω
Since C o l j ( n ) N for all j N , then exist K N such that C o l j k ( n ) = C o l j k + K ( n ) . So we have that the orbit of n must fall into a cycle, which implies that lim j 3 j 2 a j + 1 = 0 which implies that π 2 ( ξ ) ( j ) is bounded, which contradicts the hypothesis that C o l j ( n ) . Therefore lim sup j a j + 1 j ln ( 3 ) ln ( 2 ) . This is equivalent to C o d { S j } j = 1 G 1 G .
On the other hand if C o d { S j } j = 1 G 1 by Theorem 6 we have ρ 0 { S j } j = 1 which contradicts the hypothesis that { S j } j = 1 is positively stable, so C o d { S j } j = 1 G
Since the Theorem 9 above, to have C o l j ( u ) divergent it is necessary that 3 k 2 a k + 1 , by Theorem 8 we have { S j } j = 1 is positively unstable, by Theorem, 2 we have E { S j } j = 1 N = . Therefore, cannot exist n N such that its orbit is divergent. □
Next we will present a more general result. Indeed, all rational ones have orbits that fall into some cycle.
Lemma 13. 
Let p q Q then C o d p q G 0 G . In particular, if there is J > 0 such that C o l q J ( p ) > 0 then C o d q ( p ) G 0 and if C o l q j ( p ) < 0 for all j N , then C o d q ( p ) G .
Proof. 
Let p q Q with q > 0 . If p > 0 then we can repeat the same argument from the proof of the Theorem 10 to show that C o d q ( p ) G 0 . Now if p < 0 . Suppose that C o d q ( p ) G 0 G . Additionally, let us assume that the orbit of p is always negative, since if there exists J > 0 such that C o l J ( p ) > 0 , then C o l j ( p ) > 0 for all j > J and we can repeat the argument of the Theorem 10 again using n = C o l J ( p ) . Then assuming that the orbit of p is always negative we have
C o l a j + 1 ( p ) = 3 j 2 a j + 1 p + N j 2 a j + 1 < 0 for all j N
so
N j 2 a j + 1 < 3 j 2 a j + 1 p so we have N j 3 j = π j 1 ( C o d q ( p ) ) < p
Since π j 1 is monotonous, then lim j π j 1 ( C o d q ( p ) ) R and by Proposition 35 we have that C o d q ( p ) G
Theorem 11. 
Consider the extension of Collatz’s function on Q , then all orbit fall into some cycle.
Proof. 
By Lemma 13 we only have to analyse the cases where the coding is in G 0 or in G . Let p q Q with q > 0 . Suppose that C o d p q = ξ G and that ξ does not have a null tail, otherwise its orbit falls at point 0, then p q = j N 2 a j 3 j . On the other hand, since ξ G exist ε > 0 such that lim sup k a k + 1 k < ln ( 3 ) ln ( 2 ) ε . Exist J > 0 such that a j + 1 a k j k < ln ( 3 ) ln ( 2 ) ε for all k > J . so
C o l a k + 1 π 1 ( ξ ) = C o l a k + 1 j N 2 a j 3 j = 3 k 2 a k + 1 j N 2 a j 3 j + N k 2 a k + 1 = 3 k 2 a k + 1 j = 1 k 2 a j 3 j 3 k 2 a k + 1 j = k + 1 2 a j 3 j + N k 2 a k + 1 = N k 2 a k + 1 3 k 2 a k + 1 j = k + 1 2 a j 3 j + N k 2 a k + 1 = 3 k 2 a k + 1 j = k + 1 2 a j 3 j = j = k + 1 2 a j a k + 1 3 j k = j = k + 1 2 a j a k + 1 j k 3 j k > j = k + 1 2 ln ( 3 ) ln ( 2 ) ε 3 j k = j = k + 1 2 ε ( j k ) = 2 ε k j = k + 1 2 ε j = 2 ε k 2 ε ( k + 1 ) 1 2 ε = 2 ε 1 2 ε
Let Ω = max 2 ε 1 2 ε , C o l a k + 1 π 1 ( ξ ) with k < J , so C o l a k + 1 p q > Ω for all k N . By Proposition 9 we have
C o l a k + 1 p q = 1 q C o l q a k + 1 p then C o l q a k + 1 p > q Ω sin ce q > 0
Since the orbits of π 1 ( ξ ) are always negative, we have to C o l q a k + 1 p < 0 . Since the sub-orbit of p is bounded, and C o l q is defined on the integers, we have to necessarily have the orbit fall into some cycle.
Now suppose that ξ G 0 , then by Theorem 9 we have the orbit is bounded, Without loss of generality we can assume that its orbit is positive, so its orbit must necessarily fall in some cycle. □

References

  1. Andrei, S., Kudlek, M., Niculescu, R. S. (2000). Some results on the Collatz problem. Acta Informatica, 31(2), 145–160.
  2. Applegate, D., Lagarias, J. (1995). Density bounds for the 3x+1 problem. I. Tree-search method. Mathematics of Computation, 64, 411–426.
  3. Bernstein, D. (1994). A non-iterative 2-adic statement of the 3N+1 conjecture. Proceedings of the American Mathematical Society, 121(1), 405–408.
  4. Bernstein, D., Lagarias, J. (1996). The 3x+1 conjugacy map. Canadian Journal of Mathematics, 48(5), 1154–1169.
  5. Eliahou, S. (1993). The 3x+1 problem: New lower bounds on nontrivial cycle lengths. Discrete Mathematics, 118, 45–56.
  6. Jeffrey, C. L. (2011). The ultimate challenge: The 3x+1 problem. American Mathematical Society.
  7. Katok, S. (2007). p-adic analysis compared with real. American Mathematical Society.
  8. Lagarias, J. (1985). The 3x+1 problem and its generalizations. American Mathematical Monthly, 92, 1–23.
  9. Lagarias, J. (1990). The set of rational cycles for the 3x+1 problem. Acta Arithmetica, 56, 33–53.
  10. Matthews, K., Watts, A. M. (1984). A generalization of Hasse’s generalization of the Syracuse algorithm. Acta Arithmetica, 43(2), 167–175.
  11. Müller, H. (1991). Das 3n+1-Problem. Mitteilungen der Mathematischen Gesellschaft in Hamburg, 11, 231–251.
  12. Müller, H. (1994). Über eine Klasse 2-adischer Funktionen im Zusammenhang mit dem 3x+1-Problem. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 64, 293–302.
  13. Monks, K., Monks, K. G., Monks, K. M., Monks, M. (2013). Strongly sufficient sets and the distribution of arithmetic sequences in the 3x+1 graph. Discrete Mathematics, 313(4), 468–489.
  14. Terras, R. (1976). A stopping time problem on the positive integers. Acta Arithmetica, 30, 241–252.
  15. Tao, T. (2022). Almost all orbits of the Collatz map attain almost bounded values. Forum of Mathematics, Pi, 10. Cambridge University Press.
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

Disclaimer

Terms of Use

Privacy Policy

Privacy Settings

© 2025 MDPI (Basel, Switzerland) unless otherwise stated