stringtranslate.com

Función quíntica

Gráfica de un polinomio de grado 5, con 3 ceros reales (raíces) y 4 puntos críticos

En matemáticas , una función quíntica es una función de la forma

donde a , b , c , d , e y f son miembros de un cuerpo , típicamente los números racionales , los números reales o los números complejos , y a es distinto de cero. En otras palabras, una función quíntica se define mediante un polinomio de grado cinco.

Debido a que tienen un grado impar, las funciones quinticas normales parecen similares a las funciones cúbicas normales cuando se grafican, excepto que pueden poseer un máximo local adicional y un mínimo local adicional. La derivada de una función quintica es una función cuártica .

Si se establece g ( x ) = 0 y se supone que a ≠ 0, se obtiene una ecuación quíntica de la forma:

La resolución de ecuaciones de quinto grado en términos de radicales ( raíces n -ésimas) fue un problema importante en álgebra desde el siglo XVI, cuando se resolvieron ecuaciones cúbicas y cuárticas , hasta la primera mitad del siglo XIX, cuando se demostró la imposibilidad de una solución tan general con el teorema de Abel-Ruffini .

Encontrar raíces de una ecuación quintica

Encontrar las raíces (ceros) de un polinomio dado ha sido un problema matemático importante.

La resolución de ecuaciones lineales , cuadráticas , cúbicas y cuárticas en términos de radicales y operaciones aritméticas elementales sobre los coeficientes siempre se puede hacer, sin importar si las raíces son racionales o irracionales, reales o complejas; existen fórmulas que arrojan las soluciones requeridas. Sin embargo, no existe una expresión algebraica (es decir, en términos de radicales) para las soluciones de ecuaciones de quinto grado generales sobre los racionales; esta afirmación se conoce como el teorema de Abel-Ruffini , afirmado por primera vez en 1799 y completamente demostrado en 1824. Este resultado también es válido para ecuaciones de grado superior. Un ejemplo de una ecuación de quinto grado cuyas raíces no se pueden expresar en términos de radicales es x 5x + 1 = 0 .

Algunas ecuaciones de quinto grado se pueden resolver en términos de radicales. Sin embargo, la solución suele ser demasiado complicada para su uso en la práctica. En su lugar, se calculan aproximaciones numéricas utilizando un algoritmo de búsqueda de raíces para polinomios .

Quinticas resolubles

Algunas ecuaciones de quinto grado se pueden resolver en términos de radicales. Entre ellas se incluyen las ecuaciones de quinto grado definidas por un polinomio que es reducible , como x 5x 4x + 1 = ( x 2 + 1)( x + 1)( x − 1) 2 . Por ejemplo, se ha demostrado [1] que

tiene soluciones en radicales si y solo si tiene una solución entera o r es uno de ±15, ±22440 o ±2759640, en cuyo caso el polinomio es reducible.

Como la resolución de ecuaciones de quinto grado reducibles se reduce inmediatamente a la resolución de polinomios de grado inferior, en el resto de esta sección solo se considerarán ecuaciones de quinto grado irreducibles y el término "de quinto grado" se referirá únicamente a ecuaciones de quinto grado irreducibles. Por lo tanto, una ecuación de quinto grado reducible es un polinomio de quinto grado irreducible cuyas raíces se pueden expresar en términos de radicales.

Para caracterizar las ecuaciones de quinto grado resolubles y, de manera más general, los polinomios resolubles de grado superior, Évariste Galois desarrolló técnicas que dieron origen a la teoría de grupos y a la teoría de Galois . Aplicando estas técnicas, Arthur Cayley encontró un criterio general para determinar si una ecuación de quinto grado dada es resoluble. [2] Este criterio es el siguiente. [3]

Dada la ecuación

la transformación de Tschirnhaus x = yb/5 un , que deprime la quíntica (es decir, elimina el término de grado cuatro), da la ecuación

,

dónde

Ambas quinticas son resolubles por radicales si y solo si son factorizables en ecuaciones de grados inferiores con coeficientes racionales o el polinomio P 2 − 1024 z Δ , denominadoEl resolvente de Cayley , tiene una raíz racional enz, donde

