La condition de deuxi`eme ordre pour un maximum est:
xTHx ≤0S.C. (∂u
∂q )Tx= 0 o`u
∂u
∂q = [ ∂u
∂qi] (i= 1,2,...,m) et
H=∂2u
∂qi∂qj(i, j = 1,2,...,m)
est la matrice hessienne de la fonction d’utilit´e. Il s’agit d’une matrice
sym´etrique (th´eor`eme de Young). Si la fonction d’utilit´e est additive di-
recte, alors la matrice hessienne est une matrice diagonale avec les vari-
ations de l’utilit´e marginale sur la diagonale. Toutes ces valeurs ´etant
n´egatives selon l’hypoth`ese de l’utilit´e marginale d´ecroissante, la ma-
trice hessienne est une matrice d´efinie n´egative et alors la condition de
deuxi`eme ordre est satisfaite (xTHx < 0 pour tout xet alors aussi
pour ( ∂u
∂q )Tx= 0). La premi`ere loi de Gossen permet de satisfaire la
condition de deuxi`eme ordre lorsque l’utilit´e est additive directe. Dans
le cas g´en´eral, la condition ci-dessus peut ˆetre v´erifi´ee en calculant les
d´eterminants suivants: