Fractions Rationnelles Et Séries Formelles

Fractions rationnelles
et sries formelles
par Bernard RAND

Ancien lve de lcole normale suprieure de Saint-Cloud
Docteur en mathmatiques
Agrg de mathmatiques
Professeur de mathmatiques spciales au lyce Saint-Louis
1. Gnralits................................................................................................. AF 39 2
1.1 Corps des fractions...................................................................................... 2
1.1.1 Construction du corps des fractions ................................................. 2
1.1.2 Minimalit du corps des fractions..................................................... 3
1.2 Corps des fractions dun anneau factoriel................................................. 3
1.3 Corps de fractions rationnelles................................................................... 3
1.3.1 Corps des fractions rationnelles plusieurs indtermines........... 3
1.3.2 Fractions rationnelles une indtermine ....................................... 4
1.3.3 Utilisation dun logiciel de calcul formel .......................................... 4
1.4 Sries formelles et sries de Laurent en une indtermine .................... 5
1.4.1 Construction de K [[X ]]...................................................................... 5
1.4.2 Proprits algbriques de K [[X ]] ..................................................... 6
1.4.3 Corps des sries formelles de Laurent ............................................. 6
1.5 Suites rcurrentes linaires coefficients constants ............................... 7
2. Calculs dans K (X )................................................................................... 7
2.1 Dcomposition en lments simples......................................................... 7
2.1.1 Le thorme ........................................................................................ 7
2.1.2 Cas dun corps algbriquement clos................................................. 8
2.1.3 Cas du corps R .................................................................................. 9
2.1.4 Cas dun corps arbitraire.................................................................... 10
2.2 Oprations sur les fractions rationnelles................................................... 10
2.2.1 Drivation ............................................................................................ 10
2.2.2 Dveloppement en srie .................................................................... 11
2.2.3 Primitivation........................................................................................ 12
ien que les polynmes soient les outils les plus lmentaires du calcul for-
B mel, ils ne suffisent pas exprimer compltement les oprations gnrales
de lalgbre commutative. Cest pourquoi, pour laisser la possibilit deffectuer
des divisions, il est naturel dintroduire la notion de fraction rationnelle, qui est
au polynme ce que la fraction (appele encore nombre rationnel) est lentier.
On dcle alors un procd gnral de construction, celui du corps des fractions
dun anneau intgre.
En outre, les dveloppements limits, les dveloppements en srie entire, et
dautres dveloppements mens soit un ordre arbitraire, soit de manire illimi-
te, ncessitent lintroduction doutils adapts, qui sexpriment dans le cadre des
sries formelles.
Comme les polynmes, les fractions rationnelles et les sries formelles sont
des objets particulirement bien adapts des manipulations formelles, que lon
effectuera grce un logiciel.
Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales AF 39 1
FRACTIONS RATIONNELLES ET SRIES FORMELLES __________________________________________________________________________________________
1. Gnralits En effet, les compatibilits nonces expriment exactement le fait

p p1
que les membres de droite ne dpendent que de --- et ------, et pas des
q q1
couples (p, q ) et (p1, q1) particuliers reprsentant les classes.
1.1 Corps des fractions Considrons lapplication :
^K
s:
p
Dans ce paragraphe, (A , + , ) dsigne un anneau commutatif ( p, q ) --- .
q
intgre, de neutre multiplicatif not 1. Par construction mme, s est un morphisme (surjectif) de ^ sur K,
pour les lois + et , qui vrifient donc, dans K, les proprits non-
ces dans ^ . Remarquons aussi lgalit :
1.1.1 Construction du corps des fractions
p p
A { 0 } ( p, q ) ^ ------- = --- .
Sur lensemble ^ = A x (A {0}), on dfinit deux lois, + et , par q q
les conditions : Structure de corps sur K
(p, q ) + (p1, q1) = (pq1 + p1q, qq1) Pour montrer que K est un anneau commutatif, il reste montrer
la distributivit de la loi multiplicative sur la loi additive, ce qui
(p, q ) (p1, q1) = (pp1, qq1). rsulte des calculs suivants :
La loi , qui est la multiplication composante par composante, est, p1 p2 p3 p1 ( p2 q3 + p3 q2 )
dune part, interne daprs lintgrit de A : ------ ------ + ------ = -------------------------------------------
-
q1 q2 q3 q1 q2 q3
q 0 q1 0 qq1 0.
et :
Dautre part, elle est associative, commutative, et admet le neutre
(1, 1). p1 p2 p1 p3 p1 p2 q1 q3 + p1 p3 q1 q2 p1 ( p2 q3 + p3 q2 )
------ ------ + ------ ------ = -----------------------------------------------------------
- = -------------------------------------------
-
La loi + est, toujours par intgrit de A, interne dans ^. Elle est q1 q2 q1 q3 2
q q q q1 q2 q3
1 2 3
commutative et associative, et admet le neutre (0, 1). p
Soit enfin un lment --- non nul de K, ce qui signifie :
On dfinit sur ^ la relation dquivalence par : q
p 0
df --- ---
(p, q ) (p, q ) pq = pq. q 1
ou encore : p 0.
Lensemble quotient ^ / est not K. La classe de (p, q ) est note
p p On a :
--- . Il faut prendre garde que, ce stade, --- ne dsigne pas un quo- p q
q q pq 1
--- --- = ------- = --- .
tient. q p pq 1
p
Compatibilit de avec + et Donc --- est inversible dans K, ce qui montre que K est un corps.
q
A est un sous-anneau du corps K
Lemme 1. Si (p, q ) (p, q ) et (p1, q1) ( p1, q1 ), alors : p
Considrons lapplication de A vers K qui p associe --- . On vrifie
(p, q ) + (p1, q1) (p, q ) + ( p1, q1 ). 1
aisment que cest un morphisme danneaux, injectif, qui permet
didentifier A son image, sous-anneau de K. En dautres termes,
Preuve. e Il sagit dune simple vrification : p
llment --- (pour p A) sidentifie p. Dans ces conditions :
(p, q ) + (p1, q1) (p, q ) + ( p1, q1) 1
(pq1 + p1q, qq1) ( p q 1 + p1 q , q q1 ) p p 1
--- = --- ---
(pq1 + p1q ) q q1 = (p q1 + p1 q ) qq1 q 1 q
(pq pq) q 1 q 1 = (p 1 q 1 p 1 q 1 ) qq . sidentifie pq 1.

p
Or chacun des membres est nul. e La fraction --- sidentifie au quotient de p par q.
q
On exprime cela en disant que est compatible avec la loi + . Existence dun corps des fractions
On vrifie de mme le lemme 2.
Thorme 1. Soit A un anneau commutatif intgre. Il existe un

