Let $P(z)$ be a non-null complex polynomial in $\nu$ variables $z=(z_1,\dots,z_n)$ of degree $\mu$: \begin{equation} P(z)=\sum_{|\alpha| \leq \mu} c_{\alpha} z^{\alpha}, \end{equation} where as usual for every $\alpha=(\alpha_1,\dots,\alpha_\nu) \in \mathbb{N}^{\nu}$ (here and in the following $\mathbb{N}$ denotes the set of all non-negative integers) we set $|\alpha|=\alpha_1+\dots+\alpha_\nu$, and $z^{\alpha}=z_1^{\alpha_1}\dots z_{\nu}^{\alpha_\nu}$. Consider $P$ as a polynomial function from $\mathbb{R}^\nu$ into $\mathbb{C}$: \begin{equation} P(x)=\sum_{|\alpha| \leq \mu} c_{\alpha} x^{\alpha} \quad (x \in \mathbb{R}^{\nu}). \end{equation} For any $m \in \mathbb{N}$, any $S \subseteq \mathbb{R}^\nu$, and any $\phi \in \mathcal{D}(\mathbb{R}^\nu)$ set: \begin{equation} ||\phi||_{m,S} = \sup_{\substack{x \in S \\ |\alpha| \leq m}} |(D^{\alpha} \phi)(x)|. \end{equation} Let $M > L > 0$ and put $Q=[-M,M]^\nu$ and $E=Q \backslash (-L,L)^\nu$. I am trying to prove that for any $m \in \mathbb{N}$, there exist $K > 0$ and $m' \in \mathbb{N}$ such that we have \begin{equation} ||\phi||_{m,E} \leq K ||P\phi||_{m',E} \quad \forall \phi \in \mathcal{D}_{Q} \tag{I}, \end{equation} where as usual $\mathcal{D}_{Q}$ is the set of all complex-valued functions $\phi \in C^{\infty}(\mathbb{R}^\nu)$ with support contained in $Q$. See the notes below for an explanation of the origin and relevance of this question.

Thank you very much in advance for your attention.

NOTE (1). If we take $L=0$, so that $E=Q$, then (I) is an immediate corollary of a remarkable result proved by Lars Hörmander in his wonderful work On the Division of Distributions by Polynomials. Indeed, inequality (4.3) of this work (taken with $k=0$) implies that for any $n, m \in \mathbb{N}$, there exist $K > 0$ and $n', m' \in \mathbb{N}$ such that \begin{equation} \sup_{\substack{x \in \mathbb{R}^\nu \\ |\alpha| \leq m}} (1+|x|)^n |(D^{\alpha} \phi) (x)| \leq K \sup_{\substack{x \in \mathbb{R}^\nu \\ |\alpha| \leq m'}} (1+|x|)^{n'} |(D^{\alpha} (P\phi)) (x)| \quad \forall \phi \in \mathcal{S}(\mathbb{R}^\nu) \tag{II}. \end{equation} We can state (II) in another way. Define the linear subspace $\mathcal{M}_{P}$ of $\mathcal{S}(\mathbb{R}^\nu)$: \begin{equation} \mathcal{M}_{P}=\{\psi \in \mathcal{S}(\mathbb{R}^\nu): \psi=P \phi, \phi \in \mathcal{S}(\mathbb{R}^\nu) \}, \end{equation} and consider the multiplication map $M_{P}:\mathcal{S}(\mathbb{R}^\nu) \rightarrow \mathcal{M}_{P}$ defined by \begin{equation} M_{P}(\phi)=P\phi \quad (\phi \in \mathcal{S}(\mathbb{R}^\nu)), \end{equation} Then (II) is equivalent to say that $M_{P}$ has a continuous inverse (this statement is Theorem (1) in Hörmander's work).

NOTE (2). Inequality (I) was stated without proof by ifw in his answer to the post Division of Distributions by Polynomials (see also my own answer for a comment). If true, (I) would allow to give a direct proof of Theorem (4) in Hörmander's paper, which states that every distribution can be divided by a non-null polynomial. In one of his comments, ifw said that (I) could be proved by localizing (II) or by modifying properly Hörmander's original proof. Even though I studied very carefully Hörmander's original proof (which can also be found in Trèves, Linear Partial Differential Equations with Constant Coefficients, $\S$ 5.5), I could not modify it in order to obtain (I) nor I could get (I) by localizing (II).