Skip to main content

Theory and Modern Applications

The finite continuous nonsymmetric Jacobi transform and applications

Abstract

In this paper we consider the differential difference operator

Y α , β = - z d d z + 2 ( α + β + 1 ) + ( α - β ) z 1 - z 2 - ( α + β + 1 ) 1 - τ 2 ,

where (τf)[z] = f[z-1] The eigenfunction of this operator equal to 1 at 1 is called nonsymmetric Jacobi function. We define the finite continuous nonsymmetric Jacobi transform as an extension of the nonsymmetric Fourier Jacobi series. The basic properties including the inversion formula for this transform are studied. We also derive a sampling expansion associated to Y α, β.

2010 Mathematics Subject Classification: 33C45, 3352, 94A20.

1 Introduction

The differential-difference operators play a prominent role in the theory of special functions and harmonic analysis. Dunkl, Heckman and in particular Cherednik it was next shown that there are related orthogonal systems of special functions which are not Weyl group invariant (see [13]), but are in a sense more simple, and from which the earlier Weyl group invariant special functions can be obtained by symmetrization. The specialization of these operators to the case of rank one has its own interest, because everything can be done there in a much more explicit way, and new results for special functions in one variable can be obtained. In the rank one case the Weyl group has order 2, and Weyl group symmetry turns down to a symmetry under the map t → -t or zz-1 (see [4]).

In this work we consider the differential-difference operator

Y α , β = - z d d z + 2 ( α + β + 1 ) + ( α - β ) z 1 - z 2 - ( α + β + 1 ) 1 - τ 2 ,
(1)

where

τ f z = f z - 1 .
(2)

After substitution of z = e-t, k1 = α - β , k 2 = β + 1 2 , the operator Yα, βbecomes

d f ( t ) d t + k 1 1 + e - t 1 - e - t + 2 k 2 1 + e - 2 t 1 - e - 2 t ( f ( t ) - ( s f ) ( t ) ) ,
(3)

where

( s f ) ( t ) = f ( - t ) .
(4)

Then the operator Yα, β, coincides with the Heckman's operator [3] (see also [5], (1,12)) in the case of root system BC1 and the operator Y α , - 1 2 coincides with Opdam operator corresponding to the root system A1.

Moreover, we take z = e-2, the operator 1 2 i Y α , β becomes (see [6, 7])

Λ α , β f ( θ ) = d f ( θ ) d θ + [ ( 2 α + 1 ) cot θ - ( 2 β + 1 ) tan θ ] f ( θ ) - ( s f ) ( θ ) 2 .
(5)

The outline of this paper is as follow: In section 2, we show that the unique polynomials eigenfunction of the operator Y α, β equal to 1 at 1 is related to Jacobi polynomials and to their derivatives. We call these the nonsymmetric Jacobi polynomials. We establish also a new orthogonality relations for these polynomials and we give integral representation for the nonsymmetric Jacobi function. In section 3, we study the finite continuous nonsymmetric Jacobi transform and we give for this transform an inversion formula. In section 4, sampling theorem associated with the differential-difference operator is investigated.

2 The nonsymmetric Jacobi function

2.1 The nonsymmetric Jacobi polynomials

We note the Laurent polynomials f in z by f[z]. Symmetric Laurent polynomials f [ z ] = k = - n n c k z k (where c k = c -k ) are related to ordinary polynomials f (x) in x= 1 2 ( z + z - 1 ) by f ( 1 2 ( z + z - 1 ) ) =f [ z ] . Write

f [ z ] = f 1 [ z ] + ( z - z - 1 ) f 2 [ z ] ,
(6)

where

f 1 [ z ] = f [ z ] + f [ z - 1 ] 2  and  f 2 [ z ] = f [ z ] - f [ z - 1 ] z - z - 1 ,

are symmetric Laurent polynomials. Consider Jacobi polynomials as normalized symmetric Laurent polynomials:

R n α , β [ z ] = R n α , β 1 2 ( z + z - 1 ) = n ! ( α + 1 ) n P n ( α , β ) ( ( z + z - 1 ) / 2 ) ,
(7)

where P n ( α , β ) ( ( z + z - 1 ) / 2 ) , is the Jacobi polynomials given by (see [8]))

P n ( α , β ) ( ( z + z - 1 ) / 2 ) = ( α + 1 ) n n ! 2 F 1 ( - n , n + α + β + 1 ; α + 1 ; 1 2 ( 1 - 1 2 ( z + z - 1 ) ) )

For α, β > -1 these polynomials satisfy the orthogonality relations

< R m α , β , R n α , β > α , β = 0 π R m α , β ( cos θ ) R n α , β ( cos θ ) A α , β ( θ ) d θ = h n α , β δ m , n ,
(8)

where

A α , β ( θ ) = sin 2 α + 1 θ / 2 cos 2 β + 1 θ / 2 ,
(9)
h n α , β = Γ 2 ( α + 1 ) Γ ( n + 1 ) Γ ( n + β + 1 ) ( 2 n + α + β + 1 ) Γ ( n + α + 1 ) Γ ( n + α + β + 1 ) , n = 1 , 2 , , Γ ( α + 1 ) Γ ( β + 1 ) Γ ( α + β + 2 ) , n = 0 .
(10)

From the differential equation (2.6) in [9] we deduce that the Jacobi R n α , β z is the unique solution of the problem

( L α , β ) f [ z ] = n ( n + α + β + 1 ) f [ z ] , f [ 1 ] = 1 f [ 1 ] = 0 ,
(11)

where

L α , β = z d d z 2 - 2 ( α + β + 1 ) + ( α - β ) z 1 - z 2 - ( α + β + 1 ) z d d z .
(12)

Theorem 1. For n the differential-difference equation

( Y α , β ) f [ z ] = λ n f [ z ] , f [ 1 ] = 1 .
(13)

has a unique solution λ n ( α , β ) z given by

λ n ( α , β ) [ z ] = R | n | ( α , β ) [ z ] - z λ n d d z R | n | ( α , β ) [ z ] i f n 0 , 1 i f n = 0 .
(14)

where

λ n = λ n ( α , β ) = s g n ( n ) | n | ( | n | + α + β + 1 ) .

Proof. From (6), we can write

Y α , β = z ( z - z - 1 ) f 2 + 2 ( α + β + 1 ) + ( α - β ) z 1 - z 2 - ( α + β + 1 ) ( z - z - 1 ) f 2 - z f 1 .

Then the following equation

Y α , β f [ z ] = λ n f [ z ] ,

is equivalent to the system

z ( z - z - 1 ) f 2 + 2 ( α + β + 1 ) + ( α - β ) z 1 - z 2 - ( α + β + 1 ) ( z - z - 1 ) f 2 = λ n f 1 , - z f 1 = λ n ( z - z - 1 ) f 2 .

Hence,

L α , β f 1 = | n | ( | n | + α + β + 1 ) f 1 , - z f 1 = λ n ( z - z - 1 ) f 2 .

Then the solution (14) is now immediate. ■

The Laurent polynomials λ n ( α , β ) z are called nonsymmetric Jacobi polynomials. For |z| = 1, we have

- λ n ( α , β ) [ z ] = λ - n ( α , β ) [ z ] = λ n ( α , β ) [ z ̄ ] = λ n ( α , β ) [ z ] . ¯

The following formula

z d d z R n α , β [ z ] = n ( n + α + β + 1 ) 2 ( α + 1 ) ( z - z - 1 ) R n - 1 α + 1 , β + 1 [ z ] ,
(15)

leads

λ n ( α , β ) [ z ] = R | n | ( α , β ) [ z ] - λ n 2 ( α + 1 ) ( z - z - 1 ) R | n | - 1 ( α + 1 , β + 1 ) [ z ] .
(16)

In particular, if α=β=- 1 2 , we obtain

λ n - 1 2 , - 1 2 [ z ] = z n .

2.2 Orthogonality relations

Consider < .,. > α, β , defined in (8), as a symmetric bilinear form on the space of symmetric Laurent polynomials. With the identification f ↔ (f1, f2) between a Laurent polynomial f and a pair of symmetric Laurent polynomials (see (6)) we look for a symmetric bilinear form on the space of Laurent polynomials of the form

< g , h > = < g 1 , g 2 ) , ( h 1 , h 2 ) > = < g 1 , h 1 > α , β + C < g 2 , h 2 > α + 1 , β + 1 ,
(17)

such that the nonsymmetric Jacobi polynomials λ n ( α , β ) ( n ) given by(16) are orthogonal with respect to this form, i.e.

