Next Article in Journal
A Two-Step Data Normalization Approach for Improving Classification Accuracy in the Medical Diagnosis Domain
Previous Article in Journal
Design and Operation of Multipurpose Production Facilities Using Solar Energy Sources for Heat Integration Sustainable Strategies
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Stability Results of Quadratic-Additive Functional Equation Based on Hyers Technique in Matrix Paranormed Spaces

1
Department of Mathematics, School of Advanced Sciences, Kalasalingam Academy of Research and Education, Srivilliputhur 626126, Tamil Nadu, India
2
Department of Mathematics, College of Science, King Khalid University, Abha 61413, Saudi Arabia
3
Department of General Required Courses, Mathematics, Faculty of Applied Studies, King Abdulaziz University, Jeddah 21589, Saudi Arabia
4
Operator Theory and Applications Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University, Jeddah 21589, Saudi Arabia
5
Department of Mathematics, Florida Institute of Technology, Melbourne, FL 32901, USA
*
Author to whom correspondence should be addressed.
Mathematics 2022, 10(11), 1940; https://doi.org/10.3390/math10111940
Submission received: 3 May 2022 / Revised: 29 May 2022 / Accepted: 2 June 2022 / Published: 6 June 2022
(This article belongs to the Section Difference and Differential Equations)

Abstract

:
In this work, we introduce a mixed type of quadratic-additive (QA) functional equation and obtain its general solution. The objective of this work is to investigate the Ulam–Hyers stability of this quadratic-additive (QA) functional equation in matrix paranormed spaces (briefly, MP spaces) using the Hyers method for the factor sum of norms.

1. Introduction

The problem of Ulam [1] about the stability of group homomorphisms was originated by the stability problem of functional equations: suppose that A is a group, B ( d ) is a metric group, and ψ : A B . For any ε > 0 , does there exists a δ > 0 such that
d ( ψ ( a b ) , ψ ( a ) ψ ( b ) ) < δ , a , b A ,
holds and which gives a unique homomorphism W : A B is such that
d ( ψ ( a ) , W ( a ) ) < ε ,
for all a A ? If the answer is affirmative, we can say that the Cauchy equation ψ ( a b ) = ψ ( a ) ψ ( b ) is stable.
In 1941, Hyers [2] provided the case of approximately additive mapping F : A A , where A and A are Banach spaces and F satisfies the below Hyers inequality
F ( a + b ) F ( a ) F ( b ) ε , a , b A .
This proved that the limit
B ( a ) = lim n F ( 2 n a ) 2 n , a A ,
exists with the unique additive mapping B : A A , which satisfies
F ( a ) B ( a ) ε , a A .
Moreover, if ψ ( σ a ) is continuous in σ for each fixed a A , then the function B is linear.
The result declared was that the Cauchy functional equation is stable for any pair of Banach spaces. The method that was provided by Hyers formed the additive function B ( a ) called the Direct Method. This is called the stability (Hyers–Ulam stability) of the Cauchy additive functional equation.
Every solution of the following Cauchy additive functional equation
ψ ( u + v ) = ψ ( u ) + ψ ( v ) ,
is known as additive. The functional equation
ψ ( u + v ) + ψ ( u v ) = 2 ψ ( u ) + 2 ψ ( v ) ,
is connected to a symmetric bi-additive. A quadratic function is a name given to each solution of the functional Equation (2). It is widely known that real vector space ψ is quadratic if and only if a single symmetric bi-additive function B exists for all a and ψ ( u ) = B ( u , u ) . The function B is presumptively assumed by
B ( u , v ) = 1 4 ψ ( u + v ) ψ ( u v ) .
Skof explored the Ulam–Hyers stability problem for the functional Equation (2) for the mapping ψ between a normed space and a Banach space. The stability results of a cubic-additive functional equation have been established by Jun [3]. Najati [4] has investigated stability of a quadratic-additive, in quasi-Banach spaces. After this, Najati [5] introduced an additive-cubic functional equation and examined its stability for a mapping between two quasi-Banach spaces.
In 2012, Choonkil Park [6] examined the stability of the functional Equations (1) and (2) in paranormed spaces. In 2013, Choonkil Park extended this work to examine (Ref. [7]) the stability results of the functional Equations (1) and (2) and the below Cauchy additive functional inequality
ψ ( a ) + ψ ( b ) + ψ ( c ) ψ ( a + b + c ) ,
in matrix paranormed spaces. Based on these two works, Murali et al. [8] investigated the stability for the quadratic and cubic functional equations in matrix paranormed spaces. Moreover, Murali et al. [9] investigated the Hyers–Ulam stability of the quartic mappings in the same space. Tamilvanan et al., who developed this work, explored numerous functional equations in various normed spaces [10,11,12].

2. Quadratic-Additive Functional Equation and Its General Solution

We introduce a new mixed type of quadratic-additive (in brief, QA) functional equation:
ψ h = 1 l h a h = 1 h < g l ψ h a h + g a g l 2 h = 1 l h 2 ψ ( a h ) + ψ ( a h ) 2 l 2 h = 1 l h ψ ( a h ) ψ ( a h ) 2 ,
where l 4 , and we obtain its general solution. The main objective of this work is to investigate the Ulam–Hyers stability results of this functional equation in matrix paranormed spaces by using the Hyers method for the factor sum of norms.
We utilize some notions from [7,13] as follows:
  • M l ( V ) is the set of all l × l -matrices in V;
  • e i M 1 , l ( C ) is the i t h element, which is 1, and the remaining elements are 0;
  • E h i M l ( C ) indicates that the ( h , i ) -element is 1 and the remaining elements are 0;
  • E h i a M l ( V ) indicates that the ( h , i ) -element is a and the remaining elements are 0.
