Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
holomorphic binary operators over naturals; generalized hyper operators
Well this theory is structured as a plausible solution to complex hyper operators. This is a proof sketch and it requires a bit more work here and there; requires an evaluation of a limit; but there is an over all sense of plausibility.

We start by defining a sequence of analytic functions that obey the following rules:


Necessarily; these functions can be arbitrary and they pose the true uniqueness criterion. Nonetheless we suggest these functions and give a plausible solution.

Reason for this is it has fast convergence and satisfies the required conditions.

Now we perform a trick. Considering hyper operators; which are written by the following:

and the identity of for any natural is .

We get the usual sequence where zero is addition, one is multiplication, two is exponentiation, etc... We then write that complex operators are products of natural operators with complex exponents. Here; is as before.

It's easy to identify that at natural arguments the product converges to the natural hyperoperator it indexes.
This product; however; converges if and only if the series:


With this; we perform the ratio test.

It is clear that

Without proof; we can safely assume when x and y aren't 2 or one of them 1:

The question is if they cancel each other out. Or if one takes over the other. I'm hoping it's zero and the result is entire--the disappears in ; so the equation either diverges for all or converges for all or inconclusive. I do not believe that grows too too fast as n varies. So maybe will induce convergence. If it doesn't; we'll use a function for that decreases to zero faster than the definition as it is now. Essentially, the true difficulty is finding a solution for that allows for the convergence of .

The recursive pattern becomes much simpler to find a solution for because we only have to account for instances where . Where of course we must have . However. Most of the returned values will not be natural and for these most of our hyper operators are undefined. So the question becomes much simpler. It's almost as if we can extend the hyper operators beyond natural numbers. If you cannot get what I mean; consider:


This allows us to extend operators to some real or complex numbers. Most definitely probably not all.

A brief note about the operators. They are definitely not commutative for almost all values. I haven't proved this yet however; so in the fractal chaos there may emerge a commutative operator. They are not associative for almost all values. Again; haven't proved this yet; but I think this one is pretty obvious. There may or may not exist identities for the operators. This one may be difficult to prove.

I'm mostly working on trying to prove convergence at the moment. One step at a time. Once that is proven we'll have an entire function that passes through every hyper operator at every two natural arguments. Then we tweak to be recursive. Maybe; if possible; tweak it to have a right hand identity.

Messages In This Thread
holomorphic binary operators over naturals; generalized hyper operators - by JmsNxn - 07/19/2012, 04:44 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Thoughts on hyper-operations of rational but non-integer orders? VSO 2 1,180 09/09/2019, 10:38 PM
Last Post: tommy1729
  Can we get the holomorphic super-root and super-logarithm function? Ember Edison 10 5,692 06/10/2019, 04:29 AM
Last Post: Ember Edison
  Where is the proof of a generalized integral for integer heights? Chenjesu 2 1,629 03/03/2019, 08:55 AM
Last Post: Chenjesu
  Hyper-volume by integration Xorter 0 1,705 04/08/2017, 01:52 PM
Last Post: Xorter
  Hyper operators in computability theory JmsNxn 5 5,109 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,835 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 45,503 09/02/2016, 02:11 AM
Last Post: tommy1729
  The bounded analytic semiHyper-operators JmsNxn 2 4,234 05/27/2016, 04:03 AM
Last Post: JmsNxn
  on constructing hyper operations for bases > eta JmsNxn 1 3,187 04/08/2015, 09:18 PM
Last Post: marraco
  Bounded Analytic Hyper operators JmsNxn 25 24,033 04/01/2015, 06:09 PM
Last Post: MphLee

Users browsing this thread: 1 Guest(s)