y

El resultado de Cayley permite comprobar si una ecuación de quinto grado es resoluble. Si es así, hallar sus raíces es un problema más difícil, que consiste en expresar las raíces en términos de radicales que involucran los coeficientes de la ecuación de quinto grado y la raíz racional del resolvente de Cayley.

En 1888, George Paxton Young describió cómo resolver una ecuación quintica resoluble, sin proporcionar una fórmula explícita; [4] en 2004, Daniel Lazard escribió una fórmula de tres páginas. [5]

Quinticas en forma Bring–Jerrard

Existen varias representaciones paramétricas de ecuaciones quinticas resolubles de la forma x 5 + ax + b = 0 , llamadas forma Bring–Jerrard .

Durante la segunda mitad del siglo XIX, John Stuart Glashan, George Paxton Young y Carl Runge dieron esta parametrización: una ecuación quintica irreducible con coeficientes racionales en forma Bring-Jerrard es solucionable si y solo si a = 0 o puede escribirse

donde μ y ν son racionales.

En 1994, Blair Spearman y Kenneth S. Williams dieron una alternativa:

La relación entre las parametrizaciones de 1885 y 1994 se puede ver definiendo la expresión

donde a = 5(4 v + 3)/ν 2 + 1 . Utilizando el caso negativo de la raíz cuadrada se obtiene, después de escalar las variables, la primera parametrización mientras que el caso positivo da la segunda.

La sustitución c = - m/el 5 , e = 1/yo en la parametrización de Spearman-Williams permite no excluir el caso especial a = 0 , dando el siguiente resultado:

Si a y b son números racionales, la ecuación x 5 + ax + b = 0 se puede resolver mediante radicales si su lado izquierdo es un producto de polinomios de grado menor que 5 con coeficientes racionales o existen dos números racionales l y m tales que

Raíces de una ecuación quintica resoluble

Una ecuación polinómica es resoluble por radicales si su grupo de Galois es un grupo resoluble . En el caso de ecuaciones de quinto grado irreducibles, el grupo de Galois es un subgrupo del grupo simétrico S 5 de todas las permutaciones de un conjunto de cinco elementos, que es resoluble si y solo si es un subgrupo del grupo F 5 , de orden 20 , generado por las permutaciones cíclicas (1 2 3 4 5) y (1 2 4 3) .

Si la ecuación de quinto grado es resoluble, una de las soluciones puede representarse mediante una expresión algebraica que involucre una quinta raíz y, como máximo, dos raíces cuadradas, generalmente anidadas . Las otras soluciones pueden obtenerse entonces ya sea modificando la quinta raíz o multiplicando todas las ocurrencias de la quinta raíz por la misma potencia de una quinta raíz primitiva de la unidad , como

De hecho, las cuatro raíces quintas primitivas de la unidad se pueden obtener cambiando los signos de las raíces cuadradas de manera apropiada, es decir, la expresión

donde , produce las cuatro raíces quintas primitivas distintas de la unidad.

De ello se deduce que se pueden necesitar cuatro raíces cuadradas diferentes para escribir todas las raíces de una ecuación de quinto grado resoluble. Incluso para la primera raíz que implica como máximo dos raíces cuadradas, la expresión de las soluciones en términos de radicales suele ser muy complicada. Sin embargo, cuando no se necesita ninguna raíz cuadrada, la forma de la primera solución puede ser bastante simple, como en el caso de la ecuación x 5 − 5 x 4 + 30 x 3 − 50 x 2 + 55 x − 21 = 0 , para la que la única solución real es

Un ejemplo de una solución más complicada (aunque lo suficientemente pequeña para escribirla aquí) es la raíz real única de x 5 − 5 x + 12 = 0 . Sea a = 2 φ −1 , b = 2 φ y c = 45 , donde φ = 1+ 5/2 es la proporción áurea . Entonces la única solución real x = −1.84208... viene dada por

o, equivalentemente, por

donde y i son las cuatro raíces de la ecuación cuártica

