Maths Olympiad Prep

Library / /35 of 43

Algebra Difficulty 8.2 Shortlist Find the answer

Let nn be a positive integer. Find all n×nn \times n real matrices AA with only real eigenvalues satisfying A+Ak=ATA+A^{k}=A^{T} for some integer knk \geq n.

A number or a short expression. Spacing and $ signs are ignored.

Solution

Solution 1. Taking the transpose of the matrix equation and substituting we have AT+(AT)k=AA+Ak+(A+Ak)k=AAk(I+(I+Ak1)k)=0A^{T}+\left(A^{T}\right)^{k}=A \Longrightarrow A+A^{k}+\left(A+A^{k}\right)^{k}=A \Longrightarrow A^{k}\left(I+\left(I+A^{k-1}\right)^{k}\right)=0 Hence p(x)=xk(1+(1+xk1)k)p(x)=x^{k}\left(1+\left(1+x^{k-1}\right)^{k}\right) is an annihilating polynomial for AA. It follows that all eigenvalues of AA must occur as roots of pp (possibly with different multiplicities). Note that for all xRx \in \mathbb{R} (this can be seen by considering even/odd cases on kk ), (1+xk1)k0\left(1+x^{k-1}\right)^{k} \geq 0 and we conclude that the only eigenvalue of AA is 0 with multiplicity nn. Thus AA is nilpotent, and since AA is n×n,An=0n \times n, A^{n}=0. It follows Ak=0A^{k}=0, and A=ATA=A^{T}. Hence AA can only be the zero matrix: AA is real symmetric and so is orthogonally diagonalizable, and all its eigenvalues are 0. Remark. It's fairly easy to prove that eigenvalues must occur as roots of any annihilating polynomial. If λ\lambda is an eigenvalue and vv an associated eigenvector, then f(A)v=f(λ)vf(A) v=f(\lambda) v. If ff annihilates AA, then f(λ)v=0f(\lambda) v=0, and since v0,f(λ)=0v \neq 0, f(\lambda)=0. Solution 2. If λ\lambda is an eigenvalue of AA, then λ+λk\lambda+\lambda^{k} is an eigenvalue of AT=A+AkA^{T}=A+A^{k}, thus of AA too. Now, if kk is odd, then taking λ\lambda with maximal absolute value we get a contradiction unless all eigenvalues are 0. If kk is even, the same contradiction is obtained by comparing the traces of ATA^{T} and A+AkA+A^{k}. Hence all eigenvalues are zero and AA is nilpotent. The hypothesis that knk \geq n ensures A=ATA=A^{T}. A nilpotent self-adjoint operator is diagonalizable and is necessarily zero.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.