Vous êtes sur la page 1sur 140

.

Les cahiers de prpas .


.
. de
Revue .
mathematiques et .d' .
informatique
pour les classes prparatoires aux grandes coles dingnieurs
N 1. .

Avril 2011

Dans ce numro
1 Des articles scientiques et de
vulgarisation en rapport avec les

.
mathmatiques ;

1 Des cours sur des parties mal


documentes du programme ; .

1 Un spcial .prparation aux


concours, avec plusieurs corri-
gs de sujets de concours et des
problmes originaux avec leurs
corrigs ;

1 Une rubrique informatique


avec pour ce numro, un article
sur le langage C et un autre sur
lutilisation du logiciel Maple en
calcul matriciel.

S p c i a l
Prparation aux
. concours
. Porpos par la Branche Maths - Info
de l association marocaine des professeurs agrgs
. . 2 .

Les cahiers de prpas N 1

Les cahiers de prpas Ce numro est tlchargeable au format PDF sur le site
Numro 1 ampa.asso.st

Revue scientique consacre aux classes prparatoires


aux grandes coles dingnieurs

ralise par
La Branche Maths Info
de LAssociation Marocaines des Professeur Agrgs

Conception maquette
Sadik Boujaida
ibouja@gmail.com

Charg de la communication Concption () LATEX


Moulay Smail Mamouni
mamouni.myismail@gmail.com
Sadik BOUJAIDA
Rdaction
ibouja@gmail.com

Sadik Boujaida Karim Chaira


Mohammed Errachid Lahcen Lhachimi
Moulay Smail Mamouni Khalid Ounachad
Abdellatif Rochdi Mustapha Saadaoui
Mimoun Taibi Mohammed Tarqi

Responsable de la rubrique informatique


Sadik Boujaida .

Dpot Lgal
(en cours)
.

-
.
. Les cahiers de prpas N 1
.
3 .

dito
Les membres de la branche Maths-Info de lAssociation Marocaine des
Professeurs Agrgs, sont heureux de prsenter cette revue. Bien que celle-ci ait
t conue destination des lves des classes prparatoires scientiques, elle peut tre
protable aux tudiants du premier cycle universitaire ou assimil. Son propos est
teneur pdagogique et scientique. Elle privilgie l'information concrte et pragmatique
et s'abstient de toute surenchre ditoriale. Elle se veut aussi un espace o les
enseignants peuvent exprimer leur savoir faire et faire proter de leur exprience un plus
large publique que le domaine restreint des classes qu'ils ont en charge.

Il a t choisi, pour ce numro du moins, de diffuser la revue uniquement en ligne, sous


sa forme numrique. Et ce an de se dispenser des tracas de l'dition papier et des alas
de la distribution. C'est ainsi que le format (du A4 en mode paysage, avec
principalement deux colonnes, trs populaire parmi notre gente estudiantine) retenu
pour la mise en page est peut tre inhabituel pour une revue, mais il l'a t dans le but
de permettre tout un chacun d'en produire une version imprime avec un cot
optimal, tout en prservant des conditions dcentes d'utilisation.
.
Le contenu n'est pas en reste de cette vision des choses : privilgier l'aspect pratique et
l'information immdiatement utile et utilisable. Ce premier numro, par exemple, a t
pens pour soir aux besoins actuels de nos lves, qui entament pour ceux des classes
de deuxime anne, la phase terminale de leur prparation aux concours.

Nous esprons que ce premier opus serait protable nos lves. Qu'il dclenchera
aussi l'adhsion de nos enseignants au projet pour les prochains numros. Sans leur
apport cette production, ne saurait survivre au del de quelques parutions. Leurs
comptence et la maitrise de leurs mtiers n'offrent pas de place au doute, mais il faut
en diversier les voies de canalisation. Nous esprons aussi par ce travail, contribuer
combler le vide ditorial qui rgne dans notre secteur.

Sadik Boujaida

-
.
. . 4 .

Les cahiers de prpas N 1

Les cahiers de prpas 46


Fonctions et
Table des. matires Enonc avec son corrig dun problme original sur les fonctions beta et Gamma

du numro 1 56
Problme de Dirichlet
Un problme avec son corrig sur le problme de Dirichlet. Une adaptation dune preuve
du CNC datant de 1994.

5
Lhistoire des nombres, Premire partie
65
Endomorphismes nilpotents et crochets de Lie
Le premier dune srie de sept articles avec illustrations sur lhistoire des nombres Un problme avec son corrig sur une caractrisation des endomorphismes nilpotents

10
Topologie algbrique : Introduction 71
en dimension nie, et quelques applications du rsultat tabli.

Utilisation de la topologie en algbre linaire


Le premier dune srie de trois articles sur la gomtrie algbrique. Lobjectif tant de
Un problme, avec son corrig, sur lutilisation des notions de topologie en algbre
dmontrer un rsultat utilis par lauteur dans sa thse de doctorat

15
linaire

Fonctions de Bessel
79
CNC 2001, Maths I, MP
Un cours sur les fonctions de Bessel

21
Corrig de la premire preuve de la session 2001 du concours national commun.

Fonctions holomorphes 85
Centrale 2001, Math II, filire PSI
Un cours, avec des exercices rsolus, sur les fonctions holomorphes. Conforme au
Corrig de la deuxime preuve de la session 2001 du concours de lcole Centrale, lire
nouveau programme marocain des classes MP et PSI

35
PSI. Le sujet traite des dcompositions matricielles LU , QR et celle de Cholesky

Transformations affines euclidiennes du plan 93


CNC 2003, Maths I, filire MP
et de lespace Corrig de lpreuve Math I du CNC 2003, un sujet sur la transforme de Fourier. On y
Un cours sur les transformations en gomtrie euclidienne, en dimension 2 ou 3, avec dmontre en particulier le principe dinversion de cette transformation.
une approche originale.

-
.
. Les cahiers de prpas N 1
.
5 .

99
CNC 2010, Maths I, MP
Corrig de la premire preuve de la session 2010 du CNC, lire MP. Le sujet traite
lquation de la chaleur.

104
Mines 2011, Maths II, MP
En exclusivit, le corrig de lpreuve Math II du concours Mines 2011.

109
Mines 2011, Maths I, MP
Corrig de lpreuve Mines de cette anne, Maths II, lire MP. Le sujet donne deux
applications de la dcomposition de Dunford pour caractriser la diagonalisabilit dune
matrice A, en fonction des proprits de lendomorphisme M z AM MA de
Mn (C)

114
Prcis de langage C
Rcapitulatif des lments de base du langage de programmation C.

119
Algbre linaire avec Maple
Un cours relativement avanc sur lutilisation du logiciel Maple en algbre li-
naire
o

-
.
.

Quest ce que Wikipedia ?


Wikipedia, lencyclopdie libre, est une encyclopdie multilingue, librement diffu- } Culture gnrale ~
sable, disponible sur le web. Elle a t cre en 2001 et est devenue lun des sites web
les plus visits dans le monde. Elle est hberge par une fondation amricaine, la
Wikimedia Foundation.

Son fondateur Jimmy Whale, aprs lchec dune exprience prcdente (Nu-
Lhistoire des nombres, Premire
pedia), cona sa cration Larry Sanger titre de rdacteur en chef. Contrairement
Nupedia, elle a depuis ses dbuts fonctionn selon un mode de rdaction des
partie
articles totalement libre, sans comit central de contrle, avec comme compensa-
tion un systme tout aussi libre pour rapporter les abus et les imprcisions. Elle
a t aid en cela par lapparition dune nouvelle technologie, quelle a dailleurs
largement contribu populariser, la technologie wiki. Un wiki est un site web
dont le contenu nest plus limit une consultation passive de lutilisateur, mais
est immdiatement ditable par celui-ci, selon plusieurs niveaux de permissions, et propos par Abdellatif Rochdi
ce dans le Navigateur web lui mme. Ainsi les articles publis sur Wikipedia, une
fois cre par un utilisateur, sont modiables par les visiteurs du site. Ce qui peut en Facult des sciences Ben Msick, Casablanca
apparence poser un problme de abilit des informations mise disposition des .
visiteurs. Mais au nal le publique exerce une sorte dauto-rgulation qui fait que, .
dans certains domaines plus que dautres, la qualit des article mis en ligne gale
presque celle des autres encyclopdies numriques dites commerciales. Nos
. connaissances mathmatiques acquises depuis lenseignement pri-
maire
. jusquaux annes de licence sont le fruit des travaux raliss au
Les articles sur les sciences pures sont ceux qui bncient de la plus grande
justesse, et cest souvent conrm par des comparatifs raliss par des magazines cours
. de la priode, relativement rcente, qui stale de la renaissance .
scientiques clbres (tel Nature). Ceci est peut-tre d au fait que la nature
mme des sujets traits ne prte pas la polmique et quils sont souvent rdigs
.
en. Europe Occidentale jusqu aujourdhui. Cependant il a fallu l-
par des personnes qui font autorit dans leurs domaines.
humanit
. plusieurs millnaires pour domestiquer le nombre. Ceci est
Wikipdia peut constituer un point de dpart pour tout essai de documentation l'aboutissement d'un long processus et travail d'abstraction de la pense
sur un sujet scientique. En cela il peut savrer une ressource inpuisable pour
.
les lves des classes prparatoires en qute de sujets pour la prparation de leurs travers les civilisations qui se sont succdes.
T.I.P.E (Travail dInitiative Personnel de llve). Mais peut aussi, dans un registre
plus oisif, leurs fournir des informations sur les sujets qui les intresse, en allant de
la biographie de leur artiste prfr ou la che technique dun lm lhistorique de
la voiture de leurs rve.
Des symboles numriques sont trouvs dans les restes des premires critures
Signalons que laspect libre de Wikipedia est concrtis par le fait quelle soit humaines. Mme dans lge de pierre ( /-10 000) nous les trouvons en forme
accessible, sans support dinstallation ni une quelconque formule dabonnement, d'entailles dans des os ou comme des marques sur les murs de grottes. C'tait l'ge
sur nimporte quel matriel disposant dun Navigateur web. Ce qui inclut tous
les ordinateurs et tablettes, certains tlviseurs ... et notamment les tlphones o l'homme a vcu comme un chasseur et aujourd'hui nous pouvons seulement
portables dits intelligents (smartphones). Certains de ces derniers appareils ont spculer si |||| a, par exemple, t destin pour reprsenter la quantit de gibier
des applications ddies la consultation du site, avec des capacits de balisage chass. Les systmes de nombres marquent le dbut de l'arithmtique.
(bookmarks) et de gestion de lhistorique de consultation des articles. Et parfois
mme ses applications sont capables de rapatrier tout le contenu (encore un
avantage de laspect libre) de Wikipedia pour une consultation ofine.

ampa branche maths - info

.
. Les cahiers de prpas N 1
.
Lhistoire des nombres, Premire partie 7 .

Palolithique suprieur 1 (-35 000/-10 000) Maya (-4. e/1697)


Indo ( -300/700 ). - Arabe (3e/13e s.)
Prsence dENTAILLES NUMERIQUES en Europe. Les hommes,
qui durent apprendre conserver les nombres , avaient en passant par la
leur disposition deux supports privilgis, les os et le bois. Pour .
Renaissance Europenne (14e/17e s.)
mmoriser combien il y avait dlments dans un ensemble
Jusqu lpoque actuelle.
de choses (btes, hommes ou objets), les hommes du Paloli-
thique faisaient une marque (souvent une entaille) sur le sup-
port choisi. Des os numriques de prs de -30 000 ans ont
Nous dbutons cette histoire par cette premire partie intitule :
t retrouvs.

Msolithique 2 (-10 000/-6 000) Apparition du nombre dans les premires civili-
sations (Babylonienne, Egyptienne et Chinoise)
Apparition des CALCULI au MOYEN ORIENT. Cest en Mso-
potamie et dans dautres lieux du Moyen Orient (-8 000) quap-
paraissent les calculi. Dans la pratique, chaque caillou vaut un
et pour des raisons de commodit vidente, on eut lide de Les premiers documents reviennent aux premires civilisations de la valle du Nil,
remplacer un tas par un seul caillou de nature diffrente, par sa et celle de l'Euphrate et du Tigre. (Voir carte, page 9)
couleur ou par sa forme. On retrouve dailleurs en Msopota-
mie chez les sumriens des objets fabriqus (pierres dargile),
les calculi (calculus, caillou en latin), ds la moiti du 4me
Numrotation Babylonienne ( -3 000/-539)
millnaire av J.-C.
Dans la numrotation sumrienne, qui est de base 60, le petit
cne vaut 1, la bille 10, le grand cne 60, le grand cne perfor Les Babyloniens ont utilis des symboles cuniformes sur des tablettes d'argile.
3 600 et la sphre perfore 36 000. Ceux-ci ont t bass sur une dcimale mlange et une notation de position
sexagsimale :g signiant 1, 601, 602, ; tandis que signiant 10, 10.601,
10.602,et cetera. Un symbole zro n'tait toujours pas utilis par les Babyloniens
Vestiges des premires utilisation des nombres et ils n'ont jamais utilis une marque comme notre point dcimal. Dans une
notation positionnelle le rle du zro est celui d'un signe marquant "un cart"
(trou). Un signe de cette sorte, deux petites marques de cale
Nous allons prsenter, dans une srie de paragraphes, lvolution du nombre
depuis les premires civilisations

Babylonienne (. -3 000/-539)
. 150/-715)
Egyptienne (-3 doit tre trouv dans un vieux texte Babylonien de Susa ([2] 12, p. 4), mais
seulement dans cas isols ( [6], p. 28).
.
Grecque (-800/-200)

1
En absence d'un tel signe, la valeur positionnelle doit tre dduite dans chaque cas
Age de la pierre taille
2
dbut de la sdentarisation agricole du contexte. Ainsi, par exemple, g pourrait signier n'importe lequel des

-
.
. . 8 Lhistoire des nombres, Premire partie
.

Les cahiers de prpas N 1

nombres
21.60+10, 21.602+10.601, 10.601 ou 21.602+10 et cetera. (-1900/-1600) Premire NUMEROTATION DE POSITION (savante)

Des exemples de fractions sexagsimales sont gggpour 0.30 = 30/60 = 1/2 ou

ggg . .
ggg
pour 0.64 = 6. 1/601+40. 1/602 = 1/9. (Pour les dtails de calcul de Babyloniens
voir [3], - [2]).
A gauche : Tablette sumrienne (-2 000) donnant un dcompte du btail au moyen
Les Babyloniens ont t des arithmticiens et algbries fortement dous. Ils ont dvelopp des signes et chiffres cuniformes. A droite : Une table de multiplication par 25
des tables sophistiques pour l'utilisation dans des calculs incluant la multiplication (-2 000) provenant de Suse (Msopotamie).
et la division pour rsoudre des quations quadratiques du troisime degr. Ils
ont donn des rgles pour rsoudre des quations quadratiques mlanges par (-3e sicle) Invention du ZERO par les BABYLONIENS
le processus "de l'achvement du carr" et mme pour rsoudre des quations Ce zro nest pour linstant, pas conu comme un nombre pouvant tre utilis lors de calculs. Il
du troisime degr mlanges l'aide des tables de x2(x+1). En tout cas il est sert simplement exprimer labsence dunits dun certain ordre.
sr d'armer que les Babyloniens, avec leurs mthodes habiles et ingnieuses
de calcul ont exerc une inuence considrable sur le dveloppement ultrieur
d'arithmtique et l'algbre.
Numrotation Egyptienne (Hiroglyphique) (-3 150/-715)
(-3300/-3200) Premire NUMEROTATION ECRITE (chiffres) SUMER (Msopo-
tamie) et en ELAM (Iran) Les hiroglyphes pour les nombres 10 000, 100 000 et 1 000 000 doivent tre
Lcriture est ne en Msopotamie puis labore pour la gestion de lempire, terres, troupeaux, trouvs sur une maque du Roi Narmer, de la premire dynastie Egyptienne (3000).
hommes, grains Dans les premires tablettes dargile, ayant rvl lcriture, apparaissent des Les images utilises peuvent se rfrer aux pratiques lies aux nombres appropris :
nombres. Numration crite et criture semblent tre contemporaines.

(-2700) Apparition des CHIFFRES SUMERIENS CUNEIFORMES


Chiffres Hiroglyphes Valeur Signification prsume
|
2
(-2000) Apparition de la BASE DECIMALE 1 Un bton, voque lunit
10 Une anse de panier, peut contenir environ 10 objets
3 100 Un rouleau de papyrus, on peut y mettre environ 100
hiroglyphes

4 1000 Une eur de lotus, on les trouve par milliers

-
.
. Les cahiers de prpas N 1
.
Lhistoire des nombres, Premire partie 9 .

Pour excuter les calculs de cette sorte avec des fractions gnrales, on a be-
soin de pouvoir exprimer les moitis et doubler des fractions d'unit comme
5 10 000 Un doigt montrant le ciel nocturne, on y voit prs de les sommes de fractions d'unit avec des dnominateurs impairs. Le papyrus
10 000 toiles Rhind (environ 1650 av. J.-C) contient des tables donnant de telles dcom-

6
positions de la fraction 2/n pour entiers impairs n. (Pour les dtails de calculs
100 000 Un ttard, on en trouve de lordre de 100 000 aprs Egyptiens, voir le Papyrus de Moscou [5] et le Papyrus Rhind [4].)
la ponte

7 1 000 000 Un dieu agenouill supportant le ciel, le dieu est ter-


o
nel et 1.000.000 dannes est synonyme dternit

Tab. 1.1 : Hiroglyphes numriques de lancienne Egypte

Il est galement possible que les symboles reprsentent des objets dont la lettre
initiale est la mme que le mot pour le nombre correspondant. De nouveaux
nombres sont forms par une notation additive base sur la juxtaposition, par
exemple,

66554 = ou 52= .
.
Ainsi l'addition et la soustraction ne prsentent aucun problme. Par exemple,

2||= 12 ajout , 2| = 11 donne 22|||= 23.


La multiplication et la division sont rduites une succession doprations de
doublement et de division par deux. Les fractions rsultantes sont exprimes comme
des sommes de fractions d'unit (fractions dont le numrateur est 1), le signe tant
utilis pour indiquer que le symbole du nombre au dessous duquel il est plac
reprsente le dnominateur d'une fraction d'unit. Ainsi par exemple la fraction
1/12 est crite comme

Pour reprsenter la fraction 3/12, les calculs trois fois un douzime sont
excuts comme suit : 1 1/12 (c'est dire une fois 1/12 = 1/12) 2 1/6
(doublement) de manire que la fraction 3/12 soit crite comme 1/6 1/12,
cest dire

-
.
. .
10 Lhistoire des nombres, Premire partie
.

Les cahiers de prpas N 1


. 1.1 : Les premires critures servaient de livres de comptabilit ou d'inventaires

-
.
.

propos de lauteur de larticle


.N en 1970 Midelt, au pieds du Jbel Al } Article scientifique ~
Ayachi (Moyen Atlas) o il a suivi ses tude
secondaire jusqu 1988, lauteur a obtenu
sa licence en mathmatiques pures luni- Topologie algbrique : Introduction
versit de Fs en 1993. Agrg en math-
matiques en 1995, il a depuis intgr les
classes prpas (Fs, Marrakech, Agadir, Ca-
sablanca, Sal, Rabat). Docteur en math-
matique (topologie algbrique) en 2009
luniversit de Casablanca. Il poursuit ac- par My Smail MAMOUNI
tuellement, distance, des tudes de Master en sciences de lduca- Lyce Moulay Youssef Rabat
tion luniversit de Rouen en France. .
. .
Il a trs top intgr loutil informatique dans son travail, et a cr un Le.but de ce premier article dans une srie de trois articles, est de donner
site internet, qui a volu avec les annes et peut maintenant reven-
les. outils ncessaires, ceux de la. topologie algbrique, pour faciliter la
diquer un nombre de visites respectable. M. Mamouni est aussi un
membre trs actif du corps des enseignants de classes prparatoires et
lecture
. du 3me article, o il sera question d'noncer et dmontrer l'un .
a plusieurs fois particip lorganisation dvnements au prot des des travaux de recherches de l'auteur.
lves et des professeurs. Il est aussi membre de groupes de recherche
nationaux, rgionaux (maghrbin) et internationaux. Dans tout cet article, Q e le corps de base de tous les espaces eoriels considrs.

I. Introduction

La topologie algbrique, anciennement appele topologie combinatoire, est une


branche des mathmatiques appliquant les outils de l'algbre dans l'tude des
espaces topologiques. Plus exactement, elle cherche associer de manire naturelle
des invariants algbriques aux structures topologiques associes.

L'ide fondamentale est de pouvoir associer tout espace topologique des objets
algbriques (nombre, groupe, espace vectoriel, ....), de sorte qu' deux espaces
homomorphes sont associes deux structures isomorphes. De tels objets sont
appels des invariants algbriques. Comme exemple simple d'invariant topologique,
(X) : le nombre de composantes connexes d'un espace topologique X . L'une des

-
.
. .
12 Topologie algbrique : Introduction
.

Les cahiers de prpas N 1

applications clbres de la topologie algbrique est le fameux thorme du point xe cohomologie. Un cocycle est un cobord si et seulement si sa classe de cohomologie
de Brouwer : toute application continue du disque unit de Rn dans lui-mme admet un est nulle.
point xe.
Un morphisme de complexes de cochaines (C, d) (D, d ) est une application
linaire telle que n = C n C n D n avec
II. Un peu dhistoire d = d .

Autrement dit tel que le diagramme suivant commute


Initialement appele topologie combinatoire car elle prend sa source avec le pro-
blme des ponts de Knigsberg, la topologie algbrique (terme d Listing, tir du C
d
C
d
. . .
d
Cn
d
C n+ . . .
grec logos = tude, raisonnement et topos = lieu, site), fonde par Henri Poincar, n n+
initie par Emmy Noether et dveloppe par Hopf, est une branche rcente et trs d d d d
complexe de la topologie. D D . . . Dn D n+ . . .

On peut dnir d'une faon naturelle la compose de deux morphismes de co-


III. Cohomologie chaines, ainsi que le morphisme identit. Ainsi un morphisme de complexes de
cochaines C D envoie cocycles sur cocycles et cobords sur cobords en chaque
tage de la cohomologie et induit un morphisme de groupes abliens sur les groupes
Un complexe de cochaines est une suite d'espaces vectoriels (C n )nN et d'applications de cohomologie en posant
linaires d n C n C n+ tels que d n+ d n = . Autrement dit Imd n ker d n+ . On
pose alors C = C n et d n = dC n , et le couple (C, d) dsignera dans la suite un H () H (C) H (D)
nN [x] z [(x)]
complexe de cochaines. Les lments de ker d s'appellent des cocycles, ceux de Imd
des cobords. C'est Emmy Noether qui ft la premire dnir le groupe ablien qui Il est facile de vrier que :
mesure l'obstruction pour un cocycle d'tre un cobord :
H (g f ) = H ( f ) H (g) et que H (idC ) = idH (C)

H n (C, d) = ker d n+ /Imd n (p me groupe de cohomologie)

IV. Homologie
La cohomologie du complexe (C, d) est dnit par la relation :

Un complexe de chaines est une suite d'espaces vectoriels (C n )nN et d'applications


H (C, d) = H n (C, d)
nN linaires d n C n C n tels que d n d n = . On pose alors C = C n et d n = dC n ,
nN
et le couple (C, d) dsignera dans la suite un complexe de chaines. Les lments de
Ainsi, tout cocycle x dnit un lment [x] dans H (C, d), appele sa classe de ker d s'appellent des cycles, ceux de Imd des bords. L'homologie du complexe (C, d)

-
.
. Les cahiers de prpas N 1
.
Topologie algbrique : Introduction 13 .

est dnit par les relations : et inversement, et donc la donne de l'une (homologie ou cohomologie) permet de
construire l'autre. Considrons par exemple la donne complexe de chaines (C, d),
H n (C, d) = ker d n+ /Imd n (p me groupe d'homologie) on dnit complexe de cochanes dual (C , d ) par les relations suivantes :

- C n = (C n ) , espace dual de C n ,

H (C, d) = H n (C, d) - d n = (d n+ ) , application linaire transpose de d n+ ,


nN

Rappelons qu'en gnral si f X Y est une application linaire et Z un Q-espace


Un morphisme de complexes de chaines (C, d) (D, d ) est une application vectoriel quelconque, on pose
linaire telle que n = C n C n D n avec
f L(Y , Z) L(X, Z)

d = d . g z gf

Autrement dit tel que le diagramme suivant commute


d d d d VI. Suites exactes
C C . . . Cn C n+ . . .
n n+
d d d d
D D . . . Dn D n+ . . . Une suite exae courte de complexes de chaines est la donne de complexes de co-
chaines (C, D, E) et de morphismes de complexes de cochaines f C D, g D E
fn gn
On peut dnir d'une faon naturelle un morphisme de groupes abliens sur les tels que pour tout n la suite de morphismes de modules E n Fn G n
groupes d'homologie en posant soit exacte, c'est dire : f n injective, g n surjective avec Im f n = ker g n .

H () H (C) H (D)
. ( ) : Soit
[x] z [(x)] f g
E F G une suite exacte courte de complexes de chaines, alors
Il est facile de vrier que : il existe une suite exacte longue
H (g f ) = H (g) H (g) et que H (idC ) = idH (C)
H ( f ) H (g)
H n (C) H n (D) H n (E)

V. Dualit homologie-cohomologie H ( f ) H (g)
H n (C) H n (D) H n (E)

Elle existe un dualit naturelle entre les notions d'homologie, plus prcisment la
s'appelle le connectant de la suite exacte.
donne d'un complexe de chaine permet de construire un complexe de cochaines

-
.
. .
14 Topologie algbrique : Introduction
.

Les cahiers de prpas N 1

: Construisons tout d'abord le morphisme H n (E) H n (C). [z] = , x C, y D construits comme prcdemment tels que z = g(y) et
f (x) = d y donc [x] = [z] = , d'o x est un bord, soit x C tel que x = dx et
Soit z un n-cycle de E , on dsire lui associer un n-cycle x de C et un seul modulo un y = y f (x ), donc g(y ) = y = z car g f = en raison de l'exactitude de la suite
bord. Comme g n est surjective il existe y D n tel que g n (y) = z , d'autre part d y D n courte, en plus d y = d y d f (x ) = d f (x) f (dx ) = , donc y est un cycle de D, donc
et g n (d y) = d g n (y) = dz = , donc, par exactitude d y ker g n = Im f n , il existe donc H (g)[y] = [g(y)] = [z], d'o [z] ImH (g).
x C n tel que f n (x) = d y . On pose alors [z] = [x].
Et de mme on vrie l'exactitude au niveau de H n (E), c'est dire montrer que
Vrions maintenant que est bien dni. Im = ker H ( f ). En eet, avec les notations prcdentes
Tout d'abord x est bien un cycle car f n (dx) = d f n (x) = dd y = , or f n est injective par H ( f )([z]) = H ( f )[x] = [ f (x)] = [d y] =
exactitude, d'o dx = .
D'autre part [x] ne dpend pas des choix de z dans [z] ni des lments y, x qui interviennent
dans la construction ci dessus.
VII. Homologie singulire
En eet soit z , y , x un autre choix, alors [z ] = [z], g(y ) = z , f (x ) = y , on te
les indices sans crainte de perdre la gnralit. donc z" E tel que z z = dz" et
soit y" D tel que z" = g(y"), il existe grce la surjection de g de l'exactitude. Donc On se propose dans la suite de construire pour tout espace topologique X , une
g(y y d y") = z z g(d y") = z z d g(y") = z z dz = ", en utilisant homologie particulire, H (X; Q) dite homologie singulire de X coecients dans
l'exactitude encore une fois au niveau de D, soit x" C tel que y y d y" = f (x"), alors Q.
f (x x dx") = d y d y d f (x") = dd y" = , or f est injective, d'o x x dx" = , et
donc [x] = [x ]. Soit p N, on appelle p-simplexe andard, l'ensemble
Vrions maintenant l'exactitude de la suite au niveau de H n (D), c'est dire p
ImH ( f ) = ker H (g). p = {(t , . . . , t p ) R p+ tel que t i , t i = },
i=
On sait que H (g f ) = H (g) H ( f ), et g f = d'o H (g) H ( f ) = et donc
ImH ( f ) ker H (g). autrement dit l'enveloppe convexe de la base canonique de R p+ . On appelle p-
simplexe singulier de X , toute application continue p p X . On note par
Rciproquement soit y un cycle tel que [y] ker H (g), d'o [g(y)] = H (g)(y) = et C p (X) le Q-espace vectoriel engendr des p-simplexes singuliers, ses lments sont
donc g(y) est bord, soit z E tel que g(y) = dz et soit y C tel que z = g(y ), il existe de la forme = n , p (o n Q) et sont appels des p-chanes singulires. Le
puisque g est surjective, donc g(y d y ) = , car g commute avec d , d'aprs l'exactitude ni
y d y Im f , soit donc x C tel que y d y = f (x), donc [y] = [ f (x)]. D'autre part morphisme de bord d C p (X) C p (X) est dni par les relations
f (dx) = d f (x) = d y dd y = car y cycle, et comme f est injective alors x est un cycle et
donc H [x] = [ f (x)] = [y], d'o [y] ImH ( f ). d i , p (t , . . . , t p ) = , p (t , . . . , t i , , t i , . . . , t p )
p
Vrions ensuite l'exactitude au niveau de H n (E), c'est dire montrons que ImH (g) = ker . d = () i d i
i=
Si y est un cycle de D, posons z = g(y) et x E tel que [x] = [z], donc par construc-
tion de on a f (x) = y Comme y est un cycle et f injective, d'o x = et donc On vrie (laiss au lecteur acharn) que d = d d = . On obtient ainsi
H g([y]) = [g(y)] = [z] = [x] = , d'o H (g) = et donc ImH (g) ker .
le complexe de chanes (C, d), dont l'homologie associe H (C, d) est appele
Rciproquement montrons que ker ImH (g). Soit z un cycle de E tel que

-
.
. Les cahiers de prpas N 1
.
Topologie algbrique : Introduction 15 .

homologie singulire de X et note H (X, Q)

H (X, Q) = H (C, d)

Cas particulier X = {x} : Le seul p-simplexe possible est l'application constante


p p {x}, ainsi C p (X) = Q et d i p = p et

p

si p pair
d = (() i ) p =

sinon
i= p

Le complexe de chanes singulires est alors


id
Q Q Q Q

et l'homologie singulire est alors




Q si n =
H n ({x}, d) =

sinon

Remerciements : Okacha Diyer, professeur agrg en mathmatiques, enseignant


aux CPGE Omar Ibn Abdelaziz, Oujda, pour la deuxime lecture.
.
.

-
.
.

} Complment de cours ~

Fonctions de Bessel

par Mimoun Taibi


Lyce Moulay Youssef Rabat
.
.
L'une
. des catgories de fonctions spciales est celle des fonctions de Bessel.
Celles-ci
. jouent un rle important dans les applications notamment dans
.
les. problmes physiques prsentant une symtrie cylindrique. C'est pour- .
quoi on appelle parfois ces fonctions, fonctions cylidriques.

I. Introduction

L'quation direntielle linaire du 2me ordre :

d y dy
() x
+x + (x )y =
dx dx
dite quation de Bessel d'indice R+ , sert de dnition des fonctions de Bessel .
Dans ce thme on va tudier quelques proprits des fonctions de Bessel de pre-
mires espces.

II. Rsolution de lquation de Bessel

L'quation direntielle () est du type : () x y + x p(x)y + q(x)y = o p et

-
.
. Les cahiers de prpas N 1
.
Fonctions de Bessel 17 .

+ +
q sont des fonctions dveloppables en srie entire autour de zro ( ie pour x < r
soit : ((n + ) ) a n x n + a n x n+ = . D'o :
o r > ). n= n=
On peut utiliser la mthode dite de 1 pour dterminer une solution
+
( )a =
x x a n x n o a et R.




(( + ) ) a =
n=
() (( + ) ) a + a =





. : Si f est une solution de l'quation de Bessel, dnie droite


((n + )

) a n + a n =
de , alors la fonction x f (x) est aussi une solution de l'quation (1),
dnie gauche de . Si l'on impose a d'tre dirent de zro, alors vrie : = , donc = .
() p
Par le lemme 3.1, on peut se limiter aux x strictement positifs. Si l'on suppose = , on trouve a p = et a p+ = , p N
+ )...( + p)
p p!(
Si la srie entire [ a n x n ] a un rayon de convergence r > , on a alors : , ainsi la srie entire obtenue est de rayon de convergence r = + et la fonction
n
+


+ ()n

(x) = an x
n+ x a x n x n est solution de l'quation direntielle




n= n!( + )...( + n)



n=


+ de Besssel.
(3) x ]; r[, (x) = (n + )a n x n+

Posons pour simplier a = , tant la fonction Gamma d'Euler, on


+
n= ( + )


obtient une solution (fonction de Bessel d'indice ) :

"(x) = (n + )(n )a n x n+

n=
En reportant (3) dans (1) on obtient pour pout x ], r[ x + ()n x n
+ + J x ( ) ( ) , x > .
n= n!( + n + )
((n + )(n + )a n + (n + )a n a n ) x + a n x n+ =
n+
n= n=
Si = , on a par (4) :

( )a + a =



( )a + a =
(5) . Si N le systme ne donne





1
+ n(n )a n + a n =
Pour obtenir une solution particulire de l'quation (2) de la forme : x x a n x n o a ...,
n=
rien. Si N , on fait apparaitre la fonction (de Bessel d'indice ) :
Soient s et s les racines de l'quation s(s ) + p()s + q() = . x + ()n x n
On suppose s et s rels et s s . L'quation direntielle (2) possde une solution sur ] , [ J x ( ) ( ) , x > qui est aussi solution de
+ n= n!( + n + )
ou ], +[ de la forme : J s x x s a n x n avec a o la srie converge pour x < r. Si l'quation direntielle ().
n=
s s N , l'quation (2) possde une 2nd solution linairement indpendante de J s , de la forme :
+
J s x x s b n x n , b , o la srie converge pour x < r. Si s s N , l'quation (2) possde . : Au voisinage de + , on a :
n=
+
une seconde solution indpendante de J s , de la forme J s x cJ s (x) ln( x )+ x s b n x n ,
n=
b , c R , o la srie converge pour x < r. Pour l'quation direntielle de Bessel (1), s =

et s = , donc s s N N .

-
.
. .
18 Fonctions de Bessel
.

Les cahiers de prpas N 1


x


J (x) = ( ) + O(x + )

( + )
(6)


x

J (x) = ( ) + O(x + ) . : Pour tout x > , on a :

( + )




J (x) = ( ) sin(x) ()
Le lemme 3.2 montre que, la fonction J est born au voisinage de zro et J ne
.x
l'est pas.



Pour non entier, les fonctions J et J sont linairement indpendantes, en eef :
J (x) = ( ) cos(x) ()
.x
Si et sont deux scalaires non tous nuls tels que :
(7) x > , J (x) + J (x) = . Par le lemme 2, les fonctions
J et J ne s'annulent pas sur un voisinage de zro, donc par (7), et sont non
x : On sait que pour tout rel k / Z , on a : (k + ) = k(k) et ( ) = .
nuls. (6) et(7) montrent que : = J (x) + J (x) x+ ( ) ce qui (k + )!

( + )
Donc ( + k + ) = ( + k)( + k )...( ). = lorsque k N et puis :
ne peut se produire.



k k!
+
() k (x/) +k (x/) + x k
J (x) = = . = sin(x).
k= k!(k + /) (k + )! .x

k=
. : Si N , l'quation direntielle (1) admet (J , J )
Mme raisonnement pour J (x)...
comme systme fondamental de solutions.

. : Pour tout rel x > , on a :




1. Lorsque N , toute solution de l'quation (1) s'crit :


J (x) =

(S . sin(x
n
) + S . cos(x
n
))
f = J + J et f est donc borne autour de zro si et seulement si = ssi f = J .
n+
.x
2. Pour > , on dnit sur C , J par :

n n
+
()n z n

Jn (x) = (S . cos(x ) S . sin(x ))
J (z) = z ( ) .x
n= n!( + n + )
dite fonction de Bessel de premire espce. [ n ] [n]
() k (n + k)!
() k (n + k + )!


+
() k z n+k o S = , S = .
k= (k)!(n k)!(x) k= (k)!(n k )!(x)
k k+


J n (z) = ( )
k= k!(n + k)!
Pour n N , on a : +
n
n+k On a donc : Jn (z) = () J n (z)


() k
z

Jn (z) = ( )

k=n k!(n + k)!

. : Pour tout x R+ , on a :


J (x) + J + (x) = J (x) ()
x


J (x) J + (x) = J (x) ()

-
.
. Les cahiers de prpas N 1
.
Fonctions de Bessel 19 .

III. Zros de la fonction de Bessel de 1ere espce


1.5

On montre dans cette partie que la fonction de Bessel d'indice , J ( ) admet


une innit de zros isols. Si l'on note ( i ) iN , la suite croissante des zros de J ,

1
on vrira que n + et que d'autre part n+ n < pour < < . Pour
y
n
cela nous aurons besoin de quelques rsultats relatifs aux quations direntielles
linaires homognes du 2nd ordre.
0.5

III.1 Wronskien
Soit I un intervalle non triviale de R et , D(I, C ).
2 4 6 8 10
x

. : Le Wronskien de et est la fonction W I C


0.5
,telle que :

(x) (x)
Courbes de J et de J x I, W(x) = = (x) (x) (x)(x).
(x) (x)

. : Pour tout z C , la fonction de la variable relle


e iz. sin() est dveloppable en srie de Fourier, et on a :
III.2 Lemme
+
e iz. sin()
= J n (z).e in
pour tout R
n=
. : Soit a, b deux fonctions continues sur un intervalle I de R ,
et deux solutions sur I de l'quation direntielle linaire homogne :
() y + a(x)y + b(x)y = .
2
1. Si l'on prend z R , on obtient en sparant les parties relles et imaginaires :

+
alors : (, ) est un systme fondamental de solutions de (*) si et seulement


cos(z. sin()) = J (z) + . J n (z) cos(n)

si le Wronskien de et ne s'annule pas sur I.
+
n=




sin(z. sin()) = . J n+ (z) sin(n + )

n= Exemple
. sin()
On a : x > , J (x)J (x) J (x)J (x) = 3
.x

+ Donc pour non entier J et J sont linairement indpendantes.


2
On peut aussi avoir une reprsentaion intgrale de J n (z). La relation : = J n (z) se dduit par
n= 3 sin(.)
la formule de Parseval. On utilise, pour dmontrer la relation ( ) , le rsultat suivant : = .
()( )

-
.
.
20
.
Fonctions de Bessel
.

Les cahiers de prpas N 1

III.3 Transformation de Liouville et sont strictement positives sur ]x , x [, alors : s'annule en x et est strictement
positve droite de x , donc (x ) est positif. De mme (x ) est ngatif. Il en rsulte que
W = est en x et en x . D'autre part W est drivabe et on a : x ]x , x [,
W (x) = (x) (x) (x) (x) = (x) (x) (q (x) q (x)) < . La fonction W est
. : Toute quation direntielle homogne, linaire du 2nd
strictement dcroissante sur ]x , x [ ce qui est contradictoire.
ordre : y + a(x)y + b(x)y = o a et b sont des fonctions de classe C ,
se transforme en : z + q(x)z = .
.. : Si x et x sont deux zros conscutifs de , alors
Une ide de la dmonstration est de poser pour tout x s'annule au moins une fois sur ]x , x [.

x
y(x) = z(x) exp a(t)dt
x . : (Zros de la fonction de Bessel d'indice ).

a (x) a (x) 1. Pour , la fonction J admet une innit de zros isols.


et reporter dans la 1 ere quation pour obtenir : q(x) = b(x) .
2. Si ( n ) N est la suite croissante des zros de J , on a : lim n = +
n

1. Les fonctions y et z ont exactement les mmes zros.


x 3. Pour , les zros sont distants d'au moins .

2. L'quation de Bessel se transforme, en posant pour x > , y(x) = z(x) exp dt = z(x). ,
t x


en : z + ( + )z = () : L'quation direntielle de Bessel se transforme, d'aprs le lemme 5, en :
x

z + ( +)z =
x
III.4 Etude des zros de la fonction de Bessel
Soit l'quation direntielle : x > , z (x) + z(x) = .

on se donne deux quations linaires et homognes : Supposons < , nous avons : x > , + > . Donc d'aprs le lemme , entre
x
deux zros conscutifs de la fonction sinus, il y'a au moins un zro de J . 4
z + q (x)z = ()
{ Si > , on peut voir facilement que les zros de J sont distants d'au moins .
z + q (x)z = ()

o q et q sont deux fonctions continues sur un intervalle I et vriant : x I, Pour = , on a J (x) = ( ) sin(x) pour tout x > , donc les zros de J sont ceux de
.x

q (x) < q (x) et soient et deux solutions, non nulles sur I, des quations () sinus...
et () respctivement. On a alors le :

. : Si x et x sont deux racines conscutives de , alors


s'annule au moins une fois sur ]x , x [.

: Supposons ne s'annule pas sur ]x , x [, quitte changer les fonctions en 4


Les zros d'une solution non nulle d'une quation direntielle linaire homogne de 2nd ordre sont
leurs opposes, qui sont aussi solutions des mmes quations, on peut supposer que toujours isols (rsulte du thorme de Cauchy-Lipschitz)

-
.
. Les cahiers de prpas N 1
.
Fonctions de Bessel 21 .

IV. Orthogonalit des fonctions de Bessel


. : Soit ( k ) kN la famille des zros positifs de J , alors la
famille (t J ( k t)) kN est orthogonale dans (E, < ., . >).

. : Si et sont des rels stictement positifs, alors :



o
( ) J (t)J (t)dt =

J ()J () J ()J ()

: Posons y (t) = J (t) et y (t) = J (t) pour tout t > , alors y et y sont
respectivement solutions sur ], +[ des quations direntielles :

y + y + ( )y = et y + y + ( )y = .
t t t t
Si l'on pose w(t) = y (t)y (t) y (t)y (t) pour tout t > , on a alors :
d
w + w = ( )y y , soit : tw + w = t.( )y y . D'o (t.w) = t.( )y y .
t dt

Par une intgration sur ], ], il vient : [tw(t)] = ( ) t.y (t)y (t)dt , ce qui montre

le lemme.

. . :
alors :
Soient , ]; +[ deux zros distincts de J , .
.

t.J (t)J (t)dt =

Notons E = { f C(]; ], R ) / t t. f (t) est intgrable sur ], ]}. E est alors un R



-espace vectoriel. Pour ( f , g) E , posons < f , g >= t. f (t)g(t)dt, < ., . > dnit

5
alors un produit scalaire sur E

RRR RRR
R R
Si f , g E, et ]; [, on a : RRRRR f (t)g(t).tdt RRRRR f (t) g(t) .tdt

5
RRR RRR L'application F f (t)g(t) .tdt est monotone borne sur]; ], donc admet une limite
R R

f (t).tdt g (t).tdt f (t).tdt g (t).tdt nie quand + et par suite f (t)g(t)tdt est absolument convergente.

-
.
.

Un aperu sur la thorie de Cauchy


Pour lenseignement des fonctions de la variable complexe, deux approches } Cours ~
sont en gnral utilises. La premire qui repose sur les acquis des classes
de premier cycle universitaire, utilise des notions telles que les rsultats de
base de la topologie et du calcul diffrentiel, les sries entires et (surtout)
les sries de Fourier, les intgrales curvilignes Lautre plus labore est
une discipline part entire qui dnit ses propres outils et quon appelle
Fonctions holomorphes
thorie de Cauchy ou dans un cadre plus large analyse complexe.

