Quintic function

Graph of a polynomial of degree 5, with 3 real zeros (roots) and 4 critical points.

In algebra, a quintic function is a function of the form

g(x)=ax^5+bx^4+cx^3+dx^2+ex+f,\,

where a, b, c, d, e and f are members of a field, typically the rational numbers, the real numbers or the complex numbers, and a is nonzero. In other words, a quintic function is defined by a polynomial of degree five.

If a is zero but one of the coefficients b, c, d, or e is non-zero, the function is classified as either a quartic function, cubic function, quadratic function or linear function.

Because they have an odd degree, normal quintic functions appear similar to normal cubic functions when graphed, except they may possess an additional local maximum and local minimum each. The derivative of a quintic function is a quartic function.

Setting g(x) = 0 and assuming a ≠ 0 produces a quintic equation of the form:

ax^5+bx^4+cx^3+dx^2+ex+f=0.\,

Solving quintic equations in terms of radicals was a major problem in algebra, from the 16th century, when cubic and quartic equations were solved, until the first half of the 19th century, when the impossibility of such a general solution was proved (Abel–Ruffini theorem).

Finding roots of a quintic equation

Finding the roots of a given polynomial has been a prominent mathematical problem.

Solving linear, quadratic, cubic and quartic equations by factorization into radicals can always be done, no matter whether the roots are rational or irrational, real or complex; there are formulae that yield the required solutions. However, there is no explicit formula for general quintic equations over the rationals in terms of radicals; this statement is known as the Abel–Ruffini theorem, first published in 1824, which was the main motivation of the introduction of group theory by Évariste Galois a few years later. This result also holds for equations of higher degrees. An example of a quintic whose roots cannot be expressed in terms of radicals is x^5 - x + 1 = 0. This quintic is in Bring–Jerrard normal form.

Some quintics may be solved in terms of radicals. However, the solution is generally too complex to be used in practice. Therefore, one commonly uses numerical approximations of the solutions, which can be provided by any root-finding algorithm, and in particular by any root-finding algorithm for polynomials.

Solvable quintics

Some quintic equations can be solved in terms of radicals. These include the quintic equations defined by a polynomial that is not irreducible, such as x^5 - x^4 - x + 1 = 0 = (x^2 + 1) (x + 1) (x - 1)^2. The irreducible quintic polynomials whose roots may be expressed in terms of radicals are called solvable quintics.

For characterizing solvable quintics, and more generally solvable polynomials of higher degree, Évariste Galois developed techniques which gave rise to group theory and Galois theory. Applying these techniques, Arthur Cayley found a general criterion for determining whether any given quintic is solvable.[1] This criterion is the following.[2]

Given the equation

ax^5+bx^4+cx^3+dx^2+ex+f=0,

the Tschirnhaus transformation x=y-\frac{b}{5a}, which depresses the quintic, gives the equation

y^5+p y^3+q y^2+r y+s=0,

where

p = \frac{5ac-2b^2}{5a^2}
q = \frac{25a^2d-15abc+4b^3}{25a^3}
r = \frac{125a^3e-50a^2bd+15ab^2c-3b^4}{125a^4}
s = \frac{3125 a^4f-625a^3 be+125a^2b^2 d-25ab^3 c+4 b^5}{3125a^5}

Both quintics are solvable by radicals if and only if either they are factorisable in equations of lower degrees with rational coefficients or the polynomial P^2-1024z\Delta, named Cayley's resolvent, has a rational root in z, where

P =z^3-z^2(20r+3p^2)- z(8p^2r - 16pq^2- 240r^2 + 400sq - 3p^4)
{} - p^6 + 28p^4r- 16p^3q^2- 176p^2r^2- 80p^2sq + 224prq^2- 64q^4
{} + 4000ps^2 + 320r^3- 1600rsq

and

\Delta=-128p^2r^4+3125s^4-72p^4qrs+560p^2qr^2s+16p^4r^3+256r^5+108p^5s^2
{} -1600qr^3s+144pq^2r^3-900p^3rs^2+2000pr^2s^2-3750pqs^3+825p^2q^2s^2
{} +2250q^2rs^2+108q^5s-27q^4r^2-630pq^3rs+16p^3q^3s-4p^3q^2r^2.

Cayley's result allows us to test if a quintic is solvable. If it is the case, finding its roots is a more difficult problem, which consists of expressing the roots in terms of radicals involving the coefficients of the quintic and the rational root of Cayley's resolvent.

In 1888, George Paxton Young[3] described how to solve a solvable quintic equation, without providing an explicit formula; Daniel Lazard wrote out a three-page formula (Lazard (2004)).

Quintics in Bring–Jerrard form

There are several parametric representations of solvable quintics of the form

x^5 + ax + b = 0,

called the Bring–Jerrard form.

During the second half of 19th century, John Stuart Glashan, George Paxton Young, and Carl Runge gave such a parameterization: an irreducible quintic with rational coefficients in Bring–Jerrard form is solvable if and only if either a = 0 or it may be written

x^5 + \frac{5\mu^4(4\nu + 3)}{\nu^2 + 1}x + \frac{4\mu^5(2\nu + 1)(4\nu + 3)}{\nu^2 + 1} = 0

where \mu and \nu are rational.

In 1994, Blair Spearman and Kenneth S. Williams gave an alternative,

x^5 + \frac{5e^4( 4c + 3)}{c^2 + 1}x + \frac{-4e^5(2c-11)}{c^2 + 1} = 0.

The relationship between the 1885 and 1994 parameterizations can be seen by defining the expression

b = \frac{4}{5} \left(a+20 \pm 2\sqrt{(20-a)(5+a)}\right)

where

a = \frac{5(4\nu+3)}{\nu^2+1}.

Using the negative case of the square root yields, after scaling variables, the first parametrization while the positive case gives the second.

The substitution c=-m/l^5, e=1/l in the Spearman-Williams parameterization allows one to not exclude the special case a = 0, giving the following result:

If a and b are rational numbers, the equation x^5+ax+b=0 is solvable by radicals if either its left-hand side is a product of polynomials of degree less than 5 with rational coefficients or there exist two rational numbers l and m such that

a=\frac{5 l (3 l^5-4 m)}{m^2+l^{10}}\qquad b=\frac{4(11 l^5+2 m)}{m^2+l^{10}}.

Roots of a solvable quintic

A polynomial equation is solvable by radicals if its Galois group is a solvable group. In the case of quintics, the Galois group is a subgroup of the symmetric group S5 of all permutations of a five element set, which is solvable if and only if it is a subgroup of the group F5, of order 20, generated by the cyclic permutations (1 2 3 4 5) and (1 2 4 3).

If the quintic is solvable, one of the solutions may be represented by an algebraic expression involving a fifth root and at most two square roots, generally nested. The other solutions may then obtained either by changing of fifth root or by multiplying all the occurrences of the fifth root by the same power of a primitive 5th root of unity

\frac{\sqrt{-10-2\sqrt{5}}+\sqrt{5}-1}{4}.

(The other primitive 5th roots of unity may be deduced by changing the signs of the square roots.)

It follows that one may need four different square roots for writing all the roots of a solvable quintics. Even for the first root that involves at most two square roots, the expression of the solutions in terms of radicals is usually huge. However, when no square root is needed, the form of the first solution may be rather simple, as for the equation x^5-5x^4+30x^3-50x^2+55x-21=0, for which the only real solution is

x=1+\sqrt[5]{2}-\left(\sqrt[5]{2}\right)^2+\left(\sqrt[5]{2}\right)^3-\left(\sqrt[5]{2}\right)^4.

An example of a more complex (although small enough to be written here) solution is the unique real root of x^5-5x+12=0. Let

a = \sqrt{2\varphi^{-1}}
b = \sqrt{2\varphi}
c = \sqrt[4]{5}\,,

where \varphi =\frac{1+\sqrt{5}}{2} is the golden ratio. Then the only real solution x = -1.84208\dots is given by

-cx = \sqrt[5]{(a+c)^2(b-c)} + \sqrt[5]{(-a+c)(b-c)^2} + \sqrt[5]{(a+c)(b+c)^2} - \sqrt[5]{(-a+c)^2(b+c)} \,,

or, equivalently, by

x = \sqrt[5]{y_1}+\sqrt[5]{y_2}+\sqrt[5]{y_3}+\sqrt[5]{y_4}\,,

where the yi are the four roots of the quartic equation

y^4+4y^3+\frac{4}{5}y^2-\frac{8}{5^3}y-\frac{1}{5^5}=0\,.

More generally, if an equation P(x) = 0 of prime degree p with rational coefficients is solvable in radicals, then one can define an auxiliary equation Q(y) = 0 of degree p – 1, also with rational coefficients, such that each root of P is the sum of p-th roots of the roots of Q. These p-th roots have been introduced by Joseph-Louis Lagrange, and their product by 5 are commonly called Lagrange resolvents. The computation of Q and its roots can be used to solve P(x) = 0. However these p-th roots may not be computed independently (this would provide pp–1 roots instead of p). Thus a correct solution needs to express all these p-roots in term of one of them. Galois theory shows that this is always theoretically possible, even if the resulting formula may be too large to be of any use.

It is possible that some of the roots of Q are rational (as in the first example of this section) or some are zero. In these cases, the formula for the roots is much simpler, as for the solvable de Moivre quintic

x^5+5ax^3+5a^2x+b = 0\,,

where the auxiliary equation has two zero roots and reduces, by factoring them out, to the quadratic equation

