[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.10
Every $k\times k$ positive matrix $A=(a_{ij})$ can be realised as a Gram matrix, i.e., vectors $x_j$, $1\leq j\leq k$, can be found so that $a_{ij}=\sef{x_i,x_j}$ for all $i,j$.
649 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.
591 0
[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.
556 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$.
452 0
|
应用服务中间件 AHAS Perl
[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.5.6
Let $A$ be a nilpotent operator. Show how to obtain, from aJordan basis for $A$, aJordan basis of $\wedge^2A$.
801 0
[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.5.7
Prove that for any vectors $$\bex u_1,\cdots,u_k,\quad v_1,\cdots,v_k, \eex$$ we have $$\bex |\det(\sef{u_i,v_j})|^2 \leq \det\sex{\sef{u_i,u_j}}\cdot...
607 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$.
702 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...
755 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...
665 0
|
Perl
[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.2.3
(1). Let $\sed{A_\al}$ be a family of mutually commuting operators. Then, there exists a common Schur basis for $\sed{A_\al}$.
662 0

热门文章

最新文章