Tipos de Formas Cuadráticas
Tipos de Formas Cuadráticas
Tipos de Formas Cuadráticas
Una forma cuadrática es por tanto un aplicación que es un polinomio de segundo grado con varias
variables. Se le puede considerar un caso específico de forma bilineal
Dado que una forma cuadrática es una función de varias variables que toma valores reales, atendiendo al signo
de los mismos podemos efectuar una clasificación de las formas cuadráticas de acuerdo con la siguiente
definición:
si efectuamos su representación gráfica (es una función de dos variables y por tanto su gráfica es una superficie
de R3), con el comando Plot-(overlay)-Plot obtenemos:
Obsérvese que los valores de la función siempre quedan por encima del plano z=0. Por otro lado esto es
evidente puesto que la forma cuadrática está ya en forma canónica y únicamente se anula si x1=x2=0, es decir
en (0,0), el resto de valores es positivo.
obsérvese que esta gráfica únicamente se anula para la recta x1=-x2, situación que se hace evidente si
consideramos su expresión canónica que sería q3(x1,x2)= (x1 +x2)2
obsérvese que los valores que anulan esta función son aquellos de la recta x1+x2=0. Como existen vectores
distintos del vector nulo , en particular vectores de la forma
(a,-a) tales que q3(a,-a)=0, y para el resto de vectores la forma cuadrática siempre es positiva, entonces
podemos decir que esta es una forma cuadrática SEMIDEFINIDA POSITIVA.
Gráficamente se puede ver de forma sencilla, por lo que acabamos de comentar, los únicos puntos de la
superficie que se hacen cero son los de dicha recta, el resto de puntos corresponden con valores positivos del eje
z.
Podemos observar que todos los puntos del plano se hacen negativos o cero. Únicamente se hacen nulos para la
recta x1+x2=0 (es decir x+y=0) , esto quiere decir que se trata de una forma cuadrática SEMIDEFINIDA
NEGATIVA.
existen puntos en los que la función es positiva y otros en los que la función es negativa.
Esta clasificación la hemos realizado de forma GRÁFICA en su mayor parte pero ¿existirá algún criterio para
clasificar la forma cuadrática cuando esta no se pueda representar? ¿por ejemplo para formas cuadráticas de más
de dos variables?
Un primer método de clasificación sería el de intentar expresar la forma cuadrática como una suma de
cuadrados: COMPLECIÓN DE CUADRADOS:
EJEMPLO.
Podríamos intentar expresarla como suma de cuadrados, para ello, observemos que aparece un término 2x1 x2,
que no es un cuadrado, estos nos permitiría reagrupar términos y considerar que q6 es de la forma
Obsérvese que q6 así expresado es siempre positivo salvo para (0,0,0). Por tanto q6 es definida positiva.
Partiendo de esta suma anterior de cuadrados puede comprobarse que a consecuencia del signo la cantidad es
siempre negativa salvo en el punto (0,0,0) luego q7 sería DEFINIDA NEGATIVA.
Este método no es muy operativo y depende de que la forma cuadrática admita una descomposición sencilla.
Como la matriz A asociada a una forma cuadrática es REAL y SIMÉTRICA entonces siempre es
DIAGONALIZABLE y por tanto se verificará que existe una matriz ortogonal Q tal que D=QtA.Q
siendo D la matriz diagonal. Esto quiere decir que siempre existirá una expresión canónica de la misma
en función de sus autovalores puesto que
expresión canónica de la forma cuadrática. Esto nos permite determinar la clasificación de la forma
cuadrática en función de sus autovalores mediante el siguiente criterio:
Sea una forma cuadrática , siendo A su matriz asociada. Si los autovalores de A son
1,...,n, entonces se verifica que:
(3) q es SEMIDEFINIDA POSITIVA i0 para todo i=1,...,n y existe al menos i0 tal que i0 =0.
(4) q es SEMIDEFINIDA NEGATIVA i0 para todo i=1,...,n y existe al menos i1 tal que i1 =0.
EJEMPLO
.q(x1,x2,x3,x4)=-7x12+4x1x2+34x1x3+8x22+4x2x3-7x32+36x42
Vamos a obtener en primer lugar la matriz asociada a la forma cuadrática, y la definimos por B9:
Para aplicar el criterio de los autovalores, bastará calcularlos y observar su signo, en nuestro caso
aplicando
Obtenemos que existen autovalores positivos y otros negativos por lo que la forma cuadrática es
INDEFINIDA.
Donde
Si recordamos el criterio de clasificación de los puntos críticos de una función de varias variables, se limitaban
a dar criterios para funciones de dos variables. Podemos ahora establecer (con la ayuda de las formas
cuadráticas) un criterio que permite clasificar puntos críticos de una funcion de varias variables cualesquiera de
la siguiente forma:
Sea f:D RnR una función de varias variables, tal que f tiene derivadas parciales
primeras y segundas continuas en D.
EJEMPLO
Y utilizando estos valores en la segunda nuevamente se deduce que si x=0, se cumple y si y=0 también por
tanto los puntos críticos de la función f1(x,y) son de la forma
Tendremos facilidad para ahora estudiar la matriz hessiana en los puntos que hemos determinado:
Para (a,0):
Se trata de una forma cuadrática SEMIDEFINIDA POSITIVA por tanto según el los puntos de la
forma (a,0) son mínimos locales o puntos de silla.
Para (0,b):
Se trata de una forma cuadrática SEMIDEFINIDA POSITIVA luego los puntos de la forma (0,b)
son mínimos locales o puntos de silla.
Para (0,0):
Como puede verse la recta x=0 y la recta y=0 son rectas de mínimos.
.f1(x,y)=x2y2 y como
.f1(a,0)=f1(0,b)=0 f1(x,y) para cualquier (x,y) de R2 se trata de dos rectas de mínimos absolutos.
EJEMPLO 2.
Vamos a clasificar sus puntos críticos usando la forma cuadrática asociada a su matriz hessiana.
Obsérvese que 2x=0, -2y=0 si y sólo si (x,y)=(0,0), que es el único punto crítico.
Si clasificamos la forma cuadrática que tiene por matriz asociada a la matriz anterior, podemos deducir que se
trataría de una forma cuadrática indefinida. De acuerdo con el teorema esto nos lleva a la conclusión de que el
punto crítico (0,0) es un punto de silla.
EJEMPLO 3.
Ahora sustituyendo este valor de y en la segunda ecuación tendremos que resolver la ecuación en x:
Luego los valores de x que anulan ambas ecuaciones son x=0, x=3.
Para x=0, como y=x2/3 entonces y=0 por tanto primer punto crítico (0,0)
Para x=3, como y=x2/3 entonces y=3 por tanto segundo punto crítico (3,3).
La definimos de la forma:
Luego se trataría de la matriz asociada a una forma cuadrática que es indefinida, en consecuencia el punto (0,0)
es un punto de silla.
Ambos positivos, por tanto se trataría de la matriz asociada a una forma cuadrática definida positiva. En
consecuencia el (3,3) es un máximo local.