OFFSET
0,2
COMMENTS
Perfect square values for discriminants are used to classify the Galois group of a polynomial. The O+ discriminant component is sqrt(6*(x^2-3*x+6)) (used to generate these values) and for the O- discriminant sqrt(6*(x^2+3*x+6)).
This sequence is the negative of the O+ sequence. Also, note that if 3*a(n) represents the positive terms, the negative terms are generated from 3 - 3*a(n).
For the O- sequence, reverse the O+ sequence and change all of the signs to generate ..., -446688, -45126, -18963, -4560, -1917, -462, -195, -48, -21, -6, -3, 0, 3, 18, 45, 192, 459, 1914, 4557, 18960, 45123, 187698, 446685.
Note that the difference equation a(n) generates the above sequence divided by 3 or ..., -148895, -62566, -15041, -6320, -1519, -638, -153, -64, -15, -6, -1, 0, 1, 2, 7, 16, 65, 154, 639, 1520, 6321, 15042, 148896, ...
This sequence, its reverse, and the division-by-3 form all appear to be new.
REFERENCES
Mohammad K. Azarian, On the Hyperfactorial Function, Hypertriangular Function, and the Discriminants of Certain Polynomials, International Journal of Pure and Applied Mathematics, Vol. 36, No. 2, 2007, pp. 251-257. Mathematical Reviews, MR2312537. Zentralblatt MATH, Zbl 1133.11012.
The physics reference is G. W. King, "The Asymmetric Rotor I. Calculation and Symmetry Classification of Energy Levels", Journal of Chemical Physics, Jan 1943, Volume 11, pp. 27-42.
FORMULA
The difference equation is a(n) = 11*(a(n-2) - a(n-4)) + a(n-6) with a(0)=0, a(1)=1, a(2)=2, a(3)=7, a(4)=16, a(5)=65. The solution is a(n) = 1/2 - (1/12)*(3+2*sqrt(6))*(5-2*sqrt(6))^(n/2) + (1/12)*(-3+2*sqrt(6))*(5+2*sqrt(6))^(n/2) for even n, a(n) = 1/2 - (1/12)*(3*sqrt(2) + sqrt(3))*(5-2*sqrt(6))^(n/2) + (1/12)*(3*sqrt(2) - sqrt(3))*(5+2*sqrt(6))^(n/2) for odd n. Multiply the resultant sequence by 3 to generate the present sequence.
G.f.: 3 * (x + x^2 - 5*x^3 - x^4) / (1 - x - 10*x^2 + 10*x^3 + x^4 - x^5). - Michael Somos, Apr 05 2008
EXAMPLE
G.f. = 3*x + 6*x^2 + 21*x^3 + 48*x^4 + 195*x^5 + 462*x^6 + 1917*x^7 + ...
MATHEMATICA
Do[If[IntegerQ[Sqrt[6 (6 - 3 x + x^2)]], Print[{x, Sqrt[6 (6 - 3 x + x^2)]}]], {x, -1000, 1000}]; Do[If[IntegerQ[Sqrt[6 (6 + 3 x + x^2)]], Print[{x, Sqrt[6 (6 + 3 x + x^2)]}]], {x, -1000, 1000}];
PROG
(PARI) {a(n) = my(m); m = if( n<0, m = 1-n, n); 3*(n<0) + 3*(-1)^(n<0) * polcoeff( (x + x^2 - 5*x^3 - x^4) / ((1 - x) * (1 - 10*x^2 + x^4)) + x*O(x^m), m)}; /* Michael Somos, Apr 05 2008 */
CROSSREFS
KEYWORD
nonn,uned
AUTHOR
Lorenz H. Menke, Jr., Mar 27 2008
EXTENSIONS
I rather feel that this should be broken up into two sequences, one each for the positive and negative terms, both starting at 0. - N. J. A. Sloane, Apr 04 2008
More terms from Michael Somos, Apr 05 2008
STATUS
approved