Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Bounded Analytic Hyper operators
#6
@JmsNxn
I don't yet understand all the analysis behind but I'm tryng to follow the logical implications of the lemmas. If I get it is the Ramanujan's that makes all the works (but we have the exp bound requirmeent).

The other interesting point is the differential equation that holds for the auxiliary function (seems crazy). An this is the really interesting trick imho. But pls, tell me if I get it (started to study calculus just 1 month ago).

We have a power series



and its derivative becomes the following (D distributes over addition, commutes with product and appliyng power rule we get a "shift" of indexes in the series )



Now comes the trick... (Am I right?) Define the coefficents in the following form

that becomes . Replace this in the prevous series and






So if we define



We could assume to have the following

and that

and we hope that



At this point you set (in other notation youre using its xi-based superfunction ) so you can send differentiations by w to iteration by the transfer function (or application of the right-composition operator).

Seeing this I now understand why you told me, long ago, that this can be used for the fractional ranks... but now you talk only about linear operators and the recursion (I mean the b-based superfunction operator) and the antirecursion/subfunction operator aren't linear. Also, just before Lemma 3.1, you say that this is not proved for operators different than the left-composition yet. Why?

Why can't we just repeat the trick using other sequences like using a sequence of values of your bounded hyperoperators indexed by the rank?
We just need to be exp. bounded or I've missed something important somewhere in your paper?

For example we could try to set in it one of these two sequences

Given an invertible function and a in its domain

define the direct antirecursion sequence of and its inverse antirecursion sequence

and

and

Those two sequences of functions give us two sequences of real numbers and for a fixed

btw those sequences satisfie those recurrences



MathStackExchange account:MphLee
Reply


Messages In This Thread
Bounded Analytic Hyper operators - by JmsNxn - 03/23/2015, 02:12 AM
RE: Bounded Analytic Hyper operators - by MphLee - 03/24/2015, 08:34 PM
RE: Bounded Analytic Hyper operators - by marraco - 03/25/2015, 01:48 PM
RE: Bounded Analytic Hyper operators - by MphLee - 03/25/2015, 07:43 PM
RE: Bounded Analytic Hyper operators - by MphLee - 03/26/2015, 11:08 PM
RE: Bounded Analytic Hyper operators - by MphLee - 03/27/2015, 07:09 PM
RE: Bounded Analytic Hyper operators - by MphLee - 03/29/2015, 10:55 AM
RE: Bounded Analytic Hyper operators - by MphLee - 03/29/2015, 07:08 PM
RE: Bounded Analytic Hyper operators - by JmsNxn - 03/29/2015, 11:25 PM
RE: Bounded Analytic Hyper operators - by JmsNxn - 03/31/2015, 08:50 PM
RE: Bounded Analytic Hyper operators - by MphLee - 03/31/2015, 09:16 PM
RE: Bounded Analytic Hyper operators - by JmsNxn - 04/01/2015, 03:20 PM
RE: Bounded Analytic Hyper operators - by MphLee - 04/01/2015, 06:09 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Thoughts on hyper-operations of rational but non-integer orders? VSO 2 149 09/09/2019, 10:38 PM
Last Post: tommy1729
  [repost] A nowhere analytic infinite sum for tetration. tommy1729 0 951 03/20/2018, 12:16 AM
Last Post: tommy1729
Question Analytic matrices and the base units Xorter 2 2,088 07/19/2017, 10:34 AM
Last Post: Xorter
  Hyper-volume by integration Xorter 0 1,221 04/08/2017, 01:52 PM
Last Post: Xorter
  Non-analytic Xorter 0 1,249 04/04/2017, 10:38 PM
Last Post: Xorter
  A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov 13 9,913 02/17/2017, 05:21 AM
Last Post: JmsNxn
  Hyper operators in computability theory JmsNxn 5 3,445 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,331 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Is bounded tetration is analytic in the base argument? JmsNxn 0 1,168 01/02/2017, 06:38 AM
Last Post: JmsNxn
  Are tetrations fixed points analytic? JmsNxn 2 2,551 12/14/2016, 08:50 PM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)