< λ m α , β , λ n α , β > = 0 ( m n ) .
(18)

By (8) and (16) the orthogonality certainly holds if |n||m|. Thus we have to determine C in (17) such that for n = 1, 2,...,

< λ n α , β , λ - n α , β > = 0 .

By (17) this turns down to

C = 4 ( α + 1 ) 2 λ n 2 h | n | α , β h | n - 1 | α + 1 , β + 1

A priori, it is not clear that C is independent of n. However, from(10) we compute

h | n | α , β h | n - 1 | α + 1 , β + 1 = | n | ( | n | + α + β + 1 ) ( α + 1 ) 2 .

Thus C is independent of n and the form (17) becomes more explicitly

< g , h > = < g 1 , g 2 ) , ( h 1 , h 2 ) > = < g 1 , h 1 > α , β + 4 < g 2 , h 2 > α + 1 , β + 1 .
(19)

Here <.,. > α, β is defined by in (8). This form is positive definite if α > -1 and β > -1. The inner product (17) can also be written in terms of an integral with positive weight function. First observe that (6) implies that

f - x ± i 1 - x 2 2 = f 1 ( 1 - 2 x 2 ) ± 4 i x 1 - x 2 f 2 ( 1 - 2 x 2 ) ( x [ - 1 , 1 ] ) .
(20)

Hence, for Laurent polynomials g, h we obtain from (17) and (20) that

< g , h > = - 1 1 g - x ± i 1 - x 2 2 h - x ± i 1 - x 2 2 ¯ | x | 2 α + 1 ( 1 - x 2 ) β d x
(21)
= - π π g ( e i θ ) h ( e i θ ) ¯ A α , β ( | θ | ) d θ ,
(22)

where A α, β (θ), is defined in (9). So the orthogonality of the Laurent polynomials λ n α , β with respect to the inner product (22) can be rewritten as the following orthogonality for the Laurent polynomials λ n α , β given by (16):

- 1 1 λ n α , β - ( x + i 1 - x 2 ) 2 λ m α , β - ( x + i 1 - x 2 ) 2 ¯ | x | 2 α + 1 ( 1 - x 2 ) β d x = 0 ( m n ) ,
(23)

or equivalently,

- π π λ n α , β [ e i θ ] λ m α , β [ e i θ ] ¯ A α , β ( | θ | ) d θ = 0 ( m n ) .
(24)

2.3 Extension of the nonsymmetric Jacobi polynomials

The mapping n R n α , β z , extends to a holomorphic function on defined by the same formula with n replaced by μ - ρ (see [9]). The function R μ - ρ ( α , β ) z is an symmetric entire function in μ, satisfying the relation

R μ - p ( α , β ) [ z ] = R - μ - p ( α , β ) [ z ] , p = α + β + 1 2 .

In the next theorem we give a new integral representation for the Jacobi function.

Theorem 2. For α>- 1 2 ,β>-1and λ, μ such that μ2 = λ2 +ρ2, the function R μ - ρ ( α , β ) ( cos θ ) has the Laplace integral representation

R μ ( α , β ) ( cos θ ) = 0 θ K ( θ , ϕ ) cos ( λ ϕ ) d ϕ ,

with

K ( θ , ϕ ) = K o ( θ , ϕ ) + ϕ θ K o ( θ , φ ) φ J 0 ( ρ φ 2 - ϕ 2 ) d φ
(25)

and

K o ( θ , ϕ ) = 2 α - 1 2 Γ ( α + 1 ) π 1 2 Γ α + 1 2 sin θ 2 - 2 α cos θ 2 - β - 1 2 cos ϕ 2 - cos θ 2 α - 1 2 × 2 F 1 1 2 + β , 1 2 - β ; α + 1 2 ; cos θ 2 - cos ϕ 2 2 cos θ 2 .

Proof. We start with the integral representation in [9]

R μ ( α , β ) ( cos θ ) = 0 θ K o ( θ , ϕ ) cos ( μ ϕ ) d ϕ ,
(26)

and from [10], we have the integral representation

cos ( μ ϕ ) = cos ( λ ϕ ) + 0 ϕ cos ( λ φ ) ϕ J 0 p ϕ 2 - φ 2 d φ
(27)

where J0 is the Bessel function of first kind and index zero. If we substitute the expression (26) in (27) and a simple calculation show the result. ■

