Fiches de Rvision

MP
TOME II - Mathmatique

Jean-Baptiste Thou

Creactive Commons - Version 0.1

Licence
Jai dcid dditer cet ouvrage sous la licence Crative Commons suivante : CC-by-nc-sa.
Pour plus dinformation :
http ://creativecommons.org/licenses/by-nc-sa/2.0/fr/.
Ce type de licence vous offre une grande libert, tout en permettant de protger mon travail contre
une utilisation commercial mon insu par exemple.
Pour plus dinformation sur vos droits, consultez le site de Crative Commons

Avant-propos
Il y a un plus dun an, au milieu de ma SUP MP, jai dcid de faire mes fiches de rvision
laide de Latex, un "traitement de texte" trs puissant. Il en rsulte les fiches qui suivent. Je pense
que travailler sur des fiches de rvision, totalement spar de notre cours, est un norme plus, et
rduit grandement la quantit de travail pour apprendre son cours, ce qui laisse plus de temps
pour les exercices. Mon experience en tout cas va dans ce sens, jai notablement progress laide
de ces fiches.
Jai dcid de les rassembler sous forme dun "livre", ou plutt sous forme dun recueil. Ce livre
pour principal interet pour moi dtre transportable en cours. Cest cet interet qui ma pouss
faire ce livre.
Dans la philosophie de mes fiches de rvision, ce livre est disponible gratuitement et librement
sur mon blog. Il est dit sous License Crative Commons. Vous pouvez librement adapter ce
libre vos besoins, les sources Latex sont disponibles sur mon blog. Je pense que pour tre en
accord avec la philosophie de ces fiches, il serai bien que si vous effectuez des modifications de
mon ouvrage, vous rendiez ces modifications disponible tous. Je laisserai volontiers une place
pour vos modifications sur mon blog. Je pense sincrement que ce serai vraiment profitable au
plus grand nombre, et dans la logique de mon travail.
Jai hirarchis mon ouvrage de faon chronologique. Les parties sont ranges dans lordre "dapparition" en MP, tout en conservant une certaine logique dans les parties. Jai mis en Annexe des
petites fiches de mthodologie, qui peuvent savrer utiles.
Je vous souhaite une bonne lecture, et surtout une bonne russite.
Jean-Baptiste Thou
PS : Pour toutes corrections, propositions, ou autre, merci de me contacter : jbtheou@gmail.com
ou par lintermdiaire de mon site web.

iii

Remerciements
Je tient remercier Georges Marin, Professeur de Physique-Chimie en MP au Lyce Lesage et
Franois Brunou, Professeur de Mathmatiques en MP au Lyce Lesage.
Sans eux, ce livre ne pourrai exister.

Premire partie

Rvisions

Chapitre

Rappels et Complments
1.1

Relations de comparaison

1.1.1

Relations dquivalence

Soit R une relation.

nonc 1 R est une relation dequivalence sur E si et seulement si :
I) R est rflexive : x E, xRx
II) R est symtrique : (x, y) E 2 tq xRy, on as : yRx
III) R est transitive : (x, y, z) E 3 tq xRy et yRz, on as : xRz

1.1.2

Fonction module

nonc 2 La fonction module, fonction de [a, b] dans R, est une fonction continue

1.1.3

Voisinage fondamental

Dfinition 1 On dfini un voisinage fondamental de x0 R par :

Si x0 R : V = ]x0 r, x0 + r[
Si x0 = + : V= ]a,[
Si x0 = : V= ],a[

1.1.4

Ngligabilit

nonc 3 Soient u et v deux fonctions de R dans K, dfinies sur un mme voisinage de 0.

Par exemple, dfinies sur ]-r,r[, avec r > 0.
On dit que u est ngligable devant v en 0 si et seulement si, r0 ]0, r[ et h, une fonction dfinie par :
h : ]r0 , r0 [ K
avec lim h = 0 telque :
0

x ]r0 , r0 [ u(x) = v(x)h(x)

On le note
u = o(v)
0

Proprit 1 Soit u fonction de V dans K, avec V voisinage fondamental de x0 R.

Si est une constante de K , indpendante de la variable x, alors :
o(u) = o(u)
x0

Proprit 2 Soient o1 (u), o2 (u), ..., op (u) fonctions ngligable devant u.

Si p ne dpend pas de la variable x :
o1 (u) + o2 (u) + ... + op (u) = o(u)
Notation dHardy et de Landau
nonc 4 Soient u et v deux fonctions de R dans K, dfinies sur un voisinage ]r, r[, avec r>0, en 0.
u  v u = o(v)
0

La premire notation est la notation dHardy. La seconde est celle de Landau.

1.1.5

quivalence

nonc 5 Soient u et v deux fonctions de R dans K, dfinies sur un voisinage ]r, r[, avec r>0, de 0. On
dit que u est quivalent v en 0 si et seulement si, r0 ]0, r[ et h, une fonction dfinie par :
h : ]r0 , r0 [ K
avec lim h = 1 telque :
0

x ]r0 , r0 [ u(x) = v(x)h(x)

On le note :
uv
0

Proprit 3 Soient u et v deux fonctions quivalente en x0 .

Nous avons, si est indpendant de la variable :
u v u v
x0

x0

Proprit 4 Avec les conditions prcdentes, nous avons :

u v u = v + o(v)
x0

x0

u v uv v
x0

x0

Par symtrie, on peut inverser ces relations.

Proprit 5 Soient u et v deux applications de V dans K, dfinies sur un voisinage fondamental V de
x0 R.
Si u v, et u(x) l C ou l R, alors :
x0

x0

v(x) l
x0

Proprit 6 Avec les conditions prcdentes : Si u(x) u1 (x) et v(x) v1 (x), alors :
x0

x0

u(x)v(x) u1 (x)v1 (x)

x0

u
u1

v x 0 v1
Proprit 7 Si u(x) v(x) et si u et v restent > 0 au voisinage de x0 et si u(x) et v(x) tendent vers
x0

l R+ {1} en x0 , alors :
ln(u) ln(v)
x0

1.1.6

Ngligabilit et quivalence

Proprit 8 Soient u et v deux fonctions de V dans K, avec V un voisinage fondamental de x0 R.

Alors :
u v o(u) = o(v)
x0

x0

Proprit 9 Si u1 , u2 , ..., up sont des fonctions de R dans K, dfinies sur un voisinage ]r, r[, avec r>0,
de 0. Si u1  u2  ...  up , alors :
0

u1 + ... + up u1
0

1.1.7

Lien entre limite et somme

Proprit 10 Soient h2 , h3 , ..., hp fonctions telque :

k {2, .., p} lim hk = 0
0

La consquence suivante est vraie uniquement si p est indpendant de x :

lim h2 + ... + hp = 0
0

1.1.8

Signe et quivalent

Proprit 11 Soient u et v deux fonctions de R dans R dfinies sur un voisinage de 0, telque :

uv
0

alors, > 0 telque x ], [, u(x) et v(x) ont mme signe et mme points dannulation.
"Un quivalent contrle localement le signe"

1.1.9

Domination - Grand O

Dfinition 2 Soient u et v deux fonctions de R dans K, dfinies sur un voisinage ]r, r[, avec r>0, de 0.
On dit que u est domin par v si et seulement si, r0 ]0, r[ et h, une fonction dfinie par :
h : ]r0 , r0 [ K
avec h borne sur ]-r,r[ telque :
x ]r0 , r0 [ u(x) = v(x).h(x)
On le note :
u = O(v)
0

1.1.10

Dans le cas des suites

Domination - Grand O
Dfinition 3 Soient (un ) et (vn ) deux suites valeurs dans K.
un = O(vn ) (n0 N, (hn )nn0 tq n n0 un = vn hn )
avec (hn )nn0 suite borne.

1.2
1.2.1

Fonctions
Fonctions continue sur un segments

Soit f fonction continue de [a, b] dans R.

Proprit 12 f est borne sur [a, b] :
M R+ tq x [a, b] |f (x)| M
Proprit 13 f est majore et minore, et atteint son sup et son inf en des points de [a, b] :
[a, b] tq sup f = f ()
[a,b]

[a, b] tq inf f = f ()
[a,b]

Proprit 14 f est uniformement continue sur [a,b]

1.2.2

Fonctions continue par morceaux sur un intervalle

Proprit 15 Si f est continue par morceau sur un intervalle I, il en est de mme pour |f|.
Proprit 16 Lensemble des application dun intervalle I, valeur dans K, continue par morceaux sur I,
est une algbre.
Cest dire que cet espace est stable par addition, produit par un scalaire, et par produit. Mais cet ensemble
nest pas stable par composition.

1.2.3

Thorme des accroissements finis

La notation f C n ([a, b] , R) signifie que f est de classe de C n de [a, b] dans R

Dfinition 4 Soit f C 1 ([a, b] , R), alors :
c ]a, b[ tq f (b) f (a) = f 0 (c)(b a)
Ce thorme nest valable que pour les fonctions valeurs dans R. Dans le cas plus gnral des fonctions
valeurs dans C on utilise lingalit des accroissement finis

1.2.4

Ingalit des accroissement finis

Dfinition 5 Soit f C 1 ([a, b] , K).

Si f est borne sur [a, b], alors :
|f (b) f (a)| sup|f 0 |.(b a)
[a,b]

On dmontre le lien entre le signe de la drive et les variations de la fonction laide de cette
ingalit.

1.2.5

Thorme de Rolles

nonc 6 Soit f application continue sur [a,b] et drivable sur ]a,b[.

Si f(a) = f(b), alors :
c ]a, b[ tq f 0 (c) = 0

1.2.6

Thorme des valeurs intermdiaire

Les trois proprits suivantes sont quivalentes.

Proprit 17 Soit f application continue de I dans R, avec I intervalle inclus dans R.
Alors f(I) est aussi un intervalle
Proprit 18 Soit f application de A dans R, dfinie et continue sur [a,b].
Si :
f (a)f (b) 0
Alors :
c [a, b] tq f (c) = 0
Proprit 19 Soit f application continue de I dans R.
(x, x0 ) I 2 , tous y compris entre f(x) et f(x0 ) est une valeur de f sur [x, x0 ]
Cas particuliers
Proprit 20 Soit f, fonction de R dans R, continue sur [a,b].
Alors f([a,b]) = [m,M], avec :
m = inf f
[a,b]

M = sup f
[a,b]

Proprit 21 Soit f fonction de R dans R, continue et strictement croissante sur un intervalle I.

Alors f induit une bijection de I sur f(I), qui est lui mme un intervalle, et sa bijection rciproque, f 1 , de
f(I) dans I, est galement continue et strictement croissante.
On peut prciser f(I). Quand I possde une borne ouverte, on fait appelle la limite de f en la valeur de cette
borne, et quand I possde une borne ferme, on prend la valeur de f en cette borne. Par exemple :
i
i
I = ]a, b] f (I) = lim f, f (b)
a

Proprit 22 Soit f fonction de R dans R, croissante sur I.

Alors :
Soit f nest pas majore sur I, alors dans ce cas :
f (x)
x

Soit f est majore sur I, alors dans ce cas :

f (x) sup f
x

1.2.7

Lien entre limite et borne

Proprit 23 Soit f fonction de R dans K, dfinie sur un voisinage de x0 R.

Si f a une limite finie quand x tend vers x0 , alors il existe un voisinage de x0 V telque f soit borne sur V.

1.2.8

tude de Arctan

Dans le cas dune tude asymptotique de arctan au voisinage de , la proprit suivant peut
etre utile :
Proprit 24
1

u R+ arctan(u) + arctan( ) = .
u
2
avec = +1 si u est positif, -1 si u est ngatif

1.2.9

Limite dune fonction

Proprit 25 Soit f une fonction complexe.

( f est continue par morceaux ) ( Re(f) et Im(f) sont continue par morceaux )
Proprit 26 Soit f fonction complexe, dcomposable en f = f1 + if2 . Soit (l1 , l2 ) R2
(lim f = l = l1 + il2 ) (lim f1 = l1 et lim f2 = l2 )

1.2.10

Injectivit

Dfinition 6 Soit f application de I dans I.

f est injective si et seulement si :
(x, x0 ) I f (x) = f (x0 ) x = x0
Cest dire que si il y a galit entre les images, alors il y a galit entre les vecteurs.
Proprit 27 Soit f application linaire entre deux espaces vectoriels.
( f est injective ) Ker(f ) = {0}

1.2.11

Surjectivit

Dfinition 7 Soit f application de I dans I.

f est surjective si et seulement si :
y I 0 x I tq f (x) = y
Ceci veut dire que chaque images possde un antcdent. On peut aussi crire cette condition ncssaire et
suffisante sous la forme :
f (I) = I 0

1.2.12

Bijectivit

Dfinition 8 Soit f une application de I dans I.

f est une bijection de I sur I si et seulement si :
y I 0 !x I tq f (x) = y
Chaque image possde un et un seul antcdent. Dans ce cas, on peut dfinir lapplication rciproque f 1 :
f 1 : I 0 I
y f 1 (y)
avec f 1 (y) lunique antcdent de y par f.
Proprit 28 f est une bijection si et seulement si f est injective et surjective.
Proprit 29 Soit f une fonction bijective.
Si x I, y I 0 .
(f (x) = y) (x = f 1 (y))
Et :
f 1 of = IdI
f of 1 = IdI 0

1.2.13

Diffomorphisme

Dfinition 9 Soit f une application C k dun intervalle I dans R, avec k N (le cas k=0 est cart, car ce
cas possde un nom diffrent).
On dit que f ralise un C k -diffomorphisme de I sur f(I) si et seulement si :
f ralise une bijection de I sur f(I)
f est C k sur I
La fonction rciproque, f 1 de f(I) dans I, est galement C k sur f(I).
On dit que f est un C diffomorphisme de I sur f(I) si f est un C k diffomorphisme de I sur f(I) pour tous
k N
Thorme 1 Soit f une application de classe C 1 de R dans R, avec k N sur un intervalle I R.
Alors f est un C 1 diffomorphisme de I sur f(I) si et seulement si f ne sannule pas sur I.
Dans le cas, dapres le thorme des valeurs intermdiaire, f garde donc un signe constant sur I.
Si x I :
f(x) > 0, alors f est un C 1 diffomorphisme strictement croissant
f(x) < 0, alors f est un C 1 diffomorphisme strictement dcroissant

1.3
1.3.1

Dveloppements limits
Lien entre dveloppement limit et drivabilit

Soit f fonction de R dans K dfinies sur un voisinage V0 de 0. Supposons que f admet un

dveloppement limit dordre 1 de la forme : f (x) = a + bx + o(x)
Proprit 30
( f admet un dveloppement limit dordre 1 en 0 ) ( f est drivable en 0 )
Proprit 31 On obtient les galits suivantes :
f (0) = a
f 0 (0) = b
De plus, lquation de la tangente en 0 au graphe de f est :
y = a + bx

1.3.2

Position relative de la courbe par rapport la tangente

Soit f fonction de R dans K dfinies sur un voisinage V0 de 0. Supposons que f admet un

dveloppement limit dordre 2 de la forme : f (x) = a + bx + cxp + o(xp ), avec c 6= 0.
Proprit 32 La position de la courbe par rapport sa tangente au voisinage du point dabscisse O=(0,a),est
donne laide du signe de c.xp (Voir Signe et quivalent)

1.3.3

Dveloppement limits usuels

( 1) 2
x + o(x2 )
2!
x2
x4
x6
cos(x) = 1
+

+ o(x6 )
2!
4!
6!
x3
x5
x7
sin(x) = 1
+

+ o(x7 )
3!
5!
7!
x2
x3
x4
ex = 1 + x +
+
+
+ o(x4 )
2!
3!
4!
1
= 1 + x + x2 + ... + xn + o(xn )
1x

(1 + x) = 1 + x +

x2
x4
x2n
+
+ ... +
+ o(x2n+1 )
2!
4!
2n!
x5
x2n+1
x3
+
+ ... +
+ o(x2n+1 )
sh(x) = 1 +
3!
5!
(2n + 1)!
x2
x3
ln(1 + x) = x
+
+ o(x3 )
2
3
x3
+ o(x3 )
tan(x) = x +
3
x3
x5
x2n+1
arctan(x) = x
+
... + (1)n
+ o(x2n+2 )
3
5
2n + 1

ch(x) = 1 +

1.3.4

Dveloppement asymptotique dune "chelle de comparaison E"

Dfinition 10 Soit x0 R, et E un ensemble de fonction de R dans K, dont chacune est dfinie sur un
voisinage fondamental de x0 .
On dit que f admet un dveloppement asymptotique dans lchelle E la prcision o(up ), up E, sil
existe des applications u1 , ..., up appartenant E et des scalaires 1 , 2 , ..., p K p , non tous nuls, et un
voisinage fondamental V de x0 telque :
u1  ...  up
x V f (x) = 1 u1 (x) + ... + p up (x) + o(up (x))
Exemples dchelle de comparaison E
Pour x0 R, lchelle des dvellopements limits en x0 :
E = {x 7 (x x0 )n , n N}
Pour x0 R :
E = {x 7 (x x0 )n , n Z}
Pour x0 = :
(
E=

P (x)

x 7 x (ln(x)) e

, P (x) =

q
X

)
1

qi x , (, ) R , q N , qi R , i R

i=1

1.4
1.4.1

Intgrale
Somme de Riemmann

Soit f, fonction continue par morceaux de [a, b] dans K. Soit (un ) la somme de Riemmann
associ f
Proprit 33 Quand n tend vers linfini, le nombre de termes tend vers linfini, et chacun des termes tend
vers 0. La limite de la somme nest pourtant pas nul
Proprit 34
n1
X

lim un = lim

1.4.2

k=0

ba
f (xk ) =
n

f
a

Ingalit de majoration

Proprit 35 Soit f fonction continue par morceaux de [a,b], a<b, dans K.

Z
|

Z
f|

|f |
a

Croissance de lintgrale
Proprit 36 Soient f,g deux fonctions continue par morceaux de [a,b], a<b, dans R.
Si :
f g
alors :
Z

Z
f

1.4.3

g
a

Ingalit de Cauchy-Schwarz

nonc 7 Soit u et v deux vecteurs dun R espace vectoriel. :

< u|v > ||u||.||v||
Proprit 37 Si f et g sont deux applications continue par morceaux de [a,b] dans K, alors :
Z

s
Z

|f (t)|2 dt.

f (t)g(t)dt|

|
a

|g(t)|2 dt

Le produit scalaire sous jacents dans le cas rel est :

Z
< f |g >=

f (t).g(t)dt
a

A laide de ceci, on peut dmontrer lingalit des accroissements finis.

1.4.4

Intgrale et ngligabilit

Proprit 38 Si u et v sont deux applications de R dans K, continue sur un voisinage de 0 (pour que lon
puisse dfinir les intgrales). Alors :
Z x
Z x
uv
u
v
0

1.5
1.5.1

Vrac
Suite gomtrique

Proprit 39 La somme dune suite gomtrique de raison z est donne par, pour z 6= 1 :
1 + z + ... + z n =

1 z n+1
1z

Pour z = 1 :
1 + z + ... + z n = n + 1
Application aux matrices
Soit A une matrice carre.
De mme, on obtient, si (I-A) est inversible :
I + A + A2 + ... + An = (I A)1 (I An+1 )
= (I An+1 )(I A)1
On observe que les matrices commutent (Ce qui nest pas le cas gnral)

1.5.2

Suite complexe

Soit (un ) une suite de complexe.

Proprit 40
lim |un | = 0 lim un = 0

1.5.3

Utilisations des ingalits

Soient (un ) et (vn ) deux suites qui tendent vers l et l

Proprit 41 Si n N un vn , alors l l0 .
Mais si n N un < vn , alors l l0 .
On observe donc quil est plus "facile" de travailler sur des ingalits large, car avec les ingalits, seules
les ingalits larges sont conserves lors du passage la limite.

1.5.4

Densit

Soient A et A deux sous ensembles non vide de C, avec A inclue dans A.

nonc 8 On dit que A est dense dans A si :
a0 A0 , > 0, a A tq |a0 a|
Proprit 42 On dit que A est dense dans A si tous points de A est la limite dune suite de points de A

1.5.5

Formule du binme et drive

Dfinition 11 Soit a et b deux complexes :

(a + b)n =

n  
X
n k nk
a .b
k

k=0

Proprit 43 On peut tendre la formule du binome au drivation dun produit de fonction :

(n)

(f g)

n  
X
n
k=0

f (k) .g (nk)

Proprit 44 De mme, on peut tendre cette formule aux matrices si les deux matrices commutent.
Soient A et B deux matrice carre telque AB=BA :
n

(A + B) =

n  
X
n
k=0

1.5.6

Ak .B nk

Drive successives de cosinus et sinus

nonc 9 Soit n N :

cos(n) (x) = cos(x + n. )

2

sin(n) (x) = sin(x + n. )

2

Proprit 45 k N :
cos(2k) = (1)k cos(x)
sin(2k+1) = (1)k+1 cos(x)

1.5.7

Rgle de dAlembert

Soit (un ) une suite de rels positifs.

Supposons que :
lim

un+1
=a
un

