arxiv: v1 [math.gm] 17 Dec 2018 Anouar Abdelmajid Saidi, Ahmed Yahya Mahmoud and Mohamed Vall Ould Moustapha

Transcription

1 rgmann transform and generalized heat Cauchy problems arxiv: v1 [math.gm] 17 Dec 018 Anouar Abdelmajid Saidi, Ahmed Yahya Mahmoud and Mohamed Vall Ould Moustapha December 7, 018 Abstract In this article we solve explicitly some Cauchy problems of the heat type attached to the generalized real and complex Dirac, Euler and Harmonic oscillator operators. Our principal tool is the rgmann transform. Keywords : rgmann transform, heat Cauchy problem, Dirac operator, Euler operator, harmonic oscillator. Subject classification : Primary: 35C05 and 35C15; Secondary: 4A38. 1 Introduction The classical Cauchy problem for the heat equation is of the form ut,x) t ut,x); t,x) + n u0,x) u 0 x); u 0 L n ) 1.1) where n j1 is the classical Laplacian of n. We can formally replace the operator by any partial differential operator and we speak about x j generalized heat Cauchy problem. Our aim in this paper, is to give a new method to solve explicitly some type of generalized heat Cauchy problems. Using essentially the rgmann transform as an intertwining operator which intertwines some couple of real and complex differential operators. In this work we compute explicitly the exact solutions of the heat Cauchy problems associated to the generalized complex and real Dirac operators : 1

2 and D a z Ut,z) t Ut,z); t,z) + U0,z) U 0 z); U 0 F a d a xut,x) t ut,x); t,x) + u0,x) u 0 x); u 0 L ) where the generalized real and complex Dirac operators are given by 1.) 1.3) Dz a 1 a z + z, da x ax. 1.4) x We solve also explicitly the following heat Cauchy problems associated to the generalized real and complex Euler operators : e a xvt,x) t vt,x); t,x) + 1.5) v0,x) v 0 x); v 0 L ) and E a w Yt,w) t Yt,w); t,w) + Y0,w) Y 0 w); Y 0 F a where the generalized real and complex Euler operators are given by 1.6) Ew a aw w a, ea x ax x. 1.7) Finally we find the explicit solutions of the following heat Cauhy problems for the real and complex harmonic oscillators: h a xyt,x) t yt,x); t,x) + 1.8) y0,x) y 0 x); y 0 L ) and H a z Vt,z) t Vt,z); t,z) + V0,z) V 0 z); V 0 F a where the real and complex harmonic oscillators are given by Hz a z a z 4 And the Fock space F a paper are as follow ha x 1.9) a, x a x. 1.10) is defined in section. The main results of this

3 rgmann transform V. rgmann [1] and []) and later G. Folland [7] have introduced an isometry, called rgmann transform, from the space of square integrable functions L ) to the Fock spaces Fπ where Fa {f Hol) L,e a z )} as follows: z C, f L ), Bfz) 1 4 fx) e πxz πx π z dx..1) We use in this paper a parametrized forms of the rgmann and inverse rgman transforms given by K. Zhu [11] as follows : and B a fz) )1 a 4 fx) e axz ax az dx.) π )1 a 1 fx) 4 fz) e axz ax a z dλ a z).3) π An operator T is transported in The rgmann space Fa by the operation B a T 1. A number of operators have been thus transported and have been reported in the literaturesee [8]). We present some of them in this lemma : Let a be a positive parameter, we consider the Gaussian measure dλ a z) a π e a z dz.4) Acalculation withpolarcoordinatesshowsthatdλ a isaprobabilitymeasure. The Fock space Fα consists of all entire functions f in L,dλ a ). It is easy to show that Fα is a closed subspace of L,dλ a ). Consequently, Fα is a Hilbert space with the following inner product inherited from L,dλ a ) : < f,g > a fz)gz)dλ a z)..5) Lemma.1. For a > 0 we have : ) 1 1. xfx) z) a z + z ) ). x fx) z) z a ) z ) 3. x ax ) 4. x +ax C fz) fz) ) f z) az fz) ) f z) z B a fz) 3

4 Proof. See Appendix 1 of [8] for the proof of 1. and. however 3 and 4 are consequences of 1 and. Theorem.1. Let h a and E a be respectively the real harmonic oscillator and the complex Euler operator given in 1.10) and 1.7) then we have ha f)z) E a f)z).6) Proof. This theorem is a consequence of the formula ) ) ) h a x a x x ax x +ax a..7) and the lemma.1. In what follows we give some formulas of rgmann transforms Theorem.. For all a > 0, b > a and s we obtain : ) a e ax e bx s) 4 π z) b easz e a 4 a b 1)z.8) In particular, and also For all c > 0, e cx) a 4 π z) c+ a e a 4 z a c a+c) e ax) π 4 z) a)1.9).10) Proof. ) e ax e bx s) a 4 z) e bx s) e axz az 4 dx.11) a 4 e bx s az b ) e asz e a 4b z e a 4 z dx.1) a 4 π b easz e a 4 a b 1)z dx.13) 4

