Use the Rodrigues formula to prove (4.59).

Name: Problem 8, Chapter 4: Applied Linear Algebra (Undergraduate Texts in Mathematics)
Uploaded: 2021-07-04T12:20:57-08:00
Duration: 10 min 8 s
Channel: Ed Tam
Description: Use the Rodrigues formula to prove (4.59).

Key Concepts

Rodrigues Formula

The Rodrigues formula is an explicit representation used to define certain families of orthogonal polynomials, such as Legendre, Hermite, and Laguerre polynomials. It expresses each polynomial as a derivative of a weighted power of the variable, providing a systematic way to derive properties like orthogonality, normalization, and recurrence relations. This formula is instrumental for theoretical analysis and proofs involving these polynomials.

Orthogonal Polynomials

Orthogonal polynomials form sequences where each polynomial is orthogonal to every other under a given inner product defined with a weight function over a specific interval. They arise frequently in problems of approximation theory, solutions of differential equations, and mathematical physics. The orthogonality property provides a robust framework for expanding functions and analyzing their behavior in diverse applications.

Legendre Polynomials

Legendre polynomials are a classic example of orthogonal polynomials relevant in many areas, including physics and engineering, particularly in problems exhibiting spherical symmetry. Defined on the interval [-1, 1], they are solutions to Legendre's differential equation and can be elegantly expressed using the Rodrigues formula. Their properties, such as orthogonality and recurrence relations, make them a fundamental tool in potential theory and the study of boundary value problems.

Differentiation Techniques

Differentiation techniques are critical in manipulating expressions that involve repeated derivatives, as seen in the Rodrigues formula. These techniques allow for the systematic derivation of properties of the polynomials, such as generating functions and recurrence relations, by applying differentiation rules. Mastery of these techniques provides the foundation for rigorously proving identities and evaluating expressions in the context of orthogonal polynomials.

Transcript

00:01 Okay, so now we want to show several basic algebraic properties of the adjoin operator.

00:08 So the first thing that we want to show is that suppose we have a linear operator, t1, and we add it to a second linear operator, t2.

00:19 If we take the transpose, i mean the adjoin of that, well, that is always equal to the adjoin of t1 plus the adjoin of t2.

00:31 Okay, so how do we show something like this? well, usually this kind of question just amounts to some symbolic manipulation using the properties of the inner product.

00:42 So consider the following, so we have t1 plus t2 applied to some vector u in a product with v.

00:52 Well, what do we have then? well, we know that by the property adjoins, this is equal to, u, t1 plus t2, adjoint on v, right? but then also, by linearity, we know that this is equal to t1 of u plus t2 of u, v.

01:22 Okay, which then again, by linearity, we can break down into t1 of u, v, plus t2, of u v okay so this is bilinearity of the inner product which then we can use again by uh uh uh uh the property uh by the definition of the ad joint we have u t 1 star v plus u t2 star v okay which we can then combine again bilinearity and show that this is equal to u t1 star v plus t2 star.

02:16 Note that everything that i've just written down is this long chain of equalities, right, over here.

02:23 So therefore, in particular, we conclude that this right here, these two things that i'm circling right here are equal.

02:30 So because u is arbitrary, so we have that these two inner product.

02:34 Are equal for any of you.

02:36 Okay, therefore their second arguments must be the same.

02:39 Therefore, we can conclude that t1 plus t2 star, okay, which is just the term corresponding to the, you know, above, you know, the circle above, must be equal to the t1 star plus t2 star, which is just the term that corresponds to the second box over here.

02:57 Okay? so that's the first little algebraic property that we want to show.

03:02 Let me refresh.

03:03 The second thing is we want to show that if we scale a linear operator by some scalar t and take the whole thing a joint, that's equal to k bar the conjugate times t and join.

03:20 Again, it's going to be the same kind of inner product manipulation.

03:25 So consider kt applied at u and in a product that with v.

03:34 Well then by the definition of a joint, that's equal to in a product of u, kt, star of v.

03:49 Right.

03:50 But then on the left -hand side, this is by linearity we can pull things out.

03:55 This is equal to k -t of u, v, okay, and then by property or definition of a joint, we have k, u, t, star, v.

04:11 And then we apply the homogeneity, the conjugate homogeneity property of inner products.

04:16 Well then we have u, k bar, t star, v...

Please give Ace some feedback