Skip to main content

Theory and Modern Applications

Topological degree theory and Caputo–Hadamard fractional boundary value problems

Abstract

We study two hybrid and non-hybrid fractional boundary value problems via the Caputo–Hadamard type derivatives. We seek the existence criteria for these two problems separately. By utilizing the generalized Dhage’s theorem, we derive desired results for an integral structure of solutions for the hybrid problems. Also by considering the special case as a non-hybrid boundary value problem (BVP), we establish other results based on the existing tools in the topological degree theory. In the end of the article, we examine our theoretical results by presenting some numerical examples to show the applicability of the analytical findings.

1 Introduction

The fractional calculus has always been one of the most widely used branches of mathematics in other applied and computational sciences. This degree of importance is due to the high flexibility of the tools and operators defined in this theory. On this basis, researchers have been using various powerful fractional operators in recent decades to model different types of existing natural processes in the world. In the meantime, because modeling based on fractional operators yields more accurate numerical results than modeling based on integer order operators, different generalizations of these fractional operators have been introduced by numerous mathematicians.

The fractional operators have developed over the years, and their importance has become apparent more and more to researchers today. Instances of the application of such fractional operators can be found in various sciences such as biomathematics, electrical circuits, medicine, etc. [115]. All of these reasons have led researchers to find many aspects of the structure of the fractional boundary value problems and the hereditary properties of their solutions. In this regard, many researchers have been investigating advanced fractional models [1618] and related theoretical results and qualitative behaviors of such boundary value problems [1928].

The fractional operators utilized in models of the current paper are the Hadamard and Caputo–Hadamard integration and differentiation operators, respectively. In this regard, one can point to some papers based on these operators; see, for example, [2932]. In more recent decades, the attention of researchers has been focused on designing newer fractional hybrid BVPs subject to hybrid or non-hybrid conditions. For more details, see [3339]. More precisely, this novel aspect of fractional modeling initiated with a research manuscript proposed by Dhage and Lakshmikantham in 2010 (see [40]). They turned to a new family of differential equation entitled hybrid differential equation and then established some useful existence criteria of extremal solutions by utilizing some basic inequalities [40]. Two years later, Zhao et al. extended their work to fractional type models and formulated a BVP relying on fractional hybrid differential equations [41]. Later, Ullah et al. continued this process and employed a new structure of hybrid fractional modeling in which both boundary conditions are presented in the hybrid framework by follows:

$$ \textstyle\begin{cases} {}^{ \mathcal{R} }\mathcal{D}_{0^{+}}^{ \kappa ^{*} } [ \frac{ y(t) - p(t , y(t))}{ q(t ,y(t))} ] = \psi (t ,y(t)),\quad t \in [0,1], \\ [ \frac{ y(t) - p(t , y (t))}{ q(t ,y(t))} ] \vert _{t=0} =0 , \qquad [ \frac{ y(t) - p(t , y(t))}{ q(t ,y(t))} ] \vert _{t=1} =0, \end{cases} $$

where \(q \in \mathcal{C}_{\mathbb{R}^{\neq 0}}( [0,1] \times \mathbb{R} )\) is nonzero, both p and ψ are continuous real-valued functions on \([0,1] \times \mathbb{R}\) and \({}^{\mathcal{R}}\mathcal{D}_{0^{+}}^{\kappa ^{*}} \) represents the Riemann–Liouville derivative of order \(\kappa ^{*} \in (0,1]\) [42]. In 2020, Baleanu et al. presented a novel construction of a fractional hybrid model of a thermostat in which the thermostat controls the amount of heat based on the temperature detected by its sensors [16]. This hybrid model is described by

$$ {}^{\mathcal{C}}\mathcal{D}_{0^{+}}^{\kappa ^{*} } \biggl[ \frac{y(t)}{ q(t ,y(t))} \biggr] + \varPhi \bigl(t ,y(t) \bigr) = 0, \quad \kappa ^{*} \in (1,2], t \in [0,1], $$

with the fractional hybrid boundary conditions

$$ \textstyle\begin{cases} \mathcal{D} [ \frac{y(t)}{ q(t ,y(t))} ] \vert _{t=0} =0, \\ \lambda {}^{\mathcal{C}}\mathcal{D}_{0^{+}}^{\kappa ^{*} -1} [ \frac{y(t)}{ q(t ,y(t))} ] \vert _{t=1} + [ \frac{y(t)}{ q(t ,y(t))} ] \vert _{t= \eta } = 0, \end{cases} $$

where \(\lambda > 0\) denotes an arbitrary parameter, \(\eta \in [0,1]\), and \(\kappa ^{*} -1 \in (0,1]\). Moreover, \(\mathcal{D} = \frac{\mathrm{d}}{\mathrm{d}t}\), \({}^{\mathcal{C}}\mathcal{D}_{0^{+}}^{\gamma } \) is the Caputo derivative of order \(\gamma \in \{ \kappa ^{*} , \kappa ^{*} -1 \} \), \(\varPhi \in \mathcal{C}_{\mathbb{R}}( [0,1]\times \mathbb{R} )\), and \(q \in \mathcal{C}_{\mathbb{R}^{\neq 0}}( [0,1]\times \mathbb{R} )\) is nonzero [16]. By using the main ideas of these works, we are going to investigate the Caputo–Hadamard fractional hybrid differential equation

$$ {}^{ \mathcal{CH} }\mathcal{D}_{1^{+}}^{ \kappa ^{*} } \biggl[ \frac{ y(t) - \varLambda (t, y(t), \lambda _{1}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\gamma ^{*} }y(t) )}{ \varPsi ( t, y(t), \lambda _{2}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\mu ^{*} }y(t) ) } \biggr] = \hat{\varUpsilon } \bigl( t , y(t) \bigr), \quad t \in [1,e], $$
(1)

with the mixed Hadamard integral hybrid boundary value conditions

$$ \textstyle\begin{cases} {}^{ \mathcal{CH} }\mathcal{D}_{1^{+}} [ \frac{ y(t) - \varLambda (t, y(t), \lambda _{1}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\gamma ^{*} }y(t) )}{ \varPsi (t, y(t), \lambda _{2}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\mu ^{*} }y(t) ) } ] \vert _{t = 1 } \\ \quad = \tilde{a_{1}} [ \frac{ y(t) - \varLambda (t, y(t), \lambda _{1}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\gamma ^{*} }y(t) )}{ \varPsi (t, y(t), \lambda _{2}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\mu ^{*} }y(t) ) } ] \vert _{t = 1 }, \\ {}^{\mathcal{H}} \mathcal{I}_{1^{+}}^{\theta ^{*}} {}^{ \mathcal{CH} } \mathcal{D}_{1^{+}} [ \frac{ y(t) - \varLambda (t, y(t), \lambda _{1}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\gamma ^{*} }y(t) )}{ \varPsi (t, y(t), \lambda _{2}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\mu ^{*} }y(t) ) } ] \vert _{t = e } \\ \quad = \tilde{a_{2}} [ \frac{ y(t) - \varLambda (t, y(t), \lambda _{1}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\gamma ^{*} }y(t) )}{ \varPsi (t, y(t), \lambda _{2}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\mu ^{*} }y(t) ) } ] \vert _{t = e }, \end{cases} $$
(2)

where \(\kappa ^{*} \in (1,2]\), \(\gamma ^{*} , \mu ^{*} , \theta ^{*} > 0 \), and \(\lambda _{1}^{*} , \lambda _{2}^{*} , \tilde{a_{1}}, \tilde{a_{2}} \in \mathbb{R} \). Here, \({}^{\mathcal{CH}}\mathcal{D}_{1^{+}}^{\kappa ^{*}}\) represents the Caputo–Hadamard fractional derivative of order \(\kappa ^{*} \), \({}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{ \eta } \) is the Hadamard fractional integral of order \(\eta \in \{ \gamma ^{*} , \mu ^{*}, \theta ^{*} \}\), \(\varPsi : [1,e]\times \mathbb{R}^{3} \to \mathbb{R} \setminus \{ 0\} \) is a nonzero continuous map, \(\varLambda \in \mathcal{C}_{\mathbb{R}} ( [1,e]\times \mathbb{R}^{3}) \), and \(\hat{\varUpsilon } \in \mathcal{C}_{\mathbb{R}}( [1,e]\times \mathbb{R} ) \).

By reviewing other papers published in recent years, we find that some researchers have combined the existence theory with the topological degree theory and studied different models using the existing analytical notions in this theory. For instance, one can point to some published papers in this regard, such as [4348]. In the light of this, we address a special case of the Caputo–Hadamard hybrid BVP (1)–(2) in the sequel of the present paper. In other words, we set \(\varLambda (t, y(t), \lambda _{1}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\gamma ^{*} }y(t) ) = 0 \) and \(\varPsi (t, y(t), \lambda _{2}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\mu ^{*} }y(t) ) = 1\). Then the Caputo–Hadamard fractional hybrid BVP (1)–(2) reduces to the following Caputo–Hadamard fractional non-hybrid BVP:

$$ \textstyle\begin{cases} {}^{\mathcal{CH}}\mathcal{D}_{1^{+}}^{ \kappa ^{*} } y(t ) = \hat{\varUpsilon } ( t , y(t ) ), \\ {}^{\mathcal{CH}}\mathcal{D}_{1^{+}} y(1) = \tilde{a_{1}} y(1) ,\qquad \frac{1}{\varGamma (\theta ^{*})} \int _{1}^{e} ( \ln \frac{ e }{ \varpi } )^{ \theta ^{*} -1} [ {}^{\mathcal{CH}} \mathcal{D}_{1^{+}} y(\varpi ) ] \frac{ \mathrm{d}\varpi }{ \varpi } = \tilde{a_{2}} y(e) . \end{cases} $$
(3)

For this non-hybrid BVP, we will apply a new approach based on the topological degree theory. Note that both hybrid and non-hybrid BVPs (1)–(2) and (3) are novel in the sense that boundary conditions are written as mixed Hadamard integral and Caputo–Hadamard derivative simultaneously.

2 Preliminaries

First, some important and necessary preliminaries on the fractional calculus are recalled in this section. Assume that \(\kappa ^{*} \geq 0\). The Hadamard fractional integral of \(y \in \mathcal{C}_{\mathbb{R}}([a,b])\) of order \(\kappa ^{*} \) is given by \({}^{\mathcal{H}}\mathcal{I}_{a^{+}}^{0} (y(t))=y(t) \) and \({}^{\mathcal{H}}\mathcal{I}_{a^{+}}^{\kappa ^{*}} (y(t))= \frac{1}{\varGamma (\kappa ^{*} )}\int _{a}^{t} ( \ln \frac{t}{\varpi })^{(\kappa ^{*} -1)}y(\varpi ) \frac{\mathrm{d}\varpi }{\varpi }\) whenever the RHS-integral has finite value [49, 50]. Note that for each \(\kappa ^{*}_{1} , \kappa ^{*}_{2} \in \mathbb{R}^{+}\), we have \({}^{\mathcal{H}}\mathcal{I}_{a^{+}}^{\kappa _{1}^{*} } ( {}^{ \mathcal{H}}\mathcal{I}_{a^{+}}^{\kappa _{2}^{*} } y(t) ) = {}^{ \mathcal{H}}\mathcal{I}_{a^{+}}^{\kappa _{1}^{*} + \kappa _{2}^{*} } y(t)\) and \({}^{\mathcal{H}}\mathcal{I}_{a^{+}}^{\kappa _{1}^{*}} (\ln \frac{t}{a})^{\kappa _{2}^{*}} = \frac{\varGamma (\kappa _{2}^{*} +1)}{\varGamma (\kappa _{1}^{*} +\kappa _{2}^{*} +1)}( \ln \frac{t}{a})^{\kappa _{1}^{*} +\kappa _{2}^{*} }\) for \(t>a\) [50]. It is obvious that \({}^{\mathcal{H}}\mathcal{I}_{a^{+}}^{\kappa _{1}^{*}} 1= \frac{1}{\varGamma (\kappa _{1}^{*} +1)}( \ln \frac{t}{a})^{ \kappa _{1}^{*}} \) for any \(t>a\) by setting \(\kappa _{2}^{*} = 0\) [50]. Now, let \(n = [\kappa ^{*} ] +1 \). The Hadamard fractional derivative of order \(\kappa ^{*} \) for a function \(y : (a, b) \to \mathbb{R}\) is introduced by \({}^{\mathcal{H}}\mathcal{D}_{a^{+}}^{\kappa ^{*}} (y(t))= \frac{1}{\varGamma ( n - \kappa ^{*} )} ( t \frac{ \mathrm{d}t}{t} )^{n} \int _{a}^{t} ( \ln \frac{t}{\varpi })^{(n - \kappa ^{*} -1)}y(\varpi ) \frac{\mathrm{d} \varpi }{\varpi }\) provided that the RHS-integral has finite value [49, 50]. The Caputo–Hadamard fractional derivative of order \(\kappa ^{*} \) for \(y \in \mathcal{AC}_{\mathbb{R}}^{n}([a, b])\) is represented by

$$ {}^{\mathcal{CH}}\mathcal{D}_{a^{+}}^{\kappa ^{*}} \bigl(y(t) \bigr)= \frac{1}{\varGamma ( n - \kappa ^{*} )} \int _{a}^{t} \biggl( \ln \frac{t}{\varpi } \biggr)^{(n - \kappa ^{*} -1)} \biggl(t \frac{ \mathrm{d}t}{t} \biggr)^{n} y( \varpi ) \frac{\mathrm{d}\varpi }{ \varpi } $$

whenever the RHS-integral has finite value [49, 50]. Now assume that \(y \in \mathcal{AC}_{\mathbb{R}}^{n}([a, b])\) and \(n-1 < \kappa ^{*} \leq n\). In the monograph [50], it is verified that the general solution of the Caputo–Hadamard differential equation \({}^{\mathcal{CH}}\mathcal{D}_{a^{+}}^{\kappa ^{*}} (y(t))= 0\) is obtained of the form \(y(t) = \sum_{j=0}^{n-1} m^{*}_{j} ( \ln \frac{t}{a})^{j} \), and so we have

