• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 tommy's singularity theorem and connection to kneser and gaussian method tommy1729 Ultimate Fellow Posts: 1,493 Threads: 356 Joined: Feb 2009 09/18/2021, 12:06 PM (This post was last modified: 09/18/2021, 12:11 PM by tommy1729.) Let K(s) = exp(K(s-1)) be the Kneser solution. Let G(s) = exp(G(s-1)) be the gaussian method tetration. Conjecture : K(s + a(s)) = G(s) , G(s + b(s)) = K(s) , where a(s) and b(s) are one-periodic analytic functions and one of a(s),b(s) is entire. Lemma 1 : both K(s) and G(s) are analytic solutions. Lemma 2 : from lemma 1 , there exists analytic periodic functions c(s),d(s) such that K(s + c(s)) = G(s) , G(s + d(s)) = K(s). ( ofcourse s + c(s) and s + d(s) are functional inverses ) Lemma 3 : G(s) is analytic where erf(s) is close to 1. ( triangle or sector ) Lemma 4 : tommy's singularity theorem : Let tet(s) be analytic tetration such that when tet(s) is defined , so is tet(s + r) for real r >= 0. Let tet(s) have a singularity at s = z and tet(s+1) has no singularity at s = z. by the functional equation this implies that tet(z) is a logaritmic singularity. It follows by induction : if tet(s) has a singularity at s = z that is not a logaritmic ( ln or ln ln or ln ln ln or ... ) then tet(s+n) is also a singarity for all integer n > 0... or any integer n actually. therefore , for any analytic tetration all non log-type singularities are 1 periodic ! Lemma 5 : IF tet(s) has non-log-type singularities then tet(s) = K(s + sing(s)) where sing is a 1 periodic function with singularities. It seems to follow that  lemma 6 : IF  tet(s) has no non-log-type singularities then tet(s) = K(s + theta(s)) where theta is a 1 periodic function without singularities. the harder thing is to exclude log-type singul from theta(s). Assuming those log-type are excluded from theta(s) in lemma 6 ; lemma 7 : ...  Since G(s) has no periodic singularities ( the triangle where erf converges fast to 1 forbids it ) , it follows that  G(s) = K(s + theta(s)) for entire theta(s). ( again : the harder thing is to exclude log-type singul from theta(s) , the starting conjecture is a bit weaker such that inv( s + theta(s) ) can be entire ... and i assume that makes s + theta(s) have the log-type sing then. if s + theta(s) really is entire then i assume inv( s + theta(s) ) has log-type singularities and branches due to s + theta(s) being flat ( derivat = 0 ) ... it seems to follow from the above that those " flat branches " must be log-type sing as well ... THE REAL HARD PART is to exclude that both s + theta(s) and inv* have both log-type sing ! ) - more or less - QED regards tommy1729 « Next Oldest | Next Newest »

 Messages In This Thread tommy's singularity theorem and connection to kneser and gaussian method - by tommy1729 - 09/18/2021, 12:06 PM RE: tommy's singularity theorem and connection to kneser and gaussian method - by tommy1729 - 09/18/2021, 12:13 PM RE: tommy's singularity theorem and connection to kneser and gaussian method - by JmsNxn - 09/20/2021, 04:29 AM

 Possibly Related Threads... Thread Author Replies Views Last Post tommy beta method tommy1729 0 153 12/09/2021, 11:48 PM Last Post: tommy1729 Tommy's Gaussian method. tommy1729 24 5,085 11/11/2021, 12:58 AM Last Post: JmsNxn The Generalized Gaussian Method (GGM) tommy1729 2 596 10/28/2021, 12:07 PM Last Post: tommy1729 Arguments for the beta method not being Kneser's method JmsNxn 54 9,029 10/23/2021, 03:13 AM Last Post: sheldonison Some "Theorem" on the generalized superfunction Leo.W 44 10,952 09/24/2021, 04:37 PM Last Post: Leo.W " tommy quaternion " tommy1729 14 5,784 09/16/2021, 11:34 PM Last Post: tommy1729 Why the beta-method is non-zero in the upper half plane JmsNxn 0 443 09/01/2021, 01:57 AM Last Post: JmsNxn Improved infinite composition method tommy1729 5 1,507 07/10/2021, 04:07 AM Last Post: JmsNxn Generalized Kneser superfunction trick (the iterated limit definition) MphLee 25 8,997 05/26/2021, 11:55 PM Last Post: MphLee Alternative manners of expressing Kneser JmsNxn 1 1,012 03/19/2021, 01:02 AM Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)