Identities and inequalities concerning orthogonal polynomials and Bessel functions (Q2649894)

In prosecuzione di precedenti ricerche di \textit{G. Szegö} [Bull. Am. Math. Soc. 54, 401--405 (1948; Zbl 0032.27502)], \textit{G. Sansone} [Boll. Unione Mat. Ital., III. Ser. 4, 221--223 (1949; Zbl 0034.19003)], \textit{ L. Merli} [Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat. 10, 371--374 (1951; Zbl 0042.30502)] e di \textit{O. Szász} [Proc. Am. Math. Soc. 1, 256--267 (1950; Zbl 0037.33002)] questo A. prova che se \(F_n(x) = P_n^\lambda (x)/ P_n^\lambda (1)\) (dove \(P_n^\lambda\) indica 1'n-esimo polinomio ultrasferico), se \(g_n^\alpha (x) = L_n^\alpha (x)/L_n^\alpha(0)\) (dove \(L_n^\alpha (x)\) indica l'\(n\)-esimo polinomio di Laguerre), se \(H_n(x)\) indica l'\(n\)-esimo polinomio di Hermite, se, infine, \(\Lambda_\mu(t) = (2/t)^\mu \Gamma(\mu+1) J_\mu(t)\) (dove \(J_\mu\) e la funzione di Bessel di ordine \(\mu > -1)\), valgono allora le disuguaglianze \[ [F_n(x)]^2 - F_{n-1}(x)F_{n+1}(x) > 0, \quad\text{per } -1 < x < 1,\ \lambda> 0; \] \[ [g_n^\alpha(x)]^2 - g_{n-1}^\alpha(x)g_{n+1}^\alpha(x) > 0, \quad\text{per } x> 0; \] \[ H_n^2(x) - H_{n-1}(x)H_{n+1}(x) > 0; \quad \Lambda_\mu^2 (t) - \Lambda_{\mu-1}(t) \Lambda_{\mu+1}(t) > 0, \quad\text{per } t > 0, \mu > 0. \]