Lemma 1. The operator Y α, βsatisfies

Y α , β τ = - τ Y α , β , [ z , Y α , β ] = z + 1 2 { β - α + ( α + β + 1 ) ( z + z - 1 ) } τ

and

( Y α , β ) 2 = ( z d d z ) 2 - { 2 p + ( α - β ) z 1 - z 2 - p } z d d z - z { 2 p + ( α - β ) z 1 - z 2 } 1 - τ 2 ,

where

[ A , B ] : = A B - B A .

We can use a similar argument to that used in Theorem 2.1 to show that: For λ, μ , such that μ2 = λ2 + ρ2, the differential-difference problem

Y α , β f [ z ] = λ f [ z ] , f [ 1 ] = 1 .
(28)

has a unique solution λ ( α , β ) z given by

λ ( α , β ) [ z ] = R μ ( α , β ) [ z ] - z λ d d z R μ ( α , β ) [ z ] if λ 0 , 1 if λ = 0 ,
(29)

we call the function λ ( α , β ) z , the nonsymmetric Jacobi function. For λ= λ n ( α , β ) =sgn ( n ) | n | ( | n | + 2 ρ ) the nonsymmetric Jacobi function λ ( α , β ) z reduces to the nonsymmetric Jacobi polynomials λ n ( α , β ) z . In the next theorem we give an integral representation for the nonsymmetric Jacobi function.

Theorem 3. For α>- 1 2 ,β>-1and λ , the function λ ( α , β ) e i θ has the Laplace integral representation

λ ( α , β ) [ e i θ ] = - | θ | | θ | K ( θ , ϕ ) e i λ ϕ d ϕ ,
(30)

where K (θ, ϕ) is a function on (-π, π), continuous on (-|θ|, |θ|), supported in [-|θ|, |θ|] and for |ϕ | < |θ|, we have

K ( θ , ϕ ) = 1 2 K ( | θ | , ϕ ) - s g n ( θ ) 2 A α , β ( | θ | ) ϕ K ( φ , ϕ ) A α , β ( | φ | ) d φ

where K ( θ , ϕ ) is given by relation (25).

3 The finite continuous nonsymmetric Jacobi transform

The finite continuous nonsymmetric Jacobi transform is defined by [9]

F ( α , β ) f ( μ ) = 0 π f ( θ ) R μ ( α , β ) ( cos θ ) A α , β ( θ ) d θ , μ , α , β > - 1 .
(31)

Inversion formula for the finite continuous nonsymmetric Jacobi transform (1.1) has been studied in many papers (see, [11, 12, 9, 13]). In particular, it was inverted in the special Gegenbauer cases α = β = integer ≥ 0 by MacRobert. Butzer, Stens and Wehrens [11] considered the Legendre case and pointed the relationship with sampling theory. Subsequent Walter and Zayed [13] found similar results for values such that α + β is a non-negative integer. The interest in this transform was revived by the work of T.H. Koornwinder and G. G. Walter [9], who remove the restriction on α and β , requiring only that α > -1 and β > -1 In this section we define the finite continuous nonsymmetric Jacobi transform and study some of its basic properties. The idea is to replace the nonsymmetric Jacobi polynomials in the Fourier series by the nonsymmetric Jacobi function. Let f be a function on (-π, π) such that

f ^ ( α , β ) ( λ ) = - π π f ( θ ) λ ( α , β ) [ e i θ ] ¯ A α , β ( | θ | ) d θ
(32)

is well-defined for all λ . Then f ^ ( α , β ) ( λ ) is called the finite continuous nonsymmetric Jacobi transform of f . Recall that each function f defined in (-π, π) may be decomposed uniquely into the sum f = f e + f o , where the even part f e is defined by f e (x) = (f(x) + f(-x))/2 and the odd part f o by f o = (f(x) - f (-x))/2.

Proposition 1. For all λ, μ such that μ2 = λ2 + ρ2, we have

f ^ ( α , β ) ( λ ) = 2 F ( α , β ) ( f e ) ( μ ) + 2 i λ F ( α , β ) ( J f 0 ) ( μ )
(33)
= 2 F ( α , β ) ( f e ) ( μ ) + 4 i λ α + 1 F ( α + 1 , β + 1 ) f 0 sin ( . ) ( μ )
(34)

where the operator J is given by

J f ( θ ) = - π θ f ( ϑ ) d ϑ .

Proof. Let f = f e + f o , for λ , we have

f ^ ( α , β ) ( λ ) = 2 F ( α , β ) ( f e ) ( μ ) + 2 i λ 0 π f 0 ( θ ) d d θ R μ - p ( α , β ) ( cos θ ) A α , β ( θ ) d θ ,

with

μ 2 = λ 2 + ρ 2 .

By integration by parts, we obtain

0 π f 0 ( θ ) d d θ R μ - p ( α , β ) ( cos θ ) A α , β ( θ ) d θ = - 0 π R μ - p ( α , β ) ( cos θ ) ( f 0 A α , β ) ( θ ) d θ = - F ( α , β ) ( Δ α , β J f 0 ) ( μ ) .

We deduce (33) from the fact that

F ( α , β ) ( Δ α , β J f 0 ) ( μ ) = - λ 2 F ( α , β ) ( J f 0 ) ( μ ) ,

where

Δ α , β ( u ) ( θ ) = d d θ ( A α , β ( θ ) d d θ ( u ( θ ) ) ) .

From the formula (15) we have

A α , β ( θ ) R μ - p ( α , β ) ( cos θ ) = 2 α + 1 d d θ [ A α + 1 , β + 1 ( θ ) sin θ R μ - p - 1 ( α + 1 , β + 1 ) ( cos θ ) ] .

Hence

F ( α , β ) ( Δ α , β J f 0 ) ( μ ) = - 2 α + 1 F ( α + 1 , β + 1 ) f 0 sin ( . ) ( μ ) .

This establish (34). ■

In the next theorem we derive an inversion formula for the finite continuous nonsymmetric Jacobi transform.

Theorem 4. Let f C2pwith p>ρ+ 3 2 , we have

f ( θ ) = - f ^ ( α , β ) ( λ ) λ ( β , α ) [ e i θ ] ¯ h ̃ ( α , β ) λ 2 + p 2 λ 2 + p 2 | λ | d λ .

where

h ̃ ( α , β ) ( μ ) = 4 π sin ( 2 π μ ) Γ ( α + 1 ) Γ ( β + 1 ) Γ ( 1 - ρ + μ ) Γ ( 1 - ρ - μ ) i f 2 ρ , i f 2 ρ 2 μ ( μ - p ) 2 ρ cos π ( μ - p ) μ - ρ i f 2 ρ .
(35)

Proof. Let f = f e + f o , then we have

- f ^ ( α , β ) ( λ ) λ ( β , α ) [ e i θ ] ¯ h ̃ ( α , β ) λ 2 + p 2 | λ | d λ 2 λ 2 + p 2 = - F ( α , β ) ( f e ) ( μ ) R μ - p ( α , β ) ( - cos θ ) h ̃ ( α , β ) ( μ ) d μ + d d θ - F ( α , β ) ( J f 0 ) ( μ ) R μ - p ( α , β ) ( - cos θ ) h ̃ ( α , β ) ( μ ) d μ .

In the other hand it is easy to see that f e , J f o C2pwith p > ρ + 3 2 and by Theorem 4.1 of [9], we get

f e ( θ ) = - F ( α , β ) ( f e ) ( μ ) R μ - p ( α , β ) ( - cos θ ) h ̃ ( α , β ) ( μ ) d μ , 0 < θ < π .

and

J f 0 ( θ ) = - F ( α , β ) ( J f 0 ) ( μ ) R μ - p ( α , β ) ( - cos θ ) h ̃ ( α , β ) ( μ ) d μ , 0 < θ < π .

so that

- f ^ ( α , β ) ( λ ) λ ( β , α ) [ e i θ ] ¯ h ̃ ( α , β ) λ 2 + p 2 | λ | d λ 2 λ 2 + ρ 2 = f ( θ ) .

4 Sampling theorem

The well-known Whittaker-Shannon-Kotelnikov theorem says that if

f ( t ) = - π π g ( x ) e i t x d x
(36)

and if g L2 ((-π, π)), then

f ( t ) = n = - f ( n ) sin π ( t - n ) π ( t - n ) .

This theorem has been generalized in various directions (see [11, 1416]). In this section we established a sampling theorem associated to the differential-difference operator Yα, β. We put

