Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
using sinh(x) ?
#65
(11/18/2012, 11:41 PM)tommy1729 Wrote: tommysexp(z) and sheldontommysexp(z) agree on the reals (converge speed may differ though ).

Now tommysexp(z) seems to be only defined for the real z so it requires analytic continuation ( assuming it is possible ).

However sheldontommysexp(z) IS periodic and might be analytic in that period. However to go beyond that period we will need analytic continuation because the C property forbids nonreal periodicity. ( again assuming it is possible ).


This is tommysexp generated with three iterated logarithms. This function is reasonably well behaved at the origin, with a radius of convegence of approximately 0.457. For reference, the taylor series coefficients are listed below.



But the next step, for n=4, is not so well behaved in the complex plane. The radius of convergence in the complex plane is about 0.03469, and by my count, there are 587507 singularities within a radius of 0.035. And its not just a matter of extending the function beyond the wall of singularities, because the function misbehaves inside the wall of singularities too. Here is where singularities occur, due to the log(0).


The other interesting thing about the singularities is how quickly they fall off. At 99.999% of the singularity radius, . Its almost as if one can totally ignore the effect of the fourth iteration. And in fact the 4th iteration has no measurable effect on any taylor series coefficient one would use in normal computation. But, somewhere around the 1352620th taylor series term there is an abrupt transition. The function starts behaving radically differently than the , as the taylor series terms finally become dominated by the wall of nearby singularities. By the way, estimating the 1.35 millionth taylor series coefficent for a function is a very delicate calculation involving algorithms to make approximations cauchy integrals at carefully picked radius's of , where . After picking an appropriate approximation radius, I can estimate the log of the desired taylor series coefficient. It helps that usually the different values of "n" in the sum can be treated independently. I have a pari-gp program, but haven't posted the details, which are complicated. The algorithm works for both the 2sinh(z) superfunction, as well as the exp(z-1) superfunction.

One final thought. has a radius of convergence of ~0.457 which can be seen in the taylor series coefficients below. It is not as well behaved as sexp(z) in the complex plane. The interesting thing is that has the same first 40 taylor series coefficients listed below, accurate to millions of decimal digits. This would also be true of the first million or so terms, until the transition. So, in addition to misbehaving at the 1.35 millionth taylor series term, still has all smaller taylor series coefficients dominated by the singularities in . would have a radius of convergence of less than 10^-7, that would effect uncountably large taylor series terms due to a wall of uncountably many nearby singularities.

There's nothing particularly special about doing the approximations for tommysexp(0), and similar misbehavior would be expected for any value of tommysexp(z). I could post the methods I used for these approximations which might lead to a rigorous proof, but the general problem is complicated. You need to show the taylor series terms eventually grow faster than any radius of convergence. The difficulty is coming up with a rigorous language to express appropriate approximations of superexponentially large taylor series terms. Even so, I am convinced that tommysexp(z) is nowhere analytic, even though it is infinitely differentiable at the real axis.
- Sheldon
added pretty graph showing accuracy of tommysexp3 taylor series terms, and switchover to tommmysexp4 taking over near 1.35 millionth taylor series term
   
Code:
Taylor series coefficients for tommysexp(0)
a0=   1.00000000000
a1=   1.09146536077
a2=   0.273334906394
a3=   0.215218479242
a4=   0.0652715037680
a5=   0.0391656564309
a6=   0.0171521314068
a7=   0.0117058806325
a8=   0.00471958861559
a9=   0.00123667589678
a10= -0.00226288150336
a11=  0.00321559868096
a12= -0.00820154271015
a13=  0.00218777707040
a14=  0.0477372146016
a15= -0.117247563749
a16= -0.0788849220733
a17=  0.883038307996
a18= -0.610166815881
a19= -5.10470797278
a20=  7.81612106347
a21=  28.6479580355
a22= -60.0481521891
a23= -173.314801252
a24=  382.323334609
a25=  1156.14068365
a26= -2075.65103517
a27= -8124.15769733
a28=  8589.21772341
a29=  56026.7180961
a30= -10973.8915911
a31= -353646.843999
a32= -264336.726813
a33=  1880963.01782
a34=  3669078.97541
a35= -7012765.98983
a36= -30701470.8277
a37=  1548864.00646
a38=  184151139.583
a39=  254566511.140



Reply