For a M l ( V ) , b M m ( V ) ,
a b = a 0 0 b .
We remark that V , · l is a matrix normed space if and only if M l ( V ) , · l is a normed space for every integer l > 0 and
E a F m E F a l ,
holds for all E M m , l , a = [ a h i ] M l ( V ) and all F M l , m , and that V , · l is a matrix Banach space if and only if V , · l is a matrix normed space, where V is a Banach space.
Lemma 1.
If an even mapping ψ : V W , which satisfies the functional Equation (3) for all a 1 , a 2 , , a l V , then the mapping ψ : V W is quadratic.
Proof. 
In terms of the evenness of ψ , we obtain ψ ( a ) = ψ ( a ) . Now, Equation (3) becomes
ψ h = 1 l h a h = 1 h < g l ψ h a h + g a g l 2 h = 1 l h 2 ψ ( a h ) ,
for all a 1 , a 2 , , a l V . Replacing ( a 1 , a 2 , , a l ) by ( 0 , 0 , , 0 ) in (4), we have ψ ( 0 ) = 0 . Now, replacing ( a 1 , a 2 , , a l ) by ( 0 , a , 0 , , 0 ) in (4), we obtain
ψ ( 2 a ) = 2 ψ ( a ) ,
for all a V . Replacing a by 2 a in (5), we obtain
ψ ( 2 2 a ) = 2 4 ψ ( a ) ,
for all a V . Replacing a by 2 a in (6), we obtain
ψ ( 2 3 a ) = 2 6 ψ ( a ) ,
for all a V . Finally, we conclude that, for any non-negative integer l, we obtain
ψ ( 2 l a ) = 2 2 l ψ ( a ) ,
for all a V . Now, replacing ( a 1 , a 2 , , a l ) by 0 , a 2 , 0 , , 0 in (4), we have
ψ a 2 = 1 2 2 ψ ( a ) ,
for all a V . Replacing a by a 2 in (9), we obtain
ψ a 2 2 = 1 2 4 ψ ( a ) ,
for all a V . Replacing a by a 2 in (10), we obtain
ψ a 2 3 = 1 2 6 ψ ( a ) ,
for all a V . Finally, we conclude that, for any non-negative integer i, we obtain
ψ a 2 i = 1 2 2 i ψ ( a ) ,
for all a V . Replacing a 1 , a 2 , , a l by a , b 2 , a 3 , b 4 , 0 , , 0 in (4), we obtain (2) for all a , b V . Therefore, the mapping ψ : V W is quadratic. □
Lemma 2.
If an odd mapping ψ : V W , which satisfies the functional Equation (3) for all a 1 , a 2 , , a l V , then the mapping ψ : V W is additive.
Proof. 
In terms of the evenness of ψ , we obtain ψ ( a ) = ψ ( a ) . Now, Equation (3) becomes
ψ h = 1 l h a h = 1 h < g l ψ h a h + g a g l 2 h = 1 l h ψ ( a h ) ,
for all a 1 , a 2 , , a l V . Now, replacing ( a 1 , a 2 , , a l ) by ( 0 , 0 , , 0 ) in (11), we have ψ ( 0 ) = 0 . Next, replacing ( a 1 , a 2 , , a l ) by ( 0 , a , 0 , , 0 ) in (11) and using the oddness of ψ , we obtain
ψ ( 2 a ) = 2 ψ ( a ) ,
for all a V . Again, replacing a by 2 a in (12), we have
ψ ( 2 2 a ) = 2 2 ψ ( a ) ,
for all a V . Replacing a by 2 a in (13), we obtain
ψ ( 2 3 a ) = 2 3 ψ ( a ) ,
for all a V . Finally, we conclude that for any non-negative integer l, we have
ψ ( 2 l a ) = 2 l ψ ( a ) ,
for all a V . Now, replacing ( a 1 , a 2 , , a l ) by 0 , a 2 , 0 , , 0 in (11), we obtain
ψ a 2 = 1 2 ψ ( a ) ,
for all a V . Replacing a by a 2 in (14), we obtain
ψ a 2 2 = 1 2 2 ψ ( a ) ,
for all a V . Replacing a by a 2 in (15), we obtain
ψ a 2 3 = 1 2 3 ψ ( a ) ,
for all a V . Finally, we conclude that for any non-negative integer i, we have
ψ a 2 i = 1 2 i ψ ( a ) ,
for all a V . Replacing a 1 , a 2 , , a l by a , b 2 , a 3 , b 4 , 0 , , 0 in (11), we reach (1) for all a , b V . Therefore, the mapping ψ : V W is additive. □
Lemma 3.
A mapping ψ : V W such that ψ ( 0 ) = 0 and (3) for all a 1 , a 2 , , a l V if and only if there exist a mapping Y : V × V W which is symmetric bi-additive and a mapping X : V W which is additive such that ψ ( a ) = Y ( a , a ) + X ( a ) for all a V .
Proof. 
Let ψ with ψ ( 0 ) = 0 satisfy (3). Now, split ψ into an even part and odd part by taking
ψ e ( a ) = 1 2 ψ ( a ) + ψ ( a ) a n d ψ o ( a ) = 1 2 ψ ( a ) ψ ( a ) ,
for all a V . Clearly, ψ ( a ) = ψ e ( a ) + ψ o ( a ) for all a V . Thus, ψ e and ψ o satisfy the functional Equation (3). From Lemmas 1 and 2, we obtain that ψ e (quadratic) and ϕ o (additive). Thus, there exists Y : V × V W , which satisfies ψ e ( a ) = B ( a , a ) for all a V . Therefore,
ψ ( a ) = X ( a ) + Y ( a , a ) , a V ,
where X ( a ) = ψ o ( a ) .
Conversely, suppose that there exist mappings Y : V × V W and X : V W satisfies
ψ ( a ) = B ( a , a ) + X ( a ) , a V .
Easily, we can prove that the mappings a Y ( a , a ) and X satisfy the functional Equation (3). Thus, the mapping ψ satisfies the functional Equation (3). □

3. Stability Results in Matrix Paranormed Spaces

Here, we take V , · l as a matrix Banach space and ( W , P l ( · ) ) as a matrix Frechet space. For a mapping ψ : V W , define D ψ : V l W and D ψ l : M l ( V l ) M l ( W ) by
D ψ ( a 1 , a 2 , , a l ) : = ψ h = 1 l h a h 1 h < g l ψ h a h + g a g + l 2 h = 1 l h 2 ψ ( a h ) + ψ ( a h ) 2 + l 2 h = 1 l h ψ ( a h ) ψ ( a h ) 2 ,
and
D ψ l ( a 1 ) i j ] , [ ( a 2 ) i j ] , , [ ( a l ) i j ] : = ψ l h = 1 l h [ ( a h ) i j ] 1 h < g l ψ l h [ ( a h ) i j ] + g [ ( a g ) i j ] + l 2 h = 1 l h 2 ψ l ( [ ( a h ) i j ] ) + ψ l ( [ ( a h ) i j ] ) 2 + l 2 h = 1 l h ψ l ( [ ( a h ) i j ] ) ψ l ( [ ( a h ) i j ] ) 2 ,
for all a 1 , a 2 , , a l V and all a t = [ ( a t ) i j ] M l ( V ) , t = 1 , 2 , , l .
Note that P ( 2 a ) 2 P ( a ) for all a W .
Theorem 1.
Let α , λ R + with α > 2 . If an even mapping ψ : V W such that
P l D ψ l [ a 1 i j ] , [ a 2 i j ] , , [ a l i j ] i , j = 1 l λ t = 1 l ( a t ) i j α ,
for all a t = [ ( a t ) i j ] M l ( V ) , t = 1 , 2 , , l , then there exists a unique quadratic mapping Q : V W satisfying
P l ψ l [ a i j ] Q l [ a i j ] i , j = 1 l λ ( l 2 ) ( 2 α 2 2 ) a i j α ,
for all a = [ a i j ] M l ( V ) .
Proof. 
Let l = 1 in (16). Then, the inequality (16) becomes
P D ψ ( a 1 , a 2 , , a l ) λ t = 1 l a t α ,
for all a 1 , a 2 , , a l V . Replacing ( a 1 , a 2 , , a l ) by ( 0 , 0 , 0 , , 0 ) in (17), we obtain
P 2 l 4 l 3 7 l 2 l + 6 6 ψ ( 0 ) 0 .
Therefore, ψ ( 0 ) = 0 . Replacing ( a 1 , a 2 , , a l ) by ( 0 , a , 0 , , 0 ) in (17), we have
P ( ( l 2 ) ψ ( 2 a ) 4 ( l 2 ) ψ ( a ) ) λ a α ,
for all a V . From inequality (18), we have
P ( ψ ( 2 a ) 4 ψ ( a ) ) λ ( l 2 ) a α ,
and so
P ψ ( a ) 2 2 ψ a 2 λ ( l 2 ) 2 α a α ,
for all a V . Clearly,
P 2 2 r ψ a 2 r 2 2 s ψ a 2 s δ = r s 1 2 2 δ λ ( l 2 ) 2 ( δ + 1 ) α a α ,
for all a V and all positive integers r , s with r < s . From (19), the sequence 2 2 δ ψ a 2 δ is Cauchy for every a V .
Since W is complete, the sequence 2 2 δ ψ a 2 δ converges. Next, we can define a mapping Q : V W by
Q ( a ) = lim δ 2 2 δ ψ a 2 δ ,
for all a V . Setting r = 0 and taking the limit s that tends to in (19), we have
P ψ ( a ) Q ( a ) λ ( l 2 ) ( 2 α 2 2 ) a α ,
for all a V . From inequality (17),
P 2 2 δ D ψ a 1 2 δ , a 2 2 δ , , a l 2 δ 2 2 δ P D ψ a 1 2 δ , a 2 2 δ , , a l 2 δ 2 2 δ λ 2 δ α t = 1 l a t α 0 a s δ .
Therefore, P ( Q ( a 1 , a 2 , , a l ) ) = 0 . Therefore, the function Q satisfies the functional Equation (3). Hence, the function Q is quadratic. Now, we prove that Q is unique. Consider Q to be another quadratic function which satisfies the functional Equation (3). Hence,
P Q ( a ) Q ( a ) = P 2 2 s Q a 2 s 2 2 s Q a 2 s P 2 2 s Q a 2 s ψ a 2 s + P 2 2 s ψ a 2 s Q a 2 s 2 2 s + 1 λ ( l 2 ) ( 2 α 2 2 ) 2 s α a α 0 a s s ,
for all a V . Thus, Q ( a ) = Q ( a ) for all a V . This shows that Q is a unique function. By Lemma 2.1 in [5] and (20), we can conclude that
P l ψ l [ a i j ] Q l [ a i j ] i , j = 1 l P ψ a i j Q a i j i , j = 1 l λ ( l 2 ) ( 2 α 2 2 ) a i j α ,
for all a = [ a i j ] M l ( V ) . Hence, the proof of the theorem is now completed. □
Theorem 2.
Let α , λ R + with α < 2 . If an even mapping ψ : W V such that
D ψ l [ a 1 i j ] , [ a 2 i j ] , , [ a l i j ] l i , j = 1 l λ t = 1 l P ( a t ) i j α ,
for all a t = [ ( a t ) i j ] M l ( W ) , t = 1 , 2 , , l , then there exists a unique quadratic mapping Q : W V satisfying
ψ l [ a i j ] Q l [ a i j ] l i , j = 1 l λ ( l 2 ) ( 2 2 2 α ) P a i j α ,
for all a = [ a i j ] M l ( W ) .
Proof. 
Assume that l = 1 in (21). Then, the inequality (21) becomes
D ψ ( a 1 , a 2 , , a l ) λ t = 1 l P a t α ,
for all a 1 , a 2 , , a l W . Replacing ( a 1 , a 2 , , a l ) by ( 0 , 0 , 0 , , 0 ) in (22), we have
2 l 4 l 3 7 l 2 l + 6 6 ψ ( 0 ) 0 .
Therefore, ψ ( 0 ) = 0 . Replacing ( a 1 , a 2 , , a l ) by ( 0 , a , 0 , , 0 ) in (22), we have
( l 2 ) ψ ( 2 a ) 4 ( l 2 ) ψ ( a ) λ P a α ,
for all a W . It follows from the inequality (23) that we obtain
ψ ( 2 a ) 2 2 ψ ( a ) λ 2 2 ( l 2 ) P a α ,
for all a W . Replacing a by 2 a and dividing by 2 2 in inequality (23), we obtain
ψ ( 2 2 a ) 2 4 ψ ( 2 a ) 2 2 2 α λ 2 4 ( l 2 ) P a α ,
for all a W . Clearly,
ψ ( 2 r a ) 2 2 r ψ ( 2 s a ) 2 2 s δ = s r 1 2 α δ λ 2 2 ( δ + 1 ) ( l 2 ) P a α ,
for all a W and all positive integers r , s with s < r . From (24), the sequence ψ 2 δ a 2 2 δ is a Cauchy sequence for all a W .
Since V is complete, the sequence ψ 2 δ a 2 2 δ converges. Next, we can define a mapping Q : W V by
Q ( a ) = lim δ ψ 2 δ a 2 2 δ ,
for all a W . Now, setting s = 0 and taking the limit r in (24), we have
ψ ( a ) Q ( a ) λ ( l 2 ) ( 2 2 2 α ) P a α ,
for all a W . From inequality (22),
1 2 2 δ D ψ 2 δ a 1 , 2 δ a 2 , , 2 δ a l 1 2 2 δ D ψ 2 δ a 1 , 2 δ a 2 , , 2 δ a l 2 δ α 2 2 δ λ t = 1 l a t α 0 a s δ .
Therefore, Q ( a 1 , a 2 , , a l ) = 0 . Thus, the function Q satisfies the functional Equation (3). Hence, the function Q is quadratic. Now, we prove that the quadratic function Q is unique. Consider Q to be another quadratic function which satisfies the functional Equation (3). Hence,
Q ( a ) Q ( a ) = Q 2 r a 2 2 r Q 2 r a 2 2 r Q 2 r a 2 2 r ψ 2 r a 2 2 r + ψ 2 r a 2 2 r Q 2 r a 2 2 r 2 ( r α + 1 ) λ ( l 2 ) ( 2 2 2 α ) 2 2 r P a α 0 a s r ,
for all a W . Thus, Q ( a ) = Q ( a ) for all a W . This proves that the function Q is unique. By Lemma 2.2 in [5] and (25), we can conclude that
ψ l [ a i j ] Q l [ a i j ] l i , j = 1 l ψ a i j Q a i j i , j = 1 l λ ( l 2 ) ( 2 2 2 α ) P a i j α ,
for all a = [ a i j ] M l ( W ) , which ends the proof. □
Theorem 3.
Let α , λ R + with α > 1 . If an odd mapping ψ : V W such that
P l D ψ l [ a 1 i j ] , [ a 2 i j ] , , [ a l i j ] i , j = 1 l λ t = 1 l ( a t ) i j α ,
for all a t = [ ( a t ) i j ] M l ( V ) , t = 1 , 2 , , l , then there exists a unique additive mapping A : V W satisfying
P l ψ l [ a i j ] A l [ a i j ] i , j = 1 l λ ( l 2 ) ( 2 α 2 ) a i j α
for all a = [ a i j ] M l ( V ) .
Proof. 
Assume that l = 1 in (26). Then, the inequality (26) becomes
P D ψ ( a 1 , a 2 , , a l ) λ t = 1 l a t α ,
for all a 1 , a 2 , , a l V . Replacing ( a 1 , a 2 , , a l ) by ( 0 , a , 0 , , 0 ) in (28), we have
P ( ( l 2 ) ψ ( 2 a ) 4 ( l 2 ) ψ ( a ) ) λ a α ,
for all a V . From the inequality (29), we obtain
P ( ψ ( 2 a ) 2 ψ ( a ) ) λ ( l 2 ) a α ,
and so
P ψ ( a ) 2 ψ a 2 λ ( l 2 ) 2 α a α ,
for all a V . Replacing a by a 2 and multiply by 2 in (30), we obtain
P 2 ψ a 2 2 2 ψ a 2 2 2 λ ( l 2 ) 2 2 α a α ,
for all a V . It is easy to show that
P 2 r ψ a 2 r 2 s ψ a 2 s δ = r s 1 2 δ λ ( l 2 ) 2 ( δ + 1 ) α a α ,
for all a V and all positive integers r , s with r < s . From (31), the sequence 2 δ ψ a 2 δ is a Cauchy sequence for all a V .
Since W is complete, the sequence 2 δ ψ a 2 δ converges. Next, we can define a mapping A : V W by
A ( a ) = lim δ 2 δ ψ a 2 δ ,
for all a V . Now, taking r = 0 and the limit s that tends to in (31), we arrive at
P ψ ( a ) A ( a ) λ ( l 2 ) ( 2 α 2 ) a α ,
for all a V . From inequality (28),
P 2 δ D ψ a 1 2 δ , a 2 2 δ , , a l 2 δ 2 δ P D ψ a 1 2 δ , a 2 2 δ , , a l 2 δ 2 δ λ 2 δ α t = 1 l a t α 0 a s δ .
Therefore, P ( A ( a 1 , a 2 , , a l ) ) = 0 . That is, the function A satisfies the functional Equation (3). Thus, the function A is additive. Now, we want to prove that the function A is unique. Consider A as another additive function which satisfies the functional Equation (3). Hence,
P A ( a ) A ( a ) = P 2 s A a 2 s 2 s A a 2 s P 2 s A a 2 s ψ a 2 s + P 2 s ψ a 2 s A a 2 s 2 s + 1 λ ( l 2 ) ( 2 α 2 ) 2 s α a α 0 a s s ,
for all a V . Thus, A ( a ) = A ( a ) for all a V . This proves that the function A is a unique function. By Lemma 2.1 in [5] and (32), we can conclude that
P l ψ l [ a i j ] A l [ a i j ] i , j = 1 l P ψ a i j A a i j i , j = 1 l λ ( l 2 ) ( 2 α 2 ) a i j α ,
for all a = [ a i j ] M l ( V ) . Hence, the proof of the theorem is now completed. □
Theorem 4.
Let α , λ R + with α < 1 . If an odd mapping ψ : W V such that
D ψ l [ a 1 i j ] , [ a 2 i j ] , , [ a l i j ] l i , j = 1 l λ t = 1 l P ( a t ) i j α ,
for all a t = [ ( a t ) i j ] M l ( W ) , t = 1 , 2 , , l , then there exists a unique additive mapping A : W V satisfying
ψ l [ a i j ] A l [ a i j ] l i , j = 1 l λ ( l 2 ) ( 2 2 α ) P a i j α ,
for all a = [ a i j ] M l ( W ) .
Proof. 
Assume that l = 1 in (33). Then, the equality (33) becomes
D ψ ( a 1 , a 2 , , a l ) λ t = 1 l P a t α ,
for all a 1 , a 2 , , a l W . Replacing ( a 1 , a 2 , , a l ) by ( 0 , a , 0 , , 0 ) in (34), we obtain
( l 2 ) ψ ( 2 a ) 2 ( l 2 ) ψ ( a ) λ P a α ,
for all a W . It follows from the inequality (35) that we obtain
ψ ( 2 a ) 2 ψ ( a ) λ 2 ( l 2 ) P a α ,
for all a W . Replacing a by 2 a and dividing by 2 in (36), we obtain
ψ ( 2 2 a ) 2 2 ψ ( 2 a ) 2 2 α λ 2 2 ( l 2 ) P a α ,
for all a W . It is easy to show that
ψ ( 2 r a ) 2 r ψ ( 2 s a ) 2 s δ = s r 1 2 α δ λ 2 ( δ + 1 ) ( l 2 ) P a α ,
for all a W and all positive integers r , s with s < r . From (37), the sequence ψ 2 δ a 2 δ is a Cauchy sequence for all a W .
Since V is complete, the sequence ψ 2 δ a 2 δ converges. Next, we can define a mapping A : W V by
A ( a ) = lim δ ψ 2 δ a 2 δ ,
for all a W . Now, setting s = 0 and taking the limit r in (37), we obtain
ψ ( a ) A ( a ) λ ( l 2 ) ( 2 2 α ) P a α ,
for all a W . From inequality (34),
1 2 δ D ψ 2 δ a 1 , 2 δ a 2 , , 2 δ a l 1 2 δ D ψ 2 δ a 1 , 2 δ a 2 , , 2 δ a l 2 δ α 2 δ λ t = 1 l a t α 0 a s δ .
Therefore, A ( a 1 , a 2 , , a l ) = 0 . That is, the function A satisfies (3). Hence, the function A is additive. Now, we want to prove that the additive function A is unique. Consider A as another additive function which satisfies the functional Equation (3). Hence,
A ( a ) A ( a ) = A 2 r a 2 r A 2 r a 2 r A 2 r a 2 r ψ 2 r a 2 r + ψ 2 r a 2 r A 2 r a 2 r 2 ( r α + 1 ) λ ( l 2 ) ( 2 2 α ) 2 r P a α 0 a s r ,
for all a W . Thus, A ( a ) = A ( a ) for all a W . This shows that A is a unique function. By Lemma 2.2 in [5] and (38), we can conclude that
ψ l [ a i j ] A l [ a i j ] l i , j = 1 l ψ a i j A a i j i , j = 1 l λ ( l 2 ) ( 2 2 α ) P a i j α ,
for all a = [ a i j ] M l ( W ) , which ends the proof. □
Proposition 1.
Let α , λ R + with α > 2 or α > 1 . Let ψ : V W be a mapping with ψ ( 0 ) = 0 such that (16) holds for all a t = [ ( a t ) i j ] M l ( V ) , t = 1 , 2 , , l . Then, there exists a unique quadratic mapping Q : V W and a unique additive mapping A : V W that satisfies
P l ψ l [ a i j ] Q l [ a i j ] A l [ a i j ] i , j = 1 l λ ( l 2 ) a i j α 1 ( 2 α 2 2 ) + 1 ( 2 α 2 ) ,
for all a = [ a i j ] M l ( V ) .
Proof. 
Let us define ψ ( [ a i j ] ) = ψ e ( [ a i j ] ) + ψ o ( [ a i j ] ) , where
ψ e ( [ a i j ] ) = ψ ( [ a i j ] ) + ψ e ( [ a i j ] ) 2 a n d ψ 0 ( [ a i j ] ) = ψ ( [ a i j ] ) ψ e ( [ a i j ] ) 2
are even and odd functions, respectively. Hence,
P l ψ l [ a i j ] Q l [ a i j ] A l [ a i j ] = P l ( ψ l ) e [ a i j ] + ( ψ l ) o [ a i j ] Q l [ a i j ] A l [ a i j ] P l ( ψ l ) e [ a i j ] Q l [ a i j ] + P l ( ψ l ) o [ a i j ] A l [ a i j ]
for all [ a i j ] M l ( V ) . The remaining proof is followed by the results of Theorem 1 and Theorem 3. □
Proposition 2.
Let α , λ R + with α < 2 or α < 1 . Let ψ : W V be a mapping with ψ ( 0 ) = 0 such that (16) holds for all a t = [ ( a t ) i j ] M l ( W ) , t = 1 , 2 , , l . Then, there exists a unique quadratic mapping Q : W V and a unique additive mapping A : W V such that
ψ l [ a i j ] Q l [ a i j ] A l [ a i j ] l i , j = 1 l λ ( l 2 ) P a i j α 1 ( 2 2 2 α ) + 1 ( 2 2 α ) ,
for all a = [ a i j ] M l ( W ) .
Proof. 
Let us define ψ ( [ a i j ] ) = ψ e ( [ a i j ] ) + ψ o ( [ a i j ] ) , where
ψ e ( [ a i j ] ) = ψ ( [ a i j ] ) + ψ e ( [ a i j ] ) 2 a n d ψ 0 ( [ a i j ] ) = ψ ( [ a i j ] ) ψ e ( [ a i j ] ) 2
are even and odd functions, respectively. Hence,
ψ l [ a i j ] Q l [ a i j ] A l [ a i j ] l = ( ψ l ) e [ a i j ] + ( ψ l ) o [ a i j ] Q l [ a i j ] A l [ a i j ] l ( ψ l ) e [ a i j ] Q l [ a i j ] l + ( ψ l ) o [ a i j ] A l [ a i j ] l ,
for all [ a i j ] M l ( W ) . The remaining proof is followed by the results of Theorem 2 and Theorem 4. □

