Next Article in Journal
Calculation of Polarizabilities for Atoms with Open Shells
Previous Article in Journal
Secure w-Domination in Graphs
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Stability of Maximum Functional Equation and Some Properties of Groups

School of Mathematics, Sun Yat-Sen University, Guangzhou 510275, China
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(12), 1949; https://doi.org/10.3390/sym12121949
Submission received: 4 November 2020 / Revised: 24 November 2020 / Accepted: 24 November 2020 / Published: 26 November 2020

Abstract

:
In this research paper, we deal with the problem of determining the function χ : G R , which is the solution to the maximum functional equation (MFE) max { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) χ ( y ) , when the domain is a discretely normed abelian group or any arbitrary group G. We also analyse the stability of the maximum functional equation max { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) + χ ( y ) and its solutions for the function χ : G R , where G be any group and also investigate the connection of the stability with commutators and free abelian group K that can be embedded into a group G.

1. Literature Review

In [1], Volkmann proved that every function χ defined on an abelian group G can be described in the form χ ( x ) = | α ( x ) | , which is the solution of the maximum FE
max { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) + χ ( y ) ,
where α : G R is an additive function. Consequently, in [2], Toborg showed that Equation (1) also characterises the absolute value of additive functions when G be any group. Their’s main theorem is stated, as follows:
Theorem 1
(Toborg [2]). Let G be any group (G is an abelian group (Volkmann [1])), then a function χ : G R fulfills (1) if and only if there exists an additive function α : G R , such that χ ( x ) = | α ( x ) | for any x G .
We recommend the readers to see [3,4], and the references cited therein in order to obtain comprehensive results related to functional Equation (1), which characterises the additive function’s absolute value.
According to Simon and Volkmann [5], solutions of the MFE
max { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) χ ( y )
with the additional assumption that G is an additive abelian group was exhibited in the theorem, which is stated as:
Theorem 2
([5], Theorem 2). Assume that G is an additive abelian group, whose each element is divisible by 6 (divisible by 2 and 3), and then a function χ : G R fulfills
max { χ ( x + y ) , χ ( x y ) } = χ ( x ) χ ( y )
if and only if there exists an additive function α : G R such that χ ( x ) = 0 or χ ( x ) = e | α ( x ) | for any x G .
Jarczyck and Volkmann [6] demonstrated the stability results of MFE (1) on additive abelian groups. Consequently, Badora et al. [7] also generalized their results in order to prove the stability for a certain class of groupoids. In [3], Gilanyi et al. determined the stability results of maximum functional equation max { χ ( ( x y ) y ) , χ ( x ) } = χ ( x y ) + χ ( y ) on a square-symmetric groupoid. Consequently, they also examined the stability of maximum equation max { χ ( x + y ) , χ ( x y ) } = χ ( x ) + χ ( y ) on additive abelian groups. Various appropriate and useful results regarding stability can be found in papers by Przebieracz [8,9].
This paper is arranged, as follows: in Section 2, we prove the functional Equation (1) for any arbitrary group G without any characterisation of an additive function’s absolute value. Besides, we also demonstrate some consistent and useful results concerning the normal subgroup of G.
In Section 3, we analyse the functional Equation (2) in order to obtain its solution. For this purpose, we drop the additional assumption that G is an additive abelian group and is divisible by 6. We present the generalization of Theorem 2 by proposing a discretely normed abelian group G. Moreover, we investigate the functional Equation (2) for any arbitrary group G, which satisfies the Kannappan condition [10].
Section 4 deals with the stability results of the MFE (1) for a function χ : G R , where G be any group and find some useful connection of stability with commutators and embedding of a group.

2. Solutions of the Functional Equation (1)