Messages In This Thread
using sinh(x) ? - by tommy1729 - 02/28/2010, 12:22 AM
RE: using sinh(x) ? - by tommy1729 - 03/06/2010, 12:35 PM
RE: using sinh(x) ? - by bo198214 - 03/07/2010, 11:19 AM
using 2* sinh(x) ! - by tommy1729 - 03/09/2010, 01:31 PM
RE: using 2* sinh(x) ! - by bo198214 - 03/10/2010, 11:38 AM
RE: using 2* sinh(x) ! - by tommy1729 - 03/11/2010, 12:50 AM
RE: using 2* sinh(x) ! - by tommy1729 - 03/14/2010, 01:07 AM
RE: using 2* sinh(x) ! - by sheldonison - 06/02/2010, 04:47 PM
RE: using 2* sinh(x) ! - by tommy1729 - 06/02/2010, 10:13 PM
RE: using 2* sinh(x) ! - by sheldonison - 06/02/2010, 10:56 PM
RE: using 2* sinh(x) ! - by tommy1729 - 06/07/2010, 12:34 AM
RE: using 2* sinh(x) ! - by sheldonison - 06/08/2010, 01:59 PM
RE: using 2* sinh(x) ! - by tommy1729 - 06/09/2010, 12:18 PM
RE: using 2* sinh(x) ! - by mike3 - 06/11/2010, 02:23 AM
RE: using 2* sinh(x) ! - by bo198214 - 06/12/2010, 04:36 AM
RE: using 2* sinh(x) ! - by mike3 - 06/12/2010, 11:14 AM
RE: using 2* sinh(x) ! - by tommy1729 - 06/21/2010, 09:14 PM
RE: using 2* sinh(x) ! - by sheldonison - 06/23/2010, 06:06 PM
RE: using 2* sinh(x) ! - by tommy1729 - 06/23/2010, 09:11 PM
RE: using 2* sinh(x) ! - by tommy1729 - 06/23/2010, 09:31 PM
RE: using 2* sinh(x) ! - by bo198214 - 06/27/2010, 09:16 AM
RE: using 2* sinh(x) ! - by sheldonison - 06/04/2010, 04:48 AM
RE: using sinh(x) ? - by tommy1729 - 04/24/2010, 11:47 PM
RE: using sinh(x) ? - by bo198214 - 05/31/2010, 05:52 AM
RE: using sinh(x) ? - by tommy1729 - 06/01/2010, 10:58 PM
RE: using sinh(x) ? - by bo198214 - 06/02/2010, 02:58 AM
RE: using sinh(x) ? - by tommy1729 - 06/22/2010, 11:18 PM
RE: using sinh(x) ? - by tommy1729 - 06/23/2010, 10:44 PM
RE: using sinh(x) ? - by tommy1729 - 06/24/2010, 12:29 PM
RE: using sinh(x) ? - by tommy1729 - 06/24/2010, 07:22 PM
RE: using sinh(x) ? - by bo198214 - 06/26/2010, 12:04 PM
RE: using sinh(x) ? - by tommy1729 - 06/26/2010, 09:19 PM
attracting fixed point of 2sinh - by sheldonison - 06/27/2010, 03:31 AM
RE: using sinh(x) ? - by tommy1729 - 07/18/2010, 10:41 PM
RE: using sinh(x) ? - by sheldonison - 07/19/2010, 09:37 PM
RE: using sinh(x) ? - by tommy1729 - 07/20/2010, 08:24 PM
RE: using sinh(x) ? - by tommy1729 - 07/19/2010, 10:20 PM
RE: using sinh(x) ? - by sheldonison - 07/20/2010, 03:13 PM
RE: using sinh(x) ? - by tommy1729 - 07/20/2010, 08:31 PM
RE: using sinh(x) ? - by sheldonison - 07/21/2010, 03:19 AM
RE: using sinh(x) ? - by tommy1729 - 07/21/2010, 10:34 PM
RE: using sinh(x) ? - by sheldonison - 07/22/2010, 12:23 PM
RE: using sinh(x) ? - by tommy1729 - 07/28/2010, 02:24 PM
RE: using sinh(x) ? - by tommy1729 - 07/28/2010, 02:53 PM
RE: using sinh(x) ? - by tommy1729 - 12/04/2010, 11:09 PM
RE: using sinh(x) ? - by tommy1729 - 12/08/2010, 02:31 PM
RE: using sinh(x) ? - by sheldonison - 01/17/2011, 07:43 PM
RE: using sinh(x) ? - by tommy1729 - 01/17/2011, 11:36 PM
RE: using sinh(x) ? - by tommy1729 - 07/02/2011, 10:32 PM
RE: using sinh(x) ? - by tommy1729 - 07/04/2011, 10:56 PM
RE: using sinh(x) ? - by sheldonison - 07/05/2011, 01:09 AM
RE: using sinh(x) ? - by tommy1729 - 07/05/2011, 12:06 PM
RE: using sinh(x) ? - by tommy1729 - 11/18/2012, 11:41 PM
RE: using sinh(x) ? - by sheldonison - 11/20/2012, 12:01 AM
RE: using sinh(x) ? - by tommy1729 - 11/20/2012, 10:53 PM
RE: using sinh(x) ? - by sheldonison - 11/20/2012, 11:01 PM
RE: using sinh(x) ? - by tommy1729 - 11/20/2012, 11:32 PM
RE: using sinh(x) ? - by sheldonison - 11/20/2012, 11:46 PM
RE: using sinh(x) ? - by tommy1729 - 11/28/2012, 06:59 PM
RE: using sinh(x) ? - by tommy1729 - 11/28/2012, 08:07 PM
RE: using sinh(x) ? - by tommy1729 - 12/17/2012, 04:34 PM
RE: using sinh(x) ? - by tommy1729 - 02/10/2015, 12:02 AM
RE: using sinh(x) ? - by tommy1729 - 04/22/2015, 12:27 PM
RE: using sinh(x) ? - by tommy1729 - 04/23/2015, 04:49 PM
RE: using sinh(x) ? - by tommy1729 - 10/26/2015, 12:56 AM
RE: using sinh(x) ? - by tommy1729 - 11/26/2015, 11:56 PM
RE: using sinh(x) ? - by sheldonison - 11/27/2015, 03:41 PM
RE: using sinh(x) ? - by tommy1729 - 11/28/2015, 01:21 PM
RE: using sinh(x) ? - by sheldonison - 11/29/2015, 03:03 PM
RE: using sinh(x) ? - by tommy1729 - 12/01/2015, 01:22 PM
RE: using sinh(x) ? - by sheldonison - 12/01/2015, 02:58 PM
RE: using sinh(x) ? - by tommy1729 - 12/02/2015, 12:04 AM
RE: using sinh(x) ? - by tommy1729 - 12/01/2015, 08:18 PM
RE: using sinh(x) ? - by tommy1729 - 12/02/2015, 12:28 AM
RE: using sinh(x) ? - by tommy1729 - 02/23/2016, 10:36 PM
RE: using sinh(x) ? - by tommy1729 - 02/24/2016, 01:27 PM
RE: using sinh(x) ? - by tommy1729 - 03/01/2016, 10:38 PM
RE: using sinh(x) ? - by tommy1729 - 03/05/2016, 01:27 PM
RE: using sinh(x) ? - by tommy1729 - 03/05/2016, 11:38 PM
RE: using sinh(x) ? - by sheldonison - 03/06/2016, 03:16 PM
RE: using sinh(x) ? - by tommy1729 - 03/06/2016, 10:54 PM
RE: using sinh(x) ? - by tommy1729 - 03/07/2016, 01:48 AM
RE: using sinh(x) ? - by tommy1729 - 03/07/2016, 10:46 AM
RE: using sinh(x) ? - by tommy1729 - 03/07/2016, 09:36 PM
RE: using sinh(x) ? - by tommy1729 - 03/08/2016, 12:26 AM
RE: using sinh(x) ? - by tommy1729 - 03/11/2016, 01:27 PM
RE: using sinh(x) ? - by tommy1729 - 03/12/2016, 01:12 PM
RE: using sinh(x) ? - by tommy1729 - 03/12/2016, 01:20 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  exp^[3/2](x) > sinh^[1/2](exp(x)) ? tommy1729 7 5,339 10/26/2015, 01:07 AM
Last Post: tommy1729
  2*sinh(3^h*asinh(x/2)) is the superfunction of (...) ? Gottfried 5 5,033 09/11/2013, 08:32 PM
Last Post: Gottfried
  zeta and sinh tommy1729 0 1,841 05/30/2011, 12:07 PM
Last Post: tommy1729



Users browsing this thread: 2 Guest(s)