# Stability of an additive functional equation in the spaces of generalized functions

• 1652 Accesses

• 6 Citations

## Abstract

We reformulate the following additive functional equation with n-independent variables

$n f ∑ i = 1 n x i = ∑ i = 1 n f ( x i ) + ∑ 1 ≤ i < j ≤ n f ( x i + x j )$

as the equation for the spaces of generalized functions. Making use of the fundamental solution of the heat equation we solve the general solutions and the stability problems of this equation in the spaces of tempered distributions and Fourier hyperfunctions. Moreover, using the regularizing functions, we extend these results to the space of distributions.

2000 MSC: 39B82; 46F05.

## 1. Introduction

A function f : is called an additive function if and only if it satisfies the Cauchy functional equation

$f ( x + y ) = f ( x ) + f ( y )$
(1.1)

for all x, y . It is well-known that every measurable solution of (1.1) is of the form f(x) = ax for some constant a. In 1941, Hyers proved the stability theorem of (1.1) as follows:

Theorem 1.1[1]. Let E 1 be a normed vector space, E 2 a Banach space. Suppose that f : E 1E 2 satisfies the inequality

$∥ f ( x + y ) - f ( x ) - f ( y ) ∥ ≤ ε$

for all x, y E 1. Then, there exists the unique additive mapping g : E 1E 2 such that

$∥ f ( x ) - g ( x ) ∥ ≤ ε$

for all x E 1.

The above stability theorem was motivated by Ulam [2]. Forti [3] noticed that the theorem of Hyers is still true if E 1 is replaced by an arbitrary semigroup. In 1978, Rassias [4] generalized Hyers' result to the unbounded Cauchy difference. Thereafter, many authors studied the stability problems of (1.1) in various settings (see [57]).

During the last decades, stability problems of various functional equations have been extensively studied and generalized by a number of authors (see [813]). Among them, the following additive functional equation with n-independent variables:

$n f ∑ i = 1 n x i = ∑ i = 1 n f ( x i ) + ∑ 1 ≤ i < j ≤ n f ( x i + x j )$
(1.2)

was proposed by Nakmahachalasint [14], where n is a positive integer with n > 1. He proved that (1.2) is equivalent to (1.1). For that reason, we say that (1.2) is a generalization of the Cauchy functional equation. The stability theorem of (1.2) was also proved.

In this article, in a similar manner as in [1519], we solve the general solutions and the stability problems of (1.2) in the spaces of generalized functions such as the space $S ′ ( ℝ m )$ of tempered distributions, the space $F ′ ( ℝ m )$ of Fourier hyperfunctions and the space $D ′ ( ℝ m )$ of distributions. Using the notions as in [1519], we first reformulate (1.2) and the related inequality in the spaces of generalized functions as follows:

$n u ∘ A = ∑ i = 1 n u ∘ P i + ∑ 1 ≤ i < j ≤ n u ∘ B i j ,$
(1.3)
$n u ∘ A = ∑ i = 1 n u ∘ P i - ∑ 1 ≤ i < j ≤ n u ∘ B i j , ≤ ε ,$
(1.4)

where A, P i and B ij are the functions defined by

$A ( x 1 , . . . , x n ) = x 1 + ⋯ + x n , P i ( x 1 , . . . , x n ) = x i , 1 ≤ i ≤ n , B i j ( x 1 , . . . , x n ) = x i + x j , 1 ≤ i < j ≤ n .$

Here, denotes the pullback of generalized functions and the inequality ||v|| ≤ ε in (1.4) means that $∣ 〈 v , φ 〉 ∣≤ε∥φ ∥ L 1$ for all test functions φ.

In Section 2, we prove that every solution u in $F ′ ( ℝ m )$ or $S ′ ( ℝ m )$ of the equation (1.3) has the form

$u = a ⋅ x ,$

where $a∈ ℂ m$. Also, we prove that every solution u in $S ′ ( ℝ m )$ or $F ′ ( ℝ m )$ of the inequality (1.4) can be written uniquely in the form

$u = a ⋅ x + μ ( x ) ,$

