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) \)
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) \)
Mother Law \(\sigma^+\circ 0=\sigma \circ \sigma^+ \)
\({\rm Grp}_{\rm pt} ({\rm RK}J,G)\cong \mathbb N{\rm Set}_{\rm pt} (J, \Sigma^G)\)
