Movatterモバイル変換

Sommation symbolique

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

Enmathématiques, et plus particulièrement encalcul formel, lasommation 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 deprimitives. Il s'agit de calculer en fonction d'un paramètre $n {\displaystyle n}$ des sommes comme

\sum _{k=1}^{n}k={\frac {n(n+1)}{2}}

où le domaine de sommation dépend de $n {\displaystyle n}$ .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

\sum _{k=1}^{\infty }{\frac {1}{k^{2}}}={\frac {\pi ^{2}}{6}}

Une somme comme $\sum _{k=0}^{n}{\binom {n}{k}}$ est aussi considérée comme une somme définie, dans la mesure où elle peut se réécrire

\sum _{k=0}^{n}{\binom {n}{k}}=\sum _{k=0}^{\infty }{\binom {n}{k}}=2^{n}

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

Voir aussi

[modifier |modifier le code]

Sur les autres projets Wikimedia :

Sommation,surWikiversity

Références

[modifier |modifier le code]

MarkoPetkovšek, HerbertWilf et DoronZeilberger,A=B,A K Peters/CRC Press,1996, 224 p.(ISBN 978-1568810638,lire en ligne)

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Sommation_symbolique&oldid=205143703 ».

Catégories :

Catégories cachées :

[8]ページ先頭