ESIM1999
OptionPSI
Math1
Leproblèmeposedefaçonclassiqueun produitscalairesurlespolynôme,eten donneun exempled’application
aucalculapprochéd’uneintégrale.
Préliminaires:
Danstoutleproblèmeon utiliseradesintégralesdu typeR]a;b[Á(x)w(x)dx.Montronsunebonnefoispourtoute
quesiÁestcontinuesurlesegment[a;b]alorsÁwestintégrablesurl’ouvert]a;b[ :
²Áwestcontinuesur]a;b[commeproduitdefonctionscontinues
²ÁestcontinuesurlesegmentdoncÁyestbornée ;posonsM=sup]a;b[jÁj.Ona alorsjÁwj·Mw.Lafonctionswétant
intégrablesur]a;b[, lafonctionÁwyestintégrableparmajoration.
Onvéri…eque(f;g)estbien un produitscalaire:
²d’aprèslaremarqueprécédenteR]a;b[f(x)g(x)w(x)dxestbien dé…nie etc’estun réel:
²L’intégrale étantlinéairef!R]a;b[f(x)g(x)w(x)dxestlinéaire
(¸;¹)2R2;8(f1;f2)2C([a;b];R);Z]a;b[
(¸f1+¹f2)gwdx=¸Z]a;b[
f1gwdx+¹Z]a;b[
f2gwdx
²leproduitétantcommutatif(f;g)=(g;f)
²parsymétrie etlinéaritéà gauche,onabilinéarité.
²onauneformedé…niepositive:wétantstrictementpositive,f2westunefonction positive,doncl’intégrale estpositive.
Deplus sifestnon nullef2weststrictementpositive en un pointx0.Onsaitquel’intégralesurun segmentd’une
fonctioncontinue,positive,strictementpositive en un pointeststrictementpositive(Théorèmedepositivitéstricte).
DoncpourtoutsegmentJcontenantx0onaRJf2(x)w(x)dx>0etcommeR]a;b[f2(x)w(x)dx¸RJf2(x)w(x)dx>0on
aR]a;b[f2(x)w(x)dx>0sif6=0
²Deplus(fh;g)=(f;gh)=R]a;b[f(x)g(x)h(x)w(x)dx
PartieA:
1.Ens’inspirantdelaméthodedeSchmidt,oncalculepar récurrence lasuite(pn)n2N:
²p0=1estdonnéparlesujet, il estdoncunique.
²p1doitêtreun polynômenormalisédedegré1orthogonalauxconstantes:Onadoncp1=X+atelque(p1;p0)=0
soit(x;p0)+a(p0;p0)=0donca=¡(x;p0)
(p0;p0).p1estunique.
²supposonsqu’il existeuneuniquefamille(pk)n¡1
k=0véri…antpour1·k<n:
8
<
:
d±(pk)=k
pkestun polynômenomalisé
8q2R[k¡1][X],(pk;q)=0
commepnestnormalisépn(x)=xn+rn(x)avec rn2Rn¡1[X].Commeles(pk)n¡1
k=0sontéchelonnésen degré, il
formentunebasedeRn¡1[X].Donc:
sipnexisteil existedes(¸i)n¡1
i=0telsquepn=xn+Pn¡1
k=0¸kpk.
Parlinéaritéàdroitedu produitscalairel’égalité(pn;q)=0estvraiepourtoutpolynômeqdeRn¡1[X]siet
seulementsielle estvraiepourunebase.L’existence etl’unicitédepnestdonc équivalenteàl’existence età
l’unicitédunesolution du système:
8i2[[0;n¡1]];Ãxn+
n¡1
X
k=0
¸kpk;pi!=0
Orpouri6=k(pi;pk)=0(card±(pi)<koud±(pk)<i).Lesystème estdonc équivalentà:
8i2[[0;n¡1]];(xn;pi)+¸i(pi;pi)=0
d’où:
pn=xn¡Pn¡1
k=0
(xn;pk)
(pk;pk)pk
avec unicitédelasolution