- Research
- Open access
- Published:
Analytical solutions of linear inhomogeneous fractional differential equation with continuous variable coefficients
Advances in Difference Equations volume 2019, Article number: 256 (2019)
Abstract
This paper proposes a series-representations for the solution of initial value problems of linear inhomogeneous fractional differential equation with continuous variable coefficients. It is proved that the solution of the problem is determined by adding the solution of the inhomogeneous differential equations with the homogeneous initial conditions to the linear combination of the canonical fundamental system of solution for corresponding homogeneous fractional differential equation and the inhomogeneous initial values. The effectiveness of the theoretical analysis is illustrated with two examples.
1 Introduction
The fractional modelings have aroused much attention in the fields of both engineering and mathematics due to their significant applications in diverse scientific areas such as electromagnetism [1], behaviors of physical phenomena [2], signal processing [3], and control engineering [4]. A lot of theoretical research has been carried on the existence and uniqueness of solution of fractional differential equations (FDEs) over the last years [5,6,7,8,9,10]. Currently, methods for solving FDEs with initial conditions can be classified into two classes, namely, approximative method and analytical methods. Typical approximative methods include the operational matrix method based on orthogonal functions, the predictor–corrector method, fractional Euler method, and so on ([11,12,13,14,15,16]). The most practical analytical methods are the Adomian decomposition method, the homotopy analysis method, the homotopy perturbation method, the Laplace transform method, and the variational iteration method ([17,18,19,20,21]).
In [22], a solution of general linear inhomogeneous fractional differential equations with constant coefficients has been obtained by using the Adomian decomposition method and one proved that this solution is equal to the solution represented by Green’s function. A theory on the system of linear inhomogeneous fractional differential equation has been studied, and the solution was represented in terms of the Green function for the case of constant matrix coefficients in [23]. In [24], a power series solution method for some linear fractional differential equations with continuous variable coefficients has been presented. In [25], a generalization of Duhamel’s method for one-term fractional differential equations with constant coefficients has been proposed in the case when the classical Duhamel’s principle does not hold true for differential equations with Caputo fractional derivative. A fractional power series method has been introduced for the solution of fractional heat-like equations with variable coefficients in [26].
Our work proposes series-representations for the solution of linear inhomogeneous fractional differential equation with continuous variable coefficients and inhomogeneous initial conditions. The fractional derivative is of Caputo type in the proposed problem.
The remainder of the paper is organized as follows. In Sect. 2, some definitions of fractional calculus are introduced. Section 3 gives series-representations of solutions for initial value problems of linear inhomogeneous fractional differential equation with continuous variable coefficients. In Sect. 4, the effectiveness of the proposed theory is illustrated with two examples. Finally, the conclusion to our work is summarized in Sect. 5.
2 Preliminaries
Definition 2.1
Let \(\mathbf{R}=(-\infty , +\infty )\) and \(\mathbf{R}_{+}=(0, +\infty )\). We denote the space of functions f by \(C^{n}_{r} [0, T]\), where f satisfies \(f:(0, T]\rightarrow \mathbf{R}\) (\(\forall T>0\)) and \(t^{r}f^{(n)}(t)\in C[0, T]\) for \(0\leq r<1\). In particular, denote \(C^{0}_{r} [0, T]\) by \(C_{r} [0, T]\).
Definition 2.2
([27])
Let \(\alpha \in \mathbf{R} _{+}\), \(f\in C_{r}[0, T]\), \(0\leq r<1\). Then
is called a fractional integral of order α (\(\alpha >0\)) of the function f in the sense of Riemann–Liouville. In particular, we denote \(I^{0}f(t)=f(t)\).
Definition 2.3
([27])
Let \(n-1<\alpha \leq n\), \(n \in \mathbf{N}\), \(I^{n-\alpha }f\in C^{n}_{\gamma }[0, T]\) and \(0\leq \gamma <1\). Then
is called the fractional derivative of order α of the function f in the sense of Riemann–Liouville.
Definition 2.4
([27])
Let \(n-1<\alpha \leq n\), \(n \in \mathbf{N}\), \(I^{n-\alpha }f\in C^{n}_{r}[0, T]\), \(0\leq r<1\). Then
is called the Caputo fractional derivative of order α of the function f.
Remark
When \(\alpha =n\), we have \({}^{c}D^{\alpha }_{0+}f(t)=D ^{\alpha }_{0+}f(t)=D^{n}f(t)\).
Definition 2.5
Let \(n\in \mathbf{N}\). We define the set
Here \(AC^{1}[a, b]=AC[a, b]\) is the set of absolutely continuous functions on \([a, b]\).
Definition 2.6
We denote by \(I^{\alpha }(L_{1})\) the set of functions f which are represented as an integral of order \(\alpha >0\) of some integrable function \(\varphi \in L_{1}(0, T)\), that is, \(f=I^{\alpha }\varphi \).
3 Main result
Now we consider a linear inhomogeneous fractional differential equation with continuous variable coefficients
with the initial condition
where \(\alpha _{0},\alpha _{i}\in \mathbf{R}_{+}\), \(i=1,\ldots ,m\) satisfy \(\alpha _{0}>0\), \(\alpha _{0}>\alpha _{1}>\cdots >\alpha _{m}\geq 0\) and \(n_{0}\), \(n_{i}\) are non-negative integers that satisfy \(n_{0}-1<\alpha _{0}\leq n_{0}\), \(n_{i}-1<\alpha _{i}\leq n_{i}\), \(i=1,\ldots , m\).
We can write the corresponding homogeneous differential equation of Eq. (1) by
In order to consider all possible cases for the homogeneous equation (3), we introduce the following index sets \(\boldsymbol{H}_{j}\) provided by \(\alpha _{i}\), \(i=0,1,\ldots , m\):
Here, we set \(h_{j}=\min \boldsymbol{H}_{j}\) if \(\boldsymbol{H}_{j}\neq \varnothing \) (where ∅ is the empty set).
Remark
Let \(k\in \boldsymbol{H}_{j}\Rightarrow \alpha _{k}\leq j\) and \(\boldsymbol{H}_{i}\subset \boldsymbol{H} _{j}\) (\(i< j\)). If \(\boldsymbol{H}_{j}\neq \varnothing \), let \(h_{j}=\min \boldsymbol{H}_{j}\) which is the smallest index of fractional orders of Eq. (3) that do not exceed j. Then it is evident that \(m-h_{j}+1\) is the number of element of \(\boldsymbol{H}_{j}\) and \(h_{i}\geq h_{j}\) (\(i< j\)). Thus when \(i< j\), \(h_{i}-h_{j}\) represents the number of such order \(\alpha _{k}\) that \(i<\alpha _{k} \leq j\) and in particular, if \(h_{i}=h_{j}\), then Eq. (3) has no such fractional orders \(\alpha _{k}\) that \(i<\alpha _{k}\leq j\).
Then there are the following possible cases:
Case 1. \(\boldsymbol{H}_{0}\neq \varnothing \). In this case \(\boldsymbol{H}_{j}\neq \varnothing \), \(j=0,1,\ldots , n_{0}-1\).
Case 2. \(n_{0}\geq 2\) and there exists a \(j_{0}\in \{0,1, \ldots , n_{0}-2\}\) such that \(\boldsymbol{H}_{j_{0}}=\varnothing \) and \(\boldsymbol{H}_{j_{0}+1}\neq \varnothing \). In this case \(\boldsymbol{H}_{j}=\varnothing \), \(j=0,1,\ldots , j_{0}\) and \(\boldsymbol{H}_{j}\neq \varnothing \), \(j= j_{0}+1,\ldots , n_{0}-1\).
Case 3. \(\boldsymbol{H}_{n_{0}-1}=\varnothing \). In this case \(\boldsymbol{H}_{j}=\varnothing \), \(j=0,1,\ldots , n _{0}-1\).
Definition 3.1
The linear homogeneous fractional differential equation (3) is called of type 1,2,3, respectively, when Eq. (3) correspond to the cases 1, 2, 3 dependent on the patterns of distances between adjacent fractional orders.
Definition 3.2
A system of functions \(y_{j}(t)\) (\(j = 0, 1 , \ldots , n_{0}-1\)) is called a canonical fundamental system of solutions of the homogeneous equation (3) if it satisfies
First, we consider the problem for solving the linear inhomogeneous fractional differential equations Eq. (1) with variable coefficients and the homogeneous initial condition
Lemma 3.1
Let \(g(t),a_{i}(t)\in C[0, T]\), \(i=1,\ldots , m\). Then the initial value problem (1) and (4) has the unique solution \(y(t)\in C^{\alpha _{0},n_{0}-1}[0, T]\), which is the limit \(y(t)=\lim_{l \rightarrow \infty } y^{l}(t)\) of the approximation sequence
where \(C^{\alpha _{0},n_{0}-1}[0, T]:= C^{\alpha _{0},n_{0}-1} _{0}[0, T]=\{y(x)\in C^{n_{0}-1}[0, T], {}^{c}D_{0+}^{\alpha _{0}}y \in C[0, T]\}\) and the norm is
Proof
First we prove the uniqueness and existence of solution for the initial value problem (1) and (4). Let assume that \(y(t) \in C^{\alpha _{0}, n_{0}-1}[0, T]\) satisfy Eqs. (1) and (4). Then if \({}^{c}D_{0+}^{\alpha _{0}}y(t) = z(t)\), we take \({}^{c}D_{0+}^{\alpha _{0}}y(t) \in C[0, T]\) and \(z(t) \in C[0, T]\). We can rewrite as
Also the left of the above equation has been changed,
By the homogeneous initial condition (4), we obtain
Namely \(y(t) = I_{0+}^{\alpha _{0}}z(t)\). Therefore \({}^{c}D_{0 + } ^{\alpha _{i}}y(t) = I_{0+}^{\alpha _{0} - \alpha _{i}}z(t)\) and Eq. (1) changes to the integral equation
Thus, for the solution \(y(t) \in {C^{{\alpha _{0}},{n_{0}} - 1}}[0, T]\) of Eqs. (1) and (4), \({}^{c}D_{0+}^{\alpha _{0}}y(t) = z(t)\) satisfies the integral equation Eq. (7).
Conversely let assume that \(z(t) \in C[0, T]\) is the solution of Eq. (7). Since \(g(t) \in C[0, T]\),
Let \(y(t): = I_{0+}^{\alpha _{0}}z(t)\). Then we have \({}^{c}D_{0+}^{ \alpha _{i}}y(t) = I_{0+}^{\alpha _{0} - \alpha _{i}}z(t)\) and
That is,
Also we get
Therefore for the solution \(z(t) \in C[0, T]\) of integral equation Eq. (7), \(I_{0 + }^{{\alpha _{0}}}z(t) = y(t) \in {C^{{\alpha _{0}}, {n_{0}} - 1}}[0, T]\) satisfies the initial value problem (1) and (4).
Thus the uniqueness and existence of solution for Eqs. (1) and (4) are equivalent to the ones of integral equation Eq. (7).
Now let prove the uniqueness and existence of solution for integral equation (7). Equation (7) can be rewritten
We define the operator T by \(Tz(t): = g(t) - \sum_{i = 1}^{m} a_{i}(t)I _{0+}^{\alpha _{0} - \alpha _{i}}z(t)\). Then Eq. (8) is expressed \(z(t) = Tz(t)\), namely \(T:C[0, T] \rightarrow C[0, T]\).
In \(C[0, T]\), we use the k-norm \(\| z \|_{k} = \max_{k} {e^{ - kt}}| {z(t)} |\) which is equivalent to themax-norm.
For \(\forall t \in [0, T]\), by the fact that \({I^{{\alpha _{0}} - {\alpha _{i}}}}{e^{kt}} \le \frac{{{e^{kt}}}}{{{k^{{\alpha _{0}} - {\alpha _{i}}}}}}\), the following expression is derived:
So we can obtain
If \(w(k): = \sum_{i = 1}^{m} {{{ \Vert {{a_{i}}} \Vert } _{\max }}\frac{1}{{{k^{{\alpha _{0}} - {\alpha _{i}}}}}}} \), then \(\exists {k_{0}} \in \mathbf{R}_{+}\); \(\forall k > {k_{0}}\), \(w({k_{0}}) < 1\), \({w_{0}}: = w({k_{0}})\), \(\| {T{z_{1}} - T{z_{2}}}\|_{{k_{0}}} \le {w_{0}}{ \Vert {{z_{1}} - {z_{2}}} \Vert _{{k_{0}}}}\), i.e. the operator \(T:C[0, T] \to C[0, T]\) is a contractive operator which is relative to \({ \Vert \cdot \Vert _{{k_{0}}}}\). By the equivalence of \({ \Vert \cdot \Vert _{\max }}\) and \({ \Vert \cdot \Vert _{{k_{0}}}}\), \(T:C[0, T] \to C[0, T]\) is the contractive operator which is relative to \({ \Vert \cdot \Vert _{\max }}\).
Therefore by using Banach fixed point theorem, the integral equation (7) has a unique solution in the sense of the norm \({ \Vert \cdot \Vert _{\max }}\) and the sequence \(\{ {{z_{n}}(t)} \}\) which is constructed by \({z_{n}}(t) = g(t) - \sum_{i = 1}^{m} {{a_{i}}(t)I_{0 + }^{{\alpha _{0}} - {\alpha _{i}}} {z_{n - 1}}(t)} \) converges in the sense of the norm \({ \Vert \cdot \Vert _{\max }}\) in \(C[0, T]\).
Next let prove the convergence of the approximative sequence (5) and (6). Since \(g(t) \in C[0, T]\), the sequence \(\{ {{z_{n}}(t)} \}\) constructed by the approximative expression
convergent in the sense of \({ \Vert \cdot \Vert _{ \max }}\).
From Eq. (9),
and since \(I_{0 + }^{{\alpha _{0}}}{z_{k}} = {y^{k}}\), \(I_{0 + }^{{\alpha _{0}} - {\alpha _{i}}}{z_{k - 1}}(t) = {}^{c}D_{0 + }^{{\alpha _{i}}} {y^{k}}(t)\), we have
i.e., Eqs. (5) and (6), where \({y^{l}} \in {C^{{\alpha _{0}}, {n_{0}} - 1}}[0, T]\).
We prove the convergence of sequence \(\{y^{l}\}\) in \({C^{{\alpha _{0}},{n_{0}} - 1}}[0, T]\). Since \({y^{k}} = I_{0 + }^{{\alpha _{0}}} {z_{k}}\),
are obtained. So
are satisfied. From the above two equations, we have
Since \(\{ {{z_{k}}} \}\) converges, the sequence \(\{ {{y^{k}}} \}\) constructed by Eqs. (5) and (6) converges in \({C^{{\alpha _{0}}, {n_{0}} - 1}}[0, T]\). □
Lemma 3.2
Let \(\gamma =n_{0}-\alpha _{0}(\in [0, 1))\), \(n_{0}=n_{1}\), \(a_{i}\in C_{\gamma }^{1}[0, T]\) and \(D_{0+}^{n_{0}- \alpha _{0}}a_{i}\in C[0, T]\), \(i=1, \ldots , m\). Also let assume that \(\boldsymbol{H}_{0}\neq \varnothing \), that is, Eq. (3) is of type 1. Then there exists the unique canonical fundamental system \(y_{j}(t)\in C_{\gamma }^{n_{0}}[0, T]\), (\(j = 0,1, \ldots , n_{0} - 1\)) of the solution for Eq. (3) and it is written
where
Proof
Let find the canonical system as the limit in \(C_{\gamma }^{n_{0}} [0, T]\) of the approximation sequence
First, we will obtain \(y_{0}(t)\). Let \(j = 0\) in Eq. (11), then \(y_{0}^{0}(t) = \varPhi _{1}(t)\) and from Eq. (12), we have
Also
Since \(H_{0}\neq \varnothing \), we have \(h_{0} = \min H_{0} = m\). For \(i = m \), \(\alpha _{m} = n_{m} = 0\),
If \(i = 1,\ldots , m-1\), then \(\alpha _{i} > 0\) and from \(n_{i}-1< \alpha _{i} \leq n_{i}\), we have \(n_{i} \geq 1\). Since
in (14), then \({}^{c}D_{0+}^{\alpha _{i}} \varPhi _{1}(t) = 0\) for \(i = 1,\ldots , m -1\) and
Substituting this into Eq. (13), then the first approximation of \(y_{0}(t)\) is given by
and since \(h_{0} = m\) and \(\alpha _{m} =0\), we can rewrite it as
Thus we get the first term (\(k = 0\)) of Eq. (10) in the case of \(j = 0\).
Now let prove \(y_{0}^{1}(t) \in C_{\gamma }^{n_{0}}[0, T]\). From Eq. (15), we have
From \(a_{m}(t)\varPhi _{1}(t) = a_{m}(t)\in C[0, T]\) and \(\alpha _{0}-n _{0} +1 > 0\), \(I_{0+}^{\alpha _{0}-n_{0}+1}a_{m}(t)\varPhi _{1}(t)\in C[0, T]\) is found, that is,
On the other hand, from \(a_{m}(t)\varPhi _{1}(t) = a_{m}(t)\in C_{\gamma }^{1}[0, T]\) and \(\alpha _{0}-n_{0} +1 > 0\), we have \(I_{0+}^{\alpha _{0}-n_{0}+1}a_{m}(t)\varPhi _{1}(t)\in C_{\gamma }^{1}[0, T]\). Therefore
Thus we proved \(y_{0}^{1}(t)\in C_{\gamma }^{n_{0}}[0, T]\).
Next we consider the case of \(j = 0\), \(l =1\) in Eq. (12) to find the second approximation of \(y_{0}(t)\). We have
Now let \(f(t):= \sum_{i=h_{0}}^{m}a_{i}(t)\varPhi _{1-\alpha _{i}}(t)\) and calculate \({}^{c}D_{0+}^{\alpha _{i}}I_{0+}^{\alpha _{0}}f(t)\). Then we get
Here since \(k\leq n_{i} -1 < \alpha _{i}<\alpha _{0}\), \(i=1, \ldots , m\), we have \(\alpha _{0} - k > 0\), \(k = 0,1,\ldots , n_{i}-1\) and thus we can rewrite it as
Since \(f(t)\in C[0, T]\), we have
and therefore
Thus the second approximation is given as
Since \(h_{0} = m\), \(\alpha _{m} = 0\), we have \(\varPhi _{1-\alpha _{i}}(t) = \varPhi _{1}(t)\in C[0, T]\) and therefore
Also we have
Thus we have \(y_{0}^{2}(t)\in C_{\gamma }^{n_{0}} [0, T]\).
Now under the assumption that the lth approximation of \(y_{0}(t)\) is provided by
and \(y_{0}^{l}(t)\in C_{\gamma }^{n_{0}} [0, T]\), we find the \((l+1)\)th approximation of \(y_{0}(t)\):
Thus the \((l + 1)\)th approximation of \(y_{0}(t)\) is provided by
Similar to the above, we get \(y_{0}^{l+1}(t)\in C_{\gamma }^{n_{0}}[0, T]\).
By induction, we proved that, for any \(n = 0,1, \ldots \) , the nth approximation of \(y_{0}(t)\) is provided by
and \(y_{0}^{n}(t)\in C_{\gamma }^{n_{0}}[0, T]\). The sequence \(\{y_{0}^{n}(t)\}\) converges in \(C_{\gamma }^{n_{0}}[0, T]\) and we get as the first element \(y_{0}(t)\) of the canonical system
Now for any j (\(j = 1, \ldots , n_{0}-1\)), we find the jth element \(y_{j}(t)\) of the canonical system. From (11) and (12), the first approximation of \(y_{j}(t)\) is given by
Also \({}^{c}D_{0+}^{\alpha _{i}}\varPhi _{j+1}(t)\) is represented as
If \(i \geq h_{j}\), \(0 \leq \alpha _{i} \leq j\) and \(n_{i} \leq j\). Thus \(D^{k}\varPhi _{j+1}(0) = 0\), \(k = 0, \ldots , n_{0}-1\). That is, we get
If \(i < h_{j}\), then \(n_{i} > j\) and so
and thus \({}^{c}D_{0+}^{\alpha _{i}}\varPhi _{j+1}(t)=0\), \(i< h_{j}\). That is, we get
Therefore the first approximation of \(y_{j}(t)\) is provided by
where
We have \(y_{j}^{1}(t)\in C_{\gamma }^{n_{0}}[0, T]\).
The second approximation of \(y_{j}(t)\) is given by
Here since \({}^{c}D_{0+}^{\alpha _{i}} I_{0+}^{\alpha _{0}}\sum_{i=h _{j}}^{m}a_{i}(t)\varPhi _{j+1-\alpha _{i}}(t) = I_{0+}^{\alpha _{0} - \alpha _{i}} \sum_{i=h_{j}}^{m}a_{i}(t)\varPhi _{j+1-\alpha _{i}}(t)\), we get
By induction, the nth approximation of \(y_{j}(t)\) is given by
Therefore
□
Lemma 3.3
Let us assume that \(n_{0} > n_{1}\), \(a_{i}\in C[0, T]\) (\(i=1, \ldots , m\)) and \(\boldsymbol{H}_{0} \neq \varnothing \). Then there exists the unique canonical fundamental system
of solutions for Eq. (3) and it is written by
Proof
Let find the canonical system as the limit of the approximation sequence (11) and (12). Fixing \(j = 0,1, \ldots , n_{0}-1\), we find the jth element \(y_{j}(t)\) of the canonical system.
Let us note that, for \(k = 0,1, \ldots , n_{i}-1\),
Since \(n_{0}>n_{1}\geq n_{i}\), for \(j = 0, 1, \ldots , n_{1}-1\), we get
If \(j = n_{1}, \ldots , n_{0}-1\), then \(k < j\) and thus we get
Therefore the first approximation of \(y_{j}(t)\) is given by
We obtain \(y_{j}^{1}(t)\in C^{\alpha _{0}, n_{0}-1}[0, T]\), \(j = 0, 1, \ldots , n_{0}-1\).
For \(j = 0, 1, \ldots , n_{1}-1\), the second approximation is given as
By Eq. (18) and the fact that \({}^{c}D_{0+}^{\alpha _{i}} I _{0+}^{\alpha _{0}}\sum_{i=h_{j}}^{m}a_{i}(t)\varPhi _{j+1-\alpha _{i}}(t)= I_{0+}^{\alpha _{0}-\alpha _{i}}\sum_{i=h_{j}}^{m}a_{i}(t) \varPhi _{j+1-\alpha _{i}}(t)\), we can rewrite (20) as
If \(j = n_{1}, n_{1}+1, \ldots , n_{0}-1\), then the second approximation is given as
Thus we have the representation of the second approximation of \(y_{j}(t)\) as
For \(n = 3, 4, \ldots \) , we can find \(y_{j}^{n}(t)\) by induction and, by letting \(n\rightarrow \infty \), we get the representation (16) and (17) of the canonical fundamental system. □
Lemma 3.4
Let \(0<\gamma =n_{0}-\alpha _{0}<1\), \(n_{0}=n_{1}\), \(a_{i}\in C_{\gamma }^{1}[0, T]\) and \(D_{0+}^{n_{0}- \alpha _{0}}a_{i}\in C[0, T]\), \(i=1, \ldots , m\). Let assume that Eq. (3) is of type 2. That is, let assume that \(n_{0}\geq 2\) and there exists a \(j_{0}\in \{0, 1, \ldots , n_{0}-2\} \) such that \(\boldsymbol{H}_{j_{0}}=\varnothing \) and \(\boldsymbol{H} _{j_{0}+1} \neq \varnothing \). Then there exists the unique canonical fundamental system \(y_{j}(t)\in C_{\gamma }^{n_{0}}[0, T]\), \(j = 0,1, \ldots , n_{0}-1\) of solutions for Eq. (3) and it is written by
Proof
Similarly, we can see that the first approximation of \(y_{j}(t)\) is written
We get \(y_{j}^{1}(t)\in C_{\gamma }^{n_{0}}[0, T]\), \(j=j_{0}+1, \ldots , n_{0}-1\).
Also the second approximation of \(y_{j}(t)\) is given as
By induction, we get the nth approximation of \(y_{j}(t)\),
That is, the canonical fundamental system of solutions for Eq. (3) is given by (21) and (22) and we get \(y_{j}(t)\in C_{\gamma }^{n_{0}}[0, T]\), \(j=0, 1, \ldots , n_{0}-1\). □
Lemma 3.5
Lets assume that \(n_{0} > n_{1}\) and \(a_{i} \in [0, T]\), \(i = 1, \ldots , m\). Lets assume that Eq. (3) is the type 2. That is, assume that \(n_{0} \geq 2\) and there exists a \(j_{0} \in \{0, 1,\ldots , n_{0}-2\} \) such that \(\boldsymbol{H}_{j_{0}}=\varnothing \) and \(\boldsymbol{H} _{j_{0}+1} \neq \varnothing \). Then there exists the unique canonical fundamental system \(y_{j}(t)\in C^{\alpha _{0}, n_{0}-1}[0, T]\), \(j = 0,1, \ldots , n_{0}-1\) of solution for Eq. (3) and it is written by
Proof
Similarly, we can see the first approximation of \(y_{j}(t)\) is given by
Also we get the second approximation of \(y_{j}^{1}(t)\),
In a similar way to the above proof, we can get the nth approximation of \(y_{j}(t)\) and then, taking \(n \rightarrow \infty \), we can get the canonical fundamental system (23) and (24) and (25) and \(y_{j}(t)\in C^{\alpha _{0}, n_{0}-1}[0, T]\), \(j=0, 1, \ldots , n_{0}-1\). □
Lemma 3.6
Let \(0<\gamma =n_{0}-\alpha _{0}<1\) and assume that \(a_{i} \in C_{\gamma }^{1}[0, T]\), \(i = 1,\ldots , m\). Let us assume that Eq. (3) is of type 3. That is, let assume that \(\boldsymbol{H}_{n_{0}-1}=\varnothing \). Then Eq. (3) has the unique canonical fundamental system \(\{y_{j}(t):j = 0,1,\ldots , n _{0}-1\}\) of solutions in \(C_{\gamma }^{n_{0}}[0, T]\) and it is represented as
Proof
Let \(y_{j}^{0}(t) = \varPhi _{j+1}(t)\), \(j =0, 1, \ldots , n _{0}-1\) and calculate the first approximation of \(y_{j}(t)\). Then we have
From the assumption of \(H_{n_{0}-1} = \{i : 0 \leq \alpha _{i} \leq n _{0}-1, i = 1, \ldots , m\} = \varnothing \), it is evident that \(n_{0}-1 < \alpha _{i}\leq n_{0}\) for all \(i =1, \ldots , m\) and thus
and \(y_{j}^{1}(t)=\varPhi _{j+1}(t)\), \(j=1, \ldots , n_{0}-1\). Similarly, we can easily find
and thus we can get
□
Theorem 3.1
Let \(g(t),a_{i}(t)\in C[0, T]\), \(i=1,\ldots , m\). Then there exists the unique solution \(y(t)\in C^{\alpha _{0},n _{0}-1}[0, T]\) of the initial value problem (1) and (4) and it is represented by
Proof
From the assumptions and Lemma 3.1 follow the existence and uniqueness of the solution of Eqs. (1) and (4). Now we have to find this solution.
From Lemma 3.1, the first approximation solution is given by
With a view on the definition of the Caputo fractional derivative and the integrability of \(I^{\alpha _{0}-\alpha _{i}}_{0+}g(t)\), we have
So, the first approximation solution can be rewritten
where \(\alpha _{0}-n_{0}+1>0\), \(g(t)\in C[0, T]\) and \([\sum_{i=1} ^{m}a_{i}(t)I^{\alpha _{0}-\alpha _{i}}_{0+} ]g(t)\in C[0, T]\).
Hence the Lemma 3.1 yields \(D^{n_{0}-1}y^{1}(t)\in C[0,T]\), that is, \(y^{1}(t)\in C^{n_{0}-1}[0, T]\).
Moreover, we have
from which \(y^{1}(t)\in C^{\alpha _{0},n_{0}-1}[0, T]\).
Next, we find the second approximation solution, i.e., \(l=2\) in the expression of Eq. (6):
Thus, we get the second approximation solution
Now, we inductively find the \((l+1)\)th approximation solution when the lth approximation solution for any \(l\in \mathbf{N}\) is provided by
Then we have
Therefore, we see that, for any natural number n, the nth approximation solution is
and
which yields \(y(t)\in C^{\alpha _{0},n_{0}-1}[0, T]\). □
Theorem 3.2
Let \(n_{0}-1<\alpha _{0}\leq n_{0}\) and \(n_{0}=n_{1}\). Assume that \(a_{i}\in C^{1}_{r}[0, T]\), \(D^{n_{0}-\alpha _{0}}_{0+}a_{i}\in C[0, T]\), \(i=1,\ldots , m\) for γ such that \(0<\gamma =n_{0}-\alpha _{0}<1\) and \(g(t)\in C[0, T]\). Moreover, assume that the case 1 holds. Then the initial value problem (1) and (2) has the unique solution \(y(t)\in C^{\alpha _{0},n_{0}-1}[0, T]\cap C^{n_{0}}_{\gamma }[0, T]\) and it is represented by
where \(y_{j}(t)\) is the canonical fundamental system of solution to the corresponding homogeneous equation
which is obtained from Lemma 3.2.
Proof
The proof follows from Theorem 3.1 and the linearity of the initial value problem (1) and (2).
Corollary 3.2.1
Let \(n_{0}-1<\alpha _{0}< n_{0}\), \(n _{0}>n_{1}\), \(g(t)\in C[0, T]\) and \(a_{i}\in C[0, T]\), \(i=1,\ldots m\). Assume that the case 1 holds true. Then the initial value problem (1) and (2) has the unique solution \(y(t)\in C^{\alpha _{0},n_{0}-1}[0, T]\) and it is represented as
where \(y_{j}(t)\) is obtained from Lemma 3.3.
Corollary 3.2.2
Let \(n_{0}-1<\alpha _{0}\leq n_{0}\) and \(n_{0}=n_{1}\). Assume that \(a_{i}\in C^{1}_{r}[0, T]\), \(D^{n_{0}-\alpha _{0}}_{0+}a_{i}\in C[0, T]\), \(i=1,\ldots , m\) for any γ such that \(0<\gamma =n_{0}-\alpha _{0}<1\) and \(g(t)\in C[0, T]\). Moreover, assume that the case 2 holds true. Then the initial value problem (1) and (2) has the unique solution \(y(t)\in C^{\alpha _{0},n_{0}-1}[0, T]\cap C^{n_{0}}_{\gamma }[0, T]\) and it is represented as
where \(y_{j}(t)\) is obtained from Lemma 3.4.
Corollary 3.2.3
Let \(n_{0}-1<\alpha _{0}< n_{0}\), \(n _{0}>n_{1}\), \(g(t)\in C[0,T]\) and \(a_{i}\in C[0, T]\), \(i=1,\ldots , m\). Assume that the case 2 holds true. Then the initial value problem (1) and (2) has the unique solution \(y(t)\in C^{\alpha _{0},n_{0}-1}[0, T]\) and it is represented as
where \(y_{j}(t)\) is obtained from Lemma 3.5.
Corollary 3.2.4
Let \(a_{i}\in C^{1}_{r}[0, T]\), \(i=1, \ldots , m\) for r such that \(0<\gamma <\alpha _{0}-n_{0}+1\). Moreover, assume that the case 3 holds true. Then the initial value problem (1) and (2) has the unique solution \(y(t)\in C^{\alpha _{0},n_{0}-1}[0, T]\cap C^{n_{0}}_{\gamma }[0, T]\) and it is represented as
where \(y_{j}(t)\) is obtained from Lemma 3.6.
4 Examples
Example 1
We consider the fractional differential equation with continuous variable coefficients as
Then we see that Eq. (29) satisfy the conditions of Theorem 3.1. We have
Thai is, the solution of Example 1 is expressed as
Example 2
We discuss the linear inhomogeneous fractional differential equation with continuous variable coefficients as
where \(g(t) = \frac{2}{{\varGamma (1.5)}}{t^{0.5}} + \frac{2}{{\varGamma (2.2)}}{t^{1.5}}\). The exact solution of Example 2 is \(y(t) = {t^{2}}\). We have \(\alpha _{0} = 1.5\), \(m = 1\), \({\alpha _{1}} = 0.8\),
Also since
and
are satisfied, we have
where \({E_{\alpha , \beta }}(x)\) is the Mittag-Leffler function.
Therefore the solution expression \(y(x)\) of the proposed problem is obtained as the above equation. The error between the exact solution and series-representation solution is
We can know that the error value is equal to almost zero. The error graph is shown in Fig. 1.
5 Conclusion
In this paper, we have obtained series-representations for the solution of initial value problems of linear inhomogeneous fractional differential equations with continuous variable coefficients and inhomogeneous initial conditions. We have proved that the solution of the problem is determined by adding the solution of the inhomogeneous differential equations with the homogeneous initial conditions to the linear combination of the canonical fundamental system of solution for the corresponding homogeneous fractional differential equation and the inhomogeneous initial values. The effectiveness of the proposed theory is illustrated with two examples. The representation of the solution for a multi-term fractional differential equation under general conditions will be the object of our future research.
References
Engheta, N.: On fractional calculus and fractional multipoles in electromagnetism. IEEE Trans. Antennas Propag. 44, 554–566 (1996)
Ahmadian, A., Salahshour, S., Seng Chan, C.: Fractional differential systems: a fuzzy solution based on operational matrix of shifted Chebyshev polynomials and its applications. IEEE Trans. Fuzzy Syst. 25(1), 218–236 (2016)
Ortigueira, M.D., Machado, J.A.T.: Fractional signal processing and applications. Signal Process. 83, 2285–2286 (2003)
Dehghan, M., Hamedi, E.A., Khosravian-Arab, H.: A numerical scheme for the solution of a class of fractional variational and optimal control problems using the modified Jacobi polynomials. J. Vib. Control 22(6), 1547–1559 (2016)
Bai, Z., Sun, S., Chen, Y., Bai, Z., Sun, S., Chen, Y.: The existence and uniqueness of a class of fractional differential equations. Abstr. Appl. Anal. 2014, Article ID 486040 (2014)
Lv, L., Wang, J., Wei, W.: Existence and uniqueness results for fractional differential equations with boundary value conditions. Opusc. Math. 31, 629–643 (2011)
Mahto, L., Abbas, S.: Existence and uniqueness of solution of Caputo fractional differential equations. AIP Conf. Proc. 1479, 896–899 (2012)
Tariboon, J., Sitthiwirattham, T., Ntouyas, S.K.: Boundary value problems for a new class of three-point nonlocal Riemann–Liouville integral boundary conditions. Adv. Differ. Equ. 2013, 213 (2013)
Liu, S.L., Li, H.L., Dai, Q., Liu, J.P.: Existence and uniqueness results for nonlocal integral boundary value problems for fractional differential equations. Adv. Differ. Equ. 2016, 122 (2016)
Badr, M., Yazdani, A., Jafari, H.: Stability of a finite volume element method for the time-fractional advection-diffusion equation. Numer. Methods Partial Differ. Equ. 34(5), 1459–1471 (2018)
Doha, E.H., Bhrawy, A.H., Baleanu, D., Ezz-Eldien, S.S.: On shifted Jacobi spectral approximations for solving fractional differential equations. Appl. Math. Comput. 219, 8042–8056 (2013)
Sin, K., Chen, M., Choi, H., Ri, K.: Fractional Jacobi operational matrix for solving fuzzy fractional differential equation. J. Intell. Fuzzy Syst. 33, 1041–1052 (2017)
Diethelm, K., Ford, N.J., Freed, A.D.: A predictor corrector approach for the numerical solution of fractional differential equations. Nonlinear Dyn. 29, 3–22 (2002)
Doha, E.H., Bhrawy, A.H., Ezz-Eldien, S.S.: A Chebyshev spectral method based on operational matrix for initial and boundary value problems of fractional order. Comput. Math. Appl. 62, 2364–2373 (2011)
Mazandarani, M., Vahidian Kamyad, A.: Modified fractional Euler method for solving fuzzy fractional initial value problem. Commun. Nonlinear Sci. Numer. Simul. 18, 12–21 (2013)
Sadeghi Roshan, S., Jafari, H., Baleanu, D.: Solving FDEs with Caputo–Fabrizio derivative by operational matrix based on Genocchi polynomials. Math. Methods Appl. Sci. 41(18), 9134–9141 (2018)
Daftardar-Gejji, V., Jafari, H.: Adomian decomposition: a tool for solving a system of fractional differential equations. J. Math. Anal. Appl. 301, 508–518 (2005)
Jafari, H.: Numerical solution of time-fractional Klein–Gordon equation by using the decomposition methods. J. Comput. Nonlinear Dyn. 11(4), 041015 (2016)
Jafari, H., Momani, S.: Solving fractional diffusion and wave equations by modified homotopy perturbation method. Phys. Lett. A 370, 388–396 (2007)
Das, S.: Analytical solution of a fractional diffusion equation by variational iteration method. Comput. Math. Appl. 57, 483–487 (2009)
Firoozjaee, M.A., Jafari, H., Lia, A., Baleanu, D.: Numerical approach of Fokker–Planck equation with Caputo–Fabrizio fractional derivative using Ritz approximation. J. Comput. Appl. Math. 339, 367–373 (2018)
Hu, Y., Luo, Y., Lua, Z.: Analytical solution of the linear fractional differential equation by Adomian decomposition method. J. Comput. Appl. Math. 215, 220–229 (2008)
Bonilla, B., Rivero, M., Trujillo, J.J.: On system of linear fractional differential equation with constant coefficients. Appl. Math. Comput. 181, 68–78 (2007)
Kilbas, A.A., Rivero, M., Rodríguez-Germá, L., Trujillo, J.J.: α-Analytic solutions of some linear fractional differential equations with variable coefficients. Appl. Math. Comput. 187, 239–249 (2007)
Umarov, S.R., Saidamatov, E.M.: A generalization of Duhamel’s principle for differential equations of fractional order. Dokl. Math. 75(1), 94–96 (2007)
Cui, R., Ban, T.: An analytical solution for a fractional heat-like equation with variable coefficients. Therm. Sci. 21(4), 1759–1764 (2017)
Diethelm, K.: The Analysis of Fractional Differential Equations. Springer, Berlin (2010)
Acknowledgements
The authors thank the referee for careful reading and helpful suggestions on the improvement of the manuscript.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors carried out the proof and conceived of the study. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Pak, S., Choi, H., Sin, K. et al. Analytical solutions of linear inhomogeneous fractional differential equation with continuous variable coefficients. Adv Differ Equ 2019, 256 (2019). https://doi.org/10.1186/s13662-019-2182-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2182-5