Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Managing Editor:
M. HAZEWINKEL
Centre for Mathematics and Computer Science, Amsterdam, The Netherlands
Editorial Board:
A. A. KIRILLOV,MGU,Moscow, U.S.s.R.
Yu. I. MANIN, Steklav Institute of Mathematics, Moscow, U.S.S.R.
N. N. MOISEEV, Computing Centre, Academy of Sciences, Moscow, U.S.S.R.
S. P. NOVIKOV, Landau Institute of Theoretical Physics, Moscow, U.S.S.R.
M. C. POLYV ANOV, Steklov Institute of Mathematics, Moscow, U.S.S.R.
Yu. A. ROZANOV, Steklov Institute of Mathematics, Moscow, U.S.S.R.
Volume 43
B. A. Plamenevskii
Leningrad Electrical Engineering Institute,
Leningrad, U.S,S.R.
Algebras of
Pseudodifferential
Operators
'Et moi, ... , si j'avait su comment en revenir, One service mathematics has rendered the
je n'y serais point alle.' human race. It has put common sense back
Jules Verne where it belongs, on the topmost shelf next
to the dusty canister labelled 'discarded non-
The series is divergent; therefore we may be sense'.
able to do something with it. Eric 1'. Bell
O. Heaviside
Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non-
linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for
other sciences.
Applying a simple rewriting rule to the quote on the right above one finds such statements as:
'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com-
puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And
all statements obtainable this way form part of the raison d'etre of this series.
This series, Mathematics and Its Applications, started in 1977. Now that over one hundred
volumes have appeared it seems opportune to reexamine its scope. At the time I wrote
"Growing specialization and diversification have brought a host of monographs and
textbooks on increasingly specialized topics. However, the 'tree' of knowledge of
mathematics and related fields does not grow only by putting forth new branches. It
also happens, quite often in fact, that branches which were thought to be completely
disparate are suddenly seen to be related. Further, the kind and level of sophistication
of mathematics applied in various sciences has changed drastically in recent years:
measure theory is used (non-trivially) in regional and theoretical economics; algebraic
geometry interacts with physics; the Minkowsky lemma, coding theory and the structure
of water meet one another in packing and covering theory; quantum fields, crystal
defects and mathematical programming profit from homotopy theory; Lie algebras are
relevant to filtering; and prediction and electrical engineering can use Stein spaces. And
in addition to this there are such new emerging subdisciplines as 'experimental
mathematics', 'CFD', 'completely integrable systems', 'chaos, synergetics and large-scale
order', which are almost impossible to fit into the existing classification schemes. They
draw upon widely different sections of mathematics."
By and large, all this still applies today. It is still true that at first sight mathematics seems rather
fragmented and that to find, see, and exploit the deeper underlying interrelations more effort is
needed and so are books that can help mathematicians and scientists do so. Accordingly MIA will
continue to try to make such books available.
If anything, the description I gave in 1977 is now an understatement. To the examples of
interaction areas one should add string theory where Riemann surfaces, algebraic geometry, modu-
lar functions, knots, quantum field theory, Kac-Moody algebras, monstrous moonshine (and more)
all come together. And to the examples of things which can be usefully applied let me add the topic
'finite geometry'; a combination of words which sounds like it might not even exist, let alone be
applicable. And yet it is being applied: to statistics via designs, to radar/sonar detection arrays (via
finite projective planes), and to bus connections of VLSI chips (via difference sets). There seems to
be no part of (so-called pure) mathematics that is not in immediate danger of being applied. And,
accordingly, the applied mathematician needs to be aware of much more. Besides analysis and
numerics, the traditional workhorses, he may need all kinds of combinatorics, algebra, probability,
and so on.
In addition, the applied scientist needs to cope increasingly with the nonlinear world and the
v
vi Series Editor's Preface
extra mathematical sophistication that this requires. For that is where the rewards are. Linear
models are honest and a bit sad and depressing: proportional efforts and results. It is in the non-
linear world that infinitesimal inputs may result in macroscopic outputs (or vice versa). To appreci-
ate what I am hinting at: if electronics were linear we would have no fun with transistors and com-
puters; we would have no TV; in fact you would not be reading these lines.
There is also no safety in ignoring such outlandish things as nonstandard analysis, superspace
and anticommuting integration, p-adic and ultrametric space. All three have applications in both
electrical engineering and physics. Once, complex numbers were equally outlandish, but they fre-
quently proved the shortest path between 'real' results. Similarly, the first two topics named have
already provided a number of 'wormhole' paths. There is no telling where all this is leading -
fortunately.
Thus the original scope of the series, which for various (sound) reasons now comprises five sub-
series: white (Japan), yellow (China), red (USSR), blue (Eastern Europe), and green (everything
else), still applies. It has been enlarged a bit to include books treating of the tools from one subdis-
cipline which are used in others. Thus the series still aims at books dealing with:
- a central concept which plays an important role in several different mathematical and/or
scientific specialization areas;
- new applications of the results and ideas from one area of scientific endeavour into another;
- influences which the results, problems and concepts of one field of enquiry have, and have had,
on the development of another.
Does an analyst need to know about such things as algebras, Noetherianess, homology, and
representation theory? The answer would appear to be an emphatic yes. (He also needs to know
about topology (and not only in the context of topological vector spaces, but also differential topol-
ogy).) And the more complicated the setting of the problems in the analysis concerned, the more
this is needed to sort out the phenomena.
It has been said before (by myself, for example), but bears to be repeated: "Mathematics is a
tool for thought" (at least as long as our brains are rather spectacularly finite in their abilities to
instantly oversee all the consequences and implications of, say, a certain set of assumptions). This
implies that any distinct part of mathematics provides tools for thought for any other. Mostly,
mathematicians are not slow to point out the importance and applicability of their science to other
fields; I wonder whether we follow our own advice with equal vigour intra-mathematically.
One fairly recently created tool, of considerable interest in itself and of vast applicability, is that
of algebras of pseudodifferential operators. The present book is devoted to that topic; more
specifically it is devoted to the case of the theory of pseudodifferential operators on manifolds of
higher dimension (;;;02) with isolated singularities. As such, it is unique with virtually no overlap
with other existing monographs; a more than worthy addition to this series.
Pseudo-differential operators are a topic from analysis, of course; in the book they are studied
from the point of view of C' -algebras, and the attentive and interested reader will become aware of
the importance and power of algebraic, topological and, perhaps especially, representation theoretic
considerations in this field.
The shortest path between two truths in the Never lend books, for no one ever returns
real domain passes through the complex them; the only books I have in my library
domain. are books that other folk have lent me.
J. Hadamard Anatole France
La physique ne nous donne pas seulement The function of an expert is not to be more
I'occasion de resoudre des problemes ... elle right than other people, but to be wrong for
nous fait pressentir la solution. more sophisticated reasons.
H. Poincare David Butler
Introduction ...... .... ............................. .................. ....... ..... ...................... ............... ........................ ......... ...... 1
Chapter 1.
Integral transforms on a sphere ................................................................................................................... 5
Chapter 2.
The Fourier transform and convolution operators on spaces with weighted norms ................................ 37
Chapter 3.
Meromorphic pseudodifferential operators ................................................................................................ 73
Chapter 4.
Pseudodifferelltial operators with discontinuous symbols
on manifolds with conical singularities .................................................................................................... 133
Chapter 5.
The spectrum of a C' -algebra of pseudodifferential operators
with discontinuous symbols on a closed manifold ............................................................. _._._ ...... _.......... 181
Chapter 6.
The spectrum of a C· -algehra of pseudodifferential operators on a manifold with boundary ............. 235
the space of maximal ideals, which coincides with the bundle S' (~) of unit
cotangent vectors. For an A E ce, [A] E cU:J{ denotes its residue class, and if 'IT
runs through the spectrum of if/~ then the map 'IT~'1T[A] can be realized as the
function S' (01L) :3 'IT ~ <1>('IT), where <I> is the symbol of A.
The situation becomes more complicated if the manifold has a boundary or
singularities and (or) if the symbols of the operators become discontinuous. The
corresponding quotient algebra if/:J{ is, in general, not commutative. Among the
irreducible representations of if;:J{ there appear infinite-dimensional ones. In this
book we describe the spectra of algebras generated by pseudodifferential opera-
tors: all equivalence classes of irreducible representations are listed, a topology on
the spectrum is elucidated (the so-called Jacobson topology), and a realization of
the irreducible representations is given, i.e. a map te 3 'IT ~ '/T(A), where A E te and
if is the spectrum of if. The dependence of the spectrum on the kind of discon-
tinuity of the symbols and on the choice of function space is studied.
In the first Chapter we introduce and study the integral transform E(;\) on the
(n -I)-dimensional sphere Sri -1. The Fourier transform can be decomposed in a
product of three operators: the Mellin transform, E(;\), and the inverse Mellin
transform. We compute the values of E(;\) on spherical functions, and indicate a
space on which E(;\) acts as a continuous operator. The results of this Chapter are
constantly used in the sequel.
Pseudodifferential operators with discontinuous symbols are naturally regarded
in spaces with weighted norms. In the second Chapter we define the 'weighted'
classes Hp(lR m ), Hp (IR m , IR m -rl). On these spaces we study the Fourier transform
and operators of convolution with a homogeneous function. We prove bounded-
ness theorems for these operators, and derive special representations for convolu-
tions in terms of E(;\) and the Mellin transform. These representations play an
important part in the study of algebras of pseudodifferential operators. The third
Chapter is devoted to the special class of meromorphic operator-functions which
are called meromorphic pseudodifferential operators. It will later turn out that
meromorphic pseudodifferential operators are values of 'operator symbols'. The
algebras of these symbols is isomorphic to the quotient algebra if;:J{. Usin!! mero-
morphic pseudodifferential operators the irreducible representations of te are real-
ized (in Chapters 5, 6). The first three Chapters form the technical basis for the
subsequent exposition.
Introduction 3
In this Chapter we introduce and study the operator E(;\), which acts on the space
of functions on the sphere SrI -] . It is used in all subsequent Chapters.
(I:u)(x) = f (xy)~u(y)dy.
s" -I
(1.1)
Here dy is the volume element on SrI -], and, as usual, t~ ° for t,,:;; 0,
t~ = ell]n I if t > 0, and t~ = (- t)~ .
Pro po sit ion 1.1. The maps IJf: Coo(S"-I)~coo(S"-1) are continuous.
The operatorjunction 1-''''''IJf
is ana(ytic in the halfplane Re f.L > - 1. Each of these
functions can be analytical(}' extended onto the whole I-'-plane, except for the points
I-' = - 1, - 2, ... , which are poles of the first order.
Proof. Let {1)j} be a partition of unity on SrI -I, i.e. a finite collection of non-
negative functions from coo(S,,-I) such that 2.1)) = 1. It suffices to verify the
statement for the operators 1)) I~. We may assume that on the support SUpP1)) of
1)j the angular coordinates form a regular coordinate net. Denote by gx some
5
6 Chapter 1.
rotation of Sn - I transforming the point 9L = (0, ... ,0,1) to the point x. Deter-
mine a family {gx}, x E SUPP11j, so that the matrix entries, giving rotations, are
smooth functions of the angular coordinates of x. We have
Denote by OJ, ... ,On - I the angular coordinates of a point Z E Sn -1, related to
Cartesian coordinates (z I, . . . ,Zn) by
(1.2)
where °
~ 0 1 < 27T, °
~ Ok ~ 7T, k =i= 1. Introduce the function vxCOn -I) =
11/X)X!U(gx(z)(sinon_2)n-3 ... sin02 dOl'" dOn - 2. Then
.,,/2
(11j I;u)(x) = j (cosOn_IY(sin°n_l)n-2vxC°n_ddOn_l.
o
Putting t = cos On -I, W X , + (t) = vxCarccos t), we extend the function JL t-> 11j I; u
to the halfplane Re JL > - k - 1 using the formulas
I
(11j I;u)(x) = jtp.{l-t 2){n-3)!2wx, + (t)dt = (1.3)
o
I
j tp.(l- t2){n - 3)/2 {
w k
+ (I)-
- I
"" q
_t_w{q)+ (0) } dt +
x, ~ q' x,
o q=O .
+k~l_l
~
(q) (O)..lB[JL+Q+l n-l]
, w x, + 2 2' 2 .
q=o q.
whole ,u-plane. The poles of the T-function are simple, are located at the points
,u = 0, -1, ... , and
(1.4)
I
jtJl(1- {k-I q
t 2 )Cn -3)/2 wx, -(t)- ~ ~w~~)_ (0)} dt +
o q =0 q .
+ k~l_l
~ ,w(q)x, - (O)J.-B[,u+q+l n-l]
2 2' 2 .
q=o q.
In view of formulas (1.3), (1.5) and the properties of the T-function indicated, the
proposition can be immediately verified . •
For Re,u > -1 and for u E coo(sn -I) we introduce the operators
Pro po sit ion 1.2. The maps J:: coo(sn-I)~coo(sn-I) are continuous.
The operatorfunction ,u t-> J: can be analytically extended to the whole ,u-plane.
§2. The operator E(A), its relation with the Fourier and Mellin transfonn
We define for arbitrary complex "A except "A = i(k +nI2), k = 0, I, the fol-
lowing operators on functions u from Coo(Sn -I):
1 i~(iA+nI2)
(E("A)u)(x) = 12 e 2 r(i"A+nI2) X (2.1)
(2'ITt
X j (-xy+iO)-iA-nl2 u (Y)t:{y.
s" -I
(-i/ +] 1
resE("A)u IA=i(k+nl2) = -(2'IT)n/2 ~ -:l xY j yYu(y)~y, (2.2)
IY I ~ k I· s" - I
f y Y U (y)dy = 0 (2.3)
s" -I
for all multi-indices y for which Iy I = k. Formula (2.2) implies that the function
"A I-> E("A)u remains regular at the point "A = i (k +n I 2). Using the Taylor series
expansion
(- xy+iO)-iA-nl2 = {-xy+iO/+
-(-~y +iO)kln(-~y +iO)(k +i"A+nI2)+
- 1'2 bt.-j(Xy)kln(-xv+iO)U(v)dv
(2'IT)" I k!· ~ .
I /2
(2'IT)"
(-il j (xy) k[ In -1--1
k!·
I
~v
.
'-I'lTO(xy)
.
1u(y)dy,.
§2. The operator E(A) 9
I k _ I
-k'.(·xy) - L -,xYyY,
Iyl ~k y.
= I
(27Tt I2
.i=iL
k!
f (Xy)k{ln-l--~sgn(x}')}u(y)dy.
sn-l Ixy I 2 . -
(Fu)(~) = 1 fe-i~Xu(x)dx
(27T)nl2 '
(2.6)
Pro p 0 sit ion 2.1. For functions u of class Co (IRn \ 0) the equali~}'
(2.8)
10 Chapter 1.
Proof. Using the inversion formula (2.6) we write the Fourier transform Fu as
+00
X f fe-irp#rn-Idrdcp f r°l.- n12 u(}.+inl2,cp)dA.
-00
+00
X f u(J...+inI2,cp)r iJ...-n/2dJ... =
-00
1 +00
lim (+1)12 f f u("A+ in I 2,cp)dNlcp X
T~+O(2'7T)n -ooS"-1
+00
X f e- ir !#-r"r il\+n/2- l dr.
o
Further,
00
f e -irpcj:Af-r"r O,-I+n/2dr = (2.10)
o
(The calculation of this integral was given in, e.g., [5].) Using the last equality
and (2.9) we obtain (2.8) . •
§3. The action oj E(A) on spherical Junctions 11
XCkJ+1+(n-2-j)/2( .r, )
kJ - kJ + 1 cos 'l'n - j - 1 ,
where I/; E Sn -I, 1/;1, . . . ,I/;n -I are the angular coordinates of I/; (cf. (1.2», C~
are the Gegenbauer polynomials, and
2 _ 1
Amx - r(nI2) X (3.2)
n -3 2
XII
2kJ + 1 +n -j -4(k -k· + l)!(n -J' +2k -2)r 2
J J J
«n -J' - 2)/2+ k+ I)
!
j =0 y:;;r(kj + k j + 1 + n - j - 2)
(cf., e.g., [lO]). The functions YmX form a complete orthogonal system in the space
L 2 (sn-l).
(3.3)
1 i!!...(iA+nI2)
--=-n-I-=-2 e
(2w)
2 r{iA+n/2) f (_qi}+iO)-iA-nI2YmX(O)dO =
S.-I
r m +iA+nI2]
= (_ i)m2iA 2 Ym:K:(CP)
r [ m -i~+nl2]
holds.
(3.4)
Denote by g 4> some rotation of Sn - I mapping the point 9L = (0, ... ,0,1) to the
12 Chapter 1.
1(-g1>(0L)-8-fiO),"Ym'X(8)d8 =
Under rotations of the sphere, the spherical functions transform by the rule (cf.
[10)).
Y m'X(g1>l/I) = ~t~h(g;I)Ym''1dl/l),
0lL
where t0h are the matrix entries of the irreducible representations of the rotation
group SO(n), g E SO(n). In the sequel we only need the following properties of
the functions t~h:
m (g-I)
to'X 1> = (3.5)
(3.6)
I
= A m0n. e ±1I11n
. , n-3
-'YI II (sm't'n
.. 1. -). - J
)ml II X
j ~o
X C ml-m"1 +'0)1'
m j,I+(n-2- J )I2(.1. X
cos't'n-;-J )( -COSYn-l
I
I
. n - 2.1.
X sIn . n -- 3.1.
't'n-I'Sln 't'n-2'" Slll't'2 't'l ... d.l.
. .1. d· l.
't'n-J·
I e-
27T
-+. ,
1mn 2Yldl/l1, (3.7)
o
' -} - J )m
1(sml/ln
7T
jl l +n- j --2 mj ,I+(n-2- j )/2(.L
C mJ -mJ I I COS't'n -,--1
)d· l.
't'n -;-
.
J,
(38)
.
o
§3. The action of E(A) on spherical functions 13
1 ~j ~n -3,
"'. )ml+n~2Cml+Cn~2)!2(
71
f( sm'rn~1 m~ml
,I,
COS'rn~1
)X (3.9)
o
x ( - cos !/In ~] + i oy d!/ln ~ ].
We show that all integrals (3.7), (3.8) are distinct from zero only if
m1 = ... = mn ~2 = O. Clearly, the integrals (3.7) are distinct from zero only
if mn ~ 2 = O. Suppose now that mj + I = O. Then the integral
' 'rn
71
f( sm ,I,
~j ~ ]
)mJ+I+n~j~2CmJ+I+(n~2~j)!2(
m ~m + J J
,I,
cos 'rn ~ j
I ~I
)d'"
'rn ~ j ~ I
o
f( sm ,f,
J cos 'rn ~ j ~ ] )d'"'rn ~ j ~ 1
o
is distinct from zero if and only if mj = 0, which follows from the orthogonality
of the Gegenbauer polynomials:
71
o
I
f (1- t 2 )Cn ~ 3)!2C~ ~2)!2(t)( - t + iOYdt,
~I
which coincides with the integral (3.9) for m] = O. Taking into account that ([6],
1l.l, (25»
14 Chapter 1.
x d m (1_t 2)m+(n-3)/2
dtm '
1
j(1-t 2)m+(n-3)/2(t+iOy- mdt = (3.10)
-I
1
= (1+ei1T(v-m)jtv-m(1_t2)m+(n-3)/2dt =
o
= (1 +e i1T(v-m) f(m +(n -1)/2)f«v -m + 1)12)
2f«m +n +v)12)
AmO = (m!f(n-2)(2m+n-2»1/2(f(n+m-2)(n-2»-1I2
j( -.p8+iO)vYm'X(8)d8 =
(3.11)
where
ILm(;\) = (3.12)
X (i;\+nI2+m)'IT
cos 2 .
imV;f(i;\+m +nI2)
2m -1+nI2f«m +n/2-i;\)/2)f«m +n/2+ 1+i;\) 12) .
We now consider the operator E(i (k + n 12», defined by (2.5) for functions
satisfying the condi tions (2.3). We first note that the conditions (2.3) are
equivalent to
Indeed, any homogeneous polynomial Pk of degree k in the variables XI, .•. ,Xn
where the h; are homogeneous harmonic polynomials of degree j (see [10]). There-
fore (3.13) implies (2.3). Conversely, by (2.3) f u(x)xYh k -2sC'C)dx = °for every
multi-index y for which 1 y 1 = 2.1'. This clearly implies (3.13).
Pro p 0 sit ion 3.2. The subspace of all functions from Coo(Sn -I) satisfving
(3.13) (or, equivalent?v, (2.3») is invariant under the operator E(i (k + n / 2)) (see
(2.5)). The formula
holds.
(4.1)
I i..'!..(nl2-i!l.) . _
--'---e 2 r(nI2-iA)j(XV +iOY!l. nl2v(J,)dv
(2'7T)n!2 . :T'
analytic throughout the A-plane, with the exception of the points indicated. at
which it has poles of the first order. The residue at A = - i (k + n I 2) is a finite-
dimensional operator,
= 1 ik+1 ~ _1 xYjyYv(y)dy.
(2'7Tyf2 lyl =k Y! - -
-1 ·k
lim
A->-i(k +n(2)
E(A)-I v = (2'7Ty/2 kl '. j(xy)k In(~y +iO)v(y)dy.
E(-i(k+nI2»-l v = (4.3)
Pro po sit ion 4.1. For A =1= -+-i(k +nI2) the operators E(A) and E(A)-I are
inverse to each other.
co
X j p-iA-n/2E<j>->y(A)u(A+in12,<j»dA
-co
holds.
For the proof it suffices to compare propositions 3.1 and 4.1 . •
We denote by Sjk the space spanned on the spherical harmonics {YmX} for
which m';;;; k, m k mod 2, and by Sj t
the subspace of functions from
coo(sn-I) satisfying the conditions (3.13) (or, equivalently, the conditions (2.3».
The subspace Sj f is invariant under the operators E(A)± 1 for all A, and also
under the operators E(ik+inl2) and E(-ik-inI2)-1 given by (2.5) and (4.3).
We yet introduce the restrictions EUk + in /2) - 1 and E( - ik - in 12) onto the sub-
space Sjf.
= I in+kr(n +k)j(-+cpO+io)-n-kv(O)dO.
(27T)nI2
2) The operators E( - ik - in 12) and E(ik + in /2) - 1 annihilate the subspace Sjk'
Thus,
§4. Operators related with the transform E(;\) 19
where prku is the orthogonal projection to ffJk (in the sense of L 2 (sn -1») of the
element u.
Proof. The first assertion of the theorem follows from proposition 4.1 and the
definitions of the operators (cf. (2.5) and (4.3»). It remains to convince ourselves
that E( - ik - in l2)ffJk = 0 and E(ik + in 12) -1 ffJk = O. In order to verify, e.g.,
the first of these equations one must use formula (3.3) and take into account that
at ;\ = -ik-inI2 the function f«m-i;\+nI2)/2) has a pole if m~k,
2. The operator E(A)* adjoint to E(A). We denote by E(;\)* the operator adjoint to
E(;\) with respect to the scalar product in L 2 (sn -1).
(4.6)
holds.
Proof. The definition of the generalized function ( - </>w + i O)JI implies that for
arbitrary complex /-t,
jv(</»d</>j(-</>w+iOYu(w)dw =
= jv(</»d</>j[ei7TJI(<j>w)~ +(<j>w)~]u(w)dw =
= 1 lim /J(cp)dCP/e~irPW~Trr"+n~ldr,
(27Tt I2 T-'+O
(FG)(~) = 1 p~" ~nei(" + n)'1T12 r(a + n )/( -CPl/;+ iO)~" ~nJ (cp)dcp.
(27T)1l12
-
-
1
(27T)nI2
(-it
k!
/ (cpl/;) k{ In I#T
1
-12 sgn (#) f(CP)dcp.
.7T }
Rem ark 4.5. In the theory of singular integral operators the function J is
called a characteristic, and cI> a symbol (cf. [40]). Formulas (4.7), (4.8) (as weII as
(2.1), (4.1), and (4.3» express one of these functions in terms of the other, for
arbitrary a. In case k = 0 equation (4.8) is called the Calderon-Zygmund Jormula.
(E(A)±lu±)(x) =
1
12 e
i; (nl2±iA) f(nI2-+-iA) X (4.9)
(27T)n
X !(-+-xy+io)-nl2+iA u ±(y)w(y).
s
Since the integrand is homogeneous of degree 0 (in .F), the 'integral' is indepen-
dent of the choice of S. It is clear that the operator E(A) (resp. E(A) - I) thus
defined maps homogeneous functions of degree iA - n 12 (resp. - iA - n /2) to
homogeneous functions of degree - iA - n 12 (resp. iA - n 12).
Rem ark 4.7. Consider the operators E(A)±I for n = 1. In the one-
dimensional case x and y take the two values -+-1, and the 'integral' over the
zero-dimensional sphere is the sum u (1) + u ( - 1). Hence for n = 1 we have the
formulas
[ (E(A)U)(l) 1 f(l/2+iA)
X (4.10)
(E(A)U)(-1) -
&
e -2
iw [2+
1 IA ] e i; [-i-+iA]
X
iw [1 ] iw [2+
1 iA]
[ u(l) 1
u( -1) ,
e 2 2+ iA e -2
1=
-I
[ (E(A) -I u)(I) r{l/2-iA2
X (4.11)
(E(A) u)( - 1) V2;;
e i; [+-iA] e- i; [+-iA]
1
X
iw [2-
e -2 1 IAJ e 2iw [I2- IA
"J
[ u(l)
u(-l)'
J:'«x) = ! (-xy+iO),",u(y)dy.
sn - I n {y : I xy I >(}
where ReAk > 0, and if a finite limit ao(x) = limHo a«x) exists, then we say
that the principal value (of the) integral
j ( - xy + iO)Jl. u (y )dy
exists. By definition
It turns out that the principal value exists for =t= -1, - 2, ... , and coincides
J: defined in §l (formula (1.6». For details see [62].
jJ-
with the integral
§5. The spaces HS(J>.,sn-I). The operator E(J>.) on the spaces HS(J>.,sn-l)
In this paragraph we introduce for an arbitrary real number s the spaces
HS(A,sn-l) of (generalized) functions on the sphere, with norms depending on
the parameter A E C. For each definite value of this parameter the norm in
HS(A,sn -I) is equivalent to the norm in the Sobolev-Slobodetskii space
w~(sn-I) Hs(sn-I). It turns out that the maps E(A)±I:
HS(A,sn -1) --,) Hs±ImA(A,sn -1) are continuous.
(5.1)
~ I(D"'u)(x)-(Dau)(y) I 2 dx dylll2
[ IIU ;H[sJ(Rn)112 + j j
lal =[s] IR"IR" I.X -}' I n + 2s - 2[s]
§5. The spaces HS(}..,sn -I). The operator E(A) 23
(5.2)
°
where ~xu = ~UOX-I on X(U), and ~xu = outside X(U). Another partition of
unity and another, equivalent, atlas lead to an equivalent norm in HS(''Jrl). For
s 1 < s 2 the space H S2 (~) compactly belongs to H S1 (~). The spaces H S(~) and
H-S(~) are dual with respect to the scalar product in HO(~).
8 = -5:= .' n - ; - 10
j 1 qjsm n-j
.' aona-j. [sinn - j - IOn - j aona_j.] ,
(5.3)
converges. The (generalized) functions v on the sphere for which (5.4) converges
belong to the domain of definition of (I + oy also for s < O.
The aim of the present paragraph is to prove the following assertion.
hold.
holds.
a2 n -1
6.(r 2u) = - 2 (r 2u)+---a (r 2u)-ou,
a
ar r r
(5.6)
hold.
Taking into account the assertions concerning the spectrum of the operator 8
we have
r
J I(1-8rF'Y12d~ =
One of the inequalities in (5.7) has been proved. Let us verify the second. We
have
co
J = II'Y; H 2s (lR n)11 2 ~ 1(1 + p2)2s pn -I dp 1 I(I + 8)-SF(1 + 8)S(YI2d~.
° S·-l
~ [l(l+p2)2pn-IdPII(I+8)-IF(I+8Y'Y12d~r X
r' '"
J (5.12)
It is clear that
Using (5.3) we find that the righthand side does not exceed
c [J I(I +8Y -Iv 12d~+ 1I(I +8Y -18v 12d~] .;;; ell (I +8Y'YI2dx.(5.14)
Combining (5.12) - (5.14) we are led to the estimate J .;;; 11(1 +8Y,,\; HO(lR n)11 2,
which together with (5.11) gives (5.7) . •
hold.
Proof. Formula 5.3 and the equation '"'v = T/V imply that (I + ~)'\~r, 1/» =
= x(r)v(I/»+(I-r2.6.)'\~r,I/», where X E C~(IR'+). Hence
111(1 + 8)'"'V; H 2o (lR n)II-II(1 - r2 .6.)'11; H 2°(lR n)111 ~ c Ilxv; H 2o(lR n)ll.
Since 'Y vanishes outside the annulus 1/2 < r < 3/2,
,,;;;;; II(I - r2 .6.)'11; H 2o(lR n)11 ,,;;;;; c211(1 - .6.)'1[; H 2o(lR n)ll.
Hence
11(1 +~)'II; H2o(lRn)11 ,,;;;;; c(II'II; H 2o +2(lR n)11 + Ilxv; H 2o(lR n)II), (5.16)
II'"'V; H 2o +2(lR n)11 ~ c(ll(I + 8)'11; H2o(lRn)11 + Ilxv; H 2o(lR n)II). (5.17)
Together with (5.16) this leads to the estimate 1I(I+8)'II;H 2o(lR n)ll,,;;;;;
,,;;;;; cll'll; H 2o + 2(lR n)ll, i.e. to the inequality on the right in (5.15).
Let us now prove the left inequality. We have
(5.18)
The inequality II'll; HO(lRn)11 ~ cll(I +8)'1[; HO(lRn)11 and estimate (5.18) imply
Ilxv; H 2°(lR n)11 ,,;;;;; c II'll; H2o+2(lRn)llo I (0+ I) 11(1 + 8)'Y; H 2o(lR n)11 1I (o+ I).
This and the previous inequalities give (5.19). The case s < 0 is obtained by tran-
sition to the dual spaces with respect to duality in HO(sn -I). •
(5.20)
Equation (5.4) and proposition 5.1 imply that for each fixed A E C the norm
(5.20) is equivalent to the usual norm in the Sobolev-Slobodetskii space
Hs(sn-I).
Pro p 0 s i t ion 5.5. If A =1= i(k +n!2) (or A =1= -i(k +nI2)), where
k=O,l,···, then the map E(A):Hs(A,sn-I)~Hs+ImA(A,sn-l) (resp.
E(A)-I:Hs(A,sn-I)~Hs-ImA (A,sn-I)) is continuous. On every closed set go
lying in a strip I1m A I < h and not containing the points A = i (k + n I 2) (resp.
A = -i(k +n!2)), k = 0, I, ... , the estimate
(resp.
(5.22)
holds.
where
Because for A ¥= i (k + n 12) none of the functions ILm' m = 0,1, ... , can have
a pole, (5.23) - (5.25) imply that the map E(A):Hs(A,sn-I)~Hs+Im\A,Sn-l) is
continuous, and that (5.21) holds. The corresponding properties for E(A)-I are
verified in a similar manner. •
Combining propositions 4.4 and 5.5 gives
II" n: Ix I = 1, Xn < O}. The main result in this paragraph consists, roughly speak-
ing, of the fact that the operator Ef}..) establishes an isomorphism between the set
of functions with support in the halfsphere S"t--I (or in S~ - I) and the set of
homogeneous functions of degree - iA - n 12 having an analytic extension in the
last coordinate to the lower (resp. upper) complex halfplane.
First we will prove several helpful propositions. Let w = (w',w n) E IR n,
Iwl = 1, w'¥=O. Put w = w'/lw'l, s = wn/lw'l. The map wt->(w,s)
.) This paragraph is used in Chapter 6 only.
30 Chapter 1.
transforms the sphere Sn -I with poles (0, -+-1) deleted onto the cylinder
Sn -2 X IR. We denote the inverse map by K. Clearly, w = (w',w n) = K(W,S) =
(W(I +s2)-1/2, s(1 +s2)-II2).
(6.1)
f
+00
X e sgn(SI)(>"-P.-i/2)-rrI2p _>..(t)-llt li(p.->")-1/2(uoK)(~,t)dt
-00
holds, where p>..(s) = (1 +s2)(iA+nI2)/2 and E' 0) is 'the operator E(lo.) on the sphere
Sn -2 = {(w',w n) E sn -I: wn =O}', i.e. E' (lo.) is defined by formula (2.1), in which
n must be replaced by n - 1.
Proof. We denote by F' and IJ the Fourier transform with respect to the coor-
dinates x' = (XI, ... ,Xn-I) and Xn, respectively.
Let f E CO' (IR + ), J(lo. + in 12) = 1. Applying proposition 2.1 we find
-I '
X Mi(n -1)/2-v-> lEI (1 +s2)-112 E,p->w(v)M I x' I->v +i(n -1)/2 X
X E~-->w(v)Mlx'l-->v+i(n-l)/2 X
(4-->w(A)U)OIC(W,S) = (6.3)
Recall the inversion formula (1.2.6). We see that composition of the operators
M=;-->ppiV is integration with respect to v and multiplication by (277)-112.
Further,
+00
X lim f 1/ I -iv +(n -3) /2 e -fly' I Iy IiA-nl2 X
f-->+O 0
32 Chapter 1.
hold.
(T(A)U)(W,O) = (6.7)
§6. A Paley- Wiener theorem for E(t..) 33
1
f
+00,
= --2 E (J.t)f(i(A-,u)+ 1I2)d,u X
(2'17") -00
+00
X f p =~ (t) t I I i(j.t-A)-1/2(uo/()(~,t)dt X
-00
X lim f
+00
ei(Js -( IS I +sgn(SI)(A-I'-i/2)7T12 s I Ii(j.t-A)-1 12 ds.
( ..... +0
-00
By (6.5),
lim f
+00
ei(Js -( Is I +sgn(sl)(A-I'-i/2)7T/2 1 S Ii(j.t-A)- I12 ds (6.8)
( ..... +0 -00
X (e(A-I')7T(sgn(J+sgnl)l2+i7T(sgn(J-sgnl)/4 +
For sgno+sgnt = 0 the expression between brackets (on the right) vanishes,
while for sgno = sgnt it equals (e 7T(A-/l)+e- 7T(A-I'))sgno. Since
f(i(A-,u)+ 11 2)f(i(J.t-A)+ 1/2) = 2'17"(e7T(A-I'J +e-I'(A-I'J)-I, formulas (6.7) and
(6.8) imply (6.6) . •
We introduce the space H~(A,sn-l) as the closure of the set CO(S~-I) with
respect to the norm of HS(A,Sn -1). Denote by H~ (lR) the completion of the set
Co (IR:±:) with respect to the norm of HS(IR). Let, further, L 2(sn-2,B) be the
space of functions given on Sn-2 = {w=(W',W n)ES n - 1 :Wn =0} with values in
the normed space B, and let, moreover,
Pro p 0 sit ion 6.3. For A =¥= i (k + n 12), k = 0,1, ... , the operator
E()..): H;ImA (A,sn -I) --7 HO(sn -I) is continuous. The volume element dw on
sn-I can be written in the form dw = (l+t 2)- n12 dtdw, where, as before,
w = (w',w n) = (1 + t 2)-1!2(w,t). This implies the inequality
IIT(A)U ;L2(sn -2 ,H - Im?(IR»11 ,,;:;; c Ilu ;H"± 1m?' (A,Sn -I )11. (6.10)
f dw f
+00
holds, in which the constant c < 00 is also independent of 7' ~ o. Converse~y, if for
almost all W E S n- 2 the function ('fI/)( w,·) is anarytic in the halfplane indicated and
satisfies (6.12), then f E L 2 (sn -2,H+ (IR)). The proposition remains valid if H + is
replaced by H _ and 7' < 0 by 7' > 0, everywhere.
Let X+(,u) (resp. X-(,u)) be the subspace of HO(sn-l) formed by the elements
v satisfying the conditions: a) for almost all f / 1fiE sn -2 the homogeneous
function g = (g',gn) t-+ 1 g Il'v (V 1 g I), g' =I=- 0, can be analytically extended to the
halfplane Imgn > 0 (resp. Imgn < 0) (this is equivalent to the possibility of
analytically extending the function s t-+ w (w, s) = (1 + S 2 )1' 12 v 0 IC( W, s) to the
corresponding halfplane); b) the inequality
+00
f dw f 1w(w,s + i7') 12(1 +s2 +7'2)- Rel'-n12ds ~ C < 00
S·-2 -00
The 0 rem 6.5. For A =I=- i (k + n / 2), k = 0,1, ... , the operator E(A) maps
H;ImA(A,Sn-l) onto X:::i=C-iA-nl2). This map is an isomorphism (algebraical~y
and topologicalry).
The space Hp (IR m), for nonnegative integers s, /3 E IR, is endowed with the
norm
rj~mlal± Ix(1)12(,8-s+lal)ID~U(X)12dXll!2,
=0
*
dense subset of Hp(lRn), can be extended to the whole space Hp(lRn), and realizes
a continuous map F:H:B(lRn)~H:B(Hn) (if /3-s k+nI2, k = 0,1, ... ). For
k + n 12 < /3 - s < k + 1 + n 12 the operator F is at first defined on the set
37
38 Chapter 2.
while in case {J - s < n 12 we may assume that F is given on C[) (Ikln \ 0). §3 is
devoted to the map A:Hp(lkln)~Hp-Rea(lkln). If {J-s=/=k+nI2,
{J-s =/= -k - Rea -n12 (k =0,1, ... ), then the operator A (at first given on
some dense subset of Hp(lkln» is continuous, hence its closure A is an operator
defined on all of Hp (Ikln). The representation for A obtained in §3 is the starting
point for the study of the algebras of pseudodifferential operators with discontinu-
ous symbols in the next Chapters. In §4 - §6 analogous problems for the map
A:H:e (Ikl m, Ikl m -n) ~ H:e - Rea (Iklm,lklm -n) are considered.
(Ll)
where, as before, r = 1x I. Using the Parseval equality (1.2.7) for the Mellin
transform, we obtain yet another equivalent norm:
(1.2)
The righthand side of (1.2) makes sense for arbitrary real s, cf. (1.5.20). For all
39
s,{3 E IR the space Hfi (IRn) is defined as the completion of withCo (IRn \ 0)
respect to the norm (1.2). The following assertions are readily derived from the
definitions of the norms.
Pro p 0 sit ion 1.3. The spaces Hfi(lR n) and H=fi(lR n ) are the duals of each
other under the extension of the scalar product in L 2(lR n) = Hg (IRn).
(F;=lu)(r,cp) = ,b-
2'1T
V
f
ImA=(J
ri(in/2+A)~~<p(A)±lu(in/2+A,I/I)dA; (2.1)
the operator F (J (resp. F;; I) is defined under the condition that (J =1= k + n / 2
(resp. (J =1= - k - n / 2), where k = 0, I, . . .. It is obvious that for
(J =1= +(k + n / 2) the operators F (J and F;; 1 are the inverses of each other, and Fo
Pro p 0 sit ion 2.1. Let (J and (J' be real numbers subject to the inequalities
(J< n / 2, P + n / 2 < (J' < P + I + n / 2, where p is a certain nonnegative integer. Then
the formulas
40 Chapter 2.
(F:=f!u)(x) = (2.2)
1 (+i)I'Y1 +2
(2'IT)
Cn-l)12
.
p
~
I'YI =0 -y. S"-l
f -+-1
,X'Y y'Y u (Y)4J;+(F±o'u)(X)
hold, in which the upper (lower) sign must be chosen everywhere. Moreover, for arbi-
trary h < 0,
Thus, the formulas (2.2) give for x ~ 0 the asymptotic behavior of F:=f! u, and for
x ~ 00 those ofF~!,u.
Proof. We verify the assertion for, e.g., Fou. Since u E CO' (~n \ 0), the func-
tion A...... U(A + in 12,') is analytic in the whole A-plane and decreases faster than
any power of IAI in every strip lImA I < N. This and inequality (1.5.21) imply
(2.3) and the estimate
(2.5)
Further,
= (~it+1 £ 'Yu d
(2'ITin + 1)12 ~ "" fy
I'YI =k I'R"
(y)~.
Therefore, replacing in (2.1) the integration curve ImA = a by ImA = 0' we are
led to (2.2). If a" E (p + 1 + n / 2,p + 2 + n / 2), then the difference F o'U ~ F o"U is
equal to 2'ITi Ix IP + 1 times the residue (2.6) for k = P + I. Together with (2.5) (in
which a' must be replaced by 0") this leads to (2.4) . •
2)Let /3-s = k +n12 and let Hfi,k(R n) (resp. Hf k(Rn)) be the subspaces of
Hfi(R n) (resp. Hf(R n)) obtained by closure of the set of functions from
Co (Rn \ 0) satisfying the conditions
f v(r,q,)Ym,q(q,)dq, -
sn-l
0, m ~k, m _ k(mod2). (2.8)
is an isomorphism.
Pro p 0 sit ion 2.3. The set Mp is dense in Hfi (Rn) for any nonnegative
integer p, and for /3-s *- k +ni2, k = 0,1, ....
(2.10)
holds. The operator F (the closure of F), defined on all of Hp(Rn), realizes a con-
tinuous map F:Hp(Rn) -,> Hf(R n). All assertions made remain valid if /3 and s
are interchanged and if F- 1 is written instead of F. The formulas F= F fi-s'
F- 1 = F.B~s (cf (2.1)) hold for the operators F and F- 1, which are defined on
Hp(Rn) and Hf(R n), respectively. Under the additional restriction
/3 - s =1= - (k + n 12) the operators F and F- 1 are inverse to each other.
2) Let /3-s = k+nl2 and let F be the Fourier transform defined on the set offunc-
tions from CO' (Rn \ 0) satisfying (2.9) for I y I = 0, ... ,k -1 and (2.8) (if
k = 0, condition (2.9) can be omitted). The closure of this set of functions coin-
cides with the subspace Hp,k(R n), and the map F:Hp,k(R n) -,> Hf,k(R n) is an iso-
morphism. The operators F and F fi-s coincide on Hfi,k(R n). All assertions
remain valid if /3 and s are interchanged and F- 1 is written instead ofF.
Proof. 1) That 6j)(F':::I) is dense follows from proposition (2.3). On 6j)(F) (resp.
6j)(F- 1» the operator F (resp. F- 1) coincides with F fi-s (resp. F .B~s) (proposition
2.1). The estimate (2.10) follows from proposition 2.2.
2) Note that the denseness of the set of functions on which the Fourier
transform F is initially defined follows from the proof of proposition 2.3. The
remaining assertions are verified as is done in the first part of the theorem . •
§2. Fourier transform on the spaces H;HRn) 43
Rem ark 2.5. If the numbers fl-s, fl'-s' belong to distinct intervals
(-oo,nI2), (q+nI2,q+l+nI2), where q = 0,1, " ' , then the operators F and
F' defined as the closure of the Fourier transform on Hfi(R n) and H~'(Rn) are,
generally speaking, distinct on functions u from Co (Rn \ 0). The equality
Fu = F'u holds if u E <JRp where p = max{[fl'- s'- n 12], [fl- s - n I 2]}.
A = F-I(>(~F. (3.1)
The aim of the present paragraph lies in clarifying the problem of the bounded-
ness of the map A:Hfi(Rn)~Hfi-Reu(Rn).
Pro po sit ion 3.l. Let Rea> -nI2. Then the representation
(Au)(r,cp) = _ b-
2
VL.'TT
+00
f r i (A+iU+inI2)E
-00
w.....<j>(X+ia)-1 X (3.2)
Proof. By (l.28),
X E(X-ia)u(A-ia + in I 2,)dJ\.
Now note that in the strip between the lines ImX = 0, ImX = Rea the integrand
is holomorphic, since Re a > - n I 2, while the poles of the function IL 1-+ E(p.) are
located at IL = i(k+nI2), k = 0,1, .... The membership u E Co(Rn\O)
implies that the function X1-+ u(A + in I 2,) is rapidly decreasing as X ~ 00 in any
strip IImX I < h. Together with (1.5.21) this allows us to replace in (3.3) the
integration line ImX = Rea by the line ImX = O. By now applying the inverse
Fourier transform F- I = FOI (cf. (2.1» to (3.3) we obtain
44 Chapter 2.
Put J.t = A - ia and then replace the line 1m J.t = - Re a by the line 1m J.t = 0. As
the result we obtain (3.2). •
X f (xw+io)-n-a-kcp(w) ~ w~ dw fyYu(y)dy +
S"-l lyl =k y. IRI"
[-T-nI2- Rea 1
- ~ (-l)kr(n+a+k)X
k =0
X ~ x~ f
fU(y)dy (-YW+io)-n-a-kcp(W)WYdW},
lyl =k y· lRI " S"-l
f (l(w)wYdw =
S·-I
° (3.5)
for all multi-indices y such that Iy I = 0, ... ,I, then the residues of the terms in
(3.4) are annihilated for a = -I - n. As the result we obtain a representation for
A also in case a = -I - n. It coincides with (3.4), in which we must substitute
a = -1- n and transform the terms for 0,,;;;;; k ,,;;;;; I taking into account (1.2.5) and
(1.4.3).
Assume that /3-s =1= k +nl2, /3-s =1= -k - Rea -nI2, k = 0, I, ... , and
denote by ~(f3,s,a) the set of functions u from Co
(Rn \ 0) such that
u(i(q+n),q,)_O for q = 0, ···,[/3-s-nI2] and u(-i(k+a),q,)_O for
q = 0, ···,[s-/3-Rea-nI2] (if one of [/3-s-nI2], [s-/3-Rea-nI2] is
negative, the corresponding condition is omitted). In the following theorem, A
denotes the operator (3.1) or the operator obtained from (3.1) by analytic exten-
sion in a.
(3.7)
here Fp-s (resp. F.8~s + Rea) is the closure of the Fourier transform (resp. the
inverse Fourier transform) on Hp(Jl n) (resp. H~_Rea(Rn») described in theorem 2.4.
On ~(f3,s,a) the estimate
(3.8)
holds. The set ~(f3,s,a) is dense in Hp(R n), hence A (the closure of A) is defined on
all of Hp(Rn) and realizes a continuous map A:Hp(Rn)~Hp-Rea(Rn). The
46 Chapter 2.
Proof. Formula (3.6) follows immediately from (3.4) and the definition of
1Jl(ft,s,a). We show that (3.6) can be rewritten as (3.7). By (3.6), (2.1) and
F- 1 = F.B~s+Rea, which holds on H~-Re(J(lRn) (theorem 2.4), we have
Au = F.B~s+ReaV, where v(-l\.-ia+inI2,·) = «IIE(l\.)u(l\.+inI2,), Iml\. = /3-s.
Inverting the Mellin transform (cf. (1.2.6)) and taking into account (2.1) we obtain
v(P,w) = pa«ll(w)(Fp_su)(P,w). This implies (3.7). In order to obtain (3.8) it
suffices to use (3.7) and to recall that each map Fp_s:Hp(JRn)-?Hff(JR n),
«II:H~(JRn) -?H~ -Rea(JR n), F.B~s + Rea: Hff _Rea(JR n) -? Hp -Rea(JR n) is continuous
(theorem 2.4, proposition 1.1). The denseness of 1Jl(ft,s,a) is verified similarly as in
the proof of proposition 2.3. The representations (3.6), (3.7) for A follow from the
corresponding formulas for A and the continuity of the three maps just listed. •
Rem ark 3.4. The relation between the operators (3.1) and A for a = -/ - n
can be established under the additional conditions (3.5) only. However, A is itself
defined without these conditions. Unless stated otherwise, A is considered for
arbitrary functions «II.
R e ill ark 3.5. If /3-s =1= k +nI2, /3-s =1= -k -Rea-nI2, the operator
(3.6) realizes a continuous map Hp (JR n) -? Hp - Rea (JR n) if and only if the function
Sn-I 3 ()t-+«II(fJ) is a multiplier in the Sobolev-Slobodetskii space HP(sn-l) (cf.
proposition 1.1). In particular, for 1/31 > (n - 1) I 2 the condition
«II E HIP I (Sn -I) is necessary and sufficient for the operator (3.6) to be continu-
ous.
Rem ark 3.6. The operators (3.6) and F- 1 «II(~)F coincide also on a set larger
than 1Jl(ft,s,a); it is only necessary that the terms between the brackets in (3.4)
cancel each other.
47
(4.1)
Unless otherwise said, all spaces occurring in the sequel are defined as comple-
tions of COO (Rn \ 0) or COO (Rm,R m -n) in corresponding norms.
We introduce the space tti:8(Rn) of functions on Rn, by taking
Taking into consideration the definition of the norm in H~ (Rn) (see (1.1» we
find that an equivalent norm in ttip(Rn) is given by
We now define the space Hp(Rm,Rm -n) for an arbitrary nonnegative index s.
For functions u with support in the set {x=(x(l),x(2» E R m ;2- l < Ix(I)1 <2}
the norm in H:8(R m,R m -n) will be taken to be equivalent to the norm in the
*)§4 - §6 are not used in the sequel.
48 Chapter 2.
(4.3)
(4.4)
49
We rewrite the expression for 11·;6ip(lR n )11 in terms of the Mellin transform.
Replace (4.4) by the equivalent norm
(4.6)
Pro p 0 sit ion 4.1. Let v E CO' (IRn \ 0), s, /3 E R s ~ 0. For arbitrary
I E [O,s 1the inequality
(4.7)
°
Proof. Let p be an arbitrary number subject to the condition
p > max {/32, (f3 - s i }. Then the inequality Re (A2+ p) > holds for
/3-s ,,;;;; ImA";;;; /3. Put U(A) = (1-<5)-U>'+,8)/2(1 +A2 +p -<5)(i>'+,8)/2, where
/3-s ,,;;;; ImA";;;; /3 and <5 is the Laplace-Beltrami operator. For ImA = /3 the opera-
tor U(A) is unitary on L 2 (Sn -I), while for ImA = /3-s the map
U(A): HS(A,sn -I) ~ Hs(sn -I) is an isomorphism; moreover,
IIU(A)II+IIU(A)-III,,;;;;const. This implies that the righthand side of (4.7) is
equivalent to
50 Chapter 2.
where 10 and II are the traces of I on the lower and the upper edge of the strip,
respectively.
As is well-known, the space H'(sn -I) is interpolating with respect to the pair
(H s (sn-I),L 2 (sn-I», Hl(sn-I) = (H s (sn-I),L 2(sn-I»O,2 for 1= (l-O)s,
and the inequality
~ c (I I}J{) (0, -)*10 ;Hs (sn -I )11 2 + II!LI (0, -)*/I;L 2(Sn -I )112)
holds.
Substitute in (4.9) f (z) = U(z)v(z + in 12, -) and subsequently integrate over
the line Imz = 13-/ = f3-(1-0)s. Since the kernels !L/B,·), j = 1,2, are
smooth and rapidly decreasing, the quantity
can be bounded from above by (4.8). Taking into account the properties of the
operator-function U thus leads to (4.7) . •
This proposition allows us to define an equivalent norm in Sfi(/Rn) by
51
Au = F-I«pFu, (5.1)
(5.2)
L e m m a 5.1. Let 1/- E Coo(R) with, moreover, 1/-(t) = °for t> 112 and
1/ - (t) = 1 for t < - 112. The integral
+00
j e iN 1/_(t)iP(e 1w,O)J,,(t,w)dt, Iwl = 101 = 1, (5.4)
-00
defined for ImA < n12, has an analytic extension to the whole A-plane as a mero-
morphic function; only the points A = i (p + n 12), where p = p ", p" + 1, ... , and
p" = max {[T-nI2]+ I,O}, can be Singular. At these points the integral (5.4) can
have poles of order one only. The residue at A = i (p + n 12) is equal to
(_i)ly+ll
(n-l)12 ~ wY+K " 8K iP(O,0) jyYv(y)dy, (5.5)
(217') IYI+IKI=p y./(. IR"
1 M Y
J (t w) = ~ (-i)IYI e(nl2+ IYI)I~ X (5.6)
" , (2 17' )(n - 1) I 2
lyl"""=p, y.,
+00
X j y Yv (y)dy-3 K iP(O,0) j e(iHnl2+ IKI + IYI)I1/_(t)dt+
IR" - 00
+00 +00
+ j eiAI1/_(t)iPN+l(t,W,O)J,,(t,w)dt+ j e iAI 1/_(t)iP(e 1w,0)J".(t,w)dt.
-00 -00
§5. Transversal operators and special representations 53
Pro po sit ion 5.2. Let -n12 < T+ Rea, q+nl2 < T < q + I +nI2, where q
is a nonnegative integer. Then we have for the operator A(IJ), defined by (5.2), and
v E Co (IRn \ 0) the representation
(A(lJ)v)(x) = (5.8)
= _1_
,f2;; f r i (inI2+,\+iu)E f\
w-..tj> \"
+ ia)-I<p11--->'\ (w , 0) X
'7TIm'\=T
Here r = I x I, cp = x I Ix I,
<P/L-..,\(w,O)w(}L,w) = (5.9)
1 +00 .
= 2'7T f
e'N<P(w,e-IlJ)dt f e-i/Llw(}L,w)dp"
- 00 Im/L=T
Z (x 0) =
Y'
(-i)lyl
(2'7T)(n + 1)/2",1
/.
{f
my=h
r i (inI2H)E
w--->tj>
(A)-lwYdA X
+00 +00
X f '1'/+ (t)e(iHnl2+ lyl)I<P(elw,lJ)dt+ f r i (inl2+'\)E(A)-l wYdA X
-00 -00
the '1'/ ~ are nonnegative functions from Coo (IR), '1'/- (t) = 0 as t > 112, '1'/- (t) =
as t < - 112, '1'/ + (t) = 1 - '1'/- (t); and h is an arbitrary number satisfying
h >max{-nI2, 1'(1 +Rea+nI2}. Under the conditions -nI2<T+Rea,
T<n12 the formula obtained from (5.8) by discarding the terms containing Zy
54 Chapter 2.
holds.
(5.10)
+00
Our aim is to replace J 0 by J T (cf. (5.3» and the line Imi\ = 0 by Imi\ = T.
Represent (5.10) as the sum I + (x) + I _ (x), where the I ± are equal to the right-
hand side of (5.10) with .p replaced by "1±(t).p. By the equation
JT(t,w) = yi2;pn12 (FTv)(p,w) and estimate (2.3), the inner integral in 1+, con-
taining "1 +, is an analytic function on the whole i\-plane and decreases faster than
any power of Ii\ I in every strip I1m i\ I < N. Hence for T + Re a > - n 12,
+00
Note that (2.4) implies that the integral (5.4) IS analytic in the halfplane
Imi\<q+l+nI2 (under the condition T>q+nI2). For
-nI2<T+Rea <q+l+nI2, by using (5.6) (in which we must put T = 0,
T' = T) we obtain
(5.12)
f
+00
X eiA-ia)I"1_(t).p(w,e-I())JT(t,w)dt+
-00
+ I f
( 2'TT)(n + 1) 12 ImA==O
r i (inI2+A)E(i\)-Jdi\ X
Substituting in (5.11) the expression for J 0(1, w) from (5.6) (where, again, we put
§5. Transversal operators and special representations 55
f
+00
eiN<I>(etw,O)Jo(t,w)dt
-00
f
+00
X e iN <I>(w,e- t 8)Jr(t,w)dt+
-00
f f
+00
Clearly, equality also holds under the condition 8 - I - n 12 < T + Re a < - n 12. If
56 Chapter 2.
this condition is satisfied, we may again replace the line 1m;\. = T-~ by
1m;\. = T. Repeating in a suitable manner these considerations we are led to the
formula (for T< nl2, -p -l-nl2 < T+ Rea < -p -nI2):
(A(O)v)(x) = 1
(27T)312 Im'\=T
f
r i (inl2+'\+ia)E(;\'+ia)-ld;\. X
+00
X _~ ei.\t<P(w,e-10).!T(t,w)dt- (27Ti n\I)/2 X
f wYdw f
P 'lyl+1 +00
X ~ I , xY e(nl2+IYI)I<P(e 1w,O)Jo(t,w)dt.
1 y =0
1 "y. s· -1 - 00
X f e- iIlI E{JL)v{JL+inI2,')dp"
Imll= -h
where h is chosen to satisfy the inequality h > max { - n 12, I"Y I + Re a + n 12}.
Changing the order of integration, we rewrite this expression in the form
The expression with '/)_ instead of '/)+ can be written similarly; we must only
put h = 0 in this case. Recalling (1.2.1) and (1.4.1) we obtain
_ -1--
Ew--->y{JL)1 (w) - Ew--->yGU) I (w).
operator (5.2) and v E Co (II~n \ 0) the representation (5.8) in which at the righthand
side we must add the sum
where
(-i)lyl
J ri(inf2+P.)E(p.)-lwYdt-t X (5.13)
Imp.= -T
Proof. The definition implies that 0p(Rn) is the intersection of the spaces
H~(Rn), j = 0, ... ,[sj, and Hp(Rn). Since the inclusion H~-:;'~(Rn) C H~(Rn)
holds for all I, {3 and arbitrary 8> 0, the functional is continuous on ~p(Rn) if it
is continuous on the intersection of the spaces H~_ /Rn), j = 0, ... ,[s j, and
H~_s(Rn). The latter
property is guaranteed by the relations
xy Y E (~_s(Rn)f = and
Hl_p(Rn) (l-x)yY E (H~(Rn»* = H~p(Rn),
where X E CD (Rn) with X = 1 in a neighborhood of the origin. It is obvious that
these relations follow from the inequalities to which {3, y and s are subjected. It
has been established that the conditions of the proposition are sufficient: neces-
sity, in particular, is contained in the following proposition.
Pro p 0 sit ion 5.6. Let PI,P2 be integers, ° ~PI ~P2' and let
GJR.{p1,P2) = {vECD(R n \O):v(i(q+n),Ifl)_O,q =PI,···,P2}. In ~p(Rn)
each of the following sets is dense: '!JR.(O,p 2) if {3 > s +P 2, GJR.{p I ,P 2) if
{3 <PI +nI2.
58 Chapter 2.
Proof. The proof is obtained from the proof of proposition 2.3 by making
some obvious changes in it. •
We now turn to the functionals (v,f y ) and (v,7]y,q) from propositions 5.3 and
5.4.
Pro p 0 sit ion 5.7. The functions x ~ fy(x, 0), defined in proposition 5.3, are
°
infinitely differentiable outside the origin. As x ~ 00 they decrease faster than any
power of / x /' uniformly in 0 E Sm - n - I. As x ~ the estimates
hold. Everything said remains valid for the functions Z y(, 0) also.
Proof. The function fy(-,O) coincides with the righthand side of (5.9) in which
cP must be replaced by CPo Since in the first term of (5.9) the number h can be
taken arbitrary large, using proposition 1.5.5 we find that this term decreases fas-
ter than any power of / x / as x ~ 00.
We now turn to the second term in (5.9). The inner integral has a meromorphic
extension onto the whole A-plane. The points A = i ( / y / + /K / +n 12),
/ K / = 0,1, ... , turn out to be (first order) poles, and the corresponding residues
are equal to i (K!) -I aKcp(O, O)w K • As A~ 00 such that / 1m A/ < N for some N, then
this extension decreases faster than any power of / A /. After multiplication of the
inner integral by wYand an application of the operator E(A)-I the poles disap-
pear (by proposition 1.4.3). This allows us to replace in the second term of (5.9)
°
the line of integration ImA = by the line ImA = h. From this we obtain that
the second term also decreases rapidly as x ~ 00.
We now verify formula (5.15). Using the fact that the poles of E(A)-I are
located at the points A = -i(k +nI2), k = 0,1, ... , and by moving down-
wards the line of integration of the second term in (5.9) we find that this term is
0(1). Consider the first term. The inner integral extends as a meromorphic func-
tion onto the whole A-plane, and only the points A = i (/ y / + a - / a/ + n 12) (are
first order) poles (in order to see this we must expand CP(w, e -/0) by Taylor's for-
mula at (w,O». By moving the line of integration downwards, we find that the first
§5. Transversal operators and special representations 59
°
term in (5.9) is O( Ix I -a - 1y I-n) as x ~ (if a=/=-- Iy I - n) or O(ln Ix I) (if
a = - Iy I -n; in this case the integrand has a second order pole at
A = -in!2) . •
A similar reasoning proves
f
+00
X e(n+I"I+lyl)t<ll(etw,O)dt = O(lx IN).
-00
As x ~ ° the estimate
1)y,q(x,O) =
o ( Ix Iq + 1) for q + 1 .;;;; - Re a - n !2 - Iy I,
q+I=/=- -a-n!2-lyl,
o ( Ix Iq + lIn Ix I)
for q + 1 = - a - n 12- Iy I,
O(lxl-Rea-nI2-IYI) for q+I>-Rea-nI2-lyl
holds.
In order to verify the following two assertions it is necessary to use proposi-
tions 5.7 and 5.S (compare with the proof of proposition 5.5).
Pro po sit ion 5.9. If /3-s < min{n!2, - Rea -I y I -nI2}, then the func-
tionals v ~ (v, Ky) are continuous on 6fi(R n).
§6. Estimates for the convolution operator on the spaces Hh(lRm,~m -n)
We first give a boundedness theorem for the transversal operators A(e) (cf. (5.2»
in the scale 0:B(~n). As a corollary we subsequently obtain a statement concerning
continuity of the original operator (5.1) in the scale H:B(~m,~m -n).
The 0 rem 6.1. Let a,b and s be such that f3-s+Rea > -nI2, Rea ~s,
s ;;;. 0, and f3-s =1= k +nl2, f3 =1= k +nI2, k = 0,1, .... For f3-s > nl2 we put
(6.1)
holds.
Proof. By proposition 5.2, for v E S3 the expression A(e)v coincides with the
righthand side of (6.2). Proposition 5.6 implies that S3 is dense. Hence it suffices to
verify the estimate (6.1).
Put w = A(e)v. After application of the Mellin transform this equation takes
the form (for 1m7\. = ImfL = f3-s)
= E",~<j> (7\. + ia) - 1 cI> P.~A (w, O)Ey~", {JL)ii (f.L + in 12, l/;),
§6. Estimates for the convolution operator 61
(6.4)
f
+00
+co
+ f 1/+(t)e iN ()(w,e- tO).!p_s(t,w)dt
-co
(the notations are those of §5.2). Formula (5.6) and proposition 2.1 imply that
Jp-it,w) = O(e ht ) as t~+oo and h = [/3-s-n/2]+n/2. Recall that the
operator function A1-+ E(A + ia) - 1 depends analytically on A in the halfplane
1m A+ Re a > - n 12. Hence the result of applying E(A + ia) - I to the second term
on the right in (6.4) is also an analytic function on the halfplane ImA ~ /3-s.
The first term has a meromorphic extension to the whole A-plane (cf. lemma 5.1).
It was shown in the proof of proposition 5.2 that the value of E(A+ia)-1 on the
first term is also an analytic function in the halfplane 1m A+ Re a > - n 12.
Let's turn to estimating the norm
We denote the first and the second term on the right in (6.4) by g_(A,w,O) and
g+ (A,w,O), respectively. We have
w(A+ia +inI2,q,) = (6.5)
We first consider the expression E(A + ia) - 1g+ (A, W, 0). By assumption
/3-s+Rea> -n/2, hence for T = /3-s or T = /3-Rea the line ImA = T does
62 Chapter 2.
i+(g+i-r,w,O) = (6.7)
f f
+00 +00
= ei~ITJ+(t)e(ft-s-T)II'P(w,e-IO)dt e- i(JI!(a+i(f3-s),w)da.
-00 -00
Obviously, /3-s --r';;;; O. Assume for the moment that /3 ~ O. Then the norm
(6.8)
1!2'
+ Iii + (g+ i-r, ',0); HP(sn - I )11 2 ]dg}
Thus,
The operator adjoint to the operator j 1-+ g+ with respect to the duality
<u,v> = f f u(~,w)v(~,w)d~dw
R S·-I
is obtained from (6.7) by replacing (l by 41. The estimates proved for 13 ~ 0 for
the adjoint operator imply estimates for the operator (6.7) for 13 < 0 also.
By the requirements in the theorem, there are no poles of E(P) on the line
Imp. = /3-s. By applying proposition 1.5.5 we derive from (6.9) that
(6.11)
f
+00
= E",~tj>(A+ia)-1 ei(h+ia)ITJ_(t)(l(e1w,0).! ,B(t,w)dt+
-00
f
+00
X TJ_(t)e(i(h+ia)+nl2+ l'YI)lq,(e1w,O)dt,
-00
f
+00
1)- (t)e(iA-a +nl2+ Ir I)1 «II(e 1 ,w,O)dt =
-00
f
+00
1)_(t)e(iA-a+nl2+ Irl)I«IIN+I(t,w,O)dt +
-00
f
+00
X e(iA-a+nl2+ Irl + IKI)I1)~(t)dt.
-00
Here «II N + 1 is the remainder in the Taylor expansion of «II. If 1 1m AI < const and
A ~ 00, then this extension decreases faster than any power of 1A I. An applica-
tion of E(A + ia)-I preserves the character of decrease (proposition 1.5.5), while
the poles disappear (proposition 1.4.3).
The functionals (5.14) occur in (6.11) only if Irl +n12 </3. Thus, these func-
tionals are continuous on 0p(lR n ). Taking into account that the terms in (6.11)
containing them are rapidly decreasing as A~ 00, we find that the norm in
0:8 -Rea(lRn) of each such term is at most cllv;0:8(lR n)ll.
Denote the first term on the right in (6.11) by EW ->4>(A+ia)-lh_(A,w,8). The
inequality
~c f Ilh_(A,·,0);H.B(A,sn-I)11 2 dA
ImA=T
holds. Putting, as before, /(JL,w) = E.p->w{JL)v{JL + in 12,1[J) we are led to the formula
f f
+00 +00
= ei~I+(fl-T-Rea)I1)_(t)«II(elw,O)dt e i (Jlj(o+i/3,w)do.
-00 -00
~c j Ilj(,u,·);H.B(,u,sn-I)112d~~
Imp.={3
~c f Ilv(,u+inI2,·);H°(,u,sn-I)112d~.
Imp.={3
Ilw;Sfi - Reu(lRn)11 ~
Since both integrals on the right occur in the expression for the norm Ilv,Sp(lRn)11
(cf. (4.5», the last inequality immediately leads to (6.1) . •
If fj-s + Rea <
-nl2, the operator A(O), generally speaking, 'gets out of
hand'. In order to make the map A(O):Sp(lRn) ~Sp -Reu(lRll) bounded, we must
restrict it to a subspace with finite-dimensional deficiency and (or) add to it a
finite-dimensional term. We give two theorems of this kind.
Let p,q be nonnegative integers, p ~ q, let s be an arbitrary nonnegative
number, and let a,fj be such that
Let, also, r.l,lJ) be the function defined in proposition 5.3. If P < q we put
p
«(1(O)v)(x) = (A(O)v)(x)- ~ x'Y(v,rycO),
I'YI =0
66 Chapter 2.
while for 'T) > - n 12 we put (i(U) = A(U), where A(U) is the operator (5.2).
The 0 rem 6.2. Assume 13 =I=- k +nI2, f3-[s - Rea] =I=- -k-nI2, where
k = 0,1,"', and f3-Rea <nI2. Let, moreover, conditions (6.13) be fulfilled.
Then thefunctionals (v,fy) occurring in the definition ofCI are continuous on 0p(lR n).
For v EO CI the estimate
(6.15)
holds.
For the operator (f(B) (the closure of (i(U)), given on the subspace CI C 0p(lRn)
(which coincides for 13 EO ( - q - 1- n 12, - q - n 12) with the whole space 0p(lRn»),
the representation
«(i(U)v)(x) = _1_ f
r i (in12+Jo..+ia) X (6.16)
V);;rffiJo..=p-S
is valid.
Proof. The assumption 13 - Re a < n 12 and conditions (6.13) imply the ine-
quality f3-s < min{nl2, -q - Rea -nI2}. Continuity of the functionals (v,fy)
from (6.14) is guaranteed by proposition 5.9. For a function v EO (IRn \ 0) the Co
representation (6.16) (with the replacement of ImA = f3-s by ImA = 13- Rea)
follows from proposition 5.3. Put w = (i(U)v. After Mellin transformation we
obtain on the line limA = 13- Rea equation (6.3), in which Im,u = 13- Rea. We
show that for v EO CI the function A1-+ W(A + fa + in 12,') is analytic in the strip
f3-s ~ ImA ~ 13- Rea. By lemma 5.1 the integral
+00
f eiJo..tq,(w,e-tB)Jp_Rea(t,w)dt (6.17)
-00
strip f3-s .;;;; ImA';;;; 13- Rea if 13.;;;; n12. For 13 > nl2 there do not occur new
singularities of E(A+ia)-1 in the given strip. By lemma 5.1, the integral (6.17) has
a meromorphic extension onto the A-plane. The poles of this extension disappear
after an application of E(A + ia) -1. So, if v E CI, then A ~ W(A + ia + in 12,·) is an
analytic function in the strip mentioned above. This leads to the representation
(6.16).
We now turn to the estimation of the norm Ilw;Sfi-Rea(~n)ll. Put
+00
then (6.5) holds for W(A + ia + in 12, .). In view of the conditions of the theorem,
there are no poles of E(A + ia) -1 on the line 1m A = 1" for 1" = 13 - Re a or
1" = f3-s. This implies inequality (6.6). By puttingf(,u,) = E(,u)ii(,u+inI2,) and
using the fact that J f3-Rea(t,W) = J f3-s(t,w) (since 13- Rea < n12) we obtain
(6.7), in which, according to the above said, f3-s -1" E;;; 0. Thus, (6.10) holds. The
remaining considerations coincide literally with the corresponding part of the
proof of theorem 6.1. •
Rem ark 6.3. We view the operator (£(0) from a different perspective. Let
s = a = 0, p + n 12 < 13 <p + 1 + n 12, and let A(O):s~(~n) ~ s~(~n) be the con-
tinuous map described in theorem 6.1. Clearly, s~(~n) = H~(~n) and
(s~(~n))* = S~f3(~n). The operator (A(8))*:S~f3(~n)~S~f3(~n), adjoint to A(O)
with respect to the scalar product in L2(~n), coincides with the righthand side of
(6.16) in which 13 is replaced by -13, ip by ip and in which we have put
a = s = 0. By theorem 6.2, (A(8)), is the closure of (£(8) (in which also ip IS
which coincides with A(O) on a dense set in s~(~n) (see proposition 5.2 and
theorem 6.1).
the set
W = {VECO(lRn\O):jV(YJrJk,q(Y,e)cry = 0,
Proof. Boundedness of the functionals from (6.18), and equation (6.18) itself,
follow from proposition 5.10. By applying proposition 5.4 we obtain representa-
tion (6.2) for the operator A(O) on the set W. The remaining considerations are
completely analogous to those given in the proof of theorems 6.1 and 6.2 . •
Let's turn to the initial operator (5.1). Boundedness results for this operator in
the scale of spaces Hp(lRm,lR m -n) will be based on boundedness theorems for the
operator A(O) in the scale 0p(lR n).
(6.19)
holdsfor the operator A given on 53 by (5.1). The set 53 is dense in Hp(lRm,lR m - n),
and for the operator A (the closure of A), defined on the whole space
§6. Estimates for the convolution operator 69
(Au)(x(l),x(2) = (6.20)
111~I-a(~~~w)('/I~I,~);0p-Rea(Rn)11 ~ (6.21)
~ cll(iJy~~u)U I ~I ,~;0p(Rn)ll.
= 0 (6.22)
o
is dense in Hp(Rm,R m -n).
For an arbitrary function u E COO (R m ,lijm -n) we introduce the sequence {ud
for which (iJuk)(y'~) = k n('5u)(Iry, ~). It is obvious that the difference u - Uk
satisfies (6.22). Furthermore, ~(A+in!2,~;~ = ki'\+nl20fu5(A+inI2,~;~), and
by (4.5),
70 Chapter 2.
where the dot indicates the y variables. This and (4.6) imply
Hence Uk ~O in Hp(Rm,R m- n) as k ~ 00, and it has been proved that the set of
functions satisfying (6.22) is dense. The remaining reasoning is obvious (cf. the
proof of proposition 2.3). •
We now give a statement concerning boundedness of the operator A; this state-
ment follows from theorem 6.2 concerning the operator A(fJ). Let p,q be nonnega-
tive integers, p::;;:;; q. If P < q we denote by )ii the set of functions from
COO (Rm ,R m-n) satisfying for all ~ E R m-n the conditions
here y =y(l), ~ =
(2). If p = q we assume )ii = COO(Rm,R m- n). It is easy to
prove that
r'Y(YI~I,V I~I) =
= I~I-a- I'YI (-i)I'Y1 f
(2'1T) (n + I) I 2.",
r i (in/2+p.hu")-I,,,'Ydll. X
LJ\I" r
r ·Imp.=h
f pip.+n/2+ I'YI-Itp(p",,~p,
00
X
o
where r = Iy I, tp = Y 1 Iy I, h is an arbitrary number satisfying the inequality
h > max { - n 12, I"Y I + Re a + n 12}, and the inner integral is understood as the
analytic extension (with respect to p,) of the corresponding convergent integral.
Put
(CiU)(x(l),x(2» = (Au)(x(l),x(2»+
§6. Estimates for the convolution operator 71
while for 13 > -n12 we put if, = A, with A the operator (5.1).
The 0 rem 6.6. Assume that 13 =1= k +nl2, f3-[s - Rea] =1= -k -nI2, where
k = 0, 1, .. " and 13 - Re a < n I 2. Assume also that conditions (6.13) are
satisfied Then for u E § the estimate
holds.
A representation of the form (6.20) holds for the operator if, (the closure of if,),
given on the subspace §.
We will not halt in order to formulate a boundedness theorem for A following
-- -
from theorem 6.4 on A(U). We finally note that the representations for A(O) and A
obtained in this paragraph can be written using the 'generalized' Fourier
transform from theorem 2.4 (compare with theorem 3.5).
Chapter 3
(1.1)
Pro p 0 sit ion 1.1. Let B be an arbitrary closed set located in a strip
I ImAI < h and not containing poles of the merom orphic operatorfunction A~ U(A)
(which can be located only at the points A = i (k + n 12), A = - i (k + a + n 12),
k = 0,1, ... ). Then the estimate
(1.3)
00 km
cI>(q"O) =}: }: amk(q,)Ymk(O). (1.4)
m =0 k =1
holds.
Pro po sit ion 1.3. Let c:P E coo(sn -1 Xsn -1) and let U(A) be the operator
defined by (1.3) for A =1= i(k +nI2), A =1= -i(k +a +nI2), k = 0, I, .. '. Then
the map U(A): HS(A,sn -1) ~ H S- Rea(A,sn -1) is continuous. On every closed set ~
located in a strip I1m AI < h and not containing poles of the operator junction
;\ 1-+ U(;\) the estimate
(1.5)
holds.
Proof. Expand c:P in a series (1.4), and denote by Umk(A) the operator
E(J .....<P(A+ia)-IYmk(O)~ ..... (J(O). By proposition l.l, inequality (1.2) with c:P
replaced by Ymk holds for the operator U mk . In view of the estimate
Ilymk ;cq(sn-l)ll,;;;; O(m-l+ q + nI2 ) (cf. [29] or [40]), this and proposition 1.2
imply that the series
( l)k+J.I [
- I {II;(l-k + l)-!J;(k + I)} X
k !(l- k) !(2?Tt
v(1)
[ v(-l)
1= r(l!2+iA)r(1l2-iA+a) \B(A) [ u(1)
211' u(-l)'
1
where the entries bjk of the matrix \B(A) are as follows:
b ll = ei"IT(a-2iA)/24l(l,1)+e-i"IT(a-2iA)/24l(l,_1),
b 22 = e- i"IT(a-2iA)4l(-1,1)+e i"IT(a-2iA)4l(_1,_1).
r(l!2+iA)r(ll2-iA+a) X
11'
Since r(iA + 1 / 2)r( - iA + 1/2) = 11' / COS(11'iA), for a = 0 we are led to the follow-
ing expression for U(A):
78 Chapter 3.
[
c (1) + d (1 )tanh?TA id (1) I cosh?TA 1
-id(-l)/cosh?TA c(-l)-d(-l)tanh?TA·
3. The operator U(.\) as an integral operator, and its kernel. Consider the operator
(1.1). We first assume that the number a is subject to the inequalities
- nl2 < Rea < O. We put 1 = E(ia +inI2)-I4J, and introduce the function G,
which is homogeneous of degree - a - n, by
Since (FG)(g) = I~ IIJEq, .....o(ia + in 12)1 (tP) = I~ 11J4J(8) (cf. (1.4.7», we have
G*u = F- 1 I~ IlJcp(8)Fu. By proposition 2.3.1 we have for the operator G*u the
representation
+00
(G*u)(x) = _1_ j r i(HilJ+inl2)U(A)u(A+inl2,·)dA, (1.8)
y'2; -00
where U(A) is the operator (1.1).
We apply to the convolution G*u the Mellin transform Mr .....,\+ilJ +inl2 for
ImA = O. Putting x = rtP, y = fJ\/; we have
+00
_1_ j r -i(HilJ +inl2)-I(G*u)(x)dr = (1.9)
y'2; 0
I +00 . . . +00
= - - j r- 1 (HIIJ+ml2)-ldr j dl/; j G(rtP-fJ\/;)u(p,l/;)pn-1dp =
....(2; 0 S"~l 0
+00
= j dl/; j r- i (HilJ+inl2)-IG(tcp_l/;)u(A+inl2,l/;)dt.
s" ~l 0
where
+00
G(tP,l/;;A) = j t- i (HilJ+in/2)-IG(tq,-l/;)dt. (1.10)
o
§1. Canonical merom orphic vDOs 79
(1.11)
Equation (1.11) has been proved for real A and under the restriction
- n I 2 < Re a < O. By analytic extension it can be proved for all complex a and A,
except for the poles.
We clarify a manner for analytically extending the integral (1.10). Let XbX2 be
nonnegative functions of class COO[O,oo), Xl(t)+X2(t) =
1, where moreover Xl
has compact support and equals one near t = O. The integral
= f t- i(Hia+inI2)-lG(tq,-I/;)Xl(t)dt
00
Gl(q"I/;;A)
o
is, for q, =1= 1/;, an analytic function in the halfplane Im.\ > - Re a - n I 2. Analytic
extension of Gl(q"I/;;A) to the domain ImA> -Rea-p-nl2 (p a natural
number) is realized using the formula
G (q,I/;'A)
1 , ,
= (-It
(a + n 12- iA) ... (a + n I 2 + P - 1 - iA)
X (112)
.
X f t -i(A+ia +inI2)+p - I _
00 dP - 1
_ (x (t)G(tq,-I/;»dt
dtP -I 1
o
(the points A = -i(a +nI2), ... , -i(a +p -1 +n/2) tum out to be poles).
The function
= f t- i (Hia+inI2)-1G(tq,-I/;)X2(t)dt
00
G2 (q"I/;;A)
o
is analytic in the halfplane 1m A < n I 2. After the change of variable t = T -1 it
takes the form
f T-iHnI2-1G(<p-r.f;)X2(lIT)dT.
00
G2(<P,~;A) =
o
The analytic extension of G 2 (q"I/;;A) to the domain ImA <p +nl2 is con-
structed according to the formula
Note that for a :::: 0,1, .. " the operator E(ia +in I 2) -I is not an isomor-
phism (it annihilates the subspace 53 a ; cf. proposillon 1.4.3), while for
a :::: -I - n, I :::: 0,1, .. " the operator E(ia + in I 2) - 1 is simply not defined.
Summarizing all this leads to the following assertion.
Pro p sit ion 1.4. Let a =1= 0, I, . .. and a =1= -1- n, where I :::: 0, I, ....
0
Let also A =1= i (k + n I 2), A =1= - i (k +a + nl2), k :::: 0, I, .... Then formula (1.9)
holds for the operator (l.l). The kernel G(cp,l/;;A) is defined by (1.8); moreover,
G(x):::: r- n - a E w.....<j>(ia+inI2)-I4>(w), r :::: Ix I, cp:::: xl Ix I, and the integral
(LlO) has to be understood in the sense of the analytic extension described above (ef
(I.l2) and (Ll3)).
We will now consider the operator (1.1) for those values of a that are excluded
in proposition 1.4. Let a be a nonnegative integer. Represent 4> as a sum 4>0 + 4> 1>
where 4>0 is subject to the conditions
f 4>o(O')fJY dO :::: °
s" -I
for all multi-indices y such that Iy I :::: a, and 4>1 has the form
[a/2]
4>1 (0):::: ~ ha -2j«());
j=o
(l.l4)
Pro p 0 sit ion 1.5. For the first term on the right in (Ll4) a formula of the
form (Lll) holds with G(x) = r - n - a Ew .....<j>(ia + in 12) - 14>(w), and the second term
is a differential operator of order a on the sphere Sn -1 in which the parameter A
enters as a polynomial of degree a.
§1. Canonical meromorphic itDOs 81
Thus, g I-> q,1 (g) is a homogeneous polynomial of degree a. Consider the differential
operator peel/ax) = F-Iq,I(g)F. By proposition 2.3.1,
pea 1 ax)u =
f
+00
= _1_ ri(A+ia +in/2)E(A +ia)-ICPI (O)E(X)«(X + in 12, ·)dA.
...n;;; -00
Note that pea I ax) = r -a01(ra 1 ar, I a acp), where aI acp is a differentiation operator
in the local coordinates of a point cp = x I Ix I on the sphere and 0l is a polyno-
mial. Substituting this expression for P in (1.15) and applying the Mellin
transform we find
f q,(0)(JY dO = °
for all multi-indices y such that Iyl = I. Put G(x) =
= r-n-aEo-->tj>(ia +in/2)-lcp(0), with E(ia +inl2) the operator introduced by
equation (1.4.3). Then representation (1.11) holds for the operator U(X).
Everything that has been said in this section concerning the operator (1.1) can,
with obvious changes, be transferred to the operator (l.3) also. In particular, for
a =F -/ - n the function G IS defined by
G(CP,x) = r -n -aEo-->tj>(ia + in 12) -I cp(CP,O), and the kernel G (CP,I/J;X) is defined by
f t- i(A+ialin/2)-IG(cp,tCP-I/J)dt.
00
G(CP,~;X) = (1.16)
o
82 Chapter 3.
Pro p 0 sit ion 1.6. Let TI,t E Coo(Sn -1) with sUPPTl n suppt = 0. Then
for the operator (1.3) we have the estimate
(1.17)
where 'J is an arbitrary closed set in a strip I1m AI < h not containing poles of U(A),
p is an arbitrary real number, and Cqy is a constant depending on ~s and p.
4. An expression for the operator (1.3) in terms of the exterior form w. Let, as in
§1.4,
where E±] are understood to mean the operators defined by (1.4.9). It is clear
that the operator (1.18) does not depend on the choice of the surface S entering
(1.4.9), and maps homogeneous functions of degree iA-nl2 to homogeneous
functions of the same degree. This way of defining the operator U(A) (on homo-
geneous functions) turns out to be convenient under transition to a manifold.
§2. Operations on canonical meromorphic 'It DOs 83
where (CPI, ... ,CPn), (OJ, ... ,On) are the Cartesian coordinates of the vectors cp,O.
U(;\)o = (2.1)
holds for the operator (1.3), where, moreover, the operatorfunction 9T is subject to the
inequality
(2.2)
N (-1)11'1
oCt/;) = tVo(t/;!-I) = tV [ ~ t a1'o(cp)(cp-t/;rl)"Y + (2.5)
11'1 =0 y.
N ( 1)11'1
= ~- t v - 1' a1'o(cp)(tcp-t/;)1'+
I l
11'1 =0 y!
+t v - N - 1 ~ IC y(CP,t/;t- 1)(tcp-t/;)1',
11'1 =N+I
where
ft-
00
X G(cp,tcp-t/;)(tcp-t/;)1'dt + ~ r/cp)rk(t/;) X
11'1 =N+I
f t -i(Hiv +i(a - N -
00
X 1+nI2))-1 ICicp,t/;t - I)G (cp,tcp-t/;)(/cp- t/;)1' dl.
o
(2.8)
~jU(A)~k(J =
= :i:
Irl =0
~j~ar(J(cp)E(A+iv+i(a-lyl))-IDrc{)(CP,w)E(A+iV)~k+
y.
R(cp,1/;;A) = ~ f t- i(A+iv+i(a-N-1+n/2))-1 X
00
(2.9)
iri=N+lo
X ICy(CP,lJ;! - I )G(cp,tcp-1J;)(tcp-1J;)'Y dt.
(2.10)
where iff is an arbitrary admissible set, A E §'; and Cj 9l q(A)Ck denotes the operator
with kernel Cj(CP)Rq(CP,1J;;A)Ck(1J;).
In order to estimate Cj 9l 2Ck we note that by using Taylor's formula of order
M (M > N) instead of (2.5) we can write the operator 9l as a finite sum of opera-
tors of the form (2.8) (for N < Iy I < M) and a term with kernel (2.9), in which N
is replaced by M. It now suffices to apply proposition 1.3 and use inequality (2.10)
and the smoothness of the function
86 Chapter 3.
on every admissible set 'If. If IlL I < 8, with 8 an arbitrary small number, then a set §'
which is admissible for the operators E(X+i(a -lyJ))- l D9«P(CP,O)E(X),
0.;;:; Iy I .;;:; N, is admissible also for all operators X1-+ 9l{X,IL), and the constant c'iJ in
(2.12) may be assumed to be independent of J.L.
Pro p 0 sit ion 2.3. The derivative aAU _ au / ax of the operator (1.3) has, for
arbitrary natural N, the representation
N 1
aAU(X) = ~ - , pix) 1 1x 1= 1 X (2.13)
lyl=1 y.
where pix) = limJ4 -+oIL - 1 all x 1iJ4, while the estimate (2.2) is valid for the operator
9l(X) (which depends on N).
The proof follows from formulas (2.11) and (2.12) . •
We now consider composition of canonical meromorphic pseudodifferential
operators. Let
§2. Operations on canonical meromorphic 'l'DOs 87
~(X) = E(X+ib)-1'l'(cp,O)E(X).
We will assume that the function i' is extended to IIl n \ 0 in each argument cp,O as
a homogeneous function of degree b, and «P - as a homogeneous function of
degree a.
Pro p 0 sit ion 2.4. For arbitrary nonnegative integers N the formula
U(X)~(X) = i J,E(A + i
Irl =0 'Y.
(a + b - Iy I»- 1 X (2.14)
(2.15)
moreover, this series converges in the norm of operators from H S (A, S n -1) to
H S - Reb(A,sn -1). By formula (2.1),
U(X)amk = i J,a~amk(CP)E(X+i(a+b-I'YI»-1
Irl =0 'Y.
X (2.16)
Pro po sit ion 2.5. Let U(X) = E(X+ia)-1«P(cp,O)E(X) and let U(X)* be the
operator a4Joint to U(X) with respect to duality in L 2 (Sn -1). Then
88 Chapter 3.
Clearly,
By proposition 1.4.4,
holds an every set ~ that is admissible for the operators U and Uj , j = 1, ... ,N.
Here Uj<A) = Eo-->cj> (A +iaj) -1 (llcp, O)Et-->O(A) are canonical meromorphic
pseudodifferential operators and C<J is a constant depending on iff,N and s.
The formal series
00
will be called the (complete) symbol of U, and the function cfl o will be called the
principal symbol.
A series };j'=oUj consisting of canonical meromorphic pseudodifferential opera-
tors is called an asymptotic series for the meromorphic pseudodifferential operator
U if inequalities of the type (3.1) hold for all Nand §: In the sequel the notation
U ~ };Uj means that };Uj is an asymptotic series for U.
Note that by proposition 2.2 the function Ar-.U(A+,u), with U defined by (1.3),
is a meromorphic pseudodifferential operator of order a with symbol
where b o = ao, f30 > f31 ;;;. f32;;;' ... , f3j = Rebj ~ - 00 and {i'j} is a sequence
ojcoo(sn-I XSn-l)junctions, '1'0 = «Po.
Hence, in order to pass from (3.3) to (3.4) it suffices to replace the terms in the
series (3.3) by their asymptotic expansions of the form (3.5). Transition from (3.4)
to (3.5) is performed similarly . •
§3. General meromorphic itDOs 91
U(A) -- ~ 'B/A),
j=o
(cf. (1.2.2); the fact that conditions (1.2.3) and (1.3.13) are equivalent must be
taken into account here). Hence the function A~ E(A - ibj)IT/u is singularity free
in the halfplane ImA < h if I ~ h - Rebj -nI2. Put Ij = j - Rebj -nI2. Clearly,
Ij ,;;;; ~ + 1 and Ij ~ + 00. The operator-function A~ 'B/A)IT,) is analytic every-
where in the halfplane 1m A < j, possibly except at the points A = - i (k + n 12),
k = 0,1, ....
So, in the halfplane ImA < q the operators 'BiA)IT/), j = 0, ... ,q, can have
poles at the points A = - i (k + n 12) only. Hence, every strip of the form
lImA I < h < 00 contains at most finitely many such points, which coincide with
the poles of at least one of the operators 'BjIT/i , j = 0,1, ....
Let qr be an admissible set for the sequence {'BjIT/Jj=o. Denote by A~) the
poles of the operator E(A - ibj)(I- ITI) and put
92 Chapter 3.
(Note that the function A1-+ exp( -I5A.2) decreases exponentially as A~ 00 within
angles 1 arg AI < '7T I 4, 1 arg A- '7T 1 < '7T I 4, and that it differs by an arbitrarily
small amount from the identity in any disk 1A 1 < R, for 15 = I5(R) sufficiently
small.)
On 'J only the points A = -i(k +nI2), k = 0, I, .. " can be poles of
~lA)qlA;6J,I5).
B) We now prove that we can choose an increasing sequence {Ij} such that
Ij ~ Ij and
II~lA)III;V;Hs-fJJ-I(A,sn-I)112 ~ (3.7)
'J is a pole of ~j(A), then using the maximum principle, applied to the
If J.t E
function (~j(A)III;V, w) (duality in L2(Sn -I»,
and estimate (3.7), the inequality
holds.
Note that for all j = N + 1, N + 2, ... , with the possible exception of some
initial terms, the inequalities Pj + 1 < PN hold. Hence by (3.8),
~ c(GJ,N)
2. Whatever a set Cff admissible for the sequence {is/A)II/j }, there is a number
N = N(Cff) such that all j ;;;. N the inclusion Cff C ~ holds. (E.g., we may take
Denote by {l;(Cffk )}, {ll/Cffk )} sequences as constructed in B) and C) for the set
Cffp • Put L j = I;(~), !1j = ll/~). The operators is/A)(I - II/)q/A;~,!1j) and
is/A)II Lj , j ;;;. N, do not have poles in Cff and satisfy the inequalities
M-1
,..;; ~ cJ,§"II(I-Ih)(qlA;§j'~j)-1)u;Hs+,B,-,BM(A.,sn-1)112,..;;
j=O
M-1 L, k ..
,..;; ~ c],§" ~ ~ (1 +m 2 + 1AI2)S +,B,-,BM 1qlA;§j'~j)-1121 Umk 12 ,..;;
j=O m=Ok=1
where
M-1
c~M)2 = .~ c],§"~~~(1+m2+IAI2l,-,BMlqiA;§j'~j)-112
J -0 O<m<L,
Combining (3.11), (3.12), (3.15), and formula (3.14) leads to the inequality
ou(,p,w) = ~ <P/,p,w),
j=o
where the <Pj are homogeneous functions of degree aj in ,p and in w. Let U(A)* be the
operator adjoint to U with respect to the scalar product in L 2 (sn -]). Then the
operator U*(A) defined by U*0) = U(A)* is a meromorphic pseudodifferential opera-
tor of order £lo, and the asymptotic expansion
U"(A)-- ~ ~ ~E(A+i(aj-lyl»-]a~DL<P/,p,w)E(A)
j=o Irl=oY.
holds.
Proof. Put \.B(A) = E(A - ia) - ] <Po(,p, w) -] E(A). Then \.B(A)U(A) = 1- 0(A),
§3. General merom orphic i'DOs 97
where 2{eft and 2~ght are meromorphic pseudodifferential operators of order - 00.
Hence the order of the difference m{eft -m~ght is also - 00. This implies both
assertions in the theorem (we may put, e.g., meA) = mIeft(A)) . •
the trace of A, and is denoted by SpA.*) If A and B are bounded operators such
that AB and BA are nuclear, then Sp BA = Sp AB. The equality Sp A = ~An'
where {An} are the eigenvalues of A counted with multiplicities, holds. Finally, if
an integral operator A is nuclear,
(In the sequel this result is applied with Q = Sn -I.) An imbedding operator
HI(sn-l) C H1-N(sn-I), where H S is a Sobolev-Slobodetskii space, is nuclear
for N >n-1.
00
G(cp,I/I;A) = f t -i(Hia +in!2)-l G(cp,tcp-I/I)dt (4.2)
o
(the integral is understood as the analytic extension with respect to A; cf (1.12),
(1.13»). If Rea < I-n, then the function (cp,I/I)~G(CP,I/I;A) is continuous on
sn-IXsn-l.
1 +.
+ f t -i(H ia + inI2)-I(t -1) - n -aX(t)G(cp,cp+ (cp-I/I)(t -1) -1 )dt.
1
1+<
j t -i(X+ia +inI2)-I(t _l)-n -adt
1
converge. •
Let U(A) = E/J .....</> (A + ia)-I~(cp,0)4..... /J(A) be a canonical meromorphic
pseudodifferential operator with symbol ~, Rea < n -1. The map U(A):
L 2(Sn -I) ~H-Rea(}\,sn -I) is continuous, hence U(A) viewed as an operator on
L 2(sn-l) is nuclear. By §1.3,
(U(A)u)(tp) = j G(tp,l/;;A)u(l/;)dl/;,
SpU(A) = jG(tp,tp;A)dtp.
It is clear that
00
G(tp,tp;A) = j t -i(A+ia +inI2)-IG(tp,(t -l)tp)dt =
o
1
= j t -i(A+ia +inI2)-1 (1- t)-n -adtG(tp, - tp) +
o
00
+ j t -i(A+ia +inI2)-I(t -l)-n -adtG(tp,tp).
1
Therefore,
Using analytic extension this formula can be generalized to all complex a and
A, except for the poles.
We will now express the trace of an operator U{A) in terms of its symbol.
Pro p sit ion 4.2. Let U{A) = E/J-></> {A + ia) -l~{tP,O)E.r->/J{A) be a canonical
0
merom orphic pseudodifJerential operator. For the trace Sp U{A), defined using ana-
lytic extension, the formula
+ . f{iA+nI2) fdtPf{cp8+io)-a-n~{tP,o)dOl
r(IA+1-a-nI2)
holds for a =1= -+k -n, k = 0,1, ... ; while for a = -k -n, k = 0,1, ... , the
formula
(4.5)
SpU{A) = (27Tt /2 (iA+nI2) ... (iA+nI2+k) X
X [i fdtPf{tPO)ksgn{tPO)~{tP,O)dO-cotan7T{iA+nI2) X
we obtain (4.4). (We must use the fact f(z)f(l-z) = 7T/sin7Tz.) It is relatively
easy to see that in (4.4) the factor in front of 11 sin 7T(a + n) vanishes at the points
a = -k -n, k = 0,1, .... Hence by limit transition in (4.4) as a ~ -k -n we
obtain
+( - l l P( - 1
k -:- iA - n 12) j dcp j (<PfJ)k<p(CP,8)dO+
f(I-IA - n12)
U(A) = ~ U/A)+ffiN(A)
) =0
(4.7)
holds an every admissible set iJ. Here cx) = Rea) ~ - 00, aj being the order of the
canonical meromorphic pseudodifferential operator Uj . It is clear that for
sufficiently large N the operator ffiN(A) is nuclear on L 2 (sn ~ 1).
We define the trace of U by
102 Chapter 3.
N-]
SpU(A) = ~ SpU/A)+SpffiN(A).
j =0
holds.
N-]
~(A) = ~ ~k(A)+G£N(A),
k =0
U(A)~(A) = (4.9)
~ E(A+i(a +b -IYI))-]-.!,-DO«P(<p,8)a~'1'(<p,O)E(A)+9R(A),
o.:;;lrl.:;;N y.
~(A)U(A) =
§4. Traces of meromorphic i'DOs lO3
~ E(A+i(a +b -IYI))-1J,Dhi'(<f>,8)a~~(<f>,O)E(A)+ilC(A),
O,,;:;I-rI,,;:;N y.
= Sp [ ~ E(A+i(a +b -k))-I~aOi'(<f>,8)a~~(<f>'o)E(A)1.
l-rl =k y.
Since both sides of this equation are meromorphic functions of, say, the param-
eter a we may assume that k - a - b - n + 1 is not a natural number and apply
formula (4.4). Hence the situation reduces to checking the relation
Note that the integrands in (4.11) are homogeneous of degree -n in <f> and in
8, and that (4.11) is equivalent to
f
I<l x l,lyl<2
(-+--~+iol-a-b-n ±
i.···.ik=IaXi l
ak~~~,y)
aXik
X (4.12)
X ± aki'(x,y).
i],'" .ik=I aXil' .. aXik aYi l '" aYik
ak~(x,y) dxdy.
J m•k - m = f (xy+io)k-a-b-n X
1< 1x I. Iy 1<2
akq, aki'
X ------------------- --------------------dxdy
aXi I . • • aXimaYi I • • • aY)k -m aYi I • . • aYim ax) I • . • aX)k_m
104 Chapter 3.
(the summation indices run over 1, ... ,n). The result of partial integration gives
for 1 :E;; m :E;; k,
where
hm f (xy+io)k-a-b-n-I X
1< 1x I, Iy 1<2
(lk - 1«p ak - 1i'
X ~ ~.
i,," ',i",_, (lXi, ... (lXi m_, (lYi, ... (lYik-m 0Yi, ... OYi",_,(lxi, ... OXik_m
[(k + 1)/2]
= (k-a-b-n) ~ (2m-k-1)(h m -h k - m + I ).
m=1
The equality
for p = 1 follows from (4.14). Assume that the relations (4.16) hold for
p = 1, ... ,k -1. We show that (4.16) also holds for p = k. The induction
hypothesis implies that hm = hk -m + 1 for m = 1, ... ,[(k + 1)/2]. Indeed, put
a2m - 2«p
«Pm = ,
aXil ... aXim_, aYi, ... OYim_'
§4. Traces of meromorphic itDOs 105
where iI, ... ,im -1 ,j 1, . . . ,jm -1 is an arbitrary set of indices. The functions «Pm
and itm are homogeneous of degrees am = a -m + 1 and bm = b -m + 1, resp.
(in each of the arguments x and y). The formula hm = hk - m + 1 follows from the
equations
-
ak - 2m + 1 «P a k - 2m + 1 it 1dxdy = 0,
a"./v / 1 .,. a.."v /k-2m+1 aX/ 1 ... ax/k-2m+l
which are satisfied by assumption. By now applying (4.15) we are led to (4.12),
which was required. So, (4.12) holds, and with it (4.10).
It remains to convince ourselves that the traces of the operators IDe and 91 from
(4.9) coincide. The number N in these formulas IS subject to
N > Re(a + b) + n - 2, ensuring that IDe and 91 are nuclear.
Let {Jj} be some orthogonal basis in L 2 (sn -1). Since the operator
91(A) = U(A)~(A) +
~ E(A+i(a +b _lyJ))-I~D8<<P(4),8)a~it(4>,8)E(A)
00;;; Iyl o;;;N y.
holds for Re(a + b) < 1 - n. In fact, this equality ensures that the composite of
U(A) and ~(A) is nuclear, hence that Sp (U(A)~(A» and Sp(~(A)U(A» coincide.
This and (4.9), (4.10) imply (4.17). Uniqueness of analytic extension implies that
(4.17) holds for Re(a +b) < N -n +2 also. •
106 Chapter 3.
Rem ark 4.4. Theorem 4.3 holds also for matrix operators U and lB. Indeed,
if U is a canonical matrix operator, then (4.4) or (4.5) holds for its trace (replacing
«P(cp,O) by Sp «p(cp,lI)). Equality (4.12) is also preserved, and the sign of Sp must be
specified in it.
The 0 rem 5.1. For any P ;:;:;. 0 there are nonnegative integers Nand Q such that
the inequality
Ie -i/Lg(</»U>f~</>(A)ei/LgC>f)u - lal.:;;;N
~ ~«pca)(cp'I-'Vg(cp) + ocp) X
0:.
(5.1)
X nvdist(cp,t/J»~(v(1-r/ p»]dA.
j j ei(x -y)xCP(x)ei(xev)-x(x)-ev -x,~x» ei(x(x)+ev - x, ~x)) q (A, p., x,y )dyd~, (5.3)
= jjei(X-Y'Jrleih(x,y)+iX(X) }: J,cp(a)(~x)'I1aq(A,p.,x,y)dyd'l1+
lal";;NY'
1
+ }: j(1-O)NR a(x,A,p.,O)d(),
lal =N+l 0
where
Recall that for sufficiently close f/J and \fI (r and p) the quantity
r(vdist(f/J,\fI»r(v(l-rlp» equals 1. Moreover,
Hence
(we assume that the function \fit-> u(\fI) has been extended to IR n \ 0 as a homo-
geneous function of degree zero). Thus, the righthand side of (5.5) takes the form
~ ~«I>(a){p.'Vg(f/J)+of/J)rlal X (5.8)
lal";;'N u .
§5. Meromorphic i'DOs on strongly oscillating functions 109
}: ~«p(a)(,u\7g(q,)+oq,) X (5.9)
lal";;N u ,
X Da[u(l/;)pi(HinI2)eil'(g(t)-g(<j»)e-i(y-<j>,I''Vg(<j»+a<j»llly I =1 X
y t=<j>
X w(A+inI2).
Now we have to clarify what happens with the remaining quantities in (5.7)
under the action of the Mellin transform. We first consider the 1efthand side.
Write A as convolution with the function G = p-I «P,
Then
f f pi(A+inI2)+n
00
X t(vdist(q"I/;»)dl\. - I t(v(l- rl (p»G(rq,- pt/J)dp.
ImA=T 0
(In this and the previous equality we may assume that Re a is a negative number
whose absolute value is sufficiently large, so that all transformations are justified.
The final formulas are generalized to the values of a required by analytic exten-
sion.) Putting t = rip we obtain
o
This implies that the lefthand side of (5.7) is equal to
110 Chapter 3.
e- i/1g(<!»_l_ j r i (>..+inI2)11{A+inI2)d"A X
-J2;ImA=".
X j u(l})e i/1g(>/;)f(pdist(CP,I}))dl} X
s. -1
00
X j G (tCP-I})t - i (A+ inl2+iu)-1 t(V (1- t))dt.
o
After Mellin transformation this expression takes the form
e- i/1g(<!»w(A+inI2) X (5.10)
X j [7G(tcp-I})t(P(l-t))t-i(A+inl2+iU)-ldt] X
s· -1 0
00
l
o
So, as the result of Mellin transformation, the Iefthand side of (5.7) coincides
with (5.10), and the righthand side transforms to the sum of (5.9) and (5.12). Con-
sequently, after division by w(A + in 12) we are led to
+ J(l_U)N
o
~
lal =N+l a.
J,!!Ra(U)dlHe-il'g(q,) f
S"-I
[7 G(tq,-~)
0
X
where
!!Ra(8) = (5.14)
o
112 Chapter 3.
B) We will prove that the last term on the righthand side in (5.13) allows the
estimate 0 «(p,2 + 0 2) -q) as p.2 + 0 2 ~ 00, for any q. Recall that the inner integral
(with respect to the variable t) is understood as the analytic extension of a conver-
gent integral, i.e. it equals the sum of the expressions (1.l2) and (1.l3) in which
Xj(t) must be replaced by X/t)[l-r(pdist(q"I/;))r(p(1-t))Y, j = 1,2. We consider
one of these expressions, e.g.
(-It X (5.15)
(a + inl2- iA) ... (a +nI2+p -1- iA)
X f f t -i(A+in/2+ia)+p -1--_-1
[
00 dP-l
X
sn-l 0 dtP
e-iCJlnl+ipg(l/;) = (_1)q(02+p.2)-q~fzeiCJs+iJ.lz,
we rewrite (5.15) as
here f (q"z,s, A,p.) = 0 for s < - N and sufficiently large N (in view of the pres-
ence of the factor Xl (e -S)), while f is rapidly decreasing as s ~ + 00 (since P is a
large number). Transferring the operator t:..q to f and recalling that
p = (p,2+~)1/4 we obtain the estimate required for (5.15). The second expression
where 6Jva is defined by (5.14). Represent in (5.14) the function q,(a) as a sum
Xlq,(a)+X2q,(a), where Xj E Coo(R n), Xj;:;;"O (j=1,2), Xl+X2 = 1, and
XI(X) = 1 for Ix 1< 112 and Xl(X) = 0 for Ix I> 3/4. Then 6Jva = 6Jv~1)+0t~2),
§5. Meromorphic i!DOs on strongly oscillatingfWlctions 113
where '!Jl~) is obtained from '!Jla by replacing cI>(a) by XjcI>(a). In this step we esti-
mate the integral (5.16) with '!Jl~) instead of '!Jla .
Putz = (t-ll/;J, ···,t- 1I/;n) E IR n, 11/;1 = 1,t E IR+. Wehave
(N+l)-I'!Jl~2)(0) = (5.17)
= J ~ ~1ja(x2cI>(a»(}JS7g(CP)+ocp+ih)d1j X
lal=N+ICl.·
1'!Jl~»)(0)1 ';;;c,?Rea-N+n X
(5.19)
(5.20)
Further,
(N + 1) -10t~:~(lJ) =
10t~:~(lJ) I ~ c0' + I X
X j IKI-2MdKjldrDHeih(<I>.z)K(v(l-lz I-I» X
IICI >cv
Using the property of the derivatives (5.19) already mentioned we can thus derive
the inequality
I
= (N + 1)v N + 1 j(1-0)NdO j ~ ~ I K 1- 2M (xIIl>Ca) X
o lal =N+I a.
where
V(X,V,K) = Jeil(~6.rDHeihCcJ>,z) Iz l- r - n12 t(v(1-lz 1-1»nvdist(<p,I/J»u(z)}d~. Put
e (v) = J.t v g (<p) + o<p and introduce a new variable s = e (v) + Ov K, after which the
righthand side of (5.23) takes the form
1
(N + 1)( Ie(v) I / v)-2M~ + I-n j(1_O)N 02M -ndO X (5.24)
o
1
X j ~ - , (xIIl>Ca)(s)w(x, v,O,s)ds,
lal =N+I a.
where v (x, v,O,s) = Il-s / Ie (v) 11- 2M v(x, v,(s - e(v»e- I v-I). The inner
integral is equal to
1 1
X j(1-t)Y_, wCY)(x,v,O,ts)dt+
o y.
1
+ ~ ~ -'-I w(Y)(x,v,O,O)j(xIIl>Ca)(s)sYds,
lal=N+I Iyl=oa.y.
The properties of the derivatives (5.19) (indicated after (5.19» ensure the esti-
mate
(5.26)
for Is I ",;;; 1. Note that c 1 v"';;; Ie(v) I I v",;;; C2V for v ~ 1 (with positive constants CI
and C2). Choose r such that the inequality Rea - N -1- r> -n holds for a
given a. Combining (5.23) - (5.26) we obtain for sufficiently large M relation (5.22)
with 'iit~2) replaced by 'iit~I). This implies that (5.22) remains valid if 'iita is written
instead of 'iit~2). It remains to use the estimate proved in part B) and formula
(5.13) . •
on every admissible set 'if. Hence the symbol 4> may be regarded as being real in
the proof of (6.1). Moreover, proposition 2.2 implies that it suffices to check (6.1)
for real A satisfying I A I ;;. I.
We denote by '1' the positive function defined by '1'2($,0) = 4>($,O)-c +£. Let
meA) be the canonical meromorphic pseudodifferential operator of order a 12 with
symbol '1'. The operator m(A.r coincides (up to terms of order aI2-1) with the
operator E(A.+iaI2)-lit(cp,O)E(A.). By theorem 3.4 the asymptotic series for
m(A)'m(A) has as initial term E(A.+ia)-lit 2(cp,O)E(A), while the second term is an
operator of order a - 1. Hence the order of
is also a - I. Since the symbol of U(A) is real, proposition 2.5 applied to U(A)
leads to the inequality
(in order to replace E(A. + ia) -I E(A) by E(A + ia 12) - 1E(A - ia 12) we use proposi-
tion 2.2). It remains to note that (E(A+ial2)-lr = E(A.-iaI2) (proposition
1.4.4) and that (m(A.)*m(A.)u,u) = Ilm(A)u ;HO(sn -I )11 2 ;;. O. •
IIU(A.)u;HO(sn-I)II.s:;; (6.2)
Proof. Proposition 2.2 implies that it suffices to check (6.2) for real A. satisfying
IA.I ;;. 1 only. Put it(CP,lJ) = 4>(CP,O)4>(CP,lJ) and m(A.) = E(A.+ia)-lit(cp,O)E(A.-ia).
By theorem 3.4 and propositions 2.2 and 2.5, the order of m(A) - U(A)*U(A.) is
118 Chapter 3.
2a -1. Hence
Since
Rem ark 6.3. If a =1= +(k +nI2), where k = 0,1, ... , then we may put
a = ReA in (6.1) and (6.2) also if IReAI < 1.
Pro p 0 sit ion 6.4. Let U(A) be a canonical merom orphic pseudodifferential
operator of order a, with symbol Ill, and let Co = IIll(c/>o, 0o) I, with (CPo,Oo) an arbi-
trary point of sn - I X sn -I. Then for any sequence {€j} of positive arbitrarily small
numbers there are a sequence {Aj} of complex numbers and a sequence {Uj} of
COO(Sn -I)functions such that ImAj = 1" (1" a given number), IAj I ~ 00, and
~ €jlluj;Hu(Aj,sn -1)11,
where aj = ReA.i.
Proof. First of all we note that it suffices to prove (6.5) for 7' = O. Indeed, for
A = a+;1" we have U(A) = U(a) + T(A) , where
T(A):Hs(A,sn-I)~Hs-u+I(A,sn-l) is a continuous map with bounded norm
on the line ImA = T (proposition 2.2). Further,
IIT(A)U;HO(sn -1)11 ~ c lIu ;H u -I (Aj,sn -I )11 ~ c IAj I -lllu ;Hu(Aj,sn -I )11. This
and the truth of the proposition for T = 0 imply that the proposition holds for all
T.
zero. Choose a real-valued function g homogeneous of degree zero such that the
vector V'g(<</>o) lies in the (<</>o,Oo)-plane and is nonzero. Obviously, the vectors </>0
and V'g(<f>o) are orthogonal. Expand 00 with respect to the vectors <f>o and
V'g(<f>o),Oo = p,oV'g(</>o)+ao</>o, and put /.t = t/.to, a = tao, A = a+iT. By apply-
ing theorem 5.1 we find that for a function U E coo(sn-I) with support in a
small neighborhood of <f>o the inequality
holds for sufficiently large positive t and given f > O. TIris means that for any
sequence {fj } of arbitrarily small numbers there are a sequence
{Uj} C Coo (sn -I) and a sequence {tj} of arbitrarily large positive numbers such
that Iluj;HO(sn -1)11 = 1 and
(6.6)
U(A) = E(A)-I(I(<f>,O)E(A-ia)+T{A),
I IIU{Aj)Wj;HO{sn-"I)II-coIIE{Aj-ia)wj;HO(sn-I)11 I ~
~ II(Uo(A.i) -(I(<f>o,{}O»E(Aj)-1 E{Aj - ia)wj;HO(sn -I )11 =
Using formula (6.6) for Uo (it holds for this operator) we are led to the estimate
I IIU(A.J)wj;Ho(Sn-I)II-coIIE(i\j-ia)wj;Ho(Sn-I)11 I .;;;
:;;;; f)lvj;HO(sn -1)11.
Note that
IIVj;HO(sn-I)11 = IIE(i\j)-IE(i\j-ia)wj;Ho(Sn-I)11 =
(proposition 1.5.5). Hence {Wj} can play the role of the sequence whose existence
is asserted in the theorem. •
The 0 rem 6.5. Let U(i\) = E(i\+ia)-I«fI(cp,8)E(i\), let a be a real number, and
let K = 1I«fI;C(sn-l,sn-I)II. Assume also that the line {i\:Imi\='T} does not con-
tain poles of U. Then for every positive f there is a uniformly bounded operator
'0(i\):Hs(i\,sn -I) ~ H S -u + I(i\,sn -I) such that on this line
where 0 is defined as in theorems 6.1, 6.2 (cf remark 6.3); the constant K is sharp,
i.e. it cannot be replaced by a smaller number while preserving inequality (6.7).
Proof. Proposition 2.2 implies that it suffices to prove (6.7) for Imi\ = O.
Denote by X a function from Co (IR) such that X(t) = 1 for It I < Nand
X(t) = 0 for It I ~ 2N. Introduce the operator X(i\) by
00 km
X(i\)u = ~ ~ x(m 2 +i\2)Um k Y mk
m =0 k = 1
E(A) = ~ ILm(A)Umk Y mb
m,k
= 1I(I-x(A»E(o-ia)u;HO(sn-I)11 ~ IIE(o-ia)u;HO(sn-I»II.
The definitions of the norm and the function X imply the estimate
By proposition 1.5.5,
This and (6.8), (6.9) imply for sufficiently large N inequality (6.7).
It remains to convince ourselves that K is sharp. Suppose this is not so, and
that for some operator T inequality (6.7) holds with K replaced by Q < K. Then
we have for the sequence {Uj} from proposition 6.4,
From the definition of the norms in the spaces HS(A,Sn -I) and proposition
1.5.5 we obtain that for sufficiently large j,
Thus,
where I-' is an arbitrary complex number, and 0 < r < 00. It is obvious that
V(.u,r) = (Gv)(.u,r) is a 'periodic' function, i.e. V(.u,re) = V(.u,r). The inversion
formula for (7.1) can be verified immediately:
(7.3)
Let's prove this formula. Without loss of generality we may assume that 'T = O.
§7. Periodic meromorphic i'DOs 123
where
1 +00
i'f",t) = "-"' e -ij.t{1 + j)\{I(t +J").
\J" (2?T)1/2 j=~OO
0 = - 00
+00
1
j l/I(t)e-i(p.+2'1Tn)ldt.
(2?T)1I2 _ 00
We have
2'IT 1 + 00 2'IT
j dp.jli'(p.,t)1 2dt = ~ j Ii'n(p.) I2dp. =
o 0 n=-ooo
e
Vj(v,l/I) = jr- 2'ITij V(v,r,l/I)r- 1dr, V(v,r,l/I) = Gr--+(r,v)v(r,I/I).
1
1 ~
= -2 (rej)-ip. f (re j )i.\U(r,A)v(A+inI2,·)dA =
'1T j = - 00 Im.\=T
= -2
1 j r;('\-p.) ~ e i (.\-p.)jU(r,A)v(A+in12,)dA.
'1T1m '\=T j=-OO
(7.8)
+00
~ r 2'ITijU(r, p.+2'1Tj)v(p.+2'1Tj + in 12,).
j=-oo
(7.9)
§7. Periodic meromorphic 'I!DOs 125
Expanding V in a series,
+00
V(A.,r,·) = ~ V k (A,)r 2'ITik,
k=-oo
we obtain
Jr-i(P-X)-1 V(A.,r,)dr
00 +00
= 27T ~ Vk(A.,·)~(A-/L+2k7T).
o k=-oo
Pro p 0 sit ion 7.2. Let '!f be an arbitrary closed set lying within the rectangle
{/L: 0.;;;; Re W:;;;27T, I Im/L I .;;;; h}, h < 00, and not containing the points
27Tj-i(a+k+nI2), 27Tj+i(k+nI2), where k = 0,1,"', j = 0,+1,···.
Then the estimate
(7.11)
holds on every set 'J that is admissible for the operators A(r, J.!), Air, J.!),
j = 0, ... ,N. Here Aj is the canonical periodic meromorphic pseudodifferential
operators of order aj with symbol 4>(j)(r, cp,O), Uj = Reaj' ao ;;;. U1 ;;;. u2;;;' ... ,
Uj --:> - 00 as j --:> 00. We will assume that the symbol 4>0) of a canonical operator
can be extended to R n \ 0 in each argument cp,O as a homogeneous function of
degree aj. The formal series 2.j4>(j)(r, cp,O) is called the symbol of A(r, J.!).
where <p(J) and it(k) are functions homogeneous in cp and 0 of degree a) and bb
respectively. Then AB is a periodic meromorphic pseudodifJerential operator, of order
ao +b o and with symbol defined by
00 1 lib
OAB(r,cp,O) = ~ ~ - , Db<p(J\r,cp,O)r Y - kaiit(k)(r,x,O). (7.12)
j,k =01 Y 1>0 y.
+00
X ~ '.8) -k(p.+2k?T)Vk>
k=-oo
X Ew ......y{j.L+2k'IT+ib)-li'j_k(~,"')Ex-->w{j.L+2k'IT) ~
~ ~ E{j.L+2k'IT+i(a+b-IY+KI))-1 X
1"1 ;;;.0
(7.16)
= "'"
~_I_rIYI+IKI-b-2iv-k)'lTaYr2iv-k)'lTa"i'.
, , x x ]-k
(x 0) =
,
y.K.
1 r IY+KI-b-2iv-k)'ITaY+"(r2iv-k)'lTi'._ (x 0))
(Y+K)! x ] k , .
Denote by A(r, J.LY the operator adjoint to A(r, J.L) with respect to the scalar pro-
duct
---drdp
<U,V> = fe s·f
1 -I
U(r,cp)V(r,cp) .
r
(7.17)
The 0 rem 7.5. Let A(r, J.L) be the periodic meromorphic pseudodifferential opera-
tor of order a 0 with symbol (JA (r, cp,O) = 2.cI>v) (r, cp,O), where the cI>v) are functions
homogeneous of degree aj both in cp and in O. Then A*(r,J.L) is a periodic mero-
morphic pseudodifferential operator of order 00, and its symbol is
i: ~
j=olyl;;;'o y.
J,rIYI-aJarDecI>V)(r,x,O)
§7. Periodic meromorphic vDOs 129
X a~D"'6(lk-iq"o)E<IL+2j7T)
E<IL+2j7T+i(a-!yl))-la~D"'6(lk-iq"o)E<IL+2j7T) --
-- ~ J,pl(q,,2i (j - k)w) X
I I ;;;.0 /C.
I(
Substitute this formula in (7.19) and use a relation of the form (7.16). Then
A*(r,IL)V = ~r2ij71Uk_j<IL+2j7T)Vk =
j,k
= ~r2ih~r2i(;-k)71Uk_j<IL+2jw)Vk.
k j
The 0 rem 7.6. Let A(r, /L) be an elliptic periodic merom orphic pseudodijJerential
operator of order a o. Then there is a periodic meromorphic pseudodijJerential opera-
tor R(r, /L) of order - a 0 such that the symbols of the operators A(r, /L)R(r, /L) and
R(r, /L)A(r, /L) are equal to one.
~ ~ cr~eih(W,O''')1 D~CP(g{a),(g'(a)-I)*w),
lyl =0 y. 1"=0
= f t -i(A+ia +in/2)-IG{q,,tq,-~)dt,
00
G(q,,~;A) (8.1)
o
where G(q"tg) = t -n -aG(q"g), t > 0 (§1.3). For simplicity of notation the depen-
dence on cp of G(cp,g) will not be indicated. Since the functions gj are homogene-
ous we have g(a) = g'(a)a. Hence the equation g(r) = g(a)+g'(a)(7"-a)+ R(a,7")
can be rewritten as g(7") = g'(a)7"+R(a,7"), R(a,7") = 0(10-7"12). This implies
that
N (-l)IYI
~ t cr YG(g'(a)(ta-7"»R(a,7")Y+TN + 1(a,7";t).
lyl =0 y.
§8. Change of variables in meromorphic i'DOs 131
(-l)iYi
G(cp,l[;;A) =
N
~ t 00
j t -i(X+inIHia)-1 X (8.4)
iyi=o y. 0
relation (8.4) between kernels corresponds to the following equation for the opera-
tors:
(8.7)
holds. Thus,
~ ~[(g'(o)-I)*w]Y R(o,'r)Y =
lyl=s'Y·
= ~«(g'(o)-I)*wR(o,'r)Y = ~(wg'(o)-lR(o,'r)Y.
s. s.
This and formulas (8.5), (8.6) imply
= Ig'(o)-11 ~
N i::J1...
-: E",-+o(A+ia)-IcI>«(g'(o)-I)*w) X
s=o s.
By proposition 3.2.1,
X Ig'(-r)lu('I")- ~ ~E",-+o(A+i(a+s-I'YI))-IX
lyl =0 'Y.
Combining the last relation and (8.8), the proof is finished. In the exponential
series expansion for the expression o~eih(""O,T) 1'-=0 for fixed 'Y, only finitely many
nonzero terms occur. •
Chapter 4
(Au)(x) = (1.1)
_1_ f ri(A+ia+inI2)U",~(A)u(A+inI2,I/J)dA,
&ImA='-
u
where, as before, r = Ix I, If> = x 1 Ix I, is the Mellin transform of the function
u, and the number T is such that the line ImA = T does not contain poles of the
operator-function U.
Pro p 0 sit ion 1.1. For T = /3-s the operator (1.1) realizes a continuous map
A: Hft (JR n ) ~ Hft - Rea (JR n ).
Proof. Multiply both sides of (1.1) by r a an~en apply the Mellin transform
As the result we obtain (Au)(A+ia +inl2,lf» = U"'--7cp(A) X
M r --7A+inI2.
XU(A+inl2,I/J). Definition 3.3.1 and proposition 3.l.3 imply that the estimate
D e fin i t ion 1.2. The operator (1.1) will be called a pseudodifferential opera-
tor of order a on Hp(JRn). The formal series
00
o(x,O) = r -a ~ <Pix, 0) (1.2)
j =0
§l. 'I!DOs on R n 135
is called the (complete) symbol of A, and the term with index j = ° is called the
principal symbol; recall that the function (x, U) I-> cPix, U) is homogeneous of degree
aj both in x and in 0, Reao > Real ~ Reaz ~ ... , Reaj ~ - 00. If a canonical
meromorphic pseudodifferential operator of order a is taken in (1.1) instead of U,
the operator (1.1) is called a canonical pseudodifferential operator on ~p(lRn).
(1.4)
The 0 rem 1.3. For any given series (1.2) there is a pseudodifferential operator
A of order a on Hp(lRn) having it as symbol. If a merom orphic pseudodifferential
136 Chapter 4.
where the series (]A and (]B are to be differentiated and multiplied termwise.
Au = _1_ f r i (Hia+inI2)U(A)u(A+inI2,·)dA,
y;j;;Iffi>"=P-s
Bu = _1_ f r i (}L+ib+inI2)'13{J.L);'{J.L+inI2,·)dp"
y;j;;IffiJ.l= P-s - Reb
rb ~ J,aIr-bDo(l/X,O).
Irl.Po y.
= rb ~ J,D8(llx,O)a~(r-bi!k(x,0))
1KI;;"o /C.
(we have used Leibniz' formula). Obviously, the righthand side coincides with
(1.5) . •
O'A'(X,O) = ~ J,aIDoO'A(X,O),
Irl;;;'O y.
holds, where (w, v) and <f,g > are the extensions of the scalar products in
L 2 (R n) and L 2 (Sn -1), respectively. Put w = Au. Then
w(A+ia +inl2,) = U(A)U(A+inI2,') on the line Im"A. = j1-s. Here U is the
138 Chapter 4.
(Av) =
f <U(A-ia)u(A + in/2- ta, .), v(A +in/2,»dA=
Im>.=p-sRea
f U(A)u(A+in/2,),v(X+i(n/2-a),»dA =
Im>.=p-s
f <u(A+inI2,), U*(X)v(X+i(nI2-a),»dA.
Im>.=p-s
(1.7)
U*(p.+iQ),..., ~ ~E(p.+i(Q+aj-I)'I))-la~D8fPlcp,U)E(p.+ia).
j, I"fi ;;;.0 )'.
U*(p.+iQ),..., ~ 1~16~r-allxl=1 X
j, 11' I, 181 ;;;.0 y. .
X E(p.+i(Qj-lyl-161))-laIDo+8fPlx,u)llxl=1E(p.) =
= ~ ~E(p.+i(Q-I/CI))-la~D8(r-afPlx,u))IIXI=lE(p.).
I" 1;;;.0 /C.
We now give some information necessary in the proof of theorem 1.7. Let
HI ,H 2 be Hilbert spaces. A bounded linear operator B:H 1 ~ H 2 is called
Fredholm if its range, 1mB, is closed and if the spaces kerB = {xEHI:Bx=O}
and coker B = H 211m B are finite-dimensional. It is well-known (e.g. see [40))
that if K:H 1 ~ H 2 is a compact operator and B is a Fredholm operator, then
B + K is also a Fredholm operator. The following assertion is a particular instance
of theorem 3.3 given in [21].
clllu;Hs(A,sn-I)11 ~ 11U(>')u;Hs-Reu(A,sn-I)11 ~
holds on the line 1m>. = 'T. In other words, for admissible 'T the line 1m>. = 'T
does not contain poles of the operator-function >'1-+ U(>.), the inverse operator
U(>.) -I exists and the estimate
holds. It is clear that only for admissible 'T = /J-s the operator (l.l) realizes an
isomorphism A:Hp(lRn) ~Hp -Reu(lR n).
A pseudodifferential operator A is called elliptic if its principal symbol (10 does
not vanish on Sn -I X Sn -I.
whatever p will be. Hence, for sufficiently large IAI there exists on this set an
inverse operator (I + Z5(A)) -I , and with it also the operator
U(A)-I = (I+~(A))-lm(A). In view of proposition 3.2.2 and the compactness of
the imbedding Hs-Reu+I(A,sn-l) C Hs-Reu(A,sn-I), the operator
U(A)-U(p.):Hs(A,sn-I)-,)Hs-Reu(A,sn-l) is compact for any IL. Together with
the invertibility of U(A) for certain A this leads to the conclusion that the values of
the function A~ U(A) are Fredholm operators. By applying proposition 1.6 we find
that U(A) is an invertible operator on the whole A-plane, except at isolated points
which can only condense at poles of U. Hence a strip 'TI :0;;;;;; 1m A :0;;;;;; 'T2 contains at
most finitely many points at which the operator U(A) does not have a bounded
inverse. •
Rem ark 1.8. In theorem 3.3 of [21] proposition 1.6 is extended to finite-
meromorphic functions; in this case the points at which the inverse operator
U(A) -I does not exist does not condense at poles. However, canonical mero-
morphic pseudodifferential operators are, in general, not finite-meromorphic (cf.
§l of Chapter 3). Hence the question of whether the singularities of U- I can con-
dense at points at which the operator-function A~ U(A) is not finite-meromorphic
remains open.
Rem ark 1.9. The isolated singular points at which the operator U(A)-I does
not exist are poles of the operator-function A~ U(A)-I and are 'normal eigen-
values' of the function A~ U(A) (here A plays the role of spectral parameter); cf.
[21]. The proof of theorem 1.7 implies that the poles of the functions A~ U(A)±I
which are located in a strip I1m AI < h cannot condense at infinity. Hence a line
ImA = 'T is admissible for the operator A if and only if it does not contain poles
of the operators U ± I.
§l. 'l!DOs on R n 141
where 0 = ReA if I ReA I ;;;;. 1, and 0 = 1 if I ReA I < 1 (cf. Remark 3.6.3). Since
for ImA = °
the operator E(A):HO(sn-I)~HO(sn-l) is unitary (corollary
1.5.6), we have I u;H~(Rn) Ie = Ilu;H~(Rn)ll.
(1.8)
and
Introduce an operator T, coinciding with the righthand side of (1.1) after replac-
ing U(A) by ~(A). It is easy to see that the map T:Hp(lRn)~Hhl (IRn) is con-
tinuous. The estimate (1.9) implies (1.8).
It remains to prove that K is exact. Let {Uj}, {Aj } be the sequences of func-
tions and numbers used in proposition 3.6.4, let Uj be intervals on ImA = /3-a
with centers at the points Aj such that the length of ~ tends to zero as j ~ 00.
Let also r j be a nonnegative smooth functions with supports in ~, and equal to
one near Aj . Put vJ (A+inI2,cp) = r/A)u/cp). We have
ITvj;~(lRn)le';;;;;8jlvj;Hp(lRn)le, where 8j~0. It is obvious that
IIU(A)ii/A + in 12, ')11 ,;;;;; II(U(A)- U(A.i»iij(A + inl2, ')11 + IIU(Aj)ii/A + in 12, ')11 (the
norms are taken in HO(Sn - I ». The first term does not exceed
Y)lv/A+inI2,');H a(A,Sn-I)II, where Yj~O, while the second term can, by pro-
pOSItion 3.6.4, be written as coIIE(oj-ia)v/A+inI2,');
HO(sn-I)II+tjllvj(A+inI2,'); HO(sn-I)II, with Co = 1(1($0,80 )1, (j~O. This
means that 1 (A-T)vj; ~(lRn)le = ColVj; Hp(lRn)le+fjlvj; Hp(lRn)le, fj~O.
This implies that the constant K is exact (since the point (CPo, 8o) E Sn - I X Sn-I
can be chosen arbitrarily) . •
where Imp. = T and T is such that the interval L,. = {P.EC: 0 ~ Rep. ~ 27T,
Imp. = T} does not contain poles of A. The norm Ilu;H:HlRn)11 is equivalent to
the norm
§l. i'DOs on R n 143
X { _1
y! r Iyl +bo-bkDyn.
IJ'!!j (r,q" U)a xY( r -b O•TTk
> (
r,x, U»} .
moreover, 1m v = f3 - s - Re b o. Further,
+00
Aj(r,v +ibo)U = ~ r27rikUj(r,v +ib o +2hr)Uk ·
k=-oo
e dr
= j dp. j - j V(Gr .....(r,/i+ in 12) u)dtp.
IT 1 r S"-I
§1. 'l!DOs on R n 145
+00 1 e. . ~
~- - j dq,ju(reJ,q,)(reJ)n- X
j= -00 ...;2;S"-1 1 r
e dr 1 + 00
= jdp.j-
---------
j V{p.,r,q,) . r,:;- ~ (re j )-i(ji+inf2)u(rej ,q,)dq,. •
I., 1 r s" -1 V 2." j = - 00
The 0 rem 1.14. Let A:H:8 (Rn) ~ Hft - Reao (Rn) be a periodic
pseudodifferential operator of order ao, and let }:ra,-ao¢.llr,q"O) be its symbol. Then
the operator A*:H~e;O-S(Rn)~H=:8(1Rn) adjoint to A with respect to the scalar
product in L 2(R n) is also a periodic pseudodifferential operator. The order of A* is
a0, and its symbol is
~ ra,-Iyl-ao {J,r Iyl +ao-a'aID8(r -aO¢.llr,x,O»}. (1.12)
j, Iyl =0 y.
a 0 (i. e. the principal symbol ¢.lo (r, <p,0) of this operator does not vanish on
[1, e 1X S n - 1 X S n - 1). Then there is a periodic pseudodifferential operator Q of
order -ao such that the symbols if AQ and QA are the identity function.
146 Chapter 4.
where ~KU = (tu)oIC- 1 on IC(U) and tKU = 0 outside IC(U). A distinct equivalent
atlas and a distinct partition of unity lead to an equivalent norm.
where 'J is an arbitrary admissible set, A E 'J. P and N are arbitrary positive
integers, and c('J. N,p) = const < 00;
c) if the supports of rand 1'/ belong to one coordinate neighborhood U, then
The fact that this definition is well-defined follows from the rule of change of
variables in a meromorphic pseudodifferential operator on IR n (cf. §8, Chapter 3).
This rule allows us to bring every meromorphic pseudodifferential operator in
correspondence with a (principal) symbol q, - a function on the bundle To (X) of
nonzero cotangent vectors over X\ (9; the principal symbol q,u of the mero-
morphic pseudodifferential operator U u on IR n figuring in formula (2.1) is the
representation of q, in the coordinate neighborhood U, i.e. q, u = q,O(IC*) - 1, where
148 Chapter 4.
K*: TO (X) I u-,>(Bi n \ 0) X (Bin \ 0), where the part of To (X) above Uis regarded as
the direct product U X (Bin \ 0), IC*(X,'T) == (IC(X),IC'(X)'T), (x,'T) U X (Bin \ 0).
E
Recall that the function (y,z) ...... 4:l u (y,z) is homogeneous of degree a both iny and
in z. Therefore we have that if'Tx is a cotangent vector in the fiber To
(x)x above
a point x, then for t > 0,
(2.2)
Proof. Let {~, "}} be an atlas on X, and {f}} a partition of unity subordinate
to it and consisting of smooth homogeneous functions of degree zero. Let {TJ}} be
a set of smooth homogeneous functions of degree zero such that SUPPTJ} C U},
TJ}f} = fl·
Put
where UU(A)
J
= E(A+ia)-14:l u} (y,z)E(A) are canonical meromorphic
pseudodifferentia1 operators on Bin and the notations f", '11" have the same meaning
as in (2.1).
We will show that U is the required meromorphic pseudodifferential operator
on X. It is obvious that condition a) of definition 2.1 is fulfilled. Equation (2.3)
and proposition 3.1.6 imply that U also satisfies b). Let, finally, the supports of '11
and f lie in one coordinate neighborhood Uk. In view of the fact that
the sum will only contain those term for which supp f} n Uk =1= 0. Write the
righthand side of (2.4) in the local coordinates of Uk. By the rule for change of
variables, (2.4) takes the form
fU(A)1J = ~(ff}tk'B(A)(1JTJ})"k'
)
symbol (> Uk. By applying proposition 3.2.1. we obtain that the righthand side
equals
u(x) = _1:- !
V2'1Tlm"A==T
u(A-,x)dA (2.6)
!
00
hold.
For arbitrary real sand ,8 we introduce the space Hp(X) as the completion of
Co (X\ 0) with respect to the norm
(2.7)
f t -i(A+iu + in/2)-J
00
V (tx)dt Ps(x )u.
o
Hence for XES we have
§2. i'DOs on a conic manifold 151
Further,
= lf
ffiA=fJ-S
Ilv(A+ia +in/2,·);HS-Rea(X+ia,X)112dX l1l2
This, equation (2.10) and the definition of the norm in Hi(P,X) imply that
Ilv;Hp-Rea(X)11 ",;;;
(%4)(x) = ~f~4Y,
'7TI xy-x
x EX,
where u E Co (X \ 0).
Pro p 0 sit ion 2.7. The following representation holds for the operator (2.11):
f
+00
(%4)(r, OJ) = _1_ r i (h+in/2) X (2.12)
& -00
N
X ~ ~k0)u0+il2,Ok)dA, j = 1, ... ,N;
k=J
here u(r,Ok) = u(re ilJk ), U(-,0k) is the Mellin transform of the function rt-+u(r,Ok),
and ~k is defined by
~k0) = (2.13)
exp{A(Ok - OJ - '7T) + i (Ok - OJ) 12}
if k > j,
cosh'7TA
_ exp{A(Ok- Oj+'7T)+i(8k -Oj )/2}
if k <j,
cosh'7TA
-tanh'7TA if k = j,
First we consider the terms for which j =1= k. Changing the order of integration
we obtain
fo r - iA -112 dr 0f
00 00 ( () i(Jk d
u p, k e p-
(2.15)
'(J '(J-
pe' k - re' j
-
-e
i«(Jk-(J) f upe
00
( i(Jk) p -iA-1/2dp f 00
t
-iA- 1I2 d
i«(Jk-(J)
t
,
o 0 e } -I
where the new variable I equals the quotient rip. If a is a nonnegative number,
11ris and (2.15) imply that for k > j the k-th term at the righthand side of (2.14)
equals exp{A«()k-()j-'lT)+i«()k-()j)/2}/cosh'ITA, while for k > j it equals
- exp{f..(()k -()j - 'IT) + i «()k - ()) I 2} I cosh 'ITA.
Nc ',V consider the j-th term in (2.14). The inner integral is to be understood as
a principal value integral. By the well-known formula of Sokhotskii (cf., e.g.,
[41]),
11ris, taking into account (2.16), implies that the j-th term in (2.14) equals
- u(A,O)tanh 'ITA. It remains to use the inversion formula (1.2.6) for the Mellin
transform. •
Rem ark 2.8. For the sake of being specific we have assumed that all rays are
emanating. If the q-th ray is incoming*), then '5jq must be replaced by -'5jq. In
particular, the entries of the matrix II'5jk IIJ,k = 1 corresponding to the operator
~ j u{y)dy
'1Tl_ oo y-x
*)i.e. if - 00 < p ~ 0 for the q-th ray. (Translator's note.)
154 Chapter 4.
are defined by '511 (A) = -'522 (A) = -tanh'ITA., '512 (A) = -'52 ](A) = ilcosh'ITA
(which is in accordance with Chapter 3, §1.2).
Let a and b be complex-valued functions on X \ 19 which are constant on each
ray Rj , and let aj, bj be the values of a,b on Rj . A singular integral operator on X
is an operator A = aI +b%, where % is the integral (2.11). Applying proposition
2.7 we rewrite A as
= _1_ f
+00
(Au)(r,·) r i (Hi/2)U(A)u(A+il2,)dA, (2.17)
Y"2; -00
where U(A) =
IIUjk(A)llfk =], Ujk(A) = a/)jk + b/5jk (A), U(A + il2,) is the vector
(u(A+iI2,O]), ... ,u(A+iI2,ON)), (Au)(r,·) is a similar vector, and 6jk are the
Kronecker symbols.
Denote by L 2,p(X) the completion of C(f (X\ (9) with respect to the norm
u(A,O) = _~
v2'1T
7
0
p-iA-Iu(P,O)dp.
The notation Ilu(A, ·);Hs(,u,X)11 has a meaning also for A*- J.L.
Let U(p,A) be a meromorphic pseudodifferential operator of order a on X,
depending on a positive parameter p. We will assume that the representation
U(p,A) = U(A) + U I (p,A) holds, where Uo is a meromorphic pseudodifferential
operator not depending on p, while for U I we have the estimate
uniformly in p > 0, for all nonnegative integers k and q and for real s, on a line
ImA = 'T which does not contain poles of Uo. This implies that on ImA = 'T,
(2.20)
Assume that for two arbitrary infinitely differentiable functions f and 1/, homo-
geneous of degree zero and with disjoint supports, the inequality
:;;:;;c(l+ Iv I + IAi)-N
holds, where Nand p are arbitrary positive numbers, and 1m;\. = 'T.
(2.22)
(2.23)
holds, where s, v,N are arbitrary real numbers, and 1mX = 1mI' = T.
D e fin i t ion 2.9. If condition (2.19) holds (hence also conditions (2.20),
(2.21) and (2.23) hold), the operator U(p,X) = UO(X)+UI(p,X) will be called a
meromorphic pseudodifferential operator of order a with variable symbol on X.
(Au)(x) = (2.24)
Pro p 0 sit ion 2.12. The operator (2.24) for T = /3 - s realizes a continuous
map A:Hp (X) ~ Hp - Rea (X).
(2.25)
(2.26)
Bv = _1_ f pi(Hib+inI2)m(p,}..)v(A+inI2,)dA,
-J2;ImA=o
(J = /3 - s - Re b.
Put
Pro p 0 sit ion 2.14. Each of the operators To I, T 11 realizes a continuous map
from H:8 +Reb(X) to H:8+.fea +1 (X).
Proof. We have
TOI V = p
-a-b
f pi(p+inI2) X
yf2; ImjL=o
§2. i'DOs on a conic manifold 159
X Uo{J.t+ib) lm!=o~l{J.t-A,l\)V(l\+in12,.)dl\ +
- \B 1(p,p.)v (J.t+ in 1 2,.)] dp..
Multiply this equation by pU + b, and then apply the Mellin transform. Then
-
(TOlv){J.t+i(a +b)+inI2,·) =
";;C f 1p.-l\I(II~I{J.t-A,l\)v(A+inI2,·);HS(l\,X)II+
ImA=o
Since, by (2.27),
and
(2.28) implies that Tal is a continuous operator (compare with the proof of propo-
sition 2.12).
We now consider the operator
f
-u -b
Tllv = p pi{jt+inI2)U l (p,p.+ib) X
yf2; ImA=o
f dp,
- -
f (U](v-p"p,+ib)-U](v -p"X+ib)) X
Iml'=o ImA=o
~c f (1+lv-p,I)-Ndp,X
Iml'=o
X f (1+ 1p,-XU-Nllv(A+in12,·);Hs+Reb(A,X)lldA
ImA=o
Pro po sit ion 2.15. Let T be any of the operators AoB], CO], A]B2, or C ll .
Then for all functions u- from the set
{u: u(X + i(a +b) + in 12,.) = (Tv)(X + i (a +b) + inI2,.), Ilv ;Hp + Rea (X)II ~ I),
defined on the line 1m X = /3 - s the following estimate holds:
f [Uo(p.+ib +h)-Uo(p.+ib)] X
ImA=o
X ~](p.+h -A,X)v(X+inI2,)dX+
+ f Uo(p.+ib)(~](p.+h -A,A)-~](p.-A,A))v(A+inI2,)dA.
ImA=o
The first of these integrals can be estimated using inequalities (2.22) and (2.30),
§2. itDOs on a conic manifold 161
Using Minkowski's inequality (as in the proof of proposition 2.12) we are led
to an estimate of the type (2.31). The other operators COl> A I B I> and C 11 are
considered analogously . •
Proof 0 f the 0 rem 2.l3. In view of the fact that AB-C = TOl +T II , it
suffices to verify that each operator TObTII is compact from Hp+Reb(X) to
HjJ-Rea(X). Let v run over the unit sphere in HjJ+Reb(X) and let u = Tv, where
T is any of the operators TOb Til. Let also {U, /(} be an atlas on X \ (9, and let
{n be a partition of unity subordinate to it. We convince ourselves of the fact
that for any local chart the set {rku:u=Tv} is compact in HjJ-Rea(R n ). For sim-
plicity reasons we replace the notation rkU by u. Proposition 2.12 and the
definition of the norms in the spaces H~(Rn) implies that to an arbitrary positive
number ( correspond numbers M and N such that
km N+iT
~ f (1+m 2 + IAI 2)s-Rea X
k=1 -N+iT
for'T = /J-s + Rea (uniformly in v). Applying proposition 2.15 and a well-known
compactness criterion in the space L2 of square-integrable functions on a
bounded interval (cf., e.g., [30]) we find that for any ( > 0 there is a finite (-net for
the set {rkU: u = Tv} . •
162 Chapter 4.
x U*(p,A+ia)v(A+inI2,·)dA+Tv,
where'T* = s-Rea-p, U*(p,A) = U(p,Xy, andT:H=VRea(X)~H=/3(X) is a
compact operator.
Proof. We have
(Au, v) = (2.33)
f <(A0(p+inl2,),v(ji+inI2,»dp, =
ImJl=fJ-s +Rea
where (w, v) and <f,g> are the extensions of the scalar products in L 2(X,dv)
and L 2 (S,do), respectively. Since
+ f U1(P-A,A)u(A+inI2,)dA,
ImJl=fJ-s
(Au,v) = (2.34)
f <u(A+inI2,), Uo(A)*v(~+i(nI2-a),»dA+
Imlo.=T
§2. i'DOs on a conic manifold 163
+ f <u(A+inI2,·), f (U I (}L-A,A))*v(jL+i(n12-a),·)d/L>dA,
ImA=7 Imj1=7
(the operator at the righthand side is obtained from U(p,A) by transition to the
adjoint and subsequently applying the Mellin transform with respect to the first
argument). Since Uo(Ar = Uo(~), (2.34) implies (Au, v) = (u,h), where
iz(~+inI2,·) = Uo0)v(~+i(nI2-a),·)+
+ f Uj0-i:i,~)v(jL+i(nI2-a),·)d/L.
Imj1=7
iz(~+inI2,·) = U o(A+ia)v(A+inI2,·)+
- _1_ f
pi (A+;{i)Uj (p,A + iQ)V(A + inl2, ·)dA.
y'2;ImA=7'
It remains to verify that the operator T:H=P+ Rea (X) ~ H=fi (X) defined by
(2.35) is compact. This can be done by a reasoning similar to the one given in the
proof of theorem 2.13 . •
°
0, and let S be a directing sub manifold of it (having only one point in common
with each ray). A neighborhood of is a set on X containing a subset of the form
{x =(p,O):P<C,OES}, where (p,O) are the polar coordinates on X defined by using
164 Chapter 4.
S (cf. §2.5), and ( is an arbitrary positive number. If X,X' are conic manifolds,
and K:X ~ X' is a homogeneous map of degree one, infinitely differentiable,
together with its inverse, everywhere except at the vertices, then K is called a
diffeomorphism from X to X'.
We denote by ~ a Hausdorff space having the following properties: 1) there is
a finite subset Q = {x(l), ... ,x(l)} such that ~ \ Q is an n-dimensional Coo
manifold; 2) for every point xv) E Q there are given an open set ~ C ~ con-
taining xv) and a homeomorphism Kj of this set onto a neighborhood of the ver-
tex OJ of an n-dimensional conic manifold Xj' K/X(j) = OJ; and 3) there is a
family VI + I, ... , Vp of coordinate neighborhoods on ~ \ Q, Vj C ~ \ Q, form-
ing together with the sets U I, . . . , UI a finite open cover of the manifold 01L
Let x E ~ and let (p,(J) be the polar coordinates of its image Klx) in Xj.
Coordinates of the form (p, (JI, ... , (In -I) where (Jj, . . . , (In - I are certain local
coordinates of the point (J on a directing submanifold Sj of the cone Xj will be
called local coordinates of x in Uj.
We will assume that the local charts {~,Kj}j=1 and {Vk,Kd~=I+1 form a
v
Coo atlas, i.e. in intersections of neighborhoods the local coordinates on one chart
are infinitely differentiable functions of the local coordinates on the other chart.
The notion of equivalent atlases is naturally introduced (in particular, if two
charts (Uj,Kj) and (U;,K;) belong to equivalent atlases, then the map
KjoKTI:K/Ujn Uj)~Kj(Ujn uj) can be extended to a diffeomorphism of Xj to
v
Xj). The space ~ endowed with this structure is called a Coo manifold with coni-
cal points.
We introduce the space Hp(~)
of functions on 0ll, where s is a real number and f3 = (f31, ... ,f3a is a vector
with real components. Let {rj}J = I be a partition of unity subordinate to the
cover U I , ... , UJ, V1 + I , ... , Vp. Put
1
Ilu;Hp(~)11 = .~ II(fju)OKTI;Hp/Aj)II+
} = I
p
+ ~ II(rjU)OKj-l ;Hs(Rn)11
j =1 + I
(as usual, the function (rju)oKT I is extended by zero onto Xj (j = 1, ... ,1) or
§ 3. it DOs on manifolds with conical points 165
onto R n (j=l + 1, ... ,p)). The space Hp(0fL) is defined as the completion of the
set COO (0fL \ Q) with respect to the norm 11·;H:e(0fL)II.
We will say that a function u given on 0fL \ Q belongs to the class (is of class)
v
Coo (0fL) if it is infinitely differentiable outside Q, while near every conical point
x(f) E Q it is such that the functions Pt-+(pDp)q(uoICT1)(p,) E Coo(Cj ) are con-
tinuous on an interval [0,8]. Here 8> 0, Sj is a directing sub manifold of the cone
Xl' and (p,fJ) are polar coordinates on Xj.
v, V c ~\Q,
cones Xj (distinct generators having distinct origins), and let To (~) be the bun-
dle of nonzero cotangent vectors over ~. The boundary a~Q consists of 1 com-
ponents, corresponding to the conical points x(l>, ... ,xU). A generator of Xj
with direction cp corresponds to the tangent (cotangent) space containing the vec-
tor cp (the dual vector cp*).
For a pseudodifferential operator A on ~ we can define its symbol «I> as a
function on To (~Q). In a coordinate neighborhood V such that V C ~ \ Q the
representative of «I> is the symbol «I>v of the standard pseudodifferential operator
Avon IRn. If U is a neighborhood of a conical point x(j), then the operator Au
(cf. A) of definition 3.1) has a representation (2.24). The corresponding mero-
morphic pseudodifferential operator U(J)(p,A) with variable symbol is equal to a
sum of operators U~)0)+ UY)(p,A) (definition 2.9). In the fiber above a point in
the boundary a~Q the symbol «I> of A coincides with the principal symbol of the
meromorphic pseudodifferential operator U~)0). So, the symbol «I> is a homogene-
ous function on the fiber of TO(~Q) above each point x E ~Q.
Pro p 0 s i t ion 3.2. For a given such function there is on Hfi (~) a
pseudodifJerential operator of order a having this function as symbol.
The proof is similar to the verification of proposition 2.2. We only indicate
the necessary changes. Let U I, . . . ,Uz, VI + I, . . . ,Vp be the cover of ~ and let
{tj}j = I be a partition of unity subordinate to it. Denote by lIj' j = I, ... ,p,
smooth functions for which rjllj = tj , SUPPllj C Uj ' j = I, ... ,I, and
SUPPllj C Vj for j = I + I, ... ,p. Suppose that UV)(p,A) are meromorphic
pseudodifferential operators on Xj, j = I, ... ,1, whose symbols coincide with the
§ 3. i'DOs on manifolds with conical paints 167
given functions (cf. proposition 2.2 and example 2.10). Define the operator AUj by
(2.24), in which U is replaced by U(j). Let also AVj be standard pseudodifferential
operators on R n with the given symbols. Put
In order to prove that A is the operator looked for, we may reason as in the
proof of proposition 2.2. Instead of proposition 3.2.2 we must use theorem 2.13
in this situation, and take into account, moreover, the following fact. By (2.3.4),
for arbitrary functions t 1) E CIf (Rn \ 0) we have
where 'T = f3 - s, K is an operator acting from every space H-p (Rn) to (R n), Co
and the lefthand side is to be understood as the analytic extension with respect to
the parameter a - the degree of homogeneity of the function ~ 1-+ CP(·,g). (Clearly,
~F-l CP(x, ~)F1) = ~F-l CP(x, g)X(g)F1) + T, where T maps Hp (Rn) to CIf (Rn \ 0).)
behavior of A up to compact summands (cf., e.g., [1]). By the way, the proof can
be performed by repeating, with obvious changes, the proof of proposition 4.4 to
be given in the sequel.
where (r, q,) are local spherical coordinates with origin at a point xeD) E K(V),
o , ; :; r < 00, q, E IR n, Iq, I = 1. Suppose that in every small coordinate neighbor-
hood V, except perhaps at xeD>, the symbol fl>v is a smooth function of the local
coordinates x = (r, q,) and (J E Sn -1 . Suppose also that
fl>y(r,q"O) = fI>~(q"O)+fI>~P(r,q"O), and let for arbitrary nonnegative integersp,q,
andk,
(4.2)
Let S(~) and S*(~) be the bundles of tangent and cotangent unit vectors.
The symbol eI» of a pseudodifferential operator A on L2(~) is a complex-valued
function on the Whitney sum S(~)EBS*(~). The conditions to which the func-
tion el»v is subjected imply that everywhere on ~ except possibly at a finite point
set singel», the symbol eI» is a constant on a fiber S(~)x. (Near a point x E singel»
the symbol satisfies inequalities (4.2).) Under these conditions we will say that at
the points of sing eI» the symbol has a discontinuity of the first kind. We stress that
the set sing eI» depends on the operator in question.
A pseudodifferential operator A:L2(~) ~L2(~) is put in correspondence with
a family of maps
(4.3)
U(x,X) = E6~tjl(A)-lel»(x,tp,8)1;p~6(A),
where tp,1/I E S(~)x, () E S*(~)x. The family (4.3) is called the operator symbol
of the pseudodifferential operator A. Thus, pseudodifferential operators differing
by compact terms only have the same operator symbol.
We denote by @ the involutive Banach algebra*) of operator-functions given on
~ X R, with pointwise multiplication, generated by the operator symbols and
endowed with the norm
Elements U and U* adjoint in @ take values U(x, X) and U(x, X)* adjoint with
respect to the scalar product in L 2 (S (~)x). It is clear that @S is a C* -algebra*).
In this paragraph, an algebra will always mean a C* -algebra.
Let ce be the algebra generated by the compact operators and the
pseudodifferential operators of order zero on L2(~)' and let ~JfLd~) be the ideal
of compact operators. This section is dedicated to the proof of the following
-)Cf. the definitions in §1, Chapter 5.
170 Chapter 4.
assertion.
The 0 rem 4.1. The map A 1-+ U, assigning to a pseudodijJerential operator A its
operator symbol U EO @5, defines an isomorphism between the algebras @/9{L2(0TL)
and @5. In particular*), the norm of a residue class [A] in the quotient algebra
@/:J[L2(0TL) is equal to the norm IIU;@5/1 of its operator symbol in the algebra @5.
The proof of the theorem is preceded by several propositions.
Pro po sit ion 4.4. Let A(l,m) be pseudodijJerential operators, let u(/,m), A and
U be as proposition 4.2. Let also cp(l,m) be the ordinary (scalar) symbols of the A(/,m).
The operator A:L 2(0TL) ~ L2(0TL) is Fredholm if and only if the following conditions
hold:
1) the function () = ~IIIm()(l,m) does not vanish on S(~)EI1S*(~);
2)at each point x E U/,msing()(I,m) the operator{unction AI-+U(X,A)-l does not
have poles on the line 1m A = 0.
Rem ark 4.5. At the points of the set ~ \ U I,m sing ()(I,m) condition 2) is
satisfied in view of condition 1). Indeed, if x f£ U sing()(I,m) then ()(/,m)(x,cp,O) is
independent of cp, hence
U(X,A) = ~IIE(A)-l()(I,m)(x,O)E(A) =
I m
A = ~t" A v'I'/" + T,
where {nis a partition of unity subordinate to the atlas {V,le}, TI E COO(~),
sUPPTl C V, and tTl = t; T E :J{L2(~); Av is the operator on L 2(lR n ) given by
Uy(r,A)-1 :L 2(sn -I) ~L2(sn -I) exists on the line ImA = O. Put
RA = ~(rj)"jRv/rJj),,/rktkAvk(l1k)"k +T =
j,k
= ~(rjtjRV;(l1j)"j(rk)") A V/l1k)"j +T =
j,k
(4.5)
where T E %L2(~) and the symbol «Pv of the standard operator Avon IR n
satisfies «Py(O,Oo) = 0 for some 00 E Sn -I. Denote by {Vj} a sequence of func-
tions in L 2 (lR n ) such that Ilv)1 = 1, while supp Vj contract towards the coordinate
origin. Clearly, the sequence {Vj} converges weakly to zero in L2(lRn). The
sequence Wj(y) = e -i P/llo'Y)Vj(Y) has the same properties, as Pj ~ + 00. Since
«Py(O,Oo) = 0, we have Avwj ~ 0 in L2(lRn), and the weak convergence to zero of
the Wj implies that IIT(wjOK)11 ~ 0 for any compact operator T. If A were
§4. Algebras generated by i'DOs of order zero 173
Fredholm, the estimate lIull .;;;; (IiAull + IITull) would hold for some T E 'XL2(~)
(norms in L2(~»' This estimate is proved false on the sequence {WjOK} by using
(4.5).
Suppose now that condition 1) is violated at a point x(O) E UI,msingCP(l,m), i.e.
CP(x(O),«Po,Oo) = 0 for certain 1/>0 E S(~)x(O), 00 E S*(~)x(O). Put, as before,
Uo(A) = ~lnmE(A)-Jcp(l,m)(x(O),I/>,O)E(A). Proposition 3.6.4 implies that there are
a sequence {Uj} C Coo(Sn-J), lIu;L 2(sn-J)11 = 1, and a sequence of numbers
{Aj } IR, Ar~OO, such that IlUo(Aj)uj;L2(sn-J)II~0. Hence the sequence
C
v/A+inI2,-.[;) = rj(A)u/-.[;), where IIvj;L2(lR n)1I = 1 and the support of rj lies in
an interval on the real axis with center at Aj and of length dj ~ 0, satisfies
(4.6)
here
(4.8)
Pro p 0 sit ion 4.6. Let A, U be as in proposition 4.2, and let, as before,
tP = };/IImtP(/,m). An operator A* A ~ ,u1:L 2(cryR.) ~ L 2(r:)]L) is Fredholm if and only
if the following conditions hold: 1) the function tPtP ~,u does not take the value zero
on S(r:)]L)EBS*(r:)]L); and 2) at each point x E U/,msingtP(/·m) the operator
U(x, A)*U(X, A) ~,ul does not have eigenvalues on the line ImA = 0.
(4.9)
where T runs over the ideal :JCL 2(r:)]L) of compact operators. Equation (4.9) fol-
lows from proposition 4.6 and the fact that for any bounded operator the relation
infTIIB+TI1 2 = infTIIB*B+TII = sup{,u:,u E oess(B*B)} holds; here oess(B*B)
denotes the spectrum of the residue class [B*B] in the quotient algebra
el:JCL2(r:)]L), where e is:he algebra of bounded operators in L2(r:)]L) (cf. [24]). •
2. The algebra generated by pseudodifferential operators with smooth symbols. Let
ifo be the subalgebra of the algebra 6t generated by the pseudodifferential opera-
tors with smooth (scalar) symbols (i.e. sing tP = 0 for the symbol of every
pseudodifferential operator in ifo). Let also A(I,m\ u(I·m), A, and U be as in propo-
sition 4.2. Since the symbols tP(/,m) of the operators A (I.m) do not depend on a
point cP E S (r:)]L)x, we have
L M
U(x,A) = ~ II EO~<f>(A)-ltP(I,m)(x,O)E(A) =
1=1 m=1
§4. Algebras generated by i'DOs of order zero 175
The 0 rem 4.7. Let CPo be the algebra generated by the pseudodifjerential opera-
tors with smooth (scalar) symbols on a smooth compact manifold 01L without boun-
dary. Then the quotient algebra CPo 1%L 2 (01L) is isomorphic to the algebra C(S*(01L»
of continuous functions on the bundle S * (01L) of cotangeni unit vectors. In particular,
the norm of a residue class [AJ is equal to the norm 1I«P;C(S*(01L»11 of its symbol «P.
Theorems 4.1 and 4.7 can, in an obvious way, be generalized to
pseudodifferential operators acting on sections of vector bundles. In this case, the
norm 1I«P;C(S*(01L»11 figuring in theorem 4.7 must be understood to mean
SUPj,s'(~1L)Sj, where S] are the eigenvalues of the matrix «P*«P, Sj ;;;. O. In the sequel
we will not give indications as to the possibility of similar obvious generalizations.
The 0 rem 4.8. The map A t-+ IS defines an isomorphism of the algebras
ttl%L 2(sn-l) and@.
The proof is a repetition, with obvious changes, of the proof of theorem 4.1 .
•
4. The algebra of pseudodifferential operators on a manifold with conical points.
v
Let 0TL be a Coo manifold with conical points (cf. §3.1). Denote by tt the algebra
generated by the pseudodifferential operators on ~ (0TL) _ H p(0TL) (here /3 is a
vector with real components (f3J, ... ,/31) and I is the number of conical points
xCI), ... ,x(l)). We will assume that discontinuities of the first kind are allowed in
the symbols of the pseudodifferential operators. For a pseudodifferential operator
A we introduce the operator symbol U, defined for x =F x(j), j = 1, ... ,1, as in
section 1, and for x = x(j) as the operator function At-+ U(x(j\A) given on the
line IX(j) = {AEC: ImA=/3j}; here U(x(j),,) denotes a meromorphic
pseudodifferential operator on the cone Xj (cf. definition 2.1). Put also
Ix = {AEC: ImA=O} for x =F x(j), j = 1, ... ,1.
Let @ be the algebra generated by the operator symbols and endowed with the
norm
The 0 rem 4.9. The map A t-+ U defines an isomorphism of the algebras
tt/:JfH p(0TL) and @.
This assertion can be proved similarly as theorem 4.1; the presence of conical
points does not present additional difficulties. Theorem 4.9 can, in an obvious
way, be generalized to manifolds with boundary (cf. theorem 4.8). Of course,
theorems 4.1, 4.7, and 4.8 follow from the assertions formulated in this section.
U(Z,A) = (4.10)
= [a+{Z)+b+{Z)tanh'fTA. ib+{z)/cosh'fTA. 1
-ih_{z)/cosh'fTA a_{z)-b_(Z)tanh'fTA·
178 Chapter 4.
e
vicp) = jv(r,cp)r-27Tij-ldr.
1
By () we denote the algebra generated by the functions (x, X) ~ A(x, X), with point-
wise operations and norm
n=dXS n - 1•
Pro p 0sit ion 1.1. Let a and ~ be C* -algebras, cp:a~q>, a morphism, and I
the kernel of cpo Then I is a closed ideal in CP, and the image cp(a) is closed in ~.
1) the only closed vector subspaces in H that are invariant under 'IT(te) are 0 and
H;
2) the commutator of 'IT(a) in e(H) consists of scalars;
3) either every nonzero vector g E H is cyclic for 'IT, or 'IT is the null representation
of dimension 1*) .
Pro p 0 sit ion 1.3. Let 1 1,12 be two-sided ideals in an algebra (f, and let I be
a primitive ideal. If I 112 C I (in particular, if I I n 12 C I), then either I I C I or
12 C 1.
Pro p 0 sit ion 1.4. Let t£ = 'X{H) be the algebra of compact operators on a
Hilbert space H. Then every nonnull irreducible representation of t£ is equivalent to
the identity representation.
Pro p 0 sit ion 1.6 ([24), 2.10.2) (extension of a representation). Let 0?J be a
§1. Results from the theory of c* -algebras 185
The spectrum of a is the set a endowed with the topology that is the pre-image
A
l)ais a To-space;
2) two irreducible representations of a with the same kernel are equivalent;
A
Pro p 0 sit ion 1.7. Let I be a closed two-sided ideal of an algebra (f and let
&! = {'TT E &:'TT 1/:;eo}. Then the map 'TT ...... 'TT II is a bijection of &! onto 1.
Pro p 0 sit ion 1.8. For every x E X we define a representation ?T(x) of the
- --
algebra 'Xo(X,H) bY?T(x)v = v (x). Then x .... v(x) is a homeomorphism of X onto
the spectrum 'Xo(X,H) of'Xo(X,H).
Pro po sit ion 1.9 (cf. 11.1.4 in [24]). If<!B is a rich subalgebra of the algebra
'Xo(X,H), then <!B = 'Xo(X, H).
Pro p 0 sit ion 1.10. Let ce be an algebra with identity. An element a E (f. is
invertible if and only if for every irreducible representation ?T of ce the operator ?T(a) is
invertible (on the representation space H .,).
cf.JoOo = 0 is the union of sets {xo} X V(cf.Jo) X W(Oo), K(cf.Jo) X Sn-I X W(Oo), of
the set of lines lx, x E K(cf.Jo), and Ixo. If cf.JoOo~O, a neighborhood is the same
such set, but with Ixo replaced by a set {AElxo:A~N} (every line Ix is regarded as
the real axis). Finally, a neighborhood of a point A E Ix is an open interval on Ix
containing A. These neighborhoods form a base for a topology on ®. This topol-
ogy is not separable: any two neighborhoods of distinct points (XO,tpl,OI) and
(XO,tp2,lJ 2) have nonempty intersection. Oearly, @ is a To-space, i.e. for each pair
of points there is a neighborhood not containing the other point. The topology
5(S,S*) induced on S(~R.)$S*(~) is the weakest in which all functions on IJR are
continuous.
Let a be the algebra obtained by
closing, with respect to the operator norm in
L2(~)' the set of compact operators and pseudodifferential operators of order
zero whose symbols belong to IJR. The following fundamental theorem holds.
Using theorem 2.1 we can obtain a description of the spectrum of the algebra
a. In fact, the following holds.
Proof 0 f cor 0 11 a r y 2.2. We first note that, since the algebra ce contains
all compact operators on L2(~)' its identity representation is irreducible. Let 'IT
be an irreducible representation of ce such that 'TT(9{1.d~» =!= O. Then the restric-
tion 'IT I%l.d~) is also irreducible (the first part of proposition 1.2). By proposition
1.4, 'IT I%l..2(~) is equivalent to the identity representation. This implies that the ini-
tial representation is also equivalent to the identity representation. So, in order to
obtain the complete list of representations of ce we must add to the representations
given in theorem 2.1 the identity representation. •
We now consider the subalgebra eo
of ce generated by the pseudodifferential
operators whose symbols do not have a discontinuity on a fixed set ~ C ~ i.e.
sing iP n ~ =!= 0 for the symbol iP of an arbitrary A E eo.
Discard from @ the
lines Ix corresponding to points of ~. Identify points (x, q" fJ) and (x, t/J, fJ), where
x E ~, cp,t/J E S(~)x, (J E S*(~)x' The new space, endowed with the quotient
A
rem 2.3. All assertions of theorem 2.1 remain valid if ~ @ are replaced
A
The 0
'IT(x, fJ):A l-+iP(x, fJ), and the map 'IT(x,q"fJ)I-+(x,cp,fJ) (for x E~) by the map
'IT(x, fJ) 1-+ (x, fJ).
In particular, for ~ = ~ we are led to the following assertion (which, by the
way, follows immediately from theorem 4.4.7).
verified only for the representation w(x, A) in L2(S(~R.)x). The set w(x, A)(ce) con-
tains, e.g., the commutator U(x, A)f - jU(x, A), where
U(X,A) = E(A)-l<p(x,4>,O)E(A), f E COO(S('!)]t)x). This commutator is a compact
operator on L 2(S('!)]t)x) (cf. proposition 3.2.1). But then, by proposition 1.4, con-
tinuity of the representation implies the inclusion %ldS (~)x) c w(x, A)(a). Thus
a is a type I algebra (c!. [24], 9.1).
Finalizing this paragraph we give a one-dimensional version of theorem 2.1.
Let '!)]t be a union of finitely many smooth simply closed oriented contours in the
complex plane. Consider a singular integral operator
where a,b are functions with, possibly, finitely many singularities of the first kind
and left - continuous. Introduce the space @. The bundle S('!)]t)$S*('!)]t) can be
represented as the disjoint union of four copies '!)]t+ +, '!)It+ _, '!)It_ +, '!)It_ _ of
'!)R., each oriented as '!)]to Let zE ~ let z/ and Zr be arbitrary points of '!)It lying
'left' and 'right' of z (near z), and let < be the order relation on an arc. Points of,
e.g., '!)It+ _ will be denoted by z + -, etc. We define a topology 5(S,S*) on
S('!)]t)E9S*('!)]t). Neighborhoods forming a fundamental system of neighborhoods
(an fsn) in the topology 5(S,S*) are: for a point z + +, the sets of the form
{x + +: z + + =s;;; x < z:- +} U {x - + : z - + < x - + < z; + }; for a point z - + ,
the sets {x - + : z - + ;;;;. x - + > z I +} U {x + + : z + + > x + + > z / + }; etc. The
space @ is the union of the four contours ~± and the set of lines {Ix}, x E '!)]to
Let p :S('!)It)E9 S* ('!)It) ~ '!)]t be projection, and V a neighborhood of z + + (z - -)
on S(~)El)S*('!)]t) in '5"(S,S*). Unions of sets V, {Ix} (X Ep(V) \z) and
{A E Iz : A> N} form an fsn on & of z + + (z - -). Similar unions with
{A E Iz : A> N} replaced by {A E Iz : A < N} form a fundamental system of
neighborhoods of z + (z -). Finally, for an arbitrary point A E Iz an fsn is formed
by the open intervals on Iz containing z. Note that, in distinction to the one-
dimensional case, for dim'!)]t;;;;.: 2 there are points (x, 4>,0) in S ('!)]t) E9 S *('!)]t) every
neighborhood of which contains the line Ix (in case cpO = 0). The topology on @
is not separable.
The 0 rem 2.5. Let A be a Singular integral operator (2.1), let U(Z,A) be the
matrix (4.4.1 0), and let if be the algebra generated by the operators (2.1). Then
§2. The spectrum. Discontinuities 191
coo(sn -1). Therefore, P(j) = jP(1), i.e. P acts as the operator of multiplication
by P(1). Furthermore, p2(j) = P(fP(1» = jP(P(l» = jP(1)2. On the other hand,
p 2 (j) = P(j) = jP(1). Hence p(1)2 = P(I). Thus, P(1) takes only two values, 0
and 1, and thus is the characteristic function of a certain set D.
Suppose there is a nontrivial invariant subspace; let u be an element of it. We
may assume that the support of u lies in an open hemisphere. Choose a point Wo
such that the set {I/; E S n - I : II/;wo 1 < £}, where £ is a sufficiently small number,
does not intersect supp u. Denote by {Gm } a sequence of smooth averaging ker-
nels such that
f
S·-I
Gm(O,I/;)( -wol/;+ io)-iA-nI2 u (l/;)dl/; ~ (3.1)
for almost all O. Fix a 0 = 00 such that the limit (3.1) exists and is distinct from
zero. For sufficiently large m,
Obviously, the function v (I/;) = Gm(0 0,-.J!)u (I/;) belongs to the invariant subspace.
Denote by {cI>k} a ~-sequence of smooth functions such that the sets supPcI>k
contract towards a point woo Also, let a be a Coo(sn -1) function equal to zero in
a small neighborhood of the equator {cp:CPWo = o} and equal to one outside another
small neighborhood of this equator.
Put Uk(A) = E(A)-l a (cp)cI>k(W)E(A). Then
X f (-wo-.J!+io)-iA-nI2 v (-.J!)dl/;,
s. -I
imply that the righthand side of (3.3) cannot vanish almost everywhere on
Sn -I \ U. We have obtained a contradiction. •
Pro p 0 sit ion 3.2. Every compact operator on L2(sn -I) belongs to the alge-
bra ®(A).
Proof. Proposition 3.2.1 implies that ®(A) contains certain nonzero compact
operators (commutators). Since ®(A) is irreducible (proposition 3.1), by proposi-
tion 1.5 every compact operators is an element of it. •
Denote by V(n, 2) the manifold of pairs (<p,w) of mutually orthogonal unit vec-
tors of IRn.
implies
where IL is a real number and 0 = ReA. Using this relation we can prove that for
any null sequence {(q} of positive numbers there are sequences of smooth func-
tions, {v q }, and numbers, {/Lq}, with the following properties: /Lq -,'> + 00,
Ilvq;L2(sn -1)11 = 1, the supports of the Vq contract towards the point c/Jo, and
The proof follows from the fact that the kernel of the integral operator
v~Qv, where (Qv)(<P) = Ew--></>(,\)-I'l'(<p,w)v(w), is a function of class
c oo (sn-1 X sn-l).
Denote by oess(UU*) the essential spectrum of the operator UU*, i.e. the spec-
trum of the residue class [UU* +T] in the algebra e(L2(Sn -1 »/:J{L2(sn -1).
Proof. It suffices to prove that if p. > maxV(n, 2) 1 cI> 1 2 , then the operator
p.- U('\)U(A)* is Fredholm. The principal symbol of U('\)U('\r is 1cI> 12 (cf.
theorems 3.3.4 and 3.3.5). Hence the symbol p.- 1cI> 12 of p. - U(A)U('\)* is positive
in a neighborhood of V(n, 2) C Sn -1 X Sn -1. Let T be an operator with vanish-
ing symbol near V(n, 2). By lemma 3.5, T is compact. We may clearly assume that
the symbol X of ft- U('\)U(A)* +T is positive everywhere on Sn -1 X Sn -1. Now
theorem 3.3.4 and the compactness of the imbedding Hl(sn -1) C L 2(sn -1)
imply that fJT('\) = E('\) - I X(<P,w)E(,\) is a two-sided regularizer for
ft - U('\)U(A)* + T (i.e.
the product of these operators is zero, up to a compact
term). This, as is well-known (cf. [1], [17], [40]), implies that ft- U('\)U(,\)* is a
Fredholm operator. •
Thus we have:
The 0 rem 3.9. Every irreducible representation of the algebra @(A) is either
one-dimensional or the identity representation e(A). A one-dimensional representation
can be realized as a map 'IT(.p,w):U 1-+ <II(.p,w), where <II is the symbol of the class [Ul
in @(A)/su'2(sn-I), (.p,w) E V(n, 2). The correspondence 'IT(.p,w) 1-+ (.p,w), e(A)I-+A
~ ~
defines a bijection of the spectrum of @(A) onto @(A). The topology on @(A) coincides
with the Jacobson topology.
Pro p 0 sit ion 4.1. The algebra @(/x) is closed, hence a C*-algebra.
Proof. Let @(/x) be the C* -algebra generated by the restrictions U(x, .),
U E @. The image of the isomorphism @ :3 U t-> U(x,·) E @(/x) is closed (propo-
sition 1.1). Hence @(/x) = @(/x) . •
Pro p s i t ion 4.2. Let >'l,A2 E lx, Al =1= A2. The representations
0
Proof. Let a be a function defined and smooth on 0Jt \ x, and having a finite
limit f3(tp) when approaching x in the direction tp, f3 E C OO (S(0Jt)x). Clearly, the
operator of multiplication by a belongs to @. Hence we may assume that the
operators of multiplication by tpj' where tpj are the coordinates of the vector
tp E S (0Jt)x (in a fixed local system), belong to @(/x).
Let ~ EC OO (S(0Jt)x X S*(0Jt)x) and U(A) = E(A)-I~(<p,"')E{A). Obviously,
U E @(/x). The formula
holds (d. proposition 3.2.1). Replace in (4.1) ~(tp,,,,) by tpw~(tp,,,,). Taking into
account (1.4.1), which defines E(A)-I, and the relation
(tpw+iOYJl.tpw = (tpw+ioiCp-i), we find that U(A+i) =
= E(A + i)-ltpw~(tp,,,,)E(A + i) = (A + inI2)E(A)-I~(tp,"')E(A + i). Now (4.1) takes
the form
E"'-4t/>(A)-ltpw~(<p'''')~-4W'''j = (4.2)
= tpj(inl2 +A)E"'-4<j>(A)-I~(tp'''')~-4",(A + i) +
= -i(iA-I +nl2)E(A)-ItI>(<t>,w)E(A+i).
Multiply (4.3) by <t>j and subtract the result from (4.2). Then
Proof. Since representations U(x,.) ~ U(x, Ad and U(x,.) ~ U(x, 1.2 ) of ®(lx) are
irreducible, and inequivalent for distinct Aj,A2 (propositions 3.1 and 4.2), their
restrictions to ~(lx) n O>(lx) are also irreducible and inequivalent (proposition
1.7). Therefore 5to(lx) n ®(lx) is a rich sub algebra of ~(lx). This and proposition
1.9 imply ~(lx) n O>(lx) = ~{{)(lx) . •
198 Chapter 5.
Pro p 0 sit ion 4.4. The quotient algebra @(lx)/St'D(/x) and the algebra
C(S(~)x X S*(~)x) are isomorphic.
Proof. Put U(x,A) == ~jIIkE(A)-IcI>jkE(A) (the subscripts j,k run over finite
sets). By theorem 3.3.4, U(x,A) == E(A)-I~jIIkcI>jk(CP,w)E(A)+T(A), where
T E :JtD(/x)' This and corollary 3.4 imply
== 117I}cI>jk;C(S(~)x X S*(~)x)ll·
From this we find that the map ~O . . . i", where ~(A) == E(A) - I i"(cp, w)E(A),
defines an isomorphism between the quotient algebra @(/x)/'Xo(lx) and the alge-
bra C(S(~)x X S*(~)x) of continuous functions . •
Denote by @(/x) the union of the product S(~)x X S*(~)x and the line
Ix == R. We introduce a topology on ®(lx). If (CP,w) E S(~)x X S*('J1L)x, cpw ~ 0,
then a fundamental system of neighborhoods of (CP, w) consists of sets
CV(CP,w) U {AElx:A~N}, where CV(CP,w) is a neighborhood of (CP,w) in
S(~)x X S*(~)x, N E R. In case cpw == 0 a fundamental system of neighbor-
hoods is formed by the sets "\~cP,w) U Ix. A neighborhood of A E Ix is an interval
on Ix.
The 0 rem 4.6. Let U(x;) be an element of the algebra @(/x) and let
cI> E C(S('J1L)x XS*('J1L)x) be its symbol. Then:
§4. Representations of ®(ix) 199
l)the maps '/T(</>,,,,):U(x,)I-+Ii'(</>,"') and '/T(x,A):U(x,') 1-+ U(x,A) are pairwise ine-
quivalent irreducible representations of ®(ix);
2) every irreducible representation of ®(lx) is equivalent to one of the representations
in 1);
3) the correspondence ";.(</>, "') 1-+ (</>, "'), '/T(x, A) ': A E Ix defines a bijection of the spec-
trum of®(/x) onto ®(/x). The topology on ®(/x) coincides with the Jacobson topol-
ogy.
L e m m a 4.7. Let
where d", is the volume element on the unit sphere. On the line ImA = 0 we have the
estimates
Consider, e.g., the operator &+. Using a reasoning similar to the proof of proposi-
tion 1.3.1, we are led to
&+(A)v = l:l'm(A)VmkYmk>
m,k
where
while, here and below, the Cn denote constants whose absolute values depend on
the dimension of the space only.
In view of the formula r(l- z )r(z) = 'IT 1 sin 'lTZ, for
z = (-iA+m+1+nI2)/2wehave
x __________________~r~(cn~/~2_-~iA~+~m~)____________________
2mr«n 12- iA + m + 1) 1 2)T«n 12+ ill. + m)!2)sin {77{n!2 - ill. + m + 1)/2}
By the duplication formula T(2z) = 22z -I 'IT -1/2 T(z )T(z + 112), for
z = (- ill. +m +nI2)/2 we obtain
r(nI2- ill. +m)
r«nI2-iA+ m)/2+ 1/2)
= 2nl2-iHm y';T«n!2-iA+m)/2).
Thus,
x r«nI2-iA+m)!2)
r{{nI2+iA+m)!2)sin{'IT{nI2-iA+m + 1)/2}
In order to derive from this the estimate for the norms of the operator 0+ (A) it
remains to remark that for ImA = 0 the modulus of a quotient of r-functions is
one. •
and use the preceding lemma (compare with the proof of proposition 1.3). •
Proof 0 f the 0 rem 4.6. I) The truth of this assertion follows from pro-
positions 3.1 and 4.2.
2) Let 'TT be an irreducible representation of @(/x) such that 'TT('Xo(/x» = o. By
Corollary 4.5, 'TT is equivalent to a representation of the form U(x,') I-> «P(CP,w).
If 'TT('Xo(lx) =1= 0, then the restriction 'TT I~(lx) is an irreducible representation of
'Xo(/x) (proposition 1.2). As is well known (proposition 1.8), every irreducible
representation of 'Xo(lx) is equivalent to a representation Ti-> T(A), where
T E 'Xo(/x), A E Ix. In view of proposition 1.7 this means that the correspond-
ing representation 'TT of @(/x) is equivalent to a representation U(x,·) I-> U(x, A).
3) It suffices to verify that the topology on @(/x) coincides with the Jacobson
topology, since the first part of the assertion follows from 1) and 2).
By §1.5 a base of the Jacobson topology on the spectrum of an algebra @(/x)
is formed by the set of (equivalence classes of) representations 'TT for which
11'TT(U(x, '»11 > 1, where U(x, .) runs over a set that is dense in @(/x)'
CPowo > 0, in the topology of @(/x) and in the Jacobson topology coincide. This
assertion is similarly proved for points (</>o,wo) satisfying <Powo < O.
Let </>owo = 0, cI> E C OO (S(0R)x X S*(0R)x), cI>(</>o,wo) > 1, and
U(A) = E(A)-IcI>E(A). In (3.4), g is understood to be an arbitrary homogeneous
function of degree zero. Choose g such that the equation Wo = Y'g(CPo) is fulfilled.
Letting p. tend to infinity leads to the inequality IIU(A)II = 11'7T(X,A)UII > 1 for all
A E Ix. Hence a neighborhood of (CPo,wo) in the Jacobson topology is a neighbor-
hood also in the topology of @(/x). The converse assertion is obvious. •
Un(X,A) = ~IIE(A)-IcI»Z)E(A),
j k
where cI>jZ)(x,') E C OO (S(0R)x X S*(~M. For all x E 0R., except for a finite set,
the maps (CP,w) 1-+ cI>jZ) (x, CP,w), (CP,w) E s(,!m.)x X S*(~)x, do not depend on cpo
For such x,
§5. Proof of theorem 2.1 203
and
(5.1)
where If>n = ~jIIklf»k)' We will denote :he space S(~)$S-em.) ~th the topol-
ogy ':r(S,S-) induced by the topology on @ (cf. §2) by IJR, while C(IJR) will denote
the corresponding space of continuous functions. Formula (5.1) implies that
Illf>n;C(IJR)11 ~ IIUn;@II. Hence also for a limit element U E @ there is defined its
symbol If> E C (IJR). It is obvious that to the product of two elements U, IS in @
corresponds the product If>i' of their symbols.
where U E ®, x E ~.
where «Pjk(X,·) E COO(S(WC)x X S*(')JL)x), «Pjk E WC, while the subscripts j,k run
over finite sets. Fix an arbitrary point x. By theorem 3.3.4, the operator U(x, A)
can be rewritten as
= 7
11 IJ«P jk (x, .); C(S * (0lL)x) 1I·
If the nonsingular point x tends to a point Xo that is singular for ~jIIk«Pjk along
a direction cp E S (0lL)xo' then, uniformly in cp,
lim IIE(A)-I
X-HO
~II«Pjk(x, .)E0)11 =
j k
§5. Proof of theorem 2.1 205
So, the function iJLu is continuous at every point x that is nonsingular for the
symbol ~jIIk(ljk' while at singular points the relation limx->xo iJLu(x).;::;; 'VLtt(xo)
holds. Thus, the lemma has been proved for the operators (5.2). In order to com-
plete the proof it remains to use the denseness of the set of operators (5.2) in the
algebra @. •
~ ~7Jiix)supllU(x,A)-~ix,A);L2(S(~)x)~L2(S(~)x)11 < (.
j hE1x
Hence IIU-~;®II < f. The assertion of the lemma now follows from the fact
that I is a closed ideal. •
Denote, as before, by ®(/x) the algebra of restrictions {U(x, -): U E®} to Ix of
the elements of ®, and by Y the set of points x E ~ for which Ix =F ®(lx).
Proof. Assume the opposite holds. Let Xl,X2 be two distinct points in Yand
let U I, U 2 be disjoint neighborhoods of them on '!)]t. Denote by ~J{i the closed
two-sided ideal in ® formed by the functions which vanish outside U;, i = 1,2.
Clearly, :JCI:JC2 = °
c I. Then, by proposition 1.3, at least one of 'J{j is contained
in I. If 'J{I C I, then (:JCI)x, C I x I ' which is impossible since, on the one hand,
('J{I)xl = ®(lx,), and on the other hand XI E Y . •
Let '!T be an irreducible representation of ® whose kernel is I, and let X 0 E '!)]t
be a point for which Ixo *-
®(/xo) (by lemma 5.4 there is at least one point with
this property). If U, IB are elements of ® such that U(x 0,·) = lB(x 0, .), then
'!T(U) = '!T(IB), by lemmas 5.3 and 5.4. This allows us to consider '!T as a representa-
tion of the algebra ®(/xo) of restrictions to lxo of the elements of ®. This and
theorem 4.6 imply
where x E '!)]t and P is a continuous function with compact range, given on lxo and
tending to zero at infinity (in the operator norm in L 2(S ('!)]t)xo)j. Then U E 0).
lxo with P. Let {rn} be a sequence of C OO ('!J1t) functions, 0:0;;;; rn :0;;;; 1, rn(XO) = 1,
with, moreover, the support of rn contracting towards Xo. We will show that the
sequence {rn'3'} converges in ®, and that limrn'3' = U. Let
~(X,A) = ~jIIkE(A)-l()jk(X, ·)E(A), where ()jk E IDe, be a combination of genera-
tors of ® such that 11'3'-~;®11 <f. The operator '3', as does every element of ®,
has a symbol, ()<:J> E C(IDe). Clearly, ()<:J>(xo,·) = 0, since in the opposite case we
cannot have P E 9\o(lxo). This and the inequality
« «,
A
imply
11()<:J>-~jIIk()jk;C(IDe)II:O;;;; 11'3'-~;®11 l~jIIk()jk(X,·)1 which holds
for all x in a neighborhood U of x o. We have
IIrn'3'-rm'3';®II:O;;;; (5.5)
Together with (5.5) this leads to IIrn'3'-rm'3';®11 < 3(, for sufficiently large m,n.
Thus, {rn'3'} is a Cauchy sequence in ®. The relation limrn'3' = U clearly
holds. •
We return to the description of the Jacobson topology on the spectrum of the
algebra cU:J{1d'!J1t). Recall that a base for this topology is formed by the sets
{"7T: 11"7T(~)11 > I}, where ~ runs over some dense subset of ®. We must prove that
the topology of ®, described in §2, coincides with the Jacobson topology.
Ao
A
U(X,A) = ~IIE(A)-1cfljk(x,.)E(A),
j k
where cfljk E ~. Put cfl = };j1hcfljk; we will assume that I cfl(xo,</>o,Oo) I > 1.
We verify that every neighborhood of (xo,</>o,Oo) in the Jacobson topology is a
neighborhood of this point in the space @. As has been shown in the proof of 3)
of theorem 4.6, a set {AElxo: IIU(xO,A)11 > I} either coincides with Ixo (if
<PaOo = 0) or coincides with an interval {AElxo: A ~ N} (if <PaBo ~ 0).
The set {(xo,</>,O): I cfl(xo,</>,O) I > I} contains a product V(</>o) X G[Jf, where
V(</>o), GlJf are neighborhoods of </>0, 00 on the spheres S(~)xo' S*(~)xo' respec-
tively.
The part of the bundle S(~)$S*(~) above a neighborhood U of a point Xo
can be represented as the product U X Sn -1 X Sn -1. Since cfl is a continuous
function in the topology '!r(S,S*), the inclusion
{(x, </>,0): Icfl(x,</>,O) I > I} ::> {(x, </>,0): xEK(</>o), </> E sn-l, 0 E G[Jf(00)} holds.
Here K(</>o) is a subset of U whose image under some coordinate map IC: U ~ IR n is
the intersection of an open cone, with vertex at K(XO) and containing all directions
from IC'(XO)(V(xo», and an open n-dimensional ball with center at IC(XO)'
Finally, if x E K(</>o), 0 E G[Jf(00), we can choose </> E Sn -1 such that <PO = o.
Since I cfl(x,</>,O) I > 1, the inequality IIU(X,A);L2(S(~)x)~L2(S(~)x)11 > 1
holds on all of Ix (cf. the proof of 3) the theorem 4.6).
All this implies that a neighborhood {w: Ilw(U)II> I} of a point (xo,</>o,Oo) in
the Jacobson topology contains a neighborhood of this point in the topology of @.
~
such properties exists in IDl. Put ll(x,X) = E(X) -1 cfI(x, ·)E(X). In view of the ine-
quality II'/T(x, </>, O)U II = IcfI(x, </>,0) I an element (x, </>,8) which belongs to a Jacob-
son neighborhood of (xo,</>0,80) belongs to ~ also.
If </>080 = 0, then ~ contains the whole line lxo and the lines lx,
x E p(~) n '!)TL (p: S ('!)TL)EB S" (~1L) ~ '!)TL is projection). Clearly, in this case ~ con-
tains also a neighborhood {'/T: II'/T(ll) II > l} of (xo,</>0,80) in the Jacobson topology.
If, however, </>080 ~ 0, a part {X Elxo:X ~ N} of lxo belongs to ~. By lemma 4.8,
IIU(xo,X);L 2(S ('!)TL)x) ~ L 2(S ('!)TL)x) II ~ 0 as X~ -+-00. Therefore, by adding to II
the operator (5.4) from proposition 5.6 (with a suitable P) we obtain that the ine-
quality IIU(xO,A)11 < 1 holds on the part of lxo not belonging to~ . •
The 0 rem 5.7. Let te and ® be the same algebras as in theorem 2.1. An opera-
tor A E te is Fredholm if and only if for every irreducible representation '/T of ® the
operator '/T(A) has a bounded inverse on the representation space H'IT'
Proof. An operator A is Fredholm if and only if its residue class [AJ is inverti-
ble in the Calkin algebra e(L 2('!)TL)/:JUd'!)TL). (Here e(L 2('!)TL» is the algebra of
bounded operators on L2('!)TL).) The element [AJ is invertible simultaneously in the
algebra e(L 2('!)TL»IXL 2('!)TL) and in the subalgebra cUXL 2 ('!)TL) ~ ® (proposition
1.11). It remains to use proposition 1.10. •
Clearly, e becomes a locally compact space, and every line Ix (with the ordinary
topology) is an open subset of e.
Let Qx be a compact subset of lx, and let Q = U xQx, where x runs over a
finite point set in 0lL. Sets e \ Q form a fundamental system of neighborhoods of
the point at infinity, 00, in e. The point 00 clearly does not have a countable fun-
damental system of neighborhoods, hence e is not metrizable.
We introduce the algebra :Jfo(e) of operator-valued functions
At-+ U(x, A) E :J{L2(S (0lL)x), A E lx, given on e, continuous (in the operator norm),
and tending to zero at infinity.
Pro p 0 sit ion 6.1. Let U E ~(f), and let f be an arbitrary positive number.
Then everywhere on e, except possibly on a finite set of lines, the following inequality
holds:
(6.1)
Pro p 0 sit ion 6.2. 'Ji{)(f) is a closed two-sided ideal of the algebra @ of opera-
tor symbols.
@/:Jfo(e) ~ C(UR).
where j,k run over finite sets. (The operator symbols of the form Ujk ~enerate the
algebra ®.) Then for anyone-dimensional representation 7T(m), mEl))(, of ® the
following inequality holds:
(6.3)
The symbols cI>jk have at most finitely many points of discontinuity. At every
point x E 0lL at which all cI>jk are continuous,
= max I~IIcI>jk(x,cp,()I.
<p,e j k
Taking into account (6.2) and (6.3), we thus obtain that SUPAEI, IIU(x, A)II <
°
£
everywhere except possibly on a finite set of lines Ix. Thus, for any £ > there is
in e a neighborhood of 00 in which (6.1) holds. Therefore U E :J{{j(e), and h is a
monomorphism.
If cI> E I))( and U(x, A) = E(A) -1cI>(x, cp,8)E(A), then h([U]) = cI>. The set I))(
generates C (I))(). This and the fact that h is isometric gives that h is an epimor-
phism . •
Denote by com 1.8 the closed two-sided ideal of an algebra 1.8 that is generated
by the commutators of the elements of 1.8.
Proof. The ideal com @ is the intersection of the kernels of all irreducible
one-dimensional representations of @. The algebra :J{{)(e) does not have nonnull
212 Chapter 5.
O~ %L 2('JJt)
~ti!
~ ~ @
t
~ 0
~ t
C(WC)
t'" 0
0
All straight paths ('without comers') in this diagram are made up by exact
sequences.
Finally we note that all values of an operator symbol U E @ are compact
operators if and only if U belongs to the kernel of every representation 7T(m),
where m is a point of siR of the form (x,cp,O), cp E S('JJt)x, 0 E S*('JJt)x, and
cpO = O.
§7. Spectra. Manifold with conical points 213
°
§4.4). In particular, we consider the case when at a nonsingular point x(O) E ~
the weight takes the value or 00, while the symbols of the operators remain
smooth. It turns out that also in this case infinite-dimensional representations
appear - the functions space 'is to blame' - but they are 'twice as small' in com-
A
parison with the discontinuous situation (instead of the line Ix(O) the space ® con-
tains a half-line, cf. theorem 2.1).
The presence of conical points does not lead to new substantial problems.
Therefore we consider in detail only the above-mentioned effect of the appearance
of infinite-dimensional representations because of singularities of the weight. (In
particular, we consider the local algebras ®c(A) for complex A on the line
{AEC: ImA=,8o}, where,8o is the exponent of the weight at x (0).)
We begin with studying the local algebras. Then we give a description of the
spectrum of the algebra of pseudodifferential operators on a manifold with conical
points. Finally we investigate the one-dimensional case: singular operators on a
composite contour.
Pro p 0 sit ion 7.1. IfImA =1= 0, then ®c(A) is an irreducible algebra.
The proof proceeds in several steps.
I. We show that every nontrivial invariant subspace Xc L 2{sn-l) for ®c{A)
contains a Coo (Sn - 1) function f that is not identically equal to zero.
The operator K = i(F.(A)-l(>(w)E(A)-E(~)-l(>(w)E(~», where (> is a real-
214 Chapter 5.
valued function, is selfadjoint and belongs to @Se(A). By proposition 3.2.2 its order
does not exceed - 1. Denote by JL an arbitrary nonzero eigenvalue of K and by
5<;. the corresponding eigenspace. The projection operator p:L 2(sn -I) ~ 5<;. is an
element of @e(>"). Since K is a smoothing operator, all functions from ~ belong
to coo(sn-I). Since PSC ex!' n X, any nonzero element of PSCcan be taken as
the function f In case PSC = 0 the subspace X must be replaced by its orthogonal
complement Xl.., which is also invariant under @e(>").
II. In this step we show that there is a function U E coo(sn -I) in X for which
(E(>..)u)(c/lo) =1= 0, where c/lo is a given point on the sphere.
Letf EX n coo(sn-I),f;;s O. Put u = E(~)-l4l(w)E(~)f, where the smooth
function 4l is chosen to satisfy: 1) E(A)f =1= 0 on supp 4l; and 2) CPo fl supp 4l. (In
view of the fact that all operators E(~)-14lE0) belong to @Se(>"), the subspace
E(>..)'JC is invariant under multiplication by smooth functions.)
We have E(A)U = E(A)E(~) - 14l E(~)f The operator E(A)E(~) -I can be written
as
E(>")E0)-lv = f G(CP,l/I;>..)v(l/I)dl/l,
s" -1
where
t -i;\+nI2-2'T-I
f
00
G('" ""A) - dt
't','/', - 0 ItCP-l/II n - 2'T '
7' = 1m>.., CP,I/; E Sn -I, while the integral is understood in the sense of analytic
extension in >.. (cf. Chapter 3, §1.3).
So,
(E(>..)u)(c/lo) = f
s" -1
G(CPo,w;A)4l(w)(E(~)f)(w)dw. (7.1)
number).
III. The previous step implies that the subspace E(A)X contains a smooth func-
tion that is distinct from zero everywhere on the sphere. Thus,
Coo(sn -I) C E(A)X. This implies that X = L2(Sn -I). We have obtained a con-
tradiction, which proves the proposition. •
Pro p 0 sit ion 7.3. Let ImA,#O, A'# -+-i(k+nI2), k = 0,1,···, and
U(A) = E(A)-lcp(w)E(A). The map U(A)I-+CP induces an isomorphism between the
algebras ®c(A)/:J{L2(sn -I) and c(sn -I). In particular, the norm of a residue class
[Ul is equal to IICP;c(sn-I)II.
T E :J{L2(Sn -I).
Formulas (3.5) and (3.7) are also true in the case considered; their righthand sides
must be replaced by IICP;c(sn-I)11 (in the proofs obvious changes must be intro-
duced). Hence
(7.3)
The 0 rem 7.4. Every irreducible representation of the algebra (~\(A) is either
one-dimensional or the identity representation e(A). A one-dimensional representation
can be realized as a map 7T(W):UI->~(w), where ~ E coo(sn-I) is the function
corresponding to the residue class [U]. The correspondence '1/"(W) I-> W, e{A) I-> A defines
A A
a bijection of the spectrum of fJJc(A) onto @\(A). The topology on @\(A) coincides with
the Jacobson topology.
The proof is obtained from proposition 7.3 by standard reasoning. •
*
2. The algebra @\(mp). Let mp = {AEC: ImA=,8} and @c(mp) the algebra gen-
erated by the functions AI->U{A) = E(A)-I~(w)E(A) on m{3, ,8 +(k +nI2),
k = 0,1, .... The norm in @c{mp) is defined by
Denote by 7T(A) the representation U I-> U{A) of @c{m{3) in L 2 (sn -1). For real
*
A all representations 7T(A) are equivalent. They are reducible, since for A real @cCA)
is a commutative algebra. If, however, ImA 0, then 7T{A) is an irreducible
representation in L 2 {sn -I) (cf. proposition 7.1).
Note that
since f(Z) = f(z ). It remains to take into account that the spherical harmonics
{Ymd form an orthonormal basis in L 2 (Sn + I). •
Pro p 0 sit ion 7.6. Let p" v be two arbitrary, but distinct, points on m p,
f3 =1= 0, nonsymmetrically located about the imaginary axis. Then the representations
'1T(p.) and'1T(v) are inequivalent.
Proof. Suppose the assertion is false, and that there exists a unitary operator
V:L2(sn-I)~L2(sn-l) such that '1T(p.)U = V- I'1T(v)UV for all U E @c(mp).
We show that every intertwining operator must have the form E(v)-IX(w)E(p.),
where X is a smooth function that does not vanish and is of constant modulus.
Put
(7.4)
'*
Let {gi} be a finite set of rotations of the sphere Sn -I such that the sets
{I/! E Sn -I: h (gil/!) O} cover the sphere. Denote by {fd a partition of unity
subordinate to this cover. Replacing in (7.5) 4> by fil(g7h) and h by g7h, where
(g7h)(I/!) = h(gil/!), and adding the equations obtained, leads to
(7.6)
+ (J1.)l-'m(v) I
II-'m2
I-'m +2(V)l-'m{J1.) -
(7.7)
where I-' = 0+ iT, v = 01 + iT. The expression in (7.7) can be equal to one only if
(m +nl2)(O-OI)+T(O+OI) = (7.8)
Cor 0 II a r y 7.7. Let @c(mt ) be the algebra generated by the restrictions of the
elements U E @c(m,8) onto mt = {AEm,8: ReA;;;'O}, with norm
The proof is the same as the proof of lemma 4.3. We must only replace @(/x)
by @c(mp), and use propositions 7.1 and 7.6 instead of 3.1 and 4.2 . •
Pro p 0 sit ion 7.9. Suppose the operatorjunction At-+ U(A) = E(A)-Iq,(w)
E(A) belongs to the algebra @c(mp). Then the map U t-+ q, induces an isomorphism of
the quotient algebra @c(mp ) 1'Xo(mp ) onto c(sn -I).
Proof. Put IB(A) = }';jIIk IBjk (A), where each of the operators IBjk (A) is either
the operator E(A)-Iq,jk(W)E(A) or the operator
E(X)-I()jk(W)E(~) = (E(A)-Iq,jk(W)E(A))*. Using the relation
E(X)-Iq,jk(W)E(~) = E(A)-I«pjk(W)E(A)+T(A) with T(A) E ~(mp) (proposition
3.2.2), we find
inf + SUP+IIIB(A)+T(A)II;:.;;.II}:II«Pjk;C(sn-I)II.
TE:KD(m,B) AEm,B j k
The proof of this assertion differs little from the proof of theorem 4.6 (we
do not need lemmas 4.7 and 4.8 in this case), and is left to the reader. •
3. The algebras ~(A),~(mlJ) related with a conical point. These algebras play the
same role for a conical point as the algebras @(i\), @(/x) in §3 and §4 for a non-
singular point x E ~. Irrespective of the fact that the real line Ix is replaced by a
line mf3 = {i\EC: Imi\=fi} (the case fi = 0 is not excluded), the dependence of
symbols on two vectors - the tangent and the cotangent (and not just the
cotangent) vector - makes the algebras ~(i\), ~(m f3) resemble more the algebras
@(i\), @(/x) mentioned than the algebras from the previous sections 1 or 2 of this
paragraph. If ~(i\), ~(mf3) are considered for a nonsingular point x E ~ (they
differ from @(i\), @(/x) by the replacement of Ix by m f3 only), the results of §3, §4
can be literally transferred to ~(i\), ~(m f3). The study of ~(i\), ~(m f3) for a coni-
cal point reduce also to this situation (in view of definition 4.2.1); it requires
almost no additions to the assertions in §3, §4. Therefore we confine ourselves
here to statements only (for a more detailed account see [57]).
Let X be a conical manifold, and Y a fixed, smooth, directing submanifold with
measure v. Denote by ~(i\) the algebra generated by all operators U(i\) (U a mero-
morphic pseudodifferential operator of order zero) on L 2(Y,dv). For every i\, the
identity representation of ~(i\) is irreducible. Every compact operator on L2(Y,dv)
belongs to ~(i\).
Let cp be a unit vector in the directing cone, T; the cotangent space containing
the dual vector </:, V the set of all pairs (cp,O), where () is a unit vector in T; for
which, moreover, cpO = O. The following relation holds for the operators in CI(i\):
222 Chapter 5.
where (I is the symbol of U. Therefore the map <I(A)/:J\L 2(Y,dv) ~ C(V), assign-
ing to a residue class the symbol of an element representing this class, is an iso-
morphism of the algebra C£(A)/:J\L 2(Y,dv) onto the algebra C(V) of continuous
functions.
Put <I(A) = V U {A}. We will assume that {A} is an open set, while a funda-
mental system of neighborhoods of a point (cp,8) E V is constituted by sets of the
form Gl.n(cp,O) U {A}, where (111)(cp,8) is a neighborhood of (cp,O) on V.
The 0 rem 7.11. Every irreducible representation of the algebra C£0) is either
one-dimensional or the identity representation e(A). Anyone-dimensional representa-
tion can be represented as a map 7T(cp, 0): U ~ (I(cp, 0), where (I is the symbol of the
class [Ul E C£(A)/SIL2(Y,dv), (cp,8) E V. The correspondence 7T(cp,O) 1-+ (cp,8),
~ ~
e 0) 1-+ A defines a bijection of the spectrum of I£(A) onto C£(A). The topology on I£(A)
coincides with the Jacobson topology.
Introduce the algebra <I(mp) of operator-functions on the line
mp = {AEC: ImA=,B}, generated by the meromorphic pseudodifferential opera-
tors of order zero, with norm IIU;<I(mp)11 = sup"IIU(A);L2(Y'dv) ~L2(Y,dv)ll.
Let S"(X) be the cotangent sphere bundle over X\ 0, and let S"I Y be the part of
S"(X) above t~e directrix Y of the cone X. Put <I(mp) = S"I y U mp. We define
a topology on <I(m p). A fundamental system of neighborhoods of a point A E m p
is constituted by the open intervals containing A. Let cp E Y and w a unit vector
r;" i.e. (cp,w) E S" I y. It is obvious that cp may be regarded to be a tangent
°
in
vector to X. If cpw > (respectively, cpw < 0), a fundamental system of neighbor-
hoods of (cp,w) is constituted by sets G(Jf U {AEmp: ReA>N} (respectively,
G(Jf U {AEmp:ReA<N}), where G(Jf is a neighborhood of (cp,w) on S"I y and N is
a real number. If cpw = 0, a fundamental system of neighborhoods is constituted
by sets G(Jf U mp.
The 0 rem 7.12. Let U be an element of the algebra <I(mp), and let (I be its
symbol. The follOWing assertions hold.
1) The maps 7T(cp,W):U ~ (I(cp,w) and 7T(A):U ~ U(A) induce irreducible representa-
tions of C£(m p). Any two of them are inequivalent.
§7. Spectra. Manifold with conical points 223
~(mp) onto ~(mp). The topology on ~(mp) coincides with the Jacobson topology.
v
4. 100 main theorem. In this section we state the main theorem. Let ~ be a Coo
manifold with finite set Q = {x(l), ... ,x(l)} of conical points (cf. Chapter 4,
§3.1). For symplicity of description we will assume that in a neighborhood of a
point x(j) E Q the manifold ~ coincides with a cone Xj , j = 1, ... ,1. Introduce
the set IDl of functions q, that are given, and are smooth, on S*(~ \ Q) except at
a set S*(~ \ Q) Isingq,; here S*(~ \ Q) is the bundle of cotangent unit vectors
over ~ \ Q, and sing q, is a finite subset of ~ \ Q depending on q,. At the points
x E sing q, the function q, is allowed to have discontinuities of the first kind (cf.
Chapter 4, §4.1). In a neighborhood of a conical point x(f) E Q a function in we
is a smooth map (cp,O) ...... q,(cp,O), where cp is a unit vector in the directrix of the
cone 10, 0 is a unit vector in T;, and T; is the cotangent space containing the
vector cp* (dual for CP). We will also assume that singq, n P = 0 for a fixed
finite set P = {y(l), ... ,y(k)} c ~\Q and any q, E IDl. We may assume that
functions in IDl are given on the disjoint union we of the Whitney sum
A
we.
A
hold.
A
1) The maps 7T(m):AI-+W(m), m E ffi1, 7T(X,h):AI-+ U(X, h), h E l;v x E '!)]t. induce
pairwise inequivalent irreducible representations of the algebra (lI'JfH .B,B(~).
2) Every irreducible representation of if / 'JfH .B,B(~) is equivalent to a representation
listed in 1).
3) The correspondence 7T(m)l-+m. 7T(X,h)l-+h E Ix is a bijection of the spectrum of
A A
We will now assume that the coefficients of all singular integral operators con-
sidered are continuous at a certain regular point Zo E r. Put
Po(z) = IZ - Z 0 I 0 p(z), where 2.80 E ( - 1, 1). Introduce the algebra cfo generated
6
imaginary axis, while if ~o = 0 we discard the line Izo' The set obtained from ®
by these operations will be denoted by ®o; it is endowed with the quotient topol-
ogy.
The 0 rem 7.15. All assertions of theorem 7.14 remain valid if ce, ® are replaced
by cfo, ®o, the representations 7T(Z 0, + , -+-), 7T(Z 0, - , -+-) in 1) by the representations
7T(z6 ):AI-+a(zo)+b(zo), 7T(ZO ):AI-+a(zo)-b(zo), and the correspondences
7T(Z 0, -+-, -+-) 1-+ z6=± in 3) by the correspondences 7T(Z6=) 1-+ z6=.
Some remarks concerning the proof. The first assertions in theorems 7.14
and 7.15 must be proved without recourse to propositions 3.1, 4.2, etc. Moreover,
the first assertion of theorem 7.14 is almost trivial, the inequivalence of represen-
tations 7T(Zv,A) for distinct A can be established by comparing traces. This manner
is not suitable for the representations 7T(ZO,A) in theorem 7.15 (for every singular
integral operator A, the traces of the matrices 7T(Z o,A)A for distinct A coincide).
We verify the part of the first assertion of theorem 7.15 that is related to the
representations 7T(Z O,A).
We first prove that a representation 7T(ZO,A) is irreducible if and only if
{J = 1m A =1= 0 (it is also assumed that I1m AI < 1). The algebra 7T(Z 0, A)ce is gen-
erated by the matrices
§7. Spectra. Manifold with conical points 227
where 0 = ReA, are eigenvectors for U{A) and correspond to the eigenvalues
ILl = 1 and IL2 = - 1. The scalar product of these vectors equals; for p = 0 these
vectors are clearly orthogonal.
We now prove that for P =F 0 two representations 7T(ZO,AI) and 7T{ZO,A2) are
equivalent if and only if ReAl = - ReA2. Suppose that the representations are
equivalent, i.e. 7T{AI)A = U- I7T(A2)(A)U, where U is a unitary operator. Then
the vectors U/J(AI) and U!2(Al) are eigenvectors for U(A2) and correspond to the
eigenvalues 1 and - 1. Hence they can differ from the vectors fl (A2) and !2(A2)
by factors whose moduli are 1 only. Thus, I(f1(A2),!2{A2)) I = I(f1{AI),!2(AI)) I;
however, this is possible only if ReAl = - ReA2. If the last equation is true, then
the linear operator U mapping jj(AI) to jj(A2), j = 1,2, is unitary. Since the
jj(A) are eigenvectors for U{A), U is intertwining for the representations 7T{AI) and
7T(A2)·
Note that similar considerations may be used also in the higher-dimensional
situation in order to prove proposition 7.6. (The eigenvector of the operator
E",~tj>{A)-I«p(w)~~",{A) corresponding to an eigenvalue «P{wo) has the form
~~",{A)-I~{l/I,wO)' where ~(l/I,wo) is the Dirac-function on sn -I concentrated at
Wo .)
It is left to the reader to become convinced of the fact that for P = 0 all
representations 7T{Z O,A) are equivalent (and split in a sum of two one-dimensional
representations).
The proof of assertions 2) and 3) in theorems 7.14 and 7.15 can be given along
the general scheme (ef. §5).
228 Chapter 5.
where
I
uq(l/I) = jr-2wiq-Iu(r,l/I)dr.
1
Note that the operator A(A)*, adjoint to A(X) with respect to the duality
Idr __
<u,v> = j - j u(r,q,)v(r,q,)dq"
1 r S·-I
differs from the operator u 1-+ }:qr 2wiq E(A + 2'1Tq)iP(r, q"Co»E(X + 2'1Tq)uq by a compact
term only (theorem 3.7.5).
Pro p 0 sit ion s 8.1. For every X E iii the algebra 19(X) is irreducible.
Proof. Irreducibility of the algebra is equivalent to the fact that every nonzero
vector u E L 2(IT) is totaIizing (§1.4). Let uqo E L 2(Sn -I) be a nonzero Fourier
coefficient of a vector u. Denote, as before, by ~(IIi) the algebra of functions on
iii with as values compact operators in L2 (sn -I) and tending to zero at infinity.
Take for U in (S.l) the element of ~(IIi) such that U(A+2'1Tqo) = ("uqo)uqo and
U(X+2'1Tq) = 0 for q =f= qo. By lemma 4.3, the corresponding operator A(X)
belongs to 19(X). Clearly, A(A)u = r2wiqOuqo' The algebra generated on L 2(sn -I)
by the operators E(X) - I iP(q" Co))E(A) is irreducible, for every X E iii (proposition
3.1). The operator of multiplication by r2wiq belongs to 19(X). This and all that has
been said above imply that U is totalizing for 19(X). •
Hence the map A t-+ c{l establishes an isomorphism between the quotient algebra
(9(A) / %L 2(II) and C (d X Sn -I X Sn -I).
n
v(n)(r) = L ckn)r27Tik,
k=-n
with 1v(n)(r) 12 / r ~ 8(r - ro), where 8 is the Dirac 8-function. (The Fejer kernel
can be used to construct a sequence {v(n)}.)
We will assume that <t>owo =1= o. If 4'owo > 0 (respectively, <t>owo < 0), we
choose a function g, smooth on IR n \ 0 and homogeneous of degree zero, and a
sequence {/Lq} of numbers /L q ~ + 00, such that the vector /Lq Vg(<Po)+(A+27Tq)q,O
is parallel to Wo for all q = 1,2, . .. (respectively, q = - 1, - 2, .. '). (Note
that since g is homogeneous, vectors Vg(q,) and q, are orthogonal.) Theorem 3.5.1
implies that for u Ecoo(sn-I),
holds for all rand cp; here, T("A,q,cp) = ILq'Vg(cp) + (;\+ 27Tq)cp. This inequality can
be rewritten as
Since
2. The algebra 0(S). Let S be a circle, which can be represented by the interval
o..; ;\ ..; 27T with ends identified. Introduce the algebra 0(S) generated by the
operator-functions S :3 ;\I-+A(A) of the form (8.1), with norm
IIA;0(S)11 = sUPAIIA(;\);L2(II) ~L2(II)II. By 7T(A) we denote the representation
AI-+A(A) of 0(S) in L2(II).
Pro p 0 sit ion 8.4. If ;\,Jl are distinct points on S, then 7T(;\) and 7T(p,) are ine-
quivalent.
Proof. Suppose there is a unitary operator V:L 2 (II) ~ L 2(II) such that
V-I A(p,)V = A(A) for all A E 0(S). Let also Pq be projection of L 2 (II) onto the
subspace Hq of functions (r, cp) 1-+ r 2'1Tiq u (cp), U E L 2 (Sn -I). Consider the subalge-
bra of 0(S) generated by the operator-functions (8.1) in which
§8. The spectrum. Oscillating symbols 231
U(A) = E(A)-I(I(cp,w)E(A) «(I independent of r). For the elements of this subalge-
bra we have V-I A(,u.)VPo = U(X)Po, hence A(,u.)VPo = VPoU(X)Po. Letting Pq
act on both sides gives
A(v)*v = ~r2'ITiqU(v+2'1Tq)*vq.
q
(8.5)
Consider the representations U 1-+ U(X), U 1-+ U(,u.+ 2'1Tq) in L 2(sn -I) of the alge-
bra generated by the operator-functions R 3 v 1-+ U(v). Equations (8.4), (8.5) imply
that either these representations are equivalent, or PqVPo = O. Equivalence of
these representations means that p.+ 2'1Tq = A (proposition 4.2), and since both A
and p. belong to S, we find q = 0 and A = p.. But, by requirement, A =f= p., hence
P qVPo = 0 for all q. The last equation contradicts the unitarity of the operator
V. •
The verification of the following assertion is similar to the proof of lemma 4.3.
Pro p 0 sit ion 8.5. The following inclusion holds: 9{(S) C 0(S), where 9{(S) is
the algebra of continuous functions on S with compact values (in :J(I.dII»).
Pro p 0 sit ion 8.6. Let A(X) be an operator of the form (8.1). The map A 1-+ cI>
establishes an isomorphism between the algebras 0(S) I9{(S) and
C(dXS n - 1 XS n - 1 ).
Proof. Put B(A) = ~jIIkAjk(A), where every operator Ajk is either an operator
of the form (8.1) or the adjoint of such an operator. By theorems 3.7.4, 3.7.5,
B(A)V = ~qr2'ITiql8(r,A+2'1Tq)vq+T(A)V, where l8(r,A) = E(A)-I~II(ljk(r,cp,w)E(A)
and T E 9{(S). This and proposition 8.3 imply the inequality
in! IIB(A)+T(A)II
TEX(S)
= sup I~II«Pjkl.
j k
Hence, for any £ > 0 we can indicate a finite covering of S by open intervals
Aa and a family of operator-functions Ta EO :J{(S), a = 1, ... ,m, such that
IIB{A)+Ta{A)II';:;; sup I~jrrk«pjk I +£ for all A EO Aa. Let gal be a partition of
unity subordinate to the cover {Aa}. Put T{A) = ~ta(A)Ta(A). Then T EO :J{(S)
and IIB(A)+T{A)II.;:;; sup I~jrrk«pjk I +£. This means that equality holds in (8.6) .
•
3. The algebra of pseudodifferential operators with oscillating symbols. Let if be
the algebra of pseudodifferential operators introduced in Chapter 4, §4.6. (In the
sequel we will use the notations from that section.) Let also T o{~) be the bundle
of nonzero cotangent vectors over ~ and let G be the multiplicative group of the
numbers en, n an integer, acting as an automorphism group of T o{~) preserving
fibers. Denote by T o{~) / G the quotient space obtained from T o(~) by factoriza-
tion with respect to the action of G, and by ~ the Whitney sum
(To(~)/G)$S*(~). To every function «P EO W a map «P:t_c is associated.
°
Locally this map can be regarded as a map (x, r, 1>,0) t-+ «P(x, r, 1>,0), where x EO ~
1> EO S(~)x, EO S*{~)x, and r is a point of the interval d. If x tf. sing«P this
map is independent of «P and r.
e
Put (9 = {(T 0 (~) / G) E9 S * (~)} u e, where is the disjoint union of a set of
circles Cx enumerated by the points of ~. Every circle can be regarded as the
interval 0.;:;; A';:;; 2'17 with ends identified. We define a topology on (9. The part of
(T o(~) / G) $ S * (~) lying above a neighborhood G(L of a point x 0 EO ~ will be
represented as a set of quadruples (x,r,1>,O). Let CV{cf>o) and 611)(00 ) be neighbor-
hoods of the points cf>o and 00 on the unit spheres, let K(1)o) be a subset of G(L
whose image under some coordinate map K:G(L_lR n is the intersection of an open
cone with vertex at K(XO) and containing all directions from K'(XO)(CV{1>o», and the
open n-dimensional ball with center at K(XO). Let also Q(ro) be an £-neighborhood
of a point ro on d. We denote by K(cf>o,ro,£) the subset of points of K(cf>o) satisfy-
ing one of the membership relations emdist(xo,x) EO Q(ro), m = mo,
mo + 1, .... A typical neighborhood in (9 of a point (xo,ro,1>o,Oo) is the union of
the sets {xo} X Q(ro) X '\'{cf>o) X 611)(00 ), K(1)o,ro,£) Xd X Sn -] X 611)(00 ), and the
circles c Xo and cx, x EO K(cf>o,ro,£). A neighborhood of a point A EO Cx is an open
§8. The spectrum. Oscillating symbols 233
Denote by x::!:: the characteristic function of the semi-axis R::!::, and put
(P::!::u)(x) = X::!::(xn)u(x',x n), x = (x',x n) ERn. The following formulas hold:
(1.2)
235
236 Chapter 6.
Proof. We verify, e.g., the first formula in (1.3). It suffices to do this for A. real
(the formula is generalized to other A. by analytic extension). By (1.2.8),
P±E(A)u(inI2+A,') =
= P±MI~I-->in/2-AFx~(M-l)in/2H,-->lx I u(inI2+A,') =
= M 1~I-->in/2-AP±Fx~u(x).
Since by (1.2), P±F = FII±, we have
P±E(A)u(inI2+A,') = (1.4)
Note that the support of the function x ..... v(x',xn ) = IIj.'-..x.u(x',Yn) lies in a
cylinder containing supp u; the directrix of this cylinder is parallel to the xn-axis.
It is obvious that every ray emanating from the coordinate origin has compact
intersection with the support of v. Hence the Mellin transform Mix I-..A+in12V is
defined for a ray. Insert the identity operator MA"Jin/2-"lx IMix I-..Hin/2 in
between F and n± in (1.4). It remains to use (1.2.8) . •
X IIt.'1(1 +r2iiA-n/2)/2u(inI2+A.,IC(""m.
Proof. We have
§1. The algebras ®:- (A) 237
where z = (x',y,,), r = 1x I. Put ~ = y" 1 r 11/1'1, "f/ = 1/1" 1 11/1'1. Now (1.6) can be
rewritten as
-
v(inI2+A,IC(I{I,"f/» =
1
_r,;:-
00. [.]
-+-dt
f0 r-1A-1dr -+--;f'TT _f "f/-'
+ 00
'O-t X
V 2'TT 00
X _b-
v2'TT
f
+00 [
-00
I+~2
2]Up.-"/2)/2
1 +"f/
,ip.u(inI2+p.,IC(I{IJ»dp..
The following assertion can be verified by combining propositions 1.1 and 1.2.
Pro p 0 SIt ion 104. For every "A E iii the map
J(A):::lC:±:( - i"A - nl 2) ~ L 2(sn -1, r-(IIi» defined by
Let Li (sn -I) be the subspace of L 2 (sn -1) consisting of the functions that
vanish on the lower hemisphere of Sn -1; the elements of Li (Sn -1) are assumed
to vanish on the upper hemisphere of Sn -I. Let also @;-
("A) be the algebra gen-
erated by the operators p+ E("A)-lll>(w)E("A) on Li (sn -1).
where W = IC(W,n Theorem 1.6.5 and proposition 1.4 imply that the operator
u(A):Li(sn-l)~L2(sn-2,SC(IIi» defined by U("A)u = J("A)[E("A)u)oIC] is uni-
tary. It is obvious that U("A)-lv = E("A)-1[(J("A)-lv)oIC- 1]. This and (1.7) imply
that U("A) is the required intertwining operator for the identity representations of
§l. The algebras ®-: (A) 239
as'!t--I. For a point -.[; E Sn -I distinct from a pole, sets GlJl,(-.[;) U P (GUJ(-.[;», where
GUJ(-.[;) is a neighborhood of -.[; on Sn -I, constitute a fundamental system of neigh-
borhoods of -.[; (we may assume that GUJ(-.[;) does not contain poles). A neighbor-
hood of a point ZEd (including poles) is a set GUJ(z) U as n -I (where GlJf(z) is a
neighborhood of z on Sn -I U d). The topology on @; is not separable. It is
clear that @; is a To-space.
The 0 rem 1.7. Let U(A) = E,;,--+<I>(A)-I~(-.[;)E{/ .....tf(A). Then P+U(A) E @;(A),
and the following assertions hold.
I) the maps
Proof. The first assertion follows by combining proposition 1.5 and theorem
1.6. We verify the second assertion.
Let i' be a function given, and smooth, on the cylinder Sn -2 X m, where
Sn - 2 is the equator and m is a meridian of the sphere Sn -I. In other words, i' is
smooth on sn -I outside the poles, and has discontinuities 'of the first kind' at the
poles. Introduce the algebra 0' generated by the operator-functions
Sn -2 3 w~IIr::...'1 i'(IC(W,m. It is obvious that 0 is a subalgebra of 0'.
Denote (for a fixed W E Sn -2) by 0'(W) the algebra generated by the operators
II-'.V(J(w,·»:SC-(IIl)~SC-(IIl). For each WE Sn-I and any irreducible
§1. The algebras @:- (A) 241
3. The algebra @t (A) for ImA =1= O. In this section it is assumed that A. is an
arbitrary complex number subject to the requirements A. =1= i (k + n 12),
k = 0,1, ... ,ImA. =1= O.
I. In this step we prove that there is in at least one of the spaces X and X -L a
°
function U ;ijI!; that is sufficiently smooth on Sn -I.
Put i'(x) = Ix'IV(xn-i Ix'I)-V!(x'/lx'j), where! E c oo (sn-2) and p>o
is large. For every x' =1= 0, the function i' has an analytic extension to the half-
plane 1m Xn < 0, which remains to be homogeneous of degree zero. By increasing
p we may assume that the restriction of i' onto Sn -I has any given (finite)
K = (E(A)-li'E(A)-E(X)-li'E(X)i X (1.8)
SO(n -1) such that the sets gjrl, j = 1, .. ',1, cover the sphere. The set gjrl
corresponds to the function gj U in the same sense in which rl corresponds to u. In
particular, gjv = E(~)gju, and p+ E~)-Ih E X for all h E Xgj rl L 2(sn -I).
Denote by {7]j} a partition of unity on the equator as,+- I subordinate to the
cover {gjrl n as,+- I }. Extend the 7]j onto Sn -I by taking them independent of
Xn· For any f E L 2(sn-l) we have P+E(~)-If = ~jP+E(~)-I7]Jf E X, since
every term belongs to X. Since the set {h: h = P+E(~)-If, f E L 2 (sn-I)} is
dense in Li (sn -I), we have X = Li (sn -I).
IV. Replacing, if necessary, X by Xi., we will assume that PI'X =#= O. The
equality dimX = 1 implies that the condition PI'X = 5Cj, holds. If K has an
eigenvalue p, such that dim 5Cj, = 1, the proof of the proposition would be
finished. Suppose there is no such eigenvalue; we will show how to modify K such
that an eigenvalue as required appears.
Let, as before, 5Cj, be an eigenspace of the operator (1.8), p, =f= 0, and
dim 5Cj, ;;;. 2. Put Q = PI'\8PI' , where \8 is a selfadjoint operator from ®: (A).
Clearly, Q is finite-dimensional and selfadjoint, and Q E ®;(A). All eigenvectors
of Q corresponding to nonzero eigenvalues lie in 5Cj,. We show that by choosing \8
suitably, we may also assume Q to have at least two distinct eigenvalues. Assume
the opposite holds. Then for any \8 = \8* E ®: (A) we have Qu = JlU, where U is
any vector from 5Cj, and JI is a number. The real and imaginary parts of every
operator in ®: (A) belong to ®: (A). Hence an equality Qu = JlU holds if and
only if \8 is an arbitrary operator in ®: (A); in particular, \8 = p+ E(A)-Iq,E(A).
This implies that the quantity c = (E(A)-Iq,E(A)U,U) = (q,E(A)U,E(~)u) is
independent of U E 5Cj" Ilull = l. Take orthonormal vectors u,v in 5Cj, and com-
plex numbers a,{3, Ia 12 + I{31 2 = l. We have
E(A)uE(A)JI = O. (1.9)
§l. The algebras @: (A) 245
- -
Moreover, the equations c = (cfJE(A)u, E(A)U) = (cfJE(A)v, E(A)v) imply
-
E(A)uE(A)U = E(A)vE(A)V. (1.10)
r
Combining (1.9) and (1.10) gives
[E(A)UE(X)u) = E(A)uE(X)uE(A)vE(X)v = O.
Cor 0 II a r y 1.9. The algebra @: (A) contains the ideal 'XLi (sn -1) of com-
pact operators.
The 0 rem l.l2. Theorem 1.7 remains valid if X is an arbitrary complex number,
X =1= +i(k +nI2), k = 0,1, ... ,1mX =1= 0, if the representations listed in 1) are
supplemented by the identity representation of the algebra @-: (X), and if the space
®-: is replaced by the union ®-: U {e(A)}, where e(X) is the pOint corresponding to
the identity representation. This point constitutes an open set, whose closure coincides
with ®-: U {e(X)}.
1. The algebras @*(.\) and jf3. Let @+ (A) be the algebra generated on Li (sn -I)
by the operators P+U(A), where U(X) = E(X)-I«II{«p,w)E{X),
«II E coo{sn-IXsn-I), X E C, X =1= +i{k+nI2), k = 0,1,···. The following
assertion can be proved similarly to proposition 5.3.1.
Cor 0 11 a r y 2.2. The following inclusion holds: 'XLi (Sn -I) C ® + (;\).
p+U o.....<j>(o)p+\8"".....o(o) =
= p+ Ew .....<j>(o)-Iq,(q"w)Eo .....w(o) X
X {[J(o)-I n~'1q,(q"K(w,mJ(o)(E(o)U)OK(W,nloK-I(w)};
here 0 = ReA, T(A) E 'XLi (Sn -I), and IIT(A)II ~ 0 as A ~ 00, ImA = const
Rem ark 2.5. The operator p+ (of multiplication by the characteristic func-
tion of the sphere S~-I) is continuous on Hs(sn-l) for Is 1< 112 (cf., e.g.,
§2. The algebras ® + (X) 249
[74]). This and propositions 3.2.1 and 3.2.2 imply that on a line ImX = const the
following estimate holds for the operators T participating in the statements of pro-
positions 2.3 and 2.4:
here 6 < 1/2 is arbitrary positive and c(6) is a constant depending on l) but not
onX.
Our nearest aim is to give a description of the algebra \l5, which, as will be
shown in the sequel, is isomorphic to the quotient algebra ®+(X)I:xLi{sn-I).
Let </J E Sn-I and sn-2{</J) = {WES n - l : q,w=O}. For </J E S,+--I we denote by
qJ!(</J) the algebra C{Sn -2{</J» of continuous functions. For </J E as~-I, by qJ!{</J) we
mean the algebra of continuous operator-functions WH'5{W) on the (n -3)-
dimensional sphere {w: WES n -2(</J) n as~-I}; here '5(w) is a Toeplitz operator on
SC (R) of the form ('5(w)u)('1) = II~->'l :=: (wJ)um, where :=: is a continuous
complex-valued function on {(w,f): (W,nE(sn-2(</J)naS~-I)x[-oo,+oo]). By
definition, 11'5";qJ!{</J)11 = sup", 11'5"(w):SC (R) ~:JC (R)II.
Let V+ (n, 2) be the manifold of pairs (</J,w) of orthogonal unit vectors in R n
with </J E S'+--I. Every function </J E C{V+ en, 2» induces a vector field, i.e. a map
S~-I 3 </JHB~{</J) E qJ!{</J). For </J E S~-I this field is defined by
B ~(</J) = fIJ{</J, .), while for </J E as,+--I by B ~(</J) we mean the operator-function
sn-2(</J) n as~-I 3 wHII-flJ(</J,J(w,». Finally, we introduce the algebra ~
generated by such vector fields; it is an algebra under 'pointwise' multiplication
and involution, endowed with the norm
Pro p 0 sit ion 2.6. The map [P+U(X)]HBcIl induces an isomorphism between
® + {X)I:xLi (sn -I) and ~.
250 Chapter 6.
~ Il~1 k~/~Jk;~II'
where cfJjk are arbitrary coo(sn-I XS n - l ) functions, and T runs through
'XLi (sn-I).
Let (<Po,wo) E V+ (n, 2) with <Po E S'+-I. We show the existence of a sequence
{v q } C cOO (S,+-I) such that Ilv q;L 2(sn-I)11 = 1, {v q} is weakly convergent to
zero in Li (Sn -I), and II~jIIkP+ Ujk(A)Vqll ~ 1~jIIkflljk(tpO,WO) I. Denote by rk>
k = 1, ... ,N + 1, COO (S'+-1) functions satisfying rkrk + 1 = rk + I,
k = 1, ... ,N, and rN + 1 = 1 in a neighborhood of <Po. Let also v E COO (S'+-I)
with VrN + 1 = v. Recall that ru
j k'l1 E 'XLi (sn -I) for any smooth functions r
and '11 with disjoint supports (proposition 3.1.6). We have
[7If 1
P + Ujk v = rl E(A)-1
7
If fllj k(tp,W)E(A)rN + 1 v +T 1v;
~ (4).w)EV
suo l~rrflljk(tp'W)I.
(n,2) j k
T
This inequality gives the necessary estimate for II~jIIkB~}k(tp); 0l(tp) II for
tp E S'+-1 (cf. (2.1)). It remains to estimate this quantity for tp E as,+-1.
§2. The algebras @+ 0) 251
(2.3)
S·-I
f
\("1.lns:- I )
I wet/»~ 12dt/> < 6,
(2.4)
252 Chapter 6.
[fIJP+UjkO+-TW-SW ~
= E(0) -I ([ J(0) -I '5"(</la, w)J( o)(E(o)w )(K(w, '»]OK -I (w)}.
It follows from the way by which w was constructed that the norm in Li (sn -I)
of the righthand side of this equation can be estimated from below by
11'5"(oo,wo);:JC-(IR)~~}C(IR)II-8, for 8>0 small (cf. the proof of proposition
1.10).
These considerations allow us to become convinced of the existence of a
sequence {wn } of normalized functions converging weakly to zero in Li (Sn -\)
and such that 11(~jIIklr Ujk(A»Wn; L 2 (Sn -I )11 ~ 11'5"(cJ>o, wo); (JC (IR) ~ X- (IR)II.
This implies the inequality
(2.5)
Uq n as~-I =1= 0, q = 2, ... ,Q. Let also {~q} be a partition of unity subordi-
nate to this cover.
Inequality (2.5) implies that I ~jIIk4ljk(CP'w) l-a<O in a neighborhood of
V+ (n, 2). Denote by it a coo(sn -I XSn -I) function which equals
(~jIIk4ljk - a) -I in a neighborhood of V+ (n, 2). Put
RI = p+E(~rlit(cp,w)E(A). We have
RI~IA = p+E(A)-lit(cp,W)E(A)~1 [.7IJUjk(A)-aI] +T,
where T E 'XLi
(Sn -I) (we have used proposition 3.1.6). In the sequel, distinct
compact operators are denoted by the same letter T. Applying theorem 3.3.4 we
find
(2.6)
(we have used proposition 3.2.2 in order to replace A by a = ReA, and proposi-
tion 3.2.1 in order to give all functions 4ljk the same argument CP). Choose an
arbitrary point CPq E supp ~q n as~-I, and introduce the set
O(q,£) = {WESn-I:lcpqwl<£} U {WES - : w = (w',w n ), Iwnl >I-£}, where
n l
£ is given and small. Let p:sn -I X sn -I ~ Sn -I be projection on the second
factor. We may assume that the diameter of Uq is small such that
p({CP,W)Esn-1Xs n - l : CPEUq, cPw=O}) C O(q,£). Let Xq,. be the characteristic
function of O(q, f), and let TJq E Cr
(Uq), ~qTJq = ~q. Represent each operator
TJ qE(a)-I4l jk (cp,w)E(a) as a sum
By lemma 5.3.5, the second term in (2.8) is a compact operator, while the third
term has small norm.
Consider the operator §"(q,q,w) = ~jIIkII- (»jk(q,q,IC(W, .».
If q,qW = 0, then
11§"(q,q,w);:JC (R) -7:JC (R)II < a by requirement. Consequently, this inequality
holds for I<PqW I < £, since £ is small. Modify (if necessary) the (»jk on
Sn-I \O(q,£) such that the inequality I1§"(q,q,w)1 I <a holds for all W E as~-I;
the new functions will be denoted, as before, by i'Djk . It is clear that we have to
add a compact operator to (2.8) as a result of this modification. lbis and (1.7)
implies
(2.10)
supoess(D*D) 0;;;;
(compare with the proof of lemma 5.3.6). Using (2.l) we are led to (2.11) . •
3. The spectrum of the algebra @+ (A). By proposition 2.6 the description of the
spectrum of ® + ().) reduces to the description of the spectrum of $. Denote by ~
the disjoint union of the manifolds V+(n,2) = {(cp,w): cpES n - l , WES n - l ,
cpw=O}, V(n-I,2) = {(cp,W)EaS~-1 xas~-I: cpw=O} and the set
as~-I X[-I,I]. Identify the sets as~-I X {-+-I} c as~-I X[-I,I] with the
sets as~-I X {(O, -+-I)} c S~-I X Sn -I, respectively. We will regard [- 1,1] as
the diameter of Sn -I with end points at the poles (0, -+-1). We introduce a topol-
A A
+ I-t I+t
'IT(,p,t):P U(A) 1-+ -2-()(,p,(O, -I»+-2-()(,p,(O, 1»,
,p E as'!r- 1, t E [-1,1];
Proof. The validity of the first assertion follows from proposition 2.6 and
theorem 1.6. The second assertion can be verified by a reasoning similar to the
corresponding part of the proof of theorem 1.7. Direct comparison of the topology
on \l! and the Jacobson topology establishes the third assertion. •
Note that, for any irreducible representation 'IT, the algebra 'IT(@i + (A» contains
all compact operators on the representation space. The same is true for the alge-
bra @it
(A). Hence @i+(A) and @it
(A) are type I algebras U24], theorem 9.1).
§3. The algebras ®: (1 p) 257
1hls implies that outside the slit in the lower halfplane we have
fI(t) = f(/)+Rk(/), where
k
f(t) = 12(/) ~ a/t -j)-j,
j=o
258 Chapter 6.
1 Rk(t) 1 = O(lt IImA-k-I-n/2) as I~oo, Iml ,,;::;0. The function/2 is zero free
in Iml ,,;::; 0, while a partial sum of the series (3.1) can have at most finitely many
zeros in this halfplane (being a polynomial in (t - i) -I). This means that f is holo-
°
morphic for 1m I ,,;::; and has at most finitely many zeros.
Hf(/) =1= °
for Iml ";::;0, we put u(x) = Ix'l-iA-nl2f(xnllx'j). Outside the
poles (O, -+-1) the function u is infinitely differentiable on Sn -I. The estimate for
Rk and the definitions of f and u imply that in a neighborhood of the north pole
u (x) = 1 + 0 (I x' Ik + I); this ensures that u has continuous derivatives up to
order k inclusive at the north pole. Near the south pole we have
u(x) = exp{ - 'lTi{iA + n 12)} + 0 (I x' 1k + I), and the same conclusion holds.
The function u is clearly homogeneous of degree -iA-nI2, and can be analyt-
ically extended to the halfplane Imxn ,,;::; 0. The formula f = fl - Rk and the esti-
mate for Rk give the inequality necessary in order to conclude
u E :JL(-iA-nl2); thus, u = E{A) v, where v E H+.lmA(Sn-l) (theorem 1.6.5).
Since k may be chosen arbitrarily large, by proposition 1.5.5 we have
v = E{A)-I u E L2(sn-I). So, v E H+.lmA{Sn-l) n L 2(sn-l) c L:{(sn-I),
i.e. u is the function looked for.
Now assume thatfhas, in Iml ";::;0, only the zeros II, ... ,1m with multiplici-
ties KI, ... ,/em. Let q be a fixed natural number. If aj is a negative number that
is large in absolute value, and if Ij = I} - ia}, then the function
has the unique pole I = Ij in 1m I ,,;::; 0, and is zero free there. The function
get) = f (/)p I(ttl ... Pm {t)Km is holomorphic and zero free in 1m I ,,;::; 0. More-
over, plt) = 1 + 0 (I I 1-q) as Therefore, by choosing q large we may
t ~ 00.
define u by u(x) = 1 x' l-iA-nI2g(xn I 1 x' I) . •
Suppose 'IT{JL) and 'IT(v) are equivalent. Then there is a unitary operator
U:Lt(sn-1)~Lt(sn-1) such that U*p+E(v)-l()E(v)U = p+E{JL)-l()E{JL).
°
Assume that the function IAn \ 3 ~ ~ ()(~, homogeneous of degree zero, is
sufficiently smooth on sn -1 in order that U(A) be continuous (cf. proposition
3.1.1), and that the function ~n ~ ()(~"~n) can be analytically extended, for every
f =1= 0, to the halfplane Im~n < 0, while remaining bounded. Then, by (1.6.5), p+
may be cancelled. Thus, U*E(v)-l()E(v)U = E{JL)-1()E{JL), i.e. ()E(v)UE{JL)-1 =
= E(v)UE{JL-I)() (here () denotes the operator of multiplication by the function
(). This implies
(3.3)
(3.4)
- -
0= (Qhv -hlv,w) = (Qhv-Qhlv,w) = (3.5)
f (h -h I)vwdw =
sn-l
+00
= f
sn~2
dw f
-00
(h(w,t)-hl(w,t»v(w,t)w(w,t)(1+t 2)-nI2dt = o.
TIris implies that h(w,t) = hI (w,t) for almost all t E iii and for fixed w E Sn -2.
By the definitions of h, h I (and by theorem 1.6.5), the functions
t .... h (w, t)(l + t 2)(i l1 - iv) 12 and t .... hI (w, t)(1 + t 2)Uv- iii) 12 can be analytically
extended to the halfplane Imt ~ O. Put
Since h,h1 E L2(sn-I), it follows that J is locally integrable on the real line.
Hence J is an entire function.
Recall that h = v I u, where v = E(v)w, wELt (Sn - I), and u is the function
from lemma 3.1 (as A = JL). By applying theorem 1.6.5 we obtain the estimate
§3. The algebras @:- (I fJ) 261
I Y(w,' t)(I+t2)-(iv+nI2)/212
f Iu(w t)(1 +t 2)-(//-I+nI2) /2 12
(l + It 12) - n12 dt ,,;;;
Imt =T '
Now Liouville's theorem implies that lis a polynomial. (In the form necessary for
us, this theorem can be found in, e.g., [74].)
For V-I we can derive
(3.7)
where h' E HfJ(sn -I) (cf. the derivation of (3.3)). The function
t ..... h ' (w,t)(l+t 2)(iv-i/-l)/2 can be analytically extended to the halfplane Imt ,,;;;0.
Formulas (3.3) and (3.7) lead to hh' = 1. Hence the function
t ..... h(w,t)(l+t 2)(i/-l-iv)12 is zero free for Imt <0. A similar conclusion holds for
h I too. Thus, the function I in (3.6) is zero free in the complex plane. (It has no
real zeros since h' = h - I is locally integrable on the real line.) So, I const.
This means that (hOK)(W,t)(1 + t 2)(i/-l-iv)/2 = q(w), i.e. h(w) = Iw' IiV-i/-lq(W). By
(3.3) we hence obtain V = E(p)-llw/liV-i/-lq(w)E(p.).
Introduce the operator Vg = E(p)-lh(gw)E(p.), where g E SO(n -1). The
operator E(A) commutes with the operator (g*u)(w) = u(gw), and
V g = g* V(g - 1)*. Thus, V g is also unitary. Furthermore,
= g*Vp+(g-I)*U(p.) = g*VP+Ug_/(p.)(g-I)*,
where U(p.) = E(p.) -I cfl(w)E(p.), Ug -I (p.) = E(p.) -I cfl(g -I w)E(p.). Since
P+Ug-I(p.) E @:(p.), we have
262 Chapter 6.
Formulas (3.8), (3.9) imply that Ugp+ U(,u) = p+ U(JI)Ug . The same is true if {L
and JI are replaced by Ii and Ii. Hence Ug is intertwining for the identity represen-
tations of the algebras @;:-(,u) and @:(JI). It is obvious that
U-IUgP+U({L) = U-IP+U(JI)Ug = P+U(,u)U-IUg, i.e. U-IUg commutes with
all elements of @("7- (,u). Since @("7- (,u) is irreducible (proposition 1.8), this implies
that U -I U g = c (g )1, where c (g) is a complex number, Ic (g) I = I (d. Chapter
5, §1.4). So, h(gw)/h(w) = c(g).
The map SO(n - 1) :3 g t-+ C (g) defines a one-dimensional representation of the
group SO(n -1). For n > 3, SO(n -1) has only the trivial one-dimensional
representation, i.e. c(g) =
1, and for n = 2,3 we obtain c(g) = e imw , where m is
an integer and g is identified with rotation over the angle w (if n = 2, then
w = O,'IT).
Suppose n >3. Then h(w) = Iw'liv-il' and U = E(JI)-llw'liV-iI'E(,u). It is
obvious that for Im{L = ImJl = p = 0, U is an intertwining operator. We prove
that for P =t= 0 this operator is not intertwining. Thus a contradiction arises,
finishing the proof.
Define a unitary operator r on L 2 (sn-l) by (ru)(w',wn) = u(w', -wn). Clearly,
r:Vf(sn-I)~Lf(sn-I), and U = r-IUr, where U is regarded as an operator
on L 2 (sn -I). Suppose that p > 0 and that U:Lt (sn -I) ~ Lt (sn -I) is unitary.
Then U:Li (sn -I) ~ Li (sn -I) is also unitary, and so
U:L 2 (sn -I) ~ L 2 (sn -I) is unitary. Applying the operator U* = U- to 1, we
I
find
(3.l0)
Pro p 0 sit ion 3.4. The algebras @:(/p)/'X.tJ+(Jp) and @:(lo) are iso-
morphic.
W sup II~IIP+
j k
TEXu (lp)AEtp
Ujk(A) + T(A)II.;;; sup II~IIP+ Ujk(O)II,
(lEn j k
(3.11)
The 0 rem 3.5. Let U(A) = E(A)-I()(~)E(A), fJ =t= 0, and let Ip 3 AI-+P+U(A)
be a function from the algebra @;- (I pl. The following assertions hold:
1) Together with the maps '17'(A):P+ U 1-+ p+ U(A), A E I p, the maps '17'(~), '17'(t), T(tf)
defined in theorem 1.7 induce inequivalent irreducible representations of ®;- (I pl.
2) Every irreducible representation of ®;- (I p) is equivalent to a representation listed
in 1).
3) The correspondence '17'(~)I-+~ E sn-l, '17'(t) 1-+ (O,t), T(tf)l-+tf E as,+-l,
'17'(A) 1-+ A E I p is a bijection of the spectrum of ®;- (I p) onto @;- (l pl. The topology
on @;-(Ip) coincides with the Jacobson topology.
Proof. The first assertion follows from theorem 1.12 and proposition 3.2.
We verify the second assertion. If '17' is an irreducible representation of the
quotient algebra ®;-(lp)I:Kt(lp), then by proposition 3.4 and theorem 1.7 it is
equivalent to one of the representations '17'(~), '17'(t), or T(tf) (for any A E 10 = IR,
the algebras ®;- (/0) and ®;- (A) are isomorphic). Suppose that '17' is an irreducible
representation of ®;-(Ip) with nonzero restriction '17'1X;(/p). Then 171X;(/p) is an
irreducible representation of ext (I p) (proposition 5.1.2). Thus, '17' IX; (lp) is
equivalent to a representation of the form 17(A):V 1-+ v (A), v E (I p), A E IP (pro- ext
position 5.1.8). This implies that 17 is equivalent to the representation '17'(A) of
®:-(lp).
The verification of the third assertion is left to the reader. We only show that
every neighborhood in ®;- (Ip) of a point s E @,: contains the complete line Ip.
By the description of the Jacobson topology (given above proposition 5.1.7), it
suffices to prove that if 1117(S)P+UII>1 for some P+UE®;-(lp), then
II'17'(A)P + UII > 1 for all A E I p. (Here 17(S) denotes one of the representations 17(~),
'17'(t), or T(tf).) By corollary 1.11, for all A E I p,
~f
TE9Cl. 2 (S
n-I
)
IIP+U(A)+TII = IIP+U(o)ll, 0 = ReA.
Hence II'IT(A)P+UII = IIP+U(A)II ;;;;.IIP+U(o)11 ;;;;.1117(S)P+UII, i.e.
11'17'(A)P+ UII > 1. •
§3. The algebras @: (I p) 265
1. The algebras @+(/p) and '1). The algebra @+(/p) is generated by the operator-
functions Ip 3 AI->P+U(A), where U(A) = E(A)-)(>(4>,w)E(A), f3 =1= -+(k +nI2),
k = 0,1, .... The operations are pointwise, and the norm is
IIP+U,@+(lp)11 = ~~~IIP+U(]..);Lt(sn-)~Lt(sn-)II.
Pro p 0 s i t ion 4.1. Let 1-', p be distinct points of I p. Then the maps
7/"(]..): p+ U I-> p+ U(A) for A = 1-', P define inequivalent irreducible representations of
@+(lp).
IIB(i\)u;L2(sn - I )11,,;;;; f]
[l11lJ6j)~Jk ;SDII + Ilu ;L2(sn - I )11 + (4.1)
Proof. Let U I , U 2 be open covers of the sphere Sn-I such that VI C S~-I,
and such that the boundaries auq , q = 1,2, are located near the equator as~-I.
Let also t E c·,(sn -I), supp t q C Uq , and tI + t~ = 1.
Rewrite the operator t2B(i\) as
t2B(i\)u - T(i\)u =
(4.2)
for (J < 112 and i\ E Ip. Put '5(CP,w) = }';jIIk«Pjk(CP,(K(w,)) and introduce the
operator
difference T(A) _ M(A) - (r2B(A))* r2B(A) (the letter T stands for several operators
at the same time). Hence
Let F = II ~J Ilk GD4>Jk ;SD II. Since the set supp r 2 n S'+- 1 lies in a small neigh-
borhood of the equator as,+-I, the operator-function (t[>,w) ~ E(t[>,w)2 =
= r2(t[»z(F 2 -'Y(t[>,w)*§'(t[>,w))+£ is positive for (t[>,w) E S,+-I X SI1-I. Introduce
the operator
(4.4)
(4.5)
,,;:;;; F 211rl u;L 2(SI1 -I )11 2 +£llu ;L2(SII -I )11 2+ cllu;H -a/2(A,SI1 -I )112.
Pro p 0 sit ion 4.4. Let B(A) be the operator from proposition 4.3. Then there
is, for every positive number £. an operatorJunction T E 'Xi (/ p) such that
(4.6)
Proof. Denote by qK a C~ (R) function such that qx(/) = 1 for II I < K and
qx(/) = 0 for II I > K + 1. Introduce the operator qx(A):L 2(sn -I) ~ L 2(sn -I)
by
00 kM
W
TEXu (I~)
liB + T;® + (/ p)11 ;;;;.11~II6D
j k
•.) k ; 50 11. (4.8)
Proof. Let cf> E S'+- 1 and "'0 E Sn - I. Also, let r,." E COO (Sn - I),
o0;;;; r, ." 0;;;; 1, with f = 1 in a neighborhood of cf>o and f." = r. We have
B(A)f = ."E(A)-I~II()jk(cf>,,,,)E(A)f+T(A), (4.9)
j k
where T E 'Xi (lp). Choose a function g, homogeneous of degree zero, such that
"Vg(cf>o) (=:FO) lies in the plane spanned by the vectors cf>o and "'0' Suppose that
sequences {Am} C I p, {Tm} C R are subject to the requirements: Am ~ 00,
Tm ~ 00, and that the direction of the vector (ReAm}cf>o +Tm "Vg(cf>o) tends to the
§4. The algebras @S + (/~) 269
direction of WOo Theorem 3.5.1 implies that for a function u E COO (S'+-}) sup-
ported in a small neighborhood of cPo the following inequality holds for m large:
(in the opposite case the estimate required already holds). Choose a point
Wo E sn -2 such that the following inequality holds:
(on the left the norm is the operator norm in Li (Sn -I), on the right that in
X-(R».
Suppose that domains U I> U 2 cover the sphere S n - I, U1 c
S'+- I, and that
the boundaries aUq lie in a small neighborhood of the equator as,+- I. Denote by
XI> X2 two coo(sn-I) functions such that suppXq C Uq , XT+X~ = 1. Let also
t q E Co(Uq), tqXq = 1, q = 1,2. Put A(A) = TI~np+E(A)-lfIljk(<Po,.)E(A). We
have
2
IIA(o)ule = ~ IIXjA(o)ule = (4.15)
j=1
2
= ~ Ilt/A(o)+T/o»xjuI12 0;;;;
j =1
where T j E :Jet (10). Proposition 4.4 implies that for large 101 and any l) > 0,
Therefore
(4.17)
(for 101 large). Indeed, in the opposite case we would have, by (4.15), (4.16),
IIA(o)11 < 11<J(<<Po,wo)ll. This contradicts (4.14), in which I 00 I may be regarded
arbitrarily large and l) arbitrarily small. The formula A(X) = A(o)+T(A), where
0= ReA., T E :Jet (Ip), and inequality (4.17) imply
§4. The algebras ~ + (//1) 271
(Assume this to be not true. Then, for some To EX; (lp) we have
and thus
Oear1y, in view of the smallness of the support of r1'IJ the latter inequality also
holds if 4> is replaced by tPo. The result contradicts (4.18).) Applying proposition
2.3, formula (4.19) implies the estimate
Pro p 0 sit ion 4.6. The algebras <M + (//1) IX; (1 p) and SO are isomorphic.
The proof can be obtained by combining propositions 2.3, 2.4, and 4.4,
4.5 . •
3. The spectrum of the algebra <M + (//1). Denote by @+ (I p) the disjoint union of
the sets S~-l X sn-], as~-] X as~-], as~-] X [-1,1], and the line 1/1. Iden-
tify as~-] X {+1} c as~-] X [-1,1] with as~-] X {(O,+I)} C
C S~-] X Sn -), i.e. the interval [-1,1] is represented by the diameter with end
points at the poles (0, +1) of the second factor in the product S~-] X sn -) .
272 Chapter 6.
+ I-t l+t
'IT(cp,t):P Ut-+ -2-~(CP,(0, -1»+-2-cI»(CP,(O, 1»,
'IT{A):P+Ut-+P+U(A), A E 113,
§4. The algebras <M + (I fJ) 273
Proof. The first assertion follows from propositions 4.1, 4.6, and theorem 2.7.
The second can be verified similarly to the corresponding part of theorem 3.5. The
topology on the spectrum (third assertion) is clarified by a reasoning similar to
that in the proof of theorem 5.4.6. •
let Lt (R, Ix 12/1) be the subspace of functions with support in R,+, and let
P+:L2(Rn,lxI2/1)~Li(Rn,lxI2/1) be the projection operator. Let also
U(A) = E"'-I>(A)-IcI>(If>,w)~-+",(A), cI> E coo(sn -I XSn -I), and
(Au)(x) = (5.1)
poles of S·(~)xo' i.e. end points of the diameter m{a~)xo' Denote by U a neigh-
borhood of x 0 in ~. We will represent the bundles S· (~) I u and S· (a~) I u n ~
as the products U X S·(~)xo and (Una~) X S·(~)xo' Let also W(Oo) be a
The 0 rem 5.1. Let A be a pseudodijferential operator from the algebra &. and
let til be its symbol. The following assertions are true:
1) The maps
T(x,O):Al-+n-tIl(x,,,(O,.»::JC(R)~:J[-(R), x E a~ ° E s·(a~)x,
'1T(x,O):Al-+tIl(x,O), x E ~ ° E S·(~)x,
I-t l+t
'1T(x,t):A 1-+ -2-tIl(x, - nx )+ -2-tIl(x,nx), x E a~ It I < 1,
fact that the fiber S + (~)x above a point x E a~ contains only vectors directed
to the side of~; the fiber S + (~)x contains, in addition, also the vectors directed
along a~ Let IDl be the set of functions () with discontinuities of the first kind (it
was introduced at the beginning of Chapter 5, §2; see also Chapter 4, §4.1). A
function () E IDl can be regarded as being given on the Whitney sum
S +(~)6)S*(~).
In this section, ct denotes the algebra generated on L2(~) by the
pseudodifferential operators of order zero whose symbols belong to IDl.
Introduce the space ~ as the disjoint union of the sets S +(~)6)S*(~),
S(aGJlt)6)s*(a~), S(aGJlt)6)~~), and e, where e is the disjoint union of lines Ix
indexed by the points of GJIt. Moreover, S (a~)x 6) { -+- n x } is identified with the
subset of (S + (GJIt)6)S(GJIt»x, and the fiber ~~)x is regarded as the diameter of
S*(GJIt}x. We define a topology on ~ by indicating for every point the neighbor-
hoods forming a fundamental system.
A) Neighborhoods of a point A E Ix. Every line Ix is represented as R. A
A
T(x, cp,O):A ..... rr- 4>(x, CP,,,(O, .»:~C- (R) ~ X- (R), (5.4)
I-t 1+1
'1T(x, cp,t):A ..... -2-4>(x, cp, -n x )+ -2-4>(x, cp,n x ), (5.6)
Chapter 1. 1bis chapter is based on Plamenevskii [44]. All results from the
theory of generalized functions used in it are contained in [11] or in [13]. Formula
(1.3.3) may be derived from (1.4.7) and results in [7]. Expansion in spherical har-
monics from the point of view necessary for us was considered in [1], [39], [40].
The proof of theorem 1.5.1 originates from [39]. Parameter-dependent norms
were introduced, in an appropriate setting, in [2]. A.O. Derviz helped in the
preparation of §6. A sketch of results concerning the operator E(A) on 4 spaces
can be found in [63].
Chapter 2. It seems that V.A. Kondrat'ev [33] was the first who systematically
used the spaces Hp(Rn). The results concerning the Fourier transform given in §2
are, to the best of my knowledge, new, and are published for the first time. The
theorem asserting boundedness of a one-dimensional singular integral operator on
a space L2(R, \ x \2P), if \2fJ \ < 1, was proved by K.I. Babenko [4]. The multidi-
mensional analog of this theorem is due to E.M. Stein, who established that a
singular integral operator is bounded on L2(R, \ x \2P) if \2fJ \ < n, [66]. Results
concerning boundedness of singular integral operators with an exponent 2fJ out-
side the interval [- n,n] were announced in [43] and proved in [44]. The latter also
contains a representation of the form (2.3.6). Another manner of proving an esti-
mate of the form (2.3.8) was given in [70]. In this connection we point to the
recent article [38], which is concerned with the one-dimensional case. The spaces
Hp(Rm,Rm-n) and t9p(Rn) were used in [35], [36] (for nonnegative integers s). In
§4 - §6, results from Plamenevskii [53] are expounded.
Chapter 3. 1bis Chapter contains (in reworked form) results from Plamenevskii
[45], [46], [50], [51]. The symbolic calculus for meromorphic pseudodifferential
operators is an analog of the symbolic calculus of Kohn-Nirenberg [32] for classi-
cal pseudodifferential operators. Theorem 3.5.1 is close to the corresponding
theorem for classical pseudodifferential operators (cf., e.g., [67], Vol. 2).
279
280 Bibliographical sketch
[14] LM. GEL'FAND, N.YA. VlLENKlN; Generalized functions, Vol. 4, Acad. Press,
1965 (translated from the Russian).
[15] LM. GEL'FAND; Eigenfunction expansions of equations with periodic coefficients,
Dok!. AN SSSR 73, No.6 (1950), 1117-1120 (in Russian).
[16] LTs. GoKHBERG, M.G. KREIN; Introduction to the theory of linear nonselfad-
joint operators, Amer. Math. Soc. 1969 (translated from the Russian).
[17] LTs. GoKHBERG, N.YA. KRUPNIK; EinfUhrung in die Theorie der eindimen-
sionalen singuliiren Integraloperatoren, Birkhauser, 1979 (translated from the
Russian).
[18] LTs. GOKHBERG, N.YA. KRUPNIK; Algebra generated by one-dimensional
singular integral operators with piecewise continuous coefficients, Funkts. Anal. i
Prilozhen. ~,No. 3 (1970), 26-36. (franslation: Funct. Anal. Appl. ~, No.3
(1970), 193-201.)
[19] LTs. GOKHBERG, N.YA. KRUPNIK; On the algebra generated by Toeplitz
matrices, Funkts. Anal. i Prilozhen. 3, No.2 (1969), 46-56. (franslation:
Funct. Anal. Appl. ~,No. 2 (1969), 119-127.)
[20] LTs. GoKHBERG, N.YA. KRUPNIK; On singular integral operators on a com-
pound contour, Soobshch. AN GSSR 64, No.1 (1971), 21-24 (in Russian).
[21] LTs. GoKHBERG, E.I. SIGAL; An operator generalization of the logarithmic resi-
due theorem and the theorem of Rouche, Mat.-Sb. 84, No.4 (1971), 607-629.
(franslation: Math. USSR-Sb. 13 (1971), 603-625.)
[22] V.V. GRUSHlN; Pseudodifferential operators in R n with bounded symbols,
Funkts. Anal. i Prilozhen. 4, No.3 (1970), 37-50. (franslation: Funct. Anal.
Appl. ~,No. 3 (1970), 202-212.)
[23] A.O. DERVIZ; Boundary-value problems for meromorphic pseudodifferential
operators, Izv. Vyzov. Mat. ~ (1985), 84-86 (franslation: Soviet Math.-Izv.
29, No.3 (1985),108-111).
[24] J. DIXMIER; C* -algebras, North-Holland, 1977 (translated from the French).
[25] R.G. DOUGLAS; Banach algebra techniques in the theory of Toeplitz operators,
Amer. Math. Soc., 1973.
[26] R.V. DUDUCHA VA; On integral operators of convolution type with discontinuous
symbols, Math. Nachr. 79 (1977), 75-98 (in Russian).
References 283
(Laplace-Beltrami operator)
l) 23
!::.. (Laplace operator)
23
Dimension of a representation 183
t9p(lRn) 47
E(>-)-1 16
~(-i(k +nI2»-1 l7
E(i(k +nI2» 9
E(>-) 8
Elliptic merom orphic pseudodifferential operator 96
287
288 Index
Finite-meromorphic operator-function 76
Fourier transform 9
G (transform) 122
Garding's inequality, generalized 116
Generalized Garding's inequality 116
Laplace operator 23
Laplace-Beltrami operator 23
Nuclear operator 97
Nuclear operator, trace of a 97
Space H S (X, sn - J) 28
Space HS(lRn) 22
Space 0p(lRn) 47
Spectrum of a C* -algebra 185
Symbol of a (meromorphic) pseudodifferential operator 89
Symbol of a (meromorphic) pseudodifferential operator, complete 89
Symbol of a (meromorphic) pseudodifferential operator, principal 89
Symbol of a canonical periodic meromorphic pseudodifferential operator 126
Symbol of a pseudodifferential operator on Hp(lRn) 135
n
Symbol of a pseudodifferential operator on Hp{lR ), complete 135
Symbol of a pseudodifferential operator on Hp{lR n), principal 135
Symbol of a singular integral operator 178
Symbol of a singular integral operator 20
To-space 185
Totalizing vector 183
Trace of a canonical meromorphic pseudodifferential operator 99
Trace of a meromorphic pseudodifferential operator 102
Trace of a nuclear operator 97
Transform G 122
Transform, Fourier 9
Transform, Mellin 9
Transversal operator (for an operator) 51
Typical neighborhood 223
Young's inequality 26