$$ {}^{\mathcal{H}}\mathcal{I}_{a^{+}}^{\kappa ^{*}} \bigl( {}^{ \mathcal{CH}}\mathcal{D}_{a^{+}}^{\kappa ^{*}} y(t) \bigr) = y(t) + m^{*}_{0} + m^{*}_{1} \biggl( \ln \frac{t}{a} \biggr) + m^{*}_{2} \biggl( \ln \frac{t}{a} \biggr)^{2} + \cdots + m^{*}_{n-1} \biggl( \ln \frac{t}{a} \biggr)^{n-1} $$

for any \(t>a\). In the following, we review some notions and results on the topological degree theory which are useful throughout the paper. Let \(\mathbb{B}\) represent the collection of all bounded sets in a Banach space \(\mathcal{X}\). The Kuratowski’s measure of noncompactness \(\mu : \mathbb{B} \to \mathbb{R}^{+} \) is defined by \(\mu (\mathcal{B}) := \inf \{ \epsilon > 0 : \mathcal{B} = \bigcup_{j=1}^{n} \mathcal{B}_{j} \text{ and } \operatorname{diam}(\mathcal{B}_{i}) \leq \epsilon \text{ for } j=1,\dots ,n \}\), where \(\operatorname{diam}(\mathcal{B}_{j})= \sup \{ |y- y' |: y,y'\in \mathcal{B}_{j} \}\) and \(\mathcal{B}\) is a bounded element of \(\mathbb{B}\). It is evident that \(0 \leq \mu (\mathcal{B}) \leq \operatorname{diam}(\mathcal{B})< + \infty \) [51, 52].

Lemma 1

([51, 52])

Let\(\mathcal{X}\)be an arbitrary real Banach space and\(\mathcal{B}, \mathcal{E}\in \mathbb{B}\)be bounded subsets of\(\mathcal{X}\). Then the following statements are valid:

  1. (a1)

    \(\mathcal{B}\)is relatively compact if and only if\(\mu (\mathcal{B})=0\);

  2. (a2)

    \(\mu (\mathcal{B}) = \mu (\overline{\mathcal{B}}) = \mu ( \mathrm{cnvx} (\mathcal{B}))\), where\(\overline{\mathcal{B}}\)and\(\mathrm{cnvx} (\mathcal{B})\)represent the closure and convex hull of\(\mathcal{B}\), respectively;

  3. (a3)

    If\(\mathcal{B}\subseteq \mathcal{E}\), then\(\mu (\mathcal{B})\leq \mu (\mathcal{E})\);

  4. (a4)

    \(\mu (\lambda + \mathcal{E})\leq \mu (\mathcal{E})\)for each\(\lambda \in \mathbb{R}\);

  5. (a5)

    \(\mu ( \lambda \mathcal{B})=| \lambda | \mu (\mathcal{B})\)for each\(\lambda \in \mathbb{R}\);

  6. (a6)

    \(\mu (\mathcal{B}+\mathcal{E})\leq \mu (\mathcal{B})+\mu (\mathcal{E})\)so that\(\mathcal{B}+\mathcal{E} =\{ y+y' ; y\in \mathcal{B}, y' \in \mathcal{E}\} \);

  7. (a7)

    \(\mu (\mathcal{B}\cup \mathcal{E})\leq \max \{ \mu (\mathcal{B}), \mu (\mathcal{E}) \}\).

Note that conditions (a5) and (a6) mean that μ is a seminorm. Let \(\mathcal{B} \in \mathbb{B} \) be a bounded subset of a Banach space \(\mathcal{X}\). We say that a continuous bounded map \(\varPhi : \mathcal{B} \to \mathcal{X}\) is μ-Lipschitz if there is a constant \(\tilde{K}^{*} \geq 0\) such that \(\mu ( \varPhi (\mathcal{B} )) \leq \tilde{K}^{*} \mu (\mathcal{B} ) \). Also, Φ is called a strict μ-contraction if \(\tilde{K}^{*} \) is less than one [51]. A μ-condensing function Φ is supposed to satisfy \(\mu (\varPhi (\mathcal{B} )) \leq \mu (\mathcal{B} ) \) for each \(\mathcal{B} \in \mathbb{B}\) with \(\mu (\mathcal{B}) >0\). Indeed, the inequality \(\mu ( \varPhi (\mathcal{B} )) \geq \mu (\mathcal{B} ) \) implies that \(\mu ( \mathcal{B}) = 0\) [51].

Proposition 2

([53])

Let\(\varPhi :\mathcal{B} \to \mathcal{X} \)be Lipschitz with constant\(\tilde{K}^{*} \)where\(\mathcal{B} \subset \mathcal{X}\). ThenΦisμ-Lipschitz with the same constant\(\tilde{K}^{*} \).

Proposition 3

([53])

For every\(\mathcal{B} \subset \mathcal{X}\), if\(\varPhi :\mathcal{B} \to \mathcal{X} \)is compact, thenΦisμ-Lipschitz with constant\(\tilde{K}^{*} =0 \).

Proposition 4

([53])

For each\(\mathcal{B} \subset \mathcal{X}\), assume that\(\varPhi _{1}, \varPhi _{2} :\mathcal{B} \to \mathcal{X} \)are twoμ-Lipschitz operators with constant\(\tilde{K}_{1}^{*} \)and\(\tilde{K}_{2}^{*} \), respectively. Then\(\varPhi _{1} + \varPhi _{2} :\mathcal{B} \to \mathcal{X} \)isμ-Lipschitz with constant\(\tilde{K}_{1}^{*}+ \tilde{K}_{2}^{*}\).

The following theorem due to Dhage is utilized for our result related to the mixed Caputo–Hadamard hybrid BVP (1)–(2).

Theorem 5

([54])

Let\(\mathcal{X} \)be a Banach algebra and\(\mathcal{B} \)be a convex bounded closed nonempty subset of\(\mathcal{X}\). Moreover, suppose that three operators\(\varPhi _{1} , \varPhi _{2} : \mathcal{X} \to \mathcal{X}\)and\(\varPhi _{3}: \mathcal{B} \to \mathcal{X}\)satisfy the following three assumptions:

  1. (i)

    \(\varPhi _{1}\)and\(\varPhi _{2}\)are Lipschitz with constants\(\tilde{K}_{1}^{*}\)and\(\tilde{K}_{2}^{*}\), respectively,

  2. (ii)

    \(\varPhi _{3}\)is compact and continuous,

  3. (iii)

    \(\tilde{K}_{1}^{*} \hat{\Delta } + \tilde{K}_{2}^{*} <1\)so that\(\hat{\Delta }=\Vert \varPhi _{3}( \mathcal{B} )\Vert _{\mathcal{X} } = \sup \{ \Vert \varPhi _{3} y \Vert _{\mathcal{X} } : y \in \mathcal{B} \} \).

Then either (a) the equation\((\varPhi _{1} y) (\varPhi _{3} y ) + (\varPhi _{2} y) = y \)has a solution belonging to\(\mathcal{B} \)or (b) for each\(r>0\), there is\(v^{*}\in \mathcal{X}\)with\(\Vert v^{*}\Vert _{\mathcal{X} } = r \)provided that\(\alpha _{0} (\varPhi _{1}v^{*})(\varPhi _{3}v^{*}) + \alpha _{0} (\varPhi _{2} v^{*}) =v^{*}\)for some\(\alpha _{0} \in (0,1)\).

The following theorem due to Isaia is utilized for our result related to the mixed Caputo–Hadamard non-hybrid BVP (3).

Theorem 6

([53])

Let\(\varPhi : \mathcal{X} \to \mathcal{X} \)be aμ-condensing operator on the Banach space\(\mathcal{X}\)and assume that

$$ \mathcal{B}= \bigl\{ y\in \mathcal{X}: \textit{there is } \lambda \in [0,1] \textit{ such that } y=\lambda (\varPhi y) \bigr\} . $$

If\(\mathcal{B} \)is a bounded set in\(\mathcal{X}\), so that there is a number\(\rho >0 \)such that\(\mathcal{B} \subset \overline{\mathcal{V}_{\rho }(0) } \), then we have\(\deg (I-\lambda \varPhi , \overline{\mathcal{V}_{\rho }(0) },0)=1 \). Moreover, Φhas at least one fixed point, and the family of all fixed points ofΦbelongs to\(\overline{\mathcal{V}_{\rho }(0) } \).

3 Main results

Now, we are ready to derive the desired analytical findings. For this reason, we build a new space as \(\mathcal{X} = \{ y(t): y(t) \in \mathcal{C}_{ \mathbb{R} }([1,e]) \}\) supplemented with the sup-norm \(\Vert y \Vert _{\mathcal{X} } = \sup_{ t \in [1,e] } \vert y(t) \vert \) and the multiplication action on \(\mathcal{X}\) by \((y \cdot y')(t) = y(t)y'(t)\) for each \(y, y' \in \mathcal{X}\). Then it is easily verified that an ordered triple \(( \mathcal{X} , \Vert \cdot \Vert _{\mathcal{X}} , \cdot )\) is a Banach algebra. In the following lemma, we derive an integral structure for the solution of the hybrid BVP (1)–(2).

Lemma 7

Let\(g \in \mathcal{X}\). Then a function\(\tilde{y_{0}}\)is a solution for the Caputo–Hadamard hybrid equation

$$ {}^{ \mathcal{CH} }\mathcal{D}_{1^{+}}^{ \kappa ^{*} } \biggl[ \frac{ y(t) - \varLambda (t, y(t), \lambda _{1}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\gamma ^{*} }y(t) )}{ \varPsi ( t, y(t), \lambda _{2}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\mu ^{*} }y(t) ) } \biggr] = g(t) $$
(4)

furnished with mixed Hadamard integral hybrid boundary value conditions

$$ \textstyle\begin{cases} {}^{ \mathcal{CH} }\mathcal{D}_{1^{+}} [ \frac{ y(t) - \varLambda (t, y(t), \lambda _{1}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\gamma ^{*} }y(t) )}{ \varPsi ( t, y(t), \lambda _{2}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\mu ^{*} }y(t) ) } ] \vert _{ t = 1 } \\ \quad = \tilde{a_{1}} [ \frac{ y(t) - \varLambda (t, y(t), \lambda _{1}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\gamma ^{*} }y(t) )}{ \varPsi ( t, y(t), \lambda _{2}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\mu ^{*} }y(t) ) } ] \vert _{ t= 1 }, \\ {}^{\mathcal{H}} \mathcal{I}_{1^{+}}^{\theta ^{*}} {}^{ \mathcal{CH} } \mathcal{D}_{1^{+}} [ \frac{ y(t) - \varLambda (t, y(t), \lambda _{1}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\gamma ^{*} }y(t) )}{ \varPsi ( t, y(t), \lambda _{2}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\mu ^{*} }y(t) ) } ] \vert _{ t = e } \\ \quad = \tilde{a_{2}} [ \frac{ y(t) - \varLambda (t, y(t), \lambda _{1}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\gamma ^{*} }y(t) )}{ \varPsi ( t, y(t), \lambda _{2}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\mu ^{*} }y(t) ) } ] \vert _{ t = e } \end{cases} $$
(5)

if and only if\(\tilde{y_{0}} \)is a solution for the Hadamard integral equation

$$\begin{aligned} y(t) ={}& \varPsi \biggl( t, y(t), \lambda _{2}^{*} \int _{1}^{e} y ( \varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{ \mu ^{*} }y(t) \biggr) \\ &{}\times \biggl( \frac{1}{\varGamma (\kappa ^{*} )} \int _{1}^{t} \biggl( \ln \frac{ t }{ \varpi } \biggr)^{ \kappa ^{*} -1} g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi } \\ &{} + \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}- \frac{ (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi } \biggr) \\ &{}+ \varLambda \biggl(t, y(t), \lambda _{1}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\gamma ^{*} }y(t) \biggr) , \end{aligned}$$
(6)

where

$$ \mathcal{Q}^{*} = \biggl\vert \frac{ \tilde{a_{1}} - ( 1+ \tilde{a_{1}} ) \tilde{a_{2}} \varGamma ( \theta ^{*} + 1) }{ \varGamma ( \theta ^{*} + 1) } \biggr\vert \neq 0 . $$
(7)

Proof

As a first step, we assume that \(\tilde{y_{0}} \) is a solution for the hybrid differential equation (4). Then, by properties of the \(\kappa ^{*}\)th order Hadamard integral, we seek constants \(m_{0}^{*},m_{1}^{*}\in \mathbb{R}\) such that

$$\begin{aligned}& \frac{ \tilde{y_{0}}(t) - \varLambda (t, \tilde{y_{0}}(t), \lambda _{1}^{*} \int _{1}^{e} \tilde{y_{0}} (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\gamma ^{*} }\tilde{y_{0}}(t) )}{ \varPsi ( t, \tilde{y_{0}}(t), \lambda _{2}^{*} \int _{1}^{e} \tilde{y_{0}}(\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\mu ^{*} }\tilde{y_{0}}(t) ) } \\& \quad = \frac{1}{\varGamma ( \kappa ^{*} )} \int _{1}^{t} \biggl( \ln \frac{t}{\varpi } \biggr)^{\kappa ^{*} -1} g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi } + m_{0}^{*} + m_{1}^{*} ( \ln t) \end{aligned}$$

and so

$$\begin{aligned} \tilde{y_{0}}(t) ={}& \varLambda \biggl(t, \tilde{y_{0}}(t), \lambda _{1}^{*} \int _{1}^{e} \tilde{y_{0}} ( \varpi ) \,\mathrm{d}\varpi , {}^{ \mathcal{H}}\mathcal{I}_{1^{+}}^{\gamma ^{*} } \tilde{y_{0}}(t) \biggr) \\ &{}+ \varPsi \biggl( t, \tilde{y_{0}}(t), \lambda _{2}^{*} \int _{1}^{e} \tilde{y_{0}}(\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}} \mathcal{I}_{1^{+}}^{\mu ^{*} } \tilde{y_{0}}(t) \biggr) \\ &{}\times \biggl( \frac{1}{\varGamma ( \kappa ^{*} )} \int _{1}^{t} \biggl( \ln \frac{t}{\varpi } \biggr)^{\kappa ^{*} -1} g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi } + m_{0}^{*} + m_{1}^{*} ( \ln t) \biggr). \end{aligned}$$
(8)

Thus,

$$\begin{aligned} & {}^{\mathcal{CH}}\mathcal{D}_{1^{+}} \biggl[ \frac{ \tilde{y_{0}}(t) - \varLambda (t, \tilde{y_{0}}(t), \lambda _{1}^{*} \int _{1}^{e} \tilde{y_{0}} (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\gamma ^{*} }\tilde{y_{0}}(t) )}{ \varPsi ( t, \tilde{y_{0}}(t), \lambda _{2}^{*} \int _{1}^{e} \tilde{y_{0}}(\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\mu ^{*} }\tilde{y_{0}}(t) ) } \biggr] \\ &\quad = \frac{1}{ \varGamma ( \kappa ^{*} -1) } \int _{1}^{t} \biggl( \ln \frac{t}{\varpi } \biggr)^{ \kappa ^{*} -2 } g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi } + m_{1}^{*} , \\ & {}^{\mathcal{H}} \mathcal{I}_{1^{+}}^{\theta ^{*}} {}^{\mathcal{CH}} \mathcal{D}_{1^{+}} \biggl[ \frac{ \tilde{y_{0}}(t) - \varLambda (t, \tilde{y_{0}}(t), \lambda _{1}^{*} \int _{1}^{e} \tilde{y_{0}} (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\gamma ^{*} }\tilde{y_{0}}(t) )}{ \varPsi ( t, \tilde{y_{0}}(t), \lambda _{2}^{*} \int _{1}^{e} \tilde{y_{0}}(\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\mu ^{*} }\tilde{y_{0}}(t) ) } \biggr] \\ &\quad = m_{1}^{*} \frac{ (\ln t)^{\theta ^{*}} }{ \varGamma ( \theta ^{*} +1) } + \frac{1}{ \varGamma ( \kappa ^{*} + \theta ^{*} -1) } \int _{1}^{t} \biggl( \ln \frac{t}{\varpi } \biggr)^{ \kappa ^{*} + \theta ^{*} -2 } g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi }. \end{aligned}$$

In the light of both mixed hybrid boundary conditions given in (5), we obtain

$$\begin{aligned} m_{0}^{*} ={}& \frac{\tilde{a_{2}}}{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} ) } \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1 } g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi } \\ &{} - \frac{1}{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} -1 ) } \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} + \theta ^{*} - 2 } g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi } \end{aligned}$$

and

$$\begin{aligned} m_{1}^{*} ={}& \frac{ \tilde{a_{1}} \tilde{a_{2}}}{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} ) } \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1 } g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}- \frac{\tilde{a_{1}}}{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} - 1 ) } \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} + \theta ^{*} - 2 } g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi }. \end{aligned}$$

By inserting the obtained values \(m_{0}^{*}\) and \(m_{1}^{*}\) into (8), we reach

$$\begin{aligned} \tilde{y_{0}} (t) ={}& \varPsi \biggl( t, \tilde{y_{0}}(t), \lambda _{2}^{*} \int _{1}^{e} \tilde{y_{0}} ( \varpi ) \,\mathrm{d}\varpi , {}^{ \mathcal{H}}\mathcal{I}_{1^{+}}^{\mu ^{*} } \tilde{y_{0}}(t) \biggr) \\ &{}\times \biggl( \frac{1}{\varGamma (\kappa ^{*} )} \int _{1}^{t} \biggl( \ln \frac{ t }{ \varpi } \biggr)^{ \kappa ^{*} -1} g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi } \\ &{} + \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}- \frac{ (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi } \biggr) \\ &{}+ \varLambda \biggl(t, \tilde{y_{0}}(t), \lambda _{1}^{*} \int _{1}^{e} \tilde{y_{0}}(\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}} \mathcal{I}_{1^{+}}^{\gamma ^{*} } \tilde{y_{0}}(t) \biggr). \end{aligned}$$

The last equation implies that \(\tilde{y_{0}}\) satisfies the Hadamard integral equation (6), and so \(\tilde{y_{0}}\) is the solution of the mentioned integral equation. In the opposite direction, we can easily confirm that \(\tilde{y_{0}}\) is a solution for the two-point Caputo–Hadamard hybrid BVP (4)–(5) if \(\tilde{y_{0}}\) is supposed to be a solution for the Hadamard integral equation (6). This completes the proof. □

Now, based on the obtained Hadamard integral equation in the above lemma, we provide an existence criterion for solutions of the mixed Caputo–Hadamard hybrid BVP (1)–(2).

Theorem 8

Let\(\varPsi :[1,e]\times \mathcal{X}^{3} \to \mathcal{X}\setminus \{ 0\} \)and\(\varLambda :[1,e]\times \mathcal{X}^{3} \to \mathcal{X} \)and\(\hat{\varUpsilon }:[1,e]\times \mathcal{X} \to \mathcal{X} \)be continuous. Moreover, consider the following hypotheses:

(\(\mathcal{HP}1\)):

There is a positive bounded mapping\(\varrho :[1,e]\to \mathbb{R}^{+} \)so that for each\(y_{i}, y'_{i} \in \mathcal{X}\),

$$ \bigl\vert \varPsi \bigl( t, y_{1}(t), y_{2}(t), y_{3}(t) \bigr)-\varPsi \bigl( t, y'_{1}(t), y'_{2}(t), y'_{3}(t) \bigr) \bigr\vert \leq \varrho (t)\sum_{1}^{3} \bigl\vert y_{i}(t)-y'_{i}(t) \bigr\vert , $$
(\(\mathcal{HP}2\)):

There is a positive bounded mapping\(\sigma : [1,e] \to \mathbb{R}^{+} \)such that for each\(y_{i}, y'_{i} \in \mathcal{X} \),

$$ \bigl\vert \varLambda \bigl( t, y_{1}(t), y_{2}(t), y_{3}(t) \bigr)-\varLambda \bigl( t, y'_{1}(t), y'_{2}(t), y'_{3}(t) \bigr) \bigr\vert \leq \sigma (t) \sum_{1}^{3} \bigl\vert y_{i}(t)-y'_{i}(t) \bigr\vert , $$
(\(\mathcal{HP}3\)):

There is a positive continuous function\(\psi :[1,e]\to \mathbb{R}^{+} \)and a continuous nondecreasing map\(\xi :[0,\infty )\to [0,\infty ) \)such that\(\vert \hat{\varUpsilon }(t,y(t))\vert \leq \psi (t)\xi (\Vert y \Vert _{\mathcal{X}}) \)for any\(t\in [1,e] \)and\(y\in \mathcal{X} \),

(\(\mathcal{HP}4\)):

There exists a number\(\rho >0 \)such that

$$\begin{aligned} \rho >{}& \bigl(\varPsi ^{*} \tilde{M}\psi ^{*}\xi \bigl( \Vert y \Vert _{\mathcal{X}}\bigr)+\varLambda ^{*}\bigr) \\ &{}\Big/\biggl(1-\varrho ^{*} \biggl[1+ \bigl\vert \lambda _{2}^{*} (e-1) \bigr\vert + \frac{1}{\varGamma (\mu ^{*}+1)} \biggr] \tilde{M}\psi ^{*}\xi \bigl( \vert y \vert _{\mathcal{X}}\bigr) \\ &{}-\sigma ^{*} \biggl[1+ \bigl\vert \lambda _{1}^{*} (e-1) \bigr\vert + \frac{1}{\varGamma (\gamma ^{*}+1)} \biggr]\biggr), \end{aligned}$$
(9)

where we considered\(\varPsi ^{*}=\sup_{t\in [1,e] }\vert \psi (t,0,0,0)\vert \), \(\varLambda ^{*}=\sup_{t\in [1,e] }\vert \varLambda (t,0,0,0) \vert \), \(\psi ^{*}= \sup_{t\in [1,e] }\vert \psi (t)\vert \), \(\varrho ^{*}=\sup_{t\in [1,e] }\vert \varrho (t)\vert \), \(\sigma ^{*}=\sup_{t\in [1,e] }\vert \sigma (t)\vert \)and

$$\begin{aligned} \tilde{M}= \frac{1}{\varGamma (\kappa ^{*} +1)} + \biggl\vert \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} )}{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*}+1 )} \biggr\vert + \biggl\vert \frac{ (1 + \tilde{a_{1}} )}{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} )} \biggr\vert . \end{aligned}$$

Then the mixed Caputo–Hadamard hybrid BVP (1)(2) has at least one solution if

$$ \varrho ^{*} \biggl[1+ \bigl\vert \lambda _{2}^{*} (e-1) \bigr\vert + \frac{1}{\varGamma (\mu ^{*}+1)} \biggr]\psi ^{*}\xi \bigl( \Vert y \Vert _{\mathcal{X}} \bigr)\tilde{M} +\sigma ^{*} \biggl[1+ \bigl\vert \lambda _{1}^{*} (e-1) \bigr\vert + \frac{1}{\varGamma (\gamma ^{*}+1)} \biggr]< 1 . $$

Proof

For every positive number \(\rho \in \mathbb{R} \), we construct the ball \(\overline{\mathcal{V}_{\rho }(0) }:=\{y(t)\in \mathcal{X}: \Vert y \Vert _{\mathcal{X}} \leq \rho \}\) in the Banach algebra \(\mathcal{X} \), where ρ satisfies (9). It is well known that \(\overline{\mathcal{V}_{\rho }(0) } \) is a convex closed bounded subset of the Banach algebra \(\mathcal{X} \). Based on Lemma 7, we introduce three operators \(\varPhi _{1} , \varPhi _{2} : \mathcal{X} \to \mathcal{X}\) and \(\varPhi _{3}: \overline{\mathcal{V}_{\rho }(0) } \to \mathcal{X}\) by

$$\begin{aligned}& (\varPhi _{1} y) (t)=\varPsi \biggl( t, y(t), \lambda _{2}^{*} \int _{1}^{e} y ( \varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{ \mu ^{*} }y(t) \biggr) , \\& (\varPhi _{2} y) (t)=\varLambda \biggl(t, y(t), \lambda _{1}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{ \gamma ^{*} }y(t) \biggr) \end{aligned}$$

and

$$\begin{aligned} (\varPhi _{3} y) (t) ={}& \frac{1}{\varGamma (\kappa ^{*} )} \int _{1}^{t} \biggl( \ln \frac{ t }{ \varpi } \biggr)^{ \kappa ^{*} -1} \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}+ \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}- \frac{ (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \end{aligned}$$

for any \(t\in [1,e] \). It is evident that a function \(y_{0}\in \mathcal{X}\) is a solution for the mixed Caputo–Hadamard hybrid BVP (1)–(2) whenever \(y_{0}\) satisfies the equation \((\varPhi _{1} y_{0})(\varPhi _{3} y_{0})+ (\varPhi _{2} y_{0})=y_{0} \). We intend to show that the three operators \(\varPhi _{1} \), \(\varPhi _{2} \) and \(\varPhi _{3} \) satisfy all conditions of Theorem 5 and thus, by taking into account hypotheses of Theorem 5, we will find that there exists such a solution function. First of all, we verify that \(\varPhi _{1} \) is Lipschitz. Let \(y_{1}, y_{2}\in \mathcal{X} \). By \((\mathcal{HP}1) \), we may write

$$\begin{aligned} & \bigl\vert (\varPhi _{1} y_{1}) (t) -(\varPhi _{1} y_{2}) (t) \bigr\vert \\ &\quad = \biggl\vert \varPsi \biggl( t, y_{1}(t), \lambda _{2}^{*} \int _{1}^{e} y_{1} (\varpi ) \, \mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{ \mu ^{*} }y_{1}(t) \biggr) \\ &\qquad {}-\varPsi \biggl( t, y_{2}(t), \lambda _{2}^{*} \int _{1}^{e} y_{2} ( \varpi ) \, \mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{ \mu ^{*} }y_{2}(t) \biggr) \biggr\vert \\ &\quad \leq \varrho (t) \biggl[1+ \bigl\vert \lambda _{2}^{*} (e-1) \bigr\vert + \frac{1}{\varGamma (\mu ^{*}+1)} \biggr]\sup_{t\in [1,e] } \bigl\vert y_{1}(t)-y_{2}(t) \bigr\vert \end{aligned}$$

for any \(t\in [1,e] \). Hence, we get

$$\begin{aligned} \Vert \varPhi _{1} y_{1}-\varPhi _{1} y_{2} \Vert _{\mathcal{X}} & \leq \varrho ^{*} \biggl[1+ \bigl\vert \lambda _{2}^{*} (e-1) \bigr\vert + \frac{1}{\varGamma (\mu ^{*}+1)} \biggr] \Vert y_{1}-y_{2} \Vert _{\mathcal{X}}, \end{aligned}$$

showing that \(\varPhi _{1} \) is Lipschitz with constant \(\varrho ^{*} [1+ \vert \lambda _{2}^{*} (e-1)\vert + \frac{1}{\varGamma (\mu ^{*}+1)} ]>0 \) for each \(y_{1}, y_{2}\in \mathcal{X} \). Similarly, by using hypothesis \((\mathcal{HP}2) \), one can realize that \(\varPhi _{1} \) is also Lipschitz on \(\mathcal{X}\). The proof is straightforward as above. Indeed, we have

$$\begin{aligned} & \bigl\vert (\varPhi _{2} y_{1}) (t) -(\varPhi _{2} y_{2}) (t) \bigr\vert \\ &\quad = \biggl\vert \varLambda \biggl( t, y_{1}(t), \lambda _{1}^{*} \int _{1}^{e} y_{1} (\varpi ) \, \mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{ \gamma ^{*} }y_{1}(t) \biggr) \\ &\qquad {}-\varLambda \biggl( t, y_{2}(t), \lambda _{1}^{*} \int _{1}^{e} y_{2} ( \varpi ) \, \mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{ \gamma ^{*} }y_{2}(t) \biggr) \biggr\vert \\ &\quad \leq \sigma (t) \biggl[1+ \bigl\vert \lambda _{1}^{*} (e-1) \bigr\vert + \frac{1}{\varGamma (\gamma ^{*}+1)} \biggr]\sup_{t\in [1,e] } \bigl\vert y_{1}(t)-y_{2}(t) \bigr\vert \end{aligned}$$

for any \(t\in [1,e] \). Thus, we get

$$\begin{aligned} \Vert \varPhi _{2} y_{1}-\varPhi _{2} y_{2} \Vert _{\mathcal{X}} & \leq \sigma ^{*} \biggl[1+ \bigl\vert \lambda _{1}^{*} (e-1) \bigr\vert + \frac{1}{\varGamma (\gamma ^{*}+1)} \biggr] \Vert y_{1}-y_{2} \Vert _{\mathcal{X}} , \end{aligned}$$

demonstrating that \(\varPhi _{2}\) is Lipschitz with constant \(\sigma ^{*} [1+ \vert \lambda _{1}^{*} (e-1)\vert + \frac{1}{\varGamma (\gamma ^{*}+1)} ] >0 \) for each \(y_{1}, y_{2} \in \mathcal{X}\). Therefore, the first condition of Theorem 5 is fulfilled for two operators \(\varPhi _{1}\) and \(\varPhi _{2}\). In the sequel, we establish the complete continuity of the operator \(\varPhi _{3} \) on the given closed ball \(\overline{\mathcal{V}_{\rho }(0) } \). We have to check that \(\varPhi _{3} \) is continuous on \(\overline{\mathcal{V}_{\rho }(0) } \). Thus, consider a convergent sequence \(\{y_{n}\} \) in \(\overline{\mathcal{V}_{\rho }(0) } \) so that \(y_{n} \to y \), where \(y\in \overline{\mathcal{V}_{\rho }(0) } \) is an arbitrary element. By assumption, we know that ϒ̂ is continuous on \([1,e]\times \mathcal{X} \), so \(\lim_{n\to \infty }\hat{\varUpsilon }(t,y_{n})=\hat{\varUpsilon }(t,y) \). By Lebesgue’s dominated convergence theorem, we obtain

$$\begin{aligned} \lim_{n\to \infty }(\varPhi _{3} y_{n}) (t) ={}& \frac{1}{\varGamma (\kappa ^{*} )} \int _{1}^{t} \biggl( \ln \frac{ t }{ \varpi } \biggr)^{ \kappa ^{*} -1} \lim_{n\to \infty } \hat{\varUpsilon } \bigl( \varpi ,y_{n}(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}+ \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} \lim_{n\to \infty }\hat{\varUpsilon } \bigl( \varpi ,y_{n}(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}- \frac{ (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} \lim_{n\to \infty }\hat{\varUpsilon } \bigl( \varpi ,y_{n}(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ ={}& \frac{1}{\varGamma (\kappa ^{*} )} \int _{1}^{t} \biggl( \ln \frac{ t }{ \varpi } \biggr)^{ \kappa ^{*} -1}\hat{\varUpsilon } \bigl(\varpi ,y( \varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}+ \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}- \frac{ (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } =(\varPhi _{3} y) (t) \end{aligned}$$

for any \(t\in [1,e] \). Hence, we get \(\varPhi _{3} y_{n}\to \varPhi _{3} y \) as \(n \to \infty \), and this means that \(\varPhi _{3} \) is continuous on \(\overline{\mathcal{V}_{\rho }(0) } \). The next goal is to check the uniform boundedness of \(\varPhi _{3} \) on the ball \(\overline{\mathcal{V}_{\rho }(0) }\). Let us take \(y\in \overline{\mathcal{V}_{\rho }(0) } \). Under hypothesis \((\mathcal{HP}3) \), the following estimate is obtained:

$$\begin{aligned} \bigl\vert (\varPhi _{3} y) (t) \bigr\vert \leq{}& \frac{1}{\varGamma (\kappa ^{*} )} \int _{1}^{t} \biggl( \ln \frac{ t }{ \varpi } \biggr)^{ \kappa ^{*} -1} \bigl\vert \hat{\varUpsilon } \bigl(\varpi ,y( \varpi ) \bigr) \bigr\vert \frac{\mathrm{d}\varpi }{\varpi } \\ &{}+ \biggl\vert \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} )} \biggr\vert \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} \bigl\vert \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \bigr\vert \frac{\mathrm{d}\varpi }{\varpi } \\ &{}+ \biggl\vert \frac{ (1 + \tilde{a_{1}} ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \biggr\vert \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} \bigl\vert \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \bigr\vert \frac{\mathrm{d}\varpi }{\varpi } \\ \leq{}& \frac{\sup_{t\in [1,e] }\psi (t)\times \xi ( \Vert y \Vert _{\mathcal{X}})}{\varGamma (\kappa ^{*} +1)} + \biggl\vert \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}})}{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*}+1 )} \biggr\vert \sup_{t\in [1,e] }\psi (t)\times \xi \bigl( \Vert y \Vert _{\mathcal{X}} \bigr) \\ & {}+ \biggl\vert \frac{ (1 + \tilde{a_{1}} ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} )} \biggr\vert \sup_{t\in [1,e] } \psi (t)\times \xi \bigl( \Vert y \Vert _{\mathcal{X}} \bigr) \end{aligned}$$

for each \(t\in [1,e] \). It follows that \(\Vert (\varPhi _{3} y)(t)\Vert _{\mathcal{X}}\leq \psi ^{*}\xi (\Vert y \Vert _{\mathcal{X}})\). Hence \(\varPhi _{3}(\overline{\mathcal{V}_{\rho }(0) })\) is a uniformly bounded subset of \(\mathcal{X} \). To establish the complete continuity property of \(\varPhi _{3}\) in the last step, it is enough to verify the equicontinuity of \(\varPhi _{3} \). For this purpose, we take two arbitrary elements \(t_{1}, t_{2}\in [1,e] \) so that \(t_{1}< t_{2} \) and \(y\in \overline{\mathcal{V}_{\rho }(0) } \). Then, under appropriate conditions, we can write

$$\begin{aligned} & \bigl\vert (\varPhi _{3} y) (t_{2})-(\varPhi _{3} y) (t_{1}) \bigr\vert \\ &\quad \leq \frac{1}{\varGamma (\kappa ^{*} )} \int _{1}^{t_{1}} \biggl[ \biggl( \ln \frac{ t_{2} }{ \varpi } \biggr)^{ \kappa ^{*} -1}- \biggl( \ln \frac{ t_{1} }{ \varpi } \biggr)^{ \kappa ^{*} -1} \biggr] \bigl\vert \hat{\varUpsilon } \bigl(\varpi ,y( \varpi ) \bigr) \bigr\vert \frac{\mathrm{d}\varpi }{\varpi } \\ &\qquad {}+ \frac{1}{\varGamma (\kappa ^{*} )} \int _{t_{1}}^{t_{2}} \biggl( \ln \frac{ t_{2} }{ \varpi } \biggr)^{ \kappa ^{*} -1} \bigl\vert \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \bigr\vert \frac{\mathrm{d}\varpi }{\varpi } \\ &\qquad {}+ \frac{ \vert \tilde{a_{2}}\tilde{a_{1}} \vert ( \vert \ln (t_{2} )-\ln (t_{1}) \vert ) }{ \vert \mathcal{Q}^{*} \vert \varGamma ( \kappa ^{*} )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} \bigl\vert \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \bigr\vert \frac{\mathrm{d}\varpi }{\varpi } \\ &\qquad {}+ \frac{ \vert \tilde{a_{1}} \vert ( \vert \ln (t_{2} )-\ln (t_{1}) \vert ) }{ \mathcal{\vert Q}^{*}\vert \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} \bigl\vert \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \bigr\vert \frac{\mathrm{d}\varpi }{\varpi } \\ &\quad \leq \frac{((\ln (t_{2}))^{k^{*}}-(\ln (t_{1}))^{k^{*}})-(\ln (t_{2})-\ln (t_{1}))^{k^{*}}}{\varGamma (\kappa ^{*}+1 )} \sup_{t\in [1,e] }\psi (t)\times \xi \bigl( \Vert y \Vert _{\mathcal{X}} \bigr) \\ &\qquad {}+ \frac{(\ln (t_{2})-\ln (t_{1}))^{k^{*}}}{\varGamma (\kappa ^{*}+1 )} \sup_{t\in [1,e] }\psi (t)\times \xi \bigl( \Vert y \Vert _{\mathcal{X}} \bigr) \\ &\qquad {}+ \frac{ \vert \tilde{a_{2}}\tilde{a_{1}} \vert ( \vert \ln (t_{2} )-\ln (t_{1}) \vert ) }{ \vert \mathcal{Q}^{*} \vert \varGamma ( \kappa ^{*} )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} \bigl\vert \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \bigr\vert \frac{\mathrm{d}\varpi }{\varpi } \\ &\qquad {}+ \frac{ \vert \tilde{a_{1}} \vert ( \vert \ln (t_{2} )-\ln (t_{1}) \vert ) }{ \vert \mathcal{Q}^{*} \vert \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} \bigl\vert \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \bigr\vert \frac{\mathrm{d}\varpi }{\varpi } . \end{aligned}$$

When we take the limit on both sides of the inequality as \(t_{1} \to t_{2}\), then clearly the RHS of the inequality approaches 0 (regardless of \(y\in \overline{\mathcal{V}_{\rho }(0) } \)). Thus, \(\vert (\varPhi _{3} y)(t_{2})-(\varPhi _{3} y)(t_{1})\vert \to 0 \) as \(t_{1}\to t_{2} \), confirming the equicontinuity of the operator \(\varPhi _{3}\). Here, by invoking the Arzela–Ascoli theorem, it is deduced that \(\varPhi _{3}\) is completely continuous on \(\overline{\mathcal{V}_{\rho }(0) }\). To fulfill the third condition of Theorem 5, we utilize hypothesis \((\mathcal{HP}3)\) and obtain

$$\begin{aligned} \hat{\Delta } &= \bigl\Vert \varPhi _{3} \bigl(\overline{ \mathcal{V}_{\rho }(0) } \bigr) \bigr\Vert _{\mathcal{X}} \\ & =\sup _{t\in [1,e] } \bigl\{ \bigl\vert (\varPhi _{3} y) (t) \bigr\vert : y \in \overline{\mathcal{V}_{\rho }(0) } \bigr\} \\ &\leq \psi ^{*}\xi \bigl( \Vert y \Vert _{\mathcal{X}} \bigr) \biggl( \frac{1}{\varGamma (\kappa ^{*} +1)} + \biggl\vert \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} )}{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} +1)} \biggr\vert + \biggl\vert \frac{ (1 + \tilde{a_{1}} )}{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} )} \biggr\vert \biggr) \\ &=\psi ^{*}\xi \bigl( \Vert y \Vert _{\mathcal{X}} \bigr) \tilde{M}. \end{aligned}$$

Hence \(\hat{\Delta }\leq \psi ^{*}\xi (\Vert y \Vert _{\mathcal{X}})\tilde{M} \). Therefore we have

$$\begin{aligned} &\varrho ^{*} \biggl[1+ \bigl\vert \lambda _{2}^{*} (e-1) \bigr\vert + \frac{1}{\varGamma (\mu ^{*}+1)} \biggr]\hat{\Delta } +\sigma ^{*} \biggl[1+ \bigl\vert \lambda _{1}^{*} (e-1) \bigr\vert + \frac{1}{\varGamma (\gamma ^{*}+1)} \biggr] \\ &\quad \leq \varrho ^{*} \biggl[1+ \bigl\vert \lambda _{2}^{*} (e-1) \bigr\vert + \frac{1}{\varGamma (\mu ^{*}+1)} \biggr]\psi ^{*}\xi \bigl( \Vert y \Vert _{\mathcal{X}} \bigr) \tilde{M} \\ &\qquad {}+\sigma ^{*} \biggl[1+ \bigl\vert \lambda _{1}^{*} (e-1) \bigr\vert + \frac{1}{\varGamma (\gamma ^{*}+1)} \biggr] < 1 . \end{aligned}$$

At this point, setting \(\tilde{K}_{1}^{*}=\varrho ^{*} [1+ \vert \lambda _{2}^{*} (e-1) \vert + \frac{1}{\varGamma (\mu ^{*}+1)} ] \) and \(\tilde{K}_{2}^{*}=\sigma ^{*} [1+ \vert \lambda _{1}^{*} (e-1) \vert + \frac{1}{\varGamma (\gamma ^{*}+1)} ] \), we reach \(\tilde{K}_{1}^{*}\hat{\Delta }+\tilde{K}_{2}^{*}<1 \). So far, all three hypotheses of Theorem 5 are fulfilled. Thus in the following, we claim that one of the conditions (a) or (b) in Theorem 5 is possible. To begin, we check condition (b). Let \(\alpha _{0}\in (0,1) \) and suppose that there exists \(y\in \mathcal{X} \) with \(\Vert y\Vert _{\mathcal{X}} =\rho \) so that the equation \(y=\alpha _{0} (\varPhi _{1} y) (\varPhi _{3} y) + \alpha _{0}(\varPhi _{2} y) \) holds. Then, we have

