Research Article | Open Access

Volume 2011 |Article ID 579645 | https://doi.org/10.1155/2011/579645

Rattapan Damkengpan, Kamsing Nonlaopon, "On the General Solution of the Ultrahyperbolic Bessel Operator", Mathematical Problems in Engineering, vol. 2011, Article ID 579645, 10 pages, 2011. https://doi.org/10.1155/2011/579645

# On the General Solution of the Ultrahyperbolic Bessel Operator

Academic Editor: Alexei Mailybaev
Received06 Apr 2011
Accepted21 Jun 2011
Published10 Aug 2011

#### Abstract

We study the general solution of equation , where is the ultrahyperbolic Bessel operator iterated -times and is defined by , is the dimension of , , , , , is a given generalized function, is an unknown generalized function, is a nonnegative integer, is a positive constant, and .

#### 1. Introduction

The -dimensional ultrahyperbolic operator iterated -times is defined by where is the dimension of space , and is a nonnegative integer.

Consider the linear differential equation of the form where and are generalized functions and .

Gel'fand and Shilov  first introduced the fundamental solution of (1.2), which is a complicated form. Later, Trione  has shown that the generalized function , defined by (2.8) with , is a unique fundamental solution of (1.2) and Téllez  also proved that exists only in the case when is odd with odd or even and . A wealth of some effective works on the fundamental solution of the -dimensional classical ultrahyperbolic operator have, presented by Kananthai and Sritanratana .

In 2004, Yildirim et al.  have introduced the Bessel ultrahyperbolic operator iterated -times with , where , is a nonnegative integer, and is the dimension of . They also have studied the fundamental solution of Bessel ultrahyperbolic operator.

In 2007, Sarikaya and Yildirim  have studied the weak solution of the compound Bessel ultrahyperbolic equation and also studied the Bessel ultrahyperbolic heat equation .

In 2009, Saglam et al.  have developed the operator of (1.3), defined by (1.6), and it is called the ultrahyperbolic Bessel operator iterated -times. They have also studied the product of the ultrahyperbolic Bessel operator related to elastic waves.

Next, Srisombat and Nonlaopon  have studied the weak solution of where and are some generalized functions. They have developed (1.4) into the form which is called the compound ultrahyperbolic Bessel equation. In finding the solution of (1.5), they have used the properties of -convolution for the generalized functions.

The purpose of this study is to find the general solution of equation , where is the ultrahyperbolic Bessel operator iterated -times and is defined by , is the dimension of ,,,, is a given generalized function, is an unknown generalized function, is a nonnegative integer, is a positive constant, and .

#### 2. Preliminaries

Let be the generalized shift operator acting on the function , according to the law [11, 16]: where and . We remark that this shift operator is closely connected to the Bessel differential operator : The convolution operator is determined by the as follows: The convolution (2.3) is known as a -convolution. We note the following properties of the -convolution and the generalized shift operator. (a). (b). (c)If is a bounded function all , and then (d)From (c), we have the following equality for: (e).

Definition 2.1. Let be a point of the -dimensional space . Denote the nondegenerated quadratic form by where . The interior of the forward cone is defined by , where designates its closure. For any complex number , we define where The function is introduced by [10, 12, 17, 18]. It is well known that is an ordinary function if and is the distribution of if . Let , where denotes the support of .
By putting into (2.7), (2.8), and (2.9), and using the Legendre's duplication of , the formula (2.8) is reduced to where and Note that the function is precisely the Bessel hyperbolic kernel of Marcel Riesz.

Lemma 2.2. Given the equation where is defined by (1.6) and , then we obtain as a fundamental solution of (2.13), where is defined by (2.8).

The proof of this Lemma is given in .

Lemma 2.3. The -convolutions of tempered distributions. (a), where is any tempered distribution.(b)Let and be defined by (2.8); then exists and is a tempered distribution.(c)Let and be defined by (2.8); then , where and are nonnegative integers.

