• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 picturing method. tommy1729 Ultimate Fellow Posts: 1,370 Threads: 335 Joined: Feb 2009 07/02/2014, 08:30 AM (This post was last modified: 07/02/2014, 08:32 AM by tommy1729.) This picture represents my new method. More later. Maybe you already get it. regards tommy1729 Attached Files Image(s)     tommy1729 Ultimate Fellow Posts: 1,370 Threads: 335 Joined: Feb 2009 07/02/2014, 12:27 PM (This post was last modified: 07/02/2014, 08:00 PM by tommy1729.) The bottom side represents the real valued part of sexp*(x) where the domain is [0,3]. The range is thus [sexp*(0),sexp*(3)]. sexp*(x) is the ordinary sexp but with sexp(0) = 0. We assume strictly rising here. This part is estimated by a truncated real Taylor series with alternating signs. Now the upper left side is then sexp*(ix). the upper right side is exp^[3](sexp*(ix)) = sexp*(ix + 3). The diagonal has lenght 3sqrt(2) and is computed by continuation of sexp*(ix) and taking sexp*((-1)^{1/4} x). Now the red triangle has contour 0 ( because of cauchy's integral theorem ). Therefore all sides are defined thus solvable. Ofcourse we also require On the bottom side : sexp*(1) = 1 , sexp*(2) = e , On the diagonal side sexp*(i+1) = exp(sexp*(i)) , sexp*(2i+2) = exp(exp(sexp*(2i))). Now we can solve the equations and then pick one that satisfies sexp*(z+1) = exp(sexp*(z)). regards tommy1729 tommy1729 Ultimate Fellow Posts: 1,370 Threads: 335 Joined: Feb 2009 07/02/2014, 08:14 PM Is that clear ? Does everyone know what I mean ? --- For those possibly confused ; the analyticity does not come from the contour integral being 0 , rather the opposite way. We have analyticity because of the truncated Taylor series estimate. We need to be careful not to approximate a Taylor series that has a more limited region of convergeance then sexp*. Our domain of analyticity should be larger than the figure and it should not have a natural boundary anywhere. --- I was thinking about adding a uniqueness condition. It is not clear what our initial guess should be , that is if we want to use an initial guess. My idea about methods related to integrals is that if you based your estimate on method A , then finally the result is equivalent to method A. Perhaps a generalization is favorable. The idea is imho intresting but not yet mature. regards tommy1729 tommy1729 Ultimate Fellow Posts: 1,370 Threads: 335 Joined: Feb 2009 07/02/2014, 09:00 PM An important concept is that the equations MUST also hold for : sexp* ' (z) This augments the number of equations. If I am not mistaken by considering sexp* alone you get about N/sqrt(2) equations where N is the number of estimates on the bottom line. by adding the requirement for the derivative you double the amount of equations so you get about sqrt(2) N equations. The degree of the estimated truncated Taylor then has a degree somewhere between N / sqrt(2) - C and N sqrt(2) + C2 where the C's are constants. This makes the idea more serious. How to make the set of equations converging is another matter but it seems some kind of solvability , existance and uniqueness should be possible. --- Btw convergance issues for systems of equations reminds me of an idea I had that my friend mick posted on MSE : http://math.stackexchange.com/questions/...-growing-n For those who are intrested. Not sure if it helps here unless someone has a very general theory about convergance for systems of equations. --- regards tommy1729 tommy1729 Ultimate Fellow Posts: 1,370 Threads: 335 Joined: Feb 2009 07/03/2014, 08:23 AM Ok to solve the underdetermined issue , I think it is rather better to use sexp * ^ p (x). Prime powers are better than derivatives. The number of primes we solve for depends on the degree and the amount of estimates. We might also use positive integers perhaps. We can also solve the white triangle and/or the square to fight the underdetermined issue. Combining these ideas makes me believe we can solve this. regards tommy1729 « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post My interpolation method [2020] tommy1729 1 119 02/20/2020, 08:40 PM Last Post: tommy1729 Kneser method question tommy1729 9 760 02/11/2020, 01:26 AM Last Post: sheldonison Half-iterates and periodic stuff , my mod method [2019] tommy1729 0 480 09/09/2019, 10:55 PM Last Post: tommy1729 2 fixpoints , 1 period --> method of iteration series tommy1729 0 1,782 12/21/2016, 01:27 PM Last Post: tommy1729 Tommy's matrix method for superlogarithm. tommy1729 0 1,781 05/07/2016, 12:28 PM Last Post: tommy1729 [split] Understanding Kneser Riemann method andydude 7 8,396 01/13/2016, 10:58 PM Last Post: sheldonison Kouznetsov-Tommy-Cauchy method tommy1729 0 2,129 02/18/2015, 07:05 PM Last Post: tommy1729 Problem with cauchy method ? tommy1729 0 1,976 02/16/2015, 01:51 AM Last Post: tommy1729 fake id(x) for better 2sinh method. tommy1729 5 5,151 06/05/2014, 08:21 AM Last Post: tommy1729 Simple method for half iterate NOT based on a fixpoint. tommy1729 2 3,517 04/30/2013, 09:33 PM Last Post: tommy1729

Users browsing this thread: 1 Guest(s)