inverse (composition) d'une série formelle

Bugs

Modérateur : xcasadmin

joaopa
Messages : 44
Inscription : dim. sept. 14, 2014 10:18 pm

inverse (composition) d'une série formelle

Message par joaopa » mar. août 24, 2021 1:27 pm

Bonjour,

est-il possible d'implémenter une fonction (en maple reversion) qui renvoie l'inverse pour la composition d'une serie formelle
1+a_1x+...+a_nx^n+......

Merci d'avance

parisse
Messages : 5734
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: inverse (composition) d'une série formelle

Message par parisse » mar. août 24, 2021 7:02 pm

Ca ne me parait pas possible de composer de telles series, car l'image de 0 est 1, puis l'image de 1 est ??. Il faut que le developpement commence par a0=0, donc doit etre de la forme a1*x+... et dans ce cas la fonction revert de Xcas renvoie l'inverse au sens de la composition (d'un polynome nul en 0)
Par exemple r:=series(sin(x),x=0,5,polynom); s:=revert(r); normal(s(x=r)); normal(r(x=s));

joaopa
Messages : 44
Inscription : dim. sept. 14, 2014 10:18 pm

Re: inverse (composition) d'une série formelle

Message par joaopa » sam. août 28, 2021 6:24 pm

Tu as raison. Il ne faut pas de terme constant pour que la serie soit inversible. Si la fonction revert le fait, cela me convient.

Merci pour ta réponse.

Répondre