MINESPONT96
I1)
a)Letableau devariationsdef(t)=t:e¡t,vuf0(t)=(1¡t):e¡t,estlesuivant:
t¡10 1 +1
f0+1+0¡
f¡1 % 0%1=e&0
Onen deduitladiscussionsuivant¸2R¤
+parbijectionmonotonesurchaqueintervalledemonotonie, lafonctionetant
continue:
²si¸>1=e:pasdesolutionµa l'equationf(t)=¸;
²si¸=1=e:une etuneseulesolution®=1(>¸);
²si0<¸<1=e:deuxsolutions(positives)®<1<¯.Pourplacer¸onetudief(¸)=¸e¡¸<¸,doncd'aprµesle
tableau devariation¸<®ou¸>¯.Or¸<1donc¸<®<1<¯.
b)
²Lafonctiong:t!¸:eteststrictementcroissante(¸>0)lasuite(un)estdoncmonotone.
²Deplus,commelafonctiongestcontinue, lasuitenepeutconvergerqueversun point¯xedeg,µa savoir®(ou¯si
¸·1=e).
²En, lesensdevariationsdelasuite(un)estdonneparlesignedeg(u0)¡u0=¸eu0¡u0=e¡u0(¸¡f(u0)) ,c'estle
m^emeque celuide¸¡f(u0),donneparletableau devariationsdu a).D'uladiscussion:
{Si¸>1=elasuite(un)estcroissante etil n'yapasdepoint¯xe: lasuitedivergente(vers+1).
{Si¸=1=e, lasuite(un)estcroissante,1estleseulpoint¯xe,et]¡1;1]estun intervallestableparg.Donc:
¤siu0>1lasuite eststrictementcroissantedivergente(vers+1);
¤siu0=1lasuite estconstante(etconvergente)devaleur1;
¤siu0<1lasuite estcroissante etmajoree,donc convergeverslaseulelimitepossible1.
{Si¸<1=eil yadeuxpoints¯xes®et¯pourg, lesintervalles]¡1;®];[®;¯];[¯;+1[sontstablesparg,(un)y
etantrespectivementcroissante,decroissante etcroissante.Donc:
¤-siu0>¯lasuite eststrictementcroissantedivergente(vers+1);
¤-siu0=¯ouu0=®lasuite estconstante(etconvergente)devaleur¯ou®respectivement;
¤-si®<u0<¯lasuite estdecroissante etminoree,donc convergeverslepoint¯xe®;
¤-siu0<®lasuite estcroissante etmajoree donc convergevers®.
c)Lasuitevnest toujours>0,onad'aprµeslaformuledeStirling
vn»¸n(l+n)n
¡n
e¢np2¼n=(¸e)nµ1+l
nn1
p2¼n
orln³¡1+l
n¢n´=nln¡1+l
n¢»l
vn»exp(l)
p2¼n(¸e)n<< (¸e)n
Comme¸e<1,onalasuiteµa termespositifs(vn)estnegligeabledevantletermegenerald'uneserieµa termepositif.
Pvnconverge
on peutaussiutiliserle critµereded'Alembertlaserieetantµa termes strictementpositifs:
vn+1
vn
=¸
n+1µ¸+n+1
¸+nn
(¸+n+1):
Or:µ¸+n+1
¸+nn
=expµnlnµ¸+n+1
¸+n¶¶=expnlnµ1+1
¸+n
etln³1+1
¸+n´»+11
¸+n.Onen deduitquelim³vn+1
vn´=¸e<1.Pard'Alembert,onadonclaconvergence delaserie
8¸2]0;1=e[
I-2)
a)Par recurrence surn2N,on demontreque"f(n)(x)=¸nf(x+n)etquef2Cn(R;C)":
²sin=0,f(x)=f(x)estcontinuesurR
²sin=1,festderivable etf0(x)=¸f(x+1)parde¯nition defetdonc commefestcontinuesurRf0estcontinue
surRdoncfestC1surR
²Sif(n)(x)=¸nf(x+n)etquef2Cn(R;C)alorscommefestderivablef(n)l'estet
f(n+1)(x)=³f(n)´0
(x)=¸nf0(x+n)=¸n(¸f(x+n+1)) =¸n+1f(x+n+1)
Onadonc8n,f2Cn(R;C)doncf2C1(R;C)etf(n)(x)=¸nf(x+n)
b)parl'absurde:sifestun polyn^omededegred6=0,alorsf0estdedegred¡1etf(x+1estdedegred:absurde
leseulpolyn^ome estlepolyn^omenul
c)f(x)=eaxestdansE(¸)sietseulementsiaeax=¸:ea(x+1),doncsietseulementsi¸=ae¡a.D'u,d'aprµes1)a):
-si¸>1=e,pasdefonctions;
-si¸=1=e,unefonction,µa savoirf(x)=ex;
-si¸<1=e,deuxfonctions,x!e®xetx!e¯x .
I-3)
a)PetQsontcontinuesderivablesparproprietesdespartiesreellesetimaginaires.Sif2E(¸),onapourtoutx
reel : P0(x)+iQ0(x)=¸P(x+1)+i¸Q(x+1)etparunicitedespartiesreellesetimaginaires.P0(x)=¸P(x+1)et
Q0(x)=¸Q(x+1) (ene®et¸estreel)
f2E(¸))(P2E(¸)etQ2E(¸))
b)sig(x)=f(x¡a)
g0(x)=(f(x¡a))0=f0(x¡a)=¸f(x¡a+1)=¸g(x+1)
c)L'application derivationestlineairedoncparderivation deE
f"(x)=¸f0(x+1)
f2E(¸))f02E(¸)
d)Soit,pourf2E(¸),FuneprimitivedefsurR.Edonne:f(x)=f0(x¡1)
¸car¸6=0.Sionintegre cetterelationon
obtient
9K2C,8x2R,F(x)=f(x¡1)
¸+K
FestalorsdansE(¸)sietseulementsi
F(x)=¸F0(x+1)
soitf(x¡1)
¸+K=¸f0(x)
¸
CequiequivautµaK=0.Onadoncuneuniquesolutionau problµeme
F(x)=f(x¡1)
¸
I-4)
a1)ParcompositiongestcontinuederivablesurR.Onag0(x)=¡f0(¡x)=¡f(¡x+1),enappliquantEau point¡x.
Onvoitdoncqueg0(x)=g(x+1)sietseulementsi8x2R¡f(¡x+1)=f(¡x¡1),soitencore commex¡>t=(1¡x)
estbijectivesurR
8t2R¡f(t)=f(t+2)
c'estµa diresietseulementsifveri¯eR.
a2)Lafonction nulleetantsolutionevidenteonvachercheruniquementlesfonctionsnon nulles:
Deplus, lesequationsRetEimpliquent,parderivation deE:
f00 (x)=¸2:f(x+2)=¡¸2:f(x):
Les solutionsde cetteequation di®erentiellesontdelaformef(x)=a:cos(¸x)+b:sin(¸x),avec aetbconstantescomplexes
, l'uneaumoinsetantnon nul.
maisce n'estpasuneequivalence il fautveri¯er:
Le calculestdirectestassez penible,maison peutremarquerqueRimpliquequef(t+4)=f(t)donc4estperiodedela
fonction.Or
f(x+4)=a:cos(¸x+4¸)+b:sin(¸x+4¸)
2
4¸estdoncuneperiodedelafonction non nullef:¸estun multiplede2¼donc¸=K¼
2,2N¤car¸>0.
Rdonnealors:
fveri¯eR,8x2Ra:cos(¸x+K¼)+b:sin(¸x+K¼)=¡a:cos(¸x)¡b:sin(¸x)
,8x2R(¡1)Kacos(¸x)+(¡1)Kasin(¸x)=¡a:cos(¸x)¡b:sin(¸x)
doncKestimpair:¸=¼=2+k:¼;k2N
Edonnealors:
fveri¯eE,8x2R,¡¸asin(¸x)+¸bcos(¸x)=¸acos(¸x+¸)+¸bsin(¸x+¸)
,8x2R,¡asin(¸x)+bcos(¸x)=acos(¸x+¸)+bsin(¸x+¸)
,8x2R,¡asin(¸x)+bcos(¸x)=a(¡1)k+1sin(¸x)+(¡1)kcos(¸x)
Donckestpair.
Conclusion,½si¸6=¼=2[2¼]alorsf=0estlaseulesolution
si¸=¼=2[2¼]alorsf2Vect(x¡>cos(¸x);x¡>sin(¸x))
b)Sifestunefonction paire,ouimpaire,deE(¸),alors, lafonctiongci-dessusestaussidansE(¸),doncfestune
fonction non nulleveri¯antEetR.donc¸=¼=2[2¼]
Reciproquement,si¸=¼=2[2¼],alorslafonctionx!cos¸xestdansE(¸)etpaire,etlafonctionx!sin¸xestdansE(
¸)etimpaire.
il existedes solutionspairesnon nulles ssi¸=¼=2[2¼]
il existedes solutionsimpairesnon nulles ssi¸=¼=2[2¼]
danslesdeuxcasl'ensembleobtenu estbienunsousespace vectorielcommeintersection dedeuxsousespacesvectoriels.
II.
a)OnvautiliserlarelationduI2:f(n)(x)=¸nf(x+n).
²EtudesurR+:sif[0;1]estnulle,f(n)
[0;1]estnulleaussi, doncfestnullesur[n;n+1] . Comme c'estvraipourtoutentier
n,festnullesurR+.
²EtudesurR¡:f0(x)=¸f(x+1)etf[0;1]=0impliquequef0estnullesur[¡1;0] , doncfyestconstante,doncnulle
puisquef(0)=0.
Etpar recurrence:sif[¡n;¡n+1]=0,f0estnullesur[¡(n+1);¡n] , doncfestconstantesurce segmentelleyest
nullepuisquef(¡n)=0.
Ainsi, par recurrence,festnullesurR¡,doncsurRtoutentier.
sif2E(¸)etf[0;1]=0 alorsf=0surR
b)sansproblµeme:f2C1(R;C)d'aprµesI2etlarestriction d'unefonctionC1estC1.Etparpderivations successives
deE,f(p+1)(x)=¸f(p)(x+1)estvraiepourtoutx2R,doncpourtoutx=k2Zf(p+1)(k)=¸f(p)(k+1)
c)
unicite:ellevientdea).Ene®et,sig0admetdeuxprolongementsf1etf2dansE(¸),alorsf1¡f2estunefonction deE(
¸)dontlarestrictionµa [0;1]estnulle,doncf1=f2surR.
existence :
²SurR+:On utilisef(n)(x)=¸nf(x+n)pourde¯nirfsur[n;n+1]:
On de¯nitfsur[n;n+1]parf(x+n)=1
¸ng(n)
0(x),puis surR+enfaisantvarierndansN.Ilyaun problµemede
de¯nitionenp2N¤ufestde¯nideuxfois:sur[p¡1;p]par1
¸p¡1g(p¡1)
0(1)etsur[p;p+1]1
¸pg(p)
0(0):orparP0,ona
1
¸pg(p)
0(0)=1
¸p¡1g(p¡1)
0(1)
Parcettede¯nition,festderivablesurtoutintervalle]n;n+1[ , avec desprolongementsdef0µa droite etµa gauchedes
pointsentiers:
f0
d(n)=1
¸ng(n+1)
0(0);f0
g(n)=1
¸n¡1g(n)
0(1):
ParP0,cesdeuxprolongements sontegaux,donc,d'aprµesletheorµemedu prolongementdeladerivee,festC1surR+.
Deplus, larelationf0(x)=¸:f(x+1)yestvraieparde¯nition.
8x¸0,f(x)=¸¡E(x)g0(x¡E(x))
3
²SurR¡:Commesur[¡1;0]onveutf0(x)=¸g0(x+1)etf(0)=g0(0),on de¯nitfsurcetintervalleparf(x)=Rx
0
¸g0(t+1)dt+g0(0),ce quiestbien unefonctioncontinue etderivablesur[¡1;0] .
Deplus,ona ainsi, parP0,f0
g(0)=¸g0(1)=g0
0(0)=f0
d(0)etdoncfestderivable en0.
Onraisonnealorspar recurrence surn¸1:
sifestde¯nie etveri¯eEsur[¡n;+1[on de¯nitfsur[¡(n+1);¡n]parf(x)=Rx
¡n¸f(t+1)dt+f(¡n).
Lµa encore,festbiencontinue etderivablesur[¡n¡1;¡n]
etcommef0
g(¡n)=¸f(¡n+1)=f0
d(¡n) (puisquefestsupposee veri¯erEen¡n),festderivable en¡n,doncsur
[¡n¡1;+1[
Doncfestde¯nie,continue,derivablesurR¡.
d)ÃestC1parcomposition detellesfonctions(denominateursnon nuls).Deplus,ona
Ã0(x)=1¡2x
x2(1¡x)2¢e
¡1
x(1¡x):
Sion poseX=1
x(1¡x),onaqueX!+1lorsquextend vers0+ou1¡,etonaparcomposition delimites:
Ã0(x)»X¡>+1§X2e¡X!0:
Partheorµemedu prolongementdeladerivee,onen deduitqueÃestC1sur[0;1] .
L'existence d'unefonctionf2E(¸)prolongeantÃestdonnee parlea),puisque,commetouteslesderiveesdeÃsontnulles
en0eten1,Ãveri¯e clairementP0.
Non,fn'estpasdesigne constant,puisqueÃ0n'estpasdesigne constantsur]0;1[doncfn'estpasdesigne constantsur
]1;2[ .
4
1 / 4 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !