{"id":"arxiv/2606.22805","url":"https://arxiv.org/abs/2606.22805","tags":["math.CA","math.AG"],"score":0,"title":"Smooth solutions to systems of linear inequalities on $\\mathbb{R}$","domain":"math.CA","source":"arxiv","authors":["Fushuai Jiang","Garving K. Luli"],"reviews":0,"subject":"math.CA","summary":"Fix an integer $m\\geq 0$. We study the one-dimensional problem of deciding when a system of linear inequalities \\begin{equation*} \\sum_{j=1}^M A_{ij}(x)F_j(x)\\leq f_i(x),\\qquad i=1,\\ldots,N, \\end{equation*} with fixed semialgebraic coefficients $A_{ij}:\\mathbb R\\to\\mathbb R$ and given functions \\begin{equation*} f_i\\in C^\\infty(\\mathbb R),\\qquad i=1,\\ldots,N, \\end{equation*} admits a solution \\begin{equation*} F=(F_1,\\ldots,F_M)\\in C^m(\\mathbb R,\\mathbb R^M). \\end{equation*} The analogous problem for systems of linear equations admits a finite linear differential criterion, whereas for…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-22","reactions":{}}