(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

Let K be a Hilbert-Schmidt kernel which is real and symmetric. Then, as we saw, the

operator T whose kernel is K is compact and symmetric. Let [tex]\varphi_k(x)[/tex] be the eigenvectors (with eigenvalues [tex]\lambda_k[/tex]) that diagonalize T . Then:

a. [tex]K(x,y) \sim \sum_k \lambda_k \varphi_k(x) \varphi_k(y)[/tex] is the expansion of K in the basis [tex]\{ \varphi_{k,j} \}[/tex], and

b. Suppose T is a compact operator which is symmetric. Then T is of Hilbert-Schmidt type if and only if [tex]\sum_k |\lambda_k|^2 < +\infty[/tex], where [tex]\{ \lambda_k \}[/tex] are the eigenvalues of T counted according to their multiplicities.

2. Relevant equations

A Hilbert-Schmidt operator is an operator of the form [tex]T(f)(x) = \int_{\mathbb{R}^d} K(x,y) f(y) dy[/tex], where K(x,y) is in [tex]L^2(\mathbb{R}^d)[/tex].

An earlier problem that I have already done was prove that given [tex]\{\varphi_k\}_{k=1}^{\infty}[/tex] as an orthonormal basis for [tex]L^2(\mathbb{R}^d)[/tex], the set [tex]\{ \varphi_{k,j} \}[/tex], where [tex]\varphi_{k,j}(x,y):=\varphi_k(x) \varphi_j(y)[/tex], is an orthonormal basis for [tex]L^2(\mathbb{R}^d \times \mathbb{R}^d)[/tex].

Diagonalize in this context means the eigenvectors of the compact operator T which serves as a basis for [tex]L^2(\mathbb{R}^d)[/tex], whose existence is guaranteed by the spectral theorem.

Symmetric here means self-adjoint.

3. The attempt at a solution

There was a previous part of the problem which I've already solved which was that [tex]\sum_k |\lambda_k|^2 < +\infty[/tex]. Therefore, I've got half of the solution to part c. However, I'm not sure how to prove either of the statements, nor can I even find a way to proceed.

What should be the biggest step for part a. would be to write [tex]\int K(x,y) \varphi_k(y) dy = \lambda_k \varphi_k(x)\, \forall x\in \mathbb{R}^d[/tex], and to somehow extract K(x,y) out of this. However, I don't see how one could do this... it's rather attached to the integral, and I don't know any more expressions in which to start out with K.

As I said, I'm really not sure how to proceed on either of these. I would really appreciate a clue to get me started though. Thanks.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Hilbert-Schmidt Operators

**Physics Forums | Science Articles, Homework Help, Discussion**