• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 introducing TPID 16 sheldonison Long Time Fellow Posts: 641 Threads: 22 Joined: Oct 2008 06/08/2014, 04:05 PM (This post was last modified: 06/08/2014, 05:11 PM by sheldonison.) (06/07/2014, 11:03 PM)tommy1729 Wrote: TPID 16 Let $f(z)$ be a nonpolynomial real entire function. $f(z)$ has a conjugate fixpoint pair : $L + M i , L - M i.$ $f(z)$ has no other fixpoints then the conjugate fixpoint pair. ... such that $Re(z) > 1 + L^2$ we have that ... If $f^{[t]}(x)$ is analytic for $x = 0$ then : $\frac{d^n}{dx^n} f^{[t]}(x) \ge 0$ for all real $x \ge 0$ , all real $t \ge 0$ and all integer $n > 0$ I'm not sure how big a deal this is but if $f(x)-x$ has two solutions, than we expect an infinite number of fixed points for an entire function, the zeros of $f(x)-x$. It sounds like the conjecture is that all of the derivatives are positive for values of x>0, under some conditions? Not sure I get the entire conjecture; as applied to tetration, it might be that L~=0.3+1.3i, so if sexp(z)>real(L)^2+1????? Jay observed that all of the odd derivatives of tetration are positive, and that all of the even derivatives start out negative, and eventually become positive, crossing the real axis exactly once. But this does not happen instantaneously, and I'm not sure how long it takes. For example, the 22nd derivative of tetration is negative at x=0, and goes positive at x=0.0078; the 42nd derivative is the first derivative that is negative at x=0.15; and doesn't go positive until x=0.15105. For the 100th derivative, the transition >0.31. One other problem is that the "otherwise" statement here is identical to the then statement. Quote:Otherwise $\frac{d^n}{dx^n} f^{[t]}(x) \ge 0$ for all real $x > 0$ , all real $t \ge 0$ and all integer $n > 0$. .... - Sheldon « Next Oldest | Next Newest »

 Messages In This Thread introducing TPID 16 - by tommy1729 - 06/07/2014, 11:03 PM RE: introducing TPID 16 - by sheldonison - 06/08/2014, 04:05 PM RE: introducing TPID 16 - by tommy1729 - 06/09/2014, 09:55 AM RE: introducing TPID 16 - by tommy1729 - 06/18/2014, 11:36 PM RE: introducing TPID 16 - by tommy1729 - 06/18/2014, 11:46 PM

 Possibly Related Threads... Thread Author Replies Views Last Post Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 1,806 09/06/2016, 04:23 PM Last Post: tommy1729 Flexible etas and eulers ? TPID 10 tommy1729 0 1,629 08/19/2016, 12:09 PM Last Post: tommy1729 (almost) proof of TPID 13 fivexthethird 1 2,602 05/06/2016, 04:12 PM Last Post: JmsNxn Introducing new special function : Lambert_t(z,r) tommy1729 2 4,008 01/10/2016, 06:14 PM Last Post: tommy1729 TPID 4 tommy1729 29 28,169 07/07/2014, 11:56 PM Last Post: tommy1729 TPID 8 tommy1729 0 2,066 04/04/2011, 10:45 PM Last Post: tommy1729 Discussion of TPID 6 JJacquelin 3 6,658 10/24/2010, 07:44 AM Last Post: bo198214 Another proof of TPID 6 tommy1729 0 2,282 07/25/2010, 11:51 PM Last Post: tommy1729 proof: Limit of self-super-roots is e^1/e. TPID 6 bo198214 3 7,629 07/10/2010, 09:13 AM Last Post: bo198214

Users browsing this thread: 1 Guest(s)