Bring radical

In algebra, a Bring radical or ultraradical is a root of the polynomial

:$x^5+x+a,\; ,$

where "a" is a complex number. (The root is chosen so the radical of a real is real, and the radical is a differentiable function of "a" in the complex plane, with a branch cut along the negative real line below −1. See the "Bring radicals" section below.)

George Jerrard (1804–1863) showed that some quintic equations can be solved using radicals and Bring radicals, which had been introduced by Erland Bring (1736–1798). They can be used to obtain closed form solutions of quintic equations.

Bring-Jerrard normal form

If

:$x^5+a\_1x^4+a\_2x^3+a\_3x^2+a\_4x+a\_5=0,$

then if

:$y\; =\; x^4+b\_1x^3+b\_2x^2+b\_3x+b\_4,$

we may obtain a polynomial of degree five in "y", a Tschirnhaus transformation, for instance using the resultant to eliminate "x". We might then seek particular values of the coefficients "b"_"i" which make the coefficients for the polynomial for "y" of the form

:$y^5\; +\; py\; +\; q.,$

This reduction, discovered by Bring and rediscovered by Jerrard, is called "Bring-Jerrard normal form". A direct attack on the reduction to Bring-Jerrard normal form does not work; the trick is to do it in stages, using more than one Tschirnhaus transformation, in which case modern computer algebra systems make the computations relatively easy.

First, substituting "x" − "a"₁/5 in place of "x" removes the trace (degree four) term. We may then employ an idea due to Tschirnhaus to eliminate the "x"³ term also, by setting "y" = "x"² + "px" + "q" and solving for "p" and "q" so as to eliminate the "x"⁴ and "x"³ terms both, we find that setting "q" = 2"c"/5 and

:$p\; =\; \{sqrt\{5c(3c^2-10d)\}\; over\; 5c\},$

eliminates both the third and fourth degree terms from

:$x^5\; +\; cx^3\; +\; dx^2\; +\; ex\; +\; f,$

We now may successfully set

:$y\; =\; x^4+b\_1x^3+b\_2x^2+b\_3x+b\_4,$

in

:$x^5\; +\; dx^2+ex+f,$

and eliminate the degree two term also, in a way which does not require the solution of any equation above degree three. This requires taking square roots for the values of "b"₁, "b"₂ and "b"₄, and finding the root of a cubic for "b"₃.

The general form is easy enough to compute using a computer algebra package such as Mathematica, but is messy enough that it seems advisable to simply explain the method, which can then be applied in any particular case. However, it should be noted that what is entailed is a solution to the general quintic. In any particular case, one may set up the system of three equations, and then solve for the coefficients "b"_"i". One of the solutions so obtained will be as described, involving the roots of no polynomial higher than the third degree; taking the resultant with the coefficients so computed reduces the equation to Bring-Jerrard normal form. The roots of the original equation are now expressible in terms of the roots of the transformed equation.

Regarded as an algebraic function, the solutions to

:$x^5+ux+v\; =\; 0,$

involves two variables, "u" and "v", however the reduction is actually to an algebraic function of one variable, very much analogous to a solution in radicals, since we may further reduce the Bring-Jerrard form. If we for instance set

:$z\; =\; \{x\; over\; (-u/5)^\{1/5,$

then we reduce the equation to the form

:$x^5\; -\; 5x\; -\; 4t\; =\; 0,$

which involves "x" as an algebraic function of a single variable "t".

Bring radicals

As a function of the complex variable "t", the roots "x" of

:$x^5\; -\; 5x\; -\; 4t\; =\; 0,$

have branch points where the discriminant 800000("t"⁴ − 1) is zero, which means at 1, −1, "i" and −"i". Monodromy around any of the branch points exchanges two of the roots, leaving the rest fixed. For real values of "t" greater than or equal to −1, the largest real root is a function of "t" increasing monotonically from 1; we may call this functionthe Bring radical, BR("t"). By taking a branch cut along the real axis from minus infinity to −1, we may extend the Bring radical to the entire complex plane, setting the value along the branch cut to be that obtained by analytically continuing around the upper half-plane.

More explicitly, let $a\_0\; =\; 3,\; a\_1\; =\; \{1over100\},\; a\_2\; =\; -\{27over400000\},\; a\_3\; =\; \{549/800000000\}$, with subsequent "a"_"i" defined by the recurrence relationship:$a\_\{n+4\}\; =\; -\{frac\; \{185193\}\{5278000,\{frac\; \{2,n+5\}\{n+4a\_\{n+3\}$:$-\{frac\; \{9747\}\{52780000,\{frac\; \{10,\{n\}^\{2\}+40,n+39\}\{\; left(\; n+4\; ight)\; left(\; n+3\; ight)\; a\_\{n+2\}$:$-\{frac\; \{57\}\{52780000,\{frac\; \{\; left(\; 2,n+3\; ight)\; left(\; 10,\{n\}^\{2\}+30,n+17\; ight)\; \}\{\; left(\; n+4\; ight)\; left(\; n+3\; ight)\; left(\; n+2\; ight)\; a\_\{n+1\}$$-\{frac\; \{1\}\{6597500000,\{frac\; \{\; left(\; 5,n+11\; ight)\; left(\; 5,n+7\; ight)\; left(\; 5,n+3\; ight)\; left(\; 5,n-1\; ight)\; \}\{\; left(\; n+4\; ight)\; left(\; n+3\; ight)\; left(\; n+2\; ight)\; left(\; n+1\; ight)\; a\_n.$For complex values of "t" such that |"t" - 57| < 58, we then have:$operatorname\{BR\}(t)\; =\; sum\_\{n=0\}^infty\; a\_n\; (t-57)^n,,$which then can be analytically continued in the manner described.

The roots of "x"⁵ − 5"x" − 4"t" = 0 can now be expressed in terms of the Bring radical as

:$r\_n\; =\; i^\{-n\}\; operatorname\{BR\}(i^n\; t)\; ,!$

for "n" from 0 through 3, and

:$r\_4\; =\; -r\_0-r\_1-r\_2-r\_3\; ,!$

for the fifth root.

olution of the general quintic

We now may express the roots of any polynomial

:$x^5\; +\; px\; +q,$

in terms of the Bring radical as

:$left(-frac\{p\}\{5\}\; ight)^frac\{1\}\{4\}operatorname\{BR\}left(frac\{(-5/p)^frac\{5\}\{4\}\; q\}\{-4\}\; ight)$

and its four conjugates. We have a reduction to the Bring-Jerrard form in terms of solvable polynomial equations, and we used transformations involving polynomial expressions in the roots only up to the fourth degree, which means inverting the transformation may be done by finding the roots of a polynomial solvable in radicals. This procedure produces extraneous solutions, but when we have found the correct ones by numerical means we can also write down the roots of the quintic in terms of square roots, cube roots, and the Bring radical, which is therefore an algebraic solution in terms of algebraic functions of a single variable &mdash; an algebraic solution of the general quintic.

Other Characterizations

Many other characterizations of the Bring radical have been developed, the first of which in terms of elliptic modular functions by Charles Hermite in 1858, and further methods later developed by other mathematicians.

Glasser's derivation

This derivation due to M. L. Glasser finds a solution to any trinomial equation of the form::$x^N\; -\; x\; +\; t\; ,!$In particular, the quintic equation can be reduced to this form by the use of Tschirnhaus transformations as shown above. Let $x\; =\; zeta^\{-1/(N-1)\}$, the general form becomes::$zeta\; =\; e^\{2pi\; i\}\; +\; tphi(zeta)\; ,!$where:$phi(zeta)\; =\; zeta^\{N/(N-1)\}\; ,!$

A formula due to Lagrange states that for any analytic function "f" in the neighborhood of a root of the transformed general equation in terms of ζ above may be expressed as an infinite series::$f(zeta)\; =\; f(e^\{2pi\; i\})\; +\; sum^infty\_\{n=1\}\; frac\{t^n\}\{n!\}frac\{d^\{n-1\{da^\{n-1\; [f\text{'}(a)|phi(a)|^n]\; \_\{a\; =\; e^\{2pi\; i$If we let $f(zeta)\; =\; zeta^\{-1/(N-1)\}$ in this formula, we can come up with the root::$x\_1\; =\; exp(-2pi\; i/(N\; -1))\; -\; frac\{t\}\{N-1\}sum^infty\_\{n=0\}frac\{(te^\{2pi\; i/(N-1)\})^n\}\{Gamma(n\; +\; 2)\}frac\{Gamma(frac\{Nn\}\{N-1\}\; +\; 1)\}\{Gamma(frac\{n\}\{N-1\}\; +\; 1)\}$A further "N"−2 roots may be found by replacing $exp(-2pi\; i\; /\; (N\; -1))$ by the other ("N"−1)th roots of unity, and the last root by using any of the symmetric function relations between the roots of a polynomial (e.g. the sum of all the roots of any polynomial in the trinomial form above —N greater than 2— must be 0). By the use of the Gauss multiplication theorem the infinite series above may be broken up into a finite series of hypergeometric functions::$psi(q)\; =\; (frac\{omega\; t\}\{N-1\})^q\; n^\{qN/(N-1)\}frac\{prod^\{N-1\}\_\{k=0\}Gamma(frac\{Nq/(N-1)\; +\; 1\; +\; k\}\{N\})\}\{Gamma(frac\{q\}\{N-1\}\; +\; 1)prod^\{N-2\}\_\{k=0\}Gamma(frac\{q+k+2\}\{N-1\})\}$:where $omega\; =\; exp(2pi\; i/(N-1))$. A root of the equation can thus be expressed as the sum of at most "N"−1 hypergeometric functions. Applying this method to the reduced Bring-Jerrard quintic, define the following functions::which are the hypergeometric functions which appear in the series formula above. The roots of the quintic are thus::This is essentially the same result as that obtained by the method of differential resolvents developed by James Cockle and Robert Harley in 1860.

ee also

*Theory of equations

External links

* M.L. Glasser. The Quadratic Formula Made Hard: A Less Radical Approach to Solving Equations. Paper available on arXiv.org [http://xxx.lanl.gov/abs/math.CA/9411224 here]
*
*
*