• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Number theoretic formula for hyper operators (-oo, 2] at prime numbers JmsNxn Long Time Fellow Posts: 291 Threads: 67 Joined: Dec 2010 06/04/2012, 08:05 PM (This post was last modified: 06/04/2012, 08:36 PM by JmsNxn.) It took some thinking but I recovered a closed form expression for hyper operators at prime numbers. The result is interesting to say the least. It is not analytic; and in fact the iteration may not even be continuous but discrete. We start by considering a function $\psi: \mathbb{N} \to \mathbb{N}$ $\forall x \forall y\,\,\,x ,y \in \mathbb{N}$ $x = \prod_i \rho_i^{\mu_{x;i}}$ $\psi(x) = \sum_i \mu_{x;i} \cdot \rho_i$ $\forall \rho\,\,\rho \in \mathbb{P}$ $\psi(\rho) = \rho$ $\psi(1) = 0$ $\psi(xy) = \psi(x) + \psi(y)$ $\psi(x^y) = y \psi(x)$ But the fundamental theorem of arithmetic applies for $\psi$ as well. $\psi(x) = \prod_i \rho_i^{\kappa_{x;i}}$ Iterating we get a formula: $\psi^{\circ s}(x) = \sum_i \mu_{\psi^{\circ s-1}(x);i} \rho_i$ This allows us to develop an expression for integer arguments of $s$. We will now make some claims about the structure of iterating $\psi$. Claim I: $\psi^{\circ s}$ is one to one for all complex iterates that exist and satisfy $|\Re(s)| < 1$. This qualifies as the reason operators in between $\Re(s) \in (1,2]$ are not commutative. The reason $\psi$ isn't one to one is because it turns $\psi(\rho_i^{\rho_j}) = \rho_j \cdot \rho_i = \psi(\rho_j^{\rho_i})$. However; since $\Re(s) \in (0,1]$ we have $\psi^{\circ s}(\rho_i^{\rho_j}) = \rho_i \,\,\Delta_{2-s}\,\,\rho_j \neq \psi^{\circ s}(\rho_j^{\rho_i})$ because $\Delta_{2-s}$ is not commutative. Claim II: $\psi^{\circ s}$'s range is closed under multiplication Claim III: $\psi^{\circ s}(x) = \prod_i \rho_i^{\eta_{x;i}}$ for some sequence $\eta_{x;i} \in \mathbb{A}$. This claim implies II with some algebra, but as well determines some more powerful results. This factorization into primes with algebraic exponents is unique by Baker's theorem. This would be the main restriction determining for what values of $s$ we can iterate $\psi$. With these we define hyper operators by the following formula. $s = \sigma + it$ $x \Delta_s y = \left\{ \begin{array} \psi^{\circ 1-s}(\psi^{\circ s-1}(x)\psi^{\circ s-1}(y)) & \sigma \in (0,1]\\ \psi^{\circ 1-s}(\psi^{\circ s-1}(x) y) & \sigma \in [1,2]\\ \end{array}$ And we extend the operators recursively to the negative domain by the following law, $-s \not \in \mathbb{N}$ and $0 \le \Re(q) < 1$ $\psi^{\circ q}(x \Delta_s y) = \psi^{\circ q}(x) \Delta_{s-q} \psi^{\circ q}(y)$ These operators form the tremendous result, for $\sigma < 1$ of $\{\mathbb{D}, \Delta_{s}, \Delta_{s-1}\}$ forming a commutative semi-ring! But on top of that: Recursion is satisfied for all prime numbers. $x\,\, \Delta_{s+1} \,\,\rho = x_1\,\, \Delta_{s}\,\, x_2\,\, \Delta_s\,\, ...\,\, \Delta_s\,\, x_{\rho}$ The question is, of course, how do we define iteration on $\psi$. And on top of that, where and when is an iterate defined? These operators have some really interesting results involving unique factorization. Although, all these further results rely on iterating $\psi$ with the restriction of claims I-III. So I'm wondering if anyone knows of any techniques that would be required? I'm thinking the iteration would require not a continuous expression but a discrete expression involving the unique coefficients of $\psi^{\circ s}(x)$. This can work in fact for every natural number given a few tweaks that I'll explain later. « Next Oldest | Next Newest »

 Messages In This Thread Number theoretic formula for hyper operators (-oo, 2] at prime numbers - by JmsNxn - 06/04/2012, 08:05 PM RE: Number theoretic formula for hyper operators (-oo, 2] at prime numbers - by tommy1729 - 06/29/2012, 10:09 PM RE: Number theoretic formula for hyper operators (-oo, 2] at prime numbers - by JmsNxn - 07/17/2012, 02:12 AM

 Possibly Related Threads... Thread Author Replies Views Last Post Thoughts on hyper-operations of rational but non-integer orders? VSO 2 946 09/09/2019, 10:38 PM Last Post: tommy1729 Hyper-volume by integration Xorter 0 1,603 04/08/2017, 01:52 PM Last Post: Xorter Hyper operators in computability theory JmsNxn 5 4,748 02/15/2017, 10:07 PM Last Post: MphLee Recursive formula generating bounded hyper-operators JmsNxn 0 1,721 01/17/2017, 05:10 AM Last Post: JmsNxn Extrapolated Faá Di Bruno's Formula Xorter 1 2,432 11/19/2016, 02:37 PM Last Post: Xorter Rational operators (a {t} b); a,b > e solved JmsNxn 30 43,057 09/02/2016, 02:11 AM Last Post: tommy1729 holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 17,904 08/22/2016, 12:19 AM Last Post: JmsNxn Cellular auto : rule 30 number ? tommy1729 0 1,464 08/03/2016, 08:31 PM Last Post: tommy1729 The bounded analytic semiHyper-operators JmsNxn 2 3,977 05/27/2016, 04:03 AM Last Post: JmsNxn Spiral Numbers tommy1729 9 8,964 03/01/2016, 10:15 PM Last Post: tommy1729

Users browsing this thread: 1 Guest(s)