
Algebra PreAlgebra and Basic Algebra Math Forum 
 LinkBack  Thread Tools  Display Modes 
March 22nd, 2013, 03:49 AM  #1 
Math Team Joined: Mar 2012 From: India, West Bengal Posts: 3,871 Thanks: 86 Math Focus: Number Theory  Advanced Analysis of Quintics
Hello members of MMF, One of our senior members of MMF, agentredlum, requested me to create such a topic but withdrawn his request soon. This subject has stayed very foggy to majority of peoples like us and no one ever really shown the effort to describe this subject elegantly enough. I will give it a try to do this. Quintics are a mysterious subject. Unlike the other degrees < 5, quintics cannot be solved using elementary arithmetic operations and radicals. There are two proofs of this, one is by Abel and another is by Galois. Abel's theory is easier but it cannot specify which quintics are solvable and which are not, but Galois theory can be used to do the work. I will first describe the transformation of quintics to reduce it into several forms, then we will start the several methods to solve a quintic. NOTE : Any user is allowed to reply in this topic and ask for clarification. For all other comments, I ask that you post them in the auxiliary topic created just for this purpose. Thank you! 
March 22nd, 2013, 04:29 AM  #2 
Math Team Joined: Mar 2012 From: India, West Bengal Posts: 3,871 Thanks: 86 Math Focus: Number Theory  Re: Advanced Analysis of Quintics
Here, I will describe the transformation of a general quintic into a depressed quintic : In our work throughout this topic, I will use the quintic above as your general quintic. We want to transform the quintic above into the depressed form : The first thing is to do is to write a linear relation between them : Finding k by substituting (3) into (1) is rather tedious, so we'll avoid the arithmetic over polynomial ring n = 5 by noting that in (2), where yi for i = 1,2,3,4,5 are the five roots of (2). Now, since transformation (3) is showing a relation ship between the variables of quintic (2) and (1), it must also hold when we replace y in (3) by one of the roots of (2) and replace x by one of the roots of (1) corresponding to that of (2). Hence, we may write Now, sum up all of these relation for i = 1,2,3,4,5 : Since the LHS is zero, and by NI, . So, we have the transformation and this way we can calculate the coefficients of the new depressed quintic which is much easier to handle than the original general form. The principal quintic form will be described in the second post. Balarka . 
March 23rd, 2013, 02:10 AM  #3 
Math Team Joined: Mar 2012 From: India, West Bengal Posts: 3,871 Thanks: 86 Math Focus: Number Theory  Re: Advanced Analysis of Quintics
OK, now for the principal quintic : In order to transform (1) into the principle form : We need a quadratic Tschrinhausen transform : Now, similar to the method used before, we will sum the identity up for all the roots : Note that the LHS is zero. The sum is from elementary theory of Newton's identities. Hence, we reckon that . Now all we have to do is to derive the u in terms of the elementary symmetric polynomials. Let us square 5 and sum it up again : LHS is again zero since equation (4) doesn't have the 'x^3' term. Expanding the RHS gives : Note that all the sums here are nothing but the Newton's symmetric formulas. After substituting the expressions obtained by NI, we get a quadratic After solving this quadratic, we will get u and substituting this into v will yield the full transform (5). In the next post, I will introduce how to avoid substituting (5) directly into (1) in order to calculate the coefficients of (4). 
March 24th, 2013, 11:58 AM  #4 
Math Team Joined: Mar 2012 From: India, West Bengal Posts: 3,871 Thanks: 86 Math Focus: Number Theory  Re: Advanced Analysis of Quintics
Now, consider the quintic We will write the principal quintic (4) with z replaced by v : Now substitute (5) into the RHS of (6) to get : It can be easily seen that from the definition. Substituting the above into (7) and solving for c will give the result : Similarly, We can obtain these by differentiating and double differentiating (6), respectively. The transformation of a principle quintic into a Brioschi Quintic will be explained in my next post. It would take a little knowledge in polyhedral symmetry, so be prepared! 
March 26th, 2013, 01:39 PM  #5 
Math Team Joined: Mar 2012 From: India, West Bengal Posts: 3,871 Thanks: 86 Math Focus: Number Theory  Re: Advanced Analysis of Quintics
We have been able to transform a general quintic into a principle quintic all the way to now. I will introduce how to transform the principle quintic (4) into the oneparameter Brioschi Quintic : I said before that I would use Polyhedral Symmetry to geometrically describe the transformation but I and agentredlum decided together that we will save the Polyhedral Symmetry for Klein's method which will probably be described later and use the algebraic transformation instead. Consider the functions We see that they have the property that and where the sum is taken over the roots of (4) and g, h are short notations for g(x) and h(x). Interestingly, they have to property and if and only if and and both of these can be satisfied with proper values of a & b. Now consider the function : " /> This have the property if The homogeneous equation above can be satisfied with proper nonzero choices of . So, the properties we have got so far are : Now, from here, we can easily derive the BringJerrard form but I'll save that for another day and proceed further to our current objective. It can be shown, that for a function defined as ( and follows the properties (9), there always exists values p, q, r, a, b, t such that Where is the principle quintic form (4). The proof is pretty elementary and I am not omitting it here; I'll surely post the proof if someone PMs for that reason. Now, if we sum up (10) for the roots of and apply the properties (9), we see that t = 0 for obvious reasons. Now let and be linear functions(NOTE : Not [color=#FF0000]affine functions[/color] of...) of and , respectively. Hence, by (9), and from (10), We may need another identity so I am introducing it before the real calculations : Where Now, let's apply a transformation to the principle quintic form : And let the transformed quintic be All we gave to do is to determine its coefficients. Here it goes : Combining (12) and (13), we see that Hence, from (15), Now from the properties (12), we see where If we substitute in the quintic (14), we have and since we have another value, namely for the square root of c, From (16), we see that the coefficients of z^4 and z^3 is 0 and from subtracting and summing those coefficients, we get the following 4 equations : Hence, and . The coefficient depends on the choice of and . So, the quintic in (14) is actually By means of a short Tschirnhausen transform and an elementary parameter Z, we can reduce this into 
March 28th, 2013, 12:12 AM  #6 
Math Team Joined: Mar 2012 From: India, West Bengal Posts: 3,871 Thanks: 86 Math Focus: Number Theory  Re: Advanced Analysis of Quintics
In this post, I will describe how to transform a Brioschi quintic into a Jacobi sextic : Consider a quintic with roots of the form where is the fifth root of unity. Multiplying out the factors, we see : [color=#FF0000]NOTE : The index is running through 0 to 4[/color]. If we replace by , " /> Where Now, if we replace by in (1, multiply it by (1 and change the sign, we get : Replacing by in (19) and multiplying by gives We recognize the coefficients of s^3 and s as the Polyhedral polynomials and of that of the icosahedron, respectively. Hence, setting (20) as zero will introduce the Jacobi sextic : The external root will be written as . The other roots are of the form : All we have to do now is to relate the roots of this Jacobi sextic with that of the Brioschi quintic. I will describe O. Perron's results now : Define the variable as Now we will calculate the product . By using some tedious algebra or by a clever application of Newton's identities, one can derive Replacing by and multiplying everything by gives Now substituting and dividing by , we conclude that Looking at above carefully, we reckon that this is actually Applying the icosahedral identity to the RHS and taking square root of both sides gives Which is just the Brioschi normal form in two variables. We can obtain (17) by substituting and introducing . Hence, the roots of Brioschi quintic and the Jacobi sextic are related as The next thing would be to solve the Jacobi sextic in terms of Weierstrass elliptic function which is analogues to that of the roots of cubic in terms of Trigonometric functions. The difference is that we perform period division by 3 on the periodic trigonometric function for a cubic, and we perform period division by 5 on the doubly periodic elliptic functions for a quintic. 
March 29th, 2013, 01:00 PM  #7 
Math Team Joined: Mar 2012 From: India, West Bengal Posts: 3,871 Thanks: 86 Math Focus: Number Theory  Re: Advanced Analysis of Quintics
In this post, I will describe the solution of Jacobi sextic in terms of Weierstrass elliptic function. But before that, we need to transform the coefficients of the Jacobi sextic (21), namely the polyhedral invariants, into the elliptic invariants : First, let us write the Brioschi normal form (22) like this Where are elliptic invariants and is the elliptic discriminant. However, (23) implies Hence, the Jacobi sextic in the elliptic form would be : Now we can begin our work. First let me introduce an interesting property of the Weierstrass elliptic function : ([color=#FF0000]NOTE : The sigma function is the Weierstrass sigma[/color]) Note that the determinant vanishes at the zeros of , explicitly, at Where are the two periods of and m,n are integers mod 5 not both zero. Expanding the determinant (25) and setting it to zero, we get the 12th degree polynomial : ^2  12 \wp (\wp'^2 \)^3  16 (\wp'^4 \wp'' \( (\wp''^2  12 \wp (\wp'^2 \)  64 (\wp'^8 = 0 \;\; (27)" /> The 24 roots of (26) relates to the 12 roots of (24) by the relation due to the mod 5 arithmetic of m,n. We will now set a variable defined as Using the formula and some simplification on the derivatives we reckon, " /> Substituting this into (27) and dividing by ^6" /> gives ^2 = 0 \;\; (29)" /> Also, by solving for ^2" /> in (2, ^2 = (4y + 12 \wp)(\wp'^2 = (4y + 12 \wp)(y^3  \wp'' y) \;\; (30)" /> By the closed form expression of the derivatives of , we have two equations now Let us define an auxiliary variable z defiend as so that the equations (30) and (31) becomes (respectively) : Using quadratic formula for (33), we get Now let us write (32) as Squaring (35) and substituting (34) gives Multiplying out the factors and dividing both sides by 4 gives the sextic Using the definition of the elliptic discriminant, this is equivalent to Squaring both sides, rearranging the equation by the powers of y gives If we let and multiply everything by , we get the Jacobi sextic (24) Hence, we reckon that the roots of (24) are actually of the form : After going through all the 12 roots, we see that the correct ones are : Hence, we have the roots of the Jacobi sextic, undoing all the transformation will give the equivalent roots of general quintic equation, and this way, the Kiepert's algorithm ends.

July 29th, 2019, 01:58 PM  #8 
Newbie Joined: Jul 2019 From: brisol,cct Posts: 1 Thanks: 0 
Would be nice to see the equations.

July 29th, 2019, 02:16 PM  #9 
Senior Member Joined: Aug 2012 Posts: 2,409 Thanks: 753  

Tags 
advanced, analysis, quintics 
Search tags for this page 
difference between transformation and function,Bringâ€“Jerrard normal form by radicals power sum,A new way to derive the BringJerrard quintic in radicals,cubic root of unity and their property,newton's identities elementary derivation
Click on a term to search for related topics.

Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Auxiliary discussion for "Advanced Analysis of Quintics"  JJacquelin  New Users  68  August 23rd, 2013 03:55 AM 
Quintics : Easy!  mathbalarka  Algebra  6  January 24th, 2013 12:03 AM 
Quintics  mathbalarka  Algebra  8  September 29th, 2012 07:19 AM 
Solvable Quintics  mathbalarka  Algebra  101  September 6th, 2012 10:03 PM 
Advanced Complex Analysis Text  smokeybob  Complex Analysis  2  March 5th, 2010 04:23 PM 