# A hybrid Caputo fractional modeling for thermostat with hybrid boundary value conditions

## Abstract

We provide an extension for the second-order differential equation of a thermostat model to the fractional hybrid equation and inclusion versions. We consider boundary value conditions of this problem in the form of the hybrid conditions. To prove the existence of solutions for our hybrid fractional thermostat equation and inclusion versions, we apply the well-known Dhage fixed point theorems for single-valued and set-valued maps. Finally, we give two examples to illustrate our main results.

## Introduction

Maybe it would have been a funny thing to talk about the possibility of mathematics helping the environment a few years ago. In fact, mathematics can play a role if modeling comes to the point where we can do some of the chemical testing on computers. Thus, it is very important we increase our abilities in modern modeling by working on complicated fractional integro-differential equations and inclusions. As is well known, there have been studied different types of hybrid equations by many researchers (see, for example,  and ). One of the significant strategies is reviewing of hybrid models of different phenomena.

In 2010, Dhage and Lakshmikantham introduced hybrid differential equations . In 2011, Zhao et al. extended Dhage’s work to fractional order and investigated the hybrid fractional differential equations . In 2012, Sun et al. studied the fractional hybrid two-point boundary value problem

$$\textstyle\begin{cases} \mathcal{D}_{0}^{p} [ \frac{z(t )}{h(t,z(t))} ] + g(t,z(t ))=0 \quad (t \in [0,1], p\in (1,2]), \\ z(0) =z(1) = 0. \end{cases}$$

By applying a Dhage’s fixed point theorem in Banach algebra under the mixed Carathéodory and Lipschitz conditions, they obtained some existence results. In 2015, Hilal and Kajouni discussed the existence of extremal solutions for the Caputo hybrid boundary value problem

$$\textstyle\begin{cases} ^{c}\mathcal{D}_{0}^{p} [ \frac{z(t )}{h(t,z(t))} ] = g(t,z(t ))=0 \quad(t \in J= [0,T]), \\ a \frac{z(0)}{h(0, z(0))} + b \frac{z(T)}{h(T, z(T))} = c, \end{cases}$$

where $$p \in (0,1)$$, a, b and c are some real constants with $$a+b \neq 0$$ and the functions $$h:J \times \mathbb{R} \to \mathbb{R} \setminus \{ 0 \}$$ and $$g: J \times \mathbb{R} \to \mathbb{R}$$ are continuous . Some months later, Baleanu et al. reviewed some existence results for the Caputo fractional hybrid inclusion problem

$$^{c}\mathcal{D}_{0}^{p} \biggl( \frac{z(t )}{h(t,z(t ),\mathcal{I}_{0}^{\alpha _{1}}z(t ), \ldots, \mathcal{I}_{0}^{\alpha _{n}} z(t ))} \biggr) \in \mathcal{H} \bigl( t,z(t ),\mathcal{I}_{0}^{\beta _{1}}z(t ), \ldots, \mathcal{I}_{0}^{\beta _{k}}z(t ) \bigr),$$

for all $$t \in [0,1]$$, with boundary value conditions $$z(0)=z_{0}^{*}$$ and $$z(1)=z_{1}^{*}$$, where $$p \in (1,2]$$, $${}^{c}\mathcal{D}_{0}^{p}$$ and $$\mathcal{I}_{0}^{\gamma }$$ denote the Caputo derivative operator of the fractional order p and the Riemann–Liouville integral operator of the fractional order $$\gamma \in \{ \alpha _{i}, \beta _{j} \} \subset (0, \infty )$$ for $$i=1,\ldots n$$ and $$j=1,\ldots,k$$, respectively. They used the Dhage fixed point theorem for multi-valued mappings for the existence result .

In 2006, Infante and Webb formulated a model of thermostat insulated at $$t=0$$ with the controller at $$t=1$$:

$$\textstyle\begin{cases} z''(t) + \varPhi (t, z(t)) =0\quad (t \in [0,1]), \\ z'(0)=0, \qquad \lambda z'(1)+z(\eta ) = 0, \end{cases}$$
()

where $$\eta \in [0,1]$$ is a real constant and $$\lambda > 0$$ is a parameter . According to this second-order model, the thermostat adds or discharges heat depending on the temperature detected by the sensor at $$t= \eta$$ ). They obtained existence results for the boundary value problem by applying the fixed point index theory on Hammerstein integral equations . Some years later, Nieto and Pimentel studied the fractional-order version of the problem

$$\textstyle\begin{cases} ^{c} \mathcal{D}^{p} z(t) + \varPhi (t, z(t)) =0 \quad (t \in [0,1]), \\ z'(0)=0,\qquad \lambda {}^{c}\mathcal{D}^{p-1}z(1)+z(\eta ) = 0, \end{cases}$$
()

where $${}^{c}\mathcal{D}^{p}$$ denotes the fractional derivative of Caputo type of order $$p\in (1,2]$$ and $$\lambda > 0$$ and $$\eta \in [0,1]$$ are given real constants .

It is well known that a thermostat is a component which senses the temperature of a physical system and performs actions so that the system’s temperature is maintained near a desired set-point. Many researchers have reviewed different models for thermostat systems. They have been provided some models for thermostat systems (see, for example, ).

By using the main idea of [3, 5, 7] and  and mixing those with the thermostat models, we are going to investigate the fractional hybrid problem for the thermostat model

$${}^{c}\mathcal{D}_{0}^{p} \biggl( \frac{z(t)}{ h(t,z(t))} \biggr) + \varPhi \bigl(t,z(t)\bigr) = 0\quad \bigl(t \in [0,1] \bigr),$$
(1)

with the hybrid boundary value conditions

$$\textstyle\begin{cases} \mathcal{D} ( \frac{z(t)}{ h(t,z(t))} ) \vert _{t=0} =0, \\ \lambda {}^{c}\mathcal{D}_{0}^{p-1} ( \frac{z(t)}{ h(t,z(t))} ) \vert _{t=1} + ( \frac{z(t)}{ h(t,z(t))} ) \vert _{t=\eta } = 0, \end{cases}$$
(2)

where $$p \in (1,2]$$, $$p-1 \in (0,1]$$, $$\eta \in [0,1]$$, $$\mathcal{D} = \frac{\mathrm{d}}{\mathrm{d}t}$$, λ is a positive real parameter, $${}^{c}\mathcal{D}_{0}^{\gamma }$$ is the Caputo derivation of fractional order $$\gamma \in \{ p, p-1 \}$$, the function $$\varPhi: [0,1]\times \mathbb{R} \to \mathbb{R}$$ is continuous and $$h \in C( [0,1]\times \mathbb{R}, \mathbb{R}\setminus \{ 0\} )$$.

Also, we investigate the hybrid fractional differential inclusion model of the thermostat as

$$- {}^{c}\mathcal{D}_{0}^{p} \biggl( \frac{z(t)}{ h(t,z(t))} \biggr) \in \mathcal{G}\bigl(t,z(t)\bigr),\quad t \in [0,1],$$
(3)

with the three-point hybrid boundary value conditions

$$\textstyle\begin{cases} \mathcal{D} ( \frac{z(t)}{ h(t,z(t))} ) \vert _{t=0} =0, \\ \lambda {}^{c}\mathcal{D}_{0}^{p-1} ( \frac{z(t)}{ h(t,z(t))} ) \vert _{t=1} + ( \frac{z(t)}{ h(t,z(t))} ) \vert _{t=\eta } = 0, \end{cases}$$
(4)

where $$\mathcal{G}: [0,1]\times \mathbb{R} \to \mathcal{P}(\mathbb{R})$$ is a multi-valued map.

Let $$p>0$$ be a real number with $$n-1< p <n$$ and the function $$z: [a,b] \to \mathbb{R}$$ integrable (or $$z\in C([a,b], \mathbb{R})$$). The Riemann–Liouville fractional integral of the function z is defined by

$$\mathcal{J}_{0}^{p} z(t)= \frac{1}{\varGamma ( p )} \int _{0}^{t} (t -\tau )^{p-1 }z(\tau ) \, \mathrm{d} \tau \quad(t >0),$$

whenever the integral exists [12, 13]. The Caputo fractional derivative of a function $$z\in C^{(n)}([a,b], \mathbb{R})$$ is defined by

$$^{c}\mathcal{D}_{0}^{ p } z(t )= \frac{1}{\varGamma (n- p )} \int _{0}^{t} (t - \tau )^{n- p -1}z^{(n)}( \tau ) \,\mathrm{d} \tau,$$

where $$n-1 < p < n$$ with $$n = [p] +1$$ [12, 13]. It is well known that a general solution for the fractional differential equation $${}^{c}\mathcal{D}_{0}^{ p }z(t )=0$$ is given by $$z( t )=b_{0}+b_{1}t +b_{2}t^{2}+\cdots +b_{n-1}t^{n-1}$$, where $$b_{0},\ldots,b_{n-1}$$ are some real numbers and $$n=[ p ]+1$$ . Also, for every positive real number T and every continuous function z on the interval $$[0,T]$$, the relation

