Ivan Shishkin, Rye (1878)

Problems/General algebraUnreviewed

About Legendre’s polynomials

by Sequoia·
50
Difficulty scaleÉchelle de difficulté

This score reflects both the level of the required concepts and the difficulty of the solution.Ce score tient compte à la fois du niveau des notions nécessaires et de la difficulté de la résolution.

  1. 110First steps / middle schoolPremiers pas / collège
  2. 1125Beginner / high schoolDébutant / lycée
  3. 2650Intermediate / undergraduateIntermédiaire / licence
  4. 5170Advanced / graduateAvancé / master
  5. 7190Expert / specializedExpert / spécialisé
  6. 91100Research levelNiveau recherche
These levels are approximate guides.Ces niveaux sont des repères approximatifs.
·
English
Unreviewed. This problem has not been reviewed by trusted users yet.

Let us define, on the set R[X]\mathbb{R}[X] of real polynomials, the endomorphism

u ⁣:PddX((1X2)P(X))u\colon P\longmapsto \frac{\mathrm{d}}{\mathrm{d}X}\left( (1-X^2) P'(X)\right)

as well as the polynomials

nN,Ln(X):=cnddX((X21)n)\forall n\in\mathbb{N}, L_n(X):=c_n\frac{\mathrm{d}}{\mathrm{d}X}\left((X^2-1)^n\right)

called Legendre’s polynomials, where cnc_n is a normalization constant such that LnL_n is monic. Finally, one define the scalar product
P,QR[X],P,Q:=11P(x)Q(x)dx.\forall P,Q\in\mathbb{R}[X], \langle P,Q\rangle :=\int_{-1}^1 P(x)\,Q(x)\,\mathrm{d}x.

  1. Determine the degree of LnL_n for all nNn\in\mathbb{N} and the value of cnc_n.
  2. Show that u is symmetric, meaning that u(P),Q=P,u(Q)\langle u(P), Q\rangle =\langle P,u(Q)\rangle for all P,QR[X]P,Q\in\mathbb{R}[X].
  3. a) Show that the Legendre polynomials are all eigenvectors or PP with specific eigenvalues that you will compute.
  4. b) Deduce that (Ln)n(L_n)_n is a basis of R[X]\mathbb{R}[X]. What can be said about Ln,Q\langle L_n, Q\rangle if deg(Q)<n\mathrm{deg}(Q)<n ?
  5. c) Show, using 3) a), that Ln(X)L_n(-X) is proportional to Ln(X)L_n(X), then determine the constant.
  6. Show that LnL_n satisfies the relation

XLn(X)=cncn1Ln1(X)+nLn(X)XL_n'(X)=\frac{c_n}{c_{n-1}} L_{n-1}'(X)+nL_n(X)

for all nNn\in\mathbb{N}^*.
5) Use all the previous questions in order to determine Ln(1),Ln(1)L_n(1), L_n(-1) and finally the norm Ln22:=Ln,Ln\Vert L_n\Vert_2^2:=\langle L_n, L_n\rangle.

I solved itMark it doneAdd to my listKeep it in your list

Solutions

0
Report

For an unclear, ambiguous, or possibly incorrect statement, please use the Discussion tab on the right. Report content that needs moderator intervention, such as dangerous, clearly non-mathematical, or plagiarized content.