y^2+by-a^5 = 0\,,

such that the five roots of the de Moivre quintic are given by

x_k = \omega^k\sqrt[5]{y_i} -\frac{a}{\omega^k\sqrt[5]{y_i}},

where yi is any root of the auxiliary quadratic equation and ω is any of the four primitive 5th roots of unity. This can be easily generalized to construct a solvable septic and other odd degrees, not necessarily prime.

Other solvable quintics

There are infinitely many solvable quintics in Bring-Jerrard form which have been parameterized in a preceding section.

Up to the scaling of the variable, there are exactly five solvable quintics of the shape x^5+ax^2+b, which are[4] (where s is a scaling factor):

x^5-2s^3x^2-\frac{s^5}{5}
x^5-100s^3x^2-1000s^5
x^5-5s^3x^2-3s^5
x^5-5s^3x^2+15s^5
x^5-25s^3x^2-300s^5

Paxton Young (1888) gave a number of examples, some of them being reducible, having a rational root:

x^5-10x^3-20x^2-1505x-7412
x^5+\frac{625}{4}x+3750
x^5-\frac{22}{5}x^3-\frac{11}{25}x^2+\frac{462}{125}x+\frac{979}{3125}
x^5+20x^3+20x^2+30x+10 ~\qquad ~ Solution: \sqrt[5]{2}-\sqrt[5]{2}^2+\sqrt[5]{2}^3-\sqrt[5]{2}^4
x^5+320x^2-1000x+4288 ~\qquad ~ Reducible: −8 is a root
x^5+40x^2-69x+108 ~\qquad ~ Reducible: −4 is a root
x^5-20x^3+250x-400
x^5-5x^3+\frac{85}{8}x-13/2
x^5+\frac{20}{17}x+\frac{21}{17}
x^5-\frac{4}{13}x+\frac{29}{65}
x^5+\frac{10}{13}x+\frac{3}{13}
x^5+110(5x^3+60x^2+800x+8320)
x^5-20 x^3 -80 x^2 -150 x -656
x^5 -40 x^3 +160 x^2 +1000 x -5888
x^5-50x^3-600x^2-2000x-11200
x^5+110(5 x^3 + 20x^2 -360 x +800)
x^5- 20 x^3 +320 x^2 +540 x + 6368 ~\qquad ~ Reducible : -8 is a root
x^5-20 x^3 -160 x^2 -420 x -8928 ~\qquad ~ Reducible : 8 is a root
x^5-20 x^3 +170 x + 208

An infinite sequence of solvable quintics may be constructed, whose roots are sums of n-th roots of unity, with n = 10k + 1 being a prime number:

x^5+x^4-4x^3-3x^2+3x+1 Roots: 2\cos(\frac{2k\pi}{11})
x^5+x^4-12x^3-21x^2+x+5 Root: \sum_{k=0}^5 e^\frac{2i\pi 6^k }{31}
y^5+y^4-16y^3+5y^2+21y-9 Root: \sum_{k=0}^7 e^\frac{2i\pi 3^k }{41}
y^5+y^4-24y^3-17y^2+41y-13 ~\qquad ~ Root: \sum_{k=0}^{11} e^\frac{2i\pi (21)^k }{61}
y^5+y^4-28y^3+37y^2+25y+1 Root: \sum_{k=0}^{13} e^\frac{2i\pi (23)^k }{71}

There are also two parameterized families of solvable quintics: The Kondo–Brumer quintic,

x^5+(a-3)x^4+(-a+b+3)x^3+(a^2-a-1-2b)x^2+bx+a = 0\,

and the family depending on the parameters a, l, m

x^5-5p(2x^3 + ax^2 + bx)-pc = 0\,

where

p=\frac{l^2(4m^2+a^2)-m^2}{4}, \qquad b=l(4m^2+a^2)-5p-2m^2, \qquad c=\frac{b(a+4m)-p(a-4m)-a^2m}{2}

Casus irreducibilis

Analogously to cubic equations, there are solvable quintics which have five real roots all of whose solutions in radicals involve roots of complex numbers. This is casus irreducibilis for the quintic, which is discussed in Dummit.[5]:p.17

Beyond radicals

If the Galois group of a quintic is not solvable, then the Abel-Ruffini theorem tells us that to obtain the roots it is necessary to go beyond the basic arithmetic operations and the extraction of radicals. About 1835, Jerrard demonstrated that quintics can be solved by using ultraradicals (also known as Bring radicals), the real roots of t^5 + t - a=0\, for real numbers a\,. In 1858 Charles Hermite showed that the Bring radical could be characterized in terms of the Jacobi theta functions and their associated elliptic modular functions, using an approach similar to the more familiar approach of solving cubic equations by means of trigonometric functions. At around the same time, Leopold Kronecker, using group theory, developed a simpler way of deriving Hermite's result, as had Francesco Brioschi. Later, Felix Klein came up with a method that relates the symmetries of the icosahedron, Galois theory, and the elliptic modular functions that feature in Hermite's solution, giving an explanation for why they should appear at all, and developed his own solution in terms of generalized hypergeometric functions.[6] Similar phenomena occur in degree 7 (septic equations) and 11, as studied by Klein and discussed in icosahedral symmetry: related geometries.

