Abstract
A thermostat model described by a second-order fractional difference equation is proposed in this paper with one sensor and two sensors fractional boundary conditions depending on positive parameters by using the Lipschitz-type inequality. By means of well-known contraction mapping and the Brouwer fixed-point theorem, we provide new results on the existence and uniqueness of solutions. In this work by use of the Caputo fractional difference operator and Hyer-Ulam stability definitions we check the sufficient conditions and solution of the equations to be stable, while most researchers have examined the necessary conditions in different ways. Further, we also establish some results regarding Hyers-Ulam, generalized Hyers-Ulam, Hyers-Ulam-Rassias, and generalized Hyers-Ulam-Rassias stability for our discrete fractional-order thermostat models. To support the theoretical results, we present suitable examples describing the thermostat models that are illustrated by graphical representation.