Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $A\in Mat_{2}(2\times2;\mathbb{R})$and consider the action of the 1-parameter group $e^{tA}$ on $\mathbb{R}^{2}$. Describe all 1-parameter groups etA which have a nonconstant invariant polynomial. More generally, in each case describe the algebra of all invariant polynomials.

share|improve this question
    
I would try it over $\Bbb C$: then it reduces to matrices of the form $A= \begin{pmatrix} \lambda & 0 \\ 0 & \mu\end{pmatrix}$ or $A=\begin{pmatrix} \lambda & 0 \\ 1 & \lambda\end{pmatrix}$ –  Berci Oct 14 '12 at 12:23
    
@StudentMath Why exactly are you trying to erase your question? –  EuYu Oct 14 '12 at 19:54
    
I wanted to copy Latex code, but I cut instead of copying:) now I put it again, sorry for this –  StudentMath Oct 14 '12 at 21:18

1 Answer 1

up vote 2 down vote accepted

We shall use (without proof)

Lemma. Assume $Q\in\mathbb R[X]$ is a univariate polynomial $c\notin\{\pm1\}$. If $Q(x)=Q(cx)$ for all $x\in\mathbb R$ then $Q$ is constant.

Assume $P$ is a bivariate invariant polynomial for a given $A$. Consider a few special cases first:

1) Assume $A=\left(\begin{matrix}0&b\\-b&0\end{matrix}\right)$. Then $e^{tA}=\left(\begin{matrix}\cos bt&\sin bt\\-\sin bt&\cos bt\end{matrix}\right)$ is a rotation and $P(x,y)=x^2+y^2$ is an example of an invariant polynomial.

2) Assume $A=\left(\begin{matrix}a&0\\0&d\end{matrix}\right)$ with $a\ne0$ and $\frac da\in\mathbb Q$, say $d=\frac mn a$ with $m\in\mathbb Z$, $n\in\mathbb N$. Then $e^{tA}=\left(\begin{matrix}e^{ta}&0\\0&e^{td}\end{matrix}\right)$ and we need $P(x,y) = P(e^{ta}x,e^{td}y)$ for all $x,y,t$. With $t\ne0$ and $c:=e^{\frac {at}n}$ this becomes $P(x,y)=P(c^nx,c^my)$. Thus we see that for $u,v\in\mathbb R$ the univariate polynomial $Q(x)=P(u x^n,v x^m)$ has the property $Q(x)=Q(cx)$ for all $x$. Since $c\ne\pm1$, we see that $Q$ is constant, especially $P(u,v)=P(0,0)$, hence $P$ is constant.

3) Assume $A=\left(\begin{matrix}a&0\\0&d\end{matrix}\right)$ with $a\ne0$ and $\frac da\notin\mathbb Q$. The monomial $a_{n,m}x^ny^m$ of $P$ becomes $e^{(na+md)t}a_{n,m}x^ny^m$ under the action of $e^{tA}$. Hence whenever $a_{n,m}\ne 0$, we conclude $e^{(na+md)t}=1$ for all $t$, i.e. $na+md=0$. This implies $m=0$ as otherwise $\frac da=\frac{-n}m\in\mathbb Q$. But then also $n=0$ because $a\ne0$. Hence the only nonzero coefficient can be $a_{0,0}$, i.e. $P$ is constant.

4) Assume $A=\left(\begin{matrix}a&1\\0&a\end{matrix}\right)$. Then $e^{tA} =\left(\begin{matrix}e^{at}&te^{at}\\0&e^{at}\end{matrix}\right) $. We need $P(x,y)=P((x+ty)e^{at},e^{at}y)$. If $a=0$, this simply means $P(x,y) = P(x+ty,y)$ and any polynomial not depending on $x$ will do. Otherwise consider a monomial $a_{n,m}x^ny^m$ in $P$. Under the action of $e^{tA}$ this contributes $$e^{at}a_{n,m}(x+aty)^ny^m = e^{(n+m)at}a_{n,m}x^ny^m + \text{lower degree in }x$$ Thus if we consider a nonzero monomial with maximal $n$, we conclude $e^{(n+m)at}=1$ for all $t$. Using $a\ne 0$, we conclude $n+m=0$, i.e. $n=m=0$ and finally $P$ is constant.

5) Assume $A=\left(\begin{matrix}a&b\\-b&a\end{matrix}\right)$ with $a\ne0$ and $b\ne0$ Then $e^{tA}=e^{ta}\left(\begin{matrix}\cos bt&\sin bt\\-\sin bt&\cos bt\end{matrix}\right)$. Especially, for $t=\frac{2\pi}b\ne0$ and $c=e^{ta}$ we can proceed as in case 2, that is we find that $P(x,y) = P(cx,cy)$ and conclude that $P$ is constant, because $c\ne\pm1$ (that is becasue $ta\ne0$).

All other matrices are conjugate to one of the cases above. Note that we end up in case 1) with $b$ arbitrary or case 4) with $a=0$ iff $\operatorname{tr} A=0$ and $\det A\ge 0$. We conclude that there is a nonconstant invariant polynomial if and only if $$\operatorname{tr} A=0,\ \det A\ge 0.$$

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.