Citation: Santiago Moral, Victor Chapela, Regino Criado, Ángel Pérez, Miguel Romance. Efficient algorithms for estimating loss of information in a complex network: Applications to intentional risk analysis[J]. Networks and Heterogeneous Media, 2015, 10(1): 195-208. doi: 10.3934/nhm.2015.10.195
[1] | Ruma Qamar, Tabinda Nahid, Mumtaz Riyasat, Naresh Kumar, Anish Khan . Gould-Hopper matrix-Bessel and Gould-Hopper matrix-Tricomi functions and related integral representations. AIMS Mathematics, 2020, 5(5): 4613-4623. doi: 10.3934/math.2020296 |
[2] | Shahid Mubeen, Rana Safdar Ali, Iqra Nayab, Gauhar Rahman, Thabet Abdeljawad, Kottakkaran Sooppy Nisar . Integral transforms of an extended generalized multi-index Bessel function. AIMS Mathematics, 2020, 5(6): 7531-7547. doi: 10.3934/math.2020482 |
[3] | Rupak Datta, Ramasamy Saravanakumar, Rajeeb Dey, Baby Bhattacharya . Further results on stability analysis of Takagi–Sugeno fuzzy time-delay systems via improved Lyapunov–Krasovskii functional. AIMS Mathematics, 2022, 7(9): 16464-16481. doi: 10.3934/math.2022901 |
[4] | D. L. Suthar, A. M. Khan, A. Alaria, S. D. Purohit, J. Singh . Extended Bessel-Maitland function and its properties pertaining to integral transforms and fractional calculus. AIMS Mathematics, 2020, 5(2): 1400-1410. doi: 10.3934/math.2020096 |
[5] | Won-Kwang Park . On the application of subspace migration from scattering matrix with constant-valued diagonal elements in microwave imaging. AIMS Mathematics, 2024, 9(8): 21356-21382. doi: 10.3934/math.20241037 |
[6] | Fethi Bouzeffour . Inversion formulas for space-fractional Bessel heat diffusion through Tikhonov regularization. AIMS Mathematics, 2024, 9(8): 20826-20842. doi: 10.3934/math.20241013 |
[7] | Yongjian Hu, Huifeng Hao, Xuzhou Zhan . On the solvability of the indefinite Hamburger moment problem. AIMS Mathematics, 2023, 8(12): 30023-30037. doi: 10.3934/math.20231535 |
[8] | Hasan Gökbaş . Some properties of the generalized max Frank matrices. AIMS Mathematics, 2024, 9(10): 26826-26835. doi: 10.3934/math.20241305 |
[9] | Mohamed Obeid, Mohamed A. Abd El Salam, Mohamed S. Mohamed . A novel generalized symmetric spectral Galerkin numerical approach for solving fractional differential equations with singular kernel. AIMS Mathematics, 2023, 8(7): 16724-16747. doi: 10.3934/math.2023855 |
[10] | Yunbo Tian, Sheng Chen . Prime decomposition of quadratic matrix polynomials. AIMS Mathematics, 2021, 6(9): 9911-9918. doi: 10.3934/math.2021576 |
In the last few decades, the investigation of fractional differential equations has been picking up much attention of researchers. This is due to the fact that fractional differential equations have various applications in engineering and scientific disciplines, for example, fluid dynamics, fractal theory, diffusion in porous media, fractional biological neurons, traffic flow, polymer rheology, neural network modeling, viscoelastic panel in supersonic gas flow, real system characterized by power laws, electrodynamics of complex medium, sandwich system identification, nonlinear oscillation of earthquake, models of population growth, mathematical modeling of the diffusion of discrete particles in a turbulent fluid, nuclear reactors and theory of population dynamics. The fractional differential equation is an important tool to describe the memory and hereditary properties of various materials and phenomena. The details on the theory and its applications may be found in books [35,38,40,42] and references therein.
It has also been many subjects in fractional calculus that have been developed in various fields, from pure mathematical theory to applied sciences such as modeling of heat transfer in heterogeneous media [43], modeling of ultracapacitor and beams heating [25], etc. These applications are mainly due to the fact that many physical systems are related to fractional-order dynamics and their behaviors are governed by fractional differential equations (FDEs) [39]. The significant importance of using FDEs describes the non-local property [31], which means the current state and all its previous states affect the next state of a dynamical system. We remind that an essential issue about fractional calculus problems is difficult in obtaining analytical solutions. Therefore, numerical and approximation methods are commonly proposed to obtain approximate solutions for this kind of problems, e.g., [8,9,10,28,32,33,41].
Recently, fractional-order differential equations equipped with a variety of boundary conditions have been studied. The literature on the topic includes the existence and uniqueness results related to classical, initial value problem, periodic/anti-periodic, nonlocal, multi-point, integral boundary conditions, and Integral Fractional Boundary Condition, for instance, the monographs of Ahmed et al. [4], Benchohra et al. [13], W, Benhamida et al. [16], D. Chergui et al. [23], Chen et al. [24], Goodrich et al. [29] and Zhang et al. [47].
On the other hand, the nonlocal problem has been studied by many authors. The existence of a solution for abstract Cauchy differential equations with nonlocal conditions in a Banach space has been considered first by Byszewski [19]. In physical science, the nonlocal condition may be connected with better effect in applications than the classical initial condition since nonlocal conditions are normally more exact for physical estimations than the classical initial condition. For the study of nonlocal problems, we refer to [20,21,22,26,27,29,47] and references given therein.
This paper deals with the existence of solutions to the boundary value problem for fractional-order differential equations:
$ CDrx(t)=f(t,x(t)),t∈J:=[1,T],0<r≤1, $
|
(1.1) |
with fractional boundary condition:
$ αx(1)+βx(T)=λIqx(η)+δ,q∈(0,1]. $
|
(1.2) |
where $ D^{r} $ is the Caputo-Hadamard fractional derivative, $ 0 < r < 1 $, $ 0 < q\leq1 $, and let $ E $ be a Banach space space with norm $ \|.\| $, $ f:J\times E\rightarrow E $ is given continuous function and satisfying some assumptions that will be specified later. $ \alpha, \beta, \lambda $ are real constants, and $ \eta\in(1, T) $, $ \delta\in E $.
In this paper, we present existence results for the problem (1.1)-(1.2) using a method involving a measure of noncompactness and a fixed point theorem of Mönch type. that technique turns out to be a very useful tool in existence for several types of integral equations; details are found in A. Aghajani et al. [3], Akhmerov et al. [5], Alvàrez [6], et al. [11,12], Benchohra et al. [14,15], Guo et al. [30], Mönch [37], Szufla [44]. We can use a numerical method to solve the problem in Equation (1.1-1.2), for instance, see [8,9,10,28,32,33,41].
The organization of this work is as follows. In Section 2, we introduce some notations, definitions, and lemmas that will be used later. Section 3 treats the existence of solutions in Banach spaces. In Section 4, we illustrate the obtained results by an example. Finally, the paper concludes with some interesting observations in Section 5.
In what follows we introduce definitions, notations, and preliminary facts which are used in the sequel. For more details, we refer to [1,2,5,11,35,36,42,44].
Denote by $ C(J, E) $ the Banach space of continuous functions $ x:J\rightarrow E $, with the usual supremum norm
$ \|x\|_{\infty} = \sup\left\{\|x(t)\|, t \in J \right\}. $ |
Let $ L^{1}(J, E) $ be the Banach space of measurable functions $ x:J \rightarrow E $ which are Bochner integrable, equipped with the norm
$ \|x\|_{L^{1}} = \int_{J} \left|x(t)\right| dt. $ |
Let the space
$ AC^{n}_{\delta}([a,b],E) = \left\{h:[a,b]\rightarrow \mathbb{R} :\delta^{n-1}h(t)\in AC([a,b],E)\right\}. $ |
where $ \delta = t\frac{d}{dt} $ is the Hadamard derivative and $ AC([a, b], E) $ is the space of absolutely continuous functions on $ [a, b] $.
Now, we give some results and properties of fractional calculus.
Definition 2.1. (Hadamard fractional integral) (see [35])
The left-sided fractional integral of order $ \alpha > 0 $ of a function $ y:(a, b)\rightarrow \mathbb{R} $ is given by
$ Iαa+y(t)=1Γ(α)∫ta(logts)α−1y(s)dss $
|
(2.1) |
provided the right integral converges.
Definition 2.2. (Hadamard fractional derivative) (see [35])
The left-sided Hadamard fractional derivative of order $ \alpha\geq 0 $ of a continuous function $ y:(a, b) \rightarrow \mathbb{R} $ is given by
$ Dαa+f(t)=δnIn−αa+y(t)=1Γ(n−α)(tddt)n∫ta(logts)n−α−1y(s)dss $
|
(2.2) |
where $ n = [\alpha]+1 $, and $ [\alpha] $ denotes the integer part of the real number $ \alpha $ and $ \delta = t\frac{d}{dt} $.
provided the right integral converges.
There is a recent generalization introduced by Jarad and al in [34], where the authors define the generalization of the Hadamard fractional derivatives and present properties of such derivatives. This new generalization is now known as the Caputo-Hadamard fractional derivatives and is given by the following definition:
Definition 2.3. (Caputo-Hadamard fractional derivative) (see [34,46])
Let $ \alpha = 0 $, and $ n = [\alpha]+1 $. If $ y(x)\in AC^{n}_{\delta}[a, b] $, where $ 0 < a < b < \infty $ and
$ AC^{n}_{\delta}([a,b],E) = \left\{h:[a,b]\rightarrow \mathbb{R} :\delta^{n-1}h(t)\in AC([a,b],E)\right\}. $ |
The left-sided Caputo-type modification of left-Hadamard fractional derivatives of order $ \alpha $ is given by
$ CDαa+y(t)=Dαa+(y(t)−n−1∑k=0δky(a)k!(logts)k) $
|
(2.3) |
Theorem 2.4. (See [34])
Let $ \alpha\geq 0 $, and $ n = [\alpha]+1 $. If $ y(t)\in AC^{n}_{\delta}[a, b] $, where $ 0 < a < b < \infty $. Then $ ^{C}D^{\alpha}_{a^{+}}f (t) $ exist everywhere on $ [a, b] $ and
(i) if $ \alpha \notin \mathbb{N}-\{0\} $, $ ^{C}D^{\alpha}_{a^{+}}f(t) $ can be represented by
$ CDαa+y(t)=In−αa+δny(t)=1Γ(n−α)∫ta(logts)n−α−1δny(s)dss $
|
(2.4) |
(ii) if $ \alpha \in \mathbb{N}-\{0\} $, then
$ CDαa+y(t)=δny(t) $
|
(2.5) |
In particular
$ CD0a+y(t)=y(t) $
|
(2.6) |
Caputo-Hadamard fractional derivatives can also be defined on the positive half axis $ \mathbb{R^{+}} $ by replacing $ a $ by $ 0 $ in formula (2.4) provided that $ y(t)\in AC^{n}_{\delta}(\mathbb{R}^{+}) $. Thus one has
$ CDαa+y(t)=1Γ(n−α)∫ta(logts)n−α−1δny(s)dss $
|
(2.7) |
Proposition 2.5. (see [34,35])
Let $ \alpha > 0, \beta > 0, n = [\alpha]+1 $, and $ a > 0 $, then
$ Iαa+(logta)β−1(x)=Γ(β)Γ(β−α)(logxa)β+α−1CDαa+(logta)β−1(x)=Γ(β)Γ(β−α)(logxa)β−α−1,β>n,CDαa+(logta)k=0,k=0,1,...,n−1. $
|
(2.8) |
Theorem 2.6. (see [45])
Let $ y(t)\in AC^{n}_{\delta}[a, b], 0 < a < b < \infty $ and $ \alpha\geq0, \beta\geq0 $, Then
$ CDαa+(Iαa+y)(t)=(Iβ−αa+y)(t),CDαa+(CDβa+y)(t)=(CDα+βa+y)(t). $
|
(2.9) |
Lemma 2.7. (see [34])
Let $ \alpha \geq 0 $, and $ n = [\alpha]+1 $. If $ y(t)\in AC^{n}_{\delta}[a, b] $, then the Caputo-Hadamard fractional differential equation
$ CDαa+y(t)=0 $
|
(2.10) |
has a solution:
$ y(t)=n−1∑k=0ck(logta)k $
|
(2.11) |
and the following formula holds:
$ Iαa+(CDαa+y)(t)=y(t)+n−1∑k=0ck(logta)k $
|
(2.12) |
where $ c_{k}\in\mathbb{R}, k = 1, 2, ..., n-1 $
Now let us recall some fundamental facts of the notion of Kuratowski measure of noncompactness.
Definition 2.8. ([5,11]) Let $ E $ be a Banach space and $ \Omega_{E} $ the bounded subsets of $ E $. The Kuratowski measure of noncompactness is the map $ \mu : \Omega_{E} \rightarrow [0, \infty] $ defined by
$\mu(B) = \inf\{\epsilon \gt 0:B \subseteq \cup^{n}_{i = 1}B_{i}$ and $diam(B_{i}) \leq \epsilon \}$; here $B \in \Omega_{E}$. |
This measure of noncompactness satisfies some important properties [5,11]:
(a) $ \mu(B) = 0\Leftrightarrow \overline{B} $ is compact ($ B $ is relatively compact).
(b) $ \mu(B) = \mu(\overline{B}). $
(c) $ A\subset B\Rightarrow \mu(A) \leq \mu(B). $
(d) $ \mu(A+B)\leq \mu(A)+\mu(B) $
(e) $ \mu(cB) = |c|\mu(B); c \in \mathbb{R}. $
(f) $ \mu(conv B) = \mu(B). $
Here $ \overline{B} $ and $ conv B $ denote the closure and the convex hull of the bounded set $ B $, respectively. The details of $ \mu $ and its properties can be found in ([5,11]).
Definition 2.9. A map $ f:J\times E\rightarrow E $ is said to be Caratheodory if
(ⅰ) $ t \mapsto f(t, u) $ is measurable for each $ u \in E $;
(ⅱ) $ u \mapsto F(t, u) $ is continuous for almost all $ t\in J $.
Notation 2.10. for a given set $ V $ of functions $ v:J\rightarrow E $, let us denote by
$ V(t) = \{v(t):v \in V \}, t\in J, $ |
and
$ V(J) = \{v(t):v\in V, t\in J \}. $ |
Let us now recall Mönch's fixed point theorem and an important lemma.
Theorem 2.11. ([2,37,44]) Let $ D $ be a bounded, closed and convex subset of a Banach space such that $ 0\in D $, and let $ N $ be a continuous mapping of $ D $ into itself. If the implication
$ V = \overline{conv} N(V) $ or $ V = N(V)\cup {0} \Rightarrow \mu(V) = 0 $
holds for every subset $ V $ of $ D $, then $ N $ has a fixed point.
Lemma 2.12. ([44]) Let $ D $ be a bounded, closed and convex subset of the Banach space $ C(J, E) $, $ G $ a continuous function on $ J\times J $ and $ f $ a function from $ J\times E\longrightarrow E $ which satisfies the Caratheodory conditions, and suppose there exists $ p\in L^{1}(J, \mathbb{R^{+}}) $ such that, for each $ t\in J $ and each bounded set $ B \subset E $, we have
$\lim\limits_{h\rightarrow 0^{+}}\mu(f(J_{t,h}\times B)) \leq p(t)\mu(B);$ here $J_{t,h} = [t-h,t] \cap J.$ |
If $ V $ is an equicontinuous subset of $ D $, then
$ \mu\left(\left\{\int_{J}G(s, t)f(s,y(s))ds : y \in V\right\}\right) \leq\int_{J}\|G(t, s)\|p(s)\mu(V(s))ds. $ |
This section is devoted to the existence results for problem (1.1)-(1.2).
Definition 3.1. A function $ x \in AC^{1}_{\delta}(J, E) $ is said to be a solution of the problem (1.1)-(1.2) if $ x $ satisfies the equation $ ^{C}D^{r}x(t) = f(t, x(t)) $ on $ J $, and the conditions (1.2).
For the existence of solutions for the problem (1.1)-(1.2), we need the following auxiliary lemma.
Lemma 3.2. Let $ h:[1, T)\rightarrow E $ be a continuous function. A function $ x $ is a solution of the fractional integral equation
$ x(t)=Irh(t)+1Λ{λIr+qh(η)−βIrh(T)+δ} $
|
(3.1) |
if and only if $ x $ is a solution of the fractional BVP
$ CDrx(t)=h(t),t∈J,r∈(0,1] $
|
(3.2) |
$ αx(1)+βx(T)=λIqx(η)+δ,q∈(0,1] $
|
(3.3) |
Proof. Assume $ x $ satisfies (3.2). Then Lemma 2.8 implies that
$ x(t)=Irh(t)+c1. $
|
(3.4) |
The condition (3.3) implies that
$ x(1) = c_{1} $ |
$ x(T) = I^{r}h(T)+c_{1} $ |
$ I^{q}x(1) = I^{r+q}h(\eta))+c_{1}\frac{(\log\eta)^{q}}{\Gamma(q+1)} $ |
So
$ \alpha c_{1}+\beta I^{r}h(T)+\beta c_{1} = \lambda I^{r+q}h(\eta))+ c_{1}\frac{\lambda(\log\eta)^{q}}{\Gamma(q+1)}+\delta $ |
Thus,
$ c_{1}\left(\alpha+\beta-\frac{\lambda(\log\eta)^{q}}{\Gamma(q+1)}\right) = \lambda I^{r+q}h(\eta))-\beta I^{r}h(T)+\delta. $ |
Consequently,
$ c_{1} = \frac{1}{\Lambda}\left\{\lambda I^{r+q}h(\eta))-\beta I^{r}h(T)+\delta\right\}. $ |
Where,
$ \Lambda = \left(\alpha+\beta-\frac{\lambda(\log\eta)^{q}}{\Gamma(q+1)}\right) $ |
Finally, we obtain the solution (3.1)
$ x(t)=Irh(t)+1Λ{λIr+qh(η)−βIrh(T)+δ} $
|
In the following, we prove existence results, for the boundary value problem (1.1)-(1.2) by using a Mönch fixed point theorem.
(H1) $ f:J \times E\rightarrow E $ satisfies the Caratheodory conditions;
(H2) There exists $ p \in L^{1}(J, \mathbb{R^{+}}) \cap C(J, \mathbb{R^{+}}) $, such that,
$\|f(t,x)\| \leq p(t)\|x\|$, for $t\in J$ and each $x\in E;$ |
(H3) For each $ t\in J $ and each bounded set $ B\subset E $, we have
$ \lim\limits_{h\rightarrow0^{+}}\mu(f(J_{t,h}\times B)) \leq p(t)\mu(B);here J_{t,h} = [t-h, t]\cap J. $ |
Theorem 3.3. Assume that conditions (H1)-(H3) hold. Let $ p^{*} = \sup_{t\in J}p(t) $. If
$ p∗M<1 $
|
(3.5) |
With
$ M:={(logT)rΓ(r+1)+|λ|(logη)r+q|Λ|Γ(r+q+1)+|β|(logT)r|Λ|Γ(r+1)} $
|
then the BVP (1.1)-(1.2) has at least one solution.
Proof. Transform the problem (1.1)-(1.2) into a fixed point problem. Consider the operator $ \mathfrak{F}:C(J, E)\rightarrow C(J, E) $ defined by
$ Fx(t)=Irh(t)+1Λ{λIr+qh(η)−βIrh(T)+δ} $
|
(3.6) |
Clearly, the fixed points of the operator $ \mathfrak{F} $ are solutions of the problem (1.1)-(1.2). Let
$ R≥|δ||Λ|(1−p∗M). $
|
(3.7) |
and consider
$ D = \{x \in C(J,E) : \|x\|\leq R\}. $ |
Clearly, the subset $ D $ is closed, bounded and convex. We shall show that $ \mathfrak{F} $ satisfies the assumptions of Mönch's fixed point theorem. The proof will be given in three steps.
Step 1: First we show that $ \mathfrak{F} $ is continuous:
Let $ {x_{n}} $ be a sequence such that $ x_{n} \rightarrow x $ in $ C(J, E) $. Then for each $ t \in J $,
$ ‖(Fxn)(t)−(Fx)(t)‖≤1Γ(r)∫t1(logts)r−1‖f(s,xn(s))−f(s,x(s))‖dss+|λ||Λ|Γ(r+q)∫η1(logηs)r+q−1‖f(s,xn(s))−f(s,x(s))‖dss+|β||Λ|Γ(r)∫T1(logTs)r−1‖f(s,xn(s))−f(s,x(s))‖dss≤{(logT)rΓ(r+1)+|λ|(logη)r+q|Λ|Γ(r+q+1)+|β|(logT)r|Λ|Γ(r+1)}‖f(s,xn(s))−f(s,x(s))‖ $
|
Since $ f $ is of Caratheodory type, then by the Lebesgue dominated convergence theorem we have
$\|\mathfrak{F}(x_{n})-\mathfrak{F}(x)\|_{\infty}\rightarrow 0$ as $n \rightarrow \infty.$ |
Step 2: Second we show that $ \mathfrak{F} $ maps $ D $ into itself :
Take $ x \in D $, by (H2), we have, for each $ t \in J $ and assume that $ \mathfrak{F}x(t)\neq 0 $.
$ ‖(Fx)(t)‖≤1Γ(r)∫t1(logts)r−1‖f(s,x(s))‖dss+|λ||Λ|Γ(r+q)∫η1(logηs)r+q−1‖f(s,x(s))‖dss+|β||Λ|Γ(r)∫T1(logTs)r−1‖f(s,x(s))‖dss+|δ||Λ|≤1Γ(r)∫t1(logts)r−1p(s)‖x(s)‖dss+|λ||Λ|Γ(r+q)∫η1(logηs)r+q−1p(s)‖x(s)‖dss+|β||Λ|Γ(r)∫T1(logTs)r−1p(s)‖x(s)‖dss+|δ||Λ|≤P∗RΓ(r)∫t1(logts)r−1dss+|λ|P∗R|Λ|Γ(r+q)∫η1(logηs)r+q−1dss+|β|P∗R|Λ|Γ(r)∫T1(logTs)r−1dss+|δ||Λ|≤P∗R{(logT)rΓ(r+1)+|λ|(logη)r+q|Λ|Γ(r+q+1)+|β|(logT)r|Λ|Γ(r+1)}+|δ||Λ|≤P∗RM+|δ||Λ|≤R. $
|
Step 3: we show that $ \mathfrak{F}(D) $ is equicontinuous :
By Step 2, it is obvious that $ \mathfrak{F}(D)\subset C(J, E) $ is bounded. For the equicontinuity of $ \mathfrak{F}(D) $, let $ t_{1}, t_{2}\in J $, $ t_{1} < t_{2} $ and $ x\in D $, so $ \mathfrak{F}x(t_{2})-\mathfrak{F}x(t_{1})\neq0 $. Then
$ ‖Fx(t2)−Fx(t1)‖≤1Γ(r)∫t11[(logt2s)r−1−(logt1s)r−1]‖f(s,x(s))‖dss+1Γ(r)∫t2t1(logt2s)r−1‖f(s,x(s))‖dss≤RΓ(r)∫t11[(logt2s)r−1−(logt1s)r−1]p(s)dss+RΓ(r)∫t2t1(logt2s)r−1p(s)dss≤Rp∗Γ(r+1)[(logt2)r−(logt1)r]. $
|
As $ t_{1}\rightarrow t_{2} $, the right hand side of the above inequality tends to zero.
Hence $ N(D)\subset D $.
Finally we show that the implication holds:
Let $ V\subset D $ such that $ V = \overline{conv}(\mathfrak{F}(V)\cup\{0\}) $. Since $ V $ is bounded and equicontinuous, and therefore the function $ v\rightarrow v(t) = \mu(V(t)) $ is continuous on $ J $. By assumption (H2), and the properties of the measure $ \mu $ we have for each $ t\in J $.
$ v(t)≤μ(F(V)(t)∪{0}))≤μ((FV)(t))≤1Γ(r)∫t1(logts)r−1p(s)μ(V(s))dss+|λ||Λ|Γ(r+q)∫η1(logηs)r+q−1p(s)μ(V(s))dss+|β||Λ|Γ(r)∫T1(logTs)r−1p(s)μ(V(s))dss≤‖v‖Γ(r)∫t1(logts)r−1p(s)dss+|λ|‖v‖|Λ|Γ(r+q)∫η1(logηs)r+q−1p(s)dss+|β|‖v‖|Λ|Γ(r)∫T1(logTs)r−1p(s)dss≤p∗‖v‖{(logT)rΓ(r+1)+|λ|(logη)r+q|Λ|Γ(r+q+1)+|β|(logT)r|Λ|Γ(r+1)}:=p∗‖v‖M. $
|
This means that
$ ‖v‖(1−p∗M)≤0 $
|
By (3.5) it follows that $ \|v\| = 0 $, that is $ v(t) = 0 $ for each $ t\in J $, and then $ V(t) $ is relatively compact in $ E $. In view of the Ascoli-Arzela theorem, $ V $ is relatively compact in $ D $. Applying now Theorem 2.11, we conclude that $ \mathfrak{F} $ has a fixed point which is a solution of the problem (1.1)-(1.2).
Let
$ E = l^{1} = \{ x = (x_{1}, x_{2}, ..., x_{n}, ...):\sum\limits_{n = 1}^{\infty}|x_{n}| \lt \infty \} $ |
with the norm
$ \|x\|_{E} = \sum\limits_{n = 1}^{\infty}|x_{n}| $ |
We consider the problem for Caputo-Hadamard fractional differential equations of the form:
$ {D23x(t)=f(t,x(t)),(t,x)∈([1,e],E),x(1)+x(e)=12(I12x(2))+34. $
|
(4.1) |
Here $ r = \frac{2}{3} $, $ q = \frac{1}{2} $, $ \delta = \frac{3}{4} $, $ \lambda = \frac{1}{2} $, $ \eta = 2 $, $ T = e $.
With
$ f(t,y(t)) = \frac{t\sqrt{\pi}-1}{16}y(t), t\in[1,e] $ |
Clearly, the function $ f $ is continuous. For each $ x\in \mathbb{R}^{+} $ and $ t\in [1, e] $, we have
$ |f(t,x(t))|\leq \frac{t\sqrt{\pi}}{16}|x| $ |
Hence, the hypothesis (H2) is satisfied with $ p^{*} = \frac{t\sqrt{\pi}}{16} $. We shall show that condition (3.5) holds with $ T = e $. Indeed,
$ p^{*}\left\{\frac{(\log T)^{r}}{\Gamma(r+1)}+\frac{|\lambda|(\log \eta)^{r+q}}{|\Lambda|\Gamma(r+q+1)}+\frac{|\beta|(\log T)^{r}}{|\Lambda|\Gamma(r+1)}\right\}\simeq0.6109 \lt 1 $ |
Simple computations show that all conditions of Theorem 3.3 are satisfied. It follows that the problem (4.1) has at least solution defined on $ [1, e] $.
In this paper, we obtained some existence results of nonlinear Caputo-Hadamard fractional differential equations with three-point boundary conditions by using a method involving a measure of noncompactness and a fixed point theorem of Mönch type. Though the technique applied to establish the existence results for the problem at hand is a standard one, yet its exposition in the present framework is new. An illustration to the present work is also given by presenting some examples. Our results are quite general give rise to many new cases by assigning different values to the parameters involved in the problem. For an explanation, we enlist some special cases.
● We remark that when $ \lambda = 0 $, problem (1.1)-(1.2), the boundary conditions take the form: $ \alpha x(1)+\beta x(T) = \delta $ and the resulting problem corresponds to the one considered in [17,18].
● If we take $ \alpha = q = 1 $, $ \beta = 0 $, in (1.2), then our results correspond to the case integral boundary conditions take the form: $ x(1) = \lambda\int_{1}^{e}x(s)ds+\delta $ considered in [7].
● By fixing $ \alpha = 1 $, $ \beta = \lambda = 0 $, in (1.2), our results correspond to the ones for initial value problem take the form:$ x(1) = \delta $.
● In case we choose $ \alpha = \beta = 1 $, $ \lambda = \delta = 0 $, in (1.2), our results correspond to periodic/anti-periodic type boundary conditions take the form: $ x(1) = -(\beta/\alpha)x(T) $. In particular, we have the results for anti-periodic type boundary conditions when $ (\beta/\alpha) = 1 $. For more details on anti-periodic fractional order boundary value problems, see [45].
● Letting $ \alpha = 1 $, $ \beta = \delta = 0 $, in (1.2), then our results correspond to the case fractional integral boundary conditions take the form:$ x(1) = \lambda I^{q}x(\eta) $.
● When, $ \alpha = \beta = 1 $, $ \delta = 0 $, in (1.2), our results correspond to fractional integral and anti-periodic type boundary conditions.
In the nutshell, the boundary value problem studied in this paper is of fairly general nature and covers a variety of special cases and we can use a numerical method to solve the problem in equation (1.1-1.2). The possible generalization is to consider the problem (1.1-1.2) on Banach space with another technique, other fixed point theorem and determine the conditions that befit closer to obtain the best results. As another proposal, considering some type of fractional derivative (Hilfer-Hadamard, Hilfer-Katugampola) with respect to another function. we will use the numerical method to solve this problem. These suggestions will be treated in the future.
The authors would like to express their thanks and are grateful to the referees for their helpful comments and suggestions.
The authors declare that there is no conflict of interests regarding the publication of this paper.
[1] |
A. Barrat, M. Barthélemy and A. Vespignani, Dynamical Processes on Complex Networks, $1^{st}$ Edition, Cambridge University Press, New York, 2008. doi: 10.1017/CBO9780511791383
![]() |
[2] | Y. Bar-Yam, Dynamics of Complex Systems, $1^{st}$ Edition, Addison-Wesley, Boston, 1997. |
[3] |
S. Boccaletti, G. Bianconi , R. Criado, C. I. del Genio, J. Gómez-Gardeñes, M. Romance, I. Sendiña-Nadal, Z. Wang and M. Zanin, The structure and dynamics of multilayer networks, Physics Reports, 544 (2014), 1-122. doi: 10.1016/j.physrep.2014.07.001
![]() |
[4] |
S. Boccaletti, V. Latora, Y. Moreno, M. Chavez and D.-U. Hwang, Complex networks: Structure and dynamics, Physics Reports, 424 (2006), 175-308. doi: 10.1016/j.physrep.2005.10.009
![]() |
[5] |
J. Borondo, F. Borondo, C. Rodriguez-Sickert and C. A. Hidalgo, To each according to its degree: The meritocracy and topocracy of embedded markets, Scientific Reports, 4 (2014), 1-7. doi: 10.1038/srep03784
![]() |
[6] | V. Chapela, Tips for Managing Intentional Risk, ISACA, 2011. Available from: http://www.isaca.org/About-ISACA/-ISACA-Newsletter/. |
[7] |
L. R. Ford and D. R. Fulkerson, Maximal flow through a network, Canadian Journal of Mathematics, 8 (1956), 399-404. doi: 10.4153/CJM-1956-045-5
![]() |
[8] |
Y. Lin, J. C. S. Lui, K. Jung and S. Lim, Modelling multi-state diffusion process in complex networks: Theory and applications, 2013 International Conference on Signal-Image Technology & Internet-Based Systems (SITIS), 2013, 506-513. doi: 10.1109/SITIS.2013.86
![]() |
[9] |
D. López-Pintado, Diffusion in complex social networks, Games and Economic Behavior, 62 (2008), 573-590. doi: 10.1016/j.geb.2007.08.001
![]() |
[10] |
M. E. J. Newman, The structure and function of complex networks, SIAM Review, 45 (2003), 167-256. doi: 10.1137/S003614450342480
![]() |
[11] |
M. Safar, K. Mahdi and S. Torabi, Network robustness and irreversibility of information diffusion in Complex networks, Journal of Computational Science, 2 (2011), 198-206. doi: 10.1016/j.jocs.2011.05.005
![]() |
[12] | S. H. Strogatz, Exploring complex networks, Nature, 410 (2001), 268-276. |