Thread Rating:
• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Hyperzeta function Balarka Sen Junior Fellow Posts: 25 Threads: 7 Joined: Feb 2013 03/11/2013, 11:38 AM (This post was last modified: 03/12/2013, 05:51 AM by Balarka Sen.) I invented a function, somewhat similar to that of the Riemann zeta, but replacing the reciprocal of powers by superexponentiation. Namely, $\mathfrak{H}(z) = \sum_{n=1}^{\infty} \frac{1}{{}^z n}$ where by definition ${}^z 1 = 1$ This seems to diverge for z < 1. I tried many methods of analytically continue it in the complex plane analogues to zeta but none of them seems to be that useful. But Cohen-Villegas-Zagier's acceleration (CVZ) method seems to be converging it in a unique way. But I haven't dared to prove whether CVZ gives the right or even an analytic continuation. There are many interesting properties I found under CVZ like : H^[m](z) seems to be converging towards either -7.0744329865020 + i39.959874355410 or -7.0744329865020 - i39.959874355410. If we denote these values by z1 and z2, it seems that H(z1) = z2. And also, interestingly, z1 = z2* ! These are surely not fixed points but what are they? I've also posted this in a forum : http://www.mymathforum.com/viewtopic.php?f=15&t=38901 I've added a little details there so please read it. (I am too lazy to include those detailed informations here right now) Any comments and graphs would be appreciated, Balarka . Gottfried Ultimate Fellow Posts: 767 Threads: 119 Joined: Aug 2007 03/11/2013, 03:16 PM (03/11/2013, 11:38 AM)Balarka Sen Wrote: I invented a function, somewhat similar to that of the Riemann zeta, but replacing the reciprocal of powers by superexponentiation. Namely, $\mathfrak{H}(z) = \sum_{n=1}^{\infty} \frac{1}{{}^z n}$ where by definition ${}^z 1 = 1$ (...) I've also posted this in a forum : http://www.mymathforum.com/viewtopic.php?f=15&t=38901 Hi Balarka, I've looked at your computation of H(3), where your method seems to work incorrect. Look at the first five summands only, we get Code:vectorv(5,k,1/k^k^k)*1.0 %977 = [1.00000000000, 0.0625000000000, 1.31137265240 E-13, 7.45834073120 E-155, 5.23282787918 E-2185]~and its pretty obvious, that the sum is near 1.0625000.. instead of your 1.0625508... value Gottfried Gottfried Helms, Kassel Balarka Sen Junior Fellow Posts: 25 Threads: 7 Joined: Feb 2013 03/11/2013, 06:32 PM Gottfried Helms Wrote:I've looked at your computation of H(3), where your method seems to work incorrect. Oops, sorry. I computed the sum with the integrand 1/(n^n)^n instead of 1/n^(n^n); interesting that they are a very good approximation to each other, can this be a coincidence? PS : I have edited my post on MMF (My Math Forum) Balarka Sen Junior Fellow Posts: 25 Threads: 7 Joined: Feb 2013 03/12/2013, 07:41 PM Nobody's interested? I thought it worthed a great amount of attention . . . tommy1729 Ultimate Fellow Posts: 1,372 Threads: 336 Joined: Feb 2009 03/12/2013, 11:57 PM Im not sure if this function is analytic. Im not an expert for CVZ ; I do not know what it does for nonanalytic functions ? Why is this function special ? It looks nice but Im not sure about having properties ... Some intrest though regards tommy1729 Balarka Sen Junior Fellow Posts: 25 Threads: 7 Joined: Feb 2013 03/15/2013, 09:42 AM (This post was last modified: 03/15/2013, 09:46 AM by Balarka Sen.) tommy1729 Wrote:Why is this function special ? It looks nice but Im not sure about having properties ... I can't answer any of these unless I have a strong base. As in my post in MyMathForum that I linked to, it has zeros at the negative integers and got 2 poles at z =1 and z = -1, respectively. The most interesting behavior I found is that the H(z) = H(z*)* where '*' denotes the conjugate. However I can't ensure any of these unless I get a good, well-formed analytic continuation. I request everyone here interested in this to help me at this issue. CVZ certainly isn't a bad idea but I still need to verify it. The thing in which I am most interested is if H(z) has any non trivial zeros on the complex plane. Thank You For Your Time, Balarka . tommy1729 Ultimate Fellow Posts: 1,372 Threads: 336 Joined: Feb 2009 03/16/2013, 12:18 AM (03/15/2013, 09:42 AM)Balarka Sen Wrote: tommy1729 Wrote:Why is this function special ? It looks nice but Im not sure about having properties ... The most interesting behavior I found is that the H(z) = H(z*)* where '*' denotes the conjugate. However I can't ensure any of these unless I get a good, well-formed analytic continuation. The conjugate thing is just as i would expect. It holds for each term and hence also for its sum. I repeat ; im not sure if this function is analytic. regards tommy1729 Balarka Sen Junior Fellow Posts: 25 Threads: 7 Joined: Feb 2013 05/08/2013, 01:36 PM tommy1729 Wrote:im not sure if this function is analytic. I have no idea how to show that. The function is infinitely differentiable on the region Re(z) > 1 but showing that the taylor series converges exactly to that function on the domain of interest could be a hard thing to prove. It seems computationally right though, since I have constructed the taylor series at z = 2 with 5 terms which seems to be working good around the neighborhood of z = 2. BTW, as a matter of fact, I found a zero of the function which is situated at (approximately) z = 1.295 + i * 0.522. Interestingly enough, the zero is at Re(z) > 1 implying that it is computable by hand without even accelerating it. Here is the method I used compute the hyperzeta function at different points : Code:\r kneserquiet.gp tet(x, y) = init(x); sexp(y) H(n, z) = 1 + sum(k = 2, n, 1/tet(k, z)) You could use 1 + sumalt(k = 2, 1/tet(k, z)) to compute the value faster (it takes approximately 12 minutes) although one shouldn't trust the value at Re(z) < 1 since it analytically continues the function at that region. « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post New mathematical object - hyperanalytic function arybnikov 4 1,517 01/02/2020, 01:38 AM Last Post: arybnikov Is there a function space for tetration? Chenjesu 0 793 06/23/2019, 08:24 PM Last Post: Chenjesu Degamma function Xorter 0 1,241 10/22/2018, 11:29 AM Last Post: Xorter Should tetration be a multivalued function? marraco 17 19,897 01/14/2016, 04:24 AM Last Post: marraco Introducing new special function : Lambert_t(z,r) tommy1729 2 4,285 01/10/2016, 06:14 PM Last Post: tommy1729 Tommy-Mandelbrot function tommy1729 0 2,287 04/21/2015, 01:02 PM Last Post: tommy1729 The inverse gamma function. tommy1729 3 8,534 05/13/2014, 02:18 PM Last Post: JmsNxn entire function close to sexp ?? tommy1729 8 10,964 04/30/2014, 03:49 PM Last Post: JmsNxn Problem with infinite product of a function: exp(x) = x * f(x)*f(f(x))*... Gottfried 5 7,955 07/17/2013, 09:46 AM Last Post: Gottfried Proof Ackermann function extended to reals cannot be commutative/associative JmsNxn 1 3,455 06/15/2013, 08:02 PM Last Post: MphLee

Users browsing this thread: 1 Guest(s)