Next Article in Journal
Krylov Implicit Integration Factor Methods for Semilinear Fourth-Order Equations
Next Article in Special Issue
Correction: Thabet, H.; Kendre, S.; Chalishajar, D. New Analytical Technique for Solving a System of Nonlinear Fractional Partial Differential Equations Mathematics 2017, 5, 47
Previous Article in Journal / Special Issue
Mixed Order Fractional Differential Equations
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Solution of Inhomogeneous Differential Equations with Polynomial Coefficients in Terms of the Green’s Function

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 2017, 5(4), 62; https://doi.org/10.3390/math5040062
Submission received: 30 September 2017 / Revised: 31 October 2017 / Accepted: 6 November 2017 / Published: 10 November 2017
(This article belongs to the Special Issue Operators of Fractional Calculus and Their Applications)

Abstract

:
The particular solutions of inhomogeneous differential equations with polynomial coefficients in terms of the Green’s function are obtained in the framework of distribution theory. In particular, discussions are given on Kummer’s and the hypergeometric differential equation. Related discussions are given on the particular solution of differential equations with constant coefficients, by the Laplace transform.

1. Introduction

In our recent papers [1,2], we are concerned with the solution of Kummer’s and hypergeometric differential equations, where complementary solutions expressed by the confluent hypergeometric series and the hypergeometric series, respectively, are obtained, by using the Laplace transform, its analytic continuation, distribution theory and the fractional calculus.
It is the purpose of the present paper, to give the formulas which give the particular solutions of those equations with inhomogeneous term in terms of the Green’s function. The differential equation satisfied by the Green’s function is expressed with the aid of Dirac’s delta function, which is defined in distribution theory, and hence the presentation in distribution theory is adopted.
Let
p K ( t , s ) : = t · s 2 + ( c b t ) s a b ,
where a C , b C and c C . Then Kummer’s differential equation with an inhomogeneous term is given by
p K ( t , d d t ) u ( t ) : = t · d 2 d t 2 u ( t ) + ( c b t ) · d d t u ( t ) a b · u ( t ) = f ( t ) , t > 0 .
If c Z , the basic complementary solutions of Equation (2) are given by
K 1 ( t ) : = 1 F 1 ( a ; c ; b t ) ,
K 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, ( a ) k = l = 0 k 1 ( a + l ) for k Z > 0 , and ( a ) 0 = 1 .
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 } , 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 Z and b Z satisfying a < b . We use Heaviside’s step function H ( t ) , which is defined by
H ( t ) = 1 , t > 0 , 0 , t 0 ,
and when f ( t ) is defined on R > τ , f ( t ) H ( t τ ) is equal to f ( t ) for t > τ and to 0 for t τ .
When c C satisfies Re ( 1 c ) > 1 , the solution K 2 ( t ) has the Laplace transform:
K ^ 2 ( s ) = L [ K 2 ( t ) ] : = 0 K 2 ( t ) e s t d t ,
and is obtained by solving the Laplace transform of Equation (2). In [1,2], we confirm that the solution K 2 ( t ) is obtained by using an analytic continuation of the Laplace transform (AC-Laplace transform) for all nonzero values of c C \ Z > 0 .
The complementary solution of the hypergeometric differential equation, corresponding to K 2 ( t ) , is found to be obtained by using the Laplace transform series, where the Laplace transforms of the solutions are expresssed by a series of powers of s 1 multipied by a power of s, which has zero range of convergence. In fact, the series is the asymptotic expansion of Kummer’s function U ( a , b , z ) ([3], Section 13.5), which is discussed also in [4]. Even in that case, by the term-by-term inverse Laplace transform, we obtain the desired result. The calculation was justified by distribution theory [2].
In the present paper, we present the solutions giving particular solutions of Kummer’s and the hypergeometric differential equation in terms of the Green’s function with the aid of distribution theory.
In Section 2, we present the formulas in distribution theory, which are given in the book of Zemanian ([5], Section 6.3), where the particular solution of differential equation with constant coefficients is obtained. We use them in giving the particular solution of differential equation with polynomial coefficients in terms of the Green’s function in Section 3, and the solutions are obtained by this method for Kummer’s and the hypergeometric differential equation in Section 4 and Section 5, respectively.
In Section 2.2, a formulation of the Laplace transform based on distribution theory is given, which is related with the one in ([5], Section 8.3).The particular solution of differential equation with constant coefficients is obtained by using the AC-Laplace transform in Section 6, which is compared with the formulation of the solution in distribution theory given in Section 3.1, where the Green’s function plays an important role. In Section 6.1 and Section 6.2, the solutions of differentaal equations of the first order and of the second order, respectively, are given.
We mention here that there are papers in which systematic study is made on polynomial solutions of inhomogeneous differential equation with polynomial coefficients; see [6] and its references. In the present paper, we are concerned with infinite series solutions. In our preceding papers [7,8] stimulated by Yosida’s works [9,10] on Laplace’s differential equations, of which typical one is Kummer’s equation, we sudied the solution of Kummer’s equation and a simple fractional differential equation on the basis of fractional calculus and distribution theory. In [1], we discussed it in terms of the AC-Laplace transform. In [4], we applied the arguments in [1] to the solution of the homogeneous hypergeometric equation. We now discuss the solution of inhomogeneous equations in terms of the Green’s function and distribution theory. In [11,12], the solution of inhomogeneous differential equation with constant coefficients is discussed in terms of the Green’s function and distribution theory. In Section 6, we discuss it in terms of the Green’s function and the AC-Laplace transform, where we obtain the solution which is not obtained with the aid of the usual Laplace transform.

2. Preliminaries on Distribution Theory

Distributions in the space D are first introduced in [5,13,14,15]. The distributions are either regular ones or their derivatives. A regular distribution f ˜ in D corresponds to a function f which belongs to L l o c 1 ( R ) . Here L l o c 1 ( R ) denotes the class of functions which are locally integrable on R . A distribution h ˜ , which is not a regular one, is expressed as h ˜ ( t ) = D n f ˜ ( t ) , by n Z > 0 and a regular distribution f ˜ D .
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.
Definition 1.
A distribution h ˜ D is a functional, to which h ˜ , ϕ C is associated with every ϕ D . Let f ˜ be the regular distribution which corresponds to a function f L l o c 1 ( R ) . Then (i):
f ˜ , ϕ = f ( t ) ϕ ( t ) d t ,
and (ii): if n Z > 0 , h ˜ ( t ) = D n f ˜ ( t ) is such a distribution belonging to D , that
h ˜ , ϕ = D n f ˜ , ϕ = f ˜ , D W n ϕ = f ( t ) [ D W n ϕ ( t ) ] d t ,
where D W n ϕ ( t ) = ( 1 ) n d n d t n ϕ ( t ) .
Lemma 1.
Let f ˜ be as in Definition 1, and g ( t ) : = d n d t n f ( t ) = f ( n ) ( t ) L l o c 1 ( R ) , and the distribution which corresponds to g ( t ) = f ( n ) ( t ) , be g ˜ ( t ) . Then g ˜ ( t ) = D n f ˜ ( t ) .
Proof. 
By using Equations (7) and (8), we have
g ˜ , ϕ = [ d n d t n f ( t ) ] ϕ ( t ) d t = f ( t ) [ D W n ϕ ( t ) ] d t = D n f ˜ , ϕ .
 ☐
Lemma 2.
D n for n Z > 1 are operators in the space D .
Definition 2.
Let H ( t ) be defined by Equation (5), τ R , and ψ ( t ) be such that ψ ( t ) H ( t τ ) L l o c 1 ( R ) . Then the regular distributions which correspond to H ( t τ ) and ψ ( t ) H ( t τ ) are denoted by H ˜ ( t τ ) and ψ ( t ) H ˜ ( t τ ) , respectively.
Lemma 3.
Let τ R , and ψ ( t ) be such that ψ ( τ ) = 0 and d d t [ ψ ( t ) H ( t τ ) ] = [ d d t ψ ( t ) ] H ( t τ ) L l o c 1 ( R ) . Then
D [ ψ ( t ) H ˜ ( t τ ) ] = [ d d t ψ ( t ) ] H ˜ ( t τ ) .
Proof. 
We confirm this with the aid of Lemma 1 and Definition 2. ☐
Dirac’s delta function δ ( t ) is defined by
δ ( t ) = D H ˜ ( t ) .
Lemma 4.
Let τ R , and ψ ( t ) be such that d d t ψ ( t ) · H ( t τ ) L l o c 1 ( R ) . Then
D [ ψ ( t ) H ˜ ( t τ ) ] = d d t ψ ( t ) · H ˜ ( t τ ) , ψ ( τ ) = 0 , d d t ψ ( t ) · H ˜ ( t τ ) + ψ ( τ ) δ ( t τ ) , ψ ( τ ) 0 .
Proof. 
The lhs is expressed as
D [ ψ ( t ) H ˜ ( t τ ) ] = D [ [ ψ ( t ) ψ ( τ ) ] H ˜ ( t τ ) ] + ψ ( τ ) D H ˜ ( t τ ) .
From this, we obtain Equation (12), with the aid of Lemma 3 and Equation (11). ☐
Corollary 1.
Let τ R , and ψ ( t ) be such that d 2 d t 2 ψ ( t ) · H ( t τ ) L l o c 1 ( R ) . Then
D 2 [ ψ ( t ) H ˜ ( t τ ) ] = d 2 d t 2 ψ ( t ) · H ˜ ( t τ ) + ψ ( τ ) δ ( t τ ) + ψ ( τ ) D δ ( t τ ) .
Corollary 2.
Let τ R , l Z > 0 , ψ ( t ) be such that d l d t l ψ ( t ) · H ( t τ ) L l o c 1 ( R ) , and ψ ˜ τ ( t ) = ψ ( t ) H ˜ ( t τ ) . Then
D l ψ ˜ τ ( t ) = D l [ ψ ( t ) H ˜ ( t τ ) ] = d l d t l ψ ( t ) · H ˜ ( t τ ) + D l ψ ^ τ ( D ) 0 δ ( t τ ) ,
([5], Section 6.3), where
D l ψ ^ τ ( D ) 0 = k = 0 l 1 ψ ( k ) ( τ ) D l k 1 .
When l = 1 and l = 2 , we have
D ψ ^ τ ( D ) 0 = ψ ( τ ) , D 2 ψ ^ τ ( D ) 0 = ψ ( τ ) + ψ ( τ ) D .
Equations (16) are obtained by comparing Equation (14) with Equations (12) and (13).
Corollary 3.
Let τ R , n Z > 0 , ψ ( t ) be such that d n d t n ψ ( t ) · H ( t τ ) L l o c 1 ( R ) , ψ ˜ τ ( t ) : = ψ ( t ) H ˜ ( t τ ) , and
p n ( t , d d t ) ψ ( t ) : = l = 0 n a l ( t ) d l d t l ψ ( t ) ,
where a l ( t ) are polynomials of t. Then
p n ( t , D ) ψ ˜ τ ( t ) : = l = 0 n a l ( t ) D l ψ ˜ τ ( t ) = p n ( t , d d t ) ψ ( t ) · H ˜ ( t τ ) + l = 1 n a l ( t ) D l ψ ^ τ ( D ) 0 δ ( t τ ) ,
where D l ψ ^ τ ( D ) 0 are given by Equations (15) and (16).
In estimating the last term of Equation (18), we use the following lemma.
Lemma 5.
Let u ˜ ( t ) D R , and h ( t ) be such that h ( t ) ϕ ( t ) D R if ϕ D R . Then
h ( t ) D u ˜ ( t ) = D [ h ( t ) u ˜ ( t ) ] h ( t ) u ˜ ( t ) .
Proof. 
h ( t ) D u ˜ ( t ) , ϕ ( t ) = u ˜ ( t ) , D W [ h ( t ) ϕ ( t ) ] = h ( t ) u ˜ ( t ) + D [ h ( t ) u ˜ ( t ) ] , ϕ ( t ) ,
since D W [ h ( t ) ϕ ( t ) ] = h ( t ) ϕ ( t ) + h ( t ) D W ϕ ( t ) . ☐