Lemme 2. Si (p, q) (p, q ) et (p1, q1) ~ ( p 1, q 1 ), alors : corps K, contenant A, tel que tout corps K contenant A contienne
(p, q ) (p1, q1) (p, q ) ( p 1, q 1 ). un sous-corps isomorphe K.
Les lemmes 1 et 2 permettent de dfinir, sur lensemble K, deux Preuve. e Nous allons utiliser le corps K prcdemment construit.
lois (toujours notes + et ) par : Il suffit de montrer la dernire assertion. Considrons lapplication :
p p1 pq 1 + p 1 q K K
- ;
--- + ------ = --------------------------
q q1 qq 1 p 1
--- pq .
q
p p1 pp
--- ------ = ---------1- . On vrifie alors aisment quil sagit dun morphisme injectif de
q q1 qq 1 corps, ce qui prouve le rsultat. e
AF 39 2 Techniques de lIngnieur, trait Sciences fondamentales
__________________________________________________________________________________________ FRACTIONS RATIONNELLES ET SRIES FORMELLES
1.1.2 Minimalit du corps des fractions Si x 0, soit :
= pgcd ( p 1 , q 1) ,
Proposition 1. p 1
Soit A un anneau commutatif intgre. Il existe un corps K, unique o x = -------- .
q 1
isomorphisme prs, contenant A, et minimal pour cette proprit.
Ainsi :
Preuve. e
p 1 = p
Existence et :
Considrons nouveau le corps K donn par le thorme 1. Si K q 1 = q,
contient K et si K contient A, K contient tous les p et q de A, avec
p avec pgcd (p, q) = 1. Donc :
q 0, donc les pq 1 = --- lments de K. Ainsi, K K et K = K . Cela p
q x = --- .
prouve la minimalit de K. q
p
Unicit Si x = ----- , avec pgcd (p, q ) = 1, on a :
q
Soit K1 un corps contenant A et minimal pour cette proprit. p q = q p .
Daprs le thorme 1, K1 contient un corps isomorphe K, que lon
peut identifier K. Par minimalit, K1 est gal ce corps. e Donc p divise p et p divise p, ce qui prouve que :
p = up,
puis :
Dfinition 1. Un corps K vrifiant les conditions de la propo- q = uq,
sition est appel corps des fractions de lanneau intgre A.
avec u U (A). e
Une telle expression de x est dite forme irrductible de x. Elle est
Bien que K ne soit unique qu isomorphisme prs, on lappelle
essentiellement unique.
souvent le corps des fractions de lanneau A. On dispose dun
modle de K, celui construit au paragraphe 1.1.1. Les rgles de Exemple 1 : lorsque A = Z et K = Q , on impose souvent au
calcul dans K sont celles usuelles dans Q, corps des fractions de dnominateur dtre strictement positif, ce qui assure alors une uni-
lanneau Z. cit complte.
p
Un lment --- de K est une fraction, de numrateur p et dnomi-
q p
Si x = --- avec pgcd (p, q) = 1, soient :
nateur q. Une telle reprsentation nest videmment pas unique. On q
dit que p est un numrateur et q un dnominateur de la fraction. vi ( p )
p=u i ,
i3
vi ( q )
1.2 Corps des fractions q = u i
i3
dun anneau factoriel
les dcompositions de p et q en facteurs irrductibles.
On peut crire :
Soient (A , + , ) un anneau factoriel et U (A) le groupe de ses l- vi ( x )
ments inversibles. On notera ici 3 un systme reprsentatif dl- x=w i
i3
ments irrductibles de A.
Soit K le corps des fractions de lanneau A. o w U (A) , vi (x) Z (et, bien sr, tous les vi (x) sont nuls sauf
un nombre fini).
Proposition 2.
Une telle dcomposition, unique, permet dtendre, pour cha-
Soit x K . On peut crire : que irrductible i, la valuation i-adique vi K tout entier (on
pose, conventionnellement, vi (0) = + ).
p
x = --- , avec pgcd ( p, q ) = 1 .
q
p
Si, de plus, ----- est une autre criture de x de ce type, il existe
1.3 Corps de fractions rationnelles
q
u U(A) tel que :
p = up ;
1.3.1 Corps des fractions rationnelles plusieurs
indtermines
q = uq.
Soit K un corps. Si n > 1, K [X1, , Xn] dsigne lanneau des poly-
Preuve. e
nmes en les indtermines X1, , Xn.
Si x = 0 :
0 Dfinition 2. On appelle corps des fractions rationnelles en les

x = --- . indtermines X1, , Xn le corps des fractions de K [X1, , Xn].
1
On le note K (X1, , Xn).
De plus, si p = 0, on a : Ses lments sont appels fractions rationnelles.
pgcd (p, q ) = 1 q U (A).
Puisque K [X1, , Xn] est un anneau intgre, la dfinition 2 a un
Do lexistence et lunicit dans ce cas. sens.
Nous allons examiner quelques proprits lmentaires de Drivation logarithmique dans K (X)
K (X1, , Xn). Si R = R1R2, on a :
Forme irrductible
R = R 1 R 2 + R 1 R 2
Puisque K [X1, , Xn] est un anneau factoriel, une fraction ration-
P o R dsigne la drivation usuelle, par rapport X ; et donc :
nelle R admet une forme irrductible ---- .
Q
Cela permet de dfinir une fonction rationnelle par : R R 1 R 2
----- = ------- -.
- + -------
R R1 R2
P P ( x 1, , x n )
---- (x , , xn) = ---------------------------------
-
Q 1 Q ( x 1, , x n ) R
La fraction rationnelle ----- est appele drive logarithmique de R.
lorsque Q (x1, , xn) 0. R
Ainsi, la drive logarithmique dun produit est la somme des dri-
Il sagit dune fonction de K n vers K, note encore R (abusive- ves logarithmiques.
ment), dont le domaine de dfinition est lensemble des (x1, , xn)
tels que Q (x1, , xn) 0. Ples dune fraction rationnelle une indtermine
Drivation P
Si R = ---- (forme irrductible), on appelle ple de R tout lment
Soit une drivation de K [X1, , Xn], cest--dire un endomor- Q
phisme K-linaire qui vrifie de plus : de K qui est racine de Q. Ainsi, la fonction rationnelle associe R
est dfinie en dehors de lensemble des ples.
(PQ ) = (P )Q + P (Q ).
Plus gnralement, si m est lordre de multiplicit de comme