The proof of this Lemma is given in .

Lemma 2.4. Given that is a hypersurface where is the Dirac-delta distribution with derivatives.

The proof of this Lemma is given in .

Lemma 2.5. Given the equation where is the ultrahyperbolic Bessel operator iterated -times, as defined by (1.6), and , then defined by (2.8) with derivatives, as a solution of (2.15) with and is an even dimension.

Proof. We first show that the generalized function , where , is a solution of and is defined by (1.6) with and . Now for , we have Thus, we have by applying Lemma 2.4 with , where .
Similarly, we have by applying Lemma 2.4 with , where .
Thus, we have by applying Lemma 2.4 with , where .
If , we obtain That is, is a solution of (2.15) with , and is an even dimension. Now can be written in the form From (2.17), we have with , and being an even dimension. By Lemma 2.3(a), we can write (2.24) in the from -convolving both sides of the above equation with the function , we obtain
by Lemma 2.2.
It follows that is a solution of (2.15) with and is an even dimension.
The generalized function mentioned in Lemma 2.5 has been also studied on the aspect of multiplicative product, distributional product and applications, for more details, see .

#### 3. Main Result

Theorem 3.1. Given the equation where is the ultrahyperbolic Bessel operator iterated -times and is defined by (1.6), is a generalized function, is an unknown generalized function, , and is an even, then (3.1) has the general solution where is a function defined by (2.8) with derivatives.

Proof. -convolving both sides of (3.1) with , we obtain By Lemma 2.2, we have So, we obtain that is the solution of (3.1).
For a homogeneous equation , we have a solution by Lemma 2.5. Thus the general solution of (3.1) is This completes the proof.

By putting , (3.1) becomes the Bessel ultrahyperbolic equation where is the Bessel ultrahyperbolic operator iterated -times, and is defined by (1.3), is a generalized function and is an unknown generalized function. From (3.5) we have that is a solution of (3.8), where defined by (2.8).

From (3.2), we obtain that the general solution of the Bessel ultrahyperbolic equation is Moreover, if we put and (times), then (3.8) is reduced to the Bessel wave equation where is the Bessel wave operator and .

Thus, we obtain as a solution of the Bessel wave equation, since becomes , where is the Bessel ultrahyperbolic kernel of Marcel Riesz, and is defined by (2.11) with . And from (3.2), we obtain the general solution of Bessel wave equation as

where is a solution of Now we put and . By , we obtain that

is the solution of (3.14) with the initial conditions and at and .

#### Acknowledgments

The authors would like to thank an anonymous referee who provided very useful comments and suggestions. This work is supported by the Commission on Higher Education, the Thailand Research Fund, and Khon Kaen University (contract number MRG5380118), and the Centre of Excellence in Mathematics, Thailand.

