Abstract:Kernel theorems, in general, provide a convenient representation of bounded linear operators. For the operator acting on a concrete function space, this means that its action on any element of the space can be expressed as a generalised integral operator, in a way reminiscent of the matrix representation of linear operators acting on finite dimensional vector spaces. We prove kernel theorems for bounded linear operators acting on co-orbit spaces associated with localised frames. Our two main results consist in characterising the spaces of operators whose generalised integral kernels belong to the co-orbit spaces of test functions and distributions associated with the tensor product of the localised frames respectively. Moreover, using a version of Schur's test, we establish a characterisation of the bounded linear operators between some specific co-orbit spaces.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the kernel theorem of bounded linear operators on co - orbit spaces for local frame generation. Specifically, the goal of the paper is to prove that for bounded linear operators on these co - orbit spaces, they can be represented as generalized integral operators, thus providing a convenient representation method. This is similar to the way matrices represent linear operators on finite - dimensional vector spaces.
The main contributions of the paper are as follows:
1. **Outer Kernel Theorem**: For a bounded linear operator \(O\) from \(H^1_{w_1}(\Psi_1)\) to \(H^\infty_{1/w_2}(\Psi_2)\), there exists a unique kernel \(K\in H^{\infty,\infty}_{1/(w_1\otimes w_2)}(\Psi_1\otimes\Psi_2)\) such that for all \(f_1\in H^1_{w_1}(\Psi_1)\) and \(f_2\in H^1_{w_2}(\Psi_2)\), we have
\[
\langle Of_1, f_2\rangle_{H^\infty_{1/w_2}(\Psi_2), H^1_{w_2}(\Psi_2)}=\langle K, f_1\otimes f_2\rangle_{H^{\infty,\infty}_{1/(w_1\otimes w_2)}(\Psi_1\otimes\Psi_2), H^{1,1}_{w_1\otimes w_2}(\Psi_1\otimes\Psi_2)}
\]
2. **Inner Kernel Theorem**: An isomorphism is defined that maps the kernel \(H^{1,1}_{w_1\otimes w_2}(\Psi_1\otimes\Psi_2)\) to the space
\[
B:=\left\{O\in B\left(H^\infty_{1/w_1}(\Psi_1), H^1_{w_2}(\Psi_2)\right): \text{there exist } f_r\in H^1_{w_1}(\Psi_1), g_r\in H^1_{w_2}(\Psi_2) \text{ such that } O = \sum_{r\in R}\langle\cdot, f_r\rangle_{H^\infty_{1/w_1}(\Psi_1), H^1_{w_1}(\Psi_1)}g_r \text{ and } \sum_{r\in R}\| f_r\|_{H^1_{w_1}(\Psi_1)}\| g_r\|_{H^1_{w_1}(\Psi_1)}<\infty\right\}
\]
Through these results, the paper shows how to prove the kernel theorem without relying on group structure and the corresponding representation theory, further expanding the existing theoretical framework. In addition, the paper also applies the Schur test to characterize the kernels of bounded operators from \(H^1_{w_1}(\Psi_1)\) to \(H^p_{w_2}(\Psi_2)\) and from \(H^p_{w_1}(\Psi_1)\) to \(H^\infty_{w_2}(\Psi_2)\).