Mathematics Asked by Zhanxiong on January 7, 2022

$DeclareMathOperator{A}{mathscr{A}}$

$DeclareMathOperator{B}{mathscr{B}}$

$DeclareMathOperator{C}{mathscr{C}}$

$DeclareMathOperator{kernel}{mathrm{Ker}}$

$DeclareMathOperator{diag}{mathrm{diag}}$

$DeclareMathOperator{span}{mathrm{span}}$

$DeclareMathOperator{real}{mathbb{R}^2}$

$DeclareMathOperator{rank}{text{rank}}$

The question is:

Let $A$ be a linear operator on the $n$-dimensional Euclidean space $V$. Prove there exists a partially orthogonal operator $B$ and a semi-definite self-adjoint operator $C$,

$kernel(B) = kernel(C)$, such that $A = BC$, and operators $B$ and $C$ are unique; Prove the linear operator $A$ is normal if and only if $B$ commutes with $C$.

An operator $B$ is called partially orthogonal if there exists a $B$-invariant subspace $U$ such that $|B(alpha)| = |alpha|$ for any $alpha in U$, and $B(alpha) = 0$ for any

$alpha in U^bot$. It is easy to show that an operator is partially orthogonal if and only there exists an orthonormal basis ${xi_1, ldots, xi_n}$ such that $B(xi_1, ldots, xi_n) = (xi_1, ldots, xi_n)diag(O, 0)$, where $O$ is an order $r = dim(U)$ orthogonal matrix.

Oddly enough, so far I am able to prove the uniqueness and commuting statement but the construction itself. Inspired by the polar decomposition, I tried using the singular value decomposition of $A$ (the matrix of $A$ under a fixed orthonormal basis) as follows:

begin{align*}

A = O_1diag(M, 0)O_2 = O_1diag(I_{(r)}, 0)O_2 times O_2’diag(M, 0)O_2

=:BC,

end{align*}

where $M = diag(mu_1, ldots, mu_r)$ is a diagonal matrix with its diagonal elements of all eigenvalues. However, the $B$ defined in this way is not partially orthogonal. If enforcing $B$ to be partially orthogonal, then $C$ cannot be made symmetric.

So probably a new perspective is needed here. I appreciate any insights.

As pointed out by @Ben Grossmann, such decomposition is not universal. For example, consider the matrix $A = begin{pmatrix}0 & 1 \ 0 & 0end{pmatrix}$. Below we show this $A$ does not admit the required decomposition.

Suppose $A = BC$, where $B$ is partial orthogonal and $C geq 0$. Since $kernel(A) = span({(1, 0)’}) supset kernel(C)$, $kernel(C) = span((1, 0)’)$ or $kernel(C) = {0}$. If $kernel(C) = {0}$, then

$kernel(B) = {0}$, which implies $rank A = 2$, contradiction. Hence $kernel(B) = kernel(C) = span((1, 0)’)$.

Since $C geq 0$ and $rank C = 1$, we can accordingly assume $C$‘s spectral decomposition is

$C = Odiag(lambda, 0)O’$ where $lambda neq 0$ and $O$ is an order $2$ orthogonal matrix. By solving $Odiag(lambda, 0)O'(1, 0)’ = (0, 0)’$ and noting $O$ is orthogonal, it follows that $O = begin{pmatrix} 0 & 1 \

1 & 0 end{pmatrix}$, thereby $C = begin{pmatrix} 0 & 0 \ 0 & lambda end{pmatrix}$.

Since $B$ is partially diagonal and $rank B = 1$, there exists an order $2$ orthogonal matrix $P$ such that $B = Pdiag(1, 0)P’$. In the same argument as above, $P = begin{pmatrix} 0 & 1 \ 1 & 0 end{pmatrix}$, resulting

$B = begin{pmatrix} 0 & 0 \ 0 & 1 end{pmatrix}$.

As a result, $A = BC = begin{pmatrix} 0 & 0 \ 0 & lambda end{pmatrix}$, this is a contradiction.

Either your understanding of the question is wrong, or the author has suggested something that isn't true. In either case, there exist operators $mathscr A$ for which such a decomposition does not exist.

For example, take $$ A = pmatrix{0&1\0&0}. $$ We note that if $ker mathscr B = ker mathscr C$, then both operators must have kernel equal to that of $A$, i.e. the span of $(1,0)$. This means that the image of $mathscr B$ must be the orthogonal complement to $(1,0)$, which would mean (assuming that the subspace on which $|mathscr Balpha| = |alpha|$ is invariant) that the image of $mathscr A$ is a subspace of the span of $(0,1)$.

However, this is not the case.

Here is an answer if we drop the requirement that $ker mathscr B = ker mathscr C$, but assume that your "partially orthogonal" is accurate.

Using the singular value decomposition, under a suitable choice of orthonormal basis $mathscr A$ has the form $$ A = pmatrix{Sigma & 0\0 & 0} U, $$ where $U$ is an orthogonal matrix and $Sigma$ is diagonal with positive entries. Partition the matrix $U$ conformally to get $$ A = pmatrix{Sigma & 0\0 &0}pmatrix{U_{11} & U_{12}\ U_{21} & U_{22}} = pmatrix{Sigma U_{11} & Sigma U_{12}\ 0 & 0}. $$ Note that $mathscr B$, which contains the image of $mathscr A$, must be such that the restriction of $mathscr B$ to its image is an orthogonal operator. In other words, the matrix $B$ of $mathscr B$ must be block diagonal. With that in mind, define $$ B = pmatrix{U_{11} & 0\0 & 0}, \ C = pmatrix{U_{11}^T Sigma U_{11} & U_{11}^T Sigma U_{12}\ U_{12}^T Sigma U_{11} & U_{12}^T Sigma U_{12}} = pmatrix{U_{11} & 0\0 & U_{12}}^T pmatrix{Sigma & Sigma\ Sigma & Sigma} pmatrix{U_{11} & 0\0 & U_{12}}. $$

Answered by Ben Grossmann on January 7, 2022

2 Asked on December 1, 2021

1 Asked on December 1, 2021

2 Asked on December 1, 2021 by pendronator

integration line integrals multivariable calculus riemann integration vector analysis

1 Asked on December 1, 2021

algebraic number theory class field theory profinite groups tensor products

1 Asked on December 1, 2021 by please-correct-grammarmistakes

1 Asked on December 1, 2021 by jack-schmidt

1 Asked on December 1, 2021 by martinhynesone

3 Asked on December 1, 2021 by evangelos

derivatives determinant matrices matrix calculus scalar fields

1 Asked on December 1, 2021 by alex-howard

1 Asked on December 1, 2021

1 Asked on December 1, 2021 by gabi-g

1 Asked on December 1, 2021 by ponchan

4 Asked on December 1, 2021 by aligator

1 Asked on December 1, 2021

1 Asked on December 1, 2021

axiom of choice logic model theory second order logic set theory

1 Asked on December 1, 2021

0 Asked on December 1, 2021

1 Asked on December 1, 2021

Get help from others!

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

Recent Answers

- haakon.io on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?
- Jon Church on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?

© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP