Kramer-type sampling theorems associated with Fredholm integral operators (Q1898064)

The authors deal first with boundary value problems of the form \(\ell (y) = \lambda y\), \(U_j (y) = 0\), \(j = 1,2, \ldots, n\), where \(\ell (y) = \sum^n_{i = 0} p_i(x) y^{(n - i)} (x) \), \(- \infty < a \leq x \leq b < \infty\), is any self-adjoint differential operator, and \(U_j(y) = \sum^n_{i = 1} \alpha_{ij} y^{(i - 1)} (a) + \beta_{ij} y^{(i - 1)} (b)\) are \(n\) linearly independent forms in \(y^{ (i - 1)} (a)\), \(y^{(i - 1)} (b)\), \(i = 1,2, \dots, n\). By using the Green function associated to the problem, the differential case is reduced to an integral equation of Fredholm type, say \(y(x) = \lambda \int^b_a G(x,t) y(t) dt\). Then a more general integral equation is dealt with, in view of obtaining expansions of certain functions in terms of the spectral elements of the kernel. More precisely, if \(F(\lambda) = \int^b_a f(x) \Psi (x, \lambda) dx\), with \(f \in L^2\), where the function \(\Psi (x, \lambda)\) is defined by means of the kernel of the Fredholm equation, then \(F (\lambda) = \sum^\infty_{k = 1} F (\lambda_k) {\omega (\lambda) \over (\lambda - \lambda_k) \omega' (\lambda_k)}\), where \(\omega (\lambda) = \prod^\infty_{k = 1} (1 - {\lambda \over \lambda_k})\), if \(\sum^\infty_{k = 1} {1 \over \lambda_k} < \infty\), and \(\omega (\lambda) = \prod^\infty_{k = 1} (1 - {\lambda \over \lambda_k}) \exp (\lambda/ \lambda_k)\), otherwise, and the convergence is uniform in any compact subset of the complex \(\lambda-\)plane. What the authors call ``Kramer sampling theorems'' constitute generalizations of the classical Hilbert-Schmidt theorem.