Les Mathmatiques pour

lAgrgation
C. Antonini
J.-F. Quint
P. Borgnat
J. Brard
E. Lebeau
E. Souche
A. Chateau
O. Teytaud
21 mai 2002
Table des matires
1 Formulaires 2
1.1 Espaces topologiques . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Equivalents en linni . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.1 Sries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.2 Intgrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Drivation de limites . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4 Lindispensable sous le signe intgral . . . . . . . . . . . . . . . . . 5
1.5 Convergence dune srie termes positifs . . . . . . . . . . . . . . . 6
1.6 Convergence dune srie semi-alterne . . . . . . . . . . . . . . . . . 6
1.7 Les sries entires . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.8 Densit, approximation . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.9 Trigonomtrie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.10 Trigonomtrie hyperbolique . . . . . . . . . . . . . . . . . . . . . . 9
1.11 Les changements de variable magiques dans le calcul de primitive . . 9
1.12 Primitives usuelles . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.13 Drives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.14 Diffrentielles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.15 dveloppements limits . . . . . . . . . . . . . . . . . . . . . . . . 11
1.16 Espaces L
p
(X) et L
p
(X), ou L
p
C
(X) et L
p
C
(X) . . . . . . . . . . . . 12
1.17 Transforme de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.18 Srie de Fourier - cas f 2-priodique . . . . . . . . . . . . . . . . . 13
1.19 Les 1001 formules dont vous rvez . . . . . . . . . . . . . . . . . . . 14
1.20 Espaces prhilbertiens . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.21 Espaces de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.22 Espaces euclidiens . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.23 Rduction en dimension nie - proprits de matrices particulires . . 15
1.24 Fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.25 Proprits de G groupe ni de cardinal n . . . . . . . . . . . . . . . . 18
1.26 Reconnatre un groupe G dordre n . . . . . . . . . . . . . . . . . . . 18
1.27 Etude dun groupe ablien ni G . . . . . . . . . . . . . . . . . . . . 19
1.28 Etude dun groupe ni G . . . . . . . . . . . . . . . . . . . . . . . . 19
1.29 Anneaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.30 Calcul diffrentiel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.31 Equations diffrentielles . . . . . . . . . . . . . . . . . . . . . . . . 21
1
2
Chapitre 1
Formulaires
1.1 Espaces topologiques
Catgorie Exemples
Ouvert Isom(E, F) avec E et F Banach, dans L(E, F)
Ferm compact dun spar
Born compact dun mtrique
Espaces compacts
Espaces projectifs
Complt dAlexandrov dun es-
pace spar non compact, locale-
ment compact
Produit de compacts
boule ferme dun espace vectoriel
norm de dim nie
Cantor
Tapis de Sierpinski
Espaces connexes par arc
Espaces projectifs
Cube de Hilbert
Ouvert connexe dun espace vecto-
riel norm
Boule
Image dun connexe par arcs par
une application C
0
Tapis de Sierpinski, eponge de
Menger
Ensembles de Julia
SO(n), SU(n)
Espaces connexes
Produit de connexes
Image dun connexe par une appli-
cation C
0
Espaces de Montel. (mtrisables,
compact quivaut ferm born
a
)
a
Born au sens des espace vectoriel topo-
logiques.
R
n
, C
n
H() avec ouvert de C
Espace complet R
n
, C
n
, L
p
()
Espace mtrisable
Boule unit ferme du dual dun
espace sparable pour la topologie
faible
Cube de Hilbert
Localement connexe par arcs
Localement compact
3
1.2 Equivalents en linni
1.2.1 Sries
u
n
et v
n
suites relles, U
n
=

n
k=0
u
k
, V
n
=

n
k=0
v
k
. Si U
n
U, R
n
=
U U
n
, si V
n
V , R

n
= V V
n
.
Hypothse Conclusion
u
n
> 0 V
n
converge
u
n
v
n
R
n
R

