Next Article in Journal
Birkhoff Normal Forms, KAM Theory and Time Reversal Symmetry for Certain Rational Map
Previous Article in Journal
Skew Continuous Morphisms of Ordered Lattice Ringoids
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Solution of Differential Equations with Polynomial Coefficients with the Aid of an Analytic Continuation of Laplace Transform

1
Graduate School of Information Sciences, Tohoku University, Sendai 980-8577, Japan
2
College of Engineering, Nihon University, Koriyama 963-8642, Japan
*
Author to whom correspondence should be addressed.
Mathematics 2016, 4(1), 19; https://doi.org/10.3390/math4010019
Submission received: 22 December 2015 / Revised: 6 March 2016 / Accepted: 11 March 2016 / Published: 17 March 2016

Abstract

:
In a series of papers, we discussed the solution of Laplace’s differential equation (DE) by using fractional calculus, operational calculus in the framework of distribution theory, and Laplace transform. The solutions of Kummer’s DE, which are expressed by the confluent hypergeometric functions, are obtained with the aid of the analytic continuation (AC) of Riemann–Liouville fractional derivative (fD) and the distribution theory in the space D R or the AC of Laplace transform. We now obtain the solutions of the hypergeometric DE, which are expressed by the hypergeometric functions, with the aid of the AC of Riemann–Liouville fD, and the distribution theory in the space D r , R , which is introduced in this paper, or by the term-by-term inverse Laplace transform of AC of Laplace transform of the solution expressed by a series.

1. Introduction

Stimulated by Yosida’s work [1,2], in which the solution of Laplace’s differential equation (DE) is obtained with the aid of the operational calculus of Mikusiński [3], we are concerned in [4,5,6], with the DE or fractional DE of the form:
l = 0 m ( a l t + b l ) · 0 D R l σ u ( t ) = f ( t ) , t > 0 ,
where σ = 1 2 or σ = 1 , m = 2 , and a l C and b l C are constants.
In solving the DE, we assume that the solution u ( t ) and the inhomogeneous part f ( t ) for t > 0 are expressed as a linear combination of
g ν ( t ) : = 1 Γ ( ν ) t ν 1 ,
for ν C Z < 1 , where Γ ( ν ) is the gamma function.
In [5,6], 0 D R β u ( t ) is the analytic continuation (AC) of Riemann–Liouville fractional derivative (fD), which was introduced in [7,8] and is reviewed in [9]. It is defined for u ( t ) and f ( t ) satisfying the following conditions.
Condition A. 
u ( t ) H ( t ) and f ( t ) H ( t ) are expressed as a linear combination of g ν ( t ) H ( t ) for ν S , where S is an enumerable set of ν C Z < 1 satisfying Re ν > M for some M Z > 1 .
We now adopt Condition A. We then express u ( t ) as follows:
u ( t ) = ν S u ν 1 g ν ( t ) = ν S u ν 1 1 Γ ( ν ) t ν 1 ,
where u ν 1 C are constants.
For ν C Z < 1 , 0 D R β g ν ( t ) is defined such that
0 D R β g ν ( t ) = g ν β ( t ) , ν β C Z < 1 , 0 , ν β Z < 1 .
When β = n Z > 1 , 0 D R n g ν ( t ) = d n d t n g ν ( t ) . Throughout the present paper, the equations involving β are valid for β C , but in the applications given in Section 4, Section 5, Section 6 and Section 7, we use them only for β = n Z > 1 , when 0 D R n g ν ( t ) = d n d t n g ν ( t ) .
We use R , C and Z to denote the sets of all real numbers, of all complex numbers and of all integers, respectively. We also use R > r : = { x R | x > r } for r R , + C : = { z C | Re z > 0 } , Z > a : = { n Z | n > a } , Z < b : = { n Z | n < b } and Z [ a , b ] : = { n Z | a n b } for a , b Z satisfying a < b . We use Heaviside’s step function H ( t ) , which is defined such that (i) H ( t ) = 1 for t > 0 and = 0 for t 0 , and (ii) when f ( t ) is defined on R > r , f ( t ) H ( t r ) is equal to f ( t ) when t > r and to 0 when t r .
In [4,5,6], we take up a modified Kummer’s DE as an example, which is
t · d 2 d t 2 u ( t ) + ( c b t ) · d d t u ( t ) a b · u ( t ) = 0 , t > 0 ,
where a C , b C and c C are constants. Kummer’s DE is this DE with b = 1 [10,11]. If c Z , the basic solutions of Equation (5) are given by
u 1 ( t ) : = 1 F 1 ( a ; c ; b t ) ,
u 2 ( t ) : = t 1 c · 1 F 1 ( a c + 1 ; 2 c ; b t ) .
Here 1 F 1 ( a ; c ; z ) = k = 0 ( a ) k k ! ( c ) k z k is the confluent hypergeometric series, where z C , ( a ) n = k = 0 n 1 ( a + k ) for a C and n Z > 0 , and ( a ) 0 = 1 . These solutions are expressed as linear combinations of g ν ( t ) .
Remark 1. 
In [4,5,6], a, b and c in Equation (5) are expressed as γ 1 + 1 , α and γ 1 + γ 2 + 2 , respectively.
In [4,5], we consider the theory of distributions in the space D R , which is presented in [12,13] and is explained briefly in Section 3.3. The solution of Equation (1) with the aid of distributions in D R is presented in [5], assuming that the solution satisfies Condition A. Both of the solutions given by Equations (6) and (7), of Equation (5), satisfy Condition A, and we can obtain both of them, by solving Equation (5) by this method.
In [4], we adopt the following condition.
Condition B. 
u ( t ) H ( t ) and f ( t ) H ( t ) are expressed as a linear combination of g ν ( t ) H ( t ) for ν S 1 , where S 1 is a set of ν + C .
When Condition B is satisfied, 0 D R β u ( t ) of a function u ( t ) denotes the Riemann–Liouville fD which is defined when u ( t ) H ( t ) is locally integrable on R , and hence 0 D R β g ν ( t ) is defined only for ν + C , satisfying Equation (4). In this case, the DE given by Equation (1) in terms of the distribution theory in space D R is presented in [4]. The solutions of fractional DE with constant coefficients are presented in [12,13]. In [4], the solution given by Equation (6) of Equation (5), satisfies Condition B, and hence we can obtain it by solving Equation (5) by this method. However, the solution given by Equation (7) satisfies Condition B only when 1 c > 1 , and hence we can obtain it only when 1 c > 1 , by this method.
Condition C. 
There exists λ R > 0 such that u ( t ) e λ t 0 as t .
In [6], it was mentioned that, when Conditions B and C are satisfied, the Laplace transform of u ( t ) exists and the DE is solved with the aid of Laplace transform, and that the solutions of Equation (5), satisfying Condition B, satisfy Condition C and hence are obtained by using the Laplace transform.
In [6], the AC of Laplace (AC-Laplace) transform is introduced as in Section 1.1 given below, and it is shown that, when Conditions A and C are satisfied, the AC-Laplace transform of u ( t ) , which is denoted by u ^ ( s ) = L H [ u ( t ) ] = L H [ u ( t ) ] ( s ) , exists and the DE given by Equation (1) is solved with the aid of the AC-Laplace transform. In fact, the AC-Laplace transform of g ν ( t ) and of u ( t ) given by Equation (3) are expressed as
g ^ ν ( s ) = L H [ g ν ( t ) ] = s ν , ν C Z < 1 ,
u ^ ( s ) = L H [ u ( t ) ] = ν S u ν 1 g ^ ν ( s ) .
We review the solution in terms of the AC-Laplace transform in Section 2, and the solution with the aid of the distribution theory in Section 3. In Section 4 we confirm the following lemma.
Lemma 1. 
Both of the solutions given by Equations (6) and (7), of Equation (5), satisfy Conditions A and C, and hence we can obtain both of them, by solving Equation (5) by using distribution theory in the space D R and also by using the AC-Laplace transform.
In Section 5, we consider the hypergeometric DE, which is given by
t ( 1 t ) · d 2 d t 2 u ( t ) + ( c ( a + b + 1 ) t ) · d d t u ( t ) a b · u ( t ) = 0 , t > 0 ,
where a C , b C and c C are constants.
If c Z , the basic solutions of Equation (10) in [10,11] are given by
u 1 ( t ) : = 2 F 1 ( a , b ; c ; t ) ,
u 2 ( t ) : = t 1 c · 2 F 1 ( 1 + a c , 1 + b c ; 2 c ; t ) ,
where 2 F 1 ( a , b ; c ; z ) = n = 0 ( a ) n ( b ) n n ! ( c ) n z n of z C is the hypergeometric series.
Remark 2. 
These solutions of Equation (10) converge only at t satisfying | t | < 1 , and do not satisfy Condition A, and they are not obtained by the methods stated above.
We introduce the theory of distributions in the space D r , R , in Section 3.4. We now use the step function H r ( t ) , which is defined for r R > 0 such that (i) H r ( t ) = 1 for 0 < t < r and = 0 for t 0 or t r , and (ii) when f ( t ) is defined on R > 0 R < r , f ( t ) H r ( t ) is equal to f ( t ) for 0 < t < r and to 0 for t 0 or t r .
Condition D. 
Condition A with H ( t ) replaced by H r ( t ) is valid.
In Section 5, we show that when u ( t ) satisfies Condition D, we can solve Equation (10) with the aid of distributions in D r , R .
Definition 1. 
Let u ( t ) be given by Equation (3) and satisfy Condition D. Then, we define its AC of Riemann–Liouville fD of order β C , by
0 D R β u ( t ) = ν S , ν β Z < 1 u ν 1 g ν β ( t ) ,
which satisfies Condition D.
Definition 2. 
Let u ( t ) be given by Equation (3) and satisfy Condition D. Then, we define u ^ ( s ) = L S [ u ( t ) ] = L S [ u ( t ) ] ( s ) by
u ^ ( s ) = L S [ u ( t ) ] = ν S u ν 1 g ^ ν ( s ) .
We call this the AC-Laplace transform series of u ( t ) .
For the solutions of Equation (10), the existence of the AC-Laplace transform is not guaranteed, but we can define u ^ ( s ) by Equation (14). We can then set up a DE satisfied by the thus-defined u ^ ( s ) . In Section 5, we write the DE for the u ^ ( s ) , and its solution in the form of Equation (14) is obtained. We find that the obtained series converges for no value of s, and yet we obtain the solution u ( t ) by the term-by-term inverse Laplace transform of the series u ^ ( s ) .
The solutions given by Equations (11) and (12), of Equation (10), satisfy Condition D for r = 1 , and we show that they are obtained by using the distribution theory in the space D r , R and also by using the AC of Laplace transform series, in Section 5.
In Section 6, we show that the Bessel functions J ± ν ( t ) are the solusions of Bessel’s DE with the aid of the AC-Laplace transform. In Section 7, some discussions are given on Hermite’s DE. Concluding remarks are given in Section 8.

1.1. Definition of the AC-Laplace Transform

The AC-Laplace transform f ^ ( s ) = L H [ f ( t ) ] of a function f ( t ) is defined in [6] as follows.
Condition E. 
f γ ( z ) is expressed as f γ ( z ) = z γ 1 f 1 ( z ) on a neighborhood of R > 0 , for 0 arg z < 2 π , where γ C Z < 1 , and f 1 ( z ) is analytic on the neighborhood of R > 0 .
Definition 3. 
Let f γ ( z ) and u ( t ) = f γ ( t ) satisfy Conditions E and C, respectively. Then, we define the AC-Laplace transform f ^ γ ( s ) for γ C Z < 1 , by f ^ γ ( s ) = L H [ f γ ( t ) ] , where
L H [ f γ ( t ) ] = e i π γ 1 2 i sin π γ C H f γ ( ζ ) e s ζ d ζ , γ C Z .
When γ = n Z > 0 , we put L H [ f n ( t ) ] = lim γ i n L H [ t γ i 1 · f 1 ( t ) ] , where γ i C Z . Here, C H is the contour which appears in Hankel’s formula giving the AC of the gamma function Γ ( z ) , so that C H is the contour which starts from + i ϵ , goes to δ + i ϵ , encircles the origin counterclockwise, goes to δ i ϵ , and then to i ϵ , where δ R > 0 and ϵ R > 0 satisfy ϵ 1 and δ < 1 , see [14] (Section 12.22).
Remark 3. 
f ^ γ ( s ) defined by Definition 3 is an analytic continuation of the Laplace transform defined by f ^ γ ( s ) = 0 f γ ( t ) e s t d t for Re γ > 0 , as a function of γ.

1.2. Remarks on Recent Developments

Here, we call attention to recent developments on the solutions of differential equations related with fractional calculus and perturbation method, which are based on He’s variational iteration method (VIM) [15]. By using the VIM, He gave the fD and fI which involve the terms determined by the initial or boundary condition. Liu et al. [16] discussed the solution of heat conduction in a fractal medium with the aid of He’s fD. Kumar et al. discussed the solution of partial differential equations involving time-fD by using Laplace transform and perturbation method based on the VIM; see [17,18] and references in them. In [19,20], discussions are given on the fractional complex transform, which reduces an equation involving fD to an equation involving only integer-order derivatives.

2. AC-Laplace Transform

