Abstract
Following the idea of T. Wongyat and W. Sintunavarat, we obtain some existence and uniqueness results for the solution of an integral equation with supremum. The paper ends with the study of Gronwall-type theorems, comparison theorems and a result regarding a Ulam–Hyers stability result for the corresponding fixed point problem.
1. Introduction
The object of investigation of this paper is the qualitative theory of integral equations with supremum. These equations arise naturally when solving real-world problems, for example in the study of systems with automatic regulation and automatic control, problems in control theory. These types of equations are characterized by the fact that the maximum values of some regulated state parameters depend on certain time intervals, see for example [] and the references therein. Recently, the interest in differential equations with supremum has an intensive development (see [,,]). The aim of this paper focuses on two aspects: one is to prove existence and uniqueness results using w-weak generalized contractions theorem; the other is to prove a Gronwall-type theorem and comparison theorems. Using this theory symmetry is important in determining the qualitative properties of the solution of the integral equation.
We consider the following class of integral equation with supremum
with real and , the functions are given. To prove our results, we shall use the w-weak generalized contractions theorem due to T. Wongyat and W. Sintunavarat [] and we obtain an existence and uniqueness result for the solutions of this equation.
2. Preliminaries
We consider a metric space. In the sequel, we will use the following definitions and theorems, for details, see [,].
Definition 1.
([]) Let a metric space and a function . We say that q is a w-distance on if the below conditions hold, for all :
- (1)
- ;
- (2)
- is lower semicontinuous;
- (3)
- for each there exists such that and imply .
We recall that each metric on the nonempty set is a w-distance on .
Definition 2
([]). We say that the function is a -distance on if it is a w-distance on with , for all
Definition 3
([]). We say that the function is an altering distance function, if the below assertions hold:
- (1)
- The function ψ is continuous and nondecreasing;
- (2)
- is zero if and only if .
Definition 4
([]). Let be a metric space. We say that a w-distance q is a ceiling distance of d if and only if , for all
Definition 5
([]). We consider q a w-distance on the metric space , the altering distance function , and the continuous function with is zero if and only if . If the below inequality holds we say that the operator is a w-generalized weak contraction mapping
where
If then we say that A is a generalized weak contraction mapping.
Now we consider a complete metric space. The following fixed point result of the equation via w-distances represents the motivation of our work.
Theorem 1
([]). We consider a continuous w-distance on and a ceiling distance of d, the altering distance function , and the continuous function with is zero if and only if . Let a continuous operator such that
Then, A has a unique fixed point in and the sequence of successive approximations defined by , for each , for all , converges to the unique fixed point of A.
For other fixed points results obtained employing the theory of w-distance, the reader is referred to [,,,,,].
In this paper, we emphasize some connection between w-generalized weak contraction mapping and the Picard operator theory.
In the sequel, we recall the following results (see [,,]).
Let be a metric space. We say that the operator is weakly a Picard operator (WPO) if the successive approximations sequence , converges for all and its limit (which generally depend on x) is a fixed point of A. If an operator A is WPO with , then, we say that the operator A is a Picard operator (PO).
If is a WPO, we can define the operator , by
Definition 6.
Let A be a weakly Picard operator and We say that the operator is a c-weakly Picard operator if
If is a nonempty set, then is an ordered metric space, where ≤ is a partial order relation on
Now we present some properties regarding WPOs and POs.
Theorem 2
([]). (Characterization theorem) Let be a metric space. The operator is WPO if there exists a partition of , , such that
- (a)
- , for all
- (b)
- is PO, for all
Theorem 3
([]). (Abstract Gronwall Theorem) Let be an ordered metric space and we consider the operator . We suppose
- (i)
- The operator A is increasing with respect to
- (ii)
- A is a Picard operator with
Then the below conclusions hold:
- (i)
- for
- (ii)
- for
Theorem 4
([]). (Abstract Comparison Lemma) Let be an ordered metric space and we consider the operators with the properties:
- (i)
- (ii)
- are WPOs;
- (iii)
- B is an increasing operator.
Then, for .
We present now the concept of Hyers–Ulam stability in the setting of metric spaces given by I.A. Rus in [].
Definition 7.
We recall the following abstract result of the Ulam–Hyers stability of the fixed point Equation (5).
Theorem 5.
(Ulam–Hyers stability, []) Let be a metric space. Suppose that is a c-Picard operator. Then, Equation (5) is Ulam–Hyers stable.
For more results regarding WPOs and POs, see [,,,,].
3. Main Result
Let the operator expressed by
where and
Our first result is the following theorem.
Theorem 6.
We consider the integral Equation (1) with real and , the functions are given. We assume the following:
- (i)
- The operator defined by (6) is continuous;
- (ii)
- The altering distance function satisfies , for all , and the continuous function satisfies is zero if and only if
- (iii)
- The below inequality holds
Proof.
Let and we consider the metric defined as below
It is clear that is a complete metric space. We consider the function defined by:
We get that q is a w-distance on and also a ceiling distance of d.
From the above theorem, the operator A defined in (6) is a PO. Now we establish a Gronwall-type theorem for Equation (1).
Theorem 7.
We consider the integral Equation (1) with real, and the functions are given. We assume that the conditions (i)–(iii) from Theorem 6 hold. Furthermore, we suppose that
- (iv)
- is an increasing function with respect to the last argument, for all
Let be the unique solution of the integral Equation (1). Then, the following conditions are satisfied:
- (1)
- for all withwe have
- (2)
- for all withwe have
Proof.
From (iv), we have that the operator A defined in (6) is increasing with respect to the partial order.
By the proof of Theorem 6, it follows that A is a Picard operator. The conclusion of the theorem follows from Theorem 3. □
We establish now a comparison theorem for Equation (1), using Theorem 4.
Theorem 8.
We consider the integral Equation (1) with real, and we suppose that and are given. We assume that the conditions (i)–(iii) from Theorem 6 hold. Furthermore, we suppose that
- (i)
- ;
- (ii)
- are increasing.
Let be a solution of the equation
If , then
Proof.
The proof follows from the Theorem 4. □
Now we prove a Ulam–Hyers stability result for the integral Equation (1).
Theorem 9.
Proof.
Applying Theorem 6 and Theorem 5 we get the conclusion of the theorem. □
4. Conclusions
The purpose of this paper is to establish some fixed point results for generalized contraction operators with respect to w-distances. The operators considered here contain a supremum over a certain time interval. Section 3 begins with an existence and uniqueness theorem proved using the method of w-distances. Adding to the hypotheses that sustain the existence and uniqueness of the solution, the fact that f is an increasing function, we obtain Gronwall-type and comparison theorems. In the last part of the paper we study the Ulam–Hyers stability using Picard operators techniques. We define a fixed point equation from the integral equation with supremum. If the defined operator is c-weakly Picard we have Ulam–Hyers stability of the corresponding fixed point problem.
Author Contributions
Conceptualization, V.I. and D.O.; methodology, V.I. and D.O.; validation, V.I. and D.O.; formal analysis, V.I. and D.O.; investigation, V.I. and D.O.; resources, V.I. and D.O.; writing—original draft preparation, V.I. and D.O.; writing—review and editing, V.I. and D.O.; visualization, V.I. and D.O.; supervision, V.I. and D.O.; project administration, V.I. and D.O. All authors have read and agreed to the published version of the manuscript.
Funding
This research received no external funding.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Popov, E. Automatic Regulation and Control; Moscow, Russia, 1966. (In Russian) [Google Scholar]
- Bainov, D.D.; Hristova, S. Differential Equations with Maxima; Chapman & Hall/CRC Pure and Applied Mathematics: Boca Raton, FL, USA, 2011. [Google Scholar]
- Otrocol, D. Hybrid differential equations with maxima via Picard operators theory. Stud. Univ. Babeş-Bolyai Math. 2016, 61, 421–428. [Google Scholar]
- Otrocol, D.; Rus, I.A. Functional-differential equations with “maxima” via weakly Picard operators theory. Bull. Math. Soc. Sci. Math. Roum. 2008, 51, 253–261. [Google Scholar]
- Wongyat, T.; Sintunavarat, W. The existence and uniqueness of the solution for nonlinear Fredholm and Volterra integral equations together with nonlinear fraction differential equations via w-distances. Adv. Diff. Equ. 2017, 2017, 211. [Google Scholar] [CrossRef]
- Kada, O.; Suzuki, T.; Takahashi, W. Nonconvex minimization theorems and fixed point theorems in complete metric spaces. Math. Jpn. 1996, 44, 381–391. [Google Scholar]
- Aguirre Salazar, L.; Reich, S. A remark on weakly contractive mappings. J. Nonlinear Conv. Anal. 2015, 16, 767–773. [Google Scholar]
- Dobriţoiu, M. An application of the w-weak generalized contractions theorem. J. Fixed Point Theory Appl. 2019, 21, 93. [Google Scholar] [CrossRef]
- Suzuki, T.; Takahashi, W. Fixed points theorems and characterizations of metric completeness. Topol. Methods Nonlinear Anal. J. Juliusz Schauder Cent. 1996, 8, 371–382. [Google Scholar] [CrossRef]
- Takahashi, W.; Wong, N.C.; Yao, J.C. Fixed point theorems for general contractive mappings with w-distances in metric spaces. J. Nonlinear Conv. Anal. 2013, 14, 637–648. [Google Scholar]
- Wongyat, T.; Sintunavarat, W. On new existence and uniqueness results concerning solutions to nonlinear Fredholm integral equations via w-distances and weak altering distance functions. J. Fixed Point Theory Appl. 2019, 21, 7. [Google Scholar] [CrossRef]
- Rus, I.A. Generalized Contractions and Applications; Cluj University Press: Cluj-Napoca, Romania, 2001. [Google Scholar]
- Rus, I.A. Picard operators and applications. Sci. Math. Jpn. 2003, 58, 191–219. [Google Scholar]
- Rus, I.A. Fixed points, upper and lower fixed points: Abstract Gronwall lemmas. Carpathian J. Math. 2004, 20, 125–134. [Google Scholar]
- Rus, I.A. Remarks on Ulam stability of the operatorial equations. Fixed Point Theory 2009, 10, 305–320. [Google Scholar]
- Ilea, V.A.; Otrocol, D. An application of the Picard operator technique to functional integral equations. J. Nonlinear Conv. Anal. 2017, 18, 405–413. [Google Scholar]
© 2020 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).