Theorem 5.4
Let be bounded with -boundary, , and let . Let
satisfy Hypothesis 3.1. Assume moreover
that for , is real .
Let .
Consider a point , and denote for all , .
Translate to , and let be a neighborhood of
where, after a rotation,
has the form for a function with , . By a
dilation we can assume that contains , where .
Then there exists a such that the following holds: There is a bounded
-domain with , and an operator satisfying Hypothesis 3.1 such that for supported in ,
|
|
|
(5.4) |
(some ), where is -sectorial on for some
. Consequently, for any
|
|
|
(5.5) |
Proof.
Departing from Proposition 5.2, we will show the formula by use of a scaling argument, making it possible
to find a small set where and
have so small values that the resolvent estimates for
can
be carried over to . To perform the scaling argument more easily we translated to .
Step 1 (Small perturbations of constant coefficients and flat domains): We introduce an auxiliary domain:
Along with , consider for all , coinciding with when
but vanishing for . We now choose a set
such that for , it is a subset of the slab
containing the cylindrical set , and for it is the set .
The diffeomorphism sends bijectively to ; it acts as the identity on points
outside the cylinder , and maps to a set , which
has the boundary piece in common with . Denote .
Recall from [2, Section 6] that under the diffeomorphism
on , a suitable
operator , acting on functions defined on or , is carried over to the operator .
Now a slight variant of [2, Proposition 6.5] is needed:
Lemma 5.5
Let , , and .
For any
there exist and such that if
|
|
|
(5.6) |
then .
The proof of this lemma is given below.
We continue the proof of Theorem 5.4, with defined there. Here we have that Proposition 5.2 applies to
considered over . Then Proposition 4.6 can be applied to
as a perturbation of , when the norm difference is small enough,
and by Lemma 5.5,
this can be obtained when the symbol
estimates of and -estimate of in
(5.6) are small enough. Thus we get for such and close to and , resp.:
|
|
|
(5.7) |
and moreover, the family is -bounded for
(here stands for the
Dirichlet realization of on ).
For such and , a
similar estimate can be concluded for over , by changing variables back to
:
|
|
|
(5.8) |
also -boundedness is preserved here, cf. Remark 5.3.
Step 2 (Local scaling): We will now use a scaling argument to reduce the statement for a general operator to the case considered in the first step, i.e., an operator with a symbol close to a constant coefficient operator , when applied to functions supported in a
sufficiently small ball around .
Recalling that , we define for :
|
|
|
(5.9) |
for all , .
Define moreover
|
|
|
(5.10) |
Because of the homogeneity of , for all and and therefore
for all , . Hence .
For and we shall write for the function .
We have with
for all and all suitable :
|
|
|
(5.11) |
Then, by use of
|
|
|
(5.12) |
Denote , , so
that (5.12) reads
|
|
|
(5.13) |
Recall from [2, Lemma 6.7]
the technical lemma that serves to control remainder terms:
Lemma 5.6
For any there is some such that for all
|
|
|
(5.14) |
Define
to be like for , and for to be of the form
. Using Lemma 5.6, we can apply the same argumentation as around (5.7)
to the difference to show that for a
sufficiently small ,
has an estimate
|
|
|
This is carried back by diffeomorphism to show that
has an estimate
|
|
|
(5.15) |
Here the family is -bounded for , and then so is the family .
We fix such a in the following!
Note that when is supported in , then identifies with .
For functions supported in
, can be replaced by
, since is defined here by
the localization using , which equals for
(cf. the definition of the transmission space by local coordinates).
Now we consider a function with
support in . By the definition of , the
function is in , supported in
. We insert in (5.13), replace by
by subtracting from both sides, and multiply the resulting equation by
, so that the validity extends to .
We shall moreover
multiply the equation by for a
small ; it satisfies . This gives, since ,
|
|
|
|
|
|
|
|
Here we can moreover use that
|
|
|
so that we get
|
|
|
(5.16) |
Denote — it is bounded from to — then (5.16) takes the
form
|
|
|
(5.17) |
When , is bounded in , and when
, it satisfies an inequality (4.13) since . Then
we can apply Proposition 4.6 with and over
, finding that the Dirichlet problem for over
has the desired type of estimate for some sufficiently large:
|
|
|
(5.18) |
for all , with -boundedness of the family
for .
Step 3 (Scaling back):
Finally, this will be scaled back to a replacement of
(recall that it is short for ) by . The set will then be
replaced by a set , where
the important observation is that the piece where ,
, is carried over to the piece where , , which coincides with a piece of . The
operator is (by a formula as in (5.11)) carried over to an operator we shall call
(by a slight abuse of notation);
|
|
|
and now has the appropriate -sectoriality over . Note also that carries over to
. Formula (5.17) then takes
the form
|
|
|
showing (5.4). Multiplication by on both sides gives
(5.5), ending the proof of Theorem 5.4.
∎
Proof
of Lemma 5.5:
Proposition 6.5 in [2] shows this with replaced by
(the difficult part is the change of variables, prepared there
in Theorem 5.13). We note that in the latter proposition it is assumed that is strongly elliptic and even. But for the estimate in (5.6) this is not needed. To obtain the statement in the lemma, we decompose a function
, by use of fixed
smooth cut-off functions, into three terms , with
, , and
;
all three belonging to
. The term can also be viewed as an
element of , and the rule in [2, Proposition 6.5] pertaining to and applies. This yields if is sufficiently small. For the
term there is a similar rule pertaining to the halfspace
and
the curved halfspace . For there is a simpler rule since
the variable is not shifted. The norm
will then be dominated by the norms in (5.6) (times ), and
so will, a fortiori, the norm .
This shows the lemma.
Proof.
We can assume , since is a do of order
to which Proposition 4.6 can be applied as soon as the
estimates are established for . (One here uses Remark 4.9,
observing that is .)
By Theorem 5.4, there is for every a ball
and an auxiliary -domain and -sectorial operator on such that when with support in
and ; here the , , are
neighborhoods of the kind () described before (2.15). A related statement holds for
interior points , by Proposition 5.7; here the auxiliary domain
is simply .
Since is compact, there is a finite cover , , of
by such balls. Introduce a partition of unity (with , satisfying on
), and choose functions that are 1 on . Denote by and
the associated operator and domain for which
|
|
|
(5.22) |
holds when with , and , , according to
Theorem 5.4 and Proposition
5.7.
We want to construct an approximate inverse of by use of
these identities in the local coordinate patches.
For a given , let
be the family of functions satisfying
|
|
|
By multiplication by , we find , and hence
|
|
|
(5.23) |
Multiplication by gives
|
|
|
By Theorem 5.4 and Proposition 5.7, the left-hand side equals , hence
|
|
|
In particular,
|
|
|
(5.24) |
Here we observe that
|
|
|
when is considered as extended by 0 outside .
For the left-hand side of (5.24), we note that by a commutation with ,
|
|
|
since , and for the right-hand side,
|
|
|
this leads to the formula
|
|
|
(5.25) |
Here is a do of order and is of order
; the latter order is and the former is so when .
Now compose all this with
,
arriving at
|
|
|
(5.26) |
This has the form of an - bounded operator family acting on and two
operators acting on with lower
order factors, one of them applied to the global . Summation over gives a
representation of as an - bounded sum and a
remainder term that should behave better for :
|
|
|
(5.27) |
Here we let , where . The first line shows:
|
|
|
(5.28) |
To obtain a useful formula for from and
is easiest when , since all the and
are then bounded in -norm. However, we shall give just one formulation of
the proof that works for all .
Consider
|
|
|
(5.29) |
If the series converges, then
|
|
|
so
|
|
|
This is the equation, should solve, cf. (5.28). If
is invertible in a suitable sense,
we can conclude that
.
Let us first investigate the invertibility of . We have for the standard resolvent
estimates when :
|
|
|
when .
Since , there is an
interpolation inequality (as in (4.11))
|
|
|
(5.30) |
where , equal to if
and if . Then for ,
|
|
|
|
|
|
|
|
|
|
|
|
It follows that
|
|
|
Thus for sufficiently large,
converges in , so
is bijective there, and since and range in
the subspace , identifies with .
Now let us show -boundedness for large . The ’th term
in the series is
|
|
|
For , has an -bound estimated by
|
|
|
|
|
|
by the sum and product rules. Since is of order , we can use Theorem 4.8 ,
(5.30) and the fact that to
show that for , the -bound of the second factor in each term is
when . Denote
|
|
|
For a given , take so large that for all
,
|
|
|
(5.31) |
Then by summation over ,
|
|
|
For there are similar formulas with factors of
the second type:
|
|
|
Here we find the estimate
|
|
|
Then, if we adapt the choice of such that (5.31) holds with , the
series (5.29) converges with respect to -bounds (by [11, Proposition 4.8]). Then has been determined and is -sectorial on .
∎