III.A.3) Montrerquelasuite(un)n∈Nvérifielarelation derécurrence ∀n∈N∗,un+1 =un+2n.
Considéronsncerclestracés surlasphère.Traçonsun (n+1)-ième cerclesurlasphèrequirencontre
lesncerclesexistantsen délimitantun nombremaximaldezones.En notantplenombredepoints
d’intersection entrele(n+1)-ième cercle etlescerclesprécédemment tracés,on pourraremarquerque
lesarcsdu n+1-ième cercledélimitésparlesppointsd’intersections sontdesfrontièresentredeux
nouvelleszones.
III.B–Étudedes suites(tn)n∈Nvérifiant larelationderécurrence∀n∈N,tn+1 =tn+2n
SoitTl’endomorphismedeRNqui, àtoutesuite(tn)n∈N,associelasuite(tn+1)n∈N.SoitvlasuitedeNdans
Rdéfiniepar vn=2npourtoutn∈N.Soitenfin Φl’endomorphismedeRNdéfinipar Φ=T−Id,où Idest
l’application identitédeRN.
III.B.1) Montrerqu’unesuitet=(tn)vérifielarelation derécurrence ∀n∈N,tn+1 =tn+2nsietseulement
siΦ(t)=v.On noteSl’ensembledes suitesvérifiantcetterelation derécurrence.PréciserlastructuredeS.
III.B.2) Déterminerlenoyau deΦ.
III.B.3) Pourtoutentiernaturelp>0,soitEpl’espacevectorieldes suitesréellespolynomialesdedegré
inférieurou égal àp,c’est-à-direl’ensembledes suites(wn)pourlesquellesil existeun polynômeP,àcoefficients
réelsetdedegréinférieurou égal àp,vérifiantwn=P(n)pourtoutn∈N.
Quelle estladimension deEp?
Vérifierque,pourtoutentierp>0,Epeststablepar Φ.On noteΨplarestriction deΦàEp.
ComparerKer(Ψp)etKer(Φ).
Montrerque,pourtoutp>1,Im(Ψp)=Ep−1.
III.C–Conclusion
Déduiredesquestionsprécédentesqu’il existeun polynômePdedegré62telque,pourtoutentiern>1,on
aitun=P(n).
Écrirelesystèmed’équationsdonnantu1,u2etu3.En déduire,pourtoutn∈N,une expression deunen
fonction den.
IVÉquationsfonctionnelleslinéaires
Danscettepartie,on vad’abordexplorerl’effetdelacomposition desapplications surdesexemples simples
d’équationsfonctionnelles.Onse concentreraensuitesurl’équation fonctionnelle
y(x+1) −y(x)=1
(1+x)2(IV.1)
en utilisantdespropriétéslinéairesenanalyse.
IV.A–Résultats préliminaires
IV.A.1) SoitTl’ensembledesfonctionscontinuesyde]−1,+∞[dansRtellesque,pourtoutx∈]−1,+∞[,
on aity(x+1) −y(x)=1
(1+x)2.QuellestructureTpossède-t-il ?(Onvérifieraleshypothèsesdu théorème
invoqué).
IV.A.2) Quelles sontlesfonctionspériodiquesde]−1,+∞[dansRpossédantunelimite en+∞?
IV.B–Quelqueséquations fonctionnelleslinéairesélémentaires
IV.B.1) Onconsidèrel’équation fonctionnelle
f(x+1) −f(x)=1(IV.2)
Préciserl’ensembleKdesfonctionscontinuesdeRdansRvérifiantl’équation IV.2pourtoutréelx.
IV.B.2) On notelblafonction logarithmebinaire,définiepar lb(x)=ln(x)/ln(2).Soitfunesolution surR
del’équation fonctionnelleIV.2.Déterminerune équation fonctionnellevérifiée par g=f◦lbsur]0,+∞[,ainsi
qu’une équation fonctionnellevérifiée par h=f◦lb◦lnsur]1,+∞[.
Sifestenoutrede classeC1,déterminerune équation fonctionnellevérifiée par lafonction dérivée kdeh.
IV.B.3) Préciserl’ensembleL(resp.M,N)desfonctionscontinuesgde]0,+∞[dansR(resp.hde]1,+∞[
dansR,kde]1,+∞[dansR),tellesque,pourtoutx∈]0,+∞[(resp.]1,+∞[,]1,+∞[),on ait
g(2x)−g(x)=1(IV.3)
h!x2"−h(x)=1(IV.4)
Úx2
x
k=1(IV.5)