<?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>positive semi-definite matrix &#8211; Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/positive-semi-definite-matrix/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Tue, 21 Nov 2017 02:16:17 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>
	hourly	</sy:updatePeriod>
	<sy:updateFrequency>
	1	</sy:updateFrequency>
	<generator>https://wordpress.org/?v=5.3.6</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>positive semi-definite matrix &#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>Prove $\mathbf{x}^{\trans}A\mathbf{x} \geq 0$ and determine those $\mathbf{x}$ such that $\mathbf{x}^{\trans}A\mathbf{x}=0$</title>
		<link>https://yutsumura.com/prove-mathbfxtransamathbfx-geq-0-and-determine-those-mathbfx-such-that-mathbfxtransamathbfx0/</link>
				<comments>https://yutsumura.com/prove-mathbfxtransamathbfx-geq-0-and-determine-those-mathbfx-such-that-mathbfxtransamathbfx0/#respond</comments>
				<pubDate>Fri, 08 Sep 2017 13:18:40 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[matrix product]]></category>
		<category><![CDATA[positive definite matrix]]></category>
		<category><![CDATA[positive semi-definite matrix]]></category>
		<category><![CDATA[vector]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=4844</guid>
				<description><![CDATA[<p>For each of the following matrix $A$, prove that $\mathbf{x}^{\trans}A\mathbf{x} \geq 0$ for all vectors $\mathbf{x}$ in $\R^2$. Also, determine those vectors $\mathbf{x}\in \R^2$ such that $\mathbf{x}^{\trans}A\mathbf{x}=0$. (a) $A=\begin{bmatrix} 4 &#038; 2\\ 2&#038; 1&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/prove-mathbfxtransamathbfx-geq-0-and-determine-those-mathbfx-such-that-mathbfxtransamathbfx0/" target="_blank">Prove $\mathbf{x}^{\trans}A\mathbf{x} \geq 0$ and determine those $\mathbf{x}$ such that $\mathbf{x}^{\trans}A\mathbf{x}=0$</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 559</h2>
<p>		For each of the following matrix $A$, prove that $\mathbf{x}^{\trans}A\mathbf{x} \geq 0$ for all vectors $\mathbf{x}$ in $\R^2$. Also, determine those vectors $\mathbf{x}\in \R^2$ such that $\mathbf{x}^{\trans}A\mathbf{x}=0$.</p>
<p><strong>(a)</strong> $A=\begin{bmatrix}<br />
		  4 &#038; 2\\<br />
		  2&#038; 1<br />
		\end{bmatrix}$.</p>
<p>&nbsp;<br />
<strong>(b)</strong> $A=\begin{bmatrix}<br />
		  2 &#038; 1\\<br />
		  1&#038; 3<br />
		\end{bmatrix}$.</p>
<p>&nbsp;<br />
<span id="more-4844"></span><br />

<h2> Proof. </h2>
<h3>(a) $A=\begin{bmatrix}<br />
		  4 &#038; 2\\<br />
		  2&#038; 1<br />
		\end{bmatrix}$.</h3>
<p>Let $\mathbf{x}=\begin{bmatrix}<br />
		  x \\<br />
		  y<br />
		\end{bmatrix}$ be a vector in $\R^2$. Then we have<br />
		\begin{align*}<br />
		\mathbf{x}^{\trans}A\mathbf{x}&#038;=\begin{bmatrix}<br />
		  x &#038; y<br />
		\end{bmatrix}\begin{bmatrix}<br />
		  4 &#038; 2\\<br />
		  2&#038; 1<br />
		\end{bmatrix}\begin{bmatrix}<br />
		  x \\<br />
		  y<br />
		\end{bmatrix}=\begin{bmatrix}<br />
		  x &#038; y<br />
		\end{bmatrix}\begin{bmatrix}<br />
		  4x+2y \\<br />
		  2x+y<br />
		\end{bmatrix}\\[6pt]
		&#038;=x(4x+2y)+y(2x+y)=4x^2+2xy+2xy+y^2\\<br />
		&#038;=4x^2+4xy+y^2\\<br />
		&#038;=(2x+y)^2 \geq 0.<br />
		\end{align*}<br />
		Thus we have $\mathbf{x}^{\trans}A\mathbf{x} \geq 0$.<br />
		Note that $\mathbf{x}^{\trans}A\mathbf{x}=0$ if and only if $2x+y=0$.<br />
		Thus those vectors $\mathbf{x}$ such that $\mathbf{x}^{\trans}A\mathbf{x}=0$ are<br />
		\[\mathbf{x}=\begin{bmatrix}<br />
		  x \\<br />
		  -2x<br />
		\end{bmatrix}=x\begin{bmatrix}<br />
		  1 \\<br />
		  -2<br />
		\end{bmatrix}\]
		for any real number $x$.</p>
<h3>(b) $A=\begin{bmatrix}<br />
		  2 &#038; 1\\<br />
		  1&#038; 3<br />
		\end{bmatrix}$.</h3>
<p> Let $\mathbf{x}=\begin{bmatrix}<br />
		  x \\<br />
		  y<br />
		\end{bmatrix}$ be a vector in $\R^2$.<br />
		We compute<br />
		\begin{align*}<br />
		\mathbf{x}^{\trans}A\mathbf{x}&#038;=\begin{bmatrix}<br />
		  x &#038; y<br />
		\end{bmatrix}<br />
		\begin{bmatrix}<br />
		  2 &#038; 1\\<br />
		  1&#038; 3<br />
		\end{bmatrix}<br />
		\begin{bmatrix}<br />
		  x \\<br />
		  y<br />
		\end{bmatrix}=<br />
		\begin{bmatrix}<br />
		  x &#038; y<br />
		\end{bmatrix}<br />
		\begin{bmatrix}<br />
		  2x+y \\<br />
		  x+3y<br />
		\end{bmatrix}\\[6pt]
		&#038;=x(2x+y)+y(x+3y)=2x^2+xy+xy+3y^2\\<br />
		&#038;=2x^2+2xy+3y^2\\<br />
		&#038;=x^2+(x+y)^2+2y^2 \geq 0. \tag{*}<br />
		\end{align*}<br />
		Thus we obtain $\mathbf{x}^{\trans}A\mathbf{x} \geq 0$.<br />
		It follows from (*) that $\mathbf{x}^{\trans}A\mathbf{x}=0$ if and only if<br />
		\[x^2+(x+y)^2+2y^2=0.\]
		Since each of $x^2, (x+y)^2, 2y^2$ is nonnegative, we must have $x=y=0$.<br />
		Therefore $\mathbf{x}^{\trans}A\mathbf{x}=0$ if and only if $\mathbf{x}=\mathbf{0}$.</p>
<button class="simplefavorite-button has-count" data-postid="4844" data-siteid="1" data-groupid="1" data-favoritecount="23" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">23</span></button><p>The post <a href="https://yutsumura.com/prove-mathbfxtransamathbfx-geq-0-and-determine-those-mathbfx-such-that-mathbfxtransamathbfx0/" target="_blank">Prove $\mathbf{x}^{\trans}A\mathbf{x} \geq 0$ and determine those $\mathbf{x}$ such that $\mathbf{x}^{\trans}A\mathbf{x}=0$</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/prove-mathbfxtransamathbfx-geq-0-and-determine-those-mathbfx-such-that-mathbfxtransamathbfx0/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">4844</post-id>	</item>
		<item>
		<title>A Positive Definite Matrix Has a Unique Positive Definite Square Root</title>
		<link>https://yutsumura.com/a-positive-definite-matrix-has-a-unique-positive-definite-square-root/</link>
				<comments>https://yutsumura.com/a-positive-definite-matrix-has-a-unique-positive-definite-square-root/#comments</comments>
				<pubDate>Wed, 19 Jul 2017 00:39:26 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[diagonalization of a matrix]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[positive definite matrix]]></category>
		<category><![CDATA[positive semi-definite matrix]]></category>
		<category><![CDATA[square root matrix]]></category>
		<category><![CDATA[square root of a matrix]]></category>
		<category><![CDATA[symmetric matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=3855</guid>
				<description><![CDATA[<p>Prove that a positive definite matrix has a unique positive definite square root. &#160; In this post, we review several definitions (a square root of a matrix, a positive definite matrix) and solve the&#46;&#46;&#46;</p>
<p>The post <a href="https://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> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 514</h2>
<p>Prove that a positive definite matrix has a unique positive definite square root.</p>
<p>&nbsp;<br />
<span id="more-3855"></span><br />

<p>In this post, we review several definitions (a square root of a matrix, a positive definite matrix) and solve the above problem.</p>
<p>After the proof, several extra problems about square roots of a matrix are given.</p>
<h2>Definitions (Square Roots of a Matrix) </h2>
<p>Let $A$ be a square matrix. If there exists a matrix $B$ such that $B^2=A$, then we call $B$ a <strong>square root</strong> of the matrix $A$.</p>
<h3>Examples</h3>
<p>	For example, if $A=\begin{bmatrix}<br />
	  2 &#038; 2\\<br />
	  2&#038; 2<br />
	\end{bmatrix}$, then it is straightforward to see that<br />
	\[\begin{bmatrix}<br />
	  1 &#038; 1\\<br />
	  1&#038; 1<br />
	\end{bmatrix} \text{ and } \begin{bmatrix}<br />
	  -1 &#038; -1\\<br />
	  -1&#038; -1<br />
	\end{bmatrix}\]
	are square roots of $A$.<br />
	(The less trivial question is that these are the only square roots of $A$.<br />
See the post &#8220;<a href="//yutsumura.com/find-all-the-square-roots-of-a-given-2-by-2-matrix/" target="_blank">Find All the Square Roots of a Given 2 by 2 Matrix</a>&#8221; .)</p>
<p>	Some matrices do not have a square root at all.<br />
	For example, the matrix $A=\begin{bmatrix}<br />
	  0 &#038; 1\\<br />
	  0&#038; 0<br />
	\end{bmatrix}$ does not have a square root matrix.<br />
 (See the post &#8220;<a href="//yutsumura.com/noinfinitely-many-square-roots-of-2-by-2-matrices/" target="_blank">No/Infinitely Many Square Roots of 2 by 2 Matrices</a>&#8221; Part (a).)</p>
<p>	On the other hand, some matrices have infinitely many square roots.<br />
	For example, the $2\times 2$ identity matrix has infinitely many distinct square roots.<br />
	 (See the post &#8220;<a href="//yutsumura.com/noinfinitely-many-square-roots-of-2-by-2-matrices/" target="_blank">No/Infinitely Many Square Roots of 2 by 2 Matrices</a>&#8221; Part (b).)</p>
<h2>Analogy with Positive Real Number </h2>
<p>	For a positive real number $a$, there are two square roots $\pm \sqrt{a}$.<br />
	Here $\sqrt{a}$ is the unique positive number whose square is $a$.</p>
<p>The corresponding notion of positive number in matrices is <strong>positive definite</strong>.</p>
<h3>Definition (Positive Definite Matrix)</h3>
<p>An $n\times n$ real symmetric matrix $A$ is said to be <strong>positive definite</strong> if $\mathbf{v}^{\trans}A\mathbf{v}$ is positive for all nonzero vector $\mathbf{v}\in \R^n$.</p>
<p>We will use the following fact in the proof.</p>
<div style="padding: 16px; border: none 3px #4169e1; border-radius: 10px; background-color: #f0f8ff; margin-top: 30px; margin-bottom: 30px;">
<strong>Fact</strong>.<br />
 A real symmetric matrix $A$ is positive definite if and only if the eigenvalues of $A$ are all positive.</div>
<p>For a proof of this fact, see the post &#8220;<a href="//yutsumura.com/positive-definite-real-symmetric-matrix-and-its-eigenvalues/" target="_blank">Positive definite Real Symmetric Matrix and its Eigenvalues</a>&#8221;.</p>
<h3>Problem</h3>
<p>Just like a positive real number $a$ has a unique positive square root $\sqrt{a}$, we can prove the following (which is the problem of this post).</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 />
 A positive definite matrix has a unique positive definite square root.
</div>
<h2> Proof. </h2>
<p>	Let $A$ be a positive definite $n\times n$ matrix.</p>
<h3><strong>Existence</strong> of a Square Root</h3>
<p>We first show that there exists a positive definite matrix $B$ such that $B^2=A$.</p>
<p>	Let $\lambda_1, \dots, \lambda_n$ be eigenvalues of $A$.<br />
		Since $A$ is a real symmetric matrix, it is diagonalizable by an orthogonal matrix $S$.<br />
	That is, we have<br />
	\[S^{\trans}AS=D,\]
	where $D$ is the diagonal matrix<br />
	\[D=\begin{bmatrix}<br />
	  \lambda_1 &#038; 0 &#038; 0 &#038;   0 \\<br />
	  0 &#038;\lambda_2 &#038;  0 &#038; 0  \\<br />
	  \vdots &#038; \cdots &#038; \ddots &#038; \vdots \\<br />
	  0 &#038; 0 &#038; \cdots &#038; \lambda_n<br />
	\end{bmatrix}.\]
	(Note that $S^{-1}=S^{\trans}$ since $S$ is orthogonal.)</p>
<p>	Recall that the eigenvalues of a positive definite matrix are positive real numbers by <strong>Fact</strong>.<br />
	So eigenvalues $\lambda_i$ of $A$ are positive real numbers.<br />
	Hence $\sqrt{\lambda_i}$ is a positive real number for $i=1, \dots, n$.</p>
<p>	Define the matrix<br />
	\[B=SD&#8217;S^{\trans},\]
	where $D&#8217;$ is the diagonal matrix<br />
	\[D&#8217;=\begin{bmatrix}<br />
	  \sqrt{\lambda_1} &#038; 0 &#038; 0 &#038;   0 \\<br />
	  0 &#038;\sqrt{\lambda_2} &#038;  0 &#038; 0  \\<br />
	  \vdots &#038; \cdots &#038; \ddots &#038; \vdots \\<br />
	  0 &#038; 0 &#038; \cdots &#038; \sqrt{\lambda_n}<br />
	\end{bmatrix}.\]
<p>	Then $B$ is a symmetric matrix because<br />
	\[B^{\trans}=(SD&#8217;S^{\trans})^{\trans}=(S^{\trans})^{\trans}D&#8217;^{\trans}S^{\trans}=SD&#8217;S^{\trans}=B.\]
<p>	It follows from the definition of $B=SD&#8217;S^{\trans}$ that the eigenvalues of $B$ are positive numbers $\sqrt{\lambda_1}, \dots, \sqrt{\lambda_n}$.<br />
	Thus by <strong>Fact</strong> the matrix $B$ is positive-definite.</p>
<p>	The matrix $B$ is a square root of $A$ since we have<br />
	\begin{align*}<br />
	B^2=(SD&#8217;S^{\trans})(SD&#8217;S^{\trans})=SD&#8217;^2S^{\trans}=SDS^{\trans}=A.<br />
	\end{align*}</p>
<h3> <strong>Uniqueness</strong> of a Square Root</h3>
<p>Now we prove the uniqueness of the square root.<br />
	Suppose that $C$ is another positive definite square roots of the matrix $A$.</p>
<p>	Since $C$ is a real symmetric matrix, there is an orthogonal matrix $P$ such that<br />
	\[P^{\trans}CP=T.\]
	Here $T$ is the diagonal matrix<br />
	\[T=\begin{bmatrix}<br />
		  \mu_1 &#038; 0 &#038; 0 &#038;   0 \\<br />
		  0 &#038;\mu_2 &#038;  0 &#038; 0  \\<br />
		  \vdots &#038; \cdots &#038; \ddots &#038; \vdots \\<br />
		  0 &#038; 0 &#038; \cdots &#038; \mu_n<br />
		\end{bmatrix},\]
	where $\mu_1, \dots, \mu_n$ are eigenvalues of $C$.</p>
<p>	Since $C^2=A$, we have<br />
	\begin{align*}<br />
	P^{\trans}AP&#038;=P^{\trans}C^2P=(P^{\trans}CP)^2=T^2\\[6pt]
	&#038;=\begin{bmatrix}<br />
		  \mu_1^2&#038; 0 &#038; 0 &#038;   0 \\<br />
		  0 &#038;\mu_2^2 &#038;  0 &#038; 0  \\<br />
		  \vdots &#038; \cdots &#038; \ddots &#038; \vdots \\<br />
		  0 &#038; 0 &#038; \cdots &#038; \mu_n^2<br />
		\end{bmatrix}.<br />
	\end{align*}<br />
	Thus, the matrix $P$ diagonalizes $A$, and it follows that up to permutation $\mu_1^2, \dots, \mu_n^2$ are equal to $\lambda_1, \dots, \lambda_n$.<br />
	Hence we can modify $P$ (by interchanging columns vectors), and without loss of generality we may assume that $\mu_i^2=\lambda_i$ for $i=1, \dots, n$.<br />
	Thus $P^{\trans}CP=D&#8217;$  or equivalently,<br />
	\[ C=PD&#8217;P^{\trans}.\]
<p>	Since $B^2=A=C^2$, we have<br />
	\begin{align*}<br />
	&#038;(SD&#8217;S^{\trans})^2=(PD&#8217;P^{\trans})^2\\<br />
	&#038;\Leftrightarrow  SD&#8217;^2S^{\trans}=PD&#8217;^2P^{\trans}\\<br />
	&#038;\Leftrightarrow SDS^{\trans}=PDP^{\trans}\\<br />
	&#038;\Leftrightarrow (P^{\trans}S) D=D (P^{\trans}S).<br />
	\end{align*}</p>
<p>		Let $Q:=P^\trans S$. Then the last equality is $QD=D Q$, and hence $Q$ commutes with $D$.</p>
<p>		Without loss of generality, we may assume that the matrix $D$ can be expressed as a block matrix<br />
		\[<br />
	D=<br />
	\left[\begin{array}{c|c|c|c}<br />
	  \lambda_1 I_1 &#038; 0 &#038;\dots  &#038;0\\<br />
	  \hline<br />
	  0 &#038; \lambda_2 I_2 &#038; \dots &#038; 0\\<br />
	  \hline<br />
	  \vdots &#038; \dots &#038; \ddots&#038; \vdots\\<br />
	  \hline<br />
	  0 &#038; \dots &#038; \dots &#038; \lambda_k I_k<br />
	\end{array}<br />
	\right] ,<br />
	\]
		where $\lambda_1, \dots, \lambda_k$ are distinct eigenvalues of $A$ and $I_k$ are some identity matrix. (These $\lambda_i$ and the previous $\lambda_i$ are different. The size of the identity matrix $I_j$ is the algebraic multiplicity of $\lambda_j$.)</p>
<p>		Express the matrix $Q$ as the block matrix with the same partition as $D$, and write it as<br />
		\[Q=\left[\begin{array}{c|c|c|c}<br />
	  Q_{11} &#038; Q_{12} &#038;\dots  &#038;Q_{1 k}\\<br />
	  \hline<br />
	  Q_{21} &#038; Q_{22}&#038; \dots &#038; Q_{2k}\\<br />
	  \hline<br />
	  \vdots &#038; \dots &#038; \ddots&#038; \vdots\\<br />
	  \hline<br />
	  Q_{k1} &#038; \dots &#038; \dots &#038; Q_{k k}<br />
	\end{array}<br />
	\right].<br />
	\]
<p>	Comparing the $(i,j)$-block of both sides of $QD=DQ$ yields that<br />
	\[\lambda_j Q_{ij}=\lambda_i Q_{ij}.\]
<p>	It follows that if $i\neq j$ then $Q_{ij}$ is the zero matrix.<br />
	Thus, $Q$ is a block diagonal matrix<br />
		\[Q=\left[\begin{array}{c|c|c|c}<br />
	  Q_{11} &#038; 0 &#038;\dots  &#038;0\\<br />
	  \hline<br />
	  0 &#038; Q_{22}&#038; \dots &#038; 0\\<br />
	  \hline<br />
	  \vdots &#038; \dots &#038; \ddots&#038; \vdots\\<br />
	  \hline<br />
	  0 &#038; \dots &#038; \dots &#038; Q_{k k}<br />
	\end{array}<br />
	\right].<br />
	\]
	Note that $D&#8217;$ is also a block diagonal matrix with the same partition.<br />
	It follows that<br />
	\begin{align*}<br />
	QD&#8217;&#038;=\left[\begin{array}{c|c|c|c}<br />
	  Q_{11} &#038; 0 &#038;\dots  &#038;0\\<br />
	  \hline<br />
	  0 &#038; Q_{22}&#038; \dots &#038; 0\\<br />
	  \hline<br />
	  \vdots &#038; \dots &#038; \ddots&#038; \vdots\\<br />
	  \hline<br />
	  0 &#038; \dots &#038; \dots &#038; Q_{k k}<br />
	\end{array}<br />
	\right]
	\left[\begin{array}{c|c|c|c}<br />
	  \lambda_1 I_1 &#038; 0 &#038;\dots  &#038;0\\<br />
	  \hline<br />
	  0 &#038; \lambda_2 I_2 &#038; \dots &#038; 0\\<br />
	  \hline<br />
	  \vdots &#038; \dots &#038; \ddots&#038; \vdots\\<br />
	  \hline<br />
	  0 &#038; \dots &#038; \dots &#038; \lambda_k I_k<br />
	\end{array}<br />
	\right]\\[6pt]
	&#038;=\left[\begin{array}{c|c|c|c}<br />
	  \lambda_1 Q_{11} &#038; 0 &#038;\dots  &#038;0\\<br />
	  \hline<br />
	  0 &#038; \lambda_2 Q_{22} &#038; \dots &#038; 0\\<br />
	  \hline<br />
	  \vdots &#038; \dots &#038; \ddots&#038; \vdots\\<br />
	  \hline<br />
	  0 &#038; \dots &#038; \dots &#038; \lambda_k Q_{kk}<br />
	\end{array}<br />
	\right]\\[6pt]
	&#038;=\left[\begin{array}{c|c|c|c}<br />
	  \lambda_1 I_1 &#038; 0 &#038;\dots  &#038;0\\<br />
	  \hline<br />
	  0 &#038; \lambda_2 I_2 &#038; \dots &#038; 0\\<br />
	  \hline<br />
	  \vdots &#038; \dots &#038; \ddots&#038; \vdots\\<br />
	  \hline<br />
	  0 &#038; \dots &#038; \dots &#038; \lambda_k I_k<br />
	\end{array}<br />
	\right]
	\left[\begin{array}{c|c|c|c}<br />
	  Q_{11} &#038; 0 &#038;\dots  &#038;0\\<br />
	  \hline<br />
	  0 &#038; Q_{22}&#038; \dots &#038; 0\\<br />
	  \hline<br />
	  \vdots &#038; \dots &#038; \ddots&#038; \vdots\\<br />
	  \hline<br />
	  0 &#038; \dots &#038; \dots &#038; Q_{k k}<br />
	\end{array}<br />
	\right]
	=D&#8217;Q.<br />
	\end{align*}<br />
	It yields that<br />
	\[D&#8217;=Q^{\trans}D&#8217;Q\]
	since $Q=P^{\trans}S$ is an orthogonal matrix.</p>
<p>		Then we obtain<br />
		\begin{align*}<br />
	B&#038;=SD&#8217;S^{\trans}=S(Q^{\trans}D&#8217;Q)S^{\trans}\\<br />
	&#038;=SS^{\trans} PD&#8217; P^{\trans} S S^{\trans}\\<br />
	&#038;=PD&#8217;P^{\trans}=C.<br />
	\end{align*}</p>
<p>	Therefore, any square root of $A$ must be equal to the matrix $B$.<br />
	This completes the proof of the uniqueness, hence the proof of the problem.</p>
<h2> Remark. </h2>
<p>	The above problem is still true if &#8220;positive definite&#8221; is replaced by &#8220;positive semi-definite&#8221;.</p>
<h2> Related Questions About Square Roots of a Matrix</h2>
<p>If you want to solve more problems about square roots of a matrix, then try the following problems.</p>
<div style="padding: 16px; border: none 3px #4169e1; border-radius: 10px; background-color: #f0f8ff; margin-top: 30px; margin-bottom: 30px;">
<strong>Problem</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}\,\,\,\,?\]
</div>
<p>This is a part of Princeton University&#8217;s Linear Algebra exam problems.<br />
See the post &#8628;<br />
<a href="//yutsumura.com/a-square-root-matrix-of-a-symmetric-matrix/" target="_blank">A Square Root Matrix of a Symmetric Matrix</a><br />
for a solution.</p>
<div style="padding: 16px; border: none 3px #4169e1; border-radius: 10px; background-color: #f0f8ff; margin-top: 30px; margin-bottom: 30px;">
<strong>Problem</strong>. Find a square root of the matrix<br />
\[A=\begin{bmatrix}<br />
  1 &#038; 3 &#038; -3 \\<br />
   0 &#038;4 &#038;5 \\<br />
   0 &#038; 0 &#038; 9<br />
\end{bmatrix}.\]
How many square roots does this matrix have?
</div>
<p>This is one of Berkeley&#8217;s qualifying exam problems.<br />
See the post &#8628;<br />
<a href="//yutsumura.com/square-root-of-a-diagonal-matrix-how-many-square-roots-exist/" target="_blank">Square Root of an Upper Triangular Matrix. How Many Square Roots Exist?</a><br />
for a solution.</p>
<button class="simplefavorite-button has-count" data-postid="3855" data-siteid="1" data-groupid="1" data-favoritecount="35" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">35</span></button><p>The post <a href="https://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> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/a-positive-definite-matrix-has-a-unique-positive-definite-square-root/feed/</wfw:commentRss>
		<slash:comments>6</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">3855</post-id>	</item>
		<item>
		<title>Find All the Square Roots of a Given 2 by 2 Matrix</title>
		<link>https://yutsumura.com/find-all-the-square-roots-of-a-given-2-by-2-matrix/</link>
				<comments>https://yutsumura.com/find-all-the-square-roots-of-a-given-2-by-2-matrix/#comments</comments>
				<pubDate>Tue, 18 Jul 2017 23:18:34 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[diagonalization of a matrix]]></category>
		<category><![CDATA[eigenvalue]]></category>
		<category><![CDATA[eigenvector]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[positive semi-definite matrix]]></category>
		<category><![CDATA[square root matrix]]></category>
		<category><![CDATA[square root of a matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=3853</guid>
				<description><![CDATA[<p>Let $A$ be a square matrix. A matrix $B$ satisfying $B^2=A$ is call a square root of $A$. Find all the square roots of the matrix \[A=\begin{bmatrix} 2 &#038; 2\\ 2&#038; 2 \end{bmatrix}.\] &#160;&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/find-all-the-square-roots-of-a-given-2-by-2-matrix/" target="_blank">Find All the Square Roots of a Given 2 by 2 Matrix</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 513</h2>
<p> Let $A$ be a square matrix. A matrix $B$ satisfying $B^2=A$ is call a <strong>square root</strong> of $A$.</p>
<p>	Find all the square roots of the matrix<br />
	\[A=\begin{bmatrix}<br />
	  2 &#038; 2\\<br />
	  2&#038; 2<br />
	\end{bmatrix}.\]
<p>&nbsp;<br />
<span id="more-3853"></span><br />

<h2> Proof. </h2>
<h3>Diagonalize $A$.</h3>
<p>	We first diagonalize the matrix $A$.<br />
		The characteristic polynomial of the matrix $A$ is<br />
		\begin{align*}<br />
	p(t)=\det(A-tI)=\begin{vmatrix}<br />
	  2-t &#038; 2\\<br />
	  2&#038; 2-t<br />
	\end{vmatrix}=t(t-4).<br />
	\end{align*}<br />
	Thus, the eigenvalues of $A$ are $0, 4$.<br />
	(Since $A$ has two distinct eigenvalues, it is diagonalizable.)</p>
<p>	Let us find eigenvectors.<br />
	For the eigenvalue $0$, solving $A\mathbf{x}=\mathbf{0}$, we see that<br />
	\[\mathbf{v}=\begin{bmatrix}<br />
	  1 \\<br />
	  -1<br />
	\end{bmatrix}\]
	is an eigenvector for $0$.</p>
<p>	For the eigenvalue $4$, solving $(A-4I)\mathbf{x}=\mathbf{0}$ yields that<br />
	\[\mathbf{u}=\begin{bmatrix}<br />
	  1 \\<br />
	  1<br />
	\end{bmatrix}\]
	is an eigenvector for $4$.</p>
<p>	Thus the matrix<br />
	\[S=\begin{bmatrix}<br />
	  \mathbf{v} &#038; \mathbf{u}<br />
	\end{bmatrix}=\begin{bmatrix}<br />
	  1 &#038; 1\\<br />
	  -1&#038; 1<br />
	\end{bmatrix}\]
	diagonalizes the matrix $A$, that is,<br />
	\[S^{-1}AS=D,\]
	where $D$ is the diagonal matrix<br />
	\[D=\begin{bmatrix}<br />
	  0 &#038; 0\\<br />
	  0&#038; 4<br />
	\end{bmatrix}.\]
<h3>Determine Square Roots of $A$.</h3>
<p>	Now suppose that $B$ is a matrix such that $B^2=A$.<br />
	We have<br />
	\begin{align*}<br />
	D=S^{-1}AS=S^{-1}B^2S=(S^{-1}BS)(S^{-1}BS)=(S^{-1}BS)^2=B&#8217;^2,<br />
	\end{align*}<br />
	where we set $B&#8217;=S^{-1}BS$.</p>
<p>	Observe that<br />
	\[B&#8217;D=B&#8217;B&#8217;^2=B&#8217;^3=B&#8217;^2B&#8217;=DB&#8217;.\]
	Since $B&#8217;$ commutes with the diagonal matrix $D$, the matrix $B&#8217;$ is also diagonal.<br />
	(To see this directly, put $B&#8217;=\begin{bmatrix}<br />
	  a &#038; b\\<br />
	  c &#038; d<br />
	\end{bmatrix}$ and compute $B&#8217;D$ and $DB&#8217;$. Then $B&#8217;D=D&#8217;B&#8217;$ requires $b=c=0$.)</p>
<p>	Let $B&#8217;=\begin{bmatrix}<br />
	  a &#038; 0\\<br />
	  0&#038; d<br />
	\end{bmatrix}$.<br />
	Since $B&#8217;^2=D$, we have<br />
	\[\begin{bmatrix}<br />
	  a^2 &#038; 0\\<br />
	  0&#038; d^2<br />
	\end{bmatrix}=\begin{bmatrix}<br />
	  0 &#038; 0\\<br />
	  0&#038; 4<br />
	\end{bmatrix},\]
	hence $a=0$ and $d=\pm 2$.</p>
<hr />
<p>	It follows that a square root of $A$ must be $B=SB&#8217;S^{-1}$, where $B&#8217;$ is one of<br />
	\[\begin{bmatrix}<br />
	  0 &#038; 0\\<br />
	  0&#038; 2<br />
	\end{bmatrix}, \quad \begin{bmatrix}<br />
	  0 &#038; 0\\<br />
	  0&#038; -2<br />
	\end{bmatrix}.\]
<p>	When $B&#8217;=\begin{bmatrix}<br />
	  0 &#038; 0\\<br />
	  0&#038; 2<br />
	\end{bmatrix}$, we compute<br />
	\begin{align*}<br />
	B&#038;=SB&#8217;S^{-1}=\begin{bmatrix}<br />
	  1 &#038; 1\\<br />
	  -1&#038; 1<br />
	\end{bmatrix}\begin{bmatrix}<br />
	  0 &#038; 0\\<br />
	  0&#038; 2<br />
	\end{bmatrix}<br />
	\frac{1}{2}\begin{bmatrix}<br />
	  1 &#038; -1\\<br />
	  1&#038; 1<br />
	\end{bmatrix}\\[6pt]
	&#038;=\begin{bmatrix}<br />
	  1 &#038; 1\\<br />
	  1&#038; 1<br />
	\end{bmatrix}.<br />
	\end{align*}</p>
<p>	Similarly, when $B&#8217;=\begin{bmatrix}<br />
	  0 &#038; 0\\<br />
	  0&#038; -2<br />
	\end{bmatrix}$, we obtain<br />
	\[B=\begin{bmatrix}<br />
	  -1 &#038; -1\\<br />
	  -1&#038; -1<br />
	\end{bmatrix}.\]
<hr />
<p>	In summary, the square roots of the matrix $A$ are<br />
	\[\begin{bmatrix}<br />
	  1 &#038; 1\\<br />
	  1&#038; 1<br />
	\end{bmatrix} \text{ and } \begin{bmatrix}<br />
	  -1 &#038; -1\\<br />
	  -1&#038; -1<br />
	\end{bmatrix}.\]
<h2> Related Question. </h2>
<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="3853" data-siteid="1" data-groupid="1" data-favoritecount="20" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">20</span></button><p>The post <a href="https://yutsumura.com/find-all-the-square-roots-of-a-given-2-by-2-matrix/" target="_blank">Find All the Square Roots of a Given 2 by 2 Matrix</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/find-all-the-square-roots-of-a-given-2-by-2-matrix/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">3853</post-id>	</item>
	</channel>
</rss>