La thorie de Cauchy commence par dnir lintgrale dune fonction


continue f le long dun chemin de classe C , [, ] C par


f (z)dz = (t) f ((t))dt par Sadik Boujaida

Lyce Moulay Youssef Rabat
qui sapparente une intgrale curviligne. Il est alors notable que si est .
un chemin ferm (() = ()) et = ([, ]) alors la fonction

d
.
Ind z z , z C Un. cours sur les fonctions holomorphes, notion rcemment introduite dans
i z
le .programme marocain. Il existe encore peu de documents (cours et
.
est constante de valeur entire sur chaque composante connexe de C . exercices) qui soient vraiment adapts aux directives du programme. Un
La valeur en un point z de C tant le nombre de tours quon effectue
. .
en parcourant autour de z , (le lecteur pourra effectuer les calculs dans effort
. a donc t fait pour que les diffrentes notions abordes s'intgrent
le cas o est un cercle centr en pour vrication). On arrive alors bien
au rsultat fondateur de la thorie et qui dit que si f C est une . dans le reste du programme, en utilise les rsultats, et les tend
fonction holomorphe, o est un ouvert convexe (en fait simplement parfois.
connexea ) alors pour tout chemin de classe C dont le support et
inclu dans et pou tout z

f () Dans ce cours dsignera un ouvert non vide de C. Si z est un complexe


d = Ind (z) f (z) et r est rel strictement positif, D(z , R) dsignera le disque ouert de C de
i z
centre z et de rayon r .
Ce rsultat portant le nom de Formule intgrale de Cauchy, fait dj L'ensemble U = {(x, y) R / x + i y } est un ouvert de R car
entrevoir que les valeurs que prend f en des points z lintrieur de ne c'est l'image rciproque de par l'application linaire, et donc continue,
dpendent que celles prises par f sur . Cette formule sert dmontrer (x, y) z x + i y . Une fonction f C peut tre confondue avec la
quune fonction holomorphe est analytique, thorme fondamental de
lanalyse complexe.
fonction f U C, (x, y) z f (x + i y), on notera en particulier, lorsque
z = x + iy
a
Un ouvert de C est dit simplement connexe si (grossirement) il ne contient pas de trous f f
df (z) , (z) et (z)
x y
respectivement la direntielle et les drives partielles de la fonctions
f au
point (x, y).

-
.
. Les cahiers de prpas N 1
.
Fonctions holomorphes 23 .

On adoptera les notations du calcul direntiel. Si f est direntiable en z II. Fonctions holomorphes
alors df (z ).h dsignera la direntielle de f en z applique au vecteur h ; et
se rfrant la base (, i) de C on peut donc crire
II.1 Dfinitions, condition de Cauchy Riemann
f f
(z ) = df (z ). et (z ) = df (z ).i
x y
. : Soit une fonction f C.
I. Rappels de calcul diffrentiel 1. soit z . On dit que f est C-drivable en z si et seulement si la fonction :

Soient p, n et m des enties naturels non nuls, U et V des ouverts respectifs de Rm f (z) f (z )
z z , z /{z }
et de Rn . Et soit I un intervalle non trivial de R. z z

1. On considre deux fonctions admet une limite dans C en z . cette limite est alors note f (z ).

I Rm , t z ( (t), (t), , m (t)) 2. On dit que f est holomorphe sur si et seulement si f est C-drivable en
tout point de est sa fonction drive f z z f (z) est continue sur .
f V R p , x = (x , x , , x m ) z f (x)
On suppose que (I) V .
Si et f sont de classe C sur leurs domaines de dnitions respectifs, alors f . : Soit une fonction f C.
est de classe C sur I et pour tout t I 1. soit z . f est C-drivable en z si et seulement si

f est direntiable en z

m
f

( f ) (t) = df ((t)). (t) = ((t))k (t) f f
k= x k
(z ) = i (z ) (Condition de Cauchy--Riemann )

y x

2. Soient maintenant des fonctions 2. f est holomorphe sur si et seulement si



f est de classe C sur (en tant que fct des 2 variables x et y)


f U Rm , x z ( f (x), f (x), , f m (x)) f f


z , (z) = i (z)
g V R p , y = (y , y , , y m ) z g(y) y x

On suppose que f (U) V . Si f est de classe C sur U et g l'est sur V alors g f


est de classe C sur U et pour tout x U et pour tout k [[, n]] :
1./ Si f est C-drivable en z . Pour tout h C voisin de ,
d(g f )(x) = dg( f (x)) df (x) f (z + h) f (z ) = h f (z ) + o(h)
par dnition mme de f (z ).
(g f ) f m
g f Donc f est direntiable en z et pour tout h C, df (z ).h = h f (z ).
(x) = dg( f (x)). (x) = ( f (x)) k (x) f f
x k x k k= y k x k Ainsi (z ) = df (z ). = f (z ) et (z ) = df (z ).i = i f (z ).
x y
f f
On a bien (z ) = i (z ).
y x

-
.
.
24
.
Fonctions holomorphes
.

Les cahiers de prpas N 1

f f
/ Si maintenant f est direntiable en z et (z ) = i (z ). On a pour tout
y x . : Soit une fonction f C. On note P et Q les
h = + i C voisin de parties relle et imaginaire de f .
f (z + h) f (z ) =
df (z ).(h) + o(h)
f f
= (z ) + (z ) + o(h) z , f (z) = P(z) + iQ(z)
x y
f 1. f est C-drivable en un point z si et seulement si
= (z )( + i) + o(h)
x

P et Q sont de direntiables en z
f
= h (z ) + o(h)

x P Q Q P
f
(z ) =
(z ) et (z ) = (z )
Alors f est C-drivable en z et f (z ) = (z ). y x y x
x
2./ Si f est holomorphe sur , alors d'aprs 1. f est direntiable en tout point de et pour
2. f est holomorphe sur si et seulement si
f f
tout z , (z) = f (z), (z) = i f (z). f tant continue, les drives partielles de f
x y
P et Q sont de classe C sur
sont donc continues. f est donc de classe C sur .

P Q Q P
/ Si f est de classe C et vrie les conditions de Cauchy--Riemann, alors d'aprs 1. f est

= et =
f y x y x
C-drivable en tout point de , et l'galit f (z) = (z) indique que f est continue
x
sur . Alors f est holomorphe sur .
: f est de classe C ssi P et Q sont de classe C , et la condition de Cauchy--Riemann
f f P Q P Q P Q Q P
1. retenir : Si f est C-drivable en z alors = i , soit +i =i , et equivalente = et =
y x y y x x y x y x
f f
f (z) = (z) = i (z)
x y
h C, df (z).h = h f (z) 1. Si f est holomorphe sur alors la matrice jacobienne de f et son jacobien en un point
z dans la base (, i) sont
2. Nous verrons qu'une fonction holomorphe sur est en fait ``de classe C '' sur (et
mme plus, elle est analytique sur ). P (z) Q (z)
x x
3. En posant z = x + i y , un procd de calcul familier chez le voisin physicien (pas J f (z) = et jac f (z) = ( P (z)) + ( Q (z))

Q P x x
compltement faux d'ailleurs ... ) permettrait d'crire (z) (z)
f x f y f z + z f z z f f f x x
= + = ( ) + ( ) = ( +i ) Noter que : f (z) = jac f (z) = .
z z x z y z x z i y x y

f P
P
La condition de Cauchy--Riemann serait alors quivalente : = . Noter aussi que jac f (z) = ( (z)) + ( (z)) = gradP(z) = gradQ(z)
z x y
Intuitivement l'holomorphie de f signierait alors que f (z) ne dpend pas de z .
et donc que si jamais gradP (ou gradQ ) est partout nul sur alors f est nulle sur .
On voit ainsi, par exemple, que les fonctions z z z , z z Re(z), z z Im(z), z z z
ne sont holomorphes sur aucun ouvert de C. 2. Interprtation gometrique de L'holomorphie
Une fonction holomorphe f C est de classe C (au sens direntiel) et pour tout
z
h C, df (z).h = h f (z)

-
.
. Les cahiers de prpas N 1
.
Fonctions holomorphes 25 .

Si f (z) , df (z) est la similitude vectorielle directe du plan complexe de rapport f (z)
et d'angle Arg( f (z)). 3. On suppose que g ne s'annule pas sur . Si f et g sont holomorphes
Gomtriquement, les similitudes conservant les angles, cela signie que si et sont f
sur alors est holomorphe sur et
deux arcs de classe C contenus dans et qui se coupent en un point z alors f ( ) et f ( ) g
sont des arcs de classe C contenus dans f () et qui se coupent en f (z) selon le mme f

f g f g
angle que et , puisque les tangentes en f (z) f ( ) et f ( ) sont les images par la ( ) =
similitude df (z) des tangentes respectives en z et . g g

g
En particulier est holomorphe sur et ( ) = .
Exercice 4.1 On suppose que l'ouvert est convexe (voire connexe par arcs). g g g
1. Montrer qu'une fonction holomorphe f C est constante si et seulement si
f = .
2. Montrer qu'une fonction holomorphe valeurs relle est forcment constante. : D la dnition de la C-drivabilt l'aide de limites, toutes les dmonstra-
Mme chose si elle est valeurs imaginaires pures. tions se feront de la mme faon que pour les fonctions numriques d'une variable relle de
classe C .

Exercice 4.2 Dterminer toutes les fonctions holomorphes f C C telles 1. On note O() l'ensemble des fonctions holomorphes sur .
que z C, Re( f (z)) = x y . Les proprits 1. et 2. impliquent que O() est une sous-algbre de l'algbre C des
fonctions de dans C.
p
2. Une rcurrence simple permettra de justier que si f est holomorphe, la fonction f est
Exercice 4.3 Soit g une fonction polynomiale des variables x et y coecients p p
holomorphe pour tout p N et ( f ) = p f f .
dans C.
p q
Attention, on ne parle pas impunment de la fonction f , si est un rel donn.
g(x, y) = a p,q x y
p,qn

Montrer que la fonction f z = x + i y z g(x, y) est holomorphe sur C si et seulement . : Soit un autre ouvert de C. Soit des fonctions
si il existe un polynme P coecients dans C tel que : z C, f (z) = P(z). f C et g C telles que f () . Si f est holomorphe sur et g
est holomorphe sur alors g f est holomorphe sur et (g f ) = f g f

Soient deux fonctions f , g C.
: D'aprs le thorme sur la condition de Cauchy--Riemann, f et g seraient de
classe C , donc g f est de classe C et pour tout z
1. Si f et g sont holomorphes alors pour tout C, f + g est holomorphe
sur et ( f + g) = f + g (g f ) f f
(z) = d g( f (z)). (z) = (z) g ( f (z)) = f (z) g ( f (z))
x x x
(g f ) f
de mme (z) = g ( f (z)) (z) = i f (z) g ( f (z)).
y y
2. Si f et g sont holomorphes sur alors f g est holomorphe sur et (g f ) (g f )
( f g) = f g + f g On a bien (z) = i (z).
y x
Ainsi g f est holomorphe sur et pour tout z
(g f )
(g f ) (z) = (z) = f (z) g ( f (z))
x

-
.
.
26
.
Fonctions holomorphes
.

Les cahiers de prpas N 1

Exemple 3 : Fonions trigonomtriques


Exercice 4.4 ( Ingalit des accroissements nis. )
On suppose que est
convexe. Soit une fonction f holomorphe sur . Montrer que pour tous (a, b) , On pose pour tout z C

f (b) f (a) b a sup f (( t)a + tb) cos z = (e iz + e i z ) et sin z = (e iz e i z )
t[,] i
Les fonctions z z e iz et z z e i z sont holomorphes sur C comme
composition de fonctions holomorphes sur C, donc cos et sin sont holo-
II.2 Exemples fondamentaux morphes sur C et pour tout z C

Exemple 1 : Toute fonion polynomiale coecients dans C e holomorphe. cos z = (ie i z ie i z ) = sin z et sin z = cos z

En eet la fonction z z z est trivialement holomorphe sur C, de drive Exemple 4 : Logarithme complexe
constante de valeur . Donc pour tout k N la fonction z z z k est
On se propose ici de prolonger la fonction ln sur un ouvert ''maximal''
holomorphe sur C de drive la fonction z z kz k .
de C, en une fonction holomorphe, tout en conservant la proprit :
p
Soit alors P z z a k z k une fonction polynomiale coecients z , e ln z = z .
k= Analyse algbrique : Notons que si z C et C, (e ne peut tre nul
dans C. P , comme combinaison linaire de fonctions holomorphes, est puisque e = e Re() > )
p
holomorphe de drive la fonction P z z ka k z k . e = z e = z et arg (e ) = arg(z) []
k=
e Re() = z et Im() = arg(z) []
Exemple 2 : La fonion exponentielle Re() = ln z et Im() = arg(z) []
En considrant la dnition trigonomtrique de la fonction exponentielle : = ln z + i arg(z) []
On peut constater ds lors qu'une dnition analytique de ln(z) reposera
z C, exp(z) = e z = e x (cos y + i sin y) entirement sur une bonne dnition de arg(z), et que dj il est possible
de donner plusieurs dnition ln(z) selon la dtermination de arg(z)
exp est de classe C comme produit de fonctions de classe C et :
qu'on choisira (le modulo ).
z
(e ) = e x (cos y + i sin y) = e z Construction analytique : Soit maintenant z C et posons z = x + i y o
x
z (x, y) R . On pose aussi r = z = x + y et soit la dtermination de
(e ) = e x ( sin y + i cos y) = ie x (cos y + i sin y) = ie z Arg(z) qui se trouve dans l'intervalle [, [.
y
La condition de Cauchy--Riemann est bien remplie : exp est donc holo- On a alors sous caution :
morphe sur C et exp = exp. y
=
sin
=
cos(/) sin(/)
= tan(/)
x + r cos + cos (/)
Soit C, la fonction f z z e z est holomorphe sur C, comme
Sous caution parce que si y = et x le quotient y/(x + r) serait indter-
compose de fonctions holomorphes et f (z) = e z
min. On pose alors = C/R . Dans ce cas serait pris dans l'intervalle
def
Soit maintenant t R+ , on pose pour tout z C, g(z) = t z = e z ln t . ] , [ ce qui rgle aussi le problme de dnition de tan(/) et mme
de faire jouer arctan. Ayant / ] /, /[ la dernire galit est qui-
g est holomorphe sur C est g (z) = ln(t)e z ln t = ln(t)t z . valente
y
N.B : Si z C alors e z = e Re(z) et donc t z = t Re(z) = arctan ( )
x+r

-
.
. Les cahiers de prpas N 1
.
Fonctions holomorphes 27 .

On pose maintenant

La fonction f est appele dtermination principale du logarithme complexe
y
z = x + i y , f (z) = ln (x + y ) + i arctan . sur = C/R , on la note ln
x + x + y

ou encore : z , f (z) = ln z + iarg(z).


: Si est un ouvert non vide de C, on appelle dtermination du
arg(z) tant ici la dtermination de l'argument de z dans l'intervalle logarithme complexe sur toute fonction (si elle existe) g holomorphe sur et
] , [.
telle que : z , e g(z) = z
f est de classe C sur car ses parties relle et imaginaire le sont. On drive
partiellement l'galit e f (z) = z par rapport x et y.


f Exercice 4.5 ( Dterminations du logarithme complexes ) Soit g une dtermi-


(e f (z) ) =

d(exp)( f (z)). (z) =
x x nation du logarithme complexe sur l'ouvert = C/R .
donc


f z
1. Montrer que pour tout nombre complexe z , e = z iZ.


(e f (z) ) = i

d(exp)( f (z)). (z) = i
y y 2. Montrer que est connexe par arcs.

f


(z)e f (z) = 3. Montrer alors qu'il existe k Z tel que : z , g(z) = ln z + ik
x
donc (k ne dpend que de g pas de z ).

f


(z)e f (z) = i 4. Soit maintenant R. On pose h(z) = ln (ze
i
) + i
y
a. Prciser l'ouvert sur lequel est dnie h .

f


(z) = e f (z) = b. Montrer que h est une dtermination du logarithme complexe sur .
x z
et donc f


f (z) i

(z) = ie =
y z
f qui est de C vrie donc la condition Cauchy--Riemann, elle est donc III. Fonctions analytiques
holomorphe sur . Avec comme on pouvait s'y attendre
f III.1 Dfinitions et premires proprits
z , f (z) = (z) =
x z
Rsumons :
. : Soit une fonction f C.
On pose = C/R et pour tout z = x + i y 1. f est dite de classe C sur si et seulement si


y f est holomorphe sur
f (z) = ln (x + y ) + i arctan = ln z + iarg(z)
x + x + y
f est de classe C sur

( Si, si cela fonctionne trs bien).
arg(z) dsignant ici la dtermination de l'argument de z dans l'intervalle
] , [. On dnit alors la suite des fonctions drives successives ( f (n) )n de f par

()
f est une fonction holomorphe sur vriant : f =f

z , e f (z) = z et f (z) =


n N, f (n+) = ( f (n) )
z

-
.
.
28
.
Fonctions holomorphes
.

Les cahiers de prpas N 1

:
2. f est dite analytique sur , si et seulement pour tout z , f est 1. Montrons d'abords que f est holomorphe sur D(, R).
dveloppable en srie entire sur un voisinage de z , c'est dire que pour Soit z D(, R). Pour tout z D(, R)/{}
tout z , il existe r > et (a n )n C N tels que
f (z) f (z ) + n n
+ n
k nk
+
+ = a n (z z ) = a n ( z z ) = a n u n (z)
z z z z n=
D(z , r) et z D(z , r), f (z) = a n (z z )n n= k= n=
n
n=
o on a pos u n (z) = z k z nk . Posons = ( z + R) si R est ni, = + z si R est
k=
inni. Dans les deux cas on a z < < R.
1. On montrera dans ce paragraphe que toute fonction holomorphe est de classe C , on
Pour tout z D(, ), a n u n (z) n a n n

comprend alors pourquoi il est inutile de parler, pour n N , de fonctions de classe C n de La srie entire na n z n a le mme rayon de convergence que a n z n . Comme < R
la variable complexe. alors la srie n a n n est convergente et donc la srie de fonctions a n u n CVN sur
+
le disque D(, ). Les fonctions u n tant continues, la somme a n u n est donc continue
. : Soit une suite (a n )n CN . Les sries entires a n z n et n=
n sur D(, ). La continuit en z donne en particulier
na n z ont le mme rayon de convergence. f (z) f (z ) + +
lim = a n u n (z ) = na n z n
zz z z n= n=
: Soient R et R les rayons de convergence respectifs des sries entires a n z n et +
Alors f est C-drivable en z , et f (z ) = na n z n , ceci pour tout z D(, R).
na n z
n
. Soit z D(, R), et soit alors r ] z , R[. pour tout n N , n=
z n z n f est elle mme la somme d'une srie entire de rayon de convergence R , elle est donc
na n z = n ( ) a n r n avec n ( )
n

r r r n continue sur D(, R). Ainsi f est holomorphe sur D(, R) et
Donc na n z = o( a n r ). Comme r < R alors la srie a n r converge et donc na n z n
n n n +
z D(, R) , f (z) = na n z n .
converge. Pour tout z tel que z < R, la srie na n z n converge donc R R. n=
Inversement a n z n = O(na n zn ) implique que a n z n converge si na n z n converge f est la somme d'une srie entire de rayon de convergence R , ce qui prcde dmontre
absolument. Alors R R . qu'elle est elle mme holomorphe. On dmontre ainsi par rcurrence que f et toutes ses
Ainsi R = R. drives sont holomorphes. Alors f est de classe C et pour tout p N
+
z D(, R), f (p) (z) = n(n )(n p + )z np
. : Soit a n z n une srie entire de rayon de conver- n=p

(p)
gence R > , et soit f sa somme sur le disque ouvert D(, R) 2. Dcoule immdiatement de l'expression de f donne prcdemment.
1. f est de classe C sur D(, R), et pour tout p N 3. Soit r ], R[, et soit p N. Pour tout [, ]
+ +

z D(, R) , f (p) (z) = n(n )(n p + )z np f (re i ) e i p = a n r n e i(np) avec pour tout n N, a n r n e i(np) = a n r n
n=
n=p
< r < R donc la srie a n r n converge et donc la srie de fonctions a n r n e i(np)
f (n) () CVN sur le segment [, ]. Une intgration terme terme est donc possible, et sachant
2. Pour tout n N, a n =
n! que pour tout k Z, e i k d = k , elle donne


3. Pour tout r ], R[ et n N, a n = n f (re i ) e in d . f (re i )e i p d = a p r p
r

-
.
. Les cahiers de prpas N 1
.
Fonctions holomorphes 29 .

: Soit z et soient r > et (a n )n CN tels que


+
1. D.S.E. de la fonction z z ln( + z) z D(z , r) , f (z) = a n (z z )n .
Considrons la fonctions f z z ln( + z) bien dnie sur l'ouvert n=
+
= C/ ] , ]. ln dsignant la dtermination principale du logarithme Posons alors pour tout h D(, r), g(h) = f (z + h) = a n h n .
complexe sur C/R . n=
g est la somme d'une srie entire sur D(, r), elle est donc de classe C sur D(, r).
f est holomorphe sur par composition de fonctions holomorphes et Maintenant puisque pour tout z D(z , r), f (z) = g(z z ) alors f est de classe C sur
D(z , r).
z , f (z) =
+z Ainsi pour tout z , il existe r > tel que f soit de classe C sur D(z , r). Elle est donc
zn de classe C sur .
Considrons maintenant la fonction g somme de la srie entire ()n
n Ensuite, en reprenant la fonction g dnie prcdemment pour le point z on aura pour tout
sur son disque de convergence D(, ). g (n) () f (n) (z )
n N an = = .
g est holomorphe sur D(, ) et pour tout z D(, ) n! n!


