Parabolic transmission eigenvalue-free regions in the degenerate isotropic case

Abstract

We study the location of the transmission eigenvalues in the isotropic case when the restrictions of the refraction indices on the boundary coincide. Under some natural conditions we show that there exist parabolic transmission eigenvalue-free regions.

Keywords

Transmission eigenvalues eigenvalue-free regions

1. Introduction and statement of results

Let $Ω \subset R^{d}$ , $d ⩾ 2$ , be a bounded, connected domain with a $C^{\infty}$ smooth boundary $Γ = \partial Ω$ . A complex number $λ \neq 0$ , $Re λ ⩾ 0$ , will be said to be a transmission eigenvalue if the following problem has a non-trivial solution: $\begin{matrix} (1.1) & \{\begin{matrix} (Δ + λ^{2} n_{1} (x)) u_{1} = 0 & in Ω, \\ (Δ + λ^{2} n_{2} (x)) u_{2} = 0 & in Ω, \\ u_{1} = u_{2}, \partial_{ν} u_{1} = \partial_{ν} u_{2} & on Γ, \end{matrix} \end{matrix}$ where ν denotes the Euclidean unit inner normal to Γ, $n_{j} \in C^{\infty} (\overline{Ω})$ , $j = 1, 2$ are strictly positive real-valued functions called refraction indices. In the non-degenerate isotropic case when $\begin{matrix} (1.2) & n_{1} (x) \neq n_{2} (x) on Γ \end{matrix}$ it has been recently proved in [12] that there are no transmission eigenvalues in the region $\begin{matrix} (1.3) & {λ \in C : Re λ ⩾ 0, | Im λ | ⩾ C} \end{matrix}$ for some constant $C > 0$ . Moreover, it follows from the analysis in [6] (see Section 4) that the eigenvalue-free region (1.3) is optimal and cannot be improved in general. In the present paper we will consider the degenerate isotropic case when $\begin{matrix} (1.4) & n_{1} (x) \equiv n_{2} (x) on Γ . \end{matrix}$ We suppose that there is an integer $j ⩾ 1$ such that $\begin{array}{l} (1.5) & \partial_{ν}^{s} n_{1} (x) \equiv \partial_{ν}^{s} n_{2} (x) on Γ, 0 ⩽ s ⩽ j - 1, \\ (1.6) & \partial_{ν}^{j} n_{1} (x) \neq \partial_{ν}^{j} n_{2} (x) on Γ . \end{array}$ It was proved in [1] (see Theorem 4.2) that in this case the eigenvalue-free region (1.3) is no longer valid. On the other hand, it follows from [5] that under the conditions (1.5) and (1.6) there are no transmission eigenvalues in $| arg λ | ⩾ ε$ , $| λ | ⩾ C_{ε} ≫ 1$ , $\forall 0 < ε ≪ 1$ . Our goal in the present paper is to improve this result showing that in this case we have a much larger parabolic eigenvalue-free region. Our main result is the following

Theorem 1.1.
Under the conditions ( 1.5 ) and ( 1.6 ) there exists a constant $C > 0$ such that there are no transmission eigenvalues in the region $\begin{matrix} (1.7) & {λ \in C : Re λ ⩾ 0, | Im λ | ⩾ C {(Re λ + 1)}^{1 - κ_{j}}}, \end{matrix}$ where $κ_{j} = 2 {(3 j + 2)}^{- 1}$ .

To prove this theorem we make use of the semi-classical parametrix for the interior Dirichlet-to-Neumann (DN) map built in [10]. It is proved in [10] that for $| Im λ | ⩾ {(Re λ + 1)}^{1 / 2 + ϵ}$ , $0 < ϵ ≪ 1$ , the DN map is an $h - Ψ$ DO of class OP $S_{1 / 2 - ϵ}^{1} (Γ)$ , where $0 < h ≪ 1$ is a semi-classical parameter such that $h \sim | λ |^{- 1}$ . A direct consequence of this fact is the existence of a transmission eigenvalue-free region of the form $\begin{matrix} (1.8) & | Im λ | ⩾ C_{ϵ} {(Re λ + 1)}^{1 / 2 + ϵ}, \forall 0 < ϵ ≪ 1, \end{matrix}$ under the condition (1.2). The most difficult part of the parametrix construction in [10] is near the glancing region (see Section 3 for the definition). Indeed, outside an arbitrary neighbourhood of the glancing region the parametrix construction in [10] works for $| Im λ | ⩾ {(Re λ + 1)}^{ϵ}$ and the corresponding parametrix belongs to the class OP $S_{0}^{1} (Γ)$ . In other words, to improve the eigenvalue-free region (1.8) one has to improve the parametrix in the glancing region. Such an improved parametrix has been built in [11] for strictly concave domains and as a consequence (1.8) was improved to $\begin{matrix} (1.9) & | Im λ | ⩾ C_{ϵ} {(Re λ + 1)}^{ϵ}, \forall 0 < ϵ ≪ 1, \end{matrix}$ in this case. In fact, it turns out that to get larger eigenvalue-free regions under the condition (1.2) no parametrix construction in the glancing region is needed. It suffices to show that the norm of the DN map microlocalized in a small neighbourhood of the glancing region gets small if $| Im λ |$ and $Re λ$ are large. Indeed, this strategy has been implemented in [12] to get the optimal transmission eigenvalue-free region (1.3) for an arbitrary domain. In fact, the main point in the approach in [12] is the construction of a parametrix in the hyperbolic region valid for $1 ≪ C_{ϵ} ⩽ | Im λ | ⩽ {(Re λ)}^{1 - ϵ}$ , $Re λ ⩾ C_{ϵ}^{'} ≫ 1$ , $0 < ϵ ≪ 1$ . The strategy of [12], however, does not work any more when we have the condition (1.4). In this case the parametrix in the glancing region turns out to be essential to get eigenvalue-free regions like (1.7). In Section 3 we revisit the parametrix construction of [10] and we study carefully the way in which it depends on the restriction on the boundary of the normal derivatives of the refraction index (see Theorem 3.1). In Section 4 we improve Theorem 3.1. In Section 5 we show how Theorem 4.1 implies Theorem 1.1. We also show that to improve (1.7) it suffices to improve the parametrix in the glancing region, only (see Proposition 5.2).

As in [7] one can study in this case the counting function $N (r, C) = # {λ - trans. eig. : C ⩽ | λ | ⩽ r}$ , where $r ≫ C > 0$ . We have the following
Corollary 1.2.
Under the conditions of Theorem 1.1 , there exists a constant $C > 0$ such that the counting function of the transmission eigenvalues satisfies the asymptotics $\begin{matrix} (1.10) & N (r, C) = τ r^{d} + O_{ε} (r^{d - κ_{j} + ε}), \forall 0 < ε ≪ 1, \end{matrix}$ where $\begin{matrix} τ = \frac{ω_{d}}{{(2 π)}^{d}} \int_{Ω} (n_{1} {(x)}^{d / 2} + n_{2} {(x)}^{d / 2}) d x, \end{matrix}$ $ω_{d}$ being the volume of the unit ball in $R^{d}$ .

Note that the eigenvalue-free region (1.3) implies (1.10) with $κ_{j}$ replaced by 1. Note also that asymptotics for the counting function $N (r, C)$ with remainder $o (r^{d})$ have been previously obtained in [3,8,9] still under the condition (1.2).
2. Basic properties of the $h - Ψ$ DOs

In this section we will recall some basic properties of the $h - Ψ$ DOs on a compact manifold without boundary. Let Γ, $dim Γ = d - 1$ , be as in the previous section and recall that given a symbol $a \in C^{\infty} (T^{*} Γ)$ , the $h - Ψ$ DO, ${Op}_{h} (a)$ , is defined as follows $\begin{matrix} ({Op}_{h} (a) f) (x^{'}) = {(2 π h)}^{- d + 1} \int_{T^{*} Γ} e^{- \frac{i}{h} ⟨ x^{'} - y^{'}, ξ^{'} ⟩} a (x^{'}, ξ^{'}) f (y^{'}) d y^{'} d ξ^{'} . \end{matrix}$ We have the following criteria of $L^{2}$ -boundedness.

Proposition 2.1.
Let the function a satisfy the bounds $\begin{matrix} (2.1) & | \partial_{x^{'}}^{α} a (x^{'}, ξ^{'}) | ⩽ C_{α}, \forall (x^{'}, ξ^{'}) \in T^{} Γ, \end{matrix}$ for all multi-indices α. Then the operator* ${Op}_{h} (a)$ is bounded on $L^{2} (Γ)$ and satisfies $\begin{matrix} (2.2) & {‖ {Op}_{h} (a) ‖}_{L^{2} (Γ) \to L^{2} (Γ)} ⩽ C \sum_{| α | ⩽ d} C_{α} \end{matrix}$ with a constant $C > 0$ independent of h and $C_{α}$ .

Let the function a satisfy the bounds $\begin{matrix} (2.3) & | \partial_{x^{'}}^{α} \partial_{ξ^{'}}^{β} a (x^{'}, ξ^{'}) | ⩽ C_{α, β} h^{- (| α | + | β |) / 2}, \forall (x^{'}, ξ^{'}) \in T^{} Γ, \end{matrix}$ for all multi-indices α and β. Then the operator* ${Op}_{h} (a)$ is bounded on $L^{2} (Γ)$ and satisfies $\begin{matrix} (2.4) & {‖ {Op}_{h} (a) ‖}_{L^{2} (Γ) \to L^{2} (Γ)} ⩽ C \sum_{| α | + | β | ⩽ s_{d}} C_{α, β} \end{matrix}$ with a constant $C > 0$ independent of h and $C_{α, β}$ , where $s_{d} > 0$ is an integer depending only on the dimension.

The bounds (2.2) and (2.4) follow easily from Theorems 18.1.11′ and 18.1.11 of [4], respectively. One just needs to pass to classical pseudo-differential operators by making a suitable change of the variables (e.g. see Section 7 of [2]).

Given $ℓ \in R$ , $δ_{1}, δ_{2} ⩾ 0$ and a function $m > 0$ on $T^{} Γ$ , we denote by $S_{δ_{1}, δ_{2}}^{ℓ} (m)$ the set of all functions $a \in C^{\infty} (T^{} Γ)$ satisfying $\begin{matrix} | \partial_{x^{'}}^{α} \partial_{ξ^{'}}^{β} a (x^{'}, ξ^{'}) | ⩽ C_{α, β} m^{ℓ - δ_{1} | α | - δ_{2} | β |} \end{matrix}$ for all multi-indices α and β with constants $C_{α, β} > 0$ independent of m. Given $k \in R$ , $0 ⩽ δ < 1 / 2$ , we also denote by $S_{δ}^{k}$ the space of all symbols $a \in C^{\infty} (T^{} Γ)$ satisfying $\begin{matrix} | \partial_{x^{'}}^{α} \partial_{ξ^{'}}^{β} a (x^{'}, ξ^{'}) | ⩽ C_{α, β} h^{- δ (| α | + | β |)} {⟨ ξ^{'} ⟩}^{k - | β |} \end{matrix}$ for all multi-indices α and β with constants $C_{α, β} > 0$ independent of h. It is well-known that the $h - Ψ$ DOs of class OP $S_{δ}^{k}$ have nice calculus (e.g. see Section 7 of [2]). The next proposition is very usefull for inverting such operators depending on additional parameters (see also Proposition 2.2 of [10]).
Proposition 2.2.
Let* $h^{ℓ_{\pm}} a^{\pm} \in S_{δ}^{\pm k}$ , $0 ⩽ δ < 1 / 2$ , where $ℓ_{\pm} ⩾ 0$ are some numbers. Assume in addition that the functions $a^{\pm}$ satisfy $\begin{matrix} (2.5) & | \partial_{x^{'}}^{α_{1}} \partial_{ξ^{'}}^{β_{1}} a^{+} (x^{'}, ξ^{'}) \partial_{x^{'}}^{α_{2}} \partial_{ξ^{'}}^{β_{2}} a^{-} (x^{'}, ξ^{'}) | ⩽ μ C_{α_{1}, β_{1}, α_{2}, β_{2}} h^{- (| α_{1} | + | β_{1} | + | α_{2} | + | β_{2} |) / 2}, \end{matrix}$ $\forall (x^{'}, ξ^{'}) \in T^{} Γ$ , for all multi-indices* $α_{1}$ , $β_{1}$ , $α_{2}$ , $β_{2}$ such that $| α_{j} | + | β_{j} | ⩾ 1$ , $j = 1, 2$ , with constants $C_{α_{1}, β_{1}, α_{2}, β_{2}} > 0$ independent of h and μ. Then we have $\begin{matrix} (2.6) & {‖ {Op}_{h} (a^{+}) {Op}_{h} (a^{-}) - {Op}_{h} (a^{+} a^{-}) ‖}_{L^{2} (Γ) \to L^{2} (Γ)} ⩽ C (μ + h) \end{matrix}$ with a constant $C > 0$ independent of h and μ.

Given any real s, we define the semi-classical Sobolev norm by $\begin{matrix} ‖ f ‖_{H_{h}^{s} (Γ)} : = {‖ {Op}_{h} ({⟨ ξ^{'} ⟩}^{s}) f ‖}_{L^{2} (Γ)} . \end{matrix}$ Using the calculus of the $h - Ψ$ DOs one can derive from (2.4) the following
Proposition 2.3.
Let $a \in S_{δ}^{- k}$ , $0 ⩽ δ < 1 / 2$ . Then, for every s, we have $\begin{matrix} {Op}_{h} (a) = O_{s} (1) : H_{h}^{s} (Γ) \to H_{h}^{s + k} (Γ) . \end{matrix}$

Proposition 2.2 implies the following. Proposition 2.4.
Let $a^{\pm} \in S_{0}^{\pm k}$ . Then, for every s, we have $\begin{matrix} {Op}_{h} (a^{+}) {Op}_{h} (a^{-}) - {Op}_{h} (a^{+} a^{-}) = O_{s} (h) : H_{h}^{s} (Γ) \to H_{h}^{s} (Γ) . \end{matrix}$

3. The parametrix construction revisited

In this section we will build a parametrix for the semi-classical Dirichlet-to-Neumann map following [10]. Note that in [10] there is a gap due to a missing term in the transport equations (4.11), which however does not affect the proof of the main results. Here we will correct this gap making some slight modifications.

Given $f \in H^{m + 1} (Γ)$ , let u solve the equation $\begin{matrix} (3.1) & \{\begin{matrix} (h^{2} Δ + z n (x)) u = 0 & in Ω, \\ u = f & on Γ, \end{matrix} \end{matrix}$ where $n \in C^{\infty} (\overline{Ω})$ is a strictly positive function, $0 < h ≪ 1$ is a semi-classical parameter and $z \in Z_{1} \cup Z_{2} \cup Z_{3}$ , where $Z_{1} = {z \in C : Re z = 1, 0 < | Im z | ⩽ 1}$ , $Z_{2} = {z \in C : Re z = - 1, | Im z | ⩽ 1}$ , $Z_{3} = {z \in C : | Re z | ⩽ 1, | Im z | = 1}$ . Given $ε > 0$ we also set $Z_{1} (ε) = {z \in Z_{1} : h^{ε} ⩽ | Im z | ⩽ 1}$ . We define the semi-classical Dirichlet-to-Neumann map $\begin{matrix} N (h, z) : H^{m + 1} (Γ) \to H^{m} (Γ) \end{matrix}$ by $\begin{matrix} N (h, z) f : = - i h \partial_{ν} u |_{Γ} \end{matrix}$ where ν denotes the Euclidean unit inner normal to Γ. Given an integer $m ⩾ 0$ , denote by $H_{h}^{m} (Ω)$ the Sobolev space equipped with the semi-classical norm $\begin{matrix} ‖ v ‖_{H_{h}^{m} (Ω)} = \sum_{| α | ⩽ m} h^{| α |} {‖ \partial_{x}^{α} v ‖}_{L^{2} (Ω)} . \end{matrix}$ We define similarly the Sobolev space $H_{h}^{m} (Γ)$ . Note that this norm is equivalent to that one defined in Section 2. Throughout this section we will use the normal coordinates $(x_{1}, x^{'})$ with respect to the Euclidean metric near the boundary Γ, where $0 < x_{1} ≪ 1$ denotes the Euclidean distance to the boundary and $x^{'}$ are coordinates on Γ. We denote by $Δ_{Γ}$ the negative Laplace–Beltrami operator on Γ equipped with the Riemannian metric induced by the Euclidean one in Ω. Let $r_{0} (x^{'}, ξ^{'}) ⩾ 0$ be the principal symbol of $- Δ_{Γ}$ written in the coordinates $(x^{'}, ξ^{'}) \in T^{*} Γ$ . Since the function n is smooth up to the boundary we can expand it as $\begin{matrix} n (x) = \sum_{k = 0}^{N - 1} x_{1}^{k} n_{k} (x^{'}) + x_{1}^{N} M_{N} (x) \end{matrix}$ for every integer $N ⩾ 1$ , where $n_{k} = {(k!)}^{- 1} \partial_{ν}^{k} n |_{Γ}$ , $n_{0} > 0$ , and $M_{N} (x)$ is a real-valued smooth function. Set $\begin{matrix} ρ (x^{'}, ξ^{'}, z) = \sqrt{- r_{0} (x^{'}, ξ^{'}) + z n_{0} (x^{'})}, Im ρ > 0 . \end{matrix}$ The glancing region for the problem (3.1) is defined by $\begin{matrix} Σ : = {(x^{'}, ξ^{'}) \in T^{*} Γ : r_{♯} (x^{'}, ξ^{'}) = 1}, r_{♯} = n_{0}^{- 1} r_{0} . \end{matrix}$ Let $ϕ \in C_{0}^{\infty} (R)$ , $0 ⩽ ϕ ⩽ 1$ , $ϕ (σ) = 1$ for $| σ | ⩽ 1$ , $ϕ (σ) = 0$ for $| σ | ⩾ 2$ , and set $η (x^{'}, ξ^{'}) = ϕ (r_{0} (x^{'}, ξ^{'}) / δ_{0})$ . Clearly, taking $δ_{0} > 0$ small enough we can arrange that $| ρ | ⩾ C {⟨ r_{0} ⟩}^{1 / 2} ⩾ C ⟨ ξ^{'} ⟩$ on $supp (1 - η)$ . We also define the function $χ (x^{'}, ξ^{'}) = ϕ ((1 - r_{♯} (x^{'}, ξ^{'})) / δ_{1})$ , where $0 < δ_{1} ≪ 1$ is independent of h and z. Clearly, $χ = 1$ in a neighbourhood of Σ, $χ = 0$ outside another neighbourhood of Σ.

We will say that a function $a \in C^{\infty} (T^{*} Γ)$ belongs to $S_{δ_{1}, δ_{2}}^{ℓ_{1}} (m_{1}) + S_{δ_{3}, δ_{4}}^{ℓ_{2}} (m_{2})$ if $η a \in S_{δ_{1}, δ_{2}}^{ℓ_{1}} (m_{1})$ and $(1 - η) a \in S_{δ_{3}, δ_{4}}^{ℓ_{2}} (m_{2})$ . Given any integer k, it follows from Lemma 3.2 of [10] that $\begin{matrix} (3.2) & ρ^{k}, | ρ |^{k} \in S_{2, 2}^{k} (| ρ |) + S_{0, 1}^{k} (| ρ |) . \end{matrix}$ In particular, (3.2) implies that $\begin{matrix} (3.3) & (1 - η) ρ^{k}, (1 - η) | ρ |^{k} \in S_{0}^{k} . \end{matrix}$ Since $ρ = i \sqrt{r_{0}} (1 + O (r_{0}^{- 1}))$ as $r_{0} \to \infty$ , it is easy to check that $\begin{matrix} (3.4) & (1 - η) ρ^{k} - (1 - η) {(i \sqrt{r_{0}})}^{k} \in S_{0}^{k - 2} \end{matrix}$ for every integer k. Since $| ρ | ⩾ C \sqrt{| Im z |}$ for $z \in Z_{1}$ , $(x^{'}, ξ^{'}) \in supp χ$ and $| ρ | ⩾ C > 0$ for $z \in Z_{2} \cup Z_{3}$ or $z \in Z_{1}$ , $(x^{'}, ξ^{'}) \in supp (1 - χ)$ (see Lemma 3.1 of [10]), it also follows from (3.2) that $\begin{array}{l} (3.5) & (1 - χ) ρ^{k}, (1 - χ) | ρ |^{k} \in S_{0}^{k}, \\ (3.6) & h^{\frac{k_{-}}{4}} χ ρ^{k}, h^{\frac{k_{-}}{4}} χ | ρ |^{k} \in S_{1 / 2 - ϵ}^{- N}, z \in Z_{1} (1 / 2 - ϵ), \\ (3.7) & χ ρ^{k}, χ | ρ |^{k} \in S_{0}^{- N}, z \in Z_{2} \cup Z_{3}, \end{array}$ for every integer $N ⩾ 0$ and $0 < ϵ ≪ 1$ , where $k_{-} = 0$ if $k ⩾ 0$ , $k_{-} = | k |$ if $k < 0$ . Our goal in this section is to prove the following

Theorem 3.1.
Let $z \in Z_{1} (1 / 2 - ϵ)$ , $0 < ϵ ≪ 1$ . Then, for every integer $s ⩾ 0$ there is a function $b_{s} \in S_{1 / 2 - ϵ}^{0}$ independent of all $n_{k}$ with $k ⩾ s$ such that $\begin{matrix} (3.8) & {‖ N (h, z) - {Op}_{h} (ρ + b_{s} + c_{s} h^{s} ρ^{- s - 1} z n_{s}) ‖}_{L^{2} (Γ) \to H_{h}^{s + 1} (Γ)} ⩽ C_{s} h^{s + 1} | Im z |^{- 2 s - 3 / 2} \end{matrix}$ where $c_{s} = 0$ if $s = 0$ , and $c_{s} = - i s! {(- 2 i)}^{- s - 1}$ for $s ⩾ 1$ . If $z \in Z_{2} \cup Z_{3}$ , then ( 3.8 ) holds with $| Im z |$ replaced by 1. Moreover, for $z \in Z_{1} (1 - ϵ)$ we have $\begin{matrix} (3.9) & {‖ N (h, z) {Op}_{h} (1 - χ) - {Op}_{h} (ρ (1 - χ) + {\tilde{b}}_{s} + c_{s} h^{s} (1 - χ) ρ^{- s - 1} z n_{s}) ‖}_{L^{2} (Γ) \to H_{h}^{s + 1} (Γ)} ⩽ C_{s} h^{s + 1} \end{matrix}$ where the function ${\tilde{b}}_{s} \in S_{0}^{0}$ is independent of all $n_{k}$ with $k ⩾ s$ .
Proof.
We will recall the parametrix construction in [10]. We will proceed locally and then we will use partition of the unity to get the global parametrix. Fix a point $x^{0} \in Γ$ and let $U_{0} \subset Γ$ be a small open neighbourhood of $x^{0}$ . Let $(x_{1}, x^{'})$ , $x_{1} > 0$ , $x^{'} \in U_{0}$ , be the normal coordinates. In these coordinates the Laplacian can be written as follows $\begin{matrix} Δ = \partial_{x_{1}}^{2} + r (x, \partial_{x^{'}}) + q (x, \partial_{x}) \end{matrix}$ where $r (x, ξ^{'}) = ⟨ R (x) ξ^{'}, ξ^{'} ⟩ ⩾ 0$ , $R = (R_{i j})$ being a symmetric $(d - 1) \times (d - 1)$ matrix-valued function with smooth real-valued entries, $q (x, ξ) = ⟨ q (x), ξ ⟩ = q^{♯} (x) ξ_{1} + ⟨ q^{♭} (x), ξ^{'} ⟩$ , $q^{♯}$ and $q^{♭}$ being smooth functions. We can expand them as follows $\begin{array}{l} R (x) = \sum_{k = 0}^{N - 1} x_{1}^{k} R_{k} (x^{'}) + x_{1}^{N} R_{N} (x), \\ q^{♯} (x) = \sum_{k = 0}^{N - 1} x_{1}^{k} q_{k}^{♯} (x^{'}) + x_{1}^{N} Q_{N}^{♯} (x), \\ q^{♭} (x) = \sum_{k = 0}^{N - 1} x_{1}^{k} q_{k}^{♭} (x^{'}) + x_{1}^{N} Q_{N}^{♭} (x), \end{array}$ for every integer $N ⩾ 1$ . Clearly, $r_{0} (x^{'}, ξ^{'}) = ⟨ R_{0} (x^{'}) ξ^{'}, ξ^{'} ⟩$ .

Take a function $ψ^{0} \in C_{0}^{\infty} (U_{0})$ . In what follows ψ will denote either the function $ψ^{0}$ or the function $ψ^{0} (1 - χ)$ . Following [10], we will construct a parametrix ${\tilde{u}}_{ψ}$ of the solution of (3.1) with ${\tilde{u}}_{ψ} |_{x_{1} = 0} = {Op}_{h} (ψ) f$ in the form $\begin{matrix} {\tilde{u}}_{ψ} = {(2 π h)}^{- d + 1} \int \int e^{\frac{i}{h} (⟨ y^{'}, ξ^{'} ⟩ + φ (x, ξ^{'}, z))} Φ_{δ} (x, ξ^{'}, z) a (x, ξ^{'}, h, z) f (y^{'}) d ξ^{'} d y^{'} \end{matrix}$ where $Φ_{δ} = ϕ (x_{1} / δ) ϕ (x_{1} / ρ_{1} δ)$ , with $ρ_{1} = | ρ |^{3}$ if $z \in Z_{1} (1 / 2 - ϵ)$ , $ψ = ψ^{0}$ , and $ρ_{1} = 1$ if $z \in Z_{2} \cup Z_{3}$ or $z \in Z_{1} (1 - ϵ)$ , $ψ = ψ^{0} (1 - χ)$ . Here $0 < δ ≪ 1$ is a parameter independent of h and z to be fixed later on. The phase φ is complex-valued such that $φ |_{x_{1} = 0} = - ⟨ x^{'}, ξ^{'} ⟩$ and satisfies the eikonal equation mod $O (x_{1}^{N})$ : $\begin{matrix} (3.10) & {(\partial_{x_{1}} φ)}^{2} + ⟨ R (x) \nabla_{x^{'}} φ, \nabla_{x^{'}} φ ⟩ - z n (x) = x_{1}^{N} Ψ_{N} \end{matrix}$ where $N ≫ 1$ is an arbitrary integer and the function $Ψ_{N}$ is smooth up to the boundary $x_{1} = 0$ . It is shown in [10], Section 4, that the equation (3.10) has a smooth solution of the form $\begin{matrix} φ = \sum_{k = 0}^{N} x_{1}^{k} φ_{k} (x^{'}, ξ^{'}, z), φ_{0} = - ⟨ x^{'}, ξ^{'} ⟩, \end{matrix}$ safisfying $\begin{matrix} (3.11) & \partial_{x_{1}} φ |_{x_{1} = 0} = φ_{1} = ρ . \end{matrix}$ More generally, the functions $φ_{k}$ satisfy the relations $\begin{matrix} (3.12) & \sum_{k + j = K} (k + 1) (j + 1) φ_{k + 1} φ_{j + 1} + \sum_{k + j + ℓ = K} ⟨ R_{ℓ} \nabla_{x^{'}} φ_{k}, \nabla_{x^{'}} φ_{j} ⟩ - z n_{K} = 0 \end{matrix}$ for every integer $0 ⩽ K ⩽ N - 1$ . Then equation (3.10) is satisfied with $\begin{array}{l} Ψ_{N} = & ⟨ R_{N} (x) \nabla_{x^{'}} φ, \nabla_{x^{'}} φ ⟩ - z M_{N} (x) \\ + \sum_{k + j ⩾ N} x_{1}^{k + j - N} (k + 1) (j + 1) φ_{k + 1} φ_{j + 1} + \sum_{k + j + ℓ ⩾ N} x_{1}^{k + j + ℓ - N} ⟨ R_{ℓ} \nabla_{x^{'}} φ_{k}, \nabla_{x^{'}} φ_{j} ⟩ \end{array}$ where $φ_{ν} = 0$ for $ν ⩾ N + 1$ so that the above sums are finite. Using (3.12) one can prove by induction the following lemma (see Lemma 4.1 of [10]). Lemma 3.2.
We have $\begin{array}{l} (3.13) & φ_{k} \in S_{2, 2}^{4 - 3 k} (| ρ |) + S_{0, 1}^{1} (| ρ |), 1 ⩽ k ⩽ N, \\ (3.14) & \partial_{x_{1}}^{k} Ψ_{N} \in S_{2, 2}^{2 - 3 N - 3 k} (| ρ |) + S_{0, 1}^{2} (| ρ |), k ⩾ 0, \end{array}$ uniformly in z and $0 ⩽ x_{1} ⩽ 2 δ min {1, | ρ |^{3}}$ . Moreover, if $δ > 0$ is small enough, independent of ρ, we have $\begin{matrix} (3.15) & Im φ ⩾ x_{1} Im ρ / 2 for 0 ⩽ x_{1} ⩽ 2 δ min {1, | ρ |^{3}} . \end{matrix}$

One can also easily prove by induction the following Lemma 3.3.
For every integer $k ⩾ 1$ the functions $φ_{k}$ and $φ_{k + 1} - \frac{z n_{k}}{2 (k + 1) ρ}$ are independent of all $n_{ℓ}$ with $ℓ ⩾ k$ .

It follows from (3.13) that $(1 - η) φ_{k} \in S_{0}^{1}$ for all k. Define now the functions ${\tilde{φ}}_{k}$ independent of all $n_{ℓ}$ , $ℓ ⩾ 0$ , satisfying the relations $\begin{matrix} (3.16) & \sum_{k + j = K} (k + 1) (j + 1) {\tilde{φ}}_{k + 1} {\tilde{φ}}_{j + 1} + \sum_{k + j + ℓ = K} ⟨ R_{ℓ} \nabla_{x^{'}} {\tilde{φ}}_{k}, \nabla_{x^{'}} {\tilde{φ}}_{j} ⟩ = 0, \end{matrix}$ $1 ⩽ k ⩽ N - 1$ , and ${\tilde{φ}}_{0} = - ⟨ x^{'}, ξ^{'} ⟩$ , ${\tilde{φ}}_{1} = i \sqrt{r_{0}}$ . Using (3.4) together with (3.12) and (3.16), one can easily prove by induction the following Lemma 3.4.
For every integer $k ⩾ 1$ , we have $(1 - η) (φ_{k} - {\tilde{φ}}_{k}) \in S_{0}^{- 1}$ .

The amplitude a is of the form $\begin{matrix} a = \sum_{j = 0}^{N - 1} h^{j} a_{j} (x, ξ^{'}, z) \end{matrix}$ where the functions $a_{j}$ satisfy the transport equations mod $O (x_{1}^{N})$ : $\begin{matrix} (3.17) & 2 i \partial_{x_{1}} φ \partial_{x_{1}} a_{j} + 2 i ⟨ R (x) \nabla_{x^{'}} φ, \nabla_{x^{'}} a_{j} ⟩ + i (Δ φ) a_{j} + Δ a_{j - 1} = x_{1}^{N} A_{N}^{(j)}, 0 ⩽ j ⩽ N - 1, \end{matrix}$ $a_{0} |_{x_{1} = 0} = ψ$ , $a_{j} |_{x_{1} = 0} = 0$ for $j ⩾ 1$ , where $a_{- 1} = 0$ and the functions $A_{N}^{(j)}$ are smooth up to the boundary $x_{1} = 0$ . We will be looking for the solutions to (3.17) in the form $\begin{matrix} a_{j} = \sum_{k = 0}^{N} x_{1}^{k} a_{k, j} (x^{'}, ξ^{'}, z) . \end{matrix}$ We can write $\begin{matrix} Δ φ = \sum_{k = 0}^{N - 1} x_{1}^{k} φ_{k}^{Δ} + x_{1}^{N} E_{N} (x) \end{matrix}$ with $\begin{array}{l} φ_{k}^{Δ} = (k + 1) (k + 2) φ_{k + 2} + \sum_{ℓ + ν = k} (⟨ R_{ℓ} \nabla_{x^{'}} \cdot, \nabla_{x^{'}} φ_{ν} ⟩ + q_{ℓ}^{♯} (ν + 1) φ_{ν + 1} + ⟨ q_{ℓ}^{♭}, \nabla_{x^{'}} φ_{ν} ⟩), \\ E_{N} = ⟨ R_{N} \nabla_{x^{'}} \cdot, \nabla_{x^{'}} φ ⟩ + Q_{N}^{♯} \partial_{x_{1}} φ + ⟨ Q_{N}^{♭}, \nabla_{x^{'}} φ ⟩ \\ + \sum_{ℓ + ν ⩾ N} x_{1}^{ℓ + ν - N} (⟨ R_{ℓ} \nabla_{x^{'}} \cdot, \nabla_{x^{'}} φ_{ν} ⟩ + q_{ℓ}^{♯} (ν + 1) φ_{ν + 1} + ⟨ q_{ℓ}^{♭}, \nabla_{x^{'}} φ_{ν} ⟩), \end{array}$ where $φ_{ν} = 0$ for $ν ⩾ N + 1$ . Similarly $\begin{matrix} Δ a_{j - 1} = \sum_{k = 0}^{N - 1} x_{1}^{k} a_{k, j - 1}^{Δ} + x_{1}^{N} F_{N}^{(j - 1)} (x) \end{matrix}$ with $\begin{array}{l} a_{k, j - 1}^{Δ} = (k + 1) (k + 2) a_{k + 2, j - 1} \\ + \sum_{ℓ + ν = k} (⟨ R_{ℓ} \nabla_{x^{'}} \cdot, \nabla_{x^{'}} a_{ν, j - 1} ⟩ + q_{ℓ}^{♯} (ν + 1) a_{ν + 1, j - 1} + ⟨ q_{ℓ}^{♭}, \nabla_{x^{'}} a_{ν, j - 1} ⟩), \\ F_{N}^{(j - 1)} = ⟨ R_{N} \nabla_{x^{'}} \cdot, \nabla_{x^{'}} a_{j - 1} ⟩ + Q_{N}^{♯} \partial_{x_{1}} a_{j - 1} + ⟨ Q_{N}^{♭}, \nabla_{x^{'}} a_{j - 1} ⟩ \\ + \sum_{ℓ + ν ⩾ N} x_{1}^{ℓ + ν - N} (⟨ R_{ℓ} \nabla_{x^{'}} \cdot, \nabla_{x^{'}} a_{ν, j - 1} ⟩ + q_{ℓ}^{♯} (ν + 1) a_{ν + 1, j - 1} + ⟨ q_{ℓ}^{♭}, \nabla_{x^{'}} a_{ν, j - 1} ⟩), \end{array}$ where $a_{ν, j - 1} = 0$ for $ν ⩾ N + 1$ . We also have $\begin{matrix} (Δ φ) a_{j} = \sum_{k = 0}^{N - 1} x_{1}^{k} \sum_{k_{1} + k_{2} = k} φ_{k_{1}}^{Δ} a_{k_{2}, j} + x_{1}^{N} E_{N}^{(j)} \end{matrix}$ with $\begin{array}{l} E_{N}^{(j)} = E_{N} a_{j} + \sum_{k_{1} + k_{2} ⩾ N} x_{1}^{k_{1} + k_{2} - N} φ_{k_{1}}^{Δ} a_{k_{2}, j}, \\ \partial_{x_{1}} φ \partial_{x_{1}} a_{j} = \sum_{k = 0}^{N - 1} x_{1}^{k} \sum_{k_{1} + k_{2} = k} (k_{1} + 1) (k_{2} + 1) φ_{k_{1} + 1} a_{k_{2} + 1, j} + x_{1}^{N} F_{N}^{(j)} \end{array}$ with $\begin{array}{l} F_{N}^{(j)} = \sum_{k_{1} + k_{2} ⩾ N} x_{1}^{k_{1} + k_{2} - N} (k_{1} + 1) (k_{2} + 1) φ_{k_{1} + 1} a_{k_{2} + 1, j}, \\ ⟨ R (x) \nabla_{x^{'}} φ, \nabla_{x^{'}} a_{j} ⟩ = \sum_{k = 0}^{N - 1} x_{1}^{k} \sum_{k_{1} + k_{2} + k_{3} = k} ⟨ R_{k_{1}} \nabla_{x^{'}} φ_{k_{2}}, \nabla_{x^{'}} a_{k_{3}, j} ⟩ + x_{1}^{N} G_{N}^{(j)} \end{array}$ with $\begin{matrix} G_{N}^{(j)} = ⟨ R_{N} (x) \nabla_{x^{'}} φ, \nabla_{x^{'}} a_{j} ⟩ + \sum_{k_{1} + k_{2} + k_{3} ⩾ N} x_{1}^{k_{1} + k_{2} + k_{3} - N} ⟨ R_{k_{1}} \nabla_{x^{'}} φ_{k_{2}}, \nabla_{x^{'}} a_{k_{3}, j} ⟩, \end{matrix}$ where $φ_{ν} = 0$ , $a_{ν, j} = 0$ for $ν ⩾ N + 1$ so that the above sums are finite. Inserting the above identities into equation (3.17) and comparing the coefficients of all powers $x_{1}^{k}$ , $0 ⩽ k ⩽ N - 1$ , we get that the functions $a_{k, j}$ must satisfy the relations $\begin{array}{l} \sum_{k_{1} + k_{2} = k} 2 i (k_{1} + 1) (k_{2} + 1) φ_{k_{1} + 1} a_{k_{2} + 1, j} + \sum_{k_{1} + k_{2} + k_{3} = k} 2 i ⟨ R_{k_{1}} \nabla_{x^{'}} φ_{k_{2}}, \nabla_{x^{'}} a_{k_{3}, j} ⟩ \\ (3.18) & + \sum_{k_{1} + k_{2} = k} i φ_{k_{1}}^{Δ} a_{k_{2}, j} = - a_{k, j - 1}^{Δ}, for 0 ⩽ k ⩽ N - 1, 0 ⩽ j ⩽ N - 1, \end{array}$ and $a_{0, 0} = ψ$ , $a_{0, j} = 0$ , $j ⩾ 1$ , $a_{k, - 1} = 0$ , $k ⩾ 0$ . Then equation (3.17) is satisfied with $\begin{matrix} A_{N}^{(j)} = 2 i F_{N}^{(j)} + 2 i G_{N}^{(j)} + i E_{N}^{(j)} + F_{N}^{(j - 1)} . \end{matrix}$ Let us calculate $a_{1, 0}$ . By (3.18) with $j = 0$ , $k = 0$ , we get $\begin{matrix} (3.19) & a_{1, 0} = - φ_{1}^{- 1} ⟨ R_{0} ξ^{'}, \nabla_{x^{'}} ψ ⟩ - (φ_{1}^{- 1} φ_{2} + 2^{- 1} q_{0}^{♯} - {(2 φ_{1})}^{- 1} ⟨ q_{0}^{♭} (x^{'}), ξ^{'} ⟩) ψ . \end{matrix}$ On the other hand, by (3.12) with $K = 1$ we get $\begin{matrix} φ_{2} = - {(2 ρ)}^{- 1} ⟨ R_{0} ξ^{'}, \nabla_{x^{'}} ρ ⟩ - {(4 ρ)}^{- 1} ⟨ R_{1} ξ^{'}, ξ^{'} ⟩ + z {(4 ρ)}^{- 1} n_{1} . \end{matrix}$ Using the identity $\begin{matrix} 2 ρ \nabla_{x^{'}} ρ = - \nabla_{x^{'}} r_{0} + z \nabla_{x^{'}} n_{0} \end{matrix}$ we can write $φ_{2}$ in the form $\begin{array}{l} φ_{2} = & {(2 ρ)}^{- 2} ⟨ R_{0} ξ^{'}, \nabla_{x^{'}} r_{0} ⟩ - {(4 ρ)}^{- 1} ⟨ R_{1} ξ^{'}, ξ^{'} ⟩ \\ (3.20) & - z {(2 ρ)}^{- 2} ⟨ R_{0} ξ^{'}, \nabla_{x^{'}} n_{0} ⟩ + z {(4 ρ)}^{- 1} n_{1} . \end{array}$ By (3.19) and (3.20), $\begin{array}{l} a_{1, 0} = & - ρ^{- 1} ⟨ R_{0} ξ^{'}, \nabla_{x^{'}} ψ ⟩ - 2^{- 1} ψ q_{0}^{♯} + {(2 ρ)}^{- 1} ψ ⟨ q_{0}^{♭} (x^{'}), ξ^{'} ⟩ \\ - 4^{- 1} ρ^{- 3} ψ ⟨ R_{0} ξ^{'}, \nabla_{x^{'}} r_{0} ⟩ + 4^{- 1} ρ^{- 2} ψ ⟨ R_{1} ξ^{'}, ξ^{'} ⟩ \\ (3.21) & + z 4^{- 1} ρ^{- 3} ψ ⟨ R_{0} ξ^{'}, \nabla_{x^{'}} n_{0} ⟩ - z 4^{- 1} ρ^{- 2} ψ n_{1} . \end{array}$ By (3.2) and (3.21) we conclude $\begin{matrix} (3.22) & a_{1, 0} \in S_{2, 2}^{- 3} (| ρ |) + S_{0, 1}^{0} (| ρ |) . \end{matrix}$ The next lemma follows from Lemma 3.2 and (3.22) together with equations (3.18) and can be proved in the same way as Lemma 4.2 of [10]. We will sketch the proof. Lemma 3.5.
We have $\begin{array}{l} (3.23) & a_{k, j} \in S_{2, 2}^{- 3 k - 4 j} (| ρ |) + S_{0, 1}^{- j} (| ρ |), for k ⩾ 1, j ⩾ 0, \\ (3.24) & \partial_{x_{1}}^{k} A_{N}^{(j)} \in S_{2, 2}^{- 3 N - 3 k - 4 j - 2} (| ρ |) + S_{0, 1}^{1 - j} (| ρ |), for k ⩾ 0, j ⩾ 0, \end{array}$ uniformly in z and $0 ⩽ x_{1} ⩽ 2 δ min {1, | ρ |^{3}}$ .
Proof.
Recall that $\nabla_{x^{'}} φ_{0} = - ξ^{'}$ . By (3.13) we have $\begin{array}{l} \nabla_{x^{'}} φ_{k} \in S_{2, 2}^{2 - 3 k} (| ρ |) + S_{0, 1}^{1} (| ρ |), k ⩾ 1, \\ φ_{k}^{Δ} \in S_{2, 2}^{- 2 - 3 k} (| ρ |) + S_{0, 1}^{1} (| ρ |), k ⩾ 0 . \end{array}$ We will prove (3.23) by induction. In view of (3.22) we have (3.23) with $k = 1$ , $j = 0$ . Suppose now that (3.23) is true for all $j ⩽ J - 1$ and all $k ⩾ 1$ , and for $j = J$ and $k ⩽ K$ . We have to show that it is true for $j = J$ and $k = K + 1$ . To this end, we will use equation (3.18) with $j = J$ and $k = K$ . Indeed, the LHS is equal to $2 i (K + 1) ρ a_{K + 1, J}$ modulo $S_{2, 2}^{- 3 K - 4 J - 2} (| ρ |) + S_{0, 1}^{- J + 1} (| ρ |)$ , while the RHS belongs to $S_{2, 2}^{- 3 K - 4 J - 2} (| ρ |) + S_{0, 1}^{- J + 1} (| ρ |)$ . In other words, $ρ a_{K + 1, J}$ belongs to $S_{2, 2}^{- 3 K - 4 J - 2} (| ρ |) + S_{0, 1}^{- J + 1} (| ρ |)$ . This implies that $a_{K + 1, J}$ belongs to $S_{2, 2}^{- 3 K - 4 J - 3} (| ρ |) + S_{0, 1}^{- J} (| ρ |)$ , as desired. Furthermore, (3.24) follows from (3.13) and (3.23) since the functions $A_{N}^{(j)}$ are expressed in terms of $φ_{k}$ and $a_{k, j}$ . One needs the simple observation that $\begin{matrix} a \in S_{2, 2}^{ℓ_{1}} (| ρ |) + S_{0, 1}^{ℓ_{2}} (| ρ |) \end{matrix}$ implies $\begin{matrix} x_{1}^{k} a \in S_{2, 2}^{ℓ_{1} + 3 k} (| ρ |) + S_{0, 1}^{ℓ_{2}} (| ρ |) . \end{matrix}$ □

Using Lemma 3.3 we will prove the following Lemma 3.6.
For all $k ⩾ 1, j ⩾ 0$ , the function $\begin{matrix} a_{k, j} - \frac{(k + j)!}{k!} \frac{z ψ n_{k + j}}{{(- 2 i ρ)}^{j + 2}} \end{matrix}$ is independent of all $n_{ℓ}$ with $ℓ ⩾ k + j$ .
Proof.
It follows from Lemma 3.3 that the function $\begin{matrix} φ_{k}^{Δ} - {(2 ρ)}^{- 1} (k + 1) z n_{k + 1} \end{matrix}$ is independent of all $n_{ℓ}$ with $ℓ ⩾ k + 1$ . We will first prove the assertion for $j = 0$ and all $k ⩾ 1$ by induction in k. In view of (3.21) it is true for $k = 1$ . Suppose it is true for all integers $k ⩽ K$ with some integer $K ⩾ 1$ . We will prove it for $k = K + 1$ . To this end, we will use equation (3.18) with $j = 0$ and $k = K$ . Since the RHS is zero, we get that the function $\begin{matrix} 2 i (K + 1) ρ a_{K + 1, 0} + i φ_{K}^{Δ} ψ \end{matrix}$ is independent of all $n_{ℓ}$ with $ℓ ⩾ K + 1$ . Hence, so is the function $\begin{matrix} a_{K + 1, 0} + {(2 ρ)}^{- 2} (K + 1) z ψ n_{K + 1} \end{matrix}$ as desired. We will now prove the assertion for all $k ⩾ 1$ , $j ⩾ 0$ by induction in j. Suppose it is true for $j ⩽ J$ and all $k ⩾ 1$ with some integer $J ⩾ 1$ . We will prove it for $j = J + 1$ and all $k ⩾ 1$ . To this end, we will use equation (3.18) with $j = J + 1$ and k replaced by $k - 1$ , $k ⩾ 1$ . We have that, modulo functions independent of all $n_{ℓ}$ with $ℓ ⩾ k + J + 1$ , the LHS is equal to $2 i k ρ a_{k, J + 1}$ , while the RHS is equal to $- k (k + 1) a_{k + 1, J}$ . Hence the function $\begin{matrix} a_{k, J + 1} + {(2 i ρ)}^{- 1} (k + 1) a_{k + 1, J} \end{matrix}$ is independent of all $n_{ℓ}$ with $ℓ ⩾ k + J + 1$ , which clearly implies the desired assertion. □

It follows from (3.23) that $(1 - η) a_{k, j} \in S_{0}^{- j}$ for all $k ⩾ 1$ , $j ⩾ 0$ . Define now the functions ${\tilde{a}}_{k, j}$ independent of all $n_{ℓ}$ , $ℓ ⩾ 0$ , satisfying the relations $\begin{array}{l} \sum_{k_{1} + k_{2} = k} 2 i (k_{1} + 1) (k_{2} + 1) {\tilde{φ}}_{k_{1} + 1} {\tilde{a}}_{k_{2} + 1, j} + \sum_{k_{1} + k_{2} + k_{3} = k} 2 i ⟨ R_{k_{1}} \nabla_{x^{'}} {\tilde{φ}}_{k_{2}}, \nabla_{x^{'}} {\tilde{a}}_{k_{3}, j} ⟩ \\ (3.25) & + \sum_{k_{1} + k_{2} = k} i {\tilde{φ}}_{k_{1}}^{Δ} {\tilde{a}}_{k_{2}, j} = - {\tilde{a}}_{k, j - 1}^{Δ}, \end{array}$ and ${\tilde{a}}_{0, 0} = ψ$ , ${\tilde{a}}_{0, j} = 0$ , $j ⩾ 1$ , ${\tilde{a}}_{k, - 1} = 0$ , $k ⩾ 0$ , where ${\tilde{φ}}_{k}^{Δ}$ is defined by replacing in the definition of $φ_{k}^{Δ}$ all functions $φ_{j}$ by ${\tilde{φ}}_{j}$ . Using Lemma 3.4 we will prove the following Lemma 3.7.
For all $k ⩾ 1, j ⩾ 0$ , we have $(1 - η) (a_{k, j} - {\tilde{a}}_{k, j}) \in S_{0}^{- j - 1}$ .
Proof.
By Lemma 3.4 together with (3.18) and (3.25) we obtain that the relations $\begin{array}{l} \sum_{k_{1} + k_{2} = k} 2 i (k_{1} + 1) (k_{2} + 1) (1 - η) {\tilde{φ}}_{k_{1} + 1} (a_{k_{2} + 1, j} - {\tilde{a}}_{k_{2} + 1, j}) \\ + \sum_{k_{1} + k_{2} + k_{3} = k} 2 i (1 - η) ⟨ R_{k_{1}} \nabla_{x^{'}} {\tilde{φ}}_{k_{2}}, \nabla_{x^{'}} (a_{k_{3}, j} - {\tilde{a}}_{k_{3}, j}) ⟩ \\ (3.26) & + \sum_{k_{1} + k_{2} = k} i (1 - η) {\tilde{φ}}_{k_{1}}^{Δ} (a_{k_{2}, j} - {\tilde{a}}_{k_{2}, j}) = - (1 - η) (a_{k, j - 1}^{Δ} - {\tilde{a}}_{k, j - 1}^{Δ}) \end{array}$ are satisfied modulo $S_{0}^{- j - 1}$ . We will proceed by induction. Suppose now that the assertion is true for all $j ⩽ J - 1$ and all $k ⩾ 1$ , and for $j = J$ and $k ⩽ K$ . This implies that the LHS of (3.26) with $k = K$ and $j = J$ is equal to $2 i (K + 1) (1 - η) {\tilde{φ}}_{1} (a_{K + 1, J} - {\tilde{a}}_{K + 1, J})$ modulo $S_{0}^{- J}$ , while the RHS belongs to $S_{0}^{- J}$ . Hence, $(1 - η) (a_{K + 1, J} - {\tilde{a}}_{K + 1, J})$ belongs to $S_{0}^{- J - 1}$ , as desired. □

In view of (3.11) we have $\begin{matrix} - i h \partial_{x_{1}} {\tilde{u}}_{ψ} |_{x_{1} = 0} = T_{ψ} (h, z) f = {Op}_{h} (τ_{ψ}) f \end{matrix}$ where $\begin{matrix} τ_{ψ} = a \frac{\partial φ}{\partial x_{1}} |_{x_{1} = 0} - i h \frac{\partial a}{\partial x_{1}} |_{x_{1} = 0} = ρ ψ - i \sum_{j = 0}^{N - 1} h^{j + 1} a_{1, j} . \end{matrix}$ Lemma 3.8.
For every integer $m ⩾ 0$ there are $N_{m} > 1$ and $ℓ_{m} > 0$ such that for all $N ⩾ N_{m}$ we have the estimate $\begin{matrix} (3.27) & {‖ N (h, z) {Op}_{h} (ψ) - T_{ψ} (h, z) ‖}_{L^{2} (Γ) \to H_{h}^{m} (Γ)} ⩽ C_{N, m} h^{ϵ N - ℓ_{m}} \end{matrix}$ if $ψ = ψ^{0}$ , $z \in Z_{1} (1 / 2 - ϵ)$ , or $ψ = ψ^{0} (1 - χ)$ , $z \in Z_{1} (1 - ϵ)$ . If $ψ = ψ^{0}$ , $z \in Z_{2} \cup Z_{3}$ , then ( 3.27 ) holds with ϵ replaced by 1.
Proof.
Denote by $G_{D}$ the Dirichlet self-adjoint realization of the operator $- n^{- 1} Δ$ on the Hilbert space $L^{2} (Ω; n (x) d x)$ . It is easy to see that $\begin{matrix} {(h^{2} G_{D} - z)}^{- 1} = O (θ {(z)}^{- 1}) : L^{2} (Ω) \to L^{2} (Ω) \end{matrix}$ where $θ (z) = | Im z |$ if $z \in Z_{1}$ , $θ (z) = 1$ if $z \in Z_{2} \cup Z_{3}$ . Clearly, under the conditions of Lemma 3.8, we have $h < θ (z) ⩽ 1$ . The above bound together with the coercivity of $G_{D}$ imply $\begin{matrix} (3.28) & {(h^{2} G_{D} - z)}^{- 1} = O_{s} (θ {(z)}^{- 1}) : H_{h}^{s} (Ω) \to H_{h}^{s} (Ω) \end{matrix}$ for every integer $s ⩾ 0$ . Indeed, we can write the resolvent as $\begin{matrix} {(h^{2} G_{D} - z)}^{- 1} = {(h^{2} G_{D} + 1)}^{- s / 2} {(h^{2} G_{D} - z)}^{- 1} {(h^{2} G_{D} + 1)}^{s / 2}, \end{matrix}$ while the coercivity of $G_{D}$ implies $\begin{array}{l} {(h^{2} G_{D} + 1)}^{s / 2} = O_{s} (1) : H_{h}^{s} (Ω) \to L^{2} (Ω), \\ {(h^{2} G_{D} + 1)}^{- s / 2} = O_{s} (1) : L^{2} (Ω) \to H_{h}^{s} (Ω) . \end{array}$ We also have the identity $\begin{matrix} (3.29) & N (h, z) {Op}_{h} (ψ) f - T_{ψ} (h, z) f = - i h γ \partial_{ν} ({(h^{2} G_{D} - z)}^{- 1} V) \end{matrix}$ where γ denotes the restriction on Γ, and $\begin{array}{l} V & = (h^{2} Δ + z n) {\tilde{u}}_{ψ} \\ = K (h, z) f = {(2 π h)}^{- d + 1} \int \int e^{\frac{i}{h} (⟨ y^{'}, ξ^{'} ⟩ + φ (x, ξ^{'}, z))} K (x, ξ^{'}, h, z) f (y^{'}) d ξ^{'} d y^{'}, \end{array}$ where $K = K_{1} + K_{2}$ with $\begin{array}{l} K_{1} = [h^{2} Δ, Φ_{δ}] a, K_{2} = (x_{1}^{N} A_{N} + h^{N} B_{N}) Φ_{δ}, \\ A_{N} = - Ψ_{N} a + \sum_{j = 0}^{N - 1} h^{j + 1} A_{N}^{(j)}, B_{N} = Δ a_{N - 1} = \sum_{k = 0}^{N - 1} x_{1}^{k} a_{k, N - 1}^{Δ} + x_{1}^{N} F_{N}^{(N - 1)} . \end{array}$ By the trace theorem we get from (3.28) and (3.29), $\begin{array}{l} {‖ N (h, z) {Op}_{h} (ψ) f - T_{ψ} (h, z) f ‖}_{H_{h}^{m} (Γ)} \\ ⩽ O (h^{- 1}) {‖ {(h^{2} G_{D} - z)}^{- 1} V ‖}_{H_{h}^{m + 1} (Ω)} \\ (3.30) & ⩽ O ({(h θ (z))}^{- 1}) ‖ V ‖_{H_{h}^{m + 1} (Ω)} ⩽ O (h^{- 2}) ‖ V ‖_{H_{h}^{m + 1} (Ω)} . \end{array}$ To bound the norm of V we need to bound the kernel of the operator $\begin{matrix} K_{α} : = \partial_{x}^{α} K (h, z) : L^{2} (Γ) \to L^{2} (Ω) . \end{matrix}$ By Lemma 3.1 of [10] we have $\begin{array}{l} Im ρ ⩾ \frac{| Im z |}{2 | ρ |} on supp η, z \in Z_{1}, \\ Im ρ ⩾ C ⟨ ξ^{'} ⟩ for z \in Z_{2} \cup Z_{3} and on supp (1 - η), z \in Z_{1}, \end{array}$ where $C > 0$ is some constant. Hence, by (3.15), for $0 ⩽ x_{1} ⩽ 2 δ min {1, | ρ |^{3}}$ we have $\begin{array}{l} x_{1}^{N} | e^{i φ / h} | & ⩽ x_{1}^{N} e^{- Im φ / h} ⩽ x_{1}^{N} e^{- x_{1} Im ρ / 2 h} ⩽ C_{N} {(\frac{h}{Im ρ})}^{N} \\ (3.31) & ⩽ \{\begin{matrix} C_{N} {(\frac{h | ρ |}{| Im z |})}^{N}, & z \in Z_{1}, (x^{'}, ξ^{'}) \in supp η, \\ C_{N} {(\frac{h}{⟨ ξ^{'} ⟩})}^{N}, & otherwise . \end{matrix} \end{array}$ On the other hand, by Lemmas 3.2 and 3.5, for $| ρ |^{4} ⩾ h$ and $0 ⩽ x_{1} ⩽ 2 δ min {1, | ρ |^{3}}$ we have $\begin{array}{l} (3.32) & | \partial_{x}^{α} A_{N} | ⩽ \{\begin{matrix} C_{α, N} h^{- ℓ_{α}} | ρ |^{- 3 N}, & on supp η, \\ C_{α, N} {⟨ ξ^{'} ⟩}^{2}, & on supp (1 - η), \end{matrix} \\ (3.33) & | \partial_{x}^{α} B_{N} | ⩽ \{\begin{matrix} C_{α, N} h^{- ℓ_{α}} | ρ |^{- 4 N}, & on supp η, \\ C_{α, N} {⟨ ξ^{'} ⟩}^{- N + 1}, & on supp (1 - η), \end{matrix} \end{array}$ for every multi-index α with some $ℓ_{α} > 0$ independent of N. By (3.31), (3.32) and (3.33), using that $| ρ |^{2} ⩾ C | Im z |$ , $C > 0$ , on $supp η$ , we conclude $\begin{matrix} (3.34) & | \partial_{x}^{α} (e^{i φ / h} K_{2}) | ⩽ C_{α, N} h^{- ℓ_{α}} {(\frac{h}{| ρ |^{2} | Im z |} + \frac{h}{| ρ |^{4}})}^{N} ⩽ C_{α, N} h^{- ℓ_{α}} {(\frac{h}{| Im z |^{2}})}^{N} \end{matrix}$ for $z \in Z_{1}, (x^{'}, ξ^{'}) \in supp η$ , and $\begin{matrix} (3.35) & | \partial_{x}^{α} (e^{i φ / h} K_{2}) | ⩽ C_{α, N} {(\frac{h}{⟨ ξ^{'} ⟩})}^{N - ℓ_{α}} \end{matrix}$ otherwise, with possibly a new $ℓ_{α} > 0$ independent of N. Similar estimates hold for the function $K_{1}$ , too. Indeed, observe that on $supp [Δ, Φ_{δ}]$ we have $δ min {1, | ρ |^{3}} ⩽ x_{1} ⩽ 2 δ min {1, | ρ |^{3}}$ , and hence $\begin{array}{l} | e^{i φ / h} | & ⩽ e^{- Im φ / h} ⩽ e^{- x_{1} Im ρ / 2 h} \\ (3.36) & ⩽ \{\begin{matrix} e^{- C | ρ |^{2} | Im z | / h}, & z \in Z_{1}, (x^{'}, ξ^{'}) \in supp η, \\ e^{- C ⟨ ξ^{'} ⟩ / h}, & otherwise, \end{matrix} \end{array}$ with some constant $C > 0$ . Using (3.36) one can easily get that the estimates (3.34) and (3.35) are satisfied with $K_{2}$ replaced by $K_{1}$ . Therefore, the function K satisfies the bounds $\begin{matrix} (3.37) & | \partial_{x}^{α} (e^{i φ / h} K) | ⩽ \{\begin{matrix} C_{α, N} h^{2 ϵ N - ℓ_{α}}, & z \in Z_{1} (1 / 2 - ϵ), (x^{'}, ξ^{'}) \in supp η, \\ C_{α, N} {(\frac{h}{⟨ ξ^{'} ⟩})}^{N - ℓ_{α}}, & otherwise . \end{matrix} \end{matrix}$ Moreover, since $| ρ | ⩾ Const > 0$ on $supp (1 - χ)$ , in the case when $ψ = ψ^{0} (1 - χ)$ we obtain that (3.37) holds with $Z_{1} (1 / 2 - ϵ)$ replaced by $Z_{1} (1 - ϵ)$ and $2 ϵ$ replaced by ϵ. Note now that the kernel, $L_{α}$ , of the operator $K_{α}$ is given by $\begin{matrix} L_{α} (x, y^{'}) = {(2 π h)}^{- d + 1} \int e^{\frac{i}{h} ⟨ y^{'}, ξ^{'} ⟩} \partial_{x}^{α} (e^{\frac{i}{h} φ (x, ξ^{'}, z)} K (x, ξ^{'}, h, z)) d ξ^{'} . \end{matrix}$ If N is taken large enough, (3.37) implies the bounds $\begin{matrix} (3.38) & | L_{α} (x, y^{'}) | ⩽ \{\begin{matrix} C_{α, N} h^{2 ϵ N - ℓ_{α}}, & z \in Z_{1} (1 / 2 - ϵ), \\ C_{α, N} h^{N - ℓ_{α}}, & z \in Z_{2} \cup Z_{3}, \end{matrix} \end{matrix}$ with a new $ℓ_{α} > 0$ independent of N. When $ψ = ψ^{0} (1 - χ)$ , (3.38) holds with $Z_{1} (1 / 2 - ϵ)$ replaced by $Z_{1} (1 - ϵ)$ and $2 ϵ$ replaced by ϵ. Clearly, (3.27) follows from (3.30) and (3.38). □

In the case when $ψ = ψ^{0}$ , by (3.23) we have $\begin{matrix} | \partial_{x^{'}}^{α} \partial_{ξ^{'}}^{β} a_{k, j} | ⩽ C_{k, j, α, β} | ρ |^{- 3 k - 4 j - 2 (| α | + | β |)} \end{matrix}$ on $supp η$ , and $\begin{matrix} | \partial_{x^{'}}^{α} \partial_{ξ^{'}}^{β} a_{k, j} | ⩽ C_{k, j, α, β} {⟨ ξ^{'} ⟩}^{- j - | β |} \end{matrix}$ on $supp (1 - η)$ . Since $| ρ | ⩾ C \sqrt{| Im z |}$ for $z \in Z_{1}$ , $(x^{'}, ξ^{'}) \in supp χ$ and $| ρ | ⩾ C > 0$ for $z \in Z_{2} \cup Z_{3}$ or $z \in Z_{1}$ , $(x^{'}, ξ^{'}) \in supp (1 - χ)$ , we get $\begin{matrix} | \partial_{x^{'}}^{α} \partial_{ξ^{'}}^{β} a_{k, j} | ⩽ C_{k, j, α, β} | Im z |^{- 3 k / 2 - 2 j - | α | - | β |} \end{matrix}$ for $z \in Z_{1}$ , $(x^{'}, ξ^{'}) \in supp χ$ , and $\begin{matrix} | \partial_{x^{'}}^{α} \partial_{ξ^{'}}^{β} a_{k, j} | ⩽ C_{k, j, α, β} {⟨ ξ^{'} ⟩}^{- j - | β |} \end{matrix}$ otherwise. Hence $(1 - χ) a_{k, j} \in S_{0}^{- j}$ , $h^{k + j} a_{k, j} \in S_{1 / 2 - ϵ}^{- j}$ uniformly in $z \in Z_{1} (1 / 2 - ϵ)$ , $a_{k, j} \in S_{0}^{- j}$ for $z \in Z_{2} \cup Z_{3}$ . Therefore, we have $\begin{matrix} {Op}_{h} (η a_{k, j}) - {Op}_{h} (η_{1}) {Op}_{h} (η a_{k, j}) = O (h^{\infty}) : L^{2} (Γ) \to H_{h}^{m} (Γ) \end{matrix}$ for every integer $m ⩾ 0$ , where $η_{1} \in C_{0}^{\infty} (T^{*} Γ)$ is such that $η_{1} = 1$ on $supp η$ . In view of (2.4) this implies $\begin{array}{l} {‖ {Op}_{h} (η a_{k, j}) ‖}_{L^{2} (Γ) \to H_{h}^{m} (Γ)} \\ ⩽ {‖ {Op}_{h} (η a_{k, j}) ‖}_{L^{2} (Γ) \to L^{2} (Γ)} {‖ {Op}_{h} (η_{1}) ‖}_{L^{2} (Γ) \to H_{h}^{m} (Γ)} + O (h^{\infty}) \\ (3.39) & ⩽ \{\begin{matrix} C_{k, j, m} | Im z |^{- 3 k / 2 - 2 j}, & z \in Z_{1} (1 / 2 - ϵ), \\ C_{k, j, m}, & z \in Z_{2} \cup Z_{3}, \end{matrix} \end{array}$ for every integer $m ⩾ 0$ . In view of Proposition 2.3 we also have $\begin{matrix} (3.40) & {‖ {Op}_{h} ((1 - η) a_{k, j}) ‖}_{L^{2} (Γ) \to H_{h}^{j} (Γ)} ⩽ C_{k, j} . \end{matrix}$ By (3.39) and (3.40) we conclude $\begin{matrix} (3.41) & {‖ {Op}_{h} (a_{k, j}) ‖}_{L^{2} (Γ) \to H_{h}^{j} (Γ)} ⩽ \{\begin{matrix} C_{k, j} | Im z |^{- 3 k / 2 - 2 j}, & z \in Z_{1} (1 / 2 - ϵ), \\ C_{k, j}, & z \in Z_{2} \cup Z_{3} . \end{matrix} \end{matrix}$ By Lemma 3.7 we also have $\begin{matrix} (3.42) & {‖ {Op}_{h} ((1 - η) (a_{k, j} - {\tilde{a}}_{k, j})) ‖}_{L^{2} (Γ) \to H_{h}^{j + 1} (Γ)} ⩽ C_{k, j}, z \in Z_{1} \cup Z_{2} \cup Z_{3} . \end{matrix}$ In the case when $ψ = ψ^{0} (1 - χ)$ , the functions $a_{k, j}$ vanish on $supp χ$ , and hence $a_{k, j} \in S_{0}^{- j}$ for $z \in Z_{1}$ . Therefore, in this case the estimate (3.41) holds with $| Im z |$ replaced by 1 and $Z_{1} (1 / 2 - ϵ)$ replaced by $Z_{1}$ .

We are ready now to prove Theorem 3.1. If $s = 0$ we put $b_{0}^{ψ} = - i h (1 - η) {\tilde{a}}_{1, 0}$ , and if $s ⩾ 1$ we put $\begin{matrix} b_{s}^{ψ} = - i \sum_{j = 0}^{s - 1} h^{j + 1} a_{1, j} - c_{s} h^{s} ρ^{- s - 1} z n_{s} ψ - i h^{s + 1} (1 - η) {\tilde{a}}_{1, s} . \end{matrix}$ In view of Lemma 3.6, the function $b_{s}^{ψ}$ is independent of all $n_{ℓ}$ with $ℓ ⩾ s$ . If we take N big enough, we can decompose the function $τ_{ψ}$ as $\begin{matrix} τ_{ψ} = ρ ψ + b_{s}^{ψ} + c_{s} h^{s} ρ^{- s - 1} z n_{s} ψ + {\tilde{b}}_{s}^{ψ} \end{matrix}$ where $\begin{matrix} {\tilde{b}}_{s}^{ψ} = - i h^{s + 1} η a_{1, s} - i h^{s + 1} (1 - η) (a_{1, s} - {\tilde{a}}_{1, s}) - i \sum_{j = s + 1}^{N - 1} h^{j + 1} a_{1, j} . \end{matrix}$ By (3.39), (3.41) and (3.42) we have $\begin{matrix} (3.43) & {‖ {Op}_{h} ({\tilde{b}}_{s}^{ψ}) ‖}_{L^{2} (Γ) \to H_{h}^{s + 1} (Γ)} ⩽ \{\begin{matrix} C_{s} h^{s + 1} | Im z |^{- 3 / 2 - 2 s}, & z \in Z_{1} (1 / 2 - ϵ), \\ C_{s} h^{s + 1}, & z \in Z_{2} \cup Z_{3} . \end{matrix} \end{matrix}$ Moreover, if $ψ = ψ^{0} (1 - χ)$ , the estimate (3.43) holds with $| Im z |$ replaced by 1 and $Z_{1} (1 / 2 - ϵ)$ replaced by $Z_{1}$ . We would like to apply Lemma 3.8 with $m = s + 1$ . To this end we take N big enough to arrange that $\begin{matrix} ϵ N - ℓ_{s + 1} > s + 1 . \end{matrix}$ By (3.27) and (3.43) we get $\begin{array}{l} {‖ N (h, z) {Op}_{h} (ψ) - {Op}_{h} (ρ ψ + b_{s}^{ψ} + c_{s} h^{s} ρ^{- s - 1} z n_{s} ψ) ‖}_{L^{2} (Γ) \to H_{h}^{s + 1} (Γ)} \\ (3.44) & ⩽ \{\begin{matrix} C_{s} h^{s + 1} | Im z |^{- 3 / 2 - 2 s}, & z \in Z_{1} (1 / 2 - ϵ), \\ C_{s} h^{s + 1}, & z \in Z_{2} \cup Z_{3}, \end{matrix} \end{array}$ if $ψ = ψ^{0}$ . Moreover, if $ψ = ψ^{0} (1 - χ)$ , the estimate (3.44) holds with $| Im z |$ replaced by 1 and $Z_{1} (1 / 2 - ϵ)$ replaced by $Z_{1} (1 - ϵ)$ .

We will now use a partition of the unity on Γ. We can find functions ${ψ_{j}^{0}}_{j = 1}^{J}$ such that $\sum_{j = 1}^{J} ψ_{j}^{0} = 1$ and (3.44) is valid with ψ replaced by each $ψ_{j}$ , where $ψ_{j}$ is defined by replacing in the definiton of ψ the function $ψ^{0}$ by $ψ_{j}^{0}$ . Summing up all the estimates we get (3.8) and (3.9), respectively. □

4. Improved estimates

To prove Theorem 1.1 we actually need the following improved version of Theorem 3.1.

Theorem 4.1.
Let $z \in Z_{1} (1 / 2 - ϵ)$ , $0 < ϵ ≪ 1$ . Then, for every integer $s ⩾ 1$ there are an operator $B_{s}$ independent of all $n_{k}$ with $k ⩾ s$ and an operator $\begin{matrix} (4.1) & A_{s} = O_{s} (h^{- s}) : H_{h}^{s + 1} (Γ) \to L^{2} (Γ) \end{matrix}$ independent of all $n_{k}$ with $k ⩾ 1$ such that $\begin{matrix} (4.2) & {‖ A_{s} N (h, z) - B_{s} - n_{s} I ‖}_{L^{2} (Γ) \to L^{2} (Γ)} ⩽ C_{s} h | Im z |^{- 3 s / 2 - 1} \end{matrix}$ where I denotes the identity. If $z \in Z_{2} \cup Z_{3}$ , then ( 4.2 ) holds with $| Im z |$ replaced by 1.
Proof.
Recall that by (3.5), (3.6), (3.7), we have that for every integer k, $h^{\frac{k_{-}}{4}} ρ^{k} \in S_{1 / 2 - ϵ}^{k}$ uniformly in $z \in Z_{1} (1 / 2 - ϵ)$ and $ρ^{k} \in S_{0}^{k}$ if $z \in Z_{2} \cup Z_{3}$ . We would like to apply Proposition 2.2 with $\begin{matrix} a_{s}^{+} = {(c_{s} h^{s} ρ^{- s - 1} z)}^{- 1}, a_{s}^{-} = c_{s} h^{s} ρ^{- s - 1} z . \end{matrix}$ Using (3.2) one can easily check that (2.5) is satisfied with $μ = h | Im z |^{- 2} = O (h^{2 ϵ})$ . By (2.6) we get $\begin{matrix} (4.3) & {‖ {Op}_{h} (a_{s}^{+}) {Op}_{h} (a_{s}^{-}) - I ‖}_{L^{2} (Γ) \to L^{2} (Γ)} ⩽ C h^{2 ϵ} ⩽ 1 / 2 \end{matrix}$ if h is taken small enough. It follows from (4.3) that the operator ${Op}_{h} (a_{s}^{-})$ is invertible with an inverse $\begin{matrix} A_{s} : = {({Op}_{h} (a_{s}^{-}))}^{- 1} = {({Op}_{h} (a_{s}^{+}) {Op}_{h} (a_{s}^{-}))}^{- 1} {Op}_{h} (a_{s}^{+}) . \end{matrix}$ Since $h^{s} a_{s}^{+} \in S_{1 / 2 - ϵ}^{s + 1}$ uniformly in z, by Proposition 2.3 we have $\begin{matrix} h^{s} {Op}_{h} (a_{s}^{+}) = O_{s} (1) : H_{h}^{s + 1} (Γ) \to L^{2} (Γ) \end{matrix}$ which implies (4.1). By (3.27) and (4.1), $\begin{matrix} (4.4) & {‖ A_{s} N (h, z) - A_{s} T (h, z) ‖}_{L^{2} (Γ) \to L^{2} (Γ)} ⩽ C_{N, s} h^{ϵ N - s - ℓ_{s + 1}} ⩽ h \end{matrix}$ if N is taken large enough, where $T = \sum_{j = 1}^{J} T_{ψ_{j}}$ . On the other hand, we can write $\begin{matrix} A_{s} T = B_{s} + n_{s} I + {\tilde{B}}_{s} \end{matrix}$ where $\begin{array}{l} B_{s} = A_{s} {Op}_{h} (ρ + b_{s}), b_{s} = \sum_{j = 1}^{J} b_{s}^{ψ_{j}}, \\ {\tilde{B}}_{s} = A_{s} {Op}_{h} ({\tilde{b}}_{s}), {\tilde{b}}_{s} = \sum_{j = 1}^{J} {\tilde{b}}_{s}^{ψ_{j}} . \end{array}$ Clearly, the operator $B_{s}$ is independent of all $n_{k}$ with $k ⩾ s$ because so is the function $b_{s}$ . Therefore, it follows from (4.4) that to prove (4.2) it suffices to prove the bound $\begin{matrix} (4.5) & {‖ {Op}_{h} (a_{s}^{+}) {Op}_{h} ({\tilde{b}}_{s}) ‖}_{L^{2} (Γ) \to L^{2} (Γ)} ⩽ \{\begin{matrix} C_{s} h | Im z |^{- 3 s / 2 - 1}, & z \in Z_{1} (1 / 2 - ϵ), \\ C_{s} h, & z \in Z_{2} \cup Z_{3} . \end{matrix} \end{matrix}$ In view of Lemmas 3.5 and 3.7, we have ${\tilde{b}}_{s} = h^{s + 1} g_{s}$ with $g_{s} \in S_{2, 2}^{- 3 - 4 s} (| ρ |) + S_{0, 1}^{- s - 1} (| ρ |)$ uniformly in h as long as $| ρ |^{4} ⩾ h$ . Thus, (4.5) is equivalent to $\begin{matrix} (4.6) & {‖ {Op}_{h} (ρ^{s + 1}) {Op}_{h} (g_{s}) ‖}_{L^{2} (Γ) \to L^{2} (Γ)} ⩽ \{\begin{matrix} C_{s} | Im z |^{- 3 s / 2 - 1}, & z \in Z_{1} (1 / 2 - ϵ), \\ C_{s}, & z \in Z_{2} \cup Z_{3} . \end{matrix} \end{matrix}$ To prove (4.6) observe that $ρ^{s + 1} g_{s} \in S_{2, 2}^{- 2 - 3 s} (| ρ |) + S_{0, 1}^{0} (| ρ |)$ uniformly in h, which yields the bounds $\begin{matrix} (4.7) & | \partial_{x^{'}}^{α} \partial_{ξ^{'}}^{β} (ρ^{s + 1} g_{s}) | ⩽ \{\begin{matrix} C_{s, α, β} | Im z |^{- 3 s / 2 - 1 - | α | - | β |}, & z \in Z_{1} (1 / 2 - ϵ), \\ C_{s, α, β}, & z \in Z_{2} \cup Z_{3} . \end{matrix} \end{matrix}$ By (2.4) and (4.7) we get $\begin{matrix} (4.8) & {‖ {Op}_{h} (ρ^{s + 1} g_{s}) ‖}_{L^{2} (Γ) \to L^{2} (Γ)} ⩽ \{\begin{matrix} C_{s} | Im z |^{- 3 s / 2 - 1}, & z \in Z_{1} (1 / 2 - ϵ), \\ C_{s}, & z \in Z_{2} \cup Z_{3} . \end{matrix} \end{matrix}$ On the other hand, applying Proposition 2.2 with $a^{+} = ρ^{s + 1}$ and $a^{-} = g_{s}$ yields the bound $\begin{array}{l} {‖ {Op}_{h} (ρ^{s + 1}) {Op}_{h} (g_{s}) - {Op}_{h} (ρ^{s + 1} g_{s}) ‖}_{L^{2} (Γ) \to L^{2} (Γ)} \\ (4.9) & ⩽ \{\begin{matrix} C_{s} h | Im z |^{- 3 s / 2 - 3}, & z \in Z_{1} (1 / 2 - ϵ), \\ C_{s} h, & z \in Z_{2} \cup Z_{3} . \end{matrix} \end{array}$ Clearly, (4.6) follows from (4.8) and (4.9). □

5. Proof of Theorem 1.1

Define the DN maps $N_{j} (λ)$ , $j = 1, 2$ , by $\begin{matrix} N_{j} (λ) f = \partial_{ν} u_{j} |_{Γ} \end{matrix}$ where ν is the Euclidean unit inner normal to Γ and $u_{j}$ is the solution to the equation $\begin{matrix} (5.1) & \{\begin{matrix} (Δ + λ^{2} n_{j} (x)) u_{j} = 0 & in Ω, \\ u_{j} = f & on Γ, \end{matrix} \end{matrix}$ and consider the operator $\begin{matrix} T (λ) = N_{1} (λ) - N_{2} (λ) . \end{matrix}$ Clearly, λ is a transmission eigenvalue if there exists a non-trivial function f such that $T (λ) f = 0$ . Thus Theorem 1.1 is a consequence of the following

Theorem 5.1.

Under the conditions of Theorem 1.1 , the operator $T (λ)$ sends $L^{2} (Γ)$ into $H^{j + 1} (Γ)$ . Moreover, there exists a constant $C > 0$ such that $T (λ)$ is invertible for $| Im λ | ⩾ C {(Re λ + 1)}^{1 - κ_{j}}$ with an inverse satisfying in this region the bound $\begin{matrix} (5.2) & {‖ T {(λ)}^{- 1} ‖}_{H^{j + 1} (Γ) \to L^{2} (Γ)} ≲ | λ |^{j - 1} \end{matrix}$ where the Sobolev space is equipped with the classical norm.

Proof.

We make our problem semi-classical by putting $h = | Re λ^{2} |^{- 1 / 2}$ , $z = h^{2} λ^{2} = \pm 1 + i Im z$ , if $| Re λ^{2} | ⩾ | Im λ^{2} |$ , $\pm Re λ^{2} > 0$ , and $h = | Im λ^{2} |^{- 1 / 2}$ , $z = h^{2} λ^{2} = Re z + i$ , if $| Re λ^{2} | ⩽ | Im λ^{2} |$ . Clearly, $h \sim | λ |^{- 1}$ . We set $N_{j} (h, z) = - i h N_{j} (λ)$ and $\begin{matrix} T (h, z) = N_{1} (h, z) - N_{2} (h, z) . \end{matrix}$ We now apply Theorem 4.1 with $s = j ⩾ 1$ . In view of the conditions (1.5) and (1.6), we get $\begin{matrix} (5.3) & {‖ A_{j} T (h, z) - (n_{j}^{(1)} - n_{j}^{(2)}) I ‖}_{L^{2} (Γ) \to L^{2} (Γ)} ⩽ C_{j} h | Im z |^{- 3 j / 2 - 1} \end{matrix}$ for $z \in Z_{1} (1 / 2 - ϵ)$ , where $\begin{matrix} n_{j}^{(ℓ)} = {(j!)}^{- 1} \partial_{ν}^{j} n_{ℓ} |_{Γ}, ℓ = 1, 2 . \end{matrix}$ When $z \in Z_{2} \cup Z_{3}$ , the estimate (5.3) holds with $| Im z |$ replaced by 1. It follows from (5.3) that the operator ${(n_{j}^{(1)} - n_{j}^{(2)})}^{- 1} A_{j} T (h, z)$ is invertible for $z \in Z_{1} (1 / 2 - ϵ)$ , $| Im z | ⩾ {(C_{j}^{'} h)}^{1 / (3 j / 2 + 1)}$ , and for $z \in Z_{2} \cup Z_{3}$ , h small enough. Hence so is $T (h, z)$ and we have the bound $\begin{matrix} (5.4) & {‖ T {(h, z)}^{- 1} ‖}_{H_{h}^{j + 1} (Γ) \to L^{2} (Γ)} ⩽ O (1) ‖ A_{j} ‖_{H_{h}^{j + 1} (Γ) \to L^{2} (Γ)} ⩽ O (h^{- j}) . \end{matrix}$ Now (5.2) follows from (5.4) after passing from $(h, z)$ to λ and using the fact that the semi-classical norm in $H_{h}^{j + 1} (Γ)$ is bounded from above by the classical norm in $H^{j + 1} (Γ)$ . □

It is worth noticing that it follows from the estimate (3.9) that the operator $T (h, z)$ can be inverted outside the glancing region for much smaller $| Im z |$ . In other words, to improve the eigenvalue-free region (1.7) one has to improve the parametrix in the glancing region, only. More precisely, we have the following

Proposition 5.2.

Let $z \in Z_{1} (1 - ϵ)$ . Then, under the conditions of Theorem 1.1 , there exists an operator $\begin{matrix} {\tilde{A}}_{j} = O (h^{- j}) : H_{h}^{j + 1} (Γ) \to L^{2} (Γ) \end{matrix}$ such that $\begin{matrix} (5.5) & {‖ T (h, z) {\tilde{A}}_{j} - {Op}_{h} (1 - χ) ‖}_{H_{h}^{j + 1} (Γ) \to H_{h}^{j + 1} (Γ)} ⩽ C h . \end{matrix}$ When $z \in Z_{2} \cup Z_{3}$ , the estimate ( 5.5 ) holds with χ replaced by 0.

Proof.

By (3.9) with $s = j$ we have $\begin{matrix} (5.6) & {‖ T (h, z) {Op}_{h} (1 - χ) - {Op}_{h} ((1 - χ) c_{j} h^{j} ρ^{- j - 1} z (n_{j}^{(1)} - n_{j}^{(2)})) ‖}_{L^{2} (Γ) \to H_{h}^{j + 1} (Γ)} ⩽ C_{j} h^{j + 1} \end{matrix}$ for $z \in Z_{1} (1 - ϵ)$ . Let $χ_{1} \in C_{0}^{\infty} (T^{*} Γ)$ be such that $χ = 1$ on $supp χ_{1}$ , $χ_{1} = 1$ in a neighbourhood of Σ, and set $\begin{matrix} {\tilde{a}}_{j}^{+} = (1 - χ) ρ^{- j - 1} c_{j} z (n_{j}^{(1)} - n_{j}^{(2)}), {\tilde{a}}_{j}^{-} = (1 - χ_{1}) ρ^{j + 1} {(c_{j} z (n_{j}^{(1)} - n_{j}^{(2)}))}^{- 1} . \end{matrix}$ We have ${\tilde{a}}_{j}^{+} \in S_{0}^{- j - 1}$ , ${\tilde{a}}_{j}^{-} \in S_{0}^{j + 1}$ and ${\tilde{a}}_{j}^{+} {\tilde{a}}_{j}^{-} = 1 - χ$ . We now apply Proposition 2.4 with ${\tilde{a}}_{j}^{+}$ and ${\tilde{a}}_{j}^{-}$ in place of $a^{+}$ and $a^{-}$ . We have $\begin{matrix} (5.7) & {‖ {Op}_{h} ({\tilde{a}}_{j}^{+}) {Op}_{h} ({\tilde{a}}_{j}^{-}) - {Op}_{h} (1 - χ) ‖}_{H_{h}^{j + 1} (Γ) \to H_{h}^{j + 1} (Γ)} ⩽ C h . \end{matrix}$ Clearly, (5.5) follows from (5.6) and (5.7) with ${\tilde{A}}_{j} = h^{- j} {Op}_{h} (1 - χ) {Op}_{h} ({\tilde{a}}_{j}^{-})$ . □

References

Colton,

Y.-J.

Leung and

Meng, Distribution of complex transmission eigenvalues for spherically stratified media, Inverse problems 31 (2015), 035006. doi:10.1088/0266-5611/31/3/035006.

Dimassi and

Sjöstrand, Spectral Asymptotics in Semi-Classical Limit, London Mathematical Society, Lecture Notes Series, Vol. 268, Cambridge University Press, 1999.

Faierman, The interior transmission problem: Spectral theory, SIAM J. Math. Anal. 46(1) (2014), 803–819. doi:10.1137/130922215.

Hörmander, The Analysis of Linear Partial Differential Operators, Vol. 3, Pseudo-Differntial Operators, Springer, Berlin, 1985.

Lakshtanov and

Vainberg, Application of elliptic theory to the isotropic interior transmission eigenvalue problem, Inverse Problems 29 (2013), 104003. doi:10.1088/0266-5611/29/10/104003.

Y.-J.

Leung and

Colton, Complex transmission eigenvalues for spherically stratified media, Inverse Problems 28 (2012), 075005. doi:10.1088/0266-5611/28/7/075005.

Petkov and

Vodev, Asymptotics of the number of the interior transmission eigenvalues, J. Spectral Theory 7(1) (2017), 1–31. doi:10.4171/JST/154.

Pham and

Stefanov, Weyl asymptotics of the transmission eigenvalues for a constant index of refraction, Inverse problems and imaging 8(3) (2014), 795–810. doi:10.3934/ipi.2014.8.795.

Robbiano, Counting function for interior transmission eigenvalues, Mathematical Control and Related Fields 6(1) (2016), 167–183. doi:10.3934/mcrf.2016.6.167.

10.

Vodev, Transmission eigenvalue-free regions, Comm. Math. Phys. 336 (2015), 1141–1166. doi:10.1007/s00220-015-2311-2.

11.

Vodev, Transmission eigenvalues for strictly concave domains, Math. Ann. 366 (2016), 301–336. doi:10.1007/s00208-015-1329-2.

12.

Vodev, High-frequency approximation of the interior Dirichlet-to-Neumann map and applications to the transmission eigenvalues, preprint, 2017.