S n ( ρ ) ( λ ) = π ( α , β ) ( n ) - π π λ ( α , β ) [ e i θ ] λ n ( α , β ) [ e i θ ] ¯ A α , β ( | θ | ) d θ ,
(37)

where

( π ( α , β ) ( n ) ) - 1 = - π π | λ n ( α , β ) [ e i θ ] | 2 A α , β ( | θ | ) d θ .
(38)

Lemma 2.

S n ( ρ ) ( λ ) = λ ( λ + λ n ) ( 2 | n | + 2 ρ ) Γ ( | n | + 2 ρ ) π Γ ( | n | + 1 ) × Γ ( μ - ρ ) sin π ( μ - ρ - | n | ) Γ ( μ + ρ + 1 ) ( μ 2 - ( ρ + | n | ) 2 ) .

Proof. From the relation

d d θ R μ - p α , β cos θ = p 2 - μ 2 2 α + 1 sin θ R μ - p - 1 α + 1 , β + 1 cos θ

and

A α + 1 , β + 1 θ = 1 4 sin 2 θ A α , β θ

we have

- π λ π λ ( α , β ) e i θ λ n β , α e i θ ¯ A α , β θ d θ = 2 0 π R μ - p α , β cos θ R | n | ( α , β ) cos θ A α , β θ d θ + 2 λ λ n ( α + 1 ) 2 × 0 π R μ - p - 1 α + 1 , β + 1 cos θ R | n | - 1 ( α + 1 , β + 1 ) cos θ A α + 1 , β + 1 θ d θ .
(39)

and by formula (2.9) in [13]the second member of the last equality becomes

2 Γ 2 α + 1 Γ n + β + 1 π Γ n + α + 1 Γ μ - p + 1 sin π μ - p - n Γ μ + p μ 2 - p + n 2 + 2 λ λ n α + 1 2 × 2 Γ 2 α + 2 Γ n + β + 1 π Γ n + α + 1 Γ μ - p sin π μ - p - n Γ μ + p + 1 μ 2 - p + n 2

and after simplification we obtain

2 1 + λ - 1 λ n Γ 2 α + 1 Γ n + β + 1 π Γ n + α + 1 Γ μ - p + 1 sin π μ - p - n Γ μ + p μ 2 - p + n 2 .

We have    ■

S n ( p ) λ m = δ n , m , n , m .

Proposition 2. Let f L2 ((-π, π), A α, β (|θ|)) and let f be once continuously differentiable on (-π, π). Then

f θ = n = - f ^ α , β λ n π α , β n λ n α , β e i θ , - π < θ < π ,

uniformly on compact subsets of (-π, π).

Proof. Let f = f e + f o . The Proposition 3: 1 give the following equality

n = - f ^ α , β λ n π α , β n λ n α , β e i θ = n = 0 h n α , β F ( α , β ) f e n R n α , β cos θ + sin θ n = 1 n n + 2 p α + 1 2 h n ( α , β ) F ( α + 1 , β + 1 ) f 0 sin ( . ) n - 1 R n - 1 ( α + 1 , β + 1 ) cos θ .

Using the relation

n + 1 n + 1 + 2 p α + 1 2 h n + 1 α , β = h n ( α + 1 , β + 1 ) , f e θ = n = 0 h n α , β F α , β f e n R n ( α , β ) cos θ

and

f 0 θ sin θ = n = 1 n n + 2 p α + 1 2 h n α , β F ( α + 1 , β + 1 ) f 0 sin ( . ) n - 1 R n - 1 ( α + 1 , β + 1 ) cos θ .

The result follows from Lemma 3.1 in [9]. ■

The following theorem gives a series representation for the finite continuous nonsymmetric Jacobi transform.

Theorem 5. Let f C2p, where 2p > 2 + max (2 α + 1 , ρ , α + 1 2 ) . Then

f ^ ( α , β ) λ = n = - f ^ ( α , β ) λ n S n ( ρ ) λ

with absolute convergence, uniform on strips of finite width in around .

If we substitute the expression (30) in (3: 2) we obtain

f ^ ( α , β ) λ = - π π V f θ e - i λ θ d θ ,
(40)

where

V f θ = π | ϕ | | θ | K θ , ϕ f ϕ A α , β ϕ d ϕ .

Thus, we can expand the function f ^ ( α , β ) λ with the aid of Whittaker-Shannon-Kotel'nikov theorem.