+ +
et pour tout ], r[, a n = g(re i )e in d = f (z + re i )e in d
g (z) = ()n z n = ()n z n = n n

n= n= +z
g f est holomorphe de drive nulle sur le convexe D(, ), elle y'est donc III.2 Analycit dune fonction holomorphe
constante. Comme f () = g() = alors
+
zn
z D(, ) , f (z) = ln( + z) = ()n
n= n . : Toute fonction holomorphe sur est analytique sur .
Plus prcisment, soit f une fonction holomorphe sur et soit z . Posons
Exercice 4.6 ( orme de Liouille ) Soit a n z n une srie entire de rayon R = sup {r > / D(z , r) }
de convergence inni, et soit f sa somme sur C. Montrer que si f est borne sur C, alors avec la convention R = + si ce dernier ensemble n'est pas major. Alors il
f est constante. existe une suite (a n )n CN telle que
+
z D(z , R), f (z) = a n (z z )n
n=
. . : Soit f une fonction analytique sur
1. f est de classe C sur . : (D'aprs )
Soit z . Le fait que soit un ouvert assure que l'ensemble {r > / D(z , r) } est
2. Soit z , et soit r > tel que D(z , r) et non vide, s'il est major on note R sa borne suprieure, sinon on pose R = +. (Noter qu'on
+
z D(z , r), f (z) = a n (z z )n . ne peut avoir R = + que si = C parce qu'on devrait avoir : r > , D(, R) )
n= Soit maintenant ], R[ et considrons la fonction z f (z + e i ) , R.
Alors est une fonction -priodique de classe C comme compose d'une fonction de classe C
f (n) (z ) et d'une fonction holomorphe. Sa srie de Fourier converge donc normalement sur R et sa
n N , a n = somme est .
n!
Posons pour tout n Z, c n () = ()e in d = f (z + e i )e in d


], r[ , n N , a n = f (z + e i )e in d .
n On a alors
+
R , () = f (z + e i ) = c n ()e in (4.1)
n=

-
.
.
30
.
Fonctions holomorphes
.

Les cahiers de prpas N 1

Soit n Z et intressons nous maintenant la fonction



1. Soit f la somme d'une srie entire de rayon de convergence R > . Si f ne

c n z f (z + e i )e in d , [, R[. s'annule pas sur D(, R), alors

est dveloppable en srie entire sur D(, R).

f
Pour cela on considre la fonction (, ) z f (z + e i ) dnie sur U = [, R[[, ].
de sorte que pour tout [, R[

c n () = (, )e in d En eet ; est holomorphe sur D(, R) donc elle est analytique sur D(, R).
f
est la compose de la fonction (, ) z z + e i qui est de classe C sur U et de la
Si R est le rayon de convergence de son dveloppement en alors
fonction f qui est holomorphe sur , une proposition du paragraphe prcdent arme que R sup {r > /D(, r) D(, R)}, soit R R .

est de classe C sur U et que (, ) = f (z + e i ) (z + e i ) = e i f (z + e i )
2. C e algbriquement clos
Alors c n est une fonction de classe C sur [, R[ d'aprs le thorme de drivation d'une
intgrale dpendant d'un paramtre (sur un segment) et
Tout polynme non constant coecients dans C admet au moins une racine
dans C. (On en dduit ensuite que tout polynme non constant de C[X] est
[, R[, c n () = f (z + e i )e i(n) d
scind).
Soit ], R[, en utilisant la fonction z f (z + e i )e i drive de la fonction de classe En eet ; soit P = a n X n + a n X n + + a X + a C[X]. Supposons que P

C , z f (z + e i ), une intgration par parties donne n'admet pas de racines dans C, et montrons qu'il est forcment constant.
i
e in

in n P est holomorphe sur C et ne s'annule pas sur C donc la fonction f = /P est
c n () = [ f (z + e i )] + f (z + e i )e in d = c n () holomorphe sur C.
i
i
dc Pour tout z C on peut crire
La fonction c n est donc une solution sur ], R[ de l'quation direntielle : nc = a n a n a a
d P(z) a n z n = z n ( + + n + n )
On en dduit qu'il existe une constante a n telle que z z z z
], R[ , c n () = a n n avec a n a n a a

Comme c n est de classe C sur [, R[, elle est continue en . L'expression de c n implique alors + + n + n
z z z z z+
forcment que a n = si n < . et donc
On a donc P(z) a n z n = o(zn ). On en dduit que P(z) n
a n z et
n < [, R[, c n () = z+
La relation (1) devient alors :
+
donc que P(z) +
i n in z+
[, R[ , R , f (z + e ) = a n e

n=
il existe donc R > tel que : z C, z > R f (z) = .
Puisque tout lment de D(z , R) peut s'crire sous la forme z = z + e i o [, R[ et P(z)
R alors
+ f tant continue sur le compact D(, R) elle y est borne, en posant
z D(z , R) , f (z) = a n (z z )n . M = max(, sup f (z) )
n=
zR
on a alors : z C, f (z) M .
. . : Toute fonction f holomorphe sur est de classe f holomorphe sur C et elle est born sur C. D'aprs le thorme de Liouville,
C sur . En particulier f est aussi holomorphe sur . elle est constante sur C. P est donc constant sur C.

-
.
. Les cahiers de prpas N 1
.
Fonctions holomorphes 31 .

III.3 Principe des zros isols Conclusion : W est un ouvert et un ferm relatifs de , qui est non vide. D'aprs le premier
lemme, il est gal . f ainsi que ses drives successives sont donc nulles sur .

. : On suppose que est connexe par arcs. Soit W une partie . ( ) :


de . Si W est la fois un ouvert et un ferm relatifs de alors il est soit vide On suppose que l'ouvert est connexe par arcs. Soit f une fonction holo-
soit gal . morphe sur qu'on suppose non partout nulle sur . Soit z . Si z est
un zro de f , alors il existe r > tel que
: Supposons par l'absurde que W est un ferm et un ouvert relatifs de et qu'il
est non vide et inclu strictement dans . D(z , r) et (z D(z , r)/{z } , f (z) )
Posons alors F = /W . W et F sont des ferms relatifs non vides de . Soient donc a W et
b F . est connexe par arcs, il existe donc une fonction continue [, ] telle que On dit que les zros de f sont des points isols de .
() = a et () = b .
Par continuit de les ensembles J = (W) et K = (F) sont des ferms de [, ] et donc
de R, qui forment en plus une partition de [, ]. : Puisque f est non nulle, d'aprs le deuxime lemme il existe au moins un n N
J est une partie non vide major de R, elle admet donc une borne suprieure , et puisque J tel que f (n) (z ) . Soit donc
est ferm alors J . K donc < et puisque = sup J alors ], ] K ,
p = min {n N / f (n) (z ) }
K tant lui mme un ferm, le fait d'avoir K et ], ] K mne une contradiction.
f est analytique donc il existe > tel que D(z , ) et
+ (n)
f (z )
z D(z , ) , f (z) = (z z )n
. : On suppose que est connexe par arcs. Soit f une fonction n= n!
holomorphe sur . S'il existe z tel que et par dnition de p
+ (n)
n N , f (n) (z ) = f (z )
z D(z , ) , f (z) = (z z ) p g(z) avec g(z) = (z z )np
Alors f est nulle sur . n=p n!
f (p) (z )
g(z ) = et g , somme d'une srie entire, est continue sur D(z , ).
p!
: On suppose qu'il existe z tel que f (n) (z ) = pour tout n N. On La continuit de g en z assure l'existence d'un r ], ] tel que pour tout z D(z , r),
considre alors l'ensemble non vide
g(z) g(z > .
W = {z / n N, f (n) (z) = }
W est un ferm relatif de On a alors : z D(z , r)/{z }, f (z) = (z z ) p g(z) .

W = ( f (n) ) ({})
nN + /

les ensembles ( f (n) ) ({}) sont des ferms de car ils sont des images rciproques du Exercice 4.7 On pose f (z) = ( )z n avec pour tout
n= n
ferm {} par des applications continues. W est donc une intersection de ferms de , il est / /(/ )(/ n + )
lui mme un ferm de . n N, ( ) =
W est un ouvert relatif de . n n!
Soit W , f tant holomorphe sur , elle est analytique sur . il existe donc r > tel que 1. Quel est le rayon de convergence de la srie entire dnissant f ? reconnaitre f (x)
D(, r) et lorsque x ] , [.
+
f (n) ()
2. Montrer que pour tout z D(, ), f (z) = + z .
z D(, r) , f (z) = (z )n
n= n!
3. Montrer que f se prolonge en une fonction holomorphe sur l'ouvert
et puisque W alors f est nulle sur D(, r) et donc D(, r) W .
= C] , [, on exprimera ce prolongement en fonction de la fonction ln.
Ainsi W est un ouvert relatif de

-
.
.
32
.
Fonctions holomorphes
.

Les cahiers de prpas N 1


IV.1 Somme dune srie de fonctions holomorphes
4. Quelles sont toutes les fonctions g holomorphes sur telles que g(z) = + z .
p
5. Gnraliser ce rsultat aux fonctions g holomorphes sur telles que g(z) = + z

o p N . ( C- '
) : Soit f n une sries de fonctions
dnies de dans C. On suppose que
Exercice 4.8 ( Zros d'une fonion holomorphe ) Soit f une fonction
holomorphe sur qui n'est pas partout nulle sur . On note Z f l'ensemble des zros
n N, f n est holomorphe sur



de f dans . f n converge simplement sur
1. Montrer que Z f est un ferm relatif de .




f n converge uniformment sur tout compact de

2. On considre la fonction g dnie sur C par g(z) = sin(/z). Z g est-il un ferm ?
+
3. Montrer que toute suite convergente d'lments de Z f converge forcment vers un
Alors la somme S = est holomorphe sur et
point de la frontire de . n=

+
z , S (z) = f n (z)
Exercice 4.9 ( DSE de la fonion / f ) a n z n une srie entire de rayon de n=
convergence R > , et f sa somme sur D(, R). On suppose que f () . On reprend
la notation Z f de l'exercice prcdent et on suppose que Z f .
1. Montrer que d(, Z f ) > . On pose r = d(, Z f ).
: Nous allons considrer les fonction partielles S x y z S(x + i y), et

2. Montrer que est dveloppable en srie entire sur D(, r). S y x z S(x + i y) et montrer qu'elles sont drivables sur leurs domaines respectifs, ce
f S S
qui reviendrait dmontrer que les drives partielle et sont bien dnies sur .
y x
Fixons x pR (), o pR est la projection orthogonale de C sur R.
Exercice 4.10 ( Principe du prolongement analytique ) On suppose que est Les fonctions f n,x y z f n (x + i y) sont drivables puisque les fonctions f n sont holo-
fn
connexe par arcs. Soient f et g deux fonctions holomorphes sur . Montrer que s'il morphes et donc de classe C , avec f n,x (y) = (x + i y) = i f n (x + i y). La srie de fonction
existe une suite non stationnaire (a n )n d'lments de qui converge dans et telle y

que f n,x CVS sur l'ouvert I x = {y R / x + i y } de R et f n,x converge uniformment
sur tout segment J de I x , puisque un tel segment est un compact de et que f n CVU sur
n N, f (a n ) = g(a n ) tout compact de .
Alors f = g . En dduire sans faire de calcul que Ainsi la somme S x y z f n,x (y) est de classe C et pour tout y I x ,
nN
1. z C, sin (z) + cos (z) = + +

2. (a, b) C , cos(a + b) = cos a cos b sin a sin b S x (y) = f n,x

(y) = i f n (x + i y)
n= n=
De mme on dmontre que les fonctions S y x z f n (x + i y) sont chacune de classe C
nN

IV. Annexe sur l'ouvert J y = {x R / x + i y } et


+ +

S y (x) = f n (x + i y) = f n (x + i y)
n= n=
Les rsultats de cette section ne sont pas au programme. Ainsi, on aurait dmontr que la fonction S admet des drives partielles en tout point

-
.
. Les cahiers de prpas N 1
.
Fonctions holomorphes 33 .

z = x + i y et que : On agit de la mme faon que pour le thorme prcdent en considrant les
S S + fonction partielles
z , (z) = i (z) = f n (z)
x y n= x z f (z, t)dt et y z f (z, t)dt
I I
S S
Il reste justier que les fonctions et sont continues, pour conclure que S est f
x y il faut juste noter que pour chaque t I , la fonction z z f (z, t) tant holomorphe, (z, t)
x
holomorphe sur . Chose aise puisque la srie de fonctions f n CVU sur tout compact f f f
de et que les fonctions f n sont toutes continues. et (z, t) sont bien dnis en tout z et (z, t) = i (z, t) et donc que l'on a aussi
y y x
f
(z, t) I, (z, t) (t)
y
1. La fonction de Riemann qu'on peut prolonger sur l'ouvert = {z C / Re(z) > } en
ln n
posant (z) = z , est holomorphe sur avec pour tout z , (z) = z .
n n n n 1. La fonction Gamma d'Euler
+
z z t z e t dt

IV.2 Integrales dpendant dun paramtre complexe est bien dnie et elle est holomorphe sur l'ouvert = {z C/ Re(z) > }, avec
+
z , (z) = ln(t)t z e t dt

. : Soit I un intervalle non trivial de R et soit une fonction 2. Soit une fonction continue f [, +[ C. On suppose qu'il existe C > et a R tels
f I C. On pose pour tout z que
t [, +[ , f (t) Ce at
g(z) = f (z, t)dt On considre alors l'ouvert = {z C / Re(z) > a} et on pose pour tout z ,
I +
L f (z) = f (t)e zt dt .
On suppose que
La fonction L f est appele transforme de Laplace de f .

t I, la fonction z z f (z, t) est holomorphe ; L f bien est dnie et elle est holomorphe sur . De plus


+


z , les fonctions t z f (z, t) et t z f (z, t) sont CPM sur I; z , (L f ) (z) = t f (t)e zt dt




x

f
(z, t) I, f (z, t) (t) et (z, t) (t).

x
o , sont des fonctions de I dans R CPM positives et intgrables sur I .
Alors g est bien dnie sur , holomorphe sur et
f
z , g (z) = (z, t)dt
I x

-
.
.
34
.
Fonctions holomorphes
.

Les cahiers de prpas N 1

Solutions des exercices avec la convention a p,q = si p > n ou q > n, en regrouppant maintenant les termes dans
g(z)
n n m n
p
g(z) = a p,q x p y q = Cm a m, x p (i y)mp = a m, z m
Solution de lexercice 4.1 m= p+q=m m= p= m=
.

1. f tant holomorphe, elle est de classe C sur l'ouvert convexe . Donc elle est constante
si et seulement si ses drives partielles sont nulles sur , ce qui est quivalent ce que f Solution de lexercice 4.4
soit partout nulle sur . Dcoule de l'ingalit des accroissement nies pour les fonctions de plusieurs variables de
2. Si on pose pour tout z , f (z) = P(z) + iQ(z), f serait relle si est seulement si la classe C .
fonction Q est nulle sur . Ceci donne ensuite via les formules de Cauchy-Riemann
P P Solution de lexercice 4.5
(z) = (z) = pour tout z . Sachant que est convexe ceci quivaut P , et
x y
donc f , est constante sur . 1. en posant z = x + i y ,

e z = e z = et arg z = [] e x = et y = [] z = y iZ
Solution de lexercice 4.2
Si on pose f (z) = P(z) + iQ(z), alors pour tous z , P(z) = x y . Les formules de 3. Par dnition g vrie pour tout z , e
g(z)
= z = e ln(z) donc pour tout z ,
Cauchy--Riemann donnent alors g(z)ln(z) iZ. Comme g ln est continue et est connexe par arcs alors (g ln)()
est un connexe par arcs inclu dans iR et est donc de la forme iI ou I est un intervalle de R
Q P Q P
(z) = (z) = y et (z) = (z) = x qui est son tour forcment inclu dans Z. Ceci n'est possible que lorsque I est rduit
x y y x un singleton. Ce qui signie que g ln est constante dont la valeur un lment de iZ.
i
La premire quation s'intgre sous la forme Q(z) = x y + (y), o est une fonction 4. h(z) = ln(ze ) + i est bien dnie ssi ze i R , ce qui est quivalent z R e i .
de classe C sur R et valeur dans R. d'une seule variable, et en drivant cette dernire Ainsi h est holomorphe sur = C R e i . Gomtriquement R e i est la demi-droite
expression par rapport y et en comparatnt la deuxime quation, on obtient (y) = du plan complexe obtenue en faisant tourner la demi-droite R d'un angle .
ceci sur l'intervalle R. Alors est constante.
Ensuite e h(z) = e i exp ( ln(ze i )) = e i ze i = z . Donc h est bien une dtrmination du
Ainsi, il existe une constante k R telle que f (z) = x y + ix y + ik = z + ik .
logarithme complexe sur .
Rciproquement une fonction de cette forme vrie bien Re( f (z)) = x y .

Solution de lexercice 4.3 Solution de lexercice 4.6


g Soit f la somme de la srie entire a n z n . Pour tout n N et r > ,
(x, y) = pa p,q x p y q = (p + )a p+,q x p y q et
x pn pn
an = f (re i )e in d
r n
qn qn
g
(x, y) = qa p,q x p y q = p q
(q + )a p,q+ x y donc si f est borne sur R de borne suprieure M alors pour tout n N
y pn pn M
qn qn r > , a n n
g g r
Supposons que f est holomorphe alors (x, y) = i (x, y) et donc pour tout La possibilit de faire tendre r vers + achve de justier que pour tout n N , a n = . Ainsi
y x
f est constante.
(p, q) [[, n ]] , (q + )a p,q+ = i(p + )a p+,q . En remplaant q + par q
p+ Solution de lexercice 4.7
a p,q = i a p+,q
q
de quoi on dduit que , 1. Le critre de D'Alembert donne R = . Si x est un rel de l'intervalle
] , [. On reconnait
p+ p+ p+q (p + q)! p en f (x) le dveloppement en srie entire de la fonction x z + x.
a p,q = i q a p+q, = i q a p+q, = i q C p+q a p+q,
q q p!q!

-
.
. Les cahiers de prpas N 1
.
Fonctions holomorphes 35 .

2. f est une fonction holomorphe sur le disque ouvert D(, ) (somme d'une srie entire) Solution de lexercice 4.10
et elle vrie
S'il existe une suite (a n )n non stationnaire d'lments de qui converge dans vers un
z ] , [, f (z) = + z
lment a et telle que f (a n ) = g(a n ) pour tout n N alors a serait un zro non isol de
La fonction holomorphe g z z f (z) z est forcment nulle sur D(, ) car est g f et donc g f = .
un zro non isol de g . Ainsi
1. x R, sin x + cos y = la fonction holomorphe sur C, g z z cos z + sin z admet

z D(, ), f (z) = + z le point comme zro non isol, elle est donc nulle.
2. Fixer a C et considrer de mme la fonction z z cos(a + z) cos a sin z + sin a cos z
ln(+z)
3. On considre la fonction h dnie sur l'ouvert = C] , [ par h(z) = e
est holomorphe sur comme compose de fonctions holomorphes et pour tout
.h
o
,
z
h(z) = + z . En particulier pour tout x ] ,[, h(x) = + x ou h(x) = + x .
Comme h est continue et h() = alors h(x) = + x = f (x), pour tout x ] , [. On
en dduit d'aprs le principe des zros isols que h(z) = f (z) pour tout z D(, ).
4. Ce sont les fonctions h et h
5. On dmontre qu'il existe exactement p fonctions holomorphes dnies sur l'ouvert
= C] , [ vriant f (z) p = + z pour tout z . Elles sont donnes par les
expressions
i k ln(+z)
z , f k (z) = e p ep
o k [[, p ]].

Solution de lexercice 4.8

1. Z f est l'image rciproque par l'application continue f du frm {}, c'est donc un ferm
.
.
relatif de .

2. En posant g(z) = sin(/z), g dnie une fonction holomorphe sur l'ouvert C . Les points

de la forme /k o k Z sont tous des zros de g . Comme la suite (/k) kN converge
vers qui n'est pas un lment de C alors Z g n'est pas un ferm (c'est bien sr un ferm
relatif de C ).
3. Une suite de zros de f qui converge, ne peut converger dans car sa limite l constituerait
un zro non isol de f . Comme l est la limite d'une suite d'lments de alors l .

l = donc l .

Solution de lexercice 4.9

1. Si on avait d(, Z f ) = on serait capable de construire une suite de zros de f qui


convergerait vers , ce qui est impossible puisque f () . Alors d(, Z f ) > .
2. La fonction / f est holomorphe sur le disque ouvert D(, r), puisque celui-ci ne contient
aucun zro de f (par dnition de r ). Alors / f est DSE en 0 sur tout le disque D(, ).

-
.
.

propos de lauteur de larticle


. Lauteur natif de la ville dEl Jadida a ob- } Cours ~
tenue une licence en mathmatiques en
1984 l E.N.S. de Casablanca. Il intgre un
centre de prparation au concours de la-
grgation quil passe avec succs en 1994.
Transformations affines
La mme anne il sinscrit la facult
des sciences de Rabat pour obtenir le di-
euclidiennes du plan et de lespace
plme des tudes approfondies en math-
matiques ; ensuite la facult des sciences
Ben MSik pour obtenir un doctorat de troi-
sime cycle ( D.E.S.) quil soutient en 1995. Il prpare et soutient en par Karim Chaira
2000, la mme facult, une thse de doctorat en mathmatiques sur Lyce technique Mohammedia
le thme : Thorme du point xe et ses applications. .
. .
Il a t affect au Lyce Technique Mohammedia en 1994, o il a en-
Le. but de cet article est d'tudier les isomtries anes dans le plan et dans
seign la deuxime anne T.S.I. et ensuite M.P. jusqu nos jours.
l'espace
. sans faire appel l'algbre.linaire. Ce qui permettra d'enrichir ces
Monsieur Chaira a publi plusieurs articles scientiques et pdago- notions dans les classes prparatoires PCSI et la premire anne TSI. .
giques. Il a t membre du groupe G.T.D. au ministre de lducation
nationale en 2007-2010, groupe responsable de la prparation des nou-
veaux programmes des classes prparatoires, option mathmatiques.
I. Transformations du plan

Le plan ane euclidien P est rapport un repre orthnormal direct (O;



u ,

v)


c'est dire u = v = et ( u , v ) [].

Pour les deux vecteurs

u et

v , il existe deux uniques points I et J de P tels que


u = OI et v = OJ .

I.1 Transformations, isomtries et dplacements

. : On dit qu'une application f P P est une


transformation si f est une bijection de P sur lui mme.

-
.
. Les cahiers de prpas N 1
.
Transformations afnes euclidiennes du plan et de lespace 37 .


2. D'aprs a), si M est un point de la droite (AB), o A et B deux points distincts, M = f (M)
Une transformation f est une isomtrie du plan P si :
. : est un point de la droite (A B ). Soit alors N un point de la droite (A B ), il existe un point
N tel que N = f (N ), soit N = f (N). Comme f est une isomtrie, le raisonnement
(M, N) P , MN = M N , o M = f (M) et N = f (N).

prcdent permet de dire que N est sur la droite (AB).
On dit alors qu'une isomtrie est une transformation qui conserve la distance.
I.2 Translations, rotations et rflexions

1. Une isomtrie conserve les angles gomtriques, mais pas ncessairement les angles orien-
ts. . : Soit un vecteur.On appelle translation de vecteur
w


w , note t

w , la transformation qui, tout point M , fait correspondre le point

En eet, les relations : BC = AB + AC AB AC cos(AB, AC) et
M tel que MM =
w.
B C = A B + A C A B A C cos(A B , A C ), o A , B et C sont les images

des points A, B et C par cette isomtrie, montrent que : (AB, AC) = (A B , A C )
. : Tout translation est un dplacement.
. : On appelle dplacement toute isomtrie qui conserve
les angles orients c'est dire pour tout triplet (A, B, C) P tel que B et C Expression analytique dune translation
sont distincts de A, on a :

Soient
= a
w
u + b

v un vecteur et M(x, y), M (x , y ) deux points du plan P .
(A B , A C ) (AB, AC) [], o A , B et C sont les images de A, B et C resp. x = x + a
par cette isomtrie. w (M) = M {
t

y = y + b
.

. : Translation et nombres complexes.



1. Pour tout dplacement f de P , ( f (O); u , v ) est un repre orthonormal direct, o Toute translation peut tre dnie par une relation de type z = z + b o b est

un complexe, et rciproquement.
u = f (O) f (I) et v = f (O) f (J).


. : : Les axes respectives z, z et b de M, M et MM sont lis par les relations
z = z + b et z = z b ; le nombre b est l'axe du point O = t(O), o O est l'origine du
1. Une isomtrie transforme trois points aligns en trois points aligns. repre.
En particulier, si B est le milieu de [AC], B est le milieu de [A , C ].
2. L'image d'une droite par une une isomtrie est une droite. . : Soient un point de P et un rel.
On appelle rotation de centre et d'angle la transformation r M M
telle que
: 1. Soient trois points A, B et C aligns dans cet ordre et f une isomtrie. On

pose A = f (A), B = f (B) et C = f (C). On a : AC = AB + BC , donc A C = A B + B C
M = M et (M, M ) [] si M

ce qui traduit que les points A , B et C sont aligns dans cet ordre.

r() =

-
.
.
38
.
Transformations afnes euclidiennes du plan et de lespace
.

Les cahiers de prpas N 1

On la note : r(,) . . : Soient r(,) une rotation et M, N deux points


distincts de P .

Alors, ( MN , M N ) [], o M = r(M) et N = r(N).
. : Toute rotation est une isomtrie.
: Il sut d'utiliser z N z M = e i (z N z M ).
: Soit r une rotation de centre et d'angle . Soient M et N deux points de P .
On pose M = r(M) et N = r(N). . : Toute rotation r(,) est un dplacement de P .
On a par la relation de Chasles,




(M, N) (M, M ) + (M , N ) + (N , N)


: Posons O = r(O), I = r(I) et J = r(J). D'aprs la proposition prcdente,
+ (M , N ) (M , N ) []



(OI, O I ) [] et (OJ, O J ) []. Donc,
Et, d'aprs les relations suivantes : MN = M + N M N cos(M, N) et





(O I , O J ) (O I , OI) + (OI, OJ) + (OJ, O J ) + + [].
M N = M + N M N cos(M , N ), on a : MN = M N . Ainsi, r est une
isomtrie.
. : Soient r ( , ) et r ( , ) deux rotations. Alors,
r r est une rotation d'angle + .
. : Si r est une rotation de centre et d'angle , alors
z = e i z + b, o z et z sont les axes des points M et M resp. et M = r(M).
La rciproque est vraie si e i ou b = . : Si et " sont les axes des centres et resp., on dispose des galits :

z = e i (z ) et z = e i (z ) = e i [(z ) + ( )], puis

z = + e i [e i (z ) + ( )], que l'on peut crire, pour k , sous la forme
: Les axes respectives , z et z de O, M et M sont lies par les relations
e i " ( e i ) + ( e i )
z = e i (z ) soit z = e i (z ) + = e i z + b . z" = e i (z ) avec = + et = .
b
e i
Rciproquement, toute rotation du type z = e i (z ) + o = , dnit la rotation On notera qu'en gnral r ( , ) r ( , ) et r ( , ) r ( , ) sont des transfor-
ei
de centre et d'angle . mations direntes.

Expression analytique dune rotation


I.3 Rflexions
Soient M(x, y), M (x , y ) deux points du plan P .
x = cos()x sin()y
r(M) = M z b = e i z { , o + i la forme
y = sin()x + cos()y . : Soit une droite du plan P . On appelle symtrie
algbrique de b. orthgonale (ou rexion) la transformation qui, tout point M , associe le
point M de la perpendiculaire issue de M tel que le milieu du segment
[MM ] appartient .

-
.
. Les cahiers de prpas N 1
.
Transformations afnes euclidiennes du plan et de lespace 39 .

On note une telle symtrie S .


Autrement dit, une transformation f du plan est une similitude si elle vrie
S (M) = M ((MM ) , (MM ) = {H} et HM = HM).
AB A B
l'galit : = , pour tout points A, B, C et D de tels que C et D sont
CD A C
distincts et que A = f (A), B = f (B), C = f (C) et D = f (D).
1. S S = IdP .

2. S est une isomtrie.


. : Si f est une similitude, alors il existe un unique
Expression analytique dune rexion nombre rel k > , appel rapport de la similitude, tel que pour tout couple

(M, N) de points, on ait A B = kAB.
Soit la droite d'quation : ax + by + c = , o (a, b) (, ). On a
= a
w
u + b
v

est un vecteur normal . On dsigne par M(x, y) un point du plan, M (x , y )

l'image de M par la rexion S et H(x o , y o ) le point de vriant : HM = ,
w : On xe deux points distincts C et D du plan. Comme f est une similitude,
AB A B A B C D
R et HM = HM . pour tout couple (A, B) de points on a : = c'est dire = . On pose
CD AC AB CD
C D

k= .
S (M) = M (MM ) , (MM ) = {H} et HM = HM

CD
L'unicit est claire puisque, si A et B sont distincts, l'galit k AB = k AB implique k = k .

ax o + by o + c =



x o = a + x et y o = b + y




x = x o x et y = y o y
1. Soit h une homothtie de centre et de rapport k ( k R ) (c'est dire, la transformation

b a ab ac


x
= x y qui, tout point M associe le point M tel que M = k M ).
b +a
b +a b + a
h est une similitude de rapport k.


ab a
b
bc

y = x+ y Une homothtie a donc deux rapports : son rapport d'homothtie k et son rapport de
b +a b +a b + a similitide k.
Pour toute homothtie et tout couple (M, N) de points distincts ayant pour images M


1. Toute rexion n'est pas un dplacement. Plus prcisemment, pour tout triplet et N , on a : ( MN , M N ) []. Il en rsulte que, pour tout triplet (A, B, C) de points



(A, B, C) P tel que B et C sont distincts de A, (A B , A C ) (AB, AC) [], avec B et C distincts de A, on dispose de l'galit (AB, AC) (A B , A C )[].

o A , B et C sont les images de A, B et C resp. 2. Les isomtries sont des similitudes de rapport , en particulier, les translations, les rotations
et les rexions.
I.4 Similitudes directes planes
. : Si f et f sont deux similitudes de rapports k et k
resp., alors f f est une similitude de rapport kk .
. : On appelle similitude plane, toute transformation du
plan qui conserve les rapports de distances.

Dmonstration. Il sut de remarquer que, si f (A ) f (B ) = k A B et A B = k AB,

o A = f (A) et B = f (B), alors f (A ) f (B ) = kk AB.

-
.
.
40
.
Transformations afnes euclidiennes du plan et de lespace
.

Les cahiers de prpas N 1

2. Pour toute similitude directe f il existe une translation t


u , une homothtie h et une

1. Tout similitude de rapport k , sa bijection rciproque est une similitude de rapport



. rotation r telles que f = r h t
u .
k
3. La compose de deux similitudes directes est une similitude directe.
. :

1. Une similitude transforme trois points aligns en trois points aligns. 1. La rciproque d'une similitude directe est une similitude directe.

2. L'image d'une droite par une une similitude est une droite. 2. Pour toute similitude directe f il une translation t
u , une homothtie h et une rotation r

telles que f = r h t
u .
3. Une similitude de rapport k transforme un cercle de rayon r en un cercle 3. La compose de deux similitudes directes est une similitude directe.
de rayon kr .
En eet, pour b) il sut d'appliquer f la dnition d'une similitude directe.


c) Le produit est une similitude qui conserve la mesure (AB, AC) d'un angle
d'un triangle form par trois points A, B et C deux deux distincts. Il sut
. : On dit qu'une similitude f est directe s'il existe une de les choisir non aligns pour vrier qu'alors on ne peut pas avoir la fois
translation t u , une homothtie h et une rotation r telles que f = t
u h r.



(A B , A C ) (AB, AC)[] et


(A B , A C ) + (AB, AC) [], ce qui prouve que ce produit est une similitude
1. L'angle de la rotation gurant dans une telle dcomposition de la forme directe.
f = t
u h r ne dpond pas de la dcomposition.


. : Similitudes et nombres complexes.
En eet, pour tout couple (A, B) de points distincts on a : (AB, A B ) [], o Pour tout (a, b) C C, l'application qui associe au point d'axe z le point
est l'angle de la rotation r . d'axe az + b est une similitude directe de rapport a et dont l'angle admet
pour mesure l'argument principal de a.
. : le nombre est appel angle de la similitude directe
f.
: Si a = re i avec r > , c'est en eet le produit de la translation dnie par b,
de l'homothtie de centre O et de rapport r = a et enn de la rotation de mme centre et
d'angle . Il en rsulte que les nombres k et sont respectivement le rapport et l'angle de la
. : Pour toute similitude directe f et tout triplet similitude.


(A, B, C) de points deux deux distincts, on a : (A B , A C ) (AB, AC)[].
. : Pour toute similitude f , il existe deux nombres
complexes a et b vriant a tels que l'axe z de l'image par f du point
: Cela rsulte de l'galit f = t d'axe z soit donne par z = az + b.
u hr et des proprits analogues des translations,
des rotations et des homothties.
: Soit b l'axe de f (O) et a + b l'axe de l'image par f du point d'axe .
1. La rciproque d'une similitude directe est une similitude directe. L'application z az + b est associe une similitude directe f telle que le produit f f
laisse xe les points d'axes et : c'est donc l'identit, c'est dire f = f .

-
.
. Les cahiers de prpas N 1
.
Transformations afnes euclidiennes du plan et de lespace 41 .

1. Une isomtrie conserve les angles gomtriques, mais pas ncessairement les angles orien-
. : Points invariants par une similitude directe. ts.
Toute similitude directe de rapport k admet un seul point invariant.
En eet, mme dmarche que dans le cas des isomtries planes.

: La seule solution de l'quation z = az + b est en eet z =


b
, ce qui a un sens
. : 1. Une isomtrie transforme trois points aligns en
a trois points aligns.
car a , d'o a . En particulier, si B est le milieu de [AC], B est le milieu de [A , C ].
2. L'image d'une droite par une une isomtrie est une droite.
. : Toute similitude directe de centre d'axe est
associ une criture complexe de la forme z = a(z ).
: Mme dmarche que dans le cas des isomtries planes.

: Cela rsulte du faite que est l'unique solution de l'quation z = az + b.


. : On dit qu'une isomtrie f de E est un dplacement si


II. Transformations de lespace ( f (O); i , j , k ) est un repre orthonormal direct de E , o i = f (O) f (I),


j = f (O) f (J) et k = f (O) f (K).
On suppose dans ce chapitre l'espace usuel E rapport un repre orthnormal





direct d'origine O et de vecteurs unitaires = ( i , j , k ) par rapport auquel les Rappellons que la base orthonormal ( i , j , k ) est directe si le produit mixte
coordonnes sont notes (x, y, z).


i .( j k ) est positif.
Pour les vecteurs i , j et k , il existe des uniques points I , J , et K de E tels que


i = OI , j = OJ et k = OK .
1. Si ( i , j , k ) est une base orthonormal direct, alors


i .( j k ) = det ( i , j , k ) =
II.1 Transformations, isomtries et dplacements

1. Une isomtrie f de E est un dplacement si, et seulement si, pour tout repre orthonormal
=
. : On dit qu'une application f E E est une direct (O;
u ,
v , ), o
w u = OI , v = OJ et w OK , le repre
transformation si f est une bijection de E sur lui mme.
( f (O); f (O) f (I ), f (O) f (J ), f (O) f (K )) est aussi ortonormal direct de E .

Cette remarque sera montionne et dmontre en deuxime anne, elle justie


qu'un dplacement est indpendant du repre orthonormal direct choisi.
. : Une transformation f est une isomtrie de l'espace

E si :

1. Pour toute isomtrie (resp. tout dplacement) f , sa rciproque f est galement une
(M, N) E , MN = M N , o M = f (M) et f (N) = N .
isomtrie (resp. un dplacement).
On dit alors qu'une isomtrie est une transformation qui conserve la distance.
2. Pour tout couple ( f , g) d'isomtries (resp. de dplacements), f g et g f sont des
isomtries (resp. des dplacements).

-
.
.
42
.
Transformations afnes euclidiennes du plan et de lespace
.

Les cahiers de prpas N 1

II.2 Translations, rotations et rflexions : Cela rsulte du fait que le produit de leurs restrictions chaque plan orthgonal
Oz est une rotation dont l'angle est la somme des angles des deux rotations, donc indpendant
du plan choisi.
. : Soit un vecteur.On appelle translation de vecteur
w


w , note t w , la transformation qui, tout point M , fait correspondre le point . : Pour tout nombre non multiple de , l'axe Oz

M tel que MM =

w. est l'ensemble des points xes de la rotation d'axe Oz et d'angle .

. : Tout translation est un dplacement. . : Tout cercle d'axe Oz est invariant par toute rotation
d'axe Oz .

Expression analytique dune translation





Expression analytique dune rotation daxe Oz
Soient = a i + b j + c k un vecteur et M(x, y, z), M (x , y , z ) deux points de
w
l'espace E . On a : t Pour tout nombre rel et tout point M de coordonnes (x, y, z), les coordon-
w (M) = M (x = x + a , y = y + b et z = z + c).
nes de son image M par la rotation r(Oz, ) sont donnes par les galits :

x = x cos() y sin()


. : Pour tout nombre rel , on appelle rotation d'axe y = x sin() + y cos() .



Oz et d'angle l'application dont les restrictions aux plans orthogonaux Oz z =z
sont les rotations d'angle et de centres les projections de O sur ces plans. En eet, cela rsulte du faite que sa restriction chaque plan orthgonal Oz est la
On la note r(Oz, ). rotation de centre la projection de O et d'angle .

Ainsi la rotation d'angle nul est l'identit, et celle d'angle est la symtrie relative . : Pour tout rotation d'axa Oz et toute droite D
Oz , c'est--dire l'application qui tout point M associe le point M symtrique de parallle Oz , son image D est une droite parallle Oz situ la mme
M par rapport la droite Oz . distance que D de Oz .

. : Pour tout nombre rel la rotation r(Oz, ) est


une transformation de l'espace. . : Pour tout rotation r(Oz, ), tout triplet (A, B, C)
de points de l'espace et leurs images (A , B , C ) par r(Oz, ), on a l'galit :

A B . A C = AB. AC
: Cela rsulte du fait que sa restriction chaque plan orthogonal Oz est une
transformation du plan.

: C'est clair si les deux vecteurs AB et AC sont orthogonaux Oz puisque les trois
points (A, B, C) sont alors dans un mme plan orthogonal Oz et qu'une rotation conserve
. : le produit de deux rotations d'axe Oz est une le produit scalaire.
rotation.
C'est galement clair si les deux vecteurs AB et AC sont parallles Oz , d'aprs la proposition
prcdente puisque les trois points (A, B, C) sont alors aligns sur une parallle Oz .

-
.
. Les cahiers de prpas N 1
.
Transformations afnes euclidiennes du plan et de lespace 43 .

Ces deux cas particuliers impliquent le cas gnral, car il sut de dcomposer les deux

vecteurs AB et AC en AB = AH + HB et AC = AK + KB avec AH et AK parallles Oz 1. SP SP = IdP .

et HB et KC orthogonaux Oz , puis de remarquer l'galit : AB. AC = AH. AK + HB. KC
2. SP est une isomtrie.

. . : Toute rotation d'axe Oz conserve l'angle, et


l'ventuelle orthogonalit, de deux vecteurs ou de deux droites. Expression analytique dune rexion
Soit P le plan d'quation : ax + by + cz + d = , o (a, b, c) (, , ). On a
= a

: En eet elle conserve le produit scalaire (rappelons que dans l'espace, les angles w i + b j + c k est un vecteur normal P . On dsigne par M(x, y, z) un point
ne peuvent tre orients). de l'espace, M (x , y , z ) l'image de M par la rexion SP et H(x o , y o , z o ) le point

de P vriant : HM = . , R et
w

HM = HM .

. . : Toute rotation d'axe Oz est une isomtrie. SP (M) = M ((MM ) P , (MM ) P = {H} et HM = HM)
[ ax o +by o +cz o +d = , (x o = a+x , y o = b+y , z o = c+z)



et (x = x o x , y = y o y , z = z o z) ]

: En eet A B = A B . A B = AB. AB = AB.
b + c a ab ac ad


x = + b + c
x y z

a a + b + c a + b + c a + b + c

a + c b ab bc bd
. : Toute rotation r(Oz, ) est un dplacement de E . y = y x z .


a + b + c a + b + c a + b + c a + b + c


a +b c ac bc cd


z = z x y


a +b +c a +b +c
a +b +c
a + b + c
: r tant une rotation d'axe Oz , donc r(O) = O , r(K) = K et k = k . La
restriction de r au plan xO y orthgonal Oz est la rotation de centre O et d'angle . Donc,
1. Toute rexion SP n'est pas un dplacement.


( i , j ) = (O r(I), O r(J)) [] et


En eet, Soient H, I , J des points du plan P tels que (HI , HJ ) [] et K un
O r(I). (O r(J) O r(K)) = O r(K). (O r(I) O r(J)) = O K.( i j ) = k .( i j ) =

point de l'espace E tel que (H; HI , HJ , HK ) soit un repre orthonormal direct.

II.3 Rflexions Pour ces vecteurs HI , HJ et HK , ils existent des points I , J et K (uniques) tels

que HI = OI , HJ = OJ et HK = OK .

Comme SP (H)SP (I ) = HI , SP (H)SP (J ) = HJ et SP (H)SP (K ) = HK , donc
. : Soit P un plan de l'espace E . On appelle symtrie
le repre orthonormal (O; I , J K ) n'est pas direct.
orthgonale par rapport au plan P (ou rexion) la transformation qui, tout
point M , associe le point M de la perpendiculaire P issue de M tel que le
milieu du segment [MM ] appartient P .

On note une telle symtrie SP .



SP (M) = M ((MM ) P , (MM ) P = {H} et HM = HM).

-
.
. 44
.
Transformations afnes euclidiennes du plan et de lespace
.

Les cahiers de prpas N 1

II.4 Exemple

x = z



On considre la transformation ane f M(x, y, z) M (x , y , z ), o y = x .



z =y

f est une isomtrie de E . De plus, f est un dplacement de E , car ( i , j , k ) est
une base orthonormal directe.
L'ensemble des points invariants de E par f est la droite D passant par O est de



vecteur directeur
= ( i + j + k ).

w

On construit deux autres vecteurs

u et

v de sorte que (

u ,

v ,
) soit une base
w




orthnormale directe :

u = ( i j + k ) et


v = ( i j ).




Soit (x, y, z, X, Y , Z) R tel que OM = x. i + y. j + z. k = X.

u + Y .
v + Z.
.
w




x = X + .Y + .Z





On a y = X .Y + .Z .








z = X + .Z

Soit M (x , y , z ) le point image de M par f , et (X , Y , Z ) R tel que



OM = x . i + y . j + z . k = X .

u + Y .

v + Z .

w
.
.





X = X Y



En utilisant les deux systmes prcdents, on obtient . Ainsi,


Y = X Y




Z
= Z

f est une rotation d'axe D et d'angle = []. o

-
.
Le Le Le Le Le Le
s s s s s
ca ca ca ca ca
h h h h h
ie ie ie ie ie
rs rs rs rs rs
d d d d d
e e e e e
p p p p p
r r r r r
p p p p p
a a a a a
s s s s s

Le Le Le Le Le Le
s s s s s
ca ca ca ca ca
h h h h h
ie ie ie ie ie
rs rs rs rs rs
d d d d d
e e e e e
p p p p p
r r r r r
p p p p p
a a a a a
s s s s s

Le Le Le Le Le Le
s s s s s
ca ca ca ca ca
h h h h h
ie ie ie ie ie
rs rs rs rs rs
.

d d d d d
e e e e e
p p p p p
S
r r r r r
p p p p p
a a a a a
s s s s s

Le Le Le Le Le Le
s s s s s
ca ca ca ca ca
p

h h h h h
ie ie ie ie ie
rs rs rs rs rs
d d d d d
e e e e e
p p p p p
r r r r r
p p p p p
a a a a a
s s s s s

Le Le Le Le Le Le
s s s s s
ca ca ca ca ca
h h h h h
.
.

ie ie ie ie ie
rs rs rs rs rs
c

d d d d d
e e e e e
p p p p p
r r r r r
Prparation aux

p p p p p
a a a a a
s s s s s
i

Le Le Le Le Le Le
s s s s s
ca ca ca ca ca
h h h h h
ie ie ie ie ie
rs rs rs rs rs
d d d d d
e e e e e
p p p p p
a

r r r r r
p p p p p
a a a a a
s s s s s
concours

Le Le Le Le Le Le
l

s s s s s
ca ca ca ca ca
h h h h h
ie ie ie ie ie
rs rs rs rs rs
d d d d d
e e e e e
p p p p p
r r r r r
p p p p p
a a a a a
s s s s s

Le Le Le Le Le Le
s s s s s
ca ca ca ca ca
.

propos de lauteur de larticle


.Lauteur, originaire du Souss, a eu son di- } Problme ~
plme denseignant de secondaire lENS
de Rabat en 1988, il rejoint plus tard un
centre de prparation au concours de la-
grgation, concours quil russit en 1995.
Fonctions et
Il est alors affect au lyce Reda Slaoui
Agadir o il enseigne les mathmatiques en
classes prparatoires jusqu lan 2000, an-
ne o il rejoint le centre de prparation
lagrgation de Marrackech comme forma-
teur. Il a actuellement la charge de la classe MP au lyce Ibn Taimia. par Lahcen Lhachimi
Sa mutation vers Marrackech lui a permis dentamer des tudes de troi- Lyce Ibn Taimia Marrakech
sime cycle luniversit Cadi Ayyad. Il ainsi pu soutenir son doctorat .
es mathmatiques en 2010. .
Monsieur Lhachimi est trs apprci de ses collgues pour sa comp-
tence, sa sympathie et son sens de lhumour trs spcial.
nonc
.
Rsultats prliminaires
Soient a n x n et b n x n deux sries entires de rayon , telles que b n et b n
n n n
diverge.
+
1. Montrer que lim b n x n = +
x n=


2. Montrer que si a n b n alors a n x n bn x n
n= x n=

3. Soit I un intervalle de R, f I R une application convexe.


f (x) f (x )
Montrer que pour tout x I, l'application x est croissante sur
x x
I {x }.

Partie 1 :
+
Pour x > on note (x) = t x e t dt

-
.
. Les cahiers de prpas N 1
.
Fonctions et 47 .

+ dt
Soient ], +[ et = . On pose Pour n N , u n () = . 2a. Dterminer lim+ (x, y)
x
( + t )n
Dans cette partie on calculera u n () l'aide de . (x ln t)n
2b. Soit u n t ( t) y Pour x ] , [, vrier l'intgrabilit de u n
n!
+ du
1. Vrier que u n () est bien dni et que n u n () = . sur ]0,1[, puis montrer que la srie u n est convergente
( + un )n n

2c. En dduire que l'application x (x + , y) est dveloppable en srie


()
2. En dduire que u n () . entires au voisinage de zro et prciser le rayon de convergence.
n+ n
3. 3a. Justier l'galit : 3. Expression de comme limite d'une suite :
+ n t n x
x ] , [, u n ()x n = x( x) u () 3a. Montrer que pour x > , lim ( ) t dt = (x)
n+ n
n=
n x n!
3b. Dduire l'expression de u n () en fonction de u () 3b. En dduire que (x) = lim
n+ n
(k + x).
+ k=
n
4. Pour x ] , [ on pose G(x) = n x 3c. En dduire la formule du ddoublement :
n=
x
4a. Vrier que G est bien dnie. (x) = (x)(x + )

4b. Par comparaison srie intgrale montrer que G(x) ( )( x)
x 4. Formule des complments :
+
4c. A l'aide de 2) montrer que ()G(x) u n ()x n . 4a. Etablir la relation
x n= n x
= lim ( )
4d. En dduire que u () = ()( ) x(x)( x) n+ k= k
4b. Soit f la fonction dnie sur [0,1[ par
+
Partie 2 : x
f (x) = ln( )
n= n
1. La fonction beta : Montrer que f est bien dnie , continue sur [0,1[ et de classe C sur ]0,1[.

1a. Montrer l'existence pour x et y dans R+ de (x, y) = t x ( t) y dt 4c. Soit x ], [ et g la fonction 2 priodique dnie par

et comparer (x, y)avec (y, x). t [, ], g(t) = cos(xt)
x Dterminer la srie de Fourier de g, prciser le mode de convergence de cette srie
1b. Etablir la relation (x + , y) = (x, y) et sa somme.
x+y
1c. Calculer pour n N , (n, y). 4d. Vrier la convergence et donner la valeur de la somme de la srie
x
1d. Montrer que pour y x, l'application y x (x, y) est de classe C sur +
x n x n
]0,+[ .
4e. Dduire que pour x ], [
1e. Montrer que ln y est convexe. +
x sin(x)
2. Dveloppement en srie entire de x (x + , y)
ln(
) = ln( )
n= n x

-
.
.
48
.
Fonctions et
.

Les cahiers de prpas N 1

4f. Etablir la formule suivante :


t

exp( ) si t
x ], [, (x)( x) =
3. Etablir la domination f n (t) (t) avec (t) =

( + t)e t

sin(x) si t >
4g. En dduire la valeur de u () de la partie 1. x
4. Conclure que (x + ) ( ) x x
x+ e
5. Caractrisation de : On rappelle que est continue sur ]0,+[, ln est
convexe, () = et x > , (x + ) = x(x).
Rciproquement soit g ], +[ R+ continue et vriant : '
i) g() = , ii) x > , g(x + ) = x g(x), iii) ln g est convexe.
On se propose de montrer, rciproquement, que g =
5a. Vrier que pour x ], [
ln g(x + n) ln g(n)
ln g(n) ln g(n ) ln g(n + ) ln g(n)
x
5b. En dduire que
n n x n!
g(x) g(x)
x+n x(x + )..(x + n)
5c. Conclure que g = .

6. Expression de la fonction beta l'aide de


B(x, y)(x + y)
6a. En considrant g x z , montrer que
(y)
(x)(y)
x, y > , (x, y) =
(x + y)


6b. Exprimer sinx (t)dt en fonction de .

Partie 3 : Extension de la formule de Stirling


x + t
1. Vrier que pour x > , (x + ) = ( ) x x ( + )x e t x dt
e x x
2. On considre une suite x n d'lments de [, +[ telle que lim x n = +, et on
n+
t
pose f n (t) = ( + )x n e t x n si t > x n et f n (t) = si non. Montrer que
xn
t
pour t > x n on a : f n (t) = exp [t g( )] avec g une application continue
xn
sur ] , +[ que l'on prcisera et tudier les variations de g.

-
.
. Les cahiers de prpas N 1
.
Fonctions et 49 .

D'o f a (x) f b (x).


x

f (b) f (a)
3. Pour a, b I avec a < b, notons (a, b) = = (b, a).
Corrig ba
Soit c ]a, b[ donc il existe t ], [ tel que c = ta + ( t)b, f est convexe donc
f (c) t f (a) + ( t) f (b) par suite
Rsultat prliminaire f (c) f (a) ( t)( f (b) f (a)) et t( f (b) f (a)) f (b) f (c)
bc ca
1. On a b n donc n , x b n x n est croissante sur [0,1[, par suite or t = et t = donc
ba ba
f b x b n x n l'est aussi donc f b admet une limite nie ou non quand Pour a < c < b on a : (I) (a, c) (a, b), (II) (a, b) (b, c)
n= Soient maintenant x, y I/{x } tels que x < y.
x tend vers
N
1er cas : x < x < y, d'aprs (I) on a (x , x) (x , y)

Soit N on a x [0,1[, b n x f b (x) quand x tend vers 1 on obtient
n
2 e me cas : x < y < x d'aprs (II) on a (x , x) (x , y)
n=
N 3 e me cas : x < x < y D'aprs (I) et (II) on a (x , x) (x, y) (x , y)
N , b n
n= Finalement l'application x (x , x) est croissante sur I/{x }.
N
or b n + donc = +
n= N+ Partie 1
2. f a (x) f b (x) Soit > donc il existe N N, n > N , a n b n b n .
x 1. f t est continue sur [0,+[ et et n >
( + t )
n ( + t )
n t+ t n

donc pour x [, [ u
donc f est intgrtable sur [0,+[. En posant t = on obtient
(a n b n )x n a n b n x
n n
+ du
n=N+ n=N+

n u n () =
( + un )n
b n x
n

n=N+ u n u u
2. On a ( + ) = C nk ( ) k + C n = + u on obtient la domination
b n x = f b (x).
n n kn n n
n=
N u n intgrable donc par TCVD on a
(a n b n )x n ( + n ) + u
+ + +
D'autre part on a lim f b (x) = + donc lim n= = donc il existe lim n u n () = lim du = e u
du = t e t dt
x x f b (x) n+ n+ ( + u
) n
n
], [, tel que
N
()
x [, [, (a n b n )x n f b (x) 3. 3a. On a u n () donc par D'Alembert la srie entire u n ()x n
n+ n
n= + xn
N est de rayon 1, d'autre part u n ()x n = f n (t)dt avec f n (t) =
donc x [, [, f a (x) f b (x) (a n b n )x n + (a n b n )x n f b (x) ( + t )n
n= n=N+

-
.
.
50
.
Fonctions et
.

Les cahiers de prpas N 1

+ + e u + e u
n ( )
On a f n est intgrable et f n = u n () x est convergente pour I(x) = du du = +
( ln x) u x
( x) u ( x) x
x < , car la SE est de rayon 1, donc par thorme d'inversion srie intgrale on
+ + + + x + ( )
xn +t x donc I(x) I(x) d'o G(x) .
a u n ()x n = dt = x dt = t dt x x ( x)
n= n= ( + t ) n +t x + x
()
t 4c. On a u n () donc d'aprs Le rsultat prliminaire on a
En posant u = on obtient n+ n
( x) +
+ + ()G(x) u n ()x n
u n ()x = x( x) du = x( x) u ()
n
x n=
n= + u
+
3b. On a d'aprs le Dv en SE des fonctions usuelles, pour x < , 4d. On a ()G(x) u n ()x n , donc d'aprs a) ()G(x) x(x) u ()
+ + x n= x
( )( )..( n) ( )( )..(n ) n
( x) = + (x)n = + x et ensuite d'aprs b)
n! n!
n= n=
()( )( x) x( x) u ()
+ x
( )( )..(n ) n+
donc x( x) u () = xu () + u () x Par unicit de la limite on en dduit que u () = ()( ).
n= n!
+
( )( )..(n ) n Partie 2
= xu () + u () x donc d'aprs a) et par unicit
n= (n )!
du 1. 1a. On a f t t x ( t) y est continue sur ], +[
( )( )..(n )
Dv en SE on dduit que n , u n () = u () f (t) et x > donc x < .
(n )! t x
t

4. 4a. D'aprs le critre de D'Alembert R = , donc G est bien dnie. f (t) et y > donc y < .
t ( t)y
xt xt
4b. On a Pour x [, [,
et < donc g : t est intgrable sur ]0,1], ALors f est intgrable sur ]0,1[.
t t t
xt e t ln x En faisant le changement de variable u = t on obtient (x, y) = (y, x), on
d'autre part = = o( ) donc g est intgrable sur [1,+[ par suite g est aura
t t t+ t
intgrable sur ]0,+[. x
(x + , y)
= ( t) y t x dt = [ ( t) y t x ] + t x ( t) y dt
D'autre part g est dcroissante sur ]0,+[ donc y
y
n+ n
x x
n , g(t)dt g(n) g(t)dt = t ( t) dt = t ( t)( t) dt
x y x y
n n y y
+ +
et donc g(t)dt G(x) x

g(t)dt = (t t )( t) dt
x x y
y
x
Or g(t)dt dt = donc I(x) G(x) I(x) avec = ((x, y) (x + , y))
t y
+ x t
I(x) = dt . x
t donc (x + , y) = (x, y)
x+y
D'autre part en posant u = t ln x = t ln x on obtient :

-
.
. Les cahiers de prpas N 1
.
Fonctions et 51 .

n (k + , y) n k (n )! (x ln t)n
1b. Si n N , (n, y) = [ ] (, y) = [ ] = n 2b. On a u n t ( t) y est continue sur ], [.
k= (k, y) k= k + y y n!
(k + y) x ln tn xn
k=
u n (t) + = + o( ) et u n (t) avec (n + y) <
1c. Soit f D =]0,+[ ], [ R, (x, t) t ( t) , pour tout n la x y t n! t t t n! ( t)(n+y)
n f donc u n est intgrable sur ], [.
fonction n (x, t) t ( t) (ln t) est continue sur D
x y n
x n n
x ln tn
Dominations : Soit x [a, b] ], +[. On a u k = ( t) y ( t) y e x ln t = ( t) y e x ln t
k= k= n!
n f n n
n (x, t) = t x ( t) y ln t n (t) = t a ( t) y ln t n
( t) y ( t) y
x donc u k , l'application f t z est continue sur ], [
t x t x
Intgrabilit de n k=

On a n est continue sur ], [. f (t) + x avec x < et f (t) avec y < donc f est
t t t ( t)y
n
n (t) ( t) y t = et (n + y) < . n
t ( t)(n+y) intgrable sur ], [ par suite u k f.
k=
n a
n (t) t a ln t = o( a ) et < .
t t On a u k est une srie termes positifs de somme partielle majore

donc n est intgrable sur ]0,1[, par thorme de drivation on conclut que k
elle est donc convergente.
(n)
est de classe C sur ]0,+[ et (x) = t x
( t) y
(ln t) dt n

2c. On a pour x < , (x + , y) = t x ( t) y dt et pour t ], [
y y ( y )
1d. On a (ln y ) = , posons +
y (x ln t)n
t x ( t) y = u n (t), avec u n (t) = ( t) y , d'aprs b) on a u n est
f (t) = ln(t) t x ( t) y , g(t) = t x ( t) y n= n!

On a f et g sont de carr intgrable sur ]0,1[ donc d'aprs l'ingalit de Cauchy- intgrable sur ], [ et u n converge donc par thorme d'inversion
Schwarz on a n

+
( f (t)g(t)dt) f (t) dt g(t) dt
(ln t)n

srie intgrale on a (x + , y) = a n x n o a n = ( t) y dt, ainsi
n= n!
soit


l'application x (x + , y) est dveloppable en srie entire sur ], [ donc
( ln(t)t x ( t) y dt) (ln(t)) t x ( t) y dt t x ( t) y dt
le rayon de convergence R vrie R , d'autre part d'aprs a) on a
par suite (y ) y y , d'o (ln y ) , nalement ln y est convexe. +
lim+ (x, y) = + donc lim + a n x n = lim (x + , y) = + donc R
x x x x() n= x()+
2. 2a. On a (x + , y) = (x, y) + (x, y), d'autre part l'application
x+y x y Finalement R = .
+
u (u, y) est continue sur ], +[ en particulier continue en donc n t n x
3. 3a. On a ( ) t dt = f n (t)dt avec
n
(x + , y) + (, y) = d'o (x, y) + en particulier lim+ (x, y) = +.
t
x y x x x ( )n t x si t n
f n (t) = n

si t > n

-
.
.
52
.
Fonctions et
.

Les cahiers de prpas N 1

t
On a n t, f n (t) = ( )n t x donc ()x (x)
n il en rsulte par unicit de la limite que = , nalement
(x) (x + )
t n x t
lim f n (t) = lim ( ) t = lim exp(n ln( ))t x = e t t x . x
n+ n+ n n+ n (x) = (x)(x + )

On a par convexit de exp, x R, + x e x , donc pour t n on a
t n n x n! n x n!
t n x x 4. 4a. On a (x) donc ( x) donc
f n (t) = ( ) t e n t = t x e t . n+ n
(k + x)
n+ n
(k + x)
n k= k=
x t
et pour t > n on a f n (t) = t e . n(n!)
(n!)
(x)( x) n = n nale-
x t n n+ x
Ainsi t > , f n (t) (t) avec t t e intgrable sur ], +[ donc par n+
(k + x) (k x)
n+
x (k x) ( x
)
k
thorme de convergence domine on a k= k= k= k=
n + + ment
t
lim ( )n t x dt = lim f n (t)dt = t x e t = (x) n x
n+ n n+ = lim ( ).
n x(x)( x) n+ k= k
t
3b. On a ( )n t x dt = ( u) n (nu) x ndu = n x ( u)n u x du x x
n 4b. On a x > donc u n x ln( ) est bien dnie.
n x n! n x n! n n
= n (n + , x) = n
x
donc d'aprs a) on a lim n = (x).
(k + x)
n+
(k + x) u n () = donc la srie u n ()converge, pour x on a u n (x) x
k= k= n+ n
n
3c. Notons p n (x) = (k + x), on a alors et converge donc f est bien dnie sur [0,1[.
k= n
n+ On a u n est continue sur [0,1[, soit a], [ on a
(k + x)
n k= p n+ (x) a a a
p n (x + ) = n+ (k + + x) = n+ = u n ,[,a] ln( ) et converge donc u n cvn sur
k= n
n+ p n (x) n n+ n
n n
(k + x)
k=
[0,a] donc par thorme de continuit f est continue sur [0,1[.
n p n (x) n (n)x (n)! (x)
D'o p n (x + ) , soit x
n+ n+ p n (x) n+ n+ (x) n x n! D'autre part u n est de classe C sur ]0,1[, un (x) = donc pour
x
n
n n x (n)! ()x (x)
p n (x + ) b b b
n+ n+ n! (x) [a, b] ], [ on a u n ,[a,b] et converge donc un
n b n+ n n n
n x+ n! n (n)! ()x (x)
or p n (x + ) donc n et d'aprs cvn sur [a,b] donc par thorme de drivation on a f est de classe C sur ]0,1[
n+ (x + ) (n!) (x) n+ (x + ) +
x
la formule de Stirling on a
et f (x) = x
.
n (n)! n (n)n e n n n n n= n
= =
n (n!) n+ n n n e n n n n 4c. g est paire donc b n (g) = et a n (g) = cos(nt) cos(xt)dt


a n (g) = cos(n + x)t + cos(n x)t dt

-
.
. Les cahiers de prpas N 1
.
Fonctions et 53 .

sin(n + x) sin(n x) ng(x + k + ) n


= ( + ) 5b. On a g(x + n) = ( ) g(x) = ( (x + k)) g(x). et
n+x nx k= g(x + k) k=
()n x sin(x) n
= g(n + ) = ( ( + k)) g() = n!.
(n x ) k=

g est continue sur R de classe C par moreaux donc la srie de Fourier de g



g(n)
x
g(x + n) g(n + )
x
D'aprs a) on a ( ) ( ) et on dduit que
sin(x) + ()n x sin(x) g(n ) g(n) g(n)
cvn vers g, ainsi g(t) = cos(nt)
x n= (n x ) n g(x)
(n )x ( (x + k)) nx
sin(x) + x sin(x) k= (n )!
4d. Pour t = on dduit de c) que cos(x) = donc donc
n= (n x )
x

(n )x (n )!


g(x) (I)

+
x cos(x) x(x + )..(x + n )
la srie est convergente et a pour somme n (n )!
x
x n x n sin(x)



g(x) (II)
+
x cos(x) x(x + )..(x + n )
4e. D'aprs b) et d) on a pour x ], [, f (x) = x
= L'ingalit (I) est vraie n N , donc en l'appliquant n + on obtient :
n sin(x) x
n= n x n!
sin(x) g(x)
donc il existe une constante c tel que x ], [, f (x) = ln( )+c x(x + )..(x + n)
x D'autre part de (II) on dduit que
et comme f est continue sur [0,1[ on obtient en faisant tendre x vers 0 n n x n!
g(x)
sin(x) n+x x(x + )..(x + n)
c + ln() = f () = donc c = ln d'o f (x) = ln( )
x 5c. on a pour x ], [
n x n n x n!
4f. D'aprs a) on a = lim ( ). n N , g(x) g(x)
x(x)( x) n+ k= k n+x x(x + )..(x + n)
n x sin(x) sin(x) En utilisant 3)b) on dduit quand n tend vers +
D'aprs f ) on a lim ln ( ) = ln( ) donc = x ], [, g(x) = (x)
n+ k= k x x(x)( x) x
D'autre part si x = n N on a
Finalement x ], [, (x)( x) = . g(n) = (n )! = (n)
sin(x)
Si x [, +[/N on pose n = E(x) et t = x E(x) ], [ on obtient
4g. D'aprs Partie1,4d) et la question prcdente on a : n
g(x) = g(t + n) = g(t) (t + k)
u () = ()( ) = k=
sin() n
= (t) (t + k) = (t + n) = (x)
k=
5. 5a. On a ln g convexe, donc d'aprs les priliminaires on a
ln g(t) ln g(n) B(x, y)(x + y)
t est croissante or x ], [ donc n x + n n + par suite 6. Soit g x on a g :]0,+[ R+ continue et :
tn (y)
(n ) (x + n) (n + ) B(, y)( + y) y(y)
d'o i) g() = = = .
ln g(x + n) ln g(n) (y) y (y)
ln g(n) ln g(n ) ln g(n + ) ln g(n)
x

-
.
.
54
.
Fonctions et
.

Les cahiers de prpas N 1

ii)Pour tout x > pour u > et u non nul. Comme f n () = , alors l'galit
B(x + , y)(x + + y) xB(x, y) (x + y)(x + y) t
g(x + ) = = = x g(x) f n (t) = exp [t g( )]
(y) x+y (y) xn
iii) ln g(x) = ln B(x, y) + ln (x + y) + c o c est la constante ln (y). reste valable pour t = pour toute valeur de g(), mais pour que g soit continue
Comme x ln B(x, y) et x ln (x + y) sont convexe, alors ln g est convexe en on doit prend g() = /.
comme somme d'applications convexes. Variations de g : on a
u h(u)
D'aprs 5) on a g = cd (x, y) =
(x)(y)
. g (u) = (ln( + u) u)+ ( ) = ( ln(+u)+u+ u) =
(x + y) u u +u u +u u
u
o h(u) = ln( + u) + u + h (u) = ++ = ( )
+u +u ( + u) +u
7. On a (x, y) = t x
( t) y
dt et en posant t = sin (u) on obtient

donc h est croissante et comme h() = . Alors h a le mme signe que u donc

x

g est positive par suite g est croissante :
(x, y) = sinx u cos y u du donc ( , ) = sinx u du

x +
par suite
0
( )( ) ( )
x+ x+
x +


sinx u du = ( , )= =
( x + ) ( x + ) g(x) /
on peut encore crire par formule du ddoublement :



+
( x
) (x)
sinx u du =
= 3. On a si t x n , f n (t) = (t).
x ( x ) x [( x )]
x
t t
Si x n < t , f n (t) = exp t g( ) exp t g() = exp( ) = (t).
xn
Partie 3 t
Si t > , comme x n alors t et par croissance de g on dduit que :
+ xn
1. On a (x + ) = t x e t dt, donc si on pose t = x + u on obtient
t

+ x + u f n (t) = exp t g( ) exp t g(t) = ( + t)e t = (t). D'autre part on a f n
x x u
(x + ) = e (x + u) e du = ( )x ( + )x e u du xn
x e x x positive. Finalement t R, f n (t) (t).
puis en posant u = t x on obtient
x + t 4. Limite simple de f n On xe t R, comme x n , alors il existe n
(x + ) = ( )x x ( + )x e t x dt n+
e x x tel que pour tout n n on ait x n < t . Donc
t
t n n , f n (t) = exp t g( )
2. On a pour t > x n , f n (t) = exp (x n ln( + ) t x n ) donc pour t non xn
xn
t
nul on a et comme lim g(u) = /, alors lim f n (t) = exp( ). La suite de fonctions
u n+
ln( + t ) t
xn xn t ln( + u) u t
f n (t) = exp[t (
)] = exp [t g( )] avec g(u) = ( f n ) converge donc simplement vers la fonction f t exp( ).
( tx n ) xn u

-
.
. Les cahiers de prpas N 1
.
Fonctions et 55 .

D'aprs ) on a f n est domine par qui est intgrable sur R, donc d'aprs le
thorme de la convergence domine
+ t
lim ( + )x n e t x n dt = lim f n = f
n+ xn xn n+ R R
+
t

= e dt = e u du =

par caractrisation squentielle de la limite on dduit
+ t
lim ( + )x e t x dt =

x+ x x
x + t x
D'o (x + ) = ( )x x ( + )x e t x dt ( )x x.
e x x x+ e

.
.

-
.
.

propos de lauteur de larticle


.Lauteur est n en 1965 dans la ville de Fs. } Problme ~
Il dcroche une licence en mathmatiques
en 1988 la facult des sciences de Dhar
Al Mahraz dans sa ville natale. Il est ensuite
agrg en mathmatique en 1990 et passe
Problme de Dirichlet
la plus grande partie de sa carrire au ly-
ce Moulay Youssef Rabat o il a eu la
charge dune classe MPSI. Il est actuelle-
ment enseignant dune classe MP au col-
lge Salmane Al Farissi Sal.
par Mohammed Errachid
Il a obtenu un doctorat en mathmatiques appliques en 2001 la fa-
cult des sciences de Rabat. Il sintresse actuellement dans le cadre Collge Selmane AL-Farissi Sal
.
de ces travaux de recherche aux applications des mathmatiques la
. .
mdecine (problmes cardio-vasculaires).
Le.problme porte le nom du Mathmaticien allemand du 19ime sicle :
Monsieur Errachid, qui fait partie des premires promotions dagrga- Johan
. Peter Gustav Lejeune Dirichlet. La modlisation mathmatique de
tifs au Maroc, bncie dune rputation solide que ce soit dans le plusieurs phnomnes physiques comme la diffusion de la chaleur en
. .
milieu des lves ou celui des enseignants. Rputation justie pour
mode
. stationnaire ou celle d'un gaz travers une membrane sous l'effet
sa grande exprience de lenseignement en classes prparatoires.
d'une
. pression extrieure ou encore lors de l'coulement d'un liquide
.
travers
. un terrain poreux ...etc conduit souvent un problme du type
Dirichlet
. constitu d'une quation diffrentielle ou aux drives partielles
avec
. une condition aux bords dite de Dirichlet. L'objet de ce sujet, extrait
d'une
. preuve du Concours National Marocain, est la rsoultion complte
d'un exemple de ces problmes.

nonc

Premire partie : Questions prliminaires


Les queions de cette partie sont dans une large mesure indpendantes et seront utilises
dans la suite du problme.

-
.
. Les cahiers de prpas N 1
.
Problme de Dirichlet 57 .

1. Soit F
], [ R R
de classe C , priodique par rapport . Pour On appelle S n l'ensemble des solutions valeurs complexes sur ], [ et Sn
(r, ) z F(r, ) l'ensemble des fonctions de S n qui sont bornes.
tout n Z et r ], [ on pose
3a. Montrer que S n et Sn sont des C-espaces vectoriels. Quelle est la dimension de
in
c n (r) = F(r, )e d Sn ?

3b. Trouver S et S
1a. En justiant l'emploi du thorme de drivation sous le signe , montrer que
3c. Pour n , chercher les solutions de E n de la forme x z x ( R )
c n est de classe C sur ], [ et dterminer c n (r) et c n (r) sous forme d'intgrales.
3d. Dterminer S n pour tout n; et en dduire que Sn est de dimension engendr
1b. En eectuant une intgration par parties, montrer qu'on a aussi
F
par la fonction x z x n

n c n (r) = (r, )e in d

Dans la suite de ce problme est le disque ouvert de R de centre O, de rayon .
est le cercle unit et est l'adhrence de , c'est dire l'union de et de .
2. Etude d'une srie de fonctions
une "suite" borne (a n )nZ de complexes, on associe la srie de fonctions u n Le but du problme e de montrer l'exience et l'unicit de la solution du problme
nN de Dirichlet suiant
dnies par u = sur
{ (cal P )
u (r, ) = a u = f sur
(r, ) ], [ R {
u n (r, ) = r n (a n e in + an e in ) pour n N o f e une fonion donne, dnie et continue sur aleurs relles.
et on pose F sa somme. On appelle solution de (P) une fonion u dnie et continue sur aleurs relles,
2a. Montrer que F est bien dnie sur ], [ R et qu'elle est -priodique par concidant sur aec f ,
rapport . de classe C sur et riant
2b. Montrer que pour tout n N, u n est de classe C et dterminer pour tout
u u
(x, y) , u(x, y) = ( + ) (x, y) =
k+s u n x y
k, s N et pour tout (r, ) ], [ R la drive partielle (r, )
r k s
k+s u n Deuxime partie : Analyse du problme
2c. Montrer que, pour tout k, s N et pour tout segment [, ] ], [ ,
r k s
converge uniformment sur [, ] R. 1. Soit ], [ R R dnie par (r, ) = (r cos , r sin )

2d. Citer (avec prcision) un thorme qui permet de driver terme terme une 1a. Justier que est de classe C et dterminer = (], [ R).
fonction dnie par la somme d'une srie convergente sur un intervalle de R. 1b. Vrier que le jacobien de ne s'annule pas sur ], [ R.
2e. Dduire que F est de classe C sur ], [ R, et vrier que pour tout 1c. est t-elle un C diomorphisme de ], [ R sur ?
(r, ) ], [ R,
F F F 2. Soit u une fonction de dans R de classe C et posons F = u .
r
(r, ) +
(r, ) + r (r, ) =
r r
2a. Montrer que F est de classe C sur ], [ R et calculer les drives :
F F F F
3. Rsolution d'une suite d'quations direntielles , , , en fonction des drives de u par rapport x et y.
Pour tout n Z, on considre l'quation direntielle r r
x y" + x y n y = (E n )

-
.
.
58
.
Problme de Dirichlet
.

Les cahiers de prpas N 1

2b. Vrier que pour tout (r, ) ], [ R, 1c. Montrer que pour tout x R, et pour tout r ], [

F F F
r (r, ) + (r, ) + r (r, ) = r u(r cos , r sin ) Pr ( x) d =
r r
(On pourra, en le justiant, intgrer terme terme la somme d'une srie)
2c. Dduire que
F F F Pour tout n Z on pose
u = sur (r, ) ], [ R, r (r, ) + (r, ) + r (r, ) =
in
r r an = f (cos , sin )e d

et soit u n la srie de fonctions u n dnies sur ], [ R associe et soit F sa
3. On considre jusqu' la n de cette partie une solution u du problme
somme.
(P) et on pose F = u . Pour tout n Z, et r ], [ , on pose

in
c n (r) = F(r, )e d comme dans I-1. 2. Montrer que F est bien dnie, de classe C sur ], [ R et vrie

3a. En utilisant I montrer que r z c n (r) est dans Sn .
F F F
r
(r, ) +
(r, ) + r (r, ) =
r r
3b. En dduire qu'il existe une suite (a n )nZ dans CZ telle que :
n Z, r ], [ , c n (r) = a n r n 3. Montrer que
On associe la suite (a n )nZ la srie de fonctions u n dnie dans I. On admettra
que F(r, ) = f (cos t, sin t)Pr ( t) dt

+
Pour tout R, on pose g() = f (cos , sin ) et on dnit pour
(r, ) ], [ R, F(r, ) = u n (r, )
+ (x + i y)e i t
n=
(x, y) , u(x, y) = Re ( g(t) dt) .
(x + i y)e i t
in
3c. Montrer que a n = f (cos , sin )e d ( Penser au thorme de la

continuit sous le signe intgrale) 4. On admet que u est de classe C sur
4a. Montrer que pour tout (r, ) ], [ R, F(r, ) = u(r cos , r sin ).
4. Quel objectif a t-on montr ? (existence ou unicit de la solution de (P) ).
4b. En dduire que u = sur .

Troisime partie : Synthse


5. 5a. Montrer que F(r, ) g() = (g( t) g()) Pr (t) dt
+

1. Pour r ], [ , pour tout x R, on pose Pr (x) = + r n (e inx + e inx ) (Pr est 5b. Montrer que
n= C( r )
bien dnie d'aprs I) < < , F(r, ) g() sup g(x) g(y) +
xy< sin
1a. Montrer les galits suivantes, pour r ], [ et x R o C dsigne une constante relle.
+
+ re i x r
Pr (x) = + r cos(nx) = Re (
n
) = 5c. En dduire que limF(r, ) = g(), la limite tant uniforme en .
n= re i x + r r cos x r

1b. En dduire que Pr (x) est positif


6. Conclure.

Fin de lnonc

-
.
. Les cahiers de prpas N 1
.
Problme de Dirichlet 59 .

Ce qui justie que F est bien dnie sur ], [ R. Et comme pour tout n, u n est
-priodique par rapport alors il en est de mme pour F.
Corrig 2b. Soit n N, par composition d'applications C , les applications
(r, ) z r n , (r, ) z a n e in + an e in sont C sur R et en particulier
Premire partie : Questions prliminaires sur ], [ R alors et par produit d'applications de classe C nous dduisons
que u n est de classe C . Avec pour tout k, s N et pour tout (r, ) ], [ R
1. 1a. L'application (r, ) z F(r, )e in est de classe C sur ], [R qui est un
k+s u n
si k > n

ouvert contenant ], [[, ], alors et en appliquant le thorme de drivation (r, ) = n!(in)s nk
r k s
r (a n e in + ()s an e in ) sinon
sous le signe intgral sur un segment deux fois, on dduit que c n est de classe C
(n k)!
sur ], [ avec 2c. Soient k, s N et [, ] un segment contenu dans ], [ . Alors pour tout
F
c n (r) = (r, )e in d (r, ) [, ] R et n k nous obtenons
r
k+s u n n!(in)s nk
F k s (r, ) = r (a n e in + ()s an e in )
c n" (r) = (r, )e in d r (n k)!
r
1b. En intgrant une premire fois par parties, on obtient, pour tout r ], [ Mn s+ (n )...(n k + )r nk
F
F F Mn s+ (n )...(n k + ) nk

(r, )e in d = [ (r, )e in ]=
= + in (r, )e in d ce qui montre que

F [ ,]R
et comme F est priodique par rapport , alors z (r, )e in est aussi k+s u n k+s u n
= sup
(r, ) Mn s+ (n )...(n k + ) nk
F r k s k
(r,)[ ,]R r
s
priodique et par suite [ (r, )e in ]=
= = . En intgrant une deuxime
or, n s+ (n)...(nk +) nk n k+s nk = o ( ) (d'aprs la comparai-
fois par parties, nous obtenons enn n+ n+ n
F F
(r, )e in d = (r, )e in d son entre suite gomtrique et suite puissance). Et comme converge nous
in n
[,]R
k+s u
= in[F(r, )e in ]=
= n

F(r, )e in d dduisons par comparaison que k ns converge ce qui signie que
r
la priodicit par rapport entrane encore que [F(r, )e in ]= = . Il en k+s u n
k s converge normalement et par suite uniformment sur [, ] R.
=
dcoule le rsultat r
F
n c n (r) = (r, )e in d 2d. Soit f n une srie d'applications dnies d'un intervalle I de R vriant les
hypothses suivantes

Pour tout n, f n est de classe C
2. Etude d'une srie de fonctions

f n converge simplement sur I



f n converge uniformment sur chaque segment inclus dans I
2a. Comme (a n ) est borne, il existe un rel M > tel que pour tout n Z on +
ait a n M. Alors pour (r, ) ], [ R, on a pour tout entier naturel n alors la fonction somme f n est de classe C sur I et pour tout x I,
n=
u n (r, ) Mr n + +
et comme r ], [, la srie gomtrique r n est convergente et par comparaison ( f n ) (x) = f n (x).
nous dduisons que u n (r, ) est absolument convergente et donc convergente. n= n=

-
.
.
60
.
Problme de Dirichlet
.

Les cahiers de prpas N 1

F F F F on dduit aisment que


2e. Il s'agit de montrer que , , et sont dnies et continues
r r r F F F
F r (r, ) + (r, ) + r (r, ) =
sur ], [R. Le raisonnement tant le mme, montrons l'existence de par r r
r
exemple.
3. Rsolution d'une suite d'quations direntielles
On xe dans un premier temps r dans ], [, alors, et d'aprs les proprits des
applications u n , la srie d'applications ( z u n (r, )) vrie les hypothses 3a. (E n ) est une quation direntielle du second ordre linaire homogne et
F rsolue sur ], [, alors et par application de la thorie de Cauchy Lipschitz on
du thorme de drivation terme terme sur R. Il en dcoule que est bien dduit que l'ensemble des solutions (S n ) est un espace vectoriel de dimension .

dnie en tout point (r, ) de ], [R avec Comme l'ensemble des applications bornes est stable par combinaison linaire et
F +
u n que l'application nulle sur ], [ est une solution de (E n ) borne, on dduit que Sn
(r, ) = (r, )
n= est un sous espace vectoriel de S n et donc lui mme est un espace vectoriel.
Puis on dmontre de la mme manire qu'en xant dans R, la srie 3b. Soit f ], [ C une application deux fois drivables. Alors on a
u n f S x ], [, x f "(x) + x f (x) =
(r z (r, )) vrie aussi les hypothses du thorme de drivation

x ], [, x f "(x) + f (x) =
F
terme terme sur ], [, ce qui montre que est bien dni sur ], [R,
x ], [, ( f (x)x) =
avec r
a
F +
un a C, f (x) = x ], [
(r, ) = (r, ) x
r n= r a, b C, f (x) = a ln x + b, x ], [
Ensuite, Soit K un compact contenu dans ], [R. L'application p (x, y) z x d'o S = vectC (x ], [z ln x, x ], [z ). On remarque que S S , or
est continue de R dans R en particulier sur le compact K et donc elle y est pour a, b C, tel que a l'application x z a ln x + b tend vers quand x tend
borne et y atteint ses bornes ; on en dduit l'existence de , ], [ < et vers . Ainsi S est le sous espace form des applications constantes sur ], [.
tels que p(K) [, ] soit que K [, ] R. De la question I-2-c, on dduit 3c. Soit R . Posons f x z x est de classe C sur ], [ avec
u n
que converge uniformment sur [, ]R et par hridit sur K. Ainsi la f (x) = x et f "(x) = ( )x
r
u n de sorte que
srie d'applications vrie les hypothses du thorme de la continuit f S n ( ) + n = = n
r
terme terme sur ], [R, ce qui justie que
F
est continue sur ], [R. donc les solutions de E n de la forme x z x sont x z x n et x z x n
r 3d. Soit n Z . D'aprs la question 3-a prcdente, on sait que S n est un espace
D'o le rsultat. Avec pour tout (r, ) ], [ R,
+ de dimension , les solutions prcdentes x z x n et x z x n tant linairement
F F
(r, ) = nr n (a n e in + an e in ), (r, ) indpendantes, on dduit que S n = vectC (x z x n , x z x n ); or l'application
r r
n= x z x n n'appartient pas Sn , donc dim Sn < et comme x z x n Sn alors Sn
+
= n(n )r n (a n e in + an e in ) est un sous espace de dimension engendr par x z x n . Le rsultat reste valable
n= pour n = d'aprs la question 2-b prcdente.
+
F in
(r, ) = n r (a n e + an e
n in
)
n=

-
.
. Les cahiers de prpas N 1
.
Problme de Dirichlet 61 .

Deuxime partie : Analyse du problme de sorte que


F u u
u
= cos + cos sin + sin
1. Soit ], [ R R dnie par (r, ) = (r cos , r sin ).

r x xy y
1a. Par oprations sur les applications de classe C , nous obtenons que les deux F u u
u u u
= r cos r sin + r sin r cos sin + r cos
applications coordonnes (r, ) z r cos et (r, ) z r sin sont de classe C x y x xy y
ce qui montre que est de classe C sur R . Quand le systme des coordonnes
2b. On vrie aisment des formules prcdentes que pour tout (r, ) ], [ R,
polaires (r, ) parcourt ], [ R le point (x, y) parcourt le disque ouvert de
F F F
centre O et de rayon priv de O = /{O}. r (r, ) + (r, ) + r (r, ) = r u(r cos , r sin )
r r
1b. Le jacobien de en (r, ) ], [ R est gal
RRR RRR 2c. On suppose que u = sur alors et d'aprs la question prcdente on dduit
x x
RRR RRR F F F
RRR r RRR = cos r sin que pour tout (r, ) ], [ R, r (r, ) + (r, ) + r (r, ) = .
RRR y y RRR =r r r
sin r cos
RRR RRR
R r R Inversement :
qui est dirent de . F F F
On suppose que (r, ) ], [ R, r (r, ) + (r, ) + r (r, ) = ,
1c. n'tant pas injective sur ], [ R elle n est pas un C diomorphisme.
r r
alors u(r cos , r sin ) = , cela signie que pour tout (x, y) D(, )/{(, )},
u(x, y) = . Et comme u est de classe C sur , alors le laplacien u est continue
2. Soit u une fonction de dans R de classe C et posons F = u . sur en particulier en (, ), et donc u(, ) = lim u(x, y) = , on dduit
(x , y)(,)
2a. est de classe C sur ], [ R valeurs dans et u est de classe C sur alors

ainsi que u = sur .


et par composition F est de classe C sur ], [ R. Avec pour tout (r, ) ], [ R

F u x u y F u x u y
= + , = + 3. 3a. Comme F est de classe C sur ], [ R et priodique alors et d'aprs I-1,
r x r y r x y
soit que r z c n (r) est de classe C sur ], [ et vrie
F
F u u n c n (r) = (r, )e in d
= cos + sin
r x y
et comme u est solution de (P), u = alors et en utilisant la question 2.c.
F u u
= r sin + r cos prcdente nous dduisons
x y
F F
en drivant une deuxime fois n c n (r) = (r (r, ) + r (r, )) e in d
F u u u u r r
= cos [cos + sin ] + sin [cos + sin ] des expressions de c n et c"n nous obtenons
r x yx xy y
n c n (r) = r c"n (r) + rc n (r)
F u u u u soit que c n est une solution de l'quation (E n ). D'autre part, et comme F est
= r cos r sin r sin [r sin + r cos ]
x y x yx continue sur le compact [, ] [, ] alors F est borne sur [, ] [, ]. Par
u u suite pour tout r ], [
+r cos [r sin + r cos ]
yx y c n (r) F(r, ) d
u u
Comme u est de classe C alors et d'aprs le thorme de Schwarz = , sup F(r, )
yx xy (r,)[,][,]

-
.
.
62
.
Problme de Dirichlet
.

Les cahiers de prpas N 1

ce qui montre que c n Sn . Troisime partie : Synthse


3b. Soit n Z. Comme Sn est engendr par r z r n alors il existe une constante
1. 1a. Pour r ], [ et x R et d'aprs la formule d'Euler
a n dans C telle que : +
r ], [ , c n (r) = a n r n Pr (x) = + r n cos(nx)
n=
d'o le rsultat. Remarquons, en outre, que pour tout n Z +
a n = sup c n (r) sup F(r, ) = + Re r n e inx
r],[ (r,)[,][,] n=
ce qui montre que la suite (a n )nZ est borne. puis et d'aprs la somme d'une srie gomtrique convergente
3c. Pour n Z, on a pour tout r ], [ re i x
Pr (x) = + Re
re i x
a n r n = c n (r) =
F(r, )e
in
d = u(r cos , r sin )e
in
d
+ re i x
in = Re ( )
et comme l'application (r, ) [, ] [, ] z u(r cos , r sin )e est re i x
continue alors et d'aprs le thorme de continuit sous le signe intgral sur un r

in = (en multipliant par la partie conjugue)
segment l'application r z u(r cos , r sin )e d est continue sur [, ], + r r cos x

soit que c n est prolongeable par continuit sur [, ]. Ainsi en faisant tendre r vers r
1b. De ce qui prcde, on a donc, Pr (x) = qui est positif
, on obtient (r cos x) + sin x

a n = lim F(r, )e in d pour tout r ], [.
r
1c. Soit x R, et r ], [. Alors pour tout [, ]

= lim u(r cos , r sin )e in d +
r Pr ( x) = + r n cos(n( x))
n=
in
= f (cos , sin )e d ce qui suggre de considrer la srie de fonctions v n o pour tout n N

v n [, ] r n cos(n( x))
4. On vient de montrer que le problme (P) admet au maximum une solution u et v = qui sont des applications continues, de plus v n = sup v n () r n
dnie sur D(, ) par et r ], [ alors la srie v n converge normalement et donc uniformment sur
+ [, ], ce qui justie l'intgration terme terme


u(x, y) = r n (a n e in + an e in ) pour (x, y) = (r cos , r sin ) D(, ) +



n= Pr ( x) d = v n ()d

u(x, y) = f (x, y) pour (x, y)
n=
+
o (a n ) est dnie de manire unique par r n

= + cos(n( x))d
an = in n=
f (cos , sin )e d
Or pour tout n N ,
x
cos(n( x))d = cos(nu)du = (sin n( x) + sin n( + x)) =
x n
Ainsi

Pr ( x) d =

-
.
. Les cahiers de prpas N 1
.
Problme de Dirichlet 63 .

2. Comme f est continue sur qui est un compact, alors f est borne. Donc, pour d'o, l'galit : F(r, ) = u(r cos , r sin ) pour tout (r, ) ], [ R.
tout n Z, on a 4b. Comme u est de classe C et F(r, ) = u(r cos , r sin ) pour tout

in
a n f (cos , sin )e d (r, ) ], [ R, alors et des questions III-2 et II-2-c, on dduit que u =
sur .
sup f (x, y)
(x , y)

Ainsi la suite (a n )nZ est borne. Par suite et d'aprs I-2, F est bien dnie, de 5. 5a. Soit (r, ) ], [R. Comme Pr ( t) dt = alors on a :
classe C sur ], [ R et vrie


F F F F(r, ) g() = g(t)Pr ( t) dt g()Pr ( t) dt
r (r, ) + (r, ) + r (r, ) =
r r +
= (g( s) g()) Pr (s)ds
+
in (en eectuant le changement devariables s = t )
3. Pour tout (r, ) ], [R, on a : f (cos , sin )e d

+ puis, en remarquant que s z (g( s) g()) Pr (s) est priodique, on dduit
F(r, ) = a + r n (a n e in + an e in )
n= le rsultat : F(r, ) g() = (g( t) g()) Pr (t) dt.

+
5b. Soit ], [. Par la relation de Chasles, l'ingalit triangulaire et la majoration
= a + r n ( f (cos t, sin t)e int dte in + f (cos t, sin t)e int dte in )
n= des intgrales nous obtenons :
+

= f (cos t, sin t)dt + r f (cos t, sin t) cos (n( t)) dt
n
F(r, ) g() [ g( t) g() Pr (t) du
n=
De la convergence de la srie r n et comme f est borne sur on dduit la
convergence uniforme de la srie de fonctions t z r n f (cos t, sin t) cos (n( t)) + g( t) g() Pr (t) dt + g( t) g() Pr (t) dt]

sur [, ] ce qui justie l'intgration terme terme et par suite g est une application continue et priodique alors elle est borne. Ce qui justie
+
F(r, ) =

(cos [ + r cos (n( t))] dt
n l'existence de C = sup g(x) g(y) dans R. On obtient aussi que, pour tout
f t, sin t) (x , y)R
n=
R et t [, ],
= f (cos t, sin t)Pr ( t) dt g( t) g() sup g(x) g(y) = sup g(x) g(y)
xy xy<
r
4. 4a. Pour tout (r, ) ], [ R, D'autre part, on remarque que t z Pr (t) = est paire et dcrois-
+ r r cos t
+ (x + i y)e i t sante, positive sur [, ]. On en dduit ainsi que
u(r cos , r sin ) = Re ( g(t) dt)
(x + i y)e i t
g( t) g() Pr (t) dt sup g(x) g(y) sup g(x) g(y)

+ re i(t) xy< xy<
= Re ( g(t) dt)
re i(t) r
( r )
g( t) g() Pr (t) dt C( ) C
+ re i(t) (r cos ) + sin sin
= g(t)Re ( ) dt
re i(t) ( r )
g( t) g() Pr (t) dt C
sin
= g(t)Pr ( t) dt (en utilisant la question III-1-a.)

-
.
.
64
.
Problme de Dirichlet
.

Les cahiers de prpas N 1

d'o l'ingalit :
C( r )
< < , F(r, ) g() sup g(x) g(y) +
xy< sin
5c. g est une application continue et priodique sur R alors et d'aprs un rsultat
classique, g est uniformment continue, donc pour > , il existe un rel >
qu'on peut toujours choisir tel que < vriant :

(x, y) R , x y < g(x) g(y) <

C( r )
et comme lim = , alors il existe < < tel que pour tout
r sin
C( r )
r ], [, < , on dduit de la question prcdente que
sin
r ], [, R, F(r, ) g() <
D'o le rsultat.

6. Soit (a, b) = (cos , sin ) , pour tout (x, y) , on pose x = r cos et


y = r sin avec r ], [ et R. On dduit de la question prcdente que pour
tout > , il existe > tel que pour tout (x, y) on a :
(x, y) = r < u(x, y) f (a, b) <
On prolonge alors u par continuit par :
u(x, y) = f (x, y) pour tout (x, y)
ce qui permet de construire une solution du problme (P) qui est donc l'unique
.
.

solution d'aprs la partie II.

-
.
.

Rflexion pdagogique sur la notion


de fonction continue sur une partie
} Problme ~
Lenseignement de la continuit et de la limite se fait par plusieur approches
pdagogiques selon le niveau, le contexte et les objectifs. En classes prparatoires
scientiques ces notions sont introduites en premire anne dans le contexte des
fonctions relles dnies uniquement sur des intervalles. Lors de cette introduction,
pour une fonction f dnie sur un intervalle I valeurs dans R, on introduit
Endomorphismes nilpotents et
souvent la dnition suivante :
Dnition 1 : Si [a, b] est un segment contenu dans I , alors on dit que f est
crochets de Lie
continue sur [a, b] si f est continue en tout point de ]a, b[, continue droite
en a et continue gauche en b , ce qui sous entend naturellement que f nest pas
ncessairement continue en a ou en b .
Cette dnition trouve sa justication lors des noncs des thormes classiques
comme le thorme des valeurs intermdiaires, le thorme de Rolle, des accrois- par Mohammed Errachid
sements nis...etc.
Collge Selmane AL-Farissi Sal
La question pose : Comment gnraliser la notion de continuit sur une partie .
dune fonction entre espaces vectoriels norms ?
.
Souvent dans un but de simplication, on introduit uniquement la dnition dune
fonction continue f sur son domaine D en prcisant que f est dite continue sur D
Le. problme qui est un extrait d'une preuve du concours de l'cole Cen-
pour exprimer que f est continue en tout point de D. Alors, que signie f continue trale,
. se propose de montrer qu'un endomorphisme u d'un espace vecto-
sur une partie A de D ? En consultant quelques rfrences contemporains et lors de
discussions avec des collgues, il semble quon sous entend, tort, par f continue . si et seulement si pour tout k N,
riel. de dimension nie est nilpotent .
sur une partie A la continuit de f en tout point de A, ce qui contredit la dnition
. ) = . Il donne ensuite une application via les crochets de Lie de ce
k
1, et en tout cas contredit la dnition universelle de cette notion. Tr(u
Dans le but de lunication des notions enseignes en classes prparatoires et pour rsultat.
viter toute confusion dans ce sens, je propose quon fasse la distinction entre
fonction continue sur une partie et fonction continue en tout point de cette partie
travers les dnitions suivantes :
tant donn une fonction f de domaine une partie D dun espace vectoriel norm
E valeurs dans un espace vectoriel norm F , on dira que
Enonc
f est continue si f est continue en tout point de D ;

f est continue sur une partie A de D si la restriction de f A : f A est Rappels : Une matrice A Mn (R) est dite nilpotente d'indice p N si Ap = et
continue (ce qui nentraine pas ncessairement que f soit continue en tout A p . Dans tout l'nonc E dsigne un R espace vectoriel de dimension nie
point de A) n N et on dnit de faon similaire un endomorphisme nilpotent d'indice p, de
l'espace E. La compose de deux endomorphismes u et v de E sera note uv au lieu
Il est clair que les deux notions concident lorsque A = D . Et il va de soit que ce
principe soit adopt dans les dnitions des notions similaires tel que la drivabilit de u v.
ou la classe dune fonction.

Mohammed Errachid I. Une caractrisation des endomorphismes nilpo-


tents
1. On note V n l'ensemble des matrices A M n (R) vriant Tr(A) = .

-
.
.
66
.
Endomorphismes nilpotents et crochets de Lie
.

Les cahiers de prpas N 1

1a. Montrer que V n est un sous espace vectoriel de M n (R). Quelle est sa II. Quelques proprits du crochet de Lie
dimension ?
Pour tout (h, k) {, ..., n} , E hk est la matrice de Mn (R) de terme gnrique Si f , g L(E), on dnit leur crochet de Lie par : [ f , g] = f g g f .
d'indices i et j ih kj . 1. 1a. Montrer que l'on dnit ainsi une application [., .] de (L(E)) dans L(E),
1b. Pour h, k, l , m {, ..., n}, calculer dans Mn (R) E hk E l m puis bilinaire et antisymtrique.
E hk E k h E k h E hk . 1b. Quels sont les endomorphismes f de E vriant : g L(E), [ f , g] = .
1c. Soit une forme linaire de M n (R) telle que 1c. Pour f , g L(E), calculer tr[ f , g].
A, B Mn (R) (AB) = (BA)
1d. Pour tout f , g L(E), et pour tout p N, montrer que
i. Montrer que pour tout h, k [[, n]] tel que h k , on a : [ f , g p+ ] = [ f , g p ]g + g p [ f , g]
(E hh ) = (E k k ) et (E hk ) = [ f p+ , g] = [ f p , g] f + f p [ f , g]
ii. Dduire l'existence de R, tel que = tr.
2. Soit un projecteur de E. tablir que rg() = Tr() et que si {, } alors
2. Soit u un endomorphisme de E nilpotent d'indice p. id E est inversible.
2a. Montrer que p n
3. Soient f , g L(E).
2b. Montrer qu'il existe une base de E dans laquelle la matrice de u est triangulaire
3a. On suppose qu'il existe tel que [ f , g] = f . Montrer qu'il existe une suite
suprieure diagonale nulle (on dit que c'est une matrice triangulaire suprieure
de rels non nuls (a p ) p telle que
stricte)
p, [ f p , g] = a p f p
2c. Montrer que l'ensemble des matrices triangulaires suprieures strictes constitue Dduire que f est nilpotent.
une sous-algbre non-unitaire de Mn (R).
3b. Que dire de g si [ f , g] = g avec ?
2d. Dduire que : k N , Tr(u k ) =
3c. Montrer que s'il existe (, ) R tel que [ f , g] = f + g, alors f + g est
3. Inversement, soit u un endomorphisme de E tel que : k N , Tr(u k ) = .
nilpotent.
3a. Soit u le polynme minimal de u. Montrer que son coecient constant est 4. On suppose que f et g sont deux projecteurs distincts de E tels que
nul et qu'il existe un polynme Q de R[X] tel que u = X q Q avec q et Q() . [ f , g] = f + g et {, }.
On pose F = ker(Q(u)) et G = ker(u q ). 4a. Montrer qu'il existe h L(E) tel que f = gh puis que g f = f . On suppose dans
3b. Montrer que E = F G la suite que f
3c. Montrer que F et G sont stables par u. Soient v et w les endomorphismes induits 4b. En considrant un vecteur x non nul de Im( f ), montrer que + =
par u sur F et G respectivement. 4c. Prouver que Im( f ) = Im(g). Dduire l'existence d'un vecteur x non nul de
3d. Que peut-on dire de w ? ker( f ) qui n'appartient pas ker g, et montrer que = .
3e. Dduire que Tr(v k ) = Tr(u k ) pour tout k N . 4d. Montrer que g f est nilpotent. Quel est son indice ?
3f. Calculer Q(v) et montrer que F = {}. 4e. Rciproquement que dire de [ f , g] si Im( f ) = Im(g).
3g. Dduire que u est nilpotent. Enoncer le rsultat objet de cette partie.

-
.
. Les cahiers de prpas N 1
.
Endomorphismes nilpotents et crochets de Lie 67 .

III. Application
Dans cette partie dim(E) = et u, v et w sont des endomorphismes de E tels que Corrig
[u, v] = v, [u, w] = w et [v, w] = u

1. Montrer que v et w sont nilpotents. I. Une caractrisation des endomorphismes nilpo-


tents
2. Etablir que pour p , [w, v p ] = p(u (p )id E )v p
1. 1a. L'application tr A M n Tr(A) R dnit une forme linaire non
3. On suppose dsormais que l'indice de nilpotence de v est et on choisit x E
nulle sur Mn . Son noyau : Vn est donc un hyperplan de Mn , c'est donc un sous
tel que y = v (x) . espace vectoriel de Mn de dimension n ; (D'ailleurs une base de cet espace
Calculer u(y). Pour tout i , on pose e i = w i (y). est (E h,k ) hk ((E h,h E , ) h ).
4. Montrer qu'il existe s {, , } tel que e s et e s+ = . Que dire de la famille 1b. Soient h, k, l , m {, ..., n}, et soient i, j {, ..., n}, alors on a :
(e , ..., e s ). p=n
E hk E l m (i, j) = E hk (i, p)E l m (p, j)
p=
5. 5a. Calculer u(e i ) pour i s.
p=n
5b. Mme question pour v(e i ). = h k l m
i p p j
p=
5c. Montrer que le sous espace F engendr par (e , ..., e s ) est stable par u, v
p=n
et w. On note u , v et w les endomorphismes induits sur F par u, v et w
= ih m k l
j pp
respectivement. A l'aide de Tr(u ) calculer s. p=

6. Donner relativement une base de E bien choisie les matrices de u, v et w. = ih m l


j k

= kl E h,m (i, j)
Fin de lnonc On en dduit que : E hk E l m = kl E h,m et que E hk E k h E k h E hk = E hh E k k .
1c. i. Soient h, k {, ..., n} tel que h k on a, de la linarit de et de la
question prcdente :
(E hh ) (E k k ) = (E hh E k k )
= (E hk E k h E k h E hk )
= (E hk E k h ) (E k h E hk )
= (de la proprit de )
d'o (E hh ) = (E k k ). D'autre part et en prenant, dans la question prc-
dente toujours, k = l = m on obtient :
(E hk ) = (E hk E k k )
= (E k k E hk ) (de la proprit de )
= (puisque E k k E hk est la matrice nulle)
d'o (E hk ) = .

-
.
.
68
.
Endomorphismes nilpotents et crochets de Lie
.

Les cahiers de prpas N 1

ii. On pose donc la valeur commune de (E hh ) pour h {, ..., n} et soit non nul, d'o l'existence d'un polynme Q de R[X] tel que u = X q Q avec q et
A = (a i , j ) une matrice quelconque de Mn . Alors on a : Q() .
3b. Comme Q() alors X q et Q sont premiers entre eux alors et d aprs le
(A) = ai, j Ei, j
i , jn thorme de dcomposition des noyaux on a : E = ker u (u) = ker Q(u) ker(u q ).
Soit que E = F G
= a i , j (E i , j ) (par linarit de )
i , jn 3c. Comme u q et Q(u) sont des polynmes en u alors ils commutent avec u et par
n suite leurs noyaux sont stables par u. Ainsi F et G sont stables par u.
= a i , i (E i ,i ) (puisque (E i , j ) = pour i j) 3d. On a w L(G), or pour tout x de G on a : w q (x) = u q (x) = car G = ker u q ;
i=
n donc w q est nul ce qui signie que w est un endomorphisme nilpotent.
= a i , i 3e. Soit k N , et considrons une base B de E adapte la dcomposition
i=
E = F G. Comme F et G sont stables par u alors la matrice A de u dans cette
On dduit = tr.
B
base est diagonale par blocs de la forme A = ( ) o B est une matrice
2. 2a. Comme u p = et u p , alors le polynme minimal u de u est X p . Or, on C
sait que deg( u ) dim E = n d'o p n. reprsentant v dans une base de F et C reprsente w dans une base de G. Et d'aprs
2b. Comme le polynme minimal, X p , de u est scind sur R alors u est trigonali- Bk
les proprits des oprations matricielles par blocs, on a : Ak = ( ) par
sable, c'est dire qu'il existe une base de E dans laquelle la matrice de u est trian- Ck
gulaire suprieure. De plus la diagonale de cette matrice est constitue des valeurs suite : Tr(u k ) = Tr(Ak ) = Tr(B k ) + Tr(C k ) = Tr(v k ) + Tr(w k ). Or, w tant nilpotent
propres de u qui coincident avec les racines de u = X p . On dduit que la diagonale et comptenu des rsultats de la question 1. on dduit que Tr(w k ) = et qu'on a :
est nulle Tr(v k ) = Tr(u k ) pour tout k N .
2c. Sachant que l'ensemble des matrices triangulaires suprieures est une sous- 3f. Q(v) L(F) et pour tout x de F on a : Q(v)(x) = puisque F = ker Q(v)
algbre (unitaire) de Mn et d'aprs les proprits des oprations sur les diagonales s s

de ces matrices, on vrie aisment que l'ensemble des matrices triangulaires sup- donc Q(v) = . Posons Q = k X k alors k v k = , et en prenant les traces et
k= k=
rieures strictes est non vide (car il contient la matrice nulle), stable par combinaison compte tenu du fait que pour tout k N , on a Tr(v k ) = Tr(u k ) = (d'aprs notre
linaire et par multiplication ce qui entraine que c'est une sous-algbre non-unitaire hypothse) on dduit que : dim(F) = . Or, = Q() donc dim F = d'o
de Mn (R). F = {}.
2d. Soit B une base de E dans laquelle la matrice A de u est triangulaire suprieure
3g. De ce qui prcde on dduit que E = G = ker(u q ) donc u q = ce qui signie
stricte. Des proprits de la trace nous avons, pourk N , Tr(u k ) = Tr(Ak ) et de que u est nilpotent. Comparant ce fait avec le rsultat de la question I-1, on ddui
la question prcdente, on dduit que Ak est aussi triangulaire suprieure stricte et l'quivalence
donc Tr(Ak ) = ainsi : k N , Tr(u k ) = . u nilpotent si, et seulement si k N , Tr(u k ) =
3. 3a. Posons u = X p + a p X p + ... + a X + a . On a u (u) est nul donc
u p + a p u p + ... + a u + a id E = et par linarit de la trace et de l'hypothse faite II. Quelques proprits du crochet de Lie
sur u on dduit que : a Tr(id E ) = soit que a = (puisque Tr(id E ) = dim E ).
Donc le coecient constant de u est nul ce qui signie que est une racine de u 1. 1a. Il est claire que pour tout f , g L(E), on a : [ f , g] = [g, f ] ce qui signie
donc l'ordre de multiplicit de en tant que racine de u est un entier naturel q que [., .] est antisymtrique. De plus pour tout f , g, h L(E) et R, on a .
[ f + g, h] = ( f + g)h h( f + g)

-
.
. Les cahiers de prpas N 1
.
Endomorphismes nilpotents et crochets de Lie 69 .

= f h + gh h f hg (d'aprs les proprits des oprations 4. On suppose que f et g sont deux projecteurs distincts de E tels que
sur les endomorphismes) [ f , g] = f + g et {, }.
= [ f , h] + [g, h] 4a. On a : f g g f = f + g, donc : f (g id E ) = g + g f ; or {, } et g est un
ce qui montre que [., .] est linaire gauche et par antisymtrie on dduit qu'il projecteur donc, g id E est inversible. On en dduit l'existence de h L(E) tel
est aussi linaire droite. Donc [., .] est bien bilinaire et antisymtrique. que f = gh o h = (id E + f )(g id E ) . Par suite, on obtient g f = g h = gh = f
1b. Rsultat classique : On doit savoir que les seuls endomorphismes de E qui ( g = g puisque g est un projecteur) ;
commutent avec tous les endomorphismes de E sont les homothties. (Pour une 4b. Soit x un vecteur non nul de Im( f ), et comme f est un projecteur, alors
preuve, on se donne un endomorphisme f qui n'est pas une homothtie, alors f (x) = x et de g f = f , on obtient g(x) = x aussi. En valuant [ f , g] = f + g en x
il existe un vecteur e de E tel que (e , f (e )) est libre (proprit caractristique on obtient : ( + )x = avec x non nul ce qui permet de dduire que + = .
des homothties), on complte cette famille en une base B = (e , e , ..., e n ) o
e = f (e ) et on construit un endomorphisme g de E tel que g(e ) = e et 4c. Montrons d'abord que Im f = Img et que ker( f ) ker g On a : f = gh entraine
g(e ) = e + e puis on vrie que f g g f ...) que Im f Img et g f = f entraine que Img Im f , d'o Im f = Img. Supposons
alors que ker f ker g alors et compte tenu du thorme du rang nous obtenons :
1c. tr[ f , g] = .
ker f = ker g aussi, donc les deux projecteurs sont gaux ce qui n'est pas le cas. D'o
1d. Soient f , g L(E), et p N, on a : l'existence d'un vecteur x ker( f ) et tel que x ker g. En valuant alors et encore,
[ f , g p ]g + g p [ f , g] = f g p+ g p f g + g p f g g p+ f [ f , g] = f + g en un tel x, on obtient : f (g(x)) = g(x), avec g(x) non nul ce
= [ f , g p+ ] de mme qui entraine que est une valeur propre de f , donc {, } et comme + =
[ f p+ , g] = [ f p , g] f + f p [ f , g] et et ne pouvant pas tre simultaniment nuls, on dduit que = et = .
4d. Des questions II-3 et II-4-c ci-dessus on dduit que g f est nilpotent. On a
2. Soit un projecteur de E. On a donc E = Im ker et Im = ker( id E ), g f et (g f ) = g + f g f f g. Or g f = f et comme [g, f ] = f g, on dduit
donc dans une base adapte cette dcomposition la matrice de est gale par analogie que f g = g et donc (g f ) = . Ainsi l'indice de nilpotence de g f
Ir est .
( ) o r = dim Im = rg, et on a : tr = r = rg. On dduit aussi que

4e. Rciproquement, on suppose que Im( f ) = Im(g), alors pour tout x de E,
sp() {, } ce qui entraine que tout {, } id E est inversible. ona : g(x) Im(g) = Im( f ) = ker( f id E ) donc f (g(x)) = g(x) et de mme
3. Soient f , g L(E).
g( f (x)) = f (x) de sorte que : [ f , g](x) = f (g(x)) g( f (x)) = g(x) f (x) d'o
[ f , g] = g f .
3a. On suppose qu'il existe tel que [ f , g] = f . On montre alors par
rcurrence, grce la proprit II-2-d ci-dessus, que pour tout entier p On conclut ainsi que pour deux projecteurs f et g, le crochet de Lie [ f , g] est
combinaison linaire de f et de g (en fait gal g f ) si, et seulement s'ils ont le
[ f , g] = p f
p p
mme ensemble image.
(on prend donc a p = p). De la proprit II-2-c ci-dessus et comme p , on
dduit que pour tout entier p , Tr( f p ) = alors et d'aprs le rsultat objet de la
partie I, on dduit que f est nilpotent. III. Application
3b. Comme [ f , g] = [g, f ], alors et en intervertissant les rles de f et de g dans la
1. Cela dcoule de la question II-3.
question prcdente nous pouvons armer que g est nilpotent.
3c. Soit (, ) R tel que [ f , g] = f + g, distinguons alors les deux cas suivants : 2. On raisonne par rcurrence sur p , D abord il est clair que
Si = = , alors f + g est nul et en particulier nilpotent. Sinon, supposons par [w, v p ] = p(u (p )id E )v p
exemple que , et comme [ f , f + g] = [ f , g] = ( f + g) alors et d'aprs la pour p = . Ensuite, on suppose la proprit vraie pour un certain p , vrions
question III-3-a ci-dessus on dduit que f + g est nilpotent. D'o le rsultat.

-
.
. .
70 Endomorphismes nilpotents et crochets de Lie
.

Les cahiers de prpas N 1

la pour p + . En utilisant l'galit II-1-d On a : dterminant la matrice de u dans la base (e , ..., e s ) selon les valeurs possibles de s,
[w, v ] = [w, v ]v + v [w, v]
P+ p p on dduit que la seule possibilit est s = .
= p(u (p )id E )v p v p u
6. De ce qui prcde on dduit que (e , e , e ) est une base de E et les matrices de
or, [u, v ] = uv v u, d'o et comme [u, v p ] = pv p on a
p p p
u, v et w dans cette base sont
[w, v P+ ] = p(u (p )id E )v p + pv p uv p
= (p + )(u pid E )v p , ,
d'o la rcurrence, d'o la proprit.

3. De [v, w] = u, on dduit que u(y) = vw(y)wv(y) et avec y = v (x) et v = on o


obtient : u(y) = vw(y) = vwv (x). Or wv = [w, v ] + v w, d'o tenant compte
de la formule prcdente :
u(y) = v((u id E )v)(x)
= vuv(x) + v (x)
= (uv [u, v])v(x) + y
= u(y) + y (car v (x) = y et [u, v] = v)
ainsi u(y) = y.

4. {k {, , } tel que e k+ = } est non vide (car w = ), donc, admet un plus


petit lment s. Avec e = y , on dduit que e s . On doit savoir dmontrer
alors que la famille (e , ..., e s ) est libre.

5. 5a. Soit i s, alors :


.
.
u(e i ) = uw (y)
i

= ([u, w i ] + w i u) (y)
= (i )w i (y) + e i (car u(y) = y)
= (i + )e i
ainsi : u(e ) = e , u(e ) = , u(e ) = e ...tant que i s.
5b. De mme on a : v(e ) = v (x) = , v(e ) = vw(e ) = ([v, w] + wv) (e ) = u(e ) = e
et enn v(e ) = vw(e ) = ([v, w] + wv) (e ) = u(e ) + w(e ) = e .
5c. On pose F = vect(e , ..., e s ). De la question 5-a/ prcdente on remarque que
u(e i ) F, pour tout i s; on dduit que F est stable par u. De mme et en
raisonant selon les direntes valeurs possibles de s, on remarque que v(e i ) F
pour tout i s. Puis on a w(F) = vect(w(e ), ..., w(e s )) et comme w(e i ) = e i+
alors w(F) = vect(e , ..., e s , e s+ ) et comme e s+ = on dduit que w(F) F. Ainsi
F est stable par u, v et w. On a : par stabilit u = [v , w ] ainsi tru = or et en

-
.
.

Quest ce quune topologie ?


La topologie dsigne au mme temps la branche des mathmatiques qui soccupe de ltude
des dformations continues et la structure de base qui lui est associe et qui permet de dnir
ensuite des notions telles la continuit dune application, la convergence dune suite ... et leurs
} Problme ~
liens avec les proprits des ensembles telles la compacit ou la compltude.
Une topologie dun ensemble donn E et un ensemble de parties de E , T , qui vrie les
proprits suivantes
1. Lensemble vide et E lui mme sont des lments de T ; Utilisation de la topologie en
2. Toute runion dune famille quelconque dlments de T est un lment de T ;
3. Toute intersection dune famille nie dlments de T est un lment T ;
Le couple (E, T ) est dit un espace topologique. Il est toujours possible de dnir sur un
algbre linaire
ensemble quelconque une topologie particulire (et sans grand intrt) appele topologie
discrte, qui est lensemble P(E) de toutes les partie de E . Chaque lment de la topologie
T est dit un ouvert de E . Une partie A de E est dite un voisinage dun point x de E si et
seulement sil existe un ouvert U tel que x U A, lensemble des voisinages de x est
not V(x). Une partie W de E est dite un ferm de E si et seulement si E W est un
ouvert. On arrive de cette manire dnir de faon prcise ce que cest que une limite l par Sadik Boujaida
(quand elle existe) dune suite (x n ) nN dlments de E
lim x n = l U V(l), N N ; n N , x n U Lyce Moulay Yossef Rabat
ou encore ce que cest que la limite l dune fonction f dune partie non vide A de E dans un .
autre espace topologique (E , T ) en un point x de A (en fait de A ) : .
l = lim f V V( f (x)), U V(x) ; f (U A) V
x L'objectif
. du problme est l'tude de divers aspects topologiques de
Noter que ses dnitions nassurent pas du tout lunicit dune limite quand elle existe. Pour
garantir lunicit de ces limites dans tous les cas les espaces topologiques en jeu doivent l'algbre .
Mn (K), et de fournir quelques applications algbriques des r-
vrier la proprit dite de sparation : Lespace topologique E est dit spar si et seulement
.
si sultats tablis. .
(x, y) E , x y U V(x), V V(y) ; U V =
Une application f A E E est dite continue si et seulement si f admet une limite en
tout point x de A, cette limite tant alors forcment f (x). On caractrise aussi de faon qui-
valente la continuit de f par le fait que limage rciproque par f de tout ouvert de E est un Merci
ouvert pour la topologie induite par T sur A : T A = {V P(A)/U T ; V = U A}, et
ou encore, ce qui revient au mme, par le fait que limage rciproque de tout ferm de E est qui ont contribu laborer ce sujet
un ferm de (A, T A ) :
Une classe importante des espaces topologiques est constitu des espaces mtriques, dont
font partie leurs tours les espaces vectoriels norms (enseigns dans les classes prpara-
toires). E est dit uns espace mtrique quand il est muni dune application, appele distance,
d E E R telle que Enonc
1. (x, y) E , d(x, y) ;
2. (x, y) R , d(x, y) = x = y (propriet de sparation) ;
3. (x, y) E , d(y, x) = d(x, y) ; Conventions et notations
4. (x, y, z) E , d(x, z) d(x, y) + d(y, z).
Les espaces mtriques, grce au deuxime axiome ci-dessus sont des espaces topologiques De faon usuelle , K dsignera, sauf mention explicite, le corps R ou le corps C.
spars. La topologie associe la distance d est lensemble de toutes les runions des boules p dsignera un entier naturel non nul. On note D p (K) l'ensemble des matrices
ouvertes de (E, d).
diagonalisables de M p (K).
La topologie donc est introduite dans les programmes des classes prparatoires travers le
chapitre sur les espaces vectoriels norms. Ce qui pose les bases pour aborder dautres parties On note pour tout r [[, p]], Ir (K) l'ensembles des matrices de M p (K) de rang
du programme tel le calcul diffrentiel ou ltude de modes de convergences des suites et infrieur ou gal r et Sr (K) celui des matrices de rang suprieur strictement r .
des sries de fonctions. Mais aussi par le biais de quelques proprits topologiques (comme
la densit, la compacit, la connexit, la compltude ...) de traiter diffremment certaines On note U p (K) l'ensemble des polynmes coecients dans K, unitaires, scinds
problmatiques de lalgbre linaire. et de degr gal p.

-
.
. .
72 Utilisation de la topologie en algbre linaire
.

Les cahiers de prpas N 1

On notera l'application de M p (K) dans K p [X] dnie par : Partie II


A M p (K) , (A) = A
Pour tout A M p (K) on considre l'endomorphisme A de M p (K) dni par : Dans cette partie, on s'interresse aux proprits topologiques de D p (K) et on en
M M p (K) , A (M) = AM MA. donnera quelques applications.
Pour toute matrice A M p (K), on pose : On dmontre d'abords que U p (K) est un ferm.
C(A) = {M M p (K); AM = MA} On pose pour tout polynme P = p X p + p X p + + X + K p [X]
p
P = k
Partie I k=
On admet que . dnit une norme de K p [X]
1. Montrer que pour tout scalaire , l'application d dnie sur M p (K) par :
A M p (K) , d (A) = det(A I p ) 1. Soit (Pn ) n une suite convergente de polynmes de U p (C), Montrer que sa
limite est un polynme unitaire de degr p.
est continue sur M p (K)
En dduire que U p (C) est un ferm.
2. Soient , , .., p des scalaires quelconques deux deux distincts. On
note L , L L p les polynmes d'interpolation lmentaires aux abscisses 2. Soient P K p [X] un polynme unitaire et a K, on suppose que a est une
, , .., p . racine de P .
2a. Rappeler la valeur du polynme L i et montrer (L , L L p ) est une base Montrer que a P.(On diinguera les cas a et a > )
de K p [X].
2b. Exprimer pour A M p (K) le polynme A dans cette base. 3. Soit (Pn ) n une suite convergente de polynmes de U p (R) de limite P .

2c. En dduire que l'application est continue. Pour tout n N on note x ,n , x ,n , , x p,n les racines (non forcment deux
deux distinctes) de Pn et on pose X n = (x ,n , x ,n , , x p,n ).
3. Soit A un lment de M p (K). 3a. Donner un exemple o la suite (X n ) est divergente.
3b. Donner, dans le cas o p = , un exemple o les polynmes Pn sont tous
3a. On suppose qu'il existe une suite de matrices (A n )n toutes semblables
A qui converge vers . Montrer que A nilpotente. scinds racines simples mais P n'est pas racines simples.
3c. Montrer que la suite (X n )n admet au moins une valeur d'adhrence qu'on
3b. On suppose maintenant que A est nilpotente. Justier que A est trigona-
lisable. notera Y = (y , y , , y p ).
p
Soit T = ( i j ) i j une matrice triangulaire suprieure semblable A, et soit 3d. Montrer que P = (X y k ).
pour tout n N , la matrice diagonale D n = diag(n, n , , n p ). k=

Dterminer les cocients de D n T D 3e. Dduire de ce qui prcde que U p (R) est un ferm.
n , et en dduire qu'il existe une suite de
matrices semblables A qui converge vers 0.
3c. Application : Monter qu'i n'existe aucune norme N de M p (K) telle que 4. Soit (A n ) n une suite convergente de matrices diagonalisables de M p (K).
A M p (K) , P GL p (K) ; N (PAP ) = N (A) Montrer en utilisant l'application que lim A n est une matrice trigonalisable.

5. Rciproquement, montrer que toutes matrice trigonalisable est la limite d'une


suite de matrices diagonalisables valeurs propres deux deux distinctes.

-
.
. Les cahiers de prpas N 1
.
Utilisation de la topologie en algbre linaire 73 .

6. En dduire que D p (C) est dense dans M p (C). Quelle est l'adhrence de 3d. Montrer que :
D p (R) dans M p (R) ? r+ r+
k u(e k ) = E et k =
k= k=
7. Application : Une dmonration du thorme de Cayley-Hamilton dans M p (C). et en dduire que rg(u) r .
Soit A M p (C). 3e. Montrer que I r (K) est un ferm.
7a. Dmontrer que si A est diagonalisable alors A (A) =
7b. Utiliser la densit de D p (C) dans M p (C) pour montrer qu'en gnral 4. Que peut-on dire de l'ensemble des matrices de rang infrieur strictement
A (A) = . r?
Montrer que S r (K) est un ouvert.
Partie III
Soit r [[, p]].
Partie IV
On veut montrer dans cette partie que Ir (K) est un ferm de M p (K). Soit une matrice A M p (C).
1. Justier rapidement ce rsultat si r = p. On voudrait dans cette partie montrer que A est diagonalisable si et seulement
l'ensemble A des matrices semblable A est un ferm.
2. Soit v un endomorphisme de K p . Montrer que rg(v) < r si et seulement pour 1. On suppose que A est diagonalisable et on considre une suite (A n )n
toute famille libre (e , e , , e r ) de K p , la famille (v(e ), v(e ), , v(e r )) est d'lments de A, convergente de limite B.
lie. Soient , , , m les valeurs propres deux deux distinctes de A, de multi-
plicits respectives , , , m .
3. On suppose dans cette question que r < p. 1a. Justier soigneusement que pour tous n N et k [[, m]],
On se donne une suite (A n )n d'lments de Ir (K) convergente de limite A. rg(A n k I p ) = p k .
Soient u l'endomorphisme canoniquement associ A et pour tous n N, u n 1b. En constatant que la suite (A n k I p )n converge vers B k I p , que peut-
celui associ A n . on dire de rg(B k I p ).
Soit (e , e , , e r+ ) une famille libre quelconque de K p . 1c. Montrer que B est diagonalisable et qu'elle est semblable A.
3a. Montrer que pour tout k [[, r + ]], la suite (u n (e k )) n converge vers 1d. conclure.
u(e k ).
3b. Montrer que pour tout n N, il existe une famille de scalaires 2. On veut donner une autre dmonstration de l'implication tablie dans la
( ,n , ,n , , r+,n ) telle que question prcdente.
r+ r+ 2a. Montrer que B = A .
k ,n u n (e k ) = E et k,n = 2b. Soit A le ploynme minimal de A. Montrer que l'application
k= k=
M z A (M)
3c. Montrer que la suite ( ,n , ,n , , r+,n ) n admet au moins une valeur est continue sur M p (C).
d'adhrence, qu'on notera ( , , , r+ ). 2c. Montrer que A (B) = et en dduire que B est diagonalisable.

-
.
. .
74 Utilisation de la topologie en algbre linaire
.

Les cahiers de prpas N 1

2d. Montrer que B est semblable A et conclure.

3. Pour l'implication rciproque on suppose par contre--apposition que A n'est


Corrig
pas diagonalisable et on considre un matrice triangulaire suprieure T sem-
blable A. Partie I
3a. Justier l'existence de T et expliquer pourquoi elle n'est pas diagonalisable.
1. Si A = (a i j ) i j alors :
3b. En utilisant les matrices diagonales D n introduites dans la question I-3-b.
d (A) = () (a () () ) (a () () ) (a (p)p (p)p )
construire une suite de matrices semblables T et qui converge vers une matrice Sn
diagonale.
d (A) est une fonction polynomiale des coordonnes a i j de A dans la base
3c. Montrer alors que A n'est pas un ferm. canonique (E i j ) i j de M p (K), d est donc continue.

Partie V p
X j
2. 2a. L i = .
i i
On se donne dans cette partie une matrice trigonalisable A M p (K), et on se j=, ji

propose de montrer, en utilisant les rsultats de la partie III, que : p

dim C(A) p Si pour une famille de scalaires ( , , , p ) on a k L k = , en appliquant


k=
l'lment a i et sachant que L k (a i ) = k i , on obtient i = , et ceci pour tout
1. Montrer que C(A) est une sous algbre de M p (K).
i [[, p]]. La famille (L , L , , L p ) est donc libre. Comme dim K p [X] = p+,
c'est une base de K p [X].
2. 2a. Soit D une matrice diagonale coecients diagonaux deux deux p
distincts. Notons qu'en posant pour un polynme P K p [X], P = k L k (X), et en
Montrer qu'une matrice M M p (K) commute avec D si et seulement elle p
k=

est diagonale. substituant a i X , on obtient i = P( i ) et donc P = P( k )L k (X).


2b. En dduire que si A est diagonalisable valeurs propres deux deux k=

distinctes, alors dim C(A) = p p p


2b. A = A ( k )L k = d k (A)L k .
k= k=
3. On considre une suite de matrices diagonalisables (A n )n , valeurs propres 2c. Les fonctions composantes de dans la base (L , L , , L p ) de K p [X]
deux deux distinctes qui converge vers A. Une telle suite existe d'aprs la sont donc les applications d k , elles sont continues donc est continue.
question II-5.
3a. Montrer que la suite d'endomorphismes ( A n ) n converge vers A . 3. 3a. la suite (A n )n converge vers donc par continuit de l'application ,
3b. En dduire que dim C(A) p. la suite ( A n )n converge vers = () p X p . Comme toute matrice A n est
semblable A, alors pour tout n N, A n = A .
Alors A = () p X p et donc, via le thorme de Cayley-Hamilton, Ap = . A
' est donc nilpotente.

-
.
. Les cahiers de prpas N 1
.
Utilisation de la topologie en algbre linaire 75 .

3b. Si A est nilpotente, alors il existe k N tel que Ak = . X k est alors un 2. P un polynme unitaire de K p [X] et a une racine de P .
polynme annulateur scind de A. A est donc trigonalisable. Posons P = X k + k X k + + X + . o k p
(n)
Si on note i j le cocient d'indice (i, j) de D n T D
n alors : k

(n) (n) ni
Notons que : P = + i .
i j = si i j, et i j = i j = ji i j si i < j. i=
nj n
Si vabsa alors a P.
Pour tout (i, j) [[, p]] , la suite ((n)
i j ) n converge vers 0. Donc (D n T D n ) n k k k
converge vers la matrice nulle. Si a > a k = i a i donne : a k i a i a k i
i= i= i=
3c. Une omission dans l'nonc : p .
k
Supposons qu'une telle norme existe. Soit A une matrice nilpotente non et comme a alors : a i P
nulle (si p = une telle matrice n'existe pas) et soit, sur la foi des questions i=

prcdents, (A n )n une suite de matrices sembables A qui converge vers ,


on aura : 3. 3a. Il sut de prendre une suite (X n ) n telle que X n = (, ) et X n+ = (, ). On

aura pour tout n N, Pn = X , la suite (Pn )n est constante donc convergente,
pour tout n N, N (A n ) = N (A)
mais (X n )n est clairement divergente.

N (A n )


. On devrait donc avoir N (A) = soit A = , ce qui constitue une contradic- 3b. Il sut de prendre pour n , Pn = (X )(X ) = X ( + )X + .
n n n n n
tion.
Les polynmes Pn sont tous scinds racines simples, mais la suite (Pn )n converge
vers P = X qui est scind, mais pas racines simples.
Partie II 3c. D'aprs la question II-2., pour tout n N et tout k [[, p]], x k ,n Pn , et
par suite X n Pn .
N.B. Soit une suite de polynmes (Pn )n de K p [X]. Posons
Pn = a p,n X p + a p,n X p + + a ,n X + a ,n . Comme la suite (Pn )n est convergente, alors elle est borne et donc la suite (X n )n
En considrant la base (, X, X , , X p ) de K p [X], on oit que (c'e dans le cours) la est borne.
suite (Pn )n conerge si et seulement si pour chaque k [[, p]], la suite (a k,n )n conerge D'aprs le thorme de Bolzano-Weierstrass, (X n )n admet au moins une valeurs
et dans ce cas : d'adhrence, on va la noter Y = (y , y , , y p ).
lim Pn = lim(a p,n )X p + lim(a p,n )X p + + lim(a ,n )X + lim(a ,n ) 3d. Soit une suite extraite (X (n) )n de (X n ) n qui converge vers Y . Pour tout
n n n n n
On utilisera cette remarque dans la suite du corrig sans forcment y faire rfrence. k [[, p]], (x k,(n) )n converge vers y k . Posons
p p p p
1. Soit une suite (Pn )n d'lments de U p (C) qui converge dans K p [X] vers un Pn = (X x i ,n ) = X p + a k,n X k et Q = (X y i ) = X p + b k X k .
polynme P . Alors pour tout k [[, p]] la suite forme des cocients des i= k= i= k=

polynmes Pn selon X k , converge vers le cocient du mme terme de P . Les Maintenant en utilisant les relations entre cocients et racines d'un polynme
polynmes Pn tant tous unitaires de degr p, on voit en particulier que P est scind on a pour tout k [[, p]] :
unitaire de degr p. a pk ,n = () k x i ,n x i ,n x i k ,n
i <<i k p
Comme tout polynme de C[X] est scind, P est scind. Alors P U p (C).
b pk = () k
y i y i y i k
U p (C) est ainsi un ferm. i <<i k p

On dduit que pour tout k [[, p]], (a pk ,(n) )n converge vers b pk .

-
.
.
76
.
Utilisation de la topologie en algbre linaire
.

Les cahiers de prpas N 1

Alors (P(n) )n converge vers Q , et par unicit de la limite d'une suite k > et Tn est une matrice triangulaire superieure dont les cocients
p ik
P = Q = (X y i ). diagonaux sont les scalaires i = i + . Soit alors (i, j) [[, p]] tel que
n
i= i j.
Autre faon : Si i = j alors i j puisque i j.
On munit K[X] d'une norme d'algebre N (la norme . en est un exemple), k
l'application B (P, Q) PQ de K[X] dans K[X] et alors continue. Si i j alors i j = i j + (i j). comme k i j < i j par dnition
n
puisque (x k,(n) )n converge vers y k alors (X x k,(n) )n converge vers X y k . k
de k alors i j < i j et donc i j .
par rcurrence sur k [[, p]] on montre alors en utilisant la continuit de B que : n
Ainsi la matrice Tn admet p valeurs propres deux deux distinctes, elle est
(X x ,(n) )(X x ,(n) )(X x k,(n) ) (X y )(X y )(X y k ) pour la
donc diagonalisable. La suite (Tn )n converge en outre vers T . Par continuit
norme N . de l'application linaire M z PMP , la suite (PTn P )n converge vers
p
En particulier pour k = p on obtient P(n) Q = (X y k ) pour la norme N . la PTP = A, les matrices PTn P tant toutes diagonalisables.
i=
norme induite par N sur K p [X] est quivalente la norme considre . de K p [X] 6. Toute matrice de M p (C) est trigonalisable, et d'aprs la question prcdente
donc (P(n) )n converge vers Q pour .. toute matrice trigonalisable est la limite d'une suite de matrices diagonali-
On aurait pu se contenter de dnir l'application B de K p [X] K p [X] dans K p [X], sables. Alors D p (C) est dense dans M p (C).
dans ce cas pas besoin d'une norme d'algebre : B e bilinaire donc continue (les aantages
de la dimension nie). D'aprs la question II-4., la limite d'une suite de matrices diagonalisables est
Mais ce n'e pas bon pour la frime. une matrice trigonalisable. Donc D p (R) T p (R), o T p (R) est l'ensemble
des matrices trigonalisables de M p (R).
3e. On a considr une suite convergente quelconque d'lments de U p (R) et on
a montr que sa limite est dans U p (R). Alors U p (R) est un ferm. Rciproquement, d'aprs la qustion II-5, tout lment de T p (R) est la limite
d'une suite d'lments de D p (R). Donc T p (R) D p (R).
4. Par continuit de l'application , la suite ( A n )n converge vers A et donc Ainsi D p (R) = T p (R).
(() p A n )n converge vers () p A . Les polynmes () p A n sont dans
U p (K). U p (K) tant ferm, la limite () p A est dans U p (K). 7. 7a. Supposons que A est diagonalisable et soient , , , m ses valeurs propres
En particulier A est scind et donc A est trigonalisable. deux deux distinctes de multiplicits repectives , , , m .
En considrant une matrice diagonale semblable A on voit que
5. Soit A une matrice diagonalisable. Soit T une matrice triangulaire suprieure m
d'lments diagonaux , p non forcment deux deux distincts, sem- A = () p (X k ) k .
blable A. Et soit P inversible telle que A = PTP . k=

On pose Maintenant puisque A est diagonalisable, alors K p = m


k= ker(A k I p ) et donc
m
i j , via le lemme de dcomposition des noyaux, P = (X k ) est un polynme
k = min si Card Sp(A) > et k = si Card Sp(A) =
i j i j k=
k k pk annulateur de A. P divise A donc A (A) =
Tn = T + diag ( , , , ) pour tout n N
n n n

-
.
. Les cahiers de prpas N 1
.
Utilisation de la topologie en algbre linaire 77 .

r+
7b. Soit A une matrice trigonalisable. D'aprs la question II-5. il existe une suite
On pose alors = k ,n et pour tout k [[, r + ]], k ,n = k,n / . On
de matrices diagonalisables (A n )n qui converge vers A. k=
Posons pour tout n N, A n = () p X p + a p,n X p + a ,n X + a ,n aura :
r+ r+

et A = () X + b p X + + b X + b .
p p p k,n u n (e k ) = K p et k ,n =
k= k=
Par continuit de l'application , ( A n )n converge vers A donc pour tout 3c. La suite ( ,n , ,n , , r+,n ) n est borne puisque tous ses lments sont
k [[, p ]], la suite (a k ,n )n converge vers b k . Ensuite, puisque (A n )n converge unitaires pour la norme . . D'aprs le thorme de Bolzano--Weierstrass, elle
vers A alors pour tout k [[, p]], (Akn )n converge vers Ak (continuit de admet donc au moins une valeur d'adhrence, qu'on va noter ( , , , r+ ).
l'application M z M k , M M p (K) ). 3d. Soit ( ,(n) , ,(n) , , r+,(n) ) n une suite extraite de ( ,n , ,n , , r+,n ) n
A n est diagonalisable donc A n (A n ) = d'aprs la question prcdente, on fait alors qui converge vers ( , , , r+ ).
tendre n vers l'inni dans l'galit : Pour chaque k la suite ( k,(n) )n converge vers k . La suite extraite
p p
() p A n + a p,n A n + + a ,n A n + a ,n I p = (u (n) (e k ))n converge vers u(e k ) d'aprs la question III-3-a. On fait alors
Pour obtenir tendre n vers l'inni dans les galits :
r+ r+
A (A) = () p A p + b p A p + + b A + b I p =
k,(n) u (n) (e k ) = K p et k ,(n) =
k= k=
Pour obtenir :
Partie III r+ r+
k u(e k ) = K p et k =
1. Si r = p alors Ir (K) = M p (K) ... k= k=
Dduction : On a montr que pour toute famille (e , e , , e r+ ) de vecteurs
K p , (u(e ), u(e ), , u(e r+ )) est lie. Donc rg(u) r .
2. ) On suppose que rg v < r , alors toute famille de vecteurs
3e. ...
(v(x ), v(x ), , v(x r )) de Im v est lie.
) Par contre--appose, supposons que rg v r , il existe donc une fa- 4. Si r > , alors rg(A) < r si et seulement si rg(A) r , l'ensemble des matrices
mille (v(x ), v(x ), , v(x r )) de vecteurs de Im v qui est libre. Forc- de rang infrieur strictement r est donc Ir , c'est un ferm.
ment (x , x , , x r ) est libre.
Sr (K) = M p (K)/Ir (K), c'est donc un ouvert.

3. On munit L(K p ) d'une norme, qu'on notera ., subordonne une norme


quelconque . de K p .
Partie IV
3a. Soit k [[, p]]. u n (e k ) u(e k ) u n u e k .
Puisque u n u alors u n (e k ) u(e k ). 1. 1a. Puisque A est diagonalisable on dmontre (il faut le faire) que pour tout
k [[, m]], dim Ker(A k I p ) = k .
3b. La famille (u n (e ), u n (e ), , u n (e r+ ) est lie puisque rg u n r .
Donc il existe des scalaires non tous nuls ,n , ,n , , r+,n tels que A n est semblable A donc A n k I p est semblable A k I p et donc
r+ dim Ker(A n k I p ) = k ou encore rg(A n k I p ) = p k .
k ,n u n (e k ) = K p . 1b. D'aprs la partie III, I p k (C) est un ferm donc rg(B k I p ) p k .
k=

-
.
. .
78 Utilisation de la topologie en algbre linaire
.

Les cahiers de prpas N 1

1c. On a pour tout k [[, m]], dim Ker(B k I p ) k > donc k est une (n) (n) (n)
i j = i j = si i > j, i j = i j si i = j et i j = i j si i < j.
valeur propre de B. n ji
m m On voit ainsi que la suite (D n T D
n ) n converge vers la matrice diagonale
De plus A est diagonalisable donc k = p et donc dim Ker(B k I p ) p D = diag( , , , p p ).
k= k=
m 3c. (D n T D
n ) n est une suite d'lments de A, mais sa limite D n'est pas dans A
... alors dim Ker(B k I p ) = p. Ce qui signie que B est diagonalisable car sinon A serait diagonalisable. Donc A n'est pas un ferm.
k=
et elle a les mmes valeurs propres que A, avec les mmes multiplicits. A
et B sont donc semblables une mme matrice diagonale, elles sont donc
semblables. Partie V
1d. Ce qui precde dmontre que A est un ferm. 1. ...

2. 2a. (A n ) n converge vers B, donc ( A n )n converge vers B . Comme les matrices A n 2. 2a. Posons D = diag( , , , p ) et soit M = (a i j ) i j M p (K) une matrice
sont semblables A alors A n = A pour tout n N. Ainsi B = A . qui commute avec D.
2b. Soit k [[, p]]. Pour une matrice quelconque M M p (C), les cocients de DM MD = (( i j )a i j ) i j = . Si i j alors i j et donc a i j = . Alors
M k sont des fonctions polynomiales des cocients de M , ce qui signie que les M est une matrice diagonale.
applications composantes de l'application k M z M k dans la base canonique
2b. On suppose que A est diagonalisable valeurs propres deux deux
de M p (C) sont des fonctions polynomiales des cordoones de M , elles sont donc
distinctes. Soit une matrice diagonale D = diag( , , , p ) et une matrice
continues et par suite k est elle mme continue.
inversible P telle que A = PDP . Soit M M p (K).
L'application M z A (M) est une combinaison linaire des applications k ,
elle est donc continue. M C(A) AM = MA D(P MP) = (P MP)D P MP C(D)
2c. est continue et (A n )n converge vers B donc ( A (A n )) n converge vers A (B). Donc C(A) = PC(D)P . L'application M PMP tant un automorphisme
de M p (K), on a donc dim C(A) = dim C(D) = p
Pour tout n N, A n est semblable A, soit Pn une matrice inversible telle que
A n = Pn APn .
3. 3a. Il sut de remarquer que l'application
On a alors A (A n ) = Pn A (A)Pn = . On en dduit que A (B) = . M p (K) L (M p (K)) , M z M
A est diagonalisable elle admet donc au moins un polynme annulateur P scind est linaire. M p (K) tant de dimension nie, est donc continue. Alors
racines simples. A divise P donc A est lui mme scind racines simple. Comme ( A n )n converge vers A .
A est un polynme annulateur de B alors B est diagonalisable.
3b. D'aprs la question V-2., pour tout n N, dim Ker A n = dim C(A n ) = p
2d. A = B donc A et B ont les mmes valeurs propres avec les mmes multiplicits. et donc rg A n = p p.
A et B sont en plus diagonalisables donc elles vont tre semblables une mme
matrice diagonale. Elles sont donc semblables ie B A. D'aprs la question III-3. l'ensemble des endomorphismes de M p (K) de rang
p p est un ferm. Puisque ( A n )n converge vers A et rg A n = p p
pour tout n, alors rg A p p.
3. 3a. A M p (C), donc elle est trigonalisable, d'o l'existence de la matrice T . En
outre T ne peut tre diagpnalisable, sinon A serait diagonalisable. Ainsi dim C(A) = dim Ker A p.
(n)
3b. Posons T = ( i j ) i j et D n T D
n = ( i j ) i j . On a alors o

-
.
.

} Corrig de l'preuve ~

CNC 2001, Maths I, MP

par Mimoun Taibi


Lyce Moulay Youssef Rabat
.
Partie I
1- Soit n Z, l'application (x, ) cos(x sin() n) est continue et borne sur
R [, ], donc J n est bien dnie et borne sur R. .
2- Soit n Z. Eectuer le chgt de variable ane u = dans l'intgrale dnissant
Jn , pour obtenir :

Jn (x) = cos(x sin( u) n( u))d = ()n J n (x).

3- Soit n Z, l'application (x, ) cos(x sin() n) est C sur R [, ]. Par le
thorme de drivation sous le signe intgrale, J n est de classe C et pour tout
p N,
p
(p)
J n (x) = p
(cos(x sin()n))d = sin p () cos(x sin()n+p )d
x
4- En posant
g x () = x sin () cos(x sin() n) x sin() sin(x sin() n)
+(x n ) cos(x sin() n)
= x sin() sin(n x sin()) + x cos () n ) cos(x sin() n)
d
= ((x cos() + n) sin(x sin() n))
d
on a

-
.
.
80
.
CNC 2001, Maths I, MP
.

Les cahiers de prpas N 1


x J n (x) + x J n (x) + (x n )J n (x) = g x ()d x
w(y) w(x) (y) [ exp( v(t)dt)]
= [(x cos() + n) sin(x sin() n)] y
= x y
= exp ( v(t)dt) [(y) exp ( v(t)dt) (y)]
sd y x
5- Cours : Equation direntielle lineaire, sans second membre, du ordre, x y
rsolue en y sur I =
R+ , donc l'espace des solutions sur R+ est de dimension Or w(y) = , donc w(x) exp ( v(t)dt) (y) exp ( v(t)dt) (y),
y x
. x y
soit encore (y) w(x) exp ( v(t)dt) (y) exp ( v(t)dt)
y x

Partie II En utilisant l'expression de w(x), on a :


x y
(y) w(x) exp ( v(t)dt) = (y) + u(t)v(t)dt
y x
1- Lemme de Gronwall : + +
x x
= (y) uv + uv = (x)
Fixons y R+ et posons w(x) = ( u(t)v(t)dt) exp ( v(t)dt) pour x > y x
y y

=A
a) Si F dsigne une primitive de l'application continue sur R+ et par suite :
f x u(x)v(x), et V celle de l'application v, alors w(x) = (F(x) F(y)) exp (V (x) V (y)) y
qui est drivable sur R+ comme compose d'applications drivables ( elle est u(x) (x) (y) exp ( v(t)dt) avec < x y.
x
mme C ).
On a Faisons tendre y vers +, dans l'ingalit prcdente,en tenant compte de
d lim (y) = A, il vient :
w (x) = w(x) y+
+
dx x x d x x > , u(x) A exp ( v(t)dt)
= u(x)v(x) exp ( v(t)dt) + ( u(t)v(t)dt) exp ( v(t)dt) x
y y dx y
2- Autour de l'equation direntielle Fq y + ( + p)y =

exp( yx v(t)d t) a) Rsolution de F quation direntielle linaire ccients constants, son
d
dx
x d x
= (u(x) + u(t)v(t)dt) exp ( v(t)dt) quation caractristique est r + = . Donc les solutions relles sont de la forme
y dx y y = A cos(x) + B sin(x) o A, B sont des constantes relles.
b) La mthode de variations des constantes permet de conclure : posons
+ + d x
=u(x) x u(t)v(t)dt + u(t)v(t)dt
exp ( v(t)dt) y(x) = (x) cos(x) + (x) sin(x) o , sont au moins de calsse C .
y dx y
cos(x) + sin(x) =
y est solution de l'equation propose ssi { ssi
x
A
+
sin(x) + cos(x) = p f
d
(y) exp ( v(t)dt) car u(x) u(t)v(t)dt A
sin(x)
dx y x

= = p f sin(x)
D'o p f cos(x) x
Avec (x) = p(t) f (t) sin(t)dt et
s

cos(x)
d =
b
s R+ , w (s) (y) exp ( v(t)dt)
= p f cos(x)
ds y

sin(x) p f
x
b) Soit x ], y], par intgration de l'ingalit prcdente sur [x, y], on obtient : (x) = p(t) f (t) cos(t)dt.
b

-
.
. Les cahiers de prpas N 1
.
CNC 2001, Maths I, MP 81 .
+
Les solutions de l'quation direntielle avec second membre sont de la forme : Donc I n (x) = C cos(x) + D sin(x) I n (t)k p n (x, t)dt avec C, D des relles
y(x) = A cos(x) + B sin(x) + (x) cos(x) + (x) sin(x) x
x qui ne dpendent -a priori- que de n
= A cos(x) + B sin(x) + f (t)(p(t) sin(t) cos(x) + p(t) cos(t) sin(x))dt
b +


Ingalit triangulaire
d) I n (x) C + D + I n (t)k p n (x, t) dt qui rsulte de intrale et valeur absolue
k p (x ,t) x


+ expression de K p n (x, t)
c) z est solution de F p ssi z vrie z + z = pz. Comme en b) on obient C + D + I n (t) p n (t) dt
x x
z(x) = A cos(x) + B sin(x) + z(t)k p (x, t)dt avec .... Par le lemme de Gronwall (voir question 1.b)
b + +
I n (x) M exp( p n (t) dt M exp( p n (t) dt) o M = C + D et de
3- Soit n Z. x
Jn plus C = D = , on a M = et puis I n sur R+ ,
impossible car J n est non nulle.
a) Soit q C (R+ , R) tel que I n = est solution d'une quation direntielle de Remarque : on peut dmontrer que I n est borne sans utiliser le lemme de
q
type (F p n ), on alors : Granwall.
J n = q I n + qI n , J n = q I n + q I n + qI n et puis : e) Par transformation trigonomtrique ,on a :
+
= (x n )J n + x J n + x J n J n (x) = qI n = (A cos(x) + B sin(x)) I n (t)k p n (x, t)dt
= ((x n )q + xq + x q ) I n + (xq + x q ) I n + x qI n () q(x) q(x) x
+

xq + x q = = (A n cos(x + n )) I n (t)k p n (x, t)dt.
L'quation direntielle () est type F p n ssi { et q(x) = x x x
x> x
+ + +
n x I n (t)k p n (x, t)dt I n (t) k p n (x, t) dt p n (t) dt.
est une solution qui convient et dans ce cas p n (x) = + qui est x x x x x x

x x x o est un majorant de I n .
dnie et continue sur R+ . + cte cte
b) .On rappelle k p n (x, t) = p n (t) sin(t) cos(x) + p n (t) cos(t) sin(x) L'expression de p n montre que p n (t) dt + / = O( / )
x x x x x x+ x
= p n (t)(sin(x t).
Jn
D'o J n (x) = (A n cos(x + n )) + O( / ) au voisinage de +.
I n = car J n , donc x x
q x

I n (t)k p n (x, t) p n (t) = O( ) et comme l'application t I n (t)k p n (x, t) Partie III
t t
est continue sur [, +[, son intgrabilit sur [, +[ en rsulte.
+ Ici n N.
L'expression de k p n (x, t) montre que x I n (t)k p n (x, t)dt est une combi-
1- Quelques proprits de J n .
naison linaire des fonctions cos(x) et sin(x).
a) Pour (m, k) N , on a :
c) I n vrie sur R+ : I
n + I n = p n I n , donc d'aprs .c) I n est de la forme :
x
I n (x) = A cos(x) + B sin(x) + I n (t)k p n (x, t)dt ici b = (k) (k) (k)

J m () J m+ () = sin () cos((m ) + (k ) )d
x + + +
Or I n (t)k p n (x, t)dt = = cos(x) + sin(x) avec et
(k)
x x sin () cos((m + ) + (k ) )d
des constantes relles (voir question .b) ).

= sin ( sin(m) sin(k ) cos(m) cos(k )) d
k

-
.
.
82
.
CNC 2001, Maths I, MP
.

Les cahiers de prpas N 1

d y n J n () x
= sin () (cos(m + k )) d
k
tion de (E n ) telle = n+ n exp( n (t)dt) = n+ (+ n (x)),
dx x n! n x
=
(k)
J m () J () x
avec n (x) = n n n exp( n (t)dt) .
n!
b) Soit n > et k {, ..., n }, on a : Vu l'expression de n l'application est dnie et continue sur ], ] . De plus

() xn
J n () = J n () = cos(n)d = [ sin(n)] = par J n (x) = n + x n o() au voisinage de et
n n!
supposons que J nk () = pour tout k [, n ], on a alors : x xn

n

(k+) (k) (k) exp ( n (t)dt) = ( ) .( )
J n () = J n () J n+ () = J n (x) J n ()
(n)
c) Calcul de J n () on a bien lim+ (x) = .
x
(n) (n) (n) (n) (n) n ()
J n () = J n () J n+ () = J n (). d'o J n () = ( ) J (). Pour n = , avec = ,le calcul direct donne le rsultat.
J ()

Or J () = (J () J ()) (relation de ..a), donc J () = ( ) = . d y x
c) Pour n = , on a = J () exp( (t)dt) = , donc
n dx x x
D'o nalement J n(n) () = ( ) . y (x) = ln(x) + c o c est un rel et puis y (x) = J (x) (ln( ) + c) + +


x x
d) La formule de taylo-young l'ordre n autour de ,donne : car J () = .
n
(k) xn (k) d y n
J n (x) = J n ()x k +o(x n ) = n +o(x n ) car J n () = pour tout k < n. d) Pour n N ,

= n+ ( + n (x)), avec lim+ n (x) = , on recon-
k= k! n! dx x x
xn d y n
Ceci montre bien que J n (x) est de signe de n sur un voisinage point en nait le dveloppement asymptotique de qui s'intgre car est prolo-
n! dx
, d'o l'existence de > telle que J n est strictement positive sur ], ].
geable par continuit sur [, ]. D'o y n (x) = n
+ n o().... et puis
nx x
2- C'est du cours : (voir aussi 3-) J n (x)
y n (x) = J n (x) + J n (x) n o(). Mais = n , donc y n (x) + +.
f nx n x xn n! x
3- J n solution non nulle sur ], ] de (E n ) f = est solution de
Jn 5- Sur R+ , le thm de Cauchy-lipschitz s'applique, soit alors N n une solution sur R+
J (x) d
l'quation direntielle z = ( n + )z f est solution de ( n ) de (E n ) telle que N n ( ) = y n ( ) et N ( ) = yn ( ).
J n (x) x dx
n + n J (x) N n et y n coincident sur ], ], donc lim N n (x) = lim+ y n (x) = +.
z = ( + n (x)) z = , avec n (x) = n . x+ x
x x J n (x)
6- Sur R+ , l'ensemble des solutions S H (E n ) de l'quation direntielle (E n ) est un
a) La solution gnrale de l'quation direntielle ( n ) est de la forme : espace vectoriel de dimension deux, engendr par (J n , N n ). Donc toute solution
x n + y de (E n ) sur R+ est de la forme : y(x) = AJ n (x) + BN n (x) o A, B sont des
z(x) = exp( ( + n (t)) dt) o R, soit
t constantes relles.
x
z(x) = n n+ exp( n (t)dt) Comme J n est borne, alors y est borne ssi B = . (en prenant y = ,ceci permet
x aussi de monter que la famille (J n , N n ) est libre). D'o V ensemble des solutions
o n R bornes de (E n ) sur R+ est un sous-espace vectoriel de S H (E n ) de dimension 1
J n () engendr par J n .
b) Pour n N , prenons n = , alors y n (x) = J n (x) y n (x) est une solu-
n n! n

-
.
. Les cahiers de prpas N 1
.
CNC 2001, Maths I, MP 83 .

Partie IV
Faisons le cht de variable t = , dans la seconde intgrale, il vient :
/
Remarquons d'abord que : J (x) = sin(x sin(t)) sin(t)dt
la fonction f est continue, de classe C par morceaux et paire

la fonction g est continue, impaire et de classe C sur R. sin(xu)
Puis par le chgt de variable u = cos(t), on obtient : J (x) = du
u
1- Our tout n N , a n (g) = car g est une fonction impaire
U =
x sin(xu)
de mme pour tout n N , b n ( f ) = car f est paire Et enn par une intgartion par parties { , on aboutit :
Par les relations liants les coecients de Fourier trigonomtriques et les coef. V = u

exponentiels et parits des fonctions f est g, on a : x J (x) = UdV = [UV ]u= VdU
u=

a n ( f ) = c n ( f )


{ D'autre part on a : c n (g ) = inc n (g), d'o u=
= [x sin(xu) u ] + cos(xu) u du
b n (g) = ic n (g)
u=
a n (g ) = nb n (g).
= cos(xu) u du
Mais g = f , donc a n (g ) = a n ( f ) cos(nt)dt car w = = et puis
T Finalement
x

=

J (x) = cos(xu) u du
a n (g ) = a n ( f ). par ce qui prcde a n ( f ) = a n (g ) = nb n (g).
b) Soit n N , on a :
2- Pour x = , cos()d =

[sin()] =


an ( f ) = f (t) cos(nt)dt = cos(nt) t dt = J (n)
n
Pour x , cos(x sin() cos()d = cos(x sin())d(x sin()) D'o
x


= [sin(x sin(x))] an ( f ) = J (n).
x n
= .
4- Convergence uniforme de la srie de Fourier de f
x
a) Montrons que x R, J (x) = cos(xt) t dt a) D'aprs II-3-c) , pour n assez grand :
A K
Avec la transformation J (n) = sin(n + ) + O( / ) = + O( / )
n n n n
cos(x sin() ) = cos(x sin()) cos() + sin(x sin()) sin()
A sin(B ) Cte
on a : avec K = . D'o a n ( f ) = J (n) = / + O( / ) = O( / )
n n n n
J (x) = cos(x sin() )d

b) Par a n ( f ) = O( / ) , le terme gnral de la srie de Fourier de f vrie
n
= (cos(x sin()) cos() + sin(x sin()) sin()) d c te
a n ( f ) cos(nt) a n ( f ) / , il y'a convergence normale (donc uniforme)

n
= cos(x sin()) cos()d + sin(x sin()) sin()d de la srie de fourier de f sur R.


= a) Voir la remarque ci-dessus...
/
b) Rsultats du cours (thm de Direchlet de convegence normale des sries de
= sin(x sin()) sin()d + sin(x sin()) sin()d
/ fourier)

-
.
.
84
.
CNC 2001, Maths I, MP
.

Les cahiers de prpas N 1

6- Sous les hypothses f est continue sur R et que lim e x(p+i sin()) = lim e x(p+i sin()) = lim e x p = car p > , on a
x+ x+ x+
f est de classe C par morceaux sur R + p sin p
pt
f est points de discontinuits rguliers alors : e cos(t sin())dt = Re ( +i )= .
p + sin p + sin p + sin
la conclusion en rsulte. /
p ch g t d e v ar / p
Par d = d on a :
/ p + sin
p + sin

Partie V p
F(p) = d
p + sin
1- Comme J est borne sur R+ , et t e pt est intgrable sur R+ pour tout p > , /
p p
alors l'application continue t J (t)e pt est intgrable sur R+ pour tout p > . = d + d
p + sin
/ p + sin

2- Les ingalits de .) sont immdiates car les fonctions facteur de e pt sont / p


majores en valeur absolue par = d
p + sin

3- Pour p > x, et a > , on a : / p


+ a + e a p Pour le calcul de l'intgrale d on fait le cht de variable
J (t)e pt dt J (t)e pt dt = J (t)e pt dt p + sin

p a+ u = tan(), alors
a +
D'o lim J (t)e pt dt = J (t)e pt dt. Mais
a+ /
a a
p + p
pt pt
J (t)e dt = ( e cos(x sin()d) dt d = du

a p + sin (p + u
)( + u )
Fub ini pt +u
= ( e cos(x sin()dt) d + p

=
+ a du
Or ( e pt cos(x sin()dt) d ( e pt cos(x sin()dt) d (p + ( + p )u )


+
x p +

pt arctan( p )
= ( e cos(x sin()dt) d = lim
a+ x+ p +

e pt cos(x sin()dt d
a p a
=
e p +

p a+
De ces rsultas on dduit que : Finalement F(p) = pour tout p >
+ p +
p R+ , F(p) = ( e pt cos(x sin()dt) d

o
4- Ecrivons e pt cos(t sin()) = Re(e pt e i(t sin()) ) = Re(e t(p+i sin()) ), alors
+ x
e pt cos(t sin())dt = Re( lim e t(p+i sin()) dt)
x+
t=x
x
Comme e t(p+i sin()) dt = [ e t(p+i sin()) ]
p + i sin() t=
p sin
=( i ) (e x(p+i sin())
)
p + sin p + sin

-
.
.

Les lves marocains lcole poly-


technique
} Corrig de l'preuve ~
Lcole polytechnique franaise, connue dans le milieu des taupins par lX,
demeure lcole la plus recherche par les lves marocains des classes
prparatoires ayant un haut potentiel. En fait, intgrer lX est un prestige Centrale 2001, Math II, filire PSI
qui mrite pour certains dentre eux que lon fasse 5/2 voire 7/2, mme sils
russissent entre temps dautres concours. Ceci peut tre justi par le fait
que cest lcole des futurs patrons . Grce la valeur de leur diplme, les
polytechniciens occupent des postes de decision makers de haut niveau,
surtout pour ceux qui font le choix de rentrer au pays. Ce ne sont pas les
exemples qui manquent : Chakib Ben Moussa (ex-ministre de lintrieur), par Sadik Boujaida
Driss Benhima (PDG de la RAM), Mohammed Hassad (ex-ministre), ...
Lyce Moulay Yossef Rabat
En effet, lX offre aux taupins une formation thorique solide et leurs ouvre .
les horizons pour des carrires prestigieuses. La formation paramilitaire of- .
ferte renforce leur cursus et leur permet de se forger une forte personnalit. Le. sujet fait un survol des diffrents rsultats de dcompositions matri-
Conscient de limportance de ces comptences pour assurer le dvelop- cielles.
. Il commence par la dcomposition LU en adoptant une approche
pement de pays, ltat marocain comme le secteur priv, font tout pour
.
algorithmique,
. puis tablit en utilisant cette dernire la dcomposition QR .
persuader ces laurats de rentrer au pays en leur proposant de trs bons
salaires, et ce mme pour les nouveaux diplms. puis celle de Cholesky.

En parallle de leur scolarit assidue, les tudiants Marocains lX sont


connus pour leffervescence de leurs activits parascolaires. Par le biais L'nonc de l'preuve est disponible au tlchargement ici
de fondations et dassociations, ils essayent, en collaborant avec leurs
compatriotes des autres coles franaises, de communiquer leur culture et
de se crer un milieu qui leur permet de vivre et pratiquer les traditions de En plus des notations adoptes par l'nonc, on notera E = (E , E , , E n ) la
leurs pays en France. Enn, pour garder contact avec les nouveaux diplms base canonique de Rn
et an de leurs offrir les meilleurs opportunits et expriences, les anciens
laurats de lX se sont runis au Maroc sous un groupe nomm groupe
X-Maroc . Partie I
I.A N.B : qu'une matrice A Mn est triangulaire suprieure si et seulement si
elle laisse stables les sevs Fk = Vect {E , E , , E k }, triangulaire infrieure ssi elle
laisse stables les sevs G k = Vect {E k , E k+ , , E n }.
I.A.1) Soit A Mn triangulaire, par exemple suprieure, et inversible. A induit
une bijection de Fk sur lui mme. A aussi, elle est donc triangulaire suprieure.
Le mme argument est utilisable avec les sevs G k si A est triangulaire infrieure.

-
.
.
86
.
Centrale 2001, Math II, lire PSI
.

Les cahiers de prpas N 1

I.A.2) D'abords Ln est inclu dans le groupe linaire Gln (R), puisque tout lment On a alors
de Ln a pour dterminant . H n A n H n V
HA =
Il est clair que la matrice identit I n est dans Ln . Si A et B sont des matrices de Ln H A n + W H V + A n,n
alors les sevs G k , stables par A et par B, sont aussi stables par AB et donc AB est
Pour avoir (HA)n,i = pour tout i [[, n ]], il sut donc d'avoir
triangulaire infrieure. De plus les lments diagonaux de AB, qui sont les produits
H A n + W = .
deux deux des lments diagonaux de A et de B, sont tous gaux . Alors AB Ln .
Il sut alors de prendre H n quelconque dans Ln , par exemple H n = I n , et
Si maintenant A Ln alors A est triangulaire infrieure et ses lments diagonaux,
H M,n (R) donn par H = WA .
inverses de ceux de A, sont tous gaux , donc A Ln . n

Ensuite en posant
Ainsi Ln est un sous groupe de Gln (R).
K n K n
H = , on aurait HH =
I.B Soit A Mn K H K n + K
I.B.1) Supposons que A est inversible et qu'il existe des couples (L, U) Ln Un et en identiant cette dernire matrice avec la matrice identit on aurait forcment
tels que A = LU . Forcment les matrices L et U sont inversibles puisque K n = I n et K = H = WA
n
.
det(A) = det(L) det(U) . Finalement, il sut de prendre
Soient (L , U ), (L , U ) de tels couples. On a L U = L U , donc L
L = U U . I n I n
Les matrices gales L H= , auquel cas H =
L et U U sont alors la fois triangulaires suprieures et WA
infrieures et sont donc diagonales. Comme en plus L , L Ln alors L WA
L L n et n n

donc L L
= U U


= I n .
I.B.4) Quand n = la proprit est vidente.
Ainsi L = L et U = U .
Soit n N , supposons que la proprit est vraie l'ordre n et soit A Mn+ telle
I.B.2) On suppose que A est inversible et possde une dcomposition LU . que det(A k ) pour tout k [[, n + ]].
Posons d'aprs la question prcdente, il existe H Ln+ telle que
L U V An V
L=( k ) et U = ( k ). HA = ( ) o V Rn et R
K K V
On a alors par identication des blocs La matrice A n , d'ordre n, vrie l'hypothse de rcurrence donc il existe des matrices
Ak = Lk Uk L Ln et U Un telles que A n = L U

(relation qui nous sera trs utile par la suite) Considrons ensuite des matrices L Ln+ et U Un+ donnes par
L U W LU L W
Le bloc L k est triangulaire infrieure coecients diagonaux tous gaux , donc L = ( ) et U = ( ) de telle sorte que L U = ( )
K KU KW +
det(L k ) = . Alors
Ayant A n = L U , on a HA = L U si et seulement si
det(A k ) = det(U k )

L W = V


Et comme det(U) = det(U k ) det(V ) et que det(U) alors det(U k ) . KU =




KW + =
I.B.3) On suppose que det(A n ) et soit H Ln , on pose
Il sut alors de prendre W = L V , K = (bien forc, puisque U est inversible) et
H n A V
H=( ) et A = ( n ) donc = .
H W A n,n

-
.
. Les cahiers de prpas N 1
.
Centrale 2001, Math II, lire PSI 87 .

Ainsi, avec d) Soient i, j [[, n]] tels que j < i . Soit P la matrice de permutation qui
L U L
V) permet d'changer les lignes d'indices i et j.
L =( ) et U = (
Intressons nous aux j premires lignes dans l'galit PA = (PL)U , sachant que dans
On a L Ln+ , U Un+ et L U = HA. PA et PL, les lignes de j ne changeront pas et que la jeme ligne sera remplac
En posant maintenant L = H L , U = U on a L Ln+ , U Un+ et A = LU . par la i eme :
.

. . . A ,. j . ... A ,n
. . . . . ... .
I.C

A
. j . . . . . . .

. jL
. . . . . .


I.C.1) Il sut d'appliquer la mme opration sur les lignes de la matrice identit

. . . A .
j, j . .
. . A .

j,n

=
. . . . . ... . .U
I n , pour ainsi obtenir la matrice L . . ... L . L . . .. . L .
A .
i , . .
. . A i ,.j A .
i , j . .
. . A .
i ,n i , i , j i , j i ,n

. . . . . . .
. . O bien sr L i , i+ = = L i ,n = .
. . . . .
. . . . . . . peme
ligne Uj V
En crivant U sous la forme U = ( ), et en identiant les j premires colonnes
P= . . . .. . . .
W
. . . . . . . qeme ligne
dans cette dernire galit, on voit que
. . . . . . .

. . . . . . . . . . A ,. j
. . . .


A
. j . .. .

L
. j. . .


Le produit PA revient alors changer la peme et la qeme ligne de A.
. . . A . .


=

. . . .



.U j
j, j L . . .. . L . L .

I.C.2) a) La premire ligne de A est obtenue en multipliant la premire ligne A .
i , . .. . A i ,.j A .
i , j i , i , j i , j

de L, gale ( ), par les colonnes de U . La premire ligne de U est donc
la mme que celle de A. et en passant au dterminant maintenant
b) Si C, V et K dsignent les premires colonnes de A, U et L, alors C = LV . ... j i
[ ] = L i , j det(L j ) det(U j ) = L i , j det(U j )
D'aprs la question (a), V = A , E , donc C = A , K . A , = det(A ) donc A , . ... j j A
Alors K =

C. Comme det(U j ) = det(A j ) alors
A , ... j i
[ ]
Ainsi la premire colonne de L est gale la premire colonne de A divise par le ... j j A
coecient A , . Li, j =
det(A j )
c) Pour tout k [[, n]], A k = L k U k , et ensuite det(U k ) = det(A k ). Comme U k e) Notons que si A = LU alors
k
A = t U t L = t U D D t L o D = diag(U , , U , , , U n,n ).
t
est triangulaire alors det(U k ) = U i ,i . On en dduit que
U j,i
i=
L = t U D = ( ) est une matrice triangulaire infrieure, ses colonnes
det(A k ) U j, j i , j
U , = A , et k [[, n]] , U k,k =
det(A k ) s'obtiennent en multipliant dans le mme ordre les colonnes de U par les coecient
ou bien sous forme commune, avec la convention det(A ) = diagonaux de D . En particulier les coecients diagonaux de L sont tous gaux
det(A k ) , donc L Ln . La matrice U = D t L est naturelement triangulaire suprieure.
k [[, n]] , U k ,k =
det(A k )

-
.
.
88
.
Centrale 2001, Math II, lire PSI
.

Les cahiers de prpas N 1

On a ainsi t A = L U avec L Ln et U Un . D'aprs la question prcdente un indice de ligne, pour tout j [[i, n]]
j RRR RR
[
... i
] RRR A , . . ... A ,.i A ,. j RRRR
... j j tA RRR RRR
Li , j = Ui, j = RRR . . . . . RRR
det( t A j ) det(A i ) RRR RRR
RRR
Il est ais de voir que RRR A i., . ... A i ,i . A i., j RRRRR
R RR
... j i ... j j
[ ] =[ ] et que det( t A j ) = det(A j ) On agit de la mme faon que pour les coecients de L en considrants les fonctions
... j j tA ... j i A RRR RR
U j, i RRR A , . . ... A ,.i y. RRRR
et que d'un autre cot Li , j = . Ainsi RR RRR
U j, j i (y , y , , y i ) z RRRR . . . . . RRRR
RRR RRR
... j j ... j j RRR A . . ... A . R
[ ] [ ] RRR i ,i y.j RR
det(A j ) . . . j i ... j i A R
i ,
RRR
U j,i = U j, j Li , j = A
=
det(A j ) det(A j ) det(A j )
Ou encore, dans le bon ordre des indices, en prenant cette fois i, j [[, n]] tels que I.E
i< j I.E.1)
... i i
[ ]
... i j A
Ui, j =
det(A i ) a) A =


I.D On calcule d'abords les coecients de L colonne par colonne. Si on prend On suit la mthode dcrite dans la section prcdente :
un indice de colonne j [[, n]], et i [[ j, n]] alors
RRR RRR d (x , x ) =

= x x .
RRR A , . . ... A ,. j RRR x x
RRR RRR
Li, j =
R
RR . .. . RRR Donc det(A ) = d (, ) = , L , = d (, ) = et L , = d (, ) = .
det(A j ) RRRR A j, . . .. . A . j RRR
RRR
RRR j, RRR RRRR
RRR A i., . .. . A i., j RRR R
RRR RRR d (x , x , x ) = RRRRR RRR = x + x + x
R RRRx x x RRRRR
Ces derniers dterminants, y compris det(A j ), sont tous d'ordre j, et sont de la R R
forme Donc det(A ) = d (, , ) = , L , = d (, , ) = .
RRR RR
RRR A , . . ... A ,. j RRRR y
RRR RRR (y , y ) = = y y
d j (x , x , , x j ) = RRRR . .. . RRR
RR
y
RRR A j,. . .. . A j,
. j RR
RRR RRR Donc U , = (, ) = , U , = (, ) = .
RRR x. . .. . x.j RRR
RR RR RRR y RRR
R R
Il peut tre avantageux de calculer une fois pour toute d j (x , x , , x j ) en fonction (y , y , y ) = RRRRR y RRRRR = y y + y .
des x k (Maple s'en aquittera vite fait) et de remplacer pour i allant de j n, RRR y RRR
R R
(x , x , , x j ) par (A i , , A i , , , A i , j ).
Donc U , = (, , ) = .
On s'attaque ensuite au calcul des coecients de U ligne par ligne. Si i [[, n]] est

-
.
. Les cahiers de prpas N 1
.
Centrale 2001, Math II, lire PSI 89 .

n
Ainsi ) Si S p(A) R+ , Soit v Rn /{} et posons v = x k Vk . On a alors

k=
n
L= et U = t
vAv = k x k , les coordonnes x k de v ne sont pas toutes nulles, donc t vAv > .

k=

b) Avec A = LU , pour rsoudre le systme AX = Y il sut donc de rsoudre le ) Si pour tout v Rn /{}, t vAv > , alors en particulier pour tout k [[, n]],
systme LZ = Y et ensuite U X = Z . L'avantage dans ce procd est que ces deux
k = t Vk AVk > . Donc S p(A) R+ .
derniers systmes sont triangulaires.
II.A.1) A Sn++ . Soit k [[, n]]. Soit v R k /{} et posons
v A B
I.E.2) La matrice inversible A = ( ) ne possde pas de dcomposition LU , V = ( ) Rn et A = ( k )
C D
puisque A , = . t
VAV = t vA k v avec V donc t vA k v > . Par ailleurs, le fait que t A = A implique
Une matrice inversible admet au plus une dcomposition LU , il faut donc essayer que t A k = A k . Alors A k est symtrique dnie positives. Elle est donc diagonalisables
avec une matrice non inversible. Un exemple trivial serait de prendre A = et de valeurs propres strictement positives. Son dterminant, produit de ces valeurs
d'crire A = L pour tout L L . En moins simple propres, est strictement positif.
Pour tout k [[, n]], det(A k ) . D'aprs la partie I, A admet donc une
A=( ) , on a alors A = ( )( )=( )( )
dcomposition LU .
I.E.3) II.A.2) Pour tout k [[, n]], U k ,k = det(A k )/ det(A k ) > .
p+q
r
a) la formule du binme donne ( + X) p+q
= p+q X . r
r= II.B
r
et avec la convention adopte, p+q = si r [[, p + q]], on peut crire II.B.1) Une astuce dj utilise permet d'crire, t A = ( t U D )(D t L) o
r
( + X) p+q = p+q X r D = diag(U , , , U n,n ).
rZ
D'autre part Comme t A = A, et par unicit de la dcomposition LU de A on a donc L = t U D
p q et U = D t L, et ainsi A = LD t L.
k h k h k h
( + X) p ( + X)q = ( p X k ) ( q X h ) = p q X k+h = p q X r Sachant que les coecients diagonaux de D sont strictement positifs, Soit l'unique
k= h= k ,hZ rZ k+h=r
r matrice diagonale coecients diagonaux strictement positifs telle que = D.
En identiant les coecients du terme en X , on obtient
r k
p+q = p p = p q
h k rk En posant B = t L, B est bien triangulaire suprieure et t BB = L t L = A.
k+h=r kZ L'criture A = t BB est dite dcomposition de de la matrice A.

