`Abstract and Applied AnalysisVolumeΒ 2011, Article IDΒ 908491, 16 pageshttp://dx.doi.org/10.1155/2011/908491`
Research Article

## On the Convolution Equation Related to the Diamond Klein-Gordon Operator

1Department of Mathematics, Khon Kaen University, Khon Kaen 40002, Thailand
2Centre of Excellence in Mathematics, CHE, Si Ayutthaya Road, Bangkok 10400, Thailand

Received 11 July 2011; Revised 3 August 2011; Accepted 31 August 2011

Copyright Β© 2011 Amphon Liangprom and Kamsing Nonlaopon. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We study the distribution for , where is the diamond Klein-Gordon operator iterated times, is the Dirac delta distribution, is a variable in , and is a constant. In particular, we study the application of for solving the solution of some convolution equation. We find that the types of solution of such convolution equation, such as the ordinary function and the singular distribution, depend on the relationship between and .

#### 1. Introduction

The -dimensional ultrahyperbolic operator iterated times is defined by where is the dimension of , and is a nonnegative integer. We consider the linear differential equation of the form where and are generalized functions, and .

Gelfand and Shilov [1] have first introduced the fundamental solution of (1.2), which was initially complicated. Later, Trione [2] has shown that the generalized function defined by (2.2) with is the unique fundamental solution of (1.2). Tellez [3] has also proved that exists only when with odd .

Kananthai [4] has first introduced the operator called the diamond operator iterated times, which is defined by where is the dimension of , for all and nonnegative integers . The operator can be expressed in the form where is defined by (1.1), and is the Laplace operator iterated times defined by Note that in case , the generalized form of (1.5) is called the local fractional Laplace operator; see [5] for more details. On finding the fundamental solution of this product, he uses the convolution of functions which are fundamental solutions of the operators and . He found that the convolution is the fundamental solution of the operator , that is, where and are defined by (2.2) and (2.7), respectively (with ), and is the Dirac-delta distribution. The fundamental solution is called the diamond kernel of Marcel Riesz. A number of effective results on the diamond kernel of Marcel Riesz have been presented by Kananthai [6β12].

In 1997, Kananthai [13] has studied the properties of the distribution and the application of the distribution for finding the fundamental solution of the ultrahyperbolic equation by using the convolution method. Later in 1998, he has also studied the properties of the distribution and its application for solving the convolution equation Recently, Nonlaopon gave some generalizations of his paper [6]; see [14] for more details.

In 2000, Kananthai [15] has studied the application of the distribution for solving the convolution equation which is related to the ultrahyperbolic equation.

In 2009, Sasopa and Nonlaopon [16] have studied the properties of the distribution and its application to solve the convolution equation Here, is the operator related to the ultrahyperbolic type operator iterated times, which is defined by where is the dimension of .

In 1988, Trione [17] has studied the fundamental solution of the ultrahyperbolic Klein-Gordon operator iterated times, which is defined by The fundamental solution of the operator is given by where is defined by (2.2) with . Next, Tellez [18] has studied the convolution product of , where and are any complex parameter. In addition, Trione [19] has studied the fundamental -ultrahyperbolic solution of the Klein-Gordon operator iterated times and the convolution of such fundamental solution.

Liangprom and Nonlaopon [20] have studied the properties of the distribution and its application for solving the convolution equation where is defined by (1.11).

In 2007, Tariboon and Kananthai [21] have introduced the operator called diamond Klein-Gordon operator iterated times, which is defined by where is the dimension of , for all and nonnegative integers . Later, Lunnaree and Nonlaopon [22, 23] have studied the fundamental solution of operator , and this fundamental solution is called the diamond Klein-Gordon kernel. They have also studied the Fourier transform of the diamond Klein-Gordon kernel and its convolution.

In this paper, we aim to study the properties of the distribution and the application of for solving the convolution equation where is defined by (1.14), is the generalized function, and is a constant. On finding the type of solution of (1.15), we use the method of convolution of the generalized functions.

Before we proceed to that point, the following definitions and concepts require clarifications.

#### 2. Preliminaries

Definition 2.1. Let be a point of the -dimensional Euclidean space . Let be the nondegenerated quadratic form, where is the dimension of . Let be the interior of a forward cone, and let denote its closure. For any complex number , we define the function where the constant is given by

The function is called the ultrahyperbolic kernel of Marcel Riesz, which was introduced by Nozaki [24]. It is well known that is an ordinary function if and is a distribution of if . Let supp denote the support of and suppose that supp , that is, supp is compact.

By putting in and taking into account Legendre's duplication formula we obtain, where The function is called the hyperbolic kernel of Marcel Riesz.

Definition 2.2. Let be a point of and . The elliptic kernel of Marcel Riesz is defined by where is the dimension of , , and

Note that . By putting (i.e., ) in (2.2) and (2.3), we can reduce to , where , and reduce to

Using the Legendreβs duplication formula we obtain Thus, in case , we have In addition, if for some nonnegative integer , then

Lemma 2.3. The convolution is the fundamental solution of the diamond operator iterated times, that is,

For the proof of this Lemma, see [4, 12].

It can be shown that , for all nonnegative integers .

Definition 2.4. Let be a point of . The function is defined by where is a complex parameter, and is a nonnegative real number. Here, and are defined by (2.2) and (2.7), respectively.

From the definition of , by putting , we have Since the operator defined by (1.14) is linearly continuous and has 1-1 mapping, this possesses its own inverses. From Lemma 2.3, we obtain

Substituting in (2.18) yields that we have . On the other hand, putting in (2.16) yields The second summand of the right-hand side of (2.19) vanishes when . Hence, we obtain which is the fundamental solution of the diamond operator.

For the proofs of Lemmas 2.5 and 2.6, see [23].

Lemma 2.5. Given the equation where is the diamond Klein-Gordon operator iterated times, defined by with a nonnegative integer and the Dirac-delta distribution , then is the fundamental solution of the diamond Klein-Gordon operator iterated times , where is defined by (2.16) with .

Lemma 2.6. Let be the diamond Klein-Gordon kernel defined by (2.16), then is a tempered distribution and can be expressed by where is a nonnegative integer and . Moreover, if one puts and , then one obtains for .

#### 3. Properties of the Distribution ππΌπ₯(β+π2)ππΏ

Lemma 3.1. The following equality holds: and is the tempered distribution of order with support , where is the partial differential operator and is defined by As before, is the ultrahyperbolic operator defined by (1.1) (with ), and is the Laplace operator defined by

Proof. Let be the space of testing functions which are infinitely differentiable with compact supports, and let be the space of distributions. Now, for . A direct computation shows that where is the partial differential operator defined by Thus,
Since for every and , we have Repeating this process with times, we finally obtain where is the operator of (3.6) iterated times. Now, by the operator in (3.2) and the derivative of distribution. Continuing this process, we obtain or . By equality of distributions, we obtain (3.1) as required. Since and its partial derivatives have support which is compact, hence, by Schwartz [25], are tempered distributions and has order . It follows that is a tempered distribution of order with point support by (3.1). This completes the proof.

Lemma 3.2 (boundedness property). Let be the space of testing functions and the space of distributions. For every and , for some constant .

Proof. Note that we have for every and . Hence, where is defined by (3.6). Continuing this process for times, we will obtain Since , so is bounded, and also is bounded. It then follows that for some constant .

#### 4. The Application of Distribution ππΌπ₯(β+π2)ππΏ

Theorem 4.1. Let be the partial differential operator defined by (3.2), and consider the equation where is any distribution in , then is the fundamental solution of the operator , where is defined by (2.16) with .

Proof. From (3.1) and (4.1), we can write . Convolving both sides by , we have then or equivalently, Since by Lemma 2.5 with , we obtain Moreover, since , we have . It then follows that is the fundamental solution of the operator .

Theorem 4.2 (the generalization of Theorem 4.1). From Lemma 3.1, consider that or then is the fundamental solution of the operator .

Proof. We can prove it by using either (4.6) or (4.7). If we start with (4.6), by convolving both sides by , we obtain or . Since by Lemma 2.5, we have or as required.
If we use (4.7), by convolving both sides by , we obtain or . By Theorem 4.1, we obtain . Keeping on convolving for times, we finally obtain by Lemma 2.6 and [26, page 196].

In particular, if we put in (4.6), then (4.6) reduces to (2.21), and we obtain as the fundamental solution of the diamond Klein-Gordon operator iterated times.

Theorem 4.3. Given the convolution equation where is the diamond Klein-Gordon operator iterated times defined by the variable , the constant , is a nonnegative real number, is the Dirac-delta distribution with , and is a constant, then the type of solution of (4.11) depends on , and as follows: (1)if and , then the solution of (4.11) is where is defined by (2.16) with . If and for any , then is the ordinary function, (2)if , then the solution of (4.11) is which is an ordinary function for with any arbitrary constant , (3)if and for any one supposes that , then (4.11) has as a solution which is the singular distribution.

Proof. (1)For and , then (4.11) becomes and by Theorem 4.2, we obtain Now, by (2.2) and (2.7), and are ordinary functions, respectively, for . It then follows that is an ordinary function for with any .(2)For , then we can write (4.11) as Convolving both sides by and applying Lemma 2.5, we obtain It is known that , thus for . Convolving both sides by , we obtain or which leads to for . It follows that or Similarly, by case (1), is the ordinary function for with any . It follows that is also the ordinary function with any .(3)if and for any , we suppose that , then (4.11) becomes Convolving both sides by and applying Lemma 2.5, we have Now, for . Thus, Now, by (3.1) and (3.2), we have for . Since all terms on the right-hand side of this equation are singular distribution, it follows that is the singular distribution. This completes the proof.

#### Acknowledgments

This work was supported by the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission, through the Cluster of Research to Enhance the Quality of Basic Education, and the Centre of Excellence in Mathematics, Thailand.

#### References

