Half-iterate exp(z)-1: hypothese on growth of coefficients
#6
@Gottfreid txh for you great answer

(07/19/2022, 10:19 PM)Gottfried Wrote: However, having 4 partial sequences, this might moreover reflect some effect in the question of negative \(z \) and imaginary \( z \). This might then be interesting in its own...
Can we derive from this regular behavior modulo 4 that modulo 4 and the coefficient themselves, even if they produce divergence, are following some kind of law, have meaning?
It is that that you are pointing to?


Quote:Well, the process is a bit different for such summations.

The most simple case is that of alternating geometric series, for instance \( f(x)= 1-x + x^2-x^3+... \). This series has radius of convergence \( \rho = 1 \) because for \( | x| <1 \) this converges (possibly veeeery slow ) and for \( |x| \ge 1 \) diverges (again possibly veeeery slow).   
On the other hand, the series can be understood to be result of \( f^*(x) = 1/(1+x) \) and there is no problem to insert then \( x=2 \) for instance and have the result \( f^*(2) = 1/3 \) . Perhaps this is some axiomatic anchor for all the more sophisticated summations of divergent series.           
Anyway, this is surely a "singular" observation and, at least since Euler, it has been used to extend the range of functions which can be summed to meaningful values, even if the powerseries for some \( x \) is divergent.         
Known names (with simple procedures) here are Hölder- and Cesaro summation, which apply evaluation of partial series up to some index \(n \), and average then that partial-series-values and see, whether this goes to some fixed limit. Iteration improves the "power": stronger diverging series can be summed.

However: only up to certain divergence criteria.  For instance, if the coefficients of some powerseries grow geometrically, neither Hölder- nor Cesaro sum (the latter: I think) do not converge - how many iterations you may apply. For such series the Euler-summation is sufficient, as well possibly iterated.  

For alternating factorial series, L. Euler found some evaluation-scheme, but the best known "(classical)" method for them is perhaps the Borel-summation.
This is remarkable, since \(f(x) = 0! - 1!x + 2!x^2 - 3!x^4 \pm \cdots \) has convergence-radius \( \rho =0 \): with no \(x\), being as small as you want, the series can converge. And still there is a meaningful evaluation to a finite value known!   
Oh, so I was not totally off... average of the truncations is something pretty intuitive that also a kid could come up with and similat to what I was suggesting (average of accumulation points of the subsequence of the truncations).

Anyways... it is a very rich zoo of summation methods...


Quote:There are many more, and more modern summation-methods known, but I couldn't specialize on this subject, and just fiddled with that homebrewn procedure of my own -often simply generalizations: to make the summation-procedure "stronger" while keeping its basic logic - methods to approximate meaningful values.        
It is a subject that I love much, and if interested I might prepare some zoom- or skype-meeting to show that at work using Pari/GP and my matrices... :-)
I'd be happy but I'm not sure I have the prerequisites and also the time needed to apply on this. Life is short and time is a tirant.. I hate this since it sounds as a great topic... and now that you described it many things popped to my head, things that are linked to... like zeta functions and combinatorics (generating functions-ology) and quantum theory stuff...

But again, no time... and I fear I'll never be able to catch up with all the prerequisite. It is already odyssey to try to make a little sense of dynamics and category theory as an autodidact... I'd need an university and a way to go there... damn... maybe when I'll be 70yo I'll get my phd. xD


Quote:Buttttt - most books are really difficult to read, not much paedagogic, exotic jargons, lacking redundancies etc, except for instance that of K. Knopp, that of G. Hardy and the like, all such "classical" texts. Modern texts about this, as far as I met them, are usually too hard to chew for me, so I've settled to dwell as amateur... :-)

Gottfried   

------
An, and a very lowlevel introduction into summation of divergent series maybe this one, however again: I've been rather newbie with this): https://go.helms-net.de/math/summation/pmatrix.pdf chap. 5

I'll try to skim Knopp in the free time.
Btw... chapter 5 is the "Online res(S)ources" part... and I suspect you are pointing me to the geman languange bibliography items...are you?

Mother Law \(\sigma^+\circ 0=\sigma \circ \sigma^+ \)

\({\rm Grp}_{\rm pt} ({\rm RK}J,G)\cong \mathbb N{\rm Set}_{\rm pt} (J, \Sigma^G)\)
Reply


Messages In This Thread
RE: Half-iterate exp(z)-1: hypothese on growth of coefficients - by MphLee - 07/21/2022, 12:15 PM
RE: Parabolic Formal Powerseries - by tommy1729 - 09/09/2022, 12:24 AM

Possibly Related Threads…
Thread Author Replies Views Last Post
  logit coefficients growth pattern bo198214 21 24,799 09/09/2022, 03:00 AM
Last Post: tommy1729
Question Repeated Differentiation Leading to Tetrationally Fast Growth Catullus 5 8,263 07/16/2022, 07:26 AM
Last Post: tommy1729
  Why the beta-method is non-zero in the upper half plane JmsNxn 0 3,353 09/01/2021, 01:57 AM
Last Post: JmsNxn
  Half-iterates and periodic stuff , my mod method [2019] tommy1729 0 5,184 09/09/2019, 10:55 PM
Last Post: tommy1729
  Approximation to half-iterate by high indexed natural iterates (base on ShlThrb) Gottfried 1 7,647 09/09/2019, 10:50 PM
Last Post: tommy1729
  Between exp^[h] and elementary growth tommy1729 0 5,235 09/04/2017, 11:12 PM
Last Post: tommy1729
  Does tetration take the right half plane to itself? JmsNxn 7 24,142 05/16/2017, 08:46 PM
Last Post: JmsNxn
  Half-iteration of x^(n^2) + 1 tommy1729 3 14,208 03/09/2017, 10:02 PM
Last Post: Xorter
  Uniqueness of half-iterate of exp(x) ? tommy1729 14 53,513 01/09/2017, 02:41 AM
Last Post: Gottfried
  Taylor polynomial. System of equations for the coefficients. marraco 17 52,696 08/23/2016, 11:25 AM
Last Post: Gottfried



Users browsing this thread: 1 Guest(s)