<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\documentclass[a4paper,12pt]{article}
\usepackage{epsfig}
\newcommand{\ds}{\displaystyle}
\setlength{\textwidth}{6.5in} \setlength{\textheight}{9in}
\setlength{\topmargin}{-.25in} \setlength{\oddsidemargin}{-.25in}
\newcommand\br{\textbf{R}}
\pagestyle{empty}
\begin{document}

\parindent=0pt

\bf{Question}

\quad For each of the following quadratic forms $Q$ on $\br^n$
find the nature of the critical point at the origin. Describe also
the geometry of the level set $Q^{-1}(1)$:
\medskip

\begin{tabular}{lll}
$n=2;$&amp; $\quad Q(x,y)=$\\ &amp;(i)\ $x^2+y^2-xy$ \hspace{1cm}&amp;(ii)\
$9x^2-12xy+4y^2$\\ $n=3;$&amp;$\quad Q(x,y,z)=$\\ &amp;(iii)\
$x^2+y^2+z^2+xy+yz+zx$\hspace{.5cm} &amp;(iv)\ $x^2+y^2+z^2-xy$ \\
&amp;(v)\ $2x^2+y^2-4xy-4yz$ &amp;(vi)\ $3x^2+y^2+z^2-2xy+2xz-2yz$
\end{tabular}

\medskip

In each case (i) -- (vi) say whether the addition of higher order
terms to $Q$ could change the nature of the level sets close to
the origin.



\bf{Answer}


\begin{description}
\item{(i)}
$x^TAx$ with $A= \left ( \begin{array}{cc} 1 &amp; -frac{1}{2} \\
-\frac{1}{2} &amp; 1 \end{array} \right )$.

Eigenvalues
\begin{eqnarray*}
(1-\lambda)^2 - \frac{1}{4} &amp; = &amp; 0\\ \Rightarrow
\lambda^2-2\lambda+ \frac{3}{4} &amp; = &amp; 0\\ \Rightarrow \lambda_1
\lambda_2 &amp; = &amp; \textrm{det}A = \frac{3}{4}&gt;0\\ \lambda_1 +
\lambda_2 &amp; = &amp; 2 &gt;0
\end{eqnarray*}

So as $\lambda_1$, $\lambda_2$ both $&gt;0$: minimum ($Q^{-1}(1)$:
ellipse).

[* $Q=(x_1-\frac{1}{2}x_2)^2+\frac{3}{4}x_2^2$, hence minimum.]

\item{(ii)}

$A = \left ( \begin{array}{cc} 9 &amp; -6\\ -6 &amp; 4 \end{array} \right
)$.

Eigenvalues $0$, $13$: ``trough'' ($Q^{-1}(1)$: pair of lines).

[* $Q=(3x-2y)^2$.]

\item{(iii)}

$A = \left ( \begin{array}{ccc} 1 &amp; \frac{1}{2} &amp; \frac{1}{2}\\
\frac{1}{2} &amp; 1 &amp; \frac{1}{2}\\ \frac{1}{2} &amp; \frac{1}{2} &amp; 1
\end{array} \right )$.

Eigenvalues
\begin{eqnarray*}
&amp; &amp; (1- \lambda)((1-\lambda)^2 -\frac{1}{4}) -
\frac{1}{2}(\frac{1}{2}( 1-\lambda) - \frac{1}{4} ) +
\frac{1}{2}(\frac{1}{4} - \frac{1}{2} (1-\lambda))\\ &amp; = &amp;
(1-\lambda)(\lambda^2-2\lambda+\frac{3}{4}) - \frac{1}{2}
(\frac{1}{4} - \frac{1}{2}\lambda) + \frac{1}{2}(-\frac{1}{4} +
\frac{1}{2} \lambda)\\ &amp; = &amp; -\lambda^3 +
3\lambda^2-\frac{9}{4}\lambda+\frac{1}{2}\\ &amp; = &amp; -\frac{1}{4}
(4\lambda^3 - 12\lambda^2 + 9\lambda -2)\\ &amp; = &amp; 0
\end{eqnarray*}
Clearly $\lambda=\frac{1}{2}$ is an eigenvalue, so
\begin{eqnarray*}
(2\lambda-1)(2\lambda^2-5\lambda+2) &amp; = &amp; 0\\
(2\lambda-1)^2(\lambda-2) &amp; = &amp; 0
\end{eqnarray*}

Thus eigenvalues are $\frac{1}{2}$, $\frac{1}{2}$, $2$: all
positive.

$\Rightarrow$ minimum ($Q^{-1}(1)$: ellipsoid).

\item{(iv)}

$A= \left ( \begin{array}{ccc} 1 7 -\frac{1}{2} &amp; 0\\ -\frac{1}{2}
&amp; 1 &amp; 0 \\ 0 &amp; 0 &amp; 1 \end{array} \right )$

Eigenvalues $\lambda=1$ and two other positives (see (i) above)
$\Rightarrow$ minimum

[* $Q = (x_1-\frac{1}{2}x_2)^2 + \frac{3}{4} x_2^2 + x_3^2]
\leftarrow$ ($Q^{-1}(1)$: ellipsoid.]

\item{(v)}

$A = \left ( \begin{array}{ccc} 2 &amp; -2 &amp; 0\\ -2 &amp; 1 &amp; -2\\ 0 &amp; -2
&amp; 0
\end{array} \right )$.

Eigenvalues
\begin{eqnarray*}
(2-\lambda)((1-\lambda)(-\lambda)-4) + 2(2\lambda) &amp; = &amp; 0\\
(2-\lambda) (\lambda^2-\lambda-4) + 4\lambda &amp; = &amp; 0\\ -\lambda^3
+ 3\lambda^2 + 6\lambda -8 &amp; = &amp; 0 \ : \ \lambda =1\\ -(\lambda
-1)(\lambda^2-2\lambda -8) &amp; = &amp; 0
\end{eqnarray*}
The quadratic equation $\lambda^2 -2\lambda -8=0$ has roots
$\lambda =-2,4$, $\Rightarrow$ saddle ($Q^{-1}(1)$: hyperboloid (1
sheet)).

\item{(vi)}

$A = \left ( \begin{array}{ccc} 3 &amp; -1 &amp; 1\\ -1 &amp; 1 &amp; -1\\ 1 &amp; -1
&amp; 1
\end{array} \right )$

$\lambda =0,1,4$. Degenerate critical point (line of zeros).
($Q^{-1}(1)$: elliptical tube).

\end{description}
(* indicates short cuts)

[Addition of higher order terms can affect conclusion only when
$\det A=0$ ($\exists$ zero eigenvalue), namely cases (ii), (vi).]


\end{document}
</pre></body></html>