2.1. Fractional Derivative and Distributions in the Space D R

We consider the space D R [11,12]. 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. A distribution h ˜ , which is not a regular one, is expressed as h ˜ ( t ) = D n f ˜ ( t ) , by n Z > 0 and a regular distribution f ˜ D R . 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.
We consider the Riemann-Liouville fractional integral and derivatives c D R μ f ( z ) of order μ C , when we may usually discuss the derivative d n d z n f ( z ) = f ( n ) ( z ) of order n Z > 0 ; see [16] and ([17], Section 2.3.2). In the following definition, P ( c , z ) is the path from c C to z C , and L 1 ( P ( c , z ) ) is the class of functions which are integrable on P ( c , z ) , and x for x R denotes the greatest integer not exceeding x. In the following study, we choose the value c = 0 .
Definition 3.
Let c C , z C , f ( ζ ) L 1 ( P ( c , z ) ) , and f ( ζ ) be continuous in a neighborhood of ζ = z . Then the Riemann-Liouville fractional integral of order λ + C is defined by
c D R λ f ( z ) = 1 Γ ( λ ) c z ( z ζ ) λ 1 f ( ζ ) d ζ ,
and the Riemann-Liouville fractional derivative of order μ C satisfying Re μ 0 is defined by
c D R μ f ( z ) = c D R m [ c D R μ m f ( z ) ] ,
when the rhs exists, where m = Re μ + 1 , and c D R m f ( z ) = d m d z m f ( z ) = f ( m ) ( z ) for m Z > 1 .
Definition 4.
Let λ + C , and f ˜ be a regular distribution in D R , that corresponds to a function f. Then we have a regular distribution which corresponds to 0 D R λ f ( t ) . We denote it D λ f ˜ ( t ) , and then
D λ f ˜ , ϕ = [ 0 D R λ f ( t ) ] ϕ ( t ) d t = f ˜ , D W λ ϕ = f ( x ) [ D W λ ϕ ( x ) ] d x ,
for every ϕ D R . Then by using Equation (21) in the second member of Equation (23), we obtain
D W λ ϕ ( x ) = 1 Γ ( λ ) x ( t x ) λ 1 ϕ ( t ) d t .
This formula shows that D W λ ϕ does not belong to D , even when ϕ D . As a consequence, the operator D λ corresponding c D R λ cannot be an operator in the space D , but we can confirm that it is an operator in the space D R .
Definition 5.
Let h ˜ ( t ) D R , m Z > 1 , λ + C , μ = m λ and D μ = D m D λ . Then we have D μ h ˜ D R , which satisfies
D μ h ˜ , ϕ = h ˜ , D W μ ϕ ,
for every ϕ D R , where D W μ = D W λ D W m .
In solving a differential equation, 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 , ν C \ Z < 1 ,
where Γ ( ν ) is the gamma function. The Laplace transform of g ν ( t ) is given by L [ g ν ( t ) ] = s ν if ν + C . We introduce the analytic continuation of the Laplace transform (AC-Laplace transform) of g ν ( t ) , which is expressed by L H [ g ν ( t ) ] , as in [1,2], such that
g ^ ν ( s ) = L H [ g ν ( t ) ] = s ν , ν C \ Z < 1 .
We often use the following formula [1,2].
Lemma 6.
Let ν C \ Z < 1 and μ C . Then for t R > 0 , we have
0 D R μ g ν ( t ) = g ν μ ( t ) , ν μ C \ Z < 1 , 0 , ν μ Z < 1 .
Condition 1.
A function of t R multiplied by H ( t ) , e.g. u ( t ) H ( t ) , is 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 .
When u ( t ) satisfies Condition 1, it is expressed as follows:
u ( t ) = ν S u ν 1 g ν ( t ) = ν S u ν 1 1 Γ ( ν ) t ν 1 ,
where u ν 1 C are constants. When u ^ ( s ) = L H [ u ( t ) ] exists, it is expressed by
u ^ ( s ) = ν S u ν 1 g ^ ν ( s ) = ν S u ν 1 s ν .
Definition 6.
Let g ν ( t ) and g ^ ν ( s ) be given by Equations (26) and (27), respectively. Then g ˜ ν ( t ) D R is defined by
g ˜ ν ( t ) = g ^ ν ( D ) δ ( t ) = D ν δ ( t ) , ν C \ Z < 1 ,
and is denoted by g ν ( t ) H ˜ ( t ) .
Remark 1.
When ν + C , we can confirm that g ˜ ν ( t ) = g ν ( t ) H ˜ ( t ) is a regular distribution which corresponds to g ν ( t ) H ( t ) , as
g ˜ ν , ϕ = D ν δ ( t ) , ϕ ( t ) = D ν + 1 H ˜ ( t ) , ϕ ( t ) = H ( t ) [ D W ν + 1 ϕ ( t ) ] d t = [ 0 D R ν + 1 H ( t ) ] ϕ ( t ) d t = [ g ν ( t ) H ( t ) ] ϕ ( t ) d t ,
with the aid of Equations (9), (11) and (23), Definition 5, and formulas 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 , which are obtained from Equations (26) and (28).
Lemma 7.
Let g ν ( t ) , g ^ ν ( s ) and g ˜ ν ( t ) be as in Definition 6. Then for μ C , we have
D μ g ˜ ν ( t ) = 0 D R μ g ν ( t ) · H ˜ ( t ) + D μ g ^ ν ( D ) 0 δ ( t ) ,
where
D μ g ^ ν ( D ) 0 = D m , m = μ ν Z > 1 , 0 , μ ν Z > 1 .
Proof. 
By using Equations (28) and (31), we confirm Equation (32). ☐
Lemma 8.
Let u ( t ) and u ^ ( s ) = L H [ u ( t ) ] be expressed by Equations (29) and (30), respectively. Then u ˜ ( t ) = u ( t ) H ˜ ( t ) D R is expressed as
u ˜ ( t ) = ν S u ν 1 g ˜ ν ( t ) = ν S u ν 1 g ^ ν ( D ) δ ( t ) = u ^ ( D ) δ ( t ) ,
in accordance with Definition 6.
Lemma 9.
Let l Z > 0 , u ( t ) be expressed by Equation (29), u ˜ ( t ) : = u ( t ) H ˜ ( t ) , and u ^ ( s ) : = L H [ u ( t ) ] . Then
D l u ˜ ( t ) = D l [ u ( t ) H ˜ ( t ) ] = d l d t l u ( t ) · H ˜ ( t ) + D l u ^ ( D ) 0 δ ( t ) ,
where
D l u ^ ( D ) 0 = k = 0 l 1 u k D l k 1 .
When l = 1 ,2 and 3, we have
D u ^ ( D ) 0 = u 0 , D 2 u ^ ( D ) 0 = u 0 D + u 1 , D 3 u ^ ( D ) 0 = u 0 D 2 + u 1 D + u 2 .
Proof. 
By using Equation (34) for u ˜ ( t ) , and Lemma 7 for μ = l Z > 0 , we have contributions to D l u ^ ( D ) 0 δ ( t ) from the terms of ν 1 = k Z > 1 and m = l k 1 Z > 1 in Equation (35). ☐
Remark 2.
Even when the series on the rhs of Equation (30) does not converge for any s, the series on the rhs of Equation (34) may converge in an interval of t on R . In such a case, we use u ^ ( s ) to represent the series on the rhs of Equation (30) .

2.2. Fractional Derivative and Distributions in the Space D W

We adopt the space D W of distributions, such that regular ones correspond to functions which may increase slower than e ϵ t for all ϵ R > 0 as t . Then the dual space D W consists of functions which are infinitely differentiable on R and decay more rapidly than t N for all N Z > 0 as t .
Remark 3.
In the book of Miller and Ross ([18], Chapter VII), one chapter is used to discuss the Weyl fractional integral and differentiation in the space D W , where notation W μ g ( t ) is used in place of D W μ g ( t ) for μ R and ϕ D W .
Lemma 10.
Let m Z > 1 , λ + C and μ = m λ . Then
D W m e s t = s m e s t , D W λ e s t = s λ e s t , D W μ e s t = s μ e s t .
Proof. 
The second equation is confirmed with the aid of Equation (24). The third equation is confirmed with the aid of Definition 5, which states D W μ = D W λ D W m . ☐
Lemma 11.
Let u ˜ ( t ) = u ( t ) H ˜ ( t ) be a regular distribution in D W , that corresponds to function u ( t ) H ( t ) , u ^ ( s ) = L [ u ( t ) ] = 0 u ( t ) e s t d t , and w ˜ ( t ) and w ^ ( s ) be given by w ˜ ( t ) = D l u ˜ ( t ) and w ^ ( s ) = s l u ^ ( s ) for l Z > 0 . Then for μ C , we have
( i ) u ˜ ( t ) , e s t = u ^ ( s ) , ( ii ) D μ u ˜ ( t ) , e s t = s μ u ^ ( s ) , ( iii ) t D μ u ˜ ( t ) , e s t = d d s [ s μ u ^ ( s ) ] ,
and also these equations with u ˜ ( t ) and u ^ ( s ) replaced by w ˜ ( t ) and w ^ ( s ) , respectively.
Proof. 
The lhs of these equations are expressed as follows: (i) u ˜ ( t ) , e s t = u ( t ) H ( t ) e s t d t = L [ u ( t ) ] = u ^ ( s ) , (ii) D μ u ˜ ( t ) , e s t = u ˜ ( t ) , D W μ e s t = s μ u ˜ ( t ) , e s t = s μ u ^ ( s ) , and (iii) t D μ u ˜ ( t ) , e s t = D μ u ˜ ( t ) , t e s t = d d s D μ u ˜ ( t ) , e s t = d d s [ s μ u ^ ( s ) ] . ☐
This lemma shows that the formulas in Equation (39) are valid for all distributions u ˜ ( t ) D W .
Corollary 4.
Let the condition of Lemma 6 be satisfied. Then δ ( t ) D W , g ˜ ν ( t ) D W for ν C \ Z < 1 , and
H ˜ ( t ) , e s t = 1 s ; δ ( t ) , e s t = 1 ; g ˜ ν ( t ) , e s t = g ^ ν ( D ) δ ( t ) , e s t = g ^ ν ( s ) = s ν .
Proof. 
δ ( t ) , e s t = D H ˜ ( t ) , e s t = H ˜ ( t ) , D W e s t = s 1 s = 1 . ☐
Corollary 5.
Let u ˜ ( t ) D W be expressed as u ˜ ( t ) = u ^ ( D ) δ ( t ) . Then
u ˜ ( t ) , e s t = u ^ ( D ) δ ( t ) , e s t = u ^ ( s ) .
Lemma 12.
Let l Z > 0 , u ( t ) be expressed by Equation (29), and u ^ ( s ) : = L H [ u ( t ) ] . Then
s l u ^ ( s ) = L H [ d l d t l u ( t ) ] + s l u ^ ( s ) 0 ,
where s l u ^ ( s ) 0 are given by Equations (36) and (37) with D replaced by s.
Proof. 
We put u ˜ ( t ) = u ( t ) H ˜ ( t ) , and then we have Equation (35). Applying Lemma 11 and Corollary 5 to Equation (35), we obtain Equation (42). ☐
Remark 4.
In the book by Zemanian ([5], Section 8.3), he discussed the Laplace transform by adopting the space D L of distributions, such that regular ones correspond to functions which may increase slower than e ( λ + ϵ ) t for all ϵ R > 0 as t , for a fixed λ R > 0 . Then the dual space D L consists of functions which are infinitely differentiable on R and decay more rapidly than e λ t t N for all N Z > 0 as t . Then the above formulas in the present section are valid when Re s > λ . We here adopt the case when λ = 0 .
Remark 5.
Let u ( t ) and u ˜ ( t ) be expressed by Equations (29) and (34), respectively. Then u ˜ ( t ) does not usually belongs to D W . Even in that case, we use the following equation:
u ˜ ( t ) , e s t = u ^ ( D ) δ ( t ) , e s t = ν S u ν 1 g ˜ ν ( t ) , e s t = ν S u ν 1 g ^ ν ( s ) = u ^ ( s ) .

2.3. Some Primitive Leibniz’s formulas

Lemma 13.
Let u ˜ ( t ) = u ^ ( D ) δ ( t ) D R , and μ C . Then we have two special ones of Leibniz’s formula:
D μ [ t u ˜ ( t ) ] = t D μ u ˜ ( t ) + μ D μ 1 u ˜ ( t ) = ( t D + μ ) D μ 1 u ˜ ( t ) ,
D μ [ t 2 u ˜ ( t ) ] = t 2 D μ u ˜ ( t ) + 2 μ t D μ 1 u ˜ ( t ) + μ ( μ 1 ) D μ 2 u ˜ ( t ) = ( t 2 D 2 + 2 μ t D + μ ( μ 1 ) ) D μ 2 u ˜ ( t ) .
Proof. 
Lemma 11 shows that when Equation (44) is satisfied, we have
s μ [ d d s u ^ ( s ) ] = d d s [ s μ u ^ ( s ) ] + μ s μ 1 u ^ ( s ) ,
which is confirmed since d d s [ s μ u ^ ( s ) ] = μ s μ 1 u ^ ( s ) s μ d d s u ^ ( s ) . Formula (45) is obtained with the aid of Equation (44). ☐

3. Green’s Function for Inhomogeneous Differential Equations with Polynomial Coefficients

In Section 4 and Section 5, we study the solution u ( t ) of inhomogeneous differential equations with polynomial coefficients:
p n ( t , d d t ) u ( t ) : = l = 0 n a l ( t ) d l d t l u ( t ) = f ( t ) , t > 0 ,
where n Z > 0 , and a l ( t ) are polynomials of t satisfying a 0 ( t ) 0 and a n ( t ) 0 .
For the inhomogeneous term f ( t ) , we consider the following three cases.
Condition 2.
(i)
f ( t ) is a locally integrable function on R 0 ,
(ii)
f ( t ) = 0 D R β f β ( t ) satisfies Condition 1, where f β ( t ) is a locally integrable function on R 0 ,
(iii)
f ( t ) = g ν ( t ) = 1 Γ ( ν ) t ν 1 , and f ˜ ( t ) = f ( t ) H ˜ ( t ) = f ^ ( D ) δ ( t ) = g ^ ν ( D ) δ ( t ) = D ν δ ( t ) , for ν C \ Z < 1 .
Lemma 14.
Let u ( t ) be a solution of Equation (47), which is expressed by Equation (29). Then the differential equation satisfied by distribution u ˜ ( t ) : = u ( t ) H ˜ ( t ) is
p n ( t , D ) u ˜ ( t ) : = l = 0 n a l ( t ) D l u ˜ ( t ) = p n ( t , d d t ) u ( t ) · H ˜ ( t ) + l = 1 n a l ( t ) D l u ^ ( D ) 0 δ ( t ) = f ˜ ( t ) + l = 1 n a l ( t ) D l u ^ ( D ) δ ( t ) ,
where f ˜ ( t ) = f ( t ) H ˜ ( t ) , and D l u ^ ( D ) 0 are given by Equations (36) and (37).
Proof. 
Equation (48) is obtained by using Equation (35). ☐
Lemma 15.
Let Condition 2(i) be satisfied. Then f ˜ ( t ) = f ( t ) H ˜ ( t ) , which corresponds to f ( t ) H ( t ) , is expressed as
f ˜ ( t ) = 0 δ ( t τ ) f ( τ ) d τ .
Proof. 
The rhs is equal to the lhs, since
0 δ ( t τ ) f ( τ ) d τ , ϕ ( t ) = 0 H ( t τ ) f ( τ ) d τ ϕ ( t ) d t = 0 f ( τ ) H ( t τ ) ϕ ( t ) d t d τ = f ( τ ) H ( τ ) ϕ ( τ ) d τ = f ˜ , ϕ ,
where ϕ D R . ☐
Definition 7.
For Equation (47), the Green’s function G ( t , τ ) for τ R 0 is such that G ( t , τ ) = G ( t , τ ) H ( t τ ) , and G ˜ ( t , τ ) = G ( t , τ ) H ˜ ( t τ ) satisfies
p n ( t , D ) G ˜ ( t , τ ) = δ ( t τ ) .
Lemma 16.
The Green’s function G ( t , τ ) for Equation (47) satisfies
p n ( t , d d t ) G ( t , τ ) = l = 0 n a l ( t ) d l d t l G ( t , τ ) = 0 , t > τ ,
and G ( t , τ ) = 0 for t < τ . The values of G ( t , τ ) and its derivatives at t = τ are determined by
l = 1 n a l ( t ) D l G ^ ( D , τ ) 0 δ ( t τ ) = δ ( t τ ) ,
where D l G ^ ( D , τ ) 0 is given by Equations (15) and (16) with ψ ^ τ ( D ) and ψ ˜ τ ( t ) replaced by G ^ ( D , τ ) and G ˜ ( t , τ ) , respectively.
Proof. 
This is confirmed by comparing Equation (50) with Equation (18), where ψ ( t ) , ψ ^ τ ( D ) and ψ ˜ τ ( t ) are replaced by G ( t , τ ) , G ^ ( D , τ ) and G ˜ ( t , τ ) , respectively. ☐
Lemma 17.
u ˜ f ( t ) given by
u ˜ f ( t ) = 0 G ˜ ( t , τ ) f ( τ ) d τ
is a particular solution of Equation (48) for the term f ˜ ( t ) .
Proof. 
By using the rhs of Equation (53) in the lhs of Equation (48), we obtain f ( t ) H ˜ ( t ) by using Equations (50) and (49). ☐
Lemma 18.
Let G ( t , τ ) be defined by Definition 7 for Equation (47), Condition 2(i) be satisfied, and u f ( t ) be given by
u f ( t ) = 0 t G ( t , τ ) f ( τ ) d τ .
Then u f ( t ) and u ˜ f ( t ) = u f ( t ) H ˜ ( t ) are particular solutions of Equations (47) and (48), respectively.
Proof. 
We show that when u ˜ f ( t ) and u f ( t ) are defined by Equations (53) and (54), respectively, u ˜ f ( t ) = u f ( t ) H ˜ ( t ) . This is confirmed as follows:
u ˜ f ( t ) , ϕ = 0 G ( t , τ ) H ( t τ ) ϕ ( t ) d t f ( τ ) d τ = 0 t G ( t , τ ) f ( τ ) d τ H ( t ) ϕ ( t ) d t = u f ( t ) H ˜ ( t ) , ϕ ( t ) ,
where ϕ D R . The proof of the lemma is completed with the aid of Lemmas 17 and 14. ☐

Green’s Function for Inhomogeneous Differential Equations with Constant Coefficients

We now consider the case when a l ( t ) do not depend on t, and hence in place of Equation (47), we have
p n ( d d t ) u ( t ) : = l = 0 n a l d l d t l u ( t ) = f ( t ) , t > 0 ,
where n Z > 0 , and a l C are constants satisfying a 0 0 and a n 0 . When we use the formulas in the preceding section, we assume that a l ( t ) and p n ( t , d d t ) represent a l and p n ( d d t ) , respectively. In place of Equation (48), we have
p n ( D ) u ˜ ( t ) : = l = 0 n a l D l u ˜ ( t ) = f ˜ ( t ) + l = 1 n a l D l u ^ ( D ) 0 δ ( t ) ,
where f ˜ ( t ) = f ( t ) H ˜ ( t ) = f ^ ( D ) δ ( t ) , and D l u ^ ( D ) 0 are given by Equations (36) and (37).
We denote the solution G ( t , 0 ) obtained by Definition 7, by G ( t ) . Then G ˜ ( t ) = G ( t ) H ˜ ( t ) satisfies
p n ( D ) G ˜ ( t ) = δ ( t ) .
By using this equation, we confirm the following lemma.
Lemma 19.
u ˜ ( t ) given by
u ˜ ( t ) = f ^ ( D ) G ˜ ( t ) + l = 1 n a l D l u ^ ( D ) 0 G ˜ ( t ) ,
is a solution of Equation (57).
Proof. 
Putting u ˜ ( t ) given by Equation (59) on the lhs of Equation (57) and using Equation (58), we confirm that Equation (57) is satisfied. ☐
By Lemma 16, we have
Lemma 20.
Let G ( t ) be defined by
p n ( d d t ) G ( t ) : = l = 0 n a l d l d t l G ( t ) = d d t H ( t ) = 0 , t > 0 ,
and the initial values of G ( t ) and its derivatives satisfy l = 1 n a l D l G ^ ( D ) 0 = 1 , so that
a n G ( n 1 ) ( 0 ) = H ( 0 ) = 1 ; G ( l ) ( 0 ) = 0 , ( l Z [ 0 , n 2 ] , n Z > 1 ) .
Then G ˜ ( t ) = G ( t ) H ˜ ( t ) satisfies (58), and G ˜ ( t , τ ) = G ( t τ ) H ( t τ ) for τ 0 satisfies Definition 7 if p n ( t , D ) = p n ( D ) .
Proof. 
By comparing Equations (50) and (58), we confirm the last statement. ☐
Lemma 21.
Let Condition 2(i) be satisfied, and u ( t ) be given by
u ( t ) = u f ( t ) + l = 1 n a l d l d t l u ^ ( d d t ) 0 G ( t ) ,
where
u f ( t ) = 0 t G ( t τ ) f ( τ ) d τ .
Then u ( t ) and u ˜ ( t ) = u f ( t ) H ˜ ( t ) are solutions of Equations (56) and (57), respectively.
Proof. 
Equation (63) follows from Lemma 18. ☐
Remark 6.
In ([5], Section 6.3), the solution of an inhomogeneous differential equation with constant coefficients is discussed, where the formulas in Corollary 2, Formulas (60) and (61) for the Green’s function and Formula (62) for the solution, are presented.

4. Particular Solution of Kummer’s Differential Equation

Kummer’s differential equation with an inhomogeneous term f ( t ) is given in Equation (2). If f ( t ) = 0 and c Z , the basic solutions K 1 ( t ) and K 2 ( t ) of Equation (2) are given by Equations (3) and (4).
We now obtain a particular solution of this equation by the method stated in Section 3.

4.1. Green’s Function for Kummer’s Differential Equation in which Condition 2(i) Is Satisfied

The following two lemmas are proved in Section 4.4.
Lemma 22.
Let u ( t ) be the solution of Equation (2), which is expressed by Equation (29). Then the differential equation satisfied by u ˜ ( t ) = u ( t ) H ˜ ( t ) is given by
p K ( t , D ) u ˜ ( t ) = f ( t ) H ˜ ( t ) + u 0 ( c 1 ) δ ( t ) .
Lemma 23.
Let K 1 ( t ) and K 2 ( t ) be given by Equations (3) and (4), and ψ K ( t , τ ) for fixed τ > 0 be given by
ψ K ( t , τ ) : = c 1 ( τ ) · K 1 ( t ) + c 2 ( τ ) · K 2 ( t ) ,
where c 1 ( τ ) and c 2 ( τ ) are constants which are so chosen that ψ K ( t , τ ) = 0 when t = τ . Then G K ( t , 0 ) and G K ( t , τ ) given by
G K ( t , 0 ) = 1 c 1 · K 1 ( t ) H ( t ) , G K ( t , τ ) = 1 τ ψ K ( τ , τ ) ψ K ( t , τ ) H ( t τ ) ,
are the Green’s functions for Equation (2), so that G ˜ K ( t , 0 ) = G K ( t , 0 ) H ˜ ( t ) and G ˜ K ( t , τ ) = G K ( t , τ ) H ˜ ( t τ ) satisfy
p K ( t , D ) G ˜ K ( t , 0 ) = δ ( t ) , p K ( t , D ) G ˜ K ( t , τ ) = δ ( t τ ) .
Theorem 1.
Let G K ( t , τ ) and ψ K ( t , τ ) be those given in Lemma 23, Condition 2(i) be satisfied, and u f ( t ) be given by
u f ( t ) = 0 t G K ( t , τ ) f ( τ ) d τ = 0 t ψ K ( t , τ ) f ( τ ) τ ψ K ( τ , τ ) d τ .
Then u f ( t ) and u f ( t ) H ˜ ( t ) are particular solutions of Equations (2) and (64) for the terms f ( t ) and f ( t ) H ˜ ( t ) , respectively.
Proof. 
This is confirmed with the aid of Lemma 18. ☐
Remark 7.
By using the first equation in Equation (67), we see that the particular solution of Equation (64) for the last term, is
u ˜ 1 ( t ) = u 0 ( c 1 ) G ˜ K ( t , 0 ) = u 0 · K 1 ( t ) H ˜ ( t ) .
The corresponding particular solution of Equation (2) is
u 1 ( t ) = u 0 ( c 1 ) G K ( t , 0 ) = u 0 · K 1 ( t ) .
Considering that the basic complementary solutions of Equation (2) are given by Equations (3) and (4), the general solution of Equation (2) is now given by
u ( t ) = u f ( t ) + u 0 · K 1 ( t ) + c 3 · K 2 ( t ) .
The condition ψ K ( τ , τ ) = 0 requires that c 1 ( τ ) · K 1 ( τ ) = c 2 ( τ ) · K 2 ( τ ) , and hence we may choose ψ K ( t , τ ) as
ψ K ( t , τ ) = K 1 ( t ) K 1 ( τ ) K 2 ( τ ) · K 2 ( t ) , | K 1 ( τ ) | < | K 2 ( τ ) | , K 2 ( τ ) K 1 ( τ ) · K 1 ( t ) K 2 ( t ) , | K 1 ( τ ) | | K 2 ( τ ) | .

4.2. Green’s Function for Kummer’s Differential Equation in which Condition 2(ii) Is Satisfied

We give the solution of Equation (2) of which the inhomogeneous term f ( t ) satisfies Condition 2(ii), so that f ˜ ( t ) = D β f ˜ β ( t ) , and f β ( t ) satisfies Condition 2(i).
The following lemma is proved in Section 4.4.
Lemma 24.
Let u ˜ ( t ) be a solution of Equation (64), and p K ˜ ( t , D ) be related with p K ( t , D ) given by Equation (1), by
p K ˜ ( t , D ) = D β p K ( t , D ) D β .
Then
p K ˜ ( t , D ) : = t · D 2 + ( c β b t ) D ( a β ) b ,
and w ˜ ( t ) = D β u ˜ ( t ) satisfies
p K ˜ ( t , D ) w ˜ ( t ) = f β ( t ) H ˜ ( t ) + u 0 ( c 1 ) D β δ ( t ) .
Theorem 1 shows that the particular solution of Equation (75) for the term f β ( t ) H ˜ ( t ) is expressed by a particular solution of
p K ˜ ( t , d d t ) w ( t ) = f β ( t ) , t > 0 .
That solution is used in giving a solution of Equation (2) in Theorem 2 given below.
Remark 8.
We note that p K ˜ ( t , D ) given by Equation (74) is obtained from p K ( t , D ) given by Equation (1), by replacing a and c by a β and c β , respectively, and hence the complementary solutions K β , 1 ( t ) and K β , 2 ( t ) and Green’s functions G K ˜ ( t , 0 ) and G K ˜ ( t , τ ) of Equation (76) are obtained from those K 1 ( t ) , K 2 ( t ) , G K ( t , 0 ) and G K ( t , τ ) , respectively, of Equation (2), by the same replacement.
Now in place of Theorem 1, we have the following theorem, whose proof is given in Section 4.4.
Theorem 2.
Let G K ˜ ( t , τ ) and ψ K ˜ ( t , τ ) be obtained from G K ( t , τ ) and ψ K ( t , τ ) by the replacement stated in Remark 8, Condition 2(ii) be satisfied, and w g ( t ) be given by
w g ( t ) = 0 t G K ˜ ( t , τ ) f β ( τ ) d τ = 0 t ψ K ˜ ( t , τ ) f β ( τ ) τ ψ K ˜ ( τ , τ ) d τ .
Then u f ( t ) : = 0 D R β w g ( t ) and u f ( t ) H ˜ ( t ) are particular solutions of Equations (2) and (64) for the terms f ( t ) and f ( t ) H ˜ ( t ) , respectively.

4.3. Particular Solution of Kummer’s Differential Equation in which Condition 2(iii) Is Satisfied

We give the solution of Equation (2) of which the inhomogeneous term f ( t ) satisfies Condition 2(iii), so that f ( t ) = g ν ( t ) = 1 Γ ( ν ) t ν 1 and f ˜ ( t ) = f ( t ) H ˜ ( t ) = f ^ ( D ) δ ( t ) = g ^ ν ( D ) δ ( t ) = D ν δ ( t ) . Here we use β Z > 1 in place of ν .
Lemma 25.
Let f ˜ ( t ) = D β δ ( t ) , p K ˜ ( t , D ) be given by Equation (74), and G ˜ K ˜ ( t , 0 ) satisfy
p K ˜ ( t , D ) G ˜ K ˜ ( t , 0 ) = δ ( t ) .
Then the particular solution of Equation (64) for the term f ( t ) H ˜ ( t ) = D β δ ( t ) is given by
u ˜ f ( t ) = D β G ˜ K ˜ ( t , 0 ) .
Proof. 
u ˜ f ( t ) satisfies p K ( t , D ) u ˜ f ( t ) = D β δ ( t ) and hence p K ˜ ( t , D ) D β u ˜ f ( t ) = δ ( t ) by Equation (73). Comparing this with Equation (78), we see that Equation (79) is satisfied. ☐
By Remark 8, with the aid of G K ( t , 0 ) given by Equations (66) and (3), we have
Lemma 26.
As the solution of Equation (78), we obtain
G ˜ K ˜ ( t , 0 ) = G K ˜ ( t , 0 ) H ˜ ( t ) , G K ˜ ( t , 0 ) = 1 c β 1 · 1 F 1 ( a β ; c β ; b t ) .
Theorem 3.
Let Condition 2(iii) be satisfied, and G K ˜ ( t , 0 ) be given by Equation (80). Then the particular solution of Equation (2) is given by
u f ( t ) = 0 D R β G K ˜ ( t , 0 ) = t β ( c β 1 ) Γ ( 1 β ) · 2 F 2 ( 1 , a β ; 1 β , c β ; b t ) ,
where 2 F 2 ( a 1 , a 2 ; c 1 , c 2 ; z ) = k = 0 ( a 1 ) k ( a 2 ) k k ! ( c 1 ) k ( c 2 ) k z k .
Proof. 
u ˜ f ( t ) is given by Equations (79) and (80). Lemma 7 shows that u ˜ f ( t ) = u f ( t ) H ˜ ( t ) if u f ( t ) is given by Equation (81), since β Z > 1 . ☐

4.4. Proofs of Lemmas 22–24 and Theorem 2

Proof of Lemma 22.
Equation (64) is a special one of (48), where p n , n, a 2 ( t ) , a 1 ( t ) and a 0 ( t ) stand for p K , 2, t, c b t and a b , respectively. Hence by using Equation (37), we see that the second term on the rhs of Equation (48) becomes
t ( u 0 D + u 1 ) δ ( t ) + ( c b t ) u 0 δ ( t ) = u 0 ( D [ t δ ( t ) ] δ ( t ) ) + c u 0 δ ( t ) = u 0 ( c 1 ) δ ( t ) .
 ☐
We prepare a lemma before proving Lemma 23.
Lemma 27.
Let τ 0 , p K ( t , d d t ) ψ ( t ) · H ( t τ ) L l o c 1 and ψ ˜ τ ( t ) = ψ ( t ) H ˜ ( t τ ) . Then
p K ( t , D ) ψ ˜ τ ( t ) = p K ( t , d d t ) ψ ( t ) · H ˜ ( t τ ) + l = 1 2 a l ( t ) D l ψ ^ τ ( D ) 0 δ ( t τ ) ,
where a 2 ( t ) = t , a 1 ( t ) = c b t , a 0 ( t ) = a b , and
l = 1 2 a l ( t ) D l ψ ^ τ ( D ) 0 δ ( t τ ) = τ ψ ( τ ) δ ( t τ ) + ψ ( τ ) ( c b τ 1 ) δ ( t τ ) + ψ ( τ ) τ D δ ( t τ ) .
Proof. 
Equation (83) is a special one of Equation (18) in Corollary 3. The lhs of Equation (84) is evaluated with the aid of Equation (16) as follows:
l = 1 2 a l ( t ) D l ψ ^ τ ( D ) 0 δ ( t τ ) = t [ ψ ( τ ) + ψ ( τ ) D ] δ ( t τ ) + ( c b t ) ψ ( τ ) δ ( t τ ) = [ t ψ ( τ ) + ψ ( τ ) ( c b t ) ] δ ( t τ ) + ψ ( τ ) t D δ ( t τ ) = τ ψ ( τ ) δ ( t τ ) + ψ ( τ ) ( c b τ 1 ) δ ( t τ ) + ψ ( τ ) τ D δ ( t τ ) ,
where Formula (19) with h ( t ) and u ˜ ( t ) replaced by t and δ ( t τ ) , respectively, is used in the last term of the third member. ☐
Proof of Lemma 23.
If we put ψ ( t ) = 1 c 1 · K 1 ( t ) and τ = 0 in Equation (83), then we have ψ ˜ τ ( t ) = G ˜ ( t , 0 ) on the lhs, and the rhs is ψ ( 0 ) ( c 1 ) δ ( t ) = δ ( t ) , since K 1 ( 0 ) = 1 . If we put ψ ( t ) = 1 τ ψ K ( τ , τ ) ψ K ( t , τ ) and ψ ( τ ) = 0 in Equation (83), then we have ψ ˜ τ ( t ) = G ˜ ( t , τ ) on the lhs, and the rhs is τ ψ ( τ ) δ ( t τ ) = δ ( t τ ) . ☐
Proof of Lemma 24.
With the aid of Equation (44), we obtain
D β [ p K ( t , D ) [ D β w ˜ ( t ) ] ] = D β [ t · D 2 + ( c b t ) · D a b ] [ D β w ˜ ( t ) ] = [ ( t · D β ) D + c · D b ( t · D β ) a b ] w ˜ ( t ) = [ t · D 2 + ( c β b t ) · D ( a β ) b ] w ˜ ( t ) = p K ˜ ( t , D ) w ˜ ( t ) ,
which gives Equation (73). When u ˜ ( t ) = D β w ˜ ( t ) , Equation (64) shows that the lhs of Equation (85) is equal to D β [ f ˜ ( t ) + u 0 ( c 1 ) δ ( t ) ] and hence Equation (85) gives Equation (75). ☐
Proof of Theorem 2.
Theorem 1 states that when w g ( t ) is given by Equation (77), w ˜ g ( t ) : = w g ( t ) H ˜ ( t ) is the particular solution of Equation (75) for the term f β ( t ) H ˜ ( t ) , and Lemma 24 states that u ˜ f ( t ) = D β w ˜ g ( t ) is the particular solution of Equation (64) for the term f ( t ) H ˜ ( t ) . Lemma 7 shows that u ˜ f ( t ) = u f ( t ) H ˜ ( t ) if u f ( t ) is given by u f ( t ) = 0 D R β w g ( t ) , since β Z > 1 . ☐

5. Particular Solution of the Hypergeometric Differential Equation

Let
p H ( t , s ) : = t ( 1 t ) · s 2 + ( c ( a + b + 1 ) t ) · s a b ,
where a C , b C and c C are constants. Then the hypergeometric differential equation with an inhomogeneous term f ( t ) is given by
p H ( t , d d t ) u ( t ) : = t ( 1 t ) · d 2 d t 2 u ( t ) + ( c ( a + b + 1 ) t ) · d d t u ( t ) a b · u ( t ) = f ( t ) , t > 0 .
If f ( t ) = 0 and c Z , the basic solutions of Equation (87) in [3,19] are given by
H 1 ( t ) : = 2 F 1 ( a , b ; c ; t ) ,
H 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 ) = k = 0 ( a ) k ( b ) k k ! ( c ) k z k of z C is the hypergeometric series.
We now obtain a particular solution of this equation by the method stated in Section 3 and used in Section 4.1.

5.1. Green’s Function for the Hypergeometric Differential Equation when Condition 2(i) Is Satisfied

The following two lemmas are proved in Section 5.4.
Lemma 28.
Let u ( t ) be the solution of Equation (87), which is expressed by Equation (29). Then the differential equation satisfied by u ˜ ( t ) = u ( t ) H ˜ ( t ) is given by
p H ( t , D ) u ˜ ( t ) = f ( t ) H ˜ ( t ) + u 0 ( c 1 ) δ ( t ) .
Lemma 29.
Let H 1 ( t ) and H 2 ( t ) be given by Equations (88) and (89), and ψ H ( t , τ ) for fixed τ > 0 be given by
ψ H ( t , τ ) : = c 1 ( τ ) · H 1 ( t ) + c 2 ( τ ) · H 2 ( t ) ,
where c 1 ( τ ) and c 2 ( τ ) are constants which are so chosen that ψ H ( t , τ ) = 0 when t = τ . Then G H ( t , 0 ) and G H ( t , τ ) given by
G H ( t , 0 ) = 1 c 1 · H 1 ( t ) H ( t ) , G H ( t , τ ) = 1 τ ( 1 τ ) ψ H ( τ , τ ) ψ H ( t , τ ) H ( t τ ) ,
are the Green’s functions, so that G ˜ H ( t , 0 ) = G H ( t , 0 ) H ˜ ( t ) and G ˜ H ( t , τ ) = G H ( t , τ ) H ˜ ( t τ ) satisfy
p H ( t , D ) G ˜ H ( t , 0 ) = δ ( t ) , p H ( t , D ) G ˜ H ( t , τ ) = δ ( t τ ) .
Theorem 4.
Let G H ( t , τ ) and ψ H ( t , τ ) be those given in Lemma 29, Condition 2(i) be satisfied, and u f ( t ) be given by
u f ( t ) = 0 G H ( t , τ ) f ( τ ) d τ = 0 t ψ H ( t , τ ) f ( τ ) τ ( 1 τ ) ψ H ( τ , τ ) d τ .
Then u f ( t ) and u f ( t ) H ˜ ( t ) are particular solutions of Equations (87) and (90) for the terms f ( t ) and f ( t ) H ˜ ( t ) , respectively.
Proof. 
This is confirmed with the aid of Lemma 18. ☐
The condition ψ H ( τ , τ ) = 0 requires that c 1 ( τ ) · H 1 ( τ ) = c 2 ( τ ) · H 2 ( τ ) , and hence we may choose ψ H ( t , τ ) as
ψ H ( t , τ ) = H 1 ( t ) H 1 ( τ ) H 2 ( τ ) · H 2 ( t ) , | H 1 ( τ ) | < | H 2 ( τ ) | , H 2 ( τ ) H 1 ( τ ) · H 1 ( t ) H 2 ( t ) , | H 1 ( τ ) | | H 2 ( τ ) | .

5.2. Green’s Function for the Hypergeometric Differential Equation in which Condition 2(ii) Is Satisfied

We give the solution of Equation (87) of which the inhomogeneous term f ( t ) satisfies Condition 2(ii), so that f ˜ ( t ) = D β f ˜ β ( t ) , and f β ( t ) satisfies Condition 2(i).
The following lemma is proved in Section 5.4.
Lemma 30.
Let u ˜ ( t ) be a solution of Equation (90), and p H ˜ ( t , D ) be related with p H ( t , D ) given by Equation (86), by
p H ˜ ( t , D ) = D β p H ( t , D ) D β .
Then
p H ˜ ( t , D ) : = t ( 1 t ) · D 2 + ( c β ( a + b 2 β + 1 ) t ) · D ( a β ) ( b β ) .
and w ˜ ( t ) = D β u ˜ ( t ) satisfies
p H ˜ ( t , D ) w ˜ ( t ) = f β ( t ) H ˜ ( t ) + u 0 ( c 1 ) D β δ ( t ) .
Theorem 4 shows that the particular solution of Equation (98) for the term f β ( t ) H ˜ ( t ) is expressed by a particular soltion of
p H ˜ ( t , d d t ) w ( t ) = f β ( t ) , t > 0 .
That solution is used in giving a solution of Equation (87) in Theorem 5 given below.
Remark 9.
We note that p H ˜ ( t , D ) given by Equation (97) is obtained from p H ( t , D ) given by Equation (86), by replacing a, b and c by a β , b β and c β , respectively, and hence the complementary solutions H β , 1 ( t ) and H β , 2 ( t ) and the Green’s functions G H ˜ ( t , 0 ) and G H ˜ ( t , τ ) of Equation (99) are obtained from those H 1 ( t ) , H 2 ( t ) , G H ( t , 0 ) and G H ( t , τ ) , respectively, of Equation (87), by the same replacement.
Now in place of Theorem 4, we have the following theorem, whose proof is given in Section 5.4.
Theorem 5.
Let G H ˜ ( t , τ ) and ψ H ˜ ( t , τ ) be obtained from G H ( t , τ ) and ψ H ( t , τ ) by the replacement stated in Remark 9, Condition 2(ii) be satisfied, and w g ( t ) be given by
w g ( t ) = 0 t G H ˜ ( t , τ ) f β ( τ ) d τ = 0 t ψ H ˜ ( t , τ ) f β ( τ ) τ ψ H ˜ ( τ , τ ) d τ .
Then u f ( t ) : = 0 D R β w g ( t ) and u f ( t ) H ˜ ( t ) are particular solutions of Equations (87) and (90) for the terms f ( t ) and f ( t ) H ˜ ( t ) , respectively.

5.3. Particular Solution of the Hypergeometric Differential Equation in which Condition 2(iii) Is Satisfied

We give the solution of Equation (87) of which the inhomogeneous term f ( t ) satisfies Condition 2(iii), so that f ( t ) = g ν ( t ) = 1 Γ ( ν ) t ν 1 and f ˜ ( t ) = f ( t ) H ˜ ( t ) = f ^ ( D ) δ ( t ) = g ^ ν ( D ) δ ( t ) = D ν δ ( t ) . Here we use β Z > 1 in place of ν .
Lemma 31.
Let f ˜ ( t ) = D β δ ( t ) , p H ˜ ( t , D ) be given by Equation (97), and G ˜ H ˜ ( t , 0 ) satisfy
p H ˜ ( t , D ) G ˜ H ˜ ( t , 0 ) = δ ( t ) .
Then the particular solution of Equation (90) for the term f ( t ) H ˜ ( t ) = D β δ ( t ) is given by
u ˜ f ( t ) = D β G ˜ H ˜ ( t , 0 ) .
Proof. 
u ˜ f ( t ) satisfies p H ( t , D ) u ˜ f ( t ) = D β δ ( t ) and hence p H ˜ ( t , D ) D β u ˜ f ( t ) = δ ( t ) by Equation (96). Comparing this with Equation (101), we see that Equation (102) is satisfied. ☐
By Remark 9, with the aid of G H ( t , 0 ) given by Equations (92) and (88), we have
Lemma 32.
As the solution of Equation (101), we obtain
G ˜ H ˜ ( t , 0 ) = G H ˜ ( t , 0 ) H ˜ ( t ) , G H ˜ ( t , 0 ) = 1 c β 1 · 2 F 1 ( a β , b β ; c β ; t ) .
Theorem 6.
Let Condition 2(iii) be satisfied, and G H ˜ ( t , 0 ) be given by Equation (103). Then the particular solution of Equation (87) is given by
u f ( t ) = 0 D R β G H ˜ ( t , 0 ) = t β ( c β 1 ) Γ ( 1 β ) · 3 F 2 ( 1 , a β , b β ; 1 β , c β ; t ) ,
where 3 F 2 ( a 1 , a 2 , a 3 ; c 1 , c 2 ; z ) = k = 0 ( a 1 ) k ( a 2 ) k ( a 3 ) k k ! ( c 1 ) k ( c 2 ) k z k .
Proof. 
u ˜ f ( t ) is given by Equations (102) and (103). Lemma 7 shows that u ˜ f ( t ) = u f ( t ) H ˜ ( t ) if u f ( t ) is given by (104), since β Z > 1 . ☐

5.4. Proofs of Lemmas 28–30 and Theorem 5

Proof of Lemma 28.
Equation (90) is a special one of (48), where p n , n, a 2 ( t ) , a 1 ( t ) and a 0 ( t ) stand for p H , 2, t ( 1 t ) , c ( a + b + 1 ) t and a b , respectively. Hence by using Equation (37), we see that the second term on the rhs of Equation (48) becomes
l = 1 2 a l ( t ) D l u ^ ( D ) 0 δ ( t ) = t ( 1 t ) ( u 0 D + u 1 ) δ ( t ) + ( c ( a + b + 1 ) t ) u 0 δ ( t ) = u 0 ( D [ t ( 1 t ) δ ( t ) ] ( 1 2 t ) δ ( t ) ) + c u 0 δ ( t ) = u 0 ( c 1 ) δ ( t ) .
 ☐
