Nichtnegativstellens\"atze for definable functions in o-minimal structures

TL;DR

This paper proves a version of the Nichtnegativstellensatz for definable functions in o-minimal structures, providing algebraic certificates of non-negativity and deriving generalized optimality conditions.

Contribution

It establishes a Nichtnegativstellensatz for definable functions in o-minimal structures, extending classical results to a broader setting with applications to optimization.

Findings

Representation of non-negative definable functions as sums of squares and weighted sums

Derivation of global optimality conditions generalizing KKT conditions

Applicability to a wide class of definable functions in o-minimal structures

Abstract

This paper addresses to Nichtnegativstellens\"atze for definable functions in o-minimal structures on $(\mathbb{R}, +, \cdot).$ Namely, let $f, g_1, \ldots, g_l \colon \mathbb{R}^n \to \mathbb{R}$ be definable $C^p$-functions ($p \ge 2$) and assume that $f$ is non-negative on $S := \{x \in \mathbb{R}^n \ | \ g_1(x) \ge 0, \ldots, g_l(x) \ge 0 \}.$ Under some natural hypotheses on zeros of $f$ in $S,$ we show that $f$ is expressible in the form $f = \phi_0 + \sum_{i = 1}^l \phi_i g_i,$ where each $\phi_i$ is a sum of squares of definable $C^{p - 2}$-functions. As a consequence, we derive global optimality conditions which generalize the Karush--Kuhn--Tucker optimality conditions for nonlinear optimization.