Polynomial

From Free net encyclopedia

In mathematics, a polynomial is an expression in which constants and variables are combined using only addition, subtraction, and multiplication. Thus,

<math> 2 x^2 y z^3 - 3 y^2 + 5 y z - 2 \,</math>

is a polynomial, but

<math> {1 \over x^2 + 1} \,</math>

is not a polynomial.

A polynomial function is a function defined by evaluating a polynomial. For example, the function f defined by f(x) = x3x is a polynomial function. Polynomial functions are an important class of smooth functions; smooth meaning that they are infinitely differentiable, i.e., they have derivatives of all finite orders.

Because of their simple structure, polynomials are easy to evaluate, and are used extensively in numerical analysis for polynomial interpolation or to numerically integrate more complex functions.

Contents

Elementary properties of polynomials

All polynomials have an expanded form, in which the distributive law has been used to remove all parentheses. (Some polynomials also have a factored form, in which parentheses appear.) In expanded form, a term of a polynomial is a part of the polynomial that is the product of a number (called the coefficient) and zero or more variables, where a variable that appears more than once is expressed as a power of that variable. Every polynomial in expanded form is a sum of terms, where subtraction is carried out by addition of terms with negative coefficients.

Polynomials are classified by their degree and number of variables. The degree of a term in a polynomial is the sum of all of the exponents on the variables in that term, where a variable with no exponent is understood to have an exponent of 1. In particular, a term with no variables has degree zero. The degree of the polynomial is the largest degree of any one term, where we ignore terms with coefficient zero. If all the coefficients are zero, the degree is not zero, but is undefined or defined to have some other value for use in particular contexts.

Example:

3x(xy) + z

is equivalent to the expanded form

3x2 − 3xy + z.

In this expanded form, the second term is −3xy and its degree is 2. The polynomial is a second degree polynomial in three variables. If x = 10, y = 5, z = 100 then the evaluation of the polynomial is 250.

Every polynomial in one variable is equivalent to a polynomial with the form

anxn + an−1xn−1 + ... + a2x2 + a1x + a0.

This form is sometimes taken as the definition of a polynomial in one variable.

Evaluation of a polynomial consists of assigning a number to each variable and carrying out the indicated multiplications and additions. Evaluation is sometimes performed more efficiently using the Horner scheme

((...(anx + an−1)x + ... + a2)x + a1)x + a0.

A polynomial equation is an equation in the form of a polynomial equal to zero or equal to another polynomial. The latter form is usually converted to the former by subtracting the second polynomial from both sides of the equation. When written as a polynomial equal to zero, the degree of the equation is the degree of the polynomial. The variables are often referred to as "unknowns", in the sense that the equation is a problem to be solved by finding numbers to assign to the variables to make the equation true when the polynomial is evaluated.

In elementary algebra, methods are given for solving all first degree and second degree polynomial equations in one unknown. The number of solutions may equal the degree, but it is necessary to consider multiplicity of solutions and complex numbers for this to be universally true, as described in the fundamental theorem of algebra.

A system of polynomial equations is a set of equations that must be evaluated with the same assignment of numbers to variables in every equation. Systems of equations are usually grouped with a single open brace on the left. In elementary algebra, methods are given for solving systems of linear equations in several unknowns. To get a unique solution, the number of equations usually must equal the number of unknowns. Systems of linear equations in several unknowns are treated in linear algebra.

More advanced examples of polynomials

Also in linear algebra, the characteristic polynomial of a square matrix encodes several important properties of the matrix.

In graph theory the chromatic polynomial of a graph encodes the different ways to vertex color the graph using x colors.

In abstract algebra, one may define polynomials with coefficients in any ring.

In knot theory the Alexander polynomial, the Jones polynomial, and the HOMFLY polynomial are important knot invariants.

History

Determining the roots of polynomials, or "solving algebraic equations", is among the oldest problems in mathematics. Some polynomials, such as f(x) = x² + 1, do not have any roots among the real numbers. If, however, the set of allowed candidates is expanded to the complex numbers, every (non-constant) polynomial has a root: this is the statement of the fundamental theorem of algebra.

There is a difference between approximating roots and finding concrete closed formulas for them. Formulas for the roots of polynomials of degree up to 4 have been known since the 16th century (see quadratic equation, Gerolamo Cardano, Niccolo Fontana Tartaglia). But formulas for degree 5 eluded researchers for a long time. In 1824, Niels Henrik Abel proved the striking result that there can be no general formula (involving only the arithmetical operations and radicals) for the roots of a polynomial of degree 5 or greater in terms of its coefficients (see Abel-Ruffini theorem). This result marked the start of Galois theory which engages in a detailed study of relations among roots of polynomials.

The difference engine of Charles Babbage was designed to create large tables of values of logarithms and trigonometric functions automatically, by evaluating approximating polynomials at many points using Newton's difference method.

Polynomial functions

For given constants (i.e., numbers) a0, …, an in some field (possibly but not limited to R or C) with an non-zero, for n > 0, then a polynomial (function) of degree n is a function of the form

<math>f(x) = a_0 + a_1 x + \cdots + a_{n - 1} x^{n - 1} + a_n x^n.</math>

More concisely, a polynomial function can be written in sigma notation as

<math>f(x) = \sum_{i = 0}^{n} a_{i} x^{i}.</math>

The constants a0, …, an are called the coefficients of the polynomial. a0 is called the constant coefficient and an is called the leading coefficient. When the leading coefficient is 1, the polynomial is said to be monic or normed.

Each summand ai xi of the polynomial is called a term. A polynomial with one, two or three terms is called monomial, binomial or trinomial respectively.

Polynomial functions of

Graphs

A polynomial function in one real variable can be represented by a graph.

  • The graph of the zero polynomial
f(x) = 0

is the x-axis.

  • The graph of a degree 0 polynomial
f(x) = a0 , where a0 ≠ 0,

is a horizontal line with y-intercept a0

  • The graph of a degree 1 polynomial (or linear function)
f(x) = a0 + a1x , where a1 ≠ 0,

is an oblique line with y-intercept a0 and slope a1.

  • The graph of a degree 2 or higher polynomial
f(x) = a0 + a1x + a2x2 + . . . + anxn , where an ≠ 0 and n ≥ 2

is a continuous non-linear curve.

The best way to analyze the graph of a degree 2 or higher polynomial function is by its end behavior, the number of x-intercepts and the number of turning points.

End behavior

There are four end behaviors which are direct results of whether an, the leading coefficient, is positive or negative and whether n, the degree of the polynomial, is even or odd.

  • If an is positive and n is even, the right end of the polynomial is in quadrant I while the left end is in quadrant II.
  • If an is negative and n is even, the right end is in quadrant IV while the left end is in quadrant III.
  • If an is positive and n is odd, the right end is in quadrant I while the left end is in quadrant III.
  • If an is negative and n is odd, the right end is in quadrant IV while the left end is in quadrant II.

Number of x-intercepts

From the fundamental theorem of algebra, a polynomial of degree n has exactly n complex roots, which may or may not be real. Therefore, the number of x-intercepts can't exceed <math>n</math>. It also follows from the Fundamental Theorem of Algebra that the complex roots of a polynomial must exist in conjugate pairs. This implies that an even-degree polynomial may have no x-intercepts (because all its roots may be complex); an odd-degree polynomial, on the other hand, must have at least one x-intercept, since any pairing of roots into conjugate pairs will necessarily leave at least one unpaired for odd n. These "unpaired" roots must therefore be real. For example, a degree 4 polynomial function can have 0, 2 or 4 x-intercepts whereas a degree 5 polynomial function can have 1, 3 or 5 x-intercepts. This assumes that x-intercepts are counted with their appropriate multiplicity - for example, the x-intercept of x2 at the origin is counted twice because 0 is a double root of x2.

Number of turning points

The number of turning points of an even-degree polynomial is any odd number less than the degree, while the number of turning points of an odd-degree polynomial is any even number less than the degree. For example, a degree 4 polynomial function can have 1 or 3 turning points whereas a degree 5 polynomial function can have 0, 2, or 4 turning points.

The following are some examples of polynomials of low degree.

Examples

Image:Polynomialdeg2.png Image:Polynomialdeg3.png
Image:Polynomialdeg4.png Image:Polynomialdeg5.png

The function

<math>f(x)= -7x^3 + \begin{matrix}\frac{2}{3}\end{matrix} x^2 - 5x + 3</math>

is an example of a cubic function with leading coefficient −7 and constant coefficient 3.

Roots

A root or zero of a polynomial p is a number ζ so that p(ζ) = 0. The fundamental theorem of algebra states that a polynomial of degree n over the complex numbers has exactly n complex roots (not necessarily distinct ones). Therefore a polynomial can be factored as

<math>p(x) = a_n(x-\zeta_1)\cdots(x-\zeta_{n})</math>

where each <math>\zeta_i</math> is a root of the polynomial p. For example, the polynomial x3x can be factored as x(x−1)(x+1). An equation of the form p(x)=0 is called a polynomial equation in the unknown x. The solutions to the equation are the roots of the polynomial. The real roots of a polynomial (without non-real coefficients) are the x-intercepts of the graph of p(x) viewed as a polynomial function.

Solving a polynomial equation in one unknown is easily done on computer by the Durand-Kerner method. The reduction of equations in several unknowns to equations in one unknown each is discussed in the article on the Buchberger's algorithm. The special case where all the polynomials are of degree one is the gaussian elimination.

Equations of degree two can without computer be reduced to square roots. See quadratic equations.

Polynomials and calculus