We prepare the following lemma.
Lemma 33.
Let τ 0 , p H ( t , d d t ) ψ ( t ) · H ( t τ ) L l o c 1 ( R ) and ψ ˜ τ ( t ) = ψ ( t ) H ˜ ( t τ ) . Then
p H ( t , D ) ψ ˜ τ ( t ) = p H ( t , d d t ) ψ ( t ) · H ˜ ( t τ ) + l = 1 2 a l ( t ) D l ψ ^ τ ( D ) 0 δ ( t τ ) ,
where a 2 ( t ) = t ( 1 t ) , a 1 ( t ) = c ( a + b + 1 ) t , a 0 ( t ) = a b , and
l = 1 2 a l ( t ) D l ψ ^ τ ( D ) 0 δ ( t τ ) = τ ( 1 τ ) ψ ( τ ) δ ( t τ ) + ψ ( τ ) ( c 1 ( a + b 1 ) τ ) δ ( t τ ) + ψ ( τ ) τ ( 1 τ ) D δ ( t τ ) .
Proof. 
Equation (106) is a special one of Equation (18) in Corollary 3. The lhs of Equation (107) is evaluated with the aid of Equation (16) as follows:
l = 1 2 a l ( t ) D l ψ ^ τ ( D ) 0 δ ( t τ ) = t ( 1 t ) [ ψ ( τ ) + ψ ( τ ) D ] δ ( t τ ) + ( c ( a + b + 1 ) t ) ψ ( τ ) δ ( t τ ) = [ t ( 1 t ) ψ ( τ ) + ψ ( τ ) ( c ( a + b + 1 ) t ) ] δ ( t τ ) + ψ ( τ ) t ( 1 t ) D δ ( t τ ) = τ ( 1 τ ) ψ ( τ ) δ ( t τ ) + ψ ( τ ) ( c 1 ( a + b 1 ) τ ) δ ( t τ ) + ψ ( τ ) τ ( 1 τ ) D δ ( t τ ) ,
where Equation (19) with h ( t ) and u ˜ ( t ) replaced by t ( 1 t ) and δ ( t τ ) , respectively, is used in the last term of the third member.  ☐
Proof of Lemma 29.
If we put ψ ( t ) = 1 c 1 · H 1 ( t ) and τ = 0 in Equation (106), then we have ψ ˜ τ ( t ) = G ˜ ( t , 0 ) on the lhs, and the rhs is ψ ( 0 ) ( c 1 ) δ ( t ) = δ ( t ) , since H 1 ( 0 ) = 1 . If we put ψ ( t ) = 1 τ ( 1 τ ) ψ H ( τ , τ ) ψ H ( t , τ ) and ψ ( τ ) = 0 in Equation (106), then we have ψ ˜ τ ( t ) = G ˜ ( t , 0 ) on the lhs, and the rhs is τ ( 1 τ ) ψ ( τ ) δ ( t τ ) = δ ( t τ ) . ☐
Proof of Lemma 30.
With the aid of Equations (44) and (45), we obtain
D β [ p H ( t , D ) [ D β w ˜ ( t ) ] ] = D β [ t ( 1 t ) · D 2 + ( c ( a + b + 1 ) t ) · D a b ] [ D β w ˜ ( t ) ] = [ ( t · D β ) D ( t 2 · D 2 2 β t D + β ( β + 1 ) ) + c · D ( a + b + 1 ) ( t · D β ) a b ] w ˜ ( t ) = [ t ( 1 t ) · D 2 + ( c β ( a + b 2 β + 1 ) t ) · D ( a β ) ( b β ) ] w ˜ ( t ) = p H ˜ ( t , D ) w ˜ ( t ) ,
which gives Equation (96). When u ˜ ( t ) = D β w ˜ ( t ) , Equation (90) shows that the lhs of (108) is equal to D β [ f ˜ ( t ) + u 0 ( c 1 ) δ ( t ) ] and hence Equation (108) gives Equation (98).  ☐
Proof of Theorem 5.
Theorem 4 states that when w g ( t ) is given by Equation (100), w ˜ g ( t ) : = w g ( t ) H ˜ ( t ) is the particular solution of Equation (98) for the term f β ( t ) H ˜ ( t ) , and Lemma 30 states that u ˜ f ( t ) = D β w ˜ g ( t ) is the particular solution of Equation (90) for the term f ( t ) H ˜ ( t ) . Lemma 7 shows that u ˜ f ( t ) = u f ( t ) H ˜ ( t ) if u f ( t ) is given by u f ( t ) = 0 D R β w g ( t ) , since β Z > 1 . ☐

6. Solution of Inhomogeneous Differential Equations with Constant Coefficients

In Section 3.1 we discuss the solution of an inhomogeneous differential equation with constant coefficients, which takes the form of Equation (56), in terms of the Green’s function and distribution theory. In this and next sections, we discuss it in terms of the Green’s function and the Laplace transform.
Lemma 34.
Let f ( t ) have the AC-Laplace transform f ^ ( s ) = L H [ f ( t ) ] . Then the solution u ( t ) of Equation (56) has the AC-Laplace transform u ^ ( s ) = L H [ u ( t ) ] , which satisfies
p n ( s ) u ^ ( s ) : = l = 0 n a l s l u ^ ( s ) = f ^ ( s ) + l = 1 n a l s l u ^ ( s ) 0 ,
where s l u ^ ( s ) 0 are given by Equations (36) and (37) with D replaced by s.
Proof. 
This is confirmed with the aid of Lemma 12. ☐
We introduce the Green’s function G ( t ) so that its Laplace transform G ^ ( s ) satisfies
p n ( s ) G ^ ( s ) = 1 ,
and hence G ^ ( s ) = 1 p n ( s ) . Multiplying this to Equation (109), we obtain
u ^ ( s ) = G ^ ( s ) f ^ ( s ) + G ^ ( s ) l = 1 n a l s l u ^ ( s ) 0 .
Comparing Equations (110) and (109), we see that the differential equation for the Green’s function G ( t ) , whose Laplace transform G ^ ( s ) satisfies Equation (110), is Equation (60), and the initial values of G ( t ) and its derivatives satisfy p ( s ) G ^ ( s ) 0 = 1 , and hence are given by Equation (61). Thus we confirm Lemma 20.
By the inverse Laplace transform of Equation (111), we obtain Lemma 21.

6.1. Solution of an Inhomogeneous Differential Equation of the First Order

We consider an inhomogeneous differential equation of the first order:
p 1 ( d d t ) u ( t ) : = d d t u ( t ) + c u ( t ) = f ( t ) , t > 0 ,
where c C is a constant.
By Lemma 34, we obtain the following equation for u ^ ( s ) = L H [ u ( t ) ] :
p 1 ( s ) u ^ ( s ) = ( s + c ) u ^ ( s ) = u 0 + f ^ ( s ) .
Following Section 6, we introduce the Green’s function G ( t ) , so that its Laplace transform G ^ ( s ) , which satisfies Equation (110), is given by p 1 ( s ) G ^ ( s ) = ( s + c ) · G ^ ( s ) = 1 , and hence we have
G ^ ( s ) = 1 p 1 ( s ) = 1 s + c .
By using this equation in Equation (113) and putting u ^ f ( s ) = G ^ ( s ) f ^ ( s ) , we obtain
u ^ ( s ) = u 0 G ^ ( s ) + u ^ f ( s ) , u ^ f ( s ) = G ^ ( s ) f ^ ( s ) .
By the inverse Laplace transform of Equation (114), we obtain
G ( t ) = e c t H ( t ) .
Theorem 7.
Let Condition 2(i) or 2(ii) be satisfied. Then the solution of Equation (112) is given by
u ( t ) = u 0 G ( t ) + u f ( t ) , t > 0 ,
where
u f ( t ) = 0 t G ( t τ ) f ( τ ) d τ = e c t 0 t e c τ f ( τ ) d τ , t > 0 ,
or
u f ( t ) = 0 D R β 0 t G ( t τ ) f β ( τ ) d τ = 0 D R β e c t 0 t e c τ f β ( τ ) d τ , t > 0 ,
according as Condition 2(i) or 2(ii) is satisfied.
Proof. 
By the AC-Laplace transform of Equation (117), we obtain Equation (115). When Condition 2(i) is satisfied, the Laplace transform of Equation (118) is u ^ f ( s ) = G ^ ( s ) f ^ ( s ) . When Condition 2(ii) is satisfied, we confirm that the AC-Laplace transform of Equation (119) is u ^ f ( s ) = s β G ^ ( s ) f ^ β ( s ) , with the aid of Equations (28) and (27). ☐
Theorem 8.
Let Condition 2(iii) be satisfied, so that f ^ ( s ) = s β for β C \ Z > 1 . Then the solution of Equation (112) is given by Equation (117) with
u f ( t ) = t β k = 0 ( 1 ) k ( c t ) k k ! Γ ( k + 1 β ) = t β Γ ( 1 β ) · 1 F 1 ( 1 ; 1 β ; c t ) .
Proof. 
By using Equation (114) in Equation (115), we have
u ^ f ( s ) = s β s + c = k = 0 ( c ) k s k 1 + β .
By the inverse Laplace transform of this equation, we obtain Equation (120), where we use Γ ( k + 1 β ) = Γ ( 1 β ) ( 1 β ) k . ☐

6.2. Solution of an Inhomogeneous Differential Equation of the Second Order

