<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	
	xmlns:georss="http://www.georss.org/georss"
	xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#"
	>

<channel>
	<title>diagonal &#8211; Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/diagonal/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Tue, 08 Aug 2017 00:30:56 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>
	hourly	</sy:updatePeriod>
	<sy:updateFrequency>
	1	</sy:updateFrequency>
	<generator>https://wordpress.org/?v=5.3.4</generator>

<image>
	<url>https://i2.wp.com/yutsumura.com/wp-content/uploads/2016/12/cropped-question-logo.jpg?fit=32%2C32&#038;ssl=1</url>
	<title>diagonal &#8211; Problems in Mathematics</title>
	<link>https://yutsumura.com</link>
	<width>32</width>
	<height>32</height>
</image> 
<site xmlns="com-wordpress:feed-additions:1">114989322</site>	<item>
		<title>A Square Root Matrix of a Symmetric Matrix</title>
		<link>https://yutsumura.com/a-square-root-matrix-of-a-symmetric-matrix/</link>
				<comments>https://yutsumura.com/a-square-root-matrix-of-a-symmetric-matrix/#comments</comments>
				<pubDate>Mon, 08 Aug 2016 16:36:58 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[characteristic polynomial]]></category>
		<category><![CDATA[diagonal]]></category>
		<category><![CDATA[diagonalizable matrix]]></category>
		<category><![CDATA[diagonalization]]></category>
		<category><![CDATA[eigenvalue]]></category>
		<category><![CDATA[exam]]></category>
		<category><![CDATA[Jordan canonical form]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[matrix]]></category>
		<category><![CDATA[orthogonal matrix]]></category>
		<category><![CDATA[Princeton]]></category>
		<category><![CDATA[Princeton.LA]]></category>
		<category><![CDATA[symmetric matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=349</guid>
				<description><![CDATA[<p>Answer the following two questions with justification. (a) Does there exist a $2 \times 2$ matrix $A$ with $A^3=O$ but $A^2 \neq O$? Here $O$ denotes the $2 \times 2$ zero matrix. (b) Does there exist&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/a-square-root-matrix-of-a-symmetric-matrix/" target="_blank">A Square Root Matrix of a Symmetric Matrix</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 59</h2>
<p>Answer the following two questions with justification.</p>
<p><strong>(a)</strong> Does there exist a $2 \times 2$ matrix $A$ with $A^3=O$ but $A^2 \neq O$? Here $O$ denotes the $2 \times 2$ zero matrix.</p>
<p><strong>(b) </strong>Does there exist  a $3 \times 3$ real matrix $B$ such that $B^2=A$ where<br />
\[A=\begin{bmatrix}<br />
1 &amp; -1 &amp; 0 \\<br />
-1 &amp;2 &amp;-1 \\<br />
0 &amp; -1 &amp; 1<br />
\end{bmatrix}\,\,\,\,?\]
<p>(<em>Princeton University Linear Algebra Exam</em>)</p>
<p><span id="more-349"></span></p>
<h2>Hint.</h2>
<ol>
<li>(a) Consider the eigenvalues and the Jordan canonical form of $A$</li>
<li>(b) Diagonalize the matrix $A$</li>
</ol>
<h2>Solution.</h2>
<h3>(a) Does there exist a $2 \times 2$ matrix $A$ with $A^3=O$ but $A^2 \neq O$?</h3>
<p>We claim that there is no such $2 \times 2$ matrix $A$.<br />
Suppose that we have $A^3=O$. This implies that all the eigenvalues of $A$ are zero.<br />
To see this, let $\lambda$ be an eigenvalue of $A$ and let $\mathbf{x}$ be a corresponding eigenvector. Then applying the defining relation $A\mathbf{x}=\lambda \mathbf{x}$ successively, we have<br />
\[\mathbf{0}=A^3\mathbf{x}=\lambda A^2\mathbf{x}=\lambda^2 A\mathbf{x}=\lambda^3 \mathbf{x}.\]
Thus, the eigenvalue $\lambda$ must be zero since $\mathbf{x}$ is a nonzero vector since it is an eigenvector.<br />
Therefore, there exists an invertible matrix $P$ such that the Jordan canonical form of $A$ is $P^{-1}AP=\begin{bmatrix}<br />
0 &amp; a\\<br />
0&amp; 0<br />
\end{bmatrix}$ for some number $a$.<br />
Then $A=P\begin{bmatrix}<br />
0 &amp; a\\<br />
0&amp; 0<br />
\end{bmatrix} P^{-1}$ and we have<br />
\begin{align*}<br />
A^2&amp;=\left( P\begin{bmatrix}<br />
0 &amp; a\\<br />
0&amp; 0<br />
\end{bmatrix} P^{-1}\right) \left(P\begin{bmatrix}<br />
0 &amp; a\\<br />
0&amp; 0<br />
\end{bmatrix} P^{-1}\right)= P\begin{bmatrix}<br />
0 &amp; a\\<br />
0&amp; 0<br />
\end{bmatrix}^2P^{-1} \\[6pt]
&amp;=P\begin{bmatrix}<br />
0 &amp; 0\\<br />
0&amp; 0<br />
\end{bmatrix}P^{-1}=O.<br />
\end{align*}<br />
Hence $A^2$ must be zero, and we conclude that there is no $2 \times 2$ matrix $A$ satisfying both $A^3=O$ and $A^2 \neq O$.</p>
<h3>(b) Does there exist  a $3 \times 3$ real matrix $B$ such that $B^2=A$?</h3>
<p> The answer is yes and we will construct such a matrix $B$ as follows.</p>
<p>The characteristic polynomial $p(t)$ of the matrix $A$ is<br />
\[p(t):=\det(A-tI)=-t(t-1)(t-3).\]
Thus the eigenvalues are $\lambda=0, 1, 3$.<br />
The corresponding eigenvalues are obtained by solving the system $(A-\lambda I)\mathbf{x}=\mathbf{0}$ and we see that<br />
\[\begin{bmatrix}<br />
1 \\<br />
1 \\<br />
1<br />
\end{bmatrix}, \begin{bmatrix}<br />
1 \\<br />
0 \\<br />
-1<br />
\end{bmatrix}, \begin{bmatrix}<br />
1 \\<br />
-2 \\<br />
1<br />
\end{bmatrix}\]
are eigenvectors corresponding to eigenvalues $0,1,3$, respectively.</p>
<p>Thus the matrix<br />
\[P=\begin{bmatrix}<br />
1 &amp; 1 &amp; 1 \\<br />
1 &amp;0 &amp;-2 \\<br />
1 &amp; -1 &amp; 1<br />
\end{bmatrix}\]
is invertible and diagonalize the matrix $A$ such that<br />
\[P^{-1}AP=\begin{bmatrix}<br />
0 &amp; 0 &amp; 0 \\<br />
0 &amp;1 &amp;0 \\<br />
0 &amp; 0 &amp; 3<br />
\end{bmatrix}.\]
<p>Then if we have the equality $B^2=A$, then we need to have<br />
\[(P^{-1}BP)(P^{-1}BP)=p^{-1}AP=\begin{bmatrix}<br />
0 &amp; 0 &amp; 0 \\<br />
0 &amp;1 &amp;0 \\<br />
0 &amp; 0 &amp; 3<br />
\end{bmatrix}.\]
From this we see that the matrix<br />
\[B=P\begin{bmatrix}<br />
0 &amp; 0 &amp; 0 \\<br />
0 &amp;1 &amp;0 \\<br />
0 &amp; 0 &amp; \sqrt{3}<br />
\end{bmatrix}P^{-1}\]
satisfies the above relation.</p>
<p>In fact, we compute<br />
\begin{align*}<br />
B^2&amp;=\left( P\begin{bmatrix}<br />
0 &amp; 0 &amp; 0 \\<br />
0 &amp;1 &amp;0 \\<br />
0 &amp; 0 &amp; \sqrt{3}<br />
\end{bmatrix}P^{-1} \right) \left(P\begin{bmatrix}<br />
0 &amp; 0 &amp; 0 \\<br />
0 &amp;1 &amp;0 \\<br />
0 &amp; 0 &amp; \sqrt{3}<br />
\end{bmatrix}P^{-1}\right) \\[6pt]
&amp;=P\begin{bmatrix}<br />
0 &amp; 0 &amp; 0 \\<br />
0 &amp;1 &amp;0 \\<br />
0 &amp; 0 &amp; \sqrt{3}<br />
\end{bmatrix}^2P^{-1}=P\begin{bmatrix}<br />
0 &amp; 0 &amp; 0 \\<br />
0 &amp;1 &amp;0 \\<br />
0 &amp; 0 &amp; 3<br />
\end{bmatrix}P^{-1}=A.<br />
\end{align*}<br />
Remark that the matrix $B$ is real since $P$ is real. Thus the matrix $B$ satisfies the conditions of the problem.</p>
<h2> Remark. </h2>
<p>The explicit form of the matrix $P$ was used to assure that the matrix $B$ is real.<br />
So we did not have to compute the matrix $P$ explicitly if we use the fact that the symmetric matrix is diagonalizable by a real orthogonal matrix.</p>
<h3>Generalization.</h3>
<p>See problem <a href="//yutsumura.com/a-square-root-matrix-of-a-symmetric-matrix-with-non-negative-eigenvalues/">A square root matrix of a symmetric matrix with non-negative eigenvalues</a> for a more general question than part (b).</p>
<p>Furthermore, try the next problem.</p>
<div style="padding: 16px; border: none 3px #4169e1; border-radius: 10px; background-color: #f0f8ff; margin-top: 30px; margin-bottom: 30px;">
<strong>Problem</strong>.<br />
Prove that a positive definite matrix has a unique positive definite square root.
</div>
<p>For a solution of this problem, see the post<br />
<a href="//yutsumura.com/a-positive-definite-matrix-has-a-unique-positive-definite-square-root/" target="_blank">A Positive Definite Matrix Has a Unique Positive Definite Square Root</a></p>
<button class="simplefavorite-button has-count" data-postid="349" data-siteid="1" data-groupid="1" data-favoritecount="39" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">39</span></button><p>The post <a href="https://yutsumura.com/a-square-root-matrix-of-a-symmetric-matrix/" target="_blank">A Square Root Matrix of a Symmetric Matrix</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/a-square-root-matrix-of-a-symmetric-matrix/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">349</post-id>	</item>
	</channel>
</rss>
