Tetration Forum
Nowhere analytic superexponential convergence - Printable Version

+- Tetration Forum (https://tetrationforum.org)
+-- Forum: Tetration and Related Topics (https://tetrationforum.org/forumdisplay.php?fid=1)
+--- Forum: Mathematical and General Discussion (https://tetrationforum.org/forumdisplay.php?fid=3)
+--- Thread: Nowhere analytic superexponential convergence (/showthread.php?tid=578)

Pages: 1 2

Nowhere analytic superexponential convergence - sheldonison - 01/20/2011

I found some surprisingly close similarities in the behavior of tommysexp and the base change function, and may have made some progress on why both are probably nowhere analytic functions. In particular, my hypothesis is that \( \sum_{n=1}^{\infty} \frac {1} {\text{sexp}(z+n)} \) is also a \( C^\infty \) nowhere analytic function, whose convergence in some sense tracks the base change, and tommysexp function. I'm still working out the details, some of which are included today, and some of which will be in a future post.

I calculated the taylor series and error terms and nearest singularities for the base change eta equations, see post, and for the tommysexp equations, see my recent post. Both iterate logarithms from one real valued superexponential superfunction, to generate a particular different real valued base(e) sexp(z) superexponential. The working assumption is that the resulting sexp(e) base change is nowhere analytic. But the intermediate approximations are defined in the complex plane. So here, I generated the series, for both approximations. The similarities between the two are somewhat striking, and lead to some new ideas to explore about nowhere analytic superexponential convergence.

Recall, \( \log(\log(\text{sexp}_\eta(z)))=\text{sexp}_\eta(z-2)/e-1 \). So the first two logarithms in the base change are sort of trivial. For the following, I'm comparing five logarithms for the base change, with three logarithms for the 2sinnh superfunction.
  • tommysexp radius of convergence, 0.458. The base change radius of convergence is 0.460
  • The first thirty singularities for both functions are remarkably similar
  • both have similar superexponential convergence. The next iteration delta for both are less than 1E-80, in the region for real(z)>-0.5. This means that doing one more logarithm has an almost negligable difference at the real axis. But for both, one more logarithm changes the radius of convergence from 0.46 to 0.035.
  • I generated the taylor series for both
  • for both, the taylor series matches the function to ~1E-28 for -0.4<z<0.4.
Based on the fact that the singularities gets arbitrarily close to the real axis as the number of logarithm iterations increase, and based on the fact that the singularities get arbitrarily close together, it is assumed that these functions are nowhere analytic, but they are infinitely differentiable.

The next iteration delta is defined as
\( \text{sexp}(z)_{n \text{logs}}-\text{sexp}(z)_{n+1\text{ logs} \)
Let z=sexp(x). Using the chain rule, and first order derivatives, one can derive that the the next iteration convergence delta equations for cheta, and for 2insh superf are approximately the following, which has also been verified empirically.
nextdelta_cheta_e(z)=\( (\exp^{[4]}(z)*\exp^{[3]}(z)*\exp^{[2]}(z)*\exp(z))^{-1} \)
nextdelta_tommysexp(z)=\( (\exp^{[4]}(z)*\exp^{[4]}(z)*\exp^{[3]}(z)*\exp^{[2]}(z)*\exp(z))^{-1} \)
The tommysexp next iteration delta term is roughly the square of the cheta base change next iteration delta term. But that squaring becomes negligible compared to supperexponential converging terms. For both, I suspect this superexponential convergence at the real axis makes it impossible to model the nextdelta functions with a taylor series, which matches the singularities approaching arbitrarily close to the real axis. Below, you can see how very very tiny these next iteration deltas are, with a number like 10^-165653 for the next iteration delta at z=0. For z>0.05, pari-gp overflows, and can't print the the next iteration delta in scientific form. This may also lead to a way to prove that these functions are nowhere analytic, since they are both very close to an analytic function with a radius of 0.46, but adding the tiny nextdelta dramatically reduces the taylor series convergence, because the nextdelta term has such quickly growing derivatives. And for the nextdelta after that, the nextdelta is tinier still, approximately 1/sexp(z+5), with a correspondingly faster growith in the derivatives.

This leads to a natural question. Is this superexponential reciprocal summation also \( C^\infty \), but nowhere analytic? \( \sum_{n=1}^{\infty} \frac {1} {\text{sexp}(z+n)} \)
Interestingly, the intermediate terms for this summation do not have any actual singularities at radius 0.46, and then at radius 0.035, but it nonetheless behaves like it has a singularities at those radii. More comments comming in a future post! And it has some of the same convergence properties, since for large enough values of sexp(z), one can say that in some sense all of the following are approximately equal, \( \text{sexp}(z)\approx\text{sexp}(z)*\text{sexp}(z-1)\approx\text{sexp}(z)*\text{sexp}(z) \). Then in that same sense, for tomysexp, and for the base change, and for the superexponential reciprocal summation, the nextdelta is approximately the same.
nextdelta(n+4) approximation: 1/sexp(z+4)
nextdelta(n+5) approximation: 1/sexp(z+5)
nextdelta(n+6) approximation: 1/sexp(z+6)
nextdelta(n+7) approximation: 1/sexp(z+7)

Here are some computed results, with the tommysexp function on the left, and the base change function on the right. Results are included for closest singularities, next iteration delta, taylor series, and taylor series accuracy. The Taylor series for both was sampled around at a radius of 0.4 around about the origin, z=0, with 200 samples. Both have a singularity at a radius of 0.46. For the superfunction of 2sinh, the singularities occur whenever the superfunction is first equal to n*2*Pi*i. For the base change, the singularities occur where the superfunction of \( \eta_{\text{upper}} \) is first equal to e*(1+n*2*Pi*i).
- Sheldon
Code:
tommysexp=superfunction(2sinh)          cheta base change, upper sexp(eta)
first 30 singularities                  first 30 singularities
1      0.007675615 + 0.7110234703*I     1     -0.007046864 + 0.7086921323*I
2      0.156738931 + 0.4901228794*I     2      0.153425672 + 0.4931023030*I
3      0.234549231 + 0.4054846386*I     3      0.233763209 + 0.4081718531*I
4      0.285107736 + 0.3580209487*I     4      0.285306052 + 0.3602436661*I
5      0.321752934 + 0.3267267408*I     5      0.322435529 + 0.3285711201*I
6      0.350104098 + 0.3041253984*I     6      0.351057363 + 0.3056753164*I
7      0.373010280 + 0.2868168927*I     7      0.374127093 + 0.2881352237*I
8      0.392097990 + 0.2730084001*I     8      0.393318661 + 0.2741410912*I
9      0.408376026 + 0.2616549026*I     9      0.409664722 + 0.2626359532*I
10     0.422509625 + 0.2521013150*I     10     0.423843619 + 0.2529563952*I
11     0.434958701 + 0.2439136307*I     11     0.436322954 + 0.2446625228*I
12     0.446053388 + 0.2367915138*I     12     0.447437616 + 0.2374497535*I
13     0.456038030 + 0.2305196835*I     13     0.457435017 + 0.2310996796*I
14     0.465098132 + 0.2249392776*I     14     0.466502705 + 0.2254510910*I
15     0.473377582 + 0.2199301716*I     15     0.474785971 + 0.2203820687*I
16     0.480990056 + 0.2153996258*I     16     0.482399477 + 0.2157984789*I
17     0.488026798 + 0.2112747481*I     17     0.489435178 + 0.2116263308*I
18     0.494562072 + 0.2074973457*I     18     0.495967852 + 0.2078065544*I
19     0.500657065 + 0.2040203194*I     19     0.502059070 + 0.2042913418*I
20     0.506362740 + 0.2008050829*I     20     0.507760082 + 0.2010415280*I
21     0.511721960 + 0.1978196799*I     21     0.513113970 + 0.1980246795*I
22     0.516771090 + 0.1950373863*I     22     0.518157264 + 0.1952136753*I
23     0.521541225 + 0.1924356567*I     23     0.522921193 + 0.1925856373*I
24     0.526059152 + 0.1899953187*I     24     0.527432641 + 0.1901211119*I
25     0.530348090 + 0.1876999500*I     25     0.531714907 + 0.1878034376*I
26     0.534428293 + 0.1855353899*I     26     0.535788306 + 0.1856182493*I
27     0.538317521 + 0.1834893535*I     27     0.539670648 + 0.1835530860*I
28     0.542031431 + 0.1815511233*I     28     0.543377630 + 0.1815970775*I
29     0.545583889 + 0.1797113001*I     29     0.546923147 + 0.1797406922*I
30     0.548987229 + 0.1779616016*I     30     0.550319558 + 0.1779755319*I
600000 1.002503983 + 0.0347283022*I     600000 1.002441996 + 0.0350126288*I

tommy sexp next iteration delta         base change next iteration delta
-1.50 delta est 0.000007290427449       -1.50 delta est 0.001312345791
-1.45 delta est 0.000002442380117       -1.45 delta est 0.0006835256251
-1.40 delta est 0.0000007238057956      -1.40 delta est 0.0003348415946
-1.35 delta est 0.0000001844698859      -1.35 delta est 0.0001519916764
-1.30 delta est 0.00000003903526792     -1.30 delta est 0.00006276903195
-1.25 delta est 0.000000006559199672    -1.25 delta est 0.00002304855068
-1.20 delta est 0.000000000826302550    -1.20 delta est 0.000007307424860
-1.15 delta est 7.238205406 E-11        -1.15 delta est 0.000001925394773
-1.10 delta est 3.988868330 E-12        -1.10 delta est 0.0000004008301483
-1.05 delta est 1.207892248 E-13        -1.05 delta est 0.00000006159403329
-1.00 delta est 1.668575191 E-15        -1.00 delta est 0.000000006364409628
-0.95 delta est 8.101375833 E-18        -0.95 delta est 0.000000000388187413
-0.90 delta est 9.522025197 E-21        -0.90 delta est 1.160608067 E-11
-0.85 delta est 1.570526566 E-24        -0.85 delta est 1.296962680 E-13
-0.80 delta est 1.605157311 E-29        -0.80 delta est 3.610457672 E-16
-0.75 delta est 2.884944478 E-36        -0.75 delta est 1.341207737 E-19
-0.70 delta est 1.232007258 E-45        -0.70 delta est 2.468691750 E-24
-0.65 delta est 4.642126163 E-59        -0.65 delta est 4.418654086 E-31
-0.60 delta est 5.509049535 E-79        -0.60 delta est 4.750549878 E-41
-0.55 delta est 8.595247025 E-110       -0.55 delta est 2.108614749 E-56
-0.50 delta est 9.934995750 E-160       -0.50 delta est 3.264931211 E-81
-0.45 delta est 2.778099893 E-245       -0.45 delta est 1.273717448 E-123
-0.40 delta est 9.415182574 E-402       -0.40 delta est 4.549700447 E-201
-0.35 delta est 4.207952100 E-711       -0.35 delta est 4.463595288 E-354
-0.30 delta est 7.675146626 E-1383      -0.30 delta est 2.440718380 E-686
-0.25 delta est 6.000014213 E-3018      -0.25 delta est 1.028884438 E-1495
-0.20 delta est 1.822210125 E-7599      -0.20 delta est 9.833387813 E-3767
-0.15 delta est 7.913126877 E-22903     -0.15 delta est 2.069121979 E-11367
-0.10 delta est 1.381445672 E-86764     -0.10 delta est 5.267169510 E-43161
-0.05 delta est 2.726837470 E-441691    -0.05 delta est 5.555419728 E-220307
0.000 delta est 1.170808246 E-331305    0.000 delta est 2.729744576 E-165653
0.050 delta est 1.997889711 E-41675401  0.050 delta est 3.431529878 E-20863257

tommysexp supref(2sinh(z)) series       base change, cheta/sexp(eta) upper series
first 60/200 terms calculated           first 60/200 terms calculated
0 1.00000000000000                      0 1.00000000000000      
1 1.09146536076840                      1 1.09245822365347      
2 0.273334906394121                     2 0.263554328999923    
3 0.215218479242466                     3 0.205343154888622    
4 0.0652715037680265                    4 0.0904346945443277    
5 0.0391656564308927                    5 0.0505926411913673    
6 0.0171521314068201                    6 -0.00497282375975114  
7 0.0117058806324846                    7 0.0469251697418079    
8 0.00471958861559290                   8 -0.0177179396467206  
9 0.00123667589678222                   9 -0.186320226068563    
10 -0.00226288150336297                 10 0.286274823965696    
11 0.00321559868096087                  11 0.786721506210894    
12 -0.00820154271014946                 12 -1.74904574987150    
13 0.00218777707039554                  13 -4.22035142074436    
14 0.0477372146016102                   14 8.20344527496622    
15 -0.117247563749023                   15 26.9037752819119    
16 -0.0788849220732723                  16 -24.7206037630541    
17 0.883038307995801                    17 -166.586604395346    
18 -0.610166815880536                   18 -43.2725525131210    
19 -5.10470797277627                    19 839.172975959226    
20 7.81612106347109                     20 1336.31403138573    
21 28.6479580354880                     21 -2550.74078072519    
22 -60.0481521891273                    22 -10958.6656809462    
23 -173.314801251505                    23 -4272.50237468355    
24 382.323334608732                     24 50062.8915107697    
25 1156.14068365026                     25 110734.098785714    
26 -2075.65103517000                    26 -54918.2588154844    
27 -8124.15769732862                    27 -671682.734465615    
28 8589.21772341065                     28 -1036994.99812864    
29 56026.7180961308                     29 1303463.94817780    
30 -10973.8915910648                    30 7906099.55967434    
31 -353646.843998969                    31 10264075.6059732    
32 -264336.726812852                    32 -17004741.2263050    
33 1880963.01782064                     33 -88499153.4024295    
34 3669078.97540668                     34 -116329792.315688    
35 -7012765.98982617                    35 167304017.910329    
36 -30701470.8276538                    36 963110565.025803    
37 1548864.00645558                     37 1471157605.81809    
38 184151139.582793                     38 -1166177629.67364    
39 254566511.139843                     39 -10032662178.5555    
40 -702354526.642371                    40 -19039573638.1062    
41 -2569640324.09206                    41 1443219835.56116    
42 -5013267.92728414                    42 95794081305.7755    
43 14864113060.2053                     43 234210144815.370    
44 25072200943.3146                     44 133790170777.420    
45 -41910819127.1582                    45 -773512716992.095    
46 -217305763066.960                    46 -2602252032300.76    
47 -154949067429.982                    47 -3041284384185.33    
48 943505478224.865                     48 4232438021867.08    
49 2649848118455.03                     49 24816333063823.4    
50 -211692701210.664                    50 44988721281848.7    
51 -15217717895592.4                    51 5695511204255.34    
52 -28995187122276.9                    52 -184546634307910.    
53 25950229728157.7                     53 -510468123278426.    
54 213031534180868.                     54 -550701240269359.    
55 298483216448330.                     55 732817220216991.    
56 -540350815684974.                    56 4.36282875951352 E15
57 -2.77584178284245 E15                57 8.84380011906777 E15
58 -3.02896731520363 E15                58 5.81870949781462 E15
59 8.44582062003156 E15                 59 -2.21417549121022 E16

tommysexp                               base change
-0.50 series error -4187.308964         -0.50 series error -612.3595433
-0.45 series error -0.00000314007994    -0.45 series error -0.00000046821885
-0.40 series error -1.967651776 E-16    -0.40 series error -2.995061854 E-17
-0.35 series error -4.969752342 E-28    -0.35 series error -7.246590384 E-29
-0.30 series error 2.916083910 E-29     -0.30 series error 9.542284363 E-30
-0.25 series error 2.414667177 E-29     -0.25 series error 8.897390862 E-30
-0.20 series error 1.721748423 E-29     -0.20 series error 7.931710119 E-30
-0.15 series error 7.733890007 E-30     -0.15 series error 6.533447419 E-30
-0.10 series error -5.131358874 E-30    -0.10 series error 4.558415157 E-30
-0.05 series error -2.240424609 E-29    -0.05 series error 1.828944318 E-30
0.000 series error -4.525864081 E-29    0.000 series error -1.856258370 E-30
0.050 series error -7.482860942 E-29    0.050 series error -6.689333719 E-30
0.100 series error -1.117784941 E-28    0.100 series error -1.278228379 E-29
0.150 series error -1.555621683 E-28    0.150 series error -2.005090791 E-29
0.200 series error -2.035294954 E-28    0.200 series error -2.808322941 E-29
0.250 series error -2.505008111 E-28    0.250 series error -3.608655740 E-29
0.300 series error -2.897231036 E-28    0.300 series error -4.303680442 E-29
0.350 series error -8.215790599 E-28    0.350 series error -2.460314623 E-28
0.400 series error -1.431085214 E-16    0.400 series error -7.232990979 E-17
0.450 series error -0.00000153057824    0.450 series error -0.00000110157473
0.500 series error -1086.697955         0.500 series error -1366.400977


RE: Nowhere analytic superexponential convergence - tommy1729 - 01/21/2011

i will explain some things later on ...

RE: Nowhere analytic superexponential convergence - sheldonison - 01/26/2011

(01/20/2011, 05:23 PM)sheldonison Wrote: .... In particular, my hypothesis is that \( f(x)=\sum_{n=1}^{\infty} \frac {1} {\text{sexp}(z+n)} \) is also a \( C^\infty \) nowhere analytic function...
The goal of this post is to show that f(x), the superexponential reciprocal sum is not analytic on the complex plane, even though it converges superexponentially fast at the real axis. This post assumes that f(x) is \( C^\infty \), and that all of the derivatives of f(x) converge via the limit equation. First, assume that the sum is analytic. Then, around any point "x" along the real axis, there must exist r, which is the radius of a circle, for which all points inside that circle, such that \( |z|\le r \), for the nth approximation term, |1/sexp(x+n+z)|<1. After choosing any radius, no matter how small, we can choose a value of n, such that the approximation of f(x) has n terms, and show that for the nth term, \( 1/\text{sexp}(x+z+n) \), there exists a counter example, with |z|<r, and \( |1/\text{sexp}(x+z+n)|=1 \). Moreover, for the n+1 term, the radius will be superexponentially smaller still.

Even though the superexponential reciprocal summation converges superexponentially quickly at the real axis, it does not converge in the complex plane, which means the function is only defined at the real axis. Also, each individual approximation is analytic, and there are no singularities, so long as \( \Re(z)>-2 \). But as n increases, \( 1/\text{sexp}(x+n) \) gets arbitrarily small, and the function converges at the real axis. But, as n increases, the radius for which \( |\text{sexp}(x+n+z)| \le 1 \) holds also gets arbitrarily small, which is the exact opposite from what would be expected if the function were defined in the complex plane.

Here I give an empirical (unproven) estimate of what the radius of z is. There exists a value of z, where \( |z|<1/\text{sexp}(x-2) \), and where \( |1/\text{sexp}(x+z)|=1 \), as long as x>3.5 or so. This gives a way to calculate the upper bounds for the integer value of n to use for any particular radius r. n>slog(1/r)+2-x will work, as long as slog(1/r)>=1.5. Summation terms with n greater than this value will not be stable in the complex plane within the radius r, because the term will be greater than 1, which is contrary to the assumption. Moreover, for any value of r, no matter how small, there is a value of n for which the summation not converging in the complex plane.

Now, a few graphs. The first graph is a graph of the superexponential reciprocal summation, and its first three derivatives. For x>2.5, f(x)<2E-78. Beginning with the third derivatives, oscillation is visible. For higher derivatives, the oscillation becomes more and more pronounced, and larger in magnitude.
   
The next chart, is a contour plot of where where |sexp(z+1)|=1. If |sexp(z+1)|=1 then it is also true that the absolute value of the reciprocal=1, |1/sexp(z+1)|=1. This contour is also the contour where \( \Re(\text{sexp}(z))=0 \). This chart has \( \Im(\text{sexp}(z))\gt 2\pi \). This contour is also where \( \text{sexp}(z-1)=x+0.5\pi i \), where \( x\gt\Re(\log(2\pi i)) \). If z is chosen from a point on this curve, then \( |1/\text{sexp}(z+1)|=1 \). Between this curve and the real axis, |1/sexp(z+1)|<1. For every point on the real axis, if the radius is bigger than some value, the circle tangentially intersects the curve, and the radius of that circle gets arbitrarily small as x increases.
   

Then, going back to the super-exponential reciprocal summation, in the complex plane the individual terms don't converge, because there isn't a radius for which all of the approximation terms of \( |f(x+z)|< 1 \). This curve tracks very closely to the singularity points for the base change sexp(z), which tracks the 2sinh(z) singularities, and I could post some similarities later. I suspect there is some way to show that all three nowhere analytic functions behave in some underlying similar manner, and that perhaps this can help to prove that they are all nowhere analytic.

As an example, consider f(0.5). The n=3 approximation term is 1/sexp(3.5+z). If z=0, 1/sexp(3.5)=1.6E-78, which is very small, and convergence looks very good at the real axis. But, in the complex plane, the curve 1/sexp(3.5+z), is not so well behaved. In particular 1/sexp(3.5794+0.163i)=1.005-0.174i, which is>1. This is approximately the closest point. The radius is given by r=|abs(3.5794+0.163i-3.5)|=0.1813. The slog(1/r)+2 approximation equation gives 3.538, which is pretty good, compared to 3.5. Here is a graph of the contour of the n=3 term, a circle of radius r=0.181, for f(z)=1/sexp(3.5+z). For abs(z)<0.181, the |1/sexp(3.5+z)|<1. First, I graph the circle from z=r*exp(0) to z=r*exp(Pi). Then I zoom in on z=r*exp(0.9...1.4). Finally, I graph the absolute value, |1/sexp(x+z)| where z=r*exp(0.9..1.4). These are contour graphs, where red=real and green=imaginary. The third graph shows the approximately Gaussian decay of the |1/sexp(3.5+z)|, on the contour of the circle. The abs(1/sexp(3.5+z) quickly decays to 1E-10, and will continue to decay from there. In some ways, the rapid growth from 1/sexp(3.5)=1E-78 resembles the way a singularity might behave. As 1/sexp(z) super-exponentially decays, the Gaussian distribution falls over a smaller and smaller region of the circle.
   
Also, here are the first 50 derivatives, for 1/sexp(2.5+z) compared with 1/sexp(3.5+z). For the first 43 derivatives, the 1/sexp(3.5+z) terms are smaller, but after that, the 1/sexp(3.5+z) terms take over. Notice that 1/sexp(3.5) is only 1.6E-78 at the real axis; which is a very small correction.
Code:
n   1/sexp(2.5)     1/sexp(3.5)
0   0.00558298914   1.625991332E-78
1  -0.0456240094   -2.380006310E-75
2   0.2563009796    3.458149315E-72
3  -0.6054787553   -4.987380173E-69
4  -2.741862125     7.138720290E-66
5   8.757799374    -1.014009718E-62
6   157.8507067     1.429193425E-59
7   491.3929443    -1.998567535E-56
8  -9026.157526     2.772527041E-53
9  -153649.9284    -3.815139828E-50
10 -787222.9479     5.206785176E-47
11  13796409.21    -7.046904390E-44
12  402118496.3     9.456701274E-41
13  4664848650.    -1.258156134E-37
14 -9014484432.     1.659288212E-34
15 -1.700819629E12 -2.168892791E-31
16 -4.135791005E13  2.809424917E-28
17 -4.796963471E14 -3.605715028E-25
18  4.244145460E15  4.584466348E-22
19  3.817993655E17 -5.773450813E-19
20  1.088186879E19  7.200359831E-16
21  1.655763911E20 -8.891282534E-13
22 -8.910968566E20  0.000000001086880942
23 -1.582505635E23 -0.000001314979395
24 -6.115215612E24  0.001574284791
25 -1.400241746E26 -1.864569574
26 -9.368959331E26  2184.256553
27  9.368403311E28 -2530184.310
28  5.823757822E30  2897425490.
29  2.043837038E32 -3.279186635E12
30  4.246059314E33  3.666817736E15
31 -2.095476396E34 -4.049955874E18
32 -7.113541073E36  4.416819823E21
33 -4.085907645E38 -4.754661211E24
34 -1.505115263E40  5.050363334E27
35 -3.226262684E41 -5.291161995E30
36  4.065047260E42  5.465445548E33
37  8.703655084E44 -5.563575680E36
38  5.486386165E46  5.578658876E39
39  2.313255539E48 -5.507193104E42
40  6.041186242E49  5.349517047E45
41 -3.838827157E50 -5.110001027E48
42 -1.700626152E53  4.796939500E51
43 -1.303482620E55 -4.422133083E54
----------------------------------
44 -6.682907802E56  4.000180567E57
45 -2.333449528E58 -3.547534383E60
46 -2.282950303E59  3.081401865E63
47  4.588400766E61 -2.618595179E66
48  4.904697005E63  2.174441199E69
49  3.205058435E65 -1.761857223E72
50  1.513287370E67  1.390679176E75
- Sheldon Levenstein


RE: Nowhere analytic superexponential convergence - tommy1729 - 01/26/2011

i would like to point out :

i agree that the base change and my sinh method function are probably - without extensions - Coo but not complex analytic.

but the point is my sinh method is Coo and REAL - analytic.

Look : since log log ... exp exp ... (z) is only REAL - analytic and not complex analytic , but we can extend log log ... exp exp ... (z) simply to id(z) BECAUSE it is REAL -analytic , and then it BECOMES complex - analytic.

RE: Nowhere analytic superexponential convergence - bo198214 - 01/28/2011

(01/20/2011, 05:23 PM)sheldonison Wrote: I found some surprisingly close similarities in the behavior of tommysexp and the base change function, and may have made some progress on why both are probably nowhere analytic functions.
...
The similarities between the two are somewhat striking, and lead to some new ideas to explore about nowhere analytic superexponential convergence.

Ya, actually this method would also work for a lot of other functions than \( \exp(x)-1 \) or \( 2\sinh(x) \), I guess all these are nowhere analytic on the real line (and produce superexponentials).

(01/26/2011, 11:17 PM)tommy1729 Wrote: i agree that the base change and my sinh method function are probably - without extensions - Coo but not complex analytic.

but the point is my sinh method is Coo and REAL - analytic.

Look : since log log ... exp exp ... (z) is only REAL - analytic and not complex analytic , but we can extend log log ... exp exp ... (z) simply to id(z) BECAUSE it is REAL -analytic , and then it BECOMES complex - analytic.

Tommy, it seems you are not familiar with the definitions. "Real-analytic" means analytic at a certain interval of the real axis and the function returning real values there. "Analytic" at a point means there is a powerseries development with a non-zero convergence radius. If this is the case then there is disk around this point in the complex plane where the function is analytic/holomorphic.

A term like "complex-analytic" does not exist. When one says "analytic" there must be including a statement of the domain, where it is analytic. A function that is analytic in the whole complex plane is called entire.

So "nowhere analytic" on the real axis means: all the powerseries developments at the real axis have 0 convergence radius, which indicates a really strange function.



RE: Nowhere analytic superexponential convergence - tommy1729 - 01/29/2011

ofcourse Bo !

i just wrote *complex* - analytic to informally point out the difference with real-analytic.

of course i know :

" "Real-analytic" means analytic at a certain interval of the real axis and the function returning real values there. "Analytic" at a point means there is a powerseries development with a non-zero convergence radius. If this is the case then there is disk around this point in the complex plane where the function is analytic/holomorphic "

i thought it was clear i was speaking informally ...

kind of embarrassing for me :/

now knowing that , you might wanna read my post again ?

as i understood sheldon , he means " nowhere-analytic " rather than " nowhere-analytic " on the real axis.

tommysexp is real-analytic.

RE: Nowhere analytic superexponential convergence - bo198214 - 01/29/2011

(01/29/2011, 12:03 AM)tommy1729 Wrote: i just wrote *complex* - analytic to informally point out the difference with real-analytic.
...

now knowing that , you might wanna read my post again ?

Sorry, tommy your post makes no sense then. You say its not analytic, but real-analytic. Its not analytic where? If it is real analytic then it is analytic on a neighborhood of the real axis/interval.

Quote:as i understood sheldon , he means " nowhere-analytic " rather than " nowhere-analytic " on the real axis.

The function is only defined on the real axis, of course he speaks about the real axis.

Quote:tommysexp is real-analytic.

I dont think so. Everything is pointing to the opposite: nowhere analytic on the real axis. This is because the sequence of functions gets singularities nearer and denser around the real axis (convergence radius shrinking to 0). This is no proof, but makes it quite unlikely that the limit function has somewhere non-zero convergence radius.

RE: Nowhere analytic superexponential convergence - tommy1729 - 01/29/2011

well im sorry too Bo.

but it seems you missed the point.

lim n -> oo log^[n] ( exp^[n] (x) ) also doesnt have a somewhere non-zero convergence radius.

but clearly on the real line f(x) = lim n -> oo log^[n] ( exp^[n] (x) ) is real-analytic because it simply reduces to f(x) = x for real x , which is clearly real-analytic.

RE: Nowhere analytic superexponential convergence - mike3 - 01/29/2011

(01/29/2011, 03:26 PM)tommy1729 Wrote: well im sorry too Bo.

but it seems you missed the point.

lim n -> oo log^[n] ( exp^[n] (x) ) also doesnt have a somewhere non-zero convergence radius.

but clearly on the real line f(x) = lim n -> oo log^[n] ( exp^[n] (x) ) is real-analytic because it simply reduces to f(x) = x for real x , which is clearly real-analytic.

No, it does have a non-zero radius, at every step of the way, since on the real line for \( x > 0 \), it equals \( x \).


RE: Nowhere analytic superexponential convergence - tommy1729 - 01/29/2011

well according to Bo it is not real-analytic and it doesnt have a radius , and according to mike it does have a radius.

a radius is usually considered a radius of a circle.

for reals we usually talk about intervals.


so opinions and/or terminology differs , i hope at least everyone agrees on :

on the real line f(x) = lim n -> oo log^[n] ( exp^[n] (x) ) is real-analytic because it simply reduces to f(x) = x for real x , which is clearly real-analytic.

and for real-analytic i prefer to say : analytic on an interval , rather than a radius , for imho a nonzero-radius is for analytic taylor series - analytic on on a disk on the complex plane with nonzero-radius.