E.P.I.T.A.

Epreuve de mathmatiques (3 h)

L'objet de ce problme est d'obtenir quelques rsultats propos de l'quation fonctionnelle :

" x e , f HxL = f HgHxLL.
La fonction g, qui est continue de dans , est ici donne et on cherche l'ensemble HgL
des fonctions f continues de dans vrifiant la relation prcdente.
Dans la partie I, on traite le cas o gHxL = ga,b HxL = a x + b avec a, b rels. Dans la partie II,
on dmontre, sous certaines hypothses, que HgL peut se rduire aux fonctions constantes.
Enfin, dans la partie III, on traite les cas o gHxL = x2 et o gHxL = ex .

Partie I : Les fonctions continues vrifiant f HxL = f Ha x + bL

Pour tout couple Ha, bL de 2 distinct de (1, 0), on pose ici : " x e , ga,b HxL = a x + b.
On se propose alors de dterminer l'ensemble Iga,b M des fonctions continues de dans
vrifiant la relation " x e , f HxL = f Iga,b HxLM, c'est dire " x e , f HxL = f Ha x + bL.
1) Etude du cas particulier a = 1
a) On suppose que a = 1 et b 0.
- A quelle condition sur le rel w les fonctions c : x cosHw xL et s : x sinHw xL
appartiennent-elles l'ensemble Ig1,b M?
- Quelles sont les fonctions appartenant l'ensemble Ig1,b M?
b) On suppose que a = -1.
- Prciser quelles sont les fonctions appartenant l'ensemble Ig-1,0 M?
- Etablir l'quivalence des deux relations suivantes pour f continue de dans :
b
b
H1L " x e , f HxL = f H-x + bL
;
H2L " x e , f
+x = f
-x .
2
2
- En dduire les fonctions appartenant l'ensemble Ig-1,b M.

2) Etude du cas a < 1

On considre ici la suite de premier terme x0 = x, o x est un rel quelconque donn, et
dfinie ensuite par la relation de rcurrence xn+1 = a xn + b o le rel a vrifie a < 1.
a) Montrer que si la suite Hxn L converge vers un nombre rel L, alors on a L = b H1 - aL.
b) Pour tout entier naturel n, exprimer xn+1 - L en fonction de xn - L, puis en dduire :
- l'expression de xn en fonction de an , x et L.
- la convergence et la limite de la suite Hxn L.
c) Vrifier, si f appartient Iga,b M, qu'on a f Hxn+1 L = f Hxn L pour tout n e .
En dduire, si f e Iga,b M avec a < 1, qu'on a : " x e , f HxL = f HLL.
d) En dduire les fonctions appartenant l'ensemble Iga,b M lorsque a < 1.

3) Etude du cas a > 1

a) Etablir (si a 0) l'quivalence des deux relations suivantes pour f continue de dans :

3) Etude du cas a > 1

a) Etablir (si a 0) l'quivalence des deux relations suivantes pour f continue de dans :
x b
H1L " x e , f HxL = f Ha x + bL
;
H2L " x e , f HxL = f
- .
a a
b) En dduire les fonctions appartenant l'ensemble Iga,b M lorsque a > 1.

Partie II : Deux cas o les solutions de f HxL = f HgHxLL sont constantes

4) Etude des points fixes de la fonction g lorsque g K < 1
On suppose ici que la fonction g est de classe C 1 de dans et vrifie l'hypothse () :
il existe un nombre rel positif K < 1 tel que : " x e , g HxL K.
a) Etablir, l'aide de l'ingalit des accroissements finis, qu'on a pour tout rel x :
gH0L - K x gHxL gH0L + K x.
b) En dduire les limites de la fonction x gHxL - x quand x tend vers + et vers |.
c) Etudier enfin le sens de variation de la fonction x gHxL - x et en dduire qu'il existe
un unique point fixe de g, c'est dire un unique nombre rel L tel que gHLL = L.

5) Etude de l'ensemble HgL lorsque g K < 1

On garde les hypothses et les notations de la question prcdente (on a donc gHLL = L), et
on considre la suite de premier terme x0 = x, o x e , et dfinie ensuite par xn+1 = gHxn L.
a) Montrer, pour tout entier naturel n, l'ingalit xn+1 - L K xn - L.
En dduire que la suite Hxn L converge vers L.
b) Etablir, si f appartient HgL, qu'on a f Hxn+1 L = f Hxn L pour tout n e .
En dduire, si f e HgL, qu'on a : " x e , f HxL = f HLL.
c) En dduire les fonctions appartenant l'ensemble HgL.
6) Recherche de fonctions vrifiant l'hypothse ()
Pour obtenir des fonctions g de classe C 1 qui vrifient l'hypothse (), on recherche ici
les fonctions g : de classe C 1 dont la drive g est la restriction l'ensemble
d'une fonction S dveloppable en srie entire sur (de rayon de convergence R = +),
n
avec SHzL = +
n=0 an z pour z e , et borne sur par un rel K < 1 (" z e , SHzL K).
a) Pour tout entier naturel n et tout nombre rel positif r, montrer la convergence normale
de la srie de fonctions suivante lorsque sa variable relle t dcrit le segment [0, 2p] :
SIr e M e
it

