- Research Article
- Open Access
- Published:

# Stability of Trigonometric Functional Equations in Generalized Functions

*Journal of Inequalities and Applications*
**volume 2010**, Article number: 801502 (2010)

## Abstract

We consider the Hyers-Ulam stability of a class of trigonometric functional equations in the spaces of generalized functions such as Schwartz distributions, Fourier hyperfunctions, and Gelfand generalized functions.

## 1. Introduction

The Hyers-Ulam stability of functional equations go back to 1940 when Ulam proposed the following problem [1]:

*Let*
*be a mapping from a group*
*to a metric group*
*with metric*
*such that*

*Then does there exist a group homomorphism* *and* *such that*

*for all*?

This problem was solved affirmatively by Hyers [2] under the assumption that is a Banach space. In 1949-1950, this result was generalized by the authors Bourgin [3, 4] and Aoki [5] and since then stability problems of many other functional equations have been investigated [2, 6–8, 8–19]. In 1990, Székelyhidi [18] has developed his idea of using invariant subspaces of functions defined on a group or semigroup in connection with stability questions for the sine and cosine functional equations. We refer the reader to [6–8, 12–14, 19] for Hyers-Ulam stability of functional equations of trigonometric type. In this paper, following the method of Székelyhidi [18] we consider a distributional analogue of the Hyers-Ulam stability problem of the trigonometric functional equations

where . Following the formulations as in [6, 20–22], we generalize the classical stability problems of above functional equations to the spaces of generalized functions as

where , and denote the pullback and the tensor product of generalized functions, respectively, and denotes the space of bounded measurable functions on .

We prove as results that if generalized function satisfies (1.5), then satisfies one of the followings

(i) and is arbitrary;

(ii) and are bounded measurable functions;

(iii);

(iv), ,

for some , and a bounded measurable function .

Also if generalized function satisfies (1.6), then satisfies one of the followings:

(i) and are bounded measurable functions,

(ii), , .

## 2. Generalized Functions

For the spaces of tempered distributions , we refer the reader to [23–25]. Here we briefly introduce the spaces of Gelfand generalized functions and Fourier hyperfunctions. Here we use the following notations: , , , , and , for , , where is the set of nonnegative integers and .

Definition 2.1.

For given , we denote by or the space of all infinitely differentiable functions on such that there exist positive constants and satisfying

The topology on the space is defined by the seminorms in the left-hand side of (2.1) and the elements of the dual space of are called *Gelfand-Shilov generalized functions*. In particular, we denote by and call its elements *Fourier hyperfunctions*.

It is known that if and , the space consists of all infinitely differentiable functions on that can be continued to an entire function on satisfying

for some .

It is well known that the following topological inclusions hold:

We refer the reader to [24, chapter V-VI], for tensor products and pullbacks of generalized functions.

## 3. Stability of the Equations

In view of (2.2), it is easy to see that the -dimensional heat kernel

belongs to the Gelfand-Shilov space for each . Thus the convolution is well defined for all . It is well known that is a smooth solution of the heat equation in and in the sense of generalized functions, that is, for every ,

We call *the Gauss transform* of . Let be a semigroup and be the field of complex numbers. A function is said to be *additive* provided , and is said to be *exponential* provided .

We first discuss the solutions of the corresponding trigonometric functional equations in the space of Gelfand generalized functions. As a consequence of the result [6, 26], we have the following.

Lemma 3.1.

The solutions of the equation

are equal, respectively, to the smooth solution of corresponding classical functional equations (1.3) and (1.4).

Remark 3.2.

We refer the reader to Aczél [27, page 180] and Aczél and Dhombres [28, pages 209–217] for the general solutions and measurable solutions of (1.3) and (1.4).

For the proof of the stability of (1.5), we need the following lemma.

Lemma 3.3.

Let be continuous functions satisfying the inequality; there exists a positive constant such that

for all . Then either there exist , not both zero, and such that

or else

for all .

Also the inequality (3.5) together with (3.4) implies one of the followings;

(i), : arbitrary;

(ii) and are bounded functions;

(iii) and where , , with and is a bounded function.

Proof.

