Equal Coefficients Polynomials

[Enjoicube]

Here is something that always bugged me, and I think I have an explanation for it now, but I am wondering if it is correct. Alright, the problem to me was that back when I was in Diff-eq, to use undetermined coefficients with polynomials, we would always group together the terms on one side, and set the undetermined coefficients equal on the other side, as such:

2(x^2)+3x+5=a(x^2)+bx+c

would imply that a=2, b=3 and c=5

However, this method always seemed a little uncertain to me, and when I would ask about why we could set the coefficients equal, I was always given a handwaving argument or "doesn't it seem reasonable?"
Today, I came across an exercise in my linear algebra book that I think may justify this method; the exercise says "prove that if v1,...,vn are linearly independent vectors in the vector space U and each ai,bi belongs to the field F then a1*V1+...an*Vn=b1*V1+...bn*Vn \leftrightarrow a1=b1,...,an=bn with

The proof in the forward direction (all I will prove):
Since a1*V1+...an*Vn=b1*V1+...bn*Vn<br /> subtract the right side of the equation to end up with<br /> (a1-b1)*<b>V1</b>+...(an-bn)*<b>Vn</b>=0<br /> <br /> and since these vectors are linearly independent, each ai-bi=0, so ai=bi for i=1,...,n<br /> <br /> Now, looking at the space Pn of polynomials of degree n, the set {1,x,(x^2),...,(x^n)} forms a basis, so each of these vectors must be linearly independent. That means that, as above, if we have<br /> <br /> 2(x^2)+3x+5=a(x^2)+bx+c<br /> <br /> Since the set vectors {1,x,(x^2)} is linearly independent, one can set the coefficients equal.<br /> <br /> Am I correct about using this theorem to justify this method of setting coefficients equal? I know it seems trivial, but if this is correct, someone who doesn&#039;t really understand why this works could try this method on a set of linearly dependent vectors, for which it isn&#039;t necessarily true!

 

[Civilized]

Yes, the fact that two polynomials are equal if and only if the coefficients of the corresponding powers are equal follows from the fact that {1,x,...,x^n} is a basis.

Notice that this proof does not involve considering the polynomials as functions. If we consider two polynomials P(x) = Q(x), then we can generate an infinite set of linear equations:

P(1) - Q(1) = 0

P(2) - Q(2) = 0

.
.
.

from here you can if you wish complete the proof of the same fact using the tools of linear algebra.

 

[Enjoicube]

I suppose the same argument goes for the trig functions sine and cosine, since they are linearly independent.

 

[HallsofIvy]

Even more simply, given two polynomials P(x)= a_nx^n+ a_{n-1}x^{n-1}+ \cdot\cdot\cdot+ a_1x+ a_0 and Q(x)= b_mx^m+ b_{m-1}x^{m-1}+ \cdot\cdot\cdot+ b_1x+ b_0, with P(x)= Q(x) for all x, setting x= 0 shows that a_0= b_0. But we must also have P'(x)= Q'(x) and setting x= 0 shows that a_1= b_1. Each successive derivative, at x= 0, gives the equality of the next coefficients.

 

[statdad]

Yet another proof. If

<br /> a_n x^n + a_{n-1}x^{n-1} + \cdots + a_1 x + a_0 = b_n x^n + b_{n-1} x^{n-1} + \cdots + b_1 x + b_0 <br />

for all x, then

<br /> (a_n - b_n) x^n + (a_{n-1} - b_{n-1})x^n + \cdots + (a_1 - b_1) x + (a_0 - b_0) = 0<br />

for all x, so the second polynomial has more than n zeros, and so must itself be the zero polynomial. This means a_i = b_i \, \, i = 1, \dots, n

 

[g_edgar]

2(x^2)+3x+5=a(x^2)+bx+c

would imply that a=2, b=3 and c=5

Yes, that is in fact "linear independence". The textbook may not say that, however, if it does not have linear algebra as a prerequisite. More advanced DE textbooks will, of course, mention the concept of "linear independence".

 

[Hurkyl]

I would like to add some things.

There are a variety of ways to define polynomials -- in at least one of them, "equal polynomials" actually literally means "they have the same coefficients".

Equality of the functions these polynomials represent is a slightly trickier issue. The result statdad mentioned is the typical approach.

It turns out that in familiar situations, equality of polynomials and equality of the functions they represent turn out to be the same.




In some more esoteric situations, two polynomials may be different despite representing the same polynomial function. If you're familiar with modular arithmetic, you can check that if we define the functions

f(x) = x \pmod 2
g(x) = x^2 \pmod 2

then f=g, despite x \pmod 2 and x^2 \pmod 2 being different polynomials.