2
$\begingroup$

This is a cross-posting of a MSE question (which did not attract any attention there so far).

Denote by $V={\mathcal P}_{n,d}$ the space of polynomials in $n$ variables with degree at most $d$, with rational coefficients. Thus ${\mathcal P}_{n,d}$ has dimension $\binom{n+d}{n}$ over $\mathbb Q$ .

We can consider arbitrary intersection of closed half-spaces in $V$ : $N_{\Phi}=\lbrace p \in V | \forall \phi \in \Phi, \ \phi(p) \geq 0 \rbrace$, where $\Phi$ is a subset of $V^{*}$. By analogy with nef polygones, I call $N_{\Phi}$ a nef, and I say that it is of finite or infinite type, according to whether $\Phi$ is finite or infinite (perhaps there is a better terminology for this, that I’m unaware of).

Let $W$ denote the polynomials in $V$ that are nonnegative on ${\mathbb N}^n$. Then $W$ is clearly a nef of infinite type. I ask if for any $p\in W$, one can find a nef $W'$ of finite type, with nonempty interior, such that $p \in W' \subseteq W$.

This is possible when $n=1$ : if $p_0$ is a polynomial of degree $d$, nonnegative on $\mathbb N$, then there is an integer $k_0$ such that all the derivatives of $p_0$ are nonnegative at $k_0$. Then, we can take

$$ W'=\bigg\lbrace p \in V \ \bigg| \ p(k) \geq 0 \ {\rm for} \ k \leq k_0, p^{(j)}(k_0) \geq 0 \ {\rm for} \ 1\leq j \leq d \bigg\rbrace $$

$\endgroup$
0

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.