Next Article in Journal
Studies on Cauchy–Stieltjes Kernel Families
Previous Article in Journal
Completeness and Cocompleteness Transfer for Internal Group Objects with Geometric Obstructions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Stability of Tri-Homomorphisms, Tri-Derivations, and Tri-Isomorphisms in C*-Ternary Algebras

1
School of Liberal Studies, Kyung Hee University, Yongin 17104, Republic of Korea
2
Department of Mathematics Education, College of Education, Mokwon University, Daejeon 35349, Republic of Korea
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(19), 3156; https://doi.org/10.3390/math13193156
Submission received: 8 August 2025 / Revised: 10 September 2025 / Accepted: 25 September 2025 / Published: 2 October 2025
(This article belongs to the Section C: Mathematical Analysis)

Abstract

This work demonstrates the generalized Hyers–Ulam stability of tri-homomorphisms within C -ternary algebras. We investigate the stability of a tri-additive functional equation and apply these results to study tri-derivations and tri-isomorphisms between C -ternary algebras.

1. Introduction and Background

Ternary algebraic operations have been studied since the 19th century, notably by Cayley [1], who introduced the concept of cubic matrices. One of the simplest examples of such a nontrivial ternary operation is given by the following composition rule:
{ a , b , c } i j k = 1 l , m , n N a n i l b l j m c m k n ( i , j , k = 1 , 2 , , N ) .
Definition 1.
If A is a Banach algebra, an involution is a map a a of A into A such that the following properties hold for a and b in A and λ C :
(i) 
( a ) = a ;
(ii) 
( a b ) = b a ;
(iii) 
( λ a + b ) = λ ¯ a + b .
A C -algebra is a Banach algebra A with an involution such that for every a A , a a = a 2 . The identity a a = a 2 is called the C -identity.
The C -identity implies that a = a for all a A . Classical examples include the algebra B ( H ) of all bounded linear operators on a Hilbert space H, as well as any closed ∗-subalgebra of B ( H ) .
The notion of C -ternary rings together with ternary operations was first presented in [2].
Definition 2.
If A is a complex Banach space, a ternary product τ is a map ( x , y , z ) [ x , y , z ] of A into A such that the following properties hold:
(i) 
The mapping τ acts C -linearly on the first and third variables.
(ii) 
On the second variable, τ is conjugate C -linear.
(iii) 
τ is associative in the sense that, for every x , y , z , w , v A and every λ C ,
[ x , y , [ z , w , v ] ] = [ x , [ w , z , y ] , v ] = [ [ x , y , z ] , w , v ] .
A C -ternary algebra is a complex Banach space A, equipped with a ternary product such that [ x , y , z ] x · y · z and [ x , x , x ] = x 3 for every x , y , z A .
Every left Hilbert C -module can be viewed as a C -ternary algebra with the ternary product [ x , y , z ] : = x , y z .
If a C -ternary algebra ( A , [ · , · , · ] ) possesses an identity, i.e., an element e A such that x = [ x , e , e ] = [ e , e , x ] for all x A , then it is straightforward to check that A, equipped with the operations x y : = [ x , e , y ] and x : = [ e , x , e ] , becomes a unital C -algebra. Conversely, if ( A , ) is a unital C -algebra, then defining [ x , y , z ] : = x y z turns A into a C -ternary algebra.
Definition 3
(see [3]). Let A and B denote C -ternary algebras. A C -linear mapping H : A B is called a C -ternary algebra homomorphism provided that
H ( [ x , y , z ] ) = [ H ( x ) , H ( y ) , H ( z ) ]
for every x , y , z A . If H is also bijective, then H is termed a C -ternary algebra isomorphism. In addition, a C -linear mapping δ : A A is defined to be a C -ternary derivation if
δ ( [ x , y , z ] ) = [ δ ( x ) , y , z ] + [ x , δ ( y ) , z ] + [ x , y , δ ( z ) ]
for every x , y , z A .
Definition 4
(see [4,5]). Let A and B denote C -ternary algebras. We say that a C -trilinear map H : A 3 B is a C -ternary algebra tri-homomorphism (equivalently, a C -ternary algebra 3-homomorphism) whenever
H ( [ x 1 , y 1 , z 1 ] , [ x 2 , y 2 , z 2 ] , [ x 3 , y 3 , z 3 ] ) = [ H ( x 1 , x 2 , x 3 ) , H ( y 1 , y 2 , y 3 ) , H ( z 1 , z 2 , z 3 ) ]
for every x i , y j , z k A with 1 i , j , k 3 . Similarly, a C -trilinear mapping δ : A 3 A is termed a C -ternary tri-derivation (equivalently, a C -ternary 3-derivation) provided that
D [ x 1 , y 1 , z 1 ] , [ x 2 , y 2 , z 2 ] , [ x 3 , y 3 , z 3 ] = D ( x 1 , x 2 , x 3 ) , [ y 1 , y 2 , y 3 ] , [ z 1 , z 2 , z 3 ] + [ x 1 , x 2 , x 3 ] , D ( y 1 , y 2 , y 3 ) , [ z 1 , z 2 , z 3 ] + [ x 1 , x 2 , x 3 ] , [ y 1 , y 2 , y 3 ] , D ( z 1 , z 2 , z 3 )
for every x i , y j , z k A ( 1 i , j , k 3 ) .
Since Ulam [6] first raised the stability problem of functional equations in 1940, numerous mathematicians have studied this topic extensively. One of these dealt with the stability of homomorphisms and may be formulated as follows:
Let G be a group and G a metric group with metric ρ ( · , · ) . Given ϵ > 0 , is there a δ > 0 such that if f : G G satisfies
ρ ( f ( x y ) , f ( x ) f ( y ) ) < δ
for every x , y G , then there exists a homomorphism h : G G with
ρ ( f ( x ) , h ( x ) ) < ϵ
for every x G ?
In 1941, Hyers [7] gave the first partial solution to Ulam’s question for the case of approximate additive mappings under the assumption that G 1 and G 2 are Banach spaces. Then, Aoki [8] considered the stability problem with unbounded Cauchy differences. In 1978, Rassias [9] generalized the theorem of Hyers [7] by considering the stability problem with unbounded Cauchy differences.
In 2011, the authors [4] studied the stability of the functional equation:
f ( x 1 + x 2 , y 1 + y 2 , z 1 + z 2 ) = 1 i , j , k 2 f ( x i , y j , z k ) .
As clarified in the Abstract and Introduction, our 2011 paper dealt exclusively with the generalized Hyers–Ulam stability of C -ternary algebra tri-homomorphisms, whereas the present work extends these results to include tri-derivations and tri-isomorphisms in C -ternary algebras.
Let l , m and n be integers larger than 1. Suppose X and Y are real or complex linear spaces. For a mapping f : X 3 Y , we examine the following functional equation:
f i = 1 l x i , j = 1 m y j , k = 1 n z k = i = 1 l j = 1 m k = 1 n f ( x i , y j , z k ) .
For convenience, let l , m and n be integers greater than 2. In fact, throughout this paper, one can obtain similar results when l , m , n > 1 .
One can verify that a mapping f : X 3 Y satisfies the Equation (2) if and only if the mapping f is tri-additive, as described below.
If f : X 3 Y is tri-additive, then
f i = 1 l x i , j = 1 m y j , k = 1 n z k = i = 1 l f x i , j = 1 m y j , k = 1 n z k = i = 1 l j = 1 m f x i , y j , k = 1 n z k = i = 1 l j = 1 m k = 1 n f ( x i , y j , z k )
for every x 1 , , x l , y 1 , , y m , z 1 , , z n X . Conversely, assume that f satisfies (2). By choosing x 1 = = x l = y 1 = = y m = z 1 = = z n = 0 in (2), we get f ( 0 , 0 , 0 ) = 0 . Letting x 1 = x and x 2 = = x l = y 1 = = y m = z 1 = = z n = 0 in (2), we have f ( x , 0 , 0 ) = 0 for every x X . If we put x 1 = x , x 2 = y , y 1 = z , z 1 = w , x 3 = = x l = y 2 = = y m = z 2 = = z n = 0 in (2), we get
f ( x + y , z , w ) = f ( x , z , w ) + f ( y , z , w )
for every x , y , z , w X . By setting y 1 = y and x 1 = = x l = y 2 = = y m = z 1 = = z n = 0 in (2), we obtain f ( 0 , y , 0 ) = 0 for all y X . If we take x 1 = x , y 1 = y , y 2 = z , z 1 = w , and x 2 = = x l = y 3 = = y m = z 2 = = z n = 0 in (2), we see that
f ( x , y + z , w ) = f ( x , y , w ) + f ( x , z , w )
for every x , y , z , w X . Taking z 1 = z and x 1 = = x l = y 1 = = y m = z 2 = = z n = 0 in (2), we obtain f ( 0 , 0 , z ) = 0 for every z X . Putting x 1 = x , y 1 = y , z 1 = z , z 2 = w , and x 2 = = x l = y 2 = = y m = z 3 = = z n = 0 in (2), we see that
f ( x , y , z + w ) = f ( x , y , z ) + f ( x , y , w )
for every x , y , z , w X . Hence a mapping f : X 3 Y is tri-additive if and only if it satisfies (2).

2. Stability of Tri-Homomorphisms in C -Ternary Algebras

Lemma 1
([4]). Let V and W be C -linear spaces, and let f : V 3 W be a tri-additive mapping such that f ( λ x , μ y , ν z ) = λ μ ν f ( x , y , z ) for every λ , μ , ν T 1 : = { α C : | α | = 1 } and every x , y , z V , then f is C -trilinear.
Lemma 2.
Let V and W be two C -linear spaces. And let f : V 3 W be a mapping such that
f λ i = 1 l x i , μ j = 1 m y j , ν k = 1 n z k = λ μ ν i = 1 l j = 1 m k = 1 n f ( x i , y j , z k )
for every λ , μ , ν T 1 and every x 1 , , x l , y 1 , , y m , z 1 , , z n V . Then the mapping f is C -trilinear.
Proof. 
Putting λ = μ = ν = 1 , we see that f satisfies (2). Thus f is tri-additive. If we take x 1 = x , x 2 = = x l = 0 , y 1 = y , y 2 = = y m = 0 , z 1 = z and z 2 = = z n = 0 in the given functional equation, we obtain f ( λ x , μ y , ν z ) = λ μ ν f ( x , y , z ) for every λ , μ , ν T 1 and every x , y , z V . Hence, by Lemma 1, the mapping f is C -trilinear. □
From now on, assume that A is a C -ternary algebra with norm · A and that B is a C -ternary algebra with norm · B . For a given mapping f : A 3 B , we define
D λ , μ , ν f ( x 1 , , x l , y 1 , , y m , z 1 , , z n ) : = f λ i = 1 l x i , μ j = 1 m y j , ν k = 1 n z k λ μ ν i = 1 l j = 1 m k = 1 n f ( x i , y j , z k )
for every λ , μ , ν T 1 and every x 1 , , x l , y 1 , , y m , z 1 , , z n A .
We proved the generalized Hyers–Ulam stability of the functional Equation (3) in C -ternary algebras.
Theorem 1.
Let p , θ > 0 be real numbers with p < 1 . Consider a mapping f : A 3 B such that
D λ , μ , ν f ( x 1 , , x l , y 1 , , y m , z 1 , , z n ) B θ i = 1 l x i A p + j = 1 m y j A p + k = 1 n z k A p ,
f ( [ x 1 , y 1 , z 1 ] , [ x 2 , y 2 , z 2 ] , [ x 3 , y 3 , z 3 ] ) [ f ( x 1 , x 2 , x 3 ) , f ( y 1 , y 2 , y 3 ) , f ( z 1 , z 2 , z 3 ) ] B θ i = 1 3 x i A p + j = 1 3 y j A p + k = 1 3 z k A p
for every λ , μ , ν T 1 and every x 1 , , x l , y 1 , , y m , z 1 , , z n A . Then there is a unique C -ternary algebra tri-homomorphism H : A 3 B such that
f ( x , y , z ) H ( x , y , z ) B θ l l m n l p x A p + m l m n m p y A p + n l m n n p z A p
for every x , y , z A .
Proof. 
Taking λ = μ = ν = 1 , x 1 = = x l = x , y 1 = = y m = y , and z 1 , , z n = z in (4), we gain
f ( l x , m y , n z ) l m n f ( x , y , z ) B θ l x A p + m y A p + n z A p
for every x , y , z A . By substituting x with l j x , y with m j y , and z with n j z , and then dividing the above inequality by ( l m n ) j + 1 , we obtain
1 ( l m n ) j f l j x , m j y , n j z 1 ( l m n ) j + 1 f l j + 1 x , m j + 1 y , n j + 1 z B θ ( l m n ) j + 1 l 1 + j p x A p + m 1 + j p y A p + m 1 + j p z A p
for every x , y , z A and each j = 0 , 1 , 2 , . Given integers j , k ( 0 j < k ) , we obtain that
1 ( l m n ) j f l j x , m j y , n j z 1 ( l m n ) k f l k x , m k y , n k z B i = j k 1 θ ( l m n ) i + 1 l 1 + i p x A p + m 1 + i p y A p + n 1 + i p z A p
for every x , y , z A . From the above inequality, the sequence 1 ( l m n ) d f ( l d x , m d y , n d z ) is a Cauchy sequence for any x , y , z A . Since B is complete, this sequence 1 ( l m n ) d f ( l d x , m d y , n d z ) converges for every x , y , z A . We thus define H : A 3 B by
H ( x , y , z ) : = lim d 1 ( l m n ) d f l d x , m d y , n d z
for every x , y , z A . By (4), we have
D λ , μ , ν H ( x 1 , , x l , y 1 , , y m , z 1 , , z n ) B = H λ i = 1 l x i , μ j = 1 m y j , ν k = 1 n z k λ μ ν i = 1 l j = 1 m k = 1 n H ( x i , y j , z k ) B = lim d 1 ( l m n ) d f l d λ i = 1 l x i , m d μ j = 1 m y j , n d ν k = 1 n z k λ μ ν i = 1 l j = 1 m k = 1 n f ( l d x i , m d y j , n d z k ) B lim d θ ( l m n ) d i = 1 l l d x i A p + j = 1 m m d y j A p + k = 1 n n d z k A p = θ lim d l p l m n d i = 1 l x i A p + m p l m n d j = 1 m y j A p + n p l m n d k = 1 n z k A p = 0
for every λ , μ , ν T 1 and every x 1 , , x l , y 1 , , y m , z 1 , , z n A . According to Lemma 2, the mapping H is C -trilinear. If we set j = 0 and taking k in (8), we derive the inequality (6).
It follows from (5) that
H ( [ x 1 , y 1 , z 1 ] , [ x 2 , y 2 , z 2 ] , [ x 3 , y 3 , z 3 ] ) [ H ( x 1 , x 2 , x 3 ) , H ( y 1 , y 2 , y 3 ) , H ( z 1 , z 2 , z 3 ) ] B = lim d 1 ( l m n ) d f ( l d [ x 1 , y 1 , z 1 ] , m d [ x 2 , y 2 , z 2 ] , n d [ x 3 , y 3 , z 3 ] ) [ f ( l d x 1 , m d x 2 , n d x 3 ) , f ( l d y 1 , m d y 2 , n d y 3 ) , f ( l d z 1 , m d z 2 , n d z 3 ) ] B lim d θ ( l m n ) d l d p i = 1 3 x i A p + m d p j = 1 3 y j A p + n d p k = 1 3 z k A p = 0
for every x i , y j , z k A ( 1 i , j , k 3 ) . Thus we have
H [ x 1 , y 1 , z 1 ] , [ x 2 , y 2 , z 2 ] , [ x 3 , y 3 , z 3 ] = H ( x 1 , x 2 , x 3 ) , H ( y 1 , y 2 , y 3 ) , H ( z 1 , z 2 , z 3 )
for every x i , y j , z k A ( 1 i , j , k 3 ) .
Now, suppose that T : A 3 B is another C -ternary algebra tri-homomorphism which also satisfies (6). Then we obtain
H ( x , y , z ) T ( x , y , z ) B = 1 ( l m n ) d H l d x , m d y , n d z T l d x , m d y , n d z B 1 ( l m n ) d [ H l d x , m d y , n d z f l d x , m d y , n d z B + f l d x , m d y , n d z T l d x , m d y , n d z B ] 2 θ ( l m n ) d l 1 + d p l m n l p x A p + m 1 + d p l m n m p y A p + n 1 + d p l m n n p z A p ,
which approaches to zero as d for every x , y , z A . It follows that H ( x , y , z ) = T ( x , y , z ) for every x , y , z A , and hence H is unique. Thus, H constitutes the unique C -ternary algebra tri-homomorphism fulfilling (6). □
Next, we establish the generalized Hyers–Ulam stability of the functional Equation (3) in C -ternary algebras, provided that p > 1 + max { log l m n , log m l n , log n l m } .
Theorem 2.
Let θ be a positive real number and p a real number greater than 1 + max { log l m n , log m l n , log n l m } , and suppose that f : A 3 B is a mapping satisfying (4) and (5). Then there exists a unique C -ternary algebra tri-homomorphism H : A 3 B such that
f ( x , y , z ) H ( x , y , z ) B θ l l p l m n x A p + m m p l m n y A p + n n p l m n z A p
for every x , y , z A .
Proof. 
Using the same reasoning as in the proof of Theorem 1, one obtains the inequality (7). It follows from (7) that
f ( x , y , z ) l m n f x l , y m , z n B θ l 1 p x A p + m 1 p y A p + n 1 p z A p
for every x , y , z A . So
( l m n ) j f x l j , y m j , y n j ( l m n ) k f x l k , y m k , y n k B i = j k 1 ( l m n ) i f x l i , y m i , y n i ( l m n ) i + 1 f x l i + 1 , y m i + 1 , z n i + 1 B θ i = j k 1 ( l m n ) i l 1 p ( i + 1 ) x A p + m 1 p ( i + 1 ) y A p + n 1 p ( i + 1 ) z A p
for every x , y , z A and every nonnegative integers j , k with j < k . By the above inequality, the sequence { ( l m n ) k f ( x l k , y m k , z n k ) } is a Cauchy sequence for any x , y , z A . Since B is complete, the sequence { ( l m n ) k f ( x l k , y m k , z n k ) } converges for every x , y , z A . Hence we may define the mapping H : A 3 B by
H ( x , y , z ) : = lim k ( l m n ) k f x l k , y m k , y n k
for every x , y , z A . Furthermore, by taking j = 0 and letting k in (9), we obtain the required inequality relating f and H.
The remainder of the proof proceeds in the same manner as in Theorem 1. □
We thus establish the generalized Hyers–Ulam stability of the functional Equation (3) in C -ternary algebras whenever p < 1 max { l , m , n } .
Theorem 3.
Let p , θ > 0 be real numbers with p < 1 max { l , m , n } , and consider a mapping f : A 3 B such that
D λ , μ , ν f ( x 1 , , x l , y 1 , , y m , z 1 , , z n ) B θ x 1 A x l A y 1 A y m A z 1 A z n A p ,
f ( [ x 1 , y 1 , z 1 ] , [ x 2 , y 2 , z 2 ] , [ x 3 , y 3 , z 3 ] ) [ f ( x 1 , x 2 , x 3 ) , f ( y 1 , y 2 , y 3 ) , f ( z 1 , z 2 , z 3 ) ] B θ x 1 A x 2 A x 3 A y 1 A y 2 A y 3 A z 1 A z 2 A z 3 A p
for every λ , μ , ν T 1 and every x 1 , , x l , y 1 , , y m , z 1 , , z n A . Then there exists a unique C -ternary algebra tri-homomorphism H : A 3 B satisfying
f ( x , y , z ) H ( x , y , z ) B θ l m n ( l l m m n n ) p x A l y A m z A n p
for every x , y , z A .
Proof. 
If we set λ = μ = ν = 1 , x 1 = = x l = x , y 1 = = y m = y and z 1 , , z n = z in (10), we gain
f ( l x , m y , n z ) l m n f ( x , y , z ) B θ x A l y A m z A n p
for every x , y , z A . Substituting x = l j x , y = m j y , and z = n j z into the above inequality and dividing by ( l m n ) j + 1 , we obtain
1 ( l m n ) j f l j x , m j y , n j z 1 ( l m n ) j + 1 f l j + 1 x , m j + 1 y , n j + 1 z B θ l m n ( l l p 1 m m p 1 n n p 1 ) j x A l y A m z A n p
for every x , y , z A and each j = 0 , 1 , 2 , . If j , k are integers with 0 j < k , then we obtain
1 ( l m n ) j f l j x , m j y , n j z 1 ( l m n ) k f l k x , m k y , n k z B i = j k 1 θ l m n l l p 1 m m p 1 n n p 1 i x A l y A m z A n p
for every x , y , z A . From the above inequality, the sequence 1 ( l m n ) d f ( l d x , m d y , n d z ) is a Cauchy sequence for any x , y , z A . Since B is complete, the sequence 1 ( l m n ) d f ( l d x , m d y , n d z ) converges for every x , y , z A . Define H : A 3 B by
H ( x , y , z ) : = lim d 1 ( l m n ) d f l d x , m d y , n d z
for every x , y , z A . From (10), we gain
D λ , μ , ν H ( x 1 , , x l , y 1 , , y m , z 1 , , z n ) B = lim d 1 ( l m n ) d f l d λ i = 1 l x i , m d μ j = 1 m y j , n d ν k = 1 n z k λ μ ν i = 1 l j = 1 m k = 1 n f ( l d x i , m d y j , n d z k ) B θ x 1 A x l A y 1 A y m A z 1 A z n A p lim d l l p 1 m m p 1 n n p 1 d = 0
for every λ , μ , ν T 1 and every x 1 , , x l , y 1 , , y m , z 1 , , z n A . According to Lemma 2, the map H is C -trilinear. By taking j = 0 and passing to the limit k in (14), the inequality (12) is derived. Consequently, (11) implies that
H [ x 1 , y 1 , z 1 ] , [ x 2 , y 2 , z 2 ] , [ x 3 , y 3 , z 3 ] H ( x 1 , x 2 , x 3 ) , H ( y 1 , y 2 , y 3 ) , H ( z 1 , z 2 , z 3 ) B = lim d 1 ( l m n ) d f l d [ x 1 , y 1 , z 1 ] , m d [ x 2 , y 2 , z 2 ] , n d [ x 3 , y 3 , z 3 ] f ( l d x 1 , m d x 2 , n d x 3 ) , f ( l d y 1 , m d y 2 , n d y 3 ) , f ( l d z 1 , m d z 2 , n d z 3 ) B θ x 1 A x 2 A x 3 A y 1 A y 2 A y 3 A z 1 A z 2 A z 3 A p lim d ( l m n ) ( 3 p 1 ) d = 0
for every x i , y j , z k A ( 1 i , j , k 3 ) . Thus we obtain
H [ x 1 , y 1 , z 1 ] , [ x 2 , y 2 , z 2 ] , [ x 3 , y 3 , z 3 ] = H ( x 1 , x 2 , x 3 ) , H ( y 1 , y 2 , y 3 ) , H ( z 1 , z 2 , z 3 )
for every x i , y j , z k A ( 1 i , j , k 3 ) .
Consider another C -ternary algebra tri-homomorphism T : A 3 B satisfying (12). Then we obtain
H ( x , y , z ) T ( x , y , z ) B = 1 ( l m n ) d H ( l d x , m d y , n d z ) T ( l d x , m d y , n d z ) B 2 θ ( l l p 1 m m p 1 n n p 1 ) d l m n ( l l m m n n ) p ( x A l y A m z A n ) p ,
which converges to zero as d for every x , y , z A . Therefore H = T , showing that H is uniquely determined. Thus H is the only C -ternary algebra tri-homomorphism that satisfies (12). □
Next, we proved the generalized Hyers–Ulam stability of the functional Equation (3) in C -ternary algebras for p > log l m n log l l m m n n .
Theorem 4.
Let p , θ be a positive real numbers with p > log l m n log l l m m n n , and let f : A 3 B be a mapping satisfying (10) and (11). Then there is a unique C -ternary algebra tri-homomorphism H : A 3 B for which
f ( x , y , z ) H ( x , y , z ) B θ ( l l m m n n ) p l m n x A l y A m z A n p
holds for every x , y , z A .
Proof. 
It follows directly from (13) that
f ( x , y , z ) l m n f x l , y m , z n B θ ( l l m m n n ) p x A l y A m z A n p
for every x , y , z A . For integers j , k with 0 j < k , we then obtain that
( l m n ) j f ( x l j , y m j , z n j ) ( l m n ) k f x l k , y m k , z n k B i = j k 1 ( l m n ) i f x l i , y m i , z n i ( l m n ) i + 1 f x l i + 1 , y m i + 1 , z n i + 1 B θ ( l l m m n n ) p i = j k 1 l 1 l p m 1 m p n 1 n p i x A l y A m z A n p
for every x , y , z A . From the above inequality, the sequence
( l m n ) k f x l k , y m k , z n k
forms a Cauchy sequence for every x , y , z A . Since B is complete, this sequence converges for every such x , y , z . We thus define H : A 3 B by
H ( x , y , z ) : = lim k ( l m n ) k f x l k , y m k , z n k , x , y , z A .
If we put j = 0 and let k in (15), we arrive at the required inequality between f and H. The rest of the argument proceeds in the same way as in Theorem 3. □

3. Stability of Tri-Derivations and Tri-Isomorphisms in C -Ternary Algebras

We proved the stability of tri-derivations and tri-isomorphisms in C -ternary algebras. In particular, we proved the existence and uniqueness of such mappings, showing that they approximate given mappings within prescribed bounds.
Theorem 5.
Let p , θ be positive real numbers with p < 1 , and let f : A 3 A be a mapping satisfying (4) such that
f [ x 1 , y 1 , z 1 ] , [ x 2 , y 2 , z 2 ] , [ x 3 , y 3 , z 3 ] f ( x 1 , x 2 , x 3 ) , [ y 1 , y 2 , y 3 ] , [ z 1 , z 2 , z 3 ] [ x 1 , x 2 , x 3 ] , f ( y 1 , y 2 , y 3 ) , [ z 1 , z 2 , z 3 ] [ x 1 , x 2 , x 3 ] , [ y 1 , y 2 , y 3 ] , f ( z 1 , z 2 , z 3 ) A θ k = 1 3 x k A p + y k A p + z k A p
for every x i , y j , z k A ( 1 i , j , k 3 ) . If f satisfies
lim k 1 ( l m n ) k f ( l k x , m k y , n k z ) = lim k 1 ( l m n ) k f ( l 3 k x , m 3 k y , n 3 k z )
for every x , y , z A and f ( 0 , 0 , 0 ) = 0 , then exists a unique C -ternary tri-derivation δ : A 3 A such that
f ( x , y , z ) δ ( x , y , z ) A θ l l m n l p x A p + m l m n m p y A p + n l m n n p z A p
for every x , y , z A .
Proof. 
By the proof of Theorem 1, the sequence 1 ( l m n ) k f ( l k x , m k y , n k z ) is a Cauchy sequence for any x , y , z A . Because A is complete, this sequence converges for every x , y , z A . Hence, we define the mapping δ : A 3 A by
δ ( x , y , z ) : = lim k 1 ( l m n ) k f l k x , m k y , n k z
for every x , y , z A . Using the same argument as in the proof of Theorem 1, we derive the desired inequality for f and δ , and conclude that δ is C -trilinear.
From (16) and (17), it follows that
δ [ x 1 , y 1 , z 1 ] , [ x 2 , y 2 , z 2 ] , [ x 3 , y 3 , z 3 ] δ ( x 1 , x 2 , x 3 ) , [ y 1 , y 2 , y 3 ] , [ z 1 , z 2 , z 3 ] [ x 1 , x 2 , x 3 ] , δ ( y 1 , y 2 , y 3 ) , [ z 1 , z 2 , z 3 ] [ x 1 , x 2 , x 3 ] , [ y 1 , y 2 , y 3 ] , δ ( z 1 , z 2 , z 3 ) A = lim k 1 ( l m n ) k f l 3 k [ x 1 , y 1 , z 1 ] , m 3 k [ x 2 , y 2 , z 2 ] , n 3 k [ x 3 , y 3 , z 3 ] f ( l k x 1 , m k x 2 , n k x 3 ) , [ l k y 1 , m k y 2 , n k y 3 ] , [ l k z 1 , m k z 2 , n k z 3 ] [ l k x 1 , m k x 2 , n k x 3 ] , f ( l k y 1 , m k y 2 , n k y 3 ) , [ l k z 1 , m k z 2 , n k z 3 ] [ l k x 1 , m k x 2 , n k x 3 ] , [ l k y 1 , m k y 2 , n k y 3 ] , f ( l k z 1 , m k z 2 , n k z 3 ) A lim k θ ( l m n ) k [ l k p x 1 A p + y 1 A p + z 1 A p + m k p x 2 A p + y 2 A p + z 2 A p + n k p x 3 A p + y 3 A p + z 3 A p ] = 0
for every x i , y j , z k A ( 1 i , j , k 3 ) . So
δ [ x 1 , y 1 , z 1 ] , [ x 2 , y 2 , z 2 ] , [ x 3 , y 3 , z 3 ] = δ ( x 1 , x 2 , x 3 ) , [ y 1 , y 2 , y 3 ] , [ z 1 , z 2 , z 3 ] + [ x 1 , x 2 , x 3 ] , δ ( y 1 , y 2 , y 3 ) , [ z 1 , z 2 , z 3 ] + [ x 1 , x 2 , x 3 ] , [ y 1 , y 2 , y 3 ] , δ ( z 1 , z 2 , z 3 )
for every x i , y j , z k A ( 1 i , j , k 3 ) .
By an argument similar to that in the proof of Theorem 1, the mapping δ : A 3 A is the unique C -ternary tri-derivation satisfying the required inequality. □
In Theorem 5, for the case that p > 1 3 and
lim k ( l m n ) k f x l k , y m k , z n k = lim k ( l m n ) k f x l 3 k , y m 3 k , z n 3 k
for every x , y , z A , we derive a similar result.
Theorem 6.
Let p , θ denote positive real numbers. Consider a mapping f : A 3 A which satisfies (10) such that
f [ x 1 , y 1 , z 1 ] , [ x 2 , y 2 , z 2 ] , [ x 3 , y 3 , z 3 ] f ( x 1 , x 2 , x 3 ) , [ y 1 , y 2 , y 3 ] , [ z 1 , z 2 , z 3 ] [ x 1 , x 2 , x 3 ] , f ( y 1 , y 2 , y 3 ) , [ z 1 , z 2 , z 3 ] [ x 1 , x 2 , x 3 ] , [ y 1 , y 2 , y 3 ] , f ( z 1 , z 2 , z 3 ) A θ x 1 A y 1 A z 1 A x 2 A y 2 A z 2 A x 3 A y 3 A z 3 A p
for every x i , y j , z k A ( 1 i , j , k 3 ) .
For p < 1 max { l , m , n } , if f satisfies (17), then there exists only one C -ternary tri-derivation δ : A 3 A such that
f ( x , y , z ) δ ( x , y , z ) A θ l m n ( l l m m n n ) p x A l y A m z A n p
for every x , y , z A .
For p > 1 3 , if f satisfies (18), then there exists only one C -ternary tri-derivation δ : A 3 A such that
f ( x , y , z ) δ ( x , y , z ) A θ ( l l m m n n ) p l m n x A l y A m z A n p
for every x , y , z A .
Proof. 
Let p < 1 max { l , m , n } . Analogous to the proof of Theorem 3, we define the mapping δ : A 3 A by
δ ( x , y , z ) : = lim k 1 ( l m n ) k f ( l k x , m k y , n k z )
for every x , y , z A , which satisfies the required inequality for f and δ . The remainder of the proof follows in the same manner as that of Theorem 5.
If p > 1 3 . Analogous to the proof of Theorem 4, the mapping δ : A 3 A can be defined by
δ ( x , y , z ) : = lim k ( l m n ) k f x l k , y m k , z n k
for every x , y , z A , thereby satisfying the required inequality for f and δ . The remainder of the proof proceeds in the same way as the proofs of Theorems 4 and 5, as well as the case p < 1 max { l , m , n } . □

4. Conclusions

In this work, we carried out a refined investigation of Hyers–-Ulam stability for functional equations in three-dimensional C -ternary algebras. By employing a generalized norm inequality method, we established the existence and uniqueness of tri-homomorphic and tri-isomorphic approximations. This study provides a refined analysis of the Hyers–-Ulam stability of functional equations within three-dimensional C -ternary algebras. Using a generalized norm inequality framework, we confirmed both the existence and uniqueness of tri-homomorphic and tri-isomorphic approximations. In this paper, we presented an enhanced analysis of Hyers–Ulam stability for functional equations in three-dimensional C -ternary algebras. Our approach, based on generalized norm inequalities, guarantees the existence and uniqueness of tri-homomorphic and tri-isomorphic approximations.
Since C -ternary algebras are closely related to Hilbert C -modules, the stability results have potential applications in operator algebra theory and quantum information theory, where ternary operations naturally appear.

Author Contributions

Conceptualization, J.-H.B. and W.-G.P.; Writing—original draft, J.-H.B. and W.-G.P. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Cayley, A. On the 34 concomitants of the ternary cubic. Am. J. Math. 1881, 4, 1–15. [Google Scholar] [CrossRef]
  2. Zettl, H. A characterization of ternary rings of operators. Adv. Math. 1983, 48, 117–143. [Google Scholar] [CrossRef]
  3. Moslehian, M.S. Almost derivations on C*-ternary rings. Bull. Belg. Math. Soc.–Simon Stevin 2007, 14, 135–142. [Google Scholar] [CrossRef]
  4. Bae, J.-H.; Park, W.-G. Generalized Ulam-Hyers stability of C*-ternary algebra 3-homomorphisms for a functional equation. J. Chungcheong Math. Soc. 2011, 24, 147–162. [Google Scholar]
  5. Dehghanian, M.; Mosadegh, S.M.S.M.; Park, C.; Shin, D.Y. C*-ternary 3-derivations on C*-ternary algebras. J. Inequal. Appl. 2013, 2013, 124. [Google Scholar] [CrossRef]
  6. Ulam, S.M. A Collection of Mathematical Problems; Interscience: New York, NY, USA, 1960. [Google Scholar]
  7. Hyers, D.H. On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 1941, 27, 222–224. [Google Scholar] [CrossRef] [PubMed]
  8. Aoki, T. On the stability of the linear transformation in Banach spaces. J. Math. Soc. Jpn. 1950, 2, 64–66. [Google Scholar] [CrossRef]
  9. Rassias, T.M. On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 1978, 72, 297–300. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Bae, J.-H.; Park, W.-G. Stability of Tri-Homomorphisms, Tri-Derivations, and Tri-Isomorphisms in C*-Ternary Algebras. Mathematics 2025, 13, 3156. https://doi.org/10.3390/math13193156

AMA Style

Bae J-H, Park W-G. Stability of Tri-Homomorphisms, Tri-Derivations, and Tri-Isomorphisms in C*-Ternary Algebras. Mathematics. 2025; 13(19):3156. https://doi.org/10.3390/math13193156

Chicago/Turabian Style

Bae, Jae-Hyeong, and Won-Gil Park. 2025. "Stability of Tri-Homomorphisms, Tri-Derivations, and Tri-Isomorphisms in C*-Ternary Algebras" Mathematics 13, no. 19: 3156. https://doi.org/10.3390/math13193156

APA Style

Bae, J.-H., & Park, W.-G. (2025). Stability of Tri-Homomorphisms, Tri-Derivations, and Tri-Isomorphisms in C*-Ternary Algebras. Mathematics, 13(19), 3156. https://doi.org/10.3390/math13193156

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