The Bessel polynomial may also be defined using Bessel functions from which the polynomial draws its name.
where Kn(x) is a modified Bessel function of the second kind, yn(x) is the ordinary polynomial, and θn(x) is the reverse polynomial .4: 7, 34 For example:5
The Bessel polynomial may also be defined as a confluent hypergeometric function6: 8
A similar expression holds true for the generalized Bessel polynomials (see below):7: 35
The reverse Bessel polynomial may be defined as a generalized Laguerre polynomial:
from which it follows that it may also be defined as a hypergeometric function:
where (−2n)n is the Pochhammer symbol (rising factorial).
The Bessel polynomials, with index shifted, have the generating function
Differentiating with respect to t {\displaystyle t} , cancelling x {\displaystyle x} , yields the generating function for the polynomials { θ n } n ≥ 0 {\displaystyle \{\theta _{n}\}_{n\geq 0}}
Similar generating function exists for the y n {\displaystyle y_{n}} polynomials as well:8: 106
Upon setting t = z − x z 2 / 2 {\displaystyle t=z-xz^{2}/2} , one has the following representation for the exponential function:9: 107
The Bessel polynomial may also be defined by a recursion formula:
and
The Bessel polynomial obeys the following differential equation:
The Bessel polynomials are orthogonal with respect to the weight e − 2 / x {\displaystyle e^{-2/x}} integrated over the unit circle of the complex plane.10: 104 In other words, if n ≠ m {\displaystyle n\neq m} ,
∫ 0 2 π y n ( e i θ ) y m ( e i θ ) i e i θ d θ = 0 {\displaystyle \int _{0}^{2\pi }y_{n}\left(e^{i\theta }\right)y_{m}\left(e^{i\theta }\right)ie^{i\theta }\mathrm {d} \theta =0}
A generalization of the Bessel polynomials have been suggested in literature, as following:
the corresponding reverse polynomials are
The explicit coefficients of the y n ( x ; α , β ) {\displaystyle y_{n}(x;\alpha ,\beta )} polynomials are:11: 108
Consequently, the θ n ( x ; α , β ) {\displaystyle \theta _{n}(x;\alpha ,\beta )} polynomials can explicitly be written as follows:
For the weighting function
they are orthogonal, for the relation
holds for m ≠ n and c a curve surrounding the 0 point.
They specialize to the Bessel polynomials for α = β = 2, in which situation ρ(x) = exp(−2/x).
Powers of x {\displaystyle x} are expressed in terms of the generalized Bessel polynomials from the inverse connection formulae which have applications in change of basis to these polynomials.12
where α ( n , k , α , β ) = ( n k ) ( − 1 ) k β n ( 2 ( n − k ) + α − 1 ) ( n − k + α − 1 ) n + 1 {\displaystyle \alpha (n,k,\alpha ,\beta )={n \choose k}{\frac {(-1)^{k}\beta ^{n}(2(n-k)+\alpha -1)}{(n-k+\alpha -1)_{n+1}}}} and n ≥ 0 {\displaystyle n\geq 0} .
Similarly, for the reverse generalized Bessel polynomials
where α 1 ( n , k , α , β ) = ( − 1 ) k ( n k ) β k ( n + α − 1 ) ( n + α − 2 k ) k − 1 {\displaystyle \alpha _{1}(n,k,\alpha ,\beta )=(-1)^{k}{\frac {n \choose k}{\beta ^{k}}}(n+\alpha -1)(n+\alpha -2k)_{k-1}} and n ≥ 0 {\displaystyle n\geq 0} .
The Rodrigues formula for the Bessel polynomials as particular solutions of the above differential equation is :
where a(α, β)n are normalization coefficients.
According to this generalization we have the following generalized differential equation for associated Bessel polynomials:
where 0 ≤ m ≤ n {\displaystyle 0\leq m\leq n} . The solutions are,
If one denotes the zeros of y n ( x ; α , β ) {\displaystyle y_{n}(x;\alpha ,\beta )} as α k ( n ) ( α , β ) {\displaystyle \alpha _{k}^{(n)}(\alpha ,\beta )} , and that of the θ n ( x ; α , β ) {\displaystyle \theta _{n}(x;\alpha ,\beta )} by β k ( n ) ( α , β ) {\displaystyle \beta _{k}^{(n)}(\alpha ,\beta )} , then the following estimates exist:13: 82
for all α ≥ 2 {\displaystyle \alpha \geq 2} . Moreover, all these zeros have negative real part.
Sharper results can be said if one resorts to more powerful theorems regarding the estimates of zeros of polynomials (more concretely, the Parabola Theorem of Saff and Varga, or differential equations techniques).14: 88 15 One result is the following:16
The Bessel polynomials y n ( x ) {\displaystyle y_{n}(x)} up to n = 5 {\displaystyle n=5} are17
No Bessel polynomial can be factored into lower degree polynomials with rational coefficients.18 The reverse Bessel polynomials are obtained by reversing the coefficients. Equivalently, θ k ( x ) = x k y k ( 1 / x ) {\textstyle \theta _{k}(x)=x^{k}y_{k}(1/x)} . This results in the following:
Krall, H. L.; Frink, O. (1948). "A New Class of Orthogonal Polynomials: The Bessel Polynomials". Trans. Amer. Math. Soc. 65 (1): 100–115. doi:10.2307/1990516. https://doi.org/10.2307%2F1990516 ↩
Grosswald, E. (1978). Bessel Polynomials (Lecture Notes in Mathematics). New York: Springer. ISBN 978-0-387-09104-4. 978-0-387-09104-4 ↩
Berg, Christian; Vignat, Christophe (2008). "Linearization coefficients of Bessel polynomials and properties of Student-t distributions" (PDF). Constructive Approximation. 27: 15–32. doi:10.1007/s00365-006-0643-6. Retrieved 2006-08-16. http://www.math.ku.dk/~berg/manus/bessel.pdf ↩
Wolfram Alpha example http://www.wolframalpha.com/input/?i=15x^3%2B15x^2%2B6x%2B1%3D%3DSqrt%5B2%2F%28Pi+x%29%5D+Exp%5B1%2Fx%5D+BesselK%5B3.5%2C+1%2Fx%5D ↩
Dita, Petre; Grama, Nicolae (May 14, 1997). "On Adomian's Decomposition Method for Solving Differential Equations". arXiv:solv-int/9705008. /wiki/ArXiv_(identifier) ↩
Wolfram, D.A. (2024). "Inverse connection formulae for generalised Bessel polynomials". Bulletin of the Australian Mathematical Society. 110 (3): 480–487. doi:10.1017/S0004972724000285. /wiki/Doi_(identifier) ↩
Saff, E. B.; Varga, R. S. (1976). "Zero-free parabolic regions for sequences of polynomials". SIAM J. Math. Anal. 7 (3): 344–357. doi:10.1137/0507028. /wiki/Doi_(identifier) ↩
de Bruin, M. G.; Saff, E. B.; Varga, R. S. (1981). "On the zeros of generalized Bessel polynomials. I". Indag. Math. 84 (1): 1–13. ↩
*Sloane, N. J. A. (ed.). "Sequence A001498 (Triangle a(n,k) (n >= 0, 0 <= k <= n) of coefficients of Bessel polynomials y_n(x) (exponents in increasing order).)". The On-Line Encyclopedia of Integer Sequences. OEIS Foundation. /wiki/Neil_Sloane ↩
Filaseta, Michael; Trifinov, Ognian (August 2, 2002). "The Irreducibility of the Bessel Polynomials". Journal für die Reine und Angewandte Mathematik. 2002 (550): 125–140. CiteSeerX 10.1.1.6.9538. doi:10.1515/crll.2002.069. /wiki/CiteSeerX_(identifier) ↩