Page 1 of 1

Kladná definitnosť matice s parametrom

Posted: Wed May 10, 2017 2:01 pm
by Martin Sleziak
Nájdite všetky hodnoty parametra $a\in \mathbb R$, pre ktoré je kvadratická forma $$(2-a)x_1^2 + (2-a)x_2^2 - (4+a)x_3^2 + 4x_1x_2 - 8x_1x_3 + 8x_2x_3$$ kladne definitná.
Matica tejto kvadratickej formy je
$\begin{pmatrix}
2-a& 2 &-4 \\
2 &2-a& 4 \\
-4 & 4 &-4-a
\end{pmatrix}$. Podľa Sylvestrovho kritéria nám stačí skontrolovať, kedy sú rohové determinanty kladné.

$D_1=2-a>0$ nám dá podmienku $a<2$.

$D_2=\begin{vmatrix}
2-a& 2 \\
2 &2-a
\end{vmatrix} = (a-2)^2-2^2 = (a-4)a > 0$ znamená $a\in(-\infty,0)\cup(4,\infty)$.

$$
D_3=\begin{vmatrix}
2-a& 2 &-4 \\
2 &2-a& 4 \\
-4 & 4 &-4-a
\end{vmatrix}=-(a-4)^2(a+8)>0
$$
nám dá podmienku $a<-8$.

Keď sa pozrieme na všetky podmienky, ktoré sme dostali, tak výsledok je $\boxed{a<-8}$.

K výpočtu determinantu, prípadne nájdeniu koreňov:
Spoiler:
Ideálne je snažiť sa pozrieť, či nevieme determinant rátať tak, aby nám niečo povypadávalo, prípadne aby sme vedeli nájsť nejaký koreň.
Môžeme si všimnúť aj to, že zadanie bolo sformulované tak, že ide presne o ten istý typ determinantu, aký počítame pri hľadaní charakteristického polynómu. Teda môžu byť užitočné veci, ktoré nám mohli pomôcť pri hľadaní vlastných čísel: viewtopic.php?t=890


\begin{align*}
\begin{vmatrix}
2-a& 2 &-4 \\
2 &2-a& 4 \\
-4 & 4 &-4-a
\end{vmatrix}
&=\begin{vmatrix}
4-a&4-a& 0 \\
2 &2-a& 4 \\
-4 & 4 &-4-a
\end{vmatrix}\\
&=(4-a)\begin{vmatrix}
1 & 1 & 0 \\
2 &2-a& 4 \\
-4 & 4 &-4-a
\end{vmatrix}\\
&=(4-a)\begin{vmatrix}
1 & 1 & 0 \\
0 &-a & 4 \\
0 & 8 &-4-a
\end{vmatrix}\\
&=(4-a)(a^2+4a+32)\\
&=(4-a)(a-4)(a+8)\\
&=-(a-4)^2(a+8)
\end{align*}

Dajú sa nájsť aj iné možnosti. (Napríklad ako prvú úpravu odpočítať od tretieho riadku dvojnásobok druhého. Alebo k prvému riadku pripočítať dvojnásobok tretieho a odpočítať druhý. Môžete si všimnúť, ako tieto úpravy súvisia s vlastnými vektormi spomenutými v nasledujúcom poste.)
Ale úprava, ktorou som začal vo výpočte uvedenom vyššie - sčítanie prvých dvoch riadkov - je asi taká, ktorú sa dá najľahšie zbadať.

Aj ak si nevšimneme žiadne úpravy, ktoré by nám zjednodušili výpočty a počítame podľa Sarrusovho pravidla, tak sa dá dorátať k výsledku. (Nevýhoda je, že je to viac práce a ľahšie sa dá pomýliť. A navyše musíme potom hľadať korene polynómu tretieho stupňa.)
\begin{align*}
\begin{vmatrix}
2-a& 2 &-4 \\
2 &2-a& 4 \\
-4 & 4 &2-a
\end{vmatrix}
&=-(a-2)^2(a+4)-64+32(a-2)+4(a+4)\\
&=-(a^2-4a+4)(a+4)+36a-112\\
&=-(a^3-12a+16)+36a-112\\
&=-(a^3-48a+128)
\end{align*}
Teraz zostáva nájsť korene polynómu $a^3-48a+128$.

Z algebry 2 vieme, ako hľadať racionálne korene. Konkrétne v~tomto prípade stačí skúšať celé čísla, ktoré delia $128$.

Pre tento konkrétny polynóm sa môžete pozrieť aj sem: viewtopic.php?t=1091

Re: Kladná definitnosť matice s parametrom

Posted: Wed May 10, 2017 2:02 pm
by Martin Sleziak
Riešenie cez vlastné hodnoty

Pozrime sa ešte na iný pohľad na túto istú úlohu. (Ktorý vedie k veľmi podobnému riešeniu, aj keď s trochu iným zdôvodnením.)

Označme
$$A=\begin{pmatrix}
2 & 2 &-4 \\
2 & 2 & 4 \\
-4 & 4 &-4
\end{pmatrix}.$$
Našu úlohu môžeme preformulovať tak, že sa pýtame, kedy je matica $A-aI$ kladne definitná.
  • Symetrická matica je kladne definitná práve vtedy, keď má kladné vlastné hodnoty. (Ak vlastné hodnoty symetrickej matice označíme $d_1$, $d_2$, $d_3$, tak o nej vieme, že je ortogonálne podobná s diagonálnou maticou $\operatorname{diag}(d_1,d_2,d_3)$. Diagonálna matica je kladne definitná práve vtedy, keď hodnoty na diagonále sú kladné.)
  • Ak poznáme vlastné hodnoty $\lambda_1$, $\lambda_2$, $\lambda_3$ matice $A$, tak vlastné hodnoty matice $A-aI$ sú $\lambda_1-a$, $\lambda_2-a$, $\lambda_3-a$. (Toto je pomerne ľahké dokázať - pridal som to aj medzi úlohy, ktoré môžete riešiť na fóre.)
Vieme vypočítať vlastné hodnoty matice $A$, sú to $4$, $4$, $-8$. (Môžete aj skontrolovať, že $(1,1,0)$ a $(-2,0,1)$ sú vlastné vektory k vlastnému číslu $4$, pre vlastné číslo $-8$ máme vlastný vektor $(1,-1,2)$.)

Vlastné hodnoty matice $A-aI$ sú potom $4-a$, $4-a$, $-8-a$.

Ak majú byť všetky vlastné hodnoty kladné, tak musí platiť $-8-a>0$, t.j. $a<-8$.

Táto úvaha nám nijako výrazne nezjednodušila výpočty. (Vlastné čísla nájdeme ako korene charakteristického polynómu, ten nájdeme rátaním toho istého determinantu ako v predošlom postupe. Nanajvýš sme si teda ušetrili počítanie dvoch menších determinantov.) Ale je to aspoň trochu iný pohľad na ten istý problém.

Re: Kladná definitnosť matice s parametrom

Posted: Wed May 10, 2017 2:02 pm
by Martin Sleziak
Niektoré chyby vo vašich riešeniach

Sylvestrovo kritérium funguje iba pre symetrické matice. Čiže ak tú istú kvadratickú formu zapíšete pomocou inej matice, ktorá už nie je symetrická, tak rohové determinanty vám nedajú informáciu u kladnej či zápornej definitnosti.