Wednesday 31 July 2019

functional analysis - Is the nuclear norm equal to the Hilbert-Schmidt norm for a particular operator?



Suppose that $\varphi,\gamma\in L^2([0,1],\mathbb C)$ and define the operator $\varphi\otimes\gamma:L^2([0,1],\mathbb C)\to L^2([0,1],\mathbb C)$ by setting $\varphi\otimes\gamma=\langle\cdot,\gamma\rangle\varphi$. This is an integral operator with the kernel given by $\varphi(x)\overline\gamma(y)$ for each $x,y\in [0,1]$. Hence, the Hilbert-Schmidt norm of this operator is given by

$$
\|\varphi\otimes\gamma\|_{HS}=\biggl(\int_0^1\int_0^1|\varphi(x)\overline\gamma(y)|^2dxdy\biggr)^{1/2}=\|\varphi\|\|\gamma\|.
$$
I want to find the singular values of this operator so that I can obtain the nuclear norm. Since the adjoint of $\varphi\otimes\gamma$ is given by $\gamma\otimes\varphi$, we have that
$$
(\varphi\otimes\gamma)^*(\varphi\otimes\gamma)(f)=\langle f,\gamma\rangle\|\varphi\|^2\gamma
$$
and if we set $f=\gamma/\|\gamma\|$, we obtain
$$
(\varphi\otimes\gamma)^*(\varphi\otimes\gamma)(\gamma\|\gamma\|)=\|\varphi\|^2\|\gamma\|^2\gamma/\|\gamma\|.

$$
The composition of operators $(\varphi\otimes\gamma)^*(\varphi\otimes\gamma)$ has one non-zero eigenfunction $\gamma/\|\gamma\|$ with the corresponding eigenvalue $\|\varphi\|^2\|\gamma\|^2$. Hence, the operator $\varphi\otimes\gamma$ has one non-zero singular value given by $\|\varphi\|\|\gamma\|$ and the nuclear norm of $\varphi\otimes\gamma$ is equal to $\|\varphi\|\|\gamma\|$, which is also the Hilbert-Schmidt of this operator.



Are my calculations correct? Does the composition of operators $(\varphi\otimes\gamma)^*(\varphi\otimes\gamma)$ have only one non-zero eigenfunction and the corresponding non-zero eigenvalue? Are the Hilbert-Schmidt and the nuclear norms really equal for this operator?



Any help is much appreciated!


Answer



Yes. The operators $T=(\varphi\otimes\gamma)^*(\varphi\otimes\gamma) $ you are looking at, are rank one and positive. Concretely, you have that your operator is
$$
Tf=\|\varphi\|^2\,\langle f,\gamma\rangle\,\gamma={\|\varphi\|^2}{\|\gamma\|^2}\,\langle f,\gamma'\rangle\,\gamma',

$$
where $\gamma'=\gamma/\|\gamma\|$.
Written this way, $T$ is a scalar multiple of the projection operator onto the span of $\gamma$. So its spectrum consists of $0$ and $\|\varphi\|^2\|\gamma\|^2$. So, for the HS norm,
$$
\|\varphi\otimes\gamma\|_{\rm HS}^2=\text{Tr}\,((\varphi\otimes\gamma)^*(\varphi\otimes\gamma))^{1/2}=(0+\|\varphi\|^2\|\gamma\|^2)^{1/2}=\|\varphi\|\,\|\gamma\|.
$$
For the operator norm,
$$
\|\varphi\otimes\gamma\|=\|(\varphi\otimes\gamma)^*(\varphi\otimes\gamma)\|^{1/2}=\|\varphi\|\|\gamma\|.
$$



No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...