Professional Documents
Culture Documents
Dr. McLean received his PhD from the Australian National University, and is
currently a Senior Lecturer in Applied Mathematics at the University of New
South Wales.
Strongly Elliptic Systems
and Boundary Integral
Equations
WILLIAM McLEAN
University of New South Wales
AMBRIDGE
UNIVERSITY PRESS
PUBLISHED BY THE PRESS SYNDICATE OF THE UNIVERSITY OF CAMBRIDGE
The Pitt Building, Trumpington Street, Cambridge, United Kingdom
A catalog record for this book is available from the British Library.
Preface page xi
1. Introduction 1
Exercises 15
vii
viii Contents
References 341
Index 347
Index of Notation 353
Preface
xi
xii Preface
wants a deeper understanding of the relevant non-numerical theory. I have aimed
to keep the exposition as simple, concise and self-contained as possible, while at
the same time avoiding assumptions that would be unrealistic for applications.
Thus, I felt it essential to allow non-smooth domains, to consider systems and
not just scalar equations, and to treat mixed boundary conditions.
Here is an outline of the contents.
Chapter 1 has two purposes. Firstly, it attempts to sketch the early history of
the ideas from which the theory of this book developed. Secondly, it serves to
introduce those ideas in an informal way, and to acquaint the reader with some
of the notation used later.
The second chapter presents topics from linear functional analysis that are
immediately relevant to what follows. I assume that the reader is already fa-
miliar with elementary facts about the topology of normed spaces, and of a
few fundamental, deeper results such as the open mapping theorem and the
Hahn-Banach theorem.
Chapter 3 develops the theory of Sobolev spaces on Lipschitz domains. After
a quick treatment of distributions and Fourier transforms, we study in detail
fractional- and negative-order spaces based on L2. These spaces play an essen-
tial role in nearly all of the subsequent theory.
In Chapter 4, we begin our investigations of elliptic systems. A key tool is
the first Green identity, used to arrive at the abstract (weak) formulation of
a boundary value problem mentioned above. The centrepiece of the chapter
is the Fredholm alternative for the mixed Dirichlet and Neumann problem
on a bounded Lipschitz domain. We go on to prove some standard results on
regularity of solutions, including the transmission property. The final section
of the chapter proves some difficult estimates of Ne6as [72] that relate the
H I -norm of the trace of a solution to the L2-norm of its conormal derivative.
These estimates are used later when showing that, even for general Lipschitz
domains, the basic mapping properties of the surface potentials and boundary
integral operators hold in a range of Sobolev spaces.
Chapter 5 is something of a technical digression on homogeneous distri-
butions. As well as dealing with standard material such as the calculation of
Fourier transforms, we include results from the thesis of Kieser [48], including
the change-of-variables formula for finite-part integrals.
Chapters 6 and 7 form the heart of the book. Here, we study potentials and
boundary integral operators associated with a strongly elliptic system of partial
differential equations. Our overall approach is essentially that of Costabel [14],
allowing us to handle Lipschitz domains. The first part of Chapter 6 deals
with parametrices and fundamental solutions, and uses the results of Chapter 5.
We then prove the third Green identity, and establish the main properties of the
Preface xiii
single- and double-layer potentials, including the familiar jump relations. Chap-
ter 7 derives the boundary integral equations for the Dirichlet, Neumann and
mixed problems, treating interior as well as exterior problems. The Fredholm
alternative for the various boundary integral equations is established by showing
positive-definiteness up to a compact perturbation, a property that is intimately
related to the strong ellipticity of the associated partial differential operator.
Chapters 8-10 treat three of the simplest and most important examples of
elliptic operators. For these specific cases, we can refine the general theory
in certain respects. Chapter 8 deals with the Laplace equation, and includes
a few classical topics such as spherical harmonics and capacity. Chapter 9
deals with the Helmholtz (or reduced wave) equation, and Chapter 10 gives a
brief treatment of the linearised equilibrium equations for a homogeneous and
isotropic elastic medium.
The book concludes with three appendices. The first of these proves
Calder6n's extension theorem for Sobolev spaces on Lipschitz domains, in-
cluding the fractional-order case. The second gives a rapid but self-contained
treatment of interpolation spaces and establishes the interpolation properties
of Sobolev spaces on Lipschitz domains. The third proves a few facts about
spherical harmonics.
At the end of each chapter and appendix is a set of exercises. These are of
various types. Some are simple technical lemmas or routine calculations used
at one or more points in the main text. Others present explicit solutions or
examples, intended to help give a better feeling for the general theory. A few
extend results in the text, or introduce related topics.
Some mention of what I have not covered also seems in order.
Many books treat Fredholm integral equations of the second kind. Well-
known older texts include Kellogg [45] and Giinter [35], and we also mention
Smirnov [95] and Mikhlin [65, Chapter 18]. Problems on non-smooth domains
are treated by Kral [49] and Burago and Maz'ya [6], using methods from ge-
ometric measure theory, and by Verchota [ 102] and Kenig [46], [47] using
harmonic analysis techniques. Works oriented towards numerical analysis in-
clude Kress [50], Hackbusch [36] and Atkinson [3]. Boundary value problems
can also be reformulated as Cauchy singular integral equations, as in the pio-
neering work by Muskhelishvili [71 ]; for a modem approach, see Gohberg and
Krupnik [28] or Mikhlin and Pr6l3dorf [66].
Even for boundary integral equations of the first kind, the material pre-
sented in this book is by no means exhaustive. For instance, Costabel and
Wendland [ 15] have generalised the approach used here to higher-order strongly
elliptic equations. One can also study boundary integral equations as special
cases of pseudodifferential equations; see, e.g., Chazarain and Piriou [10]. We
xiv Preface
make contact with the theory of pseudodifferential operators on several occa-
sions, but do not attempt a systematic account of this topic. Other significant
matters not treated include the LP theory for p # 2, various alternative bound-
ary conditions, especially non-linear ones, and a detailed study of the dominant
singularities in a solution at corner points or edges of the domain.
During the period I have worked on this book, the Australian Research
Council has provided support for a number of related research projects. I thank
David Elliott for reading an early draft of the complete manuscript and making
a number of helpful suggestions. I also thank Werner Ricker and Jari Brandts for
the care with which they read through later versions of some of the chapters.
Alan McIntosh and Marius Mitrea helped me negotiate relevant parts of the
harmonic analysis literature. Visits to Mark Ainsworth at Leicester University,
U.K., to Youngmok Jeon at Ajou University, Korea, and to the Mittag-Leffler
Institute, Stockholm, provided valuable opportunities to work without the usual
distractions, and made it possible for me to complete the book sooner than would
otherwise have been the case. Needless to say, I am also indebted to many other
people, who helped by suggesting references, discussing technical questions,
and passing on their knowledge through seminars.
Sydney,
December 1998
1
Introduction
The theory of elliptic partial differential equations has its origins in the eight-
eenth century, and the present chapter outlines a few of the most important
historical developments up to the beginning of the twentieth century. We con-
centrate on those topics that will play an important role in the main part of the
book, and change the notation of the original authors, wherever necessary, to
achieve consistency with what comes later. Such a brief account cannot pre-
tend to be a balanced historical survey, but this chapter should at least serve to
introduce the main ideas of the book in a readable manner.
To limit subsequent interruptions, we fix some notational conventions at the
outset. Let n denote a bounded, open subset of W (where n = 2 or 3 in this chap-
ter), and assume that the boundary r = 80 is sufficiently regular for the outward
unit normal v and the element of surface area dcr to make sense. Given a function
u defined on S2, we denote the normal derivative by a,,u or au/8v. Sometimes
we shall work with both the interior and the exterior domains (see Figure 1)
au - av
and
au av
(1.2)
ax, ax2 ax2 ax,
-Au =f
everywhere on R3, an equation derived by Simeon-Denis Poisson [7, pp. 342-
346) in 1813; see Exercise 1.1 for the special case when f is radially symmetric.
Poisson made other important contributions to potential theory. A paper
[18, p. 360] of 1812 dealt with the distribution of electric charge on a con-
ductor Q. In equilibrium, mutual repulsion causes all of the charge to reside on
the surface r of the conducting body, and r is an equipotential surface. The
electrical potential at x E R3 due to a charge distribution with surface density
* on r is given by the integral
au
--aAu=0,
at
Au=0 onQ,
(1.7)
u=g on 1.
This problem later became known as the Dirichlet problem, and for particular,
simple choices of 0, Fourier constructed solutions using.separation of variables;
see [7, pp. 132-138]. His book, Theorie analytique de la chaleur, was published
in 1822.
In 1828, George Green published An Essay on the Application of Mathemati-
cal Analysis to the Theories of Electricity and Magnetism [31], [33, pp. 1-115];
an extract appears in [7, pp. 347-358]. In his introduction, Green discusses
previous work by other authors including Poisson, and writes that
although many of the artifices employed in the works before mentioned are remarkable
for their elegance, it is easy to see they are adapted only to particular objects, and that
some general method, capable of being employed in every case, is still wanting.
and
I OJ(x)4k(x)w(x) dx = 0 if X O Ak,
and that all eigenvalues are real; see [62, p. 433]. A much deeper analysis was
given by Charles Francois Sturm in 1836, who established many important prop-
erties of the eigenfunctions, as well as proving the existence of infinitely many
eigenvalues. Building on Sturm's work, Liouville showed in two papers from
1 836 and 1837 that an arbitrary function f could be expanded in a generalised
Introduction 7
Fourier series,
00
fo Oj (x) f (x)w(x) dx
f (x) = E cj¢j (x), where c; _
i_i f0 oj(x)2w(x) dx
SO (x) = f r
G(x, y)cp(y)dar for x E F.
Suppose that the minimum value of Jg over the class VM is achieved when
0 = 4/r. It follows that SJg (>/r, SO) = 0 for all Ski satisfying fr BO dQ = 0
and * + S4) > 0 on I', and therefore Si/r - g is constant on any component
of r where * > 0. Gauss showed that if g = 0, then Mfr > 0 everywhere
on I', and thus deduced the existence of an equilibrium potential from the
existence of a minimiser for Jo. He also showed that this minimiser is unique,
8 Introduction
and gave an argument for the existence of a solution 'i/i to the boundary integral
equation
The single-layer potential of this +/i is the solution of the Dirichlet problem for
the Laplace equation, i.e., u = SL i/r satisfies (1.7).
In a series of papers from 1845 to 1846, Liouville studied the single-layer
potential when I' is an ellipsoid, solving the integral equation (1.13) by adapting
his earlier work on the eigenvalue problem (1.12). Let w be the equilibrium
density for T, normalised so that Sw = 1. Liouville showed that if I' is an
ellipsoid, then
J(v) = I 1gradv12dx
Js
for v in a class of sufficiently regular functions Vg satisfying v = g on T, then
it seems obvious, because J (v) > 0 for all v E Vg, that there exists a u E Vg
satisfying
1 wLu dx = 0 whenever w = 0 on T.
Here, the extra restriction on w arises from the second of the constraints in
the minimisation problem. Weber showed that -Dug _ ,k1u, on Q, where
X, = J(ul). In fact, for an arbitrary v satisfying v = 0 on r, if we put
10 Introduction
v(-Du,) dx = - (w + au,)Au, dx
Js i Jc
au,
=a J(u,)-ui
frdv/
remembering that u, = 0 on F. Next, Weber minimised J (v) subject to three
constraints: the two previous ones and in addition fn vu, dx = 0. The minimiser
u2 is the next eigenfunction, satisfying -Du2 = A2u2 on S2, where 1A2 =
J(u2) > A,. Continuing in this fashion, he obtained sequences of (orthonormal)
eigenfunctions uj and corresponding eigenvalues Aj, with 0 < A, < A2
a.3 < --
Although simple and beautiful, Dirichlet's principle (in its naive form) is
based on a false assumption, namely, that a minimiser u E V. must exist
because J (v) > 0 for all v E V8. This error was pointed out by Karl Theodore
Wilhelm WeierstraB [7, pp. 390-391] in 1870, and the same objection applies
to the variational arguments of Gauss, Liouville and Weber. During the period
from 1870 to 1890, alternative existence proofs for the Dirichlet problem were
devised by Hermann Amandus Schwarz, Carl Gottfried Neumann and Jules
Henri Poincare; see Girding [25] and Kellogg [45, pp. 277-286]. We shall
briefly describe the first of these proofs, Neumann's Methode des arithmetischen
Mittels, after first introducing some important properties of the double-layer
potential,
A surface potential of this type appears in the third Green identity (1.10), with
= uIr; note the similarity with the general Poisson integral formula (1.11).
The double layer potential has a very simple form when the density is constant
on F. In fact
1 for x E Q-,
DL 1(x) = (1.15)
0 for x E Q+,
y+DL*-y-DLi/r=* on r;
cf. (1.6). Thus, if we let
then
onI'. (1.17)
and it can be shown that (provided the convex domain 0- is not the intersection
of two cones) for every continuous g there exists a constant a8 such that
maxI(Tmg)(x)
XEr
- (-1)ma.I < Cr"`, with 0 < r < 1,
m m
g+ T >(T2jg + T2j+lg) = T2m+2g + J:(T 2jg + T2j+lg)
j=0 j=0
u = a8 - 2 DL i/r.
In a paper of 1888 dealing with the Laplace equation, P. du Bois-Reymond
[20] expressed the view that a general theory of integral equations would be of
great value, but confessed his inability to see even the outline of such a theory.
(This paper, incidentally, contains the first use of the term "integral equation",
or rather Integralgleichung.) The various results known at that time all seemed
to rely on special properties of the particular equation under investigation. Only
during the final decade of the nineteenth century did a way forward begin to
emerge. In 1894, Le Roux [55] successfully analysed an integral equation of
the form
x
fJ
K(x, y)u(y) dy = f (x) for a < x < b,
n
Introduction 13
with a sufficiently smooth but otherwise quite general kernel K, and a right-
hand side satisfying f (a) = 0.'He constructed a solution by first differentiating
with respect to x, and then applying the method of successive approximations.
Two years later, Volterra [103, Volume 2, pp. 216-262] independently consid-
ered the same problem, using the same approach, and remarked in passing that
the integral equation could be looked upon as the continuous limit of an n x n
linear algebraic system as n -* oo.
Volterra's remark was taken up by Ivar Fredholm [23] in a short paper of 1900,
which was subsequently expanded into a longer work [24] in 1903. Fredholm
considered an integral equation of the form
-*-).T* = 2f on F. (1.20)
D (X) = 1+ A J K (y, y) dy
0
A2
K(yi, yi) K(yi, y2) (1.21)
+ 2! Jo Jo K(y2, yi) K(y2, y2)
+ nln E ... E
ki=1
K (xk, xk ) I
which has the same determinant as the original equation (1.19). He proved
that if D(A) has a zero of multiplicity m at A = Ao, then for this value of the
parameter the two homogeneous equations, i.e., (1.19) and (1.22) with f and
g identically zero, each have m linearly independent solutions. In this case,
the inhomogeneous equation (1.19) has a (non-unique) solution u if and only
if fo1 f (x)v(x) dx = 0 for every solution v of the transposed homogenenous
equation. The above dichotomy in the behaviour of the two integral equations,
corresponding to the cases D(A) # 0 and D(A) = 0, is today known as the
Fredholm alternative.
The simplicity and generality of Fredholm's theory made an immediate
and lasting impression, not least on David Hilbert, who, during the period
1904-1906, made important contributions that later appeared in his influen-
tial book [39] on integral equations. Hilbert was especially interested in the
Exercises 15
case when the kernel is symmetric, i.e., when K is real-valued and satisfies
K (y, x) = K (x, y) for all x and y. The zeros of the determinant are then purely
real, and f o r m a nondecreasing sequence a.i, X 2 ,--- , counting multiplicities.
For each j there is a non-trivial solution i/rj of the homogeneous equation with
A = Al, and the sequence i/ri, *2, ... can be chosen in such a way that the
functions are orthonormal:
1 if j = k,
,/r j (x)1//k(x)dx = 8jk =
J
f 10 if J ' 54 k.
i t 1 t
f f K(x, y)u(x)v(y) dx dy = -1 * (x)u(x) dx
j>I
x f
0
f(y)v(y) dy,
Exercises
1.1 Show that if f is a radially symmetric function, say f (y) = F(r) where
r = Iyj, then the Newtonian potential (1.4) is radially symmetric, and is
given by u(x) = U(p), where p = IxI and
U(p) = 1f
P o
a
F(r)r2 dr + f p
00 F(r)r dr.
-Au(x)=--- (P2UF(p)=f(x)
--
16 Introduction
a ifp < a,
SL 1(x) =
a2/p ifp > a,
and verify that the jump relation (1.6) holds in this case.
1.3 Fix x, y E 0 with x # y, and for any sufficiently small c > 0 let 9E
denote the region obtained from S2 by excising the balls with radius E
centred at x and y. By applying the second Green identity (1.9) to the
functions Gr(x, .) and Gr(y, ) over E. and then sending e 0, show that
Gr(x, y) = Gr(y, x).
2
Abstract Linear Equations
Later in this book, we shall reduce elliptic boundary value problems, and also
their equivalent boundary integral formulations, to operator equations of the
form Au = f, with A a bounded linear operator from a Hilbert space into its
dual. The ellipticity of the partial differential equation will imply that A is the
sum of a positive-definite operator and a compact operator (the latter possibly
zero). Our aim now is to study such operators abstractly, using techniques from
functional analysis. We begin by considering some topics that can be understood
more clearly in a less restricted setting. In fact, we shall develop the concept of
a Fredholm operator acting between two Banach spaces, even though it would
suffice for our later applications to consider only operators with index zero
acting between Hilbert spaces. At the end of the chapter is a short treatment of
spectral theory, covering just the simplest cases, namely, self-adjoint operators
that are compact or have a compact inverse.
We shall use c and C to denote small and large generic constants, whose
values may change even within a single chain of estimates, but with c always
bounded away from zero, and C always bounded away from infinity. If II II and
11 II' are norms on a vector space X, then we write
to indicate equivalence of the norms, i.e., c II u II x < II u II' < C II u II x for all u E X.
The reader should also note that our sesquilinear forms, and in particular our in-
ner products, are conjugate-linear in the first argument, and linear in the second.
A familiarity with basic concepts and results from general topology and
linear functional analysis is assumed, but some effort will be made to refresh
the reader's memory. The theorems that we cite without proof can be found in
virtually any textbook on functional analysis; Yosida [106] and Simmons [94]
will serve as our standard references.
17
18 Abstract Linear Equations
The Kernel and Image
Suppose that X and Y are complex vector spaces, and let A : X -+ Y be a
linear map. The kernel (or null space) of A is the subspace of X defined by
Au = f.
It follows at once from the definitions above that a solution exists if and only
if f E im A, in which case u is unique modulo ker A, i.e., any two solutions
differ by an element of the kernel. Thus, the inverse A-1 exists if and only if
kerA = {0} and im A = Y.
Recall that if W is a subspace of X, then the elements of the quotient space
X1 W are the cosets u + W = {u + w : w E W), and the vector space operations
in X/W are given by
defined by
A/ (u + ker A) = Au for u E X.
IlAullr
IIAIIc(x.Y) = sup
OuEX Ilullx
Ilu+Wllx/w = WEW
inf Ilu+wllx
Theorem 2.1 Suppose that X and Y are Banach spaces, and let A E £(X, Y).
If im A = Y, then A is an open mapping, i.e., A maps each open subset of X
to an open subset of Y.
The proof of this result uses a Baire category argument, and can be found
in [106, p. 75] or [94, p. 236]. Since a function Y -+ X is continuous if and
only if the pre-image of every open set in X is open in Y, and since a closed
subspace of a Banach space is again a Banach space, the next corollary follows
at once.
Corollary 2.2 Suppose that X and Y are Banach spaces. If A E £(X, Y), then
the following conditions are equivalent:
Duality
If X is a normed space, then we denote its dual space by X*. Thus, X*
£(X, C) is the space of bounded linear functionals g : X -). C. We shall write
(g, u) = g(u)
For a proof, see [106, p. 1061 or [94, p. 228]. Zorn's lemma or another
equivalent of the axiom of choice is needed unless one introduces some extra
assumption(s), such as that X is separable.
We now establish a few simple consequences of Theorem 2.3 that will be
used later. If u E X and W e X, then the distance between u and W is defined
Duality 21
by
Proof Put d = dist(u, W), and assume that d > 0. It follows that u 0 W, and
we may form the direct sum Wl = W ® span{u}. Define g E W* by
so II g 11 w; < 1. Moreover, given c > 0, there is,a w E W such that d < II u - w II x <
d+E,andthusd= I(-1)d1= I(g, w - u)I -11g11w1. 11w - ullx < IIg11w; (d+E),
implying that IIg II w; > d/(d + E). Hence, 11g II w; = 1, and we can complete the
proof by applying Theorem 2.3.
(g,u)=Ilullx and
Proof. Take W = (0), so that dist(u, W) = IIu11x. 0
Corollary 2.7 The dual space X* separates the points in X, i.e., for all u, u E X,
if u # v, then there exists a functional g E X* such that (g, u) # (g, v).
From (2.1) and Corollary 2.6, we see that II Lu II X.- = II u II x, sot is an isometric
isomorphism from X onto a subspace t (X) in X**. This fact allows us to identify
X with i (X), and write
X C X**.
IIA`II,c(Y*,x*) = IlAllc(x.Y)
A`v =g
for a given g E X* and an unknown v E Y*. To describe the relationship between
the two equations, we use the following terminology. For any subset W c X,
the annihilator W a is the closed subspace of X* defined by
Wa=(gEX*:(g,u)=0foralluEW).
Dually, for V C X* the annihilator IV is the closed subspace of X defined by
aV={uEX:(g,u)=0forallgE V}.
Lemma 2.10 The kernels and images of A and At satisfy
and likewise
so by Lemma 2.10,
The question now arises as to when the reverse inclusions also hold. The next
two lemmas will help to provide us with the answer.
24 Abstract Linear Equations
Lemma 2.11 Let X be a normed space. A subset W c X satisfies W = (W a)
if and only if W is a closed subspace of X.
so J2 is an isometric isomorphism. 0
We are now ready to prove the main result for this section. Here, the key point
is that if the image of A is closed, then a necessary and sufficient condition for the
equation Au = f to be solvable is that the given right-hand side f be annihilated
by every solution v of the homogeneous transposed equation Atv = 0.
Theorem 2.13 Suppose that X and Y are Banach spaces. For A E £(X, Y),
the following conditions are equivalent:
(i) im A is closed in Y.
(ii) im At is closed in X*.
(iii) im A = a(ker At).
(iv) im At _ (ker A) a.
A/:X/kerA-*imA.
Likewise, At gives rise to a bounded linear operator
in the following way. Since ker At = (im A) a, and since ker A is a closed sub-
space of X, Lemma 2.12 yields isometric isomorphisms
so ifuEXandvEY*, then
where, in the final step, we used the fact that im(At)/ = im At C (ker A)'.
Thus,
and then use the Hahn-Banach theorem to extend v to a bounded linear func-
tional u on all of Y. In this way,
(g, u) = (JZg, u +kerA) = (JZg, A/ 'Au) = (v, Au) = (u, Au) = (Atv, u)
for all u E X, so g = Atv E im At, and thus (ker A)' C im At, as required.
Compactness 27
Compactness
Let us recall some facts about compact subsets of metric spaces. Suppose that
a set X is equipped with a metric Ix. An open cover of a subset W C X
is a family of open subsets of X whose union contains W. We say that W is
compact if every open cover of W has a finite subcover. Every compact set
is closed. If W, the closure of W, is compact, then W is said to be relatively
compact. For e > 0, an E -net for W is a finite subset (w 1, ... , c W with
the property that for each w E W there exists an index i = i(w) E (1, ... , n}
such that Iw, w, Ix < e. If W has an E-net for every e > 0, then W is said to be
totally bounded. Every totally bounded set is bounded.
Theorem 2.14 In any metric space X, the following three statements are equi-
valent:
11fIIc(x) =maxIf(x)1.
For a proof, see [106, p. 85] or [94, p. 126]. There is an analogous charac-
terisation of the relatively compact subsets of Lp(R"); see [106, p. 275].
Theorem 2.16 For 1 < p < oo, a subset W is relatively compact in L p (R") if
and only if the following three conditions are satisfied:
Suppose now that X and Y are normed spaces. A linear operator from X into Y
is said to be compact (or completely continuous) if it maps every bounded subset
of X to a relatively compact subset of Y. Every compact operator is bounded.
Also, any linear operator with a finite-dimensional image is compact, because
in a finite-dimensional normed space every bounded set is totally bounded. It
follows from Theorem 2.14 that a linear map K : X -+ Y is compact if and
only if every bounded sequence ui in X has a subsequence up such that Ku J.
converges in Y.
In the light of the Arzela-Ascoli theorem, if K : C [0, 1 ] -+ C [0, 1 ] is com-
pact, then we expect Ku to be smoother than u, and so it is not surprising that
many integral operators are compact. Similarly, we shall see later that, in the case
of a partial differential operator acting between appropriate Sobolev spaces, the
lower-order terms give rise to only a compact perturbation of the principal part.
Compactness 29
Given our earlier study of duality, it is natural to ask about the compactness
of the transpose.
because the w j are bounded in Y *, and II u II x < 1. Thus, l vJ (f) 1 < C for f E
K(U), and
Ivi(fi) - vi(f2)I = 1(wi, .fi - f2)I < Cllf - f2llY for fi, f2 E K(U),
Proof Choose any v E X \ W, put d = dist(v, W), and note that d > 0 because
W is closed. Given E E (0, 1), choose WE E W such that d < II v - wE II <
d/(1 - E), and put u = Ilv - wE II- (v - wE). Obviously (lull = 1, and for all
W E W,
For emphasis, the symbol C is used below to denote strict inclusion, i.e., for
any sets V and W, we write V CW if and only if V c W and V W.
A=I+K.
(i) For each n > 0, the subspace V, = ker A" is finite-dimensional.
(ii) For each n > 0, the subspace W = im A" is closed.
(iii) There is a finite number r such that
(0)=VocVic...CV,.=Vr+1 = ..
Compactness 31
and
W'- =W'-+1= .
(iv) X =Vr®Wr.
so II Ku,,, - Ku,, II > dist(u,,, V,,) > ; and hence no subsequence of Ku,,
converges. This contradiction implies that V = V,,+1 for some n, and we
define r = min{n : V,, =
Next, one easily verifies that W,, 2 W,,+1, and that if Wr, = Wr,+1 for some r',
then W,, = for all n > r'. Suppose for a contradiction that no such r' exists,
i.e., assume W,, W,,+i for all n. By Lemma 2.18, we can choose u E W such
that 11 u, II = 1 and dist(u,,, W,,+1) > 2. If n > m, then
Ku" - Ku,,, = u,,, - (Au,,, + u,, - Au,,) = u,,, - (an element of W,,,+1),
Fredholm Operators
Throughout this section, we shall assume that X and Y are Banach spaces. A
bounded linear operator A : X --± Y is said to be Fredholm if
Fredholm Operators 33
F. Noether [80] introduced the term "index" in the above sense for a concrete
class of singular integral operators.
In finite dimensions, the index depends only on the spaces, and not on the
operator.
ajk =
I ifl<j=k<r,
0 otherwise,
uHu+kerAHAuHAu+kerBH BAu,
X -* X/ ker A - Y -+ Y/ ker B -k Z.
Therefore, it suffices to consider two special cases:
Y=YA0imA=YBED ker B.
We define
Next, we define
and, remembering that dim(Z/ im B) = 0 = dim ker A, the formula for the
index of BA follows.
The next result encapsulates, in the present abstract setting, the main conclu-
sions of Fredholm's original theory of second-kind integral equations.
Proof. Suppose that B is a left regulariser for A. Since ker A c ker(BA), and
since BA = I + Kx has a finite-dimensional kernel by Theorem 2.19, we see
that ker A is finite-dimensional. Now suppose for a contradiction that im A is
not closed. By Corollary 2.2, there is a sequence uj E X such that
By Exercise 2.4, we can assume that the uj are bounded, and hence obtain a
subsequence uj, such that Kxuj, converges. Since Auk' -± 0, it follows that
36 Abstract Linear Equations
BAu y --s 0 and so u!- = BAu j. - Kxu , converges; say uj' u. On the one
hand, Au = lim Au/' = 0, so u E kerA, but on the other hand u/' + kerA -*
u + ker A, so II u + ker A II x/ ker A = 1, a contradiction. Thus, (i) holds, and then
(ii) follows by duality using Theorem 2.13.
(i) A is Fredholm.
(ii) A has a left regulariser and a right regularises.
(iii) A has a two-sided regulariser.
Proof. Since (iii) trivially implies (ii), and since Lemma 2.23 shows that (ii)
implies (i), it suffices to prove that (i) implies (iii). Thus, assume A is Fredholm.
Since ker A and Y/ im A are finite-dimensional, there is a closed subspace XA c
X and a finite-dimensional subspace YA g Y such that X = XA ® ker A and
Y = YA ® im A. Let P denote the projection of X onto ker A parallel to XA,
and let Q denote the projection of Y onto YA parallel to im A. The operators
P and Q are compact because their images are finite-dimensional. We define
a Banach space isomorphism A I : XA -+ im A by A l u = Au for U E XA, and
then define B = A7'(I - Q) E £(Y, X). Since
Since
IIuIIx Ilullx.
Throughout this and the preceding two sections, we could have worked with
and A* in place of and At. For instance, we can state the celebrated
Fredholm alternative as follows.
Proof The result follows at once from Theorem 2.13 and the definition of the
index.
Hilbert Spaces
Let H be a vector space equipped with an inner product H, and denote the
induced norm by
Proof. Let d = dist(u, W), and choose a sequence v E W such that 11u -
vn II H -+ d. By the parallelogram law (Exercise 2.8),
11 12
U II H > dist(u, W) = d,
and hence
11 V.,
- u,IIH < 2(Ilv,,, -up H -d2)+2(lly -ullH -d2).
Therefore, v,1 is a Cauchy sequence, and since W is closed, we deduce that
v -+ w for some w E W, with Ilu - wIIH = Ilu - v IIH = d, as
required.
To show uniqueness, suppose that wI, W2 E W satisfy
Using the parallelogram law as above, with v,,, and v replaced by wl and W2,
we find that
I1w1-w2IIH<2(I1w,-u11H-d2)+2(11w2-uIIH-d2)=0,
So W1=w2. O
H=W® W.
The operator P is called the orthogonal projection of H onto W.
Given U E H, the inner product determines a bounded linear functional i 1u E
H*, given by
: H -+ H* is a conjugate-linear isometry.
we see that II c i u II H = II u II H, so L l
The next result, known as the Riesz representation theorem, shows that t] is
onto, and hence invertible.
Theorem 2.30 Let H be a Hilbert space. For each f E H* there exists a unique
u E H such that
Furthermore, 11 .f 11 H = 11 U 11 H
Hilbert Spaces 41
0=(u1,v-(f,v)u1)H=(u1,v)-(f,v)IIu111H,
so u = 11U111 H2 u 1 has the required property. Uniqueness is immediate from
Exercise 2.9.
The Riesz representation theorem shows that we can make H* into a Hilbert
space by defining
(12t1u,f)=(t1u,f)H==(LI'f,u)H=(f,u).
Thus, 1211 coincides with the natural imbedding of H in H**, and we see that
every Hilbert space is reflexive. When H is equipped with a conjugation, the
norm in the dual space can be written as
I (f, u)I
11P H' = sup for f E H* and u E H.
00-EH IIuIIH
or equivalently, (tu, v) _ (u, V)H. Using t, we can identify H with H*, ob-
serving that in this way the inner product coincides with the sesquilinear
form
We conclude this section with one other important fact about Hilbert spaces.
(See [106, p. 126] or [94, p. 233] for generalisations to Banach spaces.) Given
42 Abstract Linear Equations
any sequence ul in H, if
Coercivity
Consider a Hilbert space V and a bounded, sesquilinear form (D : V x V C.
Thus, '(u, v) is conjugate-linear in u, is linear in v, and satisfies
A* : V -+ V * is given by
Re 4(u,u)>CIIully foru E V.
Notice that Re *(u, u) = Re b(u, u), so 4 and A are positive and bounded
below on V if and only if the same is true of V and A*. In this case, we can
apply the celebrated lemma of Lax and Milgram [54].
Hence, ker A = (0), and Corollary 2.2 shows that im A is closed. Likewise,
ker A* = (0), so in fact im A = V* by Theorem 2.13.
Combining Theorem 2.26 and Lemma 2.32, we immediately obtain the main
result for this section.
VcHcV*,
and say that H acts as a pivot space for V. Note that the original meaning of
(u, v), as the inner product of the vectors u and v in H, is consistent with its
second meaning, as (u, v) for a functional u E V* and a vector v E V, i.e., the
two interpretations agree if u E V.
We say that 4) and A are coercive on V (with respect to the pivot space H) if
The next result then follows at once, as a special case of Theorem 2.33.
ker(AI-A)={o EX : Aq=X¢}
is precisely the eigenspace corresponding to the eigenvalue A. In general, it can
happen that some elements of the spectrum are not eigenvalues of A.
Now suppose that H is a pivot space for V, take X = V and Y = V*,
and assume that A : V -+ V* is self-adjoint. The eigenvalues of A must be
purely real, and any two of its eigenvectors with distinct eigenvalues must be
orthogonal, as the following elementary arguments show. If Ao = A0 and
¢ # 0, then
'XIIo112 ()'O,
= (0, ?4) = (0, AO) = (AO, 0) = 0) =1110112,
so A i.e., A is real. Also, if A41 = A 14' and A402 = A24'2, with A l # A2,
then
(A1 -12)(01,02) = (1101, fit) - (4'i, X24'2) = (A4',, 02) - (0i, A4'2) = 0,
so (4'1, 02) = 0.
Next, we further restrict our attention to the case when V = H = V *, and
consider a compact self-adjoint operator K : H ->. H. The spectral theory for
such operators follows in a remarkably simple manner from the next lemma.
Here, and in the proof of the next theorem, II II always denotes either the norm
in H or the norm in £(H, H); no other norms occur.
46 Abstract Linear Equations
Lemma 2.35 If K : H -+ H is compact and self-adjoint, then
Proof We can assume that II K II > 0, because otherwise the result is trivial.
Choose a sequence uj in H such that
so
11KIl2(IFKII` - IIKu;ll2),
and therefore
K2u;-IIKIl2u;-+
0.
On the other hand, the compactness of K implies that, after passing to a subse-
quence uj,, there exists u E H such that
K2u;- -+ IIKIl2u.
Ku = µj (*j, u)*j,
i>1
Proof Assume IIKII > 0, because otherwise the result is trivial. Note also
that if A is any non-zero eigenvalue of K, then the corresponding eigenspace
ker(AI - K) = ker(I - .X-1 K) is finite-dimensional by Theorem 2.19. Thus,
we have orthonormal bases *1, ... , *1i1 and *1+1, ... , *,,,, for the eigenspaces
associated with the eigenvalues II K II and -11 K 11, respectively. (It may happen
thatl=Oorm1,butm1 > 1.) Put
µ1=...=p.,=IIKII and 11t+1=...=µ,n, =-IIKII,
so that
If II Kr II = 0 for some r, then we are done with the proof of (v). Otherwise,
also for all w E W, i.e., u E W1. Conversely, if u E W1, then (ifj, u) =0 for
all j, so Ku = 0 by (v), i.e., u E ker K. Thus, ker K = W1.
Au = T,),j(0j,
00 u)oj (convergence in V*).
j=t
Proof Let the constant C be as in the coercivity bound (2.7), so that the
bounded, self-adjoint linear operator A + C : V -* V* is positive and bounded
below. By Lemma 2.32, the inverse (A + C)-' : V* -+ V exists and is bounded,
and the restriction K = (A + C)-' I v is compact from V into V, because the
inclusion V C V* is compact. The operator K is also self-adjoint with respect
to the energy inner product for A + C, because
4j = 1
µj
*j and k=1
Aj
- C,
so that (0j, 4k) = Sjk and Aq5j = (A + C)1 5j - Ccj = Xjoj. The eigen-
functions ilrj, and hence also the Oj, span a dense subspace of V because
ker K = {0}. Parts (i)-(iii) now follow because V is dense in H, and A j .. 0
as j -* oo. Moreover, if u E V, then
00 00
,/,
u = j(1/rj, u)A+Cifj = E(4j, u)Oj, (2.8)
j=1 j=1
Corollary 2.38 If, in addition to the assumptions of Theorem 2.37, the opera-
tor A is strictly positive-definite, i.e.,
then
(i) the eigenvalues are all strictly positive: 0 < a.1 < A2 < A3 < ...;
(ii) the operator A is positive and bounded below on V, and the energy norm
for A is given by
00
(A-'f, f) = 1: X-
00
Taking f = Au gives the formulae for (1 U II A and II f 11 A-1, because (f, 0j) _
(Au, g5j) _ (u, A0j) = Aj(u, Oj) and hence (0j, u) = Aj 1(0j, f). Finally, by
the Cauchy-Schwarz inequality,
oc
CIIfIIA-1Ilully,
I(f,u)1 < a 1/2(f, 0 1 ) A 2 ( 0 , u) _<
II f II C II II II V C II II A and
and bounded below.
Our final result can be viewed as a special case of the Fredholm alternative.
(A -),)u = f,
where the assumptions of Theorem 2.37 hold.
(i) If l 0 (X 1, 12, A3, ... }, then the operator A - A : V --+ V* has a bounded
inverse, and the unique solution u E V is given by
u=(A-A)-, f=E(0j,.f4j
00
Xj - JL
j=1
(ii) If .l E (A1, ,X2, A3, ...}, then a necessary and sufficient condition for the
existence of a solution u E V is that
u- 1: ajoj +E (0j,f)0j,
xi=x Al 741
'Xj -'X
Bx f = (0j) f)
x #z Aj -
IVBxf ll v - 0,I(O;,
A Bxf)12 = Aj -'X
J=1 x;#x
2
A' f) 12
sup( j -'X )
x;5ex E
x,x
Aj 1I(0j, <- C11f112
In fact, (A - A)u = 0 if and only if (0j, (A - A)u) = 0 for all j, and since
Exercises
2.1 Show that for a normed space X to be complete it is necessary and suffi-
cient that, for every sequence uj in X, if the numerical sum EJ__1 IIuj I1x
Exercises 53
1 if j = k,
(gj, Ilk) = Sjk =
0 ifi 0k.
(ii) Show that with uj and g j as in (i), we can define a projection P : X -
X by
If
(iii) Let V = span{u t, ... u } and w = n;=1 ker g j. Show that P is the
projection of X onto V, parallel to W.
(iv) Suppose that W is a closed subspace of X, and that the cosets u I+
W, ... , un + W form a basis for the quotient space X1 W. We may
therefore define functionals g1, . . . , g,, in (XI W)* by (9j, uk+W) =
Sj k . Show that any set of representatives {u 1, ... , un } must be linearly
independent, and deduce that
n
Pu=E(gj,u+W)uj
j=1
I
II(1- A)-' Ilc(x vi <
1- IIAIIc(x,x)
(ii) Show that if A E .C(X, Y) has a bounded inverse A-' E C(Y, X), and
if E E C(X, Y) satisfies II EII c(x,Y) < 1/IIA-' IIc(Y,x), then A + E
has a bounded inverse, and
IIA-' II c(Y,x)
II (A + E)-' II c(Y,x) <-
1 - IIA-' Ilc(Y,x)IIEIIc(x,Y)
(Ku,u)>0 foruEH\(0),
and define V to be the Hilbert space obtained by completing H in the
energy norm
1 /2
/T
57
58 Sobolev Spaces
Convolution
In this section only, SZ may be any (Lebesgue) measurable subset of R" (n > 1)
with strictly positive measure; throughout the rest of the book, cZ is always
assumed to be open. The Banach space L p (St) is defined in the usual way, with
I/p
IIIIL,,(n) = (
\ sz
f Iu(x)Ipdxl
/
) for l < p < oo,
and with II u II La, (ca) equal to the essential supremum of u over Q. We define
v*u=u*V.
Convolution 59
The following theorem gives simple criteria for the existence of the convolution.
Theorem 3.1 Let 1 < p < oo, 1 < q < oo and 1 < r < oo, and suppose that
-+-=1+-.
1
p q r
1 1
(3.4)
RR"
IIu * VIIL,.(R") < II1IIL,(R") (3.5)
=f "
Iv(Y)IIIuIIL,(R")dy = IIuIIL,(R'1)IIVIIL,(R"),
Now drop the assumption that u, v and 0 have compact support, define
1 if Ix I < j,
Xr (x)
0 if Ix I > j,
< IIuIILp(R")IIVIILq(R")II4IIL,.(R")
p 1/p
cvp(t,u)=sup(J lu(x+h)-u(x)Ipdxl fort>0 and
Ihl<r Ilk" /
1 < p < oo. 3.6)
It can be shown that, for 1 < p < 00, if u E L p (IR" ), then cop (t , u) 0
as t J, 0.
Theorem 3.2 Let I < p < 00. If U E L p (IR") and V E L p. (IR"), then u * v
is uniformly continuous on IR". If, in addition, p 1, then (u * v)(x) -* 0
as I x l -+ oo.
f
yl>R
u(Y)Pdy < Ep and J
yl>R
v(Y)I'dy < E',
andso(u*v)(x)-*OaslxI oo.
Differentiation 61
Differentiation
Let S2 be a non-empty open subset of R". If a function u : Q -* C is sufficiently
smooth for them to exist, then we denote the partial derivatives of u by
'a I an
aau(x) ...
(ax, (ax")u(x),
and we put
u(k)(x;
(3.7)
Y)
lal=k
a 8,U(X)Y"
where a! = a1 ! . a,,! and ya = y;' yin. In this way, Taylor's formula may
be written as
k
u(x + y) = 1 u1i)(x; y) + 1
k! J0 (1 - t)kulk+i)(x + ty; Y) dt;
1 (3.8)
I!
see Exercise 3.5.
For any integer r > 0 we let
and put
C°°(Q) = n cr(ci).
r>0
Next, we define
and
Theorem 3.3 Let r > 0 and 1 < p < oo. If U E Ccomp (R") and V E Lp (R),
then u * v E Cr (R") and
aa(u*v)=(a1u)*v
for lot I < r.
Proof The case r = 0 follows from Theorem 3.2. Suppose r = 1, and consider
the difference quotient with respect to the Ith variable,
where e,, ... , e" are the standard basis vectors for R". It is easy to see that
01,h (u * v) = (A1,,, u) * v, so for every x E IR
11
Since u is C1 and has compact support, we have Dj,i,u -> aju in Lp.(R"), and
thus 81 (u * v) = (a1u) * v. A simple inductive argument proves the result for
the general case r > 1.
*>0onIlk", *(x)=0forIx1> 1,
Jf *(x)dx=1;
(3.9)
Theorem 3.4 Let 1 < p < oo. If `/. E is as above, and if u E L p (R" ), then
11 *c * uII Lp(1R") < IIUIIL,,(R") and II'/'E * U - uII L,(R") < co,,(, Eu),
so VE * u u in Lp(R") as e 4. 0.
Since II U II L,,(s,\K) --). 0 as j -+ oo, and since cop (E, uj) -* 0 as c -* 0 for
each fixed j, the result follows.
We can also use convolution to smooth out the characteristic function of a set.
Theorem 3.6 Let F be a closed subset of R". For each E > 0, there exists
XE E C°°(R') satisfying
XE (x) = 1 if x E F,
0 < X, ,(x) < 1 and I aaXE (x) I < CE-IaI if 0 < dist(x, F) < E,
XE (x) = 0 if dist(x, F) > E.
Proof Define vE E L°O(]R") by
J1 if dist(x, F) < E,
VE(x)
0 if dist(x, F) > E,
so that vE = I on a neighbourhood of F, and choose 1/r E C mp(R) sat-
isfying (3.9). With the help of Exercise 3.4, one sees that the function XE _
*E/a * VE/2 has the required properties.
Schwartz Distributions
A (measurable) function u : 0 -* C is said to be locally integrable if u is
absolutely integrable on every compact subset of Q. We denote the set of all
such functions by L1,1oc(52). The following observation is the starting point for
the theory of distributions.
Proof. Let K C= 52, and choose an open set 521 such that K C= S21 c S21 Cc Q.
We define f E L1(R") by
u(x) - v(x) if x E 521,
J
f(x)= 0 ifxER"\521,
and let 'YE be as in Theorem 3.4. There is an co > 0 such that if x E K
and 0 < E < co then (x - -) E C mp (521) and therefore (Vi, * f) (x) =
Yk E
cj -+ 0 in S(Q)
8'Oj -* 0 uniformly on K.
When, for a fixed K, this condition holds for all a, and in addition supp c! c K
for all j, we write
cj - 0 in DK (S2).
Suppose that 921 is an open subset of 0, and for any ¢ E D(921) let E
D(92) denote the extension of ¢ by zero. For any distribution u E D*(92) the
restriction u I n, E D* (921) is defined by
Theorem 3.8 The space E* (S2) coincides with the space of distributions having
compact support, i.e.,
Proof Suppose that u E D*(S2) and supp u C= S2. By Theorem 3.6, there is
a X E D(l) with X = 1 on a neighbourhood of supp u. We define a linear
functional ii on E(52) by putting
for ¢ E E(SZ),
The restriction map u r-+ u In, is just one of many linear operations that
can be extended from functions to distributions. For instance, to define partial
differentiation of distributions one formally integrates by parts:
Here, the sequential continuity of 8au follows at once from the fact that if
¢j 0 in D(S2), then 8a0j ->- 0 in D(S2). Also, we define the complex
conjugate u E D*(S2) of U E D*(S2) by
(u, On = u(x)v(x)dx,
Jsi
by putting
When S2 = l(8", we just write (u, 0). The convolution of a distribution with a
test function is defined in the obvious way,
In each of the above examples, Theorem 3.7 guarantees that the generalised
concept is consistent with the classical one. For instance, if the classical partial
derivative aj u exists and is locally integrable on 0, then 8i (cu) = c (a; u), where
i is the imbedding defined in (3.11).
Distributions are a powerful conceptual tool for the study of partial differ-
ential equations, and provide, in particular, a very effective system of notation.
Fortunately, we shall require few technical results from the theory of distribu-
tions. However, the following fact will be used.
u = E ac a"3,, on 0,
1" I <n,
where the coefficients are given by a" = (-1)I"1 (u, (. - x)') /a!.
Proof Denote the open ball with centre x and radius c > 0 by
and choose co > 0 such that the closed ball K = B,,,(x) is a subset of 0. By
Fourier Transforms 69
41(Y) _
m
li 0(j) (X; Y - x) _ a"4)x)(Y - x)a
J=l
j! la15,n
a
and
aa(8*3 ,
laI<m
I (u, 02)1 < C E sup Ia"(xE4)2)I < C E Elal-m sup 18"4)2(Y)i < CE
lal5nn K lal<m lY-1:5's
Fourier Transforms
To motivate the definition of the Fourier transform, we begin with some heuristic
remarks on multiple Fourier series. Given L > 0, we say that a function u
1[8" -> C is L -periodic if
such a function as being defined on the additive quotient group TL = R" / (L7G" ),
and introduce the L2 inner product
1L"
u(x) = 1: (Ok, u)r bk(x) =
uL(kIL)e'22r(k/c).X,
(3.14)
kEZ" kEZ
where
UL( ) = e-ibrg-xu(x)dx.
JaI
The analogous expansion for a non-periodic function can be viewed as arising
in the limit as L -+ 00. If U E L 1(1R' ), then we define its Fourier transform u =
2u by
and expect from (3.14) that, under appropriate conditions, u = .F*u, where.F*
is the adjoint of the integral operator T, i.e.,
Theorem 3.10 If both u and u = 'Fu belong to Li(R"), then the Fourier
inversion formula (3.15) is valid at every point x where u is continuous.
Fourier Transforms 71
Proof. Let *(x) = e-"1"12 and `YE (x) = E-"* (e -'x). Exercise 3.11 shows that
1/r is invariant under the Fourier transform: F* = 1/r = -7-1*. Therefore, by
Exercise 3.12, j and .F*1i E _ 'YE In other words, the inversion
formula is valid for *E, implying that
d = d
J
R11 fR. Cfa l.
= fit" u(Y) J d dY
f,u(Y)*E(x - Y)dy
f [u (x - y) - u(x)]*E(Y)dy
Iu(x - y) - u(x)IfE(Y)dy
lyl<&o
+ fyl>-So
Iu(x - y) - u(x)I*E(y) dY
< Eo f *e (Y) dY
+ (f
\ at^
Iu(x - y) - u(x)I dy) sup *E(Y)
lyl?ao
"(60/E)'
Eo +2IIuIIL,(R^)E-"e
¢j -+ 0 in S(R't)
to mean that, for all multi-indices a and 0,
and F:,,g[(-i27rx)"O(x)}
(3.17)
.F : S(R") -* S(R").
and the elements of S*(R"), i.e., the continuous linear functionals on S(IR'1),
are called temperate distributions. A sufficient condition for a function u E
LI,,,,(R") to be a temperate distribution is that it is slowly growing: u(x) _
O (Ix I'') as Ix I -+ oo, for some r. The formulae
are obviously valid if both u and 0 belong to S(R"), and serve to define exten-
sions
Theorem 3.12 The Fourier transform and its adjoint determine bounded linear
operators
n
.F: L2(R") -a L2(R") and F* : L2(R") -+ L2(
Corollary 3.13 The Fourier transform preserves the L2-norm: III fIL,(R'") _
IIuIIL2(1R")
V) W) =
Ja
Another important fact about the Fourier transform is its effect on convolu-
tions: if u, v E L (Ilk") then
J u(x - y)v(Y)dydx
f f e-1br(x-y)-4u(x - y)
aw
= h()v()
J
dy
Ilullw;,(12) _ (tr1PdX)
To define Sobolev spaces of fractional order, we denote the Slobodeckil semi-
norm by
Notice that the integrand is the pth power of lu(x) - u(y)I/lx - yliL+"/p, so
for p = oo we get the usual Holder seminorm. For s = r + µ, we define
Ilullw;(n) = E Iaaulµ.P",
Ia1=r
For any integer r > 1, the negative-order space WT (S2) is defined to be the
space of distributions u E D* (Q) that admit a representation
\ i/p
where the infimum is taken over all representations of the form (3.19). Using
Holder's inequality, it is easy to verify that
In this book, we will rarely use Sobolev spaces with p 2, and so adopt
the abbreviation W1 (Q) = W2 (Q). For any integer r > 0, the norm in W"(n)
arises from the inner product
and likewise if s = r + p then the norm in W' (0) arises from the inner product
(u, v) W, (a)
_ (u, v)W, f fn
IaI=r si
[aau(x) - aau(y)l[aav(x) - a,v(y)]
yI11+2u
Ix -
dx dy.
In this way,
for all u, v E S (R"), giving a natural extension of the Bessel potential to a linear
operator ?5 : S* (W) -+ S* (WI) on the space of temperate distributions.
76 Sobolev Spaces
H°(R") =L2(R").
Several facts about HS(R") follow immediately from standard properties
of L2(R ). For instance, HS(R") is a separable Hilbert space, and D(R") is
dense in HS(R") because ,75[S(R')] = S(R") is dense in L2(R"), and the
inclusion D(R") c S(W) is continuous with dense image. Also, one sees
from (3.2) and (3.3), with p = 2, that H-S(R") is an isometric realisation of
the dual space of HS (RII ), i.e.,
and
sup
I(u, v)1 = sup
1(u, v)I
OOVEH3(R") IIuIIH=(R") o#vEH=(R") IIVIIHI(R")
for U E H-'(RI). Plancherel's theorem (Theorem 3.12) and (3.20) imply that
so if s < t then IIuIIH=(R") < IIuIlH,(R") and hence H'(R") c HS(R"). This
inclusion is continuous with dense image.
For any closed set F C R", we define the associated Sobolev space of order s
by
HF.=(uEHS(R"):suppucF),
Sobolev Spaces - Second Definition 77
P=P,,n: HS(R")-f
which satisfies
because if U In = u then
which we make into Hilbert spaces in the obvious way, by restriction of the
78 Sobolev Spaces
so (u, v)c is well defined for u E H-s(S2) and V E H'(S2). We claim that
(lu)(v) _ (u, v)Q defines an isometric isomorphism t : H-S(S2) -* HS(S2)*.
Indeed,
and
It(Vlra)I
o#VEH'(R") II V II Hs(a^)
It(Vln)I <
Ylu(Y)I2
dxdy /!1/2
(LI I Ixx) n+2µ
= a".,f
Iulµ
where
l
2= f
FC"
IIShUIIL_(Rn)
Ihl'-u+n
dh = R f f IhI2µ+n
f 'H
Ihl2u+n
112
A=f
>o
p-2µ-1 f 0
lei2rrpl;."
- 112 dcodp = au l I2µ,
where we used the substitution p = I 1-1 t and exploited radial symmetry. Note
that f (,,j_1
lei2'
' - 112 dw is O(t2) as t J. 0, and is 0(1) as t Too, so that aµ
is a finite, positive real number for 0 < µ < 1.
Theorem 3.16 Ifs ? 0, then W'(R') = H' (RI) with equivalent norms.
Proof. Let r be a non-negative integer, and let 0 < p < 1. In view of (3.17),
Plancherel's theorem gives
where
1512
br( ) _ (I + )r,
IIUIIW(Rn) + E laauIA
lal=r
= f ,
')I2d +
la l=r fR'
)12d
(1 +
fRn
Equivalence of the Norms 81
Corollary 3.17 For any non-empty open subset 0 C R", there is a continuous
inclusion
The next theorem shows that the reverse inclusion holds if there exists
an extension operator for 0. The existence of such operators is proved in
Appendix A, under appropriate assumptions on S2; see also Theorem 3.30.
Theorem 3.18 For any non-empty open set Q C R" and any real s > 0, if there
exists a continuous linear operator E : Ws (0) -> Ws (R") such that Eu I n = u
for all u E Ws (0), then
H'(Q) = W3(c)
Theorem 3.19 For any non-empty open set 7 C R", and for any integer r > 0,
H-r(2) = W-r(2)
with equivalent norms.
Proof First consider the case 0 =1R' , and recall that [H'(R"))* = H-r (Rn)
We define a Banach space isomorphism J : Wr(W") --+ H -1 (WI) by
and introduce another inner product and norm for H-r (R),
IIJ-iullwr(tt").
((u, v))-r = (J-'u, J-'v)wr and IIIuIII-r = ((u, u))-r =
(J-lu, J-`u)Wr(Rn)
= IIIUIII?r
112L, (R")
C Ilyllwr(R^)
IaI<r
Theorem 3.20 Suppose that 0 E Ccomp(R") for some integer r > 1, and let
IsI < r. If U E HS(S2), then 4u E H5(S2) and
Proof. Suppose first that Q = R". In view of Theorem 3.16, the result is
clear for s = r, and hence by the duality relation (3.22), for s = -r. The
case -r < s < r then follows by interpolation, using Theorem B.7 (from
Appendix B). An alternative proof, leading to a different norm for 0, is given
in Exercise 3.16.
Now let 7 be any open subset of IE,i;", and let it = U I st for some U E Hs (R").
Since Ou = (0U)In or, strictly speaking, q5nu = (¢U)In, we see that
and the desired estimate follows after taking the infimum over U. With HS (S2)
replaced by F11 (Q), the proof is even easier because IIouIIH$(s2) = II0u1IHI (R")
and IIuIIH=(n) = IIuIIHs(R"). 0
In conjunction with Theorem 3.20, the following notion is often useful;
cf. Exercise 3.19. A partition of unity for an open set S C R" is a (finite
or infinite) sequence of functions 01, 02, ... in C°O(R") such that
Notice that condition 2 implies that the sum in condition 3 is finite for each x E
S. If S is not open, then we say that the cj form a partition of unity for S if they
form a partition of unity for some open neighbourhood of S.
Suppose now that W is an open cover for S, i.e., W is a family of open sets
for which S C U W. We say that a partition of unity (4)> 1 is subordinate
to W if for each j there exists W E W such that supp cj C W.
Theorem 3.21 Given any open cover W of a set S C R", there exists a partition
of unity (q5j) j>1 for S subordinate to W. Moreover, the 4j can be chosen in
such a way that supp .ij is compact for each j.
Corollary 3.22 Given any countable open cover {W1, W2, ...} of a set S C
R", there exists a partition of unity (P1, 02, ... for S having the property that
supp q5j C Wj for each j > 1.
Density and Imbedding Theorems 85
Proof. Let 01, 02, ... be a partition of unity for S subordinate to the given open
cover, define the index sets 11 = {k > 1 : supp 0k C= WI) and
We will now show that the Sobolev spaces on ]R" are invariant under suffi-
ciently regular changes of coordinates; u o K denotes the composite function
defined by (u o K)(x) = u[K(x)].
11U
0 K11 H- (RI-) 11U11 S(R")
If s = r, then the estimate follows directly from the chain rule, because
H" (IR") = W r (]R" ). The same estimate holds for s =1- r because H 1-r (]R")
[Hr-1 (R'l)]* and
Lemma 3.24 Lets E ]R and c > 0. For each u E HS (I8") there exists v E D(W' )
satisfying
11U - v1IH-I(tt'-) < E and supp u c {x E ]R" : dist(x, suppu) < E).
Theorem 3.25 For any open set 0 and any real s > 0, the set W5(S2) fl g (o)
is dense in Ws(9).
Theorem 3.26 Suppose 0 < tt < 1. If U E H"t 2+u (R` ), then u is (almost
everywhere equal to) a Holder-continuous function. In fact,
and
where
C2 = f (1 + 112)-n/2-u
d < oo.
Density and Imbedding Theorems 87
where
Mm (h)2 = f (1 +
1412)-n/2-u
-1 I2 d
It is clear that M,u (h) < C for all h E R", and if 0 < l h 1 < 1 then
+4f (1 + 112)-n/2-u
d
t1>1/Ihl
< C1h12 (i + f
1/IhI
l
p1-2u dp J + C Jr00 p-1-2u dp
l /l 1/IhI
Proof To prove part (i), let (u)1 be a bounded sequence in HK for some
compact set K C= R". We want to show that a subsequence converges in HK.
Choose a cutoff function X E D(R) satisfying X = 1 on K, so that
uj( )=Xuj(t)=f n
(I + ItI2)`Ii{{j(f)I2 <
2111 \J
(1 + It - r1I2)1nhIX(t -17)I2dr1)
X (f
I4I2)hIa°`uj(t)I2
(1 + < 21t"IIX.,112 .
f 1>R
(I + ItI2)SIij(t) - uk(t)I2 d4
(1 + R2)S-t
fn
(I + ItI2)`Iuj(t) - uk(t)12d
2
IIuj - ukllH,(R-.)
(I + R2)(-3
- 2(IIuj (1 +
Il ukll E
2
Lipschitz Domains 89
f I<R
(1 + 11;12)5 lug uk (i; ) 12 dt < 2 for all j, k > N.
Lipschitz Domains
Denote the boundary of the open set S2 by
r=au =s2n(w\Sl).
Thus far, no use has been made of any regularity assumption on IF, but henceforth
we shall require that, roughly speaking, the boundary of S2 can be represented
locally as the graph of a Lipschitz function (using different systems of Cartesian
coordinates for different parts of r, as necessary). The simplest case occurs
when there is a function : R"-1 -* R such that
(i) The family (Wj) is a finite open cover of I', L e., each W J is an open subset
of w, and I' C U; Wj.
(ii) Each Qj can be transformed to a Lipschitz hypograph by a rigid motion,
i.e., by a rotation plus a translation.
(iii) The set Q satisfies W3 n s2 = w j fl S2j for each j.
I'={x ERn-1 :x E nI
18' (x') - d' (Y') i < Mix' - A, f o r all x', y' E Rn-1 and IaI = k.
Hence, a Lipschitz domain is the same thing as a CO, 1 domain. Notice that in
the definition of a Ck or domain, we can assume if we want that has
compact support, because r is always assumed to be compact.
The class of Lipschitz domains is broad enough to cover most cases that arise
in applications of partial differential equations. For instance, if k > I and r, is a
compact, (n -1)-dimensional Ck submanifold of R", then 0 is a Ck domain and
hence also a Lipschitz domain. Furthermore, any polygon in RI or polyhedron
in RI is a Lipschitz domain. One can construct many other examples using the
fact that if K : R" - * R" is a C 1 diffeomorphism and if 0 is a Lipschitz domain,
then the set K(S2) is again a Lipschitz domain.
Figure 2 shows some examples of open sets that fail to be Lipschitz domains:
(i) is disqualified because of the cusp at the point A; (ii) because of the crack B C
(a Lipschitz domain cannot be on both sides of its boundary); and (iii) because
in any neighbourhood of the point D it is impossible to represent r as the graph
of a function.
For a Lipschitz domain, in fact even for a CO domain, a much stronger density
result than Theorem 3.25 holds.
Lipschitz Domains 91
(i)
Proof. Suppose to begin with that n is of the form (3.26) for some continuous
function : ]R"_' - ]R having compact support.
Lets > 0, u E WI (0) and e > 0. For S > 0, we define
so that ua E WS(Qs). Since a"us = (a' u)8, we can choose 3 small enough so
that
Ilu-uslsalIW$(si) <
2
and then choose a cutoff function X E E(]R") satisfying X = 1 on 0 and X = 0
on ]R" \ 52(8/2), so that Xus E WS (]R"). Hence, by Theorem 3.16, there exists
V E D(]R") such that
E
Ilxua-VIIWs(atn)<2.
92 Sobolev Spaces
J
11U - v1Iw.(n) = E(Oju - vj) IIOjU-vj11Wx(n) <E.
j=o W (n) j=o
To prove (ii), assume once again that 0 is of the form (3.26), and let s E R,
u E HS (S2) and r > 0. This time we put us (x) = u (x', x,, + 8), and observe
that us E HI (R") and suppus c {x E R" : x" (x') - 8}. Choose S small
enough to ensure
Since 11u -vIIH=(n)= 11(U - us) + (us - v)IIHs(R) < E, we see that 1)(0) is a
dense subspace of HS (S2). As with part (i), the result carries over to Co domains
with the help of a partition of unity.
Theorems 3.29 and A.4 allow us to apply Theorems 3.14 and 3.18, and hence
deduce the following important result.
(i) HS (Q)* = H-S (S2) and HS (S2)* = H-S (0) for all s E R;
(ii) WS(S2) = HS(Q) for all s > 0.
Lipschitz Domains 93
We remarked earlier that HS (S2) C Ho (S2). The next two technical lemmas
will enable us to establish the reverse inclusion apart from certain exceptional
values of s.
f f °Cx-z.`Iu(x)12dx < CS J
0 0
, r
Jo
, (u(x) -u(Y)12 dxdy.
Ix - Y11+2s
If, in addition, u (0) = 0, then the inequality holds also for 1 < s < 1.
Proof. Observe that the double integral converges for 0 < s < 1. For x > 0,
define
and
w(x) = r°°
V
dY
X Y
u(x)=v(x)-w(x) forx>0.
'By the Cauchy-Schwarz inequality,
Iv(x)12 <
x
f 0
Iu(Y) - u(x)12 dY,
implying
00 co x-l-2s
x-2SIv(x)12dx < fo f X Iu(Y) u(x)12dydx
fo
f
0
x-1-2slu(Y)u(x)12dxdy
=
y
°° °° Iu(x) - u(Y)12
Ix - y11+2s dxdy
Jo Jo
94 Sobolev Spaces
for 0 < s < 1. By Exercise 3.20,
00
°O x-2slw(x)I2dx < 1
x-2slv(x)I2dx fors <
1 /
(2 - s) I': z'
w(x)=w(x)-w(0)=w(x)-V(Y)dy=- f x!(Y)dY
J0° y Jo Y
I
00
x-2slw(x)l2dx < I 2
f 00
x-2slv(x)I2dx fors > 2'
(s-
2)
VX') - Xnl = IYn - X. + (x') - (Y')I < Ix,1 - Yni + Mix' - Y'I
< 1+M2Ix-yl,
implying that
5 <;(x')
Using the substitution x _ (x') - t, followed by Lemma 3.31, we see that
f =C u
jt'Iu(x'(x') - t)12 d t dx'
Lipschitz Domains 95
C I
R"-t
r
Y<{(x')
r
z<M')
Iu(x' , y)-u(x'
Iy - z11+2s
, z)12
x dydzdx',
_ C J R" I U(h)f'` f 00
00
Ihll+zs dh d
=cJR- <CIIUIIH=(R,.),
Notice that the value s = 1 is excluded in the two lemmas above; cf. Exer-
cise 3.22. Also, recall our earlier discussion of the imbedding (3.24).
u(x) if x E 92,
u(x) =
0 ifxER"\S2.
In fact,
Proof. For the moment, we think of the elements of H' (S2) as distributions
on R. If U E Hs(S2), then the restriction v = ulst belongs to L2(S2), and
u = v as a distribution on R", so D E H'(R"). Conversely, if u E L2(S2) and
u E H' (R"), then supp u c S2, so u E H = HS (S2). We have already seen
that HS (S2) c _Ho (S2).
Now view HI(Q) as a subspace of L2(c2), and let u E D(S2). For any
integer r > 0, Theorems 3.16 and 3.30 give
IIuIIHr(p) = IIuIIHr(R")
Ial5r
IlaauIILz(R") - IaI <r
Ila"uIIL,(n)
= IIUI1Hr(si),
96 Sobolev Spaces
I aau(x) - aau(y)l2
dx d y
+ IaI=r
xR Ix - y12µ+n
a 2 l aau(X) - aau(y)12
_ Ila uIILZ(sz) dxdy
Ial=r Jf2 xf2 Ix - y12µ+n
+ 1 aau(X)12 dx dy
IaI-r Jf2x(R11\s2) IX - yl2IL+n
+ laau(y)12
dxdy
Ian=r (R"\12)xS2 Ix - yl2u+n
dy
wµ(x) = fR,l\f2 lx - y12µ+n for x E Q.
so by Lemma 3.32,
Ilgrad0lLo.(w"-I) < M,
Sobolev Spaces on the Boundary 97
a (x'), 1)
do:, = 1 + grad (x')12 dx' and v (x) = (- grad
for x E F. (3.28)
I divFdx=J r
Proof Assume to begin with that 0 is a Lipschitz hypograph (3.26). For 1 <
k < n - 1, we define Uk : R11-1 -+ R by
Ox')
U k (x') = Fk (x', x,,) d x , , .
J 00
akuk(X') = Fk(X',
f S(-x')
8kFk(x)dxn,
J 00
I <('(x')
akFk(x) dx = - f "- Fk(x', --
dx' for 1 < k < n -
with
so that
Now let 0 be a Lipschitz domain, and take a partition of unity (.0j) J_o for S2
as in the proof of Theorem 3.29. Since q5o E D(22), it is obvious that
f 00,
ak(0OFk) dXk = O,
sr
98 Sobolev Spaces
forx' EI[8",
put
and then define H-S(l') to be the completion of L2(F) in this norm. It follows
that H-1(F) is a realisation of the dual space of HS(F), with
IIuIIH-5(r)
sup I(u, v)rI = sup
I(u, v)rI
for. IsI < 1,
OovEH'(r) IIVIIH'(r) o#veH'(r) IIUIIHtr)
where
where r, = 8 S2,. Theorems 3.20 and 3.23 imply that a different choice of { W, },
{S2, } and {0, ) would yield the same space Hs (r) with an equivalent norm,
for Is l < 1. If 0 is C't-" fork > 0, then HS (r) is well defined for Is l < k.
We shall also require Sobolev spaces defined over only a part of the boundary
of n. Consider a disjoint union
r=r1UIIU1-2, (3.30)
where 1`1 and 172 are disjoint, non-empty, relatively open subsets of r, having
11 as their common boundary in r. When S2 is a Lipschitz hypograph, we call
(3.30) a Lipschitz dissection of r if there is a Lipschitz function Q : Ri-2 -+ R
such that
where x" = (x1, ... , xn_2); for n = 2, the function q reduces to a constant.
In the obvious way, we extend the notion of a Lipschitz dissection to the case
when S2 is the image under a rigid motion of a Lipschitz hypograph.
Next, suppose that n is a Lipschitz domain. We say that (3.30) is a
Lipschitz dissection of r if, in the notation of Definition 3.28, there are
Lipschitz dissections 8 S2, = r,, u l1, U r2, such that
f
Yu(x') = f,' dt = J
"
(f
f oo
u(',n)
and so
00
Yu(')=J 0000 u(', n)dSn=J 00
(1+1 12)-S/2(1+1 12)s'%u
f W
(1 +
Ms( ') =
oo
dtn
00 (1+I 112+I n12)S (1 +I 112)S-1/2 f 00
oo
dt
(1+t2)S.
(1 + MS f 00
(I + do
MSIIUIIHs(Rn),
Lemma 3.36 For each integer j > 0, there exists a linear operator
77j:S(1R"-')-* S(R")
satisfying
8",u(x') if a = j,
a" (rij u) (x', 0) =
0 if
for x' E Ri-', U E S(R"-)) and any multi-index a = (a', a"). Moreover, rij
has a unique extension to a bounded linear operator
i7 j :
Hs-j-1/2(Rn-i) -+ H' (W') for S E R.
Proof Choose a function O j E D (R) satisfying 9 j (y) = yj /j! for I y j < 1, and
define
aa(77ju)(x', 0) = f4 (
ei2nt' X' a"'u(x')s j"
j
J
as required. The substitution x = (1 + gives
11 u() _
(1
+ ,i )j/2 L(1 + I I) x] dxn
_ j[(1 +
(1
,12)1+l
4-1 I
where
00
CS = J 0 (1 +t2)SIdj(t)I2dt < oo,
for all s E R.
Yu = uIr
If SZ is a Ck-1,1 domain, and if 2 < s < k, then y has a unique extension to a
bounded linear operator
y : H$(Q) -+ HS-112(r),
(3.31)
Hence, IIYuIIHs-112(r) < CIIuIIHscQ> for all u E D(O), and we obtain a unique
continuous extension because D(S2) is dense in Hs (S2). A right inverse for y can
be pieced together using the same partition of unity, by means of the operator '1o
from Lemma 3.36.
By definition,
IIYUIIH'-112(1) =
for the partial Fourier transform of u (x) with respect to x12.Observe that
so
and
00
IIuIIEs = f n)I1Hl(R°-1)]d ,t
00
f
where as(h) = I nI25 + I nI2s-2(1 + then
and we claim
f
00
d " = C5(1 + 1 ,12)-(s-1/2), where CS =
f7a, ( )
00 t -2(l+
t t2)'
104 Sobolev Spaces
with C, < oo for 2 < s < 2, so, applying the Cauchy-Schwarz inequality,
0)II2
Ilu(, Hs-1i2(Ra-1)
00 2
J - -l (J-00 as () ) 00
Ilut(, 0)IIHf-II2(RI-r) -< CIIul1El < C11U11El < CIIUIIHS(R") for 1 < s < 2
which, combined with Theorem 3.37, shows that the trace operator (3.31) is
bounded for 1 < s < 2 .
The next lemma is a version of a standard fact [41, p. 47] about distributions
supported by a hyperplane, and will allow us to characterise Ho (S2) using the
trace operator. The symbol ® means the tensor product of distributions, so,
formally, (vj ® SWjW)(x) = vj(x')SWD(x"). In the proof, we use the notation
R+ = {x E R'r : x" > 0) for the upper half space.
where
Ci.,s = f
J 00
00
(1 +t2y12rrt12' dt,
2 -k-J/2-.
IIv k ®S (k' lIH , = k,_k_1
C' 2_E IIv kII H- i
Proof It suffices to deal with a half space Q = R+. We will use the character-
isation of the dense subsets of a Banach space given by Exercise 2.5.
First suppose 0 < s < z . If W E HS (7)* = H-S (S2) satisfies (w, -0) = 0 for
all q5 E D(S2), then supp w is a subset of the hyperplane F = {x E R" : x" = 01,
and we conclude from part (i) of Lemma 3.39 that w = 0. Hence, D(E2) is dense
in HS (S2), i.e., Ho (S2) = HS (S2).
Next suppose that s > Z, and let E = {u E HS(7) : y(8au) = 0 for (aI <
s- }, noting that this definition makes sense because y o 8' H' (Q) --
z
HS-111(F) for kal < s - 2. Let f E E* satisfy £(o) = 0 for all ¢ E D(Q).
By the Hahn-Banach theorem, there is a w E HS (S2)* = H-S (S2) such that
f(o) = (w, gyp) for all 0 E E. Since W E HFS, part (ii) of Lemma 3.39
shows that w = Eo<j<s-1/2 Vi ® 3(j) with vj E H-s+j+1/2(R"-1)
Hence, for
every q5 E E,
Vector-Valued Functions
Thus far, the present chapter has dealt only with spaces of scalar-valued (gen-
eralised) functions. The results obtained extend in a straightforward manner to
spaces of vector-valued functions
u: S2-+ c",
and this final section does no more than establish some notational conventions.
We denote the space of compactly supported, C"'-valued, C°O test functions
by
The (sequentially) continuous linear functionals on D(O)"' are then the ("-
valued distributions on 0, and we view these objects as generalised C"'-valued
functions, by writing
U.V=EuJVJ.
j=1
In this way, the sesquilinear form associated with the bilinear pairing (3.34) is
given by
should now be obvious. Likewise for the vector Sobolev spaces on r. Occa-
sionally, we shall encounter normed spaces of matrix-valued functions, such as
L,, (S2)mx,n = L,,(12; C">°"), whose meaning should also be obvious.
Exercises
3.1 Suppose that u E Lp(S2) satisfies
(i) Show that if 1 < p < oo, then II u 11 L,,(sa) < M. [Hint: take v =
]
lulp-1
sign(u)
(ii) Show that if p = oo, then for every measurable set E C 0 with I E l >
0, the mean value of l u I over E is bounded by M, i.e.,
I11JElu(x)Idx<M.
E1
Deduce that 11U IIL (n) < M. [Hint: take v = sign(u) XE, where XE is
the characteristic function of E.]
108 Sobolev Spaces
(u*v)*w=u*(v*w) foru,v,wEL1(R")
3.3 For 1 < j < k, let f j E L 1(R") be a compactly supported, non-negative
function satisfying II fj II L, 1, and let 0 < X j < 1. Fix X E 1I8", and
define
if E-=k-1.
j=1;pj
3.4 Show that supp(u * v) c supp u+ supp v = {x + y : x E supp u and y E
supp U).
3.5 Recall the notation (3.7).
(i) Show that
(d)k
u(x + ty) = u(k)(x + ty; y).
dt
[Hint: k!/a! equals the number of permutations of k = IaI objects
when there are a j objects of type j, for I < j < n, and it is assumed
that objects of different types are distinguishable, but objects of the
same type are indistinguishable.]
(ii) Use integration by parts to verify Taylor's formula for a function of
one variable:
k f(j)(0) Sk+t 1
k1 J
Exercises 109
(iii) By taking f (s) = u(x + sy), derive Taylor's formula (3.8) for a
function of n variables.
3.6 Define f : R -+ R by
e-' 1' if t > 0,
f(t) = ift<0.
10
(i) Show that f (i) (t) -* 0 as t y, 0, for each j > 0.
(ii) Deduce that f E C°°(R).
(iii) Construct a CO0 function g : IR - R with g > 0 on (-1, 1) and
with supp g = [-1, 1].
(iv) Construct a COG function * E C mP(R") satisfying (3.9).
3.7 Let S2 = (0, 1), choose any 0 E D(S2) not identically zero, and define
¢j E D(S2) by 0, (x) = 0 (j -' x). Show that -Oj -+ 0 in E(Q), -but not
in D(S2).
3.8 Establish that the inclusions D(S2) C E(S2) and D(R'1) C S(R")
E(1E8") are continuous with dense image, by proving each of the following
statements:
(i) If ¢j - 0 in D(S2), then qj -+ 0 in E(S2).
(ii) If 4i -+ 0 in D(R), then ¢f - 0 in S(R").
(iii) If 4j -* 0 in S(R"), then Oj - 0 in E(R").
(iv) Let Ki C K2 C be an increasing sequence of compact sets whose
union is S2, and let Xi E D(S2) satisfy Xi = 1 on Kj. If 0 E E(S2),
then Xicb -+ 4) in E(S2).
(v) Let X E D(W) satisfy X (x) = 1 for IxI < 1, and define Xf E D(R")
for each positive integer j by X,i (x) = X (j _'X). If 0 E S (W), then
XjO -* 0 in S(W).
3.9 Consider a linear functional f : D(S2) -+ C. Show that a is sequentially
continuous (and hence a distribution on S2) if and only if for each compact
set K C S2 there exists an integer m > 0 such that
.Fx,
'1 00 e-i2n jxj-nx dx = e-nl l''
l
{e-n1x1' 1 =
J J1
00
J
.%_)
(i) Adapt the proof of Theorem 3.16 to show that if 0 < s < k, then
2
2 2 f Ilsh uiiLZ(R,,)
dh.
IIuIIHA(R")
ti IIuIIL2(R") + " IhI2T+n
f
kU 00
I u L,(R. ) dh [COk(t' u)]2
dt
11
fRIhI'-s+n t2s+)
00
r l221s[cok(2-j, u)]2.
j==-oo
3.14 Let Xj E D(]R") be as in part (v) of Exercise 3.8, and lets E R. Show that
if u E Hs(]R"), then Xju -3 u in Hs(IR")
3.15 Consider a distribution u E V* (0) with supp u c K C= Q.
(i) Show that there is a unique u E D*(]R") satisfying It = u on 0, and
u = 0 on 1R" \ K. [Hint: use a cutoff function X E D(Q) with X = 1
on K.]
(ii) Show that if s E ]R and u E Hs (S2), then II u II Ha (Ruu) < Cs. K II u II Hs (n)
3.16 Give an alternative proof of Theorem 3.20 for 0 = R", as follows.
Exercises 11 l
Cs = 21sJ12 f (1 + I
de.
3.17 Let * and *' be as in (3.9) and (3.10).
(i) Show that if u E D* (RI), then the convolution uE = Vrr * u belongs
to £ (Rn) and
3.18 Show that if S2 is the crack domain shown in Figure 2(ii), then D(S2) is
not dense in HI (Q) for s > n/2.
3.19 Let U E V* (Q) and S E
(i) Suppose W is an open set and X E E) (W). Show that if u E HI (w n
0), then XU E HI (0) and 11Xu1IH,(92) < Cx,s1Iu1IHs(wns ).
(ii) Suppose (¢i ) is a partition of unity of the type used in the proof of
Theorem 3.29. Show that u E H-'(9) if and only if 95i u E Hs (Wi n o)
for 0 < j < J, in which case
I
IIUIIH=(n) ^' L
.i=o
3.20 Prove the following inequalities, due to Hardy: for a > 0 and 1 < p < oo,
dY\ dx
LJ'(x-"
0 Jo
X If(Y)I
Y x
I/P
<
a
fo
IY-"f(Y)IP
dy1'lP
JJ
and
00( (oo d PdxlhhP 1(foo d . 1/P
CJo Cx",1
If(Y)I y) x J < a ly"f(Y)IP y l
[Hint: make the substitution y = xt in the inner integral, and then apply
Minkowski's inequality, i.e., think of t H f (- t) as a map from (0, 1)
or (1, oo) into a weighted LP space on (0, oo).]
112 Sobolev Spaces
3.21 Let1<p<oo.
(i) Show that, for -co < a < b < oo and f E L p (a, b),
fb` p p b
p
Ja x-a f a If(t)I dtl/ dx < ( p- 1
I
u
If(t)Ipdt,
1
1
)'f'f Y)I P+Iazu(x,Y)IP]dxdy.
ff , -,
IYu(x') - Yu(Y')I p
Ix' - y' I p
dx'dy' < C,,,,
i=
J
R
18fu(x)Ip dx.
We are now ready to begin our study of boundary value problems for linear
elliptic systems of second-order partial differential equations. The first task is
to explain how, via the first Green identity, such problems fit into the abstract
scheme treated in Chapter 2. We then define the class of strongly elliptic opera-
tors, and investigate when such operators are coercive. After that, an existence
and uniqueness theorem for weak solutions in H' (S2)" is given, expressed in
the form of the Fredholm alternative. Next, we prove regularity of the solution
on the interior and up to the boundary, under appropriate assumptions on the
data and the domain. We also prove the transmission property, which will be
used later to show regularity at the boundary of surface potentials for smooth do-
mains. The final section of the chapter presents some rather technical estimates
of relating the H1-norm of the trace and the L2-norm of the conormal
derivative. These estimates will allow us to prove some limited regularity of
surface potentials for Lipschitz domains.
are functions from S2 into C""", the space of complex m x m matrices. Thus,
I < p < m and 1 < q < m, and P acts on a (column) vector-valued function
113
114 Strongly Elliptic Systems
(POP - L+ L Lr
nn nn
aJ (ap4aku4) + nn
ap9aju4 + ap9u9
j=1 k=1 R=1 j=1 q=1 9=1
fort <p <m.
We shall see in Lemma 4.1 that P is naturally associated with a sesquilinear
form 4), defined by
r12 ( n n n
D(u, V) = E E(Ajkaku)*ajv + J:(Ajaju)*v + (Au)*v dz. (4.2)
J j=1 k=1 j=1
where, as usual, v is the outward unit normal to 0, y is the trace operator for 0,
and r = 8S2 is the boundary of Q. The conormal derivative arises naturally via
the following lemma, known as the first Green identity.
Lemma 4.1 If S2 is a Lipschitz domain, and if the coefficients Ajk are Lipschitz,
then
I 8jwdx = Jr vj wda,
and one sees with the help of the density and trace results in Theorems 3.29 and
3.38 that this formula holds in fact for any w E H 1(S2). Taking w = (,t3 j u)*v,
we obtain
n a [(B;u)*v]dx = fr vjy[(Bju)*v]dc
J for U E H2(0)"' and V E H (SZ)n',
Bju = EAkjaku+A*u,
k=1
and put
n n n
_-E8jBju+A*u on S2,
j=1
and
_ n
B vu = E vjy(Bju) on P. (4.5)
j=1
In fact, by arguing as before, but now with w = u*B j v, one easily verifies the
following identity.
Thus,
(Pu, v)n =' (u, v) = (u, P*v)Q for U E Hz(S2)'" and V E D(S2)"',
The operator P* is called the formal adjoint of P. Its principal part is given by
n !t n
(P*)ou=-E1: aj(A*
j=1 k=1 j=1
Po = (P*)o = (Po)*.
However, the conormal derivative of u relative to P* is
n n
vjy(Axjaku) = 9,u - vjy(A!u),
j=1 j=1
which coincides with I3,u if and only if A j = 0 for all j. One says that P is
formally self-adjoint if P* = P, i.e., if the coefficients of P satisfy
A* = Ajk, Aj = O, A* = A. (4.6)
In this case, l3 13, and the sesquilinear form (4.2) is Hermitian, i.e.,
The next lemma will allow us to extend the definition of the conormal deriva-
tive.
Pu = f on 0,
The First and Second Green Identities 117
Pat on S2,
f - {0 on R" \S2,
thereby ensuring consistency with the original definition of the conormal deriva-
tive. We extend the definition of 13,u in the same fashion, with the help of
Lemma 4.2. The next theorem follows at once; cf. (1.8) and (1.9).
118 Strongly Elliptic Systems
Obviously, in this context L2 (S2) acts as the pivot space for V. When seeking to
determine whether or not a given differential operator is coercive, we can ignore
the lower-order terms, and consider just the sesquilinear form corresponding to
the principal part,
n
4>0(U, v) = E(Ajkaku)*8jvdx.
Jj=.1 k=1
Re>2>2 [Ajk(x) k 1 *Sj77 > for all x E 0, l; E R" and >) E C"'.
j=1 k=1
(4.7)
Depending on the subspace V and the regularity of S2, this purely algebraic
condition on the leading coefficients is often necessary and sufficient for P to
be coercive.
Theorem 4.6 Assume that the coefficients Ajk are (bounded and) uniformly
continuous on Q. The differential operator P is strongly elliptic if and only if
it is coercive on Ho (S2)1'1.
Proof. Suppose that P is strongly elliptic. First we consider the special case
when the leading coefficients A jk are constant. Let U E Ho (S2)'" = H' (S2)"',
i.e., let u E H1(R")"' with supp C S2. Since .F,,k[aju(x)}
Plancherel's theorem implies that
Re(Do(u, u) (27r
)2
f
g
c>2
j=1
f. Iajul2dx
CIIUI12'(2)u' -CIIUIIL2(s2)"
Cover SZ with a locally finite family of open balls B1, B2, B3, ... , each of
radius S. (If 0 is bounded, then the family of balls will be finite.) Since the
diameters of the balls are bounded away from zero, we can assume that for
each d > 0, there is a number Nd such that any given set of diameter less
than d intersects at most Nd balls. By Corollary 3.22 and Exercise 4.6, we
can find real-valued functions 01, 02, 03, ... in C,1,,mp(W) with 01 > 0 and
supp,0) c B1, such that
Note that the number of non-zero terms in each sum is finite, and is bounded
independently of x. Since
we have
and also
Let fio denote the sesquilinear form obtained from (Do by freezing the coeffi-
cients Ajk (x) at x = x1, the centre of the ball BI, and observe that
so
and
Re Do (u,u)>
1>1
-C 1101U112
),n - CIIuIIHo(S2)n, IIu11L2(szyn
1>1
and
Il018;u + (a;o,)ull2L2(),H
so P is coercive on Ho (S2).
To prove the converse, take a real-valued cutoff function >/r E C mp(R")
satisfying
uE(x) _ 1E(x)e`t.XI?.
Since
IIUEIlL2(n)"' = 1171,
Now,
A'k f1/Ie(x)2Ajk(x)dx,
=
122 Strongly Elliptic Systems
then
j=1 k=1
Re'Do(uE, uE) _> c11 uEII HacWN - CIIuEllc2(si),,, >- c(E-2 + CIrjJ2,
implying that
n
Now replace by tl; where t > 0, divide through by t2, and send t -+ 00
to obtain (4.7) with A)k in place of A,k. Since Ask -+ Ajk(xo) as c y 0, we
conclude that P is strongly elliptic. 0
For scalar problems, i.e., when m = 1, the strong ellipticity condition (4.7)
simplifies to
n
1: 1: Ajk(x)44k4'j >
it
and the next result is usually sufficient for establishing that the differential
operator is coercive on the whole of H 1(S2), not just on Ho (S2); cf. Exercise 4.1.
Theorem 4.7 Assume that P has scalar coefficients (i.e., m = 1), and that P
is strongly elliptic on 0. If the leading coefficients satisfy
and so by strong ellipticity, Re F(x, l;) > cI:;12 for all l; E C" (not just for E
L"). Hence, for all u E H' (S2),
El
In a similar fashion, when m > lit is easy to see that P is coercive on H' (S2)"
if Akj = Ask and
n n n
but this assumption excludes some strongly elliptic operators with important
applications; see Exercise 10.3.
Using an approach due to Ne6as [72, pp. 187-195], we shall prove a sufficient
condition for coercivity on H' (S2)"` in the case when the leading coefficients
can be split into sums of Hermitian rank-1 matrices, i.e.,
t
Ajk = brj
r=1
where the blj are (column) vectors in C". It follows that Po must be formally
self-adjoint, and that
L It
L
b0(u, u) = QNulli2cn) >_0 for u E H' (p)'".
r=1
Lemma 4.8 If l is a Lipschitz domain, then for any integers p > 0 and q > 1,
and for any u E D(S2),
C f m
(1 + (i
\ + lai=q Ir l2)Iu(t)l2d
2
<- C I I u I I H C E II a°` u II H-n-a (R") ,
IaI=q
so by Exercise 3.15,
a C
(ayn-1)«,,-, (aE
)a,r f (Y', E) < EIaI-1 for laI > 1. (4.11)
( I ) «I ...
ay,
Thus, a,(KE)n(y) = 1 - Ea. f (y', -Ey11) = 1 + O(E), and we now fix c small
enough so that
CI-1
Ia"K(Y)I < for lal > 1.
IYn l
Strongly Elliptic Operators 125
detDK(y) = K. (y).
ay"
1 <_ C.
ax,, 11 -Eanf (x', -Eyn)I
The higher-order partial derivatives of K can be estimated in a similar fashion,
giving
For 0 E D(R" ),
DK-1(x)
(u o K, 0)w,h I = I
fn u(x)(cp o K-1)(x) det dx
<CIIuIIH-,, (g)II(0oK-1)detDK-1IIH,+i(n)+
and since
aju(x) + for 1 < j < n- 1,
aj(u O K)(y) = t anU(X)a,,
K. (Y) for f - n,
we have
where only the second term on the right is present if j = n. With the help of
Theorem 3.33 and Exercise 4.3, we find that both
are bounded by
IYnl2(jal-p-1)Iact 5 (Y)12dY
C
lal<p+l Y"<0
implying that (4.12) holds. Also, if q5 E V(S2) then
and
x')
IaIp f I
II(,OOK)detDKpHP(w) < C
2
Ho
CII0II2 (S2),
SO 11 u 11 H-1(1z) -< C II u o K II H-p (RID. Hence, using the Seeley extension operator E
from Exercise A.3, we have
j=1
n
< C II u 0 C E 1181(u 0 K) II H-p (Z)
j=1
n
which proves the result when q = 1. The general case now follows by induction
on q. D
Theorem 4.9 Assume that 0 is a Lipschitz domain and that (Do has the form
(4.10), and put
n
The operator P is coercive on H 1(0)'n if, for 1 < r < m, there is an integer
q,- > 1 such that, for every multi-index a with J a I = q,. + 1, there exist polyno-
mials Q1, ... , QL, each homogeneous of degree qr (with scalar coefficients),
satisfying
L
L
1=1
taer for all E Rn,
Strongly Elliptic Operators 127
where er is the rth standard basis vector in C'. (Note that Ql depends on r
and a.)
Proof. Let U E D(SZ)"' and 0 E D(S2), and let Q1 be the partial differential
operator corresponding to Q1(4) in the same way that N corresponds to N1( );
thus, under Fourier transformation,
L fN
"
t(i2rr )u( )Q,(i2 )d
L L
_ >(Nu, Q10) _ >(N1 u, Q10)a,
1=1 1=1
so
L
< C: II L2 (sa)11011,9q'. (a)"
1=1
implying that
C11aflU,112 E 11aaaflU,112
IlalurllLA(sa)
I«I :sq,
r= ID UIIUFN,
and that boundary conditions of Dirichlet and Neumann type are specified on
I'D and FN, respectively. Thus, our task is to find u E H' (S2)" satisfying
Pu = f on S2,
YU = gD on FD, (4.13)
l3vu = gN on rN,
for given f, gD and gN. Using our definitions of Pu and B,u as distributions,
we see that (4.13) is equivalent to
Pu = 0 on S2,
yu=0 onrD, (4.15)
0 on FN,
P*v=0 on S2,
yv = 0 on rD, (4.16)
O on rN.
Theorem 4.10 Assume that 0 is a bounded Lipschitz domain, and that P is coer-
cive on HAM)"'. Let f E H-' ( 7)m, gD E HI/2(rD)m and gN E H- 1/2 (r,4 yn,
and let W denote the set of solutions in H' (S2)' to the homogeneous prob-
lem (4.15). There are two mutually exclusive possibilities:
Boundary Value Problems 129
(i) The homogeneous problem has only the trivial solution, i.e., W = (0). In
this case, the homogeneous adjoint problem (4.16) also has only the trivial
solution in H 1(S2)'", and for the inhomogeneous problem (4.13) we get a
unique solution u E H 1(S2)". Moreover,
When the data satisfy these p conditions, the solution set is u + W, where
u is any particular solution. Moreover
Puo = fi on Z,
yuo = 0 on I'D,
13vuo = 81 on FN,
+ CII8NIIH-'r(rN)- IIYvIIH1/?(rN),"
< C(11f IIH-x(52)" + II9DIIH"/2(rD)" + II8N11H-./2(rN)"')IIviIH'(n)'n
so
which in turn is equivalent to A*v = 0. Thus, in case (i) there exists a unique
uo = A-' FO, and hence also a unique u = uo + r?EgD, with
In case (ii), the equation Auo = FO is solvable if and only if (Fo, vj) = 0
for 1 < j < p. Since the first Green identity gives
and since (RN, yvl)r = (gN, yvj)rN, it follows that (4.13) is solvable if and
only if
Note that for a pure Dirichlet problem, i.e., when I, = I'D, any strongly
elliptic operator with leading coefficients in W,,,.(Q)mxm is coercive on V =
HD02)"' = Ho (S2)"' by Theorem 4.6. Also, we may take f E V* = H- I (Q)1n,
because no use is made of the conormal derivative. For a pure Neumann problem,
i.e., when r = FN, the proof of the theorem above is greatly simplified because
u=uo E V=H'(U)"' andFo= fo EV*=H-'(S2)"`
Next in importance after the Dirichlet and Neumann problems is the third
boundary value problem:
Pu = f on S2,
(4.18)
=g on F.
Pu=O on S2,
(4.19)
B,u+Byu =0 on IF,
P*v=0 on S2,
(4.20)
on F,
as follows.
Theorem 4.11 Assume that 0 is a bounded Lipschitz domain, that the dif-
ferential operator P is coercive on H' (0)m, and that B E Let
f E H-'(S2)"' and g E H-'l/2(F)m, and let W denote the set of solutions
in H' (c2)"' to the homogeneous problem (4.19). There are two mutually exclu-
sive possibilities.
(i) The homogeneous problem has only the trivial solution, i.e., W = (0). In
this case, the homogeneous adjoint problem (4.20) also has only the trivial
solution in H' (0)"', -and for the inhomogeneous problem (4.18) we get a
unique solution u E H' (S2)". Moreover,
Proof Put (Au, v)S2 = fi(u, v) and (Ku, v)Q = (Byu, yv)r for u, v E
H' (0)"'. The operator A : H' (S2)"' - . H-' (S2)' is bounded, and for any 0 <
E <'
I (Ku, v)!al <_ C II uII H1r_+f(sa)'" IIv11H'(a),",
shows that F E F1 -I (S2)'", so the results follow directly from Theorem 2.27
after noting that, by the dual version of the first Green identity (Lemma 4.2),
the adjoint of A + K is given by
assuming in the usual way that P*v is a specified distribution in H-' (0)m.
B* = B, then there exist sequences of functions 01, 02, -03, ... in H'(0)'", and
o f real numbers A1, A2, A3, ... , having the following properties:
PC = A;o; on 0,
YO/ = 0 on rD,
13,'q5;+Byq;=0 on rN.
(ii) The eigenfunctions 01, 02, 03, ... form a complete orthonormal system
in L2(0)"'
(iii) The eigenvalues satisfy -C < Al < A2 < A3 < ... with AJ -+ 00
asj -+ oo.
(iv) For u, v E HD(SZ)"',
Regularity of Solutions
A key feature of the elliptic equation Pu = f is that, away from the boundary,
the solution u is smoother than the right-hand side f. We shall prove this fact,
and also a result on regularity up to the boundary, using a method introduced
by Nirenberg [78] based on estimates of the lth partial difference quotient,
u(x+he1)-u(x)
AI.hu(x) = for l <1<n and h E R. (4.21)
h
(Here, el denotes that lth standard basis vector for R".) The method of proof
relies on the fact that 8; commutes with 't.h for any j and 1, and also on the
134 Strongly Elliptic Systems
next lemma, which allows one to deduce L2-estimates for a,u from uniform
L2-estimates for O,,hu.
Lemma 4.13 Let 1 < l < n, and for brevity write 1j u II = II U II L,.(Ru)m
IAI.hu(x)12 - 18,u(x+thet)I2dt.
0
we have lim II A,,h u - at a ll < 2E, showing that A,,,, u -+ al u in L2 (]R" )'".
To prove part (ii), assume that IIAI,hull < M. By Theorem 2.31, there is
a sequence hj - 0 and a function v E L2(1R")"' such that O1,h,U - v in
L2(R")",, i.e.,
If ¢ E D(]R")'", then
SO a,u = v E L2(R)'". Part (i) now implies that A,,hu -* a,u in L2(IR")'", and
thus ll atu ll = limb->o II AI.hu ll < M. 0
Regularity of Solutions 135
In stating the next lemma, we use the summation convention, i.e., we sum
any repeated indices from 1 to n, except where indicated otherwise. The proof
involves only routine calculations, and is left to the reader.
r f(a,-PAjk)apaku
P P
r=1
- P-1 Cr)
P
[(ai-PAi)aPaju + (a; -PA)apu].
We require two other properties of At,h; again, the proof is left as an exercise
for the reader.
Lemma 4.15 Assume that supp u c s2 fl (92 - he,) and supp v c 92 fl (92 + het ).
Theorem 4.16 Let 921 and 02 be bounded, open subsets of R", such that
921 C 922, and assume that P is strongly elliptic on 922. For any integer r > 0,
if u E H1(922)' and f E Hr (922)"' satisfy
Pu = f on 02,
136 Strongly Elliptic Systems
and if the coefficients of P belong to Cr,l (S22)mx"1, then u E Hr+I(Q I)," and
UUIIHI-+2<_ +Ciif1IHIcn,r"
so
Thus, by part (ii) of Lemma 4.15 followed by part (i) of Lemma 4.13,
Applying the inequality ab < (Ea2 + E-i b2) with c sufficiently small, we
conclude that 2
Part (ii) of Lemma 4.13 now gives the result in the case r = 0.
Proceeding by induction on r, we let r > I and choose an open set 0'
satisfying S21 C= 0' C S21 C= 522. By the induction hypothesis,
with
Since f2 E L2 (0'0"', we can apply the result for r = 0, and deduce that
CIIUIIH'(f22)n, +CIIfIIHr(2,).n,
Lemma 4.17 If P is strongly elliptic, then each diagonal leading coefficient has
a uniformly bounded inverse, or equivalently, I nI < CIAj;ril (no sum over j)
for ij E C.
Proof Take l;j = Sir in (4.7), and get Re(Arrri)*>) > cIi]I2.
Refer to Figure 3 for an illustration of the sets used in the next theorem.
Theorem 4.18 Let G 1 and G2 be open subsets of IE?, such that G 1 C= G2 and
G i intersects the boundary F of a Lipschitz domain 0. Put
and suppose, for an integer r > 0, that F2 is C'+'- 1. Assume further that P is
strongly elliptic on 522, that u E H1(S22)"' and f E Hr (Q2)"' satisfy
Pu = f on 522,
Proof After a Cr+1.1 change of coordinates, we can assume that S2 is the half
space xn < 0 (see Exercise 4.2).
To prove part (i) in the case r = 0, weassume first that y u = 0 on F2. Choose
a cutoff function X E V (G2) satisfying X= 1 on G 1; then X U E Ho (S22), and
by arguing as in the first part of the proof of Theorem 4.16 we see that
where
n
so by Lemma 4.17,
82u11L2(a1)"
11
C n-I
C11 f IILZ(sll)N + C11 uII H'(n,)u + Il81ullH-(92,)'», (4.26)
!=1
and therefore
where 0', = G,, fl a If 1 < I < n - 1, then y (81 u) = 81(y u), so it follows
from (4.24) and the result for r = 0 proved above that
Thus,
= af3 +
r-1 (rtai+2u
p
P )
Hence,
n-t
Here, fl is the same as in (4.22) from the proof of interior regularity, but
now x does not vanish on the boundary, so we need coercivity on H' (U)"',
not just on Ho (S2)"'. If 1 < 1 < n - 1, then we can repeat the argument
leading to (4.23). The only change is the presence of an extra term involving
140 Strongly Elliptic Systems
the conormal derivative of xu. In this way, we arrive at the following estimate
for the tangential difference quotients:
where v = El,h (X u). Let Fi = G1 fl I'2. We can assume that supp X C G1, and
then, since [B,, X]u = vjy[(akX)Ajku],
IIx8vulli1/2(r;)N, + IIvjY[(akX)AjkUIIlHin(r,,),n
< CIIBvuIIH-/2(r2),- + CIIYuIIHI/2(r2)^,.
By Exercise 4.4,
CIIYVIIH'/2(r,,)< CIIvIIH'(12),,,,
so
and thus,
Since
(B"u) r-I
( )(a'Aflk)(afaku)
13 (al u) al
-YP \Pl -,
IIBvuIIHr+i/'_(r,),,, + CIIUIIHr+t(12',),"
II
The Transmission Property 141
=S2+UrUQ-,
with I, = 8 S2+ = 8 Q- the common boundary of the two domains, as depicted
in Figure 1 of Chapter 1. The vector v will always denote the outward unit
normal to c2-, and therefore the inward unit normal to 52+. (If one thinks of S2+
as locally the half space x > 0, then v = e,,.) We denote the one-sided trace
operator for n' by y±, and the sesquilinear form and conormal derivative
for SZ} by '1 and L3v , respectively. On account of our convention
regarding the meaning of v, the first Green identity (Lemma 4.1) takes the form
u = uln=
to emphasise that we are considering the pieces of u separately.
then
(4.33)
and
and by (4.31),
Theorem 4.20 Let G 1 and G2 be bounded open subsets of R" such that G 1 C=
G2 and G 1 intersects 17, and put
Pu± = f± on S22 ,
r+1
where P is strongly elliptic on G2 with coefficients in C'' 1(SZ )! If U E
L2(G2)"' satisfies
+CIIf+IIH,(Q2),,, +CIIf
Proof As in the proof of Theorem 4.16, it suffices to consider the case when
SZ+ is the half space x" > 0. Suppose to begin with that [u]r = 0 on r2i so that
u E H1(G2)r by Exercise 4.5. We fix a cutoff function X E D(G2) such that
X = .l on G 1, then, as with (4.22),
(x u:-) on Q:'
By Lemma 4.19,
an equation eerily like (4.28). Repeating the argument from the proof of interior
regularity, but with an extra term involving [B (Xu)]r, we see that
where v = O,./,(Xu); cf. (4.23). If 1 < 1 < n - 1, then the argument leading
to (4.29) shows that
and therefore
f3 on n2" ,
with
I u+ onQ
UI = u- +w on Q2.
Since
Put = f on Q21
)
f-+Pw oncz ,
Ilu IIH2co, .
CIIwitH2(n2)ur
< CII[u]rllx3/2cr2yn,,
shows that the desired estimate for the case r = 0 holds also when [u]r 0 0.
An inductive argument like the one used for part (ii) of Theorem 4.18 takes care
ofr> 1.
Pu = 0 on Q,
(4.35)
yu=g onl'
and the adjoint problem
P*v = 0 on cl,
4.36)
yv=ci onr.
If the fully homogeneous problem has only the trivial solution in H' (S2)"', i.e.,
if g = 0 implies u = 0, then under the usual assumptions we are able to define
solution operators
The purpose of this section is to prove that, under certain conditions, 13,U
and are also bounded from H' (r)m to L2a fact that will be used
later in our study of surface potentials and boundary integral operators; see
Theorem 6.12. Notice that
so (B,U)* =13 V.
If SZ is at least C", then the regularity estimates of Theorem 4.18 apply, and
we can extend (4.37) and (4.38) as follows.
Theorem 4.21 Assume that SZ is a bounded, C'+'.1 domain, for some integer
r > 0, and that P is strongly elliptic on S2, with coefficients in Cr.1 (0) If
the Dirichlet problem (4.35) has only the trivial solution in H 1(SZ)'" when
g = 0, then the solution operator has the mapping property
Proof. The case s = 0 is covered already in (4.37) and (4.38). Part (i) of
Theorem 4.18 shows that U : H'+3/2(r)m -+ H'+2(Q)m, and thus 8,U:
Hr+3/2(r)m -+ H'+1/2(r)m, which means that the result holds for s = r + 1.
Boundedness for the range 0 < s < r + 1 now follows by interpolation, i.e.,
by Theorems B.8 and B. 11. The same arguments apply to V and B, V, so, in
view of (4.39), we can extend X3VU in a unique way to a linear operator that is
bounded for -r - 1 < s < 0.
Lemma 4.22 Assume that cZ is Lipschitz, and that the leading coefficients Ajk
belong to W111 (c2)m"". For any real-valuedfunctions h 1, h2, ... , h" E W1 m),
and for' any u, v E H2(Q)m,
where
The second term vanishes because its factor (...) is skew-symmetric in 1 and k,
and likewise the fourth term vanishes because its factor (...) is skew-symmetric
in I and j. The third term equals
(iii) For1<j<n,
IIYa,u1IL2(r) < Ilau/avllL2(r)-+CIIYuIIH1(r)"
Proof It suffices to deal with the case when 0 is a Lipschitz hypograph given
by x < (x'). From the formula for the unit normal given in (3.28), we see
that the tangency condition vk Qk = 0 is equivalent to
n-l
Q,(x', ox')) _ Ql(x', (x'))81 (x'),
l=1
and so
n-1
Qu(x', (X )) Q1(x', (x'))[alu(x', (x')) + anu(x',
t=1
n-1
_ Q1(x', 0x'))aiut(x'),
t-t
where ut(x') = u(x', C(x')). Part (i) follows at once.
Next, consider the identity
au
(vj Ajkvk)
= Qu, where Qu = vj(Ajivivk - Ajk)y(aku).
av
The first half of part (ii) is immediate, because the differential operator Q is
tangential to r. The second part follows because the condition (4.7) for strong
ellipticity implies that the m x m matrix v1 AJk Vk is uniformly positive-definite,
so Il(vjAjkvk)au/avllL,(r)n cllau/avIlL,.(n- Finally, to prove part (iii), we
Estimates for the Steklov-Poincare Operator 149
observe that
au
Y(a;u) = vj Qju, Where Qju = (S.ik - VJVk)y(aku),
av +
and the differential operator Ql is tangential to T.
Concerning the next theorem, we remark that only part (i) is actually used
later.
Aki = Ask.
Pu= f on Q.
(i) If yu E H' (1')"', then E L2(S2)'", and
(ii) If P is a scalar operator (i.e, if m = 1), if AkJ = Alk (so the leading
coefficients are purely real), and if fi,u E L2(r), then yu E H1(17), and
We split the integrand on the left-hand side into a sum of three terms,
(Ajkaku)*aju = u + (Qju)*aju,
hjv1>c, (4.41)
then
By Lemma 4.23,
and so
CII5vuIIL,(n-11YullH-(r)- +CIIYuIIHI(ry,
+CIIuIIHI(n)w + CIIPouIIL2(n),"l111IIHI(n)-
Since II Pou II L, (n)., < II f 11L,(92)' + C 11U 11 HI (U)"', the estimate in part (i) follows.
Now drop the requirement that u E H2(SZ)'", i.e., allow u E H' (c2)1, but
assume y u E H 1(I')". It suffices to consider S2 of the form x" < (x'), where
is Lipschitz with compact support. By Theorem 4.6, the operator P is coercive
on Ho (0)'", so for A sufficiently large,
1. S, -* in L,,,, (]Ri-1), and grad r -- grad in L p (IR"-') for I < p < oo;
2. r < on 1R"-', and II grad r C, for all r;
3. r(x') = (x') = 0 for Ix'I sufficiently large.
Estimates for the Steklov-Poincare Operator 151
We let Or denote the set of points x E IR " satisfying x < r (x'), and put
rr = a Or . Obviously, 12,. c 0. Define g : 0 -> C'" by
where y,. is the trace operator for 1'r, and where, in the second estimate, the
constant C is independent of r. The operator P + A is positive and bounded
below on Ho (S2)"', and hence also on Ho (0r)'n, so there is a unique solu-
tion ur E H1(52r)"' to the Dirichlet problem
(P+A)ur = f +Au on Or,
Yrur =Yrg on 1`r.
Moreover,
<CIIf+AuIIH-p(er),,,+CII Yrg
and (as one sees from the proof of Lemma 2.32) the constants are independent
of r. We extend Ur to 0 by defining Ur = g on 0 \ Or, and observe that because
Yrur = Yrg,
(4.43)
and
IIU,.
-U112 (Q)", < CII8A-IILZ(rr)"IIYr(ur -u)IILZ(rr),n
+C(IIf +AuIIL,(s2\sz,.>>n + IIgIIH'(S2\nr)'n)IIur - UIIH0(i2),n.
Define
and note that 1 < wr (x') < C, 1 < w (x') < C, and wr -+ w in LP (I "-l)
<C f "-'
(x') - r(x')1
4
(x')
(XI)
I8"u(x', x")12 dx" dx'
(t3vur,Yrv)rr =
J
fR (x!)*v(x', (x'))w(x') dx' _ (, Yv)r,
Estimates for the Steklov-Poincare Operator 153
Hence, Bvu = j E L2(I')m, and by Exercise 2.11, the estimate of part (i)
follows from the uniform estimate (4.42) for B,ur.
To prove (ii), assume m = 1, and suppose once again that u E H2(SZ) and
that the h1 satisfy (4.41). This time, we write the integrand on the left-hand side
of (4.40) as
E IIYajUIIL,(r) < C
j=1
fr hrv1Y{Ajk8ku 8ju}dv
+ CIIPoUIIL2(17)IIUIIHl(s2)
Thus,
n
2
(Pr(U, v)+A(v, On, ? CIIVIIH t(sar)
with the constant independent of r in both cases. Thus, we have the uniform
154 Strongly Elliptic Systems
bounds
Using the method in the proof of Theorem A.4, we can extend u,. to a function
in H' (R") in such a way that II U, II H' (52\52,.) -* 0. To show that ur converges
to u in H' (Q), we observe that for v E Hl (SZ),
Since
we see by taking v = Ur - u and again applying7I eorem 4.7, this time over S2
instead of SZr, that
IIU.-uIIH'(S2)
C II C II 11 H'
so Exercise 2.11 shows that 1 E H' (R"-') with II * II H ' (]"-') < lira sup
II ,y r II H ' M-' ), implying that u E H' (1'), and that the estimate of part (ii) holds.
It is now a simple matter to obtain the desired mapping properties for the
Steklov-Poincare operators. We can also introduce a meaningful concept of a
solution u = Ug E L2 (&2)' for g E L2(F)"` (but see also the sharper mapping
property for U proved in Theorem 6.12).
Akj = AJk,
and if the solution operators (4.37) exist, then the Steklov-Poincare operato
satisfy
BvU : Hs+1/2(r,)"'
+ Hs-1/2(r,)n' and 9,V: H.s+112(r,)'n -* Hs-1/z(r,)+n
for - 2 < s < Z. Furthermore, the solution operators have bounded extensions
Proof. For s = 0, the first part of the theorem was established in (4.38). We
obtain the result for s = 1 by applying part (i) of Theorem 4.24 to (4.35) and
(4.36). The case s = -? then follows by duality, using (4.39). Finally, interpo-
lation gives the complete range -1 < s < 1.
In the second part of the theorem, it suffices to consider U. Let g E H 1/2 (r),
and f E L2(Q)m, and put u = Ug E H' (S2)m. Our assumptions imply the
existence of a unique w E H' (S2)m such that
P*w = f on S2,
yw=0 on1.
The first Green identity gives, on the one hand,
and hence 1(u, f) n l < C II g II L2 (r)m II f II L, (n)m , implying that IlUg it L2 (n)m =
IIuIIL2(n)'" <- C118IIL2(r)m 0
Exercises
4.1 ShowthatPu = -8j (Ajk0ku)+Aj8ju+Au,where Ajk = 2(Ajk+Akj) _
Akiand Aj =Aj+28k(AJk-Akj).
4.2 Let K : S2K S2 be a C' diffeomorphism. We denote the Jacobian of the
coordinate transformation x = K (y) by
18(x1, ... ,
J(Y) = I detK (Y)I =
and write UK = uoK and vK = voK, so that u (x) = UK (y) and v(x) = vK (y).
(i) Let 0 be the sesquilinear form (4.2). Show that c (u, v) = cK (UK, vK ),
where 4>K is the sesquilinear form with coefficients
Aj(Y) _ (Ar(X)2)J(Y)
ax, , AK(Y) = A (x)J(y).
(ii) Let PI denote the differential operator with the coefficients in part (i).
Show that Pu = f on 0 if and only if PKuK = fK on UK, where
fK(Y) = f(x)J(Y)
(iii) Show that P is strongly elliptic (respectively, coercive) on Q if and
only if PI is strongly elliptic (respectively, coercive) on 7K.
4.3 Show that if f (0) = 0 and a > 2, then
00
t-af dt)
1/2 1
I (t) 12 < I
.
(Jo a - (J0
[Hint: use Exercise 3.20.]
Exercises 157
4.4 Show for all s E R that if al u E HS (R' )" `, then the difference quotient (4.21)
satisfies II A1,hu 11 Il a,U I! [Hint: l e" - 11 s 101 for O E R.]
4.5 Suppose that u E L2 (W) and u± = u I r} E H I (II8'f). Show that
(a, u, 0)
J0 if l<j<n-1,
= (a;u+, 0)i + (a;u-, 0)A +
([u]r, Yt)r if j = n,
where I' = R"-1 x {0}. Deduce that u E HI(R") if and only if [u]r = 0.
4.6 Show that in Corollary 3.22 we can choose the functions Oj for the parti-
tion of unity in such a way that 0, (x) = i/rj (x)2, where 1/r; E C mp t
[Hint: start by considering g in Exercise 3.6.]
4.7 Consider the classical cooling-off problem [19, p. 56]:
au
at - aLu = 0 on S2, fort > 0,
av+byu=0 on r, fort>0,
u = uo on S2, when t = 0,
where a and b are positive constants. Let 401, 02, ... and. 11, A2, ... be the
eigenfunctions and eigenvalues of the stationary problem, as in
Theorem 4.12, i.e.,
-a 0Oj = ,Xj¢j on 0,
a0;
-}-by¢j =0 on!,
av
158
Finite-Part Integrals 159
Finite-Part Integrals
We begin our study of homogeneous distributions by focusing on the simplest
example, namely, the one-dimensional, homogeneous function
xa if x > 0,
10 ifx <0.
If Re a > -1, then x+ is locally integrable on R, and is obviously homogeneous
of degree a as a distribution on R, not just as a function on R \ {0}. To deal with
the interesting case Re a < -1, we use the following concept, introduced by
Hadamard [37] in the context of Cauchy's problem for hyperbolic equations.
and
aj 54 ak whenever j # k. (5.4)
If a function g satisfies
N
bl
g(E) _ L Eai + bN+1 log E + bN+2 + 0(1) as c 4. 0,
1=1
then the term bN+2 is called the finite part of g(e) as c .{ 0, and we write
When no singular terms are present, i.e., when b1 = ... = bN+t = 0, the
finite part is just the limit of g(E) as c 0. The next lemma shows that, when
it exists, the finite part is unique.
Lemma 5.2 Let a 1, ... , aN and b 1, ... , bN+2 be complex numbers, and assume
that the aj satisfy (5.3) and (5.4). If
N
lim E b'
CIO Eaj
+ bN+l log E + bN+2 = 0,
(j=1
thenbj =Ofor1 < j <N+2.
Proof Let lc = maxl<t<N Re aj, and suppose to begin with that µ = 0. In
this case, (5.3) implies that all of the a1 are purely imaginary, say a1 = iAj
160 Homogeneous Distributions
By (5.4), we may assume without loss of generality that X 1 < k2 < . . . < AN,
and by analytic continuation we may replace x with ix in (5.5) to obtain
N
bj ezjx-iej + bN+2 = 0 for x E R.
j=1
If AN > 0, then we divide through by eA"x and send x oo, to conclude that
bN = 0. Otherwise, X1 must be negative, so we divide through by e^tx and
send x -+ -oo to conclude that b1 = 0. Repeating this argument, one sees that
b j = 0 for 1 < j < N, and then (5.5) reduces to bN+2 = 0.
Now suppose µ > 0. Since
N
1im E" N (--j + bN+1109 E + bN+2 = lim biE"j-µ
4"0
j=1 E"j
ELO
Rea j=µ
The following lemma establishes the existence of Ha (0), and shows that we can
define a temperate distribution f.p. X'- E S*(R), called the finite part extension
of x+, by putting
and
_E)
-
H if a# -1.
a + 1O,)
Suppose first that Re a > -k - 1 and a ; -1, -2, ... , -k. By Taylor expan-
sion,
k-1 O(j)
i0)Ej+a+1
Ea+1O E) = +0(6 Rea+k+l ),
j=0
Ha+1(0')
a+l
and the first part of the lemma follows by induction.
Next, integration by parts and Taylor expansion give
00
-0(E) logE - f0'(x)logxdx
k
1=1 J'
so if H_k (4') exists then
(k)
Xk
(
+
k
The formula for H_k_ 1(0) follows by induction. 'O
The next lemma shows that the distribution f.p. x+ is homogeneous of degree
a on R, except when a is a negative integer.
cf. (5.2). Now suppose that Re a > .-k - 1 and a -1, -2, ... , -k. For
brevity, write bk = (-1)k/[(a + 1) (a + k)]; then by Lemma 5.3,
= Ckt-k-1o(k)(O) + t kl H_I(M1/,0(k))
0 if x > 0,
x° = (-x)+ _
1xIa if x < 0,
and its finite-part extension,
E
This loss of homogeneity does not occur in the case of the function x-k-1
164 Homogeneous Distributions
Indeed, the finite-part extension
= H-k-1(0) + (-1)k+1H-k-I(M-10),
satisfies
One can formally integrate by parts k + 1 times to express (f.p. x-k-1, 0(x))
as a convergent integral.
k!J=1
E1 [O(k)(0) + (-1)k+I (M-10)(k)(0)]
(_l)k+1(M-1,)(k)),
+ k1 H-1 (.(k) +
with the branch of z° = exp(a log z) chosen so that -ir < arg z < it.
Finite-Part Integrals 165
and
(_ I k+l (k)
(x ± i0)-k-I = f.p. x-k-1 ± i7r S (x) for any integer k > 0.
k
Proof If Re a > -1, then we may apply the dominated convergence theorem
to obtain the first formula. If -k - 1 < Re a < -k for some integer k > 0, so
that Re(a + k) > -1, then integration by parts gives
00
(-1)k (x ± iy)a+k 01k) (x)
f 00 (x + iy)aQb(x) dx = dx,
foo (a + ])(a+ 2)...(a + k)
so in the limit as y 4. 0, we have
(-1)k (xa+k + efin(a+k)xa+k)
((x f i0)a, fi(x)) _ ' (k)
(a + l)(a + 2) ... (a + k)
dk x+ k + (-1)kefinaxa+k
dxk
((x ± i0)-k-1,
0(x)) = flogIxI1)(x)dx
00
kI
k
f(±iir)(x)dx
°
In the special case when the finite part of the integral is just a limit, we speak
of the principal value p.v. u, i.e.,
f X I>E
u(x)cb(x) dx = J u(co)
p>E
pat"-1-0 (pce)) dp dcv.
po+n-1cb(px) p+++n-1,
Racb(x) = f.p. 00 dp = (f P (px))
40 JE
for X E R" \ {0), (5.11)
so that
Proof Consider
U(w)t-n(t-1)-a-lzRa4)(w)
(Mr f.p. U, 0) = f dw = (ta f.p. u, 0).
wl=1
However, if a = -n - k, then
(Mr f.p. U, 0)
U(w)t-"
((t_t)kR_il_k4>(cv) - (t-1)klog(t-1)
E aao(0)wa
a
dw
Iwl=1 lal=k
f.p. U, 0) + t-"-k
log t
as of w"u(w) dw,
Ial=k
a. Iwl=1
ii -f.p.u=Ecaa,3,
a
where the sum is finite. The result follows because 8a8 is homogeneous of
degree -n - lad; see Exercises 5.1 and 5.2.
168 Homogeneous Distributions
The next theorem complements the one above, and introduces a particularly
important class of homogeneous functions satisfying the orthogonality condi-
tion (5.13).
then
fwl=1
(-1)k+1u(w)R-n-k41(-w) dw,
and by (5.6),
p_k-1, O(pw)),
R-n-ko(-w) _ (f.p. p+k-1, (f.p.
so we have
(f.p. U, ) = 1
f 2 w l=t
u(w)[R-n-k O(w) + (-1)k+1R-n-k(-w)] dw
giving the desired formula; recall (5.8). The homogeneity of f.p. u follows
from Theorem 5.7 because the parity condition (5.14) implies the orthogonality
condition (5.13). Alternatively, one sees from (5.9) that
The uniqueness results in Theorems 5.7 and 5.8 yield a simple proof of the
following fact.
P r o o f By Exercise 5.2, if a # -1, -2, -3, ... , then a" f.p. u and f.p.(a"u)
are homogeneous extensions of a"u with degree a - I a I , and must therefore
coincide. If a = -n - k but u has parity opposite to k, then
a"u(-x) _(-1)k+I"I+1a"u(x) for 0 0 x E W,
so 8"u is homogeneous of degree -n - (k + lal) and has parity opposite
to k + la l. Thus, a" f.p. u and f.p.(a"u) are again homogeneous extensions
of a"u, and both have parity opposite to k, so they must coincide. 0
Fourier Transforms
Our aim in this section is to compute the Fourier transform of the finite-part ex-
tension of a homogeneous function. Following the pattern of previous sections,
the one-dimensional distributions f.p. xf and f.p. x-k-1 will be treated first. In
order to state the next lemma, we require the gamma function,
00
'(a) =f forRea>0.
In the usual way, r is extended by means of the identity
r(a + l) = ar(a)
to a meromorphic function on C having simple poles at 0, -1, -2, ... , and
satisfying r (k + 1) = k ! for any integer k > 0.
Lemma 5.10 Let IIa T:r_.4 {f.p. x' 1. If a # -1, -2, -3, ... , then
} r(a + 1)
r1Q () _ (±i2ir)"+1
( i0) ,
Proof To begin with, suppose that Re a > -1. For any 17 > 0, the func-
tion e-2nglxlx11 belongs to LI(R), and
00
{e-2nglxlXa l =
Fx, t fJ J dx.
Making the substitution z = 27r (ri f ii )x, and then applying Cauchy's theorem
to shift the contour of integration back to the positive real axis, we find that
00
o e-zzadz
[27r(ii±i
J Jo
_ 1
a1??)--1
1'(a + 1) (
(±i27r)a+l
Sending ri J, 0, we obtain the first part of the lemma for Re a > -1, and the
case Re a < -1 then follows by analytic continuation; see Exercise 5.6.
For the second part of the lemma, consider
00
e-ibrtxx-k-1 dx,
H_k-1,E (a-i2Trl
)=f E
f (_I)_
e-zz-k-1
f.
e-zz-k-1
dz = f 1 dz
4
k
=± resse-zz-k-1 =
o
l2 k
i7r (-1)k
(i27rj)k (H_k_I.2rIIE() T
2 k! )
Fourier Transforms 171
P
(0)
(P
k!
k - - tog27r ICI + k! H-t
1 1
i=t J
- (-1)k
k Ek
i=t
1
J
- l0 g27r ICI+e-xlogxdx
I ,
(-i27rt)k i7r k
(1)-E _1
2 sign(t)-1
kt
i=t I
00 oo
(f.p. xk-', fi(x)) = f.p. f x-k-t f e-i2n1XO(t) dt dx
(n-k-t' E J 00
00
Elo foo
where the final step is justified because the o(1) term in the expansion of
H_k-t.E(e-i2"t')
can be bounded by f (E)g(t), with f (E) = o(1) as c 4. 0, and
g(') having only polynomial growth as It I oo. The formula for n±k-i (t)
is now established, and the one for II-k-t (t) then follows by (5.6) because the
Fourier transform commutes with M_ t; see Exercise 5.8. 0
As an immediate consequence of Lemmas 5.6 and 5.10, we obtain the for-
mulae below; see also Exercise 5.10.
1227r
7r tk sign(t).
nk(t,) = (-i2zr
1 s'kl(t) and l1-k_, (t) _ (
)k
dt
X(x)=1-J1 *(tx) forxER".
0
l(t-lx)I
< Ctr E max
IfiI=r+Ial
XEK
aa4(t-lx)I,
so
f 1
tr-n-Rea dt
I(ul, 0 :5 C E sup
1: I#I=r+lal YER" J0
showing that ul E S* (RI).
(px) = J 0 f tl=o
t l dal dt _ (p),
174 Homogeneous Distributions
where
Together, (5.15) and Lemma 5.14 show that the Fourier transform of f.p. u
is given by
and
-,C{f.p. u(i )} =
Iwsee
f ]Ia}n-1(-x w)u(w) dco;
Exercise 5.12 for alternative formulae that do not require any restriction
(5.18)
on a.
Change of Variables
We wish to investigate the effect of a change of variable x = K(y), where
K : S2" -+ S2 is a Cx diffeomorphism satisfying
K (O) = 0,
and S2" and S2 are open neighbourhoods of 0 in R". For any E > 0, let
BE={yER,':lyl<E}
Change of Variables 175
denote the open ball in 1R" with radius c and centre 0, so that if u E L 1.10c (Q \ (0} )
and 0 E D(Q), then
Theorem 5.15 below implies the existence of the finite part of the right-hand
side of (5.19) when u is homogeneous, or, more generally, when u is the sum of
finitely many homogeneous functions and a remainder term that is integrable
on Q.
(i) For every m > 0, the composite function u o K admits the expansion
m
(ii) For every j > 0, the function wj is C°O on IR" \ (0) and homogeneous of
degree a + j :
If, in addition, a = -n - k for some integer k > 0, and u satisfies the parity
condition (5.14), then for all j > 0 the parity of the function wj is opposite to
that of k - j, i.e.,
Letting h(y) = K(y) - K'(0)y, we see that there exists E > 0 such that
cIYl < IK'(0)Y + th(y)l < CI yI for 0 < Iyl < E and 0t1.
176 Homogeneous Distributions
Thus, by Taylor expansion of u about K'(0)y,
Hence,
m _
u(P) (K'(0)Y; h(Y)) _ > ... >2 u(P) (K'(0)Y; hr, (Y), ... , hrp (Y)) + Rm.p(Y),
r,=2 r,,=2
P
where the sum is over all p > 0, rl > 2, ... , rp > 2 satisfying
rl + ...+ rp - p = j
(Notice that j ? p > 0.) Since a"u is homogeneous of degree a - Ial, and
hr is homogeneous of degree r, it follows that w j is homogeneous of degree
a - p + rI + + rp = a + j. The estimates for Rm(y) follow from the
bounds
CIYIa+m+I-laI IYIm+I-lal)
IaaRm,t(Y)I < and IaaR,,,,2(Y)I < Cmin (1,
for 0 < lyl < E. Finally, if a = -n - k and u(-x) = (-1)1+lu(x), then
8"u(-x) = (-1)1+l-I"I8"u(x)
and so the term wj is homogeneous of de-
gree -n - (k - j), with
Now consider the left-hand side of (5.19). Since K(QK \ BE) = 2 \ K(BE),
the question arises as to whether
r
f.p. u(x),o (x) dx = f.p. u(x)o(x) dx.
Eyo JS2\K(BE) Eyo JS2\BE
In fact, Exercise 5.7 shows that these two finite-part integrals can differ, even if
K is linear, when a is an integer less than or equal to -n. Once again, we seek
first to understand the one-dimensional case.
and
k-l
[K (E)]a+j+l = Ea+l+l +
Cjl
l=j
f.p.[K(E)]a+l0(K(E)) = 0,
and we have
-1
f' P' Ha,K(E)(0) = f.p. Ha+1K(E)(h'),
OE O a+140
178 Homogeneous Distributions
(-1)kHa+k,K(E)(T (k))
f.p. Ha.K(E)(W) = f.p.
CIO Elo (a+ 1)(a+2)...(a+k)
(-1)k Ha+k (O(k) )
(a + 1)(a + k)'
Jk(0) = ki f (k+1)
(x) log IxI dx, (5.22)
E(K(E)) (K (-6))
k[K(E)]k k[K(-E)]k + k
= Jk-1,CW) + k"¢(i)(0) / 1 1 1
+0(6).
k f=p J! [K(E)]k-i [K(-E)]k-iJ
(K(y))a= ifyES2\0,
1
ify=0,
[K'(0)]m
Change of Variables 179
and so
f. p. 1 L p.
f (±E) = f cnn)
(0)
E JO {K(±E)j'n EO (±E)m mI
Thus,
Jk-l(0')
Jk(0) =
k
and (5.22) follows by induction on k.
For c sufficiently small, the set K(BE) is approximately ellipsoidal and can
be described using the function g in the next lemma. Recall that Sn-' = {w E
R" : I w I = 1 } denotes the unit sphere in R".
such that
K(BE)fl(pw:0<p<oo) ={pw:0<p<g(E,w))
for 0 < E < Eo and Iw1 = 1. (5.23)
Moreover, g satisfies
foriEi <co,IwI=1andj>0.
Proof. Choose po > 0 such that tw E cZ for It1 < po and IwI = 1, and define
where
Thus,
f(t,w)=E # t=g(E,w),
for I E I < Eo, with co > 0 independent of w. The relation (5.23) follows because,
for Ix I < co,
K(x)=pw p=g(Ixl,w),
and because g(E, c)) is a monotonically increasing function of E. Finally, (5.24)
holds because f (t, w) = -f(-t, -w) and because I a/ f (t, w)1 < Cj for
Itl < pi and lwl = 1.
We are at last in a position to prove the main result for this section; see Kieser
[48, Satz 2.2.12] for the original proof using the calculus of pseudodifferential
operators.
and hence
for 0 E D(Q).
Proof Using the notation in Lemma 5.17 and making the substitution x = pw,
we have
00
f "\K(B,)
u(x)cb(x) dx =
JIml=1
u(w)
Jg(E.W)
pa+n-10(pw) dp dw
for0<E <Eo.
oo
f.p. pa+n-io(pw) dp = (f.p. 4(pw)) = Ra (w),
Et.o Jg(E,o)
Finite-Part Integrals on Surfaces 181
and the result follows at once from (5.12). If a = -n - k and u satisfies (5.14),
then
f u(w) f 00
p-k-'O
(pcv)dpdo)
f Jg(E,w)
=J u(-w) J dpdcv
L. g(E.-w)
= f u(w) I
g(-E.w)
p-k-)¢(pw)dpdw
Iw1=) -oo
= 21 fl-1=1 u(w)fR\K.(B,)
and assume that the origin has been chosen so that (O) = 0. By (3.28), if
uE and 0 E D(r), then
Theorem 5.19 Let I' be a C°O surface passing though the origin, as above, and
suppose that u E C°°(]R" \ (01) is homogeneous of degree a. If a -n + 1,
-n, -n - 1, ... , or if a = -n + 1 - k (k > 0) but u satisfies u(-x) _
(-1)k+)u(x), then
f.p.
Elo
f \B.
u(x)O(x) dox
= f.p.
E.IA
fIX'1>E
u(x', (x'))O(x', (x')) 1 + dx'
for 0 E D(r).
182 Homogeneous Distributions
x E F \ BE f r l + E.
Since (0) = 0, there exists EO > 0 and a C°O function g : (-EO, EO) X S"-2
R such that
1' \ BE = { (x', (x')) : x' = rw, r > g (E, co) and w E Sn-2 } for 0 < E < co,
with g(E, w) _ -g(-E, -co); cf. Lemma 5.17. The result follows by arguing as
in the proof of Theorem 5.18, remembering that now the integral is over RI-I
instead of R".
and in addition
To begin with, we investigate the simplest case, when I' = R' ' and so
The next lemma gives an alternative representation for f in terms of the Fourier
transform of *. We denote the upper and lower complex half planes by
and let C± and C,- be the closed, semicircular contours shown in Figure 4.
If w(z) is continuous for z in the closed half plane Ct U R, and analytic for
Iz I > ro and z E C}, then we denote the integral of w over C} by
f w(z) dz = fcr
w(z) dz for r >ro. (5.28)
where
f
m±(', x") = f
Furthermore,
and
where = J '*O. Suppose now that supp o c R". In this case, for each i;'
the function ¢( ', ) is continuous on C± U R, is analytic on C±, and satisfies
bounds of the form
Hence,
H t" f oo
d'n
and to shift the contour of integration in the "-plane, we consider the poles
of putting Z(i') = ( " E C : q('', l") = 0 ). Since q is homogeneous,
we have Z(ti;') = and since the coefficients of the polynomial q(i', )
are continuous functions of ',
for f
f 00
00
v( d ,= = f v()() d = f f v(
)ei2'
x0 (x) dx d "
=
f
yR
'RI,
x,:) dx.
dz
Jfc;
M+(-C, -xn) =
f C,
Since m±(k', is a C°C function of x,,, we see that the restrictions f I w. and
f IR,. can be extended to C°O functions on R. We now consider the one-sided
boundary values of f on the hyperplane x, = 0, given by
Theorem 5.22 Suppose that u satisfies Assumption 5 .20, and that i E S(Il8i-1)
f+ W) = .t--(x') = f Rn-1
u(x' - y', 0)f(y') dy'. (5.29)
and
so that
Ud*t/t= Ecaaa*,
lal=i
for some ca E C. Furthermore, u5(x' - y') = 2u(x' - y', 0) for x' y', be-
cause (5.29) holds when x' f supp *, so the homogeneous distributions u5 and
2f.p. 0) are equal on R"-1 \ {0}. Since both have degree -(n - 1) - j
and parity j - 1, we see by Theorem 5.8 (applied in R11- 1, not R") that in fact
us = 2 f.p. 0) as distributions on R' 1. D
Theorem 5.23 As before, let r be the CO° surface (5.25), with (0) = 0. If u
satisfies Assumption 5.20, and if r E D(r), then the restrictions f Iu+ and f In-
can be extended to C°O functions on 1R1. Moreover, for x = (x', (x')) E
F we have
f+(x)+f-(x) =2f.p.J
40 r\e, (x)
u(x - y)f(y)dav
We shall not prove this result, because techniques from the theory of pseudo-
differential operators would be required; cf. Kieser [48, Satz 4.3.6] or Chazarain
and Piriou [ 10, p. 280]. In all subsequent proofs, we avoid using Theorem 5.23.
It does, however, help to account for some of our results in Chapter 7.
Exercises
5.1 Show that the Dirac distribution 8 E D* (R") is homogeneous of de-
gree -n.
5.2 Show that if u E CcO(R" \ {0}) is homogeneous of degree a E C as a
function on R" \ (0), then for any multi-index a the partial derivative 8"u
is homogeneous of degree a - lad on R" \ {0). Show further that if a E
D*(R") is homogeneous of degree a as a distribution on R", then 8"u is
homogeneous of degree a - IaI on R".
5.3 Show that
d
f.p. x} = ±a f.p. x f 1
for a -1, -2, -3, ... ,
- -
but
d f.p. x fk =- Fk-f .p. xtk-1 ± (k i)k 6(k) (x) for any integer k > 1.
Deduce that
dx
5.4 Recall the definition (5.11) of Ra0. Show that if 0 E D(R"), t > 0 and
xEIR"\{0},then
but
8 0i )x
R-n-k 0(tx) = tkR-n-k4 (x) - tk logt E
I"I=k
a!
for any integer k > 0.
5.10 Prove Corollary 5.11 directly, i.e., without using Lemma 5.10. For the
first part, use (3.17), and for the second part, show that
(-12Jt)k+1
H_A_I (e- i2a )= k
sign (s) for any integer k > 0.
2kl
5.11 Show that if u E L1,10c (R) and 0 E D(R"), then
where
0. (t) =
al
f .,.L=O O
(x' + talla) dxl,
I
l I
Exercises 189
00 00
dt
r f (t)
t
=1 and
fo
f (t) log t dt = 0.
[Hint: look for f in the form f (t) = Cg (At) for appropriate constants
C>0and),>0.]
(ii) Deduce that the cutoff function 1i (x) = f (Ix 1) belongs to Cmp (R" \
{0}), and satisfies
f0*
I
W
(tx) t = 1 and (tx) logt dlog IxI
TX,g{f.p.u(x)} = (n *(x)u(x))
and
K(w)dw=0.
Iw1=1
190 Exercises
Define
Ku(x) = limKEu(x),
From this point onwards, we shall always assume that P has C°O coefficients
and is strongly elliptic on W. Thus, Alk, Aj and A are (bounded) C°O functions
from R" into CmXI, with the leading coefficients satisfying
n n
In this and subsequent chapters, we shall develop integral equation methods for
solving boundary value problems involving P. Such methods require a two-
sided inverse for P, or, more precisely, they require a linear operator !9 with the
property that
PGu = u = GPu for u E £*(R")"'. (6.2)
The kernel G is said to be a fundamental solution for P, and the same term is
also applied to the operator g, although we shall sometimes refer to the latter as
a volume potential. We shall also work with a kind of approximate fundamental
solution, known as a parametrix, that is generally easier to construct.
191
192 Surface Potentials
The plan of the chapter is as follows. The first two sections set out the main
properties of parametrices and fundamental solutions, emphasising the simplest
case when P has constant coefficients. Next, we prove the third Green identity,
in which the single- and double-layer potentials arise. Following the approach
of Costabel [14], we then prove the jump relations and mapping properties of
these surface potentials for the case of a Lipschitz domain. The final section of
the chapter establishes some relations between the surface potentials associated
with P and those associated with P*.
Parametrices
A smoothing operator on R" is an integral operator
whose kernel K is C°O from R" into C" xm a it is easy to see that any
such K satisfies
K : E* (R")'" E(
Conversely, it can be shown that every continuous linear operator from E* (R")
into E(IR")m has a C°° kernel; see [10, p. 28].
A linear operator G : E*(Rn)"' -+ D* (W)"' is called a parametrix for P if
there exist smoothing operators K 1 and K2 such that
and
P(
j=1
Parametrices 193
and hence
C
IP(A)-1I < for ICI > po. (6.7)
ICI'-
and define
Theorem 6.1 If the strongly elliptic operator P has constant coefficients, then
the formula (6.8) defines a parametrix for P, and moreover
This kernel is C°° because x has compact support. Also, the estimate (6.7)
implies that
The next lemma will help us to describe the behaviour of the kernel G (x, y).
Lemma 6.2 Suppose that v E C°O (ll8" \ {0}) is homogeneous of degree -j for
some integer j > 1. If
then the distribution u is locally integrable on 1[8", and is CO° on 118" \ {0}.
Moreover,
Proof Part (i) follows at once from Lemma 5.12 and Theorem 5.13, because
v is locally integrable on R". If j > n, then by (5.18),
Theorem 6.3 Assume that P is strongly elliptic with C°° coefficients on R".
There exists a parametrix 9 for P whose kernel admits an expansion of the
form
N
G(x,y)Gj(x,x-y)+RN(x,y), (6.11)
j=U
for each N > 0, where the functions Go, GI, G2, ... and Ro, RI, R2, ... have
the following properties:
(i) For each j > 0, the function G j is C°D on Il8" x (Rn \ (0)), and has the
same parity as j in its second argument, i.e., G j (x, -z) = (-1)j G j (x, z).
(ii) If 0 < j < n - 3, then G j (x, z) is homogeneous in z of degree 2 - n + j.
(iii) If j > n - 2, then G j has the form
as Ix - yI 0,forIal >2-n+(N+1).
Proof As mentioned above, we assume P has constant coefficients, and con-
sider G given by (6.9). The choice of po ensures that there exists an expansion
196 Surface Potentials
of the form
Gj(z) _
and apply Lemma 6.2 to obtain (ii) and (iii). The expansion (6.11) serves
to define RN, and we see that G j (-z) = (-1)jG j (z) because Vj (-t) _
(-1)jV1(4)
Write RN(x, y) = RN,1(x - y) + RN,2(x - y) + RN,3(x - y), where
N+I 00
RN 1 = -X E f.p. V3, RN.2 = f.p. VN+I, RN,3 = (1-X) E V3.
j=0 j=N+2
We see that RN, I is C°O on R" because RN, I has compact support. Parts (ii)
and (iii) imply that RN,2(X, Y) = RN,2(x - y) = GN+1 (x - y) satisfies condi-
tions (iv)-(v). To deal with the remaining term RN,3 (X, Y) = RN,3(x - y), we
use the bounds
ITx-, {(-127rz)fla"RN,3(z)}I = la )I
C(1 +
Theorem 6.4 Let 521 and 02 be open subsets of R", such that SZ I C= 02, and
assume that P is strongly elliptic with C°° coefficients. For s, t E R, if u E
H' (522)"' and f E H-'(02)' satisfy
Pu = f on 522,
Fundamental Solutions 197
Proof. Choose an open set 2 c 02 such that SZ1 C= 0 and SZ C Q2, and then
choose a cutoff function X1 E C mp(SZ2) such that x1 = 1 on Q. We have
and thus
In particular, it follows that the mapping properties (6.10), and the expansion
in Theorem 6.3, are valid for every parametrix of P. Two further consequences
are now obvious.
Fundamental Solutions
A parametrix g (or its kernel G) is said to be a fundamental solution for P if
(6.4) holds with 1C1 = 0 = LC2, i.e., if
G(x, y) = G(x - y)
with G E S* (LR" )"""" . Indeed, taking Fourier transforms we see that such a G
is a fundamental solution if and only if
I,
or equivalently,
PG = 8 on R". (6.12)
Theorem 6.8 Assume that? has constant coefficients and no lower-order terms
(A1=OandA=0).
(i) If n = 2, then the formula
G(z) ='P*->z{f.p.
f wl=
[r'(1) - log2rrlw zI]P(w)-' dw
G(z) = 2z1
f l P(w1)-1 dwl,
where Sz = {w1 E S2 : wl z = 01 is the unit circle in the plane normal
to z, and dwj is the element of arc length on Sz .
Proof. We see from (6.6) that P (l;) is invertible for 0. Thus, P (t;)-' is
C°O and homogeneous of degree -2 for E R" \ {0}.
Suppose n = 2. We know from Lemma 5.12 that f.p. P(l;)-' is a tem-
perate distribution, so G(z) is well defined as the inverse Fourier transform
of f.p. P(l;')-', and by Exercise 5.5,
giving the integral representation for G (z), and completing the proof of part (i).
Part (ii) is clear from Theorem 5.13, because for n > 3 the function P ()-1 is
locally integrable on R", and thus homogeneous of degree -2 as a distribution
on lid".
To prove (iii), we note that by Exercise 5.12, if n = 3 then
f l Z=0
(l)P(Sl)-'d 1 = J J'1E >O
(Awl)P(Awl) Adpdwl
cf. (4.2). The one-sided trace operators for SZ+ and S2- are denoted by y+ and
y-, respectively, so that
with the usual generalisation via the first Green identity, as in Lemma 4.3.
Remember also our convention that the unit normal v points out of S2- and
into 52+.
The Third Green Identity 201
[u)r=Y+u-y u, Au)r=Bvu-B-u,
and we often indicate that a jump vanishes by dropping the + or - superscript;
for instance, we write
Pu± = f } on Q±,
then
potential DL by
Theorem 6.10 If, in addition to the hypotheses of Lemma 6.9, the function u
has compact support in 1R" (and thus also f has compact support in R"),
then
SL*(x) =
f G(x, y)i/i(y) dc,, (6.16)
and
If 95 E HI then
whereas by (6.18),
(P +))u = 0 on S2-,
(6.21)
y-u=g onr
has a unique solution u E H' (12_)m for each g E H112(I')m, and we can define
the solution operator U : g i-+ u. Recall that this operator was discussed in the
final section of Chapter 4. Let * E D(r)'" and define u e L2(R")"' by
U* on S2-,
u=
to on 52+.
Since Pu = -1Au on Sgt, the third Green identity (Theorem 6.10) gives
so
The mapping property of XSL and the mapping property (4.38) of B. U imply
that
and by (6.10),
+ IIu1IL2(R")m
so by (6.22),
Next, we show that the mapping properties of the surface potentials can be
extended to a range of Sobolev spaces. Note, however, that the results below
are not quite the best possible; see the discussion following the proof.
Theorem 6.12 Fix a cutoff function X E C mp (R'), and assume that -1 <
s<2,
206 Surface Potentials
(i) For the single-layer potential, we have
(ii) If P satisfies the hypotheses of Theorem 4.25, then the solution operator
for the Dirichlet problem (6.21) satisfies
BV SL : Hs-I/2(r)nn Hs-1/2(r)m,
XDL : Hs+1/2(r)m -+ Hs+l (Qf)M,
y} DL : Hs+1/2(r)m Hs+1/2(r)m,
B DL : Hs+1/2(r)m Hs-1/2(r)m
To prove (ii), let V : H v be the solution operator for the dual problem
to (6.21):
B0U : H3+1/2(r)m
We choose a number p large enough so that Ix I < p/2 for all x E S2-, and put
(P+A)u = 0 on Qp,
y+u=g onl',
yp u = 0 on l'p,
and yp is the trace map from H' (Q +)R' onto H'/2(l'p)' . Now let g E D(I')"',
and define w E L2 (W)"' by
Llg on S2-,
w= U,g onSZp,
0 on S2+ \ S2p+.
Define u on FP to be the inward unit normal to Q+, and let SLp denote the single-
layer potential on the (disconnected) surface 8S2p+ = F U T. Since [w]rur,, = 0
and
-.kw on c2 ,
Pw = -Aw on S2p ,
0 on S2+\S2p,
<- C II w L2(C2-UQ ),
< CIIUOIIL2(0-)-
III
+CIIU gIIL2(n+)"-
_< CI1811L2(ry <- CIIgI1Hf+-12(r)-
208 Surface Potentials
and by part (i) and (6.24),
+C11BvUp giIH=-112(r,) s7
C11911 H=+,n(r),,, .
Next, consider the operator B. SL, and let *, ¢ E D(I')m. By the second
Green identity (Theorem 4.4),
and since P SL i/r = -)C1y*i/r and (P* +.l)VO = 0 on S2-, and y-VO _ 0
on r', we see that
(13- SL ti, O)r = (y SL,/r,13- Vcb)r + (r, YKi Vcb)r - X(SLi/r, VO)n-.
Therefore,
CII*IIHs-u2(r)(IIOIIH-,+1i2(t)'' +
C11XDL i11HI+I(Wk)"'
and
II B: DL II
+x1IBy9u11L,(r),,, +
CIlB,u*1IH-n(r),,,
CIIfIIH.,+i,z(r),,, + C11* IIHs+-n(r),,,
The proof of Theorem 6.12 breaks down if s = ±2. In particular, the trace
operator no longer satisfies the mapping property in (6.23); cf. Theorem 3.38.
Nevertheless, it turns out that all of the conclusions of Theorem 6.12 are valid
for - 2 < s < Z , even when the principal part of P is not formally self-adjoint,
as required in Theorem 4.25. However, the proofs for the cases s = ±z are
difficult, and rely on techniques from harmonic analysis. Of course, the es-
timates for s = f2, in combination with the interpolation property of the
Sobolev spaces, yield a proof of the case - z < s < i independent of the one
given above.
A detailed discussion of harmonic analysis techniques for elliptic equations
on nonsmooth domains is beyond the scope of this book. Nevertheless, in view
of the importance of the mapping properties for s = ± , a few pointers to the
i the survey by Jerison
literature may be appropriate. Two useful early papers are
and Kenig [43] on the Dirichlet and Neumann problems for the Laplacian on
a Lipschitz domain, and the study by Fabes, Jodeit and Riviere [21] of the
classical method of surface potentials for the Laplacian on a C' domain. A key
ingredient in [21] is the fact, proved by Calder6n [9], that if F is C' (or even
Lipschitz but with a sufficiently small Lipschitz constant), then the Cauchy
integral defines a bounded linear operator on L2(F). Subsequently, Coifman,
McIntosh and Meyer [11] extended Calderon's result to the case when r is
Lipschitz (without restriction on the size of the Lipschitz constant), after which
Verchota [102] was able to extend the results of [21] to Lipschitz domains. Later,
other elliptic equations were treated, including the Stokes system [221 and the
equations of linear elasticity [17]; see also the survey paper of Kenig [47].
Mitrea, Mitrea and Taylor [68], [69] have only recently treated general strongly
elliptic systems. Further historical and bibliographical details up to 1991 appear
in a monograph by Kenig [47].
In most of these papers, not only the boundedness of the various boundary
operators is of concern, but also their invertibility, a question we shall address
in Chapter 7. Also, estimates of the surface potentials in Sobolev norms on the
domain do not appear explicitly in most cases. Instead, bounds are proved for
the nontangential maximal functions of the potentials and their derivatives, from
which the Sobolev estimates follow; see Jerison and Kenig [43, pp. 62-63], [46,
p. 145] and [44, Theorem 4.1].
210 Surface Potentials
When r is smooth locally, we can use the transmission property to show that
the mapping properties in Theorem 6.12 hold also for s > 1. Recall Figure 3
of Chapter 4.
II DL 11 H.,+'(o CII'Y
IIH-r-2(r).u + CII*IIH'+112(r2),,,.
Proof. Since the fundamental solution G(x, y) is C°O for x y, we can as-
sume without loss of generality that supp ,/r C= ['3/2i where 1'3/2 = G3/2 n r and
G1 C= G3/2 C G3/2 C= G2. For -Z < s < 2, we can repeat the proof of Theo-
rem 6.12, noting that the mapping properties (6.24) now hold by Theorem 4.21,
so no extra assumptions about P are necessary.
For s = r + 1, part (i) follows from Theorem 4.20 because the single-layer
potential u = SL * satisfies Pu = -K1 y*i/r on 01 with uIS2 E (SZZ
[ulr = 0, [l3vulr, - -VIE Hr+1/2(1')"' and 1Cly*tfi E Hr(S2z )m. We then
obtain (i) for the full range of values of s by interpolation, viewing SL as a
linear operator from HS-1/2(1'3/2)n' into HS +' (S21)"
Similarly, part (ii) follows because if s = r + 1 , then the double-layer po-
tential u = DL1fr satifies Pu = -1C1on S2:L with ui - E H'(S22 )m
Mr, E Hr+3/2(['2)m, (Evulr = 0 and )C113'1/r E Hr(c )m.
Duality Relations
Recall from (4.30) that the first Green identity for S2} takes the form
P* v} = f t on Sgt.
or in other words,
Assuming that v has compact support, we may apply g* to both sides of (6.27),
and obtain another version of the third Green identity,
and
cf. (6.16) and (6.17). Theorems 6.11-6.13 on the jump relations and mapping
properties of SL and DL carry over in the obvious way to SL and DL, with 13,
taking the place of B,,; thus,
(Y SL*, Or Y §L Or.
Proof. Fix a cutoff function X E D(R") with X = 1 on a neighbourhood of
r. The operator XC*X : H-1(R")m -> H1(R")m is the adjoint of XcX :
H-I(R")"' -+ H1(111;")m, so, noting that
we have
Lemma 6.16 Suppose U E D(R")"', and put i/r = yu. If X E c2±, then
and
u)n ± (x, r=
VF(G(x,')*,
-(K2(x, u)
= (G(x, )*, Pu),, ± (G(x, )*,
proving the formulae for ± DL * (x). The formulae for ± DL * (x) follow in
the same way, because x) = Sx - KI (., x) on W. 0
Theorem 6.17 Suppose U E H' (R")'", and put * = yu E Hh/2(1')"'.
For instance, the first of the three terms arising from the definition of '-F is
fr
O(x)* f (AJk(y)aykG(x, y)*)*a,u(y)dyd6x
7T
u) + zf (fr K2(x,
y) (x) dax)*u(y) dy
proving the first half of part (i); the second half holds by a similar argument.
To prove part (ii), we use the second formula for DL f in Lemma 6.16,
followed by part (i) and the first Green identity. Indeed,
and since P* DLO = -K2B*o on Q:F, another application of the first Green
Exercises 215
identity gives
Exercises
6.1 With the notation of Theorem 6.3, show that if P* = P, then G1 = 0.
6.2 By thinking of G (y, x)* as a parametrix for P*, we can apply Theorem 6.3
to obtain an expansion
N
G(y, x)* = E G;(x, x - y) + RN(x, y),
i=o
where the Gj have the obvious properties. Show that Go (x, z) = Go (x, -z)*.
6.3 Here is another way of deriving the jump relations for the single- and
double-layer potentials, assuming that the basic mapping properties of
Theorem 6.11 are known.
(i) Show that if * E H-1/2(I')"' and u = SL *, then
217
218 Boundary Integral Equations
and recall from (6.30) and (6.31) that the ones associated with P* are given by
for x E W \ r. We will see that all traces and conormal derivatives of these
potentials can be expressed in terms of four boundary operators, namely
These mapping properties were proved in Theorem 6.11. (The reader may now
wish to turn to the first section of Chapthr 8 and look at the explicit forms
for R, S and T in the simplest and most familiar case, i.e., when P = -A.)
The duality relations in Theorems 6.15 and 6.17 show that the adjoints of the
operators in (7.3) are given by
From the definitions above, and the jump relations in Theorem 6.11, we
obtain the following expressions for the traces and conormal derivatives of the
single- and double-layer potentials:
Theorem 6.12 implies at once that the mapping properties in (7.3) and (7.4)
extend to a range of Sobolev spaces as stated in the theorem below. Note,
however,'our discussion of the end-point cases s = ±1 following the proof of
Theorem 6.12.
Proof The mapping properties for 0 < s < r + 1 follow from Theorems 6.13
and 3.37. We then get the estimates for -r - 1 < s < 0 by duality.
Integral Representations
We shall now derive integral representations for each of the eight boundary
operators in (7.3) and (7.4).
For p > 0 and x E R", let B,, (x) denote the open ball with centre x and
radius p. If n > 3, then, by Theorem 6.3, the leading term Go in the homoge-
neous expansion of G has degree 2 - n. If n = 2, then Go contains a logarithm.
Consequently,
cf. the integral formulae for the single- and double-layer potentials given in (7.1)
and (7.2). Recalling the definition of By from (4.3) and (4.4), and the definition
of By from (4.5), we see that the kernels of the last six integral operators above
are given explicitly as follows:
In general, the six kernels in (7.9) are all strongly singular on the (n - 1)-
dimensional surface F, because the leading term in the homogeneous expansion
of VG is of degree 2 - n - Ia I.
To investigate what happens as e .0, suppose that SZ- is given locally
by x < (x'), and define the directional derivative
(x,
+ t h') - (x')
d (x', h') = lim
tlo t
T±(x)={wES"-1:±v.v(x)>01. (7.11)
where v is the outward unit normal to S2- \ BE (x) and the inward unit normal
toSZ+\BE(x).Suppose y E c flaBE(x)andputy = x + Ew, where co E Sn-1
Observe that v(y) _ +W, so by (7.9) andTheorem 6.3,
we see that
giving the formula for y t DL * (x). The expression for T * (x) then follows
immediately from the definition of Tin (7.3).
The formulae for y± DL *(X) and T >/r (x) follow by a similar argument, with
the help of Exercise 6.2.
When I' is sufficiently smooth, the preceding results for T and T simplify,
and we can deal with the other four boundary operators; cf. Theorem 5.23.
(y)*]
B,,,xG(y, x)* + 13,,,yG(x, y)* = [vi (x)Akj(x)* - vj (y)Aki
x a"+kGo(x, x - y)*
J 0(1+lloglx-yil) ifn=2,
+
1 O(Ix - y12-") if n > 3,
= O(Ix - you+1-n)
where S2E = Sgt \ BE (x). Since P* [Bv x G (x, )]* = 0 on S2E , the second Green
identity (Theorem 4.4) gives
and
and by arguing as in the proof of Theorem 7.3 and noting that Go (x, -(0) _
co), we find that
f (x)
vj(x)Ajk(x)8kG(x, x + Ew)wl8lu(x + Ew)En-1 dw.
=
-2 1
I wI-1
Vj (x)Ajk(X)a.+kGo(X, w)a,u(x)wl do) + 0(E).
Hence, taking the average of the + and - expressions for Ri/r(x) in (7.13), we
are left with
1
R,/i(x) = lim RE*(x) + 13V,x[ VyG(x, y)`]*it(y) day
L-naBEx )
1 * 1
Bv,x[9v.YG(X,y)*]u(y)da,,
2 L+fl8B2 (x)
In view of Theorem 6.3 and (7.9), if we let u,,,l(y) = A,,,,(y)u(y) and ul(y) _
A,(y)u(y), then
y)*]*u(y)
-,Bv,x[Bv.YG(x, = vj(x)Ajk(x)[an+kan+,nGO(x, x - y)un:l(x)
+ akan+1GO(x, x - y)umt(X)
+ an+kan+mG1 (x, x - y)unsl (X)
an+ka,,+mGo(x, x - y)8pum!(X)(yp - xp)
- an+kGO(X, x - y)u!(x)]vl(y)
+ 0(jx - y12-',).
For the leading term, we apply Exercise 7.2 with f (w) = Go (x, -w)
Aml(x)wl to obtain
f i naBf(x)
an+kan+mGo(x, x - y)v!(y) day
Each of the remaining strongly singular terms in the integrand has the form
f (x, x - y), where f (x, z) is even and homogeneous of degree 1 - n as a
function of z. Since
The next theorem shows that the boundary integral equation (7.15) satisfies
the Fredholm alternative; cf. Theorem 2.33. The method of proof was first
The Dirichlet Problem 227
used by Nedelec and Planchard [76], [74], Le Roux [56], [57], and Hsiao and
Wendland [42], for the case when P is the Laplacian. These authors were
all concerned with error estimates for Galerkin boundary element methods,
in which context positivity up to a compact perturbation is of fundamental
importance for establishing stability.
S=So+L,
in which So : H-1/2 (r)m - H1/2(r')m is positive and bounded below, i.e.,
and in which L : H-1/2 (r')m -+ H 1/2 (r)m is a compact linear operator. Hence,
S : H-1/2(r)m -) H1/2(r')m
where
Furthermore,
so
which is the same as the condition obtained in Theorem 4.10 for solvability of
the (pure) Dirichlet problem.
Pu = f on Q-, (7.22)
B.u =g on r,
then the trace i/r = y-u E H 1/2 (F)"' is a solution of the boundary integral
equation
Proof. Essentially, one repeats the proof of Theorem 7.5, interchanging g and*,
and taking the conormal derivative of the Green representation formula (7.17),
instead of its trace. In fact, by (7.5),
where the number p is large enough so that IxI < p/2 for all x E 0-. The
argument below follows a similar pattern to the one for the Dirichlet problem
(Theorem 7.6).
230 Boundary Integral Equations
Theorem 7.8 If P is coercive on H 1(S2-)' and on H' (Q+)"', then the boundary
operator R = -B DL is coercive on H1/2(I')"', i.e.,
Hence,
Proof Let * and 0 belong to H 1/2 (r)' and put u = X DL Vr and v = X DLO,
where X E C o ,P(R") is a cutoff function satisfying X= I on a neighbourhood
of S2-, with supp X Cc B,,. Since R1/r = and 4) _ [yv]r, and since Pu = 0
on n-, the first Green identity implies that
(Ri,r, 4))r = (-Bu, y+v - Y_Or = (Du-(u, v) + c0P (u, v) + (L,*, 4)r,
where (L1*, 0) r = -(Pu, By hypothesis,
so
r=rDunurN
be a Lipschitz dissection of the boundary. We write
and
Pu= f on Q-'
Y _U = gD on rD, (7.26)
BV -U = gN on rN.
Extend the Dirichlet and Neumann data to the whole of r, in such a way
that gD E H1/2(r)' and gN E H-112 (l'), and define hD E H 1/2 WD)... and
hN E H-1/2(FN)m by
satisfy
SDD -'TDN *D hD
(7.27)
['-i T
NND RNN *N hN
and
which is just the 2 x 2 system (7.27). This argument proves part (i).
Conversely, suppose that V'D E H1/2(rD)"' and *N E H-'/2(I'N)m sat-
isfy (7.27). By (6.10) and Theorem 6.11, the equation (7.28) defines a func-
tion u E H' 02-)'", and obviously Pu = f on S2-. Finally, by working back-
wards through the calculations above, we see that y-u = gD on I'D, and
;t3; u = gN on 1'N, proving part (ii).
Mixed Boundary Conditions 233
By putting
1
SDD -2TDN nb [*D] h=
hD
A= IT* Y *N hN
2 ND RNN
AO =h,
and by putting
we have
A=Ao+L,
where AO : H -* H* is positive and bounded below, i.e.,
A : H -+ H*
Proof Let So be as in Theorem 7.6, and let Robe as in the proof of Theorem 7.8.
Thus, S=So+LsandR=Ro+LR,where
Since
and since supp 1D c I'D U 11 and supp 1/'N c rN U 11, it follows that
as required.
Exterior Problems
Integral equation methods are particularly suited to boundary value problems
posed on the exterior domain 52+. It turns out that, in general, the solution will
not belong to H1(S2+)"', but only to HI (cZ)'" for each finite p, where 0v
is defined as in (7.25). Furthermore, to make use of the third Green identity
on S2+ we require a somewhat stronger result than Theorem 6.10, that incor-
porates a suitable radiation condition. In other words, some assumption about
the behaviour of the solution at infinity is needed, and here we shall adopt the
approach of Costabel and Dauge [16].
Lemma 7.11 Let u E D*(S2+)"`. If Pu has compact support in Q+, then there
exists a unique function .Mu E C°°(R")"' such that
Proof. First note that, by Theorem 6.4, the distribution u is C°O on S2+ \
supp Pu. Given X E R11, we define .M u (x) to equal the right-hand side of (7.29)
Exterior Problems 235
with r, the boundary of any ball Q- = B. centred at the origin with radius p
large enough to ensure that S2- U supp Pu C- Bp and x c Bp. By applying
the second Green identity over an annular region of the form Bp, \ B,o, , one
sees that the definition of Mu(x) is independent of the choice of p, because
Pu = 0 = P*G(x, )* on Bp, \ Bp, . Similarly, to see that (7.29) holds for x
in any bounded Lipschitz domain 01 with Q- U supp Pu C 0, , we apply the
second Green identity over Bp \ S2- for any p such that Q7 C Bp.
Notice that PMu = 0 on R". We now give the desired version of the third
Green identity for Q+.
Theorem 7.12 Suppose that f E H-i (9+)m has compact support, and choose
po large enough so that
If U E D* (52+)m satisfies
Pu = f on SZ+,
or equivalently,
G(x, z)* = G(y, z)*B,,,yG(x, y)* day - [B,,,,G(y, z)]*G(x, y)* dQy.
fr Jr
Thus,
or equivalently,
u(x) = DL yu(x) -
Since PMu = 0 on 1R", it follows from the third Green identity that Mu = 0
onR".
To state the main result for this section, it is convenient to introduce the
notation
H11 (Q+),,,
= {u E D* (S2+)m
U I Q+ E H 1(SZp)"` for each finite p > 0 such that Q- C BPI.
We point out that Exercise 7.4 gives some simple sufficient conditions on u for
ensuring that .Mu = 0, in the case when P = Po.
Pu = f on St+,
y+u=g onr, (7.31)
Mu = 0 on lR",
Exterior Problems 237
u=Gf+DLg-SL,/i one .
(7.33)
Pu = f on 52+,
B+u=g on r, (7.34)
Mu = 0 on R",
then the trace* = y+u E H 112 (r ),n is a solution of the boundary integral
equation
u = G f + DL *- SL g on Q+. (7.36)
Pu = f on SZ+,
Y+u=gD on I'D,
(7.37)
l3+ u = gN on FN,
Mu=0 on R",
satisfy
Proof. Suppose that u E Hil (S2+) is a solution to the exterior Dirichlet prob-
lem (7.31). By Theorem 7.12,
The proof of part (ii) proceeds in the same way, except that one takes the
conormal derivative of both sides of (7.40), instead of the trace, to obtain
B'u=8'Gf -Ry+u-z(-l3vu+T*B-,) on F.
The proof of part (iii) is similar to that of Theorem 7.9.
Regularity Theory
In Theorem 4.18, we proved local regularity up to the boundary for solutions
to elliptic partial differential equations. A simple argument based on this re-
sult yields the following local regularity estimates for the boundary integral
equations. Recall the definition (7.25) of the set Q+
Theorem 7.16 Let G 1 and G2 be bounded open subsets of R" such that G 1 C= G2
and G 1 intersects r. Put
Si/r= f onF2,
then t/r E Hr+l/2(rl)"' and
R* = f on I'2,
Proof. Let G3/2 be a bounded open subset of R" such that G1 C= G3/2 C
G3/2 C= G2,. and put 523/2 = G3/2 n Sgt.
240 Boundary Integral Equations
Pu=O one ,
yu= f on r2,
so using the jump relation for I31 SL * (Theorem 6.11), together with the trace
estimates (Theorem 3.37) and elliptic regularity (Theorem 4.18), we find that
JIB, u - By uIIH'+1r-(r,)
CIIuIIHr'+2(n3/,)1" + CIIuIIH'+2(niZ)m
Pu=0 onc22,
l3,u = f on r2,
so
We saw in Theorem 7.2 that the mapping properties of the boundary integral
operators hold for an extended range of Sobolev spaces when F is smoother
than just Lipschitz. The regularity result just proved allows us also to extend
the Fredholm property for R and S.
Proof We know from Theorem 7.6 that S is Fredholm with index zero when
s = 0. Thus, let 01, ..., ¢p be a basis for kerS in H-1/2(r)'". In fact, by
Theorem 7.16 these basis functions belong to Hr+1/2(r)",, and we can choose
Exercises 241
P
Ki/r = E(Oj, '1`
j=1
it is easy to see that the homogeneous equation A* = 0 has only the trivial
solution in H-t/2(r)m. Thus, the inhomogeneous equation A*/r = f has a
unique solution * E H-112(1,)m for every f E H1j2(F)"`. Furthermore, if
f E Hr+112(r)m, then Si/r E Hr+1/2(x)"1 because Kt/r E Hr+112(ryn, and so
* E Hi-112(r)"' by Theorem 7.16. It follows that A has a bounded inverse for
s = r, and the same is true of A*. Hence, by interpolation and duality, A is
invertible for -r < s < r. Therefore, since K is compact, the operator S must
be Fredholm with index zero for -r < s < r. Also, ker S does not depend on s,
because if * E H-r-1/2(1,)"1 satisfies Si/r = 0, then A* = Kiln E Hr+i'2(r)m
A-1
and thus i/r = Kulr E Hr-1/2(x)m. The proof of (i) is now complete.
Part (ii) may be proved using the same approach. The allowed range of s is
larger because the basis functions for ker R belong to Hr+3/2(r)m 0
Exercises
7.1 Suppose that S2 is a C°O hypograph x < (x'), and let K (x, y) be any one
of the six kernels in (7.9). Show that
f.p. J K(x,y)u(y)day
E,o r\B,(f x)
Put
`
(If n = 2, then 17ES0={+1,-1}.)
(ii) The function a satisfies
n-1 n-1
as 1
lima (6, r7) = 0 and E
o ac 2
a= (E r7 cos a).]
(iii) With S+'-' = [Co E S"-1 : (0n > 0},
n/2
f(w)dw =
f
T,+ 5'-2
10E.0 f (i?(E,nf(r7cos0,
Cos 0, sin0)dOdr7
=f
n-1 n-1
f (w) dw - 46 a, a, (0)
+ p=1 q=1
(iv) In part (iii), the term in E vanishes if f (-w) = - f (w) for all co E Sn -1.
7.3 Show that the right-hand side of the boundary integral equation (7.23)
satisfies
P*v=0 onQ ,
onl'.
[Hint: see the discussion following Theorem 7.6.]
7.4 Assume that P has no lower-order terms (i.e., P = PO), and that G (x, y) _
G(x - y) is as in Theorem 6.8. Show that if u satisfies the hypotheses of
Lemma 7.11 and if, as Ix I -+ oo,
Pu = 0 on Q-,
y-u=01 on I',
B u=42 onr,
so u = SL 4)2 - DL 01 by Theorem 6.10. Hence, Pc4) = 45, or in other
words PC20 = Pct', demonstrating that Pc really is a projection.
(i) Show that
PC= 2(I - T) S
ER (I + T'*)
2
244 Boundary Integral Equations
(ii) Deduce that
7.8 Let S2± = R1, and think of r as R"-'. Also, assume P = Pa with constant
coefficients, so that is a homogeneous quadratic polynomial, and let
G(x, y) = G(x - y) be the fundamental solution given by Theorem 6.8.
(i) By applying Lemma 5.21, show that if n > 3, then
(')e12ngxd",
R*(x') = J mR( ')
where
n it
MR( O =
J
E1:
j=1 k=1
n n ff
deduce that
S: Hs-1/2(RR-1)m Hs+1/2(R"-I)m
and
R: Hs+1/2(wn-1)m Hs-1/2(Rn-1)m
for all s E R.
(iv) Let X E C mP(lR") satisfy X = I on a neighbourhood of zero, and
consider
Our development of the general theory of elliptic systems and boundary in-
tegral equations is now complete. In this and the remaining two chapters, we
concentrate on three specific examples of elliptic operators that are important
in applications. This chapter deals with the Laplace operator in R", denoted by
If
A a2
J=1
Ajk = Sjk, Aj = 0, A = 0.
Associated with -A is the Dirichlet form
Obviously, -A is formally self-adjoint and strongly elliptic; see (4.6) and (4.7).
246
Fundamental Solutions 247
Fundamental Solutions
The Fourier transform of -Du is P(4)u(4) where P(l;) = (27r )2 1 1; 12, so by
Theorem 6.8 a fundamental solution for -A is
Ld -l dw
PIT-t dp p dp = 0 for p > 0,
so
an 1
w(p) = + bn when n > 3,
n - 2 pn-2
or
1
w(p) = a2 109 - + b2 when n = 2,
p
for some constants an and bn. The choice of b is arbitrary, but an is fixed by
the requirement that G satisfy (6.12), i.e., by the requirement that -AG = 8
248 The Laplace Equation
on R", or in other words
Any test function 0 E D(R") has compact support, so we can apply the second
Green identity (1.9) over the unbounded domain {x :IxI > c), and arrive at the
formula
- fX I>E
G(x)Oq(x) dx = fX I=E
0(x)a,G(x) da,r - J (x) do-,
(8.3)
where yr = -x/E. Since
we have 8,G(x) = -(x/E) grad G(x) = a,, -0` for IxI = E. Thus, by the
mean-value theorem for integrals,
f IxI=E
(x)8vG(x) dox = a" Ej J xI=E
fi(x) dax =
O(E) if n > 3,
G(x)8vO(x) da,, = 10(cllog,-I)
JIxI=E if n = 2.
Thus, if a" = 1/Ta, then (8.2) follows from (8.3) after sending f 0.
An alternative method of determining a" is to apply the third Green identity
to the constant function u = I over the unit ball. One obtains the formula
DL 1(0) = -1, from which it again follows that a" = 1 / T . 0
Throughout the remainder of this chapter, G(x, y) = G(x - y) will always
denote the fundamental solution from Theorem 8.1. Recalling the definitions
of the boundary integral operators S, R and T given in (7.3), we see first that
by (7.8),
Si/r(x) =
1 *(Y) when n > 3,
(n - 2)Tn Jr Ix - yI"-2 d6y
and
S* (x) = 1*
2,
(y) log
Ix
r
YI
day when n = 2,
Fundamental Solutions 249
for x, y E r,
T*(x) Y) forxEr;
= 2 - An
see Theorem 7.4, and cf. Exercise 8.6. If r is C2, then
and obviously 4 (u, u) = II grad u 112,(Q) > 0 and IIU II L2(n) > 0, so A > 0.
Moreover, if A = 0 then OQ(u, u) = 0, implying that gradu = 0 on n, and
hence u is constant on each component of 0. 0
250 The Laplace Equation
The same argument yields a uniqueness theorem.
-Au=0 one,
y u = 0 on I'D,
a,u = 0 on FN,
We remark that, for the first part of each of the preceding two results, the
homogeneous boundary conditions could be replaced by the weaker assumption
that yu)r < 0.
Spherical Harmonics
For each integer m > 0, let P,,, (]R") denote the set of homogeneous polynomials
of degree m in n variables, i.e., the set of functions u of the form
Apart from the results involving the boundary integral operators, our general
approach to the study of spherical harmonics is essentially that of Miiller [70].
Let
M(n, m) _ 1 1 (8.7)
(m+n- ),
n
Spherical Harmonics 251
Also, Po = 71o is just the space of constant functions, and P1 = WI is just the
space of homogeneous linear functions, so
n
with the choice Of V,,,-l EP,,-I( ) and vn, E Pm (R 1) being arbitrary.
Hence,
Furthermore, since
N(1, m) = t
( 1 ifm=Oorl,
0 ifm > 2,
we have
1 ifm = 0,
N(2, m) _ (8.13)
2 if m> 1,
252 The Laplace Equation
and in view of (8.7) and (8.11),
2m + n2 2
N(n , m) _ forn > 3 and m > 0. (8.14)
n- (m n-
+ n 3 3l
In particular, N(3, m) = 2m + 1.
Put
Corollary 8.3 implies that the restriction map u H u Is- i is one-one, and hence
is an isomorphism from 7I,,, (R") onto 7l", (S"- ), so
giving (8.15). 0
The same method of proof yields the following result in two dimensions.
T* = T** =
27r
fr k(y) dcr for* E L2(F), (8.19)
Si/r= 2ir,
1
Ri/r= 2ir, Ti/r=T*1/r=0 form> 1.
(8.21)
Proof The relations (8.16) remain valid for x, y E S" when n = 2, but the
kernel of T is now
1 I
forx,yEF,
it Ix-y12 27r
implying (8.19). To prove (8.20), suppose that m = 0. We see at once from (8.18)
that R +' L= 0. Furthermore, i/r is constant, so by symmetry Si/r is also constant,
and then uniqueness for the solution of the interior Dirichlet problem shows
that SL * is constant on the disc Q-. At the origin, we have
T* T*v/r 2rrmfst-Dudx=O.
27rm, r 8vdc
Thus, (8.21) follows at once from (8.18).
We now consider spherical harmonics that are invariant under rotation about
the nth coordinate axis.
254 The Laplace Equation
Lemma 8.6 Given m > 0, there exists a unique function u satisfying
(i) U E H. (R");
(ii) if A E R"" is an orthogonal matrix satisfying Ae = e, then
In fact,
1
u(x) = (x + ix' j7)... drl. (8.22)
ri,-I fs"-2
Proof. One easily verifies that (8.22) defines a function u satisfying (i), (ii)
and (iii). To show uniqueness, suppose that A E IR""" satisfies the assumptions
of (ii). It follows that A has the block structure
A=
and so the conclusion of (ii) means that vk (A'x') = vk (x') for all x' E IEI;n-1
which in turn means that vk (x') depends only on Ix'j. Hence, every it E P (R")
satisfying (ii) has the form (8.8) with vk(x') = dklxIk, where dk = 0 if k is
odd. Exercise 8.4 shows that
-k(n + k - 3)
dk-2 = (m - k + 2)(m, - k + 1) dk for2<k<m. (8.23)
With the notation of Lemma 8.6, we define Pm (t) = Pn, (n, t), the Legendre
polynomial of degree m for the dimension n > 2, by
k=O
and therefore Pm (2, t) is the mth Chebyshev polynomial of the first kind. Ex-
ercise 8.8 shows that Pm(3, t) is the usual Legendre polynomial of degree m.
The fundamental solution for the Laplacian can be expanded in terms of these
polynomials, as follows.
where
IaI
1 1
F.(x,Y) = > a, (y)x" and a. (y) =
lal=m
IYI-(,r-2)-m
Fm (x, Y) = Ixln Fm (ti' IyI l brPm(COS0) In-2+m '
(8.28)
and by choosing x and y so that I y I = 1 and cos 0 = 1, we have Ix - yI =
(Ix12 - 2IxI + 1)1h/2 = 1 - IxI, so the b,n are as in (8.25). The proof of (8.26)
is now complete.
When n = 2, we proceed in the same way, except that now
Ial
a,(Y)_ (ai 8y logIYI'
Spherical Harmonics 257
and by choosing lyl = 1 and cos0 = 1, we see that b,n = 1/m because
m
I
log lxl = -log(l - lxl) 00 m for lxl < 1.
m=1
(i) If /u(x) = O for p < po, then there exist E fn,(Sa-1) such that
(ii) If Du (x) = 0 for p > P0, and if M u = 0 on R", then there exist E
such that
U(X) = EP
00 2 (w) for p > Po, when n > 3,
,n=0
and
00
Proof Let S2- = Bp,,, the open ball of radius po and centre 0, and consider the
special case when u = SL 0 for some 0 E L 1(I'). By (8.27), we get the desired
expansion for p < po, with
and by (8.28),
2+2,,
yl
F X)
(XI)
so u has the desired expansion for p > po, with
..(w) = (n - 2)Tn
1
r
f
IYIn-2+2mFm(w,
y).0 (Y)day.
a
avy IX
1
=0
E ava F(x,y) forlxl<IYI,
M=0 Y
and
8 1 °° 1 a n 2+2,n
avy Ix - An' = avy IYI - F. (x, Y)] for IXI > IYI
In the general case, if Au(x) = 0 for lxl < po, then by applying the third
Green identity over SZ- = Ba, , where p, < po, we see that an expansion of
the desired form holds for p < pl. In fact, this expansion is valid for p < po,
because the ikm cannot depend on the choice of p I. This completes the proof of
part (i), and part (ii) follows in a similar fashion with the help of Theorem 7.12.
Behaviour at Infinity
Fix po > 0, and define
xa z
We call xu the inverse point of x with respect to the sphere aB,,,,. Notice
(xa)O = x and
> po if and only if lx I < po, xO = x if and only if lx I = po, and IxO I < po if
I
and only if Ix I > po. For any subset E C_ III" \ {0}, we write EO _ {xa : x E E},
and for any function u defined on E, we define uO, the Kelvin transform of u,
by
uO(x4)
(?i)i_2u(x) . (8.30)
Lu3(xo) _ xllAu(x),
n+2
IPoll
In this case, Mu = b.
Proof The Kelvin transform ul is harmonic on the punctured ball Bp, \ (0),
so by applying the third Green identity over an annular domain Bp, \ Bp,,
with 0 < pi < p2 < po, we see that uO = v° + v°°, where vO(xa) is harmonic for
Ixui < po, and v°O(xa) is harmonic for IxV I > 0, with Mv°° =0 on R".
260 The Laplace Equation
To prove part (i), let n > 3 and write w = x/Ixl = xd/I xd I. By Theorem 8.8,
there are surface spherical harmonics *,0, and of degree m, such that
00
v°(xd) = Y Ixd Im *° ((O) for Ixd I < P0,
,n=0
and
00
v°O(xd) _ Ix0 (w) for Ixal > 0.
,n=0
bounded at zero, and thus r10 must be identically zero for all m > 0. Hence,
ud=v° and
u(x) (A) n-2 ud(xa) _ E Po-2+2,n 00
(w) for IxI > p0.
x ,n=0
are Fredholm with index zero. The following uniqueness theorem for the ex-
terior Dirichlet problem will help us to investigate ker S. We shall see that
complications arise when n = 2.
u(x) = O(Ix12-")
as IxI -* 00
if and only if u = 0 on Q+.
Solvability for the Diriehlet Problem 261
Proof. Suppose that (8.31) holds. Applying the first Green identity over S2p =
7+ fl Bp for p sufficiently large, we have
=
(-f'_-u(Pw))u(Pw)P"_' dw.
dp
so
u(pw) = O(p2-n) and --
d u(pw) _
dp
0(p")
O(p-2)
if n > 3,
if n = 2,
O(p2-n) if n > 3,
fzP0(p-') ifn = 2.
(
Igrad ul2dx=fiS2+(u,u)
and
By modifying the boundary integral equation Silr = f and adding a side con-
dition, we obtain a system that is always uniquely solvable, even when n = 2.
Proof Introduce the Hilbert space H = H-1/2(1') x C, identify the dual space
H* with H1"2(I') x C by writing
Proof Let 9'eq be the solution of the system in Lemma 8.14 when f = 0 and
b = 1. Thus, Slfeq = -a is constant on r, and by Theorem 8.12, if n > 3, then
-a = -a(1, ifeq)r = (S*eq, lkeq)r > 0.
The distribution *eq is real-valued, and is called the equilibrium density for F.
If n > 3, then the reciprocal of the positive constant S*eq is called the capacity
of r, a quantity we denote by Capr, so that
1
= Sz/req when n > 3.
Capr
This terminology has its origins in electrostatics: if an isolated conductor carries
a charge Q in equilibrium, so that the potential V is constant throughout the
conductor, then the ratio Q/ V does not depend on Q, and is called the capac-
itance. Mutual repulsion causes all of the charge to lie on the boundary of the
conductor, so (with appropriately normalised units) the electrostatic potential is
264 The Laplace Equation
SL 1/r, where i/r is the surface charge density. Thus, Q = ,fr l/r da and V = Si,
and in the case of a unit charge Q = 1, we have /r = *eq, so the capacitance
is the reciprocal of S*eq.
Now consider the case n = 2, and write S = S, to indicate the dependence
on the choice of the parameter r in the fundamental solution from Theorem 8.1.
The equilibrium density 1/req is the same for all r, but not so the constant Sr1/req.
Since Srl/eq is not always positive, one introduces the logarithmic capacity,
Capr = e2'', so that
1 1 _
log Capr S1 *,q when n = 2.
2n
Notice that
(127r, Or
Sri// Si* + log.1,r,
and hence
r
S,.1/req = 2I log
CaPr
(i) The operator S,. is positive and bounded below on the whole of H-1/2(F)
if and only if r > Capr.
(ii) The operator S,. has a bounded inverse if and only if r 0 Capr.
If r < Capr, then (Sr 1/req, +feq) r = ar < 0. To complete the proof of (i), suppose
that r > Capr, or equivalently, ar > 0. By Theorem 8.12, both terms on the
right-hand side of (8.34) are non-negative, and the first is zero if and only
if *o = 0. Thus, (Sr*, Or 0, with equality if and only if *o = 0 and
(1, Or = 0, i.e., if and only if /r = 0. Hence, Sr is strictly positive-definite on
Solvability for the Dirichlet Problem 265
In the case of the unit sphere r = Sn-1, it is clear from symmetry that 1/req
takes the constant value I/ T,,, and in view of Theorems 8.4 and 8.5,
1 ifn = 2,
{(n-2)T,, ifn>3.
Further properties of Capr are given in Exercises 8.10 and 8.11, and in the
books of Hille [40, pp. 280-289] and Landkof [52].
We conclude this section with an interesting application of Theorem 2.36.
Theorem 8.17 If m 0 1, then 11,,, (Si -1) and f-l1 (Sn-1) are orthogonal to
each other as subspaces of L2(Sn-1). Furthermore, the orthogonal direct sum
®O0 7-f
m=0 m (Si-1) is dense in L2(S"-1)
Proof. Recall from Theorems 8.4 and 8.5 that l,n (Sn-1) is an eigenspace of S.
Hence, the orthogonality of 7-l n, (Sn-1) and Iii (Sn-1) follows at once from the
fact that S is self-adjoint. We may assume, by choosing r > 1 if n = 2, that
L2(Sn-1) c
S is strictly positive-definite on H-112(Sn-1).
Since the inclusion
H-1/2(Sn-1) is compact, the operator S: L2(Si-1) -+ L2(Sn-1) is compact
Proof The first part of the theorem is a special case of Corollary 8.3. The
exterior problem is handled in a similar fashion, by applying the first Green
identity over S2p , and arguing as in the proof of Theorem 8.10.
for 1 < j < p. Thus, the functions v1, ..., vi,, form a basis for the solution
space of the homogeneous interior Neumann problem (8.35).
Jsz,
f dx + fasp,
gda=0 for t<j<p,
- (8.37)
in which case u is unique modulo the subspace span {ul, ... , vP}.
Solvability for the Neumann Problem 267
Proof In the present case, the conditions in part (ii) of Theorem 4.10 reduce
to
on I'i,
onF\ri,
for 1 < j < q. The lack of uniqueness for the Neumann problem gives rise
to a lack of uniqueness for the corresponding boundary integral equation; cf.
Exercise 8.17.
Au = 0
eau=0
u(x) = O(Ix12-")
so u is constant on each component of R" \ F, and thus f = [u]r is constant
on each component of r. To prove the converse, it suffices to observe that, by
the third Green identity,
1 inside I'i,
DL Xi (8.38)
0 outside I 'j,
so RXi = 8 DL Xi = 0 on F.
and
(Ri, Or ? cll*IIH'r(r)
for* E H1/2(P) such that (Xi, Or = 0 for 1 < j < q.
Proof. Let i/i, 0 E H'12(1'), and put u = DL i/i and v = DL ¢. As in the proof
of Theorem 7.8, we find that for p sufficiently large,
Since gradu(x) = O(Ixl-") and v(x) = O(Ixi1-11) as IxI - oo, the integral
over 8BP is 0(p-"), and we obtain (8.39) by sending p -+ oo.
It follows at once from (8.39) that (R 4r, 0r > 0. Moreover, if(Ri/i, r =0,
then grad u = 0 on R' \ T, so u is constant on each component of R" \ r, implying
that * = [ulr is constant on each component of F. Hence, by Theorem 8.20,
(Rill, ill) r = 0 implies Ri/i = 0. Therefore, the coercive, self-adjoint operator R
is strictly positive-definite on the orthogonal complement of ker R, and we may
appeal to part (iii) of Exercise 2.17.
Exercises
8.1 Let G (x, y) = G (x -y) be the fundamental solution given by Theorem 6.8
when n = 2 and P(4) = (2ir)21'I2.
(i) Show that
2ir
I"(1) -log27r
G(x) =
1
2ir
1
log lxI -F
27r
- (2,r)2 J
1
log I sin BI dB.
Au(x)dew+n-ldw- 1 d
dpe p dp p' dp \ dp /
8.5 Show that T1 = -1 and T*+//eq = -*eq.
8.6 Assume the hypotheses of Theorem 7.3, take P =-A, and let X E r.
(i) Show that a:: (x) = -a [T+(x)]/T,,.
(ii) Show that limEl.o TE 1(x) _ -1 - [a+ (x) - a-(x)] = -2a+ (x).
(iii) Deduce that
8.8 Let b,,, = b,,, (n) be as in Theorem 8.7. Show that when n > 3, the
Legendre polynomials have the generating function
00
Ebm(n)P.(n,t)zm = 1 1,
m =0
(1 - 2tz + Z2)(n-2)/2
Po(2, t) = 1 , P1(2, t) = t,
Pm+1(2, t) - 2t P,,, (2, t) + Pm-1(2, t) = 0 form > 1.
270 The Laplace Equation
8.9 Recall the definition (8.29) of the inverse point xd with respect to the
sphere a Ba, .
(i) Show that
axk _ po) l2 x;xk
(s;k - 2IX11
axk CIXI
and
4
" axi ax; = PO
E
1=1 aXJ axk Ixl
8jk'
(ii) Consider two curves x =x(t) and y = y(t) that intersect at a point
a E II8n when t = 0. Show that
dxO dy= PO 4dx dy
when t = 0,
dt dt (Ia) dt dt
and deduce that the mapping x i--> xI is conformal, i.e., angle-
preserving.
(iii) Show that if E is a plane or sphere, then so is Ed. [Hint: consider the
equation a Ix 12 + b x + c = 0, where the coefficients a and c are
scalars, but b is a vector.]
(iv) Think of = xx as a system of orthogonal curvilinear coordinates
for x = , and deduce that
-2,q n [(PO)2j,-4 au
Au =
ICI) j=j
Next, establish the identity
P, 2-n a 2n-4 au
(ICI) a; (ICI)
(po) n 2 n-2
au a a2 uA
-2a; a; ICI + a; (ICI)
n-2 a2 n-2
a2
u
ICI)
PO (Iii)
PO
aupo) ICI po
a; (ICI) u =(IXI)
a2ud
a;'
1 1
Au = 0 on T2+,
y+u=1 on I',
u(x)=O(Ix12-n)
aslxl -+ oo.
Show that the unique solution is u = Capr SL *eq, and deduce that
Capr = -
f 8+ u dcr.
This result can sometimes be used to compute Capr; see Landkof [52,
p. 165].
8.11 Suppose that I' is a simple, closed curve in the complex z-plane, and let
w = f (z) define a conformal mapping of S2+ U r onto I w I > 1. Since
f is one-one on cZ+, it must have a simple pole at oo; see Markushevich
[63, pp. 90-91]. Thus, there is a constant pr such that
Au =0 on Q+,
y+u = 0 on I',
u(z) = log IZI
+0(l) as z - oo.
Pr
(ii) Hence show that
u = log r - 2n SL *eq,
Capr
a+b a-b
z= 2 w+ 2w
diam(1') ifn = 2,
Capr _- (n - 2)T,, diam(I')"-2
if n > 3.
8.13 For any a > 0, we write ar = {ax : x E 17). By expressing the equilib-
rium density for al' in terms of the equilibrium density for r, show that
a Capr ifn = 2,
Caper = t&3_2Capr
if n > 3.
8.14 Derive the following variational characterisation of the capacity:
min
,/,EH-'12(r). (l.*)r=l
(Si, Or = (Sieq, *eq)r
12n log r
Capr
ifn = 2,
ifn>3.
Cap,LI
- 1Iw+w
Z-2 1
wr
fo(z) = log and f,n(Z) = form > 1,
2m w'"
and let
8:':U",
(x, 0) = vlimp ifmz)
T1 1 when in = 0,
= x
1 -x2 2(x±i 1 -x2 -'n when m > 1.
(iii) Let r = (-1, 1), and show that u,,, = SL 1/r,,,, where Vr,,, = -[8vu,,, Jr
is given by
2 P. (2-, x)
fo() 1 - xz
and d *,,,(x) = 1
xz
form > 1.
2 log 2r if m = 0,
1 r Pm (2, y)
2rrlog\ Ix-YI/ 1-y2 dy 1
l)m(2,X) if m > 1.
1 -y2dy =
m- Q,n(x)
f.p. 2 Qm(Y)
27r EyO Jc-,,l)\B,(x) (x - y) 2
for-1<x<1.
(iii) Hence obtain an explicit series solution for the equation RI/r = f .
274 The Laplace Equation
h=Z(g-T"g)-a1gf,
so that Ri/r = h ig the boundary integral equation corresponding to the
interior Neumann problem (8.36) for the Laplacian; see Theorem 7.7.
Define an operator
R, : H1/2(F) - H-1'2(r)
by
q
R1i/r = Ri/i +>2(X,, *)rXj,
i=1
fdx+ gdQ=0,
fn - r
the necessary and sufficient condition for the existence of a solution
to (8.36).
(v) Now suppose q = 2 and p = 1, with r1 and f'2 labelled so that they
are the boundaries of the unbounded and bounded componenents of
Q+, respectively. Show that the result in (iv) is still valid provided
either f = 0 and g I r, = 0, or g 1 r2 = 0. How can we proceed for
general f and g?
8.18 Let S2- be the lower half space {x E R" : x" < 0) so that I' = R't-1, and
let t/r, -0 E D(Rn-1)
Exercises 275
(i) Show that the double-layer potential for the Laplacian maybe written
as
DL X/r = -(a,, G) * (* 0 8).
(ii) Deduce that
a,DL1/r=1/r®S-}-G*(,L'Vr®S),
where A' _ E"-, 8? is the Laplacian in IR
-1
H = H-1/2(FD) x H1/2(rN)
9
The Helmholtz Equation
82U
-c2LU=0. (9.1)
8t2
with k = A/c. In this setting, the wave number k is real, but in the theory that
follows we shall allow the coefficient k2 to be any non-zero complex number.
It is convenient to assume, without loss of generality, that
(Dn(u,v)=J J
n
276
Separation of Variables 277
Separation of Variables
We begin our investigation of the Helmholtz equation (9.2) by seeking solutions
of the form
k2
fi(x) = p-2A(w) = z2
Proof Let v/r = u is., for a solid spherical harmonic u E 7-lm (RI). Since u (x) =
p'"* (co), we see that u has the form (9.4) with k = 1 and f (z) = z"'. Applying
Lemma 9.1, it follows that Au (x) = pm-2 [m (m + n - 2) * (to) + As,-, * (co)J,
which is identically zero.
Lemmas 9.1 and 9.2 show that when * E 7-1m(Sn-1), the function (9.4) is a
solution of the Helmholtz equation (9.2) if and only if f is a solution of
lf'(z)+I1-m(m Z2 -2)) f(z)=0.
f"(z)+n z (9.5)
with
n
µ=m+2-1.
Let J, denote the usual Bessel function of the first kind of order µ, which has
the series representation
(-1)P(z/2)µ+2P
J (z) _ for I arg z l « (9.7)
P=O P ! F (µ + p + 1)
The functions J. and YN, form a basis for the solution space of Bessel's
Separation of Variables 279
form a basis for the solution space of the original differential equation (9.5). If
n = 3, then j,,, and y,,, are known as spherical Bessel functions.
(S"-1)
Lemma 9.3 Let u have the form (9.4), where 1 E Hn,
Proof The preceding argument shows that in each case, u is a solution of the
Helmholtz equation on R" \ 101.
The series (9.7) shows that J.(z)/z"` is an entire function of z2, and therefore
the same is true for jm(n, z)/z"'. Since pm*(w) is a homogeneous polynomial
of degree m in x, it follows that if f = j,,,, then u is CO° on W, proving (i).
0
As z -* 0, the singular behaviour of the non-negative integer- and half-
integer-order Bessel functions of the second kind is given by
-2 ( m z
1
/2)'7
1 og(z/2) [ + O (z2)l
1 i f /.c -
= m,
to if.t=m-2,
where each O(z2) term is an entire function of z2; see [1, p. 360]. We are
therefore able to show the following.
G(x) = 2(2.,7r)("-1)/2
[-Yo(n, klxI) + ajo(n, klxl)]. (9.8)
280 The Helmholtz Equation
Thus, if Go(x - y) denotes the fundamental solution for the Laplacian given
in Theorem 8.1, then for n > 2,
kn-2
2(2n)(n-l)/2Yo(n,
kl xl) = Go(x)[1 + f (x)] + g(x) as Ixl -+ 0,
again, the O (IX 12) terms are analytic functions of Ix 12. To prove that G is a
fundamental solution, we let w = S + (A + k2)G and show that w = 0 on Rn.
In fact, since Ho(S"-I) consists of the constant functions, Theorem 9.3 implies
that w is independent of the coefficient a, and that w = 0 on Rn \ {0}. Thus,
it suffices to show that w is locally integrable on R. We know already that
-OGA = S, so w = k2GA + (A + k2)(GA f + g), therefore, as lxI -* 0,
O(log Ixl) if n = 2,
w(x) = { O(Ixl2-n) if n > 3,
and the result for a general n follows. In the particular case n = 3, we can use
Exercise 9.1.
which form an alternative basis for the solution space of Bessel's equation. We
also put
writing h(1) (n, z) and h(2) (n, z) when it is desirable to indicate the dimen-
sion n explicitly. If n = 3, then and h,(nt) and h,(n2) are known as spherical Hankel
functions.
From the standard asymptotic expansions for the Bessel functions - see
Abramowitz and Stegun [1, p. 364] or Gradshteyn and Ryzhik [29, pp. 961-
962] - we find that
L 1\\ J
as z - oo with -rr < arg z < 7r. By Lemma 9.3, the function
Definition 9.5 Write x = pcw with p = I x I and co E Sn', and let u(x) be a
solution of the Helmholtz equation for p sufficiently large. We call u a radiating
solution if it satisfies the Sommerfeld radiation condition
um p(n-1)/2
C
au
p
- iku) = 0,
uniformly in co.
282 The Helmholtz Equation
d l)
= 1
z (n-1)/2
[e' 2nn-1),r/4)1
+
o\( i,
(9.12)
dhn,z _ -i [e_2m+n1)a/4)1 +
dz z(n-l)/2
Recalling our assumption (9.3), we note that if Im k > 0 then G (x) has expo-
nential decay at infinity.
The following theorem reveals the connection between Definition 9.5 and our
earlier treatment of radiation conditions for general elliptic equations; recall the
definition of the operator M given in Lemma 7.11.
-Au-k2u=0 onQ+,
and suppose that M is defined using the radiating fundamental solution (9.14).
then Mu = 0.
The Sommerfeld Radiation Condition 283
(In the first integral on the right, v is the outward unit normal to S2p+, but in
the second integral v is the inward unit normal.) Multiplying (9.18) by k, and
taking the imaginary part, we obtain
- JBPI m(kavu) da
and so
'
2
Im(k) f12 (Igradu12 + Ik12Iu12) dx + j Ik121u12 I dQ
2 \I aU I +
The claim (9.17) now follows from our assumptions that k # 0 and Im k > 0.
To complete the proof of (ii), we simply write
for p sufficiently large, and then apply the Cauchy-Schwarz inequality, noting
that the radiating fundamental solution G (x, y) = G (x - y) satisfies
Ix - yl-(n-u day .5 C
f IG(x, Y) 12 day < C
sP JaBP
and
Theorem 9.7 For m > 0, let {*n,p : 1 < p < N(n, m)} be an orthonormal
basis for The radiating fundamental solution G(x, y) = G(x - y)
given by (9.14) has the expansion
oo N(n,m)
=ikn-2
G(x, y) hm)(klxl)srnep(xllxl)jm(k!Y!)/mp(Y/IYI)
M=O p=1
ikn-2 00
N (n, m) h(,) (k l x l)jm (kl y l) P, (n, cos 0)
T. m=0
forlxI>IYI>0,
where
cos 8 =
IxIIYI
f aP
[a",yG(x, y)u(y) - G(x, day = 0 for IxI > p, (9.20)
f P
for lxl > p,
or equivalently,
It is easy to see from the definition of the Legendre polynomial P," (n, t) im-
mediately following Lemma 8.6 that
Jµ(z) = and
(?-)[1+o1]
iy,n(klxl)jm(klyl) [1 +o(1)]
-i (k1 1)
In
with O j not identically zero. Therefore, by Theorem 4.10, the interior problem
(4j, Do- + (Y-0j, gN)rN = (a, 4'j, gD)rp for all j such that Aj = k2.
Notice that since X j > 0, if Im k > 0 then k2 cannot be an interior eigenvalue,
and so (9.22) is uniquely solvable.
The following result of Rellich [86] will help us to prove uniqueness for
exterior problems.
-Au-k2u=0 on R"\BPo
and if
lim
P-+oo f
xI=P
I u (x) I2 do. = 0, (9.23)
Proof. Let (1//mp : 1 < p < N(n, m)) be an orthonormal basis for 7-lm(S"-1)
00 N(n,m)
Iu(x)I2 dax =j n -i
Iu(Aw)I2An-1
dw = E An-1
Ifmp(kP)I2.
Ixl=p M=O P=1
Since u satisfies the Helmholtz equation, the function fmp is a solution of (9.5),
and hence
Lemma 9.9 Suppose that u E H1oc (S2+) is a radiating solution of the Helmholtz
equation, i.e., suppose
-Au-k2u=0 on Q+
and
If
Theorem 9.11 If f E H-' (S2+) has compact support, and if g E H 1/2 (I'), then
the exterior Dirichlet problem for the Helmholtz equation,
Proof. We have already proved uniqueness. By Theorems 7.15 and 9.6, a so-
lution exists if and only if there exists i/r E H-1/2(r) satisfying
-Lv-k2v=0 on Q-,
y-v=0 on T.
Using (7.5) and the second Green identity, we find that for all such v,
Each of the three terms on the right vanishes, because y-v = 0 on F, (-A -
k2)v = O on S2-, and (-t - k2)(G f +DL g) = f = 0 on S2-. Thus, * exists,
as required.
Given a scalar test function E D(I83), we shall write Or = Ojr, and define
290 The Helmholtz Equation
yt and at by
Proof We have
= v y (0 curl W) da,
Jr
so by the divergence theorem,
(curl y`(Orv), W) = F
JL
div(cb curl W) dx.
and
u = DL Or on R3 and Ft = grad u} on
using, in the double-layer potential, any fundamental solution of the form (9.9).
We also construct a locally integrable vector field F : R3 _+ C3 by putting
F = I F+ on 52+,
F- on S2-.
In this way, the support of the distribution F - grad u is a subset of 1'. Two
further technical lemmas are required.
Proof. Using Lemma 9.12, we find that since 8j commutes with the convolution
operator G,
f(F. W+udivW)dx =f }
f div(u±W)dx = F v y}(uW)da,
zt r
it follows by the jump relation for the double-layer potential, [u] r = [DL 'r ] r =
Or, that
and since -Au - k2u = (-A - k2)GB,t,¢r = a,`,Or, we see that div F = -k2u.
Finally, since curl grad u = 0, the second part of Lemma 9.12 implies that
satisfies
Proof Since div curl F=O, we have div A = div g (curl F) = 9 (div curl F)
0, whereas since
We can now prove the main result for this section; see also Exercises 8.18
and 9.6.
Proof. Using the definition of R and the first Green identity, we see that
and on 01 we have
grad u grad aJr - k2ui/r = [curl A + k2 SL(Orv)] grad * + k2 div SL(4rv)*
= curl A grad * + k2 { SL(0r v) grad
+ [div SL(Or v)]i/r }
= div[A x grad 1/r + k2 SL(¢rv)*].
Exercises
9.1 Show from the series definitions of JI12 (z) and Y112 (z) that the zero-order
spherical Bessel functions may be written as
sin z -cos z
Jo(3, z) _ and yo (3, z) _
z z
9.2 Prove Theorem 9.4 by showing that as Ix I -+ 0,
is a solution of
dW +n-1W=0.
dz z
Deduce that W = const/z"-', and in particular
W
(h(,'), (2))
n, h n? = -2i and W Um, ym) _
Z"-I
[Hint: use (9.10) and (9.12).]
294 The Helmholtz Equation
k(n-3)/2e-i(n-3)Yr/4 eikp
SL 1Jr(x) = 2(27r)(n-1)/2 p(n-1)/2
x (f(f e-ikmy*(y)day+O(p-I)
and
k(n-3)/2e-i(n-3)n/4 eikp
DL 11f (x) = 2(2.7r)(':-1)/2 p(n-1)/2
f (a,,ve-ikw,y)i(y)
xC day + O(p-1)l
r
as Ix I -* oo, uniformly in w.
(iii) Show that SL f and DL f satisfy the Sommerfeld radiation condition.
(iv) Deduce that if u E Him (Q+) is a radiating solution of the -Au -k2 u =
0 on 52+, then there exists a unique function uc,. E CO°(Si-I) such
that
eikp
In the preceding two chapters, we considered the simplest and most important
examples of scalar elliptic equations. Now we turn to the best-known example
of an elliptic system, namely, the equilibrium equations of linear elasticity. For
the history of these equations, we refer to the article by Cross in [30, pp. 1023-
1033], the introduction of the textbook by Love [60], and the collection of essays
by Truesdell [101]. Our aim in what follows is simply to show how the elasticity
equations fit into the general theory developed in earlier chapters. Necas and
Hlavd6ek [73] give a much more extensive but still accessible treatment of these
equations, without, however, discussing boundary integral formulations.
Let u denote the displacement field of an elastic medium. Mathematically,
u : 7 -+ C', so m = n in our usual notation, and physically u is R"-valued
and the dimension n equals 3. In Cartesian coordinates, the components of the
(infinitesimal) strain tensor are given by
Ejk(u)=Z(ajuk+akuj) forj,kE(l,2,...,n),
and we denote the components of the stress tensor by E jk. Thus, using the
summation convention, the kth component of the traction over r is vi E jk. (The
traction is the force per unit area acting on S2 through the surface T.) If f is
the body force density, then in equilibrium we have
aJ Eik + fk = 0. (10.1)
For a linear homogeneous and isotropic elastic medium, the stress-strain rela-
tion is
where the Lame coefficients µ and X are real constants. We can write the
296
Korn's Inequality 297
B, u = traction on r,
and since
Korn's Inequality
We see from (10.2) that the Fourier transform of Pu is P u ( ), where P ( )
is the homogeneous, R"'-valued quadratic polynomial with jk-entry
Pjk( ) = (27r
or, letting I, denote the n x n identity matrix,
Thus,
cf. (6.5). Landau and Lifshitz [54, p. 11] explain the physical significance of
(10.4). Since
(pc(u, v) = f [21LEjk(u)Ejk(v)+A(divu)(divv)]dx.
2Osz(u, u) = 2 f Ejk(u)Ejk(u)dx
z
is the free energy of the elastic medium within S2; see Landau and Lifshitz [53,
p. 12]. It will be convenient to let grad u denote then x n matrix whose jk-entry
entry is ajuk, and to write
8juk8jukdx.
J
Notice that
cl z(u, u) = 21L11E(u)IIi2(U)"xn
+ I1divu11t2(12). (10.5)
kuj)(17T)(5juk+} kuj)d
JR" Ejk(u)Ejk(u)dx = fR#l
=j "
I . ul2) d
2 f 2
j=1
fR- Iaju12dx.
The result follows, because we can replace R" by 0 in both of the integrals
with respect to x. 0
Fundamental Solutions 299
A much deeper result is Korn's second inequality (or just Korn's inequality).
Proof. The left-hand side has the form (4.10) with L = n2, and for convenience
we change the index set, writing N1ku = EJk (u) instead of N u. Since
The desired inequality holds because the hypotheses of Theorem 4.9 are sat-
isfied, with q,. = 1 for 1 < r < m = n. For instance, when n = 3 and
r=1,
1N11(e)T =tiel, -6 N22 )T =2el,
2NI1(S)T = 12e1, -1N23(e)T +3N12()T +2N,3( )T = 2e3e1,
t3 N, ]( )T = 1e3e1, -1N33( )T +3N13()T + 3N31( )T = t3e1,
Theorem 10.3 For any Lipschitz domain S2, the elasticity operator (10.2) is
coercive on H I (S2)" if µ > 0 and X > 0.
Fundamental Solutions
Since the polynomial (10.3) is homogeneous, we may obtain a fundamental
solution for the elasticity operator using Theorem 6.8; see Landau and Lifshitz
[54, p. 30] for an alternative approach.
300 Linear Elasticity
(10.6)
and by
G(x) =
1
4gµ.(2µ +X)
((3p' + .) log 1 I2 + (µ + A) xxTI2)
I
1
IX
when n = 2.
By Theorem 6.8(iii),
z
+ ),)I3 - (µ + )A)wlwl] dw1,
G(x) - I µ(2µ + X) J [(2µ
and since
fs
xx T
+ (sine 0)r1271i] dO = 7r (7JI 17T + 712711) = 7r (13 - IxI2 )'
-(2n) z
G(x) = J((log Iw xI)[(2µ + ),)12 - (µ +)-)wwT ] dw
µ(2µ +,X) sI
Uniqueness Results 301
and
+ (sin2 9)7721i2 ] d9
f
;r
rr
log (Ix cos 91) cos 20 d0 =
-,
sin O sin 20
Cos 9 2
dO =
,IT
n
sine 0 dO = rr,
xxT
'?Irli +rl2riz =12 and ntrli -7722 =2Ixle -12,
so
1 / 2xxT
I 7rI
f (log lc) xl)wwTdco= 1 r log(IxcosOl)dO12+ 1x12
12)
Uniqueness Results
Throughout this section, we assume that the components of u are real, and treat
only three-dimensional problems.
302 Linear Elasticity
To apply the Fredholm alternative (Theorem 4.10) to the mixed boundary
value problem in linear elasticity, we must determine all solutions of the homo-
geneous problem. As a first step, we show that the only strain-free displacement
fields are the infinitesimal rigid motions, and that such displacement fields are
also stress-free.
E(*,*u)='YE*E(u) on(xES2:dist(x,I')>e},
we can assume that u E C`O(S2)3. The diagonal entries of the strain tensor are
just Ejj(u) = ajitj (no sum over j), so
Since the off-diagonal entries of the strain tensor also vanish, we can show that
a2u1=83u1=0, 82
a1u3=a2u3=0 on Q;
for some constants aj, bik and cj. Since E(u) equals
0 b12+b2, b13+b31
1
b,2 + b2, 0 b23 + b32
b, 3 + b3, b23 + b32 0
Let W denote the set of solutions in H' (S2; R3) to the homogeneous, mixed
boundary value problem
-p Au - (µ + A) grad(div u) = 0 on 0,
yu =0 on I'D, (10.9)
0 on F.
(i) If I'D # 0, then W = {0}, i.e., (10.9) has only the trivial solution.
(ii) If I'D = 0, so that (10.9) is a pure Neumann problem, then W consists of
all functions of the form (10.7) for a, b E 1R3.
2 tjIE(u)IIL,(Q)3x3 +AIIdIvuIIL,(g2) = 0.
Our assumptions on a and A then imply that E(u) = 0 on Q, and so u has the
form (10.7).
If FD # 0, then, because rD is relatively open in r, we can find x, y, z E rD
such that x - y and z - y are linearly independent. From the three equations
(i) The weakly singular boundary integral operator is positive and bounded
below on the whole of its domain, i.e.,
we can argue as in the case of the Laplacian (Theorem 8.12) to show that
=llr)Eik(SLgi) +A(divSL*r)(divSL0)]dx
Exercises 305
(Ri/r, cb)r = (D+(DLt/r, DL.O) + (D-(DL,/r, DL-0) for all i/r, 95E H1/2(I')3,
Exercises
10.1 Show that ifa00,a+b#0andwES"-',then
(aju)r(x)
(ajus)(x) _ +(1 for 1 < j < n - 1,
-s(a"u)s(x) for j = n.
(iii) Deduce that for I < j < n - I and I < k < n - 1,
whereas
+ 2(1 + t)E,,,,(u)'8j 2
CI IIE(u)IIL2(9-)"" +C2M
on 2
U= I u ,
L u on 52+.
2(1 +C1)IIE(u)Ili
+ 2C2 M2 Ilgrad U112
Pu = -> aj(Ajkaku)
j=I k=1
where
21L+ ,X
All 01, o],
µ L
µ 0
A22 =
0 2µ+.1]'
Thus, f o r Z ; I = [ t1 121T, 2 = R2I ,221T E R2,
2 2
j=1 k=1
4µ+2), µ+X 0 0
I µ+A 4µ+2), 0 0
= 2[fitl 22 12 2I1
2µ µ+A
0 0
0 0 µ+A 2µ
308 Linear Elasticity
Assuming P is strongly elliptic, so that the Lame coefficients satisfy
(10.4), show that the condition (4.9) fails to hold if h > µ or if -2µ <
A < -5µ/3.
10.4 Show for n = 3 and for u e C I (7)3 that the surface traction can be
written as
-µEu - (µ + X) grad(div u) = f on 0,
on1.
Show that a solution exists if and only if the resultant force and the resultant
torque both vanish, i.e.,
r
J f(x)dx+J g(x)dcx = 0
r
and
xx f(x)dx+ f xxg(x)dar=0.
Jn r
Appendix A
Extension Operators for Sobolev Spaces
For our purposes, the significance of such operators stems from Theorem 3.18.
If Q is Lipschitz, then a construction due to Calderbn [8] yields, for each
integer k > 1, an extension operator Ek : WP (S2) -3 WP (R) that is bounded
for 1 < p < oo. Using a different method, Stein [96, p. 181] obtained an exten-
sion operator E : W PI (S2) -+ WP (118"), not depending on k > 0, and bounded
for 1 < p < oo. In the case when 0 is smooth, there is a simpler construc-
tion, due to Seeley [93]; see Exercise A.3. In the main result of this appendix,
Theorem A.4, we shall use a modified version of Calderon's extension.
Suppose that S2 is a hypograph,
S2=
309
310 Extension Operators for Sobolev Spaces
Proof Puti = (x', xn). One easily verifies that x E 0 if and only if
x E R" \ 0, and vice versa, with x = x. Moreover, the Jacobian determinant of
the transformation x H x is identically equal to -1. Thus, II Eou II L,,(W'\n) _
IIUIILP(n), and IIEouIIL,,(R11) = 211uIILn(12) Also, if x E R" \ 0, then
I2- Iu(2)-u(y)Ipdxd
n+ps Y,
Iu(x) -
13 = >t(Y') dxdY.
fL,<(X), Ix - Y 112+p$
v,
<n
that
Iz-j'I<2 1+M21x-yI,
and so
lu(2)-u(Y)Ipdxd
11
Ix - yIn+Ps y
p
< (2 1 +
M2)n+Ps I u(x) - u(y)1 dz d"Y =C uIs P.
-Y'I,
Extension Operators for Sobolev Spaces 311
so
and hence
I2- Iu(x)-u(Y)IPdxd
ff Ix - YI,1+Ps y,
To obtain an extension operator for s > 1, we shall use the Sobolev repre-
sentation formula; recall the notation of (3.7).
u(x)=f u(k) (x
+ y; Y) dy for x E R".
t^ * \ I_ I'
Proof By Exercises A.1 and 3.5,
u(x)
(k -11)!
(k_I()(
00
dp x + pco) dp
k °o
(k- 1)!
pk-lu(k)(x+pco;co)dp.
10
312 Extension Operators for Sobolev Spaces
Multiplying both sides by * (w) and integrating with respect to co, we see
that
00
*(c)) f p-flu(x + pco; pw) p"-1 dp dm.
u(x) = f
uI=1 0
and since
xj -
y' K(x - y)u(y) day = - j ai K(x - y)u(y) dy
fly_Xj=45 E y -XI>E
+f K(x -y)a;u(y)dy.
ly-xl>E
f
wl=t
cojK(Eco)u(x Eco)&' dco = f
WI=t
coK(w)u(x - Eco)
af(K*u)(x)=aju(x)+lim
E,,0
f fly-xI>E
a;K(x-y)u(y)dy.
Extension Operators for Sobolev Spaces 313
Hence, by Exercise 5.14, the desired estimate for aj (K * u) will follow at once
if we show that
ajK(co)dw=0. (A.4)
aj K(Pw)X (P)Pi-1 dp dw
fp>O jwl=rI
p>o f"'1=1
K(Pw)X'(P)wjpn-1
dpdw,
f0
00
X(P)dp f
P IWI=1
ajK(co)dco=-f' X'(p)dp f
I"I_1
K(w)wjdo.
Theorem A.4 Assume that 0 is a Lipschitz domain. For each integer k > 0,
there exists an extension operator Ek : WZ (Q) -* W2 (R") that is bounded
forks <k+1.
Proof. We may assume that S2 has the form (A.1). Define the semi-infinite cone
V = {yER":y"<-Mly'IJ,
and observe that by (A.2),
x+VCQ forxEQUT.
Fix an integer k > 1 and a function * E CO0 (S"-1) such that (A.3) holds, with
supp * c Sn-1 n V.
314 Extension Operators for Sobolev Spaces
Let X E C ,-..p [0, oo) be a cutoff function satisfying X = 1 on a neighbourhood
of 0, and replace u (x + y) by X (I Y I )u (x + y) in the proof of Lemma A.2 to
obtain the identity
k
u(x) _ E *,(y)u('(x + y; y) dy for x E S,
1=0 Jv
where
(k)jlk_l_fl(k...l)(1l),(_)
*1 (Y) = forO <I <k.
ua = Eo(a"u)
We define
f t.I ua(x
'Eku(x) r(Y) + y) y' dY = >2 (pa * ua)(x)
1=0 Jv Ial=1 lal<k
for'x E R",
where
CE 118aU112
- CIIUIIW,(n).
lal<k
Exercises 315
CIIUI12
)+C El
la"ul'2`.,
=CIIUI1wk+ ).
I"I=k
Exercises
A.1 Show that, for any integer k > 1, if f : [0, oo) -+ C is a Ck function with
compact support, then
_ k o0
tk-1 fck) (t) dt.
.f (0) =
(k -11) Jo
A.2 In Exercise A.3, we shall need a sequence (,lk)k° satisfying o
00
(i) Let ao, ..., aN-1 be distinct complex numbers, let b be any complex
number, and consider the N x N linear system
N-1
E(ak)'xk=b' for0< j <N-1.
k=0
00 1 + 2-j
,kk = 1 1 - 2k-j
i=0
jek
satisfies
Ixkl <c11
k
2i - 1
1
<C
j.1 2J-i
= k 1 C
2k(k-1)/2
j=1
and define
u(x) if X. < 0,
Eu(x) _ 00
Xku(x', if x > 0.
I k=°
(i) Show that E : D(Q) -+ D(R").
(ii) Show that E : Wn (S2) -+ WP (R") is bounded for s > 0 and I< p <oo.
A.4 Let 0 < µ < 1 and E > 0, and choose a cutoff function X E C mp[0, co)
satisfying x (y) = 1 for 0 < y < 1. Define the C°'µ epigraph
Suppose that Xo and X 1 are normed spaces, and that both are subspaces of some
larger (not necessarily normed) vector space. In this case, X0 and X1 are said
to form a compatible pair X = (Xo, X1), and we equip the subspaces Xo n X1
and Xo + X 1 with the norms
IIuIIX,)1/z
IIulIxonx, = (IIuIIXa +
and
11U1 11X21)1/2
IIuIlxa+x, = inf {(IIuoIIX0 +
u = uo + ul where uo E Xo and u1 E X1 }.
Xe,q = (Xo, X 1)e.q for 0 < 9 < 1 and I < q < oo,
each of which is intermediate with respect to Xo and X1, in the sense that
317
318 Interpolation Spaces
Moreover, we shall see that XB,q has the following interpolation property. Take
a second compatible pair of normed spaces Y = (Yo, Y1), and two bounded
linear operators
Ao : Xo -+ Yo and A, : X 1 -+ Y1.
If
Aou = Alu for U E Xo n X1,
then AO and A 1 are said to be compatible, and there is a unique bounded linear
operator
AB : XB,q -* YY,q
such that
We will also show that if X0 and X1 are Sobolev spaces based on L2, then so
is X8.2
For technical reasons, it is convenient to construct Xe,q in two different ways.
Thus, we shall define two spaces, Ko,q (X) and Jo,q (X), and show
with equivalent norms. The K-method will be used to prove the interpolation
properties of HS (c2), after which the interpolation properties of HS (Q) follow
by a duality argument that relies on the J-method. We conclude by considering
the interpolation properties of HI (F). For more on the theory of interpolation
spaces, see Bergh and Lofstrom [5].
The K-Method
The K -functional is defined for t > 0 and u E Xo + X 1 by
When necessary, we write K (t, u; X) to show explicitly the choice of the com-
patible pair X = (Xo, X1). For fixed t > 0, the K-functional is an equivalent
The K-Method 319
norm onX0+X1:
and
00 dt lq
llflle,q
=
` It-e.f(t)Iq r
0
for 0 < 9 < 1 and 1 < q < oo,
Now define
and put
where the constant Ne,q > 0 may be any desired normalisation factor. As the
default value, we take
I ifl q <oo,
(B.4)
Nq Ilmin(l, )Ile,q I[qO(1-9)Vk if q = oo,
1
and so K(t, u) < t9 11 u11X,.q Finally, because min(l, t) 11 u11 X" +X, < K(t, u) we
have II u II xo+x, /No,q < II K u)11 °.q, which completes the proof of (ii). 0
Lemma B.l shows that X°,, = K°,q(X) satisfies (B.1), with continuous
inclusions. The next theorem establishes the interpolation property. Here, the
choice of normalisation is irrelevant (provided it is the same for X and Y).
K(t, Aeu; Y) < (IlAouo11Y0 +t21IA1u111Y,)1,2 < (Mo11 uo112 +t2Mi 11u111x,)1/2
The J-Method
Our second construction of Xe,q uses the Bochner integral for functions taking
values in a normed space, and we digress briefly to review a few pertinent
definitions and facts; see Yosida [106, pp. 130-136] for more details.
Let (S, A) be a measure space and let Z be a normed space. We say that a
function f : S -+ Z is finite-valued if there exist finitely many vectors Uk E Z
and mutually disjoint p-measurable sets Ek c S with A(Ek) < oo such that f
takes the constant value Uk on Ek, and is identically zero on S \ Uk Ek. In this
case, the integral of f is a well-defined vector in Z, given by
lim fSI1
m-.oc fn(t)-f(t)Ilzdlkt=0
fs
.f(t)dA,
z
< f s
11f(t)Ilzd,ir
322 Interpolation Spaces
Resuming our consideration of Xo,q, we define the J functional,
and
u= f0
00
f(t)t
(B.7)
for0<a<b<oo.
Of course, f is assumed to be (Xo fl X1)-measurable, and hence also (X0+X i )-
measurable. The space J9,q(X) is equipped with the norm
Theorem B.3 If 0 < 0 < I and I < q < oo, then Je,q (X) = Ke,q (X) with
equivalent norms.
K(t, u) < fo
00
K(t, f (s)) d < fo
s
00
min(l, t/s)J(s, f(s))
ds
s
= fo
00
min(1, 1/s)J(ts, f(ts))d
s
The J-Method 323
so
°O ds
f min(1, l/s)s011 J(.,.f())II8,q
0 s
and hence
II UII J9.q(X)
Jo00
min(1, 1/s)se
ds - l11 IIJ9.,(x
Conversely, suppose that u E Ko.q (X), and let c > 0. For each m E Z there
is a decomposition u = uon, + U I., with urn, E Xj and
By Lemma B.1, K (t,,, , u) ::S C t e I I u I I Ka.4 (x), so I l uom l l xn = 0(t,',,) and II u,n, ll x, _
O(te-'). In particular, IIuo,nI1xo -* 0 as m -+ -oo, and Ilu1,,,11x, 0 as
m -,- +oo. Define f : (0, oo) -+ Xo fl X, by
f(t) _ UOm - Uo,m-1 - Ul.m-1 - Uln,
for t,,,-1 < t < tm,
log 2 log 2
so that
u- J
r-M
f(t)dt
Xo+X,
= U-
-M<n,<M'
(UOn, - UO.m-1)
Xo+X,
= Ilu - UO.M' + u0,-M II xo+x,
= II u0.-M + U 1.M' II xo+x,
IIu1,M'IIX,)1/2,
(Iluo,_MIIX0 +
implying the representation formula (B.7). Moreover, if tm_1 < t < tn then
We now show that the K- and J-functionals are dual to each other.
324 Interpolation Spaces
Lemma B.4 If X0 fl X 1 is dense in X0 and in X1, then Xo fl X 1 is dense in
Xo + X1, and X * = (Xo, X i) is a compatible pair of Banach spaces. Moreover,
I (8, u)I
K(t, g; X*) = sup and
0 uExonx, J(t- , u; X)
I (g, u) I
J(t, g; X*) = sup
'05kuEXo+X, K(t-1, u; X)
I(8,u)I
M, = sup
o#uExonx, J(t-1, U'; X)
+t-211U1112)'11,
II(uo, ul)Ilxoxx, = (IIuollX0
(gw, (u, u)) = ((go, gi), (u, u)) = (go, u) + (gi, u) for u E Xo fl X1,
and
2» 2
2 112(IIu ollXo +t-211u111X')1I2,
I(g,u)I
M, = sup
O#UEXO+X, K (t-1 , u; V
X)
(g, uj) < Ilgllxj < (1 +E)(g, uj) and IIuj IIx, = 1.
(In particular, (g, uj) isreal.)PutAj = 1181Ix;,sothat 11811X. < (1+E)(g. AJu)
and
Hence, J(t, g; X*) < Mt, and in particular IISIIxanx; < IIg11(x,,+x,) 0
326 Interpolation Spaces
Theorem B.5 Assume that Xo fl X1 is dense in Xo and in X1. If 0 < 0 < I and
1 < q < coo, then X0 fl X 1 is dense in Xe,q and
Proof Let u E Je,q (X) have a representation (B.7), and define u,,, E Xo fl X 1
by
f(t)GIt
un, =
JI/m t
Since
11q
Xo fl Xi c (X9,q)* c Xo + x .
8= f 000(t) dt,
t
Now let g E Jo.q(X)*. Given c > 0, we can use Lemma B.4 to find a
piecewise-constant function >1t : (0, oo) -+ Xo fl X1 such that (g, sli(t)) is real,
The J-Method 327
and
00 f (t) * (t) dt
of = J J(t, *(t); x) t
defines a vector U f E Je,q (X) satisfying II u f II Jd.q cx) < II f Il o,q We choose f
so that
00 K(t-', dt
I g; X*)f(t) t = lit H K(t-' , g; x*)II _e ,q =jjK(-.g;X*)jjo,7- »
11
g; X*)11O.q» < f 00
(1 + E)
(g, fi(t))
J(t, *(t); x)
f(t) dt
t
= (1 + E)(g, Uf)
o
(1 (X) _< (1
Theorem B.6 Let 1 < q < oo, and for j = 0 and 1 put
(Xej,q if0<Oj <1,
Y'=jl X3 if 9j = j.
If 00 # 91, then
(Yo, Yi),1.q = (Xo, Xi)e.q for 9 = (1 - ri)9o + n91 and 0 < i < 1.
K(t, at; X) < K(t, uo; X) + K(t, u1; X) < Ct°'Iluo11yo + Cto' IIu111r,
<
Cto°[IIuoIIY°+t2(0,-O,)IIu111r,]112,
where, in the second step, we use Lemma B.1(ii) if 0 < 9j < 1, or (B.5) if
9j E {0, 11. Hence,
=C f It-nK(t,u;Y)Ig101-9o1
dr
t
(B.8)
= C191 -00,11Ul1K,q(Y)
II u II K9..,,(x) < C sup t-ete° K (te' -e0, u; Y) = C sup r-" K (r, u; Y) = C 11U II K,,..(Y)
t>o r>o
<
r
t°° min (1, (t/s)el -eo) J(se,-eo, f(s); Y) d
Jo s
Using Exercise B.2 if 0 < 9j < 1, or just the definition of the J-functional
if 9j = j, we see that 11f (s) II Y; < Cs-0j J(s, f (s); X) and so
j (SO, -°D, f (S); Y) =[11f(S)11 y°+ S2(e, -e0) ]1/2 < CS-26° j (S' .f (s); X)
II f (S) II Y1
da
= C f "0 mina-°°, a-'91)J (at, f (at); X) ,
IIUIIK,,.a(Y) =
1
11t i-+ t °o K(t°' -°°, u; Y)II°,q
let-eol
too
< CJ min(a-OD,a-°')IIt )-+ J(at, f(at); X)II °,q da
0 Q
p It
=CJ a ° min(a-°0, a-A') It H J(t, f(t); X) II °,q
0
Interpolation of Sobolev Spaces 329
Finally, taking the infimum over all f satisfying (B.7) gives II u II K,,.,, (Y)
C11 u11 j,,, (x), proving that Xo,q c Y,?,q.
(HS0(I8"), H`' (Il8"))8,2 = H'(R") for s = (1 - 9)so + 9s1 and 0 < 9 < 1.
Moreover, the Sobolev norm (3.21) equals the Ko.2-norm if, instead of the default
normalisation (B.4), we take
=
(2sinir9\'2
J
NB,q (B.9)
n
Proof. Let u = uo + u1 with ui E H''i (1R") for j = 0 and 1, and observe that
t2(1 +
(1 + t2(1 +
(1 + t2(1 +
It follows that
t2(1 +
K(t, u; HS0(18"), HS' (R"))2 lu()I2d
J (1 + t2(1 + 112)s
= j(l +
,I
where
a(') = (1 +
1 +t2
330 Interpolation Spaces
Thus,
IIK(, u)IIa2 =
f ,1
(1 + 1 11f 110.2]21u( )12 d = Il.f
(HS0 (0), HS' (52))9,2 = H'(Q) for s = (1 - 9)so + 9s1 and 0 <0 < 1.
Moreover, the Sobolev norm (3.23) equals the KB,q-norm if the latter is nor-
malised by (B.9).
and thus K (t, u; X) < K (t, U; Y). It follows by Theorem B.7 that u E K9,2 (X)
with
so K(t, U; Y) < K(t, u; X) and hence 11U11 K,., (y) < I1 u11KB.2(x) Since u = U
Theorem B.7 implies that IIuffH'(S) < IIUIIHsr(R") = IIUIIK0.2(Y) < IIUIIK9.2(x)
0
(R' m), HS' (S2))e 2 = HS(Q) for s = (1 - 9)so + 9s1 and 0<0 < 1,
with equivalent norms.
Interpolation of Sobolev Spaces 331
Our final result deals with Sobolev spaces on the boundary r = 8 Q. The
proof makes use of the reiteration theorem (Theorem B.6) and a simple inter-
polation property of pivot spaces.
Theorem B.11 Assume that 0 is a Cr-1,1 domain for some integer r ? 1. If so,
S1 E R satisfy Iso I < r and is, I < r, then
(Hs0 (F), Hs' (r))0,2 = HS (r) for s = (1 - 9)so + 9s1 and 0 <0 < 1,
(B.10)
with equivalent norms.
Proof Suppose in the first instance that r is a Cr-1,1 hypograph, and recall
the definition of Hs (F) for the two cases 0 < s < r and -r < s < 0, given in
the discussion after Theorem 3.34. The interpolation property follows at once
from Theorem B.7 if both so and sl belong to [0, r], or if both belong to [-r, 01.
Furthermore, we claim that
(H-r(r), Hr(r))9 2
= H2e-1(F)
for 0 < 0 < 1.
Indeed, the case 0 = z follows from Lemma B.10, after which the cases
0 < 0 < 1 and 1 < 0 < 1 follow with the help of Theorem B.6. Another
application of Theorem B.6 then shows that (B.10) holds when one of the sj
belongs to [0, r] and the other to [-r, 0).
Suppose now that r is the boundary of Lipschitz domain in the sense of
Definition 3.28. Thus, recalling (3.29),
IIuIIHJ(r) _ II01uII2W(r,).
If we put
U = 2biU = EXIU1o+EX1U11,
I I l
so
2 2
+ t2
H o (r) H i (r)
Thus,
Ilb1UIiK,(x,)
IIUIIK9.Q(x) C =IIuIIH=(r)
and hence >1 K(t, 01 u; X1)2 < K(t, u; X)2. It follows that ¢IU E Ke,2(XI) _
HI (rl) for each 1, with
IIUI1K2e.
IIuIIH= (r) IIp1uIIKe.2(x,) -< El
2(X)
Exercises 333
Exercises
B.1 Suppose that AO : Xo -)- Yo and A : X 1 --* Y1 are compatible, and let
1
We shall prove a result (Corollary C.2) used in Chapter 9, and also construct
the classical spherical harmonics, which form an orthogonal basis for xm (S2).
Recall the definition of the Legendre polynomial Pn, (n, t) in the discussion
following Lemma 8.6.
Theorem C.1 The orthogonal projection Q,n : L2 (5"-1) -> xm (S' -1) is given
by the formula
Q,n
,/ (CO) = N(n, m) Pm (n, w 1) (r1) d?l
T. 4-1
form > 0, w E S' ' and it E L2(S"-1).
Proof. Let (rmp : 1 < p < N(n, m)) be an orthonormal basis for xm(S' )
By part (i) of Exercise C.1,
N(n,m)
'I, 'I'
K(w, n) = E Y'mp(w) lmp(n)
p=1
nxn
If A E is an orthogonal matrix, then
334
Further Properties of Spherical Harmonics 335
-
Corollary C.2 If (if,np : 1 < p < N(n, m)) is an orthonormal basis for
xm (Sn-1), then
N(n,m)
' (CO) Y',np (11) for w, )l E Sn-'
P=I
where
Define rl) to be the left-hand side of (C.2), and observe that for a fixed l;,
the function >) r-# F(l;, r7) belongs to Also, if A E RI"" is an
336 Further Properties of Spherical Harmonics
orthogonal matrix, then F(A4, Arl) = F(4, rl), so by arguing as in the proof of
Theorem C.1 we see that ,XP,,, (n, rl) for some constant .l. Since
Pm(n,1)=1,
and the formula (C.1) follows by Exercise C.2. Thus, (C.2) holds, and upon
multiplying both sides of this equation by *(q), where 1/r E xm (Sn- t ), and
integrating with respect to q, we have
fS.-I
f( . w)
\ Sn - I
Pm(n, n w)*(rl) drl dw
fs.-I
P. (n, rl)*(rl) dil.
Lemma C.4 Let 9 be the polar angle in the usual parametric representation of
the unit circle S1,
Proof. We have seen already in (8.13) that N(2, m) = 2 form > 1. Define two
real-valued solid spherical harmonics u 1, u2 E Nm (R2) by
and observe that 1lrn,1 and i/r,,i2 are the corresponding surface spherical harmonics
in 11m (S1), i.e., 1/ m p = u p is, for p = 1 and 2. One readily verifies that *,,l and
1/rm2 are orthonormal in L2(S1).
Any non-trivial function Amj (n, t) satisfying the conclusion of the next the-
orem is called an associated Legendre function of degree m and order j for the
dimension n.
Further Properties of Spherical Harmonics 337
then E fm(Sn-1)
= cl (17) (1 - t2)'/2
J 1
(t + i l - t2 s)m-I (1
- s2)r+(n-4)/2
ds
Combining Theorem C.5 and Exercise C.6, and recalling (8.12), we see how
to construct an orthogonal basis for W n (S"-1) by recursion on the dimension n.
Corollary C.6 If {7(rjp : I < p < N(n - 1, j)) is an orthogonal basis for
x j (Sn-2), and if
then {Wmjp:O < j < m and 1 < p < N(n - 1, j)) is an orthogonal basis
338 Further Properties of Spherical Harmonics
Theorem C.7 Use the standard parametric representation for the unit sphere S2,
w = (sin 0 cos 0, sin 0 sin 0, cos 0) for 0 < 0 < 2ir and 0 < 0 < rr.
form an orthogonal basis for lm (52), With II1f,no II L2(s2) = 4n' and
'I, It T3+2i
II n=; II L2cs2) = IIY'm.m+J HL,(S2) = for 1 < j < m.
N(3 + 2j, m - j) T2+2j
Exercises
C.1 Suppose that (S, p) is a measure space, and let Q be the orthogonal pro-
jection from L2(S, µ) onto a finite-dimensional subspace V.
(i) Show that if {¢p)n 1 is an orthonormal basis for V, and if we define
N
K(x, y) LOp(x)Op(y),
p=1
then
f f
I
Jg f
(co)
dw = I Jg,-2 f 1 - t2 >7 + te,i) d>) (1 - t2)(n-3)/2 dt.
f 1
1
P., (n, t)PI(n, t)(1 - t2)(n-3)l2dt =
1
N(n, m) Tn_1
T.
smI
f 1
f(t)Pm(t)(1 - t2)(n-3)/2dt
1)
fJ
Pm(t)PI(t)(1 - t2)3/2 dt = 0 if m
Tn-t g,-z
340 Further Properties of Spherical Harmonics
and then derive the Laplace representation,
P. (n, t) =
Tn-1
j (t + i 1 - t2 s)m (1 - s2)(n-4)12 ds for n > 3.
('P1, W2)L20°-i) = 1
N(n + 2j, m - j) (*I, 2) Tn+2j-1L2(5-z).
References
341
342 References
[42] G. C. Hsiao and W. L. Wendland, A finite element method for some integral
equations of the first kind, J. Math. Anal. Appl. 58 (1977), 449-481.
[43] D. S. Jerison and C. Kenig, Boundary value problems on Lipschitz domains,
Studies in Partial Differential Equations, ed. W. Littman, Mathematical
Association of America, 1982.
[44] D. Jerison and C. Kenig, The inhomogeneous Dirichlet problem in Lipschitz
domains, J. Funct. Anal. 130 (1995), 161-219.
[45] 0. D. Kellogg, Foundations of Potential Theory, Dover, New York, 1929.
[46] C. Kenig, Elliptic boundary value problems on Lipschitz domains, Beijing
Lectures on Harmonic Analysis, Ann. of Math. Stud. 112 (1986), 131-183.
[47] C. Kenig, Harmonic analysis techniques for second order elliptic boundary value
problems, CBMS Regional Conference Series in Mathematics, 83, American
Mathematical Society, Providence, RI, 1994.
[48] R. Kieser, Ober einseitige Sprungrelationen and hypersingulare Operatoren in
der Methode der Randelemente, Thesis, Universitat Stuttgart, 1990.
[49] J. Kral, Integral Operators in Potential Theory, Lecture Notes in
Mathematics 823, Springer, 1980.
[50] R. Kress, Linear Integral Equations, Springer, 1989.
[51] J. L. Lagrange, Sur 1'equation seculaire de la lune, Mem. Acad. Sci. Paris,
Savants Strangers 7 (1773); Oeuvres 6, 331-399.
[52] N. S. Landkof, Foundations of Modern Potential Theory, Springer, 1972.
[53] L. D. Landau and E. M. Lifshitz, Theory of Elasticity, Pergamon, 1970.
[54] P. D. Lax and A. N. Milgram, Parabolic Equations, Ann. of Math. Stud. 33
(1954), 167-190.
[55] J. Le Roux, Sur les integrales des equations lineairs aux derivees partielles du
second ordre a deux variables independantes, These, Paris, 1894; Ann. Ec.
Norm 3 (1895), 227-316.
[56] M. N. Le Roux, Equations integrales pour le probleme du potential electrique
dans le plan, C. R. Acad. Sci. Paris Ser. A 278 (1974), 541-544.
[57] M. N. Le Roux, Resolution numerique du probleme du potential dans le plan par
une methode variationnelle d'elenzents finis, These 3e cycle, Rennes, 1974.
[58] M. N. Le Roux, Methode d'elements finis pour la resolution numerique de
problemes exterieurs en dimension 2, R.A.I.R.O. Anal. Numer. 11 (1977), 27-60.
[59] J. L. Lions and E. Magenes, Non-homogeneous Boundary Value Problems and
Applications, Springer, 1972.
[60] A. E. H. Love, A Treatise on the Mathematical Theory of Elasticity, Fourth
Edition, Dover, New York, 1944.
[61] J. Ltitzen, The Prehistory of the Theory of Distributions, Springer, 1982.
[62] J. Liitzen, Joseph Liouville 1809-1882: Master of Pure and Applied
Mathematics, Springer, 1990.
[63] A. I. Markushevich, Theory of Functions of a Complex Variable, Chelsea,
New York, 1977.
[64] N. Meyers and J. Serrin, H = W, Proc. Nat. Acad. Sci. U.S.A. 51 (1964),
1055-1056.
[65] S. G. Mikhlin, Mathematical Physics: An Advanced Course, North-Holland,
1970.
[66] S. G. Mikhlin and S. ProRdorf, Singular Integral Operators, Springer, 1986.
[67] C. Miranda, Partial Differential Equations of Elliptic Type, Second Revised
Edition, Springer, 1970.
[68] D. Mitrea and M. Mitrea, Generalized Dirac operators on nonsmooth manifolds
and Maxwell's equations, preprint.
344 References
[69] D. Mitrea, M. Mitrea and M. Taylor, Layer potentials, the Hodge Laplacian,
and global boundary value problems in nonsmooth Riemannian manifolds,
preprint.
[70] C. Muller, Spherical Harmonics, Lecture Notes in Mathematics 17, Springer,
1966.
[71] N. I. Muskhelishvili, Singular Integral Equations: Boundary Problems of
Function Theory and Their Application to Mathematical Physics, Nordhoff, 1953.
[72] J. Ne6as, Les Methodes Directes en Theorie des Equations Elliptiques, Masson,
Paris, 1967.
[73] J. Ne6as and I. Hlavacek, Mathematical Theory of Elastic and Elasto-plastic
Bodies: An Introduction, Elsevier, 1981.
[74] J. C. Nedelec, Curved finite element methods for the solution of singular integral
equations on surfaces in R3, Comp. Methods Appl. Mech. Engrg. 8 (1976), 61-80.
[75] J. C. Nedelec, Integral equations with non-integrable kernels, Integral Equations
Operator Theory 4 (1982), 563-572.
[76] J. C. Nedelec and J. Planchard, Une m6thode variationelle d'6lements finis pour
la resolution num6rique d'un probl6me ext6rieur dans R3, R.A.I.R.O. 7 (1973)
R3, 105-129.
[77] C. G. Neumann, Zur Theorie des logarithmischen and des Newtonschen
Potentials, Ber. Verhandlungen Math. -Phys. Classe Konigl. Sachs. Akad. Wiss.
Leipzig 22 (1870), 49-56, 264-321; reprinted in Math. Ann. 11 (1877), 558-566.
[78] L. Nirenberg, Remarks on strongly elliptic partial differential equations, Comm.
Pure Appl. Math. 8 (1955), 648-674.
[79] J. A. Nitsche, On Korn's second inequality, R.A.I.R.O. Model. Math. Anal.
Numer. 15 (1981), 237-248.
[80] F. Noether, Uber eine Klasse singularer Integralgleichungen, Math. Ann. 82
(1921), 42-63.
[81] L. E. Payne and H. F. Weinberger, New bounds for solutions of second order
elliptic partial differential equations, Pacific J. Math. 8 (1958), 551-573.
[82] H. Poincar6, La m6thode de Neumann et le probl6me de Dirichlet, Acta Math. 20
(1896-1897), 59-142; reprinted in Oeuvres de Henri Poincare, Volume 9,
pp. 202-272.
[83] H. Rademacher, Uber partielle and totale Differenzierbarkeit von Funktionen
mehrer Variabeln and fiber die Transformation der Doppelintegrale, Math.
Ann. 79 (1919), 340-359.
[84] F. Rellich, Ein Satz fiber mittlere Konvergenz, Gottingen Nachr. (1930), 30-35.
[85] F. Rellich, Darstellung der Eigenwerte von Au + ku = 0 durch ein Randintegral,
Math. Z. 46 (1940), 635-636.
[86] F. Rellich, Uber das asymptotische Verhalten der Losungen von AX + Au = 0 in
unendlichen Gebieten, Jber. Deutsch. Math. Verein 53 (1943), 57-65.
[87] F. Riesz, Uber lineare Funktionalgleichungen, Acta Math. 41 (1917), 71-98.
[88] F. Riesz and B. Sz.-Nagy, Functional Analysis, Frederick Ungar, 1955.
[89] Ja. A. Roltberg and Z. G. Seftel, On equations of elliptic type with discontinuous
coefficients, Dokl. Akad. Nauk SSSR 146 (1962), 1275-1278; English summary in
Soviet Math. Dokl. 3 (1962), 1491-1494.
[90] M. Schechter, A generalization of the problem of transmission, Ann. Scuola
Norm. Sup. Pisa 14 (1960), 207-236.
[91] M. Schechter, Principles of Functional Analysis, Academic Press, 1971.
[92] L. Schwartz, Theorie des Distributions, Hermann, Paris, 1966.
[93] R. T. Seeley, Extensions of C1 functions defined in a half space, Proc. Amer.
Math. Soc. 15 (1961), 625-626.
References 345
347
348 Index
Functional Analysis
A* adjoint of A, 37
A/ induced map on cosets modulo ker A, 18
At transpose of A, 22
dist(u, W) distance from point u to set W, 21
im A image (range) of linear operator A, 18
(g, u) same as (g, u), 37
)A energy inner product for A, 44
II 11A energy norm for A, 44
ker A kernel (null space) of linear operator A, 18
£(X, Y) space of bounded linear operators from X to Y, 18
® direct sum, 20
(g, u) value of functional g E X* at u E X, 20
u1v u is orthogonal to v, 39
uIW u is orthogonal to the set W, 39
ti equivalence of norms, 17
spec(A) spectrum of A, 45
Wa subspace of X* that annihilates W c X, 23
av subspace of X that annihilates V C X*, 23
uj - u uj converges weakly to u, 42
(X0, X1)e,q interpolation space, 318
X* dual space of X, 20
Theory of Distributions
Ccomp°O (Q) space of C°O functions with compact support in 0, 61
Comp(c2) space of Cr functions with compact support in 0, 61
353
354 Index of Notation
Sobolev Spaces
HF space of distributions in HI (RI) with support in F, 76
HS (R") Sobolev space on 1R" (definition via Bessel potential), 76
HS (I-) Sobolev space on 17, 98
HS (S2) space of restrictions to S2 of distributions in HS (R" ), 77
HS (S2)'" space of HS functions on Q with values in Cm, 107
Sobolev Spaces 355
Other Symbols
a! factorial of the multi-index a, 61
IaI order of the partial derivative determined by a, 61
8"u partial derivative of u determined by the multi-index a, 61
ya monomial determined by the multi-index a, 61
C+ complex upper half plane Im z > 0, 183
C- complex lower half plane Im z < 0, 183
Capr capacity of IF, 263
u*v convolution of u and v, 58
A1,h difference quotient in lth variable with step size h, 62
dQ element of surface area on 1, 1, 97
u = ,'Fu Fourier transform of u, 70
u = .P*u inverse Fourier transform of u, 70
t (common) boundary of S2 = St- and of 52+, 1, 89, 141
y trace operator for S2, 100, 102
Yadjoint of y, 201
Y} trace operator for Sgt, 1, 141
rD portion of r with Dirichlet boundary condition, 128
FN portion of r with Neumann boundary condition, 128
hml), h(2) spherical Hankel functions, 281
Ju Bessel function of the first kind, 278
j," spherical Bessel function of the first kind, 279
LP (S2) Lebesgue space of pth-power-integrable functions on 0, 58
M(n, m) dimension of P,, (R"), 250
N(n, m) dimension of R. (R"), 250
1X I Euclidean norm in R" or unitary norm in C'", 1
v outward unit normal to 9 = S2-, 1, 97, 141
0 domain in 1R", 1
Sgt interior (-) and exterior (+) domains, 1, 141
p* conjugate exponent to p, 58
Other Symbols 357