1. I. M. Gelfand and G. E. Shilov, Generalized Functions, Academic Press, New York, NY, USA, 1964.
2. S. E. Trione, βOn Marcel Riesz's ultra hyperbolic kernel,β Trabajos de Mathematica, vol. 116, pp. 1β12, 1987.
3. M. A. Tellez, βThe distributional Hankel transform of Marcel Riesz's ultrahyperbolic kernel,β Studies in Applied Mathematics, vol. 93, no. 2, pp. 133β162, 1994.
4. A. Kananthai, βOn the solutions of the n-dimensional diamond operator,β Applied Mathematics and Computation, vol. 88, no. 1, pp. 27β37, 1997.
5. X. J. Yang, βLocal fractional integral transforms,β Progress in Nonlinear Science, vol. 4, pp. 1β225, 2011.
6. A. Kananthai, βOn the convolution equation related to the diamond kernel of Marcel Riesz,β Journal of Computational and Applied Mathematics, vol. 100, no. 1, pp. 33β39, 1998.
7. A. Kananthai, βOn the convolutions of the diamond kernel of Marcel Riesz,β Applied Mathematics and Computation, vol. 114, no. 1, pp. 95β101, 2000.
8. A. Kananthai, βOn the diamond operator related to the wave equation,β Nonlinear Analysis: Theory, Methods and Applications, vol. 47, no. 2, pp. 1373β1382, 2001.
9. A. Kananthai, βOn the Fourier transform of the diamond kernel of Marcel Riesz,β Applied Mathematics and Computation, vol. 101, no. 2-3, pp. 151β158, 1999.
10. A. Kananthai, βOn the Green function of the diamond operator related to the Klein-Gordon operator,β Bulletin of the Calcutta Mathematical Society, vol. 93, no. 5, pp. 353β360, 2001.
11. G. Sritanratana and A. Kananthai, βOn the nonlinear diamond operator related to the wave equation,β Nonlinear Analysis: Real World Applications, vol. 3, no. 4, pp. 465β470, 2002.
12. M. A. Tellez and A. Kananthai, βOn the convolution product of the distributional families related to the diamond operator,β Le Matematiche, vol. 57, no. 1, pp. 39β48, 2002.
13. A. Kananthai, βOn the distribution related to the ultra-hyperbolic equations,β Journal of Computational and Applied Mathematics, vol. 84, no. 1, pp. 101β106, 1997.
14. K. Nonlaopon, βThe convolution equation related to the diamond kernel of Marcel Riesz,β Far East Journal of Mathematical Sciences, vol. 45, no. 1, pp. 121β134, 2010.
15. A. Kananthai, βOn the convolution equation related to the N-dimensional ultra-hyperbolic operator,β Journal of Computational and Applied Mathematics, vol. 115, no. 1-2, pp. 301β308, 2000.
16. P. Sasopa and K. Nonlaopon, βThe convolution equation related to the ultra-hyperbolic equations,β Far East Journal of Mathematical Sciences, vol. 35, no. 3, pp. 295β308, 2009.
17. S. E. Trione, βOn the elementary retarded ultra-hyperbolic solution of the Klein-Gordon operator, iterated k-times,β Studies in Applied Mathematics, vol. 79, no. 2, pp. 127β141, 1988.
18. M. A. Tellez, βThe convolution product of ${W}_{\alpha }\left(u,m\right)\ast {W}_{\beta }\left(u,m\right)$,β Mathematicae Notae, vol. 38, pp. 105β111, 1995-1996.
19. S. E. Trione, βOn the elementary ${\left(P±i0\right)}^{\lambda }$ ultrahyperbolic solution of the Klein-Gordon operator iterated k-times,β Integral Transforms and Special Functions, vol. 9, no. 2, pp. 149β162, 2000.
20. A. Liangprom and K. Nonlaopon, βOn the convolution equation related to the Klein-Gordon operator,β International Journal of Pure and Applied Mathematics, vol. 71, no. 1, pp. 67β82, 2011.
21. J. Tariboon and A. Kananthai, βOn the Green function of the ${\left(\oplus +{m}^{2}\right)}^{k}$ operator,β Integral Transforms and Special Functions, vol. 18, no. 4, pp. 297β304, 2007.
22. A. Lunnaree and K. Nonlaopon, βOn the Fourier transform of the diamond Klein-Gordon kernel,β International Journal of Pure and Applied Mathematics, vol. 68, no. 1, pp. 85β97, 2011.
23. K. Nonlaopon, A. Lunnaree, and A. Kananthai, βOn the solutions of the n-dimensional diamond Klien-Gordon operator and its convolution,β Submitted for publication.
24. Y. Nozaki, βOn Riemann-Liouville integral of ultra-hyperbolic type,β Kodai Mathematical Seminar Reports, vol. 16, no. 2, pp. 69β87, 1964.
25. L. Schwartz, Theories des Distributions, vol. 1-2 of Actualites Scientifiques et Industriel, Hermann & Cie, Paris, France, 1959.
26. R. P. Kanwal, Generalized Functions: Theory and Techniqu, Birkhäuser Boston: Hamilton Printing, Boston, Mass, USA, 2nd edition, 1998.