Inner Product Proof - Verify on L2[-1,1]

Click For Summary
SUMMARY

The discussion focuses on proving the inner product relationship for vectors expressed in terms of a basis, specifically in the context of the space L²[-1,1] using orthonormal Legendre polynomials. The proof demonstrates that for vectors v and w represented as linear combinations of basis vectors, the inner product can be expressed as = ∑(a_i b_i^*). The user seeks clarification on the relationship a_i = and how to apply it to verify the functions u(x) = x - x² and v(x) = 12 + x - 3x² in terms of the Legendre polynomials p_0, p_1, and p_2.

PREREQUISITES
  • Understanding of inner product spaces and their properties
  • Familiarity with orthonormal bases, specifically Legendre polynomials
  • Knowledge of linear combinations and vector representation in functional spaces
  • Basic proficiency in mathematical notation and proofs
NEXT STEPS
  • Study the properties of inner products in Hilbert spaces
  • Learn how to derive coefficients in orthonormal expansions using the Gram-Schmidt process
  • Explore the application of Legendre polynomials in approximation theory
  • Investigate the verification of functions as linear combinations of orthonormal bases
USEFUL FOR

Students and professionals in mathematics, particularly those studying functional analysis, linear algebra, or applied mathematics, will benefit from this discussion. It is especially relevant for those working with inner product spaces and polynomial approximations.

ElijahRockers
Gold Member
Messages
260
Reaction score
10

Homework Statement


This question has two parts, and I did the first part already I think.

If B = {u1, u2, ..., un} is a basis for V, and
##v = \sum_{i=1}^n a_i u_i##
and ##w = \sum_{i=1}^n b_i u_i##

Show ##<v,w> = \sum_{i=1}^n a_i b_i^* = b^{*T}a##

Here's how I did it:

##<v,w> = <\sum_{i=1}^n a_i u_i , w> = \sum_{i=1}^n a_i<u_i , w>##
## = \sum_{i=1}^n a_i b_i^* <u_i , u_i> = \sum_{i=1}^n a_i b_i^*##
Thus proved... however in class he mentioned ##a_i = <v,u_i >## for doing this but I'm not sure how... I've tried to examine it but I can't seem to justify it. And I think I did the proof without that, since <v,aw> = a*<v,w>

Second part of the question, where I'm confused, is, verbatim:

Verify ##V = L^2 [-1,1]##, where B is the set of orthonormal Legendre polynomials,

##p_0 (x) = \frac{1}{\sqrt{2}}##
##p_1 (x) = \sqrt{\frac{3}{2}}x##
##p_2 (x) = \sqrt{\frac{5}{8}}(3x^2 -1)##

and v,w are replaced by ##x-x^2## and ##12+x-3x^2##

Homework Equations

The Attempt at a Solution


Not really sure where to start... he mentioned a_i = <v, u_i > in class but I don't really feel comfortable with using that here because I don't understand how that's true. ( I feel like it's really simple, and that's why it's bothering me so much) If somebody could point me in the right direction as to why that expression is true, I could probably finish the question..
 
Physics news on Phys.org
ElijahRockers said:

Homework Statement


This question has two parts, and I did the first part already I think.

If B = {u1, u2, ..., un} is a basis for V, and
##v = \sum_{i=1}^n a_i u_i##
and ##w = \sum_{i=1}^n b_i u_i##

Show ##<v,w> = \sum_{i=1}^n a_i b_i^* = b^{*T}a##

Here's how I did it:

##<v,w> = <\sum_{i=1}^n a_i u_i , w> = \sum_{i=1}^n a_i<u_i , w>##
## = \sum_{i=1}^n a_i b_i^* <u_i , u_i> = \sum_{i=1}^n a_i b_i^*##
Thus proved... however in class he mentioned ##a_i = <v,u_i >## for doing this but I'm not sure how... I've tried to examine it but I can't seem to justify it. And I think I did the proof without that, since <v,aw> = a*<v,w>

Second part of the question, where I'm confused, is, verbatim:

Verify ##V = L^2 [-1,1]##, where B is the set of orthonormal Legendre polynomials,

##p_0 (x) = \frac{1}{\sqrt{2}}##
##p_1 (x) = \sqrt{\frac{3}{2}}x##
##p_2 (x) = \sqrt{\frac{5}{8}}(3x^2 -1)##

and v,w are replaced by ##x-x^2## and ##12+x-3x^2##

Homework Equations

The Attempt at a Solution


Not really sure where to start... he mentioned a_i = <v, u_i > in class but I don't really feel comfortable with using that here because I don't understand how that's true. ( I feel like it's really simple, and that's why it's bothering me so much) If somebody could point me in the right direction as to why that expression is true, I could probably finish the question..

Write ##u(x) =x-x^2## and ##v(x) = 12 + x - 3x^3## as constant-coefficient linear combinations of ##p_0(x), p_1(x), p_2(x)##. You can do it using your instructor's hint, or you can do it for ##u(x)## the hard way, by getting three equations for ##a_0, a_1,a_2## from the identities ##u(x) = a_0 p_0(x) + a_1 p_1(x) + a_2 p_2(x) \; \forall x##. Do the same type of thing for ##v(x)##. Then, if you want to, you can verify explicitly that ##a_i = \langle u,p_i \rangle##, etc.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
Replies
34
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 11 ·
Replies
11
Views
4K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K