Usuellement, sera une drivation partielle --------- . racine de Q, on dit que m est lordre de multiplicit du ple .
Xi Notons que :
On peut alors prolonger en une drivation de K (X1, , Xn).
P m = v( X ) ( Q ) = v( X ) ( R )
Si R = ---- (forme non ncessairement irrductible), posons pour
cela : Q
(P ) Q P (Q )
(R ) = ---------------------------------------
2
-. 1.3.3 Utilisation dun logiciel de calcul formel
Q
Il convient de vrifier que cette dfinition est lgitime. Si, en effet, Exemple 2 : la commande simplify permet une rduction au
P P mme dnominateur.
---- = ------1- , on a :
Q Q1 > n:=x^3-1;d:=x^4+1;f:=n/d;
PQ1 = Q P1,
n := x3 1
donc :
(P )Q1 + P (Q1) = (Q )P1 + Q (P1). d := x4 + 1
Il en rsulte : 3
x 1
2 f := --------------
-
Q 1 ( (P )Q P (Q )) = Q1Q ( (P )Q1 P1 (Q )) 4
x +1
= Q1Q (Q (P1) P (Q1))
= Q 2 ( (P1)Q1 P1 (Q1)) > g:=x/(x+1);
et donc lexpresion de (R ) ne dpend pas du choix particulier de x
g := ------------
lcriture de R. x+1
> f+g;simplify(f+g);
On constate alors aisment que est bien encore une drivation
sur K (X1, , Xn). 3
x 1 x
- + ------------
--------------
Identifications 4
x + 1
x +1
De mme que lon peut identifier K [X1, , Xn] et K [X1, , Xn1][Xn],
on peut identifier K (X1, , Xn) et K (X1, , Xn1)(Xn). 4
x +x 1+x
3 5
--------------------------------------
4
-
(x + 1)(x + 1)
1.3.2 Fractions rationnelles une indtermine
Exemple 3 : la commande simplify permet aussi de donner une
Ce qui prcde dans le paragraphe 1.3.1 sapplique sans change- forme irrductible de la fraction rationnelle.
ment. On dispose dautres outils spcifiques K (X). > f:=(x^3-1)/(x^4-1);g:=1/x;
Degr dune fraction rationnelle une indtermine
3
x 1
P P f := --------------
-
Si R = ---- = ------1- , on a : 4
x 1
Q Q1
PQ1 = Q P1, > f+g;simplify(f+g);
3
et donc : x 1 1
--------------
4
- + ---
deg (P ) deg (Q ) = deg (P1) deg (Q1). x 1 x
On note deg (R ), et on appelle degr de R, la valeur commune 3 2
obtenue. Cest un entier relatif. Conventionnellement, on pose : 2x + 2x + 2x + 1
-----------------------------------------------
3 2
-
deg (0) = . x(x + x + x + 1)
Exemple 4 : pour valuer une fraction rationnelle, il est ncessaire 1.4 Sries formelles et sries de Laurent
de la mettre sous forme irrductible. La fonction subs permet une va-
luation formelle. On pourrait, dans dautres situations, remplacer en une indtermine
x = 1 par x = E , o E dsigne nimporte quelle expression.
> f:=(x^5-1)/(x^7-1);
1.4.1 Construction de K [[X ]]
5
x 1
f := --------------
7
- On considre lensemble, not K [[X ]], des sries formelles en
x 1 lindtermine X. Cest lensemble des suites ( a n ) n >0 dlments de
> subs(x=1,f); K. On le munit de la somme composante par composante, du pro-
duit par un lment de K composante par composante et du produit
Error, division by zero
interne de convolution :
> subs(x=1,simplify(f));
( a n ) n >0 ( b n ) n >0 = a p b q .
5
---
p +q = n n >0
7
On constate alors que K [[X ]] est une K-algbre commutative. Elle
contient K [X ] comme sous-algbre, puisque les lments de K [X ]
Exemple 5 : la commande simplify fonctionne mme dans le cas sont les suites presque nulles dlments de K, et que les oprations
o la factorisation ne passe pas par la recherche de racines. La fonction de K [X ] concident avec celles dfinies de K [[X ]].
expand a t utilise pour dvelopper les produits qui dfinissent f
et g. Si S = ( a n ) n N K [[X ]], on appelle valuation X-adique, ou plus
> f:=expand((x^3+x+1)*(x^10+x+2)); simplement valuation, de la srie formelle S, le plus petit des
g:=expand((x^3+x+1)*(x^4+x+2)); entiers n tels que an 0.
Si S = 0, on pose v (S ) = +. On constate aisment que :
f := x13 + x4 + 2x3 + x11 + x2 + 3x + x10 + 2
v (S1S2) = v (S1) + v (S2),
g := x7 + 2x4 + 2x3 + x5 + x2 + 3x + 2
et que :
> h:=simplify(f/g);
v (S1 + S2) > min (v (S1), v (S2)).
10
x +x+2
h := --------------------------
4
- Posons alors :
x +x+2
|S | = 2 v ( S ) .
Il est clair que |S1S2| = |S1| |S2|, que |S| = 0 si, et seulement si,
Exemple 6 : des remarques analogues sappliquent dans le cas
S = 0, et que :
des fractions rationnelles plusieurs indtermines.
> f:=(x^3+3*x^2*y+3*x*y^2+y^3)/(x^2+3*x*y+2*y^2); |S1 + S2| < max (|S1|, |S2|) < |S1| + |S2|.
3 2 2 3 Il rsulte de cela que | | dfinit sur K [X ] une valeur absolue.

x + 3 x y + 3 xy + y
f := -------------------------------------------------------
2 2
- Notons que, si K {0}, || = 1.
x + 3 xy + 2 y
Lingalit :
> g:=simplify(f);
|S1 + S2| < max (|S1|, |S2|),
2 2
x + 2 xy + y plus forte que lingalit triangulaire usuelle, est appele ingalit
g := ----------------------------------
x + 2y ultramtrique.
> subs({x=1,y=-1},f); On peut munir K [[X ]] dune distance (ultramtrique). Ainsi, si
Error, division by zero ( S k ) k >0 est une suite de sries formelles :
> subs({x=1,y=-1},g); Sk 0 |Sk | 0 v (Sk) +.
0 Posons Sk = ( a n, k ) n >0 , et soit S = ( a n ) n >0 K [[X ]].
Proposition 3.
Exemple 7 : la commande diff permet une drivation partielle, la Il y a quivalence entre :
commande simplify tant utilise ensuite.
(1) Sk S ;
> f:=(x^2+y)/(x^3-y);g:=diff(f,x);
(2) pour tout n, la suite ( a n, k ) n >0 est stationnaire gale an.
x +y
2 Preuve. Bien sr, (1) quivaut :
f := --------------
-
3
x y v (Sk S ) +.
2 2 (1) (2). Soit n fix.

x (x + y)x
g := 2 -------------
3
- 3 -------------------------
3 2
- Il existe k0 tel que si k > k0 :
x y (x y)
v (S k S ) > n .
> simplify(g);
Donc, en particulier, pour k > k0 :
3
x ( x + 2 y + 3 xy ) an, k an = 0.
-------------------------------------------
2
3
(x y) (2) (1). Fixons n.
Pour p = 0, , n, chacune des suites ( a p, k ) k >0 est stationnaire Dans un tel espace, le concept de sommabilit est pertinent.
gale ap. Donc il existe k0 tel que, si k > k0, on ait, pour En outre, on peut appliquer le thorme de Fubini qui, sous certai-
p = 0, , n : nes hypothses, permet dintervertir les signes . Prcisment, si
(Sn, m) est une famille double sommable de sries formelles, on a :
ap , k = ap .
Par consquent, pour k > k0 : Sn, m = Sn, m = Sn, m .

