Spivak's Calculus - Capital-Pi/Function Proof

  • Thread starter Thread starter Fllorv
  • Start date Start date
  • Tags Tags
    Calculus Proof
Click For Summary
SUMMARY

The discussion centers on finding polynomial functions \( f_i \) of degree \( n-1 \) that equal 1 at distinct points \( x_i \) and 0 at all other points \( x_j \) (where \( j \neq i \)). The solution involves using the Lagrange Interpolating Polynomial, represented as \( f_i(x) = \frac{\prod_{j=1, j \neq i}^{n} (x - x_j)}{\prod_{j=1, j \neq i}^{n} (x_i - x_j)} \). Participants clarified the notation and the significance of the variables, emphasizing that \( x \) is the variable for which the functions are defined, while \( x_i \) are distinct numbers. The discussion also included a specific example with cubic polynomials for further understanding.

PREREQUISITES
  • Understanding of polynomial functions and their degrees
  • Familiarity with Lagrange Interpolating Polynomial
  • Basic knowledge of mathematical notation, including products and summations
  • Ability to manipulate algebraic expressions
NEXT STEPS
  • Study the properties of Lagrange Interpolating Polynomials in detail
  • Practice deriving polynomial functions for specific sets of distinct numbers
  • Explore the implications of polynomial degree on function behavior
  • Learn about the applications of interpolation in numerical analysis
USEFUL FOR

Students of calculus, mathematicians, and educators seeking to deepen their understanding of polynomial interpolation and its applications in mathematical analysis.

Fllorv
Messages
1
Reaction score
0

Homework Statement


If [itex]x_1,...,x_n[/itex] are distinct numbers, find a polynomial function [itex]f_i[/itex] of degree [itex]n-1[/itex] which is ##1## at [itex]x_i[/itex] and ##0## at [itex]x_j[/itex] for [itex]j=/=i.[/itex] (This product is usually denoted by [see below] the symbol Capital Pi playing the same role for products that Capital Sigma plays for sums.)

Homework Equations


##n##
[itex]\prod(x-x_j)[/itex]
[itex]j=1[/itex]
[itex]j=/=i[/itex]

The Attempt at a Solution


This is a question out of Spivak's Calculus (particularly Chapter Three, Question Six). I've looked in the answer book, and he comes to the conclusion that
[itex]f_i (x) =[/itex]
##n##
[itex]\prod(x-x_j)[/itex]
j=1
j=/=i
##divided## ##by##
##n##
[itex]\prod(x_i - x_j)[/itex]
j=1
j=/=i
But I'm not satisfied with this answer alone
I'm almost positive that I'm over-complicating this problem, so I need help simplifying it.
-- I'm not sure why the function needs to be subscripted as [itex]f_i[/itex]
-- I'm not sure where the un-subscripted ##x## comes from in the Pi equation; does it rely on anything, or it just any random number?
-- What CAN [itex]x_j[/itex] and [itex]x_i[/itex] equal? Anything that equals 1 and 0 respectively (in the function)?
-- What does it mean that ##j=1## , does it mean that it is the first number in the previously mentioned series?
I suppose I have more questions, but I've confused myself and really need help being walked through it.

Thanks
 
Last edited:
Physics news on Phys.org
That is nearly unintelligible, but I think you are talking about
http://mathworld.wolfram.com/LagrangeInterpolatingPolynomial.html

-- I'm not sure why the function needs to be subscripted as fi
You are not finding a function, but n functions hence the subscript
-- I'm not sure where the un-subscripted x comes from in the Pi equation; does it rely on anything, or it just any random number?
x is the variable we are finding functions, not numbers
-- What CAN xj and xi equal? Anything that equals 1 and 0 respectively (in the function)?
the xi are distinct numbers
-- What does it mean that j=1 , does it mean that it is the first number in the previously mentioned series?
x1 is the first number, though it does not say the numbers are in order, it would not matter.

Maybe you will understand the general case if you do one specific example
find 4 cubic polynomials f1,f2,f3,f4 such that
f1(0)=1
f1(0)=0
f1(0)=0
f1(0)=0
f2(1)=0
f2(1)=1
f2(1)=0
f2(1)=0
f3(3)=0
f3(3)=0
f3(3)=1
f3(3)=0
f4(4)=0
f4(4)=0
f4(4)=0
f4(4)=1

expressed more briefly as
fi(xj)=δij
where i,j=1,2,3,4
(x1,x2,x3,x4)=(0,1,3,4)
and
δij=1 when i=j
δij=0 otherwise
 

Similar threads

Replies
3
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
8
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K