arxiv: v1 [math.ca] 18 Nov 2016

Transcription

1 BEURLING S THEOREM FOR THE CLIFFORD-FOURIER TRANSFORM arxiv: v1 [math.ca] 18 Nov 016 RIM JDAY AND JAMEL EL KAMEL Abstract. We give a generalization of Beurling s theorem for the Clifford-Fourier transform. Then, analogues of Hardy, Cowling-Price and Gelfand-Shilov theorems are obtained in Clifford analysis. Keywords: Clifford analysis; Clifford-Fourier transform; Uncertainty principles; Beurling s theorem. MSC (010): 4B10, 30G Introduction Uncertainty principle asserts that a function and its Fourier transform cannot both be sharply localized. In Euclidien spaces, many theorems are devoted to clarify it such as Beurling, Cowling and price, Hardy, Heisenberg.. Beurling theorem which is given by A. beurling [1] and proved by Hörmander [] is the the most relevant one: that it gives Hardy, Cowling-Price and Gelfand-Shilov theroems. Theorem 1.1. Let f L (R) be such that f(x) f(y) e x y dxdy <, then f = 0. R R This theorem is generalized by Bonami et al [3] by giving solutions in terms of Hermite functions. Theorem 1.. Let N 0. Assume f L ( ) satisfying f(x) f(y) dxdy <, (1+ x + y ) Ne x y then f(x) = P(x)e a x where P is a polynomial of degree < N m and a > 0. In 010, Kawazoe and Majjaoli provide Beurling theorem for the Dunkl transform [4]. Moreover, Parui and Pusti give an alternative proof similar of that one used in [3] for the Dunkl transform (see [5]). Our aim is to establish Beurling theorem for the Clifford-Fourier transform given by Brackx et al [6] and studied in [7, 8]. 1

2 R. JDAY, J. EL KAMEL This paper is organized as follows. In section, we recall Clifford algebra and some notations that will be usefull in the sequel. In section 3, we remind the Clifford- Fourier transform and its properties. In section 4, we prove Beurling theorem for the Clifford-Fourier transform. Section 5 contains other uncertainty principles in Clifford analysis : Hardy, Cowling and Price and Gelfand Shilov.. Notations and preliminaries Clifford algebra Cl 0,m over is defined as an algebra generated by the m - dimensional basis: (.1) {1,e 1,e,e 3,..,e m,e 1,...,e 1..m }, where the multiplication of vectors from this basis is governed by the rules: (.) { ei e j = e j e i, if i j; = 1, 1 i m. Clifford algebra Cl 0,m is decomposed as : (.3) Cl 0,m = m k=0 Clk 0,m, e i where Cl k 0,m = span{e i1...e ik,i 1 <.. < i k } A multivector x on the Clifford algebra can be presented by: (.4) x = A Jx A e A, where J := {0,1,..,m,1,..,1..m}, x A real number and e A belongs to the basis of Cl 0,m defined above. For each multivector x, the Clifford norm is: ( (.5) x c = A J x A Thus, a vector x in Cl 0,m can be identify with m (.6) x = x i e i, and it s norm is i=1 m (.7) x c = x i. We introduce the Dirac operator, Gamma operator and Laplace operator associated to a vector x respectively by: m (.8) x = e i xi ; i=1 i=1 )1.

3 BEURLING S THEOREM FOR THE CLIFFORD-FOURIER TRANSFORM 3 (.9) Γ x = j<k e j e k (x j xk x k xj ); (.10) c = m i. In the Clifford algebra, a vector x and the Dirac operator satisfies : i=1 (.11) x c = x and (.1) c = x. Theinnerproductandthewedgeproductoftwovectorsxandy aregivenrespectively by: m (.13) < x,y >:= x j y j = 1 (xy +yx); j=1 (.14) x y := j<k e j e k (x j y k x k y j ) = 1 (xy yx). Every function f : Cl 0,m can be written as : m (.15) f(x) = f 0 (x)+ e i f i (x)+ e i e j f ij (x)+..+e 1..e m f 1..m (x), i=1 i<j where f 0,f i,..,f 1..m all real-valued functions. We denote by : P k the space of homogeneous polynomials of degree k taking values in Cl 0,m, P the space of polynomials taking values in Cl 0,m, i.e P := R[x 1,...,x m ] Cl 0,m. M k := Ker x P k the space of spherical monogenics of degree k, B( ) Cl 0,m a class of integrable functions taking values in Cl 0,m and satisfying (.16) f B := (1+ y c ) m f(y) c dy <, L p ( ) Cl 0,m the space of integrable functions taking values in Cl 0,m such that ( )1 ( 1 )p p (.17) f p,c = f(x) p c dx p = (f A (x)) dx <, where J = {0,1,..,m,1,13,3..,1..m}, S( ) the Schwartz space of infinitely differentiable functions on which are rapidly decreasing as their derivatives. A J

4 4 R. JDAY, J. EL KAMEL 3. Clifford-Fourier Transform Definition 3.1. [8] The Clifford-Fourier transform is defined on B( ) Cl 0,m by (3.1) F ± (f)(y) = (π) m K ± (x,y)f(x)dx, where (3.) K ± (x,y) = e iπ Γy e i<x,y>. Lemma 3.1. [9] Let m be even. Then (3.3) K ± (x,y) c Ce x c y c, x,y, Theorem 3.. Let m be even and f B( ) Cl 0,m. Then, there exists a positive constant A such that (3.4) F ± (f)(y) c Ce y c 4 f B, y c > A (3.5) F ± (f)(y) c C(1+A) m f B, y c A Proof. Let k(y) = (1+ y c ) m e y c 4, y. Since lim y c k(y) = 0, there exists A > 0 such that for all y c > A Thus, it follows that k(y) c 1. (1+ y c ) m e y c 4, y c > A. Recall that the Clifford kernel [8] is written as : K (x,y) = K 0 (x,y)+ i<j e ij K ij (x,y), where K0 (x,y) and K ij (x,y) satisfyies We conclude. K0 (x,y) C(1+ x c ) m (1+ y c ) m K ij (x,y) C(1+ x c) m (1+ y c ) m. Theorem 3.3. [7] 1) The Clifford-Fourier transform is a continuous operator from S( ) Cl 0,m to S( ) Cl 0,m. In particular, when m even, we have F + F + = id S( ) Cl 0,m. ) The Clifford-Fourier transform extends from S( ) Cl 0,m to a continuous map on L ( ) Cl 0,m. In particular, when m even, we have F ± (f),c = f,c,