Partie II II.B.2) Supposons que A = t BB = t CC avec C Un et pour tout i [[, n]] B i , i >
et C i ,i > .
II.A Soit A Sn . Par dnition de l'nonc A Sn++ ssi S p(A) R+ . La matrice t C t B = CB est la fois triangulaire suprieure et infrieure, elle
A est symtrique donc elle est orthogonalement diagonalisable, ie qu'il existe une B i ,i Ci,i
est donc diagonale. Son ieme coecient diagonal est = . B i , i = C i, i et les
base orthonorme V = (V , V , , Vn ) de Rn formes de vecteurs propres de A. Ci,i B i ,i
Posons pour tout k [[, n]], AVk = k Vk .

-
.
.
90
.
Centrale 2001, Math II, lire PSI
.

Les cahiers de prpas N 1

deux rels B i ,i et C i , i sont strictement positifs donc B i , i = C i , i . Alors les coecients III.B Soit A Mn .
diagonaux de CB sont tous gaux 1. CB = I n o encore C = B. III.B.1) Soit C = (A , , , A n, ) la premire colonne de A. D'aprs (III.A.2), il
existe une matrice de Householder H telle que
Noter que la condition B i ,i > pour tout i [[, n]] est essentielle pour l'unicit
car, par exemple, avec C = B on a bien A = t CC .

