Abstract
We consider differential operators defined as Friedrichs extensions of quadratic forms with non-smooth coefficients. We prove a two-term optimal asymptotic for the Riesz means of these operators and thereby also reprove an optimal Weyl law under certain regularity conditions. The methods used are then extended to consider more general admissible operators perturbed by a rough differential operator and to obtain optimal spectral asymptotics again under certain regularity conditions. For the Weyl law, we assume that the coefficients are differentiable with Hölder continuous derivatives, while for the Riesz means we assume that the coefficients are twice differentiable with Hölder continuous derivatives.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we will study (uniformly) elliptic self-adjoint differential operators \(A(\hbar )\) acting in \(L^2({\mathbb {R}}^d)\) defined as Friedrichs extensions of sesquilinear forms given by
where \(\hbar >0\) is the semiclassical parameter, \({\mathcal {D}}( {\mathcal {A}}_\hbar )\) is the associated form domain. For \(\alpha \in {\mathbb {N}}_0^d\), we have used the standard notation
Our exact assumptions on the functions \(a_{\alpha \beta }\) will be stated later in Assumption 1.2. For \(\gamma \) in [0, 1] we will analyse the asymptotics, as \(\hbar \) tends to zero, of the traces
where we have used the notation \((x)_{-} = \max (0,-x)\). In the case \(\gamma =0\) we use the convention that \((x)_{-}^0 = {\varvec{1}}_{(-\infty ,0]}(x)\), where \({\varvec{1}}_{(-\infty ,0]}\) is the characteristic function for the set \((-\infty ,0]\). There are no technical obstructions in considering higher values of \(\gamma \), but more regularity of the coefficients will be needed to obtain sharp remainder estimates.
In the literature, these kinds of traces are called Riesz means when \(\gamma >0\), and counting functions when \(\gamma =0\). Both objects have been studied extensively in the literature in different variations. For background on the Weyl law (asymptotic expansions of the counting function) and the connection to physics we refer the reader to the surveys [1,2,3].
In the case of smooth coefficients and with some regularity conditions it was first proven in [4] by Helffer and Robert that an estimate of the following type
holds, where
and \(\lambda _0\) is a number such that there exists a number \(\lambda >\lambda _0\) for which \(a_0^{-1}((-\infty ,\lambda ])\) is compact. Moreover, \(\lambda _0\) is assumed to be non-critical for \(a_0(x,p)\). A number \(\lambda _0\) is a non-critical value when
From here on, we will always use the notation that \(a_0(x,p)\) is given by (1.4), when we are working with a sesquilinear form \( {\mathcal {A}}_\hbar \) given by (1.1). In fact, Helffer and Robert proved (1.3) for a larger class of pseudo-differential operators in [4]. The high energy analog was proven by Hörmander in [5], where the operator was defined to act in \(L^2(M)\), and M is a smooth compact manifold without boundary. For the Riesz means an asymptotic expansion was obtained by Helffer and Robert in [6] under the same conditions as above and again, for this larger class of pseudo-differential operators. For the high energy case, Riesz means were studied by Hörmander in [7].
When considering the assumptions above one question immediately arises:
-
1.
labelMainspsquestionsps1 What happens if the coefficients are not smooth? Can such results still be proven with optimal errors?
A considerable body of literature have been devoted to these questions. Most prominent are the works of Ivrii [2, 8,9,10,11,12,13,14] and Zielinski [15,16,17,18,19,20,21,22,23]. A more detailed review of the literature will be given in section 1.3 after presenting the result obtained in this work.
1.1 Assumptions and main results I
Before we state our assumptions and results on the Riesz means we need the following definition to clarify terminology.
Definition 1.1
For k in \({\mathbb {N}}\) and \(\mu \) in (0, 1] we denote by \(C^{k,\mu }({\mathbb {R}}^d)\) the subspace of \(C^{k}({\mathbb {R}}^d)\) defined by
In the case \(\mu =0\) we use the convention
We will make the following assumption on the sesquilinear form, for both the Weyl law and the Riesz means.
Assumption 1.2
(Tempered variation model) Let \((k,\mu )\) be numbers in \({\mathbb {N}}\times [0,1]\) and \({\mathcal {A}}_\hbar \) be a sesquilinear form given by
Assume the coefficients \(a_{\alpha \beta }(x)\) are in \(C^{k,\mu }({\mathbb {R}}^d)\) and satisfy that \(a_{\alpha \beta }(x) = \overline{a_{\beta \alpha }(x)}\) for all multi-indices \(\alpha \) and \(\beta \). Moreover, for all multi-indices \(\alpha \) and \(\beta \) assume that
-
1.
labelass.symbolsps1 There is a \(\zeta _0>0\) such that \(\min _{x\in {\mathbb {R}}^d}(a_{\alpha \beta }(x))> - \zeta _0\).
-
2.
There is a \(\zeta _1>\zeta _0\) and \(C_1,M>0\) such that
$$\begin{aligned} a_{\alpha \beta }(x) + \zeta _1 \le C_1(a_{\alpha \beta }(y)+\zeta _1)(1+|x-y|)^M, \end{aligned}$$for all x, y in \({\mathbb {R}}^d\).
-
3.
For all \(\delta \) in \({\mathbb {N}}_0^d\) with \(|\delta |\le k\) there is a \(c_\delta >0\) such that
$$\begin{aligned} \left| \partial _{x}^\delta a_{\alpha \beta }(x) \right| \le c_\delta (a_{\alpha \beta }(x) + \zeta _1). \end{aligned}$$
Suppose finally that there exists a constant \(C_2\) such that
for all (x, p) in \({\mathbb {R}}^d_x\times {\mathbb {R}}_p^d\).
The assumption for the coefficients to be in \(C^{k,\mu }({\mathbb {R}}^d)\) is is needed to get optimal asymptotic results. The assumption \(a_{\alpha \beta }(x) = \overline{a_{\beta \alpha }(x)}\) is made to ensure the form is symmetric. The assumptions 1–3 ensure that the coefficients are of tempered variation. Assumption 2 is the condition that for all \(\alpha \) and \(\beta \), \(a_{\alpha \beta }(x) + \zeta _1\) is a tempered weight. Note that due to the semiclassical structure of the problem these assumptions are needed to be true for all \(\alpha \) and \(\beta \) and not just \(|\alpha |=|\beta |=m\), as it is the case in the high energy asymptotics. The “ellipticity” assumption (1.5) helps ensure the existence of eigenvalues.
We can now state our two main results. Firstly we have that
Theorem 1.3
Let \(A(\hbar )\) be the Friedrichs extension of a sesquilinear form \({\mathcal {A}}_\hbar \) which satisfies Assumption 1.2 with the numbers \((1,\mu )\) where \(\mu >0\). Suppose there is a \(\nu >0\) such that the set \(a_0^{-1}((-\infty ,\nu ])\) is compact and there is \(c>0\) such that
Then we have
for all sufficiently small \(\hbar \).
Remark 1.4
The assumption that there is a \(\nu >0\) such that the set \(a_0^{-1}((-\infty ,\nu ])\) is compact is needed to ensure that we only have pure point spectrum in \((-\infty ,0]\). Due to the ellipticity assumption this is in fact an assumption on the coefficients \(a_{\alpha \beta }(x)\).
Furthermore, for the Reisz means with \(\gamma \) in (0, 1] we have
Theorem 1.5
Assume \(\gamma \) is in (0, 1] and let \(A(\hbar )\) be the Friedrichs extension of a sesquilinear form \({\mathcal {A}}_\hbar \) which satisfies Assumption 1.2 with the numbers \((2,\mu )\). If \(\gamma =1\) we suppose \(\mu >0\) and if \(\gamma <1\) we suppose \(\mu =0\). Lastly, suppose there is a \(\nu >0\) such that the set \(a_0^{-1}((-\infty ,\nu ])\) is compact and that there is \(c>0\) such that
Then we have
for all sufficiently small \(\hbar \) where \(a_1(x,p)\) is defined as
and \(\eta _j\) is the multi-index with all entries equal zero except the j’th which is equal one.
Remark 1.6
In the case when \(\gamma \le \frac{1}{3}\) we may assume that the coefficients are in \(C^{1,\mu }({\mathbb {R}}^d)\), with \(\mu \ge \frac{2\gamma }{1-\gamma }\) and still obtain sharp estimates. Further details are given in Remark 6.7.
There is no technical obstruction in considering larger values of \(\gamma \). For a \(\gamma >1\) we will need the coefficients to be in \(C^{\lceil \gamma \rceil ,0}\) if \(\gamma \) is not an integer in general. If \(\gamma \) is an integer we will need the coefficients to be in \(C^{\gamma ,\mu }({\mathbb {R}}^d)\) for some \(\mu >0\). For both cases, the expansions will also consist of \(\lceil \gamma \rceil +1\) terms, where these terms can be calculated explicitly.
Example 1.7
Let A(x) be a \(d\times d\)–dimensional symmetric matrix and suppose that A(x) is positive definite for all x in \({\mathbb {R}}^d\). We assume that each entry \(a_{ij}(x)\) of A(x) is in \(C^{1,\mu }({\mathbb {R}}^d)\), where \(\mu >0\), and satisfies assumption 1–3 from Assumption 1.2. We will further assume that \(\det (A(x)) \ge c(1+ |x|^2)^{d+1}\) for all x. We want to estimate the number of eigenvalues less than or equal to \(E^2\) for the second order differential operator with quadratic form
In this example we will denote this number by \({\mathcal {N}}(E^2)\). This is equivalent to counting the number of eigenvalues less than or equal to zero for the operator with quadratic form
Treating \(E^{-1}\) as the semiclassical parameter, it is a simple calculation to check that all assumptions for Theorem 1.3 are satisfied. This gives us that
for E suffciently large. Note that the phase space integral has this more familiar form
where \(\text {Vol} _d(B(0,1))\) is the d-dimensional volume of the unit ball.
1.2 Assumptions and main results II
The main motivation and the novel results, in this work are, to the best of the author’s knowledge, the following results, where we consider the spectral asymptotic of admissible operators perturbed by differential operators defined as Friedrichs extensions of sesquilinear forms with non-smooth coefficients. We will need some regularity conditions on the admissible operator, which will be the same as the assumption made in [24, Chapter 3]. We will here recall them:
Assumption 1.8
For \(\hbar \) in \((0,\hbar _0]\) let \(B(\hbar )\) be an admissible operator with tempered weight m and symbol
Assume that
-
1.
labelass.opsps1 The operator \(B(\hbar )\) is symmetric on \({\mathcal {S}}({\mathbb {R}}^d)\) for all \(\hbar \) in \((0,\hbar _0]\).
-
2.
There is a \(\zeta _0>0\) such that
$$\begin{aligned} \min _{(x,p)\in {\mathbb {R}}^d\times {\mathbb {R}}^d}(b_0(x,p))> - \zeta _0. \end{aligned}$$ -
3.
There is a \(\zeta _1>\zeta _0\) such that \(b_0+\zeta _1\) is a tempered weight and \(b_j\) is in \(\Gamma _{0,1}^{b_0+\zeta _1} \left( {\mathbb {R}}^{2d}\right) \).
The definition of a tempered weight is recalled in Sect. 3, where the definition of the space \(\Gamma _{0,1}^{b_0+\zeta _1} \left( {\mathbb {R}}^{2d}\right) \) is also given. We can now state the second set of main theorems.
Theorem 1.9
Let \(B(\hbar )\) be an admissible operator satisfying Assumption 1.8 with \(\hbar \) in \((0,\hbar _0]\) and \({\mathcal {A}}_\hbar \) be a sesquilinear form satisfying Assumption 1.2 with the numbers \((1,\mu )\) with \(\mu >0\).
Define the operator \({\tilde{B}}(\hbar )\) as the Friedrichs extension of the form sum \(B(\hbar ) + {\mathcal {A}}_\hbar \) and let
We suppose there is a \(\nu \) such that \({\tilde{b}}_0^{-1}((-\infty ,\nu ])\) is compact and there is \(c>0\) such that
Then we have
for all sufficiently small \(\hbar \).
We also obtain asymptotic expansions for Riesz means for this type of operator.
Theorem 1.10
Assume \(\gamma \) is in (0, 1]. Let \(B(\hbar )\) be an admissible operator satisfing Assumption 1.8 with \(\hbar \) in \((0,\hbar _0]\) and \({\mathcal {A}}_\hbar \) be a sesquilinear form satisfying Assumption 1.2 with the numbers \((2,\mu )\). If \(\gamma =1\) we suppose \(\mu >0\) and if \(\gamma <1\) we may suppose \(\mu =0\).
Define the operator \({\tilde{B}}(\hbar )\) as the Friedrichs extension of the form sum \(B(\hbar ) + {\mathcal {A}}_\hbar \) and let
We suppose there is a \(\nu \) such that \({\tilde{b}}_0^{-1}((-\infty ,\nu ])\) is compact and there is \(c>0\) such that
Then we have
for all sufficiently small \(\hbar \) where the symbol \({\tilde{b}}_1(x,p)\) is defined as
1.3 Previous work
The first results with an optimal Weyl law without full regularity was proven in the papers [15,16,17,18] by Zielinski. In these papers Zielinski obtained an optimal Weyl law under the assumption that the coefficients are differentiable with Lipschitz continuous first derivative. Zielinski did not consider the semiclassical setting in those papers. These results were generalised by Ivrii in the semiclassical setting in [13]. Here the coefficients are assumed to be differentiable and with a Hölder continuous first derivative. This was further generalised by Bronstein and Ivrii in [8], where they reduced the assumptions further by assuming the first derivative to have modulus of continuity \({\mathcal {O}}(|\log (x-y)|^{-1})\). All these papers considered differential operators acting in \(L^2(M)\), where M is a compact manifold either with or without boundary. In [19], Zielinski considers the semiclassical setting with differential operators acting in \(L^2({\mathbb {R}}^d)\) and proves an optimal Weyl Law under the assumption that all coefficients are one time differentiable with a Hölder continuous derivative. Moreover, he assumes that the coefficients and the derivatives are bounded. However, he remarkes that it is possible to consider unbounded coefficients in a framework of tempered variation models. As we have seen above this is indeed the case and thereby this minor technical generalisation is proven.
Another question one could ask is: Can such results be obtained without a non-critical condition? This question has also been studied in the literature. The result is, that it is possible to prove, for Schrödinger operators, optimal Weyl laws without a non-critical condition by using a multiscale argument (see [8,9,10,11]). This approach is also described in [25]. This multiscale argument can be seen as a discrete approach and a continuous version has been proved and used in [26]. The essence of this approach is to localise and introduce a locally non-critical condition by unitary conjugation. Then, by an optimal Weyl law with a non-critical condition, one locally obtains the right asymptotics. The last step is to average out the localisations. Ivrii has also considered multiscale analysis for higher order differential operators but, to treat these cases, extra assumptions on the Hessian of the principal symbol is needed (see [10, 12]). There is also another approach by Zielinski (see [20,21,22]), where he proves optimal Weyl laws without a non-critical condition, but with an extra assumption on a specific phase space volume.
In the case of Riesz means, sharp remainder estimates for the asymptotic expansions have been obtained by Bronstein and Ivrii in [8], for the case of differential operators acting in \(L^2(M)\), where M is a compact closed manifold. However, it is mentioned in a remark in [8] that the results of the paper need to be combined with the methods in section 4.3 in [9] to obtain the reminder estimate for the Riesz means. Results on Riesz means can also be found in [10, Chapter 4] by Ivrii. Again, this is for differential operators acting in \(L^2(M)\), where M is a compact closed manifold. In chapter 11 of [10], also unbounded domains are considered, but in the large eigenvalue/high energy case. In [10, Chapter 11] all results are stated for “smooth” coefficients. However, it is remarked that the case of non-smooth coefficients is left to the reader. The results given here on the Reisz means for differential operators associated to quadratic forms are a generalisation of previous known results.
To summarise the relation between the results obtained in this manuscript and previous known results: the results obtained here in Theorem 1.3 are a technical generalisation of previous known results, as we allow for unbounded coefficients and non-compact domains. The results obtained in Theorem 1.5 have been mentioned in a remark by Bronstein and Ivrii in [8] for operators on compact bounded manifolds. However, they have not been written and proven previously in the case of unbounded coefficients and on non-compact domains before, to the best of the author’s knowledge. The second set of main results (Theorems 1.9 and 1.10) has not been discussed/treated in the existing literature–again to the best of the author’s knowledge.
2 Preliminaries and notation
2.1 Notation and definitions
Here, we will mainly set up the non-standard notation used and some definitions. In the following, we will use the notation
for x in \({\mathbb {R}}^d\) and not the usual bracket notation. Moreover, for more vectors \(x_1,x_2,x_3\) from \({\mathbb {R}}^d\) we will use the convention
and similar in the case of 2 or even more vectors. For the natural numbers, we use the following conventions
When working with the Fourier transform, we will use the following semiclassical version for \(\hbar >0\)
and with inverse given by
where \(\varphi \) and \(\psi \) are elements of \({\mathcal {S}}({\mathbb {R}}^d)\).
We will by \({\mathcal {L}}({\mathcal {B}}_1,{\mathcal {B}}_2)\) denote the linear bounded operators from the space \({\mathcal {B}}_1\) into \({\mathcal {B}}_2\) and \({\mathcal {L}}({\mathcal {B}}_1)\) denotes the linear bounded operators from the space \({\mathcal {B}}_1\) into itself. For an operator A acting in a Hilbert space we will denote the spectrum of A by
As we will later need stationary phase asymptotics, we will for sake of completeness recall it here.
Proposition 2.1
Let B be a invertible, symmetric real \(n\times n\) matrix and \((u,v)\rightarrow a(u,v;\hbar )\) be a function in \(C^\infty ({\mathbb {R}}_u^{d} \times {\mathbb {R}}_v^{n})\) for all \(\hbar \) in \((0,\hbar _0]\). We suppose \(v\rightarrow a(u,v;\hbar )\) has compact support for all u in \({\mathbb {R}}_u^{d}\) and \(\hbar \) in \((0,\hbar _0]\). Moreover we let
Then for each N in \({\mathbb {N}}\) we have
where \(\text {sgn} (B)\) is the difference between the number of positive and negative eigenvalues of B. Moreover there exists a constant \(c_n\) only depending on the dimension such that the error term \(R_{N+1}\) satisfies the bound
where \( [\tfrac{n}{2}]\) is the integer part of \(\tfrac{n}{2}\) and \(\Vert \cdot \Vert _{H^{[\tfrac{n}{2}]+1}({\mathbb {R}}_v^n)}\) is the Sobolev norm.
A proof of the proposition can be found in e.g. [23, 24]. For the sesquilinear forms we consider we will use the following terminology.
Definition 2.2
For a sesquilinear form \({\mathcal {A}}_\hbar \) given by
we call a number E in \({\mathbb {R}}\) non-critical if there exists \(c>0\) such that
where
Definition 2.3
A sesquilinear form \({\mathcal {A}}_\hbar \) given by
is called elliptic if there exists a strictly positive constant C such that
for all (x, p) in \({\mathbb {R}}^d_x\times {\mathbb {R}}_p^d\).
2.2 Approximation of quadratic forms
Here, we will construct our approximating (framing) quadratic forms, and prove that some properties, of the original quadratic form, can be inherited by the approximations. The construction is similar to the constructions used in [8, 9, 12, 14, 19] for their framing operators. The first example, of approximation of non-smooth coefficients in this way, appeared in [27], to the author’s knowledge. The crucial part in this construction is Proposition 2.4, for which a proof can be found in [8, 10].
Proposition 2.4
Let f be in \(C^{k,\mu }({\mathbb {R}}^d)\) for a \(\mu \) in [0, 1]. Then for every \(\varepsilon >0\) there exists a function \(f_\varepsilon \) in \(C^\infty ({\mathbb {R}}^d)\) such that
where the constants is independent of \(\varepsilon \).
The function \(f_\varepsilon \) is a smoothing (mollification) of f. Usually this is done by convolution with a compactly supported smooth function. However, here one uses a Schwartz function in the convolution in order to ensure the stated error terms. The convolution with a compactly supported smooth function will in most cases “only” give an error of order \(\varepsilon \). The ideas used to construct the approximating or framing quadratic forms are of the same type as the ideas used to construct the framing operators in [19].
Proposition 2.5
Let \({\mathcal {A}}_\hbar \) be an elliptic sesquilinear form given by
Assume the coefficients \(a_{\alpha \beta }(x)\) are in \(C^{k,\mu }({\mathbb {R}}^d)\), for a pair \((k,\mu )\) in \({\mathbb {N}}\times [0,1]\), bounded from below and satisfies that \(a_{\alpha \beta }(x) = \overline{a_{\beta \alpha }(x)}\) for all multi-indices \(\alpha \) and \(\beta \). Then for all \(\varepsilon >0\) there exists a pair of sesquilinear forms \({\mathcal {A}}_{\hbar ,\varepsilon }^{+}\) and \({\mathcal {A}}_{\hbar ,\varepsilon }^{-}\) such that
for all \(\varphi \) in \({\mathcal {D}}( {\mathcal {A}}_\hbar )\). Moreover, for all sufficiently small \(\varepsilon \) the sesquilinear forms \({\mathcal {A}}_{\hbar ,\varepsilon }^{\pm }\) will be elliptic. If E is a non-critical value of \( {\mathcal {A}}_{\hbar }\) then E will also be non-critical for \({\mathcal {A}}_{\hbar ,\varepsilon }^{\pm }\) for all \(\varepsilon \) sufficiently small. The sesquilinear forms \({\mathcal {A}}_{\hbar ,\varepsilon }^{\pm }\) is explicit given by
where \(a_{\alpha \beta }^\varepsilon (x)\) are the smoothed functions of \(a_{\alpha \beta }(x)\) according to Proposition 2.4 and \(C_1\) is some positive constant.
Proof
We start by considering the form \( {\mathcal {A}}_{\hbar ,\varepsilon }\) given by
where we have replaced the coefficients of \( {\mathcal {A}}_{\hbar }\) with smooth functions made according to Proposition 2.4. For \(\varphi \) in \({\mathcal {D}}( {\mathcal {A}}_{\hbar }) \cap {\mathcal {D}}( {\mathcal {A}}_{\hbar ,\varepsilon })\) we have by Cauchy-Schwarz inequality that
where we in the last inequality have used Proposition 2.4. From this inequality, we get that \({\mathcal {D}}( {\mathcal {A}}_{\hbar })= {\mathcal {D}}( {\mathcal {A}}_{\hbar ,\varepsilon })\). We recognise the last bound in (2.5) as the quadratic form associated to \((I-\hbar ^2\Delta )^m\). Hence for sufficiently large value of the constant \(C_1\) we can choose the approximating forms \( {\mathcal {A}}_{\hbar ,\varepsilon }^{\pm }\) to be given by (2.4) such that
for all \(\varphi \) in \({\mathcal {D}}( {\mathcal {A}}_\hbar )\).
In order to show, that we can choose the forms \( {\mathcal {A}}_{\hbar ,\varepsilon }^{\pm }\) elliptic, we note that
for sufficiently small \(\varepsilon \) and all (x, p) in \({\mathbb {R}}_x^d\times {\mathbb {R}}_p^d\). This gives us that both forms \( {\mathcal {A}}_{\hbar ,\varepsilon }^{\pm }\) are elliptic.
For the last part we assume E is a non-critical value for the form \( {\mathcal {A}}_{\hbar }\). That is there exist a \(c>0\) such that
where
In order to prove, that E is a non-critical value for the framing forms, we need to find an expression for \(a_{\varepsilon ,0}^{-1}(\{E\})\) for the framing operators. Here, we have omitted the \(+\) and − in the notation. By the ellipticity, in the following calculations we can assume, with out loss of generality, that p belongs to a bounded set. We have
Since we can assume p to be in a compact set we have that
This combined with (2.8) implies the inclusion
Hence by continuity of \(a_0(x,p)\) we get for all sufficiently small \(\varepsilon \) the inclusion
For a point \((x,p)\in \big \{ (x,p) \in {\mathbb {R}}^{2d} \, |\, a_{\varepsilon ,0}(x,p) =E \big \}\) we have
Since we can assume p to be contained in a compact set, we have that
Combining this with (2.9) and (2.10) we get that
where the last inequality is for \(\varepsilon \) sufficiently small. This inequality proves E is also a non-critical value of the framing forms. \(\square \)
The framing forms constructed, in the previous proposition, are forms with smooth coefficients. But, when we take derivatives of these coefficients, we start to get negative powers of \(\varepsilon \) from some point. Hence, we cannot associate a “classic” pseudo-differential operator to the form. We will instead in the following sections consider a “rough” theory for pseudo-differential operators. Here we will see that it is in fact possible to verify most of the results from classic theory of pseudo-differential operators in this rough theory. After this has been developed, we will return to these framing forms.
As a last remark of this section, note that there is no unique way to construct these framing forms.
3 Definitions and properties of rough pseudo-differential operators
In this section we will, inspired by the approximation results in the previous section, define a class of pseudo-differential operators with rough symbols. We will further state and prove some of the properties for these operators. The definitions are very similar to the definitions in the monograph [24] and we will see that the properties of these operators can be deduced from the results in the monograph [24].
3.1 Definition of rough operators and rough symbols
We start, for the sake of completeness, by recalling the definition of a tempered weight function.
Definition 3.1
A tempered weight function on \({\mathbb {R}}^D\) is a continuous function
for which there exist positive constants \(C_0\), \(N_0\) such that for all points \(x_1\) in \({\mathbb {R}}^D\) the estimate
holds for all points x in \({\mathbb {R}}^D\).
For our purpose here, we will consider the cases where \(D=2d\) or \(D=3d\). These types of functions are in the literature sometimes called order functions. This is the case in the monographs [23, 28]. But we have chosen the name tempered weights to align with the terminology in the monographs [24, 29]. We can now define the symbols, we will be working with.
Definition 3.2
(Rough symbol) Let \(\Omega \subseteq {\mathbb {R}}_x^d \times {\mathbb {R}}_p^d \times {\mathbb {R}}_y^d\) be open, \(\rho \) be in [0, 1], \(\varepsilon >0\), \(\tau \) be in \({\mathbb {Z}}\) and m a tempered weight function on \({\mathbb {R}}_x^d \times {\mathbb {R}}_p^d \times {\mathbb {R}}_y^d\). We call a function \(a_\varepsilon \) a rough symbol of regularity \(\tau \) with weights \((m,\rho , \varepsilon )\) if \(a_\varepsilon \) is in \(C^{\infty }(\Omega )\) and satisfies that
for all (x, p, y) in \(\Omega \) and \(\alpha \), \(\beta \), \(\gamma \) in \({\mathbb {N}}^d\), where the constants \(C_{\alpha \beta \gamma }\)’s do not depend on \(\varepsilon \). The space of these functions is denoted \(\Gamma _{\rho ,\varepsilon }^{m,\tau } \left( \Omega \right) \).
Remark 3.3
The space \(\Gamma _{\rho ,\varepsilon }^{m,\tau } \left( \Omega \right) \) can be turned into a Fréchet space with semi norms associated to the estimates in (3.1). It is important to note that the semi norms on \(\Gamma _{\rho ,\varepsilon }^{m,\tau } \left( \Omega \right) \) should be chosen weighted such that the norms associated to a set of numbers \(\alpha ,\beta ,\gamma \) will be bounded by the constant \(C_{\alpha \beta \gamma }\) and hence independent of \(\varepsilon \).
If \(\varepsilon \) is equal to 1, then these symbols are the same as the symbols defined in the monograph [24] (Definition II-10). We will always assume \(\varepsilon \le 1\) as we are interested in the cases of very small \(\varepsilon \).
We will later call a function \(a_\varepsilon (x,p)\) or \(b_\varepsilon (p,y)\) a rough symbol if it satisfies the above definition in the two variables x and p or p and y. This more general definition is made in order to define the different forms of quantisation and the interpolation between them. If we say a symbol of regularity \(\tau \) with tempered weight m we implicit assume that \(\rho =0\). This type of rough symbols is contained in the class of rough symbols considered in [10, Section 2.3 and 4.6].
Remark 3.4
We will later assume, that a rough symbol is a tempered weight. When this is done, we will implicitly assume, that the constants from the definition of a tempered weight is independent of \(\varepsilon \). This is an important assumption since we need the estimates we make to be uniform for \(\hbar \) in \((0,\hbar _0]\) with \(\hbar _0>0\) sufficiently small. Then for a choice of \(\delta \) in (0, 1), we also need the estimates to be uniform for \(\varepsilon \) in \([\hbar ^{1-\delta },1]\).
Essentially the constants will be uniform for both \(\hbar \) in \((0,\hbar _0]\) and \(\varepsilon \) in (0, 1], but if \(\varepsilon \le \hbar \) then the estimates will diverge in the semiclassical parameter. Hence we will assume the lower bound on \(\varepsilon \). The assumption that \(\varepsilon \ge \hbar ^{1-\delta }\) is called a microlocal uncertainty principal in [9, Chapter 6 Section 4] and [10, Vol I Section 1.1]. It is also in both cases mentioned in the introduction. In [9, 10] there are two parameter instead of just one. This other parameter can be used to scale in the p-variable.
As we are interested in asymptotic expansions in the semiclassical parameter, we will define \(\hbar \)-\(\varepsilon \)-admissible symbols. These are symbols depending on the semiclassical parameter \(\hbar \), for which we can make an expansion in \(\hbar \).
Definition 3.5
We use the notation from Definition 3.2. We call a symbol \(a_\varepsilon (\hbar )\) \(\hbar \)-\(\varepsilon \)-admissible of regularity \(\tau \) with weights \((m,\rho , \varepsilon )\) in \(\Omega \), if for fixed \(\varepsilon \) and a \(\hbar _0>0\) the map that takes \(\hbar \) into \(a_\varepsilon (\hbar )\) is smooth from \((0,\hbar _0]\) into \(\Gamma _{\rho ,\varepsilon }^{m,\tau } \left( \Omega \right) \) such that there exists a \(N_0\) in \({\mathbb {N}}\) such for all \(N\ge N_0\) we have
where \(a_{\varepsilon ,j}\) is in \(\Gamma _{\rho ,\varepsilon ,-2j}^{m,\tau _j} \left( \Omega \right) \) with the notation \(\tau _j=\tau -j\) and \(r_{\varepsilon ,N}\) is a symbol satisfying the bounds
where \(\kappa _1\) is a positive strictly increasing function and \(\kappa _2\) is non-decreasing function. For k in \({\mathbb {Z}}\) \(\Gamma _{\rho ,\varepsilon ,k}^{m,\tau } \left( \Omega \right) \) is the space of rough symbols of regularity \(\tau \) with weights \((m(1+|(x,y,p)|)^{k\rho },\rho , \varepsilon )\).
Remark 3.6
We will also use the terminology \(\hbar \)-\(\varepsilon \)-admissible for symbols in two variables, where the definition is the same just in two variables. This definition is slightly different from the “usual” definition of an \(\hbar \)-admissible symbol [24, Definition II-11]. One difference is in the error term.
The functions \(\kappa _1\) and \(\kappa _2\) will in most cases be dependent on the regularity \(\tau \), the dimension d and the tempered weight function through the constants in the definition of a tempered weight. It should be noted that the function \(\kappa _2\) might be constant negative.
We will now define the pseudo-differential operators associated with the rough symbols. We will call them rough pseudo-differential operators.
Definition 3.7
Let m be a tempered weight function on \({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p\times {\mathbb {R}}_y^d\), \(\rho \) in [0, 1], \(\varepsilon >0\) and \(\tau \) in \({\mathbb {Z}}\). For a rough symbol \(a_\varepsilon \) in \(\Gamma _{\rho ,\varepsilon }^{m,\tau }({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p\times {\mathbb {R}}_y^d)\) we associate the operator \(\text {Op} _\hbar (a_\varepsilon )\) defined by
for \(\psi \) in \({\mathcal {S}}({\mathbb {R}}^d)\).
Remark 3.8
We use the notation from Definition 3.7. We remark that the integral in the definition of \(\text {Op} _\hbar (a_\varepsilon )\psi (x)\) shall be considered as an oscillating integral. By applying the techniques for oscillating integrals it can be proven that \(\text {Op} _\hbar (a_\varepsilon )\) is a continuous linear operator from \({\mathcal {S}}({\mathbb {R}}^d)\) into itself. The proof of this is analogous to the proof in [24] in the non-rough case. By duality it can also be defined as an operator from \({\mathcal {S}}'({\mathbb {R}}^d)\) into \({\mathcal {S}}'({\mathbb {R}}^d)\).
Definition 3.9
We call an operator \(A_\varepsilon (\hbar )\) from \({\mathcal {L}}({\mathcal {S}}({\mathbb {R}}^d),L^2({\mathbb {R}}^d))\) \(\hbar \)-\(\varepsilon \)-admissible of regularity \(\tau \ge 0\) with tempered weight m if for fixed \(\varepsilon \) and a \(\hbar _0>0\) the map
is smooth and there exists a sequence \(a_{\varepsilon ,j}\) in \(\Gamma _{0,\varepsilon }^{m,{\tau _j}}({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p\times {\mathbb {R}}_y^d)\), where \(\tau _0=\tau \) and \(\tau _{j+1}= \tau _j-1\) and a sequence \(R_N\) in \({\mathcal {L}}(L^2({\mathbb {R}}^d))\) such that for \(N\ge N_0\), \(N_0\) sufficient large,
and
for a strictly positive increasing function \(\kappa \).
Remark 3.10
By the results in Theorem 3.25 we have that if the tempered weight function m is in \(L^\infty ({\mathbb {R}}^d)\). Then for a \(\hbar \)-\(\varepsilon \)-admissible symbol \(a_\varepsilon (\hbar )\) of regularity \(\tau \ge 0\) with tempered weight m the operator \(A_\varepsilon (\hbar )=\text {Op} _\hbar (a_\varepsilon (\hbar ))\) is a \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \).
Remark 3.11
When we have an operator \( A_\varepsilon (\hbar )\) with an expansion
where the sum is understood as a formal sum. That is for all N sufficiently large there exists \(R_N\) in \({\mathcal {L}}(L^2({\mathbb {R}}^d))\), such that the operator is of the same form as in (3.2). Then we call the symbol \(a_{\varepsilon ,0}\) the principal symbol and the symbol \(a_{\varepsilon ,1}\) the subprincipal symbol.
Definition 3.12
Let \(A_\varepsilon (\hbar )\) be a \(\hbar \)-\(\varepsilon \)-admissible of regularity \(\tau \) with tempered weight m. For any t in [0, 1] we call all \(\hbar \)-\(\varepsilon \)-admissible symbols \(b_\varepsilon (\hbar )\) in \(\Gamma _{0,\varepsilon }^{m,\tau }({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p)\) such that,
for all \(\psi \in {\mathcal {S}}({\mathbb {R}}^d)\) and all \(\hbar \in ]0,\hbar _0]\), where \(\hbar _0\) is a strictly positive number, rough t-\(\varepsilon \)-symbols of regularity \(\tau \) associated to \(A_\varepsilon (\hbar )\).
Notation 3.13
In general for a symbol \(b_\varepsilon (\hbar )\) in \(\Gamma _{\rho ,\varepsilon }^{m,\tau }({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p)\) and \(\psi \) in \({\mathcal {S}}({\mathbb {R}}^d)\) we will use the notation
We have the special case of Weyl quantisation when \(t=\frac{1}{2}\), which is the one we will work the most with. In this case we write
For some applications, we will need stronger assumptions than \(\hbar \)-\(\varepsilon \)-admissibility of our operators. The operators satisfying these stronger assumptions will be called strongly \(\hbar \)-\(\varepsilon \)-admissible operators with some regularity. As an example we could consider a symbol \(a_\varepsilon (x,p)\) in \(\Gamma _{\rho ,\varepsilon }^{m,\tau } ({\mathbb {R}}_x^{d}\times {\mathbb {R}}^d_p)\). For this symbol define \({\tilde{a}}_\varepsilon (x,p,y) =a_\varepsilon (tx+(1-t)y,p) \) and ask if this symbol is in \(\Gamma _{\rho ,\varepsilon }^{{\tilde{m}},\tau } ({\mathbb {R}}_x^{d}\times {\mathbb {R}}^d_p\times {\mathbb {R}}^d_y)\), where \({\tilde{m}}(x,p,y)=m(tx+(1-t)y,p)\). The answer will not in general be positive. Hence, in general, we can not ensure decay in the variables (x, p, y) when viewing a function of (x, p) as a function of (x, p, y). With this in mind we define a new class of symbols and strongly \(\hbar \)-\(\varepsilon \)-admissible operators.
Definition 3.14
A symbol \(a_\varepsilon \) belongs to the class \({\tilde{\Gamma }}_{\rho ,\varepsilon }^{m,\tau } ({\mathbb {R}}_x^{d}\times {\mathbb {R}}^d_p\times {\mathbb {R}}^d_y)\) if \(a_\varepsilon \) is in \(\Gamma _{0,\varepsilon }^{m,\tau } ({\mathbb {R}}_x^{d}\times {\mathbb {R}}^d_p\times {\mathbb {R}}^d_y)\) and there exists a positive \(\nu \) such that
where \(\Omega _\nu =\{(x,p,y)\in {\mathbb {R}}^{3d} \,|\, \left| x-y \right| <\nu \}\).
Definition 3.15
We call the family of operators \(A_\varepsilon (\hbar )=\text {Op} _\hbar (a_\varepsilon (\hbar ))\) strongly \(\hbar \)-\(\varepsilon \)-admissible of regularity \(\tau \), if \(a_\varepsilon (\hbar )\) is an \(\hbar \)-\(\varepsilon \)-admissible symbol of regularity \(\tau \) with respect to the weights \((m,0,\varepsilon )\) on \( {\mathbb {R}}_x^{d}\times {\mathbb {R}}^d_p\times {\mathbb {R}}^d_y\) and the weights \((m,\rho ,\varepsilon )\) on \(\Omega _\nu =\{(x,p,y)\in {\mathbb {R}}^{3d} \,|\, \left| x-y \right| <\nu \}\) for a positive \(\nu \).
Remark 3.16
We note that a strongly \(\hbar \)-\(\varepsilon \)-admissible operator is also \(\hbar \)-\(\varepsilon \)-admissible. But as a consequence of the definition, the error term of a strongly \(\hbar \)-\(\varepsilon \)-admissible operator will be a pseudo-differential operator and not just a bounded operator as for the \(\hbar \)-\(\varepsilon \)-admissible operators.
Before, we start proving/stating results about these operators, we make the following observation.
Observation 3.17
Let m be a tempered weight function on \({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p\times {\mathbb {R}}_y^d\), \(\rho \) in [0, 1], \(0<\varepsilon \le 1\) and \(\tau \) in \({\mathbb {N}}_0\). Consider a rough symbol \(a_\varepsilon \) in \(\Gamma _{\rho ,\varepsilon }^{m,\tau }({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p\times {\mathbb {R}}_y^d)\). We suppose that there is a \(\delta \) in (0, 1) such that \(\varepsilon \ge \hbar ^{1-\delta }\) and consider the operator \(\text {Op} _\hbar (a_\varepsilon )\) associated with \(a_\varepsilon \). We define the unitary dilation operator \({\mathcal {U}}_{\varepsilon }\) by
for f in \(L^2({\mathbb {R}}^d)\). Moreover we set
We observe that with this operator and the scaled symbol \(a_{\varepsilon }^{\#}\) we obtain the following equality
This equality follow by writing the kernels of the operators and perform some simple changes of variables. Since we have that \(a_\varepsilon \) is in \(\Gamma _{\rho ,\varepsilon }^{m,\tau }({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p\times {\mathbb {R}}_y^d)\) we get for all \(\alpha , \beta , \gamma \) in \({\mathbb {N}}^d_0\) that
where we have used that \( \hbar ^{1-\delta } \le \varepsilon \le 1\) and used the notation \({\tilde{m}} = m\lambda ^{N_0}\). This shows that \(a_{\varepsilon }^{\#}\) is in \(\Gamma _{0,1}^{{\tilde{m}},0}({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p\times {\mathbb {R}}_y^d)\) by definition of the set. As mentioned earlier this is the type of symbols usually considered in the literature.
In what follows, we will use this observation to establish the symbolic calculus for the rough pseudo-differential operators. Here, we will mainly focus on the results we will need later in the proofs of our main theorems.
We will now prove a connection between operators with symbols in the class \({\tilde{\Gamma }}_{\rho ,\varepsilon }^{m,\tau } ({\mathbb {R}}_x^{d}\times {\mathbb {R}}^d_p\times {\mathbb {R}}^d_y)\) and t-quantised operators.
Theorem 3.18
Let \(a_\varepsilon \) be a symbol in \({\tilde{\Gamma }}_{\rho ,\varepsilon }^{m,\tau } ({\mathbb {R}}_x^{d}\times {\mathbb {R}}^d_p\times {\mathbb {R}}^d_y)\) of regularity \(\tau \ge 0\) with weights \((m,\rho ,\varepsilon )\) and
We suppose there is a \(\delta \) in (0, 1) such that \(\varepsilon \ge \hbar ^{1-\delta }\). Then for every t in [0, 1] the t-quantisation of \(A_{\varepsilon }(\hbar )\) is given by the unique symbol \(b_{t,\varepsilon }\) of regularity \(\tau \) with weights \(({\tilde{m}},\rho ,\varepsilon )\), where \({\tilde{m}}(x,p)=m(x,x,p)\). The symbol \(b_{t,\varepsilon }\) is defined by the oscillating integral
The symbol \(b_{t,\varepsilon }\) has the following asymptotic expansion
where
and the error term satisfies that
for all \(\alpha \) and \(\beta \) in \({\mathbb {N}}^d\). In particular we have that
Remark 3.19
It can be noted that in order for the error term not to diverge, when the semiclassical parameter tends to zero, one needs to take N such that
If the symbol is a polynomial in one of the variables or both, then the asymptotic expansion will be exact and a finite sum. This is in particular the case when “ordinary” differential operators are considered.
Proof
Let \({\mathcal {U}}_{\varepsilon }\) be the unitary dilation operator as defined in Observation 3.17 and define the operator \( A_\varepsilon ^{\#}(\hbar )\) by conjugation with \({\mathcal {U}}_{\varepsilon }\). This new operator is defined by
where \(\psi \) is a Schwartz function. From Observation 3.17 we have that \(a_\varepsilon ^{\#}\) is in \({\tilde{\Gamma }}_{0,1}^{m,0}({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p\times {\mathbb {R}}_y^d)\). So by [24, Theorem II-27] the result is true for the operator \( A_\varepsilon ^{\#}(\hbar )\). Due to the identity
what remains is to conjugate the terms in the representation of \(A_\varepsilon ^{\#}(\hbar )\) by \({\mathcal {U}}_{\varepsilon }^{*}\). First we observe that
Next by using the identity obtained in (3.3) we get that
From the asymptotic expansion of \( b_{t,\varepsilon }^{\#}(x,p;\hbar ^\delta ) \) obtained in [24, Theorem II-27] we have that
In order to arrive at the stated expansion of \( b_t(x,p,\hbar )\) we have to find an expression of \(a_{\varepsilon ,j}^{\#}(\varepsilon ^{-1}x,\tfrac{\varepsilon }{\hbar ^{1-\delta }} p,\hbar )\) in terms of \(a_\varepsilon \). By definition of \(a_{\varepsilon ,j}^{\#}\) we have that
What remains is to prove that the error term satisfies the desired estimate. The error term is given by
In order to see that this function satisfies the stated estimate one needs to go back to the proof of [24, Theorem II-27] and consider the exact definition of the function. But from here it is a straight forward argument to see that the desired bound is indeed true. Combining (3.3), (3.4) (3.5), (3.6) and (3.7) we obtain the desired result.
Alternatively one can also follow the proof in [24, Theorem II-27] and do the full stationary phase argument. This gives a slightly longer proof but one obtains the same results. \(\square \)
From this Theorem we immediately obtain the following Corollary.
Corollary 3.20
Let \(t_1\) be in [0, 1] and \(b_{t_1}\) be a \(t_1\)-\(\varepsilon \)-symbol of regularity \(\tau \ge 0\) with weights \((m,\rho ,\varepsilon )\) and suppose \(\varepsilon \ge \hbar ^{1-\delta }\) for a \(\delta \) in (0, 1). Let \(A_\varepsilon (\hbar )\) be the associated operator acting on a Schwarzt function by the formula
Then for every \(t_2\) in [0, 1] we can associate an admissible \(t_2\)-\(\varepsilon \)-symbol given by the expansion
where
and the error term satisfies that
for all \(\alpha \) and \(\beta \) in \({\mathbb {N}}^d\), the number \(N_0\) is the number connected to the tempered weight m.
This corollary can also be proven directly by considering the kernel as an oscillating integral and the integrant as a function in the variable \(t_1\). To obtain the corollary do a Taylor expansion in \(t_1\) at the point \(t_2\), then perform integration by parts a number of times and then one would recover the result.
3.2 Composition of rough pseudo-differential operators
With the rough pseudo-differential operators defined and the ability to interpolate between the different quantisations, our next aim is to prove results concerning the composition of rough pseudo-differential operators. This is done in the following theorem. We will here omit the proof as it is analogous to the proof of Theorem 3.18. The idea is to conjugate the operators with \({\mathcal {U}}_\varepsilon \) use the results from e.g. [24] and then conjugate with \({\mathcal {U}}_\varepsilon ^{*}\).
Theorem 3.21
Let \(A_\varepsilon (\hbar )\) and \(B_\varepsilon (\hbar )\) be two t-quantised operators given by
and
where \(a_\varepsilon \) and \(b_\varepsilon \) are two rough symbols of regularity \(\tau _1,\tau _2 \ge 0\) with weights \((m_1, \rho , \varepsilon )\) and \((m_2, \rho , \varepsilon )\) respectively. We suppose there exists a number \(\delta \in (0,1)\) such that \(\varepsilon \ge \hbar ^{1-\delta }\). Then the operator \(C_\varepsilon (\hbar ) = A_\varepsilon (\hbar ) \circ B_\varepsilon (\hbar )\) is strongly \(\hbar \)-\(\varepsilon \)-admissible and \(C_ \varepsilon (\hbar ) = \text {Op} _{\hbar , t }(c_\varepsilon )\), where \(c_\varepsilon \) is a rough admissible symbol of regularity \(\tau = \min (\tau _1,\tau _2)\) with weights \((m_1m_2, \rho , \varepsilon )\). The symbol \(c_\varepsilon \) satisfies the following: For every \(N \ge N_\delta \) we have
with
where
Moreover the error term \(r_{\varepsilon ,N+1}(a_\varepsilon ,b_\varepsilon ;\hbar )\) satisfies that for every multi-indices \(\alpha ,\beta \) in \({\mathbb {N}}^d\) there exist a constant \(C(N,\alpha ,\beta )\) independent of \(a_\varepsilon \) and \(b_\varepsilon \) and a natural number M such that:
where
The function \({\tilde{N}}(M)\) is also depending on the weights \(m_1\), \(m_2\) and the dimension d.
Remark 3.22
The number \(N_\delta \) is explicit and it is the smallest number such that
This restriction is made in order to ensure that the error term is estimated by the semiclassical parameter raised to a positive power. The main difference between this result and the classical analog is that for this new class there is a minimum of terms in the expansion of the symbol for the composition in order to obtain an error that does not diverge as \(\hbar \rightarrow 0\).
The form of the c’s we obtain in the theorem is sometimes expressed as
Remark 3.23
(Particular cases of Theorem 3.21) We will see the 3 most important cases for this presentation of the composition for t-quantised operators. We suppose the assumptions of Theorem 3.21 are satisfied.
\(\varvec{t=0}\): In this case the amplitude will be independent of u hence we have
This gives the formula
\(\varvec{t=1}\): This case is similar to the one above, except a change of signs. The composition formula is given by
This gives the formula
\(\varvec{t=}\frac{{\varvec{1}}}{{\varvec{2}}}\) (Weyl-quatisation): After a bit of additional work we can arrive at the usual formula in this case as well. That is we obtain the expression
with
The last equation can be rewritten by some algebra to the classic formula
In all three cases we can note that the symbols for the compositions of operators are the same as in the non-rough case.
We now have composition of operators given by a single symbol. The next result generalises the previous to composition of strongly \(\hbar \)-\(\varepsilon \)-admissible operators. Moreover it verifies that the strongly \(\hbar \)-\(\varepsilon \)-admissible operators form an algebra. More precisely we have.
Theorem 3.24
Let \(A_\varepsilon (\hbar )\) and \(B_\varepsilon (\hbar )\) be two strongly \(\hbar \)-\(\varepsilon \)-admissible operators of regularity \(\tau _a\ge 0\) and \(\tau _b\ge 0\). with weights \((m_1, \rho , \varepsilon )\) and \((m_2, \rho , \varepsilon )\) respectively and of the form
We suppose \(\varepsilon \ge \hbar ^{1-\delta }\) for a \(\delta \) in (0, 1) and let \(\tau =\min (\tau _a,\tau _b)\). Then is \(C_\varepsilon (\hbar )=A_\varepsilon (\hbar )\circ B_\varepsilon (\hbar )\) a strongly \(\hbar \)-\(\varepsilon \)-admissible operators of regularity \(\tau \ge 0\) with weights \((m_1 m_2, \rho , \varepsilon )\). The symbol \(c_\varepsilon (x,p;\hbar )\) of \(C_\varepsilon (\hbar )\) has for \(N\ge N_\delta \) the expansion
where
The symbols \(a_{\varepsilon ,k}\) and \(b_{\varepsilon ,l}\) are from the expansion of \(a_\varepsilon \) and \(b_\varepsilon \) respectively. Let
and equvalint for \(b_\varepsilon (x,p)\). Then for every multi-indices \(\alpha \), \(\beta \) there exists a constant \(C(\alpha ,\beta ,N)\) independent of \(a_\varepsilon \) and \(b_\varepsilon \) and an integer M such that
where
The function \({\tilde{N}}(M)\) is also depending on the weights \(m_1\), \(m_2\) and the dimension d.
The proof of this theorem is an application of Theorem 3.21 a number of times and recalling that the error operator of a strongly \(\hbar \)-\(\varepsilon \)-admissible operator of some regularity is a quantised pseudo-differential operator.
3.3 Rough pseudo-differential operators as operators on \(L^2({\mathbb {R}}^d)\)
So far we have only considered operators acting on \({\mathcal {S}}({\mathbb {R}}^d)\) or \({\mathcal {S}}'({\mathbb {R}}^d)\). Hence they can be viewed as unbounded operators acting in \(L^2({\mathbb {R}}^d)\) with domain \({\mathcal {S}}({\mathbb {R}}^d)\). The question is then, when is this a bounded operator? The first theorem of this section gives a criteria for when the operator can be extended to a bounded operator. This theorem is a Calderon-Vaillancourt type theorem and the proof uses the Calderon-Vaillancourt Theorem for the non-rough pseudo-differential operators. We will not recall this theorem but refer to [23, 24, 28].
Theorem 3.25
Let \(a_\varepsilon \) be in \(\Gamma _{0,\varepsilon }^{m,\tau }({\mathbb {R}}^d_x\times {\mathbb {R}}_p^d)\), where m is a bounded tempered weight function, \(\tau \ge 0\) and suppose there exists a \(\delta \) in (0, 1) such that \(\varepsilon \ge \hbar ^{1-\delta }\). Then there exists a constant \(C_d\) and an integer \(k_d\) only depending on the dimension such that
for all \(\psi \) in \({\mathcal {S}}({\mathbb {R}}^d)\). Especially \(\text {Op} _\hbar ^{\text {w} }(a_\varepsilon )\) can be extended to a bounded operator on \(L^2({\mathbb {R}}^d)\).
Proof
Let \({\mathcal {U}}_\varepsilon \) be the unitary dilation operator as defined in Observation 3.17. We have that
By our assumptions and Observation 3.17, we note that the symbol \(a_\varepsilon ^{\#}\) satisfies the assumptions of the classical Calderon-Vaillancourt theorem. This gives us a constant \(C_d\) and an integer \(k_d\) only depending on the dimension such that
where we have used the unitarity of \({\mathcal {U}}_\varepsilon \). By the definition of \(a_\varepsilon ^{\#}\) we have that
Combining (3.8), (3.9) and (3.10) we arrive at the desired result. This completes the proof. \(\square \)
We can now give a criteria for the rough pseudo-differential operators to be trace class. The criteria will be sufficient but not necessary. Hence it does not provide a full characteristic for the set of rough pseudo-differential operators, which are trace class.
Theorem 3.26
There exists a constant C(d) only depending on the dimension such that
for every \(a_\varepsilon \) in \(\Gamma _{0,\varepsilon }^{m,\tau }({\mathbb {R}}^d_x\times {\mathbb {R}}_p^d)\) with \(\tau \ge 0\).
Proof
Let \({\mathcal {U}}_\varepsilon \) be the unitary dilation operator as defined in Observation 3.17. We have by the unitary invariance of the trace norm that
From our assumptions and Observation 3.17, we get that \(a_\varepsilon ^{\#}\) satisfies the assumption for [24, Theorem II-49]. From this theorem we get the existence of a constant C(d) only depending on the dimension such that
By the definition of \(\partial _x^\alpha \partial _p^\beta a_\varepsilon (\varepsilon x, \tfrac{\hbar ^{1-\delta }}{\varepsilon } p)\), we have that
Combining (3.11) and (3.12), we get that
This is the desired estimate and this concludes the proof. \(\square \)
The previous theorem gives us a sufficient condition for the rough pseudo-differential operators to be trace class. The next theorem gives a formula for the trace of a rough pseudo-differential operator.
Theorem 3.27
Let \(a_\varepsilon \) be in \(\Gamma _{0,\varepsilon }^{m,\tau }({\mathbb {R}}^d_x\times {\mathbb {R}}_p^d)\) with \(\tau \ge 0\) and suppose \(\partial _x^\alpha \partial _p^\beta a_\varepsilon (x,p)\) is an element of \(L^1({\mathbb {R}}^d_x\times {\mathbb {R}}_p^d)\) for all \(\left| \alpha \right| +\left| \beta \right| \le 2d+2\). Then \(\text {Op} _\hbar ^{\text {w} }(a_\varepsilon )\) is trace class and
Proof
That our operator is trace class under the assumptions follows from Theorem 3.26. To obtain the formula for the trace let \({\mathcal {U}}_\varepsilon \) be the unitary dilation operator as defined in Observation 3.17. Then by [24, Theorem II-53] and Observation 3.17 we get that
This identity concludes the proof. \(\square \)
The last result in this section is a sharp Gårdinger inequality, which we will need later.
Theorem 3.28
Let \(a_\varepsilon \) be a bounded rough symbol of regularity \(\tau \ge 0\) which satisfies
and suppose there exist \(\delta \in (0,1)\) such that \(\varepsilon >\hbar ^{1-\delta }\). Then there exists a \(C_0>0\) and \(\hbar _0>0\) such that
for all g in \(L^2({\mathbb {R}}^d)\) and \(\hbar \) in \((0,\hbar _0]\).
Proof
Again let \({\mathcal {U}}_\varepsilon \) be the unitary dilation operator as defined in Observation 3.17. After conjugation with this operator, we will be able to use the “usual” semiclassical sharp Gårdinger inequality (see e.g. [23, Theorem 4.32]) with the semiclassical parameter \(\hbar ^\delta \). We have that
The existence of the numbers \(C_0\) and \(\hbar _0\) is ensured by the “usual” semiclassical sharp Gårdinger inequality. This is the desired estimate and this ends the proof. \(\square \)
4 Self-adjointness and functional calculus for rough pseudo-differential operators
In this section we will establish a functional calculus for rough pseudo-differential operators. For this to be well defined we will also give a set of assumptions that ensure essential self-adjointness of the operators. We could as in the previous section use unitary conjugations to obtain non-rough operators and use the results for this type of operators. We have chosen not to do this, since in the construction we will need to control polynomials in the derivatives of our symbols. So, to make it transparent that the regularity of these polynomials is as desired we have chosen to do the full construction. The construction is based on the results of Helffer–Robert in [4] and this approach is also described in [24]. The method they used is based on the Mellin transform, where we will use the Helffer-Sjöstrand formula instead. The construction of a functional calculus using this formula can be found in the monographs [23, 28]. There is also a construction of the functional calculus using Fourier theory in [10], but we have not tried to adapt this to the case studied here.
4.1 Essential self-adjointness of rough pseudo-differential operators
First we will give criteria for the operator to be lower semi-bounded and essential self-adjoint.
Assumption 4.1
Let \(A_\varepsilon (\hbar )\) be a \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \) and suppose that
-
1.
labelB.H.1 \(A_\varepsilon (\hbar )\) is symmetric on \({\mathcal {S}}({\mathbb {R}}^n)\) for all \(\hbar \) in \(]0,\hbar _0]\).
-
2.
The principal symbol \(a_{\varepsilon ,0}\) satisfies that
$$\begin{aligned} \min _{(x,p) \in {\mathbb {R}}^{2n}} a_{\varepsilon ,0}(x,p) = \zeta _0 > -\infty . \end{aligned}$$ -
3.
Let \(\zeta _1 < \zeta _0\) and \(\zeta _1 \le 0\). Then \(a_{\varepsilon ,0} - \zeta _1\) is a tempered weight function with constants independent of \(\varepsilon \) and
$$\begin{aligned} a_{\varepsilon ,j} \in \Gamma _{0,\varepsilon }^{a_{\varepsilon ,0} - \zeta _1,\tau -j} \left( {\mathbb {R}}_x^{d}\times {\mathbb {R}}^d_p\right) , \end{aligned}$$for all j in \({\mathbb {N}}\).
Theorem 4.2
Let \(A_\varepsilon (\hbar )\), for \(\hbar \) in \((0,\hbar _0]\), be a \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \ge 1\) with tempered weight m and symbol
Suppose that \(A_\varepsilon (h)\) satisfies Assumption 4.1. Then there exists \(\hbar _1\) in \((0,\hbar _0]\) such that for all \(\hbar \) in \((0,\hbar _1]\) \(A_\varepsilon (\hbar )\) is essential self-adjoint and lower semi-bounded.
Proof
We let \(t<\zeta _0\), where \(\zeta _0\) is the number from Assumption 4.1. For this t we define the symbol
By assumption we have that \(b_{\varepsilon ,t} \in \Gamma _{0,\varepsilon }^{(a_{\varepsilon ,0} - \gamma _1)^{-1},\tau }({\mathbb {R}}_x^d\times {\mathbb {R}}^d_p)\). For N sufficiently large we get by assumption that
The formula for composition of operators and the Calderon-Vaillancourt theorem give us that the operator \(S_N\) satisfies the estimate
We note that if \(\hbar \) is chosen such that \(\hbar \Vert S_N(\varepsilon ,\hbar ) \Vert _{{\mathcal {L}}(L^2({\mathbb {R}}^d))}<1\) then the operator \( I + \hbar S_N(\varepsilon ,\hbar )\) will be invertible.
The Calderon-Vaillancourt theorem gives us that \( \text {Op} _\hbar ^{\text {w} }(b_{\varepsilon ,t})\) is a bounded operator. This implies that the expression \( \text {Op} _\hbar ^{\text {w} }(b_{\varepsilon ,t}) ( I + \hbar S_N(\varepsilon ,\hbar ))^{-1}\) is a well defined bounded operator. Hence we have that the operator \((A_\varepsilon (\hbar ) - t) \) maps its domain surjective onto all of \(L^2({\mathbb {R}}^d)\). By [30, Proposition 3.11] this implies that \(A_\varepsilon (\hbar )\) is essential self-adjoint.
Since we have for all \(t<\zeta _0\) that \((A_\varepsilon (\hbar ) - t) \) maps its domain surjective onto all of \(L^2({\mathbb {R}}^d)\) they are all in the resolvent set and hence the operator has to be lower semi-bounded. \(\square \)
4.2 The resolvent of a rough pseudo-differential operator
A main part in the construction of the functional calculus is to prove that the resolvent of a \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \), which satisfies Assumption 4.1, is an operator of the same type. This is the content of the following Theorem.
Theorem 4.3
Let \(A(\hbar )\), for \(\hbar \) in \((0,\hbar _0]\), be a \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \ge 1\) with tempered weight m and symbol
Suppose that \(A_\varepsilon (h)\) satisfies Assumption 4.1 with the numbers \(\zeta _0\) and \(\zeta _1\). For z in \({\mathbb {C}}{\setminus }[\zeta _1,\infty )\) we define the sequence of symbols
for \(j\ge 1\). Moreover we define
Then for N in \({\mathbb {N}}\) we have that
with
where \(\kappa \) is a positive strictly increasing function and q(N) is a positive integer depending on N. In particular we have for all z in \({\mathbb {C}}{\setminus }[\zeta _1,\infty )\) and all \(\hbar \) in \((0,\hbar _1]\) (\(\hbar _1\) sufficient small and independent of z), that \((A_\varepsilon (h) - z)^{-1}\) is a \(\hbar \)-\(\varepsilon \)-admissible operator with respect to the tempered weight \((a_{\varepsilon ,0}-\zeta _1)^{-1}\) and of regularity \(\tau \) with symbol:
Before we can prove the theorem we will need some lemma’s with the same setting. It is in these lemma’s we will see, that the symbol for the resolvent has the same regularity. From these lemmas we can also find the explicit formulas for every symbol in the expansion.
Lemma 4.4
Let the setting be as in Theorem 4.3. For every j in \({\mathbb {N}}\) we have
where \(d_{\varepsilon , j,k}\) are universal polynomials in \(\partial _p^\alpha \partial _x^\beta a_{\varepsilon ,l}\) for \(\left| \alpha \right| +\left| \beta \right| +l\le j\) and \(d_{\varepsilon , j,k} \in \Gamma _{0,\varepsilon }^{(a_0-\zeta _1)^k,\tau -j}\) for all k, \(1\le k \le 2j-1\). In particular we have that
In order to prove this Lemma we will need the following Lemma:
Lemma 4.5
Let the setting be as in Lemma 4.4. For any j and k in \({\mathbb {N}}\) we let \(d_{\varepsilon , j,k} b_{\varepsilon ,z,0}^{k+1}\) be one of the elements in the expansion of \(b_{\varepsilon ,z,j}\). Then for all multi-indices \(\alpha \) and \(\beta \) it holds that
where \( {\tilde{d}}_{\varepsilon , j,k, n, \alpha , \beta }\) are polynomials in \(\partial _x^{\alpha '} \partial _p^{\beta '} a_{\varepsilon ,k}\) with \(\left| \alpha ' \right| +\left| \beta ' \right| +k \le j +\left| \alpha \right| +\left| \beta \right| \) of degree at most \(k+n\). They are of regularity at least \(\tau -j-\left| \alpha \right| \), and they are determined only by \(\alpha \), \(\beta \), \(a_{\varepsilon ,0}\) and \(d_{\varepsilon , j,k}\).
Proof
The proof is an application of Theorem A.1 (Faà di Bruno formula) and the Corollary A.2 to the formula. For our \(\alpha ,\beta \) we have by the Leibniz’s formula that:
We will here consider each of the three sums separately for the first we get by the Faà di Bruno formula (Theorem A.1)
where C’s with some indices are constants depending on those indices. This calculation gives that we have a polynomial structure, where the coefficients are the polynomials \( {\tilde{d}}_{\varepsilon ,j,k,\alpha ,\beta ,n_\beta }\), which themselves are polynomials in \(\partial _x^{\alpha '} \partial _p^{\beta '} a_{\varepsilon ,k}\) with \(\left| \alpha ' \right| +\left| \beta ' \right| +k \le j +\left| \alpha \right| +\left| \beta \right| \) and of regularity \(\tau -j-\left| \alpha \right| \). For the second sum we again use Faà di Bruno formula (Theorem A.1) and get
where again C’s with some indices are constants depending on those indices. We have again the polynomial structure, where the coefficients \( {\tilde{d}}_{\varepsilon ,j,k,\alpha ,\beta ,n_\alpha }\) are polynomials in \(\partial _x^{\alpha '} \partial _p^{\beta '} a_{\varepsilon ,k}\) with \(\left| \alpha ' \right| +\left| \beta ' \right| +k \le j +\left| \alpha \right| +\left| \beta \right| \), and they are of at least regularity \(\tau -j-\left| \alpha \right| \).
For the last sum we need a slightly modified version of the Faà di Bruno formula, which is Corollary A.2. If we use this, we get that
where \({\tilde{d}}_{\varepsilon ,j,k,n,\alpha ,\beta }\) are polynomials in \(\partial _x^{\alpha '} \partial _p^{\beta '} a_{\varepsilon ,k}\) with \(\left| \alpha ' \right| +\left| \beta ' \right| +k \le j +\left| \alpha \right| +\left| \beta \right| \) of degree at most \(k+n\), and they are of regularity at least \(\tau -j-\left| \alpha \right| \). If we combine all of the above calculations we get the desired result:
where \( {\tilde{d}}_{\varepsilon , j,k, n, \alpha , \beta }\) are polynomials in \(\partial _x^{\alpha '} \partial _p^{\beta '} a_{\varepsilon ,k}\) with \(\left| \alpha ' \right| +\left| \beta ' \right| +k \le j +\left| \alpha \right| +\left| \beta \right| \) of degree at most \(k+n\), and they are of regularity at least \(\tau -j-\left| \alpha \right| \). The form of the polynomials is entirely determined by the multi-indices \(\alpha ,\beta \), the symbol \(a_{\varepsilon ,0}\) and the polynomial \( d_{\varepsilon , j,k} \). \(\square \)
Proof of Lemma 4.4
The proof will be induction in the parameter j. We start by considering the case \(j=1\), where we by definition of \(b_{\varepsilon ,z,1}\) have
This calculation verifies the form of \(b_{\varepsilon ,z,1}\) stated in the lemma. Moreover, it varifies that \(b_{\varepsilon ,z,1}\) has the form given by (4.6) with \(d_{\varepsilon ,1,1}=-a_{\varepsilon ,1}\), which is in the symbol class \(\Gamma _{0,\varepsilon }^{(a_0-\zeta _1),\tau -1}\) by assumption.
Assume the lemma to be correct for \(b_{\varepsilon ,z,j}\) and consider \(b_{\varepsilon ,z,j+1}\). By the definition of \(b_{\varepsilon ,z,j+1}\) and our assumption we have
where \(C_{\alpha ,\beta }\) is some constant depending on \(\alpha \) and \(\beta \). We will consider each of the sums separately. To calculate the first sum, we get by applying Corollary A.2 that
where \( {\tilde{d}}_{\varepsilon , j, n, \alpha , \beta }\) are polynomials in \(\partial _x^{\alpha '} \partial _p^{\beta '} a_{\varepsilon ,k}\) with \(\left| \alpha ' \right| +\left| \beta ' \right| +k \le j + 1\) of degree \(n+1\) and of regularity at least \(\tau -j-1\). C’s with some indices are constants depending on those indices. The index set \({\mathcal {I}}_n(\alpha ,\beta )\) is defined by
The form of the polynomials is determined by the multi-indices \(\alpha \) and \(\beta \). Moreover we have that the polynomials \( {\tilde{d}}_{\varepsilon , j, n, \alpha , \beta }\) are elements of \(\Gamma _{0,\varepsilon }^{(a_0-\zeta _1)^n,\tau -j-1}\).
If we now consider the triple sum and apply Lemma 4.5 we get that
where the \({\tilde{d}}_{\varepsilon , l,m, n \alpha ,\beta }\)’s are the polynomials from Lemma 4.5. Due to the intimal constraint \(l+\left| \alpha \right| + \left| \beta \right| + k = j+1\), the way we have expressed the sums ensures that k is uniquely determined by j, l and n via the relation \(k=j+1-l-n\). Hence we have written the number \(j+1-l-n\) instead of k. From Lemma 4.5 we have that \({\tilde{d}}_{\varepsilon , l,m, n, \alpha ,\beta }\) are polynomials in \(\partial _x^{\alpha '} \partial _p^{\beta '} a_{\varepsilon ,m}\) with \(\left| \alpha ' \right| +\left| \beta ' \right| +m \le l+n\le j+1\) of degree \(n+m\) and with regularity at least \(\tau -l-\left| \alpha \right| \). Hence the factors \(C_{\alpha ,\beta } (\partial _p^{\alpha } D_x^{\beta } a_{\varepsilon ,j+1-l-n}) (-i)^{\left| \alpha \right| } {\tilde{d}}_{\varepsilon , l,m, n, \alpha ,\beta }\) will be polynomials in \(\partial _x^{\alpha '} \partial _p^{\beta '} a_{\varepsilon ,m}\) with \(\left| \alpha ' \right| +\left| \beta ' \right| +m\le j+1\) of degree \(n+m+1\). The regularity of the terms will be at least
where most terms will have more regularity. By rewriting and renaming some of the terms we get the following equality
where \({\tilde{d}}_{\varepsilon ,j,n,\alpha ,\beta } \) again are polynomials in \(\partial _x^{\alpha '} \partial _p^{\beta '} a_{\varepsilon ,k}\) with \(\left| \alpha ' \right| +\left| \beta ' \right| +k \le j+1\) of degree \(n+1\) of regularity at least \(\tau -(j+1)\). By combining these calculation we arrive at the expression
where the polynomials \(d_{\varepsilon ,j+1,k}\) are universal polynomials in \(\partial _x^{\alpha '} \partial _p^{\beta '} a_{\varepsilon ,k}\) with \(\left| \alpha ' \right| +\left| \beta ' \right| +k \le j+1\) of degree k and with regularity at least \(\tau -j-1\). Hence they are elements of \(\Gamma _{0,\varepsilon }^{(a_0-\zeta _1)^k,\tau -(j+1)}\). This ends the proof. \(\square \)
Lemma 4.6
Let the setting be as in Theorem 4.3. For every j in \({\mathbb {N}}\) and \(\alpha \), \(\beta \) in \({\mathbb {N}}^d_0\) there exists a number \(C_{j,\alpha ,\beta }>0\) such that
for all \(z \in {\mathbb {C}}\setminus [\zeta _1,\infty )\) and all \((x,p) \in {\mathbb {R}}^d_x\times {\mathbb {R}}^d_p\).
Proof
We start by considering the fraction \(\frac{\left| a_{\varepsilon ,0}-\zeta _1 \right| }{\left| a_{\varepsilon ,0}-z \right| }\). We will consider two cases depending on the real part of z. If \(\text {Re} (z)<\zeta _1\), then
If instead \(\text {Re} (z)\ge \zeta _1\) and \(\left| \text {Im} {z} \right| >0\) we have by the law of sines that
where \(\phi _1\) and \(\phi _2\) are angles in the triangle with vertices \(\zeta _1\), \(a_{\varepsilon ,0}\) and z. We have in the above estimate used that \(0< \sin (\phi _2)\le 1\). If we apply this inequality and the law of sines again, we arrive at the following expression
Combining these two cases we get the estimate
If we now consider a given \(b_{\varepsilon ,z,j}\) and \(\alpha ,\beta \) in \({\mathbb {N}}^d_0\). Lemma 4.4 and Lemma 4.5 gives us that
with \({\tilde{d}}_{\varepsilon ,j,k,\alpha ,\beta }\) in \(\Gamma _{0,\varepsilon }^{(a_0-\zeta _1)^{k+n},\tau -j-\left| \alpha \right| }\). By taking absolute value and applying (4.7) we get that
where we have use that
We have now obtained the desired estimate and this ends the proof. \(\square \)
Proof of Theorem 4.3
By Lemma 4.4 the symbols \(b_{\varepsilon ,z,j}\) are in the class \(\Gamma _{0,\varepsilon }^{(a_0-\zeta _1)^{-1},\tau -j}\) for every j in \({\mathbb {N}}\), where \(b_{\varepsilon ,z,j}\) is defined (4.2). Hence we have that
is a well defined symbol for every N in \({\mathbb {N}}\). Moreover, as \((a_0-\zeta _1)^{-1}\) is a bounded function, we have by Theorem 3.25, that \(\text {Op} _\hbar ^{\text {w} }(B_{\varepsilon ,z,N}(\hbar ))\) is a bounded operator. Now for N sufficiently large, we have by assumption that
where the error term satisfies
for a positive strictly increasing function \(\kappa \). If we consider the composition of \(A_\varepsilon (\hbar )-z\) and \(\text {Op} _\hbar ^{\text {w} }(B_{\varepsilon ,z,N}(\hbar ))\) we get
If we consider the first part then this corresponds to a composition of two strongly \(\hbar \)-\(\varepsilon \)-admissible operators. As we want to apply Theorem 3.24 we need to ensure N satisfies the inequality
As this is the condition, that ensures a positive power of the semiclassical parameter \(\hbar \) in front of the error term. If N is sufficiently large, then by Theorem 3.24 we have
where \({\mathcal {R}}_\varepsilon (a_\varepsilon (\hbar ),B_{\varepsilon ,z,N}(\hbar );\hbar )\) is the “error symbol” from Theorem 3.24 and
where \(\delta _k=1\) if \(k=0\) and otherwise \(\delta _k=0\). The error symbol satisfies by Theorem 3.24, that for every multi-indices \(\alpha \), \(\beta \) in \({\mathbb {N}}^d_0\), there exists a constant \(C(\alpha ,\beta ,N)\) independent of \(a_\varepsilon \) and \(B_{\varepsilon ,z,N}\) and an integer M such that
where the functions \({\mathcal {G}}^{\alpha ,\beta }_{M,\tau -j-k}\) are as defined in Theorem 3.24. By Lemma 4.6 we have for all \(j+k\le 2N\) that
Now by Theorem 3.25 there exists a number \(M_d\) such that
If we now consider the symbols \(c_{\varepsilon ,l}(x,p)\) for \(0\le l \le N\), then for \(l=0\) we have
by definition of \(b_{\varepsilon ,z,0}(x,p) \). Now for \(1\le l \le N\) we have
by definition of \(b_{\varepsilon ,z,l}\). We have in the above calculation used that it is only when \(j=l\), that \(k=|\alpha |+|\beta |=0\). These two equalities imply that
This was the first part of equation (4.8). Let us consider the second part of (4.8):
By Theorem 3.25 and Lemma 4.6 there exist constants \(M_d\) and C such that
for all j in \(\{0,\dots ,N\}\). Hence by assumption we have that
Now by combining this with (4.8) and (4.9) we get that
with
where \(\kappa \) is a positive strictly increasing function and q(N) is a positive integer depending on N. This is the desired form and this ends the proof. \(\square \)
4.3 Functional calculus for rough pseudo-differential operators
We are now almost ready to construct/prove a functional calculus for operators satisfying Assumption 4.1. First, we need to settle some terminology and recall a theorem.
Definition 4.7
For a smooth function \(f:{\mathbb {R}}\rightarrow {\mathbb {R}}\) we define the almost analytical extension \({\tilde{f}}:{\mathbb {C}}\rightarrow {\mathbb {C}}\) of f by
where \(n \ge 1\) and
for some smooth function \(\omega \), defined on \({\mathbb {R}}\) such that \(\omega (t)=1\) for \(\left| t \right| \le 1\) and \(\omega (t)=0\) for \(\left| t \right| \ge 2\). Moreover we will use the notation
where \(\sigma _x\) and \(\sigma _y\) are the partial derivatives of \(\sigma \) with respect to x and y respectively.
Remark 4.8
The above choice is one way to define an almost analytic extension and it is not unique. Once an n has been fixed the extension has the property that
as \(y\rightarrow 0\). Hence when making calculation a choice has to be made concerning how fast \(|{\bar{\partial }} {\tilde{f}}|\) vanishes when approaching the real axis. If f is a \(C_0^\infty ({\mathbb {R}})\) function one can find an almost analytic extension \({\tilde{f}}\) in \(C_0^\infty ({\mathbb {C}})\) such \(f(x)={\tilde{f}}(x)\) for x in \({\mathbb {R}}\) and
without chancing the extension. This type of extension could be based on a Fourier transform hence it may not work for a general smooth function. For details see [28, Chapter 8] or [23, Chapter 3].
The type of functions for which we can construct a functional calculus is introduced in the next definition:
Definition 4.9
For \(\rho \) in \({\mathbb {R}}\) we define the set \(S^\rho \) to be the set of smooth functions \(f:{\mathbb {R}}\rightarrow {\mathbb {R}}\) such that
for some \(c_r< \infty \), all x in \({\mathbb {R}}\) and all integers \(r\ge 0\). Moreover we define \({\mathcal {W}}\) by
We can now recall the form of the spectral theorem which we will use:
Theorem 4.10
(The Helffer-Sjöstrand formula) Let H be a self-adjoint operator acting on a Hilbert space \({\mathscr {H}}\) and f a function from \({\mathcal {W}}\). Moreover let \({\tilde{f}}\) be an almost analytic extension of f with n terms. Then the bounded operator f(H) is given by the equation
where \(L(dz)=dxdy\) is the Lebesgue measure on \({\mathbb {C}}\). The formula holds for all numbers \(n\ge 1\).
A proof of the above theorem can be found in e.g. [28] or [31]. We are now ready to state and prove the functional calculus for a certain class of rough pseudo-differential operators.
Theorem 4.11
Let \(A_\varepsilon (\hbar )\), for \(\hbar \) in \((0,\hbar _0]\), be a \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \ge 1\) and with symbol
Suppose that \(A_\varepsilon (h)\) satisfies Assumption 4.1. Then for any function f from \({\mathcal {W}}\), \(f(A_\varepsilon (h))\) is a \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \) with respect to a constant tempered weight function. \(f(A_\varepsilon (h))\) has the symbol
where
the symbols \(d_{\varepsilon ,j,k}\) are the polynomials from Lemma 4.4. Especially we have
The proof is an application of Theorem 4.10, and the fact that the resolvent is a \(\hbar \)-\(\varepsilon \)-admissible operator as well.
Proof
By Theorem 4.2 the operator \(A_\varepsilon (\hbar )\) is essentially self-adjoint for sufficiently small \(\hbar \). Hence Theorem 4.10 gives us
where \({\tilde{f}}\) is an almost analytic extension of f. For the almost analytic extension of f we will need a sufficiently large number of terms, which we assume to have chosen from the start. Theorem 4.3 gives that the resolvent is a \(\hbar \)-\(\varepsilon \)-admissible operator and the explicit form of it as well. Hence
where the symbols \(b_{\varepsilon ,z,j}\) and the operator \(\Delta _{\varepsilon ,z,N+1}(\hbar )\) are as defined in Theorem 4.3. If we start by considering the error term we have by Theorem 4.3 the estimate
for N sufficiently large. Where q(N) is an integer dependent on the number N. We have that
where
and
This estimate follows directly from the definition of \({\tilde{f}}\). By combining these estimates and the definition of the class of functions \({\mathcal {W}}\) we have
What remains to prove the following equality
where the symbols \(a_{\varepsilon ,j}^f\) are as defined in the statement. We will only consider one of the terms, as the rest is treated analogously. Hence we need to establish the equality
As both operators are bounded, we need only establish the equality weekly for a dense subset of \(L^2({\mathbb {R}}^d)\). Hence let \(\varphi \) and \(\psi \) be two functions from \(C_0^\infty ({\mathbb {R}}^d)\) and a j be given. We have that
Considering just the inner product \( \langle \text {Op} _\hbar ^{\text {w} }(b_{\varepsilon ,z,j}) \varphi , \psi \rangle \), we have that
where the function g is a positive Schwartz function bounded by 1 and identical 1 in a neighbourhood of 0. We have set \(g_{\sigma }(x,y,p)=g(\tfrac{x}{\sigma },\tfrac{y}{\sigma },\tfrac{p}{\sigma })\). The next step in the proof is to apply the dominated convergence theorem to move the limit outside the integral over z.
We let \(\chi \) be in \(C_0^\infty ({\mathbb {R}}^d)\) such that \(\chi (p)=1\) for \(\left| p \right| \le 1\) and \(\chi (p)=0\) for \(\left| p \right| \ge 2\). With this function we have
By Lemma 4.6 we have
where the \(\zeta _1\) is the number from Assumption 4.1. The factor \(\varepsilon ^{-(\tau -j)_{-}}\) is not an issue as the operator we consider has \(\hbar ^j\) in front. We have just omitted to write this factor. This bound is clearly independent of \(\sigma \). We now need to bound the term with \(1-\chi (p)\). Here we use that on the support of \(1-\chi (p)\) we have \(\left| p \right| >1\). Hence the operator
is well defined, when acting on functions supported in \(\text {supp} (1-\chi )\). We then obtain that
where we have used that \( M e^{i\hbar ^{-1}\langle x-y,p\rangle } = e^{i\hbar ^{-1}\langle x-y,p\rangle }\). Just considering the action of \(M^t\) inside the integral, we have by Leibniz’s formula that
where we again have used Lemma 4.6. This implies the estimate
If we combine this estimate with (4.14) and (4.15) we have
As above we have
Hence we can apply dominated convergence. By an analogous argument, we can also apply Fubini’s Theorem. This gives us that
If we only consider the integral over z, then we have by a Cauchy formula and Lemma 4.4 that
which is the desired form of \(a_{\varepsilon ,j}^f\) given in (4.10). Now combining this with (4.12), (4.13) and (4.16) we arrive at
The remaning j’ can be treated analogously and hence we obtain the equality (4.11). This ends the proof. \(\square \)
4.4 Applications of functional calculus
With the functional calculus, we can now prove some useful theorems and lemmas. One of them is an asymptotic expansion of certain traces.
Theorem 4.12
Let \(A_\varepsilon (\hbar )\), for \(\hbar \) in \((0,\hbar _0]\), be a \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \ge 1\) and with symbol
Suppose that \(A_\varepsilon (\hbar )\) satisfies Assumption 4.1. Let \(E_1<E_2\) be two real numbers and suppose there exists an \(\eta >0\) such that \(a_{\varepsilon ,0}^{-1}([E_1 - \eta , E_2+\eta ])\) is compact. Then we have
for \(\hbar \) sufficiently small, where \(\text {spec} _{pp}(A_\varepsilon (\hbar ))\) is the pure point spectrum of \(A_\varepsilon (\hbar )\).
Proof
Let f and g be in \(C_0^\infty ((E_1-\eta ,E_2+\eta ))\) such \(g(t)=1\) for \(t\in [E_1,E_2]\) and \(f(t)=1\) for t in \(\text {supp} (g)\). By Theorem 4.11 we have
where the terms \(A_{\varepsilon ,f,N}(\hbar )\) consist of the first N terms in the expansion in \(\hbar \) of \( f(A_\varepsilon (\hbar ))\). We get by (4.18) and the definition of g and f that
Hence for \(\hbar \) sufficiently small we have
thereby we have the inequality
where we have used Theorem 3.26. Since \({\varvec{1}}_{[E_1,E_2]}(t)\le g(t)\) we have that \( {\varvec{1}}_{[E_1,E_2]}(A_\varepsilon (\hbar ))\) is a trace class operator by (4.19). This implies the inclusion
for \(\hbar \) sufficiently small. This ends the proof. \(\square \)
Theorem 4.13
Let \(A_\varepsilon (\hbar )\), for \(\hbar \) in \((0,\hbar _0]\), be a \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \ge 1\) and with symbol
Suppose that \(A_\varepsilon (\hbar )\) satisfies Assumption 4.1. Let \(E_1<E_2\) be two real numbers and suppose there exists an \(\eta >0\) such that \(a_{\varepsilon ,0}^{-1}([E_1 - \eta , E_2+\eta ])\) is compact. Then for every f in \(C_0^\infty ((E_1,E_2))\) and any \(N_0\) in \({\mathbb {N}}\) there exists an N in \({\mathbb {N}}\) such that
for all sufficiently small \(\hbar \). The \(T_j\)’s are given by
where \(d_{\varepsilon ,j,k}\) are the polynomials from Lemma 4.4. In particular we have
and
The proof is an application of Theorem 4.11 which gives the form of the operator \(f(A_\varepsilon (\hbar ))\) combined with the trace formula from Theorem 3.27 and we use some of the same ideas as in the proof of Theorem 4.12.
Proof
Let f in \(C_0^\infty ((E_1,E_2))\) be given and fix a g in \(C_0^\infty ((E_1-\eta ,E_2+\eta ))\) such that \(g(t)=1\) for \(t\in [E_1,E_2]\). By Theorem 4.11 we have
and
where the terms \(A_{\varepsilon ,f,N}(\hbar )\) and \(A_{\varepsilon ,g,N}(\hbar )\) consist of the first N terms in the expansion in \(\hbar \) of \( f(A_\varepsilon (\hbar ))\) and \( g(A_\varepsilon (\hbar ))\) respectively. Since \( f(A_\varepsilon (\hbar )) g(A_\varepsilon (\hbar )) = f(A_\varepsilon (\hbar ))\) we have
By Theorem 3.26 we have that
as \(\hbar \rightarrow 0\). Hence taking N sufficiently large we can consider the composition of the operators \(A_{\varepsilon ,f,N}(\hbar ) A_{\varepsilon ,g,N}(\hbar )\) instead of \(f(A_\varepsilon (\hbar ))\). By the choice of g and Theorem 3.24 (composition of operators) we have
Hence we have by Theorem 3.26 that
where we have used that the error term in (4.21) is a \(\hbar \)-pseudo-differential operator, which follows from Theorem 3.24. Theorem 3.27 now gives
The estimates obtained in (4.20) and (4.22) implies that
Hence by choosing N sufficiently large and combining (4.23) and (4.24), we get the desired estimate. \(\square \)
The next Lemmas will be usefull in the proof of the Weyl law. Both of these Lemmas are proven by applying the functional calculus and the results on compositions of operators.
Lemma 4.14
Let \(A_\varepsilon (\hbar )\), for \(\hbar \) in \((0,\hbar _0]\), be a \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \ge 1\) and with symbol
Suppose that \(A_\varepsilon (h)\) satisfies Assumption 4.1. Let \(E_1<E_2\) be two real numbers and suppose there exists an \(\eta >0\) such that \(a_{\varepsilon ,0}^{-1}([E_1 - \eta , E_2+\eta ])\) is compact. Let f be in \(C_0^\infty ((E_1,E_2))\) and suppose \(\theta \) is in \(C_0^\infty ({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p)\), \(\text {supp} (\theta )\subset a_{\varepsilon ,0}^{-1}([E_1 - \eta , E_2+\eta ])\) and \(\theta (x,p)=1\) for all \((x,p)\in \text {supp} (f(a_{0,\varepsilon }))\). Then we have the bound
for every N in \({\mathbb {N}}\).
Proof
We choose g in \(C_0^\infty ((E_1,E_2))\) such that \(g(t)f(t)=f(t)\). We then have that
By arguing as in the proof of Theorem 4.13 and applying Theorem 3.26 we get
Form Theorem 4.11 we have that, \(f(A_\varepsilon (\hbar ))\) is \(\hbar \)-\(\varepsilon \)-admissible operator with symbols
where
the symbols \(d_{\varepsilon ,j,k}\) are the polynomials from Lemma 4.4. The supports, of these functions, are disjoint from the support of the symbol for the operator \((1-\text {Op} _\hbar ^{\text {w} }(\theta ))\). Hence by Theorem 3.24 we get the desired estimate. \(\square \)
Lemma 4.15
Let \(A_\varepsilon (\hbar )\), for \(\hbar \) in \((0,\hbar _0]\), be a \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \ge 1\) and with symbol
Suppose that \(A_\varepsilon (h)\) satisfies Assumption 4.1. Let \(E_1<E_2\) be two real numbers and suppose there exists an \(\eta >0\) such that \(a_{\varepsilon ,0}^{-1}([E_1 - \eta , E_2+\eta ])\) is compact. Suppose \(\theta \) is in \(C_0^\infty ({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p)\) such that \(\text {supp} (\theta )\subset a_{\varepsilon ,0}^{-1}((E_1, E_2 ))\).
Then for every f in \(C_0^\infty ([E_1-\eta ,E_2+\eta ])\) such \(f(t)=1\) for all t in \([E_1-\frac{\eta }{2},E_2+\frac{\eta }{2}]\) the bound
is true for every N in \({\mathbb {N}}\)
Proof
Theorem 4.11 gives us that \( f(A_\varepsilon (\hbar ))\) is \(\hbar \)-\(\varepsilon \)-admissible operator with symbols
where
the symbols \(d_{\varepsilon ,j,k}\) are the polynomials from Lemma 4.4. Hence we have that the principal symbol of \((1- f(A_\varepsilon (\hbar )))\) is \(1-f(a_{\varepsilon ,0})\). By assumption we then have that the support of \(\theta \) and the support of every symbol in \(f(A_\varepsilon (\hbar ))\) are disjoint. Hence Theorem 3.24 implies the desired estimate. \(\square \)
5 Microlocal approximation and properties of propagators
In this section we will study the solution to the operator valued Cauchy problem:
where \(A_\varepsilon \) is self-adjoint and the symbol \(\theta \) is in \(C_0^\infty ({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p)\). In particular we will only consider the case where \(A_\varepsilon (\hbar )\) is a \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \ge 1\) which satisfies Assumption 4.1. Hence for sufficiently small \(\hbar \) the operator \(A_\varepsilon (\hbar )\) is essentially self-adjoint by Theorem 4.2. It is well-known, that the solution to the operator valued Cauchy problem is the microlocalised propagator \(\theta (x,\hbar D)e^{i\hbar ^{-1}tA_\varepsilon (\hbar )}\).
We are interested in the propagators, as they appear in a smoothing of functions applied to the operators we consider. In this smoothing procedure we need to understand the behaviour of the propagator for t in a small interval around zero. Usually this is done by constructing a specific Fourier integral operator (FIO) as an approximation to the propagator. In the “usual” construction the phase function is the solution to the Hamilton-Jacobi equations associated with the principal symbol. For our setup this FIO approximation is not desirable, as we cannot control the number of derivatives in the space variables and hence, we cannot be certain about how the operator behaves. Instead we will use a different microlocal approximation for times in \([-\hbar ^{1-\frac{\delta }{2}},\hbar ^{1-\frac{\delta }{2}}]\).
The construction of the approximation is recursive and inspired by the construction in the works of Zielinski. If the construction is compared to the approximation in the works of Ivrii, one can note that Ivrii’s construction is successive.
Our objective is to construct the approximation \(U_N(t, \hbar )\) such that
is small and the trace of the operator has the “right” asymptotic behaviour. The kernel of the approximation will have the following form
where N is chosen such that, the error is of a desired order, and the \(u_j\)’s are compactly supported rough functions in x. A priori these operators look singular in the sense that for each term in the sum we have an increasing power of the factor \(\hbar ^{-1}\). What we will see in the following Theorem, is that the since each power of \(\hbar ^{-1}\) comes with a power of t, then for t in \( [-\hbar ^{1-\frac{\delta }{2}},\hbar ^{1-\frac{\delta }{2}}]\) it has the desired properties.
Theorem 5.1
Let \(A_\varepsilon (\hbar )\) be a \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \ge 1\) with tempered weight m which is self-adjoint for all \(\hbar \) in \((0,\hbar _0]\), for \(\hbar _0>0\) and with \(\varepsilon \ge \hbar ^{1-\delta }\) for a \(\delta \in (0,1)\). Let \(\theta (x,p)\) be a function in \(C_0^\infty ({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p)\). Then for all \(N_0\in {\mathbb {N}}\) there exist an operator \(U_N(t,\varepsilon ,\hbar )\) with integral kernel
such that \(U_N\) satisfies the following bound:
For the terms in the sum we have that \(u_j(x,p,\hbar ,\varepsilon ) \in C_0^\infty ({\mathbb {R}}_x^d\times {\mathbb {R}}_p^d)\) for all j. In particular we have that \(u_0(x,p,\hbar ,\varepsilon )=\theta (x,p)\). The terms will satisfy the bounds
for all \(\alpha \) and \(\beta \) in \({\mathbb {N}}^d_0\) in the case \(\tau =1\). For \(\tau \ge 2\) the \(u_j\)’s satisfy the bounds
for all \(\alpha \) and \(\beta \) in \({\mathbb {N}}^d_0\).
Remark 5.2
If the operator satisfies Assumption 4.1, then by Theorem 4.2 the operator will be essentially self-adjoint for all sufficiently small \(\hbar \). Hence Assumption 4.1 would be sufficient but not necessary for the above theorem to be true. The number N is explicitly dependent on \(N_0\), d and \(\delta \) which follows directly from the proof.
Proof
We start by fixing N such that
By assumption we have for sufficiently large M in \({\mathbb {N}}\) the following form of \(A_\varepsilon (\hbar )\)
We can choose and fix M such the following estimate is true
With this M we consider the sum in the expression of \(A_\varepsilon (\hbar )\). By Corollary 3.20 there exists a sequence \(\{{\tilde{a}}_{\varepsilon ,j}\}_{j\in {\mathbb {N}}}\) of symbols where \({\tilde{a}}_{\varepsilon ,j}\) is of regularity \(\tau -j\) and a \({\tilde{M}}\) such
where \(a_{\varepsilon ,0}={\tilde{a}}_{\varepsilon ,0}\) and
We will for the reminder of the proof use the notation
The function \({\tilde{a}}_{\varepsilon }(x,p)\) is a rough function of regularity \(\tau \). These choices and definitions will become important again at the end of the proof.
For our fixed N we define the operator \(\hbar \partial _t - i {\mathcal {P}}_N: C^\infty ({\mathbb {R}}_t \times {\mathbb {R}}^d_x \times {\mathbb {R}}_p^d) \rightarrow C^\infty ({\mathbb {R}}_t \times {\mathbb {R}}^d_x \times {\mathbb {R}}_p^d)\), where
for a \(b\in C^\infty ({\mathbb {R}}_t\times {\mathbb {R}}^d_x\times {\mathbb {R}}^d_p)\). First step is to observe how the operator \(\hbar \partial _t - i {\mathcal {P}}_N\) acts on \( e^{ i t \hbar ^{-1} a_{\varepsilon ,0}(x,p)}\psi (x,p)\) for \(\psi \in C_0^\infty ({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p)\). We will in the following calculation OMIT THE DEPendence on the variables x and p. By Leibniz’s formula and the chain rule we get
From this we note that after acting with \(\hbar \partial _t - i {\mathcal {P}}_N\) on \( e^{ i t \hbar ^{-1} a_{\varepsilon ,0}(x,p)}\psi (x,p)\) we get \( i e^{it\hbar ^{-1} a_{\varepsilon ,0}}\) times a polynomial in \(it\hbar ^{-1}\) with coefficients in \(C_0^\infty ({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p)\) depending on \(\psi \) \({\tilde{a}}_\varepsilon \), \(\hbar \) and \(\varepsilon \). We will in the following need estimates for the terms \(|q_k(\psi , x,p,\hbar ,\varepsilon )|\) for each k. For \(k=0\) we get that
where C depends on the p-derivatives of \(\psi \) and \(\partial _x^\alpha a_\varepsilon \) on the support of \(\psi \) for \(\left| \alpha \right| \le N\). For \(1\le k \le \tau \) we have
where C depends on the p-derivatives of \(\psi \) and \(\partial _x^\alpha a_\varepsilon \) on the support of \(\psi \). For \(\tau < k \le N\) we have
where C depends on the p-derivatives of \(\psi \) and \(\partial _x^\alpha a_\varepsilon \) on the support of \(\psi \). It is important that the coefficients only depend on derivatives in p for the function we apply the operator to. One should also note that if \(\psi \) had \(\hbar \) to some power multiplied to it. Then it should be multiplied to the new power obtained. In the reminder of the proof we will continue to denote the coefficients obtained by acting with \(\hbar \partial _t - i {\mathcal {P}}_N\) by \(q_k\) and the exact form can be found in (5.4).
We are now ready to start constructing the kernel. We set \(u_0(x,p,\hbar ,\varepsilon )=\theta (x,p)\) which gives the first term. In order to find \(u_1\) we act with the operator \(\hbar \partial _t - i {\mathcal {P}}_N\) on the function \( e^{ i t \hbar ^{-1} a_{\varepsilon ,0}} u_0(x,p,\hbar ,\varepsilon )\), where we in the reminder of the construction of the approximation will omit writing the dependence of the variables (x, p) in the exponential. By (5.4) we get
This would not lead to the desired estimate. So we now take
We can note by the previous estimates (5.5) we have that
Acting with the operator \(\hbar \partial _t - i {\mathcal {P}}_N\) on \(e^{ i t \hbar ^{-1} a_{\varepsilon ,0}}(u_0(x,p,\hbar ,\varepsilon ) + i t \hbar ^{-1} u_1(x,p,\hbar ,\varepsilon ))\) we obtain according to (5.4) that
Now taking \(u_2(x,p,\hbar ,\varepsilon )= - \frac{1}{2} (q_1(u_0,x,p,\hbar ,\varepsilon ) + q_0(u_1,x,p,\hbar ,\varepsilon ))\) and acting with the operator \(\hbar \partial _t - i {\mathcal {P}}_N\), according to (5.4), we get that
We note that the “lowest” power of \(it\hbar ^{-1}\) is 2, hence we must use these terms to construct \(u_3\). Moreover, we note that by (5.5) and (5.6) we have
and \(u_2\) is a smooth compactly supported function in the variables x and p. Generally for \(2\le j\le N\) we have
We now need estimates for these terms. In the case \(\tau =1\) the next step will be empty, but for \(\tau \ge 2\) it is needed. For \(\tau \ge 2\) we have
where we have used (5.5), (5.6), (5.8) and (5.9). For the rest of the \(u_j\)’s we split in the two cases \(\tau =1\) or \(\tau \ge 2\). First the cases \(\tau =1\) for \(2\le j\le N\) the estimate is
Note that \(u_2\) satisfies the above equation hence if we assume it okay for \(j-1\) between 2 and \(N-1\) we want to show the above estimate for j. We note that for \(j\ge 5\)
where we have used (5.5), (5.7) and the induction assumption. The cases \(j=3\) and \(j=4\) are estimated analogously.
Now the case \(\tau \ge 2\) which we will treat as \(\tau =2\), here the estimate is
for \(3\le j \le N\). To prove this bound is the same as in the case of \(\tau =1\). In order to prove the bound with the derivatives as stated in the theorem the above arguments are repeated with a number of derivatives on the \(u_j\)’s otherwise it is analogous.
What remains is to prove this construction satisfies the bound
Here we only consider the case \(\tau =1\) as the cases \(\tau \ge 2\) will have better estimates. From the above estimates on \(u_k(x,p,\hbar ,\varepsilon )\) we have for k in \(\{0,\dots ,N\}\) and \(\left| t \right| \le \hbar ^{1-\frac{\delta }{2}}\) that
The first step is to apply the operator \(\hbar \partial _t - i {\mathcal {P}}_N\) on then “full” kernel and see what error this produces. By construction we have
If we start by considering j equal 0 and 1 we note that:
where we have used (5.10) and our choice of N. For the rest of the terms we have that
where we have used (5.10), our choice of N and that in the double sum \(k+j\ge N\). When (5.11) and (5.12) are combined we have that
where \(\left| t \right| \le \hbar ^{1-\frac{\delta }{2}}\). We now let \(U_N(t,\hbar )\) be the operator with the integral kernel:
which is well defined due to our previous estimates (5.10). In particular we have that it is a bounded operator by the Schur test. We now need to find an expression for
At the beginning of the proof, we wrote the operator \(A_\varepsilon (\hbar )\) in two different ways (5.1) and (5.2). If we combine these we have
where the two reminder terms satisfy
If we use this form of \(A_\varepsilon (\hbar )\) we have
When considering the operator norm of the two last terms we have
as \(U_N(t, \hbar )\) is a bounded operator. What remains is the expression
The rules for composition of kernels gives, by a straight forward calculation, that the kernel of the above expression is
By performing a Taylor expansion of \({\tilde{a}}_\varepsilon \) in the variable y centred at x we obtain that
We replace \({\tilde{a}}_\varepsilon (y,p)\) by the above Taylor expansion in the kernel. First, we consider the part of the kernel with the first sum. Here, we have that
where we have used the identity \((y-x)^\alpha e^{i \hbar ^{-1} \langle x-y,p \rangle }= (-i\hbar )^\alpha \partial _p^\alpha e^{i \hbar ^{-1} \langle x-y,p \rangle }\), integration by parts and omitted the pre-factor \((2\pi \hbar )^{-d}\). When considering the part of the kernel with the error term, we have that
where we again have used the identity \((y-x)^\alpha e^{i \hbar ^{-1} \langle x-y,p \rangle }= (-i\hbar )^\alpha \partial _p^\alpha e^{i \hbar ^{-1} \langle x-y,p \rangle }\) and integration by parts. Combining the two expressions we get that
In order to estimate the operator norm, we will divide the kernel into two parts. We do this by considering a part localised in y and the reminder. To localise in y we let \(\psi \) be a smooth function on \({\mathbb {R}}^d\) such \(\psi (y) = 1\) on the set \(\{y\in {\mathbb {R}}^d \,|\, \text {dist} [y,\text {supp} _x(\theta )]\le 1\}\), \(0\le \psi (y)\le 1\) for all \(y\in {\mathbb {R}}^d\) and supported in the set \(\{y\in {\mathbb {R}}^d \,|\, \text {dist} [y,\text {supp} _x(\theta )]\le 2\}\). With this function our kernel can be written as
If we consider the part multiplied by \(\psi (y)\) then this part has the form as in (5.15) but each term is multiplied by \(\psi (y)\). By the estimate in (5.13) we have for the first part of \(K(x,y;\varepsilon ,\hbar ) \psi (y) \) the following estimate
For the second part of \(K(x,y;\varepsilon ,\hbar ) \psi (y) \), we have by Leibniz’s formula and Faà di Bruno formula (Theorem A.1) for each term in the sum over \(\alpha \) that
We note that for j equal 0 we have an estimate of the following form:
We note that for j equal 1 we have an error of the following form:
where we have used the estimate \(|u_1(x,p,\hbar ,\varepsilon )|\le c\hbar \). We note that for j greater than or equal to 2, we have an error of the following form:
where we have used the estimate \(|u_j(x,p,\hbar ,\varepsilon )|\le c \hbar ^{1+\delta (j-2)}\). Now by combining (5.18), (5.19) and (5.20) we arrive at
Combining this estimate with (5.17) we have that
Now we turn to the term \(K(x,y;\varepsilon ,\hbar )(1- \psi (y))\). On the support of this kernel we have
due to the definition of \(\psi \). This imply we can divide by the difference between x and y where the kernel is supported. The idea is now to multiply the kernel with \(\frac{\left| x-y \right| }{\left| x-y \right| }\) to an appropriate power \(\eta \). We take \(\eta \) such
where m is the tempered weight function associated to our operator. The existence of such a \(\eta \) is ensured by the definition of the tempered weight. By (5.15) the kernel \(K(x,y;\varepsilon ,\hbar )(1- \psi (y))\) is of the form
where the exact form of \(\varphi \) is not important at the moment. Now for our choice of \(\eta \) we have
By analogous estimates to the estimate used above we have
where the term \(\hbar ^{-\eta \delta }\) is due to the exponentials \(e^{ i t \hbar ^{-1} a_\varepsilon (x,p)}\) in \(\varphi \). These give \(it\hbar ^{-1}\), when we take a derivative with respect to \(p_j\) for all j in \(\{1,\dots ,d\}\). Since we have that \(|t|\le \hbar ^{1-\frac{\delta }{2}}\) we get the estimate \(|t\hbar ^{-1}| \le \hbar ^{-\frac{\delta }{2}}\). The rest of the powers in \(\hbar \) can be found similar to above. Hence we have
By combining this with (5.16) and (5.21) we have
We have by definition of \(\psi \) the estimates
These estimates combined with the Schur test, (5.14) and (5.22) give us that
for \(\left| t \right| \le \hbar ^{1-\frac{\delta }{2}}\). As this is the desired estimate, this concludes the proof. \(\square \)
In the previous proof we constructed a microlocal approximation for the propagator for short times dependent on \(\hbar \). It would be preferable not to have this dependence of \(\hbar \) in the time. In the following Lemma we prove, that under a non-critical condition on the principal symbol, a localised trace of the approximation becomes negligible.
Lemma 5.3
Let \(A_\varepsilon (\hbar )\) be a \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \ge 1\) with tempered weight m which is self-adjoint for all \(\hbar \) in \((0,\hbar _0]\) and with \(\varepsilon \ge \hbar ^{1-\delta }\) for a \(\delta \in (0,1)\). Let \(\theta (x,p)\) be a function in \(C_0^\infty ({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p)\). Suppose
where \(a_{\varepsilon ,0}\) is the principal symbol of \(A_\varepsilon (\hbar )\). Moreover let the operator \(U_N(t,\hbar )\) be the one constructed in Theorem 5.1 with the function \(\theta \). Then for \(\left| t \right| \in [\frac{1}{2}\hbar ^{1-\frac{\delta }{2}},1]\) and every \(N_0\) in \({\mathbb {N}}\) it holds that
for a constant \(C>0\), which depends on the constant from the non-critical condition.
Proof
Recall that the kernel of \(U_N(t,\hbar )\) is given by
where
From Theorem 5.1 we have the estimate
This initial estimate is a priori not desirable as it implies the trace is of order \( \hbar ^{(\delta -1)N-d} \). Due to the form of the kernels for the operators \(U_N(t,\hbar )\) and \(\text {Op} _{\hbar ,1}(\theta )\) it immediately follows that the kernel for the composition is given by
With this expression for the kernel we get that the trace is given by
Since we suppose \(\left| \nabla _p a_{\varepsilon ,0} \right| \ge c>0\) on the support of \(\theta (x,p)\) we have that
Combining (5.23), (5.24) and our assumptions on t we see that we have gained \(\hbar ^{\frac{\delta }{2}}\) compared to our naive first estimate. To obtain the desired estimate we iterate the argument in (5.24) until an error of the desired order has been obtained. This concludes the proof. \(\square \)
The previous Lemma showed that under a non-critical assumption on the principal symbol a localised trace of our approximation becomes negligible. But we would also need a result similar to this for the true propagator. Actually this can be proven in a setting for which we will need it, which is the content of the next Thoerem. An observation of this type was first made by Ivrii (see [13]). Here we will follow the proof of such a statement as made by Dimassi and Sjöstrand in [28]. The statement is:
Theorem 5.4
Let \(A_\varepsilon (\hbar )\) be a \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \ge 1\) which satisfies Assumption 4.1, has a bounded principal symbol and suppose there exists a \(\delta \) in (0, 1) such that \(\varepsilon \ge \hbar ^{1-\delta }\). Furthermore, suppose there exists a number \(\eta >0\) such \(a_{\varepsilon ,0}^{-1}([-2\eta ,2\eta ])\) is compact and a constant \(c>0\) such that
where \(a_{\varepsilon ,0}\) is the principal symbol of \(A_\varepsilon (\hbar )\). Let f be in \(C_0^\infty ((-\eta ,\eta ))\) and \(\theta \) be in \(C_0^\infty ({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p)\) such that \(\text {supp} (\theta )\subset a_{\varepsilon ,0}^{-1}((-\eta ,\eta ))\).
Then there exists a constant \(T_0>0\) such that if \(\chi \) is in \(C_0^\infty ((\frac{1}{2} \hbar ^{1-\gamma },T_0))\) for a \(\gamma \) in \((0,\delta ]\), then for every N in \({\mathbb {N}}\), we have
uniformly for s in \((-\eta ,\eta )\).
Remark 5.5
Theorems of this type for non-regular operators can be found in the works of Ivrii see [10] and Zielinski see [21]. In both cases the proof of such theorems is different from the one we present here. The techniques used by both are based on the propagation of singularities. The propagation of singularities is not directly present in the proof presented here, but hidden in the techniques used.
In both [28] and [10] they assume the symbol to be microhyperbolic in some direction. It might also be possible to extend the Theorem here to a general microhyperbolic assumption instead of the non-critical assumption. The challenge in this will be, that for the proof to work under a general microhyperbolic assumption the symbol should be changed so that microhyperbolic assumption similar to the non-critical assumption is achieved. This change might be problematic to do since it could mix the rough and non-rough variables.
The localising operators \(\text {Op} _\hbar ^{\text {w} }(\theta )\) could be omitted if, before the first step of the proof, Lemma 4.14 is used to introduce the localisation operators. We have chosen to state the theorem with them since when we will apply the theorem, we have the localisations.
Proof
We start by remarking that it suffices to show the estimate with a function \(\chi _\xi (t) = \chi (\frac{t}{\xi })\), where \(\chi \) is in \(C_0^\infty ((\frac{1}{2},1))\) uniformly for \(\xi \) in \([\hbar ^{1-\gamma },T_0]\). Indeed assume such an estimate has been proven. We can split the interval \((\frac{1}{2} \hbar ^{1-\gamma },T_0)\) in \(\frac{2T_0}{\hbar ^{1-\gamma }}\) intervals of size \(\frac{1}{2}\hbar ^{1-\gamma }\) and make a partition of unity, where each member is supported in one of these intervals. By linearity of the inverse Fourier transform and trace we would have that
Hence we will consider the trace
with \(\chi _\xi (t) = \chi (\frac{t}{\xi })\), where \(\chi \) is in \(C_0^\infty ((\frac{1}{2},1))\) and \(\xi \) in \([\hbar ^{1-\gamma },T_0]\). For the rest of the proof we let a N in \({\mathbb {N}}\) be given as the error we desire.
Without loss of generality we can assume \(\theta =\sum _k \theta _k\), where the \(\theta _k\)’s satisfies that if \(\text {supp} (\theta _k)\cap \text {supp} (\theta _l)\ne \emptyset \) then there exists j in \(\{1,\dots ,d\}\) such \(|\partial _{p_j} a_{\varepsilon ,0}(x,p)|>{\tilde{c}}\) on the set \(\text {supp} (\theta _k)\cup \text {supp} (\theta _l)\). With this splitting of \(\theta \) we have
By the cyclicity of the trace and the formulas for compositions of pseudo-differential operators we observe if \(\text {supp} (\theta _k)\cap \text {supp} (\theta _l)=\emptyset \), then the term is negligible. Hence it remains to consider terms with \(\text {supp} (\theta _k)\cap \text {supp} (\theta _l)\ne \emptyset \). All terms of this form are estimated with analogous techniques but some different indicies. Hence we will suppose, that we have a pair \(\theta _k\) and \(\theta _l\) of functions such that \(\text {supp} (\theta _k)\cap \text {supp} (\theta _l)\ne \emptyset \) and \(|\partial _{p_1} a_{\varepsilon ,0}(x,p)|>{\tilde{c}}\) on the set \(\text {supp} (\theta _k)\cup \text {supp} (\theta _l)\). This implies we either have \(\partial _{p_1} a_{\varepsilon ,0}(x,p)>{\tilde{c}}\) or \(-\partial _{p_1} a_{\varepsilon ,0}(x,p)>{\tilde{c}}\). We suppose we are in the first case. The other case is treated in the same manner but with a change of some signs.
To sum up we have reduced to the case where we consider
with \(\partial _{p_1} a_{\varepsilon ,0}(x,p)>{\tilde{c}}\) on the the set \(\text {supp} (\theta _k)\cup \text {supp} (\theta _l)\). In order to estimate (5.25) we will need an auxiliary function. Let \(\psi \) be in \(C^\infty ({\mathbb {R}})\) such \(\psi (t)=1\) for \(t\le 1\) and \(\psi (t)=0\) for \(t\ge 2\). Moreover, let M be a sufficiently large constant which will be fixed later and put
where \(\mu _1=\frac{M\hbar }{\xi }\log (\frac{1}{\hbar })\). With this function we have
for any N in \({\mathbb {N}}\), where \({\tilde{f}}\) is an almost analytic extension of f. We can use Theorem 4.10 for the operator \(A_\varepsilon (\hbar )\) on the function \(({\tilde{f}}\psi _{\mu _1})(z) {\mathcal {F}}_\hbar ^{-1}[\chi _\xi ](s-z)\). This gives
where we have used that \({\mathcal {F}}_\hbar ^{-1}[\chi _\xi ](s-z)\) is an analytic function in z. Hence the trace we consider is
We shortly investigate each of the integrals. Firstly we note the bound
If we consider the integral over the negative imaginary part, we have that
for any N in \({\mathbb {N}}\). We have in the above calculation used integration by parts and the estimate
The above estimate implies that the contribution to the trace from the negative integral is negligible. If we split the integral over positive imaginary part up according to \(\mu _1\) we have by (5.26) the estimate
for any \({\tilde{N}}\in {\mathbb {N}}\), where we have used that \(\mu _1=\frac{M\hbar }{\xi }\log (\frac{1}{\hbar })\). Hence this term also becomes negligible, when \({\tilde{N}}\) is chosen sufficiently large depending on M. What remains from (5.27) is the expression
The next step is to change the principal symbol of our operator, so that it becomes global microhyperbolic in the direction \(({\varvec{0}};(1,0,\dots ,0))\), where \({\varvec{0}}\) is the d-dimensional vector with only zeros. We let \(\varphi _2\) be a function in \(C^\infty _0({\mathbb {R}}_x^d\times {\mathbb {R}}_p^d)\) such that \(\varphi _2(x,p)=1\) on a small neighbourhood of \(\text {supp} (\theta _k)\cup \text {supp} (\theta _l)\) and has its support contained in the set
Moreover, we let \(\varphi _1\) be a function in \(C^\infty _0({\mathbb {R}}_x^d\times {\mathbb {R}}_p^d)\) such \(\varphi _1(x,p)=1\) on \(\text {supp} (\varphi _2)\) and such that
With these functions we define the symbol
where the constant C is chosen such that \({\tilde{a}}_{\varepsilon ,0} (x,p)\ge 1 + \eta \) outside the support of \(\varphi _2(x,p)\). We have that
Hence there exist constants \(c_0\) and \(c_1\) so that
for all (x, p) in \({\mathbb {R}}^{2d}\). To see this, we observe that on \(\text {supp} (\theta _k)\cup \text {supp} (\theta _l)\), we have the inequality
By continuity there exists an open neighbourhood \(\Omega \) of \(\text {supp} (\theta _k)\cup \text {supp} (\theta _l)\) such that \(\partial _{p_1}{\tilde{a}}_{\varepsilon ,0} (x,p)\ge \frac{{\tilde{c}}}{3}\) and \((1-\varphi _2)\ne 0\) on \(\Omega ^c\). Hence outside \(\Omega \) we get the bound
by choosing \(c_1\) sufficiently large. This estimate ensures that our new symbol is global microhyperbolic in the direction \(({\varvec{0}};(1,0,\dots ,0))\).
Our assumptions on the operator \({A}_\varepsilon (\hbar )\) imply the form
where \(N_0\) is chosen such that
where \({\tilde{N}}\) will be determined later, such that the total error is of the order \(\hbar ^N\). By \({\tilde{A}}_\varepsilon (\hbar )\) we denote the operator obtained by taking the \(N_0\) first terms of \(A_\varepsilon (\hbar )\) and exchanging the principal symbol \(a_{\varepsilon ,0}\) of \(A_\varepsilon (\hbar )\) by \({\tilde{a}}_{\varepsilon ,0}\). Note that the operator \({\tilde{A}}_\varepsilon (\hbar )\) still satisfies Assumption 4.1, since the original symbols were assumed to be bounded. We have that
and by construction \(a_{\varepsilon ,0} -{\tilde{a}}_{\varepsilon ,0}\) is supported away from \(\text {supp} (\theta _k)\cup \text {supp} (\theta _l)\). Let \({\tilde{\theta }}\in C_0^\infty ({\mathbb {R}}_x^d\times {\mathbb {R}}_p^d)\) such that \({\tilde{\theta }}(x,p)=1\) for all \((x,p)\in \text {supp} (\theta _k)\cup \text {supp} (\theta _l)\) and \(\text {supp} ({\tilde{\theta }})\cap \text {supp} (a_{\varepsilon ,0} -{\tilde{a}}_{\varepsilon ,0}) = \emptyset \). We have the following identity
Using this identity and that \(\text {Op} _\hbar ^{\text {w} }({\tilde{\theta }})\text {Op} _\hbar ^{\text {w} }(\theta _l)=\text {Op} _\hbar ^{\text {w} }(\theta _l) + \hbar ^{N_0} R_{N_0}(\hbar )\), where \(\sup _{\hbar \in (0,1]} \Vert R_{N_0}(\hbar ) \Vert _{\text {Tr} } <\infty \) for all \(N_0\in {\mathbb {N}}\), we obtain that
where we will need to choose \({\tilde{N}}\) sufficiently large. Using the support properties of \({\tilde{\theta }}\), (5.32) and (5.33) we get the estimate
where we again will choose \({\tilde{N}}\) sufficiently large later. To estimate the last term on the righthand side of (5.34), we introduce the function \(G\in C_0^\infty ({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p)\) such that \(G\theta _k = \theta _k\) and \(G{\tilde{\theta }} = G\). For all \(\alpha >0\) we have, that the function \(e^{\alpha G \log (\hbar ^{-1})}\) is a rough symbol, that is uniformly bounded. The operator \(\text {Op} _\hbar ^{\text {w} }(e^{\alpha G \log (\hbar ^{-1})})\) is elliptic, and hence it will have an inverse, which we will denote by \(\text {Op} _\hbar ^{\text {w} }(e^{\alpha G \log (\hbar ^{-1})})^{-1}\). For these operators, we have that
where \(\sup _{\hbar \in (0,\hbar (\alpha )]}\Vert R_\hbar (\varepsilon ) \Vert _{{\mathcal {L}}(L^2({\mathbb {R}}^d)}<\infty \). Here \(\hbar (\alpha )>0\) is some continuous function of \(\alpha \). We get from (5.35) that the resolvent
exists. Using the rules for compositions of operators we get that
We will be choosing the parameter \(\alpha \) to be
where \(C_1\) and \(C_2\) are two positive constants. \(C_1\) is to be chosen later. Whereas \(C_2\) is chosen sufficiently large to ensure that inevitability of one operator implies inevitability of the other in (5.36). Note that \(\alpha \) will be of order one for all \(\text {Im} (z)\in [\mu _1,2\mu _1]\). With this choice for \(\alpha \) we get from (5.37) that
Now by combining (5.34), (5.35) and (5.38) we obtain that
From using (5.26), (5.38) and the estimate \(|{\mathcal {F}}_\hbar ^{-1}[\chi _{\xi }](s-z) | \le C\xi \hbar ^{-1} e^{\frac{\xi \text {Im} (z)}{\hbar }}\) we get for \(\text {Im} (z)>0\) the estimate
where we again will need to chose \({\tilde{N}}\) sufficiently large to obtain the desired error. By using analogously estimates to the ones used in (5.28) we obtain for any \(N\in {\mathbb {N}}\) that
where we have had to choose \({\tilde{N}}\) large enough depending on M to obtain the error \(\hbar ^N\). We have also used that the real part of z is contained in a bounded set due to the support properties of \({\tilde{f}}\). In the estimation of the integrals over the remaining terms in (5.40) we will consider two cases. Firstly, we have that
where we in the last inequality have used that \(\mu _1=\frac{M\hbar }{\xi }\log (\frac{1}{\hbar })\). Now by choosing \({\tilde{N}}\) depending on M sufficiently large we obtain that the integral is neglectable. In the remaining factor, we have the term \(\max ( \hbar ^{C_1}, e^{- \frac{\text {Im} (z)}{C_2 \hbar }})\). If we are in the case, where \(\hbar ^{C_1}\) is larger and \(C_1\) is sufficiently large we can argue as in (5.42) and obtain that the integral is neglectable. Hence, we will consider the case, where \( e^{- \frac{\text {Im} (z)}{C_2 \hbar }}\) is the larger factor. Here we have that
where we again have used how we chose \(\mu _1\) and that \(\xi \le T_0\). Moreover, for this to converge to zero as \(\hbar \) goes to zero we need to assume that \(T_0<\frac{1}{C_2}\). This is the point in the proof, where we use that \(T_0\) has to be sufficiently small. Given \(N\in {\mathbb {N}}\) we can, from combining the estimates in (5.40), (5.41), (5.42) and (5.43) by choosing M sufficiently large and then \({\tilde{N}}\) and \(C_1\) sufficiently large, obtain that
The estimate in (5.44) gives us, that we without loss of generality may assume, that the operator is global micro-hyperbolic in the direction \(({\varvec{0}};(1,0,\dots ,0))\) ((5.31) without the tildes). Hence for the reminder of the proof we will omit the tilde on the operator and its principal symbol, but instead assume the principal symbol to be global micro-hyperbolic in the direction \(({\varvec{0}};(1,0,\dots ,0))\).
We have now changed the operator \(A_\varepsilon (\hbar )\) such that the principal symbol is global micro-hyperbolic. But to get the desired estimate we need to change all our operators simultaneously. This is done by introducing an auxiliary variable in the symbols and make an almost analytic extension in this variable. Recall that the operator \(A_{\varepsilon }(\hbar )\) is a sum of Weyl quantised pseudo-differential operators. In the following we let q(x, p) be one of our symbols and we let \(q_t(x,p) = q(x,(p_1+t,p_2,\dots ,p_d))\). We now take t be complex and make an almost analytic extension \({\tilde{q}}_t\) of \(q_t\) in t according to Definition 4.7 for \(|\text {Im} (t)| <1\). The form of \({\tilde{q}}_t\) is
Recalling the identity
we have that
If we take derivatives with respect to \(\text {Re} (t)\) and \(\text {Im} (t)\) in operator sense we see that
and
In the above calculation the unbounded operator \(x_1\) appears, but for all the symbols we consider the commutator \([x_1,\text {Op} _\hbar ^{\text {w} }(\partial _{p_1}^r q)] \) will be a bounded operator. This calculation gives that
This implies the following estiamtes
for any n in \({\mathbb {N}}\) by choosing an almost analytic expansion of this order. The operator \({\tilde{A}}_\varepsilon (\hbar ;t)\) is the operator, where we have made the above construction for each symbol in the expansion of the operator. Moreover, we have by the construction of \({\tilde{A}}_\varepsilon (\hbar ;t)\) that
where \(B_\varepsilon (\hbar ;t)\) is a bounded operator and its form is obtained from (5.45) with q replaced by the symbol of \(A_\varepsilon (\hbar )\). This gives
where \(U= e^{i\text {Re} (t)\hbar ^{-1}x_1}\). Hence if \(\left| \text {Im} (t) \right| \le \tfrac{ \left| \text {Im} (z) \right| }{ C_1}\) the operator \(z-{\tilde{A}}_\varepsilon (\hbar ;t)\) has an inverse, where \(C_1\ge \Vert B_\varepsilon (\hbar ;t) \Vert _{{\mathcal {L}}(L^2({\mathbb {R}}^d))} +1\). This implies that the function \(\eta (t,z)\), defined by
is well defined for \(\left| \text {Im} (t) \right| \le \tfrac{ \left| \text {Im} (z) \right| }{ C_1}\). The function has by construction the properties
for n in \({\mathbb {N}}\). But by cyclicity of the trace the function \(\eta (t,z)\) is independent of \(\text {Re} (t)\). Hence we have
by the fundamental theorem of calculus. The construction of \(\eta \) gives us that
Hence we can exchange the trace in (5.29) by \(\eta (-i\frac{\mu _1}{C_1},z)\) with an error of the order \(\hbar ^{\gamma n-2M-d}\). This is due to our choice of \(\mu _1=\frac{M\hbar }{\xi } \log (\frac{1}{\hbar })\) in the start of the proof, and that the integral is only over a compact region, where \(\left| \text {Im} (z) \right| >\mu _1\) due to the definition of \(\psi _{\mu _1}\). It now remains to estimate the term
where
and \(\mu _2=\frac{\mu _1}{C_1}\). From the construction of the almost analytic extension we have the following form of the principal symbol of \(z- {\tilde{A}}_\varepsilon (\hbar ;-i\mu _2)\)
Let \(z\in {\mathbb {C}}\) such that \(-\frac{c_0\mu _2}{4}<\text {Im} (z)<0\) and \(\left| \text {Re} (z) \right| <\eta \), where \(c_0\) is the constant from the global micro-hyperbolicity (5.31). We have by the global micro-hyperbolicity and \(\hbar \) sufficiently small that
To see this recall how the principal symbol was changed, and that if \(\text {Re} (z)-a_{\varepsilon ,0}(x,p)\) is zero or small then \( (\partial _{p_1}a_{\varepsilon ,0})(x,p)>2c_0\). Hence, we have to assume \(\hbar \) sufficiently small. This implies there exists a \(C_2\) such we have the inequality
where we again assume \(\hbar \) sufficiently small, and that all terms from the product in the above equation, which are not \((\text {Re} (z)-a_{\varepsilon ,0}(x,p))^2\), come with at least one extra \(\mu _2\). Now by Theorem 3.28 we have for every g in \(L^2({\mathbb {R}}^d)\) that
for \(\hbar \) sufficiently small. Moreover, by a Hölder inequality we have that
This shows that there exists a constant C such that
for all g in \(L^2({\mathbb {R}}^d)\). Since \(\text {Op} _\hbar ^{\text {w} }(z-{\tilde{a}}_{\varepsilon ,0}(-i\mu _2))\) is the principal part of \( {\tilde{A}}_\varepsilon (\hbar ;-i\mu _2)\) and the rest comes with an extra \(\hbar \) in front, since we have assumed regularity \(\tau \ge 1\), the above estimate implies that
for \(\hbar \) sufficiently small. We can do the above argument again for \(\text {Im} (z)\ge 0\) and obtain the same result. The estimate implies that the set \(\{ z\in {\mathbb {C}}\,|\, \text {Im} (z)>-\frac{c_0\mu _2}{4}\}\) is in the regularity set of \({\tilde{A}}_\varepsilon (\hbar ;-i\mu _2)\). Since \(\{ z\in {\mathbb {C}}\,|\, \text {Im} (z)>-\frac{c_0\mu _2}{4}\}\) is connected we have that this is a subset of the resolvent set if just one point of the set is in the resolvent set. For a z in \({\mathbb {C}}\) with positive imaginary part and \(\left| z \right| \ge 2\Vert {\tilde{A}}_\varepsilon (\hbar ;-i\mu _2) \Vert \) we have existence of \((z-{\tilde{A}}_\varepsilon (\hbar ;-i\mu _2))^{-1}\) as a Neumann series. Hence we can conclude that \((z-{\tilde{A}}_\varepsilon (\hbar ;-i\mu _2))^{-1}\) extends to a holomorphic function for z in \({\mathbb {C}}\) such \(\text {Im} (z) \ge -\frac{c_0\mu _2}{4 C_1}\). This implies that
where we have used that \(\psi _{-\frac{c_0\mu _2}{4C_1}}(z)=1\) for all z in \({\mathbb {C}}\) with \(\text {Im} (z)\ge 0\). This equality gives us the following rewriting of (5.47)
for any \(N_0\) in \({\mathbb {N}}\). We have that
for \(\text {Im} (z)<0\), where we have used that \(\psi _{\mu _1}(z) = 1\) for \(\text {Im} (z)\le 1\). The part of the integral on the right hand side of (5.48) with the derivative on \({\tilde{f}}\) will be small due to the same argumentation as previously in the proof. What remains is the part where the derivative is on \( \psi _{-\frac{c_0\mu _2}{4C_1}}\). For this part we have that
Hence by choosing M sufficiently large we can make the above expression smaller than \(\hbar ^N\) for any N in \({\mathbb {N}}\). This concludes the proof. \(\square \)
This Theorem actually imply a stronger version of it self, where the assumption of boundedness is not needed.
Corollary 5.6
Let \(A_\varepsilon (\hbar )\) be a strongly \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \ge 1\) which satisfies Assumption 4.1 and assume there exists a \(\delta \) in (0, 1) such that \(\varepsilon \ge \hbar ^{1-\delta }\). Suppose there exists a number \(\eta >0\) such \(a_{\varepsilon ,0}^{-1}([-2\eta ,2\eta ])\) is compact and a constant \(c>0\) such that
where \(a_{\varepsilon ,0}\) is the principal symbol of \(A_\varepsilon (\hbar )\). Let f be in \(C_0^\infty ((-\eta ,\eta ))\) and \(\theta \) be in \(C_0^\infty ({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p)\) such that \(\text {supp} (\theta )\subset a_{\varepsilon ,0}^{-1}((-\eta ,\eta ))\). There exists a constant \(T_0>0\) such that if \(\chi \) is in \(C_0^\infty ((\frac{1}{2} \hbar ^{1-\gamma },T_0))\) for a \(\gamma \) in \((0,\delta ]\), then for every N in \({\mathbb {N}}\), we have
uniformly for s in \((-\eta ,\eta )\).
Proof
We start by letting \(\varphi \in C_0^\infty ({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p)\) such that \(\varphi (x,p)=1\) on the set \(a_{\varepsilon ,0}^{-1}([-3/2\eta ,3/2\eta ])\) and \(\text {supp} (\varphi )\subset a_{\varepsilon ,0}^{-1}([-2\eta ,2\eta ])\). Then we define the operator \({\tilde{A}}_\varepsilon (\hbar )\) as the operator with symbol
where C is chosen sufficiently large. This operator satisfies the assumptions in Theorem 5.4 and from this theorem we get for all \(N\in {\mathbb {N}}\) that
Hence we are done, if we establish the following bound
As in the proof of Theorem 5.4 it will suffice to prove the following bound uniformly in \(\xi \)
With \(\chi _\xi (t) = \chi (\frac{t}{\xi })\), where \(\chi \) is in \(C_0^\infty ((\frac{1}{2},1))\) and \(\xi \) in \([\hbar ^{1-\gamma },T_0]\). From here the argument is almost analogous to the argument, where we obtained the global micro-hyperbolic condition, from the proof of Theorem 5.4. Again we let \(\psi \) be in \(C^\infty ({\mathbb {R}})\) such \(\psi (t)=1\) for \(t\le 1\) and \(\psi (t)=0\) for \(t\ge 2\). Moreover let M be a sufficiently large constant which will be fixed later and put
where \(\mu _1=\frac{M\hbar }{\xi }\log (\frac{1}{\hbar })\). With this function we again have the estimates from (5.26) for the function \({\bar{\partial }}({\tilde{f}}\psi _{\mu _1})\). Again we can use the Helffer-Sjöstrand formula (Theorem 4.10) for both operators \(A_\varepsilon (\hbar )\) and \({\tilde{A}}_\varepsilon (\hbar )\) on the function \(({\tilde{f}}\psi _{\mu _1})(z){\mathcal {F}}_\hbar ^{-1}[\chi _\xi ](s-z)\). This gives us that
where the second equality follow from analogous arguments to those used in the proof of Theorem 5.4. The same identities are true for the operator \({\tilde{A}}_\varepsilon (\hbar )\). This gives us that
To estimate this difference we introduce the function \({\tilde{\theta }}\in C_0^\infty ({\mathbb {R}}^d_x\times {\mathbb {R}}^d_p)\) such that \({\tilde{\theta }}=1\) in a neighbourhood of \(\text {supp} (\varphi )\). Then we use the resolvent formalism to obtain the estimate
where we have used that \(\text {supp} (\theta )\subset \text {supp} (\varphi )\). With this expression we can argue as in the proof of Theorem 5.4 and get that
From this estimate we obtain the estimate
Finally by combining the estimates in (5.53) and (5.56) we obtain the estimate in (5.51). This concludes the proof. \(\square \)
6 Weyl law for rough pseudo-differential operators
In this section, we will prove a Weyl law for rough pseudo-differential operators, and we will do it with the approach used in [24]. Firstly, we will consider some asymptotic expansions of certain integrals.
Theorem 6.1
Let \(A_\varepsilon (\hbar )\) be a \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \ge 1\) which satisfies Assumption 4.1 and assume there exists a \(\delta \) in (0, 1) such that \(\varepsilon \ge \hbar ^{1-\delta }\). Suppose there exists \(\eta >0\) such that \(a_{0,\varepsilon }^{-1}([-2\eta ,2\eta ])\) is compact and every value in the interval \([-2\eta ,2\eta ]\) is non critical for \(a_{0,\varepsilon }\), where \(a_{\varepsilon ,0}\) is the principal symbol of \(A_\varepsilon (\hbar )\). Let \(\chi \) be in \(C^\infty _0((-T_0,T_0))\) and \(\chi =1\) in a neighbourhood of 0, where \(T_0\) is the number from Corollary 5.6. Then for every f in \(C_0^\infty ((-\eta ,\eta ))\) we have that
The error term is uniform with respect to \(s \in (-\eta ,\eta )\). The number \(N_0\) depends on the desired error. The functions \(\xi _j(s)\) are smooth functions in s and are given by
where the symbols \(d_{\varepsilon ,j,k}\) are the polynomials from Lemma 4.4. In particular we have that
Moreover, we have the a priori bounds
Remark 6.2
Suppose we are in the setting of Theorem 6.1. The statement of the theorem can be rephrased in terms of convolution of measures and a function. To see this let f be in \(C_0^\infty ((-\eta ,\eta ))\), for this function we can define the function
where \(t_+=\max (0,t)\). We have, that \(M_f^0(\omega ;\hbar )\) is a monotonic increasing function, hence it defines a measure in the natural way. If we consider the function
then we have that
This formulation of the theorem will prove useful when we consider Riesz means.
The proof of the theorem is split in two parts. First is the existence of the expansion proven by a stationary phase theorem. Next is the form of the coefficients found by applying the functional calculus developed earlier.
Proof
In order to be in a situation, where we can apply the stationary phase theorem, we need to exchange the propagator with the approximation of it constructed in Sect. 5. As the construction required auxiliary localisation we need to introduce these. Let \(\theta \) be in \(C_0^\infty ({\mathbb {R}}_x^d\times {\mathbb {R}}^d_p)\) such that \(\text {supp} (\theta )\subset a_{\varepsilon ,0}^{-1}((-\eta ,\eta ))\) and \(\theta (x,p) = 1\) for all \((x,p)\in \text {supp} (f(a_{\varepsilon ,0}))\). Now by Lemma 4.14 we have that
for every N in \({\mathbb {N}}\). Hence we have that
for any N in \({\mathbb {N}}\). This implies the identity
In order to use the results of Sect. 5 we need also to localise in time. To do this we let \(\chi _2\) be in \(C_0^\infty ({\mathbb {R}})\) such that \(\chi _2(t)=1\) for t in \([-\frac{1}{2} \hbar ^{1-\frac{\delta }{2}}, \frac{1}{2} \hbar ^{1-\frac{\delta }{2}}]\) and \(\text {supp} (\chi _2) \subset [-\hbar ^{1-\frac{\delta }{2}},\hbar ^{1-\frac{\delta }{2}}]\). With this function we have that
We will use the notation \({\tilde{\chi }}(t)=(1-\chi _2(-t))\chi (-t)\) in the following. We start by considering the second term. Here we introduce an extra localisation analogous to how we introduced the first. Using the estimate in (6.3) and cyclicity of the trace again we have that
Now by Corollary 5.6 we have that
uniformly for s in \([-\eta ,\eta ]\) and any N in \({\mathbb {N}}\). What remains in (6.5) is the first term. For this term we change the quantisation of the localisation. By Corollary 3.20 we obtain for any N in \({\mathbb {N}}\) that
where \(R_N\) is a bounded operator uniformly in \(\hbar \), since \(\theta \) is a non-rough symbol. Moreover, we have that
If we choose N sufficiently large (greater than or equal to 2) we can exchange \( \text {Op} _\hbar ^{\text {w} }(\theta )\) by \(\text {Op} _{\hbar ,0}(\theta _0^N)\) plus a negligible error. We will in the following omit the N on \(\theta _0^N\). For the first term on the right hand side in (6.5) we have that \(\left| t \right| \le \hbar ^{1-\frac{\delta }{2}}\). Now by Theorem 5.1 there exists \(U_N(t,\varepsilon ,\hbar )\) with integral kernel
such that
and \(U_N(0,\varepsilon ,\hbar ) = \text {Op} _{\hbar ,0}(\theta _0)\). We emphasise, that the number N in the operator \(U_N\) is dependent on the error \(N_0\). We observe that
where we have used (6.7). By combining this with (6.5) and (6.6) we have that
Before we proceed we will change the quantisation of \(f(A_\varepsilon (\hbar ))\). From Theorem 4.11 we have that
where
the symbols \(d_{\varepsilon ,j,k}\) are the polynomials from Lemma 4.4. We choose a sufficiently large N and consider the first N terms of the operator \(f(A_\varepsilon (\hbar ))\). For each of these terms we can use Corollary 3.20 and this yields
where \(\hbar ^{M+1} R_M\) is a bounded by \(C_M \hbar ^N\) in the operator norm. The symbol \(a_{\varepsilon ,j}^{f,M}\) is given by
By chossing N sufficiently large we can exchange \(f(A_\varepsilon (\hbar ))\) by
plus a negligible error, as \(U_N(t,\varepsilon , \hbar )\) is trace class. Hence, we have the equality
As we have the non-critical assumption, Lemma 5.3 gives us that, the trace in the above expression is negligible for \(\frac{1}{2} \hbar ^{1-\frac{\delta }{2}} \le |t|\le T_0\). Hence we can omit the \( \chi _2(t)\) in the expression and then we have that
The two operators \(U_N(t,\varepsilon , \hbar )\) and \(\text {Op} _{\hbar ,1}({\tilde{a}}_{\varepsilon }^{f,M})\) are both given by kernels and the composition of the operators has the kernel
We can now calculate the trace and we get that
where
In order to evaluate the integral we will apply a stationary phase argument. We will use the theorem in t and one of the p coordinates, after using a partition of unity according to p. By assumption we have that \(\left| \nabla _p a_{\varepsilon ,0} \right| >c\) on the support of \(\theta \). Hence we can make a partition \(\Omega _j\) such that \(\partial _{p_j} a_{\varepsilon ,0}\ne 0\) on \(\Omega _j\) and without loss of generality we can assume that \(\Omega _j\) is connected. For this partition we choose a partition of the unit supported on each of the sets \(\Omega _j\). When we have localised to each of these sets the calculation will be identical with some indices changed. Hence we assume that \(\partial _{p_1} a_{\varepsilon ,0}\ne 0\) on the entire support of the integrant. We will now make a change of variables in the integral in the following way:
This transformation has the following Jacobian matrix
where \(I_d\) is the d-dimensional identity matrix, \(\nabla _x a_\varepsilon ^t\) and \(\nabla _p a_\varepsilon ^t\) are the transposed of the respective gradients. \(0_{d\times d}\) is a \(d\times d\) matrix with all entries zero and \( 0_{d-1 \times d+1}\) is a \(d-1 \times d+1\) matrix with all entries zero. We note that
which is non zero by our assumptions. Hence the inverse map exists and we will denote it by \(F^{-1}\). For the inverse we denote the part that gives p as a function of (X, P) by \(F_2^{-1}\). By this change of variables we have that
where we have omitted the prefactor \((2\pi \hbar )^{-d}\). If we perform the change of variables \({\tilde{P}}_1 = P_1-s\) we can apply the stationary phase method. Hence by stationary phase in the variables \({\tilde{P}}_1\) and t, (6.4), (6.5), (6.8), (6.10) and (6.11) we get that
uniformly for s in \((-\eta ,\eta )\). The a priori bounds given in the Theorem also follows directly from this application of stationary phase combined with the estimates on \(u_j(x,p,\hbar ,\varepsilon )\) from Theorem 5.1. This ends the proof of the existence of the expansion.
From the above expression we have that \(\xi _j(s)\) are smooth functions in s hence the above expression defines a distribution on \(C^\infty _0((-\eta ,\eta ))\). So in order to find the expressions of the \(\xi _j(s)\)’s we consider the action of the distribution. We let \(\varphi \) be in \(C_0^\infty ((-\eta ,\eta ))\) and consider the expresion
Using that f is supported in the pure point spectrum of \(A_\varepsilon (\hbar )\) we have that
where we have used Fubini’s theorem. That f is supported in the pure point spectrum follows from Theorem 4.12. If we consider the integral in the right hand side of (6.14) and let \(\psi \) be in \(C_0^\infty ((-2,2))\) such that \(\psi (t)=1\) for \(\left| t \right| \le 1\) we have
From the identity
integration by parts, the spectral theorem and that the function \((1- \psi (s))\) is support on \(\left| s \right| \ge 1\), we have that
for any N in \({\mathbb {N}}\). Now for the first integral in the right hand side of (6.15) we have by Proposition 2.1 (Quadratic stationary phase) that
where we have used that \(\psi (0)=1\) and \(\psi ^{(j)}(0)=0\) for all \(j\in {\mathbb {N}}\). Moreover, we have from Theorem 2.1 the estimate
As the integrants are supported on a compact set the integral will be convergent and since \(\varphi \) is \(C_0^\infty ({\mathbb {R}})\) we have by the spectral theorem that
If we now use that \(\chi \) is 1 in a neighbourhood of 0 and combine (6.14)–(6.18) we have that
Since both f and \(\varphi \) are \(C_0^\infty ((-\eta ,\eta ))\) functions we have by Theorem 4.13 the identity
From Theorem 4.13 we have the exact form of the terms \(T_j(f \varphi ,A_\varepsilon (\hbar ))\), which is given by
where the symbols \(d_{\varepsilon ,j,k}\) are the polynomials from Lemma 4.4. If we combine (6.12), (6.19) and (6.20) we get that
If we consider \(T_0(f \varphi ,A_\varepsilon (\hbar ) )\) we have that
where \(S_\omega \) is the euclidian surface measure on the surface in \({\mathbb {R}}_x^d\times {\mathbb {R}}_p^d\) given by the equation \(a_{\varepsilon ,0}(x,p)=\omega \). If we now consider \(T_j(f \varphi ,A_\varepsilon (\hbar ) )\) we have that
where we in the last equality have made integration by parts. These equalities imply the stated form of the functions \(\xi _j\). \(\square \)
We will now introduce some notation that will be useful for the rest of this section. We let \(\chi \) be a function in \(C_0^\infty ((-T_0,T_0))\), where \(T_0\) is a sufficiently small number. The number will be the number \(T_0\) from Corollary 5.6. We suppose \(\chi \) is even and \(\chi (t)=1\) for \(|t|\le \frac{T_0}{2}\). We then set
We assume \({\hat{\chi }}_1\ge 0\) and that there is a \(c>0\) such that \({\hat{\chi }}_1(t)\ge c\) in a small interval around 0. These assumptions can be guaranteed by replacing \(\chi \) by \(\chi *\chi \). With this we set
Lemma 6.3
Assume we are in the setting of Theorem 6.1 and let g be in \(L^1({\mathbb {R}})\) with \(\text {supp} (g)\subset (-\eta ,\eta )\). Then for any \(j\in {\mathbb {N}}_0\)
Proof
From Theorem 6.1 we have that \( \xi _j(s) \) is bounded for all j. Hence by standard approximations it is sufficient to prove the statement for \(g\in C_0^\infty ((-\eta ,\eta ))\), which we assume from here on.
That \( \xi _j(s) \) is bounded for all j immediately give us the estimate for \(j=0\). So we may assume \(j\ge 1\). By definition of \(\xi _j(s)\) we have that
On the support of \(fg(a_{\varepsilon ,0}(x,p))\) we have that \(|\nabla _p a_{\varepsilon ,0}(x,p)|>c\). Hence we can make a partition \(\{\Omega _j\}_{j=1}^d\) such that \(\partial _{p_j} a_\varepsilon \ne 0\) on \(\Omega _j\) and without loss of generality we can assume that \(\Omega _j\) is connected. As in the proof of Theorem 6.1 we now choose a partition of unity supported on each \(\Omega _j\) and split the integral accordingly. Hence without loss of generality we can assume \(\partial _{p_1} a_\varepsilon \ne 0\) on the whole support. With the same notation as in the proof of Theorem 6.1 we perform the change of variables
This gives us that
where we after the change of variables have performed integration by parts. We have from the definition of the polynomials \(d_{\varepsilon ,j,k}\) that they are of regularity \(\tau -j\) and since we are integrating over a compact subset of \({\mathbb {R}}^{2d}\) we obtain the estimate
This concludes the proof. \(\square \)
6.1 Weyl law for rough pseudo-differential operators
Before we state and prove the Weyl law for rough pseudo-differential operators we recall a Tauberian theorem from [24, Theorem V–13].
Theorem 6.4
Let \(\tau _1<\tau _2\) and \(\sigma _\hbar :{\mathbb {R}}\rightarrow {\mathbb {R}}\) be a family of increasing functions, where \(\hbar \) is in (0, 1]. Moreover, let \(d\ge 1\). Suppose that
-
1.
\(\sigma _\hbar (\tau ) =0\) for every \(\tau \le \tau _1\).
-
2.
\(\sigma _\hbar (\tau )\) is constant for \(\tau \ge \tau _2\).
-
3.
\(\sigma _\hbar (\tau ) = {\mathcal {O}}(\hbar ^{-d})\) as \(\hbar \rightarrow 0\), and uniformly with respect to \(\tau \) in \({\mathbb {R}}\).
-
4.
\( \partial _\tau \sigma _\hbar * {\hat{\chi }}_\hbar (\tau ) = {\mathcal {O}}(\hbar ^{-d})\) as \(\hbar \rightarrow 0\) uniformly with respect to \(\tau \) in \({\mathbb {R}}\).
where \({\hat{\chi }}_\hbar \) is defined as above. Then we have that
as \(\hbar \rightarrow 0\) and uniformly with respect to \(\tau \) in \({\mathbb {R}}\).
Theorem 6.5
Let \(A_\varepsilon (\hbar )\) be a strongly \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \ge 1\) which satisfies Assumption 4.1 and assume there exists a \(\delta \) in (0, 1) such that \(\varepsilon \ge \hbar ^{1-\delta }\). Suppose there exists a \(\eta >0\) such that \(a_{\varepsilon ,0}^{-1}((-\infty ,\eta ])\) is compact, where \(a_{\varepsilon ,0}\) is the principal symbol of \(A_\varepsilon (\hbar )\). Moreover we suppose that
Then we have that
for all sufficiently small \(\hbar \).
Proof
By the assumption in (6.22) there exists a \(\nu >0\) such that
Moreover, by Theorem 4.2 we have that the spectrum of \(A_\varepsilon (\hbar )\) is bounded from below uniformly in \(\hbar \). Let E denote a number with distance 1 to the bottom of the spectrums. We now take two functions \(f_1\) and \(f_2\) in \(C_0^\infty ({\mathbb {R}})\) such that
for every t in [E, 0], \(\text {supp} (f_2)\subset [-\frac{\nu }{4},\frac{\nu }{4}]\), \(f_2(t)=1\) for \(t\in [-\frac{\nu }{8},\frac{\nu }{8}]\) and \(f_2(t)=f_2(-t)\) for all t. With these functions we have
For the first term on the right hand side in the above equality we have by Theorem 4.13 that
In order to calculate the second term on the right hand side in (6.23) we will study the function
We have that \(M(\omega ;\hbar )\) satisfies the three first conditions in Theorem 6.4. In what follows, we will use the notation
where \(\text {spec} (A_\varepsilon (\hbar ))\) is the spectrum of the operator \(A_\varepsilon (\hbar )\). The function M can be written in the following form
since \(f_2\) is supported in the pure point spectrum of \(A_\varepsilon (\hbar )\). This follows from Theorem 4.12. Let \({\hat{\chi }}_\hbar \) be defined as above. Then we will consider the convolution
If we take a derivative with respect to \(\omega \) we get that
by the definition of \({\hat{\chi }}_\hbar \). We get now by Theorem 6.1 the identity
where the size of the error follows from the a priori estimates given in the Theorem 6.1. This verifies the fourth condition in Theorem 6.4 for \(M(\cdot ;\hbar )\), hence Theorem 6.4 gives the identity
By combining (6.23), (6.24) and (6.27) we get that
This is the desired estimate and this ends the proof. \(\square \)
6.2 Riesz means for rough pseudo-differential operators
Theorem 6.6
Let \(A_\varepsilon (\hbar )\) be a strongly \(\hbar \)-\(\varepsilon \)-admissible operator of regularity \(\tau \ge 2\) which satisfies Assumption 4.1 and assume there exists a \(\delta \) in (0, 1) such that \(\varepsilon \ge \hbar ^{1-\delta }\). Suppose there exists a \(\eta >0\) such that \(a_{\varepsilon ,0}^{-1}((-\infty ,\eta ])\) is compact, where \(a_{\varepsilon ,0}\) is the principal symbol of \(A_\varepsilon (\hbar )\). Moreover, we suppose that
Then for \(1\ge \gamma >0\) we have that
for all sufficiently small \(\hbar \). The numbers \(\Psi _j(\gamma ,A_\varepsilon )\) are given by
Remark 6.7
The proof of this theorem is valid for any \(\gamma >0\). For the case where \(\gamma >1\) the expansion will have additional terms. These additional terms can also be found and calculated explicitly. But note that to ensure the error is of order \(\hbar ^{1+\gamma -d}\) one will in general need to impose the restriction \(\gamma \le \tau -1\) on \(\gamma \) and the regularity \(\tau \).
If we, for the case \(\gamma \in (0,1]\), had assumed \(\tau =1\). Then the error obtained in Theorem 6.6 would have been of the order \(\max (\hbar ^{1+\delta -d},\hbar ^{1+\gamma -d})\). Hence under the assumption that \(\delta \ge \gamma \) we would get the desired order of the error. This choice of \(\delta \) would be possible. However, in the proof of Theorem 1.5 we will also need to compare phase space integrals. That is we need to estimate the two differences
and
The order of the error we can obtain here will be \(\varepsilon ^{1+\mu }\hbar ^{-d}\) and \(\varepsilon ^{\mu }\hbar ^{-d}\) respectively, where \(\mu \) is the Hölder continuity parameter of the coeffcients. When choosing \(\varepsilon =\hbar ^{1-\delta }\) we get that the order of the error from these two terms will be
In order to ensure we get the sharp bound, we will need to have \(\mu \in [0,1]\) and \(\delta \in [\gamma ,1)\) such that
Choosing \(\delta =\gamma \) we get that for both inequalities to be true we will need \(\mu \) to satisfies that
This relation is only possible to obtain for \(\gamma \le \frac{1}{3}\). As for \(\gamma >\frac{1}{3}\) the right hand side of (6.30) will be strictly greater than one.
To summarise, when considering Riesz means of order \(\gamma \le \frac{1}{3}\), we can assume the coefficients are in \(C^{1,\mu }({\mathbb {R}}^d)\), where \(\mu \) satisfies (6.30).
Proof
By the assumption in (6.28) there exists a \(\nu >0\) such that
By Theorem 4.2 we have that the spectrum of \(A_\varepsilon (\hbar )\) is bounded from below uniformly in \(\hbar \). In the following, let E denote a number with distance 1 to the bottom of the spectrum. We now take two functions \(f_1\) and \(f_2\) in \(C_0^\infty ({\mathbb {R}})\) such that
for every t in [E, 0], \(\text {supp} (f_2)\subset [-\frac{\nu }{4},\frac{\nu }{4}]\), \(f_2(t)=1\) for t in \([-\frac{\nu }{8},\frac{\nu }{8}]\) and \(f_2(t)=f_2(-t)\) for all t. We can now write
The first term in (6.31) is now the trace of a smooth compactly supported function of our operator. Hence we can calculate the asymptotic using Theorem 4.13. Before applying this theorem we will study the second term in (6.31). Before we proceed we note that
This form will be slightly more convenient to work with and we will introduce the notation \(\varphi ^\gamma (t)=(t)_+^\gamma \). As we will use a smoothing procedure we will consider the expression
where \(dM_{f_2}^0\)Footnote 1 is the measure induced by the function
as in Remark 6.2. Let \({\hat{\chi }}_\hbar (t)\) be as above and consider the convolution \({\hat{\chi }}_\hbar *M_{f_2}^\gamma \). Then we have that
From Remark 6.2 we have an asymptotic expansion of \({\hat{\chi }}_\hbar *dM_{f_2}^0(\cdot ;\hbar )(\omega ) \). In order to see that we can use this expansion let g be in \(C_0^\infty ([-\nu ,\nu ])\) such that \(g(t)=1\) for all t in \([-\frac{\nu }{2},\frac{\nu }{2}]\). Then we have that
For the second term we have that
Since \({\hat{\chi }}\) is Schwarz class and \(\left| t-e_j(\hbar ) \right| \ge \frac{\nu }{4}\) on the support of \( (1-g(t)) \) we get, by the support properties of \(f_2\), that
for all N in \({\mathbb {N}}\). We can use the expansion from Remark 6.2 on the first term in (6.33) due to the support properties of g and the estimate obtained in (6.34) for the second term in (6.33). This yields the estimate
where we have also used Lemma 6.3 and the assumption that \(\tau \ge 2\) to obtain the estimate. Using the definition of the functions \(\xi _0(t)\) and \(\xi _1(t)\) we get that
where we have also used that \(g(t)=1\) for all \(t\in \text {supp} (f_2)\). We now turn to the first term in (6.31). Here we apply Theorem 4.13 (as mentioned above) and get that
for all sufficiently small \(\hbar \), where
Combining (6.31), (6.32), (6.35), (6.37) we obtain that
where we have used (6.36), (6.38) and the definition of the functions \(f_1\) and \(f_2\) to obtain the terms \(\Psi _0(\gamma ,A_\varepsilon )\) and \(\Psi _1(\gamma ,A_\varepsilon )\). What remains is an Tauberian type argument to prove that
uniformly in \(\omega \). We have by definition of \({\hat{\chi }}_\hbar \) that
where we have used that
The next step is to write the difference \( M_{f_2}^\gamma (\omega ;\hbar ) - M_{f_2}^\gamma (\omega -t\hbar ;\hbar )\) as the inverse Fourier transform of the Fourier transform. However, before we do this we first find an expression for the Fourier transform of \( M_{f_2}^\gamma (\omega ;\hbar )\). This function exists as a limit of a complex Fourier transform. We have that
where \(\Gamma \) is the gamma-function. By taking \(\kappa \) to zero we get that
With this established we write the difference \( M_{f_2}^\gamma (\omega ;\hbar ) - M_{f_2}^\gamma (\omega -t\hbar ;\hbar )\) as the inverse Fourier transform of the Fourier transform and get from (6.41) that
By reintroducing \(\kappa \), using Fubini’s theorem and then take \(\kappa \) to zero we get that
where \(\psi (s) = (1-\chi ( s))s^{-\gamma -1}\). Now we just need to estimate the sum by a constant times \(\hbar ^{1-d}\). Firstly, we note that
Since \(\chi (s)=1\) for all s in a neighbourhood of 0 and \(\gamma >0\) it follows that \(\psi \in L^1({\mathbb {R}})\). Moreover, for all \(k\in {\mathbb {N}}\) we have that \(\psi ^{(k)}\in L^1({\mathbb {R}})\), where \(\psi ^{(k)}\) is the k’th derivative of \(\psi \). This is due to the support properties of \(\chi \) and that \(\gamma >0\). Since we have that \(\psi ^{(k)}\in L^1({\mathbb {R}})\) for all \(k\in {\mathbb {N}}_0\), it follows that \({\hat{\psi }}\) is continuous and decays faster than any polynomial. This implies that
for all values of \( (e_j(\hbar )-\omega )\hbar ^{-1}\). Applying this bound we get that
To estimate the sum we note that due to the support properties of \(f_2\) we have that
For all m such that the intersection is empty we do not get any contributions. For the \(m\in {\mathbb {Z}}\) such that the intersection is non-empty we will be in one of the following three cases
In all three cases we will have that \([m\hbar +\omega , (m+1)\hbar +\omega ]\cap [-\nu /4,\nu /4]=[c_1,c_2]\) such that \(|c_1-c_2|\le \hbar \) and the numbers \(c_1\) and \(c_2\) will be non-critical for our principal symbol. Hence we will in the following just consider a trace of the form \(\text {Tr} [ {\varvec{1}}_{[c_1,c_2]}(A_\varepsilon (\hbar )) ]\), where \(c_1\) and \(c_2\) are non-critical values for the principal symbol. Since the numbers \(c_1\) and \(c_2\) are non-critical we get from applying Theorem 6.5 that
for \(i=1,2\) and \(\hbar \) sufficiently small. This gives us that
for all \(\hbar \) succulently small. Moreover we have for \(\hbar \) sufficiently small that \([c_1,c_2]\subset [-\nu ,\nu ]\). Hence all values in the interval \([c_1,c_2]\) will be non-critical. This gives us that we can apply the coarea formula and obtain that
where \(S_E\) is the euclidean surface measure on the surface \(\{a_\varepsilon (x,p) = E\}\). Due to the compactness assumption we have that
where the constant is independent of \(c_1\) and \(c_2\). combining the estimate in (6.48) and (6.49) we obtain that
where the constant is independent of \(c_1\) and \(c_2\). Combining the estimates in (6.47) and (6.50) we obtain that
Since all the sets \([m\hbar +\omega , (m+1)\hbar +\omega ]\cap [-\nu /4,\nu /4]\) of interest are of the form \([c_1,c_2]\) such that \(|c_1-c_2|\le \hbar \) and the numbers \(c_1\) and \(c_2\) are non-critical we get from (6.51) that
where the constant is independent of \(\omega \) and m. From combining the estimates in (6.43), (6.45), (6.46) and (6.52) we obtain that
where we have used that \( \sum _{m\in {\mathbb {Z}}} \frac{1}{1+m^2} <\infty \). Finally from combining (6.42) and (6.53) we obtain (6.40) uniformly in \(\omega \). This concludes the proof. \(\square \)
7 Proof of main theorems
Lemma 7.1
Let \({\mathcal {A}}_\hbar \) be a sesquilinear form which satisfies Assumption 1.2 with the numbers \((\tau ,\mu )\) in \({\mathbb {N}}\times [0,1]\). Suppose \({\mathcal {A}}_{\hbar ,\varepsilon }^{\pm }\) are the framing sesquilinear forms constructed in Proposition 2.5. Then for all \(\varepsilon \) sufficiently small there exists two \(\hbar \)-\(\varepsilon \)-admissible operators of regularity \(\tau \) \(A^{\pm }_\varepsilon (\hbar )\) such that they satisfy Assumption 4.1. In particular they will be lower semi-bounded, selfajoint for all \(\hbar \) sufficiently small and satisfies that
Remark 7.2
Assume we are in the setting of Lemma 7.1. Since we have that \(A^{\pm }_\varepsilon (\hbar )\) both are \(\hbar \)-\(\varepsilon \)-admissible of regularity \(\tau \) it follows from Theorem 3.18 that we can write the operators as a sum Weyl quantised symbols that is
Written in this form the operator still satisfies Assumption 4.1. In particular we have that
and
where \(\eta _j\) is the multi-index with all zeroes except on the j’th coordinate, where it is 1. Note that from the assumption \(a_{\alpha \beta }^\varepsilon (x)=\overline{a_{\beta \alpha }^\varepsilon (x)}\) it follows that \(a^{\pm }_{\varepsilon ,1}(x,p)\) is real valued.
Proof
Assume \(\varphi \) and \(\psi \) are Schwartz functions and recall that the sesquilinear forms \({\mathcal {A}}_{\hbar ,\varepsilon }^{\pm }\) are given by
where \(a_{\alpha \beta }^\varepsilon (x)\) are smooth functions. In the identity we have made integration by parts. With this in mind we define the symbol \(b_\varepsilon (x,p;\hbar )\) to be
Next we verify that there exists a \(\zeta <0\) such that \(b_{\varepsilon ,0}(x,p)-\zeta \) is a tempered weight and that \(b_{\varepsilon ,j}\) is in \(\Gamma ^{b_{\varepsilon ,0}-\zeta ,\tau -j}_{0,\varepsilon }({\mathbb {R}}_x^{d}\times {\mathbb {R}}_p^{d})\) for all j.
We have that the forms are elliptic for all \(\varepsilon \) sufficiently small. Moreover, by assumption all coefficients are bounded below by a number \(-\zeta _0\). This implies that
for some positive constant C and for all (x, p). Here we have used that \(a_{\alpha \beta }^\varepsilon (x)=\overline{a_{\beta \alpha }^\varepsilon (x)}\) which implies that \(b_{\varepsilon ,0}(x,p) \) is real for all (x, p). Hence we can find \(\zeta <0\) such that \(b_{\varepsilon ,0}(x,p)-\zeta >0\) for all \((x,p)\in {\mathbb {R}}^d_x\times {\mathbb {R}}^d_p\).
To see that this is a tempered weight we first recall how the new coefficients \(a_{\alpha \beta }^\varepsilon (x)\) was constructed. They are given by
where \(\omega (y)\) is a real Schwarz function integrating to 1. By assumption there exists a constant c such that \(a_{\alpha \beta }^\varepsilon (x)+ c>0\) and we have that
where we have used that \(\varepsilon \le 1\), some of the assumptions on \(a_{\alpha \beta }(x)\) and that
by Proposition 2.4. This gives us that the coefficients \(a_{\alpha \beta }^\varepsilon (x)\) have at most polynomial growth. Due to the polynomial structure of \(b_{\varepsilon ,0}(x,p)\) and the at most polynomial growth of \(a_{\alpha \beta }^\varepsilon (x)\) there exist constants C and N independent of \(\varepsilon \) in (0, 1] such that
This shows that \(b_{\varepsilon ,0}(x,p)\) is a tempered weight. To see that \(b_{\varepsilon ,j}\) is in \(\Gamma ^{b_{\varepsilon ,0}-\zeta ,\tau -j}_{0,\varepsilon }({\mathbb {R}}_x^{d}\times {\mathbb {R}}_p^{d})\) for all j we first note that for \(\eta \) in \({\mathbb {N}}^d_0\) with \(|\eta |\le \tau \) we have that
where we again have used (7.9). The calculation also shows that \(C_j\) is uniform for \(\varepsilon \) in (0, 1]. For any \(\eta \) in \({\mathbb {N}}_0^d\) with \(\left| \eta \right| \ge \tau \) we have that
by Proposition 2.4 with a constant which is uniform for \(\varepsilon \) in (0, 1]. From combining (7.11) and (7.12) it follows that we for all \(\eta \) and \(\delta \) in \({\mathbb {N}}_0^d\) can find constants \(C_{\eta \delta }\) such that
This estimate gives us that \(b_{\varepsilon ,j}\) is in \(\Gamma ^{b_{\varepsilon ,0}-\zeta ,\tau -j}_{0,\varepsilon }({\mathbb {R}}_x^{d}\times {\mathbb {R}}_p^{d})\) for all j.
Define the operators \(A^{\pm }_\varepsilon (\hbar )\) to be
From the above estimates we have that \(A^{\pm }_\varepsilon (\hbar )\) is a \(\hbar \)-\(\varepsilon \)-admissible of regularity \(\tau \). That the regularity is \(\tau \) follows directly from Proposition 2.4. Moreover, we already have that the operator \(A^{\pm }_\varepsilon (\hbar ) \) satisfies 2 and 3 from Assumption 4.1. From (7.5) we have that \(A^{\pm }_\varepsilon (\hbar ) \) also satisfies 1 of Assumption 4.1. Theorem 4.2 now gives us that \(A^{\pm }_\varepsilon (\hbar ) \) are lower semi-bounded and essentially self-adjoint for all \(\hbar \) sufficiently small. Denote also by \(A^{\pm }_\varepsilon (\hbar )\) the self-adjoint exstension. From (7.5) we also get that
This concludes the proof. \(\square \)
Lemma 7.3
Let \({\mathcal {A}}_\hbar \) be a sesquilinear form which satisfies Assumption 1.2 with the numbers \((\tau ,\mu )\) in \({\mathbb {N}}\times [0,1]\). Then the form is symmetric, lower semi-bounded, densely defined and closed.
Proof
Recall that the sesquilinear form \({\mathcal {A}}_\hbar \) is given by
We have by assumption that \(a_{\alpha \beta }(x)=\overline{a_{\beta \alpha }(x)}\) for all \(\alpha \) and \(\beta \). This gives us that the form is symmetric. Moreover, we also have that the coefficients \(a_{\alpha \beta }(x)\) at most grow polynomially, hence it follows that the Schwartz functions are contained in the form domain. This gives that the form is densely defined.
From Proposition 2.5 we get the two forms \({\mathcal {A}}_{\hbar ,\varepsilon }^{\pm }\) such that
for all \(\varphi \) in \({\mathcal {D}}( {\mathcal {A}}_\hbar )\). Moreover, the result in Lemma 7.1 implies that the forms \({\mathcal {A}}_{\hbar ,\varepsilon }^{\pm }\) are closed. Hence \({\mathcal {A}}_{\hbar }\) will also be closed. This concludes the proof. \(\square \)
7.1 Proof of Theorem 1.3
Recall that we assume \({\mathcal {A}}_\hbar \) is sesquilinear form which satisfies Assumption 1.2 with the numbers \((1,\mu )\) with \(\mu >0\). Then for the Friedrichs extension of \({\mathcal {A}}_\hbar \) we have
Proof of Theorem 1.3
From Lemma 7.3 we get the existence of the operator \(A(\hbar )\) as a Friedrichs extension. Combining Proposition 2.5 and Lemma 7.1 we get the existence of two \(\hbar \)-\(\varepsilon \)-admissible operators \(A^{\pm }_\varepsilon (\hbar )\) of regularity 1 satisfying Assumption 4.1 for all \(\varepsilon \) sufficiently small such that
in the sense of quadratic forms. Moreover the operators \(A^{\pm }_\varepsilon (\hbar )\) have the following expansions
In particular we have that
Moreover, from Proposition 2.5 we also get that 0 is a non-critical value for the operators \(A^{\pm }_\varepsilon (\hbar )\). What remains in order to be able to apply Theorem 6.5 for the two operators \(A^{\pm }_\varepsilon (\hbar )\) is the existence of a \({\tilde{\nu }}>0\) such that the preimage of \((-\infty ,{\tilde{\nu }}]\) under \(a^{\pm }_{\varepsilon ,0}\) is compact. By the ellipticity of the operators we have that the preimage is compact in p. Let \({\tilde{\nu }}=\frac{\nu }{2}\) and note that as in the proof of Proposition 2.5 we have the estimate
since we can assume p to be in a compact set. This estimate implies the inclusion
Hence for a sufficiently small \(\varepsilon \) we have, that \(\{ (x,p) \in {\mathbb {R}}^{2d} \, |\, a_{\varepsilon ,0}^{\pm }(x,p) \le \frac{\nu }{2} \}\) is compact due to our assumptions. Now by Theorem 6.5 we get for sufficiently small \(\hbar \) and \(\varepsilon \ge \hbar ^{1-\delta }\) for a positive \(\delta <1\) that
Here we choose \(\delta =\frac{\mu }{1+\mu }\). Now if we consider the following difference between integrals
Then for \(\varepsilon \) and hence \(\hbar \) sufficiently small we obtain that
where we in the last inequality have used the non-critical condition. By combining (7.21) and (7.22) we get that
If we take \(\varepsilon = \hbar ^{1-\delta }\) we have that
Hence (7.23) with this choice of \(\delta \) and \(\varepsilon \) gives the estimate
Now as the framing operators satisfied the relation
in the sense of quadratic forms. We get by the min-max theorem the relation
Combining this with (7.24) we get the estimate
This is the desired estimate and this ends the proof. \(\square \)
7.2 Proof of Theorem 1.5
Recall that we have given a number \(\gamma \) in (0, 1] and a sesquilinear form \({\mathcal {A}}_\hbar \) which satisfies Assumption 1.2 with the numbers \((2,\mu )\), where we suppose \(\mu =0\) if \(\gamma <1\) and \(\mu >0\) if \(\gamma =1\). Then for the Friedrichs extension of \({\mathcal {A}}_\hbar \) we have that
for all sufficiently small \(\hbar \), where the symbol \(a_1(x,p)\) is defined as
where \(\eta _j\) is the multi-index with all entries zero except the j’th which is one.
Proof of Theorem 1.5
The start of the proof is analogous to the proof of Theorem 1.3. Again from Lemma 7.3 we get the existence of the operator \(A(\hbar )\) and by combining Proposition 2.5 and Lemma 7.1 we get the existence of two \(\hbar \)-\(\varepsilon \)-admissible operators \(A^{\pm }_\varepsilon (\hbar )\) of regularity 2 satisfying Assumption 4.1 for all \(\varepsilon \) sufficiently small such that
in the sense of quadratic forms. Moreover, the operators \(A^{\pm }_\varepsilon (\hbar )\) have the following expansions
In particular we have that
and
Moreover, from Proposition 2.5 we also get that 0 is a non-critical value for the operators \(A^{\pm }_\varepsilon (\hbar )\). Just as before we also get that there exist \({\tilde{\nu }}\) such that \(a_{\varepsilon ,0}^{-1}((-\infty ,{\tilde{\nu }}])\) is compact for all sufficiently small \(\varepsilon \). Hence we are in a situation where we can apply Theorem 6.6 for the operators \(A^{\pm }_\varepsilon (\hbar ) \). This gives us that
What remains is to compare the phase space integrals. We let \(\kappa >0\) be a number such that \(a_{0}(x,p)\) is non-critical on \(a_{0}^{-1}(-2\kappa ,2\kappa )\). We then do the following splitting of integrals
where \(c>0\) is a number such that \(a_{0}(x,p)-1 \ge -c\) for all (x, p). On the preimage \(a_{0}^{-1}((-\infty ,-\kappa ])\) we have that \(a_{0,\varepsilon }^{\pm }\) will be bounded from above by \(-\frac{\kappa }{2}\) for all \(\varepsilon \) sufficiently small. Hence using that the map \(t\mapsto (t)^\gamma _{-}\) is globally Lipschitz continuous when restricted to any interval of the form \((-\infty ,-\frac{\kappa }{2})\) we get that
where we in the last inequality have used estimates similar to the ones used in the proof of Proposition 2.5. Before we estimate the second term in (7.31) we note that for all \(\gamma \) in (0, 1] and \(t\le 0\) we have that
Using this observation we get that
where we in the last inequality have used the non-critical assumption. Combining (7.31), (7.32) and (7.33) we get that
Next we consider the difference
Firstly we notice that from Proposition 2.5 we get that
Moreover, we have that
where the number \(\kappa >0\) is the same as above. In this estimate we have used that
where the arguments are analogous to the ones used for estimating the first difference of phase space integrals after recalling that the map \(t\rightarrow (t)^{\gamma -1}_{-}\) is Lipschitz continuous when restricted to a bounded interval of the form \((-a,-b)\), where \(0<b<a\).
On the pre-image \(a_{0}^{-1}((-\kappa ,0])\) we have that
Then by using a partition of unity we may assume that \(|\partial _{p_1}a_{0}(x,p)|\ge c>0\) on \(a_{0}^{-1}((-\kappa ,0])\). From the construction of the approximating symbols it follows that for \(\varepsilon \) sufficiently small we get that \(|\partial _{p_1}a_{\varepsilon ,0}^{\pm }(x,p)|\ge {\tilde{c}}\) when \(a_{\varepsilon ,0}^{\pm }(x,p)\in (-\kappa ,0]\). As in the proof of Theorem 6.1 we now define the maps \(F^{\pm }\) and F by
and the map F is defined similarly with \(a_{\varepsilon ,0}^{\pm }(x,p)\) replaced by \(a_{0}(x,p)\). The determinants for the Jacobian matrices are given by
This gives us that the inverse maps (\(G^{\pm }\), G) exists and they will be close in the sense that
on the domain, where both functions are defined. To see this note that they will only be different in one coordinate and note that these coordinates will be determined by the equation \(a_0(y,(p_1,q_2,\dots ,q_d))=q_1\) and similarly for the two other functions. With a change of variables we get that
where \(\Omega \) is a compact subset of \({\mathbb {R}}^{d}_x \times {\mathbb {R}}^{d}_p\). The last estimate follows similarly to the previous estimates. From combining (7.35), (7.36), (7.37) and (7.41) we get that
Now by choosing \(\delta = 1- \frac{1+\gamma }{2+\mu }\) and combining (7.30), (7.34) (7.42) we obtain that
Now as the framing operators satisfied the relation
in the sense of quadratic forms. We get by the min-max-theorem the relation
These inequalities combined with (7.43) give the desired estimates and this concludes the proof. \(\square \)
7.3 Proof of Theorem 1.9 and Theorem 1.10
Recall that we assume \(B(\hbar )\) is an admissible operator and that \(B(\hbar )\) satisfies Assumption 1.8 with \(\hbar \) in \((0,\hbar _0]\). Moreover we assume that \({\mathcal {A}}_\hbar \) is a sesquilinear form which satisfies Assumption 1.2 with the numbers \((k,\mu )\), where the value of the two numbers k and \(\mu \) depend on which Theorem one consider. We defined the symbol \({\tilde{b}}_0(x,p) \) to be
Finally we supposed that there is a \(\nu \) such that \({\tilde{b}}_0^{-1}((-\infty ,\nu ])\) is compact and there is \(c>0\) such that
Proof of Theorem 1.9 and Theorem 1.10
From Lemma 7.3 we get the existence of the self-adjoint operator \(A(\hbar )\) as the Friedrichs extension \({\mathcal {A}}_\hbar \). Since the Schwartz functions are in the domain of the operators \(A(\hbar )\) and \(B(\hbar )\) we can define their form sum \({\tilde{B}}(\hbar ) =B(\hbar )+ A(\hbar )\) as a selfadjoint, lower semi-bounded operator see e.g. [30, Proposition 10.22]. Using Proposition 2.5 and by arguing as in Lemma 7.1 we get the existence of two \(\hbar \)-\(\varepsilon \)-admissible operators \({\tilde{B}}^{\pm }_\varepsilon (\hbar )\) of regularity 1 or 2 satisfying Assumption 4.1 for all \(\varepsilon \) sufficiently small such that
In the sense of quadratic forms. In fact we will have that \({\tilde{B}}^{\pm }_\varepsilon (\hbar ) = B(\hbar )+ A^{\pm }_\varepsilon (\hbar )\), where \( A^{\pm }_\varepsilon (\hbar )\) is the operator from Lemma 7.1. From here the proof is either analogous to that of Theorem 1.3 if it is the proof of Theorem 1.9. If it is the proof of Theorem 1.10 it will be analogous to the proof of Theorem 1.5 from here. \(\square \)
Data access statement
No new data were generated or analysed during this study.
Notes
The measure is just a sum of delta measures in the eigenvalues.
References
Arendt, W., Nittka, R., Peter, W., Steiner, F.: 1 Weyl’s Law: Spectral Properties of the Laplacian in Mathematics and Physics, pp. 1–71 (2009). https://doi.org/10.1002/9783527628025.ch1
Ivrii, V.: 100 years of Weyl’s law. Bull. Math. Sci. 6(3), 379–452 (2016). https://doi.org/10.1007/s13373-016-0089-y
Clark, C.: The asymptotic distribution of eigenvalues and eigenfunctions for elliptic boundary value problems. SIAM Rev. 9, 627–646 (1967). https://doi.org/10.1137/1009105
Helffer, B., Robert, D.: Calcul fonctionnel par la transformation de Mellin et opérateurs admissibles. J. Funct. Anal. 53(3), 246–268 (1983). https://doi.org/10.1016/0022-1236(83)90034-4
Hörmander, L.: The spectral function of an elliptic operator. Acta Math. 121, 193–218 (1968). https://doi.org/10.1007/BF02391913
Helffer, B., Robert, D.: Riesz means of bound states and semiclassical limit connected with a Lieb-Thirring’s conjecture. Asymptot. Anal. 3(2), 91–103 (1990)
Hörmander, L.: On the Riesz means of spectral functions and eigenfunction expansions for elliptic differential operators. In: Some Recent Advances in the Basic Sciences, Vol. 2 (Proc. Annual Sci. Conf., Belfer Grad. School Sci., Yeshiva Univ., New York, 1965–1966), pp. 155–202. Yeshiva Univ., Belfer Graduate School of Science, New York (1969)
Bronstein, M., Ivrii, V.: Sharp spectral asymptotics for operators with irregular coefficients. I. Pushing the limits. Commun. Partial Differ. Equ. 28(1–2), 83–102 (2003). https://doi.org/10.1081/PDE-120019375
Ivrii, V.: Microlocal Analysis and Precise Spectral Asymptotics. Springer Monographs in Mathematics, p. 731. Springer, Berlin (1998). https://doi.org/10.1007/978-3-662-12496-3
Ivrii, V.: Microlocal Analysis, Sharp Spectral Asymptotics and Applications I – V. Springer, Cham, Switzerland (2019). https://books.google.dk/books?id=G3hfyAEACAAJ
Ivrii, V.J., Sigal, I.M.: Asymptotics of the ground state energies of large Coulomb systems. Ann. Math. 138(2), 243–335 (1993). https://doi.org/10.2307/2946613
Ivrii, V.: Sharp spectral asymptotics for operators with irregular coefficients. II. Domains with boundaries and degenerations. Commun. Partial Differ. Equ. 28(1–2), 103–128 (2003). https://doi.org/10.1081/PDE-120019376
Ivrii, V.: Sharp spectral asymptotics for operators with irregular coefficients. Internat. Math. Res. Notices 22, 1155–1166 (2000). https://doi.org/10.1155/S107379280000057X
Ivrii, V.: Sharp spectral asymptotics for the magnetic Schrödinger operator with irregular potential. Russ. J. Math. Phys. 11(4), 415–428 (2004)
Zielinski, L.: Asymptotic distribution of eigenvalues for elliptic boundary value problems. Asymptot. Anal. 16(3–4), 181–201 (1998)
Zielinski, L.: Asymptotic distribution of eigenvalues for some elliptic operators with intermediate remainder estimate. Asymptot. Anal. 17(2), 93–120 (1998)
Zielinski, L.: Asymptotic distribution of eigenvalues for some elliptic operators with simple remainder estimates. J. Oper. Theory 39(2), 249–282 (1998)
Zielinski, L.: Sharp spectral asymptotics and Weyl formula for elliptic operators with non-smooth coefficients. Math. Phys. Anal. Geom. 2(3), 291–321 (1999). https://doi.org/10.1023/A:1009881332028
Zielinski, L.: Semiclassical Weyl formula for elliptic operators with non-smooth coefficients. In: Recent Advances in Operator Theory, Operator Algebras, and Their Applications. Oper. Theory Adv. Appl., vol. 153, pp. 321–344. Birkhäuser, Basel (2005). https://doi.org/10.1007/3-7643-7314-8_21
Zielinski, L.: Semiclassical Weyl formula for a class of weakly regular elliptic operators. Math. Phys. Anal. Geom. 9(1), 1–21 (2006). https://doi.org/10.1007/s11040-005-3896-z
Zielinski, L.: Sharp semiclassical estimates for the number of eigenvalues below a degenerate critical level. Asymptot. Anal. 53(1–2), 97–123 (2007)
Zielinski, L.: Sharp semiclassical estimates for the number of eigenvalues below a totally degenerate critical level. J. Funct. Anal. 248(2), 259–302 (2007). https://doi.org/10.1016/j.jfa.2007.03.030
Zworski, M.: Semiclassical Analysis. Graduate Studies in Mathematics, vol. 138, p. 431. American Mathematical Society, Providence, RI (2012). https://doi.org/10.1090/gsm/138
Robert, D.: Autour de L’approximation Semi-classique. Progress in Mathematics, vol. 68, p. 329. Birkhäuser Boston, Inc., Boston, MA (1987)
Sobolev, A.V.: Quasi-classical asymptotics of local Riesz means for the Schrödinger operator in a moderate magnetic field. Ann. Inst. H. Poincaré Phys. Théor. 62(4), 325–360 (1995)
Solovej, J.P., Spitzer, W.L.: A new coherent states approach to semiclassics which gives Scott’s correction. Commun. Math. Phys. 241(2–3), 383–420 (2003). https://doi.org/10.1007/s00220-003-0936-z
Kumano-go, H., Nagase, M.: Pseudo-differential operators with non-regular symbols and applications. Funkcial. Ekvac. 21(2), 151–192 (1978)
Dimassi, M., Sjöstrand, J.: Spectral Asymptotics in the Semi-classical Limit. London Mathematical Society Lecture Note Series, vol. 268, p. 227. Cambridge University Press, Cambridge (1999). https://doi.org/10.1017/CBO9780511662195
Hörmander, L.: The Analysis of Linear Partial Differential Operators. III. Classics in Mathematics, p. 525. Springer, Berlin (2007). https://doi.org/10.1007/978-3-540-49938-1 . Pseudo-differential operators, Reprint of the 1994 edition
Schmüdgen, K.: Unbounded Self-adjoint Operators on Hilbert Space. Graduate Texts in Mathematics, vol. 265, p. 432. Springer, Dordrecht (2012). https://doi.org/10.1007/978-94-007-4753-1
Davies, E.B.: Spectral Theory and Differential Operators. Cambridge Studies in Advanced Mathematics, vol. 42, p. 182. Cambridge University Press, Cambridge (1995). https://doi.org/10.1017/CBO9780511623721
Constantine, G.M., Savits, T.H.: A multivariate Faà di Bruno formula with applications. Trans. Amer. Math. Soc. 348(2), 503–520 (1996). https://doi.org/10.1090/S0002-9947-96-01501-2
Acknowledgements
The author was supported by EPSRC grant EP/S024948/1 and Sapere Aude Grant DFF–4181-00221 from the Independent Research Fund Denmark. Part of this work was carried out while the author visited the Mittag-Leffler Institute in Stockholm, Sweden. The Author is grateful for useful comments on previous versions of the work by Clotilde Fermanian Kammerer, Søren Fournais and San Vũ Ngọc. The Author is grateful for the time and effort the anonymous referee spent carefully reading the manuscript. Their useful comments and suggestions helped improve the presentation in the manuscript.
Author information
Authors and Affiliations
Contributions
The whole manuscript has been prepared by Søren Mikkelsen.
Corresponding author
Ethics declarations
Conflict of interest
The author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A Faà di Bruno formula
Appendix A Faà di Bruno formula
In this appendix we will recall some results about multivariate differentiation. In particular we will recall the Faà di Bruno formula, which gives a multivariate chain rule for any number of derivatives:
Theorem A.1
(Faà di Bruno formula) Let f be a function from \(C^\infty ({\mathbb {R}})\) and g a function from \(C^\infty ({\mathbb {R}}^d)\). Then for all multi-indices \(\alpha \) with \(\left| \alpha \right| \ge 1\) the following formula holds:
where \(f^{(k)}\) is the k’th derivative of f. The second sum should be understood as a sum over all ways to split the multi-index \(\alpha \) in k non-trivial parts. The numbers \(c_{\alpha _1\cdots \alpha _k}\)’s are combinatorial constants independent of the functions.
A proof of the Faà di Bruno formula can be found in [32], where they prove the formula in greater generality then stated here. It is also possible to find the constants from their proof, but for our purpose here the exact values of the constants are not important. The next Corollary is the Faà di Bruno formula in the case of \({\mathbb {R}}^{2d}\) instead of just \({\mathbb {R}}^d\). But we need to control the exact number of derivatives in the first d components hence it is stated separately.
Corollary A.2
Let f be a function from \(C^\infty ({\mathbb {R}})\) and a(x, p) a function from \(C^\infty ({\mathbb {R}}_x^d\times {\mathbb {R}}^d_p)\). Then for all multi-indices \(\alpha \) and \(\beta \) with \(\left| \alpha \right| +\left| \beta \right| \ge 1\) the following formula holds:
where the set \({\mathcal {I}}_k(\alpha ,\beta )\) is defined by
The second sum is a sum over all elements in the set \({\mathcal {I}}_k(\alpha ,\beta )\), the constants \(c_{\alpha _1\cdots \alpha _k}^{\beta _1\cdots \beta _k}\) are combinatorial constants independent of the functions and \(f^{(k)}\) is the k’th derivative of the function f.
We will only give a short sketch of the proof of this corollary.
Sketch of proof
We have by the Faà di Bruno formula (Theoram A.1) the identity
By Leibniz’s formula we have
In order to obtain the form stated in the corollary we need to use the Faà di Bruno formula on the terms
and we need to use Leibniz’s formula (multiple times) on the terms
If this is done, then by using some algebra the stated form can be obtained. The particular form of the index set \({\mathcal {I}}_k(\alpha ,\beta )\) also follows from the above calculations. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Mikkelsen, S. Optimal semiclassical spectral asymptotics for differential operators with non-smooth coefficients. J. Pseudo-Differ. Oper. Appl. 15, 8 (2024). https://doi.org/10.1007/s11868-023-00572-0
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11868-023-00572-0