n, m m n n m
v (S k S ) > n . e
Proposition 4.
Il y a quivalence entre : 1.4.2 Proprits algbriques de K [[X ]]
(1) la suite ( S k ) k >0 converge dans K [[X ]] ;
(2) Sk+1 Sk 0. Lanneau K [[X ]] est commutatif et intgre.
Preuve. e Proposition 7.
Limplication (1) (2) est banale. Soit S K [[X ]]. Il y a quivalence entre :
Supposons (2). Daprs la proposition 3, applique Sk+1 Sk, qui (1) S est inversible dans K [[X ]] ;
tend vers 0, chacune des suites ( a n + 1, k a n, k ) k >0 est stationnaire
(2) |S | = 1.
gale 0.
Preuve. e
Donc, pour tout n, la suite ( a n, k ) k >0 est stationnaire (gale une
certaine valeur an). (1) (2). Si ST = 1 : |S | |T | = 1.
Si S = ( a n ) n >0 , il en rsulte que ( S k ) k >0 converge vers S. e Mais |S | < 1 et |T | < 1. Donc :
Proposition 5. |S | = 1.
Il y a quivalence entre : (2) (1). Si |S | = 1, v (S ) = 0.
(1) Sk 0 ; On peut donc crire :
(2) la srie de terme gnral Sk converge. S = a0 + S1 avec |S1| < 1, a0 0
k
Preuve. e Posons U k = Sj . ou encore :
j=0 S = a0 (1 + S2) avec |S2| < 1.
Daprs la proposition 4, la suite ( U k ) k >0 converge si, et seule-
ment si : Puisque a0 est inversible dans K, il suffit de montrer que 1 + S2 est
Uk+1 Uk = Sk+1 0. e inversible. Cela rsulte de la sommabilit de la famille ( 1 ) S 2
k k
,
k >0
Notations usuelles due lgalit :
On note toujours X la suite (0, 1, 0, ), de sorte que X n est la suite
dont tous les termes sont nuls sauf celui dindice n qui vaut 1. k
( 1 ) S2
k
= S2 ,
k
Si S = ( a n ) n >0 K [[X ]], la srie de terme gnral an Xn

et lidentit :
converge, puisque :
|an Xn | < 2 n .
( 1 + S2 ) ( 1 S2 + S2 + ( 1 ) S2 ) = 1 + ( 1 ) S2
2 k k k k+1

n
On note, comme dhabitude, a n X sa somme. Mais : qui montre que :
n=0
( 1 )
1 k k
p1 ( 1 + S2 ) = S2 . e

n k >0
a n X = ( a 0, a 1, , a p 1, 0, , ) ,
n=0 En dautres mots, les lments inversibles de K [[X ]] sont ceux
de sorte que : dont le terme constant est non nul.
p1 Soit S K [[X ]], S 0. On peut crire :

n p
S an X <2 .
n=0 S = X v (S ) S 1 ,
+

n avec v (S1) = 0. Autrement dit, S1 est inversible.
Donc, en fait : S = an X .
n=0 Il en rsulte quil existe un seul lment irrductible ( association
Nous dsignons dsormais les lments de K [[X ]] par de telles prs) dans K [[X ]], savoir llment X. Lexpression prcdente de
sommes. S donne la dcomposition en facteurs irrductibles dans K [[X ]]. On
constate que v (S ) concide bien avec la valuation X-adique de S.
Sommabilit et thorme de Fubini
Proposition 6.
K [[X ]] est complet. 1.4.3 Corps des sries formelles de Laurent
Preuve. e Si la suite ( S k ) k >0 est de Cauchy, on a certainement :
Sk+1 Sk 0. Puisque K [[X ]] est un anneau intgre, il admet un corps des frac-
tions, not K ((X )), dont les lments sont appels sries formelles
Il suffit alors dappliquer la proposition 5. e de Laurent.
Si S K ((X )), on peut crire : Aprs division par le terme constant de R, on peut crire
S = X vT
R = 1 + p 1 X + + 0 X p
o :
v = v (S ) Z , pour un certain p.
et
Si Q = X R ---- , le calcul du dbut de la preuve montre que
p 1
T K [[X ]] X
an X
n
Ainsi, en posant T = , on a : ( a n ) n >0 vrifie la relation de rcurrence. e
n >0
Exemple 8 : considrons une suite vrifiant :

m
S = bm X . an+2 + an+1 + 2an = 0.
m>v On a :
Puisque K [X ] est inclus dans K [[X ]], K (X ) est inclus dans
Q = X 2 + X + 2,
K ((X )). Ainsi, une fraction rationnelle peut toujours tre considre donc :
P
an X = -----------------------------2
comme une srie de Laurent. n
n >0 1 + X + 2X
Pour obtenir P, il suffit de calculer les premiers termes :
1.5 Suites rcurrentes linaires P = a0 + ( a1 + a0 ) X
coefficients constants Finalement :
a0 + ( a1 + a0 ) X
an X
n
= --------------------------------------
2
.
Proposition 8. n >0 1 + X + 2X

n
Soit S = an X K [[X ]].
n >0 Exemple 9 : si (an) et (bn) vrifient chacune une relation de rcur-
Il y a quivalence entre : rence linaire coefficients constants, il en va de mme de leur
somme et de leur produit de convolution, la relation qui les lie tant
(1) S K (X ) ;
issue, respectivement, de la somme et du produit des fractions ration-
(2) ( a n ) n >0 vrifie une relation de rcurrence linaire coef- nelles correspondantes.
ficients constants.
En outre, si : Exemple 10 : la commande rsolve permet dassocier une suite
n > 0 an+p + p1an+p1 + + 0an = 0 rcurrente linaire la srie formelle, calcule sous forme de fraction
rationnelle. Elle se trouve ici dans le package genfunc, ouvert grce
est une telle relation de rcurrence, et si la commande with (genfunc). La commande collect est utilise pour
ordonner et regrouper les termes en x.
Q = Xp + p 1Xp 1 + 0. > with (genfunc);f:=rsolve({a(n+2)+a(n+1)+2*a(n)=0,
a(0)=a0,a(1)=a1},a,genfunc(x));
P
S admet une expression de la forme ---------------------- .
a0 + a1x + xa0
X Q ----
p 1 f := ---------------------------------------
-
X 2
1 + x + 2x
Preuve. e Avec les notations prcdentes, on a : > collect(f,x);
X p Q ---- = 0Xp + 1Xp 1 + + p 1X + 1. ( a1 + a0 ) x + a0

1
X ----------------------------------------
2
-
1 + x + 2x
Calculons X p Q ---- S. On obtient :

1
X
a0 + (a1 + p 1a0) X + + (ap + p 1 ap 1+ + 0a0) X p + 2. Calculs dans K (X )

Supposons (2). On voit quen posant :
P = a0 + (a1 + p 1a0) + + (ap 1 + p 1ap 2 + + 1a0) X p 1,
on a : 2.1 Dcomposition en lments simples
P
S = ---------------------- ,
p 1
X Q ----
2.1.1 Le thorme
X
donc S K (X ). Lemme 3. Soit I un polynme irrductible de K [X ], de degr