5 BEURLING S THEOREM FOR THE CLIFFORD-FOURIER TRANSFORM 5 for all f L ( ) Cl 0,m. Theorem 3.4. [9] Let a > 0 and P P k ( ). Then, there exists Q P k ( ) satisfying : (3.6) F ± (P(.)e a. c )(x) = Q(x)e x c 4a. Definition 3.. [8] Let m be even. The Clifford translation and the Clifford convolution for f,g S( ) are introduced respectively by (3.7) T y f(x) = (π) m K (ǫ,x)k (y,ǫ)f(f)(ǫ)dǫ, (3.8) f Cl g(x) = (π) m T y f(x)g(y)dy. Theorem 3.5. [8] Let f S( ) Cl 0,m i) For m =, T y f(x) = f(x y) ii) For m even and m >, we have T y f(x) = f 0 ( x y ), for radial function f on, f(x) = f 0 ( x ) with f 0 : R + R. Theorem 3.6. [8] Let f S( ) be radial function and g S( ) Cl 0,m. Then, In particular, we have F ± (f Cl g) = F ± (f)f ± (g). f Cl g = g Cl f 4. Beurling s theorem for the Clifford-Fourier transform In this section, we provide Beurling s theorem for the Clifford-Fourier transform. Lemma 4.1. Assume f L ( ) Cl 0,m satisfying f(x) c F ± (f)(y) c (4.1) dxdy <, R (1+ x m c + y c ) N e x c y c for some N 0. Then, f B( ) Cl 0,m and F ± (f) B( ) Cl 0,m. Proof. We may suppose f 0. Applying Fubini s theorem, we obtain for almost every y, f(x) c F ± (f)(y) c dx <. (1+ x c + y ) Ne x c y c Since f 0, then F ± (f) 0. Thus, there exists y 0 0 such that F ± (f)(y 0 ) 0 and f(x) c (4.) 0 c dx <. (1+ x c ) Ne x c y Using (4.) and the fact that for large x

