Generalized Solutions of Ordinary Differential Equations Related to the Chebyshev Polynomial of the Second Kind

Abstract

In this work, we employed the Laplace transform of right-sided distributions in conjunction with the power series method to obtain distributional solutions to the modified Bessel equation and its related equation, whose coefficients contain the parameters $\nu$ and $\gamma$. We demonstrated that the solutions can be expressed as finite linear combinations of the Dirac delta function and its derivatives, with the specific form depending on the values of $\nu$ and $\gamma$.

1. Introduction

In the framework of generalized functions, Kanwal [1] classified solution types of homogeneous linear ordinary differential equations (ODEs) of the form

$$\sum _{n=0}^m{a}_n\left(t\right)y^{\left(n\right)}\left(t\right)=0,$$

(1)

where the coefficient $a_n\left(t\right)$ is an infinitely smooth function for each n and $t\in \mathbb{R}$. A solution $y\left(t\right)$ to Equation (1) can be classified by type as follows:

(i)

The solution $y\left(t\right)$ is a classical solution if it is sufficiently smooth for differentiation to be performed in the usual sense in Equation (1) and the resulting equation is an identity.

(ii)

The solution $y\left(t\right)$ is a weak solution if it is not sufficiently smooth, meaning that differentiation in Equation (1) cannot be performed in the usual sense; however, it is a regular distribution that satisfies Equation (1) in the sense of distribution.

(iii)

The solution $y\left(t\right)$ is a distributional solution if it is a singular distribution and satisfies Equation (1) in the sense of distribution.

These are referred to as generalized solutions.

The only generalized solution in the sense of distribution for normal homogeneous linear ODEs with infinitely smooth coefficients is the classical solution. Equation (1) with singular coefficients might have a distributional solution. For instance, the distributional solution of the following differential equations is the Dirac delta function, $\delta \left(t\right)$:

$$t{y}^{″}\left(t\right)+2y^{\prime }\left(t\right)+ty\left(t\right)=0;$$

the Bessel equation

$$t^2{y}^{″}\left(t\right)+t{y}^{\prime }\left(t\right)+(t^2-1)y\left(t\right)=0;$$

the confluent hypergeometric equation

$$t{y}^{″}\left(t\right)+(2-t)y^{\prime }\left(t\right)-y\left(t\right)=0;$$

and the second-order Cauchy–Euler equation

$$t^2{y}^{″}\left(t\right)+3t{y}^{\prime }\left(t\right)+y\left(t\right)=0.$$

This can be easily checked by using Formula (17). Furthermore, the distributional solutions of some classes of Cauchy–Euler equations have been studied by many researchers; see [2,3,4,5,6,7,8,9] for more details.

A distributional solution of an ODE is important because it provides a rigorous interpretation of a fundamental solution of a nonhomogeneous linear ODE when the nonhomogeneous term is the Dirac delta function. As the class of generalized functions includes the set of regular distributions, there are many singular distributions, one of which is the Dirac delta function. This calls into question the existence of weak solutions and singular distributions of ODEs with singular coefficients. In particular those singular distributions, which are linear combinations of Dirac delta functions and their derivatives.

$$y\left(t\right)=\sum _{n=0}^m{x}_n{\delta }^{\left(n\right)}\left(t\right).$$

(2)

In 1980, Wiener [10] considered solutions to linear systems of functional differential equations of the form in (2). He established two theorems regarding solutions in the space of finite-order distributions and applied the theorems to some important second-order ODEs. In 1982, Wiener [11] studied the criteria for the existence of $m^{th}$ order distributional solutions, of the form in (2), to differential equations of the following forms:

$$\begin{array}{cc}\hfill \sum _{i=0}^n{a}_i\left(t\right)y^{(n-i)}\left(t\right)& =0,\hfill \\ \hfill \sum _{i=0}^n{t}^i{a}_i\left(t\right)y^{\left(i\right)}\left(t\right)& =0,\hfill \end{array}$$

and

$$t{y}^{\left(n\right)}\left(t\right)+\sum _{i=1}^n{a}_i\left(t\right)y^{(n-i)}\left(t\right)=0.$$

Cooke and Wiener [12] published the existence theorems for distributional and analytic solutions of functional differential equations in 1984. Littlejohn and Kanwal [13] investigated the distributional solutions of the hypergeometric differential equation, which has solutions of the form in (8). Wiener and Cooke [14] showed the necessary and sufficient conditions for the simultaneous existence of rational functions and solutions (2) to linear ODEs in 1990.

In 1999, Kananthai [2] considered generalized solutions of the third-order Cauchy–Euler equation of the form

$$t^3{y}^{‴}\left(t\right)+t^2{y}^{″}\left(t\right)+t{y}^{\prime }\left(t\right)+my\left(t\right)=0,$$

(3)

where m represents some integers and $t\in \mathbb{R}$. Generalized solutions of (3) are either distributional solutions or weak solutions, depending on the values of m.

In 2015, Nonlaopon et al. [3] studied generalized solutions of certain $n^{th}$-order differential equations with polynomial coefficients of the form

$$t{y}^{\left(n\right)}\left(t\right)+m{y}^{(n-1)}\left(t\right)+t{y}^{\prime }\left(t\right)+ty\left(t\right)=0,$$

(4)

where m and n are any integers with $n\ge 2$ and $t\in \mathbb{R}$.

In 2019, Jhanthanam et al. [8] examined the generalized solution of the third-order Cauchy–Euler equation in the space of right-sided distributions via the Laplace transform of the form

$$t^3{y}^{‴}\left(t\right)+a{t}^2{y}^{″}\left(t\right)+bt{y}^{\prime }\left(t\right)+cy\left(t\right)=0,$$

(5)

where $a, b,$ and $c\in \mathbb{Z}$ and $t\in \mathbb{R}$. The authors studied the type of solution in the space of right-sided distributions, and they found that it depended on the values of $a, b$, and c.

In 2020, Waiyaworn et al. [15] studied the distributional solutions of linear ODEs of the forms

$$t^2{y}^{″}\left(t\right)+2t{y}^{\prime }\left(t\right)-[t^2+\nu (\nu +1)]y\left(t\right)=0$$

(6)

and

$$t^2{y}^{″}\left(t\right)+3t{y}^{\prime }\left(t\right)-(t^2+{\nu }^2-1)y\left(t\right)=0,$$

(7)

where $\nu \in \mathbb{N}\cup \left\{0\right\}$ and $t\in \mathbb{R}$, by using the Laplace transform and power series solution techniques, depending on the values of $\nu$.

The infinite order distributional solution to various differential equations with singular coefficients of the form

$$y\left(t\right)=\sum _{n=0}^{\infty }{x}_n{\delta }^{\left(n\right)}\left(t\right)$$

(8)

has also been explored by many investigators; for additional information, see [12,16,17,18,19,20]. Kanwal [1] provided a short introduction to these ideas as well.

Motivated by the preceding work, we proposed distributional solutions of the following ODEs:

$$t^2{y}^{″}\left(t\right)+t{y}^{\prime }\left(t\right)-[t^2+{(\nu +1)}^2]y\left(t\right)=0$$

(9)

and

$$t^2{y}^{″}\left(t\right)+2(1-\gamma )t{y}^{\prime }\left(t\right)-[t^2+2\gamma +\nu (\nu +2\gamma +1)]y\left(t\right)=0,$$

(10)

where $\nu \in \mathbb{N}\cup \left\{0\right\}$ and $\gamma ,t\in \mathbb{R}$. We used the Laplace transform of right-sided distributions together with the power series method to search for the distributional solutions. We found that our new solutions were finite linear combinations of the Dirac delta function and its derivatives, depending on the values of $\nu$ and $\gamma$.

The remainder of the paper is divided into three parts. We provide related definitions and the lemmas required to derive our major results in Section 2. We prove our main results with supporting examples in Section 3. Finally, we summarize the entire work in Section 4.

2. Preliminaries

In this section, we introduce the fundamental definitions, lemmas, and useful examples that were required for this work.

Definition 1.

The space $\mathcal{D}$ of test functions consists of all real-valued functions $\phi \left(t\right)$, defined on $\mathbb{R}$, having the following properties:

(i)

$\phi \left(t\right)$ is infinitely smooth;

(ii)

$\phi \left(t\right)$ has a compact support where the support of $\phi \left(t\right)$ is the closure of the set of all numbers t such that $\phi \left(t\right)\ne 0$.

Definition 2.

A distribution T is a continuous linear functional on the space $\mathcal{D}$. The space of all such distributions is denoted by ${\mathcal{D}}^{\prime }$.

For every $T\in {\mathcal{D}}^{\prime }$ and $\phi \left(t\right)\in \mathcal{D}$, the value where T acts on $\phi \left(t\right)$ is denoted by $〈T,\phi \left(t\right)〉$. Note that $〈T,\phi \left(t\right)〉\in \mathbb{R}$. Distributions are classified into two groups: regular distributions and singular distributions. A regular distribution is a distribution generated by a locally integrable function. That is, if $f\left(t\right)$ is a locally integrable function, then a regular distribution $T_f$ generated by $f\left(t\right)$ is given by

$$\langle T_f,\phi \left(t\right)\rangle ={\int }_{-\infty }^{\infty }f\left(t\right)\phi \left(t\right)dt\mathrm{for}\mathrm{any}\phi \left(t\right)\in \mathcal{D}.$$

It is customary to use the same symbol, $f\left(t\right)$, for the corresponding distribution, $T_f$. A singular distribution is a distribution that is not a regular distribution.

Example 1.

(i)

The Heaviside function

$$H\left(t\right)=\left\{\begin{array}{cc}1,\hfill & \mathit{if}t>0;\hfill \\ 0,\hfill & \mathit{if}t\le 0.\hfill \end{array}\right.$$

is a regular distribution because it is locally integrable and

$$\langle H\left(t\right),\phi \left(t\right)\rangle ={\int }_0^{\infty }\phi \left(t\right)dt\mathit{for}\mathit{any}\phi \left(t\right)\in \mathcal{D}.$$

(ii)

The Dirac delta function $\delta \left(t\right)$ is a distribution defined by

$$〈\delta \left(t\right),\phi \left(t\right)〉=\phi \left(0\right)\mathit{for}\mathit{any}\phi \left(t\right)\in \mathcal{D}.$$

It is well-known that this can not be generated by any locally integrable function. Thus, it is a singular distribution. Note that its support is $\left\{0\right\}$.

Definition 3.

The $k^{th}$-order derivative of a distribution T, denoted by $T^{\left(k\right)}$, is defined by $〈T^{\left(k\right)},\phi \left(t\right)〉={(-1)}^k〈T,{\phi }^{\left(k\right)}\left(t\right)〉$ for all $\phi \left(t\right)\in \mathcal{D}$.

A simple illustration is the first order derivative of the Dirac delta function, ${\delta }^{\prime }\left(t\right)$, which is defined by $〈{\delta }^{\prime }\left(t\right),\phi \left(t\right)〉=-〈\delta \left(t\right),{\phi }^{\prime }\left(t\right)〉=-{\phi }^{\prime }\left(0\right)$, whereas the $k^{th}$-order of the Dirac delta function, ${\delta }^{\left(k\right)}\left(t\right)$, is $〈{\delta }^{\left(k\right)}\left(t\right),\phi \left(t\right)〉={(-1)}^k〈\delta \left(t\right),{\phi }^{\left(k\right)}\left(t\right)〉={(-1)}^k{\phi }^{\left(k\right)}\left(0\right)$.

Example 2.

In the sense of distribution, $H^{\prime }\left(t\right)=\delta \left(t\right)$ because for any $\phi \left(t\right)\in \mathcal{D}$, we have

$$\langle H^{\prime }\left(t\right),\phi \left(t\right)\rangle =-\langle H\left(t\right),{\phi }^{\prime }\left(t\right)\rangle =\phi \left(0\right)=\langle \delta ,\phi \left(t\right)\rangle .$$

Definition 4.

Let $\alpha \left(t\right)$ be an infinitely differentiable function. We define the product of $\alpha \left(t\right)$ with any distribution T in ${\mathcal{D}}^{\prime }$ by $〈\alpha \left(t\right)T,\phi \left(t\right)〉=〈T,\alpha \left(t\right)\phi \left(t\right)〉$, for all $\phi \left(t\right)\in \mathcal{D}$. We should note that $\alpha \left(t\right)\phi \left(t\right)\in \mathcal{D}$ if $\phi \left(t\right)\in \mathcal{D}$.

Definition 5.

Let $y\left(t\right)$ be a singular distribution that satisfies the equation

$$\sum _{m=0}^n{a}_m\left(t\right)y^{\left(n\right)}\left(t\right)=f\left(t\right)$$

(11)

in the sense of distribution, where $a_m\left(t\right)$ is an infinitely differentiable function for each $m=0,1,\cdots ,n$ and $f\left(t\right)$ is an arbitrary known distribution. Function $y\left(t\right)$ is called a distributional solution of Equation (11).

Definition 6.

Let $M\in \mathbb{R}$ and $f\left(t\right)$ be a locally integrable function satisfying the following conditions:

(i)

$f\left(t\right)=0$ for all $t<M$;

(ii)

There exists a real number, c, such that $e^{-ct}f\left(t\right)$ is absolutely integrable over $\mathbb{R}$.

The Laplace transform of $f\left(t\right)$ is defined by

$$F\left(s\right)=\mathcal{L}\left\{f\left(t\right)\right\}={\int }_M^{\infty }f\left(t\right)e^{-st}dt,$$

(12)

where s is a complex variable.

It is well known that if $f\left(t\right)$ is continuous then $F\left(s\right)$ is an analytic function on the half-plane $\Re \left(s\right)>{\sigma }_a$, where ${\sigma }_a$ is an abscissa of absolute convergence for $\mathcal{L}\left\{f\left(t\right)\right\}$.

Recall that the Laplace transform, $G\left(s\right)$, of a locally integrable function, $g\left(t\right)$, satisfies the conditions of Definition 6, that is,

$${\displaystyle G\left(s\right)=\mathcal{L}\left\{g\left(t\right)\right\}={\int }_M^{\infty }g\left(t\right)e^{-st}dt,}$$

(13)

where $\Re \left(s\right)>{\sigma }_a$. Then, $G\left(s\right)$ can be written in the form $G\left(s\right)=〈g\left(t\right),e^{-st}〉$.

Definition 7.

The space S of test functions of rapid decay consists of all complex-valued functions, $\phi \left(t\right)$, defined on $\mathbb{R}$, that have the following properties:

(i)

$\phi \left(t\right)$ is infinitely smooth;

(ii)

$\phi \left(t\right)$, together with their derivatives of all orders, decrease to zero faster than every power of $\left|t\right|$, i.e., they satisfy the inequality

$$|t^p{\varphi }^{\left(k\right)}\left(t\right)|<C_{pk},$$

where $C_{pk}$ is a constant that depends on non-negative integers $p,k$, and $\phi \left(t\right)$;

(iii)

$\phi \left(t\right)$ satisfies

$${\parallel \phi \parallel }_{p,k}=\underset{t\in \mathbb{R}}{sup}\left|t^p{\phi }^{\left(k\right)}\left(t\right)\right|<+\infty ,$$

where ${\parallel ·\parallel }_{p,k}$ is a collection of seminorms.

Definition 8.

A distribution of slow growth, or a tempered distribution T, is a continuous and linear functional over the space S. That is, the complex number, denoted by $\langle T,\phi \left(t\right)\rangle$, that T assigns to each test function of rapid decay, $\phi \left(t\right)$, has the following properties:

(i)

For every ${\phi }_1,{\phi }_2\in S$ and constants $c_1,c_2$,

$$\langle T,c_1{\phi }_1\left(t\right)+c_2{\phi }_2\left(t\right)\rangle =c_1\langle T,{\phi }_1\left(t\right)\rangle +c_2\langle T,{\phi }_2\left(t\right)\rangle ;$$

(ii)

For every null sequence $\left\{{\phi }_m\left(t\right)\right\}\subset S$,

$$\underset{m\to \infty }{lim}〈T,{\phi }_m\left(t\right)〉=0.$$

The set of all tempered distributions is denoted by $S^{{}^{\prime }}$.

Definition 9.

Let $f\left(t\right)$ be a distribution satisfying the following properties:

(i)

$f\left(t\right)$ is a right-sided distribution, that is, $f\left(t\right)\in {\mathcal{D}}_R^{\prime }$;

(ii)

There exists a real number, c, such that $e^{-ct}f\left(t\right)$ is a tempered distribution.

The Laplace transform of a right-sided distribution $f\left(t\right)$ satisfying (ii) is defined by

$$F\left(s\right)=\mathcal{L}\left\{f\left(t\right)\right\}=〈e^{-ct}f\left(t\right),X\left(t\right)e^{-(s-c)t}〉,$$

(14)

where $X\left(t\right)$ is an infinitely differentiable function with a support bounded on the left, which equals 1 over a neighbourhood of the support of $f\left(t\right)$.

For $\Re \left(s\right)>c,$ the function $X\left(t\right)e^{-(s-c)t}$ is a testing function in the space S and $e^{-ct}f\left(t\right)$ is in the space $S^{\prime }$. Then, the Laplace transform (14) can be reduced to

$$F\left(s\right)=\mathcal{L}\left\{f\left(t\right)\right\}=〈f\left(t\right),e^{-st}〉.$$

(15)

Now, $F\left(s\right)$ is a function of s defined over the right half-plane $\Re \left(s\right)>c$. Zemanian [21] proved that $F\left(s\right)$ is an analytic function in the region of convergence $\Re \left(s\right)>{\sigma }_1$, where ${\sigma }_1$ is the abscissa of convergence and $e^{-ct}f\left(t\right)\in S^{\prime }$ for some real number $c>{\sigma }_1$.

Lemma 1.

Let $f\left(t\right)$ be a Laplace-transformable distribution in ${\mathcal{D}}_R^{\prime }$. If k is a positive integer then the following hold:

(i)

$\mathcal{L}\{\left(t^{k-1}H\left(t\right)\right)/(k-1)!\}=1/s^k,\Re \left(s\right)>0$;

(ii)

$\mathcal{L}\left\{\delta \left(t\right)\right\}=1,-\infty <\Re \left(s\right)<\infty$;

(iii)

$\mathcal{L}\left\{{\delta }^{\left(k\right)}\left(t\right)\right\}=s^k,-\infty <\Re \left(s\right)<\infty$;

(iv)

$\mathcal{L}\left\{t^{k}f\left(t\right)\right\}={(-1)}^k{F}^{\left(k\right)}\left(s\right),\Re \left(s\right)>{\sigma }_1$;

(v)

$\mathcal{L}\left\{f^{\left(k\right)}\left(t\right)\right\}=s^{k}F\left(s\right),\Re \left(s\right)>{\sigma }_1$.

Lemma 2.

If $\alpha \left(t\right)$ is infinitely differentiable then

$$\alpha \left(t\right){\delta }^{\left(m\right)}\left(t\right)=\sum _{k=0}^m{(-1)}^{m-k}\left(\genfrac{}{}{0pt}{}{m}{k}\right){\alpha }^{(m-k)}\left(0\right){\delta }^{\left(k\right)}\left(t\right).$$

(16)

Applying Lemma 2 (see the proof in [1]) to any monomial $\alpha \left(t\right)=t^n$ with the observation that

$${\left.{\left(t^n\right)}^{(m-k)}\right|}_{t=0}=\left\{\begin{array}{cc}0,\hfill & \mathrm{if}m-k\ne n;\hfill \\ n!,\hfill & \mathrm{if}m-k=n.\hfill \end{array}\right.$$

yields a useful formula:

$$t^n{\delta }^{\left(m\right)}\left(t\right)=\left\{\begin{array}{cc}0,\hfill & \mathrm{if}m<n;\hfill \\ {(-1)}^n\frac{m!}{(m-n)!}{\delta }^{(m-n)}\left(t\right),\hfill & \mathrm{if}m\ge n.\hfill \end{array}\right.$$

(17)

3. Main Results

In this section, we make use of the Laplace transform and the power series method to find distributional solutions of ODEs (9) and (10), as shown in the following Theorems 1 and 2.

Theorem 1.

Consider the modified Bessel equation

$$t^2{y}^{″}\left(t\right)+t{y}^{\prime }\left(t\right)-[t^2+{(\nu +1)}^2]y\left(t\right)=0,$$

(18)

where $\nu \in \mathbb{N}\cup \left\{0\right\}$ and $t\in \mathbb{R}$. The distributional solution of Equation (18) is given by

$$y\left(t\right)=U_{\nu }\left(D\right)\delta \left(t\right),$$

(19)

while

$$U_{\nu }\left(D\right)=\sum _{k=0}^{\lfloor \nu /2\rfloor }{(-1)}^k\frac{2^{\nu -2k}(\nu -k)!}{k!(\nu -2k)!}{D}^{\nu -2k}$$

(20)

is the Chebyshev polynomial, in D, of the second kind, and $D=d/dt$ is the distributional derivative operator.

Proof. 

Let us denote $Y\left(s\right)=\mathcal{L}\left\{y\right(t\left)\right\}$. Appealing to (iv) and (v) of Lemma 1, the Laplace transformation of Equation (18) yields

$$(1-s^2)Y^{″}\left(s\right)-3s{Y}^{\prime }\left(s\right)+\nu (\nu +2)Y\left(s\right)=0.$$

(21)

We assume a solution of Equation (21) takes the form of $Y\left(s\right)={\sum }_{n=0}^{\infty }{a}_n{s}^n$ and calculate the derivatives

$$Y^{\prime }\left(s\right)=\sum _{n=1}^{\infty }n{a}_n{s}^{n-1}\mathrm{and}{Y}^{″}\left(s\right)=\sum _{n=2}^{\infty }n(n-1)a_n{s}^{n-2}.$$

Substituting these forms into Equation (21) gives us

$$\begin{array}{cc}\hfill & \left[2\left(1\right)a_2+\nu (\nu +2)a_0\right]+\left[3\left(2\right)a_3-(3\left(1\right)-\nu (\nu +2))a_1\right]s\hfill \\ \hfill & +\sum _{n=2}^{\infty }\left[(n+2)(n+1)a_{n+2}-n(n-1)a_n-3n{a}_n+\nu (\nu +2)a_n\right]s^n=0.\hfill \end{array}$$

Since $s^n\ne 0$ for all $n\ge 0$, it follows that

$$\begin{array}{c}2a_2+\nu (\nu +2)a_0=0,(3·2)a_3-(3-\nu (\nu +2))a_1=0,\\ (n+2)(n+1)a_{n+2}-[n(n-1)+3n-\nu (\nu +2)]a_n=0,n\ge 2,\end{array}$$

(22)

which can be grouped into a recursion formula

$$a_{n+2}=-\frac{(\nu -n)(\nu +n+2)}{(n+2)(n+1)}{a}_n,n\ge 0.$$

(23)

Calculation of the coefficients from the recurrence relation in (23) leads to the following:

$$\begin{array}{cc}\hfill a_2& =-\frac{\left(\nu \right)(\nu +2)}{2!}{a}_0\hfill \\ \hfill a_4& ={(-1)}^2\frac{(\nu -2)\left(\nu \right)(\nu +2)(\nu +4)}{4!}{a}_0\hfill \\ \hfill & ⋮\hfill \\ \hfill a_{2n}& ={(-1)}^n\frac{(\nu -2n+2)\cdots (\nu -2)\left(\nu \right)(\nu +2)(\nu +4)\cdots (\nu +2n)}{\left(2n\right)!}{a}_0.\hfill \end{array}$$

Similarly,

$$\begin{array}{cc}\hfill a_3& =-\frac{(\nu -1)(\nu +3)}{3!}{a}_1\hfill \\ \hfill a_5& ={(-1)}^2\frac{(\nu -3)(\nu -1)(\nu +3)(\nu +5)}{5!}{a}_1\hfill \\ \hfill & ⋮\hfill \\ \hfill a_{2n+1}& ={(-1)}^n\frac{(\nu -2n+1)\cdots (\nu -3)(\nu -1)(\nu +3)(\nu +5)\cdots (\nu +2n+1)}{(2n+1)!}{a}_1.\hfill \end{array}$$

With $a_0=1, a_1=0$ in one case and $a_0=0, a_1=1$ in another, we obtain two linearly independent solutions of Equation (21) as

$$Y_e\left(s\right)=1+\sum _{n=1}^{\infty }{(-1)}^n\frac{(\nu -2n+2)\cdots (\nu -2)\left(\nu \right)(\nu +2)(\nu +4)\cdots (\nu +2n)}{\left(2n\right)!}{s}^{2n}$$

and

$$Y_o\left(s\right)=s+\sum _{n=1}^{\infty }{(-1)}^n\frac{(\nu -2n+1)\cdots (\nu -3)(\nu -1)(\nu +3)(\nu +5)\cdots (\nu +2n+1)}{(2n+1)!}{s}^{2n+1},$$

respectively.

Now, consider the case when $\nu$ is an even number. Writing $\nu =2m$ for a non-negative integer, m, we have

$$(\nu -2n+2)\cdots (\nu -2)\nu =\left\{\begin{array}{ll}0,\hfill & \mathrm{if}m=0;\\ \frac{2^{n}m!}{(m-n)!},\hfill & \mathrm{if}m\ge n\ge 1;\\ 0,\hfill & \mathrm{if}n>m\ge 1.\end{array}\right.$$

and

$$(\nu +2)(\nu +4)\cdots (\nu +2n)=\frac{2^n(m+n)!}{m!}.$$

Hence $Y_e\left(s\right)$ reduces to a finite series

$$Y_e\left(s\right)=\sum _{k=0}^m\frac{{(-1)}^k{2}^{2k}(m+k)!}{(m-k)!\left(2k\right)!}{s}^{2k}.$$

(24)

Next consider the case when $\nu$ is an odd number. Writing $\nu =2m+1$ for a non-negative integer, m, we have

$$(\nu -2n+1)\cdots (\nu -3)(\nu -1)=\left\{\begin{array}{ll}0,\hfill & \mathrm{if}m=0;\\ \frac{2^{n}m!}{(m-n)!},\hfill & \mathrm{if}m\ge n\ge 1;\\ 0,\hfill & \mathrm{if}n>m\ge 1,\end{array}\right.$$

and

$$(\nu +3)(\nu +5)\cdots (\nu +2n+1)=\frac{2^n(m+n+1)!}{(m+1)!}.$$

Such as in the case of an even integer, $Y_o\left(s\right)$ reduces to a finite series

$$Y_o\left(s\right)=\frac{1}{m+1}\sum _{k=0}^m\frac{{(-1)}^k{2}^{2k}(m+k+1)!}{(m-k)!(2k+1)!}{s}^{2k+1}.$$

(25)

For $\nu =0,1,2,\dots$, we have $Y_{\nu }\left(s\right)$ as follows:

$$\begin{array}{cc}\hfill Y_0\left(s\right)& =1=U_0\left(s\right),\hfill \\ \hfill Y_1\left(s\right)& =s=\frac{1}{2}{U}_1\left(s\right),\hfill \\ \hfill Y_2\left(s\right)& =1-4s^2=-U_2\left(s\right),\hfill \\ \hfill Y_3\left(s\right)& =s-2s^3=-\frac{1}{4}{U}_3\left(s\right),\hfill \\ \hfill Y_4\left(s\right)& =1-12s^2+16s^4=U_4\left(s\right),\hfill \\ \hfill Y_5\left(s\right)& =s-\frac{16}{3}{s}^3+\frac{16}{3}{s}^5=\frac{1}{6}{U}_5\left(s\right),\hfill \\ \hfill Y_6\left(s\right)& =1-24s^2+80s^4-64s^6=-U_6\left(s\right),\hfill \\ \hfill Y_7\left(s\right)& =s-10s^3+24s^5-16s^7=-\frac{1}{8}{U}_7\left(s\right),\hfill \end{array}$$

etc. Here, $U_{\nu }\left(s\right)$ is the Chebyshev polynomial [22], in s, of the second kind. As Equation (21) is homogeneous and linear, the Chebyshev polynomial is also a solution. Appealing to (ii) and (iii) of Lemma 1, the inverse Laplace transform of $U_{\nu }\left(s\right)$ gives us the distributional solutions of Equation (18) in the form

$$\begin{array}{cc}\hfill y\left(t\right)& =\sum _{k=0}^{\lfloor \nu /2\rfloor }{(-1)}^k\frac{2^{\nu -2k}(\nu -k)!}{k!(\nu -2k)!}{D}^{\nu -2k}\delta \left(t\right)\hfill \\ \hfill & =U_{\nu }\left(D\right)\delta \left(t\right),\hfill \end{array}$$

(26)

where $U_{\nu }\left(D\right)$ is the Chebyshev polynomial, in D, of the second kind and $D=d/dt$ is the distributional derivative operator. □

Example 3.

For $\nu =1$, Equation (18) appears as

$$t^2{y}^{″}\left(t\right)+t{y}^{\prime }\left(t\right)-(t^2+4)y\left(t\right)=0,$$

(27)

which has a solution, according to Theorem 1. According to Theorem 1, Equation (27) also has a solution,

$$y\left(t\right)=2{\delta }^{\prime }\left(t\right).$$

(28)

For $\nu =4$, Equation (18) appears as

$$t^2{y}^{″}\left(t\right)+t{y}^{\prime }\left(t\right)-(t^2+25)y\left(t\right)=0,$$

(29)

which has a solution, according to Theorem 1,

$$y\left(t\right)=16{\delta }^{\left(4\right)}\left(t\right)-12{\delta }^{″}\left(t\right)+\delta \left(t\right).$$

(30)

With the help of formula (17), it is straight forward to check that distributions in (28) and (30) satisfy Equations (27) and (29), respectively.

Theorem 2.

Consider the equation of the form

$$t^2{y}^{″}\left(t\right)+2(1-\gamma )t{y}^{\prime }\left(t\right)-[t^2+2\gamma +\nu (\nu +2\gamma +1)]y\left(t\right)=0,$$

(31)

where $\nu \in \mathbb{N}\cup \left\{0\right\}$ and $\gamma ,t\in \mathbb{R}$. The distributional solution of Equation (31) is given by

$$y\left(t\right)=C_{\nu }^{\gamma }\left(D\right)\delta \left(t\right),$$

(32)

while

$$C_{\nu }^{\gamma }\left(D\right)=\sum _{k=0}^{\lfloor \nu /2\rfloor }{(-1)}^k\frac{2^{\nu -2k}\Gamma (\nu +\lambda -k)}{k!(\nu -2k)!\Gamma \left(\lambda \right)}{D}^{\nu -2k}$$

(33)

is the Gegenbauer polynomial in terms of the distributional derivative operator, $D=d/dt$, Γ is the gamma function, and

$$\lambda =\gamma +\frac{1}{2}>0.$$

(34)

Proof. 

Let us denote $Y\left(s\right)=\mathcal{L}\left\{y\right(t\left)\right\}$. Appealing to (iv) and (v) of Lemma 1 the Laplace transformation of both sides of Equation (31) yields

$$\begin{array}{c}\hfill (1-s^2)Y^{″}\left(s\right)-2(1+\gamma )s{Y}^{\prime }\left(s\right)+({\nu }^2+2\gamma \nu +\nu )Y\left(s\right)=0.\end{array}$$

(35)

We assume a solution of Equation (35) takes the form of $Y\left(s\right)={\sum }_{n=0}^{\infty }{a}_n{s}^n$ and calculate the derivatives:

$$Y^{\prime }\left(s\right)=\sum _{n=1}^{\infty }n{a}_n{s}^{n-1}\mathrm{and}{Y}^{″}\left(s\right)=\sum _{n=2}^{\infty }n(n-1)a_n{s}^{n-2}.$$

Substituting these forms into Equation (35) gives us

$$\begin{array}{cc}\hfill & \left[2\left(1\right)a_2+({\nu }^2+2\gamma \nu +\nu )a_0\right]+\left\{3\left(2\right)a_3-\left[2(1+\gamma )-({\nu }^2+2\gamma \nu +\nu )\right]a_1\right\}s\hfill \\ \hfill & +\sum _{n=2}^{\infty }\left\{(n+2)(n+1)a_{n+2}-\left[n(n-1)+2(1+\gamma )n-({\nu }^2+2\gamma \nu +\nu )\right]a_n\right\}{s}^n=0.\hfill \end{array}$$

Since $s^n\ne 0$ for all $n\ge 0$, it follows that

$$\begin{array}{c}2a_2+({\nu }^2+2\gamma \nu +\nu )a_0=0,6a_3-\left[2(1+\gamma )-({\nu }^2+2\gamma \nu +\nu )\right]a_1=0,\\ (n+2)(n+1)a_{n+2}-\left[n(n-1)+2(1+\gamma )n-({\nu }^2+2\gamma \nu +\nu )\right]a_n=0,n\ge 2,\end{array}$$

which can be grouped into a recursion formula

$$a_{n+2}=-\frac{(\nu -n)(\nu +n+1+2\gamma )}{(n+2)(n+1)}{a}_n,n\ge 0.$$

(36)

Calculation of the coefficients from the recurrence relation in (36) leads to the following:

$$\begin{array}{cc}\hfill a_2& =\frac{-\left(\nu \right)(\nu +1+2\gamma )}{2!}{a}_0,\hfill \\ \hfill a_4& =\frac{{(-1)}^2(\nu -2)\left(\nu \right)(\nu +1+2\gamma )(\nu +3+2\gamma )}{4!}{a}_0,\hfill \\ \hfill & ⋮\hfill \\ \hfill a_{2n}& =\frac{{(-1)}^n(\nu -2n+2)\cdots (\nu -2)\left(\nu \right)(\nu +1+2\gamma )(\nu +3+2\gamma )\cdots (\nu +2n-1+2\gamma )}{\left(2n\right)!}{a}_0.\hfill \end{array}$$

Similarly,

$$\begin{array}{cc}\hfill a_3& =\frac{-(\nu -1)(\nu +2+2\gamma )}{3!}{a}_1,\hfill \\ \hfill a_5& =\frac{{(-1)}^2(\nu -3)(\nu -1)(\nu +2+2\gamma )(\nu +4+2\gamma )}{5!}{a}_1,\hfill \\ \hfill & ⋮\hfill \\ \hfill a_{2n+1}& =\frac{{(-1)}^n(\nu -2n+1)\cdots (\nu -3)(\nu -1)(\nu +2+2\gamma )(\nu +4+2\gamma )\cdots (\nu +2n+2\gamma )}{(2n+1)!}{a}_1.\hfill \end{array}$$

With $a_0=1, a_1=0$ in one case and $a_0=0, a_1=1$ in the others, we obtain two linearly independent solutions of Equation (35) as

$$Y_e\left(s\right)=1+\sum _{n=1}^{\infty }{(-1)}^n\frac{(\nu -2n+2)\cdots (\nu -2)\left(\nu \right)(\nu +1+2\gamma )(\nu +3+2\gamma )\cdots (\nu +2n-1+2\gamma )}{\left(2n\right)!}{s}^{2n}$$

and

$$Y_o\left(s\right)=s+\sum _{n=1}^{\infty }{(-1)}^n\frac{(\nu -2n+1)\cdots (\nu -3)(\nu -1)(\nu +2+2\gamma )(\nu +4+2\gamma )\cdots (\nu +2n+2\gamma )}{(2n+1)!}{s}^{2n+1},$$

respectively. Now consider the case when $\nu$ is an even number. Writing $\nu =2m$ for a non-negative integer, m, we have

$$(\nu -2n+2)\cdots (\nu -2)\left(\nu \right)=\left\{\begin{array}{ll}0,\hfill & \mathrm{if}m=0;\\ \frac{2^{n}m!}{(m-n)!},\hfill & \mathrm{if}m\ge n\ge 1;\\ 0,\hfill & \mathrm{if}n>m\ge 1.\end{array}\right.$$

and

$$\begin{array}{cc}\hfill (\nu +1+2\gamma )(\nu +3+2\gamma )\cdots (\nu +2n-1+2\gamma )& =\frac{2^n\Gamma (m+\lambda +n)}{\Gamma (m+\lambda )},\hfill \end{array}$$

where $\lambda =\gamma +1/2>0$ and $\Gamma$ is the gamma function. Hence, $Y_e\left(s\right)$ reduces to a finite series

$$\begin{array}{cc}\hfill Y_e\left(s\right)& =1+m!\sum _{n=1}^m\frac{{(-1)}^n{2}^{2n}}{(m-n)!\left(2n\right)!}\frac{\Gamma (m+\lambda +n)}{\Gamma (m+\lambda )}{s}^{2n}\hfill \\ \hfill & =m!\sum _{n=0}^m\frac{{(-1)}^n{2}^{2n}}{(m-n)!\left(2n\right)!}\frac{\Gamma (m+\lambda +n)}{\Gamma (m+\lambda )}{s}^{2n}\hfill \\ \hfill & =\frac{{(-1)}^{m}m!\Gamma \left(\lambda \right)}{\Gamma (m+\lambda )}\sum _{k=0}^m{(-1)}^k\frac{2^{2m-2k}\Gamma (2m+\lambda -k)}{k!(2m-2k)!\Gamma \left(\lambda \right)}{s}^{2m-2k}\hfill \\ \hfill & =\frac{{(-1)}^{m}m!\Gamma \left(\lambda \right)}{\Gamma (m+\lambda )}{C}_{2m}^{\gamma }\left(s\right),\hfill \end{array}$$

(37)

where $C_{2m}^{\gamma }\left(s\right)$ is the Gegenbauer polynomial of s with degree $2m$.

Next, consider the case when $\nu$ is an odd number. Writing $\nu =2m+1$ for a non-negative integer, m, we have

$$(\nu -2n+1)\cdots (\nu -3)(\nu -1)=\left\{\begin{array}{ll}0,\hfill & \mathrm{if}m=0;\\ \frac{2^{n}m!}{(m-n)!},\hfill & \mathrm{if}m\ge n\ge 1;\\ 0,\hfill & \mathrm{if}n>m\ge 1.\end{array}\right.$$

and

$$\begin{array}{cc}\hfill (\nu +2+2\gamma )(\nu +4+2\gamma )\cdots (\nu +2n+2\gamma )& =\frac{2^n\Gamma (m+\lambda +n+1)}{\Gamma (m+\lambda +1)},\hfill \end{array}$$

where $\lambda =\gamma +1/2>0$.

Such as in the case of an even integer, $Y_o\left(s\right)$ reduces to a finite series

$$\begin{array}{cc}\hfill Y_o\left(s\right)& =s+m!\sum _{n=1}^m\frac{{(-1)}^n{2}^{2n}}{(m-n)!(2n+1)!}\frac{\Gamma (m+\lambda +n+1)}{\Gamma (m+\lambda +1)}{s}^{2n+1}\hfill \\ \hfill & =m!\sum _{n=0}^m\frac{{(-1)}^n{2}^{2n}}{(m-n)!(2n+1)!}\frac{\Gamma (m+\lambda +n+1)}{\Gamma (m+\lambda +1)}{s}^{2n+1}\hfill \\ \hfill & =\frac{{(-1)}^{m}m!\Gamma \left(\lambda \right)}{2\Gamma (m+\lambda +1)}\sum _{k=0}^m{(-1)}^k\frac{2^{2m+1-2k}\Gamma (2m+1+\lambda -k)}{k!(2m+1-2k)!\Gamma \left(\lambda \right)}{s}^{2m+1-2k}\hfill \\ \hfill & =\frac{{(-1)}^{m}m!\Gamma \left(\lambda \right)}{2\Gamma (m+\lambda +1)}{C}_{2m+1}^{\gamma }\left(s\right),\hfill \end{array}$$

(38)

where $C_{2m+1}^{\gamma }\left(s\right)$ is the Gegenbauer polynomial of s with degree $2m+1$. As Equation (35) is linear and homogeneous, $C_{\nu }^{\gamma }$, in the forms of (37) and (38), is its solution for $\nu =0,1,2,\cdots$. Appealing to (ii) and (iii) in Lemma 1, the inverse Laplace transform of $C_{\nu }^{\gamma }\left(s\right)$ gives us the distributional solutions of Equation (31) in the form

$$\begin{array}{cc}\hfill y\left(t\right)& =\sum _{k=0}^{\lfloor \nu /2\rfloor }{(-1)}^k\frac{2^{\nu -2k}\Gamma (\nu +\lambda -k)}{k!(\nu -2k)!\Gamma \left(\lambda \right)}{D}^{\nu -2k}\delta \left(t\right)\hfill \\ \hfill & =C_{\nu }^{\gamma }\left(D\right)\delta \left(t\right),\hfill \end{array}$$

(39)

where $C_{\nu }^{\gamma }\left(D\right)$ is the Gegenbauer polynomial in terms of the distributional derivative operator, $D=d/dt$. □

To shorten our notation, from now on we shall refer to the distributional derivative operator as D.

Remark 1.

(i)

If $\gamma =0$ then Equation (31) reduces to

$$t^2{y}^{″}\left(t\right)+2t{y}^{\prime }\left(t\right)-[t^2+\nu (\nu +1)]y\left(t\right)=0,$$

(40)

whose distribution solution, from Formula (32), is

$$y\left(t\right)=P_{\nu }\left(D\right)\delta \left(t\right),$$

(41)

where

$$P_{\nu }\left(D\right)=\frac{1}{2^{\nu }}\sum _{k=0}^{\lfloor \nu /2\rfloor }{(-1)}^k\frac{(2\nu -2k)!}{k!(\nu -k)!(\nu -2k)!}{D}^{\nu -2k}$$

is the Legendre polynomial in D (see [3]);

(ii)

If $\gamma =-1/2$ then Equation (31) reduces to

$$t^2{y}^{″}\left(t\right)+3t{y}^{\prime }\left(t\right)-(t^2+{\nu }^2-1)y\left(t\right)=0,$$

(42)

whose distributional solution is

$$y\left(t\right)=T_{\nu }\left(D\right)\delta \left(t\right),$$

(43)

where

$$T_{\nu }\left(D\right)=\frac{\nu }{2}\sum _{k=0}^{\lfloor \nu /2\rfloor }{(-1)}^k\frac{2^{\nu -2k}(\nu -k-1)!}{k!(\nu -2k)!}{D}^{\nu -2k}$$

is the Chebyshev polynomial, in D, of the first kind (see [15]);

(iii)

If $\gamma =1/2$ then Equation (31) reduces to Equation (18),

$$t^2{y}^{″}\left(t\right)+t{y}^{\prime }\left(t\right)-[t^2+{(\nu +1)}^2]y\left(t\right)=0,$$

(44)

whose distribution solution, from Formula (32), is

$$y\left(t\right)=U_{\nu }\left(D\right)\delta \left(t\right),$$

(45)

where

$$U_{\nu }\left(D\right)=\sum _{k=0}^{\lfloor \nu /2\rfloor }{(-1)}^k\frac{2^{\nu -2k}(\nu -k)!}{k!(\nu -2k)!}{D}^{\nu -2k}$$

is the Chebyshev polynomial, in D, of the second kind, which appears in Theorem 1.

Example 4.

For $\gamma =5$ and $\nu =2$, Equation (31) appears as

$$t^2{y}^{″}\left(t\right)-8t{y}^{\prime }\left(t\right)-(t^2+36)y\left(t\right)=0,$$

(46)

whose solution, according to Theorem 2, is

$$y\left(t\right)=\frac{143}{2}{\delta }^{″}\left(t\right)-\frac{11}{2}\delta \left(t\right).$$

(47)

For $\gamma =0$ and $\nu =3$, Equation (31) appears as

$$t^2{y}^{″}\left(t\right)+2t{y}^{\prime }\left(t\right)-(t^2+12)y\left(t\right)=0,$$

(48)

whose solution, according to Theorem 2, is

$$y\left(t\right)=\frac{5}{2}{\delta }^{‴}\left(t\right)-\frac{3}{2}{\delta }^{\prime }\left(t\right).$$

(49)

For $\gamma =1/2$ and $\nu =4$, Equation (31) appears as

$$t^2{y}^{″}\left(t\right)+t{y}^{\prime }\left(t\right)-(t^2+25)y\left(t\right)=0,$$

(50)

whose solution, according to Theorem 2, is

$$y\left(t\right)=16{\delta }^{\left(4\right)}\left(t\right)-12{\delta }^{″}\left(t\right)+\delta \left(t\right),$$

(51)

which coincides with the solution in (30) in Example 3. With the help of Formula (17), it is straight forward to check that distributions (47), (49), and (51) satisfy Equations (46), (48), and (50), respectively.

4. Conclusions

Within the space of right-sided distributions, we derived the distributional solutions of the modified Bessel equation, Equation (18), and its related equation, Equation (31), by employing the Laplace transform and the power series method. Relying on the values of $\nu$ and $\gamma$, we found that our distributional solutions of Equations (18) and (31) could be perceived as the Chebyshev polynomial, in D, of the second kind and the Gegenbauer polynomial, in D, acting on the Dirac delta functions, respectively. Evidently there are classical solutions of both equations that are not stated here, but they can be found in mainstream textbooks.