5 Theorem.3. For all function f F a B 1 a Proof. see theorem 8 of [1]. ) fx+b) and b z) e a 4 b e a bz fz +b)..14) We define here a parametrized form of the Fourier transform : a Ff)x) ft)e iaxt dt.15) π Also, for all r > 0, we define a general form of the Fourier Transform by: ar F r f)x) ft)e iarxt dt.16) π This form will be useful for the next very important result: Theorem.4. For all function f F a), r r +1 e In particular, for r 1, a r 4 z 1 ) r +1 F rb 1 a f)z) FB 1 a fw)e a 4 w 1 r r ) +1 e iarzw r +1 dλ a w).17) f)z) fiz).18) and then F 1 B 1 a f)z) 1 f iz).19) Proof. Firstly, we have: a B 1 4 ar a f)w) e iarxt π fw)e atw a t a 4 w dλaw)dt.0) a 4 ar fw)e a 4 w e a t irx w) e a irx+w) dtdλaw).1) π ar aπ) 1 4 fw)e a 4 w e a irx+w) dλaw).) 5

6 Thus we obtain: ar aπ) 1 4 e ar x fw)e a 4 w e airxw dλaw).3) F rb 1 a f)z).4) a 4 ar aπ) 1 4 e axz a x a 4 z e ar x fw)e a 4 w e airxw dλaw)dx.5) ar π e a 4 z fw)e a 4 w e x a +ar ) e xaz+iarw) dxdλaw).6) We denote c a + ar. Using the change of variable t c.x we get: ar cπ e a 4 z ar cπ e a 4 z fw)e a 4 w fw)e a 4 w ar cπ e a 4 z ar c e a 4 z 1 a c) r r +1 e F rb 1 a f)z).7) e t + t c az+iarw) dtdλ a ) e t az+iarw c e a r 4 z 1 ) r +1 fw)e a 4 w e az+iarw c az+iarw c fw)e a 4 w 1 ar c ) e ia zrw c fw)e a 4 w 1 r r ) +1 e iarzw w).8) ) dtdλaw).9) ) dλaw).30) dλaw).31) r +1 dλ a w).3) In the case r 1, F r coincide with F the parametrized Fourier transform and we obtain : a f)z) fw)e iazw dλaw)..33) FB 1 By the formula of reproducing kernel see proposition. of [11]) this function is exactly equal to fiz). On the other hand, F 1 B 1 a which justifies the equation.19). ) 6 FB 1 a ) 1.34)

7 For r > 0, we denote h r the isomorphism of L ) defined by h r f)x) frx) for all f L ) and for all x..35) Theorem.5. For all function f F a): r a r r +1 e 4 z 1 ) r +1 h rb 1 a )fx) f iw)e a 4 w 1 r r ) +1 e iarzw r +1 dλ a w).36) Proof. A simple calculus give rh r F F r and thus h r 1 r F r F 1 then: h rb 1 a f)z) 1 F rf 1 B 1 a f)z).37) r 1 F rb 1 a r F 1 B 1 a f)z).38) Using formula.17) and.19) of theorem.4 we deduce that: r a r r +1 e 4 z 1 ) r +1 h rb 1 a f)z) f iw)e a 4 w 1 r r ) +1 e iarzw r +1 dλ a w).39) 3 Heat Cauchy problems for the complex and real Dirac operators Theorem 3.1. The solution of the equation 1.) is given by the formula : Ut,z) e zt e t 4a U 0 z + t ) 3.1) a Proof. Let U be a solution of 1.) Then, by applying the inverse of the rgmann transform B 1 a, we obtain: 1 B 1 a a z + z ) ) Ut,z) B 1 a t B 1 a Ut,z)); t,z) + U0,z)) B 1 a U 0 ; U 0 F a 7

8 Using lemma.1 we obtain : xb 1 a U)t,x) t B 1 a U)t,x); t,x) + B 1 a U)0,x) B 1 a Thus B 1 a Ut,x) satisfies the formula This implies that a a a B 1 a U 0 )x); U 0 F a U)t,x) e tx B 1 a U 0 )x). Ut,z) e axz a x az 4 e tx e az az+ a t 4 e ) 4 e zt e t 4a etx B 1 a U 0 )z) U 0 v) e axv a x a 4 v dλa v)dx e tx U 0 v) e axz a x az 4 e axv a x a 4 v dλa v)dx U 0 v) e axz+ t t a ) a x e az+ a ) 4 e axv a x a 4 v dλa v)dx U 0 ) z + t ) e zt e t 4a U 0 z + t ) a a B 1 a Theorem 3.. The solution of the equation 1.3) is given by the formula : ut,x) e axt e at u 0 x+t) 3.) Note that the exact formulas for the Poisson and wave Cauchy problems associated to the real Dirac D 0, Euler e a and harmonic oscillator h a operators are given [9, 10]. Proof of theorem 3.. Let u be a solution of 1.3). Then, by applying the rgmann transform B a ) x ax ut, x), we obtain: ) t B a ut,x)); t,x) + u0,x)) B a u 0); u 0 L ) Using lemma.1 we obtain : az u)t,z) t B a u)t,z); t,z) + u)0,z) B a u 0)z); u 0 L ) 8

9 Then u satisfies the formula This implies that a a u)t,z) e azt u 0)z). ut,x) B 1 a e azt u 0)x) e azt u 0 s) e asz a s az 4 e axz a x a 4 z ds dλ a z) u 0 s) e azs t) a s az 4 e axz a x a 4 z ds dλ a z) By setting s s t, we obtain: a ut,x) u 0 s +t) e azs e a s e a t e as t e az 4 e axz a x a 4 z ds dλ a z) a B 1 a e axz a x a 4 z u 0 s +t)e a t e as t ) u 0 s +t)e a t e as t e azs e a s e az 4 ds dλ a z) )) x) u 0 x+t)e a t e axt. 4 Heat Cauchy problems for the complex and real Euler operators Theorem 4.1. The solution of the equation 1.5) is given by the formula : vt,x) v 0 e at x) 4.1) Proof. Let e be the solution of 1.5). We define the function yt,x) by: yt,x) et,e at x). We get easily t yt,x) 0 then yt,x) y0,x) e0,x) e 0x). Then et,e at x) e 0 x), for all t,x) +. Consequently, et,x) e 0 e at x) for all t,x) +. Theorem 4.. The solution of the equation 1.6) is given by the formula : Yt,w) e at Y 0 e at w) 4.) Proof. The proof of this theorem is Mutatis mutandis the last one. 9

10 5 Heat Cauchy problems for the real and complex harmonic oscillators Theorem 5.1. The Cauchy problem 1.8) for the heat equation associated to the harmonic oscillator has the unique solution given by : yt,x) K a x,s,t) y 0 s) ds Where K a x,s,t) { a ae π eat e at at x e at s) ) 1 exp e at e at + a } x s ) 5.1) Note that the heat kernel for the classical real harmonic oscillator has been known for a long time [3] p.145) and is given by the formula: K a x,s,t) { a 1 a exp π sinhat) x +s )cothat)+ axs } sinhat) 5.) but the method used here and the obtained formula are new. Proof of theorem 5.1. Let γ be a solution of 1.8). Then, by applying the rgmann transform B a, we obtain: Ha γt,x))z) t B a γt,x))z); t,z) + γ0,x))z) B a γ 0Z); γ 0 L ) Theorem.1 assures that : az z ) a γt,x))z) t B a γt,x))z); t,z) + Now, theorem 4. gives γ0,x))z) B a γ 0)z); γ 0 L ) γt,z) e at γ 0e at z), t,z) +. So α π e at γt,x) 1 z e at γ 0e at z))x) e axz a x a 4 z γ 0 s)e ase at z a s a 4 e 4at z dsdλa z). 10

11 Using the change of variables s e at s, we get : α γt,x) e axz a x a 4 z γ 0 e at s )e as z a e4at s a 4 e 4at z ds dλa z) α π eat α 4 π eat e at γ 0 e at s )e a e4at s e as z a 4 e 4at z +axz a x a 4 z dλa z)ds γ 0 e at s )e a e4at s 1 z e as z a 4 e 4at z ) x)ds We deduce from relation.8) of theorem. with a b 1 e 4at ) that : 1 z e as z a 4 e 4at z ) π 4 a x) α)1 π 1 e 4at ea x e ax s ) 1 e 4at So we obtain : γt,x) e at e a a x π 1 e 4at Set again s e at s we get : γt,x) e at e a a x π 1 e 4at a π 1 e at e at γ 0 s e at )e a e4at s e ax s ) 1 e 4at ds γ 0 s)e a s e ax se at ) 1 e 4at ds axe at se at ) γ 0 s)e a x s ) e e at e at ds K a t,x,s)γ 0 s)ds. The formula 5.1) obtained in the theorem 5.1 agree with the well known formula given in 5.). Proof. K a t,x,s) a π a π { a ae π eat e at at x e at s) ) 1 exp e at e at + a } x s ) { ae at x +e at s } xs) 1 sinhat) exp 1 sinhat) exp a π { 1 exp a sinhat) x +s ) Thus we obtain the formula 5.). e at e at + a x a s { a e at ) x e at 1 a e at e at s e at e e at +e at ) e at e at + axs sinhat) ) +1 at }. + } axs e at e at 11

