[seqfan] Re: Zeros in A172390 and A172391

Joerg Arndt arndt at jjj.de
Mon Mar 22 20:39:27 CET 2010


Marvelous seqs!


* Paul D Hanna <pauldhanna at juno.com> [Mar 22. 2010 19:01]:
> Seqfans, 
>       Is it known/trivial that: 
> (5) [x^(4n+2)] EllipticK(4x)^(-4n) = 0 for n>=1. 
>  

? n=3;  \\ any old n \in N
? v=Vec(hypergeom([1/2,1/2],[1],(4*x)^2,N)^(-4*n))
 [1, 0, -48, 0, 816, 0, -5632, 0, 12336, 0, -768, 0,
  4096, 0, 0, 0, -196560, 0, -3144960, 0, -40884480, 0, -503193600, ...]
? v[4*n+2 +1]  \\ ==0 (note offset 1)
 0

Interesting.  I don't think this is known.
I'll think more about this.


> This statement (5) is equivalent to (4) given in prior email. 
>  
> If (5) is true, it would imply that   A172390(2n+1) = 0  for n>=1. 

I do not see this equivalence, is it easy to point out?

IMHO a comment in the seq should mention that
G(x)==hypergeom([1/2,1/2],[1],16*x,N)
== ellipticK(4*x) (mod that factor Pi/2)

>  
> Thanks, 
>      Paul 
> ---------- Original Message ----------
> From: "Paul D Hanna" <pauldhanna at juno.com>
> To: seqfan at list.seqfan.eu
> Subject: [seqfan]  Zeros in A172390 and A172391
> Date: Sat, 20 Mar 2010 16:29:42 GMT
> 
> SeqFans, 
>     Sequences A172390 and A172391 record 2 surprising observations. 
> Is there any reason why the following statements should be true? 
> (1)  A172390(2n+1) = 0  for n>=1; 
> (2)  A172391(2n+1) = 0  for n>=1. 
>  
> Here is a fact that may be a big clue for (1):  
> (3)  Sum_{n>=0} C(2n,n)^2*x^n  =  1/AGM(1, (1-16x)^(1/2) )
> where AGM is the arithmetic-geometric mean. 
>  
> Statement (3) makes (1) equivalent to: 
> (4)  [x^(2n+1)] AGM(1, (1-16x)^(1/2) )^(4n)  = 0 for n>=1. 
> 
> Can someone show that this (4) is true? 
> [...]
> 
> _______________________________________________
> 
> Seqfan Mailing list - http://list.seqfan.eu/




More information about the SeqFan mailing list