H C = o = C .

II.C
i iii) Si M Sn++ , on a dj vu (question II.A.1) que pour tout k [[, n]], On peut alors crire
det(M k ) > . . . . .

iii ii) Si M est symtrique et det(M k ) > pour tout k [[, n]]. M admet une
H A = . . . . . o B Mn .
dcomposition LU unique, partir de laquelle on construit une matrice B Un . . . . B

forcment inversible telle que M = t BB (comme fait dans la question II.B.1).
. . . .
ii i) S'il existe B Un inversible telle que M = t BB. M est symtrique et pour tout

Si on suppose qu'il existe des matrices de Householder d'ordre n, H , H , , H n
v Rn /{}, t vMv = t v t BBv = Bv , o . dsigne la norme euclidienne canonique telles que U = H n H B Un et en posant pour tout k [[, n ]]
de R . Comme B est inversible Bv et donc Bv > . Alors t vMv > . Ainsi
n

M Sn++ . . . .

N.B : L'implication : k [[, n]] , det(M k ) > M est dnie positive. . . . . .
Hk =
. . .k .
H

n'est pas du tout triviale, on l'a contourne ici grce la dcomposition de -
. . . . .
ces matrices sont des matrices de Householder ( justier) et
Partie III
. . .. . . . .

III.A . .
H n H H A = . . . . = . . . .
.
. B .
.H n H
U .
III.A.1) Noter que pour tout x Rn , v t vx = v, xv = p(x) o p est la projection . . .

