Consider the function given by
|
|
|
It is a concave function of Legendre type whose stability set is the
polytope .
The restriction of its Legendre-Fenchel dual to is
also a concave function of Legendre type.
For , consider the affine map
|
|
|
We write for a linear function .
The dual of is the function , .
Then is the open
interval . By Proposition 3.55, there is a map
embedding into in such a way that
. For
,
|
|
|
|
|
|
|
|
From this, we compute with
|
|
|
where we have set for short. In
particular, the image of the map is an arc of conic:
namely the
intersection of
with the conic of equation
|
|
|
with .
Varying , these arcs of conics form a
foliation of , they all pass through the vertex
as , and their other end as parameterizes the
relative interior of the edge
, see Figure 2.