LECTURE 10—10/26/2020QUANTIZINGGENERALSYMBOLS1. SEMI-CLASSICAL SYMBOLSToday we would like to extend the theory of semiclassical pseudo-differentialoperators with Schwartz functions as symbols to more general symbols which maydepends on h and more importantly,which may grow as r,→ oo.The key obser-vation is the following: According to the factet(a=)s = (1 + [51)-[1 + (hD,)1(e(r-w)-5)(1)= (1 + [ - y12)-1[1 + (hDe)](et(r-)-5),we may gain factors ~ [sl-m or ~ [r -yl-m after (formally) applying integrationby parts arguments many times. As a result, we may allow our symbol a(r, ) togrow in r or S, as long as thegrowth rateis under control, namely,in an“at mostpolynomially"way. Order functions.Now we introduce a conception that can be used to describe such a polynomialgrowth.Forsimplicitywewillusethenotation1(2) := (1 + [2/2)1/2for zE Rd.Definition 1.1. A measurable function g : Rd → R+ is called an order function ifthere exists constants C, N so that for any z, w e Rd,(2)m(w) ≤C(z- w)Nm(z)Note that if we take z= O, we immediately getm(w)≤C(w)Mfor some constant C and N. So order functions grow at most polynomiallyFrom the definition one immediately getLemma 1.2. We have(1) If mi,m2 are order functions, so are the functions mi +m2 and mim2(2) If m is an order function, so is the function m for any a E R.Sometimes it is called the "Japanese bracket" of z. It behave like z| for large z, but it has theadvantage that it is smooth and non-vanishing as z→ 0.1
LECTURE 10 — 10/26/2020 QUANTIZING GENERAL SYMBOLS 1. Semi-classical symbols Today we would like to extend the theory of semiclassical pseudo-differential operators with Schwartz functions as symbols to more general symbols which may depends on ~ and more importantly, which may grow as x, ξ → ∞. The key observation is the following: According to the fact (1) e i ~ (x−y)·ξ = (1 + |ξ| 2 ) −1 [1 + (~Dy) 2 ](e i ~ (x−y)·ξ ) = (1 + |x − y| 2 ) −1 [1 + (~Dξ) 2 ](e i ~ (x−y)·ξ ), we may gain factors ≈ |ξ| −m or ≈ |x − y| −m after (formally) applying integration by parts arguments many times. As a result, we may allow our symbol a(x, ξ) to grow in x or ξ, as long as the growth rate is under control, namely, in an “at most polynomially” way. ¶ Order functions. Now we introduce a conception that can be used to describe such a polynomial growth. For simplicity we will use the notation 1 hzi := (1 + |z| 2 ) 1/2 for z ∈ R d . Definition 1.1. A measurable function g : R d → R + is called an order function if there exists constants C, N so that for any z, w ∈ R d , (2) m(w) ≤ Chz − wi Nm(z). Note that if we take z = 0, we immediately get m(w) ≤ Chwi N for some constant C and N. So order functions grow at most polynomially. From the definition one immediately get Lemma 1.2. We have (1) If m1, m2 are order functions, so are the functions m1 + m2 and m1m2. (2) If m is an order function, so is the function ma for any a ∈ R. 1Sometimes it is called the “Japanese bracket” of z. It behave like |z| for large z, but it has the advantage that it is smooth and non-vanishing as z → 0. 1
2LECTURE10-10/26/2020 QUANTIZINGGENERALSYMBOLSSome simple examples of order functions:.m(z) = 1.. m(2) = (2).. m(z)=(z),where z =(z1,.,z) for somel ≤ d.. In particular, if d = 2n and a, b e R, then the functionsm(c,s) = (r)(s)bandm(r,s)=(r)°+(s)are order functions.Remark. In microlocal analysis, usually we take d = 2n and thus Rd - Rn x Rn. inwhich case the most widely used order function is (s)N, which, as we will see later,has the advantage that the corresponding symbol class (see definition below) isinvariant under coordinate changes and thus can be defined on manifolds.However,we do use other order functions in semiclassical analysis. The need for h-dependent symbols.We have seen last time that the Moyal product of two h-independent symbolswill be h-dependent in general.Here is another example showing the necessity forintroducingh-dependentsymbols:Erample.Theusual (non-semiclassical)differential operatorP=aDalal<mcan be written asmP=h-mi aa(hD)°,i=0[a|=m-jand thus is a semiclassical pseudo-differential operator with Kohn-Nirenberg symbolp(r,s,h) =h-mE aa(a)s.j=0[a|=m-j(If we don't allow h-dependence, we will not have these operators in our class.) Symbol classesNow we are ready to define symbol classes associated to an order function. Inwhat follows we will assumeh-dependence for the symbol function a.Definition 1.3.Letm be an order function on Rd.(1) We say a e Co(Rd) is in the symbol class S(m) associated to m if for anymulti-index α e Nd, there exists constant C. > O such that for all z E IRd(3)[8°a(z)/ ≤Cam(2)(2) We say a = a(z, h) is in the symbol class S(m) if there exists ho > 0 so thatfor o < h < ho, the function a = a(,h) is in S(m) and the constant Cα in(3) is uniform for all 0 < h < ho
2 LECTURE 10 — 10/26/2020 QUANTIZING GENERAL SYMBOLS Some simple examples of order functions: • m(z) = 1. • m(z) = hzi. • m(z) = hz 0 i, where z 0 = (z1, · · · , zl) for some l ≤ d. • In particular, if d = 2n and a, b ∈ R, then the functions m(x, ξ) = hxi a hξi b and ˜m(x, ξ) = hxi a + hξi b are order functions. Remark. In microlocal analysis, usually we take d = 2n and thus R d z = R n x × R n ξ , in which case the most widely used order function is hξi N , which, as we will see later, has the advantage that the corresponding symbol class (see definition below) is invariant under coordinate changes and thus can be defined on manifolds. However, we do use other order functions in semiclassical analysis. ¶ The need for ~-dependent symbols. We have seen last time that the Moyal product of two ~-independent symbols will be ~-dependent in general. Here is another example showing the necessity for introducing ~-dependent symbols: Example. The usual (non-semiclassical) differential operator P = ❳ |α|≤m aαD α can be written as P = ~ −m ❳m j=0 ~ j ❳ |α|=m−j aα(~D) α , and thus is a semiclassical pseudo-differential operator with Kohn-Nirenberg symbol p(x, ξ, ~) = ~ −m ❳m j=0 ~ j ❳ |α|=m−j aα(x)ξ α . (If we don’t allow ~-dependence, we will not have these operators in our class.) ¶ Symbol classes. Now we are ready to define symbol classes associated to an order function. In what follows we will assume ~-dependence for the symbol function a. Definition 1.3. Let m be an order function on R d . (1) We say a ∈ C ∞(R d ) is in the symbol class S(m) associated to m if for any multi-index α ∈ N d , there exists constant Cα > 0 such that for all z ∈ R d , (3) |∂ α a(z)| ≤ Cαm(z). (2) We say a = a(z, ~) is in the symbol class S(m) if there exists ~0 > 0 so that for 0 < ~ < ~0, the function a = a(·, ~) is in S(m) and the constant Cα in (3) is uniform for all 0 < ~ < ~0
3LECTURE10—10/26/2020QUANTIZINGGENERALSYMBOLS(3) For any k E R and 0 ≤8 ≤1 we let S(m) be the space of functions a(z, h)whichbelongstoS(m)foreachhandsatisfies(4)[0°a(z, h)|≤ Ca-5lal-km(2),where the constants Cais again uniform in h.For example, the class S(1) contains all uniformly bounded smooth functionswith all derivatives uniformly bounded over R2n (and with respect to h e (O,hol)Wewill abbreviateSs(m)=Sg(m), S=S(1),and Ss=Ss(1),Remark. Obviously C S(m) holds for any order function m. Moreover,(1) As in the case of Schwartz functions, one could define semi-norms on S(m)to make it into a Frechet space. Under this topology, the multiplication map.: S(m1) × S(m2)→ S(m1m2),(a1,a2)→a1a2is continuous. Similar result holds for the spaces S(m)(2) Moreover, the inclusion c S(m) is dense in the topology of S((z)em) forany > 0. To see this, for each a E S(m) one just takea;(z) = x)a(zfor some x E with x(0) = 1.Note that in the case =O, we have So(m)=S(m).Wewill omit the subscriptS in S(m) if = 0. So for each k e R we haveS-*(m) = h*S(m).Obviously if ki < k2, then S-ki(m) S-k2(m). In what follows we will denotes-(m) =ns-k(m).Note that a symbol a e S-o(m) if and only if for any multi-index α e Nd and anyN e N, there exists constant Ca,N so that[0a(z, h)/ ≤ Ca,NhNm(z)In particular, a e Sk for any & and any k. It follows that for any d,(5)S-(m) =nS=*(m)
LECTURE 10 — 10/26/2020 QUANTIZING GENERAL SYMBOLS 3 (3) For any k ∈ R and 0 ≤ δ ≤ 1 we let S k δ (m) be the space of functions a(z, ~) which belongs to S(m) for each ~ and satisfies (4) |∂ α a(z, ~)| ≤ Cα~ −δ|α|−km(z), where the constants Cα is again uniform in ~. For example, the class S(1) contains all uniformly bounded smooth functions with all derivatives uniformly bounded over R 2n (and with respect to ~ ∈ (0, ~0]). We will abbreviate Sδ(m) = S 0 δ (m), S = S(1), and Sδ = Sδ(1), Remark. Obviously S ⊂ S(m) holds for any order function m. Moreover, (1) As in the case of Schwartz functions, one could define semi-norms on S(m) to make it into a Fr´echet space. Under this topology, the multiplication map • : S(m1) × S(m2) → S(m1m2), (a1, a2) → a1a2 is continuous. Similar result holds for the spaces S k δ (m). (2) Moreover, the inclusion S ⊂ S(m) is dense in the topology of S(hzi εm) for any ε > 0. To see this, for each a ∈ S(m) one just take aj (z) = χ( z j )a(z) for some χ ∈ S with χ(0) = 1. Note that in the case δ = 0, we have S0(m) = S(m). We will omit the subscript δ in S k δ (m) if δ = 0. So for each k ∈ R we have S −k (m) = ~ kS(m). Obviously if k1 < k2, then S −k1 (m) ⊃ S −k2 (m). In what follows we will denote S −∞(m) = ❭ k S −k (m). Note that a symbol a ∈ S −∞(m) if and only if for any multi-index α ∈ N d and any N ∈ N, there exists constant Cα,N so that |∂ α a(z, ~)| ≤ cα,N ~ Nm(z). In particular, a ∈ S k δ for any δ and any k. It follows that for any δ, (5) S −∞(m) = ❭ k S −k δ (m)
4LECTURE 10-10/26/2020 QUANTIZING GENERAL SYMBOLS2.ASYMPTOTICANALYSISIITAsymptoticseriesforgeneralsymbols.Now we extend the conception of asymptotic series that we introduced at thebeginning of Lecture 5 to asymptotic series of functions that lie in a“decreasingsequence of symbol classes associated to an order function m".Letko<ki<k2<...<kj<...→00be a sequence of increasing real numbers that tends to co.Definition 2.1. If aj E S-k (m), we say a E S-ko(m) is asymptotic to Zj=o aj, andwrite8a~aj,j=0if for every N e N,N(6)1(m)ZajEsSQj=0Note that the similar conceptions introduced in Lecture 5 is a special case withm =1 and k,=j.Again we don't require the formal series Ea, to be convergentfor any h.Remark. Obviously a ~ 0 if and only if a E S-o(m)T Borel's Lemma.The following theorem, named after E. Borel, is crucial in asymptotic analysis,which implies that every power series is the Taylor series of some smooth function:Theorem 2.2 (Borel Lemma). For any sequence aj E S-i(m), where k, is a strictlyincreasing sequence that tends to infinity, there eists a symbol a e S-ko(m) so thatj=0Moreover, a is unique up to an element in S-oo(m).Proof.UniquenessisobviousTo prove the existence, we choose a smooth cut-off function x so that.0≤x≤1on R,: X = 1 on [0, 1],. x = 0 on [2, 00).Define(7)a(r) =x(,h)a;(c),5
4 LECTURE 10 — 10/26/2020 QUANTIZING GENERAL SYMBOLS 2. Asymptotic analysis II ¶ Asymptotic series for general symbols. Now we extend the conception of asymptotic series that we introduced at the beginning of Lecture 5 to asymptotic series of functions that lie in a “decreasing sequence of symbol classes associated to an order function m”. Let k0 < k1 < k2 < · · · < kj < · · · → ∞ be a sequence of increasing real numbers that tends to ∞. Definition 2.1. If aj ∈ S −kj δ (m), we say a ∈ S −k0 δ (m) is asymptotic to P∞ j=0 aj , and write a ∼ ❳∞ j=0 aj , if for every N ∈ N, (6) a − ❳ N j=0 aj ∈ S −kN+1 δ (m). Note that the similar conceptions introduced in Lecture 5 is a special case with m = 1 and kj = j. Again we don’t require the formal series P aj to be convergent for any ~. Remark. Obviously a ∼ 0 if and only if a ∈ S −∞(m). ¶ Borel’s Lemma. The following theorem, named after E. Borel, is crucial in asymptotic analysis, which implies that every power series is the Taylor series of some smooth function: Theorem 2.2 (Borel Lemma). For any sequence aj ∈ S −kj δ (m), where kj is a strictly increasing sequence that tends to infinity, there exists a symbol a ∈ S −k0 δ (m) so that a ∼ ❳∞ j=0 aj . Moreover, a is unique up to an element in S −∞(m). Proof. Uniqueness is obvious. To prove the existence, we choose a smooth cut-off function χ so that • 0 ≤ χ ≤ 1 on R, • χ ≡ 1 on [0, 1], • χ ≡ 0 on [2,∞). Define (7) a(x) = ❳ j χ(λj~)aj (x)
LECTURE10—10/26/2020QUANTIZING GENERAL SYMBOLS5where A, is a sequence to be determined below.We will choose A so that A→ ooas j→ o, with some additional restrictions.Note the fact A, → oo implies thatfor each h the sum (7) is a finite sum. In particular, a is smooth for each h.Additional restriction on 入,: For each multi-index α with Jal ≤ j, we havej-18a]x(,h)[0°ajl ≤Cj,ah5-8lalx(,h)m≤2k,-kj-1Ckj-kj-1mwhere we used the fact x(A,h)(,h)k-kj-1 ≤ 2ks-kj-1. We will choose >, largeenough so that , > >j-1 and so that for all [al ≤ j,2kj-kj-1Cj.a<2-115-5-1It follows that forj≥lal.x(入,h)[0ajl ≤k-1-5[al2-3im.(8)It remains to prove a E S-ko(m) and a ~ Eaj. Fix any α, we have18al≤ 10a;l+ Ix(>,h)0ajlj≤lalj>lal≤ZCj,a*j-0lalm+hhj-1-5jal2-3mj≤lalj>lal≤ Cahho-Jlalm,where we took Ca = Zj<la Cj,a + 1. This proves a E S=ko(m).To prove a ~ aj, we do similar calculations: For any α and any N, we haveN-12N+αlN-1L(a-aj)[0°ajlx(>,h) + 10°ajl + Z[0°a;l(1 -x(A,h))j=0j=Nj=0j=N+/αl+1N+lalN-18Itkj-1-[al2-im +ZCi,ak;-8lalm+ Cj,ahk-5lal(1-x(A,h)m<j=Nj=0j=N+/αl+1N+lalN-1≤hn-8lalm +Ciahkn-3lalm+Cj,ahkj-5lal(Anh)kn-kimi=Nj=(≤ Ca,NtkN-0Jalmfor the constantN+lalN-1kN-kECjaACa.N=1+ Cjiα+j=Ni=0where inthethird lineweused thefactthatfor≤j≤N-l:. if h入w <1, then 1 - x(^,h) = 0;. if 入 ≥1, then 1-x(h)≤1≤(入)-k)
LECTURE 10 — 10/26/2020 QUANTIZING GENERAL SYMBOLS 5 where λj is a sequence to be determined below. We will choose λj so that λj → ∞ as j → ∞, with some additional restrictions. Note the fact λj → ∞ implies that for each ~ the sum (7) is a finite sum. In particular, a is smooth for each ~. Additional restriction on λj : For each multi-index α with |α| ≤ j, we have χ(λj~)|∂ α aj | ≤ Cj,α~ kj−δ|α|χ(λj~)m ≤ 2 kj−kj−1Cj,α ~ kj−1−δ|α| λ kj−kj−1 j m where we used the fact χ(λj~)(λj~) kj−kj−1 ≤ 2 kj−kj−1 . We will choose λj large enough so that λj > λj−1 and so that for all |α| ≤ j, 2 kj−kj−1Cj,α λ kj−kj−1 j ≤ 2 −j . It follows that for j ≥ |α|, (8) χ(λj~)|∂ α aj | ≤ ~ kj−1−δ|α| 2 −jm. It remains to prove a ∈ S −k0 δ (m) and a ∼ P aj . Fix any α, we have |∂ α a| ≤ ❳ j≤|α| |∂ α aj | + ❳ j>|α| |χ(λj~)∂ α aj | ≤ ❳ j≤|α| Cj,α~ kj−δ|α|m + ❳ j>|α| ~ kj−1−δ|α| 2 −jm ≤ Cα~ k0−δ|α|m, where we took Cα = P j≤|α| Cj,α + 1. This proves a ∈ S −k0 δ (m). To prove a ∼ P aj , we do similar calculations: For any α and any N, we have ☞ ☞ ☞ ☞ ☞ ☞ ∂ α (a − N ❳−1 j=0 aj ) ☞ ☞ ☞ ☞ ☞ ☞ ≤ ❳∞ j=N+|α|+1 |∂ α aj |χ(λj~) + N ❳ +|α| j=N |∂ α aj | + N ❳−1 j=0 |∂ α aj |(1 − χ(λj~)) ≤ ❳∞ j=N+|α|+1 ~ kj−1−δ|α| 2 −jm + N ❳ +|α| j=N Cj,α~ kj−δ|α|m + N ❳−1 j=0 Cj,α~ kj−δ|α| (1−χ(λj~))m ≤~ kN −δ|α|m + N ❳ +|α| j=N Cj,α~ kN −δ|α|m + N ❳−1 j=0 Cj,α~ kj−δ|α| (λN ~) kN −kjm ≤ Cα,N ~ kN −δ|α|m for the constant Cα,N = 1 + N ❳ +|α| j=N Cj,α + N ❳−1 j=0 Cj,αλ kN −kj N , where in the third line we used the fact that for 0 ≤ j ≤ N − 1: • if ~λN ≤ 1, then 1 − χ(λj~) = 0; • if ~λN ≥ 1, then 1 − χ(λj~) ≤ 1 ≤ (~λN ) kN −kj