Menu Close

Soient-a-0-1-et-b-R-Soit-f-une-application-de-R-dans-lui-me-me-de-classe-C-1-telle-que-pour-tout-re-el-x-f-f-x-ax-b-1-Montrer-que-pour-tout-re-el-x-f-ax-b-af-x-b-En-de-duire-




Question Number 147254 by Ar Brandon last updated on 19/Jul/21
Soient a∈]0, 1[ et b∈R. Soit f une application de R dans lui-me^� me, de classe C^1 , telle que pour tout re^� el  x, f(f(x))=ax+b.    1.  Montrer que pour tout re^� el x, f(ax+b)=af(x)+b. En de^� duire que pour tout re^� el x,    f ′(ax+b)=f ′(x).  2.  Soit (u_n )_(n∈N)  une suite re^� elle telle que pour tout n∈N, u_(n+1) =au_n +b. Montrer que u_n  est convergente    de limite l=(b/(1−a))  3.  Montrer que f ′ est constante. En de^� duire l′expression de f.  4.  Que faire si a∈]1,+∞[  ?
$$\left.\mathrm{Soient}\:\mathrm{a}\in\right]\mathrm{0},\:\mathrm{1}\left[\:\mathrm{et}\:\mathrm{b}\in\mathbb{R}.\:\mathrm{Soit}\:\mathrm{f}\:\mathrm{une}\:\mathrm{application}\:\mathrm{de}\:\mathbb{R}\:\mathrm{dans}\:\mathrm{lui}-\mathrm{m}\hat {\mathrm{e}me},\:\mathrm{de}\:\mathrm{classe}\:\mathrm{C}^{\mathrm{1}} ,\:\mathrm{telle}\:\mathrm{que}\:\mathrm{pour}\:\mathrm{tout}\:\mathrm{r}\acute {\mathrm{e}el}\right. \\ $$$$\mathrm{x},\:\mathrm{f}\left(\mathrm{f}\left(\mathrm{x}\right)\right)=\mathrm{ax}+\mathrm{b}. \\ $$$$ \\ $$$$\mathrm{1}.\:\:\mathrm{Montrer}\:\mathrm{que}\:\mathrm{pour}\:\mathrm{tout}\:\mathrm{r}\acute {\mathrm{e}el}\:\mathrm{x},\:\mathrm{f}\left(\mathrm{ax}+\mathrm{b}\right)=\mathrm{af}\left(\mathrm{x}\right)+\mathrm{b}.\:\mathrm{En}\:\mathrm{d}\acute {\mathrm{e}duire}\:\mathrm{que}\:\mathrm{pour}\:\mathrm{tout}\:\mathrm{r}\acute {\mathrm{e}el}\:\mathrm{x}, \\ $$$$\:\:\mathrm{f}\:'\left(\mathrm{ax}+\mathrm{b}\right)=\mathrm{f}\:'\left(\mathrm{x}\right). \\ $$$$\mathrm{2}.\:\:\mathrm{Soit}\:\left(\mathrm{u}_{\mathrm{n}} \right)_{\mathrm{n}\in\mathbb{N}} \:\mathrm{une}\:\mathrm{suite}\:\mathrm{r}\acute {\mathrm{e}elle}\:\mathrm{telle}\:\mathrm{que}\:\mathrm{pour}\:\mathrm{tout}\:\mathrm{n}\in\mathbb{N},\:\mathrm{u}_{\mathrm{n}+\mathrm{1}} =\mathrm{au}_{\mathrm{n}} +\mathrm{b}.\:\mathrm{Montrer}\:\mathrm{que}\:\mathrm{u}_{\mathrm{n}} \:\mathrm{est}\:\mathrm{convergente} \\ $$$$\:\:\mathrm{de}\:\mathrm{limite}\:{l}=\frac{\mathrm{b}}{\mathrm{1}−\mathrm{a}} \\ $$$$\mathrm{3}.\:\:\mathrm{Montrer}\:\mathrm{que}\:\mathrm{f}\:'\:\mathrm{est}\:\mathrm{constante}.\:\mathrm{En}\:\mathrm{d}\acute {\mathrm{e}duire}\:\mathrm{l}'\mathrm{expression}\:\mathrm{de}\:\mathrm{f}. \\ $$$$\left.\mathrm{4}.\:\:\mathrm{Que}\:\mathrm{faire}\:\mathrm{si}\:\mathrm{a}\in\right]\mathrm{1},+\infty\left[\:\:?\right. \\ $$
Answered by ArielVyny last updated on 19/Jul/21
  1)on a f(f(x))=ax+b   x∈R  soit x∈R tel que f(x)==→f(0)=b  on pose y∈R tel que f(y)=ax+b   donc il existe f^(−1)  tel que y=f^(−1) (ax+b)  on assimile alors l′application a un   endomorphisme isomorphe par consequent  f est lineaire   ∀x∈R (a,b)∈((]0;1[),R) f(ax+b)=f(ax)+f(b)  or f(0)=b→f(f(0))=f(b)=b  on voit avec la linearite de f que f(ax)=af(x)  conclusion f(ax+b)=af(x)+b    endeduisons que f′(ax+b)=f′(x)  sachant que f est de classe C^1  et de la queation  precedente on a :  f^(  ′) (ax+b)=af^(  ′) (ax+b)=af^′ (x)  conclusion f^′ (ax+b)=f^′ (x)    2)on a U_(n+1) =aU_n +b ∀n∈N  Mtq U_n  converge vers l=(b/(1−a))   posons f(ax+b)=U_(n+1)  et f(x)=U_n   si U_n converve vers l alors U_(n+1) converge aussi  donc on f(ax+b)∼_∞ f(x) or l′application est   un endomorphisme isomorphe alors  ax+b∼x→((ax+b)/x)→1→a+(b/x)→1 (x→+∞)  ce qui est logique car a est majore par 1  par consequent on a bien U_n  convergeante et  lim(U_(n+1) )=lim(aU_n +b)  en remplacant on a   l=al+b→l−al=b→l=(b/(1−a))  d′ou l=(b/(1−a)) et U_n  converge    3)montrons que f^(  ′)  est constante  on sait que f(f(x))=ax+b  en derivant chaque membre de l′egalite on a  f′(x)f′(f(x))=b cette egalite n′a dd sens que  si f′(x)f′(f(x))=cte car b=cte donc il n′est  clair que f′(x) depende de x donc le fait que  f′(x) soit constant est ineluctable dans ce cas  conclusion f′(x) =cte
