Abstract:In this paper, we introduce and study the iterates of the following family of functions $\varphi_k$ defined on natural numbers which exhibits nice properties. $$\varphi_k(x)=\left\lbrace \begin{array}{ll} x+k, & \mbox{ if $x$ is prime;}\\ \mbox{largest prime divisor of $x$,} & \mbox{ if $x$ is composite;} \end{array} \right.$$ In particular, we study the periodic behaviour of the trajectories of these iterated functions. In some cases, we provide proofs of these properties and in some other cases we pose some open problems based on numerical evidences supported by heuristic arguments.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the periodic behavior of a family of iterative functions on natural numbers. Specifically, the author introduces and studies the iterative properties of the following function family \( \varphi_k \) defined on natural numbers:
\[
\varphi_k(x) =
\begin{cases}
x + k, & \text{if } x \text{ is prime;} \\
\text{the greatest prime factor of } x, & \text{if } x \text{ is composite;}
\end{cases}
\]
The author pays special attention to the periodic behavior of the trajectories of these iterative functions (i.e., the sequences generated by continuously applying the function starting from some initial value). Specific problems include:
1. **Periodicity**: Prove or propose a conjecture about these sequences eventually entering a periodic cycle.
2. **Stopping time**: Study the number of times different elements first appear in the sequence (i.e., stopping time), and prove that for appropriately chosen \( p \) and \( k \), the stopping time can be arbitrarily long.
3. **Number of cycles**: For a fixed \( k \), determine whether the number of different cycles generated by different initial values \( x \) is finite.
Through these studies, the author hopes to reveal the dynamic behavior of this family of functions and provide a theoretical basis for further understanding of similar iterative mappings. In addition, the author also proposes several open problems based on numerical evidence and heuristic arguments, hoping that future research can further explore the properties of these functions.