b) Pour tout couple Hk,

nL e 2 ,

-i n t

= ak rk eHk-nL i t .
+

k=0
2 p Hk-nL i t
calculer 0 e

dt en distinguant le cas o k = n.

c) Montrer alors, en citant prcisment le thorme utilis et en vrifiant ses hypothses,

qu'on a pour tout entier naturel n et tout nombre rel positif r :

2p

e-i n t SIr ei t M dt = 2 p an rn .

d) En dduire, si S est borne par K < 1, qu'on a an

0

K
rn

pour tout n e et tout r > 0,

puis en faisant tendre r vers +, montrer que S est constante, gale a0 avec a0 < 1.
Montrer qu'on retrouve ainsi les fonctions ga,b avec a < 1 tudies la question I.2.

7) Etude de l'ensemble HgL lorsque g K > 1

On suppose ici que la fonction g est de classe C 1 de dans et vrifie l'hypothse ( ) :
il existe un nombre rel K > 1 tel que : " x e , g HxL K.
a) Montrer que g ne change pas de signe sur , et qu'on a ncessairement :

E.P.I.T.A. 2014, math (3h)

7) Etude de l'ensemble HgL lorsque g K > 1

On suppose ici que la fonction g est de classe C 1 de dans et vrifie l'hypothse ( ) :
il existe un nombre rel K > 1 tel que : " x e , g HxL K.
a) Montrer que g ne change pas de signe sur , et qu'on a ncessairement :
soit " x e , g HxL +K, et g est alors strictement croissante sur de | +.
soit " x e , g HxL -K, et g est alors strictement dcroissante sur de + |.
b) Montrer que g admet une fonction rciproque g-1 , dfinie et continue de dans .

Exprimer Ig-1 M HxL, et montrer que Ig-1 M HxL 1 pour x e .

c) Montrer que f e HgL si et seulement si f e Ig-1 M, et en dduire HgL l'aide de 5.
K

Partie III : Les fonctions continues vrifiant f HxL = f Ix2 M et f HxL = f He x L

8) Recherche des fonctions continues telles que f HxL = f Ix2 M

On suppose dans cette question que gHxL = x2 , de sorte que HgL dsigne donc l'ensemble
des fonctions continues de dans telles que : " x e , f HxL = f Ix2 M.
On considre la suite de premier terme x0 = x, o x est un rel strictement positif donn, et
dfinie ensuite par la relation de rcurrence xn+1 = xn .
n

a) Pour tout entier naturel n, vrifier que xn = x12 .

En dduire la convergence de la suite Hxn L, et prciser alors sa limite.
b) Etablir, si f appartient HgL, qu'on a f Hxn+1 L = f Hxn L pour tout n e .
c) En dduire les fonctions appartenant l'ensemble HgL lorsque gHxL = x2 .
Montrer qu'on a ainsi le mme rsultat qu'aux questions 5 et 7 sans que les hypothses
() ou H L ne soient vrifies : celles-ci sont donc suffisantes, mais pas ncessaires.

9) Recherche des fonctions continues telles que f HxL = f Hex L

Dans cette dernire partie, on cherche des fonctions non constantes f appartenant HexpL,
qui est l'ensemble des fonctions continues f : vrifiant : " x e , f HxL = f Hex L.
a) Si f e HexpL, vrifier que f H0L = f H1L.
b) Si f e HexpL et si x < 0, vrifier que f HxL = f Hex L o ex e @0, 1D.
c) On considre la suite Hxn Ln e dfinie par x0 = 0, puis xn+1 = exn pour tout n e .
Etablir que xn+1 xn + 1, puis montrer que Hxn L crot strictement vers +.
Etablir que la fonction logarithme induit une bijection de D xn+1 , xn+2 D sur D xn , xn+1 D.
Si f e HexpL, en dduire que : " x e D xn+1 , xn+2 D, f HxL = f HlnHxLL o lnHxL e D xn , xn+1 D.
d) Etant donne une fonction continue j : @0, 1D vrifiant la condition jH0L = jH1L,
montrer qu'il existe une et une seule fonction f e HexpL qui concide avec j sur [0, 1].
En dduire l'ensemble HexpL.