$$\begin{aligned} \bigl\vert y(t) \bigr\vert \leq{}& \alpha _{0} \bigl\vert ( \varPhi _{1} y) (t) \bigr\vert \bigl\vert ( \varPhi _{3} y) (t) \bigr\vert + \alpha _{0} \bigl\vert ( \varPhi _{2} y) (t) \bigr\vert \\ \leq{}& \alpha _{0} \biggl\vert \varPsi \biggl( t, y(t), \lambda _{2}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}} \mathcal{I}_{1^{+}}^{\mu ^{*} }y(t) \biggr) \biggr\vert \\ &{}\times \biggl( \biggl\vert \frac{1}{\varGamma (\kappa ^{*} )} \int _{1}^{t} \biggl( \ln \frac{ t }{ \varpi } \biggr)^{ \kappa ^{*} -1} \hat{\varUpsilon } \bigl(\varpi ,y( \varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}+ \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}- \frac{ (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \\ &{} \times \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \biggr\vert \biggr) \\ &{}+ \alpha _{0} \biggl\vert \varLambda \biggl(t, y(t), \lambda _{1}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{ \gamma ^{*} }y(t) \biggr) \biggr\vert \\ \leq{}& \biggl\vert \varPsi \biggl( t, y(t), \lambda _{2}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{ \mu ^{*} }y(t) \biggr)- \varPsi ( t, 0, 0,0 ) +\varPsi ( t, 0, 0,0 ) \biggr\vert \\ &{}\times \biggl( \frac{\sup_{t\in [1,e] }\psi (t)\times \xi ( \Vert y \Vert _{\mathcal{X}})}{\varGamma (\kappa ^{*} +1)}+ \sup_{t\in [1,e] }\psi (t) \times \xi \bigl( \Vert y \Vert _{\mathcal{X}} \bigr) \biggl\vert \frac{\tilde{a_{2}} (1 + \tilde{a_{1}} ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} +1)} \biggr\vert \\ &{} + \sup_{t\in [1,e] }\psi (t)\times \xi \bigl( \Vert y \Vert _{\mathcal{X}} \bigr) \biggl\vert \frac{ (1 + \tilde{a_{1}}) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} )} \biggr\vert \biggr) \\ &{}+ \biggl\vert \varLambda \biggl(t, y(t), \lambda _{1}^{*} \int _{1}^{e} y ( \varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{ \gamma ^{*} }y(t) -\varLambda (t,0,0,0)\vert + \vert \varLambda (t,0,0,0) \biggr) \biggr\vert \\ \leq {}&\biggl[\varrho ^{*} \biggl(1+ \bigl\vert \lambda _{2}^{*}(e-1) \bigr\vert + \frac{1}{\varGamma (\mu ^{*}+1)} \biggr) \Vert y \Vert _{\mathcal{X}} + \varPsi ^{*} \biggr] \tilde{M} \psi ^{*}\xi \bigl( \Vert y \Vert _{\mathcal{X}} \bigr) \\ &{}+\sigma ^{*} \biggl(1+ \bigl\vert \lambda _{1}^{*}(e-1) \bigr\vert + \frac{1}{\varGamma (\gamma ^{*}+1)} \biggr) \Vert y \Vert _{\mathcal{X}} + \varLambda ^{*} . \end{aligned}$$

So, we arrive at the following inequality:

$$\begin{aligned} \rho ={}& \bigl\Vert y(t) \bigr\Vert _{\mathcal{X}} \\ \leq{}& \biggl[\varrho ^{*} \biggl(1+ \bigl\vert \lambda _{2}^{*}(e-1) \bigr\vert + \frac{1}{\varGamma (\mu ^{*}+1)} \biggr) \rho + \tilde{M}\varPsi ^{*} \biggr] \psi ^{*}\xi (\rho ) \\ &{}+\sigma ^{*} \biggl(1+ \bigl\vert \lambda _{1}^{*}(e-1) \bigr\vert + \frac{1}{\varGamma (\gamma ^{*}+1)} \biggr)\rho + \varLambda ^{*} . \end{aligned}$$

This implies that

$$ \rho \leq \frac{\tilde{M}\psi ^{*}\xi (\rho ) \varPsi ^{*}+ \varLambda ^{*}}{1-\varrho ^{*} (1+ \vert \lambda _{2}^{*}(e-1) \vert + \frac{1}{\varGamma (\mu ^{*}+1)} )\tilde{M}\psi ^{*}\xi (\rho )-\sigma ^{*} (1+ \vert \lambda _{1}^{*}(e-1) \vert + \frac{1}{\varGamma (\gamma ^{*}+1)} )} $$

which is impossible due to (9). Therefore, condition (b) stated in Theorem 5 is not fulfilled and so condition (a) in Theorem 5 holds. Consequently, the operator equation \((\varPhi _{1} y)(\varPhi _{3} y) + (\varPhi _{2} y)=y\) has a solution. This means that the mixed Caputo–Hadamard hybrid BVP (1)–(2) has at least one solution. □

3.1 Special cases

This subsection is devoted to deriving some analytical existence criteria for a special case formulated by mixed Caputo–Hadamard nonhybrid BVP (3). We state some hypotheses as follows:

(\(\mathcal{HP}5\)):

(Lipschitz property) There exists a constant \(L_{\hat{\varUpsilon }} >0 \) such that for each \(y, y' \in \mathcal{X} \), we have \(\vert \hat{\varUpsilon } ( t, y )- \hat{\varUpsilon } ( t, y' )\vert \leq L_{\hat{\varUpsilon }} \vert y-y'\vert \).

(\(\mathcal{HP}6\)):

(Boundedness property) There are constants \(C_{{\hat{\varUpsilon }}} \) and \(M_{\hat{\varUpsilon }} \) such that for each \(y\in \mathbb{R} \) we have \(\vert \hat{\varUpsilon } ( t, y )\vert \leq C_{{\hat{\varUpsilon }}} \vert y\vert +M_{\hat{\varUpsilon }} \).

(\(\mathcal{HP}7\)):

One has \(\frac{L_{\hat{\varUpsilon }} }{ \varGamma (\kappa ^{*} +1 ) }< 1 \).

In the following lemma, an integral structure of the solution for the mixed Caputo–Hadamard BVP (3) is demonstrated.

Lemma 9

Let\(g \in \mathcal{X}\). Then a function\(\tilde{y_{0}}\)is a solution for two-point Caputo–Hadamard fractional differential equation with mixed Hadamard integral boundary conditions

$$ \textstyle\begin{cases} {}^{\mathcal{CH}}\mathcal{D}_{1^{+}}^{ \kappa ^{*} } y(t ) = g ( t ), \\ {}^{\mathcal{CH}}\mathcal{D}_{1^{+}}^{ \kappa ^{*} } y(1) = \tilde{a_{1}} y(1),\qquad \frac{1}{\varGamma (\theta ^{*})} \int _{1}^{e} ( \ln \frac{ e }{ \varpi } )^{ \theta ^{*} -1} [ {}^{\mathcal{CH}} \mathcal{D}_{1^{+}}^{ \kappa ^{*} } y(\varpi ) ] \frac{ \mathrm{d}\varpi }{ \varpi } = \tilde{a_{2}} y(e) \end{cases} $$

if and only if\(\tilde{y_{0}} \)is a solution of the Hadamard fractional integral equation

$$\begin{aligned} y(t) ={}& \frac{1}{\varGamma (\kappa ^{*} )} \int _{1}^{t} \biggl( \ln \frac{ t }{ \varpi } \biggr)^{ \kappa ^{*} -1} g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi } + \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}- \frac{ (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} g(\varpi ) \frac{\mathrm{d}\varpi }{\varpi }, \end{aligned}$$

where\(\mathcal{Q}^{*}\)is given by (7).

Proof

The proof is similar to that of Lemma 7 and so is omitted. □

We define an operator \(\varPhi : \mathcal{X} \to \mathcal{X}\) by \(\varPhi y(t) = \varPhi _{1} y(t) + \varPhi _{2} y(t)\) which splits into two operators \(\varPhi _{1}: \mathcal{X} \to \mathcal{X} \) and \(\varPhi _{2}: \mathcal{X} \to \mathcal{X}\) as follows:

$$\begin{aligned} \varPhi _{1}y(t) ={}& \frac{1}{\varGamma (\kappa ^{*} )} \int _{1}^{t} \biggl( \ln \frac{ t }{ \varpi } \biggr)^{ \kappa ^{*} -1} \hat{\varUpsilon } \bigl( \varpi , y(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi }, \end{aligned}$$
(10)
$$\begin{aligned} \varPhi _{2}y(t) ={}& \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} \hat{\varUpsilon } \bigl(\varpi , y(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}- \frac{ (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} \hat{\varUpsilon } \bigl(\varpi , y(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi }, \end{aligned}$$
(11)

for each \(y\in \mathcal{X}\) and \(t\in [1,e]\). In this case, the equivalence of the existence of a solution for Caputo–Hadamard BVP (3) and the existence of a fixed point for operator Φ is obvious. Note that in all the following lemmas, we assume that \(\mathcal{X}\) is a Banach space with sup-norm \(\Vert \cdot \Vert _{ \mathcal{X} } \) and two operators \(\varPhi _{1}\) and \(\varPhi _{2}\) are defined as in (10) and (11).

Lemma 10

Under hypothesis\((\mathcal{HP}5) \), the operator\(\varPhi _{1} \)is Lipschitz with constant\(\tilde{K}_{1}^{*} = \frac{L_{\hat{\varUpsilon }}}{\varGamma (\kappa ^{*} +1) } \)and the following growth condition holds:

$$ \bigl\Vert \varPhi _{1} (y) \bigr\Vert _{ \mathcal{X} } \leq \frac{C_{{\hat{\varUpsilon }}}}{\varGamma (\kappa ^{*} +1) } \Vert y \Vert _{ \mathcal{X}} + \frac{M_{{\hat{\varUpsilon }}}}{\varGamma (\kappa ^{*} +1) }, $$

for all\(y\in \mathcal{X}\).

Proof

By utilizing assumption \((\mathcal{HP}5) \), we obtain

$$\begin{aligned} & \bigl\vert \varPhi _{1} y(t)- \varPhi _{1} y'(t) \bigr\vert \\ &\quad = \frac{1}{\varGamma (\kappa ^{*} )} \biggl\vert \int _{1}^{t} \biggl( \ln \frac{ t }{ \varpi } \biggr)^{ \kappa ^{*} -1} \hat{\varUpsilon } \bigl( \varpi , y(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi }- \int _{1}^{t} \biggl( \ln \frac{ t }{ \varpi } \biggr)^{ \kappa ^{*} -1} \hat{\varUpsilon } \bigl( \varpi , y'( \varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \biggr\vert \\ &\quad \leq \frac{L_{\hat{\varUpsilon }}}{\varGamma (\kappa ^{*} +1) } \bigl\Vert y-y' \bigr\Vert . \end{aligned}$$

This implies that \(\varPhi _{1} \) is Lipschitz with constant \(\tilde{K}_{1}^{*} = \frac{L_{\hat{\varUpsilon }}}{\varGamma (\kappa ^{*} +1) } \). Hence by Proposition 2, it is deduced that \(\varPhi _{1} \) is also μ-Lipschitz with the same constant \(\tilde{K}_{1}^{*} = \frac{L_{\hat{\varUpsilon }}}{\varGamma (\kappa ^{*} +1) } \), where μ is the Kuratowski’s measure of noncompactness. Again, by considering \((\mathcal{HP}5) \) for the growth condition, we get

$$ \bigl\Vert \varPhi _{1}(y) \bigr\Vert _{ \mathcal{X} } \leq \frac{C_{{\hat{\varUpsilon }}}}{\varGamma (\kappa ^{*} +1) } \Vert y \Vert _{ \mathcal{X} } + \frac{M_{{\hat{\varUpsilon }}}}{\varGamma (\kappa ^{*} +1) }, $$

and the proof is concluded. □

Lemma 11

Operator\(\varPhi _{2} \)is continuous and also, in view of hypothesis\((\mathcal{HP}6)\), we have the growth condition\(\Vert \varPhi _{2}(y)\Vert _{\mathcal{X}} \leq \Delta _{1}\Vert y \Vert _{\mathcal{X}} +\Delta _{2} \)for every\(y\in \mathcal{X}\), where\(\Delta _{1}= C_{{\hat{\varUpsilon }}} ( \vert \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*}+1 )} \vert + \vert \frac{ (1 + \tilde{a_{1}}) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} )} \vert )\)and

$$ \Delta _{2}=M_{{\hat{\varUpsilon }}} \biggl( \biggl\vert \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} +1)} \biggr\vert + \biggl\vert \frac{ (1 + \tilde{a_{1}}) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} )} \biggr\vert \biggr) . $$

Proof

By assumption, we know that ϒ̂ is continuous on \([1,e]\times \mathcal{X} \), and so we conclude that \(\lim_{n\to \infty }\hat{\varUpsilon }(t,y_{n})=\hat{\varUpsilon }(t,y) \). By invoking the Lebesgue’s dominated convergence theorem, we obtain

$$\begin{aligned} \lim_{n\to \infty }(\varPhi _{2} y_{n}) (t) ={}& \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} \lim_{n\to \infty }\hat{\varUpsilon } \bigl( \varpi ,y_{n}(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}- \frac{ (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} \lim_{n\to \infty }\hat{\varUpsilon } \bigl( \varpi ,y_{n}(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ ={}& \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}- \frac{ (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } =(\varPhi _{2} y) (t) \end{aligned}$$

for any \(t\in [1,e] \). Hence, we see that \(\varPhi _{2} y_{n}\to \varPhi _{2} y \) as \(n \to \infty \), and so \(\varPhi _{2} \) is continuous on \(\overline{\mathcal{V}_{\rho }(0) } \). Now, for the sake of the investigation of the growth condition on \(\varPhi _{2} \), we utilize hypothesis \((\mathcal{HP}6)\) and obtain

$$\begin{aligned} \bigl\vert \varPhi _{2}y(t) \bigr\vert ={}& \biggl\vert \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} \hat{\varUpsilon } \bigl(\varpi , y(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}- \frac{ (1 + \tilde{a_{1}} \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} \hat{\varUpsilon } \bigl(\varpi , y(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \biggr\vert \\ \leq{}& \biggl\vert \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} \bigl( C_{{ \hat{\varUpsilon }}} \bigl\vert y(s) \bigr\vert +M_{\hat{\varUpsilon }} \bigr) \frac{\mathrm{d}\varpi }{\varpi } \biggr\vert \\ &{}+ \biggl\vert \frac{ (1 + \tilde{a_{1}}) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} \bigl( C_{{\hat{\varUpsilon }}} \bigl\vert y(s) \bigr\vert +M_{\hat{\varUpsilon }} \bigr) \frac{\mathrm{d} \varpi }{\varpi } \biggr\vert \\ \leq{}& C_{{\hat{\varUpsilon }}} \biggl( \biggl\vert \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*}+1 )} \biggr\vert + \biggl\vert \frac{ (1 + \tilde{a_{1}}) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} )} \biggr\vert \biggr) \Vert y \Vert _{\mathcal{X}} \\ &{}+ M_{{\hat{\varUpsilon }}} \biggl( \biggl\vert \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} +1)} \biggr\vert + \biggl\vert \frac{ (1 + \tilde{a_{1}}) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} )} \biggr\vert \biggr) \end{aligned}$$

which is the desired conclusion. □

Lemma 12

Operator\(\varPhi _{2}:\mathcal{X} \to \mathcal{X} \)is compact. Moreover, \(\varPhi _{2}\)isμ-Lipschitz with constant\(\tilde{K}_{2}^{*}=0\)whereμis the Kuratowski’s measure of noncompactness.

Proof

Consider a bounded subset \(\mathcal{B}\subset \overline{\mathcal{V}_{\rho }(0) }\) in \(\mathcal{X} \) and take a sequence \(\{y_{n}\} \) belonging to \(\mathcal{B} \). Then, by Lemma 11, we have

$$ \bigl\Vert \varPhi _{2} (y_{n}) \bigr\Vert _{\mathcal{X}} \leq \Delta _{1} \Vert y_{n} \Vert _{\mathcal{X}} +\Delta _{2} < \infty $$

