Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
interpolating the hyper operators
#1
I have found a way to interpolate hyper operators with an entire function for natural arguments. I havent proven that they obey the recursive identity but I am trying to show that.

If you have a function such that it decays to zero at negative infinity as well as its antiderivative (its derivative still vanishes) we say the function is kosher. (for lack of a better word.)

Define:


It is clear that
And Since:



By induction, and analytic continuation (since differentiation of f shifts the domain of convergence down one real s).



Now we define the auxillary function defined for all :



If this function is kosher, as defined above, then we have the following function.



Which agrees with natural hyper operators. and converges for all

For example, lets take

Now we have:



This gives
and since n is arbitrary, by analytic continuation:


If we show that as then we have our result, since the n'th derivative will decay to zero.


On showing recursion we have the following result :





This reduces to the following condition:


It is valid when but it remains to be shown other wise. I think the result might work itself out.

Does anyone know any hints in how to prove decays to a constant at negative infinity? I'm at a loss for how the function behaves. I know it is bounded above by the exponential function but I don't know what bounds it from below. I think this is a promising approach to finding hyper operators.
Reply
#2
I've managed to do the following:

Define:

and and continue the sequence as usual.

The function as the following beautiful property:



Lets calculate it's fractional derivative at the value then we write, using the Grunwald Letnikov derivative:



I've found an approach to showing that it satisfies the recursive identity, which is:




The approach is a little tricky and I don't know how to explain it so clearly. But in the mean time I have a holomorphic interpolation of the hyperoperators at natural arguments. Whoopie! Note, again, the brilliant result:

Reply
#3
(06/07/2013, 05:00 AM)JmsNxn Wrote: I've found an approach to showing that it satisfies the recursive identity, which is:




The approach is a little tricky and I don't know how to explain it so clearly.

Isn't this condition equivalent to you old attempt to limit the recursion to a subset of the real?
In fact your condition for the recursion





translatable in




That bring me to ask you why you abandoned the study on the sets.

Anyways, even if you limit the recursion to ALL the sets you can work only on a countable subset of reals:
in other words most of the reals ( ) are out of the recursion.

PS: If was not clear, what I mean is:
if for your interpolation you can show that:

if and hold than holds (recursion)

then is the same that you proved for you interpolation this:

if holds than holds

as you can see, if holds then your proof is valid only for a subset of reals.
MathStackExchange account:MphLee
Reply
#4
I realized this is a more efficient way of talking about hyper operators. I will still talk about those sets, but I think it is a better approach to already have an analytic expression. It came to me in a stroke of luck when I was thinking about fractional derivatives.

The goal is to have for all analytic and entire. The proof of recursion then only revolves around when the output is a natural number. So we only prove for a discrete set of reals.

Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Thoughts on hyper-operations of rational but non-integer orders? VSO 2 244 09/09/2019, 10:38 PM
Last Post: tommy1729
  Hyper-volume by integration Xorter 0 1,260 04/08/2017, 01:52 PM
Last Post: Xorter
  Hyper operators in computability theory JmsNxn 5 3,567 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,374 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 35,992 09/02/2016, 02:11 AM
Last Post: tommy1729
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 15,487 08/22/2016, 12:19 AM
Last Post: JmsNxn
  The bounded analytic semiHyper-operators JmsNxn 2 3,334 05/27/2016, 04:03 AM
Last Post: JmsNxn
  on constructing hyper operations for bases > eta JmsNxn 1 2,493 04/08/2015, 09:18 PM
Last Post: marraco
  Bounded Analytic Hyper operators JmsNxn 25 18,353 04/01/2015, 06:09 PM
Last Post: MphLee
  Incredible reduction for Hyper operators JmsNxn 0 2,149 02/13/2014, 06:20 PM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)