Chebyshev series (source code)

= Chebyshev series
{c}
{title2=$f(x)=\sum_{j\geq0}c_jT_j(x)$}

A Chebyshev series expands a <function> in <Chebyshev polynomials> $T_j$. If $|c_j|\leq Mq^j$ for $0<q<1$, then $|T_j(x)|\leq1$ on $[-1,1]$ gives <uniform convergence> and the tail bound $\|f-\sum_{j=0}^dc_jT_j\|_\infty\leq Mq^{d+1}/(1-q)$ by the <geometric series>.