De manera más general, si una ecuación P ( x ) = 0 de grado primo p con coeficientes racionales es resoluble en radicales, entonces se puede definir una ecuación auxiliar Q ( y ) = 0 de grado p – 1 , también con coeficientes racionales, tal que cada raíz de P es la suma de las raíces p -ésimas de las raíces de Q . Estas raíces p -ésimas fueron introducidas por Joseph-Louis Lagrange , y sus productos por p se denominan comúnmente resolventes de Lagrange . El cálculo de Q y sus raíces se puede utilizar para resolver P ( x ) = 0 . Sin embargo, estas raíces p -ésimas no se pueden calcular de forma independiente (esto proporcionaría raíces p p –1 en lugar de p ). Por lo tanto, una solución correcta debe expresar todas estas raíces p en términos de una de ellas. La teoría de Galois muestra que esto siempre es teóricamente posible, incluso si la fórmula resultante puede ser demasiado grande para ser de alguna utilidad.

Es posible que algunas de las raíces de Q sean racionales (como en el primer ejemplo de esta sección) o que algunas sean cero. En estos casos, la fórmula para las raíces es mucho más simple, como en el caso de la ecuación de quinto grado de De Moivre resoluble.

donde la ecuación auxiliar tiene dos raíces cero y se reduce, al factorizarlas, a la ecuación cuadrática

de modo que las cinco raíces de la ecuación quintica de De Moivre están dadas por

donde y i es cualquier raíz de la ecuación cuadrática auxiliar y ω es cualquiera de las cuatro raíces primitivas 5.ª de la unidad . Esto se puede generalizar fácilmente para construir un grado séptico solucionable y otros grados impares, no necesariamente primos.

Otras quinticas solucionables

Hay infinitas quinticas resolubles en forma Bring-Jerrard que han sido parametrizadas en una sección anterior.

Hasta el escalamiento de la variable, hay exactamente cinco quinticas resolubles de la forma , que son [6] (donde s es un factor de escala):

Paxton Young (1888) dio varios ejemplos de ecuaciones quinticas resolubles:

Se puede construir una secuencia infinita de ecuaciones quinticas resolubles, cuyas raíces sean sumas de raíces n- ésimas de la unidad , siendo n = 10 k + 1 un número primo:

También hay dos familias parametrizadas de quinticas resolubles: la quintica de Kondo-Brumer,

y la familia dependiendo de los parámetros

dónde

Caso irreducible

De manera análoga a las ecuaciones cúbicas , existen ecuaciones de quinto grado resolubles que tienen cinco raíces reales, todas cuyas soluciones en radicales involucran raíces de números complejos. Este es un casus irreducibilis para la ecuación de quinto grado, que se analiza en Dummit. [7] : p.17  De hecho, si una ecuación de quinto grado irreducible tiene todas las raíces reales, ninguna raíz puede expresarse puramente en términos de radicales reales (como es cierto para todos los grados de polinomios que no son potencias de 2).

Más allá de los radicales

En 1835, Jerrard demostró que las ecuaciones de quinto grado se pueden resolver utilizando ultrarradicales (también conocidos como radicales Bring), la única raíz real de t 5 + ta = 0 para números reales a . En 1858, Charles Hermite demostró que el radical Bring se podía caracterizar en términos de las funciones theta de Jacobi y sus funciones modulares elípticas asociadas , utilizando un enfoque similar al enfoque más conocido de resolver ecuaciones cúbicas por medio de funciones trigonométricas . Casi al mismo tiempo, Leopold Kronecker , utilizando la teoría de grupos , desarrolló una forma más simple de derivar el resultado de Hermite, al igual que Francesco Brioschi . Más tarde, Felix Klein ideó un método que relaciona las simetrías del icosaedro , la teoría de Galois y las funciones modulares elípticas que aparecen en la solución de Hermite, dando una explicación de por qué deberían aparecer, y desarrolló su propia solución en términos de funciones hipergeométricas generalizadas . [8] Fenómenos similares ocurren en el grado 7 ( ecuaciones sépticas ) y 11 , como lo estudió Klein y discutió en Simetría icosaédrica § Geometrías relacionadas .

Resolver con radicales Bring

Una transformación de Tschirnhaus , que puede calcularse resolviendo una ecuación cuártica , reduce la ecuación quíntica general de la forma

