Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Advances in Pure and Applied Mathematics

Editor-in-Chief: Trimeche, Khalifa

Editorial Board: Aldroubi, Akram / Anker, Jean-Philippe / Aouadi, Saloua / Bahouri, Hajer / Baklouti, Ali / Bakry, Dominique / Baraket, Sami / Ben Abdelghani, Leila / Begehr, Heinrich / Beznea, Lucian / Bezzarga, Mounir / Bonami, Aline / Demailly, Jean-Pierre / Fleckinger, Jacqueline / Gallardo, Leonard / Ismail, Mourad / Jarboui, Noomen / Jouini, Elyes / Karoui, Abderrazek / Kamoun, Lotfi / Kobayashi, Toshiyuki / Maday, Yvon / Marzougui, Habib / Mili, Maher / Mustapha, Sami / Ovsienko, Valentin / Peigné, Marc / Pouzet, Maurice / Radulescu, Vicentiu / Schwartz, Lionel / Sifi, Mohamed / Zaag, Hatem / Zarati, Said

CiteScore 2017: 1.29

SCImago Journal Rank (SJR) 2017: 0.177
Source Normalized Impact per Paper (SNIP) 2017: 0.409

Mathematical Citation Quotient (MCQ) 2017: 0.21

See all formats and pricing
More options …

On the images of Sobolev spaces under the Schrödinger semigroup

Sivaramakrishnan C / Sukumar D / Venku Naidu Dogga
  • Corresponding author
  • Department of Mathematics, Indian Institute of Technology Hyderabad, Telangana – 502285, India
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
Published Online: 2018-01-20 | DOI: https://doi.org/10.1515/apam-2016-0116


In this article, we consider the Schrödinger semigroup for the Laplacian Δ on n, and characterize the image of a Sobolev space in L2(n,eu2du) under this semigroup as weighted Bergman space (up to equivalence of norms). Also we have a similar characterization for Hermite Sobolev spaces under the Schrödinger semigroup associated to the Hermite operator H on n.

Keywords: Bargmann transform; Schrödinger semigroup; weighted Bergman space; Sobolev space, holomorphic Sobolev space

MSC 2010: 46E35; 46F12; 47D06; 35B65; 35J10

1 Introduction

It is well known that the classical Bargmann transform is an isometric isomorphism of L2(n) onto the space of square integrable holomorphic functions 2(n,e-|z|2dz); we refer to [1, 3] for further details. In [4], Hall generalized the concept of the Bargmann transform for the general compact Lie group K. He called this transform a heat-kernel transform. Also Hall characterized the image of L2(K) under the heat-kernel transform as a weighted Bergman space. Later, the topic became popular and attracted many mathematicians; see for instance [8, 7]. For the heat kernel transform associated to the Hermite and special Hermite semigroups, we refer to [2, 8]. The same kind of results are known for Sobolev spaces; we refer to [5, 10, 11].

In [6], Hayashi and Saitoh considered the Schrödinger semigroup for the Laplacian Δ on and showed that eitΔf can be extended as an entire function for fL2(,eu2du). Also they characterized the range of eitΔ as a weighted Bergman space. In [9], Parui et al. generalized the result of Huyashi and Saitoh to L2(n,eu2du) and gave a completely different and simple proof for the image characterization with the help of the classical Bargmann transform. The Schrödinger equation associated to the Laplacian on n is given by


The solution of the Schrödinger equation is given by the unitary group eitΔ, which is unitary on L2(n). For a non-zero real number t, on a dense subspace the operator eitΔ is given by


Here the constant ct is given by ct=(4πit)-1/2. Since eitΔ is unitary, eitΔf cannot be extended as an entire function for all fL2(n). Further, if we assume enough decay on f, then we can extend eitΔf as an entire function on n. The following theorem is one in this direction and it also gives the image characterization.

Theorem 1.1 ([9]).

For a non-zero real number t and fL2(Rn,ev2dv), the function eitΔ(f) can be extended as an analytic function. Moreover,


Conversely, if


then there exists fL2(Rn,ev2dv) such that eitΔ(f)=F.

Remark 1.2.

From Theorem 1.1 we have the following:

  • (i)

    eitΔ:L2(n,ev2dv)2(n,wt(x+iy)dxdy) is unitary, where


  • (ii)

    Given any F2(n,wt(x+iy)dxdy), there exists a non-negative constant c (depends only on t,n,F) such that

    |F(z)|ce-xy2tey28t2for all z=x+iyn.(1.1)

In this article, we wish to characterize the images of Sobolev spaces under the Schrödinger semigroup associated to the Laplacian Δ and the Hermite operator H on n as a weighted Bergman space (up to equivalence of norms).

We have organized the article as follows: Section 2 contains preliminaries. In Section 3, we will give some results on Sobolev spaces, which will help us to prove the main results. We present our main result associated to the Laplacian in Section 4. In Section 5, we will characterize the images of Hermite Sobolev spaces under the Schrödinger semigroup associated to the Hermite operator (up to equivalence of norms).

2 Preliminaries

We begin with the definition of Hermite polynomials Hk(u), where k is a non-negative integer and u. These are defined by


By setting


for k=0,1,2,, the family {ϕk:k=0,1,2,} forms an orthonormal basis for L2(). It is easy to see that the ϕk’s satisfy the following relations:


Definition 2.1.

For s>0 the scaled Hermite polynomial is defined by


for u and k.

So by definition, Hks(u) is a polynomial in u of degree k. Let us write Hks(u)=r=0kar(k),sur. From the definition it is clear that in Hks(u) the only even powers of u occur if k is even, and only odd powers of u occur if k is odd. The following proposition gives the coefficients of Hks.

Proposition 2.2.

The coefficient ar(k),s of ur in the scaled Hermite polynomial Hks is given by the relation