where $a∈ ℂ m$ and μ is a bounded measurable function such that $∥μ ∥ L ∞ ≤ 2 ε n$. Subsequently, in Section 3, these results are extended to the space $D ′ ( ℝ m )$.

## 2. Stability in $F ′$

We first introduce the spaces of tempered distributions and Fourier hyperfunctions. Here, we use the m-dimensional notations, |α| = α 1 + + α m , α! = α 1! α m !, $ζ α = ζ 1 α 1 ⋅⋅⋅ ζ m α m$ and $∂ α = ∂ 1 α 1 ⋅⋅⋅ ∂ m α m$, for ζ = (ζ 1, ..., ζ m ) m , $α= ( α 1 , . . . , α m ) ∈ ℕ 0 m$, where 0 is the set of non-negative integers and $∂ j = ∂ ∂ ζ j$.

Definition 2.1[20, 21]. We denote by $S ( ℝ m )$ the Schwartz space of all infinitely differentiable functions φ in m satisfying

$∥ φ ∥ α , β = sup x ∈ ℝ m ∣ x α ∂ β φ ( x ) ∣ < ∞$
(2.1)

for all $α,β∈ ℕ 0 m$. A linear functional u on $S ( ℝ m )$ is said to be tempered distribution if there exists constant C ≥ 0 and nonnegative integer N such that

$∣ 〈 u , φ 〉 ∣ ≤ C ∑ ∣ α ∣ , ∣ β ∣ ≤ N sup x ∈ ℝ m ∣ x α ∂ β φ ∣$

for all $φ∈S ( ℝ m )$. The set of all tempered distributions is denoted by $S ′ ( ℝ m )$.

Note that tempered distributions are generalizations of L p -functions. These are very useful for the study of Fourier transforms in generality, since all tempered distributions have a Fourier transform. Imposing the growth condition on ||·|| α,β in (2.1) a new space of test functions has emerged as follows:

Definition 2.2[22]. We denote by $F ( ℝ m )$ the set of all infinitely differentiable functions φ in m such that

$∥ φ ∥ A , B = sup x , α , β ∣ x α ∂ β φ ( x ) ∣ A ∣ α ∣ B ∣ β ∣ α ! β ! < ∞$
(2.2)

for some positive constants A, B depending only on φ. The strong dual of $F ( ℝ m )$, denoted by $F ′ ( ℝ m )$, is called the Fourier hyperfunction.

It can be verified that the seminorm (2.2) is equivalent to

$∥ φ ∥ h , k = sup x , α ∣ ∂ α φ ( x ) ∣ exp k ∣ x ∣ h ∣ α ∣ α ! < ∞$

for some constants h, k > 0. It is easy to see the following topological inclusions:

$F ( ℝ m ) ↪ S ( ℝ m ) , S ′ ( ℝ m ) ↪ F ′ ( ℝ m ) .$
(2.3)

In order to solve the general solutions and the stability problems of (1.2) in the spaces $F ′ ( ℝ m )$ and $S ′ ( ℝ m )$ we employ the m-dimensional heat kernel, fundamental solution of the heat equation,

$E t ( x ) = E ( x , t ) = ( 4 π t ) - m ∕ 2 exp ( - ∣ x ∣ 2 ∕ 4 t ) , x ∈ ℝ m , t > 0 , 0 , x ∈ ℝ m , t ≤ 0 .$

Since for each t > 0, E(·, t) belongs to the space $F ( ℝ m )$, the convolution

$ũ ( x , t ) = ( u * E ) ( x , t ) = 〈 u y , E t ( x - y ) 〉 , x ∈ ℝ m , t > 0$

is well-defined for all u in $F ′ ( ℝ m )$, which is called the Gauss transform of u. Subsequently, the semigroup property

$( E t * E s ) ( x ) = E t + s ( x ) , x ∈ ℝ m , t , s > 0$

of the heat kernel is very useful to convert Equation (1.3) into the classical functional equation defined on upper-half plane. We also use the following famous result, so-called heat kernel method, which states as follows:

Theorem 2.3[23]. Let $u∈ S ′ ( ℝ m )$. Then, its Gauss transform $ũ$ is a C -solution of the heat equation

$( ∂ ∂ t - Δ ) ũ ( x , t ) = 0$

