Schmidt representation of bilinear operators on Hilbert spaces (Q2076527)

In this paper the authors define the Schmidt representation for bilinear operators \(T:H_1\times H_2\to K\), where \(H_1,H_2\) and \(K\) are separable real Hilbert spaces. It is also introduced the concept of singular value and ordered singular value and it is shown that if \(T:H_1 \times H_2 \to K\) is a\ compact bilinear operator that has a sequence of ordered singular values, such that their respective ordered singulars vectors form an orthonormal sequence of vectors, then \(T\) has a Schmidt representation. It is also shown that the hypothesis of existence of ordered singular values is fundamental, namely: Theorem: Suppose that \(T\in Bil(H_1 \times H_2 , K)\) has a monotone Schmidt representation given by \[ T(x, y):=\sum_{i=1}^\infty \tau_i(x, x_i)\langle y, y_i\rangle z_i, \] where \((\tau_i)\in c_0\) and \((x_i)_i\), \((y_i)_i\) and \((z_i)_i\) are orthonormal sets of \(H_1\), \(H_2\) and \(K\), respectively. We have that \(T\in Bil(H_1 \times H_2 , K)\) is compact and the sequence \((\tau_i)\) is a sequence of ordered singular values of \(T\).