Diagonalización de formas cuadráticas: método de Gauss

Proporcionamos ejercicios sobre el método de Gauss para la diagonalización de formas cuadráticas.

RESUMEN TEÓRICO
  • Descripción del método.
    El método de Gauss permite diagonalizar cualquier forma cuadrática $q:\mathbb{R}^n\to \mathbb{R}.$ O de forma equivalente, permite descomponer la forma cuadrática en suma de cuadrados de formas lineales linealmente independientes. Además, este método trabaja directamente sobre $q.$ Supondremos que la forma cuadrática $q$ es no nula (trivialmente estaría diagonalizada) y analizamos dos casos:

    Caso 1. La forma cuadrática contiene algún cuadrado. Supondremos sin pérdida de generalidad que el término que contiene un cuadrado es $ax_1^2\;(a\neq 0).$ Entonces podemos expresar $q(x_1,\ldots,x_n)=ax_1^2+\varphi_1x_1+q_1$ en donde $q_1$ es una forma cuadrática que solamente contiene las $n-1$ variables $x_2,\ldots,x_n$ y $\varphi_1$ es una forma lineal que solamente contiene las $n-1$ variables $x_2,\ldots,x_n.$ Entonces

    $q(x_1,\ldots,x_n)=ax_1^2+\varphi_1x_1+q_1=a\left(x_1+\dfrac{\varphi_1}{2a}\right)^2-\dfrac{\varphi_1^2}{4a}+q_1.$

    Por tanto tenemos expresada $q$ como suma del cuadrado de una forma lineal más la forma cuadrática $-\varphi_1^2/4a+q_1$ que solamente contiene $n-1$ variables.

    Caso 2. La forma cuadrática no contiene cuadrados. Ordenando con respecto a dos variables (por ejemplo $x_1$ y $x_2$):

    $$q(x_1,\ldots,x_n)=ax_1x_2+x_1\varphi_1+x_2\varphi_2+q_1(x_3\ldots,x_n)=$$$$a\left(x_1+\dfrac{\varphi_2}{a}\right)\left(x_2+\dfrac{\varphi_1}{a}\right)+q_1-\dfrac{\varphi_1\varphi_2}{a}\quad (a\neq 0).$$

    Podemos introducir dos cuadrados aplicando $AB=(1/4)[(A+B)^2-(A-B)^2]$ al sumando $a(x_1+\varphi_2/a)(x_2+\varphi_1/a)$ y la forma cuadrática $q_1-\varphi_1\varphi_2/a$ depende de las $n-2$ variables $x_3,\ldots,x_n$

    Dado que para $n=1$ la forma cuadrática es evidentemente diagonalizable, los casos anteriores demuestran que podemos descomponer $q$ en suma de cuadrados de $n$ formas lineales. La independencia de estas formas lineales es fácilmente demostrable por recurrencia.

    Enunciado
  1. Usando el método de Gauss, diagonalizar la forma cuadrática $q:\mathbb{R}^3\to\mathbb{R}$ dada por $$q(x_1,x_2,x_3)=x_1^2-x_2^2+7x_3^2+2x_1x_2+4x_1x_3+8x_2x_3.$$
  2. Usando el método de Gauss, diagonalizar la forma cuadrática $q:\mathbb{R}^4\to\mathbb{R}$ dada por $$q(x,y,z,t)=xy+xz+xt+yz+yt+zt.$$
    Solución
  1. Estamos en el caso 1. Siguiendo el método general expuesto: $$\displaystyle\begin{aligned}q(x_1,x_2,x_3)&=x_1^2+x_1(2x_2+4x_3)-x_2^2+8x_2x_3+7x_3^2\\&=(x_1+x_2+2x_3)^2-\dfrac{(2x_2+4x_3)^2}{4}-x_2^2+8x_2x_3+7x_3^2\\
    &=(x_1+x_2+2x_3)^2-2x_2^2+4x_2x_3+3x_3^2.\end {aligned}$$

    Ahora descomponemos $-2x_2^2+4x_2x_3+3x_3^2$ :

    $\displaystyle\begin{aligned}-2x_2^2+4x_2x_3+3x_3^2&=-2x_2^2+x_2(4x_3)+3x_3^2\\&= -2(x_2-x_3)^2-\dfrac{(4x_3)^2}{-8}+3x_3^2\\&=-2(x_2-x_3)^2+5x_3^2.\end {aligned}$

    La expresión de $q$ en suma de cuadrados de formas lineales independientes es:

    $q(x_1,x_2,x_3)=(x_1+x_2+2x_3)^2-2(x_2-x_3)^2+5x_3^2.$

    Denotando $x’_1=x_1+x_2+2x_3\;,\;x’_2=x_2-x_3\;,\;x’_3=x_3$ también podemos expresar $q$ en la forma: $$q(x_1,x_2,x_3)=x_1’^2-2x_2’^2+5x_3’^2=\begin{pmatrix}{x’_1}&{x’_2}&{x’_3}\end{pmatrix}\begin{pmatrix}{1}&{\;\;0}&{0}\\{0}&{-2}&{0}\\{0}&{\;\;0}&{5}\end{pmatrix}\begin{pmatrix}{x’_1}\\{x’_2}\\{x’_3}\end{pmatrix}.$$

  2. Estamos en el caso 2. Siguiendo el método general expuesto: $$\displaystyle\begin{aligned}q(x,y,z,t)&=xy+x(z+t)+y(2z+t)+4zt\\&= (x+2z+t)(y+z+t)+4zt-(z+t)(2z+t)\\&=(x+2z+t)(y+z+t)-2z^2-t^2+zt\end {aligned}$$

    Usando la fórmula $AB=(1/4)[(A+B)^2-(A-B)^2]$ obtenemos

    $(x+2z+t)(y+z+t)=\dfrac{1}{4}(x+y+3z+2t)^2-\dfrac{1}{4}(x-y+z)^2$

    Ahora descomponemos $-2z^2-t^2+zt$ :

    $\displaystyle\begin{aligned}-2z^2-t^2+zt&=-t^2+t(z)-2z^2\\&=-\left(t-\dfrac{z}{2}\right)^2-\dfrac{z^2}{4}-2z^2=\\&=-\left(t-\dfrac{z}{2}\right)^2-\dfrac{9}{4}z^2\end {aligned}$

    La expresión de $q$ en suma de cuadrados de formas lineales independientes es:

    $q(x,y,z,t)=\dfrac{1}{4}(x+y+3z+2t)^2-\dfrac{1}{4}(x-y+z)^2-\left(t-\dfrac{z}{2}\right)^2-\dfrac{9}{4}z^2$

    Denotando $x’=x+y+3z+2t\;,\;y’=x-y+z\;,\;z’=t-z/2\;,\;t’=z$ también podemos expresar $q$ en la forma :

    $q(x,y,z,t)=\dfrac{1}{4}x’^{\;2}-\dfrac{1}{4}y’^{\;2}-z’^{\;2}-\dfrac{9}{4}t’^{\;2}=\\\begin{pmatrix}{x’}&{y’}&{z’}&{t’}\end{pmatrix}\begin{pmatrix}{1/4}&{\;\;0}&{\;\;0}&{\;\;0}\\{0}&{-1/4}&{\;\;0}&{\;\;0}\\{0}&{\;\;0}&{-1}&{\;\;0}\\{0}&{\;\;0}&{\;\;0}&{-9/4}\end{pmatrix}\begin{pmatrix}{x’}\\{y’}\\{z’}\\{t’}\end{pmatrix}.$

Esta entrada ha sido publicada en Álgebra y etiquetada como , , , . Guarda el enlace permanente.