• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Bounded Analytic Hyper operators MphLee Fellow Posts: 95 Threads: 7 Joined: May 2013 03/26/2015, 11:08 PM @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 $\varphi$ $\vartheta(w)=a_0w^0+a_1w^1+a_2w^2+...+a_{n}w^n+a_{n+1}w^{n+1}+...$ 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 ) $\vartheta'(w)=a_1w^0+(a_22)w^1+(a_33)w^2+...+(a_{n}n)w^{n-1}+a_{n+1}w^n...$ Now comes the trick... (Am I right?) Define the coefficents in the following form $a_n=\phi_{n+1}/n!$ that becomes $a_nn=\phi_{n+1}/n!\cdot n=\phi_{n+1}/(n-1)!$. Replace this in the prevous series and $\displaystyle\vartheta(w)= \phi_1{w^0\over0!}+\phi_2{w^1\over1!}+{\phi_3}{w^2\over 2!} + ... +\phi_{n+1}{w^n\over n!}+\phi_{n+2}{w^{n+1}\over(n+1)!}+ ...=\sum_{n=0}^{\infty}\phi_{n+1}{w^n\over n!}$ $\displaystyle\vartheta'(w)= \phi_2{w^0\over0!}+\phi_3{w^1\over1!}+{\phi_4}{w^2\over 2!}+...+\phi_{n+1}{w^{n-1}\over (n-1)!}+\phi_{n+2}{w^n\over n!}+...=\sum_{n=0}^{\infty}\phi_{1+n+1}{w^n\over n!}$ So if we define $\displaystyle\Theta_\phi(k,w):=\sum_{n=0}^{\infty}\phi_{k+n+1}{w^n/ n!}$ We could assume to have the following $\displaystyle{d\over dw}\Theta_\phi(k,w)=\Theta_\phi(k+1,w)$ and that and we hope that $\displaystyle{d^z\over d^zw}\Theta_\phi(k,w)=\Theta_\phi(k+z,w)$ At this point you set $\phi_n=\phi^{\circ n}(\xi)$ (in other notation youre using its xi-based superfunction $\phi_n=\Sigma[\phi]_\xi(n)$) 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 $\tau_n$ like using a sequence of values of your bounded hyperoperators indexed by the rank? We just need $|T(n)|=\tau_n$ 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 $f$ and a $t$ in its domain define the direct antirecursion sequence $f_{\sigma}$ of $f$ and its inverse antirecursion sequence $g_{\sigma}$ $f_0:=f$ and $f_{\sigma+1}:=f_{\sigma}Sf_{\sigma}^{\circ-1}$ $g_0:=f^{\circ-1}$ and $g_{\sigma+1}:=f_{\sigma}S^{\circ-1}f_{\sigma}^{\circ-1}=f_{\sigma+1}^{\circ-1}$ Those two sequences of functions give us two sequences of real numbers $\tau_\sigma:=f_{\sigma}(t)$ and $\theta_\sigma=g_{\sigma}(t)$ for a fixed $t$ btw those sequences satisfie those recurrences $\tau_{\sigma+1}=f_\sigma(\theta_{\sigma}+1)$ $\theta_{\sigma+1}=f_\sigma(\theta_{\sigma}-1)$ MathStackExchange account:MphLee « Next Oldest | Next Newest »

 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 fivexthethird - 03/25/2015, 07:29 AM 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 tommy1729 - 03/27/2015, 09:02 AM RE: Bounded Analytic Hyper operators - by MphLee - 03/27/2015, 07:09 PM RE: Bounded Analytic Hyper operators - by tommy1729 - 03/27/2015, 11:20 PM RE: Bounded Analytic Hyper operators - by fivexthethird - 03/28/2015, 06:46 AM RE: Bounded Analytic Hyper operators - by tommy1729 - 03/28/2015, 08:59 PM RE: Bounded Analytic Hyper operators - by fivexthethird - 03/29/2015, 03:35 AM RE: Bounded Analytic Hyper operators - by tommy1729 - 03/29/2015, 04:36 PM RE: Bounded Analytic Hyper operators - by MphLee - 03/29/2015, 10:55 AM RE: Bounded Analytic Hyper operators - by tommy1729 - 03/29/2015, 04:22 PM RE: Bounded Analytic Hyper operators - by tommy1729 - 03/29/2015, 04:56 PM RE: Bounded Analytic Hyper operators - by MphLee - 03/29/2015, 07:08 PM RE: Bounded Analytic Hyper operators - by tommy1729 - 03/29/2015, 07:14 PM RE: Bounded Analytic Hyper operators - by tommy1729 - 03/29/2015, 09:37 PM RE: Bounded Analytic Hyper operators - by tommy1729 - 03/29/2015, 09:41 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 780 09/09/2019, 10:38 PM Last Post: tommy1729 [repost] A nowhere analytic infinite sum for tetration. tommy1729 0 1,309 03/20/2018, 12:16 AM Last Post: tommy1729 Analytic matrices and the base units Xorter 2 2,596 07/19/2017, 10:34 AM Last Post: Xorter Hyper-volume by integration Xorter 0 1,509 04/08/2017, 01:52 PM Last Post: Xorter Non-analytic Xorter 0 1,517 04/04/2017, 10:38 PM Last Post: Xorter A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov 13 12,016 02/17/2017, 05:21 AM Last Post: JmsNxn Hyper operators in computability theory JmsNxn 5 4,445 02/15/2017, 10:07 PM Last Post: MphLee Recursive formula generating bounded hyper-operators JmsNxn 0 1,624 01/17/2017, 05:10 AM Last Post: JmsNxn Is bounded tetration is analytic in the base argument? JmsNxn 0 1,458 01/02/2017, 06:38 AM Last Post: JmsNxn Are tetrations fixed points analytic? JmsNxn 2 3,172 12/14/2016, 08:50 PM Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)