Thread Rating:
• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 [2014] tommy's theorem sexp ' (z) =/= 0 ? tommy1729 Ultimate Fellow Posts: 1,645 Threads: 369 Joined: Feb 2009 06/17/2014, 12:18 PM Let sexp(z) be a solution that is analytic in the entire complex plane apart from z=-2,-3,-4,... if w is a (finite) nonreal complex number such that sexp ' (w) = 0 then it follows that for real k>0 : sexp ' (w+k) = 0. Proof : chain rule exp^[k] is analytic : sexp(w+k) = exp^[k](sexp(w)) sexp ' (w+k) = exp^[k] ' (sexp(w)) * sexp ' (w) = 0 Hence we get a contradiction : sexp is not nonpolynomial analytic near w (or w + k). Conclusion there is no w such that sexp'(w) = 0. Consequences : since 0 < sexp ' (z) < oo slog ' (z) is also 0 < slog ' (z) < oo since exp^[k](v) = sexp(slog(v)+k) D exp^[k](v) = sexp ' (slog(v)+k) * slog ' (v) = nonzero * nonzero = nonzero.. => 0 < exp^[k] ' (z) < oo Tommy's theorem Strongly related to the TPID 4 thread and some recent conjectures of sheldon. the analogue difference is not understood yet. (posted that already) regards tommy1729 sheldonison Long Time Fellow Posts: 684 Threads: 24 Joined: Oct 2008 06/17/2014, 01:25 PM (This post was last modified: 06/18/2014, 02:34 PM by sheldonison.) (06/17/2014, 12:18 PM)tommy1729 Wrote: Let sexp(z) be a solution that is analytic in the entire complex plane apart from z=-2,-3,-4,... if w is a (finite) nonreal complex number such that sexp ' (w) = 0 then it follows that for real k>0 : sexp ' (w+k) = 0. Proof : chain rule exp^[k] is analytic : sexp(w+k) = exp^[k](sexp(w)) sexp ' (w+k) = exp^[k] ' (sexp(w)) * sexp ' (w) = 0 .... Hence we get a contradiction : sexp is not nonpolynomial analytic near w (or w + k). Conclusion there is no w such that sexp'(w) = 0. http://math.eretrandre.org/tetrationforu...452&page=2 see post#19 and post#20, for the Taylor series of an sexp(z) function with first and second derivatives, sexp'(n)=0 and sexp''(n)=0, for all integers n>-2. This is sexp(z) from the secondary fixed point, analytic in the upper and lower halves of the complex plane. Where the derivative of sexp(x)=0, the slog(z) inverse has a cuberoot(0) branch singularity. The flaw in your proof is that k is an integer, but you state k as a real number. "sexp ' (w+k) = exp^[k] ' (sexp(w)) * sexp ' (w) = 0". For k as a fraction, the chain rule does not apply. A simple counter example to your proof is f(z), which has f'(n)=0 and f''(n)=0 for all integers>-2. $f(z) = \text{sexp}(z - \frac{sin(2\pi z)}{2\pi})$ As a side note, $f^{-1}(z)$ has a cube root branch singularity for n>=0, at $z=\exp^{on}(0)$. This is relevant since the exp^k(z) function used in the flawed proof is $f(f^{-1}(z)+k)$ - Sheldon « Next Oldest | Next Newest »

 Possibly Related Threads… Thread Author Replies Views Last Post semi-group homomorphism and tommy's U-tetration tommy1729 2 31 08/01/2022, 11:15 PM Last Post: JmsNxn " tommy quaternion " tommy1729 30 8,146 07/04/2022, 10:58 PM Last Post: Catullus Tommy's Gaussian method. tommy1729 34 9,174 06/28/2022, 02:23 PM Last Post: tommy1729 tommy's new conjecture/theorem/idea (2022) ?? tommy1729 0 118 06/22/2022, 11:49 PM Last Post: tommy1729 Some "Theorem" on the generalized superfunction Leo.W 48 16,214 06/18/2022, 08:39 AM Last Post: Leo.W Revitalizing an old idea : estimated fake sexp'(x) = F3(x) tommy1729 0 378 02/27/2022, 10:17 PM Last Post: tommy1729 tommy beta method tommy1729 0 595 12/09/2021, 11:48 PM Last Post: tommy1729 tommy's singularity theorem and connection to kneser and gaussian method tommy1729 2 1,228 09/20/2021, 04:29 AM Last Post: JmsNxn tommy's simple solution ln^[n](2sinh^[n+x](z)) tommy1729 1 5,661 01/17/2017, 07:21 AM Last Post: sheldonison Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 3,663 09/06/2016, 04:23 PM Last Post: tommy1729

Users browsing this thread: 1 Guest(s)