Mathematical Problems in Engineering

Volume 2011, Article ID 579645, 10 pages

http://dx.doi.org/10.1155/2011/579645

## On the General Solution of the Ultrahyperbolic Bessel Operator

^{1}Department of Mathematics, Khon Kaen University, Khon Kaen 40002, Thailand^{2}Centre of Excellence in Mathematics, Commission on Higher Education (CHE), Si Ayuthaya road, Bangkok 10400, Thailand

Received 6 April 2011; Accepted 21 June 2011

Academic Editor: Alexei Mailybaev

Copyright © 2011 Rattapan Damkengpan 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 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 [1] first introduced the fundamental solution of (1.2), which is a complicated form. Later, Trione [2] has shown that the generalized function , defined by (2.8) with , is a unique fundamental solution of (1.2) and Téllez [3] 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 [4–9].

In 2004, Yildirim et al. [10] have introduced the Bessel ultrahyperbolic operator iterated -times with , where [11], 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 [12] have studied the weak solution of the compound Bessel ultrahyperbolic equation and also studied the Bessel ultrahyperbolic heat equation [13].

In 2009, Saglam et al. [14] 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 [15] 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 [11]: 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 [14].

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 [15].

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

The proof of this Lemma is given in [1].

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 [19–23].

#### 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 [24], 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.

#### References

- I. M. Gel'fand and G. E. Shilov,
*Generalized Functions*, vol. 1, Academic Press, New York, NY, USA, 1964. View at Zentralblatt MATH - S. E. Trione, “On Marcel Riesz's ultra-hyperbolic kernel,”
*Trabajos de Mathematica*, vol. 116, pp. 1–12, 1987. View at Google Scholar - 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 · View at Zentralblatt MATH - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - 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 · View at Google Scholar - A. Kananthai, “On the diamond operator related to the wave equation,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 47, no. 2, pp. 1373–1382, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - 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 - 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 · View at Google Scholar - 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 · View at Google Scholar - 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 - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - 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 - 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 · View at Zentralblatt MATH - 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 - H. Yıldırım,
*Riesz potentials generated by a generalized shift operator*, Ph.D. thesis, Ankara University, Ankara, Turkey, 1995. - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - M. Z. Sarıkaya,
*On the elementary solution of the Bessel diamond operator*, Ph.D. thesis, Afyon Kocatepe University, Afyon Kocatepe, Turkey, 2007. - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - M. A. Aguirre Téllez, “The product of convolution $P{\pm}^{\lambda}*P{\mp}^{\mu}$ and the multiplicative product $P{\pm}^{\lambda}*{\delta}^{(k)}(P\pm )$,”
*Mathematical and Computer Modelling*, vol. 23, no. 10, pp. 135–144, 1996. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - S. E. Trione, “Product between ${\delta}^{(k)}({m}^{2}+P)$ and the distribution $({m}^{2}+P)$,”
*Trabajos de Matematica*, vol. 55, 1983. View at Google Scholar - M. Oberguggenberger,
*Multiplication of Distributions and Applications to Partial Differential Equations*, vol. 259 of*Pitman Research Notes in Mathematics*, Longman, Harlow, UK, 1992. - R. Courant and D. Hilbert,
*Methods of Mathematical Physics*, Interscience, New York, NY, USA, 1966.