$$\bigl(\mathcal{I}_{0}^{ p } {}^{c} \mathcal{D}_{0}^{ p }\bigr)z(t )= z(t ) + \sum _{j=0}^{n-1} b_{j}t^{j} = z(t )+b_{0}+b_{1}t +b_{2}t^{2}+\cdots +b_{n-1}t^{n-1}$$

holds, where $$b_{0},\ldots,b_{n-1}$$ are some real constants and $$n=[ p ]+1$$ .

Assume that $$(\mathcal{M},\|\cdot \|_{\mathcal{M} })$$ is a normed space. We denote by $${\mathcal{P}}( \mathcal{M} )$$, $${\mathcal{P}}_{cl}( \mathcal{M} )$$, $${\mathcal{P}}_{b}( \mathcal{M} )$$, $${\mathcal{P}}_{cp}( \mathcal{M} )$$ and $${\mathcal{P}}_{cv}( \mathcal{M} )$$ the set of all subsets of $$\mathcal{M,}$$ the set of all closed subsets of $$\mathcal{M,}$$ the set of all bounded subsets of $$\mathcal{M,}$$ the set of all compact subsets of $$\mathcal{M,}$$ and the set of all convex subsets of $$\mathcal{M}$$, respectively. A set-valued map $$\mathcal{G}$$ has convex values if the set $$\mathcal{G}(z)$$ is convex for each element $$z \in \mathcal{M}$$. Moreover, we say that the set-valued map $$\mathcal{G}$$ is an upper semi-continuous (u.s.c.) whenever for each $$z^{*} \in \mathcal{M}$$, the set $$\mathcal{G}(z^{*})$$ belongs to $$\mathcal{P}_{cl}(\mathcal{M})$$ and for every open set $$\mathcal{V}$$ containing $$\mathcal{G}(z^{*})$$, there exists an open neighborhood $$\mathcal{U}_{0}^{*}$$ of $$z^{*}$$ such that $$\mathcal{G}(\mathcal{U}_{0}^{*}) \subseteq \mathcal{V}$$ . An element $$z^{*}\in \mathcal{M}$$ is called a fixed point for the multi-valued map $$\mathcal{G}: \mathcal{M} \to \mathcal{P}(\mathcal{M})$$ whenever $$z^{*}\in \mathcal{G}(z^{*})$$ . The set of all fixed points of the multifunction $$\mathcal{G}$$ is denoted by $${\mathrm{Fix}} (\mathcal{G})$$ .

Let $$(\mathcal{M}, d_{\mathcal{M}})$$ be a metric space. For each two subsets $$A_{1}, A_{2} \in \mathcal{P}(\mathcal{M})$$, the Pompeiu–Hausdorff metric $$\mathrm{PH}_{d}: {\mathcal{P}}(\mathcal{M}) \times {\mathcal{P}}( \mathcal{M}) \to \mathbb{R} \cup \{\infty \}$$ is defined by

$$\mathrm{PH}_{d_{\mathcal{M}}}(A_{1}, A_{2}) = \max \Bigl\{ \sup_{a_{1} \in A_{1}}d_{\mathcal{M}}(a_{1},A_{2}), \sup_{a_{2} \in A_{2}}d_{\mathcal{M}}(A_{1},a_{2}) \Bigr\} ,$$

where $$d_{\mathcal{M}}(A_{1},a_{2}) = \inf_{a_{1}\in A_{1}}d_{\mathcal{M}}(a_{1},a_{2})$$ and $$d_{\mathcal{M}}(a_{1},A_{2}) = \inf_{a_{2}\in A_{2}}d_{\mathcal{M}}(a_{1},a_{2})$$ . A multi-valued function $$\mathcal{G}: \mathcal{M} \to {\mathcal{P}}_{cl}(\mathcal{M})$$ is said to be Lipschitzian with Lipschitz constant $$k>0$$ whenever $$\mathrm{PH}_{d_{\mathcal{M}}}(\mathcal{G}(z_{1}),\mathcal{G}(z_{2})) \leq k d_{\mathcal{M}}(z_{1},z_{2})$$ holds for each $$z_{1}, z_{2} \in \mathcal{M}$$. A Lipschitz map $$\mathcal{G}$$ is called contraction whenever $$k\in (0,1)$$ . A set-valued operator $$\mathcal{G}: [0,1] \to {\mathcal{P}}_{cl}(\mathbb{R})$$ is called measurable whenever the function $$t \longmapsto d_{\mathcal{M}}(\omega,\mathcal{G}(t )) = \inf \{| \omega - \nu |: \nu \in \mathcal{G}(t )\}$$ is measurable for all real constant ω [15, 16]. The graph of a set-valued function $$\mathcal{G}: \mathcal{M} \to \mathcal{P}_{cl}( \mathcal{Q} )$$ is defined by $$\mathrm{Graph}(\mathcal{G})=\{ (z_{1},z_{2})\in \mathcal{M}\times \mathcal{Q}: w^{*}\in \mathcal{G}(z)\}$$ . We say that graph of $$\mathcal{G}$$ is closed whenever for each sequence $$\{z_{n}\}_{n \geq 1}$$ in $$\mathcal{M}$$ and $$\{w_{n}\}_{n \geq 1}$$ in $$\mathcal{Q}$$, $$z_{n} \to z_{0}$$, $$w_{n} \to w_{0}$$ and $$w_{n} \in \mathcal{G}(z_{n})$$, wh have $$w_{0} \in \mathcal{G}(z_{0})$$ .

A multifunction $$\mathcal{G}$$ is said to be completely continuous operator whenever the set $$\mathcal{G}(\mathcal{W})$$ is relatively compact for all $$\mathcal{W}\in \mathcal{P}_{b}(\mathcal{M})$$. If the multifunction $$\mathcal{G}: \mathcal{M} \to \mathcal{P}_{cl}(\mathcal{Q})$$ is an upper semi-continuous, then $$\mathrm{Graph}(\mathcal{G})$$ is a subset of the product space $$\mathcal{M} \times \mathcal{Q}$$ with closeness property. Conversely, if the set-valued mapping $$\mathcal{G}$$ is completely continuous and has a closed graph, then $$\mathcal{G}$$ is an upper semi-continuous (, Proposition 2.1). A set-valued map $$\mathcal{G}: [0,1]\times \mathbb{R} \rightarrow {\mathcal{P}}( \mathbb{R})$$ is said to be Carathéodory multifunction whenever $$t \mapsto \mathcal{G}(t,z)$$ is measurable mapping for all $$z \in \mathbb{R}$$ and $$z\mapsto \mathcal{G}(t,z)$$ is upper semi-continuous mapping for almost all $$t \in [0,1]$$ [15, 16]. Also, a Carathéodory multifunction $$\mathcal{G}: [0,1]\times \mathbb{R} \rightarrow {\mathcal{P}}( \mathbb{R})$$ is said to be $$\mathcal{L}^{1}$$-Carathéodory whenever for each constant $$\mu >0$$ there exists a function $$\phi _{\mu }\in \mathcal{L}^{1}([0,1],\mathbb{R}^{+})$$ such that

$$\bigl\Vert \mathcal{G}(t,z) \bigr\Vert =\sup_{t \in [0,1]}\bigl\{ \vert s \vert :s\in \mathcal{G}(t,z)\bigr\} \leq \phi _{\mu }(t )$$

for all $$|z|\leq \mu$$ and for almost all $$t \in [0,1]$$ [15, 16]. The set of selections of a multifunction $$\mathcal{G}$$ at point $$z \in C([0,1],\mathbb{R})$$ is defined by

$$(SEL)_{\mathcal{G},z}:=\bigl\{ v\in \mathcal{L}^{1}\bigl([0,1], \mathbb{R}\bigr): v(t ) \in \mathcal{G}\bigl(t, z(t ) \bigr)\bigr\}$$

for almost all $$t \in [0,1]$$ [15, 16]. Let $$\mathcal{G}$$ be a set-valued map. It is known that $$(SEL)_{\mathcal{G},z}\neq \emptyset$$ for all $$z\in C([0,1],\mathcal{M} )$$ whenever $$\dim \mathcal{M} < \infty$$ . We need the following results.

### Lemma 1

(Dhage’s nonlinear alternative of Schaefer’s type )

Let$$\mathcal{M}$$be a Banach algebra. For each positive number$$\varepsilon \in \mathbb{R}$$, consider the open ball$$V_{\varepsilon }(0)$$and the closed ball$$\overline{V}_{\varepsilon }(0)$$. Suppose that two operators$$\mathcal{B}_{1}: \mathcal{M}\to \mathcal{M}$$and$$\mathcal{B}_{2}: \overline{V}_{\varepsilon }(0) \to \mathcal{M}$$satisfy the following conditions:

1. (i)

$$\mathcal{B}_{1}$$is an operator including Lipschitzian property with a Lipschitz constant$$l^{*}$$;

2. (ii)

$$\mathcal{B}_{2}$$has complete continuity property;

3. (iii)

$$l^{*}M_{0}^{*}<1$$, so that$$M_{0}^{*}=\Vert \mathcal{B}_{2}(\overline{V}_{\varepsilon }(0))\Vert _{ \mathcal{M} } = \sup \{ \Vert \mathcal{B}_{2}z \Vert _{\mathcal{M} }: z\in \overline{V}_{\varepsilon }(0) \}$$.

Then either

1. (a)

The operator equation$$\mathcal{B}_{1}z\mathcal{B}_{2}z=z$$has a solution in$$\overline{V}_{\varepsilon }(0)$$, or

2. (b)

there is an element$$v^{*}\in \mathcal{M}$$with$$\Vert v^{*}\Vert _{\mathcal{M} } = \varepsilon$$such that$$\mu \mathcal{B}_{1}v^{*}\mathcal{B}_{2}v^{*}=v^{*}$$for some$$\mu \in (0,1)$$.

### Lemma 2

()

Suppose that$$\mathcal{M}$$is a separable Banach space, $$\mathcal{G}: [0, 1] \times \mathcal{M} \to {\mathcal{P}}_{cp,cv}( \mathcal{M})$$is an$$\mathcal{L}^{1}$$-Carathéodory multifunction and$$\varUpsilon: \mathcal{L}^{1}([0,1],\mathcal{M}) \to C([0,1], \mathcal{M})$$is a linear continuous mapping. Then

$$\varUpsilon \circ (SEL)_{\mathcal{G}}: C\bigl([0,1],\mathcal{M}\bigr) \to { \mathcal{P}}_{cp,cv} \bigl(C\bigl([0,1],\mathcal{M}\bigr)\bigr)$$

is an operator in the product space$$C([0,1],\mathcal{M}) \times C([0,1],\mathcal{M})$$with action$$z \mapsto (\varUpsilon \circ (SEL)_{\mathcal{G}}) (z) = \varUpsilon ( (SEL)_{ \mathcal{G},z})$$having closed graph property.

### Lemma 3

()

LetMbe a Banach algebra. Suppose that there exist a single-valued map$$\mathcal{B}_{1}: \mathcal{M} \to \mathcal{M}$$and a multi-valued map$$\mathcal{B}_{2}: \mathcal{M} \to \mathcal{P}_{cp,cv}(\mathcal{M})$$such that

1. (i)

$$\mathcal{B}_{1}$$is an operator including Lipschitzian property with a Lipschitz constant$$l^{*}$$;

2. (ii)

$$\mathcal{B}_{2}$$is an operator including upper semi-continuity and compactness property;

3. (iii)

$$2l^{*}M_{0}^{*}<1$$so that$$M_{0}^{*}=\Vert \mathcal{B}_{2}(\mathcal{M})\Vert$$.

Then either

1. (a)

there is a solution in$$\mathcal{M}$$for the operator inclusion$$z\in \mathcal{B}_{1}z\mathcal{B}_{2}z$$, or

2. (b)

The set$$\varSigma ^{*} =\{ v^{*}\in \mathcal{M} \vert \mu v^{*} \in \mathcal{B}_{1}v^{*}\mathcal{B}_{2}v^{*}, \mu > 1 \}$$is not bounded.

## Main results

Consider the Banach space $$\mathcal{M} =C_{\mathbb{R}}([0,1])$$ with the norm

$$\Vert z \Vert _{\mathcal{M} } = \sup \bigl\{ \bigl\vert z(t) \bigr\vert : t \in [0,1] \bigr\} .$$

Now, we provide our first key result.

### Lemma 4

Let$$\rho \in \mathcal{M}$$. A function$$z_{0}$$is a solution for the hybrid fractional equation

$${}^{c}\mathcal{D}_{0}^{p} \biggl( \frac{z(t)}{ h(t,z(t))} \biggr) + \rho (t) = 0, \quad t \in [0,1], p \in (1,2],$$
(5)

with the three-point hybrid boundary conditions

\begin{aligned} & \mathcal{D} \biggl( \frac{z(t)}{ h(t,z(t))} \biggr) \bigg\vert _{t=0} =0, \\ & \lambda {}^{c}\mathcal{D}_{0}^{p-1} \biggl( \frac{z(t)}{ h(t,z(t))} \biggr)\bigg\vert _{t=1} + \biggl( \frac{z(t)}{ h(t,z(t))} \biggr) \bigg\vert _{t=\eta } = 0, \end{aligned}
(6)

if and only if$$z_{0}$$is a solution for the integral equation

\begin{aligned} z(t) ={}& h\bigl(t,z(t)\bigr) \biggl[ - \int _{0}^{t} \frac{(t- \tau )^{p -1}}{\varGamma (p )} \rho (\tau ) \, \mathrm{d} \tau \\ & {}+ \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma ( p)} \rho ( \tau ) \, \mathrm{d} \tau + \lambda \int _{0}^{1} \rho ( \tau ) \,\mathrm{d}\tau \biggr]. \end{aligned}
(7)

### Proof

First, assume that $$z_{0}$$ is a solution for the hybrid fractional equation (5). Then there exist constants $$b_{0},b_{1}\in \mathbb{R}$$ such that

$$z_{0}(t ) = h \bigl(t,z_{0}(t )\bigr) \biggl[ - \int _{0}^{t} \frac{(t -\tau )^{ p -1}}{\varGamma ( p )} \rho (\tau ) \, \mathrm{d} \tau + b_{0} + b_{1}t \biggr].$$
(8)

Then

$$\mathcal{D} \biggl( \frac{z_{0}(t)}{ h(t,z_{0}(t))} \biggr) = - \int _{0}^{t} \frac{(t -\tau )^{ p -2}}{\varGamma ( p-1 )} \rho (\tau ) \, \mathrm{d}\tau + b_{1}$$

and

$$^{c}\mathcal{D}_{0}^{p-1} \biggl( \frac{z_{0}(t)}{ h(t,z_{0}(t))} \biggr) = - \int _{0}^{t} \rho (\tau ) \,\mathrm{d}\tau + b_{1} \frac{ t^{2-p}}{\varGamma (3-p) }.$$

Thus, $$b_{1}=0$$ and

$$b_{0} = \int _{0}^{1} \rho (\tau ) \,\mathrm{d}\tau + \int _{0}^{\eta }\frac{ ( \eta - \tau )^{p-1}}{ \varGamma (p) } \rho ( \tau ) \, \mathrm{d}\tau.$$

By substituting the values $$b_{0}$$ and $$b_{1}$$ in (8), we get

$$z_{0}(t) = h\bigl(t,z_{0}(t)\bigr) \biggl[ - \int _{0}^{t} \frac{(t- \tau )^{p -1}}{\varGamma (p )} \rho (\tau ) \, \mathrm{d} \tau + \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma ( p)} \rho ( \tau ) \, \mathrm{d} \tau + \lambda \int _{0}^{1} \rho ( \tau ) \,\mathrm{d}\tau \biggr].$$

This means that $$z_{0}$$ is a solution function for the fractional integral equation (7). Conversely, it can easily be seen that $$z_{0}$$ is a solution function for the fractional hybrid problem (5)–(6) whenever $$z_{0}$$ is a solution function for the fractional integral equation (7). □

### Theorem 5

Assume that$$h \in C([0,1]\times \mathbb{R}, \mathbb{R}\setminus \{ 0 \} )$$and$$\varPhi \in C([0,1]\times \mathbb{R}, \mathbb{R})$$and

$$(\mathcal{A}1)$$:

there is a bounded mapping$$\kappa:[0,1] \to \mathbb{R}^{+}$$such that

$$\bigl\vert h (t,z_{1})-h (t,z_{2}) \bigr\vert \leq \kappa (t ) \bigl\vert z_{1}(t )-z_{2}(t ) \bigr\vert$$

for all$$z_{1},z_{2}\in \mathbb{R}$$and$$t\in [0,1]$$,

$$(\mathcal{A}2)$$:

there are a continuous non-decreasing map$$\chi: [0,\infty ) \to (0, \infty )$$and a continuous function$$g: [0,1] \to \mathbb{R}^{+}$$such that

$$\bigl\vert \varPhi (t,z) \bigr\vert \leq g ( t ) \chi \bigl( \Vert z \Vert \bigr)$$

for$$t \in [0,1]$$and for all$$z\in \mathbb{R}$$,

$$(\mathcal{A}3)$$:

there is a positive real numberεsuch that

\begin{aligned} \varepsilon > \frac{ H^{*} \Delta ^{*} G^{*} \chi ( \Vert z \Vert )}{1- \kappa ^{*} \Delta ^{*} G^{*} \chi ( \Vert z \Vert )} , \end{aligned}
(9)

where$$H^{*} =\sup_{t \in [0,1] } \vert h (t,0) \vert$$, $$G^{*}= \sup_{t \in [0,1]}\vert g (t ) \vert$$, $$\kappa ^{*}= \sup_{t \in [0,1]}\vert \kappa (t ) \vert$$and

$$\Delta ^{*} = \frac{1}{\varGamma (p + 1)} + \frac{ \eta ^{p} }{\varGamma (p + 1)} + \lambda.$$
(10)

If$$\kappa ^{*}\Delta ^{*} G^{*} \chi (\Vert z\Vert ) < 1$$, then the hybrid fractional problem (1)(2) has at least one solution.

### Proof

Consider the closed ball $$\overline{V}_{\varepsilon }(0):= \{ z\in \mathcal{M}: \Vert z\Vert _{ \mathcal{M} } \leq \varepsilon \}$$ in the Banach space $$\mathcal{M}$$, where ε satisfies the inequality (9). By using Lemma 4 and the fractional integral equation (7), we define two operators $$\mathcal{B}_{1}, \mathcal{B}_{2}: \overline{V}_{\epsilon }(0) \to \mathcal{M}$$ by $$( \mathcal{B}_{1} z)(t ) = h (t,z(t ))$$ and

\begin{aligned} ( \mathcal{B} _{2} z) (\tau )= {}&{-} \int _{0}^{t} \frac{(t- \tau )^{p -1}}{\varGamma (p )} \varPhi \bigl( \tau, z( \tau ) \bigr) \,\mathrm{d} \tau + \lambda \int _{0}^{1} \varPhi \bigl(\tau, z( \tau ) \bigr) \,\mathrm{d}\tau \\ & {}+ \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma ( p)} \varPhi \bigl(\tau, z( \tau ) \bigr) \,\mathrm{d} \tau. \end{aligned}

It is clear that $$z \in \mathcal{M}$$ as a solution for the fractional hybrid problem (1)–(2) satisfies the operator equation $$\mathcal{B}_{1}z\mathcal{B}_{2}z=z$$. To prove this subject, by applying assumptions of Lemma 1, we show that there exists such a solution. In first step, it is proved that the operator $$\mathcal{B}_{1}$$ is Lipschitzian operator on normed space $$\mathcal{M}$$ with Lipschitz constant $$\kappa ^{*}= \sup_{ t \in [0,1]} \vert \kappa (t ) \vert$$. Let $$z_{1},z_{2}\in \mathcal{M}$$. By using the assumption ($$\mathcal{A}1$$), we have

\begin{aligned} \bigl\vert (\mathcal{B}_{1}z_{1}) (t)-( \mathcal{B}_{1}z_{2}) (t) \bigr\vert &= \bigl\vert h \bigl(t,z_{1}(t)\bigr)-h \bigl(t,z_{2}(t)\bigr) \bigr\vert \\ & \leq \kappa (t) \bigl\vert z_{1}(t )-z_{2}(t ) \bigr\vert \end{aligned}

for each $$z_{1},z_{2}\in \overline{V}_{\varepsilon }(0)$$. By taking the supremum over $$[0,1]$$, one can deduce that

\begin{aligned} \Vert \mathcal{B}_{1}z_{1}-\mathcal{B}_{1}z_{2} \Vert _{\mathcal{M}} \leq \kappa ^{*} \Vert z_{1}-z_{2} \Vert _{\mathcal{M}} \end{aligned}

for all $$z_{1},z_{2}\in \overline{V}_{\varepsilon }(0)$$. This shows that $$\mathcal{B}_{1}$$ is Lipschitzian operator on $$\overline{V}_{\varepsilon }(0)$$ with Lipschitz constant $$\kappa ^{*}$$. To establish the complete continuity of the operator $$\mathcal{B}_{2}$$ on $$\overline{V}_{\varepsilon }(0)$$, we first prove that the operator $$\mathcal{B}_{2}$$ is continuous on $$\overline{V}_{\varepsilon }(0)$$. To this aim, suppose that $$\{ z_{n} \}$$ is a sequence in the open ball $$\overline{V}_{\varepsilon }(0)$$ with $$z_{n} \to z$$, where z is an element of $$\overline{V}_{\varepsilon }(0)$$. Since Φ is continuous on $$[0,1]\times \mathbb{R}$$, $$\lim_{n\to \infty }\varPhi (t,z_{n}(t ))=\varPhi (t,z(t ))$$. By using the Lebesgue dominated convergence theorem, we conclude that

\begin{aligned} \lim_{n\to \infty }(\mathcal{B}_{2}z_{n}) (t )={} & {-} \int _{0}^{t} \frac{(t- \tau )^{p -1}}{\varGamma (p )} \lim _{n \to \infty }\varPhi \bigl( \tau, z_{n}( \tau ) \bigr) \, \mathrm{d} \tau \\ &{} + \lambda \int _{0}^{1} \lim_{n \to \infty }\varPhi \bigl(\tau, z_{n}( \tau ) \bigr) \,\mathrm{d}\tau \\ & {}+ \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma ( p)} \lim _{n \to \infty }\varPhi \bigl(\tau, z_{n}( \tau ) \bigr) \, \mathrm{d} \tau \\ ={}&{ -} \int _{0}^{t} \frac{(t- \tau )^{p -1}}{\varGamma (p )} \varPhi \bigl( \tau, z( \tau ) \bigr) \,\mathrm{d} \tau + \lambda \int _{0}^{1} \varPhi \bigl(\tau, z( \tau ) \bigr) \,\mathrm{d}\tau \\ & {}+ \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma ( p)} \varPhi \bigl(\tau, z( \tau ) \bigr) \,\mathrm{d} \tau \\ ={}& (\mathcal{B}_{2}z) (t) \end{aligned}

for all $$t \in [0,1]$$. Thus, $$\mathcal{B}_{2}z_{n} \to \mathcal{B}_{2}z$$ and so $$\mathcal{B}_{2}$$ is a continuous operator on $$\overline{V}_{\varepsilon }(0)$$.

In the next step, the uniform boundedness of operator $$\mathcal{B}_{2}$$ on $$\overline{V}_{\varepsilon }(0)$$ is checked. By assumption ($$\mathcal{A}2$$), we have

\begin{aligned} \bigl\vert (\mathcal{B}_{2}z) (t) \bigr\vert ={}& \int _{0}^{t} \frac{(t- \tau )^{p -1}}{\varGamma (p )} \bigl\vert \varPhi \bigl(\tau, z( \tau ) \bigr) \bigr\vert \,\mathrm{d} \tau + \lambda \int _{0}^{1} \bigl\vert \varPhi \bigl(\tau, z( \tau ) \bigr) \bigr\vert \,\mathrm{d}\tau \\ & {}+ \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma ( p)} \bigl\vert \varPhi \bigl(\tau, z( \tau ) \bigr) \bigr\vert \,\mathrm{d} \tau \\ \leq {}&\frac{t^{p }}{\varGamma (p + 1)} g (\tau )\chi \bigl( \Vert z \Vert \bigr) + \lambda g (\tau )\chi \bigl( \Vert z \Vert \bigr) \\ & {}+ \frac{ \eta ^{p} }{\varGamma (p +1)} g (\tau )\chi \bigl( \Vert z \Vert \bigr) \end{aligned}

for all $$t \in [0,1]$$ and $$z\in \overline{V}_{\varepsilon }(0)$$. Thus $$\Vert \mathcal{B}_{2}z\Vert \leq G^{*} \chi ( \Vert z\Vert ) \Delta ^{*}$$, where $$\Delta ^{*}$$ is given in (10). This implies that the set $$\mathcal{B}_{2}(\overline{V}_{\varepsilon }(0))$$ is an uniformly bounded in the normed space $$\mathcal{M}$$. Now, the equi-continuity of the operator $$\mathcal{B}_{2}$$ is investigated. To this aim, assume that $$t_{1},t_{2} \in [0,1]$$ with $$t_{1}< t_{2}$$. Then we have

\begin{aligned} \bigl\vert (\mathcal{B}_{2}z) (t_{2})-( \mathcal{B}_{2}z) (t_{1}) \bigr\vert ={}& \biggl\vert \int _{0}^{t_{2}} \frac{(t_{2}- \tau )^{p -1}}{\varGamma (p )}\varPhi \bigl( \tau,z(\tau )\bigr) \,\mathrm{d}\tau \\ &{} - \int _{0}^{t_{1}} \frac{(t_{1}- \tau )^{p -1}}{\varGamma (p )} \varPhi \bigl( \tau,z(\tau )\bigr) \,\mathrm{d}\tau \biggr\vert \\ \leq {}&G^{*}\chi \bigl( \Vert z \Vert \bigr) \biggl[ \int _{0}^{t_{1}} \biggl( \frac{(t_{2}-\tau )^{p -1}}{\varGamma (p )} - \frac{(t_{1}- \tau )^{p -1}}{\varGamma (p )} \biggr) \,\mathrm{d}\tau \\ &{} + \int _{t_{1}}^{t_{2}} \frac{(t_{2}- \tau )^{p -1}}{\varGamma (p )} \,\mathrm{d}\tau \biggr]. \end{aligned}

