Clasificación de formas cuadráticas

Proporcionamos ejercicios sobre clasificación de formas cuadráticas.

RESUMEN TEÓRICO
    Enunciado
  1. Clasificar la forma cuadrática $q:\mathbb{R}^3\to\mathbb{R}:$ $$q(x_1,x_2,x_3)=x_1^2+x_2^2+5x_3^2+2ax_1x_2-2x_1x_3+4x_2x_3\;\;(a\in\mathbb{R}).$$
  2. Determinar para que valores de $a\in\mathbb{R}$ es definida positiva la forma cuadrática $$q:\mathbb{R}^3\to\mathbb{R},\quad q(x)=X^T\begin{bmatrix}{1}&{2}&{1}\\{2}&{6}&{2}\\{1}&{2}&{a}\end{bmatrix}X.$$
    Solución
  1. Busquemos una matriz diagonal que represente a $q.$ $$\begin{bmatrix}{1}&{a}&{-1}\\{a}&{1}&{2}\\{-1}&{2}&{5}\end{bmatrix}\begin{matrix}\sim\\{F_2-aF_1}\\{F_3+F_1}\end{matrix}\begin{bmatrix}{1}&{a}&{-1}\\{0}&{1-a^2}&{2+a}\\{0}&{2+a}&{4}\end{bmatrix}$$ $$\begin{matrix}\sim\\{C_2-aC_1}\\{C_3+C_1}\end{matrix}\begin{bmatrix}{1}&{0}&{0}\\{0}&{1-a^2}&{2+a}\\{0}&{2+a}&{4}\end{bmatrix}.$$ Para $a^2-1\neq 0,$ es decir para $a\neq \pm 1:$ $$\begin{bmatrix}{1}&{0}&{0}\\{0}&{1-a^2}&{2+a}\\{0}&{2+a}&{4}\end{bmatrix}\begin{matrix}\sim\\{(1-a^2)F_3-(2+a)F_2}\end{matrix}$$ $$\begin{bmatrix}{1}&{0}&{0}\\{0}&{1-a^2}&{2+a}\\{0}&{0}&{-5a^2-4a}\end{bmatrix}\begin{matrix}\sim\\{(1-a^2)C_3-(2+a)C_2}\end{matrix}$$ $$\begin{bmatrix}{1}&{0}&{0}\\{0}&{1-a^2}&{0}\\{0}&{0}&{(-5a^2-4a)(1-a^2)}\end{bmatrix}.$$ Una matriz diagonal que representa a $q$ es por tanto: $$D=\text{diag }\left(1,\;1-a^2,\; (5a^2+4a)(a^2-1)\right)\quad (a\neq \pm 1).$$ Las raíces de los polinomios que aparecen en $D$ son $a=\pm 1,$ $a=0$ y $a=-4/5.$ Según los valores de $a$ obtenemos:

    $a\in (-\infty,-1)\Rightarrow D= \text{diag }\left(+,\;-,\; +\right)\Rightarrow q \text{ es indefinida.}$
    $a\in (-1,-4/5)\Rightarrow D= \text{diag }\left(+,\;+,\; -\right)\Rightarrow q \text{ es indefinida.}$
    $a=-4/5\Rightarrow D= \text{diag }\left(+,\;+,\; 0\right)\Rightarrow q \text{ es semidefinida positiva.}$
    $a\in (-4/5,0)\Rightarrow D= \text{diag }\left(+,\;+,\; +\right)\Rightarrow q \text{ es definida positiva.}$
    $a=0\Rightarrow D= \text{diag }\left(+,\;+,\; 0\right)\Rightarrow q \text{ es semidefinida positiva.}$
    $a\in (0,1)\Rightarrow D= \text{diag }\left(+,\;+,\; -\right)\Rightarrow q \text{ es indefinida.}$
    $a\in (1,+\infty)\Rightarrow D= \text{diag }\left(+,\;-,\; +\right)\Rightarrow q \text{ es indefinida.}$
    Diagonalizamos ahora para $a=1:$ $$\begin{bmatrix}{1}&{1}&{-1}\\{1}&{1}&{2}\\{-1}&{2}&{5}\end{bmatrix}\begin{matrix}\sim\\{F_2-F_1}\\{F_3+F_1}\end{matrix}\begin{bmatrix}{1}&{1}&{-1}\\{0}&{0}&{3}\\{0}&{3}&{4}\end{bmatrix}\begin{matrix}\sim\\{C_2-C_1}\\{C_3+C_1}\end{matrix}\begin{bmatrix}{1}&{0}&{0}\\{0}&{0}&{3}\\{0}&{3}&{4}\end{bmatrix}$$ $$\begin{matrix}\sim\\{F_2+F_3}\end{matrix}\begin{bmatrix}{1}&{0}&{0}\\{0}&{3}&{7}\\{0}&{3}&{4}\end{bmatrix}\begin{matrix}\sim\\{C_2+C_3}\end{matrix}\begin{bmatrix}{1}&{0}&{0}\\{0}&{10}&{7}\\{0}&{7}&{4}\end{bmatrix}\begin{matrix}\sim\\10{F_3-7F_2}\end{matrix}$$ $$\begin{bmatrix}{1}&{0}&{0}\\{0}&{10}&{7}\\{0}&{0}&{-9}\end{bmatrix}\begin{matrix}\sim\\10{C_3-7C_2}\end{matrix}\begin{bmatrix}{1}&{0}&{0}\\{0}&{10}&{0}\\{0}&{0}&{-90}\end{bmatrix}.$$ En este caso, $q$ es indefinida. Para $a=-1:$ $$\begin{bmatrix}{1}&{-1}&{-1}\\{-1}&{1}&{2}\\{-1}&{2}&{5}\end{bmatrix}\begin{matrix}\sim\\{F_2+F_1}\\{F_3+F_1}\end{matrix}\begin{bmatrix}{1}&{-1}&{-1}\\{0}&{0}&{1}\\{0}&{1}&{4}\end{bmatrix}\begin{matrix}\sim\\{C_2+C_1}\\{C_3+C_1}\end{matrix}\begin{bmatrix}{1}&{0}&{0}\\{0}&{0}&{1}\\{0}&{1}&{4}\end{bmatrix}$$ $$\begin{matrix}\sim\\{F_2+F_3}\end{matrix}\begin{bmatrix}{1}&{0}&{0}\\{0}&{1}&{5}\\{0}&{1}&{4}\end{bmatrix}\begin{matrix}\sim\\{C_2+C_3}\end{matrix}\begin{bmatrix}{1}&{0}&{0}\\{0}&{6}&{5}\\{0}&{5}&{4}\end{bmatrix}\begin{matrix}\sim\\6{F_3-5F_2}\end{matrix}$$ $$\begin{bmatrix}{1}&{0}&{0}\\{0}&{6}&{5}\\{0}&{0}&{-1}\end{bmatrix}\begin{matrix}\sim\\6{C_3-5C_2}\end{matrix}\begin{bmatrix}{1}&{0}&{0}\\{0}&{6}&{0}\\{0}&{0}&{-6}\end{bmatrix},$$ luego $q$ es indefinida. Podemos pues concluir que $$\begin{aligned}&q\text{ es definida positiva}\Leftrightarrow a\in (-4/5,0),\\
    &q\text{ es semidefinida positiva}\Leftrightarrow a\in\{-4/5,0\},\\
    &q\text{ es indefinida}\Leftrightarrow a\notin [-4/5,0].\end{aligned}$$

  2. Usamos el criterio de Sylvester. Los menores principales son: $$A_1=\begin{vmatrix}{1}\end{vmatrix}=1>0,\;A_2=\begin{vmatrix}{1}&{2}\\{2}&{6}\end{vmatrix}=2>0,$$ $$A_3=\begin{vmatrix}{1}&{2}&{1}\\{2}&{6}&{2}\\{1}&{2}&{a}\end{vmatrix}=2a-2.$$ Los tres menores principales son positivos si, y sólo si $2a-2>0.$ Por tanto, $q$ es definida positiva si, y sólo si $a>1.$
Esta entrada fue publicada en Álgebra. Guarda el enlace permanente.