Vous êtes sur la page 1sur 24

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
1.1 Espaces topologiques . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Equivalents en linfini . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1 Sries . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.2 Intgrales . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 Drivation de limites . . . . . . . . . . . . . . . . . . . . . . . .
1.4 Lindispensable sous le signe intgral . . . . . . . . . . . . . . .
1.5 Convergence dune srie termes positifs . . . . . . . . . . . . .
1.6 Convergence dune srie semi-alterne . . . . . . . . . . . . . . .
1.7 Les sries entires . . . . . . . . . . . . . . . . . . . . . . . . . .
1.8 Densit, approximation . . . . . . . . . . . . . . . . . . . . . . .
1.9 Trigonomtrie . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.10 Trigonomtrie hyperbolique . . . . . . . . . . . . . . . . . . . .
1.11 Les changements de variable magiques dans le calcul de primitive
1.12 Primitives usuelles . . . . . . . . . . . . . . . . . . . . . . . . .
1.13 Drives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.14 Diffrentielles . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.15 dveloppements limits . . . . . . . . . . . . . . . . . . . . . .
1.16 Espaces Lp (X) et Lp (X), ou LpC (X) et LpC (X) . . . . . . . . . .
1.17 Transforme de Fourier . . . . . . . . . . . . . . . . . . . . . . .
1.18 Srie de Fourier - cas f 2-priodique . . . . . . . . . . . . . . .
1.19 Les 1001 formules dont vous rvez . . . . . . . . . . . . . . . . .
1.20 Espaces prhilbertiens . . . . . . . . . . . . . . . . . . . . . . .
1.21 Espaces de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . .
1.22 Espaces euclidiens . . . . . . . . . . . . . . . . . . . . . . . . .
1.23 Rduction en dimension finie - proprits de matrices particulires
1.24 Fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . .
1.25 Proprits de G groupe fini de cardinal n . . . . . . . . . . . . . .
1.26 Reconnatre un groupe G dordre n . . . . . . . . . . . . . . . . .
1.27 Etude dun groupe ablien fini G . . . . . . . . . . . . . . . . . .
1.28 Etude dun groupe fini G . . . . . . . . . . . . . . . . . . . . . .
1.29 Anneaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.30 Calcul diffrentiel . . . . . . . . . . . . . . . . . . . . . . . . . .
1.31 Equations diffrentielles . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

2
3
4
4
4
4
5
6
6
6
7
8
9
9
9
11
11
11
12
13
13
14
14
14
15
15
17
18
18
19
19
20
20
21

Chapitre 1

Formulaires
1.1

Espaces topologiques
Catgorie
Ouvert
Ferm
Born

Exemples
Isom(E, F ) avec E et F Banach, dans L(E, F )
compact dun spar
compact dun mtrique
Espaces projectifs
Complt dAlexandrov dun espace spar non compact, localement compact
Produit de compacts
boule ferme dun espace vectoriel
norm de dim finie
Cantor
Tapis de Sierpinski
Espaces projectifs
Cube de Hilbert
Ouvert connexe dun espace vectoriel 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)
Produit de connexes
Image dun connexe par une application C 0

Espaces compacts

Espaces connexes par arc

Espaces connexes
Espaces de Montel. (mtrisables,
compact quivaut ferm borna )

Rn , C n
H() avec ouvert de C

a Born au sens des espace vectoriel topologiques.

Espace complet
Espace mtrisable
3
Localement connexe par arcs
Localement compact

Rn , Cn , Lp ()
Boule unit ferme du dual dun
espace sparable pour la topologie
faible
Cube de Hilbert

1.2
1.2.1

Equivalents en linfini
Sries

Pn
Pn
un et vn suites relles, Un =
k=0 uk , Vn =
k=0 vk . Si Un U , Rn =
U Un , si Vn V , Rn0 = V Vn .
Hypothse
Conclusion
un > 0
Vn converge
un ' vn
Rn ' Rn0
Un converge
vn > 0, un > 0
vn = o(un )
Un diverge
Vn diverge
Un ' Vn

1.2.2

Intgrales

f et g dfinies sur ]a, +[ intgrables sur ]a, x[ pour tout x > a.


ON SUPPOSE QUE f EST POSITIVE
Rx
Rx
On dfinit F (x) = a f (t)dt et G(x) = a g(t)dt. Si F a une limite en + on
R
R
dfinit Rf (x) = x f (t)dt, et si G a une limite en + on dfinit Rg (x) = x f (t)dt.
Alors on a les rsultats suivant au voisinage de + :

g = o(f ) G = o(F )

R
x

g = O(f ) G = O(F )
f
(t)dt
=
+
a

g ' fRF ' G

g(t)dt existe

g
=
o(f
)

 R g = o(Rf )

R
g(t)dt existe
x

a
g = O(f )
f (t)dt < +

a
R

 R g = O(Rf )

g(t)dt existe

g'f
Rg ' Rf )

1.3

Drivation de limites

E et F des espaces vectoriels norms , U ouvert de E, (fn ) suite dapplications de


U dans F diffrentiables.

Hypothses

Conclusions
f diffrentiable et Df = g
Pour tout C convexe born U
la convergence de fn |C vers f|C est
uniforme
Si les fn sont C 1 alors f est C 1 .

fn convergeant simplement vers f ,


les Dfn convergeant uniformment
vers une certaine application g de
U dans L(E, F ),
U connexe, F Banach. x0 / fn (x0 )
converge, x Vx voisinage de x tel
que la suite des Dfn |Vx soit de Cauchy pour la mtrique d dfinie par

Alors il existe f de U dans F tel


que :
f est drivable en tout point
la suite des fn converge vers f
(simplement)
tout x possde un voisinage Vx tel
que les convergences de fn et Dfn
restreints Vx soient uniformes.
Si les fn sont C 1 , f lest aussi.

d(f, g) = supzVx kf (z) g(z)k


(ie la suite des Dfn converge normalement sur un certain voisinage
de tout point)

1.4
R

Lindispensable sous le signe intgral

X muni dune mesure , (E, d) un espace mtrique. f : E X C, F (t) =


f
(t, x)d(x)
X
Hypothses
Pour tout t lapplication x 7 f (t, x) est mesurable
Pour presque tout x la fonction t 7 f (t, x) est continue en T
Il existe g L1 telle que pour tout t et presque tout x |f (t, x)|
g(x)
Pour tout t lapplication x 7 f (t, x) est mesurable
Pour presque tout x la fonction t 7 f (t, x) est continue sur E
Pour tout compact K de E il existe g L1 telle que pour tout t
dans K et presque tout x |f (t, x)| g(x).
E est un ouvert de R ou de C a
Pour presque tout t x 7 f (t, x) est L1
Il existe N ngligeable tel que pour tout x 6 N la fonction
t 7 f (t, x) est drivable (resp. C 1 ) b .
Pour tout compact K de E il existe une fonction g L1 telle que
pour tout t dans K et tout x 6 N | f
t (t, x)| g(x).
a Hypothse facile retenir ; il sagit de pouvoir dfinir 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 !

E est un ouvert de R ou un ouvert de C.


Pour presque tout t x 7 f (t, x) est L1
Il existe N ngligeable tel que pour tout x 6 N la fonction
t 7 f (t, x) est C k .
Pour tout compact K de E et tout j [1, k] il existe une fonction
j
g L1 telle que pour tout t dans K et tout x 6 N | tfj (t, x)|
g(x).

Conclusion
F est continue en T .

F est continue sur E.

Pour tout t la fonction x 7


f
1
x (t, x) est L
1
F est drivable
R f (resp. C ),
de drive X t (t, x)dx.

Pour
tout t la fonction x 7
j f
1
tj (t, x) est L
F est C k , et pour j [0, k]
R j f
j F
tj = X tj (t, x)dx.

1.5

Convergence dune srie termes positifs

un+1
un
un+1
un

Hypothse
Conclusion
Critre de DAlembert
un+1 /un L < 1
Srie converge
un+1 /un L > 1
Srie diverge
Critre de Cauchy

limsup un = L < 1
Srie converge

limsup un = L > 1
Srie diverge
Critre de Raabe-Duhamel
= 1 a/n + O(1/n2 ), a > 1 Srie converge
= 1 a/n + O(1/n2 ), a < 1
Srie diverge

1.6 Convergence dune srie semi-alterne


UN =

PN

n=0

un , U = lim Un , Rn = U Un
Hypothse
Conclusion
Critre de Leibnitz
P
(n ) suite dcroissante,
un converge
n 0, un = (1)n n
Rn |an+1 |
Mthode dAbel, dans P
un Banach
(n ) suite dcroissante,
un converge
PN
(an ) / n=0 an born
Rn |an+1 |
n 0, un = n an

1.7

Les sries entires

Soit

an z n une srie entire, R son rayon, A sa fonction somme.


Hypothse

Conclusion
Formule dHadamard
1
R = limsup|a
1/n (avec 1/0 =
n|
et 1/ = 0)
Critre de DAlembert
an non nul partir dun certain rang
R = 1/L
an+1 /an tend vers L
Thorme de Csaro P
n
(bn ) suite
relle
>
0,
(a
A(x) =
an xP
sur ] 1, 1[ bien
n ) suite
P
relle,
bn divergente, an = dfini, B(x) = bn xn sur ] 1, 1[
o(bn ) ou an 'P bn , R rayon de bien dfini, a = o(b) A = o(B)
convergence de bn z n
en R, a ' b A ' B en R

1.8

Densit, approximation
Thorme de Stone
K compact, A sous-algbre unitaire de lalgbre C 0 (K, R). Si A spare
les points, alors A est dense dans C 0 (K, R) pour la norme infinie.
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 infinie.
Thorme de Weierstrass
K compact de R, lensemble des polynmes de K dans R est 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 Rn dans C, dont le support est inclus dans un ensemble
de mesure finie. Alors pour tout  il existe g continue sur Rn gale f
sauf sur un ensemble de mesure < , borne en module par sup |f |.
f mesurable borne de Rn dans C, dont le support est inclus dans un
ensemble de mesure finie. Alors f est limite simple presque partout
dune suite de fonctions continues et bornes (par la mme borne).
Cck (Rn , R) a est dense dans C k (Rn , R).
a Ensemble

des fonctions C k support compact de Rn dans R.

Si p 6= , Cc (Rn , R) est dense dans Lp (Rn ).


Si p 6= , les classes des fonctions en escalier support compact sont
denses dans Lp (Rn ).
Les classes des fonctions C support compact sont denses dans lensemble des fonctions de L de R dans R tendant vers 0 en + et en
.

1.9

Trigonomtrie
Formule
ix
ix
cos(x) = Re(eix ) = e +e
2 ix
ix
sin(x) = Im(eix ) = e e
2
cos0 = sin
sin0 = cos
cos2 + sin2 = 1
> 0minimal/
cos(/2) = 0

Preuve
Dfinition.
(x 7 eix )0 = (x 7 ieix )
eix eix = 1
cos(0) = 1, donc si cos(R+ ) > 0
sin , sin(x) > sin(a), donc
cos(x) + xsin(a) dcroit, or
cos(x) + xsin(a)
Par df, = 2inf cos1 (0) R+
continuit de cos
corollaire de ci-dessus.

>0
e
= i, ei = 1,
ei = 1,
e 2i prio
cos et sin 2 prio
Arccos(x) + Arcsin(x) = /2
Drive nulle + valeur en 0
F ormuledeM oivre
n
(cos(x) + i sin(x))n = cos(nx) + i sin(nx)
einx = eix
F ormulesdelinarisation
cos(a)cos(b) = 12 (cos(a + b) + cos(a b)) cos(x) = 12 (eix + eix )(dvelopper)
sin(a)sin(b) = 21 (cos(a b) cos(a + b))
sin(x) = cos(x + /2)
sin(a)cos(b) = 12 (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)
cd
cos(c) + cos(d) = 2 cos( c+d
Formules ci-dessus, plus
2 ) cos( 2 )
c+d
cos(c) cos(d) = 2 sin( 2 ) sin( cd
)
c = a + b, d = a b
2
cd
sin(c) + sin(d) = 2 sin( c+d
)
cos(
)
puis
2
2
cd
sin(c) sin(d) = 2 sin( c+d
)
cos(
)
sin(x)
=
cos(x + /2)
2
2
i/2

Retenir cos(a) cos(b), cos(a+b), cos(a)+cos(b) devrait suffire, modulo lentrainement


pour retrouver le reste.

1.10

Trigonomtrie hyperbolique
x

cosh(x) = e +e
2
x
x
sinh(x) = e e
2
tanh(x) = sinh(x)
cosh(x)
cosh(x)
1
cotanh(x) = sinh(x)
= 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)
1+u2
cosh(x) = 1u
2 avec u = tanh(x/2)
2u
sinh(x) = 1u
2

1.11 Les changements de variable magiques dans le calcul 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 )
2
sinon u = tan(x/2), cos(x) = 1u
1+u2
2u
du
sin(x) = 1+u
, dx = 1u
2

2
F (x,
ax
+
b)
u
=
ax
+
b

F (x, ax2 + bx + c)
a>0u=
ax2 + bx + c ax
2
F (x, ax + bx + c)
a < 0 (x, ax2 + bx + c)
parcourt un bon dellipse
on paramtre pour que
x soit un cos de u et
ax2 + bx +
q
qc un sin de u
n ax+b
F (x, cx+d )
u = n ax+b
cx+d

1.12

Primitives usuelles

Sauf mention contraire, les primitives sont valables sur lensemble de dfinition.

Rx

f (x)
a

x
1/x
eax
cos
sin
tan
cotan(Remarque :cotan(x)=1/tan(x).)
1/cos
1/sin
1/cos2
1/sin2
1/(sin(x)cos(x))
tan2
ch
sh
th(x)
coth(x)
1/sh(x)
1/ch(x)
th(x)2
1/(sh(x)ch(x))
1/ch2
1/sh2
1/(x2 + a2 )
1/(x2 a2 )
2
2
1/(a
x )
1/ x2 + a

1/ a2 x2

Prcisions
a ] , 1[]1, [

ln|x|
eax
a

a C

sin
cos
ln|cos(x)|
ln|sin(x)|
ln|tan(x/2 + /4)|
ln|tan(x/2)|
tan
1/tan
ln|tan(x)|
tanx x
sh
ch
ln ch(x)
ln|sh(x)|
ln|th(x/2)|
2Arctan(ex )
x th(x)
ln|th(x)|
th
coth
1
a arctan(x/a)
1
x+a
2a ln| xa |
1
a argth(x/a)

ln|x + x2 +
a|
ou argsh(x/
a)

ou argch(x/ a) si x > a
ou argch(x/ a) si x < a
arcsin(x/|a|)

1
(x2 +a)3/2
1
(ax2 )3/2

In = 1/(1 + x2 )n
In = 1/(1 x2 )n

f (u)du
xa+1
a+1

2nIn+1 =
2nIn+1 =

x
a x2 +a
x
a ax2
x
(1+x2 )n +
x
(1x2 )n +

a 6= 0
a 6= 0
a 6= 0, x < a

(2n 1)In
(2n 1)In

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+b
(x2 +dx+e)n et des lments en (iii) (x2 +dx+e)n . Pour (i), cest facile. Pour (ii), il suffit
2
de penser reformuler x + dx + e en (x + d/2)2 + f , et dappliquer le formulaire
1

ci-dessus avec un changement de variable u = x+d/2


et par lune des formules du
f
tableau ci-dessus. Pour (iii), il suffit de rcrire x + b en 12 (x + b + (p b) (p b)),
chacun des deux quotients obtenus sintgrant sans peine par (ii) ou parce que de la
forme u0 /un (cf log ou un+1 ).
1f

tant positif du fait que le discrminant du polynme est ngatif.

10

a>0
a<0
a<0
a 6= 0
a 6= 0
a 6= 0

1.13

Drives

La plupart des drives sobtiennent en utilisant le fait que la drive de f f 1


est 1.
f (x)
f 0 (x)
ln(ax)
f rac1t
eax
a eax
a
x
a xa1
cos(ax)
a sin(ax)
sin(ax)
a cos(ax)
a
tan(ax)
cos(ax)2
1
Arcsin(x)
1x2
1
Arccos(x)
1x2
1
Arctan(x)
1+x2
cosh(x)
sinh(x)
sinh(x)
cosh(x)
1
tanh(x)
tanh(x)2
1
cotanh(x)
sinh(x)2
1
argsinh(x)
1+x2
1
argcosh(x)
x2 1
1
argtanh(x)
1x2
FLEMMARD

1.14

Diffrentielles

Application
Diffrentielle
E, F Banach
C 0 (u)(h) = u1 hu1
Isom(E, F ) Isom(F, E)
(n) (u)(h1 , . . . , hn )
P
1
n
1
: f 7 f
= (1)
h(1) u1 h(2) . . . h(n) u(1)
n u

1.15 dveloppements limits


Le dveloppement limit de e, de sin et de cos dcoulent directement de leur dfinition. Pareil pour cosh, sinh.
La plupart des autres dveloppements limits suivant sobtiennent grce la formule 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

x
x
x
ex = 1 + 1!
+ 2!
+ 3!
+ ... + xn! + O(xn+1 )
x2
x4
x6
x2n
cosh(x) = 1 + 2! + 4! + 6! + ... + (2n)!
+ O(x2n+2 )
x
x3
x5
x2n+1
2n+3
)
1! + 3! + 5! + ... (2n+1)! + O(x
3
5
2n+1
x
x
n x
2n+3
sin(x) = x 3! + 5! + ... + (1) (2n+1)! + O(x
)
x2
x4
n x2n
2n+2
cos(x) = 1 2! + 4! ... + (1) 2n! + O(x
)
2
3
4
ln(1 + x) = x x2 + x3 x4 + ... + (1)n+1 xn /n + O(xn+1 )
2
3
4
n
ln(1 x) = x x2 x3 x4 ... xn + O(xn+1 )
(1 + x) = 1 + x + (1)
x2 + ... + (1)(2)...(n+1)
xn + O(xn+1 )
2!
n!
1 3
1 5
1 7
1 9
1
2n+1
Arctan(x) = x 3 x + 5 x 7 x + 9 x + ... + 2n+1 x
+ O(x2n+3 )
2n+1
5
7
9
3
1.3.5.....(2n1)x
x
1.3.5.x
1.3.5.7.x
2n+3
Arcsin(x) = x + 2.3
+ 1.3.x
)
2.4.5 + 2.4.6.7 + 2.4.6.8.9 + ... + 2.4.6.....2n.(2n+1) + O(x

sinh(x) =

Arccos(x) = /2 Arcsin(x)
Argth(x) = x + x3 /3 + x5 /5 + x7 /7 + ... + x2n+1 /(2n + 1) + O(x2n+3 )
Argsh(x) = x

x3
2.3

1.3.x5
2.4.5

2n+1

+ ... + (1)n 1.3.5.7.....(2n1).x


2.4.6.....2n.(2n+1)

+ O(x2n+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 x2i+1 !

1.16

Espaces Lp (X) et Lp (X), ou LpC (X) et LpC (X)

Lp est gal Lp quotient par la relation "tre gales presque partout".R Les Lp sont
des espaces de Banach, L2 (X) est un espace hilbertien
rel pour (f |g) = f g, L2C (X)
R
est un espace hilbertien complexe pour (f |g) = f g.
Hypothse
fi Lpi
P pi [1, ]
i[1,n] 1/pi = 1
n|fn (x)| < |g(x)| presque partout
g Lp
fn (x) f (x) presque partout
p < p0 et
X de mesure finie

Conclusion
kni=1 fi k1 i kfi kpi
(ingalit de Hlder)
f Lp
fn f dans Lp
(convergence domine de Lebesgue)
0
Lp Lp

12

1.17

Transforme de Fourier
hypothse
g(x) = f (x)eix
g(x) = f (x )
g(x) = ixf (x)
g L1
f L1

f L1
et f L1
f L2

Thorme
de
Plancherel

conclusion
g(t) = f(t )
g(t) = f(t)eit
f diffrentiable
f0 (t) = g(t)
R
f(t) = R f (x)eixt d(x)
f C 0
kf k kf k1
R
x 7 R f(t)eixt d(t)
est continue et gale f presque partout
f L2 :
RA
A (f ) = A f(t)eixt d(t)
limA+ A (f ) = f (dans L2 )
(f 7 f isomorphisme de L2 dans L2 ,
dfini sur L1 L2 par la formule ci-dessus et
prolong sur L2 par densit FLEMMARD)

1.18 Srie de Fourier - cas f 2-priodique


hypothse
nZ
nN
nN
nN

f L1
f admet une
drive droite
et gauche en x
f L2 (T )

f C0
(Th. de Fejer)
f Lp
p<

conclusion
R
1

f (n) = 2
f (t)eint

f (n)P
=< f |un > (un (t) = eint )
n
Dn = i=n ui (noyau de Dirichlet)
Pn1
1
Kn = n i=0 Di (noyau de Fjer)
Pn
sn (f ) = i=n f(i)ui (somme de Fourier)
Psnn (f ) = f Dn
n (f ) = i=0 si (f ) (somme de Fejer)
n (f ) = f Kn
Thorme de Dirichlet
n (f )(x)
12 (limtx,t<x f (t) + limtx,t>x f (t))
f l2 = L2 (Z)
(f 7 f isomorphisme de L2 (T ) dans l2 )
sn (f ) f dans L2 (T )
n kn (f )k < kf k
n (f ) f uniformment
n kn (f )kp < kf kp
n (f ) f dans Lp (Th. de Fejer)

13

1.19

Les 1001 formules dont vous rvez


Formule
P+

k=1

P+

k12 =

k=1 1/pk = pk k-ime nombre premier


(1 + nx )n ex pour x rel.

Preuve
Formule de Parseval (thorme ??) sur la srie de
Fourier de lidentit sur [, [
voir partie ??
(1 + nx )n = en ln(x/n) = en(x/n+o(1/n)) ex
Z
n! =
et tn dt
0

(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

Formule de Stirling n! ' ( ne )n 2n

n! = n

n+1

en(ln(u)u) du

n1

1.20

(1)n1
n

Il suffit alors dappliquer le thorme ??.


n1
PN
UN = n=1 (1)n
R1
puis crire 1/n = 0 tn1
n
PN
puis n=1 (t)n1 = 1(t)
puis passer la
1+t
limite, par exemple par convergence uniforme sur
un ensemble de mesure finie.

= ln(2)

Espaces prhilbertiens
Espace prhilbertien rel
2

kx + yk = kxk + kyk

Espace prhilbertien complexe

kx + yk = kxk + kyk + 2Re(< x|y >)


Ingalit de Schwartz
| < x|y > | kxk kyk
| < x|y > | kxk kyk
Ingalit de Minkowski
kx + yk kxk + kyk
kx + yk kxk + kyk
Cas dgalit : x et y positivement lis
Cas dgalit : x et y positivement lis
Formule de polarisation
P4
1
< x|y >= 2 (q(x + y) q(x) q(y))
< x|y >= 14 j=1 ij q(x + ij y)
< x|y >= 14 (q(x + y) q(x y))
< x|y >
= 14 (q(x + y) q(x y) + iq(x iy) iq(x + iy)
En dimension finie, il existe une base orthonormale

1.21

Espaces de Hilbert

On suppose que (xi )iI est une base hilbertienne.

14

Relation de Parseval
P
2
kxkP= i (x|xi )2
< x|y >=P i < x|xi >< y|xi >
x = iI < x|xi > xi
Relation de Parseval
P
2
kxk = i |(x|xi )|2
P
< x|y >=P i < x|xi > < y|xi >
x = iI < x|xi > xi

1.22

Espaces euclidiens
Espace euclidien
f adjoint de f
< f (x)|y >=< x|f (y) >
M atB (f ) =t M atB (f )
det f = det f
f symtrique si f = f
f orthogonal (ie O(E))
si f f = f f = Id
< f (x)|f (y) >=< x|y >
kf (x)k = kxk
f orthogonal est direct
(ie O(E)) si
det f > 0
conserve lorientation dune base

1.23

Espace hermitien
f adjoint de f
< f (x)|y >=< x|f (y) >
M atB (f ) = t M atB (f )
det f = det f
f hermitien si f = f
f unitaire (ie U (E))
si f f = f f = Id
< f (x)|f (y) >=< x|y >
kf (x)k = kxk

Rduction en dimension finie - proprits de matrices particulires

Matrice M de type (n, n), associe lendomorphisme f , E = Kn , 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

trigonalisable

(Jordan)

M symtrique relle
M, N symtriques relles
SpR (M ) > 0
M antisymtrique
reele

M relle
commutant avec t M

M orthogonale (relle)
M unitaire (complexe)
M hermitienne
M, N hermitiennes,
SpC (M ) > 0
M complexe
commute avec t M
M relle
r [1, n]
detM[1,r]2 6= 0
A symtrique relle
Sp(A) > 0
Mi diagonalisables
commutant deux deux
K alg. clos,
Mi commutant 2 2

base de vecteurs propres


E = SpK (f ) ker(f I)
P scind et dim ker(f I) = multip()
Q GLn (K)/QM Q1 diagonale
P scind
Q GLn (K) Q1 M Q triang. sup.
Q GLn (K) Q1 M Q triang. inf.
1
Q
GLn (K) Q M Q = Mi
i 1
0
0 ... 0

..
..
0 i
.
1
0
.

.
.
.
.
.
.
.

.
.
. 0
avec Mi = .
0

0 ...
0
i
1
0

0 ... ...
0
i 1
0 . .. . . . . . .
0 i
Ddiagonalisable
!(D, N )/
N nilpotente
M = D + H, DH = HD
diagonalisable dans une base orthonormale
i.e. Q On (R)/QM
Q1 diagonale

QM Q1 diagonale
Q GLn (R)/
QN Q1 diagonale
SpR (M ) {0}, SpC (M ) iR
rang(M ) pair, M 2 symtrique
Q On (R)/Q1 M Q = (0) Mk
(0) matrice nulle de la taille du noyau, Mk antisymtrique (2, 2)
Q On (R) QM Q1 = Mi Ni
avec Mi = (i ) (matrice (1,
 1)) et
ai bi
Ni =
bi ai
det M = 1, SpR (M ) {1, 1}
|det M | = 1, |SpC (M )| = 1
SpC (M ) R, Q Un (C)/Q1 M Q diagonale
Q GLn (C)/QM Q1 diagonale
et QN Q1 diagonale
t
M et M simultanment diagonalisables
dans une base orthonormale
Dcomposition ALU
!(L, U )/ L triang. inf., Sp(L) = 1
U triangulaire suprieure, A = LU
A = R t R avec R triangulaire infrieure
inversible, dcomposition de Cholesky
Les Mi sont simultanment diagonalisables.
Les Mi sont simultanment trigonalisables

16

1.24

Fonctions holomorphes

courbe=application continue de [a, b] dans C


chemin=application C 1 pm de [a, b] dans C

Hypothses
mesure complexe (donc finie) sur X,
ouvert de C, : X C mesurable,
(X) =

Conclusion
z 7

d(x)
X (x)z

est holomorphe

courbe, complmentaire de =
([a, b])

R dt
1
z Ind (z) = 2i
, Ind
tz
constant sur les composantes connexes de
, nul sur la composante connexe non borne (Ind (z) nombre de tours de autour
de z)

1 et 2 courbes, |1 (t) 2 (t)| <


|2 (t)|.
chemin ferm dans ouvert, f H()
z , z 6 , Ind nulle hors de

Ind1 (0) = Ind2 (0)


R
1
f (z)Ind (z) = 2i

f H() D(x, r) disque inclus dans


f C 0 de ouvert dans C P f nulle pour
tout P triangle (ou sur tout P carr de cts
perpendiculaires aux axes)
R

f non constante holomorphe sur un ouvert


connexe

ouvert connexe f H( \ {a})

f holomorphe sur ouvert priv des zi


en nombre fini o f admet des ples, f
chemin ferm ne passant pas par les zi ,
Ind (z) = 0 pour tout z dans c
f H(),D(a, r) , cercle orient
positivement centr sur a de rayon r
ouvert connexe f H() f non
constante x m ordre du zro de
f f (x) en x
f et g dans H() D(a, r) |f (z)
g(z)| < |g(z)| sur D(a, r)

17

f (t)
tz dt

Thorme de Cauchy : f dveloppable


en
P
srie entire sur D(x, r) f =
an (z
x)n Estimateurs de Cauchy : |f (n) (x)|
n! sup |f |
rn

f holomorphe sur (thorme de Morera)


Z(f ) = f 1 (0) na pas de point daccumulation, z on peut crire t
f (t) = (t z)m g(t) avec g holomorphe
non nulle en z
Trois cas :
- singularit artificielle en a
-Pple dordre m N en a, ie f
n
ci
i=1 (za)i holomorphe sur ; par dfinition Res(f ; a) = c1 .
- singularit essentielle en a
1
2i

f (t)dt =

Res(f ; zi )Ind (zi )

Le nombre de zros de f w dans D(a, r),


compts avec multiplicits, est lindice de
w par rapport la courbe f
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 antcdents dans V
f et g ont mme nombre de zros avec multiplicit dans D(a, r).

1.25

Proprits de G groupe fini de cardinal n

Hypothses
G cyclique
G cyclique, d|n
n premier
H s-g de G
H Cp G, K Cp G, K H
p premier, p divise n

1.26

Conclusion
tout s-g est cyclique
il existe un unique s-g de cardinal d, cest {x G/xd = 1} = {xn/d /x G}
G = Z/nZ
|G| = |G/H||H|
H/K Cp G/K, G/H ' (G/K)/(H/K)
Th. de Cauchy : p divise n, x G/ o(x) = p
FLEMMARD

Reconnatre un groupe G dordre n

On notera que les critres ci-dessous couvrent immdiatement les cas n 15, sauf
n = 12.
Hypothses
n premier
tout lment
est dordre 2
n = 2p avec
p premier

Sous-groupe dindice 2
Sm
n = pq
p et q premiers
p<q

n=8
ablien
n = 8 non ablien
n = p2 , p premier

Conclusion
G ' Z/nZ
G ' (Z/2Z)q
H G
G ' Z/2Z H
ou G ' Z/2Z o H
(groupe didral Dp )
Am groupe
altern
si q 6 1(p)
alors G ' Z/nZ
sinon deux cas :
- G ' Z/nZ
- G ' Z/qZ o Z/pZ
avec o((1)) = p dans Z/qZ
(un seul produit semi-direct non trivial
possible, isomorphisme prs)
(Z/2Z)3 ou Z/8Z
Z/2Z Z/4Z
didral D4
ou quaternions
G ' Z/p2 Z ou G ' (Z/pZ)2

18

1.27

Etude dun groupe ablien fini G

Card(G) = pni i Existence de


Hi G de card pni i garantie,
unique

Dcomposition primaire : G isomorphe au produit des Hi

FLEMMARD

Dcomposition cyclique : G isomorphe au produit des Z/ni Z avec


1 < n1 |n2 |n3 | . . . |nl (ni ) suite des
invariants de G (existence et unicit)

1.28 Etude dun groupe fini G


G simple
G = Z/pZ
avec p
premier ?
Groupe
altern
An avec
n > 4?

Existence de N Cp G
H/H N = {1} HN = G
pour lun des (N, H) possibles avec
N Cp G
Non
Oui
Etude
Peut-on imposer H Cp G ?
du
Alias : (h, n) H N hn = nh ?
quotient
Oui
Non
Produit
Produit
direct
semi-direct
N H
N oH
par conjugaison

19

1.29

Anneaux

Type danneau

Euclidien

Proprits
Formule de Newton
seulement pour des
lments qui commutent
a associ b implique (a) = (b)
Commutatif, tout idal est de
type fini, toute suite croissante
didaux est ultimement stationnaire, tout quotient est noethrien,
A[X1 , ..., Xn ] noethrien.
Commutatif, (0) est un idal premier, a associ b

(a) = (b), le quotient par la relation


dassociation est isomorphe pour
lordre lensemble des idaux,
A[X1 , . . . , Xn ] est intgre
Intgre, irrductible premier,
lemme dEuclide, th. de Gauss
Factoriel, noethrien, les idaux
sont (0) et les (p) avec p irrductible
Principal

Corps K

Seuls idaux : {0} et K

Commutatif

Noethrien

Intgre

Factoriel
Principal

1.30

Exemples
L(E, F )

C (, R) avec ouvert de Rn

H() avec ouvert connexe, quotient dun anneau par un idal premier

K[X] avec K corps

Z, K[X], Z[i], Z[ 2]
Z/pZ avec p premier, Q,R,C, Q(i),
K(X) avec K corps, corps des fractions dun anneau intgre

Calcul diffrentiel

Rappelons quune drive ou une fonction continue (sur un intervalle de R !) satisfont la proprit des valeurs intermdiaires.

20

Hypothse
Conclusion
f :V W
f
C 1 -diffomorphisme
si
V ouvert dun Banach E
et seulement si x

V
W ouvert dun Banach F
f 0 (x) Isom(E, F ) (isomor1
Homomorphisme C
phisme de Banach)
Thorme dinversion locale
f C 1 de U (ouvert dun Banach f induit un C 1 diffomorphisme
E) dans F (Banach), f 0 (a) entre un voisinage ouvert de a et un
Isom(E, F )
voisinage ouvert de f (a).
Corollaire
f C 1 -diffo de U sur son image
f C 1 de U (ouvert dun Banach E)
(ouverte) si et seulement si f injecdans F (Banach)
tive et x f 0 (x) Isom(E, F )
[a, b] segment de R, b 6= a, f de [a, b] dans un espace vectoriel norm .
Polynme de Taylor lordre n de f en a :
(k)
Pn
Pf,a,n (x) = f (a) + k=1 f k!(a) (x a)k
Formule de Taylor-Lagrange
c ]a, b[/f (b) = Pf,a,n (b) +
f C n n + 1 fois drivable sur ]a, b[ f n+1 (c)
n+1
(n+1)! (b a)
Ingalit de Taylor-Lagrange
n+1
f C n n + 1 fois drivable sur ]a, b[,
kf (b) Pf,a,n (b)k M (ba)
(n+1)!
f n+1 borne par M sur ]a, b[
Formule de Taylor avec reste intgral
f (b) = f (a) + Pf,a,n (b) +
Rb
f C n+1 sur [a, b]
1
n n+1
(t)dt
n! a f (b t) .f
Formule de Taylor-Young
f n fois drivable en a
f (x) Pf,a,n (x) = o((x a)n )
La premire proposition est certes plus faible que le corollaire du thorme dinversion locale, mais elle fait appel de moins gros rsultats, do son intrt.

1.31

Equations diffrentielles

x
t = f (t, x),
f (t0 ) = x0 .

f application de I E dans E, avec E un espace de Banach . CI :

Il faut savoir ramener ltude dune quadif dordre n ltude dune quadif
dordre 1.

21

f C0

Existence dune solution


Th. de Cauchy-Lipschitz
f localement lipschitzienne en x
! solution maximale xt0 ,x0
Dpendance aux conditions initiales
f lipschitzienne en x
(t, x0 ) 7 xt0 ,x0 (t) continue
Th. de Cauchy-Lipschitz, ordre n
f C 0 Existence dune solution
maximale
x(p) = f (t, x, x(1) , . . . , x(n) )
f localement lipschitzienne en
(x(i) )i[1,n] Unicit
Dpendance un paramtre
x
=
f
(t,
x,

)
avec
L est
|{z}

L
!x /x (t0 ) = x0
pace topologique et f C 0 et k- (t, ) 7 x (t) C 0

lipschitzienne en x, avec k indpendant de t et


Equadifs linaires dordre 1
Rt
x = exp( t0 a(u)du)x0 + xp (t)
0
x = a(t)x + b(t)
avec xp solution particulire, chera C 0 de I dans L(E, E),
che sous la forme xp (t) =
Rt
b C 0 de I dans E
(t)exp( t0 a(u)du),
Divers exemples
Equation variables spares
(dx/g(x))0 = f (t)dt
0
x (t) = f (t)g(x(t))
Equation de Bernouilli
pour se ramener du linaire :
x0 (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)
x0 (t) = f ( x(t)
)
ou
passer
en coord. polaires
t
Equation de Lagrange
Solutions affines : y = cx + b(c),
x(t) = a(x0 (t))t + b(x0 (t))
avec a(c) = c. Autres solutions :
a et b C 1
poser y = x0 , t = g(x). On obtient
alors lquation linaire
a0 (y)t+b0 (y)
dt
dy =
ya(y)
Equation de Riccati
Trouver une solution particulire xp
x0 (t) = a(t)x(t)2 + b(t)x(t) + c(t) puis poser x = xp + 1/y, lquation
obtenue est linaire en y.

22

Bibliographie
[1] P. BARBE , M. L EDOUX , Probabilit, B ELIN , 1998.
[2] H. B RZIS , Analyse fonctionnelle, M ASSON , 1983.
[3] H. C ARTAN , Calcul diffrentiel, FLEMMARD.
[4] A. C HAMBERT-L OIR , S. F ERMIGIER , V. M AILLOT , Exercices de mathmatiques pour lagrgation, Analyse 1, M ASSON , 1997.
[5] A. C HAMBERT-L OIR , S. F ERMIGIER , Exercices de mathmatiques pour lagrgation, Analyse 2, M ASSON , 1995.
[6] A. C HAMBERT-L OIR , S. F ERMIGIER , Exercices de mathmatiques pour lagrgation, Analyse 3, M ASSON , 1996.
[7] P.G. C IARLET, Introduction lanalyse numrique matricielle et loptimisation, D UNOD , 1998.
[8] F. C OMBES Algbre et gomtrie, B RAL , 1998. <
[9] J.-P. D EMAILLY, Analyse numrique et quations diffrentielles, P RESSES
U NIVERSITAIRES DE G RENOBLE , 1996.
[10] W. G IORGI , Thmes mathmatiques pour lagrgation, M ASSON , 1998.
[11] A. G RAMAIN , Intgration, H ERMANN 1988, PARIS .
[12] J.-L. K RIVINE , Introduction to axiomatic set theory, D. R EIDEL P UBLISHING
C OMPANY, D ORDRECHT-H OLLAND .
[13] S. L ANG , Real analysis, A DDISON -W ESLEY P UBLISHING COMPANY, 1969.
[14] D. P ERRIN , Cours dalgbre, E LLIPSES 1996.
[15] A. P OMMELLET , Cours danalyse, E LLIPSES 1994.
[16] W. RUDIN , Analyse relle et complexe, M ASSON 1992.
[17] R. S MULLYAN , Thorie de la rcursion pour la mtamathmatique, FLEMMARD.
[18] Y.G. S INAI Probability theory - An introduction course, S PRINGER T EXTBOOK , 1992.
[19] P. TAUVEL , Mathmatiques gnrales pour lagrgation, M ASSON , 1997.
[20] J. VAUTHIER , J.J. P RAT , Cours danalyse mathmatiques de lintgration,
M ASSON , 1994.
[21] D. W ILLIAMS , Probability with martingales, C AMBRIDGE U NIVERSITY
P RESS , 1991.
[22] C. Z UILY, H. Q UEFFLEC , Elments danalyse pour lintgration, M ASSON ,
1995.

23

Vous aimerez peut-être aussi