Monday, 19 February 2007

special functions - Relation between full elliptic integrals of the first and third kind

I am working on a calculation involving the Ronkin function of a hyperplane in 3-space.
I get a horrible matrix with full elliptic integrals as entries. A priori I know that the matrix is symmetrical and that give me a relation between full elliptic integrals of the first and third kind.
I can not find transformations in the literature that explain the relation and I think I need one in order to simplify my matrix.



The relation



With the notation



operatornameK(k)=intfracpi20fracdvarphisqrt1k2sin2varphi,
qquad Pi(alpha2,k)=intfracpi20fracdvarphi(1alpha2sin2varphi)sqrt1k2sin2varphi



k2=frac(1+a+bc)(1+ab+c)(1a+b+c)(1+a+b+c)16abc,quada,b,c>0



the following is true:



2frac(1+a+bc)(1ab+c)(ab)(ac)(bc)operatornameK(k)+



(1ab+c)(1+abc)Pileft(frac(1+ab+c)(1+a+b+c)4ac,kright)+



frac(a+c)(1+b)(1ab+c)(1a+b+c)(ac)(1+b)Pileft(frac(1+ab+c)(1+a+b+c)(ac)24ac(1b)2,kright)+



(1ab+c)(1+a+b+c)Pileft(frac(1a+b+c)(1+a+b+c)4ac,kright)+



frac(1+a)(b+c)(1a+b+c)(1+a+bc)(1a)(cb)Pileft(frac(1a+b+c)(1+a+b+c)(bc)24ac(1a)2,kright)



==0.



Is there some addition formula or transformation between elliptic integrals of the first and third kind that will explain this?

No comments:

Post a Comment