domingo, 28 de abril de 2013

Modelo matemático de las funciones polinomiales de grado: tres y cuatro.


Funciones polinomiales de tercer grado. 


Una ecuación de tercer grado o ecuación cúbica con una incógnita es una ecuación que se puede poner bajo la forma canónica:
ax^3 + bx^2 + cx + d = 0 \,,
donde a, b, c y d (a ≠ 0) son números que pertenecen a un campo, usualmente el campo de los números reales o el de los números complejos.
La función cúbica es una función polinómica de tercer grado. Tiene la forma:

   f(x) =
   ax^3 + bx^2 + cx + d \,
donde el coeficiente a es distinto de 0.
Tanto el dominio de definición como el conjunto imagen de estas funciones pertenecen a los números reales.
La derivada de una función cúbica genera una función cuadrática y su integral una función cuártica.
Ecuación cúbica
La ecuación cúbica es la ecuación que resulta de igualar a cero la función cúbica, y tiene la forma canónica:

   ax^3 + bx^2 + cx + d = 0
   \qquad (1)
donde a, b, c y d (a ≠ 0) son números que pertenecen a un campo, usualmente el campo de los números reales o el de los números complejos.
Discriminante
Resulta importante y a la vez esencial obtener propiedades elementales de los polinomios como herramientas de análisis en los resultados según los valores de sus coeficientes. Cualquier ecuación cúbica (1) con coeficientes reales tiene al menos una solución x sobre los números reales; esta es una consecuencia del teorema del valor intermedio. Se pueden distinguir varios posibles casos, usando para ello el discriminante,
 \Delta = 18abcd -4b^3d + b^2c^2 - 4ac^3 - 27a^2d^2. \,
Los siguientes casos necesitan ser considerados: 1
  • Si Δ > 0, entonces la ecuación tiene tres distintas raíces reales.
  • Si Δ = 0, entonces la ecuación tiene múltiples raíces y todas sus raíces son reales (puede ser una raíz triple o una doble y otra simple).
  • Si Δ < 0, Entonces la ecuación tiene una raíz real y dos raíces complejas conjugadas.


Las primeras ecuaciones de tercer grado que se intentó resolver fueron con coeficientes reales (de hecho: enteros). El cuerpo de los reales no es algebraicamente cerrado, por lo tanto, el número de raíces reales no es siempre 3. Las que faltan se encuentran en C, extensión algebraica cerrada de R. La distinción aparece cuando se calcula el discriminante de la ecuación. Se puede notar que siempre hay por lo menos una solución real, independientemente de que el discriminante Δ sea mayor, menor o igual a cero. Es debido a que las funciones polinomiales no constantes tienen límites infinitos en +∞ y -∞ y las de grado impar tienen límites de signos contrarios. Como son funciones continuas, tienen que pasar por cero, por el teorema de los valores intermedios.
También es posible resolverla con el método de Newton-Raphson, ya que se sabe que al menos habrá una solución real.
Raíces reales de la ecuación cúbica
Partiendo de la ecuación canónica
ax^3 + bx^2 + cx + d = 0
dividiendo entre a y haciendo una transformación de Tschirnhaus (sustituyendo x = z-\tfrac{b}{3a}) se elimina de la forma normal el término cuadrático y se obtiene la forma reducida:
z^3 +pz + q=0,
con lo cual,
 \begin{align}
p=&\frac{3ac-b^2}{3a^2}\\
q=&\frac{2b^3-9abc+27a^2d}{27a^3}.
\end{align}
Se demuestra que el número de raíces reales depende del discriminante de la ecuación auxiliar \Delta = (-4p^3 - 27q^2)\,.2 La ecuación cúbica incompleta z^3+pz+q=0 \, posee tres raíces reales cuando el discriminante  \Delta>0 \,, pero donde p<0 \, y  q \, posee cualquier valor y signo. Tales raíces se calculan como
z_{k+1}=\pm2 \sqrt{\frac{-p}{3}}\cos\left(\frac{\Phi}{3}+120k\right) , para  k = 0, 1, 2  \,
donde el signo positivo se usa si q\leq0 \, y el signo negativo se usa si  q>0 \,. Mientras que \Phi \, esta dada por
\Phi=\arccos{\sqrt{\frac{q^2/4}{-p^3/27}}}
De modo que si queremos calcular las tres raíces de la ecuación cúbica completa ax^3+bx^2+cx+d=0 \,, entonces podemos obtenerlas fácilmente como
x_{k}=z_{k}-\frac{b}{3a} , para  k = 0, 1, 2 \,