In the present section and Section 2.1, we assume that u ( t ) satisfies Conditions C and A, and we put u ^ ( s ) = L H [ u ( t ) ] .
Lemma 2. 
Let ν C Z < 1 and n Z > 1 . Then
t n · g ν ( t ) = ( ν ) n · g ν + n ( t ) ,
( 1 ) n d n d s n g ^ ν ( s ) = ( ν ) n · g ^ ν + n ( s ) ,
where ( ν ) n is Pochhammer’s symbol, so that ( ν ) n = Γ ( ν + n ) Γ ( ν ) .
Proof 
We confirm Equation (16) by using Equation (2) on both sides of Equation (16). By Equation (8), L H [ g ν ( t ) ] = g ^ ν ( s ) = s ν . By taking derivatives of this equation repeatedly, we obtain Equation (17).  ■
Lemma 3. 
Let ν C Z < 1 , n Z > 1 and β C . Then
L H [ t n · g ν ( t ) ] = ( 1 ) n d n d s n g ^ ν ( s ) ,
Proof 
Equation (18) is obtained by comparing Equations (16) and (17) with Equation (8).  ■
Applying Lemma 3 to Equation (4), with the aid of Equation (8), we obtain
L H [ t n · 0 D R β g ν ( t ) ] = ( 1 ) n d n d s n g ^ ν β ( s ) = ( 1 ) n d n d s n [ s β g ^ ν ( s ) ] , ν β C Z < 1 , 0 , ν β Z < 1 .
Lemma 4. 
Let ν C Z < 1 , n Z > 1 and β C . Then
L H [ t n · 0 D R β g ν ( t ) ] = ( 1 ) n d n d s n [ s β g ^ ν ( s ) ] ( 1 ) n d n d s n s β g ^ ν ( s ) z ,
where
s β g ^ ν ( s ) z = 0 , ν β C Z < 1 , s β g ^ ν ( s ) = g ^ k ( s ) = s k , k = ν β Z < 1 .
Proof 
Here, s β g ^ ν ( s ) z is so defined that Equation (20) with Equation (21) represents Equation (19).  ■
Lemma 5. 
Let u ( t ) be expressed by Equation (3), n Z > 1 and β C . Then
L H [ t n · u ( t ) ] = ( 1 ) n d n d s n u ^ ( s ) ,
L H [ t n · 0 D R β u ( t ) ] = ( 1 ) n d n d s n [ s β u ^ ( s ) ] ( 1 ) n d n d s n [ s β u ^ ( s ) ] z ,
where
( 1 ) n d n d s n [ s β u ^ ( s ) ] z = ( 1 ) n d n d s n s β u ^ ( s ) z , s β u ^ ( s ) z = ν S k = ν β Z < 1 u ν 1 s k .
Proof 
We confirm these with the aid of Equation (9) and Lemmas 3 and 4.  ■
Remark 4. 
Let β = n Z > 1 . Then, Equation (24) gives u ^ ( s ) z = 0 , and
s n u ^ ( s ) z = k = 0 n k S n 1 u n k 1 s k , n Z > 0 ,
so that
u ^ ( s ) z = 0 , s · u ^ ( s ) z = u 0 , s 2 · u ^ ( s ) z = u 1 + u 0 s , s 3 · u ^ ( s ) z = u 2 + u 1 s + u 0 s 2 , .
Theorem 1. 
Let u ( t ) satisfy Conditions C and A, and be expressed by Equation (3). Then, the AC-Laplace transform u ^ ( s ) is expressed as Equation (9) and there exists M R > 0 such that the series given by Equation (9) converges for | s | > M .

2.1. Recipe of Solving Differential Equation with Polynomial Coefficients

We now give a recipe of solving the DE with polynomial coefficients, which is given by
l = 0 2 ( a l t 2 + b l t + c l ) · d l d t l u ( t ) = f ( t ) , t > 0 ,
where a l C , b l C and c l C for l Z [ 0 , 2 ] are constants. We then introduce the function p ( t , s ) by
p ( t , s ) = l = 0 2 ( a l t 2 + b l t + c l ) · s l ,
and express Equation (27) as
p ( t , d d t ) u ( t ) = f ( t ) , t > 0 .
In Section 4 and Section 5, we discuss modified Kummer’s DE given by Equation (5) and the hypergeometric DE given by Equation (10).
We obtain the following theorems, with the aid of Lemma 5.
Theorem 2. 
Let u ( t ) in the form of Equation (3) be the solution of Equation (29). Then u ^ ( s ) given by Equation (9) is a solution of the DE:
p ( d d s , s ) u ^ ( s ) = f ^ ( s ) + p ( d d s , s ) u ^ ( s ) z .
Theorem 3. 
Let u ^ ( s ) in the form of Equation (9) be a solution of Equation (30). Then, the corresponding u ( t ) given by Equation (3) is a solution of Equation (29).
Corollary 4. 
Let u ^ ( s ) be a solution of
p ( d d s , s ) u ^ ( s ) = f ^ ( s ) .
If the obtained u ^ ( s ) satisfies
p ( d d s , s ) u ^ ( s ) z = 0 ,
then u ( t ) given by Equation (3) is a solution of Equation (29) , that is of Equation (27).

2.2. Term-by-Term Operators for u ( t ) and u ^ ( s )

The AC of Riemann–Liouville fD: 0 D R β u ( t ) and the AC-Laplace transform series: L S [ u ( t ) ] , of u ( t ) in the form of Equation (3), are defined by Equation (13) and Equation (14). We now define the operators which appear in Lemma 5.
Definition 4. 
Let n Z > 0 , β C and γ C , and let u ( t ) and u ^ ( s ) be expressed as Equation (3) and Equation (14), respectively. Then, we adopt
t n · u ( t ) = ν S ( t n · u ν 1 g ν ( t ) ) ,
s β u ^ ( s ) = ν S ( s β · u ν 1 g ^ ν ( s ) ) , s γ ( s β u ^ ( s ) ) = s γ + β u ^ ( s ) ,
( 1 ) n d n d s n [ s β u ^ ( s ) ] = ν S [ ( 1 ) n d n d s n ( s β u ν 1 g ^ ν ( s ) ) ] .
Proposition 5. 
Let the operators on the lhs of the equations in Definition 2, 3 and 4 be defined by the respective rhs. Then, Theorems 2 and 3 and Corollary 4 are valid.

3. Operational in the Spaces D R and D r , R

We now consider the theory of distributions in the spaces D R and D r , R , which are explained briefly in Section 3.3 and Section 3.4, respectively.

3.1. Operational Calculus in the Spaces D R

