16
$\begingroup$

Suppose that a polynomial $p(x,y)$ defined on $\mathbb{R}^2$ is identically zero on some open ball (in the Euclidean topology). How does one go about proving that this must be the zero polynomial?

$\endgroup$
5
  • 3
    $\begingroup$ Do you know how to show that a polynomial $p(x)$ which is constant on an open interval must be a constant polynomial? $\endgroup$ May 4, 2011 at 16:24
  • $\begingroup$ Implicit function theorem would be helpful. If we denote the zero set of a nonconstant polynomial $p(x, y)$ as $\Gamma$, then $\Gamma$ is locally given by the graph of a smooth function. This in particular implies that $\Gamma$ has measure zero, so $\Gamma$ cannot contain any set of positive measure. $\endgroup$ May 4, 2011 at 16:35
  • $\begingroup$ $n$th degree poly has at most $n$ zeros in 1 variable. in 2 variables $x,y$ fix $y$ to see that the poly has at most $n$ zeros on any horizontal line (so the zero set cannot be open). come up with some induction argument $\endgroup$
    – yoyo
    May 4, 2011 at 18:44
  • $\begingroup$ In two words: Taylor's formula. $\endgroup$
    – PseudoNeo
    May 4, 2011 at 21:25
  • $\begingroup$ The theorem 2.6 here is related to this question. $\endgroup$
    – Watson
    Feb 16, 2017 at 18:05

5 Answers 5

14
$\begingroup$

WLOG suppose that the center of ball is the origin and write

$$ p(x,y)=\sum _{i,j=0}^ma_{i,j}x^iy^j $$

Plug in $x=y=0$. You find that $a_{0,0}=0$. Take the partial derivative with respect to $x$ and set $x=y=0$. You find that $a_{1,0}=0$. You should be able to finish it from here by continuining similarly. . .

$\endgroup$
2
  • $\begingroup$ you used the phrase "WLOG" because of Taylor's Theorem?please share your views. $\endgroup$ Jul 25, 2020 at 7:27
  • $\begingroup$ If a polynomial $f(x,y)$ is zero on a ball with center $(x_0,y_0)$, just consider the polynomial $g:=f(x-x_0,y-y_0)$. Then $g$ is zero on a ball around the origin, and if we show $g=0$, then $f=g(x+x_0,y+y_0)=0$. $\endgroup$ Dec 18, 2020 at 13:08
7
$\begingroup$

To make notation simpler, let $(a,b)$ be the center of the open ball. Let $g(x,y)=f(a+x,b+y)$. Then the polynomial $g$ is identically $0$ in an open ball containing the origin. We show that $g(x,y)$ is identically $0$.

Consider any line through the origin. We will show that $g(x,y)=0$ at all points on that line. The lines are given by $y=kx$ where $k$ is a constant, and, easily forgotten, $x=0$.

Let $P(t)=g(t,kt)$ (for the line $x=0$, let $P(t)=g(0,t)$).

Then $P(t)$ is a polynomial, and is identically $0$ in an interval. In particular, $P(t)=0$ for infinitely many $t$. Thus $P(t)$ must be identically $0$ (a non-zero polynomial has only finitely many roots).

We conclude that $g$ is identically $0$ on every line through the origin, and hence everywhere.

Note that essentially the same argument works for polynomials in $n$ variables.

$\endgroup$
1
  • $\begingroup$ You have shown that $\forall x,y\in\mathbb{R}: g(x,y)=0$, but not that $g$ is actually the zero polynomial $\endgroup$ Dec 18, 2020 at 13:10
3
$\begingroup$

This follows purely algebraically by induction on degree using the fact that a polynomial has no more roots than its degree over a domain - see my prior post.

$\endgroup$
1
  • 4
    $\begingroup$ This is not clear to me: Consider for example the polynomial $p(x,y) = xy$. Then this has degree one but $|\mathbb R|$ many roots. What am I missing? $\endgroup$ Mar 7, 2016 at 7:05
2
$\begingroup$

Write $p(x,y) = \sum_{i=0}^n q_i(x)y^i$, where $q_i(x)$ are polynomials in $x$.

Pick a point $(x_0,y_0)$ interior to $U$, where $U$ is your open ball. Then there exists a $r>0$ so that $B_r(x_0,y_0) \subset U$.

Pick any $x_1 \in (x_0-r,x_0+r)$, and chose some $\delta>0$ so that $\{x_1\} \times (y_0-\delta ,y_0+\delta) \subset U$.

Then $p(x_1,y)= \sum_{i=0}^n q_i(x_1)y^i$ is a polynomial in $y$ with constant coefficients $q_i(x_1)$ which is identically zero on on the interval $(y_0-\delta, y_0+\delta)$. Thus $p(x_1,y)$ is the zero polynomial.

Hence $q_i(x_1)=0$. But since $x_1$ was arbitrary in $(x_0-r,x_0+r)$, each $q_i$ has infinitelly many roots, thus each $q_i=0$.

$\endgroup$
2
$\begingroup$

A stronger, but still reasonably easy to prove, statement follows from the combinatorial Nullstellensatz. It's actually enough to require that $p$ is identically zero on a lattice with sufficiently many points.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .