21.06.2015 Views

Nonlinear Equations - UFRJ

Nonlinear Equations - UFRJ

Nonlinear Equations - UFRJ

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!