orthogonale de Rn sur la droite D = Rv . H (v) = I n p, donc H (v) est la symtrie . . . . . . . .
orthogonale d'axe l'hyperplan D .
Ainsi H n H H A Un . Le principe de rcurrence permettrait alors de conclure.
III.A.2) Soit a R et posons b = (a , , , ).
n
III.B.2) Soient des matrices de Householder H , H , , H n telles que
Si b = a n'importe quelle reexion dont l'axe contient a convient. U = H n H A Un . Puisque pour chaque k [[, n ]], H = H k alors
k

Si b a, a = b donc a b, a + b = a b = . En considrant un vecteur v A = H H n U , et en posant P = H H H n , P est orthogonale comme produit
unitaire colinaire b a et H l'hyperplan orthogonal de la droite Rv , de matrices orthogonales et A = PU .
Maintenant si on considre la matrice diagonale D = diag( , , , n ) telle que
a = (ab)+ (a+b), ab H et a+b H, donc H (v) (a) = SH (a) = (ab)+ (a+b) = b. = si U , si U < , et si on pose Q = PD et R = DU alors A = QR , Q
k k ,k k,k
tant encore orthogonale et cette fois R Un+ .

-
.
. Les cahiers de prpas N 1
.
Centrale 2001, Math II, lire PSI 91 .

