This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
uniformly with respect to ~ , Eh Il when I3 = exp(ihS),one
-
finds, using (2.8.49), that
IuliS)
,E,h 5
where the constant
C
CI
jlul I
( S )
.E,h'
V u E
1 H ( S ) ,E,h(%,+)
does not depend on ( ~ , h ) E Il
5 c inf
IUITs),E,h
1
and the extension 1. EO rho
The last inequality yields:
1 llul I ( s ) ,E,h = c I'I
'ls)
,E,h'
V (E,h) E Jl
1 V u E H (s),~,h(%,+)
EO,ho'
.
One uses the open mapping theorem and its corollary (see, for instance, [Rud, p.49, Corollary 2.12 (d)1 for showing that 1 I V u E H ( s ) , ~ , h ( ~ h , +' ) (Erh) 'Eo,h0
V h
1 jul I (s).E,h +
We emphasize, one more time, that 'lI is an orthogonal projector, 2 1 h 2 1
> 0, in L (T ) onto the functions in L (T ) which can be extended
1 analytically on the exterior of T1 in C , including the infinity: of course, II- is an orthogonal projector in L2 (T1 ) , V h > 0, onto the functions in h 1 L2(T1), which can be extended analytically on the interior of T 1 Let U = (x+,x-) C R be a finite interval and let Uh = U n % . We
.
assume that x+ E Uh.
-
Consider first the case s2 L 0, covering of
s3 L
by two open intervals U
0 integer. Let
and
U-
the corresponding partition of unity, i.e. X? E X,(X)+X_(X)
: 1,
v
x E
5,
U+ U U-
be a
and denote by {X+(x) ,X- (x)1 C
m
o (U* )
and
X+(X+) = 0. - - = 1, X+(X-) - +
2 . Sobolev Spaces of Vedorial Order
210
For a meshfunction u(E,h,-)
:
Uh
+
, denote
C, ( ~ , h )E JIE
0rh0
U+(E,h,X)
=
(X+u)(E,h,x++x), u-(E,~,x)= (X-
and define the norm of u of order s E R
[
where
1 - 1 1' ( s ) ,E,h are
3
,
U)
(E,h,x--x)
as follows
the norms (2.8.49).
Definition 2.8.24.
The space
H (s).E,h(Uh ) is d e f i n e d t o c o n s i s t o f a l l meshfunctions
n o m s (2.8.50)
.
finite f o r each ( ~ , h )E Il
The space
H
u with
€Ofh0 (u) c o n s i s t s o f a l l meshfunctions u E
(S)
H
(u
(s),E,h h
)
such
that
One defines the quotient-space H where
Ho( S ) (U)
' ''
(S)
is again the subspace of
functions u whose norms
For functions Q(e,h,-)
:
( S ),5
,h,Uh
aUh
C
+
(u)
=
ff
H ( S ) (U),
( S )
(U)/Hys) (U) as previously,
consisting of all mesh-
vanish When (E,h) -t ( 0 , O ) .
the norms of order 1 E IR are
introduced as previously
H1 , ~ ,(aU h h ) the family of spaces of functions Q with norms finite, V (&,h) E JIE
We denote by (2.8.52)
0gho
Further, introducing the norm
H1(aU) the space of Q with norm previously H (au) stands for the quotient 1 denote by
(2.8.53)
space
the subspace of functions Q whose norms (2.8.52)
finite, while, as
0 H1(au)/Hl(au)
with
0 H,(au)
vanish, when (E,h) + ( 0 , O ) .
Remark 2.8.25. The norms, defined by (2.8.50)
depend on the partition of unity {X+,X-}.
However, it can be shown that the norms, corresponding to different choice of partition of unity are all equivalent uniformly with respect to
, so that they define the same topology in the corresponding
(E.h) E Il spaces.
'0tho
Notes
21 1
Notes Weighted spaces with a small parameter of vectorial order (0,k ,k ) with 1 2 integer k l 2 0, k 2 0, were already implicitly present in the work by 2 Vishik and Lyusternik 1 1 1 , where they appear through quadratic forms related to singularly perturbed strongly elliptic operators with homogeneous Dirichlet boundary conditions (see also Huet [l]) . This kind of spaces is also useful Lions [l]).
in singularly perturbed control problems, (see
Spaces of order (0,sl,s2)with s1 E IR,
s2
E R , have been
introduced in Demidov [l] and used for the investigation of the first boundary value problem for some classes of elliptic pseudodifferential singular perturbations
.
HBlder type spaces with a small parameter have been used in Fife [11 for establishing one-sided a priori estimates for elliptic singular perturbations with constant coefficients. 3 Sobolev type weighted spaces of vectorial order s = ( s 1 ’ s 2 ’ s 3 ) E R have been introduced in Frank [221 in order to establish two-sided a priori estimates (uniform with respect to the small parameter) for the solutions of coercive (elliptic up to the boundary) singular perturbations. Results concerning equivalence of norms in spaces of vectorial order (Lemma 2.4.2) have been obtained in Frank and Wendt [lo], as well as theones concerning the extension by zero (Theorem 2.6.6.)
(see also Frank and Heijstek [l]).
Sobolev type meshfunction spaces of any vectorial order have been introduced in Frank 171 in order to establish two-sided a priori estimates (uniform with respect to the mesh-size) for elliptic and coercive finite difference operators (Frank [8,9,11,13], see a l s o Thomee and Westergren [l], where meshfunction spaces have been used in order to get interior regularity results for a subclass of elliptic finite difference operators). Sobolev type spaces of meshfunctions, which depend on two small parameters, have been introduced in Frank [16,21,23] and ussd in order to establish two-sided a priori estimates for solutions of elliptic finite difference equations, which approximate elliptic and coercive singular perturbations (Frank [15,19,22]).
This Page Intentionally Left Blank
CHAPTER 3 SINGULAR PERTURBATIONS ON SMOOTH MANIFOLDS WITHOUT BOUNDARY
Several classes of pseudodifferential and difference singular perturbations are introduced here and the elliptic theory of these parameter dependent operators developed. A special attention is given to parameter dependent hyperbolic pseudodifferential and difference singular perturbations and corresponding classes of Fourier integral operators. 3.1.
Singular perturbations with constant symbols
With any differential operator Q ( D ) , D
=
(D1,
...,D
),
Dk = -ia/axk, with
constant coefficients one can associate the polynomial Q(<), called also symbol, so that
where F
and F - l
X-tS
are the direct and inverse Fourier transforms defined
S’X
i n Chapter 1.
The splitting of Q ( 5 ) intci a sum of homogeneous polynomials Q ( 5 ) of k degree k,
with m
=
deg Q ( E ; ) the degree of Q , is a natural graduation of Q ( 5 ) where
especially the homogeneous polynomial Q ( 5 ) of highest order,called also m principal symbol, is well defined and plays an important role in the classical elliptic theory of partial differential operators. The main object of the investigation here are differential operators Q(E,D)
whose symbols may depend upon a small parameter
that their degree deg Q depends on deg Q ( E , S ) = m, V
E
E
E
E [O,E
0
1 and such
in the following fashion:
E ( 0 . ~ ~ 1deg , Q ( 0 , S ) = m 1 < m.
A typical example of such an operator is the one appearing in the
linear Elasticity theory:
3 . Singular Perturbations on Smooth Manifolds without Boundary
214
2 2 (3.1.3)
QO(E,D)
2
= E A -A,
f o r which m = 4, m
=
A
=
-
Dk
C
lZk
2.
1 The c o r r e s p o n d i n g symbol Q
5)
(E,
O
f u n c t i o n of d e g r e e 2 i n v a r i a b l e s
(E
=
-1
E
2
15 1 4+1 5 I
,F) E
(3.1.3) can be r e p r e s e n t e d as a product Q
Rn.
R + X
(E,C) 0
i s a homogeneous
Besides, Q ( E , ~ ) i n
2 2 2 151 ( 1 + ~151 ) so t h a t
=
it is n a t u r a l t o a s s o c i a t e w i t h Q i t s v e c t o r i a l o r d e r v = ( 0 , 2 , 2 ) , which i s
t h e l e a s t v e c t o r i a l o r d e r such t h a t Q ( E , D ) 0 uniformly with r e s p e c t t o E .
:
H
(s), E ( R n )
H(S-V) , E
(W")
I f one c o n s i d e r s a s l i g h t l y d i f f e r e n t d i f f e r e n t i a l o p e r a t o r
(3.1.4)
Q(E,D) = QO(€,D)+Q1(D),
then t h e r e p r e s e n t ati o n sum of homogeneous i n
v(l)
=
(E
(3.1.4)
-1
Ql(D)
=
i s a n a t u r a l s p l i t t i n g of Q ( E , D )
,5) t e r m s
of o r d e r v(O)
> v"),
r e s p e c t i v e l y , b e s i d e s v")
(O,l,O),
1 b D l
(0,2,2) and
=
so t h a t a g a i n one c a n
view Q O ( ~ , S ) a s t h e p r i n c i p a l symbol of Q ( E , ~ ) and s h o u l d e x p e c t Q p l a y thedominant
0 to r o l e i n t h e e l l i p t i c t h e o r y of d i f f e r e n t i a l o p e r a t o r s
a f f e c t e d by t h e p r e s e n c e o f a small p a r a m e t e r .
> i s o n l y p a r t i a l , it i s n o t s u r p r i s i n g t h a t a , 5 ) principalsymboldoesnotalwaysexistforagivensymbol
Since t h e o r d e r i n g geneousin
(E
-1
4
I n f a c t , t h e polynomial Q ( E , ~ ) =
E
s p l i t i n a sum of homogeneous i n
(E
Q,
= E
4
151 -1
5
+E
2
homoQ(E,<)
4
151 + / 5 I 2 + < b . 5 > can b e s t i l l
,5) t e r m s
Q
= E
2
1514+1512
and
1 5 j 5 + < b . < > o f d e g r e e 2 and 1 r e s p e c t i v e l y , b u t t h e i r v e c t o r i a l
o r d e r s v")
= ( 0 , 2 , 2 ) and
n e i t h e r v(O)
> v"),
v(l) = (0,1,4) c a n n o t b e compared, s i n c e
n o r v(l)
> v").
A l l t h i s j u s t i f i e s t h e following
D e f i n i t i o n 3.1.1.
A function Q
:
( 0 . ~ ~x 1x n + c i s s a i d t o belong t o t h e class Pv w i t h
v = (v1,v2,v3) E R ~ i ,f ( i )Q ( E , ~ )i
s a polynomial i n 5 E
R~
w i t h c o e f f i c i e n t s belonging t o
m
c
((O,EO1).
( i i )There
e x i s t s a decovposition Q
=
such t h a t
Q+,R
Q,
can be extended a s
a homogeneous f u n c t i o n of ( E - I , ~ )E R + x mn of degree v1+v2, (3.1.5)
-1 Q o ( tE , t C )
= t
satisfying the inequality
v 1+v 2
Q,,(E,S),
t/ t
E R+, t/
(E,c)
E
R + x Rn,
3 . 1 . Singular Perturbations with Constant Symbols
and t h e remainder
R
215
s a t i s f i e s the inequality -V
(3.1.7)
151 v 2 < E c > v 3 ~ 1 5 ~ - 1 + E ) v,
/ R ( E , S L 5 CE
w i t h some p o s i t i v e c o n s t a n t
E
E
v 5
(O,Eo1,
E En,
15)
2 1,
C.
The f u n c t i o n Q ~ ( E , ~ ): IR
x
IR~.-+
c i s c a l l e d t h e p r i n c i p a l symbol o f
Q ( E , ~ ) .
- (v +u2)
Putting t =
E
in
go(€,<)=
one f i n d s :
[3.1.5),
Qo(l,~g).
E
For d e r i v i n g a p r i o r i estimates f o r e l l i p t i c s i n g u l a r p e r t u r b a t i o n s w e
i
s h a l l u s e symbols of t h e form Q ( E , ~ ; ) w i t h L(E,:',~,)
=
with
<5'>1c'/-l5',
=
<5>1-'5
and even of t h e form
which a r e w e l l d e f i n e d f o r
6 E
En-,
i s a s u b s e t of measure z e r o .
where S c IRn
D e f i n i t i o n 3.1.2.
A function L
:
( 0 . ~ ~x 1m n \ s +
t o be a symbol i n t h e c l a s s Lv
c w i t h s a c o n i c s u b s e t of measure zero, i s s a i d
=
LV(xn) with v
= (vl,v2,v3),
i f
( i ) t h e r e e x i s t s c o n s t a n t s C,m such t h a t
v
-v (3.1.8)
'is>
/L(E,S)I 5 CE
'<EF,>'
( i i ) t h e r e e x i s t s a decomposition L a homogeneous f u n c t i o n of (E-',S) E
(3.1.10)
Lo(t
-1
3
,V
E ( 0 . ~ ~X 1l R n \ S ,
= L~+R, IR+X
such t h a t L 0 can be extended a s of degree v1+v2,
(R~,{o})
v +v ~ , t 5 )= t
2Lo(~,S), V t
E IR+,
V
(E,E)
€ IR+
x
(IR~\{O})
s a t i s f y i n g t h e ineyuazity -v (3.1.11)
iLO(E,S)l
and t h e remainder
R
5 CE
v
IR(E,S)I
x
(lRn\{O})
s a t i s f i e s t h e estimate: -v
(3.1.12)
3
'151 2 < ~ 5 > v , V (E,S) E R+
5 CE
v
'151
2 < ~ 5 > v 3 ( 1 5 1 - 1 + t ) ,V E E ( 0 . ~ ~ 1V, 5 E Rn\S,
151 21 w i t h some p o s i t i v e c o n s t a n t c . The f u n c t i o n L O ( ~ , S ) : E+ x I R ~+ c i s c a l l e d t h e principaZ symbol of L.
3 . Singular Perturbations on Smooth Manifolds without Boundary
216 Lemma 3 . 1 . 3 . (1)
If L . E l u ( j )j,
( i i )If
1 L~ E
1
=
1,2, then L1L2 E L" w i t h v
IL1(E,S)I 6 C I E
w i t h a p o s i t i v e c o n s t a n t cl, (iii)L
(1)
( i v ) 1" ( 1 )
uL
n
" (2) 5 L\,
1"
V
P r o o f . With -
u(1)+v(2).
s a t i s f i e s the inequality: -V
(3.1.13)
=
(1) 1
u(l)
<5>
<ES>
" (1) 3
,v
E (O,Eo1
(E,5)
t h e n L ~ ( E , ~ ) - 'E 1 w i t h u
with the least u
>
.(I),
=
x R
n y
-u ( 1 ) .
j = 1,2.
c 1 w i t h t h e l e a s t v =< u ( j ) , j = 1,2. (2) - I, b e t h e s u b s e t where L . i s n o t d e f i n e d , m . 1 1 and l e t L . = L + R . be t h e decomposition accor1 jrO I ( i i )of D e f i n i t i o n 3 . 1 . 2 . I t i s immediate t h a t t h e symbol
j = 1 , 2 l e t S . c Rn
3
the constants in
(3.1.9)
ding t o t h e p a r t
L = L1L2 s a t i s f i e s ( 3 . 1 . 1 0 ) w i t h v = v ( 1 ) t v ( 2 ) on Rn\S
For showing
(3.1.9)
with S
= S
1
w e e s t i m a t e L ( E , S ) - L ( E , ~ )a s f o l l o w s :
"
s2-
Further, the inequality
214<5-n>l4,
5
<S>a
so t h a t ( 3 . 1 . 5 ) h o l d s f o r L
m
=
= L L
1 2
v (5,n)
with u
v a E
E n n x lRn,
R
= u ( ~ ) + v ( ~ and )
rnaxtm2 'm1 + ~ v2( ~ ) l + l v ~ ~ ) l } . O b v i o u s l y , t h e f u n c t i o n Lo
=
LloLz0 s a t i s f i e s t h e c o n d i t i o n s ( 3 . 1 . 1 0 ) ,
(3.1.11). The r e m a i n d e r R (3.1.14)
IH(E,E)
One h a s
I
6
=
L-Lo
can b e e s t i m a t e d a s f o l l o w s :
lR1(E,5)R2(E,5) /+IR1(E,5)L2,0(E,c)
I+IR2(E,c)L
3.1. Singular Perturbations with Constant Symbols -v
/R1(E,5)R2(E,t)~5
cE
217
v llcj 2<Et>v3(~5~-i+i)8
v
(E,c)
E
(o,Eol
nn\S,
151 2
1
w i t h v , = v ! 1 ) + v ! 2 ) s i n c e ( / ~ l - l + E ) -5~ C ~ S I - ~ + fEo r 151 2 1 , E 5 E 0' 1 3 3 F u r t h e r , it i s q u i t e o b v i o u s t h a t t h e t w o l a s t t e r m s i n t h e r i g h t hand -V
s i d e of
15 1 u 2 < ~ c > u( 31 5
( 3 . 1 . 1 4 ) a r e bounded by C E
a s Well.
T h i s p r o v e s t h e f i r s t p a r t of Lemma 3 . 1 . 3 .
If L 1 s a t i s f i e s (3 1 . 1 3 ) t h e n o b v i o u s l y ( 3 . 1 . 8 ) h o l d s f o r -1 L ( E , ~ )= L 1 ( c , < ) with v =
-u(').
The d i f f e r e n c e L ( E , S ) - L ( E , I ? ) c a n b e
estimated a s follows:
where C 1 and C a r e t h e same p o s i t i v e c o n s t a n t s a s i n ( 3 . 1 . 1 3 ) respectively.
v w i t h some p o s i t i v e c o n s t a n t c
2
.
E
E
R+,
v
5 E nn\iO})
and (3.1.12),
3. Singular Perturbations on Smooth Manifolds without Boundary
218
Thus, t h e f u n c t i o n L (E,S) = L l 0 ( t , t ) - ' 0 (1)
with v =
s a t i s f i e s (3.1.10).
(3.1.11)
.
-w
The remainder R = L-L
0
can b e e s t i m a t e d a s f o l l o w s :
I t i s l e f t t o t h e r e a d e r t o check
( i i i ) and
I
(iv).
D e f i n i t i o n 3.1.4.
If
L 6
then t h e family of operators
L
(3.1.15)
L(E,D)u(x)
E
-f
-1
V u
= FEex L ( E , ~ )Fx+[u,
d e f i n e d by t h e formula
L(E,D)
E
S(Rn),
i s s a i d t o belong t o O P L ~ and i s c a l l e d a s i n g u l a r p e r t u r b a t i o n . Obviously,
L(c,D)
:
S(iRn)
+
S' (Rn).
D e f i n i t i o n 3.1.5.
A singular perturbation L ( E , D )
:
i f for
v
v e c t o r i a l order v E IR' L(€,D)
: H
( s ) ,E ( n n )
S ( I R ~ -f ) S'
(nn) is s a i d t o have t h e
s € 1~~ i t can be exLended as
( m n ) uniformly w i t h r e s p e c t t o + H(s-v) ,E
E
E ( 0 , ~ ~ l .
Proposition 3.1.6.
If
L ( E , ~ )
E Lv,
then
: s(#)
L(E,D)
-f
s 8 ( m n ) has t h e v e c t o r i a L order w.
P r o_ of. _
L
If L ( E , ~ )E
(3.1.8)
then
yields L(E,D)
E
V s E Rn u n i f o r m l y w i t h r e s p e c t t o E Along w i t h L ( E , D )
E OPLw
: S(R)
+
S'(R)
D e f i n i t i o n 3.1.7. 0
(3.1.17) L
0
(E
v1
<5>
-v
0
(Rn)
1.
-f
,
0
( € , e l )
-f
L(E,E',D,),
i s c a l l e d a reduced symbol of
-V
Lv
e = (l,-l,l),
( 5 ) being a reduced symbol of L ( E , ~ ) t, h e operator OpLO OPL = L (E,D).
L(E,E) E
-V
2 < ~ < > 3 L ( ~ , 5 ) - < 5 > 2 L o ( 5 ) ) E L-,,
t h e reduced operator o f
H(s-v),E ( I R n )
d e f i n e d by t h e f o r m u l a :
The f u n c t i o n L ( 5 ) E L ( o , v 2 , 0 )
if
(O,E
( s ) ,E
w e s h a l l a l s o c o n s i d e r l a t e r t h e f a m i l y of
one d i m e n s i o n a l s i n g u l a r p e r t u r b a t i o n s L(E,<',D,)
: H
= L'(D)
i s called
3.1. Singular Perturbations with Constant Symbols
219
Lemma 3 . 1 . 8 .
( i )I f f o r L E lv a reduced symbol L
0
E 1
unique. ( i i )I f L E
Lv w i t h v 3 -2 0 has t h e reduced symbol
Proof. __ ( i ) The i n c l u s i o n ( 3 . 1 . 1 7 ) y i e l d s L
def ined
0
(6) =
e x i s t s then i t i s
(0,v2,O) L
0
then
E L(o,v2,0)
l i m E"L(€,~).
Thus Lo i s w e l l
€4-0
.
( i i )The symbol cV1L-Lo c a n b e r e w r i t t e n a s f o l l o w s :
E
v1
L(E,S)-L
0
(5)
=
-V -v < p v 2 < E p 3 ( E"1
"
3 E Since < p V 2 < ~ < > V
1 (o,v2,v3),
( 3 . 1 . 1 7 ) and Lemma 3 . 1 . 3
imply t h a t t h e
f i r s t t e r m i n t h e r i g h t hand side of t h e l a s t i d e n t i t y belongs t o For v3 2 0 one h a s : ( < E S > ' ~ - ~ E ) L(-l,l,v - 1 ) , so t h a t +l,v -1). 3 3~ a t h e symbol L ( t ) ( < ~ S > ~ ~ - lb)e l o n g s t o l(-l,v + l , v - 1 ) , a s w e l l . 2 3 D e f i n i t i o n 3.1.9. 5-1,"
The symbol L~
L E
Lv i s c a l l e d e l l i p t i c of order v i f i t s p r i n c i p a l symbol
satisfies the inequality:
(3.1.18)
-vl
IL ( E , S ) ~ 2 C E
0
w i t h some p o s i t i v e c o n s t a n t
"
J '
151 2 < ~ E > ',
V (E,S)
E
1R+
x
(Rn\{O)).
C.
The c l a s s of a l l e l l i p t i c symbols o f order v i s denoted by OPE\,
E ~ w , hile
stands for t h e corresponding c l a s s o f e l l i p t i c s i n g u l a r p e r t u r b a t i o n s
o f order v. def {w
1
w E R n , / w I = 1 ) . Using t h e homogeneity of L 0 Of d e g r e e v +u2, one c a n r e f o r m u l a t e t h e c o n d i t i o n ( 3 . 1 . 1 8 ) e q u i v a l e n t l y a s 1 follows :
Let Q
-v (3.1.19)
ILo(p,w)I
2 Cp
v '
',
V (p,w)
E 0
R+x
I n t r o d u c i n g t h e r e d u c e d p r i n c i p a l symbol L o ( C ) ,
and t h e homogeneous p r i n c i p a l symbol L o o ( c ) ,
nn.
3 . Singular Perturbations on Smooth Manifolds without Bounda y
220
- ( v +v )
(3.1.21)
L
00
(5)
2
= l i m t
3
L0(l,tS), 5 E R n ~ i O l
tJ-m
one c a n r e f o r m u l a t e e q u i v a l e n t l y t h e e l l i p t i c i t y c o n d i t i o n a s f o l l o w s : P r o p o s i t i o n 3.1.10.
0
L
If L E
admits t h e reduced p r i n c i p a l symbol L ~ ( C ) and t h e homogeneous
p r i n c i p a l symbol ~
~
~ d e(f i n5e d ) by ( 3 . 1 . 2 0 1 , ( 3 . 1 . 2 1 ) , then
L
is e l l i p t i c
( L E E )iff t h e f o l l o w i n g c o n d i t i o n s a r e s a t i s f i e d :
LOO(,)
(i)
( i i )~
~
~
v
# 0, #( 0 w,
) V
# 0, V
( i i i )L O ( p , w )
w E w
E R E R+x an.
(p,w)
Proof. -
L
If L E
i s e l l i p t i c of o r d e r v t h e n (3.1.19) h o l d s f o r V (p,w)
Multip1y':ng
letting
151
+
E
.
n
0 one g e t s ( i ) -(v2+v3) = 1 , m u l t i p l y i n g it by 151 and
( 3 . 1 . 1 9 ) by p V 1 a n d l e t t i n g p
Further, taking i n (3.1.18)
E R + x S2
+
one g e t s ( i i ).
m,
( E , C ) of o r d e r v1+v2 and ( 3 . 1 . 1 2 ) imply (iii). 0 -V ( i ) - ( i i ih )o l d s , t h e n ( i ) y i e l d s / L ( p , o ) /2 C p
The homogeneity of L Conversely, i f
0
E (O,po]
f o r V (p,w)
PO
Rn w i t h s o m e p o s i t i v e c o n s t a n t C which depends 0 0 PO '3-'1 o n l y on p o and y o = min IL (IJI) while (ii) i m p l i e s I L o ( p , w ) 2 C p wERn 0 p1 which depends f o r V (p,wl E [p,,-) X Qn w i t h some p o s i t i v e c o n s t a n t C x
I
1;
o n l y on p 1 a n d y o 0
=
min
IL
00
wERn
((0)
~. The
41
Qn b e i n g compact
s u b s e t [pO,pl]x
R ,
one can f i n d , u s i n g ( i i i ) a c o n s t a n t C > 0 s u c h t h a t n 2 C P - ~ ' < P > " ~which , i s p r e c i s e l y ( 3 . 1 . 1 9 ) and by homogeneity of 0 -1 L ( e , < ) of o r d e r v +v2 i n ( E ,C) is equivalent t o (3.1.18). I 0 1 in R IL
+
X
(p,w)
P r o p o s i t i o n 3.1.11.
Let
L ( E , D ) E O P L , ~ . Then L is e l l i p t i c o f order following e s t i m a t e holds f o r E~ small enough:
(3.1.22)
/ I ~ l l ( S ) , E ~ C ( / I L U / I ( S+ -" l l)u,lE[ ( s , ) , E ) ,v
v where the c o n s t a n t cdoes n o t depend on
alrs
=
is'
v ( L ( E , D ) E OPE")
1
SI
3
E R ,
S I
<
S ,
S;
E E
n3,
v
so E
E
E (O,E01,
a3,
$ 1
iff t h e
v
uEs(Rn),
< s, s' E airs,
and u and where
= s1}.
Proof. Let L(t,D)
be e l l i p t i c of o r d e r v and l e t L 0 ( € , C )
of L ( E , ~ ) .Witn
i
=
< 5 > \ 5 \ -15 t h e e l l i p t i c i t y o f
b e t h e p r i n c i p a l symbol L implies:
3.1. Singular Perturbations with Constant Symbols
22 1
1
C1. Denote L O ( ~ , D )= OpL ( E , E ) . Then, u s i n g t h e P a r c e v a l ' s i d e n t i t y and 0 t h e i n e q u a l i t y C 5 - P 5 1,one g e t s
The l a s t i n e q u a l i t y l e a d s t o (3.1.22) w i t h s'
=
s-e2 i f
E~
< C/(2C ) .
1
Now,
u s i n g t h e i n t e r p o l a t i o n i n e q u a l i t y (2.1.11) f o r Sobolev norms o f v e c t o r i a l o r d e r , one g e t s (3.1.22) w i t h V s'< s , s'
airs.
E
C o n v e r s e l y , assume t h a t (3.1.22) h o l d s w i t h s o m e s and s' = s-e2. Then t h e Parceval's i d e n t i t y implies:
for
v
(E,s)
E
(o,E01
x
(R~,s).
The l a s t i n e q u a l i t y i m p l i e s :
for (E,<)
E ( 0 . ~ ~x 1 ( R n \ S ) ,
positive constant C
16) 2
r w i t h r l a r g e enough, where t h e
depends o n l y on C , v and r .
The homogeneity o f L O ( ~ , S )i n
(E
-1
o f o r d e r v +v2 i m p l i e s t h a t t h e
,<)
1
l a s t i n e q u a l i t y , perhaps with a d i f f e r e n t p o s i t i v e c o n s t a n t , h o l d s f o r
v
(E,S)
E R+
x
I
(W"\IO}).
Example 3.1.12. The s i n g u l a r p e r t u r b a t i o n s
(3.1.3), (3.1.4) a r e e l l i p t i c o f o r d e r (0,2,2),
while t h e s i n g u l a r p e r t u r b a t i o n Q ( E , D ) =
E
2
4
I D 1 -1DI2 i s n o t e l l i p t i c .
Remark 3.1.13. I t i s l e f t t o t h e r e a d e r t o check t h a t any s i n g u l a r p e r t u r b a t i o n Q ( E , D )
w i t h polynomial symbol Q ( E , ~ )E p a d m i t s t h e r e d u c e d p r i n c i p a l symbol 0 and t h e homogeneous p r i n c i p a l symbol Q o o ( 5 )
Qo(S)
p~o,v2,01
The same i s t r u e f o r symbols which a r e r a t i o n a l f u n c t i o n s of 5 .
p(o,v2+v3,0)
'
3 . Singular Perturbations on Smooth Manifolds without Boundary
222
Remark 3 . 1 . 1 4 . some s ' < s s u c h t h a t s' < s l , t h e n f o r 1 s u f f i c i e n t l y s m a l l t h e s i n g u l a r p e r t u r b a t i o n L ( & , D ) , E € (@,€,,I, If
(3.1.22) h o l d s for
E
-
equiisomorphism, i . e . L -1 -1 L := Op L(E,S) : H
:= L ( s , O )
(s-")
: H
0 is m
(IRn ) and
( s ), E
(IRn),
E
E
(u,E@~,
,E
are b o t h
e q u i c o n t i n u o u s (see D e f i n i t i o n 1 . 2 . 3 3 ) .
D e f i n i t i o n 3.1.15.
An e l l i p t i c s i n g u l a r p e r t u r b a t i o n
L(E,D)
E
OPEv
is caZZed s t r o n g l y e L l i p t i c
of order u if w i t h some c o n s t a n t s 6 E [ 0 , 2 n ) , y E R+ hoZds: -v (3.1.23)
where
Re(eiCLo(s,F)) L
L ~ ( E , ~i )s
YE
u
' / 5 ( 2 < ~ 5 >3v, V
t h e p r i n c i p a l symboZ of
(E,<)
E
(IRn\{O)),
R+x
L.
Example 3 . 1 . 1 6 . The s i n g u l a r p e r t u r b a t i o n s order u
=
(3.1.131,
(3.1.14) a r e s t r o n g l y e l l i p t i c of
( 0 , 2 , 2 ) , t h e c o n s t a n t s i n ( 3 . 1 . 2 3 ) b e i n g 8 = 0 , y = 1; t h e
i D 2 + D 2 ) 4 ( 1 + ~ 2I: D;)" is e l l i p t i c I: k n llksn-1 l
= (
P r o p o s i t i o n 3.1.17.
Let
L(E,D)
E
OPE
be s t r o n g l y e l l i p t i c of order v and Zet 6, y be t h e
corresponding c o n s t a n t s in ( 3 . 1 . 2 3 ) . Then t h e r e e x i s t c o n s t a n t s
Co
and
Cl
such t h a t (3.1.24)
i6 Re<e
L(E.D)U,U> 2
(Y-C 0 E )
1 IuI 1
2 ( v / 2 ) ,E-Cll
V u E H
( v / 2 ) ,E
where < , > denotes t h e d u a l i t y betweenIl(u,2) , E
, 2 lU/
(Rn)
,
l((v-e2),2) v
(Bn)and H
E
,€,
E (O,EO1'
(-u/2) ,E
(En).
Proof. Without r e s t r i c t i o n of g e n e r a l i t y one c a n assume t h a t 8 L (6,F)
0
=
0, y
b e i n g t h e same a s i n t h e p r o o f of P r o p o s i t i o n 3 . 1 . 1 1 ,
u s i n g t h e same argument a s i n t h e p r o o f of t h i s p r o p o s i t i o n :
=
1.
one g e t s
3.1. Singular Perturbations with Constant Symbols
223
P r o p o s i t i o n 3.1.18.
Let
L ( E , D ) E OPE be s t r o n g l y e l l i p t i c o f order v w i t h p r i n c i p a l symbol L ~ ( E , ~ )Assume . t h a t L admits t h e reduced symbol L0 ( 5 ) E L and l e t
(0 'V2 , O )
0 L~
( 5 ) be t h e corresponding reduced p r i n c i p a l symbol. L e t
(3.1.25)
0 -1 0 P ( F , ~ =) L ( E , S ) - L ~ ( E , ~ ) L ~ ( LS ) ( 5 ) .
Then t h e r e e x i s t s a c o n s t a n t
c such t h a t
Proof. ___ O b v i o u s l y , t h e symbol P E identically: P
0 (3.1.12), P ( E . 5 )
consequence of
(E,S)
Z
Lu and i t s p r i n c i p a l and r e d u c e d symbols v a n i s h
0 , P o ( S ) E 0 . T h e r e f o r e , a s a consequence of
E L(u-el)
u L(u-e2),
(3.1.17), P ( E , S )
s i n c e P0 ( E , S )
E L(u-e),
. . T h i s l e a d s to t h e c o n c l u s i o n t h a t P ( E , ~ E) ).
e
=
L
Z
0. F u r t h e r , a s a
(1,-1,1),
(we)
"
0
s i n c e P ( 5 ) :0 .
('("-el)
"
L(u-e2)) =
I t i s immediate t h a t
w i t h some c o n s t a n t C > 0 and t h e l a t t e r h a s ( 3 . 1 . 2 6 ) a s i t s immediate
I
consequence. C o r o l l a r y 3.1.19.
Let
L(E,D)
E
OPEv be s t r o n g l y e l l i p t i c o f order u and l e t L O ( ~ , c )be i t s 0
0
principaZ symbo2, L (D) i t s reduced symbol and
L ~ ( D )i
symbol. Assume t h a t t h e r e i s a c o n s t a n t yo
such t h a t
Then t h e r e e x i s t s such a c o n s t a n t
c that
> 0
t s principal reduced
3. Singular Perturbations on Smooth Manifolds without Boundary
224
(3.1.28)
2 1 I U I ](v,2),E~
0 Re<eieL(E,D)u,u> 2 (YoY -CE)
V u E H
(v/2)
,E
(2) ,v
E
E
(O,Eo1.
I n f a c t , (3.1.27) is an immediate consequence o f (3.1.25)-(3.1.27). Remark 3. 1.20.
0
I f L ( E , D ) 6 OPE
a d m i t s t h e r e d u c e d symbol L ( D ) E OPE
(0,v2I O )
'
then
i n t r o d u c i n g t h e symbols
(3.1.29)
-1
0
R(E,<) = LO(~,S)LO(S)
R ( E , ~ )=
anddefining
,
S ( e , S ) = R(E,S)-~
R ( E , ~ ) ,; ( € , < I
= S(E,<),
i
with
=
< < > I t-1/ 5 ,
one
c a n w r i t e down: L(E,D)
(3.1.30) L
where
0
(D)
=
R ( E , D ) L 0 ( D ) + E Q(~E , D )
= ;(E,D)L(E,D)+EQ~(E,D),
Q 1 ( ~ , S )E L v l Q ~ ( E , S )E L ( O ,"*,o ) .
I n f a c t , t h e argument u s e d i n t h e p r o o f of P r o p o s i t i o n 3.1.18 i s 0 a p p l i c a b l e t o t h e symbols p l ( ~ , < ) L ( E , ~ ) - ~ ( E , < ) L( 5 ) and
p2(€,6) = L0 ( < ) - S-( E , < ) L ( E , S ) , s i n c e t h e i r p r i n c i p a l and r e d u c e d symbols 0 v a n i s h i d e n t i c a l l y : P . ( E , S ) 5 0 , ? . ( 5 ) :0 . JO 3 T h i s remark w i l l be u s e f u l l a t e r f o r t h e r e d u c t i o n o f s i n g u l a r
e l l i p t i c p e r t u r b a t i o n s w i t h v a r i a b l e symbols t o t h e r e g u l a r o n e s .
3.2. S i n g u l a r p e r t u r b a t i o n s w i t h homogeneous symbols Let
E 1". Then c l e a r l y t h e f a m i l y ( 0 . ~ ~3 1E
a(E,S)
-f
a ( € , . ) E S'(R;) i s
a c o n t i n u o u s l i n e a r map and one c a n r e w r i t e a ( ~ , D ) ua s t h e f o l l c w i n g
f a m i l y of c o n v o l u t i o n o p e r a t o r s :
(3.2.1)
a ( E , D ) u = (AE
where A (x) For V
=
E
F
-1
5-
*
v
U),
a ( E , c ) , ( 0 . ~ ~3 1E
-f
u E S(IRn)
,
Ac E S'(lR:).
E ( O , E ~ ] and V u E S ( R n ) t h e f u n c t i o n
r a p i d l y decreasing as
6
-f
-, so t h a t a ( ~ , D ) E u
<
m
C (IRn)
-f
,
a(E,S);(<)
V
E
E
is
(0,s01.
S i n g u l a r p e r t u r b a t i o n s whose symbols a r e homogeneous f u n c t i o n s o f (E
-1
,6) a r e
of s p e c i a l i n t e r e s t f o r t h e a p p l i c a t i o n s .
D e f i n i t i o n 3.2.1.
A function:
R+X
(R~\[o})3
(E,s)
+
a0(E,<)
E c is said to belong to t h e
3.2. Singular Perturbations with Homogeneous Symbols
symbol c l a s s Hm
V'
(i) . a
E c
i f t h e fo%%owingc o n d i t i o n s a r e s a t i s f i e d :
o i ~ x+ (IR~\IO}))
(ii) t h e r e e x i s t s a c o n s t a n t (3.2.2)
lao(E,~)I5 CE
-1
c
If a
o
-1
ao(t
E,t<)
=
> 0
such t h a t
151 2<E5>v3, v
(iii) ao(E,t) i s homogeneous i n (3.2.3)
225
(E,c)
E
R+X
(IRn\{O}),
( E - ~ , C )of degree u l + u 2 :
u +u 1 2 t ao(E,c), v t E R + , V
(€,
E IR+X(R*\IO}).
E H-u is a polynomial in 5 ,
then a (6,D) is the differential singular perturbation, 0
E
If a .
f , v2
> -n,
then R + 3
E
-f
a0 (E,.) E S'(R;)
i s a family of
regular distributions and the corresponding singular perturbation can be written as the Fourier integral (3.2.5)
aO(E,D)u(x) = (2n)-" 1 ei<x*s'
. a
(E,
5 ) ( 5 )d5,
Rn
v
E
E R + ,v u E S ( R n ) .
v 2 < 0, -(n+l) < v +v < 0. Let a E H: with u E IR3 such that -n 0 2 3 We shall compute the family of distributions IR+ 3 E + A. (E,. 1 E S ' (Rz),
(3.2.6)
-1
A (€,XI = F5+x ao(E,S),
0
which are the kernels of the convolutions a (E,D)u(x)= (A ( E , . ) * u ) (x), 0 0
u E
S(Rn).
The homogeneity of degree v + u 2 of a ( E , S ) implies: 1 0 - ( v +u +n) (3.2.7) AO(€,x) = 6 AO(X/E),
*
3 . Singular Perturbations on Smooth Manifolds without Boundary
226
Let
]5,/
=
E
-1
b0(5)
where S
=
and l e t
R
=
{y 1
-1
a n d , moreover,
v +v 2 3
(3.2.2)
=
N
,E),
E, E
( x O , x ) . Denote
(nfl+',s),
, 5, =_0 o r 5 = 01. E H yields: 0 v
E Wn+'
bO(ty) = t
(C0,5), x
=
a0(1501
/EO1
The homogeneity of a (3.2.9)
5
v -v
N
(3.2.8)
N
N
, 50 E
-
bo(5),
V t E R+, V
y
E (IRn+'\S),
implies:
w i t h some c o n s t a n t C > 0 . one c a n w r i t e
Obviously,
v -v
15,/
(3.2.11)
-1 1A0(1501
-
-1 -1 ,x) = Fg+xbO(So,C) = FX -tS F - - b o ( 5 ) . 0 X0' 5
A s a consequence of t h e assumption n+u2 > 0 , n + l + v 2 + v 3 > 0 , t h e d i s t r i b u -
tion b
0
E
S'
(R:+')
i s a r e g u l a r one a n d , t h u s ,
5
t h e i n t e g r a l i n t h e r i g h t hand s i d e o f
(3.2.13) being convergent f o r
N
x E (E?n+l\{O}) and V 6 > 0 , s i n c e ( 3 . 2 . 1 0 ) h o l d s and n+v2 > 0 , n+l+u +V > 0. 2 3 One f i n d s , u s i n g t h e homogeneity of b ( 5 ) of d e g r e e 0 N
-I-
where z + T(z) i s t h e r - f u n c t i o n , n+l = {w w E IR , = 11.
=
lTl-'T,?
=
V
2
+v 3
lxl-lz and
Therefore,
u -v (3.2.14)
A
0
(E,X)
= E
3
i ( n / 2 ) (u2+u3+n+l) r ( v 2 +v3 + n + l ) 1(2n)-(n+l)e
*
3.2. Singular Perturbations with Homogeneous Symbols
227
-
- ( v +v + n + l ) (<;',;>+is)
A f t e r t h e change of v a r i a b l e : xo
=
Ixlt,
dwdx
0'
(3.2.14) y i e l d s t h e following
formula: (3.2.15) -(n+l),
.
r ( v +u + n + l ) [ x / 2
-1 J
2
3
3
E
- ( v +v + n t l )
-1
.-iE
J
- ( v +v + n ) v3-vl
i ( n / 2 ) (v2+v3+n+l)
= (2n)
A (E,x) 0
dwdt,
'n+1 where y
=
/ x / - l x and t h e d i s t r i b u t i o n ( t + i O ) h
the distributions ( t + i G ) '
6
when
i s t h e l i m i t i n S ' ( R ) of
(see [Sch
J. 0
1
1,
[G-Sh 1
1).
Example 3 . 2 . 2 . Denote by A z ( c , x ) t h e f a m i l y of d i s t r i b u t i o n s E
0
A Z ( ~ , x =) F-l
0
X;(n)
X;(E~),
=
where z
E
-f
C,
A'(€,.) 0
E
S'(R:)
,
0 > Re z > - ( n + l ) .
X'S
Then t h e f o r m u l a ( 3 . 2 . 1 5 ) y i e l d s : (3.2.16)
- I
.
- ( n + l ) i ( n / 2 ) ( z + n + l ) r ( z + n + l~) ~ j - ( z + n ) ~ z
A'(E,x) 0
= ( 2 ~ )
-iE-l
J e
1x1 t ( t w + < Y , W > + l O )
0
- ( z + n + ld)r d t .
'n+1
-
The i n t e g r a l 1
z,n
=
( t < t > - l w 0 +
J
-(z+n+l) dw
'n+l -1 and y = 1x1 x E -1 Indeed, i n t r o d u c i n g y = < t > ( t , y ) ,
d o e s n o t depend on t
E
R
-
N
s u c h t h a t y becomes eo
=
(l,O,
...,0) E
an. = 1 and making a r o t a t i o n
one f i n d s :
W e s h a l l n o t compute h e r e t h e c o n s t a n t I and s h a l l g i v e o n l y t h e z,n f i n a l formula f o r A Z ( c , x ) w i t h 0 > R e z > - ( n + l ) :
0
A s a consequence of i t s d e f i n i t i o n ,
the function
3. Singular Perturbations on Smooth Manifolds without Bounda y
228
c a n b e e x t e n d e d a s a n e n t i r e f u n c t i o n of z E C v a l u e d i n S ' ( R n )
v
E
,
for
E R+. Of c o u r s e , one a l w a y s h a s : l i m A'(E,x) 0 €40
= 6(x)where 6(x) is the Dirac's
6-function. For z
=
1-n one c a n compute t h e i n t e g r a l o n t h e r i g h t hand s i d e o f
( 3 . 2 . 1 7 ) so t h a t
For z = 2m-n-lwhere hand s i d e of
m i s a n i n t e g e r , 1s m < ( n + 1 ) / 2 , t h e i n t e g r a l o n t h e r i g h t
( 3 . 2 . 1 7 ) c a n be a g a i n computed, u s i n g t h e r e s i d u u m
CalCUlUS,
so t h a t one f i n d s i n t h i s case:
(3.2.20)
Azm-n-l(~,x) = 21-n 2m-n-1
-
-1 2-E
1x1
.(n-1)/2r((n-1)/2-m) For Rez +n < 0 one c a n e x p r e s s A ' ( E , x )
-
f u n c t i o n s ( s e e [Grad.
If z
=
A;(E~)
0
Ryz.,
1
c 2' (2m- j - 2 ) OSjsm-1 c ' j ! ( m - l - j ) !
i n t e r m s of t h e m o d i f i e d H a n k e l ' s
1)
2m+a w i t h i n t e g e r rn > 0 a n d a E ( - 2 , 0 ) , t h e n , o b v i o u s l y , 2m = Xo ( E ~ ) X ; ( E ~ ) , so t h a t i n t h i s c a s e one g e t s t h e f o l l o w i n g
r e p r e s e n t a t i o n f o r t h e s i n g u l a r p e r t u r b a t i o n X'(ED):
0
(3.2.22)
XE (E,D)u (x) =
where A
= ( ~ - E ~ A In ~ )A; ( E , x - ~ ) u ( y )dy =
R 2 fnA;(~,x-Y) (I-€ A ) m u(y)dy, Y R
v
C a 2 / a x i i s t h e Laplace o p e r a t o r . 16kSn I n p a r t i c u l a r , u s i n g ( 3 . 2 . 1 7 ) one g e t s t h e f o r m u l a e =
A 0- ' ( E , x )
=
(3.2.23)
and f o r n = 3 t h e f o r m u l a ( 3 . 2 . 1 9 ) y i e l d s : (3.2.24)
.A -2
(E,x)
=
2 -1 - E - l ( 4 n ~1x1) e 1x1,
x
E
IR
3
.
u E S(IR?,
3.2. Singular Perturbations with Homogeneous Symbols Notice t h a t t h e d i s t r i b u t i o n s
E
.A
j.
-2
(E,x)
229
are fundamental s o l u t i o n s
2
f o r t h e d i f f e r e n t i a l s i n g u l a r p e r t u r b a t i o n 1-E A : (3.2.25)
2 (1-E A
-2
)Ao ( € , X I
V
6(x),
=
E R + , x E Bn.
E
We s h a l l e x i b i t a f o r m u l a f o r t h e s p h e r i c a l l y symmetric fundamental L
L
s o l u t i o n s f o r t h e d i f f e r e n t i a l s i n g u l a r p e r t u r b a t i o n E A -Ax,
appearing
i n t h e l i n e a r e l a s t i c i t y theory. Example 3 . 2 . 3 . Denote by
A”’-2
(E,x)
t h e f a m i l y of d i s t r i b u t i o n s F 2
xo- 2 ,
-2 (E,Sl
=
-1 x - 2 , - 2 0
S X ’
(E,S)
where
S i n c e one c a n a l s o w r i t e
I 1-
2
-E
2
<E5>
-2
,
one f i n d s , u s i n g ( 3 . 2 . 1 7 ) and t h e f o r m u l a f o r t h e s p h e r i c a l l y symmetric fundamental s o l u t i o n f o r t h e L a p l a c e o p e r a t o r : (3.2.26)
.A
-2,-2
(€,XI
=
T ( ( n - 2 ) / 2 ) l x 1 2 - n 2 -2 -E A. n/2
(E,X),
E
E R+,
X
E Rn.
4Tl I n p a r t i c u l a r , one g e t s (3.2.27)
-1 A 0 2 f - 2 ( ~ , x )= ( 4 ~ 1 x 1 ) ( l - e - €
-1 E
E R+, x E R
3
.
Example 3 . 2 . 4 . E -f Y ( E D ) , Y (E Dl = O P ( E 5 < E C > - ~ )w i l l be k k k c a l l e d s i n g u l a r l y p e r t u r b e d Riesz t y p e o p e r a t o r . W e s h a l l denote -1 (E E k < ~ F , > - ’ ) ,so t h a t one c a n w r i t e E j. Y (E,D) a s a f a m i l y Y (E,x) = F k S-tX k of s i n g u l a r i n t e g r a l o p e r a t o r s :
The s i n g u l a r p e r t u r b a t i o n
(3.2.28)
Y
k
(E,D)u(x)
I
= l i m
Yk(€,x-y)u(y)dy, V u E S(IRn).
640 I x - y [ > 6
W e s h a l l compute t h e k e r n e l d i s t r i b u t i o n Y
(E,x).
k C o n s i d e r f i r s t t h e c l a s s i c a l R i e s z o p e r a t o r Yk
=
Op(CklCl
-1
I.
One h a s : (Y u )
k
(x)
=
Op(lC
-1
)Dku(x).
1
The k e r n e l 12-l (x) o f t h e i n t e g r a l c o n v o l u t i o n o p e r a t o r Op( 15 - l ) c a n b e
0
e a s i l y computed:
230
3 . Singular Perturbations on Smooth Manifolds without Boundary
where the constant
Tk.e
C
can be found using the formula:
last formula yields:
Therefore, the integration by part
implies:
+
ic lim i 6-("+l) (xk-Yk)u( y "6J-0 lx-yl=6 - (n+l = -ic (n-1)v.p. J (x -y lx-yl Rn k k
+ ic lim i u(6w+x)w dw = k n6J-0 Rn /x-y~-(~+l = -icfi(n-l)v.p.i (x -y =n k k
Further, denoting, as previously,
E
=
/cO1-1 , -5 =
N
(C0,5), x
=
(xO,x), one
gets after the change of variable: xo = lxlt the following formula for the Riesz operator with a small parameter
:
-ix 5 0 On-(n+2)/2T((n+2)/2) v.p. xkiXl-(n+2)dx0 = =-i Je R
The operators Y (ED) can be also expressed in terms ofthe modified Hankel's k functions (see [Grad. Ryz., 1 1 ) :
-
3.2. Singular Perturbations with Homogeneous Symbols
The l a s t f o r m u l a c a n b e a l s o d e r i v e d from ( 3 . 2 . 1 7 ) , and u s i n g t h e r e l a t i o n : K ( r ) = K
231
(3.2.18), s e t t i n g z = 1
( r ), V v > 0 .
-V
Example 3.2.5. The s i n g u l a r p e r t u r b a t i o n A ( E D ) 0
=
O p < ~ pi s c a l l e d t h e
Riesz o p e r a t o r
w i t h s m a l l p a r a m e t e r . One f i n d s :
=
A -1 ( E D ) u ( x ) 0
-
C
i E
Yk(€D)
l5kSn
au ( x ) = axk
w y ayk The f o l l o w i n g s i n g u l a r p e r t u r b a t i o n of t h e one-dimensional
d
t
.
Riesz o p e r a t o r
(which i s t h e H i l b e r t t r a n s f o r m ) a p p e a r s i n t h e d i s l o c a t i o n t h e o r y ( s e e , f o r instance [ Hirth
-
Lothe,
1
1).
Example 3.2.6. Let
oE
= o p ( s g n c ( l + e x p ( - E / t / ) ) ,E,
E
R
. One
finds easily that
E +
OE i s
t h e f a m i l y of c o n v o l u t i o n o p e r a t o r s : OEU(X)
=
i
4v.p.
The m u l t i - d i m e n s i o n a l
(E,x)
u (y) ---dy x-Y
+
a n a l o g u e s of OE a r e t h e o p e r a t o r s :
One f i n d s t h e k e r n e l O k,n
0 k,n
1
= D 0
(E,x)
k n
o f t h e c o n v o l u t i o n o p e r a t o r s OE: k
(E,x),
where
For n
=
2 , e v a l u a t i n g t h e l a s t i n t e g r a l by means of t h e residuum c a l c u l u s ,
3 . Singular Perturbations on Smooth Manifolds without Boundary
232
so t h a t
(3.2.32)
0
k,2
(€,XI
= 2iT
-1
2 -3/2
2
x k ( c +41xI )
,
k = 1.2.
For n 2 2 one h a s : (3.2.33)
a
(E,x)
=
(n-1) ! 7
(2n)
71
J s i nn-2e ( ~ - i / ~ j ec) 1-n ~ sd e , 0
.
i s t h e area o f t h e u n i t s p h e r e i n R n - l where R n- 1 Hence, an e a s y c o m p u t a t i o n y i e l d s :
Of c o u r s e , i n any case, one h a s : (3.2.35)
lim
(E,x-y)u(y)dy
0
€40 Rn
=
2Yku(x),
V u E S(IR~).
krn
W e are g o i n g t o i n d i c a t e one m o r e c l a s s of s i n g u l a r p e r t u r b a t i o n s
with
homogeneous symbols, which i s i n t e r e s t i n g f o r a p p l i c a t i o n s . Example 3.2.7. Denote by AZ(ED',&D ) t h e s i n g u l a r p e r t u r b a t i o n w i t h t h e symbol
where y > 0 and z E C a r e g i v e n . F i r s t assume t h a t R e
2
< 0 . Using t h e formula
ni2/2 (3.2.37)
(-a+iB)'
=
r (-2)
t-z-l
-8t-iat
dt,
Re z < 0 ,
=+
we find that
where H(x ) i s t h e H e a v i s i d e ' s f u n c t i o n One f i n d s e a s i l y t h a t
I n f a c t , u s i n g t h e r e s i d i u m c a l c u l u s ( o r (3.2.37)
w i t h z = -11,
one f i n d s
3.2. Singular Perturbations with Homogeneous Symbols
233
Therefore,
which l e a d s t o ( 3 . 2.39) when x The f o r m u l a e ( 3 . 2 . 3 8 ) .
> 0.
( 3 . 2 . 3 9 ) imply f o r R e z < 0
so t h a t
I n t h e same manner one f i n d s f o r R e z < 0
Let R e z > 0 and l e t z
=
r + <w i t h i n t e g e r r > 0 a n d R e 5 < 0 .
W e c a n w r i t e down:
Hence.
and i n o r d e r t o f i n d t h e k e r n e l of t h e o p e r a t o r s compute t h e i n v e r s e F o u r i e r t r a n s f o r m of f i n d s:
ED' , E D -
)
one h a s t o
15' / X c ( c S ' , ~ C n ) , a s w e l l . One
*
3 . Singular Perturbations on Smooth Manifolds without Boundary
234
Using t h e same argument a s p r e v i o u s l y , one f i n d s :
so t h a t
> 0 , then t h e l a s t formula y i e l d s :
If x
we can again rewrite t h e s i n g u l a r p e r t u r b a t i o n s
Combining ( 3 . 2 . 4 0 ) - ( 3 . 2 . 4 2 ) ,
a s a f a m i l y of i n t e g r o - d i f f e r e n t i a l
,ED,)
A:(ED'
o p e r a t o r s . The s a m e argument
l e a d s t o a s i m i l a r r e p r e s e n t a t i o n f o r X-Z ( s D ' , s D n ) . F i n a l l y , i f z = r > 0 i s i n t e g e r , t h e n one u s e s o n l y ( 3 . 2 . 4 1 ) , f o r g e t t i n g a r e p r e s e n t a t i o n of A T ( E D ' , E D
)
-
(3.2.42)
a s a f a m i l y of i n t e g r o - d i f f e r e n -
t i a l operators. Example 3 . 2 . 8 . Denote by S ( E , D ) t h e s i n g u l a r p e r t u r b a t i o n , whose symbol i s t h e f o l l o w i n g
e
matrix
where 0 E ( - n / 2 , n / 2 )
is given.
The s i n g u l a r p e r t u r b a t i o n S ( E , D ) w i t h t h e symbol ( 3 . 2 . 4 3 ) f o l l o w i n g S t o k e ' s problem i n R n (E
(3.2.44)
-2 2 i 8 e -A
where u : R n
,u> -f
)u
+ v p
= f,
= 0,
Cn, p : W n +
Ax i s t h e L a p l a c i a n , B
solves the
:
x
E xtn
x
E
IRn
C a r e t o be d e t e r m i n e d ,
: En+ C is
f
i s t h e g r a d i e n t and
=
given,
au/ax.. l<j
'
One c h e c k s e a s i l y u s i n g t h e F o u r i e r t r a n s f o r m t h a t u = S (E,D I f . e x 2 -2i8 2 Since I+E e 151
(3.2.45)
z
O,V
(E,s)
ER+
x
nn,
if
e
E (-n/2,T/2),
it i s
3.3. Singular Perturbations with Variable Symbols q u i t e o b v i o u s t h a t t h e f o r m u l a (3.2.17) h o l d s f o r
235
r e p l a c e d by
E
Ee
-iB
.
I n d e e d , b o t h l e f t and r i g h t hand s i d e i n (3.2.17) a d m i t a n a n a l y t i c extension with r e s p ect t o E
E R
onto the half-plane
larg
€1
< ~/2.
Using t h e second formula (3.2.23) and t h e c l a s s i c a l R i e s z o p e r a t o r s Yk
(Example 3.2.4), one c a n r e p r e s e n t S e ( € , D ) as t h e c o m p o s i t i o n o f two
operators:
(3.2.46) where, a s For n = 3
(3.2.47)
N o t i c e t h a t f o r each 8 E (-n/2,n/2)one h a s :
(3.2.48) l i m
E - ~ S( E , D ) f ( x ) = e - 2 i e ( f ( x ) - ( Y , e
E++O
x
for
v
f
D
Y.)f)(x)), 7
E ( s ' ( R ~ ) ) "= s ~ ( R X ~ . . . X)S ' ( R " )
F u r t h e r m o r e , S ( E , D ) c a n be e x t e n d e d a s
e
(3.2.49) S B ( ~ , D x ):
x (H(s), E ( R n ) I n
+
(H(s-v),e (Rn)) n
w i t h v = (-2,0,-2),univormly w i t h r e s p e c t t o E E ( 0 . ~ ~ 1 ,v E~ < *, i . e . t h e norms of t h e o p e r a t o r s (3.2.49) a r e bounded by a c o n s t a n t which depends o n l y on
and n . I n d e e d , t h i s i s a n immediate consequence o f
E~
(3.2.43) and
Parceval's identity. Using a r e s u l t from [ M i k h . l , Z I , o n e c a n show t h a t (3.2.49) s t i l l h o l d s i n spaces spaces
H
( R n ) w i t h L -norms 1 < p < a, 5 s ),2,E( R n ) b e i n g t h e P ( R n ) ( s e e 3.12 f o r m o r e d e t a i l s ) .
(s)rP,E
H (s),E
3.3. S i n g u l a r p e r t u r b a t i o n s w i t h v a r i a b l e s y m b G W e c o n s i d e r h e r e c l a s s e s of symbols which are € u n c t i o n s of
( x , E , ~ ) and
i n t r o d u c e t h e c o r r e s p o n d i n g c l a s s e s of s i n g u l a r p e r t u r b a t i o n s which i n c l u d e s i n g u l a r l y perturbed d i f f e r e n t i a l o p e r a t o r s with v a r i a b l e c o e f f i c i e n t s ,
as w e l l . D e f i n i t i o n 3.3.1.
Let u be an open s u b s e t of cZass
S'
1,o a(x,E,c) E
R~
and Zet v
(u) i s d e f i n e d t o c o n s i s t
=
(vl,v2,v3)E R
3
.
The syrnboZ
o f a22 f u n c t i o n s
s a t i s f y i n g t h e c o n d i t i o n : f o r any compact K c u such t h a t and any couple of m Z t i - i n d i c e s a , t~h e r e e x i s t s a c o n s t a n t c
c
(UX ( o , E ~ ]x
Ka I3
.
3. Singular Perturbations on Smooth Manifolds without Bounda y
236
D e f i n i t i o n 3.3.2.
The symboZ a E
S'
1,o
(u) belongs t o t h e symbol c l a s s s'(u)
if t h e r e e x i s t s a
representation (3.3.2)
a ( x , ~ , t ; )= a ( x , ~ , < ) + r ( x , ~ , S ) 0
where a O ( x , ~ , E is ) homogeneous i n v +v2
1
(E-',s)
for
E
E ( O , c o l , 151 2 1 , of degree
i.e. - ( v +v )
a (x,t-lE,tS), 0
a0(x,E,S) = t
(3.3.3)
v
t 2 I,
v
E
E (o,EOl,
v 5 E mn, and where t h e remainder r ( x . E . 6 ) on each compact
K c
151
'
u s a t i s f i e s the
inequalities
for a l l x E K ,
E ( O , E ~ ] , E, E B~ and all m u l t i - i n d i c e s
E
a,B
P r o p o s i t i o n 3.3.3.
Let a E
Sv
1,o
(U),
b
E 'S
1,o
.
(U) Then
Proof. The s t a t e m e n t s of t h i s p r o p o s i t i o n are an immediate consequence of t h e chain rule. D e f i n i t i o n 3.3.4.
Let a E sV
op a
=
(u),( r e s p e c t i v e l y , a E sv (u)) . The s i n g u l a r p e r t u r b a t i o n
1,o a ( x , ~ , ~ is)
d e f i n e d as f o l l o v s
1,
231
3.3. Singular Perturbations with Variable Symbols
The s i n g u l a r p e r t u r b a t i o n a ( x , ~ , i~s) s a i d t o belong t o t h e c l a s s ( r e s p e c t i v e l y , t o t h e c l a s s op
op S;,,(U)
Sv(U)).
Theorem 3.3.5.
If
a
E
m
s ~ , ~ ( U ) ,t h e n a ( x , c , D ) : C o ( U ) + C"(Ui
a ( x , ~ , ~: )E ' ( u ) E"
-t
D'(u),
m 1 a(x,E,D) : Co(U)
+
V
E
( 0 , ~I . 0
E
and E"'a(x,E,D)
Cm(U)
and i t can be eztended a s
Moreover, : E'(U)
-t
D'(U)
E
(E
(O,En])
are e q u i c o n t i n u o u s . Proof. If a
rn
E sv
1,o
(U), u E C o ( U ) ,
then t h e function
Evla(x,E,D)u(x) = (2nl-n
e
i < x , S > '1
mn
E
a (x,E ,5)
( 5 )d5
c a n b e d i f f e r e n t i a t e d under t h e i n t e g r a l s i g n and t h e c o r r e s p o n d i n g i n t e g r a l s are a b s o l u t e l y and u n i f o r m l y c o n v e r g e n t w i t h respect t o x on any compact K c U , Further, l e t v
E
E
E
(O,E~]. m
The i n t e g r a t i o n by p a r t y i e l d s :
Co(U).
Using t h e l a s t i n e q u a l i t i e s , one shows t h a t t h e f u n c t i o n a l s
are w e l l d e f i n e d , i f u
E
V
E'(U),
E
E
( O , E ~ ] and, moreover, t h i s f a m i l y of
f u n c t i o n a l s i s equibounded i n t h e s e n s e o f D e f i n i t i o n 1.2.33.
In f a c t ,
w r i t i n g formally (3.3.12)
<E v
la ( x , E , D ) u , v > = ( 2 ~ ) I- ~ I
v(x)E"1a(x,E,S);(S)ei<x'5>
dsdx =
IRn lRn =
I ~ ( c (I ) mn mn
(2.rrl-n
and u s i n g ( 3 . 3 . 1 0 ) , defined f o r V u
E
Ev
1 i<x,S> a(x,E,<)v(x)e dx)dS
one g e t s t h e c o n c l u s i o n t h a t t h e l a s t i n t e g r a l i s w e l l
E'(U),
s i n c e t h e family o f f u n c t i o n s
i s r a p i d l y d e c r e a s i n g when
5
+
m
uniformly with r e s p e c t t o
E
E (O,E~],
3. Singular Perturbations on Smooth Manifolds without Bounda y
238
f o r any u E E ' ( U )
so t h a t t h e f a m i l y of f u n c t i o n a l s (3.3.11)
bounded w i t h respect t o
E
E (O,E
0
1.
i s uniformly
I
Remark 3.3.6.
(0) (0)
1
L e t a E S v ( " ) ( U ) where i n t e g e r v . t 0, j = 2,3, and l e t E a ( x , E , c ) be 3 polynomial i n ( ~ ~ 5 L)e .t a , ( x , E , S ) b e t h e p r i n c i p a l symbol o f a ,
a-a,
,
(0) ( 0 ) > v(l)+v(l) 1 2 v 1 +v2 I f a t e a c h s t e p o f t h i s p r o c e s s t h e remainder r k = (a-aoa ) E k- 1 (k) ( U ) , t h e n t h e symbol a ( x , E , S ) c a n b e r e p r e s e n t e d a s a f i n i t e sum:
where, of c o u r s e , u(O) > v(l) and moreover,
...-
Sv
a ( x , ~ , C )=
(3.3.13)
C ak(x,E,<) O
where ak have t h e v e c t o r i a l o r d e r v ( ~ ) a, r e homogeneous i n d e g r e e V : ~ ) + V ; ~ ) and, moreover, t h e o r d e r s v ( ~ ) ,0 5 k
=< N,
(E
-1
, 5 ) of
form a
s t r i c t l y d e c r e a s i n g sequence i n t h e f o l l o w i n g s e n s e :
The s p l i t t i n g (3.3.13)
i n t o a sum of homogeneous t e r m s ak, whose o r d e r s
v ( k ) s a t i s f y (3.3.14),
c a n be viewed a s a n a t u r a l g r a d u a t i o n of a ,
a n a l o g o u s t o (3.1.2). Of
c o u r s e , any symbol a
which i s w e l l d e f i n e d f o r
E
h a s a z e r o t e r m a.
Sv(U)
E (O,E~],
E
e x t e n d e d a s a homogeneous f u n c t i o n o f
of graduation,
151 2 1, x E U and can b e u n i q u e l y -1 , 5 ) E IR+x (lRn\{Oj) f o r V x E
(E
U
Example 3.3.7. The symbol a ( x , E , C ) c(x) : U
-f
C,
= E
2
j5j4+1512++c(x), w i t h b ( x ) : U
I t admits a n a t u r a l g r a d u a t i o n :
a (x,E,~) 0
+
Cn,
smooth f u n c t i o n s , b e l o n g s t o S V ( O ) ( U ) w i t h v ( O ) = (0,2,2).
2 = E
a
=
4
a o + a l + a 2 , where
IS/ +l5I2, al(x,E,5)
v ( O ) = (0,2,2), v ( l ) = (O,l,O), v")
= cb(x),C>, a2(x,€,S) = c ( x ) ,
= (O,O,O),
t h e c o n d i t i o n (3.3.14)
being
3.4. Continuity of Singular Perturbations
239
obviously s a t i s f i e d .
~ ~ / < / ~ + 1 < 1b ~e l o+n g~s ~ / c 1 ~
On t h e o t h e r hand, t h e symbol a ( x , ~ , E ; )= ~n ( R n ) , with v = ( 0 , 2 , 3 ) b u t does n o t belong t o S ( R ) t o Sv 1# O admit a n a t r u a l g r a d u a t i o n .
and d o e s n o t
3 . 4 . C o n t i n u i t y of s i n g u l a r p e r t u r b a t i o n s i n Sobolev s p a c e s of v e c t o r i a l o r d_ er _ The a i m of t h i s s e c t i o n i s t o p r o v e t h e f o l l o w i n g Theorem 3.4.1.
L e t a ( x , E , c ) E sV
1,O
the
( m n ) and Let
a ( x , s , c ) E s(IR:). Then f o r
v
s E R
3
foZlowingfamiLy of Linear mappings i s equicontinuous ( s e e D e f i n i t i o n 1 . 2 . 3 3 )
(3.4.1)
a ( x , E , D ) : H ( s ),E (7Rn)
-f
H(S-V)
,E
(Rn)
,
(o,Eol.
E
Proof. F i r s t assume t h a t s = v = 0 , s i n c e t h e argument i n t h i s c a s e i s p a r t i c u l a r l y simple.
The
assumption
a ( x , E , S ) E So 1no
(mn) n
S ( m n ) yields the
inequalities
/ a ( r l , ~ , S I) 5 CN
(3.4.2)
v
N
since
naa(n,~,E)
D"a(x,E,S). x-trl x
= F
Therefore,
II
(3.4.3)
I
~ ( ~ , E , D ) (~0 I) , E
Since a(x.E.5)
= F
-1 a(rl.E.5) n+x
5
c ~ < ~ >I U-I ~ I ( oI)
and j e x p ( i x . n )
/
;E
G
+
5 1 one g e t s u s i n g ( 3 . 4 . 3 ) :
i s equivalent t o the inequality
Now c o n s i d e r any s and v . Then ( 3 . 4 . 1 )
where
V N.
L2(IRn),
5
KG i s a n i n t e g r a l o p e r a t o r w i t h t h e k e r n e l
and t h e c o n s t a n t C d o e s n o t depend on
E
and u.
Again t h e a s s u m p t i o n s on a ( x , E , S ) imply t h a t
:
3 . Singular Perturbations on Smooth Manifolds without Bounda y
240
The f o l l o w i n g i n e q u a l i t y h o l d s :
<E>T
(3.4.7)
4 21TI<E-T)>lTl
(3.4.7) h o l d s with (3.4.7)
with
Thus, (3.4.8)
N
T
and t h a t i m p l i e s t h a t
< 0 , one s w i t c h e s
5 and n and a p p l i e s
> 0.
-T
(3.4.7)
(3.4.6), /K(~,E,TI)
where C
Z 0. I f
T
2 4 2
<5>'
I n d e e d , e v i d e n t l y one h a s :
E W.
t/ T
I
lead t o the inequality:
5 CN<S-n>-N,
depends o n l y on N ; h e r e N = N
-1
1
s
2
-v
2
I-1
s
3-v 3
I.
T h e r e f o r e , f o r V N one h a s :
where f ( 5 ) = C
N
<5>-N and f *
N
g s t a n d s f o r t h e c o n v o l u t i o n of f and g .
Applying t h e i n e q u a l i t y :
and t a k i n g N > n , one g e t s t h e c o n c l u s i o n t h a t t h e f a m i l y o f i n t e g r a l 2 n o p e r a t o r s w i t h k e r n e l s K ( C , E , ~ ) are c o n t i n u o u s i n L ( W ) and t h e i r norms
a r e u n i f o r m l y bounded w i t h r e s p e c t t o
E
E (O,E
0
1.
I
C o r o l l a r y 3.4.2.
Then t h e foZZowing f a m i l y o f l i n e a r mappings i s equicontinuous for each 3 s = (Sl,S2,S3) E R : a(X,E,D)
In f a c t , a ' ( x , E , D )
: II(s)
( S )P E
u n i f o r m l y bounded i n am(E,D)
,E(IRn)
: H
+
(Wn)
13
(s-u) , €
H(S-V) ,E
(2) , E (IR
E
(O,Eo1.
) and have t h e i r norms
E ( 0 ,3 ~a c c o r d i n g t o Theorem 3.3.1,
E
O
: H
n
(IR )
( s ) r E ( R n ) + H(S-V) ,E a s f o l l o w s from P r o p o s i t i o n 3.1.6.
while
uniformly with r e s p e c t t o
D e f i n i t i o n 3.4.3.
A singtilar pel-tilrbation
a(X,E,D)
v = ( v ~ P ~ ~ i ,f "f o~r )each
a(x,E,D)
: H
( S ) ,E
given
i s s a i d t o have v e c t o r i a l order E~
m
the family
( I R R n ) + H(S-V)
is equicontinuous and, moreover, f o r each
,E
(Wn),
(E
E
(o,Eol)
< v the mppings
E
E (O,E~I,
3.5. Pseudolocality of Singular Perturbations (Rn)
a(x,E,D) : H ( s )
H
+
(s-v)
o r have unbounded norms when
E
(E
24 1
E (O,E?I) e i t h e r are n o t continuous
,E
0.
+
C o r o l l a r y 3.4.4.
A f a m i l y o f p e r t u r b a t i o n s a ( x , E , D ) has order v E R
and a ( x , ~ , c )$?
S'
1 ro
( n n ), V
3
.
zf a ( x , E , c ) E s"
1,o
p < v.
(Rn)
Example 3.4.5. with A t h e Laplace o p e r a t o r , belongs
( i )A f a m i l y of p e r t u r b a t i o n s E'A'-A
( R n ) with V
t o S'
>
LI
and i t s o r d e r i s
(0,2,2)
1r o ( i i )A f a m i l y of p e r t u r b a t i o n s
a
1
E
= (0,2,2).
(x)D D with a ( x ) E C z ( R n ) kj k 1 kj
lsk,j
belongs t o S
Remark 3.4.6. Using t h e s a m e argument a s i n t h e p r o o f of Theorem 3.4.1,
one shows t h a t
m
(U) and g E C o ( U ) , t h e n H (u) 3 u + g O p a u E i f a ( x , E , E ) E S" 1,o ( s ) ,E H f U ) i s a f a m i l y of c o n t i n u o u s l i n e a r mappings, whose norms a r e ( s - v ) ,E u n i f o r m l y bounded w i t h r e s p e c t t o E E ( O , E ~ ] . I n o t h e r words, f o r each E~
> 0, s
E
R 3 t h e f o l l o w i n g f a m i l y o f l i n e a r mappings i s e q u i c o n t i n u o u s :
a(x,E,D) where
E +
gu E H
3.5.
H
1oc
H
:
loc
(u)
( s ) ,E
+
H ( s - " ), E
(U),
( U ) i s t h e f a m i l y of s p a c e s c f a l l f u n c t i o n s u s u c h t h a t
( s ) ,E
(U) f o r ( 5 ),E
v
g
E
m
Co(U).
The p s e u d o l o c a l i t y of s i n g u l a r p e r t u r b a t i o n s
W e s t a r t with t h e following
D e f i n i t i o n 3.5.1.
A f a m i l y of d i s t r i b u t i o n s
on an open s e t
v 5u
(O,E~I3
E + U(E,X)
i f f o r any g i v e n
E
E D' (u) i s s a i d t o be smooth
E ( 0 ,0 I~ it c o i n c i d e s idith some
) f o r any compact s e t f u n c t i o n u ( x ) E c ~ ( v and,moreover, (3.5.1)
max xEK
1
I D ~ ~ ( E , X )5
where t h e c o n s t a n t s
C
K,a
c ~ , ~ v ,a, v
KCC
do n o t depend on
E
KCC
v
one has:
v
-
E ( 0 , ~ 01
Definition 3.5.2.
The complement of t h e maximal open s e t on u h i c h a f a m i l y o f d i s t r i b u t i o n s E + U(E,X)
i s smooth, i s c a l l e d t h e s i n g u l a r support of u and denoted by
s i n g supp u ( E , x )
.
3. Singular Perturbations on Smooth Manifolds without Bounda y
2 42
Example 3.5.3. IR+ 3
The f a m i l y o f d i s t r i b u t i o n s :
singular support t h e o r i g i n x
=
E
+
Eaexp(-/xl
2
/E
2
)
E S ' (Xn) h a s as i t s
0 , V a E IR.
Our p u r p o s e i s t o prove t h e f o l l o w i n g Theorem 3.5.4.
Let ( o , E 3 E~ + I u(x,E) (3.5.2)
E
(u) and l e t
€ 1
(u). Then a ( x , E , ~ )E S" 1,o
s i n g s u p p ( ~ " a ( x , ~ , D ) u ( ~ , x5 ) ) s i n g supp u ( E , x ) .
Proof. W e associate w i t h E"la(x,E,D)
which i s a f a m i l y of
its kernel K(E,x,Y),
distributions
d e f i n e d by t h e r e l a t i o n
According t o Theorem 3.3.5,
the kernel-distribution m
f a m i l y of c o n t i n u o u s l i n e a r maps K : C o ( U ) W e are g o i n g t o show t h a t t h e f a m i l y (O,E
0
+
1
i n (3.5.3)
Cm(U) and
3
E +
K
:
defines a
E' (U)
+
D ' (u).
K ( E , x , ~ ) i s smooth o f f t h e
d i a g o n a l x = y i n UxU. Indeed, u s i n g (3.5.3)
and t h e d e f i n i t i o n of s i n g u l a r p e r t u r b a t i o n s ,
one f i n d s e a s i l y t h a t
Consequently,
The l a s t f o r m u l a f o r l a / > u +u +n c a n b e r e w r i t t e n as a c o n v e r g e n t i n t e g r a l 2 3
a n d , a s a consequence o f t h e u n i f o r m convergence of t h e i n t e g r a l on t h e r i g h t hand s i d e , one g e t s t h e c o n c l u s i o n t h a t ( x - ~ ) ~ K ( E , x , ~ E) C J ( U W ) i f
/ a / > v 2 +v3 +n+j. Moreover, a l l t h e d e r i v a t i v e s up t o t h e o r d e r j of (~-y)~K(~,xa ,y r e) u n i f o r m l y bounded w i t h r e s p e c t t o E E ( 0 . ~ ~ 1T. h a t p r o v e s t h e claim t h a t
E
+ K(E,x,~)
h a s as i t s s i n g u l a r support a c l o s e d set
243
3.6. Asymptotic Expansions of Symbols belonging t o t h e diagonal x = y i n UXU. I n o r d e r t o end t h e p r o o f of t h e theorem, w e need o n l y t o a p p l y t h e following Lemma 3.5.5.
Let
( O , E ~ ] 3 E + K ( ~ , x , y )E
D ' ( u x u ) . Suppose t h a t t h e famiZy of Zinear
maps m
m
(3.5.7)
K : Co(U)
+
C (U), K : E ' ( U )
is u n i f o r m l y bounded i n t h e diagonal in
E
+
D'(U)
E (O,c0], and, moreover, t h a t K is smooth off
UXU.
Then s i n g supp Ku c - s i n g supp u, V u E E ' ( U )
.
Proof of Lemma 3 . 5 . 5 . Let
v
and W b e open s u b s e t s of U s u c h t h a t W C C V. m
Let $ E
co(v),
Let
u E E ' ( U ) b e such t h a t u i s smooth i n V . Then Ku = K ( $ u ) + K ( ( l - $ ) u )
E -t
$
1 i n a neighborhood of t h e c l o s u r e of W. m
Since E
E +
$u i s smooth on U , and E
E (O,E~],
K(@)
$u E C (U) u n i f o r m l y w i t h r e s p e c t t o
+
0
i s smooth on U . On t h e o t h e r h a n d , w e c a n w r i t e
K ( ( l - $ ) u ) as an i n t e g r a l K((l-$)u) =
1
K(E,x,Y)
(I-$(y))u(y)dy.
U I f x E W , y E s u p p ( 1 - $ ( y ) ) , t h e n ( x , y ) b e l o n g s t o t h e complement o f some s u i t a b l e neighborhood of t h e d i a g o n a l i n U X U , t h a t i s ( x , y ) b e l o n g s t o a m
s u b s e t where K ( E , x , ~ ) i s smooth ( C
in (x,y) with a l l the derivatives
E ( 0 ,0 ~1 ) . Hence, K ( ( 1 - $ ) u ) i s smooth on V a s w e l l . S i n c e V w a s any open s u b s e t of U, one g e t s t h e c o n c l u s i o n
u n i f o r m l y bounded w i t h r e s p e c t t o
t h a t s i n g supp Ku C_ s i n g supp
E
U.
1
3 . 6 . Asymptotic Expansions of symbols A s it h a s been mentioned i n Remark 3 . 3 . 6 ,
admit a n a t u r a l g r a d u a t i o n
(3.3.13),
some p o l y n o m i a l i n (E,E)
symbols
(3.3.14).
One c a n c o n s i d e r f o r m a l i n f i n i t e sums o f symbols of t h e form ( 3 . 3 . 1 3 ) whose o r d e r s s a t i s f y ( 3 . 3 . 1 4 ) . One o f t h e b a s i c m o t i v a t i o n s t o c o n s i d e r such f o r m a l sums i s t h e f a c t t h a t t h e y a p p e a r i f one expands t h e i n v e r s e symbols t o e l l i p t i c polynomial symbols of t h e form ( 3 . 3 . 1 3 1 ,
(3.3.14)
into
a n a s y m p t o t i c series. On t h e o t h e r hand, it i s c o n v e n i e n t t o have a symbol f u n c t i o n f o r which a g i v e n f o r m a l sum of symbols c a n b e c o n s i d e r e d a s an
3. Singular Perturbations on Smooth Manifolds without Boundary
244
a p p r o p r i a t e l y i n t e r p r e t e d asymptotic expansion. Theorem 3 . 6 . 1 .
i)
L e t a . E syl0 ( u ) , v (1")
< v(j), j
7
v (11 ) J.
(3.6.1)
-a
0,1, and l e t
=
for j + ( 01
Then t h e r e e x i s t s a E s V
1.0
a(x,E,c) -
(3.6.2)
such t h a t (N) (U), V N t 0
C a . ( x , ~ , E ;E ) Sv 1r o O=<j
and moreover, f o r each p a i r of m u l t i - i n d i c e s a , @ and every compact s e t K c U
t h e f o l l o w i n g asymptotic r e l a t i o n s hold:
unifomnZy w i t h r e s p e c t t o (x,c;) E
K x
mn.
Proof. L e t + ( t )E
crn(K+) ,
Let K .
C K
K
c
o
E
...,
for t E
[o,tI, 4
z 1 for t t I.
b e a sequence of compact s e t s e x h a u s t i n g U, i . e .
3' 1 2 t h e union o f a l l K . c o i n c i d e s w i t h U. 3 We choose 6, so small t h a t
f o r V j t 1, V
E
E ( 0 . ~ ~ 1V, 5 E mn,
V x E Krr
v
a,B, r w i t h
l a i + l f I + r5 j .
T h i s i s p o s s i b l e s i n c e v!J)
+
-m.
I n f a c t , one h a s
Let
W e choose 6,
> 0 t o b e so s m a l l t h a t
I n t r o d u c i n g t h e numbers m. =
max t +lt
1
(1-1) 1
+ ( t I)
one c a n s a t i s f y t h e i n e q u a l i t y ( 3 . 6 . 6 ) by c h o o s i n g 6 . > 0 s u c h t h a t 7
3.6. Asymptotic Expansions of Symbols
245
Y. w i t h y , = ( v ~ J ) - v ~ J - ' ) ) - <' 0 .
6 . 4 ( 2 J C .m . ) 3
3
3
3
Moreover, w e r e q u i r e :
6.
1
+
j +
for
0
m.
Now we d e f i n e t h e symbol a ( x , ~ , E )t o be (3.6.7)
j
a(x,e,E)
-1
@ ( 6 . ~ ) a .( x , E , S ) ,
C
=
j>o
3
V (x,E,S)
E u
x
( 0 . ~ ~x 1R ~ .
One c h e c k s e a s i l y t h a t f o r a ( x , E , C ) d e f i n e d by ( 3 . 6 . 7 ) w i t h 6 . 3 s a t i s f y i n g (3.6.4), the r e l a t i o n s (3.6.2), (3.6.3) hold.
+
0,
+ m,
I n f a c t , i t i s enough t o check ( 3 . 6 . 3 ) s i n c e ( 3 . 6 . 2 ) i