Identities involving Bessel polynomials arising from linear differential equations

Taekyun Kim,Dae san Kim
DOI: https://doi.org/10.48550/arXiv.1602.04106
2016-02-13
Abstract:In this paper, we study linear differential equations arising from Bessel polynomials and their applications. From these linear differential equations, we give some new and explicit identities for Bessel polynomials.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to derive some new and explicit identities of Bessel polynomials by studying the linear differential equations related to Bessel polynomials. Specifically, the author aims to explore the linear differential equations generated by Carlitz reverse Bessel polynomials and discover new relationships and properties of Bessel polynomials from them. ### Main content of the paper 1. **Background introduction**: - Introduced the Bessel differential equation and its solutions (Bessel functions), as well as the definition and related properties of Bessel polynomials. - Mentioned the definition of Bessel polynomials and some common representations, such as series expansion and integral representation. - Introduced Carlitz reverse Bessel polynomials and gave their generating functions. 2. **Research methods**: - Studied the high - order derivative \(F^{(N)}(t, x)\) of the function \(F(t, x)=e^{x}(1 - \sqrt{1 - 2t})\) generated by Carlitz reverse Bessel polynomials. - Derived the general form of \(F^{(N)}(t, x)\) and obtained a series of identities about Bessel polynomials by comparing coefficients. 3. **Main results**: - Obtained an important theorem that describes the expression of \(F^{(N)}(t, x)\), which contains the coefficients \(a_{i}(N, x)\) about Bessel polynomials. - By relating \(F^{(N)}(t, x)\) to the generating function of Bessel polynomials, new identities between Bessel polynomials were derived. 4. **Applications and significance**: - These newly discovered identities not only enrich the theoretical system of Bessel polynomials but also provide new tools and methods for solving other related problems. - Especially in the study of special functions, these identities may help simplify some complex calculations. ### Key formulas - Definition of Bessel polynomials: \[ y_{n}(x)=\sum_{k = 0}^{n}\frac{(n + k)!}{(n - k)!k!}\left(\frac{x}{2}\right)^{k} \] - Generating function of Carlitz reverse Bessel polynomials: \[ F(t, x)=e^{x}(1 - \sqrt{1 - 2t})=\sum_{n = 0}^{\infty}p_{n}(x)\frac{t^{n}}{n!} \] - Expression of \(F^{(N)}(t, x)\): \[ F^{(N)}(t, x)=\left(\sum_{i = N}^{2N - 1}a_{i - N}(N, x)(1 - 2t)^{-\frac{i}{2}}\right)F(t, x) \] - Identity about Bessel polynomials: \[ p_{k + N}(x)=\sum_{i = N}^{2N - 1}a_{i - N}(N, x)\sum_{l = 0}^{k}\binom{k}{l}2^{l}\left(\frac{i}{2}+l - 1\right)_{l}p_{k - l}(x) \] where \((x)_{n}\) represents the falling factorial power, that is \((x)_{n}=x(x - 1)(x - 2)\cdots(x - n + 1)\). Through these formulas and derivations, the author successfully discovered some new and explicit identities between Bessel polynomials, providing valuable references for subsequent research.