It is observed that the right-hand side of the inequalities converges to zero independently of $$z\in \overline{V}_{\varepsilon }(0)$$ as $$t_{1} \to t_{2}$$. Therefore the operator $$\mathcal{B}_{2}$$ is equi-continuous. Now by using the Arzela–Ascoli theorem, we conclude that the operator $$\mathcal{B}_{2}$$ is complete continuous on $$\overline{V}_{\varepsilon }(0)$$.

On the other hand by using ($$\mathcal{A}3$$), we have

\begin{aligned} M_{0}^{*} &= \bigl\Vert \mathcal{B}_{2}\bigl( \overline{V}_{\varepsilon }(0)\bigr) \bigr\Vert _{\mathcal{M}} = \sup \bigl\{ \vert \mathcal{B}_{2}z \vert : z\in \overline{V}_{\varepsilon }(0) \bigr\} \\ &= G^{*} \chi \bigl( \Vert z \Vert \bigr) \biggl[ \frac{1}{\varGamma (p + 1)} + \frac{ \eta ^{p} }{\varGamma (p + 1)} + \lambda \biggr] \\ &= G^{*} \chi \bigl( \Vert z \Vert \bigr) \Delta ^{*}. \end{aligned}

By putting $$l^{*}=\kappa ^{*}$$, we get $$G^{*}l^{*}<1$$ and so the assumptions of Lemma 1 hold and so one of the conditions (a) or (b) in Lemma 1 holds. For some $$\mu \in (0,1)$$, assume that z satisfies the operator equation $$z=\mu \mathcal{B}_{1}z\mathcal{B}_{2}z$$ so that $$\Vert z\Vert =\varepsilon$$. Then we have

\begin{aligned} \bigl\vert z(t ) \bigr\vert = {}&\mu \bigl\vert (\mathcal{B}_{1}z) (t ) \bigr\vert \bigl\vert ( \mathcal{B}_{2}z) (t ) \bigr\vert = \mu \bigl\vert h \bigl(t,z(t )\bigr) \bigr\vert \\ &{} \times \biggl\vert - \int _{0}^{t} \frac{(t- \tau )^{p -1}}{\varGamma (p )} \varPhi \bigl( \tau, z( \tau ) \bigr) \,\mathrm{d} \tau + \lambda \int _{0}^{1} \varPhi \bigl(\tau, z( \tau ) \bigr) \,\mathrm{d}\tau \\ &{} + \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma ( p)} \varPhi \bigl(\tau, z( \tau ) \bigr) \,\mathrm{d} \tau \biggr\vert \\ \leq{}& \bigl( \bigl\vert h \bigl(t,z(t )\bigr)- h (t,0) \bigr\vert + \bigl\vert h (t,0) \bigr\vert \bigr) \\ &{} \times \biggl( \int _{0}^{t} \frac{(t- \tau )^{p -1}}{\varGamma (p )} \bigl\vert \varPhi \bigl(\tau, z( \tau ) \bigr) \bigr\vert \,\mathrm{d} \tau + \lambda \int _{0}^{1} \bigl\vert \varPhi \bigl(\tau, z( \tau ) \bigr) \bigr\vert \,\mathrm{d}\tau \\ &{} + \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma ( p)} \bigl\vert \varPhi \bigl(\tau, z( \tau ) \bigr) \bigr\vert \,\mathrm{d} \tau \biggr) \\ \leq{}& \bigl( \kappa (t) \bigl\vert z( t ) \bigr\vert + H^{*} \bigr) \Delta ^{*} G^{*} \chi \bigl( \Vert z \Vert \bigr) \\ \leq{}& \bigl(\kappa ^{*} \Vert z \Vert + H^{*} \bigr) \Delta ^{*} G^{*} \chi \bigl( \Vert z \Vert \bigr) \end{aligned}

and so $$\varepsilon \leq \frac{ H^{*} \Delta ^{*} G^{*} \chi (\Vert z\Vert )}{1- \kappa ^{*} \Delta ^{*} G^{*} \chi (\Vert z\Vert )}$$ which is a contradiction to inequality (9). This means that the condition (b) of Lemma 1 is impossible. Thus, the condition (a) in Lemma 1 holds and the fractional hybrid problem (1)–(2) has a solution. □

Now, we are going to state and prove our main result for the fractional hybrid inclusion model for the thermostat which is stated by (3)–(4).

### Definition 6

We say that an absolutely continuous function $$z:[0,1]\to \mathbb{R}$$ is a solution for the fractional hybrid inclusion problem (3)–(4) whenever there is an integrable function $$v\in \mathcal{L}^{1}([0,1],\mathbb{R})$$ with $$v(t )\in \mathcal{G}(t,z(t ))$$ for almost all $$t \in [0,1]$$,

$$\mathcal{D} \biggl( \frac{z(t)}{ h(t,z(t))} \biggr) \bigg\vert _{t=0} =0,\qquad \lambda {}^{c}\mathcal{D}_{0}^{p-1} \biggl( \frac{z(t)}{ h(t,z(t))} \biggr) \bigg\vert _{t=1} + \biggl( \frac{z(t)}{ h(t,z(t))} \biggr) \bigg\vert _{t = \eta } = 0$$

and

$$z(t)= h\bigl(t,z(t)\bigr) \biggl[ - \int _{0}^{t} \frac{(t- \tau )^{p -1}}{\varGamma (p )} v (\tau ) \, \mathrm{d} \tau + \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma ( p)} v ( \tau ) \, \mathrm{d} \tau + \lambda \int _{0}^{1} v ( \tau ) \,\mathrm{d}\tau \biggr]$$

for all $$t \in [0,1]$$.

### Theorem 7

Suppose that

($$\mathcal{A}4$$):

there exists a bounded mapping$$\kappa:[0,1]\to \mathbb{R}^{+}$$such that, for every$$z_{1},z_{2}\in \mathbb{R}$$and$$t \in [0,1]$$, we have$$\vert h (t,z_{1}(t ))-h (t,z_{2}(t )) \vert \leq \kappa (t )\vert z_{1}(t )-z_{2}(t ) \vert$$;

($$\mathcal{A}5$$):

the set-valued map$$\mathcal{G}: [0,1]\times \mathbb{R} \to \mathcal{P}_{cp,cv}( \mathbb{R})$$has the$$\mathcal{L}^{1}$$-Carathéodory property;

($$\mathcal{A}6$$):

there exists a positive mapping$$\sigma \in \mathcal{L}^{1}([0,1], \mathbb{R}^{+})$$such that

$$\bigl\Vert \mathcal{G} (t,z) \bigr\Vert =\sup \bigl\{ \vert v \vert : v \in \mathcal{G} \bigl(t,z(t )\bigr) \bigr\} \leq \sigma (t )$$

for all$$z\in \mathbb{R}$$, almost all$$t \in [0,1]$$and$$\Vert \sigma \Vert _{\mathcal{L}^{1}} =\int _{0}^{1} \vert \sigma (\tau )\vert \,\mathrm{d}\tau$$;

($$\mathcal{A}7$$):

there exists a positive number$$\tilde{\varepsilon } \in \mathbb{R}$$such that

$$\tilde{ \varepsilon } > \frac{H^{*}\Delta ^{*} \Vert \sigma \Vert _{\mathcal{L}^{1}}}{1-\kappa ^{*}\Delta ^{*} \Vert \sigma \Vert _{\mathcal{L}^{1}}} ,$$
(11)

where$$H^{*} =\sup_{t \in [0,1]}\vert h (t,0) \vert$$and$$\kappa ^{*} =\sup_{t \in [0,1]}\vert \kappa (t ) \vert$$.

Then the fractional hybrid inclusion problem (3)(4) has at least one solution whenever$$\kappa ^{*}\Delta ^{*} \Vert \sigma \Vert _{\mathcal{L}^{1}} < \frac{1}{2}$$.

### Proof

Let $$t \in [0,1]$$. Consider the operator $$\mathcal{K}:\mathcal{M}\to \mathcal{P}(\mathcal{M})$$ defined by

$${\mathcal{K}}(z)= \textstyle\begin{cases} w \in \mathcal{M}: \\ w( t ) =\textstyle\begin{cases} h (t,z(t )) ( - \int _{0}^{t} \frac{(t -\tau )^{p -1}}{\varGamma (p )} v(\tau ) \,\mathrm{d}\tau \\ \quad{} + \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma (p )} v(\tau ) \,\mathrm{d}\tau \\ \quad{} + \lambda \int _{0}^{1} v(\tau ) \,\mathrm{d} \tau ), \quad v\in (SEL)_{\mathcal{G},z}. \end{cases}\displaystyle \end{cases}$$

Note that the fixed point of $$\mathcal{K}$$ is a solution for the fractional hybrid inclusion problem (3)–(4). Define a single-valued mapping $$\mathcal{B}_{1}:\mathcal{M} \to \mathcal{M}$$ by $$(\mathcal{B}_{1}z)(t )= h (t,z(t ))$$ and the set-valued map $$\mathcal{B}_{2}: \mathcal{M} \to \mathcal{P}(\mathcal{M})$$ by

