Ошибка в суммировании

Форум пользователей пакета Maple

Модератор: Admin

Markiyan Hirnyk
Сообщения: 1366
Зарегистрирован: Вс дек 04, 2011 11:07 pm

Ошибка в суммировании

Сообщение Markiyan Hirnyk » Пн дек 09, 2019 8:29 pm

Если я не ошибся, то

Код: Выделить всё

restart;s:=sum((n + a)*binomial(2*a, -n)^4, n = -2*a .. infinity) assuming a::real, a::Not(integer);
Sum(-1/4*(1+_z2)^2*(120*_z2^5+266*_z2^4+230*_z2^3+99*_z2^2+22*_z2+2)/(4*_z2+3)/
(4*_z2+1)/_z2^4*binomial(2*_z2,1+_z2)^4/binomial(4*_z2,2*_z2),_z2 = 0 .. a-1)*
binomial(4*a,2*a)+Sum(1/4*(1+_z2)^2*(120*_z2^5+266*_z2^4+230*_z2^3+99*_z2^2+22*
_z2+2)/(4*_z2+3)/(4*_z2+1)/_z2^4*binomial(2*_z2,1+_z2)^4/binomial(4*_z2,2*_z2),
_z2 = 0 .. a-1)*binomial(4*a,2*a)

, т.е. 0. Результат не согласуется с подсчетом:

Код: Выделить всё

value(eval(s, a = 1/8));
                               0
evalf(sum((n + 1/8)*binomial(2*1/8, -n)^4, n = -2*1/8 .. infinity));
                          0.1250000000
Привожу это не в порядке критики Мэйпла (ряд сложный и зависит от параметра), а в надежде помочь разработчикам.