6 6 R. JDAY, J. EL KAMEL it follows that e x c y 0 c (1+ x c ) N+m 1, (1+ x c ) m f(x) c dx <. Similarly, we get F ± (f) B( ) Cl 0,m. Theorem 4.. [10] Let φ be an entire function of order in the complex plane and let α ]0, π [. Assume that φ(z) is bounded by C(1+ z )N on the boundary of some angular sector {re iβ : r 0,β 0 β β 0 +α}. Then the same bound is valid inside the angular sector (when replacing C by N C). Theorem 4.3. Let m be even and N be a positive integer. Assume f L ( ) Cl 0,m such that f(x) c F ± (f)(y) c (4.3) dxdy <. R (1+ x m c + y c ) N e x c y c Then, f(x) = Q(x)e a x c. for some a > 0 and polynomial Q with degree less than N m. Proof. Step 1. Let g(x) = f Cl e. c (x). By lemma 4.1, we have f B( ) Cl 0,m. Thus, g B( ) Cl 0,m. Theorem 3.6 and theorem 3.4 yield (4.4) F ± (g)(x) = F ± (f)(x)f ± (e. c )(x) = F ± (f)(x)e x c. We will show that g satisfies the following assumptions : i) F ± (g)(y) c e y c dy <, ii) F ± (g)(y) c Ce y c 4, iii) g(x) c F ± (g)(x) c e x c y c dxdy < + R (1+ x m c + y c ) N 4i) x c R g(x) c F ± (g)(y) c e x c y c dxdy C(1+R) N.

7 BEURLING S THEOREM FOR THE CLIFFORD-FOURIER TRANSFORM 7 Since F(f) B( ) Cl 0,m, i) is a simple deduction from (4.4). Let s prove ii). Using (4.4) and theorem 3., it follows that and F ± (g)(y) c C(1+A) m f B e y c, y c A F ± (g)(y) c C f B e y c 4, y c > A. Thus, we get ii) where C is constant depending on f. In order to establish iii), we use (4.4), theorem 3.5 and theorem 3.7. Therefore, we find I := g(x) c F ± (g)(y) c e x c y c R (1+ x m c + y c ) N with A(t,y) := e t c e y c e t c y c We should prove that dxdy Rm f(t) c e x t c F ± (f)(y) c e y c e x c y c dtdxdy (1+ x c + y c ) N f(t) c F ± (f)(y) c A(t,y)e t c y c dtdy, e x c e <x,t> e x c y c (1+ x c + y c ) dx. N (4.5) A(t,y) C(1+ t c + y c ) N. According to Cauchy-Schwarz s inequality, we have Thus < x,t > x c t c. Rm e x c e <x,t> e x c y c dx e( t c+ y c) (1+ x c + y c ) N Hence Rm e ( x c t c y c) A(t,y) (1+ x c + y c ) Ndx. Fix 0 < c < 1. Let B = (1+ t c + y c ). A(t,y) e ( x c t c y c) dx+ x c t c y c >cb If x c t c y c cb, then 1+ x c + y c 1+ t c 1 + t c Rm e ( x c t c y c) (1+ x c + y c ) Ndx. x c t c y c cb x c t c + y c + y c x c t c y c e ( x c t c y c) (1+ x c + y c ) Ndx.

8 8 R. JDAY, J. EL KAMEL (1 c) B. The proof of (4.5) and iii) is carried out by (4.3). 4i) Fix k > 4. J := g(x) c F ± (g)(y) c e x c y c dxdy x c R ( ) = g(x) c F ± (g)(y) c e x c y c dy + F ± (g)(y) c e x c y c dy dx. x c R ii) implies J x c R C g 1,c + y >kr g(x) c ( x c R y >kr y <kr Ce (1 4 1 k ) y c dy + y <kr y <kr g(x) c F ± (g)(y) c e x c y c dydx. ) F ± (g)(y) c e x c y c dy dx Multiplying and dividing by (1+ x c + y c ) N in the integral of right side, we obtain J C(1+R) N g(x) c F ± (g)(y) c e x c y c dxdy. (1+ x c + y c ) N x c R y <kr iii) completes the proof of 4i). Step. Combining theorem 3.3, lemma 3.1 and ii), we get g admits an holomorphic extension to C. Moreover, for all z C g(z) c = F ± F ± (g)(z) c (π) m e y c z c F ± (g)(y) c dy (π) m C e y c z c e y c 4 dy Ce z c. Thus, g is entire of order. We should prove that for all C, g(z)g(iz) is a polynomial. Using theorem 3.3 and lemma 3.1, it follows that for all x and θ R (4.6) g(e iθ x) c C e x c y c F ± (g)(y) c dy. Let z1 zm Γ(z) =... g(u)g(iu)du. 0 0 Following the proof of [3], we conclude.