a la forma normal de Bring–Jerrard x 5x + t = 0 .

Las raíces de esta ecuación no pueden expresarse mediante radicales. Sin embargo, en 1858, Charles Hermite publicó la primera solución conocida de esta ecuación en términos de funciones elípticas . [9] Casi al mismo tiempo, Francesco Brioschi [10] y Leopold Kronecker [11] encontraron soluciones equivalentes.

Consulte Bring radical para obtener detalles sobre estas soluciones y algunas relacionadas.

Aplicación a la mecánica celeste

Para encontrar las ubicaciones de los puntos lagrangianos de una órbita astronómica en la que las masas de ambos objetos no son despreciables, es necesario resolver una ecuación quintica.

Más precisamente, las ubicaciones de L 2 y L 1 son las soluciones de las siguientes ecuaciones, donde las fuerzas gravitacionales de dos masas sobre una tercera (por ejemplo, el Sol y la Tierra en satélites como Gaia y el Telescopio Espacial James Webb en L 2 y SOHO en L 1 ) proporcionan la fuerza centrípeta del satélite necesaria para estar en una órbita sincrónica con la Tierra alrededor del Sol:

El signo ± corresponde a L 2 y L 1 , respectivamente; G es la constante gravitacional , ω la velocidad angular , r la distancia del satélite a la Tierra, R la distancia del Sol a la Tierra (es decir, el semieje mayor de la órbita de la Tierra), y m , M E y M S son las masas respectivas del satélite, la Tierra y el Sol .

Usando la Tercera Ley de Kepler y reorganizando todos los términos se obtiene la ecuación quintica

con:

.

Resolviendo estas dos ecuaciones de quinto grado se obtiene r = 1,501 x 10 9 m para L 2 y r = 1,491 x 10 9 m para L 1. Los puntos Lagrangianos Sol-Tierra L 2 y L 1 se dan generalmente a 1,5 millones de kilómetros de la Tierra.

Si la masa del objeto más pequeño ( M E ) es mucho menor que la masa del objeto más grande ( M S ), entonces la ecuación quíntica se puede reducir en gran medida y L 1 y L 2 están aproximadamente en el radio de la esfera de Hill , dado por:

Esto también produce r = 1,5 x 10 9 m para los satélites en L 1 y L 2 en el sistema Sol-Tierra.

Véase también

Notas

  1. ^ Elia, M.; Filipponi, P. (1998). "Ecuaciones de la forma Bring-Jerrard, la sección áurea y los números cuadrados de Fibonacci" (PDF) . The Fibonacci Quarterly . 36 (3): 282–286.
  2. ^ A. Cayley, "Sobre una nueva ecuación auxiliar en la teoría de ecuaciones de quinto orden", Philosophical Transactions of the Royal Society of London 151 :263-276 (1861) doi :10.1098/rstl.1861.0014
  3. ^ Esta formulación del resultado de Cayley se extrae del artículo de Lazard (2004).
  4. ^ George Paxton Young, "Ecuaciones quínticas solucionables con coeficientes conmensurables", American Journal of Mathematics 10 :99–130 (1888), JSTOR  2369502
  5. ^ Lazard (2004, pág. 207)
  6. ^ Elkies, Noam. "Trinomios a xn + bx + c con grupos de Galois interesantes". Universidad de Harvard .
  7. ^ David S. Dummit Solución de ecuaciones de quinto grado resolubles
  8. ^ (Klein 1888); se da una exposición moderna en (Tóth 2002, Sección 1.6, Tema adicional: Teoría del icosaedro de Klein, pág. 66)
  9. ^ Hermita, Charles (1858). "Sobre la resolución de la ecuación del cinquième degré". Cuentas Rendus de la Academia de Ciencias . XLVI (I): 508–515.
  10. ^ 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 . Yo : 275–282.
  11. ^ Kronecker, Leopold (1858). "Sobre la resolución de la ecuación del cinquième degré, extrait d'une lettre adressée à M. Hermite". Cuentas Rendus de la Academia de Ciencias . XLVI (I): 1150-1152.

Referencias

Enlaces externos