III.B.3) Supposons que A est inversible et soient Q , Q Mn orthogonales et orthogonale sur Fk . le procd introduit le vecteur U k = C k p k (C k ) et pose
R , R Un+ telles que A = Q R = Q R . Uk
ensuite Vk = .
Les matrices R et R sont forcment inversibles (grce au dterminant) ce qui Uk
permet d'avoir Q Q = R R . on a donc C k = U k + p k (C k ) = U k Vk + p k (C k ). Sachant que p k (C k ) s'exprime
Posons B = R R = Q Q , puisque R , R sont dans Un+ et qu'elles sont inversibles,
l'aide des vecteurs V , , Vk , la composante de C k selon Vk , qui est aussi le k e
alors leurs coecients diagonaux sont strictement positifs et donc ceux de B aussi. coecient diagonal de R, est U k qui est positif.
Maintenant la matrice B est la fois triangulaire suprieure et orthogonale, elle est N.B : U k = d(C k , Fk )
forcment gale la matrice identit I n .
Premire justication en utilisant la dcomposition de . B est ortho- Le procd de - - permet aussi de justier la dcomposition de
gonale donc t BB = I n , D'aprs la question (II.B.2), la dcomposition I n = t BB est
unique, comme on a aussi I n = t I n I n , alors B = I n . En eet, soit A une matrice symtrique dnie positive. et considrons la forme
Deuxime justication de faon lmentaire. B est orthogonale donc ses seules bilinaire symtrique (X, Y) z X, AY.
valeurs propres possibles sont et (grce la conservation de la norme). B est MatE () = ((E i , E j )) i j = (E i , AE j ) i j = ( t E i AE j ) i j = (A i j ) i j = A, comme A
triangulaire, ses coecients diagonaux (strictement positifs) sont donc tous gaux est dnie positive alors est un produit scalaire de Rn . Considrons alors la base
. Puisque chaque vecteur colonne de B est unitaire alors ses colonnes ont tous -orthonormale U = (U , U , , U n ) obtenue en appliquant le procd de -
leurs coecients nuls sauf celui sur la diagonale, qui vaut , ie B = I n . la base canonique E de Rn en utilisant ce produit scalaire ( bien s r).
Ainsi R R E
= Q Q = I n ie R = R et Q = Q . Si B = PU alors la formule de passage pour les formes bilinaires symtriques donne,
sachant que MatE () = A et MatU () = I n
N.B : En gnral, une matrice qui est la fois triangulaire et orthogonale est force- A = t BI n B = t BB.
ment diagonale et ses lments diagonaux valent 1 ou -1. Ainsi un automorphisme Comme expliqu auparavant B, obtenu par le procd de - - , est
orthogonale dont le polynme caractristique est scind est diagonalisable, c'est une triangulaire suprieure et ses coecients diagonaux sont strictement positifs.
symtrie orthogonale.
Partie IV
III.C En utilisant le procd de -- .
Soit A une matrice inversible, ces vecteurs colonnes C , C , , C n , forment une IV.A
famille libre. Soit V = (V , V , , Vn ) la base orthonorme obtenue par procd IV.A.1) Continuit de l'application bilinaire (M, N) z MN sur Mn .
de - - partir de cette famille.
On rappelle que E dsigne la base canonique de Rn . La formule de passage d'une IV.A.2)
base une autre donne V a) Noter que pour tout vecteur Y , MY , M Y. Pour tout vecteur X tel
A = M atE (C , C , , C n ) = PE M atV (C , C , , C n )
V
que X on a donc
Si on pose Q = PE et R = M atV (C , C , , C n ), alors A = QR. Q est ortho- MN X M N X M N X M N
gonale puisque E et V sont des bases orthonormes. Pour chaque k [[, n]], et en passant au sup MN M N .
C k Vect {V , V , , Vk } donc R est triangulaire suprieure.
b) 1re faon : Soient S p(M) et un vecteur X non nul tel que MX = X .
Reste justier qu'en fait R Un+ . C'est du au procd de --.
MX M X donne M .
Posons pour k [[, n]], Fk = Vect {V , V , , Vk } et notons p k la projection

-
.
.
92
.
Centrale 2001, Math II, lire PSI
.

Les cahiers de prpas N 1

Si maintenant M < alors ne peut tre une valeur propre de M . Donc I n + M D'aprs la question prcdente la suite (E k ) k converge vers la matrice nulle .
est inversible. Donc I n + RE k R I n . Par continuit du dterminant on a donc
2eme faon : Une rcurrence simple base sur (IV.A.2.a) permet de justier que det(I n + RE k R ) , et donc il existe N N tel que pour tout n N ,
pour tout p N, M p M p . Donc si M < alors la srie () p M p converge det(I n + RE k R ) /. Les matrices I n + RE k R sont donc inersible partir
absolument. On a alors dur rang N , chacune une dcomposition QR unique.

+ + + IV.E
(I n + M) () p M p = () M + () M
p p p p+
IV.E.1) (Q k ) converge vers Q donc par continuit de l'application M z t M ,
p= p= p= t k Q
k t Q
Q.
( Q k ) converge vers Q . D'aprs la question (IV.A.1), on a donc t Q
+ +
= () M () M = I n
p p p p
Comme pour tout k N , t Q k alors t Q
k Q Q = In , Q
est donc orthogonale.
p= p=

IV.E.2) pour tout k N, R k = Q


(I n RE k R ) = t Q
k (I n RE k R ). On en dduit
+ k
t
que R k Q .
Donc I n + M est inversible et (I n + M) = () M . p p
p= Maintenant chaque coecient de t R k converge vers le coecient correspondant
= tQ
de R , les matrices R
k sont triangulaires suprieure donc R est triangulaire
IV.A.3) A admet n valeurs propres deux deux distinctes donc elle est diagonali- suprieure. Pour la mme raison les coecients diagonaux de R sont positifs ou
sable, d'o l'existence de la matrice inversible P . = tQ
est inversible, ils sont strictement positifs. Alors R Un++ .
nuls, et puisque R

IV.B A est semblable A et pour tout k N, = tQ


IV.E.3) R est triangulaire suprieure et orthogonale donc R
=Q
= In .

A k+ = R k Q k = Q k (Q k R k )Q k = Q k A k Q k
IV.F Vous n'en voudriez pas de toute faon ;--)
donc A k+ est semblable A k . Ainsi par rcurrence toute les matrices A k sont
semblables (orthogonalement) A. o
IV.C Posons L k = D k LDk , les matrices D k et Dk tant diagonales les coe-
ki k
cients de L k se calculent simplement : (L k ) i , j = L i , j = ( i / j ) L i , j .
kj
Si i < j la matrice L est triangulaire infrieure donc (L k ) i , j = L i , j = .
Si i > j, i / j < donc (L k ) i , j .
Si i = j, (L k ) i ,i = L i , i = .
Ainsi la suite (L k ) k converge vers la matrice identit I n .

IV.D E k = D k LDk I n .

-
.
.

propos de lauteur de larticle


