Real polynomial in two variables

I have problems proving the following result:

Each $f: \mathbb{R}^2 \rightarrow \mathbb{R}$ such that $\forall a,b \in \mathbb{R} \ : \ f_a(y) := f(a,y), \ f_b(x) := f(x,b)$ are polynomials is a polynomial with two variables.

If I consider $f$ as a function of $x$, then its derivative $f'(x) = \frac{\partial f}{\partial b}(x)$. Similarly if we treat $f$ as a function of $y$.

I assume that $f_a(y) = \frac{\partial f}{\partial a} (y)$ and $f_b(x)=\frac{\partial f}{\partial b}(x)$.

But I am not sure if we can assume that, because the degree of the derivative should be smaller than the degree of the original function (and it isn't).

Actually, I'm not even sure if what I'm trying to prove is true, because in the original formulation of the problems there is written $f_a(y) := (a,y), \ f_b(x):=(x,b)$. But that didn't make sense.

Could you help me here?

Thank you.

• The Question seems a little jumbled even now. I think you want to begin by assuming $f:\mathbb{R}^2 \rightarrow \mathbb{R}$ is a polynomial in two variables. Then define two univariate (one variable) polynomials for specified $a,b \in \mathbb{R}$ as $f_a(y) = f(a,y)$ and $f_b(x) = f(x,b)$. Your task then seems to be showing the partial derivatives of $f$ are related to the ordinary derivatives $f_a'(y)$ and $f_b'(x)$. – hardmath Dec 14 '13 at 13:14
• On reflection/re-reading, it seems likely your Question is about the converse of what I surmised above. That is, given the two univariate (families of) functions are polynomials, prove that $f$ is a bivariate polynomial (polynomials in two variables). – hardmath Dec 14 '13 at 13:48

I don't understand what you say about derivatives and I will assume that you want the following result.

Let $f: \mathbb{R}^2 \rightarrow \mathbb{R}$ be a function such that for every $a, b \in \mathbb{R}$, $x \mapsto f(x,b)$ and $y \mapsto f(a,y)$ are polynomial functions; then $f$ is a polynomial in two variables.

This is not obvious because we don't have a good representation of $f$. The idea of the proof is to show that $f$ coincides with a polynomial at sufficiently many points.

1) There exists an infinite set $I \subset \mathbb{R}$ and an integer $N$ such that for any $a,b \in I$, the polynomials $y \mapsto f(a,y)$ and $x \mapsto f(x,b)$ are of degree bounded by $N$. This follows from the fact that $\mathbb{R}$ is not countable: if $K_n$ is the set of $z \in \mathbb{R}$ such that $x\mapsto f(x,z)$ and $y \mapsto f(z,y)$ are of degree bounded by $n$, then $\cup_{n\in \mathbb{N}} K_n = \mathbb{R}$ and one of the $K_n$ must be infinite (in fact uncountable but I don't need it).

2) Let $I$ and $N$ be as in the previous point. Let $z_1,\dots,z_{N+1}$ be $N+1$ arbitrary elements in $I$. I claim that there exists a polynomial $Q$ in two variables, of degree in $x$ and $y$ at most $N$ such that $Q$ takes the same values than $f$ in all points of the form $(z_i,z_j)$, for $1 \leq i,j \leq N+1$. Indeed, this is the analog of Lagrange interpolation in two variables. This polynomial $Q$ is defined by:

$$Q(x,y) = \sum_{i=1}^{N+1} \sum_{j=1}^{N+1} f(z_i,z_j) \prod_{i' \neq i} \prod_{j' \neq j} \frac{(x-z_{i'})(y-z_{j'})}{(z_i-z_{i'})(z_j-z_{j'})}.$$

3) I claim that $f(x,y) = Q(x,y)$ everywhere. First, $y \mapsto f(z_i,y)$ and $y \mapsto Q(z_i,y)$ are both polynomial of degree bounded by $N$, which coincide in $N+1$ points. This shows that $f = Q$ on sets of the form $z_i \times \mathbb{R}$. Now, take any $y$ in $I$. Then $x \mapsto f(x,y)$ and $x \mapsto Q(x,y)$ are polynomial of degree bounded by $N$ and they are equal for $x$ equal to one of the $z_i$. So they are equal everywhere. This shows that $f = Q$ on $\mathbb{R} \times I$. Finally, consider an arbitrary $x \in \mathbb{R}$. Then $y \mapsto f(x,y)$ and $y \mapsto Q(x,y)$ are both polynomial, equal when $y \in I$. Since $I$ is infinite, they are equal everywhere. This concludes the proof of $Q = f$.

• Thank you for your solution. I just want to make sure: in the polynomial $Q$ the power in which both $x$ and $y$ appear is at most $N$ (for example $x^Ny^N$ can be an element of this polynomial) - did I understand that correctly? By the way, there's a typo in the first line of point $3)$. There should be $y \mapsto Q(z_i,y)$, shouldn't there? – Don Dec 14 '13 at 17:05
• Yes, you understand correctly. I have corrected my answer. – Jeremy Daniel Dec 14 '13 at 17:23

F. W. Carroll, "A polynomial in each variable separately is a polynomial." Amer. Math. Monthly 68 (1961) 42.

True for the reals, or any uncoutable (or finite) field. But false for the rationals (or any countably infinite field)...

Richard S. Palais, "Some analogues of Hartogs' theorem in an algebraic setting." Amer. J. Math. 100 (1978), no. 2, 387--405.