$$ \\ $$$$\left.\mathrm{1}\right){on}\:{a}\:{f}\left({f}\left({x}\right)\right)={ax}+{b}\:\:\:{x}\in\mathbb{R} \\ $$$${soit}\:{x}\in\mathbb{R}\:{tel}\:{que}\:{f}\left({x}\right)==\rightarrow{f}\left(\mathrm{0}\right)={b} \\ $$$${on}\:{pose}\:{y}\in\mathbb{R}\:{tel}\:{que}\:{f}\left({y}\right)={ax}+{b}\: \\ $$$${donc}\:{il}\:{existe}\:{f}^{−\mathrm{1}} \:{tel}\:{que}\:{y}={f}^{−\mathrm{1}} \left({ax}+{b}\right) \\ $$$${on}\:{assimile}\:{alors}\:{l}'{application}\:{a}\:{un}\: \\ $$$${endomorphisme}\:{isomorphe}\:{par}\:{consequent} \\ $$$${f}\:{est}\:{lineaire}\: \\ $$$$\forall{x}\in\mathbb{R}\:\left({a},{b}\right)\in\left(\left(\right]\mathrm{0};\mathrm{1}\left[\right),\mathbb{R}\right)\:{f}\left({ax}+{b}\right)={f}\left({ax}\right)+{f}\left({b}\right) \\ $$$${or}\:{f}\left(\mathrm{0}\right)={b}\rightarrow{f}\left({f}\left(\mathrm{0}\right)\right)={f}\left({b}\right)={b} \\ $$$${on}\:{voit}\:{avec}\:{la}\:{linearite}\:{de}\:{f}\:{que}\:{f}\left({ax}\right)={af}\left({x}\right) \\ $$$${conclusion}\:{f}\left({ax}+{b}\right)={af}\left({x}\right)+{b} \\ $$$$ \\ $$$${endeduisons}\:{que}\:{f}'\left({ax}+{b}\right)={f}'\left({x}\right) \\ $$$${sachant}\:{que}\:{f}\:{est}\:{de}\:{classe}\:{C}^{\mathrm{1}} \:{et}\:{de}\:{la}\:{queation} \\ $$$${precedente}\:{on}\:{a}\:: \\ $$$${f}^{\:\:'} \left({ax}+{b}\right)={af}^{\:\:'} \left({ax}+{b}\right)={af}^{'} \left({x}\right) \\ $$$${conclusion}\:{f}^{'} \left({ax}+{b}\right)={f}^{'} \left({x}\right) \\ $$$$ \\ $$$$\left.\mathrm{2}\right){on}\:{a}\:{U}_{{n}+\mathrm{1}} ={aU}_{{n}} +{b}\:\forall{n}\in\mathbb{N} \\ $$$${Mtq}\:{U}_{{n}} \:{converge}\:{vers}\:{l}=\frac{{b}}{\mathrm{1}−{a}}\: \\ $$$${posons}\:{f}\left({ax}+{b}\right)={U}_{{n}+\mathrm{1}} \:{et}\:{f}\left({x}\right)={U}_{{n}} \\ $$$${si}\:{U}_{{n}} {converve}\:{vers}\:{l}\:{alors}\:{U}_{{n}+\mathrm{1}} {converge}\:{aussi} \\ $$$${donc}\:{on}\:{f}\left({ax}+{b}\right)\underset{\infty} {\sim}{f}\left({x}\right)\:{or}\:{l}'{application}\:{est}\: \\ $$$${un}\:{endomorphisme}\:{isomorphe}\:{alors} \\ $$$${ax}+{b}\sim{x}\rightarrow\frac{{ax}+{b}}{{x}}\rightarrow\mathrm{1}\rightarrow{a}+\frac{{b}}{{x}}\rightarrow\mathrm{1}\:\left({x}\rightarrow+\infty\right) \\ $$$${ce}\:{qui}\:{est}\:{logique}\:{car}\:{a}\:{est}\:{majore}\:{par}\:\mathrm{1} \\ $$$${par}\:{consequent}\:{on}\:{a}\:{bien}\:{U}_{{n}} \:{convergeante}\:{et} \\ $$$${lim}\left({U}_{{n}+\mathrm{1}} \right)={lim}\left({aU}_{{n}} +{b}\right) \\ $$$${en}\:{remplacant}\:{on}\:{a}\: \\ $$$${l}={al}+{b}\rightarrow{l}−{al}={b}\rightarrow{l}=\frac{{b}}{\mathrm{1}−{a}} \\ $$$${d}'{ou}\:{l}=\frac{{b}}{\mathrm{1}−{a}}\:{et}\:{U}_{{n}} \:{converge} \\ $$$$ \\ $$$$\left.\mathrm{3}\right){montrons}\:{que}\:{f}^{\:\:'} \:{est}\:{constante} \\ $$$${on}\:{sait}\:{que}\:{f}\left({f}\left({x}\right)\right)={ax}+{b} \\ $$$${en}\:{derivant}\:{chaque}\:{membre}\:{de}\:{l}'{egalite}\:{on}\:{a} \\ $$$${f}'\left({x}\right){f}'\left({f}\left({x}\right)\right)={b}\:{cette}\:{egalite}\:{n}'{a}\:{dd}\:{sens}\:{que} \\ $$$${si}\:{f}'\left({x}\right){f}'\left({f}\left({x}\right)\right)={cte}\:{car}\:{b}={cte}\:{donc}\:{il}\:{n}'{est} \\ $$$${clair}\:{que}\:{f}'\left({x}\right)\:{depende}\:{de}\:{x}\:{donc}\:{le}\:{fait}\:{que} \\ $$$${f}'\left({x}\right)\:{soit}\:{constant}\:{est}\:{ineluctable}\:{dans}\:{ce}\:{cas} \\ $$$${conclusion}\:{f}'\left({x}\right)\:={cte} \\ $$

Leave a Reply

Your email address will not be published. Required fields are marked *