Techniques de calcul du produit de Cauchy de deux sries entires

Essaidi Ali
1
er
juin 2014
Rsum
Le but de ce travail et de proposer quelques techniques de calcul du produit de Cauchy de deux sries entires

a
n
z
(n)
et

a
n
z
(n)
.
1 Produit de Cauchy de deux sries entires :
Proposition 1 : Soient , : N N strictement croissantes et

nn
0
a
n
z
(n)
et

nn
1
b
n
z
(n)
deux sries entires de rayons
de convergences respectifs R
a
et R
b
. Alors :
|z| < min(R
a
, R
b
),

n=n
0
a
n
z
(n)

n=n
1
b
n
z
(n)

=
+

n=n
0
+n
1

(p)+(q)=n
a
p
b
q

z
n
Dmonstration :
Soit z C tel que |z| < min(R
a
, R
b
). On a :
1. Les sries numriques

nn
0
a
n
z
(n)
et

nn
1
a
n
z
(n)
convergent absolument.
2. La famille (I
n
)
nN
avec n N, I
n
= {(p, q) N
2
/p n
0
, q n
1
, (p) + (q) = n} forme une partition de
I = {(p, q) N
2
/p n
0
, q n
1
}.
Donc, daprs le thorme de sommation par paquets :

n=n
0
a
n
z
(n)

n=n
1
b
n
z
(n)

(p,q)I
(a
p
z
(p)
b
q
z
(q)
)
=
+

n=n
0
+n
1

(p,q)I
n
a
p
b
q
z
(p)+(q)

=
+

n=n
0
+n
1

(p)+(q)=n
a
p
b
q

z
n
Exemples dapplication :
1. Dveloppement en srie entire de e
x+x
2
:
La fonction exp est dveloppable en srie entire sur R et on x R, e
x
=
+

n=0
x
n
n!
donc x e
x+x
2
est dveloppable
en srie entire sur R et on x R :
e
x+x
2
=

n=0
x
2n
n!

n=0
x
n
n!

=
+

n=0

2p+q=n
1
p!q!

x
n
=
+

n=0

[
n
2
]

p=0
1
p!(n 2p)!

x
n
En effet, {(p, q) N
2
/2p +q = n} = {(p, n 2p) N
2
} = {(p, n 2p)/p N et 0 n 2p} = {(p, n 2p)/p
N et p
n
2
} = {(p, n 2p)/p N et p

n
2

1
} = {(p, n 2p)/p {0, . . . ,

n
2

}}.
1. x R, [x] dsigne la partie entire de x
1
CPGE Laayoune https ://www.facebook.com/mathlaayoune Essaidi Ali
2. Dveloppement en srie entire de
1
1 x
+

n=0
x
n
2
:
La fonction x
1
1x
est dveloppable en srie entire sur ] 1, 1[ et on x ] 1, 1[,
1
1 x
=
+

n=0
x
n
. Dautre part,
le rayon de convergence de la srie entire

x
n
2
est 1 donc x
1
1 x
+

n=0
x
n
2
est dveloppable en srie entire sur
] 1, 1[ et on x ] 1, 1[ :
1
1 x
+

n=0
x
n
2
=

n=0
x
n

n=0
x
n
2

=
+

n=0

p+q
2
=n
1

x
n
=
+

n=0

n]

q=0
1

x
n
=
+

n=0
(

+ 1)x
n
En effet, {(p, q) N
2
/p + q
2
= n} = {(n q
2
, q) N
2
} = {(n q
2
, q)/q N et 0 n q
2
} = {(n q
2
, q)/q
N et q

n} = {(n q
2
, q)/q N et q [

n]} = {(n q
2
, q)/q {0, . . . , [

n]}}.
3. Nombre de solutions entires de lquation 2p + 3q = n :
On note n N, d
n
= card{(p, q) N
2
/2p + 3q = n}. On a x ] 1, 1[ :
1
(1 x
2
)(1 x
3
)
=
1
1 x
2
1
1 x
3
=

n=0
x
2n

n=0
x
2n

=
+

n=0

2p+3q=n
1

x
n
=
+

n=0
d
n
x
n
Dautre part, la dcomposition en lments simples de
1
(1X
2
)(1X
3
)
donne :
1
(1 X
2
)(1 X
3
)
=
1
(1 + X)(1 X)
2
(1 + X + X
2
)
=
1
4(1 + X)
+
1
4(1 X)
+
1
6(1 X)
2
+
1
3(1 + X + X
2
)
Et on a x ] 1, 1[ :
1
1 + x
=
+

n=0
(1)
n
x
n
,
1
1 x
=
+

n=0
x
n
,
1
(1 x)
2
=
+

n=0
(n+1)x
n
et
1
1 + x + x
2
=
1
(x j)(x

j)
=
1
j

1
x j

1
x

=
1
2i sin
2
3
+

n=0

j
1 jx

j
1 x

=
1
i

n=0
j
n+1
x
n

n=0

j
n+1
x
n

=
1
i

3
+

n=0
(j
n+1

j
n+1
)x
n
=
2

3
+

n=0
sin
2(n + 1)
3
x
n
.
Donc :
1
(1 x
2
)(1 x
3
)
=
+

n=0

1 + (1)
n
4
+
n + 1
6
+
2
3

3
sin
2(n + 1)
3

x
n
Par unicit du dveloppement en srie entire, on a n N, d
n
=
1+(1)
n
4
+
n+1
6
+
2
3

3
sin
2(n+1)
3
.
2 Cas particulier (n) = an+b et (n) = an+x avec a, b, c N et a = 0 :
Proposition 2 : Soient

nn
0
a
n
z
an+b
et

nn
1
b
n
z
an+c
deux sries entires de rayons de convergences respectifs R
a
et R
b
avec a, b, c N et a = 0. Alors :
|z| < min(R
a
, R
b
),

n=n
0
a
n
z
an+b

n=n
1
b
n
z
an+c

=
+

n=n
0
+n
1

p+q=n
a
p
b
q

z
an+b+c
Dmonstration :
Soit z C tel que |z| < min(R
a
, R
b
). On a :
1. Les sries numriques

nn
0
a
n
z
an+b
et

nn
1
b
n
z
an+c
convergent absolument.
2. La famille (I
n
)
nN
avec n N, I
n
= {(p, q) N
2
/p n
0
, q n
1
, p + q = n} forme une partition de I = {(p, q)
N
2
/p n
0
, q n
1
}.
Donc, daprs le thorme de sommation par paquets :
www.mathlaayoune.webs.com 2/3 mathlaayoune@gmail.com
CPGE Laayoune https ://www.facebook.com/mathlaayoune Essaidi Ali

n=n
0
a
n
z
an+b

n=n
1
b
n
z
an+c

(p,q)I
(a
p
z
ap+b
b
q
z
aq+c
)
=
+

n=n
0
+n
1

(p,q)I
n
a
p
b
q
z
a(p+q)+b+c

=
+

n=n
0
+n
1

p+q=n
a
p
b
q

z
an+b+c
Exemple dapplication :
1. Dveloppement en srie entire de arctan
2
:
La fonction arctan est dveloppable en srie entire sur ] 1, 1[ et on a x ] 1, 1[, arctan x =
+

n=0
(1)
n
2n + 1
x
2n+1
donc la fonction arctan
2
est dveloppable en srie entire sur ] 1, 1[ et on a x ] 1, 1[ :
arctan
2
x =

n=0
(1)
n
2n + 1
x
2n+1

2
=

n=0
(1)
n
2n + 1
x
2n+1

n=0
(1)
n
2n + 1
x
2n+1

=
+

n=0

p+q=n
(1)
p
2p + 1
(1)
q
2q + 1

x
2n+2
=
+

n=0

p+q=n
(1)
p+q
(2p + 1)(2q + 1)

x
2(n+1)
=
+

n=0

p+q=n
(1)
n
(2p + 1)(2q + 1)

x
2(n+1)
=
+

n=0
(1)
n

p+q=n
1
(2p + 1)(2q + 1)

x
2(n+1)
=
+

n=0
(1)
n

p+q=n

1
2p + 1
+
1
2q + 1

x
2(n+1)
2(n + 1)
=
+

n=0
(1)
n

p=0
1
2p + 1
+
n

q=0
1
2q + 1

x
2(n+1)
2(n + 1)
=
+

n=0
(1)
n

p=0
1
2p + 1

x
2(n+1)
n + 1
=
+

n=1
2(1)
n1

n1

p=0
1
2p + 1

x
2n
n
www.mathlaayoune.webs.com 3/3 mathlaayoune@gmail.com