We consider an inhomogeneous differential equation of the second order:
p 2 ( d d t ) u ( t ) : = d 2 d t 2 u ( t ) + b d d t u ( t ) + c u ( t ) = f ( t ) , t > 0 ,
where b C and c C are constants.
By Lemma 34, we obtain the following equation for u ^ ( s ) = L H [ u ( t ) ] :
p 2 ( s ) u ^ ( s ) : = ( s 2 + b s + c ) u ^ ( s ) = ( u 0 s + u 1 ) + b u 0 + f ^ ( s ) .
Following Section 6, we introduce the Green’s function G ( t ) , so that its Laplace transform G ^ ( s ) , which satisfies Equation (110), is given by p 2 ( s ) G ^ ( s ) = ( s 2 + b s + c ) · G ^ ( s ) = 1 , and hence we have
G ^ ( s ) = 1 p 2 ( s ) = 1 s 2 + b s + c .
By using Equation (124) in Equation (123), we obtain
u ^ ( s ) = u 0 s G ^ ( s ) + ( u 1 + b u 0 ) G ^ ( s ) + u ^ f ( s ) ,
where
u ^ f ( s ) = G ^ ( s ) f ^ ( s ) .
Equation:
p 2 ( s ) : = s 2 + b s + c = 0 ,
has one or two roots according as c = b 2 4 or not. If c b 2 4 , then Equation (127) has two different roots μ 1 and μ 2 , so that b = ( μ 1 + μ 2 ) and c = μ 1 μ 2 , and Equation (124) gives
G ^ ( s ) = 1 ( s μ 1 ) ( s μ 2 ) = 1 μ 1 μ 2 ( 1 s μ 1 1 s μ 2 ) .
By the inverse Laplace transform, we then obtain
G ( t ) = 1 μ 1 μ 2 ( e μ 1 t e μ 2 t ) H ( t ) .
If c = b 2 4 , then Equation (127) has only one root μ 1 , so that b = 2 μ 1 and c = μ 1 2 , and in place of Equation (128), we have
G ^ ( s ) = 1 ( s μ 1 ) 2 .
By the inverse Laplace transform, we then obtain
G ( t ) = t e μ 1 t H ( t ) .
Theorem 9.
Let Condition 2(i) or 2(ii) be satisfied. Then the solution of Equation (122) is given by
u ( t ) = u 0 d d t G ( t ) + ( u 1 + b u 0 ) G ( t ) + u f ( t ) , t > 0 ,
where
u f ( t ) = 0 t G ( t τ ) f ( τ ) d τ , t > 0 ,
or
u f ( t ) = 0 D R β 0 t G ( t τ ) f β ( τ ) d τ , t > 0 ,
according as Condition 2(i) or 2(ii) is satisfied. If c b 2 4 , then b = ( μ 1 + μ 2 ) , c = μ 1 μ 2 , and G ( t ) given by Equation (129) is used in Equation (132). If c = b 2 4 , then b = 2 μ 1 , c = μ 1 2 , and G ( t ) given by Equation (131) is used there.
Proof. 
By the AC-Laplace transform of Equation (132), we obtain Equation (125). When Condition 2(ii) is satisfied, we have f ^ ( s ) = s β f ^ β ( s ) . By using Equations (28) and (27), we confirm that the AC-Laplace transform of u f ( t ) given by Equation (134) is s β G ^ ( s ) f ^ β ( s ) . ☐
Theorem 10.
Let Condition 2(iii) be satisfied, be satisfied, so that f ^ ( s ) = s β for β C \ Z > 1 . Then the solution of Equation (122) is given by Equation (132) with u f ( t ) given as follows. If c b 2 4 , then b = ( μ 1 + μ 2 ) , c = μ 1 μ 2 , and
u f ( t ) = 1 μ 1 μ 2 t β Γ ( 1 β ) [ 1 F 1 ( 1 ; 1 β ; μ 1 t ) 1 F 1 ( 1 ; 1 β ; μ 2 t ) ] .
If c = b 2 4 , then b = 2 μ 1 , c = μ 1 2 , and
u f ( t ) = t 1 β Γ ( 1 β ) · 1 F 1 ( 2 ; 1 β ; μ 1 t ) .
Proof. 
When c b 2 4 , by using Equation (128) in Equation (126), we have
u ^ f ( s ) = 1 μ 1 μ 2 ( s β s μ 1 s β s μ 2 ) .
In the proof of Theorem 8, we obtain Equation (120), by the inverse Laplace transform of u ^ f ( s ) given by Equation (121). By the corresponding inverse Laplace transform of Equation (137), we obtain Equation (135). When c = b 2 4 , by using Equation (130), we have
u ^ f ( s ) = s β d d s 1 s μ 1 = s β d d s k = 0 μ 1 k s k 1 = s β k = 0 μ 1 k ( k + 1 ) s k 2 .
By the inverse Laplace transform, we have
u f ( t ) = t 1 β k = 0 ( k + 1 ) ( μ 1 t ) k Γ ( k + 1 β ) = t 1 β Γ ( 1 β ) k = 0 ( 2 ) k ( μ 1 t ) k k ! ( 1 β ) k ,
which gives Equation (136).  ☐

6.3. Application of the Theorems in Section 6.1

We consider an inhomogeneous differential equation with polynomial coefficients of the first order:
d d x w ( x ) 2 x w ( x ) = 2 x g ( x ) = 1 , x R .
We put t = x 2 , u ( t ) = u ( x 2 ) = w ( x ) and f ( t ) = f ( x 2 ) = g ( x ) . Then u ( t ) satisfies
d d t u ( t ) u ( t ) = f ( t ) , t R > 0 ,
where
f ( t ) = 1 2 x = t 1 / 2 2 = Γ ( 1 / 2 ) 2 g 1 / 2 ( t ) = π 2 g 1 / 2 ( t ) ,
where g 1 / 2 ( t ) is defined by Equation (26).
Lemma 35.
Let u ( t ) be a solution of Equation (141). Then w ( x ) = u ( x 2 ) gives a solution of Equation (140).
Lemma 36.
The solution of Equation (141) is given by Equation (117), where u 0 = u ( 0 ) and
G ( t ) = e t , u f ( t ) = π 2 k = 0 t k + 1 / 2 Γ ( k + 3 2 ) , t R > 0 .
The solution of Equation (140) is given by
w ( x ) = w 0 G w ( x ) + w g ( x ) , x R ,
where w 0 = w ( 0 ) and
G w ( x ) = e x 2 , w g ( x ) = π 2 k = 0 x 2 k + 1 Γ ( k + 3 2 ) , x R .
Proof. 
By using c = 1 , β = 1 2 , Equation (142) in Equations (116) and (120), we see that the solution of Equation (141) is given by Equation (117) with Equation (143). Now the solution of Equation (140) is obtained from it with the aid of Lemma 35. ☐
Lemma 37.
The asymptotic behavior of u f ( t ) and w g ( x ) are given by
u f ( t ) = π 2 e t k = 0 ( 1 ) k ( 1 2 ) k 2 t k + 1 / 2 , t ,
w g ( x ) = π 2 e x 2 k = 0 ( 1 ) k ( 1 2 ) k 2 x 2 k + 1 , x , π 2 e x 2 k = 0 ( 1 ) k ( 1 2 ) k 2 x 2 k + 1 , x .
Proof. 
By using Equations (142) and (143) in Equation (118), we have
u f ( t ) = 0 t e t τ τ 1 / 2 2 d τ = e t Γ ( 1 2 ) 2 1 2 0 e τ ( t + τ ) 1 / 2 d τ = e t π 2 1 2 k = 0 ( 1 ) k ( 1 2 ) k t k + 1 / 2 ,
which gives Equation (146). Equation (147) is obtained from it with the aid of Lemma 35. ☐
Equation (145) shows that the particular solution w g ( x ) of Equation (140) is an odd function of x. As a consequence of this fact, the asymptotic behavior of w g ( x ) is given by Equation (147).

Acknowledgments

The authors are grateful to the reviewers of this paper. Following their suggestions, the last paragraph of Introduction and proofs of some theorems are included, and proofs of some lemmas are rewritten in details.

Author Contributions

In the last paragraph of Introduction, recent study on the solution of differential equations is reviewed. After the paper [2] was published, Tohru Morita wrote a manuscript giving particular solutions of Kummer’s and the hypergeometric differentail equations in terms of distribution theory and the Green’s function. Tohru Morita and Ken-ichi Sato worked together to improve the manuscript to the present paper, where the solution of differential equations with constant coefficients is written in the form where the role of the Green’s function is seen in the framework of the AC-Laplace transform.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. 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]
  2. Morita, T.; Sato, K. Solution of Differential Equations of Polynomial Coefficients with the Aid of Analytic Continuation of Laplace Transform. Mathematics 2016, 4, 19. [Google Scholar]
  3. Abramowitz, M.; Stegun, I.A. Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables; Dover Publ., Inc.: New York, NY, USA, 1972; Chapter 13. [Google Scholar]
  4. Morita, T.; Sato, K. Asymptotic Expansions of Fractional Derivatives and Their Applications. Mathematics 2015, 3, 171–189. [Google Scholar]
  5. Zemanian, A.H. Distribution Theory and Transform Analysis; Dover Publ., Inc.: New York, NY, USA, 1965. [Google Scholar]
  6. Godoy, E.; Ronveaux, A.; Zarzo, A.; Area, I. Connection Problems for Polynomial Solutions of Nonhomogeneous Differental and Difference Equations. J. Comput. Appl. Math. 1998, 99, 177–187. [Google Scholar]
  7. 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]
  8. 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]
  9. Yosida, K. Operational Calculus; Springer: New York, NY, USA, 1982; Chapter VII. [Google Scholar]
  10. Yosida, K. The Algebraic Derivative and Laplace’s Differential Equation. Proc. Jpn. Acad. Ser. A 1983, 59, 1–4. [Google Scholar]
  11. Morita, T.; Sato, K. Solution of Fractional Differential Equation in Terms of Distribution Theory. Interdiscip. Inf. Sci. 2006, 12, 71–83. [Google Scholar]
  12. Morita, T.; Sato, K. Neumann-Series Solution of Fractional Differential Equation. Interdiscip. Inf. Sci. 2010, 16, 127–137. [Google Scholar]
  13. Gelfand, I.M.; Shilov, G.E. Generalized Functions; Academic Press Inc.: New York, NY, USA, 1964; Volume 1. [Google Scholar]
  14. Vladimirov, V.S. Methods of the Theory of Generalized Functions; Taylor & Francis Inc.: New York, NY, USA, 2002. [Google Scholar]
  15. Schwartz, L. Théorie des Distributions; Hermann: Paris, France, 1966. [Google Scholar]
  16. Morita, T.; Sato, K. Liouville and Riemann-Liouville Fractional Derivatives via Contour Integrals. Fract. Calc. Appl. Anal. 2013, 16, 630–653. [Google Scholar]
  17. Podlubny, I. Fractional Differential Equations; Academic Press: San Diego, CA, USA, 1999. [Google Scholar]
  18. Miller, K.S.; Ross, B. An Introduction to the Fractional Calculus and Fractional Differential Equations; John Wiley: New York, NY, USA, 1993. [Google Scholar]
  19. Magnus, M.; Oberhettinger, F. Formulas and Theorems for the Functions of Mathematical Physics; Chelsea Publ. Co.: New York, NY, USA, 1949; Chapter VI. [Google Scholar]

Share and Cite

MDPI and ACS Style

Morita, T.; Sato, K.-i. Solution of Inhomogeneous Differential Equations with Polynomial Coefficients in Terms of the Green’s Function. Mathematics 2017, 5, 62. https://doi.org/10.3390/math5040062

AMA Style

Morita T, Sato K-i. Solution of Inhomogeneous Differential Equations with Polynomial Coefficients in Terms of the Green’s Function. Mathematics. 2017; 5(4):62. https://doi.org/10.3390/math5040062

Chicago/Turabian Style

Morita, Tohru, and Ken-ichi Sato. 2017. "Solution of Inhomogeneous Differential Equations with Polynomial Coefficients in Terms of the Green’s Function" Mathematics 5, no. 4: 62. https://doi.org/10.3390/math5040062

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