Solving through Bring radical

Main article: Bring radical

A Tschirnhaus transformation, which may be computed by solving a quartic equation, reduces the general quintic equation of the form

x^5 + a_4x^4 + a_3x^3 + a_2x^2 + a_1x + a_0 = 0\,

to the Bring–Jerrard normal form x^5-x+t=0\,.

The roots of this equation cannot be expressed by radicals. However, in 1858, Charles Hermite published the first known solution of this equation in terms of elliptic functions.[7] At around the same time Francesco Brioschi[8] and Leopold Kronecker[9] came upon equivalent solutions.

See Bring radical for details on these solutions and some related ones.

Applications

Solving for the locations of the Lagrangian points of an astronomical orbit in which the masses of both objects are non-negligible involves solving a quintic.

See also

References

  1. ↑ A. Cayley. On a new auxiliary equation in the theory of equation of the fifth order, Philosophical Transactions of the Royal Society of London (1861).
  2. ↑ This formulation of Cayley's result is extracted from Lazard (2004) paper.
  3. ↑ George Paxton Young. Solvable Quintics Equations with Commensurable Coefficients American Journal of Mathematics 10 (1888), 99–130 at JSTOR
  4. ↑ http://www.math.harvard.edu/~elkies/trinomial.html
  5. ↑ David S. Dummit Solving Solvable Quintics
  6. ↑ (Klein 1888); a modern exposition is given in (Tóth 2002, Section 1.6, Additional Topic: Klein's Theory of the Icosahedron, p. 66)
  7. ↑ Hermite, Charles (1858). "Sur la résolution de l'équation du cinquième degré". Comptes Rendus de l'Académie des Sciences XLVI (I): 508–515.
  8. ↑ Brioschi, Francesco (1858). "Sul Metodo di Kronecker per la Risoluzione delle Equazioni di Quinto Grado". Atti dell'i. R. Istituto Lombardo di scienze, lettere ed arti I: 275–282.
  9. ↑ Kronecker, Leopold (1858). "Sur la résolution de l'equation du cinquième degré, extrait d'une lettre adressée à M. Hermite". Comptes Rendus de l'Académie des Sciences XLVI (I): 1150–1152.
  • Charles Hermite, "Sur la résolution de l'équation du cinquème degré",Œuvres de Charles Hermite, t.2, pp. 5–21, Gauthier-Villars, 1908.
  • Felix Klein, Lectures on the Icosahedron and the Solution of Equations of the Fifth Degree, trans. George Gavin Morrice, Trübner & Co., 1888. ISBN 0-486-49528-0.
  • Leopold Kronecker, "Sur la résolution de l'equation du cinquième degré, extrait d'une lettre adressée à M. Hermite", Comptes Rendus de l'Académie des Sciences," t. XLVI, 1858 (1), pp. 1150–1152.
  • Blair Spearman and Kenneth S. Williams, "Characterization of solvable quintics x^5 + ax + b", American Mathematical Monthly, Vol. 101 (1994), pp. 986–992.
  • Ian Stewart, Galois Theory 2nd Edition, Chapman and Hall, 1989. ISBN 0-412-34550-1. Discusses Galois Theory in general including a proof of insolvability of the general quintic.
  • Jörg Bewersdorff, Galois theory for beginners: A historical perspective, American Mathematical Society, 2006. ISBN 0-8218-3817-2. Chapter 8 (The solution of equations of the fifth degree) gives a description of the solution of solvable quintics x^5 + cx + d.
  • Victor S. Adamchik and David J. Jeffrey, "Polynomial transformations of Tschirnhaus, Bring and Jerrard," ACM SIGSAM Bulletin, Vol. 37, No. 3, September 2003, pp. 90–94.
  • Ehrenfried Walter von Tschirnhaus, "A method for removing all intermediate terms from a given equation," ACM SIGSAM Bulletin, Vol. 37, No. 1, March 2003, pp. 1–3.
  • Daniel Lazard, "Solving quintics in radicals", in Olav Arnfinn Laudal, Ragni Piene, The Legacy of Niels Henrik Abel, pp. 207–225, Berlin, 2004, ISBN 3-540-43826-2, available at Archived January 6, 2005 at the Wayback Machine
  • Tóth, Gábor (2002), Finite Möbius groups, minimal immersions of spheres, and moduli 

External links

This article is issued from Wikipedia - version of the Wednesday, October 28, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.