<?xml version="1.0" encoding="UTF-8"?>

<record version="8" id="2161">
 <title>Chebyshev polynomial</title>
 <name>ChebyshevPolynomial</name>
 <created>2002-02-19 00:35:29</created>
 <modified>2009-05-04 12:36:19</modified>
 <type>Definition</type>
 <creator id="3" name="drini"/>
 <author id="2872" name="pahio"/>
 <author id="5879" name="wnoise"/>
 <author id="3" name="drini"/>
 <classification>
	<category scheme="msc" code="42A05"/>
	<category scheme="msc" code="42C05"/>
	<category scheme="msc" code="33C45"/>
 </classification>
 <defines>
	<concept>Chebyshev polynomial of first kind</concept>
	<concept>Chebyshev polynomial of second kind</concept>
 </defines>
 <related>
	<object name="Polynomial"/>
 </related>
 <preamble>%\usepackage{graphicx}
%\usepackage{xypic} 
\usepackage{bbm}
\newcommand{\Z}{\mathbbmss{Z}}
\newcommand{\C}{\mathbbmss{C}}
\newcommand{\R}{\mathbbmss{R}}
\newcommand{\Q}{\mathbbmss{Q}}
\newcommand{\mathbb}[1]{\mathbbmss{#1}}</preamble>
 <content>The \emph{Chebyshev polynomials of first kind} are defined by the simple 
formula $$T_n(x)=\cos(nt),$$ where $x=\cos t$.

It is an example of a \emph{trigonometric polynomial}.

This can be seen to be a polynomial by expressing $\cos(kt)$ as a polynomial of $\cos(t)$, by using the formula for cosine of angle-sum:

\begin{eqnarray*}
\cos(1t)&amp;=&amp;\cos(t)\\
\cos(2t)&amp;=&amp;\cos(t)\cos(t) - \sin(t)\sin(t) = 2(\cos(t))^2-1\\
\cos(3t)&amp;=&amp;4(\cos(t))^3-3\cos(t)\\
&amp;\vdots&amp;
\end{eqnarray*}

So we have
\begin{eqnarray*}
T_0(x)&amp;=&amp;1\\
T_1(x)&amp;=&amp;x\\
T_2(x)&amp;=&amp;2x^2-1\\
T_3(x)&amp;=&amp;4x^3-3x\\
&amp;\vdots&amp;
\end{eqnarray*}

These polynomials obey the recurrence relation:
$$T_{n+1}(x) \;=\; 2xT_n(x)-T_{n-1}(x)$$
for $n = 1,\,2,\,\ldots$

Related are the \emph{Chebyshev polynomials of the second kind} that are
defined as $$U_{n-1}(\cos t) = \frac{\sin(n t)}{\sin (t)},$$ which
can similarly be seen to be polynomials through either a similar process as the
above or by the relation $U_{n-1}(t) = n T_n'(t)$.

The first few are:
\begin{eqnarray*}
U_0(x)&amp;=&amp;1\\
U_1(x)&amp;=&amp;2x\\
U_2(x)&amp;=&amp;4x^2-1\\
U_3(x)&amp;=&amp;8x^3-4x\\
&amp;\vdots&amp;
\end{eqnarray*}

The same recurrence relation also holds for $U$:
$$U_{n+1}(x) \;=\; 2xU_n(x)-U_{n-1}(x)$$
for $n = 1,\,2,\,\ldots$.</content>
</record>
