série paresseuse

Imaginez une longue liste de coefficients, rangée par puissances de x. Si un calcul ne demande que les quatre premiers, il est inutile de remplir toute la liste : on écrit les coefficients utiles et on garde la suite en réserve. Cette représentation partielle est une série paresseuse. Elle ne prétend pas connaître explicitement chaque terme ; elle retarde le calcul jusqu'au moment où un coefficient devient nécessaire.

Le mot « paresseuse » décrit donc une stratégie de calcul, pas une série moins exacte. Pour obtenir le degré 3 d'un résultat, on ne produit que les coefficients jusqu'à ce degré, puis on s'arrête.

Une série formelle est une expression ordonnée par puissances d'une indéterminée x, par exemple $a_0+a_{1}x+a_2{x}^2+\cdots a\_0+a\_1x+a\_2x^2+\backslash cdots$. Les coefficients a₀, a₁, a₂ appartiennent à un ensemble de coefficients fixé par le calcul. Dans une série paresseuse, cette expression est traitée comme une représentation à développer à la demande : les coefficients dont le calcul n'a pas besoin restent implicites.

Pour des séries formelles ordinaires en puissances non négatives, et pour les additions et produits considérés ici, viser le coefficient de degré n permet de ne conserver que les termes de degré au plus n dans les opérations qui précèdent. Les additions se font coefficient par coefficient ; les produits utilisent seulement les combinaisons de degrés dont la somme ne dépasse pas n. Cette règle rend la représentation partielle exploitable en calcul formel, notamment pour des développements et des manipulations algébriques.

La série paresseuse se distingue d'une série développée jusqu'à une longueur donnée : la première décrit un calcul différé, tandis que la seconde énumère effectivement ses termes connus. Ici, « implicite » ne signifie pas « égal à zéro » ; cela signifie que le coefficient n'a pas encore été calculé ou affiché.

Une série paresseuse repose sur cinq éléments. L'indéterminée x repère les degrés. Le coefficient a_k porte la valeur attachée au degré k. Le degré cible indique jusqu'où le calcul doit aller. La règle d'opération, comme l'addition ou le produit, détermine les coefficients nécessaires. Enfin, le mécanisme d'évaluation différée ne calcule un coefficient qu'au moment où une demande le requiert.

Le degré cible commande la profondeur de la représentation : pour le degré 3, les termes de degrés 0, 1, 2 et 3 suffisent. Dans un produit, le coefficient de degré demandé dépend de toutes les paires de coefficients d'entrée dont les degrés ont une somme égale à ce degré. Ces données suffisent à construire le tronçon calculé d'une série et à laisser le reste non développé, sans le confondre avec une suite de zéros.

On cherche seulement les termes jusqu'au degré 3 de l'inverse formel de 1 − x. Les données sont : l'indéterminée x, le polynôme 1 − x, le terme constant 1 et le degré cible 3.

1. On pose le premier coefficient égal à 1, car le terme constant de l'inverse doit multiplier 1 en redonnant 1.
2. L'annulation du coefficient de degré 1 impose le coefficient 1 devant x.
3. La même annulation impose ensuite 1 devant x², puis 1 devant x³.
4. Le tronçon demandé est donc $1+x+x^2+x^{3}1+x+x^2+x^3$.

Le calcul s'arrête au degré 3 : les coefficients de degrés supérieurs restent implicites. Le contrôle est direct, car $(1-x)(1+x+x^2+x^3)=1-x^4(1-x)(1+x+x^2+x^3)=1-x^4$ ; jusqu'au degré 3, le produit vaut bien 1.

Dans un calcul formel, la série paresseuse convient lorsqu'une étape ne demande qu'un nombre limité de coefficients. Le geste consiste à annoncer le degré cible, puis à propager uniquement les termes nécessaires dans chaque opération.

Pour une démonstration, cette représentation permet de vérifier un coefficient particulier sans développer toute la série. Une série explicitement tronquée reste préférable si le lecteur doit consulter tous les coefficients déjà calculés.

En algèbre, la bonne pratique consiste à conserver la demande de degré avec le calcul. Elle permet de distinguer ce qui a été établi de ce qui n'a simplement pas encore été demandé.

Une série paresseuse n'est pas une série tronquée. Une troncature affiche volontairement un nombre fini de termes et abandonne le reste pour l'approximation ou la présentation. Dans le cadre décrit ici, une série paresseuse associe à la représentation une règle de génération ou un évaluateur différé : le reste n'est pas encore calculé, mais peut être produit lorsqu'une demande le requiert. Cette possibilité vient de la stratégie de représentation adoptée ; elle ne caractérise pas universellement toute représentation partielle.

Elle ne se confond pas non plus avec une série dont les coefficients inconnus valent zéro. Un coefficient non calculé n'a pas reçu cette valeur ; lui attribuer zéro changerait l'objet manipulé.

Le degré cible est une limite de calcul, pas une propriété universelle de la série. Si l'on demande le degré 3, les degrés 0 à 3 doivent être déterminés, mais le degré 4 n'est pas disponible par défaut. Le symptôme d'une lecture abusive est de présenter le tronçon obtenu comme la série entière ; il faut préciser la borne de développement.

Un autre piège consiste à oublier une dépendance. Dans un produit, le coefficient de degré 3 dépend de toutes les paires de degrés dont la somme vaut 3. Si l'un de ces coefficients manque, le calcul ne peut pas être déclaré terminé ; il faut le produire ou arrêter l'évaluation.

Enfin, le cadre formel ne garantit pas à lui seul une convergence numérique. Pour interpréter la série comme le développement d'une fonction, il faut vérifier séparément les hypothèses d'analyse du problème considéré.

Le principe se prolonge aux calculs où la demande porte sur une précision finie : une addition ou un produit peut être organisé pour ne produire que le nombre de coefficients utile. Une composition f(g(x)) peut aussi être traitée ainsi lorsque g(0)=0 et que les hypothèses usuelles des séries formelles sont réunies ; dans ce cas, le coefficient de degré n ne dépend que d'un nombre fini de coefficients pertinents. Sans cette condition, une composition peut faire intervenir une infinité de coefficients de f. Cette idée relie la représentation paresseuse à l'évaluation à la demande en calcul formel, tout en exigeant de suivre explicitement les dépendances entre degrés.