In the theory of distributions in D R , a regular distribution is such a distribution that can be regarded as a function which is locally integrable on R . In the present paper, when the product u ( t ) H ( t ) L l o c ( R ) , we consider the regular distribution u ˜ ( t ) which is regarded to be equal to u ( t ) H ( t ) . We then denote this correspondence between a distribution and a function by u ˜ ( t ) u ( t ) H ( t ) . Here, u ( t ) H ( t ) L l o c ( R ) denotes that u ( t ) H ( t ) is locally integrable on R . From Equation (2), we have g 1 ( t ) = 1 . We put H ˜ ( t ) = g ˜ 1 ( t ) , and then we obtain H ˜ ( t ) g 1 ( t ) H ( t ) = H ( t ) .
Definition 5. 
In the space D R , the differential operator D λ of order λ C is defined as follows:
(i)
If Re ν > 0 and u ( t ) H ( t ) L l o c ( R ) , then D ν u ˜ ( t ) [ 0 D R ν u ( t ) ] H ( t ) .
(ii)
If h ( t ) D R , then D λ h ( t ) D R .
(iii)
The index law stated in the following lemma is valid.
Lemma 6. 
Let h ( t ) D R . Then, the index law:
D λ D μ h ( t ) = D λ + μ h ( t ) ,
is valid for every pair of λ C and μ C .
Dirac’s delta function δ ( t ) D R is the distribution defined by δ ( t ) = D H ˜ ( t ) .
We now introduce the correspondence even between a distribution, which is not a regular one, and a function, as follows.
Definition 6. 
Let ν C , u ( t ) and v ( t ) = 0 D R ν u ( t ) satisfy u ( t ) H ( t ) L l o c ( R ) and 0 D R ν v ( t ) = u ( t ) . Then, v ˜ ( t ) = D ν u ˜ ( t ) 0 D R ν u ( t ) H ( t ) = v ( t ) H ( t ) .
We now define g ˜ ν ( t ) for ν C by
g ˜ ν ( t ) = D ν + 1 H ˜ ( t ) = D ν δ ( t ) = g ^ ν ( D ) δ ( t ) .
From Equations (2) and (4), we have g 1 ( t ) = 1 , g ν ( t ) = 0 D R ν + 1 g 1 ( t ) and g 1 ( t ) = 0 D R ν 1 g ν ( t ) for ν C Z < 1 . Since g 1 ( t ) H ( t ) = H ( t ) L l o c ( R ) , by Definition 6, we have
g ˜ ν ( t ) = g ^ ν ( D ) δ ( t ) g ν ( t ) H ( t ) , ν C Z < 1 .
Remark 5. 
Note here that when Re ν 1 , g ˜ ν ( t ) is not a regular distribution.
Lemma 7. 
Let ν C Z < 1 and n Z > 1 . Then
( 1 ) n n D n g ˜ ν ( t ) = ( 1 ) n n D n g ^ ν ( D ) δ ( t ) [ t n · g ν ( t ) ] H ( t ) ,
where the derivative with respect to D is taken regarding D as a variable.
Proof 
By comparing Equation (18) with Equation (38), we confirm this.  ■
By Equations (37) and (36), we have
D β g ˜ ν ( t ) = D β ν δ ( t ) = g ˜ ν β ( t ) .
Comparing this with Equations (4) and (38), we have
Lemma 8. 
Let ν C Z < 1 and β C . Then
D β g ˜ ν ( t ) D β g ˜ ν ( t ) z = D β g ^ ν ( D ) δ ( t ) D β g ^ ν ( D ) z δ ( t ) [ 0 D R β g ν ( t ) ] H ( t ) ,
where
D β g ˜ ν ( t ) z = D β g ^ ν ( D ) z δ ( t ) = 0 , ν β C Z < 1 , D β g ˜ ν ( t ) = g ˜ k ( t ) = D k δ ( t ) , k = ν β Z < 1 .
Definition 7. 
Let u ( t ) be expressed by Equation (3). Then, we define the distribution u ˜ ( t ) by
u ˜ ( t ) : = u ^ ( D ) δ ( t ) = ν S u ν 1 g ˜ ν ( t ) = ν S u ν 1 g ^ ν ( D ) δ ( t ) ,
in accordance with Equation (37).
Definition 8. 
We adopt Definition 4 with u ^ ( s ) , g ^ ν ( s ) , s and d d s replaced by u ˜ ( t ) = u ^ ( D ) δ ( t ) , g ˜ ν ( t ) = g ^ ν ( D ) δ ( t ) , D and D , respectively.
Lemma 9. 
Let u ( t ) be expressed by Equation (3), n Z > 1 and β C . Then
( 1 ) n n D n u ˜ ( t ) = ( 1 ) n n D n u ^ ( D ) δ ( t ) [ t n · u ( t ) ] H ( t ) , ( 1 ) n n D n D β u ˜ ( t ) ( 1 ) n n D n D β u ˜ ( t ) z = ( 1 ) n n D n [ D β u ^ ( D ) ] δ ( t ) ( 1 ) n n D n [ D β u ^ ( D ) ] z δ ( t )
[ t n · 0 D R β u ( t ) ] H ( t ) ,
where D β u ^ ( D ) z and ( 1 ) n n D n [ D β u ^ ( D ) ] z are defined by Equation (24) with d d s and s replaced by D and D, respectively.
Proof 
The first equalities in Equations (44) and (45) are due to Definition 7. When u ( t ) = g ν ( t ) for ν C Z < 1 , Equation (44) is Equation (39). Equation (45) for n = 0 in this case is Equation (41). Equation (45) for n > 0 in this case is derived by applying Equation (44) to Equation (41). When u ( t ) is expressed by Equation (3), we confirm Equations (44) and (45) by using the rhs of Equations (43), (14) and (3) in place of u ˜ ( t ) , u ^ ( D ) and u ( t ) , respectively, in Equations (44) and (45), and comparing the respective equations for the case of u ( t ) = g ν ( t ) for ν C Z < 1 .  ■

3.1.1. Recipe of Solving Linear Differential Equation with Polynomial Coefficients

By applying Lemma 9 to the DE given by Equation (29), we obtain the following lemma.
Lemma 10. 
The DE for u ˜ ( t ) = u ^ ( D ) δ ( t ) corresponding to Equation (29) is
p ( D , D ) u ^ ( D ) δ ( t ) = f ˜ ( t ) + p ( D , D ) u ^ ( D ) z δ ( t ) .
Theorem 6. 
When u ˜ ( t ) = u ^ ( D ) δ ( t ) is a solution of Equation (46), the corresponding u ( t ) is a solution of Equation (29).
Proposition 7. 
Let u ^ ( s ) be a solution of Equation (30), and u ˜ ( t ) = u ^ ( D ) δ ( t ) obtained from it be expressed in the form of Equation (43). Then u ( t ) given by Equation (3)is a solution of Equation (29).
Corollary 8. 
Let u ^ ( s ) be a solution of Equation (31) and u ˜ ( t ) = u ^ ( D ) δ ( t ) , which is obtained from it, be expressed in the form of Equation (43). If the obtained u ˜ ( t ) satisfies
p ( D , D ) u ^ ( D ) z δ ( t ) = 0 ,
then u ( t ) given by Equation (3) is a solution of Equation (29).

3.2. Operational Calculus in the Space D r , R

For the function H r ( t ) defined below Equation (12) in the Introduction section, we define the regular distribution H ˜ r ( t ) in the space D r , R , so that H ˜ r ( t ) g 1 ( t ) H r ( t ) = H r ( t ) , and then define δ r ( t ) D r , R by δ r ( t ) = D H ˜ r ( t ) = δ ( t ) δ ( t r ) . We can use the formulas presented in Section 3.1 for the space D R , also in the space D r , R , if we replace H ( t ) , H ˜ ( t ) and δ ( t ) , by H r ( t ) , H ˜ r ( t ) and δ r ( t ) , respectively.
In Section 4, Theorem 1 applies. In Section 5, the rhs of Equation (44) for n = 0 is u ( t ) H r ( t ) = ν S u ν 1 g ν ( t ) H r ( t ) , which converges at | t | < 1 . Although u ^ ( s ) converges for no value of s, we regard that the rhs of Equation (44) converges at | t | < 1 , and the lhs of Equation (44) represents the corresponding regular distribution. The result obtained for u ( t ) is then the one obtained by the term-by-term inverse Laplace transform of u ^ ( s ) , which is expressed as Equation (14).

3.3. Distributions in the Space D R

Distributions in the space D are first introduced [21,22,23,24]. The distributions are either regular ones or their derivatives. A regular distribution in D corresponds to a function which is locally integrable on R . The space D , that is dual to D , is the space of testing functions, which are infinitely differentiable on R and have a compact support. A distribution h D is a functional, to which h , ϕ C is associated with every ϕ D . When f ˜ D corresponds to a function f, then we put f ˜ , ϕ = f ( t ) ϕ ( t ) d t .
Definition 9. 
Let f ˜ ( t ) be a regular distribution in D and f ( t ) be the function corresponding to it. If h ( t ) D is expressed by h ( t ) = D n f ˜ ( t ) for n Z > 1 , then
h , ϕ = D n f ˜ , ϕ = f ( t ) [ D W n ϕ ( t ) ] d t ,
for every ϕ ( t ) D , where D W n ϕ ( t ) = ( 1 ) n d n d t n ϕ ( t ) .
Lemma 11. 
D n for n Z > 1 are operators in the space D .
In the present study, we consider functions g ν ( t ) and 0 D R λ g ν ( t ) for ν R > 0 and λ R > 0 , and the distributions g ˜ ν ( t ) and D λ g ˜ ν ( t ) corresponding to them. We then desire to introduce the operator D W λ such that D λ h , ϕ = h , D W λ ϕ for h D and ϕ D . However, we find that D W λ ϕ does not belong to D .
In this situation, we consider the problem in the space D R [12,13]. A regular distribution in D R is such a distribution that it corresponds to a function which is locally integrable on R and has a support bounded on the left. The space D R , that is dual to D R , is the space of testing functions, which are infinitely differentiable on R and have a support bounded on the right.
Definition 10. 
Definition 9 with D and D replaced by D R and D R , respectively, is valid.
Lemma 12. 
D ν for ν C are operators in the space D R .

3.4. Distributions in the Space D r , R

The space D r , R for r R is such a subspace of D R , that if ϕ ( t ) D r , R , ϕ ( t ) = 0 for t r . A regular distribution f ˜ ( t ) D r , R is such a distribution in D r , R that it corresponds to a function which is locally integrable on ( , r ) , and has a support bounded on the left.
Definition 11. 
Definition 9 with D and D replaced by D r , R and D r , R , respectively, is valid.
Lemma 13. 
D ν for ν C are operators in the space D r , R .
Now the rhs of Equation (48) may be expressed as r f ( t ) [ D W n ϕ ( t ) ] d t .

4. Solution of Modified Kummer’s DE

We now study the modified Kummer’s DE given by Equation (5). We define p K ( t , s ) by
p K ( t , s ) = t · s 2 + ( c b t ) s a b = t ( s 2 b s ) + c s a b .
Then Equation (5) is expressed as p K ( t , d d t ) u ( t ) = 0 , t > 0 , and the DE which corresponds to Equation (30) is
p K ( d d s , s ) u ^ ( s ) = d d s [ ( s 2 b s ) u ^ ( s ) ] + ( c s a b ) u ^ ( s ) = ( 1 c ) u 0 ,
where the rhs is evaluated by using the first equality and Equations (24) and (26) as
p K ( d d s , s ) u ^ ( s ) z = d d s ( u 1 + u 0 · s b · u 0 ) + c · u 0 = u 0 + c · u 0 .

4.1. Solution Satisfying ( 1 c ) u 0 = 0

When ( 1 c ) u 0 = 0 , the rhs of Equation (50) is 0, and the solution of Equation (50) is given by
u ^ ( s ) = C s a 1 ( s b ) 1 a + c = C s 2 + c k = 0 ( 1 + a c ) k k ! ( b s ) k = C s 2 + c · 1 F 0 ( 1 + a c ; ; b s ) , | s | > | b | ,
where 1 F 0 ( a ; ; z ) = k = 0 ( a ) k k ! z k and C is an arbitrary constant. If 1 c Z < 1 , u ^ ( s ) is of the form of Equation (9), and we can take its inverse Laplace transform. Then, choosing C = Γ ( 2 c ) , we obtain
u ( t ) = Γ ( 2 c ) t 1 c k = 0 ( 1 + a c ) k k ! Γ ( 2 c + k ) b k t k = t 1 c · 1 F 1 ( 1 + a c ; 2 c ; b t ) , t > 0 ,
by using the formula Γ ( 2 c + k ) = Γ ( 2 c ) ( 2 c ) k . This is the solution given by Equation (7).
By Corollary 4, we confirm the following lemma.
Lemma 14. 
If 1 c Z < 0 , then u ( t ) given by Equation (53) is a solution of Equation (5).
The derivation of this lemma based on the distribution theory is as follows. When 1 c Z < 0 , u ˜ ( t ) = u ^ ( D ) δ ( t ) takes the form of Equation (43), and satisfies p K ( D , D ) u ^ ( D ) δ ( t ) = ( 1 c ) u 0 · δ ( t ) = 0 . We put C = Γ ( 2 c ) , and then the corresponding solution u ( t ) is given by Equation (53), by Corollary 8.

4.2. Solution Satisfying u 0 = 1

In [4,5,6], the other solution given by Equation (6) of Equation (5) is obtained by solving the inhomogeneous Equation (50) for b 0 , 1 c 0 and u 0 = 1 . We note here that the method using the following lemma with the aid of the solution given by Equation (53), which is already obtained, is easier.
Lemma 15. 
If u ( a , c ; b t ) is a solution of Equation (5), t 1 c u ( 1 + a c , 2 c ; b t ) is also a solution of the same equation.
Proof 
We put u ( t ) = t λ w ( t ) in Equation (5), and then we obtain Equation (5) with a, c and u replaced by 1 + a c , 2 c and w, respectively, when λ = 1 c .  ■

4.3. Solution by the Basic Method

We note that the solutions of Equations (5) and (50) are obtained by using the basic method of solution, which is explained in [14] (Section 10.3). In that method, the solution of Equation (5) is assumed to be given by
u ( t ) = t α k = 0 p k t k ,
where α C Z < 1 , p k C and p 0 0 . Then, by Theorem 2, we have
u ^ ( s ) = s α 1 k = 0 p ^ k s k ,
where p ^ k = p k Γ ( α + k + 1 ) .
In solving Equation (5), Equation (54) is put in it. In solving Equation (50), Equation (55) is put in it. We then note that the condition of p ^ 0 = p 0 Γ ( α + 1 ) = C 0 requires (i) α = 1 c and p ^ 0 = p 0 Γ ( 2 c ) 0 , or (ii) α = 0 and p ^ 0 = p 0 = u 0 0 . Then p ^ k or p k for k Z > 0 are determined by
p ^ k = p ^ k 1 α + a + k 1 α + c + k 1 b = p 0 Γ ( α + 1 ) ( α + a ) k ( α + c ) k b k , p k = p k 1 α + a + k 1 ( α + c + k 1 ) ( α + k ) b = p 0 ( α + a ) k ( α + c ) k ( α + 1 ) k b k .
When α = 0 , we have
p ^ k = p 0 ( a ) k ( c ) k b k , p k = p 0 ( a ) k k ! ( c ) k b k .
When α = 1 c , we have
p ^ k = p 0 Γ ( 2 c ) ( 1 + a c ) k k ! b k , p k = p 0 ( 1 + a c ) k k ! ( 2 c ) k b k .
Using Equation (58) with α = 1 c and p 0 = 1 in Equations (55) and (54), we obtain Equations (52) and (53), respectively. Using Equation (57) with α = 0 and p 0 = 1 in Equation (54), we obtain Equation (6).

4.4. Solution by the Modified Nishimoto’s Method

In [25], the solution of Kummer’s DE is given by modified Nishimoto’s method, where the solution is expressed by fD of a function. In that paper, the solution given by Equation (53) of Equation (5) is obtained by using Lemma 11 and Proof of Lemma 10 in [25] (Section 3.2).
Remark 6. 
In Lemmas 9 and 10 in [25], four of Kummer’s eight solutions of Kummer’s DE are given. We note here that these lemmas are applicable to the modified Kummer’s DE, if we introduce the following replacements in Sections 3.1 and 3.2 in [25]. We replace (i): (11) in Lemma 9 and in Proof of Lemma 9 by (18), (ii): e z in Equations (14), (16) and (17) by e δ · z ; (iii): 1 and 1 in the column for δ l in Table 2 by δ and δ , respectively; (iv): 1 F 1 ( * ; * ; z ) and 1 F 1 ( * ; * ; z ) in (16) and (17) by 1 F 1 ( * ; * ; δ · z ) and 1 F 1 ( * ; * ; δ · z ) , respectively, and (v): δ 4 = δ 3 = 1 in Proof of Lemma 9 by δ 4 = δ 3 = δ .

5. Solution of the Hypergeometric DE

In solving the hypergeometric DE given by Equation (10), we introduce p H ( t , s ) , by
p H ( t , s ) = t ( 1 t ) · s 2 + [ c ( a + b + 1 ) t ] · s a b = t 2 · s 2 + t [ s 2 ( a + b + 1 ) s ] + c s a b .
Now, we put u ^ ( s ) = L S [ u ( t ) ] and then the DE which corresponds to Equation (30) is
p H ( d d s , s ) u ^ ( s ) = d 2 d s 2 [ s 2 u ^ ( s ) ] d d s [ ( s 2 ( a + b + 1 ) s ) u ^ ( s ) ] + ( c s a b ) · u ^ ( s ) = ( 1 c ) u 0 ,
where the rhs is evaluated by using the first equality and Equations (24) and (26) as
p H ( d d s , s ) u ^ ( s ) z = u 0 + c · u 0 .
Lemma 16. 
Let u ^ ( s ) be a solution of Equation (60), u ^ ( s ) = s a 1 w ^ ( s ) and
p W ( t , s ) = t 2 · s + t ( s ( 1 a + b ) ) ( a c ) .
Then, w ^ ( s ) is a solution of the following DE:
p W ( d d s , s ) w ^ ( s ) = d 2 d s 2 [ s · w ^ ( s ) ] d d s [ ( s ( 1 a + b ) ) w ^ ( s ) ] ( a c ) w ^ ( s ) = ( 1 c ) u 0 s a .
Proof 
We put u ^ ( s ) = s λ v ^ ( s ) in Equation (60). By using d d s [ s λ v ^ ( s ) ] = s λ [ λ s 1 v ^ ( s ) + d d s v ^ ( s ) ] and
d 2 d s 2 [ s λ v ^ ( s ) ] = s λ { λ ( λ 1 ) s 2 v ^ ( s ) + 2 λ d d s [ s 1 v ^ ( s ) ] + d 2 d s 2 v ^ ( s ) } ,
we obtain
d 2 d s 2 [ s 2 v ^ ( s ) ] d d s [ ( s ( 1 2 λ + a + b ) ) s · v ^ ( s ) ] [ ( λ c ) s + ( λ a ) ( λ b ) ] v ^ ( s ) = ( 1 c ) u 0 s λ .
When λ = a and w ^ ( s ) = s · v ^ ( s ) , this gives Equation (63).  ■

5.1. Solution Satisfying ( 1 c ) u 0 = 0

In this section, we use the distribution theory in the space D r , R for r = 1 , so that δ 1 ( t ) appears.
Lemma 17. 
Let a c Z < 0 . Then, we have the following complementary solution (C-solution) of Equation (63):
w ^ ( s ) = K s 1 a + c k = 0 ( 1 + b c ) k ( 1 + a c ) k k ! s k = K s 1 a + c · 2 F 0 ( 1 + b c , 1 + a c ; ; s 1 ) ,
where K is any constant, and 2 F 0 ( a , b ; ; z ) = k = 0 ( a ) k ( b ) k k ! z k .
Proof 
For p W ( t , s ) given by Equation (62), we choose the DE for w ( t ) as follows:
p W ( t , d d t ) w ( t ) = ( t t 2 ) d d t w ( t ) [ ( 1 a + b ) t + ( a c ) ] w ( t ) = 0 , t > 0 .
The solution of this DE is
w ( t ) = C 1 · t a c ( 1 t ) 1 b + c = C 1 · t a c k = 0 ( 1 + b c ) k k ! t k = C 1 · t a c 1 F 0 ( 1 + b c ; ; t ) , 0 < t < 1 ,
where C 1 is an arbitrary constant. w ^ ( s ) given by Equation (65) is the term-by-term Laplace transform of this w ( t ) . Theorem 2 and Proposition 5 show that Equation (63) for ( 1 c ) u 0 = 0 is satisfied by this w ^ ( s ) , since the first equality of Equation (63) shows p W ( d d s , s ) w ^ ( s ) z = 0 ,
If a c Z < 0 , this w ( t ) takes the form of Equation (3), and the corresponding w ˜ ( t ) , expressed as Equation (43), is given by w ˜ ( t ) = w ^ ( D ) δ 1 ( t ) , when w ^ ( s ) is given by Equation (65) and K = C 1 · Γ ( 1 + a c ) .  ■
Remark 7. 
We note that w ^ ( s ) given by Equation (65) converges for no value of s, but w ˜ ( t ) = w ^ ( D ) δ 1 ( t ) obtained by using this w ^ ( s ) corresponds to Equation (67). Moreover, we note that Equation (67) is obtained from Equation (65) by term-by-term inverse Laplace transform.
We choose K = Γ ( 2 c ) . Then, by Lemmas 16 and 17,
u ^ ( s ) = s a 1 w ^ ( s ) = Γ ( 2 c ) s 2 + c · 2 F 0 ( 1 + a c , 1 + b c ; ; s 1 )
is a solution of Equation (63). Now, by its term-by-term inverse Laplace transform, or from u ˜ ( t ) = u ^ ( D ) δ 1 ( t ) = D a 1 w ^ ( D ) δ 1 ( t ) , we obtain u ( t ) given by Equation (12), if 2 c Z < 1 . We note that ( 1 c ) u 0 = 0 for this solution u ( t ) if 1 c Z < 1 .
Remark 8. 
Since u ^ ( s ) = s a 1 w ^ ( s ) , u ˜ ( t ) = u ^ ( D ) δ 1 ( t ) = D a 1 w ^ ( D ) δ 1 ( t ) , and hence the solution given by Equation (12) is obtained by using Equation (67) in u ( t ) = 0 D R a 1 w ( t ) .
Remark 9. 
Remark 7 is valid even when w, Equation (65) and Equation (67) are replaced by u, Equations (68) and (12), respectively.

5.2. Solution Satisfying u 0 = 1

The other solution given by Equation (11) is obtained by solving the inhomogeneous Equation (63) for 1 c 0 and u 0 = 1 . We note here that the method using the following lemma with the solution given by Equation (12), which is already obtained, is easier.
Lemma 18. 
If u ( a , b , c ; t ) is a solution of Equation (10), t 1 c · u ( 1 + a c , 1 + b c , 2 c ; t ) is also a solution of the same equation.
Proof 
We put u ( t ) = t λ w ( t ) in Equation (10), and then we obtain Equation (10) with a, b, c and u replaced by 1 + a c , 1 + b c , 2 c and w, respectively, when λ = 1 c .  ■

5.3. Solution by the Basic Method

The statements in Section 4.3 are valid even if we replace Equations (50), (5), (52) and (53) by Equations (60), (10), (68) and (12), respectively. Here, Equations (56)∼(58) also must be replaced by
p ^ k = p ^ k 1 ( α + a + k 1 ) ( α + b + k 1 ) α + c + k 1 = p 0 Γ ( α + 1 ) ( α + a ) k ( α + b ) k ( α + c ) k , p k = p k 1 ( α + a + k 1 ) ( α + b + k 1 ) ( α + c + k 1 ) ( α + k ) = p 0 ( α + a ) k ( α + b ) k ( α + c ) k ( α + 1 ) k .
When α = 0 , we have
p ^ k = p 0 ( a ) k ( b ) k ( c ) k , p k = p 0 ( a ) k ( b ) k k ! ( c ) k ,
When α = 1 c , we have
p ^ k = p 0 Γ ( 2 c ) ( 1 + a c ) k ( 1 + b c ) k k ! , p k = p 0 ( 1 + a c ) k ( 1 + b c ) k k ! ( 2 c ) k .
Using Equation (71) with α = 1 c and p 0 = 1 in Equations (54) and (55), we obtain Equations (12) and (68), respectively. Using Equation (70) with α = 0 and p 0 = 1 in Equation (54), we obtain Equation (11).

