Question

Hi everyone. It is well known that a polynomial of degree $n$ is completely determined by $n+1$ points. Now, is there any similar result for rational functions?

Answer 1

This answer builds on Joe Silverman's, and uses the same notation. He writes "as your conditions $F(x_i)=c_i$ ... are independent".

Suppose, for $1 \leq e \leq d$, that there do not exist any $2d+1-e$ of the points which can by interpolated by a rational function of degree $d-e$. Than I claim the conditions are independent.

Proof Suppose that $F(x_i) = c_i$ and $F'(x_i) = c_i$. Let $F(x) = \sum a_i x^i / \sum b_i x^i$ as in the previous answer. Let $C$ be the curve in $\mathbb{P}^1 \times \mathbb{P}^1$ cut out by $$y_1 \left( \sum a_i x_1^i x_2^{d-1} \right) = y_2 \left(\sum b_i x_1^i x_2^{d-1} \right)$$ where $(x_1:x_2)$ are homogenous coordinates on the first $\mathbb{P}^1$ and $(y_1:y_2)$ are homogenous coordinates on the second. Define $C'$ similarly.

Then the curves $C$ and $C'$ meet at the $2d+1$ points $(x_i:1) \times (c_i : 1)$. However, a computation in $H^{\bullet}(\mathbb{P}^1 \times \mathbb{P}^1)$ shows that the intersection product $C \cdot C' = 2d$. The only way that this can happen is that $C$ and $C'$ have a common component. In particular, $C$ has more than one component.

Now, $C$ has degree $(1,d)$ in $\mathbb{P}^1 \times \mathbb{P}^1$. So, if it has more than one component, then one of them is of degree $(1,d-e)$ and the others are $e$ lines of the form $x=\mathrm{constant}$. There can be $e$ points on the vertical lines (since the $x_i$ are distinct); that leaves $2d+1-e$ points on the component of degree $(1,e)$. In other words, $2d+1-e$ points which are interpolated by a rational function of degree $d-e$.

Answer 2

A rational function of degree $d$ (of 1 variable) has the form $$F(x) = \frac{a_dx^d+a_{d-1}x^{d-1}+\dots+a_0}{b_dx^{d}+b_{d-1}x^{d-1}+\dots+b_0},$$ where one should view the coefficients $[a_d,\ldots,a_0,b_d,\ldots,b_0]$ as homogeneous coordinates in the projective space $\mathbb{P}^{2d+1}$. Fixing a value $F(x_i)=c_i$ gives a linear equation in the coefficients that determines a hyperplane in $\mathbb{P}^{2d+1}$. Since $2d+1$ independent hyperplanes intersect in exactly one point, it follows that as long as your conditions $F(x_i)=c_i$ with $1\le i\le 2d+1$ are independent, then they determine a unique rational function of degree less than or equal to $d$. (The degree can be smaller than $d$ if it turns out that $a_d=b_d=0$.)