1 Introduction
1.1 Motivation and context
In this paper we develop an abstract tool for dimensional reductions via the norm-resolvent convergence obtained from variational estimates. The results are relevant in particular for partial differential equation problems, typically Schrödinger-type operators depending on an asymptotic parameter having various interpretations (semiclassical limit, shrinking limits, large coupling limit, etc.). In applications, our resolvent estimates lead to accurate spectral asymptotic results for eigenvalues lying in a suitable region of the complex plane. Moreover, avoiding the traditional min–max approach, with its fundamental limitations to self-adjoint cases, we obtain an effective operator, the spectrum of which determines the spectral asymptotics. The flexibility of the latter is illustrated on a non-self-adjoint example in the second part of the paper.
The power of our approach is demonstrated by a unified treatment of diverse classical as well as recent problems occurring in mathematical physics such as:
– semiclassical Born–Oppenheimer approximation;
– shrinking tubular neighborhoods of hypersurfaces subject to various boundary conditions;
– domains with very attractive Robin boundary conditions.
In spite of the variety of operators, asymptotic regimes, and techniques considered in the previous literature, all these results are covered in our general abstract and not only asymptotic setting. Our first result (Theorem 1.1) gives a norm-resolvent convergence towards a tensorial operator in a general self-adjoint setting. We emphasize that only two quantities need to be controlled: the size of a commutator of a “longitudinal operator” with spectral projection on low-lying “transverse modes” and the size of the “spectral gap” of a “transverse operator”; see (1.5) and (1.2), respectively. Although the latter is also very natural it is hardly visible in the existing literature due to the variety of seemingly different technical steps as well as the various ways in which these quantities appear. As particular cases of the application of Theorem 1.1, we briefly recover known results for quantum waveguides (see, for instance, [Reference Duclos and Exner3, Reference Krejčiřík and Raymond10, Reference Krejčiřík and Šediváková12] or [Reference Krejčiřík, Raymond and Tušek11]) and cast new light on Born–Oppenheimer type results (see [Reference Jecko8, Reference Lampart and Teufel13, Reference Wachsmuth and Teufel19] or [Reference Raymond18, §6.2]). To keep the presentation short we deliberately do not strive for the weakest possible assumptions in examples, although the abstract setting allows for many further generalizations and clearly indicates how to proceed. We also remark that for more specific geometric situations sharper spectral results can be obtained, for example leading to perturbation series to higher order (see the book [Reference Mazya, Nazarov and Plamenevskij15] and the survey article [Reference Grieser5]).
In the second part of the paper, we prove, in the same spirit as previous results, the norm-resolvent convergence result for a non-self-adjoint Robin Laplacian; see Theorem 1.5. This will partially generalize previous works in the self-adjoint (see [Reference Kachmar, Keraval and Raymond9, Reference Oliveira and Rossini16, Reference Pankrashkin and Popoff17]) and in the non-self-adjoint (see [Reference Borisov and Krejčiřík2]) cases.
As a matter of fact, the crucial step in all the proofs of the paper is an abstract lemma (see Lemma 1.7) of independent interest. This provides a norm-resolvent estimate from variational estimates, which is particularly suitable for the analysis of operators defined via sesquilinear forms.
1.2 Reduction of dimension in an abstract setting and self-adjoint applications
We first describe the reduction of dimension for an operator of the form
$$\begin{eqnarray}\mathscr{L}=S^{\ast }S+T,\qquad T=\bigoplus _{s\in \unicode[STIX]{x1D6F4}}T_{s},\end{eqnarray}$$
acting on the Hilbert space
${\mathcal{H}}=\bigoplus _{s\in \unicode[STIX]{x1D6F4}}{\mathcal{H}}_{s}$
. The norm and inner product in
${\mathcal{H}}$
will be denoted by
$\Vert \cdot \Vert$
and
$\langle \cdot ,\cdot \rangle$
, respectively; the latter is assumed to be linear in the second argument.
Here
$\unicode[STIX]{x1D6F4}$
is a measure space and
$T_{s}$
is a self-adjoint non-negative operator on a Hilbert space
${\mathcal{H}}_{s}$
for all
$s\in \unicode[STIX]{x1D6F4}$
. Precise definitions will be given in §2. A typical example is the Schrödinger operator
$$\begin{eqnarray}H=(-\text{i}\hbar \unicode[STIX]{x2202}_{s})^{2}+(-\text{i}\unicode[STIX]{x2202}_{t})^{2}+V(s,t),\end{eqnarray}$$
acting on
$L^{2}(\mathbb{R}_{s}\times \mathbb{R}_{t})$
. Here
$\unicode[STIX]{x1D6F4}=\mathbb{R}$
,
${\mathcal{H}}_{s}=L^{2}(\mathbb{R})$
,
$S=-\text{i}\hbar \unicode[STIX]{x2202}_{s}$
and
$T_{s}=(-\text{i}\unicode[STIX]{x2202}_{t})^{2}+V(s,t)$
.
We consider a function
$s\mapsto \unicode[STIX]{x1D6FE}_{s}$
such that
$$\begin{eqnarray}\unicode[STIX]{x1D6FE}=\inf _{s\in \unicode[STIX]{x1D6F4}}\unicode[STIX]{x1D6FE}_{s}>0.\end{eqnarray}$$
Then we denote by
$\unicode[STIX]{x1D6F1}_{s}\in {\mathcal{L}}({\mathcal{H}}_{s})$
the spectral projection of
$T_{s}$
on
$[0,\unicode[STIX]{x1D6FE}_{s})$
, and we set
$\unicode[STIX]{x1D6F1}_{s}^{\bot }=\text{Id}_{{\mathcal{H}}_{s}}-\unicode[STIX]{x1D6F1}_{s}$
. We denote by
$\unicode[STIX]{x1D6F1}$
the bounded operator on
${\mathcal{H}}$
such that for
$\unicode[STIX]{x1D6F7}\in {\mathcal{H}}$
and
$s\in \unicode[STIX]{x1D6F4}$
we have
$(\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7})_{s}=\unicode[STIX]{x1D6F1}_{s}\unicode[STIX]{x1D6F7}_{s}$
. We similarly define
$\unicode[STIX]{x1D6F1}^{\bot }\in {\mathcal{L}}({\mathcal{H}})$
. Our purpose is to compare some spectral properties of the operator
$\mathscr{L}$
with those of the simpler operator
$$\begin{eqnarray}\mathscr{L}_{\mathsf{eff}}=\unicode[STIX]{x1D6F1}\mathscr{L}\unicode[STIX]{x1D6F1}.\end{eqnarray}$$
This is an operator on
$\unicode[STIX]{x1D6F1}{\mathcal{H}}$
with domain
$\unicode[STIX]{x1D6F1}{\mathcal{H}}\cap \mathsf{Dom}(\mathscr{L})$
.
In fact, we will first compare
$\mathscr{L}$
with
$$\begin{eqnarray}\widehat{\mathscr{L}}=\unicode[STIX]{x1D6F1}\mathscr{L}\unicode[STIX]{x1D6F1}+\unicode[STIX]{x1D6F1}^{\bot }\mathscr{L}\unicode[STIX]{x1D6F1}^{\bot }.\end{eqnarray}$$
Then we will define
$\mathscr{L}_{\mathsf{eff}}$
and
$\mathscr{L}^{\bot }$
as the restrictions of
$\widehat{\mathscr{L}}$
to
$\unicode[STIX]{x1D6F1}{\mathcal{H}}$
and
$\unicode[STIX]{x1D6F1}^{\bot }{\mathcal{H}}$
, respectively, so that
$$\begin{eqnarray}\widehat{\mathscr{L}}=\mathscr{L}_{\mathsf{eff}}\oplus \mathscr{L}^{\bot }.\end{eqnarray}$$
We will give a sufficient condition for
$z\in \unicode[STIX]{x1D70C}(\widehat{\mathscr{L}})$
to be in
$\unicode[STIX]{x1D70C}(\mathscr{L})$
and, in this case, an estimate for the difference of the resolvents. Then, since
$\unicode[STIX]{x1D6F1}{\mathcal{H}}$
and
$\unicode[STIX]{x1D6F1}^{\bot }{\mathcal{H}}$
reduce
$\widehat{\mathscr{L}}$
, it is not difficult to check that far from the spectrum of
$\mathscr{L}^{\bot }$
the spectral properties of
$\widehat{\mathscr{L}}$
are the same as those of
$\mathscr{L}_{\mathsf{eff}}$
, so we can make a similar statement with
$\widehat{\mathscr{L}}$
replaced by
$\mathscr{L}_{\mathsf{eff}}$
. In applications, we can for instance prove that the first eigenvalues of
$\mathscr{L}$
are close to the eigenvalues of the simpler operator
$\mathscr{L}_{\mathsf{eff}}$
.
We assume that
$\mathsf{Dom}(S)$
is invariant under
$\unicode[STIX]{x1D6F1}$
, that
$[S,\unicode[STIX]{x1D6F1}]$
extends to a bounded operator on
${\mathcal{H}}$
, and we set
$$\begin{eqnarray}a=\frac{\Vert [S,\unicode[STIX]{x1D6F1}]\Vert _{{\mathcal{L}}({\mathcal{H}})}}{\sqrt{\unicode[STIX]{x1D6FE}}}.\end{eqnarray}$$
For
$z\in \mathbb{C}$
, we also define
$$\begin{eqnarray}\left.\begin{array}{@{}ccl@{}}\unicode[STIX]{x1D702}_{1}(z)\, & =\, & {\displaystyle \frac{3}{\sqrt{2}}}a^{2}\unicode[STIX]{x1D6FE}+{\displaystyle \frac{6a}{\sqrt{2}}}(1+a)|z|+{\displaystyle \frac{3a}{\unicode[STIX]{x1D6FE}\sqrt{2}}}\biggl(2+{\displaystyle \frac{a}{\sqrt{2}}}\biggr)|z|^{2},\\ \unicode[STIX]{x1D702}_{2}(z)\, & =\, & {\displaystyle \frac{3a}{\sqrt{2}}}(1+a)+{\displaystyle \frac{3a}{\unicode[STIX]{x1D6FE}\sqrt{2}}}\biggl(2+{\displaystyle \frac{a}{\sqrt{2}}}\biggr)|z|,\\ \unicode[STIX]{x1D702}_{3}(z)\, & =\, & {\displaystyle \frac{3a}{\sqrt{2}}}\biggl(1+{\displaystyle \frac{a}{\sqrt{2}}}\biggr)+{\displaystyle \frac{3a}{\unicode[STIX]{x1D6FE}\sqrt{2}}}\biggl(2+{\displaystyle \frac{a}{\sqrt{2}}}\biggr)|z|,\\ \unicode[STIX]{x1D702}_{4}(z)\, & =\, & {\displaystyle \frac{3a}{\unicode[STIX]{x1D6FE}\sqrt{2}}}\biggl(2+{\displaystyle \frac{a}{\sqrt{2}}}\biggr).\end{array}\right.\end{eqnarray}$$
Here
$a$
and
$\unicode[STIX]{x1D6FE}$
are respectively related to the aforementioned “size of commutator” and “spectral gap”, and
$z$
will play the role of a spectral parameter. Various applications of our main theorems will illustrate what the orders of magnitude of
$a$
and
$\unicode[STIX]{x1D6FE}$
can be.
Theorem 1.1. Let
$z\in \unicode[STIX]{x1D70C}(\widehat{\mathscr{L}})$
. If
$$\begin{eqnarray}1-\unicode[STIX]{x1D702}_{1}(z)\Vert (\widehat{\mathscr{L}}-z)^{-1}\Vert -\unicode[STIX]{x1D702}_{2}(z)>0,\end{eqnarray}$$
then
$z\in \unicode[STIX]{x1D70C}(\mathscr{L})$
and
$$\begin{eqnarray}\displaystyle & & \displaystyle \Vert (\mathscr{L}-z)^{-1}-(\widehat{\mathscr{L}}-z)^{-1}\Vert \nonumber\\ \displaystyle & & \displaystyle \quad \leqslant \unicode[STIX]{x1D702}_{1}(z)\Vert (\mathscr{L}-z)^{-1}\Vert \Vert (\widehat{\mathscr{L}}-z)^{-1}\Vert +\unicode[STIX]{x1D702}_{2}(z)\Vert (\mathscr{L}-z)^{-1}\Vert \nonumber\\ \displaystyle & & \displaystyle \qquad +\,\unicode[STIX]{x1D702}_{3}(z)\Vert (\widehat{\mathscr{L}}-z)^{-1}\Vert +\unicode[STIX]{x1D702}_{4}(z).\nonumber\end{eqnarray}$$
In particular,
$$\begin{eqnarray}\Vert (\mathscr{L}-z)^{-1}\Vert \leqslant \frac{(\unicode[STIX]{x1D702}_{3}(z)+1)\Vert (\widehat{\mathscr{L}}-z)^{-1}\Vert +\unicode[STIX]{x1D702}_{4}(z)}{1-\unicode[STIX]{x1D702}_{1}(z)\Vert (\widehat{\mathscr{L}}-z)^{-1}\Vert -\unicode[STIX]{x1D702}_{2}(z)}.\end{eqnarray}$$
In order to compare the resolvent of
$\mathscr{L}$
to the resolvent of
$\mathscr{L}_{\mathsf{eff}}$
, this theorem is completed by the following easy estimate.
Proposition 1.2. We have
$\mathsf{Sp}(\widehat{\mathscr{L}})=\mathsf{Sp}(\mathscr{L}_{\mathsf{eff}})\cup \mathsf{Sp}(\mathscr{L}^{\bot })$
and, for
$z\in \unicode[STIX]{x1D70C}(\widehat{\mathscr{L}})$
such that
$z\notin [\unicode[STIX]{x1D6FE},+\infty )$
,
$$\begin{eqnarray}\Vert (\widehat{\mathscr{L}}-z)^{-1}-(\mathscr{L}_{\mathsf{eff}}-z)^{-1}\unicode[STIX]{x1D6F1}\Vert \leqslant \frac{1}{\mathsf{dist}(z,[\unicode[STIX]{x1D6FE},+\infty ))}.\end{eqnarray}$$
In this estimate, it is implicit that
$(\mathscr{L}_{\mathsf{eff}}-z)^{-1}$
is composed on the left by the inclusion
$\unicode[STIX]{x1D6F1}{\mathcal{H}}\rightarrow {\mathcal{H}}$
.
Remark 1.3. These results cover a wide range of situations. In §3, we will discuss three paradigmatic applications. The space
$\unicode[STIX]{x1D6F4}$
will be
$\mathbb{R}$
or a submanifold of
$\mathbb{R}^{d}$
,
$d\geqslant 2$
. The set
${\mathcal{H}}_{s}$
is fixed, but the Hilbert structure thereon may depend on
$s$
. In our examples
$(T_{s})_{s\in \unicode[STIX]{x1D6F4}}$
is related to an analytic family of self-adjoint operators which are not necessarily non-negative. Nevertheless, under suitable assumptions, we can reduce ourselves to the non-negative case. Indeed, in our applications, we will consider a family
$(\tilde{T}_{s})_{s\in \unicode[STIX]{x1D6F4}}$
of operators bounded from below, independently of
$s\in \unicode[STIX]{x1D6F4}$
. Moreover, the bottom of the spectrum of
$\tilde{T}_{s}$
will be an isolated simple eigenvalue
$\tilde{\unicode[STIX]{x1D707}}_{1}(s)$
. Then we notice that
$\inf _{s\in \unicode[STIX]{x1D6F4}}\tilde{\unicode[STIX]{x1D707}}_{1}(s)$
is well defined and that
$T_{s}=\tilde{T}_{s}-\inf _{s\in \unicode[STIX]{x1D6F4}}\tilde{\unicode[STIX]{x1D707}}_{1}(s)$
is non-negative. We denote by
$u_{1}(s)$
a corresponding eigenfunction. We can assume that
${\Vert u_{1}(s)\Vert }_{{\mathcal{H}}}=1$
for all
$s\in \unicode[STIX]{x1D6F4}$
and that
$u_{1}$
is a smooth function of
$s$
.
$\unicode[STIX]{x1D6F1}_{s}$
is the projection on
$u_{1}(s)$
and
$\unicode[STIX]{x1D6F1}{\mathcal{H}}$
can be identified with
$L^{2}(\unicode[STIX]{x1D6F4})$
via the map
$\unicode[STIX]{x1D711}\mapsto (s\mapsto \unicode[STIX]{x1D711}(s)u_{1}(s))$
. In particular,
$\mathscr{L}_{\mathsf{eff}}$
can be seen as an operator on
$L^{2}(\unicode[STIX]{x1D6F4})$
, which is what is meant by the “reduction of dimension”. Finally,
$\unicode[STIX]{x1D6FE}_{s}$
is defined as the bottom
$\tilde{\unicode[STIX]{x1D707}}_{2}(s)-\inf _{s\in \unicode[STIX]{x1D6F4}}\tilde{\unicode[STIX]{x1D707}}_{1}(s)$
of the remaining part of the spectrum and
$$\begin{eqnarray}\unicode[STIX]{x1D6FE}=\inf _{s}\tilde{\unicode[STIX]{x1D707}}_{2}(s)-\inf _{s}\tilde{\unicode[STIX]{x1D707}}_{1}(s)\leqslant \inf \mathsf{Sp}\Bigl(\Bigl(\mathscr{L}-\inf _{s\in \unicode[STIX]{x1D6F4}}\tilde{\unicode[STIX]{x1D707}}_{1}(s)\Bigr)^{\bot }\Bigr).\end{eqnarray}$$
We recall that we assume the spectral gap condition
$\unicode[STIX]{x1D6FE}>0$
; see (1.2).
1.3 The Robin Laplacian in a shrinking layer as a non-self-adjoint application
We now consider a reduction of dimension result in a non-self-adjoint setting, namely the Robin Laplacian in a shrinking layer. Let
$d\geqslant 2$
. Here,
$\unicode[STIX]{x1D6F4}$
is an orientable smooth (compact or non-compact) hypersurface in
$\mathbb{R}^{d}$
without boundary. The orientation can be specified by a globally defined unit normal vector field
$n:\unicode[STIX]{x1D6F4}\rightarrow \mathbb{S}^{d-1}$
. Moreover,
$\unicode[STIX]{x1D6F4}$
is endowed with the Riemannian structure inherited from the Euclidean structure defined on
$\mathbb{R}^{d}$
. We assume that
$\unicode[STIX]{x1D6F4}$
admits a tubular neighbourhood, i.e. for
$\unicode[STIX]{x1D700}>0$
small enough the map
$$\begin{eqnarray}\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}:(s,t)\mapsto s+\unicode[STIX]{x1D700}tn(s)\end{eqnarray}$$
is injective on
$\overline{\unicode[STIX]{x1D6F4}}\times [-1,1]$
and defines a diffeomorphism from
$\unicode[STIX]{x1D6F4}\times (-1,1)$
to its image. We set
$$\begin{eqnarray}\unicode[STIX]{x1D6FA}=\unicode[STIX]{x1D6F4}\times (-1,1)\quad \text{and}\quad \unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}=\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D6FA}).\end{eqnarray}$$
Then
$\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}$
has the geometrical meaning of a non-self-intersecting layer delimited by the hypersurfaces
$$\begin{eqnarray}\unicode[STIX]{x1D6F4}_{\pm ,\unicode[STIX]{x1D700}}=\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D6F4}\times \{\pm 1\}).\end{eqnarray}$$
Moreover,
$\unicode[STIX]{x1D6F4}_{\pm ,\unicode[STIX]{x1D700}}$
can be identified with
$\unicode[STIX]{x1D6F4}$
via the diffeomorphisms
$$\begin{eqnarray}\unicode[STIX]{x1D6E9}_{\pm ,\unicode[STIX]{x1D700}}:\left\{\begin{array}{@{}ccc@{}}\unicode[STIX]{x1D6F4} & \rightarrow & \unicode[STIX]{x1D6F4}_{\pm ,\unicode[STIX]{x1D700}}\\ s & \mapsto & s\pm \unicode[STIX]{x1D700}n(s).\end{array}\right.\end{eqnarray}$$
Let
$\unicode[STIX]{x1D6FC}:\unicode[STIX]{x1D6F4}\rightarrow \mathbb{C}$
be a smooth bounded function. We set
$\unicode[STIX]{x1D6FC}_{\pm ,\unicode[STIX]{x1D700}}=\unicode[STIX]{x1D6FC}\circ \unicode[STIX]{x1D6E9}_{\pm ,\unicode[STIX]{x1D700}}^{-1}:\unicode[STIX]{x1D6F4}_{\pm ,\unicode[STIX]{x1D700}}\rightarrow \mathbb{C}$
and we consider on
$L^{2}(\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}})$
the closed operator
$\mathscr{P}_{\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FC}}$
(or simply
$\mathscr{P}_{\unicode[STIX]{x1D700}}$
if there is no risk of confusion) defined as the usual Laplace operator on
$\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}$
subject to the Robin boundary condition
$$\begin{eqnarray}\frac{\unicode[STIX]{x2202}u}{\unicode[STIX]{x2202}n}+\unicode[STIX]{x1D6FC}_{\pm ,\unicode[STIX]{x1D700}}u=0\quad \text{on }\unicode[STIX]{x1D6F4}_{\pm ,\unicode[STIX]{x1D700}}.\end{eqnarray}$$
Remark 1.4. Note that a very special choice of Robin boundary conditions is considered in this section. Indeed, the boundary-coupling functions considered on
$\unicode[STIX]{x1D6F4}_{+,\unicode[STIX]{x1D700}}$
and
$\unicode[STIX]{x1D6F4}_{-,\unicode[STIX]{x1D700}}$
are the same except for a switch of sign; see (4.1). More specifically,
$\unicode[STIX]{x1D6FC}_{\pm ,\unicode[STIX]{x1D700}}(s)=\unicode[STIX]{x1D6FC}(s)$
for every
$s\in \unicode[STIX]{x1D6F4}$
and
$n$
is an outward normal to
$\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}$
on one of the connected parts
$\unicode[STIX]{x1D6F4}_{\pm ,\unicode[STIX]{x1D700}}$
of the boundary
$\unicode[STIX]{x2202}\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}$
, while it is inward-pointing on the other boundary. This special choice is motivated by parity-time-symmetric waveguides [Reference Borisov and Krejčiřík1, Reference Borisov and Krejčiřík2] as well as by a self-adjoint analogue considered in [Reference Oliveira and Rossini16]. It is straightforward to extend the present procedure to the general situation of two different boundary-coupling functions on
$\unicode[STIX]{x1D6F4}_{+,\unicode[STIX]{x1D700}}$
and
$\unicode[STIX]{x1D6F4}_{-,\unicode[STIX]{x1D700}}$
, but then the effective operator will be
$\unicode[STIX]{x1D700}$
-dependent (by analogy with the Dirichlet boundary conditions; see Proposition 3.4) or a renormalization would be needed (cf. [Reference Krejčiřík and Šediváková12]).
Our purpose is to prove that, at the limit when
$\unicode[STIX]{x1D700}$
goes to 0, the operator
$\mathscr{P}_{\unicode[STIX]{x1D700}}$
converges in a norm-resolvent sense to a Schrödinger operator
$$\begin{eqnarray}\mathscr{L}_{\mathsf{eff}}=-\unicode[STIX]{x1D6E5}_{\unicode[STIX]{x1D6F4}}+V_{\mathsf{eff}},\end{eqnarray}$$
on
$\unicode[STIX]{x1D6F4}$
. Here
$-\unicode[STIX]{x1D6E5}_{\unicode[STIX]{x1D6F4}}$
is the Laplace–Beltrami operator on
$\unicode[STIX]{x1D6F4}$
, and the potential
$V_{\mathsf{eff}}$
depends both on the geometry of
$\unicode[STIX]{x1D6F4}$
and on the boundary condition. More precisely, we have
$$\begin{eqnarray}V_{\mathsf{eff}}=|\unicode[STIX]{x1D6FC}|^{2}-2\unicode[STIX]{x1D6FC}\,\text{Re}(\unicode[STIX]{x1D6FC})-\unicode[STIX]{x1D6FC}(\unicode[STIX]{x1D705}_{1}+\cdots +\unicode[STIX]{x1D705}_{d-1}).\end{eqnarray}$$
Note that the sum of the principal curvatures is proportional to the mean curvature of
$\unicode[STIX]{x1D6F4}$
.
It will appear later that the shrinking limit
$\unicode[STIX]{x1D700}\rightarrow 0$
strongly penalizes the normal derivative (independently of the boundary condition). Thus we consider
$\unicode[STIX]{x1D6F1}\in {\mathcal{L}}(L^{2}(\unicode[STIX]{x1D6FA}))$
the projection on functions which do not depend on
$t$
: for
$u\in L^{2}(\unicode[STIX]{x1D6FA})$
and
$(s,t)\in \unicode[STIX]{x1D6FA}$
, we set
$$\begin{eqnarray}(\unicode[STIX]{x1D6F1}u)(s,t)=\frac{1}{2}\int _{-1}^{1}u(s,\unicode[STIX]{x1D703})\,d\unicode[STIX]{x1D703}.\end{eqnarray}$$
Then we define
$\unicode[STIX]{x1D6F1}^{\bot }=\text{Id}-\unicode[STIX]{x1D6F1}$
.
Theorem 1.5. Let
$K$
be a compact subset of
$\unicode[STIX]{x1D70C}(H^{\mathsf{eff}})$
. Then there exist
$\unicode[STIX]{x1D700}_{0}>0$
and
$C\geqslant 0$
such that, for
$z\in K$
and
$\unicode[STIX]{x1D700}\in (0,\unicode[STIX]{x1D700}_{0})$
, we have
$z\in \unicode[STIX]{x1D70C}(H_{\unicode[STIX]{x1D700}})$
and
$$\begin{eqnarray}\Vert (\mathscr{P}_{\unicode[STIX]{x1D700}}-z)^{-1}-U_{\unicode[STIX]{x1D700}}^{-1}(\mathscr{L}_{\mathsf{eff}}-z)^{-1}\unicode[STIX]{x1D6F1}U_{\unicode[STIX]{x1D700}}\Vert _{{\mathcal{L}}(L^{2}(\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}))}\leqslant C\unicode[STIX]{x1D700}.\end{eqnarray}$$
Here
$U_{\unicode[STIX]{x1D700}}$
is a unitary transformation from
$L^{2}(\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}},dx)$
to
$L^{2}(\unicode[STIX]{x1D6FA},w_{\unicode[STIX]{x1D700}}(x)\,d\unicode[STIX]{x1D70E}\,dt)$
, where, for some
$C>1$
, we have,
$$\begin{eqnarray}\text{for all }\unicode[STIX]{x1D700}\in (0,\unicode[STIX]{x1D700}_{0}),~\text{for all }x\in \unicode[STIX]{x1D6FA},\quad \frac{1}{C}\leqslant |w_{\unicode[STIX]{x1D700}}(x)|\leqslant C.\end{eqnarray}$$
As for Theorem 1.1 it is implicit that the resolvent
$(\mathscr{L}_{\mathsf{eff}}-z)^{-1}$
is composed on the left by the inclusion
$\unicode[STIX]{x1D6F1}L^{2}(\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}})\rightarrow L^{2}(\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}})$
. Moreover, the operator
$\mathscr{L}_{\mathsf{eff}}$
on
$L^{2}(\unicode[STIX]{x1D6F4})$
has been identified with an operator on
$\unicode[STIX]{x1D6F1}L^{2}(\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}})$
.
Remark 1.6. In the geometrically trivial situation
$\unicode[STIX]{x1D6F4}=\mathbb{R}^{d-1}$
and special choice
$\text{Re}(\unicode[STIX]{x1D6FC})=0$
, a version of Theorem 1.5 was previously established in [Reference Borisov and Krejčiřík2]. At the same time, in the self-adjoint case
$\text{Im}(\unicode[STIX]{x1D6FC})=0$
and very special geometric setting
$d=1$
(
$\unicode[STIX]{x1D6F4}$
being a curve), a version of Theorem 1.5 is due to [Reference Oliveira and Rossini16]. In our general setting, it is interesting to see how the geometry enters the effective dynamics, through the mean curvature of
$\unicode[STIX]{x1D6F4}$
; see (1.11).
1.4 From variational estimates to norm-resolvent convergence
All the results of this paper are about estimates of the difference of resolvents of two operators. These estimates will be deduced from the corresponding estimates of the associated quadratic forms by the following general lemma.
Lemma 1.7. Let
${\mathcal{K}}$
be a Hilbert space. Let
${\mathcal{A}}$
and
$\widehat{{\mathcal{A}}}$
be two closed densely defined operators on
${\mathcal{K}}$
. Assume that
$\widehat{{\mathcal{A}}}$
is bijective and that there exist
$\unicode[STIX]{x1D702}_{1},\unicode[STIX]{x1D702}_{2},\unicode[STIX]{x1D702}_{3},\unicode[STIX]{x1D702}_{4}\geqslant 0$
such that
$1-\unicode[STIX]{x1D702}_{1}\Vert \widehat{{\mathcal{A}}}^{-1}\Vert -\unicode[STIX]{x1D702}_{2}>0$
and
$$\begin{eqnarray}\displaystyle & & \displaystyle \text{for all }\unicode[STIX]{x1D719}\in \mathsf{Dom}({\mathcal{A}}),\text{ for all }\unicode[STIX]{x1D713}\in \mathsf{Dom}(\widehat{{\mathcal{A}}}^{\ast }),\quad |\langle {\mathcal{A}}\unicode[STIX]{x1D719},\unicode[STIX]{x1D713}\rangle -\langle \unicode[STIX]{x1D719},\widehat{{\mathcal{A}}}^{\ast }\unicode[STIX]{x1D713}\rangle |\nonumber\\ \displaystyle & & \displaystyle \quad \leqslant \unicode[STIX]{x1D702}_{1}\Vert \unicode[STIX]{x1D719}\Vert \Vert \unicode[STIX]{x1D713}\Vert +\unicode[STIX]{x1D702}_{2}\Vert \unicode[STIX]{x1D719}\Vert \Vert \widehat{{\mathcal{A}}}^{\ast }\unicode[STIX]{x1D713}\Vert +\unicode[STIX]{x1D702}_{3}\Vert {\mathcal{A}}\unicode[STIX]{x1D719}\Vert \Vert \unicode[STIX]{x1D713}\Vert +\unicode[STIX]{x1D702}_{4}\Vert {\mathcal{A}}\unicode[STIX]{x1D719}\Vert \Vert \widehat{{\mathcal{A}}}^{\ast }\unicode[STIX]{x1D713}\Vert .\nonumber\end{eqnarray}$$
Then
${\mathcal{A}}$
is injective with closed range. If, moreover,
${\mathcal{A}}^{\ast }$
is injective, then
${\mathcal{A}}$
is bijective and we have the estimates
$$\begin{eqnarray}\Vert {\mathcal{A}}^{-1}\Vert \leqslant \frac{(\unicode[STIX]{x1D702}_{3}+1)\Vert \hat{{\mathcal{A}}}^{-1}\Vert +\unicode[STIX]{x1D702}_{4}}{1-\unicode[STIX]{x1D702}_{1}\Vert \widehat{{\mathcal{A}}}^{-1}\Vert -\unicode[STIX]{x1D702}_{2}}\end{eqnarray}$$
and
$$\begin{eqnarray}\Vert {\mathcal{A}}^{-1}-\widehat{{\mathcal{A}}}^{-1}\Vert \leqslant \unicode[STIX]{x1D702}_{1}\Vert {\mathcal{A}}^{-1}\Vert \Vert \widehat{{\mathcal{A}}}^{-1}\Vert +\unicode[STIX]{x1D702}_{2}\Vert {\mathcal{A}}^{-1}\Vert +\unicode[STIX]{x1D702}_{3}\Vert \widehat{{\mathcal{A}}}^{-1}\Vert +\unicode[STIX]{x1D702}_{4}.\end{eqnarray}$$
Since the proof is rather elementary, let us provide it now.
Proof. Let
$\unicode[STIX]{x1D719}\in \mathsf{Dom}({\mathcal{A}})$
and consider
$\unicode[STIX]{x1D713}=(\widehat{{\mathcal{A}}}^{-1})^{\ast }\unicode[STIX]{x1D719}\in \mathsf{Dom}(\widehat{{\mathcal{A}}}^{\ast })$
. We have
$$\begin{eqnarray}\displaystyle |\Vert \unicode[STIX]{x1D719}\Vert ^{2}-\langle {\mathcal{A}}\unicode[STIX]{x1D719},(\widehat{{\mathcal{A}}}^{-1})^{\ast }\unicode[STIX]{x1D719}\rangle | & = & \displaystyle |\langle \unicode[STIX]{x1D719},\widehat{{\mathcal{A}}}^{\ast }\unicode[STIX]{x1D713}\rangle -\langle {\mathcal{A}}\unicode[STIX]{x1D719},\unicode[STIX]{x1D713}\rangle |\nonumber\\ \displaystyle & {\leqslant} & \displaystyle (\unicode[STIX]{x1D702}_{1}\Vert \widehat{{\mathcal{A}}}^{-1}\Vert +\unicode[STIX]{x1D702}_{2})\Vert \unicode[STIX]{x1D719}\Vert ^{2}\nonumber\\ \displaystyle & & \displaystyle +\,(\unicode[STIX]{x1D702}_{3}\Vert \widehat{{\mathcal{A}}}^{-1}\Vert +\unicode[STIX]{x1D702}_{4})\Vert {\mathcal{A}}\unicode[STIX]{x1D719}\Vert \Vert \unicode[STIX]{x1D719}\Vert ,\nonumber\end{eqnarray}$$
so
$$\begin{eqnarray}\Vert \unicode[STIX]{x1D719}\Vert ^{2}\leqslant (\unicode[STIX]{x1D702}_{1}\Vert \hat{{\mathcal{A}}}^{-1}\Vert +\unicode[STIX]{x1D702}_{2})\Vert \unicode[STIX]{x1D719}\Vert ^{2}+((\unicode[STIX]{x1D702}_{3}+1)\Vert \hat{{\mathcal{A}}}^{-1}\Vert +\unicode[STIX]{x1D702}_{4})\Vert \unicode[STIX]{x1D719}\Vert \Vert {\mathcal{A}}\unicode[STIX]{x1D719}\Vert .\end{eqnarray}$$
Then if
$\unicode[STIX]{x1D702}_{1}\Vert \widehat{{\mathcal{A}}}^{-1}\Vert +\unicode[STIX]{x1D702}_{2}<1,$
we get
$$\begin{eqnarray}\Vert \unicode[STIX]{x1D719}\Vert \leqslant \frac{(\unicode[STIX]{x1D702}_{3}+1)\Vert \hat{{\mathcal{A}}}^{-1}\Vert +\unicode[STIX]{x1D702}_{4}}{1-\unicode[STIX]{x1D702}_{1}\Vert \widehat{{\mathcal{A}}}^{-1}\Vert -\unicode[STIX]{x1D702}_{2}}\Vert {\mathcal{A}}\unicode[STIX]{x1D719}\Vert .\end{eqnarray}$$
In particular,
${\mathcal{A}}$
is injective with closed range. If
${\mathcal{A}}^{\ast }$
is injective, the range of
${\mathcal{A}}$
is dense and thus
${\mathcal{A}}$
is bijective. In particular, with (1.13), we obtain (1.12).
Finally, for
$f,g\in {\mathcal{K}}$
,
$\unicode[STIX]{x1D719}={\mathcal{A}}^{-1}f$
and
$\unicode[STIX]{x1D713}=(\widehat{{\mathcal{A}}}^{-1})^{\ast }g$
, we have
$$\begin{eqnarray}\langle ({\mathcal{A}}^{-1}-\widehat{{\mathcal{A}}}^{-1})f,g\rangle =\langle \unicode[STIX]{x1D719},\widehat{{\mathcal{A}}}^{\ast }\unicode[STIX]{x1D713}\rangle -\langle {\mathcal{A}}\unicode[STIX]{x1D719},\unicode[STIX]{x1D713}\rangle ,\end{eqnarray}$$
and the conclusion follows by easy manipulations. ◻
1.5 Organization of the paper
In §2 we prove Theorem 1.1. We first define the operators
$\mathscr{L}$
,
$\widehat{\mathscr{L}}$
and
$\mathscr{L}_{\mathsf{eff}}$
, and then we show how Lemma 1.7 can be applied. In §3 we discuss some applications of Theorem 1.1 to the semiclassical Born–Oppenheimer approximation, the Dirichlet Laplacian on a shrinking tubular neighbourhood of a hypersurface and the Robin Laplacian in the large coupling limit. Section 4 is devoted to the proof of Theorem 1.5 about the non-self-adjoint Robin Laplacian on a shrinking layer.
2 Abstract reduction of dimension
In this section we describe more precisely the setting introduced in §1.2 and we prove Theorem 1.1. The applications will be given in the following section.
2.1 Definition of the effective operator
Let
$(\unicode[STIX]{x1D6F4},\unicode[STIX]{x1D70E})$
be a measure space. For each
$s\in \unicode[STIX]{x1D6F4}$
we consider a separable complex Hilbert space
${\mathcal{H}}_{s}$
. Then on
${\mathcal{H}}_{s}$
we consider a closed symmetric non-negative sesquilinear form
$q_{s}$
with dense domain
$\mathsf{Dom}(q_{s})$
. We denote by
$T_{s}$
the corresponding self-adjoint and non-negative operator, as given by the representation theorem. As already said in §1.2, we consider a function
$s\in \unicode[STIX]{x1D6F4}\mapsto \unicode[STIX]{x1D6FE}_{s}\in \mathbb{R}$
whose infimum is positive; see (1.2). Then we denote by
$\unicode[STIX]{x1D6F1}_{s}\in {\mathcal{L}}({\mathcal{H}}_{s})$
the spectral projection of
$T_{s}$
on
$[0,\unicode[STIX]{x1D6FE}_{s})$
, and we set
$\unicode[STIX]{x1D6F1}_{s}^{\bot }=\text{Id}_{{\mathcal{H}}_{s}}-\unicode[STIX]{x1D6F1}_{s}$
.
We denote by
${\mathcal{H}}$
the subset of
$\bigoplus _{s\in \unicode[STIX]{x1D6F4}}{\mathcal{H}}_{s}$
which consists of all
$\unicode[STIX]{x1D6F7}=(\unicode[STIX]{x1D6F7}_{s})_{s\in \unicode[STIX]{x1D6F4}}$
such that the functions
$s\mapsto {\Vert \unicode[STIX]{x1D6F7}_{s}\Vert }_{{\mathcal{H}}_{s}}$
and
$s\mapsto {\Vert \unicode[STIX]{x1D6F1}_{s}\unicode[STIX]{x1D6F7}_{s}\Vert }_{{\mathcal{H}}_{s}}$
are measurable on
$\unicode[STIX]{x1D6F4}$
and
$$\begin{eqnarray}\Vert \unicode[STIX]{x1D6F7}\Vert ^{2}=\int _{\unicode[STIX]{x1D6F4}}\Vert \unicode[STIX]{x1D6F7}_{s}\Vert _{{\mathcal{H}}_{s}}^{2}\,d\unicode[STIX]{x1D70E}(s)<+\infty .\end{eqnarray}$$
It is endowed with the Hilbert structure given by this norm. We denote by
$\unicode[STIX]{x1D6F1}$
the bounded operator on
${\mathcal{H}}$
such that for
$\unicode[STIX]{x1D6F7}\in {\mathcal{H}}$
and
$s\in \unicode[STIX]{x1D6F4}$
we have
$(\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7})_{s}=\unicode[STIX]{x1D6F1}_{s}\unicode[STIX]{x1D6F7}_{s}$
. We similarly define
$\unicode[STIX]{x1D6F1}^{\bot }\in {\mathcal{L}}({\mathcal{H}})$
.
The forms
$q_{s}$
on
${\mathcal{H}}_{s}$
define a quadratic form
$Q_{T}$
on
${\mathcal{H}}$
as follows. We say that
$\unicode[STIX]{x1D6F7}=(\unicode[STIX]{x1D6F7}_{s})_{s\in \unicode[STIX]{x1D6F4}}\in {\mathcal{H}}$
belongs to
$\mathsf{Dom}(Q_{T})$
if
$\unicode[STIX]{x1D6F7}_{s}$
belongs to
$\mathsf{Dom}(q_{s})$
for all
$s\in \unicode[STIX]{x1D6F4}$
, the functions
$s\mapsto q_{s}(\unicode[STIX]{x1D6F7}_{s})$
and
$s\mapsto q_{s}(\unicode[STIX]{x1D6F1}_{s}\unicode[STIX]{x1D6F7}_{s})$
are measurable on
$\unicode[STIX]{x1D6F4}$
and
$$\begin{eqnarray}Q_{T}(\unicode[STIX]{x1D6F7})=\int _{\unicode[STIX]{x1D6F4}}q_{s}(\unicode[STIX]{x1D6F7}_{s})\,d\unicode[STIX]{x1D70E}(s)<+\infty .\end{eqnarray}$$
We consider on
${\mathcal{H}}$
an operator
$S$
with dense domain
$\mathsf{Dom}(S)$
. We assume that
$\mathsf{Dom}(S)$
is invariant under
$\unicode[STIX]{x1D6F1}$
, that
$[S,\unicode[STIX]{x1D6F1}]$
extends to a bounded operator on
${\mathcal{H}}$
, and we define
$a$
as in (1.5). We assume that
$$\begin{eqnarray}\mathsf{Dom}(Q)=\mathsf{Dom}(S)\cap \mathsf{Dom}(Q_{T})\end{eqnarray}$$
is dense in
${\mathcal{H}}$
, and for
$\unicode[STIX]{x1D6F7}\in \mathsf{Dom}(Q)$
we set
$$\begin{eqnarray}Q(\unicode[STIX]{x1D6F7})=\Vert S\unicode[STIX]{x1D6F7}\Vert ^{2}+Q_{T}(\unicode[STIX]{x1D6F7}).\end{eqnarray}$$
We assume that
$Q$
defines a closed form on
${\mathcal{H}}$
. The form
$Q$
is symmetric and non-negative and the associated operator is the operator
$\mathscr{L}$
introduced in (1.1).
Then we define the operator
$\widehat{\mathscr{L}}$
(see (1.4)) by its form. For this we need to verify that the form domain is left invariant both by
$\unicode[STIX]{x1D6F1}$
and
$\unicode[STIX]{x1D6F1}^{\bot }$
.
Lemma 2.1. For all
$\unicode[STIX]{x1D6F7}\in \mathsf{Dom}(Q)$
, we have
$\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7}\in \mathsf{Dom}(Q)$
and
$\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\in \mathsf{Dom}(Q)$
.
Proof. Let
$\unicode[STIX]{x1D6F7}=(\unicode[STIX]{x1D6F7}_{s})_{s\in \unicode[STIX]{x1D6F4}}\in \mathsf{Dom}(Q)$
. We have
$\unicode[STIX]{x1D6F7}\in \mathsf{Dom}(S)$
, so by assumption we have
$\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7}\in \mathsf{Dom}(S)$
. By assumption again, the function
$s\mapsto q_{s}(\unicode[STIX]{x1D6F1}_{s}\unicode[STIX]{x1D6F7}_{s})=q_{s}(\unicode[STIX]{x1D6F1}_{s}\unicode[STIX]{x1D6F1}_{s}\unicode[STIX]{x1D6F7}_{s})$
is measurable and we have
$$\begin{eqnarray}\int _{\unicode[STIX]{x1D6F4}}q_{s}(\unicode[STIX]{x1D6F1}_{s}\unicode[STIX]{x1D6F7}_{s})\,d\unicode[STIX]{x1D70E}(s)\leqslant \sup _{s\in \unicode[STIX]{x1D6F4}}\unicode[STIX]{x1D6FE}_{s}\int _{\unicode[STIX]{x1D6F4}}\Vert \unicode[STIX]{x1D6F7}_{s}\Vert _{{\mathcal{H}}_{s}}^{2}\,d\unicode[STIX]{x1D70E}(s)<+\infty .\end{eqnarray}$$
This proves that
$\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7}$
belongs to
$\mathsf{Dom}(Q_{T})$
, and hence to
$\mathsf{Dom}(Q)$
. Then the same holds for
$\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}=\unicode[STIX]{x1D6F7}-\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7}$
.◻
With this lemma we can set, for
$\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F9}\in \mathsf{Dom}(Q)$
,
$$\begin{eqnarray}\widehat{Q}(\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F9})=Q(\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F9})+Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F9}).\end{eqnarray}$$
Lemma 2.2. For all
$\unicode[STIX]{x1D6F7}\in \mathsf{Dom}(\widehat{Q})$
, we have
$$\begin{eqnarray}Q(\unicode[STIX]{x1D6F7})\leqslant 2\widehat{Q}(\unicode[STIX]{x1D6F7}).\end{eqnarray}$$
In particular, the form
$\widehat{Q}$
is non-negative, closed, and determines uniquely a self-adjoint operator
$\widehat{\mathscr{L}}$
on
${\mathcal{H}}$
. Moreover, we have
$[\unicode[STIX]{x1D6F1},\widehat{\mathscr{L}}]=0$
on
$\mathsf{Dom}(\widehat{\mathscr{L}})$
.
Proof. We have
$$\begin{eqnarray}Q(\unicode[STIX]{x1D6F7})-\widehat{Q}(\unicode[STIX]{x1D6F7})=Q(\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7})+Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7}).\end{eqnarray}$$
Since the form
$Q$
is non-negative we can apply the Cauchy–Schwarz inequality to write
$$\begin{eqnarray}Q(\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7})\leqslant \sqrt{Q(\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7})}\sqrt{Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7})}\leqslant {\textstyle \frac{1}{2}}(Q(\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7})+Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}))={\textstyle \frac{1}{2}}\widehat{Q}(\unicode[STIX]{x1D6F7}).\end{eqnarray}$$
We have the same estimate for
$Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7})$
, and the first conclusions follow. We just check the last property about the commutator. Let
$\unicode[STIX]{x1D713}\in \mathsf{Dom}(\widehat{\mathscr{L}})$
. For all
$\unicode[STIX]{x1D719}\in \mathsf{Dom}(\widehat{\mathscr{L}})$
, we have
$$\begin{eqnarray}\widehat{Q}(\unicode[STIX]{x1D719},\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D713})=Q(\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D719},\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D713})=\widehat{Q}(\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D719},\unicode[STIX]{x1D713})=\langle \unicode[STIX]{x1D6F1}\unicode[STIX]{x1D719},\widehat{\mathscr{L}}\unicode[STIX]{x1D713}\rangle _{{\mathcal{H}}}=\langle \unicode[STIX]{x1D719},\unicode[STIX]{x1D6F1}\widehat{\mathscr{L}}\unicode[STIX]{x1D713}\rangle _{{\mathcal{H}}}.\end{eqnarray}$$
This proves that
$\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D713}\in \mathsf{Dom}(\widehat{\mathscr{L}})$
with
$\widehat{\mathscr{L}}\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D713}=\unicode[STIX]{x1D6F1}\widehat{\mathscr{L}}\unicode[STIX]{x1D713}$
and the proof is complete.◻
Then from
$\widehat{Q}$
it is easy to define the forms corresponding to the operators
$\mathscr{L}_{\mathsf{eff}}$
and
$\mathscr{L}^{\bot }$
.
Lemma 2.3. Let
$Q_{\mathsf{eff}}$
be the restriction of
$Q$
to
$\unicode[STIX]{x1D6F1}\mathsf{Dom}(Q)=\text{Ran}(\unicode[STIX]{x1D6F1})\cap \mathsf{Dom}(Q)$
. Then
$Q_{\mathsf{eff}}$
is non-negative and closed. The associated operator
$\mathscr{L}_{\mathsf{eff}}$
is self-adjoint, its domain is invariant under
$\unicode[STIX]{x1D6F1}$
, and
$[\unicode[STIX]{x1D6F1},\mathscr{L}_{\mathsf{eff}}]=0$
on
$\mathsf{Dom}(\mathscr{L}_{\mathsf{eff}})$
. Moreover, we have
$(\mathsf{Dom}(\widehat{\mathscr{L}})\cap \text{Ran}(\unicode[STIX]{x1D6F1}),\widehat{\mathscr{L}})=(\mathsf{Dom}(\mathscr{L}_{\mathsf{eff}}),\mathscr{L}_{\mathsf{eff}})$
.
We have similar statements for the restriction
$Q_{\bot }$
of
$Q$
to
$\unicode[STIX]{x1D6F1}^{\bot }\mathsf{Dom}(Q)=\text{Ran}(\unicode[STIX]{x1D6F1}^{\bot })\cap \mathsf{Dom}(Q)$
and the corresponding operator
$\mathscr{L}^{\bot }$
.
Proof. The closedness of
$Q_{\mathsf{eff}}$
comes from the closedness of
$Q$
and the continuity of
$\unicode[STIX]{x1D6F1}$
. The other properties are proved as for Lemma 2.2. We prove the last assertion. Let
$\unicode[STIX]{x1D713}\in \mathsf{Dom}(\mathscr{L}_{\mathsf{eff}})$
. By definition of this domain we have
$\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D713}=\unicode[STIX]{x1D713}$
. For
$\unicode[STIX]{x1D719}\in \mathsf{Dom}(\widehat{Q})$
, we have
$$\begin{eqnarray}\displaystyle \widehat{Q}(\unicode[STIX]{x1D719},\unicode[STIX]{x1D713}) & = & \displaystyle Q(\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D719},\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D713})=Q_{\mathsf{eff}}(\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D719},\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D713})=Q_{\mathsf{eff}}(\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D719},\unicode[STIX]{x1D713})\nonumber\\ \displaystyle & = & \displaystyle \langle \unicode[STIX]{x1D6F1}\unicode[STIX]{x1D719},\mathscr{L}_{\mathsf{eff}}\unicode[STIX]{x1D713}\rangle =\langle \unicode[STIX]{x1D719},\mathscr{L}_{\mathsf{eff}}\unicode[STIX]{x1D713}\rangle .\nonumber\end{eqnarray}$$
This proves that
$\unicode[STIX]{x1D713}\in \mathsf{Dom}(\widehat{\mathscr{L}})$
and
$\mathscr{L}_{\mathsf{eff}}\unicode[STIX]{x1D713}=\widehat{\mathscr{L}}\unicode[STIX]{x1D713}$
. Thus
$\mathsf{Dom}(\mathscr{L}_{\mathsf{eff}})\subset \mathsf{Dom}(\widehat{\mathscr{L}})\cap \text{Ran}(\unicode[STIX]{x1D6F1})$
and
$\widehat{\mathscr{L}}=\mathscr{L}_{\mathsf{eff}}$
on
$\mathsf{Dom}(\mathscr{L}_{\mathsf{eff}})$
. The reverse inclusion
$\mathsf{Dom}(\widehat{\mathscr{L}})\cap \text{Ran}(\unicode[STIX]{x1D6F1})\subset \mathsf{Dom}(\mathscr{L}_{\mathsf{eff}})$
is easy, so the proof is complete.◻
Finally, we have proved that
$$\begin{eqnarray}\displaystyle \mathsf{Dom}(\widehat{\mathscr{L}}) & = & \displaystyle (\mathsf{Dom}(\widehat{\mathscr{L}})\cap \text{Ran}(\unicode[STIX]{x1D6F1}))\oplus (\mathsf{Dom}(\widehat{\mathscr{L}})\cap \text{Ran}(\unicode[STIX]{x1D6F1}^{\bot }))\nonumber\\ \displaystyle & = & \displaystyle \mathsf{Dom}(\mathscr{L}_{\mathsf{eff}})\oplus \mathsf{Dom}(\mathscr{L}^{\bot }),\nonumber\end{eqnarray}$$
and for
$\unicode[STIX]{x1D711}\in \mathsf{Dom}(\widehat{\mathscr{L}})$
we have
$$\begin{eqnarray}\widehat{\mathscr{L}}\unicode[STIX]{x1D711}=\mathscr{L}_{\mathsf{eff}}\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D711}+\mathscr{L}^{\bot }\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D711}.\end{eqnarray}$$
From the spectral theorem and
$\mathsf{Sp}(\mathscr{L}^{\bot })\subset [\unicode[STIX]{x1D6FE},+\infty )$
, we deduce the following lemma.
Lemma 2.4. We have
$\mathsf{Sp}(\widehat{\mathscr{L}})=\mathsf{Sp}(\mathscr{L}_{\mathsf{eff}})\cup \mathsf{Sp}(\mathscr{L}^{\bot })$
and, for
$z\in \unicode[STIX]{x1D70C}(\widehat{\mathscr{L}})$
such that
$z\notin [\unicode[STIX]{x1D6FE},+\infty )$
,
$$\begin{eqnarray}\Vert (\widehat{\mathscr{L}}-z)^{-1}-(\mathscr{L}_{\mathsf{eff}}-z)^{-1}\unicode[STIX]{x1D6F1}\Vert \leqslant \frac{1}{\mathsf{dist}(z,[\unicode[STIX]{x1D6FE},+\infty ))}.\end{eqnarray}$$
2.2 Comparison of the resolvents
This section is devoted to the proof of the following theorem which implies Theorem 1.1 via Lemma 1.7.
Theorem 2.5. Let
$\mathscr{L}$
and
$\widehat{\mathscr{L}}$
be as above. Let
$z\in \mathbb{C}$
and
$\unicode[STIX]{x1D702}_{1}(z),\unicode[STIX]{x1D702}_{2}(z),\unicode[STIX]{x1D702}_{3}(z),\unicode[STIX]{x1D702}_{4}(z)$
be as in (1.6). Then, for
$\unicode[STIX]{x1D6F7}\in \mathsf{Dom}(\mathscr{L})$
and
$\unicode[STIX]{x1D6F9}\in \mathsf{Dom}(\widehat{\mathscr{L}}^{\ast })$
, we have
$$\begin{eqnarray}\displaystyle |Q(\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F9})-\widehat{Q}(\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F9})| & {\leqslant} & \displaystyle \unicode[STIX]{x1D702}_{1}(z)\Vert \unicode[STIX]{x1D6F7}\Vert \Vert \unicode[STIX]{x1D6F9}\Vert +\unicode[STIX]{x1D702}_{2}(z)\Vert \unicode[STIX]{x1D6F7}\Vert \Vert (\widehat{\mathscr{L}}-\bar{z})\unicode[STIX]{x1D6F9}\Vert \nonumber\\ \displaystyle & & \displaystyle +\,\unicode[STIX]{x1D702}_{3}(z)\Vert (\mathscr{L}-z)\unicode[STIX]{x1D6F7}\Vert \Vert \unicode[STIX]{x1D6F9}\Vert \nonumber\\ \displaystyle & & \displaystyle +\,\unicode[STIX]{x1D702}_{4}(z)\Vert (\mathscr{L}-z)\unicode[STIX]{x1D6F7}\Vert \Vert (\widehat{\mathscr{L}}-\bar{z})\unicode[STIX]{x1D6F9}\Vert .\nonumber\end{eqnarray}$$
Theorem 2.5 is a consequence of the following proposition after inserting
$z$
and using the triangular inequality.
Proposition 2.6. For all
$\unicode[STIX]{x1D6F7}\in \mathsf{Dom}(\mathscr{L})$
and
$\unicode[STIX]{x1D6F9}\in \mathsf{Dom}(\widehat{\mathscr{L}})$
, we have
$$\begin{eqnarray}\displaystyle \frac{1}{\unicode[STIX]{x1D6FE}}|Q(\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F9})-\widehat{Q}(\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F9})| & {\leqslant} & \displaystyle \frac{3a}{\sqrt{2}}\biggl(\Vert \unicode[STIX]{x1D6F7}\Vert +\frac{\Vert \mathscr{L}\unicode[STIX]{x1D6F7}\Vert }{\unicode[STIX]{x1D6FE}}\biggr)\frac{\Vert \widehat{\mathscr{L}}\unicode[STIX]{x1D6F9}\Vert }{\unicode[STIX]{x1D6FE}}\nonumber\\ \displaystyle & & \displaystyle +\,\frac{3a}{\sqrt{2}}\biggl(a\Vert \unicode[STIX]{x1D6F7}\Vert +\biggl(1+\frac{a}{\sqrt{2}}\biggr)\frac{\Vert \mathscr{L}\unicode[STIX]{x1D6F7}\Vert }{\unicode[STIX]{x1D6FE}}\biggr)\nonumber\\ \displaystyle & & \displaystyle \times \,\biggl(\Vert \unicode[STIX]{x1D6F9}\Vert +\frac{\Vert \widehat{\mathscr{L}}\unicode[STIX]{x1D6F9}\Vert }{\unicode[STIX]{x1D6FE}}\biggr).\nonumber\end{eqnarray}$$
Proof. Let
$\unicode[STIX]{x1D708}=\Vert [S,\unicode[STIX]{x1D6F1}]\Vert$
. We have
$$\begin{eqnarray}Q(\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F9})-\widehat{Q}(\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F9})=Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F9})+Q(\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F9}).\end{eqnarray}$$
For the first term we write
$$\begin{eqnarray}Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F9})=\langle S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7},S\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F9}\rangle =\langle S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7},[S,\unicode[STIX]{x1D6F1}]\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F9}\rangle +\langle S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F1}S\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F9}\rangle ,\end{eqnarray}$$
so that
$$\begin{eqnarray}Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F9})=\langle S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7},[S,\unicode[STIX]{x1D6F1}]\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F9}\rangle +\langle [S,\unicode[STIX]{x1D6F1}^{\bot }]\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F1}S\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F9}\rangle .\end{eqnarray}$$
We deduce that
$$\begin{eqnarray}|Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F9})|\leqslant \unicode[STIX]{x1D708}\Vert S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert \Vert \unicode[STIX]{x1D6F9}\Vert +\unicode[STIX]{x1D708}\Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert \Vert S\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F9}\Vert .\end{eqnarray}$$
Similarly, by slightly breaking the symmetry, we get
$$\begin{eqnarray}|Q(\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F9})|\leqslant \unicode[STIX]{x1D708}\Vert S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F9}\Vert \Vert \unicode[STIX]{x1D6F7}\Vert +\unicode[STIX]{x1D708}\Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F9}\Vert \Vert S\unicode[STIX]{x1D6F7}\Vert .\end{eqnarray}$$
We infer that
$$\begin{eqnarray}\displaystyle |Q(\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F9})-\widehat{Q}(\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F9})| & {\leqslant} & \displaystyle \unicode[STIX]{x1D708}\Vert S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert \Vert \unicode[STIX]{x1D6F9}\Vert +\unicode[STIX]{x1D708}\Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert \Vert S\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F9}\Vert \nonumber\\ \displaystyle & & \displaystyle +\,\unicode[STIX]{x1D708}\Vert S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F9}\Vert \Vert \unicode[STIX]{x1D6F7}\Vert +\unicode[STIX]{x1D708}\Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F9}\Vert \Vert S\unicode[STIX]{x1D6F7}\Vert .\end{eqnarray}$$
Since
$Q_{T}$
is non-negative, we have
$$\begin{eqnarray}\Vert S\unicode[STIX]{x1D6F7}\Vert ^{2}\leqslant Q(\unicode[STIX]{x1D6F7})\leqslant \Vert \mathscr{L}\unicode[STIX]{x1D6F7}\Vert \Vert \unicode[STIX]{x1D6F7}\Vert .\end{eqnarray}$$
Similarly,
$$\begin{eqnarray}\Vert S\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F9}\Vert ^{2}\leqslant \widehat{Q}(\unicode[STIX]{x1D6F9})\leqslant \Vert \widehat{\mathscr{L}}\unicode[STIX]{x1D6F9}\Vert \Vert \unicode[STIX]{x1D6F9}\Vert .\end{eqnarray}$$
Then we estimate
$\Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert$
and
$\Vert S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert$
. We have
$$\begin{eqnarray}\langle \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7},\mathscr{L}\unicode[STIX]{x1D6F7}\rangle =Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F7})=Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7})+Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7}),\end{eqnarray}$$
and deduce
$$\begin{eqnarray}Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7})\leqslant \Vert \mathscr{L}\unicode[STIX]{x1D6F7}\Vert \Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert +|Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7},\unicode[STIX]{x1D6F1}\unicode[STIX]{x1D6F7})|.\end{eqnarray}$$
From (2.3), we get
$$\begin{eqnarray}Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7})\leqslant \Vert \mathscr{L}\unicode[STIX]{x1D6F7}\Vert \Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert +\unicode[STIX]{x1D708}\Vert S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert \Vert \unicode[STIX]{x1D6F7}\Vert +\unicode[STIX]{x1D708}\Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert \Vert S\unicode[STIX]{x1D6F7}\Vert .\end{eqnarray}$$
Moreover, we have
$$\begin{eqnarray}Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7})\geqslant \Vert S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert ^{2}+\unicode[STIX]{x1D6FE}\Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert ^{2}.\end{eqnarray}$$
We infer that
$$\begin{eqnarray}\displaystyle \Vert S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert ^{2}+\unicode[STIX]{x1D6FE}\Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert ^{2} & {\leqslant} & \displaystyle \frac{\unicode[STIX]{x1D6FE}}{4}\Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert ^{2}+\frac{1}{\unicode[STIX]{x1D6FE}}\Vert \mathscr{L}\unicode[STIX]{x1D6F7}\Vert ^{2}+\frac{1}{2}\Vert S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert ^{2}+\frac{\unicode[STIX]{x1D708}^{2}}{2}\Vert \unicode[STIX]{x1D6F7}\Vert ^{2}\nonumber\\ \displaystyle & & \displaystyle +\,\frac{\unicode[STIX]{x1D6FE}}{4}\Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert ^{2}+\frac{\unicode[STIX]{x1D708}^{2}}{\unicode[STIX]{x1D6FE}}\Vert S\unicode[STIX]{x1D6F7}\Vert ^{2}.\nonumber\end{eqnarray}$$
Using (2.5) we deduce that
$$\begin{eqnarray}\frac{1}{2}(\Vert S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert ^{2}+\unicode[STIX]{x1D6FE}\Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert ^{2})\leqslant \frac{1}{\unicode[STIX]{x1D6FE}}\Vert \mathscr{L}\unicode[STIX]{x1D6F7}\Vert ^{2}+\frac{\unicode[STIX]{x1D708}^{2}}{2}\Vert \unicode[STIX]{x1D6F7}\Vert ^{2}+\frac{\unicode[STIX]{x1D708}^{2}}{2}\biggl(\frac{\Vert \mathscr{L}\unicode[STIX]{x1D6F7}\Vert ^{2}}{\unicode[STIX]{x1D6FE}^{2}}+\Vert \unicode[STIX]{x1D6F7}\Vert ^{2}\biggr),\end{eqnarray}$$
and thus
$$\begin{eqnarray}\frac{\Vert S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert ^{2}}{\unicode[STIX]{x1D6FE}}+\Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F7}\Vert ^{2}\leqslant (2+a^{2})\frac{\Vert \mathscr{L}\unicode[STIX]{x1D6F7}\Vert ^{2}}{\unicode[STIX]{x1D6FE}^{2}}+2a^{2}\Vert \unicode[STIX]{x1D6F7}\Vert ^{2}.\end{eqnarray}$$
Let us now consider
$\Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F9}\Vert$
and
$\Vert S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F9}\Vert$
. We have easily that
$$\begin{eqnarray}\Vert S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F9}\Vert ^{2}+\unicode[STIX]{x1D6FE}\Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F9}\Vert ^{2}\leqslant Q(\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F9})=\widehat{Q}(\unicode[STIX]{x1D6F9},\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F9})\leqslant \Vert \widehat{\mathscr{L}}\unicode[STIX]{x1D6F9}\Vert \Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F9}\Vert ,\end{eqnarray}$$
and thus
$$\begin{eqnarray}\frac{\Vert S\unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F9}\Vert ^{2}}{\unicode[STIX]{x1D6FE}}+\Vert \unicode[STIX]{x1D6F1}^{\bot }\unicode[STIX]{x1D6F9}\Vert ^{2}\leqslant \frac{\Vert \widehat{\mathscr{L}}\unicode[STIX]{x1D6F9}\Vert ^{2}}{\unicode[STIX]{x1D6FE}^{2}}.\end{eqnarray}$$
It remains to combine (2.4)–(2.8), and use elementary manipulations. ◻
3 Examples of applications
In this section we discuss three applications of Theorem 1.1 and we recall that we are in the context of Remark 1.3.
3.1 Semiclassical Born–Oppenheimer approximation
In this first example we set
$(\unicode[STIX]{x1D6F4},\unicode[STIX]{x1D70E})=(\mathbb{R},ds)$
. We consider a Hilbert space
${\mathcal{H}}_{T}$
and set
${\mathcal{H}}=L^{2}(\mathbb{R},{\mathcal{H}}_{T})$
. Then, for
$h>0$
, we consider the operator
$S_{h}=hD_{s}$
on
${\mathcal{H}}$
, where
$D_{s}=-i\unicode[STIX]{x2202}_{s}$
. We also consider an operator
$T$
on
${\mathcal{H}}$
such that for
$\unicode[STIX]{x1D6F7}=(\unicode[STIX]{x1D6F7}_{s})_{s\in \mathbb{R}}\in {\mathcal{H}}$
we have
$(T\unicode[STIX]{x1D6F7})_{s}=T_{s}\unicode[STIX]{x1D6F7}_{s}$
, where
$(T_{s})$
is a family of operators on the family of Hilbert spaces
$({\mathcal{H}}_{s})$
which depends analytically on
$s$
. Thus the operator
$\mathscr{L}=\mathscr{L}_{h}$
takes the form
$$\begin{eqnarray}\mathscr{L}_{h}=h^{2}D_{s}^{2}+T.\end{eqnarray}$$
Operators of this kind appear in [Reference Lampart and Teufel13, Reference Lampart and Teufel14] where their spectral and dynamical behaviours are analysed. As an example of operator
$T$
, the reader may have the Schrödinger operator
$-\unicode[STIX]{x1D6E5}_{t}+V(s,t)$
in mind, where the electric potential
$V$
is assumed to be real-valued. Here the operator norm of the commutator
$[hD_{s},\unicode[STIX]{x1D6F1}]$
is controlled by
$h$
times the supremum of
$\Vert \unicode[STIX]{x2202}_{s}u_{1}(s)\Vert _{{\mathcal{H}}}$
. Assuming that
$\Vert \unicode[STIX]{x2202}_{s}u_{1}(s)\Vert _{{\mathcal{H}}}$
is bounded, we have
$a=a(h)={\mathcal{O}}(h)$
; see (1.5). Let us also assume, for our convenience, that
$\unicode[STIX]{x1D707}_{1}$
has a unique minimum, non-degenerate and not attained at infinity. Without loss of generality we can assume that this minimum is 0 and is attained at
$0$
. Thus, here
$\unicode[STIX]{x1D6FE}$
just satisfies
$\unicode[STIX]{x1D6FE}=\inf _{s\in \mathbb{R}}\unicode[STIX]{x1D707}_{2}(s)>0$
.
For
$k\in \mathbb{N}^{\ast }$
we set
$$\begin{eqnarray}\unicode[STIX]{x1D706}_{k}(h)=\sup _{\substack{ F\subset \mathsf{ Dom }(\mathscr{L}_{h}) \\ \text{codim}(F)=k-1}}\inf _{\substack{ \unicode[STIX]{x1D711}\in F \\ \Vert \unicode[STIX]{x1D711}\Vert =1}}\langle \mathscr{L}_{h}\unicode[STIX]{x1D711},\unicode[STIX]{x1D711}\rangle .\end{eqnarray}$$
By the min–max principle, the first values of
$\unicode[STIX]{x1D706}_{k}(h)$
are given by the non-decreasing sequence of isolated eigenvalues of
$\mathscr{L}_{h}$
(counted with multiplicities) below the essential spectrum. If there are a finite number of such eigenvalues, the rest of the sequence is given by the minimum of the essential spectrum. We similarly define the sequence
$(\unicode[STIX]{x1D706}_{\mathsf{eff},k}(h))$
corresponding to the operator
$\mathscr{L}_{h,\mathsf{eff}}$
. Note that
$\mathscr{L}_{h,\mathsf{eff}}$
can be identified with the operator
$$\begin{eqnarray}h^{2}D_{s}^{2}+\unicode[STIX]{x1D707}_{1}(s)+h^{2}\Vert \unicode[STIX]{x2202}_{s}u_{1}(s)\Vert _{{\mathcal{H}}_{T}}^{2}.\end{eqnarray}$$
As a consequence of the harmonic approximation (see, for instance, [Reference Fournais and Helffer4, Ch. 7] or [Reference Raymond18, §4.3.1]), we get the following asymptotics.
Proposition 3.1. Let
$k\in \mathbb{N}^{\ast }$
. We have
$$\begin{eqnarray}\unicode[STIX]{x1D706}_{\mathsf{eff},k}(h)=(2k-1)\sqrt{\frac{\unicode[STIX]{x1D707}_{1}^{\prime \prime }(0)}{2}}h+o(h),\quad h\rightarrow 0.\end{eqnarray}$$
From our abstract analysis, we deduce the following result.
Proposition 3.2. Let
$c_{0},C_{0}>0$
. There exist
$h_{0}>0$
and
$C>0$
such that, for
$h\in (0,h_{0})$
and
$$\begin{eqnarray}z\in {\mathcal{Z}}_{h}=\{z\in [-C_{0}h,C_{0}h]\,:\,\mathsf{dist}(z,\mathsf{Sp}(\mathscr{L}_{h,\mathsf{eff}}))\geqslant c_{0}h\},\end{eqnarray}$$
we have
$z\in \unicode[STIX]{x1D70C}(\mathscr{L}_{h})$
and
$$\begin{eqnarray}\Vert (\mathscr{L}_{h}-z)^{-1}-(\mathscr{L}_{h,\mathsf{eff}}-z)^{-1}\Vert \leqslant C.\end{eqnarray}$$
Proof. Let
$h>0$
and
$z\in {\mathcal{Z}}_{h}$
. If
$h$
is small enough we have
$C_{0}h<\unicode[STIX]{x1D6FE}$
so
$z\in \unicode[STIX]{x1D70C}(\mathscr{L}_{h,\mathsf{eff}})\cap \unicode[STIX]{x1D70C}(\mathscr{L}_{h}^{\bot })=\unicode[STIX]{x1D70C}(\widehat{\mathscr{L}}_{h})$
. Moreover, by the spectral theorem,
$$\begin{eqnarray}\Vert (\widehat{\mathscr{L}}_{h}-z)^{-1}\Vert \leqslant \Vert (\mathscr{L}_{h,\mathsf{eff}}-z)^{-1}\Vert +\Vert (\mathscr{L}_{h}^{\bot }-z)^{-1}\Vert \leqslant \frac{1}{c_{0}h}+\frac{1}{\unicode[STIX]{x1D6FE}-C_{0}h}.\end{eqnarray}$$
With the notation of (1.6) we have
$$\begin{eqnarray}\liminf _{h\rightarrow 0}\sup _{z\in Z_{h}}(1-\unicode[STIX]{x1D702}_{1,h}(z)\Vert (\widehat{\mathscr{L}}_{h}-z)^{-1}\Vert -\unicode[STIX]{x1D702}_{2,h}(z))>0.\end{eqnarray}$$
From Theorem 1.1 and Proposition 1.2, we deduce that
$z\in \unicode[STIX]{x1D70C}(\mathscr{L}_{h})$
,
$$\begin{eqnarray}\Vert (\mathscr{L}_{h}-z)^{-1}\Vert \lesssim h^{-1},\end{eqnarray}$$
and the estimate on the difference of the resolvents. Here and occasionally in what follows, we use the notation
$x\lesssim y$
if there is a positive constant
$C$
(independent of
$x$
and
$y$
) such that
$x\leqslant Cy$
.◻
From this norm-resolvent convergence result, we recover a result of [Reference Lampart and Teufel14, §4.2].
Proposition 3.3. Let
$k\in \mathbb{N}^{\ast }$
. Then
$$\begin{eqnarray}\unicode[STIX]{x1D706}_{k}(h)=\unicode[STIX]{x1D706}_{\mathsf{eff},k}(h)+{\mathcal{O}}(h^{2}),\quad h\rightarrow 0.\end{eqnarray}$$
Proof. Let
$\unicode[STIX]{x1D700}>0$
be such that
$\unicode[STIX]{x1D706}_{\mathsf{eff},k+1}(h)-\unicode[STIX]{x1D706}_{\mathsf{eff},k}(h)>2\unicode[STIX]{x1D700}h$
for all
$h$
. We set
$z_{h}=\unicode[STIX]{x1D706}_{\mathsf{eff},k}(h)+\unicode[STIX]{x1D700}h$
. The resolvent
$(\mathscr{L}_{h,\mathsf{eff}}-z_{h})^{-1}$
has
$k$
negative eigenvalues
$$\begin{eqnarray}\frac{1}{\unicode[STIX]{x1D706}_{\mathsf{eff},k}(h)-z_{h}}\leqslant \cdots \leqslant \frac{1}{\unicode[STIX]{x1D706}_{\mathsf{eff},1}(h)-z_{h}},\end{eqnarray}$$
all smaller than
$-\unicode[STIX]{x1D6FC}/h$
for some
$\unicode[STIX]{x1D6FC}>0$
, and the rest of the spectrum is positive. By Proposition 3.2 the resolvent
$(\mathscr{L}_{h}-z_{h})^{-1}$
is well defined for
$h$
small enough and there exists
$C>0$
such that
$$\begin{eqnarray}\Vert (\mathscr{L}_{h}-z_{h})^{-1}-(\mathscr{L}_{h,\mathsf{eff}}-z_{h})^{-1}\Vert \leqslant C.\end{eqnarray}$$
By the min–max principle applied to these two resolvents, we obtain that for all
$j\in \{1,\ldots ,k\}$
the
$j$
th eigenvalue of
$(\mathscr{L}_{h}-z_{h})^{-1}$
is at distance not greater than
$C$
from
$1/(\unicode[STIX]{x1D706}_{\mathsf{eff},k+1-j}-z_{h})$
, and the rest of the spectrum is greater than
$-C$
. In particular, for
$j=1$
,
$$\begin{eqnarray}\biggl|\frac{1}{\unicode[STIX]{x1D706}_{k}(h)-z_{h}}-\frac{1}{\unicode[STIX]{x1D706}_{\mathsf{eff},k}(h)-z_{h}}\biggr|\leqslant C\end{eqnarray}$$
so that
$$\begin{eqnarray}|\unicode[STIX]{x1D706}_{k}(h)-\unicode[STIX]{x1D706}_{\mathsf{eff},k}(h)|\leqslant C|\unicode[STIX]{x1D706}_{\mathsf{eff},k}(h)-z_{h}||\unicode[STIX]{x1D706}_{k}(h)-z_{h}|.\end{eqnarray}$$
This gives
$$\begin{eqnarray}|\unicode[STIX]{x1D706}_{k}(h)-\unicode[STIX]{x1D706}_{\mathsf{eff},k}(h)|\leqslant C\unicode[STIX]{x1D700}h|\unicode[STIX]{x1D706}_{k}(h)-\unicode[STIX]{x1D706}_{\mathsf{eff},k}(h)-\unicode[STIX]{x1D700}h|,\end{eqnarray}$$
and the conclusion follows for
$h$
small enough.◻
3.2 Shrinking neighbourhoods of hypersurfaces
In this subsection we consider a submanifold
$\unicode[STIX]{x1D6F4}$
of
$\mathbb{R}^{d}$
,
$d\geqslant 2$
, as in §1.3. We choose
$\unicode[STIX]{x1D700}>0$
and define
$\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}$
,
$\unicode[STIX]{x1D6FA}$
and
$\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}$
as in (1.8) and (1.9). For
$\unicode[STIX]{x1D711}\in H_{0}^{1}(\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}})$
, we set
$$\begin{eqnarray}Q_{\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}}^{\mathsf{Dir}}(\unicode[STIX]{x1D711})=\int _{\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}}|\unicode[STIX]{x1D6FB}\unicode[STIX]{x1D711}|^{2}\,dx,\end{eqnarray}$$
and we denote by
$-\unicode[STIX]{x1D6E5}_{\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}}^{\mathsf{Dir}}$
the associated operator. Then we use the diffeomorphism
$\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}$
to see
$-\unicode[STIX]{x1D6E5}_{\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}}^{\mathsf{Dir}}$
as an operator on
$L^{2}(\unicode[STIX]{x1D6FA})$
. We set, for
$\unicode[STIX]{x1D713}\in H_{0}^{1}(\unicode[STIX]{x1D6FA},d\unicode[STIX]{x1D70E}\,dt)$
,
$$\begin{eqnarray}{\mathcal{Q}}_{\unicode[STIX]{x1D700}}^{\mathsf{ Dir}}(\unicode[STIX]{x1D713})=Q_{\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}}^{\mathsf{Dir}}(\unicode[STIX]{x1D713}\circ \unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}^{-1}).\end{eqnarray}$$
We need a more explicit expression of
${\mathcal{Q}}_{\unicode[STIX]{x1D700}}^{\mathsf{Dir}}$
in terms of the variables
$(s,t)$
on
$\unicode[STIX]{x1D6FA}$
. For
$(s,t)\in \unicode[STIX]{x1D6FA}$
we have, on
$T_{(s,t)}\unicode[STIX]{x1D6FA}\simeq T_{s}\unicode[STIX]{x1D6F4}\times n(s)\mathbb{R}$
,
$$\begin{eqnarray}d_{(s,t)}\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}=(\mathsf{Id}_{T_{s}\unicode[STIX]{x1D6F4}}+\unicode[STIX]{x1D700}td_{s}n)\otimes \unicode[STIX]{x1D700}\mathsf{Id}_{n(s)\mathbb{R}}.\end{eqnarray}$$
Hence
$$\begin{eqnarray}d_{\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}(s,t)}\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}^{-1}=(\mathsf{Id}_{T_{s}\unicode[STIX]{x1D6F4}}+\unicode[STIX]{x1D700}td_{s}n)^{-1}\otimes \unicode[STIX]{x1D700}^{-1}\mathsf{Id}_{n(s)\mathbb{R}}.\end{eqnarray}$$
We recall that the Weingarten map
$-d_{s}n$
is a self-adjoint operator on
$T_{s}\unicode[STIX]{x1D6F4}$
(endowed with the metric inherited from the Euclidean structure on
$\mathbb{R}^{d}$
). For
$\unicode[STIX]{x1D713}\in H^{1}(\unicode[STIX]{x1D6FA},d\unicode[STIX]{x1D70E}dt)$
,
$x\in \unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}$
and
$(s,t)=\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}^{-1}(x)$
, we get
$$\begin{eqnarray}\displaystyle \Vert \unicode[STIX]{x1D6FB}(\unicode[STIX]{x1D713}\circ \unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}^{-1})(x)\Vert _{T_{x}\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}}^{2} & = & \displaystyle \Vert (d_{x}\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}^{-1})^{\ast }\unicode[STIX]{x1D6FB}\unicode[STIX]{x1D713}(s,t)\Vert _{T_{x}\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}}^{2}\nonumber\\ \displaystyle & = & \displaystyle \Vert (\mathsf{Id}_{T_{s}\unicode[STIX]{x1D6F4}}+\unicode[STIX]{x1D700}td_{s}n)^{-1}\unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D713}(s,t)\Vert _{T_{s}\unicode[STIX]{x1D6F4}}^{2}+\frac{1}{\unicode[STIX]{x1D700}^{2}}{|\unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}(s,t)|}^{2}.\nonumber\end{eqnarray}$$
The eigenvalues of the Weingarten map are the principal curvatures
$\unicode[STIX]{x1D705}_{1},\ldots ,\unicode[STIX]{x1D705}_{d-1}$
. In particular, for
$(s,t)\in \unicode[STIX]{x1D6FA}$
we have
$$\begin{eqnarray}\det (d_{(s,t)}\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}})=\unicode[STIX]{x1D700}w_{\unicode[STIX]{x1D700}}\quad \text{where }w_{\unicode[STIX]{x1D700}}(s,t)=\mathop{\prod }_{j=1}^{d-1}(1-\unicode[STIX]{x1D700}t\unicode[STIX]{x1D705}_{j}(s)).\end{eqnarray}$$
The Riemannian structure on
$\unicode[STIX]{x1D6FA}$
is given by the pullback by
$\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}$
of the Euclidean structure defined on
$\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}$
. More explicitly, for
$(s,t)\in \unicode[STIX]{x1D6FA}$
the inner product on
$T_{(s,t)}\unicode[STIX]{x1D6FA}$
is given by
$$\begin{eqnarray}\text{for all }X,Y\in T_{(s,t)}(\unicode[STIX]{x1D6FA}),\quad g_{\unicode[STIX]{x1D700}}(X,Y)=\langle d_{(s,t)}\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}(X),d_{(s,t)}\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}(Y)\rangle _{\mathbb{R}^{d}}.\end{eqnarray}$$
Then the measure corresponding to the metric
$g_{\unicode[STIX]{x1D700}}$
is given by
$\unicode[STIX]{x1D700}w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt$
. Thus, if we set
$$\begin{eqnarray}G_{\unicode[STIX]{x1D700}}(s,t)=(\mathsf{Id}_{T_{s}\unicode[STIX]{x1D6F4}}+\unicode[STIX]{x1D700}td_{s}n)^{-2},\end{eqnarray}$$
we finally obtain
$$\begin{eqnarray}\displaystyle {\mathcal{Q}}_{\unicode[STIX]{x1D700}}^{\mathsf{Dir}}(\unicode[STIX]{x1D713}) & = & \displaystyle \int _{\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}}|(\mathsf{Id}_{T_{s}\unicode[STIX]{x1D6F4}}+\unicode[STIX]{x1D700}td_{s}n)^{-1}\unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D713}(\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}^{-1}(x))|^{2}\,dx\nonumber\\ \displaystyle & & \displaystyle +\,\frac{1}{\unicode[STIX]{x1D700}^{2}}\int _{\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}}|\unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}(\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}^{-1}(x))|^{2}\,dx\nonumber\\ \displaystyle & = & \displaystyle \unicode[STIX]{x1D700}\int _{\unicode[STIX]{x1D6FA}}\langle G_{\unicode[STIX]{x1D700}}(s,t)\unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D713},\unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D713}\rangle _{T\unicode[STIX]{x1D6F4}}w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt+\frac{1}{\unicode[STIX]{x1D700}^{2}}\int _{\unicode[STIX]{x1D6FA}}|\unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}|^{2}\unicode[STIX]{x1D700}w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}dt.\nonumber\end{eqnarray}$$
The transverse operator
$T_{s}(\unicode[STIX]{x1D700})$
is the Dirichlet realization on
$L^{2}((-1,1),\unicode[STIX]{x1D700}w_{\unicode[STIX]{x1D700}}\,dt)$
of the differential operator
$-\unicode[STIX]{x1D700}^{-2}w_{\unicode[STIX]{x1D700}}^{-1}\unicode[STIX]{x2202}_{t}w_{\unicode[STIX]{x1D700}}\unicode[STIX]{x2202}_{t}$
. We denote by
$\unicode[STIX]{x1D707}_{1}(s,\unicode[STIX]{x1D700})$
its first eigenvalue and we set
$\unicode[STIX]{x1D707}(\unicode[STIX]{x1D700})=\inf _{s\in \unicode[STIX]{x1D6F4}}\unicode[STIX]{x1D707}_{1}(s,\unicode[STIX]{x1D700})$
. We have, by perturbation theory, as
$\unicode[STIX]{x1D700}\rightarrow 0$
,
$$\begin{eqnarray}\unicode[STIX]{x1D707}_{1}(s,\unicode[STIX]{x1D700})=\frac{\unicode[STIX]{x1D70B}^{2}}{4\unicode[STIX]{x1D700}^{2}}+V(s)+{\mathcal{O}}(\unicode[STIX]{x1D700}),\qquad \unicode[STIX]{x1D707}(\unicode[STIX]{x1D700})=\frac{\unicode[STIX]{x1D70B}^{2}}{4\unicode[STIX]{x1D700}^{2}}+{\mathcal{O}}(1),\end{eqnarray}$$
where the potential
$$\begin{eqnarray}V(s)=-\frac{1}{2}\mathop{\sum }_{j=1}^{d-1}\unicode[STIX]{x1D705}_{j}(s)^{2}+\frac{1}{4}\biggl(\mathop{\sum }_{j=1}^{d-1}\unicode[STIX]{x1D705}_{j}(s)\biggr)^{2}\end{eqnarray}$$
is assumed to be bounded from below.
We denote by
$\mathscr{L}_{\unicode[STIX]{x1D700}}^{\mathsf{Dir}}$
the operator associated to the form
${\mathcal{Q}}_{\unicode[STIX]{x1D700}}^{\mathsf{Dir}}$
and by
$\mathscr{L}_{\unicode[STIX]{x1D700},\mathsf{eff}}^{\mathsf{Dir}}$
the corresponding effective operator as defined in the general context of §1.2. It is nothing but the operator associated with the form
$H^{1}(\unicode[STIX]{x1D6F4})\ni \unicode[STIX]{x1D711}\mapsto {\mathcal{Q}}_{\unicode[STIX]{x1D700}}^{\mathsf{Dir}}(\unicode[STIX]{x1D711}u_{s,\unicode[STIX]{x1D700}})$
where
$u_{s,\unicode[STIX]{x1D700}}$
is the positive
$L^{2}$
-normalized groundstate of the transverse operator (and actually depending on the principal curvatures analytically). From perturbation theory, we can easily check that the commutator between the projection on
$u_{s,\unicode[STIX]{x1D700}}$
and
$S=-\text{i}G_{\unicode[STIX]{x1D700}}^{1/2}\,\unicode[STIX]{x1D6FB}_{\!s}$
is bounded (and of order
$\unicode[STIX]{x1D700}$
).
Proposition 3.4. Let
$c_{0},C_{0}>0$
. There exist
$\unicode[STIX]{x1D700}_{0}>0$
and
$C>0$
such that, for all
$\unicode[STIX]{x1D700}\in (0,\unicode[STIX]{x1D700}_{0})$
and
$$\begin{eqnarray}z\in {\mathcal{Z}}_{c_{0},C_{0},\unicode[STIX]{x1D700}}=\{z\in \mathbb{R}:|z-\unicode[STIX]{x1D707}(\unicode[STIX]{x1D700})|\leqslant C_{0},\mathsf{dist}(z,\mathsf{Sp}(\mathscr{L}_{\unicode[STIX]{x1D700},\mathsf{eff}}^{\mathsf{Dir}}))\geqslant c_{0}\},\end{eqnarray}$$
we have
$$\begin{eqnarray}\Vert (\mathscr{L}_{\unicode[STIX]{x1D700}}^{\mathsf{Dir}}-z)^{-1}-(\mathscr{L}_{\unicode[STIX]{x1D700},\mathsf{eff}}^{\mathsf{Dir}}-z)^{-1}\Vert \leqslant C\unicode[STIX]{x1D700}.\end{eqnarray}$$
We recover a result of [Reference Krejčiřík, Raymond and Tušek11] (when there is no magnetic field).
Proof. We are in the context of Remark 1.3. The form
${\mathcal{Q}}_{\unicode[STIX]{x1D700}}-\unicode[STIX]{x1D707}(\unicode[STIX]{x1D700})$
is non-negative. We denote by
$\mathscr{L}_{\unicode[STIX]{x1D700}}$
the corresponding non-negative self-adjoint operator and define
$\widehat{\mathscr{L}}_{\unicode[STIX]{x1D700}}$
as in Lemma 2.2. Given
$\unicode[STIX]{x1D700}>0$
and
$z\in {\mathcal{Z}}_{c_{0},C_{0},\unicode[STIX]{x1D700}}$
, we write
$\unicode[STIX]{x1D701}$
for
$z-\unicode[STIX]{x1D707}(\unicode[STIX]{x1D700})$
. Thus, in the notation of the abstract setting, we have
$\unicode[STIX]{x1D6FE}_{\unicode[STIX]{x1D700}}\sim \unicode[STIX]{x1D700}^{-2}$
,
$a_{\unicode[STIX]{x1D700}}={\mathcal{O}}(\unicode[STIX]{x1D700}^{2})$
,
$\unicode[STIX]{x1D701}={\mathcal{O}}(1)$
and hence
$\unicode[STIX]{x1D702}_{1,\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D701})={\mathcal{O}}(\unicode[STIX]{x1D700})$
,
$\unicode[STIX]{x1D702}_{2,\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D701})={\mathcal{O}}(\unicode[STIX]{x1D700}^{2})$
,
$\unicode[STIX]{x1D702}_{3,\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D701})={\mathcal{O}}(\unicode[STIX]{x1D700})$
and
$\unicode[STIX]{x1D702}_{4,\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D701})={\mathcal{O}}(\unicode[STIX]{x1D700}^{2})$
. Moreover, by the spectral theorem, we have
$$\begin{eqnarray}\Vert (\widehat{\mathscr{L}}_{\unicode[STIX]{x1D700}}-\unicode[STIX]{x1D701})^{-1}\Vert ={\mathcal{O}}(1).\end{eqnarray}$$
Thus, there exists
$\unicode[STIX]{x1D700}_{0}>0$
such that, for
$\unicode[STIX]{x1D700}\in (0,\unicode[STIX]{x1D700}_{0})$
,
$z\in Z_{c_{0},C_{0},\unicode[STIX]{x1D700}}$
and
$\unicode[STIX]{x1D701}=z-\unicode[STIX]{x1D707}(\unicode[STIX]{x1D700})$
, the operator
$\mathscr{L}_{\unicode[STIX]{x1D700}}-\unicode[STIX]{x1D701}$
is bijective and
$$\begin{eqnarray}\displaystyle \Vert (\mathscr{L}_{\unicode[STIX]{x1D700}}-\unicode[STIX]{x1D701})^{-1}\Vert & = & \displaystyle {\mathcal{O}}(1),\nonumber\\ \displaystyle \Vert (\mathscr{L}_{\unicode[STIX]{x1D700}}-\unicode[STIX]{x1D701})^{-1}-(\widehat{\mathscr{L}}_{\unicode[STIX]{x1D700}}-\unicode[STIX]{x1D701})^{-1}\Vert & = & \displaystyle {\mathcal{O}}(\unicode[STIX]{x1D700}).\nonumber\end{eqnarray}$$
The conclusion easily follows. ◻
Given
$\unicode[STIX]{x1D700}>0$
, we define the sequences
$(\unicode[STIX]{x1D706}_{k}^{\mathsf{Dir}}(\unicode[STIX]{x1D700}))_{k\in \mathbb{N}^{\ast }}$
and
$(\unicode[STIX]{x1D706}_{k,\mathsf{eff}}^{\mathsf{Dir}}(\unicode[STIX]{x1D700}))_{k\in \mathbb{N}^{\ast }}$
corresponding to the operators
$\mathscr{L}_{\unicode[STIX]{x1D700}}^{\mathsf{Dir}}$
and
$\mathscr{L}_{\unicode[STIX]{x1D700},\mathsf{eff}}^{\mathsf{Dir}}$
as in (3.1). By using analytic perturbation theory with respect to the parameters
$(\unicode[STIX]{x1D700}\unicode[STIX]{x1D705}_{j})_{1\leqslant j\leqslant d-1}$
to treat the commutator, we have, for all
$k\in \mathbb{N}^{\ast }$
,
$$\begin{eqnarray}\unicode[STIX]{x1D706}_{k,\mathsf{eff}}^{\mathsf{Dir}}(\unicode[STIX]{x1D700})=\frac{\unicode[STIX]{x1D70B}^{2}}{4\unicode[STIX]{x1D700}^{2}}+\unicode[STIX]{x1D706}_{k}^{\unicode[STIX]{x1D6F4}}+{\mathcal{O}}(\unicode[STIX]{x1D700}),\quad \unicode[STIX]{x1D700}\rightarrow 0,\end{eqnarray}$$
where
$\unicode[STIX]{x1D706}_{k}^{\unicode[STIX]{x1D6F4}}$
is the
$k$
th eigenvalue of
$-\unicode[STIX]{x1D6E5}_{s}+V(s)$
.
We recover a result in the spirit of [Reference Duclos and Exner3, Reference Krejčiřík, Raymond and Tušek11].
Proposition 3.5. For all
$k\geqslant 1$
, we have
$$\begin{eqnarray}\unicode[STIX]{x1D706}_{k}^{\mathsf{Dir}}(\unicode[STIX]{x1D700})=\frac{\unicode[STIX]{x1D70B}^{2}}{4\unicode[STIX]{x1D700}^{2}}+\unicode[STIX]{x1D706}_{k}^{\unicode[STIX]{x1D6F4}}+{\mathcal{O}}(\unicode[STIX]{x1D700}),\quad \unicode[STIX]{x1D700}\rightarrow 0\end{eqnarray}$$
Proof. Let
$k\geqslant 1$
. There exist
$c_{0},\tilde{c}_{0},C_{0},\unicode[STIX]{x1D700}_{0}>0$
such that, for
$\unicode[STIX]{x1D700}\in (0,\unicode[STIX]{x1D700}_{0})$
, we have
$$\begin{eqnarray}\unicode[STIX]{x1D706}_{k,\mathsf{eff}}^{\mathsf{Dir}}(\unicode[STIX]{x1D700})+\tilde{c}_{0}\in {\mathcal{Z}}_{c_{0},C_{0},\unicode[STIX]{x1D700}}.\end{eqnarray}$$
As in the proof of Proposition 3.3 we obtain from Proposition 3.4 and the min–max principle
$$\begin{eqnarray}|(\unicode[STIX]{x1D706}_{k}^{\mathsf{Dir}}(\unicode[STIX]{x1D700})-(\unicode[STIX]{x1D706}_{k,\mathsf{eff}}^{\mathsf{Dir}}(\unicode[STIX]{x1D700})+\tilde{c}_{0}))^{-1}-(\unicode[STIX]{x1D706}_{k,\mathsf{eff}}^{\mathsf{Dir}}(\unicode[STIX]{x1D700})-(\unicode[STIX]{x1D706}_{k,\mathsf{eff}}^{\mathsf{Dir}}(\unicode[STIX]{x1D700})+\tilde{c}_{0}))^{-1}|={\mathcal{O}}(\unicode[STIX]{x1D700}).\end{eqnarray}$$
We deduce
$$\begin{eqnarray}|\unicode[STIX]{x1D706}_{k}^{\mathsf{Dir}}(\unicode[STIX]{x1D700})-\unicode[STIX]{x1D706}_{k,\mathsf{eff}}^{\mathsf{Dir}}(\unicode[STIX]{x1D700})|={\mathcal{O}}(\unicode[STIX]{x1D700})|(\unicode[STIX]{x1D706}_{k}^{\mathsf{Dir}}(\unicode[STIX]{x1D700})-(\unicode[STIX]{x1D706}_{k,\mathsf{eff}}^{\mathsf{Dir}}(\unicode[STIX]{x1D700})+\tilde{c}_{0}))|,\end{eqnarray}$$
and the conclusion follows. ◻
3.3 Dirichlet–Robin shell with large coupling constant
In this section, we continue to consider the hypersurface
$\unicode[STIX]{x1D6F4}$
of the previous subsection (here
$\unicode[STIX]{x1D700}=1$
). Let us now consider the Dirichlet–Robin Laplacian in an annulus. In other words, with
$w_{1}$
and
$G_{1}$
as defined by (3.2) and (3.3), we consider on the weighted space
$L^{2}(w_{1}\,ds\,dt)$
the quadratic form
$$\begin{eqnarray}\displaystyle {\mathcal{Q}}_{\unicode[STIX]{x1D6FC}}^{\mathsf{DR}}(\unicode[STIX]{x1D713}) & = & \displaystyle \int _{\unicode[STIX]{x1D6F4}\times (0,1)}(\langle G_{1}(s,t)\unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D713},\unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D713}\rangle _{T\unicode[STIX]{x1D6F4}}+|\unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}|^{2})w_{1}(s,t)\,ds\,dt\nonumber\\ \displaystyle & & \displaystyle -\,\unicode[STIX]{x1D6FC}\int _{\unicode[STIX]{x1D6F4}}|\unicode[STIX]{x1D713}(s,0)|^{2}\,ds.\nonumber\end{eqnarray}$$
It is defined for
$\unicode[STIX]{x1D713}\in \mathsf{Dom}({\mathcal{Q}}_{\unicode[STIX]{x1D6FC}}^{\mathsf{DR}})$
where
$$\begin{eqnarray}\mathsf{Dom}({\mathcal{Q}}_{\unicode[STIX]{x1D6FC}}^{\mathsf{DR}})=\{\unicode[STIX]{x1D713}\in H^{1}(\unicode[STIX]{x1D6F4}\times (0,1)):\unicode[STIX]{x1D713}(s,1)=0,\unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}(s,0)=-\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D713}(s,0)\}.\end{eqnarray}$$
In these definitions
$\unicode[STIX]{x1D6FC}$
is real, and we are interested in the strong coupling limit
$\unicode[STIX]{x1D6FC}\rightarrow +\infty$
.
This quadratic form is of the form (2.1) with
$S=G_{1}^{1/2}\unicode[STIX]{x1D6FB}_{s}$
and
$T_{s}=-w_{1}^{-1}\unicode[STIX]{x2202}_{t}w_{1}\unicode[STIX]{x2202}_{t}$
acting on
$H^{2}((0,1))$
and the Dirichlet–Robin condition. The spectrum of
$T_{s}$
is well understood in the limit
$\unicode[STIX]{x1D6FC}\rightarrow +\infty$
. Actually, the family
$(T_{s})$
depends analytically on the principal curvatures
$(\unicode[STIX]{x1D705}_{j}(s))_{1\leqslant j\leqslant d-1}$
. We can deduce from the previous works [Reference Helffer and Kachmar6, Reference Helffer, Kachmar and Raymond7, Reference Kachmar, Keraval and Raymond9] that, as
$\unicode[STIX]{x1D6FC}\rightarrow +\infty$
,
$$\begin{eqnarray}\unicode[STIX]{x1D707}_{1}(s,\unicode[STIX]{x1D6FC})=-\unicode[STIX]{x1D6FC}^{2}-\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D705}(s)+{\mathcal{O}}(1),\qquad \unicode[STIX]{x1D707}_{2}(s,\unicode[STIX]{x1D6FC})\geqslant c>0,\end{eqnarray}$$
and
$$\begin{eqnarray}\unicode[STIX]{x1D707}(\unicode[STIX]{x1D6FC})=\inf _{s\in \unicode[STIX]{x1D6F4}}\unicode[STIX]{x1D707}_{1}(s,\unicode[STIX]{x1D6FC})=-\unicode[STIX]{x1D6FC}^{2}-\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D705}_{ max}+{\mathcal{O}}(1),\end{eqnarray}$$
with
$\unicode[STIX]{x1D705}=\sum _{j=1}^{d-1}\unicode[STIX]{x1D705}_{j}$
. Here, for simplicity, we assume that
$\unicode[STIX]{x1D705}$
has a unique maximum at
$s=0$
that is not degenerate and not attained at infinity. Moreover, we assume that the eigenvalues of
$D_{s}^{2}+\frac{1}{2}\mathsf{Hess}_{0}(-\unicode[STIX]{x1D705})(s,s)$
are simple. We let
$$\begin{eqnarray}{\mathcal{Z}}_{C_{0},c_{0},\unicode[STIX]{x1D6FC}}=\{z\in \mathbb{R}:|z-\unicode[STIX]{x1D707}(\unicode[STIX]{x1D6FC})|\leqslant c_{0}\unicode[STIX]{x1D6FC},\text{dist}(z,\mathsf{Sp}(\widehat{\mathscr{L}}_{\unicode[STIX]{x1D6FC}}^{\mathsf{DR}}))\geqslant C_{0}\}.\end{eqnarray}$$
Proposition 3.6. There exist
$C,\unicode[STIX]{x1D6FC}_{0}>0$
such that, for all
$z\in {\mathcal{Z}}_{C_{0},c_{0},\unicode[STIX]{x1D6FC}}$
,
$$\begin{eqnarray}\Vert (\mathscr{L}_{\unicode[STIX]{x1D6FC}}^{\mathsf{DR}}-z)^{-1}-(\mathscr{L}_{\unicode[STIX]{x1D6FC},\mathsf{eff}}^{\mathsf{DR}}-z)^{-1}\Vert \leqslant C\unicode[STIX]{x1D6FC}^{-1}.\end{eqnarray}$$
Proof. Here we have
$\unicode[STIX]{x1D6FE}={\mathcal{O}}(\unicode[STIX]{x1D6FC}^{2})$
,
$\unicode[STIX]{x1D708}={\mathcal{O}}(\unicode[STIX]{x1D6FC}^{-1})$
and
$a={\mathcal{O}}(\unicode[STIX]{x1D6FC}^{-2})$
. We again use Remark 1.3 and we apply Theorem 1.1 with
$\mathscr{L}=\mathscr{L}_{\unicode[STIX]{x1D6FC}}^{\mathsf{DR}}-\unicode[STIX]{x1D707}(\unicode[STIX]{x1D6FC})$
and
$z$
replaced by
$z-\unicode[STIX]{x1D707}(\unicode[STIX]{x1D6FC})$
. For
$z\in {\mathcal{Z}}_{c_{0},C_{0},\unicode[STIX]{x1D6FC}}$
, we get
$$\begin{eqnarray}\unicode[STIX]{x1D702}_{1}={\mathcal{O}}(\unicode[STIX]{x1D6FC}^{-1}),\qquad \unicode[STIX]{x1D702}_{2}={\mathcal{O}}(\unicode[STIX]{x1D6FC}^{-2}),\qquad \unicode[STIX]{x1D702}_{3}={\mathcal{O}}(\unicode[STIX]{x1D6FC}^{-2}),\qquad \unicode[STIX]{x1D702}_{4}={\mathcal{O}}(\unicode[STIX]{x1D6FC}^{-3}).\end{eqnarray}$$
Moreover, for
$\unicode[STIX]{x1D6FC}$
large enough, we have, for all
$z\in Z_{c_{0},C_{0},\unicode[STIX]{x1D6FC}}$
,
$z\in \unicode[STIX]{x1D70C}(\mathscr{L}_{\unicode[STIX]{x1D6FC},\mathsf{eff}}^{\mathsf{DR}})$
and
$$\begin{eqnarray}\Vert (\mathscr{L}_{\unicode[STIX]{x1D6FC},\mathsf{eff}}^{\mathsf{DR}}-z)^{-1}\Vert \leqslant C.\end{eqnarray}$$
Then Theorem 1.1 implies the desired estimate. ◻
We recover, under our simplifying assumptions, a result appearing in [Reference Helffer and Kachmar6, Reference Kachmar, Keraval and Raymond9, Reference Pankrashkin and Popoff17].
Proposition 3.7. For all
$j\geqslant 1$
, we have, as
$\unicode[STIX]{x1D6FC}\rightarrow +\infty$
,
$$\begin{eqnarray}\unicode[STIX]{x1D706}_{j,\mathsf{eff}}^{\mathsf{DR}}(\unicode[STIX]{x1D6FC})=-\unicode[STIX]{x1D6FC}^{2}+\unicode[STIX]{x1D708}_{j}(\unicode[STIX]{x1D6FC})+{\mathcal{O}}(1)\end{eqnarray}$$
and
$$\begin{eqnarray}\unicode[STIX]{x1D706}_{j}^{\mathsf{DR}}(\unicode[STIX]{x1D6FC})=-\unicode[STIX]{x1D6FC}^{2}+\unicode[STIX]{x1D708}_{j}(\unicode[STIX]{x1D6FC})+{\mathcal{O}}(1),\end{eqnarray}$$
where
$\unicode[STIX]{x1D708}_{j}(\unicode[STIX]{x1D6FC})$
is the
$j$
th eigenvalue of
$D_{s}^{2}-\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D705}(s)$
.
Proof. Let us first discuss the asymptotic behaviour of the eigenvalues of the effective operator. Let us recall that this effective operator is defined as explained in §1.2, and that it can be identified with the operator associated with the form
$H^{1}(\unicode[STIX]{x1D6F4})\ni \unicode[STIX]{x1D711}\mapsto {\mathcal{Q}}_{\unicode[STIX]{x1D6FC}}^{\mathsf{DR}}(\unicode[STIX]{x1D711}u_{s,\unicode[STIX]{x1D6FC}})$
where
$u_{s,\unicode[STIX]{x1D6FC}}$
is the positive
$L^{2}$
-normalized groundstate of the transverse operator
$T(s)$
. The asymptotic expansion of the effective eigenvalues again follows from perturbation theory and a commutator estimate; see [Reference Kachmar, Keraval and Raymond9, §3] where it is explained how we can estimate such a commutator.
Now we proceed as in the previous section. Note that, by the harmonic approximation, for all
$j\geqslant 1$
,
$$\begin{eqnarray}\unicode[STIX]{x1D708}_{j}(\unicode[STIX]{x1D6FC})=-\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D705}_{\max }+\unicode[STIX]{x1D6FC}^{1/2}\tilde{\unicode[STIX]{x1D708}}_{j}+{\mathcal{O}}(\unicode[STIX]{x1D6FC}^{1/4}),\end{eqnarray}$$
where
$(\tilde{\unicode[STIX]{x1D708}}_{j})_{j\in \mathbb{N}^{\ast }}$
is the non-decreasing sequence of the eigenvalues of
$D_{s}^{2}+\frac{1}{2}\mathsf{Hess}_{0}(-\unicode[STIX]{x1D705})(s,s)$
. In particular, the asymptotic gap between consecutive eigenvalues is of order
$\unicode[STIX]{x1D6FC}^{1/2}$
. Then there exist
$c_{0}>0$
,
$C_{0}>0$
and
$C>0$
such that, for
$\unicode[STIX]{x1D6FC}$
large,
$z=\unicode[STIX]{x1D706}_{j,\mathsf{eff}}^{\mathsf{DR}}(\unicode[STIX]{x1D6FC})+C\in {\mathcal{Z}}_{c_{0},C_{0},\unicode[STIX]{x1D6FC}}$
. We use Proposition 3.6 and we get, as in the other examples,
$$\begin{eqnarray}|\unicode[STIX]{x1D706}_{j,\mathsf{eff}}^{\mathsf{DR}}(\unicode[STIX]{x1D6FC})-\unicode[STIX]{x1D706}_{j}^{\mathsf{DR}}(\unicode[STIX]{x1D6FC})|\leqslant C\unicode[STIX]{x1D6FC}^{-1}.\end{eqnarray}$$
4 The non-self-adjoint Robin Laplacian between hypersurfaces
In this section we prove Theorem 1.5. The proof is split into two main steps. We first transform the problem into an equivalent statement, where
$\mathscr{P}_{\unicode[STIX]{x1D700}}$
is replaced by a unitarily equivalent operator on
$\unicode[STIX]{x1D6FA}$
.
4.1 A change of variables
The operator
$\mathscr{P}_{\unicode[STIX]{x1D700}}$
is associated to the (coercive) quadratic form defined for
$\unicode[STIX]{x1D719}\in H^{1}(\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}})$
by
$$\begin{eqnarray}Q_{\unicode[STIX]{x1D700}}^{1}(\unicode[STIX]{x1D719})=Q_{\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FC}}^{1}(\unicode[STIX]{x1D719})=\int _{\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}}|\unicode[STIX]{x1D6FB}\unicode[STIX]{x1D719}|^{2}+\int _{\unicode[STIX]{x1D6F4}_{+,\unicode[STIX]{x1D700}}}\unicode[STIX]{x1D6FC}_{+,\unicode[STIX]{x1D700}}|\unicode[STIX]{x1D719}|^{2}-\int _{\unicode[STIX]{x1D6F4}_{-,\unicode[STIX]{x1D700}}}\unicode[STIX]{x1D6FC}_{-,\unicode[STIX]{x1D700}}|\unicode[STIX]{x1D719}|^{2}.\end{eqnarray}$$
As in §3.2, we use the diffeomorphism
$\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}$
to see
$\mathscr{P}_{\unicode[STIX]{x1D700}}$
as an operator on
$L^{2}(\unicode[STIX]{x1D6FA})$
: for
$\unicode[STIX]{x1D713}\in H^{1}(\unicode[STIX]{x1D6FA})$
we set
$$\begin{eqnarray}Q_{\unicode[STIX]{x1D700}}^{2}(\unicode[STIX]{x1D713})=Q_{\unicode[STIX]{x1D700}}^{1}(\unicode[STIX]{x1D713}\circ \unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}^{-1}).\end{eqnarray}$$
We obtain
$$\begin{eqnarray}\displaystyle Q_{\unicode[STIX]{x1D700}}^{2}(\unicode[STIX]{x1D713}) & = & \displaystyle \int _{\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}}|(\text{Id}_{T_{s}\unicode[STIX]{x1D6F4}}+\unicode[STIX]{x1D700}td_{s}n)^{-1}\unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D713}(\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}^{-1}(x))|^{2}\,dx\nonumber\\ \displaystyle & & \displaystyle +\,\frac{1}{\unicode[STIX]{x1D700}^{2}}\int _{\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}}}|\unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}(\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}^{-1}(x))|^{2}\,dx\nonumber\\ \displaystyle & & \displaystyle +\,\int _{\unicode[STIX]{x1D6F4}_{+}}\unicode[STIX]{x1D6FC}_{+,\unicode[STIX]{x1D700}}|\unicode[STIX]{x1D713}\circ (\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}^{+})^{-1}|^{2}-\int _{\unicode[STIX]{x1D6F4}_{-}}\unicode[STIX]{x1D6FC}_{-,\unicode[STIX]{x1D700}}|\unicode[STIX]{x1D713}\circ (\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}^{+})^{-1}|^{2}\nonumber\\ \displaystyle & = & \displaystyle \int _{\unicode[STIX]{x1D6FA}}\langle G_{\unicode[STIX]{x1D700}}(s,t)\unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D713},\unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D713}\rangle _{T\unicode[STIX]{x1D6F4}}\unicode[STIX]{x1D700}\tilde{w}_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt+\frac{1}{\unicode[STIX]{x1D700}}\int _{\unicode[STIX]{x1D6FA}}|\unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}|^{2}\tilde{w}_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt\nonumber\\ \displaystyle & & \displaystyle +\,\int _{\unicode[STIX]{x1D6F4}}\unicode[STIX]{x1D6FC}(|\unicode[STIX]{x1D713}|^{2}\tilde{w}_{\unicode[STIX]{x1D700}})|_{t=1}\,d\unicode[STIX]{x1D70E}-\int _{\unicode[STIX]{x1D6F4}}\unicode[STIX]{x1D6FC}(|\unicode[STIX]{x1D713}|^{2}\tilde{w}_{\unicode[STIX]{x1D700}})|_{t=-1}\,d\unicode[STIX]{x1D70E},\nonumber\end{eqnarray}$$
where, as in (3.2),
$\tilde{w}(s,t)=\prod _{j=1}^{d-1}(1-\unicode[STIX]{x1D700}t\unicode[STIX]{x1D705}_{j}(s))$
. Notice that
$L^{2}(\unicode[STIX]{x1D6FA},d\unicode[STIX]{x1D70E}\,dt)$
and
$L^{2}(\unicode[STIX]{x1D6FA},\unicode[STIX]{x1D700}\tilde{w}_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt)$
(or their corresponding Sobolev spaces) are equal as sets, but
$\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}$
induces only a unitary transformation from
$L^{2}(\unicode[STIX]{x1D6FA},\unicode[STIX]{x1D700}\tilde{w}_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt)$
to
$L^{2}(\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D700}},dx)$
.
4.2 A change of function
In the next step we make a change of function to turn our problem with Robin boundary conditions into an equivalent problem with Neumann boundary conditions. For this we consider the unitary transform
$$\begin{eqnarray}\tilde{U} _{\unicode[STIX]{x1D700}}:\left\{\begin{array}{@{}ccc@{}}L^{2}(\unicode[STIX]{x1D6FA},\unicode[STIX]{x1D700}\tilde{w}_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt) & \rightarrow & L^{2}(\unicode[STIX]{x1D6FA},\text{e}^{-2\unicode[STIX]{x1D700}t\text{Re}(\unicode[STIX]{x1D6FC})}\tilde{w}_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt),\\ u & \mapsto & \sqrt{\unicode[STIX]{x1D700}}\text{e}^{\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D700}t}u.\end{array}\right.\end{eqnarray}$$
We set
$$\begin{eqnarray}w_{\unicode[STIX]{x1D700}}=\text{e}^{-2\unicode[STIX]{x1D700}t\text{Re}(\unicode[STIX]{x1D6FC})}\tilde{w}_{\unicode[STIX]{x1D700}}.\end{eqnarray}$$
Then on
$H^{1}(\unicode[STIX]{x1D6FA},w_{\unicode[STIX]{x1D700}}d\unicode[STIX]{x1D70E}dt)$
we consider the transformed quadratic form given by
$$\begin{eqnarray}\displaystyle Q_{\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D719}) & = & \displaystyle Q_{\unicode[STIX]{x1D700}}^{2}(\tilde{U} ^{-1}\unicode[STIX]{x1D719})\nonumber\\ \displaystyle & = & \displaystyle \int _{\unicode[STIX]{x1D6FA}}\langle G_{\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D6FB}_{s}-\unicode[STIX]{x1D700}t\unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D6FC})\unicode[STIX]{x1D719},(\unicode[STIX]{x1D6FB}_{s}-\unicode[STIX]{x1D700}t\unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D6FC})\unicode[STIX]{x1D719}\rangle w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt\nonumber\\ \displaystyle & & \displaystyle +\,\frac{1}{\unicode[STIX]{x1D700}^{2}}\int _{\unicode[STIX]{x1D6FA}}|\unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D719}|^{2}w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt\nonumber\\ \displaystyle & & \displaystyle -\,\frac{1}{\unicode[STIX]{x1D700}}\int _{\unicode[STIX]{x1D6FA}}(\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D719}\unicode[STIX]{x2202}_{t}\bar{\unicode[STIX]{x1D719}}+\bar{\unicode[STIX]{x1D6FC}}\bar{\unicode[STIX]{x1D719}}\unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D719})w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt+\int _{\unicode[STIX]{x1D6FA}}|\unicode[STIX]{x1D6FC}|^{2}|\unicode[STIX]{x1D719}|^{2}w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt\nonumber\\ \displaystyle & & \displaystyle +\,\frac{1}{\unicode[STIX]{x1D700}}\int _{\unicode[STIX]{x1D6F4}}\unicode[STIX]{x1D6FC}|\unicode[STIX]{x1D719}|w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}-\frac{1}{\unicode[STIX]{x1D700}}\int _{\unicode[STIX]{x1D6F4}}\unicode[STIX]{x1D6FC}|\unicode[STIX]{x1D719}|^{2}w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}.\nonumber\end{eqnarray}$$
By integration by parts we have
$$\begin{eqnarray}\displaystyle -\frac{1}{\unicode[STIX]{x1D700}}\int _{\unicode[STIX]{x1D6FA}}\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D719}\unicode[STIX]{x2202}_{t}\bar{\unicode[STIX]{x1D719}}w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt & = & \displaystyle -\frac{1}{\unicode[STIX]{x1D700}}\int _{\unicode[STIX]{x1D6F4}}\unicode[STIX]{x1D6FC}|\unicode[STIX]{x1D719}|w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}+\frac{1}{\unicode[STIX]{x1D700}}\int _{\unicode[STIX]{x1D6F4}}\unicode[STIX]{x1D6FC}|\unicode[STIX]{x1D719}|^{2}w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\nonumber\\ \displaystyle & & \displaystyle +\,\int _{\unicode[STIX]{x1D6FA}}\biggl(-2\unicode[STIX]{x1D6FC}\,\text{Re}(\unicode[STIX]{x1D6FC})+\frac{\unicode[STIX]{x1D6FC}\unicode[STIX]{x2202}_{t}\tilde{w}_{\unicode[STIX]{x1D700}}}{\unicode[STIX]{x1D700}\tilde{w}_{\unicode[STIX]{x1D700}}}\biggr)|\unicode[STIX]{x1D719}|^{2}w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt.\nonumber\end{eqnarray}$$
Finally,
$$\begin{eqnarray}\displaystyle Q_{\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D719}) & = & \displaystyle \int _{\unicode[STIX]{x1D6FA}}\langle G_{\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D6FB}_{s}-\unicode[STIX]{x1D700}t\unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D6FC})\unicode[STIX]{x1D719},(\unicode[STIX]{x1D6FB}_{s}-\unicode[STIX]{x1D700}t\unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D6FC})\unicode[STIX]{x1D719}\rangle w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt\nonumber\\ \displaystyle & & \displaystyle +\,\frac{1}{\unicode[STIX]{x1D700}^{2}}\int _{\unicode[STIX]{x1D6FA}}|\unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D719}|^{2}w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt\nonumber\\ \displaystyle & & \displaystyle +\,\frac{2\text{i}}{\unicode[STIX]{x1D700}}\int _{\unicode[STIX]{x1D6FA}}\text{Im}(\unicode[STIX]{x1D6FC})\unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D719}\bar{\unicode[STIX]{x1D719}}w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt+\int _{\unicode[STIX]{x1D6FA}}V_{\unicode[STIX]{x1D700}}|\unicode[STIX]{x1D719}|^{2}w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt,\nonumber\end{eqnarray}$$
where
$$\begin{eqnarray}V_{\unicode[STIX]{x1D700}}=|\unicode[STIX]{x1D6FC}|^{2}-2\unicode[STIX]{x1D6FC}\,\text{Re}(\unicode[STIX]{x1D6FC})+\unicode[STIX]{x1D6FC}\frac{\unicode[STIX]{x2202}_{t}\tilde{w}_{\unicode[STIX]{x1D700}}}{\unicode[STIX]{x1D700}\tilde{w}_{\unicode[STIX]{x1D700}}}.\end{eqnarray}$$
On
$H^{1}(\unicode[STIX]{x1D6FA},w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt)$
we can also consider the forms defined by
$$\begin{eqnarray}\widehat{Q}_{\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D719})=\int _{\unicode[STIX]{x1D6FA}}|\unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D719}|^{2}\,d\unicode[STIX]{x1D70E}\,dt+\frac{1}{\unicode[STIX]{x1D700}^{2}}\int _{\unicode[STIX]{x1D6FA}}|\unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D719}|^{2}\,d\unicode[STIX]{x1D70E}\,dt+\int _{\unicode[STIX]{x1D6FA}}V_{\mathsf{eff}}|\unicode[STIX]{x1D719}|^{2}\,d\unicode[STIX]{x1D70E}\,dt\end{eqnarray}$$
and
$$\begin{eqnarray}Q_{\mathsf{eff}}(\unicode[STIX]{x1D719})=\int _{\unicode[STIX]{x1D6FA}}|\unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D719}|^{2}\,d\unicode[STIX]{x1D70E}\,dt+\int _{\unicode[STIX]{x1D6FA}}V_{\mathsf{eff}}|\unicode[STIX]{x1D719}|^{2}\,d\unicode[STIX]{x1D70E}\,dt.\end{eqnarray}$$
We denote by
$\mathscr{L}_{\unicode[STIX]{x1D700}}$
,
$\widehat{\mathscr{L}}_{\unicode[STIX]{x1D700}}$
and
$\mathscr{L}_{\mathsf{eff}}$
the operators corresponding to the forms
$Q_{\unicode[STIX]{x1D700}}$
,
$\widehat{Q}_{\unicode[STIX]{x1D700}}$
and
$Q_{\mathsf{eff}}$
, respectively.
4.3 On the new operator
$\mathscr{L}_{\unicode[STIX]{x1D700}}$
If
$U_{\unicode[STIX]{x1D700}}$
denotes the composition of the unitary transform associated with
$\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D700}}$
and
$\tilde{U} _{\unicode[STIX]{x1D700}}$
, we write
$\mathscr{L}_{\unicode[STIX]{x1D700}}=U_{\unicode[STIX]{x1D700}}\mathscr{P}_{\unicode[STIX]{x1D700}}U_{\unicode[STIX]{x1D700}}^{-1}$
and the estimate of Theorem 1.5 can be rewritten as
$$\begin{eqnarray}\Vert (\mathscr{L}_{\unicode[STIX]{x1D700}}-z)^{-1}-(\mathscr{L}_{\mathsf{eff}}-z)^{-1}\unicode[STIX]{x1D6F1}\Vert _{{\mathcal{L}}(L^{2}(\unicode[STIX]{x1D6FA}))}\lesssim \unicode[STIX]{x1D700}.\end{eqnarray}$$
As
$\mathscr{P}_{\unicode[STIX]{x1D700}}$
, the operator
$\mathscr{L}_{\unicode[STIX]{x1D700}}$
is
$m$
-accretive. We have the following accretivity estimate when
$\unicode[STIX]{x1D700}$
goes to
$0$
.
Lemma 4.1. If
$\unicode[STIX]{x1D700}_{0}>0$
is small enough there exist
$M_{0}\geqslant 0$
and
$c_{0}>0$
such that, for
$\unicode[STIX]{x1D700}\in (0,\unicode[STIX]{x1D700}_{0})$
,
$M\geqslant M_{0}$
and
$\unicode[STIX]{x1D719}\in H^{1}(\unicode[STIX]{x1D6FA})$
, we have
$$\begin{eqnarray}\text{Re}(Q_{\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D719}))+M\Vert \unicode[STIX]{x1D719}\Vert _{L^{2}(\unicode[STIX]{x1D6FA})}^{2}\geqslant c_{0}\biggl(\Vert \unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D719}\Vert _{L^{2}(\unicode[STIX]{x1D6FA})}^{2}+\frac{1}{\unicode[STIX]{x1D700}^{2}}\Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D719}\Vert _{L^{2}(\unicode[STIX]{x1D6FA})}^{2}+\Vert \unicode[STIX]{x1D719}\Vert _{L^{2}(\unicode[STIX]{x1D6FA})}^{2}\biggr).\end{eqnarray}$$
Proof. There exists
$C_{1}\geqslant 0$
such that, for
$\unicode[STIX]{x1D700}\in (0,\unicode[STIX]{x1D700}_{0})$
and
$\unicode[STIX]{x1D719}\in H^{1}(\unicode[STIX]{x1D6FA})$
, we have
$$\begin{eqnarray}\displaystyle \text{Re}(Q_{\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D719})) & {\geqslant} & \displaystyle (1-C_{1}\unicode[STIX]{x1D700})\Vert (\unicode[STIX]{x1D6FB}_{s}-\unicode[STIX]{x1D700}t\unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D6FC})\unicode[STIX]{x1D719}\Vert ^{2}+\frac{1-C_{1}\unicode[STIX]{x1D700}}{\unicode[STIX]{x1D700}^{2}}\Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D719}\Vert ^{2}\nonumber\\ \displaystyle & & \displaystyle -\,\frac{2\Vert \text{Im}(\unicode[STIX]{x1D6FC})\Vert _{\infty }(1+C_{1}\unicode[STIX]{x1D700})}{\unicode[STIX]{x1D700}}\Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D719}\Vert \Vert \unicode[STIX]{x1D719}\Vert -C_{1}\Vert \unicode[STIX]{x1D719}\Vert ^{2}.\nonumber\end{eqnarray}$$
For some
$C_{2}\geqslant 0$
, we also have
$$\begin{eqnarray}\Vert (\unicode[STIX]{x1D6FB}_{s}-\unicode[STIX]{x1D700}t\unicode[STIX]{x1D6FB}\unicode[STIX]{x1D6FC})\unicode[STIX]{x1D719}\Vert ^{2}\geqslant (1-\unicode[STIX]{x1D700})\Vert \unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D719}\Vert ^{2}-C_{2}\Vert \unicode[STIX]{x1D719}\Vert ^{2}\end{eqnarray}$$
and
$$\begin{eqnarray}\displaystyle & & \displaystyle \frac{1-C_{1}\unicode[STIX]{x1D700}}{\unicode[STIX]{x1D700}^{2}}{\Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D711}\Vert }^{2}-\frac{2\Vert \text{Im}(\unicode[STIX]{x1D6FC})\Vert _{\infty }(1+C_{1}\unicode[STIX]{x1D700})}{\unicode[STIX]{x1D700}}\Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D711}\Vert \Vert \unicode[STIX]{x1D711}\Vert \nonumber\\ \displaystyle & & \displaystyle \quad =(1-C_{1}\unicode[STIX]{x1D700})\biggl(\frac{{\Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D711}\Vert }^{2}}{\unicode[STIX]{x1D700}^{2}}-\frac{\Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D711}\Vert }{\unicode[STIX]{x1D700}}\frac{2\Vert \text{Im}(\unicode[STIX]{x1D6FC})\Vert _{\infty }(1+C_{1}\unicode[STIX]{x1D700})\Vert \unicode[STIX]{x1D711}\Vert }{1-C_{1}\unicode[STIX]{x1D700}}\biggr)\nonumber\\ \displaystyle & & \displaystyle \quad \geqslant (1-C_{1}\unicode[STIX]{x1D700})\frac{{\Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D711}\Vert }^{2}}{2\unicode[STIX]{x1D700}^{2}}-C_{2}\Vert \unicode[STIX]{x1D711}\Vert ^{2}.\nonumber\end{eqnarray}$$
The conclusion follows if
$\unicode[STIX]{x1D700}_{0}>0$
is chosen small enough.◻
A remarkable property of
$\mathscr{L}_{\unicode[STIX]{x1D700}}$
is the following complex symmetry (cf. [Reference Borisov and Krejčiřík1]).
Lemma 4.2. Let
$\unicode[STIX]{x1D700}>0$
and
$z\in \mathbb{C}$
. If
$z\in \mathbb{C}$
is an eigenvalue for
$\mathscr{L}_{\unicode[STIX]{x1D700}}$
then
$\overline{z}$
is an eigenvalue for
$\mathscr{L}_{\unicode[STIX]{x1D700}}^{\ast }$
. In particular, the operator
$\mathscr{L}_{\unicode[STIX]{x1D700}}$
has no residual spectrum.
Proof. Since
$\mathscr{L}_{\unicode[STIX]{x1D700}}$
is unitarily equivalent to
$\mathscr{P}_{\unicode[STIX]{x1D700}}=\mathscr{P}_{\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FC}}$
, it is sufficient to prove the result for
$\mathscr{P}_{\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FC}}$
. Notice that
$\mathsf{Dom}(Q_{\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FC}}^{1})=\mathsf{Dom}(Q_{\unicode[STIX]{x1D700},\overline{\unicode[STIX]{x1D6FC}}}^{1})$
. Moreover, for
$\unicode[STIX]{x1D719},\unicode[STIX]{x1D713}\in \mathsf{Dom}(Q_{\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FC}}^{1})$
we have
$Q_{\unicode[STIX]{x1D700},\overline{\unicode[STIX]{x1D6FC}}}^{1}(\unicode[STIX]{x1D719},\unicode[STIX]{x1D713})=\overline{Q_{\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FC}}^{1}(\unicode[STIX]{x1D713},\unicode[STIX]{x1D719})}$
, so
$\mathscr{P}_{\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FC}}^{\ast }=\mathscr{P}_{\unicode[STIX]{x1D700},\overline{\unicode[STIX]{x1D6FC}}}$
. Now let
$\unicode[STIX]{x1D713}\in \mathsf{Dom}(\mathscr{P}_{\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FC}})$
. For all
$\unicode[STIX]{x1D719}\in \mathsf{Dom}(Q_{\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FC}}^{1})$
, we have
$$\begin{eqnarray}Q_{\unicode[STIX]{x1D700},\overline{\unicode[STIX]{x1D6FC}}}^{1}(\unicode[STIX]{x1D719},\overline{\unicode[STIX]{x1D713}})=\overline{Q_{\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FC}}^{1}(\overline{\unicode[STIX]{x1D719}},\unicode[STIX]{x1D713})}=\overline{\langle \overline{\unicode[STIX]{x1D719}},\mathscr{P}_{\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FC}}\unicode[STIX]{x1D713}\rangle }=\langle \unicode[STIX]{x1D719},\overline{\mathscr{P}_{\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FC}}\unicode[STIX]{x1D713}}\rangle .\end{eqnarray}$$
This proves that
$\overline{\unicode[STIX]{x1D713}}\in \mathsf{Dom}(\mathscr{P}_{\unicode[STIX]{x1D700},\overline{\unicode[STIX]{x1D6FC}}})$
and
$\mathscr{P}_{\unicode[STIX]{x1D700},\overline{\unicode[STIX]{x1D6FC}}}\unicode[STIX]{x1D713}=\overline{\mathscr{P}_{\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FC}}\unicode[STIX]{x1D713}}$
. Thus, if we denote by
$J$
the complex conjugation, we get that
$\mathscr{P}_{\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FC}}$
is
$J$
-self-adjoint,
$$\begin{eqnarray}\mathscr{P}_{\unicode[STIX]{x1D700},\overline{\unicode[STIX]{x1D6FC}}}=J\mathscr{P}_{\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FC}}J.\end{eqnarray}$$
The conclusion follows. ◻
4.4 Proof of Theorem 1.5
Theorem 1.5 will be a consequence of the following proposition.
Proposition 4.3. There exist
$\unicode[STIX]{x1D700}_{0},C>0$
such that, for all
$\unicode[STIX]{x1D700}\in (0,\unicode[STIX]{x1D700}_{0})$
,
$\unicode[STIX]{x1D711}\in \mathsf{Dom}(\widehat{\mathscr{L}}_{\unicode[STIX]{x1D700}}^{\ast })$
and
$\unicode[STIX]{x1D713}\in \mathsf{Dom}(\mathscr{L}_{\unicode[STIX]{x1D700}})$
,
$$\begin{eqnarray}|Q_{\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D711},\unicode[STIX]{x1D713})-\widehat{Q}_{\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D711},\unicode[STIX]{x1D713})|\leqslant C\unicode[STIX]{x1D700}\Vert \unicode[STIX]{x1D711}\Vert _{\widehat{\mathscr{L}}_{\unicode[STIX]{x1D700}}^{\ast }}\Vert \unicode[STIX]{x1D713}\Vert _{\mathscr{L}_{\unicode[STIX]{x1D700}}}.\end{eqnarray}$$
Proof. We set
$$\begin{eqnarray}\mathsf{D}_{\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D711},\unicode[STIX]{x1D713})=Q_{\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D711},\unicode[STIX]{x1D713})-\widehat{Q}_{\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D711},\unicode[STIX]{x1D713}).\end{eqnarray}$$
Using the Taylor formula, we get
$$\begin{eqnarray}|\mathsf{D}_{\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D711},\unicode[STIX]{x1D713})|\lesssim \unicode[STIX]{x1D700}\Vert \unicode[STIX]{x1D711}\Vert _{H_{s}^{1}}\Vert \unicode[STIX]{x1D713}\Vert _{H_{s}^{1}}+\frac{1}{\unicode[STIX]{x1D700}}\Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D711}\Vert \Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}\Vert +\biggl|\frac{2}{\unicode[STIX]{x1D700}}\int _{\unicode[STIX]{x1D6FA}}\text{Im}(\unicode[STIX]{x1D6FC})\unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}\bar{\unicode[STIX]{x1D711}}w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt\biggr|,\end{eqnarray}$$
where
$\Vert \unicode[STIX]{x1D713}\Vert _{H_{s}^{1}}^{2}=\Vert \unicode[STIX]{x1D713}\Vert _{L^{2}(\unicode[STIX]{x1D6FA})}^{2}+\Vert \unicode[STIX]{x1D6FB}_{s}\unicode[STIX]{x1D713}\Vert _{L^{2}(\unicode[STIX]{x1D6FA})}^{2}$
. The most delicate term is the last one. We have
$$\begin{eqnarray}\displaystyle & & \displaystyle \biggl|Q_{\unicode[STIX]{x1D700}}(t\,\text{Im}(\unicode[STIX]{x1D6FC})\unicode[STIX]{x1D711},\unicode[STIX]{x1D713})-\frac{1}{\unicode[STIX]{x1D700}^{2}}\int \text{Im}(\unicode[STIX]{x1D6FC})\unicode[STIX]{x2202}_{t}(t\overline{\unicode[STIX]{x1D711}})\unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt\biggr|\nonumber\\ \displaystyle & & \displaystyle \quad \lesssim \Vert \unicode[STIX]{x1D711}\Vert _{H_{s}^{1}}\Vert \unicode[STIX]{x1D713}\Vert _{H_{s}^{1}}+\frac{1}{\unicode[STIX]{x1D700}}\Vert \unicode[STIX]{x1D711}\Vert \Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}\Vert ,\nonumber\end{eqnarray}$$
so
$$\begin{eqnarray}\displaystyle & & \displaystyle \biggl|Q_{\unicode[STIX]{x1D700}}(t\,\text{Im}(\unicode[STIX]{x1D6FC})\unicode[STIX]{x1D711},\unicode[STIX]{x1D713})-\frac{1}{\unicode[STIX]{x1D700}^{2}}\int \text{Im}(\unicode[STIX]{x1D6FC})\overline{\unicode[STIX]{x1D711}}\unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt\biggr|\nonumber\\ \displaystyle & & \displaystyle \quad \lesssim \Vert \unicode[STIX]{x1D711}\Vert _{H_{s}^{1}}\Vert \unicode[STIX]{x1D713}\Vert _{H_{s}^{1}}+\frac{1}{\unicode[STIX]{x1D700}^{2}}\Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D711}\Vert \Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}\Vert +\frac{1}{\unicode[STIX]{x1D700}}\Vert \unicode[STIX]{x1D711}\Vert \Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}\Vert .\nonumber\end{eqnarray}$$
Since
$Q_{\unicode[STIX]{x1D700}}(t\,\text{Im}(\unicode[STIX]{x1D6FC})\unicode[STIX]{x1D711},\unicode[STIX]{x1D713})=\langle t\,\text{Im}(\unicode[STIX]{x1D6FC})\unicode[STIX]{x1D711},\mathscr{L}_{\unicode[STIX]{x1D700}}\unicode[STIX]{x1D713}\rangle$
, we obtain
$$\begin{eqnarray}\displaystyle \biggl|\frac{1}{\unicode[STIX]{x1D700}}\int \text{Im}(\unicode[STIX]{x1D6FC})\unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}\overline{\unicode[STIX]{x1D711}}w_{\unicode[STIX]{x1D700}}\,d\unicode[STIX]{x1D70E}\,dt\biggr| & {\lesssim} & \displaystyle \unicode[STIX]{x1D700}\Vert \unicode[STIX]{x1D711}\Vert _{H_{s}^{1}}\Vert \unicode[STIX]{x1D713}\Vert _{H_{s}^{1}}+\frac{1}{\unicode[STIX]{x1D700}}\Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D711}\Vert \Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}\Vert \nonumber\\ \displaystyle & & \displaystyle +\,\Vert \unicode[STIX]{x1D711}\Vert \Vert \unicode[STIX]{x2202}_{t}\unicode[STIX]{x1D713}\Vert +\unicode[STIX]{x1D700}\Vert \mathscr{L}_{\unicode[STIX]{x1D700}}\unicode[STIX]{x1D713}\Vert \Vert \unicode[STIX]{x1D711}\Vert .\nonumber\end{eqnarray}$$
We conclude with Lemma 4.1. ◻
By Proposition 4.3, there exists
$C\geqslant 0$
such that, for
$z\in K$
,
$\unicode[STIX]{x1D711}\in \mathsf{Dom}((H_{\unicode[STIX]{x1D700}}^{\mathsf{eff}})^{\ast })$
and
$\unicode[STIX]{x1D713}\in \mathsf{Dom}(H_{\unicode[STIX]{x1D700}})$
, we have
$$\begin{eqnarray}|Q_{\unicode[STIX]{x1D700}}^{\mathsf{eff}}(\unicode[STIX]{x1D711},\unicode[STIX]{x1D713})-z\langle \unicode[STIX]{x1D711},\unicode[STIX]{x1D713}\rangle -(Q_{\unicode[STIX]{x1D700}}(\unicode[STIX]{x1D711},\unicode[STIX]{x1D713})-z\langle \unicode[STIX]{x1D711},\unicode[STIX]{x1D713}\rangle )|\leqslant C\unicode[STIX]{x1D700}\Vert \unicode[STIX]{x1D711}\Vert _{(H_{\unicode[STIX]{x1D700}}^{\mathsf{eff}}-z)^{\ast }}\Vert \unicode[STIX]{x1D713}\Vert _{H_{\unicode[STIX]{x1D700}}-z}.\end{eqnarray}$$
Finally, we apply Lemmas 2.4 and 1.7, and Theorem 1.5 follows.
Acknowledgements
The authors would like to thank the Centre International de Rencontres Mathématiques in Marseille for its support during two weeks in August and September 2016 where this research was initiated in the framework of a Research-In-Pairs grant. The research of P.S. was supported by the Swiss National Science Foundation, SNF Ambizione grant no. PZ00P2_154786. D.K. and P.S. were partially supported by FCT (Portugal) through project PTDC/MAT-CAL/4334/2014. D.K. was partially supported by the GACR grant No. 18-088355.
