2
$\begingroup$

Suppose I have a symmetric $2$ by $2$ matrix $M$ whose $(i,j)$-th entry $F_{i,j}(\mathbf{x})$ belongs to $\mathbb{R}[x_1, \ldots, x_n]$ for each $i,j$. I know that for each $\mathbf{x} \in \mathbb{R}^n$, we can find an orthogonal matrix which diagonalises $M$. I was wondering if it is possible to find the orthogonal matrix and the diagonal matrix in terms of the polynomials (or fractions of polynomials), so that we can find some matrices $P(\mathbf{x})$ and $D(\mathbf{x})$ such that at each $\mathbf{x}$, $P$ is orthogonal and diagonalises $M$ to be $D$. I was guessing this is possible but I wasn't sure how to prove this statement. Any comments/suggestions or references are appreciated. Thank you.

$\endgroup$
0

1 Answer 1

3
$\begingroup$

This cannot work. If a polynomial from $\mathbb R[\mathbf{x}]$ vanishes on $\mathbb R^n$, then it is $0$ itself. So if $P(\mathbf{v})^tP(\mathbf{v})=I_2$ for each $\mathbf{v}\in\mathbb R^n$, then $P(\mathbf{x})^tP(\mathbf{x})=I_2$. Similarly, we get $P(\mathbf{x})^tM(\mathbf{x})P(\mathbf{x})=D(\mathbf{x})$, so $M(\mathbf{x})$ has eigenvalues in $\mathbb R[\mathbf{x}]$. However, a matrix like $\begin{pmatrix}1&x_1\\x_1&0\end{pmatrix}$ doesn't have eigenvalues in $\mathbb R[\mathbf{x}]$ (for instance because the discriminant of its characteristic polynomial is $1+4x_1^2$).

$\endgroup$
3
  • 1
    $\begingroup$ Bad example, you want e.g. $\begin{pmatrix} x_1^2 & x_1\\x_1& 0 \end{pmatrix}$. $\endgroup$
    – abx
    Commented Jan 9, 2018 at 11:52
  • $\begingroup$ Would you happen to know over which field things may work by any chance? $\endgroup$
    – Johnny T.
    Commented Jan 9, 2018 at 12:58
  • 2
    $\begingroup$ @JohnnyT.: I believe that the article The Principal Axis Theorem Over Arbitrary Fields jstor.org/stable/pdf/2324781.pdf covers what you are interested in. $\endgroup$ Commented Jan 9, 2018 at 13:40

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .