Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

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 PolynomialsDivision 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).

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).

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).

edited body
Source Link

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,A} = \sup_{\substack{x \in S \\ |\alpha| \leq m}} |(D^{\alpha} \phi)(x)|. \end{equation}\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 (or eventually disprove) 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=K$$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).

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,A} = \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 (or eventually disprove) 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=K$, 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).

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).

added 20 characters in body
Source Link

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 N} c_{\alpha} z^{\alpha}, \end{equation}\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 N} c_{\alpha} x^{\alpha} \quad (x \in \mathbb{R}^{\nu}). \end{equation}\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,A} = \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 (or eventually disprove) 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=K$, 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).

Let $P(z)$ be a non-null complex polynomial in $\nu$ variables $z=(z_1,\dots,z_n)$: \begin{equation} P(z)=\sum_{|\alpha| \leq N} 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 N} 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,A} = \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 (or eventually disprove) 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=K$, 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).

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,A} = \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 (or eventually disprove) 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=K$, 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).

added 46 characters in body
Source Link
Loading
added 46 characters in body
Source Link
Loading
Notice removed Draw attention by CommunityBot
Bounty Ended with no winning answer by CommunityBot
[Edit removed during grace period]
Source Link
Loading
added 25 characters in body
Source Link
Loading
deleted 126 characters in body
Source Link
Loading
Notice added Draw attention by Maurizio Barbato
Bounty Started worth 100 reputation by Maurizio Barbato
added 15 characters in body
Source Link
Loading
added 131 characters in body
Source Link
Loading
deleted 3 characters in body
Source Link
Loading
added 3 characters in body
Source Link
Loading
Source Link
Loading