12 Theorem 5.. The Cauchy problem 1.9) for the heat equation associated to the complex harmonic oscillator has the unique solution given by : Vt,z) J a z,w,t)v 0 w ) dλa w ) Where J a z,w,t) { } i a exp coshat) 4 w z )tanhat)+ azw coshat) Proof. Firstly, notice that z + az ) z az ) z a z a ) ) Let E be the solution of 1.9). By applying the inverse of the rgmann transform B 1 a, we obtain: B 1 a z + az ) z az ) ) Et, z) t B 1 a Et,z)); t,z) + a E0,z)) B 1 a E 0 ; E 0 F a B 1 Using lemma.1 we obtain : ax a E)t,x) t B 1 a E)t,x); t,x) + x B 1 B 1 a So theorem 4.1 assures that This implies that B 1 a By theorem.5 we obtain: r Et,z) r +1 e E)0,x) B 1 a E 0 )x); U 0 F a Et,z) a 4 z r 1 r +1 coshat) e a 4 z tanhat) E)t,x) B 1 a E 0 )e at x). ) B 1 a ) E 0 )e at x) z) f iw)e a 4 w 1 r r ) +1 e iarzw r +1 dλ a w) where r eat f iw) e a 4 w tanhat) e iazw coshat) dλa w). Using the change of variable w iw we get Et,z) fw i ) e a 4 w z )tanhat) e azw coshat) dλa w ). coshat) 1

13 References [1] V. rgmann, On a Hilbert space of analytic functions and associated integral transform part I, Communications of Pure and Applied Mathematics ) [] V. rgmann, On a Hilbert space of analytic functions and an associated integral transform Part II. A family or related function spaces application to distribution theory, Communications of Pure and Applied Mathematics ) [3] N. Berline, E. Getzler and M. Vergne, Heat kernels and dirac operator, Grundlehren Text Editions. Springer Verlag 004. [4] G. Cao, L. He and S. Hou, The rgmann transform on L p ), Journal of Mathematical Analysis and Applications ) [5] X.T. Dong, K. Zhu, The Fourier and Hilbert transforms Under the rgmann transform, Complex Variables and Elliptic Equations ) [6] L. C. Evans, Partial differential equation. Graduate Studies in Mathematics. Volume 19. American Mathematical Society, [7] G. B. Folland, Harmonic Analysis in Phase Space, Princeton University Press, [8] H. N. Kritikos, J. H. Cho, and J. G. Teti, rgmann Transforms and Phase Space Filters, Progress In Electromagnetics Research ) [9] A. Y. Ould Mohameden, M. V. Ould Moustapha, Laplace equation for the Dirac, Euler and the harmonic oscillator 017) [10] A. Y. Ould Mohameden, M.V. Ould Moustapha, Wave kernels for the Dirac, Euler operators and the harmonic oscillator, Journal of Mathematical Physics 55, ); doi: / View online: [11] K. Zhu, Analysis on Fock Spaces, Springer, New York, 01. [1] K. Zhu, Towards a dictionary for the rgmann transform, 015. arxiv: Anouar Saidi, Department of Mathematics, College of Arts and Sciences- Gurayat, Jouf University-Kingdom of Saudi Arabia. Department of Mathematics, Faculty of Sciences of Monastir,5019 Monastir- Tunisia. address: saidi.anouar@yahoo.fr 13

14 A. Y. Mahmoud,Department of Mathematics, College of Arts and Sciences- Gurayat, Jouf University-Kingdom of Saudi Arabia. Shendi University,Faculte of science and Technologe, Departement of Mathematics,Shendi Sudan. address: M.V. Ould Moustapha, Department of Mathematic, College of Arts and Sciences-Gurayat, Jouf University-Kingdom of Saudi Arabia Faculte des Sciences et Techniques Université de Nouakchott Al-Aasriya. Nouakchott-Mauritanie address, M. V. Ould Moustapha: 14