References

  1. Dunkl CF: Differential-Difference operator associated to reflection groups, Trans. Amer Math Soc 1989, 311(1):167–183. 10.1090/S0002-9947-1989-0951883-8

    Article  MathSciNet  Google Scholar 

  2. Cherednik I: Double affine Hecke algebras, Knizhnik-Zamolodchikov equations, and Macdonald's operators, Int. Math Res Not 1992, 9: 171–180.

    Article  MathSciNet  Google Scholar 

  3. Heckman GJ: An elementary approach to the hypergeometric shift operators of Opdam, Invent . Math 1991, 103: 341–350.

    MathSciNet  Google Scholar 

  4. Koornwinder TH, Bouzeffour F: Nonsymmetric Askey-Wilson polynomials as vector-valued polynomials, Applicable Analysis. 2010, 90: 731746.

    Google Scholar 

  5. Heckman GJ, Dunkl operators: Séminaire Bourbaki, Vol. 1996/97 Astérisque. 1997, 245: 223–246. Exp. No. 828, 4

    Google Scholar 

  6. Chouchene F: Harmonic analysis associated with the Jacobi-Dunkl operator on ] - π/ 2, π/ 2[. J Comput Appl Math 2005, 178: 75–89. 10.1016/j.cam.2004.02.025

    Article  MathSciNet  Google Scholar 

  7. Chouchene F, Mili M, Trimeche K: Positivity of the intertwining operator and harmonic analysis associated with the Jacobi-Dunkl operator on R. Anal Appl 2003, 1(4):387–412. 10.1142/S0219530503000247

    Article  MathSciNet  Google Scholar 

  8. Koekoek R, Swarttouw RF:The Askey-scheme of hypergeometric orthogonal polynomials and its q-analogue, Report 98–17, Faculty of Technical Mathematics and Informatics, Delft University of Technology. 1998. [http://aw.twi.tudelft.nl/koekoek/askey]

    Google Scholar 

  9. Koornwinder TH, Walter GG: The finite continuous Jacobi transform and its inverse. J Approx Theory 1990, 60: 83–100. 10.1016/0021-9045(90)90075-2

    Article  MathSciNet  Google Scholar 

  10. Thyssen M: Sur certain opérateurs de transmutation particuliers, Mem. Soc Sci Liège 1961, 6: 7–32.

    MathSciNet  Google Scholar 

  11. Butzer PL, Steins RL, Wehrens M: The continuous legendre transform, its inverse transform, and applications, Internat. J Math Sci 1980, 3: 47–67. 10.1155/S016117128000004X

    Google Scholar 

  12. Deeba EY, Koh EL: The continuous Jacobi transform, Internat. J Math and Math Sci 1983, 6: 145–160.

    Article  MathSciNet  Google Scholar 

  13. Walter GG, Zayed AI: The continuous ( α, β )-Jacobi transform and its inverse when α + β + 1 is a positive integer, Trans. AMS 1987., 304:

    Google Scholar 

  14. Abreu Luis Daniel, Bouzeffour Fethi: A Paley-Wiener theorem for the Askey-Wilson function transform, Proc. Amer Math Soc 2010, 138: 2853–2862. 10.1090/S0002-9939-10-10327-X

    Article  MathSciNet  Google Scholar 

  15. Bouzeffour F: A q -sampling theorem and product formula for continuous q -Jacobi functions, Proc. Amer Math Soc 2007, 135: 2131–2139. MR 2299491 (2008k:33055) 10.1090/S0002-9939-07-08717-5

    Article  MathSciNet  Google Scholar 

  16. Bouzeffour F: A Whittaker-Shannon-Kotel'nikov sampling theorem related to the Askey-Wilson functions. J Nonlinear Math Phys 2007, 14(3):367–380. MR 2350096 (2008h:94031) 10.2991/jnmp.2007.14.3.6

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

This research is supported by NPST Program of King Saud University, project number 10-MAT1293-02.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Fethi Bouzaffour.

Additional information

Competing interests

The author declares that they have no competing interests.

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.

Reprints and permissions

About this article

Cite this article

Bouzaffour, F. The finite continuous nonsymmetric Jacobi transform and applications. Adv Differ Equ 2012, 55 (2012). https://doi.org/10.1186/1687-1847-2012-55

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2012-55

Keywords