Maple 9.5/10 в математике, физике и образовании
вернуться

Дьяконов Владимир Павлович
Шрифт:

4.1.5. Двойные суммы

Могут встречаться множественные суммы по типу «сумма в сумме». Ограничимся приведением примера двойной суммы, имеющей аналитическое значение (файл sum):

> Sum(Sum(k^2, k = 1..m), m = 1..N); factor(simplify(value(%)));

При конкретном значении N такую сумму нетрудно вычислить подстановкой:

> subs(N = 100, %);

8670850

Как видно из приведенных примеров, средства вычисления сумм последовательностей Maple 9.5/10 позволяют получать как численные, так и аналитические значения сумм, в том числе представляемые специальными математическими функциями.

4.1.6. Пакет вычисления специальных сумм sumtools

Возможности вычисления специальных сумм существенно расширяются при использовании инструментального пакета вычисления специальных сумм sumtools. При его вызове выводится список функций пакета:

> with(sumtools);

[Hypersum, Sumtohyper, extended_gosper, gosper, hyperrecursion, hypersum, hyperterm, simpcomb, sumrecursion, sumtohyper]

Назначение функций данного пакета перечислено ниже:

hypersum(U, L, z, n) и Hypersum(U, L, z, n) — вычисление гиперсумм;

sumtohyper(f, k) и Sumtohyper(f, k) — преобразование сумм в гиперсуммы;

extended_gosper(f, k), extended_gosper(f, k=m..n) и extended_gosper(f, k, j) — реализация расширенного алгоритма Госпера;

gosper(f, k) и gosper(f, k=m..n) — реализация алгоритма Госпера;

hyperrecursion(U, L, z, s(n)) — реализация гиперрекурсионного алгоритма;

hyperterm(U, L, z, k) и Hyperterm(U, L, z, k) — ввод гипергеометрического терма.

4.1.7. Примеры вычисления специальных сумм

Приведем примеры на вычисление специальных сумм с помощью функций пакета sumtools (файл sumtools):

> extended_gosper(k*(k/2)!, k);

> extended_gosper(k*(k/2)!,k,2);

> extendedgosper(k*(k/2)!,k=1..n);

> gosper(k*(k/2)!,k);

FAIL

> gosper(pochhammer(k,n),k);

> hyperrecursion([-n,a],[b],1,f(n));

(-n + a = b + 1)f(n - 1) + (n + b - 1)f(w)

> Hypersum([a,1+a/2,b,c,d,1+2*a-b-c-d+n, -n],

[a/2,1+a-b,1+a-c,1+a-d,1+a-(1+2*a-b-c-d+n),1+a+n],1,n);

Hyperterm([1, 1+a, a-d-c+1, a+1-d-b, a-с+1-b], [1+a-d, 1+a-c, 1+a-b, a-b-c-d+1, 1, n])

> simpcomb(binomial(n,k));

> sumrecursion(binomial(n,k)^3,k, f(n));

– 8(n - 1)²f(n - 2) - (7n² - 7n + 2)f(n - 1) + f(n)n²

> hyperterm([a,b], [c],z,k);

Из этих примеров применение функций данного пакета достаточно очевидно.

4.2. Вычисление произведений членов последовательностей

4.2.1. Основные функции для произведения членов последовательностей

Аналогичным образом для произведений членов f(i) некоторой последовательности, например вида

используются следующие функции:

product(f, k);

product(f, k=m..n);

product(f, k=alpha);

Product(f, k);

Product(f, k=m..n);

Product(f, k=alpha).

Обозначения параметров этих функций и их назначение соответствуют приведенным для функций вычисления сумм. Это относится, в частности, и к применению одиночных кавычек для f и k.

4.2.2. Примеры вычисления произведений членов последовательностей

Примеры применения функций вычисления произведений даны ниже (файл product):

> restart;

> Product(k^2,k=1..5)=product(k^2, k=1..5);

> Product(k^2, k)=product(k^2,k)

> product(а[k],k=1..5);

a1 а2 а3 а4 a5