1. Introduction
Differential equations have been shown to be effective tools for describing a wide range of phenomena in modern-world problems. There has been meaningful progress in the study of different classes of differential equations. Traditional integer-order derivatives have recently lost popularity in recent decades in favor of fractional-order derivatives. This is because a variety of mathematical models for current issues involving fractional-order derivatives have been investigated, and their findings have been considerable. In contrast to integer-order derivatives, which are local operators, noninteger-order derivatives have the advantage of being global operators that yield precise and consistent results. Numerous classes of differential equations have been reorganized and constructed in terms of fractional-order derivatives as a result of these great benefits.
One of the major classes of differential equations is the class of implicit differential equations. These equations are useful in management and economic sciences. The differential equations in the equilibrium state are typical of the implicit type in economic difficulties. Related to this, we can use implicit functions to explore important aspects of most real-world graphs or surface geometry.
Mathematicians, physicists, biologists, engineers, and economists all share an attraction to the background of fractional differential equations (FDEs). It has been in development since the end of the 17th century. The quantity of papers and scientific conferences devoted to this idea in recent years shows the significance of the questions answered by this concept, which is more theoretical in nature than applied. It has expanded into a whole discipline. Experts believe that the story starts at the end of
(see [
1,
2,
3]).
FDEs bear an abundance of applications in science and engineering. Many authors have devoted their attention on problems relating to qualitative investigation of the positive aspects of these solutions for FDEs, see [
4,
5,
6,
7,
8,
9,
10,
11,
12,
13] and the references therein. Niazi et al. [
14], Iqbal et al. [
15], Shafqat et al. [
16], Alnahdi [
17], Khan [
18] and Abuasbeh et al. [
19,
20,
21] investigated the existence and uniqueness of the FFEEs. Kalidass et al. [
22] and Hammouch et al. [
23] worked on fractional order and numerical solutions of differential equations.
The generalised pantograph equation has a variety of applications. Only applications in number theory are mentioned [
24], in electrodynamics [
25] and in the absorption of energy by the pantograph of an electronic locomotive [
26].
Recently, in [
4], where
, and
this is produced. The nonlinear FDE boundary value problem (BVP)
to use certain FPTs on cone, the existence and multitude of consequences of positive solutions have been created.
In [
8], the existence and uniqueness of the positive solution of the FDE was examined
where
,
is the usual Caputo fractional derivative,
continuous function. The researchers obtained positive results by using the upper and lower solutions technique and FPTs.
The exploration of subjective theory for problems of positive solutions to pantograph FDEs is the focus of this study. The above mentioned works have motivated and inspired this work [
8,
27], and we concentrate on the PS for pantograph FDE and the connections therein
where
is the standard Caputo–Hadamard fractional derivatives of order
,
are continuous functions,
ℏ is non-decreasing on
and
. We convert (
1) into an integral equation and then utilise the upper and lower solution method and the Schauder and Banach FPTs to establish the existence and uniqueness of the positive solution.
The following is a breakdown of the paper structure.
Section 2 describes some key concepts, lemmas, and theorems that will be used throughout this study. Reversal of (
1) and the BFPT also are presented. We refer the reader to [
28] for more details on the Banach and Schauder FPTs. In
Section 3, we present and explain our chief goal findings on positive solution. The new results in this article are superior and more general than those in [
8,
27].
2. Preliminaries
This section introduces some important fundamental definitions that will be needed for obtaining our results in the next sections. For more details see [
1,
3,
6,
7,
27,
29,
30,
31,
32,
33].
Let be the Banach space of all real-valued continuous functions, with the maximum norm defined on the compact interval .
Create the subset of X. , , is said to function as a positive solution .
Suppose
as a
. For any
, we propose the upper-control function
and lower-control function
Clearly, and are monotonous non-decreasing on the arguments and .
Definition 1 ([
1,
3,
6])
. The Riemann–Liouville fractional integral (RLFI) of order for a function given bywhere Γ the Euler gamma function is stated as follows Definition 2 ([
1,
3,
6])
. The Hadamard fractional integral (HFI) of order for a continuous function is referred to as Definition 3 ([
1,
3,
6])
. The RLF derivative of order for a function is intended by Definition 4 ([
1,
3,
6])
. The Caputo–Hadamard fractional derivative of order for a continuous function is the aim ofwhere . Lemma 1 ([
1,
3,
6])
. Let , . The notion of equal is valid ifwhere are constants. Lemma 2 ([
1,
3,
6])
. Let , and . Then Lemma 3 ([
1,
3,
6])
. For everyone , Lemma 4 ([
1,
3,
6])
. Let , where and enable , . Then Lemma 5. Assume , and exist, so ϰ is a solution of (1) equivalent Proof. Let
be a solution of (
1). First, we will write this equation as
From Lemma 1, we obtained
the result is (
2). So that each process is reversible, the inverse is simple. The proof is now available. □
Finally, we give the FPTs that allow us to demonstrate the existence and uniqueness of a positive solution to (
1).
Definition 5. Suppose that is a Banach space and . If there is a such that , Φ is a contraction operator Theorem 1 (Banach [
28])
. Assume to be a closed-convex subset of a Banach space X and to be a contraction operator. Eventually, there is a unique with . Theorem 2 (Schauder [
28])
. Let be a closed-convex subset of a Banach space X and be a continuous compact operator. Thus, Φ has a fixed point in Υ. 3. Main Results
This part contains the details we explore at the existence results or a number of events of FDE (
1). We also provide necessary conditions for the uniqueness of (
1).
We construct an operator
by converting (
2) to be applied to SFPT
where the determined fixed point required to find the identity operator equation is satisfied
.
For the next set of results, the following models are applied.
Let
, as well as
for any
.
For
and
, there exist positive real numbers
such that
For (
1), the functions
and
are referred to as the upper and lower solution, respectively.
Theorem 3. If is valid, then FDE (1) has at least one solution that satisfies . Proof. Consider
, to be equipped with norm
, then we get
. Hence, As a result,
is a closed, convex, and bounded subset of the Banach space of
X. Additionally,
and
is a continuous function and imply
is a continuous function on
marked by (
3). If
, there exist positive constants
and
as well as
and
Then
where
Thus,
As a result,
is uniformly bounded. The equi-continuity of
is then proven. Let
and
, then
The right-hand side of the above inequality approaches to zero as
. As a consequence,
is equi-continuous.
is compact, according the Arzelà–Ascoli Theorem. The only way to use SFPT is to demonstrate that
. Let
, then we have assumptions.
and
Consequently,
, that is,
. The operator
has at least one fixed point
according to SFPT. As a conclusion, for the FDE (
1) there is at least one positive solution
, and
. □
After that, we consider a variety of various uses of the preceding theorem.
Corollary 1. Suppose that continuous functions and exist, so thatand The FDE (1) must thus have at least one positive solution . Furthermore, Proof. We have a command (
14) and the description of control function, we have
,
. We consider the equations
Formula (
16) is clearly comparable to
Hence, the first implies
and the second suggests
Equations (
16) and (
17), both have upper and lower solution. The FDE (
1) has at least one solution
and satisfies (
15) when Theorem 3 is performed. □
Corollary 2. Suppose (13) obtains for . The FDE (1) must then have at least one positive solution . Proof. Theoretically, if
, then
for any
. Hence,
for
and
. If
, then
for
, and
. By Corollary 2, the FDE (
1) has at least one positive solution
provides
□
Corollary 3. Assuming that for , and and are positive constants. So, the FDE (1) has at least one positive solution , where . Proof. Calculus (
21) is linked to analytical solution
Let
be a positive constant and
, there exists
such that
and
. Then, if
, the set
is convex, closed, and bounded subset of
. The operator
supplied by
is compact in the same sense as that of the proof of Theorem 3. Similarly,
If
, so
that is
. Consequently, the SFPT promotes that the operator
has at least one fixed point in
, and then Equation (
21) has at least one positive solution
, where
. Thus, if
one can claim that
The concept control function means
then
is an upper positive solution of FDE (
1). Secondly, one can consider
as a lower positive solution of (
1). By Theorem 3, the FDE (
1) has at least one positive solution
, where
and
. □
The end outcome is the uniqueness of the positive solution of (
1) using the Banach contraction principle.
Theorem 4. Take the following and are satisfied andSo, the FDE (1) has a unique positive solution . Proof. The FDE (
1) has at least one positive solution in
according to Theorem 3. As a consequence, all we have to do is show that the mapping specified in (
3) is a contraction on
X. In reality, for any
, we obtain
Consequently, by (
28) the
is a contraction mapping. Thus, the FDE (
1) has a unique positive solution on
. □
We present an example to demonstrate our finding.
4. Example
We consider the pantograph fractional equation
where
,
,
and
.
As
is non-decreasing on
,
and
for
, as a consequence, the Equation (
30) has a positive solution corresponding to any of the above corollaries. We have
the Equation (
30) has a unique positive solution as according to the Theorem 4.
5. Conclusions
In our paper, we have demonstrated the existence and uniqueness of positive solutions to the (
1). The novelties in our study are in finding a positive solution to a new type of equation, namely “pantograph fractional differential equation”. Using the Schauder fixed point theorem, we demonstrate the existence of a positive solution of (
1). Moreover, we use Banach fixed point theorem to demonstrate the existence of a unique positive solution. In addition, future protected work may include the expansion of the concept introduced in this area, and the addition of the possibility of other generalizations to the exclusive output of this fecund field with many research projects that can lead to a wide range of applications and theories.
Author Contributions
Conceptualization, H.B.; data curation, H.B.; formal analysis, A.B.; funding acquisition, A.B., N.P. and B.P.; methodology, N.P. and B.P.; resources, N.P. and B.P.; supervision, R.S.; visualization, R.S.; writing original draft, R.S. All authors have read and agreed to the published version of the manuscript.
Funding
The third author was financial supported by the Office of the Permanent Secretary, Ministry of Higher Education, Science, Research and Innovation (grant No. RGNS 65-168). The fifth author was funded by Chiang Mai University and the NSRF via the Program Management Unit for Human Resources & Institutional Development, Research and Innovation (grant number B05F640183).
Data Availability Statement
Not applicable.
Acknowledgments
The third author would like to thank Poom Kumam from King Mongkut’s University of Technology Thonburi, Thailand for his advice and comments to improve quality the results of this paper.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; Elsevier: Amsterdam, The Netherlands, 2006; Volume 204. [Google Scholar]
- Miller, K.S.; Ross, B. An Introduction to the Fractional Calculus and Fractional Differential Equations; Wiley: Hoboken, NJ, USA, 1993. [Google Scholar]
- Podlubny, I. Fractional Differential Equations; Academic Press: Cambridge, MA, USA, 1999. [Google Scholar]
- Bai, Z.; Lü, H. Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 2005, 311, 495–505. [Google Scholar] [CrossRef] [Green Version]
- Delbosco, D.; Rodino, L. Existence and uniqueness for a nonlinear fractional differential equation. J. Math. Anal. Appl. 1996, 204, 609–625. [Google Scholar] [CrossRef] [Green Version]
- Kaufmann, E.; Mboumi, E. Positive solutions of a boundary value problem for a nonlinear fractional differential equation. Electron. J. Qual. Theory Differ. Equ. 2008, 2008, 1–11. [Google Scholar] [CrossRef]
- Kou, C.; Zhou, H.; Yan, Y. Existence of solutions of initial value problems for nonlinear fractional differential equations on the half-axis. Nonlinear Anal. Theory Methods Appl. 2011, 74, 5975–5986. [Google Scholar] [CrossRef]
- Matar, M. On existence of positive solution for initial value problem of nonlinear fractional differential equations of order 1 < α ≤ 2. Acta Math. Univ. Comen. 2015, 84, 51–57. [Google Scholar]
- Guo, L.; Liu, L.; Wu, Y. Iterative unique positive solutions for singular p-Laplacian fractional differential equation system with several parameters. Nonlinear Anal. Model. Control 2018, 23, 182–203. [Google Scholar] [CrossRef]
- Zhang, K. Positive solution of nonlinear fractional differential equations with Caputo like counterpart hyper Bessel operators. Math. Methods Appl. Sci. 2020, 43, 2845–2857. [Google Scholar] [CrossRef]
- Wongcharoen, A.; Ntouyas, S.K.; Tariboon, J. Nonlocal boundary value problems for Hilfer-type pantograph fractional differential equations and inclusions. Adv. Differ. Equ. 2020, 2020, 279. [Google Scholar] [CrossRef]
- Zhang, S.; Hu, L. Unique existence result of approximate solution to initial value problem for fractional differential equation of variable order involving the derivative arguments on the half-axis. Mathematics 2019, 7, 286. [Google Scholar] [CrossRef] [Green Version]
- Zhang, S.; Hu, L. The existence of solutions and generalized Lyapunov-type inequalities to boundary value problems of differential equations of variable order. AIMS Math. 2020, 5, 2923–2943. [Google Scholar] [CrossRef]
- Niazi, A.U.K.; He, J.; Shafqat, R.; Ahmed, B. Existence, Uniqueness, and Eq–Ulam-Type Stability of Fuzzy Fractional Differential Equation. Fractal Fract. 2021, 5, 66. [Google Scholar] [CrossRef]
- Iqbal, N.; Niazi, A.U.K.; Shafqat, R.; Zaland, S. Existence and Uniqueness of Mild Solution for Fractional-Order Controlled Fuzzy Evolution Equation. J. Funct. Spaces 2021, 2021, 5795065. [Google Scholar] [CrossRef]
- Shafqat, R.; Niazi, A.U.K.; Jeelani, M.B.; Alharthi, N.H. Existence and Uniqueness of Mild Solution Where α ∈ (1, 2) for Fuzzy Fractional Evolution Equations with Uncertainty. Fractal Fract. 2022, 6, 65. [Google Scholar] [CrossRef]
- Alnahdi, A.S.; Shafqat, R.; Niazi, A.U.K.; Jeelani, M.B. Pattern Formation Induced by Fuzzy Fractional-Order Model of COVID-19. Axioms 2022, 11, 313. [Google Scholar] [CrossRef]
- Khan, A.; Shafqat, R.; Niazi, A.U.K. Existence Results of Fuzzy Delay Impulsive Fractional Differential Equation by Fixed Point Theory Approach. J. Funct. Spaces 2022, 2022, 4123949. [Google Scholar] [CrossRef]
- Abuasbeh, K.; Shafqat, R.; Niazi, A.U.K.; Awadalla, M. Nonlocal fuzzy fractional stochastic evolution equations with fractional Brownian motion of order (1,2). AIMS Math. 2022, 7, 19344–19358. [Google Scholar] [CrossRef]
- Abuasbeh, K.; Shafqat, R.; Niazi, A.U.K.; Awadalla, M. Local and Global Existence and Uniqueness of Solution for Class of Fuzzy Fractional Functional Evolution Equation. J. Funct. Spaces 2022, 2022, 7512754. [Google Scholar] [CrossRef]
- Abuasbeh, K.; Shafqat, R.; Niazi, A.U.K.; Awadalla, M. Local and Global Existence and Uniqueness of Solution for Time-Fractional Fuzzy Navier–Stokes Equations. Fractal Fract. 2022, 6, 330. [Google Scholar] [CrossRef]
- Kalidass, M.; Zeng, S.; Yavuz, M. Stability of Fractional-Order Quasi-Linear Impulsive Integro-Differential Systems with Multiple Delays. Axioms 2022, 11, 308. [Google Scholar] [CrossRef]
- Hammouch, Z.; Yavuz, M.; Özdemir, N. Numerical solutions and synchronization of a variable-order fractional chaotic system. Math. Model. Numer. Simul. Appl. 2021, 1, 11–23. [Google Scholar] [CrossRef]
- Mahler, K. On a special functional equation. J. Lond. Math. Soc. 1940, 1, 115–123. [Google Scholar] [CrossRef]
- Buhmann, M.; Iserles, A. Stability of the discretized pantograph differential equation. Math. Comput. 1993, 60, 575–589. [Google Scholar] [CrossRef]
- Hale, J.K. Retarded functional differential equations: Basic theory. In Theory of Functional Differential Equations; Springer: New York, NY, USA, 1977; pp. 36–56. [Google Scholar]
- Boulares, H.; Ardjouni, A.; Laskri, Y. Positive solutions for nonlinear fractional differential equations. Positivity 2017, 21, 1201–1212. [Google Scholar] [CrossRef]
- Smart, D.R. Fixed Point Theorems; Cambridge University Press: Cambridge, UK, 1980. [Google Scholar]
- Agarwal, R.P.; Zhou, Y.; He, Y. Existence of fractional neutral functional differential equations. Comput. Math. Appl. 2010, 59, 1095–1100. [Google Scholar] [CrossRef] [Green Version]
- Boulares, H.; Ardjouni, A.; Laskri, Y. Stability in delay nonlinear fractional differential equations. Rend. Circ. Mat. Palermo Ser. 2 2016, 65, 243–253. [Google Scholar] [CrossRef]
- Burton, T.A.; Zhang, B. Fractional equations and generalizations of Schaefer’s and Krasnoselskii’s fixed point theorems. Nonlinear Anal. Theory Methods Appl. 2012, 75, 6485–6495. [Google Scholar] [CrossRef]
- Burton, T.A. Fixed points, Volterra equations, and Becker’s resolvent. Acta Math. Hung. 2005, 108, 261–281. [Google Scholar] [CrossRef]
- Bai, Z.; Qiu, T. Existence of positive solution for singular fractional differential equation. Appl. Math. Comput. 2009, 215, 2761–2767. [Google Scholar] [CrossRef]
| Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).