for each \(y_{n}\in \mathcal{B}\) which yields that \(\varPhi _{2}(\mathcal{B}) \) is a bounded set. Besides, we verify that \(\{ \varPhi _{2}(y_{n})\} \) is equicontinuous for each \(y_{n}\in \mathcal{B}\). Take \(t_{1}, t_{2}\in [1,e] \) so that \(t_{1}< t_{2} \). Then, we obtain

$$\begin{aligned} & \bigl\vert \varPhi _{2}(y_{n}) (t_{2})- \varPhi _{2} (y_{n}) (t_{1}) \bigr\vert \\ &\quad \leq \frac{ \vert \tilde{a_{2}}\tilde{a_{1}} \vert ( \vert \ln (t_{2} )-\ln (t_{1}) \vert ) }{ \vert \mathcal{Q}^{*} \vert \varGamma ( \kappa ^{*} )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} \bigl\vert \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \bigr\vert \frac{\mathrm{d}\varpi }{\varpi } \\ &\qquad {}+ \frac{ \vert \tilde{a_{1}} \vert ( \vert \ln (t_{2} )-\ln (t_{1}) \vert ) }{ \mathcal{\vert Q}^{*}\vert \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} \bigl\vert \hat{\varUpsilon } \bigl(\varpi ,y(\varpi ) \bigr) \bigr\vert \frac{\mathrm{d}\varpi }{\varpi } \\ &\quad \leq \frac{ \vert \tilde{a_{2}}\tilde{a_{1}} \vert ( \vert \ln (t_{2} )-\ln (t_{1}) \vert ) }{ \vert \mathcal{Q}^{*} \vert \varGamma ( \kappa ^{*}+1 )} \bigl(C_{{\hat{\varUpsilon }}} \Vert y \Vert _{\mathcal{X}} +M_{ \hat{\varUpsilon }} \bigr) \\ &\qquad {}+ \frac{ \vert \tilde{a_{1}} \vert ( \vert \ln (t_{2} )-\ln (t_{1}) \vert ) }{ \vert \mathcal{Q}^{*} \vert \varGamma ( \kappa ^{*} + \theta ^{*} )} \bigl(C_{{\hat{\varUpsilon }}} \Vert y \Vert _{\mathcal{X}} +M_{ \hat{\varUpsilon }} \bigr) . \end{aligned}$$

Evidently, it is seen that the RHS of the inequality approaches 0 (regardless of the choice of \(y_{n}\in \mathcal{B}\)) whenever \(t_{1}\to t_{2} \). Thus, letting \(t_{1}\to t_{2} \), we get \(\vert \varPhi _{2} (y_{n})(t_{2})- \varPhi _{2} (y_{n})(t_{1}) \vert \to 0 \) and so \(\{ \varPhi _{2}(y_{n})\} \) is equicontinuous. Taking into account the Arzela–Ascoli theorem, we obtain that \(\varPhi _{2}(\mathcal{B}) \) is compact. In addition, in view of Proposition 3, \(\varPhi _{2} \) is μ-Lipschitz with constant zero. □

In this position, we establish the main results for the mixed Caputo–Hadamard nonhybrid BVP (3) based on the above lemmas.

Theorem 13

Under assumptions\((\mathcal{HP}5)\)and\((\mathcal{HP}6)\), the mixed Caputo–Hadamard nonhybrid BVP (3) has at least one solution\(y\in \mathcal{X} \)provided\(\frac{C_{{\hat{\varUpsilon }}}}{\varGamma (\kappa ^{*} +1) }+ \Delta _{1} < 1 \). Further, the family of solutions of (3) is bounded in the space\(\mathcal{X}\).

Proof

In view of the hypothesis \((\mathcal{HP}7)\) and Lemma 10, we deduce that \(\varPhi _{1} : \mathcal{X} \to \mathcal{X} \) defined in (10) is μ-Lipschitz with constant \(\tilde{K}_{1}^{*} = \frac{L_{\hat{\varUpsilon }}}{\varGamma (\kappa ^{*} +1) } \in (0,1) \). Furthermore, we find that operator \(\varPhi _{2} : \mathcal{X} \to \mathcal{X} \) defined in (11) is μ-Lipschitz with \(\tilde{K}_{2}^{*}=0\) according to Lemma 12. Here, Proposition 4 implies that the operator \(\varPhi : \mathcal{X} \to \mathcal{X} \) defined by \(\varPhi = \varPhi _{1} + \varPhi _{2} \) is a strict μ-contraction with constant \(\tilde{K}^{*} = \tilde{K}_{1}^{*} + \tilde{K}_{2}^{*} = \tilde{K}_{1}^{*} \) and, since \(\tilde{K}^{*} <1\), Φ is μ-condensing. Now, take

$$ \mathcal{B} := \bigl\{ y\in \mathcal{X}: \text{there is } \lambda \in [0,1] \text{ so that } y=\lambda \varPhi (y) \bigr\} . $$

In this step, it is enough to show that \(\mathcal{B} \) is a bounded subset of \(\mathcal{X}\). For this, select \(y \in \mathcal{B} \). Then in the light of the growth conditions obtained in Lemmas 10 and 9, we may write

$$\begin{aligned} \Vert y \Vert _{\mathcal{X}} &= \bigl\Vert \lambda \varPhi (y) \bigr\Vert _{\mathcal{X}} =\lambda \bigl\Vert \varPhi (y) \bigr\Vert _{ \mathcal{X}} \leq \lambda \bigl( \bigl\Vert \varPhi _{1}(y) \bigr\Vert _{ \mathcal{X}} + \bigl\Vert \varPhi _{2} (y) \bigr\Vert _{\mathcal{X}} \bigr) \\ &\leq \lambda \biggl( \frac{C_{{\hat{\varUpsilon }}}}{\varGamma (\kappa ^{*} +1) } \Vert y \Vert _{ \mathcal{X}} + \frac{M_{{\hat{\varUpsilon }}}}{\varGamma (\kappa ^{*} +1) } + \Delta _{1} \Vert y \Vert _{\mathcal{X}} +\Delta _{2} \biggr) \\ &\leq \lambda \biggl( \frac{C_{{\hat{\varUpsilon }}}}{\varGamma (\kappa ^{*} +1) }+ \Delta _{1} \biggr) \Vert y \Vert _{\mathcal{X}} +\lambda \biggl( \frac{M_{{\hat{\varUpsilon }}}}{\varGamma (\kappa ^{*} +1) } +\Delta _{2} \biggr), \end{aligned}$$

implying that the set \(\mathcal{B} \) is bounded in \(\mathcal{X}\). Thus there is a number \(\rho >0 \) such that \(\mathcal{B} \subset \overline{\mathcal{V}_{\rho }(0) } \), and so we have \(\deg (I-\lambda \varPhi , \overline{\mathcal{V}_{\rho }(0) },0)=1 \), by applying Theorem 6. Finally, under the hypotheses of Theorem 6 due to Isaia, the operator \(\varPhi = \varPhi _{1} + \varPhi _{2} \) has at least one fixed point and the family of fixed points of Φ is bounded in \(\mathcal{X}\). This means that the mixed Caputo–Hadamard nonhybrid BVP (3) has at least one solution on \([1,e]\) and the family of solutions is bounded. The proof is finished. □

Eventually, we derive a uniqueness criterion for the mixed Caputo–Hadamard nonhybrid BVP (3) in the following theorem.

Theorem 14

In addition to three hypotheses\((\mathcal{HP}5)\), \((\mathcal{HP}6)\), and\((\mathcal{HP}7)\), let us assume that

$$ L_{\hat{\varUpsilon }} \biggl( \frac{1}{\varGamma (\kappa ^{*} +1) }+ \biggl\vert \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*}+1 )} \biggr\vert + \biggl\vert \frac{ (1 + \tilde{a_{1}}) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} )} \biggr\vert \biggr)< 1 . $$

Then the mixed Caputo–Hadamard nonhybrid BVP (3) has a unique solution on\([1,e]\).

Proof

Let \(y\in \mathcal{X} \) be arbitrary. By Lemma 10 and assumption \((\mathcal{HP}5) \), we obtain

$$ \bigl\vert \varPhi _{1}y(t)-\varPhi _{1}y'(t) \bigr\vert \leq \frac{L_{\hat{\varUpsilon }}}{\varGamma (\kappa ^{*} +1) } \bigl\Vert y-y' \bigr\Vert _{ \mathcal{X}} , $$
(12)

where \(\varPhi _{1}: \mathcal{X} \to \mathcal{X}\) is defined in (10). Furthermore, we have the following estimate:

$$\begin{aligned} & \bigl\vert \varPhi _{2} y(t)- \varPhi _{2} y'(t) \bigr\vert \\ &\quad \leq \biggl\vert \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}}) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} )} \biggr\vert \biggl\vert ( \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*} -1} \biggl[\hat{\varUpsilon } \bigl(\varpi , y(\varpi ) \bigr)- \hat{\varUpsilon } \bigl(\varpi , y'(\varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \biggr] \biggr\vert \\ &\qquad {}+ \biggl\vert \frac{ (1 + \tilde{a_{1}}) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} -1 )} \biggr\vert \biggl\vert ( \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ \kappa ^{*}+ \theta ^{*} -2} \biggl[\hat{\varUpsilon } \bigl(\varpi , y( \varpi ) \bigr) \frac{\mathrm{d}\varpi }{\varpi }-\hat{\varUpsilon } \bigl(\varpi , y'( \varpi ) \bigr) \biggr]\biggr\vert \\ &\quad \leq L_{\hat{\varUpsilon }} \biggl( \biggl\vert \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}}) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} +1)} \biggr\vert + \biggl\vert \frac{ (1 + \tilde{a_{1}} ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*})} \biggr\vert \biggr) \bigl\Vert y-y' \bigr\Vert _{\mathcal{X}} , \end{aligned}$$
(13)

where \(\varPhi _{2} : \mathcal{X} \to \mathcal{X}\) is defined in (11). From (12) and (13), we have

$$ \bigl\vert \varPhi (y) \bigr\vert \leq L_{\hat{\varUpsilon }} \biggl( \frac{1}{\varGamma (\kappa ^{*} +1) }+ \biggl\vert \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*}+1 )} \biggr\vert + \biggl\vert \frac{ (1 + \tilde{a_{1}} ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} )} \biggr\vert \biggr) \bigl\Vert y-y' \bigr\Vert _{\mathcal{X}} , $$

which yields that \(\varPhi = \varPhi _{1} + \varPhi _{2} : \mathcal{X} \to \mathcal{X} \) is a contraction. By utilizing the Banach contraction principle, it is deduced that the mixed Caputo–Hadamard nonhybrid BVP (3) has a unique solution. □

4 Examples

In this part of the paper, we examine our theoretical results by presenting some numerical examples to show the applicability of the analytical findings.

Example 1

To illustrater the mixed Caputo-Hadamard hybrid BVP (1)–(2), we formulate the following hybrid equation:

$$\begin{aligned}& {}^{ \mathcal{CH} }\mathcal{D}_{1^{+}}^{1.78 } \biggl[ \frac{ y(t) - \frac{1}{2+t} (y(t)+\cos ( -\frac{1}{9} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi )+\sin ( {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{0.33 }y(t) ) ) +0.2021}{ \frac{t}{2020} (y(t)+\frac{\frac{1}{27}\int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi + {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{2.11 }y(t)}{1+ \frac{1}{27} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi + {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{2.11}y(t)} ) +0.11 } \biggr] \\& \quad = (1+t)^{2}\sin \bigl(y(t) \bigr) \end{aligned}$$
(14)

furnished with mixed Hadamard integral hybrid boundary conditions

$$ \textstyle\begin{cases} {}^{ \mathcal{CH} }\mathcal{D}_{1^{+}} [ \frac{ y(t) - \frac{1}{2+t} (y(t)+\cos ( -\frac{1}{9} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi )+\sin ( {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{0.33 }y(t) ) ) +0.2021}{ \frac{t}{2020} (y(t)+\frac{\frac{1}{27}\int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi + {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{2.11 }y(t)}{1+ \frac{1}{27} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi + {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{2.11}y(t)} ) +0.11 } ] \vert _{ t = 1 } \\ \quad = -0.66 [ \frac{ y(t) - \frac{1}{2+t} (y(t)+\cos ( -\frac{1}{9} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi )+\sin ( {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{0.33 }y(t) ) ) +0.2021}{ \frac{t}{2020} (y(t)+\frac{\frac{1}{27}\int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi + {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{2.11 }y(t)}{1+ \frac{1}{27} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi + {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{2.11}y(t)} ) +0.11 } ] \vert _{ t= 1 }, \\ {}^{\mathcal{H}} \mathcal{I}_{1^{+}}^{1.44} {}^{ \mathcal{CH} } \mathcal{D}_{1^{+}} [ \frac{ y(t) - \frac{1}{2+t} (y(t)+\cos ( -\frac{1}{9} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi )+\sin ( {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{0.33 }y(t) ) ) +0.2021}{ \frac{t}{2020} (y(t)+\frac{\frac{1}{27}\int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi + {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{2.11 }y(t)}{1+ \frac{1}{27} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi + {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{2.11}y(t)} ) +0.11 } ] \vert _{ t = e } \\ \quad =0.89 [ \frac{ y(t) - \frac{1}{2+t} (y(t)+\cos ( -\frac{1}{9} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi )+\sin ( {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{0.33 }y(t) ) ) +0.2021}{ \frac{t}{2020} (y(t)+\frac{\frac{1}{27}\int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi + {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{2.11 }y(t)}{1+ \frac{1}{27} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi + {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{2.11}y(t)} ) +0.11 } ] \vert _{ t = e } \end{cases} $$
(15)

so that \(t\in [1,e]\), \(\kappa ^{*}=1.78 \), \(\gamma ^{*}=0.33\), \(\mu ^{*}=2.11\), \(\theta ^{*}= 1.44\), \(\lambda _{1}^{*}=\frac{-1}{9}\), \(\lambda _{2}^{*}=\frac{1}{27}\), \(\tilde{a_{1}}=-0.66\), and \(\tilde{a_{2}}=0.89 \). Define the function \(\hat{\varUpsilon }:[1,e]\times \mathbb{R}\to \mathbb{R} \) by \(\hat{\varUpsilon }(t,y(t))=(1+t)^{2}\sin (y(t))\). Obviously, \(\hat{\varUpsilon } \in \mathcal{C}_{\mathbb{R}}([1,e]\times \mathbb{R})\). Now, put \(\psi (t)=(1+t)^{2}\) and \(\xi (\Vert y \Vert )=1\). Thus \(\psi ^{*}\approx 13.8256\). Further, define two continuous maps \(\varLambda : [1,e]\times \mathbb{R}^{3} \to \mathbb{R}\) and \(\varPsi : [1,e]\times \mathbb{R}^{3} \to \mathbb{R}\setminus \{ 0\}\) by

$$\begin{aligned}& \varLambda \biggl(t, y(t),-\frac{1}{9} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{0.33 }y(t) \biggr) \\& \quad =\frac{1}{2+t} \biggl(y(t)+\cos \biggl( -\frac{1}{9} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi \biggr)+\sin \bigl( {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{0.33 }y(t) \bigr) \biggr) +0.2021 \end{aligned}$$

and

$$\begin{aligned}& \varPsi \biggl( t, y(t), \lambda _{2}^{*} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{\mu ^{*} }y(t) \biggr) \\& \quad = \frac{t}{2020} \biggl(y(t)+ \frac{\frac{1}{27}\int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi + {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{2.11 }y(t)}{1+ \frac{1}{27} \int _{1}^{e} y (\varpi ) \,\mathrm{d}\varpi + {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{2.11}y(t)} \biggr) +0.11 . \end{aligned}$$

Note that \(\varLambda ^{*}\approx 0.2021\) and \(\varPsi ^{*}=0.11 \). We claim that function Λ is Lipschitz. To see this, for every \(y, y'\in \mathbb{R} \), we have

$$\begin{aligned} & \biggl\vert \varLambda \biggl(t, y_{1}(t), - \frac{1}{9} \int _{1}^{e} y_{1} ( \varpi ) \, \mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{0.33 }y_{1}(t) \biggr) \\ &\qquad {}- \varLambda \biggl(t, y_{2}(t),-\frac{1}{9} \int _{1}^{e} y_{2} (\varpi ) \, \mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{0.33 }y_{2}(t) \biggr) \biggr\vert \\ &\quad \leq \frac{1}{2+t} \biggl[1+ \biggl\vert \frac{-1}{9} (e-1) \biggr\vert + \frac{1}{\varGamma (0.33+1)} \biggr]\sup_{t\in [1,e] } \bigl\vert y_{1}(t)-y_{2}(t) \bigr\vert . \end{aligned}$$

Letting \(\sigma (t)= \frac{1}{2+t} \), we have \(\sigma ^{*} [1+ \vert \frac{-1}{9} (e-1)\vert + \frac{1}{\varGamma (0.33+1)} ]\approx 0.8500 \). In a similar manner, function Ψ is also Lipschitz. Indeed, for every \(y, y'\in \mathbb{R} \), we have

$$\begin{aligned} & \biggl\vert \varPsi \biggl( t, y_{1}(t), \frac{1}{27} \int _{1}^{e} y_{1} ( \varpi ) \, \mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{2.11 }y_{1}(t) \biggr) \\ &\qquad {}-\varPsi \biggl( t, y_{2}(t), \frac{1}{27} \int _{1}^{e} y_{2} (\varpi ) \, \mathrm{d}\varpi , {}^{\mathcal{H}}\mathcal{I}_{1^{+}}^{2.11 }y_{2}(t) \biggr) \biggr\vert \\ &\quad \leq \frac{t}{2020} \biggl[1+ \biggl\vert \frac{1}{27} (e-1) \biggr\vert + \frac{1}{\varGamma (2.11+1)} \biggr]\sup_{t\in [1,e] } \bigl\vert y_{1}(t)-y_{2}(t) \bigr\vert \\ &\quad \leq \varrho (t) \biggl[1+ \bigl\vert \lambda _{2}^{*} (e-1) \bigr\vert + \frac{1}{\varGamma (\mu ^{*}+1)} \biggr]\sup_{t\in [1,e] } \bigl\vert y_{1}(t)-y_{2}(t) \bigr\vert \end{aligned}$$

so that \(\varrho ^{*} [1+ \vert \lambda _{2}^{*} (e-1)\vert + \frac{1}{\varGamma (\mu ^{*}+1)} ]=\frac{e}{2020} [1+ \vert \frac{1}{27} (e-1)\vert + \frac{1}{\varGamma (2.11+1)} ]=0.0020\). Eventually, we obtain \(\tilde{M}\approx 0.9980\) and select \(\rho > 0.8975 > 0\). In addition,

$$\begin{aligned}& \varrho ^{*} \biggl[1+ \bigl\vert \lambda _{2}^{*} (e-1) \bigr\vert + \frac{1}{\varGamma (\mu ^{*}+1)} \biggr]\psi ^{*}\xi \bigl( \Vert y \Vert _{\mathcal{X}} \bigr)\tilde{M} +\sigma ^{*} \biggl[1+ \bigl\vert \lambda _{1}^{*} (e-1) \bigr\vert + \frac{1}{\varGamma (\gamma ^{*}+1)} \biggr] \\& \quad \approx 0.6057 < 1 . \end{aligned}$$

Hence, by invoking Theorem 8, it is realized that the mixed Caputo–Hadamard hybrid BVP (14)–(15) has a solution on \([1,e]\).

Example 2

To illustrate the mixed Caputo–Hadamard nonhybrid BVP (3), we formulate the following nonhybrid BVP:

$$ \textstyle\begin{cases} {}^{\mathrm{CH}}\mathcal{D}_{1^{+}}^{ 1.14 } y(t ) = \frac{1}{49+ \exp {(t^{2}-1)}} \frac{ \vert y(t) \vert }{ (1+ \vert y(t) \vert )}, \\ {}^{\mathrm{CH}}\mathcal{D}_{1^{+}} y(1) = -1.66 y(1) ,\qquad \frac{1}{\varGamma (0.74)} \int _{1}^{e} ( \ln \frac{ e }{ \varpi } )^{-0.26} [ {}^{\mathcal{CH}}\mathcal{D}_{1^{+}} y(\varpi ) ] \frac{ \mathrm{d}\varpi }{ \varpi } = 0.56 y(e) , \end{cases} $$
(16)

so that \(t\in [1,e]\), \(\kappa ^{*}=1.14 \), \(\theta ^{*}= 0.74\), \(\tilde{a_{1}}=-1.66\), and \(\tilde{a_{2}}=0.56 \). Then, an integral structure of the solution for the mixed Caputo–Hadamard nonhybrid BVP (16) is represented by

$$\begin{aligned} y(t) ={}& \frac{1}{\varGamma (1.14 )} \int _{1}^{t} \biggl( \ln \frac{ t }{ \varpi } \biggr)^{0.14} \hat{\varUpsilon } \bigl(t,y(t) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}+ \frac{ 0.56 (1 -1.66 \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( 1.14)} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ 0.14} \hat{\varUpsilon } \bigl(t,y(t) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ &{}- \frac{ (1 -1.66 \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( 0.88 )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ -0.12} \hat{\varUpsilon } \bigl(t,y(t) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \end{aligned}$$
(17)

for any \(t\in [1,e]\), where the continuous function \(\hat{\varUpsilon }:[1,e]\times \mathbb{R}\to \mathbb{R} \) is defined by

$$ \hat{\varUpsilon } \bigl(t,y(t) \bigr) = \frac{1}{49+\exp {(t^{2}-1)}} \biggl( \frac{ \vert y(t) \vert }{1+ \vert y(t) \vert } \biggr) . $$

Then, one can write

$$ \bigl\vert \hat{\varUpsilon } \bigl(t, y(t) \bigr)- \hat{\varUpsilon } \bigl(t, y'(t) \bigr) \bigr\vert \leq \frac{1}{50} \bigl\Vert y(t)-y'(t) \bigr\Vert _{\mathbb{R}} $$

and

$$ \bigl\vert \hat{\varUpsilon } \bigl(t, y(t) \bigr) \bigr\vert \leq \frac{1}{50} \bigl\vert y(t) \bigr\vert $$

with \(L_{\hat{\varUpsilon }}= \frac{1}{50} \), \(C_{\hat{\varUpsilon }}= \frac{1}{50} \), and \(M_{\hat{\varUpsilon }}=0 \). Now, define three operators \(\varPhi _{1}, \varPhi _{2}, \varPhi : \mathbb{R} \to \mathbb{R}\) as follows:

$$\begin{aligned} &(\varPhi _{1}y) (t)= \frac{1}{\varGamma (1.14 )} \int _{1}^{t} \biggl( \ln \frac{ t }{ \varpi } \biggr)^{0.14} \hat{\varUpsilon } \bigl(t,y(t) \bigr) \frac{\mathrm{d}\varpi }{\varpi }, \\ &(\varPhi _{2}y) (t)= \frac{ 0.56 (1 -1.66 \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( 1.14)} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ 0.14} \hat{\varUpsilon } \bigl(t,y(t) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \\ &\hphantom{(\varPhi _{2}y) (t)=}- \frac{ (1 -1.66 \ln (t ) ) }{ \mathcal{Q}^{*} \varGamma ( 0.88 )} \int _{1}^{e} \biggl( \ln \frac{e}{\varpi } \biggr)^{ -0.12} \hat{\varUpsilon } \bigl(t,y(t) \bigr) \frac{\mathrm{d}\varpi }{\varpi } \end{aligned}$$

and \((\varPhi y)(t) = (\varPhi _{1} y)(t) + (\varPhi _{2} y)(t)\). Since \(\varPhi _{1} \) and \(\varPhi _{2} \) are continuous and bounded, \(\varPhi = \varPhi _{1} + \varPhi _{2} \) is continuous and bounded, too. Further, we have

$$\begin{aligned} \bigl\vert \varPhi _{1}y(t)-\varPhi _{1}y'(t) \bigr\vert &\leq \frac{1}{50\times \varGamma (2.14) } \bigl\Vert y-y' \bigr\Vert _{ \mathbb{R} } \end{aligned}$$

which implies that \(\varPhi _{1} \) is μ-Lipschitz with constant \(\tilde{K}_{1}^{*}=\frac{1}{50\times \varGamma (2.14) } \) by Proposition 2. Also, by using hypothesis \((\mathcal{HP}6)\) for the growth condition, we get \(\Vert \varPhi _{1}(y)\Vert _{\mathbb{R}} \leq \frac{1}{50\times \varGamma (2.14) }\Vert y\Vert _{\mathbb{R}} \). Therefore, since \(\varPhi _{1} \) is μ-Lipschitz with constant \(\tilde{K}_{1}^{*} =\frac{1}{50\times \varGamma (2.14) } \) and \(\varPhi _{2} \) is compact with constant \(\tilde{K}_{2}^{*}=0\), by Proposition 4, \(\varPhi = \varPhi _{1} + \varPhi _{2} \) is a strict μ-contraction with constant \(\tilde{K}^{*} = \tilde{K}_{1}^{*} + \tilde{K}_{2}^{*} = \frac{1}{50\times \varGamma (2.14) } \simeq 0.0187 <1 \). Thus Φ is a μ-condensing operator. Also, take

$$ \mathcal{B}= \biggl\{ y\in C_{ \mathbb{R} } \bigl([1,e] \bigr): \text{there is } \lambda \in [0,1] \text{ such that } y=\frac{1}{2} ( \varPhi y) \biggr\} . $$

Then \(\Vert y\Vert _{\mathbb{R}} \leq \frac{1}{2} \Vert \varPhi y\Vert _{ \mathbb{R}} \leq 1 \) implies that \(\mathcal{B} \) is a bounded set and so, by Theorem 13, it is deduced that the mixed Caputo–Hadamard nonhybrid BVP (16) has at least one solution y in \(C_{ \mathbb{R} }([1,e]) \). In addition,

$$ L_{\hat{\varUpsilon }} \biggl( \frac{1}{\varGamma (\kappa ^{*} +1) }+ \biggl\vert \frac{ \tilde{a_{2}} (1 + \tilde{a_{1}} ) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*}+1 )} \biggr\vert + \biggl\vert \frac{ (1 + \tilde{a_{1}}) }{ \mathcal{Q}^{*} \varGamma ( \kappa ^{*} + \theta ^{*} )} \biggr\vert \biggr)\approx 0.0331 < 1. $$

Therefore, Theorem 14 implies that the mixed Caputo–Hadamard nonhybrid BVP (16) has a unique solution.

5 Conclusion

The fractional calculus has always been one of the most widely used branches of mathematics in other applied and computational sciences. This degree of importance is due to the high flexibility of the tools and operators defined in this theory. On this basis, researchers have been using various powerful fractional operators in recent decades to model different types of existing natural processes in the world. In the current research article, two hybrid and nonhybrid fractional BVPs of Caputo–Hadamard type are addressed. We seek the existence criteria for these two problems separately. We first utilize the generalized Dhage’s theorem to derive desired results for an integral structure of solutions for the proposed hybrid BVP (1)–(2). Next, we establish other results for nonhybrid BVP (3) based on some existing notions in the topological degree theory. At the end of the paper, we examine our theoretical results by presenting some numerical examples to show the applicability of the analytical findings.

References

  1. Alizadeh, S., Baleanu, D., Rezapour, S.: Analyzing transient response of the parallel RCL circuit by using the Caputo–Fabrizio fractional derivative. Adv. Differ. Equ. 2020, 55 (2020). https://doi.org/10.1186/s13662-020-2527-0

    Article  MathSciNet  Google Scholar 

  2. Baleanu, D., Jajarmi, A., Mohammadi, H., Rezapour, S.: Analysis of the human liver model with Caputo–Fabrizio fractional derivative. Chaos Solitons Fractals 134, 7 (2020)

    Article  Google Scholar 

  3. Baleanu, D., Mohammadi, H., Rezapour, S.: Analysis of the model of HIV-1 infection of CD4+ T-cell with a new approach of fractional derivative. Adv. Differ. Equ. 2020, 71 (2020) https://doi.org/10.1186/s13662-020-02544-w

    Article  MathSciNet  Google Scholar 

  4. Baleanu, D., Mohammadi, H., Rezapour, S.: A mathematical theoretical study of a particular system of Caputo–Fabrizio fractional differential equations for the rubella disease model. Adv. Differ. Equ. 2020, 184 (2020). https://doi.org/10.1186/s13662-020-02614-z

    Article  MathSciNet  Google Scholar 

  5. Wang, G., Ren, X.: Radial symmetry of standing waves for nonlinear fractional Laplacian Hardy–Schrödinger systems. Appl. Math. Lett. 110, 106560 (2020). https://doi.org/10.1016/j.aml.2020.106560

    Article  MathSciNet  Google Scholar 

  6. Wang, G., Qin, J., Zhang, L., Baleanu, D.: Explicit iteration to a nonlinear fractional Langevin equation with non-separated integro-differential strip-multi-point boundary conditions. Chaos Solitons Fractals 131, 109476 (2020). https://doi.org/10.1016/j.chaos.2019.109476

    Article  MathSciNet  Google Scholar 

  7. Wang, G., Hou, W.: Standing waves of nonlinear fractional p-Laplacian Schrödinger equation involving logarithmic nonlinearity. Appl. Math. Lett. 102, 106149 (2020). https://doi.org/10.1016/j.aml.2019.106149

    Article  MathSciNet  MATH  Google Scholar 

  8. Wang, G., Ren, X., Bai, Z., Hou, W.: Radial symmetry of standing waves for nonlinear fractional Hardy–Schrodinger equation. Appl. Math. Lett. 96, 131–137 (2019). https://doi.org/10.1016/j.aml.2019.04.024

    Article  MathSciNet  MATH  Google Scholar 

  9. Wang, G., Pei, K., Agarwal, R.P., Zhang, L., Ahmad, B.: Nonlocal Hadamard fractional boundary value problem with Hadamard integral and discrete boundary conditions on a half-line. J. Comput. Appl. Math. 343, 230–239 (2018). https://doi.org/10.1016/j.cam.2018.04.062

    Article  MathSciNet  MATH  Google Scholar 

  10. Pei, K., Wang, G., Sun, Y.: Successive iterations and positive extremal solutions for a Hadamard type fractional integro-differential equations on infinite domain. Appl. Math. Comput. 312, 158–168 (2017). https://doi.org/10.1016/j.amc.2017.05.056

    Article  MathSciNet  MATH  Google Scholar 

  11. Baleanu, D., Mohammadi, H., Rezapour, S.: A fractional differential equation model for the COVID-19 transmission by using the Caputo–Fabrizio derivative. Adv. Differ. Equ. 2020, 299 (2020). https://doi.org/10.1186/s13662-020-02762-2

    Article  MathSciNet  Google Scholar 

  12. Charandabi, Z.Z., Rezapour, S., Ettefagh, M.: On a fractional hybrid version of the Sturm–Liouville equation. Adv. Differ. Equ. 2020, 301 (2020). https://doi.org/10.1186/s13662-020-02765-z

    Article  MathSciNet  Google Scholar 

  13. Etemad, S., Rezapour, S., Samei, M.E.: αψ-contractions and solutions of a q-fractional differential inclusion with three-point boundary value conditions via computational results. Adv. Differ. Equ. 2020, 218 (2020). https://doi.org/10.1186/s13662-020-02679-w

    Article  MathSciNet  Google Scholar 

  14. Etemad, S., Rezapour, S., Sakar, F.M.: On a fractional Caputo–Hadamard problem with boundary value conditions via different orders of the Hadamard fractional operators. Adv. Differ. Equ. 2020, 272 (2020). https://doi.org/10.1186/s13662-020-02741-7

    Article  MathSciNet  Google Scholar 

  15. Etemad, S., Rezapour, S.: On the existence of solutions for fractional boundary value problems on the Ethane graph. Adv. Differ. Equ. 2020, 276 (2020). https://doi.org/10.1186/s13662-020-02736-4

    Article  MathSciNet  Google Scholar 

  16. Baleanu, D., Etemad, S., Rezapour, S.: A hybrid Caputo fractional modeling for thermostat with hybrid boundary value conditions. Bound. Value Probl. 2020, 64 (2020). https://doi.org/10.1186/s13661-020-01361-0

    Article  MathSciNet  Google Scholar 

  17. Baleanu, D., Ghafarnezhad, K., Rezapour, S., Shabibi, M.: On the existence of solutions of a three steps crisis integro-differential equation. Adv. Differ. Equ. 2018, 135 (2018)

    Article  MathSciNet  Google Scholar 

  18. Baleanu, D., Ghafarnezhad, K., Rezapour, S.: On a three steps crisis integro-differential equation. Adv. Differ. Equ. 2019, 153 (2019)

    Article  MathSciNet  Google Scholar 

  19. Akbari Kojabad, E., Rezapour, S.: Approximate solutions of a sum-type fractional integro-differential equation by using Chebyshev and Legendre polynomials. Adv. Differ. Equ. 2017, 351 (2017)

    Article  MathSciNet  Google Scholar 

  20. Aydogan, S.M., Baleanu, D., Mousalou, A., Rezapour, S.: On high order fractional integro-differential equations including the Caputo–Fabrizio derivative. Bound. Value Probl. 2018, 90 (2018)

    Article  MathSciNet  Google Scholar 

  21. Aydogan, S.M., Baleanu, D., Mousalou, A., Rezapour, S.: On approximate solutions for two higher-order Caputo–Fabrizio fractional integro-differential equations. Adv. Differ. Equ. 2017, 251 (2017)

    Article  MathSciNet  Google Scholar 

  22. Baleanu, D., Rezapour, S., Mohammadi, H.: Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. A 371, 20120144 (2013). https://doi.org/10.1098/rsta.2012.0144

    Article  MathSciNet  MATH  Google Scholar 

  23. Baleanu, D., Mousalou, A., Rezapour, S.: A new method for investigating approximate solutions of some fractional integro-differential equations involving the Caputo–Fabrizio derivative. Adv. Differ. Equ. 2017(1), 51 (2017). https://doi.org/10.1186/s13662-017-1088-3

    Article  MathSciNet  MATH  Google Scholar 

  24. Baleanu, D., Mousalou, A., Rezapour, S.: The extended fractional Caputo–Fabrizio derivative of order \(0 \leq\sigma<1\) on \(C_{\mathbb{R}}[0,1]\) and the existence of solutions for two higher-order series-type differential equations. Adv. Differ. Equ. 2018(1), 255 (2018). https://doi.org/10.1186/s13662-018-1696-6

    Article  MATH  Google Scholar 

  25. Baleanu, D., Mousalou, A., Rezapour, S.: On the existence of solutions for some infinite coefficient-symmetric Caputo–Fabrizio fractional integro-differential equations. Bound. Value Probl. 2017(1), 145 (2017). https://doi.org/10.1186/s13661-017-0867-9

    Article  MathSciNet  MATH  Google Scholar 

  26. Etemad, S., Pourrazi, S., Rezapour, S.: On a hybrid inclusion problem via hybrid boundary value conditions. Adv. Differ. Equ. 2020, 302 (2020). https://doi.org/10.1186/s13662-020-02764-0

    Article  MathSciNet  Google Scholar 

  27. Baleanu, D., Rezapour, S., Saberpour, Z.: On fractional integro-differential inclusions via the extended fractional Caputo–Fabrizio derivation. Bound. Value Probl. 2019, 79 (2019). https://doi.org/10.1186/s13661-019-1194-0

    Article  MathSciNet  Google Scholar 

  28. Talaee, M., Shabibi, M., Gilani, A., Rezapour, S.: On the existence of solutions for a pointwise defined multi-singular integro-differential equation with integral boundary condition. Adv. Differ. Equ. 2020, 41 (2020). https://doi.org/10.1186/s13662-020-2517-2

    Article  MathSciNet  Google Scholar 

  29. Ardjouni, A., Djoudi, A.: Positive solutions for nonlinear Caputo–Hadamard fractional differential equations with integral boundary conditions. Open J. Math. Anal. 3, 62–69 (2019)

    Article  Google Scholar 

  30. Derbazi, C., Hammouche, H.: Caputo–Hadamard fractional differential equations with nonlocal fractional integro-differential boundary conditions via topological degree theory. AIMS Math. 5(3), 2694–2709 (2020)

    Article  Google Scholar 

  31. Samei, M.E., Hedayati, V., Rezapour, S.: Existence results for a fractional hybrid differential inclusion with Caputo–Hadamard type fractional derivative. Adv. Differ. Equ. 2019, 163 (2019)

    Article  MathSciNet  Google Scholar 

  32. Tariboon, J., Cuntavepanit, A., Ntouyas, S.K., Nithiarayaphaks, W.: Separated boundary value problems of sequential Caputo and Hadamard fractional differential equations. J. Funct. Spaces Appl. 2018, 8 (2018). https://doi.org/10.1155/2018/6974046

    Article  MATH  Google Scholar 

  33. Amara, A.: Existence results for hybrid fractional differential equations with three-point boundary conditions. AIMS Math. 5(2), 1074–1088 (2020)

    Article  Google Scholar 

  34. Baleanu, D., Etemad, S., Pourrazi, S., Rezapour, S.: On the new fractional hybrid boundary value problems with three-point integral hybrid conditions. Adv. Differ. Equ. 2019, 473 (2019)

    Article  MathSciNet  Google Scholar 

  35. Baleanu, D., Hedayati, V., Rezapour, S., Al Qurashi, M.M.: On two fractional differential inclusions. SpringerPlus 5(1), 882 (2016). https://doi.org/10.1186/s40064-016-2564-z

    Article  Google Scholar 

  36. Derbazi, C., Hammouche, H., Benchohra, M., Zhou, Y.: Fractional hybrid differential equations with three-point boundary hybrid conditions. Adv. Differ. Equ. 2019, 125 (2019)

    Article  MathSciNet  Google Scholar 

  37. Etemad, S., Rezapour, S., Samei, M.E.: On fractional hybrid and non-hybrid multi-term integro-differential inclusions with three-point integral hybrid boundary conditions. Adv. Differ. Equ. 2020, 161 (2020)

    Article  MathSciNet  Google Scholar 

  38. Hilal, K., Kajouni, A.: Boundary value problems for hybrid differential equations with fractional order. Adv. Differ. Equ. 2015, 183 (2015)

    Article  MathSciNet  Google Scholar 

  39. Sun, S., Zhao, Y., Han, Z., Li, Y.: The existence of solutions for boundary value problem of fractional hybrid differential equations. Commun. Nonlinear Sci. Numer. Simul. 17, 4961–4967 (2012)

    Article  MathSciNet  Google Scholar 

  40. Dhage, B.C., Lakshmikantham, V.: Basic results on hybrid differential equation. Nonlinear Anal. Hybrid Syst. 4, 414–424 (2010)

    Article  MathSciNet  Google Scholar 

  41. Zhao, Y., Sun, S., Han, Z., Li, Q.: Theory of fractional hybrid differential equations. Comput. Math. Appl. 62, 1312–1324 (2011)

    Article  MathSciNet  Google Scholar 

  42. Ullah, Z., Ali, A., Khan, R.A., Iqbal, M.: Existence results to a class of hybrid fractional differential equations. Matrix Sci. Math. 2(1), 13–17 (2018)

    Article  Google Scholar 

  43. Ahmad, B., Nieto, J.J.: Existence of solutions for anti-periodic boundary value problems involving fractional differential equations via Leray–Schauder degree theory. Topol. Methods Nonlinear Anal. 35, 295–304 (2010)

    MathSciNet  MATH  Google Scholar 

  44. Nanware, A., Dhaigude, D.B.: Existence and uniqueness of solutions of differential equations of fractional order with integral boundary conditions. J. Nonlinear Sci. Appl. 7, 246–254 (2014)

    Article  MathSciNet  Google Scholar 

  45. Shah, K., Ali, A., Khan, R.A.: Degree theory and existence of positive solutions to coupled systems of multi-point boundary value problems. Bound. Value Probl. 2016, 43 (2016)

    Article  MathSciNet  Google Scholar 

  46. Shah, K., Hussain, W.: Investigating a class of nonlinear fractional differential equations and its Hyers–Ulam stability by means of topological degree theory. Numer. Funct. Anal. Optim. 49, 1355–1372 (2019)

    Article  MathSciNet  Google Scholar 

  47. Wang, J., Zhou, Y., Wei, W.: Study in fractional differential equations by means of topological degree methods. Numer. Funct. Anal. Optim. 33(2), 216–238 (2012)

    Article  MathSciNet  Google Scholar 

  48. Zada, M.B., Shah, K., Khan, R.A.: Existence theory to a coupled system of higher order fractional hybrid differential equations by topological degree theory. Int. J. Appl. Comput. Math. 4, 102 (2018). https://doi.org/10.1007/s40819-018-0534-6

    Article  MathSciNet  MATH  Google Scholar 

  49. Aljoudi, S., Ahmad, B., Nieto, J.J., Alsaedi, A.: A coupled system of Hadamard type sequential fractional differential equations with coupled strip conditions. Chaos Solitons Fractals 91, 39–46 (2016). https://doi.org/10.1016/j.chaos.2016.05.005

    Article  MathSciNet  MATH  Google Scholar 

  50. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  51. Agarwal, R.P., O’Regan, D.: Topological Degree Theory and Its Applications. Taylor & Francis, New York (2006)

    Google Scholar 

  52. Deimling, K.: Multi-Valued Differential Equations. de Gruyter, Berlin (1992)

    Book  Google Scholar 

  53. Isaia, F.: On a nonlinear integral equation without compactness. Acta Math. Univ. Comen. 75, 233–240 (2006)

    MathSciNet  MATH  Google Scholar 

  54. Dhage, B.C.: A fixed point theorem in Banach algebras with applications to functional integral equations. Kyungpook Math. J. 44, 145–155 (2004)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The first author was supported by University of Kasdi Merbah. The second and third authors were supported by Azarbaijan Shahid Madani University. The authors express their gratitude to dear unknown referees for their helpful suggestions which improved the final version of this paper.

Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.

Funding

Not applicable.

Author information

Authors and Affiliations

Authors

Contributions

The authors declare that the study was realized in collaboration with equal responsibility. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Shahram Rezapour.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Consent for publication

Not applicable.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Amara, A., Etemad, S. & Rezapour, S. Topological degree theory and Caputo–Hadamard fractional boundary value problems. Adv Differ Equ 2020, 369 (2020). https://doi.org/10.1186/s13662-020-02833-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-020-02833-4

MSC

Keywords