9 BEURLING S THEOREM FOR THE CLIFFORD-FOURIER TRANSFORM 9 5. Applications to other uncertainty principles In this section, we show the relevance of Beurling theorem since it entail Hardy, cowling- price and Gelfand Shilov theorems. Corollary 5.1 (Hardy theorem). Let m be even. Assume that f L ( ) Cl 0,m satisfies (5.1) f(x) c C(1+ x c ) N e a x c and (5.) F(f)(y) c C(1+ y c ) N e b y c, for some N N. Then, three cases can occur i) If ab > 1, then f = 0. 4 ii) If ab = 1, then f = 4 P(x)e a x c whith degp N. ii) If ab < 1, there are many functions satisfying these estimates. 4 Corollary 5. (Cowling and Price theorem). Let N N, 1 < p,q < and m be even. Let f L ( ) Cl 0,m be such that (5.3) Rm e αp x c f(x) p c (1+ x c ) N dx < (5.4) Rm e βq y c F(f)(y) q c dy < (1+ y c ) N with αβ 1 and = 1. Then 4 p q i) f = 0, if αβ > 1. 4 ii) f = P(x)e α x c whith P is a polynomial of degree < min{ N m, N m }, if αβ = 1. p q 4 Corollary 5.3 (Gelfand Shilov theorem). Let N N, 1 < p,q <, α,β > 0 and m be even. Let f L ( ) Cl 0,m satisfy (5.5) (5.6) (α x c) p p f(x) c e R (1+ x m c ) N F(f)(y) c e R (1+ y m c ) N (β y c) q q dx < dy < with αβ 1 and = 1. We have the following results : 4 p q i) If αβ > 1 or (p,q) (,), then f = 0. 4 ii) If αβ = 1 and p = q =, then f = x 4 P(x)e α c where P is a polynomial with degree less than N m.

10 10 R. JDAY, J. EL KAMEL References [1] A. Beurling, The collected works of Arne Beurling, 1, Birkh iuser, Boston, [] L. Hormander, A uniqueness theorem of Beurling for Fourier transform pairs, Received June 5, 1990 [3] A. Bonami, B. Demange and Ph. Jaming, Hermite functions and uncertainty principles for the Fourier and the windowed Fourier transforms, Rev. Mat. Iberoamericana 19 (003), 355 [4] T. Kawazoe and H. Mejjaoli, Uncertainty principles for the Dunkl transform Hiroshima Mathematical Journal 010 [5] S. Parui and S. Pusti, Revisiting Beurling s theorem for FourierDunkl transform, Integral Transforms and Special Functions, 015. [6] F. Brackx, N. de Schepper and F.Sommen, The Clifford-Fourier transform, J. Fourier Anal. and Appl., Volume 11, Issue 6 (005) [7] H. De Bie, N. De Schepper, F. Sommen, The Class of Clifford-Fourier Transforms. J. Fourier Anal Appl(011),17: [8] H. De Bie and Y. Xu, On the Clifford-Fourier transform. J. Fourier Anal. Appl. 11(005), [9] J. Elkamel R. Jday, Uncertainty principle For the Clifford-Fourier transform. [10] Gelfand, I.M and Shilov,G.E.: Generalized functions,. Moscow, 1958(Russian). English translation, Academic Press, Jamel El Kamel. University of Monastir, Faculty of Sciences Monastir, 5000 Tunisia. address: jamel.elkamel@fsm.rnu.tn Rim Jday. University of Tunis El Manar, Faculty of Sciences Tunis, 09 Tunis, Tunisia. address: rimjday@live.fr