$$(\mathcal{B}_{2}z) (t ) =\textstyle\begin{cases} \psi \in \mathcal{M}: \\ \psi (t) = \textstyle\begin{cases} - \int _{0}^{t} \frac{ (t -\tau )^{ p -1} }{ \varGamma (p )} v(\tau ) \,\mathrm{d}\tau + \int _{0}^{\eta }\frac{(\eta -\tau )^{ p -1} }{ \varGamma (p )} v(\tau ) \,\mathrm{d}\tau \\ \quad{} + \lambda \int _{0}^{1} v(\tau ) \,\mathrm{d} \tau, \quad v\in (SEL)_{\mathcal{G},z} \end{cases}\displaystyle \end{cases}$$

for $$t \in [0,1]$$. Note that $$\mathcal{K}(z)=\mathcal{B}_{1}z\mathcal{B}_{2}z$$. We prove that $$\mathcal{B}_{1}$$ and $$\mathcal{B}_{2}$$ satisfy the assumptions of Lemma 3. First by using the assumption ($$\mathcal{A}4$$) and similar proof in Theorem 5, one can show that $$\mathcal{B}_{1}$$ is Lipschitz on $$\mathcal{M}$$. Now, we prove that the set-valued map $$\mathcal{B}_{2}$$ has convex values. Let $$z_{1},z_{2}\in \mathcal{B}_{2}z$$. Then choose $$v_{1},v_{2}\in (SEL)_{\mathcal{G},z}$$ such that

\begin{aligned} z_{j}(t ) = {}&{-} \int _{0}^{t} \frac{(t -\tau )^{p -1}}{\varGamma (p )} v_{j}( \tau ) \,\mathrm{d}\tau + \lambda \int _{0}^{1} v_{j}(\tau ) \,\mathrm{d} \tau \\ &{} + \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma (p )} v_{j}( \tau ) \,\mathrm{d}\tau\quad (j=1,2) \end{aligned}

for almost all $$t \in [0,1]$$. For each constant $$\gamma \in (0,1)$$, we have

\begin{aligned} \gamma z_{1}(t ) + (1-\gamma )z_{2}(t ) = {}&{-} \int _{0}^{t} \frac{(t -\tau )^{p -1}}{\varGamma (p )} \bigl[ \gamma v_{1}(\tau ) + (1- \gamma ) v_{2}(\tau ) \bigr] \, \mathrm{d}\tau \\ &{} + \lambda \int _{0}^{1} \bigl[ \gamma v_{1}(\tau ) + (1-\gamma ) v_{2}(\tau ) \bigr] \,\mathrm{d}\tau \\ &{} + \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma (p )} \bigl[ \gamma v_{1}(\tau ) + (1-\gamma ) v_{2}(\tau ) \bigr] \,\mathrm{d} \tau \end{aligned}

for almost all $$t \in [0,1]$$. Since $$\mathcal{G}$$ is convex-valued, $$(SEL)_{\mathcal{G},z}$$ has convex values and so $$\gamma v_{1}( t )+(1-\gamma )v_{2}(t ) \in (SEL)_{\mathcal{G},z}$$ for all $$t \in [0,1]$$. Thus, $$\mathcal{B}_{2}z$$ is a convex set for all $$z\in \mathcal{M}$$.

To establish the complete continuity of the operator $$\mathcal{B}_{2}$$, we must prove that $$\mathcal{B}_{2}(\mathcal{M})$$ is an equi-continuous and uniformly bounded set. To do this, we prove that $$\mathcal{B}_{2}$$ maps all bounded sets into bounded subsets of the space $$\mathcal{M}$$. For a positive number $$\varepsilon ^{*} \in \mathbb{R}$$, consider a bounded ball $$V_{\varepsilon ^{*}} = \{ z\in \mathcal{M}: \Vert z\Vert _{ \mathcal{M}} \leq \varepsilon ^{*} \}$$. For every $$z \in V_{\varepsilon ^{*}}$$ and $$\psi \in \mathcal{B}_{2}z$$, there is a function $$v\in (SEL)_{\mathcal{G},z}$$ such that

\begin{aligned} \psi (t) ={}& {-} \int _{0}^{t} \frac{(t -\tau )^{p -1}}{\varGamma (p )} v(\tau ) \, \mathrm{d}\tau + \lambda \int _{0}^{1} v(\tau ) \,\mathrm{d}\tau \\ &{} + \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma (p )} v( \tau ) \, \mathrm{d}\tau \end{aligned}

for all $$t \in [0,1]$$. Then we have

\begin{aligned} \bigl\vert \psi (t) \bigr\vert \leq{}& \int _{0}^{t} \frac{(t -\tau )^{p -1}}{\varGamma (p )} \bigl\vert v( \tau ) \bigr\vert \,\mathrm{d}\tau + \lambda \int _{0}^{1} \bigl\vert v(\tau ) \bigr\vert \, \mathrm{d}\tau \\ &{} + \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma (p )} \bigl\vert v(\tau ) \bigr\vert \,\mathrm{d}\tau \\ \leq{}& \int _{0}^{t} \frac{(t -\tau )^{p -1}}{\varGamma (p )} \sigma (\tau ) \, \mathrm{d} \tau + \lambda \int _{0}^{1} \sigma (\tau ) \,\mathrm{d}\tau \\ & {}+ \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma (p )} \sigma (\tau ) \, \mathrm{d}\tau \\ \leq&{} \biggl[ \frac{1}{\varGamma (p + 1)} + \frac{\eta ^{p} }{\varGamma (p +1)} + \lambda \biggr] \Vert \sigma \Vert _{ \mathcal{L}^{1}} \\ =&{} \Delta ^{*} \Vert \sigma \Vert _{\mathcal{L}^{1}}, \end{aligned}

where $$\Delta ^{*}$$ is given in (10). Thus, $$\Vert \psi \Vert \leq \Delta ^{*} \Vert \sigma \Vert _{\mathcal{L}^{1}}$$ and this implies that $$\mathcal{B}_{2}(\mathcal{M})$$ is a uniformly bounded set. Now, we show that the operator $$\mathcal{B}_{2}$$ maps bounded sets onto equi-continuous sets. Let $$z\in V_{\varepsilon ^{*}}$$ and $$\psi \in \mathcal{B}_{2}z$$. Choose $$v\in (SEL)_{\mathcal{G},z}$$ such that

\begin{aligned} \psi (t) ={}&{ -} \int _{0}^{t} \frac{(t -\tau )^{p -1}}{\varGamma (p )} v(\tau ) \, \mathrm{d}\tau + \lambda \int _{0}^{1} v(\tau ) \,\mathrm{d}\tau \\ &{} + \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma (p )} v( \tau ) \, \mathrm{d}\tau \end{aligned}

for all $$t \in [0,1]$$. For each $$t_{1},t_{2} \in [0,1]$$ with $$t_{1}< t_{2}$$, we have

\begin{aligned} \bigl\vert \psi (t_{2})- \psi (t_{1}) \bigr\vert \leq{}& \biggl\vert \int _{0}^{t_{2}} \frac{(t_{2}-\tau )^{p -1}}{\varGamma (p )} v(\tau ) \, \mathrm{d}\tau \\ &{} - \int _{0}^{t_{1}} \frac{(t_{1}-\tau )^{p -1}}{\varGamma (p )} v( \tau ) \, \mathrm{d}\tau \biggr\vert \\ \leq{}& \int _{0}^{t_{1}} \biggl( \frac{[(t_{2}- \tau )^{p -1}-(t_{1}- \tau )^{p -1}]}{\varGamma (p ) } \biggr) \sigma (\tau ) \,\mathrm{d}\tau \\ & {}+ \int _{t_{1}}^{t_{2}} \frac{(t_{2}-\tau )^{p -1}}{\varGamma (p )} \sigma (\tau ) \, \mathrm{d} \tau. \end{aligned}

It is obvious that the right-hand side of the above inequalities towards to zero independently of $$z\in V_{\varepsilon ^{*}}$$ as $$t_{2}\to t_{1}$$. Hence by using the Arzela–Ascoli theorem, the operator $$\mathcal{B}_{2}:C([0,1], \mathbb{R}) \to \mathcal{P}(C([0,1], \mathbb{R}))$$ has the complete continuity property.

Now, we show that $$\mathcal{B}_{2}$$ has a closed graph and this implies that $$\mathcal{B}_{2}$$ is upper semi-continuous because $$\mathcal{B}_{2}$$ is completely continuous. For this goal, assume that $$z_{n} \in V_{\varepsilon ^{*}}$$ and $$\psi _{n} \in \mathcal{B}_{2}z_{n}$$ are such that $$z_{n} \to z^{*}$$ and $$\psi _{n} \to \psi ^{*}$$. We claim that $$\psi ^{*}\in \mathcal{B}_{2}z^{*}$$. For each $$n\geq 1$$ and $$\psi _{n} \in \mathcal{B}_{2}z_{n}$$, choose $$v_{n} \in (SEL)_{\mathcal{G},z_{n}}$$ such that

\begin{aligned} \psi _{n}(t) ={}&{ -} \int _{0}^{t} \frac{(t -\tau )^{p -1}}{\varGamma (p )} v_{n}( \tau ) \,\mathrm{d}\tau + \lambda \int _{0}^{1} v_{n}(\tau ) \,\mathrm{d} \tau \\ & {}+ \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma (p )} v_{n} ( \tau ) \,\mathrm{d}\tau \end{aligned}

for all $$t \in [0,1]$$. It is sufficient to show that there exists a function $$v^{*}\in (SEL)_{\mathcal{G},z^{*}}$$ such that

\begin{aligned} \psi ^{*}(t) = {}&{-} \int _{0}^{t} \frac{(t -\tau )^{p -1}}{\varGamma (p )} v^{*}( \tau ) \,\mathrm{d}\tau + \lambda \int _{0}^{1} v^{*}(\tau ) \,\mathrm{d} \tau \\ & {}+ \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma (p )} v^{*} ( \tau ) \,\mathrm{d}\tau \end{aligned}

for all $$t \in [0,1]$$. Suppose that the continuous linear operator

$$\varUpsilon: \mathcal{L}^{1}\bigl([0,1], \mathbb{R}\bigr)\to \mathcal{M}=C\bigl([0,1], \mathbb{R}\bigr)$$

is defined by

\begin{aligned} \varUpsilon (v) (t) = z(t) = {}&{-} \int _{0}^{t} \frac{(t -\tau )^{p -1}}{\varGamma (p )} v(\tau ) \, \mathrm{d}\tau + \lambda \int _{0}^{1} v(\tau ) \,\mathrm{d}\tau \\ & {}+ \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma (p )} v ( \tau ) \, \mathrm{d}\tau \end{aligned}

for all $$t \in [0,1]$$. Then we have

\begin{aligned} \bigl\Vert \psi _{n}(t) - \psi ^{*}(t) \bigr\Vert ={}& \biggl\Vert - \int _{0}^{t} \frac{(t -\tau )^{p -1}}{\varGamma (p )} \bigl(v_{n}( \tau ) - v^{*} (\tau )\bigr) \,\mathrm{d}\tau \\ &{} + \lambda \int _{0}^{1} \bigl(v_{n}(\tau ) - v^{*} (\tau )\bigr) \,\mathrm{d}\tau \\ &{}+ \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma (p )} \bigl(v_{n}( \tau ) - v^{*} (\tau )\bigr) \,\mathrm{d}\tau \biggr\Vert \to 0 \end{aligned}

as $$n\to \infty$$. Hence by using Lemma 2, we conclude that the operator $$\varUpsilon \circ (SEL)_{\mathcal{G}}$$ has a closed graph. Since $$\psi _{n} \in \varUpsilon ( (SEL)_{\mathcal{G},z_{n}})$$ and $$z_{n} \to z^{*}$$, there exists $$v^{*}\in (SEL)_{\mathcal{G},z^{*}}$$ such that

\begin{aligned} \psi ^{*}(t ) ={}& {-} \int _{0}^{t} \frac{(t -\tau )^{p -1}}{\varGamma (p )} v^{*}( \tau ) \,\mathrm{d}\tau + \lambda \int _{0}^{1} v^{*}(\tau ) \,\mathrm{d} \tau \\ &{} + \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma (p )} v^{*} ( \tau ) \,\mathrm{d}\tau \end{aligned}

for all $$t \in [0,1]$$. Thus, $$\psi ^{*}\in \mathcal{B}_{2}z^{*}$$ and so $$\mathcal{B}_{2}$$ has a closed graph. Hence, $$\mathcal{B}_{2}$$ is upper semi-continuous. Moreover, by the hypothesis, the operator $$\mathcal{B}_{2}$$ has compact values. Consequently, $$\mathcal{B}_{2}$$ is a compact and upper semi-continuous operator. Now by using the assumption ($$\mathcal{A}6$$), we get

\begin{aligned} M_{0}^{*} &= \bigl\Vert \mathcal{B}_{2}( \mathcal{M}) \bigr\Vert = \sup \bigl\{ \vert \mathcal{B}_{2}z \vert : z\in \mathcal{M} \bigr\} \\ &= \biggl[ \frac{1}{\varGamma (p + 1)} + \frac{\eta ^{p}}{\varGamma (p + 1)} + \lambda \biggr] \Vert \sigma \Vert _{\mathcal{L}^{1}} \\ &= \Delta ^{*} \Vert \sigma \Vert _{\mathcal{L}^{1}}. \end{aligned}

By putting $$l^{*}=\kappa ^{*}$$, we obtain $$M_{0}^{*}l^{*} < \frac{1}{2}$$. Therefore, the assumptions of Lemma 3 hold for $$\mathcal{B}_{1}$$ and $$\mathcal{B}_{2}$$ and so one of the conditions (a) or (b) holds.

We claim that the condition (b) is impossible. By using Lemma 3 and the assumption ($$\mathcal{A}7$$), assume that z is an arbitrary element of $$\varSigma ^{*}$$ with $$\Vert z\Vert = \tilde{\varepsilon }$$. Then $$\mu z(t ) \in \mathcal{B}_{1}z(t )\mathcal{B}_{2}z(t )$$ for all $$\mu > 1$$. Select the related function $$v\in (SEL)_{\mathcal{G},z}$$. Then, for each $$\mu >1$$, we obtain

\begin{aligned} z(t ) = {}&\frac{1}{\mu } h \bigl(t,z(t )\bigr) \biggl[ - \int _{0}^{t} \frac{(t -\tau )^{p -1}}{\varGamma (p )} v( \tau ) \, \mathrm{d}\tau + \lambda \int _{0}^{1} v(\tau ) \,\mathrm{d}\tau \\ & {}+ \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma (p )} v ( \tau ) \, \mathrm{d}\tau \biggr] \end{aligned}

for all $$t \in [0,1]$$. Thus, we get

\begin{aligned} \bigl\vert z(t ) \bigr\vert = {}&\frac{1}{\mu } \bigl\vert h \bigl(t,z(t )\bigr) \bigr\vert \biggl[ \int _{0}^{t} \frac{(t -\tau )^{p -1}}{\varGamma (p )} \bigl\vert v( \tau ) \bigr\vert \,\mathrm{d}\tau \\ &{} + \lambda \int _{0}^{1} \bigl\vert v(\tau ) \bigr\vert \, \mathrm{d} \tau + \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma (p )} \bigl\vert v ( \tau ) \bigr\vert \,\mathrm{d}\tau \biggr] \\ \leq{}& \bigl[ \bigl\vert h \bigl(t,z(t )\bigr)-h (t,0) \bigr\vert + \bigl\vert h (t,0) \bigr\vert \bigr] \biggl[ \int _{0}^{t} \frac{(t -\tau )^{p -1}}{\varGamma (p )} \bigl\vert v( \tau ) \bigr\vert \,\mathrm{d}\tau \\ &{} + \lambda \int _{0}^{1} \bigl\vert v(\tau ) \bigr\vert \, \mathrm{d} \tau \\ & {}+ \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma (p )} \bigl\vert v ( \tau ) \bigr\vert \,\mathrm{d}\tau \biggr] \\ \leq {}&\bigl[ \kappa ^{*} \Vert z \Vert + H^{*}\bigr] \biggl[ \int _{0}^{t} \frac{(t -\tau )^{p -1}}{\varGamma (p )} \sigma (\tau ) \, \mathrm{d} \tau \\ &{} + \lambda \int _{0}^{1} \sigma (\tau ) \,\mathrm{d}\tau + \int _{0}^{\eta }\frac{(\eta -\tau )^{p -1}}{\varGamma (p )} \sigma (\tau ) \, \mathrm{d}\tau \biggr] \\ \leq{}& \bigl[ \kappa ^{*}\tilde{\varepsilon } + H^{*}\bigr] \Delta ^{*} \Vert \sigma \Vert _{\mathcal{L}^{1}} \end{aligned}

for all $$t \in [0,1]$$. Hence,

$$\tilde{\varepsilon } \leq \frac{H^{*}\Delta ^{*} \Vert \sigma \Vert _{\mathcal{L}^{1}} }{1- \kappa ^{*}\Delta ^{*} \Vert \sigma \Vert _{\mathcal{L}^{1}}}.$$

By using the condition (11), we observe that the condition (b) of Lemma 3 is impossible. Thus, the operator inclusion $$z\in \mathcal{B}_{1}z\mathcal{B}_{2}z$$ has a solution and so the fractional hybrid inclusion problem (3)–(4) has at least one solution. □

Now, we provide two examples to illustrate our main results.

### Example 1

Consider the fractional hybrid differential equation of the thermostat model

$${}^{c}\mathcal{D}_{0}^{\frac{3}{2}} \biggl( \frac{z(t)}{\frac{t \vert z(t ) \vert ^{2}}{6+ \vert z(t ) \vert ^{2}}+5} \biggr) + \frac{t \sin ^{2} ( \frac{\pi }{2} (t) ) \sin (z(t))}{1000}=0 \quad\bigl(t \in [0,1]\bigr),$$
(12)

with the three-point hybrid conditions

\begin{aligned} \begin{aligned}& \mathcal{D} \biggl( \frac{z(t)}{ \frac{t \vert z(t ) \vert ^{2}}{6+ \vert z(t ) \vert ^{2}}+5} \biggr)\bigg\vert _{t=0} =0, \\ & \frac{1}{10} {}^{c}\mathcal{D}_{0}^{ \frac{1}{2} } \biggl( \frac{z(t)}{ \frac{t \vert z(t ) \vert ^{2}}{6+ \vert z(t ) \vert ^{2}}+5 } \biggr)\bigg\vert _{t=1} + \biggl( \frac{z(t)}{ \frac{t \vert z(t ) \vert ^{2}}{6+ \vert z(t ) \vert ^{2}}+5 } \biggr)\bigg\vert _{t= \frac{1}{4} } = 0. \end{aligned} \end{aligned}
(13)

Put $$p =\frac{3}{2}$$, $$p-1 = \frac{1}{2}$$, $$\eta = \frac{1}{4}$$ and $$\lambda = \frac{1}{10}$$. Consider the continuous maps $$h: [0,1]\times \mathbb{R} \to \mathbb{R} \setminus \{ 0 \}$$ and $$\varPhi: [0,1]\times \mathbb{R} \to \mathbb{R}^{+}$$ defined by

$$h \bigl(t, z(t)\bigr) = \frac{t \vert z(t) \vert ^{2}}{6+ \vert z(t) \vert _{2} } + 5$$

and

$$\varPhi \bigl(t, z(t)\bigr) = \frac{t \sin ^{2} ( \frac{\pi }{2} (t)) \sin (z(t))}{1000}.$$

If $$\kappa (t )=t$$, then $$\kappa ^{*} = \sup_{t \in [0,1]}\vert \kappa (t ) \vert = 1$$. Put $$g (t) = \frac{1}{1000}$$ and $$\chi (\Vert z\Vert ) = 1$$. Then $$\Delta ^{*} \simeq 0.85238$$. Choose $$\varepsilon > 0.00426$$. Then $$\kappa ^{*}\Delta ^{*} G^{*} \chi (\Vert z\Vert ) \simeq 0.00085 < 1$$. Now by using Theorem 5, the fractional hybrid equation (12) with the three-point hybrid conditions (13) has at least one solution.

### Example 2

Consider the fractional hybrid inclusion problem

$${}^{c}\mathcal{D}_{0}^{\frac{8}{5}} \biggl( \frac{z(t )}{t \cos \frac{z(t )}{100}+6} \biggr) \in \biggl[ \frac{ \vert z(t ) \vert }{4( \vert z(t ) \vert +1)} + \frac{1}{2}, \frac{ \vert \sin z(t ) \vert ^{4}}{5(1+ \vert \sin z(t ) \vert ^{4} )}+ \frac{4}{5} \biggr] \quad\bigl(t \in [0,1]\bigr),$$
(14)

with the three-point hybrid conditions

\begin{aligned} \begin{aligned}& \mathcal{D} \biggl( \frac{z(t)}{ t \cos \frac{z(t )}{100}+6 } \biggr) \bigg\vert _{t=0} =0, \\ & \frac{7}{4} {}^{c}\mathcal{D}_{0}^{ \frac{3}{5} } \biggl( \frac{z(t)}{ t \cos \frac{z(t )}{100}+6 } \biggr) \bigg\vert _{t=1} + \biggl( \frac{z(t)}{ t \cos \frac{z(t )}{100}+6 } \biggr) \bigg\vert _{t= 0.89 } = 0. \end{aligned} \end{aligned}
(15)

Put $$p =\frac{8}{5}$$, $$p-1 = \frac{3}{5}$$, $$\eta = 0.89$$ and $$\lambda = \frac{7}{4}$$. Define the continuous map $$h: [0,1]\times \mathbb{R} \to \mathbb{R} \setminus \{ 0 \}$$ by $$h (t, z(t)) = t \cos \frac{z(t)}{100}+6$$ and the set-valued map $$\mathcal{G}: [0,1]\times \mathbb{R} \to \mathcal{P}(\mathbb{R})$$ by

$$\mathcal{G}\bigl(t, z(t)\bigr) = \biggl[ \frac{ \vert z(t ) \vert }{4( \vert z(t ) \vert +1)} + \frac{1}{2}, \frac{ \vert \sin z(t ) \vert ^{4}}{5(1+ \vert \sin z(t ) \vert ^{4} )}+ \frac{4}{5} \biggr].$$

If $$\kappa (t)=\frac{t}{100}$$, then $$\kappa ^{*} = \sup_{t \in [0,1]}\vert \kappa (t) \vert = \frac{1}{100}$$. Since

$$\vert \psi \vert \leq \max \biggl( \frac{ \vert z(t ) \vert }{4( \vert z(t ) \vert +1)} + \frac{1}{2}, \frac{ \vert \sin z(t ) \vert ^{4}}{5(1+ \vert \sin z(t ) \vert ^{4} )}+ \frac{4}{5} \biggr) \leq 1\quad (z\in \mathbb{R})$$

for all $$\psi \in \mathcal{G}(t,z(t ))$$, we get $$\Vert \mathcal{G}(t,z(t)) \Vert = \sup \{ \vert v \vert: v\in \mathcal{G}(t,z(t)) \} \leq 1$$. Put $$\sigma (t ) =1$$ for all $$t\in [0,1]$$ and so $$\Vert \sigma \Vert _{\mathcal{L}^{1}}= 1$$. By using the above relations, we get $$\Delta ^{*} \simeq 3.0298$$. Hence, we can find $$\tilde{\varepsilon } >0$$ with $$\tilde{\varepsilon } > 21.8712$$. Since $$\kappa ^{*}\Delta ^{*} \Vert \sigma \Vert _{\mathcal{L}^{1}} \simeq 0.030298 < \frac{1}{2}$$, by using Theorem 7, the fractional hybrid inclusion problem (14)–(15) has at least one solution.

## Conclusion

It is important that we increase our ability for studying complicated fractional integro-differential equations. One of the methods is extending well-known models to different complicated versions. In this work, we provide an extension for the well-known fractional thermostat model to its hybrid equation and inclusion versions. We also consider boundary value conditions of this problem in the form of the hybrid conditions. Finally, we provide two examples to illustrate our main results.

## References

1. 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)

2. Baleanu, D., Khan, H., Jafari, H., Khan, R.A., Alipour, M.: On existence results for solutions of a coupled system of hybrid boundary value problems with hybrid conditions. Adv. Differ. Equ. 2015, 318 (2015)

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

4. Zhao, Y., Sun, S., Han, Z., Li, Q.: Theory of fractional hybrid differential equations. Comput. Math. Appl. 62(3), 1312–1324 (2011). https://doi.org/10.1016/j.camwa.2011.03.041

5. 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

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

7. Infante, G., Webb, J.: Loss of positivity in a nonlinear scalar heat equation. Nonlinear Differ. Equ. Appl. 13, 249–261 (2006)

8. Nieto, J.J., Pimentel, J.: Positive solutions of a fractional thermostat model. Bound. Value Probl. 2013, 5 (2013)

9. Kontes, G.D., Giannakis, G.I., Horn, P., Steiger, S., Rovas, D.V.: Using thermostats for indoor climate control in office buildings: the effect on thermal comfort. Energy J. 33(4), 61–96 (2012)

10. Liang, Y., Levine, D.I., Shen, Z.J.: Thermostats for the smart grid: models, benchmarks and insights. Energies 10, 1368 (2017). https://doi.org/10.3390/en10091368

11. Urban, B., Gomez, C.: A case for thermostat user models. In: Proceedings of 13th Conf. Inter. Building Perform. Simulation Assoc, France, August 26–28, pp. 1483–1490 (2013)

12. Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)

13. Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Gordon and Breach Science Publishers, Switzerland (1993)

14. Miller, K.S., Ross, B.: An Introduction to Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)

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

16. Aubin, J., Ceuina, A.: Differential Inclusions: Set-Valued Maps and Viability Theory. Springer, Berlin (1984). https://doi.org/10.1007/978-3-642-69512-4

17. Dhage, B.C.: Nonlinear functional boundary value problems involving Carathéodory. Kyungpook Math. J. 46, 427–441 (2006)

18. Lasota, A., Opial, Z.: An application of the Kakutani–Ky Fan theorem in the theory of ordinary differential equations. Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 13, 781–786 (1965)

19. Dhage, B.C.: Existence results for neutral functional differential inclusions in Banach algebras. Nonlinear Anal. 64, 1290–1306 (2006)

### Acknowledgements

The second and third authors were supported by Azarbaijan Shahid Madani University. The authors express their gratitude to the 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.

Not applicable.

## Author information

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

Not applicable.

### Competing interests

The authors declare that they have no competing interests.

Not applicable.

## Rights and permissions 