- Research
- Open access
- Published:
High order Riesz transforms and mean value formula for generalized translate operator
Journal of Inequalities and Applications volume 2014, Article number: 148 (2014)
Abstract
In this paper, the mean value formula depends on the Bessel-generalized shift operator corresponding to the solutions of the boundary value problem related to the multidimensional Bessel operator are studied. In addition, Riesz transforms related to the multidimensional Bessel operators are studied. Since a Bessel-generalized shift operator is a translation operator corresponding to the multidimensional Bessel operator, we construct a family of by using a Bessel-generalized shift operator. Finally, we analyze weighted inequalities involving .
MSC:31B05, 35G10, 34B30, 47F05.
1 Introduction
Singular integral operators are playing an important role in harmonic analysis, the theory of functions and partial differential equations. Singular integrals are associated with the Laplace-Bessel differential operator, which is known as an important operator in analysis and its applications; these have been the research areas of many mathematicians such as Muckenhoupt and Stein [1, 2], Kipriyanov and Klyuchantsev [3, 4], Aliev and Gadjiev [5], Guliev [6], Gadjiev. Also, singular integral operators related to the generalized shift operator were studied by [7] and [8–10] and others.
The Bessel-generalized shift operator is one of the most important generalized shift operator on the half line , [11, 12]. The Bessel-generalized translation is used, while studying various problems connected with Bessel operators [13]. Fourier-Bessel harmonic analysis, i.e. the part of harmonic analysis addressing various problems on Bessel (Hankel) integral transforms, is closely connected with Bessel-generalized shift operator.
It is well known that the fundamental solutions of the classical stationary of mathematical physics (the harmonic equation, polyharmonic equation, and Helmholtz equation) are radial functions. Therefore, it is natural to seek these solutions as solutions of ordinary differential equations. However, since the spherical coordinate transformation transforms an equation with the Laplace operator in into an ordinary differential equation with the singular Bessel differential operator, interest arose (probably, a long time ago) in studying methods for constructing the fundamental solutions of singular ordinary differential equations with the Bessel operator in place of the second derivative. In this connection, it might be very useful to prove a theorem on the fundamental solution of an ordinary differential equation involving the Bessel operator with constant coefficients, similar to the well-known theorem on the fundamental solution of an ordinary differential equation.
The result obtained on the fundamental solution of an ordinary differential operator with the Bessel operator has allowed us to analyze equations with the singular differential operator where the different indices act with respect to part of the variables and these indices may take negative values. The latter fact is essential because the tools used in problems of this kind (the Poisson operator and generalized shift operator of integral nature) are defined only for . To find the fundamental solution with a singularity at an arbitrary point, we use the generalized shift operator that acts with respect to the radial variable. Note also that the mixed-type generalized shift operator, which is conventionally used in such problems, coincides with the radial shift operator on radial functions provided that . The fundamental solutions (of the B-harmonic and B-polyharmonic equations and of the singular Helmholtz equation) found coincide with the known solutions when and with the classical solutions when .
It is well known that harmonic functions satisfy various mean value theorems, which may be considered as generalizations of the Gauss mean value theorem. There have been a number of studies on mean value theorems. Cheng [14] obtained a converse for a different mean value expression. Nicolesco [15] gave an expression in terms of certain iterated means and showed that a converse was also true. The mean value theorems for harmonic functions have also been studied by Pizetti [16], Picone [17], Ekincioglu [8], and Kipriyanova [18] and [19].
The solutions of the boundary value problems for Laplace operator are related to the ordinary shift operator. Also, the solutions of boundary value problems for Laplace-Bessel and Bessel operators are corresponding to the generalized shift operator and Bessel-generalized shift operator, respectively.
In this paper, singular integral operators generated by a Bessel-generalized shift operator are studied. In addition, the mean value formulas related to the Bessel-generalized shift operator are given.
Riesz-Bessel singular integral operators related to generalized shift operator for Laplace-Bessel operator were showed in [7] and [9]. The authors used the mean value theorem related to the generalized shift operator. The mean value formula for the equations and were obtained by [8] and [19], respectively, where .
In this study, we introduce the mean value formula for the equation and the high order Riesz-Bessel transform associated with the Bessel-generalized shift operator for the B Bessel differential operator
Let be n-dimensional Euclidean space and , be vectors in , then , . Denote , , , , and . We shall denote by -spaces (the Lebesgue space with respect to the measure ), the set of all measurable functions f on such that the norm
is finite. We determine the Bessel-generalized translation , of a function as the solution to the following initial value problem:
where B is the multidimensional Bessel differential operator [20]. The solution of the initial value problem (1.1) exists, is unique, and can be written explicitly as
where and , . By (1.2), the operator can be extended to all functions . The operator satisfying (1.1) may be regarded as a Bessel-generalized shift operator Bessel-generalized shift operator (see [4, 11] and [21]). We remark that this shift operator is closely connected with the Bessel differential operator. The convolution operator determined by is as follows:
The convolution (1.3) is known as a B-convolution. We note some properties for the B-convolution and the Bessel-generalized shift operator:
-
If , is a bounded function, , and
then
-
From the above result, we have the following equality for :
-
.
The Fourier-Bessel transform is defined and invertible on functions ,
where and is the normalized Bessel function related to the Bessel function of the first kind by the formula [11]. However, the following equality for a Fourier-Bessel transformation is true:
2 The high order Riesz-Bessel transforms associated with Bessel-generalized shift operator
In this section, we consider a Bessel-generalized shift operator related to the multidimensional Bessel differential operator. Then we give the Fourier-Bessel transformation of a homogeneous polynomial which obeys the Bessel equations. Finally, we define the high order Riesz-Bessel transforms related to Bessel-generalized shift operator and so we show that high order Riesz-Bessel transforms obey the condition of classical Riesz transforms, that is, these operators extend to high order Riesz-Bessel transforms [29].
It follows from the general theory of singular integrals that Riesz transforms are bounded on for all . In this paper we extend this result to the context of Bessel theory where a similar operator is already defined. It has been noted that the difficulty arises in the application of the classical -theory of Calderon-Zygmund, since Riesz transforms are singular integral operators. In this paper we describe how this theory can be adapted in a Bessel setting and give an -result for high order Riesz transforms for all .
We have , , the range over the homogeneous harmonic polynomials the latter arise in special case . Those for , we call the high order Riesz-Bessel transform where we refer to k as the degree of the high order Riesz Bessel transform [29]. They can also be characterized by their invariance properties.
Let be homogeneous polynomial of degree k in . We shall say that P is elliptic if vanishes only at the origin. For any polynomial P we consider also its corresponding differential polynomial. Thus if we write , where and with the monomials (see [30]).
Theorem 2.1 Suppose that is a homogeneous polynomial of degree k and satisfies for Bessel operator then we have
Lemma 2.2 Let . Suppose that
and φ is of Schwartz class then we have the identity
Proof The proof follows immediately from the representation
□
The mean value theorem for multidimensional Bessel differential operators is very convenient for obtaining multidimensional singular integral operators generated by a Bessel-generalized shift operator. Therefore, we studied the mean value formula related to the Bessel-generalized shift operator for the solutions of the boundary value problem for the multidimensional Bessel operator .
The Bessel-generalized shift operator is one of the most important generalized shift operator on the half line [11–13]. The Bessel-generalized translation is used while studying various problems connected with Bessel operators. Fourier-Bessel harmonic analysis, i.e. the part of harmonic analysis addressing various problems on Bessel (Hankel) integral transforms, is closely connected with the Bessel-generalized shift operator.
3 The mean value formula
In this section, we determine the mean value formula for the Bessel-generalized shift operator. Let be an n-dimensional Euclidian space and , be vectors in . Then . Denote and , . We assume that and is its boundary. In this paper, we are mainly concerned with the mean value theorem. Now, we relate this concept in the following theorem.
Theorem 3.1 Let be a unit sphere centered at the origin, contained in and u be an even regular solution with respect to of . Then the following formula holds:
Let be the multidimensional Bessel-generalized shift operator and u be an even regular solution of at any interior point of the region . Also, the following formula is valid:
Proof We assume that the continuity of u and v in the closed region , continuity of the first and second derivatives of u and v in , together with continuity of the first derivatives of u in and the second derivatives of u in . In addition, the existence of the integrals over are assumed in Green’s formula. The most important tool for the potential theory is provided by this formula in n-dimensional bounded region with volume element and its boundary , which we assume to be piecewise smooth; the two functions u and v are related by Green’s formula,
Let be a boundary point of . We set
such that and denotes the set of twice continuously differentiable functions on , also an even function with respect to all -variables. We apply formula (3.3) to the region , where is an upper half sphere centered at of radius ε. Letting and considering for the fundamental solution of B, we deduce that
Hence, let us write the function v in (3.4), then we have
and
Therefore, we get
Considering , consequently, we have
Here,
and
Let be a half sphere of radius R centered at contained in and be the surface of . Suppose that
Under our assumptions, we can rewrite the equality (3.6) as
Since R is constant and for the fundamental solution of B, hence we have
and
Choose the function v such that
where , also an even function with respect to all variables and . Then, under the initial conditions
we obtain
Since (3.11) is true for all u, we can take an arbitrary function that is even with respect to all variables in . Therefore, we assume that . For , we have the following identity:
where denotes the η th order of B, that is, , , etc. Now, let us define as a sequence of functions of the type (3.9). Then the following differential equation can be written:
By the initial conditions (3.10) and the function
it can be seen that the solution of (3.13) is as follows:
Under the initial conditions, for each , the solutions corresponding to the constants can easily be found and obtained as follows:
Replacing v by in (3.12), we see that
Since , we obtain
Summing all the equations corresponding to , then we conclude
By (3.8) and the function , then we get
and
By the function v in (3.7), we get
and from (3.8)
Thus we have
where , and . This formula is valid for all arbitrary function which is a continuously differentiable function of order . Let us establish the equality (3.8) with respect to ; we get
Setting and in (3.12), then we obtain
If we sum all the equations corresponding to , we conclude
By (3.8) and the function , we get
and
and
where and . We note that the second integral on the right-hand side in (3.21) tends to zero for ; then we have the result
where and . Hence
Thus the proof is completed. □
Proof of Theorem 2.1 We shall need the Fourier-Bessel transforms of the function . The identity to be proved can be rewritten as
Let , and be a Bessel function. We recall that
then we get
where . We may now calculate each of the integrals in (3.22). We have
where and . In a similar way, we obtain
If we write the equalities (3.23)-(3.25) in (3.22) then we have
Letting and , then we get
So, we can easily obtain the identity
By similar arguments, we can see that
Hence, we get
and
Consequently, we deduce
When we apply the Bessel differential operator to both sides of the identity (3.26), then we see
where is a polynomial. The problem is therefore to show that . Now using the identity
we have
where and . Replacing t by and by the properties of , we obtain
Taking the change of variables for and and applying the polar coordinates in (3.27), this gives the identity
We must calculate the integral . Letting , then we get
Applying Theorem 3.1 to (3.28), we deduce and
Since is homogeneous, we have the identity
and so we obtain the desired conclusion. □
We come now to what has been our main goal in this paper.
Theorem 3.2 Let be homogeneous harmonic polynomial of degree k. Then we get
Proof Consider the identity
By (3.29) and Theorem 2.1, we have
Assume in addition that . Then
We now integrate both sides of the above with respect to α having multiplied the equation by a suitable power of α (, ). We obtain
If we use the fact that
we get
The corresponding integration for the right side gives
Letting , we obtain
Thus (3.30) and (3.31) lead to the identity
By Lemma 2.2, we have therefore concluded the proof of the theorem. We have
□
Definition 3.3 Let be the Bessel-generalized shift operator and let f be a Schwartz function on . We define the high order Riesz-Bessel transforms of order k with respect to the Bessel-generalized shift operator as
where () and is a homogeneous polynomial of degree k in which satisfies .
By Theorem 3.2, we conclude that
One of the important applications of the high order Riesz transforms is that they can be used to mediate between various combinations of partial derivatives of a function. We shall here content ourselves with two very simple illustrations, which examples have an interest on their own and have already the characteristic features of a general type of estimate which can be made in the theory of elliptic differential operators.
Proposition 3.4 Suppose f is a class of and has compact support. Let Bf be the Bessel differential operator. Then we have the a priori bound
with independent of f.
In (3.32), we may take . Then this proposition is an immediate consequence of the boundedness of the Riesz-Bessel transforms generated by a Bessel-generalized shift operator and the identity
To prove (3.33) we use the Fourier-Bessel transform. Thus if is the Fourier-Bessel transform of f, then the Fourier-Bessel transform of is
and
and so
which gives (3.33). Thus we have
By using the Fourier Bessel transformations, we have
(see [9]).
Corollary 3.5 Suppose is a homogeneous elliptic polynomial of degree k and f is k-times continuously differentiable with compact support. Then we have the priori estimate
To prove this inequality, we note that the following relation between Fourier Bessel transform of Bf and holds:
is non-vanishing except at the origin and let be homogeneous of degree zero and indefinitely differentiable on the unit sphere. Then we get
We also have the following boundedness of the high order Riesz-Bessel transform.
Theorem 3.6 The high order Riesz-Bessel transforms generated by a Bessel-generalized shift operator are bounded operators from into itself for all
References
Stein EM, Weiss G: Introduction to Fourier Analysis on Euclidean Spaces. Princeton University Press, Princeton; 1971.
Muckenhoupt B, Stein EM: Classical expansions and their relation to conjugate harmonic functions. Trans. Am. Math. Soc. 1965, 118: 17-92.
Kipriyanov IA: Fourier Bessel transformations and imbedding theorems. Trudy Math. Inst. Steklov 1967, 89: 130-213. (in Russian)
Kipriyanov IA, Klyuchantsev MI: On singular integrals generated by the generalized shift operator II. Sib. Mat. Zh. 1970, 11: 1060-1083. (in Russian)
Aliev IA, Gadjiev AD: Weighted estimates for multidimensional singular integrals generated by the generalized shift operator. Mat. Sb. 1994,77(1):37-55. 10.1070/SM1994v077n01ABEH003428
Guliev VS: Sobolev theorems for B -Riesz potentials. Dokl. Akad. Nauk, Ross. Akad. Nauk 1998,358(4):450-451. (in Russian)
Aliev IA: On Riesz transformations generated by generalized shift operator. Izv. Akad. Nauk Azerb. SSR, Ser. Fiz.-Teh. Mat. Nauk 1987,8(1):7-13.
Ekincioglu I, Yıldırım H, Akın O: The mean value theorem for Laplacean-Bessel equation. II. In Invited Lecture Delivered at the Seventh International Colloquium on Differential Equations. Academic Publications, Plovdiv; 1996:29-37.
Ekincioglu I, Ozkın IK: On higher order Riesz transformations generated by generalized shift operator. Turk. J. Math. 1997, 21: 51-60.
Gadjiev AD, Guliev EV: Two weighted inequality for singular integrals in Lebesgue spaces associated with the Laplace-Bessel differential operator. Proc. A. Razmadze Math. Inst. 2005, 138: 1-15.
Levitan BM: Bessel function expansions in series and Fourier integrals. Usp. Mat. Nauk 1951,6(2):102-143. (in Russian)
Kipriyanov IA: Singular Elliptic Boundary Value Problems. Nauka, Moscow; 1997. (in Russian)
Kipriyanov IA: Boundary value problems for elliptic partial differential operators. Sov. Math. Dokl. 1970, 11: 1416-1419.
Cheng M: On a theorem of Nicolesco and generalized Laplace operators. Proc. Am. Math. Soc. 1951, 2: 77-86. 10.1090/S0002-9939-1951-0041292-X
Nicolesco, M: Les fonctions polyharmoniques. Actualitiés Sci. Ind. 4 (1936)
Pizetti P: Sul significato geometrico del secondo parametro differenziale di una funzione sopra una superficie qualunque. Rend. Lincei 1909, 18: 309-316.
Picone M: Nuovi indirizzi di ricerca teoria e nel calcolo soluzioni di talune equazioni lineari alle derivate parziali della fisica-matematica. Ann. Sc. Norm. Super. Pisa, Cl. Sci. 1936, 4: 213-288.
Kipriyanova, NI: Mean value theorems for polyharmonic equations. Non-classic problems. Math. Phys. Eq. NovoSibirsk, 81-85 (1984) (in Russian)
Kipriyanova, NI: The Mean Value Formula for Singular Differential Operator With Order Second. Differential Equations 121, 11 (1985)
Betancor JJ, Castro AJ, Curbelo J: Harmonic analysis operators associated with multidimensional Bessel operators. Proc. R. Soc. Edinb., Sect. A 2012,142(5):945-974. 10.1017/S0308210511000643
Levitan BM: The Theory of Generalized Translation Operators. Nauka, Moscow; 1973. (in Russian)
Guliev VS: Sobolev’s theorem for the anisotropic Riesz-Bessel potential in Morrey-Bessel spaces. Dokl. Akad. Nauk, Ross. Akad. Nauk 1999,367(2):155-156. (in Russian)
Guliev VS: Some properties of the anisotropic Riesz-Bessel potential. Anal. Math. 2000,26(2):99-118. 10.1023/A:1005632315360
Guliev VS, Garakhanova NN, Zeren Y: Pointwise and integral estimates for the Riesz B -potential in terms of B -maximal and B -fractionally maximal functions. Sib. Mat. Zh. 2008,49(6):1263-1279. (in Russian). Translation in Sib. Math. J. 49(6), 1008-1022 (2008)
Guliev VS, Garakhanova NN: The Sobolev-II’in theorem for the Riesz B -potential. Sib. Mat. Zh. 2009,50(1):63-74. (in Russian). Translation in Sib. Math. J. 50(1), 49-59 (2009)
Kipriyanov IA, Lyakhov LN: Multipliers of the mixed Fourier-Bessel transform. Dokl. Akad. Nauk, Ross. Akad. Nauk 1997,354(4):449-451. (in Russian)
Lyakhov LN: Multipliers of the mixed conversion of Fourier-Bessel. Proc. Steklov Inst. Math. 1997, 214: 234-249. (in Russian)
Lyakhov LN, Raykhelgauz LB:Singular heat equation with -Bessel operator. Fundamental solutions. Problems in mathematical analysis. No. 67. J. Math. Sci. (N.Y.) 2013,188(3):285-292. 10.1007/s10958-012-1127-2
Stempak K, Torrera JL: Higher Riesz transforms and imaginary powers associated to the harmonic oscillator. Acta Math. Hung. 2006, 111: 43-64. 10.1007/s10474-006-0033-9
Stein EM: Singular Integrals and Differentiability Properties of Functions. Princeton University Press, Princeton; 1970.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
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
Ekincioglu, I., Sayan, H.H. & Keskin, C. High order Riesz transforms and mean value formula for generalized translate operator. J Inequal Appl 2014, 148 (2014). https://doi.org/10.1186/1029-242X-2014-148
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2014-148