Polynomial roots
over all numbers
Chebyshev alternation theorem
Show that there is no polynomial q of degree at most n-1 which satisfies
for
Complex numbers
Show that K is convex and is contained in every convex set
containing
when
Rogosinski's Theorem
>
# This Maple program computes the Chebyshev polynomials T[n]
>
plot({T[1],T[2],T[3],T[4],T[5],T[6]}, x=-1.1..1.1, -3..3, title=`Chebyshev Polynomials`);
>
# This Maple program expands the generating function for
>
simplify(taylor(f,r,11));
>
# This Maple program checks a summation formula for the Chebyshev polynomials.
This Maple program uses the second order linear differential equation satisfied by the
Chebyshev polynomials to compute a recursion relation for the coefficients. They
are computed in descending order and a general formula is obtained.
>
diffeq:=
>
(1-x^2)*diff(y(x),x,x)-x*diff(y(x),x)+n^2*y(x) = 0;
>
dsolve({diffeq, y(1)=1, D(y)(1) = n^2}, y(x));
Try power series method:
>
terms:=sum(a[m]*x^m, m=k-2..k);
>
subs(y(x) = terms, diffeq);
>
simplify(%);
>
low_term:= coeff(lhs(%),x^(k-2));
>
expr:=solve(low_term = 0, a[k-2]);
>
recursive_eq := a[k-2]=factor(expr);
>
a[n]:=2^(n-1);
>
recursive_eq2:= subs(k=n-m,recursive_eq);
>
for m from 0 by 2 to 8 do
>
a[n-m-2]:= normal(rhs(recursive_eq2))
>
od;
The general formula appears to be:
A similar argument shows that a[n-1] = 0 and thus a[n-2m+1] = 0 for the same m.
Dr. Harris' field of specialization is infinite dimensional function theory
and its applications to functional analysis. He has been a featured speaker
at several international conferences in this area and has traveled widely
lecturing on mathematical topics. During the 1980's Dr. Harris worked in
compiler theory and taught courses across the curriculum in computer science.
Exercises for Polynomial Functions Lectures
Chebyshev polynomials
.
is a factor of p(x)-v.
.
are exactly the
numbers
, where
.
for
.
with
. Find the points
where this minimum is attained.
on an interval [a,b] is given by
Markov's theorem
in [a,b].
Put
for all x with
.
for all
. (Hint: Use the
addition formula for the sine and induction.)
. (Hint: Use the
chain rule.)
is a linear combination of
.
.
Show that if
, then
whenever
, then
.
and
, respectively, then
.
for
, then
and
. (Hint: If also
, then
q(t)=p(t/2+ x -1/2) satisfies the same hypothesis as p so
by the Schur inequality.)
is a solution of the second order linear
differential equation
.
be n complex numbers and let
. (Hint: For the second part, use
induction and the identity
.)
over all complex numbers
with
.
exactly when
for all complex numbers
satisfying
.
.
when |z| = 1. Use the maximum principle and the
previous problem to show that
when
, where n is the
degree of p.
and put
. Deduce that
when
.
when
.
for
.
for
.
whenever
and
.
whenever
. (Hint: Put
and show that
for
.)
for x=-2, -1, 0, 1, 2.
(Hint: Use Maple)
Maple Programs
Recursive computation of the Chebyshev polynomials
# up to degree N
N := 10;
T[0] := 1;
T[1] := x;
for n from 1 to N-1 do
T[n+1] := expand(2*x*T[n] - T[n-1])
od;
Graphs
Generating function for the Chebyshev polynomials
# the Chebyshev polynomials
f:=(1-x*r)/(1-2*x*r+r^2);
Verify summation formula for the Chebyshev polynomials
N:=10;
for n from 1 to N do
T[n]:=simplify(sum('(-1)^k *binomial(n,2*k)*x^(n-2*k)*(1-x^2)^k',k=0..n/2))
od;
Explicit formula for coefficients
References
Classical theory of polynomials
Abstract polynomials
Biographical Notes
Professor Larry Harris was born in Chicago, Illinois, obtained a B.S. in
Mathematics at the University of Illinois in 1966 and a Ph.D. at Cornell
University in 1969. He served as an instructor at MIT for the following two
years and then moved to the University of Kentucky where he is now Professor
of Mathematics.
e-mail address:
larry@ms.uky.edu
Web page: http://www.ms.uky.edu/~larry