Probleme Enonce

Equations fonctionnelles

Premiere partie
On se propose de determiner les applications continues f : R R, qui verifient :

(x, y) R2 , f (x + y) + f (x y) = 2f (x)f (y) (1)

1. Determiner les solutions constantes de (1).

2. On suppose que f est une solution non constante de (1).
Soit F la primitive de f qui sannule a lorigine.
(a) Montrer que pour tous x, y de R, on a : F (x + y) F (x y) = 2f (x)F (y).
x R, f 00 (x) = f 00 (0)f (x)


(b) Prouver que f est de classe C sur R et que :
f (0) = 1, f 0 (0) = 0
3. Determiner toutes les solutions continues de (1).

Deuxieme partie
On se propose de determiner les applications continues f, g : R R, qui verifient :

(x, y) R2 , f (x y) = f (x)f (y) + g(x)g(y) (2)

1. Montrer que pour tout couple solution (f, g) de (2), lapplication f est paire.
2. Soit (f, g) un couple solution de (2). On suppose que f nest pas constante.
(a) Montrer que pour tous x, y de R, on a : g(x)g(y) = g(x)g(y).
Montrer que g nest pas paire, et en deduire que g est impaire.
(b) Calculer f (0), ainsi que f 2 (x) + g 2 (x) pour tout x de R.
(c) Montrer que f est solution de (1).

3. Trouver tous les couples (f, g) solutions de (2).

Troisieme partie
On se propose de determiner les applications continues f, g : R R, qui verifient :

(x, y) R2 , f (x + y) + f (x y) = 2f (x)g(y) (3)

1. Soit (f, g) un couple solution de (3). On suppose que f, g ne sont pas identiquement nulles.
On note F, G les primitives de f, g qui sannulent en 0.
(a) Montrer que pour tous x, y de R, on a F (x + y) F (x y) = 2f (x)G(y).
(b) En deduire que f et g sont de classe C sur R.
(c) Prouver que lapplication g verifie la relation (1).
(d) Montrer que pour tous x, y de R, on a : f 00 (x)g(y) = f (x)g 00 (y).

2. Determiner tous les couples solutions de lequation (3).

Mathematiques en MPSI mathprepa.fr Page 1

Jean-Michel Ferrard
Probleme Corrige

Corrige du probleme
Premiere partie
1. La fonction constante f : x 7 a est solution de (1) si et seulement si 2a = 2a2 , cest-a-dire si et
seulement si a est egal a 0 ou a 1.
Les solutions constantes de (1) sont donc les applications x 7 0 et x 7 1.
2. (a) Avec x fixe dans R, la relation (1) secrit : t R, f (x + t) + f (x t) = 2f (x)f (t).
En integrant de t = 0 et t = y (ou y est un reel donne) on obtient :
Z y Z y Z y
f (x + t) dt + f (x t) dt = 2f (x) f (t) dt = 2f (x)F (y)
0 0 0
Z x+y Z xy
Autrement dit : (x, y) R2 , f (u) du f (u) du = 2f (x)F (y),
x x
Cette egalite secrit :
(x, y) R2 , F (x + y) F (x) F (x y) + F (x) = 2f (x)F (y).
Cest-a-dire : (x, y) R2 , F (x + y) F (x y) = 2f (x)F (y).

(b) Si on fait x = y = 0 dans (1) on trouve 2f (0) = 2f (0)2 donc f (0) = 0 ou f (0) = 1.
Si on avait f (0) = 0, alors il en resulterait, en posant y = 0 dans legalite (1) :
x R, 2f (x) = 2f (x)f (0) = 0 et f serait identiquement nulle.
On en deduit que f (0) est necessairement egal a 1.

Lapplication F nest pas constante (sinon f = F 0 serait identiquement nulle.)

Il existe donc x0 dans R tel que F (x0 ) 6= 0.
F (x + x0 ) F (x x0 )
Dapres ce qui precede on peut ecrire : x R, f (x) = .
2F (x0 )
Tout dabord, on sait que f est continue (de classe C 0 .)
Supposons que f soit de classe C n , avec n dans N.
Alors F (primitive de f ) est de classe C n+1 , et la relation precedente montre que lapplication
f est de classe C n+1 .
Par recurrence, cela prouve que f est de classe C .

On derive legalite (1) par rapport a y, en considerant x comme une constante.