ak-2p(k),s=(2s)k-2psp(-1)pk!(k-2p)!p!for p{{0,1,,k2}if k is even,{0,1,,k-12}if k is odd.


This follows from the Rodrigues formula for Hermite polynomials. ∎

Let us introduce some multi-index notations:

  • n=×× (n times), where :={0,1,2,}.

  • For k{1,2,,n}, define

    ek:=(0,,0,1k-th place,0,,0)n.

  • For α=(α1,α2,,αn)n, define |α|:=α1++αn.

  • α!:=α1!αn!.

  • For α,βn, we say αβ if αkβk for k=1,2,,n.

  • zα:=z1α1znαn and z2:=z12++zn2 for z=(z1,,zn)n and αn.

  • zw:=z1w1+z2w2++znwn for z=(z1,,zn),w=(w1,,wn)n.

  • Dα:=Dα1Dα2Dαn. Here


    for k=1,2,,n.

Definition 2.3.

Let F:n be a function and let a=(a1,,an)n. Denote

Fa,j(z)=F(a1,,aj-1,z,aj+1,,an)for z.

We say that F is holomorphic if for every an the map Fa,j: is holomorphic for j=1,,n.

Let us denote 𝒪(n)={F:n:F is analytic}. Let ρ(z) be a strictly positive continuous function on n. We define the weighted Bergman space as follows:


The inner product on 2(n,ρ(z)dz) is given by


It is known that 2(n,ρ(z)dz) is the reproducing kernel Hilbert space. The well-known reproducing kernel Hilbert space is a Fock space and it is defined by




The set


forms an orthonormal basis for r2. The reproducing kernel for r2 is given by Kr(z,w)=erzw¯.

3 Sobolev space and its properties

We define Sobolev spaces in L2(n,eu2du) in the following way.

Definition 3.1.

Let m>0 be an integer. The Sobolev space Wm,2(n) in L2(,eu2du) is defined by

Wm,2(n)={fL2(n,eu2du):DαfL2(n,eu2du) for |α|m}.

The inner product on Wm,2(n) is defined for f,gWm,2(n) by


With respect to the above inner product, Wm,2(n) becomes a Hilbert space. From now onwards, we consider for any f,gL2(n,eu2du) the inner product f,g and the norm f given by


respectively. Also we assume the following notation: for fWm,2(n), the Sobolev norm of f is denoted by fWm=fWm,2(n).

Note 3.2.

For m1 and fWm,2(), we have


for any polynomial p on and k with km-1.

This can be seen as follows: First, we consider the case m=1; the general case follows similarly. Using the Sobolev embedding lemma, we have


Integrate both sides from a to b and use the Schwarz inequality to estimate the integral on the right:


From the above equation we can find B~>0 such that

|f(u)|eu22B~(1+|u|)32 for all u.

Lemma 3.3.

The map P:L2(Rn,du)L2(Rn,eu2du) defined by P(f)(u)=f(u)e-u2/2 is unitary.


This is obvious. ∎

Let ψk(u)=ϕk(u)e-u2/2 for k. Since {ϕk:k} forms an orthonormal basis for L2(), from Lemma 3.3 we can see that {ψk:k} is an orthonormal basis for L2(,eu2du). The relation between the ψk’s and their derivatives is as follows: Using equations (2.1) and (2.2), we have


In general, for r,


Also for k,


For α=(α1,α2,,αn)n and u=(u1,u2,,un)n, we define


Then for any βn,


Thus we have the following theorem.

Theorem 3.4 ([12]).

The set {Ψα:αNn} forms an orthonormal basis for L2(Rn,eu2du).

Hence given any fL2(n,eu2du), we have


Lemma 3.5.

If fWm,2(Rn), then Dβf=αNnf,ΨαDβΨα for all |β|m.


For k,x and by using equations (3.2) and (3.3), we have


For each r, inductively we can see that


Let βn with |β|m, fWm,2(n) and i{1,2,,n}. Then from equations (3.1) and (3.4) we have




If we apply the above step repeatedly, we have


With the help of Lemma 3.5 we can see an important result which does not hold for classical Sobolev spaces.

Lemma 3.6.

If fW1,2(R), then ufL2(R,eu2du).


Let fW1,2(). From Lemma 3.5 we can see that


Now let us consider the N-th partial sum of k=0f,ψkψk, that is,


For N, let us define


Since fW1,2() and by equation (3.5), ANf converges to


and BNf converges to


as N in L2(,eu2du). So k=0f,ψkuψk converges in L2(,eu2du). Since f=k=0f,ψkψk converges in L2(,eu2du), there is a subsequence, say k=0Nkf,ψkψk converges to f pointwise a.e. on . This gives us

limkk=0Nkf,ψkuψk(u)=limkuk-0Nkf,ψkψk(u)=uf(u)a.e. on .

This shows that uf=k=0f,ψkuψk and ufL2(,eu2du) for fW1,2(). ∎

The above result can be extended to higher dimensions, and the result is as follows.

Theorem 3.7.

If mN, αNn with |α|m, and fWm,2(Rn), then uαfWm-|α|,2(Rn).

The orthonormal basis {Ψα:αn} for L2(n,eu2du) is also an orthonormal basis for Wm,2(n) after multiplying each function with an appropriate normalizing constant.

Theorem 3.8.

The set {Ψα/ΨαWm:αNn} forms a complete orthonormal system in Wm,2(Rn).


Let αβ. Then


For completeness, let fWm,2(n) such that f,ΨαWm,2(n)=0 for all αn. Then


The above relation forces that f,Ψα=0 for all αn. This implies that f=0. Thus the theorem follows. ∎

Note 3.9.

Here for αn,


Now let us take


for αn and un. Set ={Ψ~α:αn} and 𝒜={Ψα:αn}. Observe that 𝒜 and form an orthonormal basis for L2(n,eu2du). The reason to consider the collection is as follows: this collection behaves nicely with the Schrödinger semigroup, and in fact, the Schrödinger semigroup associated to Δ on n takes the collection into some nice functions in 𝒪(n). Those nice functions will help us to characterize the image of a Sobolev space under the Schrödinger semigroup. We will discuss the above ideas in the next section. The set 𝒜 is an orthogonal system in Wm,2(n), but is not an orthogonal system in Wm,2(). For instance, if m=n=1, then


So for kp and k<p,

ψ~k,ψ~pW1,2()=ψ~k,ψ~p+ψ~k,ψ~p={(-1)(2+i2t)(i2t)(k+12)12(k+22)12if p=k+2,0if pk+2.

Remark 3.10.

Let m1 and fWm,2(n). Then we have the following:

  • (i)

    For each k{1,2,,n},


    By Lemma 3.6 we have ukf(u)L2(n,eu2du). So f(u)e-i/(4t)u2W1,2(n).

  • (ii)

    Similarly, we can see that f(u)e-i/(4t)u2Wm,2(n).

  • (iii)

    For αβn, we have Dαf2Dβf2.

Using Remark 3.10, we can define the transformation 𝒮:Wm,2(n)Wm,2(n) by 𝒮(f)(u)=f(u)e-i/(4t)u2. Let us take

𝒟n={|α|kaαΨα:aα and k}.

Then, by Theorem 3.8, 𝒟n forms a dense subspace of Wm,2(n).

Theorem 3.11.

The map S is a bounded invertible map.


We use mathematical induction on m to prove this theorem. First let m=1 and f𝒟n with


where aα and p.

For k{1,2,,n},


Using the above inequality, we have


where B1=(1+|12t|)2.

So, 𝒮:W1,2(n)W1,2(n) is a bounded map. Now let m. For every α with |α|=m there exist k(α){1,2,,n} such that αk(α)0. Then observe that for f𝒟n,


Also we can see that


Using induction on m and equations (3.6) and (3.7), we have


This implies that 𝒮:Wm,2(n)Wm,2(n) is a bounded map. It is clear that 𝒮 is one-to-one and onto from the definition. Hence the theorem is proved. ∎

Note 3.12.

We have just proved that if fWm,2(n), then ukfDekf for k=1,2,,n. In a similar way, it is easy to show that uαfDαf for all |α|m.

Remark 3.13.

Using Theorem 3.11, we can see that for each m the set forms a Schauder basis for Wm,2(n).

4 Image of Sobolev spaces under the Schrödinger semigroup

In this section, we will prove our main result. First we define the holomorphic Sobolev space Wtm,2(n) to be the image of Wm,2(n) under eitΔ. The space Wtm,2(n) is made into a Hilbert space by transferring the Hilbert space structure of Wm,2(n) to Wtm,2(n) so that the Schrödinger semigroup eitΔ is an isometric isomorphism from Wm,2(n) onto Wtm,2(n). This means that


whenever F=eitΔf and G=eitΔg. We wish to characterize Wtm,2(n) as a weighted Bergman space. The following theorem gives a relationship between 2(n,wt(x+iy)dxdy) and the classical Fock space.

Theorem 4.1.

For r=18t2, the map


defined for FHL2(Cn,wt(z)dz) by


is a unitary map.


This is an obvious verification. ∎

Remark 4.2.

  • (i)

    From Theorem 4.1 we can conclude that the set


    forms an orthonormal basis for 2(,wt(x+iy)dxdy).

  • (ii)

    Also for γ,αn,


The following lemma gives the pointwise estimate of eitΔ(f) for fWm,2(n).

Lemma 4.3.

If fWm,2(Rn), then there exists C>0 (depends only on m,n,t and f) such that for any zCn,


for |α|m.


For fWm,2(), k{1,2,,n} and zn, consider


From the above equation we obtain


Now the assumption on f tells us that for |α|m,


This implies that zαeitΔ(f) is in 2(n,wt(z)dz). Moreover, using pointwise estimates of functions in 2(n,wt(z)dz) given in (1.1), there exists a constant (depends only on f,m,n and t) C>0 such that


for all zn. ∎



and consider the weighted Bergman space 2(n,utm(z)dz). Using pointwise estimate given in Lemma 4.3, we can compare the spaces Wtm,2(n) and 2(n,utm(z)dz).

Lemma 4.4.

The set


forms a complete orthonormal basis for HL2(Cn,utm(z)dz).


We know that {Υαt:αn} forms an orthonormal basis for 2(n,wt(z)dz). Using this, we can prove that Ω is a complete orthonormal set in 2(n,utm(z)dz). Since wt(z)utm(z), this implies that 2(n,utm(z)dz)2(,wt(z)dz). Now for αβn and using equation (4.1),


This proves the orthogonality. The completeness of Ω in m,2(n,utm(z)dz) easily follows from the completeness of Ω in m,2(n,wt(z)dz). ∎

The following proposition and theorem show that the norms of the spaces Wtm,2(n) and 2(n,utm(z)dz) are equivalent.

Proposition 4.5.

For pN and xR, we have





For x and s=116t2,


Now for k,


First assume that k is even. So,


Here bk-2p is a coefficient of xk-2p in the above polynomial, and it is given by


Claim: bk-2p=0 for all 1p. From Proposition 2.2 we have




Using the above equations, we can see that equation (4.2) is equal to zero. In fact,




for all 1pk2. This implies that


If k is odd, the proof follows in similar steps. So, for each k, we have


Now define another operator 𝒯t:Wm,2(n)2(n,utm(z)dz) by


This will help us to prove norm equivalence between the spaces Wm,2(n) and 2(n,utm(z)dz).

Theorem 4.6.

The operator Tt is a unitary map. Furthermore, for any mN and fWm there exist M1,M2>0 depending on m,t and n such that



We know that eitΔ:L2(n,eu2du)2(n,wt(z)dz) is unitary. Therefore, {eitΔ(Ψ~α):αn} is a complete orthonormal set in 2(n,wt(z)dz), as ={Ψ~α:αn} is a complete orthonormal set in L2(n,eu2du). Since Ψα=k=1nψαk, by Proposition 4.5 we have


for every xn and αn. Extending this analytically to n, for αn and zn we get


The function eitΔ(Ψ~α) is nothing but a constant multiple of Υαt, that is,


But we have




So 𝒯t takes a complete orthonormal set in Wm,2(n) into a complete orthonormal set in 2(n,utm(z)dz). This implies that

𝒯tfutm22=fWm2for every fWm,2(n).(4.3)

By Theorem 3.11, for any fWm,2(n) there exist M1,M2>0 such that


From equations (4.3) and (4.4) we can see that


The above equation is true for any fWm,2(n). Hence the theorem follows. ∎

So the image of the Sobolev space Wm,2(n) under eitΔ is identified with the weighted Bergman space 2(n,utm(z)dz) up to equivalence of norms.

5 Image of Sobolev spaces under the Schrödinger semigroup associated to the Hermite operator

Consider the Schrödinger group eitH associated to the Hermite operator H=-Δ+|x|2 on n. The spectral decomposition of H is given by


where Pkf=|α|=kf,ΦαΦα with Φα being the normalized Hermite functions on n. Using Mehler’s formula, we have




This Kit is well defined for 2tkπ for k. In [9], Parui et al. proved the following theorem.

Theorem 5.1.

For any tk2, kZ, eitH defines an isometric isomorphism between L2(Rn,eu2du) and


The Hermite operator H can be written as


Here Ak=uk+uk and Ak*=-uk+uk for k=1,2,,n. For an integer m1, we define the Hermite Sobolev space WHm,2(n) as follows:


Here Aα=A1α1Anαn and A¯β=(A1*)α1(An*)αn. For f,gWHm,2(n), we define the inner product and norm on the space WHm,2(n) as follows:


Then WHm,2(n) becomes a Hilbert space with respect to the above inner product. Note that Ak+Ak*=2uk and Ak-Ak*=2uk for k=1,2,,n. By using this relation, it is easy to see that WHm,2(n) and Wm,2(n) represent the same vector space. From Note 3.12 it is easy to see that there exists B>0 (depending only on m) such that


for any fWm,2(n). That is, the identity map i:Wm,2(n)WHm,2(n) is continuous and onto. From the bounded inverse theorem it follows that the norms WHm,2(n) and Wm,2(n) are equivalent. Hence characterizing the image of WHm,2(n) under eitH is equivalent to characterizing the image of Wm,2(n) under eitH.

Since the linear map eitH:Wm,2(n)𝒪(n) is one to one, we can give an inner product on


in the following way: For f,gWm,2(n), we define eitHf,eitHg:=f,gWm,2(n). From this we can see that Wt,Hm,2(n) is a Hilbert space and


is unitary.

Let 𝒮~f(u)=f(u)e-i/4cot2tu2 for fWm,2(n). Then 𝒮~ becomes a bounded invertible operator on Wm,2(n). For z=x+iyn, let us denote


Consider the weighted Bergman space


The proofs of the following proposition and theorem are similar to the ones of Proposition 4.5 and Theorem 4.6, respectively.

Proposition 5.2.

For zCn and αNn, we have


Moreover, the transform eitHS~:Wm,2(Rn)HL2(Cn,ut,Hm(z)dz) is unitary.

Theorem 5.3.

For any fWm,2(Rn), there exists M~1>0 and M~2>0 such that


So the image of the Sobolev space WHm,2(n) under eitH is identified with the weighted Bergman space 2(n,ut,Hm(z)dz) up to equivalence of norms.


The authors wish to thank G. B. Folland for giving clarification to their questions related to weighted Sobolev spaces.


  • [1]

    V. Bargmann, On a Hilbert space of analytic functions and an associated integral transform, Comm. Pure Appl. Math. 14 (1961), 187–214.  CrossrefGoogle Scholar

  • [2]

    D.-W. Byun, Inversions of Hermite semigroup, Proc. Amer. Math. Soc. 118 (1993), no. 2, 437–445.  CrossrefGoogle Scholar

  • [3]

    G. B. Folland, Harmonic Analysis in Phase Space, Ann. of Math. Stud. 122, Princeton University Press, Princeton, 1989.  Google Scholar

  • [4]

    B. C. Hall, The inverse Segal–Bargmann transform for compact Lie groups, J. Funct. Anal. 143 (1997), no. 1, 98–116.  CrossrefGoogle Scholar

  • [5]

    B. C. Hall and W. Lewkeeratiyutkul, Holomorphic Sobolev spaces and the generalized Segal–Bargmann transform, J. Funct. Anal. 217 (2004), no. 1, 192–220.  CrossrefGoogle Scholar

  • [6]

    N. Hayashi and S. Saitoh, Analyticity and smoothing effect for the Schrödinger equation, Ann. Inst. H. Poincaré Phys. Théor. 52 (1990), no. 2, 163–173.  Google Scholar

  • [7]

    B. Krötz, G. Ólafsson and R. J. Stanton, The image of the heat kernel transform on Riemannian symmetric spaces of the noncompact type, Int. Math. Res. Not. IMRN (2005), no. 22, 1307–1329.  Google Scholar

  • [8]

    B. Krötz, S. Thangavelu and Y. Xu, The heat kernel transform for the Heisenberg group, J. Funct. Anal. 225 (2005), no. 2, 301–336.  CrossrefGoogle Scholar

  • [9]

    S. Parui, P. K. Ratnakumar and S. Thangavelu, Analyticity of the Schrödinger propagator on the Heisenberg group, Monatsh. Math. 168 (2012), no. 2, 279–303.  CrossrefGoogle Scholar

  • [10]

    R. Radha and S. Thangavelu, Holomorphic Sobolev spaces, Hermite and special Hermite semigroups and a Paley–Wiener theorem for the windowed Fourier transform, J. Math. Anal. Appl. 354 (2009), no. 2, 564–574.  Web of ScienceCrossrefGoogle Scholar

  • [11]

    R. Radha, S. Thangavelu and D. Venku Naidu, On the images of Sobolev spaces under the heat kernel transform on the Heisenberg group, Math. Nachr. 286 (2013), no. 13, 1337–1352.  Web of ScienceCrossrefGoogle Scholar

  • [12]

    S. Thangavelu, An Introduction to the Uncertainty Principle, Progr. Math. 217, Birkhäuser, Boston, 2004.  Google Scholar

About the article

Received: 2016-12-03

Accepted: 2017-12-27

Published Online: 2018-01-20

Published in Print: 2019-01-01

The first author thanks University Grant Commission, India, for financial support.

Citation Information: Advances in Pure and Applied Mathematics, Volume 10, Issue 1, Pages 65–79, ISSN (Online) 1869-6090, ISSN (Print) 1867-1152, DOI: https://doi.org/10.1515/apam-2016-0116.

Export Citation

© 2018 Walter de Gruyter GmbH, Berlin/Boston.Get Permission

Comments (0)

Please log in or register to comment.
Log in