d. Si P et Q sont deux lments de K [X ], Q ntant pas divisible
P
Supposons (1). On peut crire : S = ---- (forme irrductible). par I, il existe un unique couple (U, V ) de polynmes, avec
R deg (U ) < d, tel que :
Comme S K [[X ]], sa valuation est positive ou nulle, et donc :
v (R ) = 0. P = UQ + IV
P
Preuve. e Appliquons la proposition 9 ------- . On peut crire :
Q1
Existence
P m1 V m
Daprs Bezout, (cf. [AF 37] Polynmes : tude algbrique), on ------- = U 0 + + U m 1 I + ------- I
Q1 Q1
peut crire :
P = U 1 Q + IV 1 et donc :
car pgcd (Q, I) = 1.
P U0 U1 Um 1 V
En divisant U1 par I, on obtient lexpression indique. ---- = ------
m
- + + ---------------
- + ------------
m1
- + ------- .
Q I I I Q1
Unicit
Elle rsulte de ce que, par diffrence, on se ramne tudier Cette fois, Q1 nest plus divisible par I.
lgalit :
On peut rappliquer le procd jusqu ce que Q1 nait plus aucun
UQ + IV = 0, facteur irrductible. Dans ce cas, le dnominateur sera constant,
qui entrane que I divise U, donc U = 0 pour une question de degr. e donc on obtiendra un polynme E.
Unicit
Lorsque P = 1, lalgorithme dEuclide [AF 37] fournit exacte- Par diffrence, on tudie lgalit :
ment U de degr infrieur ou gal d 1. W k, I
E+ -----------
k
- = 0
I 3 k >1 I
Proposition 9.
En multipliant par Im (o m = max {k ; Wk, I 0}), on se ramne
P
Soit R = ---- K (X ). On suppose que Q nest pas divisible la proposition 9, ce qui assure la nullit des Wk, I. Cela tant vrai
Q pour tout I, on obtient aussi E = 0. e
par le polynme irrductible I.
Soit n N . On peut crire, et de manire unique :
V La construction qui montre lexistence donne un certain nom-
R = U0 + U1I + + Un In + ---- In+1, bre de renseignements.
Q
Tout dabord, les Wk, I non nuls correspondent des facteurs
avec deg (Uk) < d 1.
irrductibles I de Q ; si Im est la plus grande puissance de I qui
Preuve. e divise Q, cest--dire si m est la valuation I-adique de Q, k dcrit
lensemble des entiers compris entre 1 et m.
Existence
En outre, E est le quotient de la division euclidienne de P par Q.
Daprs le lemme 3, on peut crire : Notons aussi que E est nul si, et seulement si :
P = U 0 Q + IV 0 , deg (P ) < deg (Q ).
soit : Ce polynme est appel partie entire de la fraction rationnelle R.
V0
R = U0 + I ------ .
Q
V0 Interprtation
Il suffit dappliquer par rcurrence le procd ------ pour obtenir le
rsultat. Q On dispose en fait dune base de K (X ) : les monmes Xk, corres-
d1
1 X X
Unicit
m
- , -----
pondant E et les fractions rationnelles ----- m
- , , -------------
m
- , lorsque I
Elle provient de ce que lon a ncessairement : I I I
dcrit 3 , m dcrit N* et d = deg (I).
P = U0Q + I ((U1 + + Un In1) Q + InV ),
Les diffrentes fractions rationnelles intervenant dans la dcom-
do lunicit de U0 puis, par rcurrence, de U1, , Un et V. e position sont appeles lments simples. Lorsque I est de degr un,
on parle dlment simple de premire espce.
Thorme 2 (de dcomposition en lments simples).
Soient R K (X ) et 3 lensemble des polynmes irrductibles
unitaires de K [X ].
Il existe une unique famille presque nulle de polynmes
2.1.2 Cas dun corps algbriquement clos
( W k, I ) I 3 et E telle que :
k>1
W k, I Lorsque K est algbriquement clos, ou plus gnralement lorsque
R=E+ -----------
k
-. le dnominateur de R est scind dans K, les polynmes irrductibles
I 3 k >1 I qui interviennent dans la dcomposition de R en lments simples
sont de la forme X . On peut crire :
Preuve. e
w k,
Existence R=E+ --------------------
-
k
P K k<m() (X )
Soit R = ---- la forme irrductible de R. On peut crire, pour I divi-
Q
avec E K [X ] et wk, K.
seur irrductible de Q :
Pour dterminer wk, , on peut supposer = 0 (quitte considrer
Q = Im Q 1 ,
R (X + )). Dans ce cas, un dveloppement en srie formelle de R
avec pgcd (I, Q1) = 1. donnera le rsultat.
1 Exemple 14 : il est toujours possible de susciter une dcomposi-

3 4
- et K = R
Exemple 11 : soient R = --------------------------------------------- tion complte sur C , grce loption fullparfrac. Lorsque les ples ne
(X 1) X (X + 1) sont pas calculs, ils sont dsigns comme lments dun ensem-
Ple = 0 ble %1, ensemble des ples. Puisque ces ples sont en fait les racines
dun polynme, ils sont dsigns par le mot RootOf, qui dsigne
1 2 3 1 2 2 3 3 lensemble des racines de ce polynme, non ncessairement values
- = ( 1 X + X X + ) ( 1 C 3 X + C 3 X C 3 X + )
--------------------------------------
3
(X 1) (X + 1) ce stade.
2 3 2 3 > R:=1/(X^5-1)^2;R1:=convert(R,fullparfrac,X);
= ( 1 X + X X + ) ( 1 + 3 X + 6 X + 10 X + )
2 3
= ( 1 + 2 X + 4 X + 6 X + ) 1
R := ----------------------2-
5
Do : (X 1)
1 2 4 6
R = ------4 ------3 ------2 --- +
X X X X 1 _
2 4 _
- + ------ ----------------
R1 := ------ -----------------------
Ple = 1 _ = %1 25 ( X _ 2 ) _ = %1 25 X _
Posons Y = X 1. Il convient dtudier :
2 %1 := RootOf( _Z 5 1)
- = ( 1 4 Y + 10 Y + ) --- 1 --- + ------ +
1 2 1 Y Y
--------------------------------------
(1 + Y) (2 + Y)
4 2 2 4
= --- 1 --- Y + ------ Y +

