BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We provide necessary and sufficient conditions for a set-valued mapping between finite dimensional spaces to be directionally open by relating this property with directional regularity, Hölder continuity of the inverse mapping, coderivatives and variations. These generalize and refine some previously known results.
Given two nonzero polynomials f,g∈R[x,y] and a point (a,b)∈R2, we give some necessary and sufficient conditions for the existence of the limit (x,y)→(a,b)limg(x,y)f(x,y). We also show that, if the denominator g has an isolated zero at the given point (a,b), then the set of possible limits of (x,y)→(a,b)limg(x,y)f(x,y) is a closed interval in R and can be explicitly determined. As an application, we propose an effective algorithm to verify the existence of the limit and compute the limit (if it exists). Our approach is geometric and is based on Puiseux expansions.
Let F(x):=(fij(x))i=1,…,p;j=1,…,q, be a (p×q)-real polynomial matrix and let f(x) be the smallest singular value function of F(x). In this paper, we first give the following {\em nonsmooth} version of Łojasiewicz gradient inequality for the function f with an explicit exponent: {\em For any xˉ∈Rn, there exist c>0 and ε>0 such that we have for all ∥x−xˉ∥<ε, \begin{equation*} \inf \{ \| w \| \ : \ w \in {\partial} f(x) \} \ \ge \ c\, |f(x)-f(\bar x)|^{1 - \frac{2}{\mathscr R(n+p,2d+2)}}, \end{equation*} where ∂f(x) is the limiting subdifferential of f at x, d:=maxi=1,…,p;j=1,…,q°fij and R(n,d):=d(3d−3)n−1 if d≥2 and R(n,d):=1 if d=1.} Then we establish some versions of Łojasiewicz inequality for the distance function with explicit exponents, locally and globally, for the smallest singular value function f(x) of the matrix F(x).
Let F(x):=(fij(x))i,j=1,…,p, be a real symmetric polynomial matrix of order p and let f(x) be the largest eigenvalue function of the matrix F(x). We denote by ∂∘f(x) the Clarke subdifferential of f at x. In this paper, we first give the following {\em nonsmooth} version of Łojasiewicz gradient inequality for the function f with an explicit exponent: For any xˉ∈Rn there exist c>0 and ε>0 such that we have for all ∥x−xˉ∥<ε, \begin{equation*} \inf \{ \| w \| \ : \ w \in {\partial}^\circ f(x) \} \ \ge \ c\, |f(x) - f(\bar x)|^{1 - \frac{1}{\mathscr{R}(2n+p(n+1),d+3)}}, \end{equation*} where d:=maxi,j=1,…,p°fij and R is a function introduced by D'Acunto and Kurdyka: R(n,d):=d(3d−3)n−1 if d≥2 and R(n,d):=1 if d=1. Then we establish error bounds with explicitly determined exponents, local and global, for the largest eigenvalue function f(x) of the matrix F(x).
Let F:=(f1,…,fp):Rn→Rp be a polynomial map, and suppose that S:={x∈Rn : fi(x)≤0,i=1,…,p}=∅. Let d:=maxi=1,…,p°fi and H(d,n,p):=d(6d−3)n+p−1. Under the assumption that the map F:Rn→Rp is convenient and non-degenerate at infinity, we show that there exists a constant c>0 such that the following so-called {\em Hölder-type global error bound result} holds cd(x,S)≤[f(x)]+H(2d,n,p)2+[f(x)]+ for all x∈Rn, where d(x,S) denotes the Euclidean distance between x and S, f(x):=maxi=1,…,pfi(x), and [f(x)]+:=max{f(x),0}. The class of polynomial maps (with fixed Newton polyhedra), which are non-degenerate at infinity, is generic in the sense that it is an open and dense semi-algebraic set. Therefore, Hölder-type global error bounds hold for a large class of polynomial maps, which can be recognized relatively easily from their combinatoric data.
We investigate the set Vf of horizontal critical points of a polynomial function f for the standard Engel structure defined by the 1-forms ω3=dx3−x1dx2, ω4=dx4−x3dx2, endowed with the sub-Riemannian metric gSR=dx12+dx22. For a generic polynomial, we show that the intersection of any fiber of f and Vf does not contain a horizontal curve. Then we prove that each trajectory of the horizontal gradient of f approaching the set Vf has a limit.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.