The values of a function $f$ and its first and second derivatives $f',f''$ are known at $2$ distinct points $a,b$. Assume that a polynomial $p$ of degree $5$ exists which satisfies $p^n(a)=f^n(a)$ and $p^n(b)=f^n(b)$ for $n\in\{0,1,2\}$.
How can I prove the uniqueness of such an interpolating polynomial? Usually for this type of question I would write the conditions out in terms of the coefficients of $p$. So I would end up with $6$ equations in terms of $a,b$ and the coefficients of $p$.
I could then write these equations in matrix form $A\vec{x}=\vec{b}$, where $\vec{x}=(p_0,p_1,p_2,p_3,p_4,p_5)$ are the coefficients of $p$, and $\vec{b}=(f(a),f'(a),f''(a),f(b),f'(a),f''(a))$. So if I could show that $\det(A)$ is non-zero, then I would be done. But in this case it is quite tedious to find $\det(A)$ by hand, not only because I have a $6×6$ matrix but also because there are many steps required to convert it to upper triangular form. So, is there a quicker way to go about this problem?
Best Answer
We may assume wlog your two points are $a=0$ and $b=1$. If there is more than one such polynomial, their difference is a polynomial $p$ of degree $\le 5$ with $p(0) = p'(0) = p''(0) = 0$ and $p(1) = p'(1) = p''(1) = 0$.
From the conditions at $0$, $p(x) = a_3 x^3 + a_4 x^4 + a_5 x^5$ for some $a_3, a_4, a_5$. From the conditions at $1$, $$ \eqalign{a_3 + a_4 + a_5 &= 0\cr 3 a_3 + 4 a_4 + 5 a_5 &= 0\cr 6 a_3 + 12 a_4 + 20 a_5 &= 0\cr}$$ Subtracting the appropriate multiples of the first equation from the other two, $$ \eqalign{a_4 + 2 a_5 &= 0\cr 6 a_4 + 14 a_5 &= 0\cr}$$ and since $14/2 \ne 6$, ...
EDIT: Alternative: Start with $g(x) = f(a) + f'(a) (x-a) + f''(a) (x-a)^2/2$ which is a polynomial of degree $\le 2$ with the given values of $g(a), g'(a), g''(a)$. Add an appropriate multiple of $(x-a)^3$ to get the desired value of $g(b)$ in a polynomial of degree $\le 3$. Add an appropriate multiple of $(x-a)^3(x-b)$ (noting that the first derivative of this at $b$ is nonzero) to get the desired value of $g'(b)$. Add an appropriate multiple of $(x-a)^3(x-b)^2$ to get the desired value of $g''(b)$. Since the map $g \mapsto [g(a), g'(a), g''(a), g(b), g'(b), g''(b)]$ from polynomials of degree $\le 5$ to $\mathbb R^6$ is linear and onto, and both vector spaces have the same dimension, it must also be one-to-one, i.e. the interpolation is unique. This solution can be generalized.