Skip to main content

Theory and Modern Applications

Lattictic non-archimedean random stability of ACQ functional equation

Abstract

In this paper, we prove the generalized Hyers-Ulam stability of the following additive-cubic-quartic functional equation

1 1 f ( x + 2 y ) + 1 1 f ( x - 2 y ) = 4 4 f ( x + y ) + 4 4 f ( x - y ) + 1 2 f ( 3 y ) - 4 8 f ( 2 y ) + 6 0 f ( y ) - 6 6 f ( x )
(1)

in various complete lattictic random normed spaces.

Mathematics Subject Classification (2000) Primary 54E40; Secondary 39B82, 46S50, 46S40.

1. Introduction

Probability theory is a powerful hand set for modeling uncertainty and vagueness in various problems arising in the field of science and engineering. It has also very useful applications in various fields, e.g., population dynamics, chaos control, computer programming, nonlinear dynamical systems, nonlinear operators, statistical convergence and others. The random topology proves to be a very useful tool to deal with such situations where the use of classical theories breaks down. The usual uncertainty principle of Werner Heisenberg leads to a generalized uncertainty principle, which has been motivated by string theory and non-commutative geometry. In strong quantum gravity, regime space-time points are determined in a random manner. Thus, impossibility of determining the position of particles gives the space-time a random structure. Because of this random structure, position space representation of quantum mechanics breaks down and so a generalized normed space of quasi-position eigenfunction is required. Hence one needs to discuss on a new family of random norms. There are many situations where the norm of a vector is not possible to be found and the concept of random norm seems to be more suitable in such cases, i.e., we can deal with such situations by modeling the inexactness through the random norm.

The stability problem of functional equations originated from a question of Ulam [1] concerning the stability of group homomorphisms. Hyers [2] gave a first affirmative partial answer to the question of Ulam for Banach spaces. Hyers' Theorem was generalized by Aoki [3] for additive mappings and by Rassias [4] for linear mappings by considering an unbounded Cauchy difference. The paper of Rassias [4] has provided a lot of influence in the development of what we call generalized Hyers-Ulam stability or as Hyers-Ulam-Rassias stability of functional equations. A generalization of the Rassias theorem was obtained by Găvruta [5] by replacing the unbounded Cauchy difference by a general control function in the spirit of Rassias approach.

The stability problems of several functional equations have been extensively investigated by a number of authors and there are many interesting results concerning this problem (see [4, 627]).

In [28, 29], Jun and Kim considered the following cubic functional equation

f ( 2 x + y ) + f ( 2 x - y ) = 2 f ( x + y ) + 2 f ( x - y ) + 1 2 f ( x ) .
(2)

It is easy to show that the function f(x) = x 3 satisfies the functional equation (2), which is called a cubic functional equation and every solution of the cubic functional equation is said to be a cubic mapping.

In [8], Lee et al. considered the following quartic functional equation

f ( 2 x + y ) + f ( 2 x - y ) = 4 f ( x + y ) + 4 f ( x - y ) + 2 4 f ( x ) - 6 f ( y ) .
(3)

It is easy to show that the function f(x) = x 4 satisfies the functional equation (3), which is called a quartic functional equation and every solution of the quartic functional equation is said to be a quartic mapping.

Let X be a set. A function d : X × X → [0, ∞] is called a generalized metric on X if d satisfies the following conditions:

  1. (1)

    d(x, y) = 0 if and only if x = y;

  2. (2)

    d(x, y) = d(y, x) for all x, y X;

  3. (3)

    d(x, z) ≤ d(x, y) + d(y, z) for all x, y, z X.

We recall a fundamental result in fixed point theory.

Theorem 1.1. [30, 31] Let (X, d) be a complete generalized metric space and J : XX be a strictly contractive mapping with Lipschitz constant L < 1. Then, for any x X, either

d ( J n x , J n + 1 x ) =

for all nonnegative integers n or there exists a positive integer n 0 such that

  1. (1)

    d(J n x, J n+1 x) < ∞ for all nn 0;

  2. (2)

    the sequence {J n x} converges to a fixed point y* of J;

  3. (3)

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

  4. (4)

    d ( y , y * ) 1 1 - L d ( y , J y ) for all y Y.

In 1996, Isac and Rassias [32] were the first to provide applications of stability theory of functional equations for the proof of new fixed point theorems with applications. Using fixed point methods, the stability problems of several functional equations have been extensively investigated by a number of authors (see [3338]).

2. Preliminaries

The theory of random normed spaces (RN-spaces) is important as a generalization of deterministic result of linear normed spaces and also in the study of random operator equations. The RN-spaces may also provide us the appropriate tools to study the geometry of nuclear physics and have important application in quantum particle physics. The generalized Hyers-Ulam stability of different functional equations in random normed spaces, RN-spaces and fuzzy normed spaces has been recently studied by Alsina [39], Mirmostafaee, Mirzavaziri and Moslehian [40, 35], Miheţ, and Radu [41], Miheţ, et al. [42, 43], Baktash et. al [44], Najati [45] and Saadati et. al. [24].

Let L= ( L , L ) be a complete lattice, i.e., a partially ordered set in which every nonempty subset admits supremum and infimum and 0 L =infL, 1 L =supL. The space of latticetic random distribution functions, denoted by Δ L + , is defined as the set of all mappings F : {-∞, +∞} → L such that F is left continuous, non-decreasing on and F ( 0 ) = 0 L , F ( + ) = 1 L .

The subspace D L + Δ L + is defined as D L + = { F Δ L + : l - F ( + ) = 1 L } , where l - f(x) denotes the left limit of the function f at the point x. The space Δ L + is partially ordered by the usual point-wise ordering of functions, i.e., FG if and only if F(t) ≥ L G(t) for all t in . The maximal element for Δ L + in this order is the distribution function given by

ε 0 ( t ) = 0 L , if t 0 , 1 L , if t > 0 .

Definition 2.1. [46] A triangular norm (t-norm) on L is a mapping T: ( L ) 2 L satisfying the following conditions:

  1. (1)

    ( x L ) ( T ( x , 1 L ) = x ) (: boundary condition);

  2. (2)

    ( ( x , y ) ( L ) 2 ) ( T ( x , y ) = T ( y , x ) ) (: commutativity);

  3. (3)

    ( ( x , y , z ) ( L ) 3 ) ( T ( x , T ( y , z ) ) = T ( T ( x , y ) , z ) ) (: associativity);

  4. (4)

    ((x, x', y, y') (L)4)(x L x' and y L y T ( x , y ) L T ( x , y ) ) (: monotonicity).

Let {x n } be a sequence in L converges to x L (equipped the order topology). The t-norm T is called a continuous t-norm if

lim n T ( x n , y ) = T ( x , y ) ,

for any y L.

A t-norm T can be extended (by associativity) in a unique way to an n-array operation taking for (x 1, ..., x n ) L n the value T ( x 1 , , x n ) defined by

T i = 1 0 x i = 1 , T i = 1 n x i = T ( T i = 1 n - 1 x i , x n ) = T ( x 1 , , x n ) .

The t-norm T can also be extended to a countable operation taking, for any sequence {x n } in L, the value

T i = 1 x i = lim n T i = 1 n x i .
(4)

The limit on the right side of (4) exists since the sequence ( T i = 1 n x i ) n is non-increasing and bounded from below.

Note that we put T=T whenever L = [0, 1]. If T is a t-norm then, for all x [0, 1] and n N {0}, x T ( n ) is defined by 1 if n = 0 and T ( x T ( n - 1 ) , x ) if n ≥ 1. A t-norm T is said to be of Hadžić-type (we denote by TH) if the family ( x T ( n ) ) n N is equicontinuous at x = 1 (see [47]).

Definition 2.2. [46] A continuous t-norm T on L = [0, 1]2 is said to be continuous t-representable if there exist a continuous t-norm * and a continuous t-conorm on [0, 1] such that, for all x = (x 1, x 2), y = (y 1, y 2) L,

T ( x , y ) = ( x 1 * y 1 , x 2 y 2 ) .

For example,

T ( a , b ) = ( a 1 b 1 , m i n { a 2 + b 2 , 1 } )

and

M ( a , b ) = ( m i n { a 1 , b 1 } , m a x { a 2 , b 2 } )

for all a = (a 1, a 2), b = (b 1, b 2) [0, 1]2 are continuous t-representable.

Define the mapping T from L 2 to L by

T ( x , y ) = x , if  y L x , y , if  x L y .

Recall (see [47, 48]) that, if {x n } is a given sequence in L, then ( T ) i = 1 n x i is defined recurrently by ( T ) i = 1 1 x i = x 1 and ( T ) i = 1 n x i = T ( ( T ) i = 1 n - 1 x i , x n ) for all n ≥ 2.

A negation on L is any decreasing mapping N:LL satisfying N ( 0 L ) = 1 L and N ( 1 L ) = 0 L . If N ( N ( x ) ) =x for all x L, then N is called an involutive negation. In the following, L is endowed with a (fixed) negation N.

Definition 2.3. A latticetic random normed space is a triple ( X , μ , T ) , where X is a vector space and μ is a mapping from X into D L + satisfying the following conditions:

(LRN1) μ x (t) = ε 0(t) for all t > 0 if and only if x = 0;

(LRN2) μ α x ( t ) = μ x t | α | for all x in X, α ≠ 0 and t ≥ 0;

(LRN3) μ x + y ( t + s ) L T ( μ x ( t ) , μ y ( s ) ) for all x, y X and t, s ≥ 0.

We note that, from (LPN2), it follows μ -x (t) = μ x (t) for all x X and t ≥ 0.

Example 2.4. Let L = [0, 1] × [0, 1] and an operation ≤ L be defined by

L = { ( a 1 , a 2 ) : ( a 1 , a 2 ) [ 0 , 1 ] × [ 0 , 1 ] and a 1 + a 2 1 } , ( a 1 , a 2 ) L ( b 1 , b 2 ) a 1 b 1 , a 2 b 2 , a = ( a 1 , a 2 ) , b = ( b 1 , b 2 ) L .

Then (L, ≤ L ) is a complete lattice (see [46]). In this complete lattice, we denote its units by 0 L = (0, 1) and 1 L = (1, 0). Let (X, ||·||) be a normed space. Let T ( a , b ) = ( m i n { a 1 , b 1 } , m a x { a 2 , b 2 } ) for all a = (a 1, a 2), b = (b 1, b 2) [0, 1] × [0, 1] and μ be a mapping defined by

μ x ( t ) = t t + | | x | | , | | x | | t + | | x | | , t + .

Then, ( X , μ , T ) is a latticetic random normed spaces.

If ( X , μ , T ) is a latticetic random normed space, then we have

V = { V ( ε , λ ) : ε > L 0 , λ L \ { 0 , 1 }

is a complete system of neighborhoods of null vector for a linear topology on X generated by the norm F, where

V ( ε , λ ) = { x X : F x ( ε ) > L N ( λ ) } .

Definition 2.5. Let ( X , μ , T ) be a latticetic random normed spaces.

  1. (1)

    A sequence {x n } in X is said to be convergent to a point x X if, for any t > 0 and εL\ { 0 L } , there exists a positive integer N such that μ x n - x ( t ) > L N ( ε ) for all nN.

  2. (2)

    A sequence {x n } in X is called a Cauchy sequence if, for any t > 0 and εL\ { 0 L } , there exists a positive integer N such that μ x n - x m ( t ) > L N ( ε ) for all nmN.

  3. (3)

    A latticetic random normed space ( X , μ , T ) is said to be complete if every Cauchy sequence in X is convergent to a point in X.

Theorem 2.6. If ( X , μ , T ) is a latticetic random normed space and {x n } is a sequence such that x n x, then lim n μ x n ( t ) = μ x ( t ) .

Proof. The proof is the same as classical random normed spaces (see [49]). □

Lemma 2.7. Let ( X , μ , T ) be a latticetic random normed space and x X. If

μ x ( t ) = C , t > 0 ,

then C= 1 L and x = 0.

Proof. Let μ x (t) = C for all t > 0. Since Ran ( μ ) D L + , we have C= 1 L and, by (LRN1), we conclude that x = 0. □

3. Non-Archimedean Lattictic random normed space

By a non-Archimedean field, we mean a field K equipped with a function (valuation) | · | from K into [0, ∞) such that |r| = 0 if and only if r = 0, |rs| = |r| |s| and |r + s| ≤ max{|r|, |s|} for all r,sK. Clearly, |1| = | - 1| = 1 and |n| ≤ 1 for all n . By the trivial valuation we mean the mapping | · | taking everything but 0 into 1 and |0| = 0.

Let X be a vector space over a field K with a non-Archimedean non-trivial valuation | · |. A function ||||:X [ 0 , ) is called a non-Archimedean norm, if it satisfies the following conditions:

  1. (1)

    ||x|| = 0 if and only if x = 0;

  2. (2)

    for any rK, xX, ||rx|| = |r| ||x||;

  3. (3)

    the strong triangle inequality (ultrametric), i.e.,

    | | x + y | | m a x { | | x | | , | | y | | } , x , y X ) .

Then ( X , | | | | ) is called a non-Archimedean normed space.

Due to the fact that

| | x n - x m | | m a x { | | x j + 1 - x j | | : m j n - 1 } , m , n ( n > m ) ,

a sequence {x n } is a Cauchy sequence if and only if {x n+1- x n } converges to zero in a non-Archimedean normed space. By a complete non-Archimedean normed space, we mean one in which every Cauchy sequence is convergent.

In 1897, Hensel [50] discovered the p-adic numbers as a number theoretical analogue of power series in complex analysis. Fix a prime number p. For any nonzero rational number x, there exists a unique integer n x such that x= a b p n x , where a and b are integers not divisible by p. Then, |x | p := p - n x defines a non-Archimedean norm on . The completion of with respect to the metric d(x, y) = |x - y| p is denoted by p , which is called the p-adic number field.

Throughout the paper, we assume that X is a vector space and Y is a complete non-Archimedean normed space.

Definition 3.1. A non-Archimedean lattictic random normed space (briefly, non-Archimedean LRN-space) is a triple ( X , μ , T ) , where X is a linear space over a non-Archimedean field K, T is a continuous t-norm and is μ is a mapping from X into D L + satisfying the following conditions hold:

(NA-LRN1) μ x (t) = ε 0(t) for all t > 0 if and only if x = 0;

(NA-LRN2) μ α x ( t ) = μ x t | α | for all xX, t > 0, α ≠ 0;

(NA-LRN3) μ x + y ( m a x { t , s } ) L T ( μ x ( t ) , μ y ( s ) ) for all x,y,zX and t, s ≥ 0.

It is easy to see that, if (NA-LRN3) holds, then we have

(RN3) μ x + y ( t + s ) L T ( μ x ( t ) , μ y ( s ) ) .

As a classical example, if ( X , | | . | | ) is a non-Archimedean normed linear space, then the triple ( X , μ , T ) , where L = [0, 1], T= m i n and

μ x ( t ) = 0 , t | | x | | , 1 , t > | | x | | ,

is a non-Archimedean LRN-space.

Example 3.2. Let ( X , | | . | | ) be is a non-Archimedean normed linear space in which L = [0, 1]. Define

μ x ( t ) = t t + | | x | | , x X , t > 0 .

Then ( X , μ , m i n ) is a non-Archimedean RN-space.

Definition 3.3. Let ( X , μ , T ) be a non-Archimedean LRN-space and {x n } be a sequence in X .

  1. (1)

    The sequence {x n } is said to be convergent if there exists xX such that

    lim n μ x n - x ( t ) = 1 L

for all t > 0. In that case, x is called the limit of the sequence {x n }.

  1. (2)

    The sequence {x n } in X is called a Cauchy sequence if, for any εL\ { 0 L } and t > 0, there exists a poisitve integer n 0 such that, for all nn 0 and p > 0, μ x n + p - x n ( t ) > L N ( ε ) .

  2. (3)

    If every Cauchy sequence is convergent, then the random norm is said to be complete and the non-Archimedean RN-space is called a non-Archimedean random Banach space.

Remark 3.4. [51] Let ( X , μ , T ) be a non-Archimedean LRN-space. Then, we have

μ x n + p - x n ( t ) L T { μ x n + j + 1 - x n + j ( t ) : j = 0 , 1 , 2 , . . . , p - 1 } .

Thus the sequence {x n } is Cauchy sequence if, for any εL\ { 0 L } and t > 0, there exists a positive integer n 0 such that, for all nn 0,

μ x n + 1 - x n ( t ) > L N ( ε ) .

4. Generalized Ulam-Hyers stability for functional equation (1): an odd case in non-Archimedean LRN-spaces

Let K be a non-Archimedean field, X be a vector space over K and ( Y , μ , T ) be a non-Archimedean random Banach space over K In this section, we investigate the stability of the functional equation (1): an odd case where f is a mapping from K to Y.

Let Ψ be a distribution function on X×X to D L + (Ψ(x, y, t) denoted by Ψ x,y (t) such that

Ψ c x , c x ( t ) L Ψ x , x t | c | , x X , c 0 .

Definition 4.1. A mapping f:XY is said to be Ψ-approximately mixed ACQ if

μ D f ( x , y ) ( t ) L Ψ x , y ( t ) , x , y X , t > 0 .
(5)

We assume that 2 ≠ 0 in K (i.e., the characteristic of K is not 2). Our main result, in this section, is as follows:

Theorem 4.2. Let K be a non-Archimedean field, X be a vector space over K and ( Y , μ , T ) be a non-Archimedean complete LRN-space over K Let f:XY be an odd and Ψ-approximately mixed ACQ mapping. If, for some α , α > 0, and some integer k, k > 3 with |2k| < α,

Ψ 2 - k x , 2 - k y ( t ) Ψ x , y ( α t ) , x X , t > 0 ,
(6)

and

lim n T j = n M x , α j t | 2 | k j = 1 L , x X , t > 0 ,
(7)

then there exists a unique cubic mapping C:XY such that

μ f ( x ) - C ( x ) ( t ) L T i = 1 M x , α i + 1 t | 2 | k i , x X , t > 0 ,
(8)

where

M ( x , t ) : = T ( Ψ x , 0 ( t ) , Ψ 2 x , 0 ( t ) , , Ψ 2 k - 1 x , 0 ( t ) ) , x X , t > 0 .

Proof. First, by induction on j, we show that for any xX, t > 0 and j ≥ 2,

μ f ( 4 j x ) 256 j f ( x ) ( t ) M j ( x , t ) : = T ( Ψ ( x , 0 , t ) , , Ψ ( 4 j 1 x , 0 , t ) ) .
(9)

Putting y = 0 in (5), we obtain

μ f ( 4 x ) - 2 5 6 f ( x ) ( t ) Ψ ( x , 0 , t ) , x X , t > 0 .

This proves (9) for j = 2. Assume that (9) holds for some j ≥ 2. Replacing y by 0 and x by 4j x in (5), we get

μ f ( 4 j + 1 x ) 256 f ( 4 j x ) ( t ) Ψ ( 4 j x , 0 , t ) , x X , t > 0 .

Since |256| ≤ 1, we have

μ f ( 4 j + 1 x ) 256 j + 1 f ( x ) ( t ) T ( μ f ( 4 j + 1 x ) 256 f ( 4 j x ) ( t ) , μ 256 f ( 4 j x ) 256 j + 1 f ( x ) ( t ) ) = T ( μ f ( 4 j + 1 x ) 256 f ( 4 j x ) ( t ) , μ f ( 4 j x ) 256 j f ( x ) ( t | 256 | ) ) T ( μ f ( 4 j + 1 x ) 256 f ( 4 j x ) ( t ) , μ f ( 4 j x ) 256 j f ( x ) ( t ) ) T ( Ψ ( 4 j x , 0 , t ) , M j ( x , t ) ) = M j + 1 ( x , t ) , x X .

Thus (9) holds for all j ≥ 2. In particular,

μ f ( 4 k x ) 256 k f ( x ) ( t ) M ( x , t ) , x X , t > 0 .
(10)

Replacing x by 4-(kn+k) x in (10) and using inequality (6), we obtain

μ f x 4 k n - 2 5 6 k f x 4 k n + k ( t ) M x 4 k n + k , t (1) M ( x , α n + 1 t ) , x X , t > 0 , n 0 . (2) (3)
(11)

Then, we have

μ ( 4 4 k ) n f ( x ( 4 k ) n ) ( 4 4 k ) n + 1 f ( x ( 4 k ) n + 1 ) ( t ) M ( x , α n + 1 | ( 4 4 k ) n | t ) , x X , t > 0 , n 0 ,

and so

μ ( 4 4 k ) n f ( x ( 4 k ) n ) ( 4 4 k ) n + 1 f ( x ( 4 k ) n + 1 ) ( t ) M ( x , α n + 1 | ( 4 4 k ) n | t ) , x X , t > 0 , n 0 ,

Since lim n T j = n M ( x , α j + 1 | ( 4 k ) j | t ) = 1 for all xX and t > 0, { ( 4 4 k ) n f ( x ( 4 k ) n ) } is a Cauchy sequence in the non-Archimedean random Banach space ( Y , μ , T ) . Hence we can define a mapping Q:XY such that

lim n μ ( 4 4 k ) n f ( x ( 4 k ) n ) Q ( x ) ( t ) = 1 , x X , t > 0 .
(12)

Next, for all n ≥ 1, xX and t > 0, we have

μ f ( x ) ( 4 4 k ) n f ( x ( 4 k ) n ) ( t ) = μ i = 0 n 1 ( 4 4 k ) i f ( x ( 4 k ) i ) ( 4 4 k ) i + 1 f ( x ( 4 k ) i + 1 ) ( t ) T i = 0 n 1 ( μ ( 4 4 k ) i f ( x ( 4 k ) i ) ( 4 4 k ) i + 1 f ( x ( 4 k ) i + 1 ) ( t ) ) T i = 0 n 1 M ( x , α i + 1 t | 4 4 k | i ) .

Therefore, it follows that

μ f ( x ) Q ( x ) ( t ) T ( μ f ( x ) ( 4 4 k ) n f ( x ( 4 k ) n ) ( t ) , μ ( 4 4 k ) n f ( x ( 4 k ) n ) Q ( x ) ( t ) ) T ( T i = 0 n 1 M ( x , α i + 1 t | 4 4 k | i ) , μ ( 4 4 k ) n f ( x ( 4 k ) n ) Q ( x ) ( t ) ) .

By letting n → ∞, we obtain

μ f ( x ) - Q ( x ) ( t ) T i = 1 M x , α i + 1 t | 4 k | i ,

which proves (8). Since T is continuous, from a well-known result in probabilistic metric space (see [49], Chapter 12), it follows that

lim n μ Φ 1 ( x , y , k ) ( t ) = μ Φ 2 ( x , y ) ( t ) , x , y X , t > 0 ,

for almost all t > 0., where

Φ 1 ( x , y , k ) = ( 4 k ) n 16 f ( 4 k n ( x + 4 y ) ) + ( 4 k ) n f ( 4 k n ( 4 x y ) ) 306 [ ( 4 k ) n 9 f ( 4 k n ( x + y 3 ) ) + ( 4 k ) n f ( 4 k n ( x + 2 y ) ) ] 136 ( 4 k ) n f ( 4 k n ( x y ) ) + 1394 ( 4 k ) n f ( 4 k n ( x + y ) ) 425 ( 4 k ) n f ( 4 k n y ) + 1530 ( 4 k ) n f ( 4 k n x )

and

Φ 2 ( x , y ) = 1 6 Q ( x + 4 y ) + Q ( 4 x - y ) - 3 0 6 9 Q x + y 3 + Q ( x + 2 y ) (1) - 1 3 6 Q ( x - y ) + 1 3 9 4 Q ( x + y ) - 4 2 5 Q ( y ) + 1 5 3 0 Q ( x ) . (2) (3)

On the other hand, replacing x, y by 4-kn x, 4-kn y, respectively, in (5) and using (NA-RN2) and (6), we get

μ Φ 1 ( x , y , k ) ( t ) Ψ 4 - k n x , 4 - k n y , t | 4 k | n Ψ x , y , α n t | 4 k | n , x , y X , t > 0 .

Since lim n Ψ x , y , α n t | 4 k | n =1, it follows that Q is a quartic mapping.

If Q :XY is another quartic mapping such that μ Q'(x)-f(x)(t) ≥ M(x, t) for all xX and t > 0, then, for all n N, xX and t > 0,

μ Q ( x ) Q ( x ) ( t ) T ( μ Q ( x ) ( 4 4 k ) n f ( x ( 4 k ) n ) ( t ) , μ ( 4 4 k ) n f ( x ( 4 k ) n ) Q ( x ) ( t ) , t ) ) .

Therefore, by (12), we conclude that Q = Q'. This completes the proof. □

Corollary 4.3. Let K be a non-Archimedean field, X be a vector space over K and ( Y , μ , T ) be a non-Archimedean random Banach space over K under a t-norm TH. Let f:XY be a Ψ-approximately quartic mapping. If, for some α , α > 0, and some integer k, k > 3, with |4k| < α

Ψ ( 4 - k x , 4 - k y , t ) Ψ ( x , y , α t ) , x X , t > 0 ,

then there exists a unique quartic mapping Q:XY such that

μ f ( x ) - Q ( x ) ( t ) T i = 1 M x , α i + 1 t | 4 | k i , x X , t > 0 ,

where

M ( x , t ) : = T ( Ψ ( x , 0 , t ) , Ψ ( 4 x , 0 , t ) , . . . , Ψ ( 4 k - 1 x , 0 , t ) ) , x X , t > 0 .

Proof. Since

lim n M x , α j t | 4 | k j = 1 , x X , t > 0 ,

and T is of Hadžić type, it follows that

lim n T j = n M x , α j t | 4 | k j = 1 , x X , t > 0 .

Now, if we apply Theorem 4.2, we get the conclusion. □

Example 4.4. Let ( X , μ , T M ) non-Archimedean random normed space in which

μ x ( t ) = t t + | | x | | , x X , t > 0 ,

and ( Y , μ , T M ) a complete non-Archimedean random normed space (see Example 3.2). Define

Ψ ( x , y , t ) = t 1 + t .

It is easy to see that (6) holds for α = 1. Also, since

M ( x , t ) = t 1 + t ,

we have

lim n T M , j = n M ( x , α j t | 4 | k j ) = lim n ( lim m T M , j = n m M ( x , t | 4 | k j ) ) = lim n lim m ( t t + | 4 k | n ) = 1 , x X , t > 0 .

Let f:XY be a Ψ-approximately quartic mapping. Thus, all the conditions of Theorem 4.2 hold and so there exists a unique quartic mapping Q:XY such that

μ f ( x ) - Q ( x ) ( t ) t t + | 4 k | .

References

  1. Ulam SM: A Collection of the Mathematical Problems. Intersci Publ New York 1960.

    Google Scholar 

  2. Hyers DH: On the stability of the linear functional equation. Proc Natl Acad Sci USA 1941, 27: 222-224. 10.1073/pnas.27.4.222

    Article  MathSciNet  MATH  Google Scholar 

  3. Aoki T: The stability of the linear transformation in Banach spaces. J Math Soc Japan 1950, 2: 64-66. 10.2969/jmsj/00210064

    Article  MathSciNet  MATH  Google Scholar 

  4. Rassias ThM: On the stability of the linear mapping in Banach spaces. Proc Am Math Soc 1978, 72: 297-300. 10.1090/S0002-9939-1978-0507327-1

    Article  MathSciNet  MATH  Google Scholar 

  5. Găvruta P: A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. J Math Anal Appl 1994, 184: 431-436. 10.1006/jmaa.1994.1211

    Article  MathSciNet  MATH  Google Scholar 

  6. Cho Y, Park C, Saadati R: Functional inequalities in non-Archimedean Banach spaces. Appl Math Lett 2010, 23: 1238-1242. 10.1016/j.aml.2010.06.005

    Article  MathSciNet  MATH  Google Scholar 

  7. Hyers DH, Isac G, Rassias ThM: Stability of Functional Equations in Several Variables. Birkhäuser, Basel 1998.

    Google Scholar 

  8. Lee S, Im S, Hwang I: Quartic functional equations. J Math Anal Appl 2005, 307: 387-394. 10.1016/j.jmaa.2004.12.062

    Article  MathSciNet  MATH  Google Scholar 

  9. Park C: Hyers-Ulam-Rassias stability of homomorphisms in quasi-Banach algebras. Bull Sci Math 2008, 132: 87-96. 10.1016/j.bulsci.2006.07.004

    Article  MathSciNet  MATH  Google Scholar 

  10. Park C: Hyers-Ulam-Rassias stability of a generalized Apollonius-Jensen type additive mapping and isomorphisms between C *-algebras. Math Nachr 2008, 281: 402-411. 10.1002/mana.200510611

    Article  MathSciNet  MATH  Google Scholar 

  11. Park C, Cui J: Generalized stability of C *-ternary quadratic mappings. Abstr Appl Anal 2007, 2007: Article ID 23282.

    MathSciNet  MATH  Google Scholar 

  12. Park C, Najati A: Homomorphisms and derivations in C *-algebras. Abstr Appl Anal 2007, 2007: Article ID 80630.

    MathSciNet  MATH  Google Scholar 

  13. Rassias JM: On approximation of approximately linear mappings by linear mappings. Bull Sci Math 1984, 108: 445-446.

    MathSciNet  MATH  Google Scholar 

  14. Rassias JM: Refined Hyers-Ulam approximation of approximately Jensen type mappings. Bull Sci Math 2007, 131: 89-98. 10.1016/j.bulsci.2006.03.011

    Article  MathSciNet  MATH  Google Scholar 

  15. Rassias JM, Rassias MJ: Asymptotic behavior of alternative Jensen and Jensen type functional equations. Bull Sci Math 2005, 129: 545-558. 10.1016/j.bulsci.2005.02.001

    Article  MathSciNet  MATH  Google Scholar 

  16. Rassias ThM: Problem 16; 2, Report of the 27th International Symposium on Functional Equations. Aequat Math 1990, 39: 292-293.

    Google Scholar 

  17. Rassias ThM: On the stability of the quadratic functional equation and its applications. Studia Univ Babes-Bolyai 1998, XLIII: 89-124.

    MathSciNet  MATH  Google Scholar 

  18. Rassias ThM: The problem of S.M. Ulam for approximately multiplicative mappings. J Math Anal Appl 2000, 246: 352-378. 10.1006/jmaa.2000.6788

    Article  MathSciNet  MATH  Google Scholar 

  19. Rassias ThM: On the stability of functional equations in Banach spaces. J Math Anal Appl 2000, 251: 264-284. 10.1006/jmaa.2000.7046

    Article  MathSciNet  MATH  Google Scholar 

  20. Rassias ThM: On the stability of functional equations and a problem of Ulam. Acta Appl Math 2000, 62: 23-130. 10.1023/A:1006499223572

    Article  MathSciNet  MATH  Google Scholar 

  21. Rassias ThM, Šemrl P: On the behaviour of mappings which do not satisfy Hyers-Ulam stability. Proc Am Math Soc 1992, 114: 989-993. 10.1090/S0002-9939-1992-1059634-1

    Article  MATH  Google Scholar 

  22. Rassias ThM, Šemrl P: On the Hyers-Ulam stability of linear mappings. J Math Anal Appl 1993, 173: 325-338. 10.1006/jmaa.1993.1070

    Article  MathSciNet  MATH  Google Scholar 

  23. Rassias ThM, Shibata K: Variational problem of some quadratic functionals in complex analysis. J Math Anal Appl 1998, 228: 234-253. 10.1006/jmaa.1998.6129

    Article  MathSciNet  MATH  Google Scholar 

  24. Saadati R, Vaezpour SM, Cho YJ: A note on the "On the stability of cubic mappings and quadratic mappings in random normed spaces". J Inequal Appl 2009, 2009: Article ID 214530.

    Article  MathSciNet  MATH  Google Scholar 

  25. Saadati R, Zohdi MM, Vaezpour SM:Nonlinear L -random stability of an ACQ functional equation. J Inequal Appl 2011, 2011: Art ID 194394.

    Article  MathSciNet  MATH  Google Scholar 

  26. Saadati R, Park C: Non-Archimedean L-fuzzy normed spaces and stability of functional equations. Comput Math Appl 2010, 60: 2488-2496. 10.1016/j.camwa.2010.08.055

    Article  MathSciNet  MATH  Google Scholar 

  27. Saadati R, Cho YJ, Vahidi J: The stability of the quartic functional equation in various spaces. Comput Math Appl 2010, 60: 1994-2002. 10.1016/j.camwa.2010.07.034

    Article  MathSciNet  MATH  Google Scholar 

  28. Jun K, Kim H: The generalized Hyers-Ulam-Rassias stability of a cubic functional equation. J Math Anal Appl 2002, 274: 867-878. 10.1016/S0022-247X(02)00415-8

    Article  MathSciNet  MATH  Google Scholar 

  29. Jun K, Kim H: Hyers-Ulam-Rassias Stability of Functional Equations in Mathematical Analysis. Hadronic Press inc., Palm Harbor; 2001.

    Google Scholar 

  30. Cădariu L, Radu V: Fixed points and the stability of Jensen's functional equation. J Inequal Pure Appl Math 2003, 4: Article ID 4.

    MATH  Google Scholar 

  31. Diaz J, Margolis B: A fixed point theorem of the alternative for contractions on a generalized complete metric space. Bull Am Math Soc 1968, 74: 305-309. 10.1090/S0002-9904-1968-11933-0

    Article  MathSciNet  MATH  Google Scholar 

  32. Isac G, Rassias ThM: Stability of ψ -additive mappings: Appications to nonlinear analysis. Int J Math Math Sci 1996, 19: 219-228. 10.1155/S0161171296000324

    Article  MathSciNet  MATH  Google Scholar 

  33. Cădariu L, Radu V: On the stability of the Cauchy functional equation: a fixed point approach. Grazer Math Ber 2004, 346: 43-52.

    MathSciNet  MATH  Google Scholar 

  34. Cădariu L, Radu V: Fixed point methods for the generalized stability of functional equations in a single variable. Fixed Point Theory Appl 2008, 2008: Article ID 749392.

    MathSciNet  MATH  Google Scholar 

  35. Mirzavaziri M, Moslehian MS: A fixed point approach to stability of a quadratic equation. Bull Braz Math Soc 2006, 37: 361-376. 10.1007/s00574-006-0016-z

    Article  MathSciNet  MATH  Google Scholar 

  36. Park C: Fixed points and Hyers-Ulam-Rassias stability of Cauchy-Jensen functional equations in Banach algebras. Fixed Point Theory Appl 2007, 2007: Article ID 50175.

    Article  MathSciNet  MATH  Google Scholar 

  37. Park C: Generalized Hyers-Ulam-Rassias stability of quadratic functional equations: a fixed point approach. Fixed Point Theory Appl 2008, 2008: Article ID 493751.

    Article  MATH  Google Scholar 

  38. Radu V: The fixed point alternative and the stability of functional equations. Fixed Point Theory 2003, 4: 91-96.

    MathSciNet  MATH  Google Scholar 

  39. Alsina C: On the stability of a functional equation arising in probabilistic normed spaces. In General Inequalities. Volume 5. Oberwolfach, 1986, Birkhäuser, Basel; 1987:263-271.

    Google Scholar 

  40. Mirmostafaee AK, Moslehian MS: Fuzzy approximately cubic mappings. Inf Sci 2008, 178: 3791-3798. 10.1016/j.ins.2008.05.032

    Article  MathSciNet  MATH  Google Scholar 

  41. Miheţ D, Radu V: On the stability of the additive Cauchy functional equation in random normed spaces. J Math Anal Appl 2008, 343: 567-572.

    Article  MathSciNet  MATH  Google Scholar 

  42. Miheţ D, Saadati R, Vaezpour SM: The stability of the quartic functional equation in random normed spaces. Acta Appl Math 2010, 110: 797-803. 10.1007/s10440-009-9476-7

    Article  MathSciNet  MATH  Google Scholar 

  43. Miheţ D, Saadati R, Vaezpour SM: The stability of an additive functional equation in Menger probabilistic φ -normed spaces. Math Slovaca 2011, 61: 817-826. 10.2478/s12175-011-0049-7

    MathSciNet  MATH  Google Scholar 

  44. Baktash E, Cho YJ, Jalili M, Saadati R, Vaezpour SM: On the stability of cubic mappings and quadratic mappings in random normed spaces. J Inequal Appl 2008, 2008: Article ID 902187.

    Article  MathSciNet  MATH  Google Scholar 

  45. Najati A: Fuzzy stability of a generalized quadratic functional equation. Commun Korean Math Soc 2010,25(3):405-417. 10.4134/CKMS.2010.25.3.405

    Article  MathSciNet  MATH  Google Scholar 

  46. Deschrijver G, Kerre EE: On the relationship between some extensions of fuzzy set theory. Fuzzy Sets Syst 2003, 23: 227-235.

    Article  MathSciNet  MATH  Google Scholar 

  47. Hadžić O, Pap E: Fixed Point Theory in PM Spaces. Kluwer Academic Publishers, Dordrecht; 2001.

    Google Scholar 

  48. Hadžić O, Pap E, Budincević M: Countable extension of triangular norms and their applications to the fixed point theory in probabilistic metric spaces. Kybernetica 2002, 38: 363-381.

    MathSciNet  MATH  Google Scholar 

  49. Schweizer B, Sklar A: Probabilistic Metric Spaces. Elsevier, New York; 1983.

    MATH  Google Scholar 

  50. Hensel K: Uber eine neue Begrundung der Theorie der algebraischen Zahlen. Jahres Deutsch Math Verein 1897, 6: 83-88.

    MATH  Google Scholar 

  51. Mirmostafaee M, Moslehian MS: Fuzzy stability of additive mappings in non-Archimedean Fuzzy normed spaces. Fuzzy Sets Syst 2009, 160: 1643-1652. 10.1016/j.fss.2008.10.011

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the referee and area editor Professor T. Gnana Bhaskar for giving useful suggestions and comments for the improvement of this paper. Yeol Je Cho was also supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (Grant Number: 2011-0021821)

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Reza Saadati.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

All authors carried out the proof. All authors conceived of the study, and participated in its design and coordination. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Cho, Y.J., Saadati, R. Lattictic non-archimedean random stability of ACQ functional equation. Adv Differ Equ 2011, 31 (2011). https://doi.org/10.1186/1687-1847-2011-31

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2011-31

Keywords