On obtient : (x, y) R2 , f 0 (x + y) f 0 (x y) = 2f (x)f 0 (y).
Si on pose x = y = 0, on obtient : 0 = 2f (0)f 0 (0) donc f 0 (0) = 0 car f (0) = 1.

On derive (1) deux fois par rapport a x, en considerant y comme une constante.
On obtient : (x, y) R2 , f 00 (x + y) + f 00 (x y) = 2f 00 (x)f (y).
On derive (1) deux fois par rapport a y, en considerant x comme une constante.
On obtient : (x, y) R2 , f 00 (x + y) + f 00 (x y) = 2f (x)f 00 (y).
On en deduit : (x, y) R2 , f 00 (x)f (y) = f (x)f 00 (y).
En particulier, en choisissant y = 0, on trouve : x R, f 00 (x) = f 00 (0)f (x).
x R, f 00 (x) = f 00 (0)f (x)


Conclusion : f est de classe C sur R et
f (0) = 1, f 0 (0) = 0

Mathematiques en MPSI mathprepa.fr Page 2

Jean-Michel Ferrard
Probleme Corrige

3. Considerons une solution f non constante de (1).

f (0) = 1

On sait que et que f 00 (x) = f 00 (0)f (x) pour tout x de R.
f 0 (0) = 0
a = f 0 (0) = 0

Si f 00 (0) est nul, cela implique f 00 0 donc f (x) ax + b, avec
b = f (0) = 1
On retombe sur la solution constante f : x 7 1 (ecartee ici.)

Si f 00 (0) > 0, posons f 00 (0) = 2 , avec > 0.

Lequation f 00 (x) f 00 (0)f (x) conduit a f (x) ch x + sh x.
Les conditions f (0) = 1, f 0 (0) = 0 imposent alors = 1 et = 0 donc f (x) ch x.
Inversement on a bien (x, y) R2 , ch (x + y) + ch (x y) = 2(ch x)(ch y).

Si f 00 (0) < 0, posons f 00 (0) = 2 , avec > 0.

Lequation f 00 (x) f 00 (0)f (x) conduit a f (x) cos x + sin x.
Les conditions f (0) = 1, f 0 (0) = 0 imposent alors = 1 et = 0 donc f (x) cos x.
Reciproquement, on a bien (x, y) R2 , cos (x + y) + cos (x y) = 2(cos x)(cos y).

Conclusion : lensemble des solutions continues de (1) est forme

de lensemble des applications x 7 ch x, avec R .
de lensemble des applications x 7 cos x, avec R .
des applications constantes x 7 0 et x 7 1.

Deuxieme partie
1. Soit (f, g) un couple solution de (2).
Avec x = t et y = 0, on trouve : t R, f (t) = f (t)f (0) + g(t)g(0).
Avec x = 0 et y = t, on trouve : t R, f (t) = f (0)f (t) + g(0)g(t).
On constate que f (t) = f (t) pour tout t de R : lapplication f est paire.
2. (a) En changeant y en y dans (2), et en utilisant la parite de f , on trouve :
(x, y) R2 , f (x + y) = f (x)f (y) + g(x)g(y) = f (x)f (y) + g(x)g(y).
Par difference avec legalite (2), on en tire :
(x, y) R2 , f (x y) f (x + y) = g(x)(g(y) g(y)).
f netant pas constante, il existe (x0 , y0 ) dans R2 tel que f (x0 y0 ) 6= f (x0 + y0 ).
On en deduit g(x0 )(g(y0 ) g(y0 )) 6= 0 donc g(y0 ) g(y0 ) 6= 0.
Ainsi lapplication g nest pas paire.
En changeant x en x et y en y dans (2) on trouve (en utilisant la parite de f ) :
f (x + y) f (x)f (y) + g(x)g(y) donc f (x y) f (x)f (y) + g(x)g(y).
Par difference avec (2), on en tire : (x, y) R2 , g(x)g(y) = g(x)g(y).
Si on pose x = y, on trouve alors : x R, g(x)2 = g(x)2 .
Or il existe y0 dans R tel que g(y0 ) 6= g(y0 ) (lapplication g nest pas paire.)
Pour ce reel, on trouve donc g(y0 ) = g(y0 ) (et ces reels sont non nuls.)
Ainsi, pour tout x de R, on a : g(x)g(y0 ) = g(x)g(y0 ) = g(x)g(y0 ).
Puisque g(y0 ) 6= 0, on a bien x R, g(x) = g(x). Donc g est impaire.

Mathematiques en MPSI mathprepa.fr Page 3

