Let rk(n) denote the number of representations of an integer n as a sum of k squares. We prove that for odd primes p,r11( p2)=330/31(p9+1)−22(−1)(p−1)/2p4+352/31H(p),where H(p) is the coefficient of qp in the expansion ofq∏j=1(1−(−q)j)16(1−q2j)4+32q2∏j=1(1−q2j)28/(1−(−q)j)8.This result, together with the theory of modular forms of half integer weight is used to prove thatr11(n)=r11(n′)29⌊λ/2⌋+9−1/29−1∏pp9⌊λp/2⌋+9−1/p9−1−p4−n′/pp9⌊λp/2⌋−1/p9−1,where n=2λ∏ppλp is the prime factorisation of n, n′ is the square-free part of n, and n′ is of the form 8k+7. The products here are taken over the odd primes p, and (n/p) is the Legendre symbol.
We also prove that for odd primes p,r13(p2)=4030/691(p11+1)−26p5+13936/691 ( p9+1)−22(−1)( p−1)/2p4+352/31H(p),where H(p) is the coefficient of qp in the expansion ofq∏j=1(1−(−q)j)16(1−q2j)4+32q2∏j=1(1−q2j)28/(1−(−q)j)8.This result, together with the theory of modular forms of half integer weight is used to prove thatr11(n)=r11(n′)29⌊λ/2⌋+9−1/29−1∏pp9⌊λp/2⌋+9−1/p9−1−p4−n′/pp9⌊λp/2⌋−1/p9−1,where n=2λ∏ppλp is the prime factorisation of n, n′ is the square-free part of n, and n′ is of the form 8k+7. The products here are taken over the odd primes p, and (n/p) is the Legendre symbol.
We also prove that for odd primes p,r13(p2)=4030/691(p11+1)−26p5+13936/691 H( p),where H( p) is the coefficient of qp in the expansion ofq ∏lower limit j=1, upper limit ∞ (1−(−q) j)16(1−q2j)4+32q2 ∏lower limit j=1, upper limit ∞ (1−q2j)28/(1−(−q)j)8.This result, together with the theory of modular forms of half integer weight is used to prove thatr11(n)=r11(n′)29⌊λ/2⌋+9−1/29−1∏pp9⌊λp/2⌋+9−1/p9−1−p4−n′/pp9⌊λp/2⌋−1/p9−1,where n=2λ∏ppλp is the prime factorisation of n, n′ is the square-free part of n, and n′ is of the form 8k+7. The products here are taken over the odd primes p, and (n/p) is the Legendre symbol.
We also prove that for odd primes p,r13(p2)=4030/691(p11+1)−26p5+13936/691.This result, together with the theory of modular forms of half integer weight is used to prove thatr11(n)=r11(n′)29⌊λ/2⌋+9−1/29−1∏pp9⌊λp/2⌋+9−1/p9−1−p4−n′/pp9⌊λp/2⌋−1/p9−1,where n=2λ∏ppλp is the prime factorisation of n, n′ is the square-free part of n, and n′ is of the form 8k+7. The products here are taken over the odd primes p, and (n/p) is the Legendre symbol.
We also prove that for odd primes p,r13(p2)=4030/691(p11+1)−26p5+13936/691 ∏lower limit p p9⌊λp/2⌋+9−1/p9−1−p4−n′/pp9⌊λp/2⌋−1/p9−1,where n=2λ∏ppλp is the prime factorisation of n, n′ is the square-free part of n, and n′ is of the form 8k+7. The products here are taken over the odd primes p, and (n/p) is the Legendre symbol.
We also prove that for odd primes p,r13(p2)=4030/691(p11+1)−26p5+13936/691−p4−n′/pp9⌊λp/2⌋−1/p9−1,where n=2λ∏ppλp is the prime factorisation of n, n′ is the square-free part of n, and n′ is of the form 8k+7. The products here are taken over the odd primes p, and (n/p) is the Legendre symbol.
We also prove that for odd primes p,r13(p2)=4030/691(p11+1)−26p5+13936/691p9⌊λp/2⌋−1/p9−1,where n=2λ∏ppλp is the prime factorisation of n, n′ is the square-free part of n, and n′ is of the form 8k+7. The products here are taken over the odd primes p, and (n/p) is the Legendre symbol.
We also prove that for odd primes p,r13(p2)=4030/691(p11+1)−26p5+13936/691,where n=2λ ∏lower limit p pλp is the prime factorisation of n, n′ is the square-free part of n, and n′ is of the form 8k+7. The products here are taken over the odd primes p, and (n/p) is the Legendre symbol.
We also prove that for odd primes p,r13(p2)=4030/691(p11+1)−26p5+13936/691) is the Legendre symbol.We also prove that for odd primes p,r13( p2)=4030/691(p11+1)−26p5+13936/691( p11+1)−26p5+13936/691 τ( p),where τ(n) is Ramanujan''s τ function, defined by q ∏lower limit j=1, upper limit ∞ (1−q j)24=∑lower limit n=1, upper limit ∞ τ(n)qn. A conjectured formula for r2k+1( p2) is given, for general k and general odd primes p. [Copyright &y& Elsevier]