Discriminant

For other uses, see Discrimination (disambiguation).

In algebra, the discriminant of a polynomial is a function of its coefficients, typically denoted by a capital 'D' or the capital Greek letter Delta (Δ). It gives information about the nature of its roots. Typically, the discriminant is zero if and only if the polynomial has a multiple root. For example, the discriminant of the quadratic polynomial

ax^2+bx+c\,

is

\Delta = \,b^2-4ac.

Here for real a, b and c, if Δ > 0, the polynomial has two real roots, if Δ = 0, the polynomial has one real double root, and if Δ < 0, the two roots of the polynomial are complex conjugates.

The discriminant of the cubic polynomial

ax^3+bx^2+cx+d\,

is

\Delta = \,b^2c^2-4ac^3-4b^3d-27a^2d^2+18abcd.

For higher degrees, the discriminant is always a polynomial function of the coefficients. It becomes significantly longer for the higher degrees. The discriminant of a general quartic has 16 terms,[1] that of a quintic has 59 terms,[2] that of a 6th degree polynomial has 246 terms,[3] and the number of terms increases exponentially with the degree.

A polynomial has a multiple root (i.e. a root with multiplicity greater than one) in the complex numbers if and only if its discriminant is zero.

The concept also applies if the polynomial has coefficients in a field which is not contained in the complex numbers. In this case, the discriminant vanishes if and only if the polynomial has a multiple root in any algebraically closed field containing the coefficients.

As the discriminant is a polynomial function of the coefficients, it is defined as long as the coefficients belong to an integral domain R and, in this case, the discriminant is in R. In particular, the discriminant of a polynomial with integer coefficients is always an integer. This property is widely used in number theory.

The term "discriminant" was coined in 1851 by the British mathematician James Joseph Sylvester.[4]

Definition

In terms of the roots, the discriminant is given by

\Delta = a_n^{2n-2}\prod_{i<j}{(r_i-r_j)^2}=(-1)^{n(n-1)/2}a_n^{2n-2}\prod_{i \neq j}{(r_i-r_j)}

where a_n is the leading coefficient and r_1, \ldots, r_n are the roots (counting multiplicity) of the polynomial in some splitting field. It is the square of the Vandermonde polynomial times a_n^{2n-2}.

As the discriminant is a symmetric function in the roots, it can also be expressed in terms of the coefficients of the polynomial, since the coefficients are the elementary symmetric polynomials in the roots; such a formula is given below.

Expressing the discriminant in terms of the roots makes its key property clear, namely that it vanishes if and only if there is a repeated root, but does not allow it to be calculated without factoring a polynomial, after which the information it provides is redundant (if one has the roots, one can tell if there are any duplicates). Hence the formula in terms of the coefficients allows the nature of the roots to be determined without factoring the polynomial.

Formulas for low degrees

The zero set of discriminant of the cubic x^3+b x^2+c x+d, i.e. points satisfying b2c2–4c3–4b3d–27d2+18bcd=0.
The discriminant of the quartic polynomial x^4+c x^2+d x + e. The surface represents point (a,b,c) where the polynomial has a repeated roots, the cuspidal edge correspond to polynomials with a triple root and the self intersection to the polynomials with two different repeated roots.

The discriminant of a linear polynomial (degree 1) is rarely considered. If needed, it is commonly defined to be equal to 1 (this is compatible with the usual conventions for the empty product and the determinant of the empty matrix). There is no common convention for the discriminant of a constant polynomial (degree 0).

The quadratic polynomial

 ax^2+bx+c \,

has discriminant

\Delta=b^2-4ac.\,

The cubic polynomial

 ax^3+bx^2+cx+d \,

has discriminant

\Delta=b^2c^2-4ac^3-4b^3d-27a^2d^2+18abcd.\,

The quartic polynomial

 ax^4+bx^3+cx^2+dx+e\,

has discriminant


\begin{align}
\Delta = {} & 256a^3e^3-192a^2bde^2-128a^2c^2e^2+144a^2cd^2e \\
& {} -27a^2d^4+144ab^2ce^2-6ab^2d^2e-80abc^2de \\
& {} +18abcd^3+16ac^4e-4ac^3d^2-27b^4e^2+18b^3cde \\
& {} -4b^3d^3-4b^2c^3e+b^2c^2d^2.
\end{align}

These are homogeneous polynomials in the coefficients, respectively of degree 2, 4 and 6. They are also homogeneous in terms of the roots, of respective degrees 2, 6 and 12.

Simpler polynomials have simpler expressions for their discriminants. For example, the monic quadratic polynomial x2 + bx + c has discriminant Δ = b2 − 4c. The monic cubic polynomial without quadratic term x3 + px + q has discriminant Δ = −4p3 − 27q2. In terms of the roots, these discriminants are homogeneous polynomials of respective degree 2 and 6.

Homogeneity

The discriminant is a homogeneous polynomial in the coefficients; it is also a homogeneous polynomial in the roots.

In the coefficients, the discriminant is homogeneous of degree 2n−2; this can be seen two ways. In terms of the roots-and-leading-term formula, multiplying all the coefficients by λ does not change the roots, but multiplies the leading term by λ. In terms of the formula as a determinant of a (2n−1) ×(2n−1) matrix divided by an, the determinant of the matrix is homogeneous of degree 2n−1 in the entries, and dividing by an makes the degree 2n−2; explicitly, multiplying the coefficients by λ multiplies all entries of the matrix by λ, hence multiplies the determinant by λ2n−1.

For a monic polynomial, the discriminant is a polynomial in the roots alone (as the an term is one), and is of degree n(n−1) in the roots, as there are \textstyle \binom{n}{2}=\frac{n(n-1)}{2} terms in the product, each squared.

Let us consider the polynomial

 P=a_0x^n+a_1x_{n-1}+ \cdots +a_n.

It follows from what precedes that its discriminant is homogeneous of degree 2n−2 in the a_i and quasi-homogeneous of weight n(n−1) if each  a_i is given the weight i. In other words, every monomial a_0^{i_0}\cdots, a_n^{i_n} appearing in the discriminant satisfies the two equations

i_0+i_1+\cdots+i_n=2n-2

and

0\,i_0+1\,i_1+\cdots+n\,i_n=n(n-1)

These thus correspond to the partitions of n(n−1) into at 2n−2 (non negative) parts of size at most n

This restricts the possible terms in the discriminant. For the quadratic polynomial  ax^2+bx+c there are only two possibilities for  [i_0,i_1,i_2], either [1,0,1] or [0,2,0], given the two monomials ac and b2. For the cubic polynomial  ax^3+bx^2+cx+ d, these are the partitions of 6 into 4 parts of size at most 3:

\begin{align}
a^2d^2 = aadd&: 0+0+3+3  &&&         abcd&: 0+1+2+3  &&&  ac^3 = accc&: 0+2+2+2 \\
b^3d   = bbbd&: 1+1+1+3  &&&  b^2c^2=bbcc&: 1+1+2+2.
\end{align}

All these five monomials occur effectively in the discriminant.

While this approach gives the possible terms, it does not determine the coefficients. Moreover, in general not all possible terms will occur in the discriminant. The first example is for the quartic polynomial  ax^4+bx^3+cx^2+dx+e, in which case (i_0, \ldots, i_4) = (0, 1, 4, 1, 0) satisfies 0 + 1 + 4 + 1 + 0 = 6 and 1\cdot 1 + 2\cdot 4 + 3\cdot 1 = 12, even though the corresponding discriminant does not involve the monomial bc^4d.

Quadratic formula

The quadratic polynomial \ p(x)= ax^2+bx+c has discriminant

\Delta = b^2-4ac , \,

which is the quantity under the square root sign in the quadratic formula. For real numbers a, b, c, one has:

x_{1,2}=\frac{-b \pm \sqrt {\Delta}}{2a}=\frac{-b \pm \sqrt {b^2-4ac}}{2a}

and its graph crosses the x-axis twice.

x_1=x_2=-\frac{b}{2a}

and its graph is tangent to the x-axis.

z_{1,2}=\frac{-b \pm i \sqrt {-\Delta}}{2a}=\frac{-b \pm i \sqrt {4ac-b^2}}{2a}.

An alternative way to understand the discriminant of a quadratic is to use the characterization as "zero if and only if the polynomial has a repeated root". In that case the polynomial is (x-r)^2 = x^2-2rx+r^2. The coefficients then satisfy (-2r)^2=4(r^2), so b^2=4c, and a monic quadratic has a repeated root if and only if this is the case, in which case the root is r=-b/2. Putting both terms on one side and including a leading coefficient yields b^2-4ac.

Discriminant of a polynomial

To find the formula for the discriminant of a polynomial in terms of its coefficients, it is easiest to introduce the resultant. Just as the discriminant of a single polynomial is the product of the square of the differences between distinct roots, the resultant of two polynomials is the product of the differences between their roots, and just as the discriminant vanishes if and only if the polynomial has a repeated root, the resultant vanishes if and only if the two polynomials share a root.

Since a polynomial p(x) has a repeated root if and only if it shares a root with its derivative p'(x), the discriminant D(p) and the resultant R(p,p') both have the property that they vanish if and only if p has a repeated root, and they have almost the same degree (the degree of the resultant is one greater than the degree of the discriminant) and thus are equal up to a factor of degree one, which is, up to the sign, the leading coefficient of p.

The benefit of the resultant is that it can be computed as a determinant, namely as the determinant of the Sylvester matrix, a (2n − 1)×(2n − 1) matrix, whose first n – 1 rows contain the coefficients of p and the n last ones the coefficients of its derivative.

The resultant R(p,p') of the general polynomial

p(x)=a_n x^n+a_{n-1}x^{n-1}+a_{n-2}x^{n-2}+\cdots+a_1 x+a_0

is equal to the determinant of the (2n − 1)×(2n − 1) Sylvester matrix:

R(p,p')=\left|\begin{matrix}
 & a_n & a_{n-1} & a_{n-2} & \ldots & a_1 & a_0 & 0 \ldots & \ldots & 0 \\
 & 0 & a_n & a_{n-1} & a_{n-2} & \ldots & a_1 & a_0 & 0 \ldots & 0 \\
 & \vdots\ &&&&&&&&\vdots\\
 & 0 & \ldots\ & 0 & a_n & a_{n-1} & a_{n-2} & \ldots & a_1 & a_0 \\
 & na_n & (n-1)a_{n-1} & (n-2)a_{n-2} & \ldots\ & a_1 & 0 & \ldots &\ldots & 0 \\
 & 0 & na_n & (n-1)a_{n-1} & (n-2)a_{n-2} & \ldots\ & a_1 & 0 & \ldots & 0 \\
 & \vdots\ &&&&&&&&\vdots\\
 & 0 & 0 & \ldots & 0 & na_n & (n-1)a_{n-1} & (n-2)a_{n-2}& \ldots\ & a_1 \\
\end{matrix}\right|.

The discriminant D(p) of p(x) is now given by the formula

D(p)=(-1)^{\frac{1}{2}n(n-1)}\frac{1}{a_n}R(p,p').\,

For example, in the case n = 4, the above determinant is

\begin{vmatrix}
 & a_4 & a_3 & a_2 & a_1 & a_0 & 0 & 0 \\
 & 0 & a_4 & a_3 & a_2 & a_1 & a_0 & 0 \\
 & 0 & 0 & a_4 & a_3 & a_2 & a_1 & a_0 \\
 & 4a_4 & 3a_3 & 2a_2 & 1a_1 & 0 & 0 & 0 \\
 & 0 & 4a_4 & 3a_3 & 2a_2 & 1a_1 & 0 & 0 \\
 & 0 & 0 & 4a_4 & 3a_3 & 2a_2 & 1a_1&  0 \\
 & 0 & 0 & 0 & 4a_4 & 3a_3 & 2a_2 & 1a_1
\end{vmatrix}.

The discriminant of the degree 4 polynomial is then obtained from this determinant upon dividing by a_4.

In terms of the roots, the discriminant is equal to

a_n^{2n-2}\prod_{i<j}{(r_i-r_j)^2}

where r1, ..., rn are the complex roots (counting multiplicity) of the polynomial:

\begin{align}
p(x)&=a_n x^n+a_{n-1}x^{n-1}+\cdots+a_1 x+a_0\\
&=a_n(x-r_1)(x-r_2)\cdots (x-r_n).
\end{align}

This second expression makes it clear that p has a multiple root if and only if the discriminant is zero. (This multiple root can be complex.)

The discriminant can be defined for polynomials over arbitrary fields, in exactly the same fashion as above. The product formula involving the roots ri remains valid; the roots have to be taken in some splitting field of the polynomial. The discriminant can even be defined for polynomials over any commutative ring. However, if the ring is not an integral domain, above division of the resultant by a_n should be replaced by substituting a_n by 1 in the first column of the matrix.

Nature of the roots

The discriminant gives additional information on the nature of the roots beyond simply whether there are any repeated roots: for polynomials with real coefficients, it also gives information on whether the roots are real or complex. This is most transparent and easily stated for quadratic and cubic polynomials; for polynomials of degree 4 or higher this is more difficult to state.

Quadratic

Because the quadratic formula expressed the roots of a quadratic polynomial as a rational function in terms of the square root of the discriminant, the roots of a quadratic polynomial are in the same field as the coefficients if and only if the discriminant is a square in the field of coefficients: in other words, the polynomial factors over the field of coefficients if and only if the discriminant is a square.

As a real number has real square roots if and only if it is nonnegative, and these roots are distinct if and only if it is positive (not zero), the sign of the discriminant allows a complete description of the nature of the roots of a quadratic polynomial with real coefficients: [5]

Further, for a quadratic polynomial with rational coefficients, it factors over the rationals if and only if the discriminant – which is necessarily a rational number, being a polynomial in the coefficients – is in fact a square.

Cubic

For more details on this topic, see Cubic polynomial § The nature of the roots.

For a cubic polynomial with real coefficients, the discriminant reflects the nature of the roots as follows: [6]

If a cubic polynomial has a triple root, it is a root of its derivative and of its second derivative, which is linear. Thus to decide if a cubic polynomial has a triple root or not, one may compute the root of the second derivative and look if it is a root of the cubic and of its derivative.

Higher degrees

More generally, for a polynomial of degree n with real coefficients, we have

Discriminant of a polynomial over a commutative ring

The definition of the discriminant of a polynomial in terms of the resultant may easily be extended to polynomials whose coefficients belong to any commutative ring. However, as the division is not always defined in such a ring, instead of dividing the determinant by the leading coefficient, one substitutes the leading coefficient by 1 in the first column of the determinant. This generalized discriminant has the following property which is fundamental in algebraic geometry.

Let f be a polynomial with coefficients in a commutative ring A and D its discriminant. Let φ be a ring homomorphism of A into a field K and φ(f) be the polynomial over K obtained by replacing the coefficients of f by their images by φ. Then φ(D) = 0 if and only if either the difference of the degrees of f and φ(f) is at least 2 or φ(f) has a multiple root in an algebraic closure of K. The first case may be interpreted by saying that φ(f) has a multiple root at infinity.

The typical situation where this property is applied is when A is a (univariate or multivariate) polynomial ring over a field k and φ is the substitution of the indeterminates in A by elements of a field extension K of k.

For example, let f be a bivariate polynomial in X and Y with real coefficients, such that f = 0 is the implicit equation of a plane algebraic curve. Viewing f as a univariate polynomial in Y with coefficients depending on X, then the discriminant is a polynomial in X whose roots are the X-coordinates of the singular points, of the points with a tangent parallel to the Y-axis and of some of the asymptotes parallel to the Y-axis. In other words the computation of the roots of the Y-discriminant and the X-discriminant allows one to compute all of the remarkable points of the curve, except the inflection points.

Generalizations

The concept of discriminant has been generalized to other algebraic structures besides polynomials of one variable, including conic sections, quadratic forms, and algebraic number fields. Discriminants in algebraic number theory are closely related, and contain information about ramification. In fact, the more geometric types of ramification are also related to more abstract types of discriminant, making this a central algebraic idea in many applications.

Discriminant of a conic section

For a conic section defined in plane geometry by the real polynomial

Ax^2+ Bxy + Cy^2 + Dx + Ey + F = 0 ,\,

the discriminant is equal to[7]

B^2 - 4AC,\,

and determines the shape of the conic section. If the discriminant is less than 0, the equation is of an ellipse or a circle. If the discriminant equals 0, the equation is that of a parabola. If the discriminant is greater than 0, the equation is that of a hyperbola. This formula will not work for degenerate cases (when the polynomial factors).

Discriminant of a quadratic form

There is a substantive generalization to quadratic forms Q over any field K of characteristic ≠ 2. For characteristic 2, the corresponding invariant is the Arf invariant.

Given a quadratic form Q, the discriminant or determinant is the determinant of a symmetric matrix S for Q.[8]

Change of variables by a matrix A changes the matrix of the symmetric form by ATSA, which has determinant (det A)2 det S, so under change of variables, the discriminant changes by a non-zero square, and thus the class of the discriminant is well-defined in K/(K×)2, i.e., up to non-zero squares. See also Quadratic residue.

Less intrinsically, by a theorem of Jacobi, quadratic forms on K^n can be expressed, after a linear change of variables, in diagonal form as

a_1x_1^2 + \cdots + a_nx_n^2.

More precisely, a quadratic forms on V may be expressed as a sum

\sum_{i=1}^n a_i L_i^2

where the Li are independent linear forms and n is the number of the variables (some of the ai may be zero). Then the discriminant is the product of the ai, which is well-defined as a class in K/(K×)2.

For K = R, the real numbers, (R×)2 is the positive real numbers (any positive number is a square of a non-zero number), and thus the quotient R/(R×)2 has three elements: positive, zero, and negative. This is a cruder invariant than signature (n0, n+, n), where n0 is the number of 0s and n± is the number of ±1s in diagonal form. The discriminant is then zero if the form is degenerate (n0 > 0), and otherwise it is the parity of the number of negative coefficients, (−1)n.

For K = C, the complex numbers, (C×)2 is the non-zero complex numbers (any complex number is a square), and thus the quotient C/(C×)2 has two elements: non-zero and zero.

This definition generalizes the discriminant of a quadratic polynomial, as the polynomial ax^2+bx+c homogenizes to the quadratic form ax^2+bxy+cy^2 which has symmetric matrix


  \begin{bmatrix}
    a   & b/2  \\
    b/2 & c
  \end{bmatrix},

whose determinant is ac-(b/2)^2=ac-b^2/4 . Up to a factor of −4, this is b^2-4ac .

The invariance of the class of the discriminant of a real form (positive, zero, or negative) corresponds to the corresponding conic section being an ellipse, parabola, or hyperbola.

Discriminant of an algebraic number field

Alternating polynomials

The discriminant is a symmetric polynomial in the roots; if one adjoins a square root of it (halves each of the powers: the Vandermonde polynomial) to the ring of symmetric polynomials in n variables \Lambda_n, one obtains the ring of alternating polynomials, which is thus a quadratic extension of \Lambda_n.

References

  1. Wang, Dongming (2004). Elimination practice: software tools and applications. Imperial College Press. p. 180. ISBN 1-86094-438-8., Chapter 10 page 180
  2. Gelfand, I. M.; Kapranov, M. M.; Zelevinsky, A. V. (1994). Discriminants, resultants and multidimensional determinants. Birkhäuser. p. 1. ISBN 3-7643-3660-9., Preview page 1
  3. Dickenstein, Alicia; Emiris, Ioannis Z. (2005). Solving polynomial equations: foundations, algorithms, and applications. Springer. p. 26. ISBN 3-540-24326-7., Chapter 1 page 26
  4. J. J. Sylvester (1851) "On a remarkable discovery in the theory of canonical forms and of hyperdeterminants," Philosophical Magazine, 4th series, 2 : 391-410; Sylvester coins the word "discriminant" on page 406.
  5. Irving, Ronald S. (2004), Integers, polynomials, and rings, Springer-Verlag New York, Inc., ISBN 0-387-40397-3, Chapter 10.3 pp. 153–154
  6. Irving, Ronald S. (2004), Integers, polynomials, and rings, Springer-Verlag New York, Inc., ISBN 0-387-40397-3, Chapter 10 ex 10.14.4 and 10.17.4, pp. 154–156
  7. Fanchi, John R. (2006), Math refresher for scientists and engineers, John Wiley and Sons, pp. 44–45, ISBN 0-471-75715-2, Section 3.2, page 45
  8. Cassels, J.W.S. (1978). Rational Quadratic Forms. London Mathematical Society Monographs 13. Academic Press. p. 6. ISBN 0-12-163260-1. Zbl 0395.10029.

External links


This article is issued from Wikipedia - version of the Monday, April 11, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.