Need Help Solving a Puzzle? Let Us Assist You!

[pnaik2008]

I am trying to solve this,,,need help...

 

[bigplanet401]

Here's a http://en.wikipedia.org/wiki/Dirac_delta_function" .

 

[pnaik2008]

But the S* is linearly Independent, How can we prove that?

 

[HallsofIvy]

Use the definition of "linearly independent". If a_1\phi_1(f)+ a_2\phi_2(f)+ a_3\phi_3(f)= 0 for all f, must a_1, a_2, a_3 all be 0?

 

[pnaik2008]

what is the values of \phi₀ \phi₁ \phi_-1 ?

 

[HallsofIvy]

Your attachment says that phi_-1(f)= f(-1), phi₀(f)= f(0), and phi₁(f)= f(1)!

a phi_-1+ b phi₀+ c phi₁= 0 means that, for any function f, [a phi_-1(f)+ b phi₀(f)+ c phi₁= af(1)+ bf(0)+ cf(1)= 0.

Since P₃ is the space of polynomials of degree 2 or less, ax²+ bx+ c. Take f above to be x², x, and 1. What do a, b, and c have to be?

 

[seju79]

What was the values of a b c ?

 

[HallsofIvy]

That is the question that pnaik2008 needs to answer! IF he/she can show that a= b= c= 0, then S* is linearly independent.

 

[seju79]

How could we show that a=b=c=0?,and if we proof that S is linearly independent, what are the basis of the S??

 

[HallsofIvy]

I've already explained that in my response #6. af(-1)+ bf(0)+ cf(1)= 0 for all polynomials of order 2 or less. Take f to be x², x, and 1 and you get three equations to solve for a, b, and c.

 

[soopo]

I've already explained that in my response #6. af(-1)+ bf(0)+ cf(1)= 0 for all polynomials of order 2 or less. Take f to be x², x, and 1 and you get three equations to solve for a, b, and c.

Since it has taken already too much time, I will give a shot.

If f = x^2, then
f(0) = 0
f(-1) = 1
f(1) = 1
=> a*0 + b*1 + c*1 = 0

If f = x, then
f(0) = 0
f(-1) = -1
f(1) = 1
=> a*0 + b*(-1) + c*1 = 0

If f = 1, then
f(0) = 1
f(-1) = 1
f(1) = 1
=> a*1 + b*1 + c*1 = 0

So we have three equations
b + c = 0 (1)
-b + c = 0 (2)
a + b + c = 0 (3)

We get from (2)
b = c

Thus, we get from (1)
2b = 0
b = 0 (4)

Putting that to (1)
c = 0 (5)

Putting (4) and (5) to (3), we get
c = 0

Thus,
a + b + c = 0

This means that S* is linearly independent.

---

I leave the rest for the questioner.

 

[HallsofIvy]

Since it has taken already too much time, I will give a shot.

If f = x^2, then
f(0) = 0
f(-1) = 1
f(1) = 1
=> a*0 + b*1 + c*1 = 0

So you are taking af(0)+ bf(-1)+ cf(1)= 0? That's not what I had before but perfectly legal.

If f = x, then
f(0) = 0
f(-1) = -1
f(1) = 1
=> a*0 + b*1 + c*1 = 0

You mean a*0+ b*(-1)+ c*1= -b+ c= 0, right?

If f = 1, then
f(0) = 1
f(-1) = 1
f(1) = 1
=> a*1 + b*1 + c*1 = 0

So we have three equations
b + c = 0
b + c = 0

No, -b+ c= 0.

a + b + c = 0

Simplifying
b + c = 0 (1)
a + b + c = 0 (2)

Substituting the equation (1) to (2)
a = 0

By trial and error, we know that
b = 0
c = 0

Thus,
a + b + c = 0

This means that S* is linearly independent.

The three equations you got, b+ c= 0, b+ c= 0, a+ b+ c= 0, the first two being the same, would give b= -c so that a+ b+ c= a- c+ c= a= 0 but does NOT mean b and c must be 0. for example b= 1, c= -1, a= 0 satisfy b+ c= 1- 1= 0, a+ b+ c= 0+ 1- 1= 0. That would prove S* is NOT linearly independent.

However, the correct equations are -b+ c= 0, b+ c= 0, a+ b+ c= 0. Adding the first two equations, 2c= 0 so c= 0. Putting c= 0 into the first equation -b+ 0= 0 so b= 0. Putting b= c= 0 into the third equation, a+ b+ c= a+ 0+ 0= a= 0. Since a= b= c= 0, S* is linearly independent.

But I would have liked to have seen pnaik2008 at least try that calculation.

---

I leave the rest for the questioner.

 

[soopo]

So you are taking af(0)+ bf(-1)+ cf(1)= 0? That's not what I had before but perfectly legal.


You mean a*0+ b*(-1)+ c*1= -b+ c= 0, right?

I fixed the mistake.

I can't stand in waiting for b).

My attempt is:

The basis of S of (P_3, R) is (x^2, x, 1).

According to the definition of dual basis, for example the dual basis of the vector (1 0) is (1 0)^T.

Thus, the dual basis of (x^2, x, 1) is (x^2, x, 1).

 

[HallsofIvy]

The three given functionals are \phi_{-1}(f)= f(-1), \phi_0(f)= f(0), \phi)_1(f)= f(1). A "dual basis" would be functions

[math]f_-1(x)[/math] such that
[math]\phi_{-1}(f_{-1})= f_{-1}(-1)= 1,
[math]\phi_{0}(f_{-1})= f_{-1}(0)= 0,
[math]\phi_1(f_{-1})= f_{-1}(1)= 0

[math]f₀(x)[/math] such that
[math]\phi_{0}(f_0)= f_{0}(-1)= 0,
[math]\phi_{0}(f_0)= f_0(0)= 1,
[math]\phi_1(f_0)= f_0(1)= 0

[math]f₁(x)[/math] such that
[math]\phi_{0}(f_1)= f_{1}(-1)= 0,
[math]\phi_{0}(f_1)= f_1(0)= 0,
[math]\phi_1(f_1)= f_1(1)= 1

Since we are talking about polynomials of degree 2 or less, this reduces to
1) Find f_{-1}(x)= ax^2+ bx+ c satisfying
a) f_{-1}(-1)= a- b+ c= 1
b) f_{-1}(0)= c= 0
c) f_{-1}(1)= a+ b+ c= 0

2) Find f_{0}(x)= ax^2+ bx+ c satisfying
a) f_{0}(-1)= a- b+ c= 0
b) f_{0}(0)= c= 1
c) f_{0}(1)= a+ b+ c= 0

3) Find f_{1}(x)= ax^2+ bx+ c satisfying
a) f_{1}(-1)= a- b+ c= 0
b) f_{1}(0)= c= 0
c) f_{1}(1)= a+ b+ c= 1

 

[soopo]

Fixing the formatting of HallOfIvy:

f_{-1}(x) such that
\phi_{-1}(f_{-1})= f_{-1}(-1)= 1,
\phi_{0}(f_{-1})= f_{-1}(0)= 0,
\phi_1(f_{-1})= f_{-1}(1)= 0

f_{0}(x) such that
\phi_{-1}(f_0)= f_{0}(-1)= 0, # I fixed -1 here for phi
\phi_{0}(f_0)= f_0(0)= 1,
\phi_1(f_0)= f_0(1)= 0

f_{1}(x) such that
\phi_{-1}(f_1)= f_{1}(-1)= 0, # I fixed -1 here for phi
\phi_{0}(f_1)= f_1(0)= 0,
\phi_1(f_1)= f_1(1)= 1

Since we are talking about polynomials of degree 2 or less, this reduces to
1) Find f_{-1}(x)= ax^2+ bx+ c satisfying
a) f_{-1}(-1)= a- b+ c= 1 # I am not sure should this be 1
b) f_{-1}(0)= c= 0
c) f_{-1}(1)= a+ b+ c= 0

2) Find f_{0}(x)= ax^2+ bx+ c satisfying
a) f_{0}(-1)= a- b+ c= 0
b) f_{0}(0)= c= 1
c) f_{0}(1)= a+ b+ c= 0

3) Find f_{1}(x)= ax^2+ bx+ c satisfying
a) f_{1}(-1)= a- b+ c= 0
b) f_{1}(0)= c= 0
c) f_{1}(1)= a+ b+ c= 1

Reformatting what HallsOfIvy says\begin{tabular}{ | f_-1(x) | f_0(x) | f_1(x) | }<br /> &amp; f_{-1}(x) &amp; f_0(x) &amp; f_1(x) \\ <br /> \hline<br /> \phi_{-1} &amp; 1 &amp; 0 &amp; 0 \\<br /> \phi_0 &amp; 0 &amp; 1 &amp; 0 \\<br /> \phi_1 &amp; 0 &amp; 0 &amp; 1 \\<br /> ax^2 + bx + c: x=-1 &amp; a -b + c = 1 &amp; c = 0 &amp; a + b + c = 0 \\<br /> ax^2 + bx + c: x =0 &amp; - - 0 &amp; - - 1 &amp; - - 0 \\<br /> ax^2 + bx + c: x=1 &amp; - - 0 &amp; - - 0 &amp; - - 1 \\<br /> \end{tabular}

I did not write variables to the last two rows again.

I am not sure about the #4 line.
a -b + c =1? # should it be 0.

Could you, please, hallOfIvy more explain your results?