Submitted:
16 August 2024
Posted:
23 August 2024
Read the latest preprint version here
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 \cite{Lagarias1990}. 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. In 2019 Terence Tao \cite{tao} proved that almost all orbits converge to the trivial cycle of $\{1,4,2\}$, in this work we will prove the non-existence of divergent orbits. The central idea is to decompose the dynamic system $Col$ into a binary dynamic system, generated by different compositions of two functions. This differs from a typical dynamic system, which is generated by the iteration of a single function. We consider the system generated by the functions \(\theta, \psi: \mathbb{R} \to \mathbb{R}\), defined as \(\displaystyle\theta(x) = \frac{x}{2}\) and \(\displaystyle\psi(x) = \frac{3x + 1}{2}\), denoted as \(\langle \theta, \psi \rangle\). We examine sequences of functions in \(\langle \theta, \psi \rangle\) of the form \(S_k(x) = s_k \circ S_{k-1}(x)\) with \(s_k \in \{\theta, \psi\}\). We define a function that assigns to each element of these sequences an integer, called the minimum value positive integer or simply the minimum value. This corresponds to the smallest positive integer \(n\) such that \(S_k(n)\) is an integer. As we will prove later, the minimum value is monotonically increasing, meaning that increasing the terms of the sequence will never result in a value lower than the previous one. Based on this behavior, we distinguish two types of sequences: stable ones, where the minimum value is constant from a certain point, and unstable ones, where the minimum value is divergent. The main result for unstable sequences is that when the slope of the sequence is divergent, the sequence is unstable. From this result, we can prove that there are no divergent orbits for the function $Col$.
Keywords:
Collatz Conjecture
; Dynamical System
1. Introduction
1.1. Collatz’s Conjecture:
The Collatz Conjecture, also known as the Conjecture or the Ulam Problem. Formulated in simple terms, the conjecture proposes that by applying a specific rule to any positive natural number, one will inevitably reach the number 1.
The conjecture is named after Lothar Collatz, a German mathematician who first presented it in 1937. Despite its apparent simplicity, the Collatz conjecture has resisted formal proof for over 80 years. However, its appeal lies in the fascinating tension between its elementary statement and the complexity involved in its demonstration. The Collatz’s Conjecture is formally enunciated as: Let , defined by:
then, for all exist such that:
An equivalent formulation of the conjecture argues that starting from any positive integer, one will eventually reach cycles , and then this cycle will repeat indefinitely. Despite its apparent simplicity, the Collatz conjecture has perplexed mathematicians for decades. The validity of the conjecture has been confirmed for extremely large numbers; however, to date, no one has managed to demonstrate in a general sense that all positive integers adhere to the conjecture. Additionally, no counterexample has been found to invalidate the assertion.
1.2. Main Idea
Let be the set generated by the compositions of the functions and . We will encode the elements of this space with 10 and 0 according to the order in which and appear during the composition. For example,
will have the encoding 100010 (counting from the left), and each will have a unique encoding (Proposition 5). This means that there is no other configuration of the compositions of and that results in . Now, let’s find an integer solution for , that is, an integer x such that its image is also an integer. For example, since . Now, calculate the first 6 terms of the orbit of 13, obtaining . If we consider the parity of the points, we obtain 100010, where 0 represents an even point and 1 represents an odd point. We will call this sequence the orbit encoding, which coincides with the coding of the functions from the beginning. Let denote the set of integer solutions of S. We show that all elements of share the first terms of the encoding (Proposition 11).
We define the minimum positive integer value as the minimum of . Let . We show that (Proposition 6). From this result, we will define two types of sequences . We say that a sequence with and is positively stable if there exists such that constant; otherwise, we say it is positively unstable. When the sequence is positively unstable, it means there will be no natural number with the given encoding. Now, if the sequence is positively stable, then there will be a unique integer that satisfies the given encoding. To study the behavior of the minimum positive integer value, we will introduce the sigma function (Definition 12). Let such that . Then is given by
Given a Diophantine equation of the type , the minimum positive integer value can be calculated through the sigma function (Proposition 4) as
And we will show that the Coding of the sigma function () is precisely the minimum positive integer value and by also depends on the dyadic extension of the function defined in Definition 17 (Proposition 6).
We will show that a necessary condition for a sequence to be positively stable is that the derivative of converges to 0. As we will see later, the necessary condition for the orbit of a natural number to be divergent is that the derivative of converges to ∞. To prove this result, we will need several extensions of the Collatz function.
We can obtain more information about the behavior of the codings of integers by extending the encoding to fractions with an odd denominator or irreducible fractions in the following way: a fraction is even when its numerator is even and odd when its numerator is odd. We will distinguish between two types of fractions and . In particular, we study . The motivation for not requiring to be irreducible is due to the following identity:
where is a Collatz-type function defined as follows:
We have that q and are coprime when q is coprime with 3; otherwise, the fraction is not irreducible. However, the parity of the fractions remains invariant. Given an encoding , we define the encoding set of as
We define . It is shown that if there exists a rational r such that , then it is unique.
Since we are interested in studying fractions with an odd denominator and these have the peculiarity that each time the Collatz function is applied to them, it results in an even fraction, we will consider sequences formed by 10s and 0s, denoted as , which is the set of all infinite sequences of 10s and 0s.
We will define two functions on , the 0-counter and the 1-counter, which will count how many 0s and 1s there are up to the th term of , denoted by and . We will consider three subsets of called , and . The first corresponds to all sequences such that as , the second corresponds to all sequences such that as , and the third corresponds to all sequences such that there exists a subsequence of and such that as . An equivalence is given by Lemma 8: Let such that is not a null tail (Definition 20), then
- 1.
- if and only if ,
- 2.
- if and only if ,
The main results of this work focus on studying these sets.
The first result we have is that given and taking a sequence such that , then as . To demonstrate this result, we will extend the Collatz function over the 2-adic numbers and the results on integer and codifying sets. The idea behind the proof is to use the fact that there exists a topological conjugation (Theorem 5) between the extension of the Collatz function and the Shift function on via the function (Definition 17). As a consequence, we obtain that the periodic points are dense and are of the form
Then, when the periodic sequence approaches , we have that the rational representation approaches the rational representation of in the 2-adic metric. This means that the first terms of the 2-adic expansion are equal, and as gets closer, more terms become equal. Since , there exists a subsequence of such that , and thus, taking , we have that the denominator as . By Proposition 31 and by the monotonicity of the minimum positive integer value (Proposition 6), we have that as .
Since the 2-adic numbers do not provide much information about the signs of the representations in beyond periodic or semi-periodic numbers, we will work with the set , where the function is defined in Definition 19. We will show that is a complete metric space (Proposition 33). The main result regarding is Theorem 7: Let , then if is rational, the is the only rational number that satisfies ; in particular, . If is irrational, then there is no rational such that .
The proof of this theorem is based on the completeness of and the codification of the sigma function (Proposition 31). If we extend the Collatz function over (Proposition 34 and Definition 21), we can interpret the theorem above as stating that is the only real number such that .
In Theorem 9, we will show that if and , then its orbit is bounded.
Now we are ready to give an idea of the proof of the main theorem of this work, Theorem: There are no divergent orbits for the Collatz function on natural numbers. The idea is to suppose that there exists a natural number with a divergent orbit; this natural number must be the minimum value of some positively stable sequence of functions , then
Then we have the following cases:
- 1.
- If , then by Proposition 32, we have that . Hence, we have that is the only real number that satisfies the codification, and because , which contradicts the hypothesis that is positively stable since as .
- 2.
-
If , by Proposition 32, we have that , then . Let’s show that, in fact, . Suppose that there exists such that with , so using the estimated bound in the proof of Lemma 8, we haveSince as , , then we haveSince for all , there exists such that . Thus, the orbit of n must fall into a cycle, which implies that , which implies that is bounded, which contradicts the hypothesis that . Therefore, . This is equivalent to as .On the other hand, if , by Theorem 6, we have tending to infinity, which contradicts the hypothesis that is positively stable, so .
So if there exists a natural n such that its orbit is divergent, then necessarily , however as we saw this is not possible, since all rationals or even reals such that coding is in must be negative. Therefore there are no divergent natural orbits.
1.3. Extension of the Collatz function
The Collatz function can be naturally extended to the set of integers, as the concept of parity is a concept defined for 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 [5]. We will distinguish two subsets of . The set of rationals with odd denominators, denoted by , and the set of rationals with even denominators such that the numerator and denominator are co-prime, denoted by . We will say that a rational number in is odd if the numerator is odd, and it is even if its numerator is even. In the case of , 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.
1.4. Notations and Conventions
In this work, we are going to denote the set of positive integers as , the set of non-negative integers as and the greatest common divisor of a and b as and the least common multiple of a and b as .
We use the following symbology to refer to an arbitrary composition of functions:
Definition 1
(Extension of the Collatz function). Let’s consider the following sets and . We defined the Collatz’s function by by
We are going to show that the extension of the Collatz function that we defined is well-defined on
Proposition 1
(Well-Defined). The Collatz’s function on is well-defined.
Proof: We are going to show that is well-defined over . Let with and . Let an odd number, then
QED. Let’s observe that when we apply the Collatz function to with odd number, we always obtain a fraction with an even numerator, and when applied to , we always obtain an odd number. This will be very important since in Section 4, 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 , we will have that all its elements have the same encoding which is unlike , where the codings will be generated by 10 and 0. For this reason we are going to work mainly on , let’s simplify the Collatz function a bit, as given by
Proposition 2
(Invariance of ). The Collatz function defined above satisfies that
Proof: We will show that does not change the parity of the numerator.
- 1.
-
if p is odd, we have with , thenSince q is odd, we have independent of the simplification .
- 2.
-
if with , we haveSince q is odd, we have independent of the simplification, we have .
QED. Considering the proposition above, we are going to define the Collatz function on as
Definition 2
(Extension of the Collatz function on ). We define the Collatz Function on by
Let and we have:
and
The first objective of the work is to show that there are no divergent orbits in .
2. Set Generate by and
In this section, we delve into functions generated by the composition of two real linear functions, and , focusing on their properties over integers. We define the set , 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 , 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.
2.1. Summary of Propositions in the Section
- 1.
- Definition 3: Introduces the set , generated by two real linear functions and .
- 2.
- Definition 4 : Defines the integer set of a function as , where are functions in the composition of S.
- 3.
- Definition 5 : Defines the entire set of a function.
- 4.
- Lemma 1 Monotony of Integer Set Lemma.
- 5.
- Proposition 3 : Establishes a relation of monotony in the entire sets concerning the composition of functions.
- 6.
- Lemma 2 Establishes a characterization of the integer sets.
- 7.
- Proposition 4 : 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.
- 8.
- Theorem 1: Ensures that the integer sets are the disjoint union of the integer sets of functions in with the same length.
- 9.
- Proposition 5: Guarantees the existence of a unique sequence of elements for a function .
2.2. Set Generate by and
The Generated Spaces, denoted as . These spaces arise from the iterative composition of functions, where the individual contributions of and combine to form an enriched dynamic structure.
Definition 3
(Set Generated by and ). Let and defined by and , then we define the set as:
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 .
Definition 4
(S-Orbit and Integer S-Orbit). Let and . We define the S-orbit of as the set:
Let . We will say that an S-orbit of p is integer when
Now let’s define The integer sets of a function, denoted by , represent the integer values that a specific function takes on its domain. Examining 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 5
(Integer Set of a Function). Let a function, we called integer set of f or the integers of f the set:
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 such that and . Let and , then .
Proof: In fact, we have Since there are solutions.
Let then by definition , then we have
as then we have
QED.
Proposition 3
(Monotony of Integer Set). Let with and . Then if we have:
Proof: As the functions generated by are linear of the form with . The result follows inductively from Lemma 1. QED.
we have that and are solutions of the Diophantine Equation, then the integer set is:
Let then
indeed
The following lemma states that an orbit is integer if and only if its last value is an integer.
Lemma 2
(Containment in Integer Sets). Let , then if and only if with .
Proof: Let then by proposition 3 we have with , then . On the other hand, we have then .
If with then on the other hand
then . QED.
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. This result plays a crucial role in understanding the structure of integer sets within the context of linear functions and their compositions.
Proposition 4
(One-to-One Correspondence and Disjointedness). Let of length k, if if and only if .
Proof: Let and with and let be the largest index such that for all
If This means that they have different first terms. Then and or, and in either case we have .
Suppose that exist by proposition 3 we have
Taken
and by lemma 2
which is a contradiction, On the other hand if then otherwise we would have
however, neither set can be empty QED. As a consequence of the above proposition we have
Theorem 1
(Partition of Integers). Let with length k, then
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
To prove the other contention we consider the Collatz function defined by given by
let’s take an integer u and calculate its k-th orbit, this orbit can be written as compositions of functions in , 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.
QED. 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 5
(Uniqueness of Basis Representation). Let . Then there exists a unique sequence of k elements with such that
Proof: Since , then there exists a sequence of elements with such that . Suppose for absurdity, that there is another sequence but of elements such that . Let , we have the following cases
- 1.
-
If . We haveby Proposition 3 we have , since and then . Since and are invertible functions, we haveFollowing the same idea up to , we haveThe latter is impossible since the slope of the resulting line is of the form with . The case is completely analogous, therefore the case where and are different is not possible.
- 2.
-
If . Since the sequences are different, there must exist some such thatthen by Proposition 4 we haveHowever, this is a contradiction to the Proposition 3, because for all . Then both sequences must be identical.
QED.
3. 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 and that map real functions to integers. We introduce the concepts of positive and negative stability for sequences . The monotonicity of and is established through Proposition 3, demonstrating the non-decreasing of and the non-increasing of for a given sequence . 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.
3.1. Summary of Propositions in the Section
- 1.
- Definition 6 : Definition of functions and .
- 2.
- Proposition 6: Monotonicity of the functions and .
- 3.
- Definition 7: Definition of positively (negatively) stable (unstable) sequences.
- 4.
- Theorem 2: Establishes the asymptotic behavior of the integer set when we have a positively (negatively) stable (unstable) sequence.
3.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 . This equation is representative of the Diophantine equation linked to an element within the space generated by and .
Definition 6
( and functions.). Define the function by
and
As a consequence of the Proposition 3. We have that the functions and are monotone.
Proposition 6
(Monotonicity of and ). Let then is a non-decreasing function, and it is a non-increasing function.
Proof: By the proposition 3 we have that
then and . QED. From the result of the proposition above, we are going to make a classification of the sequences according to the behavior of the functions and .
Definition 7
(Stability of Sequences). Let sequence on given by . We will say that is positively stable if otherwise we will say that it is positively unstable. On the other hand, we will say that is negatively stable if , 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 from the stability or stability of this.
Theorem 2
(Stability Limit Theorem). Let and and . We have:
- 1.
- if is positively stable then
- 2.
- if is positively unstable, then
analogously
- 1.
- if is negatively stable then
- 2.
- if is positively unstable, then
Proof: Let and with numbers from to and numbers from to . We have
supposed that is stable, we will first prove that is non-empty. By Proposition 3 the sequence of sets 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.
Now since 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
this implies
then the limit set is non-empty.
Now we will prove the limit set contains a single element. Suppose there exists another element that is contained in all positive integer sets, then there exists a non-negative integer t such that
without loss of generality, we can assume that is constant. Solving the equation in terms of t, we have
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 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
as diverges and constant, then there exists a K such that is greater than , then cannot belong to any integer set with , which is a contradiction. Analogously for the other case. QED. is positively and negatively unstable. Indeed, by example , we have where as then . On the other hand . is positively unstable and negatively stable. Let’s calculate the integer set , let’s observe that
Then then we have and as
4. 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 and on the fractions with denominator q and the one-to-one identification of each element of with its coding.
4.1. Summary of Propositions in the Section
- 1.
- Definition 8: Coding maps and the space of sequences 0 and 10.
- 2.
- Proposition 7: General form of the elements generated by and .
- 3.
- Proposition 8: Fist Cod invariance: .
- 4.
- Definition 9: Definition of .
- 5.
- Proposition 9: equivalence : if then .
- 6.
- Proposition 10: Second Cod invariance: .
- 7.
- Proposition 11: if and only if
- 8.
- Proposition 12 if and only if
- 9.
- Proposition 13:.
- 10.
- Definition 10: The Coding set .
- 11.
- Proposition 14: Monotony of the coding set .
- 12.
- Proposition 15: Generating property:if then .
- 13.
- Theorem 3: Uniqueness of the full coding .
4.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 , 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 encodings reside as since it is a subset of the sequence space consisting of 0s and 1s, denoted in dynamics as . Formally, we express this as
Definition 8
(Coding of the Orbits). We are going to consider the set of sequences 0 and 10 that we will denote by and we formally define it as
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 applications: defined by
with
and defined by
with
To rigorously examine the properties of the coding, it is essential to establish a precise form for the elements generated by and .
Proposition 7
(General form of S). Let , let A=quantity of 0 of , =quantity of 0 up to the j-th 1 of and quantity of 1 of and defined as
then
Proof: We will prove by induction on k (length of S) for we have
- 1.
- , then, and then .
- 2.
- , then, and then .
Suppose the statement is true up to k, let of length with H of length k and let b be the quantity of 1 and a be the quantity of 0 of .
Claim 1:. We have:
- 1.
- the quantity of 1 of is
- 2.
- and for and the quantity of 0 of is
- 3.
On the other hand, we have:
where we observe that the values coincide with those calculated.
Claim 2:. We have
- 1.
- the quantity of 1 of is b.
- 2.
- for
- 3.
- .
On the other hand, we have
where we observe that the values coincide with those calculated, then the statement is true. QED. Now we will see the first property of the coding
Proposition 8
(First Cod invariance). Let given by , we defined given by . Then .
Proof: Let . 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 . let us observe that q has commutative properties with and .
- 1.
- .
- 2.
As then there exists such that
For convenience we will denote . Then we have
since q does not permute any element , we have that if is then is still and if is then corresponds to . By Proposition 5 we have that the coding of has to be the same as that of S. QED. Let us contemplate a generalization of the Collatz function applied to integers. In this variant, rather than adding 1, the function adds , where q is an odd integer. Subsequently, we will establish the compatibility of this generalization with the extension of the Collatz function to .
Definition 9
(The map). Let , we define the Collatz function defined by given by
Now, we will demonstrate the compatibility of this generalization
Proposition 9
( equivalence). Let . Then for all integer numbers we have
Proof: We let’s observe that
Suppose first that . This fraction is irreducible. Indeed we have that . 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
Now suppose that , 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, with and let . We will divide this proof into two parts.
Case one : We are going to prove the statement by induction. To
Now suppose that the statement is true for k, observe before continuing that the expressions and have the same parity. Indeed,
if the expression on the left-hand side is even, if and only if it is even. On the other hand, if the left side is odd, must be odd and if is odd, since the product of odd is odd, the left side is odd, so the expressions have the same parity.
- 1.
-
if it is odd. Expanding the left-hand side of the proposition,developing the right-hand side of the proposition,We conclude in this case that both parts are equal
- 2.
-
if it is even. Expanding the left-hand side of the proposition,developing the right-hand side of the proposition,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 : We are going to prove the statement by induction. To
Now suppose that the statement is true for k, observe before continuing that the expressions and have the same parity. Indeed,
if the expression on the left-hand side is even, if and only if it is even. On the other hand, if the left side is odd, must be odd and if is odd since the product of odd is odd, the left side is odd, so the expressions have the same parity.
- 1.
-
if it is odd. Expanding the left-hand side of the proposition,developing the right-hand side of the proposition,We conclude in this case that both parts are equal.
- 2.
-
if it is even. Expanding the left-hand side of the proposition,developing the right-hand side of the proposition,We conclude in this case that both parts are equal. Since in both cases it gave equality, we conclude that the proposition is true.
QED.
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.
Proposition 10
(Second Cod invariance). Let an irreducible fraction with and defined by
with
then we have
Proof: By proposition 9 we have
Since q it is odd, then, we have coding of and must be the same. QED.
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 ). Let and of length k with , then
Proof: Let and then by definition by Proposition 3 we have with , then .
Suppose that then , then . QED.
We show below the second connection between the integer sets and the encoding. Specifically, we demonstrate that all values p within the integer set indeed have the same coding as the corresponding fraction .
Proposition 12
(second characterization of ). Let and of length k with , then we have:
if and only if
Proof: Let of length k such that , for the proposition 9, we have
then finally by the proposition 11, we have if and only if . QED. 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
Proposition 13
(Invariance property of Coding of rational). Let an irreducible fraction with , numbers from 0 to and then
.
Proof: Let such that then this implies
then
QED.
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 Coding set.
Definition 10
(The Coding set). Let , we define the k-th coding set of
The encoding set also exhibits the property of monotonicity, similar to the integer set of S.
Proposition 14
(Monotony of the coding set). Let then
Proof: Let by definition then trivially we have , then . QED.
Definition 11
(The Coding set). Let , we define the k-th coding set of the coding set of
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 , numbers from 0 to and then exist
Proof: Let and such that , now consider and such that by proposition 12 we have the latter is equivalent
We are going to prove that and are elements of with . Indeed,
and
then
QED. 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 ). Let . If it exists such that then it is unique.
Proof: Let numbers from 0 to . Suppose there is another element, such than by proposition 15
Since then . On the other hand, since and since T is an integer, so tending to infinity, which implies should be infinite, which is a contradiction. QED.
5. The Sigma function
In this section, we immerse ourselves in the rigorous study of Diophantine equations of the form , where 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 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.
5.1. Summary of Propositions in the Section
- 1.
- Definition 12: Definition of the sigma function.
- 2.
- Theorem 4: Establish that and are solutions of the Diophantine equation . Additionally, is the minimum non-negative integer value.
- 3.
- Corollary 1: Establishes that the minimum value grows based on the number of times the sigma function takes odd values.
- 4.
- Corollary 2:
- 5.
- Proposition 16: Establishes inequalities that estimate the values of the sigma function
- 6.
- Proposition 17: It establishes the periods for the periodic points.
- 7.
- Proposition 18: Establish algebraic properties of additivity, dependent on the parity of the addends
- 8.
- Corollary 3 Establish algebraic properties’ linearity modulo
- 9.
- Proposition 19 Establish that the sigma function is homogeneous modulo
- 10.
- Definition 13: Extension of the sigma function on
- 11.
- Definition 14: Characteristic Function
- 12.
- Lemma 3: Establishes an invariance in the coding of the orbits of the sigma function.
- 13.
- Proposition 20: Establishes homogeneity properties of the extension of the sigma function.
- 14.
- Proposition 21 Algebraic properties of the Extension of the Sigma function.
- 15.
- Definition 15: Definition of dyadic numbers.
- 16.
- Proposition 22: Characterization of the dyadic representation of rational numbers.
- 17.
- Definition 16: Definition of Cod-Sigma function.
- 18.
- Lemma 4: Invariant coding lemma for Cod-Sigma function.
- 19.
- Proposition 23: Change of basis of the Cod-Sigma function.
- 20.
- Proposition 24: Let and and let such that and such that then
- 21.
- Corollary 4: Let . Then .
- 22.
- Proposition 25 is linear.
- 23.
- Lemma 5: Rational equivalence of the Cod-Sigma function.
- 24.
- Lemma 26: and
5.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 such that . We define the sigma function
In the following theorem, we explore solutions to the Diophantine equation , 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 and the largest non-positive solution for the variable x, offering valuable insights into the structure of solutions to this equation.
Theorem 4
(Theorem on Diophantine Solutions). Let with and . Consider the Diophantine Equation . Then a particular solution for y is given by
Furthermore. Let be the smallest non-negative solution for x, then
let be the largest non-positive solution for x if then
Proof: We can write the sigma function as
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 then
and Let then
replacing the k-th iteration sigma function in the equation and solving for , we have
and replacing the k-th iteration sigma function in the equation and solving for , we have
For the positive case, we have that , then due to the uniqueness of solutions in , L corresponds to the non-negative minimum value and for the negative case we have , again due to uniqueness of solutions in , we have that is the maximum non-positive solution. QED. Let us consider the following Diophantine equation then
are solutions of the equation. We will demonstrate that this minimum value increases every time 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 such that and and the minimum non-negative value of . Then increases every time is an odd number. In particular with if is even and if is odd.
Proof: Let and then by Theorem 4 we have
then . So, we have that every time , the minimum positive integer value increases, and this only happens when is odd.
QED. In the following corollary, we explore the relationship between the sigma functions and in the context of the Diophantine equation .
Corollary 2
(Relation between and ). Let and . Consider the Diophantine Equation, , then
Proof: By definition, we have that is the nearest non-negative solution to 0, and is the nearest non-positive solution to 0, which means that and are consecutive solutions. Therefore, . then we have
Therefore QED. In the following proposition, we examine the inequalities and estimations for the sigma function and , where n is an integer. We show that the sigma function lies in the interval for , and in the interval for . 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 and . Then,
Proof: For 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
for the second we would have
For , 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
and clearly, we have
QED.
5.3. Periodicity of the sigma function
Proposition 17
(Periodicity of periodic orbits). Let The sigma function has the following properties,
- 1.
- The only fixed points are a and 0.
- 2.
-
If, then, its orbit by is periodic with period given bywhere φ is the Euler’s totient function.In particular, if and then the periodic is . Let then
In particular, all points terminate in some periodic orbit (including periodic points) between 0 and a.
Proof: we have
- 1.
- Let , if u is odd, then which implies . If u is even, we have, which implies .
- 2.
-
Let such that and , soThensuppose that , this implies that u is an invertible then, the equation is equivalentThe minimum value of k is given by the Carmichael function given byLet , thenas then , which is the necessary and sufficient condition for to admit decomposition in base 2 up to the power which implies that there exist such that .Now suppose that , then we divide by, dthen the development is completely analogous to the first case.In particular, when 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 .
QED. Let us observe that for the equation to have a solution it is necessary and sufficient that since the function is monotonically decreasing for . For, we have and .
For we have , , and
5.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 Furthermore, Proposition 19 establishing a relationship between and .
Proposition 18
(Algebraic properties of the Sigma function). Let and , then we have
- 1.
- if are even numbers, then .
- 2.
- if n is an even number and m is an odd number, then .
- 3.
- if are odd numbers, then .
Proof: Let , then we have
- 1.
- If are even, we have
- 2.
- If m is even and n is odd, we have
- 3.
- If are odd, we have
QED. This corollary states that the sigma function, seen as a function on the set and taking values in , acts as a group additive automorphism. In other words, it preserves the group structure under modular addition in
Corollary 3
(Linearity modulo a). We consider the function sigma as a function of in , then it is a group additive automorphism. i.e.
Proof: From the previous proposition we have that the sigma function is linearly distributed except for a term that appears when both addends are odd, this term is congruent to QED. This proposition establishes the concept of homogeneity modulo a for the sigma function. It relates the value of to 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 such that , then we have
Proof: Let such that and consider the following Diophantine Equation . Since we have that, this equation is equivalent to . The Theorem 4 we have a particular solution of Y, then is a solution for y of , then
QED.
5.5. Extension on the of the sigma function
We can extend the domain of the sigma function to the set of rationals, in the following way,
Definition 13
(-extension of the sigma function). Let . We define the sigma function
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 through the equation . We can utilize the latter equation to extend the sigma function to the set of fractions with odd denominators, employing the following equation on :
or equivalently
That is to say, the extension of the sigma function gives the fraction that solves the equation
5.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 , 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 given by
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 is the same as the parity of for all non-negative integers j. Furthermore, if v is odd, the lemma demonstrates that the parity of is identical to the parity of for all non-negative integers j.
Lemma 3
(Invariant Characteristic Function Lemma). Let with u not null, such that and then
- 1.
- 2.
- if v is odd then
Proof : We have
- 1.
-
Let where and where . We will prove by induction thatFor , Since if v is odd (or even) then is odd (or even) thenSuppose for , then , then we haveSince u is odd, we have that and have the same parity, then
- 2.
-
Let where and where . We will prove by induction thatFor , Since v is oddSuppose for , then , then we haveSince v is odd, we have that and have the same parity, then
QED. In the following proposition, we demonstrate homogeneity properties that leave the coding of the orbits of the sigma function invariant.
Proposition 20
(homogeneity). Let with u not null, such that and then we have
- 1.
- 2.
Proof: We have
- 1.
- Let where and where . Then we have
- 2.
- Let where and where . Then we have
QED.
Proposition 21
( Algebraic properties of the Extension of the Sigma function ). Let with odd numerator and , satisfies the following identities
- 1.
- if are even fractions, then .
- 2.
- if is an even fraction and is an odd fraction, then .
- 3.
- if are odd fractions, then .
Proof: Let’s proved first for . Let and let given by if n or m is even fraction and if n and m are odd fraction.
Dividing everything by , we have
Now let a an odd fraction with odd numerator, then we have is odd fraction, then multiplying by does not change the parity of or . Then we have
QED.
5.7. Coding of Sigma function
In this section we are going to use the space of dyadic integers numbers as a support for the coding of the sigma function.
5.7.1. Adic Numbers
Definition 15.
Let be any prime number. Define a norm on as follows
where
Let the completion of through the norm .
We have the following properties
- 1.
- if then if and only if .
- 2.
- Let then this is uniquely represented by convergent series ( with norm ) as
- 3.
-
The adic expansion allows us to perform arithmetical operations in in way very similar to that in . Moreover, we will see that the operations in are, in fact, easier to perform than .Let and.
- 4.
-
A adic number is said to be a adic integer if its canonical expansion contains only non-negative power of p. The set of adic integers is denoted by , soThis set has the property of being a complete metric subspace.
One of the main characteristics of adics numbers is
Proposition 22.
The canonical adic expansion represents a rational number if and only if is eventually periodic to the left.
5.7.2. Coding of Sigma function
Now we are going to define the coding of the sigma function for .
Definition 16.
Let and odd number. We define the Coding of by σ as given by
and the finite coding as
The following lemma is a reformulation of lemma 3 for .
Lemma 4
(Invariant coding lemma). Let with u not null, such that and then
- 1.
- 2.
- if v is odd then
Proof: Reformulation of the Lemma 3 QED.
Proposition 23
(Change of basis of the Cod-Sigma function). Let and with , and such that . Let given by . Then if and is an odd number we have
or if is an odd number we have
Additionally. if are odd numbers we have
Proof: Let’s prove by induction that if is odd, then
Completing with if necessary, we have , then
Since we trivially have that and by hypothesis we have that , by the Lemma 1 we have
In particular, for , we have and is odd, we have then . For , we have , then , then . Suppose this continues until for i.e.
We have that then by definitions and by inductive hypothesis then . Therefore, . Then we have to
Similarly, Completing with if necessary we have. Let , then
Now. If are odd numbers, we have
In particular, we have
then we have that the coding of is and of the is QED. Let , we have , then
- 1.
- , then . Then we have taking the coding coefficients, to base 2 we have
- 2.
- , then . Then we have taking the coding coefficients, to base 2 we have
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 24.
Let and and let such that and such that then
Proof: Let given by , then we want to find the minimum positive value of , then solving the following equation.
By Proposition 17 we have , then
Let such that . By Proposition 23 we have
QED.
Corollary 4.
Let . Then
.
Proof: Let , and given by by Proposition 18 we have
Then
Let such that and and let such that
by Proposition 24 we have
Then we have
Then we have , therefore
QED.
Proposition 25.
Let . Then is linear:
.
Proof: By Corollary 4 we have for all , this is equivalent to
Therefore
QED.
- 1.
-
Let
- (a)
- then .
- (b)
- then .
then , Then we have - 2.
-
Let with even. We haveThen
- (a)
- then .
- (b)
-
then.
Then we haveThen we have . - 3.
-
LetOn the other hand
- (a)
- then .
- (b)
- then .
Then we haveThenThat is, has a constant coding equal to 1. This is natural, since is stable.
Lemma 5
(Rational equivalence of the Cod-Sigma function.). Let , then we have
Furthermore. Let , then
Proof: Let with . Let then multiplying by we have and subtracting, we have
On the other hand we have that , then
Other way for proof it, is
Now let’s try the second part. Let
On the other hand
Therefore QED.
Proposition 26.
Let then we have and
Proof: Claim 1: Let and , the we have .
Indeed. Let and . By Lemma 4, Proposition 25 and Lemma 5, we have
Since then .
Claim 2:.
Indeed. We have the following equivalence on
On the other hand
Therefore . On the other hand, we have that is a Cauchy sequence on . Indeed
and we also have that is a complete metric space, then . QED.
6. The extension of Collatz function on
In this section we will study the extension of the Collatz function on proposed by Lagaria in [3], 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 and we will use this result to prove that codings in are unstable.
6.1. Summary of Propositions in the Section
- 1.
- Lemma 6: Equivalence of the parity of fractions and their dyadic representation.
- 2.
- Definition 17: Extension of the Collatz function on the set of dyadic numbers and the definitions of dyadic integer set and coding set.
- 3.
- Proposition 27: Characterization of the dyadic integer set.
- 4.
- Proposition 28: Establishes that the Coding set and the Dyadic Integer Set are the same.
- 5.
- Proposition 29: It establishes that given a coding there is a unique dyadic number with said coding.
- 6.
- Theorem 5: The Collatz function on the set of dyadic numbers is topologically conjugate to the Shift function.
- 7.
- Corollary 5: The periodic points of the Collatz function in are dense in .
- 8.
- Definition 18: Sets , and .
- 9.
- Proposition 30: The periodic sequences of correspond to positive periodic points of the Collatz functions and the periodic sequences of correspond to negative periodic points of the Collatz functions.
- 10.
- Lemma 7:.
- 11.
- Proposition 31.
- 12.
- Theorem 6: The sequences in are positively and negatively unstable.
6.2. Extension of the Collatz function on .
Now we are going to extend the Collatz function to the set of . 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 is preserved in .
Lemma 6.
Let the dyadic representation of , then p is even if and only if and p is odd if and only if .
Proof: Let p a even number, so we have
Let p a odd number, so we have
QED.
Now let us consider the following extension of the Collatz function on .
Definition 17.
Let given by
with if and if Let then we defined the Coding set of ξ
Let , we define the dyadic integer set of S as
and given by and .
Next we will show the version in to the results seen in previous Sections. The following Proposition characterizes the set of dyadic integers of analogously to the entire set.
Proposition 27.
Let and such that . Let , then with numbers from 0 to .
Proof: Let then we have . Indeed. Let and such that , then
so
Now . Let , so , so
Therefore, we have
QED. The following proposition states that the entire dyadic set is equal to the coding set of .
Proposition 28.
Let and such that with , then
Proof: Let , so by definition we have i.e if and if . We can rewrite as for any , numbers from 0 to and . We Claim that . Indeed
We have that the parity on the right side only depends on , then the latter must have the same coding as by Proposition 11 we have . So , so .
Let and let , then . On the other hand, since trivially has a representation as a natural number, we have that it is also a natural number, so by Proposition 11 we have that . By hypothesis we have that , then exist such that , applying times with , we have
Since is always even for all , we have that the parity of each iteration only depends on , then . QED. In theorem 3 we saw that given 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 29.
Let , then exist an unique such that
Proof: Let by Lemma 26 we have . Now we are going to prove that:
Claim for all . Indeed, let such that , we have for all , Then
By Proposition 28 we have for all . Since , we have
Suppose there exists another dyadic integer such that it is also in , then
Therefore . QED.
The existence of solutions to the equation 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.
6.3. Topological conjugation
The Shift function on is defined as the mapping that deletes the first term of the sequence. The following theorem states that the Collatz function on is dynamically equivalent to the Shift function on and that the function is a homeomorphism between these two spaces. A similar result can be found in [3] where the Shift function is defined on instead of .
Theorem 5
( is topologically conjugate to ). Let given by
is topologically conjugate to ω i.e the following diagram is commutative

