Local minimizers of semi-algebraic functions from the viewpoint of tangencies

Abstract: Consider a semi-algebraic function

f c o l o n m a t h b b R^{n} o m a t h b b R,

which is continuous around a point

Using the so--called {em tangency variety} of

f

at

we first provide necessary and sufficient conditions for

to be a local minimizer of

f,

and then in the case where

is an isolated local minimizer of

f,

we define a "tangency exponent"

a l p h a_{*} > 0

so that for any

a l p h a i n m a t h b b R

the following four conditions are always equivalent: (i) the inequality

a l p h a g e a l p h a_{*}

holds; (ii) the point

is an

a l p h a

th order sharp local minimizer of

f;

(iii) the limiting subdifferential

p a r t i a l f

of

f

is

(a l p h a - 1)

th order strongly metrically subregular at

for

0;

and (iv) the function

f

satisfies the L ojaseiwcz gradient inequality at

with the exponent

1 - f r a c 1 a l p h a .

Besides, we also present a counterexample to a conjecture posed by Drusvyatskiy and Ioffe [Math. Program. Ser. A, 153(2):635--653, 2015].

Recommendations

Cites work

Cited in

(1)

This page was built for publication: Local minimizers of semi-algebraic functions from the viewpoint of tangencies