Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
and call the energy of .
It follows formally from an integration by parts argument,
see Proposition 2.20 and [Tia00, Lemma 6.2] that if
are any two model functions, then
(6.2)
Writing , and expanding in
leads to the following formulas for first and second derivatives of :
(6.3)
(6.4)
Proposition 6.1.
The restriction of to the convex set
is concave, nondecreasing, and satisfies for any constant .
Proof.
Concavity follows from (6.4) and Proposition 2.21.
Monotonicity is a consequence of (6.3),
and the last equation follows from (6.2) since
is a probability measure for each thanks to Proposition 2.19 and the normalization .
∎