satisfying

(i) There exist positive constants C, M and N such that

$∣ ũ ( x , t ) ∣ ≤ C t - M ( 1 + ∣ x ∣ ) N i n ℝ m × ( 0 , δ ) .$
(2.4)

(ii) $ũ ( x , t ) →u$ as t → 0+ in the sense that for every $φ∈S ( ℝ m )$,

$〈 u , φ 〉 = lim t → 0 + ∫ ũ ( x , t ) φ ( x ) d x .$

Conversely, every C -solution U(x, t) of the heat equation satisfying the growth condition (2.4) can be uniquely expressed as $U ( x , t ) =ũ ( x , t )$ for some $u∈ S ′ ( ℝ m )$.

Similarly, we can represent Fourier hyperfunctions as a special case of the results as in [24]. In this case, the estimate (2.4) is replaced by the following:

For every ε > 0, there exists a positive constant C ε such that

$∣ ũ ( x , t ) ∣ ≤ C ε exp ( ε ( ∣ x ∣ + 1 t ) ) in ℝ m × ( 0 , δ ) .$

We are now going to solve the general solutions and the stability problems of (1.2) in the spaces of $F ′ ( ℝ m )$ and $S ′ ( ℝ m )$. Here, we need the following lemma.

Lemma 2.4. Suppose that $f: ℝ m × ( 0 , ∞ ) →ℂ$ is a continuous function satisfying

$n f ∑ i = 1 n x i , ∑ i = 1 n t i = ∑ i = 1 n f ( x i , t i ) + ∑ 1 ≤ i < j ≤ n f ( x i + x j , t i + t j )$
(2.5)

for all x 1, ..., x n m , t 1, ..., t n > 0. Then, the solution f has the form

$f ( x , t ) = a ⋅ x + b t ,$

where $a∈ ℂ m$, $b∈ℂ$.

Proof. Putting (x 1, ..., x n ) = (0, ..., 0) in (2.5) gives

$n f 0 , ∑ i = 1 n t i = ∑ i = 1 n f ( 0 , t i ) + ∑ 1 ≤ i < j ≤ n f ( 0 , t i + t j )$
(2.6)

for all t 1, ..., t n > 0. In view of (2.6), we see that

$c : = limsup t → 0 + f ( 0 , t )$

exists. Letting t 1 = = t n → 0+ in (2.6) we have c = 0. Replacing (x 3 , ..., x n ) = (0, ..., 0) and letting t 3 = = t n → 0+ in (2.5) yields

$f ( x 1 + x 2 , t 1 + t 2 ) = f ( x 1 , t 1 ) + f ( x 2 , t 2 )$
(2.7)

for all x 1, x 2 m , t 1, t 2 > 0. Given the continuity, the solution f of (2.7) has the form

$f ( x , t ) = a ⋅ x + b t ,$

where $a∈ ℂ m$, $b∈ℂ$. □

From the above lemma, we can find the general solutions of (1.2) in the spaces of $F ′ ( ℝ m )$ and $S ′ ( ℝ m )$. Taking the inclusions of (2.3) into account, it suffices to consider the space $F ′ ( ℝ m )$.

Theorem 2.5. Every solution u in $F ′ ( ℝ m )$ (or $S ′ ( ℝ m )$ , resp.) of the equation (1.3) has the form

$u = a ⋅ x ,$

where $a∈ ℂ m$.

Proof. Convolving the tensor product $E t 1 ( x 1 ) ⋅⋅⋅ E t n ( x n )$ of the heat kernels on both sides of (1.3) we have

$[ ( u ∘ A ) * ( E t 1 ( x 1 ) ⋯ E t n ( x n ) ) ] ( ξ 1 , … , ξ n ) = u ∘ A , E t 1 ( ξ 1 - x 1 ) ⋯ E t n ( ξ n - x n ) = u , ∫ ⋯ ∫ E t 1 ( ξ 1 - x 1 + x 2 + ⋯ + x n ) E t 2 ( ξ 2 - x 2 ) ⋯ E t n ( ξ n - x n ) d x 2 ⋯ d x n = u , ∫ ⋯ ∫ E t 1 ( ξ 1 + ⋯ + ξ n - x 1 - ⋯ - x n ) E t 2 ( x 2 ) ⋯ E t n ( x n ) d x 2 ⋯ d x n = u , ( E t 1 * ⋯ * E t n ) ( ξ 1 + ⋯ + ξ n - x 1 ) = u , E t 1 + ⋯ + t n ( ξ 1 + ⋯ + ξ n ) = ũ ( ξ 1 + ⋯ + ξ n , t 1 + ⋯ + t n ) , [ ( u ∘ P i ) * ( E t 1 ( x 1 ) ⋯ E t n ( x n ) ) ] ( ξ 1 , … , ξ n ) = ũ ( ξ i , t i ) , [ ( u ∘ B i j ) * ( E t 1 ( x 1 ) ⋯ E t n ( x n ) ) ] ( ξ 1 , … , ξ n ) = ũ ( ξ i + ξ j , t i + t j ) ,$

where $ũ$ is the Gauss transform of u. Thus, (1.3) is converted into the following classical functional equation:

$n ũ ∑ i = 1 n x i , ∑ i = 1 n t i = ∑ i = 1 n ũ ( x i , t i ) + ∑ 1 ≤ i < j ≤ n ũ ( x i + x j , t i + t j )$
(2.8)

for all x 1, ..., x n m , t 1, ..., t n > 0. It follows from Lemma 2.4 that the solution $ũ$ of (2.8) has the form

$ũ ( x , t ) = a ⋅ x + b t ,$
(2.9)

where $a∈ ℂ m$, $b∈ℂ$. Letting t → 0+ in (2.9) we obtain

$u = a ⋅ x .$

This completes the proof. □

In what follows, we denote B, P and Q are the functions defined by

$B ( x , y ) = x + y , P ( x 1 , x 2 ) = x 1 , Q ( x 1 , x 2 ) = x 2 , x , y ∈ ℝ m .$

From the above theorem, we have the general solution of (1.1) in the spaces of $F ′ ( ℝ m )$ and $S ′ ( ℝ m )$ immediately.

Corollary 2.6. Every solution u in $F ′ ( ℝ m )$ (or $S ′ ( ℝ m )$ , resp.) of the equation

$u ∘ B = u ∘ P + u ∘ Q$
(2.10)

has the form

$u = a ⋅ x ,$

where $a∈ ℂ m$.

We are going to prove the stability theorem of (1.2) in the spaces of $F ′ ( ℝ m )$ and $S ′ ( ℝ m )$ as follows:

Theorem 2.7. Suppose that u in $F ′ ( ℝ m )$ (or $S ′ ( ℝ m )$ , resp.) satisfies the inequality (1.4). Then, there exists a unique $a∈ ℂ m$ such that

$∥ u - a ⋅ x ∥ ≤ 2 ε n .$

Proof. Convolving the tensor product $E t 1 ( x 1 ) ⋅⋅⋅ E t n ( x n )$ of the heat kernels on both sides of (1.4) we have

$n f ∑ i = 1 n x i , ∑ i = 1 n t i - ∑ i = 1 n f ( x i , t i ) - ∑ 1 ≤ i < j ≤ n f ( x i + x j , t i + t j ) ≤ ε$
(2.11)

for all x 1, ..., x n m , t 1, ..., t n > 0, where f is the Gauss transform of u. Putting (x 1 , ..., x n ) = (0, ..., 0) in (2.11) yields

$n f 0 , ∑ i = 1 n t i - ∑ i = 1 n f ( 0 , t i ) - ∑ 1 ≤ i < j ≤ n f ( 0 , t i + t j ) ≤ ε$
(2.12)

for all t 1, ..., t n > 0. In view of (2.12), we see that

$c : = limsup t → 0 + f ( 0 , t )$

exists. Letting t 1 = = t n → 0+ in (2.12) gives

$∣ c ∣ ≤ 2 ε n 2 - n .$
(2.13)

Setting (x 3 , ..., x n ) = (0, ..., 0), t 3 = = t n → 0+ in (2.11) and using (2.13) we obtain

$∣ f ( x 1 + x 2 , t 1 + t 2 ) - f ( x 1 , t 1 ) - f ( x 2 , t 2 ) ∣ ≤ 2 ε n$
(2.14)

for all x 1, x 2 m , t 1, t 2 > 0. Putting (x 1, x 2) = (x, x), (t 1, t 2) = (t, t) in (2.14) and dividing the result by 2 we have

$f ( 2 x , 2 t ) 2 - f ( x , t ) ≤ ε n$

for all x m , t > 0. Making use of the induction argument yields

$| f ( 2 k x , 2 k t ) 2 k − f ( x , t ) | ≤ 2 ε n ( 1 − 1 2 k )$
(2.15)

for all k , x m , t > 0. Replacing x, t by 2 l x, 2 l t in (2.15), respectively, and dividing the result by 2 l we can see that 2-k f(2 k x, 2 k t) is a Cauchy sequence which converges uniformly. Now let

$A ( x , t ) : = lim k → ∞ 2 - k f ( 2 k x , 2 k t ) .$

Then, we verify that A(x, t) is the unique mapping in m × (0, ∞) satisfying the equation

$n A ∑ i = 1 n x i , ∑ i = 1 n t i = ∑ i = 1 n A ( x i , t i ) + ∑ 1 ≤ i < j ≤ n A ( x i + x j , t i + t j )$
(2.16)

for all x 1, ..., x n m , t 1, ..., t n > 0 and the inequality

$∣ f ( x , t ) - A ( x , t ) ∣ ≤ 2 ε n$
(2.17)

for all x m , t > 0. Given the continuity, the solution A(x, t) of (2.16) is of the form

$A ( x , t ) = a ⋅ x + b t ,$

where $a∈ ℂ m$, $b∈ℂ$. Letting t → 0+ in (2.17) we obtain

$∥ u - a ⋅ x ∥ ≤ 2 ε n .$
(2.18)

Now inequality (2.18) implies that u - a · x belongs to (L 1)' = L . Thus, all the solution u in $F ′$ can be written uniquely in the form u = a · x + h(x), where $∥h ∥ L ∞ ≤ 2 ε n$. □

From the above theorem, we shall prove the stability theorem of (1.1) in the spaces of $F ′ ( ℝ m )$ and $S ′ ( ℝ m )$ as follows:

Corollary 2.8. Suppose that u in $F ′ ( ℝ m )$ (or $S ′ ( ℝ m )$ , resp.) satisfies the inequality

$∥ u ∘ B - u ∘ P - u ∘ Q ∥ ≤ ε .$
(2.19)

Then, there exists a unique $a∈ ℂ m$ such that

$∥ u - a ⋅ x ∥ ≤ ε .$

## 3. Stability in $D ′$

In this section, we shall extend the previous results to the space of distributions. Recall that a distribution u is a linear functional on $C c ∞ ( ℝ m )$ of infinitely differentiable functions on m with compact supports such that for every compact set K m there exist constants C > 0 and N 0 satisfying

$∣ 〈 u , φ 〉 ∣ ≤ C ∑ ∣ α ∣ ≤ N sup ∣ ∂ α φ ∣$

for all $φ∈ C c ∞ ( ℝ m )$ with supports contained in K. The set of all distributions is denoted by $D ′ ( ℝ m )$. It is well-known that the following topological inclusions hold:

$C c ∞ ( ℝ m ) ↪ S ( ℝ m ) , S ′ ( ℝ m ) ↪ D ′ ( ℝ m ) .$

As we seen in [15, 16, 19], by the semigroup property of the heat kernel, Equation (1.3) can be controlled easily in the spaces $F ′ ( ℝ m )$ and $S ′ ( ℝ m )$. But we cannot employ the heat kernel in the space $D ′ ( ℝ m )$. Instead of the heat kernel, we use the function $ψ t ( x ) := t - m ψ ( x t )$, x m , t > 0, where $ψ ( x ) ∈ C c ∞ ( ℝ m )$ such that

$ψ ( x ) ≥ 0 , supp ψ ( x ) ⊂ { x ∈ ℝ m : ∣ x ∣ ≤ 1 } , ∫ ψ ( x ) d x = 1 .$

For example, let

$ψ ( x ) = A exp ( - ( 1 - ∣ x ∣ 2 ) - 1 ) , ∣ x ∣ < 1 , 0 , ∣ x ∣ ≥ 1 ,$

where

$A = ∫ ∣ x ∣ < 1 exp ( - ( 1 - ∣ x ∣ 2 ) - 1 ) d x - 1 ,$

then it is easy to see ψ(x) is an infinitely differentiable function with support {x : |x| ≤ 1}. Usually, we call ψ(x) to the regularizing function. If $u∈ D ′ ( ℝ m )$, then for each t > 0, (u * ψ t )(x) = 〈u y , ψ t (x - y)〉 is a smooth function in m and (u* ψ t )(x) → u as t → 0+ in the sense of distributions, that is, for every $φ∈ C c ∞ ( ℝ m )$

$〈 u , φ 〉 = lim t → 0 + ∫ ( u * ψ t ) ( x ) φ ( x ) d x .$

Making use of the regularizing functions we can find the general solution of (1.2) in the space $D ′ ( ℝ m )$ as follows:

Theorem 3.1. Every solution u in $D ′ ( ℝ m )$ of Equation (1.3) has the form

$u = a ⋅ x ,$

where $a∈ ℂ m$.

Proof. Convolving the tensor product $ψ t 1 ( x 1 ) ⋯ ψ t n ( x n )$ of the regularizing functions on both sides of (1.3) we have

$[ ( u ∘ A ) * ( ψ t 1 ( x 1 ) ⋯ ψ t n ( x n ) ) ] ( ξ 1 , … , ξ n ) = u ∘ A , ψ t 1 ( ξ 1 - x 1 ) ⋯ ψ t n ( ξ n - x n ) = u , ∫ ⋯ ∫ ψ t 1 ( ξ 1 - x 1 + x 2 + ⋯ + x n ) ψ t 2 ( ξ 2 - x 2 ) ⋯ ψ t n ( ξ n - x n ) d x 2 ⋯ d x n = u , ∫ ⋯ ∫ ψ t 1 ( ξ 1 + ⋯ + ξ n - x 1 - ⋯ - x n ) ψ t 2 ( x 2 ) ⋯ ψ t n ( x n ) d x 2 ⋯ d x n = u , ( ψ t 1 * ⋯ * ψ t n ) ( ξ 1 + ⋯ + ξ n - x 1 ) = ( u * ψ t 1 * ⋯ * ψ t n ) ( ξ 1 + ⋯ + ξ n ) , [ ( u ∘ P i ) * ( ψ t 1 ( x 1 ) ⋯ ψ t n ( x n ) ) ] ( ξ 1 , … , ξ n ) = ( u * ψ t i ) ( ξ i ) , [ ( u ∘ B i j ) * ( ψ t 1 ( x 1 ) ⋯ ψ t n ( x n ) ) ] ( ξ 1 , … , ξ n ) = ( u * ψ t i * ψ t j ) ( ξ i + ξ j ) .$

Thus, (1.3) is converted into the following functional equation:

$n ( u * ψ t 1 * ⋅ ⋅ ⋅ * ψ t n ) ( x 1 + ⋯ + x n ) = ∑ i = 1 n ( u * ψ t i ) ( x i ) + ∑ 1 ≤ i < j ≤ n ( u * ψ t i * ψ t j ) ( x i + x j )$
(3.1)

for all x 1, ..., x n m , t 1, ..., t n > 0. In view of (3.1), it is easy to see that

$f ( x ) : = limsup t → 0 + ( u * ψ t ) ( x )$

exists. Putting (x 1, ..., x n ) = (0, ..., 0) and letting t 1 = = t n → 0+ in (3.1) yields f(0) = 0. Setting (x 1, x 2, x 3, ... x n ) = (x, y, 0, ..., 0), (t 1, t 2) = (t, s) and letting t 3 = = t n → 0+ in (3.1) we have

$( u * ψ t * ψ s ) ( x + y ) = ( u * ψ t ) ( x ) + ( u * ψ s ) ( y )$
(3.2)

for all x, y m , t, s > 0. Letting t → 0+ in (3.2) gives

$( u * ψ s ) ( x + y ) = f ( x ) + ( u * ψ s ) ( y )$
(3.3)

for all x, y m , s > 0. Putting y = 0 in (3.3) yields

$f ( x ) = ( u * ψ s ) ( x ) - ( u * ψ s ) ( 0 )$
(3.4)

for all x m , s > 0. Applying (3.4) to (3.3) we see that f satisfies the Cauchy functional equation

$f ( x + y ) = f ( x ) + f ( y )$

for all x, y m . Since f is a smooth function in view of (3.4), it follows that f(x) = a · x, where $a∈ ℂ m$. Thus, from (3.4), we have

$( u * ψ s ) ( x ) = a ⋅ x + ( u * ψ s ) ( 0 ) .$
(3.5)

Letting s → 0+ in (3.5) we finally obtain

$u = a ⋅ x .$

This completes the proof. □

In a similar manner, we have the following corollary immediately.

Corollary 3.2. Every solution u in $D ′ ( ℝ m )$ of Equation (2.10) has the form

$u = a ⋅ x ,$

where $a∈ ℂ m$.

Using the regularizing functions, Chung [17] extended the stability theorem of the Cauchy functional equation (1.1) to the space $D ′ ( ℝ m )$. Similarly, we shall extend the stability theorem of (1.2) mentioned in the previous section to the space $D ′ ( ℝ m )$.

Theorem 3.3. Suppose that u in $D ′ ( ℝ m )$ satisfies the inequality (1.4). Then, there exists a unique $a∈ ℂ m$ such that

$∥ u - a ⋅ x ∥ ≤ 2 ε n .$

Proof. It suffices to show that every distribution satisfying (1.4) belongs to the space $S ′ ( ℝ m )$. Convolving the tensor product $ψ t 1 ( x 1 ) ⋯ ψ t n ( x n )$ on both sides of (1.4) we have

(3.6)

for all x 1, ..., x n m , t 1, ..., t n > 0. In view of (3.6), it is easy to see that for each fixed x,

$f ( x ) : = limsup t → 0 + ( u * ψ t ) ( x )$

exists. Putting (x 1, ..., x n ) = (0, ..., 0) and letting t 1 = = t n → 0+ in (3.6) yields

$∣ f ( 0 ) ∣ ≤ 2 ε n 2 - n .$
(3.7)

Setting (x 1, x 2, x 3, ..., x n ) = (x, y, 0, ..., 0), (t 1, t 2) = (t, s), t 3 = = t n → 0+ in (3.6), and using (3.7), we have

$∣ ( u * ψ t * ψ s ) ( x + y ) - ( u * ψ t ) ( x ) - ( u * ψ s ) ( y ) ∣ ≤ 2 ε n$
(3.8)

for all x, y m , t, s > 0. Putting y = 0 in (3.8) we obtain

$∣ ( u * ψ t * ψ s ) ( x ) - ( u * ψ t ) ( x ) - ( u * ψ s ) ( 0 ) ∣ ≤ 2 ε n$
(3.9)

for all x m , t, s > 0. Letting t → 0+ in (3.9) gives

$∣ ( u * ψ s ) ( x ) - f ( x ) - ( u * ψ s ) ( 0 ) ∣ ≤ 2 ε n$
(3.10)

for all x m , s > 0. From (3.8) and (3.10), we have

$∣ f ( x + y ) - f ( x ) - f ( y ) ∣ ≤ 6 ε n$

for all x, y m . According to the result as in [1], there exists a unique function $g: ℝ m →ℂ$ satisfying the equation

$g ( x + y ) = g ( x ) + g ( y )$

for all x, y m such that

$∣ f ( x ) - g ( x ) ∣ ≤ 6 ε n$
(3.11)

for all x m . It follows from (3.10) and (3.11) that

$∣ ( u * ψ s ) ( x ) - g ( x ) - ( u * ψ s ) ( 0 ) ∣ ≤ 12 ε n$
(3.12)

for all x m , s > 0. Letting s → 0+ in (3.12) we obtain

$∥ u - g ( x ) ∥ ≤ 2 ( 6 n - 5 ) ε n 2 - n .$
(3.13)