5.4. Solution by the Modified Nishimoto’s Method

In [26], the solution of the hypergeometric DE is given by modified Nishimoto’s method, where the solution is expressed by fD of a function. In that paper, Kummer’s 24 solutions of the DE are obtained by that method.

6. Solution of Bessel’s DE

We now take up Bessel’s DE:
t 2 · d 2 d t 2 u ( t ) + t · d d t u ( t ) + ( t 2 ν 2 ) · u ( t ) = 0 , t > 0 ,
where ν C is a constant. The Bessel functions J ± ν ( t ) are solutions of this DE, where
J ν ( t ) = ( t 2 ) ν k = 0 ( 1 ) k k ! Γ ( ν + k + 1 ) ( t 2 4 ) k = ( t 2 ) ν 1 Γ ( ν + 1 ) 0 F 1 ( ; ν + 1 ; t 2 4 ) ,
for ν Z < 0 , where 0 F 1 ( ; c ; z ) = k = 0 1 k ! ( c ) k z k .
In order to obtain the solutions given by Equation (73) by the present method, we put x = t 2 and u ( t ) = t λ v ( x ) in Equation (72). Then, if λ = ν , we obtain the DE for v ( x ) :
p B ( x , d d x ) v ( x ) = 4 x · d 2 d x 2 v ( x ) + 4 ( ν + 1 ) · d d x v ( x ) + v ( x ) = 0 , x > 0 ,
and if λ = ν , we obtain the same equation with ν replaced by ν .
When λ = ν , by Theorem 2, the DE satisfied by the AC-Laplace transform v ^ ( s ) of v ( x ) is given by
p B ( d d s , s ) v ^ ( s ) = 4 d d s [ s 2 v ^ ( s ) ] + [ 4 ( ν + 1 ) s + 1 ] v ^ ( s ) = 4 ν v 0 .
The solution satisfying ν v 0 = 0 is given by
v ^ ( s ) = C s ν 1 e 1 / ( 4 s ) = C s ν 1 k = 0 ( 1 ) k k ! 1 ( 4 s ) k ,
where C is an arbitrary constant. By the inverse Laplace transform, we obtain
v ( x ) = C x ν k = 0 ( 1 ) k k ! Γ ( k ν + 1 ) ( x 4 ) k = C x ν 1 Γ ( 1 ν ) · 0 F 1 ( ; 1 ν ; x 4 ) .
This satisfies ν v 0 = 0 if ν Z > 0 . By Corollary 4, this v ( x ) is a solution of Equation (74) if ν Z > 0 .
Using this in u ( t ) = t ν v ( t 2 ) and putting C = 2 ν , we have u ( t ) = J ν ( t ) . When λ = ν , we obtain u ( t ) = J ν ( t ) .

7. Solution of Hermite’s DE

We now take up Hermite’s DE:
d 2 d t 2 u ( t ) t · d d t u ( t ) + n · u ( t ) = 0 , t > 0 ,
where n Z > 1 is a constant. The Hermite polynomial H e n ( t ) and the Hermite function of the second kind h e n ( t ) are solutions of this DE. In [11] (p. 82), they are expressed as
H e 2 l ( t ) = ( 1 ) l 2 l ( 2 l ) ! l ! · 1 F 1 ( l ; 1 2 ; t 2 2 ) , H e 2 l + 1 ( t ) = ( 1 ) l 2 l ( 2 l + 1 ) ! l ! · t · 1 F 1 ( l ; 3 2 ; t 2 2 ) ,
h e 2 l ( t ) = ( 1 ) l 2 l l ! · t · 1 F 1 ( 1 2 l ; 3 2 ; t 2 2 ) , h e 2 l + 1 ( t ) = ( 1 ) l + 1 2 l l ! · 1 F 1 ( 1 2 l ; 1 2 ; t 2 2 ) ,
for l Z > 1 .
In order to obtain these solutions by the present method, we put x = t 2 and u ( t ) = v ( x ) in Equation (78). Then, we obtain the DE for v ( x ) :
x · d 2 d x 2 v ( x ) + ( 1 2 1 2 x ) · d d x v ( x ) + 1 4 n · v ( x ) = 0 , x > 0 .
This DE is Equation (5) with t, u ( t ) , c, b and a replaced by x, v ( x ) , 1 2 , 1 2 and 1 2 n , respectively. Corresponding to the solutions given by Equations (6) and (7) of Equation (5), we have the following solutions of Equation (81):
v n , 1 ( x ) = 1 F 1 ( 1 2 n ; 1 2 ; x 2 ) , v n , 2 ( x ) = x 1 / 2 · 1 F 1 ( 1 2 1 2 n ; 3 2 ; x 2 ) .
The solutions given by Equations (79) and (80) of Equation (78) are given by
H e 2 l ( t ) = C 1 v 2 l , 1 ( t 2 ) , H e 2 l + 1 ( t ) = C 2 v 2 l + 1 , 2 ( t 2 ) ,
h e 2 l ( t ) = C 3 v 2 l , 2 ( t 2 ) , h e 2 l + 1 ( t ) = C 4 v 2 l + 1 , 1 ( t 2 ) ,
for l Z > 1 , where C k for k Z [ 1 , 4 ] are constants.

8. Conclusions

In the present paper, we are concerned with the problem of obtaining a solution u ( t ) of a DE with polynomial coefficients.
We know that by the basic method of solution [14] (Section 10.4), we usually obtain solutions in the form of Equation (54) which are a power of t multiplied by a power series in t. In the present paper, we are interested in obtaining the solutions with the aid of AC of Riemann–Liouville fD along with distribution theory or the Laplace transform or its AC.
We then set up the DE satisfied by the AC-Laplace transform, u ^ ( s ) , of u ( t ) . The obtained DE for u ^ ( s ) is found to be a DE with polynomial coefficients.
We now obtain the solution in the form of Equation (55) which is a power of s multiplied by a power series in s 1 , by solving the DE for u ^ ( s ) . When it converges at large | s | , it is the Laplace transform of a solution of the DE for u ( t ) or its AC.
In Section 4, we obtain such a solution u ^ ( s ) that the series in it converges at | s | > | b | for b 0 . Then, we obtain the solution u ( t ) by term-by-term inverse Laplace transform by writing the distribution associated with the solution u ( t ) , by using the obtained u ^ ( s ) . In Section 6, another example is given.
In Section 5, we obtain such a solution u ^ ( s ) that the series in it converges for no value of s. Then, we obtain the solution u ( t ) by writing the distribution u ˜ ( t ) = u ^ ( D ) δ 1 ( t ) associated with the solution u ( t ) , by using the obtained non-convergent series of s 1 for u ^ ( s ) . The result is seen to be obtained by term-by-term inverse Laplace transform of u ^ ( s ) , as mentioned in Section 3.2.
We may conclude the study in this paper as follows. When we desire to obtain the solution u ( t ) of a linear DE with polynomial coefficients, in the form of Equation (3), we can obtain it, by setting up the DE for the AC-Laplace transform u ^ ( s ) , obtaining its solution in the form of Equation (9), and then taking its term-by-term inverse Laplace transform.
We can obtain the solution of the DE for u ^ ( s ) by the basic method, obtaining it in the form of Equation (55). Comparing the solutions of the DE for u ( t ) and u ^ ( s ) , obtained by the basic method of solution, we find that the solution u ^ ( s ) is the term-by-term Laplace transform of u ( t ) . Thus, we obtain u ( t ) by the term-by-term inverse Laplace transform of u ^ ( s ) , when the latter is obtained.

