Chapitre 38 - L'aide mémoire - formulaire dont vous aviez toujours révé...

(1)

Les Mathématiques pour

l’Agrégation

C. Antonini

J.-F. Quint

P. Borgnat

J. Bérard

E. Lebeau

E. Souche

A. Chateau

O. Teytaud

21 mai 2002

(2)

Table des matières

1 Formulaires 2 1.1 Espaces topologiques . . . 3 1.2 Equivalents en l’infini. . . 4 1.2.1 Séries . . . 4 1.2.2 Intégrales . . . 4 1.3 Dérivation de limites . . . 4

1.4 L’indispensable sous le signe intégral . . . 5

1.5 Convergence d’une série à termes positifs . . . 6

1.6 Convergence d’une série semi-alternée . . . 6

1.7 Les séries entières. . . 6

1.8 Densité, approximation . . . 7

1.9 Trigonométrie . . . 8

1.10 Trigonométrie hyperbolique . . . 9

1.11 Les changements de variable magiques dans le calcul de primitive . . 9

1.12 Primitives usuelles . . . 9 1.13 Dérivées . . . 11 1.14 Différentielles . . . 11 1.15 développements limités . . . 11 1.16 EspacesLp_{(X) et L}p_{(X), ou}_Lp C(X) et L p C(X) . . . 12 1.17 Transformée de Fourier . . . 13

1.18 Série de Fourier - cas f 2π-périodique . . . 13

1.19 Les 1001 formules dont vous rêvez . . . 14

1.20 Espaces préhilbertiens . . . 14

1.21 Espaces de Hilbert . . . 14

1.22 Espaces euclidiens . . . 15

1.23 Réduction en dimension finie - propriétés de matrices particulières . . 15

1.24 Fonctions holomorphes . . . 17

1.25 Propriétés de G groupe fini de cardinal n. . . 18

1.26 Reconnaître un groupe G d’ordre n. . . 18

1.27 Etude d’un groupe abélien fini G . . . 19

1.28 Etude d’un groupe fini G . . . 19

1.29 Anneaux. . . 20

1.30 Calcul différentiel . . . 20

(3)

(4)

Chapitre 1

Formulaires

1.1 Espaces topologiques

Catégorie Exemples

Ouvert Isom(E, F ) avec E et F Banach, dansL(E, F )

Fermé compact d’un séparé

Borné compact d’un métrique

Espaces compacts

Espaces projectifs

Complété d’Alexandrov d’un es-pace séparé non compact, locale-ment compact

Produit de compacts

boule fermée d’un espace vectoriel normé de dim finie

Cantor

Tapis de Sierpinski

Espaces connexes par arc

Espaces projectifs Cube de Hilbert

Ouvert connexe d’un espace vecto-riel normé

Boule

Image d’un connexe par arcs par une application C0

Tapis de Sierpinski, eponge de Menger

Ensembles de Julia

SO(n), SU (n)

Espaces connexes

Produit de connexes

Image d’un connexe par une appli-cation C0

Espaces de Montel. (métrisables, compact équivaut à fermé bornéa₎

a_{Borné au sens des espace vectoriel}

topo-logiques.

Rn, Cn

H(Ω) avec Ω ouvert de C

Espace complet Rn, Cn, Lp(Ω)

Espace métrisable

Boule unité fermée du dual d’un espace séparable pour la topologie faible

Cube de Hilbert 3

(5)

1.2 Equivalents en l’infini

1.2.1 Séries

un et vn suites réelles, Un = P n k=0uk, Vn = P n k=0vk. Si Un → U, Rn = U− Un, si Vn→ V , R0n= V − Vn. Hypothèse Conclusion un> 0 Vnconverge un' vn Rn' R0n Unconverge vn> 0, un> 0 vn= o(un) Undiverge Vndiverge Un' Vn

1.2.2 Intégrales

f et g définies sur ]a, +∞[ intégrables sur ]a, x[ pour tout x > a.

ON SUPPOSE QUE f EST POSITIVE On définit F (x) =R_axf (t)dt et G(x) = Rx

a g(t)dt. Si F a une limite en +∞ on

définit Rf(x) =R_x∞f (t)dt, et si G a une limite en +∞ on définit Rg(x) =R_x∞f (t)dt.

Alors on a les résultats suivant au voisinage de +∞ :                            Rx a f (t)dt = +∞    g = o(f )⇒ G = o(F ) g = O(f )⇒ G = O(F ) g' f ⇒ F ' G Rx a f (t)dt < +∞                g = o(f )⇒ R∞ a g(t)dt existe Rg= o(Rf) g = O(f )⇒ R∞ a g(t)dt existe Rg = O(Rf) g' f ⇒ R∞ a g(t)dt existe Rg' Rf)

1.3 Dérivation de limites

E et F des espaces vectoriels normés , U ouvert de E, (fn) suite d’applications de

(6)

Hypothèses Conclusions

fn convergeant simplement vers f ,

les Dfnconvergeant uniformément

vers une certaine application g de

U dansL(E, F ),

• f différentiable et Df = g • Pour tout C convexe borné ⊂ U

la convergence de f_n|Cvers f_|Cest uniforme

• Si les fnsont C1alors f est C1.