One important aspect of calculus is the project of analyzing complicated functions by means of approximating them with polynomials. The culmination of these efforts is Taylor's theorem, which roughly states that every differentiable function locally looks like a polynomial, and the Stone-Weierstrass theorem, which states that every continuous function defined on a compact interval of the real axis can be approximated on the whole interval as closely as desired by a polynomial. Polynomials are also frequently used to interpolate functions.

Quotients of polynomials are called rational expressions, and functions that evaluate rational expressions are called rational functions. Piecewise rationals are the only functions that can be evaluated directly on a computer, since typically only the operations of addition, multiplication, division and comparison are implemented in hardware. All the other functions that computers need to evaluate, such as trigonometric functions, logarithms and exponential functions, must then be approximated in software by suitable piecewise rational functions.

Evaluation of polynomials

To evaluate a polynomial in monomial form one can use the Horner scheme. For a polynomial in Chebyshev form the Clenshaw algorithm can be used. If several equidistant xn have to be calculated one would use Newton's difference method.

Abstract algebra

In abstract algebra, one must take care to distinguish between polynomials and polynomial functions. A polynomial f is defined to be a formal expression of the form

<math>f = a_n X^n + a_{n - 1} X^{n - 1} + \cdots + a_1 X + a_0</math>

where the coefficients a0, ..., an are elements of some ring R and X is considered to be a formal symbol. Two polynomials are considered to be equal if and only if the sequences of their coefficients are equal. Polynomials with coefficients in R can be added by simply adding corresponding coefficients and multiplied using the distributive law and the rules

<math>
X \; a = a \; X</math>
  for all elements a of the ring R
<math>
X^k \; X^l = X^{k+l}</math>
  for all natural numbers k and l.

One can then check that the set of all polynomials with coefficients in the ring R forms itself a ring, the ring of polynomials over R, which is denoted by R[X]. If R is commutative, then R[X] is an algebra over R.

One can think of the ring R[X] as arising from R by adding one new element X to R and only requiring that X commute with all elements of R. In order for R[X] to form a ring, all sums of powers of X have to be included as well. Formation of the polynomial ring, together with forming factor rings by factoring out ideals, are important tools for constructing new rings out of known ones. For instance, the clean construction of finite fields involves the use of those operations, starting out with the field of integers modulo some prime number as the coefficient ring R (see modular arithmetic).

To every polynomial f in R[X], one can associate a polynomial function with domain and range equal to R. One obtains the value of this function for a given argument r by everywhere replacing the symbol X in f's expression by r. The reason that algebraists have to distinguish between polynomials and polynomial functions is that over some rings R (for instance, over finite fields), two different polynomials may give rise to the same polynomial function. This is not the case over the real or complex numbers and therefore many analysts often don't separate the two concepts.

Divisibility

In commutative algebra, one major focus of study is divisibility among polynomials. If R is an integral domain and f and g are polynomials in R[X], it is said that f divides g if there exists a polynomial q in R[X] such that f q = g. One can then show that "every zero gives rise to a linear factor", or more formally: if f is a polynomial in R[X] and r is an element of R such that f(r) = 0, then the polynomial (Xr) divides f. The converse is also true. The quotient can be computed using the Horner scheme.

If F is a field and f and g are polynomials in F[X] with g ≠ 0, then there exist unique polynomials q and r in F[X] with

<math> f = q \, g + r </math>

and such that the degree of r is smaller than the degree of g. The polynomials q and r are uniquely determined by f and g. This is called "division with remainder" or "polynomial long division" and shows that the ring F[X] is a Euclidean domain.

Analogously, polynomial "primes" (more correctly, irreducible polynomials) can be defined which cannot be factorized into the product of two polynomials of lesser degree. It is not easy to determine if a given polynomial is irreducible. One can start by simply checking if the polynomial has linear factors. Then, one can check divisibility by some other irreducible polynomials. Eisenstein's criterion can also be used in some cases to determine irreducibility.

Extensions of the concept of a polynomial

One also speaks of polynomials in several variables, obtained by taking the ring of polynomials of a ring of polynomials: R[X,Y] = (R[X])[Y] = (R[Y])[X]. These are of fundamental importance in algebraic geometry which studies the simultaneous zero sets of several such multivariate polynomials.

Polynomials are frequently used to encode information about some other object. The characteristic polynomial of a matrix or linear operator contains information about the operator's eigenvalues. The minimal polynomial of an algebraic element records the simplest algebraic relation satisfied by that element.

Other related objects studied in abstract algebra are formal power series, which are like polynomials but may have infinite degree, and the rational functions, which are ratios of polynomials.

See also

ca:Polinomi cy:Polynomial cs:Polynom da:Polynomium de:Polynom es:Polinomio fr:Polynôme fy:Mearterm gl:Polinomio ko:다항식 it:Polinomio he:פולינום hu:Polinom nl:Polynoom ja:多項式 pl:Wielomian pt:Polinómio ru:Многочлен sl:Polinom fi:Polynomi sv:Polynom tr:Polinom zh:多項式