Abstract
Over the last few decades, a certain interesting class of functional equations were developed while obtaining the generating functions of many system distributions. This class of equations has numerous applications in many modern disciplines such as wireless networks and communications. The Ulam stability theorem can be applied to numerous functional equations in investigating the stability when approximated in Banach spaces, Banach algebra, and so on. The main focus of this study is to analyse the relationship between functional equations, Hyers–Ulam–Rassias stability, Banach space, quasi-beta normed spaces, and fixed-point theory in depth. The significance of this work is the incorporation of the stability of the generalised additive functional equation in Banach space and quasi-beta normed spaces by employing concrete techniques like direct and fixed-point theory methods. They are powerful tools for narrowing down the mathematical models that describe a wide range of events. Some classes of functional equations, in particular, have lately emerged from a variety of applications, such as Fourier transforms and the Laplace transforms. This study uses linear transformation to explain our functional equations while providing suitable examples.
1. Introduction
A function is conventionally defined in mathematics, particularly in functional analysis, as a map from a vector space to the field underlying the vector space, which is commonly the real numbers. In other words, a function accepts a vector as an argument and returns a scalar. A functional equation , which means an equation between functionals, can be understood as an “equation to solve”, with solutions being functions themselves.
The development of functional equations coincided with the contemporary definition of the function. J. D’Alembert [1] published the first papers to be published on functional equations between 1747 and 1750. Because of their apparent simplicity and harmonic nature, functional equations have attracted the attention of many notable mathematicians, including N.H. Abel, J. Bolyai, A.L. Cauchy, L. Euler, M. Frechet, C.F. Gauss, J.L.W.V. Jensen, A.N. Kolmogorov, N.I. Lobacevskii J.V. Pexider, and S.D. Poisson.
In 1940, S.M. Ulam [2] was the first to work on the issue of the stability of functional equations which gave rise to the question of “When is it true that the solution of an equation differing slightly from a given one must of necessity be close to the solution of the given equation?” and further studies are based upon it. D. H. Hyers [3] came out with a positive response to the issue of Ulam stability for Banach spaces in 1941. T. Aoki [4] explored additive mappings further in 1950. Th.M. Rassias [5] was successful in extending Hyer’s Theorem’s result by weakening the condition for the Cauchy difference. Taking into account the significant effect of Ulam, Hyers, and Rassias on the development of stability issues of functional equations, the stability phenomena demonstrated by Th.M. Rassias is known as Hyers-Ulam-Rassias stability cited in [6,7,8,9,10]. In the spirit of the Rassias’ method, P. Gavruta [11] explored further by substituting the unbounded Cauchy difference with a generic control function in 1994.
The historical background of the stability of functional equations and literature survey has been explained in the cited references (see [12,13,14,15,16,17,18,19,20]). The detailed results of Ulam stability are explained in [21,22,23,24,25]. Different types of additive functional equations and their Ulam stability are addressed in [26,27,28,29,30]. Stability analysis is important in mathematics, with Ulam stability being particularly important for functional equations, differential equations, and integral equations.
Fixed point method is one of the prominent methods for investigating the Ulam stability analysis and recalls a fundamental result in fixed-point theory. For more recent research on fixed-point theory, see [31,32,33,34].
Recently, A. Batool et al. [35], proved the Hyers–Ulam stability of the cubic and quartic functional equation
and additive and quartic functional equation
using the fixed-point method in matrix Banach algebras.
In [36], K. Tamilvanan et al. introduced a new mixed type quadratic-additive functional equation
where is a fixed integer and investigated Ulam stability by using the Hyers method in random normed spaces.
In [37], N. Uthirasamy et al. considered the following new dimension additive functional equation
where is a fixed integer, to examine the Ulam stability of this equation in intuitionistic fuzzy normed spaces and 2-Banach spaces with the help of direct and fixed-point approaches.
The purpose of this research is to suggest a novel form of functional equation as below
In this article, the solution of this equation, as well as its Ulam stability, are determined with in Banach spaces and quasi normed spaces using direct and fixed-point methods. The counter-example for non-stable cases is also demonstrated.
2. Banach Space Stability Results
2.1. Donald H. Hyers’ Theorem (1941) for (5)
Theorem 1.
If real map satisfying for some and for all , then there exists a unique additive function and such that for all .
Proof.
Let the real function satisfying
for some . Instead of by in above inequality and or in place of by in the above inequality then
for all , where . Consider by
for all and where . Taking summation and multiply both side by then
using
we have
Since
the inequality (8) yields
which is
for all . By replacing n by in (9), we get
which is
for all . Considering by in (11), we get
However,
From (12), we get
Therefore
is a Cauchy sequence. The additive is defined as
for all . The following section proves that is an additive function.
Consider
Hence
for all . Let
and
for all .
is a unique function, which is proved as follows:
Hence
However, and are additive, hence
Taking , from (13)
Hence
Therefore for all . Henceforth is unique. □
2.2. Tosio Aoki’s (1950) Theorem for (5)
Theorem 2.
Let be a real map satisfying for some , and , then there exists a unique additive function and such that for all .
Proof.
Let be a real function satisfying for some , . Instead of by in the above, then we have or in place of by in the above inequality, hence
for all , where . Replacing by
for all . Taking summation and multiplying by
Using
Since
the inequality (15) yields
which is
for all . By replacing n by in (16), hence
which is
for all . Replacing by in (18),
Therefore
is a Cauchy sequence. The additive function is defined as
for all . is an addictive function, proved as follows.
Consider
Since .
Hence
for all . Consider
Hence
for all .
is a unique function, proved as follows
Hence
But and are additive, hence
Taking , using (20)
Hence
Therefore for all . Hence is unique. □
To prove example for not stable in the Equation (5).
Example 1.
Consider the mapping be defined by
let be defined by
Then ω satisfies
Then there is no an additive mapping and a constant such that
Proof.
Now
Thus, is bounded.
If at that point (29) is minor. In the event that , at that point the left hand side of (29) is under . It is assumed that . Then there exists a positive integer k such that
so that and consequently
here ,
and
for . From the definition of
Thus satisfies (29) with .
The additive functional Equation (5) is not stable for in the inequality
Suppose on the contrary that there exists an additive mapping and a constant satisfying (30). Since is bounded and continuous for all , is bounded on any open interval containing the origin and continuous at the origin. In view of Theorem 2, must have the form for any in . Thus we obtain that
now m with .
2.3. John M. Rassias’ Theorem (1982) for (5)
Theorem 3.
Let be a real map satisfying for some , and for all , then there exists a unique additive function and such that for all .
Proof.
Let be a real function satisfying
for some , . Instead of by in (25), then or in place of by in (25),
for all , where . Replacing by
for all . Taking summation and multiplying by in the above inequality
use
Thus the proof is similar to that of Theorem 2. □
To prove example for not stable in the Equation (5).
Example 2.
Consider the mapping be defined by
let be defined by
Then ω satisfies
Then there is no an additive mapping and a constant such that
Proof.
Now
Thus, is bounded.
If at that point (29) is minor. In the event that , at that point the left hand side of (29) is under . It is assumed that . Then there exists a positive integer k such that
so that and consequently
here ,
and
for . From the definition of (31),
Thus satisfies (29) with .
The additive functional Equation (5) is not stable for in the inequality
Suppose on the contrary that there exists an additive mapping and a constant satisfying (30). Since is bounded and continuous for all , is bounded on any open interval containing the origin and continuous at the origin. In view of Theorem 2, must have the form for any in . Thus we obtain that
now m with .
2.4. K. Ravi, M. Arunkumar, and John M. Rassias’ Theorem (2008) for (5)
Theorem 4.
Let be a real map satisfying
for some , and for all , then there exists a unique additive function and such that for all .
Proof.
Let be a real function satisfying for some , . Instead of by in the above or . Replacing by in the above we get
for all , where . Replacing by
for all . Multiplying the two sides by and taking summation
By applying
□
Thus the proof is similar to that of Theorem 2.
Example 3.
Consider the map is defined by
where is a constant, and let the function be defined as
Then ω satisfies the functional inequality
Then there is no an additive mapping and a constant such that
Proof.
Presently
we see that is limited. We prove fulfills (36).
If at that point (36) is insignificant and , at that point the left hand side of (36) is under . Presently assume that . For k is an integer
so that and consequently
Assume on the opposite that there exists an added substance mapping and a steady fulfilling (37). Since is limited and ceaseless for all , is limited on any open interim containing the inception and consistent at the root. Considering Theorem 4, must have the structure for any in . Along these lines, we acquire that
For m with .
2.5. P. Gvrut’ Theorem for (5)
Theorem 5.
Let the mapping satisfy the inequality with the condition for all , then there exists a unique additive function and such that for all .
Proof.
Let be a real function satisfying
for all and for some . Instead of by in (40), then we have or in place of by in (40),
for all , where . Replacing by
for all . Multiplying on both sides and taking summation
Since
the inequality (42) yields
for all . Replacing n by in (43),
which is
for all . Replacing by in (18),
Therefore
is a Cauchy sequence. Then the sequence has a limit in . If
for all then is additive.
Consider
Hence
for all .
Hence,
for all .
Hence
Taking , using (47)
Hence
Therefore for all . Hence is unique. □
Corollary 1.
Consider the inequality with various general control functions such as
which gives
2.6. V. Radus’ Method for (5) (or) Fixed-Point Method
Theorem 6.
Let be a mapping with the condition
where
satisfies
If the function there exists such that
and
Then there exists a function that fulfills (5) and
3. Stability Results in Quasi-Beta Normed Spaces
3.1. Stability Results: Direct Method
Theorem 7.
Let the mapping satisfy the inequality
with the condition
with and for all , then there exists a function and such that
for all .
Proof.
For n,
Take by and divide by in (61),
Corollary 2.
Considering the inequality with various control functions
and
3.2. Stability Results: Fixed-Point Method
Theorem 8.
Let the map with the condition
where
satisfy
If the function exists such that
one has the property
for all . Then there exists additive map fulfilling (5) and
Proof.
Assuming and introducing the generalised metric on ,
Define by
Now ,
This implies
⟹T is a strictly contractive mapping on with Lipschitz constant L.
For ,
for all .
Take in (68),
For ,
for all .
In the above two cases,
By the fixed-point condition, of T in such that
Claim that additive. Supplanting by in (65) and dividing by it follows from (64) and (69), that fulfills (5) for all .
By the fixed-point condition, is the unique fixed point of in the set using the fixed-point alternative result is the unique function such that
Finally by the fixed-point condition,
implying
Thus it is presumed that
□
Corollary 3.
Considering the inequality with various control functions
and
3.3. Remark
- (i)
- The proof of Theorem 5 and 6 replaced by in Theorem 7 and 8.
- (ii)
- Replacing by in Corollary 2, the Corollary 1 is obtained and satisfies Theorems 1–4.
3.4. Applications
Functional equations play an important role in linear algebra specifically in linear transformation. The relationship between functional equation and linear transformation is demonstrated.
Linear transformation:
Let and be real vector spaces (their dimensions are different) and let be the function with domain and range in . is said to be a linear transformation.
- (a)
- ( is additive)
- (b)
- ( is homogeneous)
Example 4.
. Define , where m is the fixed real number.
Solution: Let us take the given equation as
Hence is a linear transformation.
Example 5.
. For , , where m and b are the fixed real numbers and .
Solution: The solution is trivial. Hence we conclude that is not a linear transformation.
4. Conclusions
In this study, a novel additive functional Equation (5) has been introduced. The Hyers–Ulam stability in Banach spaces is investigated using the direct and the fixed-point approach in Section 2. In Section 3, the Hyers–Ulam stability in quasi-beta normed spaces is investigated by using the direct method and fixed-point approach. Additionally, the counter-example for non-stable cases is provided. One more contribution is the investigation of our functional equation in relation to a linear transformation. In the future, Hyers–Ulam stability can be determined in various normed spaces like Fuzzy normed spaces, random normed spaces, and non-Archimedian normed spaces in our additive functional Equation (5).
Author Contributions
A.P.: writing—original draft, methodology; J.K.: conceptualization, supervision, writing—original draft; N.F.: conceptualization, writing—original draft; V.V.: methodology, writing—original draft; N.M.: conceptualization, supervision, writing—original draft; N.S.: investigation, writing—original draft. All authors read and approved the final manuscript.
Funding
This research received no external funding. The APC is funded by Prince Sultan University.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
Not applicable.
Acknowledgments
The authors N. Fatima and N. Mlaiki would like to thank Prince Sultan University for paying the article processing charges (APC) for this work through TAS LAB.
Conflicts of Interest
The authors declare no conflict of interest.
References
- D’Alembert, J. Recherches sur la courbe que forme une corde tendue mise en vibration. In Histoire de l’Académie Royale des Sciences et Belles-Lettres de Berlin HAB Pour L’année; Nabu Press: Charleston, SC, USA, 1747; Volume 5, pp. 214–219. [Google Scholar]
- Ulam, S.M. Problems in Modern Mathematics; Science, Ed.; Chapter VI, Some Questions in Analysis: 1, Stability; Wiley: New York, NY, USA, 1964. [Google Scholar]
- Hyers, D.H. On the stability of the linear functional equation. Proc. Nat. Acad. Sci. USA 1941, 27, 222–224. [Google Scholar] [CrossRef] [PubMed]
- Aoki, T. On the stability of the linear transformation in Banach spaces. J. Math. Soc. Jpn. 1950, 2, 64–66. [Google Scholar] [CrossRef]
- Rassias, T.M. On the stability of the linear mapping in Banach spaces. Proc. Amer. Math. Soc. 1978, 72, 297–300. [Google Scholar] [CrossRef]
- Rassias, J.M. Solution of a stability problem of Ulam. Discuss. Math. 1992, 12, 95–103. [Google Scholar]
- Rassias, J.M.; Rassias, M.J. On the Ulam stability of Jensen and Jensen type mappings on restricted domains. J. Math. Anal. Appl. 2003, 281, 516–524. [Google Scholar] [CrossRef]
- Rassias, J.M. Refined Hyers Ulam approximation of approximately Jensen type mappings. Bull. Sci. Math. 2007, 131, 89–98. [Google Scholar] [CrossRef]
- Rassias, T.M. On the stability of functional equations in Banach spaces. J. Math. Anal. Appl. 2000, 251, 264–284. [Google Scholar] [CrossRef]
- Rassias, J.M. On the stability of the Euler-Lagrange functional equation. Chin. J. Math. 1992, 20, 185–190. [Google Scholar]
- Găvrută, P. A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. J. Math. Anal. Appl. 1994, 184, 431–436. [Google Scholar] [CrossRef]
- Benyamini, Y.; Lindenstrauss, J. Geometric Nonlinear Functional Analysis; American Mathematical Society Colloquium Publications; American Mathematical Society: Providence, RI, USA, 2000; Volume 1, p. 48. [Google Scholar]
- Eskandani, G.Z.; Găvrută, P.; Rassias, J.M.; Zarghami, R. Generalized Hyers-Ulam Stability for a General Mixed Functional Equation in Quasi-β-normed Spaces. Mediterr. J. Math. 2011, 8, 331–348. [Google Scholar] [CrossRef]
- Eskandani, G.Z.; Găvrută, P. On the stability problem in quasi-Banach spaces. Nonlinear Funct. Anal. Appl. 2012, 5, 459–465. [Google Scholar]
- Gajda, Z. On stability of additive mappings. Int. J. Math. Math. Sci. 1991, 14, 431–434. [Google Scholar] [CrossRef]
- Rassias, J.M. On approximately of approximately linear mappings by linear mappings. J. Funct. Anal. USA 1982, 46, 126–130. [Google Scholar] [CrossRef]
- Rassias, J.M. On approximately of approximately linear mappings by linear mappings. Bull. Sci. Math. 1984, 108, 445–446. [Google Scholar] [CrossRef]
- Rassias, J.M.; Kim, H.M. Generalized Hyers-Ulam stability for general additive functional equations in quasi-β-normed spaces. J. Math. Anal. Appl. 2009, 356, 302–309. [Google Scholar] [CrossRef]
- Rassias, J.M.; Jun, K.W.; Kim, H.M. Approximate (m,n)-Cauchy–Jensen Additive Mappings in C*-algebras. Acta Math. Sin. Engl. Ser. 2011, 27, 1907–1922. [Google Scholar] [CrossRef]
- Rassias, J.M. Solution of a problem of Ulam. J. Approx. Theory 1989, 57, 268–273. [Google Scholar] [CrossRef]
- Rassias, J.M.; Rassias, M.J. Asymptotic behavior of alternative Jensen and Jensen type functional equations. Bull. Sci. Math. 2005, 129, 545–558. [Google Scholar] [CrossRef][Green Version]
- Arunkumar, M.; Agilan, P. Additive functional equation and inequality are stable in Banach space and its applications. Malaya J. Mat. 2013, 1, 10–17. [Google Scholar]
- Arunkumar, M.; Agilan, P.; Ramamoorthy, S. Solution and Generalized Ulam-Hyers Stability of a n- Dimensional Additive Functional Equation in Banach Space and Banach Algebra: Direct and Fixed Point Methods. Ann. Pure Appl. Math. 2017, 15, 25–41. [Google Scholar] [CrossRef]
- Arunkumar, M.; Sathya, E.; Ramamoorthi, S.; Agilan, P. Ulam-Hyers Stability of Euler - Lagrange Additive Functional Equation in Intuitionistic Fuzzy Banach Spaces: Direct and Fixed Point Methods. Malaya J. Mat. 2018, 6, 276–285. [Google Scholar] [CrossRef]
- Arunkumar, M.; Agilan, P. Solution and Ulam-Hyers Stability of an Dimensional Additive Functional Equation in Banach Space and Banach Algebra: The Direct and Fixed Point Methods. Int. J. Pure Appl. Math. 2018, 120, 93–104. [Google Scholar] [CrossRef]
- Găvrută, P. An answer to a question of J.M. Rassias concerning the stability of Cauchy functional equation. Adv. Equ. Inequal. Hadron. Math. Ser. 1999, 67–71. [Google Scholar]
- Găvrută, P. On a problem of G. Isac and Th. M. Rassias concerning the stability of mappings. J. Math. Anal. Appl. 2001, 261, 543–553. [Google Scholar] [CrossRef]
- Ravi, K.; Arunkumar, M.; Rassias, J.M. On the Ulam stability for the orthogonally general Euler-Lagrange type functional equation. Int. J. Math. Sci. 2008, 3, 36–47. [Google Scholar]
- Arunkumar, M.; Agilan, P.; Ramamoorthy, S.; Kumar, N.M. Generalised Ulam-Hyers stability of a n-dimensional additive functional equation in two different methods. Int. Comput. Aided Eng. Technol. 2020, 12, 447–460. [Google Scholar] [CrossRef]
- Agilan, P.; Vallinayagam, V. Generalized Ulam-Hyers Stability of Complex Additive Functional Equation. J. Phys. Conf. Ser. 2019, 1377, 012011. [Google Scholar] [CrossRef]
- Margoils, B.; Diaz, J.B. A fixed point theorem of the alternative for contractions on a generalized complete metric space. Bull. Amer. Math. Soc. 1968, 126, 305–309. [Google Scholar]
- Debnath, P.; Konwar, N.; Radenovic, S. Metric Fixed Point Theory, Applications in Science, Engineering and Behavioural Sciences. In Forum for Interdisciplinary Mathematics; Springer: Berlin/Heidelberg, Germany, 2021. [Google Scholar]
- Todorcevic, V. Harmonic Quasiconformal Mappings and Hyperbolic Type Metrics; Springer Nature: Cham, Switzerland, 2019. [Google Scholar]
- Cho, Y.J.; Jleli, M.; Mursaleen, M.; Samet, B.; Vetro, C. Advances in Metric Fixed Point Theory and Applications; Springer: Singapore, 2021. [Google Scholar]
- Batool, A.; Nawaz, S.; Ege, O.; de la Sen, M. Hyers-Ulam stability of functional inequalities: A fixed point approach. J. Inequalities Appl. 2020, 2020, 251. [Google Scholar] [CrossRef]
- Tamilvanan, K.; Lee, J.R.; Park, C. Ulam stability of a functional equation deriving from quadratic and additive mappings in random normed spaces. AIMS Math. 2021, 6, 908–924. [Google Scholar] [CrossRef]
- Uthirasamy, N.; Tamilvanan, K.; Kabeto, M.J. Ulam stability and nonstability of additive functional equation in IFN-spaces and 2-Banach spaces by different methods. J. Funct. Spaces 2022, 2022, 8028634. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2022 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 (https://creativecommons.org/licenses/by/4.0/).