U connexe, F Banach.∃x0/ fn(x0)

converge,∀x ∃Vxvoisinage de x tel

que la suite des Df_n|V

xsoit de

Cau-chy pour la métrique d définie par

d(f, g) = supz_∈Vxkf(z) − g(z)k

(ie la suite des Dfn converge

nor-malement sur un certain voisinage de tout point)

Alors il existe f de U dans F tel que :

• f est dérivable en tout point • la suite des fn converge vers f

(simplement)

• tout x possède un voisinage Vxtel

que les convergences de fnet Dfn

restreints à Vxsoient uniformes.

• Si les fnsont C1, f l’est aussi.

1.4 L’indispensable sous le signe intégral

X muni d’une mesure µ, (E, d) un espace métrique. f : E× X → C, F (t) = R

Xf (t, x)dµ(x)

Hypothèses Conclusion

Pour tout t l’application x7→ f(t, x) est mesurable

Pour presque tout x la fonction t7→ 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)

F est continue en T .

Pour tout t l’application x7→ f(t, x) est mesurable

Pour presque tout x la fonction t7→ 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).

F est continue sur E. E est un ouvert de R ou de Ca

Pour presque tout t x7→ f(t, x) est L1

Il existe N négligeable tel que pour tout x 6∈ N la fonction t7→ f(t, x) est dérivable (resp. C1₎b_.

Pour tout compact K de E il existe une fonction g L1telle que pour tout t dans K et tout x6∈ N |δfδt(t, x)| ≤ g(x).

a_{Hypothèse facile à retenir ; il s’agit de pouvoir définir une dérivée au sens le}

plus commun, ie dérivée d’une fonction d’une variable réelle ou complexe !

b_{Attention ! Dans le cas d’un ouvert de C on parle de dérivabilité au sens}

complexe, et pas de différentiabilité en voyant C comme un R-espace vectoriel !

Pour tout t la fonction x 7→

δf

δx(t, x) est L 1

F est dérivable (resp. C1_),

de dérivéeR

X δf

δt(t, x)dx.

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

Pour presque tout t x7→ f(t, x) est L1

Il existe N négligeable tel que pour tout x 6∈ N la fonction t7→ f(t, x) est Ck_.

Pour tout compact K de E et tout j ∈ [1, k] il existe une fonction g L1_{telle que pour tout t dans K et tout x} _{6∈ N |}δjf

δtj(t, x)| ≤

g(x).

Pour tout t la fonction x 7→

δj_f δtj(t, x) est L 1 F est Ck, et pour j ∈ [0, k] δj_F δtj = R X δj_f δtj(t, x)dx.

(7)

1.5 Convergence d’une série à termes positifs

Hypothèse Conclusion Critère de D’Alembert un+1/un → L < 1 Série converge un+1/un → L > 1 Série diverge Critère de Cauchy

limsup√un= L < 1 Série converge

limsup√un= L > 1 Série diverge

Critère de Raabe-Duhamel un+1 un = 1− a/n + O(1/n 2 ), a > 1 Série converge un+1 un = 1− a/n + O(1/n 2_{), a < 1} _{Série diverge}

1.6 Convergence d’une série semi-alternée

UN =P

N

n=0un, U = lim Un, Rn= U− Un

Hypothèse Conclusion

Critère de Leibnitz

(n) suite décroissante, P unconverge

n→ 0, un= (−1)nn Rn≤ |an+1|

Méthode d’Abel, dans un Banach

(n) suite décroissante, P unconverge

(an) / P N

n=0anborné Rn≤ |an+1|

n → 0, un= nan

1.7 Les séries entières

SoitP anznune série entière, R son rayon, A sa fonction somme.

Hypothèse Conclusion Formule d’Hadamard R = _limsup1 |an|1/n (avec 1/0 = ∞ et 1/∞ = 0) Critère de D’Alembert

annon nul à partir d’un certain rang

an+1/antend vers L R = 1/L

Théorème de Césaro

(bn) suite réelle > 0, (an) suite

réelle, P bn divergente, an =

o(bn) ou an ' bn, R rayon de

convergence deP bnzn

A(x) =P anxn sur ]− 1, 1[ bien

défini, B(x) =P bnxnsur ]− 1, 1[

bien défini, a = o(b)⇒ A = o(B)

(8)

1.8 Densité, approximation

Théorème de Stone

K compact, A sous-algèbre unitaire de l’algèbre C0(K, R). Si A sépare

les points, alors A est dense dans C0(K, R) pour la norme infinie.

Théorème de Stone, version complexe

K compact, A sous-algèbre unitaire de l’algèbre C0_{(K, C) stable par}

passage au conjugué. Si A sépare les points, alors A est dense dans

C0(K, C) pour la norme infinie.

Théorème de Weierstrass

K compact de R, l’ensemble des polynômes de K dans R est dense dans

l’ensemble des fonctions continues de K dans R pour la convergence uniforme.

pas valable pour les polynômes d’un compact de C dans C ! Théorème 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 < , bornée en module par sup|f|. f mesurable bornée de Rn _{dans C, dont le support est inclus dans un}

ensemble de mesure finie. Alors f est limite simple presque partout d’une suite de fonctions continues et bornées (par la même borne).

Ck

c(Rn, R)aest dense dans Ck(Rn, R).

a_{Ensemble des fonctions C}k_{à support compact de R}n_{dans R.} Si p6= ∞, C∞

c (Rn, R) est dense dans Lp(Rn).

Si p6= ∞, les classes des fonctions en escalier à support compact sont

denses dans Lp(Rn).

Les classes des fonctions C∞à support compact sont denses dans l’en-semble des fonctions de L∞de R dans R tendant vers 0 en +∞ et en −∞.

(9)

1.9 Trigonométrie

Formule Preuve

cos(x) = Re(eix_{) =}eix+e−ix

2 Définition. sin(x) = Im(eix_{) =} eix −e−ix 2 cos0 =−sin (x7→ eix₎₀ _{= (x} 7→ ieix₎ sin0= cos

cos2_{+ sin}2_{= 1} _eix_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) décroit, or cos(x) + xsin(a)_{→ ∞}

Par déf,π = 2inf cos−1(0)∩ R+∗

π > 0 continuité de cos

eiπ/2_{= i, e}iΠ₌_−1, _{corollaire de ci-dessus.}

eiπ= 1, e 2iπ− pério cos et sin 2π pério

Arccos(x) + Arcsin(x) = Π/2 Dérivée nulle + valeur en 0

F ormuledeM oivre

(cos(x) + i sin(x))n_{= cos(nx) + i sin(nx)} _einx _{= e}ixn

F ormulesdelinarisation

cos(a)cos(b) = 1₂(cos(a + b) + cos(a− b)) cos(x) = 1₂(eix_{+ e}−ix_{)(développer)}

sin(a)sin(b) =1₂(cos(a− b) − cos(a + b)) sin(x) = cos(x + π/2) sin(a)cos(b) = 1₂(sin(a + b) + sin(a− b)) (apprendre la méthode, non le résultat)

cos(a + b) = cos(a) cos(b)− sin(b) sin(a) combinaison linéaire des formules de linéarisation

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₂ ) cos(c−d₂ ) Formules ci-dessus, plus

cos(c)− cos(d) = −2 sin(c+d 2 ) sin(

c_−d

2 ) c = a + b, d = a− b

sin(c) + sin(d) = 2 sin(c+d₂ ) cos(c−d₂ ) puis

sin(c)− sin(d) = 2 sin(c+d 2 ) cos(

c_−d

2 ) sin(x) = cos(x + π/2)

Retenir cos(a) cos(b), cos(a+b), cos(a)+cos(b) devrait suffire, modulo l’entrainement pour retrouver le reste.

(10)

1.10 Trigonométrie hyperbolique

cosh(x) = ex+e₂−x sinh(x) = e−x−e₂ −x

tanh(x) =sinh(x)_cosh(x) cotanh(x) = cosh(x)_sinh(x) = _tanh(x)1 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+u2

1−u2 avec u = tanh(x/2)

sinh(x) = ₁2u

−u2

1.11 Les changements de variable magiques dans le

cal-cul de primitive

f (x) = cos(x)n_sin(x)m ₂_{|n + 1 ⇒ u = sin(x)}

2|m + 1 ⇒ u = cos(x)

Linéarisation.

f (x) = F (cos(x), sin(x)) f paire ⇒ u = sin(x) F ∈ R(X) f impaire ⇒ u = cos(x)

f T− périodique ⇒ u = tan(Πx/T )

sinon u = tan(x/2), cos(x) = 1_1+u−u22

sin(x) = _1+u2u2, dx = du 1_−u2 F (x,√ax + b) u =√ax + b F (x,√ax2_{+ bx + c)} _{a > 0}_{⇒ u =}√_ax2_{+ bx + c}_{− ax} F (x,√ax2_{+ bx + c)} _{a < 0}_{⇒ (x,}√_ax2_{+ bx + c)}

parcourt un bon d’ellipse on paramètre pour que

x soit un cos de u et √ ax2_{+ bx + c un sin de u} F (x, qn ax+b cx+d) u = n q ax+b cx+d

1.12 Primitives usuelles

(11)

1/cos ln|tan(x/2 + π/4)| 1/sin ln|tan(x/2)| 1/cos2 _tan 1/sin2 _−1/tan 1/(sin(x)cos(x)) ln|tan(x)| tan2 _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(ex₎ th(x)2 _x_{− th(x)} 1/(sh(x)ch(x)) ln|th(x)| 1/ch2 _th 1/sh2 _−coth 1/(x2+ a2) 1_aarctan(x/a) a6= 0 1/(x2− a2₎ 1 2aln| x+a x−a| a6= 0 1/(a2− x2₎ 1 aargth(x/a) a6= 0, x < a 1/√x2_{+ a} _ln_{|x +}√_x2_{+ 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/√a2_{− x}2 _arcsin(x/_|a|) _a_{6= 0} 1 (x2+a)3/2 x a√x2+a a6= 0 1 (a_−x2)3/2 x a√a_−x2 a6= 0 In= 1/(1 + x2)n 2nIn+1=_(1+xx2₎n + (2n− 1)In In= 1/(1− x2)n 2nIn+1=₍₁_−xx2₎n + (2n− 1)In

Pour une primitive de fraction rationnelle réelle décomposée en éléments simples, on a besoin d’intégrer des termes en (i) a/(cx + d)n _{(facile), des éléments en (ii)}

b

(x2_+dx+e)n et des éléments en (iii)

x+b

(x2_+dx+e)n. Pour (i), c’est facile. Pour (ii), il suffit

de penser à reformuler x2+ dx + e en (x + d/2)2+ f , et d’appliquer le formulaire

ci-dessus avec un changement de variable u = x+d/2√_f 1 et par l’une des formules du tableau ci-dessus. Pour (iii), il suffit de réécrire x + b en1₂(x + b + (p− b) − (p − b)),

chacun des deux quotients obtenus s’intégrant sans peine par (ii) ou parce que de la forme u0/un_{(cf log ou u}−n+1_).

(12)

1.13 Dérivées

La plupart des dérivées s’obtiennent en utilisant le fait que la dérivée de f◦ f−1

est 1.

f (x) f0(x) ln(ax) f rac1t

eax _{a e}ax

xa _{a x}a₋₁

cos(ax) −a sin(ax) sin(ax) a cos(ax) tan(ax) _cos(ax)a 2 Arcsin(x) √ 1 1−x2 Arccos(x) √−1 1_−x2 Arctan(x) _1+x12 cosh(x) sinh(x) sinh(x) cosh(x) tanh(x) 1 tanh(x)2 cotanh(x) _sinh(x)−1 2 argsinh(x) _√1 1+x2 argcosh(x) √ 1 x2₋₁ argtanh(x) ₁1 −x2 FLEMMARD

1.14 Différentielles

Application Différentielle

E, F Banach φC∞φ0(u)(h) =−u−1_hu−1

Isom(E, F )→ Isom(F, E) φ(n)_(u)(h

1, . . . , hn) φ : f 7→ f−1 _{= (}₋₁₎nP σ∈σnu −1_{◦ h} σ(1)◦ u−1◦ hσ(2)◦ . . . hσ(n)◦ u(−1)

1.15 développements limités

Le développement limité de e, de sin et de cos découlent directement de leur défi-nition. Pareil pour cosh, sinh.

La plupart des autres développements limités suivant s’obtiennent grâce à la for-mule de Taylor-Young ??. Toutefois, le développement limité de Arctan s’obtient par intégration, ainsi que ceux de Arcsin, Arctanh, Argsinh. Le développement limité de Arccos s’obtient à partir de celui de Arcsin par Arccos(x) + Arcsin(x) = Π/2.

(13)

ex_{= 1 +} x 1! + x 2! + x 3!+ ... + xn n! + O(x n+1₎ cosh(x) = 1 +x_2!2 +x_4!4 +x_6!6 + ... + _(2n)!x2n + O(x2n+2₎ sinh(x) =_1!x +x_3!3 +x_5!5 + ..._(2n+1)!x2n+1 + O(x2n+3₎ sin(x) = x−x3 3! + x5 5! + ... + (−1) n x2n+1 (2n+1)!+ O(x 2n+3₎ cos(x) = 1−x2 2! + x4 4! − ... + (−1) n x2n 2n! + O(x 2n+2₎ ln(1 + x) = x₋x2 2 + x3 3 − x4 4 + ... + (−1) n+1_xn_{/n + O(x}n+1₎ ln(1− x) = −x −x2 2 − x3 3 − x4 4 − ... − xn n + O(x n+1₎ (1 + x)α= 1 + αx +α(α_2!−1)x2+ ... +α(α−1)(α−2)...(α−n+1)_n! xn+ O(xn+1) Arctan(x) = x−1 3x 3₊1 5x 5₋1 7x 7₊1 9x 9_{+ ... +} 1 2n+1x 2n+1_{+ O(x}2n+3₎ Arcsin(x) = x + _2.3x3 +1.3.x_2.4.55 +1.3.5.x_2.4.6.77 +1.3.5.7.x_2.4.6.8.99 + ... +1.3.5...(2n_{2.4.6...2n.(2n+1)}−1)x2n+1 + O(x2n+3₎ Arccos(x) = Π/2− Arcsin(x) Argth(x) = x + x3_{/3 + x}5_{/5 + x}7_{/7 + ... + x}2n+1_{/(2n + 1) + O(x}2n+3₎ Argsh(x) = x− x3 2.3+ 1.3.x5 2.4.5 + ... + (−1) n 1.3.5.7...(2n−1).x2n+1 2.4.6...2n.(2n+1) + O(x 2n+3₎

Attention, le développement limité d’Arcsin(x) est "irrégulier", au sens où le terme en x ne suit pas la même formule que les termes en x2i+1_!

1.16 Espaces

_L

p

(X) et L

p

(X), ou

_L

pC

(X) et L

p C

(X)

Lp_{est égal à}_Lp_{quotienté par la relation "être égales presque partout". Les L}p_sont

des espaces de Banach, L2_{(X) est un espace hilbertien réel pour (f}_{|g) =}_{R f g, L}2 C(X)

est un espace hilbertien complexe pour (f|g) =R f g.

Hypothèse Conclusion fi∈ Lpi kΠni=1fik1≤ Πikfikpi pi∈ [1, ∞] (inégalité de Hölder) P i∈[1,n]1/pi= 1 ∀n|fn(x)| < |g(x)| presque partout f ∈ Lp g∈ Lp _f n → f dans Lp

fn(x)→ f(x) presque partout (convergence dominée de Lebesgue)

p < p0et Lp0 ⊂ Lp

(14)

1.17 Transformée de Fourier

hypothèse conclusion g(x) = f (x)eiαx g(t) = ˆˆ f (t− α) g(x) = f (x− α) g(t) = ˆˆ f (t)e−iαt g(x) =−ixf(x) f différentiableˆ g L1 _fˆ0_{(t) = ˆ}_g(t) f L1 _{f (t) =}ˆ R Rf (x)e −ixt_dµ(x) ˆ f C0 kfk_∞≤ kfk1 f L1 _x_7→R R ˆ f (t)eixt_dµ(t)

et ˆf L1 _{est continue et égale à f presque partout}

f L2 _{f L}ˆ 2_:

φA(f ) =R A −Af (t)eˆ

ixt_dµ(t)

Théorème limA_→+∞φA(f ) = f (dans L2)

de (f 7→ ˆf isomorphisme de L2dans L2, Plancherel défini sur L1∩ L2_{par la formule ci-dessus et}

prolongé sur L2par densité FLEMMARD)

1.18 Série de Fourier - cas f 2π-périodique

hypothèse conclusion n∈ Z f (n) =ˆ _2π1 Rπ −πf (t)e−int ˆ f (n) =< f|un > (un(t) = eint) n_{∈ N} Dn=P n i=−nui(noyau de Dirichlet) n_{∈ N} Kn =_n1P n−1

i=0 Di(noyau de Féjer)

n∈ N sn(f ) =P n

i=_−nf (i)uˆ i(somme de Fourier)

sn(f ) = f∗ Dn

σn(f ) =Pn_i=0si(f ) (somme de Fejer)

σn(f ) = f∗ Kn f L1 _{Théorème de Dirichlet} f admet une σn(f )(x) dérivée à droite → 1 2(limt→x,t<xf (t) + limt→x,t>xf (t)) et à gauche en x f ∈ L2_{(T )} _f_ˆ ∈ l2_{= L}2_(Z) (f 7→ ˆf isomorphisme de L2_{(T ) dans l}2₎ sn(f )→ f dans L2(T ) f C0 ∀n kσn(f )k_∞<kfk_∞ (Th. de Fejer) σn(f )→ f uniformément f Lp _{∀n kσ} n(f )kp<kfkp p <∞ σn(f )→ f dans Lp(Th. de Fejer)

(15)

1.19 Les 1001 formules dont vous rêvez

Formule Preuve P+ k=1∞ 1 k2 = Π2 6

Formule de Parseval (théorème ??) sur la série de Fourier de l’identité sur [−Π, Π[

P+

k=1∞1/pk =∞ pkk-ième nombre premier voir partie ??

(1 + x_n)n_{→ e}x_{pour x réel.} _{(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√_2Πn n! = Z ∞ 0 e−ttndt

(preuve par récurrence sur n, par une intégration par parties (théorème ??) sur [0, x] et en faisant tendre x vers +∞) changement de variable u = t/n n! = nn+1 Z +∞ 0 en(ln(u)−u)du

Il suffit alors d’appliquer le théorème ??.

P n≥1 (₋₁₎n−1 n = ln(2) UN =P N n=1 (−1)n−1 n puis écrire 1/n =R₀1tn−1 puisPN n=1(−t) n₋₁ ₌ 1_−(−t)n 1+t puis passer à la

limite, par exemple par convergence uniforme sur un ensemble de mesure finie.

1.20 Espaces préhilbertiens

Espace préhilbertien réel Espace préhilbertien complexe

kx + yk2=kxk2+kyk2 kx + yk2=kxk2+kyk2+ 2Re(< x|y >)

Inégalité de Schwartz

| < x|y > | ≤ kxk kyk | < x|y > | ≤ kxk kyk

Inégalité de Minkowski

kx + yk ≤ kxk + kyk kx + yk ≤ kxk + kyk

Cas d’égalité : x et y positivement liés Cas d’égalité : x et y positivement liés Formule de polarisation < x|y >= 1 2(q(x + y)− q(x) − q(y)) < x|y >= 1 4 P4 j=1ijq(x + i j_y) < x|y >= 1 4(q(x + y)− q(x − y)) < x|y >

= 1₄(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

(16)

Relation de Parseval kxk2=P i(x|xi)2 < x|y >=P i< x|xi>< y|xi> x =P i_∈I < x|xi> xi Relation de Parseval kxk2=P i|(x|xi)|2 < x|y >=P i< x|xi> < y|xi> x =P i∈I < x|xi > xi

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) >}

M atB(f∗) =tM atB(f ) M atB(f∗) =tM atB(f )

det f∗_{= det f} _{det f}∗_{= det f}

f symétrique si f∗= f f hermitien si f∗= f f orthogonal (ie∈ O(E)) f unitaire (ie∈ U(E))

si f∗f = f f∗_{= Id} _{si f}∗_{f = f f}∗_{= Id}

⇐⇒ < f(x)|f(y) >=< x|y > ⇐⇒ < f(x)|f(y) >=< x|y > ⇐⇒ kf(x)k = kxk ⇐⇒ kf(x)k = kxk f orthogonal est direct

(ie∈ O(E)) si det f > 0

⇐⇒ conserve l’orientation d’une base

1.23 Réduction en dimension finie - propriétés de

ma-trices particulières

Matrice M de type (n, n), associée à l’endomorphisme f , E = Kn, polynôme caractéristique P , multip(λ) ordre de multiplicité de λ dans P . Dans beaucoup de cas, la réduction dans une base orthonormale est basée sur le fait que l’orthogonal d’un espace stable est stable.

(17)

diagonalisable ⇐⇒ ∃ base de vecteurs propres ⇐⇒ E = ⊗λ∈SpK(f )ker(f− λI)

⇐⇒ P scindé et dim ker(f − λI) = multip(λ) ⇐⇒ ∃Q ∈ GLn(K)/QM Q−1diagonale trigonalisable ⇐⇒ P scindé ⇐⇒ ∃Q ∈ GLn(K) Q−1M Q triang. sup. ⇐⇒ ∃Q ∈ GLn(K) Q−1M Q triang. inf. ⇐⇒ ∃Q ∈ GLn(K) Q−1M Q =⊗Mi (Jordan) avec Mi =           λ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 N nilpotente M = D + H, DH = HD M symétrique réelle diagonalisable dans une base orthonormale

i.e.∃Q ∈ On(R)/QM Q−1diagonale M, N symétriques réelles ∃Q ∈ GLn(R)/ QM Q−1diagonale QN Q−1diagonale SpR(M ) > 0 M antisymétrique SpR(M )⊂ {0}, SpC(M )⊂ iR

réeele rang(M ) pair, M2symétrique

∃Q ∈ On(R)/Q−1M Q = (0)⊗ Mk

(0) matrice nulle de la taille du noyau, Mkantisymétrique (2, 2)

M réelle ∃Q ∈ On(R) QM Q−1=⊗Mi⊗ Ni

commutant avect_M _{avec M}

i= (λi) (matrice (1, 1)) et Ni = ai −bi bi ai M orthogonale (réelle) det M =±1, SpR(M )⊂ {−1, 1}

M unitaire (complexe) |det M| = 1, |SpC(M )| = 1

M hermitienne SpC(M )⊂ R, ∃Q ∈ Un(C)/Q−1M Q diagonale

M, N hermitiennes, ∃Q ∈ GLn(C)/QM Q−1diagonale

SpC(M ) > 0 et QN Q−1diagonale

M complexe M ett_{M simultanément diagonalisables}

commute avectM dans une base orthonormale

M réelle Décomposition ALU

∀r ∈ [1, n] ∃!(L, U)/ L triang. inf., Sp(L) = 1 detM[1,r]26= 0 U triangulaire supérieure, A = LU

A symétrique réelle A = Rt_{R avec R triangulaire inférieure}

Sp(A) > 0 inversible, décomposition de Cholesky

Midiagonalisables Les Misont simultanément diagonalisables.

commutant deux à deux

Kalg. clos, Les M_isont simultanément trigonalisables Micommutant 2 à 2

(18)

1.24 Fonctions holomorphes

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

µ mesure complexe (donc finie) sur X, Ω

ouvert de C, φ : X → C mesurable, φ(X)∩ Ω = ∅ z7→R X dµ(x) φ(x)−z est holomorphe Γ courbe, Ω complémentaire de Γ∗ = Γ([a, b]) z ∈ Ω → IndΓ(z) = _2iπ1 R Γ dt t−z, IndΓ

constant sur les composantes connexes de

Ω, nul sur la composante connexe non

bor-née (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 6∈ Γ∗_{, Ind} Γnulle hors de Ω f (z)IndΓ(z) = _2iπ1 R Γ f (t) t−zdt

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

Théorème de Cauchy : f développable en série entière sur D(x, r) f = P an(z−

x)n _{Estimateurs de Cauchy :}_|f(n)_(x)_{| ≤} n! sup_{|f |}

rn

f C0 _{de Ω ouvert dans C}R

Pf nulle pour

tout P triangle (ou sur tout P carré de côtés perpendiculaires aux axes)

f holomorphe sur Ω (théorème de Morera) f non constante holomorphe sur un ouvert

connexe Ω

Z(f ) = f−1(0) n’a pas de point

d’ac-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é artificielle en a - pôle d’ordre m ∈ N en a, ie f − Pn i=1 ci

(z−a)i holomorphe sur Ω ; par

défi-nition Res(f ; a) = c1.

- singularité essentielle en a

f holomorphe sur Ω ouvert privé des zi

en nombre fini où f admet des pôles, f chemin fermé ne passant pas par les zi,

IndΓ(z) = 0 pour tout z dans Ωc

1 2iπ R Γf (t)dt = P iRes(f ; zi)IndΓ(zi)

f _{∈ H(Ω),D(a, r) ⊂ Ω, Γ cercle orienté}

positivement centré sur a de rayon r

Le nombre de zéros de f−w dans D(a, r),

comptés avec multiplicités, est l’indice de

w par rapport à la courbe f◦ Γ Ω ouvert connexe f ∈ H(Ω) f non

constante x ∈ Ω m ordre du zéro 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 antécé-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 même nombre de zéros avec

(19)

1.25 Propriétés de G groupe fini de cardinal n

G cyclique tout s-g est cyclique

G cyclique, d|n il existe un unique s-g de cardinal d, c’est{x ∈ G/xd_{= 1}

} = {xn/d_/x

∈ G} n premier G = Z/nZ

H s-g de G |G| = |G/H||H|

H Cp G, K Cp G, K ⊂ H H/K Cp 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 Reconnaître un groupe G d’ordre n

On notera que les critères ci-dessous couvrent immédiatement les cas n≤ 15, sauf n = 12. Hypothèses Conclusion n premier G' Z/nZ tout élément G' (Z/2Z)q est d’ordre≤ 2 n = 2p avec ∃H ⊂ G p premier G_{' Z/2Z × H} ou G' Z/2Z o H (groupe diédral Dp)

Sous-groupe d’indice 2 Amgroupe

Sm alterné

n = pq si q6≡ 1(p) p et q premiers alors G' Z/nZ

p < q 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 près)

n = 8 (Z/2Z)3_{ou Z/8Z}

abélien Z/2Z× Z/4Z

n = 8 non abélien diédral D4

ou quaternions

n = p2_{, p premier} _G_{' Z/p}2

(20)

1.27 Etude d’un groupe abélien fini G

Card(G) = Πpni

i Existence de

Hi ⊂ G de card pnii garantie,

unique

Décomposition primaire : G iso-morphe au produit des Hi

FLEMMARD

Décomposition cyclique : G iso-morphe au produit des Z/niZavec 1 < n1|n2|n3| . . . |nl(ni) suite des

invariants de G (existence et uni-cité)

1.28 Etude d’un groupe fini G

G simple Existence de N Cp G G = Z/pZ ∃H/H ∩ N = {1} ∧ HN = G

avec p pour l’un des (N, H) possibles avec

premier ? _{N Cp G}

Non Oui

Groupe Etude Peut-on imposer H_{Cp G ?}

alterné du Alias :∀(h, n) ∈ H × N hn = nh ?

Anavec quotient Oui Non

n > 4 ? Produit Produit

direct semi-direct

N× H N o H

(21)

1.29 Anneaux

Type d’anneau Propriétés Exemples

Formule de Newton L(E, F )

seulement pour des éléments qui commutent

Commutatif a associé à b implique (a) = (b) C∞(Ω, R) avec Ω ouvert de Rn

Noethérien

Commutatif, tout idéal est de type fini, toute suite croissante d’idéaux est ultimement station-naire, tout quotient est noethérien,

A[X1, ..., Xn] noethérien.

Intègre

Commutatif, (0) est un idéal

pre-mier, a associé à b ⇐⇒

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

d’association est isomorphe pour l’ordre à l’ensemble des idéaux,

A[X1, . . . , Xn] est intègre

H(Ω) avec Ω ouvert connexe,

quo-tient d’un anneau par un idéal pre-mier

Factoriel Intègre, irréductible ⇐⇒ premier, lemme d’Euclide, th. de Gauss Principal

Factoriel, noethérien, les idéaux sont (0) et les (p) avec p irréduc-tible

K[X] avec K corps

Euclidien Principal Z, K[X], Z[i], Z[√2]

Corps K Seuls idéaux :{0} et K

Z/pZ avec p premier, Q,R,C, Q(i), K(X) avec K corps, corps des

frac-tions d’un anneau intègre

1.30 Calcul différentiel

Rappelons qu’une dérivée ou une fonction continue (sur un intervalle de R !) satis-font la propriété des valeurs intermédiaires.

(22)

Hypothèse Conclusion

f : V → W

V ouvert d’un Banach E W ouvert d’un Banach F

Homéomorphisme C1

f C1-difféomorphisme si

et seulement si ∀x ∈ V

f0_(x) _{∈ Isom(E, F )}

(isomor-phisme de Banach) Théorème d’inversion locale

f C1 _{de U (ouvert d’un Banach}

E) dans F (Banach), f0(a) ∈ Isom(E, F )

f induit un C1 _{difféomorphisme}

entre un voisinage ouvert de a et un voisinage ouvert de f (a).

Corollaire

f C1_{de U (ouvert d’un Banach E)}

dans F (Banach)

f C1_{-difféo de U sur son image}

(ouverte) si et seulement si f injec-tive et∀x f0_(x)_{∈ Isom(E, F )}

[a, b] segment de R, b6= a, f de [a, b] dans un espace vectoriel normé .

Polynôme de Taylor à l’ordre n de f en a :

Pf,a,n(x) = f (a) +P n k=1 f(k)_(a) k! (x− a) k Formule de Taylor-Lagrange

f Cn_{n + 1 fois dérivable sur ]a, b[} ∃c ∈]a, b[/f(b) = Pf,a,n(b) + fn+1_(c)

(n+1)!(b− a) n+1

Inégalité de Taylor-Lagrange

f Cn_{n + 1 fois dérivable sur ]a, b[,}

fn+1_{bornée par M sur ]a, b[} kf(b) − Pf,a,n(b)k ≤ M(b−a)

n+1

(n+1)!

Formule de Taylor avec reste intégral

f Cn+1_{sur [a, b]} f (b) = f (a) + Pf,a,n(b) +

1 n! Rb af (b− t) n_.fn+1_(t)dt Formule de Taylor-Young

f n fois dérivable en a f (x)− Pf,a,n(x) = o((x− a)n)

La première proposition est certes plus faible que le corollaire du théorème d’in-version locale, mais elle fait appel à de moins gros résultats, d’où son intérêt.

1.31 Equations différentielles

δx

δt = f (t, x), f application de I× E dans E, avec E un espace de Banach . CI :

f (t0) = x0.

Il faut savoir ramener l’étude d’une équadif d’ordre n à l’étude d’une équadif d’ordre 1.

(23)

f C0 _{Existence d’une solution}

Th. de Cauchy-Lipschitz

f localement lipschitzienne en x ∃! solution maximale xt0,x0

Dépendance aux conditions initiales

f lipschitzienne en x (t, x0)7→ xt0,x0(t) continue

Th. de Cauchy-Lipschitz, ordre n

x(p)_{= f (t, x, x}(1)_{, . . . , x}(n)₎

f C0 _{⇒ Existence d’une solution}

maximale f localement lipschitzienne en (x(i)₎ i∈[1,n]⇒ Unicité Dépendance à un paramètre δx δt = f (t, x, λ |{z} ∈L ) avec L es-pace topologique et f C0 _et

k-lipschitzienne en x, avec k indépen-dant de t et λ

∃!xλ/xλ(t0) = x0

(t, λ)7→ xλ(t) C0

Equadifs linéaires d’ordre 1

x0 = a(t)x + b(t) a C0de I dansL(E, E), b C0de I dans E

x = exp(Rt

t0a(u)du)x0+ xp(t)

avec xp solution particulière,

cher-chée sous la forme xp(t) =

λ(t)exp(Rt

t0a(u)du),

Divers exemples

Equation à variables séparées (dx/g(x))0= f (t)dt x0(t) = f (t)g(x(t))

Equation de Bernouilli pour se ramener à du linéaire :

x0(t) + p(t)x(t) + q(t)xα_{= 0} _{diviser par x}α

α∈ R \ {1} et poser z(x) = x(x)1−α

Equation homogène poser y(t) = t x(t)

x0(t) = f (x(t)_t ) ou passer en coord. polaires 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 C1 poser y = x0, t = g(x). On obtient alors l’équation linéaire

dt dy =

a0(y)t+b0(y) y−a(y)

Equation de Riccati Trouver une solution particulière xp

x0(t) = a(t)x(t)2+ b(t)x(t) + c(t) puis poser x = xp+ 1/y, l’équation

(24)

Bibliographie

[1] P. BARBE, M. LEDOUX, Probabilité, BELIN, 1998. [2] H. BRÉZIS, Analyse fonctionnelle, MASSON, 1983. [3] H. CARTAN, Calcul différentiel, FLEMMARD.

[4] A. CHAMBERT-LOIR, S. FERMIGIER, V. MAILLOT, Exercices de mathéma-tiques pour l’agrégation, Analyse 1, MASSON, 1997.

[5] A. CHAMBERT-LOIR, S. FERMIGIER, Exercices de mathématiques pour

l’agré-gation, Analyse 2, MASSON, 1995.

[6] A. CHAMBERT-LOIR, S. FERMIGIER, Exercices de mathématiques pour

l’agré-gation, Analyse 3, MASSON, 1996.

[7] P.G. CIARLET, Introduction à l’analyse numérique matricielle et à

l’optimisa-tion, DUNOD, 1998.

[8] F. COMBESAlgèbre et géométrie, BRÉAL, 1998. <

[9] J.-P. DEMAILLY, Analyse numérique et équations différentielles, PRESSES

UNIVERSITAIRES DEGRENOBLE, 1996.

[10] W. GIORGI, Thèmes mathématiques pour l’agrégation, MASSON, 1998. [11] A. GRAMAIN, Intégration, HERMANN1988, PARIS.

[12] J.-L. KRIVINE, Introduction to axiomatic set theory, D. REIDELPUBLISHING

COMPANY, DORDRECHT-HOLLAND.

[13] S. LANG, Real analysis, ADDISON-WESLEYPUBLISHING COMPANY, 1969. [14] D. PERRIN, Cours d’algèbre, ELLIPSES1996.

[15] A. POMMELLET, Cours d’analyse, ELLIPSES1994. [16] W. RUDIN, Analyse réelle et complexe, MASSON1992.

[17] R. SMULLYAN, Théorie de la récursion pour la métamathématique,

FLEM-MARD.

[18] Y.G. SINAI Probability theory - An introduction course, SPRINGER TEXT

-BOOK, 1992.

[19] P. TAUVEL, Mathématiques générales pour l’agrégation, MASSON, 1997. [20] J. VAUTHIER, J.J. PRAT, Cours d’analyse mathématiques de l’intégration,

MASSON, 1994.

[21] D. WILLIAMS, Probability with martingales, CAMBRIDGE UNIVERSITY

PRESS, 1991.

[22] C. ZUILY, H. QUEFFÉLEC, Eléments d’analyse pour l’intégration, MASSON, 1995.