and is a homemorphism.
Proof: Let’s first prove that the diagram is commutative.
Let with . Writing this way, we get an explicit form for the function . If we have
and
where both parts are equal. On the other hand. suppose that with . We have
and
where again both parts are equal. Then we conclude that the diagram is commutative.
Now we are going to prove that is a bijection.
Let given by if and if . Let’s prove that and
- 1.
- : By Corollary 29 we have .
- 2.
- : Let and such that , so for all . On the other hand we have for all . Exists for all such that so then as Thus .
Let us show that the applications and are uniformly continuous. Let the symbolic metric of two symbols given by
and
The space is a complete metric space with the property that if two sequences are arbitrarily close if and only if their first terms are equal.
is uniformly continuous: Let and such that and . So let
Let the number from 1 to the -th term of , then for ,
so , then in particular
so
is uniformly continuous: Let and such that and such that then , so , so .
Therefore is a homemorphism and is topologically conjugate to . QED. As a first consequence of topological conjugation, we have that the set of periodic points of the Collatz function is dense in .
Corollary 5.
Let the set of periodic point of ω, then we have
Proof: consequence of the continuity of the function and the fact that the periodic sequences of the Shift function are dense in . QED. Let define the function . This function corresponds to the slope of the function such that . We can consider the following set of :
Definition 18
(The , and sets).We will consider the following subsets of
,
and
Now we are going to characterize the rational representation of the periodic points. By Corollary 5 we have that the set of the periodic numbers is dense in the set of the dyadic numbers, we will use these results to show that there exists no rational number (in general real) whose encoding is in .
Proposition 30.
Let periodic sequence, then we have:
- 1.
- If so has positive rational representation.
- 2.
- If so has negative rational representation.
Proof: Let periodic. Without loss of generality we can assume that , then exit such that for all . Indeed. Since is periodic, exist such that
So, by induction we have:
We are going to show that is rational
which corresponds to a rational number, where its sign depends on the denominator , if are in then we necessarily have that must be less than 1, so the denominator is negative, so is positive, analogously when is in we have that must be greater than 1, so the denominator is positive, so is negative. QED. We will now show a connection between the minimum positive integer value and the encoding of the sigma function.
Lemma 7.
Let . Then
Proof: Let . Then
QED. As a consequence of the next proposition, we have that if 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 31.
Let and . Then
Proof: Let . So
Then QED. The above proposition tells us that for an coding to be positive, it is necessary and sufficient that the dyadic expansion of has a finite amount of 1’s.
Now, we are going to show that for all , must necessarily be unstable. For this we will show that the encoding of must necessarily have an infinite amount of 1
Theorem 6.
Let and such that then as .
Proof: Let such that and such that is periodic with period k and as . Due to periodicity, we have . By Proposition 30, we have that admits a rational representation
By the continuity of the function in , we have that
This means that as k increases, the dyadic expansion on the right approaches the dyadic expansion of , since converges to . On the other hand, we have that exist a subsequence such that
Then the rational representation of tends to infinity (in absolute value) as . By Proposition 31 and by the monotony of the minimum positive integer value Proposition 6, we have that as . QED. Let , if admits real representation then, this representation is negative? Unfortunately, we cannot obtain an answer for dyadic numbers in this way, as the sign of a representation is not determined through approximation as it is for real numbers. One might be tempted to argue that since the function converges in the real numbers, its representation in must coincide, but this is not always the case. However, we will show in the next section that they do indeed coincide, since in reality is a solution when it converges.
7. The and functions
In this section, we introduce two fundamental functions, and , that will play a crucial role in the subsequent sections. The function maps each sequence from to a real series. We denote by the set of sequences for which .
Additionally, the function associates each sequence with a function defined on the natural numbers. The set comprises sequences for which represents a bounded function.
7.1. Summary of Propositions in the Section
- 1.
- Definition 19: We will give the definition of the functions and .
- 2.
- Definition 20: Definition of Null Tail: sequences with a finite number of 1s.
- 3.
- Lemma 8 Characterization of , and through accumulation points of .
- 4.
- Proposition 32 Characterization of and through functions and .
7.2. The and functions
Let S be a function of the space generated by the functions and with length k. According to proposition 7, we have that the general form of S is given by . The function precisely represents the quotient of by , and the function represents the quotient of by . As we will show later, these functions preserve the encoding information of S. One detail to note is that, unlike the function , which is a real number depending on its convergence, the function is not a number but a function. This is because the function is related to the number that generates a certain encoding, and the function is related to the orbit that it generates.
The elements of have two characteristic forms: either they have an infinite sequence of 1s, or they have a finite amount of 1s. Those that have a finite amount of 1s we will refer to as having a null tail (we will formalize this later). We will normalize the representation of the elements of to precisely define applications. It is important to note that 0 and 1 are symbols, so the expression denotes the absence of this element. For example, is equivalent to .
Definition 19
(The and functions). Let and . Let =quantity of 0 , quantity of 1 of and define the function given by
and defined by
and defined the function as
and by
We begin by providing a technical definition that we will use for the subsequent results.
Definition 20
(Null Tail). we will say that has a null tail of index J if the smallest index such that we have .
- 1.
-
Let
- (a)
- .
- (b)
- for and
- 2.
-
Let then we have
- (a)
- (b)
- 3.
-
Let then we have
- (a)
- .
- (b)
- 4.
-
Let
- (a)
- . Since, .
- (b)
- 5.
-
Let then we have
- (a)
- .
- (b)
-
,,and
The following result establishes a characterization of the elements of and .
Lemma 8.
Let such that ξ is not null tail, then
- 1.
- if and only if ,
- 2.
- if and only if ,
Proof:
- 1.
-
Let then as . Suppose that . Then exist such that for where , then we have,which is a contradiction with the fact that , then .Now, let’s suppose that . Then exist such that for all . Then
- 2.
-
Let then as . Suppose that . Then exist such that for where , then we have,which is a contradiction with the fact that , then .Now, let’s suppose that , Then exist such that for all . Then
QED.
The following result establishes a characterization of the elements of and for the behavior of the functions .
Proposition 32
(Characterization of the and sets). Let then
- 1.
- if and only if .
- 2.
- if and only if is bounded.
Proof:Proof of the first statement. Is obvious for the case of null tails with index J, since we have it is automatically finite, and as we see in the examples would be of the form when which implies that is finite.
So we are going to assume that has no tail null.
Suppose that , then by Lemma 8 and is strictly increasing we have , so, there exists such that for all we have that
Let’s suppose , then is also convergent since , so then
QED of the first statement. Proof of the second statement. Suppose is bounded, we will prove that converges to 0. Suppose for for any . Then we have
We have that the sum on the right is divergent since is divergent, then
which generates a contradiction to the fact that is bounded.
To demonstrate the other implication, let us consider the following lemmas:
Lemma 9.
Let . Then exist such that if we have
Proof: Let and , then we have
On the other hand, by definition of lower limit, we have
Then exist such that if we have
QED of Lemma.
Lemma 10.
Let , if then, we have .
Proof: Let writing explicitly, we have with and for , then we can write:
Suppose . Since the minimum value that can take is 1, we have
QED of Lemma. By Claim 3 and 4 we have, exist such that if we have
Then by claim 5, Let so
Let . Then we have . Then we conclude that is bounded. QED of the second statement.
QED.
8. The Coding of
Now we are going to prove that there is a complete metric on . We will use this result to prove that if then and in the case that , then there is no rational r such that . We also demonstrate that the parity of the Collatz function on depends solely on the first term. Building upon this insight, we extend the Collatz function to and conclude the section by showing that the Collatz function is topologically conjugate to the Shift function on . We will use this result to establish that the set of periodic orbits is dense.
8.1. Summary of Propositions in the Section
- 1.
- Lemma 11: Established that when the function then and share at least the first terms.
- 2.
- Proposition 33: Established that is a complete metric space.
- 3.
- Corollary 6: Established that the coding set is an open set.
- 4.
- Theorem 7: Established that the full coding set is either as a singleton set or as an empty set depending on whether is rational or not.
- 5.
- Proposition 34: It establishes that the parity of depends only on the first term of the series.
- 6.
- Definition 21: Defines an extension of the Collatz function over all .
- 7.
- Proposition 35: The Collatz functions are continuous.
- 8.
- Proposition 36: The Collatz function on is topological conjugacy to Shift map on
- 9.
- Corollary 7: It is stable that the periodic points of the Collatz function in are dense.
8.2. as complete metric space
To ensure the coherent definition of a metric in , we need to "complete" the missing terms of the series to enable the calculation of the difference for all , irrespective of whether or has a null tail. To accomplish this, we define that when the sequence of 1s in terminates, the function will take on the value . Hence, we have from the index of . Let with null tail with index J. We will write
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 . 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 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, as, if we consider the Euclidean metric in 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 large amount of time.
Lemma 11
(Convergence and Coincidence Lemma). Let , then
- 1.
- is well defined.
- 2.
- . Additionally we have to for all .
Proof: Let , then we have
Claim Let, then .
If then . Suppose that then
QED of the Claim. Now we prove that it is well-defined, by Claim we have:
as and converge to 0, then for exist such that if we have
Then for we have too
Then we have that also converges to 0. Then by Proposition 32 we have . To prove the statement, we will consider whether the sequences and in have a null tail or not.
Let us first assume that the sequence does not have a null tail, then if we have
All terms less than r must be null. Suppose there exists some non-zero term, then we have that
which is absurd. Then we have that . Which implies that
Now we will prove that the sequences coincide up to r.
writing this way, we have to
then
which means that and share the first blocks.
Now suppose that has a null tail of index I and has no tail null. Then we have
if then we have the previous case, then . Now if we have
The latter makes sense if also has a null tail of index I, then
In particular . Finally, suppose that and have a null tail of index I and L respectively, without loss of generality we can assume that . Then
- 1.
- If then all terms with an index less than r are null and in particular we have for . and as we already saw in the proofs above, this implies that for all .
- 2.
- If . Then we have that therefore . particular we have for .
QED. Now we are going to show that the function we defined above is a complete metric on
Proposition 33
(Metric space complete). Let given by
Then is a metric space complete.
Proof: Let’s prove that d is a metric through the axioms of metric:
- 1.
-
if and only if for all : Trivially we have that if , thenLet such thatby lemma 11 we haveIn particular, for we have .
- 2.
- for all :then
- 3.
- for all,then
then is a metric space. Now we are going to prove that it is a complete metric space. Let be a Cauchy sequence on then for any exist such that
Let such that by lemma 11 we have
On the other hand let the symbolic metric of two symbols given by
with
The space is a complete metric space with the property that if two sequences are arbitrarily close if and only if their first terms are equal.
then given a Cauchy sequence in by the observation above we obtain a Cauchy sequence in and the latter being complete there is a such that
We will now prove that is in and that the sequence converges to .
- 1.
-
Suppose that is not in , so does not converge to 0, then exist and subsequence such that for all . Since converges to . Exist such thatthen the first terms begin to equal, thenSince is a sequence in for all then as . In particular for L exist such that so this is a contradiction, then is in .
- 2.
-
Let us suppose, for absurdity, that but does not converge to 0, then exist such thatIn particular, exists in such that the of both sequences are no longer equal, otherwise, we would have that for N that is large enough the distance would be less than . On the other hand, the fact that they are different implies that the terms of and must be different for , but this contradicts the fact that the sequences and come closer, since with the metric D getting closer is the same as having the first terms of the sequences become equal.
then we can conclude that the metric space is complete. QED. With this metric, we have that the coding sets are open sets.
Corollary 6
( is an open set). Let and . Then is an open set on
Proof: Let and such that . Let us consider v in such that , by definition, exist such that and . By Lemma 11 have for , then we have that . Therefore, then i.e. the ball of radius and center u is a subset of , therefore is an open set. QED.
8.3. Characterization of the full Coding sets through the function
Theorem 7
(Asymptotic Solutions Theorem). Let , then if it is rational, then the only rational that satisfies , in particular . If it is irrational, then there is no rational such that .
Proof: Let , We have by definition that . First, we will prove that this limit also makes sense in . We have:
Claim 1: as .
Indeed, we have
By Proposition 32, we have as , then as QED of the Claim. We will now prove, using the completeness of , that :
Claim 2:.
We can be rewritten,
let’s prove that is a Cauchy sequence in . Let and with , then
Since we have by Proposition 32 is convergent, then as . Therefore, exists such that we have . Then the sequence is Cauchy and since is a complete metric space, we have that . QED of the Claim. Claim 3: .
Indeed, let such that by Proposition 12 we have
In other hand, we have
then , by Proposition 8 we have . Therefore . QED of the Claim. Claim 4: for all .
Let , we have by Claim 1, exist such that if so , By Lemma 11 we have to share the first L terms of the coding. On the other hand, by Claim 3, we have that and since we have , due to the monotony of , we have . Therefore . QED of the Claim. Claim 5: .
Since for all , we have to
QED of the Claim. Claim 6:.
We first show that . Let’s assume that converges to a fraction with an even denominator; then its coding is . However, is not an element of , which leads to a contradiction with claim 4. Then we have and, by Theorem 3, we have . QED of the Claim. For the next part of the proposition, we will leverage the results presented in Section 5. 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 it is irrational, then there is no rational then there is no rational such that .
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 such that for unique q not null, by proposition 7 we have
by Propositions 4 and 20 the minimum positive integer value is
and the maximum negative integer value is
when
On the other hand, by Proposition 31 we have that the coding of the corresponds to the dyadic expansion of . Since is irrational, then the dyadic expansion of will never have a tail of 0 or 1 for all , so does not converge for all . In particular we have to . Now for , we have
for this sum to be finite it is necessary exist such that are all 1 for , however as this is impossible, then this sum is divergent.
Then if is irrational then there is no rational such that . QED of the Claim. QED.
- 1.
- Let , then (see Example ). Therefore .
- 2.
-
Let , thenTherefore
8.4. Extension of the Collatz function on
Proposition 34
(Parity Preservation Proposition). Let such that , then
or equivalent if then
Proof Let’s prove that the parity of only depends on the first term
Claim: The series cannot converge to a fraction with an even denominator.
Let us assume by contradiction that have with . Let such that . Let given by so and since are in , this generates a contradiction to the Theorem 7. QED of the Claim. Let with . We have:
if then is odd, since q is odd. Then is odd, and if then is even. Then is even. In the case that we have that or equivalent for all , so , then . QED.
From the result above, we can extend the Collatz function over the entire set , thus obtaining a way of defining Collatz for the cases where the function is irrational.
Definition 21
(Extension Collatz functions on ). We defined by
or equivalent if then
The extension of the Collatz function on - is continuous.
Proposition 35
(Collatz function is continuous). is continuous.
Proof: Let us consider the metric induced in by , that is, on , we will use the same notation for both metrics.
Let and sequence of such that . Let such that and .
Since then at least the first term must coincide.
Suppose that, then
Suppose now that
Therefore is continuous. QED.
Now we will prove that the extension of the function Collatz on is topologically conjugate to the shift function in .
8.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 is, in fact, topologically conjugate to the dynamics of the Shift map.
Proposition 36
(Shift map on and Collatz function are Topological Conjugacy). Let us consider the following function given by,
Then and ω are Topologically Conjugacy.
Proof: We are going to prove that this diagram is commutative
and that is a homeomorphism.
and that is a homeomorphism.
Claim 1: The diagram is commutative
Suppose that with . Writing this way, we get an explicit form for the function . If we have
and
where both parts are equal. On the other hand. suppose that with . We have
and
where again both parts are equal. Then we conclude that the diagram is commutative. QED of the Claim.
Claim 2: with It is a bijective function.
Let let’s prove that and .
- 1.
-
:Let with . Since the parity of depends only on the first term, if starts with 0 then , then is even then the first term of its coding is 0, and if starts with 1 then then 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.
- (b)
- if
Then applying the function . Then we can repeat the same procedure and we recover . Therefore - 2.
-
:Let and such that . On the other hand we have and then , applying on both sides we have .
QED of the Claim. Claim 3: is continuous.
Let and a sequence on such that as . Let then if implies that the first elements are equal, then:
QED of the Claim. Claim 4: is continuous.
Let and let . Take such that . then by Lemma 11 we have
QED of the Claim. Therefore, is a homeomorphism and therefore a topological conjugation. QED.
Corollary 7
(The Periodic orbit of Collatz function). The set of periodic orbits of Collatz function is dense in
Proof: Direct consequence of the proposition 36 QED. Proof Consequence of uniqueness, since is the only solution in whose coding is and we know that is the only dyadic solution whose coding is . QED.
9. 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:
- 1.
- Theorem 8: This theorem states that all sequences with a divergent slope are positively unstable, defining the sufficient condition under which a sequence becomes unstable.
- 2.
- Theorem 9: This theorem shows that all orbits with codings in are bounded.
- 3.
- Theorem 10: This theorem shows that all orbits with codings in are bounded.Consequently, the orbits of negative numbers necessarily fall into periodic orbits.
- 4.
- Theorem 11: 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 diverges, leading to instability. Next, we explore the boundedness of orbits coded within and , providing proofs and corollaries to support these findings. Finally, we demonstrate the non-existence of divergent orbits for natural numbers.
9.1. Summary of Propositions in the Section
- 1.
- Theorem 8: It is stated that all sequences with a divergent slope are positively unstable.
- 2.
- Theorem 9: It is stated that all orbits with codings in are bounded.
- 3.
- Corollary 8: If exist a sub-sequence such that . Then exist such that .
- 4.
- Theorem 10: Let . Then we have exits such that for all . In particular if then its orbit necessarily falls into a cycle.
- 5.
- Theorem 11: It is stated that all natural numbers have bounded orbits.
9.2. The Problem of Divergence
The following theorem shows that if the slope of the function diverges, then so does the minimum value, this is because the only value that satisfies the encoding of is negative.
Theorem 8
(Positively unstable Theorem). Let such that . Then, is positively unstable for all .
Proof: Let . Since then by Proposition 32, 29 and 31 and Theorem 7. We have 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. QED. We are going to show a series of results referring to the bounds of the orbits of numbers whose coding is in and .
Theorem 9
(Bounded Orbit Theorem). Let such that if then the orbit of n is bounded.
Proof Let on such that . Without loss of generality we can assume that n is positive, because in the case that n is negative we have that
then eventually its orbit will fall into a non-negative number.
If the coding of has a null tail, the result is trivial. Suppose has no null tail, then:
Since we have by Proposition that is bounded and let such that for all . On the other hand, since we have is bounded and let such that for all , then
Therefore . QED. The following result is the version of the previous theorem for sub-sequence.
Corollary 8.
Let . If exist a sub-sequence such that . Then exist such that .
Proof: Let then
then exist such that if we have
Using the lemma 10 we have
Therefore QED. We will now show that the orbits of numbers whose coding is in are bounded below, in particular the orbits of integers whose coding is in , so they must necessarily fall into a cycle.
Theorem 10.
Let . Then we have exits such that for all . In particular if then its orbit necessarily falls into a cycle.
Proof: Let , then exist such that . Exist such that for all . so
Let , so for all
In particular, if , then only takes negative integer values and being bounded from below, must necessarily repeat some value, then the orbit must fall into a cycle. QED. Monks and Yazinski also extend the results of Eliahou [4] (1993) and Lagarias [3] (1985) concerning the density of "odd" points in an orbit. Let denote the number of ones in the first n digits of the parity vector x. If eventually enters an n-periodic orbit, then
where are the least and greatest cyclic elements in the eventual cycle. If diverges, then
We will now show the main theorem of this work, where we finally show the nonexistence of divergent orbits for every positive integer. We will show that the necessary and sufficient condition for an orbit to be divergent is
which implies that the only solution if it exists must be
Theorem 11
(Divergent Orbits Theorem). There are no divergent orbits for the Collatz function on natural numbers.
Proof: Let such that as and such that . 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 as .
If 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 .
Now without loss of generality, we can assume that does not have a null tail
- 1.
- If , then by Proposition 32, we have that . Thus, we have that is the only real number that satisfies the coding, and since , which contradicts the hypothesis that is positively stable, since as .
- 2.
-
if , by Proposition 32 we have that then . Let’s show now in fact . Suppose that exist such that with , so using the estimated bound in the demonstration of the Lemma 8, we haveSince as . So then we haveSince for all , then exist such that . So we have that the orbit of n must fall into a cycle, which implies that which implies that is bounded, which contradicts the hypothesis that . Therefore . This is equivalent to as .On the other hand if by Theorem 6 we have which contradicts the hypothesis that is positively stable, so
Since the Theorem 9 above, to have divergent it is necessary that , by Theorem 8 we have is positively unstable, by Theorem, 2 we have . Therefore, cannot exist such that its orbit is divergent. QED.
References
- T. Tao. "Almost all orbits of the Collatz map attain almost bounded values." Forum of Mathematics, Pi. Vol. 10. Cambridge University Press, 2022.
- Bernstein, D. A Non-iterative 2—adic Statement of the 3N+1 Conjecture. Proceedings of the American Mathematical Society, Q1, (1994), 405—408.
- Lagarias, J. The 3x+1 Problem and its Generalizations. Am. Math. Mon. 1985, 92, 1–23. [Google Scholar] [CrossRef]
- Eliahou, S. The 3x+1 Problem: New Lower Bounds on Nont’rivial Cycle Lengths. Discret. Math. 1993, 118. [Google Scholar] [CrossRef]
- J. Lagarias. The Set of Rational Cycles for the 3x+1 Problem. Acta Arithmetica, 56, (1990), 33—53.
- Matthews, K.; Watts, A.M. A Generalization of Hasse’s Generalization of the Syracuse Algorithm. Acta Arith. 1984, 43, 167–175. [Google Scholar] [CrossRef]
- Andrei, S.; Kudlek, M.; Niculescu, R.S. Some Results on the Collatz Problem. Acta Inform. 2000, 31, 145–160. [Google Scholar] [CrossRef]
- Applegate, D.; Lagarias, J. Density Bounds for the 3x+1 Problem. I. Tree—search method. Math. Comput. 1995, 64, 411–426. [Google Scholar] [CrossRef]
- Bernstein, D.; Lagarias, J. The 3x+1 Conjugacy Map. Can. J. Math. 1996, 1154–1169. [Google Scholar] [CrossRef]
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. |
© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).
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.