Jean-Michel Ferrard
Probleme Corrige

(b) On pose y = 0 dans (2) et on trouve, en utilisant g(0) = 0 (car g est impaire) :
x R, f (x) = f (x)f (0) + g(x)g(0) = f (x)f (0).
Mais f nest pas constante, donc il existe x1 dans R tel que f (x1 ) 6= 0.
Legalite f (x1 ) = f (x1 )f (0) donne alors f (0) = 1.
Si on pose x = y dans (2), on en deduit :
x R, f (0) = f 2 (x) + g 2 (x) donc f 2 (x) + g 2 (x) = 1.
(c) En changeant y en y dans (2) et en utilisant la parite de f et limparite de g :
(x, y) R2 , f (x + y) = f (x)f (y) + g(x)g(y) = f (x)f (y) g(x)g(y).
En ajoutant avec legalite (2), on trouve :
(x, y) R2 , f (x + y) + f (x y) = 2f (x)f (y). Donc f est solution de (1).
3. Commencons par determiner tous les couples (f, g) solutions de (2) en supposant que f est une
application constante x 7 a (attention : les resultats de la question precedente ont ete obtenus en
supposant que f netait pas constante.)
Legalite (2) donne alors : (x, y) R, g(x)g(y) = f (x y) f (x)f (y) = a(1 a).
En particulier : x R, g 2 (x) = a(1 a).
Si a < 0 ou a > 1, il ny a aucune solution.
Si a {0, 1}, cest-a-dire si f 0 ou f 1, alors g 0.
Reciproquement, les couples (f 0, g 0) et (f 1, g 0) sont solutions de (2).

Si 0 < a < 1, alors pour tout x de R, on a g(x) = a a2 ou g(x) = a a2 .
Comme g est continue sur R, elle ne peut pas prendre tantot une de ces deux valeurs et tantot
lautre (sans prendre toutes les valeurs comprises entre elles).

