Aller au contenu

Sommation symbolique

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, et plus particulièrement en calcul formel, la sommation symbolique consiste à calculer la somme d'une suite finie ou d'une série, en général sous forme d'une formule ne faisant plus apparaître de signe somme. Un autre volet du problème est de déterminer qu'une somme donnée n'admet pas d'expression dans une certaine classe de formules.

Description

[modifier | modifier le code]

On distingue deux grandes catégories de problèmes de sommation symbolique : la sommation définie et la sommation indéfinie. La sommation indéfinie est l'analogue discret du calcul de primitives. Il s'agit de calculer en fonction d'un paramètre  des sommes comme

où le domaine de sommation dépend de . La sommation définie correspond quant à elle au calcul d'intégrales (définies). Elle consiste à calculer la somme d'une expression (qui peut dépendre d'un ou plusieurs paramètres) sur un ensemble d'indices fixé, fini ou infini, comme dans

.

Une somme comme est aussi considérée comme une somme définie, dans la mesure où elle peut se réécrire

.

Parmi les algorithmes classiques de sommation symbolique, on peut citer l'algorithme de Gosper (en) et l'algorithme de Wilf-Zeilberger, dédiés respectivement aux sommes hypergéométriques indéfinies et définies.

Sur les autres projets Wikimedia :

Références

[modifier | modifier le code]