1 9 49 2
Exemple 15 : cas des ples simples. Si est un ple simple
2 2 4
P
Do : de R = ---- (forme irrductible), on obtient :
Q
12 94 49 8
R = -------------------3- -------------------2- + -------------- +
(X 1) (X 1) P() + P() Q()
X1 R = --------------------------------------------------- = -------------------------------- +
(X )(Q() + ) X
Ple = 1
Il est aussi rapide ici de multiplier par X + 1 et dvaluer le rsultat en 1 : ce qui permet dobtenir aisment llment simple correspondant.
1 1
18 Soit R = --------------
- = -------------------------------- .
R = ------------- +
(X )
n
X+1 X 1
n
Finalement, puisque E = 0 =1
On obtient ici :
18 12 94 49 8 1 2 4 6
R = ------------- + -------------------3- -------------------2- + -------------- ------4 ------3 ------2 --- .
X + 1 (X 1) (X 1) X1 X X X X 1 1 ( n )
n 1
1
n
- =
-------------- ---------------------------- = ---
X n -------------
X
X 1 n
=1
n
=1
Exemple 12 : reprenons la fraction rationnelle R de lexemple 11.
La commande convert, associe loption parfrac, permet dobtenir la
dcomposition en lments simples cherche.
> R:=1/((X-1)^3*X^4*(X+1)); Exemple 16 : cas dune drive logarithmique.
mi
1
R := ---------------------------------------------
-
Soit R = ( X i ) C ( X ) , o les mi sont des entiers relatifs.
3 4 i
(X 1) X (X + 1)
Par proprit de la drive logarithmique, on obtient :
> convert(R,parfrac,X);
R mi
1 1 9 1 49 1 1 2 4 6 1 1
----- =
R X-------------
i
-,
--- -------------------- ----- -------------------- + ------ ------------- ------ ------ ------ ----- ----- --------------- i
3 2 4 3 2
2 ( X 1 ) 4 ( X 1 ) 8 X 1 X X X X 8 X +1
ce qui donne exactement la dcomposition en lments simples
R
de ----- .
Exemple 13 : lorsque les ples complexes dune fraction de R
C (X ) ne peuvent tre calculs exactement, il est possible den avoir
une valuation numrique, ce qui fournit une dcomposition en l-
ments simples approche. Loption complex signifie que lon cherche
une dcomposition laide de complexes flottants. 2.1.3 Cas du corps R
> R:=1/(X^3+X^2+1);
1 Les polynmes unitaires irrductibles de R [X ] sont ceux de la

R := ----------------------------
3 2 forme X et ceux de la forme X 2 + pX + q lorsque p2 4q < 0.
X +X +1
Les lments simples correspondants seront ceux de premire
> convert(R,parfrac,X,complex); aX + b
espce, et ceux, dits de seconde espce, de la forme --------------------------------------k- .
2
.2846930799 .1423465399 + .3050338946I ( X + pX + q )
---------------------------------------------- + -----------------------------------------------------------------------------------------
X + 1.465571232 X .2327856159 + .7925519925I Pour obtenir une dcomposition en lments simples dans R (X ),
les calculs sont souvent coteux, et dailleurs pas toujours utiles
.1423465399 .3050338946I
+ ----------------------------------------------------------------------------------------- dans la mesure o une dcomposition dans C (X ) est le plus sou-
X .2327856159 .7925519925I vent suffisante.
1 2.1.4 Cas dun corps arbitraire

Exemple 17 : soit R = -----------------------------2-
3 2
X (X + 1)
Ple = 0 Si R Q (X ), il convient dobtenir une factorisation du dnomina-
1 2
----------------------2- = 1 2 X + , teur en polynmes irrductibles de Q [X ].
2
(1 + X )
donc : Exemple 20 : en gnral, cette factorisation est obtenue sans
spcification supplmentaire, comme ci-dessous.
1 2
R = ------3 --- + > P:=X^11+X^8+2*X^6+X^3+X+X^5+X^2+1;R:=X/P;
X X
lments de seconde espce P : = X 11 + X 8 + 2X 6 + X 3 + X + X 5 + X 2 + 1
R ------3 --- = -----------------------------2- 1 ( 1 2 X ) ( X + 1 )

1 2 1 2 2 2
3 2
X
X X X (X + 1) R := -----------------------------------------------------------------------------------------------
11 8 6 3 5 2
-
X + X + 2X + X + X + X + X + 1
3
1 6 4 2X + 3X
= -----------------------------2- [ 2 X + 3 X ] = -----------------------2- . > convert(R,parfrac,X);
3 2 2
X (X + 1) (X + 1)
2 3 4 5 2 3 4
Or : 1 2 + X + 4X 2X + X + 4X 1 2 + 8X 2X + X + 4X
--- --------------------------------------------------------------------------
- + --- --------------------------------------------------------------
2X 3 + 3X = (X 2 + 1) 2X + X. 9 6
X +X+1 9
5
X +X +1
2
Donc :
1 2 2X X
R = ------3 --- + ---------------
2
- + ------------------2 . Exemple 21 : on peut videmment se placer dans une extension
X X X + 1 X 2+ 1
algbrique donne de Q ; sqrt dsigne la racine carre. Le fait dajou-
On aurait pu ici utiliser limparit de R. ter loption sqrt (5) dans la fonction convert indique que lon attend
Exemple 18 : le mme exemple que celui de lexemple 17 est une dcomposition en lments simples sur Q ( 5 ).
trait, dabord avec la commande convert et loption parfrac seule, puis > R:=1/(X^4+3*X^2+1);convert(R,parfrac,X,sqrt(5));
en lui ajoutant loption real, qui fournit une dcomposition relle flottante.
> convert(1(X^3*(X^2+1)^2),parfrac,X); 1
R := -------------------------------
4 2
-
1 2 X X X + 3X + 1
------3 --- + 2 ---------------
2
- + ----------------------2-
X X X + 1 (X 2+ 1) 2 5 2 5
--- ---------------------------------
2
+ --- --------------------------------
2
-
> convert(1/(X^3*(X^2+1)^2),parfrac,X,real); 5 2X + 3 + 5 5 2X + 3 5
1.000000000 2.000000000 X
- ------------------------------------ + 2.000000000 -----------------
-----------------------------------
3 2
-
X X X + 1.
X 2.2 Oprations sur les fractions
+ 1.000000000 -------------------------2
2
( X + 1. )
rationnelles
Exemple 19 : lorsque la factorisation du dnominateur est fournie, Puisque la dcomposition en lments simples nest autre quune
on peut obtenir une dcomposition dans R (X ). Si lon veut une telle dcomposition sur une base de K (X ), elle fournit un outil particuli-
dcomposition, il est utile dajouter une option qui dsigne les lments rement adapt aux oprations linaires, telles que la drivation, le
algbriques sur Q que lon souhaite utiliser. Voici ce que lon peut obtenir dveloppement en srie, la primitivation.
1
lorsque lon dcompose R = -------------------------
3
- ; Root Of dsigne ici un lment
X +X+1 2.2.1 Drivation
(la racine relle) de lensemble des racines de X 3 + X + 1.
Comme fonction dune variable relle ou complexe, une fraction
> convert(1/(X^3+X+1),parfrac,X); rationnelle R est indfiniment drivable. On utilise :
1
-------------------------
3
-
X +X+1 d k k1
------ ( z ) = k ( z ) (k Z)
> convert(1/(X^3+X+1),parfrac,X,real); dz
.4172379879 .5693861599 + .4172379877 X pour obtenir, partir dune dcomposition en lments simples, la
--------------------------------------------- ---------------------------------------------------------------------------------------------
-
X + .6823278038 X 2 .6823278038 X + 1.465571232 drive nime de z R (z ), qui concide avec la drive nime for-
melle de R.
> convert(1/(X^3+X+1),parfrac,X,RootOf(X^3+X+1));
1 2 1
3 3 Exemple 22 : soit R = --------------------k .
------ ( 4RootOf ( _ Z + _ Z + 1 ) 18RootOf ( _ Z + _ Z + 1 ) 12 + 4 X
31 (X )
3 3 2
9RootOf ( _ Z + _ Z + 1 ) X + 6 X RootOf ( _ Z + _ Z + 1 ) ) On obtient :
2 3 3 2
X + RootOf ( _ Z + _ Z + 1 ) X + 1 + RootOf ( _ Z + _ Z + 1 ) ) (n) 1
R = ( k ) ( k 1 ) ( k n + 1 ) ---------------------------
k+n
-
3 3 2 (X )
1 4 9RootOf ( _ Z + _ Z + 1 ) + 6RootOf ( _ Z + _ Z + 1 )
+ ------ -------------------------------------------------------------------------------------------------------------------------------
3
-----------
31 X RootOf ( _ Z + _ Z + 1 ) n k ( k + 1 ) ( k + n 1 )
= ( 1 ) ------------------------------------------------------
k+n
(X )
1 Pour obtenir des relations entre les Pn , drivons lgalit :

