Abstract
The aim of this work is to establish in great detail The q-Fourier analysis related to the q-cosine. The wise reader will note that the considered q-cosine coincides with the one given by T.H. Koornwinder and S.F. Swarttouw. Through the q-cosine product formula, we define and analyze the properties of the q-even translation and the q-convolution. Adopting the Titchmarsh approach, we study the q-cosine Fourier transform and its inverse formula.
The second theme of this paper is an application of the q-Fourier analysis developed earlier. We extend the heat representation theory inaugurated by P.C. Rosenbloom and D.V. Widder to the q-analogue. We construct the q-solution source, the q-heat polynomials and solve the q-analytic Cauchy problem.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
During the last years, an intensive work was founded about the so-called q-basic theory. Taking account of the well-known Ramanujan works shown at the beginning of this century by Jackson ([9, 10]), many authors such as Askey, Gasper, Ismail, Rogers, Andrew, Koornwinder, and others (see references) have recently developed this topic.
The present article is devoted to the study of the q-analogue of the Fourier transforms and to showing how it plays a central role in solving the q-heat equation associated to the second q-derivative operator. The method used here differs from those given by T.H. Koornwinder and R.F. Swarttouw, who discovered a q-analogue of Hankel’s Fourier–Bessel via some q-analogue orthogonality relations. We note that Ph. Feinsilver [4] gave a q-Harmonic Analysis for a q-Laplace transform with inversion formula.
Without entering into a dilemma through the analysis presented here, it seems that the point of view of T.H. Koornwinder and R.F. Swarttouw [12] is more suitable for harmonic analysis. We take as definition of the q-cosine the one given by the previous authors with a simple change and we prefer to write it as a series of functions denoted as b n (x;q 2). This q-cosine appears as an eigenfunction of the operator Δ q . Owing to a nice paper [12], we give a product formula written with the q-Jackson integral and we study the q-translation and the q-convolution. Next we define the q-analogue of the cosine Fourier transform with the purpose to find the transformation inverse. To this end, we prove the equivalent of the so-called Riemann–Lebesgue Lemma and discover that the Titchmarsh approach holds [15].
A motivation behind this work is to state some result about the q-heat equation associated to Δ q operator. We attempt to extend the heat representation theory studied in many cases ([5, 7, 14], etc.). We define the q-heat polynomials and find that they are linked to the q-Hermite polynomials [13] and constitute with the q-associated functions a biorthogonal system. We conclude by solving the q-analytic Cauchy problem related to the q-heat equation.
2 Notations and preliminaries
We begin by recalling some q-elements of quantum analysis adapting the notation used in the book of Gasper and Rahman [6]. Let a and q be real numbers such that 0<q<1, the q-shift factorial is defined by
A basic hypergeometric series is
A function f is q-regular at zero if lim n→∞ f(xq n)=f(0) exists and is independent of x.
The q-derivative D q f of a function f is defined by
The q-derivative at zero is defined by
if it exists and does not depend on x.
We introduce the set
The q-integral of Jackson is defined by
The q-integration by parts is given for suitable functions f and g by
The q-analogue of the Gamma function is defined as
which tends to Γ(x) when q tends to 1−.
3 q-Trigonometric functions
We define the q-cosine as
where we have put
In the same way, the q-sine is given by
with
These q-trigonometric functions differ and should not be confused with the functions cos q and sin q considered in [6, p. 23]; but coincide with the one given in [12] and [15] with a minor change of variable. Furthermore, we have
Proposition 3.1
The following statements hold:
-
1.
$$b_{n} \bigl(0,q^{2} \bigr)=\delta_{n,0},\qquad \varDelta_{q}b_{n} \bigl(x;q^{2} \bigr)=b_{n-1}\bigl(x;q^{2} \bigr),\quad n\geq1; $$
-
2.
$$\bigl \vert b_{n} \bigl(x;q^{2} \bigr) \bigr \vert \leq \frac{x^{2n}}{ ( 2n ) !}, $$
where
Proof
We only prove Part 2 since Part 1 is deduced from the definition of Δ q .
The coefficients b n (1;q 2), defined by (6), can be written as
where we have put q=e −t, t>0.
Since the functions
decrease on ]0,∞[, we obtain
□
As a consequence of the previous proposition, we can show that for λ∈ℂ the function
is the unique analytic solution of the q-differential equation
with
Proposition 3.2
For x∈ℝ q and \(\frac{\operatorname{Log}(1-q)}{\operatorname{Log}(q)}\in\mathbb{Z}\), we have
-
1.
$$\bigl \vert \cos \bigl(x,q^{2} \bigr) \bigr \vert \leq \frac{1}{(q;q^{2})_{\infty}^{2}}; $$
-
2.
$$\lim_{x\rightarrow\infty}\cos \bigl(x,q^{2} \bigr)=0; $$
-
3.
$$\bigl \vert \sin \bigl(x,q^{2} \bigr) \bigr \vert \leq \frac{1}{(q;q^{2})_{\infty}^{2}}; $$
-
4.
$$\lim _{x\rightarrow\infty}\sin \bigl(x,q^{2} \bigr)=0. $$
Proof
To prove Parts 1 and 2, we use the properties of 1 ϕ 1 given in [12] and their connection to the q-cosine. We obtain
hence Parts 1 and 2 follow. A similar argument shows Parts 3 and 4. □
Now we try to find a product formula for the q-cosine functions. We begin by proving the following result.
Proposition 3.3
For reals x and y, y≠0, we have
Note that this formula can be expressed in terms of 1 φ 1 as follows
Proof
To show (11) and (12), we begin by expanding the q-cosines in series absolutely and uniformly convergent on every compact of ℝ. From the product rule of series and the fact that
we obtain for y≠0
On the other hand, we have
We deduce (11) after the interchange of summation order. To prove (12), we write
with
In I, we make the change k−s into k and use the equality
to obtain
Now we make the change k+s into k in J and use the equalities
and
This identity is easily deduced from [11]. Then we obtain
We add these sums to find that (12) holds. □
Remark 3.4
(1) If we replace y by q y, x by q x, and assume the proposition the hypothesis, we obtain from (12) that the following integral representation holds
(2) The product formula (11) leads to
4 q-Translation and q-convolution
We define, for x and y in ℝ q , the measure
where δ u denotes the unit mass supported at u, and
Proposition 4.1
(1) For x and y in ℝ q , we have
(2) d q μ (x,y) is of bounded variation.
(3)
Proof
For n,m∈ℤ, the relation (2.3) from [12] leads to
We obtain Part 1 after the change s−n+m by s.
To prove Part 2, we suppose \(|{\frac{x}{y}}|\leq1\); from the formulas (2.4) in [12] we have
Finally, from (2.8) in [12], we can show that Part 3 is true. □
We introduce the q-translation which generalizes the even translation given by \({\frac{1}{2}}(\delta_{x+y}+\delta_{x-y})\).
Let f be a function with support in ℝ q , the q-translation is defined for x and y in ℝ q by
From the previous proposition and the q-product formula (12), we have
Proposition 4.2
Let f be a function with compact support in ℝ q . We have
-
(i)
$$T_{q,y}\cos \bigl( x;q^{2} \bigr) =\cos \bigl( x;q^{2} \bigr) \cos \bigl( y;q^{2} \bigr) . $$
-
(ii)
-
(iii)
-
(iv)
The function u(x,y)=T q,y f(x) is a solution of the problem
From the relation
we can write the q-translation of a function f as
and have in the limit when q tends to 1− the classical even translation cited before.
Now we denote by \(L_{q}^{1}(\mathbb{R}_{q})\) the space of functions f defined on ℝ q such that
Then we are able to define the q-convolution by
where f and g are two functions in \(L_{q}^{1}(\mathbb{R}_{q})\). We can show that this space is an algebra.
5 q-Analogue of Fourier-cosine
In this section, we suppose \(\frac{\operatorname{Log}(1-q)}{\operatorname{Log}(q)}\in\mathbb{Z}\). The q-analogue of Fourier transform is defined for λ∈ℝ q by
where f is a function in \(L_{q}^{1}(\mathbb{R}_{q})\).
This definition is the same (after a minor change) as that given by T.H. Koornwinder and R.F. Swarttouw (see [12]).
Proposition 5.1
For \(f, g\in L_{q}^{1}(\mathbb{R}_{q})\), the following properties hold:
-
(1)
$$ \bigl \vert \mathcal{F}_{q} ( f ) ( \lambda ) \bigr \vert \leq \frac{1}{ [ q ( 1-q ) ]^{\frac{1}{2} } ( q;q )_{\infty}} \Vert f\Vert_{1,q},\quad \lambda\in\mathbb{R}_{q}; $$(21)
-
(2)
$$ \mathcal{F}_{q} ( \mathcal{T}_{q,x}f ) ( \lambda ) =\cos \bigl(\lambda x;q^{2} \bigr)\mathcal{F}_{q} ( f ) ( \lambda ) ,\quad \lambda\in\mathbb{R}_{q};$$(22)
-
(3)
$$\mathcal{F}_{q}(f\star_{q}g)=\mathcal{F}_{q}(f) \mathcal{F}_{q}(g). $$
Proof
Part 1. The inequality (21) follows from Proposition 3.2 and the identity
Part 2 is a direct consequence of the q-product formula (12).
Part 3 is obtained after the exchange of the integration order and taking into account the invariability of the q-integral by the q-translation. □
Now we focus our attention on the inversion of the linear map \(\mathcal{F}_{q}\). We proceed by looking at the q-analogue of the Riemman–Lebesgue Lemma, the localization theorem, and we show that the Titchmarsh approach holds in the q-theory.
Proposition 5.2
Let f be a function in \(L_{q}^{1} ( \mathbb{R}_{q} ) \), then
Proof
To prove this, first we have from Proposition 3.2
And for λ∈ℝ q we have
so the result is true. □
Proposition 5.3
We have the identity
Proof
This is a consequence of (2.8) in [12]. □
Proposition 5.4
Let f:(0,∞)→ℂ satisfy the conditions:
-
(1)
\(f\in L_{q}^{1} ( \mathbb{R}_{q} )\),
-
(2)
For a∈ℝ q , there exists C(a)>0 such that
$$\bigl \vert f \bigl( aq^{k} \bigr) -f ( 0 ) \bigr \vert \leq C ( a ) q^{k},\quad k=0,1,2,\ldots . $$
Then
Proof
Indeed, the first hypothesis shows that for an arbitrary ε>0 we have for large q −N,N=0,1,… , that
and
The second hypothesis and Proposition 3.2 show that
Since from Proposition 3.2 we have that sin(λx;q 2) tends to zero as λ tends to ∞, the proposition is then a direct consequence. □
Theorem 5.5
(The q-cosine Fourier integral theorem)
If \(f\in L_{q}^{1} ( \mathbb{R}_{q} ) \) is such that for a∈ℝ q there exist positive constants C(a) such that
then
6 q-Heat equation and q-heat polynomials
In this section, the two q-analogues of the elementary exponential functions are crucial and they are defined by
and
These functions satisfy the identity
and have as limit, when q tends to 1−, the classical exponential function.
Now we purpose to give the q-analogue of the heat equation associated to the second derivative operator (even in x)
We consider as q-heat equation associated to the second q-derivative operator the partial q-difference equation
We take as the initial condition
6.1 q-Solution source
To find the solution source related to the q-heat equation, we apply the Fourier method with the adapted q-Fourier cosine studied before.
Putting
Eq. (28) becomes
and, taking into account conditions (29), we obtain
The problem consists in finding the function which has e(−λ 2 t;q 2) as its q-Fourier-cosine transform. For this end, we need the following lemma.
Lemma 6.1
For n=0,1,2,… and t>0, we have
Proof
From (26) we find
Secondly, the use of the well-known Ramanujan [8] identity
leads to the result after minor computation. □
Proposition 6.2
where
As an immediate consequence we are now able to define the q-source solution associated to the q-heat equation (28) by
In the same manner as in the classical heat equation theory, we put
with T y,q being the q-translation studied in Sect. 4.
Through this approach we show that the solution of the q-Cauchy problem (28) and (29) can been written in the form of
It is natural to ask how other properties such as the positivity of G(x,t;q 2) and the existence of the q-semigroup can be established.
6.2 q-Heat polynomials
Proposition 6.3
It is easy to see that, for x∈ℝ and t>0, the analytic function
is a solution of (28) and it has the expansion
where
with the functions b n being given by (6).
From Proposition 3.1 we deduce immediately the following properties:
We note that formula (34) can be inverted:
Proposition 6.4
The q-heat polynomials (34) possess the q-integral representation
-
(1)
$$ v_{2n}(x,t;q)={\int _{0}^{\infty}} G \bigl(x,y,t,q^{2} \bigr)b_{n} \bigl(y;q^{2} \bigr)\,d_{q}y. $$(36)
-
(2)
$$ b_{n} \bigl(x;q^{2} \bigr)={\int_{0}^{\infty}} G \bigl(x,y,t,q^{2} \bigr)v_{2n} \bigl(q^{-1/2}y,t;q^{-1} \bigr)\,d_{q}y. $$(37)
Proof
We have
and
□
In [14], the authors defined the so-called associated functions by the Appell transform. We extend this notion by defining for t>0 the q-associated functions of v 2n by
It is easy to see that
Proposition 6.5
(Biorthogonality)
For t>0 and n,m∈ℕ, we have
Proof
By (37), we have
Putting x=0, we obtain
□
6.3 Convergence of ∑ n≥0 α n v 2n (x,t;q)
Now we establish the following estimates that will be needed later
Lemma 6.6
For n=0,1,… and \(0< \frac{x_{0}^{2}}{t_{0}} <+\infty\), we have
Proof
Indeed, the first inequality is a consequence of b 0(1;q 2)=1 and the hypothesis, and the second follows from
□
Corollary 6.7
For n=0,1,… and \(0 < \frac{x_{0}^{2}}{t_{0}}< +\infty\), we have
where C is a constant depending on x 0 and t 0.
Lemma 6.8
For n=0,1,…,δ>0, and \(\vert \frac{x^{2}}{\delta ( 1+q ) }\vert <1\), we have
Proof
To show (40), we note that
and
For δ>0, and by using the fact that
we obtain
The inequalities
and
give the result. □
By the Stirling formula, we obtain
Corollary 6.9
For n=0,1,…,δ>0, and \(\vert \frac{x^{2}}{\delta ( 1+q ) }\vert <1\), we have
where K is a constant depending δ.
Theorem 6.10
Let (α n ) be a sequence of real or complex numbers such that
Then the series
converges in the strip
and converges uniformly in any region of this strip.
To prove the theorem, we adopt the same approach as in [14] by taking account of the q-equivalent estimation (41).
Remark
If we write u(x,t) as the sum of the previous series, then this function satisfies the q-heat equation (28) and
where the b n (x;q 2) is given by (6).
6.4 Analytic Cauchy problem related to the q-heat equation
Lemma 6.11
Under the hypothesis of Theorem 6.10 and putting
u(x;t) is an analytic function of two variables x and t in the strip S σ given by (42) and satisfies the q-heat equation (28). Furthermore, the coefficients α n are given by
Proof
To show this, we note that the theorem gives that u(x,t) is analytic in the whole strip S σ . Now for a fixed integer p the series
converges uniformly in any compact region of S σ . To prove (44), it suffices to see that for integers n and p we have
where δ n,p is the Kronecker symbol. □
Finally the following statement is established.
Theorem 6.12
Under the hypothesis of Lemma 6.11, the function u(x,t) given by (43) has the q-Maclaurin expansion
where
If for x∈ℝ and |t|<σ then function
satisfies the q-heat equation (28) with the coefficients β m,p given by (44), then u(x,t) can be extended to an analytic function in the strip S σ and we have
References
Andrews, G.E.: q-Series: Their Development and Application in Analysis, Number Theory, Combinatorics, Physics, and Computer Algebra. Regional Conference Series in Math., vol. 66. Amer. Math. Soc., Providence (1986)
Askey, R., Ismail, M.E.H.: A Generalization of Ultraspherical Polynomials. In: Erdos, P. (ed.) Studies in Pure Mathematics. Birkhäuser, Basel (1983)
Baley, W.N.: Generalized Hypergeometric Series. Cambridge University Press, Cambridge (1935). Reprinted by Hafner Publishing Company (1972)
Feinsilver, Ph.: Elements of q-harmonic analysis. J. Math. Anal. Appl. 141, 509–526 (1989)
Fitouhi, A.: Heat “polynomials” for a singular differential operator on (0,∞). Constr. Approx. 5, 241–270 (1989)
Gasper, G., Rahman, M.: Basic Hypergeometric Series. Encyclopedia of Mathematics and Its Applications, vol. 35. Cambridge University Press, Cambridge (1990)
Haimo, D.T.: Expansion of generalized heat polynomials and their appell transform. J. Math. Mech. 15, 735–758 (1966)
Ismail, M.E.H.: A simple proof of Ramanujan’s 1 ψ 1 sum. Proc. Am. Math. Soc. 63, 185–186 (1977)
Jackson, F.H.: On q-Functions and a Certain Difference Operator. Transactions of the Royal Society of London, vol. 46, pp. 253–281 (1908)
Jackson, F.H.: On a q-definite integrals. Q. J. Pure Appl. Math. 41, 193–203 (1910)
Koornwinder, T.H.: q-Special functions, a tutorial, Mathematical preprint series, Report 94-08, Univer. Amsterdam, The Netherlands
Koornwinder, T.H., Swarttouw, R.F.: On q-analogues of the Hankel and Fourier transform. Trans. Am. Math. Soc. 333, 445–461 (1992)
Moak, D.S.: The q-analogue of the Laguerre polynomials. J. Math. Anal. Appl. 81, 21–47 (1981)
Rosenbloom, P.C., Widder, D.V.: Expansions in terms of heat polynomials and associated functions. Trans. Amer. Math. Soc. 92, 220–266 (1959)
Swarttouw, R.F.: The Hahn–Exton q-Bessel function, Thesis
Titchmarsh, E.C.: Introduction to The Theory of Fourier Integrals, 2nd edn. Oxford University Press, Oxford (1937)
Open Access
This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
This research is supported by NPST Program of King Saud University, project number 10-MAT1293-02.
EDITORIAL NOTE: The article was accepted on 16 February, 2001, before the papers of the Ramanujan Journal were handled electronically. Unfortunately this article in its printed form was misplaced. The delay caused in publication is regretted.
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
Fitouhi, A., Bouzeffour, F. The q-cosine Fourier transform and the q-heat equation. Ramanujan J 28, 443–461 (2012). https://doi.org/10.1007/s11139-012-9412-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-012-9412-8