n
U
n
converge
v
n
> 0, u
n
> 0
v
n
= o(u
n
) U
n
diverge
V
n
diverge U
n
V
n
1.2.2 Intgrales
f et g dnies sur ]a, +[ intgrables sur ]a, x[ pour tout x > a.
ON SUPPOSE QUE f EST POSITIVE
On dnit F(x) =
_
x
a
f(t)dt et G(x) =
_
x
a
g(t)dt. Si F a une limite en + on
dnit R
f
(x) =
_

x
f(t)dt, et si Ga une limite en +on dnit R
g
(x) =
_

x
f(t)dt.
Alors on a les rsultats suivant au voisinage de +:
_

_
_
x
a
f(t)dt = +
_
_
_
g = o(f) G = o(F)
g = O(f) G = O(F)
g f F G
_
x
a
f(t)dt < +
_

_
g = o(f)
_ _

a
g(t)dt existe
R
g
= o(R
f
)
g = O(f)
_ _

a
g(t)dt existe
R
g
= O(R
f
)
g f
_ _

a
g(t)dt existe
R
g
R
f
)
1.3 Drivation de limites
E et F des espaces vectoriels norms , U ouvert de E, (f
n
) suite dapplications de
U dans F diffrentiables.
4
Hypothses Conclusions
f
n
convergeant simplement vers f,
les Df
n
convergeant uniformment
vers une certaine application g de
U dans L(E, F),
f diffrentiable et Df = g
Pour tout C convexe born U
la convergence de f
n|C
vers f
|C
est
uniforme
Si les f
n
sont C
1
alors f est C
1
.
U connexe, F Banach. x
0
/ f
n
(x
0
)
converge, x V
x
voisinage de x tel
que la suite des Df
n|V
x
soit de Cau-
chy pour la mtrique d dnie par
d(f, g) = sup
zV
x
|f(z) g(z)|
(ie la suite des Df
n
converge nor-
malement sur un certain voisinage
de tout point)
Alors il existe f de U dans F tel
que :
f est drivable en tout point
la suite des f
n
converge vers f
(simplement)
tout x possde un voisinage V
x
tel
que les convergences de f
n
et Df
n
restreints V
x
soient uniformes.
Si les f
n
sont C
1
, f lest aussi.
1.4 Lindispensable sous le signe intgral
X muni dune mesure , (E, d) un espace mtrique. f : E X C, F(t) =
_
X
f(t, x)d(x)
Hypothses Conclusion
Pour tout t lapplication x f(t, x) est mesurable
Pour presque tout x la fonction t f(t, x) est continue en T
Il existe g L
1
telle que pour tout t et presque tout x [f(t, x)[
g(x)
F est continue en T.
Pour tout t lapplication x f(t, x) est mesurable
Pour presque tout x la fonction t f(t, x) est continue sur E
Pour tout compact K de E il existe g L
1
telle que pour tout t
dans K et presque tout x [f(t, x)[ g(x).
F est continue sur E.
E est un ouvert de R ou de C
a
Pour presque tout t x f(t, x) est L
1
Il existe N ngligeable tel que pour tout x , N la fonction
t f(t, x) est drivable (resp. C
1
)
b
.
Pour tout compact K de E il existe une fonction g L
1
telle que
pour tout t dans K et tout x , N [
f
t
(t, x)[ g(x).
a
Hypothse facile retenir ; il sagit de pouvoir dnir une drive au sens le
plus commun, ie drive dune fonction dune variable relle ou complexe !
b
Attention ! Dans le cas dun ouvert de C on parle de drivabilit au sens
complexe, et pas de diffrentiabilit en voyant C comme un R-espace vectoriel !
Pour tout t la fonction x
f
x
(t, x) est L
1
F est drivable (resp. C
1
),
de drive
_
X
f
t
(t, x)dx.
E est un ouvert de R ou un ouvert de C.
Pour presque tout t x f(t, x) est L
1
Il existe N ngligeable tel que pour tout x , N la fonction
t f(t, x) est C
k
.
Pour tout compact K de E et tout j [1, k] il existe une fonction
g L
1
telle que pour tout t dans K et tout x , N [

j
f
t
j
(t, x)[
g(x).
Pour tout t la fonction x

j
f
t
j
(t, x) est L
1
F est C
k
, et pour j [0, k]

j
F
t
j
=
_
X

j
f
t
j
(t, x)dx.
5
1.5 Convergence dune srie termes positifs
Hypothse Conclusion
Critre de DAlembert
u
n+1
/u
n
L < 1 Srie converge
u
n+1
/u
n
L > 1 Srie diverge
Critre de Cauchy
limsup

u
n
= L < 1 Srie converge
limsup

u
n
= L > 1 Srie diverge
Critre de Raabe-Duhamel
u
n+1
u
n
= 1 a/n +O(1/n
2
), a > 1 Srie converge
u
n+1
u
n
= 1 a/n +O(1/n
2
), a < 1 Srie diverge
1.6 Convergence dune srie semi-alterne
U
N
=

N
n=0
u
n
, U = limU
n
, R
n
= U U
n
Hypothse Conclusion
Critre de Leibnitz
(
n
) suite dcroissante,

u
n
converge

n
0, u
n
= (1)
n

n
R
n
[a
n+1
[
Mthode dAbel, dans un Banach
(
n
) suite dcroissante,

u
n
converge
(a
n
) /

N
n=0
a
n
born R
n
[a
n+1
[

n
0, u
n
=
n
a
n
1.7 Les sries entires
Soit

a
n
z
n
une srie entire, R son rayon, A sa fonction somme.
Hypothse Conclusion
Formule dHadamard
R =
1
limsup|a
n
|
1/n
(avec 1/0 =
et 1/ = 0)
Critre de DAlembert
a
n
non nul partir dun certain rang
a
n+1
/a
n
tend vers L
R = 1/L
Thorme de Csaro
(b
n
) suite relle > 0, (a
n
) suite
relle,

b
n
divergente, a
n
=
o(b
n
) ou a
n
b
n
, R rayon de
convergence de

b
n
z
n
A(x) =

a
n
x
n
sur ] 1, 1[ bien
dni, B(x) =

b
n
x
n
sur ] 1, 1[
bien dni, a = o(b) A = o(B)
en R, a b A B en R
6
1.8 Densit, approximation
Thorme de Stone
K compact, Asous-algbre unitaire de lalgbre C
0
(K, R). Si Aspare
les points, alors A est dense dans C
0
(K, R) pour la norme innie.
Thorme de Stone, version complexe
K compact, A sous-algbre unitaire de lalgbre C
0
(K, C) stable par
passage au conjugu. Si A spare les points, alors A est dense dans
C
0
(K, C) pour la norme innie.
Thorme de Weierstrass
K compact de R, lensemble des polynmes de K dans Rest dense dans
lensemble des fonctions continues de K dans R pour la convergence
uniforme.
pas valable pour les polynmes dun compact de C dans C!
Thorme de Lusin
f mesurable de R
n
dans C, dont le support est inclus dans un ensemble
de mesure nie. Alors pour tout il existe g continue sur R
n
gale f
sauf sur un ensemble de mesure < , borne en module par sup[f[.
f mesurable borne de R
n
dans C, dont le support est inclus dans un
ensemble de mesure nie. Alors f est limite simple presque partout
dune suite de fonctions continues et bornes (par la mme borne).
C
k
c
(R
n
, R)
a
est dense dans C
k
(R
n
, R).
a
Ensemble des fonctions C
k
support compact de R
n
dans R.
Si p ,= , C

c
(R
n
, R) est dense dans L
p
(R
n
).
Si p ,= , les classes des fonctions en escalier support compact sont
denses dans L
p
(R
n
).
Les classes des fonctions C

support compact sont denses dans len-

semble des fonctions de L

de R dans R tendant vers 0 en + et en

.
7
1.9 Trigonomtrie
Formule Preuve
cos(x) = Re(e
ix
) =
e
ix
+e
ix
2
Dnition.
sin(x) = Im(e
ix
) =
e
ix
e
ix
2
cos

= sin (x e
ix
)

= (x ie
ix
)
sin

= cos
cos
2
+sin
2
= 1 e
ix
e
ix
= 1
> 0minimal/ cos(0) = 1, donc si cos(R
+
) > 0
cos(/2) = 0 sin , sin(x) > sin(a), donc
cos(x) +xsin(a) dcroit, or
cos(x) +xsin(a)
Par df, = 2infcos
1
(0) R
+
> 0 continuit de cos
e
i/2
= i, e
i
= 1, corollaire de ci-dessus.
e
i
= 1,
e 2i prio
cos et sin 2 prio
Arccos(x) +Arcsin(x) = /2 Drive nulle + valeur en 0
FormuledeMoivre
(cos(x) +i sin(x))
n
= cos(nx) +i sin(nx) e
inx
= e
ix
n
Formulesdelinarisation
cos(a)cos(b) =
1
2
(cos(a +b) +cos(a b)) cos(x) =
1
2
(e
ix
+e
ix
)(dvelopper)
sin(a)sin(b) =
1
2
(cos(a b) cos(a +b)) sin(x) = cos(x +/2)
sin(a)cos(b) =
1
2
(sin(a +b) +sin(a b)) (apprendre la mthode, non le rsultat)
cos(a +b) = cos(a) cos(b) sin(b) sin(a) combinaison linaire des
formules de linarisation
sin(a +b) = sin(a) cos(b) + sin(b) cos(a) sin(x) = cos(x +/2)
sin(a b) = sin(a) cos(b) sin(b) cos(a) b devient b
cos(a b) = cos(a) cos(b) + sin(a) sin(b)
cos(c) + cos(d) = 2 cos(
c+d
2
) cos(
cd
2
) Formules ci-dessus, plus
cos(c) cos(d) = 2 sin(
c+d
2
) sin(
cd
2
) c = a +b, d = a b
sin(c) + sin(d) = 2 sin(
c+d
2
) cos(
cd
2
) puis
sin(c) sin(d) = 2 sin(
c+d
2
) cos(
cd
2
) sin(x) = cos(x +/2)
Retenir cos(a) cos(b), cos(a+b), cos(a)+cos(b) devrait sufre, modulo lentrainement
pour retrouver le reste.
8
1.10 Trigonomtrie hyperbolique
cosh(x) =
e
x
+e
x
2
sinh(x) =
e
x
e
x
2
tanh(x) =
sinh(x)
cosh(x)
cotanh(x) =
cosh(x)
sinh(x)
=
1
tanh(x)
cosh(x +y) = cosh(x)cosh(y) +sh(x)sh(y)
sinh(x +y) = sinh(x)sinh(y) +cosh(x)sinh(y)
cosh(x)
2
sinh(x)
2
= 1
cosh(2x) = cosh(x)
2
+sinh(x)
2
cosh(2x) = 2cosh(x)
2
1
sinh(2x) = 2sinh(x)cosh(x)
cosh(x) =
1+u
2
1u
2
avec u = tanh(x/2)
sinh(x) =
2u
1u
2
1.11 Les changements de variable magiques dans le cal-
cul de primitive
f(x) = cos(x)
n
sin(x)
m
2[n + 1 u = sin(x)
2[m+ 1 u = cos(x)
Linarisation.
f(x) = F(cos(x), sin(x)) f paire u = sin(x)
F R(X) f impaire u = cos(x)
f T priodique u = tan(x/T)
sinon u = tan(x/2), cos(x) =
1u
2
1+u
2
sin(x) =
2u
1+u
2
, dx =
du
1u
2
F(x,

ax +b) u =

ax +b
F(x,

ax
2
+bx +c) a > 0 u =

ax
2
+bx +c ax
F(x,

ax
2
+bx +c) a < 0 (x,

ax
2
+bx +c)
parcourt un bon dellipse
on paramtre pour que
x soit un cos de u et

ax
2
+bx +c un sin de u
F(x,
n
_
ax+b
cx+d
) u =
n
_
ax+b
cx+d
1.12 Primitives usuelles
Sauf mention contraire, les primitives sont valables sur lensemble de dnition.
9
f(x)
_
x
f(u)du Prcisions
x
a x
a+1
a+1
a ] , 1[]1, [
1/x ln[x[
e
ax e
ax
a
a C

cos sin
sin cos
tan ln[cos(x)[
cotan(Remarque :cotan(x)=1/tan(x).) ln[sin(x)[
1/cos ln[tan(x/2 +/4)[
1/sin ln[tan(x/2)[
1/cos
2
tan
1/sin
2
1/tan
1/(sin(x)cos(x)) ln[tan(x)[
tan
2
tanx x
ch sh
sh ch
th(x) ln ch(x)
coth(x) ln[sh(x)[
1/sh(x) ln[th(x/2)[
1/ch(x) 2Arctan(e
x
)
th(x)
2
x th(x)
1/(sh(x)ch(x)) ln[th(x)[
1/ch
2
th
1/sh
2
coth
1/(x
2
+a
2
)
1
a
arctan(x/a) a ,= 0
1/(x
2
a
2
)
1
2a
ln[
x+a
xa
[ a ,= 0
1/(a
2
x
2
)
1
a
argth(x/a) a ,= 0, x < a
1/

x
2
+a ln[x +

x
2
+a[
ou argsh(x/

a) a > 0
ou argch(x/

a) si x >

a a < 0
ou argch(x/

a) si x <

a a < 0
1/

a
2
x
2
arcsin(x/[a[) a ,= 0
1
(x
2
+a)
3/2
x
a

x
2
+a
a ,= 0
1
(ax
2
)
3/2
x
a

ax
2
a ,= 0
I
n
= 1/(1 +x
2
)
n
2nI
n+1
=
x
(1+x
2
)
n
+ (2n 1)I
n
I
n
= 1/(1 x
2
)
n
2nI
n+1
=
x
(1x
2
)
n
+ (2n 1)I
n
Pour une primitive de fraction rationnelle relle dcompose en lments simples,
on a besoin dintgrer des termes en (i) a/(cx + d)
n
(facile), des lments en (ii)
b
(x
2
+dx+e)
n
et des lments en (iii)
x+b
(x
2
+dx+e)
n
. Pour (i), cest facile. Pour (ii), il suft
de penser reformuler x
2
+ dx + e en (x + d/2)
2
+ f, et dappliquer le formulaire
ci-dessus avec un changement de variable u =
x+d/2

f
1
et par lune des formules du
tableau ci-dessus. Pour (iii), il suft de rcrire x+b en
1
2
(x+b +(pb) (pb)),
chacun des deux quotients obtenus sintgrant sans peine par (ii) ou parce que de la
forme u

/u
n
(cf log ou u
n+1
).
1
f tant positif du fait que le discrminant du polynme est ngatif.
10
1.13 Drives
La plupart des drives sobtiennent en utilisant le fait que la drive de f f
1
est 1.
f(x) f

(x)
ln(ax) frac1t
e
ax
a e
ax
x
a
a x
a1
cos(ax) a sin(ax)
sin(ax) a cos(ax)
tan(ax)
a
cos(ax)
2
Arcsin(x)
1

1x
2
Arccos(x)
1

1x
2
Arctan(x)
1
1+x
2
cosh(x) sinh(x)
sinh(x) cosh(x)
tanh(x)
1
tanh(x)
2
cotanh(x)
1
sinh(x)
2
argsinh(x)
1

1+x
2
argcosh(x)
1

x
2
1
argtanh(x)
1
1x
2
FLEMMARD
1.14 Diffrentielles
Application Diffrentielle
E, F Banach C

(u)(h) = u
1
hu
1
Isom(E, F) Isom(F, E)
(n)
(u)(h
1
, . . . , h
n
)
: f f
1
= (1)
n

n
u
1
h
(1)
u
1
h
(2)
. . . h
(n)
u
(1)
1.15 dveloppements limits
Le dveloppement limit de e, de sin et de cos dcoulent directement de leur d-
nition. Pareil pour cosh, sinh.
La plupart des autres dveloppements limits suivant sobtiennent grce la for-
mule de Taylor-Young ??. Toutefois, le dveloppement limit de Arctan sobtient par
intgration, ainsi que ceux de Arcsin, Arctanh, Argsinh. Le dveloppement limit
de Arccos sobtient partir de celui de Arcsin par Arccos(x) +Arcsin(x) = /2.
11
e
x
= 1 +
x
1!
+
x
2!
+
x
3!
+... +
x
n
n!
+O(x
n+1
)
cosh(x) = 1 +
x
2
2!
+
x
4
4!
+
x
6
6!
+... +
x
2n
(2n)!
+O(x
2n+2
)
sinh(x) =
x
1!
+
x
3
3!
+
x
5
5!
+...
x
2n+1
(2n+1)!
+O(x
2n+3
)
sin(x) = x
x
3
3!
+
x
5
5!
+... + (1)
n x
2n+1
(2n+1)!
+O(x
2n+3
)
cos(x) = 1
x
2
2!
+
x
4
4!
... + (1)
n x
2n
2n!
+O(x
2n+2
)
ln(1 +x) = x
x
2
2
+
x
3
3

x
4
4
+... + (1)
n+1
x
n
/n +O(x
n+1
)
ln(1 x) = x
x
2
2

x
3
3

x
4
4
...
x
n
n
+O(x
n+1
)
(1 +x)

= 1 +x +
(1)
2!
x
2
+... +
(1)(2)...(n+1)
n!
x
n
+O(x
n+1
)
Arctan(x) = x
1
3
x
3
+
1
5
x
5

1
7
x
7
+
1
9
x
9
+... +
1
2n+1
x
2n+1
+O(x
2n+3
)
Arcsin(x) = x +
x
3
2.3
+
1.3.x
5
2.4.5
+
1.3.5.x
7
2.4.6.7
+
1.3.5.7.x
9
2.4.6.8.9
+... +
1.3.5.....(2n1)x
2n+1
2.4.6.....2n.(2n+1)
+O(x
2n+3
)
Arccos(x) = /2 Arcsin(x)
Argth(x) = x +x
3
/3 +x
5
/5 +x
7
/7 +... +x
2n+1
/(2n + 1) +O(x
2n+3
)
Argsh(x) = x
x
3
2.3
+
1.3.x
5
2.4.5
+... + (1)
n
1.3.5.7.....(2n1).x
2n+1
2.4.6.....2n.(2n+1)
+O(x
2n+3
)
Attention, le dveloppement limit dArcsin(x) est "irrgulier", au sens o le terme
en x ne suit pas la mme formule que les termes en x
2i+1
!
1.16 Espaces L
p
(X) et L
p
(X), ou L
p
C
(X) et L
p
C
(X)
L
p
est gal L
p
quotient par la relation "tre gales presque partout". Les L
p
sont
des espaces de Banach, L
2
(X) est un espace hilbertien rel pour (f[g) =
_
fg, L
2
C
(X)
est un espace hilbertien complexe pour (f[g) =
_
fg.
Hypothse Conclusion
f
i
L
p
i
|
n
i=1
f
i
|
1

i
|f
i
|
p
i
p
i
[1, ] (ingalit de Hlder)

i[1,n]
1/p
i
= 1
n[f
n
(x)[ < [g(x)[ presque partout f L
p
g L
p
f
n
f dans L
p
f
n
(x) f(x) presque partout (convergence domine de Lebesgue)
p < p

et L
p

L
p
X de mesure nie
12
1.17 Transforme de Fourier
hypothse conclusion
g(x) = f(x)e
ix
g(t) =

f(t )
g(x) = f(x ) g(t) =

f(t)e
it
g(x) = ixf(x)

f diffrentiable
g L
1

f

(t) = g(t)
f L
1

f(t) =
_
R
f(x)e
ixt
d(x)

f C
0
|f|

|f|
1
f L
1
x
_
R

f(t)e
ixt
d(t)
et

f L
1
est continue et gale f presque partout
f L
2

f L
2
:

A
(f) =
_
A
A

f(t)e
ixt
d(t)
Thorme lim
A+

A
(f) = f (dans L
2
)
de (f

f isomorphisme de L
2
dans L
2
,
Plancherel dni sur L
1
L
2
par la formule ci-dessus et
prolong sur L
2
par densit FLEMMARD)
1.18 Srie de Fourier - cas f 2-priodique
hypothse conclusion
n Z

f(n) =
1
2
_

f(t)e
int

f(n) =< f[u

n
> (u
n
(t) = e
int
)
n N D
n
=

n
i=n
u
i
(noyau de Dirichlet)
n N K
n
=
1
n

n1
i=0
D
i
(noyau de Fjer)
n N s
n
(f) =

n
i=n

f(i)u
i
(somme de Fourier)
s
n
(f) = f D
n

n
(f) =

n
i=0
s
i
(f) (somme de Fejer)

n
(f) = f K
n
f L
1
Thorme de Dirichlet
f admet une
n
(f)(x)
drive droite
1
2
(lim
tx,t<x
f(t) +lim
tx,t>x
f(t))
et gauche en x
f L
2
(T)

f l
2
= L
2
(Z)
(f

f isomorphisme de L
2
(T) dans l
2
)
s
n
(f) f dans L
2
(T)
f C
0
n |
n
(f)|

< |f|

(Th. de Fejer)
n
(f) f uniformment
f L
p
n |
n
(f)|
p
< |f|
p
p <
n
(f) f dans L
p
(Th. de Fejer)
13
1.19 Les 1001 formules dont vous rvez
Formule Preuve

+
k=1

1
k
2
=

2
6
Formule de Parseval (thorme ??) sur la srie de
Fourier de lidentit sur [, [

+
k=1
1/p
k
= p
k
k-ime nombre premier voir partie ??
(1 +
x
n
)
n
e
x
pour x rel. (1 +
x
n
)
n
= e
n ln(x/n)
= e
n(x/n+o(1/n))
e
x
Formule de Stirling n! (
n
e
)
n

2n
n! =
_

0
e
t
t
n
dt
(preuve par rcurrence sur n, par une intgration
par parties (thorme ??) sur [0, x] et en faisant
tendre x vers +)
changement de variable u = t/n
n! = n
n+1
_
+
0
e
n(ln(u)u)
du
Il suft alors dappliquer le thorme ??.

n1
(1)
n1
n
= ln(2)
U
N
=

N
n=1
(1)
n1
n
puis crire 1/n =
_
1
0
t
n1
puis

N
n=1
(t)
n1
=
1(t)
n
1+t
puis passer la
limite, par exemple par convergence uniforme sur
un ensemble de mesure nie.
1.20 Espaces prhilbertiens
Espace prhilbertien rel Espace prhilbertien complexe
|x +y|
2
= |x|
2
+|y|
2
|x +y|
2
= |x|
2
+|y|
2
+ 2Re(< x[y >)
Ingalit de Schwartz
[ < x[y > [ |x| |y| [ < x[y > [ |x| |y|
Ingalit de Minkowski
|x +y| |x| +|y| |x +y| |x| +|y|
Cas dgalit : x et y positivement lis Cas dgalit : x et y positivement lis
Formule de polarisation
< x[y >=
1
2
(q(x +y) q(x) q(y)) < x[y >=
1
4

4
j=1
i
j
q(x +i
j
y)
< x[y >=
1
4
(q(x +y) q(x y)) < x[y >
=
1
4
(q(x +y) q(x y) +iq(x iy) iq(x +iy)
En dimension nie, il existe une base orthonormale
1.21 Espaces de Hilbert
On suppose que (x
i
)
iI
est une base hilbertienne.
14
Relation de Parseval
|x|
2
=

i
(x[x
i
)
2
< x[y >=

i
< x[x
i
>< y[x
i
>
x =

iI
< x[x
i
> x
i
Relation de Parseval
|x|
2
=

i
[(x[x
i
)[
2
< x[y >=

i
< x[x
i
> < y[x
i
>
x =

iI
< x[x
i
> x
i
1.22 Espaces euclidiens
Espace euclidien Espace hermitien
f

adjoint de f f

adjoint de f
< f(x)[y >=< x[f

(y) > < f(x)[y >=< x[f

(y) >
Mat
B
(f

) =
t
Mat
B
(f) Mat
B
(f

) =
t
Mat
B
(f)
det f

= det f det f

= det f
f symtrique si f

= f f hermitien si f

= f
f orthogonal (ie O(E)) f unitaire (ie U(E))
si f

f = ff

= Id si f

f = ff

= Id
< f(x)[f(y) >=< x[y > < f(x)[f(y) >=< x[y >
|f(x)| = |x| |f(x)| = |x|
f orthogonal est direct
(ie O(E)) si
det f > 0
conserve lorientation dune base
1.23 Rduction en dimension nie - proprits de ma-
trices particulires
Matrice M de type (n, n), associe lendomorphisme f, E = K
n
, polynme
caractristique P, multip() ordre de multiplicit de dans P. Dans beaucoup de cas,
la rduction dans une base orthonormale est base sur le fait que lorthogonal dun
espace stable est stable.
15
diagonalisable base de vecteurs propres
E =
Sp
K
(f)
ker(f I)
P scind et dimker(f I) = multip()
Q GL
n
(K)/QMQ
1
diagonale
trigonalisable P scind
Q GL
n
(K) Q
1
MQ triang. sup.
Q GL
n
(K) Q
1
MQ triang. inf.
Q GL
n
(K) Q
1
MQ = M
i
(Jordan) avec M
i
=
_
_
_
_
_
_
_
_
_
_

i
1 0 0 . . . 0
0
i
1 0
.
.
.
.
.
.
.
.
. 0
.
.
.
.
.
.
.
.
.
0
0 . . . 0
i
1 0
0 . . . . . . 0
i
1
0 . . . . . . . . . 0
i
_
_
_
_
_
_
_
_
_
_
!(D, N)/
_
Ddiagonalisable
Nnilpotente
M = D +H, DH = HD
M symtrique relle diagonalisable dans une base orthonormale
i.e. Q O
n
(R)/QMQ
1
diagonale
M, N symtriques relles Q GL
n
(R)/
_
QMQ
1
diagonale
QNQ
1
diagonale
Sp
R
(M) > 0
M antisymtrique Sp
R
(M) 0, Sp
C
(M) iR
reele rang(M) pair, M
2
symtrique
Q O
n
(R)/Q
1
MQ = (0) M
k
(0) matrice nulle de la taille du noyau, M
k
antisymtrique (2, 2)
M relle Q O
n
(R) QMQ
1
= M
i
N
i
commutant avec
t
M avec M
i
= (
i
) (matrice (1, 1)) et
N
i
=
_
a
i
b
i
b
i
a
i
_
M orthogonale (relle) det M = 1, Sp
R
(M) 1, 1
M unitaire (complexe) [det M[ = 1, [Sp
C
(M)[ = 1
M hermitienne Sp
C
(M) R, Q U
n
(C)/Q
1
MQ diagonale
M, N hermitiennes, Q GL
n
(C)/QMQ
1
diagonale
Sp
C
(M) > 0 et QNQ
1
diagonale
M complexe M et
t
M simultanment diagonalisables
commute avec
t
M dans une base orthonormale
M relle Dcomposition ALU
r [1, n] !(L, U)/ L triang. inf., Sp(L) = 1
detM
[1,r]
2 ,= 0 U triangulaire suprieure, A = LU
A symtrique relle A = R
t
R avec R triangulaire infrieure
Sp(A) > 0 inversible, dcomposition de Cholesky
M
i
diagonalisables Les M
i
sont simultanment diagonalisables.
commutant deux deux
K alg. clos, Les M
i
sont simultanment trigonalisables
M
i
commutant 2 2
16
1.24 Fonctions holomorphes
courbe=application continue de [a, b] dans C
chemin=application C
1
pm de [a, b] dans C
Hypothses Conclusion
mesure complexe (donc nie) sur X,
ouvert de C, : X C mesurable,
(X) =
z
_
X
d(x)
(x)z
est holomorphe
courbe, complmentaire de

=
([a, b])
z Ind

(z) =
1
2i
_

dt
tz
, Ind

constant sur les composantes connexes de

, nul sur la composante connexe non bor-
ne (Ind

(z) nombre de tours de autour

de z)

1
et
2
courbes, [
1
(t)
2
(t)[ <
[
2
(t)[.
Ind

1
(0) = Ind

2
(0)
chemin ferm dans ouvert, f H()
z , z ,

, Ind

nulle hors de
f(z)Ind

(z) =
1
2i
_

f(t)
tz
dt
f H() D(x, r) disque inclus dans
Thorme de Cauchy : f dveloppable en
srie entire sur D(x, r) f =

a
n
(z
x)
n
Estimateurs de Cauchy : [f
(n)
(x)[
n! sup |f|
r
n
f C
0
de ouvert dans C
_
P
f nulle pour
tout P triangle (ou sur tout P carr de cts
perpendiculaires aux axes)
f holomorphe sur (thorme de Morera)
f non constante holomorphe sur un ouvert
connexe
Z(f) = f
1
(0) na pas de point dac-
cumulation, z on peut crire t
f(t) = (t z)
m
g(t) avec g holomorphe
non nulle en z
ouvert connexe f H( a)
Trois cas :
- singularit articielle en a
- ple dordre m N en a, ie f

n
i=1
c
i
(za)
i
holomorphe sur ; par d-
nition Res(f; a) = c
1
.
- singularit essentielle en a
f holomorphe sur ouvert priv des z
i
en nombre ni o f admet des ples, f
chemin ferm ne passant pas par les z
i
,
Ind

(z) = 0 pour tout z dans

c
1
2i
_

f(t)dt =

i
Res(f; z
i
)Ind

(z
i
)
f H(),D(a, r) , cercle orient
positivement centr sur a de rayon r
Le nombre de zros de f w dans D(a, r),
compts avec multiplicits, est lindice de
w par rapport la courbe f
ouvert connexe f H() f non
constante x m ordre du zro de
f f(x) en x
f induit sur un certain ouvert V contenant
x une application surjective de V sur un
ouvert W telle que chaque point de W
autre que f(x) ait exactement m antc-
dents dans V
f et g dans H() D(a, r) [f(z)
g(z)[ < [g(z)[ sur D(a, r)
f et g ont mme nombre de zros avec mul-
tiplicit dans D(a, r).
17
1.25 Proprits de G groupe ni de cardinal n
Hypothses Conclusion
G cyclique tout s-g est cyclique
G cyclique, d[n il existe un unique s-g de cardinal d, cest x G/x
d
= 1 = x
n/d
/x G
n premier G = Z/nZ
H s-g de G [G[ = [G/H[[H[
H G, K G, K H H/K G/K, G/H (G/K)/(H/K)
p premier, p divise n Th. de Cauchy : p divise n, x G/ o(x) = p
FLEMMARD
1.26 Reconnatre un groupe G dordre n
On notera que les critres ci-dessous couvrent immdiatement les cas n 15, sauf
n = 12.
Hypothses Conclusion
n premier G Z/nZ
tout lment G (Z/2Z)
q
est dordre 2
n = 2p avec H G
p premier G Z/2Z H
ou G Z/2Z H
(groupe didral D
p
)
Sous-groupe dindice 2 A
m
groupe
S
m
altern
n = pq si q , 1(p)
p et q premiers alors G Z/nZ
p < q sinon deux cas :
- G Z/nZ
- G Z/qZ

Z/pZ
avec o((1)) = p dans Z/qZ
(un seul produit semi-direct non trivial
possible, isomorphisme prs)
n = 8 (Z/2Z)
3
ou Z/8Z
ablien Z/2Z Z/4Z
n = 8 non ablien didral D
4
ou quaternions
n = p
2
, p premier G Z/p
2
Z ou G (Z/pZ)
2
18
1.27 Etude dun groupe ablien ni G
Card(G) = p
n
i
i
Existence de
H
i
G de card p
n
i
i
garantie,
unique
Dcomposition primaire : G iso-
morphe au produit des H
i
FLEMMARD
Dcomposition cyclique : G iso-
morphe au produit des Z/n
i
Z avec
1 < n
1
[n
2
[n
3
[ . . . [n
l
(n
i
) suite des
invariants de G (existence et uni-
cit)
1.28 Etude dun groupe ni G
G simple Existence de N G
G = Z/pZ H/H N = 1 HN = G
avec p pour lun des (N, H) possibles avec
premier ? N G
Non Oui
Groupe Etude Peut-on imposer H G?
altern du Alias : (h, n) H N hn = nh?
A
n
avec quotient Oui Non
n > 4 ? Produit Produit
direct semi-direct
N H N H
par conjugaison
19
1.29 Anneaux
Type danneau Proprits Exemples
Formule de Newton L(E, F)
seulement pour des
lments qui commutent
Commutatif a associ b implique (a) = (b) C

(, R) avec ouvert de R
n
Noethrien
Commutatif, tout idal est de
type ni, toute suite croissante
didaux est ultimement station-
naire, tout quotient est noethrien,
A[X
1
, ..., X
n
] noethrien.
Intgre
Commutatif, (0) est un idal pre-
mier, a associ b
(a) = (b), le quotient par la relation
dassociation est isomorphe pour
lordre lensemble des idaux,
A[X
1
, . . . , X
n
] est intgre
H() avec ouvert connexe, quo-
tient dun anneau par un idal pre-
mier
Factoriel
Intgre, irrductible premier,
lemme dEuclide, th. de Gauss
Principal
Factoriel, noethrien, les idaux
sont (0) et les (p) avec p irrduc-
tible
K[X] avec K corps
Euclidien Principal
Z, K[X], Z[i], Z[

2]
Corps K Seuls idaux : 0 et K
Z/pZ avec p premier, Q,R,C, Q(i),
K(X) avec K corps, corps des frac-
tions dun anneau intgre
1.30 Calcul diffrentiel
Rappelons quune drive ou une fonction continue (sur un intervalle de R!) satis-
font la proprit des valeurs intermdiaires.
20
Hypothse Conclusion
f : V W
V ouvert dun Banach E
W ouvert dun Banach F
Homomorphisme C
1
f C
1
-diffomorphisme si
et seulement si x V
f

(x) Isom(E, F) (isomor-

phisme de Banach)
Thorme dinversion locale
f C
1
de U (ouvert dun Banach
E) dans F (Banach), f

(a)
Isom(E, F)
f induit un C
1
diffomorphisme
entre un voisinage ouvert de a et un
voisinage ouvert de f(a).
Corollaire
f C
1
de U (ouvert dun Banach E)
dans F (Banach)
f C
1
-diffo de U sur son image
(ouverte) si et seulement si f injec-
tive et x f

(x) Isom(E, F)
[a, b] segment de R, b ,= a, f de [a, b] dans un espace vectoriel norm .
Polynme de Taylor lordre n de f en a :
P
f,a,n
(x) = f(a) +

n
k=1
f
(k)
(a)
k!
(x a)
k
Formule de Taylor-Lagrange
f C
n
n + 1 fois drivable sur ]a, b[
c ]a, b[/f(b) = P
f,a,n
(b) +
f
n+1
(c)
(n+1)!
(b a)
n+1
Ingalit de Taylor-Lagrange
f C
n
n +1 fois drivable sur ]a, b[,
f
n+1
borne par M sur ]a, b[
|f(b) P
f,a,n
(b)| M
(ba)
n+1
(n+1)!
Formule de Taylor avec reste intgral
f C
n+1
sur [a, b]
f(b) = f(a) + P
f,a,n
(b) +
1
n!
_
b
a
f(b t)
n
.f
n+1
(t)dt
Formule de Taylor-Young
f n fois drivable en a f(x) P
f,a,n
(x) = o((x a)
n
)
La premire proposition est certes plus faible que le corollaire du thorme din-
version locale, mais elle fait appel de moins gros rsultats, do son intrt.
1.31 Equations diffrentielles
x
t
= f(t, x), f application de I E dans E, avec E un espace de Banach . CI :
f(t
0
) = x
0
.
Il faut savoir ramener ltude dune quadif dordre n ltude dune quadif
dordre 1.
21
f C
0
Existence dune solution
Th. de Cauchy-Lipschitz
f localement lipschitzienne en x ! solution maximale x
t
0
,x
0
Dpendance aux conditions initiales
f lipschitzienne en x (t, x
0
) x
t
0
,x
0
(t) continue
Th. de Cauchy-Lipschitz, ordre n
x
(p)
= f(t, x, x
(1)
, . . . , x
(n)
)
f C
0
Existence dune solution
maximale
f localement lipschitzienne en
(x
(i)
)
i[1,n]
Unicit
Dpendance un paramtre
x
t
= f(t, x,
..
L
) avec L es-
pace topologique et f C
0
et k-
lipschitzienne en x, avec k indpen-
dant de t et
!x

/x

(t
0
) = x
0
(t, ) x

(t) C
0
Equadifs linaires dordre 1
x

= a(t)x +b(t)
a C
0
de I dans L(E, E),
b C
0
de I dans E
x = exp(
_
t
t
0
a(u)du)x
0
+x
p
(t)
avec x
p
solution particulire, cher-
che sous la forme x
p
(t) =
(t)exp(
_
t
t
0
a(u)du),
Divers exemples
Equation variables spares (dx/g(x))

= f(t)dt
x

(t) = f(t)g(x(t))
Equation de Bernouilli pour se ramener du linaire :
x

(t) +p(t)x(t) +q(t)x

= 0 diviser par x

R 1 et poser z(x) = x(x)

1
Equation homogne poser y(t) = t x(t)
x

(t) = f(
x(t)
t
) ou passer en coord. polaires
Equation de Lagrange Solutions afnes : y = cx +b(c),
x(t) = a(x

(t))t +b(x

(t)) avec a(c) = c. Autres solutions :

a et b C
1
poser y = x

, t = g(x). On obtient
alors lquation linaire
dt
dy
=
a

(y)t+b

(y)
ya(y)
Equation de Riccati Trouver une solution particulire x
p
x

(t) = a(t)x(t)
2
+b(t)x(t) +c(t) puis poser x = x
p
+ 1/y, lquation
obtenue est linaire en y.
22
Bibliographie
[1] P. BARBE, M. LEDOUX, Probabilit, BELIN, 1998.
[2] H. BRZIS, Analyse fonctionnelle, MASSON, 1983.
[3] H. CARTAN, Calcul diffrentiel, FLEMMARD.
[4] A. CHAMBERT-LOIR, S. FERMIGIER, V. MAILLOT, Exercices de mathma-
tiques pour lagrgation, Analyse 1, MASSON, 1997.
[5] A. CHAMBERT-LOIR, S. FERMIGIER, Exercices de mathmatiques pour lagr-
gation, Analyse 2, MASSON, 1995.
[6] A. CHAMBERT-LOIR, S. FERMIGIER, Exercices de mathmatiques pour lagr-
gation, Analyse 3, MASSON, 1996.
[7] P.G. CIARLET, Introduction lanalyse numrique matricielle et loptimisa-
tion, DUNOD, 1998.
[8] F. COMBES Algbre et gomtrie, BRAL, 1998. <
[9] J.-P. DEMAILLY, Analyse numrique et quations diffrentielles, PRESSES
UNIVERSITAIRES DE GRENOBLE, 1996.
[10] W. GIORGI, Thmes mathmatiques pour lagrgation, MASSON, 1998.
[11] A. GRAMAIN, Intgration, HERMANN 1988, PARIS.
[12] J.-L. KRIVINE, Introduction to axiomatic set theory, D. REIDEL PUBLISHING
COMPANY, DORDRECHT-HOLLAND.
[13] S. LANG, Real analysis, ADDISON-WESLEY PUBLISHING COMPANY, 1969.
[14] D. PERRIN, Cours dalgbre, ELLIPSES 1996.
[15] A. POMMELLET, Cours danalyse, ELLIPSES 1994.
[16] W. RUDIN, Analyse relle et complexe, MASSON 1992.
[17] R. SMULLYAN, Thorie de la rcursion pour la mtamathmatique, FLEM-
MARD.
[18] Y.G. SINAI Probability theory - An introduction course, SPRINGER TEXT-
BOOK, 1992.
[19] P. TAUVEL, Mathmatiques gnrales pour lagrgation, MASSON, 1997.
[20] J. VAUTHIER, J.J. PRAT, Cours danalyse mathmatiques de lintgration,
MASSON, 1994.
[21] D. WILLIAMS, Probability with martingales, CAMBRIDGE UNIVERSITY
PRESS, 1991.
[22] C. ZUILY, H. QUEFFLEC, Elments danalyse pour lintgration, MASSON,
1995.
23