Exemple 23 : soit R = ---------------
2
-.
X +1 (n) Pn
On obtient : R -.
= ------------------------------
n+1
2
(X + 1)
R = ----- ----------- ----------- ,
1 1 1
Il vient :
2i X i X + i
n+1 n
P n ( X + 1 )
2 2
donc : (n + 1) ( n + 1 )2 X ( X + 1 ) P n
R = -----------------------------------------------------------------------------------------------------
2(n + 1)
-
2
(X + 1)
(n) 1 n n! n!
R = ----- ( 1 ) ------------------------- -------------------------- .
2i ( X i ) n + 1 ( X + i ) n + 1 ( X + 1 ) Pn 2 ( n + 1 ) XP n
2
-.
= -------------------------------------------------------------------
n+2
2
do : (X + 1)
n+1 n+1
(n) ( 1 ) n!
n k Do :
n1 n+1
i Cn + 1 X
k n + 1 k k k n+ 1 k
R -
= ----------------------------------- C X ( i )
2i ( X + 1 )
2 k = 0
P n + 1 = ( X + 1 ) Pn 2 ( n + 1 ) XP n .
k=0 2
(1)
n
( 1 ) n! Dautre part, drivons lgalit (X 2 + 1) R = 1 grce la formule de
Cn + 1 X i ( 1 )
2p+ 1 n 2p p
-2
= -----------------------------------
2 n+1 Leibniz ([AF 55] Calcul diffrentiel) :
2i ( X + 1 ) 2 p + 1< n + 1
2 (n) 1 (n 1) 2 (n 2)
Pn (X + 1)R + 2 XC n R + 2 Cn R = 0 ( n>2 ) .
= ------------------------------
n+1
-
2
(X + 1) do :
avec P n = ( 1 ) n! ( 1 )
n p 2p+ 1 n 2p 2
Cn + 1 X P n + 2 nXP n 1 + n ( n 1 ) ( X + 1 ) P n 2 = 0 (2)
On obtient ainsi : 2 p < n
P0 = 1 Les galits (1) et (2) permettent de calculer les Pn de proche en
P1 = 2 X proche. En appliquant (2) n + 1, et en soustrayant (1), on obtient :
P2 = 2 (3X 2 1) ( n + 1 ) nP n 1 = Pn ,
P3 = 24X (X 2 1)
P4 = 24 (5X 4 10X 2 + 1) puis :
P5 = 240X (3X 4 10X 2 + 3)
P n = ( n + 1 ) nPn 1 = ( n + 1 ) ( n 1 ) n P n 2 .
2
On constate que Pn admet la parit de n.
Les racines de ce polynme de degr n sont donnes par lgalit : En reportant dans (2), il vient :
(z + i) n+1 = (z i) n+1, 2 nX n(n 1)
P n --------------------- Pn + -----------------------------------------2- ( X + 1 ) P n = 0 ,
2
soit : n(n + 1) (n + 1)(n 1)n
z+i n+1 soit :

---------- = w , w = 1
zi
n ( n + 1 ) P n 2 nXP n + ( X + 1 ) P n = 0
2
(3)
ou
1+w ce qui est lquation diffrentielle vrifie par Pn , pour n >0 .
z = i -------------- , w1
1w
2i k 2.2.2 Dveloppement en srie

Posons w = exp ------------- , pour k = 1, , n.
n + 1
Il vient : Dveloppement en srie formelle
ik ik On peut obtenir le dveloppement en srie formelle, ou tout au

exp ------------- + exp ------------- moins ses premiers termes, grce la commande series. Le terme
w+1 n + 1 n + 1 k
z k = i -------------- = i --------------------------------------------------------------------- = cotan -------------. +
w1 ik k n+1
exp ------------- exp ------------- ak X
k
en O (X n) remplace .
n + 1 n + 1
k=n
Compte tenu que le coefficient dominant de Pn est :

Exemple 24 : selon que lon spcifie ou non lordre du dveloppe-
n 1
( 1 ) n! C n + 1 = ( 1 ) ( n + 1 )!
n 1
ment, on obtient le dbut de la srie formelle de -------------------------
4
-.
X +X+1
on obtient ainsi : > series(1/(X^4+X+1),X);
n
k 1 X + X 2 X 3 + X 5 + O (X 6 )
X cotan ------------
- .
n
P n = ( 1 ) ( n + 1 )!
n + 1 > series(1/(X^4+X+1),X,10);
k=1
1 X + X 2 X 3 + X 5 2X 6 + 3X 7 3X 8 + 2X 9 + O (X 10).
Exemple 25 : notons que la mme commande series permet, le Le rsultat est vident si b = 0 :
cas chant, davoir un dveloppement en srie de Laurent.
z
> series(1/(X^4*(X^4+X+1)),X); dz
------------ = ln z a .
a
X 4 X 3 + X 2 X 1 + X 2X 2 + 3X 3 3X 4 + 2X 5 + O (X 7)
Exemple 28 : la commande int permet une primitivation, sous
Exemple 26 : le package genfunc, ouvert avec la commande rserve de la possibilit de factoriser le dnominateur :
with (genfunc), on tient la commande rgf_expand, qui donne le > f:=1/(z-I);int(f,z);
terme dindice n du dveloppement en srie formelle dune fraction
rationnelle. 1
f := ----------
zI
> with(genfunc):rgf_expand(1/((X^2-2*X+1)*(X+2)),X,n);
1 2
4 1 1 n --- ln ( 1 + z ) + I Arctan ( z )
--- n + --- + ------ ------
1 2
3 9 18 2
> f:=z/(z^4-1);int(f,z);
Exemple 27 : ci-aprs deux calculs effectus par Maple, selon les z

f := -------------
4
-
possiblits de factorisation. z 1
> rgfexpand(1/(X^2+X+1),X,n);
1 1 1 2
--- ln ( 1 + z ) + --- ln ( 1 + z ) --- ln ( 1 + z )
n n 4 4 4
I 3 ------------------- I 3 -------------------
2 2
2 1I 3 2 1+I 3 > f:=1/(z^3+z+2);int(f,z);
--- ----------------------------------------- + --- -----------------------------------------
3 1I 3 3 1+I 3 1
f := -----------------------
3
-
> rgf_expand(1/(X^3+X^2+1),X,n); z +z+2
X _ R 1 n
--- ln ( 1 + z ) + --- ln ( z z + 2 ) + ------ 7 Arctan --- ( 2 z 1 ) 7
1 1 3 1
lim ----------------------------
2
------- 7
X_ R X 3 + X 2 + 1 _ R 4 8 28
-------------------------------------------------------------------
_R
-

