In this note, we prove a generalization of a theorem of Morrison ( Notices Amer. Math. Soc. 1962, 119) which states that the only real finite symmetric convolution integral operator K in L 2[−1, 1] with kernel ϱ analytic about the origin, which admits a second order, singular symmetric differential operator in its commutator is (aside from a trivial scaling) given by Kφ( x) = ∝ −1 +1 ϱ( x − y) φ( y) dy, φ ϵ L 2[−1, 1], with ϱ(x) = Ω 2 sinh Ω 1x Ω 1 sinh Ω 2x , −2 ⩽ x ⩽ 2 , where Ω 1 and Ω 2 are either real or pure imaginary. If either Ω 1, or Ω 2 = 0 , one takes the appropriate limit. The associated commuting differential operator is L = d dx a(x) d dx + b(x) , with a(x) = 1 − sinh 2 Ω 2x sinh 2Ω 2 and b(x) = (Ω 1 2 − Ω 2 2) a(x) + Ω 3 . Here Ω 3 is an arbitrary real constant. Our result states that this remains true, under the relaxed assumptions that ϱ is C 2, with 0 as a non-degenerate critical point, and a( x) and b( x) are C 1 and C 0, respectively. Thus under a mild smoothness and non-degeneracy hypothesis, the only examples are those in which K is a time-and-band limiting operator and L is the operator originally found by Landau, Pollak, and Slepian.
Read full abstract