4. Illustrative Example

We use a suitable example to show that the functional Equation (3) fails to be stable in the singular situation. In response to Gajda’s excellent example in [14], we give the following counter-example, which demonstrates the instability in Theorem 1 of Equation (3) under specific conditions α = 2 .
Remark 1.
If an even mapping ψ : R V satisfies the functional Equation (3), then the below assertions hold:
(1) 
ψ ( m c / 2 a ) = m c ϕ ( a ) , for all a R , m Q and c Z .
(2) 
ψ ( a ) = a 2 ψ ( 1 ) , for all a R if the function ψ is continuous.
Example 1.
Let an even mapping ψ : R R defined by
ψ ( a ) = p = 0 ϕ 2 p a 2 2 p ,
where
ϕ ( a ) = λ a 2 , 1 < a < 1 λ , e l s e .
Suppose that the function ψ defined in (39) satisfies
| D ψ ( a 1 , a 2 , , a l ) | 2 l 4 l 3 2 l 2 5 l + 6 6 8 3 λ j = 1 l | a j | 2 ,
for all a 1 , a 2 , , a l R . We show that there does not exist a quadratic mapping Q : R R such that
| ψ ( a ) Q ( a ) | δ | a | 2 ,
for all a R , where λ and δ are constants.
We can easily find that ψ is bounded by 2 2 3 λ on R . If j = 1 l | a j | 2 1 2 2 or 0, then
| D ψ ( a 1 , a 2 , , a l ) | < 2 l 4 l 3 2 l 2 5 l + 6 6 2 2 3 λ .
Thus, (40) is valid. Next, suppose that
0 < j = 1 s | a j | 2 < 1 2 2 ,
and then there is an integer s > 0 that satisfies
1 2 2 ( s + 2 ) j = 1 l | a j | 2 < 1 2 2 ( s + 1 ) .
Thus, 2 2 s | a 1 | < 1 2 2 , 2 2 s | a 2 | < 1 2 2 , 2 2 s | a 3 | < 1 2 2 , , 2 2 s | a l | < 1 2 2 and
2 t a 1 , 2 t a 2 , , 2 t a l h = 1 l 2 t h a h 1 h < g l 2 t h a h + 2 t g a g h = 1 l h 2 ( 2 t a h ) ] 1 , 1 [ , t = 0 , 1 , , s 1 .
Moreover, for t = 0 , 1 , , s 1
Ψ ( a 1 , a 2 , , a l ) = ϕ h = 1 l h a h 1 h < g l ϕ h a h + g a g + l 2 h = 1 l h 2 ϕ ( a h ) = 0 .
Next, by inequality (42), we obtain that
| D ψ ( a 1 , a 2 , , a l ) | t = 0 1 2 2 t | Ψ ( 2 t a 1 , 2 t a 2 , , 2 t a l ) | t = s 1 2 2 t 2 l 4 l 3 2 l 2 5 l + 6 6 λ .
It follows from (42) that
| D ψ ( a 1 , a 2 , , a l ) | 2 l 4 l 3 2 l 2 5 l + 6 6 8 λ 3 j = 1 l | a j | 2 .
Thus, the function ψ satisfies the inequality (40). Suppose, on the contrary, that there exists a quadratic mapping Q : R R which satisfies (41).
From Remark 1, Q must be Q ( a ) = c a 2 , a R . Thus, we obtain
| χ ( a ) | δ + | c | | a | 2 , a R .
However, we have a choice s > 0 with s λ > δ + | c | . If a 0 , 1 2 s 1 , then 2 t a ( 0 , 1 ) for every t = 0 , 1 , , s 1 , we have
ψ ( a ) = t = 0 ϕ ( 2 t a ) 2 2 t t = 0 s 1 λ ( 2 t a ) 2 2 2 t = s λ a 2 > δ + | c | | a 2 | ,
which contradicts. Thus, Equation (3) is not stable.
The upcoming counter-example shows the non-stability in a particular condition α = 1 in Theorem 3 of the functional Equation (3).
Remark 2.
If an odd mapping ψ : R V satisfies the functional Equation (3), then the below assertions hold:
(1) 
ψ ( m c a ) = m c ϕ ( a ) , a R , m Q and c Z .
(2) 
ψ ( a ) = a ψ ( 1 ) , a R if the function ψ is continuous.
Example 2.
Let an odd mapping ψ : R R defined by
ψ ( a ) = p = 0 ϕ 2 p a 2 p ,
where
ϕ ( a ) = λ a , 1 < a < 1 λ , e l s e .
Suppose that the function ψ is defined in (43) such that
| D ψ ( a 1 , a 2 , , a l ) | 2 l 4 l 3 2 l 2 5 l + 6 6 4 λ j = 1 l | a j | 2
for all a 1 , a 2 , , a l R . We show that there does not exist an additive mapping A : R R satisfying
| ψ ( a ) A ( a ) | δ | a | , a R ,
where λ and δ are constants.
We can easily find that ψ is bounded by 2 λ on R . If j = 1 l | a j | 1 2 or 0, then
| D ψ ( a 1 , a 2 , , a l ) | < 2 l 4 l 3 2 l 2 5 l + 6 6 2 λ .
Thus, (45) is valid. Next, suppose that
0 < j = 1 s | a j | < 1 2 ,
and then there exists an integer s > 0 that satisfies
1 2 ( s + 2 ) j = 1 l | a j | < 1 2 ( s + 1 ) .
Thus, 2 s | a 1 | < 1 2 , 2 s | a 2 | < 1 2 , 2 s | a 3 | < 1 2 , , 2 s | a l | < 1 2 and
2 t a 1 , 2 t a 2 , , 2 t a l h = 1 l 2 t h a h 1 h < g l 2 t h a h + 2 t g a g h = 1 l h ( 2 t a h ) ] 1 , 1 [ , t = 0 , 1 , , s 1 .
Moreover, for t = 0 , 1 , , s 1
Ψ ( a 1 , a 2 , , a l ) = ϕ h = 1 l h a h 1 h < g l ϕ h a h + g a g + l 2 h = 1 l h ϕ ( a h ) = 0 .
Next, by inequality (46), we obtain that
| D ψ ( a 1 , a 2 , , a l ) | t = 0 1 2 t | Ψ ( 2 t a 1 , 2 t a 2 , , 2 t a l ) | t = s 1 2 t 2 l 4 l 3 2 l 2 5 l + 6 6 λ .
It follows from (46) that
| D ψ ( a 1 , a 2 , , a l ) | 2 l 4 l 3 2 l 2 5 l + 6 6 4 λ j = 1 l | a j | .
Thus, the function ψ satisfies the inequality (44). Assume that, on the contrary, there is an additive mapping A : R R which satisfies (45).
From Remark 2, A must be A ( a ) = c a , a R . Thus, we have
| χ ( a ) | δ + | c | | a | , a R .
However, we have the choice of s > 0 with s λ > δ + | c | . If a 0 , 1 2 s 1 , then 2 t a ( 0 , 1 ) for all t = 0 , 1 , , s 1 , and we have
ψ ( a ) = t = 0 ϕ ( 2 t a ) 2 t t = 0 s 1 λ ( 2 t a ) 2 t = s λ a > δ + | c | | a | ,
which contradicts. Thus, the functional Equation (3) is not stable.

5. Conclusions

In this work, we have introduced a new dimension to the finite variable QA functional Equation (3) and its general solution for the function ψ was derived. Mainly, Ulam–Hyers stability in the matrix paranormed spaces has been explored by employing the Hyers method for the sum of norms factor of the generalized finite variable QA functional Equation (3).

Author Contributions

Conceptualization, K.T. and S.A.M.; Formal analysis, Y.A. and R.P.A.; Investigation, K.T. and S.A.M.; Methodology, Y.A. and R.P.A.; Writing—original draft, K.T., S.A.M. and Y.A.; Writing—review and editing, K.T., S.A.M., Y.A. and R.P.A. All authors have read and agreed to the published version of the manuscript.

Funding

The authors extend their appreciation to the Deanship of Scientific Research at King Khalid University, Abha, Saudi Arabia, for funding this work through the research group program under grant number RGP.2/211/43.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare that they have no conflict of interest.

References

  1. Ulam, S.M. A Collection of Mathematical Problems, Interscience Tracts in Pure and Applied Mathematics; No. 8; Interscience Publishers: New York, NY, USA, 1960. [Google Scholar]
  2. Hyers, D.H. On the stability of the linear functional equation. Proc. Nat. Acad. Sci. USA 1941, 27, 222–224. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  3. Jun, K.-W.; Kim, H.-M. Ulam stability problem for a mixed type of cubic and additive functional equation. Bull. Belg. Math. Soc. Simon Stevin. 2006, 13, 271–285. [Google Scholar] [CrossRef]
  4. Najati, A.; Moghimi, M.B. Stability of a functional equation deriving from quadratic and additive functions in quasi-Banach spaces. J. Math. Anal. Appl. 2008, 337, 399–415. [Google Scholar] [CrossRef] [Green Version]
  5. Najati, A.; Eskandani, G.Z. Stability of a mixed additive and cubic functional equation in quasi-Banach spaces. J. Math. Anal. Appl. 2008, 342, 1318–1331. [Google Scholar] [CrossRef] [Green Version]
  6. Park, C.; Shin, D.Y. Functional equations in paranormed spaces. Adv. Difference Equ. 2012, 2012, 123. [Google Scholar] [CrossRef] [Green Version]
  7. Park, C.; Lee, J.R.; Shin, D.Y. Functional equations and inequalities in matrix paranormed spaces. J. Inequal. Appl. 2013, 2013, 547. [Google Scholar] [CrossRef] [Green Version]
  8. Murali, R.; Raj, A.A.; Sudha, S. Hyers-Ulam stability of cubic and quartic functional equations in matrix paranormed spaces. Internat. J. Math. Soft Comput. 2016, 6, 1–11. [Google Scholar] [CrossRef] [Green Version]
  9. Murali, R.; Raj, A.A.; Boobalan, M. Hyers-Ulam stability of quartic functional equation in matrix paranormed spaces. Internat. J. Math. Appl. 2016, 4, 81–86. [Google Scholar] [CrossRef] [Green Version]
  10. Park, C.; Tamilvanan, K.; Balasubramanian, G.; Noori, B.; Najati, A. On a functional equation that has the quadratic-multiplicative property. Open Math. 2020, 18, 837–845. [Google Scholar] [CrossRef]
  11. Park, C.; Tamilvanan, K.; Noori, B.; Moghimi, M.B.; Najati, A. Fuzzy normed spaces and stability of a generalized quadratic functional equation. AIMS Math. 2020, 5, 7161–7174. [Google Scholar] [CrossRef]
  12. Tamilvanan, K.; Lee, J.R.; Park, C. Hyers-Ulam stability of a finite variable mixed type quadratic-additive functional equation in quasi-Banach spaces. AIMS Math. 2020, 5, 5993–6005. [Google Scholar] [CrossRef]
  13. Wilansky, A. Modern Methods in Topological Vector Spaces; McGraw-Hill International Book Co.: New York, NY, USA, 1978. [Google Scholar]
  14. Gajda, Z. On stability of additive mappings. Internat. J. Math. Math. Sci. 1991, 14, 431–434. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Tamilvanan, K.; Almalki, Y.; Mohiuddine, S.A.; Agarwal, R.P. Stability Results of Quadratic-Additive Functional Equation Based on Hyers Technique in Matrix Paranormed Spaces. Mathematics 2022, 10, 1940. https://doi.org/10.3390/math10111940

AMA Style

Tamilvanan K, Almalki Y, Mohiuddine SA, Agarwal RP. Stability Results of Quadratic-Additive Functional Equation Based on Hyers Technique in Matrix Paranormed Spaces. Mathematics. 2022; 10(11):1940. https://doi.org/10.3390/math10111940

Chicago/Turabian Style

Tamilvanan, Kandhasamy, Yahya Almalki, Syed Abdul Mohiuddine, and Ravi P. Agarwal. 2022. "Stability Results of Quadratic-Additive Functional Equation Based on Hyers Technique in Matrix Paranormed Spaces" Mathematics 10, no. 11: 1940. https://doi.org/10.3390/math10111940

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