3
$\begingroup$

Define $\mathbf{f}(A) = A^2$, for $A \in \mathbb{R}^{n \times n}$.

(a) Applying the Inverse Function Theorem, show that every matrix $B$ in a neighbourhood of $I$ has (atleast) 2 square roots $A$, that is $A^2 = B$, each varying as a $C^1$ function of $B$.

(b) Can you decide if there are precisely 2 or more ? (Hint: in 2x2 case, what is $D\mathbf{f}\left ( \begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix} \right )$ ?

Now I can apply the inverse function theorem to $\mathbf{f}(A)$ at $A =I$ to conclude the inverse exists. But I cannot see how to apply it and ``show that every matrix $B$ in a neighbourhood of $I$ has (atleast) 2 square roots $A$" is to be solved and the bit about number of square roots.

I would appreciate some hints. This is a problem from Ted Shifrin's book on Mutivariable Mathematics.

$\endgroup$

2 Answers 2

1
$\begingroup$

(a) Let $A=diag(I_p,-I_q)$ where $p+q=n$; then $f(A)=I_n$ and

$Df_A:H=\begin{pmatrix}P_p&Q\\R&S_q\end{pmatrix}\in M_n\rightarrow AH+HA=\begin{pmatrix}2P&0\\0&-2S\end{pmatrix}\in M_n$.

Then $rank(Df_A)=p^2+q^2$ and $Df_A$ is an isomorphism iff $p=0$ or $q=0$, that is $A=\pm I_n$. Finally, for every neighborhood $V$ of $I_n$, there is $U$ a neighborhood of $\pm I_n$ s.t. $f(U)\subset V$ and $f_{|U}:U\rightarrow f(U)$ is a $C^{\infty}$diffeomorphism.

Remark. Every solution of $X^2=I_n$ is similar to a matrix in the form $diag(I_p,-I_q)$; then a restriction $f_{|U}$ is a local diffeomorphism with values in a neighborhood of $I_n$ iff $U$ is a neighborhood of $\pm I_n$.

Conclusion. If $B$ is close to $I_n$ then there are at least two square roots of $B$, exactly ONE close to $I_n$ and exactly ONE another close to $-I_n$.

EDIT. (b) On the other hand, there are $B$ close to $I_n$ that have no other square roots than those above.

Consider $B=I_n+aJ_n$ where $a$ is a non-zero small real number and $J_n$ is the nilpotent Jordan block of dimension $n$ and solve $X^2=I+aJ_n$. Since $X$ and $J_n$ commute, $X$ is in the form $x_0I+x_1J_n+x_2J_n^2+\cdots+x_{n-1}J_n^{n-1}$. Since the system $I,J_n,J_n^2,\cdots,J_n^{n-1}$ is free, we obtain $x_0=\pm 1=\epsilon,x_1=\epsilon a/2,x_2=-\epsilon a^2/8\cdots$. Finally, there are exactly $2$ solutions $X=\pm (I+\dfrac{a}{2}J_n-\dfrac{a^2}{8}J_n^2+\cdots)$ (you can recognize the formal Taylor development of $(1+aJ_n)^{1/2}$).

$\endgroup$
2
  • $\begingroup$ What is the argument that allows you to conclude that $rank(Df_A) = p^2 + q^2 ? $ Isn't $H$ arbitrary? $\endgroup$
    – me10240
    Commented Jul 13, 2016 at 8:05
  • $\begingroup$ $im(Df_A)\approx \mathbb{R}^{p^2}\times \mathbb{R}^{q^2}\subset \mathbb{R}^{n^2}$. $\endgroup$
    – user91684
    Commented Jul 13, 2016 at 8:38
0
$\begingroup$

You have $(-I)^2=I^2=I$. Use the inverse function theorem to find a neighborhood $U$ of $I$ and a neighorhood $V$ of $-I$ such that the restriction of $f$ on $U$ and $V$ is a diffeo onto the respective image and $U\cap V$ is empty. Now take $W=f(U)\cap f(V)$, $U'=f^{-1}(W)\cap U, V'=f^{-1}(W)\cap V$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .