Any known compact expression for - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T07:36:01Z http://mathoverflow.net/feeds/question/28234 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/28234/any-known-compact-expression-for Any known compact expression for Jorge 2010-06-15T10:27:00Z 2010-06-16T14:53:04Z <p>Is there any known compact expression for the sum $$S_{k} = \sum_{i=1}^{k} A^{i-1} P Q^{k-i}$$ where $A$, $P$ and $Q$ are respectively $m \times m$, $m \times n$ and $n \times n$ matrices?. </p> <p>You can assume, if needed, that $A$ and $Q$ are invertible.</p> <p>The trivial relation $$AS_{k}-S_{k}Q = A^{k}P - P Q^{k}$$ perhaps provides some clues (fo example it is known that if $A$ and $-Q$ have no common eigenvalues then the last equation has unique solution).</p> http://mathoverflow.net/questions/28234/any-known-compact-expression-for/28322#28322 Answer by Homology for Any known compact expression for Homology 2010-06-15T23:04:32Z 2010-06-16T00:32:02Z <p>As HenrikRüping wrote, my comment is false. Nevertheless, I think the method is interesting (obviously, it isn't mine), although it gives something "explicit", but not "compact". Maybe you could provide us with context? For example, are you interested in the behavior when $k \rightarrow + \infty$ (assuming the field is topological)?</p> <p>If $XAX^{-1}$ and $YQY^{-1}$ are "nice" (diagonal or Jordan normal form), then make the change of variable (is this English?) $P'=XPY$. Then viewing $S_k$ as a linear function of $P$, $XS_k(P)Y=\sum_{i=1}^k XAX^{-1} P' YQY^{-1}$, so up to a change of base on $M_{m,n}(K)$, the endomorphism $S_k$ of this vector space is given in a nice form (eigenvalues are known). But I'm not sure this is really what you're asking for, and your last comment suggests you already know what I just wrote.</p> http://mathoverflow.net/questions/28234/any-known-compact-expression-for/28390#28390 Answer by Ian Morris for Any known compact expression for Ian Morris 2010-06-16T14:32:54Z 2010-06-16T14:53:04Z <p>If we define an $(n+m)\times (n+m)$ matrix by $$C:=\left(\begin{array}{cc}A&amp;P\\ 0&amp;Q\end{array}\right),$$ then we have $$C^k=\left(\begin{array}{cc}A^k&amp;\sum_{i=1}^k A^{i-1}PQ^{k-i}\\ 0&amp;Q^k\end{array}\right)=\left(\begin{array}{cc}A^k&amp;S_k\\ 0&amp;Q^k\end{array}\right).$$ I don't think that a simpler expression than this is very likely.</p>