1,5

G. Shimura, Introduction to the Arithmetic Theory of Automorphic Functions, Princeton, 1971, see p. 25, Eq. (2) (but without the restriction that a(4k) = 0).

Here we use the definition that Legendre(-1, 2) = 0, Legendre(-1, p) = 1 if p == 1 mod 4, = -1 if p == 3 mod 4. This is Shimura's definition, which is different from Maple's.

Moebius transform is period 36 sequence [ 1, 0, -1, 0, 1, 0, -1, 0, 0, 0, -1, 0, 1, 0, -1, 0, 1, 0, -1, 0, 1, 0, -1, 0, 1, 0, 0, 0, 1, 0, -1, 0, 1, 0, -1, 0, ...]. - Michael Somos Apr 19 2007

Expansion of (phi(q)^2 -phi(q^9)^2)/4 in powers of q where phi() is a Ramanujan theta function.

a(n) is multiplicative with a(2^e) = 1, a(3^e) = 0^e, a(p^e) = (1+(-1)^e)/2 if p == 3 (mod 4), a(p^e) = e+1 if p == 1 (mod 4).

a(2n)= a(n). a(3n)= a(4n+3)= 0.

with(numtheory): A091400 := proc(n) local i, t1, t2; t1 := ifactors(n)[2]; t2 := 1; for i from 1 to nops(t1) do if t1[i][1] > 2 then t2 := t2*(1+legendre(-1, t1[i][1])); fi; od: t2; end;

(PARI) {a(n)= if(n<1, 0, abs( sumdiv(n, d, kronecker(12, d)* kronecker(-3, n/d)) ))} /* Michael Somos Apr 19 2007 */

Cf. A091379.

A122865(n)= a(3n+1). A122856(n)= a(3n+2). |A129448(n)|= a(n).

Sequence in context: A092303 A063725 A084888 this_sequence A129448 A123759 A072453

Adjacent sequences: A091397 A091398 A091399 this_sequence A091401 A091402 A091403

nonn,mult

N. J. A. Sloane (njas(AT)research.att.com), Mar 02 2004