[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.2.10

简介: (1). The numerical radius defines a norm on $\scrL(\scrH)$.   (2). $w(UAU^*)=w(A)$ for all $U\in \U(n)$.

(1). The numerical radius defines a norm on $\scrL(\scrH)$.

 

(2). $w(UAU^*)=w(A)$ for all $U\in \U(n)$.

 

(3). $w(A)\leq \sen{A}\leq 2w(A)$ for all $A$.

 

(4). $w(A)=\sen{A}$ if (but not only if) $A$ is normal.

 

Solution.

 

(1). We only need to show that $$\beex \bea w(A)=0&\ra \sef{x,Ax}=0,\quad \forall\ x:\sen{x}=1\\ &\ra \sef{y,Ax}=\frac{1}{4} \sum_{k=0}^3 i^k\sef{x+i^ky,A(x+i^ky)}=0,\quad\forall\ x,y:\sen{x}=\sen{y}=1\\ &\ra Ax=0,\quad \forall\ x:\sen{x}=1\\ &\ra A=0. \eea \eeex$$

 

(2). $$\beex \bea w(UAU^*)&=\sup_{\sen{x}=1}\sev{\sef{x,UAU^*}}\\ &=\sup_{\sen{x}=1}\sev{(U^*x)^*A(U^*x)}\\ &=\sup_{\sen{y}=1}\sev{y^*Ay}\quad\sex{y=U^*x}\\ &=w(A). \eea \eeex$$

 

(3). $$\beex \bea w(A)&=\sup_{\sen{x}=1}\sev{\sef{x,Ax}}\\ &\leq \sup_{\sen{x}=1} \sex{\sen{x}\cdot \sen{Ax}}\\ &=\sup_{\sen{x}=1}\sen{Ax}\\ &=\sen{A};\\ \sen{A}&=\sup_{\sen{x}=\sen{y}=1}\sev{\sef{y,Ax}}\\ &=\sup_{\sen{x}=\sen{y}=1} \sev{\frac{1}{4}\sum_{k=0}^3 i^k\sef{y+i^kx,A(y+i^kx)}}\\ &\leq \sup_{\sen{x}=\sen{y}=1} \frac{1}{4}\sum_{k=0}^3 \sev{\sef{y+i^kx,A(y+i^kx)}}\\ &\leq \sup_{\sen{x}=\sen{y}=1} \frac{1}{4}\sum_{k=0}^3 \sen{y+i^kx}^2\cdot w(A)\\ &=\sup_{\sen{x}=\sen{y}=1} \frac{1}{4}\cdot 4\sex{\sen{x}^2+\sen{y}^2} \cdot w(A)\\ &=2w(A). \eea \eeex$$

 

(4). If $A$ is normal, then by the spectral theorem, there exists a unitary $U$ such that $$\bex A=U\diag(\lm_1,\cdots,\lm_n)U^*, \eex$$ and hence $$\beex \bea \sen{Ax}^2&=\sef{Ax,Ax}\\ &=x^*A^*Ax\\ &=Ux^*\diag(|\lm_1|^2,\cdots,|\lm_n|^2)U^*x\\ &=\sum_{i=1}^n |\lm_i|^2|y_i|^2\quad\sex{y=U^*x}\\ &\leq \max_i\sen{\lm_i}^2\sen{y}^2\\ &\leq w(A)\sen{x}^2. \eea \eeex$$

目录
相关文章
[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.5.9
(Schur's Theorem) If $A$ is positive, then $$\bex \per(A)\geq \det A. \eex$$   Solution. By Exercise I.
550 0
[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.5.8
Prove that for any matrices $A,B$ we have $$\bex |\per (AB)|^2\leq \per (AA^*)\cdot \per (B^*B). \eex$$ (The corresponding relation for determinants is an easy equality.
583 0
|
资源调度
[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.5.1
Show that the inner product $$\bex \sef{x_1\wedge \cdots \wedge x_k,y_1\wedge \cdots\wedge y_k} \eex$$ is equal to the determinant of the $k\times k$ matrix $\sex{\sef{x_i,y_j}}$.
620 0
[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.5.2
The elementary tensors $x\otimes \cdots \otimes x$, with all factors equal, are all in the subspace $\vee^k\scrH$.
448 0
[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.5.3
Let $\scrM$ be a $p$-dimensional subspace of $\scrH$ and $\scrN$ its orthogonal complement. Choosing $j$ vectors from $\scrM$ and $k-j$ vectors from $...
717 0
[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.5.4
If $\dim \scrH=3$, then $\dim \otimes^3\scrH =27$, $\dim \wedge^3\scrH =1$ and $\dim \vee^3\scrH =10$.
697 0
|
Go
[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.4.1
Let $x,y,z$ be linearly independent vectors in $\scrH$. Find a necessary and sufficient condition that a vector $w$ mush satisfy in order that the bil...
660 0
|
机器学习/深度学习
[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.4.6
Let $A$ and $B$ be two matrices (not necessarily of the same size). Relative to the lexicographically ordered basis on the space of tensors, the matri...
748 0
[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.4.5
Suppose it is known that $\scrM$ is an invariant subspace for $A$. What invariant subspaces for $A\otimes A$ can be obtained from this information alone?   Solution.
524 0
|
关系型数据库
[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.2.4
(1). The singular value decomposition leads tot eh polar decomposition: Every operator $A$ can be written as $A=UP$, where $U$ is unitary and $P$ is positive.
841 0