Khuddush Krushna
Khuddush Krushna
Research paper
Keywords: Boundary value prob- The aim of this paper is to determine the eigenvalue intervals of µk , 1 ≤ k ≤ n for which
lem, Fixed-point theorems, Fractional an iterative systems of a class of fractional-order differential equations with parameterized
derivative, Kernel, Positive solution integral boundary conditions (BCs) has at least one positive solution by means of standard
2010 AMS: 26A33, 34A08, 47H10 fixed point theorem of cone type. To the best of our knowledge, this will be the first time
Received: 7 November 2023 that we attempt to reach such findings for the topic at hand in the literature. The obtained
Accepted: 5 March 2024 results in the paper are illustrated with an example for their feasibility.
Available online: 10 March 2024
1. Introduction
There is a strong impetus for the study of nonlinear fractional systems, and significant research efforts have been made undertaken lately
for these systems with the aim of implementing findings on the existence of positive solutions in related fields. At this point, differential
calculus expanded its scope to include the dynamics of the complex real world, and new theories began to be put into effect and assessed on
real data [1]. A variety of materials and processes with characteristics of heredity and memory can be accurately described by the nonlocal
nature of fractional calculus [2, 3]. There are numerous applications in a variety of scientific disciplines, including biomathematics [4],
viscoelasticity [5], non-Newtonian fluid mechanics [6], and characterization of anomalous diffusion [7].
Progressively, distinctive scientific advances and tools are created specifically for fractional differential equations (FDEqs). Due to this, a
significant amount of scientists concentrate on boundary value problems (BVPs) for FDEqs involving various derivatives, such as Riemann–
Liouville or Caputo, as well as some novel derivatives, including conformable fractional derivatives [8]. The literature on FDEqs of the
conformable type is not enriched yet. The conformable fractional derivative was first proposed in 2014. The conformable derivative can be
utilized for modeling many physical problems as DEqs with conformable fractional derivatives are easier to solve numerically in comparison
to those with Riemann–Liouville or Caputo fractional derivatives. A new concept, known as the conformable fractional derivative, has
recently [9, 10] been defined. Indeed, several researchers have previously applied conformable fractional derivatives to a wide range of
domains, and numerous replicating methodologies have been established, see [11]. In different industries, such as telecommunication
equipment, synthetic chemicals, automobiles, and pharmaceuticals, BVPs are frequently used. In these processes, positive solutions seem to
be beneficial. In these contexts, the existence of positive solutions is often advantageous. For instance, in [12], the authors established the
existence of multiple positive solutions for a coupled system of Riemann–Liouville FBVPs by means of an Avery generalization of the
Leggett–Williams FPT. Subsequently, in [13], the same authors determined the eigenvalue intervals of the parameters leading to a positive
solution for an iterative system of nonlinear Sturm–Liouville FBVPs by utilizing the Guo–Krasnosel’skii FPT on a cone. Additionally,
in [14], the authors examined p-Laplacian fractional higher-order BVPs, establishing criteria for determining parameter values ensuring at
least one positive solution. Furthermore, they derived sufficient conditions for the existence of an even number of positive solutions for
FBVPs using an Avery–Henderson functional FPT. Moreover, in [15], the authors established the existence of at least three positive solutions
to a system of FBVPs by employing a five-functionals FPT. Lastly, in [16], the authors investigated the eigenvalue intervals of parameters
guaranteeing at least one positive solution for an iterative system of four-point FBVPs under suitable conditions.
Email addresses and ORCID numbers: muraleebalu@yahoo.com, 0000-0001-7426-7451 (B. M. B. Krushna), khuddush89@gmail.com, 0000-
0002-1236-8334 (M. Khuddush)
Cite as: B. M. B. Krushna, M. Khuddush, On the Solvability of Iterative Systems of Fractional-Order Differential Equations with Parameterized
Integral Boundary Conditions, Univers. J. Math. Appl., 7(1) (2024), 46-58.
Universal Journal of Mathematics and Applications 47
Recently, Zhou et al. [17] the existence, uniqueness, and multiplicity of findings associated with positive solutions to various types of
conformable FBVPs. By using conventional fixed point theorems (FPTs) in conjunction with the theory of the cosine family of linear
operators, Bouaouid [18] showed the existence and continuous dependence of mild solutions for a class of conformable FDEqs with nonlocal
initial conditions. In their study of conformable stochastic functional DEqs of the neutral type, Xiao et al. [19] examined the existence and
stability outcomes. A mild solution to a conformable FBVP was introduced by Jaiswal et al. [20] and the existence, uniqueness of solutions
to the considered problem employing the contraction principle have been proven.
Conformable FDEqs with integral BCs provide a more flexible framework for modeling complex systems that exhibit non-local or memory-
dependent behavior. Many real-world processes, such as heat conduction in non-homogeneous materials or transport phenomena in porous
media, can be better described using fractional calculus. Gokdogan et al. demonstrated the uniqueness of solutions for sequential linear
conformable FDEqs in [21]. Khuddush et al. [22] obtained the existence of positive solutions for an iterative system of conformable fractional
dynamic BVPs on time scales by an application of FPT on a Banach space. Zhong and Wang in [23], where they studied the existence of
positive solutions to the FBVP
Dq u(z) + f z, u(z) = 0, z ∈ (0, 1),
Z 1
u(0) = 0, u(1) = λ u(z)dz,
0
where q ∈ (1, 2], λ is a constant and Dq is the conformable derivative. By utilizing the solution-tube approach and Schauder’s FPT, Bendouma
et al. [24] investigated the existence of solutions to systems of conformable FDEqs concerning periodic conditions.
In [25], Haddouchi used the Kernel characteristics along with the FPT in a cone to investigate the existence of positive solutions to
conformable FBVPs
Dq u(z) + f z, u(z) = 0, z ∈ (0, 1),
Z η
u(0) = 0, u(1) = λ u(z)dz,
0
where q ∈ (1, 2], η ∈ (0, 1], λ is a constant and Dq is the conformable derivative.
Through the use of various FPTs found in the literature, numerous authors have explored the existence of positive solutions to a variety
BVPs for ordinary, FDEqs during the past few years. Motivated and inspired by above highly decorated topics, by employing the Guo–
Krasnosel’skii FPT of cone compression and expansion of norm kind (see [26, 27]) to the considered problem. More explicitly, we construct
the Kernel for the associated linear FBVP, and estimate the bounds of this Kernel in more detail since they are essential for finding suitable
fixed points for the newly indicated operator on a cone in a Banach space. Furthermore, it was explained how to utilize the fixed point
technique and the bootstrapping argument to establish the existence of positive solutions to the iterative system. To the best of our knowledge,
in this work, we attempt for the first time to determine the eigenvalue intervals of parameters that have positive solutions for the following
iterative systems of conformable FDEqs
)
Dq uk (z) + µk pk (z)gk uk+1 (z) = 0
(1.1)
un+1 (z) = u1 (z), z ∈ (0, 1),
with parameterized integral BCs
Z ξ
uk (0) = 0, uk (1) = ϑ uk (z)dz,
0 (1.2)
for 1 ≤ k ≤ n,
where q ∈ (1, 2], ξ ∈ (0, 1], ϑ ∈ R+ is constant and Dq is the conformable fractional derivative. Iterative FDEqs have a variety of applications,
which makes studying them preferable to non-iterative DEqs. For instance, IFDEqs are the most suitable for studying problems associated
with infectious models and the kinetics of particles that are charged with delayed contact and can’t be employed to study such problems via
ordinary non-iterative DEqs. Iterative DEqs model dynamic systems where a variable’s rate of change depends not only on its current value
but also on its past values. These equations capture the influence of a system’s history on its current state, often in a nonlinear fashion. They
find applications across various fields, including modeling object motion, fluid dynamics, disease spread, chemical reactions, population
growth, control systems, electrical circuits, and economic systems. The equation (1.1) relates a diffusion phenomena with source or reaction
term. For example, in thermal conduction, it can be understood as a one dimensional heat conduction equation modeling steady states of a
heating rod of length c with the controller at r = c, while the left end is held at 0◦ C and h is function of source distribution temperature over
time delays in thermal conduction [28, 29]. The main advantage of studying IFDEqs over non-iterative DEqs exist in its various applications.
For example, the problems related to infectious models and the motion of charge particles with retarded interaction are best described using
IFDEqs and cannot be studied by general non DEqs.
We provide varied conditions for the functions g1 , g2 , · · · , gn and the intervals of µ1 , µ2 , · · · , µn ensuring that positive
solutions tonthe iterative
system of FBVP (1.1)–(1.2). A positive solution of the problem (1.1)–(1.2), we mean u1 (z), u2 (z), · · · , un (z) ∈ C2 [0, 1] satisfying
(1.1) and (1.2) with uk (z) > 0, k = 1, 2, · · · , n, ∀ z ∈ (0, 1].
Throughout the article, we propose the following hypotheses:
(H1 ) ∆ = 2 − ϑ ξ 2 > 0.
(H2 ) pk : [0, 1] → R+ is continuous and pk does not vanish identically on any closed subinterval of [0, 1], for k = 1, n.
(H3 ) gk : R+ → R+ is continuous, for k = 1, n.
gk (x) gk (x)
(H4 ) each of gk0 = lim+ and gk∞ = lim , for 1 ≤ k ≤ n, exists as positive real numbers.
x→0 x x→∞ x
The paper is arranged as follows: The preliminary results presented in Sect. 2 serve as foundations for the subsequent sections that follow.
This covers the solution to the corresponding linear problem, an investigation of the characteristics of Kernels, and other pertinent information.
The key existence theorems for the problem (1.1)–(1.2) are the focus of Sect. 3. In Sect. 4, an example is coined in support of validity of the
findings concerning the earlier sections.
48 Universal Journal of Mathematics and Applications
Definition 2.2. [8] The conformable fractional integral of a function of order ζ is defined for h : [0, ∞) → R as
Z r
sζ −1 h(s)ds,
ζ
I0 h(r) = s > 0, ζ ∈ (0, 1].
0
Z ξ
u1 (0) = 0, u1 (1) = ϑ u1 (z)dz, (2.2)
0
where
ϑz
ℵ(z, y) = ℵ1 (z, y) + ℵ2 (ξ , y), (2.3)
∆
(
(1 − z)yq−1 , 0 ≤ y ≤ z ≤ 1,
ℵ1 (z, y) = q−2
z(1 − y)y , 0 ≤ z ≤ y ≤ 1,
(
(2z − z2 − y)yq−1 , y ≤ z,
ℵ2 (z, y) =
z2 (1 − y)yq−2 , z ≤ y.
Proof. Let u1 (z) ∈ C2 [0, 1] be a solution of FBVP (2.1)-(2.2) and is uniquely expressed as
2 Z z
u1 (z) = ∑ ck z2−k − (z − y)yq−2 h(y)dy.
k=1 1
By the condition (2.2), we get c2 = 0 and c1 = Iq h(1) + u1 (1). Hence the unique solution of FBVP (2.1)-(2.2) is
Zz Z 1
(1 − z)yq−1 h(y)dy + z(1 − y)yq−2 h(y)dy+
0 Zξ z
ϑz h i
u1 (z) = yq−2 ξ 2 (1 − y) − (ξ − y)2 h(y)dy+
∆ Z0
ϑz 1 2
ξ (1 − y)yq−2 h(y)dy
∆ ξ
Z
1 ϑ z ξ q−1
Z
2ξ − ξ 2 − y h(y)dy+
ℵ1 (z, y)h(y)dy+ y
= 0 ∆ 0
ϑz 1 2
Z
ξ (1 − y)yq−2 h(y)dy
∆ ξ
Z 1 Z 1
ϑz
= ℵ1 (z, y)h(y)dy + ℵ2 (ξ , y)h(y)dy
0 ∆ 0
Z 1
= ℵ(z, y)h(y)dy,
0
Lemma 2.5. The Kernel ℵ(z, y) given in (2.3) is nonnegative, for all z, y ∈ [0, 1].
Let 0 ≤ y ≤ z ≤ 1. Then:
ℵ1 (z, y) = (1 − z)yq−1 ≥ 0.
ℵ2 (ξ , y) = ξ 2 (1 − y)yq−2 ≥ 0.
Let 0 ≤ y ≤ ξ ≤ 1. Then:
ℵ2 (ξ , y) = (2ξ − ξ 2 − y)yq−1 ≥ 0.
Hence ℵ(z, y) ≥ 0.
Let 0 ≤ y ≤ z ≤ 1. Then:
ℵ1 (z, y) = (1 − z)yq−1
≤ (1 − y)yq−1
= ℵ1 (y, y).
Hence the inequality (1). We establish the inequality (2). Let 0 ≤ z ≤ y ≤ 1. Then:
Let 0 ≤ y ≤ z ≤ 1. Then:
ℵ1 (z, y) = (1 − z)yq−1
≥ (1 − z)(1 − y)yq−1
≥ z(1 − z)ℵ1 (y, y).
1
Hence the inequality (2). On the other hand, if σ ∈ 0, , then ℵ1 (z, y) satisfies
2
Lemma 2.7. Let σ ∈ 0, 21 . The Kernels ℵ1 (z, y) and ℵ2 (z, y) have the properties:
ℵ2 (z, y) = z2 (1 − y)yq−2
≤ z(1 − y)yq−2
≤ (1 − y)yq−1
= ℵ1 (y, y).
Let 0 ≤ y ≤ z ≤ 1. Then:
≤ (1 − y)yq−1
= ℵ1 (y, y).
ℵ2 (z, y) = z2 (1 − y)yq−2
≥ z2 y(1 − y)yq−2
= z2 (1 − y)yq−1
= z2 ℵ1 (y, y).
Let 0 ≤ y ≤ z ≤ 1. Then:
≥ z(1 − z)yq−1
≥ z(1 − z)(1 − y)yq−1
≥ z(1 − z)ℵ1 (y, y).
Hence the inequality (2). On the other hand, if σ ∈ 0, 12 , then it follows immediately from (2):
and
Z 1h
ϑz i
u2 (z) = µ 2 ℵ 1 (z, y) + ℵ 2 (ξ , y) p2 (y)g2 u3 (y) dy,
0
Z 1h ∆
ϑz
i
u3 (z) = µ3 ℵ1 (z, y) + ℵ2 (ξ , y) p3 (y)g3 u4 (y) dy,
0 ∆
···
Z 1h
un (z) = µn ϑ z i
ℵ1 (z, y) + ℵ2 (ξ , y) pn (y)gn un+1 (y) dy,
0 ∆
Universal Journal of Mathematics and Applications 51
n
where un+1 (z) = u1 (z), 0 < z < 1. By a positive solution of the FBVP (1.1)-(1.2), we mean u1 (z), u2 (z), · · · , un (z) ∈ C2 [0, 1]
which satisfying
the FDEq (1.1) and BCs (1.2) with uk (z) > 0, k = 1, n ∀ z ∈ [0, 1].
Let B = x : x ∈ C[0, 1] be the Banach space endowed with the norm
Z 1h Z 1h
ϑz i ϑ y1 i
µ1 0 ℵ1 (z, y1 ) + ∆ ℵ2 (ξ , y1 ) p1 (y1 )g1 µ2 0 ℵ1 (y1 , y2 ) + ∆ ℵ2 (ξ , y2 )
Tu1 (z) = Z 1h
! !
ϑ yn−1 i
p (y ) · · · g (y , y ) + (ξ , y ) p (y )g u (y ) dy · · · dy 2 dy1 .
2 2
n−1 µn ℵ1 n−1 n ℵ 2 n n n n 1 n n
0 ∆
Notice from (H1 ) and Lemma 2.5 that, for u1 ∈ P, Tu1 (z) ≥ 0 on [0, 1]. In addition, we have
Z 1h
ϑ i
µ1 ℵ1 (y1 , y1 ) + ℵ2 (ξ , y1 ) p1 (y1 )
0 ∆
Z 1h
ϑ y1 i
g1 µ2 ℵ1 (y1 , y2 ) + ℵ2 (ξ , y2 ) p2 (y2 ) · · ·
0 ∆
Tu1 (z) ≤ Z 1h
ϑ yn−1 i
gn−1 µn ℵ1 (yn−1 , yn ) + ℵ2 (ξ , yn )
0 ∆
! !
pn (yn )gn u1 (yn ) dyn · · · dy2 dy1
so that
Z 1h
ϑ i
kTu1 k ≤ µ1 ℵ1 (y1 , y1 ) + ℵ2 (ξ , y1 ) p1 (y1 )
0 ∆
Z 1h
ϑ y1 i
g 1 µ2 ℵ1 (y1 , y2 ) + ℵ2 (ξ , y2 )
0 ∆
Z 1h
ϑ yn−1 (3.1)
p2 (y2 ) · · · gn−1 µn ℵ1 (yn−1 , yn ) +
0 ∆
! !
i
ℵ2 (ξ , yn ) pn (yn )gn u1 (yn ) dyn · · · dy2 dy1 .
≥ σ 2 kTu1 k.
2
Therefore min Tu1 (z) ≥ σ kTu1 k. Hence Tu1 ∈ P and so T : P → P. An application of the Arzela–Ascoli Theorem indicates that the
z∈ σ ,1−σ
operator T remains completely continuous.
52 Universal Journal of Mathematics and Applications
3.1. Notations
We introduce:
"
Z 1−σ h
#−1
2 ϑ i
σ ℵ1 (y, y) + ℵ2 (ξ , y) p1 (y)dyg1∞ ,
σ ∆
−1
" #
Z 1−σ h
2 ϑ i
(y, + (ξ , (y)dyg ,
σ1 = max σ ℵ1 y) ℵ 2 y) p2 2∞ ,
σ ∆
···
" Z #−1
1−σ h ϑ i
2
ℵ1 (y, y) + ℵ2 (ξ , y) pn (y)dygn∞
σ σ
∆
"
Z 1h
#−1
ϑ i
ℵ1 (y, y) + ℵ 2 (ξ , y) p1 (y)dyg10 ,
0 ∆
"Z #−1
1h ϑ i
ℵ1 (y, y) + ℵ2 (ξ , y) p2 (y)dyg20 ,
σ2 = min 0 ∆ .
···
"
#−1
Z 1 h ϑ i
ℵ1 (y, y) + ℵ2 (ξ , y) pn (y)dygn0
0 ∆
Theorem 3.1. Suppose (H1 )-(H4 ) hold. Then for each µk , k = 1, n satisfying
and
"
Z 1h
#−1
ϑ i
ℵ1 (y, y) + ℵ2 (ξ , y) p1 (y)dy(g10 + ε) ,
µ1 ,
0 ∆
µ2 , −1
" #
Z 1h
ϑ i
· (y, + (ξ , (y)dy(g + ,
max ≤ min ℵ 1 y) ℵ 2 y) p 2 20 ε) .
· 0 ∆
···
·
#−1
"Z h
µn
1 ϑ i
ℵ1 (y, y) + ℵ2 (ξ , y) pn (y)dy(gn0 + ε)
0 ∆
Furthermore, according to gk0 , k = 1, n, there exists an N1 > 0 s.t., for each 1 ≤ k ≤ n, gk (x) ≤ (gk0 + ε)x, 1 < x ≤ N1 .
Let u1 ∈ P with ku1 k = N1 . By Lemmas 2.6, 2.7 and the choice of ε, for 0 ≤ yn−1 ≤ 1,
Z 1h
ϑ yn−1 i
µn ℵ1 (yn−1 , yn ) + ℵ2 (ξ , yn ) pn (yn )gn u1 (yn ) dyn
0 ∆
Z 1h
ϑ i
≤ µn ℵ1 (y, yn ) + ℵ2 (ξ , yn ) pn (yn ) gn0 + ε u1 (yn )dyn
0 ∆
Z 1h
ϑ i
≤ µn ℵ1 (y, yn ) + ℵ2 (ξ , yn ) pn (yn )dyn gn0 + ε ku1 k
0 ∆
≤ ku1 k = N1 .
Universal Journal of Mathematics and Applications 53
It follows from Lemmas 2.6, 2.7 in the same way, for 0 ≤ yn−2 ≤ 1,
Z 1
ϑ yn−2
ℵ1 (yn−2 , yn−1 ) + ℵ2 (ξ , yn−1 ) pn−1 (yn−1 )
µn−1
0 Z 1 ∆
ϑ yn−1
gn−1 µn ℵ1 (yn−1 , yn ) + ℵ2 (ξ , yn )
0 ∆
pn (yn )gn u1 (yn ) dyn dyn−1
Z 1h
ϑ i
ℵ1 (y, yn−1 ) + ℵ2 (ξ , yn−1 )
µn−1
≤ ∆
p (y0 )dy
n−1 n−1 n−1 gn−10 + ε ku1 k
≤ ku1 k = N1 .
It stems in the same way from Lemmas 2.6, 2.7 and choice of ε, for 0 ≤ yn−2 ≤ 1:
Z 1
ϑ yn−2
ℵ1 (yn−2 , yn−1 ) + ℵ2 (ξ , yn−1 ) pn−1 (yn−1 )
µn−1
0 Z 1 ∆
ϑ yn−1
gn−1 µn ℵ1 (yn−1 , yn ) + ℵ2 (ξ , yn )
0 ∆
pn (yn )gn u1 (yn ) dyn dyn−1
Z 1−σ h
2 ϑ i
σ µn−1 ℵ1 (y, yn−1 ) + ℵ2 (ξ , yn−1 )
≥ ∆
p (y σ )dy
n−1 n−1 n−1 gn−1∞ − ε ku1 k
≥ ku1 k = N2 .
so that Tu1 (z) ≥ N2 = ku1 k. Hence kTu1 k ≥ ku1 k. So if we set E2 = x ∈ B : kxk < N2 , then
3.2. Notations
We introduce:
"
Z 1−σ h
#−1
2 ϑ i
σ ℵ1 (y, y) + ℵ2 (ξ , y) p1 (y)dyg10 ,
σ ∆
" Z #−1
1−σ h ϑ i
2
(y, + (ξ , (y)dyg ,
σ3 = max σ ℵ1 y) ℵ 2 y) p2 20 and
σ ∆
···
" Z #−1
1−σ h ϑ i
σ2
(y, + (ξ , (y)dyg
ℵ1 y) ℵ 2 y) pn n0
σ ∆
"
Z 1h
#−1
ϑ i
ℵ1 (y, y) + ℵ2 (ξ , y) p1 (y)dyg1∞ ,
0 ∆
−1
" #
Z 1h
ϑ i
(y, + (ξ , (y)dyg ,
σ4 = min ℵ1 y) ℵ 2 y) p2 2∞ .
0 ∆
···
"Z h #−1
1 ϑ i
ℵ1 (y, y) + ℵ2 (ξ , y) pn (y)dygn∞
0 ∆
Theorem 3.2. Suppose (H1 )-(H4 ) hold, then for each µk , k = 1, n satisfying
and
"
Z 1h
#−1
ϑ i
ℵ1 (y, y) + ℵ2 (ξ , y) p1 (y)dy(g1∞ + ε) ,
µ1 ,
0 ∆
µ2 , −1
" #
Z 1h
ϑ i
· (y, + (ξ , (y)dy(g + ,
max ≤ min ℵ 1 y) ℵ 2 y) p 2 2∞ ε) .
· 0 ∆
···
·
#−1
"Z h
µn
1 ϑ i
ℵ1 (y, y) + ℵ2 (ξ , y) pn (y)dy(gn∞ + ε)
0 ∆
Based on the rules of gk0 , 1 ≤ k ≤ n there exists N3 > 0 s.t., for each 1 ≤ k ≤ n,
gk (x) ≥ gk0 − ε x, 1 < x ≤ N3 .
Universal Journal of Mathematics and Applications 55
According to the definitions of gk0 , it follows that gk0 (1) = 0, 1 ≤ k ≤ n and so there exist 1 < Θn < Θn−1 < · · · < Θ2 < N3 s.t.
Θk−1
µk gk (z) ≤ R h i , z ∈ 1, Θk ,
1 ϑ
0 ℵ1 (y, yn ) + ∆ ℵ2 (ξ , yn ) pk (y)dy
3 ≤ k ≤ n, and
N3
µ2 g2 (z) ≤ R h , z ∈ 1, Θ2 .
i
1 ϑ
0 ℵ1 (y, yn ) + ∆ ℵ2 (ξ , yn ) p2 (y)dy
Z 1h
ϑ yn−1 i
µn ℵ1 (yn−1 , yn ) + ℵ2 (ξ , yn ) pn (yn )gn u1 (yn ) dyn
0 ∆
Z 1h
ϑ i
≤ µn ℵ1 (y, yn ) + ℵ2 (ξ , yn ) pn (yn )gn u1 (yn ) dyn
0 ∆
R1h ϑ
i
0 ℵ1 (y, yn ) + ∆ ℵ2 (ξ , yn ) pn (yn )Θn−1 dyn
≤ R h i
1 ϑ
0 ℵ1 (y, yn ) + ∆ ℵ2 (ξ , yn ) pn (yn )dyn
≤ Θn−1 .
Z 1
ϑ y1
ℵ1 (y1 , y2 ) + ℵ2 (ξ , y2 ) p2 (y2 )
µ2
0 Z ∆
1
ϑ y2
g2 µ3 ℵ1 (y2 , y3 ) + ℵ2 (ξ , y3 ) p3 (y3 ) · · ·
0 ∆
Z 1 ≤ N3 .
ϑ yn−1
gn−1 µn ℵ1 (yn−1 , yn ) + ℵ2 (ξ , yn )
0 ∆
pn (yn )gn u1 (yn ) dyn · · · dy2 dy1
Then
Z 1
ϑz
(z, y ) + (ξ , y ) p1 (y1 )
µ 1 ℵ 1 1 ℵ 2 1
0 Z ∆
1
ϑ y1
g (y , y ) + (ξ , y2 p2 (y2 ) · · ·
)
1 µ 2 ℵ 1 1 2 ℵ 2
0 ∆
Tu1 (z) = Z 1
ϑ yn−1
g (y , ) + (ξ , )
n−1 µ n ℵ 1 n−1 yn ℵ 2 y n
0 ∆
pn (yn )gn u1 (yn ) dyn · · · dy2 dy1
Z 1−σ
ϑ
≥ σ 2 µ1
ℵ1 (y, y1 ) + ℵ2 (ξ , y1 ) p1 (y1 ) g10 − ε ku1 kdy1
σ ∆
≥ ku1 k.
n o
So kTu1 k ≥ ku1 k. If we set E1 = x ∈ B : kxk < Θn , then
It follows that gk , 1 ≤ k ≤ n is unbounded at ∞. Since each gk∞ is considered to be a positive real number. For each 1 ≤ k ≤ n, set
n o
It follows that there exists N4 = max 2N3 , N4 s.t., for each 1 ≤ k ≤ n,
By utilizing (3.6), (3.7) and Guo–Krasnosel’skii FPT (see [26, 27]), we get that T has a fixed point u1 ∈ P ∩ (E2 \E1 ), which in turn with
u1 = un+1 yields an n-tuple u1 , u2 , · · · , un satisfying the FBVP (1.1)-(1.2) for the chosen values of µk , k = 1, n.
4. Application
1 1 19 39
Let n = 2, p1 (z) = z + 1, p2 (z) = z + 2, ξ = , ν = 4, σ = , g1 (u) = u 1 − e−u , g2 (u) = u − sin u. Then ∆ = 1, g10 =
2 4 20 40
1 1
, g20 = , g1∞ = g2∞ = 1.
20 40
" #−1
Z 1−σ h
2 ϑ i
σ1 = max σ ℵ1 (y, y) + ℵ2 (ξ , y) pi (y)dygi∞
1≤i≤2 σ ∆
= max 22.67613805, 13.41689359
= 22.67613805.
" #−1
Z 1h ϑ i
σ2 = min ℵ1 (y, y) + ℵ2 (ξ , y) pi (y)dygi0
1≤i≤2 0 ∆
= min 28.34517257, 33.54223396
= 28.34517257.
Theorem 3.1’s requirements are all met. Therefore by Theorem 3.1 the following BVP
19
D1.5 u1 (z) + µ1 (z + 1)u2 (z) 1 − eu2 (z) = 0 z ∈ (0, 1),
20
39
D1.5 u2 (z) + µ2 (z + 2) u1 (z) −
sin u1 (z) = 0, z ∈ (0, 1),
40
Z 1/2
uk (0) = 0, uk (1) = 4 uk (z)dz, for k = 1, 2,
0
5. Conclusion
In conclusion, this paper effectively fulfills its objective of identifying the eigenvalue intervals of µk , 1 ≤ k ≤ n, for which an iterative
system of a class of fractional-order DEqs with parameterized integral BCs possesses at least one positive solution. This is accomplished
through the utilization of the standard fixed-point theorem of cone type. The significance of this work lies in its novelty; the authors assert
that it represents the inaugural endeavor in the literature to derive such insights for this specific domain.
6. Comparison
In comparison to existing approaches, our study explores the eigenvalue intervals of µk , 1 ≤ k ≤ n for a class of FDEqs with parameterized
integral BCs. By employing standard FPT of cone and combining an incomplete ℵ-function with a broad category of polynomials, the
researchers devised generalized fractional calculus formulations [31]. Additionally, they utilized the natural transform method along with
graph-based approaches to represent solutions for the M-Sturm-Liouville problem [32]. Moreover, the MDLTM was applied to provide
analytic solutions for the fractional pseudo hyperbolic telegraph equation [33]. Notably, the existence and uniqueness of the model underlying
the Caputo-Fabrizio-fractal-fractional derivative were demonstrated using FPTs [34]. Furthermore, the fundamental properties of a new
integral transformation were elucidated, and its application to elementary functions was discussed in [35].
Article Information
Acknowledgements: The authors would like to express their sincere thanks to the editor and the anonymous reviewers for their helpful
comments and suggestions.
Author Contributions: All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Conflict of Interest Disclosure: No potential conflict of interest was declared by the author.
Copyright Statement: Authors own the copyright of their work published in the journal and their work is published under the CC BY-NC
4.0 license.
Supporting/Supporting Organizations: No grants were received from any public, private or non-profit organizations for this research.
Ethical Approval and Participant Consent: It is declared that during the preparation process of this study, scientific and ethical principles
were followed and all the studies benefited from are stated in the bibliography.
Plagiarism Statement: This article was scanned by the plagiarism program. No plagiarism detected.
References
[1] H. G. Sun, Y. Zhang, D. Baleanu, W. Chen, Y. Q. Chen, A new collection of real world applications of fractional calculus in science and engineering,
Commun. Nonlinear Sci. Numer. Simul., 64 (2018), 213–231.
[2] A. A. Kilbas, H. M. Srivasthava, J. J. Trujillo, Theory and Applications of Fractional Differential Equations, North-Holland Mathematics Studies, vol.
204, Elsevier, Amsterdam, 2006.
[3] I. Podulbny, Fractional Differential Equations, Academic Press, San Diego, 1999.
[4] E. F. D. Goufo, A biomathematical view on the fractional dynamics of cellulose degradation, Fract. Calc. Appl. Anal., 18(3) (2015), 554–564.
[5] H. H. Sherief, M. A. el-Hagary, Fractional order theory of thermo-viscoelasticity and application, Mech. Time-Depend Mater., 24 (2020), 179–195.
[6] G. Alotta, E. Bologna, G. Failla, M. Zingales, A fractional approach to Non-Newtonian blood rheology in capillary vessels, J. Peridyn Nonlocal Model,
1 (2019), 88–96.
[7] H. Sun, W. Chen, C. Li, Y. Q. Chen, Fractional differential models for anomalous diffusion, Physica A Stat. Mech. Appl., 389 (2010), 2719–2724.
[8] R. Khalil, M. Al Horani, A. Yousef, M. Sababheh, A new definition of fractional derivative, J. Comput. Appl. Math., 264 (2014), 65–70.
[9] M. A. Hammad, R. Khalil, Abel’s formula and Wronskian for conformable fractional differential equations, Int. J. Diff. Equ. Appl., 13 (2014), 177–183.
[10] U. Katugampola, A new fractional derivative with classical properties, J. American Math. Soc., arXiv:1410.6535v2.
[11] D. R. Anderson, R. I. Avery, Fractional order boundary value problem with Sturm–Liouville boundary conditions, Electron. J. Differential Equations,
2015 (2015), 1–10.
[12] K. R. Prasad, B. M. B. Krushna, Multiple positive solutions for a coupled system of Riemann–Liouville fractional order two-point boundary value
problems, Nonlinear Stud., 20 (2013), 501–511.
[13] K. R. Prasad, B. M. B. Krushna, Eigenvalues for iterative systems of Sturm–Liouville fractional order two-point boundary value problems, Fract. Calc.
Appl. Anal., 17 (2014), 638–653.
[14] K. R. Prasad, B. M. B. Krushna, Solvability of p-Laplacian fractional higher order two-point boundary value problems, Commun. Appl. Anal., 19
(2015), 659–678.
[15] K. R. Prasad, B. M. B. Krushna, V. V. R. R. B. Raju, Y. Narasimhulu, Existence of positive solutions for systems of fractional order boundary value
problems with Riemann–Liouville derivative, Nonlinear Stud., 24 (2017), 619–629.
[16] K. R. Prasad, B. M. B. Krushna, L.T. Wesen, Existence results for positive solutions to iterative systems of four-point fractional-order boundary value
problems in a Banach space, Asian-Eur. J. Math., 13 (2020), 1–17.
[17] B. Zhou, L. Zhang, Uniqueness and iterative schemes of positive solutions for conformable fractional differential equations via sum-type operator
method, J. Math. Res. Appl., 42(4) (2022), 349–362.
[18] M. Bouaouid, Mild solutions of a class of conformable fractional differential equations with nonlocal conditions, Acta Math. Appl. Sin., Engl. Ser.,
39(2) (2023), 249–261.
[19] G. Xiao, J. Wang, D. O’Regan, Existence and stability of solutions to neutral conformable stochastic functional differential equations, Qual. Theory
Dyn. Syst., 21(1) (2022), 1–22.
[20] A. Jaiswal, D. Bahuguna, Semilinear conformable fractional differential equations in Banach spaces, Differ. Equ. Dyn. Syst., 27 (2019), 313–325.
[21] A. Gokdogan, E. Unal, E. Celik, Existence and uniqueness theorems for sequential linear conformable fractional differential equations, Miskolc Math.
Notes, 17 (2016), 267–279.
[22] M. Khuddush, K. R. Prasad, Infinitely many positive solutions for an iterative system of conformable fractional order dynamic boundary value problems
on time scales, Turk. J. Math., 46(2) (2022), 338-359. https://doi.org/10.3906/mat-2103-117,
[23] W. Zhong, L. Wang, Positive solutions of conformable fractional differential equations with integral boundary conditions, Bound. Value Probl., 2018
(2018), 1–12.
[24] B. Bendouma, A. Cabada, A. Hammoudi, Existence results for systems of conformable fractional differential equations, Arch. Math., 55(2) (2019),
69–82.
58 Universal Journal of Mathematics and Applications
[25] F. Haddouchi, Existence of positive solutions for a class of conformable fractional differential equations with parameterized integral boundary
conditions, Kyungpook Math. J., 61 (2021), 139–153.
[26] D. Guo, V. Lakshmikantham, Nonlinear Problems in Abstract Cones, Academic Press, Orlando, 1988.
[27] M. A. Krasnosel’skii, Positive Solutions of Operator Equations, Noordhoff, Groningen, 1964.
[28] J. Cannon, The solution of the heat equation subject to the specification of energy, Quart. Appl. Math., 21 (1963), 155–160.
[29] R. Chegis, Numerical solution of a heat conduction problem with an integral boundary condition, Litovsk. Mat. Sb., 24 (1984), 209–215.
[30] T. Abdeljawad, On conformable fractional calculus, J. Comput. Appl. Math., 279 (2015), 57–66.
[31] S. Bhatter, S. D. Purohit, K. S. Nisar, S. R. Munjam, Some fractional calculus findings associated with the product of incomplete ℵ-function and
Srivastava polynomials, Int. J. Math. Comput. Eng., 2(1) (2024), 97–116.
[32] E. Bas, M. Karaoglan, Representation of the solution of the M-Sturm–Liouville problem with natural transform, Int. J. Math. Comput. Eng., 1(2) (2023),
243–252.
[33] S. T. Abdulazeez, M. Modanli, Analytic solution of fractional order Pseudo-Hyperbolic Telegraph equation using modified double Laplace transform
method, Int. J. Math. Comput. Eng., 1(1) (2023), 105–114.
[34] R. Singh, J. Mishra, V. K. Gupta, Dynamical analysis of a Tumor Growth model under the effect of fractal fractional Caputo-Fabrizio derivative, Int. J.
Math. Comput. Eng., 1(1) (2023), 115–126.
[35] E. Ata, I. O. Kiymaz, New generalized Mellin transform and applications to partial and fractional differential equations, Int. J. Math. Comput. Eng.,
1(1) (2023), 45–66.