Following the approach as in [29, page 139, Lemma 6.8], we first prove that (3.6) is satisfied if the condition (3.5) fails. Assume that for some implies . Let

Then we can choose and satisfying . It is easy to show that

where , and .

Using (3.8), we have the following two equations.

From (3.9), we have

When are fixed, the right-hand side of the above equation is bounded, so we have the following.

Again considering (3.11) as a function of and for all fixed , we have .

Now we consider the case that the inequality (3.5) holds. If , is arbitrary, which is the case (i). If is a nontrivial bounded function, in view of (3.4) is also bounded, which is the case (ii). If is unbounded, it follows from (3.5) that and

for some and a bounded function . Put (3.12) in (3.4) to get

Replacing by and by and using the triangle inequality, we have

for all . Replacing by , by and using the inequality (3.14), we have for some ,

Using (3.13), (3.14), (3.15), and the triangle inequality, we have

Since is unbounded, it follows from (3.16) that for all . Also, in view of (3.13), for fixed and , is a bounded function of and . Thus it follows from [24, page 104, Theorem 5.2] that is an exponential function. Given the continuity of , we have for some with . Replacing by in (3.13) and using (3.14), we have

Now we consider the stability of (3.17). From (3.17) and the continuity of , it is easy to see that

exists. Putting and letting so that in (3.17) and using the triangle inequality and (3.14), we have

It follows from (3.17), (3.19), and the triangle inequality that

for all . Letting in (3.20), we have

for all . Thus it follows from the Hyer-Ulam stability theorem [2] and the continuity of that there exists such that

for all . Finally, from (3.19) and (3.22), we have

for all . From (3.12) and (3.23), we have (iii). This completes the proof.

Remark 3.4.

In particular, if and are solutions of the heat equation the case (iii) of the abovelemma is reduced as

for some and bounded solution of the heat equation.

Theorem 3.5.

Let satisfy (1.5). Then and satisfy one of the followings

(i) and is arbitrary;

(ii) and are bounded measurable functions;

(iii), ;

(iv), ,

for some , and a bounded measurable function .

Proof.

Convolving in (1.5) the tensor product of -dimensional heat kernels, we have

Similarly, we have

where are the Gauss transforms of , respectively. Thus satisfies the inequality (3.4). Now we can apply Lemma 3.3. First we assume that (3.5) holds and consider the cases (i), (ii), (iii) of Lemma 3.3. The case (i) implies (i) of our theorem. For the case (ii); it follows from [30, Page 61, Theorem 1] the initial values are bounded measurable functions, respectively. For the case (iii); using the remark running after Lemma 3.3 and [30, Page 61, Theorem 1], letting the case (iii) of our theorem follows. Finally, if satisfy the (3.6),letting we have

The nontrivial solutions of (3.27) are given by (iv) or which is included in case (iii). This completes the proof.

Now we prove the stability of (1.6).

Lemma 3.6.

Let satisfy the inequality; there exists a positive constant such that

for all . Then either there exist , not both zero, and such that

or else

for all .

Also the inequality (3.29) together with (3.28) implies one of the followings

(i) and are bounded functions;

(ii) is bounded; is an exponential;

(iii) for some bounded exponential ;

(iv), , where , is a bounded exponential and is a bounded function.

Proof.

Suppose that, for , does not hold unless . Note that both and are unbounded. Let

Just for convenience, we consider the following equation which is equivalent to (3.31).

Since is nonconstant, we can choose and satisfying . It is easy to show that

where and .

By the definition of and the use of (3.33), we have the following equations

By equating (3.34), we have

When are fixed, the right-hand side of the above equality is bounded, so we have

Again considering (3.36) as a function of and for all fixed , we have which is equivalent to (3.30). Now we consider the case when (3.29) holds. If is bounded, then is also bounded by the inequality (3.28). It follows from [29, Theorem 5.2] that is bounded or exponential which gives the cases (i) and (ii). If is unbounded, then is also unbounded by the inequality (3.28), hence and . Now let for some bounded function and . Then the inequality (3.28) becomes

Since is bounded, we find that

Thus it follows from [29, page 104, Theorem 5.2] that

for some exponential . Thus if , we have and (iii) follows. If ,

which gives (iv). This completes the proof.

Theorem 3.7.

Let satisfy (1.6). Then and satisfy one of the followings

(i) and are bounded measurable functions;

(ii), ,

where .

Proof.

Similarly as in the proof of Theorem 3.5 convolving in (1.6) the tensor product , we obtain the inequality (3.28) where are the Gauss transforms of , respectively. Now we can apply Lemma 3.6. First assume that (3.29) holds and consider the cases (i), (ii), (iii), and (iv) of Lemma 3.6. For the case (i), it follows from [30, Page 61, Theorem 1] that the initial values of as are bounded measurable functions, respectively. For the case (ii), by the continuity of , we have

for some . Putting (3.41) in (3.28) and letting , and using the triangle inequality, we have

for some . In view of (3.42), we have . Thus is bounded in . Using [25, page 61, Theorem 1], the initial values of as in (3.41) are bounded measurable functions. For the case (iii) putting in the inequality (3.28), we have

for all , where is a bounded exponential. Using the continuity of , it follows from (3.43) that is bounded in and so is , which implies that both and are bounded measurable functions. For the case (iv) since , are unbounded continuous, is unbounded continuous, and . On the other hand, it follows from (3.28) that , which occurs only when . Thus both and are bounded in and are bounded measurable functions.

Secondly, assume that (3.30) holds. Letting in (3.30), we have

By Lemma 3.1, the nonconstant solution of (3.44) is given by , for some . This completes the proof.

Remark 3.8.

Taking the growth of as into account, or only when for some . Thus the Theorems 3.5 and 3.7 are reduced to the followings.

Corollary 3.9.

Let or satisfy (1.5). Then and satisfy one of the followings

(i) and is arbitrary;

(ii) and are bounded measurable functions;

(iii), only ,

for some , , and a bounded measurable function .

Corollary 3.10.

Let or satisfy (1.6). Then and are bounded measurable functions.

## References

Ulam SM:

*A Collection of Mathematical Problems, Interscience Tracts in Pure and Applied Mathematics, no. 8*. Interscience, New York, NY, USA; 1960:xiii+150.Hyers DH: On the stability of the linear functional equation.

*Proceedings of the National Academy of Sciences of the United States of America*1941, 27: 222–224. 10.1073/pnas.27.4.222Bourgin DG: Multiplicative transformations.

*Proceedings of the National Academy of Sciences of the United States of America*1950, 36: 564–570. 10.1073/pnas.36.10.564Bourgin DG: Approximately isometric and multiplicative transformations on continuous function rings.

*Duke Mathematical Journal*1949, 16: 385–397. 10.1215/S0012-7094-49-01639-7Aoki T: On the stability of the linear transformation in Banach spaces.

*Journal of the Mathematical Society of Japan*1950, 2: 64–66. 10.2969/jmsj/00210064Baker JA: On a functional equation of Aczél and Chung.

*Aequationes Mathematicae*1993, 46(1–2):99–111. 10.1007/BF01834001Baker JA: The stability of the cosine equation.

*Proceedings of the American Mathematical Society*1980, 80(3):411–416. 10.1090/S0002-9939-1980-0580995-3Székelyhidi L: The stability of d'Alembert-type functional equations.

*Acta Universitatis Szegediensis. Acta Scientiarum Mathematicarum*1982, 44(3–4):313–320.Czerwik S:

*Stability of Functional Equations of Ulam-Hyers-Rassias Type*. Hadronic Press, Palm Harbor, Fla, USA; 2003.Jung S-M:

*Hyers-Ulam-Rassias Stability of Functional Equations in Mathematical Analysis*. Hadronic Press, Palm Harbor, Fla, USA; 2001:ix+256.Jun KW, Kim HM: Stability problem for Jensen-type functional equations of cubic mappings.

*Acta Mathematica Sinica, English Series*2006, 22(6):1781–1788. 10.1007/s10114-005-0736-9Kim GH: The stability of d'Alembert and Jensen type functional equations.

*Journal of Mathematical Analysis and Applications*2007, 325(1):237–248. 10.1016/j.jmaa.2006.01.062Kim GH: On the stability of the Pexiderized trigonometric functional equation.

*Applied Mathematics and Computation*2008, 203(1):99–105. 10.1016/j.amc.2008.04.011Kim GH, Lee YW: Boundedness of approximate trigonometric functions.

*Applied Mathematics Letters*2009, 22(4):439–443. 10.1016/j.aml.2008.06.013Park CG: Hyers-Ulam-Rassias stability of homomorphisms in quasi-Banach algebras.

*Bulletin des Sciences Mathématiques*2008, 132(2):87–96.Rassias ThM: On the stability of functional equations in Banach spaces.

*Journal of Mathematical Analysis and Applications*2000, 251(1):264–284. 10.1006/jmaa.2000.7046Rassias ThM: On the stability of the linear mapping in Banach spaces.

*Proceedings of the American Mathematical Society*1978, 72(2):297–300. 10.1090/S0002-9939-1978-0507327-1Székelyhidi L: The stability of the sine and cosine functional equations.

*Proceedings of the American Mathematical Society*1990, 110(1):109–115.Tyrala I: The stability of d'Alembert's functional equation.

*Aequationes Mathematicae*2005, 69(3):250–256. 10.1007/s00010-004-2741-yChung J: A distributional version of functional equations and their stabilities.

*Nonlinear Analysis: Theory, Methods & Applications*2005, 62(6):1037–1051. 10.1016/j.na.2005.04.016Chung J: Stability of functional equations in the spaces of distributions and hyperfunctions.

*Journal of Mathematical Analysis and Applications*2003, 286(1):177–186. 10.1016/S0022-247X(03)00468-2Chung J: Distributional method for the d'Alembert equation.

*Archiv der Mathematik*2005, 85(2):156–160. 10.1007/s00013-005-1234-0Gelfand IM, Shilov GE:

*Generalized Functions. II*. Academic Press, New York, NY, USA; 1968:x+261.Hörmander L:

*The Analysis of Linear Partial Differential Operators. I, Grundlehren der Mathematischen Wissenschaften*.*Volume 256*. Springer, Berlin, Germany; 1983:ix+391.Schwartz L:

*Théorie des Distributions*. Hermann, Paris, France; 1966:xiii+420.Fenyö I: Über eine Lösungsmethode gewisser Funktionalgleichungen.

*Acta Mathematica Academiae Scientiarum Hungaricae*1956, 7: 383–396. 10.1007/BF02020533Aczél J:

*Lectures on Functional Equations and Their Applications, Mathematics in Science and Engineering*.*Volume 19*. Academic Press, New York, NY, USA; 1966:xx+510.Aczél J, Dhombres J:

*Functional Equations in Several Variables, Encyclopedia of Mathematics and Its Applications*.*Volume 31*. Cambridge University Press, New York, NY, USA; 1989:xiv+462.Hyers DH, Isac G, Rassias ThM:

*Stability of Functional Equations in Several Variables, Progress in Nonlinear Differential Equations and Their Applications*.*Volume 34*. Birkhäuser, Boston, Mass, USA; 1998:vi+313.Widder DV:

*The Heat Equation, Pure and Applied Mathematics*.*Volume 6*. Academic Press, New York, NY, USA; 1975:xiv+267.

## Acknowledgments

The authors express their deep thanks to the referee for valuable comments on the paper, in particular, introducing the earlier results of Bourgin [3, 4] and Aoki [5]. This work was supported by the Korea Research Foundation Grant (KRF) Grant funded by the Korea Government (MEST) (no. 2009-0063887).

## Author information

### Authors and Affiliations

### Corresponding author

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

## About this article

### Cite this article

Chang, J., Chung, J. Stability of Trigonometric Functional Equations in Generalized Functions.
*J Inequal Appl* **2010**, 801502 (2010). https://doi.org/10.1155/2010/801502

Received:

Revised:

Accepted:

Published:

DOI: https://doi.org/10.1155/2010/801502

### Keywords

- Functional Equation
- Tensor Product
- Measurable Function
- Bounded Function
- Heat Kernel