[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.
559 0
[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$.
654 0
|
资源调度
[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.5.5
Show that the inner product $$\bex \sef{x_1\vee \cdots \vee x_k,y_1\vee \cdots\vee y_k} \eex$$ is equal to the permanent of the $k\times k$ matrix $\sex{\sef{x_i,y_j}}$.
557 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 $...
727 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$.
706 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...
610 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$.
816 0
[Bhatia.Matrix Analysis.Solutions to Exercises and Problems]ExI.4.4
(1). There is a natural isomorphism between the spaces $\scrH\otimes \scrH^*$ and $\scrL(\scrH,\scrK)$ in which the elementary tensor $k\otimes h^*$co...
667 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...
667 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...
761 0

热门文章

最新文章