Calcul formel : Mode d'emploi - Exemples en Maple

Claude Gomez, Bruno Salvy, Paul Zimmermann

Masson, 1995

Chapitre IX, section 3.3, exercice 9, page 254.

Philippe.Dumas@inria.fr
http://algo.inria.fr/dumas/Maple/

Page du Projet Algorithmes | Page de Philippe Dumas | Page Maple de Philippe Dumas

Retour en page principale
Table des matières
Index
Maple V.3 worksheet
Maple V.4 worksheet
Maple V.5 worksheet


Il faut prendre garde au fait que dans le contexte de la primitivation l'adjectif élémentaire a un sens précis. Il ne signifie pas que le résultat est simple. Une expression est élémentaire si on l'obtient à partir des fractions rationnelles par application répétée autant de fois que l'on veut des quatre opérations que sont addition, soustraction, multiplication, division, par composition avec les fonctions exponentielles et logarithmes, par adjonction de fonctions algébriques par rapport aux précédentes. Pour une version plus précise et plus développée de cette notion, on peut consulter [DaSiTo86, chap. 5].

Avec Maple V.5, on constate bien qu'une primitive est élémentaire.

> f:=exp(-2*x)+exp(-x)+1:

> int(sqrt(f),x);

[Maple Math]
[Maple Math]
[Maple Math]

> convert(%,ln);

[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]

Avec Maple V.3, il faut aider un peu le système par un changement de variables tout naturel.

> f:=exp(-2*x)+exp(-x)+1:

> int(sqrt(f),x);

[Maple Math]
[Maple Math]

> student[changevar](exp(-x)=t,",t);

[Maple Math]
[Maple Math]

> subs(t=exp(-x),");

[Maple Math]
[Maple Math]
[Maple Math]

> combine(",exp);

[Maple Math]
[Maple Math]

Retour en page principale