Abstract:Let be a real closed field. Given a closed and bounded semialgebraic set and semialgebraic continuous functions such that , there exist an integer and such that the inequality (Łojasiewicz inequality) holds for all . In this paper, we consider the case when A is defined by a quantifier-free formula with atoms of the form for some finite subset of polynomials , and the graphs of are also defined by quantifier-free formulas with atoms of the form , for some finite set . We prove that the Łojasiewicz exponent in this case is bounded by . Our bound depends on d and n but is independent of the combinatorial parameters, namely the cardinalities of and . The previous best-known upper bound in this generality appeared in P. Solernó, Effective Łojasiewicz Inequalities in Semi-Algebraic Geometry, Applicable Algebra in Engineering, Communication and Computing (1991) and depended on the sum of degrees of the polynomials defining and thus implicitly on the cardinalities of and . As a consequence, we improve the current best error bounds for polynomial systems under some conditions. Finally, we prove a version of Łojasiewicz inequality in polynomially bounded o-minimal structures. We prove the existence of a common upper bound on the Łojasiewicz exponent for certain combinatorially defined infinite (but not necessarily definable) families of pairs of functions. This improves a prior result of Chris Miller (C. Miller, Expansions of the real field with power functions, Ann. Pure Appl. Logic (1994)).

Łojasiewicz-type inequalities and global error bounds for nonsmooth definable functions in o-minimal structures

Liouville-type Theorems for Subharmonic Functions on Complete Manifolds

The Equivalence of Three Types of Error Bounds for Weakly and Approximately Convex Functions

Error Bounds for Approximate Solutions of Abstract Inequality Systems and Infinite Systems of Inequalities on Banach Spaces

Generalized Łojasiewicz's inequality for definable and subanalytic multifunctions

Quantitative Analysis for Perturbed Abstract Inequality Systems in Banach Spaces

Liouville-type theorem for an indefinite logarithmic Laplacian equation

Improved effective Łojasiewicz inequality and applications

Lojasiewicz inequalities in a certain class of smooth functions

Nonlocal error bounds for piecewise affine functions

On Global Error Bounds for Convex Inequalities Systems

Liouville type theorem for a system of elliptic inequalities on weighted graphs without ( p 0 )-condition

On the Obstacle Problem in Fractional Generalised Orlicz Spaces

Liouville type theorems involving fractional order systems

Error bounds, PL condition, and quadratic growth for weakly convex functions, and linear convergences of proximal point methods

Inhomogeneous Hopf-Ole\u{i}nik Lemma and Applications. Part IV: Sharp Krylov Boundary Gradient Type Estimates for Solutions to Fully Nonlinear Differential Inequalities with unbounded coefficients and $C^{1,Dini}$ boundary data

Monotonicity of positive solutions for an indefinite logarithmic Laplacian equation

On the theory of generalized quasiconformal mappings

Lipschitz regularity for orthotropic functionals with nonstandard growth conditions

Linear structures of norm-attaining Lipschitz functions and their complements

Local versus global Lipschitz geometry