_ R = %1
Exemple 29 : dans le cas o la factorisation nest pas possible, on
peut passer par une dcomposition en lments simples sur les rels
%1 := RootOf(_Z 3 + Z 2 + 1) ou les complexes flottants.
Dveloppement en srie entire > f:=1/(z^3+z+1);int(f,z);
Le dveloppement en srie entire concide avec le dveloppe- 1
f := -----------------------
3
-
ment en srie formelle. Il est valide dans le disque ouvert de centre 0 z +z+1
et de rayon le minimum des modules des ples de la fraction ration-
_ R ln z ------_ R + ------_ R + ---
62 2 31 4
nelle. Si 0 est ple de cette fraction, il faut bien entendu considrer
le dveloppement en srie de Laurent, valide pour z 0 dans le dis-
9 9 9
_ R = %1
que ouvert prcdent.
% 1 := RootOf(31_Z 3 3 _Z 1)
> g:=convert(f,parfrac,z,real);
2.2.3 Primitivation
.4172379879 .5693861599 + .4172379877 z
g := -------------------------------------------- -------------------------------------------------------------------------------------------
2
-
Nous nous intressons aux primitives dapplications rationnelles, z + .6823278038 z .6823278038 z + 1.465571232
considres comme applications de la variable relle ou de la varia- > int(g,z);
ble complexe. Dans ce dernier cas, lutilisation des primitives se fera
avec les prcautions dusage : il faudra se placer sur un ouvert toil .4172379879ln ( z + .6823278038 )
ne contenant aucun ple de la fraction rationnelle.

Il suffit de pouvoir primitiver les lments simples de premire .1000000000 10 11 z 2
espce.
.2086189939 ln .6823278038 10 10 z
Si n >2 :
+ .1465571232 10 11

z
dz 1 1
-------------------n- = ------------- --------------------------
-
( ) 1 n (z )
n1 +.3676490739 arctan ( .8609249743 z .2937165235 )
Si n = 1, posons = a + ib. Il vient : > g:=convert(f,parfrac,z,complex);
1 z z a + ib .4172379878 .2086189939 + .1838245370I

------------ = ----------------------------------------------- = ---------------------------------------------- g := -------------------------------------------- + -----------------------------------------------------------------------------------------
2 2 2 2 z + .6823278038 z .3411639019 + 1.161541400I
z z ( + ) z + z 2 az + a + b
1 2z 2a ib .2086189939 .1838245370I
= --- ---------------------------------------------- + -------------------------------
- + ----------------------------------------------------------------------------------------
2 2 2 2 2 z .3411639019 1.161541400I
2 z 2 az + a + b (z a) + b
> int(g,z);
Donc :
.4172379878ln ( z + .6823278038 )

dz 1 2 2 2 za
------------ = --- ln (z 2 az + a + b ) + i Arctan ------------
z 2 b 2
.2086189939 ln ( z .6823278038 z + 1.465571232 )
dans le cas dune variable z relle, si, bien sr, b 0. +.3676490740 arctan ( .8609249743 z .2937165235 )

dz dz
Exemple 30 : calcul de In = ---------------------n- . Exemple 31 : calcul de Jn = ---------------------n- .
2 2
(1 + z ) (z 1)
Plutt que de dcomposer en lments simples, il est prfrable de On obtient une formule de rcurrence trs analogue celle de
chercher une relation de rcurrence. Par parties, on a : lexemple 30 :
1 2n 1 z

2 J n + 1 = ---------------- J n ------- ---------------------n-
z z z
- = ---------------------n- + 2 n ( I n I n + 1 ) .
I n = ---------------------n- + 2 n ----------------------------- 2n 2n 2
(z 1)
2 2 n+1 2
(1 + z ) (1 + z ) (1 + z )
mais :
z
Do :
- = --- ------------ ------------ d z = --- ln -----------
dz 1 1 1 1 z1
J1 = ------------- .
2
1 2 z 1 z + 1 2 z + 1-
2n 1 1 z
I n + 1 = ---------------- I n + ------- ---------------------n- .
2n 2 n ( 1 + z2 ) donc :
1 z1 1 z
Comme I1 = Arctan z, on obtient : J 2 = --- ln -----------
- --- --------------
4 z + 1 2 z2 1
1 1 z On remarque que le logiciel, lui, utilise une dcomposition en l-
I 2 = --- Arctan z + --- --------------2-
2 21+z ments simples.
> int(1/(z^2-1)^2,z);
3 3 z 1 1
I 3 = --- Arctan z + --- --------------2- + --- ---------------------2- . 1 1 1 1 1 1
--- ---------------- --- ln ( 1 + z ) --- ------------ + --- ln ( 1 + z )
8 8 1 + z 4 ( 1 + z2 ) 4 1 +z 4 4 1 +z 4

Fractions Rationnelles Et Séries Formelles

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Fractions Rationnelles Et Séries Formelles

Загружено:

Авторское право:

Доступные форматы

Fractions rationnelles

par Bernard RAND

1. Gnralits En effet, les compatibilits nonces expriment exactement le fait

(pq pq) q 1 q 1 = (p 1 q 1 p 1 q 1 ) qq . sidentifie pq 1.

Thorme 1. Soit A un anneau commutatif intgre. Il existe un

1.1.2 Minimalit du corps des fractions Si x 0, soit :

0 Dfinition 2. On appelle corps des fractions rationnelles en les

3 2 2 3 Il rsulte de cela que | | dfinit sur K [X ] une valeur absolue.

2 2 (1) (2). Soit n fix.

Par consquent, pour k > k0 : Sn, m = Sn, m = Sn, m .

Si S = ( a n ) n >0 K [[X ]], la srie de terme gnral an Xn

X p Q ---- = 0Xp + 1Xp 1 + + p 1X + 1. ( a1 + a0 ) x + a0

Calculons X p Q ---- S. On obtient :

a0 + (a1 + p 1a0) X + + (ap + p 1 ap 1+ + 0a0) X p + 2. Calculs dans K (X )

donc S K (X ). Lemme 3. Soit I un polynme irrductible de K [X ], de degr

1 Exemple 14 : il est toujours possible de susciter une dcomposi-

= --- 1 --- Y + ------ Y +

1 Les polynmes unitaires irrductibles de R [X ] sont ceux de la

1 2.1.4 Cas dun corps arbitraire

R ------3 --- = -----------------------------2- 1 ( 1 2 X ) ( X + 1 )

1 Pour obtenir des relations entre les Pn , drivons lgalit :

z+i n+1 soit :

2i k 2.2.2 Dveloppement en srie

ik ik On peut obtenir le dveloppement en srie formelle, ou tout au

Compte tenu que le coefficient dominant de Pn est :

Exemple 27 : ci-aprs deux calculs effectus par Maple, selon les z

Si n = 1, posons = a + ib. Il vient : > g:=convert(f,parfrac,z,complex);

1 z z a + ib .4172379878 .2086189939 + .1838245370I

Вам также может понравиться