[seqfan] Should this be a rejection?

Brad Klee bradklee at gmail.com
Tue Jul 10 00:58:39 CEST 2018


NAME:
a(n) = Integral_{z=0..2*Pi}(1+2*cos(z)+4*Sin(z)^2+8*cos(z)*sin(z)^2)^n*dz.

DATA:
1, 3, 21, 135, 941, 6723, 49089, 363541, 2720797, 20525463, 155812101 . . .

COMMENTS:
The a(n) can at least be evaluated in terms of a binomial quadruple sum.
Zeilberger's algorithm does not readily apply; however, we may yet derive
a linear recurrence with polynomial coefficients from a Picard-Fuchs
type differential equation (Cf. formula).

FORMULA:
a(n)=Sum_{j=0..floor(n/2);k=0..2*j,l=0..n-2*j,m=0..j}
    binomial(n,2*j)*binomial(2*j,k)*binomial(n-2*j,l)
     *binomial(j,m)*binomial(2*(l+k+m),(l+k+m))*4^(j-m)*(-1)^m

Picard-Fuchs coefficients for generating function G(X).
c_{i,j}*x^j*d^i/dx^i; i=0..3, j=0..9 :
{{234, 14994, -136206, 2350578, 10556112, 16345728, 57922560, 0, 0, 0},
 {-78, 5688, -168168, -255912, 12144390, 24960432, 106614144, 173767680, 0,
0},
 {0, -702, 29439, -472101, -934233, 2111541, 9527784, 82095552, 86883840,
0},
 {0, 0, -351, 18974, -119350, 89550, -1663255, 775208, 12320448, 9653760}}

Coefficients of a recurrence zero sum for a(n).
c_{i,j}*n^j*a(n-i); i=0..4, j=0..6 :
{{0, -277014, 1738203, -3740133, 3529215, -1497015, 231660},
 {-1102200, 9606644, -30797857, 47082120, -36509105, 13739050, -1973400},
 {200760, -542338, -3026838, 8809121, -8157510, 3137225, -420420},
 {14394240, -108248064, 291844576, -374777152, 246556880, -79791920,
10021440},
 {14480640, -106899840, 283472640, -355266240, 225676800, -69700800,
8236800}}

Effectively this proposal is being rejected by submission limit sanctioning.

Cheers,

Brad



More information about the SeqFan mailing list