Jacobi–Stirling numbers, Jacobi polynomials, and the left-definite analysis of the classical Jacobi differential expression

We develop the left-definite analysis associated with the self-adjoint Jacobi operator Ak(α,β), generated from the classical second-order Jacobi differential expressionℓα,β,k[y](t)=1wα,β(t)((-(1-t)α+1(1+t)β+1y′(t))′+k(1-t)α(1+t)βy(t))(t∈(-1,1)),in the Hilbert space Lα,β2(-1,1)≔L2((-1,1);wα,β(t)), where wα,β(t)=(1-t)α(1+t)βwα,β(t)=(1-t)α(1+t)β, that has the Jacobi polynomials {Pm(α,β)}m=0∞ as eigenfunctions; here, α,β>-1α,β>-1 and k   is a fixed, non-negative constant. More specifically, for each n∈Nn∈N, we explicitly determine the unique left-definite Hilbert–Sobolev space Wn,k(α,β)(-1,1) and the corresponding unique left-definite self-adjoint operator Bn,k(α,β) in Wn,k(α,β)(-1,1) associated with the pair (Lα,β2(-1,1),Ak(α,β)). The Jacobi polynomials {Pm(α,β)}m=0∞ form a complete orthogonal set in each left-definite space Wn,k(α,β)(-1,1) and are the eigenfunctions of each Bn,k(α,β). Moreover, in this paper, we explicitly determine the domain of each Bn,k(α,β) as well as each integral power of Ak(α,β). The key to determining these spaces and operators is in finding the explicit Lagrangian symmetric form of the integral composite powers of ℓα,β,k[·]ℓα,β,k[·]. In turn, the key to determining these powers is a double sequence of numbers which we introduce in this paper as the Jacobi–Stirling numbers  . Some properties of these numbers, which in some ways behave like the classical Stirling numbers of the second kind, are established including a remarkable, and yet somewhat mysterious, identity involving these numbers and the eigenvalues of Ak(α,β).