Ejemplo.

Sea la ecuación cúbica  2t^3 + 6t^2 + 12t + 10 = 0 \,, Se procederá a resolverla, para ello, se siguen los siguientes pasos.
  • t^3 + 3t^2 + 6t + 5 = 0 \, (al dividir por 2)
  • Con x = t + 1, es decir t = x - 1, reemplazando:
(x - 1)^3 + 3(x - 1)^2 + 6(x - 1) + 5 = 0 \,, y desarrollando, se optiene la ecuación en forma reducida x^3 + 3x + 1 = 0 \,.
  • x = u + vU = u³, V = v³ y se impone U + V = - 1 y UV = - 1. U y V son las raíces de X² + X - 1 = 0.
  • Se despeja UV y t.
U = \frac {-1 - \sqrt {5}} {2} \, y V = \frac {-1 + \sqrt {5}} {2} \,, luego u = \sqrt[3]{\frac {-1 - \sqrt {5}} {2}} \, y v = \sqrt[3]{\frac {-1 + \sqrt {5}} {2}} \,.
Por lo tanto
t = x - 1 = u + v - 1 = \sqrt[3]{\frac {-1 - \sqrt {5}} {2}} + \sqrt[3]{\frac {-1 + \sqrt {5}} {2}} - 1 \approx -1,3221853546

Funciones polinomiales de grado cuatro. 



Una ecuación de cuarto grado o ecuación cuártica con una incógnita es una ecuación que se puede poner bajo la forma canónica:
ax^4 + bx^3 + {cx^2}^{} + dx + e  = 0
donde a, b, c, d y e (siendo  a \ne 0 ) son números que pertenecen a un cuerpo, usualmente a los reales  \mathbb{R} o los complejos  \mathbb{C}.

Caso general

Sea K un cuerpo, donde se pueden extraer raíces cuadradas y cúbicas (y por lo tanto también de cuarto orden, pues equivale a extraer raíces cuadradas dos veces seguidas). En este cuerpo, es posible factorizar por todo a, y la identidad siguiente es válida:
(a - b)^4 = a^4 - 4a^3b + 6a^2b^2 - 4ab^3 + b^4 \,.
En un cuerpo algebraicamente cerrado, se sabe que todo polinomio de grado 4 tiene cuatro raíces. Es el caso del cuerpo de los complejos, según el Teorema Fundamental del Álgebra.
El método siguiente permite obtener las cuatro raíces al mismo tiempo. Este método es llamado "método de Descartes", pues fue dado por el matemático francés René Descartes (1596-1650) en el año de 1637 en su célebre libro "La Geometría". Aunque existan diferentes métodos para resolver las ecuaciones cuárticas, algunos son: método de Ferrari, método de Descartes, método de Euler, método de Lagrange, método de Alcalá, etcétera.
Método de Descarte
Los pasos de la resolución para el método de Descartes (1637) son:
  • Dividir la ecuación inicial por el coeficiente a. Se obtiene:
x^4 + b'x^3 + c'x^2 + d'x + e' = 0 \,, donde b' = \frac {b} {a} \,c' = \frac {c} {a} \,d' = \frac {d} {a} \, y e' = \frac {e} {a} \,
  • Proceder al cambio de incógnita z = x + \frac {b'} {4} \,, para suprimir el término cúbico. En efecto, al desarrollar (z - \frac {b'} {4})^4 con la identidad precedente, vemos aparecer el término -b'z^3 \,, compensado exactamente por b'z^3 \, que aparece en b'(z - \frac {b'} {4})^3 \,. Tras sustituir x y operando con las identidades notables, se obtiene:
z^4 + pz^2 + qz + r  = 0 \,, con p, q y r números del cuerpo.
  • Y ahora, la idea genial: factorizar lo anterior en (z^2 + \alpha z + \beta )( z^2 - \alpha z + \gamma) \,, lo que es posible porque no hay z³ en el polinomio.
Desarrollando la expresión e identificando los dos polinomios, obtenemos las condiciones:
\beta + \gamma - \alpha^2 = p \, (coeficiente de x²)
\alpha(\gamma - \beta) = q \, (coeficiente en x)
\beta \gamma = r \, (término constante)
Después de algunos cálculos, hallamos : \alpha^6 + 2p\alpha^4 + (p^2 - 4r)\alpha^2 - q^2 = 0 \, Es una ecuación de sexto grado, pero si miramos bien, α sólo aparece con potencias pares.
Pongamos A = \alpha^2. Entonces:
A^3 + 2pA^2 + (p - 4r)A - q^2 = 0 \,, que resulta ser una ecuación de tercer grado en la variable  A\, y que se puede resolver usando el método de Cardano.
Luego se encuentra αβ y γ, y se resuelven z^2 + \alpha z + \beta = 0 \, y z^2 - \alpha z + \gamma = 0 \,, y para terminar, no olvide que x = z - \frac {b'} {4}.Ecuaciones bicuadrada
Éstas son un caso particular de las anteriores. Les faltan los términos a la tercera y a la primera potencia. Su forma polinómica es:
 ax^4 + {bx^2}^{} + c  = 0
Para resolver estas ecuaciones tan solo hay que hacer el cambio de variable  {x^2}^{}=u
Con lo que nos queda:  {au^2}^{} + bu + c  = 0  El resultado resulta ser una ecuación de segundo grado que podemos resolver usando la fórmula:
 u= \frac{-b \pm \sqrt{b^2-4ac}}{2a}
Ahora bien, esto no nos da las cuatro soluciones esperadas. Aún hemos de deshacer el cambio de variable. Así las cuatro soluciones serán:
 x_1 = +\sqrt{u_1}
x_2 = -\sqrt{u_1}
x_3 = +\sqrt{u_2}
x_4 = -\sqrt{u_2}

Otro caso particular: Ecuaciones casi-simétricas
El siguiente tipo de ecuación
x^4+a_1x^3+a_2x^2+a_3x+m^2=0 \,, donde m = \frac {a_3} {a_1} \,, puede ser resuelto así:
Al dividir la ecuación por x^2, se obtiene

x^2 + \frac {m^2} {x^2} + a_1x + \frac {a_3} {x} + a_2 = 0
(x^2 + \frac {m^2} {x^2}) + a_1(x + \frac {m} {x}) + a_2 = 0
Haciendo cambio de variable:
z=x + \frac {m} {x} \,
llegamos a
z^2 - 2m = x^2 + \frac {m^2} {x^2} \,

Así
(z^2 - 2m) + a_1z + a_2 = 0 \,

Esta ecuación da 2 raíces, z_1 y z_2
Las raíces de la ecuación original pueden ser obtenidas resolviendo las siguientes ecuaciones de 2o grado:
x^2 -z_1x + m = 0 \,
y
x^2 - z_2x + m = 0 \,
Si a_0 no es 1 en a_0x^4 + a_1x^3 + a_2x^2 + a_3x + a_0m^2 = 0 \,
este método es de todas formas aplicable, luego de dividir la ecuación entre a_0.
Las ecuaciones cuasi simétricas poseen la siguiente propiedad, que, por otra parte, las define: si x_1x_2, y x_3,x_4 son las raíces de la ecuación, entonces x_1 x_2 = m. Dado que el producto de las 4 raíces es m^2, entonces x_3 x_4 = m necesariamente.

No hay comentarios:

Publicar un comentario