Autrement dit, on a : g a a2 ou g a a2 .
(
(f a, g a a2 )
Reciproquement, les couples sont solutions de (2).
(f a, g a a2 )

On va maintenant supposer que f nest pas constante, ce qui permet dutiliser les resultats de la
question precedente. On sait notamment que f est solution de (1).
Premier cas : il existe > 0 tel que f (x) ch x.
Pour tout x de R, on a g 2 (x) = 1 f 2 (x), donc g 2 (x) < 0 si x 6= 0 ce qui est absurde.
Ce premier cas ne fournit donc aucune solution pour lequation (2).
Deuxieme cas : il existe > 0 tel que f (x) cos x.
Pour tout x de R, on a alors g 2 (x) = 1 f 2 (x) = sin2 x.

En particulier, avec x = 2n
, il existe {1, 1}, tel que g( 2n ) = .
Pour tous x, y dans R, on a :
g(x)g(y) = f (x y) f (x)f (y) = cos (x y) cos x cos y = sin x sin y.

En choisissant y = on trouve : x R, g(x) = sin x.
2n
,
(f cos x, g sin x)

Reciproquement, les couples sont solutions de (2).
(f cos x, g sin x)
On a donc obtenu tous les couples de solutions continues de lequation (2).

(f a, g a a2 ) (f cos x, g sin x)

(f 0, g 0)

Ce sont : , (f a, g a a2 ) et (f cos x, g sin x)
(f 1, g 0)
avec 0 < a < 1 avec > 0

Mathematiques en MPSI mathprepa.fr Page 4

Jean-Michel Ferrard
Probleme Corrige

Troisieme partie
1. (a) Fixons x et y dans R.
Pour tout t de R, on a f (x + t) + f (x t) = 2f (x)g(t).
En integrant cette egalite entre t = 0 et t = y, on trouve :
Z y Z y Z y
f (x + t) dt + f (x t) dt = 2f (x) g(t) dt = 2f (x)G(y).
0 0 0
Z x+y Z xy
Ainsi : f (u) du f (u) du = 2f (x)G(y).
x x
Cette egalite secrit F (x + y) F (x y) = 2f (x)G(y), pour tous x, y de R.

(b) Lapplication G nest pas identiquement nulle (sinon g = G0 le serait.)

Il existe donc y0 dans R tel que G(y0 ) 6= 0.
F (x + y0 ) F (x y0 )
La question precedente donne : x R, f (x) = .
2G(y0 )
Tout dabord f est de classe C 0 (continue.)
Si f est de classe C n , alors F (qui est une primitive de f ) est de classe C n+1 , et legalite precedente
montre que f est de classe C n+1 .
Il en decoule par recurrence que f est de classe C .
On se donne x0 dans R tel que f (x0 ) 6= 0 (f nest pas identiquement nulle.)
f (x0 + y) + f (x0 y)
Legalite (3) donne alors : y R, g(y) = .
2f (x0 )
Puisque f est de classe C , il en decoule que g est de classe C .
f (x0 + y) + f (x0 y)
(c) Pour tout y de R, on sait que g(y) = , avec f (x0 ) 6= 0.
2f (x0 )
On en deduit, pour tous x, y de R :
f (x0 +x+y)+f (x0 xy) f (x0 +xy)+f (x0 x+y)
g(x + y) + g(x y) = +
2f (x0 ) 2f (x0 )
1  
= f (x0 +x+y)+f (x0 +xy) + f (x0 xy)+f (x0 x+y)
2f (x0 )
1  
= 2f (x0 + x)g(y) + 2f (x0 x)g(y) (dapres (3))
2f (x0 )
g(y)
= (f (x0 + x) + f (x0 x))
f (x0 )
g(y)
= (2f (x0 )g(x)) = 2g(x)g(y)
f (x0 )
On voit effectivement que g satisfait a legalite (1).
(d) On derive (3) deux fois par rapport a x, en considerant y comme une constante.
On obtient : (x, y) R2 , f 00 (x + y) + f 00 (x y) = 2f 00 (x)g(y).
On derive (3) deux fois par rapport a y, en considerant x comme une constante.
On obtient : (x, y) R2 , f 00 (x + y) + f 00 (x y) = 2f (x)g 00 (y).
On en deduit : (x, y) R2 , f 00 (x)g(y) = f (x)g 00 (y).

Mathematiques en MPSI mathprepa.fr Page 5

Jean-Michel Ferrard
Probleme Corrige

2. Si f est identiquement nulle sur R, toute application continue g : R R convient.

Si g 0 sur R, alors (3) equivaut a : (x, y) R2 , f (x + y) + f (x y) = 0.
Avec y = 0, on obtient f (x) = 0 pour tout x. Seule la fonction f 0 convient.
On peut donc supposer que f et g sont non identiquement nulles, et utiliser les resultats precedents.
En particulier g verifie legalite (1).
Il y a alors plusieurs cas possibles.

Si g 1, le resultat de (III.1.d) donne f 00 (x)g(y) f (x)g 00 (y) 0 donc f 00 0.

Lapplication f est donc de la forme : x 7 f (x) = x + .
Legalite (3) equivaut alors a : (x, y) R2 , f (x + y) + f (x y) = 2f (x).
Autrement dit : (x, y) R2 , (x + y) + + (x y) + = 2(x + ).
Cette egalite est verifiee pour tous reels et .

On suppose que g(x) cos x, avec > 0.

La question (III.1.d) donne (x, y) R2 , f 00 (x) cos y = 2 f (x) cos y.
En choisissant par exemple y = 0, on trouve : x R, f 00 (x) + 2 f (x) = 0.
Il existe donc , dans R tels que f (x) cos x + sin x.
Legalite (3) equivaut alors a, pour tous x, y reels :
cos (x + y) + sin (x + y) + cos (x y) + sin (x y) = 2( cos x + sin x) cos y.
On constate que cette egalite est verifiee pour tous , de R.

On suppose que g(x) ch x, avec > 0.

La question (III.1.d) donne (x, y) R2 , f 00 (x)ch y = 2 f (x)ch y.
En choisissant par exemple y = 0, on trouve : x R, f 00 (x) 2 f (x) = 0.
Il existe donc , dans R tels que f (x) ch x + sh x.
Legalite (3) equivaut alors a, pour tous x, y reels :
ch (x + y) + sh (x + y) + ch (x y) + sh (x y) = 2(ch x + sh x)ch y.
On constate que cette egalite est verifiee pour tous , de R.

On a donc obtenu tous les couples (f, g) de solutions continues de (3).

Ce sont les couples :

(f 0, g) (ici g est une application quelconque continue sur R.)

(f x + , g 1) (avec et deux reels quelconques.)

(f cos x + sin x, g cos x) (avec > 0.)

(f ch x + sh x, g ch x) (avec > 0.)

Mathematiques en MPSI mathprepa.fr Page 6

Jean-Michel Ferrard