Second-kind Chebyshev recurrence

#hsc-maths#sequences#medium

The Chebyshev polynomials are a famous family of orthogonal polynomials that appear in approximation theory, numerical analysis, and even in the design of filters. For HSC Mathematics Extension 1 students, this problem offers valuable practice with recurrence relations – a core topic in sequences and series. By carefully applying the given recurrence, you’ll see how to build higher-order terms from the initial values, while sharpening your algebraic manipulation.

Problem Statement

The second-kind Chebyshev polynomials satisfy

U0(x)=1,U1(x)=2x,Un+1(x)=2xUn(x)Un1(x).U_0(x)=1,\qquad U_1(x)=2x,\qquad U_{n+1}(x)=2xU_n(x)-U_{n-1}(x).

Use this recurrence to find U3(x)U_3(x) and U4(x)U_4(x).


Hints

First find U2(x)U_2(x), then continue to U3(x)U_3(x) and U4(x)U_4(x).


Solutions

We begin by finding U2(x)U_2(x), which is the first new term generated by the recurrence. Using n=1n=1 with U1(x)=2xU_1(x)=2x and U0(x)=1U_0(x)=1:

U2(x)=2x(2x)1=4x21.U_2(x)=2x(2x)-1=4x^2-1.

Now that we have U2(x)U_2(x), we can step forward to U3(x)U_3(x) by setting n=2n=2 and feeding in U2(x)U_2(x) and U1(x)U_1(x):

U3(x)=2x(4x21)2x=8x34x.U_3(x)=2x(4x^2-1)-2x=8x^3-4x.

Finally, to obtain U4(x)U_4(x), we let n=3n=3 and substitute the expressions for U3(x)U_3(x) and U2(x)U_2(x):

U4(x)=2x(8x34x)(4x21)=16x412x2+1.U_4(x)=2x(8x^3-4x)-(4x^2-1)=16x^4-12x^2+1.

Takeaways

  • The first-kind and second-kind Chebyshev polynomials share the same recurrence relation; it's the initial conditions that set them apart.
  • The starting values determine which family is produced.
  • Keep your recurrence calculations tidy: substituting correctly and simplifying line by line prevents small mistakes.

Further Readings

HSC Vectors, HSC Proofs, HSC Last Resorts, HSC Mechanics

Written by Vu Hung Nguyen

Mathematics Educator · LinkedIn · About