175
SUR LES FONCTIONS CONVEXES ET LES INI~GALITI~S ENTRE
LES VALEURS MOYENNES'
PAR
J. L. W. V. JENSEN
~30PENHAGUE.
I. Des fonctions convexes et concaves. Ddfinition. Exemples.
Dans sa e~l~bre A n a l y s e a l g ~ b r i q u e (note IX, pp. 4 5 7 - - 5 9 ) CAucHY
dgmontre que ,Aa moyenne gdom6trique entre plusieurs nombres est toujours
infdrieure h leur moyenne alg~brique,. La mdfhode employge par CAVCHY
est extrgmement dldgante, et elle h passd sans changement dans tous los
traitds d'analyse algdbrique. Elle eonsiste, comme on sait, en ceci, que,
de l'in6galit6
-~/~b
< 2' ( a + b ) ,
oh a et b sont des nombres positifs, on est conduit ~t l'in6galitd analogue
pour quatre hombres, savoir
~/.b~a < -' (a + b + c + d),
4
et aux suivantes, pour 8, I 6 , . . . , 2 m nombres, apr~s quoi ee nombre, par
un artifice, est r6duit ~ un hombre arbitraire inf6rieur, n. Cette m6thode
simple a gt6 mon point de d6part dans les recherches suivantes, qui conduisent, par une voie en r6alit6 tr6s simple et 616mentaire, ~ des r6sultats
generaux
et non sans imp ort~nee.
9 "
1 Oonf6rence faite ~ la Soci6t6 math6matique danoise le x7 janvier I9OS.
Acta av/rdhematica.
~0.
Imlarlm~ le 19 d~eem'are 1995.
176
J.L.W.V.
3onsen.
J'introduirai la d~finition suivante. Lorsqu'une fonction ~(x), r6elle,
finie et uniforme, de la variable r6elle x, satisfait dans un certain intervalle ~ l'infigali~
=--
'\
2
/
on dit que F(x) est une fonction convexe duns cet intervalle.
Si au contraire ~(x) satisfait ~ l'infigalit$
on dit qne ~,(x) est une fonction concave.
On suppose en outre que ces in6galitds ne se rdduisent pas eonstam.
ment, duns l'intervalle doan~, h l'figali~
dans ce cas la fonction ~,(x) est dire ,lin6aire, duns l'intervalle donn~.
Cette expression a Std adopf~e parceque l'6galit~ (3) est satisfaite par
(x) = a + bx.
I1 ressort de ces d6finitions que les fonetions ,linfiaires, forment une
transition de la elasse des fonctions convexes ~ celle des fonctions concaves,
et qu'elles doivent gtre consid~r~es comme des cus limites eommuns aux
deux classes.
Des ddfinitions donn6es il r$sulte imm6diatement q u e - - e ( ~ ) est concave, lorsque f ( x ) est convexe, et inversement. II serait par suite suffisant
duns ee qui suit de consid~rer seulement les fonctions convexes, puisque
l'on passe si aisdment d'nne classe h l'autre. Comme toutefois il peut v
avoir avantage ~ considdrer les deux classes de fonctions, les fonctions concaves seront aussi mentionn6es de temps en temps; mais on devra se
souvenir, mgme lorsque ce ne sera pus tonjours mppeld, qu'~ route proposition relative aux fonctions convexes correspond une proposition analogue
pour les fonctions concaves.
Comme l'objet principal de cette recherche est de presenter une s6rie
d'in6galit~s d'un carac~re ggn~ral, comprenant comme cas particuliers
presque routes les indgalif~s' jusqu'ici connues, nous allons ddvelopper
d'abord les tMor~mes n~cessaires propres h e e but, avant d'entreprendre
l'dtude plus approfondie des fonctions eonvexes eUes-m~mes.
Sur les fonctions convexes et les in~galit~s entre les valeurs moyennes.
177
I1 sera d'abord ngcessaire d'gnoncer quelques propositions clui rgsultent
immgdiatement des d~finitions, et de donner quelques exemples des classes
de fonctions d~finies.
Une somme de fonctions convexes ou ~lin~aires, est convexe, lorsque
l'une au moins des fonctions est convexe. Si ~(x) est convexe, et c u n e
constante positive, c~(x) est convexe. Ces propositions sont 6galement
vraies pour les fonctions concaves. Exemples:
I ~ x ~ es~ une fonetion convexe dans tout intervalle. Donc a - ~ b ~ c x
g
est convexe ou concave suivant que c est positif ou n~gatif.
2~ Ixl est ~lin~aire~ dans tout intervalle qui ne comprend pas le
z~ro, mais convexe dans le cas contraire.
Donc ~_~=c, Ix ~ x~[, oil l e s c
sont des constantes positives, est convexe ou ~lin6aire~ dans tout intervaUe,
convexe si l'intervalle eomprend une ou plusieurs des valeurs x~,x~, ...,x~,
9lin~aire,, si cela n'a pas lieu.
3 ~ L'indgalitg
p a ~ - ' ( a - - b) > a ~ -
b ~' :> .pbt'-~(a - - b),
qui a lieu pour a ~ b > o ,
et pour route valeur d e p supfirieure ~ ~, est
bien connue. ~ S i x et y sont positifs, et x > y, on ddduit de cette indgalit~
x~
/~: + y \ t'
~^[~ + y \ , - ' ~ - - y
on
Donc x ~, pour des valeurs de x positives et une valeur de ~ sup~rieure
I, est une fonction convexe. De la dernibre in6galitd il r6sulte, en changeant
x et y e n
I
I
- et - ,
y
\ 2zy ] ~
\z-i-y]
1 On peut facilement la d~duire de l'identit~
I
- -
r
-
-
=
I--@
I + a + a ' + . . . 4 - a
~-1
p a r u n e m 6 t h o d e tout ~ f a i t 616mentaire.
Acta mathemativa.
30.
I m p r h n 6 le 20 d6cembre 1905.
23
178
J. L. W . V. Jensen.
D o n e x P, lorsque p >
I, est une fonction convexe pour les valeurs posi1
1
t i r e s de x. Si au contruire on met duns (a) x p et y~' i~ la place de x e t
de y, on obtient
1
(fl)
:
> zp+
x p est donc une fonction concave, pour x positif, lorsque o < p < I.
(fl) il rdsulte
1
2
.
.
.
.
.
4
.
~--
<
1
<
1
;~P + yP
1--
De
1
_
I
!
1 "it-- - ' ~ '
iT)
qui est encore
o<p<I.
vraie
pour p ~ i.
Ainsi x -~ est aussi convexe lorsque
E n r~sum6, pour les valeum positives de x, on volt que x p est convexe lorsque p e s t
plus g r a n d que I, ou n6gatif, et concave lorsque
o < p < I. Si p ~ I, la fonction est ,,lin6aire>,, c o m m e on l'a vu plus hunt.
4~ I~/~1
est eonvexe pour a > o ,
b > o , concave pour a b < o ,
rant que le binbme sons le signe radical reste positif.
5 ~ e~ est uno fonction convcxe dans t o u t intervalle, tandis que
log x est concave dans l'intervalle (o, + oo).
5% Le calcul diff6rentiel nous f o u r n i t u n m o y e n g6ndral de d6cider
si des fonctions qui p e u v e n t 6tre diffSrentides s e n t convexes ou concaves.
Si en effet f(x) est r6elle et u n i f o r m e duns u n certain intervalle, et poss~de
une deuxi~me ddriv6e d6terminde, finie et continne, on aura, en vertu du
thdor~me de ROLLE
fix) + f(y)--
\ +2 Y]/ =
r"(x ,
x' dtant un u o m b r e intermddiaire entre x et y. Done f ( x ) sera convexe
rant clue f"(x) sera positive, concave rant clue f"(x) sera ndgative. La
signification g6om6trique d e ce fair est dvidente. E n effet, si une fonction convexe 9 ( x ) est susceptible d'une reprdsentation o'6olndtrique en coordonn6es reetangulaires l'6quation y - - - - c ( x ) ddfinit unc courbe, t o u r n a n t sa
convexit6 vers les y ndgatifs.
Sur les fonctions convexes et les inggalit~s entre les valeurs moyennes.
Remarque.
179
Les trois inggalit~s suivantes
r162
r
> Ir
~+y
~b(x) positif;
+ 0(y)~2r
r
x et y positifs;
> [r (~/~-~)]2, x et y positifs, ~b(x) positif;
peuvent gtre ramen6es h (I) par des substitutions simples, savoir, respectivement:
log r
---- f ( x ) ,
2.
r
-- ,~(x),
]ogr
-- ~(~).
GdnOralisation de l'indgalitd (i).
Supposons que f ( x ) soit une fonetion convexe quelconque dans un
intervalle donng, et que x~, x2, x~, ... soient tous situds dans cet intervalle ou ~ ses limites. De (I) il suit que
2 ~P~ - - - - ~
>
+.. § §
=
4
et ggn6ralement, m 6rant un entier positif
comme on le voit faeilement par l'induetion complete. Si alors n est un
entier positif, et si l'on choisit m tel que 2 ~ > n, on peut poser
Xn+ 1 ~
Xn+ s ~
...
~
Xf~
E t on trouve alors
(
)
OU
(4)
x~ < -
n ~=1
~(x,),
180
J. L. W. V. Jensen.
laquelle est une g6ndralisation de l'in6galif~ (I), qui sort h d6finir los
fonetSons eonvexes.
I1 es~ clair qu'une in6galitd semblable s'appfique aux fonetions coneaves: fl suffit de renverser le signe d'in6gaht6. Pour les fonetions ,lin~aires, l'inggafit~ devient simplement une ~gaht~.
Supposons maintenant que ~(x) es~ une fonction continue et convexe
dans un certain intervalle. Nous savons qu'il existe de telles fonetions
par les exemples prde~dents. Soit encore n ---- n I -4- n~ -b . . . A- n , , off tous
les n~ sont des entiers positifs. I1 rgsulte de (4), en ehoisissant les x d'une
mani~re eonvenable,
+ n.,~,(z,.)).
Soit a l , a~, . . . , a , des nombres positifs queleonques dont la somme
est a, et faisons croi~re les n indgfmiment, mais de telle sorte que
lim n, __ a ,
lira % =
a
7~
a~
tim n._l
a
a.-1
~
a
d'oh il rdsultera
lira n,,
a, + a , + . . .
+ a,,_~
a,,,
a
tt
a
ei~ par suite, ~(x) 6rant continue par hypoth~se,
<
= _
,
ce qui ddmontre le thdor~me suivan~:
Lorsque ~(x) est une fonction continue et convexe dens un intervaUe
donn~, on aura l'indgalit2
5)
f
,
(v~
a~y
t
~-,
av
f(z~)
\ ~_la~ i
~a,
oft xa, x 2 , . . , reprdscmtent des hombres tous situds dans l'intervaUe, et oft.
a~, a2, . . . sont des hombres positifs, mais d'ailleurs quelconques.
Sur les fonctions convexes et les in6galit6s entre les valeurs moyennes.
181
P o u r les fonctions concaves, le signe d'in6galitfi doit gtre renvers~e.
Cette proposition est d ' u n e telle g6n6ralitd, que peut-gtre routes l e s
in6galitds eonnues entre les valeurs m o y e n n e s y sont comprises c o m m e eas
tr~s partieuliers.
3.
Applications de la formule (5).
D a n s ce qui suig, les hombres reprdsent6s par a, b, e, ..., a, fl, r, ""
8eront supposgs positifs. Posons dans la formule ( 5 ) ~ ( x ) - - x p , P > I,
x>o,
donc ~(x) est convexo, comme on l'a vu. On aura
av
Z a~
ou
oh tous les x son~ positifs. L'indgalit6 (6) se r6duit ~ une simple identif~
p o u r x 1 -----x2 ~ . . . = x , .
Elle reste aussi valable p o u r p < o ,
tandis
qu'elle dolt ~tre renvers6e pour o < p <
i. P o u r a 1 ~ a~ ~ . . . ~ x on
retrouve u n r~sultat donn6 auparavant par M. 1:[. Smo~r. 1
by
E n y faisant p ~ 2 ' et en remplagant a~ par a~, x, par -a~ ' on trouve
(7)
\~--1 a~b~
--<--~=l a
b~,
formule due ~ CAucHY (loc. cir., p. 455), qui en donne d'ailleurs une d6monstration route diff~rente.
1
1
1
1
Posons dans (7) a~ x~ p o u r a~, a,2 x~ 2 pour b~, nous avons
n
V=I
n
ay
~v
v=~l a~ x~
=
y= l
1 t)ber einige Ungleichungen, Z e i t s c h r i f t fiir Math. u. P h y s i k , r 33, P. 57, 1888.
182
J. L. W . V. Jensen.
d'ofi suit que la moyenne h armonique entre plusieurs hombres positifs est
plus petite que leur moyenne algdbrique.
I1 est facile de g6n~raliser la formule (7).
1
Remplagons darts (6) .% par
(bye';
et extravons la racine ~iime des deux
\ a~/
membres, nous aurons
a~ ~b <
y=l
a,,
b,
xy= 1
=
,
,' =
qtti peut gtre 6crite sous la forme symdtrique
n
/
v=l a~
n
~ Xl
/
n
"~:r
)
:
ra, x~ ~tant des constantes positives avec la somme I.
l~levons les deux membres de l'indgalit~ ci-dessus h la puissance x' ~mr
/.-.tl
"~ l - - ) 6 '
oh x' est positif et < I, et nmltiplions par ~,~_ G ]
, nous trouvons
ee q ~ ddmontre l'in~galitd suivante
a~"'b~" c~__<
"
a,
b~
G
z~, x~, xa dfant des constantes positives avec la somme I.
de cette mani~re on d~montre par l'induction complete
e)
(8)
En continuant
(e)"
off les x sont des constantes positives avec la somme i.
1
.
1
y
Dans la formule (7), mettons a~ b~ h la place de a~, et a~ b~ g la
place de by, x et y dtant des hombres r6els quelconques, et posons, pour
simplifier l'dcriture, S ( ~ ) =
'
~
Y=I
a,b:.
On a
Sur les fonctions eoavexes et les in4galit4s entre les valeurs moyennes.
183
et l o g S ( x ) est par suite une fonetion convexe de x dans l'intervalle
(~c~,
+ oo). L a relation fondamentale (5) donne alors:
at log S(zt, )
~r
It = 1
OU
~n
IIX....\\":'
-
'..:,
\ ~ ,~,<'. , /
P o u r m----- 2, on a
(
s ( ~ , ~ + ~q)~
\
al + at
< (S(x,))o,(S(x,))..
/
E n y faisant x, ----xo, et a~ ~ - -
a~ - - - -
g~l - -
Xo ~
et s u p p o s a n t xi > x > xo,
Xl - -
~o J
o n trouve
x--xo
x,--_~x
s(x) < (S(x~))=.-~. (S(Xo)Y,-,.,
ou bien
(s(x)y,-~~ < (s(x,))=-~o(S(~o)) *,--.
D'ofi il suit
1
\~(i[)!
1
= \s(~o)/
'
OU elleor(~
l
l
1
De (IO) il rdsulte que la fonction
lorsque x erolt, x o restant invariable.
(8(x)'l'-*~
n'est jamais dgcroissante
\8(~o)/
Si dans (Io') on p e r m u t e x 1 e$ x0,
184
J.L.W.V.
Jensen.
1
il faut supposer x~ > x > x~, et l'on en conclut que [\ SS((zzo) )~/- ~ ,
eroissante lorsque x d~erolt.
n'est jamais
Ce qui d d m o n t r e la proposition suivante:
Les n o m b r e s a~, a 2, . . . , b~ , b 2, . . . 6gant positifs, x giant one variable r~elle queleonciue , et ~:o u n e eonstante r~elle queleonclue, la fonetion
1
n
Z a, b~" /
I
est m o n o t o n e et ne ddcrolt jamais lorsque l'on fair eroitre x, t a n t darts
rintervalle ( - - o 0 , xo) , que dans l'intervalle (x0, -4-cx~). On a d'ailleurs
4~(xo - - e ) < O(x o -4- r e ~tant positif.
L a derni~re partie de la proposition r~sulte de ee que
(s(x0))'< S(xo + s)S(zo - - ~)
e o m m e on l'a vu plus haut.
Cette proposition e o m p r e n d c o m m e cas partieuliers quelques propositions de SCHLSMILCa 1 d o n t voici l'6noncg"
Soit
on
n
hombres positifs
a, fl, 7 . ' . ' ~ ,
et
Sp --- a" + ~ + . . . + ~',
aura
~et
~-<
<...
/s,\'
>
>
.
.
.
.
D u reste BIENAYM~ ~ a ~nonc~ sans ddmonstration u n e proposition qui
est tr~s voisine de notre proposition ci-dessus. P l u s tard M. H . SIMo~ s
a publi~ une d~monstration d ' u n cas spdcial.
t)ber Mittelgr6ssen verschied~er Ordnungen, Z e i t s c h r i f t ftir M a t h e m a t i k und
P h y s i k , t. 3, P- 3oi, I858.
2 Soci6t6 philomatique de Paris, Extraits des proc~s-verbaux des s~ances pendan~
l'ann6e 1840 , p. 57, Paris ! 84 I.
s A l'endroit "cit6.
185
Sur les fonetions eonvexes et les in6galit6s entre les valeurs moyennes.
SCnLOM:LCrI ddtermine aussi les valeurs limites
1
lim( )
iim.
p=~
pa~
On trouve facilement pour notre fonction, que
1
~=o k S ( o ) /
=
( b ? ' bg~ . . . b:")"'+~'+'''+',
et
l
lira [S(z)~ ~ = b ,
~=| k s ( o ) ~
oh b est le plus grand des nombres b,, b2, . . . , b,.
Pour faire une autre application de la formule fondamentale (5),
posons ~ ( x ) = logx, ~(x) est concave et on aura parsuite
n
a~ b~
log 1---.
>
=
1
~ a~ log b~
'
n
1
on
1
a , b , + a,b~ + . . . + a , b , > (b~, b;~.
a1"%
~
~ a,~
=
""
b~.).,+.,s...u '
ce qui est unc forme gdndralisge, due ~ M. L. J. ROGERS 1, de la proposition classique sur la moyenne gdomdtrique.
On trouve une autre indgalitd d'un caract~re semblable en remarquant
que x log x est convexe pour x positive. La voici
(i2)
a , b , + a~b~ + . . .
+ a,b,
a I 4- % 4- . . . 4- a ,
1
< (b;, b ? . . .
b:-) ~247
.
Le cas spdcial oh a, = a 2 = . . . =
a, =. I a aussi dtd donnd par M. ROGERS.
Ces exemples doivent suffire pour montrer c0mbien la formule (5)
est f6conde.
1 3{essenger
Aeta mathemati~a.
of M a t h e m a t i c s ,
30.
t. I7, 1888.
I m p r i m ~ le 20 d~cembre 1905.
~4
186
J. L. W. V. Jensen:
I1 est ~vident que l'on peut, dans les formules prdeddentes, lorsque
E,a,, Y,a,x,, etc., sont des s6ries convergentes, faire eroltre n inddfiniment,
et l'on obtient ainsi une suite d'indgaht~s entre eertaines sdries infinies.
On peut employer autrement la formule (I I) dans la th~orie des sgries.
Soit ~b,~, 2 b ~ , . . . , ,~b,, des sdries convergentes tt termes positifs, et soit
a~ , a~, . . . , a= des constantes _positives dent la somme est I, la sdrie
E(,) b;{ b,~.., b,~
sera aussi convergente.
La ddmons~ration de cette proposition peut ~tre ddduite immddiatement de (I I) en y faisant les b d6pendants d'un indice nouveau u, posant
a~-{-a~-t-...
+ a,----i, et faisant la somme dans les deux membres
pour v---- I , 2, . . . .
4. Applications sur le calcul intdgral. I1 y a encore d'autres cas oh
l'on peut faire eroltre n ind6finiment. En se rappelant la ddfinition d'une
int~grale ddfinie comme limite des valeurs d'une somme, ce qui pr6c~de
nous donne route une suite d'indgalif~s int~ressantes entre des int6grales.
Supposons que a(x) et f ( x ) sent des fonetions intdgrables dans l'intervalle (o, I), et que a(x) est constamment positive. L'in6galit~ (5) donne
off ~ ( z ) est supposde continue et conveze dans l'intervaUe (g0, gl), g0 et g~
~tant les limites inf~rieure et sup~rieure de la fonetion f(x) darts l'intervalle (o, i). Or on salt que le produit de deux fonetions int~grables est
une fonetion int~grable, et qu'une fone~Jon int~grable, par substitution dans
une fonction continue, donne une fonction int~grable. On trouve alors, en
faisant cro~tre n inddfiniment
91
(5')
r
/
r
-
"I
1
~
0
I
Sur les fonctions eonvexes et les in6galit6s entre les v a l e u r s m o y e n n e s .
187
1
11 va sans dire qu'on peut remplacer les in~grales f
d~
cede formule
0
b
par des int~grales correspondantes f .
Par analogie avec les formules pr6c~dentes, je citerai les exemples
suivants d'application de la formule (5')
1
\p
/
1
\ p--1
1
,<:),o,,<,,,,>,;
0
b(x) i n ~ b l c et positif;
(i a(x)b(z)dx 7 < f(a(x))'dx f(b(x))'dx,
'
I
f (al(x))~'(a,(x))".'. (ai(x))'~d~c
0
/
1
XZi/
1
\xl
/
1
\zt
.
[es a(z) &ant positives et intggrables, et x~ -4- x2 + ... + z~ ~- I ;
I
1
of
log ~xid=
f~
a(a:)b(z)dz
~_~e
1
T-----.- - -facx)a~
~
f$ a(z)dz
|
f a c x ) log b(z)dz
I
fa(x)b(x)ds
--,,--
<e
~
De ces formules la deuxi~me et la quatri~me sent des g~n~ralisations
de formules connues. En posant dans la demi~re a ( x ) = i on retrouve
une formule de SCHL0mLCa qui est partieuli~rement intfiressante parcequ'elle
conduit ~ un r~sultat important dans la recherche des zgros d'une s6rie
de TAYLOR, comme je le montrerai ailleurs.
5. Etude plus apwofondie des fonctions convexes.
Apr~s avoir mont-r~ l'ufilitfi de la notion de ,fonction convexe~, nous
reviendrons h l'&ude de ees fonctions on g6n~ral. Dans le w 2, noum
avons mon~r~ que la formule (4) a lieu pour t~ute fonction convexe
188
J. L. W. V. Jonsen.
Si l'on y fair, n dtant ~ m ,
on trouve
r
+ .,3) =< ~ r
+ ,~) -4 " -"~T ~ (*)
011
(~)
~(z + n3) -- ~(*) > r
+ m3) - - r
Mettant ~ 3 'k la place de 3, et supposant x -4- nd et x ~ n3 eompris
darts l'inte~walle donng, on trouve
Oomme on a, par suite d e la ddfinition,
~,(x + m 3 ) - - ~, (x) > ~( .) - - ~ ( x - - too'),
les in~galitds (a) et (fl) peuvent s'dcrire
Supposons alors que ~(x) a une limite supdrieure finie g clans l'iutervalle donnd, on aura, en prenant m----I
d'ofi il rdsulte, si !'on fair ddcroltre 3 jusqu'~ o, en m6me temps que n
crolt inddfiniment, mais assez leutemenf pour que x _+ n3 ne sorte pas de
l'intervalle,
h m (~(x + 3 ) - ~(x)) -----o.
I~1- o
Ainsi est d~montrde la proposition suivante:
Sur les fonctions convexes et los in6galit6s entre les valeurs moyennes.
Une jbnction
intervalle,
convexe,
q u i a u n e limite s u p & i e u r e f i n i e d a m
189
un certain
est c o n t i n u e darts cet intervalle. ~
La formule (5) s'applique donc ~t route reaction semblable. On pourraiL
en ddduire ce qui suit, mais il est plus simple de partir de la formule (r)Si l'on met dans celle-ci 3 h la place de 3, on trouve, en supposan~
ddsormais 3 p o s i t i f
(m)
-n3 > r
z + - - ~3
~ ( z + 3) - - ~ ( ~ ) >
3
--~(z) > 9('~)--9 x
m 3
~
m 3
- - 9'(x -- 3)
~
3
n
ce qui devient, en faisant converger m
- - vers un nombre positif quelconque,
~b
a, plus petit que i
3
=
a3
~
a3
~
3
Cette formule montre que ~(z + 33) - - 9 ( z ) ne crolt jamais lorsque 3 ddcrolt,
et que ce quotient reste constamment plus grand que ~ ( z ) - 3' est positif mais d'ailleurs quelconque.
~ ( x - - 33 o h
3'
J
D'ofi il suit que
lim f ( z + 3) - - ~ ( z ) > f ( e ) - - 9 ( z - - 3')
I Cette proposition s'applique 6galement s une fonction concave, en y remplagant
9limito sup6rieure~) p a r ~limite inf~rieure~. De ce qu'une ~fonction lin6aire~ pout ~tre
consid6r6e comme un cas particulier des deux classes de fonctions, il r~sulte:
Uno >)fonction lin6aire>, qui a dans un certain intervalle soit une limite sup6rieure,
soit uno limite inf6rioure, est continue.
D e ce r6sultat on conclue ais6ment la proposition suivante: une ,fonction lin6aire))
a y a n t ou une limite sup6rieure ou une limite inf~rieure dans un intervalle donn6 a
toujours la forme a T bx dans cet intervalle, a et b 6tant des constantes. P a r lh esC
pleinement justifi6e la d6nomination que nous avons introduite.
190
J.L.W.V.
Jensen.
existe, et l'on voit de mgme que
a= +o
3
=
3'
est aussi ddterminde.
Ainsi est demontr~e ee thdor~me:
Une jbnction convexe F(x), qui a dans un certain intervalle une limite
su_pdrieure finie, a une fonction ddrivde rant h droite, F'+(x), qu'~t gauche
~o'_(x); la difference 9 ' + ( x ) - - 9 " ( x ) est positive ou nulle.
Aux fonctions concaves r
s'applique une proposition analogue, qui
r$sulte de ee qui precede, puisque - - r
est convexe.
6.
Quelques propositions de jbnctions de fonctions.
Si, dans l'intervalle (g, g'), f(x) est une fonction convexe qui ne ddcrolt
pas lorsque x crolt, et si V(x) est convexe dans un interval]e, clans lequel
trouve lieu l'inegalitd .q < F ( x ) < . q ' , f(,v(x)) est aussi convexe.
En effet, de
~{~- + .~ < ~(~) + ~(y)
\ 2 /
il suit que
ce qui ddmontre la proposition.
On ddmontre de mgme le schdma suivant:
i
I'
~(~)
f(~x)
convexe
convsxe
concave, d6croissante
convexe
concave
convexe, dlcroissante
concave
coiIvexe
concave, croissante
concave
concave
t .........
I
f(z)
I convexe, croissante
Sur l e a fonctions convexes et les indgalit6s entre les valeurs moyennes.
Si ~(x) et r
le schema:
7.
191
sont des fonctions inverses on ddmontre de mgmo
~(z)
r
convexe, croissante
concave, croissante
convexe, d6croissante
convexe, d6croissante
concave, d6croissante
concave, d6croissante
Sur une certaine fonction convexe. Nous avons vu plus haut quo
~jlc~]x--x~] est convexe dans tout intervalle qui comprend au moins un
des points x l , x~, . . . .
Ceci peut servir h former une fonction convexe
dont les dgrivdes ~ droite et ~ gauche sont diffdrentes en tous les points
d'un ensemble dgnombrable rdel, donn6 ~ l'avance.
Soit en effet c~,c2,.., une suite infinie de hombres positifs, x~, x2,...
nne suite infinie de nombres rdels et bornds, et supposons la s6rie 2'c~ convergente. I1 rdsulte des recherches sur le principe de CA~TOa concernant
la condensation des singularitds qui sont exposdes dans DI~I-LOROTn (Theorie
der Funktionen ether vergnderlichen reellen Gr6sse, ~ i o8") que la fonction
qui est convexe comme nous avons vu plus haut a partout une d6rivde
unique, saul aux points x~, x2, x3, . . . .
En ees points la fonction a une
fonetion dgrivde h droite et une autre h gauche, et l'on a f.~(x~)--f'_(x~)=2c~.
Si par exemple, pour rensemble (x~), on choisit les nombres rationnels
de l'intervalle (o, I) dans un ordre d6termind, f(x) sera convexe dans eet
intervalle, et aura une d6riv~e finie en tous les points irrationnels, tandis
qu'aux points rationnels les fonetions d6riv6es h droite et h gauche different
par un hombre positif.
En terminant je ne puts m'empdeher d'ajouter quelques remarques.
I1 me semble que la notion >>fonction convexe>> est h peu pros aussi
fondamentale que eelles-ci: ,fonction positive>,, ,fonetion eroissante,. Si
je ne me trompe pas en ceci la notion devra trouver sa place dans les
expositions dldmentaires de la thdorie des fonctions r6elles.
192
J. L. W. V. Jensen.
Quant h la d6finition d'une fonetion convexe de plusieurs variables
la suivante esf. la plus naturelle.
La fonction rdelle ~(X) du point analytique rdelle X---= ( x , y , z , . . . ) est
eonvexe, si dans un domaine simplement eonnexe et convexe on a toujours
9 \2
(x, + x:,), < i2, (X~) + ~2,r
oh
2 ( x , + x.~) =
'"-'
:~' + y~
I1 est 6vident qu'une tetle fonction est toujours fonction convexe de
chaeune des variables. L'inverse n'a pas lieu eomme on le voit par un
exemple2
f(x,y)----Ixvl
:~ .
Addition.
Apr~s avoir faite la confdrenee ci-dessus j'ai remarqud que
]a formule fondamentale (5) n'&ait pas enti~rement nouvelle comme je le
croyais. Je viens de trouver, dans une mdmoire de M. A. PRINGSHEIM, 1
une citation d'une note de 3[. O. HOLDEn ~ dans laquclle se trouve ddmontrde la formule en question. A la v&itd les hypotheses de M. HOLDER
sont bien diff&entes des miennes en ce qu'il suppose que r
existe.
La fornmle trb,s importante (5') n'est pas mentionnde davanfage que la
plupart des applications que j'ai donndes plus haut.
En m~me temps je veux ddmontrer une indgalitd d ' u n autre caract~re
que celles donndes plus haut. Dans une addition ~ h sa mdmoire pr6citde
~{. PRIXGSIIEIM donne une ddmonstration 616gante, qu'il attribue ~ M. L0-
~:~OTH, de l'indgalit6
oh les b sont positives et ~.> i.
Zur Theorie der ganzen transcendenten Funktionen, S i t z u n g s b e r . d. math.
phys. C l a s s e d . k. bayer. Akad. d. W., t. 32 , p. 163~I92. Nachtrag..., ibid.
p. 295--303.
Uber einen Mittelwertsalz, Naehr. v. d. k. Gesellsch. d. W. zu GSttingen,
x889, p. 38~47 9
Sur les fonctions convexes et los in6galit~s entre les valeurs moyennes.
193
I1 esl; facile de gdn~raliser cet~e ddmonstration. Soil;, en effet, ~ u n e
variable positive el; f(~) u n e fonel;ion ~ositive et croissante avec x, el; soit
a 1 , a s , . . . , b : , b~, . . . des eonsl;antes dgalemeut positives, n o u s avons
f(b~)<f(b) p o u r ~--- 1 , 2 , . . . , n ,
b dtant la s o m m e b l - J r - b ~ - [ - . . . ~ b . .
E n m u l t i p l i a n t p a r G Ies deux m e m b r e s de l'indgalil;d ci-dessus, el; en
s o m m a u t p o u r p ~ I , 2 , . . . , n, on trouve
n
"::: ,,, f(b.) <
,,.
Otl
n
n
C'est l'in~galitd clue j'avais en rue. Pour a,----- b, ct f(x) ---- x ~-~, x > I,
nous rel;rouvons l'indgali~d (a). A l'aide de ceUe-ci il esl; aisd de gdndraliser
lee conditions sous lesquelles la formule (8) esl; valable. Posons en effet
clans celle-ci a ~z p o u r G~, nous avons
=' ='
='
a;,
E a,~,
...
a,',
v=l
ee qui fail; voir que la formule (8) rest~e encore valable pour
z~ + z ~ + . . .
+z~>
:,
seulemen~ le signe cl'dgalit6 est ~ dcarter.
Aeta ~t~matioo. 80. Imprim~ le 2! d~cembre 1905.
25