1. Introduction
Let
and
are fuzzy normed spaces on the same field
, and
be a mapping. I use the notation N are the norm on
and on
respectively. In this paper, I study the relationship between Quadratic-type functional equations and Quadratic
-function inequalities when
is a fuzzy normed space and
is a fuzzy Banach space.
In fact, when
is a fuzzy normed space and
is a fuzzy Banach space we solve and prove the Hyers-Ulam stability of the following relationship between quadratic
-function inequalities and quadratic-type functional equations:
(1)
based on following Generalized Quadratic functional equations with 2k-variable
.
Note that: With k is a positive integer and
.
The study of the functional equation stability originated from a question of S.M. Ulam [1] , concerning the stability of group homomorphisms. Let
be a group and let
be a metric group with metric
. Geven
, does there exist a
such that if
satisfy the condition
, for all
then there is a homomorphism
with
, for all
, if the answer, is affirmative, we would say that equation of homomophism
is stable. The concept of stability for a functional equation arises when we replace a functional equation with an inequality which acts as a perturbation of the equation. Thus the stability question of functional equations is that how the solutions of the inequality differ from those of the given function equation.
Hyers [2] gave a first affirmative partial answer to the question of Ulam for Banach spaces. Hyers’ Theorem was generalized by Aoki [3] for additive mappings and by Th.M. Rassias [4] for linear mappings by considering an unbounded Cauchy difference. A generalization of the Th.M. Rassias theorem was obtained by Găvrut [5] by replacing the unbounded Cauchy difference with a general control function in the spirit of Th.M. Rassias’ approach. The stability problems of several functional equations have been extensive.
Through the process of studying the works of mathematicians see ( [6] [7] [8] [9] [10] [11] ) in 2020, I set up a general quadratic equation with 2k-variables on the space Non-Archimedean Banach.
(2)
Next in 2020, I build quadratic inequalities on the application of groups and rings,
(3)
for all
and
(4)
for all
.
Next in 2021, Ly Van An construct the quadratic inequality functional inequalities in non-Archimedean Banach spaces and Banach spaces,
(5)
and
(6)
Continuing into 2021, Ly Van An construct the quadratic inequality on γ-homogeneous complex Banach space,
(7)
and
(8)
Next in 2023, Ly Van An generalized stability of functional inequalities with 3k-variables associated for Jordan-von Neumann-type additive functional equation,
(9)
and
(10)
final
(11)
Continuing into 2023, Ly Van An construct the broadly derivation on fuzzy Banach algebra involving functional equations and general Cauchy-Jensen functional inequalities,
(12)
The paper is organized as followings:
In section preliminary, we remind some basic notations in [12] - [18] such as Fuzzy normed spaces, Extended metric space theorem and solutions of the Jensen function equation.
Section 3: Setting up quadratic
-function inequalities (1) based on quadratic Equation (2).
3.1: Condition for existence of solution of (1).
3.2: Establishing a solution for the quadratic
-function inequality (1). So that we solve and proved the Hyers-Ulam type stability for functional Equation (1) i.e. the functional equations with 2k-variables. Under suitable assumptions on spaces
and
, we will prove that the mappings satisfying the functional Equations (1).
Thus, the results in this paper are generalization of those in [19] - [65] .
2. Preliminaries
2.1. Fuzzy Normed Spaces
Let X be a real vector space. Afunction
is called a fuzzy norm on X if for all
and all
,
1) (N1)
for
;
2) (N2)
if and only if
for all
;
3) (N3)
if
;
4) (N4)
;
5) (N5)
is a non-decreasing function of
and
;
6) (N6) for
,
is continuous on
.
The pair
is called a fuzzy normed vector space:
1) Let
be a fuzzy normed vector space. A sequence
in X is said to be convergent or converge if there exists an
such that
for all
. In this case, x is called the limit of the sequence
and we denote it by
.
2) Let
be a fuzzy normed vector space. A sequence
in X is called Cauchy if for each
and each
there exists an
such that for all
and all
, we have
.
It is well-known that every convergent sequence in a fuzzy normedvector space is Cauchy. If each Cauchy sequence is convergent, then the fuzzy norm is said to be complete and the fuzzy normed vector space is called a fuzzy Banach space. We say that a mapping
between fuzzy normed vector spaces X and Y is continuous at a point
if for each sequence
converging to
in X, then the sequence
converges to
. If
is continuous at each
, then
is said to be continuous on X.
Let X be an algebra and
a fuzzy normed space.
1) The fuzzy normed space
is called a fuzzy normed algebra if
, for all
and all positive real numbers s and t.
2) A complete fuzzy normed algebra is called a fuzzy Banach algebra.
Let
and
be fuzzy normed algebras. Then a multiplicative
-linear mapping
is called a fuzzy algebra homomorphism. Example:
Let
be a normed algebra. Let
. Then
is a fuzzy norm on X and
is a fuzzy normed algebra. Let
and
be fuzzy normed algebras. Then a multiplicative
-linear mapping
is called a fuzzy algebra homomorphism.
2.2. Extended Metric Space Theorem
Theorem 1. Let
be a complete generalized metric space and let
be a strictly contractive mapping with Lipschitz constant
. Then for each given element
, either
, for all nonnegative integers n or there exists a positive integer
such that
1)
,
;
2) The sequence
converges to a fixed point
of J;
3)
is the unique fixed point of J in the set
;
4)
.
2.3. Solutions of the Equation
The functional equation
is called the Qquadratic equation. In particular, every solution of the quadratic equation is said to be a quadratic mapping.
2.4. Solutions of the Inequalities
The solution of the quadratic function inequalities is called the quadratic mapping.
3. Setting up Quadratic
-Function Inequalities (1) Based on Quadratic Equation (2)
3.1. Condition for Existence of Solution of (1)
In this section, assume that
and
be a fuzzy normed vector spaces Under this setting, we can show that the mappings satisfying (1) is quadratic and
.
Lemma 2. Suppose that
be a fuzzy normed vector space and let
be a mapping and it satisfies the functional inequality
(13)
For all
and all
then f is quadratic.
Proof. I replacing
by
in (13), we have
(14)
Thus
.
Next I replacing
by
in (13), we have
(15)
So
(16)
For all
.
Now I consider
. That
. (17)
It follows from (13) and (14)
. (18)
Next I put
(18) I have
(19)
for all
. By (N5) and (N6) I have
(20)
for all
, since
.
Hence f is quadratic mapping as we expected. □
3.2. Establishing a Solution for the Quadratic
-Function Inequality (1)
In this section, assume that
is a fuzzy normed space and
is a fuzzy Banach space. Under this setting, we can show that the mappings satisfying (1) is quadratic and
.
Theorem 3. Let
be a function such that there exists an
,
(21)
for all
for
.
Let
be a mapping satisfying
(22)
for all
for
, for all
. Then
(23)
exists each
and defines a quadratic mapping
such that
(24)
for all
and
.
Proof. I replacing
by
in (22), I have
(25)
Thus
.
Next I replacing
by
in (22), we get
(26)
for all
. Now we consider the set
, and introduce the generalized metric on
as follows:
(27)
where, as usual,
. That has been proven by mathematicians
is complete (see [47] ).
Now we cosider the linear mapping
such that
, for all
. Let
be given such that
then
Hence
(28)
So
implies that
. This means that
, for all
. It folows from (38) that
(29)
for all
. So
. By Theorem 1, there exists a mapping
satisfying the following:
1) A is a fixed point of T, i.e.,
(30)
for all
. The mapping A is a unique fixed point T in the set
. This implies that A is a unique mapping satisfying (38) such that there exists a
satisfying
2)
as
. This implies equality
, for all
.
3)
, which implies the inequality.
4)
.
This implies that the inequality (24) holds.
By (22)
(31)
for all
for
, for all
and for all
. So
(32)
for all
for
, for all
and for all
. So since
, for all
for all
,
,
. So
(33)
So the mapping
is a Quadratic mapping, as I desired. □
Theorem 4. Let
be a function such that there exists an
,
(34)
for all
for
.
Let
be a mapping satisfying
(35)
for all
for
, for all
. Then
(36)
exists each
and defines a quadratic mapping
such that
(37)
for all
and
.
Proof. Suppose that
be the generalized metric space defined in the proof of theorem 3.
From (35) I have
(38)
for all
, and for all
Now we cosider the linear mapping
such that
, for all
. So
. Thus
which implies that the inequality (37) Satisfied. The rest of the proof is similar to the proof of Theorem 3. □
From the above theorems we have the following corollary:
Corollary 1. Suppose
and let p be a real number with
. Let
be a normed vector space with norm
Let
be a mapping satisfying
(39)
for all
for
, for all
. Then
(40)
exists each
and defines a quadratic mapping
such that
(41)
for all
and
.
Corollary 2. Suppose
and let p be a real number with
.Let
be a normed vector space with norm
Let
be a mapping satisfying
(42)
for all
for
, for all
. Then
(43)
exists each
and defines a quadratic mapping
such that
(44)
for all
and
.
4. Conclusion
In this paper, I construct the
-function inequality on fuzzy space, which is a great idea for the field of functional equations. Then I show how to find their solutions in spaces constructed by Mathematicians.