Jérôme Von Buhren http://vonbuhren.free.

fr

Équation fonctionnelle

Introduction
Dans ce problème, on souhaite déterminer les fonctions f : ]0, +∞[ → R vérifiant les relations :

1
lim f (x) = 0 et ∀x ∈ ]0, +∞[, f (x + 1) + f (x) = . (P)
x→+∞ x2

I. Existence et unicité de la solution du problème (P)

Dans cette partie, on démontre que le problème (P) admet une unique solution et on détermine une
expression de celle-ci sous la forme d’une série de fonctions.

Existence d’une solution

1. Soit x ∈ ]0, +∞[.
µ ¶
1
a) Montrer que la suite est décroissante.
(x + k)2 k∈N
¯ ¯
X (−1)k ¯ +∞
¯ X (−1) ¯
k ¯
1
b) En déduire que la série 2
converge et que l’on a ¯ 2
¯⩽ 2.
k ⩾0 (x + k)
¯k=0 (x + k) ¯ x

Dans tout le reste de ce problème, on note

+∞ (−1)k
ϕ(x) =
X
∀x ∈ ]0, +∞[, 2
.
k=0 (x + k)

1
2. Montrer que pour tout x ∈ ]0, +∞[, on a ϕ(x + 1) + ϕ(x) = .
x2
3. Montrer que la fonction ϕ est une solution de (P).

Unicité de la solution
4. Montrer que si f : ]0, +∞[ → R est une solution de (P), alors pour tout n ∈ N, on a

n (−1)k
f (x) = (−1)n+1 f (x + n + 1) +
X
∀x ∈ ]0, +∞[, 2
.
k=0 (x + k)

5. En déduire que la fonction ϕ est l’unique solution de (P).

1/2
Jérôme Von Buhren http://vonbuhren.free.fr

II. Expression intégrale de la solution du problème (P)

Dans cette partie, on détermine une expression de ϕ sous la forme d’une intégrale.

1. Soit α ∈ ]0, +∞[.

a) Déterminer une primitive de la fonction t 7→ t α−1 ln(t ) sur ]0, +∞[.
b) En déduire que la fonction t 7→ t α−1 ln(t ) est intégrable sur ]0, 1] et que l’on a
Z 1 1
t α−1 ln(t )dt = − .
0 α2

2. On considère un élément x ∈ ]0, +∞[.

a) Justifier que pour tout t ∈ ]0, 1], on a

t x−1 ln(t ) +∞
(−1)k t x+k−1 ln(t ).
X
=
1+t k=0

t x−1 ln(t )
b) En déduire que la fonction t 7→ est intégrable sur ]0, 1] et que :
1+t
Z 1 x−1
t ln(t )
ϕ(x) = − dt .
0 1+t

3. a) Pour tout a > 0, montrer que la fonction ϕ est continue sur [a, +∞[. En déduire que ϕ est
continue sur ]0, +∞[.
b) En utilisant que ϕ est une solution du problème (P), en déduire un équivalent simple de ϕ au
voisinage de 0+ .

4. a) Montrer que la fonction ϕ est décroissante sur ]0, +∞[.

b) En utilisant la question précédente avec la relation (P), montrer que

1 1
∀x ∈ ]1, +∞[, 2
⩽ 2ϕ(x) ⩽ .
x (x − 1)2

En déduire un équivalent de ϕ en +∞.

Fin

2/2