Acknowledgments

Section 1.2 and the paragraphs related with the basic references [21,22,23,24] on distribution theory in Section 3.3 are written in response to the recommendations of the reviewers of this paper.

Author Contributions

Stimulated by Yosida’s work [1,2], a number of papers [4,5,6] were written on the solution of Laplace’s DE. But the research there are mainly focussed on Kummer’s DE. In this situation, Tohru Morita came to the idea that distributions in the space D r , R must be useful in solving the hypergeometric DE. Based on the idea, Tohru Morita and Ken-ichi Sato worked together to write this paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Yosida, K. The Algebraic Derivative and Laplace’s Differential Equation. Proc. Jpn. Acad. Ser. A 1983, 59, 1–4. [Google Scholar] [CrossRef]
  2. Yosida, K. Operational Calculus; Springer-Verlag: New York, NY, USA, 1982. [Google Scholar]
  3. Mikusiński, J. Operational Calculus; Pergamon Press: London, UK, 1959. [Google Scholar]
  4. Morita, T.; Sato, K. Remarks on the Solution of Laplace’s Differential Equation and Fractional Differential Equation of That Type. Appl. Math. 2013, 4, 13–21. [Google Scholar] [CrossRef]
  5. Morita, T.; Sato, K. Solution of Laplace’s Differential Equation and Fractional Differential Equation of That Type. Appl. Math. 2013, 4, 26–36. [Google Scholar] [CrossRef]
  6. Morita, T.; Sato, K. Solution of Differential Equations with the Aid of Analytic Continuation of Laplace Transform. Appl. Math. 2014, 5, 1309–1319. [Google Scholar] [CrossRef]
  7. Lavoie, J.L.; Tremblay, R.; Osler, T.J. Fundamental Properties of Fractional Derivatives Via Pochhammer Integrals. In Fractional Calculus and Its Applications; Ross, B., Ed.; Lecture Notes in Mathematics; Springer: Berlin, Germany; Heidelberg, Germany, 1975; Volume 457, pp. 327–356. [Google Scholar]
  8. Lavoie, J.L.; Osler, T.J.; Tremblay, R. Fractional Derivatives and Special Functions. SIAM Rev. 1976, 18, 240–268. [Google Scholar] [CrossRef]
  9. Morita, T.; Sato, K. Liouville and Riemann-Liouville Fractional Derivatives via Contour Integrals. Fract. Calc. Appl. Anal. 2013, 16, 630–653. [Google Scholar] [CrossRef]
  10. Abramowitz, M.; Stegun, I.A. Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables; Dover Publ., Inc.: New York, NY, USA, 1972. [Google Scholar]
  11. Magnus, M.; Oberhettinger, F. Formulas and Theorems for the Functions of Mathematical Physics; Chelsea Publ. Co.: New York, NY, USA, 1949. [Google Scholar]
  12. Morita, T.; Sato, K. Solution of Fractional Differential Equation in Terms of Distribution Theory. Interdiscip. Inf. Sci. 2006, 12, 71–83. [Google Scholar] [CrossRef]
  13. Morita, T.; Sato, K. Neumann-Series Solution of Fractional Differential Equation. Interdiscip. Inf. Sci. 2010, 16, 127–137. [Google Scholar] [CrossRef]
  14. Whittaker, E.T.; Watson, G.N. A Course of Modern Analysis; Cambridge U.P.: Cambridge, UK, 1935. [Google Scholar]
  15. He, J.H. A Tutorial Review on Fractal Spacetime and Fractional Calculus. Int. J. Theor. Phys. 2014, 53, 3698–3718. [Google Scholar] [CrossRef]
  16. Liu, F.J.; Li, Z.B.; Zhang, S.; Liu, H.Y. He’s Fractional Derivative for Heat Conduction in a Fractal Medium Arising in Silkworm Cocoon Hierarchy. Therm. Sci. 2015, 19, 1155–1159. [Google Scholar] [CrossRef]
  17. Kumar, D.; Singh, J.; Kumar, S. A Fractional Model of Navier-Stokes Equation Arising in Unsteady Flow of a Viscous Fluid. J. Assoc. Arab Univ. Basic Appl. Sci. 2015, 17, 14–17. [Google Scholar] [CrossRef]
  18. Kumar, D.; Singh, J.; Kumar, S.; Sushila; Singh, B.P. Numerical Computation of Nonlinear Shock Wave Equation of Factional Order. Ain Shams Eng. J. 2015, 6, 605–611. [Google Scholar] [CrossRef]
  19. He, J.H.; Elagan, S.K.; Li, Z.B. Geometrical Explanation of the Fractional Complex Transform and Derivative Chain Rule for Fractional Calculus. Phys. Lett. A 2013, 376, 257–259. [Google Scholar] [CrossRef]
  20. Jia, S.M.; Hu, M.S.; Chen, Q.L.; Jia, Z.J. Exact Solution of Fractional Nizhnik-Novikov-Veselov Equation. Therm. Sci. 2014, 18, 1715–1717. [Google Scholar] [CrossRef]
  21. Schwartz, L. Théorie des Distributions; Hermann: Paris, France, 1966. [Google Scholar]
  22. Gelfand, I.M.; Silov, G.E. Generalized Functions; Academic Press Inc.: New York, NY, USA, 1964; Volume 1. [Google Scholar]
  23. Vladimirov, V.S. Methods of the Theory of Generalized Functions; Taylor & Francis Inc.: New York, NY, USA, 2002. [Google Scholar]
  24. Zemanian, A.H. Distribution Theory and Transform Analysis; Dover Publ., Inc.: New York, NY, USA, 1965. [Google Scholar]
  25. Morita, T.; Sato, K. Asymptotic Expansions of Fractional Derivatives and Their Applications. Mathematics 2015, 3, 171–189. [Google Scholar] [CrossRef]
  26. Morita, T.; Sato, K. Kummer’s 24 Solutions of the Hypergeometric Differential Equation with the Aid of Fractional Calculus. Adv. Pure Math. 2016, 6, 180–191. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Morita, T.; Sato, K.-i. Solution of Differential Equations with Polynomial Coefficients with the Aid of an Analytic Continuation of Laplace Transform. Mathematics 2016, 4, 19. https://doi.org/10.3390/math4010019

AMA Style

Morita T, Sato K-i. Solution of Differential Equations with Polynomial Coefficients with the Aid of an Analytic Continuation of Laplace Transform. Mathematics. 2016; 4(1):19. https://doi.org/10.3390/math4010019

Chicago/Turabian Style

Morita, Tohru, and Ken-ichi Sato. 2016. "Solution of Differential Equations with Polynomial Coefficients with the Aid of an Analytic Continuation of Laplace Transform" Mathematics 4, no. 1: 19. https://doi.org/10.3390/math4010019

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop