Bring-Jerrard Normal Form

In algebra, the Bring radical or ultraradical of a real number ''a'' is the unique real root of the polynomial

: $x^5 + x + a.$

The Bring radical of a complex number ''a'' is either any of the five roots of the above polynomial (it is thus multi-valued), or a specific root, which is usually chosen such that the Bring radical is real-valued for real ''a'' and is an analytic function in a neighborhood of the real line. Because of the existence of four branch points, the Bring radical cannot be defined as a function that is continuous over the whole complex plane, and its domain of continuity must exclude four branch cuts.

George Jerrard showed that some quintic equations can be solved in closed form using radicals and Bring radicals, which had been introduced by Erland Bring.

In this article, the Bring radical of ''a'' is denoted $\operatorname(a).$ For real argument, it is odd, monotonically decreasing, and unbounded, with asymptotic behavior $\mathrm(a) \sim -a^$ for large $a$.

Normal forms

The quintic equation is rather difficult to obtain solutions for directly, with five independent coefficients in its most general form:

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

The various methods for solving the quintic that have been developed generally attempt to simplify the quintic using Tschirnhaus transformations to reduce the number of independent coefficients.

Principal quintic form

The general quintic may be reduced into what is known as the principal quintic form, with the quartic and cubic terms removed:

:$y^5 + c_2y^2 + c_1y + c_0 = 0 \,$

If the roots of a general quintic and a principal quintic are related by a quadratic Tschirnhaus transformation

:$y_k = x_k^2 + \alpha x_k + \beta \, ,$

the coefficients ''α'' and ''β'' may be determined by using the resultant, or by means of the power sums of the roots and Newton's identities. This leads to a system of equations in ''α'' and ''β'' consisting of a quadratic and a linear equation, and either of the two sets of solutions may be used to obtain the corresponding three coefficients of the principal quintic form.

This form is used by Felix Klein's solution to the quintic.

Bring–Jerrard normal form

It is possible to simplify the quintic still further and eliminate the quadratic term, producing the Bring–Jerrard normal form:
:$v^5 + d_1v + d_0 = 0.\,$
Using the power-sum formulae again with a cubic transformation as Tschirnhaus tried does not work, since the resulting system of equations results in a sixth-degree equation. But in 1796 Bring found a way around this by using a quartic Tschirnhaus transformation to relate the roots of a principal quintic to those of a Bring–Jerrard quintic:

:$v_k = y^4_k + \alpha y^3_k + \beta y^2_k + \gamma y_k + \delta\, .$

The extra parameter this fourth-order transformation provides allowed Bring to decrease the degrees of the other parameters. This leads to a system of five equations in six unknowns, which then requires the solution of a cubic and a quadratic equation. This method was also discovered by Jerrard in 1852,
but it is likely that he was unaware of Bring's previous work in this area. The full transformation may readily be accomplished using a computer algebra package such as Mathematica

or Maple.

As might be expected from the complexity of these transformations, the resulting expressions can be enormous, particularly when compared to the solutions in radicals for lower degree equations, taking many megabytes of storage for a general quintic with symbolic coefficients.

Regarded as an algebraic function, the solutions to

:$v^5+d_1v+d_0 = 0\,$

involve two variables, ''d''₁ and ''d''₀; 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 = \,$

then we reduce the equation to the form

:$z^5 - z + a = 0\, ,$

which involves ''z'' as an algebraic function of a single variable $a$, where $a=d_0(-d_1)^$. This form is required by the Hermite–Kronecker–Brioschi method, Glasser's method, and the Cockle–Harley method of differential resolvents described below.

An alternative form is obtained by setting

$u = \,$

so that

$u^5 + u + b = 0\, ,$

where $b=d_0(d_1)^$. This form is used to define the Bring radical below.

Brioschi normal form

There is another one-parameter normal form for the quintic equation, known as Brioschi normal form
:$w^5 - 10Cw^3 + 45C^2w - C^2 = 0,$
which can be derived by using the rational Tschirnhaus transformation

: $w_k = \frac$

to relate the roots of a general quintic to a Brioschi quintic. The values of the parameters $\lambda\,$ and $\mu\,$ may be derived by using polyhedral functions on the Riemann sphere, and are related to the partition of an object of icosahedral symmetry into five objects of tetrahedral symmetry.

This Tschirnhaus transformation is rather simpler than the difficult one used to transform a principal quintic into Bring–Jerrard form. This normal form is used by the Doyle–McMullen iteration method and the Kiepert method.

Series representation

A Taylor series for Bring radicals, as well as a representation in terms of hypergeometric functions can be derived as follows. The equation $x^5+x+a=0$ can be rewritten as $x^5+x=-a.$ By setting $f(x)=x^5+x,$ the desired solution is $x=f^(-a)=-f^(a)$ since $f(x)$ is odd.

The series for $f^$ can then be obtained by reversion of the Taylor series for $f(x)$ (which is simply $x+x^5$), giving
:$\operatorname(a) = -f^(a) = \sum_^\infty \binom \frac = -a + a^5 - 5 a^9 + 35 a^ - 285 a^ + \cdots,$
where the absolute values of the coefficients form sequence A002294 in the OEIS. The radius of convergence of the series is 4/(5 \cdot \sqrt \approx 0.53499.

In hypergeometric form, the Bring radical can be written as

:$\operatorname(a) = -a \,\,_4F_3\left(\frac,\frac,\frac,\frac;\frac,\frac,\frac;-5\left(\frac\right)^4\right).$

It may be interesting to compare with the hypergeometric functions that arise below in Glasser's derivation and the method of differential resolvents.

Solution of the general quintic

The roots of the polynomial

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

can be expressed in terms of the Bring radical as

:\sqrt ,\operatorname\left(p^q\right)

and its four conjugates. The problem is now reduced to the Bring–Jerrard form in terms of solvable polynomial equations, and using 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 gives extraneous solutions, but when the correct ones have been found by numerical means, the roots of the quintic can be written in terms of square roots, cube roots, and the Bring radical, which is therefore an algebraic solution in terms of algebraic functions (defined broadly to include Bring radicals) of a single variable — an algebraic solution of the general quintic.

Other characterizations

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

The Hermite–Kronecker–Brioschi characterization

In 1858, Charles Hermite

published the first known solution to the general quintic equation in terms of "elliptic transcendents", and at around the same time Francesco Brioschi
and Leopold Kronecker
came upon equivalent solutions. Hermite arrived at this solution by generalizing the well-known solution to the cubic equation in terms of trigonometric functions and finds the solution to a quintic in Bring–Jerrard form:
:$x^5 - x + a = 0$

into which any quintic equation may be reduced by means of Tschirnhaus transformations as has been shown. He observed that elliptic functions had an analogous role to play in the solution of the Bring–Jerrard quintic as the trigonometric functions had for the cubic. For $K$ and $K',$ write:
:$K(k) = \int_0^ \frac\quad$ (the complete elliptic integral of the first kind)
:$K'(k) = \int_0^ \frac$
where
:$k^2 + k'^2 = 1.$
Define the two "elliptic transcendents":$\varphi^8(\tau)+\psi^8(\tau)=1$ and $\psi(\tau)=\varphi(-1/\tau).$ These functions are related to the Jacobi theta functions by $\varphi^2(\tau)=\vartheta_(0;\tau)/\vartheta_(0;\tau)$ and $\psi^2(\tau)=\vartheta_(0;\tau)/\vartheta_(0;\tau).$
:$\varphi(\tau) = \prod_^\infty \tanh \frac=\sqrte^\prod_^\infty \frac,\quad \operatorname\tau>0$
:$\psi(\tau) = \prod_^\infty \tanh \frac,\quad\operatorname\tau>0$
They can be equivalently defined by infinite series:
:$\varphi(\tau)=\sqrte^\frac,\quad \operatorname\tau >0$
:$\psi(\tau)=\frac,\quad\operatorname\tau >0$

If ''n'' is a prime number, we can define two values $u$ and $v$ as follows:

:$u = \varphi(n\tau)$

and

:$v = \varphi(\tau)$

When ''n'' is an odd prime, the parameters $u$ and $v$ are linked by an equation of degree ''n'' + 1 in $u$,When ''n'' = 2, the parameters are linked by an equation of degree 8 in $u$. $\Omega_n(u,v)=0$, known as the modular equation, whose ''n'' + 1 roots in $u$ are given by:Some references define $u=\varphi(\tau)$ and $v=\varphi(n\tau).$ Then the modular equation is solved in $v$ instead and has the roots $v=\varepsilon (n)\varphi(n\tau)$ and v=\varphi \tau+16m)/n

:$u=\varphi(n\tau)$

and

:$u=\varepsilon (n)\varphi\left(\frac\right)$

where $\varepsilon (n)$ is 1 or −1 depending on whether 2 is a quadratic residue modulo ''n'' or not, respectively,Equivalently, $\varepsilon (n)=(-1)^$ (by the law of quadratic reciprocity). and $m\in\$. For ''n'' = 5, we have the modular equation:

:$\Omega_5(u,v)=0\iff u^6 - v^6 + 5u^2v^2(u^2-v^2)+4uv(1-u^4v^4)=0$

with six roots in $u$ as shown above.

The modular equation with ''n'' = 5 may be related to the Bring–Jerrard quintic by the following function of the six roots of the modular equation (In Hermite's ''Sur la théorie des équations modulaires et la résolution de l'équation du cinquième degré'', the first factor is incorrectly given as varphi(5\tau)+\varphi(\tau/5)/math>):

:\Phi(\tau) = \left \varphi(5\tau) - \varphi\left(\frac\right)\rightleft varphi\left(\frac\right) - \varphi\left(\frac\right)\rightleft varphi\left(\frac\right) - \varphi\left(\frac\right)\right/math>

Alternatively, the formula

:$\Phi (\tau)=2\sqrte^(1+e^-e^+e^-8e^-9e^+8e^-9e^+\cdots)$

is useful for numerical evaluation of $\Phi (\tau)$. According to Hermite, the coefficient of $e^$ in the expansion is zero for every $n\equiv 4\,(\operatorname5)$.

The five quantities $\Phi(\tau)$, $\Phi(\tau+16)$, $\Phi(\tau+32)$, $\Phi(\tau+48)$, $\Phi(\tau+64)$ are the roots of a quintic equation with coefficients rational in $\varphi(\tau)$:

:\Phi^5 - 2000\varphi^4(\tau)\psi^(\tau)\Phi - 64\sqrt\varphi^3(\tau)\psi^(\tau)\left + \varphi^8(\tau)\right= 0

which may be readily converted into the Bring–Jerrard form by the substitution:

:\Phi = 2\sqrt varphi(\tau)\psi^4(\tau)x

leading to the Bring–Jerrard quintic:

:$x^5 - x + a = 0$

where

:$a = -\frac\quad (*)$

The Hermite–Kronecker–Brioschi method then amounts to finding a value for $\tau$ that corresponds to the value of $a$, and then using that value of $\tau$ to obtain the roots of the corresponding modular equation. We can use root finding algorithms to find $\tau$ from the equation $(*)$ (i.e. compute a partial inverse of $a$).

The roots of the Bring–Jerrard quintic are then given by:
:$x_r = \frac$
for $r = 0, \ldots, 4$.

An alternative, "integral", approach is the following:

Consider $x^5-x+a=0$ where $a\in\mathbb\setminus\.$ Then

:$\tau=i\frac$

is a solution of

:$a=s\frac$

where

:$s=\begin-\operatorname\operatornamea&\text\operatornamea=0\\ \operatorname\operatornamea&\text\operatornamea\ne 0,\end$
:$k^4 + A^2k^3 + 2k^2 - A^2k + 1 = 0,\quad (**)$
:$A = \frac.$

The roots of the equation $(**)$ are:

:$k = \tan \frac, \tan \frac, \tan \frac, \tan \frac$

where $\sin \alpha = 4/A^2$
(note that some important references erroneously give it as $\sin \alpha = 1/(4A^2)$). One of these roots may be used as the elliptic modulus $k$.

The roots of the Bring–Jerrard quintic are then given by:
:$x_r = -s\frac$
for $r = 0, \ldots, 4$.

It may be seen that this process uses a generalization of the nth root, which may be expressed as:
:\sqrt = \exp \left( \right)
or more to the point, as
:\sqrt = \exp \left(\frac\int^x_1\frac\right)=\exp\left(\frac\exp^
x\right).
The Hermite–Kronecker–Brioschi method essentially replaces the exponential by an "elliptic transcendent", and the integral $\int^x_1 dt/t$ (or the inverse of $\exp$ on the real line) by an elliptic integral (or by a partial inverse of an "elliptic transcendent"). Kronecker thought that this generalization was a special case of a still more general theorem, which would be applicable to equations of arbitrarily high degree. This theorem, known as Thomae's formula, was fully expressed by Hiroshi Umemura
in 1984, who used Siegel modular forms in place of the exponential/elliptic transcendents, and replaced the integral by a hyperelliptic integral.

Glasser's derivation

This derivation due to M. L. Glasser generalizes the series method presented earlier in this article to find a solution to any trinomial equation of the form:

:$x^N - x + t=0 \,\!$

In particular, the quintic equation can be reduced to this form by the use of Tschirnhaus transformations as shown above. Let $x = \zeta^\,$, the general form becomes:

:$\zeta = e^ + t\phi(\zeta) \,\!$

where

:$\phi(\zeta) = \zeta^ \,\!$

A formula due to Lagrange

HOME


Content is Copyleft
Website design, code, and AI is Copyrighted (c) 2014-2017 by Stephen Payne


Consider donating to Wikimedia



As an Amazon Associate I earn from qualifying purchases