Inequality (3.13) implies that h(x) : = u - g(x) belongs to (L 1)' = L . Thus, we conclude that $u=g ( x ) +h ( x ) ∈ S ′ ( ℝ m )$. □

From the above theorem, we have the following corollary.

Corollary 3.4. Suppose that u in $D ′ ( ℝ m )$ satisfies the inequality (2.19). Then, there exists a unique $a∈ ℂ m$ such that

$∥ u - a ⋅ x ∥ ≤ ε .$

## References

1. 1.

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

2. 2.

Ulam SM: Problems in Modern Mathematics. Wiley, New York; 1964.

3. 3.

Forti GL: The stability of homomorphisms and amenability, with applications to functional equations. Abh Math Sem Univ Hamburg 1987, 57: 215-226. 10.1007/BF02941612

4. 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

5. 5.

Gajda Z: On stability of additive mappings. Int J Math Math Sci 1991, 14: 431-434. 10.1155/S016117129100056X

6. 6.

Isac G, Rassias ThM: On the Hyers-Ulam stability of ψ -additive mappings. J Approx Theory 1993, 72: 131-137. 10.1006/jath.1993.1010

7. 7.

Skof F: On the approximation of locally δ -additive mappings (Italian). Atti Accad Sci Torino Cl Sci Fis Mat Natur 1983, 117: 377-389.

8. 8.

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

9. 9.

Kannappan Pl: Functional Equations and Inequalities with Applications. Springer, New York; 2009.

10. 10.

Aczél J, Dhombres J: Functional Equations in Several Variables. Cambridge University Press, Cambridge; 1989.

11. 11.

Czerwik S: Functional Equations and Inequalities in Several Variables. World Scientific Publishing Co., Inc., River Edge; 2002.

12. 12.

Găvruţa 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

13. 13.

Jun K-W, Kim H-M: On the stability of an n -dimensional quadratic and additive functional equation. Math Inequal Appl 2006, 9: 153-165.

14. 14.

Nakmahachalasint P: Hyers-Ulam-Rassias and Ulam-Gavruta-Rassias stabilities of an additive functional equation in several variables. Int J Math Math Sci 2007, 2007: 6. Art. ID 13437

15. 15.

Chung J, Lee S: Some functional equations in the spaces of generalized functions. Aequationes Math 2003, 65: 267-279. 10.1007/s00010-003-2657-y

16. 16.

Chung J, Chung S-Y, Kim D: The stability of Cauchy equations in the space of Schwartz distributions. J Math Anal Appl 2004, 295: 107-114. 10.1016/j.jmaa.2004.03.009

17. 17.

Chung J: A distributional version of functional equations and their stabilities. Nonlinear Anal 2005, 62: 1037-1051. 10.1016/j.na.2005.04.016

18. 18.

Lee Y-S, Chung S-Y: The stability of a general quadratic functional equation in distributions. Publ Math Debrecen 2009, 74: 293-306.

19. 19.

Lee Y-S, Chung S-Y: Stability of quartic functional equations in the spaces of generalized functions. Adv Difference Equ 2009, 2009: 16. Art. ID 838347

20. 20.

Hörmander L: The Analysis of Linear Partial Differential Operators I. Springer, Berlin; 1983.

21. 21.

Schwartz L: Théorie des Distributions. Hermann, Paris; 1966.

22. 22.

Chung J, Chung S-Y, Kim D: A characterization for Fourier hyperfunctions. Publ Res Inst Math Sci 1994, 30: 203-208. 10.2977/prims/1195166129

23. 23.

Matsuzawa T: A calculus approach to hyperfunctions III. Nagoya Math J 1990, 118: 133-153.

24. 24.

Kim KW, Chung S-Y, Kim D: Fourier hyperfunctions as the boundary values of smooth solutions of heat equations. Publ Res Inst Math Sci 1993, 29: 289-300. 10.2977/prims/1195167274

## Author information

Correspondence to Young-Su Lee.

### Competing interests

The author declares that he has no competing interests.

## Rights and permissions

Reprints and Permissions

Lee, Y. Stability of an additive functional equation in the spaces of generalized functions. Adv Differ Equ 2011, 50 (2011). https://doi.org/10.1186/1687-1847-2011-50