Nonlinear Equations - UFRJ
Nonlinear Equations - UFRJ
Nonlinear Equations - UFRJ
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
74 [CH. 6: EXPONENTIAL SUMS AND SPARSE POLYNOMIAL SYSTEMS<br />
Proposition 6.6. Let f : E → R be given. Then,<br />
1. f ∗ is convex. In part. U ∗ is convex.<br />
2. For all x ∈ U, α ∈ U ∗ ,<br />
f ∗ (α) + f(x) ≥ α(x).<br />
3. If furthermore f is convex then f ∗∗<br />
|U ≡ f.<br />
Proof. Let (α 0 , β 0 ), (α 1 , β 1 ) ∈ Epi f ∗ This means that β i ≥ f ∗ (α i ),<br />
i = 1, 2 so<br />
β i ≥ α i (x) − f(x) ∀x ∈ U.<br />
Hence, if t ∈ [0, 1],<br />
(1 − t)β 0 + tβ 1 ≥ ((1 − t)α 0 + tα 1 )(x) − f(x) ∀x ∈ U<br />
and ((1 − t)α 0 + tα 1 , (1 − t)β 0 + tβ 1 ) ∈ Epi f ∗.<br />
Item 2 follows directly from the definition.<br />
Let x ∈ U. By Lemma 6.3, there is a separating hyperplane<br />
between (x, f(x)) and the interior of Epi f . Namely, there are α, β so<br />
that for all y ∈ U, for all z with z > f(y),<br />
α(y) + βz < α(x) + βf(x).<br />
Since x ∈ U, β < 0 and we may scale coefficients so that β = −1.<br />
Under this convention,<br />
with equality when x = y. Thus,<br />
α(x − y) − f(x) + f(y) ≥ 0<br />
f ∗∗ (x) = sup α(x) − f ∗ (α)<br />
α<br />
= sup<br />
α<br />
= sup f(x)<br />
α<br />
= f(x)<br />
inf α(x − y) + f(y)<br />
y