Abstract
The existence and uniqueness of positive solutions to a fractional dynamic equation involving integral boundary conditions on time scale are examined using the Banach fixed point theorem and Schauder’s fixed point theorem. The existence of the proposed dynamic equation has been determined using the Caputo nabla derivative operator (Caputo derivative on time scale in the nabla sense), the upper and lower solution approach, and the characteristics of the Green’s function on time scales. Further, some appropriate examples has been given to demonstrate the implementation of theoretical results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This manuscript focuses on the existence and uniqueness of the positive solutions for the fractional boundary value problem (FBVP) involving integral boundary conditions of the type
where \(\mathcal {J} = [0, T] \cap \mathbb {T_{\mathcal {K}}}\) for \(T \in \mathbb {T}\). \(^{C}D^{\beta }k(\zeta )\) is a Caputo nabla derivative of ld (left dense) continuous function \(k(\zeta )\) of order \(\beta \in (0, 1]\) on the time scale interval \(\mathcal {J}\). The mapping \(\mathscr {K}: \mathcal {J} \times \mathbb {R} \times \mathbb {R} \rightarrow \mathbb {R}\) is a ld continuous which is discussed in the paper.
Fractional calculus is one of the oldest branch of mathematics similar to ordinary calculus. In short one can say that ordinary calculus is a generalization of a fractional calculus. In real world applications we prefer fractional calculus over ordinary calculus due to the accuracy and advantages in the practical field. There have been a lot of work done on the topic of fractional differentail equation, fractional integro-differential equation, qualitative study of the solution of fractional differential equations with the Caputo fractional derivative operator and study of the existence of solution of a integral equations one can see Alabedalhadi et al. (2020), Al-Smadi and Arqub (2019), Al-Smadi (2021), Bohner et al. (2021), Chauhan et al. (2022), Tunç et al. (2021) and Tunç and Tunç (2023).
Fractional dynamic equation is used to solve a dynamic model in a common domain which is a unification of both discrete and continuous cases called time scale \(\mathbb {T}\), which generally takes the form \(\mathbb {T} = \bigcup \nolimits _{m = 0}^{\infty }[2\,m, 2\,m + 1]\) for \(m \in \mathbb {N} \cup \{0\}\). In such cases, solution of the dynamic equation can give the required data of the dynamic model under consideration. For convenience, one can see the model presented in the articles (Agarwal et al. 2002; Agarwal and O’Regan 2001) and the books (Bohner and Peterson 2003, 2001). Due to the wide application of the dynamic equation in the field of mathematics, engineering, economics, etc, many researchers are attracted to this topic in recent times. In the literature an ample amount of work exist in various fractional dynamic equations with initial and boundary conditions on time scale (Bai and Lü 2005; Benkhettou et al. 2016; Kumar and Malik 2019; Slavík 2012; Torres 2021; Zhao and You 2016; Zhao et al. 2016; Zhu and Wu 2015; Wu and Zhu 2013). But as compared to fractional dynamic equation involving initial conditions, less number of work can be seen with boundary conditions. However, the idea of the topic arises from the manuscripts (Agarwal et al. 2002; Yan et al. 2016b) and the books (Miller and Ross 1993; Podlubny 1999).
The discussion of the positive solution of the dynamic equation has been a very impectfull research from the inception of the topic. There have several manuscripts published in order to investigate the existence and uniqueness of the positive solution of a dynamic equation by employing various fixed point theorem in time scale (Feng et al. 2009; Kaufmann and Raffoul 2005; Dogan 2020; Yan et al. 2016a, b). Kaufmann et. al. Kaufmann and Raffoul (2005) gave the sufficient conditions for the existence of positive solution to a nonlocal eigen value problems for a class of nonlinear functional dynamic equation on time scale by emplyoing a cone theoretic fixed point theorem. The necessary and sufficient criteria for the existence of positive solution for singular boundary value problems on time scales were obtained by Feng et al. Feng et al. (2009). Goodrich (2011) studied the existence of a positive solution to a system of discrete fractional boundary value problems. Yan et al. (2016a) investigated the existence and uniqueness of solution of the boundary value problem of fractional order dynamic equation on time scales,
where \(\mathbb {T}\) is a general time scale with \(0, 1 \in \mathbb {T},\) \(^{C}\Delta ^{\alpha }\) is the Caputo \(\Delta\)-fractional derivatives. Then they have discussed the existence of the positive solution of the problem (1.2) by using the Krasonoseleskii theorem. But best of our knowledge no work has been done on implicit type fractional dynamic equation with periodic integral boundary conditions involving Caputo nabla fractional derivative on time scale. However, Abdo et al. (2018) discussed the existence and uniqueness of a positive solution of similar type problem by using the method of upper and lower control functions in fractional calculus.
The rest of the manuscript is presented as follows. In Sect. 2, we provide the auxiliary results related to the fractional dynamic equation on time scales. In Sect. 3, we highlight the existence and uniqueness result of the FBVP (1.1). In Sect. 4, we give certain examples to demonstrate the implementation of theoretical results. Finally, the conclusion of the paper is presented in Sect. 5.
2 Preliminaries
Time scale \(\mathbb {T}\) is a closed subset of \(\mathbb {R}\), inherited from the standard topology of \(\mathbb {R}\) with the properties \(\rho (\zeta ) = \sup \{\theta \in \mathbb {T}: \theta < \zeta \}\) and \(\sigma (\zeta ) = \inf \{\theta \in \mathbb {T}: \theta > \zeta \}\) which is used for connectedness of \(\mathbb {T}\).
Throughtout the paper we assume \(\mathcal {J} = \{\zeta \in \mathbb {T}: 0 \le \zeta \le T,~~T \in \mathcal {R^{+}}\}\).
In Anastassiou (2010), Anastassiou presented the nabla fractional integration in the following way
where U is a neihbourhood of \(\zeta\) and g is a Lebsesgue \(\nabla\)-integrable function on the time scale interval \([0, T]\cap \mathbb {T} = \mathcal {J}\) and
varies with respect to different time scales.
If \(\mathbb {T} = \mathbb {R},\) then \(\rho (\theta ) = \theta ,\) hence
therefore the Eq. (2.1) become
If \(\mathbb {T} = \mathbb {Z}\), then \(h_{\beta - 1}(\zeta , \rho (\theta )) = \frac{(\zeta - \rho (\theta ))^{\overline{\beta - 1}}}{\Gamma (\beta )}\), so from the Eq. (2.1), we get
If \(\mathbb {T} = q^{\mathbb {N}_{0}}\), then \(h_{\beta - 1}(\zeta , \rho (\theta )) = \Gamma _{q}(\beta )\frac{q^{\beta } - 1}{q - 1}(\zeta - q\theta )_{q}^{\beta - 1}\), where \(\Gamma _{q}\) is a q-gamma function. For detailed of the Eq. (2.1), we prefer the reader to see the book (Georgiev 2018). Later, in the literature, we have seen that a lot of work has already been done based on (Benkhettou et al. 2016, Definition 10) which is
As an improvement of the Eq. (2.2), in (Torres 2021, Definition 4) Torres proposed the most natural definition of fractional integral in a pure sense of Riemann-Liouville, which is
For checking the existence of the dynamic Eq. (1.1), we use the Eq. (2.3). On the basis of the definition given in Torres (2021), we introduce the Caputo nabla fractional derivative as follows
where \(n = [\beta ] + 1\). If \(\beta \in (0, 1),\) then
where \(g(\zeta ) \in \mathbb {T}_{\mathcal {K}^{m}},~ n < m\). \(\mathbb {T}_{\mathcal {K}^{m}}\) is attained by cutting out \(`m'\) right scattered minimum left end points of \(\mathbb {T}\).
Definition 2.1
(Tikare and Tisdell 2020) A function \(\mathscr {K}: \mathcal {J} \rightarrow \mathbb {R}\) is said to be a left-dense (ld) continuous if, at all left dense point of \(\mathbb {T}\), the function is continuous, and at the right dense point of \(\mathbb {T}\) the right sided limit exists.
The set of all function from \(\mathcal {J}\) to \(\mathbb {R}\) is said to be a space of ld continuous function which is denoted by \(\mathscr {C}(\mathcal {J}, \mathbb {R}).\)
Remark 2.2
\(\mathscr {C}(\mathcal {J}, \mathbb {R})\) form a Banach space endowed with the supremum norm, for \(k \in \mathscr {C}(\mathcal {J}, \mathbb {R})\) such that
Definition 2.3
(Gogoi et al. 2021) For a ld continuous function \(g(\zeta ) \in \mathbb {T}\), the nabla derivative does not exist. Define \(\mathbb {T_{\mathcal {K}}} = \mathbb {T}{\setminus }\{t\},\) else \(\mathbb {T_{\mathcal {K}}} = \mathbb {T}\), where t is the right scattered minimum left end point of \(\mathbb {T}\).
Definition 2.4
(Agarwal et al. 2021) Let \(\mathcal {A} \subset \mathscr {C}(\mathcal {J}, \mathbb {R})\) be nonempty, closed and convex set. We say that \(\mathcal {A}\) is a cone in \(\mathscr {C}(\mathcal {J}, \mathbb {R})\), if
-
(1)
\(\lambda \mathcal {A} \subset \mathcal {A}\) for all \(\lambda \ge 0\)
-
(2)
\(-\mathcal {A}\cap \mathcal {A} = \{0_{c}\}\), where \(0_{c}\) is the zero vector of \(\mathscr {C}(\mathcal {J}, \mathbb {R})\).
The cone \(\mathcal {A}\) induces a partial ordering \(\le\) in \(\mathscr {C}(\mathcal {J}, \mathbb {R})\) defined by
The cone \(\mathcal {A}\) is said to be normal or solid cone, if there exists \(\rho \ge 1\) such that
for all \(k, g \in \mathscr {C}(\mathcal {J}, \mathbb {R}).\)
Definition 2.5
(Abbas 2022) A mapping \(\Psi\) is a non negative, continuous concave functional on a cone \(\mathcal {A}\), if it satisfies the conditions:
-
(1)
\(\Psi : \mathcal {A} \rightarrow [0, \infty )\) is continuous.
-
(2)
\(\Psi (\zeta {k} + (1 - \zeta )g) \ge \zeta \Psi (k) + (1 - \zeta )\Psi (g)\) for all \(k, g \in \mathcal {A}\) and \(0 \le \zeta \le 1.\)
Definition 2.6
(Agarwal and O’Regan 2001) If \(K^{\nabla }(\zeta ) = k(\zeta )\), then the nabla integral is defined by
Theorem 2.7
(Tikare and Tisdell 2020) Let \(D \subset \mathscr {C}(\mathcal {J}, \mathbb {R})\) be a non empty set. D is a relatively compact, if it is bounded and equicontinuous simultaneously.
Definition 2.8
(Tikare and Tisdell 2020) A mapping \(\mathscr {K}: A \rightarrow B\) is completely continuous, if for a bounded subset \(\mathscr {B} \subseteq A,\) \(\mathscr {K}(\mathcal {B})\) is relatively compact in A.
Proposition 2.9
(Benkhettou et al. 2016) For a non decreasing ld continuous function \(k(\zeta )\), defined on a time scale interval \([0, T]_{\mathbb {T}}\), and if \(\mathscr {K}\) is the extension of k to the real line interval [0, T] such that
then
3 Existence and Uniqueness of Positive Solutions
Definition 3.1
A ld continuous function \(k \in \mathscr {C}(\mathcal {J}, \mathbb {R}) \cap \mathscr {C}^{1}(\mathcal {J}, \mathbb {R})\) is a solution of the FPBVP (1.1), if k satisfies the equation \(^{C}\mathcal {D}^{\beta }k(\zeta ) = \mathscr {K}(\zeta , k(\zeta ), ^{C}{D}^{\beta }k(\zeta ))\) for \(\zeta \in \mathcal {J}\) along with the boundary condition.
\(\mathscr {C}^{1}(\mathcal {J}, \mathbb {R})\) is used to denote the set of all continuous functions, whose first order nabla derivatives are ld continuous.
The following lemma helps us to transform the FBVP (1.1) into integral equation, which is key to apply fixed point theorem.
Lemma 3.2
Let \(1 < \beta \le 2\) and \(k \in \mathscr {C}(\mathcal {J}, \mathbb {R}) \cap \mathscr {C}^{1}(\mathcal {J}, \mathbb {R})\) for \(\zeta \in \mathcal {J}\). Then the FBVP (1.1) has a unique solution given by
where \(G(\zeta , \theta )\) is the Green function defined by
Proof
For \(1< \beta < 2\), in view of the Eq. (2.4) we have
\(^{C}D^{\beta }k(\zeta ) = \mathcal {I}^{2 - \beta }g_{\nabla }^{2}(\zeta ), ~ \zeta \in \mathcal {J}\)
Next, from the Lemma 2.7 (Yan et al. 2016b), we obtain
For \(p_{0}, p_{1} \in \mathbb {R}\). Again assuming, \(^{C}D^{\beta }k(\zeta ) = g(\zeta ), ~\zeta \in \mathcal {J}\), then we get
Now using the boundary conditions of the FPBVP (1.1) we obtain \(p_{0} = 0\), hence
Using the Fubini theorem on time scale (Benchohra and Ouaar 2010, Lemma 3.2) in the Eq. (3.28), then
Applying the Eqs. (3.4) and (3.5) in the boundary conditions of the FPBVP (1.1), we get
Now using the Eqs. (3.4), (3.5) and (3.6) in Eq. (3.28) we obtain
For the existence and uniqueness result, we assume the following:
-
(A1)
The mapping \(\mathscr {K} = \mathcal {J} \times \mathbb {R} \times \mathbb {R} \rightarrow \mathbb {R}\) is a ld continuous in its first variable and continuous in its second and third variable separately.
-
(A2)
For a function \(\mathscr {K}\) in (A1), there exists a function \(\mathscr {A} \in \mathscr {C}(\mathcal {J}, \mathbb {R})\), and two constants \(\mathscr {B} > 0, 0< \mathcal {C} < 1\) such that
$$\begin{aligned} |\mathscr {K}(\zeta , \eta _{1}, \eta _{2})| \le |\mathscr {A}(\zeta )| + \mathscr {B}|\eta _{1}| + \mathcal {C}|\eta _{2}|, \end{aligned}$$for \((\zeta , \eta _{1}, \eta _{2}) \in \mathcal {J} \times \mathbb {R} \times \mathbb {R}.\)
-
(A3)
For a function \(\mathscr {K}\) in (A1), there exist two constants \(\mathcal {G}, \mathcal {H} > 0\) such that
$$\begin{aligned} |\mathscr {K}(\zeta , \eta _{1}, \eta _{2}) - \mathscr {K}(\zeta , \theta _{1}, \theta _{2})| \le \mathcal {G}|\eta _{1} - \theta _{1}| + \mathcal {H}|\eta _{2} - \theta _{2}|, \end{aligned}$$for \((\zeta , \theta _{i}, \eta _{i}) \in \mathcal {J} \times \mathbb {R} \times \mathbb {R}\), for \(i = 1, 2.\)
-
(A4)
The Green function \(G(\zeta , \theta )\) is bounded piece wise continuous on [0, T]. Moreover, G is non negative increasing, such that
$$\begin{aligned} \mathscr {G} = \sup _{\zeta \in \mathcal {J}}\int _{0}^{T}G(\zeta , \theta )\nabla \theta . \end{aligned}$$
Later, to prove the existence and uniqueness of the positive solution of the FPBVP (1.1), we shall use fixed point theorems. For this, first we consider the following essential notations.
Consider a set
and an operator \(\mathcal {F}: \mathcal {A_{C}} \rightarrow \mathcal {A_{C}}\) defined by
It is obvious that \(\mathcal {A_{C}}\) is a normal cone in \(\mathscr {C}(\mathcal {J}, \mathbb {R})\). \(\square\)
Definition 3.3
(Abbas 2022, Method of upper and lower solutions) Consider that \(\mathscr {K}(\zeta , \cdot , \cdot )\) be a ld continuous functions for each \(\zeta \in \mathcal {J}\). Let \(c, d \in \mathscr {J}\) satisfy \(0 \le c < d \le T\), and a function k such that \(k \in [c, d]\). Define, the upper and lower control function as \(\overline{\mathscr {K}}(\zeta , k, h) = \sup \limits _{c\le g \le k, h \le r}\mathscr {K}(\zeta , g, r)\) and \(\underline{\mathscr {K}}(\zeta , k, h) = \inf \limits _{k\le g \le b, h \le r}\mathscr {K}(\zeta , g, r),\) respectively, where r is a function of k. Clearly the functions \(\overline{\mathscr {K}}(\zeta , k, h)\) and \(\underline{\mathscr {K}}(\zeta , k, h)\) is nondecreasing on k and satisfies the following condition:
Definition 3.4
let \(\overline{k}, \underline{k} \in \mathcal {A_{C}}\), for \(\zeta \in \mathcal {J}=[0, T]\) such that \(0 \le \underline{k}(\zeta ) \le \overline{k}(\zeta ) \le T\) conform to
Then the function \(\overline{k}(\zeta )\) is a upper solution and \(\underline{k}(\zeta )\) is a lower solution of the FBVP (1.1).
Next theorem is based on the Schauder’s fixed point theorem (see Tikare and Tisdell 2020).
Theorem 3.5
If the assumptions (A1)–(A4) hold and
for \(T \in \mathbb {R^{+}}\), then the Eq. (1.1) has at least one solution.
Proof
Assume that \(^{C}D^{\beta }k_{n}(\zeta ) = g_{n}(\zeta ), ~n \in \mathcal {N}\) and \(^{C}D^{\beta }k(\zeta ) = g(\zeta ), ~\zeta \in \mathcal {J}\). Consider \(\mathcal {F}: \mathcal {A_{C}} \rightarrow \mathcal {A_{C}}\), the mapping defined in (3.8). We divide the proof into the following steps:
Step 1: The operator \(\mathcal {F}: \mathcal {A_{C}} \rightarrow \mathcal {A_{C}}\) is continuous.
Let \(\{k_{n}\}_{n \in \mathcal {N}}\) be a sequence in \(\mathcal {A_{C}}\) which is converges to k in \(\mathcal {A_{C}}\). Now, for \(\zeta \in \mathcal {J}\) we have
For, \(g_{n}, g \in \mathcal {A_{C}}.\) In view of (1.1) for \(\theta \in \mathcal {J}\) we get
This gives
Now using the Eqs. (3.13) in (3.12), and taking the norm of \(\mathscr {C}(\mathcal {J}, \mathbb {R})\), we get
This yields that the right side of (3.14) approaches to 0 as \(k_{n}\) approaches k. Hence, \(\mathcal {F}: \mathcal {A_{C}} \rightarrow \mathcal {A_{C}}\) is continuous.
Step 2: The operator \(\mathcal {F}: \mathcal {A_{C}} \rightarrow \mathcal {A_{C}}\) is bounded. From (3.7), one can write for \(\zeta \in \mathcal {J}\)
For \(g \in \mathcal {A_{C}}, ~\theta \in \mathcal {J}\). In view of Eq. (1.1) for \(\theta \in \mathcal {J}\) we have
Using the Eq. (3.7) we have
Using (3.17) in (3.16) and applying the norm of \(\mathscr {C}(\mathcal {J}, \mathbb {R})\), we obtain
That is
Thus, the operator \(\mathcal {F}: \mathcal {A_{C}} \rightarrow \mathcal {A_{C}}\) is bounded.
Step 3: The operator \(\mathcal {F}: \mathcal {A_{C}} \rightarrow \mathcal {A_{C}}\) is equicontinuous.
Let \(\zeta _{1}, \zeta _{2} \in \mathcal {J}\) such that \(\zeta _{1} < \zeta _{2}\), then for \(g \in \mathcal {A_{C}},\) we get
That is
Since, the Green’s function is continuous so \(\zeta _{1} \rightarrow \zeta _{2}\), then \(\Vert \mathcal {F}[g](\zeta _{1}) - \mathcal {F}[g](\zeta _{2})\Vert \rightarrow 0\). Thus the operator \(\mathcal {F}:\mathcal {A_{C}} \rightarrow \mathcal {A_{C}}\) is equicontinuous. Now, since \(\mathcal {F}(\mathcal {A_{C}})\) is bounded and equicontinuous, then by the Theorem 2.7 the operator \(\mathcal {F}:\mathcal {A_{C}} \rightarrow \mathcal {A_{C}}\) is relatively compact. So, by virtue of Schauder’s fixed point theorem the operator has a fixed point, which is the solution of the FBVP (1.1). \(\square\)
The existence of positive solution of the FBVP (1.1) is based on the Schauder’s fixed point theorem.
Theorem 3.6
If the assumptions (A1) - (A4) hold and if \(\overline{k}(\zeta )\) and \(\underline{k}(\zeta )\) be a pair of upper and lower solutions, then the FBVP (1.1) possess at least one postive solution. Additionally
Proof
Consider a set
Clearly, the set \(\mathcal {D}\) is convex, bounded, and closed subset of \(\mathscr {C}(\mathcal {J}, \mathbb {R}).\) Taking into account of Theorem 3.5, we have that the opeartor \(\mathcal {F}: \mathcal {D} \rightarrow \mathcal {D}\) is relatively compact. Now for \(k \in \mathcal {D}, ~\zeta \in \mathcal {J}\) we have
\(\underline{k}(\zeta ) \le k(\zeta ) \le \overline{k}(\zeta )\).
By using (3.9) we obtain
Similarly
Thus \(\mathcal {F}[k] \in \mathcal {D}\), hence the operator \(\mathcal {F}:\mathcal {D} \rightarrow \mathcal {D}\) is relatively compact. So by virtue of Schauder’s fixed point theorem, \(\mathcal {F}\) has a fixed point in \(\mathcal {D}\), which is a positive solution of the FBVP (1.1) in \(\mathcal {A_{C}}\). \(\square\)
Corollary 3.7
Suppose the assumption (A1) hold. If there exist \({M_{1}}, {M_{2}} \in \mathbb {R}^{+}\), \(0 < {M_{1}} \le {M_{2}}\) such that
for \((\zeta , \psi , \phi ) \in \mathcal {J} \times \mathbb {R} \times \mathbb {R}\), then the FBVP (1.1) has at least one positive solution \(k \in \mathcal {A_{C}}\). Moreover \(k(\zeta )\) satisfies
Proof
Using (3.9) we have
Let us consider the equation
which has a positive solution given by
In view of (3.24), we obtain
Similarly, for the dynamic equation
has a positive solution given by
Thus, from (3.26) and (3.27), we obtain the solutions \(\overline{k}(\zeta ), ~\underline{k}(\zeta )\) are the upper and lower solution of the equation (1.1), respectively. Hence, an implementation of Theorem 3.6 we conclude that the FBVP (1.1) has atleast one positive solution \(k(\zeta )\in \mathcal {A_{C}}, ~\zeta \in \mathcal {J}\) which satisfies the inequality (3.23). \(\square\)
For uniqueness of the positive solution, we use Banach fixed point theorem (Tikare and Tisdell 2020).
Theorem 3.8
Let the assumptions (A3), (A4) hold. If
then the equation (1.1) has a unique solution.
Proof
Let \(^{C}{D}^{\beta }k_{i}(\zeta ) = g_{i}(\zeta ), ~\zeta \in \mathcal {J}\) and \(i = 1, 2\). Then for \(k_{1}, k_{2} \in \mathcal {A_{C}}\) we have
For \(g_{1},~ g_{2} \in \mathcal {A_{C}}\). But in view of (1.1) for \(\theta \in \mathcal {J}\)
This gives
Now using (3.29) in (3.28), we obtain
Since, \(\frac{\mathscr {G}\mathcal {G}}{1 - \mathcal {H}} < 1\), the mapping \(\mathcal {F}: \mathcal {A_{C}} \rightarrow \mathcal {A_{C}}\) is contractive. Hence, by Banach contraction theorem the operator has a unique fixed point, which is a solution of the FBVP (1.1). \(\square\)
4 Illustrative Example
Example 4.1
Consider a time scale \(\mathbb {T} = [0, 1] \cup [2, 3]\) and T = 2, then \(\mathcal {J} = [0, 2] \cap \{2\} = [0, 1] \cup \{2\}\). Consider the FPBVP
Here
which satisfies condition (A1).
Again,let
we have
Here (A2) is satisfy with \(\mathscr {A} = \frac{1}{15}, ~\mathscr {B} = \frac{1}{15}, ~ \mathcal {C} = \frac{1}{15}\). Similarly, assume that
Then
That is,
which satisfies the condition (A3), with \(\mathcal {G} = \frac{1}{15}, ~\mathcal {H} = \frac{1}{15}\).
Further, from the boundary conditions \(k(0) = 0, ~k(2) = \int _{0}^{2}k(\theta )\nabla \theta\), using the Eq. (3.2) of Green function for \(T = 2\) and the Proposition 2.9, we have
That is, for \(\zeta \in \mathcal {J}\) we can assume
This yields that (A4) is satisfied. Thus in view of Eqs. (4.2), (4.3), (4.4) and (4.5) we have, all conditions of the Theorem 3.5 is satisfied. Hence, the FBVP (4.2) has a solution.
Putting the above data from (4.4) and (4.5), the inequality
Thus, in view of (4.4), (4.5) and (4.6), all the condition of the Theorem 3.8 are satisfied which implies the unique solution of the FBVP (4.1). Again, for any \(k \in \mathcal {A_{C}}\), from Lemma 3.7, the solution is given by
Setting \(k(\zeta ) = \zeta\), for \(\zeta \in [0, 1] \cup \{2\}\) then we obtain
In view of the Corollary 3.7, \(M_{1} = \frac{1}{5}, ~ M_{2} = \frac{2}{5}\). Hence, we say that the positive solution \(k(\zeta )\) of the FBVP (4.1) satisfy the following condition:
Thus, as an implimentation of the Theorem 3.6, the upper and lower solutions are given by
\(\overline{k(\zeta )} = \frac{2}{5}\int _{0}^{2}G(\zeta , \theta )\nabla \theta\) and \(\underline{k(\zeta )} = \frac{1}{5}\int _{0}^{2}G(\zeta , \theta )\nabla \theta\).
.
5 Conclusion
In this paper, we have discussed the existence and uniqueness of the positive solution of a fractional dynamic equation involving integral boundary condition on time scales with the newly developed Caputo derivative (see Gogoi et al. 2021) in the sense of nabla (\(\nabla\)) derivative on time scales. Our approach is based on the Schauder’s fixed point theorem which allows to prove the existence of the required solution. For the gurantee of the unique solution we apply Banach fixed point theorem. One illustrative example is also given for better understanding the results. We believe the results presented here are employable in the mathematical modelling of hybrid continuous and discrete phenomena. Further, the involvment of nabla (\(\nabla\)) derivative gives significantly better accuracy in the modelling procss. Apart from this, we can say that the topic has potential application in population dynamics, Engineering sciences, Economics, etc.
The discussion of the qualitative properties of the solutions such as stability analysis, continuous dependency, etc. of nonlinear fractional dynamic equation with different types of boundary conditions will be our future work.
References
Abbas MI (2022) Positive solutions of boundary value problems for fractional differential equations involving the generalized proportional derivatives. Acta Math Univ Comenian 91(1):39–51
Abdo MS, Wahash HA, Panchal SK (2018) Positive solution of a fractional differential equation with integral boundary conditions. J Appl Math Comput Mech 17(3):5–15
Agarwal RP, O’Regan D (2001) Nonlinear boundary value problems on time scales. Nonlinear Anal Theory Methods Appl 44(4):527–535
Agarwal R, Bohner M, O’Regan D, Peterson A (2002) Dynamic equations on time scales: a survey. J Comput Appl Math 141(1–2):1–26
Agarwal RP, Jleli M, Samet B (2021) An investigation of an integral equation involving convex-concave nonlinearities. Mathematics 9(19):2372
Anastassiou GA (2010) Foundations of nabla fractional calculus on time scales and inequalities. Comput Math Appl 59(12):3750–3762
Alabedalhadi M, Al-Smadi M, Al-Omari S, Baleanu D, Momani S (2020) Structure of optical soliton solution for nonliear resonant space-time Schrödinger equation in conformable sense with full nonlinearity term. Phys Scr 95(10):105215
Al-Smadi M (2021) Fractional residual series for conformable time-fractional Sawada-Kotera-Ito, Lax, and Kaup-Kupershmidt equations of seventh order. Math Methods Appl Sci 2021:1–22. https://doi.org/10.1002/mma.7507
Al-Smadi M, Arqub OA (2019) Computational algorithm for solving Fredholm time-fractional partial integrodifferential equations of Dirichlet functions type with error estimates. Appl Math Comput 342:280–294
Bai Z, Lü H (2005) Positive solutions for boundary value problem of nonlinear fractional differential equation. J Math Anal Appl 311(2):495–505
Benchohra M, Ouaar F (2010) Existence results for nonlinear fractional differential equations with integral boundary conditions. Bull Math Anal Appl 2(2):7–15
Benkhettou N, Hammoudi A, Torres DF (2016) Existence and uniqueness of solution for a fractional Riemann–Liouville initial value problem on time scales. J King Saud Univ Sci 28(1):87–92
Bohner M, Peterson A (2003) Advances in dynamic equations on time scales. Birkhäuser, Boston, New York
Bohner M, Peterson A (2001) Dynamic equations on time scales: an introduction with applications. Springer, Berlin
Bohner M, Tunç O, Tunç C (2021) Qualitative analysis of caputo fractional integro-differential equations with constant delays. Comput Appl Math. https://doi.org/10.1007/s40314-021-01595-3
Chauhan HV, Singh B, Tunç C, Tunç O (2022). On the existence of solutions of non-linear 2D Volterra integral equations in a Banach space. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas, 116(3):101
Dogan A (2020) On the existence of positive solutions for the time-scale dynamic equations on infinite intervals. In: Differential and difference equations with applications: ICDDEA 2019, Lisbon, Portugal, July 1–5 4. Springer, pp 1–10
Feng M, Zhang X, Li X, Ge W (2009) Necessary and sufficient conditions for the existence of positive solution for singular boundary value problems on time scales. Adv Differ Equ 2009:1–14
Gogoi B, Saha UK, Hazarika B, Torres DF, Ahmad H (2021) Nabla fractional derivative and fractional integral on time scales. Axioms 10(4):317
Georgiev SG (2018) Fractional dynamic calculus and fractional dynamic equations on time scales. Springer, Berlin
Goodrich CS (2011) Existence of a positive solution to a system of discrete fractional boundary value problems. Appl Math Comput 217(9):4740–4753
Kaufmann ER, Raffoul YN (2005) Positive solutions for a nonlinear functional dynamic equation on a time scale. Nonlinear Anal Theory Methods Appl 62(7):1267–1276
Kumar V, Malik M (2019) Existence and stability of fractional integro differential equation with non-instantaneous integrable impulses and periodic boundary condition on time scales. J King Saud Univ Sci 31(4):1311–1317
Miller KS, Ross B (1993) An introduction to the fractional calculus and fractional differential equations. Wiley, London
Murad SA, Hadid S (2012) Existence and uniqueness theorem for fractional differential equation with integral boundary condition. J Frac Calc Appl 3(6):1–9
Podlubny I (1999) Fractional differential equation. Academic Press, New York
Redhwan S, Shaikh SL (2021) Implicit fractional differential equation with nonlocal integral-multipoint boundary conditions in the frame of Hilfer fractional derivative. J Math Anal Model 2(1):62–71
Sathiyanathan K, Krishnaveni V (2017) Nonlinear implicit caputo fractional differential equations with integral boundary conditions in banach space. Glob J Pure Appl Math 13:3895–3907
Slavík A (2012) Dynamic equations on time scales and generalized ordinary differential equations. J Math Anal Appl 385(1):534–550
Tikare S (2021) Nonlocal initial value problems for first-order dynamic equations on time scales. Appl Math E-Notes 21:410–420
Tikare S, Tisdell CC (2020) Nonlinear dynamic equations on time scales with impulses and nonlocal conditions. J Class Anal 16(2):125–140
Tikare S, Bohner M, Hazarika B, Agarwal RP (2023). Dynamic local and nonlocal initial value problems in Banach spaces. Rendiconti del Circolo Matematico di Palermo Series 2, 72(1):467–482
Torres DF (2021) Cauchy’s formula on nonempty closed sets and a new notion of Riemann–Liouville fractional integral on time scales. Appl Math Lett 121:107407
Tunç C, Tunç O (2021). On the stability, integrability and boundedness analyses of systems of integro-differential equations with time-delay retardation. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas, 115(3):115
Tunç O, Tunç C (2023). Solution estimates to Caputo proportional fractional derivative delay integro-differential equations. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas, 117(1):12
Wu L, Zhu J (2013) Fractional Cauchy problem with Riemann–Liouville derivative on time scales. In: Abstract and applied analysis, vol 2013. Hindawi
Yan RA, Sun SR, Han ZL (2016a) Existence of solutions of boundary value problems for Caputo fractional differential equations on time scales. Bull Iran Math Soc 42(2):247–262
Yan RA, Sun SR, Han ZL (2016b) Existence of solutions of boundary value problems for Caputo fractional differential equations on time scales. Bull Iran Math Soc 42(2):247–262
Zhao DF, You XX (2016) A new fractional derivative on time scales. Adv Appl Math Anal 11(1):1–9
Zhao D, You X, Cheng J (2016) On delta alpha derivative on time scales. J Chungcheong Math Soc 29(2):255–265
Zhong W, Wang L (2018) Positive solutions of conformable fractional differential equations with integral boundary conditions. Bound Value Prob 2018:1–12
Zhu J, Wu L (2015) Fractional Cauchy problem with Caputo nabla derivative on time scales. In: Abstract and applied analysis, vol 2015. Hindawi
Funding
Not applicable, the research is not supported by any funding agency.
Author information
Authors and Affiliations
Contributions
All the authors have equal contribution for the preparation of the article.
Corresponding author
Ethics declarations
Conflict of Interest
The authors declare that the article is free from Conflict of interest.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Gogoi, B., Saha, U.K., Hazarika, B. et al. Existence of Positive Solutions of a Fractional Dynamic Equation Involving Integral Boundary Conditions on Time Scales. Iran J Sci (2024). https://doi.org/10.1007/s40995-024-01691-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40995-024-01691-z
Keywords
- Caputo nabla derivative
- Riemann–Liouville fractional integro-differential equation
- Time scales
- Schauder’s fixed point theorem
- Green’s function
- Upper and lower method of solutions