Si a [0, 1[, (un ) converge vers 0

Si a>1, (un ) diverge vers +

1.5.8

Nombre complexe

Proprit 46 Si z = x + iy, avec x,y deux rels, alors :

|x| |z|
|y| |z|

1.6
1.6.1

Les polynomes
Polynomes irrductibles

Proprit 47 Si K est un corps commutatif, tous polynomes de K[X] scrit comme le produit dun nombres
de polynomes irrductible de K[X] et cette criture est unique lordre prs des facteurs.
nonc 10 Les polynomes irrductibles de C[X] sont les polynomes du 1er degrs.
Les polynomes irrductibles de C[X] unitaire sont les polynome aX+, avec un complexe et a=1.
nonc 11 Les polynomes irrductibles de R[X] sont les polynomes du 1er degrs et les polynomes du 2nd
degrs avec discriminant ngatif.

1.6.2

Racine et ordre de multiplicit

Dfinition 12 Soit un complexe.

est une racine dordre n de P K[X] si et seulement si (X )n divise P et que (X )n+1 ne le divise
pas.
Proprit 48 Soit un complexe.
est une racine dordre n de P K[X] si et seulement si :
k {0, n 1} P (k) () = 0
et que
P (n) () 6= 0
Proprit 49 Soit z un complexe.
On peut factoriser z n 1 sous la forme :
n

z 1=

k2
(z e n )

n1
Y

k=0

Proprit 50 Daprs la proprit prcdente, et en utilisant le faite que :

1 + z + ... + z n1 =

zn 1
z1

On obtient que :
1 + z + ... + z n1 =

k2
i
(z e n )

n1
Y
k=1

Proprit 51 Soit P R[X], et une racine complexe de P, avec imaginaire.

Alors :
multP () = multP ()

Deuxime partie

Intgrales, Fonctions

15

Chapitre

Intgrales gnralises, Fonctions

intgrables
2.1

Applications continues par morceaux

En ce qui concerne les intgrales, le programme se limite aux applications continues par morceaux.

2.1.1

Dfinitions

Dfinition 13 Soit f, une application (fonction dfinies sur tous lespace de dpart) de [a, b] dans K, avec
a et b deux rels, a<b.
On dit que f est continue par morceaux sur [a,b] sil existe une subdivision finie de [a,b] :
a = x0 < x1 < ... < xp = b
telque :
i {0, ..., p 1}, f est C 0 sur ]xi , xi+1 [
i {1, ..., p 1}, f admet une limite finie droite et une limite finie gauche de xi
f admet une limite finie droite en a et une limite finie gauche en b

Dfinition 14 On peut dfinir pour tous i {0, ..., p 1} des applications continues f i de [xi , xi+1 ]
dans K, dfinies par :

Si x ]xi , xi+1 [ f i (x) = f (x)

f i (xi ) = lim+ f (x)

xxi

f i (xi+1 ) =

lim f (x)

xx
i+1

f i est donc le prolongement par continuit de f sur [xi , xi+1 ]

Il existe aussi la variante suivante de cette dfinition :
Dfinition 15 Soit f application de [a, b] dans K.
f est continue par morceaux si il existe une subdivision finie de [a, b] :
a = x0 < x1 < ... < xp = b
et des applications continues, avec i {0, ..., p 1} :

f : [xi , xi+1 ] K
17

telque, i {0, ..., p 1} :

f]xi ,xi+1 [ = f i
Dfinition 16 Soit I un intervalle quelconque de R et f, application de I dans K.
On dit que f est continue par morceaux sur I si f est continue par morceaux sur tous segments (intervalle
born ferm) [a, b] I
Proprit 52 Si f est une application continue par morceaux de [a, b] dans K, alors :
b

f=
a

p1 Z
X

xi+1

fi

xi

i=0

Proprit 53 Soient f,g fonctions de [a, b] dans K. Si f est une application intgrable au sens de Riemann
sur [a, b] et si g ne diffre quen un nombre finie de point de f, alors g est galement intgrable au sens de
Riemann et :
Z b
Z b
f
g=
a

2.2
2.2.1

Convergence dune intgrale

Convergence vers

Dfinition 17 Soit f application continue par morceaux de [a, [ dans K.

Alors, x [a, [, f est continue par morceaux sur [a, x] et on peut calculer :
x

f
a

Cest dire que lon peut dfinir une nouvelle application F :

F : [a, [ K
Z x
x 7
f
a

Lorsque F a une limite finie, quand x , on dit que

Z

R
a

f converge, et on note :

f = lim F (x)
x

En ralit, on devrai dire que

f existe, ou que

Rx
a

f converge quand x

Proprit 54 Si R et a R+
:
R dt
converge si et seulement si > 1.
a t
De plus, on peux calculer la limite par primitivation.
Proprit 55 Soit f une application continue par morceaux de [a, [ dans K, et si b [a, [
Z

Z
f converge si et seulement si

f converge

Dans ce cas, on obtient la relation de Chasles :

Z

Z
f=

Z
f+

f
b

2.2.2

Convergence vers 0

Dfinition 18 Soit f application continue par morceaux de ]0, a] dans K.

Alors on peut dfinir F, fonction de ]0, a] dans K, dfini par :
Z a
x ]0, a] F (x) =
f
x

Ra

Car f est continue par morceaux sur [x, a] On dit que 0 f converge lorsque F(x) a une limite finie quand
Ra
Ra
x tend vers 0+ . En ralit, on devrai dire que 0 f existe, ou que 0 f converge quand x 0+
Proprit 56 Si R et a R+
:
R a dt
converge si et seulement si < 1.
0 t
De plus, on peux calculer la limite par primitivation.
Proprit 57 Soit f une application continue par morceaux de ]0, a] dans K.
Z b
Z a
f converge
f converge si et seulement si
b ]0, a]
0

Dans ce cas, on obtient la relation de Chasles :

Z a
Z
f=
0

2.3
2.3.1

Z
f+

Rsultats spcifiques sur les applications de [a; [ valeurs

dans K
Limite de lapplication et convergence de lintgrale

Soit f, application continue par morceaux sur [a; [ valeurs dans K, avec a R.
R
Proprit 58 Si f a une limite finie l, l K, quand x , et si a f converge, alors l=0
Proprit 59 Si f est valeur relle et si f a une limite l, l R + {+; }, quand x , et si
converge, alors l=0.

R
a

60 Soit f application continue par morceaux de [a, [ dans R.

RProprit

peut
tre
convergente sans que f ait une limite en , ou que f soit borne.
a

2.3.2

Caractrisation squentielle dune limite

Proprit 61 Soit f application continue par morceaux de [a, [ dans K. Soit l K

( lim f (x) = l) ((xn ) valeur dans [a, [ tendant vers , f (xn ) l)
x

et l K ( ou l R
si
Proprit 62 Soit f application de R dans K dfinies sur un voisinage V de x0 R,
K=R)
( lim f (x) = l) ((xn ) valeur dans V, tendant vers x0 , f (xn ) l)
x x0

xV

2.4

Dfinitions et proprits gnrales

Dans les chapitres suivants, on adopte la notation suivante :

Z
Z x
f = lim
f
a

Dfinition 19 Soit a R, et R + {+}, avec a .

Soit f application continue par morceaux de [a, [.
On peut alors dfinir F :
F : [a, [ K
Z x
f
x 7
a

On dit que a f converge si et seulement si F(x) a une limite finie dans K quand x tend vers par valeur
inferieur.
R
On note alors a cette limite.
Proprit 63 Soit f application continue par morceaux de [a, [ dans K.
Si b [a, [ :


Z
Z

f converge

f converge
b

Dans ce cas, nous avons la relation de Chasles suivante :

Z
Z b
Z
f=
f+
a

Proprit 64 Soit f application continue par morceaux de [a, [ dans K.

R :
f : [a, [ K
x 7 f (x)
est une fonction continue par morceaux et :
Z

Z
f converge
a


f converge

Et dans ce cas :

f =
a

f
a

Proprit 65 Soient f et g deux applications continues par morceaux de [a, [ dans K.

Alors
R f+g est
R continue par morceaux.
R
Si a f et a g converge, alors a f + g converge et :
Z
Z
Z
f +g =
f+
g
a

Proprit 66 Soit f application de [a, [ dans C. Soient f1 = Re(f) et f2 = Im(f ).

f est continue par morceaux sur [a, [ f1 et f2 sont continue par morceaux sur [a, [.
Dans ce cas :
Z

Z

Z
f converge
f1 et
f2 convergent
a

. On obtient alors :

f=
a

Z
f1 + i

Proprit 67 Soit f application continue par morceaux de [a, [ dans K, avec :

R {}
R {+}

Soit ], [ Si f est continue par morceaux sur ], [ et sur ], [ On dit que

R
R
intgrales f et f convergent.
On obtient alors que :
Z
Z
Z
f=
f+
f

f converge si les

2.5

Convergence Absolue, Fonctions intgrables sur un intervalle

Dans ce chapitre, nous allons nous limiter aux applications continue par morceaux de [a, [
dans K, avec :
R {}
a R, a
Mais les dfinitions et rsultats se gnralise sur des applications continues par morceaux sur
], [ ou sur ], [ , ], [.

2.5.1

Convergence Absolue

Dfinition 20 Soit f application continue par morceaux sur [a, [ dans K.

Lapplication g :
g : [a, [ R+
x 7 |f (x)|
est aussi continue par morceaux sur [a, [. R
R

On dit que f est intgrable sur [a, [ ou que a f converge absolument lorsque a |f | converge
Proprit 68
Z

Z
f converge absolument) (

(
a

2.5.2

f converge)
a

Critre de Cauchy

Critre de Cauchy pour les suites

nonc 12 On dit quune suite (un ) a valeur dans K vrifie le critre de Cauchy si et seulement si :
> 0, N0 N tq (p, q) N2 tq p et q N0 :
|up uq |
En faite, on obtient une dfinition quivalente en se limitant aux couples (p,q) N2 telque q>p. Ce qui
donne :
(un ) est une suite de Cauchy si et seulement si :
> 0, N0 N tq q > p N0 |up uq |
Proprit 69 Toutes suites (un ) valeur dans R vrifiant le critre de Cauchy converge.
Proprit 70 Toutes suite de Cauchy valeur dans C converge dans C
Critre de Cauchy pour les fonctions

Dfinition 21 Soit f fonction de R dans K, dfinie sur un voisinage V de x0 R.

On dit que f vrifie le critre de Cauchy en x0 si et seulement si :
> 0, U voisinage de x0 dans V tq (x, x0 ) U 2 , |f (x) f (x0 )|

Proprit 71 Avec les notations prcdantes, si f, fonction de R dans K, dfinie au voisinage de x0 R,

admet un limite finie en x0 , alors f vrifie le critre de Cauchy en x0
vrifie le critre de Cauchy en x0 ,
Proprit 72 Si f, fonction de R dans K, dfinie au voisinage de x0 R,
alors f admet une limite finie en x0

2.6

Convergence des intgrales de fonctions positives - Intgrabilit

2.6.1

Proprits fondamentale

Proprit 73 Soit f, application continue par morceaux de [a,b[ dans R.

Si f est valeurs positives sur [a,b[, alors :
Z x
f (t)dt est croissante
x 7
a

Convergence dune intgrale de fonction positive par majoration

Proprit 74 Soient f et g deux fonction continue par morceaux de [a,b[ dans R.
Si t [a,b[ 0 f (t) g(t), alors :
Z

Z
g converge ) (

Z
(

Z
g diverge ) (

f (t)

f converge et 0

g(t))
a

f diverge )

Intgration par domination

Proprit 75 Soient f et g deux fonctions continue par morceaux de [a,b[ dans K.
Si f = O(g) (Grand O), alors :
b

( g intgrable sur [a,b[ ) ( f intgrable sur [a,b[ )

Convergence des intgrales de fonction positive
Proprit 76 Soient f et g deux fonction continue par morceaux de [a,b[ dans R, telque :
f et g soit de signe constant au voisinage de b
f
g

alors :
b

Z
(

Z
g converge ) (

f converge )

Z
(

Z
g diverge ) (

f diverge )

On dit que ces deux intgrales sont de mme nature.

Proprit 77 Soit b rel fini > a.
Si f est une fonction continue par morceaux de [a,b[ dans K, et si f a une limite finie en b , alors :
Z

f converge
a

2.6.2

Rgles de Riemann

En
Soit a R
nonc 13 Soit f fonction continue par morceaux de [a, [ dans K.
Si il existe > 1 telque t f (t) 0, alors f est intgrable sur [a, [.
t

Proprit 78 Soit f fonction de [a, [ dans R, continue par morceaux.

Si tf(t) 0, alors :
t
Z
f diverge
a

En 0
Soit a R
nonc 14 Soit f fonction continue par morceaux de ]0, a] dans K.
Si il existe < 1 telque t f (t) 0, alors f est intgrable sur ]0, a].
tO +

Proprit 79 Soit f fonction de ]0, a] dans R, continue par morceaux.

Si tf(t) + 0, alors :
t0
Z a
f diverge
0

2.6.3

Intgrale de Bertrand

Proprit 80 Soit a>1 et (, ) R2 .

Z
a

dx
converge

x ln(x)

( > 1, ou = 1, > 1)

Proprit 81 Soit a ]0, 1[ et (, ) R2 .

Z
0

2.7
2.7.1

dx
converge

x ln(x)


( < 1, ou = 1, > 1)

Intgration par parties - Changement de variable

Intgration par parties

Dfinition 22 Soient u et v deux applications de [a,b[ dans K C 1 par morceaux et continue sur [a,b[.
Z
a

u0 v = [uv]a

uv 0

Avec :
b

[uv]a = lim [uv]a

xb

2.7.2

Changement de variable

Soit f fonction continue sur [a,b[, valeur dans K.

Soit g fonction C 1 sur [a,b[ valeur dans [a,b[, avec a=g(a), b= lim g(x).
xb

b0

f (t)dt =
a

2.8

f (g(u))g 0 (u).du

a0

Quelques espaces remarquables

Dans tous ce chapitre, on considre que I est un intervalle fondamental.

Dfinition 23 On dit que I est un intervalle fondamental si :

I = [a, b] ; I = [a, b[ ; I = ]a, b] ; I = ]a, b[
Avec, selon les cas :
a R ou a R {}
b R ou b R {+}
Cette notation est une notation personnelle.
Proprit 82 Lensemble des applications continue par morceaux de I dans K telque
K espace vectoriel

R
I

f converge est un

Proprit 83 Lensemble L1cpm , qui est lensemble des applications continue par morceaux sur I, valeur
dans K, et intgrable sur I, est un K espace vectoriel. Cest un sous-espace vectoriel de lespace prcdent.
Proprit 84 Lensemble L2cpm , qui est lensemble des applications continue par morceaux sur I, valeur
dans K, de carre intgrable sur I, est un K espace vectoriel.
Lemme 1 Soit a et b deux complexes :
|a + b|2 2.(|a|2 + |b|2 )
Si a et b sont rel, ce lemme devient :
(a + b)2 2.(a2 + b2 )

2.9

Remarque concernant le reste

Dfinition 24 Soit f fonction de [a, b[ dans K, avec a rel et b R {+}, continue par morceaux et
Rb
telque a converge.
On a donc aussi :
Z b
x [a, b[
f converge
x

On peut donc dfinir le reste intgrale au voisinage de b, note R(x) :

R : [a, b[ K
Z b
x 7
f
x

Proprit 85 Avec les notations et dfinition prcdantes, on obtient que :

lim R(x) = 0

xb

Chapitre

Intgrales paramtres
3.1

Thorme de continuit

Soit :
f :X I K
(x, t) 7 f (x, t)
avec X et I intervalles de R.
On peut dfinir :
Z
F (x) =

f (x, t)dt
I

R
condition suffisante que t 7 f (x, t) soit C 0 par morceaux sur I et que I f (x, t)dt converge.
Si cette condition est satisfaite, pour tout x X, on peut dfinir une nouvelle application :
F :XK
x 7 F (x)
Avec :
Z
F (x) =

f (x, t)dt
I

Thorme 2 Avec les notations prcdentes, si :

x X, t 7 f (x, t) est continue par morceaux sur I
t I, x 7 f (x, t) est continue sur X
Condition de domination : : I R+ , condition par morceaux, intgrable sur I, telque :
(x, t) X I |f (x, t)| (t)
Alors F est dfinie et continue sur X.
Proprit 86 En considrant que la continuit est une proprit locale, on peut remplacer la condition de
domination par :
[a, b]c X, [a,b] : I <+ continue par morceaux et intgrale sur I telle que :
x [a, b] t I, |f (x, t)| [a,b] (t)
25

3.2

Thorme de classe C 1

Thorme 3 Soit f :
f : R2 K
(x, t) 7 f (x, t)
Avec K un corps, X et I deux intervalles de R.
Si :
x X, t 7 f (x, t) est continue par morceaux sur I
f
t I, x 7 f (x, t) est C 1 sur X et t
(x, t) est continue par morceaux sur I
x
Condition de domination : : I R+ , condition par morceaux, intgrable sur I, telque :
f
(x, t)| (t)
x

(x, t) X I |
Alors F :

F :XK
x 7 F (x)
Avec :

Z
F (x) =

f (x, t)dt
I

est dfinie et de classe C 1 sur X et :

x X F 0 (x) =

Z
I

f
(x, t)dt
x

On appelle ceci formule de drivation soussigne intgrale de Lipnitz

Proprit 87 En considrant que la continuit est une proprit locale, on peut remplacer la condition de
domination par :
[a, b]c X, [a,b] : I <+ continue par morceaux et intgrale sur I telle que :
x [a, b] t I, |

3.3

f
(x, t)| [a,b] (t)
x

Thorme de classe C p (Hors programme)

Thorme 4 Soit F :

Z
F : x 7

f (x, t)dt
I

avec f une fonction de XxI dans K, avec X et I des intervalles inclus dans R. Si :
t I, x 7 f (x, t) est C p sur X, p N.
kf
Condition de domination : x X, k [|0, p|], t 7
(x, t) est continue par morceaux sur I,
xk
et k [|0, p|], k fonction de I dans R+ , continue par morceaux sur I et intgrable sur I telque :
(x, t) X I, |

kf
(x, t)| k (t)
xk

Alors F est C p sur X et les drives succsives sobtienne en drivant sous le signe intgrale
Proprit 88 Comme dans les thormes prcdent, en considrant le caractre locale de la classe C p , on
peut se ramener pour la condition de domination tout segment inclu dans X. On peut aussi considr une
famille dintervalle exaustives.

Chapitre

Approximation uniforme
4.1

Approximation uniforme par des fonctions en escaliers

Thorme 5 Soit [a,b] un segment inclu dans R.

Pour toute fonctions f de [a,b] dans K ,ou plus gnralement dans E, un K espace vectoriel norme, et
> 0 :
: [a, b] K ou E
fonction en escalier, telle que :
k f k,[a,b] <
Il existe plusieurs variantes de thorme :
Thorme 6 Caractrisation squentielle :
Avec les notations prcdentes, quelque soit f, fonction de [a,b] dans K ou E, il existe une suite de fonctions
en escalier (n ) de [a,b] dans K ou E, convergeant uniformement vers f sur [a,b]
Thorme 7 Lensemble E des fonctions en escalier de [a,b] dans K ou E est dense dans lensemble Cpm
des fonctions continue par morceaux de [a,b] dans K ou E.

4.2

Gnralisation aux fonctions continues par morceaux

Avec les notations prcdentes :

Soit f une fonction de [a,b] dans K ou E, continue par morceaux. Cest dire quil existe une
subdivision, not :
a = a0 < < ap = b
telque f soit continue sur ]ak , ak+1 [ , k [|0, p 1|], et f admet une limite droite et gauche en
ak , droite en a0 , a gauche en ap .
On peut donc dfinir fk , le prolongement par continuit de f sur [ak , ak+1 ].
Soit > 0. Il existe k en escalier sur [ak , ak+1 ] telque :
k fk k k,[a,b] <
On peut donc dfinir , commme coincident avec les k et gale f aux bornes des intervalles.
On obtient donc que :
k f k,[a,b] <
27

4.3

Thorme

Dfinition 25 Soit : [a, b] E. On dit que est affine si il existe une subdivision :
a < x0 < ... < xp = b
telque :

2
k [|0, p 1|], (

k k ) E tq t ]xk , xk+1 [ (t) = t.k + k

Thorme 8 Soit f, application continue de [a,b] dans E, un K espace vectoriel norm (En particulier, on
peut avoir E = R ou C).
Alors, > 0, : [a, b] E, continue et affine par morceaux, telque :
k f k,[a,b]
Ce thorme est inutile en pratique.

4.4

Thorme dapproximation uniforme de Weierstrass

Thorme 9 Soit f C([a, b], K), avec K = R ou C.

Alors, > 0, P K[X] telque :
k f P k,[a,b]
Il existe, comme prcdement, des variantes de ce thorme :
Thorme 10 Caractrisation squentielle.
Pour tout f C([a, b], K), (Pn ) suite de polynomes K[X] convergeant uniformement vers f sur [a,b].
Thorme 11 Lensemble des fonctions polynomiales de [a,b] dans K est dense dans lensemble des fonctions continue de [a,b] dans K.

Chapitre

Description des surfaces

Dans tout ce chapitre, E dsigne un R espace affine de dimension 2 et R = (O, i , j , k ) un
repre de E. Le plus souvent E est suppos euclidien, dans ce cas R sera suppos orthonorme

5.1

Surface dfinies par une quation implicite

Dfinition 26 Soit f : R3 R. On appelle surface dquation implicite f (x, y, z) = 0 lensemble (S) des
R

points M = (x, y, z) tq :
R

(
(x, y, z) Df
f (x, y, z) = 0

5.2

Surface dfini par une quation cartsienne ("explicite")

Dfinition 27 On dit que (S) admet une quation cartesienne explicite sil existe un repre (R) et une
fonction f : R2 R telque :
(
(S) =

M = (x, y, z) /
R

(x, y) Df
z = f (x, y)

Une surface de ce type est un cas particulier de surface dfinie par une quation implicite :
F (x, y, z) = 0

5.3

Surfaces dfinies par une reprsentation paramtrique

On appelle arc paramtr de E une application :

:IE
t 7 (t)
o I est un intervalle inclu dans R.
On appelle courbe paramtr par :
Supp() = {(t), t I}

29

Dfinition 28 On appelle nappe paramtr de E une application :

E
(u, v) 7 (u, v)
ou est un sous ensemble inclus dans R2 . On appelle surface paramtr par :
Supp() = {(u, v), (u, v) }

5.4
5.4.1

Plan tangent une nappe paramtr de classe C 1

Rappel

Une nappe paramtr du R espace affine E de dimension 3 est une fonction :

R2 E
(u, v) 7 (u, v)
Souvent, (u, v) est not M(u,v). On dfini le support de par :
Supp = {(u, v), (u, v) Df }

Dans la suite on supposera de classe C 1 sur , avec un ouvert. Si R = (O, i , j , k ) est un

repre de E (( i , j , k ) est une base de E ), on peut dfinir ses trois fonctions coordonnes par
rapport au repre R :

R2 E

 x(u, v)

(u, v) 7 (u, v) =  y(u, v)
 z(u, v)
Dans ce cas, on rappelle que est de classe C 1 sur si et seulement si les trois fonctions coordonnes x,y,z sont C 1 sur . Ceci implique que et x,y,z sont dfinies sur en entir evidement.
On a alors :

 x

 u


u B  u
 z

u
Nous avons de mme pour la drive partielle par rapport v.

5.4.2

Arc trac sur une nappe

Soit un arc paramtr dfini par :

IRE
t 7 (t)
Avec I un intervalle. (t) est souvent not P(t).
Nous avons les quivalences suivantes :
Supp Supp t I, (t) Supp
t I, (u, v) / (t) = (u, v)

Dfinition 29 On dit que est un arc trac sur sil existe des application :
IR
t 7 u(t)

et :
IR
t 7 v(t)

telle que :
(
(u(t), v(t))
t I
(t) = (u(t), v(t))
On dit que est un "arc C 1 trac sur " sil existe (u,v) C 1 (I, R), avec I intervalle inclus dans R, telle
que t I :
(
(u(t), v(t))
(t) = (u(t), v(t))

5.4.3

Proprit fondamementale et dfinition du plan tangent

Supposons que : I E soit "un arc C 1 trac sur la nappe ", avec : ouvert R2 E,
de classe C 1 . Avec les notations introduites prcdement :

t I,
0 (t) =
(u0 , v0 ) (t) +
(u(t), v(t)) (t)
u
t
v
t

Vect(
(u0 , v0 ),
(u0 , v0 ))
u
v
Dfinition 30 On dit que est rgulier en (u0 , v0 ) ou, par abus, que le point (u0 , v0 ) est un point

rgulier de la nappe si
(u0 , v0 )
(u0 , v0 ) cest dire encore si :
u
v



(u0 , v0 ),
(u0 , v0 )
rg
u
v
Ou encore, si E est euclidien orient :

(u0 , v0 )
(u0 , v0 ) 6= 0
u
v
Dans ce cas, Vect(

(u0 , v0 ),
(u0 , v0 )) est alors un plan vectoriel de E .
u
v

Dfinition 31 On appelle plan tangent , not T(u0 ,v0 ) , le plan de direction vectorielle Vect(
et contenant le point M0 = (u0 , v0 ). On peut rsumer ceci sous la forme :
T(u0 ,v0 ) = M0 + Vect(

(u0 , v0 ),
(u0 , v0 ))
u
v

(u0 , v0 ),
(u0 , v0 ))
u
v

Proprit 89 En particulier, si est rgulier en (u(t),v(t)) et rgulier en t, cest dire

0 (t) 6= 0, alors :

(t) + Vect(
0 (t)) (t) + Vect(
(u0 , v0 ),
(u0 , v0 ))
u
v
Autrement dit, la tangente larc est incluse dans le plan tangent en (t) = (u(t), v(t)).

Remarque 1 En pratique, E est souvent euclidien orient et dans ce cas, le plan tangent une nappe en
un point rgulier M0 = (u0 , v0 ) est caractris par M0 et un vecteur normale, par exemple :

(u0 , v0 )
(u0 , v0 ) = H (u0 , v0 )
u
v
Ce vecteur est non cul car est suppos rgulier en ce point. On obtient dans ce cas que :
h
i

TM0 = M0 + V ect( H (u0 ,v0 ) )

5.4.4

Cas des nappes coniques

Dfinition 32 On appelle cone, ou surface conique, de sommet O (O 6 Supp ) et de directrice Supp la

runion de droites 3 0 et ayant un point 3 Supp .
Dfinition 33 Cette dfinition est la limite du programme. Une surface engendre par une famille de
droite sappelle une surface rgle. Si en outre, cette surface admet un plan tangent en tout point et que ce
plan est le mme le long des droites gnratrices, la surface est dites "dveloppable".

5.5

Changement de paramtrisation et plan tangent

Soit une nappe paramtr C 1 dfinie par :

ouvert R2 E
(u, v)(u, v)
et S = Supp(). On dit que aussi que est la paramtrisation de S. S peut admettre plusieurs
paramtrisation, cest dire tre le support de diffrentes nappes. Si S = Supp(1 ) avec :
1 : 1 ouvert R2 E
(u1 , v1 )1 (u1 , v1 )
Dfinition 34 On dit que 1 est une paramtrisation de S C 1 quivalente sil existe un C 1 diffomorphisme :
: 1
(u1 , v1 ) 7 (u(u1 , v1 ), v(u1 , v1 ))
telque :
1 = o
Cest dire : (u1 , v1 ) 1 /1 (u1 , v1 ) = (u(u1 , v1 ), v(u1 , v1 ))
Proprit 90 Les proprits de rgularit en un point sont conserv par un changement de paramtrisation
de classe C 1 . Il en est de mme pour le plan tangent en un point rgulier.

5.6

Plan tangent une surface dfinie par une quation implicite

F(x,y,z)=0

On suppose que F est une application C 1 sur un ouvert U de R3 valeurs dans R. On dfini la
surface (S) par :


(S) = (x, y, z) R3 /F (x, y, z) = 0

 F
(x, y, z)

 x
 F

(x, y, z) .
On peut dfinir gradF(x,y,z) = 
 y
 F

(x, y, z)
z

Dfinition 35 On dit que F est rgulier en (x,y,z) ou que (x0 , y0 , z0 ) est un point rgulier de F (de (S)) si

F
gradF (x0 ,y0 ,z0 ) 6= 0. Supposons, par exemple, que :
(x0 , y0 , z0 ) 6= 0. Dans ce cas, daprs le Thorme
z
des fonctions implicite, (S) est localement, au voisinage de M0 (x0 , y0 , z0 ) le support dune nappe paramtr
cartesienne de classe C 1 :

0 R3

 x

(x, y) 7 (x, y) =  y
 z
Avec 0 =]x0 , x0 + []y0 , y0 + [
Tout ceci revient dire quau voisinage dun point M0 (x0 , y0 , z0 ) rgulier de la surface (S) : Si F(x,y,z) =

0 (cest dire si gradF (x0 ,y0 ,z0 ) 6= 0) alors (S) est localement le support dune nappe paramtr cartesienne

C 1 rgulire, donc le plan tangent en (x,y,z) est orthogonale gradF (x0 ,y0 ,z0 ) (On dit aussi normal (S))

Chapitre

Intgrales multiples
Considrons une intgrale de la forme :
ZZ
f (x, y)dxdy
(x,y)D

Avec D un sous ensemble born de R2

6.1

Thorme de Fubini

Considrons une fonction f :

f : R2 R
(x, y) 7 f (x, y)
Si les applications partielles sont continues par morceaux, on obtient :
!
!
Z
Z
Z
Z
d

x=a

y=c

f (x, y)dx dy =
y=c

x=a

f (x, y)dy dx

La valeurs commune des deux membres de cette galit est note :

ZZ
Z
f (x, y)dxdy ou meme
f (x, y)dxdy
(x,y)[a,b][c,d]

(x,y)[a,b][c,d]

On peut se ramener au cas gnrale en considrant un rectangle [a, b] [c, d] D, en posant une
fonction f gale f sur D, nulle autrement.

6.2
6.2.1

Thorme de changement de variable

En dimension 1

On peut effectuer le changement de variable suivant :

Z

b0

f (x)dx =
a0

a
u

Avec u un C 1 diffomorphisme de [a0 , b0 ] [a, b]

35

f (u(t))u0 (t)dt

6.2.2

En dimension 2
ZZ

ZZ

g(u, v)|detJ(u,v) |dudv

f (x, y)dxdy =
(x,y)D 0

(x,y)D

Avec :
: D0 D
(u, v) 7 (x, y)
est un C 1 diffomorphisme (entre ouvert). On dfini J(u,v) (Matrice jacobienne de ) :

x x

v
matcan d(J(u,v) ) = u
y y
u v
On obtient donc :



 x y x y 


|det(J(u,v) ) = 

u v
v u 

Remarque :
Si est un sous espace de R2 de surface nulle :
ZZ
ZZ
f (x, y)dxdy =
f (x, y)dxdy
D

Troisime partie

Suites, Sries

37

Chapitre

Srie numrique
7.1
7.1.1

Dfinitions
Dfinitions gnrales

Dfinition 36 Soit (un ) une suite valeur dans K.

On appelle srie de terme gnral un , et on note un cette nouvelle suite, de terme gnrale :
n

Sn =

n
X

uk = u0 + u1 + ... + un

k=0

Sn est appel somme partiel de rang n de la srie un

n

Remarque 2 Si la suite (un ) est dfini uniquement partir du rang n0 , on peut se ramener au cas gnral
laide dun changement de variable.
Dfinition 37 On dit que la srie un converge si la suite (Sn ) des sommes partiel converge dans K.
n

On note alors cette limite :

uk

k=0

Par dfinition, on as donc :

X
k=0

uk = lim

n
X

uk = lim Sn

k=0

En gnral, on note galement S cette limite, et on appelle S somme de la srie.

Exemple : On montre que la srie harmonique diverge en utilisant un encadrement par intgrale.
Proprit 91 Si la srie un converge, alors un 0 quand n +. Cela est donc une condition
n

ncessaire de convergence de la srie.

Remarque 3 Si on doit calculer :
q3 + q4 + . . .
On se ramne au cas de la srie gomtrique de raison q de la faon suivante :
q 3 + q 4 + . . . = q 3 (1 + q + q 2 + . . . )
=

q3
1q

39

7.1.2

Reste dordre n

Dfinition 38 Si un converge, on peut dfinir Rn , le reste dordre n de la srie un , par :

n

p
X

Rn = lim

uk

k=n+1

Proprit 92 On obtient les relations suivantes :

S n + Rn = S
lim Rn 0

7.2

Quelques proprits gnrales

Dans tout ce chapitre, (un ),(vn ),... sont des suites valeurs dans K=R ou C.
Proprit 93 Supposons que un et vn converge, alors la srie de terme gnral wn = un + vn converge
n
n
, et on as :
!
!

X
X
X
wk =
uk +
vk
k=0

k=0

k=0

Proprit 94 Soit K.
Si un converge, il en est de mme de la srie de terme gnral wn = un , et alors :
n

wk =

k=0

!
uk

k=0

Remarque 4 Les rsultats prcdent peuvent aussi scrire :

(uk + vk ) =

uk +

k=0

k=0

vk

k=0

Cependant, pour pouvoir crire ceci, il faut sassurer que les membres de droites converge. De mme :
!

X
X
uk =
uk
k=0

k=0

Proprit 95 Soit (zn ) est une suite valeur dans C.

Si (xn ) = Re(zn ) et (yn ) = Im(z), donc zn = xn + iyn , avec (xn , yn ) R2 alors :
X
X
X
( zn converge ) (
xn et
yn converge )
n

Et dans ce cas, on obtient que :

zk =

k=0

xk + i

k=0

yk

k=0

Dfinition 39 On dit que la srie de terme gnral un converge absolument, ou que la suite (un ) est
sommable, si la srie |un | converge.
n

Thorme 12 Labsolu convergence de la srie de terme gnral un implique la converge de la srie de

terme gnral un .
Dans ce cas, on as :

X
X
|
uk |
|uk |
k=0

k=0

Proprit 96 Pour tous n0 entier naturel, on peut modifier les n0 premier termes de la suite (un ) sans
modifier la convergence de la srie de terme gnral un .
On peut crire ceci sous la forme :
Si (vn ) vrifie partir du rang n0 vn = un , alors :
(vn converge ) (un converge )
n

On obtient donc que la convergence de la srie ne dpend que du comportement asymptotique de un .

Proprit 97 Toute suite (an ) est une somme partielle dune srie un , un terme constant prs.
n

n
X

n N an =

(ak ak1 ) + a0

k=1

7.3

Sries termes rels positifs (ou de signe constant)

Proprit fondamentale 1 Soit (un ) une suite valeur rel positive.

Alors la suite des sommes partielle Sn est croissante. Donc :
Soit (Sn ) est majore, et alors elle converge vers S = sup Sn
Soit (Sn ) nest pas majore, alors Sn . Dans ce cas on crit :

uk = +

k=0

Proprit 98 Si (un ) et (vn ) sont terme rels positifs telque

0 un vn
Alors :
vn converge un converge et :
n

uk

k=0

vk

k=0

un diverge vn diverge
n

Proprit 99 Soient (un ) et (vn ) deux suites termes rel positifs.

Si un = O(vn ) (Grand O), alors :

X
X
( vn converge ) ( un converge)
n

Proprit 100 Soient (un ) et (vn ) deux suites termes rels positifs, ou simplement de signe constant.
Si un vn , alors :

X
X
( un converge ) ( vn converge )
n

On dit que

P
n

7.3.1

P
un et un ont mme nature.
n

Convergence des sries de Riemann

Dfinition 40 On appelle srie de Riemann les sries de terme gnral, avec R :

un =

1
n

Proprit 101 Soit (un ) la suite de terme gnral :

un =
Alors :

1
n

X
( un converge) ( > 1)
n

On dmontre cette proprit en montrant que pour 0, un 6 0, donc la condition ncessaire de

convergence nest pas vrifi. Pour > 0, on utilise un encadrement par intgrale.
Dans ce cas, on dfini lapplication suivante :
:]1, [
7 () =

X
1

n
n=1

Proprit 102 La comparaison srie-intgrale (qui consiste encadrer la somme partiel, ou le reste partiel,
par des intgrales de la fonction) prcdent permet dobtenir un quivalent simple, quand le cas de srie de
1
terme gnral un = :
n
De Sn dans le cas divergent
De Rn , dans le cas convergent.

7.3.2

Rgle de Riemann

Proprit 103 Soit (un ) suite valeur

P relle ou complexe.
Si > 1 telque n un 0, alors |un | converge. On dit aussi que la suite (un ) est sommable

Proprit 104 SoitP

(un ) suite valeur relle.
Si nun , alors un diverge. On a meme :

un =

k=0

7.3.3

Srie de Bertrand

Dfinition 41 Ce sont les sries de terme gnral :

un =

1
n .ln(n)

Proprit 105 Une srie de Bertrand converge si et seulement si :

> 1 ou = 1 et > 1
On le dmontre laide de la rgle de Riemann, et laide de la comparaison srie-intgrale.

7.3.4

Proprit de Cauchy

Cette proprit permet de dmontrer directement la convergence des sries de Riemann et de

Bertrand.
Soit u, la fonction dfinie n0 N, par :
u : [n0 , [ R
t u(t)
u est une application continue par morceaux et monotone. On obtient que :
Z
X
(
u(n) converge ) (
u converge )
n

On dit que la srie et lintgrale ont mme nature.

n0

7.3.5

Rgle de dAlembert

Proprit 106 Soit (un ) une suite de rels telque n n0 , un > 0, et telque :
un+1
l R+
un
Alors :
Si l > 1, alors la srie de terme gnral un diverge grossirement
Si l < 1, alors la srie converge

7.3.6

Rgle de Cauchy

Cest une rgle hors-programme.

Proprit 107 Soit (un ) une suite de rels telle que :
(
n n0 un > 0

n u
n l R+
Si :
l>1

P
un diverge (un )

l<1

P
un converge

7.4

Sries alternes

Dfinition 42 Soit (un ) une suite de rels.

On dit que (un ) est alterne si elle est du type :
n N, un = (1)n an
Ou du type :
n N, un = (1)n+1 an
Avec (an ), suite de rels positive. Dans ces deux cas :
an = |un |
P
La srie un est dites alterne sur la suite (un ) est alterne.
n

7.4.1

Critre de Leibniz ou Critre spcial des sries alterne

nonc 15 Soit

P
un une srie alterne.
n

Si :
La suite (un ) 0

(|un |) est une suite dcroissante

Alors :
P
La srie un converge
n

n N , le signe de Rn est le signe de son premier terme, et :

|Rn | |un+1 |
Ce rsultat est valable aussi si on considre que S, la limite de la srie, est le reste dordre 1.
Proprit 108 Sous les hypothses de la srie alterne, la somme S est comprise entre deux sommes partielle conscutive, Sn et Sn+1 , et ceci n N

Proprit 109 Si la srie nest alterne, et ne vrifie le fait que la suite (|un |) nest dcroissante qua partir
dun rang n0 , alors la srie converge toujours, et le regle sur le reste reste valable, partir du rang n0 .
Lors dexercice, le point le plus souvent difficile est de dmontrer que la suite des valeurs absolu
dcroit.
Exemple :
P (1)n
converge > 0. On montre de plus que
A laide de ce thorme, on montre que la srie
n
n
cette srie converge vers ln(2). On le dmontre en partant de :
t R {1}
Dou :

1 t + + (1)n1 tn1 =

1 ((1)n tn )
1+t

1
tn
= 1 t + t2 + + (1)n1 tn1 + (1)n
1+t
1+t

On continue en intgrant entre 0 et x, en prenant la valeur pour x=1. Puis on montre que le reste
intgrale tend vers 0.

7.5

Quelques espaces remarquables

Proprit 110 Lensembles des suites (un ) K N telque

P
un converge est un sous espace vectoriel de
n

K N . (Stable par addition et par multiplication par un scalaire).

7.5.1

Ensemble l1 (K)

Dfinition 43 Lensemble l1 (K) est lensemble des suites sommables valeurs dans K. Cette ensemble est
un sous espace vectoriel de lespace vectoriel vu ci dessus.
Proprit 111 Soit (un ) une suite P
valeur dans K.
Si la suite (un ) est sommable, la serie un converge aussi (Labsolu convergence implique la convergence).
n

l1 (K) est donc inclu dans lespace vectoriel vu au dbut de ce chapitre.

Proprit 112 Supposons que u=(un ) et v = (vn ) soient sommable. Lingalit suivante :
0 |un + vn | |un | + |vn |
Montre que u+v=(un + vn ) est galement sommable (On le montre daprs la structure de lensemble des
suites telque la srie soit convergente et daprs le thorme de convergence par majoration )
Proprit 113 Soit un scalaire.
u l1 (K) u l1 (K)

7.5.2

Ensemble l2 (K)

Dfinition 44 Lensemble l2 (K) est lensemble des suites de carres sommable, cest dire telque :
X

|u2n |

converge.
On montre que lensemble prcdent est inclu dans cette ensemble, ce qui nest pas le cas des intgrales.

7.6

Sommation par paquets ou associativit de la sommation

Dfinition 45 Soit (un ) une suite valeur dans K telque

un converge.

Soit :
S=

uk

k=0

Donnons nous une application dfini par :

:N N
telque soit une application strictement croissante.
Une telle application tant donne, dfinisoons partir de (un ) et de une nouvelle suite (vn ) de terme
gnral :
vn = u(n1)+1 + ... + un
On obtient une suite du type (exemple) :

v0 = u0
v1 = u1 + u2 + u3

v2 = u4 + u5
Proprit 114 Avec les notations prcdentes, le fait que la srie de terme gnral un converge implique
que la srie de terme gnral vn converge, et vers S aussi.

Chapitre

Sommation des relations de

comparaison
8.1

Cas sommable

Dans tous ce chapitre, les relations de sommation sont des relations concernant les restes

uk

k=n+1

Hypothses gnrales 1 Dans lensemble de cette fiche, (un ) et (vn ) sont deux suites dfinies partir
dun certain rang N0 .
(un ) est une suite valeur C.
(vn ) est une suite valeur dans R+ , ou valeur relles et de signe constant partir dun certain
rang

8.1.1

Ngligabilit

Thorme 13 Avec les hypothses prcdentes :

Supposons que (vn ) soit sommable et que :
un  vn

Alors (un ) est galement sommable, et, n N0 :

uk 

k=n+1

vk

k=n+1

On peut aussi enoncer ce thorme, mais avec les notations de Landau.

Thorme 14 Sous les hypothses de dpart :
Supposons que (vn ) soit sommable et que :
un = o(vn )

Alors (o(vn )) est sommable et

o(vk )  o(

k=n+1

k=n+1

47

vk )

On dmontre ces deux thormes laide de la proprit suivante :

un = o(vn ) un = O(vn )

Et du thorme de sommabilit par domination. Puis on utilise la dfinition de un  vn :

un  vn > 0 N N tq n N |an | |bn |

Et on poursuit en utilisant une sommation finie et en passant la limite sur cette somme en
utilisant le faite que la srie converge, donc que le reste existe.

8.1.2

Domination

Thorme 15 Avec les hypothses prcdentes :

Supposons que (vn ) soit sommable et que :
un 4 vn

Alors (un ) est galement sommable, et, n N0 :

uk 4

k=n+1

vk

k=n+1

On peut aussi enoncer ce thorme, mais avec les notations de Landau.

Thorme 16 Sous les hypothses de dpart :
Supposons que (vn ) soit sommable et que :
un = O(vn )

Alors (un ) est sommable et

O(vk )  O(

k=n+1

vk )

k=n+1

On sappuie sur la proprit suivante pour dmontrer ce thorme.

Proprit 115 Soit (an ) et (bn ) deux suites. Si :
an = O(bn ) M R+ , N N, tq n N, |an | M |bn |

La dmonstration est totalement analogue au cas ngligable.

8.1.3

Equivalence

Sous les hypothses du prambule, en particulier sur le fait que (vn ) soit de signe constant
partir dun certain rang n0 :
Si :
un vn et (vn ) est sommable

Alors :
(un ) est sommable et

un

k=n+1

On dmontre ce thorme en utilisant la proprit suivante :

un vn un vn  vn

On se ramne ainsi un des cas prcdent.

X
k=n+1

vn

8.2

Cas non sommable

Dans tout ce chapitre, les relations de sommation concerne les sommes partielle :
n
X

uk

n0

8.2.1

Ngligabilit

Thorme 17 Avec les hypothses prcdentes, en particulier (vn ) de signe constant partir dun certain
rang :
Supposons que (vn ) ne soit pas sommable et que :
un  vn

Alors :

n
X

uk 

k=n0

n
X

vk

k=n0

Mais nous navons pas dinformation sur la sommabilit ou la non sommabilit de (un ).
On peut aussi enoncer ce thorme, mais avec les notations de Landau.
Thorme 18 Sous les hypothses de dpart :
Supposons que (vn ) ne soit pas sommable et que :
un = o(vn )

Alors :

n
X

o(vk )  o(

n
X

vk )

k=n0

k=n0

On dmontre ceci avec le plan suivant :

On suppose n1 N tq n n1 Vn 0
n
X
vk car Vn 0 et non sommable
On montre que Sn0 =
k=n0

Puis on obtient que :

Sn  Sn0

Sn
0
Sn0

 
 Sn 
> 0N N tq n N  0  2
S
n

Une fois cette simplification faite, on dmontre le deuxime membre de lquivalence.

8.2.2

Domination

Thorme 19 Avec les hypothses prcdentes :

Supposons que (vn ) ne soit pas sommable et que :
un 4 vn

Alors n N0 :

n
X
k=n0

uk 4

n
X
k=n0

vk

On peut aussi enoncer ce thorme, mais avec les notations de Landau.

Thorme 20 Sous les hypothses de dpart :
Supposons que (vn ) ne soit pas sommable et que :
un = O(vn )

Alors :

n
X

O(vk )  O(

k=n0

8.2.3

n
X

vk )

k=n0

Equivalence

Sous les hypothses du prambule, en particulier sur le fait que (vn ) soit de signe constant
partir dun certain rang n0 :
Si :
un vn et (vn ) nest pas sommable

Alors, (un ) nest pas sommable et :

n
X

un

k=n0

n
X

vn

k=n0

Proprit 116 Le passage au valeur absolue ne modifie pas les relations de comparaison.

8.3
8.3.1

Les dmonstrations
Dmonstration : Cas sommable, ngligabilit

Nous avons les hypothses suivantes :

(vn ) est une suite valeur dans R

(vn ) est sommable

u  v u = o(v )
n
n
n
n

Dmontrons le premier point, cest dire que (un ) est sommable. La troisime hypothse implique
que un = O(vn ). On obtient donc que (un ) est sommable daprs le thorme de sommabilit sous

hypothse de domination.
Dmontrons maintenant le deuxime points de la proprit : Partons que lexplicitation de la
ngligabilit :
un = o(vn ) > 0 N N tq n N |un | |vn |

On suppose n vn 0. On peut donc retirer les valeurs absolues. On somme lingalit prcdent :
p
X

|uk |

k=n+1

p
X

vk

k=n+1

De plus :
p
X
k=n+1

Dou :

 p

 X



|uk | 
uk 


k=n+1

 p

p
 X

X


uk 
vk



k=n+1

k=n+1

Nous avons vu que (un ) et (vn ) sont sommable, on peut donc passer la limite sur p et crire :



 X

X


uk 
vk



k=n+1

k=n+1

Nous avons donc montr que :

> 0 N N tq n N |Rn | Rn0
P
P
Avec Rn , respectivement Rn0 , le restes de la srie un , respectivement vn . Nous avons donc
n

montr que :
Rn  Rn0

8.3.2

Dmonstration : Cas non sommable, ngligabilit

(vn ) est valeur dans R, de signe constant partir dun certain rang n1
(vn ) nest pas sommable

u  v u = o(v )
n
n
n
n

Ici, on se limite au cas ou :

k n1 vk 0
Mais le cas ngatif se traite exactement de la mme faon. Notons, avec n0 N, le premier indice
de dfinition de (vn ) :
n
X
Sn0 =
vk
k=n0

On veut montrer quil existe un rang partir du quel Sn0 > 0 pour pouvoir simplifi la dmonstration. On peut crire cette somme sous la forme :
nX
1 1

Sn0 =

n
X

vk +

k=n0

vk

k=n1

On suppose que k n1 vk 0 donc k n1 vk = |vk |. Dou :

Sn0 =

nX
1 1

vk

n
X

|vk |

k=n1

k=n0

| {z }

Indpendent de n

Par passage la limite sur n, on obtient que :

n
X

|vk |
n

k=n1

car (vn ) est suppose non sommable. On obtient donc que :

Sn0
n

Cela permet de dire n2 > n1 tq n n2 Sn0 > 0 (car cette suite est croissant partir du rang n1 ).
On peut donc crire que :
Sn =

n
X
k=n0

uk  Sn0 =

n
X
k=n0

vk

Sn
0
Sn0 n

Dmontrons
  la seconde partie de lquivalence. On veut montrer quil existe N > n2 N tq
 Sn 
n N  0  2.
Sn
On utilise les hypothses : On suppose que un = o(vn ) or ceci quivaut :

n3 > n2 tq n n3 |un | vn
Dou :
n n3

n
X

|un |

k=n3

n
X

vn

k=n3

De plus :
 
 Sn  |Sn |
 =
 S0 
S0
n

 nn
X 


uk 



k=n0
=
S0

n 1n
n
3

X
X


uk +
uk 



k=n0
k=n3
=
0
S
n 1  n 

n
3
X
 X


 

uk  + 
uk 


 

k=n0
k=n3

Sn0
n
X
|
vk |
|Sn3 1 |
k=n3
+

Sn0
Sn0
n
X
vk
|Sn3 1 |
k=n3

+
Sn0
Sn0
S0
|Sn3 1 |
+ (1 n301 )

0
Sn
Sn
Nous avons vu que :

lim Sn0 =

Donc :
N1 N tq

|Sn3 1 |

Sn0

N2 N tq

Sn0 3 1

Sn0

Donc :
 
 Sn 
n max(N1 , N2 )  0  + (1 )
S
n

2
On as donc obtenu :

 
 Sn 
N3 N tq n N3  0  2
S
n

Chapitre

Suite de fonctions ou dapplication Convergence uniforme

9.1

Convergence simple

Dfinition 46 Soit A une ensemble (en gnral, A est un intervalle R), et (E, k k) un K espace vectoriel
norm.
Soit (fn ) une suite dapplication de A E.
On dit que cette suite converge simplement sur A si :
x A (fn (x)) converge dans (E, k k)
Lorsque que cest le cas, lim fn (x) dpend a priori de x.
n

On peut donc dfinir une nouvelle application :

f :AE
x 7 f (x) = lim fn (x)
n7

On dit que f est la limite simple de fn sur A. En pratique, E=R.

Exemple fondamental : Etudier la convergence simple de la fonction :
fn : A = [0, 1] R
x 7 fn (x) = xn

9.2

Convergence uniforme dune suite dapplications

Proprit 117 Lensemble B(A,E) des applications bornes dun ensemble A dans un K espace vectoriel
normes (E,k k) est un K sous espace vectoriel des applications de A dans E. De plus :
B(A, E) R+
f 7k f k,A = sup k f k
A

dfinie une norme sur cette espace de fonction. On le dmontre en montrant que cette application vrifie la
dfinition dune norme.
Dfinition 47 Soit (fn ) une suite dapplication de A, qui est un ensemble de E, un K espace vectoriel
norm (E, k k), et f une application de A dans E.
On dit que (fn ) converge uniformement vers f sur A si :
(
n0 N tq n n0 fn f B(A, E) (borne)
k fn f k,A 0
n7

53

Il se peut que la diffrence des normes dans le second cas ne soit dfini qua partir du rang n0 , mais ceci ne
change rien.
En gnral, la premire condition est vidente. Il faut donc se concentrer sur la deuxime proprit. En
pratique, E=R et A = I R. Si la suite (fn ) converge simplement vers une certaine fonction f1 , alors, si il
y a convergence uniforme, cest obligatoirement vers la fonction f1 .
Exemple : Rutiliser la fonction prcdente.
Proprit 118 Soit (fn ) une suite dapplication de A, un ensemble, dans (E,k k), un K espace vectoriel
norme.
Si (fn ) converge uniformement vers f sur A :
f :AE
Alors (fn ) converge simplement vers f sur A. On le dmontre par encadrement de k fn (x) f (x) k. On
peut aussi le dmontrer par un raisonnement en
Proprit 119 Cette proprit est utile pour prouver la non convergence uniforme.
Soit (fn ) une suite dapplication de A, un ensemble, dans (E,k k) un K espace vectoriel norme.
Si (fn ) convergent uniformement vers f, application de A dans E, alors :
(xn ) AN fn (xn ) f (xn )

De plus, (xn ) nest pas necessairement convergente et cette notion na meme pas de sens si il ny a pas de
distance de dfini sur A. On le dmontre par dfinition du sup.
Exemple : Appliquer cette proprit pour caractriser le fait que lexemple fondamental ne converge
pas uniformement sur [0,1]

9.3
9.3.1

Thorme classique sous les hypothses de convergence uniforme

Thorme de continuit

Thorme 21 Soit (fn ) une suite dapplication de I 7 K, avec I un intervalle de R, convergent uniformement vers f : I K, sur tout le segment [a, b] I.
(n N, fn est continue en x0 I) ( f est continue en x0 )
(n N, fn est continue sur I) ( f est continue sur I)
On dmontre ce rsultat laide de raisonement en
Exemple : Montrer que cette proprit permet de dire, en connaisant la convergence simple, que
la suite de fonction ne converge pas uniformement.
Gnralisation 1 Soit (fn ) une suite dapplication de A dans E, avec A une partie non vide dun espace
vectoriel norme, E un K espace vectoriel.
Si :
(
n N fn est continue sur A, respectivement en a A
(fn ) converge uniformement vers f : A E sur tout compact A
Alors, f est continue sur A, respectivement en a.
Proprit 120 Un sous ensemble C dun espace vectoriel norme E, munie de la norme k k, est dit compact
si de toute suite (n ) valeur dans C, on peut extraire une sous-suite ((n) ), avec une application
strictement croissante strictement de N dans N, qui converge vers un lments de C. Ceci est dvelopp
dans la fiche sur les compact.

9.3.2

Thorme dinterversion des limites, ou thorme de la double limite

Thorme 22 Soit (fn ) une suite dapplication de I dans K, avec I un intervalle non vide de R, convergent
uniformement sur I, vers une application f : I K.
Soit a R un point de I ou une extrmit de I.
Si :
n N fn (x) ln K
xa
xI

alors :
(ln ) converge vers une limite l K.
f (x) l
xa
xI

Le dernier point peut aussi scrire :

lim lim fn (x) = lim lim fn (x)

xa n
xI

n xa
xI

Cela justifie bien lappelation du thoreme. On dmontre ce thorme par un raisonnement en .

Exemple : Montrer que sur [0,1[, lexemple fondamentale permet de montrer que cette proprit
nest pas vrifi si il ny a pas convergence simple.
Dfinition 48 On dit quun espace vectoriel norme quil est complet si toute suite de cette espace vrifiant
le critre de cauchy converge.
Les espaces vectoriel norme complet sont appell espace de Banach
Gnralisation 2 Soit (fn ) une suite dapplication de A dans E, avec A une partie non vide dun espace
vectoriel norme, et E un K espace vectoriel norme complet.
Si (fn ) converge uniformement sur A vers une application f de A dans E, si a A cest dire si tout
voisinage de a rencontre A, et si :
n N fn (x) ln E
xa
xA

alors :
(ln ) converge vers l E.
De plus f (x) l, avec x A. On peut crire ceci sous la forme suivante :
xa

lim lim fn (x) = lim lim fn (x)

xa n
xA

n xa
xA

On peut inverser les limites dans ce cas.

9.3.3

Thorme dintegration sur un segment sous les hypothses de convergence uniforme

Thorme 23 Soit (fn ) une suite dapplication continue sur un segment [a,b], valeur dans K= R ou C,
convergent uniformement sur [a,b] vers f, application de [a,b] dans K.
Alors :
f est continue sur [a,b]
Z

Z
fn

f
a

On peut crire la deuxime conclusion sous la forme :

Z

Z
fn =

lim

lim fn

a n

Z
fn (x)dx

Pout le dmontrer, on montre que sous ces hypothses :

a

f (x)dx
a

Gnralisation 3 Ce thorme reste valable lorsquon remplace lensemble darriv par un K espace vecRb
toriel norme complet E. Ceci suppose davoir, au pralable dfini a g pour g fonction de [a,b] dans E, un
espace de banach, au moins continue par morceaux.

9.3.4

Throrme de classe C 1

Thorme 24 Soit (fn ) une suite dapplication de I, un intervalle de R, dans K. On suppose que :
n N fn est C 1 sur I
La suite (fn ) converge simplement sur I vers une application f de I dans K
La suite (fn0 ) converge uniformement sur tout segment [a,b] inclu I vers une application g de I dans
Alors :
f est de classe C 1 sur I
f=g
fn converge uniformement vers f sur tout segment inclu dans I.
La conclusion 2 peut aussi scrire sous la forme :
d
d
lim fn = lim
fn
n7 dx
dx n7
On dmontre ce thorme laide de la formule de Taylor avec reste intgrale du premier ordre sur fn (x) en
a I. La dernire partie du thorme consernant la converge uniforme de (fn ) on repasse par la dfinition
de la norme k k
Gnralisation 4 Le thorme prcdent reste vrai quand on remplace lensemble darriv par un espace
vectoriel norme complet, un espace de Barach

9.3.5

Thorme de classe C p

Thorme 25 Soit (fn ) une suite dapplication de I, un intervalle de R, dans K. Soit p N .

On suppose que :
n N fn est C p sur I
(p1)
Les suites (fn ), (fn0 ), ..., (fn
) converge simplement sur I vers une application f de I dans K
(p)
La suite (fn ) converge uniformement sur tout segment [a,b] inclu I vers une application g de I
dans K
Alors :
La limite simple f de la suite (fn ) est C p sur I.
(k)
k [ 1, p] f (k) est la limite simple de la suite (fn )
(k)
k [0, p] (fn ) converge uniformement vers f (k) sur tout segment de I.

On le dmontre par rcurrence sur p, en utilisant successivement le thorme de classe C 1 .

Gnralisation 5 Ce thorme reste valable quand on remplace lensemble darriv par un espace vectoriel
complet.

9.3.6

Thorme de classe C

Dfinition 49 Une application de I, un intervalle inclu dans R, dans K est dite de classe C sur I si
p N elle est C p sur I.
On en dduit facilement du thorme C p prcdent que si (fn ) est une suite dapplication de I
dans K, et si :
n N fn est de classe C sur I
(k)

k N (fn ) converge uniformement sur tout segment inclu dans I

Alors :
La limite simple f de la suite (fn ) est C sur I.
(k)
k N (fn ) converge uniformement vers f (k) sur tout segment inclu dans I.

9.4

Thorme de convergence monotone et convergence domin

On se place dans le cadre dune convergence simple ici

9.4.1

Thorme de convergence monotone

Dfinition 50 La suite (fn ) dapplication de I dans R est dite monotone si x I, (fn (x)) est monotone
Thorme 26 Soit I un intervalle quelconque de R (pas forcment un segment), et (fn ) une suite dapplication continue par morceaux sur I, valeur dans R, convergent simplement sur I vers f, application de I
dans R, galement continue par morceaux. Si :
La suite (fn ) est monotone
Si f0 et f sont intgrable sur I
Alors :
n
R N fn est
R intgrable sur I
I fn I f
n

La deuxieme conclusion peut scrire sous la forme :

Z
Z
lim
fn =
lim fn
n

9.4.2

I n

Thorme de la convergence domine

Thorme 27 Soit I un intervalle quelconque inclu dans R, et (fn ) une suite dapplication de I dans K,
continue par morceaux, convergent simplement vers f, application de I dans K, galement continue par
morceaux.
Si g, application de I dans R+ , continue par morceaux et intgrale sur I, telque (condition de domination) :
n N, x I, |fn (x)| g(x)
Alors :

 Les
R intgrable sur I
R fn et f sont
I fn I f
n

On peut crire cette dernire consquence sous la forme suivante :

Z
Z
lim
fn =
lim fn
n

I n

Chapitre

10

Sries dapplications
10.1

Dfinitions

Dfinition 51 Soit (un ) une suite dapplication dun ensemble A valeurs dans un K espace vectoriel
norme E, munie de la norme k k.
En pratique, A est un intervalle inclu dans R, et E sera presque toujours K=R ou C, et donc dans ce cas :
k k= | |
partir de cette suite dapplication de A dans E, on peut construire une nouvelle suite dapplication (Sn ) :
Sn : A E
x 7 Sn (x) =

n
X

uk (x)

k=0

Cette nouvelle suite (Sn ) sappelle la srie dapplication de terme gnral un , et se note :

P
un
n

10.1.1

Convergence simple

Dfinition 52 On dit que

P
un converge simplement sur A si la suite dapplication (Sn ) converge simn

plement sur A. Lorsque que cest le cas, on peut dfinir une nouvelle application :
Sn : A E
x 7 Sn (x) =

uk (x)

k=0

On dit que S, application de A dans E, est la limite simple de la serie. On peut galement, lorsquil y a
convergence simple de la srie sur A, dfinir lapplication Rn :
Rn : A E
x 7 Rn (x) =

uk (x)

k=n+1

Et nous avons les relations suivantes :

(

S = Sn + Rn

x A Rn (x) 0 E

On dit aussi, pour la dernire relation, que (Rn ) converge simplement vers 0 sur A
59

10.1.2

Convergence absolue

Dfinition 53 On dit que la srie dapplication

P
un converge absolument sur A si :
n

x A

k un (x) k converge

Proprit 121 Si E = K, la convergence absolue de

P
un sur A implique la convergence simple de cette
n

srie dapplication sur A.

Cette proprit reste vrai si E est un K espace vectoriel norme complet, dit de Banach

10.1.3

Convergence uniforme

Dfinition 54 On dit que la srie dapplication

P
un converge uniformement sur A si la suite dapplican

tion (Sn ) converge uniformement sur A.

Lorsque cest le cas, la srie dapplication converge simplement sur A.
Notons S la limite simple de (Sn ). Dire que la srie dapplication converge sur A signifie que :
k Sn S k 0 k Rn k 0
A

Et quil existe un rang a partir du quel Rn est borne.

On peut dire ceci de la faon suivante aussi. La serie dapplication de terme gnral un converge uniformement sur A :
La serie converge simplement sur A (Pour lexistance de S, donc de (Rn ))
La suite (Rn ) converge uniforment sur A vers 0.
Proprit 122 Si (Sn ) converge uniformement sur A vers S, alors :
(xn ) valeur dans A , Sn (xn ) S(xn )

On crit de mme :

0 E

(xn ) Rn (xn ) 0 E

Cette proprit est utile pour montrer la non convergence uniforme.

10.1.4

Convergence normale, ou convergence au sens de Weirstrass

Dfinition 55 On dit quune srie dapplication

P
un converge normalement sur A si un est borne sur
n

A, au moins partir dun certain indice n0 , au quel cas on peut dfinir sa norme infini, et si
X

k un k converge

Proprit 123 Si la srie dapplication de terme gnral un converge normalement sur A, alors :
La srie converge absolument sur A
et si E est complet ( en particulier E=K), alors
La srie converge uniformement sur A
On dmontre la premire partie par encadrement de k un (x) k. La seconde partie se montre en montrant
que la suite (Rn ) converge uniformement.

10.2

Thorme classique sous hypothses de convergence uniforme

10.2.1

Thorme de continuit

Thorme 28 Soit (un ) une suite dapplication de I, un intervalle inclu dans

PR, dans K.
Si n N un est continue en x0 I, respectivement continue sur I, et si un converge uniformement
n

sur I, alors :
S=

uk est continue en x0 , respectivement sur I

k=0

Gnralisation 6 Soit (un ) une suite dapplication de A dans E, avec A un sous ensemble non vide dun
K espace vectoriel norme E, et E un K espace vectoriel norme.
Si :
n N un est continue sur A
P
un converge uniformement sur tout compact inclu dans A

Alors S est continue sur A

10.2.2

Thorme dinversion de la limite et de la somme

Thorme 29 Soit (un ) une suite dapplication de I, un intervalle inclue dans R, dans K, et a I, ou a
une extrmit, ou a = .
Si :
n N :
lim un (x) = ln K

xa
xA

un (x) converge uniforment sur I

n

Alors :
P
La srie ln converge
n

S(x)

xa
xA

lk

k=0

On peut aussi ecrire ceci sous la forme :

lim

xa
xA

X
k=0

uk (x) =

X
k=0

lim uk (x)

xa
xA

Gnralisation 7 Soit (un ) une suite dapplication de A dans E, avec A un sous ensemble non vide dun
K espace vectoriel norme E, et E un K espace vectoriel norme.
Si :
n N un (x) ln E
xa
xA

un (x) converge uniformement sur tout compact inclu dans A

n

P
Alors ln converge dans E et S(x)
n

xA
xa

10.2.3

Thorme dintgration sur un segment [a,b] sous hypothse de convergence uniforme

Soit (un ) une suite dapplication continue sur [a,b], valeur dans K. Si

P
un converge uniforn

mement sur [a,b], alors :

S est continue sur [a,b]
Z b
Z b
X

S(t)dt =
uk (t)dt
a

k=0

Cette dernire galit peut scrire sous la forme :

Z

bX

uk (t)dt =

a k=0

Z
X
k=0

uk (t)dt

Gnralisation 8 Ce thorme reste valable pour des applications un : [a, b] E, avec E un K espace
vectoriel norm complet, condition davoir dfini lintgrale de un sur un segment

Thorme de classe C 1

10.2.4

Thorme 30 Soit (un ) une suite dapplication de I dans K, avec I un intervalle de R.

Si :
n N, un est de classe C 1 sur I.

P
un converge simplement sur I
n

P 0

un converge uniformement sur I, ou sur tout segment de I

n

Posons :
S=

uk

k=0

Alors :
S est C 1 sur I
On peut exprimer S, la driv de S de la faon suivante (drivation terme terme) :
S0 =

u0k

k=0

La suite (un ) converge uniforment sur tout segment inclue dans I.

On le dmontre en appliquant le thorme de classe C 1 pour les suites dapplications la suite des Sn =
n
X
uk
k=0

Gnralisation 9 Ce thorme reste valable pour des applications un de [a,b] dans E, un K espace vectoriel
complet.

10.2.5

Thorme de classe C p

Thorme 31 Soit (un ) une suite dapplication de I dans K, avec I un intervalle de R, et p N

Si :
n N, un est de classe C p sur I.

 k [0, p 1]

P (k)
un converge simplement sur I
n

P (p)

un converge uniformement sur I, ou sur tout segment de I

n

Posons :
S=

uk

k=0

Alors :
S est C 1 sur I
k [0, p 1], on peut exprimer S (k) , la driv k-me de S de la faon suivante (drivation terme
terme) :

X
(k)
S (k) =
ut
t=0

k [0, p], la suite

(k)
(un )

converge uniforment sur tout segment inclue dans I.

Gnralisation 10 Ce thorme reste valable pour des applications un de [a,b] dans E, un K espace vectoriel complet.

10.2.6

Thorme de classe C

Thorme 32 Soit (un ) une suite dapplication de I dans K, avec I un intervalle de R, et p N

Si :
n N, un est de classe C sur I.
p N

P (p)
un converge uniformement sur I ou sur tout segment de I
n

Posons :
S=

uk

k=0

Alors :
S est C sur I
p N, on peut exprimer S (p) , la driv p-me de S de la faon suivante (drivation terme terme) :
S (p) =

(p)

ut

t=0

Gnralisation 11 Ce thorme reste valable pour des applications un de [a,b] dans E, un K espace vectoriel complet.

Chapitre

11

Sries dendomorphismes et de
matrices
11.1

Dfinitions et proprits gnrales

Dfinition 56 Soit E un K espace vectoriel norm de dimension finie n et (fk )nN une suite dendomorphisme de E.
On appelle srie de terme gnral fk la nouvelle suite (Sk )kN dfini par :
Sk =

k
X

fi

i=0

On note

P
fk = (Sk )kN .
k

On dit que la srie converge lorsque Sk une limite dans L(E), et on note cette limite :
S=

fi

i=0

cDans ce cas, nous pouvons dfinir aussi :

Rk = lim

p
X

fi =

i=k+1

fi

i=k+1

qui est le reste de la srie. On as trivialement, lorsque la srie converge (Pour pouvoir dfinir le reste) :
S = Sk + Rk
et
Rk 0
k

De plus, comme on a suppos E de dimension finie ici, L(E) est aussi de dimension finie, donc la convergence ne dpend pas de la norme choisie sur L(E).
Nous avons aussi une dfinition analogue dans le cas dune suite de matrice.
Proprit 124 Si B est une base de E et si Ak = matB (fk ) alors :
k
X

Ai = matB (

i=0

k
X
i=0

65

fk )

Ceci est du la linarit de lapplication suivante :

L(E) Mn (K)
f 7 matB (f )
P
P
De plus fk converge si et seulement si Ak converge, et dans ce cas :
k

X
k=0

Ak = matB (

fk )

k=0

Ai = matB (

i=k+1

fi )

i=k+1

0
Dfinition 57 Si
et si (fk )kN est une suite dendomorphisme
Pk k est une norme quelconque sur L(E)
de E, on dit que fk converge absolument au sens de k k0 si :
k

k fk k0 converge

Nous avons une dfinition analogue pour les matrices.

P
P
Proprit 125 Si fk converge absolument, alors fk converge dans L(E). Nous avons la mme prok

prit pour les matrices.

11.1.1

Exemple : La srie gomtrique

Proprit 126 Sil existe une norme

P sous-multiplicative (Voir le chapitre sur les normes subordonnes)
k k sur L(E) telque k f k< 1 alors f k converge
k

11.2

Exponentielle dendomorphisme ou de matrice

11.2.1

Proprits et dfinitions

Dfinition 58 Si f L(E), avec E un K espace vectoriel norm de dimension finie N, avec K = R ou C,

Pfn
converge dans L(E) et on note :
alors
n n!
ef =

X
fn
k=0

De mme, si A MN (K), alors

n!

P An
converge et on note :
n n!
eA =

X
An
k=0

n!

Proprit 127 Si u C 1 (I, K), avec I intervalle R, alors, avec A MN (K) :

f

I MN (K)
t 7 eu(t)A
est C 1 sur I et :
t I f 0 (t) = u0 (t)Aeu(t)A
= u0 (t)eu(t)A A
On le dmontre en revenant la dfinition de lexponentielle de matrice, et en utilisant le thorme de classe
C 1 sur les sries de fonctions.

11.3

Applications de lexponentielle de matrices la rsolution

dun systme diffrentiel linaire coefficient constant

Dfinition 59 Un systme diffrentielle linaire est un systme du type :

x0 = a11 (t)x1 + + a1n (t)xn + b1 (t)

1
..
.

x0 = a (t)x + + a (t)x + b (t)

n

n1

nn

avec les aij et les bi des applications donnes de I dans K=R ou C, avec I R.
Les xj sont des applications inconnu que lon cherche dans lensemble C 1 (I, K). On remarque que le
nombre dinconnu est gale au nombre dquations.
Ce systme est dit coefficients constant lorsque les aij sont des applications constantes. Le systme est dit
homogne lorsque les bi sont toutes des applications nulles.
Dans la suite, on va supposer que le systme est coefficients constants. Notons :
A = (aij ) Mn (K)
B : I Kn

b1 (t)

t 7 ...
bn (t)
X : I Kn

x1 (t)

t 7 ...
xn (t)
Avec ces notations, on obtient que x1 , . . . , xn sont solution sur I du systme diffrentielle prcdent si et
seulement si :
dX
= AX + B(t)
X C 1 (I, K), t I
dt
Thorme 33 Nous avons un thorme de Cauchy-Lipschitz pour les systmes :
dX
Soit
= A(t)X + B(t) , avec A et B dfini comme prcdement, continue sur un intervalle I R, cest
dt

x01

dire que toutes leurs composantes sont continues sur I. Alors X0 = ... K n et t0 I, il existe
x0n
une unique solution de (S) vrifiant la condition initiale X(t0 ) = X0 , cest dire :

x (t ) = x01

1 0
..
.

x (t ) = x
n

0n

Corollaire 1 Sous les hypothses prcdente concernant I (intervalle R) et A C(I, Mn (K)), lensemble des solutions de (S0 ) sur I est a valeur dans K n est un K espace vectoriel de dimension n.
Corollaire 2 Sous les hypothses ci-dessus concernant I,A et b, lensemble des solutions de (S) sur I valeurs dans K n est un espace affinie de direction vectorielle (S0 ). Cest dire si u est une solution particuliere
de (S) :


Sol(S) (I, K n ) = U + X, X Sol(S0 ) (I, K n )

Proprit 128 Si A Mn (K) est une matrice indpendante de la variable, alors lensemble des solutions
dX
du systme diffrentielle homogne coefficient constante (S0 ) =
= AX (linconnue X C 1 (R, K n ))
dt
est lensemble des applications (cet ensemble est un K espace vectoriel) :
R Kn

t 7 etA C , C K n indpendant de t
Ce qui, en abrg, se note :

11.4

o
n

Sol(S0 ) (R, K n ) t 7 etA C , C K n

Proprits classique de lexponentielle de Matrice

Proprit 129 Nous avons les proprits suivantes :

e0n = In
etIn = et In
Si A et B Mn (K) commutent, alors A,B,eA , eB commutent deux deux.
Si A Mn (K) et P Gln (K) : eP

AP

= P 1 eA P

Si f L(E), avec E un K espace vectoriel de dimension n, si A = matB (f ) et B une base de E,

alors : eA = matB (ef )
Si u C 1 (I, K), avec I un intervalle de R, alors :
I Mn (K)
t 7 eu(t)A
est C 1 sur I est :

d u(t)A
(e
) = u0 (t)Aeu(t)A
dt
t R, A Mn (K), etA Gln (K) et (etA )1 = etA . En particulier, en prenant le cas ou
t=1, on obtient lexpression de linverse de eA .
Proprit 130 (A, B) (Mn (K))2 telle que AB=BA, alors :
eA eB = eA+B

11.4.1

Calcul de eA

Considrons le cas simple suivant :

A = In + N
Avec K et N nilpotente dindice p (p n). On obtient que :
eA = eIn +N
= e In eN


N p1
= In e In + +
(p 1)!
= e

p1
X
Nk
k=0

k!

Ceci permet de dterminer eA dans le cas o p nest pas trop lev.

11.5

Rsolution de systme diffrentielle coefficients constant

Pour rsoudre un systme diffrentielle coefficients constant laide des exponentiels de

matrices, nous avons besoins de proprits suivantes :
dX
(t) = A(t)X(t) un systme diffrentiel linaire homogne avec A C(I, Mn (K)),
dt
et I un intervalle de R. Soit (X1 , . . . , Xn ) une famille de solutions de ce systme, not (S0 ). Nous avons
quivalence entre les conditions suivantes :
(X1 , . . . , Xn ) est une base de Sol(S0 ) (I, K n )
t I, (X1 (t), . . . , Xn (t)) est une base de K n
t0 tq (X1 (t0 ), . . . , Xn (t0 )) soit une base de K n

Proprit 131 Soit

Proprit 132 Etant donne une famille (libre ou non) (X1 , . . . , Xn ) de solution de (S0 ), avec i
[1, . . . , n] Xi (t) Rn , on appelle Wronskien de (X1 , . . . , Xn ) lapplication :
IK
t 7 W (X1 , . . . , Xn )(t) = detcan (X1 , . . . , Xn )
Les rsultats de la proprit prcdente peut alors snoncer :
(X1 , . . . , Xn ) est une base Sol(S0 ) (I, K n ) t I, W (X1 , . . . , Xn )(t) 6= 0
t0 I, W (X1 , . . . , Xn )(t0 ) 6= 0
Dfinition 60 Une base de Sol(S0 ) (I, K n ) est appel un systme fondamental de solution de (S0 ). On
utilise ce terme dans le cas des systmes linaires homognes.

Chapitre

12

Complments sur les sries

12.1

Intgration des sries de fonctions

Thorme
34 Thorme dinterversion du signe et du signe intgrale.
P
Soit un une srie dapplication un : I K, avec I un intervalle quelconque, continue par morceaux et
n

convergent
simplement sur I. On suppose que chaque un est intgrale sur I.
PR
Si
|u
| converge, alors :
n
I
n
PR

u converge
I n
n

S=

R
I

un , suppos
n=0
Z
X

S=

continue par morceaux sur I, est intgrable sur I.

un

n=0

La dernire consquence est bien une proprit dinterversion du signe et du signe intgrale.

12.2

Rudiment sur les sries doubles

Dfinition 61 tant donne un ensemble I, on appelle famille valeur dans K et index par I, et on note
(ui )iI , une application :
u:IK
i ui
Soit (uij ) une famille de complexe. (uij ) est une application :
u:NNK
(i, j) 7 uij
Exemple :

uij =

1
i2 + j 2
i

+1

uij = x , x R ou C
j
Dfinition 62 On dira que :

X
i=0 j=0

existe si et seulement si :
71

uij

 i N

P
uij converge
j

En supposant la condition prcdente vrifi, et en notant :

Si =

uij

j=0

P
Si converge.
i

Dans ce cas :

uij =

i=0 j=0

Si

i=0

Thorme 35 Soit (uij ) une famille valeur dans C. Si :

X X
i=0

existe, alors :

X X
i=0

j=0

existe et on peut permutter les signes

uij ,

X X
j=0

|uij |

j=0

i=0

uij ,

X X
j=0

i=0

|uij |

Chapitre

13

Srie entire
13.1

Dfinitions, rayon de convergence

13.1.1

Dfintions

Dfinition 63 On appelle srie entire une srie dapplication

P
un o les un sont des monomes coeffin

cient rels ou complexe, dfinis sur R ou C, par :

un : K K
t 7 an tn
En gnral, un est une application dun corps dans ce mme corps.

13.1.2

Abus de notation

Par abus
de faite srie
P de notation, car on assimile
P
P dapplication et srie numrique, on note
souvent an xn , respectivement an z n , au lieu de un .
n

13.1.3

Rayon de convergence

P
an .z n , cest a dire tant donne une suite (an ) de comn
P
plexe, on appelle rayon de convergence de cette srie entire, not parfois ( an z n ) :

Dfinition 64 tant donne une srie entire

X
( an z n ) = sup {r R+ / (|an |rn ) soit majore }
n

Cest un ensemble non vide, car il contient toujours r=0.

P
Proprit 133 Dans le cas o lensemble dfini ci-dessus et non majore, on convient que ( an .z n ) =
n

+
Proprit 134 Soit

P
P
an z n une srie entire, avec (an ) suite de complexe, et R = ( an z n ).
n

Si R = + : La srie converge simplement dans C et converge normalement sur tout disque ferme
B(0, ), avec 0, et mme converge normalement sur tout compact inclu dans C.
Si R est un rel > 0 : La srie converge sur tout disque ouvert B(0,R). La srie converge normalement
sur tout disque ferm B(0, ) inclu dans B(0,R), et mme converge normalement sur tout compact
inclu dans B(0,R).

73

 Si R = 0, la srie ne converge que pour z=0.

Vocabulaire 1 B(0,R) sappelle le disque ouvert de convergence de la srie entire

P
an z n .
n

13.1.4

Lemme dAbel

Soit z0 6= 0. Si (|an ||z0 |n ) est majore, alors [0, z0 [, la srie

P
an z n converge normalement
n

sur B(0, ).
On le dmontre en introduisant |z0 | dans lexpression de |an z n |, puis on utilise les hypothses.

13.2

Proprits utilse au calcul du rayon de convergence

Dans tout ce chapitre, (an ) et (bn ) dsigne des suites de compact, et dsigne un complexe
non nuls
PropritP135 Nous avons
P les proprits suivantes :
( an z n ) = ( |an |z n )
n
nP
P
( an z n ) = ( an z n )
n
P n
P
Si z0 C, tq an z0n converge, alors ( an z n ) |z0 |. Il en est de mme si la suite (an z n ) est
n

borne ou si la suite
P converge
P
Si z0 C, tq an .z0n diverge, alors ( an .z n ) |z0 |. Il en est de meme si la suite (an .z n ) nest
n

pas borne ou si la suite ne tend pas vers 0.

Proprit 136 Si n n0 , on a :
|an | |bn |
Alors :
(

X
an z n ) (
bn z n )

Proprit 137 Si on a :
|an |
Alors :
(

n+

X
an z n ) = (
bn z n )

13.2.1

|bn |

Rgle de dAlembert pour les sries entires

P
Soit an z n une srie entire.
n

Si n n0 |an 6= 0|, et si :
|an+1 |
l R+ + {+}
|an |
Alors :

X
1
(
an .z n ) =
l
n

avec les conventions suivantes :

X
l = 0 (
an .z n ) = +
n

X
l = + (
an .z n ) = 0
n

13.3

Somme et produit de deux sries entires

13.3.1

Somme de deux sries entires

Proprit 138 Si

an z n et

P n
P
bn z converge, alors (an + bn )z n converge et nous avons :
n

n
+
X

(an + bn )z n =

n=0

Corollaire 1 Si :

+
X

an z n +

n=0

+
X

bn z n

n=0

P
n

RA = ( Pn an z )
n
RB = ( n bn z )

RS = ( n (an + bn )z n )

Alors on obtient que :

RS min(RA , RB )
De plus, si RA 6= RB , alors :
RS = min(RA , RB )

13.3.2

Produit de deux sries entires

Proprit 139 Si

P
P
an et bn sont deux sries numriques, valeurs dans R ou dans C, absolument
n

convergente, et si :
cn =

n
X

ak bnk

k=0

Alors :

P
cn est absolument convergente.
n

Nous avons lgalit suivante :

!
an

n=0

!
bn

n=0

cn

n=0

On remarquera que dans lexpression de cn , on somme partir de 0. Si la suite (an ) ou (bn ) nest dfinie
qua partir dun certain rang on lui ajoute des termes nuls.
P
P
Proprit 140 Si z C est telque an z n et bn z n converge absolument, alors :
n
n
P n

cn z est absolument convergente.

n

Nous avons lgalit suivante :

!
an z

n=0

!
bn z

n=0

Proprit 141 Dfinition 65 La suite (cn ) dfini par :

cn =

n
X

ak bnk

k=0

est parfois appel produit de cauchy des suites (an ) et (bn )

X
n=0

cn z n

13.3.3

Proprits sur les exponentiels complexes

Proprit 142 Soit z et z deux complexes. Nous avons la proprit suivante :

0

ez ez = ez+z

On le dmontre en utilisant le produit de cauchy sur les deux sries entire dfinissant ez et ez .
Corollaire 2 Daprs la proprit prcdente, on obtient que :
(
z C ez 6= 0 et (ez )1 = ez
z C, n Z, (ez )n = enz

13.3.4

Continuit

Proprit 143 Si R = (

P
an z n ), alors :
n

z 7

+
X

an z n

n=0

est continue sur B(0,R)

13.4
Soit

Classe C
P
an .xn une srie entire de rayon R>0 (on peut avoir R = ).
n

Alors :
S : x 7

an .xn

n=0

est dfini au moins sur ] R, R[. Cet intervalle est appel intervalle de convergence.
Proprit 144 Nous avons les proprits suivantes :
( P
P
( n nan xn1 ) = ( n an xn )
P
P
( n (n + 1)an+1 xn ) = ( n an xn )
On observe donc que la drivation termes termes ne modifie par le rayon de convergence dune srie
entire.
P
Thorme 36 Soit an xn une srie entire de rayon R > 0 (On peut avoir R = +).
n

Alors sa somme :
S :] R, R[ K
x 7

+
X

an xn

n=0

est C sur lintervalle de convergence, et les drivs S (k) sobtiennent laide dune drivation terme
terme :

X
n!
an .xnp
x ] R, R[, S (p) (x) =
(n

p)!
n=0
On le dmontre par rcurrence sur p.
Corollaire 3 On obtient le corrolaire suivant :

X
S (n) (0) n
x ] R, R[ S(x) =
x
n!
n=0

Corollaire 4 Soient

P
P
an xn et bn xn deux sries entire de rayon Ra et Rb strictement positif. Si :
n

x ] r, r[

an xn =

bn xn

avec :
0 < r min(Ra , Rb )
Alors, on en dduit que :
an = bn
La conclusion reste valable en supposant seulement que lgalit des sommes est vrifi pour tout x appartenant un intervalle de longeur > 0.

X
On peut aussi exprimer ceci de la faon suivante : Si
an xn = 0 pour tout x ] r, r[, avec :
n=0

0 < r < Ra
Alors :
n N an = 0
Corollaire 5 Si

P
an .xn est une srie entire de rayon R > 0, alors :
n

X
an n+1
x
)=R
(
n
+1
n=0

Et :
x 7

X
an n+1
x
n
+1
n=0

est une primitive de

x 7

an xn

n=0

sur ] R, R[

13.5

Fonctions dveloppable en srie entire

Dans ce chapitre, on se limite la variable relle.

Dfinition 66 Soit f fonction de R dans R et x0 R.
On dit P
que f est dveloppable en srie entire en x0 , ou au voisinage de x0 , si il existe un r > 0 et une srie
entire an .xn , cest dire (an ) RN , de rayon R r tq :
n

x ] r, r[ f (x) =

an .(x x0 )n

n=0

Proprit 145 Soit f une fonction dcomposable en srie entire en x0 . Son dveloppement est le dveloppement de Taylor en x0 , cest dire :
x ]x0 r, x0 + r[ f (x) =

X
f (n) (x0 )
(x x0 )n
n!
n=0

Corollaire 6 On peut obtenir un dveloppement limit en x0 de f, lordre n, en tronquant le dveloppement en srie entire.
n
X
f (k) (x0 )
f (x) =
.(x x0 )k + o((x x0 )n )
xx0
k!
k=0

13.5.1

Quelques dvelopppement en srie entire classique

Nous avons les dveloppement classique suivant :

z C tq |z| < 1 :

X
1
=
zk
1z
k=0

z C tq |z| < 1 :

X
1
=
(1)k .z k
1+z
k=0

x [1, 1[ :
ln(1 x) =

X
xk
k=1

x ] 1, 1] :

ln(1 + x) =

(1)k+1

k=1

x R :

xk
k

X
xk

ex =

k=1

z C :

k!

X
zk

e =

k=1

x R :
ch(x) =

k!

X
x2k
(2k)!

k=0

x R :
sh(x) =

X
x2k+1
(2k + 1)!

k=0

x R :
cos(x) =

(1)k

k=0

x R :
sin(x) =

(1)k

k=0

R N, x ] 1, 1[ :
(1 + x) =

x2k
(2k)!

x2k+1
(2k + 1)!

ak .xk

k=0

avec :

13.5.2

a0 = 1
ak = .( 1)...( k + 1)
k!

Dveloppement en srie entire des fractions rationnelles

P
, avec (P, Q) C[X]2 , premiers entre eux. Si 0 nest
Q
pas un ple de f, alors f est un dveloppable en srie entire en 0 sur B(0,r), avec :

Proprit 146 Soit f une fraction rationnelle, f =

r = min ||
Z(Q)

De plus, la srie entire en question, qui est la srie de Taylor de f, est de rayon r.

13.6

Extension C des fonctions trigonomtrique

Nous avons les dveloppement en srie entire classique pour les fonctions exp, sh, ch dans
C et de cos et sin dans R. En observant que les rayons de convergence de ces sries sont infini,
on peut donc obtenir les fonctions cos et sin dans C, en considrent le dveloppement en srie
entire identique, mais avec une variable complexe.

13.6.1

Lien entre trigonomtrie circulaire et trigonomtrie hyperbolique

On montre, en utilisant le dveloppement en srie entire, que z C :

ch(iz) = cos(z)
sh(iz) = i.sin(z)
En remplacant z par iz, on obtient :
cos(iz) = ch(z)
sin(iz) = i.sh(z)

Chapitre

14

Srie de Fourier
14.1

Dfinitions

Dans tout ce chapitre, les fonctions considres seront des fonctions de R dans R ou C (fonctions dune variable relle x, valeurs dans R ou C).
Dfinition 67 Une fonction f : R R ou C est dite T-priodique (T rel > 0) lorsque :
x R f (x + T ) = f (x)
(On suppose ici f dfinie sur tout R). On a alors trivialement :
n Z, x R f (x + nT ) = f (x)
Une fonction T-priodique est donc aussi nT-priodique, n N .
Dfinition 68 On appelle polynme trigonomtrique de degr N ( N N), une fonction du type :
P : R R ou C
N

x 7 P (x) =

a0 X
+
[an cos(nw) + bn sin(nx)]
2
n=1

ou les an et les bn sont des nombres (rels ou complexes) donnes. (b0 = 0) et un rel > 0 donn.
Le polynme trigo est dit de degr N si aN 6= 0 ou bN 6= 0.
2
Le polynme trigo P est T-priodique, avec T =

Proprit 147 Si on utilise les relations dEuler :

(
cos(nx) = 21 (einx + einx )
1
sin(nx) = 2i
(einx einx )
On obtient facilement :
P (x) =

N
X

cn einx

n=N

o :

(
cn = 21 (an ibn ) pour n [|0, N |]
cn = 12 (an + ibn ) pour n [|0, N |]
81

Dfinition 69 On appelle srie trigonomtrique une srie de fonctions :

P
un dfinies pour n N par :
n

un : R R ou C
x 7 un (x) = an cos(nx) + bn sin(nx) = cn einx + cn einx
et, pour n=0, par :
u0 (x) =

a0
= c0
2

La somme partielle dordre N dune telle srie nest donc rien dautre quun polynme trigonomtrique :
N
N
X
a0 X
+
[an cos(nx) + bn sin(nx)] =
cn einx
2
n=1

SN (x) =

n=N

14.2

Condition suffisante de convergence des Sries Trigonomtriques

Proprit 148 Si les sries

P
P
|an | et |bn | convergent, alors la srie trigo :
n

a0 X
+
[an cos(nx) + bn sin(nx)]
2
n
converge normalement sur R.

14.3

Rappel : Fonctions de Classe C k par morceaux

Dfinition 70 Une fonction f : [a, b] R R ou C (ou mme un espace vectoriel norm E) est dite C k
par morceaux sur [a,b] sil existe une subdivision finie de [a,b] : a = x0 < x1 < < xp = b et des
fonctions fi C k ([xi , xi+1 ], R ou C), 0 i p 1 tq :
i [|0, p 1|]f|]xi ,xi+1 [ = fi
Autrement dit si la restriction de f chaque intervalle ]xi , xi+1 [ peut tre prolonge en une fonction de
classe C k sur [xi , xi+1 ].
Dfinition 71 Une fonction f : R R ou C est dite C k par morceaux sur un intervalle I R (non
ncessairement compact) si sa restriction tout intervalle compact [a,b] inclus dans I est C k par morceaux
sur [a,b] (comme nous venons de le dfinir prcdement)

14.3.1

Fonctions continues par morceaux

f : [a, b] R ou C est continue par morceaux sur [a,b] si et seulement si :

a) f a au plus un nombre fini de points de discontinuit sur [a,b].
b) ces discontinuits sont des discontinuits de 1ere espce, cest dire des points de discontinuit
xi tq les limites droite et gauche en xi existent et soient finies (videment, si xi = a on ne
considre que la limite droite et si xi = b on ne considre que la limite gauche)
On note alors :
f (x+
lim
f (x)
i )=
xxi ,x>xi

et
f (x
i )=

lim

xxi ,x<xi

f (x)

Intgrale dune fonction continue par morceaux

Rb
Si f est continue par morceaux sur [a,b] on dfinit a f (t)dt par :
p1 Z xi+1
X
Rb
f
(t)dt
=
fi (t)dt (avec les notations prcdentes pour xi et fi ). Ce qui ramne lina
i=0

xi

tgrale de fonctions continues.

(Dans le cas o on aurait dfini lintgrale dune autre manire, ceci nest plus une dfinition mais
une proprit)

14.3.2

Fonctions de classe C 1 par morceaux

f : [a,b] R ou C est C 1 par morceaux sur [a,b] si et seulement si :

a) f admet au plus un nombre fini de discontinuits : x0 < x1 < < xp , toutes de 1ere espce.
b) f est de classe C 1 sur [a,b] - {x0 , x1 , . . . , xp }.
c)

lim

xxi ,x>xi

f (x)f (x+
i )
xxi

et

lim

xxi ,x<xi

f (x)f (x
i )
xxi

existent et sont finies (0 i p) (avec lexception

0
habituelle si x0 = a ou xp = b ). On note alors ces limites respectivement : f 0 (x+
i ) et f (xi ).
1
(Elles sont appeles 2 drives droite et gauche en xi ).

14.4
14.4.1

Dveloppement des Fonctions priodiques en srie de Fourier, Thorme de Dirichlet

La somme dune srie trigonomtrique est priodique

P
a0
, un (x) = an cos(nx) +
un (x) avec : u0 (x) =
2
n
bn sin(nx) si n N . Si cette srie converge en x, alors elle converge aussi en x + T ( = 2
T ) et la

X
somme S(x) =
un (x) vrifie : S(x + T ) = S(x). Autrement dit :
Considrons la srie trigonomtrique

n=0

Proprit 149 Le domaine de convergence dune srie trigonomtrique est invariant par la translation
x 7 x + T (et donc aussi par x 7 x + kT, k Z) et sa somme est une fonction T-priodique sur ce
domaine.

14.4.2

Dveloppement dune Fonction priodique en srie trigonomtrique

On se pose ici le problme rciproque de la proprit prcdente :

tant donne une fonction f : R R ou C, existe-t-il des an et des bn R ou C tq :

P
a0

+
[an cos(nx) + bn sin(nx)] converge
La srie

2
nN

a0 X

f
(x)
=
+
[an cos(nx) + bn sin(nx)], x Df

n=1

Daprs la proprit prcdente, cela implique que f soit T-priodique (autrement dit, le problme
ne se pose que pour des fonctions priodiques).
Dfinition 72 On dit quune fonction T-priodique f :R R ou C est dveloppable en srie trigonomtrique sur un domaine D R, sil existe des an et des bn (respectivement des cn ) R ou C tq :

f soit, sur D, la somme de la srie trigonomtrique

P
un avec, toujours :
n

a0

u0 (x) =

un (x) = an cos(nx) + bn sin(nx), si n N .

= cn einx + cn einx

= 2
T
cest dire :

x D f (x) =
=

a0 X
+
[an cos(nx) + bn sin(nx)]
2
n=1

cn einx

n=

14.4.3

Relation entre la somme dune srie trigo et ses coefficients en cas de

convergence uniforme

a0 X
+
[an cos(nx) + bn sin(nx)], x R, et si la srie de fonctions du
2
n=1
second membre converge uniformment sur R alors les coefficients an , bn sont donne par :

2 RT

a =
f (t) cos(nt)dt , n N

n
T 0

Proprit 150 Si f (x) =

bn = 2 T f (t) sin(nt)dt , n N
T 0
a0
le coefficient constant)
(y compris n=0, ceci explique pourquoi on a not
2

14.4.4

Coefficients de Fourier et Srie de Fourier dune fonction priodique

continue par morceaux

RT
RT
Les intgrales qui interviennent dans les formules prcdentes : 0 f (t) cos(nt)dt, 0 f (t) sin(nt)dt,
RT
f (t)eint dt peuvent, a priori, tre dfinies pour toute fonction f continue par morceaux sur
0
[0,T]
Dfinition 73 Si f : R R ou C est une fonction T-priodique et continue par morceaux sur R, on
dfinit les coefficients de Fourier de f par :
R

an (f ) = T R [T ] f (t) cos(nt)dt, n N (y compris pour n=0)

bn (f ) = T2 [T ] f (t) sin(nt)dt, n N

cn (f ) = T1 [T ] f (t)eint dt, n Z
cn (f ) est parfois galement not fb(n).
Dfinition 74 On appelle srie de FourierP
de la fonction f : R R ou C, T-priodique et continue par
morceaux sur R, la srie trigonomtrique : un , avec :
n

u0 (x) =

a0 (f )
= c0 (f )
2

un (x) = an (f ) cos(nx) + bn (f ) sin(nx) = cn (f )einx + cn (f )einx

Proprit 151 Soit f : R R ou C une fonction T-priodique continue par morceaux. Si f est dveloppable en une srie trigonomtrique uniformement convergente sur R (ce qui quivaut, rappelons le, :
uniformement convergente sur un intervalle compact damplitude T), alors cette srie est la srie de Fourier
de f.

14.4.5

Thorme de Dirichlet

Proprit 152 Soit f : R R ou C une fonction T-priodique et C 1 par morceaux sur R (ou, ce qui est
quivalent, C 1 par morceaux sur un intervalle compact damplitude T).
Alors, la srie de Fourier de f converge simplement sur R et :

x R

a0 (f ) X
1
+
[an (f ) cos(nx) + bn (f ) sin(nx)] = [f (x+ ) + f (x )]
2
2
n=1

En particulier, si f est continue en x, la somme de la srie de Fourier en x vaut f(x) (autrement dit, en tout
point o f est continue il y a convergence simple vers f de sa srie de Fourier)

14.4.6

Remarque : Coefficients de Fourier des Fonctions priodiques paires et

impaires

Soit f : R R ou C une fonction T-priodique continue par morceaux. On sait que, pour
calculer les coefficients de Fourier de f, on peut intgrer sur nimporte quel intervalle damplitude
T. Donc, si f est paire :
Z T2
2
f (t) sin(nt)dt
bn (f ) =
T T2
La fonction intgre : t f (t) sin(nt) est impaire et on intgre sur un intervalle symtrique par
rapport 0, donc bn (f ) = 0 (le dmontrer en dtail par un petit changement de variable)
De mme, si f est impaire, on obtient que :
n N an (f ) = 0
Dans le premier cas (f paire), on dit que la srie de Fourier de f est une srie de cosinus. Dans le
second cas (f impaire), que cest une srie de sinus

14.5

Le Thorme de Weierstrass Trigonomtrique

Thorme 37 Si f : R R ou C est une fonction 2 priodique continue sur R.

> 0, P : R R ou C polynme trigonomtrique tq k f P k
R

14.6

Convergence en Moyenne Quadratique des Sries de Fourier

tant donne f : R R ou C, T-priodique et continue par morceaux, on dfinit, comme

dhabitude, la somme partielle de la srie de Fourier de f :
SN (x) =

N
X

cn (f )einx

n=N

Il sagit, dans cette section, dtudier la convergence de la suite de fonctions SN vers f au sens de
1
la norme hermitienne :
2
! 21
Z
1
k g k2 =
|g(t)|2 dt
T [T ]
On cherche obtenir des rsultats pour des fonctions continues par morceaux, donc dans un cadre
plus large que celui du Thorme de Dirichlet o la fonction f tait suppos C 1 par morceaux.

14.6.1

Dfinitions, Notations

E = C espace vectoriel des fonctions T-priodiques et continues par morceaux de R dans C

(il est immdiat de vrifier que cet ensemble E est stable par les oprations + et ., et mme par
produit : Cest non seulement un C espace vectoriel mais aussi une C-algbre ).
C = lensemble des fonctions T-priodiques et continues de R dans C. Cest un sous espace vectoriel de E.
EN = lensemble des polynmes trigonomtriques de degr N , cest dire des fonctions du
type :
N
X
x 7 P (x) =
n einx , n C
n=N

Nous noterons aussi en la fonction :

e

n
C
R

x 7 einx
Si P EN :
P =

N
X

n en

n=N

Autrement dit :
EN = Vect(eN , . . . , e1 , e0 , e1 , . . . , eN ) (nb : e0 = 1)
Contrairement aux sous-espaces prcdents, EN est de dimension finie.
On a :
E0 E1 EN C E
Avec :

14.7

(
E0 , . . . , EN sous espaces de dimension finie
C, E espaces de dimension infinie

Produit scalaire Hermitien

Pour tout couple dlments (f, g) E E, on peut dfinir :

Z
1
f (t)g(t)dt
< f |g >=
T [T ]
(car f g est continue par morceaux).
Mais cette formule ne dfinit pas un produit scalaire sur E : <f|f>=0 nimplique pas ncessairement : f =
0 (la forme sesquilinaire (f,g)7<f|g> nest pas "dfinie" : donner un contre-exemple).
De mme :
! 12
Z
p
1
2
k f k= < f |f > =
|f (t)| dt
T [T ]
ne dfinit pas une norme sur E. On a bien : k 0 k= 0, k f k= || k f k, k f + g kk f k + k g k
mais pas : k f k= 0 f =
0. On dit que k k est une semi-norme sur E.
Pour obtenir un produit scalaire hermitien et une norme hermitienne par ces formules, il faut
se restreindre un sous-espace de E, par exemple C.
Proprit 153 La famille (en )nZ est une famille orthonorme de C.
La famille (en )n[|N,N |] est une base orthonorme de EN
Proprit 154
f E cn (f ) =< en |f >

14.7.1 SN est la meilleurs approximation quadratique de f E parmi les polynmes trigonomtriques de degr N
Soit f E (une fonction T-priodique continue par morceaux de R dans C).
On rappelle que :
Z
1
cn (f ) =
f (t)eint dt =< en |f >
T [T ]
SN (x) =

N
X

N
X

cn (f )einx SN =

n=N

cn (f )en SN =

n=N

Thorme 38 f E, k f SN k= inf

P EN

N
X

< en |f > en

n=N

k f P k et SN est le seul lement de EN vrifiant cette

condition.
Autrement dit, SN ralise la meilleure approximation de f au sens de la
par un polynme trigonomtrique de degr N et, en outre :

1
2

norme quadratique k k

[k f Q k= inf k f P k et Q SN ] Q = SN
P EN

ou encore :
[k f Q k=k f SN k et Q EN ] Q = SN

14.7.2

Ingalit de Bessel
f E

N
X

1
|cn (f )|
T
2

n=N

|f (t)|2 dt

[T ]

Corollaire f E (f T-priodique continue par morceaux), la famille (cn (f ))nZ est de carr sommable.
N
X
Cela signifie que la suite : N 7
|cn (f )|2 converge, et on note sa limite :
n=N

|cn (f )|2

n=

(Cette limite est appele "somme" de la famille (|cn |2 )nZ )

14.8

Thorme de Parseval
EN EN +1 {k f P k, P EN } {k f P k, P EN +1 } R+
inf {k f P k, P EN +1 } inf {k f P k, P EN }
(quand un ensemble augmente, son inf diminue, au sens large )
k f SN +1 kk f SN k

Autrement dit : La suite n 7k f SN k est dcroissante.

Lensemble P = EN est lensemble des polynomes trigonomtriques :
N N

P (x) =

n
X
k=n

k eikx

14.8.1

Enonc du Thorme de Parseval

f E (cest dire pour toute fonction f : R C, T priodique et continue par morceaux )

k f SN k 0 quand N (autrement dit : SN f au sens de la norme quadratique) avec : SN la
somme partielle dordre N de la srie de Fourier de f.

14.9

Corollaire : Identit de Parseval

1
f E ( fonction T-priodique continue par morceaux ),
|cn (f )| =
T
n=
2

|f (t)|2 dt

[T ]

Rappelons que, par dfinition :

X
n=

|cn (f )|2 = lim

N
X

|cn (f )|2

n=N

et que cette limite est finie daprs lingalit de Bessel (cf page 87).
Lidentit de Parseval peut galement snoncer laide des an (f ) et des bn (f ) : f E ( fonction T-priodique continue par mor
|bn (f )|2 ) converge et
Z

1X
1
1
|a0 (f )|2 +
(|an (f )|2 + |bn (f )|2 ) =
|f (t)|2 dt
4
2 n=1
T [T ]
Lquivalence entre cette version et la prcdente rsulte des relations entre les an (f ), bn (f ) et
cn (f ) rappeles prcdement

14.10

Analyse en Frquence des fonctions priodiques continues

par morceaux

Soient, tout dabord, f et g deux fonctions T-priodiques de R dans C de classe C 1 par morceaux. Il rsulte du Thorme de Dirichlet que si f et g ont les mmes coefficients de Fourier, cest
dire : n Z cn (f ) = cn (g) ou, ce qui revient au mme :
(
an (f ) = an (g)
n N
bn (f ) = bn (g)
Alors :

x R f (x+ ) + f (x ) = g(x+ ) + g(x )

et, en particulier : f(x) = g(x) en tout point x R o f et g sont toutes deux continues.
En rsum : deux fonctions T-priodiques C 1 par morceaux qui ont les mmes coefficients de Fourier concident sauf, peut-tre, en leurs points de discontinuit (qui, par dfinition dune fonction
C 1 par morceaux sur un intervalle, sont en nombre fini sur tout intervalle compact R).
Le Thorme de Parseval permet dtendre ce rsultat aux fonctions T-priodiques qui sont seulement continues par morceaux. Soient f et g deux telles fonctions vrifiant : n Z cn (f ) = cn (g).

Proprit 155 Si f et g sont deux fonctions T-priodiques continues de R dans C, tq :

n Z cn (f ) = cn (g)
alors f=g.
Variante : Si f est une fonction T-priodique continue de R dans C tq : n Z, cn (f ) = 0, alors f = 0.

14.11

Relation entre les coefficients de Fourier de f et de f (p)

14.11.1

Gnralisation du Thorme dintgration par Parties

Si u et v sont deux fonctions C 1 ([a, b], C) nous savons que :

Z
a

u0 v = [uv]ba

uv 0

En fait, cette formule reste vraie si les fonctions u et v sont continues et seulement C 1 par morceaux sur [a,b].
Rb
Rb
Notons dabord que les intgrales a u0 v et a uv 0 sont tourjours bien dfinies car les intgrands
uv et uv sont continus par morceaux.

14.11.2

Relation entre les coefficients de Fourier et ceux de f

Proprit 156 Si f : R C est T priodique continue, et C 1 par morceaux, alors :

n Z cn (f 0 ) = incn (f ) (en particulier : c0 (f 0 ) = 0)
(
an (f 0 ) = nbn (f ) (en particulier : a0 (f 0 ) = 0)
n N
bn (f 0 ) = nan (f )
Proprit 157 Si f : R C est T priodique C p1 et C p par morceaux. Alors :
n Z cn (f (p) ) = (in)p cn (f )

14.11.3

Deuxime application : Convergence Normale de la srie de Fourier

Thorme 39 Soit f : R C une fonction T-priodique C 1 par morceaux et continueP

sur R. P
P
P
Alors sa srie de Fourier converge normalement vers f sur R. Plus prcisement : les sries |an |, |bn |, |cn |, |cn |
sont convergentes

Quatrime partie

quations diffrentielles

91

Chapitre

15

quations diffrentielles
15.1

quations diffrentielle linaire du 1er ordre

Dfinition 75 Une quation diffrentielle linaire du 1er ordre est une quation du type :
(t)y 0 + (t)y = (t) (E)
Avec :

(
, , C(I, K), I Intervalle R
y C 1 (I, K) est une application inconnue

On dit que (E) est rsolue, par rapport y, sur I lorsque ne sannule par sur I. Dans ce cas :
(E) y 0 + a(t)y = b(t)
Dfinition 76 On appelle quation homogne associ (E), ou quation sans second membre, not (E0 ) :
y 0 + a(t)y = 0
Thorme 40 Thorme de Cauchy-Lipschitz linaire du premire ordre :
Avec les notations et hypothses prcdentes, si (E) est rsolue sur I, alors :
t0 I y0 K, !y Sol(E) tq y(t0 ) = y0
Corollaire 3 Toujours avec les mmes notation et hypothses :
Sol(E0 ) est un K espace vectoriel de dimension 1
Sol(E) est un K espace affine de direction Sol(E0 )
On peut crire cel sous la forme : Si u est une solution particulire non nulle de E0 , lquation homogne,
sur I, alors Sol(E0 ) = Vect(u) et si v est une solution particulire de E sur I, on obtient que :
Sol(E) = v + Sol(E0 )
= v + Vect(u)

15.2

Equations diffrentielle linaire du second ordre

Dfinition 77 Une quation diffrentielle linaire du 2nd ordre est une quation du type :
(t)y 00 + (t)y 0 + (t)y = (t) (E)
Avec :

, , , C(I, K), I Intervalle R

y C 2 (I, K) est une application inconnue

On dit que (E) est rsolue, par rapport y, sur I lorsque ne sannule par sur I. Dans ce cas :
(E) y 00 + a(t)y 0 + b(t)y = h(t)
93

Thorme 41 Sous les hypothses prcdent, en particulier le fait que (E) est rsolue sur I, alors, t0
I, (y0 , y00 ) K 2 , !y Sol(E) tq :
(
y(t0 ) = y0
y 0 (t0 ) = y00
Corollaire 4 Sous les hypothses prcdentes :
(
Sol(E0 ) = K espace vectoriel de dimension 2
Sol(E) = K espace affine de direction vectoriel Sol(E0 )

15.2.1

Cas Particuliers

Considrons une quation diffrentielle linaire de 2nd ordre coefficiant constant :

y 00 + ay 0 + by = h(t) (E)
(

a et b sont des constantes indpendente de la variable du corps K

h C(I, K)

Dans ce cas, on rsout lquation caractristique associ :

r2 + ar + b = 0
Si K = C
Si lquation caractrisitique a deux solutions Notons r1 , r2 ces deux solutions disctinct.
Sol(E0 ) = V ect(t 7 er1 t , t 7 er2 t )
Si lquation caractrisitique a racine double Notons r cette solution :
Sol(E0 ) = V ect(t 7 tert , t 7 ert )
Si K = R
Si lquation caractrisitique a deux solutions Notons r1 , r2 ces deux solutions disctinct.
Sol(E0 ) = V ect(t 7 er1 t , t 7 er2 t )
Si lquation caractrisitique a racine double Notons r cette solution :
Sol(E0 ) = V ect(t 7 tert , t 7 ert )
Si lquation caractristique deux racines non relles Pour obtenir ce rsultat, on utilise la
proprit suivantes :
Proprit 158 Lensemble des solutions complexe de (E0 ) est un C espace vectoriel. Il est donc stable par
combinaison linaire.
On se place dans le cas complexe pour rsoudre, puis on pose :
r1 = + i
r2 = i
On rsoud en prenant la partie relle et la partie imaginaire (cf proprit prcdente)
Sol(E0 ) = V ect(t 7 et cos(t), t 7 et sin(t))

15.2.2

Solutions de (E)

Si lon possde une solution particulier de (E0 ), on peut rsoudre, si cette solution ne sannule
pas sur I, completement lquation (E) par la mthode de variation de la constante.

15.2.3

Wronskrien

Soit u et v deux solutions dune quation diffrentielle linaire du 2nd (vrifiant les hypothses
de Cauchy-Lipschitz), on dtermine si le couple (u,v) est libre (donc une base) en utilisant le
Wronskien.
Dfinition 78 Soient u et v deux applications C 2 (I, K). On appelle Wronskien du couple (u,v) et on
note W(u,v) lapplication C 1 (I, K) suivante :
IK

t 7 W (u, v)(t) = detcan

 

u(t)
v(t)
,
u0 (t)
v 0 (t)

Proprit 159 Soit (u,v) un couple de solution SolI,K (E0 ) avec (E0 ) lquation diffrentielle homogne
dordre 2, vrifiant les hypothses de Cauchy-Lipschitz. Nous avons les quivalences suivantes :
(u, v) est libre (u, v) est une base de SolI,K (E0 )
t I W (u, v)(t) 6= 0
t I W (u, v)(t) 6= 0

15.3

quations diffrentielle (non linaire) du 1er ordre, rsolue

Dfinition 79 Un ouvert de R2 est dfini par :

(U est un ouvert ) (M U, r > 0 tq B(M, r) U)
Avec :

n
o

B(M, r) = P R2 / k M P k< r

Le fait que U soit ouvert ne dpend pas de la norme choisie, car toutes les normes sont quivalente en
dimension finies.
Dans le cas de la norme infinie, la boule de rayon r est un carre de cot 2r.
Cette quation est une quation du type :
y 0 = f (y, t)
avec f une fonction de R2 dans R, de classe C 1 sur un ouvert U de R2 .
Dfinition
80 Une solution de (E) est une application y C 1 (I, R), avec I intervalle de R telle que :
(
t I, (t, y(t)) U (Cette condition est requise pour pouvoir dfinir f (t, y(t))
t I, y 0 (t) = f (t, y(t))
Dfinition 81 Une solution y est dite maximale si on ne peut pas la prolonger en une solution de (E) sur
un intervalle I % I.
Cest dire quil nexiste pas de solution de (E) sur I % I telque :
y = z|I

Thorme 42 Thorme de Cauchy-Lipshitz pour les quations diffrentielles (non linaire) du 1er ordre
rsolue.
Si f C 1 (U, R) avec U ouvert de R2 , (t0 , y0 ) U, lquation (E) : y = f(t,y) admet une solution
maximale et une seule, not y C 1 (I, R), avec I un intervalle 3 t0 , telque :
y(t0 ) = y0
De plus, pour une telle solution maximale, I est ouvert.
Si z C 1 (J, R) est une solution de (E) sur J 3 t0 vrifiant z(t0 ) = y0 , alors :
(
J I
z = y|J
Autrement dit, toutes solutions de (E) se prolonge en une unique solution maximale. Cependant, ce thorme reste muet sur lintervalle de dfinition de la solution maximale (dpendante des conditions initiales).
Corollaire 5 Si z1 et z2 sont des solutions de (E) sur des intervalles J1 et J2 contenant t0 et si :
z1 (t0 ) = z2 (t0 )
Alors :
z1 |J1 J2 = z2 |J1 J2

15.3.1

quation variable sparable

Dfinition 82 Cest une quation diffrentielle du 1er ordre quivalente une quation du type :
f (y)y 0 = g(t) (E)
Avec f et g des fonctions de R dans R.
Si I est un intervalle sur lequel f ne sannulent pas :
(E) y 0 =

g(t)
= F (t, y)
f (y)

Si f est continue sur I, et ne sannule pas sur I, et si g est continue sur J R, alors F prcdement dfinie
est continue sur J I. On le dmontre laide de fonctions composes.

15.3.2

nonc simplifi du thorme de Cauchy-Lipschitz pour les quations

diffrentielle du 1er ordre autonomes

Dfinition 83 Une quation diffrentielle est dites autonome si elle est indpendente de t. Cest dire si
cest une quation du type :
y 0 = f (y) (E)
Si f C 1 (J, R), avec J intervalle ouvert de R.
t0 R, y0 J, il existe une solution maximale et une seule de (E), not y C 1 (I, R) telle que
y(t0 ) = y0 .
De plus, lintervalle de dfinition dune telle solution maximale est un ouvert 3 t0 .
Toute solution z de (E) sur un intervalle I 0 I vrifiant la mme condition initiale est la restriction
sur I de y.
Corollaire 6 Si z1 et z2 sont deux solutions de (E) sur des intervalles J1 et J2 , vrfiant une mme condition initiale en t0 J1 J2 , alors z1 et z2 coincident sur J1 J2
Remarque 5 y 0 = f (y) est un cas particulier de y = F(t,y) avec :
F : R2 R
(t, y) 7 f (y)
On peut donc appliquer directement le thorme de Cauchy-Lipschitz (non-linaire) du 1er ordre avec pour
ouvert U = R J.

15.4

quation diffrentielle (non linaire) du 2nd ordre, rsolue

Cest une quation du type :

y 00 = f (t, y, y 0 ) (E)

Thorme 43 Thorme de Cauchy-Lipschitz pour une quation diffrentielle (non linaire) du 2nd ordre.
Si f C 1 (U, R), avec U un ouvert de R3 , alors : (t0 , y0 , y00 ) U, il existe une unique solution maximale
de (E), note y C 2 (I, R), avec I un intervalle de R, cest dire que :
(
t I, (t, y(t), y 0 (t)) U
t I, y 00 (t) = f (t, y(t), y 0 (t))
Vrifiant les conditions initiale suivante :
(
y(t0 ) = y0
y 0 (t0 ) = y00
De plus, lintervalle I de dfinition dune telle solution maximale est ouvert.
Toute solution z de (E) sur un intervalle J 3 t0 et vrifiant les mmes conditions initiales est la restrictions
de y sur J.
(
J I
t J z(t) = y(t)
Corollaire 7 Si deux solutions z1 et z2 de (E) sur J1 et J2 vrifiant la mme condition initiale en t0 , alors
z1 et z2 coincident sur J1 J2

15.4.1

nonc simplifi pour les quations diffrentielles autonomes

Cest une quation du type :

y 00 = f (y, y 0 )
Si f C 1 (W, R), W un ouvert de R2 , alors t0 R, (y0 , y00 ) W , (E) admet une solution et une
seule, maximale, de (E), not y C 1 (I, R), I intervalle t0 , cest dire :
(
t I, (y(t), y 0 (t)) W
t I, y 00 (t) = f (y(t), y 0 (t))
vrifiant la condition initiale.
De plus, lintervalle de dfinition dune telle solution maximale est ouvert. Toute solution de (E)
se prolonge en une unique solution maximale
Corollaire 8 Si z1 et z2 sont deux solutions de (E), sur J1 et sur J2 , 3 t0 , et si ces solutions vrifient les
mme conditions initiale, alors :
t J1 J2 , z1 (t) = z2 (t)
Remarque 6 De mme que prcdement, y 00 = f (y, y 0 ) est un cas particulier de y 00 = F (t, y, y 0 ) avec :
F : R3 R
(t, y, y 0 ) 7 f (y, y 0 )

On peut donc directement appliquer le thorme prcdent en considrant louvert U = R W

15.5

Systme diffrentielles (non linaire) autonome du 1er ordre,

de deux quations deux inconnus

Dfinition 84 Ce sont les systmes diffrentielles du type :

(
x0 = f (x, y)
(S) :
y 0 = g(x, y)
Le systme est dit autonome car la variable t dont dpendent les deux fonctions x et y ne figurent pas dans
les quations.
Dans ce chapitre, nous faisons les hypothses suivantes : f et g sont deux applications de C 1 (U, R),
avec U un ouvert de R2 , cest dire que f et g admettent des drives partielles du 1er ordre,
continues sur U.
Dfinition 85 On dit que x et y sont des solutions de (S) sur I R si x et y C 1 (I, R) telque :

(x(t), y(t)) U
t I x0 (t) = f (x(t), y(t))

0
y (t) = g(x(t), y(t))
Dans ce cas, x et y sont solutions de (S) sur I R.

15.5.1

Ecriture synthtique du systme (S)

Notons X la fonction suivante :

X : R R2


x(t)
t 7 X(t) =
y(t)
X est C 1 (I, R2 ) si x et y sont elle mme C 1 sur I, avec I intervalle de R. Dans ce cas :
 0 
x (t)
t I X 0 (t) =
y 0 (t)
Dautre part, dfinissons :
F : R2 R2

(x, y) 7 F (x, y) =


f (x, y)
g(x, y)

F est de classe C 1 de U sur R2 , cest dire admet des drives partielles continues sur U si et
seulement si f et g sont C 1 (U, R).
Dans ce cas, on obtient les drives partielles de F par drive composantes par composantes.
Dfinition 86 F est appel champs de vecteur de classe C 1 sur louvert U de R2
A laide de ces notations, on obtient que x et y sont solutions de (S) sur I si et seulement si :

1
2

X C (I, R )
t I, X(t) U

t I, X 0 (t) = F (X(t))
On rsume donc les trois conditions en disant que X est solution sur I de lquation diffrentielle
vectorielle :
X 0 = F (X) (E)

Dfinition 87 Une solution X de (E) est dite maximale si elle nest pas prolongable en une solution de (E)
sur un intervalle I % I
Thorme 44 Thorme de Cauchy-Lipschitz.
Sous les hypothses prcdente, cest dire essentiellement F C 1 (U, R2 ), avec U un ouvert de R2 ,
lquation (E) :
X 0 = F (X)
admet t0 R et tout X0 = (x0 , y0 ) U une unique solution maximale X :
X : I R2
t 7 X(t) =



x(t)
y(t)

De classe C 1 sur I telle que X(t0 ) = X0 . De telles solutions maximales de (E) sappelle des courbes intgrale
de champs F. De plus :
Lintervalle de dfinition dune solution max de (E) est ouvert
Toutes solutions de (E) sur un intervalle J est la restriction J dune solution maximale
Corollaire 9 Si Z1 et Z2 sont deux solutions de (E) dfini sur J1 et J2 , vrifiant les mmes conditions
initiales, alors :
t J1 J2 Z1 (t) = Z2 (t)

Cinquime partie

Rduction dendomorphismes

101

Chapitre

16

Rduction des endomorphismes et des

matrices - Premire Partie
16.1

Systme linaire

Considrons un systme linaire (S) n quations et n inconnes :

a11 x1 + + a1n xn = b1

..
.

a x + + a x = b
n1 1

nn n

On peut crire (S) sous sa forme matricielle :

AX = B
Avec :

a11
..
A= .
an1

...
..
.
...

a1n
..
.

x1

X = ...

ann

xn

b1
..
B= .
bn

Dfinition 88 Un systme linaire admet une unique solution si et seulement si A est inversible, donc si
det(A) 6= 0 ou rang (A) = n.
Dans ce cas, on dit que le systme linaire est inversible, ou que cest un systme de Cramer. Lunique
solution est donne par :
= A1 .B

16.2

Dtermination de linverse de A

16.2.1

Mthode directe

Pour dterminer linverse de A, avec A une matrice inversible, on peut utiliser la formule
suivante (Voir fiche de rvision Sup) :
A1 =

1
.t Com(A)
det(A)

Cependant, la complexit de cette mthode ( cest dire le nombre dopration lmentaire

effectuer ) est quivalente en linfini n2 .n!. Ceci rend cette mthode totalement inutilisable pour
n superieur quelque unit.
103

16.2.2

Mthode du pivot de Gauss

laide dopration lmentaire, on peut modifier le systme pour obtenir un systme triangulaire. Avec cette mthode, la complexit de lalgorithme de rsolution du systme est quivan3
lente en linfini
. La complexit est donc tout fait acceptable.
3
Dtails de la mthode gnral
Dfinition 89 Une famille est un ensemble ordone, qui accepte les rptitions
Sachant que A est inversible, la famille (C1 , ..Cn ) des colonnes de A est libre, on peut donc trouver
un pivot non nul.
On fixe un pivot non nul ( laide de permutation si besoin), et limine linconnu du pivot dans
toutes les autres ligne par substitution. Et on intre la mthode pour toutes les inconnus, jusqua
obtenir un systme triangulaire.
Dfault de la mthode du pivot de Gauss
Cette mthode est extrmement instable numriquement. Il y a des erreurs darrondi lors
des calculs (incontournable), mais ces erreurs peuvent tre multipli par un facteur extremement
grand si le pivot est "petit". Cette mthode nest donc pas fiable pour les grands systme.

16.2.3

Mthode de Jacobi

La mthode de Jacobi sapplique la rsolution des systmes Strictement diagonalement dominant

Dfinition 90 Un systme (S), ou la matrice A, est dit Strictement diagonalement dominant ( note Sdd)
si :
X
i [1, n]|aii | >
|aij |
j6=i

Cest dire si la valeur absolu du terme diagonale est strictement superieur la somme de toute les autres
termes de sa ligne.
Dtails de la mthode gnral
La mthode de Jacobi consite recrire le systeme Sdd sous la forme suivante : On rsoud
ce systeme en considrant que les coefficiant non diagonaux dans le systeme de dpart sont nul.
On obtient donc une valeur approch de la solution, on la note X0 par exemple. Puis on itere le
procd avec la formule suivante :
Xk+1 = A.Xk + b
Cette formule devient par rcurrence :
k N Xk = Ak (X0 )
Le comportement de (Xk ) dpend donc principalement de Ak .
On montre que si M, la matrice des coefficiants, est Sdd, alors :

lim Ak = 0

Avec 0 llment nul de lespace Mn , lespace des matrices carre dordre n.

On obtient donc que :
X0 K N lim Xk =
k

La convergence de la mthode de Jacobi est donc indpendante de lapproximation initale. Cette

mthode est donc stable numriquement.

Rappel
Dfinition 91 A est inversible A0 Mn (K) tq AA = In
Proprit 160
A inversible A0 Mn (K) tq AA0 = In
A00 Mn (K) tq A00 A = In
det A 6= 0
det t A 6= 0
t A inversible (t A)1 =t (A1 )
la famille (c1 , . . . , cn ) est libre dans K n
la famille (l1 , . . . , ln ) est libre dans K n
rang A = n
Proprit 161 Si E est un K espace vectoriel de dimension n et f lendomorphisme associ A dans une
base B de E :
A = mat B (f )
Alors :
A inversible f est bijective
f est injective
f est surjective
n
o
Ker(f ) = 0
Im(f ) = E

16.3

Valeur propres, vecteurs propre, sous-espace vectoriel propre

16.3.1

Vecteurs propres

Dfinition 92 Soit E un K espace vectoriel et f L(E), le groupe des endomorphisme de E dans E.

On dit que
x E est un vecteur propre de f si f (
x ) est colinaire
x , cest dire si :

K tq f (
x ) =
x

Avec qui a priori dpend de

x.
Proprit 162 Nous avons la proprit suivante :

Si
x = 0 , alors K f ( 0 ) = . 0

Si
x 6= 0, alors il existe au plus un K tq f (
x ) =
x

16.3.2

Valeur propre

Dfinition 93 On appele valeur propre de lendomorphisme tout K tq :

n
o

x E 0 tq f (
x ) =
x

On enlve 0 cause de la proprit vu ci-dessus.

16.3.3

Proprits et dfinitions

Dfinition 94 Les vecteurs

x E tq f (
x ) =
x sont appel vecteur propre associ la valeur propre.
Leurs ensembles est gale Ker(f Id). Cest un sous espace vectoriel de E, appel sous espace vectoriel
associ la valeur propre .
Lensemble des valeurs propres de f est appel spectre de f, note Sp (f ) :
n
o
Sp (f ) Ker(f .Id) 6= 0
Thorme 45 Des sous espaces vectoriel propre, dun endomorphisme f, associs des valeur propre deux
deux diffrentes sont en somme direct.
Proprit 163 Nous avons les proprits
suivantes :
n
o
f est injective Ker f = 0 (Cest le sous espace propre associ la valeur propre )
f est injective 0
/ Sp (f )
Si la dimension de E est fini, nous avons la proprit suivante :
f est bijective 0
/ Sp (f )
Proprit 164 Dans un systme aux vecteurs propres ( Cest dire un systme dfinissant lespace Ker(fId), les quations sont toujours lie entre elles, autrement dit elle sont linairement dpendentes. Ce
systme nest donc pas un systme de Cramer, ce nest donc pas un systme inversible.

16.3.4

Cas des matrices

On appelle vp ,
vp , sous espace propre, spectre de A, le vp ,
vp , sous espace propre, spectre de f,
lendomorphisme canoniquement associ A :
f : Kn KN
X 7 AX
Donc, par dfinition :

Sp (A) X K n , X 6= 0 tq AX = X

16.4

Cas o E est de dimension finie : Polynme caractristique

Dans tout ce chapitre, E est un K espace vectoriel de dimension n et f L(E)

Proprit 165 On montre que Sp (f ) est lensemble des racines dans K du poylome Pf K[X], dfini
par :
Pf (X) = det(f X.id)
Ce polynome est aussi note f . On dfini aussi ce polynome par :
Pf (X) = det(X.id f )
Ces deux dfinitions sont quivalente, sauf quil y a un rapport (1)n entre les deux, car :
det(g) = (1)n .det(g)
Par extension au matrice, on obtient que :
Pf (X) = det(A X.In )
Proprit 166 Lensembles des valeurs propre dun endomorphisme est aussi lensemble des racines du
polyme Pf .

Dfinition 95 Soit f L(E), avec E un K espace vectoriel de dimension finie n.

On appelle polynome caractristique de f le polynome :
Pf (X) = det(f Xid) K[X]
Dfinition 96 Soit A Mn (K).
On appelle polynome caractristique de A :
PA = det(A X.In )
Proprit 167 Si f est lendomorphisme de K n canoniquement associ A, alors :
PA (X) = Pf (X)
Proprit 168 Soit f L(E), E un K espace vectoriel de dimension n. On obtient que :


Pf (X) = (1)n X n T race(f ).X n1 + + (1)n .det(f )
Les coefficiants dans les . . . ne sont pas connaitre.
Thorme 46 Soit f L(E), avec E un K espace vectoriel de dimension n.
Alors :
Sp (f ), 1 dim(Ker(f .Id) multPf ()
Avec multPf () la multiplicit de dans les n
racines
de Pf . On le dmontre de la faon suivante :

o
Si Sp (f ), alors Ker(f id) 6= 0
On crire la forme du polynome caractristique. On prend un complmentaire de Ker(f id)
et on crire la matrice. On crire le polynome caractristique de cette matrice, et on compart avec le
prcdent. On obtient lingalit recherch.

16.4.1

Relations entre les racines dun polynome et ses racines

Proprit 169 Soit P un polynome scind de la forme :

P (X)

(X 1 ) . . . (X n )

= X n + n1 .X n1 + ... + 1 + 0
On obtient les relations suivantes :
n1
n2

=
=

n
X

i=1
n
X

i .j

i,j=1
i<j

..
.
. = ..
0

16.5

Diagonalisabilit

16.5.1

Dfinitions

(1)n 1 . . . n

Dfinition 97 Soit f L(E), avec E un K espace vectoriel de dimension n.

On dit que f est diagonalisable sil existe une base B de E tq matB (f ) soit diagonale :

1
(0)

..
matB (f ) =

.
(0)

Quitte rordonne les vecteurs de B, il existe aussi une base B de E telque :

|

matB 0 (f ) =

n1

n2

...

np

|
(0)

..

.
1
2
..

.
2
..

.
p
..

(0)

.
p

Avec les i deux deux distincts. On obtient alors que :

P (X)

(1 X)n1 . . . (p X)np

(1)n (X 1 )n1 . . . (X p )np

Le polynome est donc scind. Comme les i sont deux deux distincts, on obtient que :
ni = multiPf (i )
De plus, nous avons les rsultats suivants :
Ker(f 1 .Id) est le sous espace vectoriel engendr par les n1 premiers vecteurs de B
Ker(f 2 .Id) est le sous espace vectoriel engendr par les n2 vecteurs suivants de B
Etc ....
Enfin, on obtient que les sous espaces vectoriel propres sont supplmentaire.
Proprit 170 En rsum, si f L(E), avec E un K espace vectoriel de dimension finie est diagonalisable
et si B = B1 Bp est une base de diagonalisation, avec les k deux deux distinct, alors :
Pf (X) = det(f Xid) est scind dans K[X] :
Pf (X) = (1)n (X 1 )n1 . . . (X p )np
k [|1, p|] dimKer(f k id) = multPf (k ) et mme :
Ker(f k id) = V ect(Bk )
Les sous espaces propres sont supplmentaire.
Thorme 47 Soit f L(E), avec E un K espace vectoriel de dimension finie n. Les conditions suivantes
sont quivalente :
f est diagonalisable
Pf est scind et Sp(f ), dim(f .Id) = multPf ()
LesPsous espaces propres de f sont supplmentaire

dim(Ker(f .Id)) = dim(E)

Sp (f )

16.5.2

Cas particulier des valeurs propres simples

Proprit 171 Soit f L(E), E un K espace vectoriel de dimension finies n.

Si Sp (f ) est une racine simple de Pf , on obtient que :
dim(Ker(f .Id) = 1
Les sous espaces associ une valeur propre simple sont donc des droites vectoriel, appel droite propre

Proprit 172 Si Pf est un polynome scind, cest dire que f admet n valeurs propres simple, alors on
as :
k {1, ..., n} dim(Ker(f k .Id)) = multiPf (k ) = 1
On en dduit donc que f est diagonalisable et que tout ses sous espaces vectoriel propres sont des droites
vectoriel.

16.5.3

Cas dune matrice

Dfinition 98 Soit A Mn (K). On dit que A est diagonalisable si f, lendomorphisme canoniquement

associ A est diagonalisable
Proprit 173 Soit A Mn (K). Nous avons la proprit suivantes :
( A est diagonalisable ) (P GLn (K) tq P 1 .A.P soit diagonale )
Thorme 48 Soit A Mn (R), une matrice symtrique relle, alors A est orthonormalement diagonalisable, cest dire que A est diagonalisable (PA est scind dans R[X] ) et ses espaces propres, qui sont
supplmentaire, sont deux deux orthogonaux dans Rn euclidien canonique, cest dire munie du produit
scalaire canonique.

16.6

Trigonalisabilit

Dfinition 99 Soit f (E), avec E un K espace vectoriel de dimension finie n.

On dit que f est trigonalisable si il existe une base B de E telque matf (B) soit triangulaire superieur.
Dfinition 100 Soit A Mn (K).
On dit que A est trigonalisable si lendomorphisme canoniquement associe A est trigonalisable.
Proprit 174 Soit A Mn (K). Nous avons la proprit suivantes :
( A est trigonalisable ) (P GLn (K) tq P 1 .A.P soit triangulaire superieur )
Thorme 49 Soit f L(E), avec E une K espace vectoriel de dimension finie n.
(f est trigonalisable) (Pf est scind dans K[X])
Corollaire 7 Soit E un C espace vectoriel de dimension finie, alors tout f L(E) est trigonalisable. De
mme, toute matrice A Mn (C) est trigonalisable

Chapitre

17

Rduction des endomorphismes et des

matrices - Deuxime Partie
17.1

Polynomes dendomorphisme ou de matrice

Dans ce chapitre, toutes les relations vu sont transposable aux matrices

Dfinition 101 Soit f une application linaire de E dans E, avec E un K espace vectoriel.
Soit P K[X] dfini par :
P = a0 + a1 .X + + ap .X p
Avec i ai K. On dfini :
P (f ) = a0 .Id + a1 .f + + ap .f p
Avec :
f of o . . . of = f k
f 0 = Id
De meme, si A Mn (K) :
P (A) = a0 .In + a1 .A + ap .Ap
Proprit 175 Soit B est une base de E, avec E un K espace vectoriel de dimension fini, f L(E) et
A = matB (f ). On obtient :
P (A) = matB (P (f ))
Proprit 176 Soit P1 et P2 K[X], K, f L(E).
Nous avons les rsultats suivants :
(P1 + P2 )(f ) = P1 (f ) + P2 (f )
(P1 )(f ) = P1 (f )
(P1 .P2 )(f ) = P1 (f )oP2 (f )
De ce dernier rsultat, on obtient que :
P1 (f )oP2 (f ) = P2 (f )oP1 (f )
Dfinition 102 Soit f un endomorphisme de E, avec E un K espace vectoriel et :
K[f ] = {P (f ), P K[X]}
Soit A Mn (K).
On note :
K[A] = {P (A), P K[X]}
Proprit 177 Les espaces dfini ci dessus sont des sous algbres commuative de respectivement (L(E), +, ., o)
et (Mn (K), +, ., x)
111

17.2

Idaux de K[X]

Dfinition 103 On appelle idale de K[X] toute partie non vide I de K[X] tq :
I est stable par +
P I et Q K[X], PQ I
De cette dfinition, on obtient que :
P I P I
0I
Avec ici 0, le polynome constant nul.

17.2.1

Exemple

Nous avons les ensembles suivants, qui sont des idaux triviaux :
I = {0}
Celui ci constitue lidal nul.
K[X] = I

Dfinition 104 Soit P un polynome de K[X]. On dfini lidal engendr par P, not [P], par :
[P ] = {P Q, Q K[X]}
Cest donc lensemble constitu des multiples de P.

17.2.2

Dfinitions et thorme

Dfinition 105 Un idal engendre par un seul polynome, du type [P], est appel idal principale
Thorme 50 Tout idal de K[X] est principale. On dit donc que lanneau K[X] est principale.
Dfinition 106 Soit I, un idal de K[X], donc un idal idal.
On appelle gnrateurs de I les polynomes telque :
I = []
Proprit 178 Les gnrateurs se dduisent les uns des autres par multiplication par une constante non
nulle K .
De plus, si I =
6 {0}, alors les gnrateurs ont tous le mme degrs :
deg() = min {deg(P ), P I {0}}
Proprit 179 De la proprit prcdente, on dduit que si :
I
deg()min {deg(P ), P I {0}} Alors :
I = []
Dfinition 107 Lunique gnrateur unitaire dun idal I non nul est appel polynome minmale de lidal
I

17.2.3

Application au pgcd de deux polynomes, et lalgorithme dEuclide

Soit P1 et P2 deux polynomes de K[X] non tous les deux nuls.

On sait que [P1 , P2 ] est un idal de K[X], donc un idal principale.
On obtient donc quil existe un unique K[X] {0} telque :
[P1 , P2 ] = []
On montre que est le pgcd de P1 et P2

Algorithme dEuclide
Cet algoritme se base sur la proprit suivante :
Q K[X] [P1 , P2 ] = [P1 , P2 + Q.P1 ]

17.2.4

Polynome annulateur dun endomorphisme ou dune matrice, Polynome minimal dun endomorphisme ou dune matrice

Dfinition 108 Soit f L(E), avec E un K espace vectoriel.

On dit que P K[X] annule f, ou que P est un polynome annulateur de f, ou encore que f annule P si :
P (f ) = 0
De meme, si A Mn (K), on dit que P annule A si :

0
..
P (A) = .
0

...
..
.
...

0
..
.
0

Proprit 180 Lensemble Ann (f ) (Notation non standard), des polynomes annulateur de f, dfini par :


Ann (f ) = P K[X] tq P (f ) = 0
Cet ensemble est un idal de K[X].
Dfinition 109 On appelle polynome minimale de f, not f , lunique polynome unitaire telque que :
Ann (f ) = []
On dfini de mme le polynome minimal dune matrice
Proprit 181 Soit f L(E), avec E un K espace vectoriel de dimension finie, B une base de E et A =
matB (f ).
On obtient dans ce cas que :
A = f
Proprit 182 Soit E une K espace vectoriel de dimension n.
On obtient que, f L(E) :
Ann 6= {O}
Donc que :
f 6= 0
Proprit 183 Soit f L(E), avec E un K espace vectoriel.
Si f 6= 0 et d = deg(f ), alors (Id,f,...,f d1 ) est une base de K[f], en particulier :
dimK[f ] = deg(f )

17.2.5

Thorme de Cayley-Hamilton

Thorme 51 Soit f L(E), avec E un K espace vectoriel de dimension fini. On obtient alors que :
Pf (f ) = 0
Nous avons les quivalences suivantes :
(Pf (f ) =
0) (Pf Ann (f )) (f |Pf )
Corollaire 8 Si E est une K espace vectoriel de dimension n, et f L(E), alors deg wf n

17.2.6

Relation entre valeurs propres et racines des polynomes annulateurs

Proprit 184 Soit f L(E), avec E un K espace vectoriel ( E peut tre un espace de dimension infini).
Si f annule P K[X], alors :
Sp (f ) Z(P )
Avec Z(P) lensemble des zros de P, cest dire lensemble des racines de P.

Lemme 2 Si f (
x ) = .
x , alors :

P K[X] P (f )(
x ) = P ()(
x)
Proprit 185 Si f L(E), avec E un K espace vectoriel de dimension finies, alors :
Sp (f ) = Z(wf )
Cependant, ceci ne nous donne bien videment aucune information sur la multiplicit des racines.
Proprit 186 Soit f et g deux endomorphisme de E dans E. Si :
f og = gof
Cest dire, si les deux endomorphimes communent, alors Ker(g) et Im(g) sont stable par f

17.3

Lemme des noyaux

Proprit 187 Soit f L(E), avec E un K espace vectoriel. Soit P1 et P2 deux polynomes de K[X],
premiers entre eux. On obtient alors :
Ker(P1 .P2 )(f ) = Ker(P1 )(f ) Ker(P2 )(f )
On le dmontre laide de lidentit de Bezout.
Gnralisation 12 Soit f L(E), avec E un K espace vectoriel. Soit P1 , . . . , Pk des polynomes de K[X]
deux deux premiers entre eux. Soit P = P1 . . . Pk , on obtient alors :
Ker(P )(f ) = Ker(P1 )(f ) Ker(Pk )(f )

17.3.1

Application fondamentale de Lemme des noyaux

Soit f L(E), avec E un K espace de dimension n telque Pf soit scind sur K[X]. On peut
donc crire Pf sous la forme :
Pf (X) = (1)n (X 1 )n1 . . . (X p )np
En utilisant conjointement le lemme des noyaux et le thorme de Cayley-Hamilton, on obtient
que :
Pf (f ) = (1)n .(f 1 .Id)n1 o . . . o(f p .Id)np = 0
Grce au lemme des noyaux, on obtient que :
E = E1 Ep
Avec :
Ek = Ker(f k .Id)nk

On peut obtenir partir de tout ceci une matrice diagonale par bloc, de la forme :
|

matB (f ) =

(0)

17.4

n1

n2

...

np

|
(0)

..

.
1
2
..

.
2
..

.
p
..

.
p

Endomorphismes et matrices nilpotants

Dfinition 110 Soit f L(E).

f est dit nilpotant si il existe p N telque :

f p = 0

La dfinition est analogue pour les matrices

Proprit 188 Soit E un C espace vectoriel de dimension n et f L(E), alors les conditions suivantes
sont quivalentes :
f est nilpotant
Sp (f ) = {0}
B base de E telque matB (f ) soit une matrice stricement triangulaire, cest dire triangulaire avec
tous ces termes diagonaux nuls.
Dfinition 111 On appelle indice de nilpotence de f le plus petit entier telque :
f = 0
Si E est un C espace vectoriel de dimension n, on obtient que :
n
Plus prcisement, on obtient que :
wf = X

17.5

Nouveaux critres de trigonabilit

Thorme 52 Soit f L(E), avec E un K espace vectoriel de dimension n. Les conditions suivantes sont
quivalentes :
f est trigonalisable
f annule un polynome scind sur K
wf est scind sur K

17.5.1

Rduction de Dunford

Si :
wf = (X 1 )m1 ...(X p )mp

avec les k deux deux distinct, alors on obtient que, daprs le lemme de noyaux :
E = E1 ... EP
avec :
Ek = Ker(f + k .id)mk
On peut donc choisir une base de chaquun des Ek , note Bk , telque :

k
(aij )

..
matBk fkEk =

.
(0)

Cest donc une matrice triangulaire superieur. De plus, on a :

B = B1 BP
qui est une base de E. On obtient donc que :
n0

matB f =

...

A1

(0)
..

(0)

n0p

.
Ap

l n01
l n0p

Avec Ak = matBk fkEk . On montre de plus quen ralit :

n0k est en ralit egale multP f (k )
Ek = Ker(f-.id)nk

17.6

Nouveau critre de diagonabilit

Thorme 53 Soit f L(E), avec E un K espace vectoriel de dimension finies. Les propositions suivantes
sont quivalente :
f est diagonalisable
f annule un polynome scind sur K racine simple
wf est scind sur K racine simple
De plus, nous savons que :
Z(wf ) = Sp (f )
La premire proposition scrit donc :
wf (X) = (X 1 )...(X p )
ou
Sp (f ) = {1 , ..., p }

Sixime partie

Espaces vectoriels norms

117

Chapitre

18

Espaces vectoriels norms - Premire

partie
18.1

Norme - Distance - Dfinitions

18.1.1

Dfinitions

Dfinition 112 Soit E un K espace vectoriel.

On appelle norme de E toutes application de E R+ , que lon note N ou k k, et vrifiant les axiomes
suivants :

Si
x E, N(
x)=0
x = 0

K,
x E, N(
x ) = ||N(
x)

(
x,
y ) E 2 N(
x +
y ) N(
x ) + N(
y)
Une norme est donc une application dfinie, qui vrifie la proprit 2 et lingalit triangulaire.

18.1.2

Consquence immdiate des axiomes

N( 0 ) = 0
, ...,
) E p , N(
+ ... +
) N (
) + ... + N (
)
(
x
x
x
x
x
x
1
p
1
p
1
p

(
x,
y ) E 2 |k
x kk
y k| k
x +
y k

De mme : (
x,
y ) E 2 |k
x kk
y k| k
x
y k

18.2

Distance

18.2.1

Dfinitions

Dfinition 113 Soit E un ensemble quelconque, non vide.

On appelle distance sur E toutes applications :
d : E E R+

(
x,
y ) 7 d(
x,
y)
119

vrifiant les axiomes suivantes :

Si x et y sont dans E, d(x, y) = 0 x = y
(x, y) E 2 , d(x,y) = d(y,x)
(x, y, z) E 3 , d(x,z) d(x,y)+d(y,z)

18.2.2

Consquence

Des axiomes prcdents, on peut tendre laxiome n3 :

(x1 , ..., xp ) p , d(x1 , ..., xp ) d(x1 , x2 ) + ... + d(xp1 , xp )

18.2.3

Distance dduite dune norme

Dfinition 114 Soit E un K espace affine et k k une norme sur E , lespace vectoriel associ lespace
affine.
On appelle distance dduite de k k sur E lapplication :
d : R+
(x, y) 7 d(x, y) =k x y k

18.3

Exemple classique de normes dans un espaces de dimension finies

18.3.1

La norme k k sur K n

Dfinition gnrale
Soit X la matrice dfini par :

x1
.
n

X=
. K = Mn,1 (K)
xn
On associe le n-uplet une matrice colonnes.
On dfini la norme k X k = max(|xk |)
Cas dun espace de dimension n

Soit E un K espace vectoriel de dimension n, et B=(

e1 , ...,
e
n ) une base de E.
Si :

x = x1
e1 + + xn
e
n

On dfini k
x k =max(|xk |)
B

18.3.2

La norme k k1 sur K n

Dfinition gnrale
Soit X la matrice dfini prcdement. On dfini la norme par :
k X k1 =

n
X
k=1

|xk |

Cas dun espace de dimension n

Soit E un K espace vectoriel de dimension n, et B=(

e1 , ...,
e
n ) une base de E.
Si :

x = x1
e1 + + xn
e
n

On dfini :

k
x k1 =

n
X

|xk |

k=1

18.3.3

La norme k k2 sur K n

Dfinition
Avec les mme notations :

v
u n
uX
|xk |
k X k2 = t
k=1

Cas particulier : K = R
La norme dfini ci dessus vrifie dans ce cas :
p
k k2 = < X|X >
Si :

x1
.

X=
.
xn

Alors :
< X|Y >=

y1
.

Y =
.
yn
n
X

xk .yk

k=1

Ceci est le produit scalaire canonique de Rn . Cest lunique produit scalaire sur Rn qui fasse de la
base canonique une base orthonorme.
Dans ce cas, lingalit triangulaire sappelle lingalit de Minkowski

18.4

Convergence au sens dune norme ou dune distance - Norme

quivalente

18.4.1

Au sens dune distance

Dfinition 115 Soit (E, d) un espace mtrique, et (xn ) une suite de point de E.
On dit que (xn ) converge vers x E au sens de la distance d si et seulement si :
d(xn , x) 0
n

18.4.2

Au sens dune norme

Dfinition 116 Soit (E,k k) un K espace vectoriel norm, et (

x
n ) une suite dlments de E.

On dit que la suite (

x
)
converge
vers
l

E
au
sens
de
la
norme
k k si et seulement si :
n

k
x
n l k 0
n7

En thorie, cette dfinition ramne le problme un problme de convergence dans R+ . La notion de norme
sert unifier les tudes de convergence.
Proprit 189 Cette proprit est un cas particulier de la dfinition au sens dune distance, en utilisant la
norme dduit de la norme.

18.4.3

Norme quivalente

Dfinition 117 Soit k k et k k deux normes sur un mme K espace vectoriel de E.

Ces deux normes sont dites quivalente si il existe et deux rels strictement positif telque :
k k0 k k
k k k k0
Dfinition 118 On peut crire cette dfinition sous la forme suivante :
Ces deux normes sont quivalente si les deux applications suivantes :
E {0} R+

k
x k0

x 7

k x k
et
E {0} R+

k
x k

x 7

k x k0
sont majores.
Proprit 190 Il rsulte de ce qui prcde que si k k et k k0 sont deux normes quivalente sur le K espace
vectoriel E :

0
x
n x dans (E, k k) xn x dans (E, k k )

Proprit 191 Nous avons aussi la proprit rciproque :

N
Soient k k et k k0 deux normes sur un meme K espace vectoriel E telque pour toutes suite (
x
n ) E , et

pour tous x E :

0
x
n x dans (E, k k) xn x dans (E, k k )

Alors ces deux normes sont quivalentes.

18.5

Convergence dans les K espaces vectoriel de dimension finies

Thorme 54 Si E est un K espace vectoriel de dimension finie, alors toutes les normes sur E sont quivalentes

N
Corollaire 1 La converge vers
x E dune suite (
x
n ) E ne dpend pas de la norme choisie si E est
un K espace vectoriel de dimension finie.

Proprit 192 Soit B=(

e1 , ...,
ep ) une base du K espace vectoriel E. Si :

x
n = x1,n e1 + + xp,n ep

x = x1
e1 + + xp
ep
Alors :

x
n x x1,n x1 , . . . , xn,p xp

On peut crire ceci de la faon suivante :

x
n x si et seulement si il y a convergence composant par composant.

Chapitre

19

Espace vectoriel norm - Deuxime

partie
19.1

Interieur dun ensemble, ensemble ouvert

Dfinition 119 Soit (E,d) un espace mtrique. En gnral, E est un K espace vectoriel munie dune norme
k k, et d est la distance dduite de cette norme.
Soit A un ensemble non vide de E. On dit que a E est intrieur A, si il existe r>0 telque :
B(a, r) A
o

Dfinition 120 On appelle interieur de A, et on le note A, lensemble des points interieurs a.

Dfinition 121 A est dit ouvert si tout point de A est interieur A. Cest dire si :
o

AA
Or, par dfinition, nous avons :
o

AA
Donc, nous avons lquivalence suivante :
o

( A est un ouvert ) (A = A)
Proprit 193 Nous avons les proprits suivantes :
est un ouvert par convention.
E est un ouvert
Une intersection finie douvert est un ouvert.
Une runion quelconque (finie ou infinie) douvert est un ouvert.
o

Proprit 194 A est le plus grand (Au sens de linclusion) ouvert inclu dans A.
Exemple
Nous avons un exemple classique :
Les boules ouvertes dun espace mtrique sont des ouverts
123

19.2

Adrence dun ensemble, ensemble ferm

Considrons toujours A, un sous ensemble non vide dun espace mtrique (E,d).
Dfinition 122 On dit que x E est adhrent A sil existe une suite (an ) dlements de A telque :
an x
n

x peut tre ou ne pas tre un lement de A.

Si d est une distance dduite dune norme k k, on peut crire cette condition sous la forme :
k an x k

n+

Par dfinition, tout point de A est adhrent A (pour le dmontrer prendre la suite constante)
Proprit 195 Nous avons la proprit suivante :
(x est adhrent A ) > 0, a A tq d(a, x)
( > 0, B(x, ) A 6= )
La dernire quivalence dit que x est adhrent A si pour tout > 0, B(x, ) rencontre A.
Dfinition 123 Lensemble des points adhrent A, sappelle ladhrence A, et est not A. Par dfinition,
nous avons donc :
o
AAA
Dfinition 124 Un sous ensemble A dun ensemble norm (E,d) est dit ferm sil est gale son adhrence,
cest dire si A=A. Et comme par dfinition nous avons lune des inclusions, on obtient que A est ferm si
et seulement si :
AA
Dfinition 125 On appelle complmentaire de A, et on le note CA , lensemble dfini par :
CA = E A
Proprit 196 Nous avons la proprit suivante :
A est ferm CA est ouvert
Proprit 197 Caractrisation squentielle :
A est ferm si et seulement si toute suite convergente dlement de A sa limite dans A.
Proprit 198 Nous avons les proprits suivantes :
est un ferm
E est un ferm
Une intersection quelconque de ferms est un ferm
La runion dun nombre fini de ferms est un ferm
Proprit 199 Nous avons les proprites suivantes :
A est le plus petit ferm (au sens de linclusion) contenant A.
Dans un espace vectorielle norm, la boule ferm B(x0 , r) est ladhrence de B(x0 , r). Cel nest pas
ncessairement vrai dans un espace mtrique.
Exemples
Il y a un exemple classique de ferm :
Les boules ferms dun espace mtrique sont des ferms.

19.3

Frontire

Dfinition 126 Soit A une partie non vide dun espace mtrique (E,d). On appelle frontire de A, et on le
note parfois A, lensemble dfini par :
A = A CA
Proprit 200 Nous avons la proprit suivante :
o

A = A A

19.4

Diamtre dune partie borne

Dfinition 127 Une partie A dun espace mtrique (E,d) est dit born si :
M R+ , x0 E, tq x A d(x0 , x) M
Cette dfinition est quivalente :
M R+ , x0 E, tq A B(x0 , M )
Proprit 201 Si cette condition est remplie, alors :
x1 E, M1 R+ , tq x A, d(x1 , x) M1

19.5

Ensembles compacts

19.6

Dfinitions et proprits

19.6.1

Dfinition de Bolzano-Weierstrass

Dfinition 128 Un sous ensemble K dun espace vectoriel norme E (ou un espace mtrique (E,d), avec d
la distance dduite de la norme), munie de la norme k k, est dit compact si de toute suite (n ) valeur dans
K, on peut extraire une sous-suite ((n) ), avec une application strictement croissante de N dans N, qui
converge vers un lments de K.

19.6.2

Thorme

Thorme 55 Tout segment [a,b] inclu dans R est compact, cest dire que de toute suite borne on peut
extraire une suite qui converge.
Thorme 56 Nous avons les proprites suivantes :
Tout compact est ferm et born
Tout ferm inclus dans un compact est compact
[a1 , b1 ]...[an , bn ] est un compact de (Rn , k k ), ou mme de (Rn , k k) car toutes les normes
sont quivalentes en dimension finie.
Thorme 57 Dans un espace vectoriel de dimension finie, tout ensemble, non vide, ferm et born est un
compact.
Proprit 202 Si (xn ) est une suite dlements dun espace mtrique convergeant vers l, alors :
K = {xn , n N} {l}
est un compact.
Corollaire 10 Soit f une application de E dans E, avec E et E des espaces vectoriels norms ou des espaces
mtriques, dfinie sur une partie non vide A E.
f est continue sur A si et seulement si f est continue sur tout compact inclu dans A.

Thorme 58 Soit f une fonction de E dans E, avec E et E deux K espaces vectoriels (ou espace mtrique)
munie respectivement des normes k k et k k0 , dfinie et continue sur un compact C de E. Alors :
f(C) est un compact de E
f est borne sur C, cest dire :
M R+ tq C, k f () k0 M
f est uniformement continue sur C
Si E=R, alors f atteint ces bornes.

Chapitre

20

Espace Prehilbertiens, Espaces

euclidiens
Ce chapitre se rfre aux chapitres de MPSI et de MP sur les espaces vectoriels norms. Certaines proprits tablie prcdement ne seront pas re-mentionn, mais font partie intgrante de
ce chapitre. Dans le cours de MPSI, qui contient la grande majorit des lements non revu ici, on
considre un espace euclidien. Mais ces proprits, si elle nont pas t reproduite ici, stendent
aux espaces R prehilbertien.

20.1

Norme euclidienne

Dfinition 129 Soit E un R espace vectoriel.

On appelle norme euclidienne sur E une norme N telle quil existe un produit scalaire :
:EE R
vrifiant :

x E, N (
x)=

(
x,
x)

Dfinition 130 Un R espace vectoriel munie dun produit scalaire, cest dire le couple (E,<|>), sappelle
un espace prhilbertien rel.
On appelle espace euclidien un espace prhilbertien rel de dimension finie.
Proprit 203 On montre que lapplication :
E R+

x 7k
x k=

<
x |
x >

est une norme sur E. Cette norme est appele norme euclidienne dduite du produit scalaire <|>.

20.2

Proprits Elmentaire

20.2.1

Identits de polarisation

Dfinition 131 On appelle identit de polarisation une galit qui permet dexprimer le produit scalaire
au moyen de la norme euclidienne seule. Nous avons donc les galits suivantes :

<
x |
y >= (k
x +
y k2 k
x k2 k
y k2 )
2
1

<

x |
y >= (k
x +
y k2 k
x
y k2 )
4
127

20.2.2

Identits du Paralllogramme et de la mdiane

nonc 16 En gnralisant la proprit en gomtrie lmentaire, on obtient que dans le cas dun R espace
vectoriel prehilbertien, on a :

2(k
x k2 + k
y k2 ) =k
x +
y k2 + k
x
y k2
On obtient aussi une galit de la mdiane, mais elle na pas de valeur ajout par rapport lgalit prcdente.
Proprit 204 Si une norme vrifi lgalit ci-dessus, alors cest une norme euclidienne

20.3

Forme linaire dans un espace euclidien

Proprit 205 Si E est un R espace vectoriel prhilbertien, muni du produit scalaire <|>, alors :

e E, lapplication :

e :E R

x <
e |
x >

est une forme linaire continue non nulee si et seulement si

e 6= 0
Proprit 206 Si E est un R espace vectoriel euclidien, alors pour toute forme linaire E , lensemble

des formes linaires sur E, il existe un unique vecteur

e E telque :
= e
Cest dire telque :

x E, <
e |
x >
Corollaire 11 Tout hyperplan dun R espace vectoriel euclidien est lorthogonal dune droite vectorielle.

20.4

Thorme de projection orthogonale sur un sous espace de

dimension finie

Cette section sappuit fortement sur la section "Projection orthogonale" dans le livre de rvision de Mathmatiques de MPSI.

20.4.1

Ingalit de Bessel

Avec les notations prsent dans louvrage MPSI, cest dire principalement p un projecteur
orthogonal, on a :
p
X

2
k p( x ) k =
<
ei |
x >2
i=1

On obtient donc que :

p
X
i=1

Ceci constitue lingalit de Bessel.

<
ei |
x >2 k
x k2

20.4.2

Norme dun projecteur orthogonal subordonne la norme euclidienne

Soit E un R espace vectoriel prhilbertien, et k k la norme euclidienne de E.

Soit F un sous espace vectoriel de E, de dimension fini, et p le projecteur orthogonal sur F. Alors :
k p k = 1
n
o
Si F 6= 0 , avec, par dfinition :
k p k =

20.4.3

k p(
x)k
sup

k x k

x E{ 0 }

Projection orthogonale sur une droite vectorielle

Soit D = V ect(
u ) une droite vectorielle dun R espace vectoriel prhilbertien E, et p le projecteur orthogonal sur D. Alors :

<
x |
u >

.
u

x E, p(
x)=

k u k2

20.4.4

Thorme de la base orthonorme incomplte dans un espace vectoriel

euclidien

Soit E un R espace vectoriel euclidien de dimension n et (

e1 , ...,
ep ) un systme orthonorm

de E. Si p<n, alors il existe un systme orthonorme (ep+1 , ..., en ) telque (

e1 , ...,
e
n ) soit une base
orthonorme de E.

20.5

Orthogonal dune partie, sous-espaces orthogonaux

Corollaire 12 Pour que

x , un vecteur de E, soit orthogonal un sous espace vectoriel F, il faut et il suffit

que x soit orthogonal une famille gnratrice de F.

20.5.1

Proprits

Soit E un R espace vectoriel prehilbertien. Soit A et B deux parties de E, F et G de sous espaces

vectoriel de E. Nous avons les proprits suivantes :
A B A B
(F + G) = F G . Cette proprit se gnralise pour un plus grand nombre de sous
espace.
F + G (F G) . Si E est un espace de dimension finie, il y a galit. Cette proprit
se gnralise elle aussi.
F (F ) (F ) = F . Il y a galit dans le cas dun espace de dimension finie.

20.5.2

Sous-espaces Vectoriels orthogonaux

Dfinition 132 On dit que des sous espaces vectoriels F1 , ..., Fp dun R espace vectoriel prehilbertien E
sont supplmentaire orthogonaux sils sont supplmentaire et orthogonaux deux deux. On le note :

E = F1 ... Fp
Proprit 207 Si les Fi prcdents sont des sous espaces vectoriel deux deux orthogonaux, et si Bi est
une famille orthogonale (respectivement orthonorme) de Fi , alors B1 ... Bp est une famille orthogonale

( respectivement orthonorme) de F1 ... Fp .

Il en est de mme si on considre une base au lieu dune famille

Proprit 208 Si B1 , ..., Bp sont des familles orthogonales (respectivement orthnorme) telque i 6= j
[1, p], tout vecteur de Bi soit orthogonal tout vecteur de Bj , alors les Fi = V ect(Bi ) sont des sous espaces
vectoriels deux deux orthogonaux et B1 ... Bp est une base orthogonale (respectivement orthonorme)
de :

F1 ... Fp

20.6

Orthonormalisation de Gram-Schmidt

Thorme 59 Soit (ui ) une famille libre dun R espace vectoriel prhilbertien E, avec i I = [1, n] ou
i I = N .
Alors, il existe une unique famille orthonorme (ei ) telle que :

, ...,

i I, V ect(
e1 , ...,
ei ) = V ect(
u
ui )
1

i I, < ui | ei > > 0

Lunicit provient de la seconde condition.

20.6.1

Traduction matricielle

Proprit 209 A Gln (R), !(Q, R) Mn (R)2 avec Q orthogonale et R triangulaire suprieur
diagonale strictement positive telque :
A = QR
A laide de cette proprit, on peut traduire matriciellement lorthonormalisation de Gram-Schmidt.

20.7

Endomorphismes Orthogonaux, Matrices orthogonales

Dans cette section, on gnralise les rsultats vu en MPSI, dans le cas ou lespace de dpart
nest pas forcmement lespace darriv.

20.7.1

Isomtries vectorielles

Proprit 210 Soient E et E deux R espace vectoriel prhilbertiens de f une application de E dans E, qui
nest pas suppos linaire. On a alors quivalence entre les deux conditions suivantes :

f conserve le produit scalaire :

x,
x 0 E 2 < f (
x )|f (
x 0 ) >=<
x |
x0 >

f est linaire et conserve la norme : x E, k f ( x k=k x k

Dfinition 133 Une telle application f est appel isomtrie vectorielle de E dans E.
Proprit 211 Toute isomtrie vectorielle est injective.

20.7.2

Matrices orthogonales

Dfinition 134 Une matrice orthogonale est une matrice A Mn (R) telque t A.A = In . On note On (R)
lensembles des matrices orthogonales de Mn (R). Dapres la caractrisation prcdente, on obtient que
linverse dune matrice orthogonale est sa transpos.
Proprit 212 (On (R), ) est un sous groupe de (Gln (R, ). Nous avons donc les proprits suivantes :
In est une matrice orthogonale
Le produit de deux matrices orthogonales est une matrice orthogonales
Linverse dune matrice orthogonale est une matrice orthogonale
Proprit 213 Soit E un espace vectoriel euclidien. Nous avons les proprits suivantes :
Si f O(E), alors la matrice de f dans nimporte quelle base orthonorme est orthogonale
Si f L(E), et si il existe une base orthonorme dans laquelle f est reprsent par une matrice
orthogonale, alors f O(E)

Lien avec les bases orthonormes

Proprit 214 Nous avons les proprits suivantes :
Si E est un espace vectoriel euclidien, la matrice de passage dune base orthonorme une autre base
orthonorme est une matrice orthogonale.
Si B est une base orthonorme de E et si la matrice de passage entre B et B est une matrice orthogonale, alors B est aussi une base orthonorme de E.
A Mn (R) est une matrice orthogonale si et seulement si ses colonnes forment une base orthonorme dans Rn euclidien canonique. Il en est de mme si on considre les lignes.
Dterminant dun endomorphisme orthogonal
Proprit 215 Si A On (R), alors :
det(A) = 1
Proprit 216 Si f O(E), avec E un R espace vectoriel euclidien, alors :
det(f ) = 1
Proprit 217 Les endomorphismes orthogonaux de dterminant +1 sont dits directs ou positif.
Les endomorphismes orthogonaux de dterminant -1 sont dits indirects ou ngatif.

Valeurs propres dun endomorphisme orthogonal ou dune matrice orthogonale

Soit A On (R)
Proprit 218 Les valeurs propres complexes dune matrice orthogonale sont de module 1.
Symtries orthogonales
Dfinition 135 Soit E un R espace vectoriel euclidien de dimension finie n et F un sous espace vectoriel
de E. Nous avons donc :
E = F F
On peut donc dfinir la symtrie orthogonale s par rapport F et parrallement de F :
s:EE

s(

x = x1 +
x
x)=
x
x
2
1
2
F et
F .
Avec
x
x
1
2
Proprit 219 Nous avons la proprit suivante :
s O(E)
Rduction orthonormale dun endomorphisme orthogonal
Thorme 60 Soit f O(E), avec E un R espace vectoriel euclidien. Alors, il existe au moins une base
orthonorme B de E telle que :

R1
(0)

..

.
matB (f ) =

Rp
(0)
Avec Rk = (1) ou Rk = (1) ou :
cos(k )
Rk = sin(k )

!
sin(k )
cos(k )

Ok 6= 0 []. Dans ce dernier cas, Rk reprsente une rotation dangle k

Chapitre

21

Adjoint dun endomorphisme,

Endomorphisme et matrice
symtrique
21.1

Rappel

Soit E un R espace vectoriel, B=(

e1 , . . . ,
e
n ) une base orthonorm de E. Soit x et x deux vecteurs
de E. Soit X et X les matrices de x et x dans B. On obtient que :
< x|x0 >=t X.X 0

21.2

Proprits - Dfinition dun adjoint

Proprit 220 Soit E un R espace vectoriel euclidien de f L(E). Alors :

y)>
!f (E) tq (
x,
y ) E 2 < f (
x )|
y >=<
x |f (
Dfinition 136 f est appel ladjoint de f, pour un produit scalaire dfini.
Proprit 221 Si E est un R espace vectoriel euclidien, et B une base orthonorme de E, alors :
matB f =t (matB f )
Dfinition 137 Un endomorphisme f dun R espace vectoriel euclidien E est dit auto-adjoint ou symtrique si :
f = f
Proprit 222 Soit f L(E), avec E un R espace vectoriel euclidien.
Si f est symtrique, alors quelque soit la base orthonorme B de E, la matrice de f dans cette base est
symtrique.
Sil existe une base orthonorme B de E telque la matrice de f soit symtrique, alors f est symtrique

21.3

Proprits lmentaires

Dans tout ce paragraphe, E dsigne un R espace vectoriel euclidien. f et g dsigne des endomorphisme de E.
Proprit 223 Nous avons les proprits suivantes :
(f + g) = f + g
133

 R (.f ) = .f
(f og) = g of
(f ) = f
Proprit 224 Nous avons les proprits suivantes :
Ker(f ) = (Im(f ))
Im(f ) = (Ker(f ))
Proprit 225 Si Sp(f ) et 0 Sp(f ). Si 6= 0 , alors :
Ker(f .Id) et Ker(f 0 .Id) sont orthogonaux.
Proprit 226 Soit F un sous espace vectoriel de E.
( F est stable par f ) (F est un sous espace vectoriel stable par f )

21.3.1

Cas ou f et g sont symtrique

Corollaire 13 Lensemble des endomorphismes symtriques de E est un sous espace vectoriel de L(E).
Corollaire 14 Nous avons les galits suivantes :
Ker(f ) = (Im(f ))
Im(f ) = (Ker(f ))
Corollaire 15 Si et 0 sont deux valeurs propres distinct dun endomorphisme f symtrique, alors :
Ker(f .Id) et Ker(f 0 .Id) sont orthogonaux.
Corollaire 16 Si f est symtrie et si F est un sous espace vectoriel de E :
( F est stable par f ) ( F est un sous espace vectoriel stable par f )

21.4

Thorme dorthogonalisation

Thorme 61 Soit E un R espace vectoriel euclidien de dimension finie n. Soit f un endomorphisme symtrique de E. Alors :
Pf est scind sur R, cest dire que le spectre complexe de f est gale au spectre rel de f.
Les sous espaces vectoriels propre de f sont deux deux orthogonaux et supplmentaires. En particulier, f est diagonalisable.
Il existe une base orthonorme de diagonalisation de f, cest dire une base orthonorme de E forme
de vecteurs propres de f.
Rciproquement, si f est un endomorphisme de E orthonormalement diagonalisable, cest dire si f
admet une base orthonorme de diagonalisation, alors f est symtrique.

21.4.1

Corollaire matricielle

Si A Mn (R) est symtrique, alors A est orthonormalement diagonalisable, cest dire quil
existe P On (R) telque P 1 .A.P soit diagonale. Dans ce cas P 1 = P

21.5

Caractristation par ladjoint de certains endomorphismes

classiques dun espace euclidien

Dans tout ce paragraphe, E dsigne un R espace vectoriel euclidien, f L(E).

Proprit 227 f est un projecteur orthogonal si et seulement si :
(
f of = f
f = f
Proprit 228 Nous avons la proprit suivante :
(f O(E)) (f of = IdE )
Proprit 229 Nous avons la proprit suivante :
(
f est symtrique orthogonale

f 2 = Id
f = f

Chapitre

22

Formes quadratiques
22.1

Formes quadratiques sur Rn

Dfinition 138 On appelle forme quadratique sur Rn toute application polynomiale homogne du second
degrs de Rn dans R, donc une application dfini par :
q

Rn R

x1
n
X
..
aii .x2i + 2.
X . 7 q(X) =
xn

i=1

aij .xj .xi

1i<jn
i6=j

Avec :
i 6= j, aij = aji
Quelques exemples

R2 R
 
x
7 q(X) = ax2 + by 2 + 2uxy
y

R3 R

x
y 7 q(X) = x2 + y 2 + z 2 + xy + yz + zx
z

22.1.1

Forme bilinaire symtrique associ une forme quadratique

Proprit 230 Si q est une forme quadratique sur Rn , il existe une unique forme bilinaire symtrique
sur Rn telle que :
X R q(X) = (X, X)
est appel forme polaire de q. On montre lexistence de par la mthode de ddoublement des termes.
Cette mthode consiste remplacer dans lexpression de la forme quadrique :
les aii x2i par aii xi x0i

137

 les 2aij xi xj par aij (xi x0i + xj x0j )

On montre que lunicit est du lidentit de polarisation, qui permet dexprimer explicitement en fonction de q.

22.1.2

Moyen mnmotechnique pour lidentit de polarsation

Dans le cas particulier o n=1, on a la forme quadratique suivante :

RR
x 7 x2
et sa forme polaire associ :
RRR
(x, x0 ) 7 xx0
Dans ce cas particulier, on obtient, laide didentit remarquables :

xx0 = ((x x0 )2 x2 x02 )

xx0 = ((x + x0 )2 (x x0 )2 )

En procdant par analogie, on obtient le cas gnral :

(x, x0 ) = (q(x x0 ) q(x) q(x0 ))

(x, x0 ) = (q(x + x0 ) q(x x0 ))

Exemple
Dans lexemple :
R3 R

x
y 7 q(X) = x2 + y 2 + z 2 + xy + yz + zx
z

On obtient que la forme polaire associ est donne par :

R3 R3 R
0
x
x
1
(y , y 0 ) 7 q(X) = xx0 + yy 0 + zz 0 + (xy 0 + x0 y + yz 0 + y 0 z + zx0 + z 0 x)
2
z
z0

22.1.3

Expressions matricielles de q et de

Proprit 231 Soient q et une forme quadratique et sa forme polaire associ sur Rn , alors :
(
X Rn q(X) =t X.A.X
(X, X 0 ) Rn Rn (X, X 0 ) =t X.A.X 0

Avec A =(aij )) matrice symtrique. (aij sont les composantes prcdentes de la forme quadratique).
On le dmontrer en exprimant la forme polaire sous sa forme de somme, avec aij = aji :
X
aij xi x0j
(X, X 0 ) Rn Rn (X, X 0 ) =
(i,j)[1,n]2

n X
n
X
(
aij xi x0j )
j=1 i=1

n
X

x0j yj

(Avec yj la j-me composante de Y =t AX)

j=1

= X 0 Y ( on reconnait le produit scalaire canonique de X et Y)

t

=t X 0t AX
=t X 0 AX (par symtrie de A )
Corollaire 17
X Rn q(X) = (X, X)
=t XAX
Proprit 232 Il existe une unique matrice A Mn (R) symtrique telque :
X Rn q(X) =t X.A.X
A est appel la matrice de la forme quadratique q dans la base canonique, et se note :
A = matcan (q)
De mme, A est lunique matrice symtrique de Mn (R) telque :
(X, X 0 ) (Rn )2 (X, X 0 ) = tX .A.X 0
On obtient :
A = matcan (q) = matcan () = (aij )
Avec :

(i, j) [|1, n|]2 aij = (

ei ,
ej )

n
Avec (
e1 , ...,
e
n ) la base canonique de R .

22.1.4

Endomorphisme symtrique de Rn associ une forme quadratique q

Rn est munie du produit scalaire canonique. q est une forme quadratique sur Rn , de forme
polaire , de matrice A sur la base canonique.
Proprit 233 Il existe un unique endomorphisme f de Rn symtrique telque :
X Rn q(X) =< f (X)|X >
Cet endomorphisme vrifie aussi :
(X, X 0 ) (Rn )2 < f (X)|X 0 > =< X|f (X 0 ) >
= (X, X 0 )
f est appel lendomorphisme symtrique associ q dans (Rn , < | >). De plus, nous avons :
matcan (f ) = matcan (q)
On montre lexistence de f en prenant f lendomorphisme canoniquement associ A et en dveloppant la forme polaire.

Exemple
Soit :
q : R2 R
 
x
7 ax2 + by 2 + 2cxy
y
On obtient :
matcan (q) =

22.1.5


a
c


c
b

Thorme de rduction orthonormale dune forme quadratique de Rn

Thorme 62 Rn tant munie de son produit scalaire canonique euclidien, et q tant une forme quadra, ...,
n
tique sur Rn , il existe B=(
u
u
1
n ) base orthonorme de R telque si :
+ ... + x .

X = x1 .
u
1
n un
alors :
02
q(X) = 1 .x02
1 + ... + n .xn

ou les i sont des valeurs propres associs f, lendomorphisme symtrique canoniquement associ q. Une
telle base B sobtient en orthonormalisent f. En rsum, par un changement de base, on fait "disparaitre"
les termes rectangles (xi .xj ...)

22.1.6

Version matricielle du thorme de rduction orthonormale

Soit q une forme quadratique sur Rn , et sa forme polaire. Soit A la matrice de q dans la
base canonique, et f lendomorphisme symtrique canoniquement associ q dans Rn euclidien
canonique.
Si X Rn :
q(X) =t X.A.X =< f (X)|X >
Changement de base
, ...,
Soit B une nouvelle base de Rn , B=(
u
u
1
n ) et P la matrice de passage entre la base canonique
0
et B. Soit X = matB (X). On sait que :
X = P X0
Donc :
q(X) =t X.(t P.A.P ).X 0
Posons A = t P.A.P . A est symtrique et cest lunique matrice symtrique vrifiant lexpression
prcdent X Rn . Par dfinition :
A0 = matB (q)

Proprit 234 Si A=(a0ij ), alors :

(i, j) [|1, n|]2 a0ij = (

ui ,
uj )
De plus, si B est une base orthonorme, alors :
A =t P.A.P = P 1 .A.P
On obtient donc que dterminer une base de rduction de q est quivalent diagonaliser orthonormalement
la matrice matcan (q).

22.2

Gnralisation : Formes quadratiques sur un R espace vectoriel E

Dfinition 139 Soit E un R espace vectoriel quelconque, non ncessairement de dimension finie. On appelle forme quadratique sur E une application q : E R tel quil existe application de E E R
bilinaire symtrique vrifiant :

x E, q(
x ) = (
x,
x)
Proprit 235 Avec les notations prcdentes, est alors unique et appel forme polaire q. On lobtient

laide de lidentit de polarisation, que lon peut dmontrer en exprimant q(

x +
y)
Proprit 236 En conservant les notations prcdentes :
1

x +
y ) q(
x
y )]
(
x,
y ) E 2 (
x,
y ) = [q(
4
Proprit 237 Si q est une forme quadratique sur E, R :

x E q(.
x ) = 2 .q(
x)

22.2.1

Exemples

Les formes quadratiques dfini la section prcdente sur Rn sont des formes quadratiques
au sens de la nouvelle dfinition gnrale. Rciproquement, toute forme quadratique sur E = Rn
au sens de la nouvelle dfinition est une application polynomiale homogne du 2nd degrs. En
rsum, les formes quadratiques dfinies au paragraphe 1 sur Rn sont des cas particuliers des
formes quadratiques dfini globalement.

22.2.2

Expression dans une base, matrice dune forme quadratique dans une
base

On se plance dans le cas dun espace E de dimension finie.

Proprit 238 Soit q, application de E dans R, une forme quadratique sur un R espace vectoriel E de
, ...,
dimension n. est sa forme polaire. Soit B=(
u
u
1
n ) une base de E. Si :
(

+ ... + x .

x = x1 .
u
1
n un

+ ... + y .

y = y1 .
u
1
n un
Alors :

n
X
X

aii .x2i + 2.
aij .xi .xj
q(
x
)
=

i=1
1i<jn

( x , y ) =

aij .xi .xj

(i,j)[|1,n|]2

Rciproquement, si q est une application E dans R, alors :

x E q(
x)=

n
X

aii .x2i + 2.

i=1

aij .xi .xj

1i<jn

alors q est une forme quadratique et sa forme polaire est dfinie par :
:EE R
X

(
x,
y ) 7
(i,j)[1,n]2

aij .xi .xj

Dfinition 140 Avec les notations prcdentes, la matrice A=(aij ) telque :

(i, j) [1, n] aij = (

ui ,
uj )
A est appel matrice de q ou de dans la base B.
Proprit 239 Avec les notations et dfinitions prcdentes, A est lunique matrice symtrique de Mn (R)
telque :
n
X

x =
xi .
ui E, q(
x ) =t X.A.X
i=1

Avec X la matrice de
x dans B.

22.2.3

Changement de Base

Soit E un R espace vectoriel de dimension finie n, B et B deux bases de E. Soit P la matrice

de passage entre B et B. q est une forme quadratique sur E. A est la matrice de q dans B, A la
matrice de q dans B :
A0 = tP .A.P

Dfinition 141 Si A et A deux matrices de Mn (R). On dit que A et A sont congruente sil existe
P Gln (R) telque :
A0 =t P.A.P
On dfini ainsi une relation dquivalence sur E. Deux matrices congruentes sont en particulier quivalentes. Donc deux matrices congruentes ont mme rang.
Dfinition 142 Soit q une forme quadratique sur un R espace vectoriel de dimension finie. On appelle
rang de q le rang de sa matrice sur une base B de E. Cette dfinition ne dpend pas de la base B choisie.
Dfinition 143 Si E est un R espace vectoriel de dimension finie n et q une forme quadratique sur E. On
dit que q est non dgnr si rang(q)=n, cest dire si la matrice de q sur une base est inversible.

22.2.4

Endomorphisme symtriques associs une forme quadratique dans

un espace vectoriel euclidien

Proprit 240 Soit q une forme quadratique sur un R espace vectoriel euclidien E, alors il existe un unique
endomorphisme f L(E), symtrique ( pour le produit scalaire de E) telque :

x E q(
x ) =< f (
x )|
x >
En outre, quelque soit la base B orthonorme de E :
matB (f ) = matB (q)
De plus, si est la forme polaire de q :

(
x,
y ) E 2 , (
x,
y ) =< f (
x )|
x >=<
x |f (
x)>

22.2.5

Rduction orthonormale dune forme quadratique dans un espace vectoriel euclidien

Thorme 63 Soit E un R espace vectoriel euclidien de dimension n, q une forme quadratique sur E, alors
il existe une base B orthonorme de E et des rels 1 , ..., n telque :

+ ... + x .

x = x1 .
u
1
n un E q( x ) =

n
X
i=1

i .x2i

Une telle base B sobtient en orthonormalisent lendomorphisme symtrique f associ q.

+ ... + y .

Avec les notations prcdentes, si

y = y1 .
u
1
n un et si est la forme polaire de q :

(
x,
y)=

n
X

i .xi .yi

i=1

22.3

Application la rduction de coniques

Dfinition 144 Soit E un R espace affine de dimension 2. Soit R un repre de E. On appelle conique au
sens large un sous ensemble () de E admettent dans R une quation du type :
P (x, y) = 0
Avec P polynome du second degrs :
P (x, y) = a.x2 + 2.b.x.y + c.y 2 + u.x + v.y + h

Avec (a, b, c) 6= (0, 0, 0). Soit = (O, i , j ). On dfini une forme quadratique q par :

E R

x. i + y. j 7 a.x2 + 2.b.x.y + c.y 2

Avec E lespace vectoriel associ E. Nous avons donc :



(q)
mat(
i,j)

a
b


b
c

On dfini de mme une forme linaire l par :

E R

x. i + y. j 7 u.x + v.y
Avec ces notations, lquation de () scrit :

M () q(OM ) + l(OM ) + h = 0
Proprit 241 Si R0 est un autre repre de (E) si () a pour quation P(x,y)=0, avec P polynome du 2nd
degrs. dans le repre R, alors () a pour quation :
Q(x, y) = 0
avec Q polynome du 2nd degrs. Autrement dit, la dfinition ci-dessus ne dpend pas du repre choisi.

22.3.1

Cas gnral

On suppose ici E euclidien et R un repre orthonorme. En rduisant dabord orthonormalement q, ce qui revient un changement de repre par rotation, puis en effectuant ventuellement
un deuxime changement de repre par translation, on montre quil existe un repre orthonorme
R1 dans lequel () une quation du type (a,b>0) :
Coniques non dgnr :
y2
x2
21 + 21 = 1. Cest une ellipse. q a deux valeurs propres de mme signe
a
b
x21
y12
2 2 = 1. Cest une hyperbole. q a deux valeurs propres de signe contraire
a
b
x21 = 2.p.y1 . Cest une parabole. q a 1 valeur propre nulle.
Coniques dgnr :

x21
y2
+ 21 = 0. () est rduit au point (0,0).
2
a
b
y12
x21
2 + 2 = < 0. () est gale au vide.
a
b
x21
y12
2 2 = 0. () est la runion de deux droites scantes.
a
b
Pour dterminer la conique associ (), on peut utiliser la mthode suivantes : Soit A la matrice
de q ou de f dans une base orthonorme de dimension 2. Soit 1 et 2 les valeurs propres associ
A. On montre que :
1 et 2 non nulle et de mme signe det(A) > 0
1 et 2 non nulle et de signe contraire det(A) < 0
De plus, si () est une conique dgnr, les sous espaces propres vectoriels de f fournissent les
dimensions vectorielles des axes de la conique.
Dans le cas dun hyperbole, on obtient les droites parallles au asymptotes en annulant q.

22.4

Catalogue des quadriques dans un R espace affine E (euclidien) de dimension 3

Dfinition 145 On appelle quadrique de (E) un ensemble () telque quil existe un repre R de E dans
lequel () a pour quation P(x,y,z) = 0, avec P un polynome coefficiant rele du 2nd degrs.
Proprit 242 Dans ce cas, R0 repre de (E), () admet galement une quation polynomiale de degrs 2
dans R0 .

22.4.1

Catalogue des quadriques

On suppose E euclidien, R un repre orthonorme. Pour simplifier lquation de (), on commence par rduire orthonormalement la forme quadratique q, cest dire diagonalis orthonor

malement lendomorphisme symtrique f qui va de E dans E associ q. On sait que lon peut
eliminer les termes rectangles. On va classer les quadriques possibles suivant, essentiellement, le
nombre de valeur propre non nulle.
Les trois valeurs propres sont non nulle
En dveloppent les expressions, on montre que lon obtient quil E / Si M 00 (X, Y, Z),
R

alors :
M () 1 .X 2 + 2 .Y 2 + 3 .Z 2 = h0
On montre que ceci quivaut :

2
2
2

1 . X + 2 . Y + 3 . Z = 1 si h0 =
6 0.
a22
b22
c22

1 . X + 2 . Y + 3 . Z = 0 si h0 = 0.
a2
b2
c2
,

Avec 1 = 2 = 3 = 1. Quitte permutter les vecteurs

u
1 u2 , u3 de la base B, nous avons les
possibilits suivantes :
(1 , 2 , 3 ) = (+1, +1, +1) (1)
(1 , 2 , 3 ) = (+1, +1, 1) (2)
(1 , 2 , 3 ) = (+1, 1, 1) (3)
(1 , 2 , 3 ) = (1, 1, 1) (4)
Dans tous les cas suivants, on montre que lon obtient les cas suivantes partir de cas plus simple,
au moyen daffinit.

Cas (1)

est dfini par :

X2
Y2
Z2
+
+
=1
a2
b2
c2

La quadrique se dduit de la sphre unit par au plus 3 affinit droites. On obtient un ellipsode
(allong ou aplati). est un center de symtrie. Les axes de coordonne dans R00 en sont les axes
de symtries.
Cas (1)

() est dfini par :

Y2
Z2
X2
+
+
=0
a2
b2
c2

Cest une quadrique dgnr associ 1 point :

() = {}

Cas (2)

() est dfini par :

X2
Y2
Z2
+ 2 2 =1
2
a
b
c

() est un hyperboloide elliptique une nappe

Cas (2)

() est dfini par :

Y2
Z2
X2
+ 2 2 =0
2
a
b
c

() est le cne asymptote de lhyperbolide elliptique prcdent.

Cas (3)

() est dfini par :

X2
Y2
Z2

=1
a2
b2
c2

() est un hyperbolide elliptique de rvolution deux nappes

Cas (3)

() est dfini par :

X2
Y2
Z2

=0
a2
b2
c2

() est le cone asymptote du cas prcdent.

Cas (4)

() est dfini par :

Y2
Z2
X2
2 2 =1
2
a
b
c

X2
Y2
Z2
2 2 =0
2
a
b
c

() =

Cas (4)

() = {}

() est dfini par :

Deux valeurs propres distinct, la troisime nulle

,
,
de la vase B on peut suppos :
Quitte rordonne les vecteurs propres,
u
u
u
1

1 6= 0, 2 6= 0, 3 = 0
De la mme faon que prcdement :

Y2
X2

1 . 2 + 2 . 2 = Z si 00 6= 0.

a
b

Y2
X2
1 . 2 + 2 . 2 = 1 si 00 = 0, h0 =
6 0.

a2
b2

X
Y

1 .
+ 2 . 2 = 0 si 00 = 0, h0 = 0.
a2
b
,

Quitte permutter
u
1 u2 , on peut avoir les cas suivants :
(1 , 2 ) = (+1, +1) (1)
(1 , 2 ) = (1, 1) (2)
(1 , 2 ) = (+1, 1) (3)
Cas (1)

() est dfini par :

X2
Y2
+
=Z
a2
b2

() est un paraboloide elliptique

Cas (2)

() est dfini par :

X2
Y2

=Z
a2
b2
On peut se ramener au cas prcdent en changent de repre.

Cas (3)

() est dfini par :

Y2
X2

=Z
a2
b2

() est un paraboloide hyperbolique.

Dans les cas suivants, lquation est du type :
f (X, Y ) = 0
On montre que ces surfaces sont des cylindres.
Cas (4)

() est dfini par :

X2
Y2
+ 2 =0
2
a
b
() est lintersection des plans X=0 et Y=0. Cest dire :
)
() = (.Z) = + V ect(
u
3
Cest une quadrique dgnr.
Cas (5)

() est dfini par :

X2
Y2
2 =0
2
a
b
() est la runion de deux plans parallle Oz.

Cas (6)

() est dfini par :

X2
Y2

=1
a2
b2

() =
Cas (7)

() est dfini par :

X2
Y2

=1
a2
b2
() est un cylindre hyperbolique de gnratrice parallle z.
Cas (8)

() est dfini par :

X2
Y2
+ 2 =1
2
a
b
() est un cylindre hyperbolique de gnratrice parallle z.
Une seule valeur propre non nulle
,

Quitte rordonne les vecteurs propres,

u
1 u2 , u3 de la vase B on peut suppos :
1 6= 0, 2 = 0, 3 = 0
Cas 1
par :

Si (v 0 , w0 ) 6= (0, 0). Dans un certain repre, on montre que lquation de () est donne
X 2 2.p.Y = 0

() est un cylindre parabolique de gnratice parallle (z)

Cas 2

Si (v 0 , w0 ) = (0, 0), on obtient une quation du type :

X 2 = h00

Nous avons les cas suivants :

h < 0 () = 0
h = 0 () est le plan X=0
h > 0 () est la runion de deux plans

Chapitre

23

Applications linaires continues,

normes subordonnes
23.1

Application linaires continues

Soient (E,k k) et (E,k k0 ) deux K espaces vectoriel (K = R ou C) et f L(E, E 0 ). Rappel :

E
f est continue sur E f est continue en tout
x
0

x)
x E lim f ( x ) = f (
0

x x
0

E, > 0, > 0 / k

k k f (

) k0

x
x
x
x ) f (
x
0
0
0

Proprit 243 Nous avons la proprit suivante :

f L(E, E 0 ) est continue sur E f est continue en 0

Proprit 244 f L(E, E 0 ) est continue sur E f est borne sur B( 0 , 1) avec :

B( 0 , 1)) {
x E/ k
x k 1}
Proprit 245 Soit f L(E, E 0 ), avec E et E des K espaces vectoriels norms.
f est continue sur E f est borne sur la sphre unit

Avec S( 0 , 1) la sphre unit dfinie par :

x E/ k
x k= 1}
S( 0 , 1) = {
Thorme 64 Si E est un K espace vectoriel norm de dimension finie, et E un K espace vectoriel norm,
alors toute application linaire E, E 0 est continue.
Rappel :
La somme de deux applications continues sur E est continue sur E (quelles soient ou non linaire).
Le produit par K (K = R ou C) dune application continue sur E est continue sur E (toujours
que lapplication soit linaire ou non).
Si : f E E 0 et E 0 E 00 sont des applications continues alors gof aussi (encore une fois que f et
g soient linaire ou non).
Il en rsulte, dans le cas des applications linaires, les proprits suivantes :
Proprit 246 Lensembe LC (E, E 0 ) des applications linaires continues de lespace vectoriel norm E
dans lespace vectoriel norm E est un K sous espace vectoriel de L(E, E 0 ) [pour les lois + et .]
Proprit 247 LC (E) = LC (E, E) est une K-algbre de L(E) [pour les lois +,. et o]
149

23.2

Normes subordonnes

23.2.1

Proprit et dfinition

Dfinition 146 Soient (E,k k) et (E,k k0 ) deux K espace vectoriel norm (K = R ou C), alors :
LC (E, E 0 ) R
f 7k f k =

sup

x B( 0 ,1)

k f (
x ) k0

est une norme sur LC (E, E 0 ) appel norme subordonne aux normes k k sur E et k k0 sur E.
NB :

f tant linaire contiue, f est borne sur B( 0 , 1), donc

sup

x B( 0 ,1)

k f (
x ) k0 existe dans R+

Proprit 248 Si f LC (E, E 0 ) :

sup

x B( 0 ,1)

k f (
x ) k0 =

sup

x S( 0 ,1)

k f (
x ) k0
sup

k x k

x E{ 0 }

k f (
x ) k0
=
sup

x k
k

k f (
x ) k0 =

x 6= 0
x B( 0 ,1),

23.2.2

Normes Matricielle subordonne

Soit A Mn,p (R) et f :

f : Rp Rn
X 7 AX
lapplication linaire canoniquement associ A.
Munissons Rp dune norme k k et Rn dune norme k k0 . On note alors : k A k =k f k la norme de
f subordonne aux normes k k et k k0 . Donc :
k A k =

k AX k0
sup
=
sup
k AX k0 = sup k AX k0

kXk

x E{ 0 }
x B( 0 ,1)
x S( 0 ,1)

Proprit 249 Lapplication :

Mn,p (R) R
A 7k A k
est une norme sur Mn,p (R).

23.2.3

Proprit fondamentale de la norme k k

Proprit 250 Soit f LC (E, E 0 ), avec toujours les mmes notations pour E et E. Alors
x E:

k f (
x ) kk f k k
x k

Corollaire :
Si f LC (E, E 0 ), alors f est k f k lipchitzienne et donc uniformement continue. Corollaire
fondamentale :
La norme k k est sous multiplicative. Cest dire que si f LC (E, E 0 ) et g LC (E, E 0 ), avec
(E,k k), (E,k k0 ) et (E,k k00 ) des K espaces vectoriels norms alors :
k gof k k f k k g k
Nous avons la proprit analogue pour les matrices.

23.2.4

Norme dAlgbre

Dfinition 147 Soit (A, +, ., ) une K-algbre, avec K = R ou C.

Une norme sur le K espace vectoriel (A, +, .) est appel norme dAlgbre si elle est sous multiplicative,
cest dire si :
(x, y) A k x y kk x kk y k
(A, +, ., , k k) est appel alors une Algbre norm.
Norme subordonne k k1
Considrons le cas ou K = R. Pour obtenir le rsultat suivant, comme dans tout les cas suivant,
on cherche majorer la norme k k subordonne la norme considr, puis montrer un X
particulier qui permet dobtenir lgalit. Si Rn est munie de k k=k k1 , alors :
k A k = max k Cj k1
1jn

Dans ce cas, le X particulier considrer est : Si max k Cj k1 =k Cj0 k, alors X = Cj0 .

1jn

On obtient un rsultat quivalent dans le cas o K = C.

Norme subordonne k k
Considrons le cas ou K = R. Dans ce cas, on obtient que :
k A k = max k Li k1
1in

Dans ce cas, le X particulier considrer est : Si max k Li k1 =k Li0 k1 =k ai0,1 . . . ai0,n , alors on
1in

prend :

signe(ai0,1 )

..
X=

signe(ai0,n )
Norme subordonne k k2 , la norme euclidienne canonique sur Rn
Au cours de la dmonstration, nous avons nonc les dfinitions et propritts suivantes :
Dfinition 148 Un endomorphisme f dun R espace vectoriel euclidien E est dit positif (repectivement
dfini positif ) si la forme quadratique qui lui est associ est positive (respectivement dfinie positive)
Proprit 251 Si f est un endomorphisme dun R espace vectoriel euclidien E :
f positif Sp (f ) R+
f dfini positif Sp (f ) R+
On obtient en faisant comme dhabitude : Si k k=k k2 , la norme euclidienne canonique de Rn , alors A
Mn (R) :
p
k A k = (t AA)
Avec (t AA) le rayon spectral de t AA.

23.2.5

Suite dendomorphisme en dimension finie

Proprit 252 Soit (fk )kN une suite dendomorphisme dun K espace vectoriel norm (E,k k) de dimension finie et f L(E). Alors les conditions suivantes sont quivalentes :
fk f quand k (de plus, les espaces sont de dimensions finies, donc la convergence ne
dpend pas de la norme considr)
fk converge uniformement vers f sur toute parties bornes.

 fk converge uniformement vers f sur tout compact.

x E, fk (
x ) f (
x ) (|fk | converge simplement vers f sur E)
k+

B base de E et e B f (
e ) f (
e)
k

B base de E telque
e B fk (
e ) f (
e)
k

B base de E, matB (fk ) matB (f )

k

B base de E telque matB (fk ) matB (f )

k

Septime partie

Autres

153

Chapitre

24

Z
Anneau (et Z-module)
nZ
24.1

Convergence modulo n N

Dfinition 149 Si (a,b) Z2 :

a b [n] n|a b
q Z / a b = nq
Proprit 253 est une relation dquivalence sur Z.
Proprit 254 Si (a,b) Z2 , a b [n] a et b ont un mme reste dans leurs divisions euclidienne par n
Corollaire 18 Parmis les lements de Z congrus a Z modulo n, il en existe un et un seul {0, . . . , n 1}
Proprit 255 Si :
(
a b [n]
a0 b0 [n]
alors :

0
0

a + a b + b [n]
0
0
aa bb [n]

Z a = b [n]

24.2

Anneau (et Z-module)

Z
nZ

Z
est lensemble des classes dquivalence modulo la
nZ
relation [n]. Si x Z, on note x la classe de x modulo la relation [n] :

Dfinition 150 n tant toujours un entier N ,

x = {x0 Z / x0 x[n]}

= {x + nq / q Z}

(Les classes formes une partition de Z)

Remarque : Nous avons la relation prcdente, qui permet de faire le lien entre classe et entiers :
x = x0 dans

Z
x x0 [n]
nZ
155

24.2.1

Oprations +,,. sur

Z
nZ

On dfini les oprations suivantes :

0
0

x + x = x + x
xx0 = xx0

Z x = x
Remarque : Si x = x1 et x0 = x01 , on as alors x + x0 = x1 + x01 . Ceci permet de sassurer que la
dfinition prcdente est bien une dfinition.
Proprit 256

Z
possde n classes.
nZ

Proprit 257 (

24.2.2

Z
,+,) est un anneau commutatif.
nZ

Les lements inversibles de

Z
nZ

Dfinition 151 Le nombre dlements [|1, n|], premier avec n, est not (n). : N N est appel
indicateur dEuler.
Corollaire 19 (

Z
,+,) est un corps n est premier.
nZ

Huitime partie

Annexe

157

Annexe

Intgrales gnralises
A.1

Convergence dune intgrale

A.1.1

Proprits

Il existe trois proprits qui permettent de prouver la convergence, dune intgrale complexe,
laide dune intgrale "simple".
La convergence dune intgrale de fonction positive par majoration (Implication)
Lintgration par domination (Implication)
La convergence des intgrale de fonction positive par equivalence (quivalence)

A.1.2

Fonctions "classique"

Il existe plusieurs "cas" standard, au quel on peut se rapporter pour dmontrer la convergence
dune intgrale
En
Nous retiendrons que dans ltude en +, les "tendent plus vers linfini" (utilisation du >
dans les relations).
Nous avons la rgle de Riemann :
Proprit 258 Soit f fonction continue par morceaux de [a, [ dans K.
Si il existe > 1 telque :
t f (t) 0
t

Alors f est intgrable ( converge absolument) sur [a, [

Nous avons aussi lintgrale de Bertrand :
Proprit 259 Soit a un rel strictement superieur 1, et (, ) <2 .
Z
a

dx
converge
x ln(x)


( > 1, ou = 1, > 1)

La proprit suivante nest quun cas particulier de lintgrale de Bertrand, ou = 0 :

Proprit 260 Soit a <, a > 0 :
Z
a

dt
t


converge ( > 1)

159

En 0
Nous retiendrons que lordre de ltude en 0, les "tend en quelque sorte plus vers 0" (utilisation du < dans les relations ).
Nous avons la rgle de Riemann :
Proprit 261 Soit f fonction continue par morceaux de ]0, a] dans K.
Si il existe < 1 telque :
t f (t) + 0
t0

Alors f est intgrable ( converge absolument) sur ]0, a]

Dans le cas de lintgralde de Bertrand, nous retiendrons que le second cas, = 1, > 1, est
identique en linfini et en 0.
Nous avons aussi lintgrale de Bertrand :
Proprit 262 Soit a un rel telque a ]0, 1[, et (, ) <2 .

Z a
dx
converge ( < 1, ou = 1, > 1)

0 x ln(x)
La proprit suivante nest quun cas particulier de lintgrale de Bertrand, ou = 0 :
Proprit 263 Soit a <, a > 0 :
Z
0

dt
t


converge ( < 1)

A.2

Divergence dune intgrale

A.2.1

Les rgles de Riemann

Les rgles de Riemann nous donne les moyens de prouver la divergence dune intgrale.
En
Soit f fonction de [a, [ dans <, continue par morceaux. Si :
t.f (t) 0
t

Alors :

diverge
a

En 0
Soit f fonction de ]0, a] dans <, continue par morceaux. Si :
t.f (t) 0
t0

Alors :

diverge
0

Annexe

Dveloppement asymptotiques
Il existe une mthodologie "classique" utiliser dans le cas dun dveloppement asymptotique.

B.1

Fonction du type f , ou ln(f)

Pour obtenir le dveloppement asymtotique de fonction du type f , ou ln(f), on range les

termes de faon prpondrant dcroissante, puis on met toujours le terme prpondrant en facteur, et enfin on effectue un dveloppement limit avec le reste, qui tend vers 0.
Exemple : Considrons le fonction ln(x2 + x + 1). Cette fonction est rang en considrant la prpondrance en linfini. On obtient donc :
ln(x2 + x + 1) = ln((x2 )(1 +

1
1
+ 2)
x x

ln(x2 + x + 1) = ln(x2 ) + ln(1 +

1
1
+ )
x x2

On effectue un dveloppement limit de la forme ln(1+u), avec u qui tend vers 0.

B.2

Dveloppement asymptotique de Sn ou de Rn dans le cas

dune srie

La premire question se poser est de savoir si la srie

P
un converge.
n

B.2.1

Si la srie converge

Si la srie converge, alors :

lim Sn = S

On poursuit en crivant lgalit suivante :

Sn = S Rn
Pour continuer le dveloppement asymptotique, il faut donc dtrminer un quivalent Rn

B.2.2

Si la srie diverge

Alors on cherche directement un quivalent de Sn

161

B.2.3

Mthode suivre

Pour obtenir un quivalent de Sn , dans le cas divergent, ou un quivalent de Rn dans le cas

convergent, on simplifie le problme en remplacent uk par un quivalent wk plus simple.
On obtient alors :
n
X
wk cas non sommable
Sn

k=n0

Rn

wk cas sommable

k=n+1

Lutilisation de ceci
P ramne le problme de recherche dquivalent de la somme partielle ou du
reste de la srie wk , avec (wk ) appartenant une chelle de comparaison. :
k

wk = k .ln(k) .eP (k)

Avec P(k) un pseudo polynome.
Pour obtenir un quivalent, on distingue deux cas :
Si (wk ) est variation lente (P = 0 ou deg(P)<1), alors on encadre par des intgrales
Si (wk ) est variation rapide (deg(P) 1), on utilise une comparaisons asymptotique entre
wk+1 wk et wk .
Les relations de comparaions utilisable dans le second cas sont :
; ;

Annexe

Sries
C.1

Proprits gnrales

Pour montrer la convergence dune srie

P
un , il faut dj vrifier que (un ) 0. Ceci est une

condition necessaire, mais non suffisante.

Nous avons trois proprits gnrales qui implique la convergence laide dun terme gnrale
plus simple :
La convergence dune srie de terme gnral positive par majoration (Implication)
Lintgration par domination (Implication)
La convergence dune serie de terme gnrale par quivalence (quivalence)

C.2

Rgle usuelle

C.2.1

Convergence des sries de Riemann

Soit une sries de Riemman, de terme gnral :

un =

1
n

Cette srie converge si et seulement si :

( > 1)

C.2.2

Rgle de Riemann - Convergence

Soit (un ) une suite valeur complexe.

Si il existe > 1 telque :
(n .un 0

Alors (un ) est sommable

C.2.3

Rgle de Riemann - Divergence

Soit (un ) une suite valeur relle.

Si :
n.un

Alors la srie de terme gnrale un diverge.

163

C.2.4

Srie de Bertrand

Soit une srie de Bertrand, de terme gnral :

un =

1
n .ln(n)

Cette srie converge si et seulement si :

( > 1 ou = 1 et > 1)

C.2.5

Rgle de dAlembert

Soit (un ) une suite de rels telques n n0 , un > 0 et telque :

un+1
l
un
Alors :
Si l > 1, alors la srie de terme gnral un diverge grossirement
Si l < 1, alors la srie converge

Annexe

Calcul matriciel par blocs

D.1

Produit matriciel par blocs

Considrons deux matrices A et A :

1

...

A11
1 l
A=
..
..
. .
An1
n l

...
..
.
...

A1p
..

.
Anp

...

A011
1 l
0

.. ..
A =
. .
A0p1
p l

...
..
.
...

A01q
..

.
A0pq

Avec :

Aij Mi ,j (K)
A0kl Mk ,l (K)

On dfini de plus :

= 1 + + n
= 1 + + p

= 1 + + q
On obtient, pour le produit de A par A :

C11
.

A.A0 = ..
Cn1
Avec :
Cij =

p
X

...
..
.
...

C1q
..

.
Cnq

Aik .A0kj

k=1

Lordre du produit ralis dans la somme a une importance priori, car le produit des matrices
nest pas commuatif, priori.
165

D.1.1

Cas particuliers

Matrices diagonales
Soient A et A deux matrices diagonales :
1

A =

A0 =

...

A11

(0)
..

(0)

Ann

A011

(0)
..

.
A0nn

(0)

l 1

l n

On obtient, pour le produit :

A.A0 =

A11 .A011

(0)
..

.
Ann .A0nn

(0)

Matrices Triangulaires
Soient A et A deux matrices triangulaire :
1

A =

A0 =

...

A11

(A)
..

(0)

Ann

A011

(A0 )
..

.
A0nn

(0)

l 1
l n

On obtient, pour le produit :

A.A0 =

A11 .A011

(B)
..

(0)

.
Ann .A0nn

D.2

Calcul de dterminants de matrices triangulaires par blocs

D.2.1

Proprits

Proprit 264 Nous avons la proprit suivantes :

det

Avec :

D.2.2

A11
0

A12
A22

!
= det(A11 ).det(A22 )

A11 Mn1 (K)

A22 Mn2 (K)

Gnralisation

Proprit 265 On peut gnraliser la proprit de la faon suivante :

n

det

...

A11

(B)
..

(0)

np

.
App

= det(A ) . . . det(A )
11
pp

Annexe

Points importants pour obtenir

lquation rduit dun quadrique ()
et lidentifier
Nous avons les points suivants :
Rduire orthonormalement la forme quadratique q associ (). Dans certains cas, pour
identifier (), la connaisance des valeurs propres suffit.
Si lquation rduite f(X,Y,Z) = 0 est homogne, donc de degrs 2, () est une surface conique de sommet .
Si lquation rduite ne contient pas de Z (par exemple) du type f(X,Y)=0, () est une surface cylindrique de gnratrice parallle z.
Sil sagit didentifier (), on peut encore simplifier lquation rduite en transformant ()
par des affinits droites de base lun des plans de coordonnes.

169

Annexe

Rsolution dun systme diffrentiel

linaire coefficients constants
F.1

Diffrents types de Matrices

Considrons un systme diffrentiel du type :

dX
= AX
dt
Nous pouvons avoir quatre cas de figure suivant A :
Premier type : A diagonalisable valeurs propres relles
Deuxime type : A diagonalisable : Une valeur propre relle, deux valeurs propres imaginaire conjuges
Troisime type : A nest pas diagonalisable ou A deux valeurs propres relles, une simple
et une double.
Quatrime type : A a une seule valeur propre

F.2

Cas dune matrice diagonalisable

Pour voir le plan suivre, partons dun exemple : Considrons le systme diffrentiel suivant :

x = 2x + y + z
y 0 = x + 2y + z

0
z = x + y + 2z
Pour rsoudre ce systme, on commence par introduire des notations :

x
2 1 1
X = y et A = 1 2 1
z
1 1 2
Avec ces notations, le systme prcdent scrit :
dX
= AX
dt
Pour poursuivre, nous allons diagonaliser la matrices (possible ici car elle est symtrique relle,
donc orthonormalement diagonalisable). Pour ce faire, dterminons le polynome caractristique.
On obtient :
PA (X) = (X 4)(X 1)2
171

Puis on dtermine les espaces propres associs aux valeurs propre 1 et 4. On considre une base
de Ker(f-id), not B1 et une base de Ker(f-4id), not B2 . On obtient une base de K 3 , not B =
B1 B2 . On obtient donc que :

1
P 1 AP = D = 0
0

0
1
0

0
0
4

Avec P=matcan (B). On remplace maintenant A dans le systme prcdent :

dX
(t) = P DP 1 X(t)
dt
Par un changement de variable, on obtient que ce systme quivaut :
dY
(t) = DY
dt

y1
On peut rsoudre maintenant facilement pour Y = y2 . Une fois Y obtenue, on obtient faciley3
ment X laide de lexpression de Y :
Y = P 1 X X = P Y
Nous avons donc rsolu le systme. On peut ensuite utiliser le Thorme de Cauchy Lipschitz
pour vrifier la cohrence de notre rsultat. Si on considre une quation linaire homogne avec
second membre, on procde de la mme faon, sauf la fin du procd. On doit alors utiliser une
mthode de variation de la constante et calculer P 1 . On aura donc avantage dans ce cas utiliser
une base orthonorme de diagonalisation, car dans ce cas P 1 =t P . Pour ce faire, on part de :
dX
(t) = P DP 1 X(t) + b(t)
dt
Puis on fait un changement de variable Y=P 1 X :
dY
(t) = DY (t) + P 1 b(t)
dt
Et on continue ......

F.3

Cas dune matrice trigonalisable

On commence comme prcdement, en dterminant le polynome caractristique. On obtient

un polynome du type :
PA (X) = (X 1 )2 (X 2 )
Mais on obtient que la dimension de lespace propre associe 1 est 1. La matrice nest donc pas
diagonalisable. On considre une base des deux espaces propres, et on complete cette famille en
une base de E. On la complete avec le vecteur issu du produit scalaire des deux premiers par
exemple. On obtient donc une matrice du type :

1
0
0

0
2
0

a
b
1

Il reste dterminer les coefficiants a,b. Pour ce faire, on dtermine limage dun vecteur par A.
Et on continue comme prcdement.

F.4

Cas dune valeur propre triple

Considrons la matrice :

4
1
2

1
1
1

1
2
1

On obtient que :
PA (X) = (X + 2)2
Dans ce cas, lutilisation de lexponentiel de matrice est particulirement indiqu. On sait que
toutes solutions est de la forme :
t 7 X(t) = etA X0
Dapres Cayley-Hamilton, A annule PA , donc :
(A + 2I3 )3 = 0
Posons :
N = A + 2I
On obtient donc que N est nilpotente dindice 3. On calcul eA en utilisant la mthode (gnrique) suivante :
eA = eIn +N
= e In eN


N p1
= In e In + +
(p 1)!
= e

p1
X
Nk
k=0

k!

Annexe

Trigonalisation
Soit A Mn (C) ou A Mn (R), avec PA (X) scind dans R[X]. Soit f lendomorphisme
canoniquement associ A. Supposons que :
PA (X) = (X 1 )(X 2 )2 , 1 6= 2
Avec :

dim(Ker(f 1 id)) = 1

dim(Ker(f id)) = 1
2

Ker(f

id)
=
V ect(
u)
1

Ker(f 2 id) = V ect( v )

On est donc dans le cas o A nes pas diagonalisable.

G.1

Rduction sommaire

Compltons la famille libre (

u,
v ) en une base de K 3 . Soit
w un vecteur quelconque dans K 3

3
telque B=( u , v , w ) soit une base de K , par exemple considrons :

w =
u
v
On obtient :

1
matB (f ) = 0
0

0
2
0

a
b
2

Le 2 de la troisime colonne est connu laide de la trace. Nous devons dterminer le couple
(a,b). Pour se faire, on crire :

f (
w ) = a
u + b
v + 2
w
Dans la base canonique, on obtient que :

A
w = a
u + b
v + 2
w

G.2

Rduction de Dunford

Toutes matrices A Mn (K) dont le polynome caractristique est scind se trigonalise sous la

forme de Dunford, cest dire quil existe B=(

u,
v ,
z ) telle que :

1 0
0
matB (f ) = 0 2 1
0
0 2
175

Dans ce cas, linconnue est :

On cherche
w tel que :

w1

w = w2
w3

f (
w) =
v +
w

On rsoud cette quation en lcrivant dans la base canonique :

A
w =
v +
w

(A 2 I)
w =
v
(A - 2 I), nest pas de Cramer car 2 Sp(A), donc cette matrice nest pas inversible. On obtient
en rsolvant quil existe une infinit de solution.
On peut aussi rsoudre en considrant un lement de lespace caractristique associ 2 , cest
dire : Ker(f 2 id)2 .

G.3

Cayley-Hamilton + Lemmes des noyaux

On peut utiliser ces deux thormes pour rsoudre ce problme.

Table des matires

Licence

Avant-propos

iii

Remerciements

Rvisions

Rappels et Complments
1.1 Relations de comparaison . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1 Relations dquivalence . . . . . . . . . . . . . . . . . . . . . . . .
1.1.2 Fonction module . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.3 Voisinage fondamental . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.4 Ngligabilit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.5 quivalence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.6 Ngligabilit et quivalence . . . . . . . . . . . . . . . . . . . . . .
1.1.7 Lien entre limite et somme . . . . . . . . . . . . . . . . . . . . . .
1.1.8 Signe et quivalent . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.9 Domination - Grand O . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.10 Dans le cas des suites . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1 Fonctions continue sur un segments . . . . . . . . . . . . . . . . .
1.2.2 Fonctions continue par morceaux sur un intervalle . . . . . . . .
1.2.3 Thorme des accroissements finis . . . . . . . . . . . . . . . . . .
1.2.4 Ingalit des accroissement finis . . . . . . . . . . . . . . . . . . .
1.2.5 Thorme de Rolles . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.6 Thorme des valeurs intermdiaire . . . . . . . . . . . . . . . . .
1.2.7 Lien entre limite et borne . . . . . . . . . . . . . . . . . . . . . . .
1.2.8 tude de Arctan . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.9 Limite dune fonction . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.10 Injectivit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.11 Surjectivit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.12 Bijectivit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.13 Diffomorphisme . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 Dveloppements limits . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.1 Lien entre dveloppement limit et drivabilit . . . . . . . . . .
1.3.2 Position relative de la courbe par rapport la tangente . . . . . .
1.3.3 Dveloppement limits usuels . . . . . . . . . . . . . . . . . . . .
1.3.4 Dveloppement asymptotique dune "chelle de comparaison E"
1.4 Intgrale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
177

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

3
3
3
3
3
3
4
5
5
5
5
5
6
6
6
6
6
6
7
7
7
8
8
8
8
9
9
9
9
9
10
10

1.5

1.6

II
2

1.4.1 Somme de Riemmann . . . . . . . . . .

1.4.2 Ingalit de majoration . . . . . . . . . .
1.4.3 Ingalit de Cauchy-Schwarz . . . . . .
1.4.4 Intgrale et ngligabilit . . . . . . . . .
Vrac . . . . . . . . . . . . . . . . . . . . . . . . .
1.5.1 Suite gomtrique . . . . . . . . . . . .
1.5.2 Suite complexe . . . . . . . . . . . . . .
1.5.3 Utilisations des ingalits . . . . . . . .
1.5.4 Densit . . . . . . . . . . . . . . . . . . .
1.5.5 Formule du binme et drive . . . . .
1.5.6 Drive successives de cosinus et sinus
1.5.7 Rgle de dAlembert . . . . . . . . . . .
1.5.8 Nombre complexe . . . . . . . . . . . .
Les polynomes . . . . . . . . . . . . . . . . . . .
1.6.1 Polynomes irrductibles . . . . . . . . .
1.6.2 Racine et ordre de multiplicit . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

Intgrales, Fonctions

10
10
11
11
11
11
12
12
12
12
12
13
13
13
13
13

15

Intgrales gnralises, Fonctions intgrables

2.1 Applications continues par morceaux . . . . . . . . . . . . . . . . .
2.1.1 Dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Convergence dune intgrale . . . . . . . . . . . . . . . . . . . . . .
2.2.1 Convergence vers . . . . . . . . . . . . . . . . . . . . . . .
2.2.2 Convergence vers 0 . . . . . . . . . . . . . . . . . . . . . . . .
2.3 Rsultats spcifiques sur les applications de [a; [ valeurs dans K
2.3.1 Limite de lapplication et convergence de lintgrale . . . . .
2.3.2 Caractrisation squentielle dune limite . . . . . . . . . . .
2.4 Dfinitions et proprits gnrales . . . . . . . . . . . . . . . . . . .
2.5 Convergence Absolue, Fonctions intgrables sur un intervalle . . .
2.5.1 Convergence Absolue . . . . . . . . . . . . . . . . . . . . . .
2.5.2 Critre de Cauchy . . . . . . . . . . . . . . . . . . . . . . . .
2.6 Convergence des intgrales de fonctions positives - Intgrabilit . .
2.6.1 Proprits fondamentale . . . . . . . . . . . . . . . . . . . . .
2.6.2 Rgles de Riemann . . . . . . . . . . . . . . . . . . . . . . . .
2.6.3 Intgrale de Bertrand . . . . . . . . . . . . . . . . . . . . . . .
2.7 Intgration par parties - Changement de variable . . . . . . . . . . .
2.7.1 Intgration par parties . . . . . . . . . . . . . . . . . . . . . .
2.7.2 Changement de variable . . . . . . . . . . . . . . . . . . . . .
2.8 Quelques espaces remarquables . . . . . . . . . . . . . . . . . . . . .
2.9 Remarque concernant le reste . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

17
17
17
18
18
19
19
19
19
19
21
21
21
22
22
22
23
23
23
23
23
24

Intgrales paramtres
3.1 Thorme de continuit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Thorme de classe C 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3 Thorme de classe C p (Hors programme) . . . . . . . . . . . . . . . . . . . . . . . .

25
25
26
26

Approximation uniforme
4.1 Approximation uniforme par des fonctions en escaliers
4.2 Gnralisation aux fonctions continues par morceaux .
4.3 Thorme . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4 Thorme dapproximation uniforme de Weierstrass . .

27
27
27
28
28

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.

III
7

Description des surfaces

5.1 Surface dfinies par une quation implicite . . . . . . . . . . . . . . . . .
5.2 Surface dfini par une quation cartsienne ("explicite") . . . . . . . . . .
5.3 Surfaces dfinies par une reprsentation paramtrique . . . . . . . . . .
5.4 Plan tangent une nappe paramtr de classe C 1 . . . . . . . . . . . . .
5.4.1 Rappel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.4.2 Arc trac sur une nappe . . . . . . . . . . . . . . . . . . . . . . . .
5.4.3 Proprit fondamementale et dfinition du plan tangent . . . . .
5.4.4 Cas des nappes coniques . . . . . . . . . . . . . . . . . . . . . . .
5.5 Changement de paramtrisation et plan tangent . . . . . . . . . . . . . .
5.6 Plan tangent une surface dfinie par une quation implicite F(x,y,z)=0

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

29
29
29
29
30
30
30
31
32
32
32

Intgrales multiples
6.1 Thorme de Fubini . . . . . . . . . . .
6.2 Thorme de changement de variable
6.2.1 En dimension 1 . . . . . . . . .
6.2.2 En dimension 2 . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

35
35
35
35
36

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

Suites, Sries

37

Srie numrique
7.1 Dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.1.1 Dfinitions gnrales . . . . . . . . . . . . . . . . . . . .
7.1.2 Reste dordre n . . . . . . . . . . . . . . . . . . . . . . .
7.2 Quelques proprits gnrales . . . . . . . . . . . . . . . . . . .
7.3 Sries termes rels positifs (ou de signe constant) . . . . . . .
7.3.1 Convergence des sries de Riemann . . . . . . . . . . .
7.3.2 Rgle de Riemann . . . . . . . . . . . . . . . . . . . . .
7.3.3 Srie de Bertrand . . . . . . . . . . . . . . . . . . . . . .
7.3.4 Proprit de Cauchy . . . . . . . . . . . . . . . . . . . .
7.3.5 Rgle de dAlembert . . . . . . . . . . . . . . . . . . . .
7.3.6 Rgle de Cauchy . . . . . . . . . . . . . . . . . . . . . .
7.4 Sries alternes . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.4.1 Critre de Leibniz ou Critre spcial des sries alterne
7.5 Quelques espaces remarquables . . . . . . . . . . . . . . . . . .
7.5.1 Ensemble l1 (K) . . . . . . . . . . . . . . . . . . . . . . .
7.5.2 Ensemble l2 (K) . . . . . . . . . . . . . . . . . . . . . . .
7.6 Sommation par paquets ou associativit de la sommation . . .
Sommation des relations de comparaison
8.1 Cas sommable . . . . . . . . . . . . . . . . . . . . . . . . .
8.1.1 Ngligabilit . . . . . . . . . . . . . . . . . . . . . .
8.1.2 Domination . . . . . . . . . . . . . . . . . . . . . .
8.1.3 Equivalence . . . . . . . . . . . . . . . . . . . . . .
8.2 Cas non sommable . . . . . . . . . . . . . . . . . . . . . .
8.2.1 Ngligabilit . . . . . . . . . . . . . . . . . . . . . .
8.2.2 Domination . . . . . . . . . . . . . . . . . . . . . .
8.2.3 Equivalence . . . . . . . . . . . . . . . . . . . . . .
8.3 Les dmonstrations . . . . . . . . . . . . . . . . . . . . . .
8.3.1 Dmonstration : Cas sommable, ngligabilit . . .
8.3.2 Dmonstration : Cas non sommable, ngligabilit

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

39
39
39
40
40
41
41
42
42
42
43
43
43
43
44
44
44
45

.
.
.
.
.
.
.
.
.
.
.

47
47
47
48
48
49
49
49
50
50
50
51

Suite de fonctions ou dapplication - Convergence uniforme

9.1 Convergence simple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9.2 Convergence uniforme dune suite dapplications . . . . . . . . . . . . . . . . . . .
9.3 Thorme classique sous les hypothses de convergence uniforme . . . . . . . . . .
9.3.1 Thorme de continuit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9.3.2 Thorme dinterversion des limites, ou thorme de la double limite . . .
9.3.3 Thorme dintegration sur un segment sous les hypothses de convergence
uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9.3.4 Throrme de classe C 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9.3.5 Thorme de classe C p . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9.3.6 Thorme de classe C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9.4 Thorme de convergence monotone et convergence domin . . . . . . . . . . . . .
9.4.1 Thorme de convergence monotone . . . . . . . . . . . . . . . . . . . . . .
9.4.2 Thorme de la convergence domine . . . . . . . . . . . . . . . . . . . . . .

10 Sries dapplications
10.1 Dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10.1.1 Convergence simple . . . . . . . . . . . . . . . . . . . . . . . . .
10.1.2 Convergence absolue . . . . . . . . . . . . . . . . . . . . . . . . .
10.1.3 Convergence uniforme . . . . . . . . . . . . . . . . . . . . . . . .
10.1.4 Convergence normale, ou convergence au sens de Weirstrass .
10.2 Thorme classique sous hypothses de convergence uniforme . . . .
10.2.1 Thorme de continuit . . . . . . . . . . . . . . . . . . . . . . .
10.2.2 Thorme dinversion de la limite et de la somme . . . . . . . .
10.2.3 Thorme dintgration sur un segment [a,b] sous hypothse
gence uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10.2.4 Thorme de classe C 1 . . . . . . . . . . . . . . . . . . . . . . . .
10.2.5 Thorme de classe C p . . . . . . . . . . . . . . . . . . . . . . . .
10.2.6 Thorme de classe C . . . . . . . . . . . . . . . . . . . . . . .

. .
. .
. .
. .
. .
. .
. .
. .
de
. .
. .
. .
. .

. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
conver. . . . .
. . . . .
. . . . .
. . . . .

53
53
53
54
54
55
55
56
56
57
57
57
57
59
59
59
60
60
60
61
61
61
62
62
62
63

11 Sries dendomorphismes et de matrices

11.1 Dfinitions et proprits gnrales . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11.1.1 Exemple : La srie gomtrique . . . . . . . . . . . . . . . . . . . . . . . . . .
11.2 Exponentielle dendomorphisme ou de matrice . . . . . . . . . . . . . . . . . . . . .
11.2.1 Proprits et dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11.3 Applications de lexponentielle de matrices la rsolution dun systme diffrentiel
linaire coefficient constant . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11.4 Proprits classique de lexponentielle de Matrice . . . . . . . . . . . . . . . . . . .
11.4.1 Calcul de eA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11.5 Rsolution de systme diffrentielle coefficients constant . . . . . . . . . . . . . .

67
68
68
69

12 Complments sur les sries

12.1 Intgration des sries de fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12.2 Rudiment sur les sries doubles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

71
71
71

13 Srie entire
13.1 Dfinitions, rayon de convergence . . . . . . . . . .
13.1.1 Dfintions . . . . . . . . . . . . . . . . . . . .
13.1.2 Abus de notation . . . . . . . . . . . . . . . .
13.1.3 Rayon de convergence . . . . . . . . . . . . .
13.1.4 Lemme dAbel . . . . . . . . . . . . . . . . .
13.2 Proprits utilse au calcul du rayon de convergence
13.2.1 Rgle de dAlembert pour les sries entires
13.3 Somme et produit de deux sries entires . . . . . .
13.3.1 Somme de deux sries entires . . . . . . . .
13.3.2 Produit de deux sries entires . . . . . . . .
13.3.3 Proprits sur les exponentiels complexes . .

73
73
73
73
73
74
74
74
75
75
75
76

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

65
65
66
66
66

13.3.4 Continuit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.4 Classe C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13.5 Fonctions dveloppable en srie entire . . . . . . . . . . . . . . . . . . .
13.5.1 Quelques dvelopppement en srie entire classique . . . . . . .
13.5.2 Dveloppement en srie entire des fractions rationnelles . . . .
13.6 Extension C des fonctions trigonomtrique . . . . . . . . . . . . . . . .
13.6.1 Lien entre trigonomtrie circulaire et trigonomtrie hyperbolique

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

76
76
77
78
78
79
79

14 Srie de Fourier
14.1 Dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14.2 Condition suffisante de convergence des Sries Trigonomtriques . . . . . . . . . .
14.3 Rappel : Fonctions de Classe C k par morceaux . . . . . . . . . . . . . . . . . . . . .
14.3.1 Fonctions continues par morceaux . . . . . . . . . . . . . . . . . . . . . . . .
14.3.2 Fonctions de classe C 1 par morceaux . . . . . . . . . . . . . . . . . . . . . .
14.4 Dveloppement des Fonctions priodiques en srie de Fourier, Thorme de Dirichlet
14.4.1 La somme dune srie trigonomtrique est priodique . . . . . . . . . . . .
14.4.2 Dveloppement dune Fonction priodique en srie trigonomtrique . . . .
14.4.3 Relation entre la somme dune srie trigo et ses coefficients en cas de convergence uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14.4.4 Coefficients de Fourier et Srie de Fourier dune fonction priodique continue par morceaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14.4.5 Thorme de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14.4.6 Remarque : Coefficients de Fourier des Fonctions priodiques paires et impaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14.5 Le Thorme de Weierstrass Trigonomtrique . . . . . . . . . . . . . . . . . . . . . .
14.6 Convergence en Moyenne Quadratique des Sries de Fourier . . . . . . . . . . . . .
14.6.1 Dfinitions, Notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14.7 Produit scalaire Hermitien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14.7.1 SN est la meilleurs approximation quadratique de f E parmi les polynmes trigonomtriques de degr N . . . . . . . . . . . . . . . . . . . . .
14.7.2 Ingalit de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14.8 Thorme de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14.8.1 Enonc du Thorme de Parseval . . . . . . . . . . . . . . . . . . . . . . . .
14.9 Corollaire : Identit de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14.10Analyse en Frquence des fonctions priodiques continues par morceaux . . . . .
14.11Relation entre les coefficients de Fourier de f et de f (p) . . . . . . . . . . . . . . . . .
14.11.1 Gnralisation du Thorme dintgration par Parties . . . . . . . . . . . . .
14.11.2 Relation entre les coefficients de Fourier et ceux de f . . . . . . . . . . . . .
14.11.3 Deuxime application : Convergence Normale de la srie de Fourier . . . .

81
81
82
82
82
83
83
83
83

IV

91

quations diffrentielles

15 quations diffrentielles
15.1 quations diffrentielle linaire du 1er ordre . . . . . . . . . . . . . . . . . . . . . .
15.2 Equations diffrentielle linaire du second ordre . . . . . . . . . . . . . . . . . . . .
15.2.1 Cas Particuliers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15.2.2 Solutions de (E) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15.2.3 Wronskrien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15.3 quations diffrentielle (non linaire) du 1er ordre, rsolue . . . . . . . . . . . . . .
15.3.1 quation variable sparable . . . . . . . . . . . . . . . . . . . . . . . . . . .
15.3.2 nonc simplifi du thorme de Cauchy-Lipschitz pour les quations diffrentielle du 1er ordre autonomes . . . . . . . . . . . . . . . . . . . . . . . .
15.4 quation diffrentielle (non linaire) du 2nd ordre, rsolue . . . . . . . . . . . . . .
15.4.1 nonc simplifi pour les quations diffrentielles autonomes . . . . . . . .

84
84
85
85
85
85
86
86
87
87
87
88
88
88
89
89
89
89

93
93
93
94
95
95
95
96
96
97
97

15.5 Systme diffrentielles (non linaire) autonome du 1er ordre, de deux quations
deux inconnus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15.5.1 Ecriture synthtique du systme (S) . . . . . . . . . . . . . . . . . . . . . . .

Rduction dendomorphismes

16 Rduction des endomorphismes et des matrices - Premire Partie

16.1 Systme linaire . . . . . . . . . . . . . . . . . . . . . . . . . . . .
16.2 Dtermination de linverse de A . . . . . . . . . . . . . . . . . . .
16.2.1 Mthode directe . . . . . . . . . . . . . . . . . . . . . . . .
16.2.2 Mthode du pivot de Gauss . . . . . . . . . . . . . . . . .
16.2.3 Mthode de Jacobi . . . . . . . . . . . . . . . . . . . . . .
16.3 Valeur propres, vecteurs propre, sous-espace vectoriel propre .
16.3.1 Vecteurs propres . . . . . . . . . . . . . . . . . . . . . . .
16.3.2 Valeur propre . . . . . . . . . . . . . . . . . . . . . . . . .
16.3.3 Proprits et dfinitions . . . . . . . . . . . . . . . . . . .
16.3.4 Cas des matrices . . . . . . . . . . . . . . . . . . . . . . .
16.4 Cas o E est de dimension finie : Polynme caractristique . . .
16.4.1 Relations entre les racines dun polynome et ses racines .
16.5 Diagonalisabilit . . . . . . . . . . . . . . . . . . . . . . . . . . .
16.5.1 Dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . .
16.5.2 Cas particulier des valeurs propres simples . . . . . . . .
16.5.3 Cas dune matrice . . . . . . . . . . . . . . . . . . . . . .
16.6 Trigonalisabilit . . . . . . . . . . . . . . . . . . . . . . . . . . . .

98
98

101
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

103
103
103
103
104
104
105
105
105
106
106
106
107
107
107
108
109
109

17 Rduction des endomorphismes et des matrices - Deuxime Partie

17.1 Polynomes dendomorphisme ou de matrice . . . . . . . . . . . . . . . . . . . . . .
17.2 Idaux de K[X] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17.2.1 Exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17.2.2 Dfinitions et thorme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17.2.3 Application au pgcd de deux polynomes, et lalgorithme dEuclide . . . .
17.2.4 Polynome annulateur dun endomorphisme ou dune matrice, Polynome
minimal dun endomorphisme ou dune matrice . . . . . . . . . . . . . . . .
17.2.5 Thorme de Cayley-Hamilton . . . . . . . . . . . . . . . . . . . . . . . . . .
17.2.6 Relation entre valeurs propres et racines des polynomes annulateurs . . . .
17.3 Lemme des noyaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17.3.1 Application fondamentale de Lemme des noyaux . . . . . . . . . . . . . . .
17.4 Endomorphismes et matrices nilpotants . . . . . . . . . . . . . . . . . . . . . . . . .
17.5 Nouveaux critres de trigonabilit . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17.5.1 Rduction de Dunford . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17.6 Nouveau critre de diagonabilit . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

111
111
112
112
112
112

VI

117

Espaces vectoriels norms

18 Espaces vectoriels norms - Premire partie

18.1 Norme - Distance - Dfinitions . . . . . . . . . . . . . . . . . . . . .
18.1.1 Dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18.1.2 Consquence immdiate des axiomes . . . . . . . . . . . . .
18.2 Distance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18.2.1 Dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18.2.2 Consquence . . . . . . . . . . . . . . . . . . . . . . . . . . .
18.2.3 Distance dduite dune norme . . . . . . . . . . . . . . . . .
18.3 Exemple classique de normes dans un espaces de dimension finies
18.3.1 La norme k k sur K n . . . . . . . . . . . . . . . . . . . . . .
18.3.2 La norme k k1 sur K n . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

113
113
114
114
114
115
115
115
116

119
119
119
119
119
119
120
120
120
120
120

18.3.3 La norme k k2 sur K n . . . . . . . . . . . . . . . . . . . . . . . . . .

18.4 Convergence au sens dune norme ou dune distance - Norme quivalente
18.4.1 Au sens dune distance . . . . . . . . . . . . . . . . . . . . . . . . .
18.4.2 Au sens dune norme . . . . . . . . . . . . . . . . . . . . . . . . . . .
18.4.3 Norme quivalente . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18.5 Convergence dans les K espaces vectoriel de dimension finies . . . . . . .
19 Espace vectoriel norm - Deuxime partie
19.1 Interieur dun ensemble, ensemble ouvert
19.2 Adrence dun ensemble, ensemble ferm
19.3 Frontire . . . . . . . . . . . . . . . . . . .
19.4 Diamtre dune partie borne . . . . . . .
19.5 Ensembles compacts . . . . . . . . . . . .
19.6 Dfinitions et proprits . . . . . . . . . .
19.6.1 Dfinition de Bolzano-Weierstrass
19.6.2 Thorme . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

121
121
121
121
122
122

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

123
123
124
125
125
125
125
125
125

20 Espace Prehilbertiens, Espaces euclidiens

20.1 Norme euclidienne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20.2 Proprits Elmentaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20.2.1 Identits de polarisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20.2.2 Identits du Paralllogramme et de la mdiane . . . . . . . . . . . . . . . . .
20.3 Forme linaire dans un espace euclidien . . . . . . . . . . . . . . . . . . . . . . . . .
20.4 Thorme de projection orthogonale sur un sous espace de dimension finie . . . .
20.4.1 Ingalit de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20.4.2 Norme dun projecteur orthogonal subordonne la norme euclidienne . .
20.4.3 Projection orthogonale sur une droite vectorielle . . . . . . . . . . . . . . . .
20.4.4 Thorme de la base orthonorme incomplte dans un espace vectoriel euclidien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20.5 Orthogonal dune partie, sous-espaces orthogonaux . . . . . . . . . . . . . . . . . .
20.5.1 Proprits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20.5.2 Sous-espaces Vectoriels orthogonaux . . . . . . . . . . . . . . . . . . . . . .
20.6 Orthonormalisation de Gram-Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . .
20.6.1 Traduction matricielle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20.7 Endomorphismes Orthogonaux, Matrices orthogonales . . . . . . . . . . . . . . . .
20.7.1 Isomtries vectorielles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20.7.2 Matrices orthogonales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

127
127
127
127
128
128
128
128
129
129

21 Adjoint dun endomorphisme, Endomorphisme et matrice symtrique

21.1 Rappel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21.2 Proprits - Dfinition dun adjoint . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21.3 Proprits lmentaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21.3.1 Cas ou f et g sont symtrique . . . . . . . . . . . . . . . . . . . . . . . . . . .
21.4 Thorme dorthogonalisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21.4.1 Corollaire matricielle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21.5 Caractristation par ladjoint de certains endomorphismes classiques dun espace
euclidien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

133
133
133
133
134
134
134

22 Formes quadratiques
22.1 Formes quadratiques sur Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22.1.1 Forme bilinaire symtrique associ une forme quadratique . . . . .
22.1.2 Moyen mnmotechnique pour lidentit de polarsation . . . . . . . . .
22.1.3 Expressions matricielles de q et de . . . . . . . . . . . . . . . . . . . .
22.1.4 Endomorphisme symtrique de Rn associ une forme quadratique q
22.1.5 Thorme de rduction orthonormale dune forme quadratique de Rn
22.1.6 Version matricielle du thorme de rduction orthonormale . . . . . .
22.2 Gnralisation : Formes quadratiques sur un R espace vectoriel E . . . . . . .

137
137
137
138
138
139
140
140
141

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

129
129
129
129
130
130
130
130
130

135

22.2.1
22.2.2
22.2.3
22.2.4

Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Expression dans une base, matrice dune forme quadratique dans une base
Changement de Base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Endomorphisme symtriques associs une forme quadratique dans un espace vectoriel euclidien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22.2.5 Rduction orthonormale dune forme quadratique dans un espace vectoriel
euclidien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22.3 Application la rduction de coniques . . . . . . . . . . . . . . . . . . . . . . . . . .
22.3.1 Cas gnral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22.4 Catalogue des quadriques dans un R espace affine E (euclidien) de dimension 3 . .
22.4.1 Catalogue des quadriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23 Applications linaires continues, normes subordonnes
23.1 Application linaires continues . . . . . . . . . . . .
23.2 Normes subordonnes . . . . . . . . . . . . . . . . .
23.2.1 Proprit et dfinition . . . . . . . . . . . . .
23.2.2 Normes Matricielle subordonne . . . . . . .
23.2.3 Proprit fondamentale de la norme k k . .
23.2.4 Norme dAlgbre . . . . . . . . . . . . . . . .
23.2.5 Suite dendomorphisme en dimension finie .

VII

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

Autres

Z
nZ
24.1 Convergence modulo n N . . .
Z
24.2 Anneau (et Z-module)
. . . . .
nZ
Z
24.2.1 Oprations +,,. sur
.
nZ
24.2.2 Les lements inversibles de

142
143
143
144
144
149
149
150
150
150
150
151
151

155
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
Z
. . . . . . . . . . . . . . . . . . . . . . . . . . 156
nZ

Annexe

A Intgrales gnralises
A.1 Convergence dune intgrale
A.1.1 Proprits . . . . . . .
A.1.2 Fonctions "classique" .
A.2 Divergence dune intgrale .
A.2.1 Les rgles de Riemann

142

153

24 Anneau (et Z-module)

VIII

141
141
142

157
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

159
159
159
159
160
160

B Dveloppement asymptotiques
B.1 Fonction du type f , ou ln(f) . . . . . . . . . . . . . . . . . . . . . . .
B.2 Dveloppement asymptotique de Sn ou de Rn dans le cas dune srie
B.2.1 Si la srie converge . . . . . . . . . . . . . . . . . . . . . . . . .
B.2.2 Si la srie diverge . . . . . . . . . . . . . . . . . . . . . . . . . .
B.2.3 Mthode suivre . . . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

161
161
161
161
161
162

C Sries
C.1 Proprits gnrales . . . . . . . . . . . . .
C.2 Rgle usuelle . . . . . . . . . . . . . . . . . .
C.2.1 Convergence des sries de Riemann
C.2.2 Rgle de Riemann - Convergence . .
C.2.3 Rgle de Riemann - Divergence . . .
C.2.4 Srie de Bertrand . . . . . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

163
163
163
163
163
163
164

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

C.2.5 Rgle de dAlembert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164

D Calcul matriciel par blocs
D.1 Produit matriciel par blocs . . . . . . . . . . . . . . . . . . .
D.1.1 Cas particuliers . . . . . . . . . . . . . . . . . . . . .
D.2 Calcul de dterminants de matrices triangulaires par blocs
D.2.1 Proprits . . . . . . . . . . . . . . . . . . . . . . . .
D.2.2 Gnralisation . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

E Points importants pour obtenir lquation rduit dun quadrique () et lidentifier

F Rsolution dun systme diffrentiel linaire coefficients constants
F.1 Diffrents types de Matrices . . . . . . . . . . . . . . . . . . . . . .
F.2 Cas dune matrice diagonalisable . . . . . . . . . . . . . . . . . . .
F.3 Cas dune matrice trigonalisable . . . . . . . . . . . . . . . . . . .
F.4 Cas dune valeur propre triple . . . . . . . . . . . . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

165
165
166
167
167
167
169

.
.
.
.

.
.
.
.

171
171
171
172
173

G Trigonalisation
175
G.1 Rduction sommaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
G.2 Rduction de Dunford . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175