Semialgebraic ${C^m}$ solutions to a univariate system of linear inequalities with Nash forcing
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,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.22772
curl -X POST /api/v1/records/arxiv/2610.22772/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.22772/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'