Πολυώνυμα Chebyshev πρώτου είδους

Τα πολυώνυμα Chebyshev πρώτου είδους, σημειώνονται με $T_n(x)$ και παίζουν σημαντικό ρόλο στην ανάλυση, τη θεωρία προσεγγίσεων και την αριθμητική ανάλυση.

Ορισμός

Ορίζονται από τη σχέση:

$$T_n(\cos \theta) = \cos(n \theta),$$

για κάθε πραγματικό $\theta$ και ακέραιο $n \geq 0$.

---

Αναδρομική σχέση

Τα πολυώνυμα $T_n(x)$ ικανοποιούν την αναδρομή:

$$T_0(x)=1,T_1(x)=x,$$$$T_{n+1}(x)=2x{T}_n(x)-T_{n-1}(x)\mathrm{.}$$

---

Παραδείγματα

Για τα πρώτα $n$, τα πολυώνυμα είναι:

$$T_0(x) = 1,$$$$T_1(x) = x,$$$$T_2(x) = 2x^2 - 1,$$$$T_3(x) = 4x^3 - 3x,$$$$T_4(x) = 8x^4 - 8x^2 + 1.$$

Ρίζες

Οι ρίζες του πολυωνύμου $T_n(x)$ δίνονται από τον τύπο:

$$x_k = \cos \left( \frac{\pi (2k-1)}{2n} \right),$$

για $k = 1, 2, \ldots, n.$

---

Ορθογωνιότητα

Τα $T_n(x)$ αποτελούν μια ορθογώνια ακολουθία πολυωνύμων στο διάστημα $[-1, 1]$ με βάρος:

$$w(x) = \frac{1}{\sqrt{1-x^2}}.$$

Η συνθήκη ορθογωνιότητας είναι:

$$\int_{-1}^{1} \frac{T_m(x) T_n(x)}{\sqrt{1-x^2}} \, dx = \begin{cases} 0, & m \neq n, \\ \pi, & n = m = 0, \\ \frac{\pi}{2}, & n = m \neq 0. \end{cases}$$

Πολυωνυμική μορφή

Μπορούμε να εκφράσουμε το $T_n(x)$ ως πολυώνυμο με ακέραιους συντελεστές. Για παράδειγμα:

$$T_n(x) = \frac{n}{2} \sum_{k=0}^{\lfloor n/2 \rfloor} (-1)^k \frac{(n-k-1)!}{k!(n-2k)!} (2x)^{n-2k}.$$

Εφαρμογές

1. Προσέγγιση συναρτήσεων: Τα πολυώνυμα Chebyshev είναι πολύ χρήσιμα στη μέθοδο Chebyshev για πολυωνυμική παρεμβολή, καθώς ελαχιστοποιούν το σφάλμα της προσέγγισης.

2. Αριθμητική ανάλυση: Χρησιμοποιούνται σε μεθόδους επίλυσης διαφορικών εξισώσεων και προβλημάτων βελτιστοποίησης.

3. Τριγωνομετρικές ταυτότητες: Οι ταυτότητες $\cos(n\theta)$ μπορούν να εκφραστούν άμεσα μέσω των $T_n(\cos \theta)$.