{"id":"arxiv/2610.22772","url":"https://arxiv.org/abs/2610.22772","tags":["math.CA","math.AG"],"score":0,"title":"Semialgebraic ${C^m}$ solutions to a univariate system of linear inequalities with Nash forcing","domain":"math.CA","source":"arxiv","authors":["Fushuai Jiang","Garving K. Luli"],"reviews":0,"subject":"math.CA","summary":"Let $(A_{ij}(x))_{1 \\leq i \\leq N, 1 \\leq j \\leq M}$ be a matrix of univariate semialgebraic functions. We study the solvability of the system of linear inequalities \\begin{equation*} \\sum_{j=1}^M A_{ij}(x)F_j(x)\\leq f_i(x) \\ \\ \\text{ for } i = 1, \\ldots, N, \\end{equation*} where we assume each forcing $f_i$ is a Nash function. We show that the $C^m$ solvability of the system can be characterized by finitely many linear ordinary differential inequalities in $f$ with semialgebraic coefficients depending only on $(A_{ij})$. When the system is solvable, the solution may be chosen semialgebraic,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-16","reactions":{}}