En mathématiques , et plus précisément en analyse réelle , l'inégalité de Steffensen est une inégalité énoncée et démontrée en 1918 par le mathématicien danois Johan Frederik Steffensen [ 1] .
L'inégalité intégrale est la suivante :
si
f
:
[
a
,
b
]
⟶
R
{\displaystyle f:[a,b]\longrightarrow \mathbb {R} }
est une fonction intégrable positive, décroissante
et
g
:
[
a
,
b
]
⟶
[
0
,
1
]
{\displaystyle g:[a,b]\longrightarrow [0,1]}
est une autre fonction intégrable, alors
∫
b
−
k
b
f
(
x
)
d
x
⩽
∫
a
b
f
(
x
)
g
(
x
)
d
x
⩽
∫
a
a
+
k
f
(
x
)
d
x
,
{\displaystyle \int _{b-k}^{b}f(x)\,dx\leqslant \int _{a}^{b}f(x)g(x)\,dx\leqslant \int _{a}^{a+k}f(x)\,dx,}
où
k
=
∫
a
b
g
(
x
)
d
x
.
{\displaystyle k=\int _{a}^{b}g(x)\,dx.}
↑ Dragoslav S. Mitrinovic, « The steffensen inequality », Publications de la faculté d'électrotechnique de l'université de Belgrade, série mathématiques et physique , vol. 247, 1959 , p. 1-14 (lire en ligne )