Outstanding Development of the Quadratic Φ(μ1,μ2)-Functional Inequatities with 2k-Variables in Fuzzy Banach Space

Abstract

In this paper, I work on expanding the Quadratic Φ(μ1,μ2)-function inequalities by relying on the general quadratic functional equation with 2k-variables on the fuzzy Banach space. That’s the main result of this.

Share and Cite:

An, L.V. (2023) Outstanding Development of the Quadratic Φ(μ1,μ2)-Functional Inequatities with 2k-Variables in Fuzzy Banach Space. Open Access Library Journal, 10, 1-17. doi: 10.4236/oalib.1110592.

1. Introduction

Let X and Y are fuzzy normed spaces on the same field K , and f : X Y be a mapping. I use the notation N are the norm on X and on Y respectively. In this paper, I study the relationship between Quadratic-type functional equations and Quadratic ϕ ( μ 1 , μ 2 ) -function inequalities when ( X , N ) is a fuzzy normed space and ( Y , N ) is a fuzzy Banach space.

In fact, when X is a fuzzy normed space and Y is a fuzzy Banach space we solve and prove the Hyers-Ulam stability of the following relationship between quadratic ϕ ( μ 1 , μ 2 ) -function inequalities and quadratic-type functional equations:

N ( 2 k f ( i = 1 k x i + i = 1 k y i 2 k ) + 2 k f ( i = 1 k x i i = 1 k y i 2 k ) i = 1 k f ( x i ) i = 1 k f ( y i ) , t ) min ( N ( μ 1 ( f ( i = 1 k x i + i = 1 k y i ) + f ( i = 1 k x i i = 1 k y i ) 2 i = 1 k f ( x i ) 2 i = 1 k f ( y i ) ) , t ) , N ( μ 2 ( 4 k f ( i = 1 k x i + i = 1 k y i 2 k ) + f ( i = 1 k x i i = 1 k y i ) 2 i = 1 k f ( x i ) 2 i = 1 k f ( y i ) ) , t ) ) (1)

based on following Generalized Quadratic functional equations with 2k-variable

f ( i = 1 k x i + i = 1 k y i ) + f ( i = 1 k x i i = 1 k y i ) = 2 i = 1 k f ( x i ) + 2 k = 1 k f ( y i )

A 0 = { h : : g ( μ 1 , μ 2 ) = 1 μ 1 + 1 μ 2 < 1 , μ 1 , μ 2 } .

Note that: With k is a positive integer and h A 0 .

The study of the functional equation stability originated from a question of S.M. Ulam [1] , concerning the stability of group homomorphisms. Let ( G , ) be a group and let ( G , , d ) be a metric group with metric d ( , ) . Geven ε > 0 , does there exist a δ > 0 such that if f : G G satisfy the condition d ( f ( x y ) , f ( x ) f ( y ) ) < δ , for all x , y G then there is a homomorphism h : G G with d ( f ( x ) , h ( x ) ) < ε , for all x G , if the answer, is affirmative, we would say that equation of homomophism h ( x y ) = h ( y ) h ( y ) 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.

f ( i = 1 k x i + i = 1 k y i ) + f ( i = 1 k x i i = 1 k y i ) 2 i = 1 k f ( x i ) 2 k = 1 k f ( y i ) (2)

Next in 2020, I build quadratic inequalities on the application of groups and rings,

f ( j = 1 n x j + 1 n j = 1 n x n + j ) + f ( j = 1 n x j 1 n j = 1 n x n + j ) 2 j = 1 n f ( x j ) 2 j = 1 n f ( x n + j n ) Y ε , (3)

for all ε 0 and

f ( j = 1 n x j + 1 n j = 1 n x n + j ) + f ( j = 1 n x j 1 n j = 1 n x n + j ) 2 j = 1 n f ( x j ) 2 j = 1 n f ( x n + j n ) Y δ , (4)

for all δ 0 .

Next in 2021, Ly Van An construct the quadratic inequality functional inequalities in non-Archimedean Banach spaces and Banach spaces,

F ( 1 k j = 1 k x k + j + j = 1 k x j ) + F ( 1 k j = 1 k x k + j j = 1 k x j ) 2 j = 1 k F ( x k + j k ) 2 j = 1 k F ( x j ) X 2 F ( 1 k 2 j = 1 k x k + j + 1 k j = 1 k x j ) + F ( 1 k 2 j = 1 k x k + j 1 k j = 1 k x j ) 2 k j = 1 k F ( x k + j k ) 2 k j = 1 k F ( x j ) X 2 (5)

and

F ( 1 k 2 j = 1 k x k + j + 1 k j = 1 k x j ) + F ( 1 k 2 j = 1 k x k + j 1 k j = 1 k x j ) 2 k j = 1 k F ( x k + j k ) 2 k j = 1 k F ( x j ) X 2 F ( 1 k j = 1 k x k + j + j = 1 k x j ) + F ( 1 k j = 1 k x k + j j = 1 k x j ) 2 j = 1 k F ( x k + 1 k ) 2 j = 1 k F ( x j ) X 2 , (6)

Continuing into 2021, Ly Van An construct the quadratic inequality on γ-homogeneous complex Banach space,

f ( j = 1 k x k + j k + j = 1 k x j ) + f ( j = 1 k x k + j k j = 1 k x j ) 2 j = 1 k f ( x k + j k ) 2 j = 1 k f ( x j ) Y β ( k f ( j = 1 k x k + j k 2 + 1 k j = 1 k x j ) + k f ( j = 1 k x k + j k 2 1 k j = 1 k x j ) 2 j = 1 k f ( x k + j k ) 2 j = 1 k f ( x j ) ) Y (7)

and

k f ( j = 1 k x k + j k 2 + 1 k j = 1 k x j ) + k f ( j = 1 k x k + j k 2 1 k j = 1 k x j ) 2 j = 1 k f ( x k + j k ) 2 j = 1 k f ( x j ) Y β ( f ( j = 1 k x k + j k + j = 1 k x j ) + f ( j = 1 k x k + j k j = 1 k x j ) 2 j = 1 k f ( x k + j k ) 2 j = 1 k f ( x j ) ) Y (8)

Next in 2023, Ly Van An generalized stability of functional inequalities with 3k-variables associated for Jordan-von Neumann-type additive functional equation,

j = 1 k f ( x j ) + j = 1 k f ( y j ) + j = 1 k f ( z j ) Y 2 k f ( j = 1 k x j + j = 1 k y j + j = 1 k z j 2 k ) Y , (9)

and

j = 1 k f ( x j ) + j = 1 k f ( y j ) + j = 1 k f ( z j ) Y f ( j = 1 k x j + j = 1 k y j + j = 1 k z j ) Y , (10)

final

j = 1 k f ( x j ) + j = 1 k f ( y j ) + 2 k j = 1 k f ( z j ) Y 2 k f ( j = 1 k x j + j = 1 k y j 2 k + j = 1 k z j ) Y . (11)

Continuing into 2023, Ly Van An construct the broadly derivation on fuzzy Banach algebra involving functional equations and general Cauchy-Jensen functional inequalities,

j = 1 k f ( x j ) + j = 1 k f ( y j ) + f ( 2 k j = 1 k z j ) 2 k f ( j = 1 k x j + y j 2 k + j = 1 k z j ) (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 ϕ ( μ 1 , μ 2 ) -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 h ( μ 1 , μ 2 ) -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 X and Y , 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 N : X × R [ 0,1 ] is called a fuzzy norm on X if for all x , y X and all s , t ,

1) (N1) N ( x , t ) = 0 for t 0 ;

2) (N2) x = 0 if and only if N ( x , t ) = 1 for all t > 0 ;

3) (N3) N ( c x , t ) = N ( x , t | c | ) if c 0 ;

4) (N4) N ( x + y , s + t ) min { N ( x , s ) , N ( y , t ) } ;

5) (N5) N ( x , ) is a non-decreasing function of and lim t N ( x , t ) = 1 ;

6) (N6) for x 0 , N ( x , ) is continuous on .

The pair ( X , N ) is called a fuzzy normed vector space:

1) Let ( X , N ) be a fuzzy normed vector space. A sequence { x n } in X is said to be convergent or converge if there exists an x X such that lim n N ( x n x , t ) = 1 for all t > 0 . In this case, x is called the limit of the sequence { x n } and we denote it by N lim n x n = x .

2) Let ( X , N ) be a fuzzy normed vector space. A sequence { x n } in X is called Cauchy if for each ε > 0 and each t > 0 there exists an n 0 N such that for all n = n 0 and all p > 0 , we have N ( x n + p x n , t ) > 1 ε .

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 f : X Y between fuzzy normed vector spaces X and Y is continuous at a point x 0 X if for each sequence { x n } converging to x 0 in X, then the sequence { f ( x n ) } converges to f ( x 0 ) . If f : X Y is continuous at each x X , then f : X Y is said to be continuous on X.

Let X be an algebra and ( X , N ) a fuzzy normed space.

1) The fuzzy normed space ( X , N ) is called a fuzzy normed algebra if N ( x y , s t ) N ( x , s ) N ( y , t ) , for all x , y X and all positive real numbers s and t.

2) A complete fuzzy normed algebra is called a fuzzy Banach algebra.

Let ( X , N X ) and ( Y , N ) be fuzzy normed algebras. Then a multiplicative -linear mapping H : ( X , N X ) ( Y , N ) is called a fuzzy algebra homomorphism. Example:

Let ( X , ) be a normed algebra. Let N ( x , t ) = { t t + x t > 0 0 t 0 x X . Then N ( x , t ) is a fuzzy norm on X and ( X , N ( x , t ) ) is a fuzzy normed algebra. Let ( X , N X ) and ( Y , N ) be fuzzy normed algebras. Then a multiplicative -linear mapping H : ( X , N X ) ( Y , N ) is called a fuzzy algebra homomorphism.

2.2. Extended Metric Space Theorem

Theorem 1. Let ( X , d ) be a complete generalized metric space and let J : X X be a strictly contractive mapping with Lipschitz constant L < 1 . Then for each given element x X , either d ( J n , J n + 1 ) = , for all nonnegative integers n or there exists a positive integer n 0 such that

1) d ( J n , J n + 1 ) < , n n 0 ;

2) The sequence { J n x } converges to a fixed point y * of J;

3) y * is the unique fixed point of J in the set Y = { y X | d ( J n , J n + 1 ) < } ;

4) d ( y , y * ) 1 1 l d ( y , J y ) y Y .

2.3. Solutions of the Equation

The functional equation f ( x + y ) + f ( x y ) = 2 f ( x ) + 2 f ( y ) 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 ( μ 1 , μ 2 ) -Function Inequalities (1) Based on Quadratic Equation (2)

3.1. Condition for Existence of Solution of (1)

In this section, assume that X and Y be a fuzzy normed vector spaces Under this setting, we can show that the mappings satisfying (1) is quadratic and h A .

Lemma 2. Suppose that ( Y , N ) be a fuzzy normed vector space and let f : X Y be a mapping and it satisfies the functional inequality

N ( 2 k f ( i = 1 k x i + i = 1 k y i 2 k ) + 2 k f ( i = 1 k x i i = 1 k y i 2 k ) i = 1 k f ( x i ) i = 1 k f ( y i ) , t ) min ( N ( μ 1 ( f ( i = 1 k x i + i = 1 k y i ) + f ( i = 1 k x i i = 1 k y i ) 2 i = 1 k f ( x i ) 2 i = 1 k f ( y i ) ) , t ) , N ( μ 2 ( 4 k f ( i = 1 k x i + i = 1 k y i 2 k ) + f ( i = 1 k x i i = 1 k y i ) 2 i = 1 k f ( x i ) 2 i = 1 k f ( y i ) ) , t ) ) (13)

For all x i , y i X , i = 1 k and all t > 0 then f is quadratic.

Proof. I replacing ( x 1 , , x k , y 1 , , y k ) by ( 0, ,0,0, ,0 ) in (13), we have

N ( 3 k μ 1 f ( 0 ) , t ) N ( 0, t ) = 1 (14)

Thus f ( 0 ) = 0 .

Next I replacing ( x 1 , , x k , y 1 , , y k ) by ( x , , x , x , , x ) in (13), we have

1 N ( μ 1 ( f ( 2 k x ) 4 k f ( x ) , t ) ) (15)

So

f ( 2 k x ) = 4 k f ( x ) (16)

For all x X .

Now I consider G : X Y . That

G ( x 1 , , x k , y 1 , , y k ) = 2 k f ( i = 1 k x i + i = 1 k y i 2 k ) + 2 k f ( i = 1 k x i i = 1 k y i 2 k ) i = 1 k f ( x i ) i = 1 k f ( y i ) . (17)

It follows from (13) and (14)

N ( 1 2 k G ( x 1 , , x k , y 1 , , y k ) , t ) min ( N ( μ 1 G ( x 1 , , x k , y 1 , , y k ) , t ) , N ( μ 2 G ( x 1 , , x k , y 1 , , y k ) , t ) ) . (18)

Next I put v = 2 t (18) I have

N ( G ( x 1 , , x k , y 1 , , y k ) , v ) min ( N ( μ 1 G ( x 1 , , x k , y 1 , , y k ) , v 2 ) , N ( μ 2 G ( x 1 , , x k , y 1 , , y k ) , v 2 ) ) = min ( N ( 1 2 k G ( x 1 , , x k , y 1 , , y k ) , v 4 k | μ 1 | ) , N ( 1 2 k G ( x 1 , , x k , y 1 , , y k ) , v 4 k | μ 2 | ) ) N ( G ( x 1 , , x k , y 1 , , y k ) , 1 4 k h ( μ 1 , μ 2 ) v ) N ( G ( x 1 , , x k , y 1 , , y k ) , h ( μ 1 , μ 2 ) v ) (19)

for all v > 0 . By (N5) and (N6) I have

G ( x 1 , , x k , y 1 , , y k ) = f ( i = 1 k x i + i = 1 k y i ) + f ( i = 1 k x i i = 1 k y i ) = 2 i = 1 k f ( x i ) + 2 k = 1 k f ( y i ) (20)

for all x 1 , , x k , y 1 , , y k X , since h ( μ 1 , μ 2 ) A 0 .

Hence f is quadratic mapping as we expected. □

3.2. Establishing a Solution for the Quadratic h ( μ 1 , μ 2 ) -Function Inequality (1)

In this section, assume that ( X , N ) is a fuzzy normed space and ( Y , N ) is a fuzzy Banach space. Under this setting, we can show that the mappings satisfying (1) is quadratic and h A 0 .

Theorem 3. Let ψ : X 2 k [ 0, ) be a function such that there exists an L < 1 2 k ,

ψ ( x 1 , , x k , y 1 , , y k ) 4 k L ψ ( x 1 2 k , , x 1 2 k , y 1 2 k , , y k 2 k ) (21)

for all x j , y j X for j = 1 k .

Let f : X Y be a mapping satisfying

min ( N ( 2 k f ( i = 1 k x i + i = 1 k y i 2 k ) + 2 k f ( i = 1 k x i i = 1 k y i 2 k ) i = 1 k f ( x i ) i = 1 k f ( y i ) , t ) , t t + ψ ( x 1 , , x k , y 1 , , y k ) ) min ( N ( μ 1 ( f ( i = 1 k x i + i = 1 k y i ) + f ( i = 1 k x i i = 1 k y i ) 2 i = 1 k f ( x i ) 2 i = 1 k f ( y i ) ) , t ) , N ( μ 2 ( 4 k f ( i = 1 k x i + i = 1 k y i 2 k ) + f ( i = 1 k x i i = 1 k y i ) 2 i = 1 k f ( x i ) 2 i = 1 k f ( y i ) ) , t ) ) (22)

for all x j , y j X for j = 1 k , for all t > 0 . Then

A ( x ) = N lim n 1 ( 4 k ) n f ( ( 2 k ) n x ) (23)

exists each x X and defines a quadratic mapping A : X Y such that

N ( f ( x ) A ( x ) , t ) 4 k | μ 1 | ( 1 L ) t 4 k | μ 1 | ( 1 L ) t + ψ ( x , , x , x , , x ) (24)

for all x X and t > 0 .

Proof. I replacing ( x 1 , , x k , y 1 , , y k ) by ( 0, ,0,0, ,0 ) in (22), I have

N ( 3 k μ 1 f ( 0 ) , t ) t t + φ ( 0, ,0,0, ,0 ) = 1 (25)

Thus f ( 0 ) = 0 .

Next I replacing ( x 1 , , x k , y 1 , , y k ) by ( x , , x , x , , x ) in (22), we get

t t + φ ( x , , x , x , , x ) N ( μ 1 ( f ( 2 k x ) 4 k f ( x ) ) , t ) N ( f ( x ) 1 4 k f ( 2 k x ) , t 4 k | μ 1 | ) (26)

for all x X . Now we consider the set M : = { h : X Y } , and introduce the generalized metric on M as follows:

d ( g , h ) : = inf { β + : N ( g ( x ) h ( x ) , β t ) t t + φ ( x , , x , x , , x ) , x X , t > 0 } , (27)

where, as usual, inf ϕ = + . That has been proven by mathematicians ( M , d ) is complete (see [47] ).

Now we cosider the linear mapping T : M M such that T g ( x ) : = 1 4 k g ( 2 k x ) , for all x X . Let g , h M be given such that d ( g , h ) = ε then N ( g ( x ) h ( x ) , ε t ) t t + φ ( x , , x , x , , x ) , x X , t > 0. Hence

N ( g ( x ) h ( x ) , ε L t ) = N ( 1 4 k g ( 2 k x ) 1 4 k h ( 2 k x ) , L ε t ) = N ( g ( 2 k x ) h ( 2 k x ) ,4 L ε t ) 4 L t 4 L t + φ ( 2 k x , ,2 k x ,2 k x , ,2 k x ) 4 L t 4 L t + 4 L φ ( x , , x , x , , x ) = t t + φ ( x , , x , x , , x ) , x X , t > 0. (28)

So d ( g , h ) = ε implies that d ( T g , T h ) L ε . This means that d ( T g , T h ) L d ( g , h ) , for all g , h M . It folows from (38) that

t t + φ ( x , , x , x , , x ) N ( f ( x ) 1 4 k f ( 2 k x ) , t 4 k | μ 1 | ) (29)

for all x X . So d ( f , T f ) 1 4 k | μ 1 | . By Theorem 1, there exists a mapping A : X Y satisfying the following:

1) A is a fixed point of T, i.e.,

A ( 2 k x ) = 4 k A ( x ) (30)

for all x X . The mapping A is a unique fixed point T in the set = { g M : d ( f , g ) < } . This implies that A is a unique mapping satisfying (38) such that there exists a β ( 0, ) satisfying

N ( f ( x ) A ( x ) , β t ) t t + φ ( x , , x , x , , x ) , x X .

2) d ( T l f , H ) 0 as l . This implies equality

N lim l 1 ( 4 k ) l f ( ( 2 k ) l x ) = A ( x ) , for all x X .

3) d ( f , A ) 1 1 L d ( f , T f ) , which implies the inequality.

4) d ( f , A ) 1 | 4 k | ( 1 L ) .

This implies that the inequality (24) holds.

By (22)

min ( N ( 1 ( 4 k ) n ( 2 k f ( ( 2 k ) n 1 ( i = 1 k x i + i = 1 k y i ) ) + 2 k f ( ( 2 k ) n 1 ( i = 1 k x i i = 1 k y i ) ) i = 1 k f ( ( 2 k ) n x i ) i = 1 k f ( ( 2 k ) n y i ) , t ( 4 k ) n ) , t t + ψ ( ( 2 k ) n x 1 , , ( 2 k ) n x k , ( 2 k ) n y 1 , , ( 2 k ) n y k ) )

min ( N ( μ 1 ( 4 k ) n ( f ( ( 2 k ) n ( i = 1 k x i + i = 1 k y i ) ) + f ( ( 2 k ) n ( i = 1 k x i i = 1 k y i ) ) 2 i = 1 k f ( ( 2 k ) n x i ) 2 i = 1 k f ( ( 2 k ) n y i ) ) , t ( 4 k ) n ) ,

N ( μ 2 ( 4 k ) n ( 4 k f ( ( 2 k ) n 1 ( i = 1 k x i + i = 1 k y i 2 k ) ) + f ( ( 2 k ) n ( i = 1 k x i i = 1 k y i ) ) 2 i = 1 k f ( ( 2 k ) n x i ) 2 i = 1 k f ( ( 2 k ) n y i ) ) , t ( 4 k ) n ) ) (31)

for all x j , y j X for j = 1 k , for all t > 0 and for all n . So

min ( N ( 1 ( 4 k ) n ( 2 k f ( ( 2 k ) n 1 ( i = 1 k x i + i = 1 k y i ) ) + 2 k f ( ( 2 k ) n 1 ( i = 1 k x i i = 1 k y i ) ) i = 1 k f ( ( 2 k ) n x i ) i = 1 k f ( ( 2 k ) n y i ) , t ) , ( 4 k ) k t ( 4 k ) k t + ( 4 k ) k ψ ( x 1 , , x k , y 1 , , y k ) )

min ( N ( μ 1 ( 4 k ) n ( f ( ( 2 k ) n ( i = 1 k x i + i = 1 k y i ) ) + f ( ( 2 k ) n ( i = 1 k x i i = 1 k y i ) ) 2 i = 1 k f ( ( 2 k ) n x i ) 2 i = 1 k f ( ( 2 k ) n y i ) ) , t ) , N ( μ 2 ( 4 k ) n ( 4 k f ( ( 2 k ) n 1 ( i = 1 k x i + i = 1 k y i 2 k ) ) + f ( ( 2 k ) n ( i = 1 k x i i = 1 k y i ) ) 2 i = 1 k f ( ( 2 k ) n x i ) 2 i = 1 k f ( ( 2 k ) n y i ) ) , t ) ) (32)

for all x j , y j X for j = 1 k , for all t > 0 and for all n . So since lim n ( 4 k ) n t ( 4 k ) n t + ( 4 k ) n L n ψ ( x 1 , , x k , y 1 , , y k , z 1 , , z k ) = 1 , for all x j , y j , z j X for all j k , t > 0 , q . So

N ( 2 k A ( i = 1 k x i + i = 1 k y i 2 k ) + 2 k A ( i = 1 k x i i = 1 k y i 2 k ) i = 1 k A ( x i ) i = 1 k A ( y i ) , t ) min ( N ( γ 1 ( A ( i = 1 k x i + i = 1 k y i ) + A ( i = 1 k x i i = 1 k y i ) 2 i = 1 k A ( x i ) 2 i = 1 k A ( y i ) ) , t ) , N ( γ 2 ( 4 k A ( i = 1 k x i + i = 1 k y i 2 k ) + A ( i = 1 k x i i = 1 k y i ) 2 i = 1 k A ( x i ) 2 i = 1 k A ( y i ) ) , t ) ) (33)

So the mapping A : X X is a Quadratic mapping, as I desired. □

Theorem 4. Let ψ : X 2 k [ 0, ) be a function such that there exists an L < 1 2 k ,

ψ ( x 1 , , x k , y 1 , , y k ) 1 4 k L ψ ( 2 k x 1 , ,2 k x 1 ,2 k y 1 , ,2 k y k ) (34)

for all x j , y j X for j = 1 k .

Let f : X Y be a mapping satisfying

min ( N ( 2 k f ( i = 1 k x i + i = 1 k y i 2 k ) + 2 k f ( i = 1 k x i i = 1 k y i 2 k ) i = 1 k f ( x i ) i = 1 k f ( y i ) , t ) , t t + ψ ( x 1 , , x k , y 1 , , y k ) ) min ( N ( μ 1 ( f ( i = 1 k x i + i = 1 k y i ) + f ( i = 1 k x i i = 1 k y i ) 2 i = 1 k f ( x i ) 2 i = 1 k f ( y i ) ) , t ) , N ( μ 2 ( 4 k f ( i = 1 k x i + i = 1 k y i 2 k ) + f ( i = 1 k x i i = 1 k y i ) 2 i = 1 k f ( x i ) 2 i = 1 k f ( y i ) ) , t ) ) (35)

for all x j , y j X for j = 1 k , for all t > 0 . Then

A ( x ) = N lim n ( 4 k ) n f ( x ( 2 k ) n ) (36)

exists each x X and defines a quadratic mapping A : X Y such that

N ( f ( x ) A ( x ) , t ) 4 k | μ 1 | ( 1 L ) t 4 k | μ 1 | ( 1 L ) + L ψ ( x , , x , x , , x ) (37)

for all x X and t > 0 .

Proof. Suppose that ( M , d ) be the generalized metric space defined in the proof of theorem 3.

From (35) I have

t t + φ ( x , , x , x , , x ) N ( f ( x ) 4 k f ( x ( 2 k ) n ) , L t 4 k | μ 1 | ) (38)

for all x X , and for all t > 0.

Now we cosider the linear mapping T : M M such that T g ( x ) : = 4 k g ( x 2 k ) , for all x X . So d ( f , T f ) L 4 k | μ 1 | . Thus d ( f , A ) L 4 k | μ 1 | ( 1 L ) . 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 θ 0 and let p be a real number with 0 < p < 2 . Let X be a normed vector space with norm Let f : X Y be a mapping satisfying

min ( N ( 2 k f ( i = 1 k x i + i = 1 k y i 2 k ) + 2 k f ( i = 1 k x i i = 1 k y i 2 k )

i = 1 k f ( x i ) i = 1 k f ( y i ) , t ) , t t + θ ( i = 1 k x i p + i = 1 k y i p ) ) min ( N ( μ 1 ( f ( i = 1 k x i + i = 1 k y i ) + f ( i = 1 k x i i = 1 k y i ) 2 i = 1 k f ( x i ) 2 i = 1 k f ( y i ) ) , t ) , N ( μ 2 ( 4 k f ( i = 1 k x i + i = 1 k y i 2 k ) + f ( i = 1 k x i i = 1 k y i ) 2 i = 1 k f ( x i ) 2 i = 1 k f ( y i ) ) , t ) ) (39)

for all x j , y j X for j = 1 k , for all t > 0 . Then

A ( x ) = N lim n 1 ( 4 k ) n f ( ( 2 k ) n x ) (40)

exists each x X and defines a quadratic mapping A : X Y such that

N ( f ( x ) A ( x ) , t ) | μ 1 | ( 4 k ( 2 k ) p ) t 4 k | μ 1 | ( 4 k ( 2 k ) p ) t + θ i = 1 k 2 k x i p (41)

for all x X and t > 0 .

Corollary 2. Suppose θ 0 and let p be a real number with p > 2 .Let X be a normed vector space with norm Let f : X Y be a mapping satisfying

min ( N ( 2 k f ( i = 1 k x i + i = 1 k y i 2 k ) + 2 k f ( i = 1 k x i i = 1 k y i 2 k ) i = 1 k f ( x i ) i = 1 k f ( y i ) , t ) , t t + θ ( i = 1 k x i p + i = 1 k y i p ) ) min ( N ( μ 1 ( f ( i = 1 k x i + i = 1 k y i ) + f ( i = 1 k x i i = 1 k y i ) 2 i = 1 k f ( x i ) 2 i = 1 k f ( y i ) ) , t ) , N ( μ 2 ( 4 k f ( i = 1 k x i + i = 1 k y i 2 k ) + f ( i = 1 k x i i = 1 k y i ) 2 i = 1 k f ( x i ) 2 i = 1 k f ( y i ) ) , t ) ) (42)

for all x j , y j X for j = 1 k , for all t > 0 . Then

A ( x ) = N lim n ( 4 k ) n f ( 1 ( 2 k ) n x ) (43)

exists each x X and defines a quadratic mapping A : X Y such that

N ( f ( x ) A ( x ) , t ) 4 k | μ 1 | ( 4 k ( 2 k ) p ) t 4 k | μ 1 | ( 4 k ( 2 k ) p ) t + θ i = 1 k 4 k x i p (44)

for all x X and t > 0 .

4. Conclusion

In this paper, I construct the ϕ ( μ 1 , μ 2 ) -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.

Conflicts of Interest

The author declares no conflicts of interest.

References

[1] Ulam, S.M. (1960) A Collection of Mathematical Problems. Volume 8, Interscience Publishers, New York.
[2] Hyers, D.H. (1941) On the Stability of the Functional Equation. Proceedings of the National Academy of the United States of America, 27, 222-224. https://doi.org/10.1073/pnas.27.4.222
[3] Aoki, T. (1950) On the Stability of the Linear Transformation in Banach Space. Journal of the Mathematical Society of Japan, 2, 64-66. https://doi.org/10.2969/jmsj/00210064
[4] Rassias, Th.M. (1978) On the Stability of the Linear Mapping in Banach Spaces. Proceedings of the American Mathematical Society, 72, 297-300. https://doi.org/10.1090/S0002-9939-1978-0507327-1
[5] Găvrut, P. (1994) A Generalization of the Hyers-Ulam-Rassias Stability of Approximately Additive Mappings. Journal of Mathematical Analysis and Applications, 184, 431-436. https://doi.org/10.1006/jmaa.1994.1211
[6] Jun, K. and Kim, H. (2002) The Generalized Hyers-Ulam-Rassias Stability of a Cubic Functional Equation. Journal of Mathematical Analysis and Applications, 274, 867-878. https://doi.org/10.1016/S0022-247X(02)00415-8
[7] Lee, S., Im, S. and Hwang, I. (2005) Quartic Functional Equations. Journal of Mathematical Analysis and Applications, 307, 387-394. https://doi.org/10.1016/j.jmaa.2004.12.062
[8] Gilányi, A. (2001) Eine zur Parallelogrammgleichung äquivalente Ungleichung. Aequationes Mathematicae, 62, 303-309. https://doi.org/10.1007/PL00000156
[9] Rätz, J. (2003) On Inequalities Associated with the Jordan-von Neumann Functional Equation. Aequationes Matheaticae, 66, 191-200. https://doi.org/10.1007/s00010-003-2684-8
[10] Park, C., Cho, Y. and Han, M. (2007) Stability of Functional Inequalities Associated with Jordan-von Neumann Type Additive Functional Equations. Journal of Inequalities and Applications, 2007, Article ID: 041820. https://doi.org/10.1155/2007/41820
[11] Fechner, W. (2006) Stability of a Functional Inequality Associated with the Jordan-Von Neumann Functional Equation. Aequationes Mathematicae, 71, 149-161. https://doi.org/10.1007/s00010-005-2775-9
[12] Bag, T. and Samanta, S.K. (2003) Finite Dimensional Fuzzy Normed Linear Spaces. The Journal of Fuzzy Mathematics, 11, 687-705
[13] Mirmostafaee, A.K. and Moslehian, M.S. (2008) Fuzzy Versions of Hyers-Ulam-Rassias Theorem. Fuzzy Sets and Systems, 159, 720-729. https://doi.org/10.1016/j.fss.2007.09.016
[14] Mirmostafaee, A.K. and Moslehian, M.S. (2008) Fuzzy Approximately Cubic Mappings. Information Sciences, 178, 3791-3798. https://doi.org/10.1016/j.ins.2008.05.032
[15] Mirmostafaee, A.K., Mirzavaziri, M. and Moslehian, M.S. (2008) Fuzzy Stability of the Jensen Functional Equation. Fuzzy Sets and Systems, 159, 730-738. https://doi.org/10.1016/j.fss.2007.07.011
[16] Katsaras, A.K. (1984) Fuzzy Topological Vector Spaces II. Fuzzy Sets and Systems, 12, 143-154. https://doi.org/10.1016/0165-0114(84)90034-4
[17] Cădariu, L. andRadu, V. (2003) The Fixed Point Alternative and the Stability of Functional Equations. Fixed Point Theory, 4, 91-96.
[18] Diaz, J. and Margolis, B. (1968) A Fixed Point Theorem of the Alternative for Contractions on a Generalized Complete Metric Space. Bulletin of the American Mathematical Society, 74, 305-309. https://doi.org/10.1090/S0002-9904-1968-11933-0
[19] Van An, L. (2020) Generalized Hyers-Ulam Type Stability of the Type Functional Equation with 2k-Variable in Non-Archimedean Space. International Journal of Mathematics Trends and Technology, 66, 134-147. https://doi.org/10.14445/22315373/IJMTT-V66I7P518
[20] An, L.V. (2020) Generalized Hyers-Ulam Type Stability of the Additive Functional Equation Inequalities with 2n-Variables on an Approximate Group and Ring Homomorphism. Asia Mathematika, 4, 161-175.
[21] An, L.V. (2021) Generalized Hyers-Ulam-Rassias Type Stability of the with 2k-Variable Quadratic Functional Inequalities in Non-Archimedean Banach Spaces and Banach Spaces. Asia Mathematika, 5, 69-83. https://doi.org/10.14445/22315373/IJMTT-V67I9P521
[22] An, L.V. (2021) Generalized Hyers-Ulam Type Stability of the 2k-Variables Quadratic β-Functional Inequalities and Function in γ-Homogeneous Normed Space. International Journal of Mathematics and Its Applications, 9, 81-93.
[23] An, L.V. (2023) Generalized Stability of Functional Inequalities with 3k-Variables Associated for Jordan-von Neumann-Type Additive Functional Equation. Open Access Library Journal, 10, e9681.
[24] Park, C., Najati, A. and Jang, S. (2013) Fixed Points and Fuzzy Stability of an Additive-Quadratic Functional Equation. Journal of Computational Analysis and Applications, 15, 452-462.
[25] Park, C. and Rassias, Th.M. (2007) Fixed Points and Generalized Hyers-Ulam Stability of Quadratic Functional Equations. Journal of Mathematical Inequalities, 1, 515-528. https://doi.org/10.7153/jmi-01-43
[26] Radu, V. (2003) The Fixed Point Alternative and the Stability of Functional Equations. Fixed Point Theory, 4, 91-96.
[27] Chang, I. and Lee, Y. (2013) Additive and Quadratic Type Functional Equation and Its Fuzzy Stability. Results in Mathematics, 63, 717-730. https://doi.org/10.1007/s00025-012-0229-y
[28] Cheng, S.C. and Mordeson, J.M. (1994) Fuzzy Linear Operators and Fuzzy Normed Linear Spaces. Bulletin of the Calcutta Mathematical Society, 86, 429-436.
[29] Rassias, T.M. (2000) On the Stability of Functional Equations in Banach Spaces. Journal of Mathematical Analysis and Applications, 251, 264-284. https://doi.org/10.1006/jmaa.2000.7046
[30] Rassias, Th.M. (1990) Problem 16; 2, Report of the 27th International Symposium on Functional Equations. Aequationes Mathematicae, 39, 292-293, 309.
[31] Gajda, Z. (1991) On Stability of Additive Mappings. International Journal of Mathematics and Mathematical Sciences, 14, 431-434. https://doi.org/10.1155/S016117129100056X
[32] Rassias, Th.M. and Semrl, P. (1992) On the Behavior of Mappings Which Do Not Satisfy Hyers-Ulam Stability. Proceedings of the American Mathematical Society, 114, 989-993. https://doi.org/10.1090/S0002-9939-1992-1059634-1
[33] An, L.V. (2021) Generalized Hyers-Ulam Stability of the Additive Functional Inequalities with 2n-Variables in Non-Archimedean Banach Space. Bulletin of Mathematics and Statistics Research, 9, 67-73.
[34] An, L.V. (2023) Generalized Stability of Functional Inequalities with 3k-Variables Associated for Jordan-von Neumann-Type Additive Functional Equation. Open Access Library Journal, 10, e9681. https://www.scirp.org/journal/oalibj https://doi.org/10.4236/oalib.1109681
[35] Lee, J.R., Park, C. and Shin, D.Y. (2014) Additive and Quadratic Functional in Equalities in Non-Archimedean Normed Spaces. International Journal of Mathematical Analysis, 8, 1233-1247. https://www.m-hikari.com https://doi.org/10.12988/ijma.2014.44113
[36] Rassias, J.M. (1982) On Approximation of Approximately Linear Mappings by Linear Mappings. Journal of Functional Analysis, 46, 126-130. https://doi.org/10.1016/0022-1236(82)90048-9
[37] Acze’l, J. and Dhombres, J. (1989) Functional Equations in Several Variables, with Applications to Mathematics, Information Theory and to the Natural and Social Sciences. Encyclopedia of Mathematics and Its Applications. Cambridge University Press, Cambridge.
[38] Cadariu, L. and Radu, V. (2003) Fixed Points and the Stability of Jensen’s Functional Equation. JIPAM. Journal of Inequalities in Pure and Applied Mathematics, 4, Article No. 4.
[39] Chang, I.S., Eshaghi Gordji, M., Khodaei, H. and Kim, H.M. (2013) Nearly Quartic Mappings in β-Homogeneous F-Spaces. Results in Mathematics, 63, Article ID: 529541. https://doi.org/10.1007/s00025-011-0215-9
[40] Cho, Y.J., Park, C.K. and Saadati, R. (2010) Functional Inequalities in Non-Archimedean Banach Spaces. Applied Mathematics Letters, 23, 1238-1242. https://doi.org/10.1016/j.aml.2010.06.005
[41] Cholewa, P.W. (1984) Remarks on the Stability of Functional Equations. Aequationes Mathematicae, 27, 76-86. https://doi.org/10.1007/BF02192660
[42] Ebadian, A., Ghobadipour, N., Rassias, T.M. and Eshaghi Gordji, M. (2011) Functional Inequalities Associated with Cauchy Additive Functional Equation in Non-Archimedean Spaces. Discrete Dynamics in Nature and Society, 2011, Article ID: 929824. https://doi.org/10.1155/2011/929824
[43] Isac, G. and Rassias, T.M. (1993) On the Hyers-Ulam Stability of Additive Mappings. Journal of Approximation Theory, 72, 131-137. https://doi.org/10.1006/jath.1993.1010
[44] Lakshmikantham, V., Leela, S. and Devi, J.V. (2009) Theory of Fractional Dynamic Systems. Cambridge Scientific Publishers, Cambridge.
[45] Lee, S.-B., Bae, J.-H. and Park, W.-G. (2014) On the Stability of an Additive Functional Inequality for the Fixed Point Alternative. Journal of Computational Analysis and Applications, 17, 361-371.
[46] Lu, G. and Park, C.K. (2011) Hyers-Ulam Stability of Additive Set-Valued Functional Equations. Applied Mathematics Letters, 24, 1312-1316. https://doi.org/10.1016/j.aml.2011.02.024
[47] Park, C.K., Cho, Y.S. and Han, M.-H. (2007) Functional Inequalities Associated with Jordan-von Neumann-Type Additive Functional Equations. Journal of Inequalities and Applications, 2007, Article ID: 041820. https://doi.org/10.1155/2007/41820
[48] Rassias, T.M. (2000) Functional Equations and Inequalities. Mathematics and Its Applications. Kluwer Academic Publishers, Dordrecht. https://doi.org/10.1007/978-94-011-4341-7
[49] Rassias, T.M. (2000) On the Stability of Functional Equations and a Problem of Ulam. Acta Applicandae Mathematicae, 62, 23-130. https://doi.org/10.1023/A:1006499223572
[50] Rassias, M. (2007) Refined Hyers-Ulam Approximation of Approximately Jensen Type Mappings. Bulletin des Sciences Mathématiques, 131, 89-98. https://doi.org/10.1016/j.bulsci.2006.03.011
[51] Rassias, M. and Rassias, M.J. (2003) On the Ulam Stability of Jensen and Jensen Type Mappings on Restricted Domains. Journal of Mathematical Analysis and Applications, 281, 516-524. https://doi.org/10.1016/S0022-247X(03)00136-7
[52] Jun, K.-W. and Lee, Y.-H. (2004) A Generalization of the Hyers-Ulam-Rassias Stability of the Pexiderized Quadratic Equations. Journal of Mathematical Analysis and Applications, 297, 70 86. https://doi.org/10.1016/j.jmaa.2004.04.009
[53] Gilanyi, A. (2001) Eine zur Parallelogrammgleichung aquivalente Ungleichung. Aequationes Mathematicae, 62, 303-309. https://doi.org/10.1007/PL00000156
[54] Bahyrycz, A. and Piszczek, M. (2014) Hyers Stability of the Jensen Function Equation. Acta Mathematica Hungarica, 142, 353-365. https://doi.org/10.1007/s10474-013-0347-3
[55] Schwaiger, J. (2013) A System of Two Inhomogeneous Linear Functional Equations. Acta Mathematica Hungarica, 140, 377-406. https://doi.org/10.1007/s10474-013-0315-y
[56] Maligranda, L. (2008) Tosio Aoki (1910-1989). In: International Symposium on Banach and Function Spaces (14/09/2006-17/09/2006), Yokohama Publishers, Yokohama, 1-23.
[57] Najati, A. and Eskandani, G.Z. (2008) Stability of a Mixed Additive and Cubic Functional Equation in Quasi-Banach Spaces. Journal of Mathematical Analysis and Applications, 342, 1318-1331. https://doi.org/10.1016/j.jmaa.2007.12.039
[58] Gilányi, A. (2002) On a Problem by K. Nikodem. Mathematical Inequalities & Applications, 5, 707-710. https://doi.org/10.7153/mia-05-71
[59] Fechner, W. (2010) On Some Functional Inequalities Related to the Logarithmic Mean. Acta Mathematica Hungarica, 128, 36-45. https://doi.org/10.1007/s10474-010-9153-3
[60] Park, C. (2014) Additive β-Functional Inequalities. Journal of Nonlinear Sciences and Applications, 7, 296-310. https://doi.org/10.22436/jnsa.007.05.02
[61] Van An, L. (2019) Hyers-Ulam Stability of Functional Inequalities with Three Variable in Banach Spaces and non-Archimedean Banach Spaces. International Journal of Mathematical Analysis, 13, 519-537. https://doi.org/10.12988/ijma.2019.9954
[62] Cho, Y.J., Park, C. and Saadati, R. (2010) Functional in Equalities in Non-Archimedean Normed Spaces. Applied Mathematics Letters, 23, 1238-1242. https://doi.org/10.1016/j.aml.2010.06.005
[63] Aribou, Y. and Kabbaj, S. (2018) Generalized Functional in Inequalities in Non-Archimedean Normed Spaces. Applied Mathematics Letters, 2, 61-66.
[64] An, L.V. (2020) Hyers-Ulam Stability Additive β-Functional Inequalities with Three Variable in Non-Archimedean Banach Space and Complex Banach Spaces. International Journal of Mathematical Analysis, 14, 219-239. https://doi.org/10.12988/ijma.2020.91169
[65] An, L.V. (2023) Establish an Additive (s; t)-Function Inequlities Fixed Point Method and Direct Method with n-Variables Banach Space. IJRDO—Journal of Mathematics, 9, 1-13. https://doi.org/10.53555/m.v9i1.5515

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.