Throughout this article, let G be any group, and 1 is considered to be the identity element of a group G.
Definition 1
([10]). Let G be an arbitrary group, we say a function χ : G R satisfies the Kannappan condition if
χ ( u v x ) = χ ( u x v ) f o r a l l u , v , x G .
Theorem 3.
Let G be a group and function χ : G R satisfies the Kannappan condition then
max { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) + χ ( y ) f o r a l l x , y G
if and only if
min { χ ( x y ) , χ ( x y 1 ) } = | χ ( x ) χ ( y ) | f o r a l l x , y G
and also satisfies
χ ( x 2 ) = 2 χ ( x ) f o r a n y x G .
Proof. 
Assume that χ satisfies Equation (3), and then by setting x = y = 1 in (3), we can conclude that χ ( 1 ) = 0 . It is also clear that χ ( x ) 0 and χ ( x 2 ) = 2 χ ( x ) for any x G . The proof of Equation (4) consists of the following simple computation:
max { χ ( x y ) , χ ( x y 1 ) } + min { χ ( x y ) , χ ( x y 1 ) } = χ ( x y ) + χ ( x y 1 ) χ ( x ) + χ ( y ) + min { χ ( x y ) , χ ( x y 1 ) } = χ ( x y ) + χ ( x y 1 ) χ ( x ) + χ ( y ) + min { χ ( x y ) , χ ( x y 1 ) } = max { χ ( x y x y 1 ) , χ ( x y y x 1 ) } χ ( x ) + χ ( y ) + min { χ ( x y ) , χ ( x y 1 ) } = max { χ ( x 2 ) , χ ( y 2 ) } min { χ ( x y ) , χ ( x y 1 ) } = max { 2 χ ( x ) , 2 χ ( y ) } χ ( x ) χ ( y ) min { χ ( x y ) , χ ( x y 1 ) } = | χ ( x ) χ ( y ) | .
Conversely, assume that Equations (4) and (5) hold. Subsequently, we can obtain
max { χ ( x y ) , χ ( x y 1 ) } min { χ ( x y ) , χ ( x y 1 ) } = | χ ( x y ) χ ( x y 1 ) | .
Using Equation (4) in the following computation, we get that
max { χ ( x y ) , χ ( x y 1 ) } | χ ( x ) χ ( y ) | = | χ ( x y ) χ ( x y 1 ) | = min { χ ( x y x y 1 ) , χ ( x y y x 1 ) } = min { χ ( x 2 ) , χ ( y 2 ) } max { χ ( x y ) , χ ( x y 1 ) } = 2 min { χ ( x ) , χ ( y ) } + | χ ( x ) χ ( y ) | max { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) + χ ( y ) .
Corollary 1.
Let G be a group and function χ : G R satisfies the Kannappan condition, and then χ satisfies the Equation (3) if and only if
χ ( x ) + χ ( y ) = χ ( x y ) + χ ( x y 1 ) | χ ( x ) χ ( y ) | f o r a n y x , y G
and also χ ( 1 ) = 0 .
Proof. 
Suppose that χ ( 1 ) = 0 and Equation (6) holds. Subsequently, (6) can be written as
2 max { χ ( x ) , χ ( y ) } = χ ( x y ) + χ ( x y 1 ) for any x , y G .
Because χ ( 1 ) = 0 , then, for x = y , we can obtain that χ ( x 2 ) = 2 χ ( x ) . Afterwards, writing x y instead of x and x y 1 instead of y in (7), we can conclude that
2 max { χ ( x y ) , χ ( x y 1 ) } = χ ( x y x y 1 ) + χ ( x y 2 x 1 ) = 1 2 { χ ( x 2 ) + χ ( y 2 ) } = 1 2 { 2 χ ( x ) + 2 χ ( y ) } max { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) + χ ( y ) .
Conversely, assume that maximum Equation (3) holds, then, by Theorem 3, we can determine that χ ( 1 ) = 0 and Equation (6) holds. □
Corollary 2.
Let G be a group and function χ : G R satisfies the Kannappan condition, and then χ is a solution of equation
min { χ ( x y ) , χ ( x y 1 ) } = | χ ( x ) χ ( y ) | f o r a n y x , y G
and also satisfies
χ ( x 2 ) = 2 χ ( x ) f o r a n y x G
if and only if there exists an additive function α : G R such that χ ( x ) = | α ( x ) | for any x G .
Theorem 4.
Let G be a group and function χ : G R satisfies the Kannappan condition. If the Equations (4) and (5) are satisfied, then there exists a normal subgroup N χ = { v G | χ ( v ) = 0 } of G.
Proof. 
Because the function χ : G R satisfies the Equations (4) and (5), then by Theorem 3
max { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) + χ ( y ) for any x , y G .
When we investigate Equations (3) and (4), then we can see that either χ ( x y ) = | χ ( x ) χ ( y ) | then χ ( x y 1 ) = χ ( x ) + χ ( y ) or χ ( x y 1 ) = | χ ( x ) χ ( y ) | then χ ( x y ) = χ ( x ) + χ ( y ) . First, writing v instead of y and assume that χ ( x ) 0 for some x G and also χ ( x v ) = χ ( x v 1 ) . Subsequently, we can compute that χ ( x ) + χ ( v ) = | χ ( x ) χ ( v ) | . From Equation (3), we can easily deduce that χ ( v ) , χ ( x ) 0 . Our assumption that χ ( x ) 0 forces χ ( v ) to be 0.
From Equation (5), we can compute that χ ( 1 ) = 0 , therefore 1 N χ . Let u , v N χ . We can also deduce from Equation (3) that χ is even, so we have χ ( v 1 ) = χ ( v ) = 0 , therefore v 1 N χ . Additionally, 0 = χ ( u ) + χ ( v ) = max { χ ( u v ) , χ ( u v 1 ) } χ ( u v ) , but χ ( x ) 0 for all x G ; therefore, we can obtain that χ ( u v ) = 0 , so u v N χ . Hence N χ is a subgroup of G. Let v N χ and x G , then Equation (3) yields that
χ ( x ) + χ ( x 1 v x ) = max { χ ( x x 1 v x ) , χ ( x x 1 v 1 x ) } = max { χ ( v x ) , χ ( v 1 x ) } = max { χ ( x 1 v 1 ) , χ ( x 1 v ) } = χ ( x 1 ) + χ ( v ) χ ( x ) + χ ( x 1 v x ) = χ ( x ) + χ ( v ) χ ( x 1 v x ) = χ ( v ) ,
which implies that χ ( x 1 v x ) = χ ( v ) for all x G and v N χ . Hence, N χ is a normal subgroup of G. □
Corollary 3.
For any group G, let a function χ on group G satisfying Equation (3), then χ : G / N χ R also satisfies
χ ( x v ) = χ ( x ) f o r a n y x G , v N χ .
Additionally, G / N χ is an abelian quotient group.
Proof. 
Let x G be an arbitrary and assume that v N χ . We can deduce from (3)
χ ( x v ) max { χ ( x v ) , χ ( x v 1 ) } = χ ( x ) + χ ( v ) = χ ( x ) max { χ ( x v 2 ) , χ ( x ) } = χ ( x v ) + χ ( v ) = χ ( x v )
that χ ( x v ) = χ ( x ) + χ ( v ) . Hence, χ ( x v ) = χ ( x ) for any x G and v N χ . Moreover, we already proved that χ ( x 1 v x ) = χ ( v ) for any x G and v N χ , then, by replacing v with x v , we can evaluate that χ ( v x ) = χ ( v x ) for any x G and v N χ . Additionally, N χ is a normal subgroup of G; therefore, G / N χ is an abelian quotient group. □
Corollary 4.
Let G be any group and function χ : G R satisfy the Kannappan condition. If the maximum functional Equation (3) holds, then min { χ ( x y ) , χ ( x y 1 ) } N χ for every x , y G .
Proof. 
Assume that χ satisfies the Equation (3) and Kannappan condition. Subsequently, from Theorem 3, we can compute that
min { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) χ ( y ) , ( when χ ( x ) χ ( y ) )
or
min { χ ( x y ) , χ ( x y 1 ) } = χ ( y ) χ ( x ) , ( when χ ( x ) < χ ( y ) )
combining both cases, we can see that 2 min { χ ( x y ) , χ ( x y 1 ) } = 0 , therefore min { χ ( x y ) , χ ( x y 1 ) } = 0 . In either case, it follows that min { χ ( x y ) , χ ( x y 1 ) } N χ for every x , y G . □

3. Solutions of the Functional Equation (2)

Theorem 5.
Let G be any arbitrary group, then a function χ : G R satisfies
max { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) χ ( y ) f o r a n y x , y G
if and only if simultaneously χ ( x ) = 0 or
min { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) χ ( y ) 1 [ χ ( x ) χ ( y ) 1 ] 1 f o r a n y x , y G
holds and satisfies
χ ( x 2 ) = χ ( x ) 2 f o r a l l x G .
Proof. 
Suppose that χ satisfies Equation (9). Assume 1 as neutral element of group G, then by putting x = y = 1 in (9), we can obtain that χ ( 1 ) χ ( 1 ) = χ ( 1 ) , then χ ( 1 ) = 0 or χ ( 1 ) = 1 . Let χ ( 1 ) = 0 , then by Equation (9) we can compute χ ( x ) = 0 for any x G . Assume that χ ( 1 ) = 1 , then from (9), It is easy to see that χ ( x 1 ) = χ ( x ) 0 , χ ( x 2 ) 1 and χ ( x 2 ) = χ ( x ) 2 for any x G . The proof of Equation (10) consists of the following simple computation:
max { χ ( x y ) , χ ( x y 1 ) } · min { χ ( x y ) , χ ( x y 1 ) } = χ ( x y ) χ ( x y 1 ) χ ( x ) χ ( y ) · min { χ ( x y ) , χ ( x y 1 ) } = χ ( x y ) χ ( x y 1 ) χ ( x ) χ ( y ) · min { χ ( x y ) , χ ( x y 1 ) } = max { χ ( x y x y 1 ) , χ ( x y y x 1 ) } χ ( x ) χ ( y ) · min { χ ( x y ) , χ ( x y 1 ) } = max { χ ( x 2 ) , χ ( y 2 ) } min { χ ( x y ) , χ ( x y 1 ) } = max { χ ( x ) 2 , χ ( y ) 2 } χ ( x ) 1 χ ( y ) 1 min { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) χ ( y ) 1 ( when χ ( x ) χ ( y ) ) [ χ ( x ) χ ( y ) 1 ] 1 ( when χ ( x ) < χ ( y ) ) .
Conversely, suppose that the Equations (10) and (11) are satisfied and χ ( x ) 0 . Subsequently, it can be determined that
max { χ ( x y ) , χ ( x y 1 ) } · min { χ ( x y ) , χ ( x y 1 ) } 1 = χ ( x y ) χ ( x y 1 ) 1 χ ( x y ) 1 χ ( x y 1 ) .
Here, we have two cases, in the first case, using Equation (10) and (11), we derive the required result, as follows:
max { χ ( x y ) , χ ( x y 1 ) } = χ ( x y ) χ ( x y 1 ) 1 · min { χ ( x y ) , χ ( x y 1 ) } = χ ( x y ) χ ( x y 1 ) 1 χ ( x ) χ ( y ) 1 ( when χ ( x ) χ ( y ) ) = min { χ ( x y x y 1 ) , χ ( x y y x 1 ) } χ ( x ) χ ( y ) 1 = min { χ ( x 2 ) , χ ( y 2 ) } χ ( x ) χ ( y ) 1 = min { χ ( x ) 2 , χ ( y ) 2 } χ ( x ) χ ( y ) 1 = χ ( y ) 2 χ ( x ) χ ( y ) 1 ( when χ ( x ) χ ( y ) ) max { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) χ ( y ) .
From second case, when χ ( x ) < χ ( y ) , then we can also get that max { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) χ ( y ) . □
Corollary 5.
Let G be a group and function χ : G R satisfies the maximum Equation (9) if and only if
χ ( x y ) χ ( x y 1 ) = χ ( x ) χ ( y ) min { χ ( x y ) , χ ( x y 1 ) } f o r a n y x , y G
and also χ ( 1 ) = 1 .
Corollary 6.
Let G be a group and function χ : G R is a solution of Equation (10) satisfies (11) if and only if there exists an additive function α : G R , such that χ ( x ) = e | α ( x ) | for any x G .
Definition 2
([11]). Let G be an abelian group. Subsequently, a function χ : G R is said to be a discrete norm on G if there exists some α > 0 such that χ ( x ) > α whenever x is not identity element of G. Afterwards, ( G , χ ) is called the discretely normed abelian group [11].
Simon and Volkmann [5] proved Theorem 2 with additional assumption that G is an additive abelian group and is divisible by 6, but we present the generalization of Theorem 2 by introducing the notion of discretely normed abelian group G, as follows:
Theorem 6.
Assume that ( G , χ ) be a discretely normed abelian group, then a function χ : G R fulfills (9) if and only if there exists an additive function α : G R , such that χ ( x ) = e | α ( x ) | for any x G \ { 1 } .
Proof. 
Because G is a discretely normed abelian group, therefore there exists a discrete norm function χ : G R such that χ ( x ) > 0 whenever x G \ { 1 } . Assume that η ( x ) = log χ ( x ) , then applying the main theorem of Toborg [2], a function χ : G R satisfies
max { η ( x y ) , η ( x y 1 ) } = η ( x ) + η ( y )
if and only if there exist an additive function α : G R such that η ( x ) = | α ( x ) | . Subsequently, we have
max { log χ ( x y ) , log χ ( x y 1 ) } = log χ ( x ) + log χ ( y )
if and only if log χ ( x ) = | α ( x ) | , which implies that
log max { χ ( x y ) , χ ( x y 1 ) } = log χ ( x ) χ ( y ) ,
thus, we conclude that
max { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) χ ( y )
if and only if there exists an additive function α : G R , such that χ ( x ) = e | α ( x ) | for any x G \ { 1 } . □
Corollary 7.
Let ( G , χ ) be a discretely normed abelian group, then a function χ is a solution of Equation (10) satisfying (11) if and only if there exists an additive function α : G R , such that χ ( x ) = e | α ( x ) | for any non-identity element x G .
Proof. 
From Theorem 6, we concluded that maximum functional Equation (9) holds; therefore, using Theorem 5, we can also obtain required proof. □
We have well-known theorem presented by Stepr a ¯ ns Juris in [11] about a group G, which is a discretely normed abelian group. Therefore, we have following corollaries.
Corollary 8.
For free abelian group G, a function χ is a solution of Equation (9) if and only if there exists an additive function α : G R , such that χ ( x ) = e | α ( x ) | for any x G \ { 1 } .
Corollary 9.
Suppose that G is a free abelian group, then χ is a solution of functional Equation (10) satisfying (11) if and only if there exists an additive function α : G R , such that χ ( x ) = e | α ( x ) | for any x G \ { 1 } .
Theorem 7.
Let G be any group and let a function χ : G R is a solution of Equation (10) and (11), which is not identically zero, then there exists a normal subgroup H χ = { v G | χ ( v 2 ) = 1 } of G.
Proof. 
Because the function χ : G R satisfying the Equations (10) and (11), then by Theorem 5, we can obtain that
max { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) χ ( y ) for all x , y G .
For neutral element 1, we can write χ ( 1 2 ) = χ ( 1 ) = 1 , then 1 H χ . Let v H χ , then χ ( v 2 ) = 1 . From Equation (13), follows immediately that χ is even; therefore, χ ( v 2 ) = χ ( v 2 ) = 1 , hence v 1 H χ . Let u , v H χ , therefore, by property of H χ , χ ( u 2 ) = 1 and χ ( v 2 ) = 1 . We can deduce from maximum Equation (13) that
χ ( u 2 v 2 ) = χ ( u 2 v 2 ) χ ( v 2 ) = max { χ ( u 2 v 4 ) , χ ( u 2 ) } χ ( u 2 ) χ ( u 2 v 2 ) χ ( u 2 ) χ ( v 2 ) .
χ ( u 2 ) χ ( v 2 ) = max { χ ( u 2 v 2 ) , χ ( u 2 v 2 ) } χ ( u 2 v 2 ) χ ( u 2 ) χ ( v 2 ) χ ( u 2 v 2 ) .
From inequalities (14) and (15), we can calculate χ ( u 2 v 2 ) = χ ( u 2 ) χ ( v 2 ) = 1 , which implies that u v H χ . Therefore, H χ is a subroup of G. Additionally, Equation (13) yields that χ is central, therefore χ ( x v ) = χ ( v x ) , for every x G and v H χ . Hence, H χ is a normal subgroup of G. □
Corollary 10.
For any group G, let a function χ on group G satisfying (13), which is not identically zero, then χ : G / H χ R also satisfies
χ ( x v ) = χ ( x ) χ ( v ) f o r a n y x G , v H χ .
Moreover,
χ ( x v 2 ) = χ ( v 2 x ) = χ ( x ) f o r a n y x G , v H χ .
Proof. 
Let x G be an arbitrary and assume that v H χ , then χ ( v 2 ) = 1 . We can deduce from (13) that
χ ( x v ) χ ( v ) = max { χ ( x v 2 ) , χ ( x ) } χ ( x ) χ ( v 2 ) ,
which provides that χ ( x v ) χ ( v ) χ ( x ) χ ( v 2 ) . Applying condition (11), we compute χ ( x v ) χ ( x ) χ ( v ) . Additionally, from (13), we have χ ( x ) χ ( v ) χ ( x v ) , so we can evaluate χ ( x v ) = χ ( x ) χ ( v ) for any x G and v H χ .
Because H χ is a subgroup of G, then v 2 H χ , so we can see that χ ( x v 2 ) = χ ( x ) χ ( v 2 ) for any x G and v 2 H χ , therefore χ ( x v 2 ) = χ ( x ) . Writing x instead of y and v instead of x in (13), we can conclude χ ( x 1 v x ) = χ ( v ) for any x G , then writing x v 2 instead of v, we have χ ( v 2 x ) = χ ( x v 2 ) = χ ( x ) . □
Corollary 11.
Let G be a group and function χ : G R satisfies the Kannappan condition. If the maximum functional Equation (13) holds, then min { χ ( x y ) , χ ( x y 1 ) } H χ for any x , y G .
Proof. 
Assume that χ satisfies the Equation (9) and Kannappan condition. Subsequently, from Theorem 5, we can conclude that
min { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) χ ( y ) 1 , ( when χ ( x ) χ ( y ) )
or
min { χ ( x y ) , χ ( x y 1 ) } = [ χ ( x ) χ ( y ) 1 ] 1 , ( when χ ( x ) < χ ( y ) )
combining both cases, we can see that min { χ ( x y ) , χ ( x y 1 ) } = [ min { χ ( x y ) , χ ( x y 1 ) } ] 1 , therefore min { χ ( x y ) , χ ( x y 1 ) } 2 = 1 . In either case, it follows that min { χ ( x y ) , χ ( x y 1 ) } H χ for every x , y G . □

4. Stability of Maximum Functional Equation (1)

In order to check the stability of MFE (1) in two-variables x and y, at the first stage, we put y = x in (1) and derive the stability of MFE (1) in a single variable, as follows:
Theorem 8.
Let G be any group and a function η : G R satisfies
| max { η ( x 2 ) , η ( 1 ) } 2 η ( x ) | λ f o r a n y x G ,
for some λ 0 . Subsequently, we can obtain a solution χ : G R of
max { χ ( x 2 ) , χ ( 1 ) } = 2 χ ( x ) f o r a n y x G
such that
3 λ χ ( x ) η ( x ) λ f o r a n y x G .
Additionally, χ is given by
χ ( x ) = lim n 1 2 n η ( x 2 n ) x G .
Additionally, by (18), χ is uniquely determined, and by (19), the requirement of χ η to be bounded is also satisfied.
Proof. 
First, put x = 1 in (17), then we have | max { η ( 1 ) , η ( 1 ) } 2 η ( 1 ) | λ , which implies that | η ( 1 ) | λ . Furthermore, (17) also implies that
λ + 2 η ( x ) max { η ( x 2 ) , η ( 1 ) } λ + 2 η ( x ) λ η ( 1 ) λ + 2 η ( x ) λ η ( x ) for any x G .
Writing x 2 instead of x, then also λ η ( x 2 ) , so we can get that
η ( 1 ) λ = 2 λ λ 2 λ + η ( x 2 ) η ( 1 ) 2 λ + η ( x 2 ) for any x G .
From (17), we have
2 η ( x ) λ + max { η ( x 2 ) , η ( 1 ) } 2 η ( x ) λ + η ( 1 ) 3 λ + η ( x 2 ) ( using ( 22 ) ) or 2 η ( x ) λ + η ( x 2 ) 3 λ + η ( x 2 ) .
Combining both cases, we can conclude
3 λ η ( x 2 ) 2 η ( x ) .
From (17), we have max { η ( x 2 ) , η ( 1 ) } λ + 2 η ( x ) , which is only possible when
η ( x 2 ) 2 η ( x ) λ .
From inequalities (23) and (24), we have
3 λ η ( x 2 ) 2 η ( x ) λ for all x G .
When we observe (25), it can be seen that the function χ : G R presented in (20) exists and this χ satisfies
χ ( x 2 ) = 2 χ ( x ) for all x G ,
also χ fulfills (19). Furthermore, writing x 2 n instead of x in (21), dividing by 2 n and taking a limit n and, using (20), we can obtain that χ ( x ) 0 for any x G . Hence we can obtain (18) from (26). Furthermore, when we consider (18), then we can easily see the uniqueness of χ , due to the result that χ ( x 2 ) = 2 χ ( x ) 0 for any x G .
By utilizing Theorem (8), we are going to derive the stability of Equation (1) in two-variables x and y. □
Theorem 9.
Let G be any group and function η : G R satisfies
| max { η ( x y ) , η ( x y 1 ) } η ( x ) η ( y ) | λ f o r a n y x , y G ,
for some λ 0 . Subsequently, we can evaluate a unique solution χ : G R of
max { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) + χ ( y ) f o r a n y x , y G
such that
3 λ χ ( x ) η ( x ) λ f o r a n y x G .
Additionally,
χ ( x ) = lim n 1 2 n η ( x 2 n ) f o r a n y x G .
Proof. 
Applying the Theorem (8), we can easily prove the required results. First, writing x instead of y in (27), then, from Theorem (8), we can obtain a function χ : G R . We also need to prove that this function χ satisfies (28). To obtain the required maximum functional Equation (28), we need to write x 2 n instead of x and y 2 n instead of y in (27), dividing inequality by 2 n and, applying limit n and also using Equation (30). □
Theorem 10.
Let G be a group and function η : G R fulfills (27), then, for any x , y G , it holds the condition
lim n 1 2 n [ max { η ( x 2 n y 2 n ) , η ( x 2 n y 2 n ) } max { η ( [ x y ] 2 n ) , η ( [ x y 1 ] 2 n ) } ] = 0
if and only if the Equation (28) is satisfied.
Proof. 
Assume that maximum Equation (28) is satisfied. For every x , y G , we have
| max { η ( x 2 n y 2 n ) , η ( x 2 n y 2 n ) } max { η ( [ x y ] 2 n ) , η ( [ x y 1 ] 2 n ) } | | max { η ( x 2 n y 2 n ) , η ( x 2 n y 2 n ) } η ( x 2 n ) η ( y 2 n ) | + | max { η ( [ x y ] 2 n ) , η ( [ x y 1 ] 2 n ) } η ( x 2 n ) η ( y 2 n ) | λ + | max { η ( [ x y ] 2 n ) , η ( [ x y 1 ] 2 n ) } η ( x 2 n ) η ( y 2 n ) | .
To obtain the required result, first, we divide both sides by 2 n , apply limit as n and utilize the given condition (28), we obtain that, for any x , y G , we can get lim n 1 2 n [ max { η ( x 2 n y 2 n ) , η ( x 2 n y 2 n ) } max { η ( [ x y ] 2 n ) , η ( [ x y 1 ] 2 n ) } ] = 0 .
Conversely, assume that condition (31) holds. Putting x 2 n and y 2 n in (27) instead of x and y, respectively, then dividing by 2 n and taking limit n , we can compute
lim n 1 2 n [ max { η ( x 2 n y 2 n ) , η ( x 2 n y 2 n ) } = χ ( x ) + χ ( y ) ,
lim n 1 2 n max { η ( [ x y ] 2 n ) , η ( [ x y 1 ] 2 n ) } = max { χ ( x y ) , χ ( x y 1 ) } .
Given condition (31), yielding that max { χ ( x y ) , χ ( x y 1 ) } = χ ( x ) + χ ( y ) .
Furthermore, the given condition (31) for function η is not directly associated to the properties of a group G, but we can see some useful results regarding group G. The resulting condition presented below is equivalent to the above condition (31), as there exists a subsequence of N , such that
lim n 1 2 m ( n ) [ max { η ( x 2 m ( n ) y 2 m ( n ) ) , η ( x 2 m ( n ) y 2 m ( n ) ) } max { η ( [ x y ] 2 m ( n ) ) , η ( [ x y 1 ] 2 m ( n ) ) } ] = 0 .
This refers to the function η and completely satisfactory, due to the fact that both limits
lim n 1 2 m ( n ) max { η ( x 2 m ( n ) y 2 m ( n ) ) , η ( x 2 m ( n ) y 2 m ( n ) ) }
and
lim n 1 2 m ( n ) max { η ( [ x y ] 2 m ( n ) ) , η ( [ x y 1 ] 2 m ( n ) ) }
are finite and exists. □
Corollary 12.
A function η : G R fulfills (18), then it satisfies the condition
lim n 1 2 n [ max { η ( x 2 n y 2 n ) , η ( x 2 n y 2 n ) } η ( [ x y ] 2 n ) ] = 0 f o r a l l x , y G
if and only if χ ( x y ) = χ ( x ) + χ ( y ) for any x , y G .
Remark 1.
(i) The given condition (31) holds when group G is an n —Abelian group (for any integer n, a group G is called an n —Abelian group if ( a b ) n = a n b n , for any a , b G , see [12,13] ).
(ii) The condition (31) also satisfies when group G belongs to the class C n for any natural number n N (for all n N , C n is denoted as the class of groups, which satisfies the relation b n a n = a n b n ).
(iii) When χ is central, then condition (31) also holds.
Theorem 11.
If maximum functional Equation (1) is stable on group G, then every free abelian group K can be embedded into a group G.
Proof. 
Assume that η : G R and let λ 0 be such that
| max { η ( x y ) , η ( x y 1 ) } η ( x ) η ( y ) | λ for any x , y G .
Because every free abelian group is a torsion-free, K is torsion-free group. Subsequently, from HNN-extensions, any torsion-free group K can be embedded into a group G, if for all k K , there exists g G such that g k g 1 = k 2 [14,15]. Assume that K is embedded into a group G. Subsequently, inequality (33) can be rewritten as
| max { η ( k g ) , η ( k g 1 ) } η ( k ) η ( g ) | λ for any k , g G .
We need to show that η is bounded. The result is obvious for λ = 0 , so let λ be positive. More specifically, we prove that | η ( k ) | < 2 λ for all k G . Afterwards, from (34), we have two possibilities, either | η ( k g 1 ) η ( k ) η ( g ) | λ or | η ( k g ) η ( k ) η ( g ) | λ . Let us consider first possibility and put k = g = 1 , then we can conclude that | η ( 1 ) | λ . Put g = k , then we have
| η ( 1 ) 2 η ( k ) | λ | 2 η ( k ) | | η ( 1 ) | λ 2 | η ( k ) | λ + | η ( 1 ) | 2 | η ( k ) | λ + λ | η ( k ) | λ .
For second possibilty, we have
| η ( k g ) η ( k ) η ( g ) | λ .
On the contrary, let | η ( k ) | 2 λ for some arbitrary k G . Put g = k in (35), then we have
| η ( k 2 ) 2 η ( k ) | λ | 2 η ( k ) η ( k 2 ) | λ 2 | η ( k ) | λ | η ( k 2 ) | 3 λ | η ( k 2 ) | .
Again, put g = k 2 in (35), then
| η ( k 3 ) η ( k ) η ( k 2 ) | λ | η ( k ) + η ( k 2 ) η ( k 3 ) | λ | η ( k ) | + | η ( k 2 ) | λ + | η ( k 3 ) | 5 λ λ | η ( k 3 ) | 4 λ | η ( k 3 ) | .
Repeating again, for g = k 3 , we can determine | η ( k 4 ) | 4 λ . Continuing this process, we can evaluate that
( m + 1 ) λ | η ( k m ) | , for m = 1 , 2 , ,
which determines that when m varies, then η ( k m ) is unbounded.
Furthermore, pick an arbitrary element g G , such that k 2 = g k g 1 . Subsequently, for every integer m > 0 , we have k 2 m = g k m g 1 . Therefore, for every m, put g = k m and k = k m in (35), then
| η ( k 2 m ) 2 η ( k m ) | λ | η ( g k m g 1 ) 2 η ( k m ) | λ .
Additionally, inequality (35) follows that
| η ( g k m g 1 ) η ( g ) η ( k m g 1 ) | λ and | η ( k m g 1 ) η ( k m ) η ( g 1 ) | λ ,
thus, we can conclude that
| η ( g k m g 1 ) η ( g ) η ( k m ) η ( g 1 ) | | η ( g k m g 1 ) η ( g ) η ( k m g 1 ) | + | η ( k m g 1 ) η ( k m ) η ( g 1 ) | | η ( g k m g 1 ) η ( g ) η ( k m ) η ( g 1 ) | 2 λ .
From (36) and (37), we have
| η ( g k m g 1 ) 2 η ( k m ) + η ( k m ) | 2 λ + | η ( g ) | + | η ( g 1 ) | | η ( k m ) | 2 λ + | η ( g ) | + | η ( g 1 ) | + | η ( g k m g 1 ) 2 η ( k m ) | | η ( k m ) | 5 λ for m = 1 , 2 , ,
which gives a contradiction. Hence, η is bounded, which completes the required proof. □
Corollary 13.
If maximum functional Equation (1) is stable on group G, then any discretely normed abelian group K can be embedded into a group G.
Proof. 
Because K is a discretely normed abelian group, then, by applying theorem from [11], K is a free group; hence it can be embedded into a group G. □
Theorem 12.
A function η : G R satisfying (27) is bounded on the commutator group G 1 of the subgroup G of G if the condition (31) is satisfied.
Proof. 
Assume that condition (31) is satisfied. Subsequently, by Theorem 10, we can get that χ ( x ) + χ ( y ) = max { χ ( x y ) , χ ( x y 1 ) } holds for any x , y G . Because this maximum equation holds; therefore, by Theorem 1, there exists an additive function α : G R , such that χ ( x ) = | α ( x ) | for any x G . For a , b G , take a 1 b 1 a b G , then
χ ( a 1 b 1 a b ) = | α ( a 1 b 1 a b ) | = | α ( a 1 ) + α ( b 1 ) + α ( a ) + α ( b ) | = | α ( a 1 a ) + α ( b 1 b ) | = | α ( 1 ) + α ( 1 ) | = | 0 + 0 | χ ( a 1 b 1 a b ) = 0 .
Because χ is zero on the commutator group G 1 of the subgroup G of G, η is bounded on commutator group G 1 . □
Corollary 14.
If a function η : G R satisfies the condition
lim n 1 2 n [ max { η ( x 2 n y 2 n ) , η ( x 2 n y 2 n ) } η ( [ x y ] 2 n ) ] = 0 f o r a n y x , y G ,
then η is bounded on the commutator group G 1 .

Author Contributions

Writing—original draft, M.S., Writing—review and editing, Q.L. and Y.L. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by National Natural Science Foundation of China grant number 11971493.

Acknowledgments

The authors thank anonymous referees for their remarkable comments, suggestions, and ideas that help to improve this paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Volkmann, P. Charakterisierung des Betrages reellwertiger additiver Funktionen auf Gruppen. KITopen 2017, 4, 99191049. [Google Scholar]
  2. Toborg, I. On the functional equation f(x) + f(y) = max{f(xy),f(xy−1)} on groups. Arch. Math. 2017, 109, 215–221. [Google Scholar] [CrossRef]
  3. Gilanyi, A.; Nagatou, K.; Volkmann, P. Stability of a functional equation coming from the characterization of the absolute value of additive functions. Ann. Funct. Anal. 2010, 1, 1–6. [Google Scholar] [CrossRef]
  4. Kochanek, T. On a composite functional equation fulfilled by modulus of an additive function. Aequ. Math. 2010, 80, 155–172. [Google Scholar] [CrossRef] [Green Version]
  5. Chaljub-Simon, A.; Volkmann, P. Caractérisation du module d’une fonction additive à l’aide d’une équation fonctionnelle. Aequ. Math. 1994, 47, 60–68. [Google Scholar] [CrossRef]
  6. Jarczyk, W.; Volkmann, P. On functional equations in connection with the absolute value of additive functions. Ser. Math. Catoviciensis Debr. 2010, 32, 11. [Google Scholar]
  7. Badora, R.; Przebieracz, B.; Volkmann, P. On Tabor groupoids and stability of some functional equations. Aequ. Math. 2014, 87, 165–171. [Google Scholar] [CrossRef] [Green Version]
  8. Przebieracz, B. Superstability of some functional equation. Ser. Math. Catoviciensis Debr. 2010, 31, 4. [Google Scholar]
  9. Przebieracz, B. The stability of functional equation min{f(x + y),f(xy)} = |f(x) − f(y)|. J. Inequal. Appl. 2011, 1, 1–6. [Google Scholar] [CrossRef] [Green Version]
  10. Kannappan, P. The functional equation f(xy) + f(xy−1) = 2f(x)f(y) for groups. Proc. Am. Math. Soc. 1968, 19, 69–74. [Google Scholar]
  11. Steprāns, J. A characterization of free abelian groups. Proc. Am. Math. Soc. 1985, 93, 347–349. [Google Scholar] [CrossRef]
  12. Alperin, J.L. A classification of n-abelian groups. Can. J. Math. 1969, 21, 1238–1244. [Google Scholar] [CrossRef]
  13. Baer, R. Factorization of n-soluble and n-nilpotent groups. Proc. Am. Math. Soc. 1953, 4, 15–26. [Google Scholar]
  14. Higman, G.; Neumann, B.H.; Neuman, H. Embedding theorems for groups. J. Lond. Math. Soc. 1949, 1, 247–254. [Google Scholar] [CrossRef]
  15. Magnus, W.; Karrass, A.; Solitar, D. Combinatorial Group Theory: Presentations of Groups in Terms of Generators and Relations; Courier Corporation: North Chelmsford, MA, USA, 2004. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Sarfraz, M.; Liu, Q.; Li, Y. Stability of Maximum Functional Equation and Some Properties of Groups. Symmetry 2020, 12, 1949. https://doi.org/10.3390/sym12121949

AMA Style

Sarfraz M, Liu Q, Li Y. Stability of Maximum Functional Equation and Some Properties of Groups. Symmetry. 2020; 12(12):1949. https://doi.org/10.3390/sym12121949

Chicago/Turabian Style

Sarfraz, Muhammad, Qi Liu, and Yongjin Li. 2020. "Stability of Maximum Functional Equation and Some Properties of Groups" Symmetry 12, no. 12: 1949. https://doi.org/10.3390/sym12121949

APA Style

Sarfraz, M., Liu, Q., & Li, Y. (2020). Stability of Maximum Functional Equation and Some Properties of Groups. Symmetry, 12(12), 1949. https://doi.org/10.3390/sym12121949

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop