Nothing Special   »   [go: up one dir, main page]

Next Article in Journal
Collocation Method for Optimal Control of a Fractional Distributed System
Next Article in Special Issue
A Three-Field Variational Formulation for a Frictional Contact Problem with Prescribed Normal Stress
Previous Article in Journal
A Fourth-Order Time-Stepping Method for Two-Dimensional, Distributed-Order, Space-Fractional, Inhomogeneous Parabolic Equations
Previous Article in Special Issue
Results for Fuzzy Mappings and Stability of Fuzzy Sets with Applications
You seem to have javascript disabled. Please note that many of the page functionalities won't work as expected without javascript enabled.
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Qualitative Properties of Positive Solutions of a Kind for Fractional Pantograph Problems using Technique Fixed Point Theory

1
Laboratory of Analysis and Control of Differential Equations “ACED”, Department of Mathematics, Faculty MISM, University of Guelma, Guelma 24000, Algeria
2
Mathematics and Computing Science Program, Faculty of Science and Technology, Phetchabun Rajabhat University, Phetchabun 67000, Thailand
3
Department of Mathematics and Statistics, University of Lahore, Sargodha 40100, Pakistan
4
Research Group in Mathematics and Applied Mathematics, Department of Mathematics, Faculty of Science, Chiang Mai University, Chiang Mai 50200, Thailand
5
Data Science Research Center, Department of Mathematics, Faculty of Science, Chiang Mai University, Chiang Mai 50200, Thailand
*
Authors to whom correspondence should be addressed.
Fractal Fract. 2022, 6(10), 593; https://doi.org/10.3390/fractalfract6100593
Submission received: 13 September 2022 / Revised: 3 October 2022 / Accepted: 8 October 2022 / Published: 14 October 2022
(This article belongs to the Special Issue Initial and Boundary Value Problems for Differential Equations)

Abstract

:
The current paper intends to report the existence and uniqueness of positive solutions for nonlinear pantograph Caputo–Hadamard fractional differential equations. As part of a procedure, we transform the specified pantograph fractional differential equation into an equivalent integral equation. We show that this equation has a positive solution by utilising the Schauder fixed point theorem (SFPT) and the upper and lower solutions method. Another method for proving the existence of a singular positive solution is the Banach fixed point theorem (BFPT). Finally, we provide an example that illustrates and explains our conclusions.

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 1695 (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 1 < α 2 , and f C 0 , 1 × 0 , , 0 , this is produced. The nonlinear FDE boundary value problem (BVP)
D α x t + f ( t , x ( t ) ) = 0 , 0 < α < 1 , x 0 = x 1 = 0 ,
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
C D α x t = f ( t , x ( t ) ) , 0 < α 1 , x 0 = 0 , x 0 = θ > 0 ,
where 1 < α 2 , C D α is the usual Caputo fractional derivative, f : 0 , 1 × 0 , 0 , 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
D 1 ν ϰ ( ς ) = ϖ ς , ϰ ( ς ) , ϰ 1 + λ ς + D 1 ν 1 ( ς , ϰ 1 + λ ς ) , ς 1 , , ϰ 1 = θ 1 > 0 , ϰ 1 = θ 2 > 0 ,
where λ 0 , 1 , ϰ 1 + λ = ϰ 0 > 0 , D 1 ν is the standard Caputo–Hadamard fractional derivatives of order 1 < ν 2 , , ϖ : 1 , × 0 , × 0 , 0 , , are continuous functions, is non-decreasing on ϰ and θ 2 1 , ϰ 0 . 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 X = C [ 1 , ] be the Banach space of all real-valued continuous functions, with the maximum norm defined on the compact interval [ 1 , ] .
Create the A = ϰ X : ϰ ς 0 , ς [ 1 , ] subset of X. ϰ ς > 0 , 1 ς , is said to function as a positive solution ϰ X .
Suppose a , b R + as a b > a . For any ϰ , y [ a , b ] , we propose the upper-control function
U ς , ϰ , y = sup ϖ ς , υ , μ : a υ ϰ , a μ y ,
and lower-control function
L ς , ϰ , y = inf ϖ ς , υ , μ : ϰ υ b , y μ b .
Clearly, U ς , ϰ , y and L ς , ϰ , y are monotonous non-decreasing on the arguments ϰ , y and L ς , ϰ , y ϖ ς , ϰ , y U ς , ϰ , y .
Definition 1
([1,3,6]). The Riemann–Liouville fractional integral (RLFI) of order ν > 0 for a function ϰ : 0 , + R given by
I ν ϰ ( ς ) = 1 Γ ( ν ) 0 ς ς τ ν 1 ϰ ( τ ) d τ ,
where Γ the Euler gamma function is stated as follows
Γ ( ν ) = 0 e ς ς ν 1 d ς .
Definition 2
([1,3,6]). The Hadamard fractional integral (HFI) of order ν > 0 for a continuous function ϰ : 1 , + R is referred to as
I 1 ν ϰ ς = 1 Γ ( ν ) 1 ς log ς τ ν 1 ϰ τ d τ τ .
Definition 3
([1,3,6]). The RLF derivative of order ν > 0 for a function ϰ : 0 , + R is intended by
D ν ϰ ς = 1 Γ ( n ν ) 0 ς ς τ n ν 1 ϰ n τ d τ , n 1 < ν < n , n N .
Definition 4
([1,3,6]). The Caputo–Hadamard fractional derivative of order ν > 0 for a continuous function ϰ : 1 , + R is the aim of
D 1 ν ϰ ς = 1 Γ n ν 1 ς log ς τ n ν 1 δ n ϰ τ d τ τ , ν n 1 , n ,
where δ n = ς d d ς n , n N .
Lemma 1
([1,3,6]). Let n 1 < ν n , n N . The notion of equal I 1 ν D 1 ν ϰ ς = 0 is valid if
ϰ ς = k = 1 n c k log ς ν k for each ς 1 , ,
where c k R , k = 1 , , n are constants.
Lemma 2
([1,3,6]). Let m 1 < ν m , m N and ϰ C n 1 1 , . Then
I 1 ν [ D 1 ν ϰ ς ] = ϰ ς k = 0 m 1 δ k ϰ 1 Γ k + 1 log ς k .
Lemma 3
([1,3,6]). For everyone μ > 0 , ν > 1 ,
1 Γ ( μ ) 1 ς log ς τ μ 1 log τ ν d τ τ = Γ ν + 1 Γ μ + ν + 1 log ς μ + ν .
Lemma 4
([1,3,6]). Let ϰ ς = log ς μ , where μ 0 and enable m 1 < ν m , m N . Then
D 1 ν ϰ ς = 0 if μ { 0 , 1 , , m 1 } , Γ ν + 1 Γ μ + ν + 1 log ς μ ν if μ N , μ m or μ N , μ > m 1 .
Lemma 5.
Assume ϰ C 1 1 , , ϰ ( 2 ) and ς exist, so ϰ is a solution of (1) equivalent
ϰ ς = θ 1 + θ 2 1 , ϰ 0 log ς + 1 ς τ , ϰ 1 + λ τ d τ τ + 1 Γ ( ν ) 1 ς log ς τ ν 1 ϖ ( τ , ϰ ( τ ) , ϰ ( 1 + λ τ ) ) d τ τ .
Proof. 
Let ϰ be a solution of (1). First, we will write this equation as
I 1 ν D 1 ν ϰ ς = I 1 ν ϖ ( ς , ϰ ( ς ) , ϰ ( 1 + λ ς ) ) + D 1 ν 1 ς , ϰ 1 + λ ς , 1 < ς .
From Lemma 1, we obtained
ϰ ς ϰ ( 1 ) ϰ ( 1 ) log ς = I 1 ν D 1 ν 1 ς , ϰ 1 + λ ς + I 1 ν ϖ ( ς , ϰ ( ς ) , ϰ 1 + λ ς ) = I 1 I 1 ν 1 D 1 ν 1 ς , ϰ 1 + λ ς + I 1 ν ϖ ( ς , ϰ ( ς ) , ϰ 1 + λ ς ) = I 1 ς , ϰ 1 + λ ς 1 , ϰ 0 + I 1 ν ϖ ( ς , ϰ ( ς ) , ϰ 1 + λ ς ) = 1 ς τ , ϰ 1 + λ τ d τ τ ( 1 , ϰ 0 ) log ς + 1 Γ ( ν ) 1 ς log ς τ ν 1 ϖ ( τ , ϰ ( τ ) , ϰ ( 1 + λ τ ) ) d τ τ ,
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 ( X , . ) is a Banach space and Φ : X X . If there is a l ( 0 , 1 ) such that ϰ , y X , Φ is a contraction operator
Φ ϰ Φ y l ϰ y .
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 Φ : A X by converting (2) to be applied to SFPT
Φ ϰ ( ς ) = θ 1 + θ 2 1 , ϰ 0 log ς + 1 ς τ , ϰ 1 + λ τ d τ τ + 1 Γ ( ν ) 1 ς log ς τ ν 1 ϖ ( τ , ϰ ( τ ) , ϰ ( 1 + λ τ ) ) d τ τ , ς [ 1 , ] ,
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.
( F 1 ) Let ϰ + , ϰ A , as well as a ϰ ( ς ) ϰ + ( ς ) b
D 1 ν ϰ + ( ς ) D 1 ν 1 ς , ϰ + ( 1 + λ ς ) U ( ς , ϰ + ( ς ) , ϰ + ( 1 + λ ς ) ) , D 1 ν ϰ ( ς ) D 1 ν 1 ς , ϰ ( 1 + λ ς ) L ( ς , ϰ ( ς ) , ϰ ( ( 1 + λ ς ) ) ) ,
for any ς [ 1 , ] .
( F 2 ) For ς [ 1 , ] and ϰ 1 , ϰ 2 , y 1 , y 2 X , there exist positive real numbers β 1 , β 2 , β 3 > 0 such that
( ς , y 1 ) ( ς , ϰ 1 ) β 1 y 1 ϰ 1 , ϖ ( ς , y 1 , y 2 ) ϖ ( ς , ϰ 1 , ϰ 2 ) β 2 y 1 ϰ 1 + β 3 y 2 ϰ 2 .
For (1), the functions ϰ + and ϰ are referred to as the upper and lower solution, respectively.
Theorem 3.
If ( F 1 ) is valid, then FDE (1) has at least one solution ϰ X that satisfies ϰ ( ς ) ϰ ( ς ) ϰ + ( ς ) , ς [ 1 , ] .
Proof. 
Consider Υ = ϰ A : ϰ ( ς ) ϰ ( ς ) ϰ + ( ς ) , ς [ 1 , ] , to be equipped with norm ϰ = max ς [ 1 , ] ϰ ( ς ) , then we get ϰ b . 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 c ϖ and c as well as
max { ϖ ( ς , ϰ ( ς ) , ϰ 1 + λ ς ) : ς [ 1 , ] , ϰ ( ς ) , ϰ 1 + λ ς b } < c ϖ ,
and
max { ( ς , ϰ 1 + λ ς ) : ς [ 1 , ] , ϰ 1 + λ ς b } < c .
Then
Φ ϰ ( ς ) θ 1 + θ 2 1 , ϰ 0 log ς + 1 ς ϖ τ , ϰ 1 + λ τ d τ τ + 1 Γ ( ν ) 1 ς log ς τ ν 1 ϖ ( τ , ϰ ( τ ) , ϰ ( 1 + λ τ ) ) d τ τ θ 1 + θ 2 + c 0 + c log + c ϖ log ν Γ ( ν + 1 ) ,
where 1 , ϰ 0 = c 0 . Thus,
Φ ϰ θ 1 + θ 2 + c 0 + c log + c ϖ log ν Γ ( ν + 1 ) .
As a result, Φ ( Υ ) is uniformly bounded. The equi-continuity of Φ ( Υ ) is then proven. Let ϰ Υ and 1 ς 1 < ς 2 , then
Φ ϰ ( ς 1 ) Φ ϰ ( ς 2 ) θ 2 1 , ϰ 0 log ς 2 log ς 1 + 1 ς 1 τ , ϰ 1 + λ τ d τ τ 1 ς 2 τ , ϰ 1 + λ τ d τ τ + 1 Γ ( ν ) 1 ς 1 log ς 1 τ ν 1 ϖ ( τ , ϰ ( τ ) , ϰ ( 1 + λ τ ) ) d τ τ 1 Γ ( ν ) 1 ς 2 log ς 2 τ ν 1 ϖ ( τ , ϰ ( τ ) , ϰ ( 1 + λ τ ) ) d τ τ θ 2 + c 0 log ς 2 log ς 1 + ς 1 ς 2 τ , ϰ 1 + λ τ d τ τ + 1 Γ ( ν ) 1 ς 1 log ς 1 τ ν 1 log ς 2 τ ν 1 ϖ ( τ , ϰ ( τ ) , ϰ ( 1 + λ τ ) ) d τ τ + 1 Γ ( ν ) ς 1 ς 2 log ς 2 τ ν 1 ϖ ( τ , ϰ ( τ ) , ϰ ( 1 + λ τ ) ) d τ τ θ 2 + c 0 + c log ς 2 log ς 1 + c ϖ Γ ( ν + 1 ) log ς 2 ν log ς 1 ν + 2 log ς 2 ς 1 ν .
The right-hand side of the above inequality approaches to zero as ς 1 ς 2 . As a consequence, Φ ( Υ ) is equi-continuous. Φ : Υ X is compact, according the Arzelà–Ascoli Theorem. The only way to use SFPT is to demonstrate that Φ ( Υ ) Υ . Let ϰ Υ , then we have assumptions.
Φ ϰ ( ς ) = θ 1 + θ 2 1 , ϰ 0 log ς + 1 ς τ , ϰ 1 + λ τ d τ τ + 1 Γ ( ν ) 1 ς log ς τ ν 1 ϖ ( τ , ϰ ( τ ) , ϰ ( 1 + λ τ ) ) d τ τ θ 1 + θ 2 1 , ϰ 0 log ς + 1 ς τ , ϰ + 1 + λ τ d τ τ + 1 Γ ( ν ) 1 ς log ς τ ν 1 U ( τ , ϰ ( τ ) , ϰ ( 1 + λ τ ) ) d τ τ θ 1 + θ 2 1 , ϰ 0 log ς + 1 ς τ , ϰ + 1 + λ τ d τ τ + 1 Γ ( ν ) 1 ς log ς τ ν 1 U ( τ , ϰ + ( τ ) , ϰ + ( 1 + λ τ ) ) d τ τ ϰ + ( ς ) ,
and
Φ ϰ ( ς ) = θ 1 + θ 2 1 , ϰ 0 log ς + 1 ς τ , ϰ 1 + λ τ d τ τ + 1 Γ ( ν ) 1 ς log ς τ ν 1 ϖ ( τ , ϰ ( τ ) , ϰ ( 1 + λ τ ) ) d τ τ θ 1 + θ 2 1 , ϰ 0 log ς + 1 ς τ , ϰ 1 + λ τ d τ τ + 1 Γ ( ν ) 1 ς log ς τ ν 1 L ( ς , ϰ ( τ ) , ϰ ( 1 + λ τ ) ) d τ τ θ 1 + θ 2 1 , ϰ 0 log ς + 1 ς τ , ϰ 1 + λ τ d τ τ + 1 Γ ( ν ) 1 ς log ς τ ν 1 L ( ς , ϰ ( τ ) , ϰ 1 + λ τ ) d τ τ ϰ ( ς ) .
Consequently, ϰ ( ς ) Φ ϰ ( ς ) ϰ + ( ς ) , ς [ 1 , ] , 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 ϰ X , and ϰ ( ς ) ϰ ( ς ) ϰ + ( ς ) , ς [ 1 , ] . □
After that, we consider a variety of various uses of the preceding theorem.
Corollary 1.
Suppose that continuous functions φ 1 , φ 2 , φ 3 and φ 4 exist, so that
0 < φ 1 ( ς ) ( ς , ϰ ( 1 + λ ς ) ) φ 2 ( ς ) < , ( ς , ϰ ( 1 + λ ς ) ) [ 1 , ] × [ 0 , + ) , θ 2 φ 1 ( 1 ) , θ 2 φ 2 ( 1 ) ,
and
0 < φ 3 ( ς ) ϖ ( ς , ϰ ( ς ) , ϰ ( 1 + λ ς ) ) φ 4 ( ς ) < , ( ς , ϰ ( ς ) , ϰ ( 1 + λ ς ) ) [ 1 , ] × [ 0 , + ) 2 .
The FDE (1) must thus have at least one positive solution ϰ X . Furthermore,
θ 1 + θ 2 φ 1 ( 1 ) log ς + 1 ς φ 1 ( τ ) d τ τ + I 1 ν φ 3 ( ς ) ϰ ( ς ) θ 1 + θ 2 φ 2 ( 1 ) log ς + 1 ς φ 2 ( τ ) d τ τ + I 1 ν φ 4 ( ς ) .
Proof. 
We have a command (14) and the description of control function, we have φ 3 ( ς ) L ( ς , ϰ , y ) U ( ς , ϰ , y ) φ 4 ( ς ) , ( ς , ϰ ( ς ) , y ( ς ) ) [ 1 , ] × [ a , b ] × [ a , b ] . We consider the equations
D 1 ν ϰ ( ς ) = φ 3 ( ς ) + D 1 ν 1 φ 1 ς , ϰ ( 1 ) = θ 1 , ϰ ( 1 ) = θ 2 , D 1 ν ϰ ( ς ) = φ 4 ( ς ) + D 1 ν 1 φ 2 ς , ϰ ( 1 ) = θ 1 , ϰ ( 1 ) = θ 2 .
Formula (16) is clearly comparable to
ϰ ( ς ) = θ 1 + θ 2 φ 1 ( 1 ) log ς + 1 ς φ 1 ( τ ) d τ τ + I 1 ν φ 3 ( ς ) , ϰ ( ς ) = θ 1 + θ 2 φ 2 ( 1 ) log ς + 1 ς φ 2 ( τ ) d τ τ + I 1 ν φ 4 ( ς ) .
Hence, the first implies
ϰ ( ς ) θ 1 θ 2 φ 1 ( 1 ) log ς 1 ς φ 1 ( τ ) d τ τ = I 1 ν φ 3 ( ς ) I 1 ν ( L ( ς , ϰ ( ς ) , ϰ ( 1 + λ ς ) ) ) ,
and the second suggests
ϰ ( ς ) θ 1 θ 2 φ 2 ( 1 ) log ς 1 ς φ 2 ( τ ) d τ τ = I 1 ν φ 4 ( ς ) I 1 ν ( U ( ς , ϰ ( ς ) , ϰ ( 1 + λ ς ) ) ) .
Equations (16) and (17), both have upper and lower solution. The FDE (1) has at least one solution ϰ X and satisfies (15) when Theorem 3 is performed. □
Corollary 2.
Suppose (13) obtains 0 < σ < φ ( ς ) = lim ϰ , y ϖ ( ς , ϰ , y ) < for ς [ 1 , ] . The FDE (1) must then have at least one positive solution ϰ , y X .
Proof. 
Theoretically, if ϰ , y > ρ > 0 , then 0 ϖ ( ς , ϰ , y ) φ ( ς ) < σ for any ς [ 1 , ] . Hence, 0 < φ ( ς ) σ ϖ ( ς , ϰ , y ) φ ( ς ) + σ for ς [ 1 , ] and ρ < ϰ , y < + . If max ϖ ( ς , ϰ , y ) : ς [ 1 , ] , ϰ , y ρ ν , then φ ( ς ) σ ϖ ( ς , ϰ , y ) φ ( ς ) + σ + ν for ς [ 1 , ] , and 0 < ϰ , y < + . By Corollary 2, the FDE (1) has at least one positive solution ϰ X provides
θ 1 + θ 2 φ 1 1 log ς + 1 ς φ 1 ( τ ) d τ τ + I 1 ν φ ( ς ) σ log ς ν Γ ( ν + 1 ) ϰ ( ς ) θ 1 + θ 2 φ 2 1 log ς + 1 ς φ 2 ( τ ) d τ τ + I 1 ν φ ( ς ) + σ + ν log ς ν Γ ( ν + 1 ) .
Corollary 3.
Assuming that 0 < σ < ϖ ( ς , ϰ ( ς ) , ϰ ( 1 + λ ς ) ) γ 1 ϰ ( ς ) + γ 2 ϰ ( 1 + λ ς ) + η < for ς [ 1 , ] , and σ , η , γ 1 and γ 2 are positive constants. So, the FDE (1) has at least one positive solution ϰ C [ 1 , δ ] , where δ > 1 .
Proof. 
We take the equation
D 1 ν ϰ ( ς ) = γ 1 ϰ ( ς ) + γ 2 ϰ ( 1 + λ ς ) + η + D 1 ν 1 ς , ϰ ( 1 + λ ς ) , 1 < ς , ϰ ( 1 ) = θ 1 > 0 , ϰ ( 1 ) = θ 2 > 0 , ϰ 1 + λ = ϰ 0 > 0 .
Calculus (21) is linked to analytical solution
ϰ ( ς ) = θ 1 + θ 2 1 , ϰ 0 log ς + 1 ς τ , ϰ 1 + λ τ d τ τ + 1 Γ ( ν ) 1 ς log ς τ ν 1 γ 1 ϰ ( ς ) + γ 2 ϰ ( 1 + λ ς ) d τ τ = θ 1 + θ 2 1 , ϰ 0 log ς + 1 ς τ , ϰ τ , ϰ 1 + λ τ d τ τ + η log ς ν Γ ( ν + 1 ) + γ 1 Γ ( ν ) 1 ς log ς τ ν 1 ϰ ( τ ) d τ τ + γ 2 Γ ( ν ) 1 ς log ς τ ν 1 ϰ ( 1 + λ τ ) d τ τ .
Let ω be a positive constant and ϕ 0 , 1 , there exists δ > 1 such that 0 < γ 1 + γ 2 log δ ν Γ ( ν + 1 ) < ϕ < 1 and ω > 1 ϕ 1 θ 1 + θ 2 + c 0 + c log δ + η log δ ν Γ ( ν + 1 ) . Then, if 1 ς δ , the set B ω = ϰ X : ϰ ( ς ) ω , 1 ς δ is convex, closed, and bounded subset of C [ 1 , δ ] . The operator Φ : B ω B ω supplied by
Φ ϰ ς = θ 1 + θ 2 1 , ϰ 0 log ς + 1 ς τ , ϰ 1 + λ τ d τ τ + η log ς ν Γ ( ν + 1 ) + γ 1 Γ ( ν ) 1 ς log ς τ ν 1 ϰ ( τ ) d τ τ + γ 2 Γ ( ν ) 1 ς log ς τ ν 1 ϰ ( 1 + λ τ ) d τ τ ,
is compact in the same sense as that of the proof of Theorem 3. Similarly,
Φ ϰ ς θ 1 + θ 2 + c 0 + c log + η log ν Γ ( ν + 1 ) + γ 1 + γ 2 log ν Γ ( ν + 1 ) ϰ .
If ϰ B ω , so
Φ ϰ ς 1 ϕ ω + ϕ ω = ω ,
that is Φ ϰ ω . Consequently, the SFPT promotes that the operator Φ has at least one fixed point in B ω , and then Equation (21) has at least one positive solution ϰ + ( ς ) , where 1 < ς < δ . Thus, if ς 1 , one can claim that
ϰ + ( ς ) = θ 1 + θ 2 1 , ϰ 0 log ς + 1 ς τ , ϰ + ( 1 + λ τ ) d τ τ + η log ς ν Γ ( ν + 1 ) + γ 1 Γ ( ν ) 1 ς log ς τ ν 1 ϰ + ( τ ) d τ τ + γ 2 Γ ( ν ) 1 ς log ς τ ν 1 ϰ + ( 1 + λ τ ) d τ τ .
The concept control function means
U ( ς , ϰ + ( ς ) , ϰ + ( 1 + λ ς ) ) γ 1 ϰ + ( ς ) + γ 2 ϰ + ( 1 + λ ς ) + η = D 1 ν ϰ + ( ς ) D 1 ν 1 ς , ϰ + ( 1 + λ ς ) ,
then ϰ + is an upper positive solution of FDE (1). Secondly, one can consider
ϰ ( ς ) = θ 1 + θ 2 1 , ϰ 0 log ς + 1 ς τ , ϰ ( 1 + λ τ ) d τ τ + σ log ς ν Γ ( ν + 1 ) ,
as a lower positive solution of (1). By Theorem 3, the FDE (1) has at least one positive solution ϰ C [ 1 , δ ] , where δ > 1 and ϰ ( ς ) ϰ ( ς ) ϰ + ( ς ) . □
The end outcome is the uniqueness of the positive solution of (1) using the Banach contraction principle.
Theorem 4.
Take the following ( F 1 ) and ( F 2 ) are satisfied and
β 1 log + β 2 + β 3 log ν Γ ( ν + 1 ) < 1 .
So, 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 ϰ , y X , we obtain
Φ ϰ ( ς ) Φ y ( ς ) 1 ς τ , ϰ 1 + λ τ τ , y 1 + λ τ d τ τ + 1 Γ ( ν ) 1 ς log ς τ ν 1 ϖ ( τ , ϰ ( τ ) , ϰ ( 1 + λ τ ) ) ϖ ( τ , y ( τ ) , y ( 1 + λ τ ) ) d τ τ β 1 log + β 2 + β 3 log ν Γ ( ν + 1 ) ϰ y .
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
D 1 3 2 ϰ ( ς ) D 1 1 2 ϰ ( ς ) + 1 2 + ϰ ( ς ) = 1 3 + ς 3 + ς ϰ ( ς ) + y ς 2 + ϰ ( ς ) + y ς , 1 < ς e , ϰ ( 1 ) = 1 , ϰ ( 1 ) = θ 2 1 ,
where ϰ 1 + λ = ϰ 0 > 0 , θ 1 = 1 , = e , ς , ϰ = ϰ + 1 2 + ϰ and ϖ ( ς , ϰ , y ) = 1 3 + ς 3 + ς ϰ + y 2 + ϰ + y .
As is non-decreasing on ϰ ,
lim ϰ ϰ + 1 2 + ϰ = lim ϰ , y 1 3 + ς 3 + ς ϰ + y 2 + ϰ + y = 1 ,
and
1 2 ( ς , ϰ ) 1 , 3 3 + e 1 3 + e 3 + e ϰ + y 2 + ϰ + y ϖ ( ς , ϰ , y ) 1 ,
for ( ς , ϰ , y ) [ 1 , e ] × [ 0 , + ) × [ 0 , + ) , as a consequence, the Equation (30) has a positive solution corresponding to any of the above corollaries. We have
β 1 log + β 2 + β 3 log ν Γ ( ν + 1 ) 0.900425 < 1 ,
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

  1. 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]
  2. Miller, K.S.; Ross, B. An Introduction to the Fractional Calculus and Fractional Differential Equations; Wiley: Hoboken, NJ, USA, 1993. [Google Scholar]
  3. Podlubny, I. Fractional Differential Equations; Academic Press: Cambridge, MA, USA, 1999. [Google Scholar]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. Mahler, K. On a special functional equation. J. Lond. Math. Soc. 1940, 1, 115–123. [Google Scholar] [CrossRef]
  25. Buhmann, M.; Iserles, A. Stability of the discretized pantograph differential equation. Math. Comput. 1993, 60, 575–589. [Google Scholar] [CrossRef]
  26. 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]
  27. Boulares, H.; Ardjouni, A.; Laskri, Y. Positive solutions for nonlinear fractional differential equations. Positivity 2017, 21, 1201–1212. [Google Scholar] [CrossRef]
  28. Smart, D.R. Fixed Point Theorems; Cambridge University Press: Cambridge, UK, 1980. [Google Scholar]
  29. 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]
  30. 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]
  31. 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]
  32. Burton, T.A. Fixed points, Volterra equations, and Becker’s resolvent. Acta Math. Hung. 2005, 108, 261–281. [Google Scholar] [CrossRef]
  33. 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.

Share and Cite

MDPI and ACS Style

Boulares, H.; Benchaabane, A.; Pakkaranang, N.; Shafqat, R.; Panyanak, B. Qualitative Properties of Positive Solutions of a Kind for Fractional Pantograph Problems using Technique Fixed Point Theory. Fractal Fract. 2022, 6, 593. https://doi.org/10.3390/fractalfract6100593

AMA Style

Boulares H, Benchaabane A, Pakkaranang N, Shafqat R, Panyanak B. Qualitative Properties of Positive Solutions of a Kind for Fractional Pantograph Problems using Technique Fixed Point Theory. Fractal and Fractional. 2022; 6(10):593. https://doi.org/10.3390/fractalfract6100593

Chicago/Turabian Style

Boulares, Hamid, Abbes Benchaabane, Nuttapol Pakkaranang, Ramsha Shafqat, and Bancha Panyanak. 2022. "Qualitative Properties of Positive Solutions of a Kind for Fractional Pantograph Problems using Technique Fixed Point Theory" Fractal and Fractional 6, no. 10: 593. https://doi.org/10.3390/fractalfract6100593

APA Style

Boulares, H., Benchaabane, A., Pakkaranang, N., Shafqat, R., & Panyanak, B. (2022). Qualitative Properties of Positive Solutions of a Kind for Fractional Pantograph Problems using Technique Fixed Point Theory. Fractal and Fractional, 6(10), 593. https://doi.org/10.3390/fractalfract6100593

Article Metrics

Back to TopTop