1. I. M. Gel'fand and G. E. Shilov, Generalized Functions, vol. 1, Academic Press, New York, NY, USA, 1964. View at: Zentralblatt MATH
2. S. E. Trione, “On Marcel Riesz's ultra-hyperbolic kernel,” Trabajos de Mathematica, vol. 116, pp. 1–12, 1987. View at: Google Scholar
3. M. A. Téllez, “The distributional Hankel transform of Marcel Riesz's ultrahyperbolic kernel,” Studies in Applied Mathematics, vol. 93, no. 2, pp. 133–162, 1994. View at: Google Scholar | Zentralblatt MATH
4. 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.
5. 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. View at: Publisher Site | Google Scholar
6. A. Kananthai, “On the diamond operator related to the wave equation,” Nonlinear Analysis. Theory, Methods & Applications, vol. 47, no. 2, pp. 1373–1382, 2001.
7. A. Kananthai and G. Sritanratana, “On the nonlinear diamond operator related to the wave equation,” Nonlinear Analysis: Real World Applications, vol. 3, no. 4, pp. 465–470, 2002.
8. A. Kananthai, “On the product of the ultra-hyperbolic operator related to the elastic waves,” Computational Technologies, vol. 4, no. 6, pp. 88–91, 1999. View at: Google Scholar
9. A. Kananthai, “On the solutions of the n-dimensional diamond operator,” Applied Mathematics and Computation, vol. 88, no. 1, pp. 27–37, 1997. View at: Publisher Site | Google Scholar
10. H. Yildirim, M. Z. Sarikaya, and S. Öztürk, “The solutions of the n-dimensional Bessel diamond operator and the Fourier-Bessel transform of their convolution,” Proceedings Indian Academy of Sciences, vol. 114, no. 4, pp. 375–387, 2004. View at: Publisher Site | Google Scholar
11. B. M. Levitan, “Expansion in Fourier series and integrals with Bessel functions,” Uspekhi Matematicheskikh Nauk, vol. 62, no. 42, pp. 102–143, 1951. View at: Google Scholar
12. M. Z. Sarikaya and H. Yildirim, “On the weak solutions of the compound Bessel ultra-hyperbolic equation,” Applied Mathematics and Computation, vol. 189, no. 1, pp. 910–917, 2007.
13. A. Saglam, H. Yildirim, and M. Z. Sarikaya, “On the Bessel ultra-hyperbolic heat equation,” Thai Journal of Mathematics, vol. 8, no. 1, pp. 149–159, 2010. View at: Google Scholar
14. A. Saglam, H. Yıldırım, and M. Z. Sarıkaya, “On the product of the ultra-hyperbolic Bessel operator related to the elastic waves,” Selcuk Journal of Applied Mathematics, vol. 10, no. 1, pp. 85–93, 2009. View at: Google Scholar | Zentralblatt MATH
15. P. Srisombat and K. Nonlaopon, “On the weak solutions of the compound ultra-hyperbolic Bessel equation,” Selcuk Journal of Applied Mathematics, vol. 11, no. 1, pp. 127–136, 2010. View at: Google Scholar
16. H. Yıldırım, Riesz potentials generated by a generalized shift operator, Ph.D. thesis, Ankara University, Ankara, Turkey, 1995.
17. M. Z. Sarıkaya and H. Yıldırım, “On the Bessel diamond and the nonlinear Bessel diamond operator related to the Bessel wave equation,” Nonlinear Analysis. Theory, Methods & Applications, vol. 68, no. 2, pp. 430–442, 2008.
18. M. Z. Sarıkaya, On the elementary solution of the Bessel diamond operator, Ph.D. thesis, Afyon Kocatepe University, Afyon Kocatepe, Turkey, 2007.
19. M. Aguirre Téllez, “The distributional product of Dirac's delta in a hypercone,” Journal of Computational and Applied Mathematics, vol. 115, no. 1-2, pp. 13–21, 2000.
20. M. A. Aguirre Téllez, “The product of convolution $P{±}^{\lambda }*P{\mp }^{\mu }$ and the multiplicative product $P{±}^{\lambda }*{\delta }^{\left(k\right)}\left(P±\right)$,” Mathematical and Computer Modelling, vol. 23, no. 10, pp. 135–144, 1996.
21. M. A. Aguirre and K. Nonlaopan, “Generalization of distributional product of Diracs delta in hypercone,” Integral Transforms and Special Functions, vol. 18, no. 3-4, pp. 155–164, 2007.
22. S. E. Trione, “Product between ${\delta }^{\left(k\right)}\left({m}^{2}+P\right)$ and the distribution $\left({m}^{2}+P\right)$,” Trabajos de Matematica, vol. 55, 1983. View at: Google Scholar
23. M. Oberguggenberger, Multiplication of Distributions and Applications to Partial Differential Equations, vol. 259 of Pitman Research Notes in Mathematics, Longman, Harlow, UK, 1992.
24. R. Courant and D. Hilbert, Methods of Mathematical Physics, Interscience, New York, NY, USA, 1966.