.Lauteur, qui a pass son enfance dans une } Corrig de l'preuve ~
petite ville du Moyen Atlas (Khnifra), a
obtenu une licence en mathmatiques la
facult des sciences de Marrakech. Il in-
tgre ensuite un centre de prparation au
CNC 2003, Maths I, filire MP
concours de lagrgation, quil russit deux
ans aprs en 1997. Aprs une anne de
stage en classes prparatoires au lyce Ibn
Taymia, il est affect Agadir au lyce Re-
da Slaoui, ou il enseigne pendant 11 ans, 4
en sup MPSI et 7 en spe MP. Il a actuellement la responsabilit dune par Sadik Boujaida
classe de spe PSI au lyce Moulay Youssef, Rabat, quil a rejoint de- Lyce Moulay Youssef Rabat
puis 2009. .
. .
Il se dit passionn de linformatique et des nouvelles technologies en
Un. sujet qui traite de la transforme de Fourier, on y dmontre en particu-
gnral, avec un penchant certain pour les arts graphiques numriques. .
Il a pour longtemps utilis des systmes dexploitations base de Li- lier le principe d'inversion de cette transformation.
nux comme environnement de travail principal, mais a depuis quelques .
annes switch pour MacOS X (un systme de type Unix aussi) sur
Macintosh.
Partie I
e t
1. a) La fonction t z est continue sur ], ] prolongeable par continuit
t
en , elle est donc intgrable sur ], ]
e t e t
b) La fonction t est continue sur [x, +[ et t ( ) .
t t t+
donc elle est intgrable sur [x, +[.
+ e t
2. x ], +[, (x) = dt .
x t
a) Faites bien attention ici, les ingalits demandes sont strictes.
e t
Soit x > . (x) > car la fonction t est continue positive non nulle
t
sur [x, +[.

-
.
. 94
.
CNC 2003, Maths I, lire MP
.

Les cahiers de prpas N 1

e t e t + e t
Ensuite t ]x, +[, < donc : (x) < e t dt avec (ce qui au passage permet de juier que la fonion t z e prolongeable
t x x x t
+ e x en une fonion de classe C sur R).
e t dt = e x donc (x) < .
x x Et par primitivisation de la somme d'une srie entire :
+ e t x e t x e t +
()n n
b) On peut crire (x) = dt dt . dt = x .
t t t n= n.n!
x e t
+
La fonction x z dt est de classe C sur ], +[ d'aprs le thorme ()n n
t Ainsi pour tout x > , (x) + ln x = C + x .
fondamental du calcul intgral. n= n.n!
Donc est de classe C sur ], +[ et pour tout x ], +[,
3. x ], +[, (x) = (x).
e x
(x) = .
x a) est une fonction paire, il sut de justier son intgrabilit sur ], +[.
c) pour un x > ,
Sur ], +[, est continue par continuit de et d'aprs la question (2.a),
x

x e t x dt e x
(x) + ln(x) = () + (t)dt + ln x = () dt + (x) < ce qui justie l'intgrabilit de sur [, +[. D'aprs la question
t t x
x e t
= () + dt (2.c) (x) ln x donc x(x) , ce qui prouve que est intgrable sur
t x
t ], ]
e
La fonction t z est int sur ], ], donc Alors est intgrable sur ], +[.
t
t t
e x e
b) est intgrable sur ], +[ donc est intgrable sur les intervalles ] , [ et
lim dt = dt
x+
t t ], +[. et on a pour tout x ,
e t +
Alors lim+ ((x) + ln(x)) = () dt . (x)
= (t)e i x t dt + (t)e i x t dt
x t
+ +
d) La fonction x z (x) + ln x est de classe C sur ], +[, donc = (t)e i x t dt + (t)e i x t dt
d'aprs le thorme fondamental du calcul intgral on a pour tout x >
+

(t)(e i x t + e i x t )dt
x
(x) = () +
(t)dt . Ce qui donne =


+ +
e t
x
= (t) cos(xt)dt = (t) cos(xt)dt
(x) + ln x = () + dt
t
e t x e t c) La fonction (x, t) z (t) cos(xt) est continue sur D = R], +[, et
= C+ dt + dt k
t t admet pour tout k N une drive partielle k (x, t) z t k (t) cos (xt + k )
x e t x
= C+ dt continue sur D. De plus pout tout (x, t) D :
t
Ensuite, en utilisant le DSE de la fonction exponentielle on a pou t (x, t) (t) et est intgrable sur ], +[.
t +
e ()
n
k
= t n . (x, t) t k (t).
t n= n! x k

-
.
. Les cahiers de prpas N 1
.
CNC 2003, Maths I, lire MP 95 .

La fonction t z t k (t) est continue sur ], +[. Elle est prolongeable par Deuxime faon : On utilise la formule de Leibniz.
continuit en car t k (t) t k ln t et donc t k (t) . Sur [, +[ on a e t

k t
t La fonction k (x, t) z sin(xt) et continue sur =], +[], +[ et
la majoration t (t) t
k
e et donc t (t (t)) ce qui achve la
k t
t+ k
justication de l'intgrabilit de la fonction t z t k (t) sur ], +[. sa drive partielle (x, t) e t cos(xt) est continue sur .
x
Alors est bien dnie de classe C sur R et pour tous k N et x R Via l'ingalit sin(u) u si u , on a pour tout (x, t) , k(x, t) xe t .
+
(k) (x) =
t k (t) cos (xt + k ) dt Soit donc a > .
(x, t) ], a]], +[, k(x, t) ae t
d) La fonction t z (t) cos(xt) tant intgrable sur ], +[, une intgration par k
(x, t) ], +[], +[, (x, t) e t
partie (en utilisant la suite exhaustive ([ , n])n> ) donne : x
n
n les fonctions t e t et t ae t tant continues intgrables sur ], +[.
(x) = lim (t) cos(xt)dt
Alors est de classe C sur ], +[ et
n /n
+
sin(xt) n
n
x ], +[, (x) = e t cos(xt)dt
= lim [(t) ] (t) sin(xt)dt
n x x /n
/n
n e t + e t
Maintenant la fonction t z e t e i x t est intgrable sur ], +[ puisque

= lim sin(xt)dt = sin(xt)dt e t e i x t = e t . donc
x n /n t x t +
sin(xt)
+
t
+
t i x t e (+i x)t
Car d'un ct la fonction t z (t) tend vers en et en + et de l'autre e cos(xt)dt = Re ( e e dt) = Re [ ]
x + ix
e t
la fonction t z sin(xt) est intgrable sur ], +[.(les deux points la = Re ( )=
t + n n + ix + x
charge du lecteur). Ensuite () = (t)dt = lim ([t(t)]/n t (t)dt) = lim e t dt ,
n

/n /n Alors : x ], +[, (x) =
+ + x
soit () = e t dt = . puisque t(t) tend vers quand t tend vers et vers
+

b) Pour tout x > , (x) = et la relation (x) = x (x) implique qu'en
+ x
e t + fait est continue en puisque est continue sur R, et que () = . Alors
4. x ], +[, (x) = (x)
sin(xt)dt = x (x) = arctan x . Anisi
t arctan x

a) Premire faon : On utilise la fonction x > , (x) = .
+
x
L'expression (x) = x (x) explique que est de classe C sur ], +[ et que Ensuite l'criture (x) = (t) cos(xt)dt valable pour tout x non nul im-
pour tout x ], +[

+ plique que est paire sur R . Donc
(x) = (x) =
(x) + x (x) x t(x) sin(xt)dt arctan x
x R , (x) =
Une intgration par partie ( faire correctement) donne : x
+ + +
x t(t) sin(xt)dt = ((t)+ t (t)) cos(xt)dt =
(x) t
e cos(xt)dt

+
Et donc : (x) = e t cos(xt)dt

-
.
.
96
.
CNC 2003, Maths I, lire MP
.

Les cahiers de prpas N 1

x
Partie II a) f est intgrable sur [, +[ donc la fonction x f (t)dt admet une limite

x

1. a) f une fonction CPM intgrable sur R. Soit x R, l'ingalit


nie en +, comme f (t)dt = f (x) f () ceci revient ce que f admette

t R, f (t)e i x t f (t) une limite nie en +. Soit l cette limite.
montre que la fonction t z f (t)e i x t est intgrable sur R. Donc
f est bien Supposons que l , alors il existe A > tel que :
dnie sur R.
+ x [A, +[, f (x) l.

Ensuite pour tout x R,
f (x) f (t) dt . Donc
f est borne sur R.
La fonction constante x z l n'est pas intgrable sur [A, +[ donc f ne

b) Si f est continue, la fonction (x, t) z f (t)e i x t est continue sur R R et serait pas intgrable sur [A, +[. contradiction.
(x, t) R R, f (t)e i x t f (t), f tant continue intgrable sur R.
Alors l = lim f = . On obtient lim f = en appliquant ce dernier rsultat la
Alors
f est continue sur R. +
fonction x z f (x).

2. a) La linarit de F dcoule de la linarit de l'intgrale. b) Une intgration par partie ( excuter correctement avec des bornes nies)
b) Les fonctions fa et af sont bien dnie puisque les fonctions t z f (t a) et donne pour tout x R :
+ +
t z f (at) sont CPM intgrables sur R.
f (x) = f (t)e i x t dt = lim f (t)e i x t lim f (t)e i x t + ix f (t)e i x t dt .
t+ t
Soit x R. + + f (t)e i x t
= f (t) donc d'aprs la question prcdente lim f (t)e i x t
= . Alors
fa (x) =
i x t i x(a+u) i ax t
f (t a)e dt = f (u)e du = e f (x).
f (x) = ix
f (x).
et si a et = sign(a)
f (x)
+ + c) D'aprs (II-1.a),
f est borne sur R. La relation
f (x) = implique alors

a f (x) = f (at)e dt = i x t
f (u)e i xu/a du
u=at
ix


+
a que lim
f = .
x
= f (u)e i xu/a du = f( )
a a a d) On suppose que la fonction g t z t f (t) est intgrable sur R.
c) Considrons la fonction g t z f (t)e i at . Soit x R, Utiliser le thorme de drivation d'une intgrale dpendant d'un paramtre
+ (formule de Leibniz) pour justier que dans ce cas
f est de classe C sur R et que

g (x) = f (t)e i(ax)t dt =
f (x a). pour tout x R.
+
+ +
f (x) = i t f (t)e i x t dt = i
g (x)
d) Ayant f (t)e i x t
dt = f (t)e ixt
dt ,
f (x) = ( f (t)e i x t
+ f (t)e ixt
)dt .
N.B : Ici on a juste besoin que f soit continue intgrable sur R et que la fonc-
et donc : + tion t z t f (t) soit intgrable sur R. Nul besoin que f soit de classe C et

f (x) = f (t) cos(xt)dt si f est paire. encore moins que f soit intgrable comme peut le suggrer l'enchanement des

+ questions de l'nonc.

f (x) = i f (t) sin(xt)dt si f est impaire.

Par extension si f est continue sur R (CPM sut) et pour tout k N, la fonction
e) Si f est une fonction relle paire,
f est paire et valeurs relles. Si f est relle t z t k f (t) est intgrable sur R, alors la transforme de Fourier
f de f est de
impaire,
f est impaire et valeurs imaginaires pures. classe C sur R et : +
3. f est une fonction de classe C sur R, et f et f sont intgrables sur R. k N , x
f (k) (x) = t k f (t)e i x t dt

-
.
. Les cahiers de prpas N 1
.
CNC 2003, Maths I, lire MP 97 .

Partie III 1. a) v une fonction continue intgrable sur R. Si on pose v n (y) = v(y)e n y , les
fonctions v n sont continues sur R, la suite de fonctions (v n )n CVS vers v sur
R puisque ( n )n converge vers et v est continue sur R.
A De plus y R, v n (y) v(y) et v est intgrable sur R.
Le thorme de la convergence domine s'applique ici, il donne :
On considre la fonction h t z e t . + +
lim v(y)e n y d y = v(y)d y .
1. h est continue intgrable sur R et la fonction t z th(t) est intgrable sur R

puisque lim t h(t) = . D'aprs la question (II-3.c)


h est de classe C sur R et b) Soit x R, le mme thorme se base ici sur la domination :

w(x + n y)e y Me y
pour tout x R

+ o M = sup w(u). Il donne :
h (x) = i t e t e i x t dt uR
+ +
Une intgration par partie donne alors lim w(x + n y)e y d y = w(x)e y d y = w(x) .

+
e t i x t

ix + x + x
e t e i x t dt =

h (x) = i e + e t e i x t dt = h(x) +
(tx) / n

2. e i y(tx) n y d y = n h(t x) = e donc

n

h est donc une solution de l'quation direntielle + +
i y(tx) n y +
x f (t) ( e d y) dt = f (t)e (tx) / n dt
y + y = () n

tx
En posant s = , soit t = x + s n on obtient :
2. Les solutions de l'quation () sur R sont les fonctions de la forme x z e x /
n
o R.
+ +
i y(tx) n y +
f (t) ( e d y) dt = . n f (x + s n )e s ds
Il existe donc R tel que pour tout x R,

h(x) = e x / . n
+ +
Comme

e t dt =

h() = alors = . Ainsi = f (x + s n )e s ds

+
x R,

h(x) = e t i x t
dt = e x / 3. x u rel donn.

a) Soient > et (p, q) N .
t
3. Soient > et la fonction
h t z e . D'aprs (II-2.b),
Sachant que la fonction (y, t) z f (t)e i x y y i y t
est continue sur
h(x) =
x R,
x
h ( ) =
x /
e [p, p] [q, q], le thorme de Fubini donne :

p q q p
e i x y y ( f (t)e i y t dt) d y = f (t) ( e i y(tx) y d y) dt .
p q q p
B i x y y
q
i y t
b) Posons pour tout q N , Fq (y) = e f (t)e dt .
q
f une fonction continue, borne et intgrable sur R telle que f soit intgrable sur q
R. ( n )n une suite de rels strictement positifs qui converge vers . Du au fait que f (t)e i y t dt
f (y), la suite de fonction (Fq )q CVS sur R
q q

vers la fonction F y z e i x y y f (y), fonction qui est continue puisque



f est
continue sur R.

-
.
.
98
.
CNC 2003, Maths I, lire MP
.

Les cahiers de prpas N 1

q + +
e i x y n y eix y

De plus pour tout y R, Fq (y) e y f (t) dt Ie y o

Et d'aprs (III-B-1.a) lim f (y)d y = f (y)d y
q n
+
I= f (t) dt . Alors : +

eix y
f (y)d y = f (x).
y
la fonction y z Ie tant continue intgrable sur R.
Le thorme de la convergence domine donne alors
+ +
lim Fq (y)d y = F(y)d y
q Rsumons : Si f est continue intgrable sur R et sa transforme de Fourier
soit : + q + + est aussi intgrable sur R, alors on a la relation dite formule d'inversion de la

lim e i x y y ( f (t)e i y t ) d y = e i x y y ( f (t)e i y t ) d y transforme de Fourier :
q q +
x R, f (x) =
f (t)e i x t dt
c) De faon similaire on dmontre que :

q p q +
lim f (t) ( e i y(tx) y d y) dt = f (t) ( e i y(tx) y d y) dt
p q p q
q o
d) La fonction A y z e i x y y ( f (t)e i y t dt) est intgrable sur R puisque
q
+ p +
A(y) Ie y o I = f (t) dt . Donc lim A(y)d y = A(y)d y .
p p

En faisant tendre p vers l'inni dans la relation du (III-B-3.a) et via le rsultat


dmontr dans la question (III-B-3.c) on obtient :
+ q q +
e i x y y ( f (t)e i y t ) d y = f (t) ( e i y(tx) y d y) dt
q q
+
Maintenant en considrant la fonction B t z f (t) ( e i y(tx) y d y), et

vu que f est intgrable sur R :
q + + +
lim f (t) ( e i y(tx) y d y) dt = f (t) ( e i y(tx) y d y) dt
q q

La relation prcdente, via la question (III-B-3.b) donne alors :


+ + + +
f (t) ( e i y(tx) y d y) dt = e i x y y ( f (t)e i y t ) d y

+
e i x y y

= f (y)d y

4. Soit x R. D'aprs (III-B-2) et (III-B-3.c), en remplaant par n on obtient :


+ +
e i x y n y

f (y)d y = f (x + s n )e s ds

+
D'aprs (III-B-1.b) lim f (x + s n )e s ds = f (x)
n

-
.
.

} Corrig de l'preuve ~

CNC 2010, Maths I, MP

par Mohammed Tarqi


Lyce Ibn Abdoune Khouribga
.
I. Rsultats prliminaires

1.1 Puisque f est de classe C sur l'ouvert U , alors, d'aprs le thorme de Schwarz
on peut crire, pour tout x U , .
f f
(x) = (x),
x i x j x j x i
donc H x est une matrice symtrique, et comme elle est relle, alors H x est
diagonalisable dans une base orthonorme de Rn .
1.2
1.2.1 f est de classe C sur l'ouvert U et admet un maximum en a , donc
d'aprs la condition ncessaire des extremums d f (a) = , donc
f
(a) = pour tout i = , , ..., n.
x i
Par ailleurs, puisque U est un ouvert, alors il existe > tel que
B(a, ) U , donc pour tout h < , a + h U et d'aprs la formule
de Taylor-Young, on a :
f
f (a+h) = f (a)+ hi h j (a)+o(h ) = Q a (h)+o(h ).
i , jn x i x j
1.2.2

-
.
100
. .
CNC 2010, Maths I, MP
.

Les cahiers de prpas N 1

u
1.2.2.1 Soit h = t , alors t , alors Donc pour tout x K ,
u f (x) + x f (a) = + sup f (y)
u t y=
f (a + t ) f (a) = Q a (u) + o(t ) ,
u u et quand tend vers 0, on obtient :
ainsi pour t voisin de 0, on a : f (x) sup f (y).
y=
t Q a (u) + o(t ) .
1.2.2.2 L'ingalit prcdente s'crit aussi pour tout t ], [/{} : 1.3.3.3 On a f = ( f ), donc si f est harmonique, alors f est aussi
Q a (u) + (t) ,
harmonique et on aura dans ce cas
f (x) sup ( f )(y) = inf f (y).
o lim (t) = , donc quand t tend vers 0, on obtient Q a (u) , y= y=
t
donc Q a est ngative. ou encore
1.2.3 Comme Q a est ngative, alors inf f (y) f (x).
y=
f
(a) = (H a (e i )e i ) = Q a (e i ) .
x i II. Construction dune solution du problme
O (e , e , ..., e n ) dsigne la base canonique de Rn et (..) le produit
scalaire canonique. (x) =
(x) = (x) ; si
2.1 Si x [, ], alors x [, ] et donc
En particulier (x) = (x ) = ( x) et
x [, ], alors x [, ] et donc
f
n
enn si x [, ], alors x [, ] et par consquent (x) = (x ).
f (a) = (a) .
i= x i La fonction est C sur ] , [], [, et
(t) = lim (t) = ()
lim+
1.3 Applications aux fonctions harmoniques t +
t
et
1.3.1 f est une fonction continue sur la partie compacte K , donc elle borne et
d
atteint ses bornes. lim ((t)) = ().
(t) = lim
t dt
t
1.3.2 Supposons que f atteint son maximum en un point a de l'intrieur de K , De mme on montre que est continue en , ainsi est C sur R.
alors d'aprs ce qui prcde ( question [.] ), f (a) , ce qui est absurde
puisque ( f ) > . 2.2 On a

Donc f atteint son maximum sur la frontire de K , c'est dire : )
b p ( = (t) sin(pt)dt
sup f (x) = sup f (y).

x y=
= (t) sin(pt)dt
1.3.3

1.3.3.1 Pour tout x K , f (x) = f (x) + (x + x + ... + x n ), donc = (t) sin(pt)dt = b p
f apparat comme somme de deux fonctions de C (U) C(K), alors
Puisque est impaire, a p () = pour tout p N.
f C (U) C(K) et x U ,
f (x) = f (x) + n = n. 2.3 Puisque est C sur R, alors d'aprs le thorme de Dirichlet ( thorme de
1.3.3.2 Soit a K tel que f (a) = sup f (x) et comme f > , alors convergence normale), la srie b p () converge, donc la srie b p est
x p p
f (a) = sup f (x) = sup f (y) = + sup f (y) absolument convergente.
x y= y=

-
.
. Les cahiers de prpas N 1
.
CNC 2010, Maths I, MP 101 .

2.4 On a v p (x, t) b p , donc la srie v p est normalement convergente Autrement dit, la fonction f possde en tout point de R], +[ une drive
p partielle par rapport x et que


sur R [, +[. Par ailleurs, les application (x, t) z b p sin(px)e p t sont f

(x, t) = pb p cos(px)e p t .
x
continues sur R[, +[, donc la fonction (x, t) z v p (x, t) est continue p=

p= Par ailleurs, les applications (x, t) z pb p cos(px)e p t sont continues sur
sur R [, +[.
R], +[, et comme la srie pb p cos(px)e p t converge normalement sur
2.5 Soit p N , la fonction v p est produit de fonctions de classe C sur R , donc p

elle est de classe C


sur R et (x, t) R ,
f
tout R [a, +[, pour a > , alors est continue sur R], +[.

v p v p
x
= p b p sin(px)e p t + p b p sin(px)e p t = .
x t
2.8 Posons (t) = v p (x, t). Montrons que possde en tout point de ], +[
2.6 On a pour tout (x, t) R [a, +[ et pour tout k N, p=

p k v p (x, t) b p p k e p a et comme lim p k e p a = , alors il existe p N une drive et que t ], +[, (t) = p b p sin(px)e pt

p
k p a p=
tel que pour tout p p , on a p e et par consquent pour tout
est bien dnie sur ], +[.
p p , p v p (x, t) b p , donc la srie p k v p converge normalement sur
k
p u p t z v p (x, t) est de classe C sur ], +[ pour tout p et
R [a, +[.
up (t) = p b p sin(px)e p t .
v p
On a p k (x, t) = p k+ cos(px)e p t , donc le mme raisonnement se
x La srie up converge normalement sur [a, +[ pour tout a > .
v p p
fait pour montrer que la srie p k est normalement convergente sur
p x Donc est de classe C sur ], +[ et que
R [a, +[.
(t) = u p (t).

p=
2.7 Soit a > et t [a, +[. Posons (x) = v p (x, t). Montrons que possde
p=
Autrement dit, la fonction f possde en tout point de R], +[ une drive
partielle par rapport t et que
en tout point de R une drive et que x R, (x) = pb p cos(px)e pt f
p= (x, t) = p b p sin(px)e p t .
t p=
est bien dnie sur R.

u p x z v p (x, t) est de classe C sur R pour tout p et D'autre part, les applications (x, t) z p b p sin(px)e p t sont continues sur


u p (x) = pb p cos(px)e p t . R], +[, et comme la srie p b p sin(px)e p t converge normalement
p
f
D'aprs la question [.], la srie up converge normalement sur R. sur tout R [a, +[, pour a > , alors est continue sur R], +[.
p t
Conclusion : De ces points, on en dduit par un thorme de cours que est 2.9 Il sut de montrer que les drives partielles d'ordre 2 existent et qu'elles sont
de classe C sur R et que continues sur R], +[. D'aprs les questions [.] et [.] f est de classe


(x) =
u p (x). C sur R], +[, et on peut utiliser le mme raisonnement pour montrer
p=

-
.
102
. .
CNC 2010, Maths I, MP
.

Les cahiers de prpas N 1

que les drives partielles , ,


f
et
f f f
existent et qu'elles sont Comme dans la question [1.2] de la premire partie, g (x ) .
x t xt tx
continues sur R], +[, et que 3.2
3.2.1 f est une fonction continue sur r , qui est un compact de R ; donc f est


f borne et atteint ses bornes ; en particulier il existe (x , t ) r tel que
(x, t) = p sin(px)e p t
x p= F(x , t ) = sup F(x, t).
(x ,t) r
pour tout (x, t) de R], +[.
Ainsi (x, t) R], +[, 3.2.2 Si (x , t ) r , qui est ouvert et puisque F est C sur r , alors d'aprs la
condition ncessaire des extremums,
F F
f
(x, t)
f
(x, t) = p sin(px)e p t ( p sin(px)e p t ) =

(x , t ) = (x , t ) = .
x t x t
p= p= La fonction x z F(x, t ) est deux fois drivable sur ], [ et admet un
f
2.10 D'aprs ce qui prcde, f (x, t) z v p (x, t) vrie la condition maximum en x , donc (x , t ) ( la question [..] de cette partie ).
x
p=
(i) de (1). D'autre part, pour tout t [, R], f (, t) = f (, t) = ; 3.2.3 La fonction g x z F(x, r) = F(x, t ) est deux fois drivable sur ], [ et
donc la deuxime condition est aussi vrie, enn, pour tout x de [, ], F
admet un maximum en x , donc g (x ) = (x , t ) .
x
(x) = (x).
f (x, ) = b p sin(px) = De mme, la fonction t z F(x , t) est deux fois drivable sur ], r] et
p= admet un maximum en t = r , donc
En conclusion, la restriction de f est solution du problme (). F F
(x , t ) = (x , r) .
t t
III. Unicit de la solution f f f
3.2.4 Si (x , t ) r , alors (x , t ) (x , t ) = (x , t ) , mais ceci
x t x
3.1 Un rsultat utile
est absurde.
f f
g(t) g(b) Si (x , t ) r , alors (x , t ) (x , t ) , et ceci aussi est absurde.
3.1.1 Par dnition g (b) = lim et comme g(t) g(b) x t
tb
tb f f
Donc la condition > implique que (x , t ) r .
pour tout t ]a, b], alors g (b) .
x t
3.1.2 Il existe un intervalle ouvert I =]x , x + []a, b[ tel que
3.3
x I , g(x) g(x ), alors
g(x) g(x ) g(x) g(x ) 3.3.1 Puisque pour tout p N , r p R , alors la suite (z p ) p d'lments de
lim et lim R est borne, et d'aprs le thorme de Weirstrass, on peut extraire une
xx x x xx + x x
sous-suite (z (p) ) p qui converge dans R vers un lment z = (x , t ).
et comme g est drivable en x alors D'autre part, on a pour tout p N , r p r p+ , donc
sup F(x, t) sup F(x, t) et par consquent F(z p ) F(z p+ ), donc
(x ,t) p (x ,t) p+
g (x ) = g d (x ) = g g (x ) =
(F(z p )) p est croissante, il est de mme de la sous-suite (F(z (p))) p .
La formule de Taylor-Young l'ordre 2 s'crit sous la forme : On a aussi F est continue sur R et lim z (p) = z , donc F(z (p) ) p tend
h p
g(x + h) g(x ) = g (x ) + o(h ). vers F(z).

-
.
. Les cahiers de prpas N 1
.
CNC 2010, Maths I, MP 103 .

3.3.2 Soit (x, t) [, ] [, R[, alors il existe p N tel que (x, t) (p) et G = f f vrie l'quation
donc F F
=
F(x, t) sup F(x, t) = F(x (p) , t (p) ) x t
(x ,t) (p) sur R , et par la question [.], la fonction G est nulle sur R , donc f = f .
et par consquent F(x, t) lim F(x (p) , t (p) ) = F(x , t ) ; et comme F D'o l'unicit de la solution du problme ().
p
est continue sur R , alors, o
F(x, R) = lim F(x, t) F(x , t ).
tR
Donc l'ingalit prcdente est vraie pour tout (x, t) R .
3.4
3.4.1 Il est clair que F p C( R ) C ( R ) et que (x, t) R ,
F p F p F F
(x, t) (x, t) = (x, t) (x, t) + > .
x t x t p
3.4.2 D'aprs la question [.] de cette partie, pour chaque p N , il existe
(x p , t p ) p tel que
F p (x p , t p ) = sup F p (x, t).
(x ,t) R

3.4.3 (x p , t p ) p est une suite d'lments d'une partie borne, donc admet une
sous-suite convergente (x (p) , t (p) ) p vers (x , t ) R , l'galit prc-
dente s'crit enore sous la forme

x (p) R
.
.
F(x (p) , t (p) ) + = sup F(x, t) + .
(p) (x ,t) R (p)
et quand p tend vers l'inni on obtient l'galit :
F(x , t ) = sup F(x, t).
(x ,t) R

3.5 D'aprs ce prcde et par application du rsultat de la question [.] F et


F , il existe deux couples (x , t ) et (x , t ) de R tels que :
= F(x , t ) = sup F(x, t).
(x ,t) R

= F(x , t ) = sup (F)(x, t) = inf F(x, t).


(x ,t) R (x ,t) R

Donc la fonction F est identiquement nulle sur R .


3.6 D'aprs la deuxime partie, f est solution du problme (), donc la fonction

-
.
.

propos de lauteur de larticle


.Mustapha Saadaoui, est n dans la petite } Corrig de l'preuve ~
ville Zaouiat Cheikh (province Beni Mellal)
dans une famille originaire de de Goulmima
(Sahara oriental). Il a ni ses tudes secon-
daire dans la ville de Beni-Mellal pour en-
Mines 2011, Maths II, MP
suite rejoindre la facult des sciences Sem-
lalia Marrackech o il a obtenu une li-
cence en mathmatiques en 1991. Il intgre
immdiatement aprs un centre de prpara-
tion au concours de lagrgation, concours
quil passe et russi deux ans aprs. Il est depuis affect au lyce Ibn par Mustapha Saadaoui
Taimia Marrackech, o il a la charge dune classe MPSI. Lyce Ibn Taimia Marrakech
.
Monsieur Saadaoui est un travailleur acharne et possde son actif
.
plusieurs articles publis dans des revues mathmatiques (notamment I. Prliminaire
RMS).
j
1 ) + j + j = =.
j .

2 ) j et j sont des racines et comme A est coecients rels, alors j et j sont


aussi des racines, Ainsi A = (X j) (X + j) (X j) (X + j)
A tant scind racines simples, alors A est diagonalisable .
X = (x, y, z, t) ker (A jI ) si et seulement si y = jx, z = jy, t = jz, et x z = jt
et donc y = jx , z = j x = jx , t = x , par suite

ker(A jI ) = Vect {(, j, j, )}

A tant une matrice relle, on aura aussi

ker (A jI ) = Vect {(, j, j, )}

De mme ker (A + jI ) = Vect {(, j, j, )} et ker (A + jI ) = Vect {(, j, j, )}


j
j j
Ainsi avec U = j
j j
, on aura U AU =
j j j j j
j

-
.
. Les cahiers de prpas N 1
.
Mines 2011, Maths II, MP 105 .

3 ) Les solutions du systme X = AX sont de la forme : t si t>


Vrions que est de classe C . (t) = { et lim (t) =
si t < t

j j
D'aprs le thorme de prolongement est de classe C . De mme on applique le
jt j jt j jt jt
Xte
j
+ e
j
+ e
j
+ e
j

mme thorme pour .
h est la compos de fonctions de classe C , donc elle est C .


y 6 ) Soit l'application dnie par : (t) = [(x x ) t + x + x ]
() y
4 ) Si y est solution de y + y + y = , alors Y = est solution du systme On a R R est bijective et () = x et () = x et ([, ]) = [x , x ].
y
y Posons g (x) = h ( (x)) , g est de classe C sur R. Soit x R, alors :
Y = AY , donc de la forme prcdente, en particulier il existe (, , , ) C tel Si x ]x , x [, alors (x) ], [, donc g ( (x)) > .
que :
Si x ]x , x [, alors (x) ], [, donc g ( (x)) = .
t C, y (t) = e jt + e jt + e jt + e jt

Rciproquement : toute fonction de le forme ci-dessus est solution.


7 ) Soit F C ([, ] , R) telle que F (x) u (x) dx = pour tout u E ,

.

Notons la fonction dnie par t e . On a ( j , j , j , j ) est libre.
t
Supposons que F est non nulle, alors il existe x ], [ tel que F (x )
Alors y est valeurs relles si et seulement si y = y ou encore = et = .
Puis par continuit, il existe x ], [ tel que : x [x , x ] , F (x) > .
Donc les solutios valeurs relles sont de la forme y (t) = e jt + e jt + e jt + e jt
Soit g l'application dnie la question prcdente , g E ,
alors
Ce qui peut s'crire sous la forme :

x
y (t) = Ae cos ( t) + Be sin (
t t t t
t) + Ce cos ( t) + De sin ( t) F (x) g (x) dx = F (x) g (x) dx > car F (x) g (x) > sur [x , x ] .
x

O A, B, C et D sont des rels. Ce qui est absurde, donc F = .


Notons la fonction dnie par t e t . On a ( j , j , j , j ) est libre ,
donc III. Une condition ncessaire dEuler-Lagrange
8 ) A l'aide de la formule de Taylor pour les polynmes, si deg P = N , alors :
Comme les fonction les fonctions
N
P (i) (x ) i
P (x + h) = h
II. Un lemme de du Bois Reymond k= i!

t si t Par application de la formule de Taylor pour les polynmes, si N = max (deg P, deg Q)
5 ) Posons (t) = { et k (t) = t . On a alors h (t) = k
si t

-
.
106
. .
Mines 2011, Maths II, MP
.

Les cahiers de prpas N 1

() y = . Les solutions ce cette quation sont les fonctions anes y x ax + b



J( f + tu)= P( f (x) + tu(x))dx + Q( f (x) + t u(x))dx

N P (k) ( f (x)) k N Q (k) ( f (x)) y E ,

si et seulement si a = et b = , donc f (x) = x .
= t (u(x)) k dx +
t k (u (x)) k dx
k= k! k= k!
tk
N 11 ) Pour tout f E , on a : f () = et f () = , donc,
(k) (k)
[P ( f (x))(u(x)) + Q ( f (x))(u (x)) ]dx
k k
=
k= k! / / /

N
= f () f () = f (t)dt ( ( f (t)) dt) ( dt) = ( ( f (t)) dt) = J( f )

Donc J ( f + t u) = a k t k o
k= Donc J ( f ) = J ( f ) pour tout f E .

tk
(k) k (k) k Deuxime exemple : E = E ,

et J = J o J ( f ) = [( f (t)) + ( f (t)) ] dt

ak = [P ( f (x)) (u (x)) + Q ( f (x)) (u (x)) ] dx
k!
12 ) Dans cet exemple P = et Q (x) = x + x l'quation direntielle () s'crit
En particulier a = [P ( f (x)) u (x) + Q ( f (x)) u (x)] dx . alors :

9 ) Si J ( f ) J ( f ) pour tout f E . On a pour tout t R, f + tu E ()


d
(y + (y ) ) =

dx
Donc q (t) = J ( f + tu) J ( f ) pour tout t R
Si f E est une solution de l'quation direntielle (), alors f (x)+ ( f (x)) = C

La fonction t q (t) est drivable puisque polynmiale et prsente un minimum
en constante
Donc q () = c'est--dire a = . D'autre part on a f () = et f () = d'aprs Rolle, il existe [, ] telle que :
D'autre part, l'aide d'une intgration par parties, on a f () =

Par suite C = , donc f (x) ( + ( f (x))) = ce qui donne que f (x) {, }



Q ( f (x)) u (x) dx = [u (x) Q ( f
(x))]
f (x) Q ( f (x)) u (x) dx


Et comme f est continue, donc f est constante gale f () = par suite f est
= car u()=u()=
constante
gale f () = .
Donc a = [P ( f (x)) f (x) Q ( f (x))] u (x) dx = Pour tout u E .

Comme la fonction x P ( f (x)) f (x) Q ( f (x)) est continue, donc 13 ) Pour tout t R, la fonction x t f (x) est un lment de E , de plus
d'aprs la question 7. on a : P ( f (x)) f (x) Q ( f (x)) = , c'est--dire
que :P ( f (x)) =
d
[Q ( f (x))] .
t t
J (t f (x)) = t (x x ) dx + t (x x ) dx = ( )
dx


Premier exemple : E =
E , et J = J o J ( f ) = ( f (t)) dt change de signe donc pas d'extremum .

10 ) On applique ce qui prcde avec P (x) = et Q (x) = x .

-
.
. Les cahiers de prpas N 1
.
Mines 2011, Maths II, MP 107 .

IV. Un exemple avec drive seconde t
La fonction t e cos (
t + ) est un lment de L .


14 ) On a f f ( f + f ), f et f tant intgrable, donc f f est aussi

t
Reste voir t e cos ( t + ). l'aide d'un changement de variable on peut

intgrable .
se ramener
Supposons que lim f (x) f (x) = +, alors il existe A > tel que : t
x+
la fonction t e cos (t) . Or
x A , f (x) f (x)

Puis par intgration, on a ( f (x) ( f (x)) ) x A pour tout x A
X t
sin (X) X X
X

Donc f n'est pas intgrable, ce qui est absurde . e cos (t) dt = e + e + cos (X) e

x x
15 ) On a ( f (t)) dt = [ f (t) f (t)] f (t) f (t) dt
x n

n t

x x Donc e cos (t) dt = e + lorsque n +

Donc f (x) f (x) = ( f (t)) dt + f () f () + f (t) f (t) dt

Donc la fonction n'est pas intgrable .
Supposons que f n'est pas intgrable, comme elle est postive, alors Par suite y E si et seulement si = c'est--dire si y Vect(e , e )
x
( f (t)) dt = +

lim
x+
x 17 ) D'aprs ce qui prcde les lments de F appartenant L sont les lments
f f tant intgrable, donc lim f (t) f (t) dt est nie, donc lim f (x) f (x) = + du Vect(e , e )
x+ x+
absurde. qui est gal l'ensemble des solutions de y + y + y = .
( f ) tant intgrable donc

Pour f Vect(e , e ) il existe (, ) R tel que : f = e + e . On a alors :
+ +
lim f (x) f (x) = ( f (t)) dt + f () f () +

f (t) f (t) dt = L R
x+ ( + + ) = ( + )
J ( f ) = J (e + e ) =

Supposons que L est non nulle, alors f (x) f (x) L puis l'aide des relations de
+ De plus J ( f ) = = f = (e e ) = .
comparaisons
18 ) Il sut d'utiliser a b + c = [a + b + c] ab ac bc b

X
f (t) f (t) dt Lx +
+ x+ On a f , f et f sont des lments de L ,donc les fonctions f f , f f " , f f " sont
intgrables
Ce qui donne que ( f (x)) Lx et absurde puisque f est intgrable sur R+ .
par suite les fonctions f ( f ) + ( f ) et ( f + f + f ) sont intgrables .
+

L'galit prcedente, donne que ( f (A) + f (A)) admet une limite nie L .

16 ) Les solutions de (E) valeurs relles peuvent s'crire sous la forme :
Et comme ( f + f ) est intgrable, donc lim ( f (A) + f (A)) = .

A+

y (t) = e cos (
t t
t + ) + e cos ( t + ) Par passage la limite, on a alors

-
.
.
108
.
Mines 2011, Maths II, MP
.

Les cahiers de prpas N 1

+ Or les fonctions minimisant J sont de la forme , donc il existe R tel que


J (f) = ( f (x) + f (x) + f (x)) dx + ( f () + f ())

x B
f = c'est --dire f (x) = (x) donc f (x) = ( ) o = .
C

19 ) D'aprs l'galit prcdente J ( f ) est minimale lorsque f (x)+ f (x)+ f (x) = o


et f () + f () =
C'est dire f = e + e et f () + f () = , ce qui donne la condition de 17 ) .

V. Application : Une ingalit de Hardy et Littele-


wood
20 ) f E , donc pour tout > , f E et J ( f ) .
+
f (x) ( f (x)) + ( f (x)) dx , utilisons le change-

On a J ( f ) =

ment t = x , on a :
+ + + +
( f (x)) dx = ( f (t)) dt

( f (x)) dx = ( f (t)) dt ;

+ +
( f (x)) dx = ( f (t)) dt .