
8.5 Generalized Bounds 377
Ξ
ξ
2
P(dx)=
¯
ξ
(2)
, (5.38)
where P ∈ P is the set of probability measures on (
Ξ
,B
1
) , the first moment of
the true distribution is
¯
ξ
, and the second moment is
¯
ξ
(2)
.
A generalization of Carath´eodory’s theorem (Valentine [1964]) for the convex
hull of connected sets tells us that y
∗
can be expressed as a convex combination of
at most three extreme points of C , giving us a special case of Theorem 9. Therefore,
an optimal solution to (5.38) can be written, {
ξ
∗
, p
∗
}, where the points of support,
ξ
∗
= {
ξ
∗
1
,
ξ
∗
2
,
ξ
∗
3
} have probabilities, p
∗
= {p
∗
1
, p
∗
2
, p
∗
3
}. An optimal solution may,
however, have two points of support. A function that has this property for a given
instance of (5.27) is called a two–point support function. We will give sufficient
conditions for a function to have this two-point support property. This property then
allows a simplified solution of (5.38). It is given in the next theorem which is proven
in Birge and Dul´a [1991].
Theorem 10. If g is convex with derivative g
defined as a convex function on
[a,c) and as a concave function on (c,b] for
Ξ
=[a, b] and a ≤ c ≤b , then there
exists an optimal solution to (5.38) with at most two support points, {
ξ
1
,
ξ
2
}, with
positive probabilities, {p
1
, p
2
}.
A corollary of Theorem 10 is that any function g that has a convex or concave
derivative has the two-point support property. The class of functions that meets the
criteria of Theorem 10 contains many useful examples, such as:
1. Polynomials defined over ranges with at most one third-derivative sign change.
2. Exponential functions of the form, c
0
e
c
1
ξ
, c
0
≥ 0.
3. Logarithmic functions of the form, log
j
(c
ξ
) ,forany j ≥ 0.
4. Certain hyperbolic functions such as sinh(c
ξ
) , c,
ξ
≥ 0, cosh(cx) .
5. Certain trigonometric and inverse trigonometric functions such as tan
−1
(c
ξ
) ,
c,
ξ
≥ 0.
In fact, Theorem 10 can be applied to provide an upper bound on the expectation
of any convex function with known third derivative when the distribution function
has a known third moment,
¯
ξ
(3)
. Suppose a > 0 (if not, then this argument can
be applied on [a,0] and [0, b] ); then let g(
ξ
)=
βξ
3
+ g(
ξ
) . The function g is
still convex on [0, b) for
β
≥0.Bydefining
β
≥(−1/6)min(0,inf
ξ
∈[a,b]
f
(
ξ
)) ,
g
is convex on [a, b] , and an upper bound, UB(g) ,on E
g
(
ξ
) has a two-point
support. The expectation of g is then bounded by
Eg(
ξ
) ≤UB(g) −
β
¯
ξ
(3)
. (5.39)
The conditions in Theorem 10 are only sufficient for a two-point support
function. They are not necessary (see Exercise 8). Note also that not all func-
tions are two-point support functions (although bounds using (5.34) are avail-
able). A function requiring three support points, for example, is g(
ξ
)=(1/2) −
(1/4) −(
ξ
−(1/2))
2
(Exercise 9).